Trace number 2702685

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.16 1800.73

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_10_4.opb
MD5SUM3258ae2375db1ca5a9ce9d305f00baf0
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-14
Best CPU time to get the best result obtained on this benchmark1275.94
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -14
Optimality of the best value was proved NO
Number of variables100
Total number of constraints151
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints101
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 50
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 50
Number of bits of the sum of numbers in the objective function 6
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)1228
Sum of products size (including duplicates)2456
Number of different products614
Sum of products size1228

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100610
0.00/0.00	c Parsing opb file format. File HOME/instance-2702685-1278574702.opb.
0.00/0.00	c Instance file HOME/instance-2702685-1278574702.opb
0.00/0.00	c File size is 50240 bytes.
0.00/0.01	c Highest Coefficient sum: 100
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:      714                                                 |
0.00/0.01	c |  Number Clauses:        664                                                 |
0.00/0.01	c |  Number Cardinality:    102                                                 |
0.00/0.01	c |  Number PB Constraints: 614                                                 |
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 |     714     1380     5212 |     5000        0    nan |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 0
0.00/0.01	o 0
0.00/0.01	c Elapsed CPU time: 0.015997 s	Remaining CPU time: 179.984 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |     714     1381     5262 |     5000        0    nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: -1
0.00/0.02	o -1
0.00/0.02	c Elapsed CPU time: 0.016997 s	Remaining CPU time: 179.983 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         1 |     714     1382     5312 |     5000        1     51 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: -2
0.00/0.02	o -2
0.00/0.02	c Elapsed CPU time: 0.017997 s	Remaining CPU time: 179.982 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         1 |     714     1383     5362 |     5000        1     51 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: -3
0.00/0.02	o -3
0.00/0.02	c Elapsed CPU time: 0.017997 s	Remaining CPU time: 179.982 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         3 |     714     1384     5412 |     5000        3     19 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: -4
0.00/0.02	o -4
0.00/0.02	c Elapsed CPU time: 0.018997 s	Remaining CPU time: 179.981 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         5 |     714     1385     5462 |     5000        5     22 |  0.000 % |
0.00/0.03	c |       107 |     714     1385     5462 |     5500      107     81 |  0.003 % |
0.00/0.04	c |       257 |     714     1385     5462 |     6050      257     87 |  0.003 % |
0.00/0.04	c ===============================================================================
0.00/0.04	c New solution: -5
0.00/0.04	o -5
0.00/0.04	c Elapsed CPU time: 0.041993 s	Remaining CPU time: 179.958 s
0.00/0.04	c ===============================================================================
0.00/0.04	c |       272 |     714     1386     5512 |     5000      272     87 |  0.003 % |
0.00/0.05	c |       373 |     714     1386     5512 |     5500      373     88 |  0.003 % |
0.00/0.06	c |       523 |     714     1386     5512 |     6050      523     88 |  0.003 % |
0.05/0.07	c |       749 |     714     1386     5512 |     6655      749     87 |  0.003 % |
0.09/0.10	c |      1089 |     714     1386     5512 |     7320     1089     88 |  0.002 % |
0.09/0.14	c |      1596 |     714     1386     5512 |     8052     1596     89 |  0.003 % |
0.09/0.15	c ===============================================================================
0.09/0.15	c New solution: -6
0.09/0.15	o -6
0.09/0.15	c Elapsed CPU time: 0.138978 s	Remaining CPU time: 179.861 s
0.09/0.15	c ===============================================================================
0.09/0.15	c |      1619 |     714     1387     5562 |     5000     1619     89 |  0.003 % |
0.09/0.16	c |      1721 |     714     1387     5562 |     5500     1721     89 |  0.003 % |
0.09/0.17	c |      1871 |     714     1387     5562 |     6050     1871     89 |  0.003 % |
0.09/0.19	c |      2096 |     714     1387     5562 |     6655     2096     88 |  0.003 % |
0.19/0.22	c |      2434 |     714     1387     5562 |     7320     2434     87 |  0.003 % |
0.19/0.26	c |      2940 |     714     1387     5562 |     8052     2940     87 |  0.003 % |
0.29/0.36	c |      3699 |     714     1387     5562 |     8857     3699     86 |  0.003 % |
0.39/0.48	c |      4840 |     714     1387     5562 |     9743     4840     85 |  0.003 % |
0.49/0.57	c ===============================================================================
0.49/0.57	c New solution: -7
0.49/0.57	o -7
0.49/0.57	c Elapsed CPU time: 0.557915 s	Remaining CPU time: 179.442 s
0.49/0.57	c ===============================================================================
0.49/0.57	c |      5494 |     714     1388     5612 |     5000     5494     85 |  0.003 % |
0.49/0.59	c |      5595 |     714     1388     5612 |     5500     2848     83 |  0.003 % |
0.59/0.61	c |      5745 |     714     1388     5612 |     6050     2998     83 |  0.002 % |
0.59/0.64	c |      5970 |     714     1388     5612 |     6655     3223     83 |  0.003 % |
0.59/0.67	c |      6307 |     714     1388     5612 |     7320     3560     83 |  0.002 % |
0.69/0.72	c |      6814 |     714     1388     5612 |     8052     4067     83 |  0.003 % |
0.79/0.82	c |      7575 |     714     1388     5612 |     8857     4828     84 |  0.002 % |
0.89/0.97	c |      8715 |     714     1388     5612 |     9743     5968     84 |  0.003 % |
1.19/1.21	c |     10423 |     714     1388     5612 |    10717     7676     85 |  0.002 % |
1.59/1.66	c |     12988 |     714     1388     5612 |    11789    10241     85 |  0.003 % |
2.38/2.40	c |     16833 |     714     1388     5612 |    12968     7851     85 |  0.003 % |
3.49/3.54	c |     22600 |     714     1388     5612 |    14265    13618     86 |  0.003 % |
5.59/5.66	c |     31249 |     714     1388     5612 |    15692    14794     85 |  0.002 % |
8.80/8.82	c |     44224 |     714     1388     5612 |    17261    11397     86 |  0.003 % |
14.30/14.38	c |     63686 |     714     1388     5612 |    18987    12912     86 |  0.000 % |
23.68/23.77	c |     92878 |     714     1388     5612 |    20886    12606     86 |  0.003 % |
41.57/41.66	c |    136672 |     714     1388     5612 |    22974    13011     85 |  0.003 % |
65.37/65.47	c |    202366 |     714     1388     5612 |    25272    14939     83 |  0.002 % |
130.86/130.93	c |    300894 |     714     1388     5612 |    27799    23413     86 |  0.003 % |
181.35/181.48	c There are 0 assigned variables. 0 in cost function.
181.84/181.94	c core #1
181.84/181.94	c 
181.84/181.94	c 
181.84/181.94	c Core size: 101	Core Weight: 1	Total Weight: -49
181.84/181.94	c
181.84/181.94	c
181.84/181.94	c ============================[ Search Statistics ]==============================
181.84/181.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.84/181.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.84/181.94	c ===============================================================================
181.84/181.94	c |         0 |     764     1498     5905 |     5000        0    nan |  0.000 % |
181.84/181.95	c ===============================================================================
181.84/181.95	c core #2
181.84/181.95	c 
181.84/181.95	c 
181.84/181.95	c Core size: 44	Core Weight: 1	Total Weight: -48
181.84/181.95	c
181.84/181.95	c
181.84/181.95	c ============================[ Search Statistics ]==============================
181.84/181.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.84/181.95	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.84/181.95	c ===============================================================================
181.84/181.95	c |         0 |     802     1504     5996 |     5000        0    nan |  0.000 % |
181.84/181.96	c |       103 |     786     1504     5996 |     5500       76     32 |  3.367 % |
181.84/181.98	c |       253 |     762     1504     5996 |     6050      195     28 |  6.487 % |
181.93/182.01	c |       478 |     642     1504     5996 |     6655      261     37 | 23.069 % |
181.93/182.01	c ===============================================================================
181.93/182.02	c core #3
181.93/182.02	c 
181.93/182.02	c 
181.93/182.02	c Core size: 69	Core Weight: 1	Total Weight: -47
181.93/182.02	c
181.93/182.02	c
181.93/182.02	c ============================[ Search Statistics ]==============================
181.93/182.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.93/182.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.93/182.02	c ===============================================================================
181.93/182.02	c |         0 |     852     1517     6132 |     5000        0    nan |  0.000 % |
181.93/182.04	c |       107 |     852     1517     6132 |     5500      107     54 |  0.002 % |
181.93/182.05	c |       257 |     852     1517     6132 |     6050      257     41 |  0.002 % |
181.93/182.08	c |       483 |     852     1517     6132 |     6655      483     35 |  0.002 % |
182.04/182.13	c |       820 |     852     1517     6132 |     7320      820     34 |  0.005 % |
182.04/182.19	c |      1326 |     852     1517     6132 |     8052     1326     32 |  0.006 % |
182.24/182.30	c |      2085 |     852     1517     6132 |     8857     2085     30 |  0.009 % |
182.34/182.45	c |      3224 |     852     1517     6132 |     9743     3224     30 |  0.026 % |
182.64/182.74	c |      4934 |     836     1517     6132 |    10717     4037     30 |  1.879 % |
182.94/183.07	c ===============================================================================
183.04/183.14	c core #4
183.04/183.14	c 
183.04/183.14	c 
183.04/183.14	c Core size: 66	Core Weight: 1	Total Weight: -46
183.04/183.14	c
183.04/183.14	c
183.04/183.14	c ============================[ Search Statistics ]==============================
183.04/183.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.04/183.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.04/183.14	c ===============================================================================
183.04/183.14	c |         0 |     902     1710     6806 |     5000        0    nan |  0.000 % |
183.04/183.17	c |       100 |     902     1710     6806 |     5500      100     73 |  0.002 % |
183.04/183.19	c |       251 |     902     1710     6806 |     6050      251     53 |  0.002 % |
183.13/183.22	c |       477 |     902     1710     6806 |     6655      477     50 |  0.001 % |
183.13/183.27	c |       816 |     902     1710     6806 |     7320      816     42 |  0.001 % |
183.24/183.36	c |      1323 |     902     1710     6806 |     8052     1323     46 |  0.001 % |
183.44/183.50	c |      2086 |     902     1710     6806 |     8857     2086     43 |  0.001 % |
183.54/183.70	c |      3225 |     902     1710     6806 |     9743     3225     42 |  0.001 % |
183.94/184.00	c |      4933 |     902     1710     6806 |    10717     4933     42 |  0.001 % |
184.44/184.53	c |      7498 |     902     1710     6806 |    11789     7498     41 |  0.002 % |
185.44/185.50	c |     11343 |     902     1710     6806 |    12968    11343     42 |  0.001 % |
186.53/186.64	c |     17119 |     902     1710     6806 |    14265    10298     53 |  0.001 % |
189.34/189.44	c |     25769 |     902     1710     6806 |    15692    11533     56 |  0.002 % |
193.13/193.27	c |     38743 |     902     1710     6806 |    17261     8412     42 |  0.024 % |
198.53/198.61	c |     58204 |     873     1710     6806 |    18987    11249     43 |  3.222 % |
208.53/208.68	c |     87396 |     750     1710     6806 |    20886     8898     43 | 16.853 % |
215.63/215.79	c ===============================================================================
216.73/216.84	c core #5
216.73/216.84	c 
216.73/216.84	c 
216.73/216.84	c Core size: 78	Core Weight: 1	Total Weight: -45
216.73/216.84	c
216.73/216.84	c
216.73/216.84	c ============================[ Search Statistics ]==============================
216.73/216.84	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
216.73/216.84	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
216.73/216.84	c ===============================================================================
216.73/216.84	c |         0 |     952     1997     7760 |     5000        0    nan |  0.000 % |
216.73/216.89	c |       100 |     952     1997     7760 |     5500      100    113 |  0.002 % |
216.83/216.90	c |       252 |     952     1997     7760 |     6050      252     64 |  0.001 % |
216.83/216.94	c |       477 |     952     1997     7760 |     6655      477     48 |  0.001 % |
216.83/216.98	c |       814 |     952     1997     7760 |     7320      814     47 |  0.000 % |
216.93/217.06	c |      1321 |     952     1997     7760 |     8052     1321     52 |  0.002 % |
217.03/217.19	c |      2080 |     952     1997     7760 |     8857     2080     56 |  0.001 % |
217.23/217.38	c |      3220 |     952     1997     7760 |     9743     3220     55 |  0.001 % |
217.63/217.70	c |      4929 |     952     1997     7760 |    10717     4929     49 |  0.000 % |
218.23/218.35	c |      7491 |     952     1997     7760 |    11789     7491     46 |  0.001 % |
219.23/219.32	c |     11336 |     952     1997     7760 |    12968    11336     44 |  0.000 % |
220.82/221.00	c |     17104 |     952     1997     7760 |    14265    10423     38 |  0.001 % |
223.53/223.66	c |     25756 |     952     1997     7760 |    15692    11657     37 |  0.001 % |
228.13/228.21	c |     38733 |     952     1997     7760 |    17261     8517     35 |  0.000 % |
235.02/235.14	c |     58194 |     952     1997     7760 |    18987    10299     38 |  0.001 % |
242.52/242.62	c |     87388 |     952     1997     7760 |    20886     9989     70 |  0.002 % |
256.72/256.83	c |    131182 |     952     1997     7760 |    22974    21365     79 |  0.002 % |
283.30/283.49	c |    196872 |     952     1997     7760 |    25272    23162     80 |  0.002 % |
325.79/325.91	c |    295402 |     952     1997     7760 |    27799    16870     80 |  0.001 % |
407.17/407.36	c |    443191 |     952     1997     7760 |    30579    25477     81 |  0.001 % |
521.43/521.65	c |    664875 |     952     1997     7760 |    33637    27504     78 |  0.002 % |
681.69/682.00	c |    997401 |     952     1997     7760 |    37001    14382     46 |  0.003 % |
969.50/969.87	c |   1496189 |     952     1997     7760 |    40701    32533     47 |  0.023 % |
1298.89/1299.32	c ===============================================================================
1312.29/1312.76	c core #6
1312.29/1312.76	c 
1312.29/1312.76	c 
1312.29/1312.76	c Core size: 87	Core Weight: 1	Total Weight: -44
1312.29/1312.76	c
1312.29/1312.76	c
1312.29/1312.76	c ============================[ Search Statistics ]==============================
1312.29/1312.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1312.29/1312.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1312.29/1312.76	c ===============================================================================
1312.29/1312.76	c |         0 |    1002     2274     8660 |     5000        0    nan |  0.000 % |
1312.59/1313.04	c |       110 |    1002     2274     8660 |     5500      110    140 |  0.001 % |
1312.59/1313.05	c |       262 |    1002     2274     8660 |     6050      262     69 |  0.002 % |
1312.69/1313.19	c |       487 |    1002     2274     8660 |     6655      487     71 |  0.002 % |
1312.79/1313.24	c |       825 |    1002     2274     8660 |     7320      825     63 |  0.001 % |
1312.89/1313.30	c |      1333 |    1002     2274     8660 |     8052     1333     69 |  0.001 % |
1312.89/1313.37	c |      2092 |    1002     2274     8660 |     8857     2092     53 |  0.001 % |
1313.09/1313.59	c |      3233 |    1002     2274     8660 |     9743     3233     52 |  0.001 % |
1313.39/1313.86	c |      4942 |    1002     2274     8660 |    10717     4942     46 |  0.001 % |
1314.00/1314.45	c |      7504 |    1002     2274     8660 |    11789     7504     52 |  0.001 % |
1315.10/1315.54	c |     11348 |    1002     2274     8660 |    12968    11348     52 |  0.000 % |
1316.39/1316.87	c |     17115 |    1002     2274     8660 |    14265    10470     44 |  0.001 % |
1318.29/1318.77	c |     25766 |    1002     2274     8660 |    15692    11649     68 |  0.000 % |
1325.29/1325.70	c |     38740 |    1002     2274     8660 |    17261     8259     81 |  0.001 % |
1334.69/1335.15	c |     58216 |    1002     2274     8660 |    18987     9801     80 |  0.001 % |
1346.68/1347.16	c |     87413 |    1002     2274     8660 |    20886    19330     81 |  0.002 % |
1364.66/1365.13	c |    131205 |    1002     2274     8660 |    22974    19730     84 |  0.000 % |
1393.65/1394.19	c |    196889 |    1002     2274     8660 |    25272    21180     79 |  0.001 % |
1439.94/1440.43	c |    295419 |    1002     2274     8660 |    27799    15885     78 |  0.001 % |
1498.82/1499.35	c |    443209 |    1002     2274     8660 |    30579    25441     73 |  0.001 % |
1596.19/1596.74	c |    664896 |    1002     2274     8660 |    33637    30003     72 |  0.001 % |

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-2702685-1278574702/watcher-2702685-1278574702 -o /tmp/evaluation-result-2702685-1278574702/solver-2702685-1278574702 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702685-1278574702.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.95 0.87 3/106 29209
/proc/meminfo: memFree=1705496/2059040 swapFree=4139544/4192956
[pid=29209] ppid=29207 vsize=2752 CPUtime=0
/proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 312 0 0 0 0 0 0 0 25 0 1 0 25681663 2818048 231 1992294400 134512640 135752675 4291961568 18446744073709551615 134565485 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29209/statm: 688 231 141 303 0 370 0

