Trace number 2702342

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? (TO) 1800.2 1800.82

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_10_2.opb
MD5SUMf4b87658792e85afbf63fc13ada788f7
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark97.1632
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 10
Optimality of the best value was proved NO
Number of variables100
Total number of constraints100
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints100
Minimum length of a constraint11
Maximum length of a constraint21
Number of terms in the objective function 100
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1260
Sum of products size (including duplicates)2520
Number of different products1260
Sum of products size2520

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2702342-1278548064.opb.
0.00/0.00	c Instance file HOME/instance-2702342-1278548064.opb
0.00/0.00	c File size is 89792 bytes.
0.00/0.01	c Highest Coefficient sum: 22
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Parsing time:          0.01         s                                      |
0.00/0.01	c |  Number Variables:      1360                                                |
0.00/0.01	c |  Number Clauses:        1360                                                |
0.00/0.01	c |  Number Cardinality:    0                                                   |
0.00/0.01	c |  Number PB Constraints: 1260                                                |
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |    1360     2620     8920 |     5000        0    nan |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 99
0.00/0.01	o 99
0.00/0.01	c Elapsed CPU time: 0.016997 s	Remaining CPU time: 179.983 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |    1360     2621     9020 |     5000        0    nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 98
0.00/0.02	o 98
0.00/0.02	c Elapsed CPU time: 0.017997 s	Remaining CPU time: 179.982 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |    1360     2622     9120 |     5000        0    nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 59
0.00/0.02	o 59
0.00/0.02	c Elapsed CPU time: 0.018997 s	Remaining CPU time: 179.981 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |    1360     2623     9220 |     5000        0    nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 58
0.00/0.02	o 58
0.00/0.02	c Elapsed CPU time: 0.019996 s	Remaining CPU time: 179.98 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |    1360     2624     9320 |     5000        0    nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 57
0.00/0.02	o 57
0.00/0.02	c Elapsed CPU time: 0.021996 s	Remaining CPU time: 179.978 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |    1360     2625     9420 |     5000        0    nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 56
0.00/0.02	o 56
0.00/0.02	c Elapsed CPU time: 0.022996 s	Remaining CPU time: 179.977 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |    1360     2626     9520 |     5000        0    nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 55
0.00/0.02	o 55
0.00/0.02	c Elapsed CPU time: 0.023996 s	Remaining CPU time: 179.976 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |    1360     2627     9620 |     5000        0    nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 54
0.00/0.02	o 54
0.00/0.02	c Elapsed CPU time: 0.024996 s	Remaining CPU time: 179.975 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |    1360     2628     9720 |     5000        0    nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 40
0.00/0.02	o 40
0.00/0.02	c Elapsed CPU time: 0.025996 s	Remaining CPU time: 179.974 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |    1360     2629     9820 |     5000        0    nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 28
0.00/0.02	o 28
0.00/0.02	c Elapsed CPU time: 0.026995 s	Remaining CPU time: 179.973 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |    1360     2630     9920 |     5000        0    nan |  0.000 % |
0.02/0.03	c ===============================================================================
0.02/0.03	c New solution: 27
0.02/0.03	o 27
0.02/0.03	c Elapsed CPU time: 0.027995 s	Remaining CPU time: 179.972 s
0.02/0.03	c ===============================================================================
0.02/0.03	c |         0 |    1360     2631    10020 |     5000        0    nan |  0.000 % |
0.02/0.03	c ===============================================================================
0.02/0.03	c New solution: 26
0.02/0.03	o 26
0.02/0.03	c Elapsed CPU time: 0.028995 s	Remaining CPU time: 179.971 s
0.02/0.03	c ===============================================================================
0.02/0.03	c |         1 |    1360     2632    10120 |     5000        1     37 |  0.000 % |
0.02/0.03	c ===============================================================================
0.02/0.03	c New solution: 17
0.02/0.03	o 17
0.02/0.03	c Elapsed CPU time: 0.029995 s	Remaining CPU time: 179.97 s
0.02/0.03	c ===============================================================================
0.02/0.03	c |         1 |    1360     2633    10220 |     5000        1     37 |  0.000 % |
0.02/0.04	c |       104 |    1360     2633    10220 |     5500      104     51 |  0.000 % |
0.02/0.05	c ===============================================================================
0.02/0.05	c New solution: 16
0.02/0.05	o 16
0.02/0.05	c Elapsed CPU time: 0.051992 s	Remaining CPU time: 179.948 s
0.02/0.05	c ===============================================================================
0.02/0.05	c |       192 |    1360     2634    10320 |     5000      192     52 |  0.000 % |
0.02/0.06	c |       293 |    1360     2634    10320 |     5500      293     53 |  0.001 % |
0.02/0.07	c |       444 |    1360     2634    10320 |     6050      444     52 |  0.001 % |
0.09/0.10	c |       669 |    1360     2634    10320 |     6655      669     53 |  0.001 % |
0.09/0.13	c |      1006 |    1360     2634    10320 |     7320     1006     53 |  0.001 % |
0.09/0.15	c ===============================================================================
0.09/0.15	c New solution: 15
0.09/0.15	o 15
0.09/0.15	c Elapsed CPU time: 0.146977 s	Remaining CPU time: 179.853 s
0.09/0.15	c ===============================================================================
0.09/0.15	c |      1190 |    1360     2635    10420 |     5000     1190     53 |  0.001 % |
0.09/0.16	c |      1291 |    1360     2635    10420 |     5500     1291     53 |  0.001 % |
0.09/0.18	c |      1441 |    1360     2635    10420 |     6050     1441     53 |  0.001 % |
0.19/0.20	c ===============================================================================
0.19/0.20	c New solution: 14
0.19/0.20	o 14
0.19/0.20	c Elapsed CPU time: 0.189971 s	Remaining CPU time: 179.81 s
0.19/0.20	c ===============================================================================
0.19/0.20	c |      1632 |    1360     2636    10520 |     5000     1632     53 |  0.001 % |
0.19/0.21	c |      1732 |    1360     2636    10520 |     5500     1732     52 |  0.001 % |
0.19/0.23	c |      1882 |    1360     2636    10520 |     6050     1882     52 |  0.001 % |
0.19/0.25	c |      2110 |    1360     2636    10520 |     6655     2110     52 |  0.001 % |
0.19/0.29	c |      2448 |    1360     2636    10520 |     7320     2448     51 |  0.001 % |
0.29/0.35	c |      2954 |    1360     2636    10520 |     8052     2954     51 |  0.001 % |
0.39/0.45	c |      3714 |    1360     2636    10520 |     8857     3714     49 |  0.001 % |
0.59/0.60	c |      4854 |    1360     2636    10520 |     9743     4854     54 |  0.001 % |
0.79/0.81	c |      6562 |    1360     2636    10520 |    10717     6562     54 |  0.001 % |
1.19/1.22	c |      9127 |    1360     2636    10520 |    11789     9127     51 |  0.001 % |
1.79/1.85	c |     12971 |    1360     2636    10520 |    12968     6584     48 |  0.001 % |
2.69/2.71	c |     18737 |    1360     2636    10520 |    14265    12350     51 |  0.001 % |
4.29/4.34	c |     27386 |    1360     2636    10520 |    15692    13444     52 |  0.001 % |
6.79/6.82	c |     40363 |    1360     2636    10520 |    17261     9783     54 |  0.001 % |
10.90/11.00	c |     59825 |    1360     2636    10520 |    18987    11086     61 |  0.001 % |
11.19/11.21	c ===============================================================================
11.19/11.21	c New solution: 13
11.19/11.21	o 13
11.19/11.21	c Elapsed CPU time: 11.0283 s	Remaining CPU time: 168.972 s
11.19/11.21	c ===============================================================================
11.19/11.21	c |     61050 |    1360     2637    10620 |     5000    12311     61 |  0.001 % |
11.29/11.31	c |     61150 |    1360     2637    10620 |     5500     3178     53 |  0.001 % |
11.29/11.33	c |     61300 |    1360     2637    10620 |     6050     3328     53 |  0.001 % |
11.29/11.36	c |     61525 |    1360     2637    10620 |     6655     3553     53 |  0.001 % |
11.39/11.40	c |     61864 |    1360     2637    10620 |     7320     3892     52 |  0.001 % |
11.39/11.47	c |     62371 |    1360     2637    10620 |     8052     4399     52 |  0.001 % |
11.49/11.58	c |     63131 |    1360     2637    10620 |     8857     5159     51 |  0.001 % |
11.68/11.73	c |     64270 |    1360     2637    10620 |     9743     6298     51 |  0.001 % |
11.89/11.97	c |     65979 |    1360     2637    10620 |    10717     8007     50 |  0.001 % |
12.28/12.36	c |     68541 |    1360     2637    10620 |    11789    10569     50 |  0.001 % |
12.39/12.43	c ===============================================================================
12.39/12.43	c New solution: 12
12.39/12.43	o 12
12.39/12.43	c Elapsed CPU time: 12.2321 s	Remaining CPU time: 167.768 s
12.39/12.43	c ===============================================================================
12.39/12.43	c |     69029 |    1360     2638    10720 |     5000    11057     49 |  0.001 % |
12.39/12.48	c |     69130 |    1360     2638    10720 |     5500     2866     49 |  0.001 % |
12.49/12.50	c |     69281 |    1360     2638    10720 |     6050     3017     48 |  0.001 % |
12.49/12.53	c |     69507 |    1360     2638    10720 |     6655     3243     48 |  0.000 % |
12.49/12.57	c |     69845 |    1360     2638    10720 |     7320     3581     48 |  0.001 % |
12.58/12.64	c |     70352 |    1360     2638    10720 |     8052     4088     46 |  0.001 % |
12.68/12.76	c |     71111 |    1360     2638    10720 |     8857     4847     46 |  0.001 % |
12.89/12.94	c |     72252 |    1360     2638    10720 |     9743     5988     47 |  0.001 % |
13.19/13.24	c |     73961 |    1360     2638    10720 |    10717     7697     46 |  0.001 % |
13.68/13.70	c |     76523 |    1360     2638    10720 |    11789    10259     46 |  0.001 % |
14.29/14.39	c |     80368 |    1360     2638    10720 |    12968     7812     46 |  0.001 % |
15.39/15.42	c |     86134 |    1360     2638    10720 |    14265    13578     45 |  0.001 % |
16.98/17.07	c |     94784 |    1360     2638    10720 |    15692    14665     47 |  0.000 % |
19.80/19.81	c |    107759 |    1360     2638    10720 |    17261    11107     52 |  0.001 % |
24.09/24.16	c |    127220 |    1360     2638    10720 |    18987    12489     59 |  0.001 % |
31.38/31.48	c |    156413 |    1360     2638    10720 |    20886    11917     53 |  0.001 % |
41.97/42.00	c |    200203 |    1360     2638    10720 |    22974    11986     53 |  0.001 % |
59.07/59.11	c |    265887 |    1360     2638    10720 |    25272    14311     48 |  0.001 % |
89.26/89.34	c |    364413 |    1360     2638    10720 |    27799    24925     57 |  0.001 % |
135.44/135.54	c |    512203 |    1360     2638    10720 |    30579    19467     50 |  0.001 % |
182.23/182.36	c There are 0 assigned variables. 0 in cost function.
182.92/183.07	c core #1
182.92/183.07	c core #2
182.92/183.07	c core #3
182.92/183.07	c core #4
182.92/183.07	c ============================[ Search Statistics ]==============================
182.92/183.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.92/183.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.92/183.07	c ===============================================================================
182.92/183.07	c |         0 |    1213     2743    10222 |     5000        0    nan |  0.000 % |
183.02/183.10	c ===============================================================================
183.02/183.11	c core #5
183.02/183.11	c ============================[ Search Statistics ]==============================
183.02/183.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.02/183.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.02/183.11	c ===============================================================================
183.02/183.11	c |         0 |    1487     2744    10934 |     5000        0    nan |  0.000 % |
183.02/183.14	c |       104 |    1487     2744    10934 |     5500      104     42 |  3.128 % |
183.02/183.17	c |       255 |    1487     2744    10934 |     6050      255     56 |  3.127 % |
183.12/183.22	c |       485 |    1487     2744    10934 |     6655      485     54 |  3.127 % |
183.22/183.33	c |       823 |    1487     2744    10934 |     7320      823     53 |  3.127 % |
183.33/183.46	c |      1331 |    1487     2744    10934 |     8052     1331     50 |  3.128 % |
183.54/183.69	c |      2090 |    1460     2744    10934 |     8857     1096     43 |  5.928 % |
183.64/183.71	c ===============================================================================
183.64/183.74	c core #6
183.64/183.74	c ============================[ Search Statistics ]==============================
183.64/183.74	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.64/183.74	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.64/183.74	c ===============================================================================
183.64/183.74	c |         0 |    1634     2745    11468 |     5000        0    nan |  0.000 % |
183.64/183.78	c |       104 |    1634     2745    11468 |     5500      104     61 |  0.001 % |
183.73/183.81	c |       254 |    1634     2745    11468 |     6050      254     83 |  0.000 % |
183.73/183.87	c |       479 |    1634     2745    11468 |     6655      479     89 |  0.000 % |
183.83/183.96	c |       817 |    1634     2745    11468 |     7320      817    111 |  0.000 % |
184.02/184.12	c |      1324 |    1634     2745    11468 |     8052     1324    123 |  0.000 % |
184.32/184.40	c |      2083 |    1634     2745    11468 |     8857     2083    123 |  0.000 % |
184.74/184.84	c |      3223 |    1634     2745    11468 |     9743     3223    114 |  0.000 % |
185.62/185.79	c |      4937 |    1634     2745    11468 |    10717     4937    109 |  0.000 % |
187.22/187.34	c |      7500 |    1634     2745    11468 |    11789     7500    103 |  0.000 % |
189.62/189.78	c |     11350 |    1634     2745    11468 |    12968    11350    107 |  0.000 % |
194.02/194.14	c |     17116 |    1634     2745    11468 |    14265    10494    110 |  0.000 % |
200.82/200.95	c |     25770 |    1634     2745    11468 |    15692    11909    108 |  0.000 % |
210.92/211.04	c |     38747 |    1634     2745    11468 |    17261     8912     96 |  0.000 % |
224.41/224.50	c |     58209 |    1634     2745    11468 |    18987    10818    104 |  0.000 % |
233.90/234.07	c ===============================================================================
235.21/235.39	c core #7
235.21/235.39	c ============================[ Search Statistics ]==============================
235.21/235.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
235.21/235.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
235.21/235.39	c ===============================================================================
235.21/235.39	c |         0 |    1734     2746    11668 |     5000        0    nan |  0.000 % |
235.31/235.45	c |       101 |    1734     2746    11668 |     5500      101     87 |  0.001 % |
235.31/235.48	c |       251 |    1734     2746    11668 |     6050      251     68 |  0.000 % |
235.41/235.52	c |       478 |    1734     2746    11668 |     6655      478     60 |  0.000 % |
235.51/235.60	c |       819 |    1734     2746    11668 |     7320      819     68 |  0.000 % |
235.61/235.72	c |      1328 |    1734     2746    11668 |     8052     1328     82 |  0.000 % |
235.81/235.94	c |      2089 |    1734     2746    11668 |     8857     2089    104 |  0.000 % |
236.21/236.31	c |      3230 |    1734     2746    11668 |     9743     3230    110 |  0.000 % |
237.01/237.20	c |      4940 |    1734     2746    11668 |    10717     4940    132 |  0.000 % |
238.52/238.61	c |      7504 |    1734     2746    11668 |    11789     7504    143 |  0.000 % |
241.10/241.23	c |     11349 |    1734     2746    11668 |    12968    11349    154 |  0.000 % |
244.81/244.97	c |     17116 |    1734     2746    11668 |    14265    10469    149 |  0.000 % |
252.50/252.66	c |     25775 |    1734     2746    11668 |    15692    11841    168 |  0.000 % |
265.80/265.90	c |     38750 |    1734     2746    11668 |    17261     8693    162 |  0.000 % |
285.29/285.47	c |     58220 |    1734     2746    11668 |    18987    10415    152 |  0.000 % |
309.68/309.89	c |     87412 |    1734     2746    11668 |    20886    10514    125 |  0.000 % |
345.67/345.89	c |    131202 |    1734     2746    11668 |    22974    11909    118 |  0.000 % |
410.64/410.84	c |    196890 |    1734     2746    11668 |    25272    19136    138 |  0.000 % |
513.31/513.52	c |    295420 |    1734     2746    11668 |    27799    13733    164 |  0.000 % |
702.45/702.77	c |    443211 |    1734     2746    11668 |    30579    16102    161 |  0.000 % |
1066.12/1066.50	c |    664894 |    1734     2746    11668 |    33637    17093    181 |  0.000 % |
1635.62/1636.25	c |    997422 |    1734     2746    11668 |    37001    15594    159 |  0.000 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2702342-1278548064/watcher-2702342-1278548064 -o /tmp/evaluation-result-2702342-1278548064/solver-2702342-1278548064 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702342-1278548064.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.91 0.95 0.82 3/106 26098
/proc/meminfo: memFree=1707264/2059040 swapFree=4147384/4192956
[pid=26098] ppid=26096 vsize=2824 CPUtime=0
/proc/26098/stat : 26098 (wbo1.4b) R 26096 26098 25861 0 -1 4202496 332 0 0 0 0 0 0 0 20 0 1 0 23019976 2891776 251 1992294400 134512640 135751879 4286768400 18446744073709551615 134564614 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26098/statm: 706 252 146 303 0 379 0

