Trace number 3725926

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)-37 1800.61 900.443

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-4.opb
MD5SUM7262f9f4ab1a3ada75b3b140acf97f7d
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 benchmark269.661
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -40
Optimality of the best value was proved NO
Number of variables760
Total number of constraints41605
Number of constraints which are clauses41605
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-3725926-1338654480.opb.
0.00/0.00	c Instance file HOME/instance-3725926-1338654480.opb
0.00/0.00	c File size is 993315 bytes.
0.05/0.08	c Cost Offset: -760
0.05/0.08	c Highest Coefficient sum: 3
0.05/0.08	c ============================[ Problem Statistics ]=============================
0.05/0.08	c |                                                                             |
0.05/0.08	c |  Parsing time:          0.08         s                                      |
0.05/0.08	c |  Number Variables:      760                                                 |
0.05/0.08	c |  Number Clauses:        41605                                               |
0.05/0.08	c |  Number Cardinality:    0                                                   |
0.05/0.08	c |  Number PB Constraints: 0                                                   |
0.05/0.08	c |                                                                             |
0.09/0.10	c |  Problem Type:          Optimization                                        |
0.09/0.10	c |  Objective Function:    Cardinality Constraint                              |
0.09/0.10	c |                                                                             |
0.09/0.10	c ===============================================================================
1800.16/900.41	o -29
1800.16/900.41	o -30
1800.16/900.41	o -31
1800.16/900.41	o -32
1800.16/900.41	o -33
1800.16/900.41	o -34
1800.16/900.41	o -35
1800.16/900.41	o -36
1800.16/900.41	o -37
1800.16/900.41	c ===============================================================================
1800.16/900.41	c Wall Clock Time: 900.41 s
1800.16/900.41	c Best Solution: -37
1800.16/900.41	s SATISFIABLE
1800.16/900.41	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	-37

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

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 3.97 3.98 3.82 4/178 22898
/proc/meminfo: memFree=27825204/32873648 swapFree=6852/6852
[pid=22898] ppid=22896 vsize=5300 CPUtime=0 cores=0,2,4,6
/proc/22898/stat : 22898 (pwbo2.02) R 22896 22898 20635 0 -1 4202496 409 0 0 0 0 0 0 0 20 0 1 0 331574752 5427200 361 33554432000 4194304 5964478 140733606699264 140734178979896 4419088 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/22898/statm: 1325 361 166 433 0 646 0

[startup+0.0572411 s]
/proc/loadavg: 3.97 3.98 3.82 4/178 22898
/proc/meminfo: memFree=27825204/32873648 swapFree=6852/6852
[pid=22898] ppid=22896 vsize=9664 CPUtime=0.05 cores=0,2,4,6
/proc/22898/stat : 22898 (pwbo2.02) R 22896 22898 20635 0 -1 4202496 1616 0 0 0 5 0 0 0 20 0 1 0 331574752 9895936 1568 33554432000 4194304 5964478 140733606699264 140734178979896 5136490 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/22898/statm: 2449 1569 320 433 0 1770 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9664

[startup+0.100198 s]
/proc/loadavg: 3.97 3.98 3.82 4/178 22898
/proc/meminfo: memFree=27825204/32873648 swapFree=6852/6852
[pid=22898] ppid=22896 vsize=169700 CPUtime=0.09 cores=0,2,4,6
/proc/22898/stat : 22898 (pwbo2.02) S 22896 22898 20635 0 -1 4202496 5463 0 0 0 8 1 0 0 20 0 3 0 331574752 173772800 5102 33554432000 4194304 5964478 140733606699264 140733606698784 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22898/statm: 42425 5102 173 433 0 41989 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 169700

[startup+0.300186 s]
/proc/loadavg: 3.97 3.98 3.82 4/178 22898
/proc/meminfo: memFree=27825204/32873648 swapFree=6852/6852
[pid=22898] ppid=22896 vsize=174916 CPUtime=0.48 cores=0,2,4,6
/proc/22898/stat : 22898 (pwbo2.02) S 22896 22898 20635 0 -1 4202496 9906 0 0 0 45 3 0 0 20 0 3 0 331574752 179113984 8867 33554432000 4194304 5964478 140733606699264 140733606698784 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22898/statm: 43729 8867 201 433 0 43293 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 174916

[startup+0.70019 s]
/proc/loadavg: 3.97 3.98 3.82 4/178 22898
/proc/meminfo: memFree=27825204/32873648 swapFree=6852/6852
[pid=22898] ppid=22896 vsize=174916 CPUtime=1.28 cores=0,2,4,6
/proc/22898/stat : 22898 (pwbo2.02) S 22896 22898 20635 0 -1 4202496 10907 0 0 0 124 4 0 0 20 0 3 0 331574752 179113984 8861 33554432000 4194304 5964478 140733606699264 140733606698784 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22898/statm: 43729 8861 202 433 0 43293 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 174916