[startup+0.067067 s]
/proc/loadavg: 0.92 0.95 0.87 3/106 29209
/proc/meminfo: memFree=1705496/2059040 swapFree=4139544/4192956
[pid=29209] ppid=29207 vsize=2964 CPUtime=0.05
/proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 417 0 0 0 5 0 0 0 25 0 1 0 25681663 3035136 323 1992294400 134512640 135752675 4291961568 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29209/statm: 741 323 145 303 0 436 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2964

[startup+0.102069 s]
/proc/loadavg: 0.92 0.95 0.87 3/106 29209
/proc/meminfo: memFree=1705496/2059040 swapFree=4139544/4192956
[pid=29209] ppid=29207 vsize=3220 CPUtime=0.09
/proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 475 0 0 0 9 0 0 0 25 0 1 0 25681663 3297280 381 1992294400 134512640 135752675 4291961568 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29209/statm: 805 381 145 303 0 500 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3220

[startup+0.301089 s]
/proc/loadavg: 0.92 0.95 0.87 3/106 29209
/proc/meminfo: memFree=1705496/2059040 swapFree=4139544/4192956
[pid=29209] ppid=29207 vsize=4264 CPUtime=0.29
/proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 734 0 0 0 28 1 0 0 25 0 1 0 25681663 4366336 640 1992294400 134512640 135752675 4291961568 18446744073709551615 134611645 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29209/statm: 1066 640 145 303 0 761 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4264

