Trace number 3460689

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.6? (TO) 1800.1 1800.05

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_014_area_delay.opb
MD5SUM525408a019e1cf8f47f95fb4bdf20c0f
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark27
Best CPU time to get the best result obtained on this benchmark28.1547
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 30
Optimality of the best value was proved NO
Number of variables5256
Total number of constraints15614
Number of constraints which are clauses15614
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 constraint1
Maximum length of a constraint63
Number of terms in the objective function 2531
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 2531
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2531
Number of bits of the biggest sum of numbers12
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-3460689-1307108037.opb.
0.00/0.00	c Instance file HOME/instance-3460689-1307108037.opb
0.00/0.00	c File size is 462714 bytes.
0.00/0.03	c Highest Coefficient sum: 64
0.00/0.03	c ============================[ Problem Statistics ]=============================
0.00/0.03	c |                                                                             |
0.00/0.03	c |  Parsing time:          0.03         s                                      |
0.00/0.03	c |  Number Variables:      5256                                                |
0.00/0.03	c |  Number Clauses:        15614                                               |
0.00/0.03	c |  Number Cardinality:    0                                                   |
0.00/0.03	c |  Number PB Constraints: 0                                                   |
0.00/0.04	c ============================[ Search Statistics ]==============================
0.00/0.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.04	c ===============================================================================
0.00/0.04	c |         0 |    4812    15614    37989 |     5204        0   -nan |  0.000 % |
0.09/0.16	c core #1
0.09/0.16	c 
0.09/0.16	c 
0.09/0.16	c Core size: 51	Core Weight: 1	Total Weight: 1
0.09/0.16	c Current CPU time: 0.045993 s
0.09/0.16	c
0.09/0.16	c core #2
0.09/0.16	c 
0.09/0.16	c 
0.09/0.16	c Core size: 51	Core Weight: 1	Total Weight: 2
0.09/0.16	c Current CPU time: 0.050992 s
0.09/0.16	c
0.09/0.16	c core #3
0.09/0.16	c 
0.09/0.16	c 
0.09/0.16	c Core size: 71	Core Weight: 1	Total Weight: 3
0.09/0.16	c Current CPU time: 0.055991 s
0.09/0.16	c
0.09/0.16	c core #4
0.09/0.16	c 
0.09/0.16	c 
0.09/0.16	c Core size: 31	Core Weight: 1	Total Weight: 4
0.09/0.16	c Current CPU time: 0.06099 s
0.09/0.16	c
0.09/0.16	c core #5
0.09/0.16	c 
0.09/0.16	c 
0.09/0.16	c Core size: 51	Core Weight: 1	Total Weight: 5
0.09/0.16	c Current CPU time: 0.06499 s
0.09/0.16	c
0.09/0.16	c core #6
0.09/0.16	c 
0.09/0.16	c 
0.09/0.16	c Core size: 7	Core Weight: 1	Total Weight: 6
0.09/0.16	c Current CPU time: 0.069989 s
0.09/0.16	c
0.09/0.16	c core #7
0.09/0.16	c 
0.09/0.16	c 
0.09/0.16	c Core size: 31	Core Weight: 1	Total Weight: 7
0.09/0.16	c Current CPU time: 0.074988 s
0.09/0.16	c
0.09/0.16	c core #8
0.09/0.16	c 
0.09/0.16	c 
0.09/0.16	c Core size: 71	Core Weight: 1	Total Weight: 8
0.09/0.16	c Current CPU time: 0.080987 s
0.09/0.16	c
0.09/0.16	c core #9
0.09/0.16	c 
0.09/0.16	c 
0.09/0.16	c Core size: 15	Core Weight: 1	Total Weight: 9
0.09/0.16	c Current CPU time: 0.085986 s
0.09/0.16	c
0.09/0.16	c core #10
0.09/0.16	c 
0.09/0.16	c 
0.09/0.16	c Core size: 71	Core Weight: 1	Total Weight: 10
0.09/0.16	c Current CPU time: 0.090986 s
0.09/0.16	c
0.09/0.16	c core #11
0.09/0.16	c 
0.09/0.16	c 
0.09/0.16	c Core size: 51	Core Weight: 1	Total Weight: 11
0.09/0.16	c Current CPU time: 0.095985 s
0.09/0.16	c
0.09/0.16	c core #12
0.09/0.16	c 
0.09/0.16	c 
0.09/0.16	c Core size: 51	Core Weight: 1	Total Weight: 12
0.09/0.16	c Current CPU time: 0.100984 s
0.09/0.16	c
0.09/0.16	c core #13
0.09/0.16	c 
0.09/0.16	c 
0.09/0.16	c Core size: 31	Core Weight: 1	Total Weight: 13
0.09/0.16	c Current CPU time: 0.106983 s
0.09/0.16	c
0.09/0.16	c core #14
0.09/0.16	c 
0.09/0.16	c 
0.09/0.16	c Core size: 31	Core Weight: 1	Total Weight: 14
0.09/0.16	c Current CPU time: 0.111982 s
0.09/0.16	c
0.09/0.16	c core #15
0.09/0.16	c 
0.09/0.16	c 
0.09/0.16	c Core size: 15	Core Weight: 1	Total Weight: 15
0.09/0.16	c Current CPU time: 0.116982 s
0.09/0.16	c
0.09/0.16	c core #16
0.09/0.16	c 
0.09/0.16	c 
0.09/0.16	c Core size: 15	Core Weight: 1	Total Weight: 16
0.09/0.16	c Current CPU time: 0.122981 s
0.09/0.16	c
0.09/0.16	c core #17
0.09/0.16	c 
0.09/0.16	c 
0.09/0.16	c Core size: 31	Core Weight: 1	Total Weight: 17
0.09/0.16	c Current CPU time: 0.12798 s
0.09/0.16	c
0.09/0.16	c core #18
0.09/0.16	c 
0.09/0.16	c 
0.09/0.16	c Core size: 15	Core Weight: 1	Total Weight: 18
0.09/0.16	c Current CPU time: 0.133979 s
0.09/0.16	c
0.09/0.16	c core #19
0.09/0.16	c 
0.09/0.16	c 
0.09/0.16	c Core size: 15	Core Weight: 1	Total Weight: 19
0.09/0.16	c Current CPU time: 0.138978 s
0.09/0.16	c
0.09/0.16	c core #20
0.09/0.16	c 
0.09/0.16	c 
0.09/0.16	c Core size: 471	Core Weight: 1	Total Weight: 20
0.09/0.16	c Current CPU time: 0.144977 s
0.09/0.16	c
0.09/0.16	c core #21
0.09/0.16	c 
0.09/0.16	c 
0.09/0.16	c Core size: 142	Core Weight: 1	Total Weight: 21
0.09/0.16	c Current CPU time: 0.150977 s
0.09/0.16	c
0.09/0.16	c core #22
0.09/0.16	c 
0.09/0.16	c 
0.09/0.16	c Core size: 42	Core Weight: 1	Total Weight: 22
0.09/0.16	c Current CPU time: 0.155976 s
0.09/0.16	c
0.09/0.16	c ============================[ Search Statistics ]==============================
0.09/0.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.16	c ===============================================================================
0.09/0.16	c |         0 |    1558    17166    21699 |     5722        0   -nan |  0.000 % |
0.09/0.16	c ===============================================================================
0.09/0.16	c core #23
0.09/0.16	c 
0.09/0.16	c 
0.09/0.16	c Core size: 297	Core Weight: 1	Total Weight: 23
0.09/0.16	c Current CPU time: 0.161975 s
0.09/0.16	c
0.09/0.16	c ============================[ Search Statistics ]==============================
0.09/0.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.16	c ===============================================================================
0.09/0.17	c |         0 |    2102    17167    22801 |     5722        0   -nan |  0.000 % |
0.09/0.17	c ===============================================================================
0.09/0.17	c core #24
0.09/0.17	c 
0.09/0.17	c 
0.09/0.17	c Core size: 603	Core Weight: 1	Total Weight: 24
0.09/0.17	c Current CPU time: 0.169974 s
0.09/0.17	c
0.09/0.17	c ============================[ Search Statistics ]==============================
0.09/0.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.17	c ===============================================================================
0.09/0.17	c |         0 |    2647    17168    24157 |     5722        0   -nan |  0.000 % |
0.09/0.19	c |       102 |    2647    17168    24157 |     6294      102    134 | 57.944 % |
0.19/0.21	c |       253 |    2647    17168    24157 |     6924      253    101 | 57.944 % |
0.19/0.25	c |       478 |    2647    17168    24157 |     7616      478    102 | 57.944 % |
0.29/0.30	c |       815 |    2646    17168    24157 |     8378      815     89 | 57.960 % |
0.29/0.36	c |      1323 |    2646    17168    24157 |     9216     1323     90 | 57.960 % |
0.29/0.39	c ===============================================================================
0.39/0.40	c core #25
0.39/0.40	c 
0.39/0.40	c 
0.39/0.40	c Core size: 942	Core Weight: 1	Total Weight: 25
0.39/0.40	c Current CPU time: 0.386941 s
0.39/0.40	c
0.39/0.40	c ============================[ Search Statistics ]==============================
0.39/0.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.39/0.40	c ===============================================================================
0.39/0.40	c |         0 |    3565    17169    26607 |     5723        0   -nan |  0.000 % |
0.39/0.42	c |       101 |    3565    17169    26607 |     6295      101    257 | 48.243 % |
0.39/0.44	c |       251 |    3565    17169    26607 |     6924      251    136 | 48.243 % |
0.39/0.46	c |       476 |    3565    17169    26607 |     7617      476     93 | 48.243 % |
0.48/0.51	c |       813 |    3565    17169    26607 |     8379      813     96 | 48.243 % |
0.48/0.59	c |      1320 |    3565    17169    26607 |     9216     1320    101 | 48.243 % |
0.68/0.73	c |      2079 |    3565    17169    26607 |    10138     2079     95 | 48.243 % |
0.89/0.93	c |      3219 |    3565    17169    26607 |    11152     3219     87 | 48.243 % |
1.29/1.30	c |      4927 |    3565    17169    26607 |    12267     4927    100 | 48.243 % |
1.79/1.86	c |      7491 |    3565    17169    26607 |    13494     7491    113 | 48.243 % |
2.79/2.86	c |     11335 |    3562    17169    26607 |    14843    11335    131 | 48.287 % |
4.40/4.45	c |     17103 |    3562    17169    26607 |    16328    17103    143 | 48.287 % |
6.69/6.75	c |     25752 |    3562    17169    26607 |    17961    15609    152 | 48.287 % |
8.19/8.24	c ===============================================================================
8.39/8.42	c core #26
8.39/8.42	c 
8.39/8.42	c 
8.39/8.42	c Core size: 793	Core Weight: 1	Total Weight: 26
8.39/8.42	c Current CPU time: 8.31874 s
8.39/8.42	c
8.39/8.42	c ============================[ Search Statistics ]==============================
8.39/8.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.39/8.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
8.39/8.42	c ===============================================================================
8.39/8.42	c |         0 |    4356    17179    28294 |     5726        0   -nan |  0.000 % |
8.39/8.43	c |       100 |    4356    17179    28294 |     6298      100    216 | 42.910 % |
8.39/8.46	c |       250 |    4356    17179    28294 |     6928      250    144 | 42.910 % |
8.39/8.48	c |       475 |    4356    17179    28294 |     7621      475    102 | 42.910 % |
8.49/8.56	c |       818 |    4356    17179    28294 |     8383      818    101 | 42.910 % |
8.59/8.65	c |      1330 |    4356    17179    28294 |     9222     1330     93 | 42.910 % |
8.69/8.80	c |      2089 |    4356    17179    28294 |    10144     2089     86 | 42.910 % |
8.99/9.07	c |      3228 |    4356    17179    28294 |    11159     3228    121 | 42.910 % |
9.39/9.43	c |      4937 |    4356    17179    28294 |    12274     4937    125 | 42.910 % |
9.99/10.02	c |      7499 |    4356    17179    28294 |    13502     7499    124 | 42.910 % |
10.90/10.99	c |     11344 |    4356    17179    28294 |    14852    11344    141 | 42.910 % |
12.29/12.38	c |     17110 |    4356    17179    28294 |    16337    17110    150 | 42.910 % |
14.59/14.65	c |     25760 |    4356    17179    28294 |    17971    15589    164 | 42.910 % |
18.39/18.48	c |     38736 |    4356    17179    28294 |    19768    17656    186 | 42.910 % |
24.59/24.68	c |     58199 |    4356    17179    28294 |    21745    13453    157 | 42.910 % |
34.59/34.61	c |     87391 |    4356    17179    28294 |    23920    16124    256 | 42.910 % |
49.40/49.48	c |    131186 |    4356    17179    28294 |    26312    15450    167 | 42.910 % |
78.59/78.67	c |    196870 |    4356    17179    28294 |    28943    16585    202 | 42.910 % |
115.59/115.60	c |    295397 |    4356    17179    28294 |    31837    21232    234 | 42.910 % |
172.89/172.98	c |    443189 |    4356    17179    28294 |    35021    19637    213 | 42.910 % |
261.89/261.93	c |    664874 |    4356    17179    28294 |    38523    20996    162 | 42.910 % |
409.79/409.86	c |    997399 |    4355    17179    28294 |    42376    24870    263 | 42.923 % |
653.60/653.68	c |   1496187 |    4355    17179    28294 |    46613    35608    224 | 42.923 % |
1018.42/1018.49	c |   2244371 |    4355    17179    28294 |    51275    50215    236 | 42.923 % |
1653.93/1653.92	c |   3366646 |    4355    17179    28294 |    56402    53234    293 | 42.923 % |
1739.54/1739.56	c ===============================================================================
1796.64/1796.68	c core #27
1796.64/1796.68	c 
1796.64/1796.68	c 
1796.64/1796.68	c Core size: 1029	Core Weight: 1	Total Weight: 27
1796.64/1796.68	c Current CPU time: 1784.57 s
1796.64/1796.68	c
1796.64/1796.68	c ============================[ Search Statistics ]==============================
1796.64/1796.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1796.64/1796.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1796.64/1796.68	c ===============================================================================
1796.64/1796.68	c |         0 |    5232    17200    30105 |     5733        0   -nan |  0.000 % |
1796.74/1796.70	c |       100 |    5232    17200    30105 |     6306      100    298 | 38.498 % |
1796.74/1796.72	c |       250 |    5232    17200    30105 |     6937      250    183 | 38.498 % |
1796.74/1796.77	c |       476 |    5232    17200    30105 |     7631      476    133 | 38.498 % |
1796.83/1796.83	c |       814 |    5232    17200    30105 |     8394      814    111 | 38.498 % |
1796.93/1796.93	c |      1321 |    5232    17200    30105 |     9233     1321    117 | 38.498 % |
1797.14/1797.10	c |      2083 |    5232    17200    30105 |    10156     2083    143 | 38.498 % |
1797.45/1797.42	c |      3222 |    5232    17200    30105 |    11172     3222    166 | 38.498 % |
1797.84/1797.82	c |      4932 |    5232    17200    30105 |    12289     4932    168 | 38.498 % |
1798.64/1798.63	c |      7494 |    5232    17200    30105 |    13518     7494    182 | 38.498 % |
1799.74/1799.71	c |     11339 |    5232    17200    30105 |    14870    11339    181 | 38.498 % |

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-3460689-1307108037/watcher-3460689-1307108037 -o /tmp/evaluation-result-3460689-1307108037/solver-3460689-1307108037 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460689-1307108037.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: 1.98 2.01 1.99 2/455 17568
/proc/meminfo: memFree=24561452/32951124 swapFree=60476376/67111528
[pid=17568] ppid=17566 vsize=3796 CPUtime=0 cores=1,3,5,7
/proc/17568/stat : 17568 (wbo1.6) R 17566 17568 16547 0 -1 4202496 647 0 0 0 0 0 0 0 24 0 1 0 803219648 3887104 600 33554432000 4194304 5714214 140736692758016 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/17568/statm: 949 600 188 372 0 461 0

