Trace number 2680606

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
wbo 1.4b (fixed)? (TO) 1800.21 1800.63

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-25
Best CPU time to get the best result obtained on this benchmark1800.24
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

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100610
0.00/0.00	c Parsing opb file format. File HOME/instance-2680606-1277451713.opb.
0.00/0.00	c Instance file HOME/instance-2680606-1277451713.opb
0.00/0.00	c File size is 214268 bytes.
0.00/0.04	c Highest Coefficient sum: 900
0.00/0.04	c ============================[ Problem Statistics ]=============================
0.00/0.04	c |                                                                             |
0.00/0.04	c |  Parsing time:          0.04         s                                      |
0.00/0.04	c |  Number Variables:      1835                                                |
0.00/0.04	c |  Number Clauses:        1941                                                |
0.00/0.04	c |  Number Cardinality:    208                                                 |
0.00/0.04	c |  Number PB Constraints: 0                                                   |
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 |    1835     2149    26921 |     5000        0    nan |  0.000 % |
0.00/0.07	c |       100 |    1835     2149    26921 |     5500      100    210 |  0.000 % |
0.00/0.08	c ===============================================================================
0.00/0.08	c New solution: -13
0.00/0.08	o -13
0.00/0.08	c Elapsed CPU time: 0.072988 s	Remaining CPU time: 179.927 s
0.00/0.08	c ===============================================================================
0.00/0.08	c |       142 |    1835     2150    27041 |     5000      142    167 |  0.000 % |
0.08/0.09	c ===============================================================================
0.08/0.09	c New solution: -14
0.08/0.09	o -14
0.08/0.09	c Elapsed CPU time: 0.085986 s	Remaining CPU time: 179.914 s
0.08/0.09	c ===============================================================================
0.08/0.09	c |       199 |    1835     2151    27161 |     5000      199    151 |  0.000 % |
0.09/0.11	c |       300 |    1835     2151    27161 |     5500      300    133 |  0.000 % |
0.09/0.13	c |       450 |    1835     2151    27161 |     6050      450    107 |  0.000 % |
0.09/0.16	c |       680 |    1835     2151    27161 |     6655      680    119 |  0.000 % |
0.18/0.20	c |      1017 |    1835     2151    27161 |     7320     1017     98 |  0.000 % |
0.18/0.23	c ===============================================================================
0.18/0.23	c New solution: -15
0.18/0.23	o -15
0.18/0.23	c Elapsed CPU time: 0.223965 s	Remaining CPU time: 179.776 s
0.18/0.23	c ===============================================================================
0.18/0.23	c |      1122 |    1835     2152    27281 |     5000     1122    102 |  0.000 % |
0.18/0.25	c |      1222 |    1835     2152    27281 |     5500     1222    109 |  0.000 % |
0.18/0.26	c |      1374 |    1835     2152    27281 |     6050     1374    104 |  0.000 % |
0.18/0.27	c |      1599 |    1835     2152    27281 |     6655     1599     99 |  0.000 % |
0.29/0.30	c |      1936 |    1835     2152    27281 |     7320     1936     93 |  0.000 % |
0.29/0.34	c |      2443 |    1835     2152    27281 |     8052     2443     81 |  0.000 % |
0.38/0.40	c |      3204 |    1835     2152    27281 |     8857     3204     71 |  0.000 % |
0.59/0.62	c |      4346 |    1835     2152    27281 |     9743     4346    107 |  0.000 % |
0.79/0.89	c |      6054 |    1835     2152    27281 |    10717     6054    106 |  0.000 % |
1.10/1.11	c |      8620 |    1835     2152    27281 |    11789     8620     92 |  0.000 % |
1.49/1.55	c |     12464 |    1835     2152    27281 |    12968     6498     74 |  0.000 % |
2.49/2.51	c |     18230 |    1835     2152    27281 |    14265    12264     85 |  0.000 % |
3.99/4.04	c |     26879 |    1835     2152    27281 |    15692    13520    104 |  0.000 % |
6.28/6.31	c |     39853 |    1835     2152    27281 |    17261    10590     81 |  0.000 % |
11.59/11.70	c |     59316 |    1835     2152    27281 |    18987    12271    116 |  0.000 % |
16.89/16.99	c |     88508 |    1835     2152    27281 |    20886    12704     88 |  0.000 % |
53.38/53.45	c |    132297 |    1835     2152    27281 |    22974    12247    336 |  0.000 % |
69.28/69.38	c |    197982 |    1835     2152    27281 |    25272    19761     91 |  0.000 % |
98.36/98.43	c |    296508 |    1835     2152    27281 |    27799    19719    100 |  0.000 % |
141.86/141.94	c |    444299 |    1835     2152    27281 |    30579    16691    106 |  0.000 % |
181.95/182.05	c There are 0 assigned variables. 0 in cost function.
182.46/182.55	c ============================[ Search Statistics ]==============================
182.46/182.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.46/182.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.46/182.55	c ===============================================================================
182.46/182.55	c |         0 |    1714     2319    26943 |     5000        0    nan |  0.000 % |
182.56/182.65	c |       100 |    1712     2319    26943 |     5500      100     19 |  6.703 % |
182.56/182.66	c ===============================================================================
182.56/182.67	c core #1
182.56/182.67	c 
182.56/182.67	c 
182.56/182.67	c Core size: 50	Core Weight: 1	Total Weight: -119
182.56/182.67	c
182.56/182.67	c
182.56/182.67	c ============================[ Search Statistics ]==============================
182.56/182.67	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.56/182.67	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.56/182.67	c ===============================================================================
182.56/182.67	c |         0 |    1805     2377    27301 |     5000        0    nan |  0.000 % |
182.56/182.68	c |       101 |    1801     2377    27301 |     5500      101     11 |  4.355 % |
182.56/182.69	c |       251 |    1801     2377    27301 |     6050      251     13 |  4.355 % |
182.64/182.72	c |       476 |    1800     2377    27301 |     6655      476     16 |  4.408 % |
182.64/182.73	c ===============================================================================
182.64/182.75	c core #2
182.64/182.75	c 
182.64/182.75	c 
182.64/182.75	c Core size: 68	Core Weight: 1	Total Weight: -118
182.64/182.75	c
182.64/182.75	c
182.64/182.75	c ============================[ Search Statistics ]==============================
182.64/182.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.64/182.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.64/182.75	c ===============================================================================
182.64/182.75	c |         0 |    1912     2443    27665 |     5000        0    nan |  0.000 % |
182.64/182.76	c |       102 |    1911     2443    27665 |     5500      102     12 |  1.495 % |
182.64/182.78	c |       252 |    1910     2443    27665 |     6050      252     19 |  1.546 % |
182.75/182.80	c ===============================================================================
182.75/182.82	c core #3
182.75/182.82	c 
182.75/182.82	c 
182.75/182.82	c Core size: 63	Core Weight: 1	Total Weight: -117
182.75/182.82	c
182.75/182.82	c
182.75/182.82	c ============================[ Search Statistics ]==============================
182.75/182.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.75/182.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.75/182.82	c ===============================================================================
182.75/182.82	c |         0 |    1993     2483    28268 |     5000        0    nan |  0.000 % |
182.75/182.83	c |       100 |    1993     2483    28268 |     5500      100     17 |  0.053 % |
182.75/182.85	c |       250 |    1992     2483    28268 |     6050      250     18 |  0.150 % |
182.75/182.87	c |       476 |    1991     2483    28268 |     6655      476     21 |  0.150 % |
182.85/182.91	c |       813 |    1985     2483    28268 |     7320      686     21 |  0.502 % |
182.85/182.96	c ===============================================================================
182.85/182.98	c core #4
182.85/182.98	c 
182.85/182.98	c 
182.85/182.98	c Core size: 123	Core Weight: 1	Total Weight: -116
182.85/182.98	c
182.85/182.98	c
182.85/182.98	c ============================[ Search Statistics ]==============================
182.85/182.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.85/182.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.85/182.98	c ===============================================================================
182.85/182.98	c |         0 |    2105     2626    28844 |     5000        0    nan |  0.000 % |
182.85/182.99	c |       102 |    2105     2626    28844 |     5500      102     14 |  0.000 % |
182.95/183.01	c |       252 |    2105     2626    28844 |     6050      252     18 |  0.000 % |
182.95/183.03	c |       480 |    2105     2626    28844 |     6655      480     24 |  0.000 % |
182.95/183.09	c |       817 |    2103     2626    28844 |     7320      591     20 |  0.095 % |
183.05/183.17	c |      1323 |    2096     2626    28844 |     8052     1081     25 |  0.475 % |
183.05/183.19	c ===============================================================================
183.15/183.22	c core #5
183.15/183.22	c 
183.15/183.22	c 
183.15/183.22	c Core size: 125	Core Weight: 1	Total Weight: -115
183.15/183.22	c
183.15/183.22	c
183.15/183.22	c ============================[ Search Statistics ]==============================
183.15/183.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.15/183.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.15/183.22	c ===============================================================================
183.15/183.22	c |         0 |    2224     2708    29288 |     5000        0    nan |  0.000 % |
183.15/183.23	c |       100 |    2224     2708    29288 |     5500      100     18 |  0.000 % |
183.15/183.24	c |       252 |    2224     2708    29288 |     6050      252     20 |  0.000 % |
183.15/183.28	c |       477 |    2224     2708    29288 |     6655      477     30 |  0.000 % |
183.24/183.34	c |       815 |    2224     2708    29288 |     7320      815     32 |  0.000 % |
183.24/183.39	c |      1326 |    2224     2708    29288 |     8052     1326     30 |  0.000 % |
183.45/183.54	c |      2085 |    2224     2708    29288 |     8857     2085     36 |  0.000 % |
183.66/183.74	c |      3224 |    2219     2708    29288 |     9743     2288     28 |  0.225 % |
184.04/184.14	c |      4932 |    2219     2708    29288 |    10717     3996     52 |  0.225 % |
185.05/185.13	c |      7503 |    2219     2708    29288 |    11789     6567     62 |  0.225 % |
186.85/186.98	c |     11351 |    2213     2708    29288 |    12968    10405     72 |  0.495 % |
189.35/189.40	c |     17118 |    2209     2708    29288 |    14265     8396     33 |  0.674 % |
193.84/193.91	c |     25768 |    2206     2708    29288 |    15692     9837     63 |  0.809 % |
196.75/196.88	c ===============================================================================
197.14/197.26	c core #6
197.14/197.26	c 
197.14/197.26	c 
197.14/197.26	c Core size: 172	Core Weight: 1	Total Weight: -114
197.14/197.26	c
197.14/197.26	c
197.14/197.26	c ============================[ Search Statistics ]==============================
197.14/197.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
197.14/197.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
197.14/197.26	c ===============================================================================
197.14/197.26	c |         0 |    2344     2831    29824 |     5000        0    nan |  0.000 % |
197.14/197.29	c |       101 |    2344     2831    29824 |     5500      101     62 |  0.000 % |
197.24/197.31	c |       251 |    2344     2831    29824 |     6050      251     45 |  0.000 % |
197.24/197.35	c |       477 |    2344     2831    29824 |     6655      477     43 |  0.000 % |
197.35/197.40	c |       814 |    2344     2831    29824 |     7320      814     43 |  0.000 % |
197.45/197.52	c |      1320 |    2344     2831    29824 |     8052     1320     52 |  0.000 % |
197.54/197.69	c |      2081 |    2344     2831    29824 |     8857     2081     54 |  0.000 % |
197.85/197.98	c |      3221 |    2344     2831    29824 |     9743     3221     61 |  0.000 % |
198.55/198.62	c |      4929 |    2344     2831    29824 |    10717     4929     74 |  0.000 % |
199.64/199.70	c |      7492 |    2344     2831    29824 |    11789     7492     94 |  0.000 % |
201.34/201.44	c |     11339 |    2344     2831    29824 |    12968    11339     89 |  0.000 % |
204.44/204.56	c |     17106 |    2341     2831    29824 |    14265     3374     33 |  0.128 % |
207.14/207.27	c |     25755 |    2339     2831    29824 |    15692    12019     65 |  0.213 % |
214.24/214.39	c |     38731 |    2337     2831    29824 |    17261     8985     92 |  0.299 % |
226.24/226.32	c |     58192 |    2336     2831    29824 |    18987    10946    131 |  0.341 % |
245.84/245.99	c |     87389 |    2334     2831    29824 |    20886    11345    110 |  0.427 % |
276.13/276.20	c |    131178 |    2332     2831    29824 |    22974    13068    123 |  0.512 % |
322.32/322.40	c |    196863 |    2332     2831    29824 |    25272    20713    102 |  0.512 % |
406.59/406.73	c |    295391 |    2332     2831    29824 |    27799    16906    103 |  0.512 % |
525.37/525.55	c ===============================================================================
531.27/531.46	c core #7
531.27/531.46	c 
531.27/531.46	c 
531.27/531.46	c Core size: 185	Core Weight: 1	Total Weight: -113
531.27/531.46	c
531.27/531.46	c
531.27/531.46	c ============================[ Search Statistics ]==============================
531.27/531.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
531.27/531.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
531.27/531.46	c ===============================================================================
531.27/531.46	c |         0 |    2464     3174    30776 |     5000        0    nan |  0.000 % |
531.37/531.59	c |       101 |    2464     3174    30776 |     5500      101     78 |  0.000 % |
531.47/531.60	c |       252 |    2464     3174    30776 |     6050      252     61 |  0.000 % |
531.47/531.66	c |       478 |    2464     3174    30776 |     6655      478     96 |  0.000 % |
531.57/531.73	c |       815 |    2464     3174    30776 |     7320      815     92 |  0.000 % |
531.66/531.86	c |      1326 |    2464     3174    30776 |     8052     1326     93 |  0.000 % |
531.97/532.10	c |      2087 |    2464     3174    30776 |     8857     2087    103 |  0.000 % |
532.47/532.66	c |      3227 |    2464     3174    30776 |     9743     3227    116 |  0.000 % |
532.97/533.15	c |      4936 |    2464     3174    30776 |    10717     4936    109 |  0.000 % |
534.06/534.20	c |      7503 |    2464     3174    30776 |    11789     7503    123 |  0.000 % |
536.26/536.47	c |     11347 |    2464     3174    30776 |    12968    11347    133 |  0.000 % |
541.16/541.39	c |     17114 |    2464     3174    30776 |    14265    10581    160 |  0.000 % |
546.97/547.16	c |     25763 |    2464     3174    30776 |    15692    11944     97 |  0.000 % |
556.16/556.36	c |     38739 |    2464     3174    30776 |    17261     8858    126 |  0.000 % |
566.96/567.16	c |     58201 |    2464     3174    30776 |    18987    10835     62 |  0.000 % |
586.46/586.61	c |     87393 |    2464     3174    30776 |    20886    11153    120 |  0.000 % |
613.95/614.11	c |    131182 |    2464     3174    30776 |    22974    12389     94 |  0.000 % |
668.04/668.25	c |    196866 |    2462     3174    30776 |    25272    20076    143 |  0.081 % |
771.92/772.14	c |    295394 |    2462     3174    30776 |    27799    16623    120 |  0.081 % |
937.18/937.49	c |    443184 |    2462     3174    30776 |    30579    22210    138 |  0.081 % |
1159.12/1159.50	c |    664871 |    2450     3174    30776 |    33637    25720    160 |  0.568 % |
1581.81/1582.22	c |    997396 |    2448     3174    30776 |    37001    29506    163 |  0.649 % |

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-2680606-1277451713/watcher-2680606-1277451713 -o /tmp/evaluation-result-2680606-1277451713/solver-2680606-1277451713 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680606-1277451713.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.00 0.00 0.00 2/106 25490
/proc/meminfo: memFree=1125028/2059040 swapFree=4140172/4192956
[pid=25490] ppid=25488 vsize=2784 CPUtime=0
/proc/25490/stat : 25490 (wbo1.4b) R 25488 25490 25465 0 -1 4202496 292 0 0 0 0 0 0 0 19 0 1 0 86466397 2850816 211 1992294400 134512640 135752675 4294717568 18446744073709551615 135197109 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25490/statm: 696 211 135 303 0 338 0

