+./solve.native_BUOracle-and-BUOverMax_hconsed_d55b57e
+ 22.49 real 21.79 user 0.68 sys
+ 742887424 maximum resident set size
+ 0 average shared memory size
+ 0 average unshared data size
+ 0 average unshared stack size
+ 185522 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
+ 722 involuntary context switches
+
+./solve.native_BUOracle_hconsed_47c4225
+ 30.84 real 30.04 user 0.68 sys
+ 743706624 maximum resident set size
+ 0 average shared memory size
+ 0 average unshared data size
+ 0 average unshared stack size
+ 185722 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
+ 1244 involuntary context switches
+
+./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
+ 0 average shared memory size
+ 0 average unshared data size
+ 0 average unshared stack size
+ 185535 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
+ 1337 involuntary context switches
+
+./solve.native_NO_hconsign_cafb194
+ 31.81 real 29.61 user 0.67 sys
+ 743292928 maximum resident set size
+ 0 average shared memory size
+ 0 average unshared data size
+ 0 average unshared stack size
+ 185591 page reclaims
+ 30 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
+ 1511 involuntary context switches