Trace number 3725924

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.07 900.433

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb
MD5SUM9984e76947bf9addca42277d72ff7107
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 benchmark61.0357
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -40
Optimality of the best value was proved YES
Number of variables760
Total number of constraints41314
Number of constraints which are clauses41314
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-3725924-1338654424.opb.
0.00/0.00	c Instance file HOME/instance-3725924-1338654424.opb
0.00/0.00	c File size is 987647 bytes.
0.00/0.07	c Cost Offset: -760
0.00/0.07	c Highest Coefficient sum: 3
0.00/0.07	c ============================[ Problem Statistics ]=============================
0.00/0.07	c |                                                                             |
0.00/0.07	c |  Parsing time:          0.07         s                                      |
0.00/0.07	c |  Number Variables:      760                                                 |
0.00/0.07	c |  Number Clauses:        41314                                               |
0.00/0.07	c |  Number Cardinality:    0                                                   |
0.00/0.07	c |  Number PB Constraints: 0                                                   |
0.00/0.07	c |                                                                             |
0.09/0.09	c |  Problem Type:          Optimization                                        |
0.09/0.09	c |  Objective Function:    Cardinality Constraint                              |
0.09/0.09	c |                                                                             |
0.09/0.09	c ===============================================================================
1800.07/900.41	o -30
1800.07/900.41	o -31
1800.07/900.41	o -32
1800.07/900.41	o -33
1800.07/900.41	o -34
1800.07/900.41	o -35
1800.07/900.41	o -36
1800.07/900.41	o -37
1800.07/900.41	o -38
1800.07/900.41	c ===============================================================================
1800.07/900.41	c Wall Clock Time: 900.41 s
1800.07/900.41	c Best Solution: -38
1800.07/900.41	s SATISFIABLE
1800.07/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	-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-3725924-1338654424/watcher-3725924-1338654424 -o /tmp/evaluation-result-3725924-1338654424/solver-3725924-1338654424 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3725924-1338654424.opb 

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

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


[startup+0 s]
/proc/loadavg: 3.97 3.99 3.83 3/180 23953
/proc/meminfo: memFree=28175400/32873844 swapFree=7112/7112
[pid=23953] ppid=23951 vsize=5464 CPUtime=0 cores=1,3,5,7
/proc/23953/stat : 23953 (pwbo2.02) R 23951 23953 21777 0 -1 4202496 441 0 0 0 0 0 0 0 20 0 1 0 331567723 5595136 394 33554432000 4194304 5964478 140733827782832 140736613868600 4349952 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/23953/statm: 1366 394 171 433 0 688 0

[startup+0.087227 s]
/proc/loadavg: 3.97 3.99 3.83 3/180 23953
/proc/meminfo: memFree=28175400/32873844 swapFree=7112/7112
[pid=23953] ppid=23951 vsize=169588 CPUtime=0.09 cores=1,3,5,7
/proc/23953/stat : 23953 (pwbo2.02) S 23951 23953 21777 0 -1 4202496 4568 0 0 0 8 1 0 0 20 0 3 0 331567723 173658112 4212 33554432000 4194304 5964478 140733827782832 140733827782352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23953/statm: 42397 4222 173 433 0 41961 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 169588

[startup+0.100268 s]
/proc/loadavg: 3.97 3.99 3.83 3/180 23953
/proc/meminfo: memFree=28175400/32873844 swapFree=7112/7112
[pid=23953] ppid=23951 vsize=169744 CPUtime=0.11 cores=1,3,5,7
/proc/23953/stat : 23953 (pwbo2.02) S 23951 23953 21777 0 -1 4202496 5617 0 0 0 9 2 0 0 20 0 3 0 331567723 173817856 5262 33554432000 4194304 5964478 140733827782832 140733827782352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23953/statm: 42474 5280 194 433 0 42038 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 169744

[startup+0.300231 s]
/proc/loadavg: 3.97 3.99 3.83 3/180 23953
/proc/meminfo: memFree=28175400/32873844 swapFree=7112/7112
[pid=23953] ppid=23951 vsize=175020 CPUtime=0.51 cores=1,3,5,7
/proc/23953/stat : 23953 (pwbo2.02) S 23951 23953 21777 0 -1 4202496 9697 0 0 0 48 3 0 0 20 0 3 0 331567723 179220480 8791 33554432000 4194304 5964478 140733827782832 140733827782352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23953/statm: 43755 8791 202 433 0 43319 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 175020

