Trace number 2702655

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_10_2.opb
MD5SUM2468d4642d986af58e932976ec0c4f0e
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 benchmark1464.73
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)1232
Sum of products size (including duplicates)2464
Number of different products616
Sum of products size1232

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-2702655-1278573095.opb.
0.00/0.00	c Instance file HOME/instance-2702655-1278573095.opb
0.00/0.00	c File size is 50402 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:      716                                                 |
0.00/0.01	c |  Number Clauses:        666                                                 |
0.00/0.01	c |  Number Cardinality:    102                                                 |
0.00/0.01	c |  Number PB Constraints: 616                                                 |
0.00/0.02	c ============================[ Search Statistics ]==============================
0.00/0.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |     716     1384     5228 |     5000        0    nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 0
0.00/0.02	o 0
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 |         0 |     716     1385     5278 |     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.018997 s	Remaining CPU time: 179.981 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         1 |     716     1386     5328 |     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.019996 s	Remaining CPU time: 179.98 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         1 |     716     1387     5378 |     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.020996 s	Remaining CPU time: 179.979 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |        19 |     716     1388     5428 |     5000       19     92 |  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.021996 s	Remaining CPU time: 179.978 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |        31 |     716     1389     5478 |     5000       31     84 |  0.000 % |
0.00/0.03	c |       131 |     716     1389     5478 |     5500      131     89 |  0.003 % |
0.00/0.04	c |       285 |     716     1389     5478 |     6050      285     91 |  0.003 % |
0.05/0.05	c |       510 |     716     1389     5478 |     6655      510     85 |  0.003 % |
0.05/0.08	c |       849 |     716     1389     5478 |     7320      849     88 |  0.002 % |
0.05/0.09	c ===============================================================================
0.05/0.09	c New solution: -5
0.05/0.09	o -5
0.05/0.09	c Elapsed CPU time: 0.083987 s	Remaining CPU time: 179.916 s
0.05/0.09	c ===============================================================================
0.05/0.09	c |       947 |     716     1390     5528 |     5000      947     87 |  0.002 % |
0.05/0.09	c |      1047 |     716     1390     5528 |     5500     1047     88 |  0.002 % |
0.09/0.11	c |      1198 |     716     1390     5528 |     6050     1198     88 |  0.002 % |
0.09/0.13	c |      1423 |     716     1390     5528 |     6655     1423     89 |  0.002 % |
0.09/0.17	c |      1762 |     716     1390     5528 |     7320     1762     89 |  0.002 % |
0.19/0.22	c |      2269 |     716     1390     5528 |     8052     2269     89 |  0.002 % |
0.19/0.27	c ===============================================================================
0.19/0.27	c New solution: -6
0.19/0.27	o -6
0.19/0.27	c Elapsed CPU time: 0.26096 s	Remaining CPU time: 179.739 s
0.19/0.27	c ===============================================================================
0.19/0.27	c |      2780 |     716     1391     5578 |     5000     2780     89 |  0.002 % |
0.19/0.28	c |      2882 |     716     1391     5578 |     5500     2882     89 |  0.002 % |
0.28/0.30	c |      3033 |     716     1391     5578 |     6050     3033     88 |  0.002 % |
0.28/0.33	c |      3260 |     716     1391     5578 |     6655     3260     88 |  0.003 % |
0.28/0.36	c |      3597 |     716     1391     5578 |     7320     3597     88 |  0.004 % |
0.38/0.44	c |      4103 |     716     1391     5578 |     8052     4103     88 |  0.003 % |
0.49/0.53	c |      4862 |     716     1391     5578 |     8857     4862     88 |  0.002 % |
0.49/0.54	c ===============================================================================
0.49/0.54	c New solution: -7
0.49/0.54	o -7
0.49/0.54	c Elapsed CPU time: 0.529919 s	Remaining CPU time: 179.47 s
0.49/0.54	c ===============================================================================
0.49/0.54	c |      4886 |     716     1392     5628 |     5000     4886     88 |  0.002 % |
0.49/0.59	c |      4988 |     716     1392     5628 |     5500     4988     88 |  0.003 % |
0.59/0.63	c |      5138 |     716     1392     5628 |     6050     5138     88 |  0.003 % |
0.59/0.66	c |      5366 |     716     1392     5628 |     6655     5366     88 |  0.003 % |
0.59/0.69	c |      5706 |     716     1392     5628 |     7320     5706     87 |  0.003 % |
0.69/0.77	c |      6213 |     716     1392     5628 |     8052     6213     87 |  0.003 % |
0.79/0.87	c |      6972 |     716     1392     5628 |     8857     6972     87 |  0.003 % |
0.79/0.87	c ===============================================================================
0.79/0.87	c New solution: -8
0.79/0.87	o -8
0.79/0.87	c Elapsed CPU time: 0.859869 s	Remaining CPU time: 179.14 s
0.79/0.87	c ===============================================================================
0.79/0.87	c |      7008 |     716     1393     5678 |     5000     7008     87 |  0.003 % |
0.89/0.91	c |      7108 |     716     1393     5678 |     5500     3604     86 |  0.003 % |
0.89/0.93	c |      7261 |     716     1393     5678 |     6050     3757     86 |  0.003 % |
0.89/0.95	c |      7488 |     716     1393     5678 |     6655     3984     86 |  0.003 % |
0.89/0.98	c |      7825 |     716     1393     5678 |     7320     4321     86 |  0.003 % |
0.99/1.03	c |      8332 |     716     1393     5678 |     8052     4828     86 |  0.003 % |
1.10/1.12	c |      9091 |     716     1393     5678 |     8857     5587     86 |  0.003 % |
1.19/1.27	c |     10230 |     716     1393     5678 |     9743     6726     86 |  0.003 % |
1.39/1.49	c |     11940 |     716     1393     5678 |    10717     8436     86 |  0.002 % |
1.89/1.91	c |     14503 |     716     1393     5678 |    11789    10999     86 |  0.003 % |
2.59/2.67	c |     18347 |     716     1393     5678 |    12968     8610     86 |  0.003 % |
3.99/4.03	c |     24115 |     716     1393     5678 |    14265     7550     85 |  0.002 % |
5.69/5.77	c |     32765 |     716     1393     5678 |    15692     8730     85 |  0.002 % |
8.70/8.80	c |     45740 |     716     1393     5678 |    17261    13515     82 |  0.003 % |
15.08/15.17	c |     65201 |     716     1393     5678 |    18987    15033     87 |  0.002 % |
28.18/28.24	c |     94397 |     716     1393     5678 |    20886    14723     86 |  0.002 % |
41.28/41.32	c |    138186 |     716     1393     5678 |    22974    15156     83 |  0.003 % |
61.97/62.04	c |    203871 |     716     1393     5678 |    25272    16889     84 |  0.002 % |
102.17/102.25	c |    302399 |     716     1393     5678 |    27799    25861     83 |  0.002 % |
171.84/171.92	c |    450192 |     716     1393     5678 |    30579    17440     85 |  0.003 % |
181.45/181.59	c There are 0 assigned variables. 0 in cost function.
182.04/182.14	c core #1
182.04/182.14	c 
182.04/182.14	c 
182.04/182.14	c Core size: 101	Core Weight: 1	Total Weight: -49
182.04/182.14	c
182.04/182.14	c
182.04/182.14	c ============================[ Search Statistics ]==============================
182.04/182.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.04/182.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.04/182.14	c ===============================================================================
182.04/182.14	c |         0 |     766     1482     5921 |     5000        0    nan |  0.000 % |
182.04/182.14	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: 45	Core Weight: 1	Total Weight: -48
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 |     807     1488     6018 |     5000        0    nan |  0.000 % |
182.04/182.16	c |       100 |     790     1488     6018 |     5500       72     34 |  2.107 % |
182.04/182.18	c |       250 |     776     1488     6018 |     6050      197     30 |  5.330 % |
182.14/182.20	c |       476 |     749     1488     6018 |     6655      349     31 | 11.524 % |
182.14/182.24	c ===============================================================================
182.14/182.25	c core #3
182.14/182.25	c 
182.14/182.25	c 
182.14/182.25	c Core size: 75	Core Weight: 1	Total Weight: -47
182.14/182.25	c
182.14/182.25	c
182.14/182.25	c ============================[ Search Statistics ]==============================
182.14/182.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.14/182.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.14/182.25	c ===============================================================================
182.14/182.25	c |         0 |     856     1495     6134 |     5000        0    nan |  0.000 % |
182.14/182.26	c |       100 |     856     1495     6134 |     5500      100     52 |  0.002 % |
182.14/182.28	c |       250 |     856     1495     6134 |     6050      250     46 |  0.000 % |
182.24/182.30	c |       478 |     856     1495     6134 |     6655      478     36 |  0.002 % |
182.24/182.34	c |       816 |     856     1495     6134 |     7320      816     31 |  0.004 % |
182.34/182.41	c |      1322 |     856     1495     6134 |     8052     1322     30 |  0.006 % |
182.45/182.51	c |      2081 |     856     1495     6134 |     8857     2081     30 |  0.009 % |
182.55/182.69	c |      3221 |     856     1495     6134 |     9743     3221     29 |  0.012 % |
182.84/182.97	c |      4929 |     843     1495     6134 |    10717     3879     30 |  1.575 % |
183.44/183.52	c |      7494 |     759     1495     6134 |    11789     4678     35 | 32.369 % |
183.44/183.53	c ===============================================================================
183.55/183.61	c core #4
183.55/183.61	c 
183.55/183.61	c 
183.55/183.61	c Core size: 58	Core Weight: 1	Total Weight: -46
183.55/183.61	c
183.55/183.61	c
183.55/183.61	c ============================[ Search Statistics ]==============================
183.55/183.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.55/183.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.55/183.61	c ===============================================================================
183.55/183.61	c |         0 |     906     1743     6974 |     5000        0    nan |  0.000 % |
183.55/183.63	c |       101 |     906     1743     6974 |     5500      101     68 |  0.002 % |
183.55/183.66	c |       252 |     906     1743     6974 |     6050      252     55 |  0.001 % |
183.55/183.69	c |       477 |     906     1743     6974 |     6655      477     43 |  0.001 % |
183.65/183.74	c |       815 |     906     1743     6974 |     7320      815     41 |  0.001 % |
183.74/183.82	c |      1321 |     906     1743     6974 |     8052     1321     43 |  0.000 % |
183.84/183.93	c |      2085 |     906     1743     6974 |     8857     2085     42 |  0.001 % |
184.04/184.11	c |      3225 |     906     1743     6974 |     9743     3225     40 |  0.001 % |
184.34/184.45	c |      4935 |     906     1743     6974 |    10717     4935     40 |  0.001 % |
184.94/185.01	c |      7506 |     906     1743     6974 |    11789     7506     41 |  0.002 % |
185.75/185.80	c |     11350 |     906     1743     6974 |    12968    11350     53 |  0.002 % |
187.24/187.37	c |     17116 |     906     1743     6974 |    14265    10303     72 |  0.002 % |
189.33/189.47	c |     25769 |     906     1743     6974 |    15692    11479     77 |  0.001 % |
192.44/192.56	c |     38744 |     906     1743     6974 |    17261     8392     72 |  0.001 % |
197.84/197.96	c |     58215 |     906     1743     6974 |    18987     9944     71 |  0.002 % |
206.44/206.58	c |     87407 |     906     1743     6974 |    20886    19467     70 |  0.001 % |
218.93/219.09	c |    131197 |     906     1743     6974 |    22974    20189     68 |  0.002 % |
242.22/242.32	c |    196881 |     906     1743     6974 |    25272    23568     50 |  0.001 % |
279.12/279.27	c |    295407 |     886     1743     6974 |    27799    22315     45 |  2.218 % |
282.52/282.66	c ===============================================================================
283.72/283.83	c core #5
283.72/283.83	c 
283.72/283.83	c 
283.72/283.83	c Core size: 62	Core Weight: 1	Total Weight: -45
283.72/283.83	c
283.72/283.83	c
283.72/283.83	c ============================[ Search Statistics ]==============================
283.72/283.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
283.72/283.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
283.72/283.83	c ===============================================================================
283.72/283.83	c |         0 |     956     2158     8301 |     5000        0    nan |  0.000 % |
283.82/283.92	c |       100 |     956     2158     8301 |     5500      100     98 |  0.002 % |
283.82/283.92	c |       251 |     956     2158     8301 |     6050      251     46 |  0.001 % |
283.82/283.96	c |       476 |     956     2158     8301 |     6655      476     49 |  0.000 % |
283.91/284.02	c |       814 |     956     2158     8301 |     7320      814     52 |  0.001 % |
284.02/284.10	c |      1320 |     956     2158     8301 |     8052     1320     45 |  0.000 % |
284.12/284.22	c |      2080 |     956     2158     8301 |     8857     2080     43 |  0.000 % |
284.31/284.45	c |      3220 |     956     2158     8301 |     9743     3220     39 |  0.000 % |
284.61/284.77	c |      4930 |     956     2158     8301 |    10717     4930     43 |  0.001 % |
285.11/285.29	c |      7494 |     956     2158     8301 |    11789     7494     49 |  0.001 % |
286.31/286.41	c |     11338 |     956     2158     8301 |    12968    11338     53 |  0.001 % |
288.12/288.26	c |     17106 |     956     2158     8301 |    14265    10442     53 |  0.001 % |
290.22/290.31	c |     25757 |     956     2158     8301 |    15692    11723     56 |  0.001 % |
293.31/293.46	c |     38734 |     956     2158     8301 |    17261     8321     80 |  0.001 % |
297.52/297.62	c |     58195 |     956     2158     8301 |    18987     9840     77 |  0.001 % |
307.61/307.73	c |     87387 |     956     2158     8301 |    20886    19361     77 |  0.002 % |
323.60/323.79	c |    131179 |     956     2158     8301 |    22974    19986     73 |  0.001 % |
351.30/351.43	c |    196863 |     956     2158     8301 |    25272    22589     76 |  0.002 % |
391.28/391.45	c |    295389 |     956     2158     8301 |    27799    17681     78 |  0.002 % |
457.27/457.48	c |    443178 |     956     2158     8301 |    30579    27427     74 |  0.001 % |
560.04/560.24	c |    664864 |     956     2158     8301 |    33637    12348     70 |  0.002 % |
727.39/727.64	c |    997391 |     956     2158     8301 |    37001    26427     70 |  0.002 % |
994.73/995.02	c |   1496184 |     956     2158     8301 |    40701    36594     65 |  0.001 % |
1460.41/1460.87	c |   2244366 |     956     2158     8301 |    44771    17511     63 |  0.002 % |

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-2702655-1278573095/watcher-2702655-1278573095 -o /tmp/evaluation-result-2702655-1278573095/solver-2702655-1278573095 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702655-1278573095.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.95 0.46 0.44 3/106 29285
/proc/meminfo: memFree=1710420/2059040 swapFree=4139492/4192956
[pid=29285] ppid=29283 vsize=2628 CPUtime=0
/proc/29285/stat : 29285 (wbo1.4b) R 29283 29285 29206 0 -1 4202496 295 0 0 0 0 0 0 0 19 0 1 0 25521645 2691072 213 1992294400 134512640 135752675 4292099376 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29285/statm: 657 214 136 303 0 339 0

