Trace number 2680681

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
wbo 1.4b (fixed)? (TO) 1800.15 1800.69

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_4_30_1.opb
MD5SUMfb11ff2665aef67f0842a460a5ea3114
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark182.966
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2
Optimality of the best value was proved YES
Number of variables94
Total number of constraints8
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints8
Minimum length of a constraint45
Maximum length of a constraint46
Number of terms in the objective function 64
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 2040
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 851
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 3063
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.01	c wbo 1.4 beta - 20100610
0.00/0.01	c Parsing opb file format. File HOME/instance-2680681-1277458497.opb.
0.00/0.01	c Instance file HOME/instance-2680681-1277458497.opb
0.00/0.01	c File size is 3580 bytes.
0.00/0.01	c Highest Coefficient sum: 3063
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Parsing time:          0.00         s                                      |
0.00/0.01	c |  Number Variables:      94                                                  |
0.00/0.01	c |  Number Clauses:        0                                                   |
0.00/0.01	c |  Number Cardinality:    0                                                   |
0.00/0.01	c |  Number PB Constraints: 8                                                   |
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |      94        8      364 |     5000        0    nan |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 922
0.00/0.01	o 922
0.00/0.01	c Elapsed CPU time: 0.001999 s	Remaining CPU time: 179.998 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |      94        9      428 |     5000        0    nan |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 868
0.00/0.01	o 868
0.00/0.01	c Elapsed CPU time: 0.001999 s	Remaining CPU time: 179.998 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |         3 |      94       10      492 |     5000        3     35 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 410
0.00/0.01	o 410
0.00/0.01	c Elapsed CPU time: 0.001999 s	Remaining CPU time: 179.998 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |         3 |      94       11      556 |     5000        3     35 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 287
0.00/0.01	o 287
0.00/0.01	c Elapsed CPU time: 0.001999 s	Remaining CPU time: 179.998 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |         4 |      94       12      620 |     5000        4     39 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 173
0.00/0.01	o 173
0.00/0.01	c Elapsed CPU time: 0.001999 s	Remaining CPU time: 179.998 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |         4 |      94       13      684 |     5000        4     39 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 132
0.00/0.01	o 132
0.00/0.01	c Elapsed CPU time: 0.002999 s	Remaining CPU time: 179.997 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |        13 |      94       14      748 |     5000       13     33 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 131
0.00/0.01	o 131
0.00/0.01	c Elapsed CPU time: 0.003999 s	Remaining CPU time: 179.996 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |        20 |      94       15      812 |     5000       20     29 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 125
0.00/0.01	o 125
0.00/0.01	c Elapsed CPU time: 0.003999 s	Remaining CPU time: 179.996 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |        24 |      94       16      876 |     5000       24     27 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 123
0.00/0.01	o 123
0.00/0.01	c Elapsed CPU time: 0.004999 s	Remaining CPU time: 179.995 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |        31 |      86       17      940 |     5000       26     32 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 114
0.00/0.01	o 114
0.00/0.01	c Elapsed CPU time: 0.005999 s	Remaining CPU time: 179.994 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |        48 |      86       18     1004 |     5000       43     32 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 112
0.00/0.01	o 112
0.00/0.01	c Elapsed CPU time: 0.006998 s	Remaining CPU time: 179.993 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |        51 |      86       19     1068 |     5000       46     31 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 101
0.00/0.01	o 101
0.00/0.01	c Elapsed CPU time: 0.007998 s	Remaining CPU time: 179.992 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |        66 |      86       20     1132 |     5000       61     32 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 96
0.00/0.01	o 96
0.00/0.01	c Elapsed CPU time: 0.008998 s	Remaining CPU time: 179.991 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |        73 |      86       21     1196 |     5000       68     31 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 94
0.00/0.01	o 94
0.00/0.01	c Elapsed CPU time: 0.008998 s	Remaining CPU time: 179.991 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |        74 |      86       22     1260 |     5000       69     31 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 88
0.00/0.01	o 88
0.00/0.01	c Elapsed CPU time: 0.010998 s	Remaining CPU time: 179.989 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |        94 |      86       23     1324 |     5000       89     32 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 60
0.00/0.01	o 60
0.00/0.01	c Elapsed CPU time: 0.010998 s	Remaining CPU time: 179.989 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |       104 |      86       24     1388 |     5000       99     32 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 51
0.00/0.01	o 51
0.00/0.01	c Elapsed CPU time: 0.011998 s	Remaining CPU time: 179.988 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |       126 |      78       25     1452 |     5000      106     32 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 44
0.00/0.01	o 44
0.00/0.01	c Elapsed CPU time: 0.015997 s	Remaining CPU time: 179.984 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |       184 |      78       26     1516 |     5000      164     31 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 42
0.00/0.02	o 42
0.00/0.02	c Elapsed CPU time: 0.016997 s	Remaining CPU time: 179.983 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |       205 |      78       27     1580 |     5000      185     31 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 21
0.00/0.02	o 21
0.00/0.02	c Elapsed CPU time: 0.021996 s	Remaining CPU time: 179.978 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |       275 |      78       28     1644 |     5000      255     31 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 19
0.00/0.02	o 19
0.00/0.02	c Elapsed CPU time: 0.023996 s	Remaining CPU time: 179.976 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |       293 |      70       29     1708 |     5000      273     31 |  0.000 % |
0.00/0.03	c |       393 |      70       29     1708 |     5500      373     32 | 25.543 % |
0.00/0.04	c |       543 |      70       29     1708 |     6050      523     33 | 25.543 % |
0.04/0.05	c |       768 |      70       29     1708 |     6655      699     33 | 25.543 % |
0.04/0.08	c |      1105 |      70       29     1708 |     7320     1036     33 | 25.543 % |
0.09/0.11	c |      1611 |      70       29     1708 |     8052     1542     33 | 25.543 % |
0.09/0.14	c ===============================================================================
0.09/0.14	c New solution: 12
0.09/0.14	o 12
0.09/0.14	c Elapsed CPU time: 0.131979 s	Remaining CPU time: 179.868 s
0.09/0.14	c ===============================================================================
0.09/0.14	c |      2000 |      70       30     1772 |     5000     1931     33 | 25.543 % |
0.09/0.14	c ===============================================================================
0.09/0.14	c New solution: 10
0.09/0.14	o 10
0.09/0.14	c Elapsed CPU time: 0.136979 s	Remaining CPU time: 179.863 s
0.09/0.14	c ===============================================================================
0.09/0.14	c |      2068 |      62       31     1836 |     5000     1999     34 | 25.543 % |
0.09/0.15	c |      2170 |      62       31     1836 |     5500     2101     34 | 34.054 % |
0.09/0.16	c |      2322 |      62       31     1836 |     6050     2253     34 | 34.054 % |
0.09/0.18	c |      2547 |      62       31     1836 |     6655     2450     34 | 34.054 % |
0.19/0.21	c |      2885 |      62       31     1836 |     7320     2788     34 | 34.054 % |
0.19/0.25	c |      3392 |      62       31     1836 |     8052     3295     35 | 34.054 % |
0.29/0.31	c |      4151 |      62       31     1836 |     8857     4054     35 | 34.054 % |
0.39/0.42	c |      5290 |      62       31     1836 |     9743     5193     35 | 34.054 % |
0.39/0.43	c ===============================================================================
0.39/0.43	c New solution: 9
0.39/0.43	o 9
0.39/0.43	c Elapsed CPU time: 0.412937 s	Remaining CPU time: 179.587 s
0.39/0.43	c ===============================================================================
0.39/0.43	c |      5351 |      62       32     1900 |     5000     5254     36 | 34.054 % |
0.39/0.44	c |      5451 |      62       32     1900 |     5500     2727     37 | 34.054 % |
0.39/0.46	c |      5601 |      62       32     1900 |     6050     2877     37 | 34.054 % |
0.39/0.48	c |      5826 |      62       32     1900 |     6655     3102     38 | 34.054 % |
0.49/0.51	c |      6164 |      62       32     1900 |     7320     3440     38 | 34.054 % |
0.49/0.55	c |      6670 |      62       32     1900 |     8052     3946     38 | 34.054 % |
0.59/0.61	c |      7429 |      62       32     1900 |     8857     4705     38 | 34.054 % |
0.59/0.67	c ===============================================================================
0.59/0.67	c New solution: 3
0.59/0.67	o 3
0.59/0.67	c Elapsed CPU time: 0.646901 s	Remaining CPU time: 179.353 s
0.59/0.67	c ===============================================================================
0.59/0.67	c |      7965 |      62       33     1964 |     5000     5241     37 | 34.054 % |
0.59/0.68	c |      8065 |      60       33     1964 |     5500     2721     38 | 51.075 % |
0.59/0.69	c |      8216 |      60       33     1964 |     6050     2872     39 | 51.075 % |
0.69/0.71	c |      8443 |      56       33     1964 |     6655     3099     39 | 51.075 % |
0.69/0.74	c |      8780 |      56       33     1964 |     7320     3436     40 | 51.075 % |
0.69/0.79	c |      9286 |      56       33     1964 |     8052     3942     40 | 51.075 % |
0.79/0.86	c |     10046 |      54       33     1964 |     8857     4702     40 | 51.075 % |
0.89/0.97	c |     11186 |      52       33     1964 |     9743     5842     41 | 51.075 % |
1.09/1.16	c |     12894 |      50       33     1964 |    10717     7550     41 | 51.075 % |
1.49/1.50	c |     15456 |      46       33     1964 |    11789    10102     42 | 51.075 % |
2.09/2.10	c |     19301 |      46       33     1964 |    12968     8019     44 | 51.075 % |
2.89/2.96	c |     25069 |      46       33     1964 |    14265     7270     41 | 51.075 % |
4.30/4.31	c |     33718 |      46       33     1964 |    15692     8752     44 | 51.075 % |
6.50/6.50	c |     46693 |      46       33     1964 |    17261    13846     46 | 51.075 % |
10.09/10.19	c |     66154 |      46       33     1964 |    18987    15982     46 | 51.075 % |
16.18/16.30	c |     95347 |      46       33     1964 |    20886    16595     46 | 51.075 % |
26.78/26.80	c |    139137 |      46       33     1964 |    22974    18478     47 | 51.075 % |
43.98/44.03	c |    204823 |      46       33     1964 |    25272    22667     47 | 51.075 % |
72.17/72.24	c |    303349 |      46       33     1964 |    27799    19743     47 | 51.075 % |
121.05/121.11	c |    451138 |      46       33     1964 |    30579    15228     48 | 51.075 % |
181.74/181.81	c There are 48 assigned variables. 48 in cost function.
182.14/182.24	c ============================[ Search Statistics ]==============================
182.14/182.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.14/182.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.14/182.24	c ===============================================================================
182.14/182.24	c |         0 |      30       78      268 |     5000        0    nan |  0.000 % |
182.14/182.24	c |       100 |      30       78      268 |     5500      100     28 | 68.097 % |
182.14/182.25	c |       251 |      30       78      268 |     6050      251     28 | 68.097 % |
182.14/182.27	c |       476 |      30       78      268 |     6655      476     28 | 68.097 % |
182.23/182.34	c |       814 |      30       78      268 |     7320      814     28 | 68.097 % |
182.23/182.37	c |      1320 |      30       78      268 |     8052     1320     28 | 68.097 % |
182.34/182.42	c |      2079 |      30       78      268 |     8857     2079     29 | 68.097 % |
182.45/182.51	c |      3218 |      30       78      268 |     9743     3218     29 | 68.097 % |
182.64/182.70	c |      4926 |      30       78      268 |    10717     4926     28 | 68.097 % |
182.94/183.06	c |      7488 |      30       78      268 |    11789     7488     28 | 68.097 % |
183.65/183.77	c |     11333 |      30       78      268 |    12968    11333     28 | 68.097 % |
184.93/185.03	c |     17099 |      30       78      268 |    14265    10573     28 | 68.097 % |
186.84/186.97	c |     25748 |      30       78      268 |    15692    12047     28 | 68.097 % |
189.94/190.09	c |     38725 |      30       78      268 |    17261     9248     28 | 68.097 % |
194.03/194.12	c |     58187 |      30       78      268 |    18987    11368     28 | 68.097 % |
200.74/200.83	c |     87379 |      30       78      268 |    20886    11956     27 | 68.097 % |
210.83/210.96	c |    131168 |      30       78      268 |    22974    13812     28 | 68.097 % |
228.52/228.64	c |    196852 |      30       78      268 |    25272    17907     29 | 68.097 % |
257.01/257.10	c |    295379 |      30       78      268 |    27799    14783     28 | 68.097 % |
306.00/306.11	c |    443170 |      30       78      268 |    30579    26958     28 | 68.097 % |
393.87/394.02	c |    664853 |      30       78      268 |    33637    13002     29 | 68.097 % |
540.53/540.77	c |    997379 |      30       78      268 |    37001    29148     29 | 68.119 % |
781.17/781.42	c |   1496167 |      30       78      268 |    40701    36451     29 | 68.153 % |
1190.85/1191.26	c |   2244349 |      29       78      268 |    44771    14843     29 | 69.194 % |
1495.15/1495.61	c ===============================================================================
1496.95/1497.40	c core #1
1496.95/1497.40	c 
1496.95/1497.40	c 
1496.95/1497.40	c Core size: 19	Core Weight: 1	Total Weight: 1
1496.95/1497.40	c
1496.95/1497.40	c
1496.95/1497.40	c ============================[ Search Statistics ]==============================
1496.95/1497.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1496.95/1497.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1496.95/1497.40	c ===============================================================================
1496.95/1497.40	c |         0 |      54       87      316 |     5000        0    nan |  0.000 % |
1497.05/1497.54	c |       100 |      54       87      316 |     5500      100     28 | 50.917 % |
1497.05/1497.58	c |       251 |      54       87      316 |     6050      251     24 | 50.917 % |
1497.25/1497.78	c |       476 |      54       87      316 |     6655      476     24 | 50.917 % |
1497.35/1497.80	c |       814 |      54       87      316 |     7320      814     24 | 50.917 % |
1497.35/1497.83	c |      1320 |      54       87      316 |     8052     1320     24 | 50.917 % |
1497.35/1497.87	c |      2079 |      54       87      316 |     8857     2079     24 | 50.917 % |
1497.44/1497.96	c |      3219 |      54       87      316 |     9743     3219     24 | 50.917 % |
1497.66/1498.12	c |      4928 |      54       87      316 |    10717     4928     24 | 50.917 % |
1497.94/1498.45	c |      7491 |      54       87      316 |    11789     7491     24 | 50.917 % |
1498.44/1498.97	c |     11336 |      54       87      316 |    12968    11336     24 | 50.917 % |
1499.44/1499.99	c |     17103 |      54       87      316 |    14265    10581     24 | 50.917 % |
1501.05/1501.57	c |     25753 |      54       87      316 |    15692    12061     24 | 50.917 % |
1503.25/1503.74	c |     38729 |      54       87      316 |    17261     9271     25 | 50.917 % |
1506.25/1506.79	c |     58190 |      54       87      316 |    18987    11383     24 | 50.917 % |
1512.14/1512.63	c |     87382 |      54       87      316 |    20886    11971     26 | 50.917 % |
1520.64/1521.10	c |    131171 |      54       87      316 |    22974    13837     25 | 50.917 % |
1536.14/1536.67	c |    196855 |      54       87      316 |    25272    17981     25 | 50.917 % |
1560.12/1560.65	c |    295382 |      54       87      316 |    27799    16154     25 | 50.917 % |
1602.51/1603.09	c |    443172 |      54       87      316 |    30579    12015     28 | 50.917 % |
1671.78/1672.38	c |    664855 |      54       87      316 |    33637    17763     25 | 50.918 % |
1784.45/1785.07	c |    997380 |      54       87      316 |    37001    11389     25 | 50.918 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2680681-1277458497/watcher-2680681-1277458497 -o /tmp/evaluation-result-2680681-1277458497/solver-2680681-1277458497 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680681-1277458497.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.93 3/106 21781
/proc/meminfo: memFree=1854064/2059040 swapFree=4134180/4192956
[pid=21781] ppid=21779 vsize=2576 CPUtime=0
/proc/21781/stat : 21781 (wbo1.4b) R 21779 21781 21359 0 -1 4202496 274 0 0 0 0 0 0 0 15 0 1 0 121436149 2637824 191 1992294400 134512640 135752675 4291118896 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21781/statm: 644 191 143 303 0 339 0

