Trace number 2680498

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.06 1800.52

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_20.opb
MD5SUM6a25ee38adc43f783b18badd1224270c
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables13480
Total number of constraints26619
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 constraints26619
Minimum length of a constraint18
Maximum length of a constraint37
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 512
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2843
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100610
0.00/0.00	c Parsing opb file format. File HOME/instance-2680498-1277456601.opb.
0.00/0.00	c Instance file HOME/instance-2680498-1277456601.opb
0.00/0.00	c File size is 7804237 bytes.
1.29/1.32	c Highest Coefficient sum: 2843
1.29/1.32	c ============================[ Problem Statistics ]=============================
1.29/1.32	c |                                                                             |
1.29/1.32	c |  Parsing time:          1.30         s                                      |
1.29/1.32	c |  Number Variables:      13480                                               |
1.29/1.32	c |  Number Clauses:        0                                                   |
1.29/1.32	c |  Number Cardinality:    0                                                   |
1.29/1.32	c |  Number PB Constraints: 26619                                               |
1.29/1.34	c ============================[ Search Statistics ]==============================
1.29/1.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.29/1.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.29/1.34	c ===============================================================================
1.29/1.34	c |         0 |   13480    26619   916142 |     8873        0    nan |  0.000 % |
4.69/4.75	c |       100 |   13480    26619   916142 |     9760      100     33 |  0.000 % |
6.69/6.71	c |       250 |   13480    26619   916142 |    10736      250     31 |  0.000 % |
9.49/9.57	c |       476 |   13480    26619   916142 |    11809      476     29 |  0.000 % |
14.78/14.84	c |       816 |   13480    26619   916142 |    12990      816     31 |  0.000 % |
21.09/21.10	c |      1323 |   13480    26619   916142 |    14290     1323     32 |  0.000 % |
28.99/29.05	c |      2082 |   13480    26619   916142 |    15719     2082     33 |  0.000 % |
44.18/44.24	c |      3222 |   13480    26619   916142 |    17290     3222     38 |  0.000 % |
67.98/68.03	c |      4930 |   13480    26619   916142 |    19020     4930     42 |  0.000 % |
93.97/94.07	c |      7492 |   13480    26619   916142 |    20922     7492     42 |  0.000 % |
138.05/138.10	c |     11337 |   13480    26619   916142 |    23014    11337     40 |  0.000 % |
180.15/180.29	c There are 0 assigned variables. 0 in cost function.
182.04/182.15	c core #1
182.04/182.15	c 
182.04/182.15	c 
182.04/182.15	c Core size: 10	Core Weight: 1	Total Weight: 1
182.04/182.15	c
182.04/182.15	c
182.04/182.15	c core #2
182.04/182.15	c 
182.04/182.15	c 
182.04/182.15	c Core size: 12	Core Weight: 1	Total Weight: 2
182.04/182.15	c
182.04/182.15	c
182.04/182.15	c ============================[ Search Statistics ]==============================
182.04/182.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.04/182.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.04/182.15	c ===============================================================================
182.04/182.15	c |         0 |   13357    26646   916165 |     8882        0    nan |  0.000 % |
182.04/182.17	c ===============================================================================
182.75/182.85	c core #3
182.75/182.85	c 
182.75/182.85	c 
182.75/182.85	c Core size: 16	Core Weight: 1	Total Weight: 3
182.75/182.85	c
182.75/182.85	c
182.75/182.85	c ============================[ Search Statistics ]==============================
182.75/182.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.75/182.85	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.75/182.85	c ===============================================================================
182.75/182.85	c |         0 |   13366    26654   916176 |     8884        0    nan |  0.000 % |
182.75/182.87	c ===============================================================================
183.45/183.57	c core #4
183.45/183.57	c 
183.45/183.57	c 
183.45/183.57	c Core size: 15	Core Weight: 1	Total Weight: 4
183.45/183.57	c
183.45/183.57	c
183.45/183.57	c ============================[ Search Statistics ]==============================
183.45/183.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.45/183.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.45/183.57	c ===============================================================================
183.45/183.57	c |         0 |   13393    26661   916191 |     8887        0    nan |  0.000 % |
183.55/183.67	c ===============================================================================
184.24/184.36	c core #5
184.24/184.36	c 
184.24/184.36	c 
184.24/184.36	c Core size: 17	Core Weight: 1	Total Weight: 5
184.24/184.36	c
184.24/184.36	c
184.24/184.36	c ============================[ Search Statistics ]==============================
184.24/184.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.24/184.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.24/184.36	c ===============================================================================
184.24/184.36	c |         0 |   13404    26668   916207 |     8889        0    nan |  0.000 % |
184.54/184.62	c ===============================================================================
185.25/185.31	c core #6
185.25/185.31	c 
185.25/185.31	c 
185.25/185.31	c Core size: 16	Core Weight: 3	Total Weight: 8
185.25/185.31	c
185.25/185.31	c
185.25/185.31	c ============================[ Search Statistics ]==============================
185.25/185.31	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.25/185.31	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.25/185.31	c ===============================================================================
185.25/185.31	c |         0 |   13430    26674   916225 |     8891        0    nan |  0.000 % |
185.65/185.78	c ===============================================================================
186.34/186.49	c core #7
186.34/186.49	c 
186.34/186.49	c 
186.34/186.49	c Core size: 20	Core Weight: 1	Total Weight: 9
186.34/186.49	c
186.34/186.49	c
186.34/186.49	c ============================[ Search Statistics ]==============================
186.34/186.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.34/186.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.34/186.49	c ===============================================================================
186.34/186.49	c |         0 |   13442    26680   916244 |     8893        0    nan |  0.000 % |
187.34/187.42	c ===============================================================================
188.05/188.12	c core #8
188.05/188.12	c 
188.05/188.12	c 
188.05/188.12	c Core size: 22	Core Weight: 1	Total Weight: 10
188.05/188.12	c
188.05/188.12	c
188.05/188.12	c ============================[ Search Statistics ]==============================
188.05/188.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.05/188.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.05/188.12	c ===============================================================================
188.05/188.12	c |         0 |   13455    26686   916265 |     8895        0    nan |  0.000 % |
189.84/189.99	c |       101 |   13455    26686   916265 |     9784      101     25 |  0.738 % |
191.64/191.77	c ===============================================================================
192.35/192.47	c core #9
192.35/192.47	c 
192.35/192.47	c 
192.35/192.47	c Core size: 15	Core Weight: 6	Total Weight: 16
192.35/192.47	c
192.35/192.47	c
192.35/192.47	c ============================[ Search Statistics ]==============================
192.35/192.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.35/192.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.35/192.47	c ===============================================================================
192.35/192.47	c |         0 |   13480    26691   916288 |     8897        0    nan |  0.000 % |
194.65/194.76	c |       100 |   13480    26691   916288 |     9786      100     26 |  0.590 % |
197.44/197.53	c |       250 |   13470    26691   916288 |    10765      250     28 |  0.907 % |
197.54/197.70	c ===============================================================================
198.24/198.40	c core #10
198.24/198.40	c 
198.24/198.40	c 
198.24/198.40	c Core size: 35	Core Weight: 1	Total Weight: 17
198.24/198.40	c
198.24/198.40	c
198.24/198.40	c ============================[ Search Statistics ]==============================
198.24/198.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
198.24/198.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
198.24/198.40	c ===============================================================================
198.24/198.40	c |         0 |   13494    26698   916316 |     8899        0    nan |  0.000 % |
200.74/200.86	c |       101 |   13494    26698   916316 |     9789      101     26 |  0.589 % |
204.74/204.81	c |       253 |   13494    26698   916316 |    10768      253     30 |  0.589 % |
207.75/207.86	c ===============================================================================
208.44/208.56	c core #11
208.44/208.56	c 
208.44/208.56	c 
208.44/208.56	c Core size: 61	Core Weight: 1	Total Weight: 18
208.44/208.56	c
208.44/208.56	c
208.44/208.56	c ============================[ Search Statistics ]==============================
208.44/208.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
208.44/208.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
208.44/208.56	c ===============================================================================
208.44/208.56	c |         0 |   13512    26705   916352 |     8901        0    nan |  0.000 % |
210.74/210.84	c |       100 |   13512    26705   916352 |     9791      100     28 |  0.589 % |
213.54/213.60	c |       250 |   13512    26705   916352 |    10771      250     37 |  0.589 % |
217.53/217.65	c |       475 |   13511    26705   916352 |    11848      475     36 |  0.596 % |
222.15/222.23	c |       815 |   13492    26705   916352 |    13032      815     36 |  0.986 % |
222.34/222.47	c ===============================================================================
223.04/223.17	c core #12
223.04/223.17	c 
223.04/223.17	c 
223.04/223.17	c Core size: 42	Core Weight: 1	Total Weight: 19
223.04/223.17	c
223.04/223.17	c
223.04/223.17	c ============================[ Search Statistics ]==============================
223.04/223.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
223.04/223.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
223.04/223.17	c ===============================================================================
223.04/223.17	c |         0 |   13518    26710   916360 |     8903        0    nan |  0.000 % |
225.23/225.37	c |       100 |   13518    26710   916360 |     9793      100     25 |  0.588 % |
227.54/227.61	c |       251 |   13518    26710   916360 |    10773      251     27 |  0.588 % |
231.13/231.21	c |       476 |   13518    26710   916360 |    11850      476     28 |  0.588 % |
238.33/238.40	c |       814 |   13518    26710   916360 |    13035      814     32 |  0.588 % |
246.34/246.42	c |      1321 |   13517    26710   916360 |    14338      958     33 |  0.596 % |
259.33/259.45	c |      2082 |   13493    26710   916360 |    15772     1719     36 |  2.699 % |
266.63/266.71	c ===============================================================================
267.32/267.41	c core #13
267.32/267.41	c 
267.32/267.41	c 
267.32/267.41	c Core size: 49	Core Weight: 13	Total Weight: 32
267.32/267.41	c
267.32/267.41	c
267.32/267.41	c ============================[ Search Statistics ]==============================
267.32/267.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
267.32/267.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
267.32/267.41	c ===============================================================================
267.32/267.41	c |         0 |   13542    26714   916390 |     8904        0    nan |  0.000 % |
269.43/269.52	c |       102 |   13542    26714   916390 |     9795      102     25 |  0.441 % |
272.22/272.38	c |       252 |   13536    26714   916390 |    10774      252     25 |  0.581 % |
276.22/276.31	c |       477 |   13536    26714   916390 |    11852      477     29 |  0.581 % |
281.72/281.80	c |       816 |   13534    26714   916390 |    13037      816     30 |  0.588 % |
289.02/289.17	c |      1322 |   13533    26714   916390 |    14341     1322     30 |  0.588 % |
298.82/298.93	c |      2082 |   13522    26714   916390 |    15775     1814     32 |  0.588 % |
317.71/317.88	c |      3222 |   13519    26714   916390 |    17352     2954     32 |  0.713 % |
337.70/337.84	c ===============================================================================
338.41/338.58	c core #14
338.41/338.58	c 
338.41/338.58	c 
338.41/338.58	c Core size: 68	Core Weight: 1	Total Weight: 33
338.41/338.58	c
338.41/338.58	c
338.41/338.58	c ============================[ Search Statistics ]==============================
338.41/338.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
338.41/338.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
338.41/338.58	c ===============================================================================
338.41/338.58	c |         0 |   13575    26720   916457 |     8906        0    nan |  0.000 % |
340.51/340.60	c |       102 |   13575    26720   916457 |     9797      102     25 |  0.440 % |
343.70/343.82	c |       253 |   13575    26720   916457 |    10777      253     26 |  0.440 % |
348.00/348.15	c |       479 |   13575    26720   916457 |    11854      479     30 |  0.440 % |
353.50/353.60	c |       816 |   13575    26720   916457 |    13040      816     31 |  0.440 % |
362.81/362.93	c |      1323 |   13575    26720   916457 |    14344     1323     33 |  0.440 % |
377.11/377.20	c |      2082 |   13575    26720   916457 |    15778     2082     35 |  0.440 % |
392.39/392.59	c |      3222 |   13575    26720   916457 |    17356     3222     37 |  0.440 % |
421.09/421.29	c |      4930 |   13575    26720   916457 |    19092     4930     38 |  0.440 % |
458.48/458.62	c |      7494 |   13575    26720   916457 |    21001     7494     40 |  0.440 % |
509.36/509.51	c |     11338 |   13575    26720   916457 |    23101    11338     42 |  0.440 % |
589.84/590.05	c |     17106 |   13575    26720   916457 |    25411    17106     43 |  0.440 % |
721.50/721.73	c ===============================================================================
722.20/722.48	c core #15
722.20/722.48	c 
722.20/722.48	c 
722.20/722.48	c Core size: 55	Core Weight: 1	Total Weight: 34
722.20/722.48	c
722.20/722.48	c
722.20/722.48	c ============================[ Search Statistics ]==============================
722.20/722.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
722.20/722.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
722.20/722.48	c ===============================================================================
722.20/722.48	c |         0 |   13584    26727   916478 |     8909        0    nan |  0.000 % |
724.80/725.01	c |       102 |   13584    26727   916478 |     9799      102     25 |  0.440 % |
727.70/727.92	c |       253 |   13584    26727   916478 |    10779      253     26 |  0.440 % |
730.90/731.17	c |       480 |   13584    26727   916478 |    11857      480     29 |  0.440 % |
736.10/736.35	c |       817 |   13584    26727   916478 |    13043      817     31 |  0.440 % |
747.00/747.28	c |      1324 |   13584    26727   916478 |    14348     1324     35 |  0.440 % |
762.20/762.47	c |      2083 |   13584    26727   916478 |    15782     2083     39 |  0.440 % |
785.39/785.65	c |      3222 |   13584    26727   916478 |    17361     3222     41 |  0.440 % |
813.69/813.97	c |      4930 |   13584    26727   916478 |    19097     4930     41 |  0.440 % |
860.27/860.59	c |      7494 |   13577    26727   916478 |    21006     7399     42 |  0.491 % |
935.25/935.55	c |     11338 |   13576    26727   916478 |    23107    10952     45 |  0.498 % |
1041.43/1041.78	c |     17104 |   13571    26727   916478 |    25418    12863     46 |  0.542 % |
1052.33/1052.64	c ===============================================================================
1053.02/1053.38	c core #16
1053.02/1053.38	c 
1053.02/1053.38	c 
1053.02/1053.38	c Core size: 44	Core Weight: 4	Total Weight: 38
1053.02/1053.38	c
1053.02/1053.38	c
1053.02/1053.38	c ============================[ Search Statistics ]==============================
1053.02/1053.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1053.02/1053.38	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1053.02/1053.38	c ===============================================================================
1053.02/1053.38	c |         0 |   13589    26731   916485 |     8910        0    nan |  0.000 % |
1055.32/1055.61	c |       102 |   13589    26731   916485 |     9801      102     25 |  0.440 % |
1058.32/1058.66	c |       253 |   13589    26731   916485 |    10781      253     24 |  0.440 % |
1062.52/1062.85	c |       481 |   13589    26731   916485 |    11859      481     25 |  0.440 % |
1067.83/1068.15	c |       820 |   13589    26731   916485 |    13045      820     25 |  0.440 % |
1077.11/1077.44	c |      1326 |   13589    26731   916485 |    14350     1326     30 |  0.440 % |
1086.21/1086.50	c |      2085 |   13589    26731   916485 |    15785     2085     32 |  0.440 % |
1098.41/1098.78	c |      3224 |   13589    26731   916485 |    17363     3224     31 |  0.440 % |
1127.90/1128.24	c |      4932 |   13589    26731   916485 |    19100     4932     34 |  0.440 % |
1170.99/1171.31	c |      7494 |   13589    26731   916485 |    21010     7494     36 |  0.440 % |
1231.28/1231.68	c |     11338 |   13589    26731   916485 |    23111    11338     38 |  0.440 % |
1307.26/1307.68	c |     17106 |   13589    26731   916485 |    25422    17106     39 |  0.440 % |
1418.33/1418.73	c |     25756 |   13589    26731   916485 |    27964    11771     39 |  0.440 % |
1653.37/1653.81	c |     38731 |   13589    26731   916485 |    30760    24746     41 |  0.440 % |

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-2680498-1277456601/watcher-2680498-1277456601 -o /tmp/evaluation-result-2680498-1277456601/solver-2680498-1277456601 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680498-1277456601.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: 1.00 1.01 0.96 3/106 26568
/proc/meminfo: memFree=1798484/2059040 swapFree=4140024/4192956
[pid=26568] ppid=26566 vsize=10196 CPUtime=0
/proc/26568/stat : 26568 (wbo1.4b) R 26566 26568 26227 0 -1 4202496 296 0 0 0 0 0 0 0 25 0 1 0 86953896 10440704 215 1992294400 134512640 135752675 4289464768 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26568/statm: 2549 216 140 303 0 338 0

