Trace number 2680433

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.2 1800.71

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_007_area_delay.opb
MD5SUM22488dc65cdc0686edc96d304bd4d620
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark26
Best CPU time to get the best result obtained on this benchmark26.194
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 31
Optimality of the best value was proved NO
Number of variables11334
Total number of constraints36509
Number of constraints which are clauses36509
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 constraint127
Number of terms in the objective function 5525
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 5525
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5525
Number of bits of the biggest sum of numbers13
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-2680433-1277459769.opb.
0.00/0.00	c Instance file HOME/instance-2680433-1277459769.opb
0.00/0.00	c File size is 1084997 bytes.
0.09/0.17	c Highest Coefficient sum: 128
0.09/0.17	c ============================[ Problem Statistics ]=============================
0.09/0.17	c |                                                                             |
0.09/0.17	c |  Parsing time:          0.17         s                                      |
0.09/0.17	c |  Number Variables:      11334                                               |
0.09/0.17	c |  Number Clauses:        36509                                               |
0.09/0.17	c |  Number Cardinality:    0                                                   |
0.09/0.17	c |  Number PB Constraints: 0                                                   |
0.69/0.71	c ============================[ Search Statistics ]==============================
0.69/0.71	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.69/0.71	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.69/0.71	c ===============================================================================
0.69/0.71	c |         0 |    9140    36573    86293 |    12169        0    nan |  0.000 % |
0.69/0.73	c ===============================================================================
0.69/0.73	c New solution: 32
0.69/0.73	o 32
0.69/0.73	c Elapsed CPU time: 0.713891 s	Remaining CPU time: 179.286 s
0.69/0.73	c ===============================================================================
0.69/0.73	c |        18 |    9140    36574    91818 |    12191       18      9 |  0.000 % |
0.69/0.79	c |       118 |    9140    36574    91818 |    13410      118     27 | 19.358 % |
0.79/0.88	c |       268 |    9140    36574    91818 |    14751      268     25 | 19.358 % |
1.10/1.11	c |       493 |    9140    36574    91818 |    16226      493     43 | 19.358 % |
1.30/1.37	c |       830 |    9140    36574    91818 |    17849      830     38 | 19.358 % |
1.79/1.85	c |      1337 |    9140    36574    91818 |    19634     1337     43 | 19.358 % |
2.49/2.52	c |      2096 |    9140    36574    91818 |    21597     2096     52 | 19.358 % |
3.89/3.90	c |      3236 |    9140    36574    91818 |    23757     3236     70 | 19.358 % |
5.50/5.58	c |      4944 |    9140    36574    91818 |    26133     4944     79 | 19.358 % |
8.19/8.28	c |      7507 |    9140    36574    91818 |    28746     7507     82 | 19.358 % |
11.79/11.89	c |     11351 |    9140    36574    91818 |    31621    11351     97 | 19.358 % |
19.09/19.17	c |     17117 |    9140    36574    91818 |    34783    17117     93 | 19.358 % |
27.59/27.65	c |     25768 |    9140    36574    91818 |    38261    25768    102 | 19.358 % |
28.08/28.15	c ===============================================================================
28.08/28.15	c New solution: 31
28.08/28.15	o 31
28.08/28.15	c Elapsed CPU time: 27.8988 s	Remaining CPU time: 152.101 s
28.08/28.15	c ===============================================================================
28.08/28.15	c |     26190 |    9140    36575    97343 |    12191    26190    102 | 19.358 % |
28.28/28.31	c |     26290 |    9140    36575    97343 |    13410    11251    111 | 19.358 % |
28.38/28.47	c |     26440 |    9140    36575    97343 |    14751    11401    111 | 19.358 % |
28.69/28.74	c |     26665 |    9140    36575    97343 |    16227    11626    109 | 19.358 % |
28.98/29.07	c |     27002 |    9140    36575    97343 |    17849    11963    107 | 19.358 % |
29.59/29.69	c |     27510 |    9140    36575    97343 |    19634    12471    105 | 19.358 % |
30.38/30.44	c |     28269 |    9140    36575    97343 |    21598    13230    106 | 19.358 % |
31.68/31.79	c |     29410 |    9140    36575    97343 |    23758    14371    102 | 19.358 % |
33.78/33.85	c |     31118 |    9140    36575    97343 |    26133    16079     95 | 19.358 % |
36.58/36.67	c |     33680 |    9140    36575    97343 |    28747    18641     94 | 19.358 % |
40.38/40.45	c |     37526 |    9140    36575    97343 |    31622    22487     94 | 19.358 % |
46.09/46.19	c |     43292 |    9140    36575    97343 |    34784    28253     93 | 19.358 % |
55.18/55.26	c |     51942 |    9140    36575    97343 |    38262    36903     94 | 19.358 % |
69.18/69.22	c |     64916 |    9140    36575    97343 |    42088    17909     96 | 19.358 % |
90.36/90.48	c |     84379 |    9140    36575    97343 |    46297    37372    108 | 19.358 % |
126.05/126.19	c |    113574 |    9140    36575    97343 |    50927    27071    107 | 19.358 % |
142.25/142.34	c ===============================================================================
142.25/142.34	c New solution: 30
142.25/142.34	o 30
142.25/142.34	c Elapsed CPU time: 141.361 s	Remaining CPU time: 38.6395 s
142.25/142.34	c ===============================================================================
142.25/142.34	c |    129415 |    9140    36576   102868 |    12192    42912    100 | 19.358 % |
142.55/142.67	c |    129515 |    9140    36576   102868 |    13411    11713     92 | 19.358 % |
142.66/142.79	c |    129666 |    9140    36576   102868 |    14752    11864     91 | 19.358 % |
143.05/143.11	c |    129891 |    9140    36576   102868 |    16227    12089     90 | 19.358 % |
143.35/143.40	c |    130229 |    9140    36576   102868 |    17850    12427     89 | 19.358 % |
143.86/143.92	c |    130737 |    9140    36576   102868 |    19635    12935     87 | 19.358 % |
144.66/144.77	c |    131499 |    9140    36576   102868 |    21598    13697     87 | 19.358 % |
145.76/145.88	c |    132639 |    9140    36576   102868 |    23758    14837     88 | 19.358 % |
147.85/147.94	c |    134347 |    9140    36576   102868 |    26134    16545     86 | 19.358 % |
150.25/150.32	c |    136909 |    9140    36576   102868 |    28748    19107     89 | 19.358 % |
154.85/154.94	c |    140753 |    9140    36576   102868 |    31622    22951     87 | 19.358 % |
160.45/160.55	c |    146521 |    9140    36576   102868 |    34785    28719     93 | 19.358 % |
172.34/172.46	c |    155171 |    9140    36576   102868 |    38263    37369     93 | 19.358 % |
181.14/181.27	c There are 2194 assigned variables. 1065 in cost function.
182.64/182.77	c core #1
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 71	Core Weight: 1	Total Weight: 1
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #2
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 45	Core Weight: 1	Total Weight: 2
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #3
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 31	Core Weight: 1	Total Weight: 3
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #4
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 71	Core Weight: 1	Total Weight: 4
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #5
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 31	Core Weight: 1	Total Weight: 5
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #6
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 71	Core Weight: 1	Total Weight: 6
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #7
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 71	Core Weight: 1	Total Weight: 7
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #8
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 49	Core Weight: 1	Total Weight: 8
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #9
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 14	Core Weight: 1	Total Weight: 9
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #10
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 71	Core Weight: 1	Total Weight: 10
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #11
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 51	Core Weight: 1	Total Weight: 11
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #12
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 31	Core Weight: 1	Total Weight: 12
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #13
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 50	Core Weight: 1	Total Weight: 13
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #14
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 51	Core Weight: 1	Total Weight: 14
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #15
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 7	Core Weight: 1	Total Weight: 15
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #16
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 31	Core Weight: 1	Total Weight: 16
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #17
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 7	Core Weight: 1	Total Weight: 17
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #18
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 7	Core Weight: 1	Total Weight: 18
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #19
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 516	Core Weight: 1	Total Weight: 19
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #20
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 15	Core Weight: 1	Total Weight: 20
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #21
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 107	Core Weight: 1	Total Weight: 21
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c ============================[ Search Statistics ]==============================
182.64/182.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.64/182.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.64/182.77	c ===============================================================================
182.64/182.77	c |         0 |    1508    36084    47563 |    12028        0    nan |  0.000 % |
182.64/182.78	c ===============================================================================
182.74/182.85	c core #22
182.74/182.85	c 
182.74/182.85	c 
182.74/182.85	c Core size: 460	Core Weight: 1	Total Weight: 22
182.74/182.85	c
182.74/182.85	c
182.74/182.85	c ============================[ Search Statistics ]==============================
182.74/182.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.74/182.85	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.74/182.85	c ===============================================================================
182.74/182.85	c |         0 |    2412    36085    50172 |    12028        0    nan |  0.000 % |
182.74/182.88	c ===============================================================================
182.84/182.95	c core #23
182.84/182.95	c 
182.84/182.95	c 
182.84/182.95	c Core size: 460	Core Weight: 1	Total Weight: 23
182.84/182.95	c
182.84/182.95	c
182.84/182.95	c ============================[ Search Statistics ]==============================
182.84/182.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.84/182.95	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.84/182.95	c ===============================================================================
182.84/182.95	c |         0 |    2775    36086    51079 |    12028        0    nan |  0.000 % |
182.94/183.01	c |       105 |    2775    36086    51079 |    13231      105    108 | 77.547 % |
182.94/183.07	c |       258 |    2775    36086    51079 |    14554      258     90 | 77.547 % |
183.04/183.18	c |       483 |    2775    36086    51079 |    16010      483     92 | 77.547 % |
183.14/183.26	c ===============================================================================
183.24/183.34	c core #24
183.24/183.34	c 
183.24/183.34	c 
183.24/183.34	c Core size: 469	Core Weight: 1	Total Weight: 24
183.24/183.34	c
183.24/183.34	c
183.24/183.34	c ============================[ Search Statistics ]==============================
183.24/183.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.24/183.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.24/183.34	c ===============================================================================
183.24/183.34	c |         0 |    3340    36088    52553 |    12029        0    nan |  0.000 % |
183.35/183.43	c |       101 |    3340    36088    52553 |    13232      101    215 | 73.748 % |
183.35/183.48	c |       251 |    3340    36088    52553 |    14555      251    126 | 73.748 % |
183.55/183.61	c |       478 |    3340    36088    52553 |    16011      478    124 | 73.748 % |
183.65/183.78	c |       816 |    3340    36088    52553 |    17612      816    117 | 73.748 % |
183.94/184.05	c |      1324 |    3340    36088    52553 |    19373     1324     95 | 73.748 % |
184.34/184.49	c |      2083 |    3340    36088    52553 |    21310     2083     95 | 73.748 % |
185.05/185.19	c |      3223 |    3340    36088    52553 |    23441     3223    112 | 73.748 % |
186.24/186.39	c |      4933 |    3339    36088    52553 |    25785     3401     86 | 73.756 % |
188.34/188.45	c |      7496 |    3339    36088    52553 |    28364     5964     95 | 73.756 % |
189.24/189.34	c ===============================================================================
189.44/189.51	c core #25
189.44/189.51	c 
189.44/189.51	c 
189.44/189.51	c Core size: 872	Core Weight: 1	Total Weight: 25
189.44/189.51	c
189.44/189.51	c
189.44/189.51	c ============================[ Search Statistics ]==============================
189.44/189.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.44/189.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.44/189.51	c ===============================================================================
189.44/189.51	c |         0 |    4276    36090    54698 |    12030        0    nan |  0.000 % |
189.54/189.62	c |       101 |    4276    36090    54698 |    13233      101    348 | 68.211 % |
189.54/189.67	c |       251 |    4276    36090    54698 |    14556      251    170 | 68.211 % |
189.64/189.77	c |       476 |    4276    36090    54698 |    16011      476    126 | 68.211 % |
190.04/190.10	c |       815 |    4276    36090    54698 |    17613      815    141 | 68.211 % |
190.34/190.49	c |      1324 |    4276    36090    54698 |    19374     1324    155 | 68.211 % |
190.94/191.08	c |      2083 |    4276    36090    54698 |    21311     2083    178 | 68.211 % |
191.74/191.84	c |      3222 |    4276    36090    54698 |    23443     3222    154 | 68.211 % |
192.94/193.06	c |      4934 |    4276    36090    54698 |    25787     4934    140 | 68.211 % |
194.55/194.61	c |      7497 |    4276    36090    54698 |    28366     7497    137 | 68.211 % |
197.64/197.76	c |     11342 |    4276    36090    54698 |    31202    11342    145 | 68.211 % |
201.94/202.00	c |     17108 |    4276    36090    54698 |    34322    17108    135 | 68.211 % |
210.54/210.60	c |     25758 |    4276    36090    54698 |    37755    25758    136 | 68.211 % |
226.23/226.30	c |     38733 |    4276    36090    54698 |    41530    38733    141 | 68.211 % |
251.33/251.45	c |     58195 |    4276    36090    54698 |    45683    20941    180 | 68.211 % |
291.91/292.00	c |     87388 |    4276    36090    54698 |    50252    50134    145 | 68.211 % |
349.29/349.43	c |    131178 |    4276    36090    54698 |    55277    49594    163 | 68.211 % |
446.16/446.31	c |    196862 |    4275    36090    54698 |    60805    16197    134 | 68.218 % |
487.45/487.69	c ===============================================================================
491.56/491.78	c core #26
491.56/491.78	c 
491.56/491.78	c 
491.56/491.78	c Core size: 942	Core Weight: 1	Total Weight: 26
491.56/491.78	c
491.56/491.78	c
491.56/491.78	c ============================[ Search Statistics ]==============================
491.56/491.78	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
491.56/491.78	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
491.56/491.78	c ===============================================================================
491.56/491.78	c |         0 |    5073    36110    56349 |    12036        0    nan |  0.000 % |
491.65/491.89	c |       100 |    5073    36110    56349 |    13240      100    273 | 64.395 % |
491.75/491.96	c |       250 |    5073    36110    56349 |    14564      250    175 | 64.395 % |
491.95/492.11	c |       476 |    5073    36110    56349 |    16020      476    132 | 64.395 % |
492.05/492.29	c |       813 |    5073    36110    56349 |    17622      813    122 | 64.395 % |
492.35/492.54	c |      1319 |    5073    36110    56349 |    19385     1319    106 | 64.395 % |
492.75/492.91	c |      2078 |    5073    36110    56349 |    21323     2078     99 | 64.395 % |
493.25/493.48	c |      3217 |    5073    36110    56349 |    23456     3217     95 | 64.395 % |
494.95/495.10	c |      4925 |    5073    36110    56349 |    25801     4925    126 | 64.395 % |
497.65/497.89	c |      7487 |    5073    36110    56349 |    28381     7487    159 | 64.395 % |
501.05/501.23	c |     11331 |    5073    36110    56349 |    31220    11331    179 | 64.395 % |
506.34/506.53	c |     17097 |    5073    36110    56349 |    34342    17097    168 | 64.395 % |
515.35/515.56	c |     25748 |    5073    36110    56349 |    37776    25748    167 | 64.395 % |
529.95/530.18	c |     38722 |    5073    36110    56349 |    41553    38722    170 | 64.395 % |
556.23/556.46	c |     58183 |    5073    36110    56349 |    45709    20045    220 | 64.395 % |
587.52/587.75	c |     87376 |    5073    36110    56349 |    50280    49238    183 | 64.395 % |
645.11/645.34	c |    131165 |    5073    36110    56349 |    55308    46613    209 | 64.395 % |
747.28/747.52	c |    196849 |    5073    36110    56349 |    60838    61135    181 | 64.395 % |
886.63/886.97	c |    295375 |    5073    36110    56349 |    66922    46137    213 | 64.395 % |
1174.75/1175.10	c |    443165 |    5073    36110    56349 |    73615    71412    210 | 64.395 % |
1572.04/1572.55	c |    664848 |    5073    36110    56349 |    80976    19214    143 | 64.395 % |

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.95 3/106 29348
/proc/meminfo: memFree=1825772/2059040 swapFree=4140112/4192956
[pid=29348] ppid=29346 vsize=4508 CPUtime=0
/proc/29348/stat : 29348 (wbo1.4b) R 29346 29348 28782 0 -1 4202496 462 0 0 0 0 0 0 0 20 0 1 0 87271387 4616192 380 1992294400 134512640 135752675 4294514416 18446744073709551615 134609676 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29348/statm: 1127 380 135 303 0 557 0

