Trace number 2702340

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? (TO) 1800.23 1800.63

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_10_4.opb
MD5SUM431de611ddaca60ef9395e6cd3a99cf2
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark269.188
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 11
Optimality of the best value was proved NO
Number of variables100
Total number of constraints100
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 constraints100
Minimum length of a constraint11
Maximum length of a constraint19
Number of terms in the objective function 100
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1258
Sum of products size (including duplicates)2516
Number of different products1258
Sum of products size2516

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 - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2702340-1278548064.opb.
0.00/0.00	c Instance file HOME/instance-2702340-1278548064.opb
0.00/0.00	c File size is 89648 bytes.
0.00/0.01	c Highest Coefficient sum: 20
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Parsing time:          0.01         s                                      |
0.00/0.01	c |  Number Variables:      1358                                                |
0.00/0.01	c |  Number Clauses:        1358                                                |
0.00/0.01	c |  Number Cardinality:    0                                                   |
0.00/0.01	c |  Number PB Constraints: 1258                                                |
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 |    1358     2616     8906 |     5000        0    nan |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 99
0.00/0.01	o 99
0.00/0.01	c Elapsed CPU time: 0.018997 s	Remaining CPU time: 179.981 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |    1358     2617     9006 |     5000        0    nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 98
0.00/0.02	o 98
0.00/0.02	c Elapsed CPU time: 0.019996 s	Remaining CPU time: 179.98 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |    1358     2618     9106 |     5000        0    nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 97
0.00/0.02	o 97
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 |         0 |    1358     2619     9206 |     5000        0    nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 96
0.00/0.02	o 96
0.00/0.02	c Elapsed CPU time: 0.022996 s	Remaining CPU time: 179.977 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |    1358     2620     9306 |     5000        0    nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 95
0.00/0.02	o 95
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 |         0 |    1358     2621     9406 |     5000        0    nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 94
0.00/0.02	o 94
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 |         0 |    1358     2622     9506 |     5000        0    nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 93
0.00/0.02	o 93
0.00/0.02	c Elapsed CPU time: 0.025996 s	Remaining CPU time: 179.974 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |    1358     2623     9606 |     5000        0    nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 63
0.00/0.02	o 63
0.00/0.02	c Elapsed CPU time: 0.026995 s	Remaining CPU time: 179.973 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |    1358     2624     9706 |     5000        0    nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 62
0.00/0.02	o 62
0.00/0.02	c Elapsed CPU time: 0.027995 s	Remaining CPU time: 179.972 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |    1358     2625     9806 |     5000        0    nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 61
0.00/0.02	o 61
0.00/0.02	c Elapsed CPU time: 0.029995 s	Remaining CPU time: 179.97 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |    1358     2626     9906 |     5000        0    nan |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c New solution: 60
0.00/0.03	o 60
0.00/0.03	c Elapsed CPU time: 0.030995 s	Remaining CPU time: 179.969 s
0.00/0.03	c ===============================================================================
0.00/0.03	c |         1 |    1358     2627    10006 |     5000        1     61 |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c New solution: 15
0.00/0.03	o 15
0.00/0.03	c Elapsed CPU time: 0.031995 s	Remaining CPU time: 179.968 s
0.00/0.03	c ===============================================================================
0.00/0.03	c |         1 |    1358     2628    10106 |     5000        1     61 |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c New solution: 14
0.00/0.03	o 14
0.00/0.03	c Elapsed CPU time: 0.034994 s	Remaining CPU time: 179.965 s
0.00/0.03	c ===============================================================================
0.00/0.03	c |        33 |    1358     2629    10206 |     5000       33     49 |  0.000 % |
0.03/0.04	c |       133 |    1358     2629    10206 |     5500      133     58 |  0.001 % |
0.03/0.06	c |       284 |    1358     2629    10206 |     6050      284     58 |  0.001 % |
0.03/0.08	c |       509 |    1358     2629    10206 |     6655      509     54 |  0.001 % |
0.09/0.12	c |       850 |    1358     2629    10206 |     7320      850     52 |  0.001 % |
0.09/0.17	c |      1357 |    1358     2629    10206 |     8052     1357     49 |  0.000 % |
0.19/0.26	c |      2117 |    1358     2629    10206 |     8857     2117     51 |  0.001 % |
0.29/0.36	c ===============================================================================
0.29/0.36	c New solution: 13
0.29/0.36	o 13
0.29/0.36	c Elapsed CPU time: 0.356945 s	Remaining CPU time: 179.643 s
0.29/0.36	c ===============================================================================
0.29/0.36	c |      3020 |    1358     2630    10306 |     5000     3020     49 |  0.001 % |
0.29/0.38	c |      3121 |    1358     2630    10306 |     5500     3121     49 |  0.001 % |
0.39/0.40	c |      3271 |    1358     2630    10306 |     6050     3271     49 |  0.001 % |
0.39/0.43	c |      3497 |    1358     2630    10306 |     6655     3497     49 |  0.001 % |
0.39/0.47	c |      3834 |    1358     2630    10306 |     7320     3834     49 |  0.001 % |
0.49/0.54	c |      4343 |    1358     2630    10306 |     8052     4343     49 |  0.001 % |
0.59/0.64	c |      5103 |    1358     2630    10306 |     8857     5103     48 |  0.000 % |
0.79/0.80	c |      6242 |    1358     2630    10306 |     9743     6242     47 |  0.001 % |
1.00/1.04	c |      7954 |    1358     2630    10306 |    10717     7954     50 |  0.001 % |
1.39/1.44	c |     10517 |    1358     2630    10306 |    11789    10517     48 |  0.001 % |
2.10/2.11	c |     14362 |    1358     2630    10306 |    12968     7980     55 |  0.001 % |
3.09/3.18	c |     20128 |    1358     2630    10306 |    14265    13746     56 |  0.001 % |
4.89/4.95	c |     28779 |    1358     2630    10306 |    15692    14838     54 |  0.001 % |
7.49/7.52	c |     41754 |    1358     2630    10306 |    17261    11161     58 |  0.001 % |
11.49/11.59	c |     61215 |    1358     2630    10306 |    18987    12473     55 |  0.001 % |
17.89/17.95	c |     90408 |    1358     2630    10306 |    20886    11800     53 |  0.001 % |
29.19/29.25	c |    134197 |    1358     2630    10306 |    22974    11993     53 |  0.001 % |
46.68/46.71	c |    199882 |    1358     2630    10306 |    25272    14912     51 |  0.001 % |
72.37/72.45	c ===============================================================================
72.37/72.45	c New solution: 12
72.37/72.45	o 12
72.37/72.45	c Elapsed CPU time: 71.5611 s	Remaining CPU time: 108.439 s
72.37/72.45	c ===============================================================================
72.37/72.45	c |    283052 |    1358     2631    10406 |     5000    25554     53 |  0.001 % |
72.59/72.61	c |    283154 |    1358     2631    10406 |     5500     2887     45 |  0.001 % |
72.59/72.63	c |    283304 |    1358     2631    10406 |     6050     3037     45 |  0.001 % |
72.59/72.66	c |    283530 |    1358     2631    10406 |     6655     3263     45 |  0.001 % |
72.68/72.71	c |    283868 |    1358     2631    10406 |     7320     3601     45 |  0.001 % |
72.68/72.77	c |    284374 |    1358     2631    10406 |     8052     4107     46 |  0.001 % |
72.78/72.89	c |    285133 |    1358     2631    10406 |     8857     4866     45 |  0.001 % |
72.98/73.06	c |    286272 |    1358     2631    10406 |     9743     6005     44 |  0.001 % |
73.28/73.30	c |    287980 |    1358     2631    10406 |    10717     7713     44 |  0.001 % |
73.58/73.66	c |    290542 |    1358     2631    10406 |    11789    10275     46 |  0.001 % |
74.27/74.31	c |    294388 |    1358     2631    10406 |    12968     7815     47 |  0.001 % |
75.28/75.31	c |    300157 |    1358     2631    10406 |    14265    13584     47 |  0.001 % |
77.07/77.11	c |    308806 |    1358     2631    10406 |    15692    14669     43 |  0.001 % |
79.77/79.82	c |    321780 |    1358     2631    10406 |    17261    11142     51 |  0.001 % |
84.17/84.23	c |    341244 |    1358     2631    10406 |    18987    12563     52 |  0.001 % |
91.18/91.29	c |    370436 |    1358     2631    10406 |    20886    11995     52 |  0.001 % |
102.18/102.24	c |    414226 |    1358     2631    10406 |    22974    12296     49 |  0.001 % |
120.46/120.57	c |    479910 |    1358     2631    10406 |    25272    15708     47 |  0.001 % |
148.56/148.62	c |    578437 |    1358     2631    10406 |    27799    25248     45 |  0.001 % |
182.15/182.28	c There are 0 assigned variables. 0 in cost function.
182.95/183.02	c core #1
182.95/183.02	c core #2
182.95/183.02	c core #3
182.95/183.02	c core #4
182.95/183.02	c ============================[ Search Statistics ]==============================
182.95/183.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.95/183.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.95/183.02	c ===============================================================================
182.95/183.02	c |         0 |     786     2736     7829 |     5000        0    nan |  0.000 % |
182.95/183.03	c ===============================================================================
182.95/183.04	c core #5
182.95/183.04	c ============================[ Search Statistics ]==============================
182.95/183.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.95/183.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.95/183.04	c ===============================================================================
182.95/183.04	c |         0 |    1297     2737     9631 |     5000        0    nan |  0.000 % |
182.95/183.06	c |       101 |    1297     2737     9631 |     5500      101     70 | 12.366 % |
183.05/183.10	c ===============================================================================
183.05/183.11	c core #6
183.05/183.11	c ============================[ Search Statistics ]==============================
183.05/183.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.05/183.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.05/183.11	c ===============================================================================
183.05/183.11	c |         0 |    1563     2738    11007 |     5000        0    nan |  0.000 % |
183.05/183.14	c |       102 |    1563     2738    11007 |     5500      102     92 |  0.699 % |
183.05/183.17	c |       254 |    1563     2738    11007 |     6050      254     96 |  0.699 % |
183.15/183.23	c |       481 |    1563     2738    11007 |     6655      481    118 |  0.699 % |
183.25/183.33	c |       819 |    1563     2738    11007 |     7320      819    127 |  0.699 % |
183.35/183.49	c |      1330 |    1563     2738    11007 |     8052     1330    127 |  0.699 % |
183.66/183.74	c |      2090 |    1563     2738    11007 |     8857     2090    121 |  0.699 % |
184.05/184.16	c |      3235 |    1563     2738    11007 |     9743     3235    118 |  0.699 % |
184.76/184.89	c |      4944 |    1563     2738    11007 |    10717     4944    105 |  0.699 % |
185.86/185.96	c |      7508 |    1563     2738    11007 |    11789     7508     97 |  0.699 % |
188.15/188.21	c |     11360 |    1563     2738    11007 |    12968    11360    100 |  0.699 % |
191.25/191.32	c |     17126 |    1563     2738    11007 |    14265    10511     97 |  0.699 % |
197.45/197.54	c |     25781 |    1563     2738    11007 |    15692    11826    111 |  0.699 % |
199.95/200.04	c ===============================================================================
200.35/200.48	c core #7
200.35/200.48	c ============================[ Search Statistics ]==============================
200.35/200.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
200.35/200.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
200.35/200.48	c ===============================================================================
200.35/200.48	c |         0 |    1674     2739    11238 |     5000        0    nan |  0.000 % |
200.45/200.52	c |       101 |    1674     2739    11238 |     5500      101    108 |  0.001 % |
200.45/200.55	c |       251 |    1674     2739    11238 |     6050      251     93 |  0.000 % |
200.55/200.60	c |       476 |    1674     2739    11238 |     6655      476     95 |  0.000 % |
200.55/200.68	c |       813 |    1674     2739    11238 |     7320      813     98 |  0.000 % |
200.75/200.80	c |      1320 |    1674     2739    11238 |     8052     1320    106 |  0.000 % |
200.94/201.03	c |      2079 |    1674     2739    11238 |     8857     2079    109 |  0.000 % |
201.35/201.41	c |      3219 |    1674     2739    11238 |     9743     3219    111 |  0.000 % |
202.05/202.15	c |      4929 |    1674     2739    11238 |    10717     4929    141 |  0.000 % |
203.55/203.64	c |      7493 |    1674     2739    11238 |    11789     7493    165 |  0.000 % |
205.65/205.76	c |     11337 |    1674     2739    11238 |    12968    11337    164 |  0.000 % |
210.54/210.61	c |     17103 |    1674     2739    11238 |    14265    10308    192 |  0.000 % |
218.05/218.15	c |     25753 |    1674     2739    11238 |    15692    11614    193 |  0.000 % |
230.05/230.15	c |     38728 |    1674     2739    11238 |    17261     8460    187 |  0.000 % |
249.94/250.08	c |     58190 |    1674     2739    11238 |    18987    10328    182 |  0.000 % |
278.43/278.55	c |     87382 |    1674     2739    11238 |    20886    10434    213 |  0.000 % |
322.72/322.89	c |    131172 |    1674     2739    11238 |    22974    11609    188 |  0.000 % |
401.31/401.50	c |    196859 |    1674     2739    11238 |    25272    18781    174 |  0.000 % |
545.57/545.74	c |    295387 |    1674     2739    11238 |    27799    14483    147 |  0.000 % |
742.53/742.71	c |    443176 |    1674     2739    11238 |    30579    27919    183 |  0.000 % |
1102.45/1102.73	c |    664861 |    1661     2739    11238 |    33637    21293    174 |  0.777 % |
1125.05/1125.32	c ===============================================================================
1143.94/1144.24	c core #8
1143.94/1144.24	c ============================[ Search Statistics ]==============================
1143.94/1144.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1143.94/1144.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1143.94/1144.24	c ===============================================================================
1143.94/1144.24	c |         0 |    1774     2743    11447 |     5000        0    nan |  0.000 % |
1144.14/1144.40	c |       100 |    1774     2743    11447 |     5500      100    127 |  0.000 % |
1144.14/1144.44	c |       251 |    1774     2743    11447 |     6050      251     79 |  0.000 % |
1144.14/1144.50	c |       476 |    1774     2743    11447 |     6655      476     83 |  0.001 % |
1144.24/1144.58	c |       814 |    1774     2743    11447 |     7320      814    113 |  0.000 % |
1144.44/1144.70	c |      1320 |    1774     2743    11447 |     8052     1320    110 |  0.000 % |
1144.64/1144.93	c |      2084 |    1774     2743    11447 |     8857     2084    115 |  0.000 % |
1145.04/1145.33	c |      3224 |    1774     2743    11447 |     9743     3224    143 |  0.000 % |
1145.74/1146.06	c |      4934 |    1774     2743    11447 |    10717     4934    159 |  0.000 % |
1147.24/1147.50	c |      7502 |    1774     2743    11447 |    11789     7502    175 |  0.000 % |
1150.35/1150.62	c |     11349 |    1774     2743    11447 |    12968    11349    195 |  0.000 % |
1155.14/1155.43	c |     17124 |    1774     2743    11447 |    14265    10453    213 |  0.000 % |
1160.94/1161.22	c |     25773 |    1774     2743    11447 |    15692    11730    177 |  0.000 % |
1169.33/1169.64	c |     38749 |    1774     2743    11447 |    17261     8499    143 |  0.000 % |
1183.93/1184.22	c |     58210 |    1774     2743    11447 |    18987    10046    165 |  0.000 % |
1207.83/1208.15	c |     87405 |    1774     2743    11447 |    20886     9905    163 |  0.000 % |
1246.62/1246.94	c |    131194 |    1774     2743    11447 |    22974    21448    187 |  0.000 % |
1321.92/1322.22	c |    196879 |    1774     2743    11447 |    25272    16507    210 |  0.000 % |
1459.38/1459.77	c |    295409 |    1774     2743    11447 |    27799    24598    211 |  0.000 % |
1679.02/1679.43	c |    443208 |    1774     2743    11447 |    30579    26619    223 |  0.000 % |

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-2702340-1278548064/watcher-2702340-1278548064 -o /tmp/evaluation-result-2702340-1278548064/solver-2702340-1278548064 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702340-1278548064.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.82 3/106 26677
/proc/meminfo: memFree=1613788/2059040 swapFree=4139744/4192956
[pid=26677] ppid=26675 vsize=2832 CPUtime=0
/proc/26677/stat : 26677 (wbo1.4b) R 26675 26677 26293 0 -1 4202496 333 0 0 0 0 0 0 0 18 0 1 0 23013942 2899968 251 1992294400 134512640 135751879 4291598240 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26677/statm: 708 251 145 303 0 381 0

