./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