[startup+0.0693261 s]
/proc/loadavg: 1.00 1.01 0.96 3/106 26568
/proc/meminfo: memFree=1798484/2059040 swapFree=4140024/4192956
[pid=26568] ppid=26566 vsize=11648 CPUtime=0.06
/proc/26568/stat : 26568 (wbo1.4b) R 26566 26568 26227 0 -1 4202496 747 0 0 0 6 0 0 0 25 0 1 0 86953896 11927552 666 1992294400 134512640 135752675 4289464768 18446744073709551615 134598407 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26568/statm: 2912 666 235 303 0 701 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11648

[startup+0.10133 s]
/proc/loadavg: 1.00 1.01 0.96 3/106 26568
/proc/meminfo: memFree=1798484/2059040 swapFree=4140024/4192956
[pid=26568] ppid=26566 vsize=12332 CPUtime=0.1
/proc/26568/stat : 26568 (wbo1.4b) R 26566 26568 26227 0 -1 4202496 978 0 0 0 10 0 0 0 25 0 1 0 86953896 12627968 897 1992294400 134512640 135752675 4289464768 18446744073709551615 134559930 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26568/statm: 3083 897 283 303 0 872 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 12332

[startup+0.301351 s]
/proc/loadavg: 1.00 1.01 0.96 3/106 26568
/proc/meminfo: memFree=1798484/2059040 swapFree=4140024/4192956
[pid=26568] ppid=26566 vsize=16900 CPUtime=0.29
/proc/26568/stat : 26568 (wbo1.4b) R 26566 26568 26227 0 -1 4202496 2395 0 0 0 29 0 0 0 25 0 1 0 86953896 17305600 2314 1992294400 134512640 135752675 4289464768 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26568/statm: 4225 2314 572 303 0 2014 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16900