[startup+0.0940789 s]
/proc/loadavg: 0.00 0.00 0.00 2/106 25490
/proc/meminfo: memFree=1125028/2059040 swapFree=4140172/4192956
[pid=25490] ppid=25488 vsize=3504 CPUtime=0.08
/proc/25490/stat : 25490 (wbo1.4b) R 25488 25490 25465 0 -1 4202496 597 0 0 0 8 0 0 0 19 0 1 0 86466397 3588096 433 1992294400 134512640 135752675 4294717568 18446744073709551615 134616048 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25490/statm: 876 433 145 303 0 571 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3504

[startup+0.101079 s]
/proc/loadavg: 0.00 0.00 0.00 2/106 25490
/proc/meminfo: memFree=1125028/2059040 swapFree=4140172/4192956
[pid=25490] ppid=25488 vsize=3504 CPUtime=0.09
/proc/25490/stat : 25490 (wbo1.4b) R 25488 25490 25465 0 -1 4202496 604 0 0 0 9 0 0 0 19 0 1 0 86466397 3588096 440 1992294400 134512640 135752675 4294717568 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25490/statm: 876 440 145 303 0 571 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3504

[startup+0.301093 s]
/proc/loadavg: 0.00 0.00 0.00 2/106 25490
/proc/meminfo: memFree=1125028/2059040 swapFree=4140172/4192956
[pid=25490] ppid=25488 vsize=4296 CPUtime=0.29
/proc/25490/stat : 25490 (wbo1.4b) R 25488 25490 25465 0 -1 4202496 792 0 0 0 28 1 0 0 20 0 1 0 86466397 4399104 628 1992294400 134512640 135752675 4294717568 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25490/statm: 1074 628 145 303 0 769 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4296

