Trace number 3725921

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.02SAT (TO)-33 1800.09 900.421

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-2.opb
MD5SUM907943cf03e4e0f899b19858f5690e6e
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-35
Best CPU time to get the best result obtained on this benchmark45.895
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -35
Optimality of the best value was proved NO
Number of variables595
Total number of constraints27847
Number of constraints which are clauses27847
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 595
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 595
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 595
Number of bits of the biggest sum of numbers10
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.02 beta - May, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3725921-1338655162.opb.
0.00/0.00	c Instance file HOME/instance-3725921-1338655162.opb
0.00/0.00	c File size is 662246 bytes.
0.01/0.05	c Cost Offset: -595
0.01/0.05	c Highest Coefficient sum: 3
0.01/0.05	c ============================[ Problem Statistics ]=============================
0.01/0.05	c |                                                                             |
0.01/0.05	c |  Parsing time:          0.05         s                                      |
0.01/0.05	c |  Number Variables:      595                                                 |
0.01/0.05	c |  Number Clauses:        27847                                               |
0.01/0.05	c |  Number Cardinality:    0                                                   |
0.01/0.05	c |  Number PB Constraints: 0                                                   |
0.01/0.05	c |                                                                             |
0.01/0.06	c |  Problem Type:          Optimization                                        |
0.01/0.06	c |  Objective Function:    Cardinality Constraint                              |
0.01/0.06	c |                                                                             |
0.01/0.06	c ===============================================================================
1800.09/900.41	o -24
1800.09/900.41	o -25
1800.09/900.41	o -26
1800.09/900.41	o -28
1800.09/900.41	o -29
1800.09/900.41	o -30
1800.09/900.41	o -31
1800.09/900.41	o -32
1800.09/900.41	o -33
1800.09/900.41	c ===============================================================================
1800.09/900.41	c Wall Clock Time: 900.41 s
1800.09/900.41	c Best Solution: -33
1800.09/900.41	s SATISFIABLE
1800.09/900.41	v -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 x273 -x272 -x271 x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 x70 -x69 -x68 -x67 -x66 -x65 x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1

Verifier Data

OK	-33

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-3725921-1338655162/watcher-3725921-1338655162 -o /tmp/evaluation-result-3725921-1338655162/solver-3725921-1338655162 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3725921-1338655162.opb 

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

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


[startup+0 s]
/proc/loadavg: 4.00 4.00 3.91 4/176 22065
/proc/meminfo: memFree=27920672/32873852 swapFree=7624/7624
[pid=22065] ppid=22063 vsize=4972 CPUtime=0 cores=1,3,5,7
/proc/22065/stat : 22065 (pwbo2.02) R 22063 22065 19474 0 -1 4202496 405 0 0 0 0 0 0 0 20 0 1 0 331641622 5091328 357 33554432000 4194304 5964478 140733436627456 140733436625832 5139050 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/22065/statm: 1243 357 167 433 0 645 0

[startup+0.0164229 s]
/proc/loadavg: 4.00 4.00 3.91 4/176 22065
/proc/meminfo: memFree=27920672/32873852 swapFree=7624/7624
[pid=22065] ppid=22063 vsize=5796 CPUtime=0.01 cores=1,3,5,7
/proc/22065/stat : 22065 (pwbo2.02) R 22063 22065 19474 0 -1 4202496 668 0 0 0 1 0 0 0 20 0 1 0 331641622 5935104 620 33554432000 4194304 5964478 140733436627456 140733436625832 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/22065/statm: 1482 621 200 433 0 884 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5796

[startup+0.100167 s]
/proc/loadavg: 4.00 4.00 3.91 4/176 22065
/proc/meminfo: memFree=27920672/32873852 swapFree=7624/7624
[pid=22065] ppid=22063 vsize=171304 CPUtime=0.12 cores=1,3,5,7
/proc/22065/stat : 22065 (pwbo2.02) S 22063 22065 19474 0 -1 4202496 6723 0 0 0 11 1 0 0 20 0 3 0 331641622 175415296 6401 33554432000 4194304 5964478 140733436627456 140733436626976 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22065/statm: 42826 6401 201 433 0 42390 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 171304

