Trace number 2702659

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.21 1800.77

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_25_4.opb
MD5SUMfeead174159765db2806c13d35bd6cbe
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-14
Best CPU time to get the best result obtained on this benchmark1789.5
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -16
Optimality of the best value was proved NO
Number of variables200
Total number of constraints301
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 100
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6140
Sum of products size (including duplicates)12280
Number of different products3070
Sum of products size6140

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-2702659-1278573263.opb.
0.00/0.00	c Instance file HOME/instance-2702659-1278573263.opb
0.00/0.00	c File size is 257506 bytes.
0.01/0.04	c Highest Coefficient sum: 200
0.01/0.04	c ============================[ Problem Statistics ]=============================
0.01/0.04	c |                                                                             |
0.01/0.04	c |  Parsing time:          0.05         s                                      |
0.01/0.04	c |  Number Variables:      3270                                                |
0.01/0.04	c |  Number Clauses:        3170                                                |
0.01/0.04	c |  Number Cardinality:    202                                                 |
0.01/0.04	c |  Number PB Constraints: 3070                                                |
0.01/0.09	c ============================[ Search Statistics ]==============================
0.01/0.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.09	c ===============================================================================
0.01/0.09	c |         0 |    3270     6442    25160 |     5000        0    nan |  0.000 % |
0.01/0.09	c ===============================================================================
0.01/0.09	c New solution: 0
0.01/0.09	o 0
0.01/0.09	c Elapsed CPU time: 0.093985 s	Remaining CPU time: 179.906 s
0.01/0.09	c ===============================================================================
0.01/0.09	c |         0 |    3270     6443    25260 |     5000        0    nan |  0.000 % |
0.01/0.10	c ===============================================================================
0.01/0.10	c New solution: -1
0.01/0.10	o -1
0.01/0.10	c Elapsed CPU time: 0.097985 s	Remaining CPU time: 179.902 s
0.01/0.10	c ===============================================================================
0.01/0.10	c |         1 |    3270     6444    25360 |     5000        1    101 |  0.000 % |
0.09/0.10	c ===============================================================================
0.09/0.10	c New solution: -2
0.09/0.10	o -2
0.09/0.10	c Elapsed CPU time: 0.100984 s	Remaining CPU time: 179.899 s
0.09/0.10	c ===============================================================================
0.09/0.10	c |         1 |    3270     6445    25460 |     5000        1    101 |  0.000 % |
0.09/0.10	c ===============================================================================
0.09/0.10	c New solution: -3
0.09/0.10	o -3
0.09/0.10	c Elapsed CPU time: 0.103984 s	Remaining CPU time: 179.896 s
0.09/0.10	c ===============================================================================
0.09/0.10	c |         1 |    3270     6446    25560 |     5000        1    101 |  0.000 % |
0.09/0.11	c ===============================================================================
0.09/0.11	c New solution: -4
0.09/0.11	o -4
0.09/0.11	c Elapsed CPU time: 0.109983 s	Remaining CPU time: 179.89 s
0.09/0.11	c ===============================================================================
0.09/0.11	c |        39 |    3270     6447    25660 |     5000       39    186 |  0.000 % |
0.09/0.11	c ===============================================================================
0.09/0.11	c New solution: -5
0.09/0.11	o -5
0.09/0.11	c Elapsed CPU time: 0.114982 s	Remaining CPU time: 179.885 s
0.09/0.11	c ===============================================================================
0.09/0.11	c |        44 |    3270     6448    25760 |     5000       44    167 |  0.000 % |
0.09/0.13	c ===============================================================================
0.09/0.13	c New solution: -6
0.09/0.13	o -6
0.09/0.13	c Elapsed CPU time: 0.12798 s	Remaining CPU time: 179.872 s
0.09/0.13	c ===============================================================================
0.09/0.13	c |        77 |    3270     6449    25860 |     5000       77    106 |  0.000 % |
0.19/0.23	c |       181 |    3270     6449    25860 |     5500      181    134 |  0.000 % |
0.19/0.24	c |       332 |    3270     6449    25860 |     6050      332    159 |  0.000 % |
0.19/0.27	c |       557 |    3270     6449    25860 |     6655      557    169 |  0.000 % |
0.29/0.31	c |       894 |    3270     6449    25860 |     7320      894    173 |  0.000 % |
0.29/0.37	c |      1400 |    3270     6449    25860 |     8052     1400    177 |  0.000 % |
0.39/0.49	c |      2159 |    3270     6449    25860 |     8857     2159    181 |  0.000 % |
0.59/0.69	c |      3299 |    3270     6449    25860 |     9743     3299    183 |  0.000 % |
0.99/1.05	c |      5008 |    3270     6449    25860 |    10717     5008    183 |  0.000 % |
1.59/1.64	c |      7574 |    3270     6449    25860 |    11789     7574    185 |  0.000 % |
2.79/2.85	c |     11419 |    3270     6449    25860 |    12968    11419    186 |  0.000 % |
3.20/3.23	c ===============================================================================
3.20/3.23	c New solution: -7
3.20/3.23	o -7
3.20/3.23	c Elapsed CPU time: 3.19251 s	Remaining CPU time: 176.807 s
3.20/3.23	c ===============================================================================
3.20/3.23	c |     11918 |    3270     6450    25960 |     5000    11918    186 |  0.000 % |
3.20/3.29	c ===============================================================================
3.20/3.29	c New solution: -8
3.20/3.29	o -8
3.20/3.29	c Elapsed CPU time: 3.2505 s	Remaining CPU time: 176.749 s
3.20/3.29	c ===============================================================================
3.20/3.29	c |     11966 |    3270     6451    26060 |     5000     3028    183 |  0.000 % |
3.29/3.33	c |     12066 |    3270     6451    26060 |     5500     3128    184 |  0.000 % |
3.29/3.36	c |     12216 |    3270     6451    26060 |     6050     3278    184 |  0.000 % |
3.29/3.39	c |     12441 |    3270     6451    26060 |     6655     3503    184 |  0.000 % |
3.39/3.44	c |     12778 |    3270     6451    26060 |     7320     3840    184 |  0.000 % |
3.39/3.48	c ===============================================================================
3.39/3.48	c New solution: -9
3.39/3.48	o -9
3.39/3.48	c Elapsed CPU time: 3.42948 s	Remaining CPU time: 176.571 s
3.39/3.48	c ===============================================================================
3.39/3.48	c |     12895 |    3270     6452    26160 |     5000     3957    183 |  0.000 % |
3.49/3.52	c |     12995 |    3270     6452    26160 |     5500     4057    183 |  0.000 % |
3.49/3.55	c |     13145 |    3270     6452    26160 |     6050     4207    183 |  0.000 % |
3.59/3.61	c |     13370 |    3270     6452    26160 |     6655     4432    183 |  0.000 % |
3.59/3.67	c |     13707 |    3270     6452    26160 |     7320     4769    183 |  0.000 % |
3.69/3.72	c ===============================================================================
3.69/3.72	c New solution: -10
3.69/3.72	o -10
3.69/3.72	c Elapsed CPU time: 3.66244 s	Remaining CPU time: 176.338 s
3.69/3.72	c ===============================================================================
3.69/3.72	c |     13874 |    3270     6453    26260 |     5000     4936    177 |  0.000 % |
3.69/3.75	c |     13974 |    3270     6453    26260 |     5500     5036    177 |  0.000 % |
3.69/3.78	c |     14124 |    3270     6453    26260 |     6050     5186    177 |  0.000 % |
3.79/3.83	c |     14350 |    3270     6453    26260 |     6655     5412    177 |  0.000 % |
3.89/3.90	c |     14687 |    3270     6453    26260 |     7320     5749    177 |  0.000 % |
3.89/4.00	c |     15193 |    3270     6453    26260 |     8052     6255    178 |  0.000 % |
4.09/4.15	c |     15952 |    3270     6453    26260 |     8857     7014    178 |  0.000 % |
4.30/4.39	c |     17091 |    3270     6453    26260 |     9743     8153    179 |  0.000 % |
4.99/5.01	c |     18799 |    3270     6453    26260 |    10717     9861    164 |  0.000 % |
5.69/5.71	c |     21362 |    3270     6453    26260 |    11789    12424    160 |  0.000 % |
5.79/5.87	c ===============================================================================
5.79/5.87	c New solution: -11
5.79/5.87	o -11
5.79/5.87	c Elapsed CPU time: 5.78312 s	Remaining CPU time: 174.217 s
5.79/5.87	c ===============================================================================
5.79/5.87	c |     21834 |    3270     6454    26360 |     5000     6684    134 |  0.000 % |
5.79/5.89	c |     21934 |    3270     6454    26360 |     5500     3442    110 |  0.000 % |
5.89/5.91	c |     22084 |    3270     6454    26360 |     6050     3592    113 |  0.000 % |
5.89/5.95	c |     22310 |    3270     6454    26360 |     6655     3818    117 |  0.000 % |
5.89/5.99	c |     22647 |    3270     6454    26360 |     7320     4155    121 |  0.000 % |
5.99/6.05	c |     23153 |    3270     6454    26360 |     8052     4661    128 |  0.000 % |
6.09/6.17	c |     23912 |    3270     6454    26360 |     8857     5420    135 |  0.000 % |
6.29/6.34	c |     25051 |    3270     6454    26360 |     9743     6559    143 |  0.000 % |
6.60/6.66	c |     26759 |    3270     6454    26360 |    10717     8267    151 |  0.000 % |
7.38/7.46	c |     29323 |    3270     6454    26360 |    11789    10831    143 |  0.000 % |
8.59/8.68	c |     33167 |    3270     6454    26360 |    12968    14675    142 |  0.000 % |
10.49/10.55	c |     38933 |    3270     6454    26360 |    14265    13104    132 |  0.000 % |
13.59/13.63	c |     47583 |    3270     6454    26360 |    15692    13115    137 |  0.000 % |
18.79/18.89	c |     60557 |    3270     6454    26360 |    17261    16800    143 |  0.000 % |
26.89/26.93	c |     80018 |    3270     6454    26360 |    18987    15976    142 |  0.000 % |
29.28/29.34	c ===============================================================================
29.28/29.34	c New solution: -12
29.28/29.34	o -12
29.28/29.34	c Elapsed CPU time: 28.9706 s	Remaining CPU time: 151.029 s
29.28/29.34	c ===============================================================================
29.28/29.34	c |     85499 |    3270     6455    26460 |     5000    21457    146 |  0.000 % |
29.38/29.47	c |     85600 |    3270     6455    26460 |     5500     2784    119 |  0.000 % |
29.48/29.50	c |     85750 |    3270     6455    26460 |     6050     2934    120 |  0.000 % |
29.48/29.53	c |     85975 |    3270     6455    26460 |     6655     3159    123 |  0.000 % |
29.59/29.61	c |     86313 |    3270     6455    26460 |     7320     3497    113 |  0.000 % |
29.59/29.69	c |     86819 |    3270     6455    26460 |     8052     4003    121 |  0.000 % |
29.79/29.81	c |     87579 |    3270     6455    26460 |     8857     4763    130 |  0.000 % |
29.98/30.00	c |     88718 |    3270     6455    26460 |     9743     5902    139 |  0.000 % |
30.18/30.27	c |     90426 |    3270     6455    26460 |    10717     7610    148 |  0.000 % |
30.69/30.72	c |     92990 |    3270     6455    26460 |    11789    10174    156 |  0.000 % |
31.59/31.61	c |     96834 |    3270     6455    26460 |    12968    14018    163 |  0.000 % |
32.89/32.92	c |    102602 |    3270     6455    26460 |    14265    12777    178 |  0.000 % |
35.08/35.19	c |    111251 |    3270     6455    26460 |    15692    12696    180 |  0.000 % |
39.08/39.11	c |    124225 |    3270     6455    26460 |    17261    16221    180 |  0.000 % |
45.68/45.79	c |    143688 |    3270     6455    26460 |    18987    15221    180 |  0.000 % |
57.27/57.36	c |    172880 |    3270     6455    26460 |    20886    21527    180 |  0.000 % |
72.58/72.61	c |    216670 |    3270     6455    26460 |    22974    14564    183 |  0.000 % |
104.56/104.67	c |    282354 |    3270     6455    26460 |    25272    19116    181 |  0.000 % |
151.76/151.84	c |    380880 |    3270     6455    26460 |    27799    12858    177 |  0.000 % |
181.74/181.89	c There are 0 assigned variables. 0 in cost function.
182.34/182.44	c core #1
182.34/182.44	c 
182.34/182.44	c 
182.34/182.44	c Core size: 201	Core Weight: 1	Total Weight: -99
182.34/182.44	c
182.34/182.44	c
182.34/182.44	c ============================[ Search Statistics ]==============================
182.34/182.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.34/182.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.34/182.44	c ===============================================================================
182.34/182.44	c |         0 |    3370     6630    26977 |     5000        0    nan |  0.000 % |
182.34/182.46	c ===============================================================================
182.34/182.49	c core #2
182.34/182.49	c 
182.34/182.49	c 
182.34/182.49	c Core size: 89	Core Weight: 1	Total Weight: -98
182.34/182.49	c
182.34/182.49	c
182.34/182.49	c ============================[ Search Statistics ]==============================
182.34/182.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.34/182.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.34/182.49	c ===============================================================================
182.34/182.49	c |         0 |    3453     6640    27170 |     5000        0    nan |  0.000 % |
182.44/182.52	c |       101 |    3453     6640    27170 |     5500      101     80 |  0.000 % |
182.44/182.57	c |       251 |    3453     6640    27170 |     6050      251     64 |  0.000 % |
182.54/182.65	c |       476 |    3424     6640    27170 |     6655      444     72 |  1.622 % |
182.63/182.77	c |       813 |    3367     6640    27170 |     7320      650     74 |  4.144 % |
182.83/182.96	c |      1323 |    3151     6640    27170 |     8052     1009     77 | 16.826 % |
183.14/183.25	c |      2082 |    2610     6640    27170 |     8857     1423     85 | 31.770 % |
183.24/183.38	c ===============================================================================
183.34/183.44	c core #3
183.34/183.44	c 
183.34/183.44	c 
183.34/183.44	c Core size: 148	Core Weight: 1	Total Weight: -97
183.34/183.44	c
183.34/183.44	c
183.34/183.44	c ============================[ Search Statistics ]==============================
183.34/183.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.34/183.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.34/183.44	c ===============================================================================
183.34/183.44	c |         0 |    3553     6648    27390 |     5000        0    nan |  0.000 % |
183.34/183.47	c |       100 |    3553     6648    27390 |     5500      100    112 |  0.000 % |
183.44/183.53	c |       250 |    3553     6648    27390 |     6050      250     71 |  0.000 % |
183.54/183.61	c |       475 |    3553     6648    27390 |     6655      475     80 |  0.000 % |
183.64/183.73	c |       813 |    3553     6648    27390 |     7320      813     82 |  0.000 % |
183.83/183.90	c |      1319 |    3553     6648    27390 |     8052     1319     80 |  0.000 % |
184.04/184.19	c |      2079 |    3553     6648    27390 |     8857     2079     76 |  0.000 % |
184.53/184.65	c |      3218 |    3553     6648    27390 |     9743     3218     76 |  0.001 % |
185.24/185.38	c |      4927 |    3553     6648    27390 |    10717     4927     76 |  0.001 % |
186.53/186.65	c |      7489 |    3553     6648    27390 |    11789     7489     76 |  0.000 % |
188.43/188.55	c |     11333 |    3553     6648    27390 |    12968    11333     75 |  0.000 % |
191.53/191.67	c |     17101 |    3523     6648    27390 |    14265     7805     65 |  0.845 % |
195.53/195.63	c |     25753 |    3462     6648    27390 |    15692     5286     47 |  4.055 % |
196.63/196.73	c ===============================================================================
197.13/197.20	c core #4
197.13/197.20	c 
197.13/197.20	c 
197.13/197.20	c Core size: 122	Core Weight: 1	Total Weight: -96
197.13/197.20	c
197.13/197.20	c
197.13/197.20	c ============================[ Search Statistics ]==============================
197.13/197.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
197.13/197.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
197.13/197.20	c ===============================================================================
197.13/197.20	c |         0 |    3653     7171    29143 |     5000        0    nan |  0.000 % |
197.13/197.26	c |       118 |    3653     7171    29143 |     5500      118    152 |  0.000 % |
197.23/197.30	c |       270 |    3653     7171    29143 |     6050      270    133 |  0.000 % |
197.33/197.40	c |       496 |    3653     7171    29143 |     6655      496    125 |  0.000 % |
197.43/197.56	c |       833 |    3653     7171    29143 |     7320      833    108 |  0.000 % |
197.63/197.76	c |      1340 |    3653     7171    29143 |     8052     1340     99 |  0.000 % |
197.94/198.09	c |      2099 |    3653     7171    29143 |     8857     2099    104 |  0.000 % |
198.54/198.61	c |      3239 |    3653     7171    29143 |     9743     3239    100 |  0.000 % |
199.23/199.38	c |      4948 |    3653     7171    29143 |    10717     4948     97 |  0.000 % |
200.73/200.82	c |      7510 |    3653     7171    29143 |    11789     7510     90 |  0.000 % |
203.12/203.22	c |     11356 |    3653     7171    29143 |    12968    11356     81 |  0.000 % |
204.23/204.38	c |     17123 |    3653     7171    29143 |    14265     9038    134 |  0.000 % |
206.83/206.93	c |     25773 |    3653     7171    29143 |    15692     8941    178 |  0.000 % |
212.52/212.61	c |     38756 |    3653     7171    29143 |    17261    12468    176 |  0.000 % |
220.03/220.10	c |     58221 |    3653     7171    29143 |    18987    11472    177 |  0.000 % |
232.82/232.98	c |     87415 |    3653     7171    29143 |    20886    17624    172 |  0.000 % |
256.51/256.66	c |    131204 |    3653     7171    29143 |    22974    21655    173 |  0.000 % |
308.29/308.49	c |    196891 |    3653     7171    29143 |    25272    11724    153 |  0.000 % |
367.88/368.01	c |    295418 |    3653     7171    29143 |    27799    23659    150 |  0.000 % |
480.25/480.45	c |    443208 |    3653     7171    29143 |    30579    14986    150 |  0.000 % |
674.98/675.22	c |    664902 |    3653     7171    29143 |    33637    13661    152 |  0.000 % |
879.61/879.97	c |    997427 |    3653     7171    29143 |    37001    18125    145 |  0.000 % |
1240.50/1240.97	c |   1496215 |    3653     7171    29143 |    40701    35518    149 |  0.000 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2702659-1278573263/watcher-2702659-1278573263 -o /tmp/evaluation-result-2702659-1278573263/solver-2702659-1278573263 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702659-1278573263.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: 0.99 0.72 0.61 3/106 30413
/proc/meminfo: memFree=1618832/2059040 swapFree=4149284/4192956
[pid=30413] ppid=30411 vsize=3232 CPUtime=0
/proc/30413/stat : 30413 (wbo1.4b) R 30411 30413 30292 0 -1 4202496 362 0 0 0 0 0 0 0 19 0 1 0 25532491 3309568 281 1992294400 134512640 135752675 4290888112 18446744073709551615 134609555 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30413/statm: 808 281 136 303 0 440 0

