Trace number 3703758

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 2.0SAT (TO)17 1800.15 900.322

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_2.opb
MD5SUMb690996610ff381ef60353517fe5a0e9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark1797.53
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 6
Optimality of the best value was proved NO
Number of variables146
Total number of constraints12
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints12
Minimum length of a constraint64
Maximum length of a constraint66
Number of terms in the objective function 96
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 3060
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1293
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4389
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

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c ==============================[ Solver Version ]===============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  pwbo:                    2.0 beta - March, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3703758-1338094142.opb.
0.00/0.00	c Instance file HOME/instance-3703758-1338094142.opb
0.00/0.00	c File size is 7732 bytes.
0.00/0.00	c Cost Offset: 0
0.00/0.00	c Highest Coefficient sum: 4389
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:      146                                                 |
0.00/0.00	c |  Number Clauses:        0                                                   |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 12                                                  |
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Problem Type:          Optimization                                        |
0.00/0.00	c |  Objective Function:    Cardinality Constraint                              |
0.00/0.00	c |                                                                             |
0.00/0.00	c ===============================================================================
1800.15/900.31	o 832
1800.15/900.31	o 783
1800.15/900.31	o 779
1800.15/900.31	o 767
1800.15/900.31	o 743
1800.15/900.31	o 741
1800.15/900.31	o 737
1800.15/900.31	o 721
1800.15/900.31	o 595
1800.15/900.31	o 500
1800.15/900.31	o 436
1800.15/900.31	o 371
1800.15/900.31	o 319
1800.15/900.31	o 217
1800.15/900.31	o 195
1800.15/900.31	o 146
1800.15/900.31	o 140
1800.15/900.31	o 134
1800.15/900.31	o 131
1800.15/900.31	o 122
1800.15/900.31	o 67
1800.15/900.31	o 66
1800.15/900.31	o 51
1800.15/900.31	o 37
1800.15/900.31	o 29
1800.15/900.31	o 23
1800.15/900.31	o 21
1800.15/900.31	o 20
1800.15/900.31	o 18
1800.15/900.31	o 17
1800.15/900.31	c ===============================================================================
1800.15/900.31	c Wall Clock Time: 900.31 s
1800.15/900.31	c Best Solution: 17
1800.15/900.31	s SATISFIABLE
1800.15/900.31	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 x97 x98 -x99 x100 x101 x102 x103 -x104 -x105 -x106 x107 x108 x109 x110 -x111 x112 -x113 x114 x115 -x116 -x118 x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 -x130 x131 -x132 -x133 x134 -x135 x136 -x137 x138 -x139 -x140 x141 x142 x143 -x144 x145 -x146 x117

Verifier Data 

OK	17

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3703758-1338094142/watcher-3703758-1338094142 -o /tmp/evaluation-result-3703758-1338094142/solver-3703758-1338094142 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703758-1338094142.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: 4.00 4.00 4.00 3/177 32374
/proc/meminfo: memFree=30919468/32873844 swapFree=7112/7112
[pid=32374] ppid=32372 vsize=162984 CPUtime=0 cores=0,2,4,6
/proc/32374/stat : 32374 (pwbo2.0) S 32372 32374 31075 0 -1 4202496 1144 0 0 0 0 0 0 0 20 0 3 0 275539062 166895616 1095 33554432000 4194304 5965102 140736678720656 140736678720176 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32374/statm: 40746 1095 205 433 0 40310 0
[pid=32374/tid=32375] ppid=32372 vsize=162984 CPUtime=0 cores=0,2,4,6
/proc/32374/task/32375/stat : 32375 (pwbo2.0) R 32372 32374 31075 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 3 0 275539062 166895616 1100 33554432000 4194304 5965102 140736678720656 139907256588216 4404621 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32374/tid=32376] ppid=32372 vsize=162984 CPUtime=0 cores=0,2,4,6
/proc/32374/task/32376/stat : 32376 (pwbo2.0) R 32372 32374 31075 0 -1 4202560 343 0 0 0 0 0 0 0 20 0 3 0 275539062 166895616 1100 33554432000 4194304 5965102 140736678720656 139907246098504 5135593 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0

[startup+0.05112 s]
/proc/loadavg: 4.00 4.00 4.00 3/177 32374
/proc/meminfo: memFree=30919468/32873844 swapFree=7112/7112
[pid=32374] ppid=32372 vsize=174784 CPUtime=0.09 cores=0,2,4,6
/proc/32374/stat : 32374 (pwbo2.0) S 32372 32374 31075 0 -1 4202496 5820 0 0 0 8 1 0 0 20 0 3 0 275539062 178978816 5739 33554432000 4194304 5965102 140736678720656 140736678720176 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32374/statm: 43696 5744 207 433 0 43260 0
[pid=32374/tid=32375] ppid=32372 vsize=174784 CPUtime=0.03 cores=0,2,4,6
/proc/32374/task/32375/stat : 32375 (pwbo2.0) R 32372 32374 31075 0 -1 4202560 165 0 0 0 3 0 0 0 20 0 3 0 275539062 178978816 5745 33554432000 4194304 5965102 140736678720656 139907256588280 4222304 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32374/tid=32376] ppid=32372 vsize=174784 CPUtime=0.03 cores=0,2,4,6
/proc/32374/task/32376/stat : 32376 (pwbo2.0) R 32372 32374 31075 0 -1 4202560 4899 0 0 0 2 1 0 0 20 0 3 0 275539062 178978816 5747 33554432000 4194304 5965102 140736678720656 139907246097992 5137076 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 174784