[startup+0.0458001 s]
/proc/loadavg: 0.92 0.98 0.93 3/106 21781
/proc/meminfo: memFree=1854064/2059040 swapFree=4134180/4192956
[pid=21781] ppid=21779 vsize=2708 CPUtime=0.04
/proc/21781/stat : 21781 (wbo1.4b) R 21779 21781 21359 0 -1 4202496 309 0 0 0 4 0 0 0 18 0 1 0 121436149 2772992 226 1992294400 134512640 135752675 4291118896 18446744073709551615 134605412 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21781/statm: 677 226 144 303 0 372 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2708

[startup+0.101806 s]
/proc/loadavg: 0.92 0.98 0.93 3/106 21781
/proc/meminfo: memFree=1854064/2059040 swapFree=4134180/4192956
[pid=21781] ppid=21779 vsize=2836 CPUtime=0.09
/proc/21781/stat : 21781 (wbo1.4b) R 21779 21781 21359 0 -1 4202496 359 0 0 0 9 0 0 0 18 0 1 0 121436149 2904064 276 1992294400 134512640 135752675 4291118896 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21781/statm: 709 276 144 303 0 404 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2836

[startup+0.301826 s]
/proc/loadavg: 0.92 0.98 0.93 3/106 21781
/proc/meminfo: memFree=1854064/2059040 swapFree=4134180/4192956
[pid=21781] ppid=21779 vsize=3500 CPUtime=0.29
/proc/21781/stat : 21781 (wbo1.4b) R 21779 21781 21359 0 -1 4202496 518 0 0 0 28 1 0 0 18 0 1 0 121436149 3584000 435 1992294400 134512640 135752675 4291118896 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21781/statm: 875 435 144 303 0 570 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3500

