Trace number 2680426

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
wbo 1.4b (fixed)? (TO) 1800.09 1800.58

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_012_area_delay.opb
MD5SUM390f49d8db402e26df87629238cc1aa6
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark27
Best CPU time to get the best result obtained on this benchmark33.5149
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 27
Optimality of the best value was proved YES
Number of variables15284
Total number of constraints49839
Number of constraints which are clauses49839
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint127
Number of terms in the objective function 7495
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 7495
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 7495
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100610
0.00/0.00	c Parsing opb file format. File HOME/instance-2680426-1277459638.opb.
0.00/0.00	c Instance file HOME/instance-2680426-1277459638.opb
0.00/0.00	c File size is 1499117 bytes.
0.19/0.22	c Highest Coefficient sum: 128
0.19/0.23	c ============================[ Problem Statistics ]=============================
0.19/0.23	c |                                                                             |
0.19/0.23	c |  Parsing time:          0.22         s                                      |
0.19/0.23	c |  Number Variables:      15284                                               |
0.19/0.23	c |  Number Clauses:        49839                                               |
0.19/0.23	c |  Number Cardinality:    0                                                   |
0.19/0.23	c |  Number PB Constraints: 0                                                   |
0.49/0.54	c ============================[ Search Statistics ]==============================
0.49/0.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.49/0.54	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.49/0.54	c ===============================================================================
0.49/0.54	c |         0 |   11756    49924   116484 |    16613        0    nan |  0.000 % |
0.49/0.55	c ===============================================================================
0.49/0.55	c New solution: 34
0.49/0.55	o 34
0.49/0.55	c Elapsed CPU time: 0.539917 s	Remaining CPU time: 179.46 s
0.49/0.55	c ===============================================================================
0.49/0.55	c |         0 |   11756    49925   123979 |    16641        0    nan |  0.000 % |
0.59/0.69	c |       101 |   11756    49925   123979 |    18305      101     91 | 23.083 % |
0.79/0.85	c |       251 |   11756    49925   123979 |    20136      251     73 | 23.083 % |
1.00/1.06	c |       476 |   11756    49925   123979 |    22150      476     59 | 23.083 % |
1.39/1.42	c |       814 |   11756    49925   123979 |    24365      814     57 | 23.083 % |
1.89/1.99	c |      1320 |   11756    49925   123979 |    26801     1320     54 | 23.083 % |
2.69/2.77	c |      2080 |   11756    49925   123979 |    29481     2080     53 | 23.083 % |
4.18/4.30	c |      3219 |   11756    49925   123979 |    32429     3219     60 | 23.083 % |
6.50/6.59	c |      4928 |   11756    49925   123979 |    35672     4928     66 | 23.083 % |
9.90/9.98	c |      7491 |   11756    49925   123979 |    39240     7491     81 | 23.083 % |
14.58/14.68	c |     11335 |   11756    49925   123979 |    43164    11335    102 | 23.083 % |
22.99/23.04	c |     17101 |   11756    49925   123979 |    47480    17101    107 | 23.083 % |
32.99/33.09	c |     25750 |   11756    49925   123979 |    52228    25750    115 | 23.083 % |
33.38/33.48	c ===============================================================================
33.38/33.48	c New solution: 32
33.38/33.48	o 32
33.38/33.48	c Elapsed CPU time: 33.21 s	Remaining CPU time: 146.79 s
33.38/33.48	c ===============================================================================
33.38/33.48	c |     26001 |   11756    49926   131474 |    16642    26001    115 | 23.083 % |
33.58/33.65	c |     26101 |   11756    49926   131474 |    18306    11319    123 | 23.083 % |
33.78/33.84	c |     26251 |   11756    49926   131474 |    20136    11469    122 | 23.083 % |
33.99/34.05	c |     26477 |   11756    49926   131474 |    22150    11695    121 | 23.083 % |
34.38/34.43	c |     26814 |   11756    49926   131474 |    24365    12032    119 | 23.083 % |
35.09/35.11	c |     27321 |   11756    49926   131474 |    26802    12539    117 | 23.083 % |
35.88/35.99	c |     28081 |   11756    49926   131474 |    29482    13299    114 | 23.083 % |
37.58/37.62	c |     29220 |   11756    49926   131474 |    32430    14438    110 | 23.083 % |
39.68/39.74	c |     30929 |   11756    49926   131474 |    35673    16147    108 | 23.083 % |
42.48/42.58	c |     33493 |   11756    49926   131474 |    39240    18711    103 | 23.083 % |
47.19/47.22	c |     37337 |   11756    49926   131474 |    43165    22555    105 | 23.083 % |
54.07/54.12	c |     43103 |   11756    49926   131474 |    47481    28321    103 | 23.083 % |
57.68/57.74	c ===============================================================================
57.68/57.74	c New solution: 31
57.68/57.74	o 31
57.68/57.74	c Elapsed CPU time: 57.2663 s	Remaining CPU time: 122.734 s
57.68/57.74	c ===============================================================================
57.68/57.74	c |     45364 |   11756    49927   138969 |    16642    30582    104 | 23.083 % |
57.88/57.94	c |     45464 |   11756    49927   138969 |    18306    11536    102 | 23.083 % |
57.98/58.09	c |     45614 |   11756    49927   138969 |    20137    11686    101 | 23.083 % |
58.38/58.40	c |     45839 |   11756    49927   138969 |    22150    11911    101 | 23.083 % |
58.77/58.84	c |     46176 |   11756    49927   138969 |    24366    12248    100 | 23.083 % |
59.48/59.56	c |     46682 |   11756    49927   138969 |    26802    12754     99 | 23.083 % |
60.57/60.67	c |     47441 |   11756    49927   138969 |    29482    13513     98 | 23.083 % |
62.07/62.15	c |     48580 |   11756    49927   138969 |    32431    14652     99 | 23.083 % |
64.07/64.18	c |     50288 |   11756    49927   138969 |    35674    16360     98 | 23.083 % |
67.57/67.64	c |     52851 |   11756    49927   138969 |    39241    18923    100 | 23.083 % |
72.48/72.56	c |     56695 |   11756    49927   138969 |    43165    22767     96 | 23.083 % |
79.27/79.34	c |     62462 |   11756    49927   138969 |    47482    28534    103 | 23.083 % |
91.28/91.39	c |     71111 |   11756    49927   138969 |    52230    37183    100 | 23.083 % |
112.36/112.45	c |     84085 |   11756    49927   138969 |    57453    50157    100 | 23.083 % |
138.06/138.13	c |    103546 |   11756    49927   138969 |    63199    16834    121 | 23.083 % |
177.45/177.54	c |    132738 |   11756    49927   138969 |    69519    46026     96 | 23.083 % |
181.05/181.19	c There are 3528 assigned variables. 1724 in cost function.
182.84/182.96	c core #1
182.84/182.96	c 
182.84/182.96	c 
182.84/182.96	c Core size: 70	Core Weight: 1	Total Weight: 2
182.84/182.96	c
182.84/182.96	c
182.84/182.96	c core #2
182.84/182.96	c 
182.84/182.96	c 
182.84/182.96	c Core size: 71	Core Weight: 1	Total Weight: 3
182.84/182.96	c
182.84/182.96	c
182.84/182.96	c core #3
182.84/182.96	c 
182.84/182.96	c 
182.84/182.96	c Core size: 71	Core Weight: 1	Total Weight: 4
182.84/182.96	c
182.84/182.96	c
182.84/182.96	c core #4
182.84/182.96	c 
182.84/182.96	c 
182.84/182.96	c Core size: 71	Core Weight: 1	Total Weight: 5
182.84/182.96	c
182.84/182.96	c
182.84/182.96	c core #5
182.84/182.96	c 
182.84/182.96	c 
182.84/182.96	c Core size: 29	Core Weight: 1	Total Weight: 6
182.84/182.96	c
182.84/182.96	c
182.84/182.96	c core #6
182.84/182.96	c 
182.84/182.96	c 
182.84/182.96	c Core size: 71	Core Weight: 1	Total Weight: 7
182.84/182.96	c
182.84/182.96	c
182.84/182.96	c core #7
182.84/182.96	c 
182.84/182.96	c 
182.84/182.96	c Core size: 49	Core Weight: 1	Total Weight: 8
182.84/182.96	c
182.84/182.96	c
182.84/182.96	c core #8
182.84/182.96	c 
182.84/182.96	c 
182.84/182.96	c Core size: 71	Core Weight: 1	Total Weight: 9
182.84/182.96	c
182.84/182.96	c
182.84/182.96	c core #9
182.84/182.96	c 
182.84/182.96	c 
182.84/182.96	c Core size: 15	Core Weight: 1	Total Weight: 10
182.84/182.96	c
182.84/182.96	c
182.84/182.96	c core #10
182.84/182.96	c 
182.84/182.96	c 
182.84/182.96	c Core size: 51	Core Weight: 1	Total Weight: 11
182.84/182.96	c
182.84/182.96	c
182.84/182.96	c core #11
182.84/182.96	c 
182.84/182.96	c 
182.84/182.96	c Core size: 71	Core Weight: 1	Total Weight: 12
182.84/182.96	c
182.84/182.96	c
182.84/182.96	c core #12
182.84/182.96	c 
182.84/182.96	c 
182.84/182.96	c Core size: 51	Core Weight: 1	Total Weight: 13
182.84/182.96	c
182.84/182.96	c
182.84/182.96	c core #13
182.84/182.96	c 
182.84/182.96	c 
182.84/182.96	c Core size: 71	Core Weight: 1	Total Weight: 14
182.84/182.96	c
182.84/182.96	c
182.84/182.96	c core #14
182.84/182.96	c 
182.84/182.96	c 
182.84/182.96	c Core size: 7	Core Weight: 1	Total Weight: 15
182.84/182.96	c
182.84/182.96	c
182.84/182.96	c core #15
182.84/182.96	c 
182.84/182.96	c 
182.84/182.96	c Core size: 7	Core Weight: 1	Total Weight: 16
182.84/182.96	c
182.84/182.96	c
182.84/182.96	c core #16
182.84/182.96	c 
182.84/182.96	c 
182.84/182.96	c Core size: 15	Core Weight: 1	Total Weight: 17
182.84/182.96	c
182.84/182.96	c
182.84/182.96	c core #17
182.84/182.96	c 
182.84/182.96	c 
182.84/182.96	c Core size: 30	Core Weight: 1	Total Weight: 18
182.84/182.96	c
182.84/182.96	c
182.84/182.96	c core #18
182.84/182.96	c 
182.84/182.96	c 
182.84/182.96	c Core size: 15	Core Weight: 1	Total Weight: 19
182.84/182.96	c
182.84/182.96	c
182.84/182.96	c core #19
182.84/182.96	c 
182.84/182.96	c 
182.84/182.96	c Core size: 536	Core Weight: 1	Total Weight: 20
182.84/182.96	c
182.84/182.96	c
182.84/182.96	c core #20
182.84/182.96	c 
182.84/182.96	c 
182.84/182.96	c Core size: 6	Core Weight: 1	Total Weight: 21
182.84/182.96	c
182.84/182.96	c
182.84/182.96	c core #21
182.84/182.96	c 
182.84/182.96	c 
182.84/182.96	c Core size: 350	Core Weight: 1	Total Weight: 22
182.84/182.96	c
182.84/182.96	c
182.84/182.96	c core #22
182.84/182.96	c 
182.84/182.96	c 
182.84/182.96	c Core size: 123	Core Weight: 1	Total Weight: 23
182.84/182.96	c
182.84/182.96	c
182.84/182.96	c ============================[ Search Statistics ]==============================
182.84/182.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.84/182.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.84/182.96	c ===============================================================================
182.84/182.96	c |         0 |    2322    48338    62471 |    16112        0    nan |  0.000 % |
182.84/182.97	c ===============================================================================
182.94/183.05	c core #23
182.94/183.05	c 
182.94/183.05	c 
182.94/183.05	c Core size: 260	Core Weight: 1	Total Weight: 24
182.94/183.05	c
182.94/183.05	c
182.94/183.05	c ============================[ Search Statistics ]==============================
182.94/183.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.94/183.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.94/183.05	c ===============================================================================
182.94/183.05	c |         0 |    2679    48339    63315 |    16113        0    nan |  0.000 % |
182.94/183.08	c |       101 |    2679    48339    63315 |    17724      101     70 | 83.525 % |
183.05/183.12	c |       251 |    2679    48339    63315 |    19496      251     67 | 83.525 % |
183.05/183.17	c |       478 |    2679    48339    63315 |    21446      478     65 | 83.525 % |
183.05/183.18	c ===============================================================================
183.14/183.27	c core #24
183.14/183.27	c 
183.14/183.27	c 
183.14/183.27	c Core size: 890	Core Weight: 1	Total Weight: 25
183.14/183.27	c
183.14/183.27	c
183.14/183.27	c ============================[ Search Statistics ]==============================
183.14/183.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.14/183.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.14/183.27	c ===============================================================================
183.14/183.27	c |         0 |    3618    48340    65833 |    16113        0    nan |  0.000 % |
183.24/183.30	c |       100 |    3618    48340    65833 |    17724      100    107 | 78.437 % |
183.24/183.39	c |       250 |    3618    48340    65833 |    19497      250    130 | 78.437 % |
183.34/183.48	c |       475 |    3618    48340    65833 |    21446      475    101 | 78.437 % |
183.55/183.63	c |       812 |    3618    48340    65833 |    23591      812     90 | 78.437 % |
183.75/183.86	c |      1318 |    3618    48340    65833 |    25950     1318     85 | 78.437 % |
184.14/184.20	c |      2080 |    3618    48340    65833 |    28545     2080     83 | 78.437 % |
184.75/184.89	c |      3219 |    3618    48340    65833 |    31400     3219     95 | 78.437 % |
186.24/186.38	c |      4927 |    3618    48340    65833 |    34540     4927    131 | 78.437 % |
188.24/188.39	c |      7492 |    3618    48340    65833 |    37994     7492    127 | 78.437 % |
191.44/191.57	c |     11339 |    3617    48340    65833 |    41793    11338    125 | 78.443 % |
197.24/197.34	c |     17108 |    3617    48340    65833 |    45973    17107    126 | 78.443 % |
205.74/205.88	c ===============================================================================
206.24/206.31	c core #25
206.24/206.31	c 
206.24/206.31	c 
206.24/206.31	c Core size: 929	Core Weight: 1	Total Weight: 26
206.24/206.31	c
206.24/206.31	c
206.24/206.31	c ============================[ Search Statistics ]==============================
206.24/206.31	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
206.24/206.31	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
206.24/206.31	c ===============================================================================
206.24/206.31	c |         0 |    4489    48343    67706 |    16114        0    nan |  0.000 % |
206.24/206.35	c |       100 |    4489    48343    67706 |    17725      100    163 | 74.430 % |
206.34/206.48	c |       253 |    4489    48343    67706 |    19498      253    145 | 74.430 % |
206.44/206.59	c |       479 |    4489    48343    67706 |    21448      479    124 | 74.430 % |
206.64/206.73	c |       816 |    4489    48343    67706 |    23592      816     99 | 74.430 % |
206.93/207.06	c |      1322 |    4489    48343    67706 |    25952     1322    108 | 74.430 % |
207.24/207.37	c |      2082 |    4489    48343    67706 |    28547     2082    103 | 74.430 % |
208.34/208.41	c |      3223 |    4489    48343    67706 |    31402     3223    149 | 74.430 % |
209.33/209.41	c |      4931 |    4489    48343    67706 |    34542     4931    134 | 74.430 % |
210.54/210.67	c |      7493 |    4489    48343    67706 |    37996     7493    121 | 74.430 % |
212.94/213.06	c |     11338 |    4489    48343    67706 |    41796    11338    120 | 74.430 % |
217.33/217.43	c |     17105 |    4489    48343    67706 |    45976    17105    138 | 74.430 % |
224.13/224.24	c |     25763 |    4489    48343    67706 |    50573    25763    151 | 74.430 % |
235.83/235.97	c |     38738 |    4489    48343    67706 |    55631    38738    137 | 74.430 % |
260.13/260.28	c |     58199 |    4489    48343    67706 |    61194    58199    150 | 74.430 % |
310.61/310.71	c |     87391 |    4489    48343    67706 |    67313    27486    201 | 74.430 % |
383.49/383.69	c |    131182 |    4489    48343    67706 |    74044    71277    215 | 74.430 % |
503.14/503.30	c |    196866 |    4489    48343    67706 |    81449    64332    189 | 74.430 % |
734.08/734.38	c |    295393 |    4489    48343    67706 |    89594    85815    195 | 74.430 % |
1034.30/1034.67	c |    443185 |    4489    48343    67706 |    98553    64461    162 | 74.430 % |
1475.19/1475.69	c |    664870 |    4489    48343    67706 |   108409    93185    213 | 74.430 % |

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-2680426-1277459638/watcher-2680426-1277459638 -o /tmp/evaluation-result-2680426-1277459638/solver-2680426-1277459638 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680426-1277459638.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.99 1.00 0.99 3/105 27167
/proc/meminfo: memFree=1849884/2059040 swapFree=4139944/4192956
[pid=27167] ppid=27165 vsize=4908 CPUtime=0
/proc/27167/stat : 27167 (wbo1.4b) R 27165 27167 26658 0 -1 4202496 468 0 0 0 0 0 0 0 25 0 1 0 87257296 5025792 386 1992294400 134512640 135752675 4291173184 18446744073709551615 134609721 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27167/statm: 1227 386 136 303 0 556 0

