Trace number 2656251

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
wbo 1.4b? (TO) 1800.22 1800.64

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_100_10_10.r.opb
MD5SUM863d0ff562dc066d0163e86da5775aea
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark12
Best CPU time to get the best result obtained on this benchmark1.17182
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 12
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 constraint10
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 - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2656251-1276592693.opb.
0.00/0.00	c Instance file HOME/instance-2656251-1276592693.opb
0.00/0.00	c File size is 8515 bytes.
0.00/0.00	c Highest Coefficient sum: 11
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     1000 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 18
0.00/0.00	o 18
0.00/0.00	c Elapsed CPU time: 0.000999 s	Remaining CPU time: 179.999 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     100      101     1100 |     5000        0    nan |  0.000 % |
0.00/0.00	c |       101 |     100      101     1100 |     5500      101     38 |  0.010 % |
0.00/0.01	c |       251 |     100      101     1100 |     6050      251     38 |  0.010 % |
0.00/0.01	c |       477 |     100      101     1100 |     6655      477     38 |  0.010 % |
0.00/0.02	c |       814 |     100      101     1100 |     7320      814     38 |  0.010 % |
0.00/0.04	c |      1321 |     100      101     1100 |     8052     1321     39 |  0.010 % |
0.00/0.06	c |      2080 |     100      101     1100 |     8857     2080     38 |  0.010 % |
0.09/0.11	c |      3219 |     100      101     1100 |     9743     3219     39 |  0.010 % |
0.09/0.20	c |      4929 |     100      101     1100 |    10717     4929     40 |  0.010 % |
0.29/0.35	c |      7491 |     100      101     1100 |    11789     7491     40 |  0.010 % |
0.39/0.45	c ===============================================================================
0.39/0.45	c New solution: 17
0.39/0.45	o 17
0.39/0.45	c Elapsed CPU time: 0.432934 s	Remaining CPU time: 179.567 s
0.39/0.45	c ===============================================================================
0.39/0.45	c |      9142 |     100      102     1200 |     5000     9142     40 |  0.010 % |
0.39/0.47	c |      9243 |     100      102     1200 |     5500     4672     40 |  0.010 % |
0.39/0.48	c |      9394 |     100      102     1200 |     6050     4823     40 |  0.010 % |
0.39/0.49	c |      9619 |     100      102     1200 |     6655     5048     40 |  0.010 % |
0.49/0.50	c |      9956 |     100      102     1200 |     7320     5385     40 |  0.010 % |
0.49/0.52	c |     10462 |     100      102     1200 |     8052     5891     39 |  0.010 % |
0.49/0.56	c |     11221 |     100      102     1200 |     8857     6650     39 |  0.010 % |
0.59/0.61	c |     12360 |     100      102     1200 |     9743     7789     39 |  0.010 % |
0.69/0.71	c |     14068 |     100      102     1200 |    10717     9497     39 |  0.010 % |
0.79/0.87	c |     16630 |     100      102     1200 |    11789     6663     37 |  0.010 % |
1.10/1.12	c |     20474 |     100      102     1200 |    12968    10507     37 |  0.010 % |
1.49/1.54	c |     26241 |     100      102     1200 |    14265     9753     39 |  0.010 % |
2.20/2.26	c |     34891 |     100      102     1200 |    15692    11235     39 |  0.010 % |
3.59/3.62	c |     47865 |     100      102     1200 |    17261     8444     40 |  0.010 % |
6.09/6.17	c |     67326 |     100      102     1200 |    18987    10571     42 |  0.010 % |
9.59/9.63	c |     96518 |     100      102     1200 |    20886    11177     38 |  0.010 % |
11.49/11.58	c ===============================================================================
11.49/11.58	c New solution: 16
11.49/11.58	o 16
11.49/11.58	c Elapsed CPU time: 11.2943 s	Remaining CPU time: 168.706 s
11.49/11.58	c ===============================================================================
11.49/11.58	c |    112829 |     100      103     1300 |     5000    17009     39 |  0.010 % |
11.69/11.70	c |    112930 |     100      103     1300 |     5500     4354     38 |  0.010 % |
11.69/11.71	c |    113080 |     100      103     1300 |     6050     4504     38 |  0.010 % |
11.69/11.72	c |    113305 |     100      103     1300 |     6655     4729     38 |  0.010 % |
11.69/11.74	c |    113643 |     100      103     1300 |     7320     5067     37 |  0.010 % |
11.69/11.76	c |    114149 |     100      103     1300 |     8052     5573     37 |  0.010 % |
11.78/11.80	c |    114909 |     100      103     1300 |     8857     6333     37 |  0.010 % |
11.78/11.86	c |    116048 |     100      103     1300 |     9743     7472     37 |  0.010 % |
11.89/11.96	c |    117756 |     100      103     1300 |    10717     9180     36 |  0.010 % |
12.10/12.14	c |    120318 |     100      103     1300 |    11789     6347     36 |  0.010 % |
12.29/12.40	c |    124162 |     100      103     1300 |    12968    10191     37 |  0.010 % |
12.79/12.84	c |    129929 |     100      103     1300 |    14265     9438     38 |  0.010 % |
13.49/13.59	c |    138580 |     100      103     1300 |    15692    10922     37 |  0.010 % |
14.89/14.93	c |    151554 |     100      103     1300 |    17261     8135     34 |  0.010 % |
16.79/16.87	c |    171015 |     100      103     1300 |    18987    10266     37 |  0.010 % |
20.79/20.85	c |    200207 |     100      103     1300 |    20886    10876     40 |  0.010 % |
27.39/27.40	c |    243997 |     100      103     1300 |    22974    12753     37 |  0.010 % |
37.88/37.94	c |    309681 |     100      103     1300 |    25272    20046     41 |  0.010 % |
45.78/45.86	c ===============================================================================
45.78/45.86	c New solution: 15
45.78/45.86	o 15
45.78/45.86	c Elapsed CPU time: 44.8652 s	Remaining CPU time: 135.135 s
45.78/45.86	c ===============================================================================
45.78/45.86	c |    359074 |     100      104     1400 |     5000    14826     38 |  0.010 % |
45.88/45.95	c |    359175 |     100      104     1400 |     5500     3808     36 |  0.010 % |
45.88/45.96	c |    359325 |     100      104     1400 |     6050     3958     37 |  0.010 % |
45.88/45.97	c |    359550 |     100      104     1400 |     6655     4183     36 |  0.010 % |
45.88/45.98	c |    359887 |     100      104     1400 |     7320     4520     36 |  0.010 % |
45.98/46.00	c |    360394 |     100      104     1400 |     8052     5027     36 |  0.010 % |
45.98/46.04	c |    361154 |     100      104     1400 |     8857     5787     35 |  0.010 % |
46.09/46.10	c |    362294 |     100      104     1400 |     9743     6927     36 |  0.010 % |
46.09/46.19	c |    364002 |     100      104     1400 |    10717     8635     35 |  0.010 % |
46.28/46.37	c |    366565 |     100      104     1400 |    11789     5807     34 |  0.010 % |
46.58/46.63	c |    370409 |     100      104     1400 |    12968     9651     36 |  0.010 % |
46.98/47.09	c |    376175 |     100      104     1400 |    14265     8900     37 |  0.010 % |
47.68/47.77	c |    384825 |     100      104     1400 |    15692    10385     35 |  0.010 % |
49.08/49.11	c |    397800 |     100      104     1400 |    17261    15481     37 |  0.010 % |
51.28/51.37	c |    417262 |     100      104     1400 |    18987     8955     36 |  0.010 % |
54.88/54.94	c |    446454 |     100      104     1400 |    20886     9579     34 |  0.010 % |
60.67/60.78	c |    490244 |     100      104     1400 |    22974    11466     35 |  0.010 % |
69.18/69.27	c |    555929 |     100      104     1400 |    25272    17702     35 |  0.010 % |
85.17/85.21	c |    654455 |     100      104     1400 |    27799    20264     37 |  0.010 % |
109.37/109.46	c |    802244 |     100      104     1400 |    30579    20088     34 |  0.010 % |
151.16/151.23	c |   1023927 |     100      104     1400 |    33637    14547     32 |  0.010 % |
180.45/180.54	c ===============================================================================
180.45/180.54	c New solution: 14
180.45/180.54	o 14
180.45/180.54	c Elapsed CPU time: 176.91 s	Remaining CPU time: 3.0899 s
180.45/180.54	c ===============================================================================
180.45/180.54	c |   1187948 |     100      105     1500 |     5000    25415     33 |  0.010 % |
180.75/180.85	c |   1188050 |     100      105     1500 |     5500     2888     34 |  0.010 % |
180.75/180.85	c |   1188200 |     100      105     1500 |     6050     3038     34 |  0.010 % |
180.75/180.86	c |   1188425 |     100      105     1500 |     6655     3263     34 |  0.010 % |
180.75/180.87	c |   1188763 |     100      105     1500 |     7320     3601     33 |  0.010 % |
180.85/180.90	c |   1189269 |     100      105     1500 |     8052     4107     34 |  0.010 % |
180.85/180.93	c |   1190029 |     100      105     1500 |     8857     4867     33 |  0.010 % |
180.85/180.98	c |   1191169 |     100      105     1500 |     9743     6007     33 |  0.010 % |
180.94/181.08	c |   1192877 |     100      105     1500 |    10717     7715     34 |  0.010 % |
181.15/181.23	c |   1195440 |     100      105     1500 |    11789    10278     33 |  0.010 % |
181.45/181.51	c |   1199284 |     100      105     1500 |    12968     8196     33 |  0.010 % |
181.84/181.95	c |   1205051 |     100      105     1500 |    14265     7448     31 |  0.010 % |
182.55/182.62	c |   1213702 |     100      105     1500 |    15692     8934     32 |  0.010 % |
183.66/183.73	c There are 0 assigned variables. 0 in cost function.
184.95/185.02	c core #1
184.95/185.02	c core #2
184.95/185.02	c core #3
184.95/185.02	c core #4
184.95/185.02	c core #5
184.95/185.02	c core #6
184.95/185.02	c ============================[ Search Statistics ]==============================
184.95/185.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.95/185.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.95/185.02	c ===============================================================================
184.95/185.02	c |         0 |     172      212     1864 |     5000        0    nan |  0.000 % |
184.95/185.03	c ===============================================================================
184.95/185.03	c core #7
184.95/185.03	c ============================[ Search Statistics ]==============================
184.95/185.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.95/185.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.95/185.03	c ===============================================================================
184.95/185.03	c |         0 |     284      213     2069 |     5000        0    nan |  0.000 % |
184.95/185.04	c |       108 |     284      213     2069 |     5500      108     70 |  0.352 % |
184.95/185.05	c |       258 |     284      213     2069 |     6050      258     57 |  0.352 % |
184.95/185.08	c |       483 |     284      213     2069 |     6655      483     54 |  0.352 % |
185.05/185.12	c |       824 |     284      213     2069 |     7320      824     55 |  0.352 % |
185.05/185.19	c |      1334 |     284      213     2069 |     8052     1334     52 |  0.352 % |
185.15/185.29	c |      2096 |     284      213     2069 |     8857     2096     51 |  0.352 % |
185.35/185.48	c |      3235 |     284      213     2069 |     9743     3235     46 |  0.352 % |
185.64/185.79	c |      4943 |     284      213     2069 |    10717     4943     43 |  0.352 % |
185.76/185.88	c ===============================================================================
185.85/185.94	c core #8
185.85/185.94	c ============================[ Search Statistics ]==============================
185.85/185.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.85/185.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.85/185.94	c ===============================================================================
185.85/185.94	c |         0 |     385      214     2270 |     5000        0    nan |  0.000 % |
185.85/185.95	c |       103 |     385      214     2270 |     5500      103     94 |  0.001 % |
185.85/185.97	c |       255 |     385      214     2270 |     6050      255     90 |  0.001 % |
185.85/185.99	c |       480 |     385      214     2270 |     6655      480     81 |  0.001 % |
185.95/186.03	c |       819 |     385      214     2270 |     7320      819     71 |  0.001 % |
185.95/186.08	c |      1326 |     385      214     2270 |     8052     1326     67 |  0.001 % |
186.05/186.14	c |      2085 |     385      214     2270 |     8857     2085     56 |  0.001 % |
186.25/186.30	c |      3225 |     385      214     2270 |     9743     3225     59 |  0.001 % |
186.54/186.60	c |      4937 |     385      214     2270 |    10717     4937     62 |  0.001 % |
187.05/187.12	c |      7502 |     385      214     2270 |    11789     7502     66 |  0.001 % |
187.85/187.98	c |     11347 |     385      214     2270 |    12968    11347     65 |  0.001 % |
189.65/189.73	c |     17116 |     385      214     2270 |    14265    10587     64 |  0.001 % |
192.35/192.49	c |     25767 |     385      214     2270 |    15692    12039     69 |  0.001 % |
196.75/196.86	c |     38741 |     385      214     2270 |    17261     9181     83 |  0.001 % |
205.44/205.51	c |     58202 |     385      214     2270 |    18987    11232     79 |  0.001 % |
218.04/218.12	c |     87395 |     385      214     2270 |    20886    11740     79 |  0.001 % |
233.43/233.56	c |    131185 |     385      214     2270 |    22974    13547     76 |  0.001 % |
261.43/261.57	c |    196873 |     385      214     2270 |    25272    21520     75 |  0.001 % |
301.52/301.68	c |    295401 |     284      214     2270 |    27799     9540     62 | 26.235 % |
302.02/302.11	c ===============================================================================
308.82/308.95	c core #9
308.82/308.95	c ============================[ Search Statistics ]==============================
308.82/308.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
308.82/308.95	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
308.82/308.95	c ===============================================================================
308.82/308.95	c |         0 |     485      215     2470 |     5000        0    nan |  0.000 % |
308.93/309.07	c |       102 |     485      215     2470 |     5500      102    121 |  0.000 % |
308.93/309.09	c |       253 |     485      215     2470 |     6050      253     82 |  0.000 % |
309.03/309.11	c |       481 |     485      215     2470 |     6655      481     66 |  0.000 % |
309.03/309.14	c |       818 |     485      215     2470 |     7320      818     65 |  0.000 % |
309.03/309.19	c |      1332 |     485      215     2470 |     8052     1332     64 |  0.000 % |
309.11/309.28	c |      2093 |     485      215     2470 |     8857     2093     62 |  0.000 % |
309.32/309.44	c |      3232 |     485      215     2470 |     9743     3232     62 |  0.000 % |
309.72/309.81	c |      4941 |     485      215     2470 |    10717     4941     63 |  0.000 % |
310.32/310.43	c |      7504 |     485      215     2470 |    11789     7504     70 |  0.000 % |
311.22/311.37	c |     11348 |     485      215     2470 |    12968    11348     73 |  0.000 % |
312.72/312.80	c |     17116 |     485      215     2470 |    14265    10576     74 |  0.000 % |
315.02/315.11	c |     25770 |     485      215     2470 |    15692    12044     79 |  0.000 % |
319.92/320.07	c |     38744 |     485      215     2470 |    17261     9161     97 |  0.000 % |
330.41/330.50	c |     58207 |     485      215     2470 |    18987    11179    102 |  0.000 % |
345.22/345.38	c |     87403 |     485      215     2470 |    20886    11624     88 |  0.000 % |
368.50/368.67	c |    131192 |     485      215     2470 |    22974    13293    109 |  0.000 % |
409.00/409.10	c |    196885 |     485      215     2470 |    25272    21066    119 |  0.000 % |
486.68/486.89	c |    295421 |     485      215     2470 |    27799    16114    156 |  0.000 % |
614.65/614.81	c |    443210 |     485      215     2470 |    30579    14088    120 |  0.000 % |
795.90/796.16	c |    664893 |     485      215     2470 |    33637    25533    131 |  0.000 % |
1128.73/1129.05	c |    997422 |     485      215     2470 |    37001    33143    147 |  0.000 % |
1677.70/1678.16	c |   1496210 |     485      215     2470 |    40701    15503    145 |  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-2656251-1276592693/watcher-2656251-1276592693 -o /tmp/evaluation-result-2656251-1276592693/solver-2656251-1276592693 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656251-1276592693.opb 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 1929
/proc/meminfo: memFree=1837900/2059040 swapFree=4136648/4192956
[pid=1929] ppid=1927 vsize=2568 CPUtime=0
/proc/1929/stat : 1929 (wbo1.4b) R 1927 1929 1490 0 -1 4202496 280 0 0 0 0 0 0 0 20 0 1 0 32924671 2629632 195 1992294400 134512640 135751879 4288935168 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1929/statm: 642 195 147 303 0 337 0