[startup+0.0136619 s]
/proc/loadavg: 0.92 0.98 0.95 3/106 29348
/proc/meminfo: memFree=1825772/2059040 swapFree=4140112/4192956
[pid=29348] ppid=29346 vsize=4800 CPUtime=0.01
/proc/29348/stat : 29348 (wbo1.4b) R 29346 29348 28782 0 -1 4202496 536 0 0 0 1 0 0 0 20 0 1 0 87271387 4915200 454 1992294400 134512640 135752675 4294514416 18446744073709551615 134574054 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29348/statm: 1200 454 145 303 0 630 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 4800

[startup+0.101668 s]
/proc/loadavg: 0.92 0.98 0.95 3/106 29348
/proc/meminfo: memFree=1825772/2059040 swapFree=4140112/4192956
[pid=29348] ppid=29346 vsize=6476 CPUtime=0.09
/proc/29348/stat : 29348 (wbo1.4b) R 29346 29348 28782 0 -1 4202496 1081 0 0 0 9 0 0 0 20 0 1 0 87271387 6631424 999 1992294400 134512640 135752675 4294514416 18446744073709551615 135225911 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29348/statm: 1619 999 280 303 0 1049 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6476

[startup+0.301685 s]
/proc/loadavg: 0.92 0.98 0.95 3/106 29348
/proc/meminfo: memFree=1825772/2059040 swapFree=4140112/4192956
[pid=29348] ppid=29346 vsize=9820 CPUtime=0.29
/proc/29348/stat : 29348 (wbo1.4b) R 29346 29348 28782 0 -1 4202496 2333 0 0 0 29 0 0 0 20 0 1 0 87271387 10055680 1953 1992294400 134512640 135752675 4294514416 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29348/statm: 2455 1953 141 303 0 2150 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9820

