Trace number 3725927

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)-38 1800.62 900.529

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-5.opb
MD5SUMf408a60720d5bae3e36cea0c41e2f7f1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-40
Best CPU time to get the best result obtained on this benchmark824.628
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -39
Optimality of the best value was proved NO
Number of variables760
Total number of constraints41619
Number of constraints which are clauses41619
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 760
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 760
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 760
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-3725927-1338654396.opb.
0.00/0.00	c Instance file HOME/instance-3725927-1338654396.opb
0.00/0.00	c File size is 994325 bytes.
0.00/0.08	c Cost Offset: -760
0.00/0.08	c Highest Coefficient sum: 3
0.00/0.08	c ============================[ Problem Statistics ]=============================
0.00/0.08	c |                                                                             |
0.00/0.08	c |  Parsing time:          0.08         s                                      |
0.00/0.08	c |  Number Variables:      760                                                 |
0.00/0.08	c |  Number Clauses:        41619                                               |
0.00/0.08	c |  Number Cardinality:    0                                                   |
0.00/0.08	c |  Number PB Constraints: 0                                                   |
0.00/0.08	c |                                                                             |
0.00/0.10	c |  Problem Type:          Optimization                                        |
0.00/0.10	c |  Objective Function:    Cardinality Constraint                              |
0.00/0.10	c |                                                                             |
0.00/0.10	c ===============================================================================
1800.19/900.51	o -27
1800.19/900.51	o -29
1800.19/900.51	o -32
1800.19/900.51	o -33
1800.19/900.51	o -34
1800.19/900.51	o -35
1800.19/900.51	o -36
1800.19/900.51	o -37
1800.19/900.51	o -38
1800.19/900.51	c ===============================================================================
1800.19/900.51	c Wall Clock Time: 900.51 s
1800.19/900.51	c Best Solution: -38
1800.19/900.51	s SATISFIABLE
1800.19/900.51	v -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 x742 x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 x667 -x666 -x665 -x664 -x663 x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 x596 -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	-38

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-3725927-1338654396/watcher-3725927-1338654396 -o /tmp/evaluation-result-3725927-1338654396/solver-3725927-1338654396 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3725927-1338654396.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.02 4.00 3.85 4/178 26895
/proc/meminfo: memFree=31243636/32873844 swapFree=7116/7116
[pid=26895] ppid=26893 vsize=5304 CPUtime=0 cores=0,2,4,6
/proc/26895/stat : 26895 (pwbo2.02) R 26893 26895 24826 0 -1 4202496 403 0 0 0 0 0 0 0 20 0 1 0 331566617 5431296 356 33554432000 4194304 5964478 140736394618544 140737186259864 5369392 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/26895/statm: 1326 356 165 433 0 647 0

[startup+0.102796 s]
/proc/loadavg: 4.02 4.00 3.85 4/178 26895
/proc/meminfo: memFree=31243636/32873844 swapFree=7116/7116
[pid=26895] ppid=26893 vsize=169620 CPUtime=0.1 cores=0,2,4,6
/proc/26895/stat : 26895 (pwbo2.02) S 26893 26895 24826 0 -1 4202496 5506 0 0 0 9 1 0 0 20 0 3 0 331566617 173690880 5149 33554432000 4194304 5964478 140736394618544 140736394618064 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26895/statm: 42405 5153 182 433 0 41969 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 169620

[startup+0.200203 s]
/proc/loadavg: 4.02 4.00 3.85 4/178 26895
/proc/meminfo: memFree=31243636/32873844 swapFree=7116/7116
[pid=26895] ppid=26893 vsize=175052 CPUtime=0.28 cores=0,2,4,6
/proc/26895/stat : 26895 (pwbo2.02) S 26893 26895 24826 0 -1 4202496 9525 0 0 0 26 2 0 0 20 0 3 0 331566617 179253248 8899 33554432000 4194304 5964478 140736394618544 140736394618064 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26895/statm: 43763 8899 202 433 0 43327 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 175052

[startup+0.300227 s]
/proc/loadavg: 4.02 4.00 3.85 4/178 26895
/proc/meminfo: memFree=31243636/32873844 swapFree=7116/7116
[pid=26895] ppid=26893 vsize=175052 CPUtime=0.48 cores=0,2,4,6
/proc/26895/stat : 26895 (pwbo2.02) S 26893 26895 24826 0 -1 4202496 9799 0 0 0 46 2 0 0 20 0 3 0 331566617 179253248 8913 33554432000 4194304 5964478 140736394618544 140736394618064 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26895/statm: 43763 8913 202 433 0 43327 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 175052