[startup+1.5003 s]
/proc/loadavg: 3.97 3.98 3.82 5/181 22901
/proc/meminfo: memFree=27786948/32873648 swapFree=6852/6852
[pid=22898] ppid=22896 vsize=174916 CPUtime=2.87 cores=0,2,4,6
/proc/22898/stat : 22898 (pwbo2.02) S 22896 22898 20635 0 -1 4202496 12728 0 0 0 283 4 0 0 20 0 3 0 331574752 179113984 8931 33554432000 4194304 5964478 140733606699264 140733606698784 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22898/statm: 43729 8931 202 433 0 43293 0
[pid=22898/tid=22900] ppid=22896 vsize=174916 CPUtime=1.4 cores=0,2,4,6
/proc/22898/task/22900/stat : 22900 (pwbo2.02) R 22896 22898 20635 0 -1 4202560 6130 0 0 0 137 3 0 0 20 0 3 0 331574760 179113984 8931 33554432000 4194304 5964478 140733606699264 139842064341528 5122378 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22898/tid=22901] ppid=22896 vsize=174916 CPUtime=1.4 cores=0,2,4,6
/proc/22898/task/22901/stat : 22901 (pwbo2.02) R 22896 22898 20635 0 -1 4202560 3834 0 0 0 138 2 0 0 20 0 3 0 331574760 179113984 8931 33554432000 4194304 5964478 140733606699264 139842053851384 4399920 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) 174916

[startup+3.1003 s]
/proc/loadavg: 3.97 3.98 3.82 5/181 22901
/proc/meminfo: memFree=27783228/32873648 swapFree=6852/6852
[pid=22898] ppid=22896 vsize=174916 CPUtime=6.07 cores=0,2,4,6
/proc/22898/stat : 22898 (pwbo2.02) S 22896 22898 20635 0 -1 4202496 13430 0 0 0 603 4 0 0 20 0 3 0 331574752 179113984 9633 33554432000 4194304 5964478 140733606699264 140733606698784 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22898/statm: 43729 9633 202 433 0 43293 0
[pid=22898/tid=22900] ppid=22896 vsize=174916 CPUtime=3 cores=0,2,4,6
/proc/22898/task/22900/stat : 22900 (pwbo2.02) R 22896 22898 20635 0 -1 4202560 6518 0 0 0 297 3 0 0 20 0 3 0 331574760 179113984 9633 33554432000 4194304 5964478 140733606699264 139842064341448 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22898/tid=22901] ppid=22896 vsize=174916 CPUtime=2.99 cores=0,2,4,6
/proc/22898/task/22901/stat : 22901 (pwbo2.02) R 22896 22898 20635 0 -1 4202560 4148 0 0 0 297 2 0 0 20 0 3 0 331574760 179113984 9633 33554432000 4194304 5964478 140733606699264 139842053851256 4399915 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) 174916

[startup+6.30029 s]
/proc/loadavg: 3.97 3.98 3.82 5/181 22901
/proc/meminfo: memFree=27760784/32873648 swapFree=6852/6852
[pid=22898] ppid=22896 vsize=174916 CPUtime=12.47 cores=0,2,4,6
/proc/22898/stat : 22898 (pwbo2.02) S 22896 22898 20635 0 -1 4202496 20042 0 0 0 1240 7 0 0 20 0 3 0 331574752 179113984 12942 33554432000 4194304 5964478 140733606699264 140733606698784 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22898/statm: 43729 12942 203 433 0 43293 0
[pid=22898/tid=22900] ppid=22896 vsize=174916 CPUtime=6.2 cores=0,2,4,6
/proc/22898/task/22900/stat : 22900 (pwbo2.02) R 22896 22898 20635 0 -1 4202560 10771 0 0 0 615 5 0 0 20 0 3 0 331574760 179113984 12942 33554432000 4194304 5964478 140733606699264 139842064341528 4419535 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22898/tid=22901] ppid=22896 vsize=174916 CPUtime=6.19 cores=0,2,4,6
/proc/22898/task/22901/stat : 22901 (pwbo2.02) R 22896 22898 20635 0 -1 4202560 6508 0 0 0 616 3 0 0 20 0 3 0 331574760 179113984 12943 33554432000 4194304 5964478 140733606699264 139842053851448 5136420 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 174916

