Trace number 2702374

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.23 1800.72

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_10_5.opb
MD5SUM08d7a5060b972f308367859ff82f87f6
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark21
Best CPU time to get the best result obtained on this benchmark1789.48
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 25
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
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 constraints200
Minimum length of a constraint11
Maximum length of a constraint23
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2528
Sum of products size (including duplicates)5056
Number of different products2528
Sum of products size5056

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-2702374-1278564907.opb.
0.00/0.00	c Instance file HOME/instance-2702374-1278564907.opb
0.00/0.00	c File size is 188288 bytes.
0.00/0.03	c Highest Coefficient sum: 24
0.00/0.03	c ============================[ Problem Statistics ]=============================
0.00/0.03	c |                                                                             |
0.00/0.03	c |  Parsing time:          0.03         s                                      |
0.00/0.03	c |  Number Variables:      2728                                                |
0.00/0.03	c |  Number Clauses:        2728                                                |
0.00/0.03	c |  Number Cardinality:    0                                                   |
0.00/0.03	c |  Number PB Constraints: 2528                                                |
0.00/0.03	c ============================[ Search Statistics ]==============================
0.00/0.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.03	c ===============================================================================
0.00/0.03	c |         0 |    2728     5256    17896 |     5000        0    nan |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c New solution: 199
0.00/0.03	o 199
0.00/0.03	c Elapsed CPU time: 0.034994 s	Remaining CPU time: 179.965 s
0.00/0.03	c ===============================================================================
0.00/0.03	c |         0 |    2728     5257    18096 |     5000        0    nan |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c New solution: 162
0.00/0.03	o 162
0.00/0.03	c Elapsed CPU time: 0.036994 s	Remaining CPU time: 179.963 s
0.00/0.03	c ===============================================================================
0.00/0.03	c |         0 |    2728     5258    18296 |     5000        0    nan |  0.000 % |
0.00/0.04	c ===============================================================================
0.00/0.04	c New solution: 161
0.00/0.04	o 161
0.00/0.04	c Elapsed CPU time: 0.037994 s	Remaining CPU time: 179.962 s
0.00/0.04	c ===============================================================================
0.00/0.04	c |         0 |    2728     5259    18496 |     5000        0    nan |  0.000 % |
0.00/0.04	c ===============================================================================
0.00/0.04	c New solution: 160
0.00/0.04	o 160
0.00/0.04	c Elapsed CPU time: 0.039993 s	Remaining CPU time: 179.96 s
0.00/0.04	c ===============================================================================
0.00/0.04	c |         0 |    2728     5260    18696 |     5000        0    nan |  0.000 % |
0.00/0.04	c ===============================================================================
0.00/0.04	c New solution: 151
0.00/0.04	o 151
0.00/0.04	c Elapsed CPU time: 0.041993 s	Remaining CPU time: 179.958 s
0.00/0.04	c ===============================================================================
0.00/0.04	c |         0 |    2728     5261    18896 |     5000        0    nan |  0.000 % |
0.00/0.04	c ===============================================================================
0.00/0.04	c New solution: 136
0.00/0.04	o 136
0.00/0.04	c Elapsed CPU time: 0.043993 s	Remaining CPU time: 179.956 s
0.00/0.04	c ===============================================================================
0.00/0.04	c |         0 |    2728     5262    19096 |     5000        0    nan |  0.000 % |
0.00/0.05	c ===============================================================================
0.00/0.05	c New solution: 135
0.00/0.05	o 135
0.00/0.05	c Elapsed CPU time: 0.046992 s	Remaining CPU time: 179.953 s
0.00/0.05	c ===============================================================================
0.00/0.05	c |         0 |    2728     5263    19296 |     5000        0    nan |  0.000 % |
0.00/0.05	c ===============================================================================
0.00/0.05	c New solution: 134
0.00/0.05	o 134
0.00/0.05	c Elapsed CPU time: 0.048992 s	Remaining CPU time: 179.951 s
0.00/0.05	c ===============================================================================
0.00/0.05	c |         0 |    2728     5264    19496 |     5000        0    nan |  0.000 % |
0.00/0.05	c ===============================================================================
0.00/0.05	c New solution: 133
0.00/0.05	o 133
0.00/0.05	c Elapsed CPU time: 0.049992 s	Remaining CPU time: 179.95 s
0.00/0.05	c ===============================================================================
0.00/0.05	c |         0 |    2728     5265    19696 |     5000        0    nan |  0.000 % |
0.00/0.05	c ===============================================================================
0.00/0.05	c New solution: 132
0.00/0.05	o 132
0.00/0.05	c Elapsed CPU time: 0.050992 s	Remaining CPU time: 179.949 s
0.00/0.05	c ===============================================================================
0.00/0.05	c |         0 |    2728     5266    19896 |     5000        0    nan |  0.000 % |
0.00/0.06	c ===============================================================================
0.00/0.06	c New solution: 131
0.00/0.06	o 131
0.00/0.06	c Elapsed CPU time: 0.052991 s	Remaining CPU time: 179.947 s
0.00/0.06	c ===============================================================================
0.00/0.06	c |         0 |    2728     5267    20096 |     5000        0    nan |  0.000 % |
0.00/0.06	c ===============================================================================
0.00/0.06	c New solution: 130
0.00/0.06	o 130
0.00/0.06	c Elapsed CPU time: 0.053991 s	Remaining CPU time: 179.946 s
0.00/0.06	c ===============================================================================
0.00/0.06	c |         0 |    2728     5268    20296 |     5000        0    nan |  0.000 % |
0.00/0.06	c ===============================================================================
0.00/0.06	c New solution: 111
0.00/0.06	o 111
0.00/0.06	c Elapsed CPU time: 0.056991 s	Remaining CPU time: 179.943 s
0.00/0.06	c ===============================================================================
0.00/0.06	c |         0 |    2728     5269    20496 |     5000        0    nan |  0.000 % |
0.00/0.06	c ===============================================================================
0.00/0.06	c New solution: 110
0.00/0.06	o 110
0.00/0.06	c Elapsed CPU time: 0.058991 s	Remaining CPU time: 179.941 s
0.00/0.06	c ===============================================================================
0.00/0.06	c |         2 |    2728     5270    20696 |     5000        2    111 |  0.000 % |
0.00/0.07	c ===============================================================================
0.00/0.07	c New solution: 32
0.00/0.07	o 32
0.00/0.07	c Elapsed CPU time: 0.06199 s	Remaining CPU time: 179.938 s
0.00/0.07	c ===============================================================================
0.00/0.07	c |         2 |    2728     5271    20896 |     5000        2    111 |  0.000 % |
0.00/0.08	c ===============================================================================
0.00/0.08	c New solution: 31
0.00/0.08	o 31
0.00/0.08	c Elapsed CPU time: 0.070989 s	Remaining CPU time: 179.929 s
0.00/0.08	c ===============================================================================
0.00/0.08	c |        63 |    2728     5272    21096 |     5000       63     58 |  0.000 % |
0.00/0.09	c |       164 |    2728     5272    21096 |     5500      164     63 |  0.000 % |
0.09/0.11	c |       314 |    2728     5272    21096 |     6050      314     65 |  0.000 % |
0.09/0.14	c |       539 |    2728     5272    21096 |     6655      539     69 |  0.000 % |
0.09/0.19	c |       876 |    2728     5272    21096 |     7320      876     70 |  0.000 % |
0.09/0.19	c ===============================================================================
0.09/0.19	c New solution: 30
0.09/0.19	o 30
0.09/0.19	c Elapsed CPU time: 0.183972 s	Remaining CPU time: 179.816 s
0.09/0.19	c ===============================================================================
0.09/0.19	c |       876 |    2728     5273    21296 |     5000      876     70 |  0.000 % |
0.19/0.21	c |       976 |    2728     5273    21296 |     5500      976     70 |  0.000 % |
0.19/0.23	c |      1126 |    2728     5273    21296 |     6050     1126     70 |  0.000 % |
0.19/0.26	c |      1352 |    2728     5273    21296 |     6655     1352     68 |  0.000 % |
0.29/0.32	c |      1689 |    2728     5273    21296 |     7320     1689     67 |  0.000 % |
0.39/0.40	c |      2196 |    2728     5273    21296 |     8052     2196     68 |  0.000 % |
0.49/0.51	c |      2955 |    2728     5273    21296 |     8857     2955     69 |  0.000 % |
0.60/0.69	c |      4095 |    2728     5273    21296 |     9743     4095     70 |  0.000 % |
0.60/0.69	c ===============================================================================
0.60/0.69	c New solution: 29
0.60/0.69	o 29
0.60/0.69	c Elapsed CPU time: 0.674897 s	Remaining CPU time: 179.325 s
0.60/0.69	c ===============================================================================
0.60/0.69	c |      4095 |    2728     5274    21496 |     5000     4095     70 |  0.000 % |
0.69/0.71	c |      4195 |    2728     5274    21496 |     5500     4195     69 |  0.000 % |
0.69/0.73	c |      4347 |    2728     5274    21496 |     6050     4347     70 |  0.000 % |
0.69/0.77	c |      4572 |    2728     5274    21496 |     6655     4572     70 |  0.000 % |
0.79/0.83	c |      4909 |    2728     5274    21496 |     7320     4909     70 |  0.000 % |
0.89/0.92	c |      5417 |    2728     5274    21496 |     8052     5417     70 |  0.000 % |
0.99/1.04	c |      6176 |    2728     5274    21496 |     8857     6176     69 |  0.000 % |
1.19/1.23	c |      7316 |    2728     5274    21496 |     9743     7316     70 |  0.000 % |
1.49/1.52	c |      9025 |    2728     5274    21496 |    10717     9025     70 |  0.000 % |
1.99/2.03	c |     11588 |    2728     5274    21496 |    11789    11588     71 |  0.000 % |
2.79/2.84	c |     15433 |    2728     5274    21496 |    12968     8458     73 |  0.000 % |
4.09/4.11	c |     21200 |    2728     5274    21496 |    14265    14225     73 |  0.000 % |
5.99/6.00	c |     29849 |    2728     5274    21496 |    15692    14657     70 |  0.000 % |
8.39/8.46	c ===============================================================================
8.39/8.46	c New solution: 28
8.39/8.46	o 28
8.39/8.46	c Elapsed CPU time: 8.35373 s	Remaining CPU time: 171.646 s
8.39/8.46	c ===============================================================================
8.39/8.46	c |     40709 |    2728     5275    21696 |     5000    16559     71 |  0.000 % |
8.49/8.58	c |     40809 |    2728     5275    21696 |     5500     4240     79 |  0.000 % |
8.59/8.61	c |     40960 |    2728     5275    21696 |     6050     4391     79 |  0.000 % |
8.59/8.65	c |     41185 |    2728     5275    21696 |     6655     4616     79 |  0.000 % |
8.69/8.71	c |     41523 |    2728     5275    21696 |     7320     4954     79 |  0.000 % |
8.69/8.80	c |     42029 |    2728     5275    21696 |     8052     5460     79 |  0.000 % |
8.89/8.93	c |     42788 |    2728     5275    21696 |     8857     6219     77 |  0.000 % |
9.09/9.12	c |     43929 |    2728     5275    21696 |     9743     7360     77 |  0.000 % |
9.39/9.45	c |     45637 |    2728     5275    21696 |    10717     9068     76 |  0.000 % |
9.89/9.91	c |     48200 |    2728     5275    21696 |    11789    11631     72 |  0.000 % |
10.69/10.74	c |     52044 |    2728     5275    21696 |    12968     8505     66 |  0.000 % |
11.99/12.04	c |     57812 |    2728     5275    21696 |    14265    14273     69 |  0.000 % |
14.08/14.13	c |     66461 |    2728     5275    21696 |    15692    15786     76 |  0.000 % |
17.49/17.59	c |     79435 |    2728     5275    21696 |    17261    11959     75 |  0.000 % |
22.58/22.68	c |     98896 |    2728     5275    21696 |    18987    11968     93 |  0.000 % |
30.48/30.57	c |    128088 |    2728     5275    21696 |    20886    20035     59 |  0.000 % |
44.47/44.52	c |    171878 |    2728     5275    21696 |    22974    17147     70 |  0.000 % |
66.17/66.25	c |    237563 |    2728     5275    21696 |    25272    14239     67 |  0.000 % |
101.56/101.68	c |    336090 |    2728     5275    21696 |    27799    18119     78 |  0.000 % |
156.94/157.02	c |    483881 |    2728     5275    21696 |    30579    21932     80 |  0.000 % |
181.93/182.05	c There are 0 assigned variables. 0 in cost function.
182.74/182.80	c core #1
182.74/182.80	c core #2
182.74/182.80	c core #3
182.74/182.80	c core #4
182.74/182.80	c core #5
182.74/182.80	c core #6
182.74/182.80	c core #7
182.74/182.80	c ============================[ Search Statistics ]==============================
182.74/182.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.74/182.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.74/182.80	c ===============================================================================
182.74/182.80	c |         0 |    1563     5483    15884 |     5000        0    nan |  0.000 % |
182.74/182.81	c ===============================================================================
182.74/182.83	c core #8
182.74/182.83	c ============================[ Search Statistics ]==============================
182.74/182.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.74/182.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.74/182.83	c ===============================================================================
182.74/182.83	c |         0 |    2615     5484    21379 |     5000        0    nan |  0.000 % |
182.74/182.88	c |       101 |    2615     5484    21379 |     5500      101    103 | 11.656 % |
182.84/182.95	c |       252 |    2615     5484    21379 |     6050      252    108 | 11.655 % |
182.93/183.07	c |       483 |    2615     5484    21379 |     6655      483    118 | 11.655 % |
183.03/183.16	c ===============================================================================
183.03/183.19	c core #9
183.03/183.19	c ============================[ Search Statistics ]==============================
183.03/183.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.03/183.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.03/183.19	c ===============================================================================
183.03/183.19	c |         0 |    3144     5485    22919 |     5000        0    nan |  0.000 % |
183.13/183.23	c |       102 |    3144     5485    22919 |     5500      102    139 |  0.349 % |
183.23/183.32	c |       254 |    3144     5485    22919 |     6050      254    135 |  0.349 % |
183.33/183.44	c |       483 |    3144     5485    22919 |     6655      483    137 |  0.349 % |
183.53/183.63	c |       820 |    3144     5485    22919 |     7320      820    139 |  0.349 % |
183.83/183.90	c |      1327 |    3144     5485    22919 |     8052     1327    132 |  0.349 % |
184.34/184.44	c |      2089 |    3144     5485    22919 |     8857     2089    129 |  0.349 % |
185.34/185.44	c |      3228 |    3144     5485    22919 |     9743     3228    130 |  0.349 % |
186.74/186.88	c |      4936 |    3144     5485    22919 |    10717     4936    136 |  0.349 % |
189.24/189.33	c |      7503 |    3144     5485    22919 |    11789     7503    129 |  0.349 % |
193.33/193.48	c |     11351 |    3144     5485    22919 |    12968    11351    127 |  0.349 % |
199.44/199.59	c |     17122 |    3144     5485    22919 |    14265    10430    124 |  0.349 % |
209.63/209.79	c |     25777 |    3144     5485    22919 |    15692    11756    158 |  0.349 % |
216.83/216.93	c ===============================================================================
217.23/217.38	c core #10
217.23/217.38	c ============================[ Search Statistics ]==============================
217.23/217.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
217.23/217.38	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
217.23/217.38	c ===============================================================================
217.23/217.38	c |         0 |    3355     5486    23350 |     5000        0    nan |  0.000 % |
217.33/217.43	c |       102 |    3355     5486    23350 |     5500      102    210 |  0.000 % |
217.33/217.49	c |       252 |    3355     5486    23350 |     6050      252    135 |  0.000 % |
217.43/217.58	c |       481 |    3355     5486    23350 |     6655      481     89 |  0.000 % |
217.63/217.74	c |       819 |    3355     5486    23350 |     7320      819     98 |  0.000 % |
217.83/217.94	c |      1331 |    3355     5486    23350 |     8052     1331    123 |  0.000 % |
218.03/218.18	c |      2090 |    3355     5486    23350 |     8857     2090    120 |  0.000 % |
218.53/218.61	c |      3230 |    3355     5486    23350 |     9743     3230    124 |  0.000 % |
219.12/219.25	c |      4938 |    3355     5486    23350 |    10717     4938    125 |  0.000 % |
220.32/220.40	c |      7502 |    3355     5486    23350 |    11789     7502    118 |  0.000 % |
222.53/222.68	c |     11346 |    3355     5486    23350 |    12968    11346    122 |  0.000 % |
226.93/227.01	c |     17112 |    3355     5486    23350 |    14265    10527    124 |  0.000 % |
233.82/233.97	c |     25761 |    3355     5486    23350 |    15692    11892    108 |  0.000 % |
245.32/245.42	c |     38738 |    3355     5486    23350 |    17261     8823    171 |  0.000 % |
265.91/266.00	c |     58200 |    3355     5486    23350 |    18987    10448    189 |  0.000 % |
302.31/302.48	c |     87392 |    3355     5486    23350 |    20886    10609    205 |  0.000 % |
357.19/357.39	c |    131186 |    3355     5486    23350 |    22974    11595    211 |  0.000 % |
449.06/449.23	c |    196877 |    3355     5486    23350 |    25272    18924    183 |  0.000 % |
585.33/585.55	c |    295406 |    3355     5486    23350 |    27799    14565    227 |  0.000 % |
824.96/825.20	c |    443195 |    3355     5486    23350 |    30579    26285    208 |  0.000 % |
1219.06/1219.41	c |    664878 |    3355     5486    23350 |    33637    15430    239 |  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-2702374-1278564907/watcher-2702374-1278564907 -o /tmp/evaluation-result-2702374-1278564907/solver-2702374-1278564907 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702374-1278564907.opb 

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


