1 ./solve.native_BUOracle-and-BUOverMax_hconsed_d55b57e
2 22.49 real 21.79 user 0.68 sys
3 742887424 maximum resident set size
4 0 average shared memory size
5 0 average unshared data size
6 0 average unshared stack size
10 0 block input operations
11 0 block output operations
15 0 voluntary context switches
16 722 involuntary context switches
18 ./solve.native_BUOracle_hconsed_47c4225
19 30.84 real 30.04 user 0.68 sys
20 743706624 maximum resident set size
21 0 average shared memory size
22 0 average unshared data size
23 0 average unshared stack size
27 0 block input operations
28 0 block output operations
32 0 voluntary context switches
33 1244 involuntary context switches
35 ./solve.native_BURoacle-and-BUOverMax-and-fst-TP-Max_hconsed_71804e8
36 22.72 real 22.01 user 0.64 sys
37 742940672 maximum resident set size
38 0 average shared memory size
39 0 average unshared data size
40 0 average unshared stack size
44 0 block input operations
45 0 block output operations
49 0 voluntary context switches
50 1337 involuntary context switches
52 ./solve.native_NO_hconsign_cafb194
53 31.81 real 29.61 user 0.67 sys
54 743292928 maximum resident set size
55 0 average shared memory size
56 0 average unshared data size
57 0 average unshared stack size
61 0 block input operations
62 0 block output operations
66 0 voluntary context switches
67 1511 involuntary context switches