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
8 ./bench.native_Core+FS+Self_tested_1f48f81
9 178.02 real 176.91 user 1.08 sys
10 1046331392 maximum resident set size
13 ./bench.native_OptimTag-without-hconsed-formula_71804e8
14 139.68 real 138.71 user 0.93 sys
15 996233216 maximum resident set size
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
27 ./bench.native_Core+FS+Self_tested_1f48f81
28 21.16 real 20.37 user 0.77 sys
29 957571072 maximum resident set size
32 ./bench.native_OptimTag-without-hconsed-formula_71804e8
33 16.26 real 15.48 user 0.77 sys
34 965349376 maximum resident set size
40 ./solve.native_BUOracle-and-BUOverMax_hconsed_d55b57e
41 22.49 real 21.79 user 0.68 sys
42 742887424 maximum resident set size
45 ./solve.native_BUOracle_hconsed_47c4225
46 30.84 real 30.04 user 0.68 sys
47 743706624 maximum resident set size
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
55 ./solve.native_NO_hconsign_cafb194
56 31.81 real 29.61 user 0.67 sys
57 743292928 maximum resident set size