Trace number 1876130

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 NameAnswerobjCPU timeWall clock time
wbo 1.0? (TO) 1800.23 1800.86

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-bm23.opb
MD5SUM5c5bb330d1cbd0e2ab066594a5d2a4de
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark34
Best CPU time to get the best result obtained on this benchmark0.05899
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 34
Optimality of the best value was proved YES
Number of variables27
Total number of constraints20
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints20
Minimum length of a constraint18
Maximum length of a constraint26
Number of terms in the objective function 27
Biggest coefficient in the objective function 9
Number of bits for the biggest coefficient in the objective function 4
Sum of the numbers in the objective function 124
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 65
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 182
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c This is wbo 1.0 alpha (based on Minisat 2.0 beta)
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Parsing opb file format. File HOME/instance-1876130-1245133789.opb.
0.00/0.00	c Instance file HOME/instance-1876130-1245133789.opb
0.00/0.00	c File size is 3739 bytes.
0.00/0.00	c Highest Coefficient sum: 182
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.00         s                                      |
0.00/0.00	c |  Number Variables:      27                                                  |
0.00/0.00	c |  Number Clauses:        27                                                  |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 20                                                  |
0.00/0.00	c core #1
0.00/0.00	c Core size: 15	Core Weight: 3	Total Weight: 3
0.00/0.00	c Elapsed CPU time: 0 s	Remaining CPU time: 1800 s
0.00/0.00	c core #2
0.00/0.00	c Core size: 13	Core Weight: 1	Total Weight: 4
0.00/0.00	c Elapsed CPU time: 0.000999 s	Remaining CPU time: 1800 s
0.00/0.00	c core #3
0.00/0.00	c Core size: 12	Core Weight: 1	Total Weight: 5
0.00/0.00	c Elapsed CPU time: 0.000999 s	Remaining CPU time: 1800 s
0.00/0.00	c core #4
0.00/0.00	c Core size: 15	Core Weight: 1	Total Weight: 6
0.00/0.00	c Elapsed CPU time: 0.000999 s	Remaining CPU time: 1800 s
0.00/0.00	c core #5
0.00/0.00	c Core size: 11	Core Weight: 1	Total Weight: 7
0.00/0.00	c Elapsed CPU time: 0.000999 s	Remaining CPU time: 1800 s
0.00/0.00	c core #6
0.00/0.00	c Core size: 15	Core Weight: 1	Total Weight: 8
0.00/0.00	c Elapsed CPU time: 0.001999 s	Remaining CPU time: 1800 s
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |      91      108      621 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c core #7
0.00/0.00	c Core size: 17	Core Weight: 1	Total Weight: 9
0.00/0.00	c Elapsed CPU time: 0.001999 s	Remaining CPU time: 1800 s
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     108      118      704 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c core #8
0.00/0.00	c Core size: 42	Core Weight: 1	Total Weight: 10
0.00/0.00	c Elapsed CPU time: 0.002999 s	Remaining CPU time: 1800 s
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     144      135      813 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c core #9
0.00/0.00	c Core size: 28	Core Weight: 1	Total Weight: 11
0.00/0.00	c Elapsed CPU time: 0.004999 s	Remaining CPU time: 1800 s
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     167      147      884 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c core #10
0.00/0.00	c Core size: 66	Core Weight: 1	Total Weight: 12
0.00/0.00	c Elapsed CPU time: 0.007998 s	Remaining CPU time: 1799.99 s
0.00/0.00	c Learning 1 hard constraints
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     219      151     1021 |     5000        0    nan |  0.000 % |
0.00/0.01	c |       101 |     219      151     1021 |     5500      101     24 |  0.457 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c core #11
0.00/0.02	c Core size: 130	Core Weight: 1	Total Weight: 13
0.00/0.02	c Elapsed CPU time: 0.018997 s	Remaining CPU time: 1799.98 s
0.00/0.02	c Learning 22 hard constraints
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 |     325      175     1525 |     5000        0    nan |  0.000 % |
0.00/0.02	c |       104 |     325      175     1525 |     5500      104     34 |  0.308 % |
0.00/0.03	c |       254 |     325      175     1525 |     6050      254     22 |  0.308 % |
0.00/0.04	c |       480 |     325      175     1525 |     6655      480     18 |  0.308 % |
0.00/0.06	c |       818 |     325      175     1525 |     7320      818     16 |  0.308 % |
0.00/0.08	c |      1324 |     325      175     1525 |     8052     1324     15 |  0.308 % |
0.09/0.13	c |      2085 |     325      175     1525 |     8857     2085     15 |  0.309 % |
0.19/0.20	c |      3224 |     324      175     1525 |     9743      816     15 |  0.614 % |
0.19/0.25	c ===============================================================================
0.19/0.27	c core #12
0.19/0.27	c Core size: 143	Core Weight: 1	Total Weight: 14
0.19/0.27	c Elapsed CPU time: 0.263959 s	Remaining CPU time: 1799.74 s
0.19/0.27	c Learning 108 hard constraints
0.19/0.27	c ============================[ Search Statistics ]==============================
0.19/0.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.27	c ===============================================================================
0.19/0.27	c |         0 |     430      285     3120 |     5000        0    nan |  0.000 % |
0.19/0.28	c |       100 |     430      285     3120 |     5500      100     73 |  0.233 % |
0.19/0.29	c |       251 |     430      285     3120 |     6050      251     53 |  0.233 % |
0.29/0.30	c |       477 |     430      285     3120 |     6655      477     35 |  0.233 % |
0.29/0.32	c |       814 |     430      285     3120 |     7320      814     26 |  0.233 % |
0.29/0.35	c |      1320 |     430      285     3120 |     8052     1320     21 |  0.233 % |
0.29/0.39	c |      2080 |     430      285     3120 |     8857     2080     18 |  0.233 % |
0.39/0.47	c |      3221 |     430      285     3120 |     9743     3221     17 |  0.233 % |
0.59/0.61	c |      4929 |     430      285     3120 |    10717     4929     16 |  0.233 % |
0.79/0.85	c |      7493 |     430      285     3120 |    11789     7493     15 |  0.233 % |
1.29/1.38	c |     11338 |     430      285     3120 |    12968    11338     15 |  0.234 % |
2.09/2.16	c |     17104 |     427      285     3120 |    14265     5496     14 |  0.929 % |
2.19/2.24	c ===============================================================================
2.29/2.33	c core #13
2.29/2.33	c Core size: 209	Core Weight: 1	Total Weight: 15
2.29/2.33	c Elapsed CPU time: 2.29065 s	Remaining CPU time: 1797.71 s
2.29/2.36	c Learning 2502 hard constraints
2.29/2.36	c ============================[ Search Statistics ]==============================
2.29/2.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.29/2.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.29/2.36	c ===============================================================================
2.29/2.36	c |         0 |     532     2789    40666 |     5000        0    nan |  0.000 % |
2.29/2.37	c |       101 |     532     2789    40666 |     5500      101     96 |  0.188 % |
2.29/2.39	c |       251 |     532     2789    40666 |     6050      251     78 |  0.188 % |
2.39/2.40	c |       476 |     532     2789    40666 |     6655      476     48 |  0.188 % |
2.39/2.43	c |       814 |     532     2789    40666 |     7320      814     34 |  0.188 % |
2.39/2.47	c |      1321 |     532     2789    40666 |     8052     1321     26 |  0.188 % |
2.49/2.53	c |      2081 |     532     2789    40666 |     8857     2081     21 |  0.188 % |
2.59/2.63	c |      3221 |     532     2789    40666 |     9743     3221     19 |  0.188 % |
2.69/2.79	c |      4934 |     532     2789    40666 |    10717     4934     18 |  0.188 % |
2.99/3.09	c |      7496 |     532     2789    40666 |    11789     7496     17 |  0.188 % |
3.49/3.59	c |     11343 |     532     2789    40666 |    12968    11343     16 |  0.188 % |
4.39/4.40	c |     17110 |     532     2789    40666 |    14265    10609     15 |  0.188 % |
5.69/5.80	c ===============================================================================
5.89/5.98	c core #14
5.89/5.98	c Core size: 1310	Core Weight: 1	Total Weight: 16
5.89/5.98	c Elapsed CPU time: 5.87011 s	Remaining CPU time: 1794.13 s
5.99/6.01	c Learning 309 hard constraints
5.99/6.01	c ============================[ Search Statistics ]==============================
5.99/6.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.99/6.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.99/6.01	c ===============================================================================
5.99/6.01	c |         0 |     647     3100    45718 |     5000        0    nan |  0.000 % |
5.99/6.03	c |       101 |     647     3100    45718 |     5500      101     97 |  0.155 % |
5.99/6.04	c |       254 |     647     3100    45718 |     6050      254     62 |  0.155 % |
5.99/6.06	c |       480 |     647     3100    45718 |     6655      480     39 |  0.155 % |
5.99/6.09	c |       818 |     647     3100    45718 |     7320      818     29 |  0.155 % |
6.09/6.13	c |      1325 |     647     3100    45718 |     8052     1325     23 |  0.155 % |
6.19/6.21	c |      2084 |     647     3100    45718 |     8857     2084     19 |  0.155 % |
6.29/6.32	c |      3223 |     647     3100    45718 |     9743     3223     17 |  0.155 % |
6.49/6.51	c |      4932 |     647     3100    45718 |    10717     4932     19 |  0.155 % |
6.69/6.79	c |      7494 |     647     3100    45718 |    11789     7494     19 |  0.155 % |
7.29/7.30	c |     11339 |     647     3100    45718 |    12968    11339     19 |  0.156 % |
8.08/8.15	c |     17107 |     647     3100    45718 |    14265    10587     25 |  0.155 % |
9.59/9.66	c |     25756 |     647     3100    45718 |    15692    12086     26 |  0.155 % |
11.59/11.64	c |     38731 |     646     3100    45718 |    17261    12838     23 |  0.309 % |
15.99/16.01	c |     58193 |     646     3100    45718 |    18987    14959     27 |  0.309 % |
19.08/19.18	c ===============================================================================
19.89/19.96	c core #15
19.89/19.96	c Core size: 1390	Core Weight: 1	Total Weight: 17
19.89/19.96	c Elapsed CPU time: 19.687 s	Remaining CPU time: 1780.31 s
19.99/20.05	c Learning 315 hard constraints
19.99/20.05	c ============================[ Search Statistics ]==============================
19.99/20.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
19.99/20.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
19.99/20.05	c ===============================================================================
19.99/20.05	c |         0 |     761     3416    50557 |     5000        0    nan |  0.000 % |
19.99/20.07	c |       100 |     761     3416    50557 |     5500      100    122 |  0.000 % |
19.99/20.09	c |       250 |     761     3416    50557 |     6050      250     66 |  0.000 % |
20.08/20.11	c |       476 |     761     3416    50557 |     6655      476     42 |  0.000 % |
20.08/20.14	c |       819 |     761     3416    50557 |     7320      819     33 |  0.000 % |
20.08/20.19	c |      1326 |     761     3416    50557 |     8052     1326     30 |  0.000 % |
20.18/20.26	c |      2085 |     761     3416    50557 |     8857     2085     27 |  0.000 % |
20.38/20.42	c |      3226 |     761     3416    50557 |     9743     3226     32 |  0.000 % |
20.59/20.65	c |      4937 |     761     3416    50557 |    10717     4937     37 |  0.000 % |
21.08/21.18	c |      7502 |     761     3416    50557 |    11789     7502     39 |  0.000 % |
21.99/22.01	c |     11348 |     761     3416    50557 |    12968    11348     39 |  0.000 % |
23.58/23.61	c |     17116 |     761     3416    50557 |    14265    10535     38 |  0.000 % |
25.89/25.93	c |     25768 |     761     3416    50557 |    15692    11923     39 |  0.000 % |
29.18/29.27	c |     38742 |     761     3416    50557 |    17261     8978     34 |  0.000 % |
33.48/33.55	c |     58203 |     761     3416    50557 |    18987    11022     39 |  0.000 % |
39.68/39.70	c |     87399 |     761     3416    50557 |    20886    11536     28 |  0.000 % |
51.87/51.96	c |    131188 |     761     3416    50557 |    22974    13302     35 |  0.000 % |
69.87/69.94	c |    196875 |     761     3416    50557 |    25272    20962     34 |  0.000 % |
99.45/99.51	c |    295404 |     761     3416    50557 |    27799    15267     33 |  0.000 % |
145.24/145.31	c |    443193 |     760     3416    50557 |    30579    11611     32 |  0.132 % |
167.73/167.85	c ===============================================================================
174.22/174.31	c core #16
174.22/174.31	c Core size: 1356	Core Weight: 1	Total Weight: 18
174.22/174.31	c Elapsed CPU time: 172.821 s	Remaining CPU time: 1627.18 s
174.72/174.81	c Learning 47 hard constraints
174.72/174.81	c ============================[ Search Statistics ]==============================
174.72/174.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
174.72/174.81	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
174.72/174.81	c ===============================================================================
174.72/174.81	c |         0 |     885     3464    51550 |     5000        0    nan |  0.000 % |
174.84/174.93	c |       100 |     885     3464    51550 |     5500      100    139 |  0.000 % |
174.84/174.94	c |       252 |     885     3464    51550 |     6050      252     75 |  0.000 % |
174.84/174.96	c |       477 |     885     3464    51550 |     6655      477     45 |  0.000 % |
174.84/174.99	c |       814 |     885     3464    51550 |     7320      814     37 |  0.000 % |
174.93/175.04	c |      1321 |     885     3464    51550 |     8052     1321     28 |  0.000 % |
175.03/175.13	c |      2080 |     885     3464    51550 |     8857     2080     31 |  0.000 % |
175.12/175.25	c |      3220 |     885     3464    51550 |     9743     3220     33 |  0.000 % |
175.43/175.51	c |      4928 |     885     3464    51550 |    10717     4928     38 |  0.000 % |
175.73/175.80	c |      7492 |     885     3464    51550 |    11789     7492     29 |  0.000 % |
176.52/176.61	c |     11336 |     885     3464    51550 |    12968    11336     34 |  0.000 % |
178.03/178.11	c |     17107 |     885     3464    51550 |    14265    10483     44 |  0.000 % |
180.53/180.65	c |     25757 |     885     3464    51550 |    15692    11832     55 |  0.000 % |
186.03/186.19	c |     38733 |     885     3464    51550 |    17261     8837     54 |  0.000 % |
195.32/195.40	c |     58196 |     885     3464    51550 |    18987    10783     50 |  0.000 % |
210.21/210.35	c |     87388 |     885     3464    51550 |    20886    10969     51 |  0.000 % |
238.10/238.28	c |    131180 |     885     3464    51550 |    22974    12511     57 |  0.000 % |
275.99/276.14	c |    196865 |     885     3464    51550 |    25272    19711     57 |  0.000 % |
337.87/338.02	c |    295394 |     885     3464    51550 |    27799    11671     41 |  0.000 % |
410.94/411.10	c |    443187 |     885     3464    51550 |    30579    17315     44 |  0.000 % |
526.81/527.07	c |    664872 |     885     3464    51550 |    33637    15386     56 |  0.000 % |
710.74/711.04	c |    997397 |     885     3464    51550 |    37001    26711     51 |  0.000 % |
1033.53/1033.96	c |   1496185 |     885     3464    51550 |    40701    13889     43 |  0.000 % |
1538.55/1539.18	c |   2244367 |     885     3464    51550 |    44771    15869     50 |  0.000 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1876130-1245133789/watcher-1876130-1245133789 -o /tmp/evaluation-result-1876130-1245133789/solver-1876130-1245133789 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876130-1245133789.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.85 0.97 0.99 3/64 5659
/proc/meminfo: memFree=1921368/2055920 swapFree=4181248/4192956
[pid=5659] ppid=5657 vsize=2524 CPUtime=0
/proc/5659/stat : 5659 (wbo) R 5657 5659 5616 0 -1 4194304 208 0 0 0 0 0 0 0 18 0 1 0 180975241 2584576 191 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/5659/statm: 631 192 135 292 0 336 0

