Trace number 3479458

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 NameAnswerCPU timeWall clock time
wbo 1.6? (TO) 1800.14 1800.1

General information on the benchmark

Name/OPT-SMALLINT-LIN/
kullmann/normalized-mul_8_9_shg.opb
MD5SUM0476e702136eda2e813dad2792abe9ac
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark48
Best CPU time to get the best result obtained on this benchmark1797.9
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7840
Total number of constraints65280
Number of constraints which are clauses65280
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint34
Maximum length of a constraint64
Number of terms in the objective function 7840
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 7840
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 7840
Number of bits of the biggest sum of numbers13
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 wbo 1.6 beta - 20110321
0.00/0.00	c Parsing opb file format. File HOME/instance-3479458-1307450193.opb.
0.00/0.00	c Instance file HOME/instance-3479458-1307450193.opb
0.00/0.00	c File size is 31666078 bytes.
2.10/2.12	c Highest Coefficient sum: 65
2.10/2.12	c ============================[ Problem Statistics ]=============================
2.10/2.12	c |                                                                             |
2.10/2.12	c |  Parsing time:          2.10         s                                      |
2.10/2.12	c |  Number Variables:      7840                                                |
2.10/2.12	c |  Number Clauses:        65280                                               |
2.10/2.12	c |  Number Cardinality:    0                                                   |
2.10/2.12	c |  Number PB Constraints: 0                                                   |
2.10/2.15	c ============================[ Search Statistics ]==============================
2.10/2.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.10/2.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.10/2.15	c ===============================================================================
2.10/2.15	c |         0 |    7840    65280  3571712 |    21760        0   -nan |  0.000 % |
5.79/5.82	c core #1
5.79/5.82	c 
5.79/5.82	c 
5.79/5.82	c Core size: 56	Core Weight: 1	Total Weight: 1
5.79/5.82	c Current CPU time: 2.31265 s
5.79/5.82	c
5.79/5.82	c core #2
5.79/5.82	c 
5.79/5.82	c 
5.79/5.82	c Core size: 35	Core Weight: 1	Total Weight: 2
5.79/5.82	c Current CPU time: 2.47562 s
5.79/5.82	c
5.79/5.82	c core #3
5.79/5.82	c 
5.79/5.82	c 
5.79/5.82	c Core size: 56	Core Weight: 1	Total Weight: 3
5.79/5.82	c Current CPU time: 2.6376 s
5.79/5.82	c
5.79/5.82	c core #4
5.79/5.82	c 
5.79/5.82	c 
5.79/5.82	c Core size: 57	Core Weight: 1	Total Weight: 4
5.79/5.82	c Current CPU time: 2.79857 s
5.79/5.82	c
5.79/5.82	c core #5
5.79/5.82	c 
5.79/5.82	c 
5.79/5.82	c Core size: 57	Core Weight: 1	Total Weight: 5
5.79/5.82	c Current CPU time: 2.95955 s
5.79/5.82	c
5.79/5.82	c core #6
5.79/5.82	c 
5.79/5.82	c 
5.79/5.82	c Core size: 62	Core Weight: 1	Total Weight: 6
5.79/5.82	c Current CPU time: 3.12252 s
5.79/5.82	c
5.79/5.82	c core #7
5.79/5.82	c 
5.79/5.82	c 
5.79/5.82	c Core size: 38	Core Weight: 1	Total Weight: 7
5.79/5.82	c Current CPU time: 3.2845 s
5.79/5.82	c
5.79/5.82	c core #8
5.79/5.82	c 
5.79/5.82	c 
5.79/5.82	c Core size: 63	Core Weight: 1	Total Weight: 8
5.79/5.82	c Current CPU time: 3.45047 s
5.79/5.82	c
5.79/5.82	c core #9
5.79/5.82	c 
5.79/5.82	c 
5.79/5.82	c Core size: 44	Core Weight: 1	Total Weight: 9
5.79/5.82	c Current CPU time: 3.61745 s
5.79/5.82	c
5.79/5.82	c core #10
5.79/5.82	c 
5.79/5.82	c 
5.79/5.82	c Core size: 58	Core Weight: 1	Total Weight: 10
5.79/5.82	c Current CPU time: 3.78542 s
5.79/5.82	c
5.79/5.82	c core #11
5.79/5.82	c 
5.79/5.82	c 
5.79/5.82	c Core size: 65	Core Weight: 1	Total Weight: 11
5.79/5.82	c Current CPU time: 3.9554 s
5.79/5.83	c
5.79/5.83	c core #12
5.79/5.83	c 
5.79/5.83	c 
5.79/5.83	c Core size: 49	Core Weight: 1	Total Weight: 12
5.79/5.83	c Current CPU time: 4.12737 s
5.79/5.83	c
5.79/5.83	c core #13
5.79/5.83	c 
5.79/5.83	c 
5.79/5.83	c Core size: 61	Core Weight: 1	Total Weight: 13
5.79/5.83	c Current CPU time: 4.30234 s
5.79/5.83	c
5.79/5.83	c core #14
5.79/5.83	c 
5.79/5.83	c 
5.79/5.83	c Core size: 54	Core Weight: 1	Total Weight: 14
5.79/5.83	c Current CPU time: 4.48032 s
5.79/5.83	c
5.79/5.83	c core #15
5.79/5.83	c 
5.79/5.83	c 
5.79/5.83	c Core size: 54	Core Weight: 1	Total Weight: 15
5.79/5.83	c Current CPU time: 4.65929 s
5.79/5.83	c
5.79/5.83	c core #16
5.79/5.83	c 
5.79/5.83	c 
5.79/5.83	c Core size: 54	Core Weight: 1	Total Weight: 16
5.79/5.83	c Current CPU time: 4.84226 s
5.79/5.83	c
5.79/5.83	c core #17
5.79/5.83	c 
5.79/5.83	c 
5.79/5.83	c Core size: 103	Core Weight: 1	Total Weight: 17
5.79/5.83	c Current CPU time: 5.02923 s
5.79/5.83	c
5.79/5.83	c core #18
5.79/5.83	c 
5.79/5.83	c 
5.79/5.83	c Core size: 158	Core Weight: 1	Total Weight: 18
5.79/5.83	c Current CPU time: 5.21821 s
5.79/5.83	c
5.79/5.83	c core #19
5.79/5.83	c 
5.79/5.83	c 
5.79/5.83	c Core size: 111	Core Weight: 1	Total Weight: 19
5.79/5.83	c Current CPU time: 5.41118 s
5.79/5.83	c
5.79/5.83	c core #20
5.79/5.83	c 
5.79/5.83	c 
5.79/5.83	c Core size: 140	Core Weight: 1	Total Weight: 20
5.79/5.83	c Current CPU time: 5.60515 s
5.79/5.83	c
5.79/5.83	c ============================[ Search Statistics ]==============================
5.79/5.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.79/5.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.79/5.83	c ===============================================================================
5.79/5.83	c |         0 |    2470    73140  3223498 |    24380        0   -nan |  0.000 % |
5.79/5.83	c ===============================================================================
5.99/6.03	c core #21
5.99/6.03	c 
5.99/6.03	c 
5.99/6.03	c Core size: 357	Core Weight: 1	Total Weight: 21
5.99/6.03	c Current CPU time: 5.80712 s
5.99/6.03	c
5.99/6.03	c ============================[ Search Statistics ]==============================
5.99/6.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.99/6.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.99/6.03	c ===============================================================================
5.99/6.03	c |         0 |    3249    73141  3576656 |    24380        0   -nan |  0.000 % |
5.99/6.05	c |       102 |    3247    73141  3576656 |    26818      102    227 | 65.957 % |
5.99/6.05	c ===============================================================================
6.19/6.26	c core #22
6.19/6.26	c 
6.19/6.26	c 
6.19/6.26	c Core size: 696	Core Weight: 1	Total Weight: 22
6.19/6.26	c Current CPU time: 6.03208 s
6.19/6.26	c
6.19/6.26	c ============================[ Search Statistics ]==============================
6.19/6.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.19/6.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.19/6.26	c ===============================================================================
6.19/6.26	c |         0 |    4365    73142  3578468 |    24380        0   -nan |  0.000 % |
6.19/6.29	c |       100 |    4365    73142  3578468 |    26818      100    343 | 57.336 % |
6.29/6.30	c ===============================================================================
6.50/6.52	c core #23
6.50/6.52	c 
6.50/6.52	c 
6.50/6.52	c Core size: 982	Core Weight: 1	Total Weight: 23
6.50/6.52	c Current CPU time: 6.27705 s
6.50/6.52	c
6.50/6.52	c ============================[ Search Statistics ]==============================
6.50/6.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.50/6.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.50/6.52	c ===============================================================================
6.50/6.52	c |         0 |    6073    73143  3581153 |    24381        0   -nan |  0.000 % |
6.50/6.54	c |       102 |    6073    73143  3581153 |    26819      102    110 | 45.815 % |
6.50/6.59	c |       252 |    6072    73143  3581153 |    29501      252    223 | 45.833 % |
6.61/6.67	c |       488 |    6072    73143  3581153 |    32451      488    275 | 45.833 % |
6.69/6.78	c |       826 |    6072    73143  3581153 |    35696      826    264 | 45.851 % |
6.89/6.91	c |      1332 |    6071    73143  3581153 |    39265     1332    307 | 45.851 % |
7.09/7.16	c |      2091 |    6071    73143  3581153 |    43192     2091    374 | 45.851 % |
7.39/7.49	c |      3234 |    6068    73143  3581153 |    47511     3234    393 | 45.887 % |
7.99/8.04	c |      4942 |    6068    73143  3581153 |    52262     4942    312 | 45.887 % |
8.70/8.77	c |      7504 |    6065    73143  3581153 |    57489     7504    294 | 45.887 % |
9.29/9.31	c ===============================================================================
9.49/9.51	c core #24
9.49/9.51	c 
9.49/9.51	c 
9.49/9.51	c Core size: 1218	Core Weight: 1	Total Weight: 24
9.49/9.51	c Current CPU time: 9.26859 s
9.49/9.51	c
9.49/9.51	c ============================[ Search Statistics ]==============================
9.49/9.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.49/9.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
9.49/9.51	c ===============================================================================
9.49/9.51	c |         0 |    7795    73144  3584091 |    24381        0   -nan |  0.000 % |
9.49/9.54	c |       101 |    7795    73144  3584091 |    26819      101    473 | 37.259 % |
9.49/9.58	c |       251 |    7795    73144  3584091 |    29501      251    311 | 37.259 % |
9.59/9.63	c |       476 |    7795    73144  3584091 |    32451      476    218 | 37.259 % |
9.69/9.70	c |       815 |    7795    73144  3584091 |    35696      815    173 | 37.259 % |
9.69/9.80	c |      1321 |    7795    73144  3584091 |    39266     1321    149 | 37.259 % |
9.99/10.01	c |      2082 |    7795    73144  3584091 |    43193     2082    122 | 37.259 % |
10.29/10.31	c |      3221 |    7795    73144  3584091 |    47512     3221    113 | 37.259 % |
10.59/10.64	c |      4930 |    7795    73144  3584091 |    52263     4930    109 | 37.259 % |
11.09/11.15	c |      7492 |    7795    73144  3584091 |    57489     7492    112 | 37.259 % |
12.00/12.04	c |     11340 |    7795    73144  3584091 |    63238    11340    121 | 37.259 % |
13.49/13.55	c |     17109 |    7795    73144  3584091 |    69562    17109    144 | 37.259 % |
14.39/14.42	c ===============================================================================
14.69/14.70	c core #25
14.69/14.70	c 
14.69/14.70	c 
14.69/14.70	c Core size: 1584	Core Weight: 1	Total Weight: 25
14.69/14.70	c Current CPU time: 14.4048 s
14.69/14.70	c
14.69/14.70	c ============================[ Search Statistics ]==============================
14.69/14.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
14.69/14.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
14.69/14.70	c ===============================================================================
14.69/14.70	c |         0 |   10105    73145  3587983 |    24381        0   -nan |  0.000 % |
14.69/14.71	c |       100 |   10105    73145  3587983 |    26819      100    216 | 27.852 % |
14.69/14.74	c |       250 |   10105    73145  3587983 |    29501      250    160 | 27.852 % |
14.79/14.81	c |       475 |   10105    73145  3587983 |    32451      475    140 | 27.852 % |
14.89/14.93	c |       814 |   10105    73145  3587983 |    35697      814    151 | 27.852 % |
15.09/15.14	c |      1320 |   10105    73145  3587983 |    39266     1320    172 | 27.852 % |
15.41/15.50	c |      2082 |   10105    73145  3587983 |    43193     2082    256 | 27.852 % |
15.99/16.05	c |      3222 |   10105    73145  3587983 |    47512     3222    274 | 27.852 % |
16.79/16.83	c |      4935 |   10105    73145  3587983 |    52264     4935    309 | 27.852 % |
17.99/18.03	c |      7498 |   10105    73145  3587983 |    57490     7498    329 | 27.852 % |
19.89/19.90	c |     11343 |   10105    73145  3587983 |    63239    11343    354 | 27.852 % |
23.59/23.67	c |     17109 |   10105    73145  3587983 |    69563    17109    375 | 27.852 % |
31.19/31.21	c |     25761 |   10105    73145  3587983 |    76520    25761    364 | 27.852 % |
39.09/39.11	c |     38742 |   10105    73145  3587983 |    84172    38742    347 | 27.852 % |
51.39/51.42	c |     58205 |   10105    73145  3587983 |    92589    58205    343 | 27.852 % |
72.20/72.27	c |     87397 |   10105    73145  3587983 |   101848    87397    377 | 27.852 % |
102.89/102.92	c |    131186 |   10105    73145  3587983 |   112033    39838    318 | 27.852 % |
151.49/151.53	c |    196870 |   10105    73145  3587983 |   123236   105522    369 | 27.852 % |
268.30/268.33	c |    295396 |   10105    73145  3587983 |   135560    92886    886 | 27.852 % |
490.80/490.87	c |    443185 |   10105    73145  3587983 |   149116   116544   1135 | 27.852 % |
957.61/957.68	c |    664869 |   10105    73145  3587983 |   164027    63291   1934 | 27.852 % |
1665.82/1665.81	c ===============================================================================
1676.34/1676.32	c core #26
1676.34/1676.32	c 
1676.34/1676.32	c 
1676.34/1676.32	c Core size: 5758	Core Weight: 1	Total Weight: 26
1676.34/1676.32	c Current CPU time: 1672.43 s
1676.34/1676.32	c
1676.34/1676.32	c ============================[ Search Statistics ]==============================
1676.34/1676.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1676.34/1676.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1676.34/1676.32	c ===============================================================================
1676.34/1676.32	c |         0 |   18304    73146  3601938 |    24382        0   -nan |  0.000 % |
1676.34/1676.35	c |       110 |   18304    73146  3601938 |    26820      110    720 |  7.378 % |
1676.53/1676.58	c |       260 |   18304    73146  3601938 |    29502      260    414 |  7.378 % |
1676.83/1676.87	c |       486 |   18304    73146  3601938 |    32452      486    255 |  7.378 % |
1677.03/1677.00	c |       823 |   18304    73146  3601938 |    35697      823    236 |  7.378 % |
1677.33/1677.30	c |      1330 |   18304    73146  3601938 |    39267     1330    209 |  7.378 % |
1678.54/1678.61	c |      2091 |   18304    73146  3601938 |    43194     2091    254 |  7.378 % |
1679.93/1679.97	c |      3231 |   18304    73146  3601938 |    47513     3231    251 |  7.378 % |
1680.53/1680.54	c |      4939 |   18304    73146  3601938 |    52264     4939    237 |  7.378 % |
1681.33/1681.35	c |      7505 |   18304    73146  3601938 |    57491     7505    225 |  7.378 % |
1685.03/1685.00	c |     11350 |   18304    73146  3601938 |    63240    11350    330 |  7.378 % |
1690.53/1690.60	c |     17116 |   18304    73146  3601938 |    69564    17116    409 |  7.378 % |
1700.33/1700.36	c |     25765 |   18304    73146  3601938 |    76521    25765    476 |  7.378 % |
1720.03/1720.03	c |     38739 |   18304    73146  3601938 |    84173    38739    522 |  7.378 % |
1756.64/1756.66	c |     58201 |   18304    73146  3601938 |    92590    58201    552 |  7.378 % |
1796.63/1796.63	c |     87394 |   18304    73146  3601938 |   101849    87394    563 |  7.378 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3479458-1307450193/watcher-3479458-1307450193 -o /tmp/evaluation-result-3479458-1307450193/solver-3479458-1307450193 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3479458-1307450193.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.93 2.01 1.99 3/527 11706
/proc/meminfo: memFree=24363488/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=34640 CPUtime=0.01 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 737 0 0 0 1 0 0 0 23 0 1 0 935250068 35471360 690 33554432000 4194304 5714214 140733383895120 18446744073709551615 4223157 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 8660 690 193 372 0 554 0

