Trace number 2680885

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) 1725.44 1725.88

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_300_10_15.r.opb
MD5SUM34bb25320bcbfa536bfc14194ca6ac66
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark19
Best CPU time to get the best result obtained on this benchmark7.04093
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 19
Optimality of the best value was proved YES
Number of variables297
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 constraint15
Number of terms in the objective function 297
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 297
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 297
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-2680885-1277457088.opb.
0.00/0.00	c Instance file HOME/instance-2680885-1277457088.opb
0.00/0.00	c File size is 12838 bytes.
0.00/0.00	c Highest Coefficient sum: 16
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:      297                                                 |
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 |     297      100     1276 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 34
0.00/0.00	o 34
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 |     297      101     1573 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 33
0.00/0.00	o 33
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 |     297      102     1870 |     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.004999 s	Remaining CPU time: 179.995 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |        27 |     297      103     2167 |     5000       27     66 |  0.000 % |
0.00/0.01	c |       127 |     297      103     2167 |     5500      127     63 |  0.001 % |
0.00/0.01	c |       277 |     297      103     2167 |     6050      277     59 |  0.001 % |
0.00/0.03	c |       503 |     297      103     2167 |     6655      503     56 |  0.001 % |
0.00/0.04	c |       841 |     297      103     2167 |     7320      841     56 |  0.001 % |
0.06/0.07	c |      1348 |     297      103     2167 |     8052     1348     57 |  0.001 % |
0.09/0.11	c |      2108 |     297      103     2167 |     8857     2108     56 |  0.001 % |
0.09/0.18	c |      3247 |     297      103     2167 |     9743     3247     56 |  0.001 % |
0.19/0.28	c |      4958 |     297      103     2167 |    10717     4958     56 |  0.001 % |
0.39/0.45	c |      7520 |     297      103     2167 |    11789     7520     56 |  0.001 % |
0.69/0.74	c |     11364 |     297      103     2167 |    12968    11364     55 |  0.001 % |
1.19/1.21	c |     17130 |     297      103     2167 |    14265    10530     56 |  0.001 % |
1.89/1.96	c |     25779 |     297      103     2167 |    15692    11936     53 |  0.001 % |
3.20/3.25	c |     38754 |     297      103     2167 |    17261     9003     60 |  0.001 % |
5.29/5.39	c |     58216 |     297      103     2167 |    18987    10983     61 |  0.001 % |
8.70/8.73	c |     87408 |     297      103     2167 |    20886    11341     56 |  0.001 % |
14.29/14.39	c |    131198 |     297      103     2167 |    22974    12886     53 |  0.001 % |
23.29/23.34	c |    196882 |     297      103     2167 |    25272    16927     53 |  0.001 % |
38.49/38.53	c |    295408 |     297      103     2167 |    27799    16519     55 |  0.001 % |
59.08/59.17	c |    443197 |     297      103     2167 |    30579    11596     53 |  0.001 % |
60.08/60.16	c ===============================================================================
60.08/60.16	c New solution: 31
60.08/60.16	o 31
60.08/60.16	c Elapsed CPU time: 58.8601 s	Remaining CPU time: 121.14 s
60.08/60.16	c ===============================================================================
60.08/60.16	c |    452386 |     297      104     2464 |     5000    20785     61 |  0.001 % |
60.18/60.23	c |    452486 |     297      104     2464 |     5500     2699     79 |  0.001 % |
60.18/60.24	c |    452636 |     297      104     2464 |     6050     2849     78 |  0.001 % |
60.18/60.25	c |    452861 |     297      104     2464 |     6655     3074     76 |  0.001 % |
60.18/60.28	c |    453198 |     297      104     2464 |     7320     3411     74 |  0.001 % |
60.27/60.31	c |    453704 |     297      104     2464 |     8052     3917     71 |  0.001 % |
60.27/60.35	c |    454464 |     297      104     2464 |     8857     4677     69 |  0.001 % |
60.38/60.43	c |    455604 |     297      104     2464 |     9743     5817     66 |  0.001 % |
60.49/60.54	c |    457313 |     297      104     2464 |    10717     7526     64 |  0.001 % |
60.68/60.72	c |    459876 |     297      104     2464 |    11789    10089     62 |  0.001 % |
60.97/61.03	c |    463721 |     297      104     2464 |    12968     7928     54 |  0.001 % |
61.48/61.50	c |    469487 |     297      104     2464 |    14265     7093     56 |  0.001 % |
62.17/62.22	c |    478136 |     297      104     2464 |    15692     8505     54 |  0.001 % |
63.38/63.47	c |    491110 |     297      104     2464 |    17261    13517     54 |  0.001 % |
65.37/65.41	c |    510571 |     297      104     2464 |    18987    15489     52 |  0.001 % |
68.67/68.77	c |    539764 |     297      104     2464 |    20886    15890     54 |  0.001 % |
75.27/75.35	c |    583553 |     297      104     2464 |    22974    17473     57 |  0.001 % |
85.78/85.89	c |    649237 |     297      104     2464 |    25272    11362     56 |  0.001 % |
100.36/100.45	c |    747763 |     297      104     2464 |    27799    22977     50 |  0.001 % |
122.75/122.80	c |    895553 |     297      104     2464 |    30579    19047     50 |  0.001 % |
158.45/158.58	c |   1117236 |     297      104     2464 |    33637    24998     54 |  0.001 % |
183.55/183.67	c There are 0 assigned variables. 0 in cost function.
184.94/185.06	c core #1
184.94/185.06	c 
184.94/185.06	c 
184.94/185.06	c Core size: 14	Core Weight: 1	Total Weight: 1
184.94/185.06	c
184.94/185.06	c
184.94/185.06	c core #2
184.94/185.06	c 
184.94/185.06	c 
184.94/185.06	c Core size: 16	Core Weight: 1	Total Weight: 2
184.94/185.06	c
184.94/185.06	c
184.94/185.06	c core #3
184.94/185.06	c 
184.94/185.06	c 
184.94/185.06	c Core size: 12	Core Weight: 1	Total Weight: 3
184.94/185.06	c
184.94/185.06	c
184.94/185.06	c core #4
184.94/185.06	c 
184.94/185.06	c 
184.94/185.06	c Core size: 15	Core Weight: 1	Total Weight: 4
184.94/185.06	c
184.94/185.06	c
184.94/185.06	c core #5
184.94/185.06	c 
184.94/185.06	c 
184.94/185.06	c Core size: 15	Core Weight: 1	Total Weight: 5
184.94/185.06	c
184.94/185.06	c
184.94/185.06	c core #6
184.94/185.06	c 
184.94/185.06	c 
184.94/185.06	c Core size: 16	Core Weight: 1	Total Weight: 6
184.94/185.06	c
184.94/185.06	c
184.94/185.06	c core #7
184.94/185.06	c 
184.94/185.06	c 
184.94/185.06	c Core size: 15	Core Weight: 1	Total Weight: 7
184.94/185.06	c
184.94/185.06	c
184.94/185.06	c core #8
184.94/185.06	c 
184.94/185.06	c 
184.94/185.06	c Core size: 31	Core Weight: 1	Total Weight: 8
184.94/185.06	c
184.94/185.06	c
184.94/185.06	c ============================[ Search Statistics ]==============================
184.94/185.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.94/185.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.94/185.06	c ===============================================================================
184.94/185.06	c |         0 |     246      409     2834 |     5000        0    nan |  0.000 % |
184.94/185.06	c ===============================================================================
184.94/185.06	c core #9
184.94/185.06	c 
184.94/185.06	c 
184.94/185.06	c Core size: 93	Core Weight: 1	Total Weight: 9
184.94/185.06	c
184.94/185.06	c
184.94/185.06	c ============================[ Search Statistics ]==============================
184.94/185.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.94/185.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.94/185.06	c ===============================================================================
184.94/185.06	c |         0 |     379      410     3054 |     5000        0    nan |  0.000 % |
184.94/185.07	c |       108 |     379      410     3054 |     5500      108     95 | 25.394 % |
184.94/185.09	c ===============================================================================
184.94/185.09	c core #10
184.94/185.09	c 
184.94/185.09	c 
184.94/185.09	c Core size: 232	Core Weight: 1	Total Weight: 10
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 |     700      411     3602 |     5000        0    nan |  0.000 % |
185.04/185.10	c |       104 |     700      411     3602 |     5500      104    151 |  4.762 % |
185.04/185.12	c |       257 |     700      411     3602 |     6050      257    147 |  4.762 % |
185.04/185.17	c |       482 |     700      411     3602 |     6655      482    144 |  4.762 % |
185.14/185.26	c |       819 |     700      411     3602 |     7320      819    131 |  4.762 % |
185.34/185.42	c |      1331 |     700      411     3602 |     8052     1331    121 |  4.762 % |
185.55/185.62	c |      2091 |     700      411     3602 |     8857     2091    105 |  4.762 % |
185.85/185.91	c |      3230 |     700      411     3602 |     9743     3230     96 |  4.762 % |
186.24/186.32	c |      4939 |     700      411     3602 |    10717     4939     92 |  4.762 % |
186.95/187.09	c |      7505 |     700      411     3602 |    11789     7505     89 |  4.762 % |
188.54/188.60	c |     11350 |     700      411     3602 |    12968    11350     87 |  4.762 % |
190.44/190.55	c |     17118 |     700      411     3602 |    14265    10575     74 |  4.762 % |
192.34/192.40	c ===============================================================================
192.54/192.69	c core #11
192.54/192.69	c 
192.54/192.69	c 
192.54/192.69	c Core size: 293	Core Weight: 1	Total Weight: 11
192.54/192.69	c
192.54/192.69	c
192.54/192.69	c ============================[ Search Statistics ]==============================
192.54/192.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.54/192.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.54/192.69	c ===============================================================================
192.54/192.69	c |         0 |    1024      412     4217 |     5000        0    nan |  0.000 % |
192.64/192.72	c |       104 |    1024      412     4217 |     5500      104    214 |  0.195 % |
192.64/192.73	c |       254 |    1024      412     4217 |     6050      254    167 |  0.195 % |
192.64/192.77	c |       482 |    1024      412     4217 |     6655      482    123 |  0.195 % |
192.75/192.84	c |       822 |    1024      412     4217 |     7320      822     95 |  0.195 % |
192.84/192.93	c |      1332 |    1024      412     4217 |     8052     1332     81 |  0.195 % |
193.04/193.10	c |      2091 |    1024      412     4217 |     8857     2091     79 |  0.195 % |
193.24/193.36	c |      3235 |    1024      412     4217 |     9743     3235     78 |  0.195 % |
193.64/193.78	c |      4943 |    1024      412     4217 |    10717     4943     90 |  0.195 % |
194.44/194.53	c |      7507 |    1024      412     4217 |    11789     7507     97 |  0.195 % |
196.05/196.11	c |     11351 |    1024      412     4217 |    12968    11351    102 |  0.195 % |
197.95/198.04	c |     17118 |    1024      412     4217 |    14265    10509    105 |  0.195 % |
202.44/202.56	c |     25767 |    1024      412     4217 |    15692    11929    113 |  0.195 % |
208.73/208.81	c |     38741 |    1024      412     4217 |    17261     8931     98 |  0.195 % |
217.34/217.40	c |     58207 |    1024      412     4217 |    18987    10837    103 |  0.195 % |
233.33/233.41	c |     87399 |    1024      412     4217 |    20886    11170    128 |  0.195 % |
258.73/258.88	c |    131188 |    1024      412     4217 |    22974    12841    135 |  0.195 % |
317.51/317.60	c |    196874 |    1024      412     4217 |    25272    20574    208 |  0.195 % |
420.68/420.81	c |    295401 |    1024      412     4217 |    27799    15911    187 |  0.195 % |
533.75/533.96	c ===============================================================================
544.55/544.79	c core #12
544.55/544.79	c 
544.55/544.79	c 
544.55/544.79	c Core size: 300	Core Weight: 1	Total Weight: 12
544.55/544.79	c
544.55/544.79	c
544.55/544.79	c ============================[ Search Statistics ]==============================
544.55/544.79	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
544.55/544.79	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
544.55/544.79	c ===============================================================================
544.55/544.79	c |         0 |    1321      413     4810 |     5000        0    nan |  0.000 % |
544.76/544.96	c |       106 |    1321      413     4810 |     5500      106    206 |  0.076 % |
544.76/544.98	c |       256 |    1321      413     4810 |     6050      256    135 |  0.076 % |
544.86/545.03	c |       481 |    1321      413     4810 |     6655      481    159 |  0.076 % |
544.95/545.11	c |       818 |    1321      413     4810 |     7320      818    174 |  0.076 % |
545.06/545.26	c |      1332 |    1321      413     4810 |     8052     1332    170 |  0.076 % |
545.25/545.46	c |      2091 |    1321      413     4810 |     8857     2091    153 |  0.076 % |
545.56/545.74	c |      3230 |    1321      413     4810 |     9743     3230    145 |  0.076 % |
545.95/546.18	c |      4940 |    1321      413     4810 |    10717     4940    143 |  0.076 % |
546.75/546.93	c |      7505 |    1321      413     4810 |    11789     7505    164 |  0.076 % |
548.66/548.86	c |     11350 |    1321      413     4810 |    12968    11350    202 |  0.076 % |
551.35/551.51	c |     17117 |    1321      413     4810 |    14265    10408    213 |  0.076 % |
557.65/557.87	c |     25766 |    1321      413     4810 |    15692    11743    215 |  0.076 % |
565.45/565.60	c |     38740 |    1321      413     4810 |    17261     8835    171 |  0.076 % |
581.75/581.93	c |     58203 |    1321      413     4810 |    18987    10652    253 |  0.076 % |
608.33/608.50	c |     87396 |    1321      413     4810 |    20886    10944    222 |  0.076 % |
644.23/644.40	c |    131189 |    1321      413     4810 |    22974    12257    281 |  0.076 % |
699.81/700.02	c |    196877 |    1321      413     4810 |    25272    19132    228 |  0.076 % |
782.09/782.32	c |    295409 |    1321      413     4810 |    27799    23658    244 |  0.076 % |
948.35/948.60	c |    443198 |    1321      413     4810 |    30579    18750    299 |  0.076 % |
1268.17/1268.51	c |    664888 |    1321      413     4810 |    33637    29788    329 |  0.076 % |

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-2680885-1277457088/watcher-2680885-1277457088 -o /tmp/evaluation-result-2680885-1277457088/solver-2680885-1277457088 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680885-1277457088.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.01 0.97 3/106 28546
/proc/meminfo: memFree=1852320/2059040 swapFree=4140600/4192956
[pid=28546] ppid=28544 vsize=2572 CPUtime=0
/proc/28546/stat : 28546 (wbo1.4b) R 28544 28546 28217 0 -1 4202496 290 0 0 0 0 0 0 0 17 0 1 0 86999771 2633728 205 1992294400 134512640 135752675 4291585312 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28546/statm: 643 205 144 303 0 338 0