[startup+0.0378529 s]
/proc/loadavg: 0.99 1.00 0.99 3/105 27167
/proc/meminfo: memFree=1849884/2059040 swapFree=4139944/4192956
[pid=27167] ppid=27165 vsize=6596 CPUtime=0.03
/proc/27167/stat : 27167 (wbo1.4b) R 27165 27167 26658 0 -1 4202496 908 0 0 0 3 0 0 0 25 0 1 0 87257296 6754304 826 1992294400 134512640 135752675 4291173184 18446744073709551615 135225882 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27167/statm: 1649 826 182 303 0 978 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 6596

[startup+0.100846 s]
/proc/loadavg: 0.99 1.00 0.99 3/105 27167
/proc/meminfo: memFree=1849884/2059040 swapFree=4139944/4192956
[pid=27167] ppid=27165 vsize=7692 CPUtime=0.09
/proc/27167/stat : 27167 (wbo1.4b) R 27165 27167 26658 0 -1 4202496 1234 0 0 0 9 0 0 0 25 0 1 0 87257296 7876608 1152 1992294400 134512640 135752675 4291173184 18446744073709551615 134560794 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27167/statm: 1923 1153 285 303 0 1252 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7692

[startup+0.300867 s]
/proc/loadavg: 0.99 1.00 0.99 3/105 27167
/proc/meminfo: memFree=1849884/2059040 swapFree=4139944/4192956
[pid=27167] ppid=27165 vsize=12540 CPUtime=0.29
/proc/27167/stat : 27167 (wbo1.4b) R 27165 27167 26658 0 -1 4202496 3028 0 0 0 28 1 0 0 25 0 1 0 87257296 12840960 2547 1992294400 134512640 135752675 4291173184 18446744073709551615 134595292 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27167/statm: 3135 2547 141 303 0 2830 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12540