[startup+0.0520749 s]
/proc/loadavg: 1.93 2.01 1.99 3/527 11706
/proc/meminfo: memFree=24363488/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=35044 CPUtime=0.05 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 983 0 0 0 5 0 0 0 23 0 1 0 935250068 35885056 936 33554432000 4194304 5714214 140733383895120 18446744073709551615 5136386 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 8761 937 342 372 0 655 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 35044

[startup+0.101091 s]
/proc/loadavg: 1.93 2.01 1.99 3/527 11706
/proc/meminfo: memFree=24363488/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=35572 CPUtime=0.09 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 1283 0 0 0 9 0 0 0 23 0 1 0 935250068 36425728 1236 33554432000 4194304 5714214 140733383895120 18446744073709551615 4223132 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 8893 1236 520 372 0 787 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35572

[startup+0.301057 s]
/proc/loadavg: 1.93 2.01 1.99 3/527 11706
/proc/meminfo: memFree=24363488/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=37568 CPUtime=0.29 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 2493 0 0 0 29 0 0 0 25 0 1 0 935250068 38469632 2446 33554432000 4194304 5714214 140733383895120 18446744073709551615 4990162 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 9392 2446 1249 372 0 1286 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37568

[startup+0.70099 s]
/proc/loadavg: 1.93 2.01 1.99 3/527 11706
/proc/meminfo: memFree=24363488/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=41432 CPUtime=0.69 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 4903 0 0 0 69 0 0 0 25 0 1 0 935250068 42426368 4856 33554432000 4194304 5714214 140733383895120 18446744073709551615 5136386 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 10358 4857 2707 372 0 2252 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41432