[startup+0.0373581 s]
/proc/loadavg: 0.92 0.98 0.82 3/106 26677
/proc/meminfo: memFree=1613788/2059040 swapFree=4139744/4192956
[pid=26677] ppid=26675 vsize=3032 CPUtime=0.03
/proc/26677/stat : 26677 (wbo1.4b) R 26675 26677 26293 0 -1 4202496 454 0 0 0 3 0 0 0 20 0 1 0 23013942 3104768 337 1992294400 134512640 135751879 4291598240 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26677/statm: 758 337 146 303 0 453 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 3032

[startup+0.100345 s]
/proc/loadavg: 0.92 0.98 0.82 3/106 26677
/proc/meminfo: memFree=1613788/2059040 swapFree=4139744/4192956
[pid=26677] ppid=26675 vsize=3296 CPUtime=0.09
/proc/26677/stat : 26677 (wbo1.4b) R 26675 26677 26293 0 -1 4202496 490 0 0 0 9 0 0 0 20 0 1 0 23013942 3375104 373 1992294400 134512640 135751879 4291598240 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26677/statm: 824 373 147 303 0 519 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3296

[startup+0.300356 s]
/proc/loadavg: 0.92 0.98 0.82 3/106 26677
/proc/meminfo: memFree=1613788/2059040 swapFree=4139744/4192956
[pid=26677] ppid=26675 vsize=3820 CPUtime=0.29
/proc/26677/stat : 26677 (wbo1.4b) R 26675 26677 26293 0 -1 4202496 639 0 0 0 28 1 0 0 20 0 1 0 23013942 3911680 522 1992294400 134512640 135751879 4291598240 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26677/statm: 955 522 147 303 0 650 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3820

