Trace number 3460883

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.6? (TO) 1800.08 1800.05

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib2003/normalized-mps-v2-20-10-protfold.opb
MD5SUM7f40f8d513f22fc9adca96d8fdf626e2
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-26
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -24
Optimality of the best value was proved NO
Number of variables1835
Total number of constraints2112
Number of constraints which are clauses1906
Number of constraints which are cardinality constraints (but not clauses)86
Number of constraints which are nor clauses,nor cardinality constraints120
Minimum length of a constraint3
Maximum length of a constraint882
Number of terms in the objective function 120
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 120
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 18
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 900
Number of bits of the biggest sum of numbers10
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.01	c wbo 1.6 beta - 20110321
0.00/0.01	c Parsing opb file format. File HOME/instance-3460883-1307074463.opb.
0.00/0.01	c Instance file HOME/instance-3460883-1307074463.opb
0.00/0.01	c File size is 214268 bytes.
0.00/0.01	c Highest Coefficient sum: 900
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Parsing time:          0.02         s                                      |
0.00/0.01	c |  Number Variables:      1835                                                |
0.00/0.01	c |  Number Clauses:        1941                                                |
0.00/0.01	c |  Number Cardinality:    208                                                 |
0.00/0.01	c |  Number PB Constraints: 0                                                   |
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 |    1835     2149    26921 |     5000        0   -nan |  0.000 % |
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 |    1715     2269    26921 |     5000        0   -nan |  0.000 % |
0.00/0.02	c |       100 |    1714     2269    26921 |     5500      100     20 |  6.594 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c core #1
0.00/0.03	c 
0.00/0.03	c 
0.00/0.03	c Core size: 50	Core Weight: 1	Total Weight: -119
0.00/0.03	c Current CPU time: 0.025996 s
0.00/0.03	c
0.00/0.03	c ============================[ Search Statistics ]==============================
0.00/0.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.03	c ===============================================================================
0.00/0.03	c |         0 |    1811     2307    27153 |     5000        0   -nan |  0.000 % |
0.00/0.03	c |       100 |    1810     2307    27153 |     5500      100     10 |  3.877 % |
0.00/0.04	c |       250 |    1808     2307    27153 |     6050      250     16 |  3.983 % |
0.00/0.04	c ===============================================================================
0.00/0.04	c core #2
0.00/0.04	c 
0.00/0.04	c 
0.00/0.04	c Core size: 48	Core Weight: 1	Total Weight: -118
0.00/0.04	c Current CPU time: 0.038994 s
0.00/0.04	c
0.00/0.04	c ============================[ Search Statistics ]==============================
0.00/0.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.04	c ===============================================================================
0.00/0.04	c |         0 |    1899     2386    27490 |     5000        0   -nan |  0.000 % |
0.00/0.05	c |       101 |    1896     2386    27490 |     5500      101     14 |  1.660 % |
0.00/0.05	c |       252 |    1880     2386    27490 |     6050      252     24 |  2.541 % |
0.00/0.05	c ===============================================================================
0.00/0.06	c core #3
0.00/0.06	c 
0.00/0.06	c 
0.00/0.06	c Core size: 81	Core Weight: 1	Total Weight: -117
0.00/0.06	c Current CPU time: 0.050992 s
0.00/0.06	c
0.00/0.06	c ============================[ Search Statistics ]==============================
0.00/0.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.06	c ===============================================================================
0.00/0.06	c |         0 |    2003     2454    27854 |     5000        0   -nan |  0.000 % |
0.00/0.06	c |       100 |    2003     2454    27854 |     5500      100     18 |  0.050 % |
0.00/0.06	c |       250 |    2001     2454    27854 |     6050      250     15 |  0.150 % |
0.00/0.07	c |       478 |    1997     2454    27854 |     6655      478     14 |  0.349 % |
0.00/0.08	c |       815 |    1993     2454    27854 |     7320      815     17 |  0.649 % |
0.09/0.10	c |      1324 |    1984     2454    27854 |     8052     1324     19 |  0.998 % |
0.09/0.13	c |      2083 |    1983     2454    27854 |     8857     2083     21 |  1.048 % |
0.09/0.14	c ===============================================================================
0.09/0.15	c core #4
0.09/0.15	c 
0.09/0.15	c 
0.09/0.15	c Core size: 118	Core Weight: 1	Total Weight: -116
0.09/0.15	c Current CPU time: 0.137979 s
0.09/0.15	c
0.09/0.15	c ============================[ Search Statistics ]==============================
0.09/0.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.15	c ===============================================================================
0.09/0.15	c |         0 |    2110     2605    28462 |     5000        0   -nan |  0.000 % |
0.09/0.15	c |       100 |    2110     2605    28462 |     5500      100     21 |  0.000 % |
0.09/0.16	c |       251 |    2110     2605    28462 |     6050      251     29 |  0.000 % |
0.09/0.17	c |       478 |    2108     2605    28462 |     6655      478     37 |  0.095 % |
0.09/0.19	c |       815 |    2107     2605    28462 |     7320      815     44 |  0.142 % |
0.19/0.23	c |      1321 |    2100     2605    28462 |     8052     1321     43 |  0.474 % |
0.19/0.29	c |      2080 |    2068     2605    28462 |     8857     2080     41 |  1.991 % |
0.19/0.29	c ===============================================================================
0.29/0.30	c core #5
0.29/0.30	c 
0.29/0.30	c 
0.29/0.30	c Core size: 132	Core Weight: 1	Total Weight: -115
0.29/0.30	c Current CPU time: 0.281957 s
0.29/0.30	c
0.29/0.30	c ============================[ Search Statistics ]==============================
0.29/0.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.29/0.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.29/0.30	c ===============================================================================
0.29/0.30	c |         0 |    2229     2730    29012 |     5000        0   -nan |  0.000 % |
0.29/0.30	c |       100 |    2229     2730    29012 |     5500      100     15 |  0.000 % |
0.29/0.31	c |       250 |    2229     2730    29012 |     6050      250     16 |  0.000 % |
0.29/0.31	c |       475 |    2229     2730    29012 |     6655      475     16 |  0.000 % |
0.29/0.32	c |       813 |    2229     2730    29012 |     7320      813     22 |  0.000 % |
0.29/0.36	c |      1326 |    2229     2730    29012 |     8052     1326     29 |  0.000 % |
0.39/0.42	c |      2089 |    2229     2730    29012 |     8857     2089     39 |  0.000 % |
0.48/0.51	c |      3229 |    2227     2730    29012 |     9743     3229     45 |  0.090 % |
0.58/0.65	c |      4937 |    2226     2730    29012 |    10717     4937     49 |  0.135 % |
0.89/0.98	c |      7502 |    2224     2730    29012 |    11789     7502     55 |  0.224 % |
1.59/1.66	c |     11346 |    2220     2730    29012 |    12968    11346     56 |  0.404 % |
2.30/2.32	c ===============================================================================
2.30/2.37	c core #6
2.30/2.37	c 
2.30/2.37	c 
2.30/2.37	c Core size: 131	Core Weight: 1	Total Weight: -114
2.30/2.37	c Current CPU time: 2.32165 s
2.30/2.37	c
2.30/2.37	c ============================[ Search Statistics ]==============================
2.30/2.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.30/2.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.30/2.37	c ===============================================================================
2.30/2.37	c |         0 |    2349     2998    29891 |     5000        0   -nan |  0.000 % |
2.30/2.37	c |       105 |    2349     2998    29891 |     5500      105     16 |  0.000 % |
2.30/2.38	c |       256 |    2349     2998    29891 |     6050      256     13 |  0.000 % |
2.30/2.39	c |       482 |    2349     2998    29891 |     6655      482     43 |  0.000 % |
2.38/2.41	c |       819 |    2349     2998    29891 |     7320      819     50 |  0.000 % |
2.38/2.43	c |      1326 |    2349     2998    29891 |     8052     1326     42 |  0.000 % |
2.49/2.50	c |      2087 |    2349     2998    29891 |     8857     2087     58 |  0.000 % |
2.59/2.60	c |      3226 |    2349     2998    29891 |     9743     3226     64 |  0.000 % |
2.69/2.70	c |      4934 |    2349     2998    29891 |    10717     4934     55 |  0.000 % |
2.99/3.06	c |      7496 |    2349     2998    29891 |    11789     7496     75 |  0.000 % |
3.49/3.56	c |     11344 |    2349     2998    29891 |    12968    11344     77 |  0.000 % |
4.40/4.44	c |     17111 |    2349     2998    29891 |    14265    10502     79 |  0.000 % |
6.19/6.26	c |     25760 |    2349     2998    29891 |    15692    11893     79 |  0.000 % |
8.80/8.82	c |     38734 |    2345     2998    29891 |    17261     8882    107 |  0.170 % |
13.20/13.22	c |     58196 |    2343     2998    29891 |    18987    10894    106 |  0.255 % |
17.49/17.55	c |     87389 |    2341     2998    29891 |    20886    11254     67 |  0.341 % |
25.41/25.45	c |    131178 |    2341     2998    29891 |    22974    13016     60 |  0.341 % |
31.69/31.78	c ===============================================================================
32.49/32.57	c core #7
32.49/32.57	c 
32.49/32.57	c 
32.49/32.57	c Core size: 176	Core Weight: 1	Total Weight: -113
32.49/32.57	c Current CPU time: 32.2501 s
32.49/32.57	c
32.49/32.57	c ============================[ Search Statistics ]==============================
32.49/32.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
32.49/32.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
32.49/32.57	c ===============================================================================
32.49/32.57	c |         0 |    2469     3367    30916 |     5000        0   -nan |  0.000 % |
32.49/32.58	c |       100 |    2469     3367    30916 |     5500      100    106 |  0.000 % |
32.49/32.59	c |       251 |    2469     3367    30916 |     6050      251     95 |  0.000 % |
32.59/32.60	c |       477 |    2469     3367    30916 |     6655      477     64 |  0.000 % |
32.59/32.61	c |       814 |    2469     3367    30916 |     7320      814     53 |  0.000 % |
32.59/32.65	c |      1321 |    2469     3367    30916 |     8052     1321     63 |  0.000 % |
32.69/32.72	c |      2080 |    2469     3367    30916 |     8857     2080     71 |  0.000 % |
32.79/32.81	c |      3219 |    2469     3367    30916 |     9743     3219     74 |  0.000 % |
32.89/32.97	c |      4929 |    2469     3367    30916 |    10717     4929     74 |  0.000 % |
33.19/33.27	c |      7491 |    2469     3367    30916 |    11789     7491     82 |  0.000 % |
33.58/33.66	c |     11335 |    2469     3367    30916 |    12968    11335     78 |  0.000 % |
34.69/34.72	c |     17104 |    2469     3367    30916 |    14265    10543     99 |  0.000 % |
36.09/36.12	c |     25754 |    2469     3367    30916 |    15692    11951     94 |  0.000 % |
38.89/38.97	c |     38729 |    2469     3367    30916 |    17261     9041    112 |  0.000 % |
42.08/42.14	c |     58191 |    2469     3367    30916 |    18987    10987     85 |  0.000 % |
50.49/50.59	c |     87387 |    2469     3367    30916 |    20886    11426    109 |  0.000 % |
69.09/69.12	c |    131177 |    2469     3367    30916 |    22974    13268    108 |  0.000 % |
90.79/90.82	c |    196862 |    2469     3367    30916 |    25272    20840    132 |  0.000 % |
134.79/134.88	c |    295388 |    2469     3367    30916 |    27799    16995    150 |  0.000 % |
177.39/177.46	c |    443179 |    2469     3367    30916 |    30579    24191    102 |  0.000 % |
241.98/242.05	c |    664865 |    2469     3367    30916 |    33637    18685    129 |  0.000 % |
351.17/351.29	c |    997391 |    2469     3367    30916 |    37001    18136    135 |  0.000 % |
507.48/507.54	c |   1496181 |    2469     3367    30916 |    40701    30361    143 |  0.000 % |
733.19/733.27	c |   2244365 |    2469     3367    30916 |    44771    27236    151 |  0.000 % |
1195.72/1195.76	c |   3366642 |    2469     3367    30916 |    49248    45249    218 |  0.000 % |
1516.12/1516.12	c ===============================================================================
1533.12/1533.16	c core #8
1533.12/1533.16	c 
1533.12/1533.16	c 
1533.12/1533.16	c Core size: 194	Core Weight: 1	Total Weight: -112
1533.12/1533.16	c Current CPU time: 1526.04 s
1533.12/1533.16	c
1533.12/1533.16	c ============================[ Search Statistics ]==============================
1533.12/1533.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1533.12/1533.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1533.12/1533.16	c ===============================================================================
1533.12/1533.16	c |         0 |    2589     4200    32832 |     5000        0   -nan |  0.000 % |
1533.12/1533.17	c |       103 |    2589     4200    32832 |     5500      103     93 |  0.000 % |
1533.12/1533.17	c |       256 |    2589     4200    32832 |     6050      256     80 |  0.000 % |
1533.12/1533.19	c |       481 |    2589     4200    32832 |     6655      481     86 |  0.000 % |
1533.22/1533.21	c |       819 |    2589     4200    32832 |     7320      819     92 |  0.000 % |
1533.22/1533.25	c |      1326 |    2589     4200    32832 |     8052     1326    107 |  0.000 % |
1533.31/1533.32	c |      2085 |    2589     4200    32832 |     8857     2085    110 |  0.000 % |
1533.42/1533.43	c |      3224 |    2589     4200    32832 |     9743     3224    116 |  0.000 % |
1533.61/1533.62	c |      4932 |    2589     4200    32832 |    10717     4932    111 |  0.000 % |
1533.92/1533.99	c |      7494 |    2589     4200    32832 |    11789     7494    123 |  0.000 % |
1534.82/1534.88	c |     11341 |    2589     4200    32832 |    12968    11341    135 |  0.000 % |
1536.42/1536.41	c |     17108 |    2589     4200    32832 |    14265    10515    150 |  0.000 % |
1538.42/1538.47	c |     25762 |    2589     4200    32832 |    15692    11922    150 |  0.000 % |
1541.72/1541.73	c |     38736 |    2589     4200    32832 |    17261     9017    110 |  0.000 % |
1547.52/1547.57	c |     58199 |    2589     4200    32832 |    18987    10942    158 |  0.000 % |
1556.22/1556.24	c |     87391 |    2589     4200    32832 |    20886    11478    125 |  0.000 % |
1567.42/1567.48	c |    131180 |    2589     4200    32832 |    22974    12811    154 |  0.000 % |
1584.61/1584.62	c |    196864 |    2589     4200    32832 |    25272    20235    115 |  0.000 % |
1615.12/1615.15	c |    295390 |    2589     4200    32832 |    27799    16108    155 |  0.000 % |
1646.32/1646.30	c |    443179 |    2589     4200    32832 |    30579    13576     80 |  0.000 % |
1718.62/1718.61	c |    664863 |    2589     4200    32832 |    33637    16746    151 |  0.000 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3460883-1307074463/watcher-3460883-1307074463 -o /tmp/evaluation-result-3460883-1307074463/solver-3460883-1307074463 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460883-1307074463.opb 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.02 2.00 3/443 12194
/proc/meminfo: memFree=28521176/32950928 swapFree=52246700/67111528
[pid=12194] ppid=12192 vsize=3020 CPUtime=0 cores=0,2,4,6
/proc/12194/stat : 12194 (wbo1.6) R 12192 12194 9824 0 -1 4202496 502 0 0 0 0 0 0 0 25 0 1 0 897677016 3092480 455 33554432000 4194304 5714214 140736499991056 18446744073709551615 4228544 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12194/statm: 755 455 186 372 0 327 0

