Trace number 2655941

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? (MO) 1721.92 1722.38

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb
MD5SUM6389567e651775a5f815611581d2023e
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark557
Best CPU time to get the best result obtained on this benchmark1802.16
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 474
Optimality of the best value was proved NO
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
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 constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 494177
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 494177
Number of bits of the biggest sum of numbers19
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-2655941-1276383597.opb.
0.00/0.00	c Instance file HOME/instance-2655941-1276383597.opb
0.00/0.00	c File size is 17233678 bytes.
2.58/2.63	c Highest Coefficient sum: 101
2.58/2.63	c ============================[ Problem Statistics ]=============================
2.58/2.63	c |                                                                             |
2.58/2.63	c |  Parsing time:          2.59         s                                      |
2.58/2.63	c |  Number Variables:      10000                                               |
2.58/2.63	c |  Number Clauses:        656900                                              |
2.58/2.63	c |  Number Cardinality:    0                                                   |
2.58/2.63	c |  Number PB Constraints: 0                                                   |
6.08/6.11	c ============================[ Search Statistics ]==============================
6.08/6.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.08/6.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.08/6.11	c ===============================================================================
6.08/6.11	c |         0 |   10000   656900  1333400 |   218966        0    nan |  0.000 % |
6.08/6.19	c |       100 |   10000   656900  1333400 |   240863      100    958 |  0.000 % |
6.28/6.32	c |       251 |   10000   656900  1333400 |   264949      251   1339 |  0.000 % |
6.59/6.62	c ===============================================================================
6.59/6.62	c New solution: 6940
6.59/6.62	o 6940
6.59/6.62	c Elapsed CPU time: 6.51001 s	Remaining CPU time: 173.49 s
6.59/6.62	c ===============================================================================
6.59/6.62	c |       283 |   10000   656901  1343400 |   218967      283   1242 |  0.000 % |
6.88/6.92	c ===============================================================================
6.88/6.92	c New solution: 6431
6.88/6.92	o 6431
6.88/6.92	c Elapsed CPU time: 6.80197 s	Remaining CPU time: 173.198 s
6.88/6.92	c ===============================================================================
6.88/6.92	c |       289 |   10000   656902  1353400 |   218967      289   1221 |  0.000 % |
6.88/6.99	c |       389 |   10000   656902  1353400 |   240864      389   1092 |  0.000 % |
7.08/7.13	c |       539 |   10000   656902  1353400 |   264950      539    938 |  0.000 % |
7.28/7.36	c |       764 |   10000   656902  1353400 |   291445      764    909 |  0.000 % |
7.58/7.62	c |      1101 |   10000   656902  1353400 |   320590     1101   1026 |  0.000 % |
7.98/8.06	c |      1608 |   10000   656902  1353400 |   352649     1608   1050 |  0.000 % |
8.68/8.72	c |      2367 |   10000   656902  1353400 |   387913     2367   1065 |  0.000 % |
9.58/9.65	c |      3506 |   10000   656902  1353400 |   426705     3506    903 |  0.000 % |
11.08/11.15	c |      5214 |   10000   656902  1353400 |   469375     5214    828 |  0.000 % |
12.38/12.46	c ===============================================================================
12.38/12.46	c New solution: 6428
12.38/12.46	o 6428
12.38/12.46	c Elapsed CPU time: 12.2901 s	Remaining CPU time: 167.71 s
12.38/12.46	c ===============================================================================
12.38/12.46	c |      6469 |   10000   656903  1363400 |   218967     6469    816 |  0.000 % |
12.68/12.79	c ===============================================================================
12.68/12.79	c New solution: 6422
12.68/12.79	o 6422
12.68/12.79	c Elapsed CPU time: 12.6191 s	Remaining CPU time: 167.381 s
12.68/12.79	c ===============================================================================
12.68/12.79	c |      6490 |   10000   656904  1373400 |   218968     6490    816 |  0.000 % |
12.98/13.09	c ===============================================================================
12.98/13.09	c New solution: 5580
12.98/13.09	o 5580
12.98/13.09	c Elapsed CPU time: 12.917 s	Remaining CPU time: 167.083 s
12.98/13.09	c ===============================================================================
12.98/13.09	c |      6491 |   10000   656905  1383400 |   218968     6491    816 |  0.000 % |
13.18/13.20	c |      6591 |   10000   656905  1383400 |   240865     6591    815 |  0.000 % |
13.28/13.39	c |      6742 |   10000   656905  1383400 |   264951     6742    815 |  0.000 % |
13.58/13.61	c |      6968 |   10000   656905  1383400 |   291446     6968    807 |  0.000 % |
13.87/13.93	c |      7305 |   10000   656905  1383400 |   320591     7305    800 |  0.000 % |
14.58/14.66	c |      7814 |   10000   656905  1383400 |   352650     7814    781 |  0.000 % |
15.38/15.47	c |      8574 |   10000   656905  1383400 |   387915     8574    811 |  0.000 % |
16.48/16.57	c |      9713 |   10000   656905  1383400 |   426707     9713    784 |  0.000 % |
18.47/18.52	c |     11422 |   10000   656905  1383400 |   469378    11422    747 |  0.000 % |
21.18/21.21	c |     13986 |   10000   656905  1383400 |   516315    13986    703 |  0.000 % |
26.67/26.73	c |     17831 |   10000   656905  1383400 |   567947    17831    678 |  0.000 % |
34.57/34.68	c |     23597 |   10000   656905  1383400 |   624742    23597    632 |  0.000 % |
37.67/37.72	c ===============================================================================
37.67/37.72	c New solution: 5577
37.67/37.72	o 5577
37.67/37.72	c Elapsed CPU time: 37.4083 s	Remaining CPU time: 142.592 s
37.67/37.72	c ===============================================================================
37.67/37.72	c |     26011 |   10000   656906  1393400 |   218968    26011    621 |  0.000 % |
37.77/37.88	c |     26111 |   10000   656906  1393400 |   240865    26111    620 |  0.000 % |
38.07/38.17	c |     26262 |   10000   656906  1393400 |   264952    26262    621 |  0.000 % |
38.48/38.52	c |     26487 |   10000   656906  1393400 |   291447    26487    620 |  0.000 % |
38.87/38.99	c |     26824 |   10000   656906  1393400 |   320592    26824    622 |  0.000 % |
39.58/39.63	c |     27330 |   10000   656906  1393400 |   352651    27330    624 |  0.000 % |
40.47/40.55	c |     28090 |   10000   656906  1393400 |   387916    28090    624 |  0.000 % |
41.97/42.00	c |     29232 |   10000   656906  1393400 |   426707    29232    632 |  0.000 % |
43.87/43.98	c |     30941 |   10000   656906  1393400 |   469378    30941    636 |  0.000 % |
46.96/47.04	c |     33503 |   10000   656906  1393400 |   516316    33503    635 |  0.000 % |
51.77/51.88	c |     37347 |   10000   656906  1393400 |   567948    37347    636 |  0.000 % |
60.07/60.17	c |     43113 |   10000   656906  1393400 |   624743    43113    615 |  0.000 % |
72.15/72.25	c |     51763 |   10000   656906  1393400 |   687217    51763    629 |  0.000 % |
89.74/89.86	c |     64738 |   10000   656906  1393400 |   755939    64738    689 |  0.000 % |
139.83/139.96	c |     84199 |   10000   656906  1393400 |   831533    84199   1041 |  0.000 % |
181.02/181.10	c There are 0 assigned variables. 0 in cost function.
230.61/230.72	c core #1
230.61/230.72	c core #2
230.61/230.72	c core #3
230.61/230.72	c core #4
230.61/230.72	c core #5
230.61/230.72	c core #6
230.61/230.72	c core #7
230.61/230.72	c core #8
230.61/230.72	c core #9
230.61/230.72	c core #10
230.61/230.72	c core #11
230.61/230.72	c core #12
230.61/230.72	c core #13
230.61/230.72	c core #14
230.61/230.72	c core #15
230.61/230.72	c core #16
230.61/230.72	c core #17
230.61/230.72	c core #18
230.61/230.72	c core #19
230.61/230.72	c core #20
230.61/230.72	c core #21
230.61/230.72	c core #22
230.61/230.72	c core #23
230.61/230.72	c core #24
230.61/230.72	c core #25
230.61/230.72	c core #26
230.61/230.72	c core #27
230.61/230.72	c core #28
230.61/230.72	c core #29
230.61/230.72	c core #30
230.61/230.72	c core #31
230.61/230.72	c core #32
230.61/230.72	c core #33
230.61/230.72	c core #34
230.61/230.72	c core #35
230.61/230.72	c core #36
230.61/230.72	c core #37
230.61/230.72	c core #38
230.61/230.72	c core #39
230.61/230.72	c core #40
230.61/230.72	c core #41
230.61/230.72	c core #42
230.61/230.72	c core #43
230.61/230.72	c core #44
230.61/230.72	c core #45
230.61/230.72	c core #46
230.61/230.72	c core #47
230.61/230.72	c core #48
230.61/230.72	c core #49
230.61/230.72	c core #50
230.61/230.72	c core #51
230.61/230.72	c core #52
230.61/230.72	c core #53
230.61/230.72	c core #54
230.61/230.72	c core #55
230.61/230.72	c core #56
230.61/230.72	c core #57
230.61/230.72	c core #58
230.61/230.72	c core #59
230.61/230.72	c core #60
230.61/230.72	c core #61
230.61/230.72	c core #62
230.61/230.72	c core #63
230.61/230.72	c core #64
230.61/230.72	c core #65
230.61/230.72	c core #66
230.61/230.72	c core #67
230.61/230.72	c core #68
230.61/230.72	c core #69
230.61/230.72	c core #70
230.61/230.72	c core #71
230.61/230.72	c core #72
230.61/230.72	c core #73
230.61/230.72	c core #74
230.61/230.72	c core #75
230.61/230.72	c core #76
230.61/230.72	c core #77
230.61/230.72	c core #78
230.61/230.72	c core #79
230.61/230.72	c core #80
230.61/230.72	c core #81
230.61/230.72	c core #82
230.61/230.72	c core #83
230.61/230.72	c core #84
230.61/230.72	c core #85
230.61/230.72	c core #86
230.61/230.72	c core #87
230.61/230.72	c core #88
230.61/230.72	c core #89
230.61/230.72	c core #90
230.61/230.72	c core #91
230.61/230.72	c core #92
230.61/230.72	c core #93
230.61/230.72	c core #94
230.61/230.72	c core #95
230.61/230.72	c core #96
230.61/230.72	c core #97
230.61/230.72	c core #98
230.61/230.72	c core #99
230.61/230.72	c core #100
230.61/230.72	c core #101
230.61/230.72	c core #102
230.61/230.72	c core #103
230.61/230.72	c core #104
230.61/230.72	c core #105
230.61/230.72	c core #106
230.61/230.72	c core #107
230.61/230.72	c core #108
230.61/230.72	c core #109
230.61/230.72	c core #110
230.61/230.72	c core #111
230.61/230.72	c core #112
230.61/230.72	c core #113
230.61/230.72	c core #114
230.61/230.72	c core #115
230.61/230.72	c core #116
230.61/230.72	c core #117
230.61/230.72	c core #118
230.61/230.72	c core #119
230.61/230.72	c core #120
230.61/230.72	c core #121
230.61/230.72	c core #122
230.61/230.72	c core #123
230.61/230.72	c core #124
230.61/230.72	c core #125
230.61/230.72	c core #126
230.61/230.72	c core #127
230.61/230.72	c core #128
230.61/230.72	c core #129
230.61/230.72	c ============================[ Search Statistics ]==============================
230.61/230.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
230.61/230.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
230.61/230.72	c ===============================================================================
230.61/230.72	c |         0 |   25413   691958    48310 |   230652        0    nan |  0.000 % |
230.61/230.72	c ===============================================================================
231.01/231.13	c core #130
231.01/231.13	c ============================[ Search Statistics ]==============================
231.01/231.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
231.01/231.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
231.01/231.13	c ===============================================================================
231.01/231.13	c |         0 |   25815   692339    48832 |   230779        0    nan |  0.000 % |
231.01/231.18	c ===============================================================================
231.41/231.58	c core #131
231.41/231.58	c ============================[ Search Statistics ]==============================
231.41/231.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
231.41/231.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
231.41/231.58	c ===============================================================================
231.41/231.58	c |         0 |   27355   693737    50673 |   231245        0    nan |  0.000 % |
231.50/231.69	c ===============================================================================
232.01/232.11	c core #132
232.01/232.11	c ============================[ Search Statistics ]==============================
232.01/232.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
232.01/232.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
232.01/232.11	c ===============================================================================
232.01/232.11	c |         0 |   29836   695938    53589 |   231979        0    nan |  0.000 % |
232.01/232.16	c ===============================================================================
232.40/232.55	c core #133
232.40/232.55	c ============================[ Search Statistics ]==============================
232.40/232.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
232.40/232.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
232.40/232.55	c ===============================================================================
232.40/232.55	c |         0 |   31275   697310    55376 |   232436        0    nan |  0.000 % |
232.61/232.74	c ===============================================================================
233.02/233.17	c core #134
233.02/233.17	c ============================[ Search Statistics ]==============================
233.02/233.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
233.02/233.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
233.02/233.17	c ===============================================================================
233.02/233.17	c |         0 |   34136   700048    58811 |   233349        0    nan |  0.000 % |
233.70/233.81	c ===============================================================================
234.11/234.24	c core #135
234.11/234.24	c ============================[ Search Statistics ]==============================
234.11/234.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
234.11/234.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
234.11/234.24	c ===============================================================================
234.11/234.24	c |         0 |   40175   705783    66233 |   235261        0    nan |  0.000 % |
234.30/234.40	c |       101 |   40174   705783    66233 |   258787      100    917 | 19.097 % |
234.50/234.69	c |       251 |   40173   705783    66233 |   284665      249   1223 | 19.099 % |
235.11/235.26	c |       476 |   40171   705783    66233 |   313132      472   2083 | 19.103 % |
236.01/236.18	c |       814 |   39937   705783    66233 |   344445      510   1843 | 19.792 % |
237.31/237.41	c ===============================================================================
237.81/237.92	c core #136
237.81/237.92	c ============================[ Search Statistics ]==============================
237.81/237.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
237.81/237.92	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
237.81/237.92	c ===============================================================================
237.81/237.92	c |         0 |   49198   714083    77851 |   238027        0    nan |  0.000 % |
237.91/238.08	c |       100 |   49198   714083    77851 |   261830      100    772 | 16.047 % |
238.31/238.41	c |       251 |   49198   714083    77851 |   288013      251    853 | 16.047 % |
238.80/238.97	c |       480 |   49197   714083    77851 |   316814      479    790 | 16.049 % |
239.71/239.89	c |       817 |   49197   714083    77851 |   348496      816    944 | 16.049 % |
241.10/241.26	c |      1323 |   49197   714083    77851 |   383345     1322    913 | 16.049 % |
243.31/243.47	c |      2083 |   49196   714083    77851 |   421680     2075   1114 | 16.051 % |
247.10/247.24	c |      3222 |   49195   714083    77851 |   463848     3211   1692 | 16.052 % |
252.60/252.78	c |      4930 |   49195   714083    77851 |   510233     4919   1968 | 16.052 % |
264.90/265.00	c |      7493 |   49194   714083    77851 |   561256     7474   2575 | 16.054 % |
276.30/276.43	c ===============================================================================
276.90/277.05	c core #137
276.90/277.05	c ============================[ Search Statistics ]==============================
276.90/277.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
276.90/277.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
276.90/277.05	c ===============================================================================
276.90/277.05	c |         0 |   59423   723003    91815 |   241001        0    nan |  0.000 % |
277.10/277.28	c |       101 |   59423   723003    91815 |   265101      101   1835 | 13.553 % |
277.60/277.75	c |       252 |   59423   723003    91815 |   291611      252   2177 | 13.553 % |
278.20/278.36	c |       479 |   59423   723003    91815 |   320772      479   1652 | 13.553 % |
279.39/279.58	c |       816 |   59423   723003    91815 |   352849      816   1153 | 13.553 % |
281.19/281.37	c |      1322 |   59423   723003    91815 |   388134     1322   1043 | 13.553 % |
284.10/284.23	c |      2084 |   59423   723003    91815 |   426947     2084    925 | 13.553 % |
287.99/288.13	c |      3224 |   59423   723003    91815 |   469642     3224    835 | 13.553 % |
295.09/295.29	c |      4932 |   59423   723003    91815 |   516607     4932    844 | 13.553 % |
307.29/307.49	c |      7498 |   59422   723003    91815 |   568267     7497   1010 | 13.554 % |
328.48/328.68	c |     11343 |   59422   723003    91815 |   625094    11342   1547 | 13.554 % |
361.98/362.10	c |     17119 |   59422   723003    91815 |   687603    17118   1729 | 13.554 % |
439.06/439.29	c |     25774 |   59422   723003    91815 |   756364    25773   2817 | 13.554 % |
609.12/609.31	c |     38751 |   59422   723003    91815 |   832000    38750   3557 | 13.554 % |
923.83/924.10	c |     58212 |   59421   723003    91815 |   915200    58186   4130 | 13.556 % |
1258.65/1259.04	c |     87406 |   59420   723003    91815 |  1006720    87380   3822 | 13.557 % |

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-2655941-1276383597/watcher-2655941-1276383597 -o /tmp/evaluation-result-2655941-1276383597/solver-2655941-1276383597 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655941-1276383597.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.09 1.11 1.03 3/106 14638
/proc/meminfo: memFree=1779468/2059040 swapFree=4135844/4192956
[pid=14638] ppid=14636 vsize=19572 CPUtime=0
/proc/14638/stat : 14638 (wbo1.4b) R 14636 14638 14180 0 -1 4202496 319 0 0 0 0 0 0 0 20 0 1 0 13961094 20041728 238 1992294400 134512640 135751879 4290257200 18446744073709551615 134574058 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14638/statm: 4893 238 135 303 0 380 0