[startup+0.700382 s]
/proc/loadavg: 0.92 0.98 0.82 3/106 26677
/proc/meminfo: memFree=1613788/2059040 swapFree=4139744/4192956
[pid=26677] ppid=26675 vsize=4744 CPUtime=0.69
/proc/26677/stat : 26677 (wbo1.4b) R 26675 26677 26293 0 -1 4202496 874 0 0 0 68 1 0 0 21 0 1 0 23013942 4857856 757 1992294400 134512640 135751879 4291598240 18446744073709551615 134611026 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26677/statm: 1186 757 147 303 0 881 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4744

[startup+1.50043 s]
/proc/loadavg: 0.92 0.98 0.82 2/107 26678
/proc/meminfo: memFree=1610804/2059040 swapFree=4139744/4192956
[pid=26677] ppid=26675 vsize=6592 CPUtime=1.49
/proc/26677/stat : 26677 (wbo1.4b) R 26675 26677 26293 0 -1 4202496 1324 0 0 0 146 3 0 0 23 0 1 0 23013942 6750208 1207 1992294400 134512640 135751879 4291598240 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26677/statm: 1648 1207 147 303 0 1343 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6592

[startup+3.10053 s]
/proc/loadavg: 0.92 0.98 0.82 2/107 26678
/proc/meminfo: memFree=1608448/2059040 swapFree=4139744/4192956
[pid=26677] ppid=26675 vsize=9640 CPUtime=3.09
/proc/26677/stat : 26677 (wbo1.4b) R 26675 26677 26293 0 -1 4202496 2105 0 0 0 304 5 0 0 25 0 1 0 23013942 9871360 1988 1992294400 134512640 135751879 4291598240 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26677/statm: 2410 1988 148 303 0 2105 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9640