[startup+1.50081 s]
/proc/loadavg: 1.93 2.01 1.99 3/528 11707
/proc/meminfo: memFree=24351080/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=49200 CPUtime=1.49 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 9717 0 0 0 148 1 0 0 25 0 1 0 935250068 50380800 9670 33554432000 4194304 5714214 140733383895120 18446744073709551615 4228544 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 12300 9671 5620 372 0 4194 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49200

[startup+3.10056 s]
/proc/loadavg: 1.93 2.01 1.99 3/528 11707
/proc/meminfo: memFree=24340168/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=43572 CPUtime=3.09 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 18789 0 0 0 307 2 0 0 25 0 1 0 935250068 44617728 10411 33554432000 4194304 5714214 140733383895120 18446744073709551615 4356115 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 10893 10411 175 372 0 10518 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 43572

[startup+6.30102 s]
/proc/loadavg: 2.02 2.03 2.00 2/522 11725
/proc/meminfo: memFree=24661204/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=46588 CPUtime=6.29 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 20319 0 0 0 627 2 0 0 18 0 1 0 935250068 47706112 11354 33554432000 4194304 5714214 140733383895120 18446744073709551615 4326739 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 11647 11354 180 372 0 11272 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 46588

[startup+12.7009 s]
/proc/loadavg: 1.93 2.01 1.99 2/522 11725
/proc/meminfo: memFree=24643376/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=63108 CPUtime=12.69 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 24310 0 0 0 1261 8 0 0 25 0 1 0 935250068 64622592 15345 33554432000 4194304 5714214 140733383895120 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 15777 15345 180 372 0 15402 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 63108