[startup+0.077314 s]
/proc/loadavg: 1.98 2.01 1.99 2/455 17568
/proc/meminfo: memFree=24561452/32951124 swapFree=60476376/67111528
[pid=17568] ppid=17566 vsize=9148 CPUtime=0.07 cores=1,3,5,7
/proc/17568/stat : 17568 (wbo1.6) R 17566 17568 16547 0 -1 4202496 2375 0 0 0 7 0 0 0 18 0 1 0 803219648 9367552 2024 33554432000 4194304 5714214 140736692758016 18446744073709551615 4355751 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/17568/statm: 2287 2024 175 372 0 1912 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9148

[startup+0.100306 s]
/proc/loadavg: 1.98 2.01 1.99 2/455 17568
/proc/meminfo: memFree=24561452/32951124 swapFree=60476376/67111528
[pid=17568] ppid=17566 vsize=9420 CPUtime=0.09 cores=1,3,5,7
/proc/17568/stat : 17568 (wbo1.6) R 17566 17568 16547 0 -1 4202496 2421 0 0 0 9 0 0 0 18 0 1 0 803219648 9646080 2070 33554432000 4194304 5714214 140736692758016 18446744073709551615 4967686 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/17568/statm: 2390 2081 175 372 0 2015 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9420

[startup+0.30027 s]
/proc/loadavg: 1.98 2.01 1.99 2/455 17568
/proc/meminfo: memFree=24561452/32951124 swapFree=60476376/67111528
[pid=17568] ppid=17566 vsize=9708 CPUtime=0.29 cores=1,3,5,7
/proc/17568/stat : 17568 (wbo1.6) R 17566 17568 16547 0 -1 4202496 2904 0 0 0 29 0 0 0 18 0 1 0 803219648 9940992 2161 33554432000 4194304 5714214 140736692758016 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/17568/statm: 2427 2161 180 372 0 2052 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9708