[startup+12.7003 s]
/proc/loadavg: 3.98 3.98 3.82 5/181 22901
/proc/meminfo: memFree=27721312/32873648 swapFree=6852/6852
[pid=22898] ppid=22896 vsize=174916 CPUtime=25.27 cores=0,2,4,6
/proc/22898/stat : 22898 (pwbo2.02) S 22896 22898 20635 0 -1 4202496 30468 0 0 0 2516 11 0 0 20 0 3 0 331574752 179113984 20368 33554432000 4194304 5964478 140733606699264 140733606698784 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22898/statm: 43729 20368 203 433 0 43293 0
[pid=22898/tid=22900] ppid=22896 vsize=174916 CPUtime=12.6 cores=0,2,4,6
/proc/22898/task/22900/stat : 22900 (pwbo2.02) R 22896 22898 20635 0 -1 4202560 16031 0 0 0 1254 6 0 0 20 0 3 0 331574760 179113984 20368 33554432000 4194304 5964478 140733606699264 139842064340984 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22898/tid=22901] ppid=22896 vsize=174916 CPUtime=12.59 cores=0,2,4,6
/proc/22898/task/22901/stat : 22901 (pwbo2.02) R 22896 22898 20635 0 -1 4202560 11673 0 0 0 1253 6 0 0 20 0 3 0 331574760 179113984 20368 33554432000 4194304 5964478 140733606699264 139842053851496 4400024 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 174916

[startup+25.5003 s]
/proc/loadavg: 3.98 3.98 3.82 5/181 22901
/proc/meminfo: memFree=27623460/32873648 swapFree=6852/6852
[pid=22898] ppid=22896 vsize=241176 CPUtime=50.86 cores=0,2,4,6
/proc/22898/stat : 22898 (pwbo2.02) S 22896 22898 20635 0 -1 4202496 43090 0 0 0 5055 31 0 0 20 0 3 0 331574752 246964224 32990 33554432000 4194304 5964478 140733606699264 140733606698784 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22898/statm: 60294 32990 203 433 0 59858 0
[pid=22898/tid=22900] ppid=22896 vsize=241176 CPUtime=25.4 cores=0,2,4,6
/proc/22898/task/22900/stat : 22900 (pwbo2.02) R 22896 22898 20635 0 -1 4202560 20208 0 0 0 2530 10 0 0 20 0 3 0 331574760 246964224 32990 33554432000 4194304 5964478 140733606699264 139842064341528 4400470 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22898/tid=22901] ppid=22896 vsize=241176 CPUtime=25.39 cores=0,2,4,6
/proc/22898/task/22901/stat : 22901 (pwbo2.02) R 22896 22898 20635 0 -1 4202560 20118 0 0 0 2517 22 0 0 20 0 3 0 331574760 246964224 32990 33554432000 4194304 5964478 140733606699264 139842053851448 5136420 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) 241176

[startup+51.1004 s]
/proc/loadavg: 3.98 3.98 3.82 5/181 22901
/proc/meminfo: memFree=27464636/32873648 swapFree=6852/6852
[pid=22898] ppid=22896 vsize=307480 CPUtime=102.05 cores=0,2,4,6
/proc/22898/stat : 22898 (pwbo2.02) S 22896 22898 20635 0 -1 4202496 61953 0 0 0 10156 49 0 0 20 0 3 0 331574752 314859520 50974 33554432000 4194304 5964478 140733606699264 140733606698784 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22898/statm: 76870 50974 203 433 0 76434 0
[pid=22898/tid=22900] ppid=22896 vsize=307480 CPUtime=51 cores=0,2,4,6
/proc/22898/task/22900/stat : 22900 (pwbo2.02) R 22896 22898 20635 0 -1 4202560 23369 0 0 0 5088 12 0 0 20 0 3 0 331574760 314859520 50974 33554432000 4194304 5964478 140733606699264 139842064340792 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22898/tid=22901] ppid=22896 vsize=307480 CPUtime=50.99 cores=0,2,4,6
/proc/22898/task/22901/stat : 22901 (pwbo2.02) R 22896 22898 20635 0 -1 4202560 35820 0 0 0 5061 38 0 0 20 0 3 0 331574760 314859520 50974 33554432000 4194304 5964478 140733606699264 139842053851448 4399920 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) 307480

