Trace number 2680425

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.24 1800.85

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_024_area_delay.opb
MD5SUM58f3055ef9bb388e237f57f2627386e0
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark24
Best CPU time to get the best result obtained on this benchmark3.21351
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24
Optimality of the best value was proved YES
Number of variables3392
Total number of constraints9001
Number of constraints which are clauses9001
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 1642
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 1642
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 1642
Number of bits of the biggest sum of numbers11
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-2680425-1277459633.opb.
0.00/0.00	c Instance file HOME/instance-2680425-1277459633.opb
0.00/0.00	c File size is 264615 bytes.
0.00/0.04	c Highest Coefficient sum: 64
0.00/0.04	c ============================[ Problem Statistics ]=============================
0.00/0.04	c |                                                                             |
0.00/0.04	c |  Parsing time:          0.04         s                                      |
0.00/0.04	c |  Number Variables:      3392                                                |
0.00/0.04	c |  Number Clauses:        9001                                                |
0.00/0.04	c |  Number Cardinality:    0                                                   |
0.00/0.04	c |  Number PB Constraints: 0                                                   |
0.04/0.07	c ============================[ Search Statistics ]==============================
0.04/0.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.04/0.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.04/0.07	c ===============================================================================
0.04/0.07	c |         0 |    3191     9010    21751 |     5000        0    nan |  0.000 % |
0.04/0.08	c ===============================================================================
0.04/0.08	c New solution: 29
0.04/0.08	o 29
0.04/0.08	c Elapsed CPU time: 0.076988 s	Remaining CPU time: 179.923 s
0.04/0.08	c ===============================================================================
0.04/0.08	c |         0 |    3191     9011    23393 |     5000        0    nan |  0.000 % |
0.09/0.11	c |       100 |    3191     9011    23393 |     5500      100     45 |  5.926 % |
0.09/0.14	c |       250 |    3191     9011    23393 |     6050      250     40 |  5.926 % |
0.19/0.21	c |       475 |    3191     9011    23393 |     6655      475     38 |  5.927 % |
0.29/0.34	c |       812 |    3191     9011    23393 |     7320      812     43 |  5.927 % |
0.29/0.38	c ===============================================================================
0.29/0.38	c New solution: 28
0.29/0.38	o 28
0.29/0.38	c Elapsed CPU time: 0.365944 s	Remaining CPU time: 179.634 s
0.29/0.38	c ===============================================================================
0.29/0.38	c |       956 |    3191     9012    25035 |     5000      956     43 |  5.927 % |
0.39/0.42	c |      1057 |    3191     9012    25035 |     5500     1057     42 |  5.927 % |
0.39/0.46	c |      1208 |    3191     9012    25035 |     6050     1208     43 |  5.927 % |
0.49/0.53	c |      1433 |    3191     9012    25035 |     6655     1433     42 |  5.927 % |
0.59/0.63	c |      1770 |    3191     9012    25035 |     7320     1770     46 |  5.927 % |
0.69/0.78	c |      2276 |    3191     9012    25035 |     8052     2276     45 |  5.927 % |
1.00/1.02	c |      3035 |    3191     9012    25035 |     8857     3035     47 |  5.926 % |
1.29/1.39	c |      4174 |    3191     9012    25035 |     9743     4174     54 |  5.927 % |
1.89/1.94	c |      5883 |    3191     9012    25035 |    10717     5883     54 |  5.926 % |
2.69/2.71	c |      8445 |    3191     9012    25035 |    11789     8445     67 |  5.926 % |
3.79/3.89	c |     12290 |    3191     9012    25035 |    12968    12290     67 |  5.926 % |
5.89/5.93	c |     18056 |    3191     9012    25035 |    14265    10962     61 |  5.926 % |
8.49/8.58	c |     26706 |    3191     9012    25035 |    15692    11785     69 |  5.926 % |
12.79/12.84	c |     39680 |    3191     9012    25035 |    17261    16273     68 |  5.927 % |
20.99/21.09	c |     59141 |    3191     9012    25035 |    18987    17196     64 |  5.926 % |
30.98/31.05	c |     88337 |    3191     9012    25035 |    20886    15953     68 |  5.926 % |
30.98/31.09	c ===============================================================================
30.98/31.09	c New solution: 27
30.98/31.09	o 27
30.98/31.09	c Elapsed CPU time: 30.6793 s	Remaining CPU time: 149.321 s
30.98/31.09	c ===============================================================================
30.98/31.09	c |     88418 |    3191     9013    26677 |     5000    16034     68 |  5.926 % |
31.18/31.23	c |     88518 |    3191     9013    26677 |     5500     4109     64 |  5.927 % |
31.18/31.28	c |     88669 |    3191     9013    26677 |     6050     4260     63 |  5.926 % |
31.28/31.36	c |     88894 |    3191     9013    26677 |     6655     4485     62 |  5.927 % |
31.38/31.47	c |     89232 |    3191     9013    26677 |     7320     4823     61 |  5.927 % |
31.58/31.64	c |     89739 |    3191     9013    26677 |     8052     5330     60 |  5.927 % |
31.79/31.88	c |     90498 |    3191     9013    26677 |     8857     6089     63 |  5.927 % |
32.18/32.29	c |     91639 |    3191     9013    26677 |     9743     7230     64 |  5.927 % |
32.78/32.81	c |     93348 |    3191     9013    26677 |    10717     8939     69 |  5.926 % |
33.77/33.88	c |     95910 |    3191     9013    26677 |    11789    11501     67 |  5.926 % |
34.97/35.07	c |     99754 |    3191     9013    26677 |    12968     8809     75 |  5.926 % |
36.97/37.01	c |    105520 |    3191     9013    26677 |    14265     7413     60 |  5.926 % |
39.98/40.00	c |    114169 |    3191     9013    26677 |    15692     8304     66 |  5.926 % |
43.98/44.07	c |    127143 |    3191     9013    26677 |    17261    12715     80 |  5.926 % |
50.77/50.85	c |    146604 |    3191     9013    26677 |    18987    13806     64 |  5.926 % |
53.47/53.56	c ===============================================================================
53.47/53.56	c New solution: 26
53.47/53.56	o 26
53.47/53.56	c Elapsed CPU time: 52.85 s	Remaining CPU time: 127.15 s
53.47/53.56	c ===============================================================================
53.47/53.56	c |    154682 |    3191     9014    28319 |     5000    11675     79 |  5.926 % |
53.57/53.63	c |    154784 |    3191     9014    28319 |     5500     3021     72 |  5.927 % |
53.57/53.68	c |    154934 |    3191     9014    28319 |     6050     3171     70 |  5.926 % |
53.68/53.76	c |    155159 |    3191     9014    28319 |     6655     3396     68 |  5.927 % |
53.78/53.88	c |    155496 |    3191     9014    28319 |     7320     3733     67 |  5.927 % |
53.97/54.03	c |    156003 |    3191     9014    28319 |     8052     4240     68 |  5.927 % |
54.18/54.26	c |    156762 |    3191     9014    28319 |     8857     4999     66 |  5.926 % |
54.58/54.65	c |    157903 |    3191     9014    28319 |     9743     6140     63 |  5.927 % |
55.17/55.24	c |    159611 |    3191     9014    28319 |    10717     7848     64 |  5.927 % |
55.98/56.00	c |    162174 |    3191     9014    28319 |    11789    10411     67 |  5.926 % |
57.47/57.56	c |    166019 |    3191     9014    28319 |    12968     7834     65 |  5.926 % |
59.28/59.33	c |    171786 |    3191     9014    28319 |    14265    13601     68 |  5.926 % |
63.07/63.10	c |    180435 |    3191     9014    28319 |    15692    14536     61 |  5.926 % |
67.57/67.67	c |    193409 |    3191     9014    28319 |    17261    10547     78 |  5.926 % |
74.37/74.47	c |    212871 |    3191     9014    28319 |    18987    11369     79 |  5.926 % |
84.76/84.89	c |    242065 |    3191     9014    28319 |    20886    20252     91 |  5.926 % |
99.45/99.59	c |    285854 |    3191     9014    28319 |    22974    18852     60 |  5.926 % |
123.55/123.62	c |    351538 |    3191     9014    28319 |    25272    18835     87 |  5.926 % |
163.64/163.74	c |    450066 |    3191     9014    28319 |    27799    24472    140 |  5.926 % |
182.13/182.23	c There are 201 assigned variables. 100 in cost function.
183.03/183.17	c core #1
183.03/183.17	c 
183.03/183.17	c 
183.03/183.17	c Core size: 45	Core Weight: 1	Total Weight: 1
183.03/183.17	c
183.03/183.17	c
183.03/183.17	c core #2
183.03/183.17	c 
183.03/183.17	c 
183.03/183.17	c Core size: 31	Core Weight: 1	Total Weight: 2
183.03/183.17	c
183.03/183.17	c
183.03/183.17	c core #3
183.03/183.17	c 
183.03/183.17	c 
183.03/183.17	c Core size: 71	Core Weight: 1	Total Weight: 3
183.03/183.17	c
183.03/183.17	c
183.03/183.17	c core #4
183.03/183.17	c 
183.03/183.17	c 
183.03/183.17	c Core size: 51	Core Weight: 1	Total Weight: 4
183.03/183.17	c
183.03/183.17	c
183.03/183.17	c core #5
183.03/183.17	c 
183.03/183.17	c 
183.03/183.17	c Core size: 51	Core Weight: 1	Total Weight: 5
183.03/183.17	c
183.03/183.17	c
183.03/183.17	c core #6
183.03/183.17	c 
183.03/183.17	c 
183.03/183.17	c Core size: 51	Core Weight: 1	Total Weight: 6
183.03/183.17	c
183.03/183.17	c
183.03/183.17	c core #7
183.03/183.17	c 
183.03/183.17	c 
183.03/183.17	c Core size: 15	Core Weight: 1	Total Weight: 7
183.03/183.17	c
183.03/183.17	c
183.03/183.17	c core #8
183.03/183.17	c 
183.03/183.17	c 
183.03/183.17	c Core size: 51	Core Weight: 1	Total Weight: 8
183.03/183.17	c
183.03/183.17	c
183.03/183.17	c core #9
183.03/183.17	c 
183.03/183.17	c 
183.03/183.17	c Core size: 15	Core Weight: 1	Total Weight: 9
183.03/183.17	c
183.03/183.17	c
183.03/183.17	c core #10
183.03/183.17	c 
183.03/183.17	c 
183.03/183.17	c Core size: 15	Core Weight: 1	Total Weight: 10
183.03/183.17	c
183.03/183.17	c
183.03/183.17	c core #11
183.03/183.17	c 
183.03/183.17	c 
183.03/183.17	c Core size: 51	Core Weight: 1	Total Weight: 11
183.03/183.17	c
183.03/183.17	c
183.03/183.17	c core #12
183.03/183.17	c 
183.03/183.17	c 
183.03/183.17	c Core size: 31	Core Weight: 1	Total Weight: 12
183.03/183.17	c
183.03/183.17	c
183.03/183.17	c core #13
183.03/183.17	c 
183.03/183.17	c 
183.03/183.17	c Core size: 31	Core Weight: 1	Total Weight: 13
183.03/183.17	c
183.03/183.17	c
183.03/183.17	c core #14
183.03/183.17	c 
183.03/183.17	c 
183.03/183.17	c Core size: 30	Core Weight: 1	Total Weight: 14
183.03/183.17	c
183.03/183.17	c
183.03/183.17	c core #15
183.03/183.17	c 
183.03/183.17	c 
183.03/183.17	c Core size: 7	Core Weight: 1	Total Weight: 15
183.03/183.17	c
183.03/183.17	c
183.03/183.17	c core #16
183.03/183.17	c 
183.03/183.17	c 
183.03/183.17	c Core size: 30	Core Weight: 1	Total Weight: 16
183.03/183.17	c
183.03/183.17	c
183.03/183.17	c core #17
183.03/183.17	c 
183.03/183.17	c 
183.03/183.17	c Core size: 111	Core Weight: 1	Total Weight: 17
183.03/183.17	c
183.03/183.17	c
183.03/183.17	c core #18
183.03/183.17	c 
183.03/183.17	c 
183.03/183.17	c Core size: 15	Core Weight: 1	Total Weight: 18
183.03/183.17	c
183.03/183.17	c
183.03/183.17	c core #19
183.03/183.17	c 
183.03/183.17	c 
183.03/183.17	c Core size: 309	Core Weight: 1	Total Weight: 19
183.03/183.17	c
183.03/183.17	c
183.03/183.17	c ============================[ Search Statistics ]==============================
183.03/183.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.03/183.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.03/183.17	c ===============================================================================
183.03/183.17	c |         0 |    1226    10318    19481 |     5000        0    nan |  0.000 % |
183.03/183.18	c ===============================================================================
183.13/183.21	c core #20
183.13/183.21	c 
183.13/183.21	c 
183.13/183.21	c Core size: 471	Core Weight: 1	Total Weight: 20
183.13/183.21	c
183.13/183.21	c
183.13/183.21	c ============================[ Search Statistics ]==============================
183.13/183.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.13/183.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.13/183.21	c ===============================================================================
183.13/183.21	c |         0 |    1957    10319    21466 |     5000        0    nan |  0.000 % |
183.13/183.22	c ===============================================================================
183.13/183.25	c core #21
183.13/183.25	c 
183.13/183.25	c 
183.13/183.25	c Core size: 369	Core Weight: 1	Total Weight: 21
183.13/183.25	c
183.13/183.25	c
183.13/183.25	c ============================[ Search Statistics ]==============================
183.13/183.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.13/183.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.13/183.25	c ===============================================================================
183.13/183.25	c |         0 |    2345    10320    22334 |     5000        0    nan |  0.000 % |
183.13/183.28	c |       103 |    2345    10320    22334 |     5500      103     81 | 46.166 % |
183.23/183.31	c |       253 |    2345    10320    22334 |     6050      253     59 | 46.166 % |
183.23/183.37	c |       479 |    2345    10320    22334 |     6655      479     59 | 46.166 % |
183.33/183.47	c |       816 |    2345    10320    22334 |     7320      816     65 | 46.167 % |
183.54/183.62	c |      1324 |    1955    10320    22334 |     8052      694     59 | 55.120 % |
183.54/183.65	c ===============================================================================
183.54/183.69	c core #22
183.54/183.69	c 
183.54/183.69	c 
183.54/183.69	c Core size: 758	Core Weight: 1	Total Weight: 22
183.54/183.69	c
183.54/183.69	c
183.54/183.69	c ============================[ Search Statistics ]==============================
183.54/183.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.54/183.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.54/183.69	c ===============================================================================
183.54/183.69	c |         0 |    3179    10321    24414 |     5000        0    nan |  0.000 % |
183.64/183.72	c |       101 |    3179    10321    24414 |     5500      101     98 | 35.016 % |
183.64/183.77	c |       252 |    3179    10321    24414 |     6050      252     74 | 35.016 % |
183.73/183.87	c |       480 |    3179    10321    24414 |     6655      480     72 | 35.016 % |
183.83/183.98	c |       820 |    3179    10321    24414 |     7320      820     65 | 35.016 % |
184.03/184.19	c |      1326 |    3179    10321    24414 |     8052     1326     61 | 35.016 % |
184.43/184.53	c |      2087 |    3179    10321    24414 |     8857     2087     68 | 35.017 % |
184.93/185.04	c |      3226 |    3179    10321    24414 |     9743     3226     75 | 35.017 % |
185.74/185.90	c |      4935 |    3179    10321    24414 |    10717     4935     81 | 35.016 % |
187.13/187.27	c |      7499 |    3179    10321    24414 |    11789     7499     82 | 35.017 % |
190.13/190.29	c |     11344 |    3179    10321    24414 |    12968    11344     97 | 35.016 % |
193.82/193.98	c |     17112 |    3179    10321    24414 |    14265     9563    103 | 35.017 % |
200.23/200.32	c ===============================================================================
200.63/200.79	c core #23
200.63/200.79	c 
200.63/200.79	c 
200.63/200.79	c Core size: 770	Core Weight: 1	Total Weight: 23
200.63/200.79	c
200.63/200.79	c
200.63/200.79	c ============================[ Search Statistics ]==============================
200.63/200.79	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
200.63/200.79	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
200.63/200.79	c ===============================================================================
200.63/200.79	c |         0 |    3760    10324    25582 |     5000        0    nan |  0.000 % |
200.73/200.84	c |       100 |    3760    10324    25582 |     5500      100    208 | 31.299 % |
200.73/200.88	c |       252 |    3760    10324    25582 |     6050      252    100 | 31.299 % |
200.83/200.97	c |       477 |    3760    10324    25582 |     6655      477     81 | 31.299 % |
200.92/201.09	c |       814 |    3760    10324    25582 |     7320      814     68 | 31.299 % |
201.23/201.31	c |      1320 |    3760    10324    25582 |     8052     1320     91 | 31.299 % |
201.63/201.71	c |      2081 |    3760    10324    25582 |     8857     2081    119 | 31.299 % |
202.23/202.39	c |      3221 |    3760    10324    25582 |     9743     3221    138 | 31.299 % |
203.22/203.37	c |      4931 |    3760    10324    25582 |    10717     4931    143 | 31.299 % |
204.53/204.69	c |      7495 |    3760    10324    25582 |    11789     7495    125 | 31.299 % |
206.92/207.04	c |     11340 |    3760    10324    25582 |    12968    11340    125 | 31.299 % |
210.62/210.76	c |     17106 |    3760    10324    25582 |    14265     9729    135 | 31.299 % |
216.42/216.54	c |     25760 |    3760    10324    25582 |    15692    10236    124 | 31.299 % |
224.52/224.63	c |     38736 |    3760    10324    25582 |    17261    14259    106 | 31.299 % |
236.91/237.02	c |     58198 |    3760    10324    25582 |    18987    14052    116 | 31.299 % |
258.41/258.55	c |     87393 |    3760    10324    25582 |    20886    11656    120 | 31.299 % |
290.90/291.05	c |    131183 |    3760    10324    25582 |    22974    21100    102 | 31.299 % |
341.07/341.27	c |    196867 |    3760    10324    25582 |    25272    23380     95 | 31.299 % |
427.54/427.80	c |    295394 |    3760    10324    25582 |    27799    20759    126 | 31.299 % |
555.00/555.20	c |    443186 |    3760    10324    25582 |    30579    13484    146 | 31.299 % |
770.62/770.92	c |    664871 |    3760    10324    25582 |    33637    20433    146 | 31.299 % |
1111.91/1112.31	c |    997397 |    3760    10324    25582 |    37001    17645    249 | 31.299 % |
1670.83/1671.48	c |   1496185 |    3760    10324    25582 |    40701    27174    127 | 31.299 % |

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-2680425-1277459633/watcher-2680425-1277459633 -o /tmp/evaluation-result-2680425-1277459633/solver-2680425-1277459633 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680425-1277459633.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.10 1.04 1.00 3/106 24460
/proc/meminfo: memFree=1812492/2059040 swapFree=4136480/4192956
[pid=24460] ppid=24458 vsize=3192 CPUtime=0
/proc/24460/stat : 24460 (wbo1.4b) R 24458 24460 24033 0 -1 4202496 368 0 0 0 0 0 0 0 25 0 1 0 121564847 3268608 287 1992294400 134512640 135752675 4287355168 18446744073709551615 134609916 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24460/statm: 798 287 139 303 0 428 0

