Trace number 2702423

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
wbo 1.4b (fixed)? (TO) 1800.18 1800.74

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_10_4.opb
MD5SUMb738c7950af6b3d63e331a14bc641dc9
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark20
Best CPU time to get the best result obtained on this benchmark1789.5
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 constraint22
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)2524
Sum of products size (including duplicates)5048
Number of different products2524
Sum of products size5048

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100610
0.00/0.00	c Parsing opb file format. File HOME/instance-2702423-1278566543.opb.
0.00/0.00	c Instance file HOME/instance-2702423-1278566543.opb
0.00/0.00	c File size is 187908 bytes.
0.00/0.03	c Highest Coefficient sum: 23
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:      2724                                                |
0.00/0.03	c |  Number Clauses:        2724                                                |
0.00/0.03	c |  Number Cardinality:    0                                                   |
0.00/0.03	c |  Number PB Constraints: 2524                                                |
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 |    2724     5248    17868 |     5000        0    nan |  0.000 % |
0.00/0.04	c ===============================================================================
0.00/0.04	c New solution: 199
0.00/0.04	o 199
0.00/0.04	c Elapsed CPU time: 0.035994 s	Remaining CPU time: 179.964 s
0.00/0.04	c ===============================================================================
0.00/0.04	c |         0 |    2724     5249    18068 |     5000        0    nan |  0.000 % |
0.00/0.04	c ===============================================================================
0.00/0.04	c New solution: 198
0.00/0.04	o 198
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 |    2724     5250    18268 |     5000        0    nan |  0.000 % |
0.00/0.04	c ===============================================================================
0.00/0.04	c New solution: 175
0.00/0.04	o 175
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 |    2724     5251    18468 |     5000        0    nan |  0.000 % |
0.00/0.04	c ===============================================================================
0.00/0.04	c New solution: 174
0.00/0.04	o 174
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 |    2724     5252    18668 |     5000        0    nan |  0.000 % |
0.00/0.05	c ===============================================================================
0.00/0.05	c New solution: 171
0.00/0.05	o 171
0.00/0.05	c Elapsed CPU time: 0.043993 s	Remaining CPU time: 179.956 s
0.00/0.05	c ===============================================================================
0.00/0.05	c |         0 |    2724     5253    18868 |     5000        0    nan |  0.000 % |
0.00/0.05	c ===============================================================================
0.00/0.05	c New solution: 170
0.00/0.05	o 170
0.00/0.05	c Elapsed CPU time: 0.044993 s	Remaining CPU time: 179.955 s
0.00/0.05	c ===============================================================================
0.00/0.05	c |         0 |    2724     5254    19068 |     5000        0    nan |  0.000 % |
0.00/0.05	c ===============================================================================
0.00/0.05	c New solution: 129
0.00/0.05	o 129
0.00/0.05	c Elapsed CPU time: 0.047992 s	Remaining CPU time: 179.952 s
0.00/0.05	c ===============================================================================
0.00/0.05	c |         0 |    2724     5255    19268 |     5000        0    nan |  0.000 % |
0.00/0.05	c ===============================================================================
0.00/0.05	c New solution: 128
0.00/0.05	o 128
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 |         1 |    2724     5256    19468 |     5000        1    134 |  0.000 % |
0.00/0.06	c ===============================================================================
0.00/0.06	c New solution: 37
0.00/0.06	o 37
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 |         1 |    2724     5257    19668 |     5000        1    134 |  0.000 % |
0.00/0.06	c ===============================================================================
0.00/0.06	c New solution: 35
0.00/0.06	o 35
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 |         1 |    2724     5258    19868 |     5000        1    134 |  0.000 % |
0.00/0.06	c ===============================================================================
0.00/0.06	c New solution: 33
0.00/0.06	o 33
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 |         1 |    2724     5259    20068 |     5000        1    134 |  0.000 % |
0.00/0.08	c |       103 |    2724     5259    20068 |     5500      103     66 |  0.000 % |
0.08/0.09	c ===============================================================================
0.08/0.09	c New solution: 32
0.08/0.09	o 32
0.08/0.09	c Elapsed CPU time: 0.088986 s	Remaining CPU time: 179.911 s
0.08/0.09	c ===============================================================================
0.08/0.09	c |       221 |    2724     5260    20268 |     5000      221     68 |  0.000 % |
0.09/0.10	c ===============================================================================
0.09/0.10	c New solution: 31
0.09/0.10	o 31
0.09/0.10	c Elapsed CPU time: 0.093985 s	Remaining CPU time: 179.906 s
0.09/0.10	c ===============================================================================
0.09/0.10	c |       241 |    2724     5261    20468 |     5000      241     67 |  0.000 % |
0.09/0.11	c |       343 |    2724     5261    20468 |     5500      343     66 |  0.000 % |
0.09/0.13	c |       493 |    2724     5261    20468 |     6050      493     65 |  0.000 % |
0.09/0.16	c |       719 |    2724     5261    20468 |     6655      719     66 |  0.000 % |
0.19/0.21	c |      1057 |    2724     5261    20468 |     7320     1057     72 |  0.000 % |
0.19/0.28	c |      1564 |    2724     5261    20468 |     8052     1564     73 |  0.000 % |
0.29/0.38	c |      2324 |    2724     5261    20468 |     8857     2324     73 |  0.000 % |
0.49/0.57	c |      3463 |    2724     5261    20468 |     9743     3463     70 |  0.000 % |
0.79/0.84	c |      5171 |    2724     5261    20468 |    10717     5171     70 |  0.000 % |
1.19/1.25	c |      7734 |    2724     5261    20468 |    11789     7734     71 |  0.000 % |
1.89/1.92	c |     11579 |    2724     5261    20468 |    12968    11579     71 |  0.000 % |
2.99/3.05	c |     17346 |    2724     5261    20468 |    14265     9759     67 |  0.000 % |
3.19/3.21	c ===============================================================================
3.19/3.21	c New solution: 30
3.19/3.21	o 30
3.19/3.21	c Elapsed CPU time: 3.14952 s	Remaining CPU time: 176.85 s
3.19/3.21	c ===============================================================================
3.19/3.21	c |     18289 |    2724     5262    20668 |     5000    10702     67 |  0.000 % |
3.19/3.25	c |     18389 |    2724     5262    20668 |     5500     2776     67 |  0.000 % |
3.19/3.27	c |     18539 |    2724     5262    20668 |     6050     2926     67 |  0.000 % |
3.29/3.31	c |     18764 |    2724     5262    20668 |     6655     3151     67 |  0.000 % |
3.29/3.36	c |     19101 |    2724     5262    20668 |     7320     3488     67 |  0.000 % |
3.39/3.44	c |     19607 |    2724     5262    20668 |     8052     3994     67 |  0.000 % |
3.49/3.57	c |     20367 |    2724     5262    20668 |     8857     4754     69 |  0.000 % |
3.69/3.75	c |     21507 |    2724     5262    20668 |     9743     5894     68 |  0.000 % |
3.99/4.04	c |     23215 |    2724     5262    20668 |    10717     7602     71 |  0.000 % |
4.49/4.52	c |     25777 |    2724     5262    20668 |    11789    10164     72 |  0.000 % |
5.19/5.28	c |     29622 |    2724     5262    20668 |    12968     7029     69 |  0.000 % |
6.39/6.45	c |     35388 |    2724     5262    20668 |    14265    12795     67 |  0.000 % |
8.49/8.51	c |     44038 |    2724     5262    20668 |    15692    13203     81 |  0.000 % |
11.89/11.90	c |     57013 |    2724     5262    20668 |    17261    17232     87 |  0.000 % |
12.29/12.34	c ===============================================================================
12.29/12.34	c New solution: 29
12.29/12.34	o 29
12.29/12.34	c Elapsed CPU time: 12.1622 s	Remaining CPU time: 167.838 s
12.29/12.34	c ===============================================================================
12.29/12.34	c |     59260 |    2724     5263    20868 |     5000    19479     87 |  0.000 % |
12.39/12.42	c |     59360 |    2724     5263    20868 |     5500     4970     88 |  0.000 % |
12.39/12.45	c |     59511 |    2724     5263    20868 |     6050     5121     87 |  0.000 % |
12.39/12.49	c |     59736 |    2724     5263    20868 |     6655     5346     87 |  0.000 % |
12.49/12.55	c |     60075 |    2724     5263    20868 |     7320     5685     85 |  0.000 % |
12.59/12.64	c |     60581 |    2724     5263    20868 |     8052     6191     84 |  0.000 % |
12.68/12.76	c |     61341 |    2724     5263    20868 |     8857     6951     83 |  0.000 % |
12.89/12.95	c |     62481 |    2724     5263    20868 |     9743     8091     83 |  0.000 % |
13.19/13.26	c |     64189 |    2724     5263    20868 |    10717     9799     80 |  0.000 % |
13.69/13.72	c |     66753 |    2724     5263    20868 |    11789    12363     78 |  0.000 % |
14.48/14.50	c |     70598 |    2724     5263    20868 |    12968    10027     81 |  0.000 % |
15.69/15.72	c |     76364 |    2724     5263    20868 |    14265     8280     81 |  0.000 % |
17.69/17.77	c |     85013 |    2724     5263    20868 |    15692     8710     84 |  0.000 % |
20.58/20.67	c |     97987 |    2724     5263    20868 |    17261    12831     60 |  0.000 % |
25.08/25.12	c |    117448 |    2724     5263    20868 |    18987    12887     79 |  0.000 % |
33.39/33.42	c |    146642 |    2724     5263    20868 |    20886    20979     81 |  0.000 % |
46.08/46.16	c |    190431 |    2724     5263    20868 |    22974    18737     69 |  0.000 % |
67.67/67.74	c |    256115 |    2724     5263    20868 |    25272    15117     84 |  0.000 % |
100.66/100.74	c |    354641 |    2724     5263    20868 |    27799    19021     68 |  0.000 % |
148.54/148.68	c |    502430 |    2724     5263    20868 |    30579    18217     73 |  0.000 % |
181.93/182.04	c There are 0 assigned variables. 0 in cost function.
182.73/182.85	c core #1
182.73/182.85	c 
182.73/182.85	c 
182.73/182.85	c Core size: 28	Core Weight: 1	Total Weight: 1
182.73/182.85	c
182.73/182.85	c
182.73/182.85	c core #2
182.73/182.85	c 
182.73/182.85	c 
182.73/182.85	c Core size: 22	Core Weight: 1	Total Weight: 2
182.73/182.85	c
182.73/182.85	c
182.73/182.85	c core #3
182.73/182.85	c 
182.73/182.85	c 
182.73/182.85	c Core size: 22	Core Weight: 1	Total Weight: 3
182.73/182.85	c
182.73/182.85	c
182.73/182.85	c core #4
182.73/182.85	c 
182.73/182.85	c 
182.73/182.85	c Core size: 22	Core Weight: 1	Total Weight: 4
182.73/182.85	c
182.73/182.85	c
182.73/182.85	c core #5
182.73/182.85	c 
182.73/182.85	c 
182.73/182.85	c Core size: 24	Core Weight: 1	Total Weight: 5
182.73/182.85	c
182.73/182.85	c
182.73/182.85	c core #6
182.73/182.85	c 
182.73/182.85	c 
182.73/182.85	c Core size: 22	Core Weight: 1	Total Weight: 6
182.73/182.85	c
182.73/182.85	c
182.73/182.85	c core #7
182.73/182.85	c 
182.73/182.85	c 
182.73/182.85	c Core size: 22	Core Weight: 1	Total Weight: 7
182.73/182.85	c
182.73/182.85	c
182.73/182.85	c core #8
182.73/182.85	c 
182.73/182.85	c 
182.73/182.85	c Core size: 77	Core Weight: 1	Total Weight: 8
182.73/182.85	c
182.73/182.85	c
182.73/182.85	c ============================[ Search Statistics ]==============================
182.73/182.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.73/182.85	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.73/182.85	c ===============================================================================
182.73/182.85	c |         0 |    1653     5471    16313 |     5000        0    nan |  0.000 % |
182.73/182.86	c ===============================================================================
182.73/182.88	c core #9
182.73/182.88	c 
182.73/182.88	c 
182.73/182.88	c Core size: 220	Core Weight: 1	Total Weight: 9
182.73/182.88	c
182.73/182.88	c
182.73/182.88	c ============================[ Search Statistics ]==============================
182.73/182.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.73/182.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.73/182.88	c ===============================================================================
182.73/182.88	c |         0 |    2533     5472    19133 |     5000        0    nan |  0.000 % |
182.83/182.92	c |       100 |    2533     5472    19133 |     5500      100     63 | 14.194 % |
182.83/182.97	c |       254 |    2533     5472    19133 |     6050      254     82 | 14.194 % |
182.93/183.07	c |       481 |    2533     5472    19133 |     6655      481     90 | 14.194 % |
183.13/183.21	c |       820 |    2533     5472    19133 |     7320      820     96 | 14.194 % |
183.33/183.43	c ===============================================================================
183.33/183.47	c core #10
183.33/183.47	c 
183.33/183.47	c 
183.33/183.47	c Core size: 379	Core Weight: 1	Total Weight: 10
183.33/183.47	c
183.33/183.47	c
183.33/183.47	c ============================[ Search Statistics ]==============================
183.33/183.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.33/183.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.33/183.47	c ===============================================================================
183.33/183.47	c |         0 |    3107     5473    21403 |     5000        0    nan |  0.000 % |
183.43/183.50	c |       101 |    3107     5473    21403 |     5500      101    107 |  1.177 % |
183.43/183.55	c |       259 |    3107     5473    21403 |     6050      259     82 |  1.177 % |
183.54/183.68	c |       484 |    3107     5473    21403 |     6655      484     83 |  1.177 % |
183.73/183.82	c |       822 |    3107     5473    21403 |     7320      822     78 |  1.177 % |
183.93/184.00	c |      1331 |    3107     5473    21403 |     8052     1331     88 |  1.177 % |
184.24/184.34	c |      2092 |    3107     5473    21403 |     8857     2092    118 |  1.177 % |
184.83/184.93	c |      3237 |    3107     5473    21403 |     9743     3237    123 |  1.177 % |
185.84/185.97	c |      4949 |    3107     5473    21403 |    10717     4949    125 |  1.177 % |
187.94/188.06	c |      7513 |    3107     5473    21403 |    11789     7513    128 |  1.177 % |
191.83/191.97	c |     11357 |    3107     5473    21403 |    12968    11357    136 |  1.177 % |
198.43/198.50	c |     17129 |    3107     5473    21403 |    14265    10381    153 |  1.177 % |
210.73/210.86	c |     25781 |    3107     5473    21403 |    15692    11693    179 |  1.177 % |
226.82/226.91	c |     38758 |    3107     5473    21403 |    17261     8522    144 |  1.177 % |
246.71/246.89	c |     58219 |    3107     5473    21403 |    18987    10566    155 |  1.177 % |
248.11/248.27	c ===============================================================================
249.21/249.37	c core #11
249.21/249.37	c 
249.21/249.37	c 
249.21/249.37	c Core size: 326	Core Weight: 1	Total Weight: 11
249.21/249.37	c
249.21/249.37	c
249.21/249.37	c ============================[ Search Statistics ]==============================
249.21/249.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
249.21/249.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
249.21/249.37	c ===============================================================================
249.21/249.37	c |         0 |    3344     5474    22308 |     5000        0    nan |  0.000 % |
249.31/249.43	c |       104 |    3344     5474    22308 |     5500      104    155 |  0.000 % |
249.31/249.48	c |       255 |    3344     5474    22308 |     6050      255     98 |  0.000 % |
249.41/249.59	c |       482 |    3344     5474    22308 |     6655      482    105 |  0.000 % |
249.62/249.77	c |       820 |    3344     5474    22308 |     7320      820    100 |  0.000 % |
249.90/250.06	c |      1326 |    3344     5474    22308 |     8052     1326     96 |  0.000 % |
250.31/250.45	c |      2087 |    3344     5474    22308 |     8857     2087     95 |  0.000 % |
250.91/251.00	c |      3228 |    3344     5474    22308 |     9743     3228    107 |  0.000 % |
251.61/251.77	c |      4937 |    3344     5474    22308 |    10717     4937    120 |  0.000 % |
252.81/252.96	c |      7499 |    3344     5474    22308 |    11789     7499    123 |  0.000 % |
255.60/255.76	c |     11344 |    3344     5474    22308 |    12968    11344    136 |  0.000 % |
260.11/260.29	c |     17113 |    3344     5474    22308 |    14265    10492    127 |  0.000 % |
267.40/267.52	c |     25771 |    3344     5474    22308 |    15692    11748    145 |  0.000 % |
279.10/279.27	c |     38746 |    3344     5474    22308 |    17261     8480    160 |  0.000 % |
298.39/298.54	c |     58208 |    3344     5474    22308 |    18987    10175    250 |  0.000 % |
336.49/336.66	c |     87400 |    3344     5474    22308 |    20886    10026    187 |  0.000 % |
401.96/402.18	c |    131190 |    3344     5474    22308 |    22974    21611    228 |  0.000 % |
502.33/502.55	c |    196874 |    3344     5474    22308 |    25272    16591    220 |  0.000 % |
649.79/650.06	c |    295401 |    3344     5474    22308 |    27799    24216    244 |  0.000 % |
861.81/862.14	c |    443193 |    3344     5474    22308 |    30579    25607    199 |  0.000 % |
1255.59/1256.05	c |    664876 |    3344     5474    22308 |    33637    20826    225 |  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-2702423-1278566543/watcher-2702423-1278566543 -o /tmp/evaluation-result-2702423-1278566543/solver-2702423-1278566543 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702423-1278566543.opb 

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