[startup+0.700181 s]
/proc/loadavg: 4.02 4.00 3.85 4/178 26895
/proc/meminfo: memFree=31243636/32873844 swapFree=7116/7116
[pid=26895] ppid=26893 vsize=175052 CPUtime=1.28 cores=0,2,4,6
/proc/26895/stat : 26895 (pwbo2.02) S 26893 26895 24826 0 -1 4202496 10807 0 0 0 125 3 0 0 20 0 3 0 331566617 179253248 8933 33554432000 4194304 5964478 140736394618544 140736394618064 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26895/statm: 43763 8933 203 433 0 43327 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 175052

[startup+1.5003 s]
/proc/loadavg: 4.02 4.00 3.85 5/181 26898
/proc/meminfo: memFree=31207752/32873844 swapFree=7116/7116
[pid=26895] ppid=26893 vsize=175052 CPUtime=2.87 cores=0,2,4,6
/proc/26895/stat : 26895 (pwbo2.02) S 26893 26895 24826 0 -1 4202496 12787 0 0 0 284 3 0 0 20 0 3 0 331566617 179253248 9080 33554432000 4194304 5964478 140736394618544 140736394618064 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26895/statm: 43763 9080 203 433 0 43327 0
[pid=26895/tid=26897] ppid=26893 vsize=175052 CPUtime=1.4 cores=0,2,4,6
/proc/26895/task/26897/stat : 26897 (pwbo2.02) R 26893 26895 24826 0 -1 4202560 6145 0 0 0 137 3 0 0 20 0 3 0 331566625 179253248 9080 33554432000 4194304 5964478 140736394618544 140310450981400 5130901 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26895/tid=26898] ppid=26893 vsize=175052 CPUtime=1.39 cores=0,2,4,6
/proc/26895/task/26898/stat : 26898 (pwbo2.02) R 26893 26895 24826 0 -1 4202560 3878 0 0 0 139 0 0 0 20 0 3 0 331566625 179253248 9080 33554432000 4194304 5964478 140736394618544 140310440491320 4399915 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 175052

[startup+3.1003 s]
/proc/loadavg: 4.01 4.00 3.85 5/181 26898
/proc/meminfo: memFree=31205288/32873844 swapFree=7116/7116
[pid=26895] ppid=26893 vsize=175052 CPUtime=6.07 cores=0,2,4,6
/proc/26895/stat : 26895 (pwbo2.02) S 26893 26895 24826 0 -1 4202496 14924 0 0 0 603 4 0 0 20 0 3 0 331566617 179253248 9572 33554432000 4194304 5964478 140736394618544 140736394618064 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26895/statm: 43763 9572 203 433 0 43327 0
[pid=26895/tid=26897] ppid=26893 vsize=175052 CPUtime=3 cores=0,2,4,6
/proc/26895/task/26897/stat : 26897 (pwbo2.02) R 26893 26895 24826 0 -1 4202560 7996 0 0 0 297 3 0 0 20 0 3 0 331566625 179253248 9572 33554432000 4194304 5964478 140736394618544 140310450981400 5135810 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26895/tid=26898] ppid=26893 vsize=175052 CPUtime=2.99 cores=0,2,4,6
/proc/26895/task/26898/stat : 26898 (pwbo2.02) R 26893 26895 24826 0 -1 4202560 4164 0 0 0 299 0 0 0 20 0 3 0 331566625 179253248 9572 33554432000 4194304 5964478 140736394618544 140310440491320 4400422 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 175052

[startup+6.30028 s]
/proc/loadavg: 4.01 4.00 3.85 5/181 26898
/proc/meminfo: memFree=31186820/32873844 swapFree=7116/7116
[pid=26895] ppid=26893 vsize=175052 CPUtime=12.46 cores=0,2,4,6
/proc/26895/stat : 26895 (pwbo2.02) S 26893 26895 24826 0 -1 4202496 20679 0 0 0 1240 6 0 0 20 0 3 0 331566617 179253248 12871 33554432000 4194304 5964478 140736394618544 140736394618064 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26895/statm: 43763 12871 204 433 0 43327 0
[pid=26895/tid=26897] ppid=26893 vsize=175052 CPUtime=6.2 cores=0,2,4,6
/proc/26895/task/26897/stat : 26897 (pwbo2.02) R 26893 26895 24826 0 -1 4202560 11417 0 0 0 616 4 0 0 20 0 3 0 331566625 179253248 12871 33554432000 4194304 5964478 140736394618544 140310450981400 5134325 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26895/tid=26898] ppid=26893 vsize=175052 CPUtime=6.19 cores=0,2,4,6
/proc/26895/task/26898/stat : 26898 (pwbo2.02) R 26893 26895 24826 0 -1 4202560 6498 0 0 0 616 3 0 0 20 0 3 0 331566625 179253248 12871 33554432000 4194304 5964478 140736394618544 140310440491368 4400089 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 175052

