Trace number 2702361

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
wbo 1.4b (fixed)? (TO) 1800.14 1800.54

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_1000_25_2.opb
MD5SUM4286ef8a2349cd557f37fdb755cd5234
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark83
Best CPU time to get the best result obtained on this benchmark1800.97
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 75
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1000
Minimum length of a constraint26
Maximum length of a constraint51
Number of terms in the objective function 1000
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 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)31544
Sum of products size (including duplicates)63088
Number of different products31544
Sum of products size63088

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-2702361-1278564703.opb.
0.00/0.00	c Instance file HOME/instance-2702361-1278564703.opb
0.00/0.00	c File size is 2471912 bytes.
0.39/0.44	c Highest Coefficient sum: 52
0.39/0.45	c ============================[ Problem Statistics ]=============================
0.39/0.45	c |                                                                             |
0.39/0.45	c |  Parsing time:          0.43         s                                      |
0.39/0.45	c |  Number Variables:      32544                                               |
0.39/0.45	c |  Number Clauses:        32544                                               |
0.39/0.45	c |  Number Cardinality:    0                                                   |
0.39/0.45	c |  Number PB Constraints: 31544                                               |
0.39/0.49	c ============================[ Search Statistics ]==============================
0.39/0.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.39/0.49	c ===============================================================================
0.39/0.49	c |         0 |   32544    64088   221808 |    21362        0    nan |  0.000 % |
0.49/0.55	c ===============================================================================
0.49/0.55	c New solution: 557
0.49/0.55	o 557
0.49/0.55	c Elapsed CPU time: 0.527919 s	Remaining CPU time: 179.472 s
0.49/0.55	c ===============================================================================
0.49/0.55	c |         0 |   32544    64089   222808 |    21363        0    nan |  0.000 % |
0.49/0.59	c ===============================================================================
0.49/0.59	c New solution: 449
0.49/0.59	o 449
0.49/0.59	c Elapsed CPU time: 0.572912 s	Remaining CPU time: 179.427 s
0.49/0.59	c ===============================================================================
0.49/0.59	c |         0 |   32544    64090   223808 |    21363        0    nan |  0.000 % |
0.59/0.64	c ===============================================================================
0.59/0.64	c New solution: 276
0.59/0.64	o 276
0.59/0.64	c Elapsed CPU time: 0.622905 s	Remaining CPU time: 179.377 s
0.59/0.64	c ===============================================================================
0.59/0.64	c |         0 |   32544    64091   224808 |    21363        0    nan |  0.000 % |
0.59/0.69	c ===============================================================================
0.59/0.69	c New solution: 275
0.59/0.69	o 275
0.59/0.69	c Elapsed CPU time: 0.666898 s	Remaining CPU time: 179.333 s
0.59/0.69	c ===============================================================================
0.59/0.69	c |         0 |   32544    64092   225808 |    21364        0    nan |  0.000 % |
0.69/0.74	c ===============================================================================
0.69/0.74	c New solution: 274
0.69/0.74	o 274
0.69/0.74	c Elapsed CPU time: 0.713891 s	Remaining CPU time: 179.286 s
0.69/0.74	c ===============================================================================
0.69/0.74	c |         0 |   32544    64093   226808 |    21364        0    nan |  0.000 % |
0.69/0.78	c ===============================================================================
0.69/0.78	c New solution: 273
0.69/0.78	o 273
0.69/0.78	c Elapsed CPU time: 0.758884 s	Remaining CPU time: 179.241 s
0.69/0.78	c ===============================================================================
0.69/0.78	c |         0 |   32544    64094   227808 |    21364        0    nan |  0.000 % |
0.79/0.83	c ===============================================================================
0.79/0.83	c New solution: 272
0.79/0.83	o 272
0.79/0.83	c Elapsed CPU time: 0.802877 s	Remaining CPU time: 179.197 s
0.79/0.83	c ===============================================================================
0.79/0.83	c |         0 |   32544    64095   228808 |    21365        0    nan |  0.000 % |
0.79/0.87	c ===============================================================================
0.79/0.87	c New solution: 271
0.79/0.87	o 271
0.79/0.87	c Elapsed CPU time: 0.845871 s	Remaining CPU time: 179.154 s
0.79/0.87	c ===============================================================================
0.79/0.87	c |         0 |   32544    64096   229808 |    21365        0    nan |  0.000 % |
0.89/0.92	c ===============================================================================
0.89/0.92	c New solution: 270
0.89/0.92	o 270
0.89/0.92	c Elapsed CPU time: 0.891864 s	Remaining CPU time: 179.108 s
0.89/0.92	c ===============================================================================
0.89/0.92	c |         0 |   32544    64097   230808 |    21365        0    nan |  0.000 % |
0.89/0.97	c ===============================================================================
0.89/0.97	c New solution: 269
0.89/0.97	o 269
0.89/0.97	c Elapsed CPU time: 0.936857 s	Remaining CPU time: 179.063 s
0.89/0.97	c ===============================================================================
0.89/0.97	c |         0 |   32544    64098   231808 |    21366        0    nan |  0.000 % |
1.00/1.02	c ===============================================================================
1.00/1.02	c New solution: 220
1.00/1.02	o 220
1.00/1.02	c Elapsed CPU time: 0.988849 s	Remaining CPU time: 179.011 s
1.00/1.02	c ===============================================================================
1.00/1.02	c |         0 |   32544    64099   232808 |    21366        0    nan |  0.000 % |
1.59/1.65	c ===============================================================================
1.59/1.65	c New solution: 219
1.59/1.65	o 219
1.59/1.65	c Elapsed CPU time: 1.62275 s	Remaining CPU time: 178.377 s
1.59/1.65	c ===============================================================================
1.59/1.65	c |        43 |   32544    64100   233808 |    21366       43    226 |  0.000 % |
1.69/1.71	c ===============================================================================
1.69/1.71	c New solution: 95
1.69/1.71	o 95
1.69/1.71	c Elapsed CPU time: 1.67874 s	Remaining CPU time: 178.321 s
1.69/1.71	c ===============================================================================
1.69/1.71	c |        43 |   32544    64101   234808 |    21367       43    226 |  0.000 % |
2.49/2.53	c |       143 |   32544    64101   234808 |    23503      143    148 |  0.000 % |
2.69/2.77	c |       294 |   32544    64101   234808 |    25854      294    155 |  0.000 % |
2.89/2.92	c |       521 |   32544    64101   234808 |    28439      521    172 |  0.000 % |
2.89/2.99	c ===============================================================================
2.89/2.99	c New solution: 94
2.89/2.99	o 94
2.89/2.99	c Elapsed CPU time: 2.94355 s	Remaining CPU time: 177.056 s
2.89/2.99	c ===============================================================================
2.89/2.99	c |       521 |   32544    64102   235808 |    21367      521    172 |  0.000 % |
2.99/3.07	c |       623 |   32544    64102   235808 |    23504      623    174 |  0.000 % |
3.09/3.13	c ===============================================================================
3.09/3.13	c New solution: 92
3.09/3.13	o 92
3.09/3.13	c Elapsed CPU time: 3.08053 s	Remaining CPU time: 176.919 s
3.09/3.13	c ===============================================================================
3.09/3.13	c |       623 |   32544    64103   236808 |    21367      623    174 |  0.000 % |
3.20/3.21	c |       724 |   32544    64103   236808 |    23504      724    177 |  0.000 % |
3.30/3.33	c |       874 |   32544    64103   236808 |    25854      874    178 |  0.000 % |
3.30/3.39	c ===============================================================================
3.30/3.39	c New solution: 89
3.30/3.39	o 89
3.30/3.39	c Elapsed CPU time: 3.33649 s	Remaining CPU time: 176.664 s
3.30/3.39	c ===============================================================================
3.30/3.39	c |       874 |   32544    64104   237808 |    21368      874    178 |  0.000 % |
3.39/3.49	c |       974 |   32544    64104   237808 |    23504      974    183 |  0.000 % |
3.59/3.62	c |      1125 |   32544    64104   237808 |    25855     1125    189 |  0.000 % |
3.79/3.81	c |      1352 |   32544    64104   237808 |    28440     1352    199 |  0.000 % |
3.99/4.09	c |      1690 |   32544    64104   237808 |    31284     1690    204 |  0.000 % |
4.39/4.44	c |      2196 |   32544    64104   237808 |    34413     2196    199 |  0.000 % |
4.49/4.56	c ===============================================================================
4.49/4.56	c New solution: 88
4.49/4.56	o 88
4.49/4.56	c Elapsed CPU time: 4.49432 s	Remaining CPU time: 175.506 s
4.49/4.56	c ===============================================================================
4.49/4.56	c |      2335 |   32544    64105   238808 |    21368     2335    199 |  0.000 % |
4.59/4.67	c |      2435 |   32544    64105   238808 |    23505     2435    199 |  0.000 % |
4.68/4.78	c |      2585 |   32544    64105   238808 |    25855     2585    201 |  0.000 % |
4.88/4.96	c |      2811 |   32544    64105   238808 |    28441     2811    205 |  0.000 % |
5.09/5.15	c |      3149 |   32544    64105   238808 |    31285     3149    202 |  0.000 % |
5.49/5.53	c |      3656 |   32544    64105   238808 |    34413     3656    210 |  0.000 % |
5.99/6.01	c |      4415 |   32544    64105   238808 |    37855     4415    218 |  0.000 % |
6.60/6.68	c |      5555 |   32544    64105   238808 |    41640     5555    216 |  0.000 % |
7.88/7.97	c |      7263 |   32544    64105   238808 |    45804     7263    216 |  0.000 % |
9.49/9.54	c |      9825 |   32544    64105   238808 |    50385     9825    217 |  0.000 % |
12.18/12.23	c |     13670 |   32544    64105   238808 |    55423    13670    217 |  0.000 % |
16.49/16.58	c |     19437 |   32544    64105   238808 |    60966    19437    225 |  0.000 % |
22.58/22.60	c |     28087 |   32544    64105   238808 |    67062    28087    219 |  0.000 % |
34.09/34.13	c |     41061 |   32544    64105   238808 |    73769    41061    237 |  0.000 % |
51.69/51.74	c |     60523 |   32544    64105   238808 |    81146    60523    231 |  0.000 % |
83.77/83.85	c |     89715 |   32544    64105   238808 |    89260    89715    243 |  0.000 % |
134.86/134.94	c |    133504 |   32544    64105   238808 |    98186    57306    291 |  0.000 % |
181.25/181.32	c There are 0 assigned variables. 0 in cost function.
182.85/182.97	c core #1
182.85/182.97	c 
182.85/182.97	c 
182.85/182.97	c Core size: 52	Core Weight: 1	Total Weight: 1
182.85/182.97	c
182.85/182.97	c
182.85/182.97	c core #2
182.85/182.97	c 
182.85/182.97	c 
182.85/182.97	c Core size: 52	Core Weight: 1	Total Weight: 2
182.85/182.97	c
182.85/182.97	c
182.85/182.97	c core #3
182.85/182.97	c 
182.85/182.97	c 
182.85/182.97	c Core size: 52	Core Weight: 1	Total Weight: 3
182.85/182.97	c
182.85/182.97	c
182.85/182.97	c core #4
182.85/182.97	c 
182.85/182.97	c 
182.85/182.97	c Core size: 52	Core Weight: 1	Total Weight: 4
182.85/182.97	c
182.85/182.97	c
182.85/182.97	c core #5
182.85/182.97	c 
182.85/182.97	c 
182.85/182.97	c Core size: 52	Core Weight: 1	Total Weight: 5
182.85/182.97	c
182.85/182.97	c
182.85/182.97	c core #6
182.85/182.97	c 
182.85/182.97	c 
182.85/182.97	c Core size: 54	Core Weight: 1	Total Weight: 6
182.85/182.97	c
182.85/182.97	c
182.85/182.97	c core #7
182.85/182.97	c 
182.85/182.97	c 
182.85/182.97	c Core size: 52	Core Weight: 1	Total Weight: 7
182.85/182.97	c
182.85/182.97	c
182.85/182.97	c core #8
182.85/182.97	c 
182.85/182.97	c 
182.85/182.97	c Core size: 58	Core Weight: 1	Total Weight: 8
182.85/182.97	c
182.85/182.97	c
182.85/182.97	c core #9
182.85/182.97	c 
182.85/182.97	c 
182.85/182.97	c Core size: 169	Core Weight: 1	Total Weight: 9
182.85/182.97	c
182.85/182.97	c
182.85/182.97	c ============================[ Search Statistics ]==============================
182.85/182.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.85/182.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.85/182.98	c ===============================================================================
182.85/182.98	c |         0 |   10069    65114   171509 |    21704        0    nan |  0.000 % |
183.05/183.10	c ===============================================================================
183.25/183.33	c core #10
183.25/183.33	c 
183.25/183.33	c 
183.25/183.33	c Core size: 443	Core Weight: 1	Total Weight: 10
183.25/183.33	c
183.25/183.33	c
183.25/183.33	c ============================[ Search Statistics ]==============================
183.25/183.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.25/183.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.25/183.33	c ===============================================================================
183.25/183.33	c |         0 |   15852    65115   189268 |    21705        0    nan |  0.000 % |
183.45/183.54	c |       103 |   15852    65115   189268 |    23875      103    188 | 52.100 % |
183.85/183.94	c |       253 |   15852    65115   189268 |    26263      253    343 | 52.100 % |
184.35/184.40	c |       478 |   15852    65115   189268 |    28889      478    465 | 52.100 % |
185.45/185.58	c |       816 |   15852    65115   189268 |    31778      816    527 | 52.100 % |
187.35/187.50	c |      1323 |   15852    65115   189268 |    34956     1323    561 | 52.100 % |
190.25/190.36	c ===============================================================================
190.55/190.62	c core #11
190.55/190.62	c 
190.55/190.62	c 
190.55/190.62	c Core size: 2255	Core Weight: 1	Total Weight: 11
190.55/190.62	c
190.55/190.62	c
190.55/190.62	c ============================[ Search Statistics ]==============================
190.55/190.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.55/190.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.55/190.62	c ===============================================================================
190.55/190.62	c |         0 |   31993    65116   236853 |    21705        0    nan |  0.000 % |
191.05/191.19	c |       102 |   31993    65116   236853 |    23875      102     90 |  5.842 % |
194.15/194.29	c |       252 |   31993    65116   236853 |    26263      252     52 |  5.842 % |
198.64/198.70	c |       478 |   31993    65116   236853 |    28889      478     48 |  5.842 % |
202.25/202.36	c |       815 |   31993    65116   236853 |    31778      815     73 |  5.842 % |
209.65/209.75	c |      1321 |   31993    65116   236853 |    34956     1321     80 |  5.842 % |
221.24/221.33	c |      2080 |   31993    65116   236853 |    38452     2080     91 |  5.842 % |
237.74/237.80	c |      3221 |   31993    65116   236853 |    42297     3221    106 |  5.842 % |
261.74/261.86	c |      4930 |   31993    65116   236853 |    46527     4930    131 |  5.842 % |
296.22/296.30	c |      7494 |   31993    65116   236853 |    51180     7494    150 |  5.842 % |
344.42/344.55	c |     11339 |   31993    65116   236853 |    56298    11339    214 |  5.842 % |
421.30/421.42	c |     17109 |   31993    65116   236853 |    61927    17109    265 |  5.842 % |
541.17/541.39	c |     25759 |   31993    65116   236853 |    68120    25759    276 |  5.842 % |
695.13/695.31	c |     38733 |   31993    65116   236853 |    74932    38733    292 |  5.842 % |
962.28/962.58	c |     58194 |   31993    65116   236853 |    82425    58194    311 |  5.842 % |
1341.09/1341.48	c |     87387 |   31993    65116   236853 |    90668    16538    327 |  5.842 % |
1778.60/1779.04	c ===============================================================================
1781.30/1781.77	c core #12
1781.30/1781.77	c 
1781.30/1781.77	c 
1781.30/1781.77	c Core size: 1948	Core Weight: 1	Total Weight: 12
1781.30/1781.77	c
1781.30/1781.77	c
1781.30/1781.77	c ============================[ Search Statistics ]==============================
1781.30/1781.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1781.30/1781.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1781.30/1781.77	c ===============================================================================
1781.30/1781.77	c |         0 |   34780    65117   244117 |    21705        0    nan |  0.000 % |
1781.70/1782.14	c |       106 |   34780    65117   244117 |    23876      106    594 |  0.501 % |
1782.60/1783.09	c |       256 |   34780    65117   244117 |    26263      256    403 |  0.501 % |
1784.09/1784.57	c |       482 |   34780    65117   244117 |    28890      482    327 |  0.501 % |
1786.59/1787.07	c |       819 |   34780    65117   244117 |    31779      819    301 |  0.501 % |
1789.20/1789.65	c |      1326 |   34780    65117   244117 |    34957     1326    301 |  0.501 % |
1795.69/1796.17	c |      2085 |   34780    65117   244117 |    38452     2085    335 |  0.501 % |

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-2702361-1278564703/watcher-2702361-1278564703 -o /tmp/evaluation-result-2702361-1278564703/solver-2702361-1278564703 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702361-1278564703.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 30881
/proc/meminfo: memFree=1674588/2059040 swapFree=4162804/4192956
[pid=30881] ppid=30879 vsize=5464 CPUtime=0
/proc/30881/stat : 30881 (wbo1.4b) R 30879 30881 30686 0 -1 4202496 412 0 0 0 0 0 0 0 20 0 1 0 24681945 5595136 330 1992294400 134512640 135752675 4288013792 18446744073709551615 134609613 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30881/statm: 1366 331 138 303 0 457 0