[startup+0.701866 s]
/proc/loadavg: 0.92 0.98 0.93 3/106 21781
/proc/meminfo: memFree=1854064/2059040 swapFree=4134180/4192956
[pid=21781] ppid=21779 vsize=4552 CPUtime=0.69
/proc/21781/stat : 21781 (wbo1.4b) R 21779 21781 21359 0 -1 4202496 777 0 0 0 67 2 0 0 18 0 1 0 121436149 4661248 694 1992294400 134512640 135752675 4291118896 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21781/statm: 1138 694 145 303 0 833 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4552

[startup+1.50095 s]
/proc/loadavg: 0.92 0.98 0.93 2/107 21782
/proc/meminfo: memFree=1850956/2059040 swapFree=4134180/4192956
[pid=21781] ppid=21779 vsize=6400 CPUtime=1.49
/proc/21781/stat : 21781 (wbo1.4b) R 21779 21781 21359 0 -1 4202496 1244 0 0 0 146 3 0 0 19 0 1 0 121436149 6553600 1161 1992294400 134512640 135752675 4291118896 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21781/statm: 1600 1161 145 303 0 1295 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6400

[startup+3.10111 s]
/proc/loadavg: 0.92 0.98 0.93 2/107 21782
/proc/meminfo: memFree=1848724/2059040 swapFree=4134180/4192956
[pid=21781] ppid=21779 vsize=9060 CPUtime=3.09
/proc/21781/stat : 21781 (wbo1.4b) R 21779 21781 21359 0 -1 4202496 1912 0 0 0 303 6 0 0 24 0 1 0 121436149 9277440 1829 1992294400 134512640 135752675 4291118896 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21781/statm: 2265 1829 145 303 0 1960 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9060

