Trace number 2680882

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)? (MO) 1662.76 1663.29

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_300_10_20.r.opb
MD5SUMe82b2413101b8c36ea34c3d9f95f4ad5
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark17
Best CPU time to get the best result obtained on this benchmark6.558
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 17
Optimality of the best value was proved YES
Number of variables299
Total number of constraints100
Number of constraints which are clauses100
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 constraint10
Maximum length of a constraint20
Number of terms in the objective function 299
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 299
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 299
Number of bits of the biggest sum of numbers9
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-2680882-1277456954.opb.
0.00/0.00	c Instance file HOME/instance-2680882-1277456954.opb
0.00/0.00	c File size is 14198 bytes.
0.00/0.00	c Highest Coefficient sum: 21
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.00         s                                      |
0.00/0.00	c |  Number Variables:      299                                                 |
0.00/0.00	c |  Number Clauses:        100                                                 |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 0                                                   |
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     299      100     1452 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 32
0.00/0.00	o 32
0.00/0.00	c Elapsed CPU time: 0.003999 s	Remaining CPU time: 179.996 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     299      101     1751 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 31
0.00/0.00	o 31
0.00/0.00	c Elapsed CPU time: 0.006998 s	Remaining CPU time: 179.993 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |        45 |     299      102     2050 |     5000       45     64 |  0.000 % |
0.00/0.01	c |       145 |     299      102     2050 |     5500      145     62 |  0.001 % |
0.00/0.01	c |       295 |     299      102     2050 |     6050      295     60 |  0.001 % |
0.02/0.03	c |       520 |     299      102     2050 |     6655      520     60 |  0.001 % |
0.02/0.04	c |       857 |     299      102     2050 |     7320      857     61 |  0.001 % |
0.02/0.07	c |      1364 |     299      102     2050 |     8052     1364     60 |  0.001 % |
0.09/0.11	c |      2123 |     299      102     2050 |     8857     2123     60 |  0.001 % |
0.09/0.18	c |      3262 |     299      102     2050 |     9743     3262     60 |  0.001 % |
0.19/0.29	c |      4970 |     299      102     2050 |    10717     4970     60 |  0.001 % |
0.39/0.48	c |      7532 |     299      102     2050 |    11789     7532     62 |  0.001 % |
0.69/0.78	c |     11376 |     299      102     2050 |    12968    11376     58 |  0.001 % |
0.69/0.79	c ===============================================================================
0.69/0.79	c New solution: 30
0.69/0.79	o 30
0.69/0.79	c Elapsed CPU time: 0.764883 s	Remaining CPU time: 179.235 s
0.69/0.79	c ===============================================================================
0.69/0.79	c |     11376 |     299      103     2349 |     5000    11376     58 |  0.001 % |
0.79/0.81	c |     11477 |     299      103     2349 |     5500     2945     50 |  0.001 % |
0.79/0.82	c |     11627 |     299      103     2349 |     6050     3095     50 |  0.001 % |
0.79/0.84	c |     11853 |     299      103     2349 |     6655     3321     50 |  0.001 % |
0.79/0.85	c |     12190 |     299      103     2349 |     7320     3658     50 |  0.001 % |
0.79/0.88	c |     12697 |     299      103     2349 |     8052     4165     51 |  0.001 % |
0.89/0.93	c |     13456 |     299      103     2349 |     8857     4924     51 |  0.001 % |
1.00/1.00	c |     14596 |     299      103     2349 |     9743     6064     52 |  0.001 % |
1.10/1.11	c |     16305 |     299      103     2349 |    10717     7773     52 |  0.001 % |
1.19/1.29	c |     18867 |     299      103     2349 |    11789    10335     55 |  0.001 % |
1.49/1.58	c |     22711 |     299      103     2349 |    12968     8174     56 |  0.001 % |
1.99/2.01	c |     28479 |     299      103     2349 |    14265     7343     54 |  0.001 % |
2.89/2.95	c |     37131 |     299      103     2349 |    15692     8746     63 |  0.001 % |
4.19/4.25	c |     50105 |     299      103     2349 |    17261    13755     57 |  0.001 % |
6.59/6.64	c |     69567 |     299      103     2349 |    18987    15723     64 |  0.001 % |
9.79/9.86	c |     98761 |     299      103     2349 |    20886    16111     54 |  0.001 % |
15.89/15.99	c |    142550 |     299      103     2349 |    22974    17678     57 |  0.001 % |
26.39/26.49	c |    208234 |     299      103     2349 |    25272    22947     54 |  0.001 % |
39.59/39.63	c ===============================================================================
39.59/39.63	c New solution: 29
39.59/39.63	o 29
39.59/39.63	c Elapsed CPU time: 38.7761 s	Remaining CPU time: 141.224 s
39.59/39.63	c ===============================================================================
39.59/39.63	c |    290337 |     299      104     2648 |     5000    19685     56 |  0.001 % |
39.68/39.75	c |    290437 |     299      104     2648 |     5500     5022     52 |  0.001 % |
39.68/39.76	c |    290590 |     299      104     2648 |     6050     5175     52 |  0.001 % |
39.68/39.77	c |    290815 |     299      104     2648 |     6655     5400     52 |  0.001 % |
39.68/39.79	c |    291154 |     299      104     2648 |     7320     5739     53 |  0.001 % |
39.78/39.82	c |    291660 |     299      104     2648 |     8052     6245     53 |  0.001 % |
39.78/39.87	c |    292420 |     299      104     2648 |     8857     7005     53 |  0.001 % |
39.88/39.95	c |    293560 |     299      104     2648 |     9743     8145     53 |  0.001 % |
39.98/40.07	c |    295270 |     299      104     2648 |    10717     9855     53 |  0.001 % |
40.17/40.28	c |    297832 |     299      104     2648 |    11789     6943     53 |  0.001 % |
40.47/40.58	c |    301676 |     299      104     2648 |    12968    10787     56 |  0.001 % |
40.97/41.05	c |    307443 |     299      104     2648 |    14265     9968     54 |  0.001 % |
41.79/41.81	c |    316093 |     299      104     2648 |    15692    11368     55 |  0.001 % |
43.18/43.25	c |    329068 |     299      104     2648 |    17261     8419     66 |  0.001 % |
45.48/45.51	c |    348529 |     299      104     2648 |    18987    10408     58 |  0.001 % |
48.97/49.08	c |    377724 |     299      104     2648 |    20886    10793     57 |  0.001 % |
55.37/55.46	c |    421514 |     299      104     2648 |    22974    12391     51 |  0.001 % |
65.17/65.22	c |    487198 |     299      104     2648 |    25272    16073     48 |  0.001 % |
79.86/79.95	c |    585725 |     299      104     2648 |    27799    13647     53 |  0.001 % |
103.46/103.57	c |    733514 |     299      104     2648 |    30579    12231     57 |  0.001 % |
140.55/140.65	c |    955198 |     299      104     2648 |    33637    20098     62 |  0.001 % |
183.64/183.72	c There are 0 assigned variables. 0 in cost function.
184.94/185.09	c core #1
184.94/185.09	c 
184.94/185.09	c 
184.94/185.09	c Core size: 15	Core Weight: 1	Total Weight: 1
184.94/185.09	c
184.94/185.09	c
184.94/185.09	c core #2
184.94/185.09	c 
184.94/185.09	c 
184.94/185.09	c Core size: 12	Core Weight: 1	Total Weight: 2
184.94/185.09	c
184.94/185.09	c
184.94/185.09	c core #3
184.94/185.09	c 
184.94/185.09	c 
184.94/185.09	c Core size: 12	Core Weight: 1	Total Weight: 3
184.94/185.09	c
184.94/185.09	c
184.94/185.09	c core #4
184.94/185.09	c 
184.94/185.09	c 
184.94/185.09	c Core size: 13	Core Weight: 1	Total Weight: 4
184.94/185.09	c
184.94/185.09	c
184.94/185.09	c core #5
184.94/185.09	c 
184.94/185.09	c 
184.94/185.09	c Core size: 12	Core Weight: 1	Total Weight: 5
184.94/185.09	c
184.94/185.09	c
184.94/185.09	c core #6
184.94/185.09	c 
184.94/185.09	c 
184.94/185.09	c Core size: 17	Core Weight: 1	Total Weight: 6
184.94/185.09	c
184.94/185.09	c
184.94/185.09	c core #7
184.94/185.09	c 
184.94/185.09	c 
184.94/185.09	c Core size: 59	Core Weight: 1	Total Weight: 7
184.94/185.09	c
184.94/185.09	c
184.94/185.09	c ============================[ Search Statistics ]==============================
184.94/185.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.94/185.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.94/185.09	c ===============================================================================
184.94/185.09	c |         0 |     248      410     3023 |     5000        0    nan |  0.000 % |
184.94/185.09	c ===============================================================================
184.94/185.09	c core #8
184.94/185.09	c 
184.94/185.09	c 
184.94/185.09	c Core size: 66	Core Weight: 1	Total Weight: 8
184.94/185.09	c
184.94/185.09	c
184.94/185.09	c ============================[ Search Statistics ]==============================
184.94/185.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.94/185.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.94/185.09	c ===============================================================================
184.94/185.09	c |         0 |     357      411     3196 |     5000        0    nan |  0.000 % |
185.04/185.10	c |       100 |     357      411     3196 |     5500      100     75 | 27.143 % |
185.04/185.11	c ===============================================================================
185.04/185.12	c core #9
185.04/185.12	c 
185.04/185.12	c 
185.04/185.12	c Core size: 235	Core Weight: 1	Total Weight: 9
185.04/185.12	c
185.04/185.12	c
185.04/185.12	c ============================[ Search Statistics ]==============================
185.04/185.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.04/185.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.04/185.12	c ===============================================================================
185.04/185.12	c |         0 |     680      412     3749 |     5000        0    nan |  0.000 % |
185.04/185.13	c |       101 |     680      412     3749 |     5500      101    117 |  5.556 % |
185.04/185.15	c |       251 |     680      412     3749 |     6050      251    123 |  5.556 % |
185.04/185.19	c |       477 |     680      412     3749 |     6655      477    105 |  5.556 % |
185.13/185.25	c |       818 |     680      412     3749 |     7320      818     96 |  5.556 % |
185.23/185.34	c |      1327 |     680      412     3749 |     8052     1327     97 |  5.556 % |
185.43/185.52	c |      2086 |     680      412     3749 |     8857     2086     91 |  5.556 % |
185.74/185.82	c |      3226 |     680      412     3749 |     9743     3226     87 |  5.556 % |
186.23/186.35	c |      4941 |     680      412     3749 |    10717     4941     87 |  5.556 % |
187.13/187.21	c |      7510 |     680      412     3749 |    11789     7510     86 |  5.556 % |
188.83/188.91	c |     11360 |     680      412     3749 |    12968    11360     86 |  5.556 % |
191.03/191.14	c |     17131 |     680      412     3749 |    14265    10575     90 |  5.556 % |
192.93/193.09	c ===============================================================================
193.23/193.37	c core #10
193.23/193.37	c 
193.23/193.37	c 
193.23/193.37	c Core size: 282	Core Weight: 1	Total Weight: 10
193.23/193.37	c
193.23/193.37	c
193.23/193.37	c ============================[ Search Statistics ]==============================
193.23/193.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.23/193.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.23/193.37	c ===============================================================================
193.23/193.37	c |         0 |     986      413     4335 |     5000        0    nan |  0.000 % |
193.23/193.39	c |       102 |     986      413     4335 |     5500      102    173 |  1.400 % |
193.33/193.41	c |       252 |     986      413     4335 |     6050      252    150 |  1.400 % |
193.33/193.44	c |       478 |     986      413     4335 |     6655      478    115 |  1.400 % |
193.33/193.50	c |       816 |     986      413     4335 |     7320      816    106 |  1.400 % |
193.53/193.61	c |      1322 |     986      413     4335 |     8052     1322    111 |  1.400 % |
193.73/193.85	c |      2083 |     986      413     4335 |     8857     2083    126 |  1.400 % |
194.13/194.23	c |      3222 |     986      413     4335 |     9743     3222    133 |  1.400 % |
194.53/194.65	c |      4934 |     986      413     4335 |    10717     4934    128 |  1.400 % |
195.32/195.45	c |      7498 |     986      413     4335 |    11789     7498    134 |  1.400 % |
196.92/197.08	c |     11342 |     986      413     4335 |    12968    11342    137 |  1.400 % |
200.03/200.13	c |     17110 |     986      413     4335 |    14265    10525    140 |  1.400 % |
205.42/205.53	c |     25762 |     986      413     4335 |    15692    11924    147 |  1.400 % |
213.73/213.88	c |     38737 |     986      413     4335 |    17261     9107    137 |  1.400 % |
223.92/224.01	c |     58203 |     986      413     4335 |    18987    11161    142 |  1.400 % |
244.82/244.96	c |     87397 |     986      413     4335 |    20886    11366    157 |  1.400 % |
278.30/278.43	c |    131190 |     986      413     4335 |    22974    12912    133 |  1.400 % |
332.88/333.05	c |    196876 |     986      413     4335 |    25272    20423    198 |  1.400 % |
423.85/424.06	c |    295402 |     986      413     4335 |    27799    13454    216 |  1.400 % |
570.72/570.97	c ===============================================================================
580.51/580.76	c core #11
580.51/580.76	c 
580.51/580.76	c 
580.51/580.76	c Core size: 300	Core Weight: 1	Total Weight: 11
580.51/580.76	c
580.51/580.76	c
580.51/580.76	c ============================[ Search Statistics ]==============================
580.51/580.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
580.51/580.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
580.51/580.76	c ===============================================================================
580.51/580.76	c |         0 |    1293      414     4938 |     5000        0    nan |  0.000 % |
580.70/580.92	c |       100 |    1293      414     4938 |     5500      100    329 |  0.232 % |
580.70/580.95	c |       250 |    1293      414     4938 |     6050      250    217 |  0.232 % |
580.70/580.99	c |       477 |    1293      414     4938 |     6655      477    179 |  0.232 % |
580.81/581.05	c |       815 |    1293      414     4938 |     7320      815    143 |  0.232 % |
580.91/581.17	c |      1321 |    1293      414     4938 |     8052     1321    130 |  0.232 % |
581.10/581.34	c |      2080 |    1293      414     4938 |     8857     2080    127 |  0.232 % |
581.41/581.67	c |      3219 |    1293      414     4938 |     9743     3219    142 |  0.232 % |
582.11/582.35	c |      4928 |    1293      414     4938 |    10717     4928    159 |  0.232 % |
582.91/583.17	c |      7496 |    1293      414     4938 |    11789     7496    172 |  0.232 % |
584.40/584.66	c |     11340 |    1293      414     4938 |    12968    11340    178 |  0.232 % |
586.71/586.93	c |     17107 |    1293      414     4938 |    14265    10568    185 |  0.232 % |
591.10/591.33	c |     25759 |    1293      414     4938 |    15692    12049    178 |  0.232 % |
598.40/598.64	c |     38734 |    1293      414     4938 |    17261     9186    195 |  0.232 % |
611.00/611.27	c |     58195 |    1293      414     4938 |    18987    11105    206 |  0.232 % |
639.09/639.30	c |     87391 |    1293      414     4938 |    20886    11685    308 |  0.232 % |
681.17/681.49	c |    131182 |    1293      414     4938 |    22974    13467    251 |  0.232 % |
745.25/745.52	c |    196866 |    1293      414     4938 |    25272    21310    262 |  0.232 % |
855.53/855.89	c |    295393 |    1293      414     4938 |    27799    17244    260 |  0.232 % |
988.97/989.30	c |    443182 |    1293      414     4938 |    30579    16994    235 |  0.232 % |
1226.10/1226.56	c |    664865 |    1293      414     4938 |    33637    27902    292 |  0.232 % |
1632.76/1633.30	c |    997394 |    1293      414     4938 |    37001    15942    272 |  0.232 % |

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-2680882-1277456954/watcher-2680882-1277456954 -o /tmp/evaluation-result-2680882-1277456954/solver-2680882-1277456954 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680882-1277456954.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.92 0.98 0.96 3/106 27058
/proc/meminfo: memFree=1854016/2059040 swapFree=4140488/4192956
[pid=27058] ppid=27056 vsize=2576 CPUtime=0
/proc/27058/stat : 27058 (wbo1.4b) R 27056 27058 26706 0 -1 4202496 289 0 0 0 0 0 0 0 17 0 1 0 86986352 2637824 204 1992294400 134512640 135752675 4293264960 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27058/statm: 644 204 144 303 0 339 0