[startup+0.70113 s]
/proc/loadavg: 0.92 0.95 0.87 3/106 29209
/proc/meminfo: memFree=1705496/2059040 swapFree=4139544/4192956
[pid=29209] ppid=29207 vsize=5816 CPUtime=0.69
/proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 1116 0 0 0 67 2 0 0 25 0 1 0 25681663 5955584 1022 1992294400 134512640 135752675 4291961568 18446744073709551615 134605377 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29209/statm: 1454 1022 145 303 0 1149 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5816

[startup+1.50021 s]
/proc/loadavg: 0.92 0.95 0.87 2/107 29210
/proc/meminfo: memFree=1701272/2059040 swapFree=4139544/4192956
[pid=29209] ppid=29207 vsize=8296 CPUtime=1.49
/proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 1720 0 0 0 146 3 0 0 25 0 1 0 25681663 8495104 1626 1992294400 134512640 135752675 4291961568 18446744073709551615 134611612 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29209/statm: 2074 1626 145 303 0 1769 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8296

[startup+3.10037 s]
/proc/loadavg: 0.92 0.95 0.87 2/107 29210
/proc/meminfo: memFree=1698296/2059040 swapFree=4139544/4192956
[pid=29209] ppid=29207 vsize=12236 CPUtime=3.09
/proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 2716 0 0 0 303 6 0 0 25 0 1 0 25681663 12529664 2622 1992294400 134512640 135752675 4291961568 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29209/statm: 3059 2623 145 303 0 2754 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12236