[startup+0.701121 s]
/proc/loadavg: 0.00 0.00 0.00 2/106 25490
/proc/meminfo: memFree=1125028/2059040 swapFree=4140172/4192956
[pid=25490] ppid=25488 vsize=5864 CPUtime=0.69
/proc/25490/stat : 25490 (wbo1.4b) R 25488 25490 25465 0 -1 4202496 1201 0 0 0 67 2 0 0 20 0 1 0 86466397 6004736 1037 1992294400 134512640 135752675 4294717568 18446744073709551615 134639531 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25490/statm: 1466 1037 145 303 0 1161 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5864

[startup+1.50118 s]
/proc/loadavg: 0.08 0.02 0.01 2/107 25491
/proc/meminfo: memFree=1120432/2059040 swapFree=4140172/4192956
[pid=25490] ppid=25488 vsize=8996 CPUtime=1.49
/proc/25490/stat : 25490 (wbo1.4b) R 25488 25490 25465 0 -1 4202496 1957 0 0 0 144 5 0 0 22 0 1 0 86466397 9211904 1793 1992294400 134512640 135752675 4294717568 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25490/statm: 2249 1793 145 303 0 1944 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8996

[startup+3.10129 s]
/proc/loadavg: 0.08 0.02 0.01 2/107 25491
/proc/meminfo: memFree=1115968/2059040 swapFree=4140172/4192956
[pid=25490] ppid=25488 vsize=13856 CPUtime=3.09
/proc/25490/stat : 25490 (wbo1.4b) R 25488 25490 25465 0 -1 4202496 3167 0 0 0 300 9 0 0 25 0 1 0 86466397 14188544 3003 1992294400 134512640 135752675 4294717568 18446744073709551615 134611746 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25490/statm: 3464 3003 145 303 0 3159 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13856

