./bench.native_Core+Extentions+Optim-hconsed_V1_23f38d4
145.71 real 144.44 user 1.05 sys
998281216 maximum resident set size
./bench.native_Core+Extentions+Optim-hconsed_V1_23f38d4
145.71 real 144.44 user 1.05 sys
998281216 maximum resident set size
./bench.native_Core+Extentions+Optim-hconsed_V1_23f38d4
16.20 real 15.42 user 0.76 sys
958164992 maximum resident set size
./bench.native_Core+Extentions+Optim-hconsed_V1_23f38d4
16.20 real 15.42 user 0.76 sys
958164992 maximum resident set size
./solve.native_BUOracle-and-BUOverMax_hconsed_d55b57e
22.49 real 21.79 user 0.68 sys
742887424 maximum resident set size
./solve.native_BUOracle-and-BUOverMax_hconsed_d55b57e
22.49 real 21.79 user 0.68 sys
742887424 maximum resident set size