[startup+0.104797 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 5659
/proc/meminfo: memFree=1921368/2055920 swapFree=4181248/4192956
[pid=5659] ppid=5657 vsize=2920 CPUtime=0.09
/proc/5659/stat : 5659 (wbo) R 5657 5659 5616 0 -1 4194304 318 0 0 0 9 0 0 0 18 0 1 0 180975241 2990080 301 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5659/statm: 730 301 136 292 0 435 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2920

[startup+0.201815 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 5659
/proc/meminfo: memFree=1921368/2055920 swapFree=4181248/4192956
[pid=5659] ppid=5657 vsize=3320 CPUtime=0.19
/proc/5659/stat : 5659 (wbo) R 5657 5659 5616 0 -1 4194304 396 0 0 0 19 0 0 0 18 0 1 0 180975241 3399680 379 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5659/statm: 830 380 136 292 0 535 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 3320

[startup+0.301831 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 5659
/proc/meminfo: memFree=1921368/2055920 swapFree=4181248/4192956
[pid=5659] ppid=5657 vsize=3720 CPUtime=0.29
/proc/5659/stat : 5659 (wbo) R 5657 5659 5616 0 -1 4194304 502 0 0 0 28 1 0 0 19 0 1 0 180975241 3809280 485 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5659/statm: 930 485 136 292 0 635 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3720

[startup+0.701901 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 5659
/proc/meminfo: memFree=1921368/2055920 swapFree=4181248/4192956
[pid=5659] ppid=5657 vsize=4248 CPUtime=0.69
/proc/5659/stat : 5659 (wbo) R 5657 5659 5616 0 -1 4194304 642 0 0 0 67 2 0 0 22 0 1 0 180975241 4349952 625 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5659/statm: 1062 625 136 292 0 767 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4248

[startup+1.50104 s]
/proc/loadavg: 0.85 0.97 0.99 2/65 5660
/proc/meminfo: memFree=1918544/2055920 swapFree=4181248/4192956
[pid=5659] ppid=5657 vsize=5564 CPUtime=1.49
/proc/5659/stat : 5659 (wbo) R 5657 5659 5616 0 -1 4194304 968 0 0 0 146 3 0 0 25 0 1 0 180975241 5697536 951 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5659/statm: 1391 951 136 292 0 1096 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5564

[startup+3.10132 s]
/proc/loadavg: 0.85 0.97 0.99 2/65 5660
/proc/meminfo: memFree=1916816/2055920 swapFree=4181248/4192956
[pid=5659] ppid=5657 vsize=7696 CPUtime=3.09
/proc/5659/stat : 5659 (wbo) R 5657 5659 5616 0 -1 4194304 1493 0 0 0 303 6 0 0 25 0 1 0 180975241 7880704 1476 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5659/statm: 1924 1476 136 292 0 1629 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7696

[startup+6.30287 s]
/proc/loadavg: 0.86 0.97 0.99 2/65 5660
/proc/meminfo: memFree=1913696/2055920 swapFree=4181248/4192956
[pid=5659] ppid=5657 vsize=11268 CPUtime=6.29
/proc/5659/stat : 5659 (wbo) R 5657 5659 5616 0 -1 4194304 2382 0 0 0 618 11 0 0 25 0 1 0 180975241 11538432 2365 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5659/statm: 2817 2365 136 292 0 2522 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11268

[startup+12.702 s]
/proc/loadavg: 0.87 0.97 0.99 2/65 5660
/proc/meminfo: memFree=1906224/2055920 swapFree=4181248/4192956
[pid=5659] ppid=5657 vsize=18004 CPUtime=12.69
/proc/5659/stat : 5659 (wbo) R 5657 5659 5616 0 -1 4194304 4075 0 0 0 1250 19 0 0 25 0 1 0 180975241 18436096 4058 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5659/statm: 4501 4058 136 292 0 4206 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18004

[startup+25.5012 s]
/proc/loadavg: 0.90 0.97 0.99 2/65 5660
/proc/meminfo: memFree=1893744/2055920 swapFree=4181248/4192956
[pid=5659] ppid=5657 vsize=29648 CPUtime=25.48
/proc/5659/stat : 5659 (wbo) R 5657 5659 5616 0 -1 4194304 6991 0 0 0 2518 30 0 0 25 0 1 0 180975241 30359552 6974 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5659/statm: 7412 6974 136 292 0 7117 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 29648

[startup+51.1016 s]
/proc/loadavg: 0.93 0.97 0.99 2/65 5660
/proc/meminfo: memFree=1867376/2055920 swapFree=4181248/4192956
[pid=5659] ppid=5657 vsize=56432 CPUtime=51.07
/proc/5659/stat : 5659 (wbo) R 5657 5659 5616 0 -1 4194304 13659 0 0 0 5055 52 0 0 25 0 1 0 180975241 57786368 13642 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5659/statm: 14108 13642 136 292 0 13813 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 56432

[startup+102.301 s]
/proc/loadavg: 0.97 0.97 0.99 2/65 5660
/proc/meminfo: memFree=1814064/2055920 swapFree=4181248/4192956
[pid=5659] ppid=5657 vsize=109328 CPUtime=102.25
/proc/5659/stat : 5659 (wbo) R 5657 5659 5616 0 -1 4194304 26882 0 0 0 10131 94 0 0 25 0 1 0 180975241 111951872 26865 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5659/statm: 27332 26865 136 292 0 27037 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 109328

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5660
/proc/meminfo: memFree=1751472/2055920 swapFree=4181248/4192956
[pid=5659] ppid=5657 vsize=173116 CPUtime=162.23
/proc/5659/stat : 5659 (wbo) R 5657 5659 5616 0 -1 4194304 42794 0 0 0 16086 137 0 0 25 0 1 0 180975241 177270784 42777 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5659/statm: 43279 42777 136 292 0 42984 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 173116

[startup+222.305 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5660
/proc/meminfo: memFree=1730416/2055920 swapFree=4181248/4192956
[pid=5659] ppid=5657 vsize=192796 CPUtime=222.22
/proc/5659/stat : 5659 (wbo) R 5657 5659 5616 0 -1 4194304 47770 0 0 0 22056 166 0 0 25 0 1 0 180975241 197423104 47722 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5659/statm: 48199 47722 136 292 0 47904 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 192796

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5660
/proc/meminfo: memFree=1720304/2055920 swapFree=4181248/4192956
[pid=5659] ppid=5657 vsize=202956 CPUtime=282.19
/proc/5659/stat : 5659 (wbo) R 5657 5659 5616 0 -1 4194304 50305 0 0 0 28033 186 0 0 25 0 1 0 180975241 207826944 50257 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5659/statm: 50739 50257 136 292 0 50444 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 202956

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5660
/proc/meminfo: memFree=1701104/2055920 swapFree=4181248/4192956
[pid=5659] ppid=5657 vsize=222048 CPUtime=342.17
/proc/5659/stat : 5659 (wbo) R 5657 5659 5616 0 -1 4194304 55058 0 0 0 34007 210 0 0 25 0 1 0 180975241 227377152 55010 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5659/statm: 55512 55010 136 292 0 55217 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 222048

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5660
/proc/meminfo: memFree=1659376/2055920 swapFree=4181248/4192956
[pid=5659] ppid=5657 vsize=264556 CPUtime=402.15
/proc/5659/stat : 5659 (wbo) R 5657 5659 5616 0 -1 4194304 65621 0 0 0 39975 240 0 0 25 0 1 0 180975241 270905344 65573 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5659/statm: 66139 65573 136 292 0 65844 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 264556

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5660
/proc/meminfo: memFree=1618288/2055920 swapFree=4181248/4192956
[pid=5659] ppid=5657 vsize=305156 CPUtime=462.12
/proc/5659/stat : 5659 (wbo) R 5657 5659 5616 0 -1 4194304 75732 0 0 0 45938 274 0 0 25 0 1 0 180975241 312479744 75684 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5659/statm: 76289 75684 136 292 0 75994 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 305156

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5660
/proc/meminfo: memFree=1579440/2055920 swapFree=4181248/4192956
[pid=5659] ppid=5657 vsize=344200 CPUtime=522.1
/proc/5659/stat : 5659 (wbo) R 5657 5659 5616 0 -1 4194304 85481 0 0 0 51906 304 0 0 25 0 1 0 180975241 352460800 85433 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5659/statm: 86050 85433 136 292 0 85755 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 344200

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5660
/proc/meminfo: memFree=1544304/2055920 swapFree=4181248/4192956
[pid=5659] ppid=5657 vsize=379196 CPUtime=582.08
/proc/5659/stat : 5659 (wbo) R 5657 5659 5616 0 -1 4194304 94199 0 0 0 57880 328 0 0 25 0 1 0 180975241 388296704 94151 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5659/statm: 94799 94151 136 292 0 94504 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 379196

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5660
/proc/meminfo: memFree=1509936/2055920 swapFree=4181248/4192956
[pid=5659] ppid=5657 vsize=414244 CPUtime=642.06
/proc/5659/stat : 5659 (wbo) R 5657 5659 5616 0 -1 4194304 102954 0 0 0 63849 357 0 0 25 0 1 0 180975241 424185856 102906 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5659/statm: 103561 102906 136 292 0 103266 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 414244

[startup+702.301 s]

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

[startup+882.305 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5660
/proc/meminfo: memFree=1357616/2055920 swapFree=4181248/4192956
[pid=5659] ppid=5657 vsize=565308 CPUtime=881.98
/proc/5659/stat : 5659 (wbo) R 5657 5659 5616 0 -1 4194304 140688 0 0 0 87731 467 0 0 25 0 1 0 180975241 578875392 140640 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5659/statm: 141327 140640 136 292 0 141032 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 565308

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5660
/proc/meminfo: memFree=1328624/2055920 swapFree=4181248/4192956
[pid=5659] ppid=5657 vsize=594444 CPUtime=941.96
/proc/5659/stat : 5659 (wbo) R 5657 5659 5616 0 -1 4194304 147972 0 0 0 93706 490 0 0 25 0 1 0 180975241 608710656 147924 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5659/statm: 148611 147924 136 292 0 148316 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 594444

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5660
/proc/meminfo: memFree=1293360/2055920 swapFree=4181248/4192956
[pid=5659] ppid=5657 vsize=629644 CPUtime=1001.94
/proc/5659/stat : 5659 (wbo) R 5657 5659 5616 0 -1 4194304 156724 0 0 0 99676 518 0 0 25 0 1 0 180975241 644755456 156676 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5659/statm: 157411 156676 136 292 0 157116 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 629644

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5660
/proc/meminfo: memFree=1255152/2055920 swapFree=4181248/4192956
[pid=5659] ppid=5657 vsize=667824 CPUtime=1061.92
/proc/5659/stat : 5659 (wbo) R 5657 5659 5616 0 -1 4194304 166271 0 0 0 105644 548 0 0 25 0 1 0 180975241 683851776 166223 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5659/statm: 166956 166223 136 292 0 166661 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 667824

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5660
/proc/meminfo: memFree=1225904/2055920 swapFree=4181248/4192956
[pid=5659] ppid=5657 vsize=696984 CPUtime=1121.9
/proc/5659/stat : 5659 (wbo) R 5657 5659 5616 0 -1 4194304 173532 0 0 0 111622 568 0 0 25 0 1 0 180975241 713711616 173484 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5659/statm: 174246 173484 136 292 0 173951 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 696984

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5660
/proc/meminfo: memFree=1195632/2055920 swapFree=4181248/4192956
[pid=5659] ppid=5657 vsize=727488 CPUtime=1181.88
/proc/5659/stat : 5659 (wbo) R 5657 5659 5616 0 -1 4194304 181179 0 0 0 117595 593 0 0 25 0 1 0 180975241 744947712 181131 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5659/statm: 181872 181131 136 292 0 181577 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 727488

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5660
/proc/meminfo: memFree=1164272/2055920 swapFree=4181248/4192956
[pid=5659] ppid=5657 vsize=758340 CPUtime=1241.85
/proc/5659/stat : 5659 (wbo) R 5657 5659 5616 0 -1 4194304 188865 0 0 0 123568 617 0 0 25 0 1 0 180975241 776540160 188817 1992294400 134512640 135709839 4294956240 18446744073709551615 134568696 0 0 4096 3 0 0 0 17 1 0 0
/proc/5659/statm: 189585 188817 136 292 0 189290 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 758340

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5660
/proc/meminfo: memFree=1138736/2055920 swapFree=4181248/4192956
[pid=5659] ppid=5657 vsize=784120 CPUtime=1301.84
/proc/5659/stat : 5659 (wbo) R 5657 5659 5616 0 -1 4194304 195305 0 0 0 129546 638 0 0 25 0 1 0 180975241 802938880 195257 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 1 0 0
/proc/5659/statm: 196030 195257 136 292 0 195735 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 784120

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5662
/proc/meminfo: memFree=1105136/2055920 swapFree=4181248/4192956
[pid=5659] ppid=5657 vsize=817812 CPUtime=1361.81
/proc/5659/stat : 5659 (wbo) R 5657 5659 5616 0 -1 4194304 203705 0 0 0 135515 666 0 0 25 0 1 0 180975241 837439488 203657 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5659/statm: 204453 203657 136 292 0 204158 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 817812

[startup+1422.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5662
/proc/meminfo: memFree=1068656/2055920 swapFree=4181248/4192956
[pid=5659] ppid=5657 vsize=853852 CPUtime=1421.79
/proc/5659/stat : 5659 (wbo) R 5657 5659 5616 0 -1 4194304 212698 0 0 0 141487 692 0 0 25 0 1 0 180975241 874344448 212650 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5659/statm: 213463 212650 136 292 0 213168 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 853852

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5662
/proc/meminfo: memFree=1035888/2055920 swapFree=4181248/4192956
[pid=5659] ppid=5657 vsize=887336 CPUtime=1481.77
/proc/5659/stat : 5659 (wbo) R 5657 5659 5616 0 -1 4194304 221045 0 0 0 147461 716 0 0 25 0 1 0 180975241 908632064 220997 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5659/statm: 221834 220997 136 292 0 221539 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 887336

[startup+1542.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5662
/proc/meminfo: memFree=1004336/2055920 swapFree=4181248/4192956
[pid=5659] ppid=5657 vsize=918224 CPUtime=1541.75
/proc/5659/stat : 5659 (wbo) R 5657 5659 5616 0 -1 4194304 228765 0 0 0 153436 739 0 0 25 0 1 0 180975241 940261376 228717 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5659/statm: 229556 228717 136 292 0 229261 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 918224

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5662
/proc/meminfo: memFree=980208/2055920 swapFree=4181248/4192956
[pid=5659] ppid=5657 vsize=942552 CPUtime=1601.72
/proc/5659/stat : 5659 (wbo) R 5657 5659 5616 0 -1 4194304 234825 0 0 0 159414 758 0 0 25 0 1 0 180975241 965173248 234777 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 1 0 0
/proc/5659/statm: 235638 234777 136 292 0 235343 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 942552

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5662
/proc/meminfo: memFree=956656/2055920 swapFree=4181248/4192956
[pid=5659] ppid=5657 vsize=965772 CPUtime=1661.7
/proc/5659/stat : 5659 (wbo) R 5657 5659 5616 0 -1 4194304 240655 0 0 0 165393 777 0 0 25 0 1 0 180975241 988950528 240607 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5659/statm: 241443 240607 136 292 0 241148 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 965772

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5662
/proc/meminfo: memFree=934320/2055920 swapFree=4181248/4192956
[pid=5659] ppid=5657 vsize=988572 CPUtime=1721.68
/proc/5659/stat : 5659 (wbo) R 5657 5659 5616 0 -1 4194304 246316 0 0 0 171373 795 0 0 25 0 1 0 180975241 1012297728 246268 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5659/statm: 247143 246268 136 292 0 246848 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 988572

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5662
/proc/meminfo: memFree=906352/2055920 swapFree=4181248/4192956
[pid=5659] ppid=5657 vsize=1016072 CPUtime=1781.66
/proc/5659/stat : 5659 (wbo) R 5657 5659 5616 0 -1 4194304 253211 0 0 0 177349 817 0 0 25 0 1 0 180975241 1040457728 253163 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/5659/statm: 254018 253163 136 292 0 253723 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (KiB) 1016072



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5662
/proc/meminfo: memFree=900272/2055920 swapFree=4181248/4192956
[pid=5659] ppid=5657 vsize=1021976 CPUtime=1800.07
/proc/5659/stat : 5659 (wbo) R 5657 5659 5616 0 -1 4194304 254688 0 0 0 179184 823 0 0 25 0 1 0 180975241 1046503424 254640 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/5659/statm: 255494 254640 136 292 0 255199 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1021976

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

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

[startup+1800.81 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5662
/proc/meminfo: memFree=900272/2055920 swapFree=4181248/4192956
[pid=5659] ppid=5657 vsize=0 CPUtime=1800.17
/proc/5659/stat : 5659 (wbo) R 5657 5659 5616 0 -1 4195332 254688 0 0 0 179184 833 0 0 25 0 1 0 180975241 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/5659/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.86
CPU time (s): 1800.23
CPU user time (s): 1791.84
CPU system time (s): 8.38772
CPU usage (%): 99.9647
Max. virtual memory (cumulated for all children) (KiB): 1021976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.84
system time used= 8.38772
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 254688
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= 2
involuntary context switches= 3485

runsolver used 1.34979 second user time and 3.63845 second system time

The end

Launcher Data 

Begin job on node48 at 2009-06-16 08:29:49
IDJOB=1876130
IDBENCH=1860
IDSOLVER=698
FILE ID=node48/1876130-1245133789
PBS_JOBID= 9363730
Free space on /tmp= 66236 MiB

SOLVER NAME= wbo 1.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bm23.opb
COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876130-1245133789/watcher-1876130-1245133789 -o /tmp/evaluation-result-1876130-1245133789/solver-1876130-1245133789 -C 1800 -W 2000 -M 1800  wbo -file-format=opb -time-limit=1800 HOME/instance-1876130-1245133789.opb

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

MD5SUM BENCH= 5c5bb330d1cbd0e2ab066594a5d2a4de
RANDOM SEED=603588854

node48.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.270
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.270
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1921848 kB
Buffers:          6716 kB
Cached:          60276 kB
SwapCached:       5428 kB
Active:          52256 kB
Inactive:        22404 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1921848 kB
SwapTotal:     4192956 kB
SwapFree:      4181248 kB
Dirty:            2808 kB
Writeback:           0 kB
Mapped:          13360 kB
Slab:            45340 kB
Committed_AS:   144252 kB
PageTables:       1372 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1876130-1245133789.opb

Free space on /tmp at the end= 66232 MiB
End job on node48 at 2009-06-16 08:59:52