[startup+0 s]
/proc/loadavg: 0.99 0.97 0.91 3/106 30913
/proc/meminfo: memFree=1701656/2059040 swapFree=4138696/4192956
[pid=30913] ppid=30911 vsize=3332 CPUtime=0
/proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 404 0 0 0 0 0 0 0 20 0 1 0 24703873 3411968 323 1992294400 134512640 135751879 4293262576 18446744073709551615 134564443 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30913/statm: 833 323 145 303 0 482 0

[startup+0.109364 s]
/proc/loadavg: 0.99 0.97 0.91 3/106 30913
/proc/meminfo: memFree=1701656/2059040 swapFree=4138696/4192956
[pid=30913] ppid=30911 vsize=3716 CPUtime=0.09
/proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 680 0 0 0 9 0 0 0 20 0 1 0 24703873 3805184 495 1992294400 134512640 135751879 4293262576 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30913/statm: 929 495 147 303 0 624 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3716

[startup+0.201375 s]
/proc/loadavg: 0.99 0.97 0.91 3/106 30913
/proc/meminfo: memFree=1701656/2059040 swapFree=4138696/4192956
[pid=30913] ppid=30911 vsize=3976 CPUtime=0.19
/proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 746 0 0 0 18 1 0 0 20 0 1 0 24703873 4071424 561 1992294400 134512640 135751879 4293262576 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30913/statm: 994 561 147 303 0 689 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 3976

