2 #### Big query (1400 col) // XML Doc of 104M (0.7):
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
6 0 average shared memory size
7 0 average unshared data size
8 0 average unshared stack size
12 0 block input operations
13 0 block output operations
17 0 voluntary context switches
18 9505 involuntary context switches
20 ./bench.native_Core+FS+Self_tested_1f48f81
21 178.02 real 176.91 user 1.08 sys
22 1046331392 maximum resident set size
23 0 average shared memory size
24 0 average unshared data size
25 0 average unshared stack size
29 0 block input operations
30 0 block output operations
34 0 voluntary context switches
35 1569 involuntary context switches
37 ./bench.native_OptimTag-without-hconsed-formula_71804e8
38 139.68 real 138.71 user 0.93 sys
39 996233216 maximum resident set size
40 0 average shared memory size
41 0 average unshared data size
42 0 average unshared stack size
46 0 block input operations
47 1 block output operations
51 0 voluntary context switches
52 1955 involuntary context switches
57 #### Small query (72 col) // XML Doc 104M (0.7):
58 ./bench.native_Core+Extentions+Optim-hconsed_V1_23f38d4
59 16.20 real 15.42 user 0.76 sys
60 958164992 maximum resident set size
61 0 average shared memory size
62 0 average unshared data size
63 0 average unshared stack size
67 0 block input operations
68 0 block output operations
72 0 voluntary context switches
73 391 involuntary context switches
75 ./bench.native_Core+FS+Self_tested_1f48f81
76 21.16 real 20.37 user 0.77 sys
77 957571072 maximum resident set size
78 0 average shared memory size
79 0 average unshared data size
80 0 average unshared stack size
84 0 block input operations
85 0 block output operations
89 0 voluntary context switches
90 347 involuntary context switches
92 ./bench.native_OptimTag-without-hconsed-formula_71804e8
93 16.26 real 15.48 user 0.77 sys
94 965349376 maximum resident set size
95 0 average shared memory size
96 0 average unshared data size
97 0 average unshared stack size
101 0 block input operations
102 0 block output operations
106 0 voluntary context switches
107 341 involuntary context switches
111 ## Older ## (DOC: 0.5 ?M)
112 ./solve.native_BUOracle-and-BUOverMax_hconsed_d55b57e
113 22.49 real 21.79 user 0.68 sys
114 742887424 maximum resident set size
115 0 average shared memory size
116 0 average unshared data size
117 0 average unshared stack size
121 0 block input operations
122 0 block output operations
126 0 voluntary context switches
127 722 involuntary context switches
129 ./solve.native_BUOracle_hconsed_47c4225
130 30.84 real 30.04 user 0.68 sys
131 743706624 maximum resident set size
132 0 average shared memory size
133 0 average unshared data size
134 0 average unshared stack size
138 0 block input operations
139 0 block output operations
143 0 voluntary context switches
144 1244 involuntary context switches
146 ./solve.native_BURoacle-and-BUOverMax-and-fst-TP-Max_hconsed_71804e8
147 22.72 real 22.01 user 0.64 sys
148 742940672 maximum resident set size
149 0 average shared memory size
150 0 average unshared data size
151 0 average unshared stack size
155 0 block input operations
156 0 block output operations
160 0 voluntary context switches
161 1337 involuntary context switches
163 ./solve.native_NO_hconsign_cafb194
164 31.81 real 29.61 user 0.67 sys
165 743292928 maximum resident set size
166 0 average shared memory size
167 0 average unshared data size
168 0 average unshared stack size
172 0 block input operations
173 0 block output operations
177 0 voluntary context switches
178 1511 involuntary context switches