[startup+0.300218 s]
/proc/loadavg: 4.00 4.00 3.91 4/176 22065
/proc/meminfo: memFree=27920672/32873852 swapFree=7624/7624
[pid=22065] ppid=22063 vsize=171304 CPUtime=0.52 cores=1,3,5,7
/proc/22065/stat : 22065 (pwbo2.02) S 22063 22065 19474 0 -1 4202496 7103 0 0 0 51 1 0 0 20 0 3 0 331641622 175415296 6506 33554432000 4194304 5964478 140733436627456 140733436626976 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22065/statm: 42826 6506 202 433 0 42390 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 171304

[startup+0.700213 s]
/proc/loadavg: 4.00 4.00 3.91 4/176 22065
/proc/meminfo: memFree=27920672/32873852 swapFree=7624/7624
[pid=22065] ppid=22063 vsize=171304 CPUtime=1.32 cores=1,3,5,7
/proc/22065/stat : 22065 (pwbo2.02) S 22063 22065 19474 0 -1 4202496 7231 0 0 0 131 1 0 0 20 0 3 0 331641622 175415296 6534 33554432000 4194304 5964478 140733436627456 140733436626976 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22065/statm: 42826 6534 202 433 0 42390 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 171304

[startup+1.50039 s]
/proc/loadavg: 4.00 4.00 3.91 5/179 22068
/proc/meminfo: memFree=27894956/32873852 swapFree=7624/7624
[pid=22065] ppid=22063 vsize=171304 CPUtime=2.91 cores=1,3,5,7
/proc/22065/stat : 22065 (pwbo2.02) S 22063 22065 19474 0 -1 4202496 7546 0 0 0 290 1 0 0 20 0 3 0 331641622 175415296 6849 33554432000 4194304 5964478 140733436627456 140733436626976 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22065/statm: 42826 6849 202 433 0 42390 0
[pid=22065/tid=22067] ppid=22063 vsize=171304 CPUtime=1.42 cores=1,3,5,7
/proc/22065/task/22067/stat : 22067 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 2511 0 0 0 142 0 0 0 20 0 3 0 331641627 175415296 6849 33554432000 4194304 5964478 140733436627456 139988452485576 5130994 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22065/tid=22068] ppid=22063 vsize=171304 CPUtime=1.43 cores=1,3,5,7
/proc/22065/task/22068/stat : 22068 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 2976 0 0 0 143 0 0 0 20 0 3 0 331641627 175415296 6849 33554432000 4194304 5964478 140733436627456 139988441995576 4400746 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 171304

[startup+3.10037 s]
/proc/loadavg: 4.00 4.00 3.91 5/179 22068
/proc/meminfo: memFree=27891360/32873852 swapFree=7624/7624
[pid=22065] ppid=22063 vsize=171304 CPUtime=6.12 cores=1,3,5,7
/proc/22065/stat : 22065 (pwbo2.02) S 22063 22065 19474 0 -1 4202496 10136 0 0 0 608 4 0 0 20 0 3 0 331641622 175415296 8524 33554432000 4194304 5964478 140733436627456 140733436626976 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22065/statm: 42826 8524 203 433 0 42390 0
[pid=22065/tid=22067] ppid=22063 vsize=171304 CPUtime=3.02 cores=1,3,5,7
/proc/22065/task/22067/stat : 22067 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 4046 0 0 0 300 2 0 0 20 0 3 0 331641627 175415296 8524 33554432000 4194304 5964478 140733436627456 139988452485656 5139118 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22065/tid=22068] ppid=22063 vsize=171304 CPUtime=3.02 cores=1,3,5,7
/proc/22065/task/22068/stat : 22068 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 4031 0 0 0 300 2 0 0 20 0 3 0 331641627 175415296 8524 33554432000 4194304 5964478 140733436627456 139988441995384 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 171304

[startup+6.30032 s]
/proc/loadavg: 4.00 4.00 3.91 5/179 22189
/proc/meminfo: memFree=28322276/32873852 swapFree=7624/7624
[pid=22065] ppid=22063 vsize=171304 CPUtime=12.51 cores=1,3,5,7
/proc/22065/stat : 22065 (pwbo2.02) S 22063 22065 19474 0 -1 4202496 15093 0 0 0 1244 7 0 0 20 0 3 0 331641622 175415296 12145 33554432000 4194304 5964478 140733436627456 140733436626976 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22065/statm: 42826 12145 203 433 0 42390 0
[pid=22065/tid=22067] ppid=22063 vsize=171304 CPUtime=6.21 cores=1,3,5,7
/proc/22065/task/22067/stat : 22067 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 6361 0 0 0 619 2 0 0 20 0 3 0 331641627 175415296 12146 33554432000 4194304 5964478 140733436627456 139988452485656 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22065/tid=22068] ppid=22063 vsize=171304 CPUtime=6.21 cores=1,3,5,7
/proc/22065/task/22068/stat : 22068 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 6674 0 0 0 617 4 0 0 20 0 3 0 331641627 175415296 12146 33554432000 4194304 5964478 140733436627456 139988441995576 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 171304