[startup+0.0113539 s]
/proc/loadavg: 0.99 0.72 0.61 3/106 30413
/proc/meminfo: memFree=1618832/2059040 swapFree=4149284/4192956
[pid=30413] ppid=30411 vsize=3380 CPUtime=0.01
/proc/30413/stat : 30413 (wbo1.4b) R 30411 30413 30292 0 -1 4202496 418 0 0 0 1 0 0 0 19 0 1 0 25532491 3461120 337 1992294400 134512640 135752675 4290888112 18446744073709551615 135157281 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30413/statm: 845 337 139 303 0 477 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 3380

[startup+0.101362 s]
/proc/loadavg: 0.99 0.72 0.61 3/106 30413
/proc/meminfo: memFree=1618832/2059040 swapFree=4149284/4192956
[pid=30413] ppid=30411 vsize=4728 CPUtime=0.09
/proc/30413/stat : 30413 (wbo1.4b) R 30411 30413 30292 0 -1 4202496 876 0 0 0 9 0 0 0 20 0 1 0 25532491 4841472 732 1992294400 134512640 135752675 4290888112 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30413/statm: 1182 732 144 303 0 877 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4728

[startup+0.301384 s]
/proc/loadavg: 0.99 0.72 0.61 3/106 30413
/proc/meminfo: memFree=1618832/2059040 swapFree=4149284/4192956
[pid=30413] ppid=30411 vsize=4728 CPUtime=0.29
/proc/30413/stat : 30413 (wbo1.4b) R 30411 30413 30292 0 -1 4202496 877 0 0 0 29 0 0 0 20 0 1 0 25532491 4841472 733 1992294400 134512640 135752675 4290888112 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30413/statm: 1182 733 145 303 0 877 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4728