[startup+0.100356 s]
/proc/loadavg: 4.00 4.00 4.00 3/177 32374
/proc/meminfo: memFree=30919468/32873844 swapFree=7112/7112
[pid=32374] ppid=32372 vsize=189692 CPUtime=0.19 cores=0,2,4,6
/proc/32374/stat : 32374 (pwbo2.0) S 32372 32374 31075 0 -1 4202496 10952 0 0 0 16 3 0 0 20 0 3 0 275539062 194244608 10821 33554432000 4194304 5965102 140736678720656 140736678720176 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32374/statm: 47423 10827 207 433 0 46987 0
[pid=32374/tid=32375] ppid=32372 vsize=189692 CPUtime=0.08 cores=0,2,4,6
/proc/32374/task/32375/stat : 32375 (pwbo2.0) R 32372 32374 31075 0 -1 4202560 284 0 0 0 8 0 0 0 20 0 3 0 275539062 194244608 10829 33554432000 4194304 5965102 140736678720656 139907256588280 4401058 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32374/tid=32376] ppid=32372 vsize=189692 CPUtime=0.08 cores=0,2,4,6
/proc/32374/task/32376/stat : 32376 (pwbo2.0) R 32372 32374 31075 0 -1 4202560 9917 0 0 0 5 3 0 0 20 0 3 0 275539062 194244608 10834 33554432000 4194304 5965102 140736678720656 139907246097736 4397113 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 189692

[startup+0.300291 s]
/proc/loadavg: 4.00 4.00 4.00 3/177 32374
/proc/meminfo: memFree=30919468/32873844 swapFree=7112/7112
[pid=32374] ppid=32372 vsize=195900 CPUtime=0.58 cores=0,2,4,6
/proc/32374/stat : 32374 (pwbo2.0) S 32372 32374 31075 0 -1 4202496 14796 0 0 0 53 5 0 0 20 0 3 0 275539062 200601600 14625 33554432000 4194304 5965102 140736678720656 140736678720176 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32374/statm: 48975 14625 207 433 0 48539 0
[pid=32374/tid=32375] ppid=32372 vsize=195900 CPUtime=0.28 cores=0,2,4,6
/proc/32374/task/32375/stat : 32375 (pwbo2.0) R 32372 32374 31075 0 -1 4202560 716 0 0 0 26 2 0 0 20 0 3 0 275539062 200601600 14625 33554432000 4194304 5965102 140736678720656 139907256588280 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32374/tid=32376] ppid=32372 vsize=195900 CPUtime=0.28 cores=0,2,4,6
/proc/32374/task/32376/stat : 32376 (pwbo2.0) R 32372 32374 31075 0 -1 4202560 13316 0 0 0 25 3 0 0 20 0 3 0 275539062 200601600 14626 33554432000 4194304 5965102 140736678720656 139907246098792 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 195900

[startup+0.700281 s]
/proc/loadavg: 4.00 4.00 4.00 3/177 32374
/proc/meminfo: memFree=30919468/32873844 swapFree=7112/7112
[pid=32374] ppid=32372 vsize=196112 CPUtime=1.38 cores=0,2,4,6
/proc/32374/stat : 32374 (pwbo2.0) S 32372 32374 31075 0 -1 4202496 15601 0 0 0 131 7 0 0 20 0 3 0 275539062 200818688 15430 33554432000 4194304 5965102 140736678720656 140736678720176 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32374/statm: 49028 15430 208 433 0 48592 0
[pid=32374/tid=32375] ppid=32372 vsize=196112 CPUtime=0.68 cores=0,2,4,6
/proc/32374/task/32375/stat : 32375 (pwbo2.0) R 32372 32374 31075 0 -1 4202560 1375 0 0 0 64 4 0 0 20 0 3 0 275539062 200818688 15430 33554432000 4194304 5965102 140736678720656 139907256588280 18446744073699066235 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32374/tid=32376] ppid=32372 vsize=196112 CPUtime=0.68 cores=0,2,4,6
/proc/32374/task/32376/stat : 32376 (pwbo2.0) R 32372 32374 31075 0 -1 4202560 13466 0 0 0 64 4 0 0 20 0 3 0 275539062 200818688 15434 33554432000 4194304 5965102 140736678720656 139907246098744 4326914 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 196112