[startup+0.701391 s]
/proc/loadavg: 1.00 1.01 0.96 3/106 26568
/proc/meminfo: memFree=1798484/2059040 swapFree=4140024/4192956
[pid=26568] ppid=26566 vsize=25540 CPUtime=0.69
/proc/26568/stat : 26568 (wbo1.4b) R 26566 26568 26227 0 -1 4202496 5081 0 0 0 68 1 0 0 25 0 1 0 86953896 26152960 5000 1992294400 134512640 135752675 4289464768 18446744073709551615 134635542 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26568/statm: 6385 5000 1140 303 0 4174 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25540

[startup+1.50147 s]
/proc/loadavg: 1.00 1.01 0.96 2/107 26569
/proc/meminfo: memFree=1775908/2059040 swapFree=4140024/4192956
[pid=26568] ppid=26566 vsize=33376 CPUtime=1.49
/proc/26568/stat : 26568 (wbo1.4b) R 26566 26568 26227 0 -1 4202496 10280 0 0 0 146 3 0 0 18 0 1 0 86953896 34177024 7875 1992294400 134512640 135752675 4289464768 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26568/statm: 8344 7875 142 303 0 8039 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33376

[startup+3.10064 s]
/proc/loadavg: 1.00 1.01 0.96 2/107 26569
/proc/meminfo: memFree=1766112/2059040 swapFree=4140024/4192956
[pid=26568] ppid=26566 vsize=33376 CPUtime=3.09
/proc/26568/stat : 26568 (wbo1.4b) R 26566 26568 26227 0 -1 4202496 10281 0 0 0 306 3 0 0 20 0 1 0 86953896 34177024 7876 1992294400 134512640 135752675 4289464768 18446744073709551615 134605295 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26568/statm: 8344 7876 143 303 0 8039 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33376