[startup+6.30143 s]
/proc/loadavg: 0.93 0.98 0.93 2/107 21784
/proc/meminfo: memFree=1843268/2059040 swapFree=4134180/4192956
[pid=21781] ppid=21779 vsize=14212 CPUtime=6.29
/proc/21781/stat : 21781 (wbo1.4b) R 21779 21781 21359 0 -1 4202496 3194 0 0 0 617 12 0 0 25 0 1 0 121436149 14553088 3111 1992294400 134512640 135752675 4291118896 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21781/statm: 3553 3111 145 303 0 3248 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14212

[startup+12.7011 s]
/proc/loadavg: 0.93 0.98 0.93 2/107 21784
/proc/meminfo: memFree=1833844/2059040 swapFree=4134180/4192956
[pid=21781] ppid=21779 vsize=22716 CPUtime=12.69
/proc/21781/stat : 21781 (wbo1.4b) R 21779 21781 21359 0 -1 4202496 5300 0 0 0 1249 20 0 0 25 0 1 0 121436149 23261184 5217 1992294400 134512640 135752675 4291118896 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21781/statm: 5679 5217 145 303 0 5374 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22716

[startup+25.5014 s]
/proc/loadavg: 0.95 0.98 0.93 2/107 21784
/proc/meminfo: memFree=1819088/2059040 swapFree=4134180/4192956
[pid=21781] ppid=21779 vsize=37148 CPUtime=25.49
/proc/21781/stat : 21781 (wbo1.4b) R 21779 21781 21359 0 -1 4202496 8928 0 0 0 2514 35 0 0 25 0 1 0 121436149 38039552 8845 1992294400 134512640 135752675 4291118896 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21781/statm: 9287 8845 145 303 0 8982 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 37148