[startup+12.7003 s]
/proc/loadavg: 4.01 4.00 3.85 5/181 26898
/proc/meminfo: memFree=31146016/32873844 swapFree=7116/7116
[pid=26895] ppid=26893 vsize=175052 CPUtime=25.26 cores=0,2,4,6
/proc/26895/stat : 26895 (pwbo2.02) S 26893 26895 24826 0 -1 4202496 31934 0 0 0 2515 11 0 0 20 0 3 0 331566617 179253248 20179 33554432000 4194304 5964478 140736394618544 140736394618064 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26895/statm: 43763 20179 204 433 0 43327 0
[pid=26895/tid=26897] ppid=26893 vsize=175052 CPUtime=12.6 cores=0,2,4,6
/proc/26895/task/26897/stat : 26897 (pwbo2.02) R 26893 26895 24826 0 -1 4202560 17342 0 0 0 1255 5 0 0 20 0 3 0 331566625 179253248 20179 33554432000 4194304 5964478 140736394618544 140310450981400 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26895/tid=26898] ppid=26893 vsize=175052 CPUtime=12.59 cores=0,2,4,6
/proc/26895/task/26898/stat : 26898 (pwbo2.02) R 26893 26895 24826 0 -1 4202560 11828 0 0 0 1253 6 0 0 20 0 3 0 331566625 179253248 20179 33554432000 4194304 5964478 140736394618544 140310440491320 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 175052

[startup+25.5066 s]
/proc/loadavg: 4.08 4.02 3.86 5/181 26898
/proc/meminfo: memFree=31081032/32873844 swapFree=7116/7116
[pid=26895] ppid=26893 vsize=241312 CPUtime=50.86 cores=0,2,4,6
/proc/26895/stat : 26895 (pwbo2.02) S 26893 26895 24826 0 -1 4202496 44021 0 0 0 5062 24 0 0 20 0 3 0 331566617 247103488 32266 33554432000 4194304 5964478 140736394618544 140736394618064 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26895/statm: 60328 32266 204 433 0 59892 0
[pid=26895/tid=26897] ppid=26893 vsize=241312 CPUtime=25.41 cores=0,2,4,6
/proc/26895/task/26897/stat : 26897 (pwbo2.02) R 26893 26895 24826 0 -1 4202560 21615 0 0 0 2531 10 0 0 20 0 3 0 331566625 247103488 32266 33554432000 4194304 5964478 140736394618544 140310450980664 4400056 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26895/tid=26898] ppid=26893 vsize=241312 CPUtime=25.39 cores=0,2,4,6
/proc/26895/task/26898/stat : 26898 (pwbo2.02) R 26893 26895 24826 0 -1 4202560 19642 0 0 0 2524 15 0 0 20 0 3 0 331566625 247103488 32266 33554432000 4194304 5964478 140736394618544 140310440491320 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 241312

[startup+51.1003 s]
/proc/loadavg: 4.05 4.01 3.86 5/181 26898
/proc/meminfo: memFree=31038452/32873844 swapFree=7116/7116
[pid=26895] ppid=26893 vsize=241444 CPUtime=102.05 cores=0,2,4,6
/proc/26895/stat : 26895 (pwbo2.02) S 26893 26895 24826 0 -1 4202496 52907 0 0 0 10175 30 0 0 20 0 3 0 331566617 247238656 41152 33554432000 4194304 5964478 140736394618544 140736394618064 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26895/statm: 60361 41152 204 433 0 59925 0
[pid=26895/tid=26897] ppid=26893 vsize=241444 CPUtime=51 cores=0,2,4,6
/proc/26895/task/26897/stat : 26897 (pwbo2.02) R 26893 26895 24826 0 -1 4202560 24870 0 0 0 5088 12 0 0 20 0 3 0 331566625 247238656 41152 33554432000 4194304 5964478 140736394618544 140310450980664 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26895/tid=26898] ppid=26893 vsize=241444 CPUtime=50.99 cores=0,2,4,6
/proc/26895/task/26898/stat : 26898 (pwbo2.02) R 26893 26895 24826 0 -1 4202560 25273 0 0 0 5080 19 0 0 20 0 3 0 331566625 247238656 41152 33554432000 4194304 5964478 140736394618544 140310440491080 4387951 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.05
Current children cumulated vsize (KiB) 241444

[startup+102.3 s]
/proc/loadavg: 4.08 4.03 3.87 5/181 26898
/proc/meminfo: memFree=30912892/32873844 swapFree=7116/7116
[pid=26895] ppid=26893 vsize=438952 CPUtime=204.43 cores=0,2,4,6
/proc/26895/stat : 26895 (pwbo2.02) S 26893 26895 24826 0 -1 4202496 83236 0 0 0 20391 52 0 0 20 0 3 0 331566617 449486848 71353 33554432000 4194304 5964478 140736394618544 140736394618064 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26895/statm: 109738 71353 204 433 0 109302 0
[pid=26895/tid=26897] ppid=26893 vsize=438952 CPUtime=102.2 cores=0,2,4,6
/proc/26895/task/26897/stat : 26897 (pwbo2.02) R 26893 26895 24826 0 -1 4202560 28447 0 0 0 10204 16 0 0 20 0 3 0 331566625 449486848 71353 33554432000 4194304 5964478 140736394618544 140310450981400 4400078 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26895/tid=26898] ppid=26893 vsize=438952 CPUtime=102.19 cores=0,2,4,6
/proc/26895/task/26898/stat : 26898 (pwbo2.02) R 26893 26895 24826 0 -1 4202560 52025 0 0 0 10181 38 0 0 20 0 3 0 331566625 449486848 71353 33554432000 4194304 5964478 140736394618544 140310440491128 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.43
Current children cumulated vsize (KiB) 438952