[startup+0.016094 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 30881
/proc/meminfo: memFree=1674588/2059040 swapFree=4162804/4192956
[pid=30881] ppid=30879 vsize=6072 CPUtime=0.01
/proc/30881/stat : 30881 (wbo1.4b) R 30879 30881 30686 0 -1 4202496 556 0 0 0 1 0 0 0 20 0 1 0 24681945 6217728 475 1992294400 134512640 135752675 4288013792 18446744073709551615 134560003 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30881/statm: 1518 475 147 303 0 609 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 6072

[startup+0.101099 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 30881
/proc/meminfo: memFree=1674588/2059040 swapFree=4162804/4192956
[pid=30881] ppid=30879 vsize=11092 CPUtime=0.09
/proc/30881/stat : 30881 (wbo1.4b) R 30879 30881 30686 0 -1 4202496 1673 0 0 0 9 0 0 0 20 0 1 0 24681945 11358208 1591 1992294400 134512640 135752675 4288013792 18446744073709551615 134562898 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30881/statm: 2773 1591 257 303 0 1864 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11092

[startup+0.301111 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 30881
/proc/meminfo: memFree=1674588/2059040 swapFree=4162804/4192956
[pid=30881] ppid=30879 vsize=14320 CPUtime=0.29
/proc/30881/stat : 30881 (wbo1.4b) R 30879 30881 30686 0 -1 4202496 2752 0 0 0 29 0 0 0 20 0 1 0 24681945 14663680 2670 1992294400 134512640 135752675 4288013792 18446744073709551615 135203161 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30881/statm: 3580 2671 528 303 0 2671 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14320

[startup+0.701137 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 30881
/proc/meminfo: memFree=1674588/2059040 swapFree=4162804/4192956
[pid=30881] ppid=30879 vsize=17356 CPUtime=0.69
/proc/30881/stat : 30881 (wbo1.4b) R 30879 30881 30686 0 -1 4202496 4936 0 0 0 67 2 0 0 21 0 1 0 24681945 17772544 3640 1992294400 134512640 135752675 4288013792 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30881/statm: 4339 3640 143 303 0 4034 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17356

[startup+1.50119 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30882
/proc/meminfo: memFree=1660196/2059040 swapFree=4162804/4192956
[pid=30881] ppid=30879 vsize=17356 CPUtime=1.49
/proc/30881/stat : 30881 (wbo1.4b) R 30879 30881 30686 0 -1 4202496 4937 0 0 0 146 3 0 0 22 0 1 0 24681945 17772544 3641 1992294400 134512640 135752675 4288013792 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30881/statm: 4339 3641 144 303 0 4034 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17356

[startup+3.10129 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30882
/proc/meminfo: memFree=1659824/2059040 swapFree=4162804/4192956
[pid=30881] ppid=30879 vsize=17356 CPUtime=3.09
/proc/30881/stat : 30881 (wbo1.4b) R 30879 30881 30686 0 -1 4202496 4938 0 0 0 304 5 0 0 25 0 1 0 24681945 17772544 3642 1992294400 134512640 135752675 4288013792 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30881/statm: 4339 3642 145 303 0 4034 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17356

[startup+6.3005 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30882
/proc/meminfo: memFree=1657964/2059040 swapFree=4162804/4192956
[pid=30881] ppid=30879 vsize=21316 CPUtime=6.29
/proc/30881/stat : 30881 (wbo1.4b) R 30879 30881 30686 0 -1 4202496 5898 0 0 0 621 8 0 0 25 0 1 0 24681945 21827584 4602 1992294400 134512640 135752675 4288013792 18446744073709551615 134605412 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30881/statm: 5329 4602 145 303 0 5024 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21316

[startup+12.7009 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30882
/proc/meminfo: memFree=1648292/2059040 swapFree=4162804/4192956
[pid=30881] ppid=30879 vsize=30560 CPUtime=12.69
/proc/30881/stat : 30881 (wbo1.4b) R 30879 30881 30686 0 -1 4202496 8211 0 0 0 1255 14 0 0 25 0 1 0 24681945 31293440 6915 1992294400 134512640 135752675 4288013792 18446744073709551615 134605038 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30881/statm: 7640 6915 145 303 0 7335 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 30560

[startup+25.5007 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30882
/proc/meminfo: memFree=1629692/2059040 swapFree=4162804/4192956
[pid=30881] ppid=30879 vsize=48540 CPUtime=25.49
/proc/30881/stat : 30881 (wbo1.4b) R 30879 30881 30686 0 -1 4202496 12724 0 0 0 2524 25 0 0 25 0 1 0 24681945 49704960 11428 1992294400 134512640 135752675 4288013792 18446744073709551615 134616133 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30881/statm: 12135 11428 145 303 0 11830 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 48540

[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30884
/proc/meminfo: memFree=1600180/2059040 swapFree=4162804/4192956
[pid=30881] ppid=30879 vsize=78200 CPUtime=51.08
/proc/30881/stat : 30881 (wbo1.4b) R 30879 30881 30686 0 -1 4202496 20142 0 0 0 5067 41 0 0 25 0 1 0 24681945 80076800 18846 1992294400 134512640 135752675 4288013792 18446744073709551615 134605375 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30881/statm: 19550 18846 145 303 0 19245 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 78200

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30884
/proc/meminfo: memFree=1541404/2059040 swapFree=4162804/4192956
[pid=30881] ppid=30879 vsize=136360 CPUtime=102.28
/proc/30881/stat : 30881 (wbo1.4b) R 30879 30881 30686 0 -1 4202496 34644 0 0 0 10150 78 0 0 25 0 1 0 24681945 139632640 33348 1992294400 134512640 135752675 4288013792 18446744073709551615 134611588 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30881/statm: 34090 33348 145 303 0 33785 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 136360

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30886
/proc/meminfo: memFree=1475436/2059040 swapFree=4162804/4192956
[pid=30881] ppid=30879 vsize=202988 CPUtime=162.26
/proc/30881/stat : 30881 (wbo1.4b) R 30879 30881 30686 0 -1 4202496 51288 0 0 0 16109 117 0 0 25 0 1 0 24681945 207859712 49992 1992294400 134512640 135752675 4288013792 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30881/statm: 50747 49992 145 303 0 50442 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 202988

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30888
/proc/meminfo: memFree=1455100/2059040 swapFree=4162804/4192956
[pid=30881] ppid=30879 vsize=220724 CPUtime=222.25
/proc/30881/stat : 30881 (wbo1.4b) R 30879 30881 30686 0 -1 4202496 57760 0 0 0 22092 133 0 0 25 0 1 0 24681945 226021376 54678 1992294400 134512640 135752675 4288013792 18446744073709551615 134605224 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30881/statm: 55181 54678 146 303 0 54876 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 220724

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30890
/proc/meminfo: memFree=1455100/2059040 swapFree=4162804/4192956
[pid=30881] ppid=30879 vsize=220724 CPUtime=282.23
/proc/30881/stat : 30881 (wbo1.4b) R 30879 30881 30686 0 -1 4202496 57760 0 0 0 28084 139 0 0 25 0 1 0 24681945 226021376 54678 1992294400 134512640 135752675 4288013792 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30881/statm: 55181 54678 146 303 0 54876 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 220724

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30891
/proc/meminfo: memFree=1455100/2059040 swapFree=4162804/4192956
[pid=30881] ppid=30879 vsize=220724 CPUtime=342.22
/proc/30881/stat : 30881 (wbo1.4b) R 30879 30881 30686 0 -1 4202496 57761 0 0 0 34079 143 0 0 25 0 1 0 24681945 226021376 54679 1992294400 134512640 135752675 4288013792 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30881/statm: 55181 54679 146 303 0 54876 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 220724

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30892
/proc/meminfo: memFree=1455100/2059040 swapFree=4162804/4192956
[pid=30881] ppid=30879 vsize=220724 CPUtime=402.2
/proc/30881/stat : 30881 (wbo1.4b) R 30879 30881 30686 0 -1 4202496 57761 0 0 0 40073 147 0 0 25 0 1 0 24681945 226021376 54679 1992294400 134512640 135752675 4288013792 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30881/statm: 55181 54679 146 303 0 54876 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 220724

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30894
/proc/meminfo: memFree=1455100/2059040 swapFree=4162804/4192956
[pid=30881] ppid=30879 vsize=220724 CPUtime=462.18
/proc/30881/stat : 30881 (wbo1.4b) R 30879 30881 30686 0 -1 4202496 57761 0 0 0 46067 151 0 0 25 0 1 0 24681945 226021376 54679 1992294400 134512640 135752675 4288013792 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30881/statm: 55181 54679 146 303 0 54876 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 220724

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30896
/proc/meminfo: memFree=1455100/2059040 swapFree=4162804/4192956
[pid=30881] ppid=30879 vsize=220724 CPUtime=522.18
/proc/30881/stat : 30881 (wbo1.4b) R 30879 30881 30686 0 -1 4202496 57761 0 0 0 52061 157 0 0 25 0 1 0 24681945 226021376 54679 1992294400 134512640 135752675 4288013792 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30881/statm: 55181 54679 146 303 0 54876 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 220724

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30907
/proc/meminfo: memFree=1454976/2059040 swapFree=4162804/4192956
[pid=30881] ppid=30879 vsize=220724 CPUtime=582.16
/proc/30881/stat : 30881 (wbo1.4b) R 30879 30881 30686 0 -1 4202496 57762 0 0 0 58054 162 0 0 25 0 1 0 24681945 226021376 54680 1992294400 134512640 135752675 4288013792 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30881/statm: 55181 54680 146 303 0 54876 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 220724

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30908
/proc/meminfo: memFree=1454976/2059040 swapFree=4162804/4192956
[pid=30881] ppid=30879 vsize=220724 CPUtime=642.15
/proc/30881/stat : 30881 (wbo1.4b) R 30879 30881 30686 0 -1 4202496 57762 0 0 0 64047 168 0 0 25 0 1 0 24681945 226021376 54680 1992294400 134512640 135752675 4288013792 18446744073709551615 134605224 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30881/statm: 55181 54680 146 303 0 54876 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 220724

[startup+702.302 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30915
/proc/meminfo: memFree=1454728/2059040 swapFree=4162804/4192956
[pid=30881] ppid=30879 vsize=220724 CPUtime=882.09
/proc/30881/stat : 30881 (wbo1.4b) R 30879 30881 30686 0 -1 4202496 57775 0 0 0 88024 185 0 0 25 0 1 0 24681945 226021376 54693 1992294400 134512640 135752675 4288013792 18446744073709551615 134616133 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30881/statm: 55181 54693 146 303 0 54876 0
Current children cumulated CPU time (s) 882.09
Current children cumulated vsize (KiB) 220724

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30916
/proc/meminfo: memFree=1454604/2059040 swapFree=4162804/4192956
[pid=30881] ppid=30879 vsize=220724 CPUtime=942.08
/proc/30881/stat : 30881 (wbo1.4b) R 30879 30881 30686 0 -1 4202496 57775 0 0 0 94019 189 0 0 25 0 1 0 24681945 226021376 54693 1992294400 134512640 135752675 4288013792 18446744073709551615 134605295 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30881/statm: 55181 54693 146 303 0 54876 0
Current children cumulated CPU time (s) 942.08
Current children cumulated vsize (KiB) 220724

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30917
/proc/meminfo: memFree=1454604/2059040 swapFree=4162804/4192956
[pid=30881] ppid=30879 vsize=220724 CPUtime=1002.06
/proc/30881/stat : 30881 (wbo1.4b) R 30879 30881 30686 0 -1 4202496 57783 0 0 0 100013 193 0 0 25 0 1 0 24681945 226021376 54701 1992294400 134512640 135752675 4288013792 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30881/statm: 55181 54701 146 303 0 54876 0
Current children cumulated CPU time (s) 1002.06
Current children cumulated vsize (KiB) 220724

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30919
/proc/meminfo: memFree=1454604/2059040 swapFree=4162804/4192956
[pid=30881] ppid=30879 vsize=220724 CPUtime=1062.05
/proc/30881/stat : 30881 (wbo1.4b) R 30879 30881 30686 0 -1 4202496 57785 0 0 0 106007 198 0 0 25 0 1 0 24681945 226021376 54703 1992294400 134512640 135752675 4288013792 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30881/statm: 55181 54703 146 303 0 54876 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 220724

[startup+1122.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 30921
/proc/meminfo: memFree=1454480/2059040 swapFree=4162804/4192956
[pid=30881] ppid=30879 vsize=220724 CPUtime=1122.04
/proc/30881/stat : 30881 (wbo1.4b) R 30879 30881 30686 0 -1 4202496 57809 0 0 0 112000 204 0 0 25 0 1 0 24681945 226021376 54727 1992294400 134512640 135752675 4288013792 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30881/statm: 55181 54727 146 303 0 54876 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 220724

[startup+1182.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 30923
/proc/meminfo: memFree=1454480/2059040 swapFree=4162804/4192956
[pid=30881] ppid=30879 vsize=220724 CPUtime=1182.02
/proc/30881/stat : 30881 (wbo1.4b) R 30879 30881 30686 0 -1 4202496 57811 0 0 0 117995 207 0 0 25 0 1 0 24681945 226021376 54729 1992294400 134512640 135752675 4288013792 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30881/statm: 55181 54729 146 303 0 54876 0
Current children cumulated CPU time (s) 1182.02
Current children cumulated vsize (KiB) 220724

[startup+1242.3 s]
/proc/loadavg: 1.12 1.04 1.01 2/107 30924
/proc/meminfo: memFree=1445924/2059040 swapFree=4162804/4192956
[pid=30881] ppid=30879 vsize=229316 CPUtime=1242.02
/proc/30881/stat : 30881 (wbo1.4b) R 30879 30881 30686 0 -1 4202496 59938 0 0 0 123985 217 0 0 25 0 1 0 24681945 234819584 56856 1992294400 134512640 135752675 4288013792 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30881/statm: 57329 56856 146 303 0 57024 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 229316

[startup+1302.3 s]
/proc/loadavg: 1.10 1.04 1.01 2/107 30925
/proc/meminfo: memFree=1436004/2059040 swapFree=4162804/4192956
[pid=30881] ppid=30879 vsize=239152 CPUtime=1302
/proc/30881/stat : 30881 (wbo1.4b) R 30879 30881 30686 0 -1 4202496 62389 0 0 0 129976 224 0 0 25 0 1 0 24681945 244891648 59307 1992294400 134512640 135752675 4288013792 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30881/statm: 59788 59307 146 303 0 59483 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 239152

[startup+1362.3 s]
/proc/loadavg: 1.08 1.05 1.01 2/107 30927
/proc/meminfo: memFree=1429060/2059040 swapFree=4162804/4192956
[pid=30881] ppid=30879 vsize=246188 CPUtime=1361.99
/proc/30881/stat : 30881 (wbo1.4b) R 30879 30881 30686 0 -1 4202496 64149 0 0 0 135969 230 0 0 25 0 1 0 24681945 252096512 61067 1992294400 134512640 135752675 4288013792 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30881/statm: 61547 61067 146 303 0 61242 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 246188

[startup+1422.31 s]
/proc/loadavg: 1.03 1.03 1.00 2/107 30929
/proc/meminfo: memFree=1421124/2059040 swapFree=4162804/4192956
[pid=30881] ppid=30879 vsize=253900 CPUtime=1421.98
/proc/30881/stat : 30881 (wbo1.4b) R 30879 30881 30686 0 -1 4202496 66082 0 0 0 141961 237 0 0 25 0 1 0 24681945 259993600 63000 1992294400 134512640 135752675 4288013792 18446744073709551615 134605232 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30881/statm: 63475 63000 146 303 0 63170 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 253900

[startup+1482.3 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 30931
/proc/meminfo: memFree=1414056/2059040 swapFree=4162804/4192956
[pid=30881] ppid=30879 vsize=261040 CPUtime=1481.96
/proc/30881/stat : 30881 (wbo1.4b) R 30879 30881 30686 0 -1 4202496 67867 0 0 0 147950 246 0 0 25 0 1 0 24681945 267304960 64785 1992294400 134512640 135752675 4288013792 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30881/statm: 65260 64785 146 303 0 64955 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 261040

[startup+1542.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 30932
/proc/meminfo: memFree=1402772/2059040 swapFree=4162804/4192956
[pid=30881] ppid=30879 vsize=272768 CPUtime=1541.95
/proc/30881/stat : 30881 (wbo1.4b) R 30879 30881 30686 0 -1 4202496 70776 0 0 0 153940 255 0 0 25 0 1 0 24681945 279314432 67694 1992294400 134512640 135752675 4288013792 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30881/statm: 68192 67694 146 303 0 67887 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 272768

[startup+1602.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 30933
/proc/meminfo: memFree=1391240/2059040 swapFree=4162804/4192956
[pid=30881] ppid=30879 vsize=284260 CPUtime=1601.93
/proc/30881/stat : 30881 (wbo1.4b) R 30879 30881 30686 0 -1 4202496 73649 0 0 0 159931 262 0 0 25 0 1 0 24681945 291082240 70567 1992294400 134512640 135752675 4288013792 18446744073709551615 134605483 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30881/statm: 71065 70567 146 303 0 70760 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 284260

[startup+1662.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 30938
/proc/meminfo: memFree=1378468/2059040 swapFree=4162804/4192956
[pid=30881] ppid=30879 vsize=297020 CPUtime=1661.92
/proc/30881/stat : 30881 (wbo1.4b) R 30879 30881 30686 0 -1 4202496 76795 0 0 0 165920 272 0 0 25 0 1 0 24681945 304148480 73713 1992294400 134512640 135752675 4288013792 18446744073709551615 134605055 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30881/statm: 74255 73713 146 303 0 73950 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 297020

[startup+1722.3 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 30940
/proc/meminfo: memFree=1366068/2059040 swapFree=4162804/4192956
[pid=30881] ppid=30879 vsize=309452 CPUtime=1721.91
/proc/30881/stat : 30881 (wbo1.4b) R 30879 30881 30686 0 -1 4202496 79896 0 0 0 171908 283 0 0 25 0 1 0 24681945 316878848 76814 1992294400 134512640 135752675 4288013792 18446744073709551615 134616133 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30881/statm: 77363 76814 146 303 0 77058 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 309452

[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 30942
/proc/meminfo: memFree=1339284/2059040 swapFree=4162804/4192956
[pid=30881] ppid=30879 vsize=336772 CPUtime=1781.89
/proc/30881/stat : 30881 (wbo1.4b) R 30879 30881 30686 0 -1 4202496 86679 0 0 0 177894 295 0 0 25 0 1 0 24681945 344854528 83454 1992294400 134512640 135752675 4288013792 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30881/statm: 84193 83454 146 303 0 83888 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 336772



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 30942
/proc/meminfo: memFree=1339284/2059040 swapFree=4162804/4192956
[pid=30881] ppid=30879 vsize=336772 CPUtime=1800.09
/proc/30881/stat : 30881 (wbo1.4b) R 30879 30881 30686 0 -1 4202496 86679 0 0 0 179711 298 0 0 25 0 1 0 24681945 344854528 83454 1992294400 134512640 135752675 4288013792 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30881/statm: 84193 83454 146 303 0 83888 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 336772

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 30942
/proc/meminfo: memFree=1339284/2059040 swapFree=4162804/4192956
[pid=30881] ppid=30879 vsize=336772 CPUtime=1800.09
/proc/30881/stat : 30881 (wbo1.4b) R 30879 30881 30686 0 -1 4202496 86679 0 0 0 179711 298 0 0 25 0 1 0 24681945 344854528 83454 1992294400 134512640 135752675 4288013792 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30881/statm: 84193 83454 146 303 0 83888 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 336772

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.54
CPU time (s): 1800.14
CPU user time (s): 1797.12
CPU system time (s): 3.02154
CPU usage (%): 99.9776
Max. virtual memory (cumulated for all children) (KiB): 336772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.12
system time used= 3.02154
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86679
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= 13
involuntary context switches= 3814

runsolver used 2.83357 second user time and 8.64968 second system time

The end

Launcher Data 

Begin job on node030 at 2010-07-08 06:51:43
IDJOB=2702361
IDBENCH=48115
IDSOLVER=1190
FILE ID=node030/2702361-1278564703
PBS_JOBID= 11239550
Free space on /tmp= 62516 MiB

SOLVER NAME= wbo 1.4b (fixed)
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_1000_25_2.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702361-1278564703/watcher-2702361-1278564703 -o /tmp/evaluation-result-2702361-1278564703/solver-2702361-1278564703 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702361-1278564703.opb

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

MD5SUM BENCH= 4286ef8a2349cd557f37fdb755cd5234
RANDOM SEED=1846395582

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1677472 kB
Buffers:         64328 kB
Cached:         209508 kB
SwapCached:       1692 kB
Active:         142160 kB
Inactive:       163448 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1677472 kB
SwapTotal:     4192956 kB
SwapFree:      4162804 kB
Dirty:            3132 kB
Writeback:           0 kB
AnonPages:       29956 kB
Mapped:          13280 kB
Slab:            54056 kB
PageTables:       4172 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179976 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702361-1278564703.opb

Free space on /tmp at the end= 62512 MiB
End job on node030 at 2010-07-08 07:21:47