[startup+0.700215 s]
/proc/loadavg: 3.97 3.99 3.83 3/180 23953
/proc/meminfo: memFree=28175400/32873844 swapFree=7112/7112
[pid=23953] ppid=23951 vsize=175020 CPUtime=1.31 cores=1,3,5,7
/proc/23953/stat : 23953 (pwbo2.02) S 23951 23953 21777 0 -1 4202496 10782 0 0 0 128 3 0 0 20 0 3 0 331567723 179220480 8754 33554432000 4194304 5964478 140733827782832 140733827782352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23953/statm: 43755 8754 203 433 0 43319 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 175020

[startup+1.50039 s]
/proc/loadavg: 3.97 3.99 3.83 5/183 23956
/proc/meminfo: memFree=28140672/32873844 swapFree=7112/7112
[pid=23953] ppid=23951 vsize=175020 CPUtime=2.9 cores=1,3,5,7
/proc/23953/stat : 23953 (pwbo2.02) S 23951 23953 21777 0 -1 4202496 12138 0 0 0 287 3 0 0 20 0 3 0 331567723 179220480 8896 33554432000 4194304 5964478 140733827782832 140733827782352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23953/statm: 43755 8896 203 433 0 43319 0
[pid=23953/tid=23955] ppid=23951 vsize=175020 CPUtime=1.4 cores=1,3,5,7
/proc/23953/task/23955/stat : 23955 (pwbo2.02) R 23951 23953 21777 0 -1 4202560 5541 0 0 0 138 2 0 0 20 0 3 0 331567731 179220480 8896 33554432000 4194304 5964478 140733827782832 139765952330264 5130842 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23953/tid=23956] ppid=23951 vsize=175020 CPUtime=1.4 cores=1,3,5,7
/proc/23953/task/23956/stat : 23956 (pwbo2.02) R 23951 23953 21777 0 -1 4202560 3845 0 0 0 139 1 0 0 20 0 3 0 331567731 179220480 8896 33554432000 4194304 5964478 140733827782832 139765941840184 4392893 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 175020

[startup+3.10037 s]
/proc/loadavg: 3.97 3.99 3.83 5/183 23956
/proc/meminfo: memFree=28139168/32873844 swapFree=7112/7112
[pid=23953] ppid=23951 vsize=175020 CPUtime=6.1 cores=1,3,5,7
/proc/23953/stat : 23953 (pwbo2.02) S 23951 23953 21777 0 -1 4202496 12650 0 0 0 606 4 0 0 20 0 3 0 331567723 179220480 9408 33554432000 4194304 5964478 140733827782832 140733827782352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23953/statm: 43755 9408 203 433 0 43319 0
[pid=23953/tid=23955] ppid=23951 vsize=175020 CPUtime=3 cores=1,3,5,7
/proc/23953/task/23955/stat : 23955 (pwbo2.02) R 23951 23953 21777 0 -1 4202560 5879 0 0 0 298 2 0 0 20 0 3 0 331567731 179220480 9408 33554432000 4194304 5964478 140733827782832 139765952330184 5130901 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23953/tid=23956] ppid=23951 vsize=175020 CPUtime=3 cores=1,3,5,7
/proc/23953/task/23956/stat : 23956 (pwbo2.02) R 23951 23953 21777 0 -1 4202560 4019 0 0 0 299 1 0 0 20 0 3 0 331567731 179220480 9408 33554432000 4194304 5964478 140733827782832 139765941840120 4422474 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 175020

[startup+6.30037 s]
/proc/loadavg: 3.97 3.99 3.83 5/183 23956
/proc/meminfo: memFree=28128876/32873844 swapFree=7112/7112
[pid=23953] ppid=23951 vsize=175020 CPUtime=12.5 cores=1,3,5,7
/proc/23953/stat : 23953 (pwbo2.02) S 23951 23953 21777 0 -1 4202496 17562 0 0 0 1244 6 0 0 20 0 3 0 331567723 179220480 12180 33554432000 4194304 5964478 140733827782832 140733827782352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23953/statm: 43755 12180 204 433 0 43319 0
[pid=23953/tid=23955] ppid=23951 vsize=175020 CPUtime=6.18 cores=1,3,5,7
/proc/23953/task/23955/stat : 23955 (pwbo2.02) R 23951 23953 21777 0 -1 4202560 8889 0 0 0 615 3 0 0 20 0 3 0 331567731 179220480 12180 33554432000 4194304 5964478 140733827782832 139765952330264 5130994 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23953/tid=23956] ppid=23951 vsize=175020 CPUtime=6.19 cores=1,3,5,7
/proc/23953/task/23956/stat : 23956 (pwbo2.02) R 23951 23953 21777 0 -1 4202560 5921 0 0 0 617 2 0 0 20 0 3 0 331567731 179220480 12180 33554432000 4194304 5964478 140733827782832 139765941839704 4400519 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 175020