[startup+102.307 s]
/proc/loadavg: 4.03 4.00 3.84 5/181 22901
/proc/meminfo: memFree=27318940/32873648 swapFree=6852/6852
[pid=22898] ppid=22896 vsize=374016 CPUtime=204.45 cores=0,2,4,6
/proc/22898/stat : 22898 (pwbo2.02) S 22896 22898 20635 0 -1 4202496 82295 0 0 0 20375 70 0 0 20 0 3 0 331574752 382992384 71315 33554432000 4194304 5964478 140733606699264 140733606698784 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22898/statm: 93504 71315 203 433 0 93068 0
[pid=22898/tid=22900] ppid=22896 vsize=374016 CPUtime=102.21 cores=0,2,4,6
/proc/22898/task/22900/stat : 22900 (pwbo2.02) R 22896 22898 20635 0 -1 4202560 32715 0 0 0 10195 26 0 0 20 0 3 0 331574760 382992384 71315 33554432000 4194304 5964478 140733606699264 139842064340792 4400115 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22898/tid=22901] ppid=22896 vsize=374016 CPUtime=102.2 cores=0,2,4,6
/proc/22898/task/22901/stat : 22901 (pwbo2.02) R 22896 22898 20635 0 -1 4202560 46816 0 0 0 10173 47 0 0 20 0 3 0 331574760 382992384 71315 33554432000 4194304 5964478 140733606699264 139842053851448 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.45
Current children cumulated vsize (KiB) 374016

[startup+162.3 s]
/proc/loadavg: 4.08 4.02 3.85 5/182 22904
/proc/meminfo: memFree=27149320/32873648 swapFree=6852/6852
[pid=22898] ppid=22896 vsize=506532 CPUtime=324.41 cores=0,2,4,6
/proc/22898/stat : 22898 (pwbo2.02) S 22896 22898 20635 0 -1 4202496 117896 0 0 0 32335 106 0 0 20 0 3 0 331574752 518688768 106916 33554432000 4194304 5964478 140733606699264 140733606698784 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22898/statm: 126633 106916 203 433 0 126197 0
[pid=22898/tid=22900] ppid=22896 vsize=506532 CPUtime=162.21 cores=0,2,4,6
/proc/22898/task/22900/stat : 22900 (pwbo2.02) R 22896 22898 20635 0 -1 4202560 40164 0 0 0 16176 45 0 0 20 0 3 0 331574760 518688768 106916 33554432000 4194304 5964478 140733606699264 139842064340984 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22898/tid=22901] ppid=22896 vsize=506532 CPUtime=162.2 cores=0,2,4,6
/proc/22898/task/22901/stat : 22901 (pwbo2.02) R 22896 22898 20635 0 -1 4202560 74968 0 0 0 16154 66 0 0 20 0 3 0 331574760 518688768 106916 33554432000 4194304 5964478 140733606699264 139842053851448 4399920 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) 506532

[startup+222.3 s]
/proc/loadavg: 4.03 4.01 3.85 5/181 22905
/proc/meminfo: memFree=26910032/32873648 swapFree=6852/6852
[pid=22898] ppid=22896 vsize=638200 CPUtime=444.39 cores=0,2,4,6
/proc/22898/stat : 22898 (pwbo2.02) S 22896 22898 20635 0 -1 4202496 145026 0 0 0 44309 130 0 0 20 0 3 0 331574752 653516800 134424 33554432000 4194304 5964478 140733606699264 140733606698784 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22898/statm: 159550 134424 203 433 0 159114 0
[pid=22898/tid=22900] ppid=22896 vsize=638200 CPUtime=222.21 cores=0,2,4,6
/proc/22898/task/22900/stat : 22900 (pwbo2.02) R 22896 22898 20635 0 -1 4202560 44167 0 0 0 22171 50 0 0 20 0 3 0 331574760 653516800 134424 33554432000 4194304 5964478 140733606699264 139842064340792 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22898/tid=22901] ppid=22896 vsize=638200 CPUtime=222.19 cores=0,2,4,6
/proc/22898/task/22901/stat : 22901 (pwbo2.02) R 22896 22898 20635 0 -1 4202560 98095 0 0 0 22132 87 0 0 20 0 3 0 331574760 653516800 134424 33554432000 4194304 5964478 140733606699264 139842053851448 4400056 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.39
Current children cumulated vsize (KiB) 638200

[startup+282.3 s]
/proc/loadavg: 4.01 4.00 3.86 5/181 22905
/proc/meminfo: memFree=26788292/32873648 swapFree=6852/6852
[pid=22898] ppid=22896 vsize=704408 CPUtime=564.34 cores=0,2,4,6
/proc/22898/stat : 22898 (pwbo2.02) S 22896 22898 20635 0 -1 4202496 162662 0 0 0 56293 141 0 0 20 0 3 0 331574752 721313792 152047 33554432000 4194304 5964478 140733606699264 140733606698784 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22898/statm: 176102 152047 203 433 0 175666 0
[pid=22898/tid=22900] ppid=22896 vsize=704408 CPUtime=282.21 cores=0,2,4,6
/proc/22898/task/22900/stat : 22900 (pwbo2.02) R 22896 22898 20635 0 -1 4202560 53832 0 0 0 28164 57 0 0 20 0 3 0 331574760 721313792 152047 33554432000 4194304 5964478 140733606699264 139842064340984 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22898/tid=22901] ppid=22896 vsize=704408 CPUtime=282.16 cores=0,2,4,6
/proc/22898/task/22901/stat : 22901 (pwbo2.02) R 22896 22898 20635 0 -1 4202560 106066 0 0 0 28124 92 0 0 20 0 3 0 331574760 721313792 152047 33554432000 4194304 5964478 140733606699264 139842053851208 4392851 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.34
Current children cumulated vsize (KiB) 704408

