Trace number 2680437

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.74

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_014_area_delay.opb
MD5SUM525408a019e1cf8f47f95fb4bdf20c0f
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark27
Best CPU time to get the best result obtained on this benchmark13.401
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 30
Optimality of the best value was proved NO
Number of variables5256
Total number of constraints15614
Number of constraints which are clauses15614
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 constraint1
Maximum length of a constraint63
Number of terms in the objective function 2531
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 2531
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2531
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100610
0.00/0.00	c Parsing opb file format. File HOME/instance-2680437-1277459869.opb.
0.00/0.00	c Instance file HOME/instance-2680437-1277459869.opb
0.00/0.00	c File size is 462714 bytes.
0.04/0.07	c Highest Coefficient sum: 64
0.04/0.07	c ============================[ Problem Statistics ]=============================
0.04/0.07	c |                                                                             |
0.04/0.07	c |  Parsing time:          0.07         s                                      |
0.04/0.07	c |  Number Variables:      5256                                                |
0.04/0.07	c |  Number Clauses:        15614                                               |
0.04/0.07	c |  Number Cardinality:    0                                                   |
0.04/0.07	c |  Number PB Constraints: 0                                                   |
0.19/0.26	c ============================[ Search Statistics ]==============================
0.19/0.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.26	c ===============================================================================
0.19/0.26	c |         0 |    4768    15658    37819 |     5204        0    nan |  0.000 % |
0.19/0.27	c ===============================================================================
0.19/0.27	c New solution: 38
0.19/0.27	o 38
0.19/0.27	c Elapsed CPU time: 0.26096 s	Remaining CPU time: 179.739 s
0.19/0.27	c ===============================================================================
0.19/0.27	c |        24 |    4768    15659    40350 |     5219       24     12 |  0.000 % |
0.19/0.28	c ===============================================================================
0.19/0.28	c New solution: 36
0.19/0.28	o 36
0.19/0.28	c Elapsed CPU time: 0.268959 s	Remaining CPU time: 179.731 s
0.19/0.28	c ===============================================================================
0.19/0.28	c |        30 |    4768    15660    42881 |     5220       30     13 |  0.000 % |
0.19/0.29	c ===============================================================================
0.19/0.29	c New solution: 35
0.19/0.29	o 35
0.19/0.29	c Elapsed CPU time: 0.273958 s	Remaining CPU time: 179.726 s
0.19/0.29	c ===============================================================================
0.19/0.29	c |        33 |    4768    15661    45412 |     5220       33     13 |  0.000 % |
0.29/0.34	c |       133 |    4768    15661    45412 |     5742      133     40 |  9.285 % |
0.39/0.41	c |       283 |    4768    15661    45412 |     6316      283     49 |  9.285 % |
0.39/0.44	c ===============================================================================
0.39/0.44	c New solution: 33
0.39/0.44	o 33
0.39/0.44	c Elapsed CPU time: 0.423935 s	Remaining CPU time: 179.576 s
0.39/0.44	c ===============================================================================
0.39/0.44	c |       354 |    4768    15662    47943 |     5220      354     42 |  9.285 % |
0.39/0.49	c |       454 |    4768    15662    47943 |     5742      454     46 |  9.285 % |
0.49/0.55	c |       604 |    4768    15662    47943 |     6317      604     42 |  9.285 % |
0.59/0.65	c |       829 |    4768    15662    47943 |     6948      829     41 |  9.285 % |
0.79/0.80	c |      1166 |    4768    15662    47943 |     7643     1166     47 |  9.285 % |
0.79/0.89	c ===============================================================================
0.79/0.89	c New solution: 32
0.79/0.89	o 32
0.79/0.89	c Elapsed CPU time: 0.844871 s	Remaining CPU time: 179.155 s
0.79/0.89	c ===============================================================================
0.79/0.89	c |      1341 |    4768    15663    50474 |     5221     1341     47 |  9.285 % |
0.89/0.95	c |      1441 |    4768    15663    50474 |     5743     1441     47 |  9.286 % |
1.00/1.02	c |      1592 |    4768    15663    50474 |     6317     1592     48 |  9.285 % |
1.09/1.13	c |      1817 |    4768    15663    50474 |     6949     1817     49 |  9.286 % |
1.19/1.29	c |      2154 |    4768    15663    50474 |     7644     2154     51 |  9.285 % |
1.49/1.51	c |      2660 |    4768    15663    50474 |     8408     2660     52 |  9.285 % |
1.79/1.87	c |      3420 |    4768    15663    50474 |     9249     3420     55 |  9.285 % |
2.29/2.39	c |      4559 |    4768    15663    50474 |    10174     4559     58 |  9.285 % |
2.99/3.09	c |      6267 |    4768    15663    50474 |    11191     6267     63 |  9.285 % |
4.19/4.21	c |      8829 |    4768    15663    50474 |    12310     8829     67 |  9.285 % |
6.69/6.76	c |     12679 |    4768    15663    50474 |    13541    12679     64 |  9.285 % |
9.19/9.22	c |     18446 |    4768    15663    50474 |    14896    10497     82 |  9.285 % |
13.89/13.92	c |     27098 |    4768    15663    50474 |    16385    10594     82 |  9.285 % |
19.69/19.80	c |     40073 |    4768    15663    50474 |    18024    14225     70 |  9.285 % |
29.77/29.84	c |     59536 |    4768    15663    50474 |    19826    13603    105 |  9.285 % |
44.68/44.75	c |     88728 |    4768    15663    50474 |    21809    20747     86 |  9.285 % |
65.27/65.39	c ===============================================================================
65.27/65.39	c New solution: 31
65.27/65.39	o 31
65.27/65.39	c Elapsed CPU time: 64.7512 s	Remaining CPU time: 115.249 s
65.27/65.39	c ===============================================================================
65.27/65.39	c |    128237 |    4768    15664    53005 |     5221    21173     95 |  9.285 % |
65.57/65.62	c |    128337 |    4768    15664    53005 |     5743     5394     93 |  9.286 % |
65.67/65.70	c |    128487 |    4768    15664    53005 |     6317     5544     92 |  9.285 % |
65.77/65.81	c |    128712 |    4768    15664    53005 |     6949     5769     90 |  9.286 % |
65.88/65.97	c |    129049 |    4768    15664    53005 |     7644     6106     88 |  9.286 % |
66.07/66.19	c |    129556 |    4768    15664    53005 |     8409     6613     87 |  9.285 % |
66.47/66.54	c |    130315 |    4768    15664    53005 |     9249     7372     84 |  9.286 % |
66.98/67.08	c |    131454 |    4768    15664    53005 |    10174     8511     81 |  9.285 % |
67.77/67.83	c |    133162 |    4768    15664    53005 |    11192    10219     80 |  9.285 % |
68.86/68.94	c |    135725 |    4768    15664    53005 |    12311    12782     84 |  9.286 % |
70.87/70.92	c |    139569 |    4768    15664    53005 |    13542     9559     76 |  9.285 % |
73.37/73.42	c |    145335 |    4768    15664    53005 |    14897    15325     75 |  9.285 % |
77.36/77.49	c |    153985 |    4768    15664    53005 |    16386    15515     77 |  9.285 % |
83.36/83.42	c |    166959 |    4768    15664    53005 |    18025     9897     84 |  9.285 % |
92.27/92.35	c |    186423 |    4768    15664    53005 |    19828    19485     78 |  9.285 % |
107.56/107.68	c |    215616 |    4768    15664    53005 |    21810    15541     91 |  9.285 % |
133.85/133.93	c |    259405 |    4768    15664    53005 |    23991    21923    116 |  9.285 % |
172.14/172.28	c |    325089 |    4768    15664    53005 |    26391    12308    118 |  9.285 % |
181.54/181.69	c There are 488 assigned variables. 222 in cost function.
182.64/182.72	c core #1
182.64/182.72	c 
182.64/182.72	c 
182.64/182.72	c Core size: 44	Core Weight: 1	Total Weight: 1
182.64/182.72	c
182.64/182.72	c
182.64/182.72	c core #2
182.64/182.72	c 
182.64/182.72	c 
182.64/182.72	c Core size: 51	Core Weight: 1	Total Weight: 2
182.64/182.72	c
182.64/182.72	c
182.64/182.72	c core #3
182.64/182.72	c 
182.64/182.72	c 
182.64/182.72	c Core size: 71	Core Weight: 1	Total Weight: 3
182.64/182.72	c
182.64/182.72	c
182.64/182.72	c core #4
182.64/182.72	c 
182.64/182.72	c 
182.64/182.72	c Core size: 31	Core Weight: 1	Total Weight: 4
182.64/182.72	c
182.64/182.72	c
182.64/182.72	c core #5
182.64/182.72	c 
182.64/182.72	c 
182.64/182.72	c Core size: 51	Core Weight: 1	Total Weight: 5
182.64/182.72	c
182.64/182.72	c
182.64/182.72	c core #6
182.64/182.72	c 
182.64/182.72	c 
182.64/182.72	c Core size: 7	Core Weight: 1	Total Weight: 6
182.64/182.72	c
182.64/182.72	c
182.64/182.72	c core #7
182.64/182.72	c 
182.64/182.72	c 
182.64/182.72	c Core size: 31	Core Weight: 1	Total Weight: 7
182.64/182.72	c
182.64/182.72	c
182.64/182.72	c core #8
182.64/182.72	c 
182.64/182.72	c 
182.64/182.72	c Core size: 71	Core Weight: 1	Total Weight: 8
182.64/182.72	c
182.64/182.72	c
182.64/182.72	c core #9
182.64/182.72	c 
182.64/182.72	c 
182.64/182.72	c Core size: 15	Core Weight: 1	Total Weight: 9
182.64/182.72	c
182.64/182.72	c
182.64/182.72	c core #10
182.64/182.72	c 
182.64/182.72	c 
182.64/182.72	c Core size: 71	Core Weight: 1	Total Weight: 10
182.64/182.72	c
182.64/182.72	c
182.64/182.72	c core #11
182.64/182.72	c 
182.64/182.72	c 
182.64/182.72	c Core size: 51	Core Weight: 1	Total Weight: 11
182.64/182.72	c
182.64/182.72	c
182.64/182.72	c core #12
182.64/182.72	c 
182.64/182.72	c 
182.64/182.72	c Core size: 51	Core Weight: 1	Total Weight: 12
182.64/182.72	c
182.64/182.72	c
182.64/182.72	c core #13
182.64/182.72	c 
182.64/182.72	c 
182.64/182.72	c Core size: 30	Core Weight: 1	Total Weight: 13
182.64/182.72	c
182.64/182.72	c
182.64/182.72	c core #14
182.64/182.72	c 
182.64/182.72	c 
182.64/182.72	c Core size: 30	Core Weight: 1	Total Weight: 14
182.64/182.72	c
182.64/182.72	c
182.64/182.72	c core #15
182.64/182.72	c 
182.64/182.72	c 
182.64/182.72	c Core size: 15	Core Weight: 1	Total Weight: 15
182.64/182.72	c
182.64/182.72	c
182.64/182.72	c core #16
182.64/182.72	c 
182.64/182.72	c 
182.64/182.72	c Core size: 15	Core Weight: 1	Total Weight: 16
182.64/182.72	c
182.64/182.72	c
182.64/182.72	c core #17
182.64/182.72	c 
182.64/182.72	c 
182.64/182.72	c Core size: 31	Core Weight: 1	Total Weight: 17
182.64/182.72	c
182.64/182.72	c
182.64/182.72	c core #18
182.64/182.72	c 
182.64/182.72	c 
182.64/182.72	c Core size: 104	Core Weight: 1	Total Weight: 18
182.64/182.72	c
182.64/182.72	c
182.64/182.72	c core #19
182.64/182.72	c 
182.64/182.72	c 
182.64/182.72	c Core size: 15	Core Weight: 1	Total Weight: 19
182.64/182.72	c
182.64/182.72	c
182.64/182.72	c core #20
182.64/182.72	c 
182.64/182.72	c 
182.64/182.72	c Core size: 15	Core Weight: 1	Total Weight: 20
182.64/182.72	c
182.64/182.72	c
182.64/182.72	c core #21
182.64/182.72	c 
182.64/182.72	c 
182.64/182.72	c Core size: 465	Core Weight: 1	Total Weight: 21
182.64/182.72	c
182.64/182.72	c
182.64/182.72	c ============================[ Search Statistics ]==============================
182.64/182.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.64/182.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.64/182.72	c ===============================================================================
182.64/182.72	c |         0 |    1468    16407    33420 |     5469        0    nan |  0.000 % |
182.64/182.72	c ===============================================================================
182.64/182.76	c core #22
182.64/182.76	c 
182.64/182.76	c 
182.64/182.76	c Core size: 60	Core Weight: 1	Total Weight: 22
182.64/182.76	c
182.64/182.76	c
182.64/182.76	c ============================[ Search Statistics ]==============================
182.64/182.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.64/182.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.64/182.76	c ===============================================================================
182.64/182.76	c |         0 |    1604    16408    33558 |     5469        0    nan |  0.000 % |
182.64/182.78	c ===============================================================================
182.73/182.82	c core #23
182.73/182.82	c 
182.73/182.82	c 
182.73/182.82	c Core size: 647	Core Weight: 1	Total Weight: 23
182.73/182.82	c
182.73/182.82	c
182.73/182.82	c ============================[ Search Statistics ]==============================
182.73/182.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.73/182.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.73/182.82	c ===============================================================================
182.73/182.82	c |         0 |    2543    16409    36139 |     5469        0    nan |  0.000 % |
182.73/182.86	c |       102 |    2543    16409    36139 |     6016      102     53 | 58.502 % |
182.83/182.91	c |       256 |    2543    16409    36139 |     6618      256     89 | 58.502 % |
182.93/183.01	c |       482 |    2543    16409    36139 |     7280      482     78 | 58.502 % |
183.03/183.15	c |       820 |    2543    16409    36139 |     8008      820     70 | 58.502 % |
183.13/183.25	c ===============================================================================
183.23/183.30	c core #24
183.23/183.30	c 
183.23/183.30	c 
183.23/183.30	c Core size: 1089	Core Weight: 1	Total Weight: 24
183.23/183.30	c
183.23/183.30	c
183.23/183.30	c ============================[ Search Statistics ]==============================
183.23/183.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.23/183.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.23/183.30	c ===============================================================================
183.23/183.30	c |         0 |    3453    16410    38356 |     5470        0    nan |  0.000 % |
183.23/183.34	c |       101 |    3453    16410    38356 |     6017      101     88 | 48.867 % |
183.34/183.44	c |       251 |    3453    16410    38356 |     6618      251     67 | 48.867 % |
183.44/183.51	c |       477 |    3453    16410    38356 |     7280      477     62 | 48.867 % |
183.55/183.64	c |       815 |    3453    16410    38356 |     8008      815     56 | 48.867 % |
183.74/183.89	c |      1321 |    3453    16410    38356 |     8809     1321     60 | 48.867 % |
184.24/184.31	c |      2080 |    3453    16410    38356 |     9690     2080     71 | 48.867 % |
184.75/184.86	c |      3219 |    3453    16410    38356 |    10659     3219     75 | 48.867 % |
185.75/185.90	c |      4927 |    3453    16410    38356 |    11725     4927     91 | 48.867 % |
187.43/187.53	c |      7491 |    3453    16410    38356 |    12897     7491     87 | 48.867 % |
190.24/190.38	c |     11335 |    3453    16410    38356 |    14187    11335     91 | 48.867 % |
195.53/195.61	c |     17103 |    3453    16410    38356 |    15606    17103    102 | 48.867 % |
199.73/199.87	c ===============================================================================
200.14/200.25	c core #25
200.14/200.25	c 
200.14/200.25	c 
200.14/200.25	c Core size: 711	Core Weight: 1	Total Weight: 25
200.14/200.25	c
200.14/200.25	c
200.14/200.25	c ============================[ Search Statistics ]==============================
200.14/200.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
200.14/200.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
200.14/200.25	c ===============================================================================
200.14/200.25	c |         0 |    4148    16414    39756 |     5471        0    nan |  0.000 % |
200.14/200.29	c |       101 |    4148    16414    39756 |     6018      101    109 | 44.307 % |
200.23/200.35	c |       251 |    4148    16414    39756 |     6620      251     89 | 44.307 % |
200.33/200.45	c |       477 |    4148    16414    39756 |     7282      477     77 | 44.307 % |
200.43/200.58	c |       816 |    4148    16414    39756 |     8010      816     86 | 44.307 % |
200.83/200.91	c |      1324 |    4148    16414    39756 |     8811     1324     96 | 44.307 % |
201.03/201.18	c |      2084 |    4148    16414    39756 |     9692     2084     74 | 44.307 % |
201.62/201.76	c |      3223 |    4148    16414    39756 |    10662     3223     90 | 44.307 % |
202.53/202.61	c |      4931 |    4148    16414    39756 |    11728     4931     85 | 44.307 % |
203.82/203.94	c |      7493 |    4148    16414    39756 |    12901     7493     89 | 44.307 % |
206.32/206.44	c |     11339 |    4148    16414    39756 |    14191    11339     98 | 44.307 % |
210.93/211.09	c |     17108 |    4148    16414    39756 |    15610    17108    124 | 44.307 % |
219.62/219.78	c |     25759 |    4148    16414    39756 |    17171    16196    140 | 44.307 % |
231.32/231.49	c |     38737 |    4148    16414    39756 |    18888    18609    157 | 44.307 % |
248.31/248.42	c |     58198 |    4148    16414    39756 |    20777    15432    128 | 44.307 % |
274.70/274.84	c |     87396 |    4148    16414    39756 |    22855    20033    147 | 44.307 % |
326.19/326.34	c |    131186 |    4148    16414    39756 |    25140    23259    203 | 44.307 % |
404.07/404.22	c |    196871 |    4148    16414    39756 |    27654    25342    157 | 44.307 % |
509.34/509.59	c |    295403 |    4148    16414    39756 |    30420    12907    206 | 44.307 % |
688.41/688.65	c |    443194 |    4148    16414    39756 |    33462    20321    264 | 44.307 % |
1041.59/1041.98	c |    664877 |    4148    16414    39756 |    36808    30942    266 | 44.307 % |
1590.82/1591.33	c |    997402 |    4147    16414    39756 |    40489    38631    244 | 44.321 % |
1778.17/1778.71	c ===============================================================================

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-2680437-1277459869/watcher-2680437-1277459869 -o /tmp/evaluation-result-2680437-1277459869/solver-2680437-1277459869 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680437-1277459869.opb 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 0.96 3/106 26651
/proc/meminfo: memFree=1849732/2059040 swapFree=4140412/4192956
[pid=26651] ppid=26649 vsize=3488 CPUtime=0
/proc/26651/stat : 26651 (wbo1.4b) R 26649 26651 25920 0 -1 4202496 398 0 0 0 0 0 0 0 20 0 1 0 87279573 3571712 317 1992294400 134512640 135752675 4291520896 18446744073709551615 134609663 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26651/statm: 872 317 138 303 0 454 0