[startup+0.701428 s]
/proc/loadavg: 0.99 0.72 0.61 3/106 30413
/proc/meminfo: memFree=1618832/2059040 swapFree=4149284/4192956
[pid=30413] ppid=30411 vsize=6684 CPUtime=0.69
/proc/30413/stat : 30413 (wbo1.4b) R 30411 30413 30292 0 -1 4202496 1382 0 0 0 68 1 0 0 21 0 1 0 25532491 6844416 1238 1992294400 134512640 135752675 4290888112 18446744073709551615 134605375 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30413/statm: 1671 1238 145 303 0 1366 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6684

[startup+1.50152 s]
/proc/loadavg: 0.99 0.72 0.61 2/107 30414
/proc/meminfo: memFree=1613368/2059040 swapFree=4149284/4192956
[pid=30413] ppid=30411 vsize=9808 CPUtime=1.49
/proc/30413/stat : 30413 (wbo1.4b) R 30411 30413 30292 0 -1 4202496 2157 0 0 0 147 2 0 0 23 0 1 0 25532491 10043392 2013 1992294400 134512640 135752675 4290888112 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30413/statm: 2452 2013 145 303 0 2147 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9808

[startup+3.10169 s]
/proc/loadavg: 0.99 0.72 0.61 2/107 30414
/proc/meminfo: memFree=1609524/2059040 swapFree=4149284/4192956
[pid=30413] ppid=30411 vsize=14132 CPUtime=3.09
/proc/30413/stat : 30413 (wbo1.4b) R 30411 30413 30292 0 -1 4202496 3222 0 0 0 305 4 0 0 25 0 1 0 25532491 14471168 3078 1992294400 134512640 135752675 4290888112 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30413/statm: 3533 3078 145 303 0 3228 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14132