[startup+6.30051 s]
/proc/loadavg: 0.31 0.07 0.02 2/107 25491
/proc/meminfo: memFree=1106296/2059040 swapFree=4140172/4192956
[pid=25490] ppid=25488 vsize=22564 CPUtime=6.28
/proc/25490/stat : 25490 (wbo1.4b) R 25488 25490 25465 0 -1 4202496 5354 0 0 0 614 14 0 0 25 0 1 0 86466397 23105536 5190 1992294400 134512640 135752675 4294717568 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25490/statm: 5641 5190 145 303 0 5336 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 22564

[startup+12.702 s]
/proc/loadavg: 0.37 0.08 0.03 2/107 25491
/proc/meminfo: memFree=1093152/2059040 swapFree=4140172/4192956
[pid=25490] ppid=25488 vsize=35164 CPUtime=12.69
/proc/25490/stat : 25490 (wbo1.4b) R 25488 25490 25465 0 -1 4202496 8480 0 0 0 1245 24 0 0 25 0 1 0 86466397 36007936 8316 1992294400 134512640 135752675 4294717568 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25490/statm: 8791 8316 145 303 0 8486 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 35164

[startup+25.5008 s]
/proc/loadavg: 0.51 0.13 0.04 2/107 25491
/proc/meminfo: memFree=1065004/2059040 swapFree=4140172/4192956
[pid=25490] ppid=25488 vsize=62240 CPUtime=25.48
/proc/25490/stat : 25490 (wbo1.4b) R 25488 25490 25465 0 -1 4202496 15267 0 0 0 2508 40 0 0 25 0 1 0 86466397 63733760 15103 1992294400 134512640 135752675 4294717568 18446744073709551615 134611790 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25490/statm: 15560 15103 145 303 0 15255 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 62240