[startup+1.5003 s]
/proc/loadavg: 4.00 4.00 4.00 5/180 32377
/proc/meminfo: memFree=30857600/32873844 swapFree=7112/7112
[pid=32374] ppid=32372 vsize=196256 CPUtime=2.98 cores=0,2,4,6
/proc/32374/stat : 32374 (pwbo2.0) S 32372 32374 31075 0 -1 4202496 16138 0 0 0 290 8 0 0 20 0 3 0 275539062 200966144 15967 33554432000 4194304 5965102 140736678720656 140736678720176 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32374/statm: 49064 15967 208 433 0 48628 0
[pid=32374/tid=32375] ppid=32372 vsize=196256 CPUtime=1.48 cores=0,2,4,6
/proc/32374/task/32375/stat : 32375 (pwbo2.0) R 32372 32374 31075 0 -1 4202560 1864 0 0 0 143 5 0 0 20 0 3 0 275539062 200966144 15967 33554432000 4194304 5965102 140736678720656 139907256588088 4222474 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32374/tid=32376] ppid=32372 vsize=196256 CPUtime=1.48 cores=0,2,4,6
/proc/32374/task/32376/stat : 32376 (pwbo2.0) R 32372 32374 31075 0 -1 4202560 13510 0 0 0 144 4 0 0 20 0 3 0 275539062 200966144 15967 33554432000 4194304 5965102 140736678720656 139907246098744 4370832 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 196256

[startup+3.10023 s]
/proc/loadavg: 4.00 4.00 4.00 5/180 32377
/proc/meminfo: memFree=30854120/32873844 swapFree=7112/7112
[pid=32374] ppid=32372 vsize=196328 CPUtime=6.17 cores=0,2,4,6
/proc/32374/stat : 32374 (pwbo2.0) S 32372 32374 31075 0 -1 4202496 16934 0 0 0 607 10 0 0 20 0 3 0 275539062 201039872 16763 33554432000 4194304 5965102 140736678720656 140736678720176 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32374/statm: 49082 16763 208 433 0 48646 0
[pid=32374/tid=32375] ppid=32372 vsize=196328 CPUtime=3.07 cores=0,2,4,6
/proc/32374/task/32375/stat : 32375 (pwbo2.0) R 32372 32374 31075 0 -1 4202560 2551 0 0 0 301 6 0 0 20 0 3 0 275539062 201039872 16763 33554432000 4194304 5965102 140736678720656 139907256588280 18446744073699066235 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32374/tid=32376] ppid=32372 vsize=196328 CPUtime=3.07 cores=0,2,4,6
/proc/32374/task/32376/stat : 32376 (pwbo2.0) R 32372 32374 31075 0 -1 4202560 13619 0 0 0 303 4 0 0 20 0 3 0 275539062 201039872 16763 33554432000 4194304 5965102 140736678720656 139907246098744 4400955 0 0 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 196328

[startup+6.3003 s]
/proc/loadavg: 4.00 4.00 4.00 5/180 32377
/proc/meminfo: memFree=30844200/32873844 swapFree=7112/7112
[pid=32374] ppid=32372 vsize=196436 CPUtime=12.57 cores=0,2,4,6
/proc/32374/stat : 32374 (pwbo2.0) S 32372 32374 31075 0 -1 4202496 18932 0 0 0 1243 14 0 0 20 0 3 0 275539062 201150464 18761 33554432000 4194304 5965102 140736678720656 140736678720176 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32374/statm: 49109 18761 208 433 0 48673 0
[pid=32374/tid=32375] ppid=32372 vsize=196436 CPUtime=6.26 cores=0,2,4,6
/proc/32374/task/32375/stat : 32375 (pwbo2.0) R 32372 32374 31075 0 -1 4202560 4416 0 0 0 616 10 0 0 20 0 3 0 275539062 201150464 18761 33554432000 4194304 5965102 140736678720656 139907256588280 4222474 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32374/tid=32376] ppid=32372 vsize=196436 CPUtime=6.26 cores=0,2,4,6
/proc/32374/task/32376/stat : 32376 (pwbo2.0) R 32372 32374 31075 0 -1 4202560 13752 0 0 0 622 4 0 0 20 0 3 0 275539062 201150464 18761 33554432000 4194304 5965102 140736678720656 139907246098744 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 196436

[startup+12.7003 s]
/proc/loadavg: 4.00 4.00 4.00 5/180 32377
/proc/meminfo: memFree=30829696/32873844 swapFree=7112/7112
[pid=32374] ppid=32372 vsize=196596 CPUtime=25.37 cores=0,2,4,6
/proc/32374/stat : 32374 (pwbo2.0) S 32372 32374 31075 0 -1 4202496 21528 0 0 0 2518 19 0 0 20 0 3 0 275539062 201314304 21357 33554432000 4194304 5965102 140736678720656 140736678720176 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32374/statm: 49149 21357 208 433 0 48713 0
[pid=32374/tid=32375] ppid=32372 vsize=196596 CPUtime=12.65 cores=0,2,4,6
/proc/32374/task/32375/stat : 32375 (pwbo2.0) R 32372 32374 31075 0 -1 4202560 6792 0 0 0 1251 14 0 0 20 0 3 0 275539062 201314304 21357 33554432000 4194304 5965102 140736678720656 139907256588280 5180271 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32374/tid=32376] ppid=32372 vsize=196596 CPUtime=12.64 cores=0,2,4,6
/proc/32374/task/32376/stat : 32376 (pwbo2.0) R 32372 32374 31075 0 -1 4202560 13972 0 0 0 1260 4 0 0 20 0 3 0 275539062 201314304 21357 33554432000 4194304 5965102 140736678720656 139907246098616 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 196596

