Trace number 3727283

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.55 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.72 beta - May, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3727283-1338651821.opb.
0.00/0.00	c Instance file HOME/instance-3727283-1338651821.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.02	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.03      | 0  | 296          lb |  0                0                0.00  |
0.00/0.02	c | 0.03      | 0  | 321          lb |  0                0                0.00  |
0.00/0.03	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.04      | 0  | 488          lb |  0                0                0.00  |
0.00/0.03	c | 0.04      | 0  | 497          lb |  0                0                0.00  |
0.00/0.04	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.05      | 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.06      | 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.07	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.07/0.07	c | 0.08      | 0  | 843          lb |  0                0                0.00  |
0.07/0.08	c | 0.08      | 0  | 883          lb |  0                0                0.00  |
0.07/0.08	c | 0.08      | 0  | 889          lb |  0                0                0.00  |
0.07/0.08	c | 0.09      | 0  | 891          lb |  0                0                0.00  |
0.07/0.09	c | 0.09      | 0  | 911          lb |  0                0                0.00  |
0.07/0.09	c | 0.09      | 0  | 912          lb |  0                0                0.00  |
0.07/0.09	c | 0.10      | 0  | 925          lb |  0                0                0.00  |
0.07/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.11	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.12      | 0  | 1110         lb |  0                0                0.00  |
0.09/0.12	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.13      | 0  | 1115         lb |  0                0                0.00  |
0.09/0.13	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.16      | 0  | 1266         lb |  0                0                0.00  |
0.09/0.16	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.18	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.21      | 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.22      | 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.23      | 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.29/0.40	c | 0.40      | 0  | 1924         lb |  0                0                0.00  |
0.38/0.40	c | 0.41      | 0  | 1936         lb |  0                0                0.00  |
0.38/0.41	c | 0.41      | 0  | 1946         lb |  0                0                0.00  |
0.38/0.42	c | 0.42      | 0  | 1949         lb |  0                0                0.00  |
0.38/0.42	c | 0.43      | 0  | 1967         lb |  0                0                0.00  |
0.38/0.43	c | 0.43      | 0  | 1977         lb |  0                0                0.00  |
0.38/0.44	c | 0.44      | 0  | 1997         lb |  0                0                0.00  |
0.38/0.45	c | 0.45      | 0  | 2000         lb |  0                0                0.00  |
0.38/0.45	c | 0.46      | 0  | 2001         lb |  0                0                0.00  |
0.38/0.46	c | 0.46      | 0  | 2002         lb |  0                0                0.00  |
0.38/0.47	c | 0.47      | 0  | 2004         lb |  0                0                0.00  |
0.38/0.48	c | 0.48      | 0  | 2012         lb |  0                0                0.00  |
0.38/0.48	c | 0.49      | 0  | 2015         lb |  0                0                0.00  |
0.38/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.52	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.56	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.58      | 0  | 2199         lb |  0                0                0.00  |
0.49/0.59	c | 0.59      | 0  | 2202         lb |  0                0                0.00  |
0.59/0.60	c | 0.60      | 0  | 2203         lb |  0                0                0.00  |
0.59/0.61	c | 0.61      | 0  | 2210         lb |  0                0                0.00  |
0.59/0.61	c | 0.62      | 0  | 2233         lb |  0                0                0.00  |
0.59/0.62	c | 0.63      | 0  | 2253         lb |  0                0                0.00  |
0.59/0.63	c | 0.64      | 0  | 2254         lb |  0                0                0.00  |
0.59/0.64	c | 0.64      | 0  | 2259         lb |  0                0                0.00  |
0.59/0.65	c | 0.65      | 0  | 2267         lb |  0                0                0.00  |
0.59/0.66	c | 0.66      | 0  | 2278         lb |  0                0                0.00  |
0.59/0.67	c | 0.67      | 0  | 2279         lb |  0                0                0.00  |
0.59/0.67	c | 0.68      | 0  | 2282         lb |  0                0                0.00  |
0.59/0.68	c | 0.69      | 0  | 2284         lb |  0                0                0.00  |
0.59/0.69	c | 0.70      | 0  | 2288         lb |  0                0                0.00  |
0.69/0.70	c | 0.70      | 0  | 2310         lb |  0                0                0.00  |
0.69/0.71	c | 0.71      | 0  | 2331         lb |  0                0                0.00  |
0.69/0.72	c | 0.72      | 0  | 2353         lb |  0                0                0.00  |
0.69/0.73	c | 0.73      | 0  | 2354         lb |  0                0                0.00  |
0.69/0.74	c | 0.74      | 0  | 2391         lb |  0                0                0.00  |
0.69/0.75	c | 0.75      | 0  | 2395         lb |  0                0                0.00  |
0.69/0.76	c | 0.76      | 0  | 2412         lb |  0                0                0.00  |
0.69/0.77	c | 0.77      | 0  | 2416         lb |  0                0                0.00  |
0.69/0.78	c | 0.78      | 0  | 2417         lb |  0                0                0.00  |
0.79/0.89	c | 0.79      | 0  | 2418         lb |  0                0                0.00  |
0.79/0.89	c | 0.80      | 0  | 2426         lb |  0                0                0.00  |
0.79/0.89	c | 0.81      | 0  | 2517         lb |  0                0                0.00  |
0.79/0.89	c | 0.82      | 0  | 2519         lb |  0                0                0.00  |
0.79/0.89	c | 0.83      | 0  | 2522         lb |  0                0                0.00  |
0.79/0.89	c | 0.84      | 0  | 2576         lb |  0                0                0.00  |
0.79/0.89	c | 0.85      | 0  | 2579         lb |  0                0                0.00  |
0.79/0.89	c | 0.86      | 0  | 2581         lb |  0                0                0.00  |
0.79/0.89	c | 0.87      | 0  | 2583         lb |  0                0                0.00  |
0.79/0.89	c | 0.88      | 0  | 2584         lb |  0                0                0.00  |
0.79/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.91      | 0  | 2594         lb |  0                0                0.00  |
0.89/0.92	c | 0.92      | 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.95	c | 0.96      | 0  | 2602         lb |  0                0                0.00  |
0.89/0.96	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.89/1.00	c | 1.00      | 0  | 2679         lb |  0                0                0.00  |
1.00/1.01	c | 1.01      | 0  | 2680         lb |  0                0                0.00  |
1.00/1.02	c | 1.02      | 0  | 2688         lb |  0                0                0.00  |
1.00/1.03	c | 1.04      | 0  | 2689         lb |  0                0                0.00  |
1.00/1.04	c | 1.05      | 0  | 2690         lb |  0                0                0.00  |
1.00/1.06	c | 1.06      | 0  | 2693         lb |  0                0                0.00  |
1.00/1.07	c | 1.07      | 0  | 2695         lb |  0                0                0.00  |
1.00/1.08	c | 1.08      | 0  | 2696         lb |  0                0                0.00  |
1.00/1.09	c | 1.10      | 0  | 2697         lb |  0                0                0.00  |
1.10/1.11	c | 1.11      | 0  | 2698         lb |  0                0                0.00  |
1.10/1.12	c | 1.12      | 0  | 2699         lb |  0                0                0.00  |
1.10/1.13	c | 1.14      | 0  | 2700         lb |  0                0                0.00  |
1.10/1.15	c | 1.15      | 0  | 2704         lb |  0                0                0.00  |
1.10/1.16	c | 1.16      | 0  | 2705         lb |  0                0                0.00  |
1.10/1.17	c | 1.18      | 0  | 2709         lb |  0                0                0.00  |
1.10/1.19	c | 1.19      | 0  | 2716         lb |  0                0                0.00  |
1.19/1.20	c | 1.20      | 0  | 2718         lb |  0                0                0.00  |
1.19/1.21	c | 1.22      | 0  | 2722         lb |  0                0                0.00  |
1.19/1.23	c | 1.23      | 0  | 2725         lb |  0                0                0.00  |
1.19/1.24	c | 1.25      | 0  | 2754         lb |  0                0                0.00  |
1.19/1.25	c | 1.26      | 0  | 2756         lb |  0                0                0.00  |
1.19/1.27	c | 1.27      | 0  | 2759         lb |  0                0                0.00  |
1.19/1.28	c | 1.29      | 0  | 2764         lb |  0                0                0.00  |
1.29/1.30	c | 1.30      | 0  | 2765         lb |  0                0                0.00  |
1.29/1.31	c | 1.31      | 0  | 2773         lb |  0                0                0.00  |
1.29/1.33	c | 1.33      | 0  | 2794         lb |  0                0                0.00  |
1.29/1.34	c | 1.34      | 0  | 2795         lb |  0                0                0.00  |
1.29/1.35	c | 1.36      | 0  | 2805         lb |  0                0                0.00  |
1.29/1.37	c | 1.37      | 0  | 2830         lb |  0                0                0.00  |
1.29/1.38	c | 1.39      | 0  | 2833         lb |  0                0                0.00  |
1.39/1.40	c | 1.40      | 0  | 2834         lb |  0                0                0.00  |
1.39/1.41	c | 1.42      | 0  | 2864         lb |  0                0                0.00  |
1.39/1.43	c | 1.43      | 0  | 2932         lb |  0                0                0.00  |
1.39/1.44	c | 1.45      | 0  | 2981         lb |  0                0                0.00  |
1.39/1.46	c | 1.46      | 0  | 2982         lb |  0                0                0.00  |
1.39/1.47	c | 1.48      | 0  | 2985         lb |  0                0                0.00  |
1.39/1.49	c | 1.49      | 0  | 2988         lb |  0                0                0.00  |
1.49/1.51	c | 1.51      | 0  | 2991         lb |  0                0                0.00  |
1.49/1.53	c | 1.53      | 0  | 2992         lb |  0                0                0.00  |
1.49/1.54	c | 1.55      | 0  | 2994         lb |  0                0                0.00  |
1.49/1.56	c | 1.56      | 0  | 2996         lb |  0                0                0.00  |
1.49/1.58	c | 1.58      | 0  | 2998         lb |  0                0                0.00  |
1.58/1.60	c | 1.60      | 0  | 3000         lb |  0                0                0.00  |
1.58/1.62	c | 1.62      | 0  | 3002         lb |  0                0                0.00  |
1.58/1.63	c | 1.64      | 0  | 3007         lb |  0                0                0.00  |
1.58/1.65	c | 1.66      | 0  | 3008         lb |  0                0                0.00  |
1.58/1.67	c | 1.67      | 0  | 3011         lb |  0                0                0.00  |
1.58/1.69	c | 1.69      | 0  | 3012         lb |  0                0                0.00  |
1.69/1.71	c | 1.71      | 0  | 3013         lb |  0                0                0.00  |
1.69/1.72	c | 1.73      | 0  | 3016         lb |  0                0                0.00  |
1.69/1.74	c | 1.75      | 0  | 3017         lb |  0                0                0.00  |
1.69/1.76	c | 1.77      | 0  | 3022         lb |  0                0                0.00  |
1.69/1.79	c | 1.79      | 0  | 3023         lb |  0                0                0.00  |
1.79/1.81	c | 1.82      | 0  | 3024         lb |  0                0                0.00  |
1.79/1.84	c | 1.84      | 0  | 3025         lb |  0                0                0.00  |
1.79/1.87	c | 1.87      | 0  | 3026         lb |  0                0                0.00  |
1.79/1.89	c | 1.90      | 0  | 3027         lb |  0                0                0.00  |
1.89/1.92	c | 1.92      | 0  | 3028         lb |  0                0                0.00  |
1.89/1.95	c | 1.95      | 0  | 3066         lb |  0                0                0.00  |
1.89/1.97	c | 1.98      | 0  | 3067         lb |  0                0                0.00  |
1.98/2.00	c | 2.00      | 0  | 3070         lb |  0                0                0.00  |
1.98/2.03	c | 2.03      | 0  | 3071         lb |  0                0                0.00  |
1.98/2.06	c | 2.06      | 0  | 3072         lb |  0                0                0.00  |
1.98/2.09	c | 2.09      | 0  | 3073         lb |  0                0                0.00  |
2.10/2.12	c | 2.12      | 0  | 3074         lb |  0                0                0.00  |
2.10/2.15	c | 2.15      | 0  | 3075         lb |  0                0                0.00  |
2.10/2.18	c | 2.18      | 0  | 3078         lb |  0                0                0.00  |
2.20/2.21	c | 2.21      | 0  | 3081         lb |  0                0                0.00  |
2.20/2.24	c | 2.24      | 0  | 3082         lb |  0                0                0.00  |
2.20/2.27	c | 2.27      | 0  | 3083         lb |  0                0                0.00  |
2.29/2.30	c | 2.30      | 0  | 3084         lb |  0                0                0.00  |
2.29/2.33	c | 2.33      | 0  | 3085         lb |  0                0                0.00  |
2.29/2.36	c | 2.36      | 0  | 3086         lb |  0                0                0.00  |
2.29/2.39	c | 2.40      | 0  | 3087         lb |  0                0                0.00  |
2.39/2.42	c | 2.42      | 0  | 3088         lb |  0                0                0.00  |
2.39/2.45	c | 2.46      | 0  | 3089         lb |  0                0                0.00  |
2.39/2.48	c | 2.49      | 0  | 3090         lb |  0                0                0.00  |
2.49/2.52	c | 2.52      | 0  | 3091         lb |  0                0                0.00  |
2.49/2.55	c | 2.55      | 0  | 3092         lb |  0                0                0.00  |
2.49/2.58	c | 2.58      | 0  | 3093         lb |  0                0                0.00  |
2.59/2.61	c | 2.62      | 0  | 3094         lb |  0                0                0.00  |
2.59/2.64	c | 2.65      | 0  | 3095         lb |  0                0                0.00  |
2.59/2.68	c | 2.68      | 0  | 3096         lb |  0                0                0.00  |
2.69/2.71	c | 2.71      | 0  | 3097         lb |  0                0                0.00  |
2.69/2.74	c | 2.75      | 0  | 3098         lb |  0                0                0.00  |
2.69/2.78	c | 2.79      | 0  | 3099         lb |  0                0                0.00  |
2.78/2.82	c | 2.82      | 0  | 3100         lb |  0                0                0.00  |
2.78/2.85	c | 2.85      | 0  | 3101         lb |  0                0                0.00  |
2.78/2.88	c | 2.89      | 0  | 3108         lb |  0                0                0.00  |
2.89/2.92	c | 2.92      | 0  | 3109         lb |  0                0                0.00  |
2.89/2.96	c | 2.97      | 0  | 3110         lb |  0                0                0.00  |
2.99/3.00	c | 3.01      | 0  | 3111         lb |  0                0                0.00  |
2.99/3.04	c | 3.04      | 0  | 3112         lb |  0                0                0.00  |
2.99/3.07	c | 3.08      | 0  | 3113         lb |  0                0                0.00  |
3.09/3.11	c | 3.12      | 0  | 3114         lb |  0                0                0.00  |
3.09/3.15	c | 3.15      | 0  | 3115         lb |  0                0                0.00  |
3.09/3.19	c | 3.19      | 0  | 3121         lb |  0                0                0.00  |
3.19/3.23	c | 3.23      | 0  | 3122         lb |  0                0                0.00  |
3.19/3.27	c | 3.27      | 0  | 3123         lb |  0                0                0.00  |
3.29/3.31	c | 3.31      | 0  | 3124         lb |  0                0                0.00  |
3.29/3.35	c | 3.35      | 0  | 3125         lb |  0                0                0.00  |
3.29/3.39	c | 3.40      | 0  | 3126         lb |  0                0                0.00  |
3.39/3.43	c | 3.44      | 0  | 3127         lb |  0                0                0.00  |
3.39/3.47	c | 3.47      | 0  | 3130         lb |  0                0                0.00  |
3.49/3.51	c | 3.52      | 0  | 3131         lb |  0                0                0.00  |
3.49/3.57	c | 3.57      | 0  | 3132         lb |  0                0                0.00  |
3.59/3.61	c | 3.61      | 0  | 3134         lb |  0                0                0.00  |
3.59/3.65	c | 3.65      | 0  | 3135         lb |  0                0                0.00  |
3.59/3.69	c | 3.70      | 0  | 3136         lb |  0                0                0.00  |
3.69/3.75	c | 3.75      | 0  | 3137         lb |  0                0                0.00  |
3.69/3.79	c | 3.79      | 0  | 3138         lb |  0                0                0.00  |
3.79/3.83	c | 3.83      | 0  | 3139         lb |  0                0                0.00  |
3.79/3.87	c | 3.88      | 0  | 3140         lb |  0                0                0.00  |
3.89/3.92	c | 3.92      | 0  | 3141         lb |  0                0                0.00  |
3.89/3.96	c | 3.96      | 0  | 3142         lb |  0                0                0.00  |
3.99/4.00	c | 4.00      | 0  | 3143         lb |  0                0                0.00  |
3.99/4.04	c | 4.05      | 0  | 3144         lb |  0                0                0.00  |
3.99/4.09	c | 4.09      | 0  | 3145         lb |  0                0                0.00  |
4.09/4.13	c | 4.14      | 0  | 3146         lb |  0                0                0.00  |
4.09/4.18	c | 4.18      | 0  | 3149         lb |  0                0                0.00  |
4.19/4.22	c | 4.22      | 0  | 3150         lb |  0                0                0.00  |
4.19/4.26	c | 4.26      | 0  | 3151         lb |  0                0                0.00  |
4.29/4.31	c | 4.31      | 0  | 3152         lb |  0                0                0.00  |
4.29/4.35	c | 4.36      | 0  | 3153         lb |  0                0                0.00  |
4.39/4.42	c | 4.42      | 0  | 3154         lb |  0                0                0.00  |
4.39/4.46	c | 4.46      | 0  | 3155         lb |  0                0                0.00  |
4.49/4.51	c | 4.51      | 0  | 3156         lb |  0                0                0.00  |
4.49/4.55	c | 4.56      | 0  | 3157         lb |  0                0                0.00  |
4.59/4.60	c | 4.61      | 0  | 3158         lb |  0                0                0.00  |
4.59/4.67	c | 4.67      | 0  | 3159         lb |  0                0                0.00  |
4.69/4.73	c | 4.73      | 0  | 3160         lb |  0                0                0.00  |
4.69/4.78	c | 4.78      | 0  | 3161         lb |  0                0                0.00  |
4.79/4.83	c | 4.84      | 0  | 3162         lb |  0                0                0.00  |
4.79/4.88	c | 4.89      | 0  | 3163         lb |  0                0                0.00  |
4.88/4.94	c | 4.94      | 0  | 3164         lb |  0                0                0.00  |
4.88/4.99	c | 4.99      | 0  | 3165         lb |  0                0                0.00  |
4.98/5.05	c | 5.05      | 0  | 3166         lb |  0                0                0.00  |
5.09/5.10	c | 5.11      | 0  | 3167         lb |  0                0                0.00  |
5.09/5.16	c | 5.16      | 0  | 3168         lb |  0                0                0.00  |
5.19/5.21	c | 5.21      | 0  | 3169         lb |  0                0                0.00  |
5.19/5.26	c | 5.26      | 0  | 3170         lb |  0                0                0.00  |
5.29/5.31	c | 5.32      | 0  | 3171         lb |  0                0                0.00  |
5.29/5.36	c | 5.37      | 0  | 3172         lb |  0                0                0.00  |
5.40/5.42	c | 5.42      | 0  | 3173         lb |  0                0                0.00  |
5.40/5.47	c | 5.47      | 0  | 3174         lb |  0                0                0.00  |
5.50/5.53	c | 5.53      | 0  | 3175         lb |  0                0                0.00  |
5.50/5.58	c | 5.58      | 0  | 3176         lb |  0                0                0.00  |
5.59/5.64	c | 5.64      | 0  | 3177         lb |  0                0                0.00  |
5.69/5.71	c | 5.71      | 0  | 3178         lb |  0                0                0.00  |
5.69/5.77	c | 5.77      | 0  | 3179         lb |  0                0                0.00  |
5.79/5.83	c | 5.83      | 0  | 3180         lb |  0                0                0.00  |
5.79/5.88	c | 5.89      | 0  | 3181         lb |  0                0                0.00  |
5.89/5.95	c | 5.96      | 0  | 3182         lb |  0                0                0.00  |
5.99/6.01	c | 6.01      | 0  | 3183         lb |  0                0                0.00  |
5.99/6.07	c | 6.08      | 0  | 3184         lb |  0                0                0.00  |
6.09/6.13	c | 6.14      | 0  | 3185         lb |  0                0                0.00  |
6.09/6.19	c | 6.20      | 0  | 3186         lb |  0                0                0.00  |
6.18/6.26	c | 6.26      | 0  | 3187         lb |  0                0                0.00  |
6.29/6.32	c | 6.33      | 0  | 3188         lb |  0                0                0.00  |
6.29/6.39	c | 6.40      | 0  | 3189         lb |  0                0                0.00  |
6.39/6.46	c | 6.46      | 0  | 3190         lb |  0                0                0.00  |
6.49/6.53	c | 6.53      | 0  | 3191         lb |  0                0                0.00  |
6.49/6.60	c | 6.60      | 0  | 3192         lb |  0                0                0.00  |
6.59/6.67	c | 6.68      | 0  | 3193         lb |  0                0                0.00  |
6.68/6.75	c | 6.75      | 0  | 3194         lb |  0                0                0.00  |
6.78/6.82	c | 6.82      | 0  | 3195         lb |  0                0                0.00  |
6.88/6.90	c | 6.90      | 0  | 3196         lb |  0                0                0.00  |
6.88/6.98	c | 6.99      | 0  | 3197         lb |  0                0                0.00  |
6.99/7.06	c | 7.07      | 0  | 3198         lb |  0                0                0.00  |
7.09/7.13	c | 7.13      | 0  | 3199         lb |  0                0                0.00  |
7.19/7.22	c | 7.23      | 0  | 3200         lb |  0                0                0.00  |
7.29/7.31	c | 7.32      | 0  | 3201         lb |  0                0                0.00  |
7.29/7.39	c | 7.39      | 0  | 3202         lb |  0                0                0.00  |
7.38/7.49	c | 7.50      | 0  | 3203         lb |  0                0                0.00  |
7.48/7.57	c | 7.57      | 0  | 3204         lb |  0                0                0.00  |
7.60/7.65	c | 7.66      | 0  | 3205         lb |  0                0                0.00  |
7.70/7.73	c | 7.74      | 0  | 3206         lb |  0                0                0.00  |
7.79/7.81	c | 7.82      | 0  | 3207         lb |  0                0                0.00  |
7.89/7.90	c | 7.90      | 0  | 3208         lb |  0                0                0.00  |
7.99/8.01	c | 8.02      | 0  | 3209         lb |  0                0                0.00  |
7.99/8.09	c | 8.09      | 0  | 3210         lb |  0                0                0.00  |
8.09/8.18	c | 8.18      | 0  | 3211         lb |  0                0                0.00  |
8.19/8.26	c | 8.26      | 0  | 3212         lb |  0                0                0.00  |
8.29/8.36	c | 8.36      | 0  | 3213         lb |  0                0                0.00  |
8.39/8.44	c | 8.45      | 0  | 3214         lb |  0                0                0.00  |
8.48/8.54	c | 8.54      | 0  | 3215         lb |  0                0                0.00  |
8.58/8.66	c | 8.66      | 0  | 3216         lb |  0                0                0.00  |
8.69/8.74	c | 8.74      | 0  | 3217         lb |  0                0                0.00  |
8.79/8.87	c | 8.87      | 0  | 3218         lb |  0                0                0.00  |
8.89/8.97	c | 8.97      | 0  | 3219         lb |  0                0                0.00  |
8.98/9.07	c | 9.07      | 0  | 3220         lb |  0                0                0.00  |
9.08/9.18	c | 9.18      | 0  | 3221         lb |  0                0                0.00  |
9.28/9.31	c | 9.32      | 0  | 3222         lb |  0                0                0.00  |
9.38/9.42	c | 9.42      | 0  | 3223         lb |  0                0                0.00  |
9.49/9.54	c | 9.54      | 0  | 3225         lb |  0                0                0.00  |
9.59/9.62	c | 9.63      | 0  | 3227         lb |  0                0                0.00  |
9.69/9.76	c | 9.77      | 0  | 3228         lb |  0                0                0.00  |
9.89/9.91	c | 9.92      | 0  | 3229         lb |  0                0                0.00  |
9.98/10.02	c | 10.02     | 0  | 3230         lb |  0                0                0.00  |
10.08/10.15	c | 10.15     | 0  | 3231         lb |  0                0                0.00  |
10.18/10.26	c | 10.27     | 0  | 3232         lb |  0                0                0.00  |
10.28/10.39	c | 10.39     | 0  | 3233         lb |  0                0                0.00  |
10.38/10.49	c | 10.49     | 0  | 3234         lb |  0                0                0.00  |
10.59/10.61	c | 10.61     | 0  | 3235         lb |  0                0                0.00  |
10.69/10.76	c | 10.77     | 0  | 3236         lb |  0                0                0.00  |
10.89/10.92	c | 10.93     | 0  | 3237         lb |  0                0                0.00  |
10.99/11.02	c | 11.03     | 0  | 3238         lb |  0                0                0.00  |
11.08/11.12	c | 11.12     | 0  | 3239         lb |  0                0                0.00  |
11.19/11.21	c | 11.22     | 0  | 3240         lb |  0                0                0.00  |
11.29/11.30	c | 11.31     | 0  | 3241         lb |  0                0                0.00  |
11.39/11.41	c | 11.41     | 0  | 3242         lb |  0                0                0.00  |
11.49/11.53	c | 11.53     | 0  | 3243         lb |  0                0                0.00  |
11.69/11.70	c | 11.70     | 0  | 3244         lb |  0                0                0.00  |
11.79/11.84	c | 11.85     | 0  | 3245         lb |  0                0                0.00  |
11.89/11.98	c | 11.98     | 0  | 3246         lb |  0                0                0.00  |
12.09/12.11	c | 12.12     | 0  | 3247         lb |  0                0                0.00  |
12.19/12.25	c | 12.25     | 0  | 3248         lb |  0                0                0.00  |
12.28/12.37	c | 12.37     | 0  | 3249         lb |  0                0                0.00  |
12.48/12.52	c | 12.52     | 0  | 3250         lb |  0                0                0.00  |
12.58/12.69	c | 12.70     | 0  | 3251         lb |  0                0                0.00  |
12.88/12.94	c | 12.94     | 0  | 3252         lb |  0                0                0.00  |
12.98/13.05	c | 13.05     | 0  | 3253         lb |  0                0                0.00  |
13.10/13.20	c | 13.20     | 0  | 3254         lb |  0                0                0.00  |
13.29/13.37	c | 13.37     | 0  | 3255         lb |  0                0                0.00  |
13.49/13.50	c | 13.50     | 0  | 3256         lb |  0                0                0.00  |
13.69/13.74	c | 13.74     | 0  | 3257         lb |  0                0                0.00  |
13.89/13.90	c | 13.91     | 0  | 3258         lb |  0                0                0.00  |
14.09/14.12	c | 14.12     | 0  | 3259         lb |  0                0                0.00  |
14.29/14.37	c | 14.37     | 0  | 3260         lb |  0                0                0.00  |
14.49/14.58	c | 14.58     | 0  | 3261         lb |  0                0                0.00  |
14.68/14.77	c | 14.77     | 0  | 3262         lb |  0                0                0.00  |
14.88/14.94	c | 14.95     | 0  | 3263         lb |  0                0                0.00  |
14.99/15.06	c | 15.06     | 0  | 3264         lb |  0                0                0.00  |
15.29/15.39	c | 15.39     | 0  | 3265         lb |  0                0                0.00  |
15.59/15.61	c | 15.61     | 0  | 3266         lb |  0                0                0.00  |
15.79/15.86	c | 15.86     | 0  | 3267         lb |  0                0                0.00  |
16.19/16.23	c | 16.24     | 0  | 3268         lb |  0                0                0.00  |
16.49/16.59	c | 16.59     | 0  | 3269         lb |  0                0                0.00  |
16.88/16.90	c | 16.91     | 0  | 3270         lb |  0                0                0.00  |
17.38/17.40	c | 17.41     | 0  | 3271         lb |  0                0                0.00  |
17.59/17.61	c | 17.62     | 0  | 3272         lb |  0                0                0.00  |
17.78/17.84	c | 17.85     | 0  | 3273         lb |  0                0                0.00  |
17.99/18.07	c | 18.07     | 0  | 3274         lb |  0                0                0.00  |
18.49/18.50	c | 18.51     | 0  | 3275         lb |  0                0                0.00  |
18.70/18.77	c | 18.77     | 0  | 3276         lb |  0                0                0.00  |
18.99/19.07	c | 19.07     | 0  | 3277         lb |  0                0                0.00  |
19.19/19.25	c | 19.26     | 0  | 3278         lb |  0                0                0.00  |
19.39/19.45	c | 19.46     | 0  | 3279         lb |  0                0                0.00  |
19.69/19.73	c | 19.74     | 0  | 3280         lb |  0                0                0.00  |
20.09/20.12	c | 20.12     | 0  | 3281         lb |  0                0                0.00  |
20.58/20.66	c | 20.66     | 0  | 3282         lb |  0                0                0.00  |
20.89/20.93	c | 20.94     | 0  | 3283         lb |  0                0                0.00  |
21.08/21.19	c | 21.19     | 0  | 3284         lb |  0                0                0.00  |
21.39/21.49	c | 21.49     | 0  | 3285         lb |  0                0                0.00  |
21.90/22.00	c | 22.00     | 0  | 3286         lb |  0                0                0.00  |
22.09/22.17	c | 22.17     | 0  | 3287         lb |  0                0                0.00  |
22.69/22.72	c | 22.72     | 0  | 3288         lb |  0                0                0.00  |
23.29/23.32	c | 23.32     | 0  | 3289         lb |  0                0                0.00  |
23.49/23.51	c | 23.51     | 0  | 3290         lb |  0                0                0.00  |
23.88/23.91	c | 23.92     | 0  | 3291         lb |  0                0                0.00  |
24.38/24.49	c | 24.50     | 0  | 3292         lb |  0                0                0.00  |
25.29/25.36	c | 25.37     | 0  | 3293         lb |  0                0                0.00  |
25.78/25.87	c | 25.88     | 0  | 3294         lb |  0                0                0.00  |
26.48/26.57	c | 26.57     | 0  | 3295         lb |  0                0                0.00  |
27.39/27.46	c | 27.47     | 0  | 3296         lb |  0                0                0.00  |
27.89/27.94	c | 27.95     | 0  | 3297         lb |  0                0                0.00  |
28.08/28.19	c | 28.20     | 0  | 3298         lb |  0                0                0.00  |
29.88/29.94	c | 29.94     | 0  | 3299         lb |  0                0                0.00  |
30.28/30.39	c | 30.40     | 0  | 3300         lb |  0                0                0.00  |
31.39/31.40	c | 31.40     | 0  | 3301         lb |  0                0                0.00  |
31.99/32.05	c | 32.05     | 0  | 3302         lb |  0                0                0.00  |
32.78/32.88	c | 32.88     | 0  | 3303         lb |  0                0                0.00  |
34.68/34.77	c | 34.77     | 0  | 3304         lb |  0                0                0.00  |
37.39/37.42	c | 37.42     | 0  | 3305         lb |  0                0                0.00  |
39.09/39.18	c | 39.19     | 0  | 3306         lb |  0                0                0.00  |
42.58/42.60	c | 42.60     | 0  | 3307         lb |  0                0                0.00  |
47.88/47.93	c | 47.94     | 0  | 3308         lb |  0                0                0.00  |
57.28/57.37	c | 57.38     | 0  | 3309         lb |  0                0                0.00  |
143.16/143.29	c | 143.30    | 0  | 3310         lb |  0                0                0.00  |
631.02/631.22	c | 631.23    | 0  | 3311         lb |  0                0                0.00  |
1799.55/1800.01	c ===============================================================================
1799.55/1800.01	c Wall Clock Time: 1800.01 s
1799.55/1800.01	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-3727283-1338651821/watcher-3727283-1338651821 -o /tmp/evaluation-result-3727283-1338651821/solver-3727283-1338651821 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727283-1338651821.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: 1.99 1.89 1.91 2/177 9449
/proc/meminfo: memFree=27947072/32873648 swapFree=6864/6864
[pid=9449] ppid=9447 vsize=3860 CPUtime=0 cores=0,2,4,6
/proc/9449/stat : 9449 (wbo1.72) R 9447 9449 7878 0 -1 4202496 449 0 0 0 0 0 0 0 20 0 1 0 331308988 3952640 401 33554432000 4194304 5964350 140737021191872 140736983258824 4344195 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/9449/statm: 965 401 168 433 0 498 0