[startup+51.1006 s]
/proc/loadavg: 0.67 0.19 0.06 2/107 25491
/proc/meminfo: memFree=1031648/2059040 swapFree=4140172/4192956
[pid=25490] ppid=25488 vsize=96032 CPUtime=51.07
/proc/25490/stat : 25490 (wbo1.4b) R 25488 25490 25465 0 -1 4202496 23713 0 0 0 5055 52 0 0 25 0 1 0 86466397 98336768 23549 1992294400 134512640 135752675 4294717568 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25490/statm: 24008 23549 145 303 0 23703 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 96032

[startup+102.308 s]
/proc/loadavg: 0.86 0.32 0.11 2/107 25493
/proc/meminfo: memFree=943856/2059040 swapFree=4140172/4192956
[pid=25490] ppid=25488 vsize=183268 CPUtime=102.27
/proc/25490/stat : 25490 (wbo1.4b) R 25488 25490 25465 0 -1 4202496 45474 0 0 0 10109 118 0 0 25 0 1 0 86466397 187666432 45310 1992294400 134512640 135752675 4294717568 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25490/statm: 45817 45311 145 303 0 45512 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 183268

[startup+162.301 s]
/proc/loadavg: 0.95 0.44 0.16 2/107 25495
/proc/meminfo: memFree=848872/2059040 swapFree=4140172/4192956
[pid=25490] ppid=25488 vsize=278860 CPUtime=162.25
/proc/25490/stat : 25490 (wbo1.4b) R 25488 25490 25465 0 -1 4202496 69299 0 0 0 16041 184 0 0 25 0 1 0 86466397 285552640 69135 1992294400 134512640 135752675 4294717568 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25490/statm: 69715 69135 145 303 0 69410 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 278860

[startup+222.3 s]
/proc/loadavg: 0.98 0.54 0.21 2/107 25497
/proc/meminfo: memFree=814152/2059040 swapFree=4140172/4192956
[pid=25490] ppid=25488 vsize=312188 CPUtime=222.24
/proc/25490/stat : 25490 (wbo1.4b) R 25488 25490 25465 0 -1 4202496 77823 0 0 0 21981 243 0 0 25 0 1 0 86466397 319680512 77628 1992294400 134512640 135752675 4294717568 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25490/statm: 78047 77628 146 303 0 77742 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 312188

[startup+282.301 s]
/proc/loadavg: 0.99 0.62 0.26 2/107 25499
/proc/meminfo: memFree=768148/2059040 swapFree=4140172/4192956
[pid=25490] ppid=25488 vsize=358460 CPUtime=282.23
/proc/25490/stat : 25490 (wbo1.4b) R 25488 25490 25465 0 -1 4202496 89355 0 0 0 27929 294 0 0 25 0 1 0 86466397 367063040 89160 1992294400 134512640 135752675 4294717568 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25490/statm: 89615 89160 146 303 0 89310 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 358460

[startup+342.301 s]
/proc/loadavg: 0.99 0.69 0.30 2/107 25499
/proc/meminfo: memFree=732064/2059040 swapFree=4140172/4192956
[pid=25490] ppid=25488 vsize=394044 CPUtime=342.21
/proc/25490/stat : 25490 (wbo1.4b) R 25488 25490 25465 0 -1 4202496 98282 0 0 0 33888 333 0 0 25 0 1 0 86466397 403501056 98087 1992294400 134512640 135752675 4294717568 18446744073709551615 134642643 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25490/statm: 98511 98087 146 303 0 98206 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 394044