[startup+6.3017 s]
/proc/loadavg: 0.93 0.95 0.87 2/107 29210
/proc/meminfo: memFree=1691104/2059040 swapFree=4139544/4192956
[pid=29209] ppid=29207 vsize=17712 CPUtime=6.29
/proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 4082 0 0 0 620 9 0 0 25 0 1 0 25681663 18137088 3988 1992294400 134512640 135752675 4291961568 18446744073709551615 134611809 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29209/statm: 4428 3988 145 303 0 4123 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17712

[startup+12.7014 s]
/proc/loadavg: 0.93 0.95 0.87 2/107 29210
/proc/meminfo: memFree=1679572/2059040 swapFree=4139544/4192956
[pid=29209] ppid=29207 vsize=29040 CPUtime=12.69
/proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 6891 0 0 0 1251 18 0 0 25 0 1 0 25681663 29736960 6797 1992294400 134512640 135752675 4291961568 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29209/statm: 7260 6797 145 303 0 6955 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 29040

[startup+25.5016 s]
/proc/loadavg: 0.95 0.96 0.87 2/107 29210
/proc/meminfo: memFree=1661964/2059040 swapFree=4139544/4192956
[pid=29209] ppid=29207 vsize=46256 CPUtime=25.49
/proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 11178 0 0 0 2517 32 0 0 25 0 1 0 25681663 47366144 11084 1992294400 134512640 135752675 4291961568 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29209/statm: 11564 11084 145 303 0 11259 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 46256