[startup+0.0563871 s]
/proc/loadavg: 0.95 0.46 0.44 3/106 29285
/proc/meminfo: memFree=1710420/2059040 swapFree=4139492/4192956
[pid=29285] ppid=29283 vsize=2972 CPUtime=0.05
/proc/29285/stat : 29285 (wbo1.4b) R 29283 29285 29206 0 -1 4202496 411 0 0 0 5 0 0 0 20 0 1 0 25521645 3043328 316 1992294400 134512640 135752675 4292099376 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29285/statm: 743 316 145 303 0 438 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2972

[startup+0.101392 s]
/proc/loadavg: 0.95 0.46 0.44 3/106 29285
/proc/meminfo: memFree=1710420/2059040 swapFree=4139492/4192956
[pid=29285] ppid=29283 vsize=3232 CPUtime=0.09
/proc/29285/stat : 29285 (wbo1.4b) R 29283 29285 29206 0 -1 4202496 482 0 0 0 9 0 0 0 20 0 1 0 25521645 3309568 387 1992294400 134512640 135752675 4292099376 18446744073709551615 134612072 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29285/statm: 808 387 145 303 0 503 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3232

[startup+0.301413 s]
/proc/loadavg: 0.95 0.46 0.44 3/106 29285
/proc/meminfo: memFree=1710420/2059040 swapFree=4139492/4192956
[pid=29285] ppid=29283 vsize=4280 CPUtime=0.28
/proc/29285/stat : 29285 (wbo1.4b) R 29283 29285 29206 0 -1 4202496 718 0 0 0 28 0 0 0 20 0 1 0 25521645 4382720 623 1992294400 134512640 135752675 4292099376 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29285/statm: 1070 623 145 303 0 765 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 4280