[startup+6.30173 s]
/proc/loadavg: 0.93 0.98 0.82 2/107 26678
/proc/meminfo: memFree=1602488/2059040 swapFree=4139744/4192956
[pid=26677] ppid=26675 vsize=15180 CPUtime=6.29
/proc/26677/stat : 26677 (wbo1.4b) R 26675 26677 26293 0 -1 4202496 3487 0 0 0 619 10 0 0 25 0 1 0 23013942 15544320 3370 1992294400 134512640 135751879 4291598240 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26677/statm: 3795 3370 148 303 0 3490 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15180

[startup+12.7011 s]
/proc/loadavg: 0.93 0.98 0.82 2/107 26680
/proc/meminfo: memFree=1591204/2059040 swapFree=4139744/4192956
[pid=26677] ppid=26675 vsize=25932 CPUtime=12.68
/proc/26677/stat : 26677 (wbo1.4b) R 26675 26677 26293 0 -1 4202496 6148 0 0 0 1251 17 0 0 25 0 1 0 23013942 26554368 6031 1992294400 134512640 135751879 4291598240 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26677/statm: 6483 6031 148 303 0 6178 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 25932

[startup+25.5019 s]
/proc/loadavg: 0.95 0.98 0.82 2/107 26680
/proc/meminfo: memFree=1572364/2059040 swapFree=4139744/4192956
[pid=26677] ppid=26675 vsize=43880 CPUtime=25.49
/proc/26677/stat : 26677 (wbo1.4b) R 26675 26677 26293 0 -1 4202496 10653 0 0 0 2516 33 0 0 25 0 1 0 23013942 44933120 10536 1992294400 134512640 135751879 4291598240 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26677/statm: 10970 10536 148 303 0 10665 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 43880