[startup+0.027237 s]
/proc/loadavg: 0.92 0.98 0.96 3/106 27058
/proc/meminfo: memFree=1854016/2059040 swapFree=4140488/4192956
[pid=27058] ppid=27056 vsize=2704 CPUtime=0.02
/proc/27058/stat : 27058 (wbo1.4b) R 27056 27058 26706 0 -1 4202496 323 0 0 0 2 0 0 0 17 0 1 0 86986352 2768896 238 1992294400 134512640 135752675 4293264960 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27058/statm: 676 238 145 303 0 371 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2704

[startup+0.10125 s]
/proc/loadavg: 0.92 0.98 0.96 3/106 27058
/proc/meminfo: memFree=1854016/2059040 swapFree=4140488/4192956
[pid=27058] ppid=27056 vsize=3228 CPUtime=0.09
/proc/27058/stat : 27058 (wbo1.4b) R 27056 27058 26706 0 -1 4202496 449 0 0 0 9 0 0 0 17 0 1 0 86986352 3305472 364 1992294400 134512640 135752675 4293264960 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27058/statm: 807 364 145 303 0 502 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3228

[startup+0.301283 s]
/proc/loadavg: 0.92 0.98 0.96 3/106 27058
/proc/meminfo: memFree=1854016/2059040 swapFree=4140488/4192956
[pid=27058] ppid=27056 vsize=4404 CPUtime=0.29
/proc/27058/stat : 27058 (wbo1.4b) R 27056 27058 26706 0 -1 4202496 747 0 0 0 28 1 0 0 17 0 1 0 86986352 4509696 662 1992294400 134512640 135752675 4293264960 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27058/statm: 1101 662 145 303 0 796 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4404