[startup+25.5003 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 32378
/proc/meminfo: memFree=30791852/32873844 swapFree=7112/7112
[pid=32374] ppid=32372 vsize=196740 CPUtime=50.96 cores=0,2,4,6
/proc/32374/stat : 32374 (pwbo2.0) S 32372 32374 31075 0 -1 4202496 24790 0 0 0 5069 27 0 0 20 0 3 0 275539062 201461760 24619 33554432000 4194304 5965102 140736678720656 140736678720176 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32374/statm: 49185 24619 208 433 0 48749 0
[pid=32374/tid=32375] ppid=32372 vsize=196740 CPUtime=25.41 cores=0,2,4,6
/proc/32374/task/32375/stat : 32375 (pwbo2.0) R 32372 32374 31075 0 -1 4202560 9476 0 0 0 2519 22 0 0 20 0 3 0 275539062 201461760 24619 33554432000 4194304 5965102 140736678720656 139907256588280 4383000 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32374/tid=32376] ppid=32372 vsize=196740 CPUtime=25.41 cores=0,2,4,6
/proc/32374/task/32376/stat : 32376 (pwbo2.0) R 32372 32374 31075 0 -1 4202560 14550 0 0 0 2537 4 0 0 20 0 3 0 275539062 201461760 24619 33554432000 4194304 5965102 140736678720656 139907246098744 4401149 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 196740

[startup+51.1003 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 32378
/proc/meminfo: memFree=30701408/32873844 swapFree=7112/7112
[pid=32374] ppid=32372 vsize=198352 CPUtime=102.15 cores=0,2,4,6
/proc/32374/stat : 32374 (pwbo2.0) S 32372 32374 31075 0 -1 4202496 34692 0 0 0 10175 40 0 0 20 0 3 0 275539062 203112448 34521 33554432000 4194304 5965102 140736678720656 140736678720176 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32374/statm: 49588 34521 208 433 0 49152 0
[pid=32374/tid=32375] ppid=32372 vsize=198352 CPUtime=50.95 cores=0,2,4,6
/proc/32374/task/32375/stat : 32375 (pwbo2.0) R 32372 32374 31075 0 -1 4202560 13464 0 0 0 5066 29 0 0 20 0 3 0 275539062 203112448 34521 33554432000 4194304 5965102 140736678720656 139907256588280 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32374/tid=32376] ppid=32372 vsize=198352 CPUtime=50.94 cores=0,2,4,6
/proc/32374/task/32376/stat : 32376 (pwbo2.0) R 32372 32374 31075 0 -1 4202560 20464 0 0 0 5084 10 0 0 20 0 3 0 275539062 203112448 34521 33554432000 4194304 5965102 140736678720656 139907246098744 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 198352

[startup+102.307 s]
/proc/loadavg: 4.00 4.00 4.00 5/182 32381
/proc/meminfo: memFree=30632700/32873844 swapFree=7112/7112
[pid=32374] ppid=32372 vsize=331692 CPUtime=204.55 cores=0,2,4,6
/proc/32374/stat : 32374 (pwbo2.0) S 32372 32374 31075 0 -1 4202496 46124 0 0 0 20397 58 0 0 20 0 3 0 275539062 339652608 45953 33554432000 4194304 5965102 140736678720656 140736678720176 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32374/statm: 82923 45953 208 433 0 82487 0
[pid=32374/tid=32375] ppid=32372 vsize=331692 CPUtime=102.02 cores=0,2,4,6
/proc/32374/task/32375/stat : 32375 (pwbo2.0) R 32372 32374 31075 0 -1 4202560 20317 0 0 0 10158 44 0 0 20 0 3 0 275539062 339652608 45953 33554432000 4194304 5965102 140736678720656 139907256588280 4404757 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32374/tid=32376] ppid=32372 vsize=331692 CPUtime=102 cores=0,2,4,6
/proc/32374/task/32376/stat : 32376 (pwbo2.0) R 32372 32374 31075 0 -1 4202560 25043 0 0 0 10185 15 0 0 20 0 3 0 275539062 339652608 45953 33554432000 4194304 5965102 140736678720656 139907246098744 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 204.55
Current children cumulated vsize (KiB) 331692

[startup+162.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 32381
/proc/meminfo: memFree=30565376/32873844 swapFree=7112/7112
[pid=32374] ppid=32372 vsize=335256 CPUtime=324.51 cores=0,2,4,6
/proc/32374/stat : 32374 (pwbo2.0) S 32372 32374 31075 0 -1 4202496 53986 0 0 0 32375 76 0 0 20 0 3 0 275539062 343302144 53815 33554432000 4194304 5965102 140736678720656 140736678720176 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32374/statm: 83814 53815 208 433 0 83378 0
[pid=32374/tid=32375] ppid=32372 vsize=335256 CPUtime=161.85 cores=0,2,4,6
/proc/32374/task/32375/stat : 32375 (pwbo2.0) R 32372 32374 31075 0 -1 4202560 24868 0 0 0 16124 61 0 0 20 0 3 0 275539062 343302144 53815 33554432000 4194304 5965102 140736678720656 139907256588280 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32374/tid=32376] ppid=32372 vsize=335256 CPUtime=161.84 cores=0,2,4,6
/proc/32374/task/32376/stat : 32376 (pwbo2.0) R 32372 32374 31075 0 -1 4202560 28354 0 0 0 16165 19 0 0 20 0 3 0 275539062 343302144 53815 33554432000 4194304 5965102 140736678720656 139907246098744 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 324.51
Current children cumulated vsize (KiB) 335256