[startup+51.1012 s]
/proc/loadavg: 0.96 0.96 0.87 2/107 29211
/proc/meminfo: memFree=1634188/2059040 swapFree=4139544/4192956
[pid=29209] ppid=29207 vsize=74240 CPUtime=51.07
/proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 18153 0 0 0 5055 52 0 0 25 0 1 0 25681663 76021760 18059 1992294400 134512640 135752675 4291961568 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29209/statm: 18560 18059 145 303 0 18255 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 74240

[startup+102.309 s]
/proc/loadavg: 0.98 0.96 0.88 2/107 29212
/proc/meminfo: memFree=1594260/2059040 swapFree=4139544/4192956
[pid=29209] ppid=29207 vsize=113316 CPUtime=102.27
/proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 27905 0 0 0 10143 84 0 0 25 0 1 0 25681663 116035584 27811 1992294400 134512640 135752675 4291961568 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29209/statm: 28329 27811 145 303 0 28024 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 113316

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.89 2/107 29214
/proc/meminfo: memFree=1545900/2059040 swapFree=4139544/4192956
[pid=29209] ppid=29207 vsize=162532 CPUtime=162.25
/proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 40154 0 0 0 16098 127 0 0 25 0 1 0 25681663 166432768 40060 1992294400 134512640 135752675 4291961568 18446744073709551615 135210436 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29209/statm: 40633 40061 145 303 0 40328 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 162532

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.89 2/107 29216
/proc/meminfo: memFree=1514528/2059040 swapFree=4139544/4192956
[pid=29209] ppid=29207 vsize=192632 CPUtime=222.23
/proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 47846 0 0 0 22037 186 0 0 25 0 1 0 25681663 197255168 47724 1992294400 134512640 135752675 4291961568 18446744073709551615 134605363 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29209/statm: 48158 47724 146 303 0 47853 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 192632

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.90 2/107 29217
/proc/meminfo: memFree=1460216/2059040 swapFree=4139544/4192956
[pid=29209] ppid=29207 vsize=247552 CPUtime=282.21
/proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 61505 0 0 0 27974 247 0 0 25 0 1 0 25681663 253493248 61383 1992294400 134512640 135752675 4291961568 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29209/statm: 61888 61383 146 303 0 61583 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 247552

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.90 2/107 29219
/proc/meminfo: memFree=1412476/2059040 swapFree=4139544/4192956
[pid=29209] ppid=29207 vsize=295056 CPUtime=342.19
/proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 73338 0 0 0 33926 293 0 0 25 0 1 0 25681663 302137344 73216 1992294400 134512640 135752675 4291961568 18446744073709551615 134605412 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29209/statm: 73764 73216 146 303 0 73459 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 295056

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 29220
/proc/meminfo: memFree=1376764/2059040 swapFree=4139544/4192956
[pid=29209] ppid=29207 vsize=331048 CPUtime=402.17
/proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 82319 0 0 0 39886 331 0 0 25 0 1 0 25681663 338993152 82197 1992294400 134512640 135752675 4291961568 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29209/statm: 82762 82197 146 303 0 82457 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 331048

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 29222
/proc/meminfo: memFree=1330512/2059040 swapFree=4139544/4192956
[pid=29209] ppid=29207 vsize=376764 CPUtime=462.15
/proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 93744 0 0 0 45834 381 0 0 25 0 1 0 25681663 385806336 93622 1992294400 134512640 135752675 4291961568 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29209/statm: 94191 93622 146 303 0 93886 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 376764

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 29224
/proc/meminfo: memFree=1286616/2059040 swapFree=4139544/4192956
[pid=29209] ppid=29207 vsize=420696 CPUtime=522.13
/proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 104683 0 0 0 51789 424 0 0 25 0 1 0 25681663 430792704 104561 1992294400 134512640 135752675 4291961568 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29209/statm: 105174 104561 146 303 0 104869 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 420696

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 29225
/proc/meminfo: memFree=1244084/2059040 swapFree=4139544/4192956
[pid=29209] ppid=29207 vsize=463128 CPUtime=582.11
/proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 115278 0 0 0 57742 469 0 0 25 0 1 0 25681663 474243072 115156 1992294400 134512640 135752675 4291961568 18446744073709551615 134611798 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29209/statm: 115782 115156 146 303 0 115477 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 463128

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 29227
/proc/meminfo: memFree=1203784/2059040 swapFree=4139544/4192956
[pid=29209] ppid=29207 vsize=503072 CPUtime=642.11
/proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 125241 0 0 0 63696 515 0 0 25 0 1 0 25681663 515145728 125119 1992294400 134512640 135752675 4291961568 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29209/statm: 125768 125119 146 303 0 125463 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 503072

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 29233
/proc/meminfo: memFree=1073584/2059040 swapFree=4139544/4192956
[pid=29209] ppid=29207 vsize=632852 CPUtime=882.03
/proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 157688 0 0 0 87510 693 0 0 25 0 1 0 25681663 648040448 157566 1992294400 134512640 135752675 4291961568 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29209/statm: 158213 157566 146 303 0 157908 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 632852