[startup+0.70035 s]
/proc/loadavg: 0.92 0.98 0.96 3/106 27058
/proc/meminfo: memFree=1854016/2059040 swapFree=4140488/4192956
[pid=27058] ppid=27056 vsize=6144 CPUtime=0.69
/proc/27058/stat : 27058 (wbo1.4b) R 27056 27058 26706 0 -1 4202496 1202 0 0 0 67 2 0 0 17 0 1 0 86986352 6291456 1117 1992294400 134512640 135752675 4293264960 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27058/statm: 1536 1117 145 303 0 1231 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6144

[startup+1.50048 s]
/proc/loadavg: 0.92 0.98 0.96 2/107 27059
/proc/meminfo: memFree=1848800/2059040 swapFree=4140488/4192956
[pid=27058] ppid=27056 vsize=9932 CPUtime=1.49
/proc/27058/stat : 27058 (wbo1.4b) R 27056 27058 26706 0 -1 4202496 2131 0 0 0 145 4 0 0 18 0 1 0 86986352 10170368 2046 1992294400 134512640 135752675 4293264960 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27058/statm: 2483 2046 145 303 0 2178 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9932

[startup+3.10075 s]
/proc/loadavg: 0.92 0.98 0.96 2/107 27059
/proc/meminfo: memFree=1843592/2059040 swapFree=4140488/4192956
[pid=27058] ppid=27056 vsize=16052 CPUtime=3.09
/proc/27058/stat : 27058 (wbo1.4b) R 27056 27058 26706 0 -1 4202496 3662 0 0 0 301 8 0 0 21 0 1 0 86986352 16437248 3577 1992294400 134512640 135752675 4293264960 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27058/statm: 4013 3577 145 303 0 3708 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16052

