Trace number 3500452

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
pwbo 1.1? (TO) 1800.09 900.044

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_7_60_4.opb
MD5SUMdc0116cc9dd2d87e5a6934d46be3ef43
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables61
Total number of constraints15
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints14
Minimum length of a constraint1
Maximum length of a constraint60
Number of terms in the objective function 1
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 1
Number of bits of the sum of numbers in the objective function 1
Biggest number in a constraint 1531
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4594
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 pwbo 1.1 beta - 20110321
0.00/0.00	c Parsing opb file format. File HOME/instance-3500452-1307995667.opb.
0.00/0.00	c Instance file HOME/instance-3500452-1307995667.opb
0.00/0.00	c File size is 6868 bytes.
0.00/0.00	c Highest Coefficient sum: 4594
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.00         s                                      |
0.00/0.00	c |  Number Variables:      61                                                  |
0.00/0.00	c |  Number Clauses:        1                                                   |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 14                                                  |
0.00/0.00	c init lb 0
0.00/0.00	c init ub 2
1800.04/900.01	s UNKNOWN
1800.04/900.01	c Memory used           : 856.86 MB
1800.04/900.01	c CPU time              : 1782.54 s

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3500452-1307995667/watcher-3500452-1307995667 -o /var/tmp/evaluation-result-3500452-1307995667/solver-3500452-1307995667 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500452-1307995667.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: 3.29 3.79 3.85 3/179 20253
/proc/meminfo: memFree=10976616/32950928 swapFree=67055156/67111528
[pid=20253] ppid=20251 vsize=134816 CPUtime=0 cores=0,2,4,6
/proc/20253/stat : 20253 (pwbo1.1) S 20251 20253 19040 0 -1 4202496 393 0 0 0 0 0 0 0 23 0 3 0 911166539 138051584 344 33554432000 4194304 5714118 140733530352592 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20253/statm: 33704 344 180 372 0 33329 0
[pid=20253/tid=20254] ppid=20251 vsize=134816 CPUtime=0 cores=0,2,4,6
/proc/20253/task/20254/stat : 20254 (pwbo1.1) R 20251 20253 19040 0 -1 4202560 40 0 0 0 0 0 0 0 24 0 3 0 911166540 138051584 344 33554432000 4194304 5714118 140733530352592 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=20253/tid=20255] ppid=20251 vsize=134816 CPUtime=0 cores=0,2,4,6
/proc/20253/task/20255/stat : 20255 (pwbo1.1) R 20251 20253 19040 0 -1 4202560 11 0 0 0 0 0 0 0 24 0 3 0 911166540 138051584 344 33554432000 4194304 5714118 140733530352592 18446744073709551615 4322968 0 0 4096 16387 0 0 0 -1 2 0 0 0

[startup+0.0588891 s]
/proc/loadavg: 3.29 3.79 3.85 3/179 20253
/proc/meminfo: memFree=10976616/32950928 swapFree=67055156/67111528
[pid=20253] ppid=20251 vsize=134816 CPUtime=0.1 cores=0,2,4,6
/proc/20253/stat : 20253 (pwbo1.1) S 20251 20253 19040 0 -1 4202496 611 0 0 0 10 0 0 0 23 0 3 0 911166539 138051584 562 33554432000 4194304 5714118 140733530352592 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20253/statm: 33704 562 181 372 0 33329 0
[pid=20253/tid=20254] ppid=20251 vsize=134816 CPUtime=0.05 cores=0,2,4,6
/proc/20253/task/20254/stat : 20254 (pwbo1.1) R 20251 20253 19040 0 -1 4202560 163 0 0 0 5 0 0 0 24 0 3 0 911166540 138051584 562 33554432000 4194304 5714118 140733530352592 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=20253/tid=20255] ppid=20251 vsize=134816 CPUtime=0.05 cores=0,2,4,6
/proc/20253/task/20255/stat : 20255 (pwbo1.1) R 20251 20253 19040 0 -1 4202560 106 0 0 0 5 0 0 0 24 0 3 0 911166540 138051584 562 33554432000 4194304 5714118 140733530352592 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 134816

[startup+0.10088 s]
/proc/loadavg: 3.29 3.79 3.85 3/179 20253
/proc/meminfo: memFree=10976616/32950928 swapFree=67055156/67111528
[pid=20253] ppid=20251 vsize=134816 CPUtime=0.18 cores=0,2,4,6
/proc/20253/stat : 20253 (pwbo1.1) S 20251 20253 19040 0 -1 4202496 774 0 0 0 18 0 0 0 23 0 3 0 911166539 138051584 725 33554432000 4194304 5714118 140733530352592 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20253/statm: 33704 725 181 372 0 33329 0
[pid=20253/tid=20254] ppid=20251 vsize=134816 CPUtime=0.09 cores=0,2,4,6
/proc/20253/task/20254/stat : 20254 (pwbo1.1) R 20251 20253 19040 0 -1 4202560 254 0 0 0 9 0 0 0 24 0 3 0 911166540 138051584 725 33554432000 4194304 5714118 140733530352592 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=20253/tid=20255] ppid=20251 vsize=134816 CPUtime=0.09 cores=0,2,4,6
/proc/20253/task/20255/stat : 20255 (pwbo1.1) R 20251 20253 19040 0 -1 4202560 178 0 0 0 9 0 0 0 24 0 3 0 911166540 138051584 725 33554432000 4194304 5714118 140733530352592 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 134816

