Trace number 2702424

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? (TO) 1800.16 1800.73

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_10_3.opb
MD5SUM8decd85a4aebca069c2c72faa547de31
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark90.1533
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 11
Optimality of the best value was proved NO
Number of variables100
Total number of constraints100
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints100
Minimum length of a constraint11
Maximum length of a constraint19
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1244
Sum of products size (including duplicates)2488
Number of different products1244
Sum of products size2488

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 - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2702424-1278566555.opb.
0.00/0.00	c Instance file HOME/instance-2702424-1278566555.opb
0.00/0.00	c File size is 88660 bytes.
0.00/0.01	c Highest Coefficient sum: 20
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Parsing time:          0.01         s                                      |
0.00/0.01	c |  Number Variables:      1344                                                |
0.00/0.01	c |  Number Clauses:        1344                                                |
0.00/0.01	c |  Number Cardinality:    0                                                   |
0.00/0.01	c |  Number PB Constraints: 1244                                                |
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |    1344     2588     8808 |     5000        0    nan |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 99
0.00/0.01	o 99
0.00/0.01	c Elapsed CPU time: 0.016997 s	Remaining CPU time: 179.983 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |    1344     2589     8908 |     5000        0    nan |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 98
0.00/0.01	o 98
0.00/0.01	c Elapsed CPU time: 0.017997 s	Remaining CPU time: 179.982 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |    1344     2590     9008 |     5000        0    nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 83
0.00/0.02	o 83
0.00/0.02	c Elapsed CPU time: 0.017997 s	Remaining CPU time: 179.982 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |    1344     2591     9108 |     5000        0    nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 82
0.00/0.02	o 82
0.00/0.02	c Elapsed CPU time: 0.018997 s	Remaining CPU time: 179.981 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |    1344     2592     9208 |     5000        0    nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 81
0.00/0.02	o 81
0.00/0.02	c Elapsed CPU time: 0.019996 s	Remaining CPU time: 179.98 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |    1344     2593     9308 |     5000        0    nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 80
0.00/0.02	o 80
0.00/0.02	c Elapsed CPU time: 0.021996 s	Remaining CPU time: 179.978 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |    1344     2594     9408 |     5000        0    nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 79
0.00/0.02	o 79
0.00/0.02	c Elapsed CPU time: 0.022996 s	Remaining CPU time: 179.977 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |    1344     2595     9508 |     5000        0    nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 78
0.00/0.02	o 78
0.00/0.02	c Elapsed CPU time: 0.023996 s	Remaining CPU time: 179.976 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         3 |    1344     2596     9608 |     5000        3     79 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 15
0.00/0.02	o 15
0.00/0.02	c Elapsed CPU time: 0.024996 s	Remaining CPU time: 179.975 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         3 |    1344     2597     9708 |     5000        3     79 |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c New solution: 14
0.00/0.03	o 14
0.00/0.03	c Elapsed CPU time: 0.026995 s	Remaining CPU time: 179.973 s
0.00/0.03	c ===============================================================================
0.00/0.03	c |        11 |    1344     2598     9808 |     5000       11     44 |  0.000 % |
0.00/0.03	c |       111 |    1344     2598     9808 |     5500      111     58 |  0.001 % |
0.00/0.05	c |       261 |    1344     2598     9808 |     6050      261     49 |  0.001 % |
0.05/0.07	c |       487 |    1344     2598     9808 |     6655      487     50 |  0.001 % |
0.09/0.11	c |       826 |    1344     2598     9808 |     7320      826     49 |  0.001 % |
0.09/0.16	c |      1332 |    1344     2598     9808 |     8052     1332     52 |  0.001 % |
0.19/0.25	c |      2091 |    1344     2598     9808 |     8857     2091     49 |  0.001 % |
0.29/0.39	c |      3231 |    1344     2598     9808 |     9743     3231     52 |  0.001 % |
0.49/0.59	c |      4939 |    1344     2598     9808 |    10717     4939     52 |  0.001 % |
0.79/0.85	c ===============================================================================
0.79/0.85	c New solution: 13
0.79/0.85	o 13
0.79/0.85	c Elapsed CPU time: 0.824874 s	Remaining CPU time: 179.175 s
0.79/0.85	c ===============================================================================
0.79/0.85	c |      6932 |    1344     2599     9908 |     5000     6932     53 |  0.001 % |
0.79/0.87	c |      7033 |    1344     2599     9908 |     5500     3567     54 |  0.001 % |
0.79/0.89	c |      7183 |    1344     2599     9908 |     6050     3717     54 |  0.001 % |
0.89/0.92	c |      7408 |    1344     2599     9908 |     6655     3942     54 |  0.001 % |
0.89/0.97	c |      7745 |    1344     2599     9908 |     7320     4279     52 |  0.001 % |
1.00/1.04	c |      8251 |    1344     2599     9908 |     8052     4785     51 |  0.001 % |
1.10/1.15	c |      9010 |    1344     2599     9908 |     8857     5544     50 |  0.001 % |
1.29/1.30	c |     10149 |    1344     2599     9908 |     9743     6683     49 |  0.001 % |
1.49/1.53	c |     11858 |    1344     2599     9908 |    10717     8392     49 |  0.001 % |
1.89/1.95	c |     14420 |    1344     2599     9908 |    11789    10954     49 |  0.001 % |
2.49/2.53	c |     18265 |    1344     2599     9908 |    12968     8409     50 |  0.001 % |
3.49/3.56	c |     24031 |    1344     2599     9908 |    14265     7265     50 |  0.001 % |
5.19/5.23	c |     32682 |    1344     2599     9908 |    15692     8332     44 |  0.001 % |
7.59/7.63	c |     45658 |    1344     2599     9908 |    17261    12998     47 |  0.001 % |
11.49/11.59	c |     65120 |    1344     2599     9908 |    18987    14303     49 |  0.001 % |
17.29/17.34	c ===============================================================================
17.29/17.34	c New solution: 12
17.29/17.34	o 12
17.29/17.34	c Elapsed CPU time: 17.0754 s	Remaining CPU time: 162.925 s
17.29/17.34	c ===============================================================================
17.29/17.34	c |     90704 |    1344     2600    10008 |     5000    10054     46 |  0.001 % |
17.39/17.41	c |     90804 |    1344     2600    10008 |     5500     2614     41 |  0.001 % |
17.39/17.43	c |     90954 |    1344     2600    10008 |     6050     2764     41 |  0.001 % |
17.39/17.45	c |     91179 |    1344     2600    10008 |     6655     2989     42 |  0.001 % |
17.49/17.50	c |     91520 |    1344     2600    10008 |     7320     3330     41 |  0.001 % |
17.49/17.57	c |     92027 |    1344     2600    10008 |     8052     3837     42 |  0.001 % |
17.60/17.66	c |     92786 |    1344     2600    10008 |     8857     4596     44 |  0.001 % |
17.79/17.81	c |     93925 |    1344     2600    10008 |     9743     5735     44 |  0.001 % |
17.98/18.06	c |     95634 |    1344     2600    10008 |    10717     7444     45 |  0.001 % |
18.38/18.45	c |     98196 |    1344     2600    10008 |    11789    10006     49 |  0.001 % |
19.08/19.10	c |    102042 |    1344     2600    10008 |    12968     7525     50 |  0.001 % |
20.08/20.12	c |    107809 |    1344     2600    10008 |    14265    13292     50 |  0.001 % |
21.69/21.79	c |    116458 |    1344     2600    10008 |    15692    14391     51 |  0.001 % |
24.19/24.27	c |    129432 |    1344     2600    10008 |    17261    10815     47 |  0.001 % |
28.58/28.65	c |    148895 |    1344     2600    10008 |    18987    12224     49 |  0.001 % |
35.88/35.94	c |    178087 |    1344     2600    10008 |    20886    11694     55 |  0.001 % |
47.77/47.88	c |    221876 |    1344     2600    10008 |    22974    12136     52 |  0.001 % |
65.97/66.01	c |    287561 |    1344     2600    10008 |    25272    15494     58 |  0.001 % |
92.45/92.59	c |    386088 |    1344     2600    10008 |    27799    24539     49 |  0.001 % |
134.94/135.06	c |    533877 |    1344     2600    10008 |    30579    17974     54 |  0.001 % |
182.22/182.37	c There are 0 assigned variables. 0 in cost function.
183.03/183.10	c core #1
183.03/183.10	c core #2
183.03/183.10	c core #3
183.03/183.10	c core #4
183.03/183.10	c ============================[ Search Statistics ]==============================
183.03/183.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.03/183.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.03/183.10	c ===============================================================================
183.03/183.10	c |         0 |     703     2705     7544 |     5000        0    nan |  0.000 % |
183.03/183.10	c ===============================================================================
183.03/183.11	c core #5
183.03/183.11	c ============================[ Search Statistics ]==============================
183.03/183.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.03/183.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.03/183.11	c ===============================================================================
183.03/183.11	c |         0 |     998     2706     8355 |     5000        0    nan |  0.000 % |
183.03/183.13	c |       101 |     984     2706     8355 |     5500       46     37 | 30.851 % |
183.03/183.13	c ===============================================================================
183.03/183.14	c core #6
183.03/183.14	c ============================[ Search Statistics ]==============================
183.03/183.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.03/183.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.03/183.14	c ===============================================================================
183.03/183.14	c |         0 |    1463     2707    10208 |     5000        0    nan |  0.000 % |
183.03/183.17	c |       101 |    1463     2707    10208 |     5500      101     84 |  3.049 % |
183.12/183.21	c |       254 |    1463     2707    10208 |     6050      254     96 |  3.048 % |
183.12/183.26	c |       482 |    1463     2707    10208 |     6655      482     95 |  3.048 % |
183.22/183.34	c |       821 |    1463     2707    10208 |     7320      821    100 |  3.048 % |
183.32/183.49	c |      1328 |    1463     2707    10208 |     8052     1328    103 |  3.048 % |
183.72/183.81	c |      2093 |    1463     2707    10208 |     8857     2093     95 |  3.048 % |
183.92/184.06	c ===============================================================================
183.92/184.09	c core #7
183.92/184.09	c ============================[ Search Statistics ]==============================
183.92/184.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.92/184.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.92/184.09	c ===============================================================================
183.92/184.09	c |         0 |    1609     2708    10738 |     5000        0    nan |  0.000 % |
184.03/184.12	c |       100 |    1609     2708    10738 |     5500      100    109 |  0.001 % |
184.03/184.15	c |       250 |    1609     2708    10738 |     6050      250     82 |  0.000 % |
184.12/184.20	c |       477 |    1609     2708    10738 |     6655      477     68 |  0.000 % |
184.12/184.29	c |       815 |    1609     2708    10738 |     7320      815     70 |  0.001 % |
184.32/184.41	c |      1321 |    1609     2708    10738 |     8052     1321     84 |  0.000 % |
184.52/184.63	c |      2082 |    1609     2708    10738 |     8857     2082     91 |  0.000 % |
184.92/185.04	c |      3225 |    1609     2708    10738 |     9743     3225    101 |  0.000 % |
185.52/185.67	c |      4936 |    1609     2708    10738 |    10717     4936    112 |  0.000 % |
186.72/186.80	c |      7498 |    1609     2708    10738 |    11789     7498    112 |  0.000 % |
188.62/188.74	c |     11343 |    1609     2708    10738 |    12968    11343    114 |  0.000 % |
192.02/192.15	c |     17110 |    1609     2708    10738 |    14265    10537    118 |  0.000 % |
198.02/198.16	c |     25759 |    1609     2708    10738 |    15692    11933    137 |  0.000 % |
207.62/207.76	c |     38735 |    1609     2708    10738 |    17261     8907    118 |  0.000 % |
221.81/221.96	c |     58197 |    1609     2708    10738 |    18987    10800    134 |  0.000 % |
248.71/248.86	c |     87390 |    1609     2708    10738 |    20886    11035    142 |  0.001 % |
295.59/295.70	c |    131183 |    1609     2708    10738 |    22974    12489    135 |  0.000 % |
363.07/363.28	c |    196870 |    1609     2708    10738 |    25272    19978    164 |  0.000 % |
386.66/386.86	c ===============================================================================
391.37/391.58	c core #8
391.37/391.58	c ============================[ Search Statistics ]==============================
391.37/391.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
391.37/391.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
391.37/391.58	c ===============================================================================
391.37/391.58	c |         0 |    1709     2709    10938 |     5000        0    nan |  0.000 % |
391.47/391.69	c |       102 |    1709     2709    10938 |     5500      102    150 |  0.000 % |
391.56/391.72	c |       252 |    1709     2709    10938 |     6050      252    121 |  0.000 % |
391.56/391.76	c |       477 |    1709     2709    10938 |     6655      477    117 |  0.000 % |
391.66/391.85	c |       818 |    1709     2709    10938 |     7320      818    131 |  0.000 % |
391.76/391.98	c |      1324 |    1709     2709    10938 |     8052     1324    124 |  0.000 % |
392.05/392.23	c |      2084 |    1709     2709    10938 |     8857     2084    124 |  0.000 % |
392.36/392.57	c |      3223 |    1709     2709    10938 |     9743     3223    120 |  0.000 % |
392.96/393.13	c |      4931 |    1709     2709    10938 |    10717     4931    128 |  0.000 % |
393.96/394.12	c |      7496 |    1709     2709    10938 |    11789     7496    127 |  0.000 % |
396.76/396.99	c |     11342 |    1709     2709    10938 |    12968    11342    142 |  0.000 % |
401.75/401.99	c |     17111 |    1709     2709    10938 |    14265    10392    161 |  0.000 % |
409.65/409.83	c |     25767 |    1709     2709    10938 |    15692    11741    177 |  0.000 % |
424.64/424.83	c |     38743 |    1709     2709    10938 |    17261     8645    174 |  0.000 % |
444.34/444.52	c |     58205 |    1709     2709    10938 |    18987    10543    170 |  0.000 % |
484.02/484.24	c |     87397 |    1709     2709    10938 |    20886    10665    251 |  0.000 % |
558.61/558.84	c |    131195 |    1709     2709    10938 |    22974    12080    251 |  0.000 % |
646.48/646.75	c |    196879 |    1709     2709    10938 |    25272    18495    193 |  0.000 % |
775.03/775.40	c |    295411 |    1709     2709    10938 |    27799    22862    222 |  0.000 % |
1017.07/1017.45	c |    443200 |    1709     2709    10938 |    30579    18438    259 |  0.000 % |
1435.04/1435.57	c |    664884 |    1709     2709    10938 |    33637    30530    215 |  0.000 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2702424-1278566555/watcher-2702424-1278566555 -o /tmp/evaluation-result-2702424-1278566555/solver-2702424-1278566555 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702424-1278566555.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: 1.00 1.00 1.00 2/106 28714
/proc/meminfo: memFree=1716688/2059040 swapFree=4139492/4192956
[pid=28714] ppid=28712 vsize=2828 CPUtime=0
/proc/28714/stat : 28714 (wbo1.4b) R 28712 28714 28297 0 -1 4202496 334 0 0 0 0 0 0 0 20 0 1 0 24867645 2895872 253 1992294400 134512640 135751879 4290754192 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28714/statm: 707 253 146 303 0 380 0