[startup+12.7004 s]
/proc/loadavg: 3.98 3.99 3.83 5/183 23956
/proc/meminfo: memFree=28102604/32873844 swapFree=7112/7112
[pid=23953] ppid=23951 vsize=175020 CPUtime=25.29 cores=1,3,5,7
/proc/23953/stat : 23953 (pwbo2.02) S 23951 23953 21777 0 -1 4202496 27940 0 0 0 2518 11 0 0 20 0 3 0 331567723 179220480 18253 33554432000 4194304 5964478 140733827782832 140733827782352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23953/statm: 43755 18253 204 433 0 43319 0
[pid=23953/tid=23955] ppid=23951 vsize=175020 CPUtime=12.57 cores=1,3,5,7
/proc/23953/task/23955/stat : 23955 (pwbo2.02) R 23951 23953 21777 0 -1 4202560 14323 0 0 0 1252 5 0 0 20 0 3 0 331567731 179220480 18253 33554432000 4194304 5964478 140733827782832 139765952330264 5139166 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23953/tid=23956] ppid=23951 vsize=175020 CPUtime=12.57 cores=1,3,5,7
/proc/23953/task/23956/stat : 23956 (pwbo2.02) R 23951 23953 21777 0 -1 4202560 10865 0 0 0 1252 5 0 0 20 0 3 0 331567731 179220480 18253 33554432000 4194304 5964478 140733827782832 139765941840184 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 175020

[startup+25.5004 s]
/proc/loadavg: 3.98 3.99 3.84 5/183 23956
/proc/meminfo: memFree=28050704/32873844 swapFree=7112/7112
[pid=23953] ppid=23951 vsize=241280 CPUtime=50.89 cores=1,3,5,7
/proc/23953/stat : 23953 (pwbo2.02) S 23951 23953 21777 0 -1 4202496 39395 0 0 0 5068 21 0 0 20 0 3 0 331567723 247070720 29708 33554432000 4194304 5964478 140733827782832 140733827782352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23953/statm: 60320 29708 204 433 0 59884 0
[pid=23953/tid=23955] ppid=23951 vsize=241280 CPUtime=25.33 cores=1,3,5,7
/proc/23953/task/23955/stat : 23955 (pwbo2.02) R 23951 23953 21777 0 -1 4202560 18748 0 0 0 2524 9 0 0 20 0 3 0 331567731 247070720 29708 33554432000 4194304 5964478 140733827782832 139765952329528 4400087 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23953/tid=23956] ppid=23951 vsize=241280 CPUtime=25.34 cores=1,3,5,7
/proc/23953/task/23956/stat : 23956 (pwbo2.02) R 23951 23953 21777 0 -1 4202560 17895 0 0 0 2523 11 0 0 20 0 3 0 331567731 247070720 29708 33554432000 4194304 5964478 140733827782832 139765941840184 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.89
Current children cumulated vsize (KiB) 241280

[startup+51.1004 s]
/proc/loadavg: 3.99 3.99 3.84 5/183 23956
/proc/meminfo: memFree=27982436/32873844 swapFree=7112/7112
[pid=23953] ppid=23951 vsize=241772 CPUtime=102.08 cores=1,3,5,7
/proc/23953/stat : 23953 (pwbo2.02) S 23951 23953 21777 0 -1 4202496 54897 0 0 0 10163 45 0 0 20 0 3 0 331567723 247574528 45473 33554432000 4194304 5964478 140733827782832 140733827782352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23953/statm: 60443 45473 204 433 0 60007 0
[pid=23953/tid=23955] ppid=23951 vsize=241772 CPUtime=50.86 cores=1,3,5,7
/proc/23953/task/23955/stat : 23955 (pwbo2.02) R 23951 23953 21777 0 -1 4202560 21724 0 0 0 5075 11 0 0 20 0 3 0 331567731 247574528 45473 33554432000 4194304 5964478 140733827782832 139765952330568 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23953/tid=23956] ppid=23951 vsize=241772 CPUtime=50.87 cores=1,3,5,7
/proc/23953/task/23956/stat : 23956 (pwbo2.02) R 23951 23953 21777 0 -1 4202560 30421 0 0 0 5054 33 0 0 20 0 3 0 331567731 247574528 45473 33554432000 4194304 5964478 140733827782832 139765941840184 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.08
Current children cumulated vsize (KiB) 241772