[startup+0.046053 s]
/proc/loadavg: 1.10 1.04 1.00 3/106 24460
/proc/meminfo: memFree=1812492/2059040 swapFree=4136480/4192956
[pid=24460] ppid=24458 vsize=4048 CPUtime=0.04
/proc/24460/stat : 24460 (wbo1.4b) R 24458 24460 24033 0 -1 4202496 715 0 0 0 4 0 0 0 25 0 1 0 121564847 4145152 570 1992294400 134512640 135752675 4287355168 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24460/statm: 1012 571 141 303 0 707 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4048

[startup+0.101061 s]
/proc/loadavg: 1.10 1.04 1.00 3/106 24460
/proc/meminfo: memFree=1812492/2059040 swapFree=4136480/4192956
[pid=24460] ppid=24458 vsize=4576 CPUtime=0.09
/proc/24460/stat : 24460 (wbo1.4b) R 24458 24460 24033 0 -1 4202496 823 0 0 0 9 0 0 0 25 0 1 0 121564847 4685824 677 1992294400 134512640 135752675 4287355168 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24460/statm: 1144 677 144 303 0 839 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4576

[startup+0.301096 s]
/proc/loadavg: 1.10 1.04 1.00 3/106 24460
/proc/meminfo: memFree=1812492/2059040 swapFree=4136480/4192956
[pid=24460] ppid=24458 vsize=4576 CPUtime=0.29
/proc/24460/stat : 24460 (wbo1.4b) R 24458 24460 24033 0 -1 4202496 827 0 0 0 28 1 0 0 25 0 1 0 121564847 4685824 681 1992294400 134512640 135752675 4287355168 18446744073709551615 134611571 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24460/statm: 1144 681 145 303 0 839 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4576

