Trace number 2702391

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.16 1800.73

General information on the benchmark

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

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-2702391-1278565825.opb.
0.00/0.00	c Instance file HOME/instance-2702391-1278565825.opb
0.00/0.00	c File size is 89248 bytes.
0.00/0.01	c Highest Coefficient sum: 20
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Parsing time:          0.02         s                                      |
0.00/0.01	c |  Number Variables:      1352                                                |
0.00/0.01	c |  Number Clauses:        1352                                                |
0.00/0.01	c |  Number Cardinality:    0                                                   |
0.00/0.01	c |  Number PB Constraints: 1252                                                |
0.00/0.02	c ============================[ Search Statistics ]==============================
0.00/0.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |    1352     2604     8864 |     5000        0    nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 99
0.00/0.02	o 99
0.00/0.02	c Elapsed CPU time: 0.019996 s	Remaining CPU time: 179.98 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |    1352     2605     8964 |     5000        0    nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 98
0.00/0.02	o 98
0.00/0.02	c Elapsed CPU time: 0.020996 s	Remaining CPU time: 179.979 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |    1352     2606     9064 |     5000        0    nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 97
0.00/0.02	o 97
0.00/0.02	c Elapsed CPU time: 0.021996 s	Remaining CPU time: 179.978 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |    1352     2607     9164 |     5000        0    nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 96
0.00/0.02	o 96
0.00/0.02	c Elapsed CPU time: 0.022996 s	Remaining CPU time: 179.977 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |    1352     2608     9264 |     5000        0    nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 95
0.00/0.02	o 95
0.00/0.02	c Elapsed CPU time: 0.023996 s	Remaining CPU time: 179.976 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |    1352     2609     9364 |     5000        0    nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 94
0.00/0.02	o 94
0.00/0.02	c Elapsed CPU time: 0.024996 s	Remaining CPU time: 179.975 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |    1352     2610     9464 |     5000        0    nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 93
0.00/0.02	o 93
0.00/0.02	c Elapsed CPU time: 0.024996 s	Remaining CPU time: 179.975 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |    1352     2611     9564 |     5000        0    nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 57
0.00/0.02	o 57
0.00/0.02	c Elapsed CPU time: 0.025996 s	Remaining CPU time: 179.974 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |    1352     2612     9664 |     5000        0    nan |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c New solution: 44
0.00/0.03	o 44
0.00/0.03	c Elapsed CPU time: 0.027995 s	Remaining CPU time: 179.972 s
0.00/0.03	c ===============================================================================
0.00/0.03	c |         0 |    1352     2613     9764 |     5000        0    nan |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c New solution: 43
0.00/0.03	o 43
0.00/0.03	c Elapsed CPU time: 0.028995 s	Remaining CPU time: 179.971 s
0.00/0.03	c ===============================================================================
0.00/0.03	c |         0 |    1352     2614     9864 |     5000        0    nan |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c New solution: 42
0.00/0.03	o 42
0.00/0.03	c Elapsed CPU time: 0.029995 s	Remaining CPU time: 179.97 s
0.00/0.03	c ===============================================================================
0.00/0.03	c |         0 |    1352     2615     9964 |     5000        0    nan |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c New solution: 41
0.00/0.03	o 41
0.00/0.03	c Elapsed CPU time: 0.030995 s	Remaining CPU time: 179.969 s
0.00/0.03	c ===============================================================================
0.00/0.03	c |         1 |    1352     2616    10064 |     5000        1     43 |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c New solution: 15
0.00/0.03	o 15
0.00/0.03	c Elapsed CPU time: 0.032994 s	Remaining CPU time: 179.967 s
0.00/0.03	c ===============================================================================
0.00/0.03	c |         1 |    1352     2617    10164 |     5000        1     43 |  0.000 % |
0.00/0.04	c |       101 |    1352     2617    10164 |     5500      101     57 |  0.001 % |
0.00/0.05	c |       251 |    1352     2617    10164 |     6050      251     52 |  0.001 % |
0.05/0.08	c |       476 |    1352     2617    10164 |     6655      476     58 |  0.001 % |
0.09/0.11	c ===============================================================================
0.09/0.11	c New solution: 14
0.09/0.11	o 14
0.09/0.11	c Elapsed CPU time: 0.106983 s	Remaining CPU time: 179.893 s
0.09/0.11	c ===============================================================================
0.09/0.11	c |       797 |    1352     2618    10264 |     5000      797     56 |  0.001 % |
0.09/0.12	c |       898 |    1352     2618    10264 |     5500      898     56 |  0.001 % |
0.09/0.13	c |      1049 |    1352     2618    10264 |     6050     1049     57 |  0.001 % |
0.09/0.16	c |      1276 |    1352     2618    10264 |     6655     1276     55 |  0.001 % |
0.09/0.20	c |      1615 |    1352     2618    10264 |     7320     1615     55 |  0.001 % |
0.19/0.25	c |      2121 |    1352     2618    10264 |     8052     2121     52 |  0.001 % |
0.29/0.34	c |      2882 |    1352     2618    10264 |     8857     2882     49 |  0.001 % |
0.49/0.51	c |      4025 |    1352     2618    10264 |     9743     4025     49 |  0.001 % |
0.69/0.72	c |      5734 |    1352     2618    10264 |    10717     5734     51 |  0.001 % |
0.99/1.08	c |      8296 |    1352     2618    10264 |    11789     8296     51 |  0.001 % |
1.19/1.26	c ===============================================================================
1.19/1.26	c New solution: 13
1.19/1.26	o 13
1.19/1.26	c Elapsed CPU time: 1.22981 s	Remaining CPU time: 178.77 s
1.19/1.26	c ===============================================================================
1.19/1.26	c |      9640 |    1352     2619    10364 |     5000     9640     51 |  0.001 % |
1.19/1.28	c |      9741 |    1352     2619    10364 |     5500     4921     52 |  0.001 % |
1.29/1.30	c |      9891 |    1352     2619    10364 |     6050     5071     52 |  0.001 % |
1.29/1.33	c |     10117 |    1352     2619    10364 |     6655     5297     52 |  0.001 % |
1.29/1.38	c |     10457 |    1352     2619    10364 |     7320     5637     51 |  0.001 % |
1.39/1.45	c |     10963 |    1352     2619    10364 |     8052     6143     51 |  0.001 % |
1.49/1.54	c |     11722 |    1352     2619    10364 |     8857     6902     51 |  0.001 % |
1.69/1.70	c |     12864 |    1352     2619    10364 |     9743     8044     52 |  0.001 % |
1.89/1.96	c |     14572 |    1352     2619    10364 |    10717     9752     51 |  0.001 % |
2.29/2.38	c |     17136 |    1352     2619    10364 |    11789     6502     51 |  0.001 % |
2.89/2.95	c |     20981 |    1352     2619    10364 |    12968    10347     49 |  0.001 % |
3.79/3.86	c |     26748 |    1352     2619    10364 |    14265     9156     52 |  0.001 % |
5.39/5.49	c |     35400 |    1352     2619    10364 |    15692    10253     61 |  0.001 % |
7.99/8.06	c |     48375 |    1352     2619    10364 |    17261    14908     52 |  0.001 % |
12.19/12.28	c |     67842 |    1352     2619    10364 |    18987    16150     59 |  0.001 % |
19.09/19.10	c |     97038 |    1352     2619    10364 |    20886    15518     51 |  0.001 % |
30.58/30.67	c |    140829 |    1352     2619    10364 |    22974    15605     60 |  0.001 % |
47.47/47.53	c |    206513 |    1352     2619    10364 |    25272    18285     48 |  0.001 % |
75.37/75.41	c |    305039 |    1352     2619    10364 |    27799    12930     61 |  0.001 % |
121.36/121.42	c |    452828 |    1352     2619    10364 |    30579    23456     53 |  0.001 % |
182.14/182.25	c There are 0 assigned variables. 0 in cost function.
182.83/182.94	c core #1
182.83/182.94	c 
182.83/182.94	c 
182.83/182.94	c Core size: 22	Core Weight: 1	Total Weight: 1
182.83/182.94	c
182.83/182.94	c
182.83/182.94	c core #2
182.83/182.94	c 
182.83/182.94	c 
182.83/182.94	c Core size: 22	Core Weight: 1	Total Weight: 2
182.83/182.94	c
182.83/182.94	c
182.83/182.94	c core #3
182.83/182.94	c 
182.83/182.94	c 
182.83/182.94	c Core size: 24	Core Weight: 1	Total Weight: 3
182.83/182.94	c
182.83/182.94	c
182.83/182.94	c core #4
182.83/182.94	c 
182.83/182.94	c 
182.83/182.94	c Core size: 28	Core Weight: 1	Total Weight: 4
182.83/182.94	c
182.83/182.94	c
182.83/182.94	c ============================[ Search Statistics ]==============================
182.83/182.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.83/182.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.83/182.94	c ===============================================================================
182.83/182.94	c |         0 |     727     2723     7845 |     5000        0    nan |  0.000 % |
182.83/182.94	c ===============================================================================
182.83/182.95	c core #5
182.83/182.95	c 
182.83/182.95	c 
182.83/182.95	c Core size: 129	Core Weight: 1	Total Weight: 5
182.83/182.95	c
182.83/182.95	c
182.83/182.95	c ============================[ Search Statistics ]==============================
182.83/182.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.83/182.95	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.83/182.95	c ===============================================================================
182.83/182.95	c |         0 |    1239     2724     9356 |     5000        0    nan |  0.000 % |
182.83/182.98	c |       100 |    1213     2724     9356 |     5500       99     49 | 16.981 % |
182.83/182.99	c ===============================================================================
182.93/183.00	c core #6
182.93/183.00	c 
182.93/183.00	c 
182.93/183.00	c Core size: 178	Core Weight: 1	Total Weight: 6
182.93/183.00	c
182.93/183.00	c
182.93/183.00	c ============================[ Search Statistics ]==============================
182.93/183.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.93/183.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.93/183.00	c ===============================================================================
182.93/183.00	c |         0 |    1555     2725    10870 |     5000        0    nan |  0.000 % |
182.93/183.03	c |       101 |    1555     2725    10870 |     5500      101     86 |  0.001 % |
182.93/183.07	c |       252 |    1555     2725    10870 |     6050      252     95 |  0.000 % |
183.03/183.13	c |       477 |    1555     2725    10870 |     6655      477    105 |  0.000 % |
183.13/183.25	c |       814 |    1555     2725    10870 |     7320      814    118 |  0.000 % |
183.34/183.42	c |      1320 |    1555     2725    10870 |     8052     1320    112 |  0.000 % |
183.64/183.74	c |      2080 |    1555     2725    10870 |     8857     2080    100 |  0.000 % |
184.14/184.26	c |      3219 |    1555     2725    10870 |     9743     3219     95 |  0.001 % |
185.03/185.18	c |      4927 |    1555     2725    10870 |    10717     4927    104 |  0.000 % |
186.54/186.68	c |      7490 |    1555     2725    10870 |    11789     7490     99 |  0.000 % |
189.43/189.54	c |     11340 |    1555     2725    10870 |    12968    11340     99 |  0.000 % |
192.34/192.49	c ===============================================================================
192.63/192.72	c core #7
192.63/192.72	c 
192.63/192.72	c 
192.63/192.72	c Core size: 245	Core Weight: 1	Total Weight: 7
192.63/192.72	c
192.63/192.72	c
192.63/192.72	c ============================[ Search Statistics ]==============================
192.63/192.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.63/192.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.63/192.72	c ===============================================================================
192.63/192.72	c |         0 |    1655     2726    11070 |     5000        0    nan |  0.000 % |
192.63/192.76	c |       102 |    1655     2726    11070 |     5500      102    108 |  0.001 % |
192.63/192.79	c |       252 |    1655     2726    11070 |     6050      252     86 |  0.000 % |
192.73/192.85	c |       477 |    1655     2726    11070 |     6655      477    102 |  0.000 % |
192.83/192.95	c |       817 |    1655     2726    11070 |     7320      817    108 |  0.000 % |
192.94/193.09	c |      1323 |    1655     2726    11070 |     8052     1323    110 |  0.000 % |
193.13/193.27	c |      2084 |    1655     2726    11070 |     8857     2084    109 |  0.000 % |
193.54/193.66	c |      3225 |    1655     2726    11070 |     9743     3225    117 |  0.000 % |
194.33/194.48	c |      4934 |    1655     2726    11070 |    10717     4934    118 |  0.000 % |
196.03/196.15	c |      7498 |    1655     2726    11070 |    11789     7498    125 |  0.000 % |
198.63/198.77	c |     11342 |    1655     2726    11070 |    12968    11342    127 |  0.000 % |
202.43/202.58	c |     17112 |    1655     2726    11070 |    14265    10485    123 |  0.000 % |
209.22/209.30	c |     25764 |    1655     2726    11070 |    15692    11937    128 |  0.000 % |
218.92/219.04	c |     38738 |    1655     2726    11070 |    17261     8934    137 |  0.000 % |
241.71/241.80	c |     58201 |    1655     2726    11070 |    18987    10903    137 |  0.000 % |
267.51/267.65	c |     87394 |    1655     2726    11070 |    20886    11166    130 |  0.000 % |
313.30/313.45	c |    131186 |    1655     2726    11070 |    22974    12404    147 |  0.000 % |
391.67/391.82	c |    196874 |    1655     2726    11070 |    25272    19940    179 |  0.000 % |
509.73/509.96	c |    295404 |    1655     2726    11070 |    27799    14719    173 |  0.000 % |
724.87/725.17	c |    443194 |    1655     2726    11070 |    30579    14920    156 |  0.000 % |
962.70/963.00	c ===============================================================================
978.89/979.28	c core #8
978.89/979.28	c 
978.89/979.28	c 
978.89/979.28	c Core size: 212	Core Weight: 1	Total Weight: 8
978.89/979.28	c
978.89/979.28	c
978.89/979.28	c ============================[ Search Statistics ]==============================
978.89/979.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
978.89/979.28	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
978.89/979.28	c ===============================================================================
978.89/979.28	c |         0 |    1755     2727    11270 |     5000        0    nan |  0.000 % |
979.09/979.46	c |       102 |    1755     2727    11270 |     5500      102    190 |  0.001 % |
979.09/979.49	c |       253 |    1755     2727    11270 |     6050      253    126 |  0.000 % |
979.19/979.53	c |       478 |    1755     2727    11270 |     6655      478     89 |  0.001 % |
979.19/979.58	c |       815 |    1755     2727    11270 |     7320      815     71 |  0.000 % |
979.29/979.66	c |      1321 |    1755     2727    11270 |     8052     1321     64 |  0.000 % |
979.49/979.80	c |      2081 |    1755     2727    11270 |     8857     2081     57 |  0.000 % |
979.69/980.01	c |      3221 |    1755     2727    11270 |     9743     3221     53 |  0.000 % |
979.99/980.31	c |      4930 |    1755     2727    11270 |    10717     4930     50 |  0.000 % |
980.49/980.87	c |      7492 |    1755     2727    11270 |    11789     7492     47 |  0.000 % |
981.49/981.83	c |     11336 |    1755     2727    11270 |    12968    11336     49 |  0.000 % |
982.99/983.38	c |     17102 |    1755     2727    11270 |    14265    10178     48 |  0.000 % |
985.39/985.76	c |     25751 |    1755     2727    11270 |    15692    11202     49 |  0.000 % |
989.59/989.99	c |     38726 |    1755     2727    11270 |    17261    15903     45 |  0.000 % |
996.38/996.77	c |     58188 |    1755     2727    11270 |    18987    17187     48 |  0.000 % |
1015.18/1015.50	c |     87380 |    1755     2727    11270 |    20886    16920    153 |  0.000 % |
1065.66/1066.01	c |    131179 |    1755     2727    11270 |    22974    17622    232 |  0.000 % |
1181.73/1182.16	c |    196863 |    1755     2727    11270 |    25272    12907    272 |  0.000 % |
1332.08/1332.57	c |    295390 |    1755     2727    11270 |    27799    21502    244 |  0.000 % |
1585.60/1586.11	c |    443179 |    1755     2727    11270 |    30579    18145    257 |  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-2702391-1278565825/watcher-2702391-1278565825 -o /tmp/evaluation-result-2702391-1278565825/solver-2702391-1278565825 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702391-1278565825.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 1.00 0.99 3/106 29906
/proc/meminfo: memFree=1622680/2059040 swapFree=4149284/4192956
[pid=29906] ppid=29904 vsize=2832 CPUtime=0
/proc/29906/stat : 29906 (wbo1.4b) R 29904 29906 29200 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 24788646 2899968 243 1992294400 134512640 135752675 4291222304 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29906/statm: 708 243 140 303 0 381 0