[startup+162.3 s]
/proc/loadavg: 4.08 4.03 3.88 5/181 26898
/proc/meminfo: memFree=30779136/32873844 swapFree=7116/7116
[pid=26895] ppid=26893 vsize=505600 CPUtime=324.41 cores=0,2,4,6
/proc/26895/stat : 26895 (pwbo2.02) S 26893 26895 24826 0 -1 4202496 112215 0 0 0 32354 87 0 0 20 0 3 0 331566617 517734400 100332 33554432000 4194304 5964478 140736394618544 140736394618064 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26895/statm: 126400 100332 204 433 0 125964 0
[pid=26895/tid=26897] ppid=26893 vsize=505600 CPUtime=162.21 cores=0,2,4,6
/proc/26895/task/26897/stat : 26897 (pwbo2.02) R 26893 26895 24826 0 -1 4202560 33363 0 0 0 16198 23 0 0 20 0 3 0 331566625 517734400 100332 33554432000 4194304 5964478 140736394618544 140310450980904 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26895/tid=26898] ppid=26893 vsize=505600 CPUtime=162.19 cores=0,2,4,6
/proc/26895/task/26898/stat : 26898 (pwbo2.02) R 26893 26895 24826 0 -1 4202560 76088 0 0 0 16150 69 0 0 20 0 3 0 331566625 517734400 100332 33554432000 4194304 5964478 140736394618544 140310440491320 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.41
Current children cumulated vsize (KiB) 505600

[startup+222.3 s]
/proc/loadavg: 4.08 4.04 3.89 5/182 26901
/proc/meminfo: memFree=30688796/32873844 swapFree=7116/7116
[pid=26895] ppid=26893 vsize=572488 CPUtime=444.37 cores=0,2,4,6
/proc/26895/stat : 26895 (pwbo2.02) S 26893 26895 24826 0 -1 4202496 132754 0 0 0 44322 115 0 0 20 0 3 0 331566617 586227712 121212 33554432000 4194304 5964478 140736394618544 140736394618064 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26895/statm: 143122 121212 204 433 0 142686 0
[pid=26895/tid=26897] ppid=26893 vsize=572488 CPUtime=222.21 cores=0,2,4,6
/proc/26895/task/26897/stat : 26897 (pwbo2.02) R 26893 26895 24826 0 -1 4202560 42366 0 0 0 22184 37 0 0 20 0 3 0 331566625 586227712 121212 33554432000 4194304 5964478 140736394618544 140310450980664 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26895/tid=26898] ppid=26893 vsize=572488 CPUtime=222.17 cores=0,2,4,6
/proc/26895/task/26898/stat : 26898 (pwbo2.02) R 26893 26895 24826 0 -1 4202560 87624 0 0 0 22132 85 0 0 20 0 3 0 331566625 586227712 121212 33554432000 4194304 5964478 140736394618544 140310440491080 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.37
Current children cumulated vsize (KiB) 572488

[startup+282.3 s]
/proc/loadavg: 4.09 4.05 3.91 5/181 26902
/proc/meminfo: memFree=30630552/32873844 swapFree=7116/7116
[pid=26895] ppid=26893 vsize=638400 CPUtime=564.29 cores=0,2,4,6
/proc/26895/stat : 26895 (pwbo2.02) S 26893 26895 24826 0 -1 4202496 140400 0 0 0 56305 124 0 0 20 0 3 0 331566617 653721600 128823 33554432000 4194304 5964478 140736394618544 140736394618064 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26895/statm: 159600 128824 204 433 0 159164 0
[pid=26895/tid=26897] ppid=26893 vsize=638400 CPUtime=282.2 cores=0,2,4,6
/proc/26895/task/26897/stat : 26897 (pwbo2.02) R 26893 26895 24826 0 -1 4202560 49882 0 0 0 28174 46 0 0 20 0 3 0 331566625 653721600 128824 33554432000 4194304 5964478 140736394618544 140310450980904 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26895/tid=26898] ppid=26893 vsize=638400 CPUtime=282.12 cores=0,2,4,6
/proc/26895/task/26898/stat : 26898 (pwbo2.02) R 26893 26895 24826 0 -1 4202560 87755 0 0 0 28126 86 0 0 20 0 3 0 331566625 653721600 128824 33554432000 4194304 5964478 140736394618544 140310440491080 4400542 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.29
Current children cumulated vsize (KiB) 638400