[startup+0.301386 s]
/proc/loadavg: 0.99 0.97 0.91 3/106 30913
/proc/meminfo: memFree=1701656/2059040 swapFree=4138696/4192956
[pid=30913] ppid=30911 vsize=4236 CPUtime=0.29
/proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 808 0 0 0 28 1 0 0 20 0 1 0 24703873 4337664 623 1992294400 134512640 135751879 4293262576 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30913/statm: 1059 623 147 303 0 754 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4236

[startup+0.701432 s]
/proc/loadavg: 0.99 0.97 0.91 3/106 30913
/proc/meminfo: memFree=1701656/2059040 swapFree=4138696/4192956
[pid=30913] ppid=30911 vsize=5284 CPUtime=0.69
/proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 1069 0 0 0 67 2 0 0 21 0 1 0 24703873 5410816 884 1992294400 134512640 135751879 4293262576 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30913/statm: 1321 884 147 303 0 1016 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5284

[startup+1.50152 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30914
/proc/meminfo: memFree=1697804/2059040 swapFree=4138696/4192956
[pid=30913] ppid=30911 vsize=7264 CPUtime=1.49
/proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 1549 0 0 0 146 3 0 0 23 0 1 0 24703873 7438336 1364 1992294400 134512640 135751879 4293262576 18446744073709551615 134606301 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30913/statm: 1816 1364 147 303 0 1511 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7264

[startup+3.10071 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30914
/proc/meminfo: memFree=1695200/2059040 swapFree=4138696/4192956
[pid=30913] ppid=30911 vsize=10424 CPUtime=3.09
/proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 2337 0 0 0 304 5 0 0 25 0 1 0 24703873 10674176 2152 1992294400 134512640 135751879 4293262576 18446744073709551615 134611192 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30913/statm: 2606 2152 148 303 0 2301 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10424

[startup+6.30108 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30914
/proc/meminfo: memFree=1688876/2059040 swapFree=4138696/4192956
[pid=30913] ppid=30911 vsize=16152 CPUtime=6.29
/proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 3781 0 0 0 621 8 0 0 25 0 1 0 24703873 16539648 3596 1992294400 134512640 135751879 4293262576 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30913/statm: 4038 3596 148 303 0 3733 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16152

[startup+12.7008 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30914
/proc/meminfo: memFree=1677096/2059040 swapFree=4138696/4192956
[pid=30913] ppid=30911 vsize=27808 CPUtime=12.68
/proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 6688 0 0 0 1252 16 0 0 25 0 1 0 24703873 28475392 6503 1992294400 134512640 135751879 4293262576 18446744073709551615 134611165 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30913/statm: 6952 6503 148 303 0 6647 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 27808

[startup+25.5013 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30914
/proc/meminfo: memFree=1655396/2059040 swapFree=4138696/4192956
[pid=30913] ppid=30911 vsize=48600 CPUtime=25.49
/proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 11870 0 0 0 2516 33 0 0 25 0 1 0 24703873 49766400 11685 1992294400 134512640 135751879 4293262576 18446744073709551615 134611167 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30913/statm: 12150 11685 148 303 0 11845 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 48600

[startup+51.1013 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30914
/proc/meminfo: memFree=1621792/2059040 swapFree=4138696/4192956
[pid=30913] ppid=30911 vsize=82320 CPUtime=51.07
/proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 20306 0 0 0 5044 63 0 0 25 0 1 0 24703873 84295680 20121 1992294400 134512640 135751879 4293262576 18446744073709551615 134603007 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30913/statm: 20580 20121 148 303 0 20275 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 82320

[startup+102.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30916
/proc/meminfo: memFree=1562396/2059040 swapFree=4138696/4192956
[pid=30913] ppid=30911 vsize=141144 CPUtime=102.26
/proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 34967 0 0 0 10108 118 0 0 25 0 1 0 24703873 144531456 34782 1992294400 134512640 135751879 4293262576 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30913/statm: 35286 34782 148 303 0 34981 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 141144

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30918
/proc/meminfo: memFree=1501636/2059040 swapFree=4138696/4192956
[pid=30913] ppid=30911 vsize=202876 CPUtime=162.24
/proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 50371 0 0 0 16045 179 0 0 25 0 1 0 24703873 207745024 50186 1992294400 134512640 135751879 4293262576 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30913/statm: 50719 50186 148 303 0 50414 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 202876

[startup+222.308 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30920
/proc/meminfo: memFree=1474232/2059040 swapFree=4138696/4192956
[pid=30913] ppid=30911 vsize=228944 CPUtime=222.24
/proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 57006 0 0 0 22003 221 0 0 25 0 1 0 24703873 234438656 56789 1992294400 134512640 135751879 4293262576 18446744073709551615 134616299 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30913/statm: 57236 56789 151 303 0 56931 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 228944

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30922
/proc/meminfo: memFree=1427980/2059040 swapFree=4138696/4192956
[pid=30913] ppid=30911 vsize=275768 CPUtime=282.21
/proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 68710 0 0 0 27961 260 0 0 25 0 1 0 24703873 282386432 68493 1992294400 134512640 135751879 4293262576 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30913/statm: 68942 68493 151 303 0 68637 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 275768

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30922
/proc/meminfo: memFree=1379868/2059040 swapFree=4138696/4192956
[pid=30913] ppid=30911 vsize=323200 CPUtime=342.19
/proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 80550 0 0 0 33925 294 0 0 25 0 1 0 24703873 330956800 80333 1992294400 134512640 135751879 4293262576 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30913/statm: 80800 80333 151 303 0 80495 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 323200

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30933
/proc/meminfo: memFree=1337088/2059040 swapFree=4138696/4192956
[pid=30913] ppid=30911 vsize=365864 CPUtime=402.18
/proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 91153 0 0 0 39895 323 0 0 25 0 1 0 24703873 374644736 90936 1992294400 134512640 135751879 4293262576 18446744073709551615 134616545 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30913/statm: 91466 90936 151 303 0 91161 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 365864

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30935
/proc/meminfo: memFree=1295424/2059040 swapFree=4138696/4192956
[pid=30913] ppid=30911 vsize=407172 CPUtime=462.16
/proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 101484 0 0 0 45865 351 0 0 25 0 1 0 24703873 416944128 101267 1992294400 134512640 135751879 4293262576 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30913/statm: 101793 101267 151 303 0 101488 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 407172

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30937
/proc/meminfo: memFree=1255744/2059040 swapFree=4138696/4192956
[pid=30913] ppid=30911 vsize=447232 CPUtime=522.14
/proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 111458 0 0 0 51833 381 0 0 25 0 1 0 24703873 457965568 111241 1992294400 134512640 135751879 4293262576 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30913/statm: 111808 111241 151 303 0 111503 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 447232

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30939
/proc/meminfo: memFree=1214328/2059040 swapFree=4138696/4192956
[pid=30913] ppid=30911 vsize=488308 CPUtime=582.13
/proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 121725 0 0 0 57803 410 0 0 25 0 1 0 24703873 500027392 121508 1992294400 134512640 135751879 4293262576 18446744073709551615 134616350 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30913/statm: 122077 121508 151 303 0 121772 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 488308

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30939
/proc/meminfo: memFree=1185808/2059040 swapFree=4138696/4192956
[pid=30913] ppid=30911 vsize=517040 CPUtime=642.11
/proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 128866 0 0 0 63779 432 0 0 25 0 1 0 24703873 529448960 128649 1992294400 134512640 135751879 4293262576 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30913/statm: 129260 128649 151 303 0 128955 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 517040

[startup+702.301 s]

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

[startup+882.309 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30947
/proc/meminfo: memFree=1047176/2059040 swapFree=4138696/4192956
[pid=30913] ppid=30911 vsize=655500 CPUtime=882.06
/proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 163389 0 0 0 87667 539 0 0 25 0 1 0 24703873 671232000 163172 1992294400 134512640 135751879 4293262576 18446744073709551615 134607817 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30913/statm: 163875 163172 151 303 0 163570 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 655500

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30947
/proc/meminfo: memFree=1006876/2059040 swapFree=4138696/4192956
[pid=30913] ppid=30911 vsize=695984 CPUtime=942.03
/proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 173500 0 0 0 93637 566 0 0 25 0 1 0 24703873 712687616 173283 1992294400 134512640 135751879 4293262576 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30913/statm: 173996 173283 151 303 0 173691 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 695984

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30949
/proc/meminfo: memFree=970048/2059040 swapFree=4138696/4192956
[pid=30913] ppid=30911 vsize=732672 CPUtime=1002.02
/proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 182654 0 0 0 99608 594 0 0 25 0 1 0 24703873 750256128 182437 1992294400 134512640 135751879 4293262576 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30913/statm: 183168 182437 151 303 0 182863 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 732672

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30951
/proc/meminfo: memFree=933096/2059040 swapFree=4138696/4192956
[pid=30913] ppid=30911 vsize=769864 CPUtime=1062
/proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 191950 0 0 0 105583 617 0 0 25 0 1 0 24703873 788340736 191733 1992294400 134512640 135751879 4293262576 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30913/statm: 192466 191733 151 303 0 192161 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 769864

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30953
/proc/meminfo: memFree=900856/2059040 swapFree=4138696/4192956
[pid=30913] ppid=30911 vsize=801908 CPUtime=1121.99
/proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 199914 0 0 0 111561 638 0 0 25 0 1 0 24703873 821153792 199697 1992294400 134512640 135751879 4293262576 18446744073709551615 134620495 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30913/statm: 200477 199697 151 303 0 200172 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 801908

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30955
/proc/meminfo: memFree=861920/2059040 swapFree=4138696/4192956
[pid=30913] ppid=30911 vsize=841064 CPUtime=1181.97
/proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 209724 0 0 0 117532 665 0 0 25 0 1 0 24703873 861249536 209507 1992294400 134512640 135751879 4293262576 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30913/statm: 210266 209507 151 303 0 209961 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 841064

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30955
/proc/meminfo: memFree=825960/2059040 swapFree=4138696/4192956
[pid=30913] ppid=30911 vsize=876780 CPUtime=1241.95
/proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 218624 0 0 0 123506 689 0 0 25 0 1 0 24703873 897822720 218407 1992294400 134512640 135751879 4293262576 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30913/statm: 219195 218407 151 303 0 218890 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 876780

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30957
/proc/meminfo: memFree=794092/2059040 swapFree=4138696/4192956
[pid=30913] ppid=30911 vsize=908456 CPUtime=1301.94
/proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 226546 0 0 0 129479 715 0 0 25 0 1 0 24703873 930258944 226329 1992294400 134512640 135751879 4293262576 18446744073709551615 134616448 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30913/statm: 227114 226329 151 303 0 226809 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 908456

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30959
/proc/meminfo: memFree=754784/2059040 swapFree=4138696/4192956
[pid=30913] ppid=30911 vsize=947880 CPUtime=1361.92
/proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 236373 0 0 0 135447 745 0 0 25 0 1 0 24703873 970629120 236156 1992294400 134512640 135751879 4293262576 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30913/statm: 236970 236156 151 303 0 236665 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 947880

[startup+1422.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30964
/proc/meminfo: memFree=717956/2059040 swapFree=4138696/4192956
[pid=30913] ppid=30911 vsize=983796 CPUtime=1421.91
/proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 245367 0 0 0 141419 772 0 0 25 0 1 0 24703873 1007407104 245150 1992294400 134512640 135751879 4293262576 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30913/statm: 245949 245150 151 303 0 245644 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 983796

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30966
/proc/meminfo: memFree=678896/2059040 swapFree=4138696/4192956
[pid=30913] ppid=30911 vsize=1023148 CPUtime=1481.88
/proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 255174 0 0 0 147391 797 0 0 25 0 1 0 24703873 1047703552 254957 1992294400 134512640 135751879 4293262576 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30913/statm: 255787 254957 151 303 0 255482 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1023148

[startup+1542.31 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30966
/proc/meminfo: memFree=641076/2059040 swapFree=4138696/4192956
[pid=30913] ppid=30911 vsize=1060760 CPUtime=1541.88
/proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 264580 0 0 0 153363 825 0 0 25 0 1 0 24703873 1086218240 264363 1992294400 134512640 135751879 4293262576 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30913/statm: 265190 264363 151 303 0 264885 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1060760

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30968
/proc/meminfo: memFree=598420/2059040 swapFree=4138696/4192956
[pid=30913] ppid=30911 vsize=1104104 CPUtime=1601.85
/proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 275406 0 0 0 159333 852 0 0 25 0 1 0 24703873 1130602496 275189 1992294400 134512640 135751879 4293262576 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30913/statm: 276026 275189 151 303 0 275721 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1104104

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30970
/proc/meminfo: memFree=562956/2059040 swapFree=4138696/4192956
[pid=30913] ppid=30911 vsize=1138908 CPUtime=1661.84
/proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 284091 0 0 0 165306 878 0 0 25 0 1 0 24703873 1166241792 283874 1992294400 134512640 135751879 4293262576 18446744073709551615 134616879 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30913/statm: 284727 283874 151 303 0 284422 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1138908

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30972
/proc/meminfo: memFree=531212/2059040 swapFree=4138696/4192956
[pid=30913] ppid=30911 vsize=1171056 CPUtime=1721.81
/proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 292113 0 0 0 171282 899 0 0 25 0 1 0 24703873 1199161344 291896 1992294400 134512640 135751879 4293262576 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30913/statm: 292764 291896 151 303 0 292459 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1171056

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30974
/proc/meminfo: memFree=495004/2059040 swapFree=4138696/4192956
[pid=30913] ppid=30911 vsize=1207124 CPUtime=1781.8
/proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 301118 0 0 0 177256 924 0 0 25 0 1 0 24703873 1236094976 300901 1992294400 134512640 135751879 4293262576 18446744073709551615 134607738 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30913/statm: 301781 300901 151 303 0 301476 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1207124



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30974
/proc/meminfo: memFree=485332/2059040 swapFree=4138696/4192956
[pid=30913] ppid=30911 vsize=1216480 CPUtime=1800.1
/proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 303456 0 0 0 179080 930 0 0 25 0 1 0 24703873 1245675520 303239 1992294400 134512640 135751879 4293262576 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30913/statm: 304120 303239 151 303 0 303815 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 1216480

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

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

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.91 2/108 30975
/proc/meminfo: memFree=1575668/2059040 swapFree=4138696/4192956
[pid=30913] ppid=30911 vsize=0 CPUtime=1800.21
/proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4203524 303456 0 0 0 179080 941 0 0 25 0 1 0 24703873 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/30913/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.72
CPU time (s): 1800.23
CPU user time (s): 1790.81
CPU system time (s): 9.42057
CPU usage (%): 99.9726
Max. virtual memory (cumulated for all children) (KiB): 1216480

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

runsolver used 2.92355 second user time and 8.5667 second system time

The end

Launcher Data 

Begin job on node011 at 2010-07-08 06:55:07
IDJOB=2702374
IDBENCH=48122
IDSOLVER=1161
FILE ID=node011/2702374-1278564907
PBS_JOBID= 11239559
Free space on /tmp= 62492 MiB

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

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

MD5SUM BENCH= 08d7a5060b972f308367859ff82f87f6
RANDOM SEED=374341198

node011.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.212
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.42
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.212
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.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1702556 kB
Buffers:         74880 kB
Cached:         190820 kB
SwapCached:       8416 kB
Active:         160644 kB
Inactive:       120076 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1702556 kB
SwapTotal:     4192956 kB
SwapFree:      4138696 kB
Dirty:            2648 kB
Writeback:           0 kB
AnonPages:       12484 kB
Mapped:          11996 kB
Slab:            53812 kB
PageTables:       4136 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183088 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-2702374-1278564907.opb

Free space on /tmp at the end= 62492 MiB
End job on node011 at 2010-07-08 07:25:10