log_benchmark.txt

   1                         ## 17.07   14:00 ##
   2 #### Big query (4k, 1400 col):
   3 ./bench.native_Core+Extentions+Optim-hconsed_V1_23f38d4
   4       145.71 real       144.44 user         1.05 sys
   5  998281216  maximum resident set size
   6     247316  page reclaims
   7
   8 ./bench.native_Core+FS+Self_tested_1f48f81
   9       178.02 real       176.91 user         1.08 sys
  10 1046331392  maximum resident set size
  11     261351  page reclaims
  12
  13 ./bench.native_OptimTag-without-hconsed-formula_71804e8
  14       139.68 real       138.71 user         0.93 sys
  15  996233216  maximum resident set size
  16     245792  page reclaims
  17
  18
  19
  20
  21 #### Small query:
  22 ./bench.native_Core+Extentions+Optim-hconsed_V1_23f38d4
  23        16.20 real        15.42 user         0.76 sys
  24  958164992  maximum resident set size
  25     235730  page reclaims
  26
  27 ./bench.native_Core+FS+Self_tested_1f48f81
  28        21.16 real        20.37 user         0.77 sys
  29  957571072  maximum resident set size
  30     235585  page reclaims
  31
  32 ./bench.native_OptimTag-without-hconsed-formula_71804e8
  33        16.26 real        15.48 user         0.77 sys
  34  965349376  maximum resident set size
  35     238252  page reclaims
  36
  37
  38
  39                         ## Older ##
  40 ./solve.native_BUOracle-and-BUOverMax_hconsed_d55b57e
  41        22.49 real        21.79 user         0.68 sys
  42  742887424  maximum resident set size
  43     185522  page reclaims
  44
  45 ./solve.native_BUOracle_hconsed_47c4225
  46        30.84 real        30.04 user         0.68 sys
  47  743706624  maximum resident set size
  48     185722  page reclaims
  49
  50 ./solve.native_BURoacle-and-BUOverMax-and-fst-TP-Max_hconsed_71804e8
  51        22.72 real        22.01 user         0.64 sys
  52  742940672  maximum resident set size
  53     185535  page reclaims
  54
  55 ./solve.native_NO_hconsign_cafb194
  56        31.81 real        29.61 user         0.67 sys
  57  743292928  maximum resident set size
  58     185591  page reclaims