[startup+0.30079 s]
/proc/loadavg: 3.29 3.79 3.85 3/179 20253
/proc/meminfo: memFree=10976616/32950928 swapFree=67055156/67111528
[pid=20253] ppid=20251 vsize=134816 CPUtime=0.59 cores=0,2,4,6
/proc/20253/stat : 20253 (pwbo1.1) S 20251 20253 19040 0 -1 4202496 1390 0 0 0 57 2 0 0 23 0 3 0 911166539 138051584 1341 33554432000 4194304 5714118 140733530352592 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20253/statm: 33704 1341 181 372 0 33329 0
[pid=20253/tid=20254] ppid=20251 vsize=134816 CPUtime=0.28 cores=0,2,4,6
/proc/20253/task/20254/stat : 20254 (pwbo1.1) R 20251 20253 19040 0 -1 4202560 609 0 0 0 28 0 0 0 25 0 3 0 911166540 138051584 1341 33554432000 4194304 5714118 140733530352592 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=20253/tid=20255] ppid=20251 vsize=134816 CPUtime=0.29 cores=0,2,4,6
/proc/20253/task/20255/stat : 20255 (pwbo1.1) R 20251 20253 19040 0 -1 4202560 439 0 0 0 28 1 0 0 25 0 3 0 911166540 138051584 1341 33554432000 4194304 5714118 140733530352592 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 134816

[startup+0.700722 s]
/proc/loadavg: 3.29 3.79 3.85 3/179 20253
/proc/meminfo: memFree=10976616/32950928 swapFree=67055156/67111528
[pid=20253] ppid=20251 vsize=135104 CPUtime=1.39 cores=0,2,4,6
/proc/20253/stat : 20253 (pwbo1.1) S 20251 20253 19040 0 -1 4202496 2004 0 0 0 136 3 0 0 23 0 3 0 911166539 138346496 1955 33554432000 4194304 5714118 140733530352592 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20253/statm: 33776 1955 181 372 0 33401 0
[pid=20253/tid=20254] ppid=20251 vsize=135104 CPUtime=0.69 cores=0,2,4,6
/proc/20253/task/20254/stat : 20254 (pwbo1.1) R 20251 20253 19040 0 -1 4202560 995 0 0 0 68 1 0 0 25 0 3 0 911166540 138346496 1955 33554432000 4194304 5714118 140733530352592 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=20253/tid=20255] ppid=20251 vsize=135104 CPUtime=0.69 cores=0,2,4,6
/proc/20253/task/20255/stat : 20255 (pwbo1.1) R 20251 20253 19040 0 -1 4202560 667 0 0 0 67 2 0 0 25 0 3 0 911166540 138346496 1955 33554432000 4194304 5714118 140733530352592 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 135104

[startup+1.50058 s]
/proc/loadavg: 3.29 3.79 3.85 5/182 20256
/proc/meminfo: memFree=10966196/32950928 swapFree=67055156/67111528
[pid=20253] ppid=20251 vsize=135104 CPUtime=2.98 cores=0,2,4,6
/proc/20253/stat : 20253 (pwbo1.1) S 20251 20253 19040 0 -1 4202496 2672 0 0 0 293 5 0 0 23 0 3 0 911166539 138346496 2623 33554432000 4194304 5714118 140733530352592 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20253/statm: 33776 2623 181 372 0 33401 0
[pid=20253/tid=20254] ppid=20251 vsize=135104 CPUtime=1.48 cores=0,2,4,6
/proc/20253/task/20254/stat : 20254 (pwbo1.1) R 20251 20253 19040 0 -1 4202560 1529 0 0 0 147 1 0 0 25 0 3 0 911166540 138346496 2623 33554432000 4194304 5714118 140733530352592 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=20253/tid=20255] ppid=20251 vsize=135104 CPUtime=1.48 cores=0,2,4,6
/proc/20253/task/20255/stat : 20255 (pwbo1.1) R 20251 20253 19040 0 -1 4202560 801 0 0 0 145 3 0 0 18 0 3 0 911166540 138346496 2623 33554432000 4194304 5714118 140733530352592 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 135104