[startup+0.701456 s]
/proc/loadavg: 0.95 0.46 0.44 3/106 29285
/proc/meminfo: memFree=1710420/2059040 swapFree=4139492/4192956
[pid=29285] ppid=29283 vsize=5580 CPUtime=0.69
/proc/29285/stat : 29285 (wbo1.4b) R 29283 29285 29206 0 -1 4202496 1058 0 0 0 68 1 0 0 20 0 1 0 25521645 5713920 963 1992294400 134512640 135752675 4292099376 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29285/statm: 1395 963 145 303 0 1090 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5580

[startup+1.50154 s]
/proc/loadavg: 0.95 0.47 0.44 2/107 29286
/proc/meminfo: memFree=1706568/2059040 swapFree=4139492/4192956
[pid=29285] ppid=29283 vsize=8312 CPUtime=1.49
/proc/29285/stat : 29285 (wbo1.4b) R 29283 29285 29206 0 -1 4202496 1751 0 0 0 146 3 0 0 22 0 1 0 25521645 8511488 1656 1992294400 134512640 135752675 4292099376 18446744073709551615 134612104 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29285/statm: 2078 1656 145 303 0 1773 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8312

[startup+3.10071 s]
/proc/loadavg: 0.95 0.47 0.44 2/107 29286
/proc/meminfo: memFree=1703096/2059040 swapFree=4139492/4192956
[pid=29285] ppid=29283 vsize=12296 CPUtime=3.09
/proc/29285/stat : 29285 (wbo1.4b) R 29283 29285 29206 0 -1 4202496 2721 0 0 0 304 5 0 0 25 0 1 0 25521645 12591104 2626 1992294400 134512640 135752675 4292099376 18446744073709551615 134611628 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29285/statm: 3074 2626 145 303 0 2769 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12296