[startup+102.307 s]
/proc/loadavg: 3.99 3.99 3.84 5/183 23997
/proc/meminfo: memFree=27945616/32873844 swapFree=7112/7112
[pid=23953] ppid=23951 vsize=373836 CPUtime=204.42 cores=1,3,5,7
/proc/23953/stat : 23953 (pwbo2.02) S 23951 23953 21777 0 -1 4202496 65531 0 0 0 20385 57 0 0 20 0 3 0 331567723 382808064 56072 33554432000 4194304 5964478 140733827782832 140733827782352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23953/statm: 93459 56072 204 433 0 93023 0
[pid=23953/tid=23955] ppid=23951 vsize=373836 CPUtime=101.93 cores=1,3,5,7
/proc/23953/task/23955/stat : 23955 (pwbo2.02) R 23951 23953 21777 0 -1 4202560 27273 0 0 0 10176 17 0 0 20 0 3 0 331567731 382808064 56072 33554432000 4194304 5964478 140733827782832 139765952329528 4400519 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23953/tid=23956] ppid=23951 vsize=373836 CPUtime=101.91 cores=1,3,5,7
/proc/23953/task/23956/stat : 23956 (pwbo2.02) R 23951 23953 21777 0 -1 4202560 35506 0 0 0 10150 41 0 0 20 0 3 0 331567731 382808064 56072 33554432000 4194304 5964478 140733827782832 139765941839944 4399938 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 204.42
Current children cumulated vsize (KiB) 373836

[startup+162.3 s]
/proc/loadavg: 3.99 3.99 3.85 5/183 23997
/proc/meminfo: memFree=27670736/32873844 swapFree=7112/7112
[pid=23953] ppid=23951 vsize=439796 CPUtime=324.34 cores=1,3,5,7
/proc/23953/stat : 23953 (pwbo2.02) S 23951 23953 21777 0 -1 4202496 95060 0 0 0 32332 102 0 0 20 0 3 0 331567723 450351104 85592 33554432000 4194304 5964478 140733827782832 140733827782352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23953/statm: 109949 85592 204 433 0 109513 0
[pid=23953/tid=23955] ppid=23951 vsize=439796 CPUtime=161.74 cores=1,3,5,7
/proc/23953/task/23955/stat : 23955 (pwbo2.02) R 23951 23953 21777 0 -1 4202560 33507 0 0 0 16152 22 0 0 20 0 3 0 331567731 450351104 85592 33554432000 4194304 5964478 140733827782832 139765952329320 4400010 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23953/tid=23956] ppid=23951 vsize=439796 CPUtime=161.71 cores=1,3,5,7
/proc/23953/task/23956/stat : 23956 (pwbo2.02) R 23951 23953 21777 0 -1 4202560 58801 0 0 0 16088 83 0 0 20 0 3 0 331567731 450351104 85592 33554432000 4194304 5964478 140733827782832 139765941840232 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 324.34
Current children cumulated vsize (KiB) 439796

[startup+222.3 s]
/proc/loadavg: 3.99 3.99 3.85 5/184 24000
/proc/meminfo: memFree=27443728/32873844 swapFree=7112/7112
[pid=23953] ppid=23951 vsize=505552 CPUtime=444.28 cores=1,3,5,7
/proc/23953/stat : 23953 (pwbo2.02) S 23951 23953 21777 0 -1 4202496 118047 0 0 0 44290 138 0 0 20 0 3 0 331567723 517685248 108849 33554432000 4194304 5964478 140733827782832 140733827782352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23953/statm: 126388 108849 204 433 0 125952 0
[pid=23953/tid=23955] ppid=23951 vsize=505552 CPUtime=221.58 cores=1,3,5,7
/proc/23953/task/23955/stat : 23955 (pwbo2.02) R 23951 23953 21777 0 -1 4202560 36853 0 0 0 22132 26 0 0 20 0 3 0 331567731 517685248 108849 33554432000 4194304 5964478 140733827782832 139765952330680 4399952 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23953/tid=23956] ppid=23951 vsize=505552 CPUtime=221.52 cores=1,3,5,7
/proc/23953/task/23956/stat : 23956 (pwbo2.02) R 23951 23953 21777 0 -1 4202560 78442 0 0 0 22036 116 0 0 20 0 3 0 331567731 517685248 108849 33554432000 4194304 5964478 140733827782832 139765941840184 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 444.28
Current children cumulated vsize (KiB) 505552

