Trace number 2680884

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.22 1800.66

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_100_10_30.r.opb
MD5SUM80d844acb755df30f8eb4d34a1c5fb81
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark8
Best CPU time to get the best result obtained on this benchmark0.18897
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 8
Optimality of the best value was proved YES
Number of variables100
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 constraint30
Number of terms in the objective function 100
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)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-2680884-1277457061.opb.
0.00/0.00	c Instance file HOME/instance-2680884-1277457061.opb
0.00/0.00	c File size is 15204 bytes.
0.00/0.00	c Highest Coefficient sum: 31
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:      100                                                 |
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 |     100      100     1968 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 14
0.00/0.00	o 14
0.00/0.00	c Elapsed CPU time: 0.002999 s	Remaining CPU time: 179.997 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     100      101     2068 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 13
0.00/0.00	o 13
0.00/0.00	c Elapsed CPU time: 0.002999 s	Remaining CPU time: 179.997 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |         9 |     100      102     2168 |     5000        9     43 |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 12
0.00/0.00	o 12
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 |        33 |     100      103     2268 |     5000       33     41 |  0.000 % |
0.00/0.00	c |       133 |     100      103     2268 |     5500      133     42 |  0.010 % |
0.00/0.01	c |       283 |     100      103     2268 |     6050      283     44 |  0.010 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 11
0.00/0.01	o 11
0.00/0.01	c Elapsed CPU time: 0.015997 s	Remaining CPU time: 179.984 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |       413 |     100      104     2368 |     5000      413     42 |  0.010 % |
0.00/0.02	c |       514 |     100      104     2368 |     5500      514     41 |  0.010 % |
0.00/0.02	c |       664 |     100      104     2368 |     6050      664     39 |  0.010 % |
0.00/0.03	c |       892 |     100      104     2368 |     6655      892     40 |  0.010 % |
0.00/0.04	c |      1230 |     100      104     2368 |     7320     1230     40 |  0.010 % |
0.00/0.06	c |      1736 |     100      104     2368 |     8052     1736     41 |  0.010 % |
0.09/0.10	c |      2495 |     100      104     2368 |     8857     2495     40 |  0.010 % |
0.09/0.15	c |      3636 |     100      104     2368 |     9743     3636     40 |  0.010 % |
0.19/0.25	c |      5348 |     100      104     2368 |    10717     5348     40 |  0.010 % |
0.39/0.41	c |      7911 |     100      104     2368 |    11789     7911     40 |  0.010 % |
0.69/0.71	c |     11755 |     100      104     2368 |    12968    11755     38 |  0.010 % |
1.19/1.21	c |     17521 |     100      104     2368 |    14265    11001     37 |  0.010 % |
1.99/2.05	c |     26173 |     100      104     2368 |    15692    12486     39 |  0.010 % |
3.39/3.46	c |     39147 |     100      104     2368 |    17261     9699     39 |  0.010 % |
5.79/5.85	c |     58609 |     100      104     2368 |    18987    11831     36 |  0.010 % |
10.09/10.14	c |     87801 |     100      104     2368 |    20886    12448     38 |  0.010 % |
16.58/16.69	c |    131590 |     100      104     2368 |    22974    14338     39 |  0.010 % |
27.08/27.15	c |    197275 |     100      104     2368 |    25272    21120     38 |  0.010 % |
44.68/44.76	c |    295802 |     100      104     2368 |    27799    22664     38 |  0.010 % |
71.17/71.27	c |    443592 |     100      104     2368 |    30579    25776     37 |  0.010 % |
72.08/72.18	c ===============================================================================
72.08/72.18	c New solution: 10
72.08/72.18	o 10
72.08/72.18	c Elapsed CPU time: 70.8112 s	Remaining CPU time: 109.189 s
72.08/72.18	c ===============================================================================
72.08/72.18	c |    450799 |     100      105     2468 |     5000    13761     36 |  0.010 % |
72.18/72.22	c |    450899 |     100      105     2468 |     5500     3541     38 |  0.010 % |
72.18/72.23	c |    451051 |     100      105     2468 |     6050     3693     38 |  0.010 % |
72.18/72.24	c |    451276 |     100      105     2468 |     6655     3918     37 |  0.010 % |
72.18/72.25	c |    451613 |     100      105     2468 |     7320     4255     37 |  0.010 % |
72.18/72.27	c |    452119 |     100      105     2468 |     8052     4761     37 |  0.010 % |
72.27/72.31	c |    452878 |     100      105     2468 |     8857     5520     35 |  0.010 % |
72.27/72.38	c |    454020 |     100      105     2468 |     9743     6662     34 |  0.010 % |
72.37/72.48	c |    455731 |     100      105     2468 |    10717     8373     34 |  0.010 % |
72.58/72.66	c |    458294 |     100      105     2468 |    11789     5547     31 |  0.010 % |
72.88/72.95	c |    462142 |     100      105     2468 |    12968     9395     32 |  0.010 % |
73.38/73.41	c |    467908 |     100      105     2468 |    14265     8647     33 |  0.010 % |
74.07/74.17	c |    476558 |     100      105     2468 |    15692    10132     36 |  0.010 % |
75.37/75.49	c |    489533 |     100      105     2468 |    17261    15233     33 |  0.010 % |
77.57/77.66	c |    508995 |     100      105     2468 |    18987     8711     35 |  0.010 % |
81.28/81.35	c |    538187 |     100      105     2468 |    20886    18848     35 |  0.010 % |
87.17/87.24	c |    581978 |     100      105     2468 |    22974    20762     33 |  0.010 % |
97.06/97.17	c |    647663 |     100      105     2468 |    25272    16228     32 |  0.010 % |
112.76/112.81	c |    746189 |     100      105     2468 |    27799    16863     32 |  0.010 % |
136.56/136.68	c |    893978 |     100      105     2468 |    30579    17559     31 |  0.010 % |
177.15/177.22	c |   1115661 |     100      105     2468 |    33637    13963     33 |  0.010 % |
183.44/183.52	c There are 0 assigned variables. 0 in cost function.
184.54/184.63	c core #1
184.54/184.63	c 
184.54/184.63	c 
184.54/184.63	c Core size: 14	Core Weight: 1	Total Weight: 1
184.54/184.63	c
184.54/184.63	c
184.54/184.63	c core #2
184.54/184.63	c 
184.54/184.63	c 
184.54/184.63	c Core size: 13	Core Weight: 1	Total Weight: 2
184.54/184.63	c
184.54/184.63	c
184.54/184.63	c core #3
184.54/184.63	c 
184.54/184.63	c 
184.54/184.63	c Core size: 13	Core Weight: 1	Total Weight: 3
184.54/184.63	c
184.54/184.63	c
184.54/184.63	c core #4
184.54/184.63	c 
184.54/184.63	c 
184.54/184.63	c Core size: 11	Core Weight: 1	Total Weight: 4
184.54/184.63	c
184.54/184.63	c
184.54/184.63	c ============================[ Search Statistics ]==============================
184.54/184.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.54/184.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.54/184.63	c ===============================================================================
184.54/184.63	c |         0 |      94      209     2609 |     5000        0    nan |  0.000 % |
184.54/184.63	c ===============================================================================
184.54/184.63	c core #5
184.54/184.63	c 
184.54/184.63	c 
184.54/184.63	c Core size: 53	Core Weight: 1	Total Weight: 5
184.54/184.63	c
184.54/184.63	c
184.54/184.63	c ============================[ Search Statistics ]==============================
184.54/184.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.54/184.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.54/184.63	c ===============================================================================
184.54/184.63	c |         0 |     173      210     2735 |     5000        0    nan |  0.000 % |
184.54/184.64	c |       107 |     151      210     2735 |     5500       62     37 | 23.196 % |
184.54/184.64	c ===============================================================================
184.54/184.65	c core #6
184.54/184.65	c 
184.54/184.65	c 
184.54/184.65	c Core size: 100	Core Weight: 1	Total Weight: 6
184.54/184.65	c
184.54/184.65	c
184.54/184.65	c ============================[ Search Statistics ]==============================
184.54/184.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.54/184.65	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.54/184.65	c ===============================================================================
184.54/184.65	c |         0 |     291      211     2951 |     5000        0    nan |  0.000 % |
184.54/184.65	c |       100 |     291      211     2951 |     5500      100     74 |  0.344 % |
184.54/184.67	c |       251 |     291      211     2951 |     6050      251     67 |  0.344 % |
184.54/184.69	c |       477 |     291      211     2951 |     6655      477     60 |  0.344 % |
184.66/184.74	c |       820 |     291      211     2951 |     7320      820     57 |  0.344 % |
184.66/184.80	c |      1326 |     291      211     2951 |     8052     1326     53 |  0.344 % |
184.85/184.91	c |      2086 |     291      211     2951 |     8857     2086     50 |  0.344 % |
185.04/185.11	c |      3228 |     291      211     2951 |     9743     3228     48 |  0.344 % |
185.35/185.47	c |      4939 |     291      211     2951 |    10717     4939     48 |  0.344 % |
186.04/186.10	c |      7502 |     291      211     2951 |    11789     7502     47 |  0.344 % |
187.04/187.18	c |     11346 |     291      211     2951 |    12968    11346     47 |  0.344 % |
187.75/187.81	c ===============================================================================
187.95/188.00	c core #7
187.95/188.00	c 
187.95/188.00	c 
187.95/188.00	c Core size: 102	Core Weight: 1	Total Weight: 7
187.95/188.00	c
187.95/188.00	c
187.95/188.00	c ============================[ Search Statistics ]==============================
187.95/188.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
187.95/188.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
187.95/188.00	c ===============================================================================
187.95/188.00	c |         0 |     392      212     3152 |     5000        0    nan |  0.000 % |
187.95/188.02	c |       101 |     392      212     3152 |     5500      101    107 |  0.001 % |
187.95/188.02	c |       252 |     392      212     3152 |     6050      252     66 |  0.001 % |
187.95/188.03	c |       477 |     392      212     3152 |     6655      477     50 |  0.001 % |
187.95/188.05	c |       814 |     392      212     3152 |     7320      814     43 |  0.001 % |
187.95/188.07	c |      1320 |     392      212     3152 |     8052     1320     40 |  0.001 % |
188.05/188.11	c |      2079 |     392      212     3152 |     8857     2079     40 |  0.001 % |
188.05/188.17	c |      3218 |     392      212     3152 |     9743     3218     40 |  0.001 % |
188.14/188.28	c |      4927 |     392      212     3152 |    10717     4927     39 |  0.001 % |
188.34/188.46	c |      7490 |     392      212     3152 |    11789     7490     37 |  0.001 % |
188.64/188.79	c |     11338 |     392      212     3152 |    12968    11338     35 |  0.001 % |
189.34/189.46	c |     17104 |     392      212     3152 |    14265    10589     32 |  0.001 % |
190.45/190.56	c |     25755 |     392      212     3152 |    15692    12073     33 |  0.001 % |
192.14/192.24	c |     38730 |     392      212     3152 |    17261     9294     34 |  0.001 % |
194.65/194.75	c |     58193 |     392      212     3152 |    18987    11434     31 |  0.001 % |
198.85/198.90	c |     87386 |     392      212     3152 |    20886    12055     34 |  0.001 % |
206.24/206.34	c |    131176 |     392      212     3152 |    22974    13947     32 |  0.001 % |
219.64/219.71	c |    196861 |     392      212     3152 |    25272    20460     59 |  0.001 % |
269.33/269.47	c |    295393 |     392      212     3152 |    27799    16078     99 |  0.001 % |
361.11/361.24	c |    443183 |     392      212     3152 |    30579    27501     95 |  0.001 % |
508.08/508.29	c |    664883 |     391      212     3152 |    33637    11007     82 |  0.256 % |
531.97/532.20	c ===============================================================================
546.46/546.66	c core #8
546.46/546.66	c 
546.46/546.66	c 
546.46/546.66	c Core size: 103	Core Weight: 1	Total Weight: 8
546.46/546.66	c
546.46/546.66	c
546.46/546.66	c ============================[ Search Statistics ]==============================
546.46/546.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
546.46/546.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
546.46/546.66	c ===============================================================================
546.46/546.66	c |         0 |     492      213     3352 |     5000        0    nan |  0.000 % |
546.65/546.82	c |       101 |     492      213     3352 |     5500      101    128 |  0.000 % |
546.65/546.85	c |       252 |     492      213     3352 |     6050      252     98 |  0.000 % |
546.65/546.87	c |       478 |     492      213     3352 |     6655      478     83 |  0.000 % |
546.75/546.90	c |       815 |     492      213     3352 |     7320      815     79 |  0.000 % |
546.75/546.96	c |      1321 |     492      213     3352 |     8052     1321     75 |  0.000 % |
546.86/547.08	c |      2081 |     492      213     3352 |     8857     2081     80 |  0.000 % |
547.06/547.27	c |      3221 |     492      213     3352 |     9743     3221     80 |  0.000 % |
547.35/547.59	c |      4930 |     492      213     3352 |    10717     4930     82 |  0.000 % |
548.05/548.27	c |      7494 |     492      213     3352 |    11789     7494     95 |  0.000 % |
549.35/549.56	c |     11339 |     492      213     3352 |    12968    11339     96 |  0.000 % |
551.46/551.60	c |     17106 |     492      213     3352 |    14265    10534     94 |  0.000 % |
554.45/554.61	c |     25758 |     492      213     3352 |    15692    11991     76 |  0.000 % |
558.86/559.09	c |     38735 |     492      213     3352 |    17261     9071     81 |  0.000 % |
565.75/565.95	c |     58198 |     492      213     3352 |    18987    11161     84 |  0.000 % |
578.65/578.84	c |     87391 |     492      213     3352 |    20886    11477    117 |  0.000 % |
604.55/604.72	c |    131182 |     492      213     3352 |    22974    13063    116 |  0.000 % |
652.13/652.33	c |    196867 |     492      213     3352 |    25272    20688    130 |  0.000 % |
721.01/721.26	c |    295394 |     492      213     3352 |    27799    15690    115 |  0.000 % |
810.79/811.01	c |    443186 |     492      213     3352 |    30579    15425    121 |  0.000 % |
963.26/963.57	c |    664870 |     492      213     3352 |    33637    30028    113 |  0.000 % |
1229.19/1229.57	c |    997396 |     492      213     3352 |    37001    14920    125 |  0.000 % |
1659.18/1659.65	c |   1496185 |     492      213     3352 |    40701    17628    133 |  0.000 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2680884-1277457061/watcher-2680884-1277457061 -o /tmp/evaluation-result-2680884-1277457061/solver-2680884-1277457061 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680884-1277457061.opb 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 0.91 3/106 22025
/proc/meminfo: memFree=1813120/2059040 swapFree=4135508/4192956
[pid=22025] ppid=22023 vsize=2572 CPUtime=0
/proc/22025/stat : 22025 (wbo1.4b) R 22023 22025 21726 0 -1 4202496 282 0 0 0 0 0 0 0 20 0 1 0 121307439 2633728 196 1992294400 134512640 135752675 4289748336 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22025/statm: 643 196 144 303 0 338 0