[startup+6.30105 s]
/proc/loadavg: 0.95 0.47 0.44 2/107 29286
/proc/meminfo: memFree=1695780/2059040 swapFree=4139492/4192956
[pid=29285] ppid=29283 vsize=18952 CPUtime=6.29
/proc/29285/stat : 29285 (wbo1.4b) R 29283 29285 29206 0 -1 4202496 4394 0 0 0 620 9 0 0 25 0 1 0 25521645 19406848 4299 1992294400 134512640 135752675 4292099376 18446744073709551615 134605360 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29285/statm: 4738 4299 145 303 0 4433 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18952

[startup+12.7007 s]
/proc/loadavg: 0.96 0.49 0.45 2/107 29286
/proc/meminfo: memFree=1685488/2059040 swapFree=4139492/4192956
[pid=29285] ppid=29283 vsize=28428 CPUtime=12.68
/proc/29285/stat : 29285 (wbo1.4b) R 29283 29285 29206 0 -1 4202496 6757 0 0 0 1252 16 0 0 25 0 1 0 25521645 29110272 6662 1992294400 134512640 135752675 4292099376 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29285/statm: 7107 6662 145 303 0 6802 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 28428

[startup+25.5011 s]
/proc/loadavg: 0.96 0.50 0.45 2/107 29286
/proc/meminfo: memFree=1671104/2059040 swapFree=4139492/4192956
[pid=29285] ppid=29283 vsize=42024 CPUtime=25.48
/proc/29285/stat : 29285 (wbo1.4b) R 29283 29285 29206 0 -1 4202496 10119 0 0 0 2522 26 0 0 25 0 1 0 25521645 43032576 10024 1992294400 134512640 135752675 4292099376 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29285/statm: 10506 10024 145 303 0 10201 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 42024