[startup+282.3 s]
/proc/loadavg: 3.99 3.99 3.86 5/183 24001
/proc/meminfo: memFree=27253936/32873844 swapFree=7112/7112
[pid=23953] ppid=23951 vsize=571404 CPUtime=564.26 cores=1,3,5,7
/proc/23953/stat : 23953 (pwbo2.02) S 23951 23953 21777 0 -1 4202496 135324 0 0 0 56264 162 0 0 20 0 3 0 331567723 585117696 124505 33554432000 4194304 5964478 140733827782832 140733827782352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23953/statm: 142851 124505 204 433 0 142415 0
[pid=23953/tid=23955] ppid=23951 vsize=571404 CPUtime=281.43 cores=1,3,5,7
/proc/23953/task/23955/stat : 23955 (pwbo2.02) R 23951 23953 21777 0 -1 4202560 36993 0 0 0 28116 27 0 0 20 0 3 0 331567731 585117696 124505 33554432000 4194304 5964478 140733827782832 139765952330568 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23953/tid=23956] ppid=23951 vsize=571404 CPUtime=281.36 cores=1,3,5,7
/proc/23953/task/23956/stat : 23956 (pwbo2.02) R 23951 23953 21777 0 -1 4202560 95579 0 0 0 27995 141 0 0 20 0 3 0 331567731 585117696 124505 33554432000 4194304 5964478 140733827782832 139765941840184 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 564.26
Current children cumulated vsize (KiB) 571404

[startup+342.3 s]
/proc/loadavg: 3.99 3.99 3.87 5/183 24001
/proc/meminfo: memFree=27103180/32873844 swapFree=7112/7112
[pid=23953] ppid=23951 vsize=636940 CPUtime=684.24 cores=1,3,5,7
/proc/23953/stat : 23953 (pwbo2.02) S 23951 23953 21777 0 -1 4202496 146947 0 0 0 68249 175 0 0 20 0 3 0 331567723 652226560 136127 33554432000 4194304 5964478 140733827782832 140733827782352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23953/statm: 159235 136127 204 433 0 158799 0
[pid=23953/tid=23955] ppid=23951 vsize=636940 CPUtime=341.28 cores=1,3,5,7
/proc/23953/task/23955/stat : 23955 (pwbo2.02) R 23951 23953 21777 0 -1 4202560 46046 0 0 0 34089 39 0 0 20 0 3 0 331567731 652226560 136127 33554432000 4194304 5964478 140733827782832 139765952329528 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23953/tid=23956] ppid=23951 vsize=636940 CPUtime=341.2 cores=1,3,5,7
/proc/23953/task/23956/stat : 23956 (pwbo2.02) R 23951 23953 21777 0 -1 4202560 98149 0 0 0 33975 145 0 0 20 0 3 0 331567731 652226560 136127 33554432000 4194304 5964478 140733827782832 139765941840184 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 684.24
Current children cumulated vsize (KiB) 636940

[startup+402.3 s]
/proc/loadavg: 3.99 3.99 3.87 5/183 24001
/proc/meminfo: memFree=26972388/32873844 swapFree=7112/7112
[pid=23953] ppid=23951 vsize=637124 CPUtime=804.23 cores=1,3,5,7
/proc/23953/stat : 23953 (pwbo2.02) S 23951 23953 21777 0 -1 4202496 149582 0 0 0 80245 178 0 0 20 0 3 0 331567723 652414976 138761 33554432000 4194304 5964478 140733827782832 140733827782352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23953/statm: 159281 138761 204 433 0 158845 0
[pid=23953/tid=23955] ppid=23951 vsize=637124 CPUtime=401.12 cores=1,3,5,7
/proc/23953/task/23955/stat : 23955 (pwbo2.02) R 23951 23953 21777 0 -1 4202560 48623 0 0 0 40070 42 0 0 20 0 3 0 331567731 652414976 138761 33554432000 4194304 5964478 140733827782832 139765952329528 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23953/tid=23956] ppid=23951 vsize=637124 CPUtime=401.04 cores=1,3,5,7
/proc/23953/task/23956/stat : 23956 (pwbo2.02) R 23951 23953 21777 0 -1 4202560 98207 0 0 0 39958 146 0 0 20 0 3 0 331567731 652414976 138761 33554432000 4194304 5964478 140733827782832 139765941839944 4399915 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 804.23
Current children cumulated vsize (KiB) 637124

[startup+462.3 s]
/proc/loadavg: 3.99 3.99 3.88 5/183 24001
/proc/meminfo: memFree=26846804/32873844 swapFree=7112/7112
[pid=23953] ppid=23951 vsize=637260 CPUtime=924.21 cores=1,3,5,7
/proc/23953/stat : 23953 (pwbo2.02) S 23951 23953 21777 0 -1 4202496 158558 0 0 0 92232 189 0 0 20 0 3 0 331567723 652554240 147727 33554432000 4194304 5964478 140733827782832 140733827782352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23953/statm: 159315 147727 204 433 0 158879 0
[pid=23953/tid=23955] ppid=23951 vsize=637260 CPUtime=460.97 cores=1,3,5,7
/proc/23953/task/23955/stat : 23955 (pwbo2.02) R 23951 23953 21777 0 -1 4202560 57565 0 0 0 46044 53 0 0 20 0 3 0 331567731 652554240 147727 33554432000 4194304 5964478 140733827782832 139765952329528 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23953/tid=23956] ppid=23951 vsize=637260 CPUtime=460.89 cores=1,3,5,7
/proc/23953/task/23956/stat : 23956 (pwbo2.02) R 23951 23953 21777 0 -1 4202560 98241 0 0 0 45943 146 0 0 20 0 3 0 331567731 652554240 147727 33554432000 4194304 5964478 140733827782832 139765941839944 4400097 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 924.21
Current children cumulated vsize (KiB) 637260