[startup+6.30105 s]
/proc/loadavg: 0.99 0.73 0.61 2/107 30414
/proc/meminfo: memFree=1600596/2059040 swapFree=4149284/4192956
[pid=30413] ppid=30411 vsize=23664 CPUtime=6.29
/proc/30413/stat : 30413 (wbo1.4b) R 30411 30413 30292 0 -1 4202496 5618 0 0 0 620 9 0 0 25 0 1 0 25532491 24231936 5474 1992294400 134512640 135752675 4290888112 18446744073709551615 134612042 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30413/statm: 5916 5474 145 303 0 5611 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23664

[startup+12.7018 s]
/proc/loadavg: 0.99 0.73 0.61 2/107 30414
/proc/meminfo: memFree=1585592/2059040 swapFree=4149284/4192956
[pid=30413] ppid=30411 vsize=36724 CPUtime=12.69
/proc/30413/stat : 30413 (wbo1.4b) R 30411 30413 30292 0 -1 4202496 8883 0 0 0 1251 18 0 0 25 0 1 0 25532491 37605376 8739 1992294400 134512640 135752675 4290888112 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30413/statm: 9181 8739 145 303 0 8876 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 36724

[startup+25.5012 s]
/proc/loadavg: 0.99 0.74 0.62 2/107 30414
/proc/meminfo: memFree=1562776/2059040 swapFree=4149284/4192956
[pid=30413] ppid=30411 vsize=58588 CPUtime=25.48
/proc/30413/stat : 30413 (wbo1.4b) R 30411 30413 30292 0 -1 4202496 14324 0 0 0 2517 31 0 0 25 0 1 0 25532491 59994112 14180 1992294400 134512640 135752675 4290888112 18446744073709551615 135210436 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30413/statm: 14647 14180 145 303 0 14342 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 58588