[startup+51.1008 s]
/proc/loadavg: 0.98 0.54 0.47 2/107 29286
/proc/meminfo: memFree=1636012/2059040 swapFree=4139492/4192956
[pid=29285] ppid=29283 vsize=77616 CPUtime=51.08
/proc/29285/stat : 29285 (wbo1.4b) R 29283 29285 29206 0 -1 4202496 18995 0 0 0 5056 52 0 0 25 0 1 0 25521645 79478784 18900 1992294400 134512640 135752675 4292099376 18446744073709551615 134611647 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29285/statm: 19404 18900 145 303 0 19099 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 77616

[startup+102.308 s]
/proc/loadavg: 0.99 0.62 0.49 2/107 29288
/proc/meminfo: memFree=1578724/2059040 swapFree=4139492/4192956
[pid=29285] ppid=29283 vsize=134116 CPUtime=102.27
/proc/29285/stat : 29285 (wbo1.4b) R 29283 29285 29206 0 -1 4202496 33100 0 0 0 10130 97 0 0 25 0 1 0 25521645 137334784 33005 1992294400 134512640 135752675 4292099376 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29285/statm: 33529 33005 145 303 0 33224 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 134116

[startup+162.302 s]
/proc/loadavg: 0.99 0.68 0.52 2/107 29290
/proc/meminfo: memFree=1525652/2059040 swapFree=4139492/4192956
[pid=29285] ppid=29283 vsize=187364 CPUtime=162.25
/proc/29285/stat : 29285 (wbo1.4b) R 29283 29285 29206 0 -1 4202496 46405 0 0 0 16086 139 0 0 25 0 1 0 25521645 191860736 46310 1992294400 134512640 135752675 4292099376 18446744073709551615 134603244 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29285/statm: 46841 46310 145 303 0 46536 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 187364

[startup+222.301 s]
/proc/loadavg: 0.99 0.74 0.55 2/107 29292
/proc/meminfo: memFree=1471960/2059040 swapFree=4139492/4192956
[pid=29285] ppid=29283 vsize=240280 CPUtime=222.23
/proc/29285/stat : 29285 (wbo1.4b) R 29283 29285 29206 0 -1 4202496 59748 0 0 0 22014 209 0 0 25 0 1 0 25521645 246046720 59622 1992294400 134512640 135752675 4292099376 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29285/statm: 60070 59622 146 303 0 59765 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 240280

[startup+282.302 s]
/proc/loadavg: 0.99 0.78 0.57 2/107 29292
/proc/meminfo: memFree=1431784/2059040 swapFree=4139492/4192956
[pid=29285] ppid=29283 vsize=280720 CPUtime=282.21
/proc/29285/stat : 29285 (wbo1.4b) R 29283 29285 29206 0 -1 4202496 69820 0 0 0 27945 276 0 0 25 0 1 0 25521645 287457280 69694 1992294400 134512640 135752675 4292099376 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29285/statm: 70180 69694 146 303 0 69875 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 280720