[startup+0.701168 s]
/proc/loadavg: 1.10 1.04 1.00 3/106 24460
/proc/meminfo: memFree=1812492/2059040 swapFree=4136480/4192956
[pid=24460] ppid=24458 vsize=4576 CPUtime=0.69
/proc/24460/stat : 24460 (wbo1.4b) R 24458 24460 24033 0 -1 4202496 827 0 0 0 66 3 0 0 25 0 1 0 121564847 4685824 681 1992294400 134512640 135752675 4287355168 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24460/statm: 1144 681 145 303 0 839 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4576

[startup+1.50131 s]
/proc/loadavg: 1.10 1.04 1.00 2/107 24461
/proc/meminfo: memFree=1810128/2059040 swapFree=4136480/4192956
[pid=24460] ppid=24458 vsize=5232 CPUtime=1.49
/proc/24460/stat : 24460 (wbo1.4b) R 24458 24460 24033 0 -1 4202496 1004 0 0 0 145 4 0 0 25 0 1 0 121564847 5357568 858 1992294400 134512640 135752675 4287355168 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24460/statm: 1308 858 145 303 0 1003 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5232

[startup+3.1016 s]
/proc/loadavg: 1.10 1.04 1.00 2/107 24461
/proc/meminfo: memFree=1808516/2059040 swapFree=4136480/4192956
[pid=24460] ppid=24458 vsize=7452 CPUtime=3.09
/proc/24460/stat : 24460 (wbo1.4b) R 24458 24460 24033 0 -1 4202496 1572 0 0 0 303 6 0 0 25 0 1 0 121564847 7630848 1426 1992294400 134512640 135752675 4287355168 18446744073709551615 134611537 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24460/statm: 1863 1426 145 303 0 1558 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7452