[startup+522.3 s]
/proc/loadavg: 3.99 3.99 3.88 5/183 24001
/proc/meminfo: memFree=26741680/32873844 swapFree=7112/7112
[pid=23953] ppid=23951 vsize=704800 CPUtime=1044.19 cores=1,3,5,7
/proc/23953/stat : 23953 (pwbo2.02) S 23951 23953 21777 0 -1 4202496 163561 0 0 0 104225 194 0 0 20 0 3 0 331567723 721715200 152729 33554432000 4194304 5964478 140733827782832 140733827782352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23953/statm: 176200 152729 204 433 0 175764 0
[pid=23953/tid=23955] ppid=23951 vsize=704800 CPUtime=520.81 cores=1,3,5,7
/proc/23953/task/23955/stat : 23955 (pwbo2.02) R 23951 23953 21777 0 -1 4202560 62507 0 0 0 52022 59 0 0 20 0 3 0 331567731 721715200 152729 33554432000 4194304 5964478 140733827782832 139765952329528 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23953/tid=23956] ppid=23951 vsize=704800 CPUtime=520.73 cores=1,3,5,7
/proc/23953/task/23956/stat : 23956 (pwbo2.02) R 23951 23953 21777 0 -1 4202560 98302 0 0 0 51926 147 0 0 20 0 3 0 331567731 721715200 152729 33554432000 4194304 5964478 140733827782832 139765941839944 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1044.19
Current children cumulated vsize (KiB) 704800

[startup+582.3 s]
/proc/loadavg: 3.99 3.99 3.89 5/183 24002
/proc/meminfo: memFree=26655360/32873844 swapFree=7112/7112
[pid=23953] ppid=23951 vsize=705044 CPUtime=1164.16 cores=1,3,5,7
/proc/23953/stat : 23953 (pwbo2.02) S 23951 23953 21777 0 -1 4202496 164634 0 0 0 116222 194 0 0 20 0 3 0 331567723 721965056 153799 33554432000 4194304 5964478 140733827782832 140733827782352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23953/statm: 176261 153799 204 433 0 175825 0
[pid=23953/tid=23955] ppid=23951 vsize=705044 CPUtime=580.66 cores=1,3,5,7
/proc/23953/task/23955/stat : 23955 (pwbo2.02) R 23951 23953 21777 0 -1 4202560 63506 0 0 0 58005 61 0 0 20 0 3 0 331567731 721965056 153799 33554432000 4194304 5964478 140733827782832 139765952329720 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23953/tid=23956] ppid=23951 vsize=705044 CPUtime=580.57 cores=1,3,5,7
/proc/23953/task/23956/stat : 23956 (pwbo2.02) R 23951 23953 21777 0 -1 4202560 98376 0 0 0 57909 148 0 0 20 0 3 0 331567731 721965056 153799 33554432000 4194304 5964478 140733827782832 139765941839944 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1164.16
Current children cumulated vsize (KiB) 705044

[startup+642.3 s]
/proc/loadavg: 3.99 3.99 3.90 5/183 24002
/proc/meminfo: memFree=26563216/32873844 swapFree=7112/7112
[pid=23953] ppid=23951 vsize=770580 CPUtime=1284.12 cores=1,3,5,7
/proc/23953/stat : 23953 (pwbo2.02) S 23951 23953 21777 0 -1 4202496 175642 0 0 0 128205 207 0 0 20 0 3 0 331567723 789073920 165354 33554432000 4194304 5964478 140733827782832 140733827782352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23953/statm: 192645 165354 204 433 0 192209 0
[pid=23953/tid=23955] ppid=23951 vsize=770580 CPUtime=640.48 cores=1,3,5,7
/proc/23953/task/23955/stat : 23955 (pwbo2.02) R 23951 23953 21777 0 -1 4202560 71083 0 0 0 63978 70 0 0 20 0 3 0 331567731 789073920 165354 33554432000 4194304 5964478 140733827782832 139765952329720 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23953/tid=23956] ppid=23951 vsize=770580 CPUtime=640.42 cores=1,3,5,7
/proc/23953/task/23956/stat : 23956 (pwbo2.02) R 23951 23953 21777 0 -1 4202560 101807 0 0 0 63888 154 0 0 20 0 3 0 331567731 789073920 165354 33554432000 4194304 5964478 140733827782832 139765941840184 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1284.12
Current children cumulated vsize (KiB) 770580

