Trace number 2702449

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.22 1800.66

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_25_5.opb
MD5SUM65a3c38bd8963c911b96c745ee468cb1
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark456.345
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5
Optimality of the best value was proved YES
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 constraint26
Maximum length of a constraint40
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)3062
Sum of products size (including duplicates)6124
Number of different products3062
Sum of products size6124

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-2702449-1278567662.opb.
0.00/0.00	c Instance file HOME/instance-2702449-1278567662.opb
0.00/0.00	c File size is 218884 bytes.
0.00/0.04	c Highest Coefficient sum: 41
0.00/0.04	c ============================[ Problem Statistics ]=============================
0.00/0.04	c |                                                                             |
0.00/0.04	c |  Parsing time:          0.04         s                                      |
0.00/0.04	c |  Number Variables:      3162                                                |
0.00/0.04	c |  Number Clauses:        3162                                                |
0.00/0.04	c |  Number Cardinality:    0                                                   |
0.00/0.04	c |  Number PB Constraints: 3062                                                |
0.00/0.04	c ============================[ Search Statistics ]==============================
0.00/0.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.04	c ===============================================================================
0.00/0.04	c |         0 |    3162     6224    21534 |     5000        0    nan |  0.000 % |
0.00/0.05	c ===============================================================================
0.00/0.05	c New solution: 99
0.00/0.05	o 99
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 |    3162     6225    21634 |     5000        0    nan |  0.000 % |
0.00/0.05	c ===============================================================================
0.00/0.05	c New solution: 98
0.00/0.05	o 98
0.00/0.05	c Elapsed CPU time: 0.049992 s	Remaining CPU time: 179.95 s
0.00/0.05	c ===============================================================================
0.00/0.05	c |         0 |    3162     6226    21734 |     5000        0    nan |  0.000 % |
0.00/0.05	c ===============================================================================
0.00/0.05	c New solution: 97
0.00/0.05	o 97
0.00/0.05	c Elapsed CPU time: 0.051992 s	Remaining CPU time: 179.948 s
0.00/0.05	c ===============================================================================
0.00/0.05	c |         0 |    3162     6227    21834 |     5000        0    nan |  0.000 % |
0.00/0.05	c ===============================================================================
0.00/0.05	c New solution: 95
0.00/0.05	o 95
0.00/0.05	c Elapsed CPU time: 0.053991 s	Remaining CPU time: 179.946 s
0.00/0.05	c ===============================================================================
0.00/0.05	c |         0 |    3162     6228    21934 |     5000        0    nan |  0.000 % |
0.00/0.05	c ===============================================================================
0.00/0.05	c New solution: 48
0.00/0.05	o 48
0.00/0.05	c Elapsed CPU time: 0.056991 s	Remaining CPU time: 179.943 s
0.00/0.05	c ===============================================================================
0.00/0.05	c |         0 |    3162     6229    22034 |     5000        0    nan |  0.000 % |
0.00/0.06	c ===============================================================================
0.00/0.06	c New solution: 47
0.00/0.06	o 47
0.00/0.06	c Elapsed CPU time: 0.058991 s	Remaining CPU time: 179.941 s
0.00/0.06	c ===============================================================================
0.00/0.06	c |         0 |    3162     6230    22134 |     5000        0    nan |  0.000 % |
0.00/0.06	c ===============================================================================
0.00/0.06	c New solution: 46
0.00/0.06	o 46
0.00/0.06	c Elapsed CPU time: 0.06099 s	Remaining CPU time: 179.939 s
0.00/0.06	c ===============================================================================
0.00/0.06	c |         0 |    3162     6231    22234 |     5000        0    nan |  0.000 % |
0.00/0.06	c ===============================================================================
0.00/0.06	c New solution: 45
0.00/0.06	o 45
0.00/0.06	c Elapsed CPU time: 0.06399 s	Remaining CPU time: 179.936 s
0.00/0.06	c ===============================================================================
0.00/0.06	c |         0 |    3162     6232    22334 |     5000        0    nan |  0.000 % |
0.00/0.06	c ===============================================================================
0.00/0.06	c New solution: 44
0.00/0.06	o 44
0.00/0.06	c Elapsed CPU time: 0.065989 s	Remaining CPU time: 179.934 s
0.00/0.06	c ===============================================================================
0.00/0.06	c |         0 |    3162     6233    22434 |     5000        0    nan |  0.000 % |
0.00/0.07	c ===============================================================================
0.00/0.07	c New solution: 43
0.00/0.07	o 43
0.00/0.07	c Elapsed CPU time: 0.067989 s	Remaining CPU time: 179.932 s
0.00/0.07	c ===============================================================================
0.00/0.07	c |         0 |    3162     6234    22534 |     5000        0    nan |  0.000 % |
0.00/0.07	c ===============================================================================
0.00/0.07	c New solution: 42
0.00/0.07	o 42
0.00/0.07	c Elapsed CPU time: 0.070989 s	Remaining CPU time: 179.929 s
0.00/0.07	c ===============================================================================
0.00/0.07	c |         0 |    3162     6235    22634 |     5000        0    nan |  0.000 % |
0.00/0.07	c ===============================================================================
0.00/0.07	c New solution: 41
0.00/0.07	o 41
0.00/0.07	c Elapsed CPU time: 0.072988 s	Remaining CPU time: 179.927 s
0.00/0.07	c ===============================================================================
0.00/0.07	c |         0 |    3162     6236    22734 |     5000        0    nan |  0.000 % |
0.00/0.07	c ===============================================================================
0.00/0.07	c New solution: 40
0.00/0.07	o 40
0.00/0.07	c Elapsed CPU time: 0.074988 s	Remaining CPU time: 179.925 s
0.00/0.07	c ===============================================================================
0.00/0.07	c |         0 |    3162     6237    22834 |     5000        0    nan |  0.000 % |
0.00/0.08	c ===============================================================================
0.00/0.08	c New solution: 39
0.00/0.08	o 39
0.00/0.08	c Elapsed CPU time: 0.076988 s	Remaining CPU time: 179.923 s
0.00/0.08	c ===============================================================================
0.00/0.08	c |         0 |    3162     6238    22934 |     5000        0    nan |  0.000 % |
0.00/0.08	c ===============================================================================
0.00/0.08	c New solution: 31
0.00/0.08	o 31
0.00/0.08	c Elapsed CPU time: 0.078987 s	Remaining CPU time: 179.921 s
0.00/0.08	c ===============================================================================
0.00/0.08	c |         1 |    3162     6239    23034 |     5000        1     39 |  0.000 % |
0.00/0.08	c ===============================================================================
0.00/0.08	c New solution: 8
0.00/0.08	o 8
0.00/0.08	c Elapsed CPU time: 0.081987 s	Remaining CPU time: 179.918 s
0.00/0.08	c ===============================================================================
0.00/0.08	c |         1 |    3162     6240    23134 |     5000        1     39 |  0.000 % |
0.00/0.10	c |       101 |    3162     6240    23134 |     5500      101     87 |  0.000 % |
0.10/0.11	c ===============================================================================
0.10/0.11	c New solution: 7
0.10/0.11	o 7
0.10/0.11	c Elapsed CPU time: 0.107983 s	Remaining CPU time: 179.892 s
0.10/0.11	c ===============================================================================
0.10/0.11	c |       155 |    3162     6241    23234 |     5000      155     98 |  0.000 % |
0.10/0.13	c |       257 |    3162     6241    23234 |     5500      257    101 |  0.000 % |
0.10/0.15	c |       408 |    3162     6241    23234 |     6050      408    100 |  0.000 % |
0.19/0.20	c |       636 |    3162     6241    23234 |     6655      636     98 |  0.000 % |
0.19/0.27	c |       975 |    3162     6241    23234 |     7320      975     90 |  0.000 % |
0.29/0.38	c |      1483 |    3162     6241    23234 |     8052     1483     94 |  0.000 % |
0.49/0.54	c |      2242 |    3162     6241    23234 |     8857     2242     97 |  0.000 % |
0.69/0.76	c |      3383 |    3162     6241    23234 |     9743     3383    100 |  0.000 % |
1.10/1.13	c |      5094 |    3162     6241    23234 |    10717     5094    105 |  0.000 % |
1.69/1.70	c |      7657 |    3162     6241    23234 |    11789     7657    115 |  0.000 % |
2.69/2.71	c |     11501 |    3162     6241    23234 |    12968    11501    125 |  0.000 % |
4.29/4.37	c |     17268 |    3162     6241    23234 |    14265     9637    129 |  0.000 % |
7.08/7.14	c |     25917 |    3162     6241    23234 |    15692    10045    120 |  0.000 % |
11.29/11.33	c |     38894 |    3162     6241    23234 |    17261    13993    126 |  0.000 % |
17.59/17.68	c ===============================================================================
17.59/17.68	c New solution: 6
17.59/17.68	o 6
17.59/17.68	c Elapsed CPU time: 17.4773 s	Remaining CPU time: 162.523 s
17.59/17.68	c ===============================================================================
17.59/17.68	c |     57245 |    3162     6242    23334 |     5000    12909    131 |  0.000 % |
17.70/17.74	c |     57347 |    3162     6242    23334 |     5500     3330    102 |  0.000 % |
17.70/17.78	c |     57498 |    3162     6242    23334 |     6050     3481    102 |  0.000 % |
17.79/17.83	c |     57723 |    3162     6242    23334 |     6655     3706    101 |  0.000 % |
17.89/17.90	c |     58060 |    3162     6242    23334 |     7320     4043    101 |  0.000 % |
17.98/18.02	c |     58571 |    3162     6242    23334 |     8052     4554    101 |  0.000 % |
18.19/18.24	c |     59333 |    3162     6242    23334 |     8857     5316    110 |  0.000 % |
18.49/18.52	c |     60472 |    3162     6242    23334 |     9743     6455    108 |  0.000 % |
18.88/18.94	c |     62181 |    3162     6242    23334 |    10717     8164    109 |  0.000 % |
19.69/19.74	c |     64745 |    3162     6242    23334 |    11789    10728    107 |  0.000 % |
20.89/21.00	c |     68590 |    3162     6242    23334 |    12968     7712    112 |  0.000 % |
22.79/22.84	c |     74358 |    3162     6242    23334 |    14265    13480    141 |  0.000 % |
25.59/25.65	c |     83007 |    3162     6242    23334 |    15692    13918    145 |  0.000 % |
30.59/30.61	c |     95982 |    3162     6242    23334 |    17261     9337    126 |  0.000 % |
38.08/38.16	c |    115445 |    3162     6242    23334 |    18987    19190    170 |  0.000 % |
50.68/50.75	c |    144640 |    3162     6242    23334 |    20886    17805    254 |  0.000 % |
71.07/71.11	c |    188430 |    3162     6242    23334 |    22974    14179    185 |  0.000 % |
103.87/103.97	c |    254114 |    3162     6242    23334 |    25272    24517    178 |  0.000 % |
151.45/151.52	c |    352640 |    3162     6242    23334 |    27799    13087    106 |  0.000 % |
181.65/181.74	c There are 0 assigned variables. 0 in cost function.
182.14/182.25	c core #1
182.14/182.25	c 
182.14/182.25	c 
182.14/182.25	c Core size: 52	Core Weight: 1	Total Weight: 1
182.14/182.25	c
182.14/182.25	c
182.14/182.25	c ============================[ Search Statistics ]==============================
182.14/182.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.14/182.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.14/182.25	c ===============================================================================
182.14/182.25	c |         0 |     850     6343    15120 |     5000        0    nan |  0.000 % |
182.14/182.25	c ===============================================================================
182.14/182.28	c core #2
182.14/182.28	c 
182.14/182.28	c 
182.14/182.28	c Core size: 200	Core Weight: 1	Total Weight: 2
182.14/182.28	c
182.14/182.28	c
182.14/182.28	c ============================[ Search Statistics ]==============================
182.14/182.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.14/182.28	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.14/182.28	c ===============================================================================
182.14/182.28	c |         0 |    2948     6344    22303 |     5000        0    nan |  0.000 % |
182.24/182.32	c |       102 |    2948     6344    22303 |     5500      102    154 |  9.930 % |
182.44/182.50	c ===============================================================================
182.44/182.53	c core #3
182.44/182.53	c 
182.44/182.53	c 
182.44/182.53	c Core size: 297	Core Weight: 1	Total Weight: 3
182.44/182.53	c
182.44/182.53	c
182.44/182.53	c ============================[ Search Statistics ]==============================
182.44/182.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.44/182.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.44/182.53	c ===============================================================================
182.44/182.53	c |         0 |    3373     6345    23856 |     5000        0    nan |  0.000 % |
182.44/182.59	c |       100 |    3373     6345    23856 |     5500      100    190 |  0.000 % |
182.54/182.68	c |       250 |    3373     6345    23856 |     6050      250    174 |  0.000 % |
182.75/182.81	c |       476 |    3373     6345    23856 |     6655      476    215 |  0.000 % |
182.95/183.04	c |       819 |    3373     6345    23856 |     7320      819    258 |  0.000 % |
183.35/183.45	c |      1325 |    3373     6345    23856 |     8052     1325    242 |  0.000 % |
183.95/184.01	c |      2084 |    3373     6345    23856 |     8857     2084    251 |  0.000 % |
184.94/185.07	c |      3224 |    3373     6345    23856 |     9743     3224    276 |  0.000 % |
187.15/187.29	c |      4932 |    3373     6345    23856 |    10717     4932    325 |  0.000 % |
190.25/190.35	c |      7496 |    3373     6345    23856 |    11789     7496    321 |  0.000 % |
195.85/195.99	c |     11341 |    3373     6345    23856 |    12968    11341    315 |  0.000 % |
202.34/202.41	c |     17107 |    3373     6345    23856 |    14265     9997    316 |  0.000 % |
207.24/207.34	c |     25759 |    3373     6345    23856 |    15692    10534    247 |  0.000 % |
215.34/215.43	c |     38737 |    3373     6345    23856 |    17261    14696    206 |  0.000 % |
229.44/229.50	c |     58198 |    3373     6345    23856 |    18987    14803    213 |  0.000 % |
255.13/255.29	c |     87392 |    3373     6345    23856 |    20886    13417    170 |  0.000 % |
290.72/290.86	c |    131182 |    3373     6345    23856 |    22974    21862    318 |  0.000 % |
346.30/346.41	c |    196866 |    3373     6345    23856 |    25272    20074    149 |  0.000 % |
436.88/437.03	c |    295393 |    3373     6345    23856 |    27799    26034    169 |  0.000 % |
566.86/567.08	c |    443183 |    3373     6345    23856 |    30579    13274    264 |  0.000 % |
621.75/621.92	c ===============================================================================
623.65/623.85	c core #4
623.65/623.85	c 
623.65/623.85	c 
623.65/623.85	c Core size: 101	Core Weight: 1	Total Weight: 4
623.65/623.85	c
623.65/623.85	c
623.65/623.85	c ============================[ Search Statistics ]==============================
623.65/623.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
623.65/623.85	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
623.65/623.85	c ===============================================================================
623.65/623.85	c |         0 |    3473     6346    24056 |     5000        0    nan |  0.000 % |
623.74/623.97	c |       105 |    3473     6346    24056 |     5500      105    167 |  0.000 % |
623.84/624.00	c |       256 |    3473     6346    24056 |     6050      256    142 |  0.000 % |
623.84/624.06	c |       481 |    3473     6346    24056 |     6655      481    117 |  0.000 % |
623.94/624.14	c |       819 |    3473     6346    24056 |     7320      819    107 |  0.000 % |
624.05/624.26	c |      1325 |    3473     6346    24056 |     8052     1325    102 |  0.000 % |
624.24/624.46	c |      2086 |    3473     6346    24056 |     8857     2086    100 |  0.000 % |
624.54/624.79	c |      3227 |    3473     6346    24056 |     9743     3227     98 |  0.000 % |
625.14/625.35	c |      4937 |    3473     6346    24056 |    10717     4937     94 |  0.000 % |
626.04/626.22	c |      7500 |    3473     6346    24056 |    11789     7500     92 |  0.000 % |
627.44/627.68	c |     11346 |    3473     6346    24056 |    12968    11346     90 |  0.000 % |
630.03/630.24	c |     17115 |    3473     6346    24056 |    14265     9594     88 |  0.000 % |
633.55/633.76	c |     25765 |    3473     6346    24056 |    15692    10088     96 |  0.000 % |
638.73/638.98	c |     38745 |    3473     6346    24056 |    17261    14385     84 |  0.000 % |
646.93/647.18	c |     58207 |    3473     6346    24056 |    18987    14549     94 |  0.000 % |
660.54/660.75	c |     87400 |    3473     6346    24056 |    20886    12051     87 |  0.000 % |
682.12/682.35	c |    131189 |    3473     6346    24056 |    22974    20760     92 |  0.000 % |
714.83/715.05	c |    196874 |    3473     6346    24056 |    25272    16633     91 |  0.000 % |
767.51/767.74	c |    295400 |    3473     6346    24056 |    27799    20446     91 |  0.000 % |
848.29/848.54	c |    443190 |    3473     6346    24056 |    30579    20342     93 |  0.000 % |
979.05/979.34	c |    664876 |    3473     6346    24056 |    33637    12269     99 |  0.000 % |
1177.31/1177.67	c |    997401 |    3473     6346    24056 |    37001    33057     87 |  0.000 % |
1495.32/1495.76	c |   1496192 |    3473     6346    24056 |    40701    15277     90 |  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-2702449-1278567662/watcher-2702449-1278567662 -o /tmp/evaluation-result-2702449-1278567662/solver-2702449-1278567662 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702449-1278567662.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.00 1.00 1.00 3/106 309
/proc/meminfo: memFree=1686680/2059040 swapFree=4141912/4192956
[pid=309] ppid=307 vsize=2792 CPUtime=0
/proc/309/stat : 309 (wbo1.4b) R 307 309 32440 0 -1 4202496 285 0 0 0 0 0 0 0 18 0 1 0 24972568 2859008 204 1992294400 134512640 135752675 4292562016 18446744073709551615 135229087 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/309/statm: 698 207 131 303 0 339 0