[startup+0.066374 s]
/proc/loadavg: 1.00 1.01 0.97 3/106 28546
/proc/meminfo: memFree=1852320/2059040 swapFree=4140600/4192956
[pid=28546] ppid=28544 vsize=2960 CPUtime=0.06
/proc/28546/stat : 28546 (wbo1.4b) R 28544 28546 28217 0 -1 4202496 392 0 0 0 6 0 0 0 17 0 1 0 86999771 3031040 307 1992294400 134512640 135752675 4291585312 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28546/statm: 740 307 145 303 0 435 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2960

[startup+0.100377 s]
/proc/loadavg: 1.00 1.01 0.97 3/106 28546
/proc/meminfo: memFree=1852320/2059040 swapFree=4140600/4192956
[pid=28546] ppid=28544 vsize=3224 CPUtime=0.09
/proc/28546/stat : 28546 (wbo1.4b) R 28544 28546 28217 0 -1 4202496 444 0 0 0 9 0 0 0 17 0 1 0 86999771 3301376 359 1992294400 134512640 135752675 4291585312 18446744073709551615 134519021 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28546/statm: 806 359 145 303 0 501 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3224

[startup+0.300396 s]
/proc/loadavg: 1.00 1.01 0.97 3/106 28546
/proc/meminfo: memFree=1852320/2059040 swapFree=4140600/4192956
[pid=28546] ppid=28544 vsize=4268 CPUtime=0.29
/proc/28546/stat : 28546 (wbo1.4b) R 28544 28546 28217 0 -1 4202496 733 0 0 0 28 1 0 0 17 0 1 0 86999771 4370432 648 1992294400 134512640 135752675 4291585312 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28546/statm: 1067 648 145 303 0 762 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4268