[startup+222.3 s]
/proc/loadavg: 3.87 3.97 3.99 5/181 32423
/proc/meminfo: memFree=31245176/32873844 swapFree=7112/7112
[pid=32374] ppid=32372 vsize=339556 CPUtime=444.47 cores=0,2,4,6
/proc/32374/stat : 32374 (pwbo2.0) S 32372 32374 31075 0 -1 4202496 62899 0 0 0 44348 99 0 0 20 0 3 0 275539062 347705344 62863 33554432000 4194304 5965102 140736678720656 140736678720176 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32374/statm: 84889 62863 208 433 0 84453 0
[pid=32374/tid=32375] ppid=32372 vsize=339556 CPUtime=221.69 cores=0,2,4,6
/proc/32374/task/32375/stat : 32375 (pwbo2.0) R 32372 32374 31075 0 -1 4202560 31090 0 0 0 22088 81 0 0 20 0 3 0 275539062 347705344 62863 33554432000 4194304 5965102 140736678720656 139907256588280 4401441 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32374/tid=32376] ppid=32372 vsize=339556 CPUtime=221.66 cores=0,2,4,6
/proc/32374/task/32376/stat : 32376 (pwbo2.0) R 32372 32374 31075 0 -1 4202560 31045 0 0 0 22143 23 0 0 20 0 3 0 275539062 347705344 62863 33554432000 4194304 5965102 140736678720656 139907246098552 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 444.47
Current children cumulated vsize (KiB) 339556

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

[pid=32374/tid=32376] ppid=32372 vsize=412112 CPUtime=341.33 cores=0,2,4,6
/proc/32374/task/32376/stat : 32376 (pwbo2.0) R 32372 32374 31075 0 -1 4202560 34399 0 0 0 34104 29 0 0 20 0 3 0 275539062 422002688 76834 33554432000 4194304 5965102 140736678720656 139907246098616 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 684.38
Current children cumulated vsize (KiB) 412112

[startup+402.3 s]
/proc/loadavg: 3.99 3.97 3.99 5/181 32423
/proc/meminfo: memFree=31049440/32873844 swapFree=7112/7112
[pid=32374] ppid=32372 vsize=414056 CPUtime=804.36 cores=0,2,4,6
/proc/32374/stat : 32374 (pwbo2.0) S 32372 32374 31075 0 -1 4202496 79587 0 0 0 80294 142 0 0 20 0 3 0 275539062 423993344 81283 33554432000 4194304 5965102 140736678720656 140736678720176 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32374/statm: 103514 81283 208 433 0 103078 0
[pid=32374/tid=32375] ppid=32372 vsize=414056 CPUtime=401.17 cores=0,2,4,6
/proc/32374/task/32375/stat : 32375 (pwbo2.0) R 32372 32374 31075 0 -1 4202560 44352 0 0 0 39995 122 0 0 20 0 3 0 275539062 423993344 81283 33554432000 4194304 5965102 140736678720656 139907256588328 5244967 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32374/tid=32376] ppid=32372 vsize=414056 CPUtime=401.16 cores=0,2,4,6
/proc/32374/task/32376/stat : 32376 (pwbo2.0) R 32372 32374 31075 0 -1 4202560 34471 0 0 0 40086 30 0 0 20 0 3 0 275539062 423993344 81283 33554432000 4194304 5965102 140736678720656 139907246098792 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 804.36
Current children cumulated vsize (KiB) 414056

[startup+462.3 s]
/proc/loadavg: 3.99 3.97 3.99 5/181 32423
/proc/meminfo: memFree=31008240/32873844 swapFree=7112/7112
[pid=32374] ppid=32372 vsize=414936 CPUtime=924.35 cores=0,2,4,6
/proc/32374/stat : 32374 (pwbo2.0) S 32372 32374 31075 0 -1 4202496 82006 0 0 0 92287 148 0 0 20 0 3 0 275539062 424894464 83702 33554432000 4194304 5965102 140736678720656 140736678720176 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32374/statm: 103734 83702 208 433 0 103298 0
[pid=32374/tid=32375] ppid=32372 vsize=414936 CPUtime=461.01 cores=0,2,4,6
/proc/32374/task/32375/stat : 32375 (pwbo2.0) R 32372 32374 31075 0 -1 4202560 46656 0 0 0 45973 128 0 0 20 0 3 0 275539062 424894464 83702 33554432000 4194304 5965102 140736678720656 139907256588280 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32374/tid=32376] ppid=32372 vsize=414936 CPUtime=461 cores=0,2,4,6
/proc/32374/task/32376/stat : 32376 (pwbo2.0) R 32372 32374 31075 0 -1 4202560 34586 0 0 0 46068 32 0 0 20 0 3 0 275539062 424894464 83702 33554432000 4194304 5965102 140736678720656 139907246098792 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 924.35
Current children cumulated vsize (KiB) 414936