[startup+0.059764 s]
/proc/loadavg: 0.99 1.00 0.99 3/106 29906
/proc/meminfo: memFree=1622680/2059040 swapFree=4149284/4192956
[pid=29906] ppid=29904 vsize=3160 CPUtime=0.05
/proc/29906/stat : 29906 (wbo1.4b) R 29904 29906 29200 0 -1 4202496 457 0 0 0 5 0 0 0 20 0 1 0 24788646 3235840 340 1992294400 134512640 135752675 4291222304 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29906/statm: 790 340 145 303 0 485 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 3160

[startup+0.101768 s]
/proc/loadavg: 0.99 1.00 0.99 3/106 29906
/proc/meminfo: memFree=1622680/2059040 swapFree=4149284/4192956
[pid=29906] ppid=29904 vsize=3292 CPUtime=0.09
/proc/29906/stat : 29906 (wbo1.4b) R 29904 29906 29200 0 -1 4202496 498 0 0 0 9 0 0 0 20 0 1 0 24788646 3371008 381 1992294400 134512640 135752675 4291222304 18446744073709551615 134605486 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29906/statm: 823 381 145 303 0 518 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3292

[startup+0.30179 s]
/proc/loadavg: 0.99 1.00 0.99 3/106 29906
/proc/meminfo: memFree=1622680/2059040 swapFree=4149284/4192956
[pid=29906] ppid=29904 vsize=3816 CPUtime=0.29
/proc/29906/stat : 29906 (wbo1.4b) R 29904 29906 29200 0 -1 4202496 641 0 0 0 28 1 0 0 20 0 1 0 24788646 3907584 524 1992294400 134512640 135752675 4291222304 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29906/statm: 954 524 145 303 0 649 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3816

