Trace number 2702444

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.71

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_10_3.opb
MD5SUM31a0e10ee8ac2049545ec8eab33f6948
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark74
Best CPU time to get the best result obtained on this benchmark1800.04
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 69
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
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 constraints500
Minimum length of a constraint11
Maximum length of a constraint23
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)6316
Sum of products size (including duplicates)12632
Number of different products6316
Sum of products size12632

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-2702444-1278567459.opb.
0.00/0.00	c Instance file HOME/instance-2702444-1278567459.opb
0.00/0.00	c File size is 483809 bytes.
0.00/0.07	c Highest Coefficient sum: 24
0.00/0.07	c ============================[ Problem Statistics ]=============================
0.00/0.07	c |                                                                             |
0.00/0.07	c |  Parsing time:          0.07         s                                      |
0.00/0.07	c |  Number Variables:      6816                                                |
0.00/0.07	c |  Number Clauses:        6816                                                |
0.00/0.07	c |  Number Cardinality:    0                                                   |
0.00/0.07	c |  Number PB Constraints: 6316                                                |
0.07/0.08	c ============================[ Search Statistics ]==============================
0.07/0.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.07/0.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.07/0.08	c ===============================================================================
0.07/0.08	c |         0 |    6816    13132    44712 |     5000        0    nan |  0.000 % |
0.07/0.09	c ===============================================================================
0.07/0.09	c New solution: 470
0.07/0.09	o 470
0.07/0.09	c Elapsed CPU time: 0.086986 s	Remaining CPU time: 179.913 s
0.07/0.09	c ===============================================================================
0.07/0.09	c |         0 |    6816    13133    45212 |     5000        0    nan |  0.000 % |
0.07/0.09	c ===============================================================================
0.07/0.09	c New solution: 448
0.07/0.09	o 448
0.07/0.09	c Elapsed CPU time: 0.090986 s	Remaining CPU time: 179.909 s
0.07/0.09	c ===============================================================================
0.07/0.09	c |         0 |    6816    13134    45712 |     5000        0    nan |  0.000 % |
0.09/0.10	c ===============================================================================
0.09/0.10	c New solution: 302
0.09/0.10	o 302
0.09/0.10	c Elapsed CPU time: 0.096985 s	Remaining CPU time: 179.903 s
0.09/0.10	c ===============================================================================
0.09/0.10	c |         0 |    6816    13135    46212 |     5000        0    nan |  0.000 % |
0.09/0.11	c ===============================================================================
0.09/0.11	c New solution: 301
0.09/0.11	o 301
0.09/0.11	c Elapsed CPU time: 0.102984 s	Remaining CPU time: 179.897 s
0.09/0.11	c ===============================================================================
0.09/0.11	c |         0 |    6816    13136    46712 |     5000        0    nan |  0.000 % |
0.09/0.11	c ===============================================================================
0.09/0.11	c New solution: 300
0.09/0.11	o 300
0.09/0.11	c Elapsed CPU time: 0.108983 s	Remaining CPU time: 179.891 s
0.09/0.11	c ===============================================================================
0.09/0.11	c |         0 |    6816    13137    47212 |     5000        0    nan |  0.000 % |
0.09/0.12	c ===============================================================================
0.09/0.12	c New solution: 299
0.09/0.12	o 299
0.09/0.12	c Elapsed CPU time: 0.114982 s	Remaining CPU time: 179.885 s
0.09/0.12	c ===============================================================================
0.09/0.12	c |         0 |    6816    13138    47712 |     5000        0    nan |  0.000 % |
0.09/0.13	c ===============================================================================
0.09/0.13	c New solution: 247
0.09/0.13	o 247
0.09/0.13	c Elapsed CPU time: 0.119981 s	Remaining CPU time: 179.88 s
0.09/0.13	c ===============================================================================
0.09/0.13	c |         0 |    6816    13139    48212 |     5000        0    nan |  0.000 % |
0.09/0.13	c ===============================================================================
0.09/0.13	c New solution: 232
0.09/0.13	o 232
0.09/0.13	c Elapsed CPU time: 0.12698 s	Remaining CPU time: 179.873 s
0.09/0.13	c ===============================================================================
0.09/0.13	c |         0 |    6816    13140    48712 |     5000        0    nan |  0.000 % |
0.09/0.14	c ===============================================================================
0.09/0.14	c New solution: 231
0.09/0.14	o 231
0.09/0.14	c Elapsed CPU time: 0.135979 s	Remaining CPU time: 179.864 s
0.09/0.14	c ===============================================================================
0.09/0.14	c |         7 |    6816    13141    49212 |     5000        7    239 |  0.000 % |
0.09/0.15	c ===============================================================================
0.09/0.15	c New solution: 95
0.09/0.15	o 95
0.09/0.15	c Elapsed CPU time: 0.142978 s	Remaining CPU time: 179.857 s
0.09/0.15	c ===============================================================================
0.09/0.15	c |         7 |    6816    13142    49712 |     5000        7    239 |  0.000 % |
0.09/0.17	c |       107 |    6816    13142    49712 |     5500      107    139 |  0.000 % |
0.09/0.18	c ===============================================================================
0.09/0.18	c New solution: 88
0.09/0.18	o 88
0.09/0.18	c Elapsed CPU time: 0.173973 s	Remaining CPU time: 179.826 s
0.09/0.18	c ===============================================================================
0.09/0.18	c |       107 |    6816    13143    50212 |     5000      107    139 |  0.000 % |
0.09/0.19	c ===============================================================================
0.09/0.19	c New solution: 86
0.09/0.19	o 86
0.09/0.19	c Elapsed CPU time: 0.179972 s	Remaining CPU time: 179.82 s
0.09/0.19	c ===============================================================================
0.09/0.19	c |       107 |    6816    13144    50712 |     5000      107    139 |  0.000 % |
0.19/0.20	c ===============================================================================
0.19/0.20	c New solution: 85
0.19/0.20	o 85
0.19/0.20	c Elapsed CPU time: 0.186971 s	Remaining CPU time: 179.813 s
0.19/0.20	c ===============================================================================
0.19/0.20	c |       120 |    6816    13145    51212 |     5000      120    137 |  0.000 % |
0.19/0.22	c |       221 |    6816    13145    51212 |     5500      221    127 |  0.000 % |
0.19/0.25	c |       371 |    6816    13145    51212 |     6050      371    131 |  0.000 % |
0.29/0.30	c ===============================================================================
0.29/0.30	c New solution: 84
0.29/0.30	o 84
0.29/0.30	c Elapsed CPU time: 0.286956 s	Remaining CPU time: 179.713 s
0.29/0.30	c ===============================================================================
0.29/0.30	c |       574 |    6816    13146    51712 |     5000      574    126 |  0.000 % |
0.29/0.32	c |       674 |    6816    13146    51712 |     5500      674    125 |  0.000 % |
0.29/0.33	c ===============================================================================
0.29/0.33	c New solution: 82
0.29/0.33	o 82
0.29/0.33	c Elapsed CPU time: 0.317951 s	Remaining CPU time: 179.682 s
0.29/0.33	c ===============================================================================
0.29/0.33	c |       674 |    6816    13147    52212 |     5000      674    125 |  0.000 % |
0.29/0.36	c |       775 |    6816    13147    52212 |     5500      775    125 |  0.000 % |
0.29/0.39	c |       925 |    6816    13147    52212 |     6050      925    123 |  0.000 % |
0.39/0.41	c ===============================================================================
0.39/0.41	c New solution: 81
0.39/0.41	o 81
0.39/0.41	c Elapsed CPU time: 0.394939 s	Remaining CPU time: 179.605 s
0.39/0.41	c ===============================================================================
0.39/0.41	c |       979 |    6816    13148    52712 |     5000      979    122 |  0.000 % |
0.39/0.43	c ===============================================================================
0.39/0.43	c New solution: 80
0.39/0.43	o 80
0.39/0.43	c Elapsed CPU time: 0.414936 s	Remaining CPU time: 179.585 s
0.39/0.43	c ===============================================================================
0.39/0.43	c |      1049 |    6816    13149    53212 |     5000     1049    121 |  0.000 % |
0.39/0.45	c |      1149 |    6816    13149    53212 |     5500     1149    120 |  0.000 % |
0.39/0.48	c ===============================================================================
0.39/0.48	c New solution: 78
0.39/0.48	o 78
0.39/0.48	c Elapsed CPU time: 0.461929 s	Remaining CPU time: 179.538 s
0.39/0.48	c ===============================================================================
0.39/0.48	c |      1227 |    6816    13150    53712 |     5000     1227    120 |  0.000 % |
0.49/0.51	c |      1328 |    6816    13150    53712 |     5500     1328    120 |  0.000 % |
0.49/0.55	c |      1479 |    6816    13150    53712 |     6050     1479    119 |  0.000 % |
0.59/0.61	c |      1705 |    6816    13150    53712 |     6655     1705    120 |  0.000 % |
0.59/0.69	c |      2044 |    6816    13150    53712 |     7320     2044    120 |  0.000 % |
0.79/0.82	c |      2550 |    6816    13150    53712 |     8052     2550    117 |  0.000 % |
1.00/1.02	c |      3310 |    6816    13150    53712 |     8857     3310    116 |  0.000 % |
1.19/1.27	c |      4449 |    6816    13150    53712 |     9743     4449    119 |  0.000 % |
1.69/1.71	c |      6157 |    6816    13150    53712 |    10717     6157    124 |  0.000 % |
2.39/2.43	c |      8719 |    6816    13150    53712 |    11789     8719    124 |  0.000 % |
3.30/3.39	c |     12564 |    6816    13150    53712 |    12968    12564    122 |  0.000 % |
4.89/4.92	c |     18330 |    6816    13150    53712 |    14265    18330    120 |  0.000 % |
7.70/7.77	c |     26979 |    6816    13150    53712 |    15692    17814    127 |  0.000 % |
11.00/11.05	c |     39953 |    6816    13150    53712 |    17261    11009    117 |  0.000 % |
17.98/18.01	c |     59415 |    6816    13150    53712 |    18987    17967    114 |  0.000 % |
29.69/29.74	c |     88607 |    6816    13150    53712 |    20886    19375    134 |  0.000 % |
48.57/48.63	c |    132396 |    6816    13150    53712 |    22974    15896    115 |  0.000 % |
76.67/76.73	c |    198081 |    6816    13150    53712 |    25272    11448    118 |  0.000 % |
119.56/119.63	c |    296607 |    6816    13150    53712 |    27799    30461    132 |  0.000 % |
181.53/181.66	c There are 0 assigned variables. 0 in cost function.
182.74/182.82	c core #1
182.74/182.82	c core #2
182.74/182.82	c core #3
182.74/182.82	c core #4
182.74/182.82	c core #5
182.74/182.82	c core #6
182.74/182.82	c core #7
182.74/182.82	c core #8
182.74/182.82	c core #9
182.74/182.82	c core #10
182.74/182.82	c core #11
182.74/182.82	c core #12
182.74/182.82	c core #13
182.74/182.82	c core #14
182.74/182.82	c core #15
182.74/182.82	c core #16
182.74/182.82	c core #17
182.74/182.82	c core #18
182.74/182.82	c ============================[ Search Statistics ]==============================
182.74/182.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.74/182.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.74/182.82	c ===============================================================================
182.74/182.82	c |         0 |    3816    13669    42946 |     5000        0    nan |  0.000 % |
182.74/182.83	c ===============================================================================
182.74/182.89	c core #19
182.74/182.89	c ============================[ Search Statistics ]==============================
182.74/182.89	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.74/182.89	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.74/182.89	c ===============================================================================
182.74/182.89	c |         0 |    4916    13670    47958 |     5000        0    nan |  0.000 % |
182.84/182.96	c |       105 |    4916    13670    47958 |     5500      105    113 | 31.987 % |
182.94/183.03	c |       258 |    4916    13670    47958 |     6050      258    130 | 31.987 % |
183.04/183.16	c ===============================================================================
183.14/183.22	c core #20
183.14/183.22	c ============================[ Search Statistics ]==============================
183.14/183.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.14/183.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.14/183.22	c ===============================================================================
183.14/183.22	c |         0 |    7022    13671    54152 |     5000        0    nan |  0.000 % |
183.24/183.30	c |       100 |    7022    13671    54152 |     5500      100    138 |  7.435 % |
183.33/183.45	c |       250 |    7022    13671    54152 |     6050      250    122 |  7.435 % |
183.64/183.74	c |       475 |    7022    13671    54152 |     6655      475    105 |  7.435 % |
184.14/184.24	c |       813 |    7022    13671    54152 |     7320      813     81 |  7.435 % |
184.84/184.92	c |      1323 |    7022    13671    54152 |     8052     1323     75 |  7.435 % |
185.74/185.81	c |      2082 |    7022    13671    54152 |     8857     2082     72 |  7.435 % |
187.14/187.25	c |      3222 |    7022    13671    54152 |     9743     3222     82 |  7.435 % |
189.54/189.64	c |      4931 |    7022    13671    54152 |    10717     4931     89 |  7.435 % |
194.03/194.19	c |      7495 |    7022    13671    54152 |    11789     7495     99 |  7.435 % |
199.54/199.60	c |     11339 |    7022    13671    54152 |    12968    11339    102 |  7.435 % |
209.53/209.64	c |     17105 |    7022    13671    54152 |    14265    10163    129 |  7.435 % |
224.03/224.10	c |     25755 |    7022    13671    54152 |    15692    11174    161 |  7.435 % |
247.33/247.46	c |     38732 |    7022    13671    54152 |    17261    15888    161 |  7.435 % |
272.31/272.45	c ===============================================================================
273.41/273.55	c core #21
273.41/273.55	c ============================[ Search Statistics ]==============================
273.41/273.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
273.41/273.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
273.41/273.55	c ===============================================================================
273.41/273.55	c |         0 |    8005    13672    57059 |     5000        0    nan |  0.000 % |
273.51/273.65	c |       100 |    8005    13672    57059 |     5500      100    300 |  0.460 % |
273.72/273.81	c |       250 |    8005    13672    57059 |     6050      250    283 |  0.460 % |
273.91/274.05	c |       476 |    8005    13672    57059 |     6655      476    251 |  0.460 % |
274.21/274.31	c |       813 |    8005    13672    57059 |     7320      813    210 |  0.460 % |
274.81/274.92	c |      1319 |    8005    13672    57059 |     8052     1319    167 |  0.460 % |
275.61/275.73	c |      2078 |    8005    13672    57059 |     8857     2078    154 |  0.460 % |
276.80/276.93	c |      3217 |    8005    13672    57059 |     9743     3217    178 |  0.460 % |
278.71/278.85	c |      4930 |    8005    13672    57059 |    10717     4930    209 |  0.460 % |
281.51/281.65	c |      7492 |    8005    13672    57059 |    11789     7492    218 |  0.460 % |
288.01/288.20	c |     11338 |    8005    13672    57059 |    12968    11338    253 |  0.460 % |
300.40/300.51	c |     17104 |    8005    13672    57059 |    14265    10348    297 |  0.460 % |
314.99/315.16	c |     25753 |    8005    13672    57059 |    15692    11602    195 |  0.460 % |
331.80/331.93	c |     38727 |    8005    13672    57059 |    17261     8320    137 |  0.460 % |
359.29/359.42	c |     58188 |    8005    13672    57059 |    18987     9972    143 |  0.460 % |
400.18/400.33	c |     87381 |    8005    13672    57059 |    20886     9929    171 |  0.460 % |
472.34/472.56	c |    131170 |    8005    13672    57059 |    22974    10966    195 |  0.460 % |
588.41/588.64	c |    196856 |    8005    13672    57059 |    25272    17260    212 |  0.460 % |
774.65/774.90	c |    295389 |    8005    13672    57059 |    27799    25065    239 |  0.460 % |
1068.67/1069.08	c |    443181 |    8005    13672    57059 |    30579    24303    187 |  0.460 % |
1608.70/1609.29	c |    664865 |    8005    13672    57059 |    33637    23415    300 |  0.460 % |

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-2702444-1278567459/watcher-2702444-1278567459 -o /tmp/evaluation-result-2702444-1278567459/solver-2702444-1278567459 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702444-1278567459.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 3/105 28000
/proc/meminfo: memFree=1860284/2059040 swapFree=4139772/4192956
[pid=28000] ppid=27998 vsize=3652 CPUtime=0
/proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 417 0 0 0 0 0 0 0 21 0 1 0 24954568 3739648 335 1992294400 134512640 135751879 4287799808 18446744073709551615 135228447 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28000/statm: 913 335 142 303 0 489 0