[startup+0.0783499 s]
/proc/loadavg: 1.99 1.89 1.91 2/177 9449
/proc/meminfo: memFree=27947072/32873648 swapFree=6864/6864
[pid=9449] ppid=9447 vsize=85088 CPUtime=0.07 cores=0,2,4,6
/proc/9449/stat : 9449 (wbo1.72) S 9447 9449 7878 0 -1 4202496 2592 0 0 0 7 0 0 0 20 0 2 0 331308988 87130112 2202 33554432000 4194304 5964350 140737021191872 140737021191392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9449/statm: 21272 2202 191 433 0 20836 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 85088

[startup+0.100279 s]
/proc/loadavg: 1.99 1.89 1.91 2/177 9449
/proc/meminfo: memFree=27947072/32873648 swapFree=6864/6864
[pid=9449] ppid=9447 vsize=85088 CPUtime=0.09 cores=0,2,4,6
/proc/9449/stat : 9449 (wbo1.72) S 9447 9449 7878 0 -1 4202496 2890 0 0 0 9 0 0 0 20 0 2 0 331308988 87130112 2449 33554432000 4194304 5964350 140737021191872 140737021191392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9449/statm: 21272 2449 191 433 0 20836 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 85088

[startup+0.300243 s]
/proc/loadavg: 1.99 1.89 1.91 2/177 9449
/proc/meminfo: memFree=27947072/32873648 swapFree=6864/6864
[pid=9449] ppid=9447 vsize=85088 CPUtime=0.29 cores=0,2,4,6
/proc/9449/stat : 9449 (wbo1.72) S 9447 9449 7878 0 -1 4202496 6241 0 0 0 29 0 0 0 20 0 2 0 331308988 87130112 3990 33554432000 4194304 5964350 140737021191872 140737021191392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9449/statm: 21272 3990 191 433 0 20836 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 85088