[startup+342.307 s]
/proc/loadavg: 4.08 4.05 3.91 5/181 26902
/proc/meminfo: memFree=30544276/32873844 swapFree=7116/7116
[pid=26895] ppid=26893 vsize=639516 CPUtime=684.22 cores=0,2,4,6
/proc/26895/stat : 26895 (pwbo2.02) S 26893 26895 24826 0 -1 4202496 156652 0 0 0 68280 142 0 0 20 0 3 0 331566617 654864384 145034 33554432000 4194304 5964478 140736394618544 140736394618064 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26895/statm: 159879 145034 204 433 0 159443 0
[pid=26895/tid=26897] ppid=26893 vsize=639516 CPUtime=342.21 cores=0,2,4,6
/proc/26895/task/26897/stat : 26897 (pwbo2.02) R 26893 26895 24826 0 -1 4202560 56860 0 0 0 34164 57 0 0 20 0 3 0 331566625 654864384 145034 33554432000 4194304 5964478 140736394618544 140310450980664 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26895/tid=26898] ppid=26893 vsize=639516 CPUtime=342.07 cores=0,2,4,6
/proc/26895/task/26898/stat : 26898 (pwbo2.02) R 26893 26895 24826 0 -1 4202560 97028 0 0 0 34111 96 0 0 20 0 3 0 331566625 654864384 145034 33554432000 4194304 5964478 140736394618544 140310440491368 4400033 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.22
Current children cumulated vsize (KiB) 639516

[startup+402.3 s]
/proc/loadavg: 4.16 4.07 3.93 5/181 26902
/proc/meminfo: memFree=30463580/32873844 swapFree=7116/7116
[pid=26895] ppid=26893 vsize=705052 CPUtime=804.13 cores=0,2,4,6
/proc/26895/stat : 26895 (pwbo2.02) S 26893 26895 24826 0 -1 4202496 173231 0 0 0 80253 160 0 0 20 0 3 0 331566617 721973248 161885 33554432000 4194304 5964478 140736394618544 140736394618064 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26895/statm: 176263 161885 204 433 0 175827 0
[pid=26895/tid=26897] ppid=26893 vsize=705052 CPUtime=402.17 cores=0,2,4,6
/proc/26895/task/26897/stat : 26897 (pwbo2.02) R 26893 26895 24826 0 -1 4202560 57760 0 0 0 40159 58 0 0 20 0 3 0 331566625 721973248 161885 33554432000 4194304 5964478 140736394618544 140310450980664 4400069 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26895/tid=26898] ppid=26893 vsize=705052 CPUtime=402.05 cores=0,2,4,6
/proc/26895/task/26898/stat : 26898 (pwbo2.02) R 26893 26895 24826 0 -1 4202560 112707 0 0 0 40091 114 0 0 20 0 3 0 331566625 721973248 161885 33554432000 4194304 5964478 140736394618544 140310440491320 4399912 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.13
Current children cumulated vsize (KiB) 705052

[startup+462.3 s]
/proc/loadavg: 4.10 4.07 3.93 5/181 26902
/proc/meminfo: memFree=30387348/32873844 swapFree=7116/7116
[pid=26895] ppid=26893 vsize=770588 CPUtime=924.06 cores=0,2,4,6
/proc/26895/stat : 26895 (pwbo2.02) S 26893 26895 24826 0 -1 4202496 182409 0 0 0 92237 169 0 0 20 0 3 0 331566617 789082112 171018 33554432000 4194304 5964478 140736394618544 140736394618064 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26895/statm: 192647 171018 204 433 0 192211 0
[pid=26895/tid=26897] ppid=26893 vsize=770588 CPUtime=462.14 cores=0,2,4,6
/proc/26895/task/26897/stat : 26897 (pwbo2.02) R 26893 26895 24826 0 -1 4202560 66908 0 0 0 46145 69 0 0 20 0 3 0 331566625 789082112 171018 33554432000 4194304 5964478 140736394618544 140310450980856 4400109 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26895/tid=26898] ppid=26893 vsize=770588 CPUtime=462.03 cores=0,2,4,6
/proc/26895/task/26898/stat : 26898 (pwbo2.02) R 26893 26895 24826 0 -1 4202560 112737 0 0 0 46088 115 0 0 20 0 3 0 331566625 789082112 171018 33554432000 4194304 5964478 140736394618544 140310440491320 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.06
Current children cumulated vsize (KiB) 770588

