Trace number 3727330

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.72? 1799.56 1800.01

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-6_0-yes1-4.opb
MD5SUM8cf8fb760748f7e5d9e3b99aa5c9f720
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark200
Best CPU time to get the best result obtained on this benchmark0.003998
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 200
Optimality of the best value was proved YES
Number of variables400
Total number of constraints1400
Number of constraints which are clauses1393
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints7
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 400
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 400
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.00	c ==============================[ Solver Version ]===============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |   wbo:                     1.72 beta - May, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3727330-1338655909.opb.
0.00/0.00	c Instance file HOME/instance-3727330-1338655909.opb
0.00/0.00	c File size is 44162 bytes.
0.00/0.00	c Cost Offset: 0
0.00/0.00	c Highest Coefficient sum: 4
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.00         s                                      |
0.00/0.00	c |  Number Variables:      400                                                 |
0.00/0.00	c |  Number Clauses:        1400                                                |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 0                                                   |
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Problem Type:          Optimization                                        |
0.00/0.00	c |  Objective Function:    Cardinality Constraint                              |
0.00/0.00	c |                                                                             |
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Time (s)  | ID |      Bound      |               Shared Clauses             |
0.00/0.00	c |           |    | value      type |  expCls         impCls        Lit/impCl  |
0.00/0.00	c ===============================================================================
0.00/0.00	c | 0.01      | 0  | 1            lb |  0                0                0.00  |
0.00/0.01	c | 0.01      | 0  | 2            lb |  0                0                0.00  |
0.00/0.01	c | 0.01      | 0  | 3            lb |  0                0                0.00  |
0.00/0.01	c | 0.01      | 0  | 4            lb |  0                0                0.00  |
0.00/0.01	c | 0.01      | 0  | 5            lb |  0                0                0.00  |
0.00/0.01	c | 0.01      | 0  | 6            lb |  0                0                0.00  |
0.00/0.01	c | 0.01      | 0  | 7            lb |  0                0                0.00  |
0.00/0.01	c | 0.01      | 0  | 8            lb |  0                0                0.00  |
0.00/0.01	c | 0.01      | 0  | 9            lb |  0                0                0.00  |
0.00/0.01	c | 0.01      | 0  | 10           lb |  0                0                0.00  |
0.00/0.01	c | 0.01      | 0  | 11           lb |  0                0                0.00  |
0.00/0.01	c | 0.01      | 0  | 12           lb |  0                0                0.00  |
0.00/0.01	c | 0.01      | 0  | 13           lb |  0                0                0.00  |
0.00/0.01	c | 0.01      | 0  | 14           lb |  0                0                0.00  |
0.00/0.01	c | 0.01      | 0  | 15           lb |  0                0                0.00  |
0.00/0.01	c | 0.01      | 0  | 16           lb |  0                0                0.00  |
0.00/0.01	c | 0.01      | 0  | 17           lb |  0                0                0.00  |
0.00/0.01	c | 0.01      | 0  | 18           lb |  0                0                0.00  |
0.00/0.01	c | 0.01      | 0  | 19           lb |  0                0                0.00  |
0.00/0.02	c | 0.02      | 0  | 20           lb |  0                0                0.00  |
0.00/0.02	c | 0.02      | 0  | 21           lb |  0                0                0.00  |
0.00/0.02	c | 0.02      | 0  | 22           lb |  0                0                0.00  |
0.00/0.02	c | 0.02      | 0  | 23           lb |  0                0                0.00  |
0.00/0.02	c | 0.02      | 0  | 24           lb |  0                0                0.00  |
0.00/0.02	c | 0.02      | 0  | 25           lb |  0                0                0.00  |
0.00/0.02	c | 0.02      | 0  | 26           lb |  0                0                0.00  |
0.00/0.02	c | 0.02      | 0  | 27           lb |  0                0                0.00  |
0.00/0.02	c | 0.02      | 0  | 28           lb |  0                0                0.00  |
0.00/0.02	c | 0.02      | 0  | 29           lb |  0                0                0.00  |
0.00/0.02	c | 0.02      | 0  | 30           lb |  0                0                0.00  |
0.00/0.02	c | 0.02      | 0  | 31           lb |  0                0                0.00  |
0.00/0.02	c | 0.02      | 0  | 32           lb |  0                0                0.00  |
0.00/0.02	c | 0.02      | 0  | 33           lb |  0                0                0.00  |
0.00/0.02	c | 0.02      | 0  | 34           lb |  0                0                0.00  |
0.00/0.02	c | 0.02      | 0  | 35           lb |  0                0                0.00  |
0.00/0.02	c | 0.03      | 0  | 36           lb |  0                0                0.00  |
0.00/0.02	c | 0.03      | 0  | 37           lb |  0                0                0.00  |
0.00/0.03	c | 0.03      | 0  | 38           lb |  0                0                0.00  |
0.00/0.03	c | 0.03      | 0  | 39           lb |  0                0                0.00  |
0.00/0.03	c | 0.03      | 0  | 40           lb |  0                0                0.00  |
0.00/0.03	c | 0.03      | 0  | 41           lb |  0                0                0.00  |
0.00/0.03	c | 0.03      | 0  | 42           lb |  0                0                0.00  |
0.00/0.03	c | 0.03      | 0  | 43           lb |  0                0                0.00  |
0.00/0.03	c | 0.03      | 0  | 44           lb |  0                0                0.00  |
0.00/0.03	c | 0.03      | 0  | 45           lb |  0                0                0.00  |
0.00/0.03	c | 0.03      | 0  | 46           lb |  0                0                0.00  |
0.00/0.03	c | 0.03      | 0  | 47           lb |  0                0                0.00  |
0.00/0.03	c | 0.03      | 0  | 48           lb |  0                0                0.00  |
0.00/0.03	c | 0.03      | 0  | 49           lb |  0                0                0.00  |
0.00/0.03	c | 0.03      | 0  | 50           lb |  0                0                0.00  |
0.00/0.03	c | 0.03      | 0  | 51           lb |  0                0                0.00  |
0.00/0.03	c | 0.04      | 0  | 52           lb |  0                0                0.00  |
0.00/0.03	c | 0.04      | 0  | 53           lb |  0                0                0.00  |
0.00/0.04	c | 0.04      | 0  | 54           lb |  0                0                0.00  |
0.00/0.04	c | 0.04      | 0  | 55           lb |  0                0                0.00  |
0.00/0.04	c | 0.04      | 0  | 56           lb |  0                0                0.00  |
0.00/0.04	c | 0.04      | 0  | 57           lb |  0                0                0.00  |
0.00/0.04	c | 0.04      | 0  | 58           lb |  0                0                0.00  |
0.00/0.04	c | 0.04      | 0  | 59           lb |  0                0                0.00  |
0.00/0.04	c | 0.04      | 0  | 60           lb |  0                0                0.00  |
0.00/0.04	c | 0.04      | 0  | 61           lb |  0                0                0.00  |
0.00/0.04	c | 0.04      | 0  | 62           lb |  0                0                0.00  |
0.00/0.04	c | 0.04      | 0  | 63           lb |  0                0                0.00  |
0.00/0.04	c | 0.04      | 0  | 64           lb |  0                0                0.00  |
0.00/0.04	c | 0.04      | 0  | 65           lb |  0                0                0.00  |
0.00/0.04	c | 0.04      | 0  | 66           lb |  0                0                0.00  |
0.00/0.04	c | 0.04      | 0  | 67           lb |  0                0                0.00  |
0.00/0.04	c | 0.04      | 0  | 68           lb |  0                0                0.00  |
0.00/0.05	c | 0.05      | 0  | 69           lb |  0                0                0.00  |
0.00/0.05	c | 0.05      | 0  | 70           lb |  0                0                0.00  |
0.00/0.05	c | 0.05      | 0  | 71           lb |  0                0                0.00  |
0.00/0.05	c | 0.05      | 0  | 72           lb |  0                0                0.00  |
0.00/0.05	c | 0.05      | 0  | 73           lb |  0                0                0.00  |
0.00/0.05	c | 0.05      | 0  | 74           lb |  0                0                0.00  |
0.00/0.05	c | 0.05      | 0  | 75           lb |  0                0                0.00  |
0.00/0.05	c | 0.05      | 0  | 76           lb |  0                0                0.00  |
0.00/0.05	c | 0.05      | 0  | 77           lb |  0                0                0.00  |
0.00/0.05	c | 0.05      | 0  | 78           lb |  0                0                0.00  |
0.00/0.05	c | 0.05      | 0  | 79           lb |  0                0                0.00  |
0.00/0.05	c | 0.05      | 0  | 80           lb |  0                0                0.00  |
0.00/0.05	c | 0.05      | 0  | 81           lb |  0                0                0.00  |
0.00/0.05	c | 0.06      | 0  | 82           lb |  0                0                0.00  |
0.00/0.05	c | 0.06      | 0  | 83           lb |  0                0                0.00  |
0.00/0.06	c | 0.06      | 0  | 84           lb |  0                0                0.00  |
0.00/0.06	c | 0.06      | 0  | 85           lb |  0                0                0.00  |
0.00/0.06	c | 0.06      | 0  | 86           lb |  0                0                0.00  |
0.05/0.06	c | 0.06      | 0  | 87           lb |  0                0                0.00  |
0.05/0.06	c | 0.06      | 0  | 88           lb |  0                0                0.00  |
0.05/0.06	c | 0.06      | 0  | 89           lb |  0                0                0.00  |
0.05/0.06	c | 0.06      | 0  | 90           lb |  0                0                0.00  |
0.05/0.06	c | 0.06      | 0  | 91           lb |  0                0                0.00  |
0.05/0.06	c | 0.06      | 0  | 92           lb |  0                0                0.00  |
0.05/0.06	c | 0.06      | 0  | 93           lb |  0                0                0.00  |
0.05/0.06	c | 0.06      | 0  | 94           lb |  0                0                0.00  |
0.05/0.06	c | 0.06      | 0  | 95           lb |  0                0                0.00  |
0.05/0.06	c | 0.07      | 0  | 96           lb |  0                0                0.00  |
0.05/0.07	c | 0.07      | 0  | 97           lb |  0                0                0.00  |
0.05/0.07	c | 0.07      | 0  | 98           lb |  0                0                0.00  |
0.05/0.07	c | 0.07      | 0  | 99           lb |  0                0                0.00  |
0.05/0.07	c | 0.07      | 0  | 100          lb |  0                0                0.00  |
0.05/0.07	c | 0.07      | 0  | 101          lb |  0                0                0.00  |
0.05/0.07	c | 0.07      | 0  | 102          lb |  0                0                0.00  |
0.05/0.07	c | 0.07      | 0  | 103          lb |  0                0                0.00  |
0.05/0.07	c | 0.07      | 0  | 104          lb |  0                0                0.00  |
0.05/0.07	c | 0.07      | 0  | 105          lb |  0                0                0.00  |
0.05/0.07	c | 0.07      | 0  | 106          lb |  0                0                0.00  |
0.05/0.07	c | 0.07      | 0  | 107          lb |  0                0                0.00  |
0.05/0.07	c | 0.07      | 0  | 108          lb |  0                0                0.00  |
0.05/0.07	c | 0.07      | 0  | 109          lb |  0                0                0.00  |
0.05/0.08	c | 0.08      | 0  | 110          lb |  0                0                0.00  |
0.05/0.08	c | 0.08      | 0  | 111          lb |  0                0                0.00  |
0.05/0.08	c | 0.08      | 0  | 112          lb |  0                0                0.00  |
0.05/0.08	c | 0.08      | 0  | 113          lb |  0                0                0.00  |
0.05/0.08	c | 0.08      | 0  | 114          lb |  0                0                0.00  |
0.05/0.08	c | 0.08      | 0  | 115          lb |  0                0                0.00  |
0.05/0.08	c | 0.08      | 0  | 116          lb |  0                0                0.00  |
0.05/0.08	c | 0.08      | 0  | 117          lb |  0                0                0.00  |
0.05/0.08	c | 0.08      | 0  | 118          lb |  0                0                0.00  |
0.05/0.08	c | 0.08      | 0  | 119          lb |  0                0                0.00  |
0.05/0.08	c | 0.08      | 0  | 120          lb |  0                0                0.00  |
0.05/0.09	c | 0.09      | 0  | 121          lb |  0                0                0.00  |
0.05/0.09	c | 0.09      | 0  | 122          lb |  0                0                0.00  |
0.05/0.09	c | 0.09      | 0  | 123          lb |  0                0                0.00  |
0.05/0.09	c | 0.09      | 0  | 124          lb |  0                0                0.00  |
0.05/0.09	c | 0.09      | 0  | 125          lb |  0                0                0.00  |
0.05/0.09	c | 0.10      | 0  | 126          lb |  0                0                0.00  |
0.09/0.10	c | 0.10      | 0  | 127          lb |  0                0                0.00  |
0.09/0.10	c | 0.10      | 0  | 128          lb |  0                0                0.00  |
0.09/0.10	c | 0.10      | 0  | 129          lb |  0                0                0.00  |
0.09/0.10	c | 0.10      | 0  | 130          lb |  0                0                0.00  |
0.09/0.10	c | 0.10      | 0  | 131          lb |  0                0                0.00  |
0.09/0.10	c | 0.10      | 0  | 132          lb |  0                0                0.00  |
0.09/0.10	c | 0.10      | 0  | 133          lb |  0                0                0.00  |
0.09/0.11	c | 0.11      | 0  | 134          lb |  0                0                0.00  |
0.09/0.11	c | 0.11      | 0  | 135          lb |  0                0                0.00  |
0.09/0.11	c | 0.11      | 0  | 136          lb |  0                0                0.00  |
0.09/0.11	c | 0.11      | 0  | 137          lb |  0                0                0.00  |
0.09/0.11	c | 0.11      | 0  | 138          lb |  0                0                0.00  |
0.09/0.11	c | 0.11      | 0  | 139          lb |  0                0                0.00  |
0.09/0.11	c | 0.11      | 0  | 140          lb |  0                0                0.00  |
0.09/0.12	c | 0.12      | 0  | 141          lb |  0                0                0.00  |
0.09/0.12	c | 0.12      | 0  | 142          lb |  0                0                0.00  |
0.09/0.12	c | 0.12      | 0  | 143          lb |  0                0                0.00  |
0.09/0.12	c | 0.12      | 0  | 144          lb |  0                0                0.00  |
0.09/0.12	c | 0.12      | 0  | 145          lb |  0                0                0.00  |
0.09/0.12	c | 0.12      | 0  | 146          lb |  0                0                0.00  |
0.09/0.13	c | 0.13      | 0  | 147          lb |  0                0                0.00  |
0.09/0.13	c | 0.13      | 0  | 148          lb |  0                0                0.00  |
0.09/0.13	c | 0.13      | 0  | 149          lb |  0                0                0.00  |
0.09/0.13	c | 0.14      | 0  | 150          lb |  0                0                0.00  |
0.09/0.14	c | 0.14      | 0  | 151          lb |  0                0                0.00  |
0.09/0.14	c | 0.14      | 0  | 152          lb |  0                0                0.00  |
0.09/0.14	c | 0.14      | 0  | 153          lb |  0                0                0.00  |
0.09/0.15	c | 0.15      | 0  | 154          lb |  0                0                0.00  |
0.09/0.15	c | 0.15      | 0  | 155          lb |  0                0                0.00  |
0.09/0.16	c | 0.16      | 0  | 156          lb |  0                0                0.00  |
0.09/0.17	c | 0.17      | 0  | 157          lb |  0                0                0.00  |
0.09/0.17	c | 0.17      | 0  | 158          lb |  0                0                0.00  |
0.09/0.17	c | 0.17      | 0  | 159          lb |  0                0                0.00  |
0.09/0.18	c | 0.18      | 0  | 160          lb |  0                0                0.00  |
0.09/0.18	c | 0.18      | 0  | 161          lb |  0                0                0.00  |
0.09/0.18	c | 0.19      | 0  | 162          lb |  0                0                0.00  |
0.09/0.19	c | 0.19      | 0  | 163          lb |  0                0                0.00  |
0.09/0.19	c | 0.19      | 0  | 164          lb |  0                0                0.00  |
0.19/0.20	c | 0.20      | 0  | 165          lb |  0                0                0.00  |
0.19/0.20	c | 0.20      | 0  | 166          lb |  0                0                0.00  |
0.19/0.24	c | 0.24      | 0  | 167          lb |  0                0                0.00  |
0.19/0.28	c | 0.28      | 0  | 168          lb |  0                0                0.00  |
0.78/0.86	c | 0.86      | 0  | 169          lb |  0                0                0.00  |
0.78/0.86	c | 0.86      | 0  | 170          lb |  0                0                0.00  |
0.88/0.91	c | 0.91      | 0  | 171          lb |  0                0                0.00  |
4.59/4.63	c | 4.64      | 0  | 172          lb |  0                0                0.00  |
4.59/4.67	c | 4.67      | 0  | 173          lb |  0                0                0.00  |
6.18/6.28	c | 6.28      | 0  | 174          lb |  0                0                0.00  |
6.38/6.49	c | 6.49      | 0  | 175          lb |  0                0                0.00  |
6.49/6.59	c | 6.59      | 0  | 176          lb |  0                0                0.00  |
283.47/283.64	c | 283.64    | 0  | 177          lb |  0                0                0.00  |
417.55/417.70	c | 417.70    | 0  | 178          lb |  0                0                0.00  |
732.49/732.77	c | 732.77    | 0  | 179          lb |  0                0                0.00  |
1799.56/1800.00	c ===============================================================================
1799.56/1800.00	c Wall Clock Time: 1800.00 s
1799.56/1800.00	s UNKNOWN

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3727330-1338655909/watcher-3727330-1338655909 -o /tmp/evaluation-result-3727330-1338655909/solver-3727330-1338655909 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727330-1338655909.opb 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 21309
/proc/meminfo: memFree=29012652/32873844 swapFree=6088/6088
[pid=21309] ppid=21307 vsize=3052 CPUtime=0 cores=1,3,5,7
/proc/21309/stat : 21309 (wbo1.72) R 21307 21309 18556 0 -1 4202496 277 0 0 0 0 0 0 0 20 0 1 0 331719374 3125248 230 33554432000 4194304 5964350 140733753313024 140737455284952 4344800 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/21309/statm: 763 230 158 433 0 316 0