[startup+402.301 s]
/proc/loadavg: 0.99 0.74 0.34 2/107 25501
/proc/meminfo: memFree=696228/2059040 swapFree=4140172/4192956
[pid=25490] ppid=25488 vsize=430556 CPUtime=402.2
/proc/25490/stat : 25490 (wbo1.4b) R 25488 25490 25465 0 -1 4202496 107371 0 0 0 39845 375 0 0 25 0 1 0 86466397 440889344 107176 1992294400 134512640 135752675 4294717568 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25490/statm: 107639 107176 146 303 0 107334 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 430556

[startup+462.301 s]
/proc/loadavg: 1.06 0.80 0.39 2/107 25503
/proc/meminfo: memFree=658656/2059040 swapFree=4140172/4192956
[pid=25490] ppid=25488 vsize=467520 CPUtime=462.18
/proc/25490/stat : 25490 (wbo1.4b) R 25488 25490 25465 0 -1 4202496 116610 0 0 0 45806 412 0 0 25 0 1 0 86466397 478740480 116415 1992294400 134512640 135752675 4294717568 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25490/statm: 116880 116415 146 303 0 116575 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 467520

[startup+522.301 s]
/proc/loadavg: 1.02 0.83 0.42 2/107 25505
/proc/meminfo: memFree=624680/2059040 swapFree=4140172/4192956
[pid=25490] ppid=25488 vsize=501668 CPUtime=522.17
/proc/25490/stat : 25490 (wbo1.4b) R 25488 25490 25465 0 -1 4202496 125140 0 0 0 51772 445 0 0 25 0 1 0 86466397 513708032 124945 1992294400 134512640 135752675 4294717568 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25490/statm: 125417 124945 146 303 0 125112 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 501668

[startup+582.301 s]
/proc/loadavg: 1.01 0.86 0.46 2/107 25507
/proc/meminfo: memFree=586860/2059040 swapFree=4140172/4192956
[pid=25490] ppid=25488 vsize=539436 CPUtime=582.16
/proc/25490/stat : 25490 (wbo1.4b) R 25488 25490 25465 0 -1 4202496 134595 0 0 0 57726 490 0 0 25 0 1 0 86466397 552382464 134400 1992294400 134512640 135752675 4294717568 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25490/statm: 134859 134400 146 303 0 134554 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 539436

[startup+642.301 s]
/proc/loadavg: 1.00 0.88 0.49 2/107 25507
/proc/meminfo: memFree=541352/2059040 swapFree=4140172/4192956
[pid=25490] ppid=25488 vsize=584248 CPUtime=642.15
/proc/25490/stat : 25490 (wbo1.4b) R 25488 25490 25465 0 -1 4202496 145816 0 0 0 63676 539 0 0 25 0 1 0 86466397 598269952 145621 1992294400 134512640 135752675 4294717568 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25490/statm: 146062 145621 146 303 0 145757 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 584248

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 0.94 0.59 2/107 25515
/proc/meminfo: memFree=388832/2059040 swapFree=4140172/4192956
[pid=25490] ppid=25488 vsize=736824 CPUtime=882.09
/proc/25490/stat : 25490 (wbo1.4b) R 25488 25490 25465 0 -1 4202496 183882 0 0 0 87528 681 0 0 25 0 1 0 86466397 754507776 183687 1992294400 134512640 135752675 4294717568 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25490/statm: 184206 183687 146 303 0 183901 0
Current children cumulated CPU time (s) 882.09
Current children cumulated vsize (KiB) 736824

[startup+942.301 s]
/proc/loadavg: 1.00 0.95 0.62 2/107 25515
/proc/meminfo: memFree=351260/2059040 swapFree=4140172/4192956
[pid=25490] ppid=25488 vsize=774508 CPUtime=942.07
/proc/25490/stat : 25490 (wbo1.4b) R 25488 25490 25465 0 -1 4202496 193292 0 0 0 93496 711 0 0 25 0 1 0 86466397 793096192 193097 1992294400 134512640 135752675 4294717568 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25490/statm: 193627 193097 146 303 0 193322 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 774508

[startup+1002.3 s]
/proc/loadavg: 1.00 0.95 0.64 2/107 25517
/proc/meminfo: memFree=316168/2059040 swapFree=4140172/4192956
[pid=25490] ppid=25488 vsize=809492 CPUtime=1002.07
/proc/25490/stat : 25490 (wbo1.4b) R 25488 25490 25465 0 -1 4202496 202001 0 0 0 99464 743 0 0 25 0 1 0 86466397 828919808 201806 1992294400 134512640 135752675 4294717568 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25490/statm: 202373 201806 146 303 0 202068 0
Current children cumulated CPU time (s) 1002.07
Current children cumulated vsize (KiB) 809492