[startup+0.109121 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 309
/proc/meminfo: memFree=1686680/2059040 swapFree=4141912/4192956
[pid=309] ppid=307 vsize=3852 CPUtime=0.1
/proc/309/stat : 309 (wbo1.4b) R 307 309 32440 0 -1 4202496 725 0 0 0 10 0 0 0 20 0 1 0 24972568 3944448 516 1992294400 134512640 135752675 4292562016 18446744073709551615 134612086 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/309/statm: 963 517 145 303 0 658 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3852

[startup+0.201129 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 309
/proc/meminfo: memFree=1686680/2059040 swapFree=4141912/4192956
[pid=309] ppid=307 vsize=4116 CPUtime=0.19
/proc/309/stat : 309 (wbo1.4b) R 307 309 32440 0 -1 4202496 789 0 0 0 19 0 0 0 20 0 1 0 24972568 4214784 580 1992294400 134512640 135752675 4292562016 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/309/statm: 1029 580 145 303 0 724 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 4116

[startup+0.301138 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 309
/proc/meminfo: memFree=1686680/2059040 swapFree=4141912/4192956
[pid=309] ppid=307 vsize=4248 CPUtime=0.29
/proc/309/stat : 309 (wbo1.4b) R 307 309 32440 0 -1 4202496 843 0 0 0 28 1 0 0 20 0 1 0 24972568 4349952 634 1992294400 134512640 135752675 4292562016 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/309/statm: 1062 634 145 303 0 757 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4248

[startup+0.701173 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 309
/proc/meminfo: memFree=1686680/2059040 swapFree=4141912/4192956
[pid=309] ppid=307 vsize=5436 CPUtime=0.69
/proc/309/stat : 309 (wbo1.4b) R 307 309 32440 0 -1 4202496 1116 0 0 0 68 1 0 0 20 0 1 0 24972568 5566464 907 1992294400 134512640 135752675 4292562016 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/309/statm: 1359 907 145 303 0 1054 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5436

[startup+1.50124 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 310
/proc/meminfo: memFree=1682828/2059040 swapFree=4141912/4192956
[pid=309] ppid=307 vsize=7680 CPUtime=1.49
/proc/309/stat : 309 (wbo1.4b) R 307 309 32440 0 -1 4202496 1700 0 0 0 147 2 0 0 23 0 1 0 24972568 7864320 1491 1992294400 134512640 135752675 4292562016 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/309/statm: 1920 1491 145 303 0 1615 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7680

[startup+3.10138 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 310
/proc/meminfo: memFree=1679480/2059040 swapFree=4141912/4192956
[pid=309] ppid=307 vsize=11904 CPUtime=3.09
/proc/309/stat : 309 (wbo1.4b) R 307 309 32440 0 -1 4202496 2742 0 0 0 306 3 0 0 25 0 1 0 24972568 12189696 2533 1992294400 134512640 135752675 4292562016 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/309/statm: 2976 2533 145 303 0 2671 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11904

[startup+6.30066 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 310
/proc/meminfo: memFree=1671916/2059040 swapFree=4141912/4192956
[pid=309] ppid=307 vsize=18372 CPUtime=6.29
/proc/309/stat : 309 (wbo1.4b) R 307 309 32440 0 -1 4202496 4347 0 0 0 622 7 0 0 25 0 1 0 24972568 18812928 4138 1992294400 134512640 135752675 4292562016 18446744073709551615 134616086 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/309/statm: 4593 4138 145 303 0 4288 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18372

[startup+12.7002 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 310
/proc/meminfo: memFree=1659392/2059040 swapFree=4141912/4192956
[pid=309] ppid=307 vsize=30316 CPUtime=12.69
/proc/309/stat : 309 (wbo1.4b) R 307 309 32440 0 -1 4202496 7350 0 0 0 1255 14 0 0 25 0 1 0 24972568 31043584 7141 1992294400 134512640 135752675 4292562016 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/309/statm: 7579 7141 145 303 0 7274 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 30316

[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 310
/proc/meminfo: memFree=1633848/2059040 swapFree=4141912/4192956
[pid=309] ppid=307 vsize=55284 CPUtime=25.49
/proc/309/stat : 309 (wbo1.4b) R 307 309 32440 0 -1 4202496 13586 0 0 0 2519 30 0 0 25 0 1 0 24972568 56610816 13377 1992294400 134512640 135752675 4292562016 18446744073709551615 134605363 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/309/statm: 13821 13377 145 303 0 13516 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 55284

[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 312
/proc/meminfo: memFree=1580776/2059040 swapFree=4141912/4192956
[pid=309] ppid=307 vsize=109020 CPUtime=51.08
/proc/309/stat : 309 (wbo1.4b) R 307 309 32440 0 -1 4202496 27006 0 0 0 5055 53 0 0 25 0 1 0 24972568 111636480 26797 1992294400 134512640 135752675 4292562016 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/309/statm: 27255 26797 145 303 0 26950 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 109020

[startup+102.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 312
/proc/meminfo: memFree=1476864/2059040 swapFree=4141912/4192956
[pid=309] ppid=307 vsize=211472 CPUtime=102.27
/proc/309/stat : 309 (wbo1.4b) R 307 309 32440 0 -1 4202496 52629 0 0 0 10128 99 0 0 25 0 1 0 24972568 216547328 52420 1992294400 134512640 135752675 4292562016 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/309/statm: 52868 52420 145 303 0 52563 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 211472

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 314
/proc/meminfo: memFree=1390808/2059040 swapFree=4141912/4192956
[pid=309] ppid=307 vsize=298176 CPUtime=162.25
/proc/309/stat : 309 (wbo1.4b) R 307 309 32440 0 -1 4202496 74296 0 0 0 16072 153 0 0 25 0 1 0 24972568 305332224 74087 1992294400 134512640 135752675 4292562016 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/309/statm: 74544 74087 145 303 0 74239 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 298176

[startup+222.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 316
/proc/meminfo: memFree=1330420/2059040 swapFree=4141912/4192956
[pid=309] ppid=307 vsize=357572 CPUtime=222.25
/proc/309/stat : 309 (wbo1.4b) R 307 309 32440 0 -1 4202496 89194 0 0 0 22032 193 0 0 25 0 1 0 24972568 366153728 88955 1992294400 134512640 135752675 4292562016 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/309/statm: 89393 88955 146 303 0 89088 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 357572

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 318
/proc/meminfo: memFree=1262592/2059040 swapFree=4141912/4192956
[pid=309] ppid=307 vsize=427292 CPUtime=282.22
/proc/309/stat : 309 (wbo1.4b) R 307 309 32440 0 -1 4202496 106634 0 0 0 27982 240 0 0 25 0 1 0 24972568 437547008 106395 1992294400 134512640 135752675 4292562016 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/309/statm: 106823 106395 146 303 0 106518 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 427292

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 320
/proc/meminfo: memFree=1205676/2059040 swapFree=4141912/4192956
[pid=309] ppid=307 vsize=482040 CPUtime=342.21
/proc/309/stat : 309 (wbo1.4b) R 307 309 32440 0 -1 4202496 120317 0 0 0 33936 285 0 0 25 0 1 0 24972568 493608960 120078 1992294400 134512640 135752675 4292562016 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/309/statm: 120510 120078 146 303 0 120205 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 482040

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 320
/proc/meminfo: memFree=1155704/2059040 swapFree=4141912/4192956
[pid=309] ppid=307 vsize=532888 CPUtime=402.19
/proc/309/stat : 309 (wbo1.4b) R 307 309 32440 0 -1 4202496 133017 0 0 0 39895 324 0 0 25 0 1 0 24972568 545677312 132778 1992294400 134512640 135752675 4292562016 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/309/statm: 133222 132778 146 303 0 132917 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 532888

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 322
/proc/meminfo: memFree=1106476/2059040 swapFree=4141912/4192956
[pid=309] ppid=307 vsize=581176 CPUtime=462.18
/proc/309/stat : 309 (wbo1.4b) R 307 309 32440 0 -1 4202496 145085 0 0 0 45854 364 0 0 25 0 1 0 24972568 595124224 144846 1992294400 134512640 135752675 4292562016 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/309/statm: 145294 144846 146 303 0 144989 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 581176

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 324
/proc/meminfo: memFree=1029472/2059040 swapFree=4141912/4192956
[pid=309] ppid=307 vsize=658252 CPUtime=522.17
/proc/309/stat : 309 (wbo1.4b) R 307 309 32440 0 -1 4202496 164360 0 0 0 51812 405 0 0 25 0 1 0 24972568 674050048 164121 1992294400 134512640 135752675 4292562016 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/309/statm: 164563 164121 146 303 0 164258 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 658252

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 327
/proc/meminfo: memFree=981236/2059040 swapFree=4141912/4192956
[pid=309] ppid=307 vsize=706228 CPUtime=582.16
/proc/309/stat : 309 (wbo1.4b) R 307 309 32440 0 -1 4202496 176357 0 0 0 57771 445 0 0 25 0 1 0 24972568 723177472 176118 1992294400 134512640 135752675 4292562016 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/309/statm: 176557 176118 146 303 0 176252 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 706228

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 329
/proc/meminfo: memFree=947880/2059040 swapFree=4141912/4192956
[pid=309] ppid=307 vsize=738948 CPUtime=642.14
/proc/309/stat : 309 (wbo1.4b) R 307 309 32440 0 -1 4202496 184538 0 0 0 63736 478 0 0 25 0 1 0 24972568 756682752 184299 1992294400 134512640 135752675 4292562016 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/309/statm: 184737 184299 146 303 0 184432 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 738948

[startup+702.301 s]

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

[startup+882.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 335
/proc/meminfo: memFree=756920/2059040 swapFree=4141912/4192956
[pid=309] ppid=307 vsize=929652 CPUtime=882.09
/proc/309/stat : 309 (wbo1.4b) R 307 309 32440 0 -1 4202496 232190 0 0 0 87551 658 0 0 25 0 1 0 24972568 951963648 231951 1992294400 134512640 135752675 4292562016 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/309/statm: 232413 231951 146 303 0 232108 0
Current children cumulated CPU time (s) 882.09
Current children cumulated vsize (KiB) 929652

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 337
/proc/meminfo: memFree=714016/2059040 swapFree=4141912/4192956
[pid=309] ppid=307 vsize=972824 CPUtime=942.07
/proc/309/stat : 309 (wbo1.4b) R 307 309 32440 0 -1 4202496 242982 0 0 0 93506 701 0 0 25 0 1 0 24972568 996171776 242743 1992294400 134512640 135752675 4292562016 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/309/statm: 243206 242743 146 303 0 242901 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 972824

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 337
/proc/meminfo: memFree=660076/2059040 swapFree=4141912/4192956
[pid=309] ppid=307 vsize=1026392 CPUtime=1002.05
/proc/309/stat : 309 (wbo1.4b) R 307 309 32440 0 -1 4202496 256368 0 0 0 99458 747 0 0 25 0 1 0 24972568 1051025408 256129 1992294400 134512640 135752675 4292562016 18446744073709551615 134611709 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/309/statm: 256598 256129 146 303 0 256293 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 1026392

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 339
/proc/meminfo: memFree=609856/2059040 swapFree=4141912/4192956
[pid=309] ppid=307 vsize=1076796 CPUtime=1062.04
/proc/309/stat : 309 (wbo1.4b) R 307 309 32440 0 -1 4202496 268954 0 0 0 105411 793 0 0 25 0 1 0 24972568 1102639104 268715 1992294400 134512640 135752675 4292562016 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/309/statm: 269199 268715 146 303 0 268894 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 1076796

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 341
/proc/meminfo: memFree=566704/2059040 swapFree=4141912/4192956
[pid=309] ppid=307 vsize=1119620 CPUtime=1122.02
/proc/309/stat : 309 (wbo1.4b) R 307 309 32440 0 -1 4202496 279679 0 0 0 111362 840 0 0 25 0 1 0 24972568 1146490880 279440 1992294400 134512640 135752675 4292562016 18446744073709551615 134611713 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/309/statm: 279905 279440 146 303 0 279600 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 1119620

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 343
/proc/meminfo: memFree=520204/2059040 swapFree=4141912/4192956
[pid=309] ppid=307 vsize=1166796 CPUtime=1182
/proc/309/stat : 309 (wbo1.4b) R 307 309 32440 0 -1 4202496 291453 0 0 0 117320 880 0 0 25 0 1 0 24972568 1194799104 291214 1992294400 134512640 135752675 4292562016 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/309/statm: 291699 291214 146 303 0 291394 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 1166796

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 354
/proc/meminfo: memFree=438860/2059040 swapFree=4141912/4192956
[pid=309] ppid=307 vsize=1246792 CPUtime=1241.99
/proc/309/stat : 309 (wbo1.4b) R 307 309 32440 0 -1 4202496 311460 0 0 0 123273 926 0 0 25 0 1 0 24972568 1276715008 311221 1992294400 134512640 135752675 4292562016 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/309/statm: 311698 311221 146 303 0 311393 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 1246792

[startup+1302.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 354
/proc/meminfo: memFree=387276/2059040 swapFree=4141912/4192956
[pid=309] ppid=307 vsize=1298648 CPUtime=1301.97
/proc/309/stat : 309 (wbo1.4b) R 307 309 32440 0 -1 4202496 324427 0 0 0 129228 969 0 0 25 0 1 0 24972568 1329815552 324188 1992294400 134512640 135752675 4292562016 18446744073709551615 134604972 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/309/statm: 324662 324188 146 303 0 324357 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 1298648

[startup+1362.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 356
/proc/meminfo: memFree=347224/2059040 swapFree=4141912/4192956
[pid=309] ppid=307 vsize=1338256 CPUtime=1361.96
/proc/309/stat : 309 (wbo1.4b) R 307 309 32440 0 -1 4202496 334315 0 0 0 135179 1017 0 0 25 0 1 0 24972568 1370374144 334076 1992294400 134512640 135752675 4292562016 18446744073709551615 134605234 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/309/statm: 334564 334076 146 303 0 334259 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 1338256

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 361
/proc/meminfo: memFree=308784/2059040 swapFree=4141912/4192956
[pid=309] ppid=307 vsize=1376420 CPUtime=1421.94
/proc/309/stat : 309 (wbo1.4b) R 307 309 32440 0 -1 4202496 343851 0 0 0 141138 1056 0 0 25 0 1 0 24972568 1409454080 343612 1992294400 134512640 135752675 4292562016 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/309/statm: 344105 343612 146 303 0 343800 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 1376420

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 363
/proc/meminfo: memFree=271832/2059040 swapFree=4141912/4192956
[pid=309] ppid=307 vsize=1413652 CPUtime=1481.92
/proc/309/stat : 309 (wbo1.4b) R 307 309 32440 0 -1 4202496 353176 0 0 0 147094 1098 0 0 25 0 1 0 24972568 1447579648 352937 1992294400 134512640 135752675 4292562016 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/309/statm: 353413 352937 146 303 0 353108 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 1413652

[startup+1542.31 s]
/proc/loadavg: 1.13 1.04 1.01 2/107 367
/proc/meminfo: memFree=192100/2059040 swapFree=4141912/4192956
[pid=309] ppid=307 vsize=1493032 CPUtime=1541.92
/proc/309/stat : 309 (wbo1.4b) R 307 309 32440 0 -1 4202496 372990 0 0 0 153049 1143 0 0 25 0 1 0 24972568 1528864768 372751 1992294400 134512640 135752675 4292562016 18446744073709551615 134605371 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/309/statm: 373258 372751 146 303 0 372953 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 1493032

[startup+1602.3 s]
/proc/loadavg: 1.12 1.05 1.01 2/107 367
/proc/meminfo: memFree=146716/2059040 swapFree=4141912/4192956
[pid=309] ppid=307 vsize=1538796 CPUtime=1601.9
/proc/309/stat : 309 (wbo1.4b) R 307 309 32440 0 -1 4202496 384431 0 0 0 159002 1188 0 0 25 0 1 0 24972568 1575727104 384192 1992294400 134512640 135752675 4292562016 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/309/statm: 384699 384193 146 303 0 384394 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 1538796

[startup+1662.3 s]
/proc/loadavg: 1.10 1.05 1.01 2/107 369
/proc/meminfo: memFree=102944/2059040 swapFree=4141912/4192956
[pid=309] ppid=307 vsize=1582128 CPUtime=1661.88
/proc/309/stat : 309 (wbo1.4b) R 307 309 32440 0 -1 4202496 395271 0 0 0 164955 1233 0 0 25 0 1 0 24972568 1620099072 395032 1992294400 134512640 135752675 4292562016 18446744073709551615 134611784 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/309/statm: 395532 395032 146 303 0 395227 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 1582128

[startup+1722.3 s]
/proc/loadavg: 1.18 1.08 1.02 2/107 371
/proc/meminfo: memFree=60412/2059040 swapFree=4141912/4192956
[pid=309] ppid=307 vsize=1625072 CPUtime=1721.87
/proc/309/stat : 309 (wbo1.4b) R 307 309 32440 0 -1 4202496 405979 0 0 0 170914 1273 0 0 25 0 1 0 24972568 1664073728 405740 1992294400 134512640 135752675 4292562016 18446744073709551615 134642703 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/309/statm: 406268 405740 146 303 0 405963 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 1625072

[startup+1782.3 s]
/proc/loadavg: 1.06 1.07 1.01 2/107 374
/proc/meminfo: memFree=18996/2059040 swapFree=4141912/4192956
[pid=309] ppid=307 vsize=1665880 CPUtime=1781.86
/proc/309/stat : 309 (wbo1.4b) R 307 309 32440 0 -1 4202496 416174 0 0 0 176873 1313 0 0 25 0 1 0 24972568 1705861120 415935 1992294400 134512640 135752675 4292562016 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/309/statm: 416470 415935 146 303 0 416165 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 1665880



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.04 1.06 1.01 2/107 374
/proc/meminfo: memFree=10580/2059040 swapFree=4139856/4192956
[pid=309] ppid=307 vsize=1677232 CPUtime=1800.05
/proc/309/stat : 309 (wbo1.4b) R 307 309 32440 0 -1 4202496 419026 0 0 0 178678 1327 0 0 25 0 1 0 24972568 1717485568 418787 1992294400 134512640 135752675 4292562016 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/309/statm: 419308 418787 146 303 0 419003 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1677232

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

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

[startup+1800.61 s]
/proc/loadavg: 1.04 1.06 1.01 2/107 374
/proc/meminfo: memFree=10580/2059040 swapFree=4139856/4192956
[pid=309] ppid=307 vsize=0 CPUtime=1800.16
/proc/309/stat : 309 (wbo1.4b) R 307 309 32440 0 -1 4203524 419028 0 0 0 178679 1337 0 0 25 0 1 0 24972568 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/309/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.66
CPU time (s): 1800.22
CPU user time (s): 1786.8
CPU system time (s): 13.425
CPU usage (%): 99.9755
Max. virtual memory (cumulated for all children) (KiB): 1677232

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

runsolver used 3.09553 second user time and 8.38573 second system time

The end

Launcher Data 

Begin job on node057 at 2010-07-08 07:41:02
IDJOB=2702449
IDBENCH=48159
IDSOLVER=1190
FILE ID=node057/2702449-1278567662
PBS_JOBID= 11239580
Free space on /tmp= 62540 MiB

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

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

MD5SUM BENCH= 65a3c38bd8963c911b96c745ee468cb1
RANDOM SEED=32218837

node057.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.245
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.49
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.245
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:       1687704 kB
Buffers:         64852 kB
Cached:         204540 kB
SwapCached:       6284 kB
Active:         166536 kB
Inactive:       119908 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1687704 kB
SwapTotal:     4192956 kB
SwapFree:      4141912 kB
Dirty:            2604 kB
Writeback:           0 kB
AnonPages:       13832 kB
Mapped:          12184 kB
Slab:            62824 kB
PageTables:       4232 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   184464 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-2702449-1278567662.opb

Free space on /tmp at the end= 62536 MiB
End job on node057 at 2010-07-08 08:11:05