[startup+0.0624039 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28714
/proc/meminfo: memFree=1716688/2059040 swapFree=4139492/4192956
[pid=28714] ppid=28712 vsize=3156 CPUtime=0.05
/proc/28714/stat : 28714 (wbo1.4b) R 28712 28714 28297 0 -1 4202496 459 0 0 0 5 0 0 0 20 0 1 0 24867645 3231744 343 1992294400 134512640 135751879 4290754192 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28714/statm: 789 343 147 303 0 484 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 3156

[startup+0.101408 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28714
/proc/meminfo: memFree=1716688/2059040 swapFree=4139492/4192956
[pid=28714] ppid=28712 vsize=3284 CPUtime=0.09
/proc/28714/stat : 28714 (wbo1.4b) R 28712 28714 28297 0 -1 4202496 488 0 0 0 9 0 0 0 20 0 1 0 24867645 3362816 372 1992294400 134512640 135751879 4290754192 18446744073709551615 134611179 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28714/statm: 821 372 147 303 0 516 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3284

[startup+0.301429 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28714
/proc/meminfo: memFree=1716688/2059040 swapFree=4139492/4192956
[pid=28714] ppid=28712 vsize=3812 CPUtime=0.29
/proc/28714/stat : 28714 (wbo1.4b) R 28712 28714 28297 0 -1 4202496 634 0 0 0 28 1 0 0 20 0 1 0 24867645 3903488 518 1992294400 134512640 135751879 4290754192 18446744073709551615 134611031 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28714/statm: 953 519 147 303 0 648 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3812

[startup+0.701471 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28714
/proc/meminfo: memFree=1716688/2059040 swapFree=4139492/4192956
[pid=28714] ppid=28712 vsize=4888 CPUtime=0.69
/proc/28714/stat : 28714 (wbo1.4b) R 28712 28714 28297 0 -1 4202496 915 0 0 0 67 2 0 0 20 0 1 0 24867645 5005312 799 1992294400 134512640 135751879 4290754192 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28714/statm: 1222 799 147 303 0 917 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4888

[startup+1.50156 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28715
/proc/meminfo: memFree=1713580/2059040 swapFree=4139492/4192956
[pid=28714] ppid=28712 vsize=6736 CPUtime=1.49
/proc/28714/stat : 28714 (wbo1.4b) R 28712 28714 28297 0 -1 4202496 1369 0 0 0 146 3 0 0 22 0 1 0 24867645 6897664 1253 1992294400 134512640 135751879 4290754192 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28714/statm: 1684 1253 148 303 0 1379 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6736

[startup+3.10173 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28715
/proc/meminfo: memFree=1711100/2059040 swapFree=4139492/4192956
[pid=28714] ppid=28712 vsize=10032 CPUtime=3.09
/proc/28714/stat : 28714 (wbo1.4b) R 28712 28714 28297 0 -1 4202496 2183 0 0 0 303 6 0 0 25 0 1 0 24867645 10272768 2067 1992294400 134512640 135751879 4290754192 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28714/statm: 2508 2067 148 303 0 2203 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10032

[startup+6.30107 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28715
/proc/meminfo: memFree=1705148/2059040 swapFree=4139492/4192956
[pid=28714] ppid=28712 vsize=15312 CPUtime=6.29
/proc/28714/stat : 28714 (wbo1.4b) R 28712 28714 28297 0 -1 4202496 3491 0 0 0 619 10 0 0 25 0 1 0 24867645 15679488 3375 1992294400 134512640 135751879 4290754192 18446744073709551615 135206610 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28714/statm: 3828 3375 148 303 0 3523 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15312

[startup+12.7018 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28717
/proc/meminfo: memFree=1694608/2059040 swapFree=4139492/4192956
[pid=28714] ppid=28712 vsize=25260 CPUtime=12.68
/proc/28714/stat : 28714 (wbo1.4b) R 28712 28714 28297 0 -1 4202496 5994 0 0 0 1249 19 0 0 25 0 1 0 24867645 25866240 5878 1992294400 134512640 135751879 4290754192 18446744073709551615 134602472 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28714/statm: 6315 5878 148 303 0 6010 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 25260

[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28717
/proc/meminfo: memFree=1673404/2059040 swapFree=4139492/4192956
[pid=28714] ppid=28712 vsize=45868 CPUtime=25.48
/proc/28714/stat : 28714 (wbo1.4b) R 28712 28714 28297 0 -1 4202496 11140 0 0 0 2507 41 0 0 25 0 1 0 24867645 46968832 11024 1992294400 134512640 135751879 4290754192 18446744073709551615 134518896 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28714/statm: 11467 11024 148 303 0 11162 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 45868

[startup+51.1009 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28717
/proc/meminfo: memFree=1640420/2059040 swapFree=4139492/4192956
[pid=28714] ppid=28712 vsize=79120 CPUtime=51.07
/proc/28714/stat : 28714 (wbo1.4b) R 28712 28714 28297 0 -1 4202496 19426 0 0 0 5032 75 0 0 25 0 1 0 24867645 81018880 19310 1992294400 134512640 135751879 4290754192 18446744073709551615 134518784 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28714/statm: 19780 19310 148 303 0 19475 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 79120

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28719
/proc/meminfo: memFree=1580156/2059040 swapFree=4139492/4192956
[pid=28714] ppid=28712 vsize=138508 CPUtime=102.26
/proc/28714/stat : 28714 (wbo1.4b) R 28712 28714 28297 0 -1 4202496 34276 0 0 0 10088 138 0 0 25 0 1 0 24867645 141832192 34160 1992294400 134512640 135751879 4290754192 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28714/statm: 34627 34160 148 303 0 34322 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 138508

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28721
/proc/meminfo: memFree=1512700/2059040 swapFree=4139492/4192956
[pid=28714] ppid=28712 vsize=206484 CPUtime=162.23
/proc/28714/stat : 28714 (wbo1.4b) R 28712 28714 28297 0 -1 4202496 51253 0 0 0 16017 206 0 0 25 0 1 0 24867645 211439616 51137 1992294400 134512640 135751879 4290754192 18446744073709551615 134518802 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28714/statm: 51621 51137 148 303 0 51316 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 206484

[startup+222.301 s]
/proc/loadavg: 1.11 1.03 1.01 2/107 28721
/proc/meminfo: memFree=1469052/2059040 swapFree=4139492/4192956
[pid=28714] ppid=28712 vsize=249348 CPUtime=222.21
/proc/28714/stat : 28714 (wbo1.4b) R 28712 28714 28297 0 -1 4202496 62037 0 0 0 21963 258 0 0 25 0 1 0 24867645 255332352 61890 1992294400 134512640 135751879 4290754192 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28714/statm: 62337 61890 151 303 0 62032 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 249348

[startup+282.301 s]
/proc/loadavg: 1.11 1.04 1.00 2/107 28723
/proc/meminfo: memFree=1428132/2059040 swapFree=4139492/4192956
[pid=28714] ppid=28712 vsize=290548 CPUtime=282.19
/proc/28714/stat : 28714 (wbo1.4b) R 28712 28714 28297 0 -1 4202496 72322 0 0 0 27929 290 0 0 25 0 1 0 24867645 297521152 72175 1992294400 134512640 135751879 4290754192 18446744073709551615 134616390 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28714/statm: 72637 72175 151 303 0 72332 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 290548

[startup+342.301 s]
/proc/loadavg: 1.11 1.04 1.00 2/107 28725
/proc/meminfo: memFree=1385352/2059040 swapFree=4139492/4192956
[pid=28714] ppid=28712 vsize=332980 CPUtime=342.17
/proc/28714/stat : 28714 (wbo1.4b) R 28712 28714 28297 0 -1 4202496 82903 0 0 0 33893 324 0 0 25 0 1 0 24867645 340971520 82756 1992294400 134512640 135751879 4290754192 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28714/statm: 83245 82756 151 303 0 82940 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 332980

[startup+402.301 s]
/proc/loadavg: 1.10 1.05 1.00 2/107 28727
/proc/meminfo: memFree=1358940/2059040 swapFree=4139492/4192956
[pid=28714] ppid=28712 vsize=359640 CPUtime=402.16
/proc/28714/stat : 28714 (wbo1.4b) R 28712 28714 28297 0 -1 4202496 89628 0 0 0 39865 351 0 0 25 0 1 0 24867645 368271360 89481 1992294400 134512640 135751879 4290754192 18446744073709551615 134518790 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28714/statm: 89910 89481 151 303 0 89605 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 359640

[startup+462.301 s]
/proc/loadavg: 1.09 1.05 1.00 2/107 28729
/proc/meminfo: memFree=1313804/2059040 swapFree=4139492/4192956
[pid=28714] ppid=28712 vsize=404292 CPUtime=462.13
/proc/28714/stat : 28714 (wbo1.4b) R 28712 28714 28297 0 -1 4202496 100755 0 0 0 45832 381 0 0 25 0 1 0 24867645 413995008 100608 1992294400 134512640 135751879 4290754192 18446744073709551615 134616355 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28714/statm: 101073 100608 151 303 0 100768 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 404292

[startup+522.301 s]
/proc/loadavg: 1.08 1.06 1.00 2/107 28729
/proc/meminfo: memFree=1275736/2059040 swapFree=4139492/4192956
[pid=28714] ppid=28712 vsize=442632 CPUtime=522.11
/proc/28714/stat : 28714 (wbo1.4b) R 28712 28714 28297 0 -1 4202496 110337 0 0 0 51808 403 0 0 25 0 1 0 24867645 453255168 110190 1992294400 134512640 135751879 4290754192 18446744073709551615 134616444 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28714/statm: 110658 110190 151 303 0 110353 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 442632

[startup+582.301 s]
/proc/loadavg: 1.08 1.06 1.00 2/107 28731
/proc/meminfo: memFree=1231964/2059040 swapFree=4139492/4192956
[pid=28714] ppid=28712 vsize=486100 CPUtime=582.09
/proc/28714/stat : 28714 (wbo1.4b) R 28712 28714 28297 0 -1 4202496 121179 0 0 0 57779 430 0 0 25 0 1 0 24867645 497766400 121032 1992294400 134512640 135751879 4290754192 18446744073709551615 134616273 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28714/statm: 121525 121032 151 303 0 121220 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 486100

[startup+642.301 s]
/proc/loadavg: 1.07 1.06 1.00 2/107 28733
/proc/meminfo: memFree=1190672/2059040 swapFree=4139492/4192956
[pid=28714] ppid=28712 vsize=527148 CPUtime=642.08
/proc/28714/stat : 28714 (wbo1.4b) R 28712 28714 28297 0 -1 4202496 131378 0 0 0 63751 457 0 0 25 0 1 0 24867645 539799552 131231 1992294400 134512640 135751879 4290754192 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28714/statm: 131787 131231 151 303 0 131482 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 527148

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.21 1.11 1.02 2/107 28739
/proc/meminfo: memFree=1032448/2059040 swapFree=4139492/4192956
[pid=28714] ppid=28712 vsize=685252 CPUtime=882
/proc/28714/stat : 28714 (wbo1.4b) R 28712 28714 28297 0 -1 4202496 170810 0 0 0 87642 558 0 0 25 0 1 0 24867645 701698048 170663 1992294400 134512640 135751879 4290754192 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28714/statm: 171313 170663 151 303 0 171008 0
Current children cumulated CPU time (s) 882
Current children cumulated vsize (KiB) 685252

[startup+942.301 s]
/proc/loadavg: 1.11 1.10 1.02 2/107 28741
/proc/meminfo: memFree=989544/2059040 swapFree=4139492/4192956
[pid=28714] ppid=28712 vsize=728480 CPUtime=941.98
/proc/28714/stat : 28714 (wbo1.4b) R 28712 28714 28297 0 -1 4202496 181609 0 0 0 93614 584 0 0 25 0 1 0 24867645 745963520 181462 1992294400 134512640 135751879 4290754192 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28714/statm: 182120 181462 151 303 0 181815 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 728480

[startup+1002.3 s]
/proc/loadavg: 1.04 1.08 1.01 2/107 28743
/proc/meminfo: memFree=953460/2059040 swapFree=4139492/4192956
[pid=28714] ppid=28712 vsize=764100 CPUtime=1001.96
/proc/28714/stat : 28714 (wbo1.4b) R 28712 28714 28297 0 -1 4202496 190485 0 0 0 99589 607 0 0 25 0 1 0 24867645 782438400 190338 1992294400 134512640 135751879 4290754192 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28714/statm: 191025 190338 151 303 0 190720 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 764100

[startup+1062.3 s]
/proc/loadavg: 1.01 1.06 1.00 2/107 28745
/proc/meminfo: memFree=921344/2059040 swapFree=4139492/4192956
[pid=28714] ppid=28712 vsize=796428 CPUtime=1061.95
/proc/28714/stat : 28714 (wbo1.4b) R 28712 28714 28297 0 -1 4202496 198529 0 0 0 105566 629 0 0 25 0 1 0 24867645 815542272 198382 1992294400 134512640 135751879 4290754192 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28714/statm: 199107 198382 151 303 0 198802 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 796428

[startup+1122.3 s]
/proc/loadavg: 1.00 1.05 1.00 2/107 28745
/proc/meminfo: memFree=887244/2059040 swapFree=4139492/4192956
[pid=28714] ppid=28712 vsize=830456 CPUtime=1121.93
/proc/28714/stat : 28714 (wbo1.4b) R 28712 28714 28297 0 -1 4202496 207037 0 0 0 111540 653 0 0 25 0 1 0 24867645 850386944 206890 1992294400 134512640 135751879 4290754192 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28714/statm: 207614 206890 151 303 0 207309 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 830456

[startup+1182.3 s]
/proc/loadavg: 1.00 1.04 1.00 2/107 28747
/proc/meminfo: memFree=854136/2059040 swapFree=4139492/4192956
[pid=28714] ppid=28712 vsize=864000 CPUtime=1181.91
/proc/28714/stat : 28714 (wbo1.4b) R 28712 28714 28297 0 -1 4202496 215431 0 0 0 117517 674 0 0 25 0 1 0 24867645 884736000 215284 1992294400 134512640 135751879 4290754192 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28714/statm: 216000 215284 151 303 0 215695 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 864000

[startup+1242.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 28749
/proc/meminfo: memFree=820036/2059040 swapFree=4139492/4192956
[pid=28714] ppid=28712 vsize=897680 CPUtime=1241.89
/proc/28714/stat : 28714 (wbo1.4b) R 28712 28714 28297 0 -1 4202496 223832 0 0 0 123495 694 0 0 25 0 1 0 24867645 919224320 223685 1992294400 134512640 135751879 4290754192 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28714/statm: 224420 223685 151 303 0 224115 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 897680

[startup+1302.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 28751
/proc/meminfo: memFree=783084/2059040 swapFree=4139492/4192956
[pid=28714] ppid=28712 vsize=934212 CPUtime=1301.88
/proc/28714/stat : 28714 (wbo1.4b) R 28712 28714 28297 0 -1 4202496 232953 0 0 0 129473 715 0 0 25 0 1 0 24867645 956633088 232806 1992294400 134512640 135751879 4290754192 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28714/statm: 233553 232806 151 303 0 233248 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 934212

[startup+1362.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 28753
/proc/meminfo: memFree=746008/2059040 swapFree=4139492/4192956
[pid=28714] ppid=28712 vsize=971348 CPUtime=1361.85
/proc/28714/stat : 28714 (wbo1.4b) R 28712 28714 28297 0 -1 4202496 242247 0 0 0 135447 738 0 0 25 0 1 0 24867645 994660352 242100 1992294400 134512640 135751879 4290754192 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28714/statm: 242837 242100 151 303 0 242532 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 971348

[startup+1422.31 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 28753
/proc/meminfo: memFree=712404/2059040 swapFree=4139492/4192956
[pid=28714] ppid=28712 vsize=1005028 CPUtime=1421.84
/proc/28714/stat : 28714 (wbo1.4b) R 28712 28714 28297 0 -1 4202496 250637 0 0 0 141420 764 0 0 25 0 1 0 24867645 1029148672 250490 1992294400 134512640 135751879 4290754192 18446744073709551615 134616448 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28714/statm: 251257 250490 151 303 0 250952 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1005028

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28755
/proc/meminfo: memFree=676816/2059040 swapFree=4139492/4192956
[pid=28714] ppid=28712 vsize=1040508 CPUtime=1481.82
/proc/28714/stat : 28714 (wbo1.4b) R 28712 28714 28297 0 -1 4202496 259515 0 0 0 147396 786 0 0 25 0 1 0 24867645 1065480192 259368 1992294400 134512640 135751879 4290754192 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28714/statm: 260127 259368 151 303 0 259822 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1040508

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28757
/proc/meminfo: memFree=636020/2059040 swapFree=4139492/4192956
[pid=28714] ppid=28712 vsize=1081440 CPUtime=1541.8
/proc/28714/stat : 28714 (wbo1.4b) R 28712 28714 28297 0 -1 4202496 269722 0 0 0 153371 809 0 0 25 0 1 0 24867645 1107394560 269575 1992294400 134512640 135751879 4290754192 18446744073709551615 134616444 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28714/statm: 270360 269575 151 303 0 270055 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1081440

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28759
/proc/meminfo: memFree=594480/2059040 swapFree=4139492/4192956
[pid=28714] ppid=28712 vsize=1123188 CPUtime=1601.77
/proc/28714/stat : 28714 (wbo1.4b) R 28712 28714 28297 0 -1 4202496 280156 0 0 0 159344 833 0 0 25 0 1 0 24867645 1150144512 280009 1992294400 134512640 135751879 4290754192 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28714/statm: 280797 280009 151 303 0 280492 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 1123188

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28761
/proc/meminfo: memFree=553188/2059040 swapFree=4139492/4192956
[pid=28714] ppid=28712 vsize=1164076 CPUtime=1661.76
/proc/28714/stat : 28714 (wbo1.4b) R 28712 28714 28297 0 -1 4202496 290357 0 0 0 165317 859 0 0 25 0 1 0 24867645 1192013824 290210 1992294400 134512640 135751879 4290754192 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28714/statm: 291019 290210 151 303 0 290714 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1164076

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28761
/proc/meminfo: memFree=515864/2059040 swapFree=4139492/4192956
[pid=28714] ppid=28712 vsize=1201992 CPUtime=1721.75
/proc/28714/stat : 28714 (wbo1.4b) R 28712 28714 28297 0 -1 4202496 299838 0 0 0 171290 885 0 0 25 0 1 0 24867645 1230839808 299691 1992294400 134512640 135751879 4290754192 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28714/statm: 300498 299691 151 303 0 300193 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 1201992

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28763
/proc/meminfo: memFree=470356/2059040 swapFree=4139492/4192956
[pid=28714] ppid=28712 vsize=1246764 CPUtime=1781.72
/proc/28714/stat : 28714 (wbo1.4b) R 28712 28714 28297 0 -1 4202496 311008 0 0 0 177258 914 0 0 25 0 1 0 24867645 1276686336 310861 1992294400 134512640 135751879 4290754192 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28714/statm: 311691 310861 151 303 0 311386 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 1246764



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28763
/proc/meminfo: memFree=454484/2059040 swapFree=4139492/4192956
[pid=28714] ppid=28712 vsize=1262208 CPUtime=1800.04
/proc/28714/stat : 28714 (wbo1.4b) R 28712 28714 28297 0 -1 4202496 314869 0 0 0 179078 926 0 0 25 0 1 0 24867645 1292500992 314722 1992294400 134512640 135751879 4290754192 18446744073709551615 134616540 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28714/statm: 315552 314722 151 303 0 315247 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1262208

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

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

[startup+1800.72 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28763
/proc/meminfo: memFree=454484/2059040 swapFree=4139492/4192956
[pid=28714] ppid=28712 vsize=0 CPUtime=1800.14
/proc/28714/stat : 28714 (wbo1.4b) R 28712 28714 28297 0 -1 4203524 314869 0 0 0 179078 936 0 0 25 0 1 0 24867645 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/28714/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.73
CPU time (s): 1800.16
CPU user time (s): 1790.78
CPU system time (s): 9.38057
CPU usage (%): 99.9682
Max. virtual memory (cumulated for all children) (KiB): 1262208

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

runsolver used 2.98855 second user time and 8.49771 second system time

The end

Launcher Data 

Begin job on node019 at 2010-07-08 07:22:35
IDJOB=2702424
IDBENCH=48147
IDSOLVER=1161
FILE ID=node019/2702424-1278566555
PBS_JOBID= 11239542
Free space on /tmp= 62408 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_10_3.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702424-1278566555/watcher-2702424-1278566555 -o /tmp/evaluation-result-2702424-1278566555/solver-2702424-1278566555 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702424-1278566555.opb

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

MD5SUM BENCH= 8decd85a4aebca069c2c72faa547de31
RANDOM SEED=1633446516

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

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1717588 kB
Buffers:         62528 kB
Cached:         189736 kB
SwapCached:       8100 kB
Active:         143208 kB
Inactive:       124084 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1717588 kB
SwapTotal:     4192956 kB
SwapFree:      4139492 kB
Dirty:            2636 kB
Writeback:           0 kB
AnonPages:       11956 kB
Mapped:          12092 kB
Slab:            52220 kB
PageTables:       4092 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181552 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702424-1278566555.opb

Free space on /tmp at the end= 62404 MiB
End job on node019 at 2010-07-08 07:52:38