[startup+0.700435 s]
/proc/loadavg: 1.00 1.01 0.97 3/106 28546
/proc/meminfo: memFree=1852320/2059040 swapFree=4140600/4192956
[pid=28546] ppid=28544 vsize=6228 CPUtime=0.69
/proc/28546/stat : 28546 (wbo1.4b) R 28544 28546 28217 0 -1 4202496 1201 0 0 0 66 3 0 0 17 0 1 0 86999771 6377472 1116 1992294400 134512640 135752675 4291585312 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28546/statm: 1557 1116 145 303 0 1252 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6228

[startup+1.50051 s]
/proc/loadavg: 1.00 1.01 0.97 3/107 28547
/proc/meminfo: memFree=1847104/2059040 swapFree=4140600/4192956
[pid=28546] ppid=28544 vsize=9600 CPUtime=1.49
/proc/28546/stat : 28546 (wbo1.4b) R 28544 28546 28217 0 -1 4202496 2043 0 0 0 144 5 0 0 18 0 1 0 86999771 9830400 1958 1992294400 134512640 135752675 4291585312 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28546/statm: 2400 1958 145 303 0 2095 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9600

[startup+3.10067 s]
/proc/loadavg: 1.00 1.01 0.97 2/107 28547
/proc/meminfo: memFree=1842516/2059040 swapFree=4140600/4192956
[pid=28546] ppid=28544 vsize=15212 CPUtime=3.09
/proc/28546/stat : 28546 (wbo1.4b) R 28544 28546 28217 0 -1 4202496 3468 0 0 0 298 11 0 0 21 0 1 0 86999771 15577088 3383 1992294400 134512640 135752675 4291585312 18446744073709551615 134517574 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28546/statm: 3803 3383 145 303 0 3498 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15212