[startup+0.0447919 s]
/proc/loadavg: 1.00 1.00 0.96 3/106 26651
/proc/meminfo: memFree=1849732/2059040 swapFree=4140412/4192956
[pid=26651] ppid=26649 vsize=4244 CPUtime=0.04
/proc/26651/stat : 26651 (wbo1.4b) R 26649 26651 25920 0 -1 4202496 616 0 0 0 4 0 0 0 20 0 1 0 87279573 4345856 535 1992294400 134512640 135752675 4291520896 18446744073709551615 134563052 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26651/statm: 1061 535 195 303 0 643 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4244

[startup+0.100796 s]
/proc/loadavg: 1.00 1.00 0.96 3/106 26651
/proc/meminfo: memFree=1849732/2059040 swapFree=4140412/4192956
[pid=26651] ppid=26649 vsize=5696 CPUtime=0.09
/proc/26651/stat : 26651 (wbo1.4b) R 26649 26651 25920 0 -1 4202496 1171 0 0 0 9 0 0 0 20 0 1 0 87279573 5832704 977 1992294400 134512640 135752675 4291520896 18446744073709551615 134524019 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26651/statm: 1424 977 141 303 0 1119 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5696

[startup+0.300814 s]
/proc/loadavg: 1.00 1.00 0.96 3/106 26651
/proc/meminfo: memFree=1849732/2059040 swapFree=4140412/4192956
[pid=26651] ppid=26649 vsize=5696 CPUtime=0.29
/proc/26651/stat : 26651 (wbo1.4b) R 26649 26651 25920 0 -1 4202496 1186 0 0 0 28 1 0 0 20 0 1 0 87279573 5832704 992 1992294400 134512640 135752675 4291520896 18446744073709551615 134605481 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26651/statm: 1424 992 144 303 0 1119 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5696