[startup+342.3 s]
/proc/loadavg: 4.00 4.00 3.86 5/182 22906
/proc/meminfo: memFree=26758804/32873648 swapFree=6852/6852
[pid=22898] ppid=22896 vsize=704676 CPUtime=684.27 cores=0,2,4,6
/proc/22898/stat : 22898 (pwbo2.02) S 22896 22898 20635 0 -1 4202496 164499 0 0 0 68285 142 0 0 20 0 3 0 331574752 721588224 154163 33554432000 4194304 5964478 140733606699264 140733606698784 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22898/statm: 176169 154163 203 433 0 175733 0
[pid=22898/tid=22900] ppid=22896 vsize=704676 CPUtime=342.19 cores=0,2,4,6
/proc/22898/task/22900/stat : 22900 (pwbo2.02) R 22896 22898 20635 0 -1 4202560 55585 0 0 0 34160 59 0 0 20 0 3 0 331574760 721588224 154163 33554432000 4194304 5964478 140733606699264 139842064340856 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22898/tid=22901] ppid=22896 vsize=704676 CPUtime=342.15 cores=0,2,4,6
/proc/22898/task/22901/stat : 22901 (pwbo2.02) R 22896 22898 20635 0 -1 4202560 106150 0 0 0 34122 93 0 0 20 0 3 0 331574760 721588224 154163 33554432000 4194304 5964478 140733606699264 139842053851208 4400010 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.27
Current children cumulated vsize (KiB) 704676

[startup+402.3 s]
/proc/loadavg: 4.00 4.00 3.87 5/181 22906
/proc/meminfo: memFree=26664600/32873648 swapFree=6852/6852
[pid=22898] ppid=22896 vsize=704816 CPUtime=804.21 cores=0,2,4,6
/proc/22898/stat : 22898 (pwbo2.02) S 22896 22898 20635 0 -1 4202496 174569 0 0 0 80266 155 0 0 20 0 3 0 331574752 721731584 164180 33554432000 4194304 5964478 140733606699264 140733606698784 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22898/statm: 176204 164180 203 433 0 175768 0
[pid=22898/tid=22900] ppid=22896 vsize=704816 CPUtime=402.19 cores=0,2,4,6
/proc/22898/task/22900/stat : 22900 (pwbo2.02) R 22896 22898 20635 0 -1 4202560 58812 0 0 0 40152 67 0 0 20 0 3 0 331574760 721731584 164180 33554432000 4194304 5964478 140733606699264 139842064340984 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22898/tid=22901] ppid=22896 vsize=704816 CPUtime=402.11 cores=0,2,4,6
/proc/22898/task/22901/stat : 22901 (pwbo2.02) R 22896 22898 20635 0 -1 4202560 112993 0 0 0 40111 100 0 0 20 0 3 0 331574760 721731584 164180 33554432000 4194304 5964478 140733606699264 139842053851448 4400056 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.21
Current children cumulated vsize (KiB) 704816

[startup+462.3 s]
/proc/loadavg: 4.00 4.00 3.88 5/181 22906
/proc/meminfo: memFree=26417000/32873648 swapFree=6852/6852
[pid=22898] ppid=22896 vsize=902656 CPUtime=924.15 cores=0,2,4,6
/proc/22898/stat : 22898 (pwbo2.02) S 22896 22898 20635 0 -1 4202496 205901 0 0 0 92222 193 0 0 20 0 3 0 331574752 924319744 195483 33554432000 4194304 5964478 140733606699264 140733606698784 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22898/statm: 225664 195483 203 433 0 225228 0
[pid=22898/tid=22900] ppid=22896 vsize=902656 CPUtime=462.17 cores=0,2,4,6
/proc/22898/task/22900/stat : 22900 (pwbo2.02) R 22896 22898 20635 0 -1 4202560 66251 0 0 0 46128 89 0 0 20 0 3 0 331574760 924319744 195483 33554432000 4194304 5964478 140733606699264 139842064341032 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22898/tid=22901] ppid=22896 vsize=902656 CPUtime=462.09 cores=0,2,4,6
/proc/22898/task/22901/stat : 22901 (pwbo2.02) R 22896 22898 20635 0 -1 4202560 136886 0 0 0 46090 119 0 0 20 0 3 0 331574760 924319744 195483 33554432000 4194304 5964478 140733606699264 139842053851448 4400091 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.15
Current children cumulated vsize (KiB) 902656