[startup+942.301 s]
/proc/loadavg: 1.04 0.99 0.91 2/107 29235
/proc/meminfo: memFree=1041220/2059040 swapFree=4139544/4192956
[pid=29209] ppid=29207 vsize=665372 CPUtime=942.01
/proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 165799 0 0 0 93469 732 0 0 25 0 1 0 25681663 681340928 165677 1992294400 134512640 135752675 4291961568 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29209/statm: 166343 165677 146 303 0 166038 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 665372

[startup+1002.3 s]
/proc/loadavg: 1.13 1.02 0.93 2/107 29236
/proc/meminfo: memFree=1013196/2059040 swapFree=4139544/4192956
[pid=29209] ppid=29207 vsize=693312 CPUtime=1001.98
/proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 172756 0 0 0 99429 769 0 0 25 0 1 0 25681663 709951488 172634 1992294400 134512640 135752675 4291961568 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29209/statm: 173328 172634 146 303 0 173023 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 693312

[startup+1062.3 s]
/proc/loadavg: 1.11 1.03 0.93 2/107 29238
/proc/meminfo: memFree=981824/2059040 swapFree=4139544/4192956
[pid=29209] ppid=29207 vsize=724628 CPUtime=1061.98
/proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 180599 0 0 0 105384 814 0 0 25 0 1 0 25681663 742019072 180477 1992294400 134512640 135752675 4291961568 18446744073709551615 134603250 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29209/statm: 181157 180477 146 303 0 180852 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 724628