[startup+0.70172 s]
/proc/loadavg: 0.92 0.98 0.95 3/106 29348
/proc/meminfo: memFree=1825772/2059040 swapFree=4140112/4192956
[pid=29348] ppid=29346 vsize=9952 CPUtime=0.69
/proc/29348/stat : 29348 (wbo1.4b) R 29346 29348 28782 0 -1 4202496 2366 0 0 0 68 1 0 0 20 0 1 0 87271387 10190848 1986 1992294400 134512640 135752675 4294514416 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29348/statm: 2488 1986 141 303 0 2183 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9952

[startup+1.50179 s]
/proc/loadavg: 0.92 0.98 0.95 2/107 29349
/proc/meminfo: memFree=1818324/2059040 swapFree=4140112/4192956
[pid=29348] ppid=29346 vsize=9952 CPUtime=1.49
/proc/29348/stat : 29348 (wbo1.4b) R 29346 29348 28782 0 -1 4202496 2370 0 0 0 142 7 0 0 22 0 1 0 87271387 10190848 1990 1992294400 134512640 135752675 4294514416 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29348/statm: 2488 1990 145 303 0 2183 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9952

[startup+3.10193 s]
/proc/loadavg: 0.92 0.98 0.95 2/107 29349
/proc/meminfo: memFree=1818200/2059040 swapFree=4140112/4192956
[pid=29348] ppid=29346 vsize=9952 CPUtime=3.09
/proc/29348/stat : 29348 (wbo1.4b) R 29346 29348 28782 0 -1 4202496 2370 0 0 0 300 9 0 0 25 0 1 0 87271387 10190848 1990 1992294400 134512640 135752675 4294514416 18446744073709551615 134642696 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29348/statm: 2488 1990 145 303 0 2183 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9952