[startup+0 s]
/proc/loadavg: 1.01 1.04 1.00 3/106 28562
/proc/meminfo: memFree=1723844/2059040 swapFree=4139544/4192956
[pid=28562] ppid=28560 vsize=3332 CPUtime=0
/proc/28562/stat : 28562 (wbo1.4b) R 28560 28562 28268 0 -1 4202496 400 0 0 0 0 0 0 0 25 0 1 0 24865756 3411968 318 1992294400 134512640 135752675 4289908688 18446744073709551615 135222242 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28562/statm: 833 318 141 303 0 482 0

[startup+0.0910389 s]
/proc/loadavg: 1.01 1.04 1.00 3/106 28562
/proc/meminfo: memFree=1723844/2059040 swapFree=4139544/4192956
[pid=28562] ppid=28560 vsize=3716 CPUtime=0.08
/proc/28562/stat : 28562 (wbo1.4b) R 28560 28562 28268 0 -1 4202496 661 0 0 0 8 0 0 0 25 0 1 0 24865756 3805184 475 1992294400 134512640 135752675 4289908688 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28562/statm: 929 475 145 303 0 624 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3716

[startup+0.101041 s]
/proc/loadavg: 1.01 1.04 1.00 3/106 28562
/proc/meminfo: memFree=1723844/2059040 swapFree=4139544/4192956
[pid=28562] ppid=28560 vsize=3716 CPUtime=0.09
/proc/28562/stat : 28562 (wbo1.4b) R 28560 28562 28268 0 -1 4202496 668 0 0 0 9 0 0 0 25 0 1 0 24865756 3805184 482 1992294400 134512640 135752675 4289908688 18446744073709551615 134518864 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28562/statm: 929 482 145 303 0 624 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3716