[startup+0.0334021 s]
/proc/loadavg: 1.09 1.11 1.03 3/106 14638
/proc/meminfo: memFree=1779468/2059040 swapFree=4135844/4192956
[pid=14638] ppid=14636 vsize=21168 CPUtime=0.02
/proc/14638/stat : 14638 (wbo1.4b) R 14636 14638 14180 0 -1 4202496 714 0 0 0 2 0 0 0 20 0 1 0 13961094 21676032 633 1992294400 134512640 135751879 4290257200 18446744073709551615 134559722 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14638/statm: 5292 633 175 303 0 779 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 21168

[startup+0.101409 s]
/proc/loadavg: 1.09 1.11 1.03 3/106 14638
/proc/meminfo: memFree=1779468/2059040 swapFree=4135844/4192956
[pid=14638] ppid=14636 vsize=22220 CPUtime=0.09
/proc/14638/stat : 14638 (wbo1.4b) R 14636 14638 14180 0 -1 4202496 1081 0 0 0 9 0 0 0 20 0 1 0 13961094 22753280 1000 1992294400 134512640 135751879 4290257200 18446744073709551615 135225262 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14638/statm: 5555 1000 289 303 0 1042 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22220

[startup+0.301427 s]
/proc/loadavg: 1.09 1.11 1.03 3/106 14638
/proc/meminfo: memFree=1779468/2059040 swapFree=4135844/4192956
[pid=14638] ppid=14636 vsize=24960 CPUtime=0.29
/proc/14638/stat : 14638 (wbo1.4b) R 14636 14638 14180 0 -1 4202496 2063 0 0 0 29 0 0 0 21 0 1 0 13961094 25559040 1982 1992294400 134512640 135751879 4290257200 18446744073709551615 135096071 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14638/statm: 6240 1982 616 303 0 1727 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24960

