+ ## 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
+ 0 average shared memory size
+ 0 average unshared data size
+ 0 average unshared stack size
+ 247316 page reclaims
+ 0 page faults
+ 0 swaps
+ 0 block input operations
+ 0 block output operations
+ 0 messages sent
+ 0 messages received
+ 0 signals received
+ 0 voluntary context switches
+ 9505 involuntary context switches
+
+./bench.native_Core+FS+Self_tested_1f48f81
+ 178.02 real 176.91 user 1.08 sys
+1046331392 maximum resident set size
+ 0 average shared memory size
+ 0 average unshared data size
+ 0 average unshared stack size
+ 261351 page reclaims
+ 0 page faults
+ 0 swaps
+ 0 block input operations
+ 0 block output operations
+ 0 messages sent
+ 0 messages received
+ 0 signals received
+ 0 voluntary context switches
+ 1569 involuntary context switches
+
+./bench.native_OptimTag-without-hconsed-formula_71804e8
+ 139.68 real 138.71 user 0.93 sys
+ 996233216 maximum resident set size
+ 0 average shared memory size
+ 0 average unshared data size
+ 0 average unshared stack size
+ 245792 page reclaims
+ 0 page faults
+ 0 swaps
+ 0 block input operations
+ 1 block output operations
+ 0 messages sent
+ 0 messages received
+ 0 signals received
+ 0 voluntary context switches
+ 1955 involuntary context switches
+
+
+
+
+#### Small query:
+./bench.native_Core+Extentions+Optim-hconsed_V1_23f38d4
+ 16.20 real 15.42 user 0.76 sys
+ 958164992 maximum resident set size
+ 0 average shared memory size
+ 0 average unshared data size
+ 0 average unshared stack size
+ 235730 page reclaims
+ 0 page faults
+ 0 swaps
+ 0 block input operations
+ 0 block output operations
+ 0 messages sent
+ 0 messages received
+ 0 signals received
+ 0 voluntary context switches
+ 391 involuntary context switches
+
+./bench.native_Core+FS+Self_tested_1f48f81
+ 21.16 real 20.37 user 0.77 sys
+ 957571072 maximum resident set size
+ 0 average shared memory size
+ 0 average unshared data size
+ 0 average unshared stack size
+ 235585 page reclaims
+ 0 page faults
+ 0 swaps
+ 0 block input operations
+ 0 block output operations
+ 0 messages sent
+ 0 messages received
+ 0 signals received
+ 0 voluntary context switches
+ 347 involuntary context switches
+
+./bench.native_OptimTag-without-hconsed-formula_71804e8
+ 16.26 real 15.48 user 0.77 sys
+ 965349376 maximum resident set size
+ 0 average shared memory size
+ 0 average unshared data size
+ 0 average unshared stack size
+ 238252 page reclaims
+ 0 page faults
+ 0 swaps
+ 0 block input operations
+ 0 block output operations
+ 0 messages sent
+ 0 messages received
+ 0 signals received
+ 0 voluntary context switches
+ 341 involuntary context switches
+
+
+
+ ## Older ##
./solve.native_BUOracle-and-BUOverMax_hconsed_d55b57e
22.49 real 21.79 user 0.68 sys
742887424 maximum resident set size
--- /dev/null
+ ## 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