[startup+0.700266 s]
/proc/loadavg: 1.99 1.89 1.91 2/177 9449
/proc/meminfo: memFree=27947072/32873648 swapFree=6864/6864
[pid=9449] ppid=9447 vsize=85088 CPUtime=0.69 cores=0,2,4,6
/proc/9449/stat : 9449 (wbo1.72) S 9447 9449 7878 0 -1 4202496 12386 0 0 0 68 1 0 0 20 0 2 0 331308988 87130112 6456 33554432000 4194304 5964350 140737021191872 140737021191392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9449/statm: 21272 6456 191 433 0 20836 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 85088

[startup+1.50031 s]
/proc/loadavg: 1.99 1.89 1.91 3/179 9451
/proc/meminfo: memFree=27915660/32873648 swapFree=6864/6864
[pid=9449] ppid=9447 vsize=89420 CPUtime=1.49 cores=0,2,4,6
/proc/9449/stat : 9449 (wbo1.72) S 9447 9449 7878 0 -1 4202496 25445 0 0 0 146 3 0 0 20 0 2 0 331308988 91566080 10578 33554432000 4194304 5964350 140737021191872 140737021191392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9449/statm: 22355 10578 191 433 0 21919 0
[pid=9449/tid=9451] ppid=9447 vsize=89420 CPUtime=1.47 cores=0,2,4,6
/proc/9449/task/9451/stat : 9451 (wbo1.72) R 9447 9449 7878 0 -1 4202560 24354 0 0 0 144 3 0 0 20 0 2 0 331308989 91566080 10578 33554432000 4194304 5964350 140737021191872 140382168300056 5139081 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 89420