[startup+0.700848 s]
/proc/loadavg: 1.00 1.00 0.96 3/106 26651
/proc/meminfo: memFree=1849732/2059040 swapFree=4140412/4192956
[pid=26651] ppid=26649 vsize=5696 CPUtime=0.69
/proc/26651/stat : 26651 (wbo1.4b) R 26649 26651 25920 0 -1 4202496 1187 0 0 0 65 4 0 0 20 0 1 0 87279573 5832704 993 1992294400 134512640 135752675 4291520896 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26651/statm: 1424 993 145 303 0 1119 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5696

[startup+1.50092 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26652
/proc/meminfo: memFree=1846252/2059040 swapFree=4140412/4192956
[pid=26651] ppid=26649 vsize=5696 CPUtime=1.49
/proc/26651/stat : 26651 (wbo1.4b) R 26649 26651 25920 0 -1 4202496 1187 0 0 0 143 6 0 0 23 0 1 0 87279573 5832704 993 1992294400 134512640 135752675 4291520896 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26651/statm: 1424 993 145 303 0 1119 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5696

[startup+3.10106 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26652
/proc/meminfo: memFree=1845880/2059040 swapFree=4140412/4192956
[pid=26651] ppid=26649 vsize=6896 CPUtime=3.09
/proc/26651/stat : 26651 (wbo1.4b) R 26649 26651 25920 0 -1 4202496 1478 0 0 0 302 7 0 0 25 0 1 0 87279573 7061504 1284 1992294400 134512640 135752675 4291520896 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26651/statm: 1724 1284 145 303 0 1419 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6896

[startup+6.30134 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26652
/proc/meminfo: memFree=1842904/2059040 swapFree=4140412/4192956
[pid=26651] ppid=26649 vsize=9124 CPUtime=6.29
/proc/26651/stat : 26651 (wbo1.4b) R 26649 26651 25920 0 -1 4202496 2040 0 0 0 619 10 0 0 25 0 1 0 87279573 9342976 1846 1992294400 134512640 135752675 4291520896 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26651/statm: 2281 1846 145 303 0 1976 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9124

[startup+12.7009 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26652
/proc/meminfo: memFree=1837324/2059040 swapFree=4140412/4192956
[pid=26651] ppid=26649 vsize=15024 CPUtime=12.69
/proc/26651/stat : 26651 (wbo1.4b) R 26649 26651 25920 0 -1 4202496 3511 0 0 0 1255 14 0 0 25 0 1 0 87279573 15384576 3317 1992294400 134512640 135752675 4291520896 18446744073709551615 134605438 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26651/statm: 3756 3317 145 303 0 3451 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15024

[startup+25.502 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26652
/proc/meminfo: memFree=1826784/2059040 swapFree=4140412/4192956
[pid=26651] ppid=26649 vsize=25276 CPUtime=25.49
/proc/26651/stat : 26651 (wbo1.4b) R 26649 26651 25920 0 -1 4202496 6064 0 0 0 2524 25 0 0 25 0 1 0 87279573 25882624 5870 1992294400 134512640 135752675 4291520896 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26651/statm: 6319 5870 145 303 0 6014 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 25276

[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26654
/proc/meminfo: memFree=1802232/2059040 swapFree=4140412/4192956
[pid=26651] ppid=26649 vsize=49872 CPUtime=51.08
/proc/26651/stat : 26651 (wbo1.4b) R 26649 26651 25920 0 -1 4202496 12214 0 0 0 5059 49 0 0 25 0 1 0 87279573 51068928 12020 1992294400 134512640 135752675 4291520896 18446744073709551615 134611537 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26651/statm: 12468 12020 145 303 0 12163 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 49872

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26654
/proc/meminfo: memFree=1755980/2059040 swapFree=4140412/4192956
[pid=26651] ppid=26649 vsize=95356 CPUtime=102.27
/proc/26651/stat : 26651 (wbo1.4b) R 26649 26651 25920 0 -1 4202496 23573 0 0 0 10128 99 0 0 25 0 1 0 87279573 97644544 23379 1992294400 134512640 135752675 4291520896 18446744073709551615 134611732 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26651/statm: 23839 23379 145 303 0 23534 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 95356

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26656
/proc/meminfo: memFree=1700800/2059040 swapFree=4140412/4192956
[pid=26651] ppid=26649 vsize=150880 CPUtime=162.25
/proc/26651/stat : 26651 (wbo1.4b) R 26649 26651 25920 0 -1 4202496 37459 0 0 0 16078 147 0 0 25 0 1 0 87279573 154501120 37265 1992294400 134512640 135752675 4291520896 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26651/statm: 37720 37265 145 303 0 37415 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 150880

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26667
/proc/meminfo: memFree=1671164/2059040 swapFree=4140412/4192956
[pid=26651] ppid=26649 vsize=179484 CPUtime=222.22
/proc/26651/stat : 26651 (wbo1.4b) R 26649 26651 25920 0 -1 4202496 44723 0 0 0 22036 186 0 0 25 0 1 0 87279573 183791616 44407 1992294400 134512640 135752675 4291520896 18446744073709551615 134638063 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26651/statm: 44871 44407 146 303 0 44566 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 179484

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26669
/proc/meminfo: memFree=1630616/2059040 swapFree=4140412/4192956
[pid=26651] ppid=26649 vsize=220316 CPUtime=282.2
/proc/26651/stat : 26651 (wbo1.4b) R 26649 26651 25920 0 -1 4202496 54951 0 0 0 27994 226 0 0 25 0 1 0 87279573 225603584 54635 1992294400 134512640 135752675 4291520896 18446744073709551615 134638053 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26651/statm: 55079 54635 146 303 0 54774 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 220316

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26671
/proc/meminfo: memFree=1590068/2059040 swapFree=4140412/4192956
[pid=26651] ppid=26649 vsize=260428 CPUtime=342.19
/proc/26651/stat : 26651 (wbo1.4b) R 26649 26651 25920 0 -1 4202496 64943 0 0 0 33963 256 0 0 25 0 1 0 87279573 266678272 64627 1992294400 134512640 135752675 4291520896 18446744073709551615 134605026 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26651/statm: 65107 64627 146 303 0 64802 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 260428

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26671
/proc/meminfo: memFree=1546544/2059040 swapFree=4140412/4192956
[pid=26651] ppid=26649 vsize=304108 CPUtime=402.17
/proc/26651/stat : 26651 (wbo1.4b) R 26649 26651 25920 0 -1 4202496 75853 0 0 0 39932 285 0 0 25 0 1 0 87279573 311406592 75537 1992294400 134512640 135752675 4291520896 18446744073709551615 134611942 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26651/statm: 76027 75537 146 303 0 75722 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 304108

[startup+462.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26673
/proc/meminfo: memFree=1498184/2059040 swapFree=4140412/4192956
[pid=26651] ppid=26649 vsize=352316 CPUtime=462.15
/proc/26651/stat : 26651 (wbo1.4b) R 26649 26651 25920 0 -1 4202496 87916 0 0 0 45894 321 0 0 25 0 1 0 87279573 360771584 87600 1992294400 134512640 135752675 4291520896 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26651/statm: 88079 87600 146 303 0 87774 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 352316

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26675
/proc/meminfo: memFree=1452428/2059040 swapFree=4140412/4192956
[pid=26651] ppid=26649 vsize=398336 CPUtime=522.14
/proc/26651/stat : 26651 (wbo1.4b) R 26649 26651 25920 0 -1 4202496 99421 0 0 0 51859 355 0 0 25 0 1 0 87279573 407896064 99105 1992294400 134512640 135752675 4291520896 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26651/statm: 99584 99105 146 303 0 99279 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 398336

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26677
/proc/meminfo: memFree=1411012/2059040 swapFree=4140412/4192956
[pid=26651] ppid=26649 vsize=439156 CPUtime=582.12
/proc/26651/stat : 26651 (wbo1.4b) R 26649 26651 25920 0 -1 4202496 109609 0 0 0 57821 391 0 0 25 0 1 0 87279573 449695744 109293 1992294400 134512640 135752675 4291520896 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26651/statm: 109789 109293 146 303 0 109484 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 439156

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26679
/proc/meminfo: memFree=1365256/2059040 swapFree=4140412/4192956
[pid=26651] ppid=26649 vsize=484460 CPUtime=642.11
/proc/26651/stat : 26651 (wbo1.4b) R 26649 26651 25920 0 -1 4202496 120944 0 0 0 63785 426 0 0 25 0 1 0 87279573 496087040 120628 1992294400 134512640 135752675 4291520896 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26651/statm: 121115 120628 146 303 0 120810 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 484460

[startup+702.3 s]

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

[startup+882.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26685
/proc/meminfo: memFree=1168592/2059040 swapFree=4140412/4192956
[pid=26651] ppid=26649 vsize=680996 CPUtime=882.04
/proc/26651/stat : 26651 (wbo1.4b) R 26649 26651 25920 0 -1 4202496 170032 0 0 0 87663 541 0 0 25 0 1 0 87279573 697339904 169716 1992294400 134512640 135752675 4291520896 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26651/statm: 170249 169716 146 303 0 169944 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 680996

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26687
/proc/meminfo: memFree=1127920/2059040 swapFree=4140412/4192956
[pid=26651] ppid=26649 vsize=722196 CPUtime=942.02
/proc/26651/stat : 26651 (wbo1.4b) R 26649 26651 25920 0 -1 4202496 180340 0 0 0 93628 574 0 0 25 0 1 0 87279573 739528704 180024 1992294400 134512640 135752675 4291520896 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26651/statm: 180549 180024 146 303 0 180244 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 722196

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26687
/proc/meminfo: memFree=1086504/2059040 swapFree=4140412/4192956
[pid=26651] ppid=26649 vsize=763240 CPUtime=1002.01
/proc/26651/stat : 26651 (wbo1.4b) R 26649 26651 25920 0 -1 4202496 190546 0 0 0 99601 600 0 0 25 0 1 0 87279573 781557760 190230 1992294400 134512640 135752675 4291520896 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26651/statm: 190810 190230 146 303 0 190505 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 763240

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26689
/proc/meminfo: memFree=1045212/2059040 swapFree=4140412/4192956
[pid=26651] ppid=26649 vsize=805448 CPUtime=1061.98
/proc/26651/stat : 26651 (wbo1.4b) R 26649 26651 25920 0 -1 4202496 201088 0 0 0 105571 627 0 0 25 0 1 0 87279573 824778752 200772 1992294400 134512640 135752675 4291520896 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26651/statm: 201362 200772 146 303 0 201057 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 805448

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26691
/proc/meminfo: memFree=1000696/2059040 swapFree=4140412/4192956
[pid=26651] ppid=26649 vsize=849152 CPUtime=1121.96
/proc/26651/stat : 26651 (wbo1.4b) R 26649 26651 25920 0 -1 4202496 212000 0 0 0 111537 659 0 0 25 0 1 0 87279573 869531648 211684 1992294400 134512640 135752675 4291520896 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26651/statm: 212288 211684 146 303 0 211983 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 849152

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26693
/proc/meminfo: memFree=959900/2059040 swapFree=4140412/4192956
[pid=26651] ppid=26649 vsize=890484 CPUtime=1181.96
/proc/26651/stat : 26651 (wbo1.4b) R 26649 26651 25920 0 -1 4202496 222347 0 0 0 117508 688 0 0 25 0 1 0 87279573 911855616 222031 1992294400 134512640 135752675 4291520896 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26651/statm: 222621 222031 146 303 0 222316 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 890484

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26695
/proc/meminfo: memFree=916500/2059040 swapFree=4140412/4192956
[pid=26651] ppid=26649 vsize=933228 CPUtime=1241.94
/proc/26651/stat : 26651 (wbo1.4b) R 26649 26651 25920 0 -1 4202496 233003 0 0 0 123477 717 0 0 25 0 1 0 87279573 955625472 232687 1992294400 134512640 135752675 4291520896 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26651/statm: 233307 232687 146 303 0 233002 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 933228

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26695
/proc/meminfo: memFree=873968/2059040 swapFree=4140412/4192956
[pid=26651] ppid=26649 vsize=975276 CPUtime=1301.92
/proc/26651/stat : 26651 (wbo1.4b) R 26649 26651 25920 0 -1 4202496 243495 0 0 0 129443 749 0 0 25 0 1 0 87279573 998682624 243179 1992294400 134512640 135752675 4291520896 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26651/statm: 243819 243179 146 303 0 243514 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 975276

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26697
/proc/meminfo: memFree=828088/2059040 swapFree=4140412/4192956
[pid=26651] ppid=26649 vsize=1021248 CPUtime=1361.89
/proc/26651/stat : 26651 (wbo1.4b) R 26649 26651 25920 0 -1 4202496 255003 0 0 0 135410 779 0 0 25 0 1 0 87279573 1045757952 254687 1992294400 134512640 135752675 4291520896 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26651/statm: 255312 254687 146 303 0 255007 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1021248

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26699
/proc/meminfo: memFree=783572/2059040 swapFree=4140412/4192956
[pid=26651] ppid=26649 vsize=1065556 CPUtime=1421.88
/proc/26651/stat : 26651 (wbo1.4b) R 26649 26651 25920 0 -1 4202496 266046 0 0 0 141381 807 0 0 25 0 1 0 87279573 1091129344 265730 1992294400 134512640 135752675 4291520896 18446744073709551615 134638083 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26651/statm: 266389 265730 146 303 0 266084 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1065556

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26701
/proc/meminfo: memFree=744636/2059040 swapFree=4140412/4192956
[pid=26651] ppid=26649 vsize=1104868 CPUtime=1481.86
/proc/26651/stat : 26651 (wbo1.4b) R 26649 26651 25920 0 -1 4202496 275880 0 0 0 147351 835 0 0 25 0 1 0 87279573 1131384832 275564 1992294400 134512640 135752675 4291520896 18446744073709551615 134638053 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26651/statm: 276217 275564 146 303 0 275912 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1104868

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26703
/proc/meminfo: memFree=703840/2059040 swapFree=4140412/4192956
[pid=26651] ppid=26649 vsize=1145048 CPUtime=1541.83
/proc/26651/stat : 26651 (wbo1.4b) R 26649 26651 25920 0 -1 4202496 285935 0 0 0 153321 862 0 0 25 0 1 0 87279573 1172529152 285619 1992294400 134512640 135752675 4291520896 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26651/statm: 286262 285619 146 303 0 285957 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1145048

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26703
/proc/meminfo: memFree=668996/2059040 swapFree=4140412/4192956
[pid=26651] ppid=26649 vsize=1180164 CPUtime=1601.81
/proc/26651/stat : 26651 (wbo1.4b) R 26649 26651 25920 0 -1 4202496 294689 0 0 0 159294 887 0 0 25 0 1 0 87279573 1208487936 294373 1992294400 134512640 135752675 4291520896 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26651/statm: 295041 294373 146 303 0 294736 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1180164

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26705
/proc/meminfo: memFree=628696/2059040 swapFree=4140412/4192956
[pid=26651] ppid=26649 vsize=1220292 CPUtime=1661.8
/proc/26651/stat : 26651 (wbo1.4b) R 26649 26651 25920 0 -1 4202496 304729 0 0 0 165264 916 0 0 25 0 1 0 87279573 1249579008 304413 1992294400 134512640 135752675 4291520896 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26651/statm: 305073 304413 146 303 0 304768 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1220292

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26707
/proc/meminfo: memFree=598192/2059040 swapFree=4140412/4192956
[pid=26651] ppid=26649 vsize=1250980 CPUtime=1721.78
/proc/26651/stat : 26651 (wbo1.4b) R 26649 26651 25920 0 -1 4202496 312386 0 0 0 171238 940 0 0 25 0 1 0 87279573 1281003520 312070 1992294400 134512640 135752675 4291520896 18446744073709551615 134638085 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26651/statm: 312745 312070 146 303 0 312440 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1250980

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26709
/proc/meminfo: memFree=537556/2059040 swapFree=4140412/4192956
[pid=26651] ppid=26649 vsize=1311700 CPUtime=1781.77
/proc/26651/stat : 26651 (wbo1.4b) R 26649 26651 25920 0 -1 4202496 327565 0 0 0 177204 973 0 0 25 0 1 0 87279573 1343180800 327249 1992294400 134512640 135752675 4291520896 18446744073709551615 134516328 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26651/statm: 327925 327249 146 303 0 327620 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1311700



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26709
/proc/meminfo: memFree=523420/2059040 swapFree=4140412/4192956
[pid=26651] ppid=26649 vsize=1324900 CPUtime=1800.07
/proc/26651/stat : 26651 (wbo1.4b) R 26649 26651 25920 0 -1 4202496 330865 0 0 0 179032 975 0 0 25 0 1 0 87279573 1356697600 330549 1992294400 134512640 135752675 4291520896 18446744073709551615 134615253 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26651/statm: 331225 330549 146 303 0 330920 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1324900

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 1.00 0.96 2/107 26709
/proc/meminfo: memFree=523420/2059040 swapFree=4140412/4192956
[pid=26651] ppid=26649 vsize=0 CPUtime=1800.17
/proc/26651/stat : 26651 (wbo1.4b) R 26649 26651 25920 0 -1 4203524 330865 0 0 0 179032 985 0 0 25 0 1 0 87279573 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/26651/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.74
CPU time (s): 1800.21
CPU user time (s): 1790.33
CPU system time (s): 9.8835
CPU usage (%): 99.9704
Max. virtual memory (cumulated for all children) (KiB): 1324900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.33
system time used= 9.8835
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 330865
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= 11
involuntary context switches= 4116

runsolver used 2.88056 second user time and 8.60669 second system time

The end

Launcher Data 

Begin job on node041 at 2010-06-25 11:57:49
IDJOB=2680437
IDBENCH=24999
IDSOLVER=1190
FILE ID=node041/2680437-1277459869
PBS_JOBID= 11188126
Free space on /tmp= 61680 MiB

SOLVER NAME= wbo 1.4b (fixed)
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_014_area_delay.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680437-1277459869/watcher-2680437-1277459869 -o /tmp/evaluation-result-2680437-1277459869/solver-2680437-1277459869 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680437-1277459869.opb

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

MD5SUM BENCH= 525408a019e1cf8f47f95fb4bdf20c0f
RANDOM SEED=1187965760

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1850260 kB
Buffers:         22668 kB
Cached:          89064 kB
SwapCached:       5276 kB
Active:          61964 kB
Inactive:        63124 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1850260 kB
SwapTotal:     4192956 kB
SwapFree:      4140412 kB
Dirty:            3104 kB
Writeback:           0 kB
AnonPages:       11900 kB
Mapped:          12008 kB
Slab:            61696 kB
PageTables:       4224 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182100 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= 61676 MiB
End job on node041 at 2010-06-25 12:27:52