[startup+6.30029 s]
/proc/loadavg: 0.93 0.98 0.96 3/107 27059
/proc/meminfo: memFree=1832556/2059040 swapFree=4140488/4192956
[pid=27058] ppid=27056 vsize=25756 CPUtime=6.29
/proc/27058/stat : 27058 (wbo1.4b) R 27056 27058 26706 0 -1 4202496 6087 0 0 0 611 18 0 0 25 0 1 0 86986352 26374144 6002 1992294400 134512640 135752675 4293264960 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27058/statm: 6439 6002 145 303 0 6134 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25756

[startup+12.7014 s]
/proc/loadavg: 0.93 0.98 0.96 2/107 27059
/proc/meminfo: memFree=1813460/2059040 swapFree=4140488/4192956
[pid=27058] ppid=27056 vsize=44124 CPUtime=12.69
/proc/27058/stat : 27058 (wbo1.4b) R 27056 27058 26706 0 -1 4202496 10669 0 0 0 1236 33 0 0 25 0 1 0 86986352 45182976 10584 1992294400 134512640 135752675 4293264960 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27058/statm: 11031 10584 145 303 0 10726 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 44124

[startup+25.5015 s]
/proc/loadavg: 0.95 0.98 0.96 2/107 27059
/proc/meminfo: memFree=1785808/2059040 swapFree=4140488/4192956
[pid=27058] ppid=27056 vsize=70632 CPUtime=25.48
/proc/27058/stat : 27058 (wbo1.4b) R 27056 27058 26706 0 -1 4202496 17290 0 0 0 2492 56 0 0 25 0 1 0 86986352 72327168 17205 1992294400 134512640 135752675 4293264960 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27058/statm: 17658 17205 145 303 0 17353 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 70632

