Trace number 3704982

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.7? 1799.77 1800.03

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-mod010.opb
MD5SUM0155c0c96434984f6ded6bb7ada20c0c
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark6548
Best CPU time to get the best result obtained on this benchmark0.591909
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 6548
Optimality of the best value was proved YES
Number of variables2655
Total number of constraints146
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)145
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint4
Maximum length of a constraint2655
Number of terms in the objective function 2655
Biggest coefficient in the objective function 266
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 489211
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 266
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 489211
Number of bits of the biggest sum of numbers19
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.7 beta - March, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3704982-1338085882.opb.
0.00/0.00	c Instance file HOME/instance-3704982-1338085882.opb
0.00/0.00	c File size is 125155 bytes.
0.00/0.01	c Cost Offset: 0
0.00/0.01	c Highest Coefficient sum: 2701
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Parsing time:          0.01         s                                      |
0.00/0.01	c |  Number Variables:      2655                                                |
0.00/0.01	c |  Number Clauses:        144                                                 |
0.00/0.01	c |  Number Cardinality:    146                                                 |
0.00/0.01	c |  Number PB Constraints: 1                                                   |
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Problem Type:          Optimization                                        |
0.00/0.01	c |  Objective Function:    PB Constraint                                       |
0.00/0.01	c |                                                                             |
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Time (s)  | ID |      Bound      |               Shared Clauses             |
0.00/0.01	c |           |    | value      type |  expCls         impCls        Lit/impCl  |
0.00/0.01	c ===============================================================================
0.00/0.01	c | 0.02      | 0  | 180          lb |  0                0                0.00  |
0.00/0.02	c | 0.02      | 0  | 233          lb |  0                0                0.00  |
0.00/0.02	c | 0.02      | 0  | 266          lb |  0                0                0.00  |
0.00/0.02	c | 0.02      | 0  | 278          lb |  0                0                0.00  |
0.00/0.02	c | 0.02      | 0  | 296          lb |  0                0                0.00  |
0.00/0.02	c | 0.03      | 0  | 321          lb |  0                0                0.00  |
0.00/0.02	c | 0.03      | 0  | 323          lb |  0                0                0.00  |
0.00/0.03	c | 0.03      | 0  | 463          lb |  0                0                0.00  |
0.00/0.03	c | 0.03      | 0  | 487          lb |  0                0                0.00  |
0.00/0.03	c | 0.03      | 0  | 488          lb |  0                0                0.00  |
0.00/0.03	c | 0.04      | 0  | 497          lb |  0                0                0.00  |
0.00/0.03	c | 0.04      | 0  | 499          lb |  0                0                0.00  |
0.00/0.04	c | 0.04      | 0  | 513          lb |  0                0                0.00  |
0.00/0.04	c | 0.04      | 0  | 541          lb |  0                0                0.00  |
0.00/0.04	c | 0.04      | 0  | 550          lb |  0                0                0.00  |
0.00/0.04	c | 0.05      | 0  | 551          lb |  0                0                0.00  |
0.00/0.05	c | 0.05      | 0  | 591          lb |  0                0                0.00  |
0.00/0.05	c | 0.05      | 0  | 595          lb |  0                0                0.00  |
0.00/0.05	c | 0.05      | 0  | 602          lb |  0                0                0.00  |
0.00/0.05	c | 0.06      | 0  | 605          lb |  0                0                0.00  |
0.00/0.06	c | 0.06      | 0  | 620          lb |  0                0                0.00  |
0.00/0.06	c | 0.06      | 0  | 624          lb |  0                0                0.00  |
0.00/0.06	c | 0.07      | 0  | 644          lb |  0                0                0.00  |
0.00/0.06	c | 0.07      | 0  | 722          lb |  0                0                0.00  |
0.00/0.07	c | 0.07      | 0  | 748          lb |  0                0                0.00  |
0.00/0.07	c | 0.07      | 0  | 749          lb |  0                0                0.00  |
0.00/0.07	c | 0.08      | 0  | 843          lb |  0                0                0.00  |
0.00/0.08	c | 0.08      | 0  | 883          lb |  0                0                0.00  |
0.00/0.08	c | 0.08      | 0  | 889          lb |  0                0                0.00  |
0.00/0.08	c | 0.09      | 0  | 891          lb |  0                0                0.00  |
0.00/0.08	c | 0.09      | 0  | 911          lb |  0                0                0.00  |
0.08/0.09	c | 0.09      | 0  | 912          lb |  0                0                0.00  |
0.08/0.09	c | 0.09      | 0  | 925          lb |  0                0                0.00  |
0.08/0.09	c | 0.10      | 0  | 927          lb |  0                0                0.00  |
0.09/0.10	c | 0.10      | 0  | 930          lb |  0                0                0.00  |
0.09/0.10	c | 0.10      | 0  | 932          lb |  0                0                0.00  |
0.09/0.10	c | 0.11      | 0  | 967          lb |  0                0                0.00  |
0.09/0.11	c | 0.11      | 0  | 1022         lb |  0                0                0.00  |
0.09/0.11	c | 0.11      | 0  | 1110         lb |  0                0                0.00  |
0.09/0.11	c | 0.12      | 0  | 1111         lb |  0                0                0.00  |
0.09/0.12	c | 0.12      | 0  | 1114         lb |  0                0                0.00  |
0.09/0.12	c | 0.12      | 0  | 1115         lb |  0                0                0.00  |
0.09/0.12	c | 0.13      | 0  | 1117         lb |  0                0                0.00  |
0.09/0.13	c | 0.13      | 0  | 1119         lb |  0                0                0.00  |
0.09/0.13	c | 0.14      | 0  | 1121         lb |  0                0                0.00  |
0.09/0.14	c | 0.14      | 0  | 1155         lb |  0                0                0.00  |
0.09/0.14	c | 0.14      | 0  | 1196         lb |  0                0                0.00  |
0.09/0.14	c | 0.15      | 0  | 1228         lb |  0                0                0.00  |
0.09/0.15	c | 0.15      | 0  | 1265         lb |  0                0                0.00  |
0.09/0.15	c | 0.15      | 0  | 1266         lb |  0                0                0.00  |
0.09/0.15	c | 0.16      | 0  | 1285         lb |  0                0                0.00  |
0.09/0.16	c | 0.16      | 0  | 1372         lb |  0                0                0.00  |
0.09/0.16	c | 0.17      | 0  | 1376         lb |  0                0                0.00  |
0.09/0.17	c | 0.17      | 0  | 1382         lb |  0                0                0.00  |
0.09/0.17	c | 0.17      | 0  | 1403         lb |  0                0                0.00  |
0.09/0.17	c | 0.18      | 0  | 1426         lb |  0                0                0.00  |
0.09/0.18	c | 0.18      | 0  | 1427         lb |  0                0                0.00  |
0.09/0.18	c | 0.19      | 0  | 1453         lb |  0                0                0.00  |
0.09/0.19	c | 0.19      | 0  | 1465         lb |  0                0                0.00  |
0.09/0.19	c | 0.20      | 0  | 1466         lb |  0                0                0.00  |
0.19/0.20	c | 0.20      | 0  | 1478         lb |  0                0                0.00  |
0.19/0.20	c | 0.20      | 0  | 1482         lb |  0                0                0.00  |
0.19/0.21	c | 0.21      | 0  | 1490         lb |  0                0                0.00  |
0.19/0.21	c | 0.21      | 0  | 1494         lb |  0                0                0.00  |
0.19/0.22	c | 0.22      | 0  | 1575         lb |  0                0                0.00  |
0.19/0.22	c | 0.22      | 0  | 1656         lb |  0                0                0.00  |
0.19/0.23	c | 0.23      | 0  | 1694         lb |  0                0                0.00  |
0.19/0.23	c | 0.23      | 0  | 1695         lb |  0                0                0.00  |
0.19/0.24	c | 0.24      | 0  | 1698         lb |  0                0                0.00  |
0.19/0.24	c | 0.24      | 0  | 1699         lb |  0                0                0.00  |
0.19/0.25	c | 0.25      | 0  | 1703         lb |  0                0                0.00  |
0.19/0.25	c | 0.26      | 0  | 1709         lb |  0                0                0.00  |
0.19/0.26	c | 0.26      | 0  | 1711         lb |  0                0                0.00  |
0.19/0.26	c | 0.27      | 0  | 1713         lb |  0                0                0.00  |
0.19/0.27	c | 0.27      | 0  | 1722         lb |  0                0                0.00  |
0.19/0.27	c | 0.28      | 0  | 1733         lb |  0                0                0.00  |
0.19/0.28	c | 0.28      | 0  | 1755         lb |  0                0                0.00  |
0.19/0.28	c | 0.29      | 0  | 1779         lb |  0                0                0.00  |
0.19/0.29	c | 0.29      | 0  | 1780         lb |  0                0                0.00  |
0.29/0.30	c | 0.30      | 0  | 1781         lb |  0                0                0.00  |
0.29/0.30	c | 0.31      | 0  | 1782         lb |  0                0                0.00  |
0.29/0.31	c | 0.31      | 0  | 1826         lb |  0                0                0.00  |
0.29/0.31	c | 0.32      | 0  | 1827         lb |  0                0                0.00  |
0.29/0.32	c | 0.33      | 0  | 1851         lb |  0                0                0.00  |
0.29/0.33	c | 0.33      | 0  | 1879         lb |  0                0                0.00  |
0.29/0.33	c | 0.34      | 0  | 1880         lb |  0                0                0.00  |
0.29/0.34	c | 0.34      | 0  | 1895         lb |  0                0                0.00  |
0.29/0.35	c | 0.35      | 0  | 1896         lb |  0                0                0.00  |
0.29/0.35	c | 0.36      | 0  | 1901         lb |  0                0                0.00  |
0.29/0.36	c | 0.36      | 0  | 1907         lb |  0                0                0.00  |
0.29/0.37	c | 0.37      | 0  | 1916         lb |  0                0                0.00  |
0.29/0.37	c | 0.38      | 0  | 1917         lb |  0                0                0.00  |
0.29/0.38	c | 0.39      | 0  | 1918         lb |  0                0                0.00  |
0.29/0.39	c | 0.39      | 0  | 1921         lb |  0                0                0.00  |
0.39/0.40	c | 0.40      | 0  | 1924         lb |  0                0                0.00  |
0.39/0.40	c | 0.41      | 0  | 1936         lb |  0                0                0.00  |
0.39/0.41	c | 0.41      | 0  | 1946         lb |  0                0                0.00  |
0.39/0.42	c | 0.42      | 0  | 1949         lb |  0                0                0.00  |
0.39/0.43	c | 0.43      | 0  | 1967         lb |  0                0                0.00  |
0.39/0.43	c | 0.44      | 0  | 1977         lb |  0                0                0.00  |
0.39/0.44	c | 0.44      | 0  | 1997         lb |  0                0                0.00  |
0.39/0.45	c | 0.45      | 0  | 2000         lb |  0                0                0.00  |
0.39/0.45	c | 0.46      | 0  | 2001         lb |  0                0                0.00  |
0.39/0.46	c | 0.47      | 0  | 2002         lb |  0                0                0.00  |
0.39/0.47	c | 0.47      | 0  | 2004         lb |  0                0                0.00  |
0.39/0.48	c | 0.48      | 0  | 2012         lb |  0                0                0.00  |
0.39/0.49	c | 0.49      | 0  | 2015         lb |  0                0                0.00  |
0.39/0.49	c | 0.50      | 0  | 2029         lb |  0                0                0.00  |
0.49/0.50	c | 0.51      | 0  | 2031         lb |  0                0                0.00  |
0.49/0.51	c | 0.51      | 0  | 2043         lb |  0                0                0.00  |
0.49/0.52	c | 0.52      | 0  | 2045         lb |  0                0                0.00  |
0.49/0.53	c | 0.53      | 0  | 2085         lb |  0                0                0.00  |
0.49/0.53	c | 0.54      | 0  | 2113         lb |  0                0                0.00  |
0.49/0.54	c | 0.55      | 0  | 2160         lb |  0                0                0.00  |
0.49/0.55	c | 0.55      | 0  | 2176         lb |  0                0                0.00  |
0.49/0.56	c | 0.56      | 0  | 2180         lb |  0                0                0.00  |
0.49/0.57	c | 0.57      | 0  | 2189         lb |  0                0                0.00  |
0.49/0.57	c | 0.58      | 0  | 2197         lb |  0                0                0.00  |
0.49/0.58	c | 0.59      | 0  | 2199         lb |  0                0                0.00  |
0.49/0.59	c | 0.59      | 0  | 2202         lb |  0                0                0.00  |
0.58/0.60	c | 0.60      | 0  | 2203         lb |  0                0                0.00  |
0.58/0.61	c | 0.61      | 0  | 2210         lb |  0                0                0.00  |
0.58/0.62	c | 0.62      | 0  | 2233         lb |  0                0                0.00  |
0.58/0.62	c | 0.63      | 0  | 2253         lb |  0                0                0.00  |
0.58/0.63	c | 0.64      | 0  | 2254         lb |  0                0                0.00  |
0.58/0.64	c | 0.65      | 0  | 2259         lb |  0                0                0.00  |
0.58/0.65	c | 0.65      | 0  | 2267         lb |  0                0                0.00  |
0.58/0.66	c | 0.66      | 0  | 2278         lb |  0                0                0.00  |
0.58/0.67	c | 0.67      | 0  | 2279         lb |  0                0                0.00  |
0.58/0.68	c | 0.68      | 0  | 2282         lb |  0                0                0.00  |
0.58/0.69	c | 0.69      | 0  | 2284         lb |  0                0                0.00  |
0.58/0.69	c | 0.70      | 0  | 2288         lb |  0                0                0.00  |
0.68/0.70	c | 0.71      | 0  | 2310         lb |  0                0                0.00  |
0.68/0.71	c | 0.72      | 0  | 2331         lb |  0                0                0.00  |
0.68/0.72	c | 0.73      | 0  | 2353         lb |  0                0                0.00  |
0.68/0.73	c | 0.73      | 0  | 2354         lb |  0                0                0.00  |
0.68/0.74	c | 0.74      | 0  | 2391         lb |  0                0                0.00  |
0.68/0.75	c | 0.75      | 0  | 2395         lb |  0                0                0.00  |
0.68/0.76	c | 0.76      | 0  | 2412         lb |  0                0                0.00  |
0.68/0.77	c | 0.77      | 0  | 2416         lb |  0                0                0.00  |
0.68/0.78	c | 0.78      | 0  | 2417         lb |  0                0                0.00  |
0.68/0.79	c | 0.79      | 0  | 2418         lb |  0                0                0.00  |
0.78/0.80	c | 0.80      | 0  | 2426         lb |  0                0                0.00  |
0.78/0.81	c | 0.81      | 0  | 2517         lb |  0                0                0.00  |
0.78/0.82	c | 0.82      | 0  | 2519         lb |  0                0                0.00  |
0.78/0.83	c | 0.83      | 0  | 2522         lb |  0                0                0.00  |
0.78/0.84	c | 0.84      | 0  | 2576         lb |  0                0                0.00  |
0.78/0.85	c | 0.85      | 0  | 2579         lb |  0                0                0.00  |
0.78/0.86	c | 0.86      | 0  | 2581         lb |  0                0                0.00  |
0.78/0.87	c | 0.87      | 0  | 2583         lb |  0                0                0.00  |
0.78/0.88	c | 0.88      | 0  | 2584         lb |  0                0                0.00  |
0.78/0.89	c | 0.89      | 0  | 2589         lb |  0                0                0.00  |
0.89/0.90	c | 0.90      | 0  | 2591         lb |  0                0                0.00  |
0.89/0.91	c | 0.92      | 0  | 2594         lb |  0                0                0.00  |
0.89/0.92	c | 0.93      | 0  | 2596         lb |  0                0                0.00  |
0.89/0.93	c | 0.94      | 0  | 2598         lb |  0                0                0.00  |
0.89/0.94	c | 0.95      | 0  | 2601         lb |  0                0                0.00  |
0.89/0.96	c | 0.96      | 0  | 2602         lb |  0                0                0.00  |
0.89/0.97	c | 0.97      | 0  | 2603         lb |  0                0                0.00  |
0.89/0.98	c | 0.98      | 0  | 2646         lb |  0                0                0.00  |
0.89/0.99	c | 0.99      | 0  | 2677         lb |  0                0                0.00  |
0.99/1.00	c | 1.01      | 0  | 2679         lb |  0                0                0.00  |
0.99/1.01	c | 1.02      | 0  | 2680         lb |  0                0                0.00  |
0.99/1.03	c | 1.03      | 0  | 2688         lb |  0                0                0.00  |
0.99/1.04	c | 1.04      | 0  | 2689         lb |  0                0                0.00  |
0.99/1.05	c | 1.05      | 0  | 2690         lb |  0                0                0.00  |
0.99/1.06	c | 1.07      | 0  | 2693         lb |  0                0                0.00  |
0.99/1.07	c | 1.08      | 0  | 2695         lb |  0                0                0.00  |
0.99/1.09	c | 1.09      | 0  | 2696         lb |  0                0                0.00  |
0.99/1.10	c | 1.10      | 0  | 2697         lb |  0                0                0.00  |
1.09/1.11	c | 1.11      | 0  | 2698         lb |  0                0                0.00  |
1.09/1.12	c | 1.13      | 0  | 2699         lb |  0                0                0.00  |
1.09/1.14	c | 1.14      | 0  | 2700         lb |  0                0                0.00  |
1.09/1.15	c | 1.16      | 0  | 2704         lb |  0                0                0.00  |
1.09/1.17	c | 1.17      | 0  | 2705         lb |  0                0                0.00  |
1.09/1.18	c | 1.18      | 0  | 2709         lb |  0                0                0.00  |
1.09/1.19	c | 1.20      | 0  | 2716         lb |  0                0                0.00  |
1.19/1.21	c | 1.21      | 0  | 2718         lb |  0                0                0.00  |
1.19/1.22	c | 1.22      | 0  | 2722         lb |  0                0                0.00  |
1.19/1.23	c | 1.24      | 0  | 2725         lb |  0                0                0.00  |
1.19/1.25	c | 1.25      | 0  | 2754         lb |  0                0                0.00  |
1.19/1.26	c | 1.26      | 0  | 2756         lb |  0                0                0.00  |
1.19/1.27	c | 1.28      | 0  | 2759         lb |  0                0                0.00  |
1.19/1.29	c | 1.29      | 0  | 2764         lb |  0                0                0.00  |
1.29/1.30	c | 1.31      | 0  | 2765         lb |  0                0                0.00  |
1.29/1.32	c | 1.32      | 0  | 2773         lb |  0                0                0.00  |
1.29/1.33	c | 1.34      | 0  | 2794         lb |  0                0                0.00  |
1.29/1.35	c | 1.35      | 0  | 2795         lb |  0                0                0.00  |
1.29/1.36	c | 1.37      | 0  | 2805         lb |  0                0                0.00  |
1.29/1.38	c | 1.38      | 0  | 2830         lb |  0                0                0.00  |
1.29/1.39	c | 1.40      | 0  | 2833         lb |  0                0                0.00  |
1.38/1.41	c | 1.41      | 0  | 2834         lb |  0                0                0.00  |
1.38/1.42	c | 1.43      | 0  | 2864         lb |  0                0                0.00  |
1.38/1.44	c | 1.44      | 0  | 2932         lb |  0                0                0.00  |
1.38/1.45	c | 1.45      | 0  | 2981         lb |  0                0                0.00  |
1.38/1.47	c | 1.47      | 0  | 2982         lb |  0                0                0.00  |
1.38/1.48	c | 1.49      | 0  | 2985         lb |  0                0                0.00  |
1.48/1.50	c | 1.50      | 0  | 2988         lb |  0                0                0.00  |
1.48/1.52	c | 1.52      | 0  | 2991         lb |  0                0                0.00  |
1.48/1.54	c | 1.54      | 0  | 2992         lb |  0                0                0.00  |
1.48/1.55	c | 1.56      | 0  | 2994         lb |  0                0                0.00  |
1.48/1.57	c | 1.58      | 0  | 2996         lb |  0                0                0.00  |
1.48/1.59	c | 1.60      | 0  | 2998         lb |  0                0                0.00  |
1.59/1.61	c | 1.61      | 0  | 3000         lb |  0                0                0.00  |
1.59/1.63	c | 1.63      | 0  | 3002         lb |  0                0                0.00  |
1.59/1.65	c | 1.65      | 0  | 3007         lb |  0                0                0.00  |
1.59/1.66	c | 1.67      | 0  | 3008         lb |  0                0                0.00  |
1.59/1.68	c | 1.69      | 0  | 3011         lb |  0                0                0.00  |
1.69/1.70	c | 1.70      | 0  | 3012         lb |  0                0                0.00  |
1.69/1.72	c | 1.72      | 0  | 3013         lb |  0                0                0.00  |
1.69/1.74	c | 1.74      | 0  | 3016         lb |  0                0                0.00  |
1.69/1.76	c | 1.76      | 0  | 3017         lb |  0                0                0.00  |
1.69/1.78	c | 1.78      | 0  | 3022         lb |  0                0                0.00  |
1.78/1.80	c | 1.81      | 0  | 3023         lb |  0                0                0.00  |
1.78/1.83	c | 1.83      | 0  | 3024         lb |  0                0                0.00  |
1.78/1.85	c | 1.86      | 0  | 3025         lb |  0                0                0.00  |
1.78/1.88	c | 1.89      | 0  | 3026         lb |  0                0                0.00  |
1.88/1.91	c | 1.91      | 0  | 3027         lb |  0                0                0.00  |
1.88/1.94	c | 1.94      | 0  | 3028         lb |  0                0                0.00  |
1.88/1.96	c | 1.97      | 0  | 3066         lb |  0                0                0.00  |
1.88/1.99	c | 1.99      | 0  | 3067         lb |  0                0                0.00  |
1.98/2.02	c | 2.02      | 0  | 3070         lb |  0                0                0.00  |
1.98/2.05	c | 2.05      | 0  | 3071         lb |  0                0                0.00  |
1.98/2.08	c | 2.08      | 0  | 3072         lb |  0                0                0.00  |
2.09/2.11	c | 2.11      | 0  | 3073         lb |  0                0                0.00  |
2.09/2.14	c | 2.14      | 0  | 3074         lb |  0                0                0.00  |
2.09/2.17	c | 2.17      | 0  | 3075         lb |  0                0                0.00  |
2.09/2.20	c | 2.20      | 0  | 3078         lb |  0                0                0.00  |
2.20/2.22	c | 2.23      | 0  | 3081         lb |  0                0                0.00  |
2.20/2.26	c | 2.26      | 0  | 3082         lb |  0                0                0.00  |
2.20/2.29	c | 2.29      | 0  | 3083         lb |  0                0                0.00  |
2.29/2.32	c | 2.32      | 0  | 3084         lb |  0                0                0.00  |
2.29/2.35	c | 2.35      | 0  | 3085         lb |  0                0                0.00  |
2.29/2.38	c | 2.38      | 0  | 3086         lb |  0                0                0.00  |
2.39/2.41	c | 2.42      | 0  | 3087         lb |  0                0                0.00  |
2.39/2.44	c | 2.45      | 0  | 3088         lb |  0                0                0.00  |
2.39/2.48	c | 2.48      | 0  | 3089         lb |  0                0                0.00  |
2.48/2.51	c | 2.51      | 0  | 3090         lb |  0                0                0.00  |
2.48/2.54	c | 2.54      | 0  | 3091         lb |  0                0                0.00  |
2.48/2.57	c | 2.57      | 0  | 3092         lb |  0                0                0.00  |
2.58/2.60	c | 2.61      | 0  | 3093         lb |  0                0                0.00  |
2.58/2.64	c | 2.64      | 0  | 3094         lb |  0                0                0.00  |
2.58/2.67	c | 2.67      | 0  | 3095         lb |  0                0                0.00  |
2.69/2.70	c | 2.70      | 0  | 3096         lb |  0                0                0.00  |
2.69/2.73	c | 2.74      | 0  | 3097         lb |  0                0                0.00  |
2.69/2.77	c | 2.77      | 0  | 3098         lb |  0                0                0.00  |
2.79/2.81	c | 2.81      | 0  | 3099         lb |  0                0                0.00  |
2.79/2.84	c | 2.85      | 0  | 3100         lb |  0                0                0.00  |
2.79/2.88	c | 2.88      | 0  | 3101         lb |  0                0                0.00  |
2.88/2.91	c | 2.91      | 0  | 3108         lb |  0                0                0.00  |
2.88/2.95	c | 2.95      | 0  | 3109         lb |  0                0                0.00  |
2.88/2.99	c | 3.00      | 0  | 3110         lb |  0                0                0.00  |
2.98/3.03	c | 3.03      | 0  | 3111         lb |  0                0                0.00  |
2.98/3.07	c | 3.07      | 0  | 3112         lb |  0                0                0.00  |
3.08/3.10	c | 3.11      | 0  | 3113         lb |  0                0                0.00  |
3.08/3.14	c | 3.15      | 0  | 3114         lb |  0                0                0.00  |
3.08/3.18	c | 3.18      | 0  | 3115         lb |  0                0                0.00  |
3.19/3.22	c | 3.22      | 0  | 3121         lb |  0                0                0.00  |
3.19/3.26	c | 3.26      | 0  | 3122         lb |  0                0                0.00  |
3.19/3.30	c | 3.30      | 0  | 3123         lb |  0                0                0.00  |
3.29/3.34	c | 3.34      | 0  | 3124         lb |  0                0                0.00  |
3.29/3.38	c | 3.38      | 0  | 3125         lb |  0                0                0.00  |
3.38/3.42	c | 3.43      | 0  | 3126         lb |  0                0                0.00  |
3.38/3.46	c | 3.47      | 0  | 3127         lb |  0                0                0.00  |
3.48/3.50	c | 3.51      | 0  | 3130         lb |  0                0                0.00  |
3.48/3.55	c | 3.55      | 0  | 3131         lb |  0                0                0.00  |
3.58/3.60	c | 3.60      | 0  | 3132         lb |  0                0                0.00  |
3.58/3.64	c | 3.64      | 0  | 3134         lb |  0                0                0.00  |
3.58/3.68	c | 3.69      | 0  | 3135         lb |  0                0                0.00  |
3.69/3.73	c | 3.73      | 0  | 3136         lb |  0                0                0.00  |
3.69/3.79	c | 3.79      | 0  | 3137         lb |  0                0                0.00  |
3.79/3.83	c | 3.83      | 0  | 3138         lb |  0                0                0.00  |
3.79/3.87	c | 3.87      | 0  | 3139         lb |  0                0                0.00  |
3.89/3.91	c | 3.92      | 0  | 3140         lb |  0                0                0.00  |
3.89/3.95	c | 3.96      | 0  | 3141         lb |  0                0                0.00  |
3.99/4.00	c | 4.00      | 0  | 3142         lb |  0                0                0.00  |
3.99/4.04	c | 4.04      | 0  | 3143         lb |  0                0                0.00  |
3.99/4.08	c | 4.09      | 0  | 3144         lb |  0                0                0.00  |
4.09/4.13	c | 4.13      | 0  | 3145         lb |  0                0                0.00  |
4.09/4.17	c | 4.17      | 0  | 3146         lb |  0                0                0.00  |
4.19/4.22	c | 4.22      | 0  | 3149         lb |  0                0                0.00  |
4.19/4.26	c | 4.26      | 0  | 3150         lb |  0                0                0.00  |
4.29/4.30	c | 4.31      | 0  | 3151         lb |  0                0                0.00  |
4.29/4.35	c | 4.35      | 0  | 3152         lb |  0                0                0.00  |
4.29/4.39	c | 4.40      | 0  | 3153         lb |  0                0                0.00  |
4.39/4.46	c | 4.46      | 0  | 3154         lb |  0                0                0.00  |
4.48/4.50	c | 4.51      | 0  | 3155         lb |  0                0                0.00  |
4.48/4.55	c | 4.55      | 0  | 3156         lb |  0                0                0.00  |
4.58/4.60	c | 4.60      | 0  | 3157         lb |  0                0                0.00  |
4.58/4.65	c | 4.65      | 0  | 3158         lb |  0                0                0.00  |
4.68/4.72	c | 4.72      | 0  | 3159         lb |  0                0                0.00  |
4.68/4.77	c | 4.78      | 0  | 3160         lb |  0                0                0.00  |
4.78/4.83	c | 4.83      | 0  | 3161         lb |  0                0                0.00  |
4.78/4.88	c | 4.88      | 0  | 3162         lb |  0                0                0.00  |
4.88/4.93	c | 4.93      | 0  | 3163         lb |  0                0                0.00  |
4.88/4.98	c | 4.99      | 0  | 3164         lb |  0                0                0.00  |
4.98/5.03	c | 5.04      | 0  | 3165         lb |  0                0                0.00  |
5.08/5.10	c | 5.10      | 0  | 3166         lb |  0                0                0.00  |
5.08/5.15	c | 5.16      | 0  | 3167         lb |  0                0                0.00  |
5.19/5.21	c | 5.21      | 0  | 3168         lb |  0                0                0.00  |
5.19/5.26	c | 5.26      | 0  | 3169         lb |  0                0                0.00  |
5.29/5.31	c | 5.32      | 0  | 3170         lb |  0                0                0.00  |
5.29/5.36	c | 5.37      | 0  | 3171         lb |  0                0                0.00  |
5.40/5.41	c | 5.42      | 0  | 3172         lb |  0                0                0.00  |
5.40/5.47	c | 5.47      | 0  | 3173         lb |  0                0                0.00  |
5.50/5.52	c | 5.53      | 0  | 3174         lb |  0                0                0.00  |
5.50/5.58	c | 5.58      | 0  | 3175         lb |  0                0                0.00  |
5.59/5.63	c | 5.63      | 0  | 3176         lb |  0                0                0.00  |
5.59/5.69	c | 5.70      | 0  | 3177         lb |  0                0                0.00  |
5.69/5.77	c | 5.77      | 0  | 3178         lb |  0                0                0.00  |
5.79/5.83	c | 5.83      | 0  | 3179         lb |  0                0                0.00  |
5.79/5.88	c | 5.88      | 0  | 3180         lb |  0                0                0.00  |
5.89/5.94	c | 5.94      | 0  | 3181         lb |  0                0                0.00  |
5.99/6.01	c | 6.01      | 0  | 3182         lb |  0                0                0.00  |
5.99/6.07	c | 6.07      | 0  | 3183         lb |  0                0                0.00  |
6.08/6.13	c | 6.13      | 0  | 3184         lb |  0                0                0.00  |
6.08/6.19	c | 6.20      | 0  | 3185         lb |  0                0                0.00  |
6.18/6.25	c | 6.26      | 0  | 3186         lb |  0                0                0.00  |
6.28/6.32	c | 6.32      | 0  | 3187         lb |  0                0                0.00  |
6.28/6.38	c | 6.39      | 0  | 3188         lb |  0                0                0.00  |
6.39/6.45	c | 6.46      | 0  | 3189         lb |  0                0                0.00  |
6.49/6.52	c | 6.53      | 0  | 3190         lb |  0                0                0.00  |
6.49/6.59	c | 6.60      | 0  | 3191         lb |  0                0                0.00  |
6.59/6.66	c | 6.66      | 0  | 3192         lb |  0                0                0.00  |
6.68/6.74	c | 6.74      | 0  | 3193         lb |  0                0                0.00  |
6.78/6.81	c | 6.81      | 0  | 3194         lb |  0                0                0.00  |
6.78/6.88	c | 6.89      | 0  | 3195         lb |  0                0                0.00  |
6.88/6.96	c | 6.97      | 0  | 3196         lb |  0                0                0.00  |
6.98/7.05	c | 7.05      | 0  | 3197         lb |  0                0                0.00  |
7.08/7.13	c | 7.13      | 0  | 3198         lb |  0                0                0.00  |
7.18/7.20	c | 7.20      | 0  | 3199         lb |  0                0                0.00  |
7.18/7.29	c | 7.30      | 0  | 3200         lb |  0                0                0.00  |
7.28/7.38	c | 7.39      | 0  | 3201         lb |  0                0                0.00  |
7.39/7.46	c | 7.46      | 0  | 3202         lb |  0                0                0.00  |
7.48/7.56	c | 7.57      | 0  | 3203         lb |  0                0                0.00  |
7.59/7.64	c | 7.64      | 0  | 3204         lb |  0                0                0.00  |
7.69/7.72	c | 7.73      | 0  | 3205         lb |  0                0                0.00  |
7.79/7.81	c | 7.81      | 0  | 3206         lb |  0                0                0.00  |
7.79/7.89	c | 7.89      | 0  | 3207         lb |  0                0                0.00  |
7.89/7.97	c | 7.98      | 0  | 3208         lb |  0                0                0.00  |
7.99/8.09	c | 8.09      | 0  | 3209         lb |  0                0                0.00  |
8.09/8.16	c | 8.17      | 0  | 3210         lb |  0                0                0.00  |
8.19/8.25	c | 8.26      | 0  | 3211         lb |  0                0                0.00  |
8.29/8.34	c | 8.34      | 0  | 3212         lb |  0                0                0.00  |
8.38/8.44	c | 8.44      | 0  | 3213         lb |  0                0                0.00  |
8.48/8.52	c | 8.53      | 0  | 3214         lb |  0                0                0.00  |
8.58/8.62	c | 8.62      | 0  | 3215         lb |  0                0                0.00  |
8.69/8.74	c | 8.74      | 0  | 3216         lb |  0                0                0.00  |
8.79/8.82	c | 8.83      | 0  | 3217         lb |  0                0                0.00  |
8.88/8.95	c | 8.95      | 0  | 3218         lb |  0                0                0.00  |
8.98/9.05	c | 9.05      | 0  | 3219         lb |  0                0                0.00  |
9.08/9.15	c | 9.16      | 0  | 3220         lb |  0                0                0.00  |
9.18/9.26	c | 9.27      | 0  | 3221         lb |  0                0                0.00  |
9.38/9.40	c | 9.41      | 0  | 3222         lb |  0                0                0.00  |
9.49/9.51	c | 9.51      | 0  | 3223         lb |  0                0                0.00  |
9.59/9.63	c | 9.63      | 0  | 3225         lb |  0                0                0.00  |
9.68/9.72	c | 9.72      | 0  | 3227         lb |  0                0                0.00  |
9.79/9.86	c | 9.86      | 0  | 3228         lb |  0                0                0.00  |
9.98/10.01	c | 10.01     | 0  | 3229         lb |  0                0                0.00  |
10.08/10.11	c | 10.12     | 0  | 3230         lb |  0                0                0.00  |
10.18/10.25	c | 10.25     | 0  | 3231         lb |  0                0                0.00  |
10.28/10.36	c | 10.36     | 0  | 3232         lb |  0                0                0.00  |
10.39/10.49	c | 10.49     | 0  | 3233         lb |  0                0                0.00  |
10.49/10.59	c | 10.59     | 0  | 3234         lb |  0                0                0.00  |
10.69/10.71	c | 10.71     | 0  | 3235         lb |  0                0                0.00  |
10.78/10.87	c | 10.87     | 0  | 3236         lb |  0                0                0.00  |
10.99/11.03	c | 11.03     | 0  | 3237         lb |  0                0                0.00  |
11.08/11.13	c | 11.13     | 0  | 3238         lb |  0                0                0.00  |
11.18/11.23	c | 11.23     | 0  | 3239         lb |  0                0                0.00  |
11.28/11.32	c | 11.32     | 0  | 3240         lb |  0                0                0.00  |
11.38/11.41	c | 11.41     | 0  | 3241         lb |  0                0                0.00  |
11.48/11.52	c | 11.52     | 0  | 3242         lb |  0                0                0.00  |
11.58/11.64	c | 11.64     | 0  | 3243         lb |  0                0                0.00  |
11.78/11.81	c | 11.81     | 0  | 3244         lb |  0                0                0.00  |
11.88/11.95	c | 11.96     | 0  | 3245         lb |  0                0                0.00  |
11.99/12.09	c | 12.10     | 0  | 3246         lb |  0                0                0.00  |
12.18/12.23	c | 12.23     | 0  | 3247         lb |  0                0                0.00  |
12.29/12.36	c | 12.37     | 0  | 3248         lb |  0                0                0.00  |
12.38/12.49	c | 12.49     | 0  | 3249         lb |  0                0                0.00  |
12.58/12.64	c | 12.64     | 0  | 3250         lb |  0                0                0.00  |
12.78/12.82	c | 12.82     | 0  | 3251         lb |  0                0                0.00  |
12.98/13.06	c | 13.07     | 0  | 3252         lb |  0                0                0.00  |
13.09/13.17	c | 13.18     | 0  | 3253         lb |  0                0                0.00  |
13.28/13.33	c | 13.33     | 0  | 3254         lb |  0                0                0.00  |
13.48/13.50	c | 13.50     | 0  | 3255         lb |  0                0                0.00  |
13.59/13.63	c | 13.63     | 0  | 3256         lb |  0                0                0.00  |
13.79/13.87	c | 13.88     | 0  | 3257         lb |  0                0                0.00  |
13.98/14.04	c | 14.04     | 0  | 3258         lb |  0                0                0.00  |
14.19/14.25	c | 14.26     | 0  | 3259         lb |  0                0                0.00  |
14.48/14.51	c | 14.51     | 0  | 3260         lb |  0                0                0.00  |
14.68/14.72	c | 14.72     | 0  | 3261         lb |  0                0                0.00  |
14.88/14.92	c | 14.92     | 0  | 3262         lb |  0                0                0.00  |
14.98/15.09	c | 15.09     | 0  | 3263         lb |  0                0                0.00  |
15.18/15.21	c | 15.21     | 0  | 3264         lb |  0                0                0.00  |
15.48/15.54	c | 15.54     | 0  | 3265         lb |  0                0                0.00  |
15.68/15.76	c | 15.77     | 0  | 3266         lb |  0                0                0.00  |
15.98/16.01	c | 16.02     | 0  | 3267         lb |  0                0                0.00  |
16.28/16.40	c | 16.40     | 0  | 3268         lb |  0                0                0.00  |
16.68/16.75	c | 16.76     | 0  | 3269         lb |  0                0                0.00  |
16.98/17.07	c | 17.07     | 0  | 3270         lb |  0                0                0.00  |
17.48/17.58	c | 17.58     | 0  | 3271         lb |  0                0                0.00  |
17.68/17.79	c | 17.80     | 0  | 3272         lb |  0                0                0.00  |
17.99/18.02	c | 18.03     | 0  | 3273         lb |  0                0                0.00  |
18.19/18.25	c | 18.26     | 0  | 3274         lb |  0                0                0.00  |
18.59/18.69	c | 18.69     | 0  | 3275         lb |  0                0                0.00  |
18.88/18.96	c | 18.96     | 0  | 3276         lb |  0                0                0.00  |
19.18/19.27	c | 19.27     | 0  | 3277         lb |  0                0                0.00  |
19.38/19.45	c | 19.45     | 0  | 3278         lb |  0                0                0.00  |
19.58/19.65	c | 19.65     | 0  | 3279         lb |  0                0                0.00  |
19.88/19.94	c | 19.94     | 0  | 3280         lb |  0                0                0.00  |
20.28/20.33	c | 20.33     | 0  | 3281         lb |  0                0                0.00  |
20.79/20.87	c | 20.87     | 0  | 3282         lb |  0                0                0.00  |
21.08/21.15	c | 21.15     | 0  | 3283         lb |  0                0                0.00  |
21.38/21.40	c | 21.41     | 0  | 3284         lb |  0                0                0.00  |
21.68/21.71	c | 21.71     | 0  | 3285         lb |  0                0                0.00  |
22.18/22.23	c | 22.23     | 0  | 3286         lb |  0                0                0.00  |
22.38/22.40	c | 22.40     | 0  | 3287         lb |  0                0                0.00  |
22.88/22.95	c | 22.95     | 0  | 3288         lb |  0                0                0.00  |
23.48/23.56	c | 23.56     | 0  | 3289         lb |  0                0                0.00  |
23.68/23.75	c | 23.75     | 0  | 3290         lb |  0                0                0.00  |
24.09/24.16	c | 24.16     | 0  | 3291         lb |  0                0                0.00  |
24.68/24.75	c | 24.75     | 0  | 3292         lb |  0                0                0.00  |
25.58/25.63	c | 25.63     | 0  | 3293         lb |  0                0                0.00  |
26.09/26.14	c | 26.14     | 0  | 3294         lb |  0                0                0.00  |
26.78/26.85	c | 26.85     | 0  | 3295         lb |  0                0                0.00  |
27.68/27.75	c | 27.76     | 0  | 3296         lb |  0                0                0.00  |
28.18/28.24	c | 28.25     | 0  | 3297         lb |  0                0                0.00  |
28.38/28.49	c | 28.50     | 0  | 3298         lb |  0                0                0.00  |
30.18/30.26	c | 30.26     | 0  | 3299         lb |  0                0                0.00  |
30.69/30.72	c | 30.73     | 0  | 3300         lb |  0                0                0.00  |
31.68/31.74	c | 31.74     | 0  | 3301         lb |  0                0                0.00  |
32.38/32.40	c | 32.40     | 0  | 3302         lb |  0                0                0.00  |
33.18/33.24	c | 33.25     | 0  | 3303         lb |  0                0                0.00  |
35.08/35.16	c | 35.16     | 0  | 3304         lb |  0                0                0.00  |
37.78/37.84	c | 37.84     | 0  | 3305         lb |  0                0                0.00  |
39.59/39.62	c | 39.62     | 0  | 3306         lb |  0                0                0.00  |
42.97/43.06	c | 43.07     | 0  | 3307         lb |  0                0                0.00  |
48.38/48.42	c | 48.42     | 0  | 3308         lb |  0                0                0.00  |
57.78/57.89	c | 57.90     | 0  | 3309         lb |  0                0                0.00  |
144.35/144.45	c | 144.46    | 0  | 3310         lb |  0                0                0.00  |
634.00/634.25	c | 634.26    | 0  | 3311         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-3704982-1338085882/watcher-3704982-1338085882 -o /tmp/evaluation-result-3704982-1338085882/solver-3704982-1338085882 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3704982-1338085882.opb 