[startup+0.700912 s]
/proc/loadavg: 0.99 1.00 0.99 3/105 27167
/proc/meminfo: memFree=1849884/2059040 swapFree=4139944/4192956
[pid=27167] ppid=27165 vsize=12672 CPUtime=0.69
/proc/27167/stat : 27167 (wbo1.4b) R 27165 27167 26658 0 -1 4202496 3093 0 0 0 68 1 0 0 25 0 1 0 87257296 12976128 2612 1992294400 134512640 135752675 4291173184 18446744073709551615 134611537 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27167/statm: 3168 2612 145 303 0 2863 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12672

[startup+1.501 s]
/proc/loadavg: 0.99 1.00 0.99 2/106 27168
/proc/meminfo: memFree=1839956/2059040 swapFree=4139944/4192956
[pid=27167] ppid=27165 vsize=12672 CPUtime=1.49
/proc/27167/stat : 27167 (wbo1.4b) R 27165 27167 26658 0 -1 4202496 3093 0 0 0 144 5 0 0 25 0 1 0 87257296 12976128 2612 1992294400 134512640 135752675 4291173184 18446744073709551615 134611574 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27167/statm: 3168 2612 145 303 0 2863 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12672

[startup+3.10018 s]
/proc/loadavg: 0.99 1.00 0.99 2/106 27168
/proc/meminfo: memFree=1839708/2059040 swapFree=4139944/4192956
[pid=27167] ppid=27165 vsize=12672 CPUtime=3.09
/proc/27167/stat : 27167 (wbo1.4b) R 27165 27167 26658 0 -1 4202496 3113 0 0 0 299 10 0 0 25 0 1 0 87257296 12976128 2632 1992294400 134512640 135752675 4291173184 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27167/statm: 3168 2632 145 303 0 2863 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12672