[startup+6.30097 s]
/proc/loadavg: 1.08 1.03 0.97 2/107 26569
/proc/meminfo: memFree=1766112/2059040 swapFree=4140024/4192956
[pid=26568] ppid=26566 vsize=33376 CPUtime=6.29
/proc/26568/stat : 26568 (wbo1.4b) R 26566 26568 26227 0 -1 4202496 10282 0 0 0 626 3 0 0 25 0 1 0 86953896 34177024 7877 1992294400 134512640 135752675 4289464768 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26568/statm: 8344 7877 144 303 0 8039 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33376

[startup+12.7006 s]
/proc/loadavg: 1.24 1.06 0.98 2/107 26569
/proc/meminfo: memFree=1766128/2059040 swapFree=4140024/4192956
[pid=26568] ppid=26566 vsize=33508 CPUtime=12.69
/proc/26568/stat : 26568 (wbo1.4b) R 26566 26568 26227 0 -1 4202496 10297 0 0 0 1266 3 0 0 25 0 1 0 86953896 34312192 7892 1992294400 134512640 135752675 4289464768 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26568/statm: 8377 7892 144 303 0 8072 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 33508

[startup+25.501 s]
/proc/loadavg: 1.63 1.15 1.01 2/107 26569
/proc/meminfo: memFree=1766136/2059040 swapFree=4140024/4192956
[pid=26568] ppid=26566 vsize=33772 CPUtime=25.48
/proc/26568/stat : 26568 (wbo1.4b) R 26566 26568 26227 0 -1 4202496 10364 0 0 0 2544 4 0 0 25 0 1 0 86953896 34582528 7959 1992294400 134512640 135752675 4289464768 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26568/statm: 8443 7959 144 303 0 8138 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 33772