[startup+0.701836 s]
/proc/loadavg: 0.99 1.00 0.99 3/106 29906
/proc/meminfo: memFree=1622680/2059040 swapFree=4149284/4192956
[pid=29906] ppid=29904 vsize=4872 CPUtime=0.69
/proc/29906/stat : 29906 (wbo1.4b) R 29904 29906 29200 0 -1 4202496 888 0 0 0 67 2 0 0 21 0 1 0 24788646 4988928 771 1992294400 134512640 135752675 4291222304 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29906/statm: 1218 772 145 303 0 913 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4872

[startup+1.50092 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 29907
/proc/meminfo: memFree=1619572/2059040 swapFree=4149284/4192956
[pid=29906] ppid=29904 vsize=6712 CPUtime=1.49
/proc/29906/stat : 29906 (wbo1.4b) R 29904 29906 29200 0 -1 4202496 1361 0 0 0 146 3 0 0 23 0 1 0 24788646 6873088 1244 1992294400 134512640 135752675 4291222304 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29906/statm: 1678 1244 145 303 0 1373 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6712

[startup+3.1011 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 29907
/proc/meminfo: memFree=1616968/2059040 swapFree=4149284/4192956
[pid=29906] ppid=29904 vsize=10144 CPUtime=3.09
/proc/29906/stat : 29906 (wbo1.4b) R 29904 29906 29200 0 -1 4202496 2216 0 0 0 303 6 0 0 25 0 1 0 24788646 10387456 2099 1992294400 134512640 135752675 4291222304 18446744073709551615 134611642 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29906/statm: 2536 2099 145 303 0 2231 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10144

[startup+6.30145 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 29907
/proc/meminfo: memFree=1609900/2059040 swapFree=4149284/4192956
[pid=29906] ppid=29904 vsize=16268 CPUtime=6.29
/proc/29906/stat : 29906 (wbo1.4b) R 29904 29906 29200 0 -1 4202496 3753 0 0 0 617 12 0 0 25 0 1 0 24788646 16658432 3636 1992294400 134512640 135752675 4291222304 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29906/statm: 4067 3636 145 303 0 3762 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16268

[startup+12.7012 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 29907
/proc/meminfo: memFree=1599244/2059040 swapFree=4149284/4192956
[pid=29906] ppid=29904 vsize=26616 CPUtime=12.69
/proc/29906/stat : 29906 (wbo1.4b) R 29904 29906 29200 0 -1 4202496 6329 0 0 0 1249 20 0 0 25 0 1 0 24788646 27254784 6212 1992294400 134512640 135752675 4291222304 18446744073709551615 134605168 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29906/statm: 6654 6212 145 303 0 6349 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26616

[startup+25.5016 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 29907
/proc/meminfo: memFree=1580396/2059040 swapFree=4149284/4192956
[pid=29906] ppid=29904 vsize=44724 CPUtime=25.48
/proc/29906/stat : 29906 (wbo1.4b) R 29904 29906 29200 0 -1 4202496 10840 0 0 0 2508 40 0 0 25 0 1 0 24788646 45797376 10723 1992294400 134512640 135752675 4291222304 18446744073709551615 134611709 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29906/statm: 11181 10723 145 303 0 10876 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 44724

[startup+51.1014 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 29907
/proc/meminfo: memFree=1550016/2059040 swapFree=4149284/4192956
[pid=29906] ppid=29904 vsize=75408 CPUtime=51.07
/proc/29906/stat : 29906 (wbo1.4b) R 29904 29906 29200 0 -1 4202496 18538 0 0 0 5034 73 0 0 25 0 1 0 24788646 77217792 18421 1992294400 134512640 135752675 4291222304 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29906/statm: 18852 18421 145 303 0 18547 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 75408

[startup+102.309 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 29909
/proc/meminfo: memFree=1490992/2059040 swapFree=4149284/4192956
[pid=29906] ppid=29904 vsize=133772 CPUtime=102.27
/proc/29906/stat : 29906 (wbo1.4b) R 29904 29906 29200 0 -1 4202496 33078 0 0 0 10090 137 0 0 25 0 1 0 24788646 136982528 32961 1992294400 134512640 135752675 4291222304 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29906/statm: 33443 32961 145 303 0 33138 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 133772

[startup+162.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 29911
/proc/meminfo: memFree=1433828/2059040 swapFree=4149284/4192956
[pid=29906] ppid=29904 vsize=191300 CPUtime=162.24
/proc/29906/stat : 29906 (wbo1.4b) R 29904 29906 29200 0 -1 4202496 47438 0 0 0 16024 200 0 0 25 0 1 0 24788646 195891200 47321 1992294400 134512640 135752675 4291222304 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29906/statm: 47825 47321 145 303 0 47520 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 191300

[startup+222.301 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 29913
/proc/meminfo: memFree=1395388/2059040 swapFree=4149284/4192956
[pid=29906] ppid=29904 vsize=228920 CPUtime=222.22
/proc/29906/stat : 29906 (wbo1.4b) R 29904 29906 29200 0 -1 4202496 56956 0 0 0 21976 246 0 0 25 0 1 0 24788646 234414080 56808 1992294400 134512640 135752675 4291222304 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29906/statm: 57230 56808 146 303 0 56925 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 228920

[startup+282.301 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 29913
/proc/meminfo: memFree=1355336/2059040 swapFree=4149284/4192956
[pid=29906] ppid=29904 vsize=269464 CPUtime=282.21
/proc/29906/stat : 29906 (wbo1.4b) R 29904 29906 29200 0 -1 4202496 67035 0 0 0 27945 276 0 0 25 0 1 0 24788646 275931136 66887 1992294400 134512640 135752675 4291222304 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29906/statm: 67366 66887 146 303 0 67061 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 269464

[startup+342.302 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 29915
/proc/meminfo: memFree=1318508/2059040 swapFree=4149284/4192956
[pid=29906] ppid=29904 vsize=305784 CPUtime=342.19
/proc/29906/stat : 29906 (wbo1.4b) R 29904 29906 29200 0 -1 4202496 76109 0 0 0 33912 307 0 0 25 0 1 0 24788646 313122816 75961 1992294400 134512640 135752675 4291222304 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29906/statm: 76446 75961 146 303 0 76141 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 305784

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29917
/proc/meminfo: memFree=1279076/2059040 swapFree=4149284/4192956
[pid=29906] ppid=29904 vsize=345456 CPUtime=402.17
/proc/29906/stat : 29906 (wbo1.4b) R 29904 29906 29200 0 -1 4202496 85987 0 0 0 39880 337 0 0 25 0 1 0 24788646 353746944 85839 1992294400 134512640 135752675 4291222304 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29906/statm: 86364 85839 146 303 0 86059 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 345456

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29919
/proc/meminfo: memFree=1238776/2059040 swapFree=4149284/4192956
[pid=29906] ppid=29904 vsize=385672 CPUtime=462.15
/proc/29906/stat : 29906 (wbo1.4b) R 29904 29906 29200 0 -1 4202496 96005 0 0 0 45848 367 0 0 25 0 1 0 24788646 394928128 95857 1992294400 134512640 135752675 4291222304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29906/statm: 96418 95857 146 303 0 96113 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 385672

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29921
/proc/meminfo: memFree=1196244/2059040 swapFree=4149284/4192956
[pid=29906] ppid=29904 vsize=428260 CPUtime=522.12
/proc/29906/stat : 29906 (wbo1.4b) R 29904 29906 29200 0 -1 4202496 106632 0 0 0 51808 404 0 0 25 0 1 0 24788646 438538240 106484 1992294400 134512640 135752675 4291222304 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29906/statm: 107065 106484 146 303 0 106760 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 428260

[startup+582.301 s]
/proc/loadavg: 1.08 1.02 1.01 2/107 29924
/proc/meminfo: memFree=1165120/2059040 swapFree=4149284/4192956
[pid=29906] ppid=29904 vsize=458792 CPUtime=582.11
/proc/29906/stat : 29906 (wbo1.4b) R 29904 29906 29200 0 -1 4202496 114217 0 0 0 57781 430 0 0 25 0 1 0 24788646 469803008 114069 1992294400 134512640 135752675 4291222304 18446744073709551615 134611804 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29906/statm: 114698 114069 146 303 0 114393 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 458792

[startup+642.302 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 29926
/proc/meminfo: memFree=1134120/2059040 swapFree=4149284/4192956
[pid=29906] ppid=29904 vsize=489500 CPUtime=642.1
/proc/29906/stat : 29906 (wbo1.4b) R 29904 29906 29200 0 -1 4202496 121879 0 0 0 63755 455 0 0 25 0 1 0 24788646 501248000 121731 1992294400 134512640 135752675 4291222304 18446744073709551615 134611709 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29906/statm: 122375 121731 146 303 0 122070 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 489500

[startup+702.302 s]

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

[startup+882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29932
/proc/meminfo: memFree=990404/2059040 swapFree=4149284/4192956
[pid=29906] ppid=29904 vsize=633100 CPUtime=882.01
/proc/29906/stat : 29906 (wbo1.4b) R 29904 29906 29200 0 -1 4202496 157724 0 0 0 87633 568 0 0 25 0 1 0 24788646 648294400 157576 1992294400 134512640 135752675 4291222304 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29906/statm: 158275 157576 146 303 0 157970 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 633100

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29934
/proc/meminfo: memFree=956552/2059040 swapFree=4149284/4192956
[pid=29906] ppid=29904 vsize=667300 CPUtime=942
/proc/29906/stat : 29906 (wbo1.4b) R 29904 29906 29200 0 -1 4202496 166265 0 0 0 93608 592 0 0 25 0 1 0 24788646 683315200 166117 1992294400 134512640 135752675 4291222304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29906/statm: 166825 166117 146 303 0 166520 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 667300

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29936
/proc/meminfo: memFree=925800/2059040 swapFree=4149284/4192956
[pid=29906] ppid=29904 vsize=697336 CPUtime=1001.98
/proc/29906/stat : 29906 (wbo1.4b) R 29904 29906 29200 0 -1 4202496 173791 0 0 0 99573 625 0 0 25 0 1 0 24788646 714072064 173643 1992294400 134512640 135752675 4291222304 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29906/statm: 174334 173643 146 303 0 174029 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 697336

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29938
/proc/meminfo: memFree=904720/2059040 swapFree=4149284/4192956
[pid=29906] ppid=29904 vsize=718208 CPUtime=1061.97
/proc/29906/stat : 29906 (wbo1.4b) R 29904 29906 29200 0 -1 4202496 179270 0 0 0 105542 655 0 0 25 0 1 0 24788646 735444992 179122 1992294400 134512640 135752675 4291222304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29906/statm: 179552 179122 146 303 0 179247 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 718208

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29940
/proc/meminfo: memFree=862808/2059040 swapFree=4149284/4192956
[pid=29906] ppid=29904 vsize=759664 CPUtime=1121.95
/proc/29906/stat : 29906 (wbo1.4b) R 29904 29906 29200 0 -1 4202496 189597 0 0 0 111512 683 0 0 25 0 1 0 24788646 777895936 189449 1992294400 134512640 135752675 4291222304 18446744073709551615 134611798 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29906/statm: 189916 189449 146 303 0 189611 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 759664

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29940
/proc/meminfo: memFree=828584/2059040 swapFree=4149284/4192956
[pid=29906] ppid=29904 vsize=794616 CPUtime=1181.93
/proc/29906/stat : 29906 (wbo1.4b) R 29904 29906 29200 0 -1 4202496 198334 0 0 0 117488 705 0 0 25 0 1 0 24788646 813686784 198186 1992294400 134512640 135752675 4291222304 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29906/statm: 198654 198186 146 303 0 198349 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 794616

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29942
/proc/meminfo: memFree=789276/2059040 swapFree=4149284/4192956
[pid=29906] ppid=29904 vsize=833460 CPUtime=1241.91
/proc/29906/stat : 29906 (wbo1.4b) R 29904 29906 29200 0 -1 4202496 208007 0 0 0 123460 731 0 0 25 0 1 0 24788646 853463040 207859 1992294400 134512640 135752675 4291222304 18446744073709551615 134638016 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29906/statm: 208365 207859 146 303 0 208060 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 833460

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29944
/proc/meminfo: memFree=743892/2059040 swapFree=4149284/4192956
[pid=29906] ppid=29904 vsize=878352 CPUtime=1301.9
/proc/29906/stat : 29906 (wbo1.4b) R 29904 29906 29200 0 -1 4202496 219229 0 0 0 129431 759 0 0 25 0 1 0 24788646 899432448 219081 1992294400 134512640 135752675 4291222304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29906/statm: 219588 219081 146 303 0 219283 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 878352

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29946
/proc/meminfo: memFree=709544/2059040 swapFree=4149284/4192956
[pid=29906] ppid=29904 vsize=913028 CPUtime=1361.87
/proc/29906/stat : 29906 (wbo1.4b) R 29904 29906 29200 0 -1 4202496 227869 0 0 0 135406 781 0 0 25 0 1 0 24788646 934940672 227721 1992294400 134512640 135752675 4291222304 18446744073709551615 134611750 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29906/statm: 228257 227721 146 303 0 227952 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 913028

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29948
/proc/meminfo: memFree=668128/2059040 swapFree=4149284/4192956
[pid=29906] ppid=29904 vsize=954600 CPUtime=1421.86
/proc/29906/stat : 29906 (wbo1.4b) R 29904 29906 29200 0 -1 4202496 238226 0 0 0 141382 804 0 0 25 0 1 0 24788646 977510400 238078 1992294400 134512640 135752675 4291222304 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29906/statm: 238650 238078 146 303 0 238345 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 954600

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29948
/proc/meminfo: memFree=633036/2059040 swapFree=4149284/4192956
[pid=29906] ppid=29904 vsize=989792 CPUtime=1481.83
/proc/29906/stat : 29906 (wbo1.4b) R 29904 29906 29200 0 -1 4202496 247027 0 0 0 147356 827 0 0 25 0 1 0 24788646 1013547008 246879 1992294400 134512640 135752675 4291222304 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29906/statm: 247448 246879 146 303 0 247143 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 989792

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29950
/proc/meminfo: memFree=598316/2059040 swapFree=4149284/4192956
[pid=29906] ppid=29904 vsize=1024432 CPUtime=1541.81
/proc/29906/stat : 29906 (wbo1.4b) R 29904 29906 29200 0 -1 4202496 255669 0 0 0 153333 848 0 0 25 0 1 0 24788646 1049018368 255521 1992294400 134512640 135752675 4291222304 18446744073709551615 134611798 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29906/statm: 256108 255521 146 303 0 255803 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1024432

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29952
/proc/meminfo: memFree=554792/2059040 swapFree=4149284/4192956
[pid=29906] ppid=29904 vsize=1068084 CPUtime=1601.79
/proc/29906/stat : 29906 (wbo1.4b) R 29904 29906 29200 0 -1 4202496 266554 0 0 0 159302 877 0 0 25 0 1 0 24788646 1093718016 266406 1992294400 134512640 135752675 4291222304 18446744073709551615 134612130 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29906/statm: 267021 266406 146 303 0 266716 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1068084

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29954
/proc/meminfo: memFree=514864/2059040 swapFree=4149284/4192956
[pid=29906] ppid=29904 vsize=1107836 CPUtime=1661.76
/proc/29906/stat : 29906 (wbo1.4b) R 29904 29906 29200 0 -1 4202496 276491 0 0 0 165273 903 0 0 25 0 1 0 24788646 1134424064 276343 1992294400 134512640 135752675 4291222304 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29906/statm: 276959 276343 146 303 0 276654 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1107836

[startup+1722.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 29956
/proc/meminfo: memFree=479772/2059040 swapFree=4149284/4192956
[pid=29906] ppid=29904 vsize=1143208 CPUtime=1721.75
/proc/29906/stat : 29906 (wbo1.4b) R 29904 29906 29200 0 -1 4202496 285305 0 0 0 171251 924 0 0 25 0 1 0 24788646 1170644992 285157 1992294400 134512640 135752675 4291222304 18446744073709551615 134611809 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29906/statm: 285802 285157 146 303 0 285497 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 1143208

[startup+1782.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 29956
/proc/meminfo: memFree=432280/2059040 swapFree=4149284/4192956
[pid=29906] ppid=29904 vsize=1190172 CPUtime=1781.73
/proc/29906/stat : 29906 (wbo1.4b) R 29904 29906 29200 0 -1 4202496 297058 0 0 0 177225 948 0 0 25 0 1 0 24788646 1218736128 296910 1992294400 134512640 135752675 4291222304 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29906/statm: 297543 296910 146 303 0 297238 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 1190172



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 29958
/proc/meminfo: memFree=415292/2059040 swapFree=4149284/4192956
[pid=29906] ppid=29904 vsize=1206900 CPUtime=1800.04
/proc/29906/stat : 29906 (wbo1.4b) R 29904 29906 29200 0 -1 4202496 301207 0 0 0 179048 956 0 0 25 0 1 0 24788646 1235865600 301059 1992294400 134512640 135752675 4291222304 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29906/statm: 301725 301059 146 303 0 301420 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1206900

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.01 1.00 1.00 2/107 29958
/proc/meminfo: memFree=415292/2059040 swapFree=4149284/4192956
[pid=29906] ppid=29904 vsize=0 CPUtime=1800.14
/proc/29906/stat : 29906 (wbo1.4b) R 29904 29906 29200 0 -1 4203524 301207 0 0 0 179048 966 0 0 25 0 1 0 24788646 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/29906/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.73
CPU time (s): 1800.16
CPU user time (s): 1790.49
CPU system time (s): 9.67153
CPU usage (%): 99.9685
Max. virtual memory (cumulated for all children) (KiB): 1206900

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

runsolver used 2.86256 second user time and 8.62669 second system time

The end

Launcher Data 

Begin job on node059 at 2010-07-08 07:10:25
IDJOB=2702391
IDBENCH=48130
IDSOLVER=1190
FILE ID=node059/2702391-1278565825
PBS_JOBID= 11239572
Free space on /tmp= 62556 MiB

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

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

MD5SUM BENCH= e6ef25c6f832d5fe55af9368c1298b73
RANDOM SEED=1331295995

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.255
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1623456 kB
Buffers:         63332 kB
Cached:         232944 kB
SwapCached:      20404 kB
Active:         166288 kB
Inactive:       181128 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1623456 kB
SwapTotal:     4192956 kB
SwapFree:      4149284 kB
Dirty:            2624 kB
Writeback:           0 kB
AnonPages:       32244 kB
Mapped:          12356 kB
Slab:            66044 kB
PageTables:       4172 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   197644 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-2702391-1278565825.opb

Free space on /tmp at the end= 62552 MiB
End job on node059 at 2010-07-08 07:40:28