log_benchmark

   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
   7     185522  page reclaims
   8          0  page faults
   9          0  swaps
  10          0  block input operations
  11          0  block output operations
  12          0  messages sent
  13          0  messages received
  14          0  signals received
  15          0  voluntary context switches
  16        722  involuntary context switches
  17
  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
  24     185722  page reclaims
  25          0  page faults
  26          0  swaps
  27          0  block input operations
  28          0  block output operations
  29          0  messages sent
  30          0  messages received
  31          0  signals received
  32          0  voluntary context switches
  33       1244  involuntary context switches
  34
  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
  41     185535  page reclaims
  42          0  page faults
  43          0  swaps
  44          0  block input operations
  45          0  block output operations
  46          0  messages sent
  47          0  messages received
  48          0  signals received
  49          0  voluntary context switches
  50       1337  involuntary context switches
  51
  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
  58     185591  page reclaims
  59         30  page faults
  60          0  swaps
  61          0  block input operations
  62          0  block output operations
  63          0  messages sent
  64          0  messages received
  65          0  signals received
  66          0  voluntary context switches
  67       1511  involuntary context switches