[startup+0.700208 s]
/proc/loadavg: 1.98 2.01 1.99 2/455 17568
/proc/meminfo: memFree=24561452/32951124 swapFree=60476376/67111528
[pid=17568] ppid=17566 vsize=10996 CPUtime=0.68 cores=1,3,5,7
/proc/17568/stat : 17568 (wbo1.6) R 17566 17568 16547 0 -1 4202496 3243 0 0 0 68 0 0 0 18 0 1 0 803219648 11259904 2450 33554432000 4194304 5714214 140736692758016 18446744073709551615 4200720 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/17568/statm: 2749 2450 180 372 0 2374 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 10996

[startup+1.50105 s]
/proc/loadavg: 1.98 2.01 1.99 3/456 17569
/proc/meminfo: memFree=24550768/32951124 swapFree=60476376/67111528
[pid=17568] ppid=17566 vsize=12052 CPUtime=1.49 cores=1,3,5,7
/proc/17568/stat : 17568 (wbo1.6) R 17566 17568 16547 0 -1 4202496 3502 0 0 0 148 1 0 0 19 0 1 0 803219648 12341248 2709 33554432000 4194304 5714214 140736692758016 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/17568/statm: 3013 2709 180 372 0 2638 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12052

[startup+3.10075 s]
/proc/loadavg: 1.98 2.01 1.99 3/456 17569
/proc/meminfo: memFree=24546708/32951124 swapFree=60476376/67111528
[pid=17568] ppid=17566 vsize=18068 CPUtime=3.09 cores=1,3,5,7
/proc/17568/stat : 17568 (wbo1.6) R 17566 17568 16547 0 -1 4202496 4990 0 0 0 305 4 0 0 24 0 1 0 803219648 18501632 4197 33554432000 4194304 5714214 140736692758016 18446744073709551615 4322755 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/17568/statm: 4517 4197 180 372 0 4142 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18068