[startup+6.30053 s]
/proc/loadavg: 0.99 1.00 0.99 2/106 27168
/proc/meminfo: memFree=1839460/2059040 swapFree=4139944/4192956
[pid=27167] ppid=27165 vsize=12672 CPUtime=6.29
/proc/27167/stat : 27167 (wbo1.4b) R 27165 27167 26658 0 -1 4202496 3113 0 0 0 617 12 0 0 25 0 1 0 87257296 12976128 2632 1992294400 134512640 135752675 4291173184 18446744073709551615 134605026 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27167/statm: 3168 2632 145 303 0 2863 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12672

[startup+12.7002 s]
/proc/loadavg: 0.99 1.00 0.99 2/106 27168
/proc/meminfo: memFree=1839088/2059040 swapFree=4139944/4192956
[pid=27167] ppid=27165 vsize=13464 CPUtime=12.69
/proc/27167/stat : 27167 (wbo1.4b) R 27165 27167 26658 0 -1 4202496 3316 0 0 0 1254 15 0 0 25 0 1 0 87257296 13787136 2835 1992294400 134512640 135752675 4291173184 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27167/statm: 3366 2835 145 303 0 3061 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13464

[startup+25.5017 s]
/proc/loadavg: 0.99 1.00 0.99 2/106 27168
/proc/meminfo: memFree=1832888/2059040 swapFree=4139944/4192956
[pid=27167] ppid=27165 vsize=19584 CPUtime=25.49
/proc/27167/stat : 27167 (wbo1.4b) R 27165 27167 26658 0 -1 4202496 4810 0 0 0 2527 22 0 0 25 0 1 0 87257296 20054016 4329 1992294400 134512640 135752675 4291173184 18446744073709551615 134611537 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27167/statm: 4896 4329 145 303 0 4591 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 19584