[startup+12.7003 s]
/proc/loadavg: 4.00 4.00 3.91 5/179 22189
/proc/meminfo: memFree=28224960/32873852 swapFree=7624/7624
[pid=22065] ppid=22063 vsize=171788 CPUtime=25.31 cores=1,3,5,7
/proc/22065/stat : 22065 (pwbo2.02) S 22063 22065 19474 0 -1 4202496 23374 0 0 0 2520 11 0 0 20 0 3 0 331641622 175910912 20426 33554432000 4194304 5964478 140733436627456 140733436626976 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22065/statm: 42947 20426 203 433 0 42511 0
[pid=22065/tid=22067] ppid=22063 vsize=171788 CPUtime=12.59 cores=1,3,5,7
/proc/22065/task/22067/stat : 22067 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 9356 0 0 0 1256 3 0 0 20 0 3 0 331641627 175910912 20426 33554432000 4194304 5964478 140733436627456 139988452485656 4400115 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22065/tid=22068] ppid=22063 vsize=171788 CPUtime=12.6 cores=1,3,5,7
/proc/22065/task/22068/stat : 22068 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 11960 0 0 0 1252 8 0 0 20 0 3 0 331641627 175910912 20427 33554432000 4194304 5964478 140733436627456 139988441995576 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 171788

[startup+25.5003 s]
/proc/loadavg: 4.00 4.00 3.91 5/178 22189
/proc/meminfo: memFree=28179316/32873852 swapFree=7624/7624
[pid=22065] ppid=22063 vsize=171920 CPUtime=50.9 cores=1,3,5,7
/proc/22065/stat : 22065 (pwbo2.02) S 22063 22065 19474 0 -1 4202496 31107 0 0 0 5074 16 0 0 20 0 3 0 331641622 176046080 28503 33554432000 4194304 5964478 140733436627456 140733436626976 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22065/statm: 42980 28503 203 433 0 42544 0
[pid=22065/tid=22067] ppid=22063 vsize=171920 CPUtime=25.36 cores=1,3,5,7
/proc/22065/task/22067/stat : 22067 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 13114 0 0 0 2531 5 0 0 20 0 3 0 331641627 176046080 28503 33554432000 4194304 5964478 140733436627456 139988452484920 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22065/tid=22068] ppid=22063 vsize=171920 CPUtime=25.36 cores=1,3,5,7
/proc/22065/task/22068/stat : 22068 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 15934 0 0 0 2526 10 0 0 20 0 3 0 331641627 176046080 28503 33554432000 4194304 5964478 140733436627456 139988441995576 4399938 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.9
Current children cumulated vsize (KiB) 171920

[startup+51.1003 s]
/proc/loadavg: 4.00 4.00 3.91 5/180 22193
/proc/meminfo: memFree=28122832/32873852 swapFree=7624/7624
[pid=22065] ppid=22063 vsize=237972 CPUtime=102.06 cores=1,3,5,7
/proc/22065/stat : 22065 (pwbo2.02) S 22063 22065 19474 0 -1 4202496 43403 0 0 0 10174 32 0 0 20 0 3 0 331641622 243683328 40682 33554432000 4194304 5964478 140733436627456 140733436626976 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22065/statm: 59493 40682 203 433 0 59057 0
[pid=22065/tid=22067] ppid=22063 vsize=237972 CPUtime=50.89 cores=1,3,5,7
/proc/22065/task/22067/stat : 22067 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 16982 0 0 0 5081 8 0 0 20 0 3 0 331641627 243683328 40682 33554432000 4194304 5964478 140733436627456 139988452485656 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22065/tid=22068] ppid=22063 vsize=237972 CPUtime=50.87 cores=1,3,5,7
/proc/22065/task/22068/stat : 22068 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 24362 0 0 0 5064 23 0 0 20 0 3 0 331641627 243683328 40682 33554432000 4194304 5964478 140733436627456 139988441995624 4400103 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.06
Current children cumulated vsize (KiB) 237972