[startup+25.5006 s]
/proc/loadavg: 1.73 1.96 1.98 2/522 11726
/proc/meminfo: memFree=24638296/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=68884 CPUtime=25.5 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 25755 0 0 0 2535 15 0 0 25 0 1 0 935250068 70537216 16790 33554432000 4194304 5714214 140733383895120 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 17221 16790 180 372 0 16846 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 68884

[startup+51.1012 s]
/proc/loadavg: 1.48 1.88 1.95 2/522 11726
/proc/meminfo: memFree=24584376/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=124608 CPUtime=51.09 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 39636 0 0 0 5085 24 0 0 25 0 1 0 935250068 127598592 30671 33554432000 4194304 5714214 140733383895120 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 31152 30671 180 372 0 30777 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 124608

[startup+102.32 s]
/proc/loadavg: 1.21 1.74 1.90 2/522 11728
/proc/meminfo: memFree=24488320/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=219540 CPUtime=102.31 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 63205 0 0 0 10186 45 0 0 25 0 1 0 935250068 224808960 54240 33554432000 4194304 5714214 140733383895120 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 54885 54240 180 372 0 54510 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 219540

[startup+162.301 s]
/proc/loadavg: 1.07 1.60 1.84 2/522 11732
/proc/meminfo: memFree=24441100/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=266932 CPUtime=162.3 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 74969 0 0 0 16163 67 0 0 25 0 1 0 935250068 273338368 66004 33554432000 4194304 5714214 140733383895120 18446744073709551615 4322937 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 66733 66004 180 372 0 66358 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 266932