[startup+51.1009 s]
/proc/loadavg: 0.96 0.98 0.93 2/107 21784
/proc/meminfo: memFree=1793792/2059040 swapFree=4134180/4192956
[pid=21781] ppid=21779 vsize=62416 CPUtime=51.07
/proc/21781/stat : 21781 (wbo1.4b) R 21779 21781 21359 0 -1 4202496 15231 0 0 0 5045 62 0 0 25 0 1 0 121436149 63913984 15148 1992294400 134512640 135752675 4291118896 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21781/statm: 15604 15148 145 303 0 15299 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 62416

[startup+102.309 s]
/proc/loadavg: 0.98 0.98 0.93 2/107 21786
/proc/meminfo: memFree=1749400/2059040 swapFree=4134180/4192956
[pid=21781] ppid=21779 vsize=106268 CPUtime=102.27
/proc/21781/stat : 21781 (wbo1.4b) R 21779 21781 21359 0 -1 4202496 26186 0 0 0 10114 113 0 0 25 0 1 0 121436149 108818432 26103 1992294400 134512640 135752675 4291118896 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21781/statm: 26567 26103 145 303 0 26262 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 106268

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/107 21788
/proc/meminfo: memFree=1705876/2059040 swapFree=4134180/4192956
[pid=21781] ppid=21779 vsize=149740 CPUtime=162.24
/proc/21781/stat : 21781 (wbo1.4b) R 21779 21781 21359 0 -1 4202496 37051 0 0 0 16064 160 0 0 25 0 1 0 121436149 153333760 36968 1992294400 134512640 135752675 4291118896 18446744073709551615 134603244 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21781/statm: 37435 36968 145 303 0 37130 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 149740

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/107 21788
/proc/meminfo: memFree=1685044/2059040 swapFree=4134180/4192956
[pid=21781] ppid=21779 vsize=170316 CPUtime=222.23
/proc/21781/stat : 21781 (wbo1.4b) R 21779 21781 21359 0 -1 4202496 42238 0 0 0 22006 217 0 0 25 0 1 0 121436149 174403584 42125 1992294400 134512640 135752675 4291118896 18446744073709551615 134611713 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21781/statm: 42579 42125 146 303 0 42274 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 170316

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/107 21790
/proc/meminfo: memFree=1657392/2059040 swapFree=4134180/4192956
[pid=21781] ppid=21779 vsize=198248 CPUtime=282.21
/proc/21781/stat : 21781 (wbo1.4b) R 21779 21781 21359 0 -1 4202496 49197 0 0 0 27946 275 0 0 25 0 1 0 121436149 203005952 49084 1992294400 134512640 135752675 4291118896 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21781/statm: 49562 49084 146 303 0 49257 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 198248

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/107 21792
/proc/meminfo: memFree=1627260/2059040 swapFree=4134180/4192956
[pid=21781] ppid=21779 vsize=227920 CPUtime=342.19
/proc/21781/stat : 21781 (wbo1.4b) R 21779 21781 21359 0 -1 4202496 56619 0 0 0 33895 324 0 0 25 0 1 0 121436149 233390080 56506 1992294400 134512640 135752675 4291118896 18446744073709551615 134611709 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21781/statm: 56980 56506 146 303 0 56675 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 227920

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/107 21794
/proc/meminfo: memFree=1600724/2059040 swapFree=4134180/4192956
[pid=21781] ppid=21779 vsize=254648 CPUtime=402.17
/proc/21781/stat : 21781 (wbo1.4b) R 21779 21781 21359 0 -1 4202496 63292 0 0 0 39850 367 0 0 25 0 1 0 121436149 260759552 63179 1992294400 134512640 135752675 4291118896 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21781/statm: 63662 63179 146 303 0 63357 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 254648

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/107 21796
/proc/meminfo: memFree=1575304/2059040 swapFree=4134180/4192956
[pid=21781] ppid=21779 vsize=279912 CPUtime=462.16
/proc/21781/stat : 21781 (wbo1.4b) R 21779 21781 21359 0 -1 4202496 69562 0 0 0 45807 409 0 0 25 0 1 0 121436149 286629888 69449 1992294400 134512640 135752675 4291118896 18446744073709551615 134603244 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21781/statm: 69978 69449 146 303 0 69673 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 279912

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/107 21796
/proc/meminfo: memFree=1551248/2059040 swapFree=4134180/4192956
[pid=21781] ppid=21779 vsize=304120 CPUtime=522.14
/proc/21781/stat : 21781 (wbo1.4b) R 21779 21781 21359 0 -1 4202496 75622 0 0 0 51762 452 0 0 25 0 1 0 121436149 311418880 75509 1992294400 134512640 135752675 4291118896 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21781/statm: 76030 75509 146 303 0 75725 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 304120

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/107 21798
/proc/meminfo: memFree=1527192/2059040 swapFree=4134180/4192956
[pid=21781] ppid=21779 vsize=327832 CPUtime=582.12
/proc/21781/stat : 21781 (wbo1.4b) R 21779 21781 21359 0 -1 4202496 81550 0 0 0 57717 495 0 0 25 0 1 0 121436149 335699968 81437 1992294400 134512640 135752675 4291118896 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21781/statm: 81958 81437 146 303 0 81653 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 327832

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/107 21800
/proc/meminfo: memFree=1501648/2059040 swapFree=4134180/4192956
[pid=21781] ppid=21779 vsize=353136 CPUtime=642.12
/proc/21781/stat : 21781 (wbo1.4b) R 21779 21781 21359 0 -1 4202496 87880 0 0 0 63677 535 0 0 25 0 1 0 121436149 361611264 87767 1992294400 134512640 135752675 4291118896 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21781/statm: 88284 87767 146 303 0 87979 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 353136