[startup+522.3 s]
/proc/loadavg: 4.10 4.07 3.94 5/182 26903
/proc/meminfo: memFree=30330100/32873844 swapFree=7116/7116
[pid=26895] ppid=26893 vsize=770720 CPUtime=1044.02 cores=0,2,4,6
/proc/26895/stat : 26895 (pwbo2.02) S 26893 26895 24826 0 -1 4202496 188823 0 0 0 104225 177 0 0 20 0 3 0 331566617 789217280 178428 33554432000 4194304 5964478 140736394618544 140736394618064 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26895/statm: 192680 178428 204 433 0 192244 0
[pid=26895/tid=26897] ppid=26893 vsize=770720 CPUtime=522.14 cores=0,2,4,6
/proc/26895/task/26897/stat : 26897 (pwbo2.02) R 26893 26895 24826 0 -1 4202560 73290 0 0 0 52137 77 0 0 20 0 3 0 331566625 789217280 178428 33554432000 4194304 5964478 140736394618544 140310450980904 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26895/tid=26898] ppid=26893 vsize=770720 CPUtime=522.02 cores=0,2,4,6
/proc/26895/task/26898/stat : 26898 (pwbo2.02) R 26893 26895 24826 0 -1 4202560 112769 0 0 0 52087 115 0 0 20 0 3 0 331566625 789217280 178428 33554432000 4194304 5964478 140736394618544 140310440491080 4400056 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.02
Current children cumulated vsize (KiB) 770720

[startup+582.3 s]
/proc/loadavg: 4.08 4.07 3.94 5/181 26904
/proc/meminfo: memFree=30266772/32873844 swapFree=7116/7116
[pid=26895] ppid=26893 vsize=837340 CPUtime=1164.01 cores=0,2,4,6
/proc/26895/stat : 26895 (pwbo2.02) S 26893 26895 24826 0 -1 4202496 192565 0 0 0 116220 181 0 0 20 0 3 0 331566617 857436160 182169 33554432000 4194304 5964478 140736394618544 140736394618064 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26895/statm: 209335 182169 204 433 0 208899 0
[pid=26895/tid=26897] ppid=26893 vsize=837340 CPUtime=582.14 cores=0,2,4,6
/proc/26895/task/26897/stat : 26897 (pwbo2.02) R 26893 26895 24826 0 -1 4202560 76964 0 0 0 58133 81 0 0 20 0 3 0 331566625 857436160 182169 33554432000 4194304 5964478 140736394618544 140310450980664 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26895/tid=26898] ppid=26893 vsize=837340 CPUtime=582.02 cores=0,2,4,6
/proc/26895/task/26898/stat : 26898 (pwbo2.02) R 26893 26895 24826 0 -1 4202560 112837 0 0 0 58086 116 0 0 20 0 3 0 331566625 857436160 182169 33554432000 4194304 5964478 140736394618544 140310440491080 4399854 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1164.01
Current children cumulated vsize (KiB) 837340

[startup+642.3 s]
/proc/loadavg: 4.09 4.07 3.95 5/181 26945
/proc/meminfo: memFree=30695588/32873844 swapFree=7116/7116
[pid=26895] ppid=26893 vsize=837484 CPUtime=1283.98 cores=0,2,4,6
/proc/26895/stat : 26895 (pwbo2.02) S 26893 26895 24826 0 -1 4202496 193295 0 0 0 128217 181 0 0 20 0 3 0 331566617 857583616 182898 33554432000 4194304 5964478 140736394618544 140736394618064 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26895/statm: 209371 182898 204 433 0 208935 0
[pid=26895/tid=26897] ppid=26893 vsize=837484 CPUtime=642.14 cores=0,2,4,6
/proc/26895/task/26897/stat : 26897 (pwbo2.02) R 26893 26895 24826 0 -1 4202560 77633 0 0 0 64131 83 0 0 20 0 3 0 331566625 857583616 182898 33554432000 4194304 5964478 140736394618544 140310450980664 4400519 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26895/tid=26898] ppid=26893 vsize=837484 CPUtime=642.02 cores=0,2,4,6
/proc/26895/task/26898/stat : 26898 (pwbo2.02) R 26893 26895 24826 0 -1 4202560 112898 0 0 0 64084 118 0 0 20 0 3 0 331566625 857583616 182898 33554432000 4194304 5964478 140736394618544 140310440491080 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1283.98
Current children cumulated vsize (KiB) 837484

[startup+702.3 s]
/proc/loadavg: 4.03 4.05 3.95 5/181 26945
/proc/meminfo: memFree=30498776/32873844 swapFree=7116/7116
[pid=26895] ppid=26893 vsize=835204 CPUtime=1403.93 cores=0,2,4,6
/proc/26895/stat : 26895 (pwbo2.02) S 26893 26895 24826 0 -1 4202496 193493 0 0 0 140211 182 0 0 20 0 3 0 331566617 855248896 183387 33554432000 4194304 5964478 140736394618544 140736394618064 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26895/statm: 208801 183387 204 433 0 208365 0
[pid=26895/tid=26897] ppid=26893 vsize=835204 CPUtime=702.1 cores=0,2,4,6
/proc/26895/task/26897/stat : 26897 (pwbo2.02) R 26893 26895 24826 0 -1 4202560 77825 0 0 0 70126 84 0 0 20 0 3 0 331566625 855248896 183387 33554432000 4194304 5964478 140736394618544 140310450981816 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26895/tid=26898] ppid=26893 vsize=835204 CPUtime=702.03 cores=0,2,4,6
/proc/26895/task/26898/stat : 26898 (pwbo2.02) R 26893 26895 24826 0 -1 4202560 112904 0 0 0 70084 119 0 0 20 0 3 0 331566625 855248896 183387 33554432000 4194304 5964478 140736394618544 140310440491080 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1403.93
Current children cumulated vsize (KiB) 835204