[startup+702.3 s]
/proc/loadavg: 3.99 3.99 3.90 5/183 24002
/proc/meminfo: memFree=26533980/32873844 swapFree=7112/7112
[pid=23953] ppid=23951 vsize=836272 CPUtime=1404.04 cores=1,3,5,7
/proc/23953/stat : 23953 (pwbo2.02) S 23951 23953 21777 0 -1 4202496 181580 0 0 0 140189 215 0 0 20 0 3 0 331567723 856342528 171282 33554432000 4194304 5964478 140733827782832 140733827782352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23953/statm: 209068 171282 204 433 0 208632 0
[pid=23953/tid=23955] ppid=23951 vsize=836272 CPUtime=700.31 cores=1,3,5,7
/proc/23953/task/23955/stat : 23955 (pwbo2.02) R 23951 23953 21777 0 -1 4202560 76943 0 0 0 69952 79 0 0 20 0 3 0 331567731 856342528 171282 33554432000 4194304 5964478 140733827782832 139765952329528 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23953/tid=23956] ppid=23951 vsize=836272 CPUtime=700.2 cores=1,3,5,7
/proc/23953/task/23956/stat : 23956 (pwbo2.02) R 23951 23953 21777 0 -1 4202560 101885 0 0 0 69865 155 0 0 20 0 3 0 331567731 856342528 171282 33554432000 4194304 5964478 140733827782832 139765941839944 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1404.04
Current children cumulated vsize (KiB) 836272

[startup+762.307 s]
/proc/loadavg: 3.99 3.99 3.91 5/183 24002
/proc/meminfo: memFree=26491848/32873844 swapFree=7112/7112
[pid=23953] ppid=23951 vsize=836272 CPUtime=1523.98 cores=1,3,5,7
/proc/23953/stat : 23953 (pwbo2.02) S 23951 23953 21777 0 -1 4202496 188539 0 0 0 152176 222 0 0 20 0 3 0 331567723 856342528 178309 33554432000 4194304 5964478 140733827782832 140733827782352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23953/statm: 209068 178309 204 433 0 208632 0
[pid=23953/tid=23955] ppid=23951 vsize=836272 CPUtime=760.13 cores=1,3,5,7
/proc/23953/task/23955/stat : 23955 (pwbo2.02) R 23951 23953 21777 0 -1 4202560 83860 0 0 0 75926 87 0 0 20 0 3 0 331567731 856342528 178309 33554432000 4194304 5964478 140733827782832 139765952329528 4400087 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23953/tid=23956] ppid=23951 vsize=836272 CPUtime=760.04 cores=1,3,5,7
/proc/23953/task/23956/stat : 23956 (pwbo2.02) R 23951 23953 21777 0 -1 4202560 101927 0 0 0 75848 156 0 0 20 0 3 0 331567731 856342528 178309 33554432000 4194304 5964478 140733827782832 139765941839944 4400103 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1523.98
Current children cumulated vsize (KiB) 836272

[startup+822.3 s]
/proc/loadavg: 3.99 3.99 3.91 5/184 24005
/proc/meminfo: memFree=26387996/32873844 swapFree=7112/7112
[pid=23953] ppid=23951 vsize=837600 CPUtime=1643.92 cores=1,3,5,7
/proc/23953/stat : 23953 (pwbo2.02) S 23951 23953 21777 0 -1 4202496 205495 0 0 0 164140 252 0 0 20 0 3 0 331567723 857702400 195244 33554432000 4194304 5964478 140733827782832 140733827782352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23953/statm: 209400 195244 204 433 0 208964 0
[pid=23953/tid=23955] ppid=23951 vsize=837600 CPUtime=819.97 cores=1,3,5,7
/proc/23953/task/23955/stat : 23955 (pwbo2.02) R 23951 23953 21777 0 -1 4202560 88783 0 0 0 81901 96 0 0 20 0 3 0 331567731 857702400 195244 33554432000 4194304 5964478 140733827782832 139765952329528 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23953/tid=23956] ppid=23951 vsize=837600 CPUtime=819.84 cores=1,3,5,7
/proc/23953/task/23956/stat : 23956 (pwbo2.02) R 23951 23953 21777 0 -1 4202560 113960 0 0 0 81805 179 0 0 20 0 3 0 331567731 857702400 195244 33554432000 4194304 5964478 140733827782832 139765941840184 4400516 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1643.92
Current children cumulated vsize (KiB) 837600