[startup+0.701466 s]
/proc/loadavg: 1.09 1.11 1.03 3/106 14638
/proc/meminfo: memFree=1779468/2059040 swapFree=4135844/4192956
[pid=14638] ppid=14636 vsize=29764 CPUtime=0.69
/proc/14638/stat : 14638 (wbo1.4b) R 14636 14638 14180 0 -1 4202496 3907 0 0 0 68 1 0 0 22 0 1 0 13961094 30478336 3826 1992294400 134512640 135751879 4290257200 18446744073709551615 135225251 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14638/statm: 7441 3826 1258 303 0 2928 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 29764

[startup+1.50154 s]
/proc/loadavg: 1.08 1.11 1.03 2/107 14639
/proc/meminfo: memFree=1765820/2059040 swapFree=4135844/4192956
[pid=14638] ppid=14636 vsize=39224 CPUtime=1.48
/proc/14638/stat : 14638 (wbo1.4b) R 14636 14638 14180 0 -1 4202496 7502 0 0 0 146 2 0 0 25 0 1 0 13961094 40165376 7421 1992294400 134512640 135751879 4290257200 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14638/statm: 9806 7421 2543 303 0 5293 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 39224

[startup+3.10169 s]
/proc/loadavg: 1.08 1.11 1.03 2/107 14639
/proc/meminfo: memFree=1752552/2059040 swapFree=4135844/4192956
[pid=14638] ppid=14636 vsize=72188 CPUtime=3.08
/proc/14638/stat : 14638 (wbo1.4b) R 14636 14638 14180 0 -1 4202496 22403 0 0 0 301 7 0 0 25 0 1 0 13961094 73920512 17118 1992294400 134512640 135751879 4290257200 18446744073709551615 134524221 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14638/statm: 18047 17119 143 303 0 17742 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 72188

