log_benchmark

   1                         ## 17.07   14:00 ##
   2 #### Big query (4k, 1400 col):
   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
   9     247316  page reclaims
  10          0  page faults
  11          0  swaps
  12          0  block input operations
  13          0  block output operations
  14          0  messages sent
  15          0  messages received
  16          0  signals received
  17          0  voluntary context switches
  18       9505  involuntary context switches
  19
  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
  26     261351  page reclaims
  27          0  page faults
  28          0  swaps
  29          0  block input operations
  30          0  block output operations
  31          0  messages sent
  32          0  messages received
  33          0  signals received
  34          0  voluntary context switches
  35       1569  involuntary context switches
  36
  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
  43     245792  page reclaims
  44          0  page faults
  45          0  swaps
  46          0  block input operations
  47          1  block output operations
  48          0  messages sent
  49          0  messages received
  50          0  signals received
  51          0  voluntary context switches
  52       1955  involuntary context switches
  53
  54
  55
  56
  57 #### Small query:
  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
  64     235730  page reclaims
  65          0  page faults
  66          0  swaps
  67          0  block input operations
  68          0  block output operations
  69          0  messages sent
  70          0  messages received
  71          0  signals received
  72          0  voluntary context switches
  73        391  involuntary context switches
  74
  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
  81     235585  page reclaims
  82          0  page faults
  83          0  swaps
  84          0  block input operations
  85          0  block output operations
  86          0  messages sent
  87          0  messages received
  88          0  signals received
  89          0  voluntary context switches
  90        347  involuntary context switches
  91
  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
  98     238252  page reclaims
  99          0  page faults
 100          0  swaps
 101          0  block input operations
 102          0  block output operations
 103          0  messages sent
 104          0  messages received
 105          0  signals received
 106          0  voluntary context switches
 107        341  involuntary context switches
 108
 109
 110
 111                         ## Older ##
 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
 118     185522  page reclaims
 119          0  page faults
 120          0  swaps
 121          0  block input operations
 122          0  block output operations
 123          0  messages sent
 124          0  messages received
 125          0  signals received
 126          0  voluntary context switches
 127        722  involuntary context switches
 128
 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
 135     185722  page reclaims
 136          0  page faults
 137          0  swaps
 138          0  block input operations
 139          0  block output operations
 140          0  messages sent
 141          0  messages received
 142          0  signals received
 143          0  voluntary context switches
 144       1244  involuntary context switches
 145
 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
 152     185535  page reclaims
 153          0  page faults
 154          0  swaps
 155          0  block input operations
 156          0  block output operations
 157          0  messages sent
 158          0  messages received
 159          0  signals received
 160          0  voluntary context switches
 161       1337  involuntary context switches
 162
 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
 169     185591  page reclaims
 170         30  page faults
 171          0  swaps
 172          0  block input operations
 173          0  block output operations
 174          0  messages sent
 175          0  messages received
 176          0  signals received
 177          0  voluntary context switches
 178       1511  involuntary context switches