Trace number 2680699

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.21 1800.84

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_7_60_2.opb
MD5SUMa70b0edfadf87ffd0bc1b32400cae43b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark14
Best CPU time to get the best result obtained on this benchmark1792.37
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 18
Optimality of the best value was proved NO
Number of variables172
Total number of constraints14
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 constraints14
Minimum length of a constraint74
Maximum length of a constraint76
Number of terms in the objective function 112
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 3570
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1648
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 5454
Number of bits of the biggest sum of numbers13
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.00	c wbo 1.4 beta - 20100610
0.00/0.00	c Parsing opb file format. File HOME/instance-2680699-1277458432.opb.
0.00/0.00	c Instance file HOME/instance-2680699-1277458432.opb
0.00/0.00	c File size is 10354 bytes.
0.00/0.00	c Highest Coefficient sum: 5454
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.00         s                                      |
0.00/0.00	c |  Number Variables:      172                                                 |
0.00/0.00	c |  Number Clauses:        0                                                   |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 14                                                  |
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     172       14     1058 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 643
0.00/0.00	o 643
0.00/0.00	c Elapsed CPU time: 0.003999 s	Remaining CPU time: 179.996 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     172       15     1170 |     5000        0    nan |  0.000 % |
0.00/0.01	c |       103 |     172       15     1170 |     5500      103     65 |  0.003 % |
0.00/0.02	c |       253 |     172       15     1170 |     6050      253     64 |  0.003 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 371
0.00/0.02	o 371
0.00/0.02	c Elapsed CPU time: 0.020996 s	Remaining CPU time: 179.979 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |       255 |     172       16     1282 |     5000      255     63 |  0.003 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 305
0.00/0.02	o 305
0.00/0.02	c Elapsed CPU time: 0.024996 s	Remaining CPU time: 179.975 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |       303 |     172       17     1394 |     5000      303     62 |  0.003 % |
0.00/0.03	c |       403 |     172       17     1394 |     5500      403     59 |  0.003 % |
0.00/0.05	c |       554 |     172       17     1394 |     6050      554     57 |  0.003 % |
0.00/0.05	c ===============================================================================
0.00/0.05	c New solution: 278
0.00/0.05	o 278
0.00/0.05	c Elapsed CPU time: 0.049992 s	Remaining CPU time: 179.95 s
0.00/0.05	c ===============================================================================
0.00/0.05	c |       554 |     172       18     1506 |     5000      554     57 |  0.003 % |
0.00/0.05	c ===============================================================================
0.00/0.05	c New solution: 240
0.00/0.05	o 240
0.00/0.05	c Elapsed CPU time: 0.050992 s	Remaining CPU time: 179.949 s
0.00/0.05	c ===============================================================================
0.00/0.05	c |       565 |     172       19     1618 |     5000      565     57 |  0.003 % |
0.00/0.06	c |       666 |     172       19     1618 |     5500      666     57 |  0.003 % |
0.00/0.08	c |       816 |     172       19     1618 |     6050      816     56 |  0.003 % |
0.09/0.10	c ===============================================================================
0.09/0.10	c New solution: 148
0.09/0.10	o 148
0.09/0.10	c Elapsed CPU time: 0.097985 s	Remaining CPU time: 179.902 s
0.09/0.10	c ===============================================================================
0.09/0.10	c |      1023 |     172       20     1730 |     5000     1023     54 |  0.003 % |
0.09/0.11	c |      1124 |     172       20     1730 |     5500     1124     56 |  0.003 % |
0.09/0.11	c ===============================================================================
0.09/0.11	c New solution: 118
0.09/0.11	o 118
0.09/0.11	c Elapsed CPU time: 0.109983 s	Remaining CPU time: 179.89 s
0.09/0.11	c ===============================================================================
0.09/0.11	c |      1145 |     172       21     1842 |     5000     1145     55 |  0.003 % |
0.09/0.12	c ===============================================================================
0.09/0.12	c New solution: 109
0.09/0.12	o 109
0.09/0.12	c Elapsed CPU time: 0.116982 s	Remaining CPU time: 179.883 s
0.09/0.12	c ===============================================================================
0.09/0.12	c |      1193 |     158       22     1954 |     5000      601     54 |  0.003 % |
0.09/0.13	c |      1293 |     158       22     1954 |     5500      701     54 |  8.143 % |
0.09/0.14	c ===============================================================================
0.09/0.14	c New solution: 98
0.09/0.14	o 98
0.09/0.14	c Elapsed CPU time: 0.134979 s	Remaining CPU time: 179.865 s
0.09/0.14	c ===============================================================================
0.09/0.14	c |      1356 |     158       23     2066 |     5000      764     54 |  8.143 % |
0.09/0.15	c |      1457 |     158       23     2066 |     5500      865     54 |  8.143 % |
0.09/0.16	c ===============================================================================
0.09/0.16	c New solution: 92
0.09/0.16	o 92
0.09/0.16	c Elapsed CPU time: 0.159975 s	Remaining CPU time: 179.84 s
0.09/0.16	c ===============================================================================
0.09/0.16	c |      1557 |     158       24     2178 |     5000      965     54 |  8.143 % |
0.09/0.17	c |      1657 |     158       24     2178 |     5500     1065     55 |  8.143 % |
0.09/0.19	c |      1807 |     158       24     2178 |     6050     1215     55 |  8.143 % |
0.19/0.22	c |      2033 |     158       24     2178 |     6655     1441     54 |  8.143 % |
0.19/0.27	c |      2370 |     158       24     2178 |     7320     1778     53 |  8.143 % |
0.29/0.33	c |      2876 |     158       24     2178 |     8052     2284     53 |  8.143 % |
0.39/0.42	c |      3635 |     158       24     2178 |     8857     3043     53 |  8.143 % |
0.49/0.51	c ===============================================================================
0.49/0.51	c New solution: 57
0.49/0.51	o 57
0.49/0.51	c Elapsed CPU time: 0.503923 s	Remaining CPU time: 179.496 s
0.49/0.51	c ===============================================================================
0.49/0.51	c |      4322 |     158       25     2290 |     5000     3730     53 |  8.143 % |
0.49/0.53	c |      4422 |     144       25     2290 |     5500     3384     53 | 16.282 % |
0.49/0.55	c |      4572 |     144       25     2290 |     6050     3534     53 | 16.282 % |
0.49/0.59	c |      4797 |     144       25     2290 |     6655     3759     54 | 16.282 % |
0.59/0.64	c |      5134 |     144       25     2290 |     7320     4096     54 | 16.282 % |
0.59/0.67	c ===============================================================================
0.59/0.67	c New solution: 56
0.59/0.67	o 56
0.59/0.67	c Elapsed CPU time: 0.6549 s	Remaining CPU time: 179.345 s
0.59/0.67	c ===============================================================================
0.59/0.67	c |      5317 |     144       26     2402 |     5000     4279     54 | 16.282 % |
0.59/0.68	c |      5417 |     144       26     2402 |     5500     4379     54 | 16.282 % |
0.69/0.70	c |      5567 |     144       26     2402 |     6050     4529     54 | 16.282 % |
0.69/0.73	c |      5792 |     144       26     2402 |     6655     4754     55 | 16.282 % |
0.69/0.78	c |      6129 |     144       26     2402 |     7320     5091     55 | 16.282 % |
0.79/0.84	c ===============================================================================
0.79/0.84	c New solution: 52
0.79/0.84	o 52
0.79/0.84	c Elapsed CPU time: 0.827874 s	Remaining CPU time: 179.172 s
0.79/0.84	c ===============================================================================
0.79/0.84	c |      6524 |     144       27     2514 |     5000     5486     55 | 16.282 % |
0.79/0.86	c |      6624 |     144       27     2514 |     5500     2843     57 | 16.282 % |
0.79/0.88	c |      6774 |     144       27     2514 |     6050     2993     57 | 16.282 % |
0.89/0.91	c |      6999 |     144       27     2514 |     6655     3218     57 | 16.282 % |
0.89/0.96	c |      7336 |     144       27     2514 |     7320     3555     56 | 16.282 % |
1.00/1.04	c |      7842 |     144       27     2514 |     8052     4061     56 | 16.282 % |
1.10/1.15	c |      8601 |     144       27     2514 |     8857     4820     56 | 16.282 % |
1.29/1.33	c |      9740 |     144       27     2514 |     9743     5959     56 | 16.282 % |
1.59/1.60	c |     11448 |     144       27     2514 |    10717     7667     56 | 16.282 % |
1.99/2.04	c |     14010 |     144       27     2514 |    11789    10229     57 | 16.282 % |
2.79/2.83	c |     17855 |     144       27     2514 |    12968     8150     57 | 16.282 % |
3.99/4.07	c |     23621 |     144       27     2514 |    14265     7397     56 | 16.282 % |
5.50/5.59	c ===============================================================================
5.50/5.59	c New solution: 49
5.50/5.59	o 49
5.50/5.59	c Elapsed CPU time: 5.51516 s	Remaining CPU time: 174.485 s
5.50/5.59	c ===============================================================================
5.50/5.59	c |     30416 |     144       28     2626 |     5000    14192     56 | 16.282 % |
5.59/5.67	c |     30516 |     144       28     2626 |     5500     3648     56 | 16.282 % |
5.59/5.69	c |     30666 |     144       28     2626 |     6050     3798     56 | 16.282 % |
5.69/5.72	c |     30891 |     144       28     2626 |     6655     4023     56 | 16.282 % |
5.69/5.77	c |     31228 |     144       28     2626 |     7320     4360     56 | 16.282 % |
5.79/5.85	c |     31734 |     144       28     2626 |     8052     4866     56 | 16.282 % |
5.89/5.98	c |     32493 |     144       28     2626 |     8857     5625     57 | 16.282 % |
6.09/6.15	c |     33632 |     144       28     2626 |     9743     6764     57 | 16.282 % |
6.39/6.45	c |     35340 |     144       28     2626 |    10717     8472     56 | 16.282 % |
6.89/6.97	c |     37902 |     144       28     2626 |    11789     5639     56 | 16.282 % |
7.60/7.67	c |     41746 |     144       28     2626 |    12968     9483     56 | 16.282 % |
8.80/8.82	c |     47513 |     144       28     2626 |    14265     8728     57 | 16.282 % |
10.59/10.66	c |     56162 |     144       28     2626 |    15692    10204     58 | 16.282 % |
13.89/13.98	c |     69136 |     144       28     2626 |    17261    15297     58 | 16.282 % |
19.09/19.10	c |     88597 |     144       28     2626 |    18987     8748     59 | 16.282 % |
26.58/26.65	c |    117791 |     144       28     2626 |    20886    18887     58 | 16.282 % |
31.89/31.94	c ===============================================================================
31.89/31.94	c New solution: 47
31.89/31.94	o 47
31.89/31.94	c Elapsed CPU time: 31.5602 s	Remaining CPU time: 148.44 s
31.89/31.94	c ===============================================================================
31.89/31.94	c |    136613 |     144       29     2738 |     5000    16753     58 | 16.282 % |
31.98/32.01	c |    136713 |     144       29     2738 |     5500     4289     59 | 16.282 % |
31.98/32.04	c |    136863 |     144       29     2738 |     6050     4439     59 | 16.282 % |
31.98/32.08	c |    137088 |     144       29     2738 |     6655     4664     59 | 16.282 % |
32.08/32.13	c |    137425 |     144       29     2738 |     7320     5001     58 | 16.282 % |
32.18/32.23	c |    137931 |     144       29     2738 |     8052     5507     58 | 16.282 % |
32.28/32.37	c |    138690 |     144       29     2738 |     8857     6266     58 | 16.282 % |
32.48/32.58	c |    139829 |     144       29     2738 |     9743     7405     58 | 16.282 % |
32.88/32.90	c |    141537 |     144       29     2738 |    10717     9113     58 | 16.282 % |
33.38/33.44	c |    144100 |     144       29     2738 |    11789     6283     57 | 16.282 % |
34.09/34.16	c |    147944 |     144       29     2738 |    12968    10127     56 | 16.282 % |
35.38/35.42	c |    153711 |     144       29     2738 |    14265     9374     55 | 16.282 % |
37.18/37.22	c |    162360 |     144       29     2738 |    15692    10854     57 | 16.282 % |
40.18/40.25	c |    175335 |     144       29     2738 |    17261     8060     59 | 16.282 % |
44.38/44.49	c |    194797 |     144       29     2738 |    18987    10183     55 | 16.282 % |
51.58/51.70	c |    223989 |     144       29     2738 |    20886    10786     57 | 16.282 % |
55.87/55.92	c ===============================================================================
55.87/55.92	c New solution: 45
55.87/55.92	o 45
55.87/55.92	c Elapsed CPU time: 55.2866 s	Remaining CPU time: 124.713 s
55.87/55.92	c ===============================================================================
55.87/55.92	c |    239505 |     144       30     2850 |     5000    15826     56 | 16.282 % |
55.87/55.98	c ===============================================================================
55.87/55.98	c New solution: 37
55.87/55.98	o 37
55.87/55.98	c Elapsed CPU time: 55.3526 s	Remaining CPU time: 124.647 s
55.87/55.98	c ===============================================================================
55.87/55.98	c |    239518 |     144       31     2962 |     5000     3970     57 | 16.282 % |
55.98/56.00	c |    239618 |     144       31     2962 |     5500     4070     56 | 16.282 % |
55.98/56.03	c |    239768 |     144       31     2962 |     6050     4220     56 | 16.282 % |
55.98/56.07	c |    239993 |     144       31     2962 |     6655     4445     56 | 16.282 % |
56.08/56.13	c |    240330 |     144       31     2962 |     7320     4782     56 | 16.282 % |
56.17/56.20	c |    240836 |     144       31     2962 |     8052     5288     57 | 16.282 % |
56.28/56.33	c |    241595 |     144       31     2962 |     8857     6047     56 | 16.282 % |
56.48/56.55	c |    242735 |     144       31     2962 |     9743     7187     57 | 16.282 % |
56.77/56.85	c |    244443 |     144       31     2962 |    10717     8895     57 | 16.282 % |
57.28/57.33	c |    247005 |     144       31     2962 |    11789     6065     56 | 16.282 % |
57.97/58.01	c |    250849 |     144       31     2962 |    12968     9909     55 | 16.282 % |
59.08/59.12	c |    256615 |     144       31     2962 |    14265     9154     55 | 16.282 % |
60.77/60.87	c |    265265 |     144       31     2962 |    15692    10632     55 | 16.282 % |
63.78/63.85	c |    278239 |     144       31     2962 |    17261    15721     54 | 16.282 % |
68.37/68.44	c |    297700 |     144       31     2962 |    18987     9183     54 | 16.282 % |
75.17/75.23	c |    326892 |     144       31     2962 |    20886     9792     52 | 16.282 % |
86.16/86.24	c |    370681 |     144       31     2962 |    22974    11667     54 | 16.282 % |
104.36/104.43	c |    436365 |     144       31     2962 |    25272    16616     56 | 16.282 % |
136.45/136.55	c |    534892 |     144       31     2962 |    27799    13951     54 | 16.282 % |
181.83/181.92	c There are 28 assigned variables. 28 in cost function.
182.44/182.51	c ============================[ Search Statistics ]==============================
182.44/182.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.44/182.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.44/182.51	c ===============================================================================
182.44/182.51	c |         0 |      60      143     1002 |     5000        0    nan |  0.000 % |
182.44/182.53	c |       100 |      60      143     1002 |     5500      100     64 | 65.120 % |
182.44/182.55	c |       250 |      60      143     1002 |     6050      250     65 | 65.120 % |
182.44/182.60	c |       475 |      60      143     1002 |     6655      475     67 | 65.120 % |
182.54/182.68	c |       812 |      60      143     1002 |     7320      812     69 | 65.120 % |
182.63/182.79	c |      1318 |      60      143     1002 |     8052     1318     68 | 65.120 % |
182.83/182.90	c |      2077 |      60      143     1002 |     8857     2077     68 | 65.120 % |
182.93/183.07	c |      3216 |      60      143     1002 |     9743     3216     69 | 65.120 % |
183.23/183.36	c |      4924 |      60      143     1002 |    10717     4924     68 | 65.120 % |
183.73/183.86	c |      7486 |      60      143     1002 |    11789     7486     67 | 65.120 % |
184.63/184.78	c |     11330 |      60      143     1002 |    12968    11330     69 | 65.120 % |
186.03/186.15	c |     17096 |      60      143     1002 |    14265    10534     69 | 65.120 % |
188.13/188.23	c |     25746 |      60      143     1002 |    15692    11975     67 | 65.120 % |
191.33/191.43	c |     38720 |      60      143     1002 |    17261     9102     68 | 65.120 % |
196.03/196.16	c |     58182 |      60      143     1002 |    18987    11158     63 | 65.120 % |
204.82/204.99	c |     87374 |      60      143     1002 |    20886    11635     73 | 65.120 % |
217.92/218.08	c |    131163 |      60      143     1002 |    22974    13346     67 | 65.120 % |
240.72/240.84	c |    196847 |      60      143     1002 |    25272    17118     73 | 65.120 % |
279.30/279.48	c |    295374 |      60      143     1002 |    27799    13537     72 | 65.120 % |
338.98/339.14	c |    443163 |      60      143     1002 |    30579    25172     73 | 65.120 % |
444.54/444.76	c |    664846 |      60      143     1002 |    33637    30165     75 | 65.120 % |
605.08/605.34	c |    997371 |      60      143     1002 |    37001    22738     72 | 65.120 % |
834.91/835.21	c |   1496159 |      60      143     1002 |    40701    28773     69 | 65.120 % |
1236.07/1236.54	c |   2244343 |      60      143     1002 |    44771    38657     72 | 65.120 % |

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-2680699-1277458432/watcher-2680699-1277458432 -o /tmp/evaluation-result-2680699-1277458432/solver-2680699-1277458432 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680699-1277458432.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.99 3/106 22400
/proc/meminfo: memFree=1855108/2059040 swapFree=4139944/4192956
[pid=22400] ppid=22398 vsize=2572 CPUtime=0
/proc/22400/stat : 22400 (wbo1.4b) R 22398 22400 22004 0 -1 4202496 286 0 0 0 0 0 0 0 20 0 1 0 121446628 2633728 201 1992294400 134512640 135752675 4289338304 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22400/statm: 643 201 143 303 0 338 0