[startup+51.101 s]
/proc/loadavg: 0.99 0.76 0.63 2/107 30414
/proc/meminfo: memFree=1497800/2059040 swapFree=4149284/4192956
[pid=30413] ppid=30411 vsize=123980 CPUtime=51.07
/proc/30413/stat : 30413 (wbo1.4b) R 30411 30413 30292 0 -1 4202496 30685 0 0 0 5045 62 0 0 25 0 1 0 25532491 126955520 30541 1992294400 134512640 135752675 4290888112 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30413/statm: 30995 30541 145 303 0 30690 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 123980

[startup+102.309 s]
/proc/loadavg: 0.99 0.80 0.65 2/107 30416
/proc/meminfo: memFree=1401080/2059040 swapFree=4149284/4192956
[pid=30413] ppid=30411 vsize=219596 CPUtime=102.26
/proc/30413/stat : 30413 (wbo1.4b) R 30411 30413 30292 0 -1 4202496 54570 0 0 0 10113 113 0 0 25 0 1 0 25532491 224866304 54426 1992294400 134512640 135752675 4290888112 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30413/statm: 54899 54426 145 303 0 54594 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 219596

[startup+162.301 s]
/proc/loadavg: 0.99 0.83 0.66 2/107 30418
/proc/meminfo: memFree=1302004/2059040 swapFree=4149284/4192956
[pid=30413] ppid=30411 vsize=318824 CPUtime=162.24
/proc/30413/stat : 30413 (wbo1.4b) R 30411 30413 30292 0 -1 4202496 79317 0 0 0 16056 168 0 0 25 0 1 0 25532491 326475776 79173 1992294400 134512640 135752675 4290888112 18446744073709551615 134603238 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30413/statm: 79706 79173 145 303 0 79401 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 318824

[startup+222.301 s]
/proc/loadavg: 0.99 0.86 0.68 2/107 30420
/proc/meminfo: memFree=1246948/2059040 swapFree=4149284/4192956
[pid=30413] ppid=30411 vsize=373592 CPUtime=222.22
/proc/30413/stat : 30413 (wbo1.4b) R 30411 30413 30292 0 -1 4202496 93097 0 0 0 22002 220 0 0 25 0 1 0 25532491 382558208 92922 1992294400 134512640 135752675 4290888112 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30413/statm: 93398 92922 146 303 0 93093 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 373592