[startup+51.1016 s]
/proc/loadavg: 1.53 1.17 1.02 2/107 26571
/proc/meminfo: memFree=1766012/2059040 swapFree=4140024/4192956
[pid=26568] ppid=26566 vsize=34300 CPUtime=51.08
/proc/26568/stat : 26568 (wbo1.4b) R 26566 26568 26227 0 -1 4202496 10499 0 0 0 5102 6 0 0 25 0 1 0 86953896 35123200 8094 1992294400 134512640 135752675 4289464768 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26568/statm: 8575 8094 144 303 0 8270 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 34300

[startup+102.309 s]
/proc/loadavg: 1.23 1.14 1.01 2/107 26571
/proc/meminfo: memFree=1764772/2059040 swapFree=4140024/4192956
[pid=26568] ppid=26566 vsize=35624 CPUtime=102.28
/proc/26568/stat : 26568 (wbo1.4b) R 26566 26568 26227 0 -1 4202496 10808 0 0 0 10216 12 0 0 25 0 1 0 86953896 36478976 8403 1992294400 134512640 135752675 4289464768 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26568/statm: 8906 8403 144 303 0 8601 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 35624

[startup+162.301 s]
/proc/loadavg: 1.08 1.11 1.01 2/107 26573
/proc/meminfo: memFree=1763532/2059040 swapFree=4140024/4192956
[pid=26568] ppid=26566 vsize=36944 CPUtime=162.25
/proc/26568/stat : 26568 (wbo1.4b) R 26566 26568 26227 0 -1 4202496 11138 0 0 0 16209 16 0 0 25 0 1 0 86953896 37830656 8733 1992294400 134512640 135752675 4289464768 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26568/statm: 9236 8733 144 303 0 8931 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 36944

[startup+222.301 s]
/proc/loadavg: 1.03 1.09 1.00 2/107 26575
/proc/meminfo: memFree=1695828/2059040 swapFree=4140024/4192956
[pid=26568] ppid=26566 vsize=104460 CPUtime=222.24
/proc/26568/stat : 26568 (wbo1.4b) R 26566 26568 26227 0 -1 4202496 28382 0 0 0 22195 29 0 0 25 0 1 0 86953896 106967040 25634 1992294400 134512640 135752675 4289464768 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26568/statm: 26115 25634 146 303 0 25810 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 104460