[startup+342.301 s]
/proc/loadavg: 0.99 0.82 0.60 2/107 29294
/proc/meminfo: memFree=1380200/2059040 swapFree=4139492/4192956
[pid=29285] ppid=29283 vsize=332288 CPUtime=342.2
/proc/29285/stat : 29285 (wbo1.4b) R 29283 29285 29206 0 -1 4202496 82681 0 0 0 33880 340 0 0 25 0 1 0 25521645 340262912 82555 1992294400 134512640 135752675 4292099376 18446744073709551615 134611551 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29285/statm: 83072 82555 146 303 0 82767 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 332288

[startup+402.301 s]
/proc/loadavg: 0.99 0.85 0.62 2/107 29296
/proc/meminfo: memFree=1331592/2059040 swapFree=4139492/4192956
[pid=29285] ppid=29283 vsize=380984 CPUtime=402.19
/proc/29285/stat : 29285 (wbo1.4b) R 29283 29285 29206 0 -1 4202496 94830 0 0 0 39822 397 0 0 25 0 1 0 25521645 390127616 94704 1992294400 134512640 135752675 4292099376 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29285/statm: 95246 94704 146 303 0 94941 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 380984

[startup+462.302 s]
/proc/loadavg: 0.99 0.87 0.64 2/107 29301
/proc/meminfo: memFree=1286952/2059040 swapFree=4139492/4192956
[pid=29285] ppid=29283 vsize=424788 CPUtime=462.17
/proc/29285/stat : 29285 (wbo1.4b) R 29283 29285 29206 0 -1 4202496 105789 0 0 0 45770 447 0 0 25 0 1 0 25521645 434982912 105663 1992294400 134512640 135752675 4292099376 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29285/statm: 106197 105663 146 303 0 105892 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 424788

[startup+522.301 s]
/proc/loadavg: 0.99 0.89 0.66 2/107 29303
/proc/meminfo: memFree=1246156/2059040 swapFree=4139492/4192956
[pid=29285] ppid=29283 vsize=465692 CPUtime=522.15
/proc/29285/stat : 29285 (wbo1.4b) R 29283 29285 29206 0 -1 4202496 116011 0 0 0 51712 503 0 0 25 0 1 0 25521645 476868608 115885 1992294400 134512640 135752675 4292099376 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29285/statm: 116423 115885 146 303 0 116118 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 465692

[startup+582.302 s]
/proc/loadavg: 0.99 0.91 0.68 2/107 29303
/proc/meminfo: memFree=1198292/2059040 swapFree=4139492/4192956
[pid=29285] ppid=29283 vsize=513280 CPUtime=582.13
/proc/29285/stat : 29285 (wbo1.4b) R 29283 29285 29206 0 -1 4202496 127910 0 0 0 57658 555 0 0 25 0 1 0 25521645 525598720 127784 1992294400 134512640 135752675 4292099376 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29285/statm: 128320 127784 146 303 0 128015 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 513280

[startup+642.301 s]
/proc/loadavg: 0.99 0.92 0.70 2/107 29305
/proc/meminfo: memFree=1157124/2059040 swapFree=4139492/4192956
[pid=29285] ppid=29283 vsize=553968 CPUtime=642.13
/proc/29285/stat : 29285 (wbo1.4b) R 29283 29285 29206 0 -1 4202496 138052 0 0 0 63614 599 0 0 25 0 1 0 25521645 567263232 137926 1992294400 134512640 135752675 4292099376 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29285/statm: 138492 137926 146 303 0 138187 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 553968

[startup+702.301 s]

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

[startup+882.302 s]
/proc/loadavg: 0.99 0.96 0.75 2/107 29311
/proc/meminfo: memFree=1001504/2059040 swapFree=4139492/4192956
[pid=29285] ppid=29283 vsize=709324 CPUtime=882.06
/proc/29285/stat : 29285 (wbo1.4b) R 29283 29285 29206 0 -1 4202496 176886 0 0 0 87419 787 0 0 25 0 1 0 25521645 726347776 176760 1992294400 134512640 135752675 4292099376 18446744073709551615 135210436 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29285/statm: 177331 176760 146 303 0 177026 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 709324