[startup+6.301 s]
/proc/loadavg: 1.08 1.11 1.03 2/107 14639
/proc/meminfo: memFree=1701960/2059040 swapFree=4135844/4192956
[pid=14638] ppid=14636 vsize=81060 CPUtime=6.28
/proc/14638/stat : 14638 (wbo1.4b) R 14636 14638 14180 0 -1 4202496 24639 0 0 0 619 9 0 0 25 0 1 0 13961094 83005440 19354 1992294400 134512640 135751879 4290257200 18446744073709551615 134610182 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14638/statm: 20265 19354 147 303 0 19960 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 81060

[startup+12.7016 s]
/proc/loadavg: 1.07 1.10 1.03 2/107 14639
/proc/meminfo: memFree=1702084/2059040 swapFree=4135844/4192956
[pid=14638] ppid=14636 vsize=81060 CPUtime=12.68
/proc/14638/stat : 14638 (wbo1.4b) R 14636 14638 14180 0 -1 4202496 24639 0 0 0 1252 16 0 0 25 0 1 0 13961094 83005440 19354 1992294400 134512640 135751879 4290257200 18446744073709551615 134639047 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14638/statm: 20265 19354 147 303 0 19960 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 81060

[startup+25.5008 s]
/proc/loadavg: 1.06 1.10 1.03 2/107 14639
/proc/meminfo: memFree=1696132/2059040 swapFree=4135844/4192956
[pid=14638] ppid=14636 vsize=87572 CPUtime=25.47
/proc/14638/stat : 14638 (wbo1.4b) R 14636 14638 14180 0 -1 4202496 26253 0 0 0 2525 22 0 0 25 0 1 0 13961094 89673728 20968 1992294400 134512640 135751879 4290257200 18446744073709551615 134607648 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14638/statm: 21893 20968 147 303 0 21588 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 87572