[startup+0.0120449 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 1929
/proc/meminfo: memFree=1837900/2059040 swapFree=4136648/4192956
[pid=1929] ppid=1927 vsize=2568 CPUtime=0
/proc/1929/stat : 1929 (wbo1.4b) R 1927 1929 1490 0 -1 4202496 293 0 0 0 0 0 0 0 20 0 1 0 32924671 2629632 208 1992294400 134512640 135751879 4288935168 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1929/statm: 642 208 147 303 0 337 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2568

[startup+0.10103 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 1929
/proc/meminfo: memFree=1837900/2059040 swapFree=4136648/4192956
[pid=1929] ppid=1927 vsize=3232 CPUtime=0.09
/proc/1929/stat : 1929 (wbo1.4b) R 1927 1929 1490 0 -1 4202496 469 0 0 0 9 0 0 0 20 0 1 0 32924671 3309568 384 1992294400 134512640 135751879 4288935168 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1929/statm: 808 384 147 303 0 503 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3232

[startup+0.301046 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 1929
/proc/meminfo: memFree=1837900/2059040 swapFree=4136648/4192956
[pid=1929] ppid=1927 vsize=4284 CPUtime=0.29
/proc/1929/stat : 1929 (wbo1.4b) R 1927 1929 1490 0 -1 4202496 740 0 0 0 28 1 0 0 20 0 1 0 32924671 4386816 655 1992294400 134512640 135751879 4288935168 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1929/statm: 1071 655 147 303 0 766 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4284

[startup+0.701077 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 1929
/proc/meminfo: memFree=1837900/2059040 swapFree=4136648/4192956
[pid=1929] ppid=1927 vsize=6252 CPUtime=0.69
/proc/1929/stat : 1929 (wbo1.4b) R 1927 1929 1490 0 -1 4202496 1210 0 0 0 67 2 0 0 20 0 1 0 32924671 6402048 1125 1992294400 134512640 135751879 4288935168 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1929/statm: 1563 1125 148 303 0 1258 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6252

[startup+1.50114 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1930
/proc/meminfo: memFree=1832560/2059040 swapFree=4136648/4192956
[pid=1929] ppid=1927 vsize=9264 CPUtime=1.49
/proc/1929/stat : 1929 (wbo1.4b) R 1927 1929 1490 0 -1 4202496 1972 0 0 0 144 5 0 0 22 0 1 0 32924671 9486336 1887 1992294400 134512640 135751879 4288935168 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1929/statm: 2316 1887 148 303 0 2011 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9264

[startup+3.10127 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1930
/proc/meminfo: memFree=1828716/2059040 swapFree=4136648/4192956
[pid=1929] ppid=1927 vsize=14272 CPUtime=3.09
/proc/1929/stat : 1929 (wbo1.4b) R 1927 1929 1490 0 -1 4202496 3207 0 0 0 299 10 0 0 25 0 1 0 32924671 14614528 3122 1992294400 134512640 135751879 4288935168 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1929/statm: 3568 3122 148 303 0 3263 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14272

[startup+6.30152 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1930
/proc/meminfo: memFree=1820408/2059040 swapFree=4136648/4192956
[pid=1929] ppid=1927 vsize=20980 CPUtime=6.29
/proc/1929/stat : 1929 (wbo1.4b) R 1927 1929 1490 0 -1 4202496 4913 0 0 0 612 17 0 0 25 0 1 0 32924671 21483520 4828 1992294400 134512640 135751879 4288935168 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1929/statm: 5245 4828 148 303 0 4940 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20980

[startup+12.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1930
/proc/meminfo: memFree=1806024/2059040 swapFree=4136648/4192956
[pid=1929] ppid=1927 vsize=36144 CPUtime=12.69
/proc/1929/stat : 1929 (wbo1.4b) R 1927 1929 1490 0 -1 4202496 8696 0 0 0 1238 31 0 0 25 0 1 0 32924671 37011456 8611 1992294400 134512640 135751879 4288935168 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1929/statm: 9036 8611 148 303 0 8731 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 36144

[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1930
/proc/meminfo: memFree=1777504/2059040 swapFree=4136648/4192956
[pid=1929] ppid=1927 vsize=62672 CPUtime=25.48
/proc/1929/stat : 1929 (wbo1.4b) R 1927 1929 1490 0 -1 4202496 15311 0 0 0 2486 62 0 0 25 0 1 0 32924671 64176128 15226 1992294400 134512640 135751879 4288935168 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1929/statm: 15668 15227 148 303 0 15363 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 62672

[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1932
/proc/meminfo: memFree=1731748/2059040 swapFree=4136648/4192956
[pid=1929] ppid=1927 vsize=109364 CPUtime=51.08
/proc/1929/stat : 1929 (wbo1.4b) R 1927 1929 1490 0 -1 4202496 26966 0 0 0 4993 115 0 0 25 0 1 0 32924671 111988736 26881 1992294400 134512640 135751879 4288935168 18446744073709551615 134616388 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1929/statm: 27341 26881 148 303 0 27036 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 109364

[startup+102.308 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 1932
/proc/meminfo: memFree=1646932/2059040 swapFree=4136648/4192956
[pid=1929] ppid=1927 vsize=192888 CPUtime=102.27
/proc/1929/stat : 1929 (wbo1.4b) R 1927 1929 1490 0 -1 4202496 47800 0 0 0 10005 222 0 0 25 0 1 0 32924671 197517312 47715 1992294400 134512640 135751879 4288935168 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1929/statm: 48222 47715 148 303 0 47917 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 192888

[startup+162.301 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 1934
/proc/meminfo: memFree=1570672/2059040 swapFree=4136648/4192956
[pid=1929] ppid=1927 vsize=269364 CPUtime=162.26
/proc/1929/stat : 1929 (wbo1.4b) R 1927 1929 1490 0 -1 4202496 66921 0 0 0 15900 326 0 0 25 0 1 0 32924671 275828736 66836 1992294400 134512640 135751879 4288935168 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1929/statm: 67341 66836 148 303 0 67036 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 269364

[startup+222.301 s]
/proc/loadavg: 1.06 1.03 1.00 2/107 1936
/proc/meminfo: memFree=1505448/2059040 swapFree=4136648/4192956
[pid=1929] ppid=1927 vsize=333932 CPUtime=222.24
/proc/1929/stat : 1929 (wbo1.4b) R 1927 1929 1490 0 -1 4202496 83127 0 0 0 21815 409 0 0 25 0 1 0 32924671 341946368 83009 1992294400 134512640 135751879 4288935168 18446744073709551615 134616489 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1929/statm: 83483 83009 151 303 0 83178 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 333932

[startup+282.301 s]
/proc/loadavg: 1.05 1.04 1.00 2/107 1938
/proc/meminfo: memFree=1452872/2059040 swapFree=4136648/4192956
[pid=1929] ppid=1927 vsize=386836 CPUtime=282.22
/proc/1929/stat : 1929 (wbo1.4b) R 1927 1929 1490 0 -1 4202496 96327 0 0 0 27752 470 0 0 25 0 1 0 32924671 396120064 96209 1992294400 134512640 135751879 4288935168 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1929/statm: 96709 96209 151 303 0 96404 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 386836

[startup+342.3 s]
/proc/loadavg: 1.02 1.03 1.00 2/107 1943
/proc/meminfo: memFree=1415796/2059040 swapFree=4136648/4192956
[pid=1929] ppid=1927 vsize=423404 CPUtime=342.21
/proc/1929/stat : 1929 (wbo1.4b) R 1927 1929 1490 0 -1 4202496 105484 0 0 0 33702 519 0 0 25 0 1 0 32924671 433565696 105366 1992294400 134512640 135751879 4288935168 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1929/statm: 105851 105366 151 303 0 105546 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 423404

[startup+402.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 1943
/proc/meminfo: memFree=1365700/2059040 swapFree=4136648/4192956
[pid=1929] ppid=1927 vsize=473992 CPUtime=402.2
/proc/1929/stat : 1929 (wbo1.4b) R 1927 1929 1490 0 -1 4202496 118120 0 0 0 39656 564 0 0 25 0 1 0 32924671 485367808 118002 1992294400 134512640 135751879 4288935168 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1929/statm: 118498 118002 151 303 0 118193 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 473992

[startup+462.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 1946
/proc/meminfo: memFree=1318580/2059040 swapFree=4136648/4192956
[pid=1929] ppid=1927 vsize=520544 CPUtime=462.19
/proc/1929/stat : 1929 (wbo1.4b) R 1927 1929 1490 0 -1 4202496 129704 0 0 0 45616 603 0 0 25 0 1 0 32924671 533037056 129586 1992294400 134512640 135751879 4288935168 18446744073709551615 134616377 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1929/statm: 130136 129586 151 303 0 129831 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 520544

[startup+522.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 1948
/proc/meminfo: memFree=1276792/2059040 swapFree=4136648/4192956
[pid=1929] ppid=1927 vsize=562620 CPUtime=522.17
/proc/1929/stat : 1929 (wbo1.4b) R 1927 1929 1490 0 -1 4202496 140162 0 0 0 51581 636 0 0 25 0 1 0 32924671 576122880 140044 1992294400 134512640 135751879 4288935168 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1929/statm: 140655 140044 151 303 0 140350 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 562620

[startup+582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1950
/proc/meminfo: memFree=1231904/2059040 swapFree=4136648/4192956
[pid=1929] ppid=1927 vsize=607496 CPUtime=582.16
/proc/1929/stat : 1929 (wbo1.4b) R 1927 1929 1490 0 -1 4202496 151351 0 0 0 57552 664 0 0 25 0 1 0 32924671 622075904 151233 1992294400 134512640 135751879 4288935168 18446744073709551615 134616545 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1929/statm: 151874 151233 151 303 0 151569 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 607496

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1952
/proc/meminfo: memFree=1185032/2059040 swapFree=4136648/4192956
[pid=1929] ppid=1927 vsize=653920 CPUtime=642.15
/proc/1929/stat : 1929 (wbo1.4b) R 1927 1929 1490 0 -1 4202496 162948 0 0 0 63516 699 0 0 25 0 1 0 32924671 669614080 162830 1992294400 134512640 135751879 4288935168 18446744073709551615 134616495 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1929/statm: 163480 162830 151 303 0 163175 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 653920

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1958
/proc/meminfo: memFree=999280/2059040 swapFree=4136648/4192956
[pid=1929] ppid=1927 vsize=839696 CPUtime=882.08
/proc/1929/stat : 1929 (wbo1.4b) R 1927 1929 1490 0 -1 4202496 209273 0 0 0 87378 830 0 0 25 0 1 0 32924671 859848704 209155 1992294400 134512640 135751879 4288935168 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1929/statm: 209924 209155 151 303 0 209619 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 839696

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1960
/proc/meminfo: memFree=956252/2059040 swapFree=4136648/4192956
[pid=1929] ppid=1927 vsize=883296 CPUtime=942.07
/proc/1929/stat : 1929 (wbo1.4b) R 1927 1929 1490 0 -1 4202496 220149 0 0 0 93343 864 0 0 25 0 1 0 32924671 904495104 220031 1992294400 134512640 135751879 4288935168 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1929/statm: 220824 220031 151 303 0 220519 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 883296

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1960
/proc/meminfo: memFree=906652/2059040 swapFree=4136648/4192956
[pid=1929] ppid=1927 vsize=932324 CPUtime=1002.05
/proc/1929/stat : 1929 (wbo1.4b) R 1927 1929 1490 0 -1 4202496 232389 0 0 0 99306 899 0 0 25 0 1 0 32924671 954699776 232271 1992294400 134512640 135751879 4288935168 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1929/statm: 233081 232271 151 303 0 232776 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 932324

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1962
/proc/meminfo: memFree=867840/2059040 swapFree=4136648/4192956
[pid=1929] ppid=1927 vsize=971228 CPUtime=1062.04
/proc/1929/stat : 1929 (wbo1.4b) R 1927 1929 1490 0 -1 4202496 242111 0 0 0 105272 932 0 0 25 0 1 0 32924671 994537472 241993 1992294400 134512640 135751879 4288935168 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1929/statm: 242807 241993 151 303 0 242502 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 971228

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1964
/proc/meminfo: memFree=834856/2059040 swapFree=4136648/4192956
[pid=1929] ppid=1927 vsize=1003844 CPUtime=1122.02
/proc/1929/stat : 1929 (wbo1.4b) R 1927 1929 1490 0 -1 4202496 250233 0 0 0 111245 957 0 0 25 0 1 0 32924671 1027936256 250115 1992294400 134512640 135751879 4288935168 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1929/statm: 250961 250115 151 303 0 250656 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 1003844

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1966
/proc/meminfo: memFree=798772/2059040 swapFree=4136648/4192956
[pid=1929] ppid=1927 vsize=1041196 CPUtime=1182.01
/proc/1929/stat : 1929 (wbo1.4b) R 1927 1929 1490 0 -1 4202496 259532 0 0 0 117216 985 0 0 25 0 1 0 32924671 1066184704 259414 1992294400 134512640 135751879 4288935168 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1929/statm: 260299 259414 151 303 0 259994 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 1041196

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1968
/proc/meminfo: memFree=756612/2059040 swapFree=4136648/4192956
[pid=1929] ppid=1927 vsize=1081844 CPUtime=1242
/proc/1929/stat : 1929 (wbo1.4b) R 1927 1929 1490 0 -1 4202496 269685 0 0 0 123186 1014 0 0 25 0 1 0 32924671 1107808256 269567 1992294400 134512640 135751879 4288935168 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1929/statm: 270461 269567 151 303 0 270156 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 1081844

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1968
/proc/meminfo: memFree=720280/2059040 swapFree=4136648/4192956
[pid=1929] ppid=1927 vsize=1118056 CPUtime=1301.99
/proc/1929/stat : 1929 (wbo1.4b) R 1927 1929 1490 0 -1 4202496 278685 0 0 0 129159 1040 0 0 25 0 1 0 32924671 1144889344 278567 1992294400 134512640 135751879 4288935168 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1929/statm: 279514 278567 151 303 0 279209 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 1118056

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1970
/proc/meminfo: memFree=676880/2059040 swapFree=4136648/4192956
[pid=1929] ppid=1927 vsize=1161760 CPUtime=1361.97
/proc/1929/stat : 1929 (wbo1.4b) R 1927 1929 1490 0 -1 4202496 289606 0 0 0 135126 1071 0 0 25 0 1 0 32924671 1189642240 289488 1992294400 134512640 135751879 4288935168 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1929/statm: 290440 289488 151 303 0 290135 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 1161760

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1972
/proc/meminfo: memFree=630132/2059040 swapFree=4136648/4192956
[pid=1929] ppid=1927 vsize=1208160 CPUtime=1421.97
/proc/1929/stat : 1929 (wbo1.4b) R 1927 1929 1490 0 -1 4202496 301209 0 0 0 141094 1103 0 0 25 0 1 0 32924671 1237155840 301091 1992294400 134512640 135751879 4288935168 18446744073709551615 134616495 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1929/statm: 302040 301091 151 303 0 301735 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 1208160

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1977
/proc/meminfo: memFree=596032/2059040 swapFree=4136648/4192956
[pid=1929] ppid=1927 vsize=1242684 CPUtime=1481.94
/proc/1929/stat : 1929 (wbo1.4b) R 1927 1929 1490 0 -1 4202496 309823 0 0 0 147067 1127 0 0 25 0 1 0 32924671 1272508416 309705 1992294400 134512640 135751879 4288935168 18446744073709551615 134616355 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1929/statm: 310671 309705 151 303 0 310366 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 1242684

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1980
/proc/meminfo: memFree=559328/2059040 swapFree=4136648/4192956
[pid=1929] ppid=1927 vsize=1278976 CPUtime=1541.93
/proc/1929/stat : 1929 (wbo1.4b) R 1927 1929 1490 0 -1 4202496 318881 0 0 0 153040 1153 0 0 25 0 1 0 32924671 1309671424 318763 1992294400 134512640 135751879 4288935168 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1929/statm: 319744 318763 151 303 0 319439 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 1278976

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1980
/proc/meminfo: memFree=525104/2059040 swapFree=4136648/4192956
[pid=1929] ppid=1927 vsize=1313372 CPUtime=1601.91
/proc/1929/stat : 1929 (wbo1.4b) R 1927 1929 1490 0 -1 4202496 327467 0 0 0 159012 1179 0 0 25 0 1 0 32924671 1344892928 327349 1992294400 134512640 135751879 4288935168 18446744073709551615 134616437 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1929/statm: 328343 327349 151 303 0 328038 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 1313372

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1983
/proc/meminfo: memFree=481580/2059040 swapFree=4136648/4192956
[pid=1929] ppid=1927 vsize=1356964 CPUtime=1661.9
/proc/1929/stat : 1929 (wbo1.4b) R 1927 1929 1490 0 -1 4202496 338312 0 0 0 164983 1207 0 0 25 0 1 0 32924671 1389531136 338194 1992294400 134512640 135751879 4288935168 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1929/statm: 339241 338194 151 303 0 338936 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 1356964

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1985
/proc/meminfo: memFree=447108/2059040 swapFree=4136648/4192956
[pid=1929] ppid=1927 vsize=1391564 CPUtime=1721.89
/proc/1929/stat : 1929 (wbo1.4b) R 1927 1929 1490 0 -1 4202496 346938 0 0 0 170958 1231 0 0 25 0 1 0 32924671 1424961536 346820 1992294400 134512640 135751879 4288935168 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1929/statm: 347891 346820 151 303 0 347586 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 1391564

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1987
/proc/meminfo: memFree=409536/2059040 swapFree=4136648/4192956
[pid=1929] ppid=1927 vsize=1428756 CPUtime=1781.87
/proc/1929/stat : 1929 (wbo1.4b) R 1927 1929 1490 0 -1 4202496 356221 0 0 0 176930 1257 0 0 25 0 1 0 32924671 1463046144 356103 1992294400 134512640 135751879 4288935168 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1929/statm: 357189 356103 151 303 0 356884 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 1428756



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1987
/proc/meminfo: memFree=396144/2059040 swapFree=4136648/4192956
[pid=1929] ppid=1927 vsize=1441840 CPUtime=1800.07
/proc/1929/stat : 1929 (wbo1.4b) R 1927 1929 1490 0 -1 4202496 359493 0 0 0 178742 1265 0 0 25 0 1 0 32924671 1476444160 359375 1992294400 134512640 135751879 4288935168 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1929/statm: 360460 359375 151 303 0 360155 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1441840

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 1.00 2/108 1988
/proc/meminfo: memFree=1443316/2059040 swapFree=4136648/4192956
[pid=1929] ppid=1927 vsize=0 CPUtime=1800.19
/proc/1929/stat : 1929 (wbo1.4b) R 1927 1929 1490 0 -1 4203524 359493 0 0 0 178743 1276 0 0 25 0 1 0 32924671 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/1929/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.64
CPU time (s): 1800.22
CPU user time (s): 1787.43
CPU system time (s): 12.7911
CPU usage (%): 99.9766
Max. virtual memory (cumulated for all children) (KiB): 1441840

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

runsolver used 2.94055 second user time and 8.5427 second system time

The end

Launcher Data 

Begin job on node026 at 2010-06-15 11:04:53
IDJOB=2656251
IDBENCH=2860
IDSOLVER=1161
FILE ID=node026/2656251-1276592693
PBS_JOBID= 11173542
Free space on /tmp= 62560 MiB

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

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

MD5SUM BENCH= 863d0ff562dc066d0163e86da5775aea
RANDOM SEED=1632437539

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1838428 kB
Buffers:         27748 kB
Cached:         101340 kB
SwapCached:       9348 kB
Active:          84108 kB
Inactive:        58020 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1838428 kB
SwapTotal:     4192956 kB
SwapFree:      4136648 kB
Dirty:            2648 kB
Writeback:           0 kB
AnonPages:       11680 kB
Mapped:           9300 kB
Slab:            56572 kB
PageTables:       4000 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181012 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= 62556 MiB
End job on node026 at 2010-06-15 11:34:55