[startup+0.0928309 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 22400
/proc/meminfo: memFree=1855108/2059040 swapFree=4139944/4192956
[pid=22400] ppid=22398 vsize=2828 CPUtime=0.08
/proc/22400/stat : 22400 (wbo1.4b) R 22398 22400 22004 0 -1 4202496 363 0 0 0 8 0 0 0 20 0 1 0 121446628 2895872 278 1992294400 134512640 135752675 4289338304 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22400/statm: 707 278 144 303 0 402 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2828

[startup+0.101833 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 22400
/proc/meminfo: memFree=1855108/2059040 swapFree=4139944/4192956
[pid=22400] ppid=22398 vsize=2828 CPUtime=0.09
/proc/22400/stat : 22400 (wbo1.4b) R 22398 22400 22004 0 -1 4202496 369 0 0 0 9 0 0 0 20 0 1 0 121446628 2895872 284 1992294400 134512640 135752675 4289338304 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22400/statm: 707 284 144 303 0 402 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2828

[startup+0.301871 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 22400
/proc/meminfo: memFree=1855108/2059040 swapFree=4139944/4192956
[pid=22400] ppid=22398 vsize=3352 CPUtime=0.29
/proc/22400/stat : 22400 (wbo1.4b) R 22398 22400 22004 0 -1 4202496 504 0 0 0 29 0 0 0 20 0 1 0 121446628 3432448 419 1992294400 134512640 135752675 4289338304 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22400/statm: 838 419 144 303 0 533 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3352

[startup+0.701944 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 22400
/proc/meminfo: memFree=1855108/2059040 swapFree=4139944/4192956
[pid=22400] ppid=22398 vsize=4412 CPUtime=0.69
/proc/22400/stat : 22400 (wbo1.4b) R 22398 22400 22004 0 -1 4202496 750 0 0 0 68 1 0 0 21 0 1 0 121446628 4517888 665 1992294400 134512640 135752675 4289338304 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22400/statm: 1103 665 144 303 0 798 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4412

[startup+1.50109 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 22401
/proc/meminfo: memFree=1852248/2059040 swapFree=4139944/4192956
[pid=22400] ppid=22398 vsize=6108 CPUtime=1.49
/proc/22400/stat : 22400 (wbo1.4b) R 22398 22400 22004 0 -1 4202496 1178 0 0 0 147 2 0 0 22 0 1 0 121446628 6254592 1093 1992294400 134512640 135752675 4289338304 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22400/statm: 1527 1093 145 303 0 1222 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6108

[startup+3.10139 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 22401
/proc/meminfo: memFree=1849892/2059040 swapFree=4139944/4192956
[pid=22400] ppid=22398 vsize=8856 CPUtime=3.09
/proc/22400/stat : 22400 (wbo1.4b) R 22398 22400 22004 0 -1 4202496 1858 0 0 0 305 4 0 0 25 0 1 0 121446628 9068544 1773 1992294400 134512640 135752675 4289338304 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22400/statm: 2214 1773 145 303 0 1909 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8856

[startup+6.30098 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 22401
/proc/meminfo: memFree=1844684/2059040 swapFree=4139944/4192956
[pid=22400] ppid=22398 vsize=13724 CPUtime=6.29
/proc/22400/stat : 22400 (wbo1.4b) R 22398 22400 22004 0 -1 4202496 3091 0 0 0 620 9 0 0 25 0 1 0 121446628 14053376 3006 1992294400 134512640 135752675 4289338304 18446744073709551615 134611798 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22400/statm: 3431 3006 145 303 0 3126 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13724

[startup+12.7012 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 22401
/proc/meminfo: memFree=1834516/2059040 swapFree=4139944/4192956
[pid=22400] ppid=22398 vsize=23340 CPUtime=12.68
/proc/22400/stat : 22400 (wbo1.4b) R 22398 22400 22004 0 -1 4202496 5476 0 0 0 1252 16 0 0 25 0 1 0 121446628 23900160 5391 1992294400 134512640 135752675 4289338304 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22400/statm: 5835 5391 145 303 0 5530 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 23340

[startup+25.5015 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 22401
/proc/meminfo: memFree=1817652/2059040 swapFree=4139944/4192956
[pid=22400] ppid=22398 vsize=39408 CPUtime=25.48
/proc/22400/stat : 22400 (wbo1.4b) R 22398 22400 22004 0 -1 4202496 9501 0 0 0 2518 30 0 0 25 0 1 0 121446628 40353792 9416 1992294400 134512640 135752675 4289338304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22400/statm: 9852 9416 145 303 0 9547 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 39408

[startup+51.1013 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 22401
/proc/meminfo: memFree=1784048/2059040 swapFree=4139944/4192956
[pid=22400] ppid=22398 vsize=73296 CPUtime=51.08
/proc/22400/stat : 22400 (wbo1.4b) R 22398 22400 22004 0 -1 4202496 17976 0 0 0 5052 56 0 0 25 0 1 0 121446628 75055104 17891 1992294400 134512640 135752675 4289338304 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22400/statm: 18324 17891 145 303 0 18019 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 73296

[startup+102.309 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 22403
/proc/meminfo: memFree=1719444/2059040 swapFree=4139944/4192956
[pid=22400] ppid=22398 vsize=137160 CPUtime=102.26
/proc/22400/stat : 22400 (wbo1.4b) R 22398 22400 22004 0 -1 4202496 33911 0 0 0 10111 115 0 0 25 0 1 0 121446628 140451840 33826 1992294400 134512640 135752675 4289338304 18446744073709551615 134612140 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22400/statm: 34290 33826 145 303 0 33985 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 137160

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 22405
/proc/meminfo: memFree=1661908/2059040 swapFree=4139944/4192956
[pid=22400] ppid=22398 vsize=195088 CPUtime=162.24
/proc/22400/stat : 22400 (wbo1.4b) R 22398 22400 22004 0 -1 4202496 48369 0 0 0 16056 168 0 0 25 0 1 0 121446628 199770112 48284 1992294400 134512640 135752675 4289338304 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22400/statm: 48772 48284 145 303 0 48467 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 195088

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 22407
/proc/meminfo: memFree=1610696/2059040 swapFree=4139944/4192956
[pid=22400] ppid=22398 vsize=245724 CPUtime=222.22
/proc/22400/stat : 22400 (wbo1.4b) R 22398 22400 22004 0 -1 4202496 61087 0 0 0 21996 226 0 0 25 0 1 0 121446628 251621376 60974 1992294400 134512640 135752675 4289338304 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22400/statm: 61431 60974 146 303 0 61126 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 245724

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 22407
/proc/meminfo: memFree=1561468/2059040 swapFree=4139944/4192956
[pid=22400] ppid=22398 vsize=295272 CPUtime=282.19
/proc/22400/stat : 22400 (wbo1.4b) R 22398 22400 22004 0 -1 4202496 73460 0 0 0 27945 274 0 0 25 0 1 0 121446628 302358528 73347 1992294400 134512640 135752675 4289338304 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22400/statm: 73818 73347 146 303 0 73513 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 295272

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 22409
/proc/meminfo: memFree=1516084/2059040 swapFree=4139944/4192956
[pid=22400] ppid=22398 vsize=340060 CPUtime=342.17
/proc/22400/stat : 22400 (wbo1.4b) R 22398 22400 22004 0 -1 4202496 84663 0 0 0 33901 316 0 0 25 0 1 0 121446628 348221440 84550 1992294400 134512640 135752675 4289338304 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22400/statm: 85015 84551 146 303 0 84710 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 340060

[startup+402.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 22411
/proc/meminfo: memFree=1475660/2059040 swapFree=4139944/4192956
[pid=22400] ppid=22398 vsize=381120 CPUtime=402.15
/proc/22400/stat : 22400 (wbo1.4b) R 22398 22400 22004 0 -1 4202496 94888 0 0 0 39857 358 0 0 25 0 1 0 121446628 390266880 94775 1992294400 134512640 135752675 4289338304 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22400/statm: 95280 94775 146 303 0 94975 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 381120

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 22413
/proc/meminfo: memFree=1435856/2059040 swapFree=4139944/4192956
[pid=22400] ppid=22398 vsize=420376 CPUtime=462.14
/proc/22400/stat : 22400 (wbo1.4b) R 22398 22400 22004 0 -1 4202496 104699 0 0 0 45814 400 0 0 25 0 1 0 121446628 430465024 104586 1992294400 134512640 135752675 4289338304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22400/statm: 105094 104586 146 303 0 104789 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 420376

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 22415
/proc/meminfo: memFree=1399400/2059040 swapFree=4139944/4192956
[pid=22400] ppid=22398 vsize=457116 CPUtime=522.11
/proc/22400/stat : 22400 (wbo1.4b) R 22398 22400 22004 0 -1 4202496 113884 0 0 0 51773 438 0 0 25 0 1 0 121446628 468086784 113771 1992294400 134512640 135752675 4289338304 18446744073709551615 134612140 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22400/statm: 114279 113771 146 303 0 113974 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 457116

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 22415
/proc/meminfo: memFree=1352652/2059040 swapFree=4139944/4192956
[pid=22400] ppid=22398 vsize=503604 CPUtime=582.1
/proc/22400/stat : 22400 (wbo1.4b) R 22398 22400 22004 0 -1 4202496 125503 0 0 0 57730 480 0 0 25 0 1 0 121446628 515690496 125390 1992294400 134512640 135752675 4289338304 18446744073709551615 134611709 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22400/statm: 125901 125390 146 303 0 125596 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 503604

[startup+642.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 22417
/proc/meminfo: memFree=1304540/2059040 swapFree=4139944/4192956
[pid=22400] ppid=22398 vsize=551012 CPUtime=642.08
/proc/22400/stat : 22400 (wbo1.4b) R 22398 22400 22004 0 -1 4202496 137358 0 0 0 63684 524 0 0 25 0 1 0 121446628 564236288 137245 1992294400 134512640 135752675 4289338304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22400/statm: 137753 137245 146 303 0 137448 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 551012

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 22423
/proc/meminfo: memFree=1126352/2059040 swapFree=4139944/4192956
[pid=22400] ppid=22398 vsize=728876 CPUtime=881.99
/proc/22400/stat : 22400 (wbo1.4b) R 22398 22400 22004 0 -1 4202496 181810 0 0 0 87507 692 0 0 25 0 1 0 121446628 746369024 181697 1992294400 134512640 135752675 4289338304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22400/statm: 182219 181697 146 303 0 181914 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 728876

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 22425
/proc/meminfo: memFree=1086672/2059040 swapFree=4139944/4192956
[pid=22400] ppid=22398 vsize=768712 CPUtime=941.97
/proc/22400/stat : 22400 (wbo1.4b) R 22398 22400 22004 0 -1 4202496 191770 0 0 0 93465 732 0 0 25 0 1 0 121446628 787161088 191657 1992294400 134512640 135752675 4289338304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22400/statm: 192178 191657 146 303 0 191873 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 768712

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 22427
/proc/meminfo: memFree=1047736/2059040 swapFree=4139944/4192956
[pid=22400] ppid=22398 vsize=807528 CPUtime=1001.95
/proc/22400/stat : 22400 (wbo1.4b) R 22398 22400 22004 0 -1 4202496 201465 0 0 0 99426 769 0 0 25 0 1 0 121446628 826908672 201352 1992294400 134512640 135752675 4289338304 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22400/statm: 201882 201352 146 303 0 201577 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 807528

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 22429
/proc/meminfo: memFree=1008552/2059040 swapFree=4139944/4192956
[pid=22400] ppid=22398 vsize=846732 CPUtime=1061.93
/proc/22400/stat : 22400 (wbo1.4b) R 22398 22400 22004 0 -1 4202496 211248 0 0 0 105387 806 0 0 25 0 1 0 121446628 867053568 211135 1992294400 134512640 135752675 4289338304 18446744073709551615 134611702 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22400/statm: 211683 211135 146 303 0 211378 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 846732

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 22431
/proc/meminfo: memFree=968872/2059040 swapFree=4139944/4192956
[pid=22400] ppid=22398 vsize=886072 CPUtime=1121.91
/proc/22400/stat : 22400 (wbo1.4b) R 22398 22400 22004 0 -1 4202496 221090 0 0 0 111347 844 0 0 25 0 1 0 121446628 907337728 220977 1992294400 134512640 135752675 4289338304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22400/statm: 221518 220977 146 303 0 221213 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 886072

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 22431
/proc/meminfo: memFree=929192/2059040 swapFree=4139944/4192956
[pid=22400] ppid=22398 vsize=926088 CPUtime=1181.89
/proc/22400/stat : 22400 (wbo1.4b) R 22398 22400 22004 0 -1 4202496 231086 0 0 0 117307 882 0 0 25 0 1 0 121446628 948314112 230973 1992294400 134512640 135752675 4289338304 18446744073709551615 134605373 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22400/statm: 231522 230973 146 303 0 231217 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 926088

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 22433
/proc/meminfo: memFree=891124/2059040 swapFree=4139944/4192956
[pid=22400] ppid=22398 vsize=963424 CPUtime=1241.87
/proc/22400/stat : 22400 (wbo1.4b) R 22398 22400 22004 0 -1 4202496 240410 0 0 0 123269 918 0 0 25 0 1 0 121446628 986546176 240297 1992294400 134512640 135752675 4289338304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22400/statm: 240856 240297 146 303 0 240551 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 963424

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 22435
/proc/meminfo: memFree=849708/2059040 swapFree=4139944/4192956
[pid=22400] ppid=22398 vsize=1004620 CPUtime=1301.86
/proc/22400/stat : 22400 (wbo1.4b) R 22398 22400 22004 0 -1 4202496 250702 0 0 0 129226 960 0 0 25 0 1 0 121446628 1028730880 250589 1992294400 134512640 135752675 4289338304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22400/statm: 251155 250589 146 303 0 250850 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1004620

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 22437
/proc/meminfo: memFree=812136/2059040 swapFree=4139944/4192956
[pid=22400] ppid=22398 vsize=1042444 CPUtime=1361.83
/proc/22400/stat : 22400 (wbo1.4b) R 22398 22400 22004 0 -1 4202496 260140 0 0 0 135186 997 0 0 25 0 1 0 121446628 1067462656 260027 1992294400 134512640 135752675 4289338304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22400/statm: 260611 260027 146 303 0 260306 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1042444

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 22439
/proc/meminfo: memFree=774936/2059040 swapFree=4139944/4192956
[pid=22400] ppid=22398 vsize=1079272 CPUtime=1421.82
/proc/22400/stat : 22400 (wbo1.4b) R 22398 22400 22004 0 -1 4202496 269361 0 0 0 141150 1032 0 0 25 0 1 0 121446628 1105174528 269248 1992294400 134512640 135752675 4289338304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22400/statm: 269818 269248 146 303 0 269513 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1079272

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 22439
/proc/meminfo: memFree=738356/2059040 swapFree=4139944/4192956
[pid=22400] ppid=22398 vsize=1115900 CPUtime=1481.78
/proc/22400/stat : 22400 (wbo1.4b) R 22398 22400 22004 0 -1 4202496 278526 0 0 0 147110 1068 0 0 25 0 1 0 121446628 1142681600 278413 1992294400 134512640 135752675 4289338304 18446744073709551615 134603250 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22400/statm: 278975 278413 146 303 0 278670 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 1115900

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 22441
/proc/meminfo: memFree=700164/2059040 swapFree=4139944/4192956
[pid=22400] ppid=22398 vsize=1154092 CPUtime=1541.76
/proc/22400/stat : 22400 (wbo1.4b) R 22398 22400 22004 0 -1 4202496 288063 0 0 0 153073 1103 0 0 25 0 1 0 121446628 1181790208 287950 1992294400 134512640 135752675 4289338304 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22400/statm: 288523 287950 146 303 0 288218 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 1154092

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 22443
/proc/meminfo: memFree=665196/2059040 swapFree=4139944/4192956
[pid=22400] ppid=22398 vsize=1189864 CPUtime=1601.75
/proc/22400/stat : 22400 (wbo1.4b) R 22398 22400 22004 0 -1 4202496 296982 0 0 0 159038 1137 0 0 25 0 1 0 121446628 1218420736 296869 1992294400 134512640 135752675 4289338304 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22400/statm: 297466 296869 146 303 0 297161 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 1189864

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 22454
/proc/meminfo: memFree=626632/2059040 swapFree=4139944/4192956
[pid=22400] ppid=22398 vsize=1227484 CPUtime=1661.71
/proc/22400/stat : 22400 (wbo1.4b) R 22398 22400 22004 0 -1 4202496 306395 0 0 0 165000 1171 0 0 25 0 1 0 121446628 1256943616 306282 1992294400 134512640 135752675 4289338304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22400/statm: 306871 306282 146 303 0 306566 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 1227484

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 22456
/proc/meminfo: memFree=592780/2059040 swapFree=4139944/4192956
[pid=22400] ppid=22398 vsize=1262332 CPUtime=1721.69
/proc/22400/stat : 22400 (wbo1.4b) R 22398 22400 22004 0 -1 4202496 315094 0 0 0 170961 1208 0 0 25 0 1 0 121446628 1292627968 314981 1992294400 134512640 135752675 4289338304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22400/statm: 315583 314981 146 303 0 315278 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 1262332

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 22456
/proc/meminfo: memFree=551984/2059040 swapFree=4139944/4192956
[pid=22400] ppid=22398 vsize=1301668 CPUtime=1781.67
/proc/22400/stat : 22400 (wbo1.4b) R 22398 22400 22004 0 -1 4202496 324948 0 0 0 176923 1244 0 0 25 0 1 0 121446628 1332908032 324835 1992294400 134512640 135752675 4289338304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22400/statm: 325417 324835 146 303 0 325112 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 1301668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 22458
/proc/meminfo: memFree=542064/2059040 swapFree=4139944/4192956
[pid=22400] ppid=22398 vsize=1311360 CPUtime=1800.07
/proc/22400/stat : 22400 (wbo1.4b) R 22398 22400 22004 0 -1 4202496 327354 0 0 0 178753 1254 0 0 25 0 1 0 121446628 1342832640 327241 1992294400 134512640 135752675 4289338304 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22400/statm: 327840 327241 146 303 0 327535 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1311360

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

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

[startup+1800.81 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 22458
/proc/meminfo: memFree=542064/2059040 swapFree=4139944/4192956
[pid=22400] ppid=22398 vsize=0 CPUtime=1800.17
/proc/22400/stat : 22400 (wbo1.4b) R 22398 22400 22004 0 -1 4203524 327354 0 0 0 178753 1264 0 0 25 0 1 0 121446628 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/22400/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.84
CPU time (s): 1800.21
CPU user time (s): 1787.54
CPU system time (s): 12.6711
CPU usage (%): 99.9651
Max. virtual memory (cumulated for all children) (KiB): 1311360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.54
system time used= 12.6711
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 327354
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= 1632

runsolver used 2.98555 second user time and 8.50071 second system time

The end

Launcher Data 

Begin job on node007 at 2010-06-25 11:33:52
IDJOB=2680699
IDBENCH=2924
IDSOLVER=1190
FILE ID=node007/2680699-1277458432
PBS_JOBID= 11188150
Free space on /tmp= 62412 MiB

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

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

MD5SUM BENCH= a70b0edfadf87ffd0bc1b32400cae43b
RANDOM SEED=467018107

node007.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.264
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.52
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.264
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.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1855636 kB
Buffers:         26256 kB
Cached:          91264 kB
SwapCached:       5936 kB
Active:          20908 kB
Inactive:       110132 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1855636 kB
SwapTotal:     4192956 kB
SwapFree:      4139944 kB
Dirty:            2616 kB
Writeback:           0 kB
AnonPages:       12172 kB
Mapped:          11964 kB
Slab:            50252 kB
PageTables:       4176 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181736 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= 62408 MiB
End job on node007 at 2010-06-25 12:03:55