[startup+6.30017 s]
/proc/loadavg: 1.98 2.00 1.99 3/456 17569
/proc/meminfo: memFree=24532696/32951124 swapFree=60476376/67111528
[pid=17568] ppid=17566 vsize=25336 CPUtime=6.29 cores=1,3,5,7
/proc/17568/stat : 17568 (wbo1.6) R 17566 17568 16547 0 -1 4202496 6823 0 0 0 623 6 0 0 20 0 1 0 803219648 25944064 6030 33554432000 4194304 5714214 140736692758016 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/17568/statm: 6334 6030 180 372 0 5959 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25336

[startup+12.701 s]
/proc/loadavg: 1.98 2.00 1.99 3/456 17570
/proc/meminfo: memFree=24520204/32951124 swapFree=60476376/67111528
[pid=17568] ppid=17566 vsize=31928 CPUtime=12.69 cores=1,3,5,7
/proc/17568/stat : 17568 (wbo1.6) R 17566 17568 16547 0 -1 4202496 8566 0 0 0 1257 12 0 0 25 0 1 0 803219648 32694272 7719 33554432000 4194304 5714214 140736692758016 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/17568/statm: 7982 7719 180 372 0 7607 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 31928

[startup+25.5006 s]
/proc/loadavg: 1.98 2.00 1.99 3/456 17570
/proc/meminfo: memFree=24513632/32951124 swapFree=60476376/67111528
[pid=17568] ppid=17566 vsize=36416 CPUtime=25.49 cores=1,3,5,7
/proc/17568/stat : 17568 (wbo1.6) R 17566 17568 16547 0 -1 4202496 9680 0 0 0 2528 21 0 0 25 0 1 0 803219648 37289984 8833 33554432000 4194304 5714214 140736692758016 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/17568/statm: 9104 8833 180 372 0 8729 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 36416