[startup+51.1015 s]
/proc/loadavg: 0.96 0.98 0.82 2/107 26680
/proc/meminfo: memFree=1541364/2059040 swapFree=4139744/4192956
[pid=26677] ppid=26675 vsize=75364 CPUtime=51.08
/proc/26677/stat : 26677 (wbo1.4b) R 26675 26677 26293 0 -1 4202496 18500 0 0 0 5044 64 0 0 25 0 1 0 23013942 77172736 18383 1992294400 134512640 135751879 4291598240 18446744073709551615 134610762 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26677/statm: 18841 18383 148 303 0 18536 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 75364

[startup+102.309 s]
/proc/loadavg: 0.98 0.98 0.83 2/107 26682
/proc/meminfo: memFree=1478000/2059040 swapFree=4139744/4192956
[pid=26677] ppid=26675 vsize=138092 CPUtime=102.27
/proc/26677/stat : 26677 (wbo1.4b) R 26675 26677 26293 0 -1 4202496 34162 0 0 0 10095 132 0 0 25 0 1 0 23013942 141406208 34045 1992294400 134512640 135751879 4291598240 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26677/statm: 34523 34045 148 303 0 34218 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 138092

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.83 2/107 26684
/proc/meminfo: memFree=1412404/2059040 swapFree=4139744/4192956
[pid=26677] ppid=26675 vsize=203952 CPUtime=162.26
/proc/26677/stat : 26677 (wbo1.4b) R 26675 26677 26293 0 -1 4202496 50615 0 0 0 16026 200 0 0 25 0 1 0 23013942 208846848 50498 1992294400 134512640 135751879 4291598240 18446744073709551615 134610847 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26677/statm: 50988 50498 148 303 0 50683 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 203952

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.84 2/107 26684
/proc/meminfo: memFree=1365904/2059040 swapFree=4139744/4192956
[pid=26677] ppid=26675 vsize=249628 CPUtime=222.24
/proc/26677/stat : 26677 (wbo1.4b) R 26675 26677 26293 0 -1 4202496 62135 0 0 0 21974 250 0 0 25 0 1 0 23013942 255619072 61990 1992294400 134512640 135751879 4291598240 18446744073709551615 134616489 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26677/statm: 62407 61990 151 303 0 62102 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 249628

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.85 2/107 26686
/proc/meminfo: memFree=1310600/2059040 swapFree=4139744/4192956
[pid=26677] ppid=26675 vsize=305388 CPUtime=282.23
/proc/26677/stat : 26677 (wbo1.4b) R 26675 26677 26293 0 -1 4202496 76044 0 0 0 27938 285 0 0 25 0 1 0 23013942 312717312 75899 1992294400 134512640 135751879 4291598240 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26677/statm: 76347 75899 151 303 0 76042 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 305388