[startup+3.10032 s]
/proc/loadavg: 1.99 1.89 1.91 3/179 9451
/proc/meminfo: memFree=27893340/32873648 swapFree=6864/6864
[pid=9449] ppid=9447 vsize=85088 CPUtime=3.09 cores=0,2,4,6
/proc/9449/stat : 9449 (wbo1.72) S 9447 9449 7878 0 -1 4202496 41726 0 0 0 303 6 0 0 20 0 2 0 331308988 87130112 16191 33554432000 4194304 5964350 140737021191872 140737021191392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9449/statm: 21272 16191 194 433 0 20836 0
[pid=9449/tid=9451] ppid=9447 vsize=85088 CPUtime=3.06 cores=0,2,4,6
/proc/9449/task/9451/stat : 9451 (wbo1.72) R 9447 9449 7878 0 -1 4202560 40635 0 0 0 300 6 0 0 20 0 2 0 331308989 87130112 16191 33554432000 4194304 5964350 140737021191872 140382168300056 4419080 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 85088

[startup+6.3003 s]
/proc/loadavg: 1.99 1.89 1.91 3/179 9451
/proc/meminfo: memFree=27859300/32873648 swapFree=6864/6864
[pid=9449] ppid=9447 vsize=157152 CPUtime=6.29 cores=0,2,4,6
/proc/9449/stat : 9449 (wbo1.72) S 9447 9449 7878 0 -1 4202496 62743 0 0 0 619 10 0 0 20 0 2 0 331308988 160923648 25281 33554432000 4194304 5964350 140737021191872 140737021191392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9449/statm: 39288 25281 194 433 0 38852 0
[pid=9449/tid=9451] ppid=9447 vsize=157152 CPUtime=6.25 cores=0,2,4,6
/proc/9449/task/9451/stat : 9451 (wbo1.72) R 9447 9449 7878 0 -1 4202560 61652 0 0 0 615 10 0 0 20 0 2 0 331308989 160923648 25281 33554432000 4194304 5964350 140737021191872 140382168299864 5130821 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 157152