[startup+51.1018 s]
/proc/loadavg: 0.96 0.98 0.96 2/107 27061
/proc/meminfo: memFree=1722940/2059040 swapFree=4140488/4192956
[pid=27058] ppid=27056 vsize=134320 CPUtime=51.07
/proc/27058/stat : 27058 (wbo1.4b) R 27056 27058 26706 0 -1 4202496 33190 0 0 0 4996 111 0 0 25 0 1 0 86986352 137543680 33105 1992294400 134512640 135752675 4293264960 18446744073709551615 134611713 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27058/statm: 33580 33105 145 303 0 33275 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 134320

[startup+102.308 s]
/proc/loadavg: 1.02 1.00 0.96 2/107 27061
/proc/meminfo: memFree=1610968/2059040 swapFree=4140488/4192956
[pid=27058] ppid=27056 vsize=244904 CPUtime=102.26
/proc/27058/stat : 27058 (wbo1.4b) R 27056 27058 26706 0 -1 4202496 60782 0 0 0 10016 210 0 0 25 0 1 0 86986352 250781696 60697 1992294400 134512640 135752675 4293264960 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27058/statm: 61226 60697 145 303 0 60921 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 244904

[startup+162.301 s]
/proc/loadavg: 1.04 1.01 0.97 2/107 27063
/proc/meminfo: memFree=1493416/2059040 swapFree=4140488/4192956
[pid=27058] ppid=27056 vsize=363864 CPUtime=162.23
/proc/27058/stat : 27058 (wbo1.4b) R 27056 27058 26706 0 -1 4202496 90509 0 0 0 15899 324 0 0 25 0 1 0 86986352 372596736 90424 1992294400 134512640 135752675 4293264960 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27058/statm: 90966 90424 145 303 0 90661 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 363864

[startup+222.301 s]
/proc/loadavg: 1.12 1.04 0.98 2/107 27065
/proc/meminfo: memFree=1421000/2059040 swapFree=4140488/4192956
[pid=27058] ppid=27056 vsize=434128 CPUtime=222.22
/proc/27058/stat : 27058 (wbo1.4b) R 27056 27058 26706 0 -1 4202496 108216 0 0 0 21824 398 0 0 25 0 1 0 86986352 444547072 108097 1992294400 134512640 135752675 4293264960 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27058/statm: 108532 108097 146 303 0 108227 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 434128