[startup+522.3 s]
/proc/loadavg: 3.99 3.97 3.99 5/181 32424
/proc/meminfo: memFree=30971356/32873844 swapFree=7112/7112
[pid=32374] ppid=32372 vsize=415728 CPUtime=1044.3 cores=0,2,4,6
/proc/32374/stat : 32374 (pwbo2.0) S 32372 32374 31075 0 -1 4202496 85100 0 0 0 104272 158 0 0 20 0 3 0 275539062 425705472 86786 33554432000 4194304 5965102 140736678720656 140736678720176 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32374/statm: 103932 86786 208 433 0 103496 0
[pid=32374/tid=32375] ppid=32372 vsize=415728 CPUtime=520.84 cores=0,2,4,6
/proc/32374/task/32375/stat : 32375 (pwbo2.0) R 32372 32374 31075 0 -1 4202560 49712 0 0 0 51944 140 0 0 20 0 3 0 275539062 425705472 86786 33554432000 4194304 5965102 140736678720656 139907256588280 4401078 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32374/tid=32376] ppid=32372 vsize=415728 CPUtime=520.84 cores=0,2,4,6
/proc/32374/task/32376/stat : 32376 (pwbo2.0) R 32372 32374 31075 0 -1 4202560 34624 0 0 0 52052 32 0 0 20 0 3 0 275539062 425705472 86786 33554432000 4194304 5965102 140736678720656 139907246098792 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1044.3
Current children cumulated vsize (KiB) 415728

[startup+582.3 s]
/proc/loadavg: 3.99 3.97 3.99 5/181 32424
/proc/meminfo: memFree=30931328/32873844 swapFree=7112/7112
[pid=32374] ppid=32372 vsize=483656 CPUtime=1164.26 cores=0,2,4,6
/proc/32374/stat : 32374 (pwbo2.0) S 32372 32374 31075 0 -1 4202496 90369 0 0 0 116252 174 0 0 20 0 3 0 275539062 495263744 92038 33554432000 4194304 5965102 140736678720656 140736678720176 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32374/statm: 120914 92038 208 433 0 120478 0
[pid=32374/tid=32375] ppid=32372 vsize=483656 CPUtime=580.67 cores=0,2,4,6
/proc/32374/task/32375/stat : 32375 (pwbo2.0) R 32372 32374 31075 0 -1 4202560 54386 0 0 0 57912 155 0 0 20 0 3 0 275539062 495263744 92038 33554432000 4194304 5965102 140736678720656 139907256588280 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32374/tid=32376] ppid=32372 vsize=483656 CPUtime=580.68 cores=0,2,4,6
/proc/32374/task/32376/stat : 32376 (pwbo2.0) R 32372 32374 31075 0 -1 4202560 35219 0 0 0 58035 33 0 0 20 0 3 0 275539062 495263744 92038 33554432000 4194304 5965102 140736678720656 139907246098552 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1164.26
Current children cumulated vsize (KiB) 483656

[startup+642.3 s]
/proc/loadavg: 3.99 3.97 3.99 5/181 32424
/proc/meminfo: memFree=30881356/32873844 swapFree=7112/7112
[pid=32374] ppid=32372 vsize=486236 CPUtime=1284.25 cores=0,2,4,6
/proc/32374/stat : 32374 (pwbo2.0) S 32372 32374 31075 0 -1 4202496 97467 0 0 0 128237 188 0 0 20 0 3 0 275539062 497905664 99136 33554432000 4194304 5965102 140736678720656 140736678720176 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32374/statm: 121559 99136 208 433 0 121123 0
[pid=32374/tid=32375] ppid=32372 vsize=486236 CPUtime=640.52 cores=0,2,4,6
/proc/32374/task/32375/stat : 32375 (pwbo2.0) R 32372 32374 31075 0 -1 4202560 59565 0 0 0 63883 169 0 0 20 0 3 0 275539062 497905664 99136 33554432000 4194304 5965102 140736678720656 139907256588328 4400952 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32374/tid=32376] ppid=32372 vsize=486236 CPUtime=640.52 cores=0,2,4,6
/proc/32374/task/32376/stat : 32376 (pwbo2.0) R 32372 32374 31075 0 -1 4202560 37138 0 0 0 64016 36 0 0 20 0 3 0 275539062 497905664 99136 33554432000 4194304 5965102 140736678720656 139907246098744 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1284.25
Current children cumulated vsize (KiB) 486236