[startup+282.301 s]
/proc/loadavg: 0.99 0.88 0.70 2/107 30422
/proc/meminfo: memFree=1176640/2059040 swapFree=4149284/4192956
[pid=30413] ppid=30411 vsize=444276 CPUtime=282.21
/proc/30413/stat : 30413 (wbo1.4b) R 30411 30413 30292 0 -1 4202496 110685 0 0 0 27962 259 0 0 25 0 1 0 25532491 454938624 110510 1992294400 134512640 135752675 4290888112 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30413/statm: 111069 110510 146 303 0 110764 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 444276

[startup+342.301 s]
/proc/loadavg: 1.07 0.92 0.72 2/107 30425
/proc/meminfo: memFree=1119848/2059040 swapFree=4149284/4192956
[pid=30413] ppid=30411 vsize=500120 CPUtime=342.19
/proc/30413/stat : 30413 (wbo1.4b) R 30411 30413 30292 0 -1 4202496 124597 0 0 0 33922 297 0 0 25 0 1 0 25532491 512122880 124422 1992294400 134512640 135752675 4290888112 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30413/statm: 125030 124422 146 303 0 124725 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 500120

[startup+402.301 s]
/proc/loadavg: 1.03 0.93 0.74 2/107 30427
/proc/meminfo: memFree=1057228/2059040 swapFree=4149284/4192956
[pid=30413] ppid=30411 vsize=563660 CPUtime=402.17
/proc/30413/stat : 30413 (wbo1.4b) R 30411 30413 30292 0 -1 4202496 140437 0 0 0 39872 345 0 0 25 0 1 0 25532491 577187840 140262 1992294400 134512640 135752675 4290888112 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30413/statm: 140915 140262 146 303 0 140610 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 563660

[startup+462.301 s]
/proc/loadavg: 1.01 0.94 0.75 2/107 30429
/proc/meminfo: memFree=1007380/2059040 swapFree=4149284/4192956
[pid=30413] ppid=30411 vsize=612788 CPUtime=462.15
/proc/30413/stat : 30413 (wbo1.4b) R 30411 30413 30292 0 -1 4202496 152659 0 0 0 45825 390 0 0 25 0 1 0 25532491 627494912 152484 1992294400 134512640 135752675 4290888112 18446744073709551615 134605387 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30413/statm: 153197 152484 146 303 0 152892 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 612788

[startup+522.301 s]
/proc/loadavg: 1.00 0.95 0.76 2/107 30431
/proc/meminfo: memFree=954804/2059040 swapFree=4149284/4192956
[pid=30413] ppid=30411 vsize=666268 CPUtime=522.13
/proc/30413/stat : 30413 (wbo1.4b) R 30411 30413 30292 0 -1 4202496 166041 0 0 0 51780 433 0 0 25 0 1 0 25532491 682258432 165866 1992294400 134512640 135752675 4290888112 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30413/statm: 166567 165866 146 303 0 166262 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 666268

[startup+582.301 s]
/proc/loadavg: 1.00 0.95 0.77 2/107 30433
/proc/meminfo: memFree=913636/2059040 swapFree=4149284/4192956
[pid=30413] ppid=30411 vsize=707212 CPUtime=582.1
/proc/30413/stat : 30413 (wbo1.4b) R 30411 30413 30292 0 -1 4202496 176235 0 0 0 57746 464 0 0 25 0 1 0 25532491 724185088 176060 1992294400 134512640 135752675 4290888112 18446744073709551615 134638006 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30413/statm: 176803 176060 146 303 0 176498 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 707212

[startup+642.3 s]
/proc/loadavg: 1.00 0.96 0.78 2/107 30433
/proc/meminfo: memFree=868996/2059040 swapFree=4149284/4192956
[pid=30413] ppid=30411 vsize=751216 CPUtime=642.1
/proc/30413/stat : 30413 (wbo1.4b) R 30411 30413 30292 0 -1 4202496 187239 0 0 0 63713 497 0 0 25 0 1 0 25532491 769245184 187064 1992294400 134512640 135752675 4290888112 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30413/statm: 187804 187064 146 303 0 187499 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 751216

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 0.97 0.82 2/107 30441
/proc/meminfo: memFree=614548/2059040 swapFree=4149284/4192956
[pid=30413] ppid=30411 vsize=1005460 CPUtime=882
/proc/30413/stat : 30413 (wbo1.4b) R 30411 30413 30292 0 -1 4202496 250749 0 0 0 87531 669 0 0 25 0 1 0 25532491 1029591040 250574 1992294400 134512640 135752675 4290888112 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30413/statm: 251365 250574 146 303 0 251060 0
Current children cumulated CPU time (s) 882
Current children cumulated vsize (KiB) 1005460

[startup+942.301 s]
/proc/loadavg: 1.00 0.97 0.83 2/107 30441
/proc/meminfo: memFree=555648/2059040 swapFree=4149284/4192956
[pid=30413] ppid=30411 vsize=1064840 CPUtime=941.98
/proc/30413/stat : 30413 (wbo1.4b) R 30411 30413 30292 0 -1 4202496 265618 0 0 0 93492 706 0 0 25 0 1 0 25532491 1090396160 265443 1992294400 134512640 135752675 4290888112 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30413/statm: 266210 265443 146 303 0 265905 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 1064840