[startup+282.301 s]
/proc/loadavg: 1.01 1.07 1.00 2/107 26577
/proc/meminfo: memFree=1687768/2059040 swapFree=4140024/4192956
[pid=26568] ppid=26566 vsize=112428 CPUtime=282.22
/proc/26568/stat : 26568 (wbo1.4b) R 26566 26568 26227 0 -1 4202496 30384 0 0 0 28190 32 0 0 25 0 1 0 86953896 115126272 27636 1992294400 134512640 135752675 4289464768 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26568/statm: 28107 27636 146 303 0 27802 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 112428

[startup+342.302 s]
/proc/loadavg: 1.00 1.06 1.00 2/107 26579
/proc/meminfo: memFree=1683428/2059040 swapFree=4140024/4192956
[pid=26568] ppid=26566 vsize=116932 CPUtime=342.21
/proc/26568/stat : 26568 (wbo1.4b) R 26566 26568 26227 0 -1 4202496 31497 0 0 0 34186 35 0 0 25 0 1 0 86953896 119738368 28749 1992294400 134512640 135752675 4289464768 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26568/statm: 29233 28749 146 303 0 28928 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 116932

[startup+402.301 s]
/proc/loadavg: 1.00 1.04 1.00 2/107 26579
/proc/meminfo: memFree=1683304/2059040 swapFree=4140024/4192956
[pid=26568] ppid=26566 vsize=116932 CPUtime=402.19
/proc/26568/stat : 26568 (wbo1.4b) R 26566 26568 26227 0 -1 4202496 31501 0 0 0 40179 40 0 0 25 0 1 0 86953896 119738368 28753 1992294400 134512640 135752675 4289464768 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26568/statm: 29233 28753 146 303 0 28928 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 116932