[startup+102.307 s]
/proc/loadavg: 4.00 4.00 3.91 5/179 22193
/proc/meminfo: memFree=28056068/32873852 swapFree=7624/7624
[pid=22065] ppid=22063 vsize=304448 CPUtime=204.43 cores=1,3,5,7
/proc/22065/stat : 22065 (pwbo2.02) S 22063 22065 19474 0 -1 4202496 56470 0 0 0 20387 56 0 0 20 0 3 0 331641622 311754752 54879 33554432000 4194304 5964478 140733436627456 140733436626976 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22065/statm: 76112 54879 203 433 0 75676 0
[pid=22065/tid=22067] ppid=22063 vsize=304448 CPUtime=101.94 cores=1,3,5,7
/proc/22065/task/22067/stat : 22067 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 17137 0 0 0 10185 9 0 0 20 0 3 0 331641627 311754752 54879 33554432000 4194304 5964478 140733436627456 139988452485464 4400056 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22065/tid=22068] ppid=22063 vsize=304448 CPUtime=101.94 cores=1,3,5,7
/proc/22065/task/22068/stat : 22068 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 37274 0 0 0 10146 48 0 0 20 0 3 0 331641627 311754752 54879 33554432000 4194304 5964478 140733436627456 139988441995336 4400470 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 204.43
Current children cumulated vsize (KiB) 304448

[startup+162.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/179 22193
/proc/meminfo: memFree=27961608/32873852 swapFree=7624/7624
[pid=22065] ppid=22063 vsize=370516 CPUtime=324.4 cores=1,3,5,7
/proc/22065/stat : 22065 (pwbo2.02) S 22063 22065 19474 0 -1 4202496 79190 0 0 0 32337 103 0 0 20 0 3 0 331641622 379408384 76500 33554432000 4194304 5964478 140733436627456 140733436626976 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22065/statm: 92629 76500 203 433 0 92193 0
[pid=22065/tid=22067] ppid=22063 vsize=370516 CPUtime=161.78 cores=1,3,5,7
/proc/22065/task/22067/stat : 22067 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 18546 0 0 0 16167 11 0 0 20 0 3 0 331641627 379408384 76500 33554432000 4194304 5964478 140733436627456 139988452485656 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22065/tid=22068] ppid=22063 vsize=370516 CPUtime=161.78 cores=1,3,5,7
/proc/22065/task/22068/stat : 22068 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 58585 0 0 0 16083 95 0 0 20 0 3 0 331641627 379408384 76500 33554432000 4194304 5964478 140733436627456 139988441995576 4400010 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 324.4
Current children cumulated vsize (KiB) 370516

[startup+222.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/179 22193
/proc/meminfo: memFree=27930016/32873852 swapFree=7624/7624
[pid=22065] ppid=22063 vsize=436908 CPUtime=444.38 cores=1,3,5,7
/proc/22065/stat : 22065 (pwbo2.02) S 22063 22065 19474 0 -1 4202496 86617 0 0 0 44329 109 0 0 20 0 3 0 331641622 447393792 83927 33554432000 4194304 5964478 140733436627456 140733436626976 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22065/statm: 109227 83927 203 433 0 108791 0
[pid=22065/tid=22067] ppid=22063 vsize=436908 CPUtime=221.62 cores=1,3,5,7
/proc/22065/task/22067/stat : 22067 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 25910 0 0 0 22143 19 0 0 20 0 3 0 331641627 447393792 83927 33554432000 4194304 5964478 140733436627456 139988452484920 4400078 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22065/tid=22068] ppid=22063 vsize=436908 CPUtime=221.62 cores=1,3,5,7
/proc/22065/task/22068/stat : 22068 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 58648 0 0 0 22066 96 0 0 20 0 3 0 331641627 447393792 83927 33554432000 4194304 5964478 140733436627456 139988441995336 4399915 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 444.38
Current children cumulated vsize (KiB) 436908