[startup+702.3 s]
/proc/loadavg: 3.99 3.97 3.99 5/182 32427
/proc/meminfo: memFree=30847488/32873844 swapFree=7112/7112
[pid=32374] ppid=32372 vsize=488052 CPUtime=1404.21 cores=0,2,4,6
/proc/32374/stat : 32374 (pwbo2.0) S 32372 32374 31075 0 -1 4202496 102226 0 0 0 140220 201 0 0 20 0 3 0 275539062 499765248 103895 33554432000 4194304 5965102 140736678720656 140736678720176 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32374/statm: 122013 103895 208 433 0 121577 0
[pid=32374/tid=32375] ppid=32372 vsize=488052 CPUtime=700.35 cores=0,2,4,6
/proc/32374/task/32375/stat : 32375 (pwbo2.0) R 32372 32374 31075 0 -1 4202560 62512 0 0 0 69855 180 0 0 20 0 3 0 275539062 499765248 103895 33554432000 4194304 5965102 140736678720656 139907256588280 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32374/tid=32376] ppid=32372 vsize=488052 CPUtime=700.36 cores=0,2,4,6
/proc/32374/task/32376/stat : 32376 (pwbo2.0) R 32372 32374 31075 0 -1 4202560 38950 0 0 0 69996 40 0 0 20 0 3 0 275539062 499765248 103895 33554432000 4194304 5965102 140736678720656 139907246098744 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1404.21
Current children cumulated vsize (KiB) 488052

[startup+762.307 s]
/proc/loadavg: 3.99 3.97 3.99 5/182 32450
/proc/meminfo: memFree=30801532/32873844 swapFree=7112/7112
[pid=32374] ppid=32372 vsize=489024 CPUtime=1524.2 cores=0,2,4,6
/proc/32374/stat : 32374 (pwbo2.0) S 32372 32374 31075 0 -1 4202496 108041 0 0 0 152199 221 0 0 20 0 3 0 275539062 500760576 109710 33554432000 4194304 5965102 140736678720656 140736678720176 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32374/statm: 122256 109710 208 433 0 121820 0
[pid=32374/tid=32375] ppid=32372 vsize=489024 CPUtime=760.2 cores=0,2,4,6
/proc/32374/task/32375/stat : 32375 (pwbo2.0) R 32372 32374 31075 0 -1 4202560 66694 0 0 0 75824 196 0 0 20 0 3 0 275539062 500760576 109710 33554432000 4194304 5965102 140736678720656 139907256588280 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32374/tid=32376] ppid=32372 vsize=489024 CPUtime=760.21 cores=0,2,4,6
/proc/32374/task/32376/stat : 32376 (pwbo2.0) R 32372 32374 31075 0 -1 4202560 40583 0 0 0 75975 46 0 0 20 0 3 0 275539062 500760576 109710 33554432000 4194304 5965102 140736678720656 139907246098792 4401127 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1524.2
Current children cumulated vsize (KiB) 489024

[startup+822.3 s]
/proc/loadavg: 4.03 3.99 3.99 5/181 32451
/proc/meminfo: memFree=30784768/32873844 swapFree=7112/7112
[pid=32374] ppid=32372 vsize=489852 CPUtime=1644.17 cores=0,2,4,6
/proc/32374/stat : 32374 (pwbo2.0) S 32372 32374 31075 0 -1 4202496 109784 0 0 0 164189 228 0 0 20 0 3 0 275539062 501608448 111453 33554432000 4194304 5965102 140736678720656 140736678720176 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32374/statm: 122463 111453 208 433 0 122027 0
[pid=32374/tid=32375] ppid=32372 vsize=489852 CPUtime=820.04 cores=0,2,4,6
/proc/32374/task/32375/stat : 32375 (pwbo2.0) R 32372 32374 31075 0 -1 4202560 66694 0 0 0 81807 197 0 0 20 0 3 0 275539062 501608448 111453 33554432000 4194304 5965102 140736678720656 139907256588280 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32374/tid=32376] ppid=32372 vsize=489852 CPUtime=820.04 cores=0,2,4,6
/proc/32374/task/32376/stat : 32376 (pwbo2.0) R 32372 32374 31075 0 -1 4202560 42326 0 0 0 81950 54 0 0 20 0 3 0 275539062 501608448 111453 33554432000 4194304 5965102 140736678720656 139907246098744 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1644.17
Current children cumulated vsize (KiB) 489852