[startup+522.3 s]
/proc/loadavg: 4.00 4.00 3.88 5/181 22907
/proc/meminfo: memFree=26235000/32873648 swapFree=6852/6852
[pid=22898] ppid=22896 vsize=969100 CPUtime=1044.1 cores=0,2,4,6
/proc/22898/stat : 22898 (pwbo2.02) S 22896 22898 20635 0 -1 4202496 230116 0 0 0 104193 217 0 0 20 0 3 0 331574752 992358400 219654 33554432000 4194304 5964478 140733606699264 140733606698784 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22898/statm: 242275 219654 203 433 0 241839 0
[pid=22898/tid=22900] ppid=22896 vsize=969100 CPUtime=522.17 cores=0,2,4,6
/proc/22898/task/22900/stat : 22900 (pwbo2.02) R 22896 22898 20635 0 -1 4202560 71477 0 0 0 52116 101 0 0 20 0 3 0 331574760 992358400 219654 33554432000 4194304 5964478 140733606699264 139842064341032 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22898/tid=22901] ppid=22896 vsize=969100 CPUtime=522.06 cores=0,2,4,6
/proc/22898/task/22901/stat : 22901 (pwbo2.02) R 22896 22898 20635 0 -1 4202560 155875 0 0 0 52075 131 0 0 20 0 3 0 331574760 992358400 219654 33554432000 4194304 5964478 140733606699264 139842053851448 4400740 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.1
Current children cumulated vsize (KiB) 969100

[startup+582.3 s]
/proc/loadavg: 4.00 4.00 3.89 5/181 22907
/proc/meminfo: memFree=26220436/32873648 swapFree=6852/6852
[pid=22898] ppid=22896 vsize=1036892 CPUtime=1164.08 cores=0,2,4,6
/proc/22898/stat : 22898 (pwbo2.02) S 22896 22898 20635 0 -1 4202496 236263 0 0 0 116177 231 0 0 20 0 3 0 331574752 1061777408 226810 33554432000 4194304 5964478 140733606699264 140733606698784 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22898/statm: 259223 226810 203 433 0 258787 0
[pid=22898/tid=22900] ppid=22896 vsize=1036892 CPUtime=582.17 cores=0,2,4,6
/proc/22898/task/22900/stat : 22900 (pwbo2.02) R 22896 22898 20635 0 -1 4202560 77610 0 0 0 58101 116 0 0 20 0 3 0 331574760 1061777408 226810 33554432000 4194304 5964478 140733606699264 139842064340984 4400056 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22898/tid=22901] ppid=22896 vsize=1036892 CPUtime=582.06 cores=0,2,4,6
/proc/22898/task/22901/stat : 22901 (pwbo2.02) R 22896 22898 20635 0 -1 4202560 155889 0 0 0 58074 132 0 0 20 0 3 0 331574760 1061777408 226810 33554432000 4194304 5964478 140733606699264 139842053851448 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1164.08
Current children cumulated vsize (KiB) 1036892

[startup+642.3 s]
/proc/loadavg: 4.08 4.02 3.90 5/181 22907
/proc/meminfo: memFree=26214388/32873648 swapFree=6852/6852
[pid=22898] ppid=22896 vsize=1037032 CPUtime=1284.07 cores=0,2,4,6
/proc/22898/stat : 22898 (pwbo2.02) S 22896 22898 20635 0 -1 4202496 237579 0 0 0 128173 234 0 0 20 0 3 0 331574752 1061920768 228124 33554432000 4194304 5964478 140733606699264 140733606698784 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22898/statm: 259258 228124 203 433 0 258822 0
[pid=22898/tid=22900] ppid=22896 vsize=1037032 CPUtime=642.18 cores=0,2,4,6
/proc/22898/task/22900/stat : 22900 (pwbo2.02) R 22896 22898 20635 0 -1 4202560 78886 0 0 0 64097 121 0 0 20 0 3 0 331574760 1061920768 228124 33554432000 4194304 5964478 140733606699264 139842064340792 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22898/tid=22901] ppid=22896 vsize=1037032 CPUtime=642.07 cores=0,2,4,6
/proc/22898/task/22901/stat : 22901 (pwbo2.02) R 22896 22898 20635 0 -1 4202560 155929 0 0 0 64074 133 0 0 20 0 3 0 331574760 1061920768 228124 33554432000 4194304 5964478 140733606699264 139842053851208 4399986 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1284.07
Current children cumulated vsize (KiB) 1037032