[startup+12.7003 s]
/proc/loadavg: 1.99 1.89 1.91 3/179 9451
/proc/meminfo: memFree=27787440/32873648 swapFree=6864/6864
[pid=9449] ppid=9447 vsize=219440 CPUtime=12.68 cores=0,2,4,6
/proc/9449/stat : 9449 (wbo1.72) S 9447 9449 7878 0 -1 4202496 99616 0 0 0 1252 16 0 0 20 0 2 0 331308988 224706560 40045 33554432000 4194304 5964350 140737021191872 140737021191392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9449/statm: 54860 40045 195 433 0 54424 0
[pid=9449/tid=9451] ppid=9447 vsize=219440 CPUtime=12.64 cores=0,2,4,6
/proc/9449/task/9451/stat : 9451 (wbo1.72) R 9447 9449 7878 0 -1 4202560 98525 0 0 0 1248 16 0 0 20 0 2 0 331308989 224706560 40045 33554432000 4194304 5964350 140737021191872 140382168300056 5179520 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 219440

[startup+25.5003 s]
/proc/loadavg: 1.99 1.89 1.91 3/179 9451
/proc/meminfo: memFree=27730516/32873648 swapFree=6864/6864
[pid=9449] ppid=9447 vsize=284976 CPUtime=25.48 cores=0,2,4,6
/proc/9449/stat : 9449 (wbo1.72) S 9447 9449 7878 0 -1 4202496 120502 0 0 0 2528 20 0 0 20 0 2 0 331308988 291815424 55974 33554432000 4194304 5964350 140737021191872 140737021191392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9449/statm: 71244 55974 195 433 0 70808 0
[pid=9449/tid=9451] ppid=9447 vsize=284976 CPUtime=25.4 cores=0,2,4,6
/proc/9449/task/9451/stat : 9451 (wbo1.72) R 9447 9449 7878 0 -1 4202560 119411 0 0 0 2520 20 0 0 20 0 2 0 331308989 291815424 55974 33554432000 4194304 5964350 140737021191872 140382168300360 5134245 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 284976