[startup+762.3 s]
/proc/loadavg: 4.01 4.04 3.95 5/181 26945
/proc/meminfo: memFree=30374440/32873844 swapFree=7116/7116
[pid=26895] ppid=26893 vsize=835392 CPUtime=1523.86 cores=0,2,4,6
/proc/26895/stat : 26895 (pwbo2.02) S 26893 26895 24826 0 -1 4202496 193624 0 0 0 152204 182 0 0 20 0 3 0 331566617 855441408 183702 33554432000 4194304 5964478 140736394618544 140736394618064 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26895/statm: 208848 183702 204 433 0 208412 0
[pid=26895/tid=26897] ppid=26893 vsize=835392 CPUtime=762.08 cores=0,2,4,6
/proc/26895/task/26897/stat : 26897 (pwbo2.02) R 26893 26895 24826 0 -1 4202560 77864 0 0 0 76123 85 0 0 20 0 3 0 331566625 855441408 183702 33554432000 4194304 5964478 140736394618544 140310450981816 4400067 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26895/tid=26898] ppid=26893 vsize=835392 CPUtime=762 cores=0,2,4,6
/proc/26895/task/26898/stat : 26898 (pwbo2.02) R 26893 26895 24826 0 -1 4202560 112996 0 0 0 76080 120 0 0 20 0 3 0 331566625 855441408 183702 33554432000 4194304 5964478 140736394618544 140310440491080 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1523.86
Current children cumulated vsize (KiB) 835392

[startup+822.3 s]
/proc/loadavg: 4.00 4.03 3.95 5/182 26948
/proc/meminfo: memFree=30286432/32873844 swapFree=7116/7116
[pid=26895] ppid=26893 vsize=901992 CPUtime=1643.83 cores=0,2,4,6
/proc/26895/stat : 26895 (pwbo2.02) S 26893 26895 24826 0 -1 4202496 206959 0 0 0 164182 201 0 0 20 0 3 0 331566617 923639808 197027 33554432000 4194304 5964478 140736394618544 140736394618064 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26895/statm: 225498 197027 204 433 0 225062 0
[pid=26895/tid=26897] ppid=26893 vsize=901992 CPUtime=822.09 cores=0,2,4,6
/proc/26895/task/26897/stat : 26897 (pwbo2.02) R 26893 26895 24826 0 -1 4202560 77864 0 0 0 82123 86 0 0 20 0 3 0 331566625 923639808 197027 33554432000 4194304 5964478 140736394618544 140310450981816 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26895/tid=26898] ppid=26893 vsize=901992 CPUtime=821.99 cores=0,2,4,6
/proc/26895/task/26898/stat : 26898 (pwbo2.02) R 26893 26895 24826 0 -1 4202560 126331 0 0 0 82059 140 0 0 20 0 3 0 331566625 923639808 197027 33554432000 4194304 5964478 140736394618544 140310440491320 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1643.83
Current children cumulated vsize (KiB) 901992