[startup+0.080419 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 28000
/proc/meminfo: memFree=1860284/2059040 swapFree=4139772/4192956
[pid=28000] ppid=27998 vsize=5948 CPUtime=0.07
/proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 1197 0 0 0 7 0 0 0 23 0 1 0 24954568 6090752 996 1992294400 134512640 135751879 4287799808 18446744073709551615 134524481 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28000/statm: 1487 996 144 303 0 1182 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5948

[startup+0.101422 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 28000
/proc/meminfo: memFree=1860284/2059040 swapFree=4139772/4192956
[pid=28000] ppid=27998 vsize=5112 CPUtime=0.09
/proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 1222 0 0 0 9 0 0 0 23 0 1 0 24954568 5234688 825 1992294400 134512640 135751879 4287799808 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28000/statm: 1278 825 146 303 0 973 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5112

[startup+0.301445 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 28000
/proc/meminfo: memFree=1860284/2059040 swapFree=4139772/4192956
[pid=28000] ppid=27998 vsize=5768 CPUtime=0.29
/proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 1357 0 0 0 28 1 0 0 23 0 1 0 24954568 5906432 960 1992294400 134512640 135751879 4287799808 18446744073709551615 134620434 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28000/statm: 1442 960 147 303 0 1137 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5768

[startup+0.700486 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 28000
/proc/meminfo: memFree=1860284/2059040 swapFree=4139772/4192956
[pid=28000] ppid=27998 vsize=6672 CPUtime=0.69
/proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 1592 0 0 0 67 2 0 0 25 0 1 0 24954568 6832128 1195 1992294400 134512640 135751879 4287799808 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28000/statm: 1668 1195 147 303 0 1363 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6672

[startup+1.50057 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28001
/proc/meminfo: memFree=1855564/2059040 swapFree=4139772/4192956
[pid=28000] ppid=27998 vsize=8624 CPUtime=1.49
/proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 2094 0 0 0 146 3 0 0 25 0 1 0 24954568 8830976 1697 1992294400 134512640 135751879 4287799808 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28000/statm: 2156 1697 147 303 0 1851 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8624

[startup+3.10074 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28001
/proc/meminfo: memFree=1852588/2059040 swapFree=4139772/4192956
[pid=28000] ppid=27998 vsize=12424 CPUtime=3.09
/proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 3036 0 0 0 303 6 0 0 25 0 1 0 24954568 12722176 2639 1992294400 134512640 135751879 4287799808 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28000/statm: 3106 2639 147 303 0 2801 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12424

[startup+6.30108 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28001
/proc/meminfo: memFree=1845148/2059040 swapFree=4139772/4192956
[pid=28000] ppid=27998 vsize=19320 CPUtime=6.29
/proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 4753 0 0 0 620 9 0 0 25 0 1 0 24954568 19783680 4356 1992294400 134512640 135751879 4287799808 18446744073709551615 134606367 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28000/statm: 4830 4356 148 303 0 4525 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19320

[startup+12.7008 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28003
/proc/meminfo: memFree=1830888/2059040 swapFree=4139772/4192956
[pid=28000] ppid=27998 vsize=32840 CPUtime=12.68
/proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 8124 0 0 0 1251 17 0 0 25 0 1 0 24954568 33628160 7727 1992294400 134512640 135751879 4287799808 18446744073709551615 134518730 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28000/statm: 8210 7727 148 303 0 7905 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 32840

[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28003
/proc/meminfo: memFree=1809436/2059040 swapFree=4139772/4192956
[pid=28000] ppid=27998 vsize=53464 CPUtime=25.49
/proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 13287 0 0 0 2519 30 0 0 25 0 1 0 24954568 54747136 12890 1992294400 134512640 135751879 4287799808 18446744073709551615 134602936 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28000/statm: 13366 12890 148 303 0 13061 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 53464

[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28003
/proc/meminfo: memFree=1774220/2059040 swapFree=4139772/4192956
[pid=28000] ppid=27998 vsize=89348 CPUtime=51.08
/proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 22256 0 0 0 5055 53 0 0 25 0 1 0 24954568 91492352 21859 1992294400 134512640 135751879 4287799808 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28000/statm: 22337 21859 148 303 0 22032 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 89348

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28005
/proc/meminfo: memFree=1701928/2059040 swapFree=4139772/4192956
[pid=28000] ppid=27998 vsize=160596 CPUtime=102.27
/proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 40022 0 0 0 10131 96 0 0 25 0 1 0 24954568 164450304 39625 1992294400 134512640 135751879 4287799808 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28000/statm: 40149 39625 148 303 0 39844 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 160596

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28007
/proc/meminfo: memFree=1626784/2059040 swapFree=4139772/4192956
[pid=28000] ppid=27998 vsize=236420 CPUtime=162.25
/proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 58944 0 0 0 16080 145 0 0 25 0 1 0 24954568 242094080 58547 1992294400 134512640 135751879 4287799808 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28000/statm: 59105 58547 148 303 0 58800 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 236420

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28007
/proc/meminfo: memFree=1601240/2059040 swapFree=4139772/4192956
[pid=28000] ppid=27998 vsize=260420 CPUtime=222.23
/proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 65198 0 0 0 22047 176 0 0 25 0 1 0 24954568 266670080 64648 1992294400 134512640 135751879 4287799808 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28000/statm: 65105 64648 151 303 0 64800 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 260420

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28009
/proc/meminfo: memFree=1577308/2059040 swapFree=4139772/4192956
[pid=28000] ppid=27998 vsize=285052 CPUtime=282.21
/proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 71362 0 0 0 28018 203 0 0 25 0 1 0 24954568 291893248 70812 1992294400 134512640 135751879 4287799808 18446744073709551615 134620490 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28000/statm: 71263 70813 151 303 0 70958 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 285052

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28011
/proc/meminfo: memFree=1546060/2059040 swapFree=4139772/4192956
[pid=28000] ppid=27998 vsize=315592 CPUtime=342.19
/proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 79009 0 0 0 33986 233 0 0 25 0 1 0 24954568 323166208 78459 1992294400 134512640 135751879 4287799808 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28000/statm: 78898 78459 151 303 0 78593 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 315592

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28013
/proc/meminfo: memFree=1512332/2059040 swapFree=4139772/4192956
[pid=28000] ppid=27998 vsize=350148 CPUtime=402.17
/proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 87649 0 0 0 39956 261 0 0 25 0 1 0 24954568 358551552 87099 1992294400 134512640 135751879 4287799808 18446744073709551615 134616778 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28000/statm: 87537 87099 151 303 0 87232 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 350148

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28015
/proc/meminfo: memFree=1469056/2059040 swapFree=4139772/4192956
[pid=28000] ppid=27998 vsize=392628 CPUtime=462.16
/proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 98247 0 0 0 45923 293 0 0 25 0 1 0 24954568 402051072 97697 1992294400 134512640 135751879 4287799808 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28000/statm: 98157 97697 151 303 0 97852 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 392628

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28015
/proc/meminfo: memFree=1437932/2059040 swapFree=4139772/4192956
[pid=28000] ppid=27998 vsize=423820 CPUtime=522.13
/proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 106066 0 0 0 51893 320 0 0 25 0 1 0 24954568 433991680 105516 1992294400 134512640 135751879 4287799808 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28000/statm: 105955 105516 151 303 0 105650 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 423820

[startup+582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28017
/proc/meminfo: memFree=1403708/2059040 swapFree=4139772/4192956
[pid=28000] ppid=27998 vsize=457964 CPUtime=582.11
/proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 114582 0 0 0 57863 348 0 0 25 0 1 0 24954568 468955136 114032 1992294400 134512640 135751879 4287799808 18446744073709551615 134620485 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28000/statm: 114491 114032 151 303 0 114186 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 457964

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 28019
/proc/meminfo: memFree=1369360/2059040 swapFree=4139772/4192956
[pid=28000] ppid=27998 vsize=491840 CPUtime=642.1
/proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 123038 0 0 0 63837 373 0 0 25 0 1 0 24954568 503644160 122488 1992294400 134512640 135751879 4287799808 18446744073709551615 134611016 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28000/statm: 122960 122488 151 303 0 122655 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 491840

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28023
/proc/meminfo: memFree=1275988/2059040 swapFree=4139772/4192956
[pid=28000] ppid=27998 vsize=585396 CPUtime=822.04
/proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 146362 0 0 0 81752 452 0 0 25 0 1 0 24954568 599445504 145812 1992294400 134512640 135751879 4287799808 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28000/statm: 146349 145812 151 303 0 146044 0
Current children cumulated CPU time (s) 822.04
Current children cumulated vsize (KiB) 585396

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28025
/proc/meminfo: memFree=1244616/2059040 swapFree=4139772/4192956
[pid=28000] ppid=27998 vsize=616520 CPUtime=882.02
/proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 154141 0 0 0 87724 478 0 0 25 0 1 0 24954568 631316480 153591 1992294400 134512640 135751879 4287799808 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28000/statm: 154130 153591 151 303 0 153825 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 616520

[startup+942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28027
/proc/meminfo: memFree=1212128/2059040 swapFree=4139772/4192956
[pid=28000] ppid=27998 vsize=649312 CPUtime=942.01
/proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 162301 0 0 0 93697 504 0 0 25 0 1 0 24954568 664895488 161751 1992294400 134512640 135751879 4287799808 18446744073709551615 134611220 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28000/statm: 162328 161751 151 303 0 162023 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 649312

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28029
/proc/meminfo: memFree=1177780/2059040 swapFree=4139772/4192956
[pid=28000] ppid=27998 vsize=683408 CPUtime=1001.98
/proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 170837 0 0 0 99665 533 0 0 25 0 1 0 24954568 699809792 170287 1992294400 134512640 135751879 4287799808 18446744073709551615 134611192 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28000/statm: 170852 170287 151 303 0 170547 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 683408

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28031
/proc/meminfo: memFree=1149880/2059040 swapFree=4139772/4192956
[pid=28000] ppid=27998 vsize=711360 CPUtime=1061.97
/proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 177832 0 0 0 105637 560 0 0 25 0 1 0 24954568 728432640 177282 1992294400 134512640 135751879 4287799808 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28000/statm: 177840 177282 151 303 0 177535 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 711360

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28031
/proc/meminfo: memFree=1118260/2059040 swapFree=4139772/4192956
[pid=28000] ppid=27998 vsize=742768 CPUtime=1121.95
/proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 185659 0 0 0 111610 585 0 0 25 0 1 0 24954568 760594432 185109 1992294400 134512640 135751879 4287799808 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28000/statm: 185692 185109 151 303 0 185387 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 742768

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28033
/proc/meminfo: memFree=1084408/2059040 swapFree=4139772/4192956
[pid=28000] ppid=27998 vsize=776608 CPUtime=1181.94
/proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 194113 0 0 0 117582 612 0 0 25 0 1 0 24954568 795246592 193563 1992294400 134512640 135751879 4287799808 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28000/statm: 194152 193563 151 303 0 193847 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 776608

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28035
/proc/meminfo: memFree=1054772/2059040 swapFree=4139772/4192956
[pid=28000] ppid=27998 vsize=805872 CPUtime=1241.92
/proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 201424 0 0 0 123552 640 0 0 25 0 1 0 24954568 825212928 200874 1992294400 134512640 135751879 4287799808 18446744073709551615 134611031 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28000/statm: 201468 200874 151 303 0 201163 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 805872

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28037
/proc/meminfo: memFree=1021788/2059040 swapFree=4139772/4192956
[pid=28000] ppid=27998 vsize=838556 CPUtime=1301.9
/proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 209576 0 0 0 129525 665 0 0 25 0 1 0 24954568 858681344 209026 1992294400 134512640 135751879 4287799808 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28000/statm: 209639 209026 151 303 0 209334 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 838556

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28039
/proc/meminfo: memFree=988060/2059040 swapFree=4139772/4192956
[pid=28000] ppid=27998 vsize=872548 CPUtime=1361.88
/proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 218069 0 0 0 135498 690 0 0 25 0 1 0 24954568 893489152 217519 1992294400 134512640 135751879 4287799808 18446744073709551615 134518945 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28000/statm: 218137 217519 151 303 0 217832 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 872548

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28048
/proc/meminfo: memFree=956812/2059040 swapFree=4139772/4192956
[pid=28000] ppid=27998 vsize=903304 CPUtime=1421.86
/proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 225755 0 0 0 141471 715 0 0 25 0 1 0 24954568 924983296 225205 1992294400 134512640 135751879 4287799808 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28000/statm: 225826 225205 151 303 0 225521 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 903304

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28050
/proc/meminfo: memFree=920728/2059040 swapFree=4139772/4192956
[pid=28000] ppid=27998 vsize=939636 CPUtime=1481.83
/proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 234854 0 0 0 147442 741 0 0 25 0 1 0 24954568 962187264 234304 1992294400 134512640 135751879 4287799808 18446744073709551615 134616495 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28000/statm: 234909 234304 151 303 0 234604 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 939636

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28052
/proc/meminfo: memFree=882288/2059040 swapFree=4139772/4192956
[pid=28000] ppid=27998 vsize=977704 CPUtime=1541.81
/proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 244353 0 0 0 153414 767 0 0 25 0 1 0 24954568 1001168896 243803 1992294400 134512640 135751879 4287799808 18446744073709551615 134611163 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28000/statm: 244426 243803 151 303 0 244121 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 977704

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28054
/proc/meminfo: memFree=850172/2059040 swapFree=4139772/4192956
[pid=28000] ppid=27998 vsize=1010316 CPUtime=1601.79
/proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 252488 0 0 0 159389 790 0 0 25 0 1 0 24954568 1034563584 251938 1992294400 134512640 135751879 4287799808 18446744073709551615 134620495 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28000/statm: 252579 251938 151 303 0 252274 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1010316

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28056
/proc/meminfo: memFree=816444/2059040 swapFree=4139772/4192956
[pid=28000] ppid=27998 vsize=1043856 CPUtime=1661.78
/proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 260865 0 0 0 165363 815 0 0 25 0 1 0 24954568 1068908544 260315 1992294400 134512640 135751879 4287799808 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28000/statm: 260964 260315 151 303 0 260659 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1043856

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28056
/proc/meminfo: memFree=782840/2059040 swapFree=4139772/4192956
[pid=28000] ppid=27998 vsize=1077536 CPUtime=1721.76
/proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 269267 0 0 0 171338 838 0 0 25 0 1 0 24954568 1103396864 268717 1992294400 134512640 135751879 4287799808 18446744073709551615 134616545 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28000/statm: 269384 268717 151 303 0 269079 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1077536

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28058
/proc/meminfo: memFree=747748/2059040 swapFree=4139772/4192956
[pid=28000] ppid=27998 vsize=1112124 CPUtime=1781.75
/proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 277907 0 0 0 177309 866 0 0 25 0 1 0 24954568 1138814976 277357 1992294400 134512640 135751879 4287799808 18446744073709551615 134616486 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28000/statm: 278031 277357 151 303 0 277726 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1112124



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 28058
/proc/meminfo: memFree=738572/2059040 swapFree=4139772/4192956
[pid=28000] ppid=27998 vsize=1121128 CPUtime=1800.05
/proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 280154 0 0 0 179133 872 0 0 25 0 1 0 24954568 1148035072 279604 1992294400 134512640 135751879 4287799808 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28000/statm: 280282 279604 151 303 0 279977 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1121128

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.71
CPU time (s): 1800.16
CPU user time (s): 1791.33
CPU system time (s): 8.82566
CPU usage (%): 99.9693
Max. virtual memory (cumulated for all children) (KiB): 1121128

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.33
system time used= 8.82566
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280154
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= 1618

runsolver used 2.85956 second user time and 8.62369 second system time

The end

Launcher Data 

Begin job on node081 at 2010-07-08 07:37:39
IDJOB=2702444
IDBENCH=48157
IDSOLVER=1161
FILE ID=node081/2702444-1278567459
PBS_JOBID= 11239535
Free space on /tmp= 121884 MiB

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

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

MD5SUM BENCH= 31a0e10ee8ac2049545ec8eab33f6948
RANDOM SEED=166620968

node081.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	: 5999.38
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1861792 kB
Buffers:         19940 kB
Cached:          93352 kB
SwapCached:       6776 kB
Active:          69924 kB
Inactive:        57176 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1861792 kB
SwapTotal:     4192956 kB
SwapFree:      4139772 kB
Dirty:            2740 kB
Writeback:           0 kB
AnonPages:       11776 kB
Mapped:          12172 kB
Slab:            48264 kB
PageTables:       4004 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182128 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702444-1278567459.opb

Free space on /tmp at the end= 121880 MiB
End job on node081 at 2010-07-08 08:07:42