[startup+282.301 s]
/proc/loadavg: 1.04 1.03 0.98 2/107 27067
/proc/meminfo: memFree=1357512/2059040 swapFree=4140488/4192956
[pid=27058] ppid=27056 vsize=498120 CPUtime=282.2
/proc/27058/stat : 27058 (wbo1.4b) R 27056 27058 26706 0 -1 4202496 124178 0 0 0 27778 442 0 0 25 0 1 0 86986352 510074880 124059 1992294400 134512640 135752675 4293264960 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27058/statm: 124530 124059 146 303 0 124225 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 498120

[startup+342.301 s]
/proc/loadavg: 1.01 1.02 0.98 2/107 27067
/proc/meminfo: memFree=1296628/2059040 swapFree=4140488/4192956
[pid=27058] ppid=27056 vsize=558556 CPUtime=342.18
/proc/27058/stat : 27058 (wbo1.4b) R 27056 27058 26706 0 -1 4202496 139235 0 0 0 33736 482 0 0 25 0 1 0 86986352 571961344 139116 1992294400 134512640 135752675 4293264960 18446744073709551615 134611771 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27058/statm: 139639 139116 146 303 0 139334 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 558556

[startup+402.3 s]
/proc/loadavg: 1.00 1.02 0.98 2/107 27069
/proc/meminfo: memFree=1231032/2059040 swapFree=4140488/4192956
[pid=27058] ppid=27056 vsize=625108 CPUtime=402.16
/proc/27058/stat : 27058 (wbo1.4b) R 27056 27058 26706 0 -1 4202496 155786 0 0 0 39694 522 0 0 25 0 1 0 86986352 640110592 155667 1992294400 134512640 135752675 4293264960 18446744073709551615 134519009 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27058/statm: 156277 155667 146 303 0 155972 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 625108

[startup+462.301 s]
/proc/loadavg: 1.00 1.01 0.98 2/107 27071
/proc/meminfo: memFree=1178208/2059040 swapFree=4140488/4192956
[pid=27058] ppid=27056 vsize=677468 CPUtime=462.14
/proc/27058/stat : 27058 (wbo1.4b) R 27056 27058 26706 0 -1 4202496 168808 0 0 0 45663 551 0 0 25 0 1 0 86986352 693727232 168689 1992294400 134512640 135752675 4293264960 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27058/statm: 169367 168689 146 303 0 169062 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 677468

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 27073
/proc/meminfo: memFree=1125384/2059040 swapFree=4140488/4192956
[pid=27058] ppid=27056 vsize=730376 CPUtime=522.12
/proc/27058/stat : 27058 (wbo1.4b) R 27056 27058 26706 0 -1 4202496 182009 0 0 0 51628 584 0 0 25 0 1 0 86986352 747905024 181890 1992294400 134512640 135752675 4293264960 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27058/statm: 182594 181890 146 303 0 182289 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 730376

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 27075
/proc/meminfo: memFree=1087688/2059040 swapFree=4140488/4192956
[pid=27058] ppid=27056 vsize=767548 CPUtime=582.11
/proc/27058/stat : 27058 (wbo1.4b) R 27056 27058 26706 0 -1 4202496 191237 0 0 0 57600 611 0 0 25 0 1 0 86986352 785969152 191118 1992294400 134512640 135752675 4293264960 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27058/statm: 191887 191118 146 303 0 191582 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 767548

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 27075
/proc/meminfo: memFree=1046148/2059040 swapFree=4140488/4192956
[pid=27058] ppid=27056 vsize=807772 CPUtime=642.1
/proc/27058/stat : 27058 (wbo1.4b) R 27056 27058 26706 0 -1 4202496 201610 0 0 0 63553 657 0 0 25 0 1 0 86986352 827158528 201491 1992294400 134512640 135752675 4293264960 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27058/statm: 201943 201491 146 303 0 201638 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 807772

[startup+702.3 s]

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