[startup+0.029476 s]
/proc/loadavg: 0.91 0.95 0.82 3/106 26098
/proc/meminfo: memFree=1707264/2059040 swapFree=4147384/4192956
[pid=26098] ppid=26096 vsize=3024 CPUtime=0.02
/proc/26098/stat : 26098 (wbo1.4b) R 26096 26098 25861 0 -1 4202496 454 0 0 0 2 0 0 0 20 0 1 0 23019976 3096576 337 1992294400 134512640 135751879 4286768400 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26098/statm: 756 337 146 303 0 451 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 3024

[startup+0.100429 s]
/proc/loadavg: 0.91 0.95 0.82 3/106 26098
/proc/meminfo: memFree=1707264/2059040 swapFree=4147384/4192956
[pid=26098] ppid=26096 vsize=3288 CPUtime=0.09
/proc/26098/stat : 26098 (wbo1.4b) R 26096 26098 25861 0 -1 4202496 493 0 0 0 9 0 0 0 20 0 1 0 23019976 3366912 376 1992294400 134512640 135751879 4286768400 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26098/statm: 822 376 147 303 0 517 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3288

[startup+0.300468 s]
/proc/loadavg: 0.91 0.95 0.82 3/106 26098
/proc/meminfo: memFree=1707264/2059040 swapFree=4147384/4192956
[pid=26098] ppid=26096 vsize=3816 CPUtime=0.29
/proc/26098/stat : 26098 (wbo1.4b) R 26096 26098 25861 0 -1 4202496 646 0 0 0 28 1 0 0 20 0 1 0 23019976 3907584 529 1992294400 134512640 135751879 4286768400 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26098/statm: 954 529 147 303 0 649 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3816