[startup+0.0777201 s]
/proc/loadavg: 1.00 1.00 0.91 3/106 22025
/proc/meminfo: memFree=1813120/2059040 swapFree=4135508/4192956
[pid=22025] ppid=22023 vsize=3100 CPUtime=0.07
/proc/22025/stat : 22025 (wbo1.4b) R 22023 22025 21726 0 -1 4202496 423 0 0 0 7 0 0 0 20 0 1 0 121307439 3174400 337 1992294400 134512640 135752675 4289748336 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22025/statm: 775 337 145 303 0 470 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 3100

[startup+0.100723 s]
/proc/loadavg: 1.00 1.00 0.91 3/106 22025
/proc/meminfo: memFree=1813120/2059040 swapFree=4135508/4192956
[pid=22025] ppid=22023 vsize=3232 CPUtime=0.09
/proc/22025/stat : 22025 (wbo1.4b) R 22023 22025 21726 0 -1 4202496 459 0 0 0 9 0 0 0 20 0 1 0 121307439 3309568 373 1992294400 134512640 135752675 4289748336 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22025/statm: 808 373 145 303 0 503 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3232

[startup+0.300741 s]
/proc/loadavg: 1.00 1.00 0.91 3/106 22025
/proc/meminfo: memFree=1813120/2059040 swapFree=4135508/4192956
[pid=22025] ppid=22023 vsize=4304 CPUtime=0.29
/proc/22025/stat : 22025 (wbo1.4b) R 22023 22025 21726 0 -1 4202496 739 0 0 0 28 1 0 0 20 0 1 0 121307439 4407296 653 1992294400 134512640 135752675 4289748336 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22025/statm: 1076 654 145 303 0 771 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4304