[startup+1002.3 s]
/proc/loadavg: 1.00 0.97 0.84 2/107 30443
/proc/meminfo: memFree=501212/2059040 swapFree=4149284/4192956
[pid=30413] ppid=30411 vsize=1118300 CPUtime=1001.97
/proc/30413/stat : 30413 (wbo1.4b) R 30411 30413 30292 0 -1 4202496 278977 0 0 0 99454 743 0 0 25 0 1 0 25532491 1145139200 278802 1992294400 134512640 135752675 4290888112 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30413/statm: 279575 278802 146 303 0 279270 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 1118300

[startup+1062.3 s]
/proc/loadavg: 1.00 0.97 0.84 2/107 30445
/proc/meminfo: memFree=443428/2059040 swapFree=4149284/4192956
[pid=30413] ppid=30411 vsize=1176816 CPUtime=1061.95
/proc/30413/stat : 30413 (wbo1.4b) R 30411 30413 30292 0 -1 4202496 293601 0 0 0 105410 785 0 0 25 0 1 0 25532491 1205059584 293426 1992294400 134512640 135752675 4290888112 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30413/statm: 294204 293426 146 303 0 293899 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 1176816

[startup+1122.3 s]
/proc/loadavg: 1.00 0.97 0.85 2/107 30447
/proc/meminfo: memFree=386388/2059040 swapFree=4149284/4192956
[pid=30413] ppid=30411 vsize=1233260 CPUtime=1121.93
/proc/30413/stat : 30413 (wbo1.4b) R 30411 30413 30292 0 -1 4202496 307690 0 0 0 111367 826 0 0 25 0 1 0 25532491 1262858240 307515 1992294400 134512640 135752675 4290888112 18446744073709551615 134638134 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30413/statm: 308315 307515 146 303 0 308010 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 1233260

[startup+1182.3 s]
/proc/loadavg: 1.00 0.97 0.85 2/107 30449
/proc/meminfo: memFree=329348/2059040 swapFree=4149284/4192956
[pid=30413] ppid=30411 vsize=1290284 CPUtime=1181.91
/proc/30413/stat : 30413 (wbo1.4b) R 30411 30413 30292 0 -1 4202496 321965 0 0 0 117320 871 0 0 25 0 1 0 25532491 1321250816 321790 1992294400 134512640 135752675 4290888112 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30413/statm: 322571 321790 146 303 0 322266 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 1290284

[startup+1242.3 s]
/proc/loadavg: 1.00 0.97 0.86 2/107 30449
/proc/meminfo: memFree=272308/2059040 swapFree=4149284/4192956
[pid=30413] ppid=30411 vsize=1347076 CPUtime=1241.9
/proc/30413/stat : 30413 (wbo1.4b) R 30411 30413 30292 0 -1 4202496 336132 0 0 0 123283 907 0 0 25 0 1 0 25532491 1379405824 335957 1992294400 134512640 135752675 4290888112 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30413/statm: 336769 335957 146 303 0 336464 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 1347076

[startup+1302.3 s]
/proc/loadavg: 1.00 0.97 0.86 2/107 30451
/proc/meminfo: memFree=230396/2059040 swapFree=4149284/4192956
[pid=30413] ppid=30411 vsize=1388384 CPUtime=1301.89
/proc/30413/stat : 30413 (wbo1.4b) R 30411 30413 30292 0 -1 4202496 346432 0 0 0 129250 939 0 0 25 0 1 0 25532491 1421705216 346257 1992294400 134512640 135752675 4290888112 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30413/statm: 347096 346257 146 303 0 346791 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1388384

[startup+1362.3 s]
/proc/loadavg: 1.00 0.97 0.87 2/107 30453
/proc/meminfo: memFree=196296/2059040 swapFree=4149284/4192956
[pid=30413] ppid=30411 vsize=1423328 CPUtime=1361.86
/proc/30413/stat : 30413 (wbo1.4b) R 30411 30413 30292 0 -1 4202496 355125 0 0 0 135219 967 0 0 25 0 1 0 25532491 1457487872 354950 1992294400 134512640 135752675 4290888112 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30413/statm: 355832 354950 146 303 0 355527 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1423328

[startup+1422.31 s]
/proc/loadavg: 1.00 0.97 0.88 2/107 30455
/proc/meminfo: memFree=163188/2059040 swapFree=4149284/4192956
[pid=30413] ppid=30411 vsize=1455644 CPUtime=1421.85
/proc/30413/stat : 30413 (wbo1.4b) R 30411 30413 30292 0 -1 4202496 363200 0 0 0 141188 997 0 0 25 0 1 0 25532491 1490579456 363025 1992294400 134512640 135752675 4290888112 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30413/statm: 363911 363025 146 303 0 363606 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1455644

[startup+1482.3 s]
/proc/loadavg: 1.00 0.97 0.88 2/107 30457
/proc/meminfo: memFree=128096/2059040 swapFree=4149284/4192956
[pid=30413] ppid=30411 vsize=1491212 CPUtime=1481.83
/proc/30413/stat : 30413 (wbo1.4b) R 30411 30413 30292 0 -1 4202496 372039 0 0 0 147149 1034 0 0 25 0 1 0 25532491 1527001088 371864 1992294400 134512640 135752675 4290888112 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30413/statm: 372803 371864 146 303 0 372498 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1491212

