Trace number 2702392

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
wbo 1.4b? (TO) 1800.14 1800.61

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_10_2.opb
MD5SUMf7e9965e006e5669c3252afd9a68998d
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark74
Best CPU time to get the best result obtained on this benchmark1800.05
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 67
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
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 constraints500
Minimum length of a constraint11
Maximum length of a constraint22
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)6328
Sum of products size (including duplicates)12656
Number of different products6328
Sum of products size12656

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2702392-1278565864.opb.
0.00/0.00	c Instance file HOME/instance-2702392-1278565864.opb
0.00/0.00	c File size is 484589 bytes.
0.07/0.08	c Highest Coefficient sum: 23
0.07/0.08	c ============================[ Problem Statistics ]=============================
0.07/0.08	c |                                                                             |
0.07/0.08	c |  Parsing time:          0.08         s                                      |
0.07/0.08	c |  Number Variables:      6828                                                |
0.07/0.08	c |  Number Clauses:        6828                                                |
0.07/0.08	c |  Number Cardinality:    0                                                   |
0.07/0.08	c |  Number PB Constraints: 6328                                                |
0.07/0.09	c ============================[ Search Statistics ]==============================
0.07/0.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.07/0.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.07/0.09	c ===============================================================================
0.07/0.09	c |         0 |    6828    13156    44796 |     5000        0    nan |  0.000 % |
0.07/0.09	c ===============================================================================
0.07/0.09	c New solution: 446
0.07/0.09	o 446
0.07/0.09	c Elapsed CPU time: 0.095985 s	Remaining CPU time: 179.904 s
0.07/0.09	c ===============================================================================
0.07/0.09	c |         0 |    6828    13157    45296 |     5000        0    nan |  0.000 % |
0.09/0.10	c ===============================================================================
0.09/0.10	c New solution: 412
0.09/0.10	o 412
0.09/0.10	c Elapsed CPU time: 0.101984 s	Remaining CPU time: 179.898 s
0.09/0.10	c ===============================================================================
0.09/0.10	c |         0 |    6828    13158    45796 |     5000        0    nan |  0.000 % |
0.09/0.11	c ===============================================================================
0.09/0.11	c New solution: 411
0.09/0.11	o 411
0.09/0.11	c Elapsed CPU time: 0.108983 s	Remaining CPU time: 179.891 s
0.09/0.11	c ===============================================================================
0.09/0.11	c |         0 |    6828    13159    46296 |     5000        0    nan |  0.000 % |
0.09/0.11	c ===============================================================================
0.09/0.11	c New solution: 406
0.09/0.11	o 406
0.09/0.11	c Elapsed CPU time: 0.114982 s	Remaining CPU time: 179.885 s
0.09/0.11	c ===============================================================================
0.09/0.11	c |         0 |    6828    13160    46796 |     5000        0    nan |  0.000 % |
0.09/0.12	c ===============================================================================
0.09/0.12	c New solution: 405
0.09/0.12	o 405
0.09/0.12	c Elapsed CPU time: 0.121981 s	Remaining CPU time: 179.878 s
0.09/0.12	c ===============================================================================
0.09/0.12	c |         0 |    6828    13161    47296 |     5000        0    nan |  0.000 % |
0.09/0.13	c ===============================================================================
0.09/0.13	c New solution: 399
0.09/0.13	o 399
0.09/0.13	c Elapsed CPU time: 0.12898 s	Remaining CPU time: 179.871 s
0.09/0.13	c ===============================================================================
0.09/0.13	c |         0 |    6828    13162    47796 |     5000        0    nan |  0.000 % |
0.09/0.14	c ===============================================================================
0.09/0.14	c New solution: 260
0.09/0.14	o 260
0.09/0.14	c Elapsed CPU time: 0.136979 s	Remaining CPU time: 179.863 s
0.09/0.14	c ===============================================================================
0.09/0.14	c |         0 |    6828    13163    48296 |     5000        0    nan |  0.000 % |
0.09/0.14	c ===============================================================================
0.09/0.14	c New solution: 259
0.09/0.14	o 259
0.09/0.14	c Elapsed CPU time: 0.143978 s	Remaining CPU time: 179.856 s
0.09/0.14	c ===============================================================================
0.09/0.14	c |         0 |    6828    13164    48796 |     5000        0    nan |  0.000 % |
0.09/0.15	c ===============================================================================
0.09/0.15	c New solution: 247
0.09/0.15	o 247
0.09/0.15	c Elapsed CPU time: 0.148977 s	Remaining CPU time: 179.851 s
0.09/0.15	c ===============================================================================
0.09/0.15	c |         0 |    6828    13165    49296 |     5000        0    nan |  0.000 % |
0.09/0.16	c ===============================================================================
0.09/0.16	c New solution: 246
0.09/0.16	o 246
0.09/0.16	c Elapsed CPU time: 0.155976 s	Remaining CPU time: 179.844 s
0.09/0.16	c ===============================================================================
0.09/0.16	c |         0 |    6828    13166    49796 |     5000        0    nan |  0.000 % |
0.09/0.17	c ===============================================================================
0.09/0.17	c New solution: 245
0.09/0.17	o 245
0.09/0.17	c Elapsed CPU time: 0.162975 s	Remaining CPU time: 179.837 s
0.09/0.17	c ===============================================================================
0.09/0.17	c |         0 |    6828    13167    50296 |     5000        0    nan |  0.000 % |
0.09/0.17	c ===============================================================================
0.09/0.17	c New solution: 244
0.09/0.17	o 244
0.09/0.17	c Elapsed CPU time: 0.169974 s	Remaining CPU time: 179.83 s
0.09/0.17	c ===============================================================================
0.09/0.17	c |         1 |    6828    13168    50796 |     5000        1    248 |  0.000 % |
0.09/0.18	c ===============================================================================
0.09/0.18	c New solution: 91
0.09/0.18	o 91
0.09/0.18	c Elapsed CPU time: 0.178972 s	Remaining CPU time: 179.821 s
0.09/0.18	c ===============================================================================
0.09/0.18	c |         1 |    6828    13169    51296 |     5000        1    248 |  0.000 % |
0.19/0.21	c |       101 |    6828    13169    51296 |     5500      101    128 |  0.000 % |
0.19/0.22	c ===============================================================================
0.19/0.22	c New solution: 90
0.19/0.22	o 90
0.19/0.22	c Elapsed CPU time: 0.211967 s	Remaining CPU time: 179.788 s
0.19/0.22	c ===============================================================================
0.19/0.22	c |       101 |    6828    13170    51796 |     5000      101    128 |  0.000 % |
0.19/0.23	c ===============================================================================
0.19/0.23	c New solution: 89
0.19/0.23	o 89
0.19/0.23	c Elapsed CPU time: 0.219966 s	Remaining CPU time: 179.78 s
0.19/0.23	c ===============================================================================
0.19/0.23	c |       101 |    6828    13171    52296 |     5000      101    128 |  0.000 % |
0.19/0.24	c ===============================================================================
0.19/0.24	c New solution: 88
0.19/0.24	o 88
0.19/0.24	c Elapsed CPU time: 0.226965 s	Remaining CPU time: 179.773 s
0.19/0.24	c ===============================================================================
0.19/0.24	c |       101 |    6828    13172    52796 |     5000      101    128 |  0.000 % |
0.19/0.24	c ===============================================================================
0.19/0.24	c New solution: 87
0.19/0.24	o 87
0.19/0.24	c Elapsed CPU time: 0.233964 s	Remaining CPU time: 179.766 s
0.19/0.24	c ===============================================================================
0.19/0.24	c |       101 |    6828    13173    53296 |     5000      101    128 |  0.000 % |
0.19/0.25	c ===============================================================================
0.19/0.25	c New solution: 86
0.19/0.25	o 86
0.19/0.25	c Elapsed CPU time: 0.241963 s	Remaining CPU time: 179.758 s
0.19/0.25	c ===============================================================================
0.19/0.25	c |       102 |    6828    13174    53796 |     5000      102    127 |  0.000 % |
0.19/0.26	c ===============================================================================
0.19/0.26	c New solution: 83
0.19/0.26	o 83
0.19/0.26	c Elapsed CPU time: 0.249962 s	Remaining CPU time: 179.75 s
0.19/0.26	c ===============================================================================
0.19/0.26	c |       102 |    6828    13175    54296 |     5000      102    127 |  0.000 % |
0.19/0.27	c ===============================================================================
0.19/0.27	c New solution: 82
0.19/0.27	o 82
0.19/0.27	c Elapsed CPU time: 0.25896 s	Remaining CPU time: 179.741 s
0.19/0.27	c ===============================================================================
0.19/0.27	c |       104 |    6828    13176    54796 |     5000      104    127 |  0.000 % |
0.19/0.28	c ===============================================================================
0.19/0.28	c New solution: 81
0.19/0.28	o 81
0.19/0.28	c Elapsed CPU time: 0.268959 s	Remaining CPU time: 179.731 s
0.19/0.28	c ===============================================================================
0.19/0.28	c |       110 |    6828    13177    55296 |     5000      110    126 |  0.000 % |
0.19/0.29	c ===============================================================================
0.19/0.29	c New solution: 79
0.19/0.29	o 79
0.19/0.29	c Elapsed CPU time: 0.276957 s	Remaining CPU time: 179.723 s
0.19/0.29	c ===============================================================================
0.19/0.29	c |       110 |    6828    13178    55796 |     5000      110    126 |  0.000 % |
0.29/0.31	c |       210 |    6828    13178    55796 |     5500      210    120 |  0.000 % |
0.29/0.32	c ===============================================================================
0.29/0.32	c New solution: 78
0.29/0.32	o 78
0.29/0.32	c Elapsed CPU time: 0.308953 s	Remaining CPU time: 179.691 s
0.29/0.32	c ===============================================================================
0.29/0.32	c |       210 |    6828    13179    56296 |     5000      210    120 |  0.000 % |
0.29/0.35	c |       311 |    6828    13179    56296 |     5500      311    119 |  0.000 % |
0.29/0.39	c |       462 |    6828    13179    56296 |     6050      462    119 |  0.000 % |
0.39/0.46	c |       687 |    6828    13179    56296 |     6655      687    119 |  0.000 % |
0.49/0.56	c |      1024 |    6828    13179    56296 |     7320     1024    119 |  0.000 % |
0.59/0.62	c ===============================================================================
0.59/0.62	c New solution: 77
0.59/0.62	o 77
0.59/0.62	c Elapsed CPU time: 0.602908 s	Remaining CPU time: 179.397 s
0.59/0.62	c ===============================================================================
0.59/0.62	c |      1266 |    6828    13180    56796 |     5000     1266    117 |  0.000 % |
0.59/0.65	c |      1366 |    6828    13180    56796 |     5500     1366    117 |  0.000 % |
0.69/0.70	c |      1516 |    6828    13180    56796 |     6050     1516    116 |  0.000 % |
0.69/0.76	c |      1742 |    6828    13180    56796 |     6655     1742    117 |  0.000 % |
0.79/0.86	c |      2080 |    6828    13180    56796 |     7320     2080    116 |  0.000 % |
0.89/1.00	c |      2586 |    6828    13180    56796 |     8052     2586    116 |  0.000 % |
1.19/1.20	c |      3345 |    6828    13180    56796 |     8857     3345    116 |  0.000 % |
1.49/1.51	c |      4485 |    6828    13180    56796 |     9743     4485    118 |  0.000 % |
1.99/2.02	c |      6194 |    6828    13180    56796 |    10717     6194    118 |  0.000 % |
2.69/2.73	c |      8756 |    6828    13180    56796 |    11789     8756    116 |  0.000 % |
4.09/4.11	c |     12600 |    6828    13180    56796 |    12968    12600    130 |  0.000 % |
4.09/4.16	c ===============================================================================
4.09/4.16	c New solution: 76
4.09/4.16	o 76
4.09/4.16	c Elapsed CPU time: 4.10238 s	Remaining CPU time: 175.898 s
4.09/4.16	c ===============================================================================
4.09/4.16	c |     12715 |    6828    13181    57296 |     5000    12715    129 |  0.000 % |
4.19/4.22	c |     12816 |    6828    13181    57296 |     5500     3280    169 |  0.000 % |
4.19/4.26	c |     12968 |    6828    13181    57296 |     6050     3432    166 |  0.000 % |
4.30/4.33	c |     13194 |    6828    13181    57296 |     6655     3658    163 |  0.000 % |
4.40/4.42	c |     13531 |    6828    13181    57296 |     7320     3995    159 |  0.000 % |
4.49/4.56	c |     14037 |    6828    13181    57296 |     8052     4501    153 |  0.000 % |
4.69/4.76	c |     14797 |    6828    13181    57296 |     8857     5261    148 |  0.000 % |
5.09/5.16	c |     15936 |    6828    13181    57296 |     9743     6400    144 |  0.000 % |
5.59/5.68	c |     17645 |    6828    13181    57296 |    10717     8109    138 |  0.000 % |
6.49/6.53	c |     20208 |    6828    13181    57296 |    11789    10672    132 |  0.000 % |
7.69/7.72	c |     24052 |    6828    13181    57296 |    12968    14516    132 |  0.000 % |
9.29/9.37	c |     29820 |    6828    13181    57296 |    14265    13026    123 |  0.000 % |
12.10/12.15	c |     38469 |    6828    13181    57296 |    15692    11608    117 |  0.000 % |
16.79/16.83	c |     51443 |    6828    13181    57296 |    17261    13490    132 |  0.000 % |
24.88/24.96	c |     70904 |    6828    13181    57296 |    18987    20541    134 |  0.000 % |
36.68/36.77	c |    100098 |    6828    13181    57296 |    20886    11355    127 |  0.000 % |
56.67/56.78	c |    143887 |    6828    13181    57296 |    22974    23775    162 |  0.000 % |
81.87/81.98	c |    209572 |    6828    13181    57296 |    25272    23754    130 |  0.000 % |
126.26/126.34	c |    308098 |    6828    13181    57296 |    27799    23053    116 |  0.000 % |
181.54/181.61	c There are 0 assigned variables. 0 in cost function.
182.64/182.77	c core #1
182.64/182.77	c core #2
182.64/182.77	c core #3
182.64/182.77	c core #4
182.64/182.77	c core #5
182.64/182.77	c core #6
182.64/182.77	c core #7
182.64/182.77	c core #8
182.64/182.77	c core #9
182.64/182.77	c core #10
182.64/182.77	c core #11
182.64/182.77	c core #12
182.64/182.77	c core #13
182.64/182.77	c core #14
182.64/182.77	c core #15
182.64/182.77	c core #16
182.64/182.77	c core #17
182.64/182.77	c core #18
182.64/182.77	c ============================[ Search Statistics ]==============================
182.64/182.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.64/182.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.64/182.77	c ===============================================================================
182.64/182.77	c |         0 |    3492    13700    42586 |     5000        0    nan |  0.000 % |
182.64/182.78	c ===============================================================================
182.74/182.83	c core #19
182.74/182.83	c ============================[ Search Statistics ]==============================
182.74/182.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.74/182.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.74/182.83	c ===============================================================================
182.74/182.83	c |         0 |    4652    13701    48795 |     5000        0    nan |  0.000 % |
182.84/182.94	c |       105 |    4652    13701    48795 |     5500      105    214 | 35.236 % |
182.94/183.07	c |       256 |    4652    13701    48795 |     6050      256    218 | 35.236 % |
183.14/183.25	c |       483 |    4652    13701    48795 |     6655      483    169 | 35.236 % |
183.24/183.30	c ===============================================================================
183.24/183.37	c core #20
183.24/183.37	c ============================[ Search Statistics ]==============================
183.24/183.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.24/183.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.24/183.37	c ===============================================================================
183.24/183.37	c |         0 |    7110    13702    58472 |     5000        0    nan |  0.000 % |
183.34/183.47	c |       100 |    7110    13702    58472 |     5500      100    273 |  6.101 % |
183.55/183.65	c |       254 |    7110    13702    58472 |     6050      254    283 |  6.101 % |
183.94/184.05	c |       479 |    7110    13702    58472 |     6655      479    266 |  6.101 % |
184.45/184.57	c |       816 |    7110    13702    58472 |     7320      816    263 |  6.101 % |
185.24/185.37	c |      1322 |    7110    13702    58472 |     8052     1322    273 |  6.101 % |
186.34/186.46	c |      2081 |    7110    13702    58472 |     8857     2081    264 |  6.101 % |
188.05/188.19	c |      3233 |    7110    13702    58472 |     9743     3233    259 |  6.101 % |
190.64/190.77	c |      4942 |    7110    13702    58472 |    10717     4942    247 |  6.101 % |
195.65/195.73	c |      7506 |    7110    13702    58472 |    11789     7506    221 |  6.101 % |
201.33/201.46	c |     11358 |    7110    13702    58472 |    12968    11358    219 |  6.101 % |
211.33/211.49	c |     17126 |    7110    13702    58472 |    14265    10263    206 |  6.101 % |
220.84/220.91	c ===============================================================================
221.24/221.31	c core #21
221.24/221.31	c ============================[ Search Statistics ]==============================
221.24/221.31	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
221.24/221.31	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
221.24/221.31	c ===============================================================================
221.24/221.31	c |         0 |    8026    13703    60673 |     5000        0    nan |  0.000 % |
221.24/221.39	c |       103 |    8026    13703    60673 |     5500      103    223 |  0.286 % |
221.53/221.62	c |       254 |    8026    13703    60673 |     6050      254    160 |  0.286 % |
221.83/221.99	c |       483 |    8026    13703    60673 |     6655      483    175 |  0.286 % |
222.84/222.90	c |       820 |    8026    13703    60673 |     7320      820    218 |  0.286 % |
223.83/223.98	c |      1327 |    8026    13703    60673 |     8052     1327    198 |  0.286 % |
225.53/225.63	c |      2086 |    8026    13703    60673 |     8857     2086    184 |  0.286 % |
226.63/226.77	c |      3227 |    8026    13703    60673 |     9743     3227    195 |  0.286 % |
229.03/229.10	c |      4940 |    8026    13703    60673 |    10717     4940    154 |  0.286 % |
232.63/232.72	c |      7502 |    8026    13703    60673 |    11789     7502    162 |  0.286 % |
240.63/240.74	c |     11347 |    8026    13703    60673 |    12968    11347    160 |  0.286 % |
249.54/249.65	c |     17115 |    8026    13703    60673 |    14265    10274    148 |  0.286 % |
263.42/263.55	c |     25765 |    8026    13703    60673 |    15692    11387    145 |  0.286 % |
287.41/287.50	c |     38739 |    8026    13703    60673 |    17261    16070    175 |  0.286 % |
325.01/325.12	c |     58200 |    8026    13703    60673 |    18987    17556    210 |  0.286 % |
381.19/381.30	c |     87392 |    8026    13703    60673 |    20886    16573    222 |  0.286 % |
498.36/498.53	c |    131187 |    8026    13703    60673 |    22974    16949    275 |  0.286 % |
668.53/668.71	c |    196871 |    8026    13703    60673 |    25272    11869    260 |  0.286 % |
943.24/943.55	c |    295402 |    8026    13703    60673 |    27799    16436    279 |  0.286 % |
1366.03/1366.41	c |    443195 |    8026    13703    60673 |    30579    19954    483 |  0.286 % |

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-2702392-1278565864/watcher-2702392-1278565864 -o /tmp/evaluation-result-2702392-1278565864/solver-2702392-1278565864 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702392-1278565864.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 31382
/proc/meminfo: memFree=1540696/2059040 swapFree=4165016/4192956
[pid=31382] ppid=31380 vsize=3524 CPUtime=0
/proc/31382/stat : 31382 (wbo1.4b) R 31380 31382 31021 0 -1 4202496 401 0 0 0 0 0 0 0 16 0 1 0 24793581 3608576 320 1992294400 134512640 135751879 4293525040 18446744073709551615 134613727 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31382/statm: 881 320 141 303 0 457 0