[startup+1062.3 s]
/proc/loadavg: 1.00 0.96 0.66 2/107 25519
/proc/meminfo: memFree=278596/2059040 swapFree=4140172/4192956
[pid=25490] ppid=25488 vsize=847584 CPUtime=1062.05
/proc/25490/stat : 25490 (wbo1.4b) R 25488 25490 25465 0 -1 4202496 211534 0 0 0 105430 775 0 0 25 0 1 0 86466397 867926016 211339 1992294400 134512640 135752675 4294717568 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25490/statm: 211896 211339 146 303 0 211591 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 847584

[startup+1122.3 s]
/proc/loadavg: 1.00 0.96 0.67 2/107 25521
/proc/meminfo: memFree=235072/2059040 swapFree=4140172/4192956
[pid=25490] ppid=25488 vsize=890528 CPUtime=1122.03
/proc/25490/stat : 25490 (wbo1.4b) R 25488 25490 25465 0 -1 4202496 222261 0 0 0 111389 814 0 0 25 0 1 0 86466397 911900672 222066 1992294400 134512640 135752675 4294717568 18446744073709551615 134611807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25490/statm: 222632 222066 146 303 0 222327 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 890528

[startup+1182.3 s]
/proc/loadavg: 1.00 0.97 0.69 2/107 25532
/proc/meminfo: memFree=185100/2059040 swapFree=4140172/4192956
[pid=25490] ppid=25488 vsize=940540 CPUtime=1182.01
/proc/25490/stat : 25490 (wbo1.4b) R 25488 25490 25465 0 -1 4202496 234744 0 0 0 117344 857 0 0 25 0 1 0 86466397 963112960 234549 1992294400 134512640 135752675 4294717568 18446744073709551615 134611750 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25490/statm: 235135 234549 146 303 0 234830 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 940540

[startup+1242.3 s]
/proc/loadavg: 1.00 0.97 0.71 2/107 25532
/proc/meminfo: memFree=150504/2059040 swapFree=4140172/4192956
[pid=25490] ppid=25488 vsize=974448 CPUtime=1241.99
/proc/25490/stat : 25490 (wbo1.4b) R 25488 25490 25465 0 -1 4202496 243217 0 0 0 123316 883 0 0 25 0 1 0 86466397 997834752 243022 1992294400 134512640 135752675 4294717568 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25490/statm: 243612 243022 146 303 0 243307 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 974448

[startup+1302.3 s]
/proc/loadavg: 1.00 0.97 0.73 2/107 25534
/proc/meminfo: memFree=118636/2059040 swapFree=4140172/4192956
[pid=25490] ppid=25488 vsize=1006356 CPUtime=1301.98
/proc/25490/stat : 25490 (wbo1.4b) R 25488 25490 25465 0 -1 4202496 251144 0 0 0 129286 912 0 0 25 0 1 0 86466397 1030508544 250949 1992294400 134512640 135752675 4294717568 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25490/statm: 251589 250949 146 303 0 251284 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 1006356

[startup+1362.3 s]
/proc/loadavg: 1.00 0.97 0.74 2/107 25536
/proc/meminfo: memFree=79948/2059040 swapFree=4140172/4192956
[pid=25490] ppid=25488 vsize=1045564 CPUtime=1361.96
/proc/25490/stat : 25490 (wbo1.4b) R 25488 25490 25465 0 -1 4202496 260937 0 0 0 135245 951 0 0 25 0 1 0 86466397 1070657536 260742 1992294400 134512640 135752675 4294717568 18446744073709551615 134611663 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25490/statm: 261391 260742 146 303 0 261086 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 1045564

[startup+1422.31 s]
/proc/loadavg: 1.00 0.97 0.75 2/107 25538
/proc/meminfo: memFree=47460/2059040 swapFree=4140172/4192956
[pid=25490] ppid=25488 vsize=1077288 CPUtime=1421.96
/proc/25490/stat : 25490 (wbo1.4b) R 25488 25490 25465 0 -1 4202496 268887 0 0 0 141219 977 0 0 25 0 1 0 86466397 1103142912 268692 1992294400 134512640 135752675 4294717568 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25490/statm: 269322 268692 146 303 0 269017 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 1077288

[startup+1482.3 s]
/proc/loadavg: 1.00 0.97 0.76 2/107 25540
/proc/meminfo: memFree=14352/2059040 swapFree=4140172/4192956
[pid=25490] ppid=25488 vsize=1110688 CPUtime=1481.94
/proc/25490/stat : 25490 (wbo1.4b) R 25488 25490 25465 0 -1 4202496 277236 0 0 0 147190 1004 0 0 25 0 1 0 86466397 1137344512 277041 1992294400 134512640 135752675 4294717568 18446744073709551615 134611750 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25490/statm: 277672 277041 146 303 0 277367 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 1110688

[startup+1542.3 s]
/proc/loadavg: 1.00 0.97 0.77 2/107 25540
/proc/meminfo: memFree=10484/2059040 swapFree=4140168/4192956
[pid=25490] ppid=25488 vsize=1162784 CPUtime=1541.93
/proc/25490/stat : 25490 (wbo1.4b) R 25488 25490 25465 0 -1 4202496 290239 0 0 0 153151 1042 0 0 25 0 1 0 86466397 1190690816 290044 1992294400 134512640 135752675 4294717568 18446744073709551615 134638030 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25490/statm: 290696 290045 146 303 0 290391 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 1162784