[startup+6.30117 s]
/proc/loadavg: 1.09 1.04 1.00 2/107 24461
/proc/meminfo: memFree=1804548/2059040 swapFree=4136480/4192956
[pid=24460] ppid=24458 vsize=10712 CPUtime=6.29
/proc/24460/stat : 24460 (wbo1.4b) R 24458 24460 24033 0 -1 4202496 2385 0 0 0 619 10 0 0 25 0 1 0 121564847 10969088 2239 1992294400 134512640 135752675 4287355168 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24460/statm: 2678 2239 145 303 0 2373 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10712

[startup+12.7013 s]
/proc/loadavg: 1.09 1.04 1.00 2/107 24461
/proc/meminfo: memFree=1796364/2059040 swapFree=4136480/4192956
[pid=24460] ppid=24458 vsize=18724 CPUtime=12.69
/proc/24460/stat : 24460 (wbo1.4b) R 24458 24460 24033 0 -1 4202496 4395 0 0 0 1249 20 0 0 25 0 1 0 121564847 19173376 4249 1992294400 134512640 135752675 4287355168 18446744073709551615 134638210 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24460/statm: 4681 4249 145 303 0 4376 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18724

[startup+25.5006 s]
/proc/loadavg: 1.07 1.03 1.00 2/107 24461
/proc/meminfo: memFree=1783592/2059040 swapFree=4136480/4192956
[pid=24460] ppid=24458 vsize=31036 CPUtime=25.48
/proc/24460/stat : 24460 (wbo1.4b) R 24458 24460 24033 0 -1 4202496 7436 0 0 0 2515 33 0 0 25 0 1 0 121564847 31780864 7290 1992294400 134512640 135752675 4287355168 18446744073709551615 134611663 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24460/statm: 7759 7290 145 303 0 7454 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 31036