[startup+3.10024 s]
/proc/loadavg: 3.29 3.79 3.85 5/182 20256
/proc/meminfo: memFree=10963220/32950928 swapFree=67055156/67111528
[pid=20253] ppid=20251 vsize=135104 CPUtime=6.18 cores=0,2,4,6
/proc/20253/stat : 20253 (pwbo1.1) S 20251 20253 19040 0 -1 4202496 3622 0 0 0 607 11 0 0 23 0 3 0 911166539 138346496 3573 33554432000 4194304 5714118 140733530352592 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20253/statm: 33776 3573 182 372 0 33401 0
[pid=20253/tid=20254] ppid=20251 vsize=135104 CPUtime=3.09 cores=0,2,4,6
/proc/20253/task/20254/stat : 20254 (pwbo1.1) R 20251 20253 19040 0 -1 4202560 2298 0 0 0 305 4 0 0 25 0 3 0 911166540 138346496 3573 33554432000 4194304 5714118 140733530352592 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=20253/tid=20255] ppid=20251 vsize=135104 CPUtime=3.09 cores=0,2,4,6
/proc/20253/task/20255/stat : 20255 (pwbo1.1) R 20251 20253 19040 0 -1 4202560 982 0 0 0 302 7 0 0 20 0 3 0 911166540 138346496 3573 33554432000 4194304 5714118 140733530352592 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 135104

[startup+6.30078 s]
/proc/loadavg: 3.35 3.79 3.85 5/182 20256
/proc/meminfo: memFree=10950200/32950928 swapFree=67055156/67111528
[pid=20253] ppid=20251 vsize=135680 CPUtime=12.59 cores=0,2,4,6
/proc/20253/stat : 20253 (pwbo1.1) S 20251 20253 19040 0 -1 4202496 5271 0 0 0 1239 20 0 0 23 0 3 0 911166539 138936320 5222 33554432000 4194304 5714118 140733530352592 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20253/statm: 33920 5222 182 372 0 33545 0
[pid=20253/tid=20254] ppid=20251 vsize=135680 CPUtime=6.29 cores=0,2,4,6
/proc/20253/task/20254/stat : 20254 (pwbo1.1) R 20251 20253 19040 0 -1 4202560 3740 0 0 0 622 7 0 0 25 0 3 0 911166540 138936320 5222 33554432000 4194304 5714118 140733530352592 18446744073709551615 4300228 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=20253/tid=20255] ppid=20251 vsize=135680 CPUtime=6.29 cores=0,2,4,6
/proc/20253/task/20255/stat : 20255 (pwbo1.1) R 20251 20253 19040 0 -1 4202560 1189 0 0 0 617 12 0 0 25 0 3 0 911166540 138936320 5222 33554432000 4194304 5714118 140733530352592 18446744073709551615 4299920 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 135680

[startup+12.7007 s]
/proc/loadavg: 3.40 3.80 3.85 5/182 20256
/proc/meminfo: memFree=10931308/32950928 swapFree=67055156/67111528
[pid=20253] ppid=20251 vsize=136256 CPUtime=25.39 cores=0,2,4,6
/proc/20253/stat : 20253 (pwbo1.1) S 20251 20253 19040 0 -1 4202496 7790 0 0 0 2503 36 0 0 23 0 3 0 911166539 139526144 7741 33554432000 4194304 5714118 140733530352592 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20253/statm: 34064 7741 182 372 0 33689 0
[pid=20253/tid=20254] ppid=20251 vsize=136256 CPUtime=12.69 cores=0,2,4,6
/proc/20253/task/20254/stat : 20254 (pwbo1.1) R 20251 20253 19040 0 -1 4202560 5954 0 0 0 1255 14 0 0 25 0 3 0 911166540 139526144 7741 33554432000 4194304 5714118 140733530352592 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=20253/tid=20255] ppid=20251 vsize=136256 CPUtime=12.69 cores=0,2,4,6
/proc/20253/task/20255/stat : 20255 (pwbo1.1) R 20251 20253 19040 0 -1 4202560 1494 0 0 0 1248 21 0 0 25 0 3 0 911166540 139526144 7741 33554432000 4194304 5714118 140733530352592 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 136256

[startup+25.5003 s]
/proc/loadavg: 3.53 3.80 3.85 5/182 20257
/proc/meminfo: memFree=10896204/32950928 swapFree=67055156/67111528
[pid=20253] ppid=20251 vsize=137696 CPUtime=50.99 cores=0,2,4,6
/proc/20253/stat : 20253 (pwbo1.1) S 20251 20253 19040 0 -1 4202496 12617 0 0 0 5031 68 0 0 23 0 3 0 911166539 141000704 12558 33554432000 4194304 5714118 140733530352592 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20253/statm: 34424 12558 182 372 0 34049 0
[pid=20253/tid=20254] ppid=20251 vsize=137696 CPUtime=25.49 cores=0,2,4,6
/proc/20253/task/20254/stat : 20254 (pwbo1.1) R 20251 20253 19040 0 -1 4202560 10443 0 0 0 2524 25 0 0 25 0 3 0 911166540 141000704 12559 33554432000 4194304 5714118 140733530352592 18446744073709551615 4970308 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=20253/tid=20255] ppid=20251 vsize=137696 CPUtime=25.49 cores=0,2,4,6
/proc/20253/task/20255/stat : 20255 (pwbo1.1) R 20251 20253 19040 0 -1 4202560 1833 0 0 0 2507 42 0 0 25 0 3 0 911166540 141000704 12559 33554432000 4194304 5714118 140733530352592 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 137696