[startup+222.301 s]
/proc/loadavg: 1.14 1.52 1.80 2/522 11734
/proc/meminfo: memFree=24341328/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=366904 CPUtime=222.3 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 99865 0 0 0 22146 84 0 0 25 0 1 0 935250068 375709696 90900 33554432000 4194304 5714214 140733383895120 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 91726 90900 180 372 0 91351 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 366904

[startup+282.301 s]
/proc/loadavg: 1.10 1.44 1.75 2/522 11735
/proc/meminfo: memFree=24183196/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=527096 CPUtime=282.3 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 139809 0 0 0 28129 101 0 0 25 0 1 0 935250068 539746304 130844 33554432000 4194304 5714214 140733383895120 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 131774 130844 180 372 0 131399 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 527096

[startup+342.301 s]
/proc/loadavg: 1.04 1.36 1.70 2/522 11737
/proc/meminfo: memFree=24026188/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=683088 CPUtime=342.3 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 178530 0 0 0 34110 120 0 0 25 0 1 0 935250068 699482112 169565 33554432000 4194304 5714214 140733383895120 18446744073709551615 4299952 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 170772 169565 180 372 0 170397 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 683088

[startup+402.301 s]
/proc/loadavg: 1.01 1.29 1.65 2/522 11739
/proc/meminfo: memFree=24026296/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=683088 CPUtime=402.3 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 178544 0 0 0 40097 133 0 0 25 0 1 0 935250068 699482112 169579 33554432000 4194304 5714214 140733383895120 18446744073709551615 4311837 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 170772 169579 180 372 0 170397 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 683088