[startup+51.1012 s]
/proc/loadavg: 1.04 1.09 1.02 2/107 14639
/proc/meminfo: memFree=1648020/2059040 swapFree=4135844/4192956
[pid=14638] ppid=14636 vsize=136564 CPUtime=51.07
/proc/14638/stat : 14638 (wbo1.4b) R 14636 14638 14180 0 -1 4202496 38506 0 0 0 5068 39 0 0 25 0 1 0 13961094 139841536 33221 1992294400 134512640 135751879 4290257200 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14638/statm: 34141 33221 147 303 0 33836 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 136564

[startup+102.308 s]
/proc/loadavg: 1.01 1.07 1.02 2/107 14650
/proc/meminfo: memFree=1506412/2059040 swapFree=4135844/4192956
[pid=14638] ppid=14636 vsize=277076 CPUtime=102.25
/proc/14638/stat : 14638 (wbo1.4b) R 14636 14638 14180 0 -1 4202496 73627 0 0 0 10160 65 0 0 25 0 1 0 13961094 283725824 68342 1992294400 134512640 135751879 4290257200 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14638/statm: 69269 68342 147 303 0 68964 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 277076

[startup+162.301 s]
/proc/loadavg: 1.08 1.07 1.02 2/107 14652
/proc/meminfo: memFree=1315080/2059040 swapFree=4135844/4192956
[pid=14638] ppid=14636 vsize=469552 CPUtime=162.22
/proc/14638/stat : 14638 (wbo1.4b) R 14636 14638 14180 0 -1 4202496 121765 0 0 0 16128 94 0 0 25 0 1 0 13961094 480821248 116480 1992294400 134512640 135751879 4290257200 18446744073709551615 134607728 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14638/statm: 117388 116480 147 303 0 117083 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 469552

