Trace number 3705167

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.01

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-2.opb
MD5SUMf480d2d56550630df651872786c078c9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark939
Best CPU time to get the best result obtained on this benchmark5.37918
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 999
Optimality of the best value was proved NO
Number of variables8405
Total number of constraints10667
Number of constraints which are clauses9918
Number of constraints which are cardinality constraints (but not clauses)749
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint351
Number of terms in the objective function 6892
Biggest coefficient in the objective function 667
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 371779
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 667
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 371779
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-3705167-1338095171.opb.
0.00/0.00	c Instance file HOME/instance-3705167-1338095171.opb
0.00/0.00	c File size is 551521 bytes.
0.00/0.04	c Cost Offset: -3212
0.00/0.04	c Highest Coefficient sum: 386
0.00/0.04	c ============================[ Problem Statistics ]=============================
0.00/0.04	c |                                                                             |
0.00/0.04	c |  Parsing time:          0.04         s                                      |
0.00/0.04	c |  Number Variables:      8405                                                |
0.00/0.04	c |  Number Clauses:        10619                                               |
0.00/0.04	c |  Number Cardinality:    748                                                 |
0.00/0.04	c |  Number PB Constraints: 0                                                   |
0.00/0.04	c |                                                                             |
0.00/0.05	c |  Problem Type:          Optimization                                        |
0.00/0.05	c |  Objective Function:    PB Constraint                                       |
0.00/0.05	c |                                                                             |
0.00/0.05	c ============================[ Search Statistics ]==============================
0.00/0.05	c | Time (s)  | ID |      Bound      |               Shared Clauses             |
0.00/0.05	c |           |    | value      type |  expCls         impCls        Lit/impCl  |
0.00/0.05	c ===============================================================================
0.05/0.06	c | 0.07      | 0  | -2544        lb |  0                0                0.00  |
0.05/0.07	c | 0.07      | 0  | -2543        lb |  0                0                0.00  |
0.05/0.08	c | 0.08      | 0  | -2542        lb |  0                0                0.00  |
0.05/0.08	c | 0.09      | 0  | -2541        lb |  0                0                0.00  |
0.05/0.09	c | 0.09      | 0  | -2540        lb |  0                0                0.00  |
0.08/0.10	c | 0.10      | 0  | -2539        lb |  0                0                0.00  |
0.08/0.11	c | 0.11      | 0  | -2538        lb |  0                0                0.00  |
0.08/0.11	c | 0.12      | 0  | -2537        lb |  0                0                0.00  |
0.08/0.12	c | 0.12      | 0  | -2536        lb |  0                0                0.00  |
0.08/0.13	c | 0.13      | 0  | -2535        lb |  0                0                0.00  |
0.08/0.14	c | 0.14      | 0  | -2534        lb |  0                0                0.00  |
0.08/0.15	c | 0.15      | 0  | -2533        lb |  0                0                0.00  |
0.08/0.16	c | 0.16      | 0  | -2532        lb |  0                0                0.00  |
0.08/0.16	c | 0.17      | 0  | -2531        lb |  0                0                0.00  |
0.08/0.17	c | 0.18      | 0  | -2530        lb |  0                0                0.00  |
0.08/0.18	c | 0.18      | 0  | -2529        lb |  0                0                0.00  |
0.08/0.19	c | 0.19      | 0  | -2528        lb |  0                0                0.00  |
0.19/0.20	c | 0.20      | 0  | -2527        lb |  0                0                0.00  |
0.19/0.21	c | 0.21      | 0  | -2526        lb |  0                0                0.00  |
0.19/0.22	c | 0.22      | 0  | -2525        lb |  0                0                0.00  |
0.19/0.23	c | 0.23      | 0  | -2524        lb |  0                0                0.00  |
0.19/0.24	c | 0.24      | 0  | -2523        lb |  0                0                0.00  |
0.19/0.25	c | 0.26      | 0  | -2522        lb |  0                0                0.00  |
0.19/0.26	c | 0.27      | 0  | -2521        lb |  0                0                0.00  |
0.19/0.28	c | 0.28      | 0  | -2421        lb |  0                0                0.00  |
0.19/0.29	c | 0.29      | 0  | -2321        lb |  0                0                0.00  |
0.29/0.30	c | 0.31      | 0  | -2221        lb |  0                0                0.00  |
0.29/0.32	c | 0.32      | 0  | -2121        lb |  0                0                0.00  |
0.29/0.33	c | 0.34      | 0  | -2021        lb |  0                0                0.00  |
0.29/0.35	c | 0.35      | 0  | -1921        lb |  0                0                0.00  |
0.29/0.36	c | 0.37      | 0  | -1821        lb |  0                0                0.00  |
0.29/0.38	c | 0.38      | 0  | -1721        lb |  0                0                0.00  |
0.39/0.40	c | 0.40      | 0  | -1621        lb |  0                0                0.00  |
0.39/0.42	c | 0.42      | 0  | -1620        lb |  0                0                0.00  |
0.39/0.43	c | 0.44      | 0  | -1619        lb |  0                0                0.00  |
0.39/0.45	c | 0.45      | 0  | -1618        lb |  0                0                0.00  |
0.39/0.47	c | 0.47      | 0  | -1617        lb |  0                0                0.00  |
0.39/0.49	c | 0.50      | 0  | -1616        lb |  0                0                0.00  |
0.49/0.51	c | 0.52      | 0  | -1615        lb |  0                0                0.00  |
0.59/0.60	c | 0.54      | 0  | -1614        lb |  0                0                0.00  |
0.59/0.60	c | 0.56      | 0  | -1613        lb |  0                0                0.00  |
0.59/0.60	c | 0.58      | 0  | -1612        lb |  0                0                0.00  |
0.59/0.60	c | 0.60      | 0  | -1611        lb |  0                0                0.00  |
0.59/0.62	c | 0.62      | 0  | -1610        lb |  0                0                0.00  |
0.59/0.64	c | 0.64      | 0  | -1609        lb |  0                0                0.00  |
0.59/0.66	c | 0.66      | 0  | -1608        lb |  0                0                0.00  |
0.59/0.68	c | 0.68      | 0  | -1607        lb |  0                0                0.00  |
0.69/0.71	c | 0.71      | 0  | -1606        lb |  0                0                0.00  |
0.69/0.73	c | 0.73      | 0  | -1605        lb |  0                0                0.00  |
0.69/0.75	c | 0.76      | 0  | -1604        lb |  0                0                0.00  |
0.69/0.77	c | 0.78      | 0  | -1603        lb |  0                0                0.00  |
0.79/0.80	c | 0.80      | 0  | -1602        lb |  0                0                0.00  |
0.79/0.82	c | 0.82      | 0  | -1601        lb |  0                0                0.00  |
0.79/0.84	c | 0.85      | 0  | -1600        lb |  0                0                0.00  |
0.79/0.87	c | 0.87      | 0  | -1599        lb |  0                0                0.00  |
0.79/0.89	c | 0.89      | 0  | -1598        lb |  0                0                0.00  |
0.88/0.91	c | 0.92      | 0  | -1597        lb |  0                0                0.00  |
0.88/0.94	c | 0.94      | 0  | -1596        lb |  0                0                0.00  |
0.88/0.96	c | 0.96      | 0  | -1595        lb |  0                0                0.00  |
0.88/0.98	c | 0.99      | 0  | -1594        lb |  0                0                0.00  |
0.99/1.01	c | 1.01      | 0  | -1593        lb |  0                0                0.00  |
0.99/1.03	c | 1.04      | 0  | -1592        lb |  0                0                0.00  |
0.99/1.06	c | 1.06      | 0  | -1591        lb |  0                0                0.00  |
0.99/1.08	c | 1.09      | 0  | -1590        lb |  0                0                0.00  |
1.09/1.11	c | 1.11      | 0  | -1589        lb |  0                0                0.00  |
1.09/1.14	c | 1.14      | 0  | -1588        lb |  0                0                0.00  |
1.09/1.16	c | 1.17      | 0  | -1587        lb |  0                0                0.00  |
1.18/1.22	c | 1.22      | 0  | -1586        lb |  0                0                0.00  |
1.28/1.32	c | 1.33      | 0  | -1585        lb |  0                0                0.00  |
1.38/1.47	c | 1.47      | 0  | -1584        lb |  0                0                0.00  |
1.78/1.80	c | 1.80      | 0  | -1583        lb |  0                0                0.00  |
1.88/1.92	c | 1.92      | 0  | -1582        lb |  0                0                0.00  |
1.88/1.98	c | 1.98      | 0  | -1581        lb |  0                0                0.00  |
1.98/2.01	c | 2.01      | 0  | -1580        lb |  0                0                0.00  |
2.68/2.77	c | 2.77      | 0  | -1579        lb |  0                0                0.00  |
2.79/2.88	c | 2.89      | 0  | -1578        lb |  0                0                0.00  |
2.89/2.93	c | 2.94      | 0  | -1577        lb |  0                0                0.00  |
7.39/7.43	c | 7.43      | 0  | -1576        lb |  0                0                0.00  |
7.48/7.56	c | 7.56      | 0  | -1575        lb |  0                0                0.00  |
7.59/7.70	c | 7.70      | 0  | -1574        lb |  0                0                0.00  |
7.78/7.84	c | 7.85      | 0  | -1573        lb |  0                0                0.00  |
7.88/7.90	c | 7.90      | 0  | -1572        lb |  0                0                0.00  |
7.88/7.94	c | 7.94      | 0  | -1571        lb |  0                0                0.00  |
7.98/8.03	c | 8.04      | 0  | -1570        lb |  0                0                0.00  |
8.08/8.10	c | 8.10      | 0  | -1569        lb |  0                0                0.00  |
8.08/8.17	c | 8.17      | 0  | -1568        lb |  0                0                0.00  |
9.28/9.30	c | 9.30      | 0  | -1567        lb |  0                0                0.00  |
9.68/9.72	c | 9.72      | 0  | -1566        lb |  0                0                0.00  |
9.68/9.76	c | 9.77      | 0  | -1565        lb |  0                0                0.00  |
9.79/9.81	c | 9.81      | 0  | -1564        lb |  0                0                0.00  |
9.79/9.85	c | 9.86      | 0  | -1563        lb |  0                0                0.00  |
10.38/10.49	c | 10.49     | 0  | -1562        lb |  0                0                0.00  |
10.48/10.55	c | 10.55     | 0  | -1561        lb |  0                0                0.00  |
10.58/10.61	c | 10.61     | 0  | -1560        lb |  0                0                0.00  |
10.78/10.80	c | 10.80     | 0  | -1559        lb |  0                0                0.00  |
10.78/10.86	c | 10.86     | 0  | -1558        lb |  0                0                0.00  |
11.48/11.59	c | 11.60     | 0  | -1557        lb |  0                0                0.00  |
11.99/12.05	c | 12.05     | 0  | -1556        lb |  0                0                0.00  |
12.09/12.11	c | 12.12     | 0  | -1555        lb |  0                0                0.00  |
12.58/12.64	c | 12.64     | 0  | -1554        lb |  0                0                0.00  |
12.68/12.71	c | 12.71     | 0  | -1553        lb |  0                0                0.00  |
15.88/15.91	c | 15.92     | 0  | -1552        lb |  0                0                0.00  |
16.58/16.63	c | 16.64     | 0  | -1551        lb |  0                0                0.00  |
18.48/18.53	c | 18.54     | 0  | -1550        lb |  0                0                0.00  |
18.48/18.60	c | 18.60     | 0  | -1549        lb |  0                0                0.00  |
18.59/18.68	c | 18.69     | 0  | -1548        lb |  0                0                0.00  |
18.69/18.73	c | 18.73     | 0  | -1547        lb |  0                0                0.00  |
18.78/18.81	c | 18.81     | 0  | -1546        lb |  0                0                0.00  |
18.98/19.01	c | 19.01     | 0  | -1545        lb |  0                0                0.00  |
19.18/19.23	c | 19.23     | 0  | -1544        lb |  0                0                0.00  |
19.88/19.96	c | 19.96     | 0  | -1543        lb |  0                0                0.00  |
20.08/20.13	c | 20.13     | 0  | -1542        lb |  0                0                0.00  |
20.28/20.34	c | 20.34     | 0  | -1541        lb |  0                0                0.00  |
21.89/22.00	c | 22.00     | 0  | -1540        lb |  0                0                0.00  |
21.99/22.06	c | 22.07     | 0  | -1539        lb |  0                0                0.00  |
22.08/22.13	c | 22.13     | 0  | -1538        lb |  0                0                0.00  |
39.48/39.56	c | 39.57     | 0  | -1537        lb |  0                0                0.00  |
39.67/39.78	c | 39.78     | 0  | -1536        lb |  0                0                0.00  |
39.97/40.04	c | 40.04     | 0  | -1535        lb |  0                0                0.00  |
40.07/40.15	c | 40.15     | 0  | -1534        lb |  0                0                0.00  |
40.97/41.00	c | 41.00     | 0  | -1533        lb |  0                0                0.00  |
41.68/41.72	c | 41.72     | 0  | -1532        lb |  0                0                0.00  |
41.78/41.82	c | 41.83     | 0  | -1531        lb |  0                0                0.00  |
41.78/41.89	c | 41.89     | 0  | -1530        lb |  0                0                0.00  |
41.97/42.00	c | 42.00     | 0  | -1529        lb |  0                0                0.00  |
41.97/42.06	c | 42.07     | 0  | -1528        lb |  0                0                0.00  |
42.57/42.64	c | 42.64     | 0  | -1527        lb |  0                0                0.00  |
49.67/49.77	c | 49.77     | 0  | -1526        lb |  0                0                0.00  |
49.77/49.89	c | 49.89     | 0  | -1525        lb |  0                0                0.00  |
49.87/49.98	c | 49.98     | 0  | -1524        lb |  0                0                0.00  |
51.58/51.61	c | 51.62     | 0  | -1523        lb |  0                0                0.00  |
100.35/100.43	c | 100.44    | 0  | -1522        lb |  0                0                0.00  |
100.95/101.08	c | 101.08    | 0  | -1521        lb |  0                0                0.00  |
104.75/104.81	c | 104.81    | 0  | -1520        lb |  0                0                0.00  |
242.61/242.71	c | 242.72    | 0  | -1519        lb |  0                0                0.00  |
242.91/243.04	c | 243.04    | 0  | -1518        lb |  0                0                0.00  |
243.01/243.15	c | 243.15    | 0  | -1517        lb |  0                0                0.00  |
243.10/243.21	c | 243.22    | 0  | -1516        lb |  0                0                0.00  |
243.90/244.06	c | 244.07    | 0  | -1515        lb |  0                0                0.00  |
249.70/249.83	c | 249.83    | 0  | -1514        lb |  0                0                0.00  |
249.80/249.92	c | 249.92    | 0  | -1513        lb |  0                0                0.00  |
257.50/257.61	c | 257.62    | 0  | -1512        lb |  0                0                0.00  |
257.70/257.83	c | 257.83    | 0  | -1511        lb |  0                0                0.00  |
262.40/262.54	c | 262.54    | 0  | -1510        lb |  0                0                0.00  |
385.75/385.94	c | 385.94    | 0  | -1509        lb |  0                0                0.00  |
423.75/423.99	c | 424.00    | 0  | -1508        lb |  0                0                0.00  |
427.85/428.01	c | 428.01    | 0  | -1507        lb |  0                0                0.00  |
427.95/428.11	c | 428.11    | 0  | -1506        lb |  0                0                0.00  |
428.25/428.44	c | 428.44    | 0  | -1505        lb |  0                0                0.00  |
487.54/487.73	c | 487.73    | 0  | -1504        lb |  0                0                0.00  |
1408.05/1408.59	c | 1408.60   | 0  | -1503        lb |  0                0                0.00  |
1409.85/1410.36	c | 1410.37   | 0  | -1502        lb |  0                0                0.00  |
1630.22/1630.76	c | 1630.76   | 0  | -1501        lb |  0                0                0.00  |
1634.72/1635.20	c | 1635.20   | 0  | -1500        lb |  0                0                0.00  |
1634.82/1635.32	c | 1635.32   | 0  | -1499        lb |  0                0                0.00  |
1634.92/1635.40	c | 1635.40   | 0  | -1498        lb |  0                0                0.00  |
1666.61/1667.15	c | 1667.15   | 0  | -1497        lb |  0                0                0.00  |
1666.91/1667.43	c | 1667.43   | 0  | -1496        lb |  0                0                0.00  |
1667.02/1667.57	c | 1667.58   | 0  | -1495        lb |  0                0                0.00  |
1668.61/1669.16	c | 1669.16   | 0  | -1494        lb |  0                0                0.00  |
1744.11/1744.66	c | 1744.66   | 0  | -1493        lb |  0                0                0.00  |
1744.50/1745.02	c | 1745.03   | 0  | -1492        lb |  0                0                0.00  |
1787.19/1787.79	c | 1787.79   | 0  | -1491        lb |  0                0                0.00  |
1787.49/1788.09	c | 1788.10   | 0  | -1490        lb |  0                0                0.00  |
1799.49/1800.00	c ===============================================================================
1799.49/1800.00	c Wall Clock Time: 1800.00 s
1799.49/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-3705167-1338095171/watcher-3705167-1338095171 -o /tmp/evaluation-result-3705167-1338095171/solver-3705167-1338095171 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705167-1338095171.opb 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 22716
/proc/meminfo: memFree=29157776/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=4816 CPUtime=0 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) R 22714 22716 21940 0 -1 4202496 562 0 0 0 0 0 0 0 20 0 1 0 275641966 4931584 515 33554432000 4194304 5963574 140733328219712 140733328217656 4394942 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 1204 515 160 432 0 634 0