[startup+702.302 s]

################
# More data... #
################

[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/107 21804
/proc/meminfo: memFree=1436548/2059040 swapFree=4134180/4192956
[pid=21781] ppid=21779 vsize=418284 CPUtime=822.06
/proc/21781/stat : 21781 (wbo1.4b) R 21779 21781 21359 0 -1 4202496 104166 0 0 0 81558 648 0 0 25 0 1 0 121436149 428322816 104053 1992294400 134512640 135752675 4291118896 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21781/statm: 104571 104053 146 303 0 104266 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 418284

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/107 21806
/proc/meminfo: memFree=1417204/2059040 swapFree=4134180/4192956
[pid=21781] ppid=21779 vsize=437292 CPUtime=882.04
/proc/21781/stat : 21781 (wbo1.4b) R 21779 21781 21359 0 -1 4202496 108919 0 0 0 87524 680 0 0 25 0 1 0 121436149 447787008 108806 1992294400 134512640 135752675 4291118896 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21781/statm: 109323 108806 146 303 0 109018 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 437292

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/107 21808
/proc/meminfo: memFree=1397116/2059040 swapFree=4134180/4192956
[pid=21781] ppid=21779 vsize=457508 CPUtime=942.02
/proc/21781/stat : 21781 (wbo1.4b) R 21779 21781 21359 0 -1 4202496 113966 0 0 0 93487 715 0 0 25 0 1 0 121436149 468488192 113853 1992294400 134512640 135752675 4291118896 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21781/statm: 114377 113853 146 303 0 114072 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 457508

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/107 21810
/proc/meminfo: memFree=1376656/2059040 swapFree=4134180/4192956
[pid=21781] ppid=21779 vsize=477704 CPUtime=1002
/proc/21781/stat : 21781 (wbo1.4b) R 21779 21781 21359 0 -1 4202496 119029 0 0 0 99448 752 0 0 25 0 1 0 121436149 489168896 118916 1992294400 134512640 135752675 4291118896 18446744073709551615 134611709 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21781/statm: 119426 118916 146 303 0 119121 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 477704

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/107 21812
/proc/meminfo: memFree=1356568/2059040 swapFree=4134180/4192956
[pid=21781] ppid=21779 vsize=498188 CPUtime=1061.98
/proc/21781/stat : 21781 (wbo1.4b) R 21779 21781 21359 0 -1 4202496 124127 0 0 0 105414 784 0 0 25 0 1 0 121436149 510144512 124014 1992294400 134512640 135752675 4291118896 18446744073709551615 134605428 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21781/statm: 124547 124014 146 303 0 124242 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 498188

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/107 21812
/proc/meminfo: memFree=1335736/2059040 swapFree=4134180/4192956
[pid=21781] ppid=21779 vsize=518788 CPUtime=1121.95
/proc/21781/stat : 21781 (wbo1.4b) R 21779 21781 21359 0 -1 4202496 129274 0 0 0 111375 820 0 0 25 0 1 0 121436149 531238912 129161 1992294400 134512640 135752675 4291118896 18446744073709551615 134611574 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21781/statm: 129697 129161 146 303 0 129392 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 518788

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/107 21814
/proc/meminfo: memFree=1315028/2059040 swapFree=4134180/4192956
[pid=21781] ppid=21779 vsize=539620 CPUtime=1181.94
/proc/21781/stat : 21781 (wbo1.4b) R 21779 21781 21359 0 -1 4202496 134489 0 0 0 117336 858 0 0 25 0 1 0 121436149 552570880 134376 1992294400 134512640 135752675 4291118896 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21781/statm: 134905 134376 146 303 0 134600 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 539620

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/107 21816
/proc/meminfo: memFree=1296180/2059040 swapFree=4134180/4192956
[pid=21781] ppid=21779 vsize=558076 CPUtime=1241.93
/proc/21781/stat : 21781 (wbo1.4b) R 21779 21781 21359 0 -1 4202496 139099 0 0 0 123302 891 0 0 25 0 1 0 121436149 571469824 138986 1992294400 134512640 135752675 4291118896 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21781/statm: 139519 138986 146 303 0 139214 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 558076

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/107 21818
/proc/meminfo: memFree=1279192/2059040 swapFree=4134180/4192956
[pid=21781] ppid=21779 vsize=574992 CPUtime=1301.92
/proc/21781/stat : 21781 (wbo1.4b) R 21779 21781 21359 0 -1 4202496 143296 0 0 0 129270 922 0 0 25 0 1 0 121436149 588791808 143183 1992294400 134512640 135752675 4291118896 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21781/statm: 143748 143183 146 303 0 143443 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 574992

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/107 21820
/proc/meminfo: memFree=1263940/2059040 swapFree=4134180/4192956
[pid=21781] ppid=21779 vsize=590376 CPUtime=1361.88
/proc/21781/stat : 21781 (wbo1.4b) R 21779 21781 21359 0 -1 4202496 147161 0 0 0 135236 952 0 0 25 0 1 0 121436149 604545024 147048 1992294400 134512640 135752675 4291118896 18446744073709551615 134602989 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21781/statm: 147594 147048 146 303 0 147289 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 590376

[startup+1422.31 s]
/proc/loadavg: 1.04 1.00 0.93 2/107 21820
/proc/meminfo: memFree=1243480/2059040 swapFree=4134180/4192956
[pid=21781] ppid=21779 vsize=610704 CPUtime=1421.88
/proc/21781/stat : 21781 (wbo1.4b) R 21779 21781 21359 0 -1 4202496 152225 0 0 0 141205 983 0 0 25 0 1 0 121436149 625360896 152112 1992294400 134512640 135752675 4291118896 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21781/statm: 152676 152112 146 303 0 152371 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 610704

[startup+1482.3 s]
/proc/loadavg: 1.01 1.00 0.93 2/107 21822
/proc/meminfo: memFree=1224260/2059040 swapFree=4134180/4192956
[pid=21781] ppid=21779 vsize=629976 CPUtime=1481.85
/proc/21781/stat : 21781 (wbo1.4b) R 21779 21781 21359 0 -1 4202496 157062 0 0 0 147167 1018 0 0 25 0 1 0 121436149 645095424 156949 1992294400 134512640 135752675 4291118896 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21781/statm: 157494 156949 146 303 0 157189 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 629976

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 21824
/proc/meminfo: memFree=1191896/2059040 swapFree=4134180/4192956
[pid=21781] ppid=21779 vsize=661696 CPUtime=1541.84
/proc/21781/stat : 21781 (wbo1.4b) R 21779 21781 21359 0 -1 4202496 165128 0 0 0 153096 1088 0 0 25 0 1 0 121436149 677576704 164971 1992294400 134512640 135752675 4291118896 18446744073709551615 134603215 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21781/statm: 165424 164971 146 303 0 165119 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 661696

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.93 3/107 21835
/proc/meminfo: memFree=1163872/2059040 swapFree=4134180/4192956
[pid=21781] ppid=21779 vsize=689648 CPUtime=1601.8
/proc/21781/stat : 21781 (wbo1.4b) R 21779 21781 21359 0 -1 4202496 172107 0 0 0 159031 1149 0 0 25 0 1 0 121436149 706199552 171950 1992294400 134512640 135752675 4291118896 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21781/statm: 172412 171950 146 303 0 172107 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 689648

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 21837
/proc/meminfo: memFree=1140064/2059040 swapFree=4134180/4192956
[pid=21781] ppid=21779 vsize=713348 CPUtime=1661.78
/proc/21781/stat : 21781 (wbo1.4b) R 21779 21781 21359 0 -1 4202496 177986 0 0 0 164978 1200 0 0 25 0 1 0 121436149 730468352 177829 1992294400 134512640 135752675 4291118896 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21781/statm: 178337 177829 146 303 0 178032 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 713348

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 21837
/proc/meminfo: memFree=1118612/2059040 swapFree=4134180/4192956
[pid=21781] ppid=21779 vsize=734612 CPUtime=1721.77
/proc/21781/stat : 21781 (wbo1.4b) R 21779 21781 21359 0 -1 4202496 183327 0 0 0 170927 1250 0 0 25 0 1 0 121436149 752242688 183170 1992294400 134512640 135752675 4291118896 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21781/statm: 183653 183170 146 303 0 183348 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 734612

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 21839
/proc/meminfo: memFree=1096540/2059040 swapFree=4134180/4192956
[pid=21781] ppid=21779 vsize=756752 CPUtime=1781.75
/proc/21781/stat : 21781 (wbo1.4b) R 21779 21781 21359 0 -1 4202496 188823 0 0 0 176875 1300 0 0 25 0 1 0 121436149 774914048 188666 1992294400 134512640 135752675 4291118896 18446744073709551615 134611647 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21781/statm: 189188 188666 146 303 0 188883 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 756752



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 21839
/proc/meminfo: memFree=1090464/2059040 swapFree=4134180/4192956
[pid=21781] ppid=21779 vsize=762700 CPUtime=1800.06
/proc/21781/stat : 21781 (wbo1.4b) R 21779 21781 21359 0 -1 4202496 190319 0 0 0 178693 1313 0 0 25 0 1 0 121436149 781004800 190162 1992294400 134512640 135752675 4291118896 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21781/statm: 190675 190162 146 303 0 190370 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 762700

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.69
CPU time (s): 1800.15
CPU user time (s): 1786.94
CPU system time (s): 13.21
CPU usage (%): 99.9698
Max. virtual memory (cumulated for all children) (KiB): 762700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.94
system time used= 13.21
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 190319
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= 5
involuntary context switches= 5903

runsolver used 2.99154 second user time and 8.49571 second system time

The end

Launcher Data 

Begin job on node017 at 2010-06-25 11:34:57
IDJOB=2680681
IDBENCH=2927
IDSOLVER=1190
FILE ID=node017/2680681-1277458497
PBS_JOBID= 11188142
Free space on /tmp= 62260 MiB

SOLVER NAME= wbo 1.4b (fixed)
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_1.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680681-1277458497/watcher-2680681-1277458497 -o /tmp/evaluation-result-2680681-1277458497/solver-2680681-1277458497 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680681-1277458497.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= fb11ff2665aef67f0842a460a5ea3114
RANDOM SEED=1434070512

node017.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.201
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.40
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.201
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.51
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1854716 kB
Buffers:         37488 kB
Cached:          71028 kB
SwapCached:      11216 kB
Active:          17812 kB
Inactive:       104600 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1854716 kB
SwapTotal:     4192956 kB
SwapFree:      4134180 kB
Dirty:            2620 kB
Writeback:           0 kB
AnonPages:       12460 kB
Mapped:           8400 kB
Slab:            59800 kB
PageTables:       4136 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   184332 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62256 MiB
End job on node017 at 2010-06-25 12:05:00