[startup+51.1008 s]
/proc/loadavg: 3.69 3.82 3.85 5/182 20258
/proc/meminfo: memFree=10833856/32950928 swapFree=67055156/67111528
[pid=20253] ppid=20251 vsize=205464 CPUtime=102.19 cores=0,2,4,6
/proc/20253/stat : 20253 (pwbo1.1) S 20251 20253 19040 0 -1 4202496 21509 0 0 0 10070 149 0 0 23 0 3 0 911166539 210395136 21450 33554432000 4194304 5714118 140733530352592 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20253/statm: 51366 21450 182 372 0 50991 0
[pid=20253/tid=20254] ppid=20251 vsize=205464 CPUtime=51.09 cores=0,2,4,6
/proc/20253/task/20254/stat : 20254 (pwbo1.1) R 20251 20253 19040 0 -1 4202560 18821 0 0 0 5044 65 0 0 25 0 3 0 911166540 210395136 21450 33554432000 4194304 5714118 140733530352592 18446744073709551615 4300224 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=20253/tid=20255] ppid=20251 vsize=205464 CPUtime=51.09 cores=0,2,4,6
/proc/20253/task/20255/stat : 20255 (pwbo1.1) R 20251 20253 19040 0 -1 4202560 2346 0 0 0 5026 83 0 0 25 0 3 0 911166540 210395136 21450 33554432000 4194304 5714118 140733530352592 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 205464

[startup+102.307 s]
/proc/loadavg: 3.86 3.84 3.86 5/182 20259
/proc/meminfo: memFree=10718248/32950928 swapFree=67055156/67111528
[pid=20253] ppid=20251 vsize=207624 CPUtime=204.6 cores=0,2,4,6
/proc/20253/stat : 20253 (pwbo1.1) S 20251 20253 19040 0 -1 4202496 36358 0 0 0 20171 289 0 0 23 0 3 0 911166539 212606976 36220 33554432000 4194304 5714118 140733530352592 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20253/statm: 51906 36220 182 372 0 51531 0
[pid=20253/tid=20254] ppid=20251 vsize=207624 CPUtime=102.29 cores=0,2,4,6
/proc/20253/task/20254/stat : 20254 (pwbo1.1) R 20251 20253 19040 0 -1 4202560 33144 0 0 0 10101 128 0 0 25 0 3 0 911166540 212606976 36220 33554432000 4194304 5714118 140733530352592 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=20253/tid=20255] ppid=20251 vsize=207624 CPUtime=102.29 cores=0,2,4,6
/proc/20253/task/20255/stat : 20255 (pwbo1.1) R 20251 20253 19040 0 -1 4202560 2872 0 0 0 10069 160 0 0 25 0 3 0 911166540 212606976 36220 33554432000 4194304 5714118 140733530352592 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.6
Current children cumulated vsize (KiB) 207624

[startup+162.301 s]
/proc/loadavg: 3.95 3.87 3.87 5/182 20260
/proc/meminfo: memFree=10595672/32950928 swapFree=67055156/67111528
[pid=20253] ppid=20251 vsize=275860 CPUtime=324.59 cores=0,2,4,6
/proc/20253/stat : 20253 (pwbo1.1) S 20251 20253 19040 0 -1 4202496 52354 0 0 0 32049 410 0 0 23 0 3 0 911166539 282480640 52183 33554432000 4194304 5714118 140733530352592 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20253/statm: 68965 52183 182 372 0 68590 0
[pid=20253/tid=20254] ppid=20251 vsize=275860 CPUtime=162.28 cores=0,2,4,6
/proc/20253/task/20254/stat : 20254 (pwbo1.1) R 20251 20253 19040 0 -1 4202560 48686 0 0 0 16049 179 0 0 25 0 3 0 911166540 282480640 52183 33554432000 4194304 5714118 140733530352592 18446744073709551615 4300160 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=20253/tid=20255] ppid=20251 vsize=275860 CPUtime=162.29 cores=0,2,4,6
/proc/20253/task/20255/stat : 20255 (pwbo1.1) R 20251 20253 19040 0 -1 4202560 3326 0 0 0 15999 230 0 0 25 0 3 0 911166540 282480640 52183 33554432000 4194304 5714118 140733530352592 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 324.59
Current children cumulated vsize (KiB) 275860