[startup+51.1002 s]
/proc/loadavg: 1.04 1.03 1.00 2/107 24463
/proc/meminfo: memFree=1756064/2059040 swapFree=4136480/4192956
[pid=24460] ppid=24458 vsize=58944 CPUtime=51.07
/proc/24460/stat : 24460 (wbo1.4b) R 24458 24460 24033 0 -1 4202496 14430 0 0 0 5040 67 0 0 25 0 1 0 121564847 60358656 14284 1992294400 134512640 135752675 4287355168 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24460/statm: 14736 14284 145 303 0 14431 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 58944

[startup+102.308 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 24463
/proc/meminfo: memFree=1698900/2059040 swapFree=4136480/4192956
[pid=24460] ppid=24458 vsize=115272 CPUtime=102.27
/proc/24460/stat : 24460 (wbo1.4b) R 24458 24460 24033 0 -1 4202496 28507 0 0 0 10096 131 0 0 25 0 1 0 121564847 118038528 28361 1992294400 134512640 135752675 4287355168 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24460/statm: 28818 28361 145 303 0 28513 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 115272

[startup+162.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 24465
/proc/meminfo: memFree=1613464/2059040 swapFree=4136480/4192956
[pid=24460] ppid=24458 vsize=201796 CPUtime=162.23
/proc/24460/stat : 24460 (wbo1.4b) R 24458 24460 24033 0 -1 4202496 50108 0 0 0 16029 194 0 0 25 0 1 0 121564847 206639104 49962 1992294400 134512640 135752675 4287355168 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24460/statm: 50449 49962 145 303 0 50144 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 201796

[startup+222.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 24467
/proc/meminfo: memFree=1577380/2059040 swapFree=4136480/4192956
[pid=24460] ppid=24458 vsize=236408 CPUtime=222.22
/proc/24460/stat : 24460 (wbo1.4b) R 24458 24460 24033 0 -1 4202496 58829 0 0 0 21978 244 0 0 25 0 1 0 121564847 242081792 58654 1992294400 134512640 135752675 4287355168 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24460/statm: 59102 58654 146 303 0 58797 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 236408

[startup+282.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 24469
/proc/meminfo: memFree=1537452/2059040 swapFree=4136480/4192956
[pid=24460] ppid=24458 vsize=276500 CPUtime=282.2
/proc/24460/stat : 24460 (wbo1.4b) R 24458 24460 24033 0 -1 4202496 68843 0 0 0 27937 283 0 0 25 0 1 0 121564847 283136000 68668 1992294400 134512640 135752675 4287355168 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24460/statm: 69125 68668 146 303 0 68820 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 276500

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24469
/proc/meminfo: memFree=1501988/2059040 swapFree=4136480/4192956
[pid=24460] ppid=24458 vsize=311616 CPUtime=342.18
/proc/24460/stat : 24460 (wbo1.4b) R 24458 24460 24033 0 -1 4202496 77626 0 0 0 33899 319 0 0 25 0 1 0 121564847 319094784 77451 1992294400 134512640 135752675 4287355168 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24460/statm: 77904 77451 146 303 0 77599 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 311616

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24471
/proc/meminfo: memFree=1452512/2059040 swapFree=4136480/4192956
[pid=24460] ppid=24458 vsize=361920 CPUtime=402.16
/proc/24460/stat : 24460 (wbo1.4b) R 24458 24460 24033 0 -1 4202496 90194 0 0 0 39857 359 0 0 25 0 1 0 121564847 370606080 90019 1992294400 134512640 135752675 4287355168 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24460/statm: 90480 90019 146 303 0 90175 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 361920

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24482
/proc/meminfo: memFree=1404152/2059040 swapFree=4136480/4192956
[pid=24460] ppid=24458 vsize=409072 CPUtime=462.13
/proc/24460/stat : 24460 (wbo1.4b) R 24458 24460 24033 0 -1 4202496 101988 0 0 0 45817 396 0 0 25 0 1 0 121564847 418889728 101813 1992294400 134512640 135752675 4287355168 18446744073709551615 134637726 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24460/statm: 102268 101813 146 303 0 101963 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 409072

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24484
/proc/meminfo: memFree=1355792/2059040 swapFree=4136480/4192956
[pid=24460] ppid=24458 vsize=457572 CPUtime=522.1
/proc/24460/stat : 24460 (wbo1.4b) R 24458 24460 24033 0 -1 4202496 114102 0 0 0 51776 434 0 0 25 0 1 0 121564847 468553728 113927 1992294400 134512640 135752675 4287355168 18446744073709551615 134611713 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24460/statm: 114393 113927 146 303 0 114088 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 457572

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24486
/proc/meminfo: memFree=1307060/2059040 swapFree=4136480/4192956
[pid=24460] ppid=24458 vsize=506196 CPUtime=582.08
/proc/24460/stat : 24460 (wbo1.4b) R 24458 24460 24033 0 -1 4202496 126242 0 0 0 57738 470 0 0 25 0 1 0 121564847 518344704 126067 1992294400 134512640 135752675 4287355168 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24460/statm: 126549 126067 146 303 0 126244 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 506196

[startup+642.301 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 24486
/proc/meminfo: memFree=1256220/2059040 swapFree=4136480/4192956
[pid=24460] ppid=24458 vsize=556552 CPUtime=642.08
/proc/24460/stat : 24460 (wbo1.4b) R 24458 24460 24033 0 -1 4202496 138831 0 0 0 63702 506 0 0 25 0 1 0 121564847 569909248 138656 1992294400 134512640 135752675 4287355168 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24460/statm: 139138 138656 146 303 0 138833 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 556552

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.12 1.06 1.00 2/107 24494
/proc/meminfo: memFree=1053108/2059040 swapFree=4136480/4192956
[pid=24460] ppid=24458 vsize=759420 CPUtime=881.99
/proc/24460/stat : 24460 (wbo1.4b) R 24458 24460 24033 0 -1 4202496 189531 0 0 0 87540 659 0 0 25 0 1 0 121564847 777646080 189356 1992294400 134512640 135752675 4287355168 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24460/statm: 189855 189356 146 303 0 189550 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 759420

[startup+942.301 s]
/proc/loadavg: 1.30 1.11 1.02 2/107 24494
/proc/meminfo: memFree=1005244/2059040 swapFree=4136480/4192956
[pid=24460] ppid=24458 vsize=807508 CPUtime=941.97
/proc/24460/stat : 24460 (wbo1.4b) R 24458 24460 24033 0 -1 4202496 201558 0 0 0 93503 694 0 0 25 0 1 0 121564847 826888192 201383 1992294400 134512640 135752675 4287355168 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24460/statm: 201877 201383 146 303 0 201572 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 807508

[startup+1002.3 s]
/proc/loadavg: 1.11 1.08 1.01 2/107 24496
/proc/meminfo: memFree=957876/2059040 swapFree=4136480/4192956
[pid=24460] ppid=24458 vsize=854568 CPUtime=1001.95
/proc/24460/stat : 24460 (wbo1.4b) R 24458 24460 24033 0 -1 4202496 213297 0 0 0 99464 731 0 0 25 0 1 0 121564847 875077632 213122 1992294400 134512640 135752675 4287355168 18446744073709551615 134638083 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24460/statm: 213642 213122 146 303 0 213337 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 854568

[startup+1062.3 s]
/proc/loadavg: 1.04 1.07 1.01 2/107 24498
/proc/meminfo: memFree=909888/2059040 swapFree=4136480/4192956
[pid=24460] ppid=24458 vsize=902932 CPUtime=1061.93
/proc/24460/stat : 24460 (wbo1.4b) R 24458 24460 24033 0 -1 4202496 225411 0 0 0 105427 766 0 0 25 0 1 0 121564847 924602368 225236 1992294400 134512640 135752675 4287355168 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24460/statm: 225733 225236 146 303 0 225428 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 902932

[startup+1122.3 s]
/proc/loadavg: 1.01 1.05 1.00 2/107 24500
/proc/meminfo: memFree=855576/2059040 swapFree=4136480/4192956
[pid=24460] ppid=24458 vsize=956704 CPUtime=1121.9
/proc/24460/stat : 24460 (wbo1.4b) R 24458 24460 24033 0 -1 4202496 238817 0 0 0 111387 803 0 0 25 0 1 0 121564847 979664896 238642 1992294400 134512640 135752675 4287355168 18446744073709551615 134518513 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24460/statm: 239176 238642 146 303 0 238871 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 956704

[startup+1182.3 s]
/proc/loadavg: 1.00 1.04 1.00 2/107 24502
/proc/meminfo: memFree=811184/2059040 swapFree=4136480/4192956
[pid=24460] ppid=24458 vsize=1001364 CPUtime=1181.89
/proc/24460/stat : 24460 (wbo1.4b) R 24458 24460 24033 0 -1 4202496 250012 0 0 0 117350 839 0 0 25 0 1 0 121564847 1025396736 249837 1992294400 134512640 135752675 4287355168 18446744073709551615 134638055 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24460/statm: 250341 249837 146 303 0 250036 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 1001364

[startup+1242.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 24505
/proc/meminfo: memFree=766420/2059040 swapFree=4136480/4192956
[pid=24460] ppid=24458 vsize=1045204 CPUtime=1241.87
/proc/24460/stat : 24460 (wbo1.4b) R 24458 24460 24033 0 -1 4202496 260949 0 0 0 123315 872 0 0 25 0 1 0 121564847 1070288896 260774 1992294400 134512640 135752675 4287355168 18446744073709551615 134616503 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24460/statm: 261301 260774 146 303 0 260996 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 1045204

[startup+1302.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 24507
/proc/meminfo: memFree=725872/2059040 swapFree=4136480/4192956
[pid=24460] ppid=24458 vsize=1085112 CPUtime=1301.86
/proc/24460/stat : 24460 (wbo1.4b) R 24458 24460 24033 0 -1 4202496 270930 0 0 0 129284 902 0 0 25 0 1 0 121564847 1111154688 270755 1992294400 134512640 135752675 4287355168 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24460/statm: 271278 270755 146 303 0 270973 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1085112

[startup+1362.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 24509
/proc/meminfo: memFree=683836/2059040 swapFree=4136480/4192956
[pid=24460] ppid=24458 vsize=1127408 CPUtime=1361.83
/proc/24460/stat : 24460 (wbo1.4b) R 24458 24460 24033 0 -1 4202496 281498 0 0 0 135244 939 0 0 25 0 1 0 121564847 1154465792 281323 1992294400 134512640 135752675 4287355168 18446744073709551615 134612140 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24460/statm: 281852 281323 146 303 0 281547 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1127408

[startup+1422.31 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 24511
/proc/meminfo: memFree=646760/2059040 swapFree=4136480/4192956
[pid=24460] ppid=24458 vsize=1164384 CPUtime=1421.81
/proc/24460/stat : 24460 (wbo1.4b) R 24458 24460 24033 0 -1 4202496 290726 0 0 0 141214 967 0 0 25 0 1 0 121564847 1192329216 290551 1992294400 134512640 135752675 4287355168 18446744073709551615 134611645 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24460/statm: 291096 290551 146 303 0 290791 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 1164384

[startup+1482.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 24513
/proc/meminfo: memFree=606956/2059040 swapFree=4136480/4192956
[pid=24460] ppid=24458 vsize=1204248 CPUtime=1481.79
/proc/24460/stat : 24460 (wbo1.4b) R 24458 24460 24033 0 -1 4202496 300688 0 0 0 147178 1001 0 0 25 0 1 0 121564847 1233149952 300513 1992294400 134512640 135752675 4287355168 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24460/statm: 301062 300513 146 303 0 300757 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 1204248

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24513
/proc/meminfo: memFree=569880/2059040 swapFree=4136480/4192956
[pid=24460] ppid=24458 vsize=1241240 CPUtime=1541.77
/proc/24460/stat : 24460 (wbo1.4b) R 24458 24460 24033 0 -1 4202496 309951 0 0 0 153147 1030 0 0 25 0 1 0 121564847 1271029760 309776 1992294400 134512640 135752675 4287355168 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24460/statm: 310310 309776 146 303 0 310005 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 1241240

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24515
/proc/meminfo: memFree=532060/2059040 swapFree=4136480/4192956
[pid=24460] ppid=24458 vsize=1279432 CPUtime=1601.75
/proc/24460/stat : 24460 (wbo1.4b) R 24458 24460 24033 0 -1 4202496 319477 0 0 0 159114 1061 0 0 25 0 1 0 121564847 1310138368 319302 1992294400 134512640 135752675 4287355168 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24460/statm: 319858 319302 146 303 0 319553 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 1279432

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24517
/proc/meminfo: memFree=495604/2059040 swapFree=4136480/4192956
[pid=24460] ppid=24458 vsize=1315476 CPUtime=1661.73
/proc/24460/stat : 24460 (wbo1.4b) R 24458 24460 24033 0 -1 4202496 328491 0 0 0 165082 1091 0 0 25 0 1 0 121564847 1347047424 328316 1992294400 134512640 135752675 4287355168 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24460/statm: 328869 328316 146 303 0 328564 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 1315476

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24519
/proc/meminfo: memFree=451832/2059040 swapFree=4136480/4192956
[pid=24460] ppid=24458 vsize=1359824 CPUtime=1721.7
/proc/24460/stat : 24460 (wbo1.4b) R 24458 24460 24033 0 -1 4202496 339550 0 0 0 171047 1123 0 0 25 0 1 0 121564847 1392459776 339375 1992294400 134512640 135752675 4287355168 18446744073709551615 134611537 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24460/statm: 339956 339375 146 303 0 339651 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 1359824

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24521
/proc/meminfo: memFree=409920/2059040 swapFree=4136480/4192956
[pid=24460] ppid=24458 vsize=1401148 CPUtime=1781.69
/proc/24460/stat : 24460 (wbo1.4b) R 24458 24460 24033 0 -1 4202496 349877 0 0 0 177016 1153 0 0 25 0 1 0 121564847 1434775552 349702 1992294400 134512640 135752675 4287355168 18446744073709551615 134519021 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24460/statm: 350287 349702 146 303 0 349982 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 1401148



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24521
/proc/meminfo: memFree=397768/2059040 swapFree=4136480/4192956
[pid=24460] ppid=24458 vsize=1413172 CPUtime=1800.1
/proc/24460/stat : 24460 (wbo1.4b) R 24458 24460 24033 0 -1 4202496 352859 0 0 0 178848 1162 0 0 25 0 1 0 121564847 1447088128 352684 1992294400 134512640 135752675 4287355168 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24460/statm: 353293 352684 146 303 0 352988 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 1413172

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

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

[startup+1800.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24521
/proc/meminfo: memFree=397768/2059040 swapFree=4136480/4192956
[pid=24460] ppid=24458 vsize=0 CPUtime=1800.19
/proc/24460/stat : 24460 (wbo1.4b) R 24458 24460 24033 0 -1 4203524 352859 0 0 0 178848 1171 0 0 25 0 1 0 121564847 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/24460/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.85
CPU time (s): 1800.24
CPU user time (s): 1788.48
CPU system time (s): 11.7582
CPU usage (%): 99.9662
Max. virtual memory (cumulated for all children) (KiB): 1413172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.48
system time used= 11.7582
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 352859
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= 5
involuntary context switches= 1106

runsolver used 2.77058 second user time and 8.71967 second system time

The end

Launcher Data 

Begin job on node012 at 2010-06-25 11:53:53
IDJOB=2680425
IDBENCH=24987
IDSOLVER=1190
FILE ID=node012/2680425-1277459633
PBS_JOBID= 11188146
Free space on /tmp= 62432 MiB

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

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

MD5SUM BENCH= 58f3055ef9bb388e237f57f2627386e0
RANDOM SEED=773083848

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1813020 kB
Buffers:         34400 kB
Cached:         111152 kB
SwapCached:       9008 kB
Active:          64720 kB
Inactive:        93936 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1813020 kB
SwapTotal:     4192956 kB
SwapFree:      4136480 kB
Dirty:            2864 kB
Writeback:           0 kB
AnonPages:       11684 kB
Mapped:           8368 kB
Slab:            65488 kB
PageTables:       4176 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182372 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= 62428 MiB
End job on node012 at 2010-06-25 12:23:56