[startup+462.301 s]
/proc/loadavg: 1.00 1.23 1.61 2/522 11740
/proc/meminfo: memFree=24026136/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=683088 CPUtime=462.3 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 178556 0 0 0 46088 142 0 0 25 0 1 0 935250068 699482112 169591 33554432000 4194304 5714214 140733383895120 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 170772 169591 180 372 0 170397 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 683088

[startup+522.301 s]
/proc/loadavg: 1.00 1.19 1.57 2/522 11742
/proc/meminfo: memFree=23901976/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=810472 CPUtime=522.31 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 210211 0 0 0 52075 156 0 0 25 0 1 0 935250068 829923328 201246 33554432000 4194304 5714214 140733383895120 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 202618 201246 180 372 0 202243 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 810472

[startup+582.301 s]
/proc/loadavg: 1.00 1.15 1.53 2/522 11743
/proc/meminfo: memFree=23767392/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=943268 CPUtime=582.3 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 243155 0 0 0 58059 171 0 0 25 0 1 0 935250068 965906432 234190 33554432000 4194304 5714214 140733383895120 18446744073709551615 4200768 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 235817 234190 180 372 0 235442 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 943268

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 1.07 1.08 1.40 2/522 11750
/proc/meminfo: memFree=23494944/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=1217824 CPUtime=822.31 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 311482 0 0 0 82021 210 0 0 25 0 1 0 935250068 1247051776 302517 33554432000 4194304 5714214 140733383895120 18446744073709551615 4311848 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 304456 302517 180 372 0 304081 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 1217824