[startup+6.3012 s]
/proc/loadavg: 0.93 0.98 0.95 2/107 29349
/proc/meminfo: memFree=1817952/2059040 swapFree=4140112/4192956
[pid=29348] ppid=29346 vsize=9952 CPUtime=6.29
/proc/29348/stat : 29348 (wbo1.4b) R 29346 29348 28782 0 -1 4202496 2370 0 0 0 618 11 0 0 25 0 1 0 87271387 10190848 1990 1992294400 134512640 135752675 4294514416 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29348/statm: 2488 1990 145 303 0 2183 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9952

[startup+12.7008 s]
/proc/loadavg: 0.93 0.98 0.95 2/107 29349
/proc/meminfo: memFree=1815100/2059040 swapFree=4140112/4192956
[pid=29348] ppid=29346 vsize=12900 CPUtime=12.69
/proc/29348/stat : 29348 (wbo1.4b) R 29346 29348 28782 0 -1 4202496 3109 0 0 0 1254 15 0 0 25 0 1 0 87271387 13209600 2729 1992294400 134512640 135752675 4294514416 18446744073709551615 134616067 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29348/statm: 3225 2729 145 303 0 2920 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 12900

[startup+25.5009 s]
/proc/loadavg: 0.95 0.98 0.95 2/107 29351
/proc/meminfo: memFree=1809148/2059040 swapFree=4140112/4192956
[pid=29348] ppid=29346 vsize=18908 CPUtime=25.48
/proc/29348/stat : 29348 (wbo1.4b) R 29346 29348 28782 0 -1 4202496 4602 0 0 0 2526 22 0 0 25 0 1 0 87271387 19361792 4222 1992294400 134512640 135752675 4294514416 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29348/statm: 4727 4222 145 303 0 4422 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 18908