[startup+0.700777 s]
/proc/loadavg: 1.00 1.00 0.91 3/106 22025
/proc/meminfo: memFree=1813120/2059040 swapFree=4135508/4192956
[pid=22025] ppid=22023 vsize=5756 CPUtime=0.69
/proc/22025/stat : 22025 (wbo1.4b) R 22023 22025 21726 0 -1 4202496 1107 0 0 0 67 2 0 0 20 0 1 0 121307439 5894144 1021 1992294400 134512640 135752675 4289748336 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22025/statm: 1439 1021 145 303 0 1134 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5756

[startup+1.50085 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 22026
/proc/meminfo: memFree=1808400/2059040 swapFree=4135508/4192956
[pid=22025] ppid=22023 vsize=8396 CPUtime=1.49
/proc/22025/stat : 22025 (wbo1.4b) R 22023 22025 21726 0 -1 4202496 1746 0 0 0 145 4 0 0 22 0 1 0 121307439 8597504 1660 1992294400 134512640 135752675 4289748336 18446744073709551615 134604131 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22025/statm: 2099 1660 145 303 0 1794 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8396

[startup+3.101 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 22026
/proc/meminfo: memFree=1804928/2059040 swapFree=4135508/4192956
[pid=22025] ppid=22023 vsize=12760 CPUtime=3.09
/proc/22025/stat : 22025 (wbo1.4b) R 22023 22025 21726 0 -1 4202496 2844 0 0 0 302 7 0 0 25 0 1 0 121307439 13066240 2758 1992294400 134512640 135752675 4289748336 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22025/statm: 3190 2758 145 303 0 2885 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12760

[startup+6.30029 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 22026
/proc/meminfo: memFree=1796992/2059040 swapFree=4135508/4192956
[pid=22025] ppid=22023 vsize=20040 CPUtime=6.29
/proc/22025/stat : 22025 (wbo1.4b) R 22023 22025 21726 0 -1 4202496 4674 0 0 0 614 15 0 0 25 0 1 0 121307439 20520960 4588 1992294400 134512640 135752675 4289748336 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22025/statm: 5010 4588 145 303 0 4705 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20040

[startup+12.7019 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 22026
/proc/meminfo: memFree=1784468/2059040 swapFree=4135508/4192956
[pid=22025] ppid=22023 vsize=31504 CPUtime=12.69
/proc/22025/stat : 22025 (wbo1.4b) R 22023 22025 21726 0 -1 4202496 7530 0 0 0 1241 28 0 0 25 0 1 0 121307439 32260096 7444 1992294400 134512640 135752675 4289748336 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22025/statm: 7876 7444 145 303 0 7571 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 31504

[startup+25.501 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 22028
/proc/meminfo: memFree=1761528/2059040 swapFree=4135508/4192956
[pid=22025] ppid=22023 vsize=53856 CPUtime=25.48
/proc/22025/stat : 22025 (wbo1.4b) R 22023 22025 21726 0 -1 4202496 13102 0 0 0 2496 52 0 0 25 0 1 0 121307439 55148544 13016 1992294400 134512640 135752675 4289748336 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22025/statm: 13464 13016 145 303 0 13159 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 53856

[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 22028
/proc/meminfo: memFree=1722096/2059040 swapFree=4135508/4192956
[pid=22025] ppid=22023 vsize=93444 CPUtime=51.07
/proc/22025/stat : 22025 (wbo1.4b) R 22023 22025 21726 0 -1 4202496 22975 0 0 0 5008 99 0 0 25 0 1 0 121307439 95686656 22889 1992294400 134512640 135752675 4289748336 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22025/statm: 23361 22889 145 303 0 23056 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 93444

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 22030
/proc/meminfo: memFree=1633560/2059040 swapFree=4135508/4192956
[pid=22025] ppid=22023 vsize=181212 CPUtime=102.27
/proc/22025/stat : 22025 (wbo1.4b) R 22023 22025 21726 0 -1 4202496 44892 0 0 0 10026 201 0 0 25 0 1 0 121307439 185561088 44806 1992294400 134512640 135752675 4289748336 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22025/statm: 45303 44806 145 303 0 44998 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 181212

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 22030
/proc/meminfo: memFree=1546388/2059040 swapFree=4135508/4192956
[pid=22025] ppid=22023 vsize=268712 CPUtime=162.25
/proc/22025/stat : 22025 (wbo1.4b) R 22023 22025 21726 0 -1 4202496 66772 0 0 0 15915 310 0 0 25 0 1 0 121307439 275161088 66686 1992294400 134512640 135752675 4289748336 18446744073709551615 134611709 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22025/statm: 67178 66686 145 303 0 66873 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 268712

[startup+222.301 s]
/proc/loadavg: 1.04 1.01 0.92 2/107 22035
/proc/meminfo: memFree=1504848/2059040 swapFree=4135508/4192956
[pid=22025] ppid=22023 vsize=308676 CPUtime=222.23
/proc/22025/stat : 22025 (wbo1.4b) R 22023 22025 21726 0 -1 4202496 76855 0 0 0 21817 406 0 0 25 0 1 0 121307439 316084224 76736 1992294400 134512640 135752675 4289748336 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22025/statm: 77169 76736 146 303 0 76864 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 308676

[startup+282.301 s]
/proc/loadavg: 1.01 1.01 0.92 2/107 22037
/proc/meminfo: memFree=1455248/2059040 swapFree=4135508/4192956
[pid=22025] ppid=22023 vsize=359108 CPUtime=282.22
/proc/22025/stat : 22025 (wbo1.4b) R 22023 22025 21726 0 -1 4202496 89370 0 0 0 27772 450 0 0 25 0 1 0 121307439 367726592 89251 1992294400 134512640 135752675 4289748336 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22025/statm: 89777 89251 146 303 0 89472 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 359108

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 22039
/proc/meminfo: memFree=1406764/2059040 swapFree=4135508/4192956
[pid=22025] ppid=22023 vsize=407376 CPUtime=342.21
/proc/22025/stat : 22025 (wbo1.4b) R 22023 22025 21726 0 -1 4202496 101366 0 0 0 33727 494 0 0 25 0 1 0 121307439 417153024 101247 1992294400 134512640 135752675 4289748336 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22025/statm: 101844 101247 146 303 0 101539 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 407376

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 22041
/proc/meminfo: memFree=1365348/2059040 swapFree=4135508/4192956
[pid=22025] ppid=22023 vsize=449336 CPUtime=402.19
/proc/22025/stat : 22025 (wbo1.4b) R 22023 22025 21726 0 -1 4202496 111813 0 0 0 39685 534 0 0 25 0 1 0 121307439 460120064 111694 1992294400 134512640 135752675 4289748336 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22025/statm: 112334 111694 146 303 0 112029 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 449336

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 22041
/proc/meminfo: memFree=1319964/2059040 swapFree=4135508/4192956
[pid=22025] ppid=22023 vsize=494660 CPUtime=462.18
/proc/22025/stat : 22025 (wbo1.4b) R 22023 22025 21726 0 -1 4202496 123114 0 0 0 45642 576 0 0 25 0 1 0 121307439 506531840 122995 1992294400 134512640 135752675 4289748336 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22025/statm: 123665 122995 146 303 0 123360 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 494660

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 22043
/proc/meminfo: memFree=1270116/2059040 swapFree=4135508/4192956
[pid=22025] ppid=22023 vsize=544776 CPUtime=522.16
/proc/22025/stat : 22025 (wbo1.4b) R 22023 22025 21726 0 -1 4202496 135580 0 0 0 51594 622 0 0 25 0 1 0 121307439 557850624 135461 1992294400 134512640 135752675 4289748336 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22025/statm: 136194 135461 146 303 0 135889 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 544776

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 22045
/proc/meminfo: memFree=1247052/2059040 swapFree=4135508/4192956
[pid=22025] ppid=22023 vsize=566652 CPUtime=582.15
/proc/22025/stat : 22025 (wbo1.4b) R 22023 22025 21726 0 -1 4202496 141344 0 0 0 57555 660 0 0 25 0 1 0 121307439 580251648 141225 1992294400 134512640 135752675 4289748336 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22025/statm: 141663 141225 146 303 0 141358 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 566652

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 22047
/proc/meminfo: memFree=1197576/2059040 swapFree=4135508/4192956
[pid=22025] ppid=22023 vsize=615628 CPUtime=642.14
/proc/22025/stat : 22025 (wbo1.4b) R 22023 22025 21726 0 -1 4202496 153568 0 0 0 63513 701 0 0 25 0 1 0 121307439 630403072 153449 1992294400 134512640 135752675 4289748336 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22025/statm: 153907 153449 146 303 0 153602 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 615628

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 22053
/proc/meminfo: memFree=1007112/2059040 swapFree=4135508/4192956
[pid=22025] ppid=22023 vsize=806096 CPUtime=882.08
/proc/22025/stat : 22025 (wbo1.4b) R 22023 22025 21726 0 -1 4202496 201076 0 0 0 87347 861 0 0 25 0 1 0 121307439 825442304 200957 1992294400 134512640 135752675 4289748336 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22025/statm: 201524 200957 146 303 0 201219 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 806096

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 22055
/proc/meminfo: memFree=960116/2059040 swapFree=4135508/4192956
[pid=22025] ppid=22023 vsize=853364 CPUtime=942.06
/proc/22025/stat : 22025 (wbo1.4b) R 22023 22025 21726 0 -1 4202496 212881 0 0 0 93305 901 0 0 25 0 1 0 121307439 873844736 212762 1992294400 134512640 135752675 4289748336 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22025/statm: 213341 212762 146 303 0 213036 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 853364

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 22057
/proc/meminfo: memFree=914112/2059040 swapFree=4135508/4192956
[pid=22025] ppid=22023 vsize=899196 CPUtime=1002.04
/proc/22025/stat : 22025 (wbo1.4b) R 22023 22025 21726 0 -1 4202496 224290 0 0 0 99265 939 0 0 25 0 1 0 121307439 920776704 224171 1992294400 134512640 135752675 4289748336 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22025/statm: 224799 224171 146 303 0 224494 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 899196

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 22057
/proc/meminfo: memFree=879764/2059040 swapFree=4135508/4192956
[pid=22025] ppid=22023 vsize=933916 CPUtime=1062.04
/proc/22025/stat : 22025 (wbo1.4b) R 22023 22025 21726 0 -1 4202496 232921 0 0 0 105240 964 0 0 25 0 1 0 121307439 956329984 232802 1992294400 134512640 135752675 4289748336 18446744073709551615 134639477 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22025/statm: 233479 232802 146 303 0 233174 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 933916

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 22059
/proc/meminfo: memFree=829048/2059040 swapFree=4135508/4192956
[pid=22025] ppid=22023 vsize=984632 CPUtime=1122.01
/proc/22025/stat : 22025 (wbo1.4b) R 22023 22025 21726 0 -1 4202496 245557 0 0 0 111199 1002 0 0 25 0 1 0 121307439 1008263168 245438 1992294400 134512640 135752675 4289748336 18446744073709551615 134638089 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22025/statm: 246158 245438 146 303 0 245853 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 984632

[startup+1182.3 s]
/proc/loadavg: 1.07 1.02 0.93 2/107 22061
/proc/meminfo: memFree=771140/2059040 swapFree=4135508/4192956
[pid=22025] ppid=22023 vsize=1042896 CPUtime=1182
/proc/22025/stat : 22025 (wbo1.4b) R 22023 22025 21726 0 -1 4202496 260136 0 0 0 117159 1041 0 0 25 0 1 0 121307439 1067925504 260017 1992294400 134512640 135752675 4289748336 18446744073709551615 134611804 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22025/statm: 260724 260017 146 303 0 260419 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 1042896

[startup+1242.3 s]
/proc/loadavg: 1.02 1.01 0.93 2/107 22063
/proc/meminfo: memFree=713976/2059040 swapFree=4135508/4192956
[pid=22025] ppid=22023 vsize=1099560 CPUtime=1241.99
/proc/22025/stat : 22025 (wbo1.4b) R 22023 22025 21726 0 -1 4202496 274260 0 0 0 123119 1080 0 0 25 0 1 0 121307439 1125949440 274141 1992294400 134512640 135752675 4289748336 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22025/statm: 274890 274141 146 303 0 274585 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 1099560

[startup+1302.3 s]
/proc/loadavg: 1.01 1.00 0.93 2/107 22065
/proc/meminfo: memFree=665988/2059040 swapFree=4135508/4192956
[pid=22025] ppid=22023 vsize=1146812 CPUtime=1301.98
/proc/22025/stat : 22025 (wbo1.4b) R 22023 22025 21726 0 -1 4202496 286048 0 0 0 129086 1112 0 0 25 0 1 0 121307439 1174335488 285929 1992294400 134512640 135752675 4289748336 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22025/statm: 286703 285929 146 303 0 286398 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 1146812

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 22065
/proc/meminfo: memFree=613660/2059040 swapFree=4135508/4192956
[pid=22025] ppid=22023 vsize=1199688 CPUtime=1361.96
/proc/22025/stat : 22025 (wbo1.4b) R 22023 22025 21726 0 -1 4202496 299240 0 0 0 135048 1148 0 0 25 0 1 0 121307439 1228480512 299121 1992294400 134512640 135752675 4289748336 18446744073709551615 134611655 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22025/statm: 299922 299121 146 303 0 299617 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 1199688

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 22067
/proc/meminfo: memFree=556248/2059040 swapFree=4135508/4192956
[pid=22025] ppid=22023 vsize=1256644 CPUtime=1421.95
/proc/22025/stat : 22025 (wbo1.4b) R 22023 22025 21726 0 -1 4202496 313454 0 0 0 141006 1189 0 0 25 0 1 0 121307439 1286803456 313335 1992294400 134512640 135752675 4289748336 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22025/statm: 314161 313335 146 303 0 313856 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 1256644

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 22069
/proc/meminfo: memFree=503052/2059040 swapFree=4135508/4192956
[pid=22025] ppid=22023 vsize=1309872 CPUtime=1481.93
/proc/22025/stat : 22025 (wbo1.4b) R 22023 22025 21726 0 -1 4202496 326764 0 0 0 146968 1225 0 0 25 0 1 0 121307439 1341308928 326645 1992294400 134512640 135752675 4289748336 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22025/statm: 327468 326645 146 303 0 327163 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 1309872

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 22071
/proc/meminfo: memFree=454816/2059040 swapFree=4135508/4192956
[pid=22025] ppid=22023 vsize=1357848 CPUtime=1541.91
/proc/22025/stat : 22025 (wbo1.4b) R 22023 22025 21726 0 -1 4202496 338741 0 0 0 152933 1258 0 0 25 0 1 0 121307439 1390436352 338622 1992294400 134512640 135752675 4289748336 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22025/statm: 339462 338622 146 303 0 339157 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 1357848

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 22073
/proc/meminfo: memFree=407200/2059040 swapFree=4135508/4192956
[pid=22025] ppid=22023 vsize=1406132 CPUtime=1601.9
/proc/22025/stat : 22025 (wbo1.4b) R 22023 22025 21726 0 -1 4202496 350808 0 0 0 158898 1292 0 0 25 0 1 0 121307439 1439879168 350689 1992294400 134512640 135752675 4289748336 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22025/statm: 351533 350689 146 303 0 351228 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 1406132

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 22073
/proc/meminfo: memFree=353384/2059040 swapFree=4135508/4192956
[pid=22025] ppid=22023 vsize=1459472 CPUtime=1661.88
/proc/22025/stat : 22025 (wbo1.4b) R 22023 22025 21726 0 -1 4202496 364135 0 0 0 164857 1331 0 0 25 0 1 0 121307439 1494499328 364016 1992294400 134512640 135752675 4289748336 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22025/statm: 364868 364016 146 303 0 364563 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 1459472

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 22075
/proc/meminfo: memFree=305892/2059040 swapFree=4135508/4192956
[pid=22025] ppid=22023 vsize=1507100 CPUtime=1721.87
/proc/22025/stat : 22025 (wbo1.4b) R 22023 22025 21726 0 -1 4202496 376019 0 0 0 170821 1366 0 0 25 0 1 0 121307439 1543270400 375900 1992294400 134512640 135752675 4289748336 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22025/statm: 376775 375900 146 303 0 376470 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 1507100

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 22077
/proc/meminfo: memFree=262988/2059040 swapFree=4135508/4192956
[pid=22025] ppid=22023 vsize=1549556 CPUtime=1781.85
/proc/22025/stat : 22025 (wbo1.4b) R 22023 22025 21726 0 -1 4202496 386613 0 0 0 176785 1400 0 0 25 0 1 0 121307439 1586745344 386494 1992294400 134512640 135752675 4289748336 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22025/statm: 387389 386494 146 303 0 387084 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1549556



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 22077
/proc/meminfo: memFree=249472/2059040 swapFree=4135508/4192956
[pid=22025] ppid=22023 vsize=1562772 CPUtime=1800.05
/proc/22025/stat : 22025 (wbo1.4b) R 22023 22025 21726 0 -1 4202496 389912 0 0 0 178595 1410 0 0 25 0 1 0 121307439 1600278528 389793 1992294400 134512640 135752675 4289748336 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22025/statm: 390693 389793 146 303 0 390388 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1562772

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 0.93 2/108 22078
/proc/meminfo: memFree=1264056/2059040 swapFree=4135508/4192956
[pid=22025] ppid=22023 vsize=0 CPUtime=1800.16
/proc/22025/stat : 22025 (wbo1.4b) R 22023 22025 21726 0 -1 4203524 389912 0 0 0 178595 1421 0 0 25 0 1 0 121307439 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/22025/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.66
CPU time (s): 1800.22
CPU user time (s): 1785.96
CPU system time (s): 14.2588
CPU usage (%): 99.9755
Max. virtual memory (cumulated for all children) (KiB): 1562772

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

runsolver used 3.02754 second user time and 8.45871 second system time

The end

Launcher Data 

Begin job on node015 at 2010-06-25 11:11:01
IDJOB=2680884
IDBENCH=2849
IDSOLVER=1190
FILE ID=node015/2680884-1277457061
PBS_JOBID= 11188143
Free space on /tmp= 62412 MiB

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

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

MD5SUM BENCH= 80d844acb755df30f8eb4d34a1c5fb81
RANDOM SEED=1779119596

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

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1813524 kB
Buffers:         32180 kB
Cached:         111616 kB
SwapCached:      10640 kB
Active:          32744 kB
Inactive:       124884 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1813524 kB
SwapTotal:     4192956 kB
SwapFree:      4135508 kB
Dirty:            2632 kB
Writeback:          12 kB
AnonPages:       12184 kB
Mapped:           8320 kB
Slab:            65976 kB
PageTables:       4204 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181032 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= 62408 MiB
End job on node015 at 2010-06-25 11:41:04