[startup+51.1009 s]
/proc/loadavg: 1.99 2.00 1.99 3/456 17598
/proc/meminfo: memFree=24548764/32951124 swapFree=60476376/67111528
[pid=17568] ppid=17566 vsize=57552 CPUtime=51.1 cores=1,3,5,7
/proc/17568/stat : 17568 (wbo1.6) R 17566 17568 16547 0 -1 4202496 14931 0 0 0 5073 37 0 0 25 0 1 0 803219648 58933248 14084 33554432000 4194304 5714214 140736692758016 18446744073709551615 4311917 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/17568/statm: 14388 14084 180 372 0 14013 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 57552

[startup+102.317 s]
/proc/loadavg: 1.99 2.00 1.99 3/456 17599
/proc/meminfo: memFree=24447092/32951124 swapFree=60476376/67111528
[pid=17568] ppid=17566 vsize=92868 CPUtime=102.31 cores=1,3,5,7
/proc/17568/stat : 17568 (wbo1.6) R 17566 17568 16547 0 -1 4202496 23710 0 0 0 10158 73 0 0 25 0 1 0 803219648 95096832 22863 33554432000 4194304 5714214 140736692758016 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/17568/statm: 23217 22863 180 372 0 22842 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 92868

[startup+162.3 s]
/proc/loadavg: 2.17 2.05 2.01 3/456 17601
/proc/meminfo: memFree=24356160/32951124 swapFree=60476376/67111528
[pid=17568] ppid=17566 vsize=132428 CPUtime=162.29 cores=1,3,5,7
/proc/17568/stat : 17568 (wbo1.6) R 17566 17568 16547 0 -1 4202496 33538 0 0 0 16113 116 0 0 25 0 1 0 803219648 135606272 32691 33554432000 4194304 5714214 140736692758016 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17568/statm: 33107 32691 180 372 0 32732 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 132428