[startup+0.105512 s]
/proc/loadavg: 2.00 2.02 2.00 3/443 12194
/proc/meminfo: memFree=28521176/32950928 swapFree=52246700/67111528
[pid=12194] ppid=12192 vsize=5112 CPUtime=0.09 cores=0,2,4,6
/proc/12194/stat : 12194 (wbo1.6) R 12192 12194 9824 0 -1 4202496 1129 0 0 0 9 0 0 0 25 0 1 0 897677016 5234688 1029 33554432000 4194304 5714214 140736499991056 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12194/statm: 1278 1029 180 372 0 903 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5112

[startup+0.200494 s]
/proc/loadavg: 2.00 2.02 2.00 3/443 12194
/proc/meminfo: memFree=28521176/32950928 swapFree=52246700/67111528
[pid=12194] ppid=12192 vsize=5772 CPUtime=0.19 cores=0,2,4,6
/proc/12194/stat : 12194 (wbo1.6) R 12192 12194 9824 0 -1 4202496 1301 0 0 0 19 0 0 0 25 0 1 0 897677016 5910528 1201 33554432000 4194304 5714214 140736499991056 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12194/statm: 1443 1201 180 372 0 1068 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 5772

[startup+0.300474 s]
/proc/loadavg: 2.00 2.02 2.00 3/443 12194
/proc/meminfo: memFree=28521176/32950928 swapFree=52246700/67111528
[pid=12194] ppid=12192 vsize=6168 CPUtime=0.29 cores=0,2,4,6
/proc/12194/stat : 12194 (wbo1.6) R 12192 12194 9824 0 -1 4202496 1394 0 0 0 28 1 0 0 25 0 1 0 897677016 6316032 1294 33554432000 4194304 5714214 140736499991056 18446744073709551615 4342379 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12194/statm: 1542 1294 180 372 0 1167 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6168