[startup+342.301 s]
/proc/loadavg: 1.05 1.00 0.86 2/107 26691
/proc/meminfo: memFree=1259512/2059040 swapFree=4139744/4192956
[pid=26677] ppid=26675 vsize=355252 CPUtime=342.22
/proc/26677/stat : 26677 (wbo1.4b) R 26675 26677 26293 0 -1 4202496 88488 0 0 0 33906 316 0 0 25 0 1 0 23013942 363778048 88343 1992294400 134512640 135751879 4291598240 18446744073709551615 134616320 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26677/statm: 88813 88343 151 303 0 88508 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 355252

[startup+402.3 s]
/proc/loadavg: 1.02 1.00 0.86 2/107 26693
/proc/meminfo: memFree=1221816/2059040 swapFree=4139744/4192956
[pid=26677] ppid=26675 vsize=393136 CPUtime=402.2
/proc/26677/stat : 26677 (wbo1.4b) R 26675 26677 26293 0 -1 4202496 97951 0 0 0 39879 341 0 0 25 0 1 0 23013942 402571264 97806 1992294400 134512640 135751879 4291598240 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26677/statm: 98284 97806 151 303 0 97979 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 393136

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.87 2/107 26695
/proc/meminfo: memFree=1187716/2059040 swapFree=4139744/4192956
[pid=26677] ppid=26675 vsize=427264 CPUtime=462.19
/proc/26677/stat : 26677 (wbo1.4b) R 26675 26677 26293 0 -1 4202496 106408 0 0 0 45855 364 0 0 25 0 1 0 23013942 437518336 106263 1992294400 134512640 135751879 4291598240 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26677/statm: 106816 106263 151 303 0 106511 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 427264

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.87 2/107 26695
/proc/meminfo: memFree=1151136/2059040 swapFree=4139744/4192956
[pid=26677] ppid=26675 vsize=464064 CPUtime=522.18
/proc/26677/stat : 26677 (wbo1.4b) R 26675 26677 26293 0 -1 4202496 115597 0 0 0 51826 392 0 0 25 0 1 0 23013942 475201536 115452 1992294400 134512640 135751879 4291598240 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26677/statm: 116016 115452 151 303 0 115711 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 464064

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.88 2/107 26697
/proc/meminfo: memFree=1113564/2059040 swapFree=4139744/4192956
[pid=26677] ppid=26675 vsize=501424 CPUtime=582.17
/proc/26677/stat : 26677 (wbo1.4b) R 26675 26677 26293 0 -1 4202496 124902 0 0 0 57796 421 0 0 25 0 1 0 23013942 513458176 124757 1992294400 134512640 135751879 4291598240 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26677/statm: 125356 124757 151 303 0 125051 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 501424

[startup+642.3 s]
/proc/loadavg: 1.00 1.00 0.89 2/107 26699
/proc/meminfo: memFree=1077108/2059040 swapFree=4139744/4192956
[pid=26677] ppid=26675 vsize=537652 CPUtime=642.16
/proc/26677/stat : 26677 (wbo1.4b) R 26675 26677 26293 0 -1 4202496 133956 0 0 0 63768 448 0 0 25 0 1 0 23013942 550555648 133811 1992294400 134512640 135751879 4291598240 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26677/statm: 134413 133811 151 303 0 134108 0
Current children cumulated CPU time (s) 642.16
Current children cumulated vsize (KiB) 537652

[startup+702.301 s]

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