[startup+0.700546 s]
/proc/loadavg: 0.91 0.95 0.82 3/106 26098
/proc/meminfo: memFree=1707264/2059040 swapFree=4147384/4192956
[pid=26098] ppid=26096 vsize=5000 CPUtime=0.69
/proc/26098/stat : 26098 (wbo1.4b) R 26096 26098 25861 0 -1 4202496 919 0 0 0 68 1 0 0 21 0 1 0 23019976 5120000 802 1992294400 134512640 135751879 4286768400 18446744073709551615 134611206 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26098/statm: 1250 802 147 303 0 945 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5000

[startup+1.5007 s]
/proc/loadavg: 0.91 0.95 0.82 2/107 26099
/proc/meminfo: memFree=1704280/2059040 swapFree=4147384/4192956
[pid=26098] ppid=26096 vsize=6588 CPUtime=1.49
/proc/26098/stat : 26098 (wbo1.4b) R 26096 26098 25861 0 -1 4202496 1333 0 0 0 146 3 0 0 23 0 1 0 23019976 6746112 1216 1992294400 134512640 135751879 4286768400 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26098/statm: 1647 1216 147 303 0 1342 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6588

[startup+3.10101 s]
/proc/loadavg: 0.91 0.95 0.82 2/107 26099
/proc/meminfo: memFree=1701800/2059040 swapFree=4147384/4192956
[pid=26098] ppid=26096 vsize=9880 CPUtime=3.09
/proc/26098/stat : 26098 (wbo1.4b) R 26096 26098 25861 0 -1 4202496 2140 0 0 0 304 5 0 0 25 0 1 0 23019976 10117120 2023 1992294400 134512640 135751879 4286768400 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26098/statm: 2470 2023 148 303 0 2165 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9880