[startup+0.0761861 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 31382
/proc/meminfo: memFree=1540696/2059040 swapFree=4165016/4192956
[pid=31382] ppid=31380 vsize=5280 CPUtime=0.07
/proc/31382/stat : 31382 (wbo1.4b) R 31380 31382 31021 0 -1 4202496 905 0 0 0 7 0 0 0 16 0 1 0 24793581 5406720 824 1992294400 134512640 135751879 4293525040 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31382/statm: 1320 824 245 303 0 896 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5280

[startup+0.101188 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 31382
/proc/meminfo: memFree=1540696/2059040 swapFree=4165016/4192956
[pid=31382] ppid=31380 vsize=5124 CPUtime=0.09
/proc/31382/stat : 31382 (wbo1.4b) R 31380 31382 31021 0 -1 4202496 1227 0 0 0 9 0 0 0 17 0 1 0 24793581 5246976 830 1992294400 134512640 135751879 4293525040 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31382/statm: 1281 830 146 303 0 976 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5124

[startup+0.30121 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 31382
/proc/meminfo: memFree=1540696/2059040 swapFree=4165016/4192956
[pid=31382] ppid=31380 vsize=5520 CPUtime=0.29
/proc/31382/stat : 31382 (wbo1.4b) R 31380 31382 31021 0 -1 4202496 1326 0 0 0 28 1 0 0 17 0 1 0 24793581 5652480 929 1992294400 134512640 135751879 4293525040 18446744073709551615 134616326 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31382/statm: 1380 929 147 303 0 1075 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5520

[startup+0.701253 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 31382
/proc/meminfo: memFree=1540696/2059040 swapFree=4165016/4192956
[pid=31382] ppid=31380 vsize=6432 CPUtime=0.69
/proc/31382/stat : 31382 (wbo1.4b) R 31380 31382 31021 0 -1 4202496 1530 0 0 0 67 2 0 0 17 0 1 0 24793581 6586368 1133 1992294400 134512640 135751879 4293525040 18446744073709551615 134620474 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31382/statm: 1608 1133 147 303 0 1303 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6432

[startup+1.50134 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31383
/proc/meminfo: memFree=1536472/2059040 swapFree=4165016/4192956
[pid=31382] ppid=31380 vsize=8128 CPUtime=1.49
/proc/31382/stat : 31382 (wbo1.4b) R 31380 31382 31021 0 -1 4202496 1966 0 0 0 146 3 0 0 18 0 1 0 24793581 8323072 1569 1992294400 134512640 135751879 4293525040 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31382/statm: 2032 1569 147 303 0 1727 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8128

[startup+3.10051 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31383
/proc/meminfo: memFree=1533992/2059040 swapFree=4165016/4192956
[pid=31382] ppid=31380 vsize=11392 CPUtime=3.09
/proc/31382/stat : 31382 (wbo1.4b) R 31380 31382 31021 0 -1 4202496 2766 0 0 0 304 5 0 0 21 0 1 0 24793581 11665408 2369 1992294400 134512640 135751879 4293525040 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31382/statm: 2848 2369 147 303 0 2543 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11392

[startup+6.30085 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31383
/proc/meminfo: memFree=1527172/2059040 swapFree=4165016/4192956
[pid=31382] ppid=31380 vsize=17536 CPUtime=6.29
/proc/31382/stat : 31382 (wbo1.4b) R 31380 31382 31021 0 -1 4202496 4319 0 0 0 620 9 0 0 25 0 1 0 24793581 17956864 3922 1992294400 134512640 135751879 4293525040 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31382/statm: 4384 3922 148 303 0 4079 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17536

[startup+12.7005 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31383
/proc/meminfo: memFree=1514524/2059040 swapFree=4165016/4192956
[pid=31382] ppid=31380 vsize=29908 CPUtime=12.69
/proc/31382/stat : 31382 (wbo1.4b) R 31380 31382 31021 0 -1 4202496 7399 0 0 0 1253 16 0 0 25 0 1 0 24793581 30625792 7002 1992294400 134512640 135751879 4293525040 18446744073709551615 134616427 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31382/statm: 7477 7002 148 303 0 7172 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 29908

[startup+25.5009 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31384
/proc/meminfo: memFree=1493196/2059040 swapFree=4165016/4192956
[pid=31382] ppid=31380 vsize=50612 CPUtime=25.48
/proc/31382/stat : 31382 (wbo1.4b) R 31380 31382 31021 0 -1 4202496 12560 0 0 0 2521 27 0 0 25 0 1 0 24793581 51826688 12163 1992294400 134512640 135751879 4293525040 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31382/statm: 12653 12163 148 303 0 12348 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 50612

[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31385
/proc/meminfo: memFree=1454136/2059040 swapFree=4165016/4192956
[pid=31382] ppid=31380 vsize=90076 CPUtime=51.08
/proc/31382/stat : 31382 (wbo1.4b) R 31380 31382 31021 0 -1 4202496 22431 0 0 0 5061 47 0 0 25 0 1 0 24793581 92237824 22034 1992294400 134512640 135751879 4293525040 18446744073709551615 134616382 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31382/statm: 22519 22034 148 303 0 22214 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 90076

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31386
/proc/meminfo: memFree=1378372/2059040 swapFree=4165016/4192956
[pid=31382] ppid=31380 vsize=164560 CPUtime=102.27
/proc/31382/stat : 31382 (wbo1.4b) R 31380 31382 31021 0 -1 4202496 41029 0 0 0 10132 95 0 0 25 0 1 0 24793581 168509440 40632 1992294400 134512640 135751879 4293525040 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31382/statm: 41140 40632 148 303 0 40835 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 164560

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31387
/proc/meminfo: memFree=1309180/2059040 swapFree=4165016/4192956
[pid=31382] ppid=31380 vsize=234352 CPUtime=162.24
/proc/31382/stat : 31382 (wbo1.4b) R 31380 31382 31021 0 -1 4202496 58446 0 0 0 16083 141 0 0 25 0 1 0 24793581 239976448 58049 1992294400 134512640 135751879 4293525040 18446744073709551615 134616526 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31382/statm: 58588 58049 148 303 0 58283 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 234352

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31389
/proc/meminfo: memFree=1284132/2059040 swapFree=4165016/4192956
[pid=31382] ppid=31380 vsize=257916 CPUtime=222.23
/proc/31382/stat : 31382 (wbo1.4b) R 31380 31382 31021 0 -1 4202496 64633 0 0 0 22052 171 0 0 25 0 1 0 24793581 264105984 64017 1992294400 134512640 135751879 4293525040 18446744073709551615 134611016 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31382/statm: 64479 64017 151 303 0 64174 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 257916

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31391
/proc/meminfo: memFree=1269004/2059040 swapFree=4165016/4192956
[pid=31382] ppid=31380 vsize=273396 CPUtime=282.22
/proc/31382/stat : 31382 (wbo1.4b) R 31380 31382 31021 0 -1 4202496 68546 0 0 0 28023 199 0 0 25 0 1 0 24793581 279957504 67930 1992294400 134512640 135751879 4293525040 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31382/statm: 68349 67930 151 303 0 68044 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 273396

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31393
/proc/meminfo: memFree=1240236/2059040 swapFree=4165016/4192956
[pid=31382] ppid=31380 vsize=302052 CPUtime=342.21
/proc/31382/stat : 31382 (wbo1.4b) R 31380 31382 31021 0 -1 4202496 75700 0 0 0 33994 227 0 0 25 0 1 0 24793581 309301248 75084 1992294400 134512640 135751879 4293525040 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31382/statm: 75513 75084 151 303 0 75208 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 302052

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31394
/proc/meminfo: memFree=1210104/2059040 swapFree=4165016/4192956
[pid=31382] ppid=31380 vsize=332316 CPUtime=402.19
/proc/31382/stat : 31382 (wbo1.4b) R 31380 31382 31021 0 -1 4202496 83258 0 0 0 39964 255 0 0 25 0 1 0 24793581 340291584 82642 1992294400 134512640 135751879 4293525040 18446744073709551615 134611204 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31382/statm: 83079 82642 151 303 0 82774 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 332316

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31395
/proc/meminfo: memFree=1180344/2059040 swapFree=4165016/4192956
[pid=31382] ppid=31380 vsize=361804 CPUtime=462.17
/proc/31382/stat : 31382 (wbo1.4b) R 31380 31382 31021 0 -1 4202496 90597 0 0 0 45937 280 0 0 25 0 1 0 24793581 370487296 89981 1992294400 134512640 135751879 4293525040 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31382/statm: 90451 89981 151 303 0 90146 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 361804

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31399
/proc/meminfo: memFree=1154552/2059040 swapFree=4165016/4192956
[pid=31382] ppid=31380 vsize=387416 CPUtime=522.16
/proc/31382/stat : 31382 (wbo1.4b) R 31380 31382 31021 0 -1 4202496 96951 0 0 0 51918 298 0 0 25 0 1 0 24793581 396713984 96335 1992294400 134512640 135751879 4293525040 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31382/statm: 96854 96335 151 303 0 96549 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 387416

[startup+582.302 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 31402
/proc/meminfo: memFree=1125412/2059040 swapFree=4165016/4192956
[pid=31382] ppid=31380 vsize=416416 CPUtime=582.14
/proc/31382/stat : 31382 (wbo1.4b) R 31380 31382 31021 0 -1 4202496 104187 0 0 0 57895 319 0 0 25 0 1 0 24793581 426409984 103571 1992294400 134512640 135751879 4293525040 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31382/statm: 104104 103571 151 303 0 103799 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 416416

[startup+642.301 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 31404
/proc/meminfo: memFree=1094040/2059040 swapFree=4165016/4192956
[pid=31382] ppid=31380 vsize=447524 CPUtime=642.13
/proc/31382/stat : 31382 (wbo1.4b) R 31380 31382 31021 0 -1 4202496 111958 0 0 0 63870 343 0 0 25 0 1 0 24793581 458264576 111342 1992294400 134512640 135751879 4293525040 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31382/statm: 111881 111342 151 303 0 111576 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 447524

[startup+702.302 s]

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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31410
/proc/meminfo: memFree=972644/2059040 swapFree=4165016/4192956
[pid=31382] ppid=31380 vsize=569040 CPUtime=882.07
/proc/31382/stat : 31382 (wbo1.4b) R 31380 31382 31021 0 -1 4202496 142257 0 0 0 87773 434 0 0 25 0 1 0 24793581 582696960 141641 1992294400 134512640 135751879 4293525040 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31382/statm: 142260 141641 151 303 0 141955 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 569040

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31412
/proc/meminfo: memFree=943256/2059040 swapFree=4165016/4192956
[pid=31382] ppid=31380 vsize=598920 CPUtime=942.05
/proc/31382/stat : 31382 (wbo1.4b) R 31380 31382 31021 0 -1 4202496 149720 0 0 0 93749 456 0 0 25 0 1 0 24793581 613294080 149104 1992294400 134512640 135751879 4293525040 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31382/statm: 149730 149104 151 303 0 149425 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 598920

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31413
/proc/meminfo: memFree=910148/2059040 swapFree=4165016/4192956
[pid=31382] ppid=31380 vsize=631592 CPUtime=1002.04
/proc/31382/stat : 31382 (wbo1.4b) R 31380 31382 31021 0 -1 4202496 157879 0 0 0 99723 481 0 0 25 0 1 0 24793581 646750208 157263 1992294400 134512640 135751879 4293525040 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31382/statm: 157898 157263 151 303 0 157593 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 631592

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31414
/proc/meminfo: memFree=880264/2059040 swapFree=4165016/4192956
[pid=31382] ppid=31380 vsize=661640 CPUtime=1062.01
/proc/31382/stat : 31382 (wbo1.4b) R 31380 31382 31021 0 -1 4202496 165372 0 0 0 105695 506 0 0 25 0 1 0 24793581 677519360 164756 1992294400 134512640 135751879 4293525040 18446744073709551615 134603007 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31382/statm: 165410 164756 151 303 0 165105 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 661640

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31416
/proc/meminfo: memFree=844924/2059040 swapFree=4165016/4192956
[pid=31382] ppid=31380 vsize=697004 CPUtime=1122
/proc/31382/stat : 31382 (wbo1.4b) R 31380 31382 31021 0 -1 4202496 174193 0 0 0 111670 530 0 0 25 0 1 0 24793581 713732096 173577 1992294400 134512640 135751879 4293525040 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31382/statm: 174251 173577 151 303 0 173946 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 697004

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31418
/proc/meminfo: memFree=809584/2059040 swapFree=4165016/4192956
[pid=31382] ppid=31380 vsize=732692 CPUtime=1181.99
/proc/31382/stat : 31382 (wbo1.4b) R 31380 31382 31021 0 -1 4202496 183109 0 0 0 117645 554 0 0 25 0 1 0 24793581 750276608 182493 1992294400 134512640 135751879 4293525040 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31382/statm: 183173 182493 151 303 0 182868 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 732692

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31420
/proc/meminfo: memFree=776724/2059040 swapFree=4165016/4192956
[pid=31382] ppid=31380 vsize=765252 CPUtime=1241.97
/proc/31382/stat : 31382 (wbo1.4b) R 31380 31382 31021 0 -1 4202496 191232 0 0 0 123622 575 0 0 25 0 1 0 24793581 783618048 190616 1992294400 134512640 135751879 4293525040 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31382/statm: 191313 190616 151 303 0 191008 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 765252

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31421
/proc/meminfo: memFree=741260/2059040 swapFree=4165016/4192956
[pid=31382] ppid=31380 vsize=800304 CPUtime=1301.96
/proc/31382/stat : 31382 (wbo1.4b) R 31380 31382 31021 0 -1 4202496 199999 0 0 0 129593 603 0 0 25 0 1 0 24793581 819511296 199383 1992294400 134512640 135751879 4293525040 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31382/statm: 200076 199383 151 303 0 199771 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 800304

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31422
/proc/meminfo: memFree=700836/2059040 swapFree=4165016/4192956
[pid=31382] ppid=31380 vsize=841208 CPUtime=1361.94
/proc/31382/stat : 31382 (wbo1.4b) R 31380 31382 31021 0 -1 4202496 210191 0 0 0 135566 628 0 0 25 0 1 0 24793581 861396992 209575 1992294400 134512640 135751879 4293525040 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31382/statm: 210302 209575 151 303 0 209997 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 841208

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31424
/proc/meminfo: memFree=676408/2059040 swapFree=4165016/4192956
[pid=31382] ppid=31380 vsize=865480 CPUtime=1421.93
/proc/31382/stat : 31382 (wbo1.4b) R 31380 31382 31021 0 -1 4202496 216225 0 0 0 141552 641 0 0 25 0 1 0 24793581 886251520 215609 1992294400 134512640 135751879 4293525040 18446744073709551615 134607756 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31382/statm: 216370 215609 151 303 0 216065 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 865480

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31426
/proc/meminfo: memFree=645284/2059040 swapFree=4165016/4192956
[pid=31382] ppid=31380 vsize=897060 CPUtime=1481.9
/proc/31382/stat : 31382 (wbo1.4b) R 31380 31382 31021 0 -1 4202496 224085 0 0 0 147530 660 0 0 25 0 1 0 24793581 918589440 223469 1992294400 134512640 135751879 4293525040 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31382/statm: 224265 223469 151 303 0 223960 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 897060

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31428
/proc/meminfo: memFree=617012/2059040 swapFree=4165016/4192956
[pid=31382] ppid=31380 vsize=924816 CPUtime=1541.89
/proc/31382/stat : 31382 (wbo1.4b) R 31380 31382 31021 0 -1 4202496 231023 0 0 0 153509 680 0 0 25 0 1 0 24793581 947011584 230407 1992294400 134512640 135751879 4293525040 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31382/statm: 231204 230407 151 303 0 230899 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 924816

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31429
/proc/meminfo: memFree=582416/2059040 swapFree=4165016/4192956
[pid=31382] ppid=31380 vsize=959632 CPUtime=1601.88
/proc/31382/stat : 31382 (wbo1.4b) R 31380 31382 31021 0 -1 4202496 239715 0 0 0 159485 703 0 0 25 0 1 0 24793581 982663168 239099 1992294400 134512640 135751879 4293525040 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31382/statm: 239908 239099 151 303 0 239603 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 959632

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31430
/proc/meminfo: memFree=549680/2059040 swapFree=4165016/4192956
[pid=31382] ppid=31380 vsize=992364 CPUtime=1661.86
/proc/31382/stat : 31382 (wbo1.4b) R 31380 31382 31021 0 -1 4202496 247847 0 0 0 165459 727 0 0 25 0 1 0 24793581 1016180736 247231 1992294400 134512640 135751879 4293525040 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31382/statm: 248091 247231 151 303 0 247786 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 992364

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31432
/proc/meminfo: memFree=517688/2059040 swapFree=4165016/4192956
[pid=31382] ppid=31380 vsize=1024848 CPUtime=1721.84
/proc/31382/stat : 31382 (wbo1.4b) R 31380 31382 31021 0 -1 4202496 255977 0 0 0 171435 749 0 0 25 0 1 0 24793581 1049444352 255361 1992294400 134512640 135751879 4293525040 18446744073709551615 134616489 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31382/statm: 256212 255361 151 303 0 255907 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1024848

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31434
/proc/meminfo: memFree=486688/2059040 swapFree=4165016/4192956
[pid=31382] ppid=31380 vsize=1055360 CPUtime=1781.83
/proc/31382/stat : 31382 (wbo1.4b) R 31380 31382 31021 0 -1 4202496 263564 0 0 0 177412 771 0 0 25 0 1 0 24793581 1080688640 262948 1992294400 134512640 135751879 4293525040 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31382/statm: 263840 262948 151 303 0 263535 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1055360



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31434
/proc/meminfo: memFree=477884/2059040 swapFree=4165016/4192956
[pid=31382] ppid=31380 vsize=1063812 CPUtime=1800.03
/proc/31382/stat : 31382 (wbo1.4b) R 31380 31382 31021 0 -1 4202496 265679 0 0 0 179226 777 0 0 25 0 1 0 24793581 1089343488 265063 1992294400 134512640 135751879 4293525040 18446744073709551615 134607702 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31382/statm: 265953 265063 151 303 0 265648 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1063812

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31434
/proc/meminfo: memFree=477884/2059040 swapFree=4165016/4192956
[pid=31382] ppid=31380 vsize=1063812 CPUtime=1800.03
/proc/31382/stat : 31382 (wbo1.4b) R 31380 31382 31021 0 -1 4202496 265679 0 0 0 179226 777 0 0 25 0 1 0 24793581 1089343488 265063 1992294400 134512640 135751879 4293525040 18446744073709551615 134607702 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31382/statm: 265953 265063 151 303 0 265648 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1063812

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.14
CPU user time (s): 1792.26
CPU system time (s): 7.8768
CPU usage (%): 99.974
Max. virtual memory (cumulated for all children) (KiB): 1063812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.26
system time used= 7.8768
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 265679
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= 8
involuntary context switches= 963

runsolver used 2.91056 second user time and 8.5717 second system time

The end

Launcher Data 

Begin job on node047 at 2010-07-08 07:11:04
IDJOB=2702392
IDBENCH=48131
IDSOLVER=1161
FILE ID=node047/2702392-1278565864
PBS_JOBID= 11239566
Free space on /tmp= 62492 MiB

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

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

MD5SUM BENCH= f7e9965e006e5669c3252afd9a68998d
RANDOM SEED=1117087509

node047.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.248
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.248
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.53
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1542092 kB
Buffers:         84332 kB
Cached:         309112 kB
SwapCached:       1388 kB
Active:         181420 kB
Inactive:       245372 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1542092 kB
SwapTotal:     4192956 kB
SwapFree:      4165016 kB
Dirty:            2772 kB
Writeback:           0 kB
AnonPages:       31864 kB
Mapped:          13456 kB
Slab:            68324 kB
PageTables:       4216 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179384 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-2702392-1278565864.opb

Free space on /tmp at the end= 62492 MiB
End job on node047 at 2010-07-08 07:41:07