[startup+1542.3 s]
/proc/loadavg: 1.00 0.97 0.89 2/107 30457
/proc/meminfo: memFree=82588/2059040 swapFree=4149284/4192956
[pid=30413] ppid=30411 vsize=1536284 CPUtime=1541.8
/proc/30413/stat : 30413 (wbo1.4b) R 30411 30413 30292 0 -1 4202496 383325 0 0 0 153103 1077 0 0 25 0 1 0 25532491 1573154816 383150 1992294400 134512640 135752675 4290888112 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30413/statm: 384071 383150 146 303 0 383766 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1536284

[startup+1602.3 s]
/proc/loadavg: 1.00 0.97 0.89 2/107 30459
/proc/meminfo: memFree=44396/2059040 swapFree=4149284/4192956
[pid=30413] ppid=30411 vsize=1575340 CPUtime=1601.79
/proc/30413/stat : 30413 (wbo1.4b) R 30411 30413 30292 0 -1 4202496 393063 0 0 0 159070 1109 0 0 25 0 1 0 25532491 1613148160 392888 1992294400 134512640 135752675 4290888112 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30413/statm: 393835 392888 146 303 0 393530 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1575340

[startup+1662.3 s]
/proc/loadavg: 1.00 0.97 0.90 2/107 30461
/proc/meminfo: memFree=13520/2059040 swapFree=4149284/4192956
[pid=30413] ppid=30411 vsize=1605352 CPUtime=1661.77
/proc/30413/stat : 30413 (wbo1.4b) R 30411 30413 30292 0 -1 4202496 400556 0 0 0 165047 1130 0 0 25 0 1 0 25532491 1643880448 400381 1992294400 134512640 135752675 4290888112 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30413/statm: 401338 400381 146 303 0 401033 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 1605352

[startup+1722.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/107 30463
/proc/meminfo: memFree=9848/2059040 swapFree=4140104/4192956
[pid=30413] ppid=30411 vsize=1641388 CPUtime=1721.75
/proc/30413/stat : 30413 (wbo1.4b) R 30411 30413 30292 0 -1 4202496 409570 0 0 0 171015 1160 0 0 25 0 1 0 25532491 1680781312 409395 1992294400 134512640 135752675 4290888112 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30413/statm: 410347 409395 146 303 0 410042 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 1641388

[startup+1782.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/107 30465
/proc/meminfo: memFree=10528/2059040 swapFree=4140104/4192956
[pid=30413] ppid=30411 vsize=1672540 CPUtime=1781.73
/proc/30413/stat : 30413 (wbo1.4b) R 30411 30413 30292 0 -1 4202496 417372 0 0 0 176988 1185 0 0 25 0 1 0 25532491 1712680960 417197 1992294400 134512640 135752675 4290888112 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30413/statm: 418135 417197 146 303 0 417830 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 1672540



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 0.97 0.91 2/107 30465
/proc/meminfo: memFree=10264/2059040 swapFree=4140104/4192956
[pid=30413] ppid=30411 vsize=1680724 CPUtime=1800.05
/proc/30413/stat : 30413 (wbo1.4b) R 30411 30413 30292 0 -1 4202496 419396 0 0 0 178811 1194 0 0 25 0 1 0 25532491 1721061376 419221 1992294400 134512640 135752675 4290888112 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30413/statm: 420181 419221 146 303 0 419876 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1680724

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

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

[startup+1800.72 s]
/proc/loadavg: 1.00 0.97 0.91 2/107 30465
/proc/meminfo: memFree=10264/2059040 swapFree=4140104/4192956
[pid=30413] ppid=30411 vsize=0 CPUtime=1800.15
/proc/30413/stat : 30413 (wbo1.4b) R 30411 30413 30292 0 -1 4203524 419396 0 0 0 178811 1204 0 0 25 0 1 0 25532491 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/30413/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.77
CPU time (s): 1800.21
CPU user time (s): 1788.11
CPU system time (s): 12.0952
CPU usage (%): 99.9687
Max. virtual memory (cumulated for all children) (KiB): 1680724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.11
system time used= 12.0952
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 419396
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 3184

runsolver used 3.2565 second user time and 8.23575 second system time

The end

Launcher Data 

Begin job on node059 at 2010-07-08 09:14:23
IDJOB=2702659
IDBENCH=48264
IDSOLVER=1190
FILE ID=node059/2702659-1278573263
PBS_JOBID= 11240069
Free space on /tmp= 62548 MiB

SOLVER NAME= wbo 1.4b (fixed)
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_25_4.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-2702659-1278573263/watcher-2702659-1278573263 -o /tmp/evaluation-result-2702659-1278573263/solver-2702659-1278573263 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702659-1278573263.opb

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

MD5SUM BENCH= feead174159765db2806c13d35bd6cbe
RANDOM SEED=1670020678

node059.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.255
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.51
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.255
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1619732 kB
Buffers:         69876 kB
Cached:         244176 kB
SwapCached:      20404 kB
Active:         163424 kB
Inactive:       187248 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1619732 kB
SwapTotal:     4192956 kB
SwapFree:      4149284 kB
Dirty:            2776 kB
Writeback:           0 kB
AnonPages:       17752 kB
Mapped:          12376 kB
Slab:            66616 kB
PageTables:       4136 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181312 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-2702659-1278573263.opb

Free space on /tmp at the end= 62544 MiB
End job on node059 at 2010-07-08 09:44:26