## 17.07   14:00 ##
#### Big query (4k, 1400 col):
./bench.native_Core+Extentions+Optim-hconsed_V1_23f38d4
      145.71 real       144.44 user         1.05 sys
 998281216  maximum resident set size
    247316  page reclaims

./bench.native_Core+FS+Self_tested_1f48f81
      178.02 real       176.91 user         1.08 sys
1046331392  maximum resident set size
    261351  page reclaims

./bench.native_OptimTag-without-hconsed-formula_71804e8
      139.68 real       138.71 user         0.93 sys
 996233216  maximum resident set size
    245792  page reclaims




#### Small query:
./bench.native_Core+Extentions+Optim-hconsed_V1_23f38d4
       16.20 real        15.42 user         0.76 sys
 958164992  maximum resident set size
    235730  page reclaims

./bench.native_Core+FS+Self_tested_1f48f81
       21.16 real        20.37 user         0.77 sys
 957571072  maximum resident set size
    235585  page reclaims

./bench.native_OptimTag-without-hconsed-formula_71804e8
       16.26 real        15.48 user         0.77 sys
 965349376  maximum resident set size
    238252  page reclaims



                        ## Older ##
./solve.native_BUOracle-and-BUOverMax_hconsed_d55b57e
       22.49 real        21.79 user         0.68 sys
 742887424  maximum resident set size
    185522  page reclaims

./solve.native_BUOracle_hconsed_47c4225
       30.84 real        30.04 user         0.68 sys
 743706624  maximum resident set size
    185722  page reclaims

./solve.native_BURoacle-and-BUOverMax-and-fst-TP-Max_hconsed_71804e8
       22.72 real        22.01 user         0.64 sys
 742940672  maximum resident set size
    185535  page reclaims

./solve.native_NO_hconsign_cafb194
       31.81 real        29.61 user         0.67 sys
 743292928  maximum resident set size
    185591  page reclaims