[startup+6.30098 s]
/proc/loadavg: 1.16 1.04 0.98 2/107 28547
/proc/meminfo: memFree=1831728/2059040 swapFree=4140600/4192956
[pid=28546] ppid=28544 vsize=25676 CPUtime=6.29
/proc/28546/stat : 28546 (wbo1.4b) R 28544 28546 28217 0 -1 4202496 6079 0 0 0 609 20 0 0 25 0 1 0 86999771 26292224 5994 1992294400 134512640 135752675 4291585312 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28546/statm: 6419 5994 145 303 0 6114 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25676

[startup+12.7006 s]
/proc/loadavg: 1.15 1.04 0.98 2/107 28547
/proc/meminfo: memFree=1813252/2059040 swapFree=4140600/4192956
[pid=28546] ppid=28544 vsize=42240 CPUtime=12.68
/proc/28546/stat : 28546 (wbo1.4b) R 28544 28546 28217 0 -1 4202496 10208 0 0 0 1236 32 0 0 25 0 1 0 86999771 43253760 10123 1992294400 134512640 135752675 4291585312 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28546/statm: 10560 10123 145 303 0 10255 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 42240

[startup+25.5018 s]
/proc/loadavg: 1.11 1.04 0.98 2/107 28549
/proc/meminfo: memFree=1781260/2059040 swapFree=4140600/4192956
[pid=28546] ppid=28544 vsize=73372 CPUtime=25.49
/proc/28546/stat : 28546 (wbo1.4b) R 28544 28546 28217 0 -1 4202496 17987 0 0 0 2486 63 0 0 25 0 1 0 86999771 75132928 17902 1992294400 134512640 135752675 4291585312 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28546/statm: 18343 17902 145 303 0 18038 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 73372