[startup+51.1003 s]
/proc/loadavg: 1.99 1.90 1.91 3/179 9451
/proc/meminfo: memFree=27682416/32873648 swapFree=6864/6864
[pid=9449] ppid=9447 vsize=350512 CPUtime=51.08 cores=0,2,4,6
/proc/9449/stat : 9449 (wbo1.72) S 9447 9449 7878 0 -1 4202496 130019 0 0 0 5085 23 0 0 20 0 2 0 331308988 358924288 66155 33554432000 4194304 5964350 140737021191872 140737021191392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9449/statm: 87628 66155 195 433 0 87192 0
[pid=9449/tid=9451] ppid=9447 vsize=350512 CPUtime=50.94 cores=0,2,4,6
/proc/9449/task/9451/stat : 9451 (wbo1.72) R 9447 9449 7878 0 -1 4202560 128928 0 0 0 5071 23 0 0 20 0 2 0 331308989 358924288 66155 33554432000 4194304 5964350 140737021191872 140382168299816 4403501 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 350512

[startup+102.306 s]
/proc/loadavg: 1.99 1.91 1.91 3/179 9452
/proc/meminfo: memFree=27634380/32873648 swapFree=6864/6864
[pid=9449] ppid=9447 vsize=372392 CPUtime=102.28 cores=0,2,4,6
/proc/9449/stat : 9449 (wbo1.72) S 9447 9449 7878 0 -1 4202496 140333 0 0 0 10201 27 0 0 20 0 2 0 331308988 381329408 78234 33554432000 4194304 5964350 140737021191872 140737021191392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9449/statm: 93098 78234 195 433 0 92662 0
[pid=9449/tid=9451] ppid=9447 vsize=372392 CPUtime=102.01 cores=0,2,4,6
/proc/9449/task/9451/stat : 9451 (wbo1.72) R 9447 9449 7878 0 -1 4202560 139242 0 0 0 10173 28 0 0 20 0 2 0 331308989 381329408 78234 33554432000 4194304 5964350 140737021191872 140382168299512 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 372392

[startup+162.3 s]
/proc/loadavg: 1.99 1.93 1.91 3/179 9452
/proc/meminfo: memFree=27462576/32873648 swapFree=6864/6864
[pid=9449] ppid=9447 vsize=569000 CPUtime=162.26 cores=0,2,4,6
/proc/9449/stat : 9449 (wbo1.72) S 9447 9449 7878 0 -1 4202496 178873 0 0 0 16188 38 0 0 20 0 2 0 331308988 582656000 119054 33554432000 4194304 5964350 140737021191872 140737021191392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9449/statm: 142250 119054 195 433 0 141814 0
[pid=9449/tid=9451] ppid=9447 vsize=569000 CPUtime=161.84 cores=0,2,4,6
/proc/9449/task/9451/stat : 9451 (wbo1.72) R 9447 9449 7878 0 -1 4202560 177782 0 0 0 16144 40 0 0 20 0 2 0 331308989 582656000 119054 33554432000 4194304 5964350 140737021191872 140382168300472 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 569000

[startup+222.3 s]
/proc/loadavg: 1.99 1.94 1.91 3/179 9452
/proc/meminfo: memFree=27425464/32873648 swapFree=6864/6864
[pid=9449] ppid=9447 vsize=569000 CPUtime=222.24 cores=0,2,4,6
/proc/9449/stat : 9449 (wbo1.72) S 9447 9449 7878 0 -1 4202496 178885 0 0 0 22186 38 0 0 20 0 2 0 331308988 582656000 119100 33554432000 4194304 5964350 140737021191872 140737021191392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9449/statm: 142250 119100 195 433 0 141814 0
[pid=9449/tid=9451] ppid=9447 vsize=569000 CPUtime=221.68 cores=0,2,4,6
/proc/9449/task/9451/stat : 9451 (wbo1.72) R 9447 9449 7878 0 -1 4202560 177794 0 0 0 22127 41 0 0 20 0 2 0 331308989 582656000 119100 33554432000 4194304 5964350 140737021191872 140382168300472 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 569000

[startup+282.3 s]
/proc/loadavg: 1.99 1.95 1.91 3/179 9452
/proc/meminfo: memFree=27416832/32873648 swapFree=6864/6864
[pid=9449] ppid=9447 vsize=569000 CPUtime=282.2 cores=0,2,4,6
/proc/9449/stat : 9449 (wbo1.72) S 9447 9449 7878 0 -1 4202496 178970 0 0 0 28182 38 0 0 20 0 2 0 331308988 582656000 119142 33554432000 4194304 5964350 140737021191872 140737021191392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9449/statm: 142250 119142 195 433 0 141814 0
[pid=9449/tid=9451] ppid=9447 vsize=569000 CPUtime=281.49 cores=0,2,4,6
/proc/9449/task/9451/stat : 9451 (wbo1.72) R 9447 9449 7878 0 -1 4202560 177879 0 0 0 28107 42 0 0 20 0 2 0 331308989 582656000 119142 33554432000 4194304 5964350 140737021191872 140382168300472 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 569000

[startup+342.3 s]
/proc/loadavg: 1.99 1.95 1.91 3/179 9452
/proc/meminfo: memFree=27372204/32873648 swapFree=6864/6864
[pid=9449] ppid=9447 vsize=569000 CPUtime=342.18 cores=0,2,4,6
/proc/9449/stat : 9449 (wbo1.72) S 9447 9449 7878 0 -1 4202496 190349 0 0 0 34176 42 0 0 20 0 2 0 331308988 582656000 130503 33554432000 4194304 5964350 140737021191872 140737021191392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9449/statm: 142250 130503 195 433 0 141814 0
[pid=9449/tid=9451] ppid=9447 vsize=569000 CPUtime=341.32 cores=0,2,4,6
/proc/9449/task/9451/stat : 9451 (wbo1.72) R 9447 9449 7878 0 -1 4202560 189258 0 0 0 34085 47 0 0 20 0 2 0 331308989 582656000 130503 33554432000 4194304 5964350 140737021191872 140382168299512 4399835 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 569000

[startup+402.3 s]
/proc/loadavg: 1.99 1.96 1.91 3/180 9456
/proc/meminfo: memFree=27333624/32873648 swapFree=6864/6864
[pid=9449] ppid=9447 vsize=634536 CPUtime=402.15 cores=0,2,4,6
/proc/9449/stat : 9449 (wbo1.72) S 9447 9449 7878 0 -1 4202496 199516 0 0 0 40169 46 0 0 20 0 2 0 331308988 649764864 140147 33554432000 4194304 5964350 140737021191872 140737021191392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9449/statm: 158634 140147 195 433 0 158198 0
[pid=9449/tid=9451] ppid=9447 vsize=634536 CPUtime=401.15 cores=0,2,4,6
/proc/9449/task/9451/stat : 9451 (wbo1.72) R 9447 9449 7878 0 -1 4202560 198425 0 0 0 40063 52 0 0 20 0 2 0 331308989 649764864 140147 33554432000 4194304 5964350 140737021191872 140382168299512 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 634536