[startup+222.301 s]
/proc/loadavg: 3.98 3.89 3.87 5/182 20262
/proc/meminfo: memFree=10485124/32950928 swapFree=67055156/67111528
[pid=20253] ppid=20251 vsize=342868 CPUtime=444.59 cores=0,2,4,6
/proc/20253/stat : 20253 (pwbo1.1) S 20251 20253 19040 0 -1 4202496 66580 0 0 0 43931 528 0 0 23 0 3 0 911166539 351096832 66270 33554432000 4194304 5714118 140733530352592 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20253/statm: 85717 66270 182 372 0 85342 0
[pid=20253/tid=20254] ppid=20251 vsize=342868 CPUtime=222.29 cores=0,2,4,6
/proc/20253/task/20254/stat : 20254 (pwbo1.1) R 20251 20253 19040 0 -1 4202560 62405 0 0 0 22003 226 0 0 25 0 3 0 911166540 351096832 66270 33554432000 4194304 5714118 140733530352592 18446744073709551615 4299720 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=20253/tid=20255] ppid=20251 vsize=342868 CPUtime=222.29 cores=0,2,4,6
/proc/20253/task/20255/stat : 20255 (pwbo1.1) R 20251 20253 19040 0 -1 4202560 3833 0 0 0 21927 302 0 0 25 0 3 0 911166540 351096832 66270 33554432000 4194304 5714118 140733530352592 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 444.59
Current children cumulated vsize (KiB) 342868

[startup+282.301 s]
/proc/loadavg: 3.99 3.91 3.88 5/182 20264
/proc/meminfo: memFree=10379660/32950928 swapFree=67055156/67111528
[pid=20253] ppid=20251 vsize=409340 CPUtime=564.6 cores=0,2,4,6
/proc/20253/stat : 20253 (pwbo1.1) S 20251 20253 19040 0 -1 4202496 79843 0 0 0 55814 646 0 0 23 0 3 0 911166539 419164160 79471 33554432000 4194304 5714118 140733530352592 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20253/statm: 102335 79471 182 372 0 101960 0
[pid=20253/tid=20254] ppid=20251 vsize=409340 CPUtime=282.29 cores=0,2,4,6
/proc/20253/task/20254/stat : 20254 (pwbo1.1) R 20251 20253 19040 0 -1 4202560 75535 0 0 0 27955 274 0 0 25 0 3 0 911166540 419164160 79471 33554432000 4194304 5714118 140733530352592 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=20253/tid=20255] ppid=20251 vsize=409340 CPUtime=282.29 cores=0,2,4,6
/proc/20253/task/20255/stat : 20255 (pwbo1.1) R 20251 20253 19040 0 -1 4202560 3966 0 0 0 27858 371 0 0 25 0 3 0 911166540 419164160 79471 33554432000 4194304 5714118 140733530352592 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 564.6
Current children cumulated vsize (KiB) 409340

[startup+342.3 s]
/proc/loadavg: 3.99 3.92 3.88 5/182 20265
/proc/meminfo: memFree=10274940/32950928 swapFree=67055156/67111528
[pid=20253] ppid=20251 vsize=476280 CPUtime=684.59 cores=0,2,4,6
/proc/20253/stat : 20253 (pwbo1.1) S 20251 20253 19040 0 -1 4202496 93213 0 0 0 67713 746 0 0 23 0 3 0 911166539 487710720 92760 33554432000 4194304 5714118 140733530352592 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20253/statm: 119070 92760 182 372 0 118695 0
[pid=20253/tid=20254] ppid=20251 vsize=476280 CPUtime=342.29 cores=0,2,4,6
/proc/20253/task/20254/stat : 20254 (pwbo1.1) R 20251 20253 19040 0 -1 4202560 88415 0 0 0 33911 318 0 0 25 0 3 0 911166540 487710720 92760 33554432000 4194304 5714118 140733530352592 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=20253/tid=20255] ppid=20251 vsize=476280 CPUtime=342.3 cores=0,2,4,6
/proc/20253/task/20255/stat : 20255 (pwbo1.1) R 20251 20253 19040 0 -1 4202560 4456 0 0 0 33802 428 0 0 25 0 3 0 911166540 487710720 92760 33554432000 4194304 5714118 140733530352592 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 684.59
Current children cumulated vsize (KiB) 476280

[startup+402.301 s]
/proc/loadavg: 3.99 3.93 3.89 5/182 20267
/proc/meminfo: memFree=10177528/32950928 swapFree=67055156/67111528
[pid=20253] ppid=20251 vsize=543472 CPUtime=804.6 cores=0,2,4,6
/proc/20253/stat : 20253 (pwbo1.1) S 20251 20253 19040 0 -1 4202496 105803 0 0 0 79599 861 0 0 23 0 3 0 911166539 556515328 105344 33554432000 4194304 5714118 140733530352592 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20253/statm: 135868 105344 182 372 0 135493 0
[pid=20253/tid=20254] ppid=20251 vsize=543472 CPUtime=402.3 cores=0,2,4,6
/proc/20253/task/20254/stat : 20254 (pwbo1.1) R 20251 20253 19040 0 -1 4202560 100847 0 0 0 39867 363 0 0 25 0 3 0 911166540 556515328 105344 33554432000 4194304 5714118 140733530352592 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=20253/tid=20255] ppid=20251 vsize=543472 CPUtime=402.3 cores=0,2,4,6
/proc/20253/task/20255/stat : 20255 (pwbo1.1) R 20251 20253 19040 0 -1 4202560 4614 0 0 0 39732 498 0 0 25 0 3 0 911166540 556515328 105344 33554432000 4194304 5714118 140733530352592 18446744073709551615 4299735 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 804.6
Current children cumulated vsize (KiB) 543472