[startup+0.700402 s]
/proc/loadavg: 2.00 2.02 2.00 3/443 12194
/proc/meminfo: memFree=28521176/32950928 swapFree=52246700/67111528
[pid=12194] ppid=12192 vsize=6564 CPUtime=0.69 cores=0,2,4,6
/proc/12194/stat : 12194 (wbo1.6) R 12192 12194 9824 0 -1 4202496 1480 0 0 0 67 2 0 0 25 0 1 0 897677016 6721536 1380 33554432000 4194304 5714214 140736499991056 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12194/statm: 1641 1380 180 372 0 1266 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6564

[startup+1.50026 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 12195
/proc/meminfo: memFree=28514472/32950928 swapFree=52246700/67111528
[pid=12194] ppid=12192 vsize=9208 CPUtime=1.49 cores=0,2,4,6
/proc/12194/stat : 12194 (wbo1.6) R 12192 12194 9824 0 -1 4202496 2147 0 0 0 146 3 0 0 25 0 1 0 897677016 9428992 2047 33554432000 4194304 5714214 140736499991056 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12194/statm: 2302 2047 180 372 0 1927 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9208

[startup+3.10095 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 12195
/proc/meminfo: memFree=28510984/32950928 swapFree=52246700/67111528
[pid=12194] ppid=12192 vsize=11008 CPUtime=3.09 cores=0,2,4,6
/proc/12194/stat : 12194 (wbo1.6) R 12192 12194 9824 0 -1 4202496 2635 0 0 0 305 4 0 0 25 0 1 0 897677016 11272192 2509 33554432000 4194304 5714214 140736499991056 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12194/statm: 2752 2509 180 372 0 2377 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11008

[startup+6.30035 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 12195
/proc/meminfo: memFree=28506520/32950928 swapFree=52246700/67111528
[pid=12194] ppid=12192 vsize=14716 CPUtime=6.29 cores=0,2,4,6
/proc/12194/stat : 12194 (wbo1.6) R 12192 12194 9824 0 -1 4202496 3535 0 0 0 622 7 0 0 25 0 1 0 897677016 15069184 3409 33554432000 4194304 5714214 140736499991056 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12194/statm: 3679 3409 180 372 0 3304 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14716

[startup+12.7011 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 12223
/proc/meminfo: memFree=29951536/32950928 swapFree=52246700/67111528
[pid=12194] ppid=12192 vsize=22700 CPUtime=12.68 cores=0,2,4,6
/proc/12194/stat : 12194 (wbo1.6) R 12192 12194 9824 0 -1 4202496 5534 0 0 0 1258 10 0 0 25 0 1 0 897677016 23244800 5408 33554432000 4194304 5714214 140736499991056 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12194/statm: 5675 5408 180 372 0 5300 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 22700

[startup+25.5007 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 12224
/proc/meminfo: memFree=29915140/32950928 swapFree=52246700/67111528
[pid=12194] ppid=12192 vsize=32400 CPUtime=25.49 cores=0,2,4,6
/proc/12194/stat : 12194 (wbo1.6) R 12192 12194 9824 0 -1 4202496 7920 0 0 0 2530 19 0 0 25 0 1 0 897677016 33177600 7794 33554432000 4194304 5714214 140736499991056 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12194/statm: 8100 7794 180 372 0 7725 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 32400

[startup+51.1009 s]
/proc/loadavg: 2.06 2.03 2.00 3/444 12224
/proc/meminfo: memFree=29862812/32950928 swapFree=52246700/67111528
[pid=12194] ppid=12192 vsize=44608 CPUtime=51.09 cores=0,2,4,6
/proc/12194/stat : 12194 (wbo1.6) R 12192 12194 9824 0 -1 4202496 11061 0 0 0 5076 33 0 0 25 0 1 0 897677016 45678592 10889 33554432000 4194304 5714214 140736499991056 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12194/statm: 11152 10889 180 372 0 10777 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 44608

[startup+102.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/444 12226
/proc/meminfo: memFree=29815032/32950928 swapFree=52246700/67111528
[pid=12194] ppid=12192 vsize=58960 CPUtime=102.29 cores=0,2,4,6
/proc/12194/stat : 12194 (wbo1.6) R 12192 12194 9824 0 -1 4202496 14606 0 0 0 10182 47 0 0 25 0 1 0 897677016 60375040 14434 33554432000 4194304 5714214 140736499991056 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12194/statm: 14740 14434 180 372 0 14365 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 58960

[startup+162.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/444 12227
/proc/meminfo: memFree=29782876/32950928 swapFree=52246700/67111528
[pid=12194] ppid=12192 vsize=79876 CPUtime=162.29 cores=0,2,4,6
/proc/12194/stat : 12194 (wbo1.6) R 12192 12194 9824 0 -1 4202496 19696 0 0 0 16166 63 0 0 25 0 1 0 897677016 81793024 19524 33554432000 4194304 5714214 140736499991056 18446744073709551615 4319437 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12194/statm: 19969 19524 180 372 0 19594 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 79876

[startup+222.317 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 12229
/proc/meminfo: memFree=29734856/32950928 swapFree=52246700/67111528
[pid=12194] ppid=12192 vsize=121004 CPUtime=222.29 cores=0,2,4,6
/proc/12194/stat : 12194 (wbo1.6) R 12192 12194 9824 0 -1 4202496 29963 0 0 0 22142 87 0 0 25 0 1 0 897677016 123908096 29791 33554432000 4194304 5714214 140736499991056 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12194/statm: 30251 29791 180 372 0 29876 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 121004

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 12230
/proc/meminfo: memFree=29685464/32950928 swapFree=52246700/67111528
[pid=12194] ppid=12192 vsize=146908 CPUtime=282.27 cores=0,2,4,6
/proc/12194/stat : 12194 (wbo1.6) R 12192 12194 9824 0 -1 4202496 36327 0 0 0 28119 108 0 0 25 0 1 0 897677016 150433792 36155 33554432000 4194304 5714214 140736499991056 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12194/statm: 36727 36155 180 372 0 36352 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 146908

[startup+342.301 s]
/proc/loadavg: 2.03 2.02 2.00 3/444 12232
/proc/meminfo: memFree=29644760/32950928 swapFree=52246700/67111528
[pid=12194] ppid=12192 vsize=173180 CPUtime=342.28 cores=0,2,4,6
/proc/12194/stat : 12194 (wbo1.6) R 12192 12194 9824 0 -1 4202496 42803 0 0 0 34097 131 0 0 25 0 1 0 897677016 177336320 42631 33554432000 4194304 5714214 140736499991056 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12194/statm: 43295 42631 180 372 0 42920 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 173180

[startup+402.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/444 12234
/proc/meminfo: memFree=29612980/32950928 swapFree=52246700/67111528
[pid=12194] ppid=12192 vsize=204880 CPUtime=402.28 cores=0,2,4,6
/proc/12194/stat : 12194 (wbo1.6) R 12192 12194 9824 0 -1 4202496 50739 0 0 0 40075 153 0 0 25 0 1 0 897677016 209797120 50567 33554432000 4194304 5714214 140736499991056 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12194/statm: 51220 50567 180 372 0 50845 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 204880

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 12235
/proc/meminfo: memFree=29584424/32950928 swapFree=52246700/67111528
[pid=12194] ppid=12192 vsize=233620 CPUtime=462.28 cores=0,2,4,6
/proc/12194/stat : 12194 (wbo1.6) R 12192 12194 9824 0 -1 4202496 57906 0 0 0 46054 174 0 0 25 0 1 0 897677016 239226880 57734 33554432000 4194304 5714214 140736499991056 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12194/statm: 58405 57734 180 372 0 58030 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 233620

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 12237
/proc/meminfo: memFree=29562668/32950928 swapFree=52246700/67111528
[pid=12194] ppid=12192 vsize=255424 CPUtime=522.28 cores=0,2,4,6
/proc/12194/stat : 12194 (wbo1.6) R 12192 12194 9824 0 -1 4202496 63244 0 0 0 52035 193 0 0 25 0 1 0 897677016 261554176 63072 33554432000 4194304 5714214 140736499991056 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12194/statm: 63856 63072 180 372 0 63481 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 255424

[startup+582.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/444 12238
/proc/meminfo: memFree=29528896/32950928 swapFree=52246700/67111528
[pid=12194] ppid=12192 vsize=282772 CPUtime=582.28 cores=0,2,4,6
/proc/12194/stat : 12194 (wbo1.6) R 12192 12194 9824 0 -1 4202496 70063 0 0 0 58015 213 0 0 25 0 1 0 897677016 289558528 69891 33554432000 4194304 5714214 140736499991056 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12194/statm: 70693 69891 180 372 0 70318 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 282772

[startup+642.301 s]

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

[startup+882.316 s]
/proc/loadavg: 2.08 2.04 2.01 3/444 12246
/proc/meminfo: memFree=29310184/32950928 swapFree=52246700/67111528
[pid=12194] ppid=12192 vsize=418072 CPUtime=882.31 cores=0,2,4,6
/proc/12194/stat : 12194 (wbo1.6) R 12192 12194 9824 0 -1 4202496 103666 0 0 0 87933 298 0 0 25 0 1 0 897677016 428105728 103494 33554432000 4194304 5714214 140736499991056 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12194/statm: 104518 103494 180 372 0 104143 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 418072

[startup+942.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/444 12248
/proc/meminfo: memFree=29282244/32950928 swapFree=52246700/67111528
[pid=12194] ppid=12192 vsize=440888 CPUtime=942.3 cores=0,2,4,6
/proc/12194/stat : 12194 (wbo1.6) R 12192 12194 9824 0 -1 4202496 109356 0 0 0 93914 316 0 0 25 0 1 0 897677016 451469312 109184 33554432000 4194304 5714214 140736499991056 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12194/statm: 110222 109184 180 372 0 109847 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 440888

[startup+1002.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/444 12250
/proc/meminfo: memFree=29260512/32950928 swapFree=52246700/67111528
[pid=12194] ppid=12192 vsize=462184 CPUtime=1002.3 cores=0,2,4,6
/proc/12194/stat : 12194 (wbo1.6) R 12192 12194 9824 0 -1 4202496 114703 0 0 0 99900 330 0 0 25 0 1 0 897677016 473276416 114531 33554432000 4194304 5714214 140736499991056 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12194/statm: 115546 114531 180 372 0 115171 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 462184

[startup+1062.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/444 12251
/proc/meminfo: memFree=29228360/32950928 swapFree=52246700/67111528
[pid=12194] ppid=12192 vsize=478236 CPUtime=1062.3 cores=0,2,4,6
/proc/12194/stat : 12194 (wbo1.6) R 12192 12194 9824 0 -1 4202496 118677 0 0 0 105888 342 0 0 25 0 1 0 897677016 489713664 118505 33554432000 4194304 5714214 140736499991056 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12194/statm: 119559 118505 180 372 0 119184 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 478236

[startup+1122.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/444 12253
/proc/meminfo: memFree=29127520/32950928 swapFree=52246700/67111528
[pid=12194] ppid=12192 vsize=490824 CPUtime=1122.3 cores=0,2,4,6
/proc/12194/stat : 12194 (wbo1.6) R 12192 12194 9824 0 -1 4202496 121822 0 0 0 111877 353 0 0 25 0 1 0 897677016 502603776 121650 33554432000 4194304 5714214 140736499991056 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12194/statm: 122706 121650 180 372 0 122331 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 490824

[startup+1182.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/444 12254
/proc/meminfo: memFree=29086552/32950928 swapFree=52246700/67111528
[pid=12194] ppid=12192 vsize=520344 CPUtime=1182.3 cores=0,2,4,6
/proc/12194/stat : 12194 (wbo1.6) R 12192 12194 9824 0 -1 4202496 129190 0 0 0 117860 370 0 0 25 0 1 0 897677016 532832256 129018 33554432000 4194304 5714214 140736499991056 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12194/statm: 130086 129018 180 372 0 129711 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 520344

[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/444 12256
/proc/meminfo: memFree=29061100/32950928 swapFree=52246700/67111528
[pid=12194] ppid=12192 vsize=525920 CPUtime=1242.3 cores=0,2,4,6
/proc/12194/stat : 12194 (wbo1.6) R 12192 12194 9824 0 -1 4202496 130611 0 0 0 123845 385 0 0 25 0 1 0 897677016 538542080 130439 33554432000 4194304 5714214 140736499991056 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12194/statm: 131480 130439 180 372 0 131105 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 525920

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 12258
/proc/meminfo: memFree=29023228/32950928 swapFree=52246700/67111528
[pid=12194] ppid=12192 vsize=556468 CPUtime=1302.31 cores=0,2,4,6
/proc/12194/stat : 12194 (wbo1.6) R 12192 12194 9824 0 -1 4202496 138212 0 0 0 129820 411 0 0 25 0 1 0 897677016 569823232 138040 33554432000 4194304 5714214 140736499991056 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12194/statm: 139117 138040 180 372 0 138742 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 556468

[startup+1362.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/444 12259
/proc/meminfo: memFree=28991824/32950928 swapFree=52246700/67111528
[pid=12194] ppid=12192 vsize=587088 CPUtime=1362.31 cores=0,2,4,6
/proc/12194/stat : 12194 (wbo1.6) R 12192 12194 9824 0 -1 4202496 145768 0 0 0 135799 432 0 0 25 0 1 0 897677016 601178112 145596 33554432000 4194304 5714214 140736499991056 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12194/statm: 146772 145596 180 372 0 146397 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 587088

[startup+1422.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/444 12261
/proc/meminfo: memFree=28959188/32950928 swapFree=52246700/67111528
[pid=12194] ppid=12192 vsize=608564 CPUtime=1422.33 cores=0,2,4,6
/proc/12194/stat : 12194 (wbo1.6) R 12192 12194 9824 0 -1 4202496 151091 0 0 0 141780 453 0 0 25 0 1 0 897677016 623169536 150919 33554432000 4194304 5714214 140736499991056 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12194/statm: 152141 150919 180 372 0 151766 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 608564

[startup+1482.3 s]
/proc/loadavg: 2.09 2.04 2.00 3/444 12265
/proc/meminfo: memFree=28919684/32950928 swapFree=52246700/67111528
[pid=12194] ppid=12192 vsize=637844 CPUtime=1482.32 cores=0,2,4,6
/proc/12194/stat : 12194 (wbo1.6) R 12192 12194 9824 0 -1 4202496 158359 0 0 0 147757 475 0 0 25 0 1 0 897677016 653152256 158187 33554432000 4194304 5714214 140736499991056 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12194/statm: 159461 158187 180 372 0 159086 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 637844

[startup+1542.32 s]
/proc/loadavg: 2.03 2.03 2.00 3/444 12267
/proc/meminfo: memFree=28815188/32950928 swapFree=52246700/67111528
[pid=12194] ppid=12192 vsize=727324 CPUtime=1542.34 cores=0,2,4,6
/proc/12194/stat : 12194 (wbo1.6) R 12192 12194 9824 0 -1 4202496 180780 0 0 0 153739 495 0 0 25 0 1 0 897677016 744779776 180510 33554432000 4194304 5714214 140736499991056 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12194/statm: 181831 180510 180 372 0 181456 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 727324

[startup+1602.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/444 12269
/proc/meminfo: memFree=28814776/32950928 swapFree=52246700/67111528
[pid=12194] ppid=12192 vsize=727324 CPUtime=1602.32 cores=0,2,4,6
/proc/12194/stat : 12194 (wbo1.6) R 12192 12194 9824 0 -1 4202496 180909 0 0 0 159716 516 0 0 25 0 1 0 897677016 744779776 180639 33554432000 4194304 5714214 140736499991056 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12194/statm: 181831 180639 180 372 0 181456 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 727324

[startup+1662.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/444 12270
/proc/meminfo: memFree=28805076/32950928 swapFree=52246700/67111528
[pid=12194] ppid=12192 vsize=727324 CPUtime=1662.32 cores=0,2,4,6
/proc/12194/stat : 12194 (wbo1.6) R 12192 12194 9824 0 -1 4202496 180942 0 0 0 165695 537 0 0 25 0 1 0 897677016 744779776 180672 33554432000 4194304 5714214 140736499991056 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12194/statm: 181831 180672 180 372 0 181456 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 727324

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/444 12272
/proc/meminfo: memFree=28773544/32950928 swapFree=52246700/67111528
[pid=12194] ppid=12192 vsize=727324 CPUtime=1722.33 cores=0,2,4,6
/proc/12194/stat : 12194 (wbo1.6) R 12192 12194 9824 0 -1 4202496 181087 0 0 0 171677 556 0 0 25 0 1 0 897677016 744779776 180817 33554432000 4194304 5714214 140736499991056 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12194/statm: 181831 180817 180 372 0 181456 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 727324

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 12273
/proc/meminfo: memFree=28753420/32950928 swapFree=52246700/67111528
[pid=12194] ppid=12192 vsize=727324 CPUtime=1782.33 cores=0,2,4,6
/proc/12194/stat : 12194 (wbo1.6) R 12192 12194 9824 0 -1 4202496 181134 0 0 0 177662 571 0 0 25 0 1 0 897677016 744779776 180864 33554432000 4194304 5714214 140736499991056 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12194/statm: 181831 180864 180 372 0 181456 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 727324



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 12274
/proc/meminfo: memFree=28754156/32950928 swapFree=52246700/67111528
[pid=12194] ppid=12192 vsize=727324 CPUtime=1800.03 cores=0,2,4,6
/proc/12194/stat : 12194 (wbo1.6) R 12192 12194 9824 0 -1 4202496 181150 0 0 0 179428 575 0 0 25 0 1 0 897677016 744779776 180880 33554432000 4194304 5714214 140736499991056 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12194/statm: 181831 180880 180 372 0 181456 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 727324

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

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

[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 12274
/proc/meminfo: memFree=28754156/32950928 swapFree=52246700/67111528
[pid=12194] ppid=12192 vsize=727324 CPUtime=1800.03 cores=0,2,4,6
/proc/12194/stat : 12194 (wbo1.6) R 12192 12194 9824 0 -1 4202496 181150 0 0 0 179428 575 0 0 25 0 1 0 897677016 744779776 180880 33554432000 4194304 5714214 140736499991056 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12194/statm: 181831 180880 180 372 0 181456 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 727324

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.05
CPU time (s): 1800.08
CPU user time (s): 1794.3
CPU system time (s): 5.78712
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 727808

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

runsolver used 8.18876 second user time and 16.6975 second system time

The end

Launcher Data 

Begin job on node114 at 2011-06-03 06:14:23
IDJOB=3460883
IDBENCH=1870
IDSOLVER=1953
FILE ID=node114/3460883-1307074463
RUNJOBID= node114-1307068244-11007
PBS_JOBID= 13497874
Free space on /tmp= 73920 MiB

SOLVER NAME= wbo 1.6
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-protfold.opb
COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460883-1307074463/watcher-3460883-1307074463 -o /tmp/evaluation-result-3460883-1307074463/solver-3460883-1307074463 -C 1800 -W 1900 -M 15500  wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460883-1307074463.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 7f40f8d513f22fc9adca96d8fdf626e2
RANDOM SEED=1643060840

node114.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.73
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      28521216 kB
Buffers:        253896 kB
Cached:         388496 kB
SwapCached:      10660 kB
Active:        3767220 kB
Inactive:       389188 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      28521216 kB
SwapTotal:    67111528 kB
SwapFree:     52246700 kB
Dirty:            4688 kB
Writeback:           8 kB
AnonPages:     3511600 kB
Mapped:          21984 kB
Slab:           139944 kB
PageTables:      65120 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 109658868 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73920 MiB
End job on node114 at 2011-06-03 06:44:25