running on 4 cores: 0,2,4,6

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/177 16025
/proc/meminfo: memFree=31133128/32873648 swapFree=7112/7112
[pid=16025] ppid=16023 vsize=3856 CPUtime=0 cores=0,2,4,6
/proc/16025/stat : 16025 (wbo1.7) R 16023 16025 12452 0 -1 4202496 471 0 0 0 0 0 0 0 20 0 1 0 274714132 3948544 424 33554432000 4194304 5963574 140735029934688 140736108283048 5135642 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/16025/statm: 964 424 173 432 0 498 0

[startup+0.090775 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16025
/proc/meminfo: memFree=31133128/32873648 swapFree=7112/7112
[pid=16025] ppid=16023 vsize=85084 CPUtime=0.08 cores=0,2,4,6
/proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 2806 0 0 0 8 0 0 0 20 0 2 0 274714132 87126016 2366 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16025/statm: 21271 2366 193 432 0 20836 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 85084

[startup+0.100186 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16025
/proc/meminfo: memFree=31133128/32873648 swapFree=7112/7112
[pid=16025] ppid=16023 vsize=85084 CPUtime=0.09 cores=0,2,4,6
/proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 2891 0 0 0 9 0 0 0 20 0 2 0 274714132 87126016 2451 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16025/statm: 21271 2451 193 432 0 20836 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 85084

[startup+0.300135 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16025
/proc/meminfo: memFree=31133128/32873648 swapFree=7112/7112
[pid=16025] ppid=16023 vsize=85084 CPUtime=0.29 cores=0,2,4,6
/proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 6242 0 0 0 28 1 0 0 20 0 2 0 274714132 87126016 3992 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16025/statm: 21271 3992 193 432 0 20836 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 85084

[startup+0.70016 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16025
/proc/meminfo: memFree=31133128/32873648 swapFree=7112/7112
[pid=16025] ppid=16023 vsize=85084 CPUtime=0.68 cores=0,2,4,6
/proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 12174 0 0 0 67 1 0 0 20 0 2 0 274714132 87126016 6246 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16025/statm: 21271 6246 193 432 0 20836 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 85084

[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16027
/proc/meminfo: memFree=31100772/32873648 swapFree=7112/7112
[pid=16025] ppid=16023 vsize=86528 CPUtime=1.48 cores=0,2,4,6
/proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 24750 0 0 0 145 3 0 0 20 0 2 0 274714132 88604672 10418 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16025/statm: 21632 10418 193 432 0 21197 0
[pid=16025/tid=16027] ppid=16023 vsize=86528 CPUtime=1.47 cores=0,2,4,6
/proc/16025/task/16027/stat : 16027 (wbo1.7) R 16023 16025 12452 0 -1 4202560 23659 0 0 0 143 4 0 0 20 0 2 0 274714133 88604672 10418 33554432000 4194304 5963574 140735029934688 140284355627352 5130146 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 86528

[startup+3.10027 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16027
/proc/meminfo: memFree=31076444/32873648 swapFree=7112/7112
[pid=16025] ppid=16023 vsize=85084 CPUtime=3.08 cores=0,2,4,6
/proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 41407 0 0 0 302 6 0 0 20 0 2 0 274714132 87126016 16187 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16025/statm: 21271 16187 195 432 0 20836 0
[pid=16025/tid=16027] ppid=16023 vsize=85084 CPUtime=3.07 cores=0,2,4,6
/proc/16025/task/16027/stat : 16027 (wbo1.7) R 16023 16025 12452 0 -1 4202560 40316 0 0 0 300 7 0 0 20 0 2 0 274714133 87126016 16187 33554432000 4194304 5963574 140735029934688 140284355627544 5121607 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 85084

[startup+6.30028 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16027
/proc/meminfo: memFree=31036100/32873648 swapFree=7112/7112
[pid=16025] ppid=16023 vsize=163636 CPUtime=6.28 cores=0,2,4,6
/proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 61978 0 0 0 619 9 0 0 20 0 2 0 274714132 167563264 24915 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16025/statm: 40909 24915 195 432 0 40474 0
[pid=16025/tid=16027] ppid=16023 vsize=163636 CPUtime=6.27 cores=0,2,4,6
/proc/16025/task/16027/stat : 16027 (wbo1.7) R 16023 16025 12452 0 -1 4202560 60887 0 0 0 617 10 0 0 20 0 2 0 274714133 167563264 24915 33554432000 4194304 5963574 140735029934688 140284355627544 5141669 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 163636

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16027
/proc/meminfo: memFree=30950104/32873648 swapFree=7112/7112
[pid=16025] ppid=16023 vsize=219436 CPUtime=12.68 cores=0,2,4,6
/proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 100259 0 0 0 1251 17 0 0 20 0 2 0 274714132 224702464 40046 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16025/statm: 54859 40046 196 432 0 54424 0
[pid=16025/tid=16027] ppid=16023 vsize=219436 CPUtime=12.67 cores=0,2,4,6
/proc/16025/task/16027/stat : 16027 (wbo1.7) R 16023 16025 12452 0 -1 4202560 99168 0 0 0 1249 18 0 0 20 0 2 0 274714133 224702464 40046 33554432000 4194304 5963574 140735029934688 140284355627544 5130053 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 219436

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16027
/proc/meminfo: memFree=30879692/32873648 swapFree=7112/7112
[pid=16025] ppid=16023 vsize=284972 CPUtime=25.48 cores=0,2,4,6
/proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 120342 0 0 0 2526 22 0 0 20 0 2 0 274714132 291811328 54211 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16025/statm: 71243 54211 196 432 0 70808 0
[pid=16025/tid=16027] ppid=16023 vsize=284972 CPUtime=25.47 cores=0,2,4,6
/proc/16025/task/16027/stat : 16027 (wbo1.7) R 16023 16025 12452 0 -1 4202560 119251 0 0 0 2524 23 0 0 20 0 2 0 274714133 291811328 54211 33554432000 4194304 5963574 140735029934688 140284355627848 4392243 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 284972

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16027
/proc/meminfo: memFree=30814592/32873648 swapFree=7112/7112
[pid=16025] ppid=16023 vsize=350508 CPUtime=51.08 cores=0,2,4,6
/proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 130601 0 0 0 5083 25 0 0 20 0 2 0 274714132 358920192 66156 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16025/statm: 87627 66156 196 432 0 87192 0
[pid=16025/tid=16027] ppid=16023 vsize=350508 CPUtime=51.06 cores=0,2,4,6
/proc/16025/task/16027/stat : 16027 (wbo1.7) R 16023 16025 12452 0 -1 4202560 129510 0 0 0 5081 25 0 0 20 0 2 0 274714133 358920192 66156 33554432000 4194304 5963574 140735029934688 140284355627304 4392274 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 350508

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16027
/proc/meminfo: memFree=30742212/32873648 swapFree=7112/7112
[pid=16025] ppid=16023 vsize=372388 CPUtime=102.28 cores=0,2,4,6
/proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 140377 0 0 0 10199 29 0 0 20 0 2 0 274714132 381325312 77697 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16025/statm: 93097 77697 196 432 0 92662 0
[pid=16025/tid=16027] ppid=16023 vsize=372388 CPUtime=102.27 cores=0,2,4,6
/proc/16025/task/16027/stat : 16027 (wbo1.7) R 16023 16025 12452 0 -1 4202560 139286 0 0 0 10196 31 0 0 20 0 2 0 274714133 381325312 77697 33554432000 4194304 5963574 140735029934688 140284355627000 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 372388

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 16029
/proc/meminfo: memFree=30540732/32873648 swapFree=7112/7112
[pid=16025] ppid=16023 vsize=568996 CPUtime=162.25 cores=0,2,4,6
/proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 179811 0 0 0 16184 41 0 0 20 0 2 0 274714132 582651904 119164 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16025/statm: 142249 119164 196 432 0 141814 0
[pid=16025/tid=16027] ppid=16023 vsize=568996 CPUtime=162.24 cores=0,2,4,6
/proc/16025/task/16027/stat : 16027 (wbo1.7) R 16023 16025 12452 0 -1 4202560 178720 0 0 0 16180 44 0 0 20 0 2 0 274714133 582651904 119164 33554432000 4194304 5963574 140735029934688 140284355627960 4399627 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 568996

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16029
/proc/meminfo: memFree=30519392/32873648 swapFree=7112/7112
[pid=16025] ppid=16023 vsize=568996 CPUtime=222.23 cores=0,2,4,6
/proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 179832 0 0 0 22182 41 0 0 20 0 2 0 274714132 582651904 119215 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16025/statm: 142249 119215 196 432 0 141814 0
[pid=16025/tid=16027] ppid=16023 vsize=568996 CPUtime=222.23 cores=0,2,4,6
/proc/16025/task/16027/stat : 16027 (wbo1.7) R 16023 16025 12452 0 -1 4202560 178741 0 0 0 22178 45 0 0 20 0 2 0 274714133 582651904 119215 33554432000 4194304 5963574 140735029934688 140284355627960 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 568996

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16029
/proc/meminfo: memFree=30524024/32873648 swapFree=7112/7112
[pid=16025] ppid=16023 vsize=568996 CPUtime=282.2 cores=0,2,4,6
/proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 179854 0 0 0 28179 41 0 0 20 0 2 0 274714132 582651904 119239 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16025/statm: 142249 119239 196 432 0 141814 0
[pid=16025/tid=16027] ppid=16023 vsize=568996 CPUtime=282.21 cores=0,2,4,6
/proc/16025/task/16027/stat : 16027 (wbo1.7) R 16023 16025 12452 0 -1 4202560 178763 0 0 0 28175 46 0 0 20 0 2 0 274714133 582651904 119239 33554432000 4194304 5963574 140735029934688 140284355627960 4403192 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 568996

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16029
/proc/meminfo: memFree=30480444/32873648 swapFree=7112/7112
[pid=16025] ppid=16023 vsize=568996 CPUtime=342.19 cores=0,2,4,6
/proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 190909 0 0 0 34173 46 0 0 20 0 2 0 274714132 582651904 130275 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16025/statm: 142249 130275 196 432 0 141814 0
[pid=16025/tid=16027] ppid=16023 vsize=568996 CPUtime=342.2 cores=0,2,4,6
/proc/16025/task/16027/stat : 16027 (wbo1.7) R 16023 16025 12452 0 -1 4202560 189818 0 0 0 34168 52 0 0 20 0 2 0 274714133 582651904 130275 33554432000 4194304 5963574 140735029934688 140284355627000 4399456 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 568996

[startup+402.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 16029
/proc/meminfo: memFree=30444888/32873648 swapFree=7112/7112
[pid=16025] ppid=16023 vsize=634532 CPUtime=402.17 cores=0,2,4,6
/proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 200026 0 0 0 40166 51 0 0 20 0 2 0 274714132 649760768 139375 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16025/statm: 158633 139375 196 432 0 158198 0
[pid=16025/tid=16027] ppid=16023 vsize=634532 CPUtime=402.18 cores=0,2,4,6
/proc/16025/task/16027/stat : 16027 (wbo1.7) R 16023 16025 12452 0 -1 4202560 198935 0 0 0 40160 58 0 0 20 0 2 0 274714133 649760768 139375 33554432000 4194304 5963574 140735029934688 140284355627000 4399623 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 634532

[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 16030
/proc/meminfo: memFree=30364872/32873648 swapFree=7112/7112
[pid=16025] ppid=16023 vsize=700068 CPUtime=462.16 cores=0,2,4,6

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

/proc/16025/task/16027/stat : 16027 (wbo1.7) R 16023 16025 12452 0 -1 4202560 278012 0 0 0 130110 100 0 0 20 0 2 0 274714133 962899968 220783 33554432000 4194304 5963574 140735029934688 140284355627000 4399456 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 940332

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16038
/proc/meminfo: memFree=29812132/32873648 swapFree=7112/7112
[pid=16025] ppid=16023 vsize=1005868 CPUtime=1361.95 cores=0,2,4,6
/proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 291701 0 0 0 136109 86 0 0 20 0 2 0 274714132 1030008832 233600 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16025/statm: 251467 233600 196 432 0 251032 0
[pid=16025/tid=16027] ppid=16023 vsize=1005868 CPUtime=1362.06 cores=0,2,4,6
/proc/16025/task/16027/stat : 16027 (wbo1.7) R 16023 16025 12452 0 -1 4202560 290610 0 0 0 136099 107 0 0 20 0 2 0 274714133 1030008832 233600 33554432000 4194304 5963574 140735029934688 140284355627000 4399627 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 1005868

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16039
/proc/meminfo: memFree=29754956/32873648 swapFree=7112/7112
[pid=16025] ppid=16023 vsize=1071404 CPUtime=1421.94 cores=0,2,4,6
/proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 304403 0 0 0 142101 93 0 0 20 0 2 0 274714132 1097117696 246573 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16025/statm: 267851 246573 196 432 0 267416 0
[pid=16025/tid=16027] ppid=16023 vsize=1071404 CPUtime=1422.05 cores=0,2,4,6
/proc/16025/task/16027/stat : 16027 (wbo1.7) R 16023 16025 12452 0 -1 4202560 303312 0 0 0 142090 115 0 0 20 0 2 0 274714133 1097117696 246573 33554432000 4194304 5963574 140735029934688 140284355627000 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 1071404

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16039
/proc/meminfo: memFree=29675328/32873648 swapFree=7112/7112
[pid=16025] ppid=16023 vsize=1071404 CPUtime=1481.92 cores=0,2,4,6
/proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 315658 0 0 0 148093 99 0 0 20 0 2 0 274714132 1097117696 257872 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16025/statm: 267851 257872 196 432 0 267416 0
[pid=16025/tid=16027] ppid=16023 vsize=1071404 CPUtime=1482.03 cores=0,2,4,6
/proc/16025/task/16027/stat : 16027 (wbo1.7) R 16023 16025 12452 0 -1 4202560 314567 0 0 0 148081 122 0 0 20 0 2 0 274714133 1097117696 257872 33554432000 4194304 5963574 140735029934688 140284355626808 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 1071404

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16039
/proc/meminfo: memFree=29590140/32873648 swapFree=7112/7112
[pid=16025] ppid=16023 vsize=1136940 CPUtime=1541.91 cores=0,2,4,6
/proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 324809 0 0 0 154088 103 0 0 20 0 2 0 274714132 1164226560 267023 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16025/statm: 284235 267023 196 432 0 283800 0
[pid=16025/tid=16027] ppid=16023 vsize=1136940 CPUtime=1542.03 cores=0,2,4,6
/proc/16025/task/16027/stat : 16027 (wbo1.7) R 16023 16025 12452 0 -1 4202560 323718 0 0 0 154076 127 0 0 20 0 2 0 274714133 1164226560 267023 33554432000 4194304 5963574 140735029934688 140284355627000 4399554 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 1136940

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16039
/proc/meminfo: memFree=29516364/32873648 swapFree=7112/7112
[pid=16025] ppid=16023 vsize=1136940 CPUtime=1601.9 cores=0,2,4,6
/proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 334859 0 0 0 160082 108 0 0 20 0 2 0 274714132 1164226560 277073 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16025/statm: 284235 277073 196 432 0 283800 0
[pid=16025/tid=16027] ppid=16023 vsize=1136940 CPUtime=1602.03 cores=0,2,4,6
/proc/16025/task/16027/stat : 16027 (wbo1.7) R 16023 16025 12452 0 -1 4202560 333768 0 0 0 160070 133 0 0 20 0 2 0 274714133 1164226560 277073 33554432000 4194304 5963574 140735029934688 140284355627000 4399614 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 1136940

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16039
/proc/meminfo: memFree=29461556/32873648 swapFree=7112/7112
[pid=16025] ppid=16023 vsize=1202476 CPUtime=1661.89 cores=0,2,4,6
/proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 342004 0 0 0 166078 111 0 0 20 0 2 0 274714132 1231335424 284218 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16025/statm: 300619 284218 196 432 0 300184 0
[pid=16025/tid=16027] ppid=16023 vsize=1202476 CPUtime=1662.02 cores=0,2,4,6
/proc/16025/task/16027/stat : 16027 (wbo1.7) R 16023 16025 12452 0 -1 4202560 340913 0 0 0 166065 137 0 0 20 0 2 0 274714133 1231335424 284218 33554432000 4194304 5963574 140735029934688 140284355627000 4399456 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 1202476

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 16082
/proc/meminfo: memFree=30018228/32873648 swapFree=7112/7112
[pid=16025] ppid=16023 vsize=1202476 CPUtime=1721.88 cores=0,2,4,6
/proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 351360 0 0 0 172072 116 0 0 20 0 2 0 274714132 1231335424 293574 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16025/statm: 300619 293574 196 432 0 300184 0
[pid=16025/tid=16027] ppid=16023 vsize=1202476 CPUtime=1722.02 cores=0,2,4,6
/proc/16025/task/16027/stat : 16027 (wbo1.7) R 16023 16025 12452 0 -1 4202560 350269 0 0 0 172059 143 0 0 20 0 2 0 274714133 1231335424 293574 33554432000 4194304 5963574 140735029934688 140284355627000 4399623 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 1202476

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 16105
/proc/meminfo: memFree=29934268/32873648 swapFree=7112/7112
[pid=16025] ppid=16023 vsize=1268012 CPUtime=1781.87 cores=0,2,4,6
/proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 363722 0 0 0 178066 121 0 0 20 0 2 0 274714132 1298444288 305936 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16025/statm: 317003 305936 196 432 0 316568 0
[pid=16025/tid=16027] ppid=16023 vsize=1268012 CPUtime=1782.02 cores=0,2,4,6
/proc/16025/task/16027/stat : 16027 (wbo1.7) R 16023 16025 12452 0 -1 4202560 362631 0 0 0 178053 149 0 0 20 0 2 0 274714133 1298444288 305936 33554432000 4194304 5963574 140735029934688 140284355627000 4399614 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 1268012

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 16105
/proc/meminfo: memFree=29931180/32873648 swapFree=7112/7112
[pid=16025] ppid=16023 vsize=1268012 CPUtime=1791.47 cores=0,2,4,6
/proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 364821 0 0 0 179025 122 0 0 20 0 2 0 274714132 1298444288 307035 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16025/statm: 317003 307035 196 432 0 316568 0
[pid=16025/tid=16027] ppid=16023 vsize=1268012 CPUtime=1791.62 cores=0,2,4,6
/proc/16025/task/16027/stat : 16027 (wbo1.7) R 16023 16025 12452 0 -1 4202560 363730 0 0 0 179012 150 0 0 20 0 2 0 274714133 1298444288 307035 33554432000 4194304 5963574 140735029934688 140284355627000 4399456 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1791.47
Current children cumulated vsize (KiB) 1268012

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 16105
/proc/meminfo: memFree=29930500/32873648 swapFree=7112/7112
[pid=16025] ppid=16023 vsize=1268012 CPUtime=1794.67 cores=0,2,4,6
/proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 365063 0 0 0 179345 122 0 0 20 0 2 0 274714132 1298444288 307277 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16025/statm: 317003 307277 196 432 0 316568 0
[pid=16025/tid=16027] ppid=16023 vsize=1268012 CPUtime=1794.82 cores=0,2,4,6
/proc/16025/task/16027/stat : 16027 (wbo1.7) R 16023 16025 12452 0 -1 4202560 363972 0 0 0 179332 150 0 0 20 0 2 0 274714133 1298444288 307277 33554432000 4194304 5963574 140735029934688 140284355627000 4399456 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1794.67
Current children cumulated vsize (KiB) 1268012

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 16105
/proc/meminfo: memFree=29929632/32873648 swapFree=7112/7112
[pid=16025] ppid=16023 vsize=1268012 CPUtime=1797.86 cores=0,2,4,6
/proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 365336 0 0 0 179664 122 0 0 20 0 2 0 274714132 1298444288 307550 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16025/statm: 317003 307550 196 432 0 316568 0
[pid=16025/tid=16027] ppid=16023 vsize=1268012 CPUtime=1798.01 cores=0,2,4,6
/proc/16025/task/16027/stat : 16027 (wbo1.7) R 16023 16025 12452 0 -1 4202560 364245 0 0 0 179651 150 0 0 20 0 2 0 274714133 1298444288 307550 33554432000 4194304 5963574 140735029934688 140284355627000 4399651 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1797.86
Current children cumulated vsize (KiB) 1268012

[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 16105
/proc/meminfo: memFree=29929144/32873648 swapFree=7112/7112
[pid=16025] ppid=16023 vsize=1268012 CPUtime=1798.66 cores=0,2,4,6
/proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 365410 0 0 0 179744 122 0 0 20 0 2 0 274714132 1298444288 307624 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16025/statm: 317003 307624 196 432 0 316568 0
[pid=16025/tid=16027] ppid=16023 vsize=1268012 CPUtime=1798.81 cores=0,2,4,6
/proc/16025/task/16027/stat : 16027 (wbo1.7) R 16023 16025 12452 0 -1 4202560 364319 0 0 0 179731 150 0 0 20 0 2 0 274714133 1298444288 307624 33554432000 4194304 5963574 140735029934688 140284355627000 4399623 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.66
Current children cumulated vsize (KiB) 1268012

[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 16105
/proc/meminfo: memFree=29928772/32873648 swapFree=7112/7112
[pid=16025] ppid=16023 vsize=1268012 CPUtime=1799.07 cores=0,2,4,6
/proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 365458 0 0 0 179785 122 0 0 20 0 2 0 274714132 1298444288 307672 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16025/statm: 317003 307672 196 432 0 316568 0
[pid=16025/tid=16027] ppid=16023 vsize=1268012 CPUtime=1799.22 cores=0,2,4,6
/proc/16025/task/16027/stat : 16027 (wbo1.7) R 16023 16025 12452 0 -1 4202560 364367 0 0 0 179772 150 0 0 20 0 2 0 274714133 1298444288 307672 33554432000 4194304 5963574 140735029934688 140284355626808 4399456 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1799.07
Current children cumulated vsize (KiB) 1268012

[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 16105
/proc/meminfo: memFree=29928772/32873648 swapFree=7112/7112
[pid=16025] ppid=16023 vsize=1268012 CPUtime=1799.46 cores=0,2,4,6
/proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 365489 0 0 0 179824 122 0 0 20 0 2 0 274714132 1298444288 307703 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16025/statm: 317003 307703 196 432 0 316568 0
[pid=16025/tid=16027] ppid=16023 vsize=1268012 CPUtime=1799.61 cores=0,2,4,6
/proc/16025/task/16027/stat : 16027 (wbo1.7) R 16023 16025 12452 0 -1 4202560 364398 0 0 0 179811 150 0 0 20 0 2 0 274714133 1298444288 307703 33554432000 4194304 5963574 140735029934688 140284355626808 4399623 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1799.46
Current children cumulated vsize (KiB) 1268012

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 16105
/proc/meminfo: memFree=29928772/32873648 swapFree=7112/7112
[pid=16025] ppid=16023 vsize=1268012 CPUtime=1799.56 cores=0,2,4,6
/proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 365501 0 0 0 179834 122 0 0 20 0 2 0 274714132 1298444288 307715 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16025/statm: 317003 307715 196 432 0 316568 0
[pid=16025/tid=16027] ppid=16023 vsize=1268012 CPUtime=1799.71 cores=0,2,4,6
/proc/16025/task/16027/stat : 16027 (wbo1.7) R 16023 16025 12452 0 -1 4202560 364410 0 0 0 179821 150 0 0 20 0 2 0 274714133 1298444288 307715 33554432000 4194304 5963574 140735029934688 140284355626808 4220672 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1799.56
Current children cumulated vsize (KiB) 1268012

Child status: 255
Real time (s): 1800.03
CPU time (s): 1799.77
CPU user time (s): 1798.24
CPU system time (s): 1.53477
CPU usage (%): 99.9858
Max. virtual memory (cumulated for all children) (KiB): 1268012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.24
system time used= 1.53477
maximum resident set size= 1230860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 365501
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= 223
involuntary context switches= 3204

runsolver used 2.78058 second user time and 7.2349 second system time

The end

Launcher Data

Begin job on node126 at 2012-05-27 04:31:22
IDJOB=3704982
IDBENCH=1851
IDSOLVER=2283
FILE ID=node126/3704982-1338085882
RUNJOBID= node126-1338077272-12468
PBS_JOBID= 14624421
Free space on /tmp= 71352 MiB

SOLVER NAME= wbo 1.7
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod010.opb
COMMAND LINE= wbo1.7 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3704982-1338085882/watcher-3704982-1338085882 -o /tmp/evaluation-result-3704982-1338085882/solver-3704982-1338085882 -C 1800 -W 1900 -M 15500  wbo1.7 -file-format=opb HOME/instance-3704982-1338085882.opb

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

MD5SUM BENCH= 0155c0c96434984f6ded6bb7ada20c0c
RANDOM SEED=1346692154

node126.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.456
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	: 5332.91
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.456
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.456
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.456
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.456
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.456
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.91
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.456
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.90
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.456
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        31133772 kB
Buffers:          266332 kB
Cached:           538956 kB
SwapCached:        17756 kB
Active:           839876 kB
Inactive:          95580 kB
Active(anon):     111320 kB
Inactive(anon):    20452 kB
Active(file):     728556 kB
Inactive(file):    75128 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67086932 kB
Dirty:              5456 kB
Writeback:             0 kB
AnonPages:        119524 kB
Mapped:            10404 kB
Shmem:                 0 kB
Slab:             667252 kB
SReclaimable:     111704 kB
SUnreclaim:       555548 kB
KernelStack:        1488 kB
PageTables:         4172 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     145632 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71348 MiB
End job on node126 at 2012-05-27 05:01:22