[startup+51.1013 s]
/proc/loadavg: 1.07 1.03 0.98 2/107 28549
/proc/meminfo: memFree=1726948/2059040 swapFree=4140600/4192956
[pid=28546] ppid=28544 vsize=128688 CPUtime=51.08
/proc/28546/stat : 28546 (wbo1.4b) R 28544 28546 28217 0 -1 4202496 31775 0 0 0 4997 111 0 0 25 0 1 0 86999771 131776512 31690 1992294400 134512640 135752675 4291585312 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28546/statm: 32172 31690 145 303 0 31867 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 128688

[startup+102.309 s]
/proc/loadavg: 1.03 1.03 0.98 2/107 28551
/proc/meminfo: memFree=1604932/2059040 swapFree=4140600/4192956
[pid=28546] ppid=28544 vsize=249052 CPUtime=102.28
/proc/28546/stat : 28546 (wbo1.4b) R 28544 28546 28217 0 -1 4202496 61847 0 0 0 10009 219 0 0 25 0 1 0 86999771 255029248 61762 1992294400 134512640 135752675 4291585312 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28546/statm: 62263 61762 145 303 0 61958 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 249052

[startup+162.301 s]
/proc/loadavg: 1.01 1.02 0.98 2/107 28551
/proc/meminfo: memFree=1489240/2059040 swapFree=4140600/4192956
[pid=28546] ppid=28544 vsize=365872 CPUtime=162.25
/proc/28546/stat : 28546 (wbo1.4b) R 28544 28546 28217 0 -1 4202496 91014 0 0 0 15895 330 0 0 25 0 1 0 86999771 374652928 90929 1992294400 134512640 135752675 4291585312 18446744073709551615 134611679 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28546/statm: 91468 90929 145 303 0 91163 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 365872

[startup+222.302 s]
/proc/loadavg: 1.00 1.01 0.98 2/107 28553
/proc/meminfo: memFree=1424140/2059040 swapFree=4140600/4192956
[pid=28546] ppid=28544 vsize=429300 CPUtime=222.24
/proc/28546/stat : 28546 (wbo1.4b) R 28544 28546 28217 0 -1 4202496 106998 0 0 0 21822 402 0 0 25 0 1 0 86999771 439603200 106879 1992294400 134512640 135752675 4291585312 18446744073709551615 134611702 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28546/statm: 107325 106879 146 303 0 107020 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 429300

[startup+282.302 s]
/proc/loadavg: 1.00 1.01 0.98 2/107 28555
/proc/meminfo: memFree=1365736/2059040 swapFree=4140600/4192956
[pid=28546] ppid=28544 vsize=488200 CPUtime=282.22
/proc/28546/stat : 28546 (wbo1.4b) R 28544 28546 28217 0 -1 4202496 121677 0 0 0 27776 446 0 0 25 0 1 0 86999771 499916800 121558 1992294400 134512640 135752675 4291585312 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28546/statm: 122050 121558 146 303 0 121745 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 488200

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 28557
/proc/meminfo: memFree=1309688/2059040 swapFree=4140600/4192956
[pid=28546] ppid=28544 vsize=543820 CPUtime=342.2
/proc/28546/stat : 28546 (wbo1.4b) R 28544 28546 28217 0 -1 4202496 135536 0 0 0 33738 482 0 0 25 0 1 0 86999771 556871680 135417 1992294400 134512640 135752675 4291585312 18446744073709551615 134611636 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28546/statm: 135955 135417 146 303 0 135650 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 543820