[startup+0.0624551 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 21309
/proc/meminfo: memFree=29012652/32873844 swapFree=6088/6088
[pid=21309] ppid=21307 vsize=83848 CPUtime=0.05 cores=1,3,5,7
/proc/21309/stat : 21309 (wbo1.72) S 21307 21309 18556 0 -1 4202496 962 0 0 0 5 0 0 0 20 0 2 0 331719374 85860352 904 33554432000 4194304 5964350 140733753313024 140733753312544 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21309/statm: 20962 904 187 433 0 20526 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 83848

[startup+0.10012 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 21309
/proc/meminfo: memFree=29012652/32873844 swapFree=6088/6088
[pid=21309] ppid=21307 vsize=83848 CPUtime=0.09 cores=1,3,5,7
/proc/21309/stat : 21309 (wbo1.72) S 21307 21309 18556 0 -1 4202496 1077 0 0 0 9 0 0 0 20 0 2 0 331719374 85860352 1019 33554432000 4194304 5964350 140733753313024 140733753312544 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21309/statm: 20962 1019 190 433 0 20526 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83848

[startup+0.300119 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 21309
/proc/meminfo: memFree=29012652/32873844 swapFree=6088/6088
[pid=21309] ppid=21307 vsize=83848 CPUtime=0.29 cores=1,3,5,7
/proc/21309/stat : 21309 (wbo1.72) S 21307 21309 18556 0 -1 4202496 1335 0 0 0 29 0 0 0 20 0 2 0 331719374 85860352 1277 33554432000 4194304 5964350 140733753313024 140733753312544 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21309/statm: 20962 1277 192 433 0 20526 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83848

[startup+0.70011 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 21309
/proc/meminfo: memFree=29012652/32873844 swapFree=6088/6088
[pid=21309] ppid=21307 vsize=83848 CPUtime=0.68 cores=1,3,5,7
/proc/21309/stat : 21309 (wbo1.72) S 21307 21309 18556 0 -1 4202496 1712 0 0 0 68 0 0 0 20 0 2 0 331719374 85860352 1654 33554432000 4194304 5964350 140733753313024 140733753312544 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21309/statm: 20962 1654 192 433 0 20526 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 83848

[startup+1.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21311
/proc/meminfo: memFree=29005452/32873844 swapFree=6088/6088
[pid=21309] ppid=21307 vsize=83848 CPUtime=1.48 cores=1,3,5,7
/proc/21309/stat : 21309 (wbo1.72) S 21307 21309 18556 0 -1 4202496 2033 0 0 0 148 0 0 0 20 0 2 0 331719374 85860352 1975 33554432000 4194304 5964350 140733753313024 140733753312544 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21309/statm: 20962 1975 192 433 0 20526 0
[pid=21309/tid=21311] ppid=21307 vsize=83848 CPUtime=1.47 cores=1,3,5,7
/proc/21309/task/21311/stat : 21311 (wbo1.72) R 21307 21309 18556 0 -1 4202560 1278 0 0 0 147 0 0 0 20 0 2 0 331719375 85860352 1975 33554432000 4194304 5964350 140733753313024 140039027157528 4400007 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 83848

[startup+3.10021 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21311
/proc/meminfo: memFree=29003460/32873844 swapFree=6088/6088
[pid=21309] ppid=21307 vsize=83992 CPUtime=3.08 cores=1,3,5,7
/proc/21309/stat : 21309 (wbo1.72) S 21307 21309 18556 0 -1 4202496 2705 0 0 0 308 0 0 0 20 0 2 0 331719374 86007808 2647 33554432000 4194304 5964350 140733753313024 140733753312544 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21309/statm: 20998 2647 192 433 0 20562 0
[pid=21309/tid=21311] ppid=21307 vsize=83992 CPUtime=3.07 cores=1,3,5,7
/proc/21309/task/21311/stat : 21311 (wbo1.72) R 21307 21309 18556 0 -1 4202560 1950 0 0 0 307 0 0 0 20 0 2 0 331719375 86007808 2647 33554432000 4194304 5964350 140733753313024 140039027156792 4400009 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 83992

[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21311
/proc/meminfo: memFree=28998756/32873844 swapFree=6088/6088
[pid=21309] ppid=21307 vsize=83848 CPUtime=6.28 cores=1,3,5,7
/proc/21309/stat : 21309 (wbo1.72) S 21307 21309 18556 0 -1 4202496 3206 0 0 0 627 1 0 0 20 0 2 0 331719374 85860352 3120 33554432000 4194304 5964350 140733753313024 140733753312544 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21309/statm: 20962 3120 192 433 0 20526 0
[pid=21309/tid=21311] ppid=21307 vsize=83848 CPUtime=6.26 cores=1,3,5,7
/proc/21309/task/21311/stat : 21311 (wbo1.72) R 21307 21309 18556 0 -1 4202560 2451 0 0 0 626 0 0 0 20 0 2 0 331719375 85860352 3120 33554432000 4194304 5964350 140733753313024 140039027157528 4400007 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 83848

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21311
/proc/meminfo: memFree=28989952/32873844 swapFree=6088/6088
[pid=21309] ppid=21307 vsize=84064 CPUtime=12.68 cores=1,3,5,7
/proc/21309/stat : 21309 (wbo1.72) S 21307 21309 18556 0 -1 4202496 4545 0 0 0 1267 1 0 0 20 0 2 0 331719374 86081536 4459 33554432000 4194304 5964350 140733753313024 140733753312544 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21309/statm: 21016 4459 192 433 0 20580 0
[pid=21309/tid=21311] ppid=21307 vsize=84064 CPUtime=12.64 cores=1,3,5,7
/proc/21309/task/21311/stat : 21311 (wbo1.72) R 21307 21309 18556 0 -1 4202560 3790 0 0 0 1263 1 0 0 20 0 2 0 331719375 86081536 4459 33554432000 4194304 5964350 140733753313024 140039027156984 4399840 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 84064

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21312
/proc/meminfo: memFree=28968004/32873844 swapFree=6088/6088
[pid=21309] ppid=21307 vsize=84172 CPUtime=25.48 cores=1,3,5,7
/proc/21309/stat : 21309 (wbo1.72) S 21307 21309 18556 0 -1 4202496 8163 0 0 0 2546 2 0 0 20 0 2 0 331719374 86192128 8077 33554432000 4194304 5964350 140733753313024 140733753312544 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21309/statm: 21043 8077 192 433 0 20607 0
[pid=21309/tid=21311] ppid=21307 vsize=84172 CPUtime=25.4 cores=1,3,5,7
/proc/21309/task/21311/stat : 21311 (wbo1.72) R 21307 21309 18556 0 -1 4202560 7408 0 0 0 2538 2 0 0 20 0 2 0 331719375 86192128 8077 33554432000 4194304 5964350 140733753313024 140039027156792 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 84172

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21312
/proc/meminfo: memFree=28934476/32873844 swapFree=6088/6088
[pid=21309] ppid=21307 vsize=84332 CPUtime=51.07 cores=1,3,5,7
/proc/21309/stat : 21309 (wbo1.72) S 21307 21309 18556 0 -1 4202496 13716 0 0 0 5104 3 0 0 20 0 2 0 331719374 86355968 13630 33554432000 4194304 5964350 140733753313024 140733753312544 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21309/statm: 21083 13630 192 433 0 20647 0
[pid=21309/tid=21311] ppid=21307 vsize=84332 CPUtime=50.93 cores=1,3,5,7
/proc/21309/task/21311/stat : 21311 (wbo1.72) R 21307 21309 18556 0 -1 4202560 12961 0 0 0 5090 3 0 0 20 0 2 0 331719375 86355968 13630 33554432000 4194304 5964350 140733753313024 140039027156792 4400462 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 84332

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21312
/proc/meminfo: memFree=28903644/32873844 swapFree=6088/6088
[pid=21309] ppid=21307 vsize=150324 CPUtime=102.26 cores=1,3,5,7
/proc/21309/stat : 21309 (wbo1.72) S 21307 21309 18556 0 -1 4202496 19999 0 0 0 10221 5 0 0 20 0 2 0 331719374 153931776 19913 33554432000 4194304 5964350 140733753313024 140733753312544 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21309/statm: 37581 19913 192 433 0 37145 0
[pid=21309/tid=21311] ppid=21307 vsize=150324 CPUtime=102.01 cores=1,3,5,7
/proc/21309/task/21311/stat : 21311 (wbo1.72) R 21307 21309 18556 0 -1 4202560 19244 0 0 0 10195 6 0 0 20 0 2 0 331719375 153931776 19913 33554432000 4194304 5964350 140733753313024 140039027156984 4399895 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 150324

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21312
/proc/meminfo: memFree=28861892/32873844 swapFree=6088/6088
[pid=21309] ppid=21307 vsize=152916 CPUtime=162.23 cores=1,3,5,7
/proc/21309/stat : 21309 (wbo1.72) S 21307 21309 18556 0 -1 4202496 28206 0 0 0 16214 9 0 0 20 0 2 0 331719374 156585984 28286 33554432000 4194304 5964350 140733753313024 140733753312544 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21309/statm: 38229 28286 192 433 0 37793 0
[pid=21309/tid=21311] ppid=21307 vsize=152916 CPUtime=161.83 cores=1,3,5,7
/proc/21309/task/21311/stat : 21311 (wbo1.72) R 21307 21309 18556 0 -1 4202560 27451 0 0 0 16172 11 0 0 20 0 2 0 331719375 156585984 28286 33554432000 4194304 5964350 140733753313024 140039027157032 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 152916

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21312
/proc/meminfo: memFree=28822384/32873844 swapFree=6088/6088
[pid=21309] ppid=21307 vsize=156264 CPUtime=222.17 cores=1,3,5,7
/proc/21309/stat : 21309 (wbo1.72) S 21307 21309 18556 0 -1 4202496 32939 0 0 0 22206 11 0 0 20 0 2 0 331719374 160014336 34230 33554432000 4194304 5964350 140733753313024 140733753312544 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21309/statm: 39066 34230 192 433 0 38630 0
[pid=21309/tid=21311] ppid=21307 vsize=156264 CPUtime=221.64 cores=1,3,5,7
/proc/21309/task/21311/stat : 21311 (wbo1.72) R 21307 21309 18556 0 -1 4202560 32184 0 0 0 22150 14 0 0 20 0 2 0 331719375 160014336 34230 33554432000 4194304 5964350 140733753313024 140039027156792 4399996 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 156264

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21312
/proc/meminfo: memFree=28758164/32873844 swapFree=6088/6088
[pid=21309] ppid=21307 vsize=230792 CPUtime=282.17 cores=1,3,5,7
/proc/21309/stat : 21309 (wbo1.72) S 21307 21309 18556 0 -1 4202496 44334 0 0 0 28201 16 0 0 20 0 2 0 331719374 236331008 45603 33554432000 4194304 5964350 140733753313024 140733753312544 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21309/statm: 57698 45603 192 433 0 57262 0
[pid=21309/tid=21311] ppid=21307 vsize=230792 CPUtime=281.48 cores=1,3,5,7
/proc/21309/task/21311/stat : 21311 (wbo1.72) R 21307 21309 18556 0 -1 4202560 43579 0 0 0 28129 19 0 0 20 0 2 0 331719375 236331008 45603 33554432000 4194304 5964350 140733753313024 140039027157048 4398404 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 230792

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21313
/proc/meminfo: memFree=28741176/32873844 swapFree=6088/6088
[pid=21309] ppid=21307 vsize=214920 CPUtime=342.16 cores=1,3,5,7
/proc/21309/stat : 21309 (wbo1.72) S 21307 21309 18556 0 -1 4202496 44461 0 0 0 34200 16 0 0 20 0 2 0 331719374 220078080 42682 33554432000 4194304 5964350 140733753313024 140733753312544 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21309/statm: 53730 42682 192 433 0 53294 0
[pid=21309/tid=21311] ppid=21307 vsize=214920 CPUtime=341.33 cores=1,3,5,7
/proc/21309/task/21311/stat : 21311 (wbo1.72) R 21307 21309 18556 0 -1 4202560 43706 0 0 0 34112 21 0 0 20 0 2 0 331719375 220078080 42682 33554432000 4194304 5964350 140733753313024 140039027157944 4400352 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 214920

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21313
/proc/meminfo: memFree=28737456/32873844 swapFree=6088/6088
[pid=21309] ppid=21307 vsize=214920 CPUtime=402.15 cores=1,3,5,7
/proc/21309/stat : 21309 (wbo1.72) S 21307 21309 18556 0 -1 4202496 44461 0 0 0 40199 16 0 0 20 0 2 0 331719374 220078080 42682 33554432000 4194304 5964350 140733753313024 140733753312544 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21309/statm: 53730 42682 192 433 0 53294 0
[pid=21309/tid=21311] ppid=21307 vsize=214920 CPUtime=401.18 cores=1,3,5,7
/proc/21309/task/21311/stat : 21311 (wbo1.72) R 21307 21309 18556 0 -1 4202560 43706 0 0 0 40096 22 0 0 20 0 2 0 331719375 220078080 42682 33554432000 4194304 5964350 140733753313024 140039027157944 4400017 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 214920

[startup+462.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 21313
/proc/meminfo: memFree=28725640/32873844 swapFree=6088/6088
[pid=21309] ppid=21307 vsize=214920 CPUtime=462.13 cores=1,3,5,7

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


[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21385
/proc/meminfo: memFree=28258296/32873844 swapFree=6088/6088
[pid=21309] ppid=21307 vsize=345992 CPUtime=1421.98 cores=1,3,5,7
/proc/21309/stat : 21309 (wbo1.72) S 21307 21309 18556 0 -1 4202496 70272 0 0 0 142163 35 0 0 20 0 2 0 331719374 354295808 69068 33554432000 4194304 5964350 140733753313024 140733753312544 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21309/statm: 86498 69068 192 433 0 86062 0
[pid=21309/tid=21311] ppid=21307 vsize=345992 CPUtime=1418.55 cores=1,3,5,7
/proc/21309/task/21311/stat : 21311 (wbo1.72) R 21307 21309 18556 0 -1 4202560 69517 0 0 0 141799 56 0 0 20 0 2 0 331719375 354295808 69068 33554432000 4194304 5964350 140733753313024 140039027156792 5136340 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 345992

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21385
/proc/meminfo: memFree=28201036/32873844 swapFree=6088/6088
[pid=21309] ppid=21307 vsize=345992 CPUtime=1481.96 cores=1,3,5,7
/proc/21309/stat : 21309 (wbo1.72) S 21307 21309 18556 0 -1 4202496 71127 0 0 0 148160 36 0 0 20 0 2 0 331719374 354295808 69923 33554432000 4194304 5964350 140733753313024 140733753312544 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21309/statm: 86498 69923 192 433 0 86062 0
[pid=21309/tid=21311] ppid=21307 vsize=345992 CPUtime=1478.39 cores=1,3,5,7
/proc/21309/task/21311/stat : 21311 (wbo1.72) R 21307 21309 18556 0 -1 4202560 70372 0 0 0 147781 58 0 0 20 0 2 0 331719375 354295808 69923 33554432000 4194304 5964350 140733753313024 140039027156984 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 345992

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21385
/proc/meminfo: memFree=28175148/32873844 swapFree=6088/6088
[pid=21309] ppid=21307 vsize=345992 CPUtime=1541.95 cores=1,3,5,7
/proc/21309/stat : 21309 (wbo1.72) S 21307 21309 18556 0 -1 4202496 71127 0 0 0 154159 36 0 0 20 0 2 0 331719374 354295808 69923 33554432000 4194304 5964350 140733753313024 140733753312544 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21309/statm: 86498 69923 192 433 0 86062 0
[pid=21309/tid=21311] ppid=21307 vsize=345992 CPUtime=1538.24 cores=1,3,5,7
/proc/21309/task/21311/stat : 21311 (wbo1.72) R 21307 21309 18556 0 -1 4202560 70372 0 0 0 153765 59 0 0 20 0 2 0 331719375 354295808 69923 33554432000 4194304 5964350 140733753313024 140039027156984 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 345992

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21386
/proc/meminfo: memFree=28152360/32873844 swapFree=6088/6088
[pid=21309] ppid=21307 vsize=345992 CPUtime=1601.94 cores=1,3,5,7
/proc/21309/stat : 21309 (wbo1.72) S 21307 21309 18556 0 -1 4202496 73278 0 0 0 160155 39 0 0 20 0 2 0 331719374 354295808 72074 33554432000 4194304 5964350 140733753313024 140733753312544 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21309/statm: 86498 72074 192 433 0 86062 0
[pid=21309/tid=21311] ppid=21307 vsize=345992 CPUtime=1598.09 cores=1,3,5,7
/proc/21309/task/21311/stat : 21311 (wbo1.72) R 21307 21309 18556 0 -1 4202560 72523 0 0 0 159746 63 0 0 20 0 2 0 331719375 354295808 72074 33554432000 4194304 5964350 140733753313024 140039027156792 4400003 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 345992

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21386
/proc/meminfo: memFree=28148668/32873844 swapFree=6088/6088
[pid=21309] ppid=21307 vsize=345992 CPUtime=1661.93 cores=1,3,5,7
/proc/21309/stat : 21309 (wbo1.72) S 21307 21309 18556 0 -1 4202496 74139 0 0 0 166154 39 0 0 20 0 2 0 331719374 354295808 72932 33554432000 4194304 5964350 140733753313024 140733753312544 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21309/statm: 86498 72932 192 433 0 86062 0
[pid=21309/tid=21311] ppid=21307 vsize=345992 CPUtime=1657.93 cores=1,3,5,7
/proc/21309/task/21311/stat : 21311 (wbo1.72) R 21307 21309 18556 0 -1 4202560 73384 0 0 0 165729 64 0 0 20 0 2 0 331719375 354295808 72932 33554432000 4194304 5964350 140733753313024 140039027156856 4400023 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 345992

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21389
/proc/meminfo: memFree=28120388/32873844 swapFree=6088/6088
[pid=21309] ppid=21307 vsize=345992 CPUtime=1721.9 cores=1,3,5,7
/proc/21309/stat : 21309 (wbo1.72) S 21307 21309 18556 0 -1 4202496 79545 0 0 0 172147 43 0 0 20 0 2 0 331719374 354295808 78589 33554432000 4194304 5964350 140733753313024 140733753312544 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21309/statm: 86498 78589 192 433 0 86062 0
[pid=21309/tid=21311] ppid=21307 vsize=345992 CPUtime=1717.76 cores=1,3,5,7
/proc/21309/task/21311/stat : 21311 (wbo1.72) R 21307 21309 18556 0 -1 4202560 78790 0 0 0 171707 69 0 0 20 0 2 0 331719375 354295808 78589 33554432000 4194304 5964350 140733753313024 140039027156984 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 345992

[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 21389
/proc/meminfo: memFree=28099792/32873844 swapFree=6088/6088
[pid=21309] ppid=21307 vsize=347616 CPUtime=1781.86 cores=1,3,5,7
/proc/21309/stat : 21309 (wbo1.72) S 21307 21309 18556 0 -1 4202496 83917 0 0 0 178140 46 0 0 20 0 2 0 331719374 355958784 83642 33554432000 4194304 5964350 140733753313024 140733753312544 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21309/statm: 86904 83642 192 433 0 86468 0
[pid=21309/tid=21311] ppid=21307 vsize=347616 CPUtime=1777.57 cores=1,3,5,7
/proc/21309/task/21311/stat : 21311 (wbo1.72) R 21307 21309 18556 0 -1 4202560 83162 0 0 0 177685 72 0 0 20 0 2 0 331719375 355958784 83642 33554432000 4194304 5964350 140733753313024 140039027156792 4400009 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 347616

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

[startup+1791.91 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 21389
/proc/meminfo: memFree=28099544/32873844 swapFree=6088/6088
[pid=21309] ppid=21307 vsize=413152 CPUtime=1791.46 cores=1,3,5,7
/proc/21309/stat : 21309 (wbo1.72) S 21307 21309 18556 0 -1 4202496 84017 0 0 0 179100 46 0 0 20 0 2 0 331719374 423067648 83742 33554432000 4194304 5964350 140733753313024 140733753312544 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21309/statm: 103288 83742 192 433 0 102852 0
[pid=21309/tid=21311] ppid=21307 vsize=413152 CPUtime=1787.15 cores=1,3,5,7
/proc/21309/task/21311/stat : 21311 (wbo1.72) R 21307 21309 18556 0 -1 4202560 83262 0 0 0 178643 72 0 0 20 0 2 0 331719375 423067648 83742 33554432000 4194304 5964350 140733753313024 140039027156744 4400011 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1791.46
Current children cumulated vsize (KiB) 413152

[startup+1795.1 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 21389
/proc/meminfo: memFree=28099668/32873844 swapFree=6088/6088
[pid=21309] ppid=21307 vsize=413152 CPUtime=1794.66 cores=1,3,5,7
/proc/21309/stat : 21309 (wbo1.72) S 21307 21309 18556 0 -1 4202496 84017 0 0 0 179420 46 0 0 20 0 2 0 331719374 423067648 83742 33554432000 4194304 5964350 140733753313024 140733753312544 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21309/statm: 103288 83742 192 433 0 102852 0
[pid=21309/tid=21311] ppid=21307 vsize=413152 CPUtime=1790.34 cores=1,3,5,7
/proc/21309/task/21311/stat : 21311 (wbo1.72) R 21307 21309 18556 0 -1 4202560 83262 0 0 0 178962 72 0 0 20 0 2 0 331719375 423067648 83742 33554432000 4194304 5964350 140733753313024 140039027156744 4400011 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1794.66
Current children cumulated vsize (KiB) 413152

[startup+1798.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 21389
/proc/meminfo: memFree=28099668/32873844 swapFree=6088/6088
[pid=21309] ppid=21307 vsize=413152 CPUtime=1797.86 cores=1,3,5,7
/proc/21309/stat : 21309 (wbo1.72) S 21307 21309 18556 0 -1 4202496 84055 0 0 0 179740 46 0 0 20 0 2 0 331719374 423067648 83780 33554432000 4194304 5964350 140733753313024 140733753312544 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21309/statm: 103288 83780 192 433 0 102852 0
[pid=21309/tid=21311] ppid=21307 vsize=413152 CPUtime=1793.53 cores=1,3,5,7
/proc/21309/task/21311/stat : 21311 (wbo1.72) R 21307 21309 18556 0 -1 4202560 83300 0 0 0 179281 72 0 0 20 0 2 0 331719375 423067648 83780 33554432000 4194304 5964350 140733753313024 140039027156744 4400352 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1797.86
Current children cumulated vsize (KiB) 413152

[startup+1799.1 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 21389
/proc/meminfo: memFree=28099668/32873844 swapFree=6088/6088
[pid=21309] ppid=21307 vsize=413152 CPUtime=1798.66 cores=1,3,5,7
/proc/21309/stat : 21309 (wbo1.72) S 21307 21309 18556 0 -1 4202496 84062 0 0 0 179820 46 0 0 20 0 2 0 331719374 423067648 83787 33554432000 4194304 5964350 140733753313024 140733753312544 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21309/statm: 103288 83787 192 433 0 102852 0
[pid=21309/tid=21311] ppid=21307 vsize=413152 CPUtime=1794.32 cores=1,3,5,7
/proc/21309/task/21311/stat : 21311 (wbo1.72) R 21307 21309 18556 0 -1 4202560 83307 0 0 0 179360 72 0 0 20 0 2 0 331719375 423067648 83787 33554432000 4194304 5964350 140733753313024 140039027156792 4399987 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1798.66
Current children cumulated vsize (KiB) 413152

[startup+1799.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 21389
/proc/meminfo: memFree=28099420/32873844 swapFree=6088/6088
[pid=21309] ppid=21307 vsize=413152 CPUtime=1799.06 cores=1,3,5,7
/proc/21309/stat : 21309 (wbo1.72) S 21307 21309 18556 0 -1 4202496 84064 0 0 0 179860 46 0 0 20 0 2 0 331719374 423067648 83789 33554432000 4194304 5964350 140733753313024 140733753312544 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21309/statm: 103288 83789 192 433 0 102852 0
[pid=21309/tid=21311] ppid=21307 vsize=413152 CPUtime=1794.73 cores=1,3,5,7
/proc/21309/task/21311/stat : 21311 (wbo1.72) R 21307 21309 18556 0 -1 4202560 83309 0 0 0 179401 72 0 0 20 0 2 0 331719375 423067648 83789 33554432000 4194304 5964350 140733753313024 140039027156792 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.06
Current children cumulated vsize (KiB) 413152

[startup+1799.9 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 21389
/proc/meminfo: memFree=28099420/32873844 swapFree=6088/6088
[pid=21309] ppid=21307 vsize=413152 CPUtime=1799.46 cores=1,3,5,7
/proc/21309/stat : 21309 (wbo1.72) S 21307 21309 18556 0 -1 4202496 84065 0 0 0 179900 46 0 0 20 0 2 0 331719374 423067648 83790 33554432000 4194304 5964350 140733753313024 140733753312544 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21309/statm: 103288 83790 192 433 0 102852 0
[pid=21309/tid=21311] ppid=21307 vsize=413152 CPUtime=1795.12 cores=1,3,5,7
/proc/21309/task/21311/stat : 21311 (wbo1.72) R 21307 21309 18556 0 -1 4202560 83310 0 0 0 179440 72 0 0 20 0 2 0 331719375 423067648 83790 33554432000 4194304 5964350 140733753313024 140039027156792 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.46
Current children cumulated vsize (KiB) 413152

[startup+1800 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 21389
/proc/meminfo: memFree=28099420/32873844 swapFree=6088/6088
[pid=21309] ppid=21307 vsize=413152 CPUtime=1799.56 cores=1,3,5,7
/proc/21309/stat : 21309 (wbo1.72) S 21307 21309 18556 0 -1 4202496 84065 0 0 0 179910 46 0 0 20 0 2 0 331719374 423067648 83790 33554432000 4194304 5964350 140733753313024 140733753312544 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21309/statm: 103288 83790 192 433 0 102852 0
[pid=21309/tid=21311] ppid=21307 vsize=413152 CPUtime=1795.22 cores=1,3,5,7
/proc/21309/task/21311/stat : 21311 (wbo1.72) R 21307 21309 18556 0 -1 4202560 83310 0 0 0 179450 72 0 0 20 0 2 0 331719375 423067648 83790 33554432000 4194304 5964350 140733753313024 140039027156792 4400035 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.56
Current children cumulated vsize (KiB) 413152

Child status: 255

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21309 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=510192
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=741887
# CPU time returned by wait4() is 1795.25
# while last known CPU time is 1799.56
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.01
CPU time (s): 1799.56
CPU user time (s): 1799.1
CPU system time (s): 0.46
CPU usage (%): 99.9752
Max. virtual memory (cumulated for all children) (KiB): 413152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.51
system time used= 0.741887
maximum resident set size= 335168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84067
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= 144
involuntary context switches= 1955

runsolver used 2.68559 second user time and 7.14091 second system time

The end

Launcher Data

Begin job on node110 at 2012-06-02 18:51:49
IDJOB=3727330
IDBENCH=2072
IDSOLVER=2313
FILE ID=node110/3727330-1338655909
RUNJOBID= node110-1338651355-20283
PBS_JOBID= 14636470
Free space on /tmp= 71132 MiB

SOLVER NAME= wbo 1.72
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-6_0-yes1-4.opb
COMMAND LINE= wbo1.72 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3727330-1338655909/watcher-3727330-1338655909 -o /tmp/evaluation-result-3727330-1338655909/solver-3727330-1338655909 -C 1800 -W 1900 -M 15500  wbo1.72 -file-format=opb HOME/instance-3727330-1338655909.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 8cf8fb760748f7e5d9e3b99aa5c9f720
RANDOM SEED=113675554

node110.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.893
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.893
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.893
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.893
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.893
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.893
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.893
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.893
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29013412 kB
Buffers:          392776 kB
Cached:          2385132 kB
SwapCached:          604 kB
Active:          1479980 kB
Inactive:        1533976 kB
Active(anon):     226012 kB
Inactive(anon):    12328 kB
Active(file):    1253968 kB
Inactive(file):  1521648 kB
Unevictable:        6088 kB
Mlocked:            6088 kB
SwapTotal:      67108856 kB
SwapFree:       67107364 kB
Dirty:              5408 kB
Writeback:             0 kB
AnonPages:        227396 kB
Mapped:            12344 kB
Shmem:                40 kB
Slab:             705444 kB
SReclaimable:     147796 kB
SUnreclaim:       557648 kB
KernelStack:        1440 kB
PageTables:         4128 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     132924 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71124 MiB
End job on node110 at 2012-06-02 19:21:50