[startup+282.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/179 22193
/proc/meminfo: memFree=27827408/32873852 swapFree=7624/7624
[pid=22065] ppid=22063 vsize=503624 CPUtime=564.34 cores=1,3,5,7
/proc/22065/stat : 22065 (pwbo2.02) S 22063 22065 19474 0 -1 4202496 109783 0 0 0 56280 154 0 0 20 0 3 0 331641622 515710976 107102 33554432000 4194304 5964478 140733436627456 140733436626976 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22065/statm: 125906 107102 203 433 0 125470 0
[pid=22065/tid=22067] ppid=22063 vsize=503624 CPUtime=281.46 cores=1,3,5,7
/proc/22065/task/22067/stat : 22067 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 33567 0 0 0 28119 27 0 0 20 0 3 0 331641627 515710976 107102 33554432000 4194304 5964478 140733436627456 139988452485160 4388346 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22065/tid=22068] ppid=22063 vsize=503624 CPUtime=281.44 cores=1,3,5,7
/proc/22065/task/22068/stat : 22068 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 74157 0 0 0 28010 134 0 0 20 0 3 0 331641627 515710976 107102 33554432000 4194304 5964478 140733436627456 139988441995576 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 564.34
Current children cumulated vsize (KiB) 503624

[startup+342.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/179 22194
/proc/meminfo: memFree=27784284/32873852 swapFree=7624/7624
[pid=22065] ppid=22063 vsize=503756 CPUtime=684.26 cores=1,3,5,7
/proc/22065/stat : 22065 (pwbo2.02) S 22063 22065 19474 0 -1 4202496 119122 0 0 0 68257 169 0 0 20 0 3 0 331641622 515846144 116934 33554432000 4194304 5964478 140733436627456 140733436626976 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22065/statm: 125939 116934 203 433 0 125503 0
[pid=22065/tid=22067] ppid=22063 vsize=503756 CPUtime=341.27 cores=1,3,5,7
/proc/22065/task/22067/stat : 22067 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 35678 0 0 0 34098 29 0 0 20 0 3 0 331641627 515846144 116934 33554432000 4194304 5964478 140733436627456 139988452484984 4400087 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22065/tid=22068] ppid=22063 vsize=503756 CPUtime=341.26 cores=1,3,5,7
/proc/22065/task/22068/stat : 22068 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 81385 0 0 0 33977 149 0 0 20 0 3 0 331641627 515846144 116934 33554432000 4194304 5964478 140733436627456 139988441995576 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 684.26
Current children cumulated vsize (KiB) 503756

[startup+402.3 s]
/proc/loadavg: 4.09 4.03 3.92 5/179 22194
/proc/meminfo: memFree=27759140/32873852 swapFree=7624/7624
[pid=22065] ppid=22063 vsize=569424 CPUtime=804.19 cores=1,3,5,7
/proc/22065/stat : 22065 (pwbo2.02) S 22063 22065 19474 0 -1 4202496 125313 0 0 0 80240 179 0 0 20 0 3 0 331641622 583090176 123085 33554432000 4194304 5964478 140733436627456 140733436626976 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22065/statm: 142356 123085 203 433 0 141920 0
[pid=22065/tid=22067] ppid=22063 vsize=569424 CPUtime=401.11 cores=1,3,5,7
/proc/22065/task/22067/stat : 22067 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 41791 0 0 0 40071 40 0 0 20 0 3 0 331641627 583090176 123085 33554432000 4194304 5964478 140733436627456 139988452485160 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22065/tid=22068] ppid=22063 vsize=569424 CPUtime=401.05 cores=1,3,5,7
/proc/22065/task/22068/stat : 22068 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 81463 0 0 0 39955 150 0 0 20 0 3 0 331641627 583090176 123085 33554432000 4194304 5964478 140733436627456 139988441995336 4400115 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 804.19
Current children cumulated vsize (KiB) 569424

[startup+462.3 s]
/proc/loadavg: 4.03 4.02 3.92 5/179 22194
/proc/meminfo: memFree=27731860/32873852 swapFree=7624/7624
[pid=22065] ppid=22063 vsize=570268 CPUtime=924.16 cores=1,3,5,7
/proc/22065/stat : 22065 (pwbo2.02) S 22063 22065 19474 0 -1 4202496 130711 0 0 0 92230 186 0 0 20 0 3 0 331641622 583954432 128482 33554432000 4194304 5964478 140733436627456 140733436626976 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22065/statm: 142567 128482 203 433 0 142131 0
[pid=22065/tid=22067] ppid=22063 vsize=570268 CPUtime=460.96 cores=1,3,5,7
/proc/22065/task/22067/stat : 22067 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 47134 0 0 0 46048 48 0 0 20 0 3 0 331641627 583954432 128482 33554432000 4194304 5964478 140733436627456 139988452484920 4222464 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22065/tid=22068] ppid=22063 vsize=570268 CPUtime=460.9 cores=1,3,5,7
/proc/22065/task/22068/stat : 22068 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 81518 0 0 0 45940 150 0 0 20 0 3 0 331641627 583954432 128482 33554432000 4194304 5964478 140733436627456 139988441995336 4400024 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 924.16
Current children cumulated vsize (KiB) 570268