[startup+882.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 26705
/proc/meminfo: memFree=935996/2059040 swapFree=4139744/4192956
[pid=26677] ppid=26675 vsize=678948 CPUtime=882.1
/proc/26677/stat : 26677 (wbo1.4b) R 26675 26677 26293 0 -1 4202496 169155 0 0 0 87652 558 0 0 25 0 1 0 23013942 695242752 169010 1992294400 134512640 135751879 4291598240 18446744073709551615 134608267 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26677/statm: 169737 169010 151 303 0 169432 0
Current children cumulated CPU time (s) 882.1
Current children cumulated vsize (KiB) 678948

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 26707
/proc/meminfo: memFree=902888/2059040 swapFree=4139744/4192956
[pid=26677] ppid=26675 vsize=712244 CPUtime=942.09
/proc/26677/stat : 26677 (wbo1.4b) R 26675 26677 26293 0 -1 4202496 177480 0 0 0 93628 581 0 0 25 0 1 0 23013942 729337856 177335 1992294400 134512640 135751879 4291598240 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26677/statm: 178061 177335 151 303 0 177756 0
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (KiB) 712244

[startup+1002.3 s]
/proc/loadavg: 1.04 1.01 0.91 2/107 26709
/proc/meminfo: memFree=872632/2059040 swapFree=4139744/4192956
[pid=26677] ppid=26675 vsize=742252 CPUtime=1002.07
/proc/26677/stat : 26677 (wbo1.4b) R 26675 26677 26293 0 -1 4202496 184964 0 0 0 99604 603 0 0 25 0 1 0 23013942 760066048 184819 1992294400 134512640 135751879 4291598240 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26677/statm: 185563 184819 151 303 0 185258 0
Current children cumulated CPU time (s) 1002.07
Current children cumulated vsize (KiB) 742252

[startup+1062.3 s]
/proc/loadavg: 1.05 1.02 0.92 2/107 26711
/proc/meminfo: memFree=843740/2059040 swapFree=4139744/4192956
[pid=26677] ppid=26675 vsize=771512 CPUtime=1062.06
/proc/26677/stat : 26677 (wbo1.4b) R 26675 26677 26293 0 -1 4202496 192240 0 0 0 105584 622 0 0 25 0 1 0 23013942 790028288 192095 1992294400 134512640 135751879 4291598240 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26677/statm: 192878 192095 151 303 0 192573 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 771512

[startup+1122.3 s]
/proc/loadavg: 1.02 1.01 0.92 2/107 26711
/proc/meminfo: memFree=807656/2059040 swapFree=4139744/4192956
[pid=26677] ppid=26675 vsize=807476 CPUtime=1122.05
/proc/26677/stat : 26677 (wbo1.4b) R 26675 26677 26293 0 -1 4202496 201233 0 0 0 111559 646 0 0 25 0 1 0 23013942 826855424 201088 1992294400 134512640 135751879 4291598240 18446744073709551615 134611016 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26677/statm: 201869 201088 151 303 0 201564 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 807476

[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 0.92 2/107 26713
/proc/meminfo: memFree=783600/2059040 swapFree=4139744/4192956
[pid=26677] ppid=26675 vsize=829800 CPUtime=1182.03
/proc/26677/stat : 26677 (wbo1.4b) R 26675 26677 26293 0 -1 4202496 207154 0 0 0 117532 671 0 0 25 0 1 0 23013942 849715200 207009 1992294400 134512640 135751879 4291598240 18446744073709551615 134608527 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26677/statm: 207450 207009 151 303 0 207145 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 829800

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 26715
/proc/meminfo: memFree=749624/2059040 swapFree=4139744/4192956
[pid=26677] ppid=26675 vsize=864196 CPUtime=1242.02
/proc/26677/stat : 26677 (wbo1.4b) R 26675 26677 26293 0 -1 4202496 215751 0 0 0 123499 703 0 0 25 0 1 0 23013942 884936704 215606 1992294400 134512640 135751879 4291598240 18446744073709551615 135204161 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26677/statm: 216049 215606 151 303 0 215744 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 864196

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 26717
/proc/meminfo: memFree=700520/2059040 swapFree=4139744/4192956
[pid=26677] ppid=26675 vsize=912756 CPUtime=1302.01
/proc/26677/stat : 26677 (wbo1.4b) R 26675 26677 26293 0 -1 4202496 227869 0 0 0 129467 734 0 0 25 0 1 0 23013942 934662144 227724 1992294400 134512640 135751879 4291598240 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26677/statm: 228189 227724 151 303 0 227884 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 912756

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 26719
/proc/meminfo: memFree=656376/2059040 swapFree=4139744/4192956
[pid=26677] ppid=26675 vsize=957284 CPUtime=1362
/proc/26677/stat : 26677 (wbo1.4b) R 26675 26677 26293 0 -1 4202496 238993 0 0 0 135439 761 0 0 25 0 1 0 23013942 980258816 238848 1992294400 134512640 135751879 4291598240 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26677/statm: 239321 238848 151 303 0 239016 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 957284

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 26719
/proc/meminfo: memFree=619176/2059040 swapFree=4139744/4192956
[pid=26677] ppid=26675 vsize=994140 CPUtime=1421.99
/proc/26677/stat : 26677 (wbo1.4b) R 26675 26677 26293 0 -1 4202496 248172 0 0 0 141413 786 0 0 25 0 1 0 23013942 1017999360 248027 1992294400 134512640 135751879 4291598240 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26677/statm: 248535 248027 151 303 0 248230 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 994140

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 26721
/proc/meminfo: memFree=571188/2059040 swapFree=4139744/4192956
[pid=26677] ppid=26675 vsize=1042600 CPUtime=1481.97
/proc/26677/stat : 26677 (wbo1.4b) R 26675 26677 26293 0 -1 4202496 260237 0 0 0 147388 809 0 0 25 0 1 0 23013942 1067622400 260092 1992294400 134512640 135751879 4291598240 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26677/statm: 260650 260092 151 303 0 260345 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 1042600

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 26723
/proc/meminfo: memFree=520720/2059040 swapFree=4139744/4192956
[pid=26677] ppid=26675 vsize=1092652 CPUtime=1541.96
/proc/26677/stat : 26677 (wbo1.4b) R 26675 26677 26293 0 -1 4202496 272749 0 0 0 153360 836 0 0 25 0 1 0 23013942 1118875648 272604 1992294400 134512640 135751879 4291598240 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26677/statm: 273163 272604 151 303 0 272858 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 1092652

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 26725
/proc/meminfo: memFree=480420/2059040 swapFree=4139744/4192956
[pid=26677] ppid=26675 vsize=1133628 CPUtime=1601.94
/proc/26677/stat : 26677 (wbo1.4b) R 26675 26677 26293 0 -1 4202496 282998 0 0 0 159338 856 0 0 25 0 1 0 23013942 1160835072 282853 1992294400 134512640 135751879 4291598240 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26677/statm: 283407 282853 151 303 0 283102 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 1133628

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 26727
/proc/meminfo: memFree=433548/2059040 swapFree=4139744/4192956
[pid=26677] ppid=26675 vsize=1179768 CPUtime=1661.93
/proc/26677/stat : 26677 (wbo1.4b) R 26675 26677 26293 0 -1 4202496 294494 0 0 0 165309 884 0 0 25 0 1 0 23013942 1208082432 294349 1992294400 134512640 135751879 4291598240 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26677/statm: 294942 294349 151 303 0 294637 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 1179768

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 26727
/proc/meminfo: memFree=387172/2059040 swapFree=4139744/4192956
[pid=26677] ppid=26675 vsize=1227460 CPUtime=1721.91
/proc/26677/stat : 26677 (wbo1.4b) R 26675 26677 26293 0 -1 4202496 306410 0 0 0 171281 910 0 0 25 0 1 0 23013942 1256919040 306265 1992294400 134512640 135751879 4291598240 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26677/statm: 306865 306265 151 303 0 306560 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 1227460

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 26729
/proc/meminfo: memFree=326164/2059040 swapFree=4139744/4192956
[pid=26677] ppid=26675 vsize=1286740 CPUtime=1781.91
/proc/26677/stat : 26677 (wbo1.4b) R 26675 26677 26293 0 -1 4202496 321229 0 0 0 177253 938 0 0 25 0 1 0 23013942 1317621760 321084 1992294400 134512640 135751879 4291598240 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26677/statm: 321685 321084 151 303 0 321380 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 1286740



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 26729
/proc/meminfo: memFree=311160/2059040 swapFree=4139744/4192956
[pid=26677] ppid=26675 vsize=1301520 CPUtime=1800.1
/proc/26677/stat : 26677 (wbo1.4b) R 26675 26677 26293 0 -1 4202496 324925 0 0 0 179065 945 0 0 25 0 1 0 23013942 1332756480 324780 1992294400 134512640 135751879 4291598240 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26677/statm: 325380 324780 151 303 0 325075 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 1301520

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 0.92 2/108 26730
/proc/meminfo: memFree=1424052/2059040 swapFree=4139744/4192956
[pid=26677] ppid=26675 vsize=0 CPUtime=1800.21
/proc/26677/stat : 26677 (wbo1.4b) R 26675 26677 26293 0 -1 4203524 324925 0 0 0 179065 956 0 0 25 0 1 0 23013942 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/26677/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.63
CPU time (s): 1800.23
CPU user time (s): 1790.66
CPU system time (s): 9.57654
CPU usage (%): 99.9782
Max. virtual memory (cumulated for all children) (KiB): 1301520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.66
system time used= 9.57654
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 324925
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= 4
involuntary context switches= 21713

runsolver used 2.98455 second user time and 8.50571 second system time

The end

Launcher Data 

Begin job on node039 at 2010-07-08 02:14:24
IDJOB=2702340
IDBENCH=48105
IDSOLVER=1161
FILE ID=node039/2702340-1278548064
PBS_JOBID= 11239500
Free space on /tmp= 62528 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_10_4.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702340-1278548064/watcher-2702340-1278548064 -o /tmp/evaluation-result-2702340-1278548064/solver-2702340-1278548064 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702340-1278548064.opb

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

MD5SUM BENCH= 431de611ddaca60ef9395e6cd3a99cf2
RANDOM SEED=1801330230

node039.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.242
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.48
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.242
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:       1614688 kB
Buffers:         59868 kB
Cached:         282880 kB
SwapCached:       7200 kB
Active:         135660 kB
Inactive:       221172 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1614688 kB
SwapTotal:     4192956 kB
SwapFree:      4139744 kB
Dirty:            2620 kB
Writeback:           0 kB
AnonPages:       11416 kB
Mapped:          11808 kB
Slab:            65476 kB
PageTables:       4168 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182836 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702340-1278548064.opb

Free space on /tmp at the end= 62524 MiB
End job on node039 at 2010-07-08 02:44:27