[startup+1122.3 s]
/proc/loadavg: 1.09 1.04 0.94 2/107 29240
/proc/meminfo: memFree=947228/2059040 swapFree=4139544/4192956
[pid=29209] ppid=29207 vsize=759448 CPUtime=1121.94
/proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 189279 0 0 0 111334 860 0 0 25 0 1 0 25681663 777674752 189157 1992294400 134512640 135752675 4291961568 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29209/statm: 189862 189157 146 303 0 189557 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 759448

[startup+1182.3 s]
/proc/loadavg: 1.15 1.06 0.95 2/107 29241
/proc/meminfo: memFree=914244/2059040 swapFree=4139544/4192956
[pid=29209] ppid=29207 vsize=792252 CPUtime=1181.93
/proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 197465 0 0 0 117287 906 0 0 25 0 1 0 25681663 811266048 197343 1992294400 134512640 135752675 4291961568 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29209/statm: 198063 197343 146 303 0 197758 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 792252

[startup+1242.3 s]
/proc/loadavg: 1.11 1.06 0.95 2/107 29243
/proc/meminfo: memFree=879400/2059040 swapFree=4139544/4192956
[pid=29209] ppid=29207 vsize=826848 CPUtime=1241.91
/proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 206108 0 0 0 123240 951 0 0 25 0 1 0 25681663 846692352 205986 1992294400 134512640 135752675 4291961568 18446744073709551615 134611655 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29209/statm: 206712 205986 146 303 0 206407 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 826848

[startup+1302.3 s]
/proc/loadavg: 1.09 1.06 0.96 2/107 29244
/proc/meminfo: memFree=831040/2059040 swapFree=4139544/4192956
[pid=29209] ppid=29207 vsize=874796 CPUtime=1301.9
/proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 218096 0 0 0 129190 1000 0 0 25 0 1 0 25681663 895791104 217974 1992294400 134512640 135752675 4291961568 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29209/statm: 218699 217974 146 303 0 218394 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 874796

[startup+1362.3 s]
/proc/loadavg: 1.10 1.08 0.97 2/107 29255
/proc/meminfo: memFree=820004/2059040 swapFree=4139544/4192956
[pid=29209] ppid=29207 vsize=885212 CPUtime=1361.86
/proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 221158 0 0 0 135148 1038 0 0 25 0 1 0 25681663 906457088 220861 1992294400 134512640 135752675 4291961568 18446744073709551615 134605381 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29209/statm: 221303 220861 146 303 0 220998 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 885212

[startup+1422.31 s]
/proc/loadavg: 1.04 1.06 0.97 2/107 29257
/proc/meminfo: memFree=775860/2059040 swapFree=4139544/4192956
[pid=29209] ppid=29207 vsize=928844 CPUtime=1421.85
/proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 231990 0 0 0 141100 1085 0 0 25 0 1 0 25681663 951136256 231693 1992294400 134512640 135752675 4291961568 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29209/statm: 232211 231693 146 303 0 231906 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 928844

[startup+1482.3 s]
/proc/loadavg: 1.01 1.05 0.97 2/107 29258
/proc/meminfo: memFree=730600/2059040 swapFree=4139544/4192956
[pid=29209] ppid=29207 vsize=975124 CPUtime=1481.83
/proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 243542 0 0 0 147043 1140 0 0 25 0 1 0 25681663 998526976 243245 1992294400 134512640 135752675 4291961568 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29209/statm: 243781 243245 146 303 0 243476 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 975124

[startup+1542.3 s]
/proc/loadavg: 1.04 1.05 0.97 2/107 29260
/proc/meminfo: memFree=685340/2059040 swapFree=4139544/4192956
[pid=29209] ppid=29207 vsize=1019428 CPUtime=1541.81
/proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 254602 0 0 0 152986 1195 0 0 25 0 1 0 25681663 1043894272 254305 1992294400 134512640 135752675 4291961568 18446744073709551615 134612140 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29209/statm: 254857 254305 146 303 0 254552 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1019428