[startup+0.0640861 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 22716
/proc/meminfo: memFree=29157776/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=89636 CPUtime=0.05 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 3409 0 0 0 5 0 0 0 20 0 2 0 275641966 91787264 3226 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 22409 3226 185 432 0 21974 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 89636

[startup+0.100221 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 22716
/proc/meminfo: memFree=29157776/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=89124 CPUtime=0.08 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 4587 0 0 0 8 0 0 0 20 0 2 0 275641966 91262976 4103 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 22281 4103 193 432 0 21846 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 89124

[startup+0.300166 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 22716
/proc/meminfo: memFree=29157776/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=88268 CPUtime=0.29 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 6172 0 0 0 28 1 0 0 20 0 2 0 275641966 90386432 5293 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 22067 5293 193 432 0 21632 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 88268

[startup+0.700207 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 22716
/proc/meminfo: memFree=29157776/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=88268 CPUtime=0.69 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 8302 0 0 0 68 1 0 0 20 0 2 0 275641966 90386432 6630 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 22067 6630 194 432 0 21632 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 88268

[startup+1.50032 s]
/proc/loadavg: 2.08 2.02 2.00 3/179 22718
/proc/meminfo: memFree=29129504/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=88268 CPUtime=1.48 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 11429 0 0 0 147 1 0 0 20 0 2 0 275641966 90386432 7733 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 22067 7733 196 432 0 21632 0
[pid=22716/tid=22718] ppid=22714 vsize=88268 CPUtime=1.44 cores=1,3,5,7
/proc/22716/task/22718/stat : 22718 (wbo1.7) R 22714 22716 21940 0 -1 4202560 9472 0 0 0 142 2 0 0 20 0 2 0 275641970 90386432 7733 33554432000 4194304 5963574 140733328219712 140071531966784 4402875 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 88268

[startup+3.10034 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 22718
/proc/meminfo: memFree=29127140/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=88268 CPUtime=3.09 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 12678 0 0 0 307 2 0 0 20 0 2 0 275641966 90386432 8705 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 22067 8705 196 432 0 21632 0
[pid=22716/tid=22718] ppid=22714 vsize=88268 CPUtime=3.04 cores=1,3,5,7
/proc/22716/task/22718/stat : 22718 (wbo1.7) R 22714 22716 21940 0 -1 4202560 10721 0 0 0 302 2 0 0 20 0 2 0 275641970 90386432 8705 33554432000 4194304 5963574 140733328219712 140071531977048 4403139 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 88268

[startup+6.30025 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 22718
/proc/meminfo: memFree=29123668/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=88268 CPUtime=6.29 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 12904 0 0 0 627 2 0 0 20 0 2 0 275641966 90386432 8931 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 22067 8931 196 432 0 21632 0
[pid=22716/tid=22718] ppid=22714 vsize=88268 CPUtime=6.24 cores=1,3,5,7
/proc/22716/task/22718/stat : 22718 (wbo1.7) R 22714 22716 21940 0 -1 4202560 10947 0 0 0 622 2 0 0 20 0 2 0 275641970 90386432 8931 33554432000 4194304 5963574 140733328219712 140071531976696 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 88268

[startup+12.7003 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 22718
/proc/meminfo: memFree=29114368/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=88268 CPUtime=12.68 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 14836 0 0 0 1266 2 0 0 20 0 2 0 275641966 90386432 10539 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 22067 10539 196 432 0 21632 0
[pid=22716/tid=22718] ppid=22714 vsize=88268 CPUtime=12.64 cores=1,3,5,7
/proc/22716/task/22718/stat : 22718 (wbo1.7) R 22714 22716 21940 0 -1 4202560 12879 0 0 0 1261 3 0 0 20 0 2 0 275641970 90386432 10539 33554432000 4194304 5963574 140733328219712 140071531966784 4403253 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 88268

[startup+25.5003 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 22718
/proc/meminfo: memFree=29096124/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=88268 CPUtime=25.48 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 16073 0 0 0 2545 3 0 0 20 0 2 0 275641966 90386432 11631 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 22067 11631 196 432 0 21632 0
[pid=22716/tid=22718] ppid=22714 vsize=88268 CPUtime=25.43 cores=1,3,5,7
/proc/22716/task/22718/stat : 22718 (wbo1.7) R 22714 22716 21940 0 -1 4202560 14116 0 0 0 2540 3 0 0 20 0 2 0 275641970 90386432 11631 33554432000 4194304 5963574 140733328219712 140071531977544 4403234 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 88268

[startup+51.1003 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 22718
/proc/meminfo: memFree=29078592/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=88268 CPUtime=51.07 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 19922 0 0 0 5103 4 0 0 20 0 2 0 275641966 90386432 14492 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 22067 14492 196 432 0 21632 0
[pid=22716/tid=22718] ppid=22714 vsize=88268 CPUtime=51.03 cores=1,3,5,7
/proc/22716/task/22718/stat : 22718 (wbo1.7) R 22714 22716 21940 0 -1 4202560 17965 0 0 0 5098 5 0 0 20 0 2 0 275641970 90386432 14492 33554432000 4194304 5963574 140733328219712 140071531977544 4392483 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 88268

[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 22718
/proc/meminfo: memFree=29006432/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=153804 CPUtime=102.26 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 32540 0 0 0 10217 9 0 0 20 0 2 0 275641966 157495296 27263 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 38451 27263 196 432 0 38016 0
[pid=22716/tid=22718] ppid=22714 vsize=153804 CPUtime=102.23 cores=1,3,5,7
/proc/22716/task/22718/stat : 22718 (wbo1.7) R 22714 22716 21940 0 -1 4202560 30583 0 0 0 10213 10 0 0 20 0 2 0 275641970 157495296 27263 33554432000 4194304 5963574 140733328219712 140071531977240 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 153804

[startup+162.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 22718
/proc/meminfo: memFree=28976048/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=154888 CPUtime=162.22 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 33960 0 0 0 16212 10 0 0 20 0 2 0 275641966 158605312 28675 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 38722 28675 196 432 0 38287 0
[pid=22716/tid=22718] ppid=22714 vsize=154888 CPUtime=162.19 cores=1,3,5,7
/proc/22716/task/22718/stat : 22718 (wbo1.7) R 22714 22716 21940 0 -1 4202560 32003 0 0 0 16207 12 0 0 20 0 2 0 275641970 158605312 28675 33554432000 4194304 5963574 140733328219712 140071531976632 5135572 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 154888

[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 22719
/proc/meminfo: memFree=28915048/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=220424 CPUtime=222.21 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 43618 0 0 0 22203 18 0 0 20 0 2 0 275641966 225714176 38332 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 55106 38332 196 432 0 54671 0
[pid=22716/tid=22718] ppid=22714 vsize=220424 CPUtime=222.19 cores=1,3,5,7
/proc/22716/task/22718/stat : 22718 (wbo1.7) R 22714 22716 21940 0 -1 4202560 41661 0 0 0 22198 21 0 0 20 0 2 0 275641970 225714176 38332 33554432000 4194304 5963574 140733328219712 140071531976744 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 220424

[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 22722
/proc/meminfo: memFree=28880072/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=219340 CPUtime=282.2 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 46749 0 0 0 28200 20 0 0 20 0 2 0 275641966 224604160 37909 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 54835 37909 196 432 0 54400 0
[pid=22716/tid=22718] ppid=22714 vsize=219340 CPUtime=282.19 cores=1,3,5,7
/proc/22716/task/22718/stat : 22718 (wbo1.7) R 22714 22716 21940 0 -1 4202560 44792 0 0 0 28194 25 0 0 20 0 2 0 275641970 224604160 37909 33554432000 4194304 5963574 140733328219712 140071531977240 4399639 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 219340

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22722
/proc/meminfo: memFree=28831052/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=219340 CPUtime=342.16 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 46790 0 0 0 34196 20 0 0 20 0 2 0 275641966 224604160 37955 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 54835 37955 196 432 0 54400 0
[pid=22716/tid=22718] ppid=22714 vsize=219340 CPUtime=342.17 cores=1,3,5,7
/proc/22716/task/22718/stat : 22718 (wbo1.7) R 22714 22716 21940 0 -1 4202560 44833 0 0 0 34191 26 0 0 20 0 2 0 275641970 224604160 37955 33554432000 4194304 5963574 140733328219712 140071531977240 4402906 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 219340

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22722
/proc/meminfo: memFree=28769040/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=219340 CPUtime=402.15 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 50180 0 0 0 40194 21 0 0 20 0 2 0 275641966 224604160 41751 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 54835 41751 196 432 0 54400 0
[pid=22716/tid=22718] ppid=22714 vsize=219340 CPUtime=402.16 cores=1,3,5,7
/proc/22716/task/22718/stat : 22718 (wbo1.7) R 22714 22716 21940 0 -1 4202560 48223 0 0 0 40189 27 0 0 20 0 2 0 275641970 224604160 41751 33554432000 4194304 5963574 140733328219712 140071531977656 4388683 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 219340

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22722
/proc/meminfo: memFree=28749556/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=219340 CPUtime=462.14 cores=1,3,5,7

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

/proc/22716/task/22718/stat : 22718 (wbo1.7) R 22714 22716 21940 0 -1 4202560 130968 0 0 0 130088 114 0 0 20 0 2 0 275641970 562638848 125853 33554432000 4194304 5963574 140733328219712 140071531976504 4403084 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 549452

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22728
/proc/meminfo: memFree=28077600/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=549452 CPUtime=1361.86 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 139604 0 0 0 136084 102 0 0 20 0 2 0 275641966 562638848 132737 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 137363 132737 196 432 0 136928 0
[pid=22716/tid=22718] ppid=22714 vsize=549452 CPUtime=1362 cores=1,3,5,7
/proc/22716/task/22718/stat : 22718 (wbo1.7) R 22714 22716 21940 0 -1 4202560 137647 0 0 0 136077 123 0 0 20 0 2 0 275641970 562638848 132737 33554432000 4194304 5963574 140733328219712 140071531976504 4400078 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 549452

[startup+1422.31 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 22728
/proc/meminfo: memFree=27987640/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=678092 CPUtime=1421.86 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 162433 0 0 0 142075 111 0 0 20 0 2 0 275641966 694366208 154770 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 169523 154770 196 432 0 169088 0
[pid=22716/tid=22718] ppid=22714 vsize=678092 CPUtime=1422.01 cores=1,3,5,7
/proc/22716/task/22718/stat : 22718 (wbo1.7) R 22714 22716 21940 0 -1 4202560 160476 0 0 0 142069 132 0 0 20 0 2 0 275641970 694366208 154770 33554432000 4194304 5963574 140733328219712 140071531977544 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 678092

[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 22732
/proc/meminfo: memFree=27987096/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=678092 CPUtime=1481.84 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 162433 0 0 0 148073 111 0 0 20 0 2 0 275641966 694366208 154770 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 169523 154770 196 432 0 169088 0
[pid=22716/tid=22718] ppid=22714 vsize=678092 CPUtime=1482 cores=1,3,5,7
/proc/22716/task/22718/stat : 22718 (wbo1.7) R 22714 22716 21940 0 -1 4202560 160476 0 0 0 148067 133 0 0 20 0 2 0 275641970 694366208 154770 33554432000 4194304 5963574 140733328219712 140071531977544 4402906 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 678092

[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 22732
/proc/meminfo: memFree=27984900/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=678092 CPUtime=1541.83 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 162433 0 0 0 154072 111 0 0 20 0 2 0 275641966 694366208 154770 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 169523 154770 196 432 0 169088 0
[pid=22716/tid=22718] ppid=22714 vsize=678092 CPUtime=1542 cores=1,3,5,7
/proc/22716/task/22718/stat : 22718 (wbo1.7) R 22714 22716 21940 0 -1 4202560 160476 0 0 0 154066 134 0 0 20 0 2 0 275641970 694366208 154770 33554432000 4194304 5963574 140733328219712 140071531977544 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 678092

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22732
/proc/meminfo: memFree=27984700/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=678092 CPUtime=1601.82 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 162433 0 0 0 160071 111 0 0 20 0 2 0 275641966 694366208 154770 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 169523 154770 196 432 0 169088 0
[pid=22716/tid=22718] ppid=22714 vsize=678092 CPUtime=1602 cores=1,3,5,7
/proc/22716/task/22718/stat : 22718 (wbo1.7) R 22714 22716 21940 0 -1 4202560 160476 0 0 0 160065 135 0 0 20 0 2 0 275641970 694366208 154770 33554432000 4194304 5963574 140733328219712 140071531977544 4399614 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 678092

[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 22732
/proc/meminfo: memFree=27984700/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=678092 CPUtime=1661.81 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 162433 0 0 0 166070 111 0 0 20 0 2 0 275641966 694366208 154770 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 169523 154770 196 432 0 169088 0
[pid=22716/tid=22718] ppid=22714 vsize=678092 CPUtime=1662 cores=1,3,5,7
/proc/22716/task/22718/stat : 22718 (wbo1.7) R 22714 22716 21940 0 -1 4202560 160476 0 0 0 166064 136 0 0 20 0 2 0 275641970 694366208 154770 33554432000 4194304 5963574 140733328219712 140071531977240 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 678092

[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 22732
/proc/meminfo: memFree=27984824/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=678092 CPUtime=1721.8 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 162433 0 0 0 172069 111 0 0 20 0 2 0 275641966 694366208 154770 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 169523 154770 196 432 0 169088 0
[pid=22716/tid=22718] ppid=22714 vsize=678092 CPUtime=1722 cores=1,3,5,7
/proc/22716/task/22718/stat : 22718 (wbo1.7) R 22714 22716 21940 0 -1 4202560 160476 0 0 0 172063 137 0 0 20 0 2 0 275641970 694366208 154770 33554432000 4194304 5963574 140733328219712 140071531977240 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 678092

[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 22772
/proc/meminfo: memFree=28600588/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=678092 CPUtime=1781.79 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 162436 0 0 0 178068 111 0 0 20 0 2 0 275641966 694366208 155054 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 169523 155054 196 432 0 169088 0
[pid=22716/tid=22718] ppid=22714 vsize=678092 CPUtime=1781.99 cores=1,3,5,7
/proc/22716/task/22718/stat : 22718 (wbo1.7) R 22714 22716 21940 0 -1 4202560 160479 0 0 0 178061 138 0 0 20 0 2 0 275641970 694366208 155054 33554432000 4194304 5963574 140733328219712 140071531977240 4403257 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 678092

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

[startup+1791.91 s]
/proc/loadavg: 2.09 2.02 2.01 3/179 22772
/proc/meminfo: memFree=28597720/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=678092 CPUtime=1791.4 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 162436 0 0 0 179029 111 0 0 20 0 2 0 275641966 694366208 155197 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 169523 155197 196 432 0 169088 0
[pid=22716/tid=22718] ppid=22714 vsize=678092 CPUtime=1791.6 cores=1,3,5,7
/proc/22716/task/22718/stat : 22718 (wbo1.7) R 22714 22716 21940 0 -1 4202560 160479 0 0 0 179022 138 0 0 20 0 2 0 275641970 694366208 155197 33554432000 4194304 5963574 140733328219712 140071531977240 4388608 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.4
Current children cumulated vsize (KiB) 678092

[startup+1795.1 s]
/proc/loadavg: 2.08 2.02 2.00 3/179 22772
/proc/meminfo: memFree=28590776/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=678092 CPUtime=1794.6 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 162436 0 0 0 179349 111 0 0 20 0 2 0 275641966 694366208 155197 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 169523 155197 196 432 0 169088 0
[pid=22716/tid=22718] ppid=22714 vsize=678092 CPUtime=1794.8 cores=1,3,5,7
/proc/22716/task/22718/stat : 22718 (wbo1.7) R 22714 22716 21940 0 -1 4202560 160479 0 0 0 179342 138 0 0 20 0 2 0 275641970 694366208 155197 33554432000 4194304 5963574 140733328219712 140071531977240 4403257 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.6
Current children cumulated vsize (KiB) 678092

[startup+1798.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 22772
/proc/meminfo: memFree=28586916/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=678092 CPUtime=1797.79 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 162437 0 0 0 179668 111 0 0 20 0 2 0 275641966 694366208 155344 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 169523 155344 196 432 0 169088 0
[pid=22716/tid=22718] ppid=22714 vsize=678092 CPUtime=1797.99 cores=1,3,5,7
/proc/22716/task/22718/stat : 22718 (wbo1.7) R 22714 22716 21940 0 -1 4202560 160480 0 0 0 179661 138 0 0 20 0 2 0 275641970 694366208 155344 33554432000 4194304 5963574 140733328219712 140071531977240 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.79
Current children cumulated vsize (KiB) 678092

[startup+1799.1 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 22772
/proc/meminfo: memFree=28585304/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=678092 CPUtime=1798.59 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 162437 0 0 0 179748 111 0 0 20 0 2 0 275641966 694366208 155344 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 169523 155344 196 432 0 169088 0
[pid=22716/tid=22718] ppid=22714 vsize=678092 CPUtime=1798.79 cores=1,3,5,7
/proc/22716/task/22718/stat : 22718 (wbo1.7) R 22714 22716 21940 0 -1 4202560 160480 0 0 0 179741 138 0 0 20 0 2 0 275641970 694366208 155344 33554432000 4194304 5963574 140733328219712 140071531977240 4403160 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.59
Current children cumulated vsize (KiB) 678092

[startup+1799.5 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 22772
/proc/meminfo: memFree=28583940/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=678092 CPUtime=1799 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 162437 0 0 0 179789 111 0 0 20 0 2 0 275641966 694366208 155344 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 169523 155344 196 432 0 169088 0
[pid=22716/tid=22718] ppid=22714 vsize=678092 CPUtime=1799.2 cores=1,3,5,7
/proc/22716/task/22718/stat : 22718 (wbo1.7) R 22714 22716 21940 0 -1 4202560 160480 0 0 0 179782 138 0 0 20 0 2 0 275641970 694366208 155344 33554432000 4194304 5963574 140733328219712 140071531977240 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799
Current children cumulated vsize (KiB) 678092

[startup+1799.9 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 22772
/proc/meminfo: memFree=28583940/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=678092 CPUtime=1799.39 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 162437 0 0 0 179828 111 0 0 20 0 2 0 275641966 694366208 155344 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 169523 155344 196 432 0 169088 0
[pid=22716/tid=22718] ppid=22714 vsize=678092 CPUtime=1799.59 cores=1,3,5,7
/proc/22716/task/22718/stat : 22718 (wbo1.7) R 22714 22716 21940 0 -1 4202560 160480 0 0 0 179821 138 0 0 20 0 2 0 275641970 694366208 155344 33554432000 4194304 5963574 140733328219712 140071531977240 4399968 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.39
Current children cumulated vsize (KiB) 678092

[startup+1800 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 22772
/proc/meminfo: memFree=28583940/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=678092 CPUtime=1799.49 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 162437 0 0 0 179838 111 0 0 20 0 2 0 275641966 694366208 155344 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 169523 155344 196 432 0 169088 0
[pid=22716/tid=22718] ppid=22714 vsize=678092 CPUtime=1799.69 cores=1,3,5,7
/proc/22716/task/22718/stat : 22718 (wbo1.7) R 22714 22716 21940 0 -1 4202560 160480 0 0 0 179831 138 0 0 20 0 2 0 275641970 694366208 155344 33554432000 4194304 5963574 140733328219712 140071531977240 4403234 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.49
Current children cumulated vsize (KiB) 678092

Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.77
CPU user time (s): 1798.36
CPU system time (s): 1.41079
CPU usage (%): 99.9866
Max. virtual memory (cumulated for all children) (KiB): 680524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.36
system time used= 1.41078
maximum resident set size= 622260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 162437
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= 226
involuntary context switches= 2034

runsolver used 2.95755 second user time and 8.50271 second system time

The end

Launcher Data

Begin job on node144 at 2012-05-27 07:06:11
IDJOB=3705167
IDBENCH=2233
IDSOLVER=2283
FILE ID=node144/3705167-1338095171
RUNJOBID= node144-1338086104-21957
PBS_JOBID= 14624429
Free space on /tmp= 71492 MiB

SOLVER NAME= wbo 1.7
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-2.opb
COMMAND LINE= wbo1.7 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3705167-1338095171/watcher-3705167-1338095171 -o /tmp/evaluation-result-3705167-1338095171/solver-3705167-1338095171 -C 1800 -W 1900 -M 15500  wbo1.7 -file-format=opb HOME/instance-3705167-1338095171.opb

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

MD5SUM BENCH= f480d2d56550630df651872786c078c9
RANDOM SEED=1304739310

node144.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.196
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.39
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.196
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.196
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		: 2666.196
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.196
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.90
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.196
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.92
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.196
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29157932 kB
Buffers:          294708 kB
Cached:          2490896 kB
SwapCached:            0 kB
Active:           880428 kB
Inactive:        2056312 kB
Active(anon):     152768 kB
Inactive(anon):        0 kB
Active(file):     727660 kB
Inactive(file):  2056312 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              6184 kB
Writeback:             0 kB
AnonPages:        156612 kB
Mapped:            15104 kB
Shmem:               200 kB
Slab:             643444 kB
SReclaimable:      85872 kB
SUnreclaim:       557572 kB
KernelStack:        1488 kB
PageTables:         4376 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     144568 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71484 MiB
End job on node144 at 2012-05-27 07:36:11