[startup+6.30064 s]
/proc/loadavg: 0.92 0.95 0.82 2/107 26100
/proc/meminfo: memFree=1695600/2059040 swapFree=4147384/4192956
[pid=26098] ppid=26096 vsize=15392 CPUtime=6.29
/proc/26098/stat : 26098 (wbo1.4b) R 26096 26098 25861 0 -1 4202496 3534 0 0 0 618 11 0 0 25 0 1 0 23019976 15761408 3417 1992294400 134512640 135751879 4286768400 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26098/statm: 3848 3417 148 303 0 3543 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15392

[startup+12.7009 s]
/proc/loadavg: 0.93 0.95 0.82 2/107 26101
/proc/meminfo: memFree=1684316/2059040 swapFree=4147384/4192956
[pid=26098] ppid=26096 vsize=26356 CPUtime=12.68
/proc/26098/stat : 26098 (wbo1.4b) R 26096 26098 25861 0 -1 4202496 6276 0 0 0 1248 20 0 0 25 0 1 0 23019976 26988544 6159 1992294400 134512640 135751879 4286768400 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26098/statm: 6589 6159 148 303 0 6284 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 26356

[startup+25.5004 s]
/proc/loadavg: 0.94 0.96 0.82 2/107 26101
/proc/meminfo: memFree=1663484/2059040 swapFree=4147384/4192956
[pid=26098] ppid=26096 vsize=46296 CPUtime=25.48
/proc/26098/stat : 26098 (wbo1.4b) R 26096 26098 25861 0 -1 4202496 11265 0 0 0 2506 42 0 0 25 0 1 0 23019976 47407104 11148 1992294400 134512640 135751879 4286768400 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26098/statm: 11574 11148 148 303 0 11269 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 46296