[startup+462.301 s]
/proc/loadavg: 3.99 3.94 3.89 5/182 20268
/proc/meminfo: memFree=10077268/32950928 swapFree=67055156/67111528
[pid=20253] ppid=20251 vsize=544228 CPUtime=924.6 cores=0,2,4,6
/proc/20253/stat : 20253 (pwbo1.1) S 20251 20253 19040 0 -1 4202496 118881 0 0 0 91486 974 0 0 23 0 3 0 911166539 557289472 118235 33554432000 4194304 5714118 140733530352592 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20253/statm: 136057 118235 182 372 0 135682 0
[pid=20253/tid=20254] ppid=20251 vsize=544228 CPUtime=462.3 cores=0,2,4,6
/proc/20253/task/20254/stat : 20254 (pwbo1.1) R 20251 20253 19040 0 -1 4202560 113483 0 0 0 45820 410 0 0 25 0 3 0 911166540 557289472 118235 33554432000 4194304 5714118 140733530352592 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=20253/tid=20255] ppid=20251 vsize=544228 CPUtime=462.3 cores=0,2,4,6
/proc/20253/task/20255/stat : 20255 (pwbo1.1) R 20251 20253 19040 0 -1 4202560 5056 0 0 0 45666 564 0 0 20 0 3 0 911166540 557289472 118235 33554432000 4194304 5714118 140733530352592 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 924.6
Current children cumulated vsize (KiB) 544228

[startup+522.301 s]
/proc/loadavg: 3.99 3.95 3.90 5/182 20270
/proc/meminfo: memFree=9981720/32950928 swapFree=67055156/67111528
[pid=20253] ppid=20251 vsize=610412 CPUtime=1044.61 cores=0,2,4,6
/proc/20253/stat : 20253 (pwbo1.1) S 20251 20253 19040 0 -1 4202496 131028 0 0 0 103376 1085 0 0 23 0 3 0 911166539 625061888 130382 33554432000 4194304 5714118 140733530352592 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20253/statm: 152603 130382 182 372 0 152228 0
[pid=20253/tid=20254] ppid=20251 vsize=610412 CPUtime=522.29 cores=0,2,4,6
/proc/20253/task/20254/stat : 20254 (pwbo1.1) R 20251 20253 19040 0 -1 4202560 125496 0 0 0 51775 454 0 0 25 0 3 0 911166540 625061888 130382 33554432000 4194304 5714118 140733530352592 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=20253/tid=20255] ppid=20251 vsize=610412 CPUtime=522.3 cores=0,2,4,6
/proc/20253/task/20255/stat : 20255 (pwbo1.1) R 20251 20253 19040 0 -1 4202560 5190 0 0 0 51600 630 0 0 25 0 3 0 911166540 625061888 130382 33554432000 4194304 5714118 140733530352592 18446744073709551615 4299920 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1044.61
Current children cumulated vsize (KiB) 610412

[startup+582.301 s]
/proc/loadavg: 3.99 3.95 3.91 5/182 20272
/proc/meminfo: memFree=9885808/32950928 swapFree=67055156/67111528
[pid=20253] ppid=20251 vsize=677028 CPUtime=1164.62 cores=0,2,4,6
/proc/20253/stat : 20253 (pwbo1.1) S 20251 20253 19040 0 -1 4202496 143162 0 0 0 115272 1190 0 0 23 0 3 0 911166539 693276672 142509 33554432000 4194304 5714118 140733530352592 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20253/statm: 169257 142509 182 372 0 168882 0
[pid=20253/tid=20254] ppid=20251 vsize=677028 CPUtime=582.3 cores=0,2,4,6
/proc/20253/task/20254/stat : 20254 (pwbo1.1) R 20251 20253 19040 0 -1 4202560 137509 0 0 0 57732 498 0 0 25 0 3 0 911166540 693276672 142509 33554432000 4194304 5714118 140733530352592 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=20253/tid=20255] ppid=20251 vsize=677028 CPUtime=582.3 cores=0,2,4,6
/proc/20253/task/20255/stat : 20255 (pwbo1.1) R 20251 20253 19040 0 -1 4202560 5311 0 0 0 57539 691 0 0 25 0 3 0 911166540 693276672 142509 33554432000 4194304 5714118 140733530352592 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1164.62
Current children cumulated vsize (KiB) 677028