[startup+882.301 s]
/proc/loadavg: 1.09 1.08 1.38 2/522 11751
/proc/meminfo: memFree=23365440/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=1345756 CPUtime=882.32 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 343366 0 0 0 88011 221 0 0 25 0 1 0 935250068 1378054144 334401 33554432000 4194304 5714214 140733383895120 18446744073709551615 4319855 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 336439 334401 180 372 0 336064 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 1345756

[startup+942.301 s]
/proc/loadavg: 1.03 1.06 1.35 2/522 11753
/proc/meminfo: memFree=23366032/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=1345756 CPUtime=942.31 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 343366 0 0 0 94003 228 0 0 25 0 1 0 935250068 1378054144 334401 33554432000 4194304 5714214 140733383895120 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 336439 334401 180 372 0 336064 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 1345756

[startup+1002.3 s]
/proc/loadavg: 1.01 1.05 1.33 2/522 11755
/proc/meminfo: memFree=23366244/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=1345756 CPUtime=1002.31 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 343370 0 0 0 99993 238 0 0 25 0 1 0 935250068 1378054144 334405 33554432000 4194304 5714214 140733383895120 18446744073709551615 4200768 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 336439 334405 180 372 0 336064 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 1345756

[startup+1062.3 s]
/proc/loadavg: 1.00 1.03 1.31 2/522 11756
/proc/meminfo: memFree=23366092/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=1345756 CPUtime=1062.32 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 343375 0 0 0 105987 245 0 0 25 0 1 0 935250068 1378054144 334410 33554432000 4194304 5714214 140733383895120 18446744073709551615 4311854 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 336439 334410 180 372 0 336064 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1345756

[startup+1122.3 s]
/proc/loadavg: 1.00 1.03 1.28 2/522 11758
/proc/meminfo: memFree=23357892/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=1354508 CPUtime=1122.31 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 345545 0 0 0 111981 250 0 0 25 0 1 0 935250068 1387016192 336580 33554432000 4194304 5714214 140733383895120 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 338627 336580 180 372 0 338252 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 1354508

[startup+1182.3 s]
/proc/loadavg: 1.00 1.02 1.26 2/522 11759
/proc/meminfo: memFree=23221468/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=1492492 CPUtime=1182.32 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 379992 0 0 0 117973 259 0 0 25 0 1 0 935250068 1528311808 371027 33554432000 4194304 5714214 140733383895120 18446744073709551615 4311876 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 373123 371027 180 372 0 372748 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1492492

[startup+1242.3 s]
/proc/loadavg: 1.00 1.01 1.25 2/522 11761
/proc/meminfo: memFree=23106504/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=1606284 CPUtime=1242.32 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 408251 0 0 0 123966 266 0 0 25 0 1 0 935250068 1644834816 399286 33554432000 4194304 5714214 140733383895120 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 401571 399286 180 372 0 401196 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1606284

[startup+1302.3 s]
/proc/loadavg: 1.00 1.01 1.23 2/522 11763
/proc/meminfo: memFree=22946520/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=1766992 CPUtime=1302.33 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 448086 0 0 0 129957 276 0 0 25 0 1 0 935250068 1809399808 439121 33554432000 4194304 5714214 140733383895120 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 441748 439121 180 372 0 441373 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1766992

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.21 2/522 11764
/proc/meminfo: memFree=22946864/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=1766992 CPUtime=1362.32 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 448089 0 0 0 135946 286 0 0 25 0 1 0 935250068 1809399808 439124 33554432000 4194304 5714214 140733383895120 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 441748 439124 180 372 0 441373 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1766992

[startup+1422.32 s]
/proc/loadavg: 1.07 1.03 1.20 2/522 11766
/proc/meminfo: memFree=22946956/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=1766992 CPUtime=1422.34 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 448101 0 0 0 141938 296 0 0 25 0 1 0 935250068 1809399808 439136 33554432000 4194304 5714214 140733383895120 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 441748 439136 180 372 0 441373 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 1766992