[startup+882.3 s]
/proc/loadavg: 4.05 4.04 3.95 5/181 26949
/proc/meminfo: memFree=30006296/32873844 swapFree=7116/7116
[pid=26895] ppid=26893 vsize=1033872 CPUtime=1763.8 cores=0,2,4,6
/proc/26895/stat : 26895 (pwbo2.02) S 26893 26895 24826 0 -1 4202496 230839 0 0 0 176154 226 0 0 20 0 3 0 331566617 1058684928 220909 33554432000 4194304 5964478 140736394618544 140736394618064 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26895/statm: 258468 220909 204 433 0 258032 0
[pid=26895/tid=26897] ppid=26893 vsize=1033872 CPUtime=882.1 cores=0,2,4,6
/proc/26895/task/26897/stat : 26897 (pwbo2.02) R 26893 26895 24826 0 -1 4202560 77864 0 0 0 88123 87 0 0 20 0 3 0 331566625 1058684928 220910 33554432000 4194304 5964478 140736394618544 140310450981816 4388228 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26895/tid=26898] ppid=26893 vsize=1033872 CPUtime=881.98 cores=0,2,4,6
/proc/26895/task/26898/stat : 26898 (pwbo2.02) R 26893 26895 24826 0 -1 4202560 150212 0 0 0 88032 166 0 0 20 0 3 0 331566625 1058684928 220910 33554432000 4194304 5964478 140736394618544 140310440491320 5136490 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1763.8
Current children cumulated vsize (KiB) 1033872



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.5 s]
/proc/loadavg: 4.04 4.03 3.95 5/181 26949
/proc/meminfo: memFree=29943428/32873844 swapFree=7116/7116
[pid=26895] ppid=26893 vsize=1033872 CPUtime=1800.19 cores=0,2,4,6
/proc/26895/stat : 26895 (pwbo2.02) S 26893 26895 24826 0 -1 4202496 237922 0 0 0 179786 233 0 0 20 0 3 0 331566617 1058684928 227992 33554432000 4194304 5964478 140736394618544 140736394618064 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26895/statm: 258468 227992 204 433 0 258032 0
[pid=26895/tid=26897] ppid=26893 vsize=1033872 CPUtime=900.3 cores=0,2,4,6
/proc/26895/task/26897/stat : 26897 (pwbo2.02) R 26893 26895 24826 0 -1 4202560 77864 0 0 0 89943 87 0 0 20 0 3 0 331566625 1058684928 227992 33554432000 4194304 5964478 140736394618544 140310450981816 4400115 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26895/tid=26898] ppid=26893 vsize=1033872 CPUtime=900.18 cores=0,2,4,6
/proc/26895/task/26898/stat : 26898 (pwbo2.02) R 26893 26895 24826 0 -1 4202560 157294 0 0 0 89845 173 0 0 20 0 3 0 331566625 1058684928 227992 33554432000 4194304 5964478 140736394618544 140310440491320 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 1033872

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

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

[startup+900.5 s]
/proc/loadavg: 4.04 4.03 3.95 5/181 26949
/proc/meminfo: memFree=29943428/32873844 swapFree=7116/7116
[pid=26895] ppid=26893 vsize=1033872 CPUtime=1800.19 cores=0,2,4,6
/proc/26895/stat : 26895 (pwbo2.02) S 26893 26895 24826 0 -1 4202496 237922 0 0 0 179786 233 0 0 20 0 3 0 331566617 1058684928 227992 33554432000 4194304 5964478 140736394618544 140736394618064 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26895/statm: 258468 227992 204 433 0 258032 0
[pid=26895/tid=26897] ppid=26893 vsize=1033872 CPUtime=900.3 cores=0,2,4,6
/proc/26895/task/26897/stat : 26897 (pwbo2.02) R 26893 26895 24826 0 -1 4202560 77864 0 0 0 89943 87 0 0 20 0 3 0 331566625 1058684928 227992 33554432000 4194304 5964478 140736394618544 140310450981816 4400115 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26895/tid=26898] ppid=26893 vsize=1033872 CPUtime=900.18 cores=0,2,4,6
/proc/26895/task/26898/stat : 26898 (pwbo2.02) R 26893 26895 24826 0 -1 4202560 157294 0 0 0 89845 173 0 0 20 0 3 0 331566625 1058684928 227992 33554432000 4194304 5964478 140736394618544 140310440491320 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 1033872

Child status: 0
Real time (s): 900.529
CPU time (s): 1800.62
CPU user time (s): 1797.97
CPU system time (s): 2.6436
CPU usage (%): 199.951
Max. virtual memory (cumulated for all children) (KiB): 1033872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.97
system time used= 2.6436
maximum resident set size= 911976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 237924
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= 1193
involuntary context switches= 2013

runsolver used 1.73074 second user time and 5.11522 second system time

The end

Launcher Data 

Begin job on node111 at 2012-06-02 18:26:36
IDJOB=3725927
IDBENCH=2240
IDSOLVER=2309
FILE ID=node111/3725927-1338654396
RUNJOBID= node111-1338651416-26330
PBS_JOBID= 14636469
Free space on /tmp= 67392 MiB

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

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

MD5SUM BENCH= f408a60720d5bae3e36cea0c41e2f7f1
RANDOM SEED=319507857

node111.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.152
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	: 5332.30
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.152
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.152
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.92
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.152
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.152
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.152
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.152
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.152
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31244208 kB
Buffers:          148976 kB
Cached:           429544 kB
SwapCached:         1352 kB
Active:           385204 kB
Inactive:         457980 kB
Active(anon):     265804 kB
Inactive(anon):     1120 kB
Active(file):     119400 kB
Inactive(file):   456860 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67100048 kB
Dirty:              6232 kB
Writeback:             0 kB
AnonPages:        263076 kB
Mapped:             9516 kB
Shmem:                 0 kB
Slab:             644276 kB
SReclaimable:      86572 kB
SUnreclaim:       557704 kB
KernelStack:        1472 kB
PageTables:         4524 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     175956 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 67384 MiB
End job on node111 at 2012-06-02 18:41:39