[startup+942.301 s]
/proc/loadavg: 0.99 0.96 0.76 2/107 29313
/proc/meminfo: memFree=961948/2059040 swapFree=4139492/4192956
[pid=29285] ppid=29283 vsize=749048 CPUtime=942.05
/proc/29285/stat : 29285 (wbo1.4b) R 29283 29285 29206 0 -1 4202496 186806 0 0 0 93365 840 0 0 25 0 1 0 25521645 767025152 186680 1992294400 134512640 135752675 4292099376 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29285/statm: 187262 186680 146 303 0 186957 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 749048

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.78 2/107 29315
/proc/meminfo: memFree=924128/2059040 swapFree=4139492/4192956
[pid=29285] ppid=29283 vsize=786960 CPUtime=1002.03
/proc/29285/stat : 29285 (wbo1.4b) R 29283 29285 29206 0 -1 4202496 196255 0 0 0 99314 889 0 0 25 0 1 0 25521645 805847040 196129 1992294400 134512640 135752675 4292099376 18446744073709551615 134518522 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29285/statm: 196740 196129 146 303 0 196435 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 786960

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.79 2/107 29317
/proc/meminfo: memFree=893128/2059040 swapFree=4139492/4192956
[pid=29285] ppid=29283 vsize=818260 CPUtime=1062.01
/proc/29285/stat : 29285 (wbo1.4b) R 29283 29285 29206 0 -1 4202496 204037 0 0 0 105280 921 0 0 25 0 1 0 25521645 837898240 203911 1992294400 134512640 135752675 4292099376 18446744073709551615 134605412 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29285/statm: 204565 203911 146 303 0 204260 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 818260

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.80 2/107 29319
/proc/meminfo: memFree=855184/2059040 swapFree=4139492/4192956
[pid=29285] ppid=29283 vsize=855836 CPUtime=1121.99
/proc/29285/stat : 29285 (wbo1.4b) R 29283 29285 29206 0 -1 4202496 213444 0 0 0 111231 968 0 0 25 0 1 0 25521645 876376064 213318 1992294400 134512640 135752675 4292099376 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29285/statm: 213959 213318 146 303 0 213654 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 855836

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.81 2/107 29319
/proc/meminfo: memFree=827284/2059040 swapFree=4139492/4192956
[pid=29285] ppid=29283 vsize=883524 CPUtime=1181.97
/proc/29285/stat : 29285 (wbo1.4b) R 29283 29285 29206 0 -1 4202496 220356 0 0 0 117197 1000 0 0 25 0 1 0 25521645 904728576 220230 1992294400 134512640 135752675 4292099376 18446744073709551615 134602984 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29285/statm: 220881 220230 146 303 0 220576 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 883524

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.82 2/107 29321
/proc/meminfo: memFree=795044/2059040 swapFree=4139492/4192956
[pid=29285] ppid=29283 vsize=915556 CPUtime=1241.96
/proc/29285/stat : 29285 (wbo1.4b) R 29283 29285 29206 0 -1 4202496 228337 0 0 0 123160 1036 0 0 25 0 1 0 25521645 937529344 228211 1992294400 134512640 135752675 4292099376 18446744073709551615 134611709 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29285/statm: 228889 228211 146 303 0 228584 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 915556

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.83 2/107 29323
/proc/meminfo: memFree=759704/2059040 swapFree=4139492/4192956
[pid=29285] ppid=29283 vsize=950760 CPUtime=1301.95
/proc/29285/stat : 29285 (wbo1.4b) R 29283 29285 29206 0 -1 4202496 237141 0 0 0 129118 1077 0 0 25 0 1 0 25521645 973578240 237015 1992294400 134512640 135752675 4292099376 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29285/statm: 237690 237015 146 303 0 237385 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 950760

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.83 2/107 29325
/proc/meminfo: memFree=725232/2059040 swapFree=4139492/4192956
[pid=29285] ppid=29283 vsize=985872 CPUtime=1361.93
/proc/29285/stat : 29285 (wbo1.4b) R 29283 29285 29206 0 -1 4202496 245909 0 0 0 135067 1126 0 0 25 0 1 0 25521645 1009532928 245783 1992294400 134512640 135752675 4292099376 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29285/statm: 246468 245783 146 303 0 246163 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 985872

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.84 2/107 29327
/proc/meminfo: memFree=689148/2059040 swapFree=4139492/4192956
[pid=29285] ppid=29283 vsize=1021036 CPUtime=1421.92
/proc/29285/stat : 29285 (wbo1.4b) R 29283 29285 29206 0 -1 4202496 254716 0 0 0 141013 1179 0 0 25 0 1 0 25521645 1045540864 254590 1992294400 134512640 135752675 4292099376 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29285/statm: 255259 254590 146 303 0 254954 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1021036

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.84 2/107 29327
/proc/meminfo: memFree=652196/2059040 swapFree=4139492/4192956
[pid=29285] ppid=29283 vsize=1058436 CPUtime=1481.9
/proc/29285/stat : 29285 (wbo1.4b) R 29283 29285 29206 0 -1 4202496 264048 0 0 0 146962 1228 0 0 25 0 1 0 25521645 1083838464 263922 1992294400 134512640 135752675 4292099376 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29285/statm: 264609 263922 146 303 0 264304 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1058436

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.85 2/107 29329
/proc/meminfo: memFree=619956/2059040 swapFree=4139492/4192956
[pid=29285] ppid=29283 vsize=1090248 CPUtime=1541.89
/proc/29285/stat : 29285 (wbo1.4b) R 29283 29285 29206 0 -1 4202496 272020 0 0 0 152923 1266 0 0 25 0 1 0 25521645 1116413952 271894 1992294400 134512640 135752675 4292099376 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29285/statm: 272562 271894 146 303 0 272257 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1090248

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.86 2/107 29331
/proc/meminfo: memFree=585732/2059040 swapFree=4139492/4192956
[pid=29285] ppid=29283 vsize=1124964 CPUtime=1601.87
/proc/29285/stat : 29285 (wbo1.4b) R 29283 29285 29206 0 -1 4202496 280715 0 0 0 158879 1308 0 0 25 0 1 0 25521645 1151963136 280589 1992294400 134512640 135752675 4292099376 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29285/statm: 281241 280589 146 303 0 280936 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1124964

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.86 2/107 29333
/proc/meminfo: memFree=549648/2059040 swapFree=4139492/4192956
[pid=29285] ppid=29283 vsize=1160340 CPUtime=1661.85
/proc/29285/stat : 29285 (wbo1.4b) R 29283 29285 29206 0 -1 4202496 289539 0 0 0 164832 1353 0 0 25 0 1 0 25521645 1188188160 289413 1992294400 134512640 135752675 4292099376 18446744073709551615 134638342 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29285/statm: 290085 289413 146 303 0 289780 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1160340

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.87 2/107 29335
/proc/meminfo: memFree=519020/2059040 swapFree=4139492/4192956
[pid=29285] ppid=29283 vsize=1191064 CPUtime=1721.84
/proc/29285/stat : 29285 (wbo1.4b) R 29283 29285 29206 0 -1 4202496 297216 0 0 0 170790 1394 0 0 25 0 1 0 25521645 1219649536 297090 1992294400 134512640 135752675 4292099376 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29285/statm: 297766 297090 146 303 0 297461 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1191064

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.87 2/107 29335
/proc/meminfo: memFree=484672/2059040 swapFree=4139492/4192956
[pid=29285] ppid=29283 vsize=1225120 CPUtime=1781.82
/proc/29285/stat : 29285 (wbo1.4b) R 29283 29285 29206 0 -1 4202496 305721 0 0 0 176746 1436 0 0 25 0 1 0 25521645 1254522880 305595 1992294400 134512640 135752675 4292099376 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29285/statm: 306280 305595 146 303 0 305975 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1225120



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.97 0.87 2/107 29337
/proc/meminfo: memFree=472892/2059040 swapFree=4139492/4192956
[pid=29285] ppid=29283 vsize=1236800 CPUtime=1800.02
/proc/29285/stat : 29285 (wbo1.4b) R 29283 29285 29206 0 -1 4202496 308634 0 0 0 178552 1450 0 0 25 0 1 0 25521645 1266483200 308508 1992294400 134512640 135752675 4292099376 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29285/statm: 309200 308508 146 303 0 308895 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1236800

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

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