[startup+51.1015 s]
/proc/loadavg: 0.99 1.00 0.99 2/106 27168
/proc/meminfo: memFree=1821976/2059040 swapFree=4139944/4192956
[pid=27167] ppid=27165 vsize=30556 CPUtime=51.08
/proc/27167/stat : 27167 (wbo1.4b) R 27165 27167 26658 0 -1 4202496 7565 0 0 0 5065 43 0 0 25 0 1 0 87257296 31289344 7084 1992294400 134512640 135752675 4291173184 18446744073709551615 134605387 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27167/statm: 7639 7084 145 303 0 7334 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 30556

[startup+102.308 s]
/proc/loadavg: 0.99 1.00 0.99 2/106 27170
/proc/meminfo: memFree=1802384/2059040 swapFree=4139944/4192956
[pid=27167] ppid=27165 vsize=49708 CPUtime=102.27
/proc/27167/stat : 27167 (wbo1.4b) R 27165 27167 26658 0 -1 4202496 12335 0 0 0 10156 71 0 0 25 0 1 0 87257296 50900992 11854 1992294400 134512640 135752675 4291173184 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27167/statm: 12427 11854 145 303 0 12122 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 49708

[startup+162.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/106 27172
/proc/meminfo: memFree=1779196/2059040 swapFree=4139944/4192956
[pid=27167] ppid=27165 vsize=72948 CPUtime=162.24
/proc/27167/stat : 27167 (wbo1.4b) R 27165 27167 26658 0 -1 4202496 18136 0 0 0 16122 102 0 0 25 0 1 0 87257296 74698752 17655 1992294400 134512640 135752675 4291173184 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27167/statm: 18237 17655 145 303 0 17932 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 72948

[startup+222.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/106 27174
/proc/meminfo: memFree=1770640/2059040 swapFree=4139944/4192956
[pid=27167] ppid=27165 vsize=80052 CPUtime=222.23
/proc/27167/stat : 27167 (wbo1.4b) R 27165 27167 26658 0 -1 4202496 20982 0 0 0 22085 138 0 0 25 0 1 0 87257296 81973248 19580 1992294400 134512640 135752675 4291173184 18446744073709551615 134638063 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27167/statm: 20013 19580 146 303 0 19708 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 80052

[startup+282.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/106 27174
/proc/meminfo: memFree=1745096/2059040 swapFree=4139944/4192956
[pid=27167] ppid=27165 vsize=106576 CPUtime=282.22
/proc/27167/stat : 27167 (wbo1.4b) R 27165 27167 26658 0 -1 4202496 27579 0 0 0 28057 165 0 0 25 0 1 0 87257296 109133824 26177 1992294400 134512640 135752675 4291173184 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27167/statm: 26644 26177 146 303 0 26339 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 106576

[startup+342.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/106 27176
/proc/meminfo: memFree=1703928/2059040 swapFree=4139944/4192956
[pid=27167] ppid=27165 vsize=147300 CPUtime=342.2
/proc/27167/stat : 27167 (wbo1.4b) R 27165 27167 26658 0 -1 4202496 37754 0 0 0 34025 195 0 0 25 0 1 0 87257296 150835200 36352 1992294400 134512640 135752675 4291173184 18446744073709551615 134638038 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27167/statm: 36825 36352 146 303 0 36520 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 147300

[startup+402.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/106 27178
/proc/meminfo: memFree=1673052/2059040 swapFree=4139944/4192956
[pid=27167] ppid=27165 vsize=178576 CPUtime=402.19
/proc/27167/stat : 27167 (wbo1.4b) R 27165 27167 26658 0 -1 4202496 45542 0 0 0 39998 221 0 0 25 0 1 0 87257296 182861824 44140 1992294400 134512640 135752675 4291173184 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27167/statm: 44644 44140 146 303 0 44339 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 178576

[startup+462.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/106 27189
/proc/meminfo: memFree=1636720/2059040 swapFree=4139944/4192956
[pid=27167] ppid=27165 vsize=214668 CPUtime=462.16
/proc/27167/stat : 27167 (wbo1.4b) R 27165 27167 26658 0 -1 4202496 54576 0 0 0 45968 248 0 0 25 0 1 0 87257296 219820032 53174 1992294400 134512640 135752675 4291173184 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27167/statm: 53667 53174 146 303 0 53362 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 214668

[startup+522.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/106 27191
/proc/meminfo: memFree=1609936/2059040 swapFree=4139944/4192956
[pid=27167] ppid=27165 vsize=241496 CPUtime=522.14
/proc/27167/stat : 27167 (wbo1.4b) R 27165 27167 26658 0 -1 4202496 61273 0 0 0 51946 268 0 0 25 0 1 0 87257296 247291904 59871 1992294400 134512640 135752675 4291173184 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27167/statm: 60374 59871 146 303 0 60069 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 241496

[startup+582.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/106 27191
/proc/meminfo: memFree=1591584/2059040 swapFree=4139944/4192956
[pid=27167] ppid=27165 vsize=259560 CPUtime=582.12
/proc/27167/stat : 27167 (wbo1.4b) R 27165 27167 26658 0 -1 4202496 65768 0 0 0 57930 282 0 0 25 0 1 0 87257296 265789440 64366 1992294400 134512640 135752675 4291173184 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27167/statm: 64890 64366 146 303 0 64585 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 259560

[startup+642.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/106 27193
/proc/meminfo: memFree=1560956/2059040 swapFree=4139944/4192956
[pid=27167] ppid=27165 vsize=289996 CPUtime=642.12
/proc/27167/stat : 27167 (wbo1.4b) R 27165 27167 26658 0 -1 4202496 73356 0 0 0 63909 303 0 0 25 0 1 0 87257296 296955904 71954 1992294400 134512640 135752675 4291173184 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27167/statm: 72499 71954 146 303 0 72194 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 289996

[startup+702.302 s]

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

[startup+882.301 s]
/proc/loadavg: 1.02 1.01 1.00 2/106 27199
/proc/meminfo: memFree=1451588/2059040 swapFree=4139944/4192956
[pid=27167] ppid=27165 vsize=399324 CPUtime=882.04
/proc/27167/stat : 27167 (wbo1.4b) R 27165 27167 26658 0 -1 4202496 100638 0 0 0 87815 389 0 0 25 0 1 0 87257296 408907776 99236 1992294400 134512640 135752675 4291173184 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27167/statm: 99831 99236 146 303 0 99526 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 399324

[startup+942.301 s]
/proc/loadavg: 1.06 1.02 1.00 2/106 27201
/proc/meminfo: memFree=1430632/2059040 swapFree=4139944/4192956
[pid=27167] ppid=27165 vsize=420352 CPUtime=942.03
/proc/27167/stat : 27167 (wbo1.4b) R 27165 27167 26658 0 -1 4202496 105900 0 0 0 93796 407 0 0 25 0 1 0 87257296 430440448 104498 1992294400 134512640 135752675 4291173184 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27167/statm: 105088 104498 146 303 0 104783 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 420352

[startup+1002.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/106 27203
/proc/meminfo: memFree=1401864/2059040 swapFree=4139944/4192956
[pid=27167] ppid=27165 vsize=449056 CPUtime=1002.01
/proc/27167/stat : 27167 (wbo1.4b) R 27165 27167 26658 0 -1 4202496 113054 0 0 0 99772 429 0 0 25 0 1 0 87257296 459833344 111652 1992294400 134512640 135752675 4291173184 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27167/statm: 112264 111652 146 303 0 111959 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 449056

[startup+1062.3 s]
/proc/loadavg: 1.05 1.02 1.00 2/106 27205
/proc/meminfo: memFree=1373344/2059040 swapFree=4139944/4192956
[pid=27167] ppid=27165 vsize=477552 CPUtime=1061.99
/proc/27167/stat : 27167 (wbo1.4b) R 27165 27167 26658 0 -1 4202496 120179 0 0 0 105745 454 0 0 25 0 1 0 87257296 489013248 118777 1992294400 134512640 135752675 4291173184 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27167/statm: 119388 118777 146 303 0 119083 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 477552

[startup+1122.3 s]
/proc/loadavg: 1.06 1.03 1.00 2/106 27207
/proc/meminfo: memFree=1347924/2059040 swapFree=4139944/4192956
[pid=27167] ppid=27165 vsize=502768 CPUtime=1121.98
/proc/27167/stat : 27167 (wbo1.4b) R 27165 27167 26658 0 -1 4202496 126466 0 0 0 111720 478 0 0 25 0 1 0 87257296 514834432 125064 1992294400 134512640 135752675 4291173184 18446744073709551615 134605387 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27167/statm: 125692 125064 146 303 0 125387 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 502768

[startup+1182.3 s]
/proc/loadavg: 1.06 1.04 1.00 2/106 27207
/proc/meminfo: memFree=1310848/2059040 swapFree=4139944/4192956
[pid=27167] ppid=27165 vsize=540256 CPUtime=1181.96
/proc/27167/stat : 27167 (wbo1.4b) R 27165 27167 26658 0 -1 4202496 135844 0 0 0 117690 506 0 0 25 0 1 0 87257296 553222144 134442 1992294400 134512640 135752675 4291173184 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27167/statm: 135064 134442 146 303 0 134759 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 540256

[startup+1242.3 s]
/proc/loadavg: 1.05 1.04 1.00 2/106 27209
/proc/meminfo: memFree=1279228/2059040 swapFree=4139944/4192956
[pid=27167] ppid=27165 vsize=571416 CPUtime=1241.95
/proc/27167/stat : 27167 (wbo1.4b) R 27165 27167 26658 0 -1 4202496 143626 0 0 0 123666 529 0 0 25 0 1 0 87257296 585129984 142224 1992294400 134512640 135752675 4291173184 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27167/statm: 142854 142224 146 303 0 142549 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 571416

[startup+1302.3 s]
/proc/loadavg: 1.13 1.06 1.01 2/106 27211
/proc/meminfo: memFree=1247112/2059040 swapFree=4139944/4192956
[pid=27167] ppid=27165 vsize=602984 CPUtime=1301.94
/proc/27167/stat : 27167 (wbo1.4b) R 27165 27167 26658 0 -1 4202496 151505 0 0 0 129641 553 0 0 25 0 1 0 87257296 617455616 150103 1992294400 134512640 135752675 4291173184 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27167/statm: 150746 150103 146 303 0 150441 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 602984

[startup+1362.3 s]
/proc/loadavg: 1.12 1.07 1.00 2/106 27213
/proc/meminfo: memFree=1213012/2059040 swapFree=4139944/4192956
[pid=27167] ppid=27165 vsize=637584 CPUtime=1361.92
/proc/27167/stat : 27167 (wbo1.4b) R 27165 27167 26658 0 -1 4202496 160169 0 0 0 135614 578 0 0 25 0 1 0 87257296 652886016 158767 1992294400 134512640 135752675 4291173184 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27167/statm: 159396 158767 146 303 0 159091 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 637584

[startup+1422.31 s]
/proc/loadavg: 1.11 1.07 1.00 2/106 27215
/proc/meminfo: memFree=1179780/2059040 swapFree=4139944/4192956
[pid=27167] ppid=27165 vsize=670272 CPUtime=1421.91
/proc/27167/stat : 27167 (wbo1.4b) R 27165 27167 26658 0 -1 4202496 168319 0 0 0 141591 600 0 0 25 0 1 0 87257296 686358528 166917 1992294400 134512640 135752675 4291173184 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27167/statm: 167568 166917 146 303 0 167263 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 670272

[startup+1482.3 s]
/proc/loadavg: 1.10 1.07 1.00 2/106 27215
/proc/meminfo: memFree=1153864/2059040 swapFree=4139944/4192956
[pid=27167] ppid=27165 vsize=696472 CPUtime=1481.89
/proc/27167/stat : 27167 (wbo1.4b) R 27165 27167 26658 0 -1 4202496 174856 0 0 0 147572 617 0 0 25 0 1 0 87257296 713187328 173454 1992294400 134512640 135752675 4291173184 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27167/statm: 174118 173454 146 303 0 173813 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 696472

[startup+1542.3 s]
/proc/loadavg: 1.09 1.07 1.00 2/106 27217
/proc/meminfo: memFree=1131420/2059040 swapFree=4139944/4192956
[pid=27167] ppid=27165 vsize=718616 CPUtime=1541.87
/proc/27167/stat : 27167 (wbo1.4b) R 27165 27167 26658 0 -1 4202496 180372 0 0 0 153550 637 0 0 25 0 1 0 87257296 735862784 178970 1992294400 134512640 135752675 4291173184 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27167/statm: 179654 178970 146 303 0 179349 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 718616

[startup+1602.3 s]
/proc/loadavg: 1.08 1.07 1.00 2/106 27219
/proc/meminfo: memFree=1097568/2059040 swapFree=4139944/4192956
[pid=27167] ppid=27165 vsize=752860 CPUtime=1601.85
/proc/27167/stat : 27167 (wbo1.4b) R 27165 27167 26658 0 -1 4202496 188928 0 0 0 159524 661 0 0 25 0 1 0 87257296 770928640 187526 1992294400 134512640 135752675 4291173184 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27167/statm: 188215 187526 146 303 0 187910 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 752860

[startup+1662.3 s]
/proc/loadavg: 1.08 1.07 1.00 2/106 27221
/proc/meminfo: memFree=1070536/2059040 swapFree=4139944/4192956
[pid=27167] ppid=27165 vsize=779568 CPUtime=1661.84
/proc/27167/stat : 27167 (wbo1.4b) R 27165 27167 26658 0 -1 4202496 195565 0 0 0 165502 682 0 0 25 0 1 0 87257296 798277632 194163 1992294400 134512640 135752675 4291173184 18446744073709551615 134612086 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27167/statm: 194892 194163 146 303 0 194587 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 779568

[startup+1722.3 s]
/proc/loadavg: 1.07 1.06 1.00 2/106 27223
/proc/meminfo: memFree=1050448/2059040 swapFree=4139944/4192956
[pid=27167] ppid=27165 vsize=799688 CPUtime=1721.82
/proc/27167/stat : 27167 (wbo1.4b) R 27165 27167 26658 0 -1 4202496 200553 0 0 0 171485 697 0 0 25 0 1 0 87257296 818880512 199151 1992294400 134512640 135752675 4291173184 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27167/statm: 199922 199151 146 303 0 199617 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 799688

[startup+1782.3 s]
/proc/loadavg: 1.07 1.06 1.00 2/106 27223
/proc/meminfo: memFree=1021060/2059040 swapFree=4139944/4192956
[pid=27167] ppid=27165 vsize=828944 CPUtime=1781.81
/proc/27167/stat : 27167 (wbo1.4b) R 27165 27167 26658 0 -1 4202496 207865 0 0 0 177462 719 0 0 25 0 1 0 87257296 848838656 206463 1992294400 134512640 135752675 4291173184 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27167/statm: 207236 206463 146 303 0 206931 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 828944



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.13 1.08 1.01 2/106 27225
/proc/meminfo: memFree=1010148/2059040 swapFree=4139944/4192956
[pid=27167] ppid=27165 vsize=839768 CPUtime=1800.01
/proc/27167/stat : 27167 (wbo1.4b) R 27165 27167 26658 0 -1 4202496 210566 0 0 0 179275 726 0 0 25 0 1 0 87257296 859922432 209164 1992294400 134512640 135752675 4291173184 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27167/statm: 209942 209164 146 303 0 209637 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 839768

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

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

[startup+1800.5 s]
/proc/loadavg: 1.13 1.08 1.01 2/106 27225
/proc/meminfo: memFree=1010148/2059040 swapFree=4139944/4192956
[pid=27167] ppid=27165 vsize=839768 CPUtime=1800.01
/proc/27167/stat : 27167 (wbo1.4b) R 27165 27167 26658 0 -1 4202496 210566 0 0 0 179275 726 0 0 25 0 1 0 87257296 859922432 209164 1992294400 134512640 135752675 4291173184 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27167/statm: 209942 209164 146 303 0 209637 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 839768

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.58
CPU time (s): 1800.09
CPU user time (s): 1792.76
CPU system time (s): 7.33788
CPU usage (%): 99.9728
Max. virtual memory (cumulated for all children) (KiB): 839768

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

runsolver used 3.12352 second user time and 8.35973 second system time

The end

Launcher Data 

Begin job on node087 at 2010-06-25 11:53:58
IDJOB=2680426
IDBENCH=24988
IDSOLVER=1190
FILE ID=node087/2680426-1277459638
PBS_JOBID= 11188103
Free space on /tmp= 62460 MiB

SOLVER NAME= wbo 1.4b (fixed)
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_012_area_delay.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680426-1277459638/watcher-2680426-1277459638 -o /tmp/evaluation-result-2680426-1277459638/solver-2680426-1277459638 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680426-1277459638.opb

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

MD5SUM BENCH= 390f49d8db402e26df87629238cc1aa6
RANDOM SEED=239509916

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1850412 kB
Buffers:         32400 kB
Cached:          84152 kB
SwapCached:       5436 kB
Active:          61356 kB
Inactive:        68316 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1850412 kB
SwapTotal:     4192956 kB
SwapFree:      4139944 kB
Dirty:            4140 kB
Writeback:           4 kB
AnonPages:       11700 kB
Mapped:          12000 kB
Slab:            57028 kB
PageTables:       4124 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182212 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62456 MiB
End job on node087 at 2010-06-25 12:24:00