[startup+702.3 s]
/proc/loadavg: 4.03 4.01 3.90 5/181 22907
/proc/meminfo: memFree=26211208/32873648 swapFree=6852/6852
[pid=22898] ppid=22896 vsize=1038280 CPUtime=1404.04 cores=0,2,4,6
/proc/22898/stat : 22898 (pwbo2.02) S 22896 22898 20635 0 -1 4202496 238117 0 0 0 140170 234 0 0 20 0 3 0 331574752 1063198720 228572 33554432000 4194304 5964478 140733606699264 140733606698784 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22898/statm: 259570 228572 203 433 0 259134 0
[pid=22898/tid=22900] ppid=22896 vsize=1038280 CPUtime=702.18 cores=0,2,4,6
/proc/22898/task/22900/stat : 22900 (pwbo2.02) R 22896 22898 20635 0 -1 4202560 79386 0 0 0 70096 122 0 0 20 0 3 0 331574760 1063198720 228572 33554432000 4194304 5964478 140733606699264 139842064341032 4389170 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22898/tid=22901] ppid=22896 vsize=1038280 CPUtime=702.07 cores=0,2,4,6
/proc/22898/task/22901/stat : 22901 (pwbo2.02) R 22896 22898 20635 0 -1 4202560 155967 0 0 0 70073 134 0 0 20 0 3 0 331574760 1063198720 228572 33554432000 4194304 5964478 140733606699264 139842053851208 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1404.04
Current children cumulated vsize (KiB) 1038280

[startup+762.307 s]
/proc/loadavg: 4.01 4.00 3.91 5/182 22910
/proc/meminfo: memFree=26201836/32873648 swapFree=6852/6852
[pid=22898] ppid=22896 vsize=1040028 CPUtime=1524.03 cores=0,2,4,6
/proc/22898/stat : 22898 (pwbo2.02) S 22896 22898 20635 0 -1 4202496 240148 0 0 0 152168 235 0 0 20 0 3 0 331574752 1064988672 230600 33554432000 4194304 5964478 140733606699264 140733606698784 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22898/statm: 260007 230600 203 433 0 259571 0
[pid=22898/tid=22900] ppid=22896 vsize=1040028 CPUtime=762.19 cores=0,2,4,6
/proc/22898/task/22900/stat : 22900 (pwbo2.02) R 22896 22898 20635 0 -1 4202560 81370 0 0 0 76095 124 0 0 20 0 3 0 331574760 1064988672 230600 33554432000 4194304 5964478 140733606699264 139842064341032 4400024 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22898/tid=22901] ppid=22896 vsize=1040028 CPUtime=762.08 cores=0,2,4,6
/proc/22898/task/22901/stat : 22901 (pwbo2.02) R 22896 22898 20635 0 -1 4202560 156014 0 0 0 76073 135 0 0 20 0 3 0 331574760 1064988672 230600 33554432000 4194304 5964478 140733606699264 139842053851208 4391768 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1524.03
Current children cumulated vsize (KiB) 1040028

[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 22911
/proc/meminfo: memFree=26172484/32873648 swapFree=6852/6852
[pid=22898] ppid=22896 vsize=1040028 CPUtime=1644 cores=0,2,4,6
/proc/22898/stat : 22898 (pwbo2.02) S 22896 22898 20635 0 -1 4202496 247422 0 0 0 164141 259 0 0 20 0 3 0 331574752 1064988672 237874 33554432000 4194304 5964478 140733606699264 140733606698784 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22898/statm: 260007 237874 203 433 0 259571 0
[pid=22898/tid=22900] ppid=22896 vsize=1040028 CPUtime=822.19 cores=0,2,4,6
/proc/22898/task/22900/stat : 22900 (pwbo2.02) R 22896 22898 20635 0 -1 4202560 88643 0 0 0 82070 149 0 0 20 0 3 0 331574760 1064988672 237874 33554432000 4194304 5964478 140733606699264 139842064341032 4400103 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22898/tid=22901] ppid=22896 vsize=1040028 CPUtime=822.07 cores=0,2,4,6
/proc/22898/task/22901/stat : 22901 (pwbo2.02) R 22896 22898 20635 0 -1 4202560 156015 0 0 0 82071 136 0 0 20 0 3 0 331574760 1064988672 237874 33554432000 4194304 5964478 140733606699264 139842053851208 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1644
Current children cumulated vsize (KiB) 1040028