[startup+642.3 s]
/proc/loadavg: 3.99 3.96 3.91 5/182 20273
/proc/meminfo: memFree=9789148/32950928 swapFree=67055156/67111528
[pid=20253] ppid=20251 vsize=678216 CPUtime=1284.62 cores=0,2,4,6
/proc/20253/stat : 20253 (pwbo1.1) S 20251 20253 19040 0 -1 4202496 154674 0 0 0 127169 1293 0 0 23 0 3 0 911166539 694493184 154021 33554432000 4194304 5714118 140733530352592 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20253/statm: 169554 154021 182 372 0 169179 0
[pid=20253/tid=20254] ppid=20251 vsize=678216 CPUtime=642.31 cores=0,2,4,6
/proc/20253/task/20254/stat : 20254 (pwbo1.1) R 20251 20253 19040 0 -1 4202560 148937 0 0 0 63688 543 0 0 25 0 3 0 911166540 694493184 154021 33554432000 4194304 5714118 140733530352592 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=20253/tid=20255] ppid=20251 vsize=678216 CPUtime=642.31 cores=0,2,4,6
/proc/20253/task/20255/stat : 20255 (pwbo1.1) R 20251 20253 19040 0 -1 4202560 5395 0 0 0 63481 750 0 0 25 0 3 0 911166540 694493184 154021 33554432000 4194304 5714118 140733530352592 18446744073709551615 4300032 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1284.62
Current children cumulated vsize (KiB) 678216

[startup+702.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 20275
/proc/meminfo: memFree=9699948/32950928 swapFree=67055156/67111528
[pid=20253] ppid=20251 vsize=744436 CPUtime=1404.61 cores=0,2,4,6
/proc/20253/stat : 20253 (pwbo1.1) S 20251 20253 19040 0 -1 4202496 166132 0 0 0 139058 1403 0 0 23 0 3 0 911166539 762302464 165479 33554432000 4194304 5714118 140733530352592 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20253/statm: 186109 165479 182 372 0 185734 0
[pid=20253/tid=20254] ppid=20251 vsize=744436 CPUtime=702.3 cores=0,2,4,6
/proc/20253/task/20254/stat : 20254 (pwbo1.1) R 20251 20253 19040 0 -1 4202560 160309 0 0 0 69646 584 0 0 25 0 3 0 911166540 762302464 165479 33554432000 4194304 5714118 140733530352592 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=20253/tid=20255] ppid=20251 vsize=744436 CPUtime=702.31 cores=0,2,4,6
/proc/20253/task/20255/stat : 20255 (pwbo1.1) R 20251 20253 19040 0 -1 4202560 5481 0 0 0 69412 819 0 0 25 0 3 0 911166540 762302464 165479 33554432000 4194304 5714118 140733530352592 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1404.61
Current children cumulated vsize (KiB) 744436

[startup+762.306 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 20276
/proc/meminfo: memFree=9606384/32950928 swapFree=67055156/67111528
[pid=20253] ppid=20251 vsize=810620 CPUtime=1524.63 cores=0,2,4,6
/proc/20253/stat : 20253 (pwbo1.1) S 20251 20253 19040 0 -1 4202496 177854 0 0 0 150955 1508 0 0 23 0 3 0 911166539 830074880 177201 33554432000 4194304 5714118 140733530352592 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20253/statm: 202655 177201 182 372 0 202280 0
[pid=20253/tid=20254] ppid=20251 vsize=810620 CPUtime=762.31 cores=0,2,4,6
/proc/20253/task/20254/stat : 20254 (pwbo1.1) R 20251 20253 19040 0 -1 4202560 171722 0 0 0 75606 625 0 0 25 0 3 0 911166540 830074880 177201 33554432000 4194304 5714118 140733530352592 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=20253/tid=20255] ppid=20251 vsize=810620 CPUtime=762.32 cores=0,2,4,6
/proc/20253/task/20255/stat : 20255 (pwbo1.1) R 20251 20253 19040 0 -1 4202560 5790 0 0 0 75349 883 0 0 25 0 3 0 911166540 830074880 177201 33554432000 4194304 5714118 140733530352592 18446744073709551615 4300224 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1524.63
Current children cumulated vsize (KiB) 810620

[startup+822.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 20278
/proc/meminfo: memFree=9508864/32950928 swapFree=67055156/67111528
[pid=20253] ppid=20251 vsize=876660 CPUtime=1644.62 cores=0,2,4,6
/proc/20253/stat : 20253 (pwbo1.1) S 20251 20253 19040 0 -1 4202496 190305 0 0 0 162850 1612 0 0 23 0 3 0 911166539 897699840 189540 33554432000 4194304 5714118 140733530352592 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20253/statm: 219165 189540 182 372 0 218790 0
[pid=20253/tid=20254] ppid=20251 vsize=876660 CPUtime=822.3 cores=0,2,4,6
/proc/20253/task/20254/stat : 20254 (pwbo1.1) R 20251 20253 19040 0 -1 4202560 184110 0 0 0 81559 671 0 0 25 0 3 0 911166540 897699840 189540 33554432000 4194304 5714118 140733530352592 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=20253/tid=20255] ppid=20251 vsize=876660 CPUtime=822.31 cores=0,2,4,6
/proc/20253/task/20255/stat : 20255 (pwbo1.1) R 20251 20253 19040 0 -1 4202560 5853 0 0 0 81291 940 0 0 25 0 3 0 911166540 897699840 189540 33554432000 4194304 5714118 140733530352592 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1644.62
Current children cumulated vsize (KiB) 876660