[startup+1602.3 s]
/proc/loadavg: 1.01 1.04 0.97 2/107 29261
/proc/meminfo: memFree=643428/2059040 swapFree=4139544/4192956
[pid=29209] ppid=29207 vsize=1061964 CPUtime=1601.79
/proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 265241 0 0 0 158926 1253 0 0 25 0 1 0 25681663 1087451136 264944 1992294400 134512640 135752675 4291961568 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29209/statm: 265491 264944 146 303 0 265186 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1061964

[startup+1662.3 s]
/proc/loadavg: 1.07 1.04 0.98 2/107 29263
/proc/meminfo: memFree=616024/2059040 swapFree=4139544/4192956
[pid=29209] ppid=29207 vsize=1088620 CPUtime=1661.77
/proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 271873 0 0 0 164889 1288 0 0 25 0 1 0 25681663 1114746880 271576 1992294400 134512640 135752675 4291961568 18446744073709551615 134611597 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29209/statm: 272155 271576 146 303 0 271850 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 1088620

[startup+1722.3 s]
/proc/loadavg: 1.02 1.03 0.98 2/107 29265
/proc/meminfo: memFree=582296/2059040 swapFree=4139544/4192956
[pid=29209] ppid=29207 vsize=1122552 CPUtime=1721.75
/proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 280332 0 0 0 170846 1329 0 0 25 0 1 0 25681663 1149493248 280035 1992294400 134512640 135752675 4291961568 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29209/statm: 280638 280035 146 303 0 280333 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 1122552

[startup+1782.3 s]
/proc/loadavg: 1.01 1.02 0.98 2/107 29266
/proc/meminfo: memFree=555636/2059040 swapFree=4139544/4192956
[pid=29209] ppid=29207 vsize=1148948 CPUtime=1781.73
/proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 286942 0 0 0 176809 1364 0 0 25 0 1 0 25681663 1176522752 286645 1992294400 134512640 135752675 4291961568 18446744073709551615 134611615 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29209/statm: 287237 286645 146 303 0 286932 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 1148948



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.02 0.98 2/107 29267
/proc/meminfo: memFree=546708/2059040 swapFree=4139544/4192956
[pid=29209] ppid=29207 vsize=1157824 CPUtime=1800.04
/proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 289134 0 0 0 178629 1375 0 0 25 0 1 0 25681663 1185611776 288837 1992294400 134512640 135752675 4291961568 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29209/statm: 289456 288837 146 303 0 289151 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1157824

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

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

[startup+1800.72 s]
/proc/loadavg: 1.00 1.02 0.98 2/107 29267
/proc/meminfo: memFree=546708/2059040 swapFree=4139544/4192956
[pid=29209] ppid=29207 vsize=0 CPUtime=1800.14
/proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4203524 289134 0 0 0 178629 1385 0 0 25 0 1 0 25681663 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/29209/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.73
CPU time (s): 1800.16
CPU user time (s): 1786.29
CPU system time (s): 13.8679
CPU usage (%): 99.9685
Max. virtual memory (cumulated for all children) (KiB): 1157824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.29
system time used= 13.8679
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 289134
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= 6
involuntary context switches= 1433

runsolver used 4.14937 second user time and 8.96164 second system time

The end

Launcher Data 

Begin job on node027 at 2010-07-08 09:38:22
IDJOB=2702685
IDBENCH=48277
IDSOLVER=1190
FILE ID=node027/2702685-1278574702
PBS_JOBID= 11240095
Free space on /tmp= 62524 MiB

SOLVER NAME= wbo 1.4b (fixed)
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_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-2702685-1278574702/watcher-2702685-1278574702 -o /tmp/evaluation-result-2702685-1278574702/solver-2702685-1278574702 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702685-1278574702.opb

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

MD5SUM BENCH= 3258ae2375db1ca5a9ce9d305f00baf0
RANDOM SEED=1590490803

node027.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		: 2800.222
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	: 5600.44
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		: 2800.222
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.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1706272 kB
Buffers:         64388 kB
Cached:         187768 kB
SwapCached:       7452 kB
Active:         103072 kB
Inactive:       163464 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1706272 kB
SwapTotal:     4192956 kB
SwapFree:      4139544 kB
Dirty:            2664 kB
Writeback:           8 kB
AnonPages:       11960 kB
Mapped:          12032 kB
Slab:            64188 kB
PageTables:       4072 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180364 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264952 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702685-1278574702.opb

Free space on /tmp at the end= 62524 MiB
End job on node027 at 2010-07-08 10:08:25