[startup+882.3 s]
/proc/loadavg: 3.99 3.99 3.91 5/183 24006
/proc/meminfo: memFree=26272560/32873844 swapFree=7112/7112
[pid=23953] ppid=23951 vsize=903404 CPUtime=1763.86 cores=1,3,5,7
/proc/23953/stat : 23953 (pwbo2.02) S 23951 23953 21777 0 -1 4202496 225525 0 0 0 176096 290 0 0 20 0 3 0 331567723 925085696 215684 33554432000 4194304 5964478 140733827782832 140733827782352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23953/statm: 225851 215684 204 433 0 225415 0
[pid=23953/tid=23955] ppid=23951 vsize=903404 CPUtime=879.78 cores=1,3,5,7
/proc/23953/task/23955/stat : 23955 (pwbo2.02) R 23951 23953 21777 0 -1 4202560 89805 0 0 0 87881 97 0 0 20 0 3 0 331567731 925085696 215684 33554432000 4194304 5964478 140733827782832 139765952329528 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23953/tid=23956] ppid=23951 vsize=903404 CPUtime=879.68 cores=1,3,5,7
/proc/23953/task/23956/stat : 23956 (pwbo2.02) R 23951 23953 21777 0 -1 4202560 132968 0 0 0 87750 218 0 0 20 0 3 0 331567731 925085696 215684 33554432000 4194304 5964478 140733827782832 139765941840184 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1763.86
Current children cumulated vsize (KiB) 903404



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.4 s]
/proc/loadavg: 3.99 3.99 3.91 5/183 24006
/proc/meminfo: memFree=26241560/32873844 swapFree=7112/7112
[pid=23953] ppid=23951 vsize=969748 CPUtime=1800.07 cores=1,3,5,7
/proc/23953/stat : 23953 (pwbo2.02) S 23951 23953 21777 0 -1 4202496 232858 0 0 0 179708 299 0 0 20 0 3 0 331567723 993021952 223017 33554432000 4194304 5964478 140733827782832 140733827782352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23953/statm: 242437 223017 204 433 0 242001 0
[pid=23953/tid=23955] ppid=23951 vsize=969748 CPUtime=897.84 cores=1,3,5,7
/proc/23953/task/23955/stat : 23955 (pwbo2.02) R 23951 23953 21777 0 -1 4202560 89871 0 0 0 89687 97 0 0 20 0 3 0 331567731 993021952 223017 33554432000 4194304 5964478 140733827782832 139765952329528 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23953/tid=23956] ppid=23951 vsize=969748 CPUtime=897.74 cores=1,3,5,7
/proc/23953/task/23956/stat : 23956 (pwbo2.02) R 23951 23953 21777 0 -1 4202560 140235 0 0 0 89547 227 0 0 20 0 3 0 331567731 993021952 223017 33554432000 4194304 5964478 140733827782832 139765941840184 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 969748

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

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

Child status: 0

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

Real time (s): 900.433
CPU time (s): 1800.07
CPU user time (s): 1797.08
CPU system time (s): 2.99
CPU usage (%): 199.912
Max. virtual memory (cumulated for all children) (KiB): 969748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.43
system time used= 3.2865
maximum resident set size= 892080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 232861
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= 1245
involuntary context switches= 1952

runsolver used 2.23966 second user time and 5.29619 second system time

The end

Launcher Data 

Begin job on node132 at 2012-06-02 18:27:04
IDJOB=3725924
IDBENCH=2243
IDSOLVER=2309
FILE ID=node132/3725924-1338654424
RUNJOBID= node132-1338651627-23513
PBS_JOBID= 14636448
Free space on /tmp= 71212 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-1.opb
COMMAND LINE= pwbo2.02 -file-format=opb -verbosity=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3725924-1338654424/watcher-3725924-1338654424 -o /tmp/evaluation-result-3725924-1338654424/solver-3725924-1338654424 -C 1800 -W 1900 -M 15500  pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3725924-1338654424.opb

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

MD5SUM BENCH= 9984e76947bf9addca42277d72ff7107
RANDOM SEED=2102122549

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28178100 kB
Buffers:          589680 kB
Cached:          3013756 kB
SwapCached:         2292 kB
Active:          1716428 kB
Inactive:        2067976 kB
Active(anon):     173824 kB
Inactive(anon):     7120 kB
Active(file):    1542604 kB
Inactive(file):  2060856 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67102708 kB
Dirty:              6232 kB
Writeback:             0 kB
AnonPages:        183780 kB
Mapped:            11852 kB
Shmem:                 8 kB
Slab:             773160 kB
SReclaimable:     214840 kB
SUnreclaim:       558320 kB
KernelStack:        1520 kB
PageTables:         4372 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     166448 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:    147456 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= 71204 MiB
End job on node132 at 2012-06-02 18:42:06