[startup+462.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 26581
/proc/meminfo: memFree=1683180/2059040 swapFree=4140024/4192956
[pid=26568] ppid=26566 vsize=116932 CPUtime=462.18
/proc/26568/stat : 26568 (wbo1.4b) R 26566 26568 26227 0 -1 4202496 31505 0 0 0 46174 44 0 0 25 0 1 0 86953896 119738368 28757 1992294400 134512640 135752675 4289464768 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26568/statm: 29233 28757 146 303 0 28928 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 116932

[startup+522.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 26583
/proc/meminfo: memFree=1683056/2059040 swapFree=4140024/4192956
[pid=26568] ppid=26566 vsize=116932 CPUtime=522.15
/proc/26568/stat : 26568 (wbo1.4b) R 26566 26568 26227 0 -1 4202496 31510 0 0 0 52167 48 0 0 25 0 1 0 86953896 119738368 28762 1992294400 134512640 135752675 4289464768 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26568/statm: 29233 28762 146 303 0 28928 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 116932

[startup+582.302 s]
/proc/loadavg: 1.04 1.03 1.00 2/107 26585
/proc/meminfo: memFree=1683056/2059040 swapFree=4140024/4192956
[pid=26568] ppid=26566 vsize=116932 CPUtime=582.14
/proc/26568/stat : 26568 (wbo1.4b) R 26566 26568 26227 0 -1 4202496 31514 0 0 0 58162 52 0 0 25 0 1 0 86953896 119738368 28766 1992294400 134512640 135752675 4289464768 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26568/statm: 29233 28766 146 303 0 28928 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 116932

[startup+642.302 s]
/proc/loadavg: 1.05 1.04 1.00 2/107 26587
/proc/meminfo: memFree=1682932/2059040 swapFree=4140024/4192956
[pid=26568] ppid=26566 vsize=116932 CPUtime=642.14
/proc/26568/stat : 26568 (wbo1.4b) R 26566 26568 26227 0 -1 4202496 31514 0 0 0 64158 56 0 0 25 0 1 0 86953896 119738368 28766 1992294400 134512640 135752675 4289464768 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26568/statm: 29233 28766 146 303 0 28928 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 116932

[startup+702.302 s]

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

[startup+882.302 s]
/proc/loadavg: 1.11 1.07 1.00 2/107 26593
/proc/meminfo: memFree=1672392/2059040 swapFree=4140024/4192956
[pid=26568] ppid=26566 vsize=127276 CPUtime=882.07
/proc/26568/stat : 26568 (wbo1.4b) R 26566 26568 26227 0 -1 4202496 34088 0 0 0 88136 71 0 0 25 0 1 0 86953896 130330624 31340 1992294400 134512640 135752675 4289464768 18446744073709551615 134605232 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26568/statm: 31819 31340 146 303 0 31514 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 127276

[startup+942.302 s]
/proc/loadavg: 1.10 1.07 1.00 2/107 26595
/proc/meminfo: memFree=1672392/2059040 swapFree=4140024/4192956
[pid=26568] ppid=26566 vsize=127276 CPUtime=942.05
/proc/26568/stat : 26568 (wbo1.4b) R 26566 26568 26227 0 -1 4202496 34091 0 0 0 94131 74 0 0 25 0 1 0 86953896 130330624 31343 1992294400 134512640 135752675 4289464768 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26568/statm: 31819 31343 146 303 0 31514 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 127276

[startup+1002.3 s]
/proc/loadavg: 1.09 1.07 1.00 2/107 26595
/proc/meminfo: memFree=1672268/2059040 swapFree=4140024/4192956
[pid=26568] ppid=26566 vsize=127276 CPUtime=1002.03
/proc/26568/stat : 26568 (wbo1.4b) R 26566 26568 26227 0 -1 4202496 34094 0 0 0 100125 78 0 0 25 0 1 0 86953896 130330624 31346 1992294400 134512640 135752675 4289464768 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26568/statm: 31819 31346 146 303 0 31514 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 127276

[startup+1062.3 s]
/proc/loadavg: 1.20 1.10 1.01 2/107 26597
/proc/meminfo: memFree=1666564/2059040 swapFree=4140024/4192956
[pid=26568] ppid=26566 vsize=133228 CPUtime=1062.02
/proc/26568/stat : 26568 (wbo1.4b) R 26566 26568 26227 0 -1 4202496 35562 0 0 0 106121 81 0 0 25 0 1 0 86953896 136425472 32814 1992294400 134512640 135752675 4289464768 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26568/statm: 33307 32814 146 303 0 33002 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 133228

[startup+1122.3 s]
/proc/loadavg: 1.07 1.08 1.01 2/107 26599
/proc/meminfo: memFree=1666440/2059040 swapFree=4140024/4192956
[pid=26568] ppid=26566 vsize=133228 CPUtime=1122.01
/proc/26568/stat : 26568 (wbo1.4b) R 26566 26568 26227 0 -1 4202496 35562 0 0 0 112115 86 0 0 25 0 1 0 86953896 136425472 32814 1992294400 134512640 135752675 4289464768 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26568/statm: 33307 32814 146 303 0 33002 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 133228

[startup+1182.3 s]
/proc/loadavg: 1.02 1.06 1.00 2/107 26601
/proc/meminfo: memFree=1666316/2059040 swapFree=4140024/4192956
[pid=26568] ppid=26566 vsize=133228 CPUtime=1181.99
/proc/26568/stat : 26568 (wbo1.4b) R 26566 26568 26227 0 -1 4202496 35562 0 0 0 118110 89 0 0 25 0 1 0 86953896 136425472 32814 1992294400 134512640 135752675 4289464768 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26568/statm: 33307 32814 146 303 0 33002 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 133228

[startup+1242.3 s]
/proc/loadavg: 1.01 1.05 1.00 2/107 26603
/proc/meminfo: memFree=1666068/2059040 swapFree=4140024/4192956
[pid=26568] ppid=26566 vsize=133228 CPUtime=1241.97
/proc/26568/stat : 26568 (wbo1.4b) R 26566 26568 26227 0 -1 4202496 35562 0 0 0 124104 93 0 0 25 0 1 0 86953896 136425472 32814 1992294400 134512640 135752675 4289464768 18446744073709551615 134605412 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26568/statm: 33307 32814 146 303 0 33002 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 133228

[startup+1302.3 s]
/proc/loadavg: 1.00 1.04 1.00 2/107 26603
/proc/meminfo: memFree=1665944/2059040 swapFree=4140024/4192956
[pid=26568] ppid=26566 vsize=133228 CPUtime=1301.96
/proc/26568/stat : 26568 (wbo1.4b) R 26566 26568 26227 0 -1 4202496 35562 0 0 0 130099 97 0 0 25 0 1 0 86953896 136425472 32814 1992294400 134512640 135752675 4289464768 18446744073709551615 134611798 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26568/statm: 33307 32814 146 303 0 33002 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 133228

[startup+1362.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 26605
/proc/meminfo: memFree=1665944/2059040 swapFree=4140024/4192956
[pid=26568] ppid=26566 vsize=133228 CPUtime=1361.94
/proc/26568/stat : 26568 (wbo1.4b) R 26566 26568 26227 0 -1 4202496 35562 0 0 0 136092 102 0 0 25 0 1 0 86953896 136425472 32814 1992294400 134512640 135752675 4289464768 18446744073709551615 134605384 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26568/statm: 33307 32814 146 303 0 33002 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 133228

[startup+1422.31 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 26607
/proc/meminfo: memFree=1665944/2059040 swapFree=4140024/4192956
[pid=26568] ppid=26566 vsize=133228 CPUtime=1421.94
/proc/26568/stat : 26568 (wbo1.4b) R 26566 26568 26227 0 -1 4202496 35562 0 0 0 142089 105 0 0 25 0 1 0 86953896 136425472 32814 1992294400 134512640 135752675 4289464768 18446744073709551615 134605368 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26568/statm: 33307 32814 146 303 0 33002 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 133228

[startup+1482.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 26609
/proc/meminfo: memFree=1665944/2059040 swapFree=4140024/4192956
[pid=26568] ppid=26566 vsize=133228 CPUtime=1481.92
/proc/26568/stat : 26568 (wbo1.4b) R 26566 26568 26227 0 -1 4202496 35562 0 0 0 148083 109 0 0 25 0 1 0 86953896 136425472 32814 1992294400 134512640 135752675 4289464768 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26568/statm: 33307 32814 146 303 0 33002 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 133228

[startup+1542.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 26611
/proc/meminfo: memFree=1665944/2059040 swapFree=4140024/4192956
[pid=26568] ppid=26566 vsize=133228 CPUtime=1541.9
/proc/26568/stat : 26568 (wbo1.4b) R 26566 26568 26227 0 -1 4202496 35562 0 0 0 154078 112 0 0 25 0 1 0 86953896 136425472 32814 1992294400 134512640 135752675 4289464768 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26568/statm: 33307 32814 146 303 0 33002 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 133228

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26611
/proc/meminfo: memFree=1665820/2059040 swapFree=4140024/4192956
[pid=26568] ppid=26566 vsize=133228 CPUtime=1601.88
/proc/26568/stat : 26568 (wbo1.4b) R 26566 26568 26227 0 -1 4202496 35562 0 0 0 160073 115 0 0 25 0 1 0 86953896 136425472 32814 1992294400 134512640 135752675 4289464768 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26568/statm: 33307 32814 146 303 0 33002 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 133228

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26613
/proc/meminfo: memFree=1665696/2059040 swapFree=4140024/4192956
[pid=26568] ppid=26566 vsize=133228 CPUtime=1661.86
/proc/26568/stat : 26568 (wbo1.4b) R 26566 26568 26227 0 -1 4202496 35562 0 0 0 166068 118 0 0 25 0 1 0 86953896 136425472 32814 1992294400 134512640 135752675 4289464768 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26568/statm: 33307 32814 146 303 0 33002 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 133228

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26615
/proc/meminfo: memFree=1665572/2059040 swapFree=4140024/4192956
[pid=26568] ppid=26566 vsize=133228 CPUtime=1721.85
/proc/26568/stat : 26568 (wbo1.4b) R 26566 26568 26227 0 -1 4202496 35562 0 0 0 172061 124 0 0 25 0 1 0 86953896 136425472 32814 1992294400 134512640 135752675 4289464768 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26568/statm: 33307 32814 146 303 0 33002 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 133228

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26617
/proc/meminfo: memFree=1665324/2059040 swapFree=4140024/4192956
[pid=26568] ppid=26566 vsize=133228 CPUtime=1781.83
/proc/26568/stat : 26568 (wbo1.4b) R 26566 26568 26227 0 -1 4202496 35563 0 0 0 178055 128 0 0 25 0 1 0 86953896 136425472 32815 1992294400 134512640 135752675 4289464768 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26568/statm: 33307 32815 146 303 0 33002 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 133228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26617
/proc/meminfo: memFree=1665324/2059040 swapFree=4140024/4192956
[pid=26568] ppid=26566 vsize=133228 CPUtime=1800.03
/proc/26568/stat : 26568 (wbo1.4b) R 26566 26568 26227 0 -1 4202496 35563 0 0 0 179874 129 0 0 25 0 1 0 86953896 136425472 32815 1992294400 134512640 135752675 4289464768 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26568/statm: 33307 32815 146 303 0 33002 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 133228

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26617
/proc/meminfo: memFree=1665324/2059040 swapFree=4140024/4192956
[pid=26568] ppid=26566 vsize=133228 CPUtime=1800.03
/proc/26568/stat : 26568 (wbo1.4b) R 26566 26568 26227 0 -1 4202496 35563 0 0 0 179874 129 0 0 25 0 1 0 86953896 136425472 32815 1992294400 134512640 135752675 4289464768 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26568/statm: 33307 32815 146 303 0 33002 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 133228

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.52
CPU time (s): 1800.06
CPU user time (s): 1798.75
CPU system time (s): 1.3158
CPU usage (%): 99.9745
Max. virtual memory (cumulated for all children) (KiB): 133228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.75
system time used= 1.3158
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35563
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= 13
involuntary context switches= 4932

runsolver used 3.04554 second user time and 8.43672 second system time

The end

Launcher Data 

Begin job on node083 at 2010-06-25 11:03:22
IDJOB=2680498
IDBENCH=2639
IDSOLVER=1190
FILE ID=node083/2680498-1277456601
PBS_JOBID= 11188107
Free space on /tmp= 62488 MiB

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

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

MD5SUM BENCH= 6a25ee38adc43f783b18badd1224270c
RANDOM SEED=283579043

node083.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.262
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.262
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	: 5999.40
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1799012 kB
Buffers:         43288 kB
Cached:         117436 kB
SwapCached:       5544 kB
Active:          39560 kB
Inactive:       134360 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1799012 kB
SwapTotal:     4192956 kB
SwapFree:      4140024 kB
Dirty:           10228 kB
Writeback:           0 kB
AnonPages:       11520 kB
Mapped:          11964 kB
Slab:            64212 kB
PageTables:       4184 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182736 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= 62488 MiB
End job on node083 at 2010-06-25 11:33:24