[startup+222.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/456 17602
/proc/meminfo: memFree=24310856/32951124 swapFree=60476376/67111528
[pid=17568] ppid=17566 vsize=156724 CPUtime=222.29 cores=1,3,5,7
/proc/17568/stat : 17568 (wbo1.6) R 17566 17568 16547 0 -1 4202496 39531 0 0 0 22072 157 0 0 25 0 1 0 803219648 160485376 38684 33554432000 4194304 5714214 140736692758016 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17568/statm: 39181 38684 180 372 0 38806 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 156724

[startup+282.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/456 17604
/proc/meminfo: memFree=24277348/32951124 swapFree=60476376/67111528
[pid=17568] ppid=17566 vsize=189340 CPUtime=282.29 cores=1,3,5,7
/proc/17568/stat : 17568 (wbo1.6) R 17566 17568 16547 0 -1 4202496 47597 0 0 0 28034 195 0 0 25 0 1 0 803219648 193884160 46750 33554432000 4194304 5714214 140736692758016 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17568/statm: 47335 46750 180 372 0 46960 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 189340

[startup+342.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/456 17605
/proc/meminfo: memFree=24205520/32951124 swapFree=60476376/67111528
[pid=17568] ppid=17566 vsize=222296 CPUtime=342.29 cores=1,3,5,7
/proc/17568/stat : 17568 (wbo1.6) R 17566 17568 16547 0 -1 4202496 55805 0 0 0 33995 234 0 0 25 0 1 0 803219648 227631104 54958 33554432000 4194304 5714214 140736692758016 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17568/statm: 55574 54958 180 372 0 55199 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 222296

[startup+402.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/456 17607
/proc/meminfo: memFree=24124516/32951124 swapFree=60476376/67111528
[pid=17568] ppid=17566 vsize=252164 CPUtime=402.29 cores=1,3,5,7
/proc/17568/stat : 17568 (wbo1.6) R 17566 17568 16547 0 -1 4202496 63269 0 0 0 39954 275 0 0 25 0 1 0 803219648 258215936 62422 33554432000 4194304 5714214 140736692758016 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17568/statm: 63041 62422 180 372 0 62666 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 252164

[startup+462.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/456 17609
/proc/meminfo: memFree=24110332/32951124 swapFree=60476376/67111528
[pid=17568] ppid=17566 vsize=264932 CPUtime=462.3 cores=1,3,5,7
/proc/17568/stat : 17568 (wbo1.6) R 17566 17568 16547 0 -1 4202496 66379 0 0 0 45923 307 0 0 25 0 1 0 803219648 271290368 65532 33554432000 4194304 5714214 140736692758016 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17568/statm: 66233 65532 180 372 0 65858 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 264932

[startup+522.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/456 17610
/proc/meminfo: memFree=24061208/32951124 swapFree=60476376/67111528
[pid=17568] ppid=17566 vsize=302464 CPUtime=522.3 cores=1,3,5,7
/proc/17568/stat : 17568 (wbo1.6) R 17566 17568 16547 0 -1 4202496 75692 0 0 0 51885 345 0 0 25 0 1 0 803219648 309723136 74845 33554432000 4194304 5714214 140736692758016 18446744073709551615 4320153 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17568/statm: 75616 74845 180 372 0 75241 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 302464

[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/456 17612
/proc/meminfo: memFree=24016052/32951124 swapFree=60476376/67111528
[pid=17568] ppid=17566 vsize=323552 CPUtime=582.3 cores=1,3,5,7
/proc/17568/stat : 17568 (wbo1.6) R 17566 17568 16547 0 -1 4202496 80897 0 0 0 57855 375 0 0 25 0 1 0 803219648 331317248 80050 33554432000 4194304 5714214 140736692758016 18446744073709551615 4322971 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17568/statm: 80888 80050 180 372 0 80513 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 323552

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.17 2.05 2.01 3/456 17618
/proc/meminfo: memFree=23842172/32951124 swapFree=60476376/67111528
[pid=17568] ppid=17566 vsize=423664 CPUtime=822.3 cores=1,3,5,7
/proc/17568/stat : 17568 (wbo1.6) R 17566 17568 16547 0 -1 4202496 105807 0 0 0 81715 515 0 0 25 0 1 0 803219648 433831936 104960 33554432000 4194304 5714214 140736692758016 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17568/statm: 105916 104960 180 372 0 105541 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 423664

[startup+882.301 s]
/proc/loadavg: 2.13 2.05 2.01 3/456 17620
/proc/meminfo: memFree=23796764/32951124 swapFree=60476376/67111528
[pid=17568] ppid=17566 vsize=451352 CPUtime=882.31 cores=1,3,5,7
/proc/17568/stat : 17568 (wbo1.6) R 17566 17568 16547 0 -1 4202496 112725 0 0 0 87681 550 0 0 25 0 1 0 803219648 462184448 111878 33554432000 4194304 5714214 140736692758016 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17568/statm: 112838 111878 180 372 0 112463 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 451352

[startup+942.301 s]
/proc/loadavg: 2.05 2.04 2.00 3/456 17621
/proc/meminfo: memFree=23753576/32951124 swapFree=60476376/67111528
[pid=17568] ppid=17566 vsize=473008 CPUtime=942.31 cores=1,3,5,7
/proc/17568/stat : 17568 (wbo1.6) R 17566 17568 16547 0 -1 4202496 118089 0 0 0 93641 590 0 0 25 0 1 0 803219648 484360192 117242 33554432000 4194304 5714214 140736692758016 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17568/statm: 118252 117242 180 372 0 117877 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 473008

[startup+1002.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/456 17623
/proc/meminfo: memFree=23717828/32951124 swapFree=60476376/67111528
[pid=17568] ppid=17566 vsize=497792 CPUtime=1002.31 cores=1,3,5,7
/proc/17568/stat : 17568 (wbo1.6) R 17566 17568 16547 0 -1 4202496 124270 0 0 0 99605 626 0 0 25 0 1 0 803219648 509739008 123423 33554432000 4194304 5714214 140736692758016 18446744073709551615 4319303 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17568/statm: 124448 123423 180 372 0 124073 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 497792

[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/456 17625
/proc/meminfo: memFree=23658140/32951124 swapFree=60476376/67111528
[pid=17568] ppid=17566 vsize=515732 CPUtime=1062.31 cores=1,3,5,7
/proc/17568/stat : 17568 (wbo1.6) R 17566 17568 16547 0 -1 4202496 128676 0 0 0 105570 661 0 0 25 0 1 0 803219648 528109568 127829 33554432000 4194304 5714214 140736692758016 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17568/statm: 128933 127829 180 372 0 128558 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 515732

[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/456 17626
/proc/meminfo: memFree=23612732/32951124 swapFree=60476376/67111528
[pid=17568] ppid=17566 vsize=557756 CPUtime=1122.32 cores=1,3,5,7
/proc/17568/stat : 17568 (wbo1.6) R 17566 17568 16547 0 -1 4202496 139123 0 0 0 111533 699 0 0 25 0 1 0 803219648 571142144 138276 33554432000 4194304 5714214 140736692758016 18446744073709551615 4319855 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17568/statm: 139439 138276 180 372 0 139064 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 557756

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/456 17628
/proc/meminfo: memFree=23561868/32951124 swapFree=60476376/67111528
[pid=17568] ppid=17566 vsize=579352 CPUtime=1182.31 cores=1,3,5,7
/proc/17568/stat : 17568 (wbo1.6) R 17566 17568 16547 0 -1 4202496 144513 0 0 0 117499 732 0 0 25 0 1 0 803219648 593256448 143666 33554432000 4194304 5714214 140736692758016 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17568/statm: 144838 143666 180 372 0 144463 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 579352

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/456 17629
/proc/meminfo: memFree=23530340/32951124 swapFree=60476376/67111528
[pid=17568] ppid=17566 vsize=609360 CPUtime=1242.32 cores=1,3,5,7
/proc/17568/stat : 17568 (wbo1.6) R 17566 17568 16547 0 -1 4202496 152030 0 0 0 123468 764 0 0 25 0 1 0 803219648 623984640 151183 33554432000 4194304 5714214 140736692758016 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17568/statm: 152340 151183 180 372 0 151965 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 609360

[startup+1302.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/456 17631
/proc/meminfo: memFree=23514548/32951124 swapFree=60476376/67111528
[pid=17568] ppid=17566 vsize=621728 CPUtime=1302.33 cores=1,3,5,7
/proc/17568/stat : 17568 (wbo1.6) R 17566 17568 16547 0 -1 4202496 154986 0 0 0 129443 790 0 0 25 0 1 0 803219648 636649472 154139 33554432000 4194304 5714214 140736692758016 18446744073709551615 4311876 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17568/statm: 155432 154139 180 372 0 155057 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 621728

[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/456 17633
/proc/meminfo: memFree=23474084/32951124 swapFree=60476376/67111528
[pid=17568] ppid=17566 vsize=641656 CPUtime=1362.32 cores=1,3,5,7
/proc/17568/stat : 17568 (wbo1.6) R 17566 17568 16547 0 -1 4202496 159860 0 0 0 135409 823 0 0 25 0 1 0 803219648 657055744 159013 33554432000 4194304 5714214 140736692758016 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17568/statm: 160414 159013 180 372 0 160039 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 641656

[startup+1422.32 s]
/proc/loadavg: 2.04 2.02 2.00 3/456 17634
/proc/meminfo: memFree=23409952/32951124 swapFree=60476376/67111528
[pid=17568] ppid=17566 vsize=678372 CPUtime=1422.34 cores=1,3,5,7
/proc/17568/stat : 17568 (wbo1.6) R 17566 17568 16547 0 -1 4202496 168570 0 0 0 141389 845 0 0 25 0 1 0 803219648 694652928 167723 33554432000 4194304 5714214 140736692758016 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17568/statm: 169593 167723 180 372 0 169218 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 678372

[startup+1482.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/456 17636
/proc/meminfo: memFree=23385984/32951124 swapFree=60476376/67111528
[pid=17568] ppid=17566 vsize=700808 CPUtime=1482.33 cores=1,3,5,7
/proc/17568/stat : 17568 (wbo1.6) R 17566 17568 16547 0 -1 4202496 174130 0 0 0 147349 884 0 0 25 0 1 0 803219648 717627392 173283 33554432000 4194304 5714214 140736692758016 18446744073709551615 4200768 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17568/statm: 175202 173283 180 372 0 174827 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 700808

[startup+1542.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/456 17637
/proc/meminfo: memFree=23366000/32951124 swapFree=60476376/67111528
[pid=17568] ppid=17566 vsize=720284 CPUtime=1542.33 cores=1,3,5,7
/proc/17568/stat : 17568 (wbo1.6) R 17566 17568 16547 0 -1 4202496 178995 0 0 0 153321 912 0 0 25 0 1 0 803219648 737570816 178148 33554432000 4194304 5714214 140736692758016 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17568/statm: 180071 178148 180 372 0 179696 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 720284

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/456 17639
/proc/meminfo: memFree=23338696/32951124 swapFree=60476376/67111528
[pid=17568] ppid=17566 vsize=746576 CPUtime=1602.33 cores=1,3,5,7
/proc/17568/stat : 17568 (wbo1.6) R 17566 17568 16547 0 -1 4202496 185540 0 0 0 159288 945 0 0 25 0 1 0 803219648 764493824 184693 33554432000 4194304 5714214 140736692758016 18446744073709551615 4311911 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17568/statm: 186644 184693 180 372 0 186269 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 746576

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/456 17650
/proc/meminfo: memFree=23278264/32951124 swapFree=60476376/67111528
[pid=17568] ppid=17566 vsize=771604 CPUtime=1662.34 cores=1,3,5,7
/proc/17568/stat : 17568 (wbo1.6) R 17566 17568 16547 0 -1 4202496 191779 0 0 0 165262 972 0 0 25 0 1 0 803219648 790122496 190932 33554432000 4194304 5714214 140736692758016 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17568/statm: 192901 190932 180 372 0 192526 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 771604

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/456 17651
/proc/meminfo: memFree=23201592/32951124 swapFree=60476376/67111528
[pid=17568] ppid=17566 vsize=786876 CPUtime=1722.34 cores=1,3,5,7
/proc/17568/stat : 17568 (wbo1.6) R 17566 17568 16547 0 -1 4202496 195578 0 0 0 171229 1005 0 0 25 0 1 0 803219648 805761024 194731 33554432000 4194304 5714214 140736692758016 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17568/statm: 196719 194731 180 372 0 196344 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 786876

[startup+1782.3 s]
/proc/loadavg: 2.15 2.03 2.01 3/456 17653
/proc/meminfo: memFree=23052640/32951124 swapFree=60476376/67111528
[pid=17568] ppid=17566 vsize=900980 CPUtime=1782.34 cores=1,3,5,7
/proc/17568/stat : 17568 (wbo1.6) R 17566 17568 16547 0 -1 4202496 224118 0 0 0 177215 1019 0 0 25 0 1 0 803219648 922603520 223271 33554432000 4194304 5714214 140736692758016 18446744073709551615 4324876 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17568/statm: 225245 223271 180 372 0 224870 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 900980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.10 2.03 2.01 3/456 17653
/proc/meminfo: memFree=23036388/32951124 swapFree=60476376/67111528
[pid=17568] ppid=17566 vsize=900276 CPUtime=1800.04 cores=1,3,5,7
/proc/17568/stat : 17568 (wbo1.6) R 17566 17568 16547 0 -1 4202496 224639 0 0 0 178982 1022 0 0 18 0 1 0 803219648 921882624 223273 33554432000 4194304 5714214 140736692758016 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17568/statm: 225069 223273 180 372 0 224694 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 900276

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.05
CPU time (s): 1800.1
CPU user time (s): 1789.83
CPU system time (s): 10.2624
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 903028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.83
system time used= 10.2624
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 224639
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= 15
involuntary context switches= 2440

runsolver used 7.48986 second user time and 18.7182 second system time

The end

Launcher Data 

Begin job on node147 at 2011-06-03 15:33:57
IDJOB=3460689
IDBENCH=24999
IDSOLVER=1953
FILE ID=node147/3460689-1307108037
RUNJOBID= node147-1307094843-16566
PBS_JOBID= 13498009
Free space on /tmp= 73680 MiB

SOLVER NAME= wbo 1.6
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_014_area_delay.opb
COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460689-1307108037/watcher-3460689-1307108037 -o /tmp/evaluation-result-3460689-1307108037/solver-3460689-1307108037 -C 1800 -W 1900 -M 15500  wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460689-1307108037.opb

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

MD5SUM BENCH= 525408a019e1cf8f47f95fb4bdf20c0f
RANDOM SEED=1082551738

node147.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.836
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.67
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.836
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.75
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.836
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.82
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.836
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.75
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.836
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.82
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.836
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.76
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.836
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.82
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.836
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24561732 kB
Buffers:        287716 kB
Cached:        1431420 kB
SwapCached:      11164 kB
Active:        6800532 kB
Inactive:      1330596 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24561732 kB
SwapTotal:    67111528 kB
SwapFree:     60476376 kB
Dirty:            4808 kB
Writeback:           0 kB
AnonPages:     6408880 kB
Mapped:          23324 kB
Slab:           132684 kB
PageTables:      58672 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 120865336 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= 73676 MiB
End job on node147 at 2011-06-03 16:03:59