[startup+222.301 s]
/proc/loadavg: 1.03 1.06 1.01 2/107 14654
/proc/meminfo: memFree=1249732/2059040 swapFree=4135844/4192956
[pid=14638] ppid=14636 vsize=531740 CPUtime=222.21
/proc/14638/stat : 14638 (wbo1.4b) R 14636 14638 14180 0 -1 4202496 138988 0 0 0 22117 104 0 0 25 0 1 0 13961094 544501760 132140 1992294400 134512640 135751879 4290257200 18446744073709551615 135220911 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14638/statm: 132935 132140 150 303 0 132630 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 531740

[startup+282.301 s]
/proc/loadavg: 1.01 1.04 1.01 2/107 14654
/proc/meminfo: memFree=1249608/2059040 swapFree=4135844/4192956
[pid=14638] ppid=14636 vsize=531740 CPUtime=282.19
/proc/14638/stat : 14638 (wbo1.4b) R 14636 14638 14180 0 -1 4202496 139030 0 0 0 28102 117 0 0 25 0 1 0 13961094 544501760 132182 1992294400 134512640 135751879 4290257200 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14638/statm: 132935 132182 151 303 0 132630 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 531740

[startup+342.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 14656
/proc/meminfo: memFree=1249484/2059040 swapFree=4135844/4192956
[pid=14638] ppid=14636 vsize=531740 CPUtime=342.18
/proc/14638/stat : 14638 (wbo1.4b) R 14636 14638 14180 0 -1 4202496 139030 0 0 0 34093 125 0 0 25 0 1 0 13961094 544501760 132182 1992294400 134512640 135751879 4290257200 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14638/statm: 132935 132182 151 303 0 132630 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 531740

[startup+402.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 14658
/proc/meminfo: memFree=1249484/2059040 swapFree=4135844/4192956
[pid=14638] ppid=14636 vsize=531740 CPUtime=402.16
/proc/14638/stat : 14638 (wbo1.4b) R 14636 14638 14180 0 -1 4202496 139030 0 0 0 40086 130 0 0 25 0 1 0 13961094 544501760 132182 1992294400 134512640 135751879 4290257200 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14638/statm: 132935 132182 151 303 0 132630 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 531740

[startup+462.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 14660
/proc/meminfo: memFree=1249360/2059040 swapFree=4135844/4192956
[pid=14638] ppid=14636 vsize=531740 CPUtime=462.15
/proc/14638/stat : 14638 (wbo1.4b) R 14636 14638 14180 0 -1 4202496 139031 0 0 0 46081 134 0 0 25 0 1 0 13961094 544501760 132183 1992294400 134512640 135751879 4290257200 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14638/statm: 132935 132183 151 303 0 132630 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 531740

[startup+522.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 14662
/proc/meminfo: memFree=1249236/2059040 swapFree=4135844/4192956
[pid=14638] ppid=14636 vsize=531740 CPUtime=522.13
/proc/14638/stat : 14638 (wbo1.4b) R 14636 14638 14180 0 -1 4202496 139031 0 0 0 52075 138 0 0 25 0 1 0 13961094 544501760 132183 1992294400 134512640 135751879 4290257200 18446744073709551615 134519009 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14638/statm: 132935 132183 151 303 0 132630 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 531740

[startup+582.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 14662
/proc/meminfo: memFree=1184880/2059040 swapFree=4135844/4192956
[pid=14638] ppid=14636 vsize=597192 CPUtime=582.12
/proc/14638/stat : 14638 (wbo1.4b) R 14636 14638 14180 0 -1 4202496 155410 0 0 0 58063 149 0 0 25 0 1 0 13961094 611524608 148562 1992294400 134512640 135751879 4290257200 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14638/statm: 149298 148562 151 303 0 148993 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 597192

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14664
/proc/meminfo: memFree=1109860/2059040 swapFree=4135844/4192956
[pid=14638] ppid=14636 vsize=671200 CPUtime=642.11
/proc/14638/stat : 14638 (wbo1.4b) R 14636 14638 14180 0 -1 4202496 173894 0 0 0 64053 158 0 0 25 0 1 0 13961094 687308800 167046 1992294400 134512640 135751879 4290257200 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14638/statm: 167800 167046 151 303 0 167495 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 671200

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14670
/proc/meminfo: memFree=873888/2059040 swapFree=4135844/4192956
[pid=14638] ppid=14636 vsize=907884 CPUtime=822.06
/proc/14638/stat : 14638 (wbo1.4b) R 14636 14638 14180 0 -1 4202496 233020 0 0 0 82014 192 0 0 25 0 1 0 13961094 929673216 226172 1992294400 134512640 135751879 4290257200 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14638/statm: 226971 226172 151 303 0 226666 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 907884

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14673
/proc/meminfo: memFree=792420/2059040 swapFree=4135848/4192956
[pid=14638] ppid=14636 vsize=987568 CPUtime=882.04
/proc/14638/stat : 14638 (wbo1.4b) R 14636 14638 14180 0 -1 4202496 252951 0 0 0 88003 201 0 0 25 0 1 0 13961094 1011269632 246103 1992294400 134512640 135751879 4290257200 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14638/statm: 246892 246103 151 303 0 246587 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 987568

[startup+942.302 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 14675
/proc/meminfo: memFree=722980/2059040 swapFree=4135848/4192956
[pid=14638] ppid=14636 vsize=1057196 CPUtime=942.03
/proc/14638/stat : 14638 (wbo1.4b) R 14636 14638 14180 0 -1 4202496 270368 0 0 0 93993 210 0 0 25 0 1 0 13961094 1082568704 263520 1992294400 134512640 135751879 4290257200 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14638/statm: 264299 263520 151 303 0 263994 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 1057196

[startup+1002.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 14677
/proc/meminfo: memFree=661228/2059040 swapFree=4135848/4192956
[pid=14638] ppid=14636 vsize=1118616 CPUtime=1002.01
/proc/14638/stat : 14638 (wbo1.4b) R 14636 14638 14180 0 -1 4202496 285722 0 0 0 99984 217 0 0 25 0 1 0 13961094 1145462784 278874 1992294400 134512640 135751879 4290257200 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14638/statm: 279654 278874 151 303 0 279349 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 1118616

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14679
/proc/meminfo: memFree=601832/2059040 swapFree=4135848/4192956
[pid=14638] ppid=14636 vsize=1178620 CPUtime=1062
/proc/14638/stat : 14638 (wbo1.4b) R 14636 14638 14180 0 -1 4202496 300696 0 0 0 105969 231 0 0 25 0 1 0 13961094 1206906880 293848 1992294400 134512640 135751879 4290257200 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14638/statm: 294655 293848 151 303 0 294350 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 1178620

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14681
/proc/meminfo: memFree=511560/2059040 swapFree=4135848/4192956
[pid=14638] ppid=14636 vsize=1268268 CPUtime=1121.98
/proc/14638/stat : 14638 (wbo1.4b) R 14636 14638 14180 0 -1 4202496 323094 0 0 0 111950 248 0 0 25 0 1 0 13961094 1298706432 316246 1992294400 134512640 135751879 4290257200 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14638/statm: 317067 316246 151 303 0 316762 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 1268268

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14681
/proc/meminfo: memFree=446708/2059040 swapFree=4135848/4192956
[pid=14638] ppid=14636 vsize=1333548 CPUtime=1181.96
/proc/14638/stat : 14638 (wbo1.4b) R 14636 14638 14180 0 -1 4202496 339435 0 0 0 117936 260 0 0 25 0 1 0 13961094 1365553152 332587 1992294400 134512640 135751879 4290257200 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14638/statm: 333387 332587 151 303 0 333082 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 1333548

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14683
/proc/meminfo: memFree=383840/2059040 swapFree=4135848/4192956
[pid=14638] ppid=14636 vsize=1395608 CPUtime=1241.96
/proc/14638/stat : 14638 (wbo1.4b) R 14636 14638 14180 0 -1 4202496 354945 0 0 0 123922 274 0 0 25 0 1 0 13961094 1429102592 348097 1992294400 134512640 135751879 4290257200 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14638/statm: 348902 348097 151 303 0 348597 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 1395608

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14685
/proc/meminfo: memFree=332008/2059040 swapFree=4135848/4192956
[pid=14638] ppid=14636 vsize=1447124 CPUtime=1301.94
/proc/14638/stat : 14638 (wbo1.4b) R 14636 14638 14180 0 -1 4202496 367834 0 0 0 129912 282 0 0 25 0 1 0 13961094 1481854976 360986 1992294400 134512640 135751879 4290257200 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14638/statm: 361781 360986 151 303 0 361476 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 1447124

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14687
/proc/meminfo: memFree=270256/2059040 swapFree=4135848/4192956
[pid=14638] ppid=14636 vsize=1509580 CPUtime=1361.92
/proc/14638/stat : 14638 (wbo1.4b) R 14636 14638 14180 0 -1 4202496 383411 0 0 0 135902 290 0 0 25 0 1 0 13961094 1545809920 376563 1992294400 134512640 135751879 4290257200 18446744073709551615 134606334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14638/statm: 377395 376563 151 303 0 377090 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1509580

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14689
/proc/meminfo: memFree=206892/2059040 swapFree=4135848/4192956
[pid=14638] ppid=14636 vsize=1572204 CPUtime=1421.91
/proc/14638/stat : 14638 (wbo1.4b) R 14636 14638 14180 0 -1 4202496 399052 0 0 0 141892 299 0 0 25 0 1 0 13961094 1609936896 392204 1992294400 134512640 135751879 4290257200 18446744073709551615 134611206 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14638/statm: 393051 392204 151 303 0 392746 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1572204

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14689
/proc/meminfo: memFree=144892/2059040 swapFree=4135848/4192956
[pid=14638] ppid=14636 vsize=1634688 CPUtime=1481.9
/proc/14638/stat : 14638 (wbo1.4b) R 14636 14638 14180 0 -1 4202496 414673 0 0 0 147881 309 0 0 25 0 1 0 13961094 1673920512 407825 1992294400 134512640 135751879 4290257200 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14638/statm: 408672 407825 151 303 0 408367 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1634688

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14691
/proc/meminfo: memFree=85372/2059040 swapFree=4135848/4192956
[pid=14638] ppid=14636 vsize=1693828 CPUtime=1541.87
/proc/14638/stat : 14638 (wbo1.4b) R 14636 14638 14180 0 -1 4202496 429471 0 0 0 153871 316 0 0 25 0 1 0 13961094 1734479872 422623 1992294400 134512640 135751879 4290257200 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14638/statm: 423457 422623 151 303 0 423152 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1693828

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14693
/proc/meminfo: memFree=36640/2059040 swapFree=4135848/4192956
[pid=14638] ppid=14636 vsize=1742736 CPUtime=1601.86
/proc/14638/stat : 14638 (wbo1.4b) R 14636 14638 14180 0 -1 4202496 441685 0 0 0 159863 323 0 0 25 0 1 0 13961094 1784561664 434837 1992294400 134512640 135751879 4290257200 18446744073709551615 134606334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14638/statm: 435684 434837 151 303 0 435379 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1742736

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14695
/proc/meminfo: memFree=9732/2059040 swapFree=4135848/4192956
[pid=14638] ppid=14636 vsize=1789428 CPUtime=1661.85
/proc/14638/stat : 14638 (wbo1.4b) R 14636 14638 14180 0 -1 4202496 453355 0 0 0 165854 331 0 0 25 0 1 0 13961094 1832374272 446507 1992294400 134512640 135751879 4290257200 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14638/statm: 447357 446507 151 303 0 447052 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1789428



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1722.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14697
/proc/meminfo: memFree=9368/2059040 swapFree=4135848/4192956
[pid=14638] ppid=14636 vsize=1843260 CPUtime=1721.74
/proc/14638/stat : 14638 (wbo1.4b) R 14636 14638 14180 0 -1 4202496 466840 0 0 0 171831 343 0 0 25 0 1 0 13961094 1887498240 459992 1992294400 134512640 135751879 4290257200 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14638/statm: 460815 459992 151 303 0 460510 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 1843260

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

[startup+1722.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14697
/proc/meminfo: memFree=9368/2059040 swapFree=4135848/4192956
[pid=14638] ppid=14636 vsize=0 CPUtime=1721.84
/proc/14638/stat : 14638 (wbo1.4b) R 14636 14638 14180 0 -1 4203524 466840 0 0 0 171831 353 0 0 25 0 1 0 13961094 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/14638/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 0

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

[startup+1722.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14697
/proc/meminfo: memFree=9368/2059040 swapFree=4135848/4192956
[pid=14638] ppid=14636 vsize=0 CPUtime=1721.84
/proc/14638/stat : 14638 (wbo1.4b) R 14636 14638 14180 0 -1 4203524 466840 0 0 0 171831 353 0 0 25 0 1 0 13961094 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/14638/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1722.38
CPU time (s): 1721.92
CPU user time (s): 1718.31
CPU system time (s): 3.61345
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (KiB): 1843260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1718.31
system time used= 3.61345
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 466840
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= 9
involuntary context switches= 3952

runsolver used 2.96355 second user time and 8.02478 second system time

The end

Launcher Data 

Begin job on node015 at 2010-06-13 00:59:58
IDJOB=2655941
IDBENCH=1975
IDSOLVER=1161
FILE ID=node015/2655941-1276383597
PBS_JOBID= 11173234
Free space on /tmp= 62532 MiB

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

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

MD5SUM BENCH= 6389567e651775a5f815611581d2023e
RANDOM SEED=947949076

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

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1780120 kB
Buffers:         62212 kB
Cached:         145416 kB
SwapCached:      14072 kB
Active:         124944 kB
Inactive:        99436 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1780120 kB
SwapTotal:     4192956 kB
SwapFree:      4135844 kB
Dirty:           19492 kB
Writeback:           0 kB
AnonPages:       11608 kB
Mapped:           9212 kB
Slab:            32820 kB
PageTables:       4028 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180084 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= 62528 MiB
End job on node015 at 2010-06-13 01:28:42