[startup+522.3 s]
/proc/loadavg: 4.01 4.02 3.92 5/179 22194
/proc/meminfo: memFree=27707112/32873852 swapFree=7624/7624
[pid=22065] ppid=22063 vsize=570584 CPUtime=1044.15 cores=1,3,5,7
/proc/22065/stat : 22065 (pwbo2.02) S 22063 22065 19474 0 -1 4202496 132630 0 0 0 104226 189 0 0 20 0 3 0 331641622 584278016 130438 33554432000 4194304 5964478 140733436627456 140733436626976 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22065/statm: 142646 130438 203 433 0 142210 0
[pid=22065/tid=22067] ppid=22063 vsize=570584 CPUtime=520.79 cores=1,3,5,7
/proc/22065/task/22067/stat : 22067 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 48986 0 0 0 52029 50 0 0 20 0 3 0 331641627 584278016 130438 33554432000 4194304 5964478 140733436627456 139988452485112 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22065/tid=22068] ppid=22063 vsize=570584 CPUtime=520.74 cores=1,3,5,7
/proc/22065/task/22068/stat : 22068 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 81585 0 0 0 51923 151 0 0 20 0 3 0 331641627 584278016 130438 33554432000 4194304 5964478 140733436627456 139988441995336 4400067 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1044.15
Current children cumulated vsize (KiB) 570584

[startup+582.3 s]
/proc/loadavg: 4.00 4.01 3.92 5/179 22194
/proc/meminfo: memFree=27656500/32873852 swapFree=7624/7624
[pid=22065] ppid=22063 vsize=701656 CPUtime=1164.12 cores=1,3,5,7
/proc/22065/stat : 22065 (pwbo2.02) S 22063 22065 19474 0 -1 4202496 145337 0 0 0 116199 213 0 0 20 0 3 0 331641622 718495744 143145 33554432000 4194304 5964478 140733436627456 140733436626976 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22065/statm: 175414 143145 203 433 0 174978 0
[pid=22065/tid=22067] ppid=22063 vsize=701656 CPUtime=580.63 cores=1,3,5,7
/proc/22065/task/22067/stat : 22067 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 55351 0 0 0 58001 62 0 0 20 0 3 0 331641627 718495744 143145 33554432000 4194304 5964478 140733436627456 139988452485112 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22065/tid=22068] ppid=22063 vsize=701656 CPUtime=580.59 cores=1,3,5,7
/proc/22065/task/22068/stat : 22068 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 87927 0 0 0 57892 167 0 0 20 0 3 0 331641627 718495744 143145 33554432000 4194304 5964478 140733436627456 139988441995576 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1164.12
Current children cumulated vsize (KiB) 701656

[startup+642.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/180 22198
/proc/meminfo: memFree=27573136/32873852 swapFree=7624/7624
[pid=22065] ppid=22063 vsize=768140 CPUtime=1284.12 cores=1,3,5,7
/proc/22065/stat : 22065 (pwbo2.02) S 22063 22065 19474 0 -1 4202496 165344 0 0 0 128156 256 0 0 20 0 3 0 331641622 786575360 163152 33554432000 4194304 5964478 140733436627456 140733436626976 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22065/statm: 192035 163152 203 433 0 191599 0
[pid=22065/tid=22067] ppid=22063 vsize=768140 CPUtime=640.48 cores=1,3,5,7
/proc/22065/task/22067/stat : 22067 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 59441 0 0 0 63981 67 0 0 20 0 3 0 331641627 786575360 163152 33554432000 4194304 5964478 140733436627456 139988452484920 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22065/tid=22068] ppid=22063 vsize=768140 CPUtime=640.44 cores=1,3,5,7
/proc/22065/task/22068/stat : 22068 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 103844 0 0 0 63838 206 0 0 20 0 3 0 331641627 786575360 163152 33554432000 4194304 5964478 140733436627456 139988441995576 4400103 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1284.12
Current children cumulated vsize (KiB) 768140