[startup+0.30106 s]
/proc/loadavg: 1.01 1.04 1.00 3/106 28562
/proc/meminfo: memFree=1723844/2059040 swapFree=4139544/4192956
[pid=28562] ppid=28560 vsize=4364 CPUtime=0.29
/proc/28562/stat : 28562 (wbo1.4b) R 28560 28562 28268 0 -1 4202496 820 0 0 0 28 1 0 0 25 0 1 0 24865756 4468736 634 1992294400 134512640 135752675 4289908688 18446744073709551615 134605214 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28562/statm: 1091 634 145 303 0 786 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4364

[startup+0.701101 s]
/proc/loadavg: 1.01 1.04 1.00 3/106 28562
/proc/meminfo: memFree=1723844/2059040 swapFree=4139544/4192956
[pid=28562] ppid=28560 vsize=5412 CPUtime=0.69
/proc/28562/stat : 28562 (wbo1.4b) R 28560 28562 28268 0 -1 4202496 1083 0 0 0 68 1 0 0 25 0 1 0 24865756 5541888 897 1992294400 134512640 135752675 4289908688 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28562/statm: 1353 897 145 303 0 1048 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5412

[startup+1.50118 s]
/proc/loadavg: 1.01 1.04 1.00 2/107 28563
/proc/meminfo: memFree=1720488/2059040 swapFree=4139544/4192956
[pid=28562] ppid=28560 vsize=7512 CPUtime=1.49
/proc/28562/stat : 28562 (wbo1.4b) R 28560 28562 28268 0 -1 4202496 1599 0 0 0 146 3 0 0 25 0 1 0 24865756 7692288 1413 1992294400 134512640 135752675 4289908688 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28562/statm: 1878 1413 145 303 0 1573 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7512