[startup+882.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 20321
/proc/meminfo: memFree=9912676/32950928 swapFree=67055156/67111528
[pid=20253] ppid=20251 vsize=877092 CPUtime=1764.63 cores=0,2,4,6
/proc/20253/stat : 20253 (pwbo1.1) S 20251 20253 19040 0 -1 4202496 201739 0 0 0 174755 1708 0 0 23 0 3 0 911166539 898142208 200851 33554432000 4194304 5714118 140733530352592 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20253/statm: 219273 200851 182 372 0 218898 0
[pid=20253/tid=20254] ppid=20251 vsize=877092 CPUtime=882.3 cores=0,2,4,6
/proc/20253/task/20254/stat : 20254 (pwbo1.1) R 20251 20253 19040 0 -1 4202560 195355 0 0 0 87521 709 0 0 25 0 3 0 911166540 898142208 200851 33554432000 4194304 5714118 140733530352592 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=20253/tid=20255] ppid=20251 vsize=877092 CPUtime=882.31 cores=0,2,4,6
/proc/20253/task/20255/stat : 20255 (pwbo1.1) R 20251 20253 19040 0 -1 4202560 6042 0 0 0 87233 998 0 0 25 0 3 0 911166540 898142208 200851 33554432000 4194304 5714118 140733530352592 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1764.63
Current children cumulated vsize (KiB) 877092



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.001 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 20321
/proc/meminfo: memFree=9781660/32950928 swapFree=67055156/67111528
[pid=20253] ppid=20251 vsize=877416 CPUtime=1800.04 cores=0,2,4,6
/proc/20253/stat : 20253 (pwbo1.1) S 20251 20253 19040 0 -1 4202496 204761 0 0 0 178253 1751 0 0 23 0 3 0 911166539 898473984 203873 33554432000 4194304 5714118 140733530352592 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20253/statm: 219354 203873 182 372 0 218979 0
[pid=20253/tid=20254] ppid=20251 vsize=877416 CPUtime=900.01 cores=0,2,4,6
/proc/20253/task/20254/stat : 20254 (pwbo1.1) R 20251 20253 19040 0 -1 4202560 198319 0 0 0 89268 733 0 0 25 0 3 0 911166540 898473984 203873 33554432000 4194304 5714118 140733530352592 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=20253/tid=20255] ppid=20251 vsize=877416 CPUtime=900.01 cores=0,2,4,6
/proc/20253/task/20255/stat : 20255 (pwbo1.1) R 20251 20253 19040 0 -1 4202560 6100 0 0 0 88984 1017 0 0 25 0 3 0 911166540 898473984 203873 33554432000 4194304 5714118 140733530352592 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 877416

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

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

Child status: 0
Real time (s): 900.044
CPU time (s): 1800.09
CPU user time (s): 1782.54
CPU system time (s): 17.5463
CPU usage (%): 200
Max. virtual memory (cumulated for all children) (KiB): 877416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.54
system time used= 17.5463
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 204766
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= 26
involuntary context switches= 12824

runsolver used 1.41578 second user time and 3.13652 second system time

The end

Launcher Data 

Begin job on node123 at 2011-06-13 22:07:47
IDJOB=3500452
IDBENCH=2917
IDSOLVER=1954
FILE ID=node123/3500452-1307995667
RUNJOBID= node123-1307990189-19321
PBS_JOBID= 13559734
Free space on /var/tmp= 2892 MiB

SOLVER NAME= pwbo 1.1
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_7_60_4.opb
COMMAND LINE= pwbo1.1 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3500452-1307995667/watcher-3500452-1307995667 -o /var/tmp/evaluation-result-3500452-1307995667/solver-3500452-1307995667 -C 1800 -W 1900 -M 15500  pwbo1.1 -file-format=opb HOME/instance-3500452-1307995667.opb

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

MD5SUM BENCH= dc0116cc9dd2d87e5a6934d46be3ef43
RANDOM SEED=1243888372

node123.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.838
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.838
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	: 5226.15
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.838
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.75
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.838
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.82
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.838
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.74
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.838
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.80
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.838
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.838
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:     32950928 kB
MemFree:      10976804 kB
Buffers:        125548 kB
Cached:       21008136 kB
SwapCached:      10120 kB
Active:        5584728 kB
Inactive:     15653416 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      10976804 kB
SwapTotal:    67111528 kB
SwapFree:     67055156 kB
Dirty:            4272 kB
Writeback:           0 kB
AnonPages:      101724 kB
Mapped:          13628 kB
Slab:           672292 kB
PageTables:       4748 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   294180 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 /var/tmp at the end= 2884 MiB
End job on node123 at 2011-06-13 22:22:49