[startup+882.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 22952
/proc/meminfo: memFree=26907624/32873648 swapFree=6852/6852
[pid=22898] ppid=22896 vsize=1105564 CPUtime=1763.97 cores=0,2,4,6
/proc/22898/stat : 22898 (pwbo2.02) S 22896 22898 20635 0 -1 4202496 253306 0 0 0 176127 270 0 0 20 0 3 0 331574752 1132097536 244175 33554432000 4194304 5964478 140733606699264 140733606698784 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22898/statm: 276391 244175 203 433 0 275955 0
[pid=22898/tid=22900] ppid=22896 vsize=1105564 CPUtime=882.18 cores=0,2,4,6
/proc/22898/task/22900/stat : 22900 (pwbo2.02) R 22896 22898 20635 0 -1 4202560 94507 0 0 0 88057 161 0 0 20 0 3 0 331574760 1132097536 244175 33554432000 4194304 5964478 140733606699264 139842064340984 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22898/tid=22901] ppid=22896 vsize=1105564 CPUtime=882.08 cores=0,2,4,6
/proc/22898/task/22901/stat : 22901 (pwbo2.02) R 22896 22898 20635 0 -1 4202560 156035 0 0 0 88071 137 0 0 20 0 3 0 331574760 1132097536 244175 33554432000 4194304 5964478 140733606699264 139842053851208 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1763.97
Current children cumulated vsize (KiB) 1105564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.4 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 22952
/proc/meminfo: memFree=26895688/32873648 swapFree=6852/6852
[pid=22898] ppid=22896 vsize=1105564 CPUtime=1800.16 cores=0,2,4,6
/proc/22898/stat : 22898 (pwbo2.02) S 22896 22898 20635 0 -1 4202496 254903 0 0 0 179744 272 0 0 20 0 3 0 331574752 1132097536 245851 33554432000 4194304 5964478 140733606699264 140733606698784 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22898/statm: 276391 245851 203 433 0 275955 0
[pid=22898/tid=22900] ppid=22896 vsize=1105564 CPUtime=900.28 cores=0,2,4,6
/proc/22898/task/22900/stat : 22900 (pwbo2.02) R 22896 22898 20635 0 -1 4202560 96083 0 0 0 89865 163 0 0 20 0 3 0 331574760 1132097536 245851 33554432000 4194304 5964478 140733606699264 139842064340984 4400067 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22898/tid=22901] ppid=22896 vsize=1105564 CPUtime=900.18 cores=0,2,4,6
/proc/22898/task/22901/stat : 22901 (pwbo2.02) R 22896 22898 20635 0 -1 4202560 156056 0 0 0 89881 137 0 0 20 0 3 0 331574760 1132097536 245851 33554432000 4194304 5964478 140733606699264 139842053851208 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 1105564

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

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

Child status: 0
Real time (s): 900.443
CPU time (s): 1800.61
CPU user time (s): 1797.55
CPU system time (s): 3.05653
CPU usage (%): 199.969
Max. virtual memory (cumulated for all children) (KiB): 1105564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.55
system time used= 3.05653
maximum resident set size= 983416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 254906
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= 1145
involuntary context switches= 1956

runsolver used 1.83972 second user time and 5.21621 second system time

The end

Launcher Data 

Begin job on node115 at 2012-06-02 18:28:00
IDJOB=3725926
IDBENCH=2244
IDSOLVER=2309
FILE ID=node115/3725926-1338654480
RUNJOBID= node115-1338651714-22297
PBS_JOBID= 14636465
Free space on /tmp= 70824 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-4.opb
COMMAND LINE= pwbo2.02 -file-format=opb -verbosity=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3725926-1338654480/watcher-3725926-1338654480 -o /tmp/evaluation-result-3725926-1338654480/solver-3725926-1338654480 -C 1800 -W 1900 -M 15500  pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3725926-1338654480.opb

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

MD5SUM BENCH= 7262f9f4ab1a3ada75b3b140acf97f7d
RANDOM SEED=715812053

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        27825204 kB
Buffers:          556524 kB
Cached:          3373080 kB
SwapCached:          964 kB
Active:          2043312 kB
Inactive:        2101200 kB
Active(anon):     206736 kB
Inactive(anon):     9824 kB
Active(file):    1836576 kB
Inactive(file):  2091376 kB
Unevictable:        6852 kB
Mlocked:            6852 kB
SwapTotal:      67108856 kB
SwapFree:       67106432 kB
Dirty:              6244 kB
Writeback:             0 kB
AnonPages:        219772 kB
Mapped:            12500 kB
Shmem:                96 kB
Slab:             767396 kB
SReclaimable:     211648 kB
SUnreclaim:       555748 kB
KernelStack:        1472 kB
PageTables:         4464 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     169180 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70816 MiB
End job on node115 at 2012-06-02 18:43:02