[startup+3.10135 s]
/proc/loadavg: 1.01 1.04 1.00 2/107 28563
/proc/meminfo: memFree=1717636/2059040 swapFree=4139544/4192956
[pid=28562] ppid=28560 vsize=10644 CPUtime=3.09
/proc/28562/stat : 28562 (wbo1.4b) R 28560 28562 28268 0 -1 4202496 2390 0 0 0 304 5 0 0 25 0 1 0 24865756 10899456 2204 1992294400 134512640 135752675 4289908688 18446744073709551615 134518858 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28562/statm: 2661 2204 145 303 0 2356 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10644

[startup+6.30067 s]
/proc/loadavg: 1.01 1.04 1.00 2/107 28563
/proc/meminfo: memFree=1710692/2059040 swapFree=4139544/4192956
[pid=28562] ppid=28560 vsize=17180 CPUtime=6.29
/proc/28562/stat : 28562 (wbo1.4b) R 28560 28562 28268 0 -1 4202496 4025 0 0 0 619 10 0 0 25 0 1 0 24865756 17592320 3839 1992294400 134512640 135752675 4289908688 18446744073709551615 134638149 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28562/statm: 4295 3839 145 303 0 3990 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17180

[startup+12.7013 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 28564
/proc/meminfo: memFree=1698664/2059040 swapFree=4139544/4192956
[pid=28562] ppid=28560 vsize=28952 CPUtime=12.68
/proc/28562/stat : 28562 (wbo1.4b) R 28560 28562 28268 0 -1 4202496 6972 0 0 0 1250 18 0 0 25 0 1 0 24865756 29646848 6786 1992294400 134512640 135752675 4289908688 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28562/statm: 7238 6786 145 303 0 6933 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 28952

[startup+25.5006 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 28564
/proc/meminfo: memFree=1674484/2059040 swapFree=4139544/4192956
[pid=28562] ppid=28560 vsize=52320 CPUtime=25.49
/proc/28562/stat : 28562 (wbo1.4b) R 28560 28562 28268 0 -1 4202496 12808 0 0 0 2513 36 0 0 25 0 1 0 24865756 53575680 12622 1992294400 134512640 135752675 4289908688 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28562/statm: 13080 12622 145 303 0 12775 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 52320

[startup+51.1012 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 28565
/proc/meminfo: memFree=1638648/2059040 swapFree=4139544/4192956
[pid=28562] ppid=28560 vsize=88332 CPUtime=51.07
/proc/28562/stat : 28562 (wbo1.4b) R 28560 28562 28268 0 -1 4202496 21798 0 0 0 5041 66 0 0 25 0 1 0 24865756 90451968 21612 1992294400 134512640 135752675 4289908688 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28562/statm: 22083 21612 145 303 0 21778 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 88332

[startup+102.308 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 28566
/proc/meminfo: memFree=1571564/2059040 swapFree=4139544/4192956
[pid=28562] ppid=28560 vsize=154400 CPUtime=102.26
/proc/28562/stat : 28562 (wbo1.4b) R 28560 28562 28268 0 -1 4202496 38304 0 0 0 10109 117 0 0 25 0 1 0 24865756 158105600 38118 1992294400 134512640 135752675 4289908688 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28562/statm: 38600 38118 145 303 0 38295 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 154400

[startup+162.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 28568
/proc/meminfo: memFree=1497660/2059040 swapFree=4139544/4192956
[pid=28562] ppid=28560 vsize=229148 CPUtime=162.24
/proc/28562/stat : 28562 (wbo1.4b) R 28560 28562 28268 0 -1 4202496 56960 0 0 0 16042 182 0 0 25 0 1 0 24865756 234647552 56774 1992294400 134512640 135752675 4289908688 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28562/statm: 57287 56774 145 303 0 56982 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 229148

[startup+222.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 28569
/proc/meminfo: memFree=1464180/2059040 swapFree=4139544/4192956
[pid=28562] ppid=28560 vsize=261292 CPUtime=222.23
/proc/28562/stat : 28562 (wbo1.4b) R 28560 28562 28268 0 -1 4202496 65103 0 0 0 22008 215 0 0 25 0 1 0 24865756 267563008 64884 1992294400 134512640 135752675 4289908688 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28562/statm: 65323 64884 146 303 0 65018 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 261292

[startup+282.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 28571
/proc/meminfo: memFree=1424748/2059040 swapFree=4139544/4192956
[pid=28562] ppid=28560 vsize=301340 CPUtime=282.2
/proc/28562/stat : 28562 (wbo1.4b) R 28560 28562 28268 0 -1 4202496 75099 0 0 0 27971 249 0 0 25 0 1 0 24865756 308572160 74880 1992294400 134512640 135752675 4289908688 18446744073709551615 134605234 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28562/statm: 75335 74880 146 303 0 75030 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 301340

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28572
/proc/meminfo: memFree=1372296/2059040 swapFree=4139544/4192956
[pid=28562] ppid=28560 vsize=353052 CPUtime=342.18
/proc/28562/stat : 28562 (wbo1.4b) R 28560 28562 28268 0 -1 4202496 88031 0 0 0 33929 289 0 0 25 0 1 0 24865756 361525248 87812 1992294400 134512640 135752675 4289908688 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28562/statm: 88263 87812 146 303 0 87958 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 353052

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28574
/proc/meminfo: memFree=1328400/2059040 swapFree=4139544/4192956
[pid=28562] ppid=28560 vsize=397196 CPUtime=402.16
/proc/28562/stat : 28562 (wbo1.4b) R 28560 28562 28268 0 -1 4202496 99048 0 0 0 39899 317 0 0 25 0 1 0 24865756 406728704 98829 1992294400 134512640 135752675 4289908688 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28562/statm: 99299 98829 146 303 0 98994 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 397196

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28576
/proc/meminfo: memFree=1289464/2059040 swapFree=4139544/4192956
[pid=28562] ppid=28560 vsize=435976 CPUtime=462.14
/proc/28562/stat : 28562 (wbo1.4b) R 28560 28562 28268 0 -1 4202496 108724 0 0 0 45873 341 0 0 25 0 1 0 24865756 446439424 108505 1992294400 134512640 135752675 4289908688 18446744073709551615 134605387 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28562/statm: 108994 108505 146 303 0 108689 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 435976

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28577
/proc/meminfo: memFree=1244700/2059040 swapFree=4139544/4192956
[pid=28562] ppid=28560 vsize=480972 CPUtime=522.13
/proc/28562/stat : 28562 (wbo1.4b) R 28560 28562 28268 0 -1 4202496 119938 0 0 0 51842 371 0 0 25 0 1 0 24865756 492515328 119719 1992294400 134512640 135752675 4289908688 18446744073709551615 134639515 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28562/statm: 120243 119719 146 303 0 119938 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 480972

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28579
/proc/meminfo: memFree=1198200/2059040 swapFree=4139544/4192956
[pid=28562] ppid=28560 vsize=527300 CPUtime=582.1
/proc/28562/stat : 28562 (wbo1.4b) R 28560 28562 28268 0 -1 4202496 131476 0 0 0 57808 402 0 0 25 0 1 0 24865756 539955200 131257 1992294400 134512640 135752675 4289908688 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28562/statm: 131825 131257 146 303 0 131520 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 527300

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28580
/proc/meminfo: memFree=1146616/2059040 swapFree=4139544/4192956
[pid=28562] ppid=28560 vsize=578296 CPUtime=642.09
/proc/28562/stat : 28562 (wbo1.4b) R 28560 28562 28268 0 -1 4202496 144223 0 0 0 63771 438 0 0 25 0 1 0 24865756 592175104 144004 1992294400 134512640 135752675 4289908688 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28562/statm: 144574 144004 146 303 0 144269 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 578296

[startup+702.3 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28587
/proc/meminfo: memFree=967064/2059040 swapFree=4139544/4192956
[pid=28562] ppid=28560 vsize=757576 CPUtime=882.01
/proc/28562/stat : 28562 (wbo1.4b) R 28560 28562 28268 0 -1 4202496 189001 0 0 0 87642 559 0 0 25 0 1 0 24865756 775757824 188782 1992294400 134512640 135752675 4289908688 18446744073709551615 134611807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28562/statm: 189394 188782 146 303 0 189089 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 757576

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28588
/proc/meminfo: memFree=930112/2059040 swapFree=4139544/4192956
[pid=28562] ppid=28560 vsize=794636 CPUtime=941.99
/proc/28562/stat : 28562 (wbo1.4b) R 28560 28562 28268 0 -1 4202496 198254 0 0 0 93611 588 0 0 25 0 1 0 24865756 813707264 198035 1992294400 134512640 135752675 4289908688 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28562/statm: 198659 198035 146 303 0 198354 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 794636

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28590
/proc/meminfo: memFree=889440/2059040 swapFree=4139544/4192956
[pid=28562] ppid=28560 vsize=835272 CPUtime=1001.97
/proc/28562/stat : 28562 (wbo1.4b) R 28560 28562 28268 0 -1 4202496 208393 0 0 0 99585 612 0 0 25 0 1 0 24865756 855318528 208174 1992294400 134512640 135752675 4289908688 18446744073709551615 134616084 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28562/statm: 208818 208174 146 303 0 208513 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 835272

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28592
/proc/meminfo: memFree=851124/2059040 swapFree=4139544/4192956
[pid=28562] ppid=28560 vsize=873868 CPUtime=1061.96
/proc/28562/stat : 28562 (wbo1.4b) R 28560 28562 28268 0 -1 4202496 218026 0 0 0 105558 638 0 0 25 0 1 0 24865756 894840832 217807 1992294400 134512640 135752675 4289908688 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28562/statm: 218467 217807 146 303 0 218162 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 873868

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28593
/proc/meminfo: memFree=811320/2059040 swapFree=4139544/4192956
[pid=28562] ppid=28560 vsize=913280 CPUtime=1121.93
/proc/28562/stat : 28562 (wbo1.4b) R 28560 28562 28268 0 -1 4202496 227886 0 0 0 111527 666 0 0 25 0 1 0 24865756 935198720 227667 1992294400 134512640 135752675 4289908688 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28562/statm: 228320 227667 146 303 0 228015 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 913280

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28595
/proc/meminfo: memFree=767300/2059040 swapFree=4139544/4192956
[pid=28562] ppid=28560 vsize=958064 CPUtime=1181.92
/proc/28562/stat : 28562 (wbo1.4b) R 28560 28562 28268 0 -1 4202496 239023 0 0 0 117498 694 0 0 25 0 1 0 24865756 981057536 238804 1992294400 134512640 135752675 4289908688 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28562/statm: 239516 238804 146 303 0 239211 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 958064

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28596
/proc/meminfo: memFree=731340/2059040 swapFree=4139544/4192956
[pid=28562] ppid=28560 vsize=993244 CPUtime=1241.9
/proc/28562/stat : 28562 (wbo1.4b) R 28560 28562 28268 0 -1 4202496 247774 0 0 0 123473 717 0 0 25 0 1 0 24865756 1017081856 247555 1992294400 134512640 135752675 4289908688 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28562/statm: 248311 247555 146 303 0 248006 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 993244

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28598
/proc/meminfo: memFree=691536/2059040 swapFree=4139544/4192956
[pid=28562] ppid=28560 vsize=1032632 CPUtime=1301.88
/proc/28562/stat : 28562 (wbo1.4b) R 28560 28562 28268 0 -1 4202496 257612 0 0 0 129445 743 0 0 25 0 1 0 24865756 1057415168 257393 1992294400 134512640 135752675 4289908688 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28562/statm: 258158 257393 146 303 0 257853 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1032632

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28600
/proc/meminfo: memFree=651980/2059040 swapFree=4139544/4192956
[pid=28562] ppid=28560 vsize=1072580 CPUtime=1361.86
/proc/28562/stat : 28562 (wbo1.4b) R 28560 28562 28268 0 -1 4202496 267575 0 0 0 135418 768 0 0 25 0 1 0 24865756 1098321920 267356 1992294400 134512640 135752675 4289908688 18446744073709551615 134638089 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28562/statm: 268145 267356 146 303 0 267840 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1072580

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28601
/proc/meminfo: memFree=612176/2059040 swapFree=4139544/4192956
[pid=28562] ppid=28560 vsize=1111904 CPUtime=1421.85
/proc/28562/stat : 28562 (wbo1.4b) R 28560 28562 28268 0 -1 4202496 277403 0 0 0 141389 796 0 0 25 0 1 0 24865756 1138589696 277184 1992294400 134512640 135752675 4289908688 18446744073709551615 134611809 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28562/statm: 277976 277184 146 303 0 277671 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1111904

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28603
/proc/meminfo: memFree=570760/2059040 swapFree=4139544/4192956
[pid=28562] ppid=28560 vsize=1153804 CPUtime=1481.83
/proc/28562/stat : 28562 (wbo1.4b) R 28560 28562 28268 0 -1 4202496 287856 0 0 0 147362 821 0 0 25 0 1 0 24865756 1181495296 287637 1992294400 134512640 135752675 4289908688 18446744073709551615 134638085 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28562/statm: 288451 287637 146 303 0 288146 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1153804

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28604
/proc/meminfo: memFree=530088/2059040 swapFree=4139544/4192956
[pid=28562] ppid=28560 vsize=1194264 CPUtime=1541.81
/proc/28562/stat : 28562 (wbo1.4b) R 28560 28562 28268 0 -1 4202496 297929 0 0 0 153334 847 0 0 25 0 1 0 24865756 1222926336 297710 1992294400 134512640 135752675 4289908688 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28562/statm: 298566 297710 146 303 0 298261 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1194264

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28606
/proc/meminfo: memFree=499956/2059040 swapFree=4139544/4192956
[pid=28562] ppid=28560 vsize=1224440 CPUtime=1601.79
/proc/28562/stat : 28562 (wbo1.4b) R 28560 28562 28268 0 -1 4202496 305474 0 0 0 159310 869 0 0 25 0 1 0 24865756 1253826560 305255 1992294400 134512640 135752675 4289908688 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28562/statm: 306110 305255 146 303 0 305805 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1224440

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28608
/proc/meminfo: memFree=466600/2059040 swapFree=4139544/4192956
[pid=28562] ppid=28560 vsize=1257772 CPUtime=1661.77
/proc/28562/stat : 28562 (wbo1.4b) R 28560 28562 28268 0 -1 4202496 313778 0 0 0 165282 895 0 0 25 0 1 0 24865756 1287958528 313559 1992294400 134512640 135752675 4289908688 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28562/statm: 314443 313559 146 303 0 314138 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 1257772

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28609
/proc/meminfo: memFree=427540/2059040 swapFree=4139544/4192956
[pid=28562] ppid=28560 vsize=1297000 CPUtime=1721.76
/proc/28562/stat : 28562 (wbo1.4b) R 28560 28562 28268 0 -1 4202496 323574 0 0 0 171250 926 0 0 25 0 1 0 24865756 1328128000 323355 1992294400 134512640 135752675 4289908688 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28562/statm: 324250 323355 146 303 0 323945 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1297000

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28611
/proc/meminfo: memFree=381784/2059040 swapFree=4139544/4192956
[pid=28562] ppid=28560 vsize=1342348 CPUtime=1781.74
/proc/28562/stat : 28562 (wbo1.4b) R 28560 28562 28268 0 -1 4202496 334884 0 0 0 177220 954 0 0 25 0 1 0 24865756 1374564352 334665 1992294400 134512640 135752675 4289908688 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28562/statm: 335587 334665 146 303 0 335282 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1342348



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28611
/proc/meminfo: memFree=367524/2059040 swapFree=4139544/4192956
[pid=28562] ppid=28560 vsize=1356292 CPUtime=1800.04
/proc/28562/stat : 28562 (wbo1.4b) R 28560 28562 28268 0 -1 4202496 338384 0 0 0 179041 963 0 0 25 0 1 0 24865756 1388843008 338165 1992294400 134512640 135752675 4289908688 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28562/statm: 339073 338165 146 303 0 338768 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1356292

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

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

[startup+1800.72 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28611
/proc/meminfo: memFree=367524/2059040 swapFree=4139544/4192956
[pid=28562] ppid=28560 vsize=0 CPUtime=1800.14
/proc/28562/stat : 28562 (wbo1.4b) R 28560 28562 28268 0 -1 4203524 338384 0 0 0 179041 973 0 0 25 0 1 0 24865756 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/28562/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.74
CPU time (s): 1800.18
CPU user time (s): 1790.42
CPU system time (s): 9.76451
CPU usage (%): 99.9689
Max. virtual memory (cumulated for all children) (KiB): 1356292

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

runsolver used 4.28135 second user time and 8.82366 second system time

The end

Launcher Data 

Begin job on node027 at 2010-07-08 07:22:23
IDJOB=2702423
IDBENCH=48146
IDSOLVER=1190
FILE ID=node027/2702423-1278566543
PBS_JOBID= 11239551
Free space on /tmp= 62536 MiB

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

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

MD5SUM BENCH= b738c7950af6b3d63e331a14bc641dc9
RANDOM SEED=758847080

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1724992 kB
Buffers:         56792 kB
Cached:         177520 kB
SwapCached:       7452 kB
Active:          85468 kB
Inactive:       163184 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1724992 kB
SwapTotal:     4192956 kB
SwapFree:      4139544 kB
Dirty:            2744 kB
Writeback:           0 kB
AnonPages:       12008 kB
Mapped:          12100 kB
Slab:            63360 kB
PageTables:       4176 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180392 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264952 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702423-1278566543.opb

Free space on /tmp at the end= 62532 MiB
End job on node027 at 2010-07-08 07:52:26