[startup+1602.3 s]
/proc/loadavg: 1.00 0.97 0.79 2/107 25542
/proc/meminfo: memFree=10240/2059040 swapFree=4140168/4192956
[pid=25490] ppid=25488 vsize=1200420 CPUtime=1601.92
/proc/25490/stat : 25490 (wbo1.4b) R 25488 25490 25465 0 -1 4202496 299640 0 0 0 159118 1074 0 0 25 0 1 0 86466397 1229230080 299445 1992294400 134512640 135752675 4294717568 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25490/statm: 300105 299445 146 303 0 299800 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 1200420

[startup+1662.3 s]
/proc/loadavg: 1.00 0.97 0.80 2/107 25544
/proc/meminfo: memFree=9372/2059040 swapFree=4140168/4192956
[pid=25490] ppid=25488 vsize=1236396 CPUtime=1661.9
/proc/25490/stat : 25490 (wbo1.4b) R 25488 25490 25465 0 -1 4202496 308636 0 0 0 165090 1100 0 0 25 0 1 0 86466397 1266069504 308441 1992294400 134512640 135752675 4294717568 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25490/statm: 309099 308441 146 303 0 308794 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 1236396

[startup+1722.3 s]
/proc/loadavg: 1.00 0.97 0.81 2/107 25546
/proc/meminfo: memFree=9220/2059040 swapFree=4140168/4192956
[pid=25490] ppid=25488 vsize=1271284 CPUtime=1721.89
/proc/25490/stat : 25490 (wbo1.4b) R 25488 25490 25465 0 -1 4202496 317335 0 0 0 171065 1124 0 0 25 0 1 0 86466397 1301794816 317140 1992294400 134512640 135752675 4294717568 18446744073709551615 134612140 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25490/statm: 317821 317140 146 303 0 317516 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 1271284

[startup+1782.3 s]
/proc/loadavg: 1.00 0.97 0.82 2/107 25548
/proc/meminfo: memFree=10484/2059040 swapFree=4140168/4192956
[pid=25490] ppid=25488 vsize=1310936 CPUtime=1781.87
/proc/25490/stat : 25490 (wbo1.4b) R 25488 25490 25465 0 -1 4202496 327247 0 0 0 177030 1157 0 0 25 0 1 0 86466397 1342398464 327052 1992294400 134512640 135752675 4294717568 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25490/statm: 327734 327052 146 303 0 327429 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 1310936



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 0.97 0.82 2/107 25548
/proc/meminfo: memFree=9676/2059040 swapFree=4140168/4192956
[pid=25490] ppid=25488 vsize=1327060 CPUtime=1800.07
/proc/25490/stat : 25490 (wbo1.4b) R 25488 25490 25465 0 -1 4202496 331273 0 0 0 178835 1172 0 0 25 0 1 0 86466397 1358909440 331078 1992294400 134512640 135752675 4294717568 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25490/statm: 331765 331078 146 303 0 331460 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1327060

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 0.97 0.82 2/108 25549
/proc/meminfo: memFree=1124552/2059040 swapFree=4140168/4192956
[pid=25490] ppid=25488 vsize=0 CPUtime=1800.18
/proc/25490/stat : 25490 (wbo1.4b) R 25488 25490 25465 0 -1 4203524 331273 0 0 0 178835 1183 0 0 25 0 1 0 86466397 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/25490/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.63
CPU time (s): 1800.21
CPU user time (s): 1788.36
CPU system time (s): 11.8532
CPU usage (%): 99.9765
Max. virtual memory (cumulated for all children) (KiB): 1327060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.36
system time used= 11.8532
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 331273
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9
involuntary context switches= 3167

runsolver used 3.22651 second user time and 8.26074 second system time

The end

Launcher Data 

Begin job on node034 at 2010-06-25 09:41:53
IDJOB=2680606
IDBENCH=1870
IDSOLVER=1190
FILE ID=node034/2680606-1277451713
PBS_JOBID= 11188132
Free space on /tmp= 62436 MiB

SOLVER NAME= wbo 1.4b (fixed)
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-protfold.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680606-1277451713/watcher-2680606-1277451713 -o /tmp/evaluation-result-2680606-1277451713/solver-2680606-1277451713 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680606-1277451713.opb

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

MD5SUM BENCH= 7f40f8d513f22fc9adca96d8fdf626e2
RANDOM SEED=1617550018

node034.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1125556 kB
Buffers:        205780 kB
Cached:         613872 kB
SwapCached:       6376 kB
Active:         351116 kB
Inactive:       482344 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1125556 kB
SwapTotal:     4192956 kB
SwapFree:      4140172 kB
Dirty:            3096 kB
Writeback:           0 kB
AnonPages:       11480 kB
Mapped:          12056 kB
Slab:            78116 kB
PageTables:       4156 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182600 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62432 MiB
End job on node034 at 2010-06-25 10:11:56