[startup+1800.61 s]
/proc/loadavg: 0.99 0.97 0.87 2/108 29338
/proc/meminfo: memFree=1553668/2059040 swapFree=4139492/4192956
[pid=29285] ppid=29283 vsize=0 CPUtime=1800.13
/proc/29285/stat : 29285 (wbo1.4b) R 29283 29285 29206 0 -1 4203524 308634 0 0 0 178552 1461 0 0 25 0 1 0 25521645 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/29285/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.62
CPU time (s): 1800.15
CPU user time (s): 1785.52
CPU system time (s): 14.6238
CPU usage (%): 99.9737
Max. virtual memory (cumulated for all children) (KiB): 1236800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1785.52
system time used= 14.6238
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 308634
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= 9
involuntary context switches= 2336

runsolver used 2.73058 second user time and 8.75267 second system time

The end

Launcher Data 

Begin job on node019 at 2010-07-08 09:11:35
IDJOB=2702655
IDBENCH=48262
IDSOLVER=1190
FILE ID=node019/2702655-1278573095
PBS_JOBID= 11240098
Free space on /tmp= 62408 MiB

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

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

MD5SUM BENCH= 2468d4642d986af58e932976ec0c4f0e
RANDOM SEED=1590490803

node019.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.244
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.48
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1711568 kB
Buffers:         67408 kB
Cached:         190412 kB
SwapCached:       8100 kB
Active:         144124 kB
Inactive:       128600 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1711568 kB
SwapTotal:     4192956 kB
SwapFree:      4139492 kB
Dirty:            2600 kB
Writeback:           0 kB
AnonPages:       11980 kB
Mapped:          12024 kB
Slab:            52820 kB
PageTables:       4224 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181552 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702655-1278573095.opb

Free space on /tmp at the end= 62404 MiB
End job on node019 at 2010-07-08 09:41:37