[startup+882.3 s]
/proc/loadavg: 4.01 3.99 3.99 5/181 32451
/proc/meminfo: memFree=30755688/32873844 swapFree=7112/7112
[pid=32374] ppid=32372 vsize=622468 CPUtime=1764.15 cores=0,2,4,6
/proc/32374/stat : 32374 (pwbo2.0) S 32372 32374 31075 0 -1 4202496 113202 0 0 0 176174 241 0 0 20 0 3 0 275539062 637407232 114870 33554432000 4194304 5965102 140736678720656 140736678720176 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32374/statm: 155617 114870 208 433 0 155181 0
[pid=32374/tid=32375] ppid=32372 vsize=622468 CPUtime=879.88 cores=0,2,4,6
/proc/32374/task/32375/stat : 32375 (pwbo2.0) R 32372 32374 31075 0 -1 4202560 68484 0 0 0 87783 205 0 0 20 0 3 0 275539062 637407232 114870 33554432000 4194304 5965102 140736678720656 139907256588328 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32374/tid=32376] ppid=32372 vsize=622468 CPUtime=879.89 cores=0,2,4,6
/proc/32374/task/32376/stat : 32376 (pwbo2.0) R 32372 32374 31075 0 -1 4202560 43954 0 0 0 87928 61 0 0 20 0 3 0 275539062 637407232 114870 33554432000 4194304 5965102 140736678720656 139907246098744 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1764.15
Current children cumulated vsize (KiB) 622468



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.3 s]
/proc/loadavg: 4.01 3.99 3.99 5/181 32451
/proc/meminfo: memFree=30747224/32873844 swapFree=7112/7112
[pid=32374] ppid=32372 vsize=623616 CPUtime=1800.15 cores=0,2,4,6
/proc/32374/stat : 32374 (pwbo2.0) S 32372 32374 31075 0 -1 4202496 115060 0 0 0 179769 246 0 0 20 0 3 0 275539062 638582784 116718 33554432000 4194304 5965102 140736678720656 140736678720176 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32374/statm: 155904 116718 208 433 0 155468 0
[pid=32374/tid=32375] ppid=32372 vsize=623616 CPUtime=897.82 cores=0,2,4,6
/proc/32374/task/32375/stat : 32375 (pwbo2.0) R 32372 32374 31075 0 -1 4202560 69872 0 0 0 89573 209 0 0 20 0 3 0 275539062 638582784 116718 33554432000 4194304 5965102 140736678720656 139907256588280 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32374/tid=32376] ppid=32372 vsize=623616 CPUtime=897.85 cores=0,2,4,6
/proc/32374/task/32376/stat : 32376 (pwbo2.0) R 32372 32374 31075 0 -1 4202560 44424 0 0 0 89723 62 0 0 20 0 3 0 275539062 638582784 116718 33554432000 4194304 5965102 140736678720656 139907246098552 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 623616

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

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

[startup+900.3 s]
/proc/loadavg: 4.01 3.99 3.99 5/181 32451
/proc/meminfo: memFree=30747224/32873844 swapFree=7112/7112
[pid=32374] ppid=32372 vsize=623616 CPUtime=1800.15 cores=0,2,4,6
/proc/32374/stat : 32374 (pwbo2.0) S 32372 32374 31075 0 -1 4202496 115060 0 0 0 179769 246 0 0 20 0 3 0 275539062 638582784 116718 33554432000 4194304 5965102 140736678720656 140736678720176 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32374/statm: 155904 116718 208 433 0 155468 0
[pid=32374/tid=32375] ppid=32372 vsize=623616 CPUtime=897.82 cores=0,2,4,6
/proc/32374/task/32375/stat : 32375 (pwbo2.0) R 32372 32374 31075 0 -1 4202560 69872 0 0 0 89573 209 0 0 20 0 3 0 275539062 638582784 116718 33554432000 4194304 5965102 140736678720656 139907256588280 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32374/tid=32376] ppid=32372 vsize=623616 CPUtime=897.85 cores=0,2,4,6
/proc/32374/task/32376/stat : 32376 (pwbo2.0) R 32372 32374 31075 0 -1 4202560 44424 0 0 0 89723 62 0 0 20 0 3 0 275539062 638582784 116718 33554432000 4194304 5965102 140736678720656 139907246098552 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 623616

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 32374 and gives
#  childrusage.ru_utime.tv_sec=1792
#  childrusage.ru_utime.tv_usec=988424
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=741583
# CPU time returned by wait4() is 1795.73
# while last known CPU time is 1800.15
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 900.322
CPU time (s): 1800.15
CPU user time (s): 1797.69
CPU system time (s): 2.46
CPU usage (%): 199.945
Max. virtual memory (cumulated for all children) (KiB): 623616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.99
system time used= 2.74158
maximum resident set size= 466888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 115064
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= 465
involuntary context switches= 2085

runsolver used 1.84072 second user time and 5.07523 second system time

The end

Launcher Data 

Begin job on node142 at 2012-05-27 06:49:02
IDJOB=3703758
IDBENCH=2908
IDSOLVER=2279
FILE ID=node142/3703758-1338094142
RUNJOBID= node142-1338085847-31091
PBS_JOBID= 14624428
Free space on /tmp= 71688 MiB

SOLVER NAME= pwbo 2.0
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_2.opb
COMMAND LINE= pwbo2.0 -file-format=opb -verbosity=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3703758-1338094142/watcher-3703758-1338094142 -o /tmp/evaluation-result-3703758-1338094142/solver-3703758-1338094142 -C 1800 -W 1900 -M 15500  pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703758-1338094142.opb

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

MD5SUM BENCH= b690996610ff381ef60353517fe5a0e9
RANDOM SEED=1341636602

node142.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30920260 kB
Buffers:          261752 kB
Cached:           220952 kB
SwapCached:            0 kB
Active:          1080220 kB
Inactive:          69948 kB
Active(anon):     658172 kB
Inactive(anon):    11212 kB
Active(file):     422048 kB
Inactive(file):    58736 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              5456 kB
Writeback:             0 kB
AnonPages:        673568 kB
Mapped:            12300 kB
Shmem:               200 kB
Slab:             662764 kB
SReclaimable:     105076 kB
SUnreclaim:       557688 kB
KernelStack:        1464 kB
PageTables:         5088 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     182408 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    430080 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71684 MiB
End job on node142 at 2012-05-27 07:04:04