[startup+462.3 s]
/proc/loadavg: 2.05 1.98 1.91 3/179 9456
/proc/meminfo: memFree=27250832/32873648 swapFree=6864/6864
[pid=9449] ppid=9447 vsize=700072 CPUtime=462.14 cores=0,2,4,6

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


[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 1.95 3/179 9486
/proc/meminfo: memFree=26812384/32873648 swapFree=6864/6864
[pid=9449] ppid=9447 vsize=1071408 CPUtime=1421.97 cores=0,2,4,6
/proc/9449/stat : 9449 (wbo1.72) S 9447 9449 7878 0 -1 4202496 304769 0 0 0 142105 92 0 0 20 0 2 0 331308988 1097121792 247702 33554432000 4194304 5964350 140737021191872 140737021191392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9449/statm: 267852 247702 195 433 0 267416 0
[pid=9449/tid=9451] ppid=9447 vsize=1071408 CPUtime=1418.46 cores=0,2,4,6
/proc/9449/task/9451/stat : 9451 (wbo1.72) R 9447 9449 7878 0 -1 4202560 303678 0 0 0 141733 113 0 0 20 0 2 0 331308989 1097121792 247702 33554432000 4194304 5964350 140737021191872 140382168299512 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 1071408

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/179 9486
/proc/meminfo: memFree=26734920/32873648 swapFree=6864/6864
[pid=9449] ppid=9447 vsize=1071408 CPUtime=1481.95 cores=0,2,4,6
/proc/9449/stat : 9449 (wbo1.72) S 9447 9449 7878 0 -1 4202496 315683 0 0 0 148099 96 0 0 20 0 2 0 331308988 1097121792 258662 33554432000 4194304 5964350 140737021191872 140737021191392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9449/statm: 267852 258662 195 433 0 267416 0
[pid=9449/tid=9451] ppid=9447 vsize=1071408 CPUtime=1478.29 cores=0,2,4,6
/proc/9449/task/9451/stat : 9451 (wbo1.72) R 9447 9449 7878 0 -1 4202560 314592 0 0 0 147711 118 0 0 20 0 2 0 331308989 1097121792 258662 33554432000 4194304 5964350 140737021191872 140382168299512 4399994 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 1071408

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/179 9525
/proc/meminfo: memFree=27132448/32873648 swapFree=6864/6864
[pid=9449] ppid=9447 vsize=1136944 CPUtime=1541.91 cores=0,2,4,6
/proc/9449/stat : 9449 (wbo1.72) S 9447 9449 7878 0 -1 4202496 325126 0 0 0 154090 101 0 0 20 0 2 0 331308988 1164230656 268347 33554432000 4194304 5964350 140737021191872 140737021191392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9449/statm: 284236 268347 195 433 0 283800 0
[pid=9449/tid=9451] ppid=9447 vsize=1136944 CPUtime=1538.11 cores=0,2,4,6
/proc/9449/task/9451/stat : 9451 (wbo1.72) R 9447 9449 7878 0 -1 4202560 324035 0 0 0 153687 124 0 0 20 0 2 0 331308989 1164230656 268347 33554432000 4194304 5964350 140737021191872 140382168299512 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 1136944

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 9528
/proc/meminfo: memFree=27017896/32873648 swapFree=6864/6864
[pid=9449] ppid=9447 vsize=1136944 CPUtime=1601.89 cores=0,2,4,6
/proc/9449/stat : 9449 (wbo1.72) S 9447 9449 7878 0 -1 4202496 335200 0 0 0 160083 106 0 0 20 0 2 0 331308988 1164230656 278592 33554432000 4194304 5964350 140737021191872 140737021191392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9449/statm: 284236 278592 195 433 0 283800 0
[pid=9449/tid=9451] ppid=9447 vsize=1136944 CPUtime=1597.94 cores=0,2,4,6
/proc/9449/task/9451/stat : 9451 (wbo1.72) R 9447 9449 7878 0 -1 4202560 334109 0 0 0 159665 129 0 0 20 0 2 0 331308989 1164230656 278592 33554432000 4194304 5964350 140737021191872 140382168299512 4399976 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 1136944

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 9529
/proc/meminfo: memFree=26937580/32873648 swapFree=6864/6864
[pid=9449] ppid=9447 vsize=1202480 CPUtime=1661.87 cores=0,2,4,6
/proc/9449/stat : 9449 (wbo1.72) S 9447 9449 7878 0 -1 4202496 342570 0 0 0 166077 110 0 0 20 0 2 0 331308988 1231339520 285952 33554432000 4194304 5964350 140737021191872 140737021191392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9449/statm: 300620 285952 195 433 0 300184 0
[pid=9449/tid=9451] ppid=9447 vsize=1202480 CPUtime=1657.78 cores=0,2,4,6
/proc/9449/task/9451/stat : 9451 (wbo1.72) R 9447 9449 7878 0 -1 4202560 341479 0 0 0 165643 135 0 0 20 0 2 0 331308989 1231339520 285952 33554432000 4194304 5964350 140737021191872 140382168299512 4399930 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 1202480

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 9529
/proc/meminfo: memFree=26838260/32873648 swapFree=6864/6864
[pid=9449] ppid=9447 vsize=1268016 CPUtime=1721.87 cores=0,2,4,6
/proc/9449/stat : 9449 (wbo1.72) S 9447 9449 7878 0 -1 4202496 352480 0 0 0 172072 115 0 0 20 0 2 0 331308988 1298448384 295862 33554432000 4194304 5964350 140737021191872 140737021191392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9449/statm: 317004 295862 195 433 0 316568 0
[pid=9449/tid=9451] ppid=9447 vsize=1268016 CPUtime=1717.62 cores=0,2,4,6
/proc/9449/task/9451/stat : 9451 (wbo1.72) R 9447 9449 7878 0 -1 4202560 351389 0 0 0 171622 140 0 0 20 0 2 0 331308989 1298448384 295862 33554432000 4194304 5964350 140737021191872 140382168299512 4400035 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 1268016

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 9529
/proc/meminfo: memFree=26745508/32873648 swapFree=6864/6864
[pid=9449] ppid=9447 vsize=1268016 CPUtime=1781.86 cores=0,2,4,6
/proc/9449/stat : 9449 (wbo1.72) S 9447 9449 7878 0 -1 4202496 363980 0 0 0 178066 120 0 0 20 0 2 0 331308988 1298448384 307362 33554432000 4194304 5964350 140737021191872 140737021191392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9449/statm: 317004 307362 195 433 0 316568 0
[pid=9449/tid=9451] ppid=9447 vsize=1268016 CPUtime=1777.46 cores=0,2,4,6
/proc/9449/task/9451/stat : 9451 (wbo1.72) R 9447 9449 7878 0 -1 4202560 362889 0 0 0 177600 146 0 0 20 0 2 0 331308989 1298448384 307362 33554432000 4194304 5964350 140737021191872 140382168299512 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 1268016

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 9529
/proc/meminfo: memFree=26742036/32873648 swapFree=6864/6864
[pid=9449] ppid=9447 vsize=1268016 CPUtime=1791.46 cores=0,2,4,6
/proc/9449/stat : 9449 (wbo1.72) S 9447 9449 7878 0 -1 4202496 364985 0 0 0 179026 120 0 0 20 0 2 0 331308988 1298448384 308367 33554432000 4194304 5964350 140737021191872 140737021191392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9449/statm: 317004 308367 195 433 0 316568 0
[pid=9449/tid=9451] ppid=9447 vsize=1268016 CPUtime=1787.04 cores=0,2,4,6
/proc/9449/task/9451/stat : 9451 (wbo1.72) R 9447 9449 7878 0 -1 4202560 363894 0 0 0 178557 147 0 0 20 0 2 0 331308989 1298448384 308367 33554432000 4194304 5964350 140737021191872 140382168299512 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.46
Current children cumulated vsize (KiB) 1268016

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 9529
/proc/meminfo: memFree=26740548/32873648 swapFree=6864/6864
[pid=9449] ppid=9447 vsize=1268016 CPUtime=1794.66 cores=0,2,4,6
/proc/9449/stat : 9449 (wbo1.72) S 9447 9449 7878 0 -1 4202496 365334 0 0 0 179346 120 0 0 20 0 2 0 331308988 1298448384 308716 33554432000 4194304 5964350 140737021191872 140737021191392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9449/statm: 317004 308716 195 433 0 316568 0
[pid=9449/tid=9451] ppid=9447 vsize=1268016 CPUtime=1790.24 cores=0,2,4,6
/proc/9449/task/9451/stat : 9451 (wbo1.72) R 9447 9449 7878 0 -1 4202560 364243 0 0 0 178877 147 0 0 20 0 2 0 331308989 1298448384 308716 33554432000 4194304 5964350 140737021191872 140382168299512 4399989 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1794.66
Current children cumulated vsize (KiB) 1268016

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 9529
/proc/meminfo: memFree=26739556/32873648 swapFree=6864/6864
[pid=9449] ppid=9447 vsize=1268016 CPUtime=1797.86 cores=0,2,4,6
/proc/9449/stat : 9449 (wbo1.72) S 9447 9449 7878 0 -1 4202496 365697 0 0 0 179665 121 0 0 20 0 2 0 331308988 1298448384 309079 33554432000 4194304 5964350 140737021191872 140737021191392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9449/statm: 317004 309079 195 433 0 316568 0
[pid=9449/tid=9451] ppid=9447 vsize=1268016 CPUtime=1793.42 cores=0,2,4,6
/proc/9449/task/9451/stat : 9451 (wbo1.72) R 9447 9449 7878 0 -1 4202560 364606 0 0 0 179195 147 0 0 20 0 2 0 331308989 1298448384 309079 33554432000 4194304 5964350 140737021191872 140382168299512 5136340 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1797.86
Current children cumulated vsize (KiB) 1268016

[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 9529
/proc/meminfo: memFree=26738688/32873648 swapFree=6864/6864
[pid=9449] ppid=9447 vsize=1268016 CPUtime=1798.66 cores=0,2,4,6
/proc/9449/stat : 9449 (wbo1.72) S 9447 9449 7878 0 -1 4202496 365854 0 0 0 179745 121 0 0 20 0 2 0 331308988 1298448384 309236 33554432000 4194304 5964350 140737021191872 140737021191392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9449/statm: 317004 309236 195 433 0 316568 0
[pid=9449/tid=9451] ppid=9447 vsize=1268016 CPUtime=1794.22 cores=0,2,4,6
/proc/9449/task/9451/stat : 9451 (wbo1.72) R 9447 9449 7878 0 -1 4202560 364763 0 0 0 179275 147 0 0 20 0 2 0 331308989 1298448384 309236 33554432000 4194304 5964350 140737021191872 140382168299512 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.66
Current children cumulated vsize (KiB) 1268016

[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 9529
/proc/meminfo: memFree=26737944/32873648 swapFree=6864/6864
[pid=9449] ppid=9447 vsize=1268016 CPUtime=1799.06 cores=0,2,4,6
/proc/9449/stat : 9449 (wbo1.72) S 9447 9449 7878 0 -1 4202496 365913 0 0 0 179785 121 0 0 20 0 2 0 331308988 1298448384 309295 33554432000 4194304 5964350 140737021191872 140737021191392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9449/statm: 317004 309295 195 433 0 316568 0
[pid=9449/tid=9451] ppid=9447 vsize=1268016 CPUtime=1794.62 cores=0,2,4,6
/proc/9449/task/9451/stat : 9451 (wbo1.72) R 9447 9449 7878 0 -1 4202560 364822 0 0 0 179314 148 0 0 20 0 2 0 331308989 1298448384 309295 33554432000 4194304 5964350 140737021191872 140382168299512 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.06
Current children cumulated vsize (KiB) 1268016

[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 9529
/proc/meminfo: memFree=26737944/32873648 swapFree=6864/6864
[pid=9449] ppid=9447 vsize=1268016 CPUtime=1799.45 cores=0,2,4,6
/proc/9449/stat : 9449 (wbo1.72) S 9447 9449 7878 0 -1 4202496 365992 0 0 0 179824 121 0 0 20 0 2 0 331308988 1298448384 309374 33554432000 4194304 5964350 140737021191872 140737021191392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9449/statm: 317004 309374 195 433 0 316568 0
[pid=9449/tid=9451] ppid=9447 vsize=1268016 CPUtime=1795.02 cores=0,2,4,6
/proc/9449/task/9451/stat : 9451 (wbo1.72) R 9447 9449 7878 0 -1 4202560 364901 0 0 0 179354 148 0 0 20 0 2 0 331308989 1298448384 309374 33554432000 4194304 5964350 140737021191872 140382168299512 4399998 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.45
Current children cumulated vsize (KiB) 1268016

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 9529
/proc/meminfo: memFree=26737944/32873648 swapFree=6864/6864
[pid=9449] ppid=9447 vsize=1268016 CPUtime=1799.55 cores=0,2,4,6
/proc/9449/stat : 9449 (wbo1.72) S 9447 9449 7878 0 -1 4202496 366019 0 0 0 179834 121 0 0 20 0 2 0 331308988 1298448384 309401 33554432000 4194304 5964350 140737021191872 140737021191392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9449/statm: 317004 309401 195 433 0 316568 0
[pid=9449/tid=9451] ppid=9447 vsize=1268016 CPUtime=1795.12 cores=0,2,4,6
/proc/9449/task/9451/stat : 9451 (wbo1.72) R 9447 9449 7878 0 -1 4202560 364928 0 0 0 179364 148 0 0 20 0 2 0 331308989 1298448384 309401 33554432000 4194304 5964350 140737021191872 140382168299512 4400035 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.55
Current children cumulated vsize (KiB) 1268016

Child status: 255

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9449 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=668320
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=508770
# CPU time returned by wait4() is 1795.18
# while last known CPU time is 1799.55
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.03
CPU time (s): 1799.55
CPU user time (s): 1798.34
CPU system time (s): 1.21
CPU usage (%): 99.9734
Max. virtual memory (cumulated for all children) (KiB): 1268016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.67
system time used= 1.50877
maximum resident set size= 1237620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 366023
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= 245
involuntary context switches= 1888

runsolver used 2.74658 second user time and 7.09592 second system time

The end

Launcher Data

Begin job on node113 at 2012-06-02 17:43:41
IDJOB=3727283
IDBENCH=1851
IDSOLVER=2313
FILE ID=node113/3727283-1338651821
RUNJOBID= node113-1338651535-9377
PBS_JOBID= 14636467
Free space on /tmp= 71040 MiB

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

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

MD5SUM BENCH= 0155c0c96434984f6ded6bb7ada20c0c
RANDOM SEED=1360792908

node113.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		: 2667.026
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	: 5334.05
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		: 2667.026
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.90
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		: 2667.026
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	: 5438.54
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		: 2667.026
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		: 2667.026
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.91
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		: 2667.026
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		: 2667.026
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.92
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		: 2667.026
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:       32873648 kB
MemFree:        27947428 kB
Buffers:          494012 kB
Cached:          3236952 kB
SwapCached:         2020 kB
Active:          1898268 kB
Inactive:        2143320 kB
Active(anon):     309760 kB
Inactive(anon):     1800 kB
Active(file):    1588508 kB
Inactive(file):  2141520 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67099596 kB
Dirty:              5444 kB
Writeback:             0 kB
AnonPages:        314392 kB
Mapped:            11760 kB
Shmem:                 0 kB
Slab:             748536 kB
SReclaimable:     192968 kB
SUnreclaim:       555568 kB
KernelStack:        1488 kB
PageTables:         4584 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     146764 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    198656 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= 71036 MiB
End job on node113 at 2012-06-02 18:13:42