[startup+402.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 28559
/proc/meminfo: memFree=1252028/2059040 swapFree=4140600/4192956
[pid=28546] ppid=28544 vsize=601924 CPUtime=402.19
/proc/28546/stat : 28546 (wbo1.4b) R 28544 28546 28217 0 -1 4202496 150011 0 0 0 39702 517 0 0 25 0 1 0 86999771 616370176 149892 1992294400 134512640 135752675 4291585312 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28546/statm: 150481 149892 146 303 0 150176 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 601924

[startup+462.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 28559
/proc/meminfo: memFree=1194120/2059040 swapFree=4140600/4192956
[pid=28546] ppid=28544 vsize=659484 CPUtime=462.17
/proc/28546/stat : 28546 (wbo1.4b) R 28544 28546 28217 0 -1 4202496 164355 0 0 0 45658 559 0 0 25 0 1 0 86999771 675311616 164236 1992294400 134512640 135752675 4291585312 18446744073709551615 134638085 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28546/statm: 164871 164236 146 303 0 164566 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 659484

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 28561
/proc/meminfo: memFree=1133608/2059040 swapFree=4140600/4192956
[pid=28546] ppid=28544 vsize=720668 CPUtime=522.16
/proc/28546/stat : 28546 (wbo1.4b) R 28544 28546 28217 0 -1 4202496 179640 0 0 0 51606 610 0 0 25 0 1 0 86999771 737964032 179521 1992294400 134512640 135752675 4291585312 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28546/statm: 180167 179521 146 303 0 179862 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 720668

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 28563
/proc/meminfo: memFree=1085496/2059040 swapFree=4140600/4192956
[pid=28546] ppid=28544 vsize=767052 CPUtime=582.14
/proc/28546/stat : 28546 (wbo1.4b) R 28544 28546 28217 0 -1 4202496 191433 0 0 0 57558 656 0 0 25 0 1 0 86999771 785461248 191314 1992294400 134512640 135752675 4291585312 18446744073709551615 134612042 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28546/statm: 191763 191314 146 303 0 191458 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 767052

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.98 3/107 28565
/proc/meminfo: memFree=1021264/2059040 swapFree=4140600/4192956
[pid=28546] ppid=28544 vsize=830956 CPUtime=642.13
/proc/28546/stat : 28546 (wbo1.4b) R 28544 28546 28217 0 -1 4202496 207369 0 0 0 63511 702 0 0 25 0 1 0 86999771 850898944 207250 1992294400 134512640 135752675 4291585312 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28546/statm: 207739 207250 146 303 0 207434 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 830956

[startup+702.301 s]

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

[startup+822.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 28569
/proc/meminfo: memFree=815920/2059040 swapFree=4140600/4192956
[pid=28546] ppid=28544 vsize=1036924 CPUtime=822.08
/proc/28546/stat : 28546 (wbo1.4b) R 28544 28546 28217 0 -1 4202496 258795 0 0 0 81384 824 0 0 25 0 1 0 86999771 1061810176 258676 1992294400 134512640 135752675 4291585312 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28546/statm: 259231 258676 146 303 0 258926 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 1036924

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 28571
/proc/meminfo: memFree=751688/2059040 swapFree=4140600/4192956
[pid=28546] ppid=28544 vsize=1100340 CPUtime=882.06
/proc/28546/stat : 28546 (wbo1.4b) R 28544 28546 28217 0 -1 4202496 274627 0 0 0 87348 858 0 0 25 0 1 0 86999771 1126748160 274508 1992294400 134512640 135752675 4291585312 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28546/statm: 275085 274508 146 303 0 274780 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 1100340

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 28573
/proc/meminfo: memFree=695640/2059040 swapFree=4140600/4192956
[pid=28546] ppid=28544 vsize=1157028 CPUtime=942.05
/proc/28546/stat : 28546 (wbo1.4b) R 28544 28546 28217 0 -1 4202496 288743 0 0 0 93315 890 0 0 25 0 1 0 86999771 1184796672 288624 1992294400 134512640 135752675 4291585312 18446744073709551615 134602989 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28546/statm: 289257 288624 146 303 0 288952 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 1157028

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 28575
/proc/meminfo: memFree=645792/2059040 swapFree=4140600/4192956
[pid=28546] ppid=28544 vsize=1206372 CPUtime=1002.04
/proc/28546/stat : 28546 (wbo1.4b) R 28544 28546 28217 0 -1 4202496 301092 0 0 0 99284 920 0 0 25 0 1 0 86999771 1235324928 300973 1992294400 134512640 135752675 4291585312 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28546/statm: 301593 300973 146 303 0 301288 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 1206372

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 28575
/proc/meminfo: memFree=599788/2059040 swapFree=4140600/4192956
[pid=28546] ppid=28544 vsize=1253140 CPUtime=1062.02
/proc/28546/stat : 28546 (wbo1.4b) R 28544 28546 28217 0 -1 4202496 312722 0 0 0 105259 943 0 0 25 0 1 0 86999771 1283215360 312603 1992294400 134512640 135752675 4291585312 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28546/statm: 313285 312603 146 303 0 312980 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 1253140

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 28577
/proc/meminfo: memFree=541880/2059040 swapFree=4140600/4192956
[pid=28546] ppid=28544 vsize=1310456 CPUtime=1122.01
/proc/28546/stat : 28546 (wbo1.4b) R 28544 28546 28217 0 -1 4202496 327008 0 0 0 111228 973 0 0 25 0 1 0 86999771 1341906944 326889 1992294400 134512640 135752675 4291585312 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28546/statm: 327614 326889 146 303 0 327309 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 1310456

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 28579
/proc/meminfo: memFree=482732/2059040 swapFree=4140600/4192956
[pid=28546] ppid=28544 vsize=1370516 CPUtime=1181.99
/proc/28546/stat : 28546 (wbo1.4b) R 28544 28546 28217 0 -1 4202496 342019 0 0 0 117193 1006 0 0 25 0 1 0 86999771 1403408384 341900 1992294400 134512640 135752675 4291585312 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28546/statm: 342629 341900 146 303 0 342324 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 1370516

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 28581
/proc/meminfo: memFree=423460/2059040 swapFree=4140600/4192956
[pid=28546] ppid=28544 vsize=1428544 CPUtime=1241.98
/proc/28546/stat : 28546 (wbo1.4b) R 28544 28546 28217 0 -1 4202496 356487 0 0 0 123162 1036 0 0 25 0 1 0 86999771 1462829056 356368 1992294400 134512640 135752675 4291585312 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28546/statm: 357136 356368 146 303 0 356831 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 1428544

[startup+1302.3 s]
/proc/loadavg: 1.04 1.01 0.99 2/107 28586
/proc/meminfo: memFree=364808/2059040 swapFree=4140600/4192956
[pid=28546] ppid=28544 vsize=1486176 CPUtime=1301.97
/proc/28546/stat : 28546 (wbo1.4b) R 28544 28546 28217 0 -1 4202496 370872 0 0 0 129135 1062 0 0 25 0 1 0 86999771 1521844224 370753 1992294400 134512640 135752675 4291585312 18446744073709551615 134611732 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28546/statm: 371544 370753 146 303 0 371239 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 1486176

[startup+1362.3 s]
/proc/loadavg: 1.05 1.02 1.00 2/107 28586
/proc/meminfo: memFree=313968/2059040 swapFree=4140600/4192956
[pid=28546] ppid=28544 vsize=1537520 CPUtime=1361.94
/proc/28546/stat : 28546 (wbo1.4b) R 28544 28546 28217 0 -1 4202496 383671 0 0 0 135105 1089 0 0 25 0 1 0 86999771 1574420480 383552 1992294400 134512640 135752675 4291585312 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28546/statm: 384380 383552 146 303 0 384075 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1537520

[startup+1422.31 s]
/proc/loadavg: 1.13 1.05 1.01 2/107 28588
/proc/meminfo: memFree=262260/2059040 swapFree=4140600/4192956
[pid=28546] ppid=28544 vsize=1588956 CPUtime=1421.94
/proc/28546/stat : 28546 (wbo1.4b) R 28544 28546 28217 0 -1 4202496 396500 0 0 0 141076 1118 0 0 25 0 1 0 86999771 1627090944 396381 1992294400 134512640 135752675 4291585312 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28546/statm: 397239 396381 146 303 0 396934 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 1588956

[startup+1482.3 s]
/proc/loadavg: 1.12 1.05 1.00 2/107 28590
/proc/meminfo: memFree=209436/2059040 swapFree=4140600/4192956
[pid=28546] ppid=28544 vsize=1642548 CPUtime=1481.91
/proc/28546/stat : 28546 (wbo1.4b) R 28544 28546 28217 0 -1 4202496 409866 0 0 0 147043 1148 0 0 25 0 1 0 86999771 1681969152 409747 1992294400 134512640 135752675 4291585312 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28546/statm: 410637 409747 146 303 0 410332 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 1642548

[startup+1542.3 s]
/proc/loadavg: 1.11 1.06 1.00 2/107 28592
/proc/meminfo: memFree=157356/2059040 swapFree=4140600/4192956
[pid=28546] ppid=28544 vsize=1693972 CPUtime=1541.9
/proc/28546/stat : 28546 (wbo1.4b) R 28544 28546 28217 0 -1 4202496 422716 0 0 0 153015 1175 0 0 25 0 1 0 86999771 1734627328 422597 1992294400 134512640 135752675 4291585312 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28546/statm: 423493 422597 146 303 0 423188 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1693972

[startup+1602.3 s]
/proc/loadavg: 1.15 1.07 1.01 2/107 28594
/proc/meminfo: memFree=117800/2059040 swapFree=4140600/4192956
[pid=28546] ppid=28544 vsize=1734836 CPUtime=1601.89
/proc/28546/stat : 28546 (wbo1.4b) R 28544 28546 28217 0 -1 4202496 432881 0 0 0 158992 1197 0 0 25 0 1 0 86999771 1776472064 432762 1992294400 134512640 135752675 4291585312 18446744073709551615 134611718 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28546/statm: 433709 432762 146 303 0 433404 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 1734836

[startup+1662.3 s]
/proc/loadavg: 1.05 1.06 1.00 2/107 28594
/proc/meminfo: memFree=59768/2059040 swapFree=4140600/4192956
[pid=28546] ppid=28544 vsize=1791896 CPUtime=1661.87
/proc/28546/stat : 28546 (wbo1.4b) R 28544 28546 28217 0 -1 4202496 447128 0 0 0 164957 1230 0 0 25 0 1 0 86999771 1834901504 447009 1992294400 134512640 135752675 4291585312 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28546/statm: 447974 447009 146 303 0 447669 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 1791896

[startup+1722.3 s]
/proc/loadavg: 1.02 1.04 1.00 2/107 28596
/proc/meminfo: memFree=13144/2059040 swapFree=4140600/4192956
[pid=28546] ppid=28544 vsize=1839476 CPUtime=1721.85
/proc/28546/stat : 28546 (wbo1.4b) R 28544 28546 28217 0 -1 4202496 459009 0 0 0 170928 1257 0 0 25 0 1 0 86999771 1883623424 458890 1992294400 134512640 135752675 4291585312 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28546/statm: 459869 458890 146 303 0 459564 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 1839476



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1725.7 s]
/proc/loadavg: 1.10 1.06 1.01 2/107 28596
/proc/meminfo: memFree=10048/2059040 swapFree=4140600/4192956
[pid=28546] ppid=28544 vsize=1843304 CPUtime=1725.25
/proc/28546/stat : 28546 (wbo1.4b) R 28544 28546 28217 0 -1 4202496 459950 0 0 0 171266 1259 0 0 25 0 1 0 86999771 1887543296 459831 1992294400 134512640 135752675 4291585312 18446744073709551615 134611804 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28546/statm: 460826 459831 146 303 0 460521 0
Current children cumulated CPU time (s) 1725.25
Current children cumulated vsize (KiB) 1843304

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

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

[startup+1725.81 s]
/proc/loadavg: 1.10 1.06 1.01 2/108 28597
/proc/meminfo: memFree=1012456/2059040 swapFree=4140600/4192956
[pid=28546] ppid=28544 vsize=0 CPUtime=1725.36
/proc/28546/stat : 28546 (wbo1.4b) R 28544 28546 28217 0 -1 4203524 459950 0 0 0 171266 1270 0 0 25 0 1 0 86999771 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/28546/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1725.36
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1725.88
CPU time (s): 1725.44
CPU user time (s): 1712.67
CPU system time (s): 12.7721
CPU usage (%): 99.9744
Max. virtual memory (cumulated for all children) (KiB): 1843304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1712.67
system time used= 12.7721
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 459950
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= 3
involuntary context switches= 5742

runsolver used 3.10453 second user time and 7.9088 second system time

The end

Launcher Data 

Begin job on node056 at 2010-06-25 11:11:28
IDJOB=2680885
IDBENCH=2851
IDSOLVER=1190
FILE ID=node056/2680885-1277457088
PBS_JOBID= 11188113
Free space on /tmp= 98432 MiB

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

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

MD5SUM BENCH= 34bb25320bcbfa536bfc14194ca6ac66
RANDOM SEED=788557759

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1852848 kB
Buffers:         31692 kB
Cached:          75784 kB
SwapCached:       5708 kB
Active:          18168 kB
Inactive:       103012 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1852848 kB
SwapTotal:     4192956 kB
SwapFree:      4140600 kB
Dirty:            2644 kB
Writeback:           0 kB
AnonPages:       12364 kB
Mapped:          11948 kB
Slab:            62856 kB
PageTables:       4176 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180496 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= 98428 MiB
End job on node056 at 2010-06-25 11:40:16