[startup+51.1011 s]
/proc/loadavg: 0.96 0.98 0.95 2/107 29351
/proc/meminfo: memFree=1797616/2059040 swapFree=4140112/4192956
[pid=29348] ppid=29346 vsize=30568 CPUtime=51.08
/proc/29348/stat : 29348 (wbo1.4b) R 29346 29348 28782 0 -1 4202496 7502 0 0 0 5066 42 0 0 25 0 1 0 87271387 31301632 7122 1992294400 134512640 135752675 4294514416 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29348/statm: 7642 7122 145 303 0 7337 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 30568

[startup+102.308 s]
/proc/loadavg: 0.98 0.98 0.95 2/107 29353
/proc/meminfo: memFree=1772196/2059040 swapFree=4140112/4192956
[pid=29348] ppid=29346 vsize=55488 CPUtime=102.27
/proc/29348/stat : 29348 (wbo1.4b) R 29346 29348 28782 0 -1 4202496 13726 0 0 0 10155 72 0 0 25 0 1 0 87271387 56819712 13346 1992294400 134512640 135752675 4294514416 18446744073709551615 134638083 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29348/statm: 13872 13346 145 303 0 13567 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 55488

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 29353
/proc/meminfo: memFree=1745536/2059040 swapFree=4140112/4192956
[pid=29348] ppid=29346 vsize=82048 CPUtime=162.24
/proc/29348/stat : 29348 (wbo1.4b) R 29346 29348 28782 0 -1 4202496 20386 0 0 0 16113 111 0 0 25 0 1 0 87271387 84017152 20006 1992294400 134512640 135752675 4294514416 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29348/statm: 20512 20006 145 303 0 20207 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 82048

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 29355
/proc/meminfo: memFree=1724580/2059040 swapFree=4140112/4192956
[pid=29348] ppid=29346 vsize=102836 CPUtime=222.23
/proc/29348/stat : 29348 (wbo1.4b) R 29346 29348 28782 0 -1 4202496 26005 0 0 0 22078 145 0 0 25 0 1 0 87271387 105304064 25234 1992294400 134512640 135752675 4294514416 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29348/statm: 25709 25234 146 303 0 25404 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 102836

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 29357
/proc/meminfo: memFree=1692960/2059040 swapFree=4140112/4192956
[pid=29348] ppid=29346 vsize=134508 CPUtime=282.21
/proc/29348/stat : 29348 (wbo1.4b) R 29346 29348 28782 0 -1 4202496 33910 0 0 0 28047 174 0 0 25 0 1 0 87271387 137736192 33139 1992294400 134512640 135752675 4294514416 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29348/statm: 33627 33139 146 303 0 33322 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 134508

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 29368
/proc/meminfo: memFree=1656008/2059040 swapFree=4140112/4192956
[pid=29348] ppid=29346 vsize=170824 CPUtime=342.2
/proc/29348/stat : 29348 (wbo1.4b) R 29346 29348 28782 0 -1 4202496 42989 0 0 0 34016 204 0 0 25 0 1 0 87271387 174923776 42218 1992294400 134512640 135752675 4294514416 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29348/statm: 42706 42218 146 303 0 42401 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 170824

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 29370
/proc/meminfo: memFree=1624016/2059040 swapFree=4140112/4192956
[pid=29348] ppid=29346 vsize=203112 CPUtime=402.18
/proc/29348/stat : 29348 (wbo1.4b) R 29346 29348 28782 0 -1 4202496 51031 0 0 0 39986 232 0 0 25 0 1 0 87271387 207986688 50260 1992294400 134512640 135752675 4294514416 18446744073709551615 134611744 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29348/statm: 50778 50260 146 303 0 50473 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 203112

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 29370
/proc/meminfo: memFree=1592148/2059040 swapFree=4140112/4192956
[pid=29348] ppid=29346 vsize=234672 CPUtime=462.17
/proc/29348/stat : 29348 (wbo1.4b) R 29346 29348 28782 0 -1 4202496 58914 0 0 0 45957 260 0 0 25 0 1 0 87271387 240304128 58143 1992294400 134512640 135752675 4294514416 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29348/statm: 58668 58143 146 303 0 58363 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 234672

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 29372
/proc/meminfo: memFree=1567348/2059040 swapFree=4140112/4192956
[pid=29348] ppid=29346 vsize=259068 CPUtime=522.14
/proc/29348/stat : 29348 (wbo1.4b) R 29346 29348 28782 0 -1 4202496 65184 0 0 0 51927 287 0 0 25 0 1 0 87271387 265285632 64221 1992294400 134512640 135752675 4294514416 18446744073709551615 134638140 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29348/statm: 64767 64221 146 303 0 64462 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 259068

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 29374
/proc/meminfo: memFree=1535356/2059040 swapFree=4140112/4192956
[pid=29348] ppid=29346 vsize=291400 CPUtime=582.13
/proc/29348/stat : 29348 (wbo1.4b) R 29346 29348 28782 0 -1 4202496 73264 0 0 0 57897 316 0 0 25 0 1 0 87271387 298393600 72301 1992294400 134512640 135752675 4294514416 18446744073709551615 134612130 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29348/statm: 72850 72301 146 303 0 72545 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 291400

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 29376
/proc/meminfo: memFree=1495304/2059040 swapFree=4140112/4192956
[pid=29348] ppid=29346 vsize=331124 CPUtime=642.11
/proc/29348/stat : 29348 (wbo1.4b) R 29346 29348 28782 0 -1 4202496 83173 0 0 0 63867 344 0 0 25 0 1 0 87271387 339070976 82210 1992294400 134512640 135752675 4294514416 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29348/statm: 82781 82210 146 303 0 82476 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 331124