[startup+762.309 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 27079
/proc/meminfo: memFree=915080/2059040 swapFree=4140488/4192956
[pid=27058] ppid=27056 vsize=938584 CPUtime=762.05
/proc/27058/stat : 27058 (wbo1.4b) R 27056 27058 26706 0 -1 4202496 234268 0 0 0 75467 738 0 0 25 0 1 0 86986352 961110016 234149 1992294400 134512640 135752675 4293264960 18446744073709551615 134611744 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27058/statm: 234646 234149 146 303 0 234341 0
Current children cumulated CPU time (s) 762.05
Current children cumulated vsize (KiB) 938584

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 27081
/proc/meminfo: memFree=857172/2059040 swapFree=4140488/4192956
[pid=27058] ppid=27056 vsize=996696 CPUtime=822.03
/proc/27058/stat : 27058 (wbo1.4b) R 27056 27058 26706 0 -1 4202496 248732 0 0 0 81432 771 0 0 25 0 1 0 86986352 1020616704 248613 1992294400 134512640 135752675 4293264960 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27058/statm: 249174 248613 146 303 0 248869 0
Current children cumulated CPU time (s) 822.03
Current children cumulated vsize (KiB) 996696

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 27083
/proc/meminfo: memFree=801248/2059040 swapFree=4140488/4192956
[pid=27058] ppid=27056 vsize=1052628 CPUtime=882
/proc/27058/stat : 27058 (wbo1.4b) R 27056 27058 26706 0 -1 4202496 262705 0 0 0 87397 803 0 0 25 0 1 0 86986352 1077891072 262586 1992294400 134512640 135752675 4293264960 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27058/statm: 263157 262586 146 303 0 262852 0
Current children cumulated CPU time (s) 882
Current children cumulated vsize (KiB) 1052628

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 27083
/proc/meminfo: memFree=741976/2059040 swapFree=4140488/4192956
[pid=27058] ppid=27056 vsize=1112564 CPUtime=941.98
/proc/27058/stat : 27058 (wbo1.4b) R 27056 27058 26706 0 -1 4202496 277623 0 0 0 93357 841 0 0 25 0 1 0 86986352 1139265536 277504 1992294400 134512640 135752675 4293264960 18446744073709551615 134639477 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27058/statm: 278141 277504 146 303 0 277836 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 1112564

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 27085
/proc/meminfo: memFree=656540/2059040 swapFree=4140488/4192956
[pid=27058] ppid=27056 vsize=1197500 CPUtime=1001.97
/proc/27058/stat : 27058 (wbo1.4b) R 27056 27058 26706 0 -1 4202496 298852 0 0 0 99305 892 0 0 25 0 1 0 86986352 1226240000 298733 1992294400 134512640 135752675 4293264960 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27058/statm: 299375 298733 146 303 0 299070 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 1197500

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 27087
/proc/meminfo: memFree=590076/2059040 swapFree=4140488/4192956
[pid=27058] ppid=27056 vsize=1264556 CPUtime=1061.95
/proc/27058/stat : 27058 (wbo1.4b) R 27056 27058 26706 0 -1 4202496 315558 0 0 0 105267 928 0 0 25 0 1 0 86986352 1294905344 315439 1992294400 134512640 135752675 4293264960 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27058/statm: 316139 315440 146 303 0 315834 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 1264556

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 27089
/proc/meminfo: memFree=527580/2059040 swapFree=4140488/4192956
[pid=27058] ppid=27056 vsize=1326264 CPUtime=1121.93
/proc/27058/stat : 27058 (wbo1.4b) R 27056 27058 26706 0 -1 4202496 330966 0 0 0 111231 962 0 0 25 0 1 0 86986352 1358094336 330847 1992294400 134512640 135752675 4293264960 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27058/statm: 331566 330847 146 303 0 331261 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 1326264

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 27091
/proc/meminfo: memFree=472400/2059040 swapFree=4140488/4192956
[pid=27058] ppid=27056 vsize=1382068 CPUtime=1181.91
/proc/27058/stat : 27058 (wbo1.4b) R 27056 27058 26706 0 -1 4202496 344911 0 0 0 117197 994 0 0 25 0 1 0 86986352 1415237632 344792 1992294400 134512640 135752675 4293264960 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27058/statm: 345517 344792 146 303 0 345212 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 1382068

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 27091
/proc/meminfo: memFree=410276/2059040 swapFree=4140488/4192956
[pid=27058] ppid=27056 vsize=1443692 CPUtime=1241.89
/proc/27058/stat : 27058 (wbo1.4b) R 27056 27058 26706 0 -1 4202496 360289 0 0 0 123164 1025 0 0 25 0 1 0 86986352 1478340608 360170 1992294400 134512640 135752675 4293264960 18446744073709551615 134605232 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27058/statm: 360923 360170 146 303 0 360618 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 1443692

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 27093
/proc/meminfo: memFree=361048/2059040 swapFree=4140488/4192956
[pid=27058] ppid=27056 vsize=1492268 CPUtime=1301.88
/proc/27058/stat : 27058 (wbo1.4b) R 27056 27058 26706 0 -1 4202496 372388 0 0 0 129129 1059 0 0 25 0 1 0 86986352 1528082432 372269 1992294400 134512640 135752675 4293264960 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27058/statm: 373067 372269 146 303 0 372762 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1492268

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 27095
/proc/meminfo: memFree=310084/2059040 swapFree=4140488/4192956
[pid=27058] ppid=27056 vsize=1543568 CPUtime=1361.85
/proc/27058/stat : 27058 (wbo1.4b) R 27056 27058 26706 0 -1 4202496 385209 0 0 0 135093 1092 0 0 25 0 1 0 86986352 1580613632 385090 1992294400 134512640 135752675 4293264960 18446744073709551615 135421198 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27058/statm: 385925 385091 146 303 0 385620 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1543568

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 27100
/proc/meminfo: memFree=252920/2059040 swapFree=4140488/4192956
[pid=27058] ppid=27056 vsize=1599768 CPUtime=1421.84
/proc/27058/stat : 27058 (wbo1.4b) R 27056 27058 26706 0 -1 4202496 399226 0 0 0 141060 1124 0 0 25 0 1 0 86986352 1638162432 399107 1992294400 134512640 135752675 4293264960 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27058/statm: 399942 399107 146 303 0 399637 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1599768

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 27102
/proc/meminfo: memFree=194020/2059040 swapFree=4140488/4192956
[pid=27058] ppid=27056 vsize=1659284 CPUtime=1481.81
/proc/27058/stat : 27058 (wbo1.4b) R 27056 27058 26706 0 -1 4202496 414105 0 0 0 147023 1158 0 0 25 0 1 0 86986352 1699106816 413986 1992294400 134512640 135752675 4293264960 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27058/statm: 414821 413986 146 303 0 414516 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1659284

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 27102
/proc/meminfo: memFree=141568/2059040 swapFree=4140488/4192956
[pid=27058] ppid=27056 vsize=1711316 CPUtime=1541.79
/proc/27058/stat : 27058 (wbo1.4b) R 27056 27058 26706 0 -1 4202496 427084 0 0 0 152992 1187 0 0 25 0 1 0 86986352 1752387584 426965 1992294400 134512640 135752675 4293264960 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27058/statm: 427829 426965 146 303 0 427524 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 1711316

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 27104
/proc/meminfo: memFree=66796/2059040 swapFree=4140488/4192956
[pid=27058] ppid=27056 vsize=1786596 CPUtime=1601.78
/proc/27058/stat : 27058 (wbo1.4b) R 27056 27058 26706 0 -1 4202496 445897 0 0 0 158950 1228 0 0 25 0 1 0 86986352 1829474304 445778 1992294400 134512640 135752675 4293264960 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27058/statm: 446649 445778 146 303 0 446344 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1786596

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 27106
/proc/meminfo: memFree=10252/2059040 swapFree=4140488/4192956
[pid=27058] ppid=27056 vsize=1842496 CPUtime=1661.76
/proc/27058/stat : 27058 (wbo1.4b) R 27056 27058 26706 0 -1 4202496 459859 0 0 0 164917 1259 0 0 25 0 1 0 86986352 1886715904 459740 1992294400 134512640 135752675 4293264960 18446744073709551615 134638970 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27058/statm: 460624 459740 146 303 0 460319 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1842496



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1663.1 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 27106
/proc/meminfo: memFree=9384/2059040 swapFree=4140488/4192956
[pid=27058] ppid=27056 vsize=1843288 CPUtime=1662.57
/proc/27058/stat : 27058 (wbo1.4b) R 27056 27058 26706 0 -1 4202496 460044 0 0 0 164998 1259 0 0 25 0 1 0 86986352 1887526912 459925 1992294400 134512640 135752675 4293264960 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27058/statm: 460822 459925 146 303 0 460517 0
Current children cumulated CPU time (s) 1662.57
Current children cumulated vsize (KiB) 1843288

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

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

[startup+1663.22 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 27106
/proc/meminfo: memFree=9384/2059040 swapFree=4140488/4192956
[pid=27058] ppid=27056 vsize=0 CPUtime=1662.67
/proc/27058/stat : 27058 (wbo1.4b) R 27056 27058 26706 0 -1 4203524 460044 0 0 0 164998 1269 0 0 25 0 1 0 86986352 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/27058/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1662.67
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1663.29
CPU time (s): 1662.76
CPU user time (s): 1649.98
CPU system time (s): 12.7741
CPU usage (%): 99.9679
Max. virtual memory (cumulated for all children) (KiB): 1843288

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

runsolver used 2.99654 second user time and 7.61084 second system time

The end

Launcher Data 

Begin job on node055 at 2010-06-25 11:09:14
IDJOB=2680882
IDBENCH=2844
IDSOLVER=1190
FILE ID=node055/2680882-1277456954
PBS_JOBID= 11188114
Free space on /tmp= 62360 MiB

SOLVER NAME= wbo 1.4b (fixed)
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_300_10_20.r.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680882-1277456954/watcher-2680882-1277456954 -o /tmp/evaluation-result-2680882-1277456954/solver-2680882-1277456954 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680882-1277456954.opb

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

MD5SUM BENCH= e82b2413101b8c36ea34c3d9f95f4ad5
RANDOM SEED=283579043

node055.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.258
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.51
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.258
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1854660 kB
Buffers:         27656 kB
Cached:          78904 kB
SwapCached:       5324 kB
Active:          24204 kB
Inactive:        95248 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1854660 kB
SwapTotal:     4192956 kB
SwapFree:      4140488 kB
Dirty:            2616 kB
Writeback:           0 kB
AnonPages:       11648 kB
Mapped:          11920 kB
Slab:            62888 kB
PageTables:       4168 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182068 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= 62360 MiB
End job on node055 at 2010-06-25 11:36:59