[startup+702.3 s]
/proc/loadavg: 4.08 4.02 3.93 5/179 22198
/proc/meminfo: memFree=27524732/32873852 swapFree=7624/7624
[pid=22065] ppid=22063 vsize=768276 CPUtime=1404.05 cores=1,3,5,7
/proc/22065/stat : 22065 (pwbo2.02) S 22063 22065 19474 0 -1 4202496 175758 0 0 0 140127 278 0 0 20 0 3 0 331641622 786714624 173662 33554432000 4194304 5964478 140733436627456 140733436626976 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22065/statm: 192069 173662 203 433 0 191633 0
[pid=22065/tid=22067] ppid=22063 vsize=768276 CPUtime=700.31 cores=1,3,5,7
/proc/22065/task/22067/stat : 22067 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 60323 0 0 0 69963 68 0 0 20 0 3 0 331641627 786714624 173662 33554432000 4194304 5964478 140733436627456 139988452484920 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22065/tid=22068] ppid=22063 vsize=768276 CPUtime=700.25 cores=1,3,5,7
/proc/22065/task/22068/stat : 22068 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 113376 0 0 0 69796 229 0 0 20 0 3 0 331641627 786714624 173662 33554432000 4194304 5964478 140733436627456 139988441995576 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1404.05
Current children cumulated vsize (KiB) 768276

[startup+762.307 s]
/proc/loadavg: 4.06 4.03 3.93 5/179 22198
/proc/meminfo: memFree=27522404/32873852 swapFree=7624/7624
[pid=22065] ppid=22063 vsize=768476 CPUtime=1523.99 cores=1,3,5,7
/proc/22065/stat : 22065 (pwbo2.02) S 22063 22065 19474 0 -1 4202496 176086 0 0 0 152121 278 0 0 20 0 3 0 331641622 786919424 174236 33554432000 4194304 5964478 140733436627456 140733436626976 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22065/statm: 192119 174236 203 433 0 191683 0
[pid=22065/tid=22067] ppid=22063 vsize=768476 CPUtime=760.15 cores=1,3,5,7
/proc/22065/task/22067/stat : 22067 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 60605 0 0 0 75946 69 0 0 20 0 3 0 331641627 786919424 174236 33554432000 4194304 5964478 140733436627456 139988452484920 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22065/tid=22068] ppid=22063 vsize=768476 CPUtime=760.06 cores=1,3,5,7
/proc/22065/task/22068/stat : 22068 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 113422 0 0 0 75776 230 0 0 20 0 3 0 331641627 786919424 174236 33554432000 4194304 5964478 140733436627456 139988441995336 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1523.99
Current children cumulated vsize (KiB) 768476

[startup+822.3 s]
/proc/loadavg: 4.02 4.02 3.93 5/179 22198
/proc/meminfo: memFree=27503212/32873852 swapFree=7624/7624
[pid=22065] ppid=22063 vsize=768476 CPUtime=1643.91 cores=1,3,5,7
/proc/22065/stat : 22065 (pwbo2.02) S 22063 22065 19474 0 -1 4202496 180703 0 0 0 164105 286 0 0 20 0 3 0 331641622 786919424 179092 33554432000 4194304 5964478 140733436627456 140733436626976 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22065/statm: 192119 179092 203 433 0 191683 0
[pid=22065/tid=22067] ppid=22063 vsize=768476 CPUtime=819.96 cores=1,3,5,7
/proc/22065/task/22067/stat : 22067 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 65171 0 0 0 81918 78 0 0 20 0 3 0 331641627 786919424 179092 33554432000 4194304 5964478 140733436627456 139988452484920 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22065/tid=22068] ppid=22063 vsize=768476 CPUtime=819.88 cores=1,3,5,7
/proc/22065/task/22068/stat : 22068 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 113473 0 0 0 81757 231 0 0 20 0 3 0 331641627 786919424 179092 33554432000 4194304 5964478 140733436627456 139988441995336 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1643.91
Current children cumulated vsize (KiB) 768476