[startup+702.301 s]

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

[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 29380
/proc/meminfo: memFree=1393252/2059040 swapFree=4140112/4192956
[pid=29348] ppid=29346 vsize=433744 CPUtime=822.06
/proc/29348/stat : 29348 (wbo1.4b) R 29346 29348 28782 0 -1 4202496 108779 0 0 0 81776 430 0 0 25 0 1 0 87271387 444153856 107816 1992294400 134512640 135752675 4294514416 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29348/statm: 108436 107816 146 303 0 108131 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 433744

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 29382
/proc/meminfo: memFree=1356300/2059040 swapFree=4140112/4192956
[pid=29348] ppid=29346 vsize=470236 CPUtime=882.04
/proc/29348/stat : 29348 (wbo1.4b) R 29346 29348 28782 0 -1 4202496 117898 0 0 0 87748 456 0 0 25 0 1 0 87271387 481521664 116935 1992294400 134512640 135752675 4294514416 18446744073709551615 134611628 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29348/statm: 117559 116935 146 303 0 117254 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 470236

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 29384
/proc/meminfo: memFree=1329888/2059040 swapFree=4140112/4192956
[pid=29348] ppid=29346 vsize=496832 CPUtime=942.03
/proc/29348/stat : 29348 (wbo1.4b) R 29346 29348 28782 0 -1 4202496 124562 0 0 0 93726 477 0 0 25 0 1 0 87271387 508755968 123599 1992294400 134512640 135752675 4294514416 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29348/statm: 124208 123599 146 303 0 123903 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 496832

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 29386
/proc/meminfo: memFree=1298640/2059040 swapFree=4140112/4192956
[pid=29348] ppid=29346 vsize=527808 CPUtime=1002.01
/proc/29348/stat : 29348 (wbo1.4b) R 29346 29348 28782 0 -1 4202496 132299 0 0 0 99700 501 0 0 25 0 1 0 87271387 540475392 131336 1992294400 134512640 135752675 4294514416 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29348/statm: 131952 131336 146 303 0 131647 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 527808

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 29386
/proc/meminfo: memFree=1280412/2059040 swapFree=4140112/4192956
[pid=29348] ppid=29346 vsize=546024 CPUtime=1061.98
/proc/29348/stat : 29348 (wbo1.4b) R 29346 29348 28782 0 -1 4202496 136854 0 0 0 105680 518 0 0 25 0 1 0 87271387 559128576 135891 1992294400 134512640 135752675 4294514416 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29348/statm: 136506 135891 146 303 0 136201 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 546024

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 29388
/proc/meminfo: memFree=1240980/2059040 swapFree=4140112/4192956
[pid=29348] ppid=29346 vsize=585428 CPUtime=1121.97
/proc/29348/stat : 29348 (wbo1.4b) R 29346 29348 28782 0 -1 4202496 146667 0 0 0 111655 542 0 0 25 0 1 0 87271387 599478272 145704 1992294400 134512640 135752675 4294514416 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29348/statm: 146357 145704 146 303 0 146052 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 585428

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 29390
/proc/meminfo: memFree=1213204/2059040 swapFree=4140112/4192956
[pid=29348] ppid=29346 vsize=613232 CPUtime=1181.95
/proc/29348/stat : 29348 (wbo1.4b) R 29346 29348 28782 0 -1 4202496 153616 0 0 0 117631 564 0 0 25 0 1 0 87271387 627949568 152653 1992294400 134512640 135752675 4294514416 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29348/statm: 153308 152653 146 303 0 153003 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 613232

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 29392
/proc/meminfo: memFree=1173276/2059040 swapFree=4140112/4192956
[pid=29348] ppid=29346 vsize=653124 CPUtime=1241.93
/proc/29348/stat : 29348 (wbo1.4b) R 29346 29348 28782 0 -1 4202496 163581 0 0 0 123601 592 0 0 25 0 1 0 87271387 668798976 162618 1992294400 134512640 135752675 4294514416 18446744073709551615 134611702 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29348/statm: 163281 162618 146 303 0 162976 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 653124

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 29394
/proc/meminfo: memFree=1142028/2059040 swapFree=4140112/4192956
[pid=29348] ppid=29346 vsize=683856 CPUtime=1301.92
/proc/29348/stat : 29348 (wbo1.4b) R 29346 29348 28782 0 -1 4202496 171258 0 0 0 129576 616 0 0 25 0 1 0 87271387 700268544 170295 1992294400 134512640 135752675 4294514416 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29348/statm: 170964 170295 146 303 0 170659 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 683856

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 29394
/proc/meminfo: memFree=1103960/2059040 swapFree=4140112/4192956
[pid=29348] ppid=29346 vsize=722192 CPUtime=1361.9
/proc/29348/stat : 29348 (wbo1.4b) R 29346 29348 28782 0 -1 4202496 180808 0 0 0 135546 644 0 0 25 0 1 0 87271387 739524608 179845 1992294400 134512640 135752675 4294514416 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29348/statm: 180548 179845 146 303 0 180243 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 722192

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 29396
/proc/meminfo: memFree=1076804/2059040 swapFree=4140112/4192956
[pid=29348] ppid=29346 vsize=749132 CPUtime=1421.88
/proc/29348/stat : 29348 (wbo1.4b) R 29346 29348 28782 0 -1 4202496 187541 0 0 0 141523 665 0 0 25 0 1 0 87271387 767111168 186578 1992294400 134512640 135752675 4294514416 18446744073709551615 134611732 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29348/statm: 187283 186578 146 303 0 186978 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 749132

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 29398
/proc/meminfo: memFree=1040224/2059040 swapFree=4140112/4192956
[pid=29348] ppid=29346 vsize=785980 CPUtime=1481.87
/proc/29348/stat : 29348 (wbo1.4b) R 29346 29348 28782 0 -1 4202496 196760 0 0 0 147493 694 0 0 25 0 1 0 87271387 804843520 195797 1992294400 134512640 135752675 4294514416 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29348/statm: 196495 195797 146 303 0 196190 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 785980

[startup+1542.3 s]
/proc/loadavg: 1.04 1.00 0.96 2/107 29400
/proc/meminfo: memFree=1012200/2059040 swapFree=4140112/4192956
[pid=29348] ppid=29346 vsize=813612 CPUtime=1541.84
/proc/29348/stat : 29348 (wbo1.4b) R 29346 29348 28782 0 -1 4202496 203655 0 0 0 153467 717 0 0 25 0 1 0 87271387 833138688 202692 1992294400 134512640 135752675 4294514416 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29348/statm: 203403 202692 146 303 0 203098 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 813612

[startup+1602.3 s]
/proc/loadavg: 1.01 1.00 0.96 2/107 29402
/proc/meminfo: memFree=983556/2059040 swapFree=4140112/4192956
[pid=29348] ppid=29346 vsize=842580 CPUtime=1601.83
/proc/29348/stat : 29348 (wbo1.4b) R 29346 29348 28782 0 -1 4202496 210873 0 0 0 159442 741 0 0 25 0 1 0 87271387 862801920 209910 1992294400 134512640 135752675 4294514416 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29348/statm: 210645 209910 146 303 0 210340 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 842580

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 29402
/proc/meminfo: memFree=955780/2059040 swapFree=4140112/4192956
[pid=29348] ppid=29346 vsize=870044 CPUtime=1661.81
/proc/29348/stat : 29348 (wbo1.4b) R 29346 29348 28782 0 -1 4202496 217733 0 0 0 165417 764 0 0 25 0 1 0 87271387 890925056 216770 1992294400 134512640 135752675 4294514416 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29348/statm: 217511 216770 146 303 0 217206 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 870044

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 29404
/proc/meminfo: memFree=931724/2059040 swapFree=4140112/4192956
[pid=29348] ppid=29346 vsize=894548 CPUtime=1721.8
/proc/29348/stat : 29348 (wbo1.4b) R 29346 29348 28782 0 -1 4202496 223860 0 0 0 171395 785 0 0 25 0 1 0 87271387 916017152 222897 1992294400 134512640 135752675 4294514416 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29348/statm: 223637 222897 146 303 0 223332 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 894548

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 29406
/proc/meminfo: memFree=897996/2059040 swapFree=4140112/4192956
[pid=29348] ppid=29346 vsize=927924 CPUtime=1781.78
/proc/29348/stat : 29348 (wbo1.4b) R 29346 29348 28782 0 -1 4202496 232170 0 0 0 177367 811 0 0 25 0 1 0 87271387 950194176 231207 1992294400 134512640 135752675 4294514416 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29348/statm: 231981 231207 146 303 0 231676 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 927924



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 29406
/proc/meminfo: memFree=890060/2059040 swapFree=4140112/4192956
[pid=29348] ppid=29346 vsize=935444 CPUtime=1800.09
/proc/29348/stat : 29348 (wbo1.4b) R 29346 29348 28782 0 -1 4202496 234076 0 0 0 179192 817 0 0 25 0 1 0 87271387 957894656 233113 1992294400 134512640 135752675 4294514416 18446744073709551615 134611669 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29348/statm: 233861 233113 146 303 0 233556 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 935444

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.71
CPU time (s): 1800.2
CPU user time (s): 1791.92
CPU system time (s): 8.27174
CPU usage (%): 99.9715
Max. virtual memory (cumulated for all children) (KiB): 935444

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

runsolver used 2.94355 second user time and 8.5437 second system time

The end

Launcher Data 

Begin job on node031 at 2010-06-25 11:56:09
IDJOB=2680433
IDBENCH=24995
IDSOLVER=1190
FILE ID=node031/2680433-1277459769
PBS_JOBID= 11188134
Free space on /tmp= 62420 MiB

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

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

MD5SUM BENCH= 22488dc65cdc0686edc96d304bd4d620
RANDOM SEED=2090104399

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.219
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.53
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1826300 kB
Buffers:         35108 kB
Cached:          90080 kB
SwapCached:       5404 kB
Active:          60244 kB
Inactive:        79532 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1826300 kB
SwapTotal:     4192956 kB
SwapFree:      4140112 kB
Dirty:            3764 kB
Writeback:           0 kB
AnonPages:       13188 kB
Mapped:          12060 kB
Slab:            70796 kB
PageTables:       4204 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183104 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62416 MiB
End job on node031 at 2010-06-25 12:26:12