[startup+51.1004 s]
/proc/loadavg: 0.96 0.96 0.83 2/107 26101
/proc/meminfo: memFree=1630996/2059040 swapFree=4147384/4192956
[pid=26098] ppid=26096 vsize=79028 CPUtime=51.07
/proc/26098/stat : 26098 (wbo1.4b) R 26096 26098 25861 0 -1 4202496 19436 0 0 0 5030 77 0 0 25 0 1 0 23019976 80924672 19319 1992294400 134512640 135751879 4286768400 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26098/statm: 19757 19319 148 303 0 19452 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 79028

[startup+102.308 s]
/proc/loadavg: 0.98 0.96 0.83 2/107 26103
/proc/meminfo: memFree=1573584/2059040 swapFree=4147384/4192956
[pid=26098] ppid=26096 vsize=135804 CPUtime=102.26
/proc/26098/stat : 26098 (wbo1.4b) R 26096 26098 25861 0 -1 4202496 33576 0 0 0 10086 140 0 0 25 0 1 0 23019976 139063296 33459 1992294400 134512640 135751879 4286768400 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26098/statm: 33951 33459 148 303 0 33646 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 135804

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.84 2/107 26105
/proc/meminfo: memFree=1512576/2059040 swapFree=4147384/4192956
[pid=26098] ppid=26096 vsize=197020 CPUtime=162.23
/proc/26098/stat : 26098 (wbo1.4b) R 26096 26098 25861 0 -1 4202496 48899 0 0 0 16019 204 0 0 25 0 1 0 23019976 201748480 48782 1992294400 134512640 135751879 4286768400 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26098/statm: 49255 48782 148 303 0 48950 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 197020

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.84 2/107 26105
/proc/meminfo: memFree=1479716/2059040 swapFree=4147384/4192956
[pid=26098] ppid=26096 vsize=229228 CPUtime=222.21
/proc/26098/stat : 26098 (wbo1.4b) R 26096 26098 25861 0 -1 4202496 57017 0 0 0 21968 253 0 0 25 0 1 0 23019976 234729472 56869 1992294400 134512640 135751879 4286768400 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26098/statm: 57307 56869 151 303 0 57002 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 229228

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.85 2/107 26110
/proc/meminfo: memFree=1438548/2059040 swapFree=4147384/4192956
[pid=26098] ppid=26096 vsize=270096 CPUtime=282.2
/proc/26098/stat : 26098 (wbo1.4b) R 26096 26098 25861 0 -1 4202496 67238 0 0 0 27935 285 0 0 25 0 1 0 23019976 276578304 67090 1992294400 134512640 135751879 4286768400 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26098/statm: 67524 67090 151 303 0 67219 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 270096

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.85 2/107 26112
/proc/meminfo: memFree=1393908/2059040 swapFree=4147384/4192956
[pid=26098] ppid=26096 vsize=314600 CPUtime=342.17
/proc/26098/stat : 26098 (wbo1.4b) R 26096 26098 25861 0 -1 4202496 78330 0 0 0 33900 317 0 0 25 0 1 0 23019976 322150400 78182 1992294400 134512640 135751879 4286768400 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26098/statm: 78650 78182 151 303 0 78345 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 314600

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.86 2/107 26114
/proc/meminfo: memFree=1353360/2059040 swapFree=4147384/4192956
[pid=26098] ppid=26096 vsize=355736 CPUtime=402.15
/proc/26098/stat : 26098 (wbo1.4b) R 26096 26098 25861 0 -1 4202496 88607 0 0 0 39867 348 0 0 25 0 1 0 23019976 364273664 88459 1992294400 134512640 135751879 4286768400 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26098/statm: 88934 88459 151 303 0 88629 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 355736

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.87 2/107 26116
/proc/meminfo: memFree=1312440/2059040 swapFree=4147384/4192956
[pid=26098] ppid=26096 vsize=396376 CPUtime=462.13
/proc/26098/stat : 26098 (wbo1.4b) R 26096 26098 25861 0 -1 4202496 98741 0 0 0 45830 383 0 0 25 0 1 0 23019976 405889024 98593 1992294400 134512640 135751879 4286768400 18446744073709551615 134516979 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26098/statm: 99094 98593 151 303 0 98789 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 396376

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.87 2/107 26116
/proc/meminfo: memFree=1270776/2059040 swapFree=4147384/4192956
[pid=26098] ppid=26096 vsize=438180 CPUtime=522.11
/proc/26098/stat : 26098 (wbo1.4b) R 26096 26098 25861 0 -1 4202496 109201 0 0 0 51796 415 0 0 25 0 1 0 23019976 448696320 109053 1992294400 134512640 135751879 4286768400 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26098/statm: 109545 109053 151 303 0 109240 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 438180

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.88 2/107 26118
/proc/meminfo: memFree=1234320/2059040 swapFree=4147384/4192956
[pid=26098] ppid=26096 vsize=474320 CPUtime=582.09
/proc/26098/stat : 26098 (wbo1.4b) R 26096 26098 25861 0 -1 4202496 118210 0 0 0 57763 446 0 0 25 0 1 0 23019976 485703680 118062 1992294400 134512640 135751879 4286768400 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26098/statm: 118580 118062 151 303 0 118275 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 474320

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.88 2/107 26120
/proc/meminfo: memFree=1197740/2059040 swapFree=4147384/4192956
[pid=26098] ppid=26096 vsize=510608 CPUtime=642.08
/proc/26098/stat : 26098 (wbo1.4b) R 26096 26098 25861 0 -1 4202496 127267 0 0 0 63735 473 0 0 25 0 1 0 23019976 522862592 127119 1992294400 134512640 135751879 4286768400 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26098/statm: 127652 127119 151 303 0 127347 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 510608

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 26126
/proc/meminfo: memFree=1071260/2059040 swapFree=4147384/4192956
[pid=26098] ppid=26096 vsize=637036 CPUtime=881.99
/proc/26098/stat : 26098 (wbo1.4b) R 26096 26098 25861 0 -1 4202496 158812 0 0 0 87629 570 0 0 25 0 1 0 23019976 652324864 158664 1992294400 134512640 135751879 4286768400 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26098/statm: 159259 158664 151 303 0 158954 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 637036

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 26128
/proc/meminfo: memFree=1039640/2059040 swapFree=4147384/4192956
[pid=26098] ppid=26096 vsize=668844 CPUtime=941.97
/proc/26098/stat : 26098 (wbo1.4b) R 26096 26098 25861 0 -1 4202496 166744 0 0 0 93604 593 0 0 25 0 1 0 23019976 684896256 166596 1992294400 134512640 135751879 4286768400 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26098/statm: 167211 166596 151 303 0 166906 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 668844

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 26130
/proc/meminfo: memFree=1005416/2059040 swapFree=4147384/4192956
[pid=26098] ppid=26096 vsize=702868 CPUtime=1001.94
/proc/26098/stat : 26098 (wbo1.4b) R 26096 26098 25861 0 -1 4202496 175236 0 0 0 99577 617 0 0 25 0 1 0 23019976 719736832 175088 1992294400 134512640 135751879 4286768400 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26098/statm: 175717 175088 151 303 0 175412 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 702868

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 26132
/proc/meminfo: memFree=977764/2059040 swapFree=4147384/4192956
[pid=26098] ppid=26096 vsize=730876 CPUtime=1061.92
/proc/26098/stat : 26098 (wbo1.4b) R 26096 26098 25861 0 -1 4202496 182228 0 0 0 105553 639 0 0 25 0 1 0 23019976 748417024 182080 1992294400 134512640 135751879 4286768400 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26098/statm: 182719 182080 151 303 0 182414 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 730876

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 26132
/proc/meminfo: memFree=945772/2059040 swapFree=4147384/4192956
[pid=26098] ppid=26096 vsize=762492 CPUtime=1121.9
/proc/26098/stat : 26098 (wbo1.4b) R 26096 26098 25861 0 -1 4202496 190137 0 0 0 111529 661 0 0 25 0 1 0 23019976 780791808 189989 1992294400 134512640 135751879 4286768400 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26098/statm: 190623 189989 151 303 0 190318 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 762492

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 26134
/proc/meminfo: memFree=914400/2059040 swapFree=4147384/4192956
[pid=26098] ppid=26096 vsize=794180 CPUtime=1181.88
/proc/26098/stat : 26098 (wbo1.4b) R 26096 26098 25861 0 -1 4202496 198053 0 0 0 117504 684 0 0 25 0 1 0 23019976 813240320 197905 1992294400 134512640 135751879 4286768400 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26098/statm: 198545 197905 151 303 0 198240 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 794180

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 26136
/proc/meminfo: memFree=882532/2059040 swapFree=4147384/4192956
[pid=26098] ppid=26096 vsize=825520 CPUtime=1241.86
/proc/26098/stat : 26098 (wbo1.4b) R 26096 26098 25861 0 -1 4202496 205871 0 0 0 123479 707 0 0 25 0 1 0 23019976 845332480 205723 1992294400 134512640 135751879 4286768400 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26098/statm: 206380 205723 151 303 0 206075 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 825520

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 26138
/proc/meminfo: memFree=853888/2059040 swapFree=4147384/4192956
[pid=26098] ppid=26096 vsize=853816 CPUtime=1301.85
/proc/26098/stat : 26098 (wbo1.4b) R 26096 26098 25861 0 -1 4202496 212926 0 0 0 129458 727 0 0 25 0 1 0 23019976 874307584 212778 1992294400 134512640 135751879 4286768400 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26098/statm: 213454 212778 151 303 0 213149 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 853816

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 26140
/proc/meminfo: memFree=817308/2059040 swapFree=4147384/4192956
[pid=26098] ppid=26096 vsize=890576 CPUtime=1361.82
/proc/26098/stat : 26098 (wbo1.4b) R 26096 26098 25861 0 -1 4202496 222122 0 0 0 135432 750 0 0 25 0 1 0 23019976 911949824 221974 1992294400 134512640 135751879 4286768400 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26098/statm: 222644 221974 151 303 0 222339 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 890576

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 26140
/proc/meminfo: memFree=781844/2059040 swapFree=4147384/4192956
[pid=26098] ppid=26096 vsize=925968 CPUtime=1421.8
/proc/26098/stat : 26098 (wbo1.4b) R 26096 26098 25861 0 -1 4202496 230934 0 0 0 141409 771 0 0 25 0 1 0 23019976 948191232 230786 1992294400 134512640 135751879 4286768400 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26098/statm: 231492 230786 151 303 0 231187 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 925968

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 26142
/proc/meminfo: memFree=747992/2059040 swapFree=4147384/4192956
[pid=26098] ppid=26096 vsize=960272 CPUtime=1481.77
/proc/26098/stat : 26098 (wbo1.4b) R 26096 26098 25861 0 -1 4202496 239470 0 0 0 147380 797 0 0 25 0 1 0 23019976 983318528 239322 1992294400 134512640 135751879 4286768400 18446744073709551615 134616669 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26098/statm: 240068 239322 151 303 0 239763 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 960272

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 26144
/proc/meminfo: memFree=714264/2059040 swapFree=4147384/4192956
[pid=26098] ppid=26096 vsize=993576 CPUtime=1541.75
/proc/26098/stat : 26098 (wbo1.4b) R 26096 26098 25861 0 -1 4202496 247783 0 0 0 153353 822 0 0 25 0 1 0 23019976 1017421824 247635 1992294400 134512640 135751879 4286768400 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26098/statm: 248394 247635 151 303 0 248089 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 993576

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 26146
/proc/meminfo: memFree=685372/2059040 swapFree=4147384/4192956
[pid=26098] ppid=26096 vsize=1022672 CPUtime=1601.73
/proc/26098/stat : 26098 (wbo1.4b) R 26096 26098 25861 0 -1 4202496 255049 0 0 0 159330 843 0 0 25 0 1 0 23019976 1047216128 254901 1992294400 134512640 135751879 4286768400 18446744073709551615 134607805 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26098/statm: 255668 254901 151 303 0 255363 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 1022672

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 26148
/proc/meminfo: memFree=651148/2059040 swapFree=4147384/4192956
[pid=26098] ppid=26096 vsize=1056668 CPUtime=1661.72
/proc/26098/stat : 26098 (wbo1.4b) R 26096 26098 25861 0 -1 4202496 263531 0 0 0 165306 866 0 0 25 0 1 0 23019976 1082028032 263383 1992294400 134512640 135751879 4286768400 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26098/statm: 264167 263383 151 303 0 263862 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 1056668

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 26148
/proc/meminfo: memFree=611964/2059040 swapFree=4147384/4192956
[pid=26098] ppid=26096 vsize=1096096 CPUtime=1721.69
/proc/26098/stat : 26098 (wbo1.4b) R 26096 26098 25861 0 -1 4202496 273388 0 0 0 171275 894 0 0 25 0 1 0 23019976 1122402304 273240 1992294400 134512640 135751879 4286768400 18446744073709551615 134616526 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26098/statm: 274024 273240 151 303 0 273719 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 1096096

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 26150
/proc/meminfo: memFree=574640/2059040 swapFree=4147384/4192956
[pid=26098] ppid=26096 vsize=1132872 CPUtime=1781.67
/proc/26098/stat : 26098 (wbo1.4b) R 26096 26098 25861 0 -1 4202496 282561 0 0 0 177249 918 0 0 25 0 1 0 23019976 1160060928 282413 1992294400 134512640 135751879 4286768400 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26098/statm: 283218 282413 151 303 0 282913 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 1132872



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 26150
/proc/meminfo: memFree=564844/2059040 swapFree=4147384/4192956
[pid=26098] ppid=26096 vsize=1142460 CPUtime=1800.08
/proc/26098/stat : 26098 (wbo1.4b) R 26096 26098 25861 0 -1 4202496 284978 0 0 0 179083 925 0 0 25 0 1 0 23019976 1169879040 284830 1992294400 134512640 135751879 4286768400 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26098/statm: 285615 284830 151 303 0 285310 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1142460

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: 0.99 0.97 0.91 2/107 26150
/proc/meminfo: memFree=564844/2059040 swapFree=4147384/4192956
[pid=26098] ppid=26096 vsize=0 CPUtime=1800.17
/proc/26098/stat : 26098 (wbo1.4b) R 26096 26098 25861 0 -1 4203524 284978 0 0 0 179083 934 0 0 25 0 1 0 23019976 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/26098/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.82
CPU time (s): 1800.2
CPU user time (s): 1790.83
CPU system time (s): 9.36058
CPU usage (%): 99.9652
Max. virtual memory (cumulated for all children) (KiB): 1142460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.83
system time used= 9.36058
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 284978
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= 4182

runsolver used 3.01754 second user time and 8.47071 second system time

The end

Launcher Data 

Begin job on node006 at 2010-07-08 02:14:24
IDJOB=2702342
IDBENCH=48106
IDSOLVER=1161
FILE ID=node006/2702342-1278548064
PBS_JOBID= 11239524
Free space on /tmp= 62580 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_10_2.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702342-1278548064/watcher-2702342-1278548064 -o /tmp/evaluation-result-2702342-1278548064/solver-2702342-1278548064 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702342-1278548064.opb

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

MD5SUM BENCH= f4b87658792e85afbf63fc13ada788f7
RANDOM SEED=2091485353

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1708288 kB
Buffers:         57880 kB
Cached:         200256 kB
SwapCached:       4172 kB
Active:         123992 kB
Inactive:       153120 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1708288 kB
SwapTotal:     4192956 kB
SwapFree:      4147384 kB
Dirty:            2612 kB
Writeback:           0 kB
AnonPages:       15864 kB
Mapped:          12000 kB
Slab:            51772 kB
PageTables:       4192 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179936 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702342-1278548064.opb

Free space on /tmp at the end= 62580 MiB
End job on node006 at 2010-07-08 02:44:27