[startup+1482.3 s]
/proc/loadavg: 1.06 1.03 1.19 2/522 11776
/proc/meminfo: memFree=22945436/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=1766992 CPUtime=1482.33 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 448112 0 0 0 147930 303 0 0 25 0 1 0 935250068 1809399808 439147 33554432000 4194304 5714214 140733383895120 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 441748 439147 180 372 0 441373 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1766992

[startup+1542.3 s]
/proc/loadavg: 1.02 1.03 1.18 2/522 11778
/proc/meminfo: memFree=22946028/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=1766992 CPUtime=1542.32 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 448122 0 0 0 153924 308 0 0 25 0 1 0 935250068 1809399808 439157 33554432000 4194304 5714214 140733383895120 18446744073709551615 4200720 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 441748 439157 180 372 0 441373 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 1766992

[startup+1602.3 s]
/proc/loadavg: 1.01 1.02 1.16 2/522 11780
/proc/meminfo: memFree=22945884/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=1766992 CPUtime=1602.32 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 448138 0 0 0 159917 315 0 0 25 0 1 0 935250068 1809399808 439173 33554432000 4194304 5714214 140733383895120 18446744073709551615 4311917 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 441748 439173 180 372 0 441373 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 1766992

[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 1.15 2/522 11781
/proc/meminfo: memFree=22945612/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=1766992 CPUtime=1662.33 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 448158 0 0 0 165908 325 0 0 25 0 1 0 935250068 1809399808 439193 33554432000 4194304 5714214 140733383895120 18446744073709551615 4319855 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 441748 439193 180 372 0 441373 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1766992

[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.14 2/522 11783
/proc/meminfo: memFree=23046404/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=1663916 CPUtime=1722.33 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 448168 0 0 0 171897 336 0 0 25 0 1 0 935250068 1703849984 413894 33554432000 4194304 5714214 140733383895120 18446744073709551615 4311917 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 415979 413894 180 372 0 415604 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 1663916

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.13 2/522 11784
/proc/meminfo: memFree=23045256/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=1663916 CPUtime=1782.33 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 448206 0 0 0 177885 348 0 0 25 0 1 0 935250068 1703849984 413932 33554432000 4194304 5714214 140733383895120 18446744073709551615 4311917 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 415979 413932 180 372 0 415604 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 1663916



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.00 1.00 1.12 2/522 11785
/proc/meminfo: memFree=23045984/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=1663916 CPUtime=1800.04 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 448256 0 0 0 179652 352 0 0 25 0 1 0 935250068 1703849984 413982 33554432000 4194304 5714214 140733383895120 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 415979 413982 180 372 0 415604 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1663916

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.1
CPU time (s): 1800.14
CPU user time (s): 1796.54
CPU system time (s): 3.60045
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1766992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.54
system time used= 3.60045
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 448256
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= 9
involuntary context switches= 2131

runsolver used 10.0165 second user time and 21.1078 second system time

The end

Launcher Data 

Begin job on node119 at 2011-06-07 14:36:34
IDJOB=3479458
IDBENCH=89912
IDSOLVER=1953
FILE ID=node119/3479458-1307450193
RUNJOBID= node119-1307444786-11319
PBS_JOBID= 13520312
Free space on /tmp= 73756 MiB

SOLVER NAME= wbo 1.6
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/kullmann/normalized-mul_8_9_shg.opb
COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3479458-1307450193/watcher-3479458-1307450193 -o /tmp/evaluation-result-3479458-1307450193/solver-3479458-1307450193 -C 1800 -W 1900 -M 15500  wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3479458-1307450193.opb

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

MD5SUM BENCH= 0476e702136eda2e813dad2792abe9ac
RANDOM SEED=2070997404

node119.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24363660 kB
Buffers:        284216 kB
Cached:         772768 kB
SwapCached:      59108 kB
Active:        1226100 kB
Inactive:      7061316 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24363660 kB
SwapTotal:    67111528 kB
SwapFree:     56241860 kB
Dirty:           35100 kB
Writeback:           0 kB
AnonPages:     7174572 kB
Mapped:          34176 kB
Slab:           152084 kB
PageTables:      80020 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 164213584 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73760 MiB
End job on node119 at 2011-06-07 15:06:36