[startup+882.3 s]
/proc/loadavg: 4.07 4.03 3.94 5/179 22198
/proc/meminfo: memFree=27480196/32873852 swapFree=7624/7624
[pid=22065] ppid=22063 vsize=834992 CPUtime=1763.89 cores=1,3,5,7
/proc/22065/stat : 22065 (pwbo2.02) S 22063 22065 19474 0 -1 4202496 186413 0 0 0 176093 296 0 0 20 0 3 0 331641622 855031808 184862 33554432000 4194304 5964478 140733436627456 140733436626976 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22065/statm: 208748 184862 203 433 0 208312 0
[pid=22065/tid=22067] ppid=22063 vsize=834992 CPUtime=879.79 cores=1,3,5,7
/proc/22065/task/22067/stat : 22067 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 70848 0 0 0 87890 89 0 0 20 0 3 0 331641627 855031808 184862 33554432000 4194304 5964478 140733436627456 139988452485160 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22065/tid=22068] ppid=22063 vsize=834992 CPUtime=879.72 cores=1,3,5,7
/proc/22065/task/22068/stat : 22068 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 113506 0 0 0 87740 232 0 0 20 0 3 0 331641627 855031808 184862 33554432000 4194304 5964478 140733436627456 139988441995336 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1763.89
Current children cumulated vsize (KiB) 834992



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.4 s]
/proc/loadavg: 4.05 4.03 3.94 5/179 22198
/proc/meminfo: memFree=27474988/32873852 swapFree=7624/7624
[pid=22065] ppid=22063 vsize=834992 CPUtime=1800.09 cores=1,3,5,7
/proc/22065/stat : 22065 (pwbo2.02) S 22063 22065 19474 0 -1 4202496 187677 0 0 0 179712 297 0 0 20 0 3 0 331641622 855031808 186126 33554432000 4194304 5964478 140733436627456 140733436626976 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22065/statm: 208748 186126 203 433 0 208312 0
[pid=22065/tid=22067] ppid=22063 vsize=834992 CPUtime=897.85 cores=1,3,5,7
/proc/22065/task/22067/stat : 22067 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 72110 0 0 0 89695 90 0 0 20 0 3 0 331641627 855031808 186126 33554432000 4194304 5964478 140733436627456 139988452485160 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22065/tid=22068] ppid=22063 vsize=834992 CPUtime=897.78 cores=1,3,5,7
/proc/22065/task/22068/stat : 22068 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 113508 0 0 0 89546 232 0 0 20 0 3 0 331641627 855031808 186126 33554432000 4194304 5964478 140733436627456 139988441995336 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 834992

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

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

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22065 and gives
#  childrusage.ru_utime.tv_sec=1792
#  childrusage.ru_utime.tv_usec=483501
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=253505
# CPU time returned by wait4() is 1795.74
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 900.421
CPU time (s): 1800.09
CPU user time (s): 1797.12
CPU system time (s): 2.97
CPU usage (%): 199.916
Max. virtual memory (cumulated for all children) (KiB): 834992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.48
system time used= 3.25351
maximum resident set size= 744508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 187678
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= 1128
involuntary context switches= 1872

runsolver used 2.42363 second user time and 5.13222 second system time

The end

Launcher Data

Begin job on node131 at 2012-06-02 18:39:22
IDJOB=3725921
IDBENCH=2274
IDSOLVER=2309
FILE ID=node131/3725921-1338655162
RUNJOBID= node131-1338651542-21056
PBS_JOBID= 14636449
Free space on /tmp= 71396 MiB

SOLVER NAME= pwbo 2.02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-2.opb
COMMAND LINE= pwbo2.02 -file-format=opb -verbosity=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3725921-1338655162/watcher-3725921-1338655162 -o /tmp/evaluation-result-3725921-1338655162/solver-3725921-1338655162 -C 1800 -W 1900 -M 15500  pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3725921-1338655162.opb

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

MD5SUM BENCH= 907943cf03e4e0f899b19858f5690e6e
RANDOM SEED=357959766

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.805
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.91
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.805
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.805
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.92
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.805
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        27920564 kB
Buffers:          540088 kB
Cached:          2994548 kB
SwapCached:         2348 kB
Active:          1919412 kB
Inactive:        2174452 kB
Active(anon):     555564 kB
Inactive(anon):     3676 kB
Active(file):    1363848 kB
Inactive(file):  2170776 kB
Unevictable:        7624 kB
Mlocked:            7624 kB
SwapTotal:      67108856 kB
SwapFree:       67099088 kB
Dirty:              6244 kB
Writeback:             0 kB
AnonPages:        563760 kB
Mapped:            14988 kB
Shmem:                 0 kB
Slab:             719168 kB
SReclaimable:     161576 kB
SUnreclaim:       557592 kB
KernelStack:        1464 kB
PageTables:         5216 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     167720 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:    385024 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= 71388 MiB
End job on node131 at 2012-06-02 18:54:24