Trace number 3703548

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
pwbo 2.0SAT (TO)5819 1800.11 900.316

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-C432.opb
MD5SUMa8708c855e8ec8c2a31771025318bb9b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4822
Best CPU time to get the best result obtained on this benchmark0.235963
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4822
Optimality of the best value was proved YES
Number of variables771
Total number of constraints1951
Number of constraints which are clauses1949
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2
Minimum length of a constraint1
Maximum length of a constraint42
Number of terms in the objective function 771
Biggest coefficient in the objective function 61
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 33355
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 61
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 33355
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c ==============================[ Solver Version ]===============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  pwbo:                    2.0 beta - March, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3703548-1338089458.opb.
0.00/0.00	c Instance file HOME/instance-3703548-1338089458.opb
0.00/0.00	c File size is 94864 bytes.
0.00/0.00	c Cost Offset: 0
0.00/0.00	c Highest Coefficient sum: 43
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Parsing time:          0.01         s                                      |
0.00/0.01	c |  Number Variables:      771                                                 |
0.00/0.01	c |  Number Clauses:        1951                                                |
0.00/0.01	c |  Number Cardinality:    0                                                   |
0.00/0.01	c |  Number PB Constraints: 0                                                   |
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Problem Type:          Optimization                                        |
0.00/0.01	c |  Objective Function:    PB Constraint                                       |
0.00/0.01	c |                                                                             |
0.00/0.01	c ===============================================================================
1800.11/900.31	o 7156
1800.11/900.31	o 6545
1800.11/900.31	o 6458
1800.11/900.31	o 6445
1800.11/900.31	o 6269
1800.11/900.31	o 6268
1800.11/900.31	o 6219
1800.11/900.31	o 6203
1800.11/900.31	o 6144
1800.11/900.31	o 6141
1800.11/900.31	o 6109
1800.11/900.31	o 6072
1800.11/900.31	o 6051
1800.11/900.31	o 6020
1800.11/900.31	o 6018
1800.11/900.31	o 6015
1800.11/900.31	o 5841
1800.11/900.31	o 5825
1800.11/900.31	o 5824
1800.11/900.31	o 5819
1800.11/900.31	c ===============================================================================
1800.11/900.31	c Wall Clock Time: 900.31 s
1800.11/900.31	c Best Solution: 5819
1800.11/900.31	s SATISFIABLE
1800.11/900.31	v -x1 -x2 -x3 -x4 -x5 -x6 x7 x8 x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 -x42 x43 x44 -x45 x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 x55 x56 x57 x58 -x59 -x60 -x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 x101 -x102 x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 x125 x126 x127 x128 -x129 x130 -x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 x193 -x194 -x195 -x196 -x197 -x198 x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 x222 x223 -x224 x225 x226 x227 x228 -x229 x230 x231 x232 -x233 -x234 x235 x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 x264 -x265 -x266 x267 x268 -x269 -x270 -x271 x272 x273 -x274 -x275 -x276 -x277 -x278 -x279 x280 x281 x282 x283 x284 -x285 x286 x287 -x288 x289 x290 -x291 x292 -x293 -x294 x295 -x296 -x297 -x298 -x299 -x300 -x301 x302 x303 -x304 x305 x306 -x307 -x308 x309 x310 x311 -x312 -x313 -x314 -x315 -x316 x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 x327 x328 -x329 -x330 x331 -x332 -x333 x334 -x335 -x336 x337 -x338 x339 -x340 -x341 x342 -x343 -x344 -x345 x346 x347 -x348 -x349 x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 -x362 -x363 -x364 -x365 x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 x392 -x393 -x394 -x395 x396 x397 x398 x399 -x400 -x401 -x402 x403 -x404 -x405 -x406 -x407 -x408 x409 x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 x431 -x432 x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 x464 -x465 -x466 -x467 -x468 -x469 x470 x471 -x472 -x473 -x474 -x475 -x476 x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 x518 -x519 -x520 -x521 x522 -x523 x524 x525 -x526 -x527 x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 x536 x537 -x538 x539 x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 x573 -x574 -x575 -x576 -x577 x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 x598 -x599 -x600 -x601 x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 x615 x616 x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 x627 -x628 -x629 -x630 x631 -x632 -x633 -x634 x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 x645 -x646 -x647 -x648 -x649 x650 -x651 -x652 x653 -x654 x655 x656 x657 -x658 -x659 -x660 -x661 x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 x750 -x751 -x752 -x753 x754 -x755 x756 -x757 -x758 -x759 -x760 x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 x771

Verifier Data 

OK	5819

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-3703548-1338089458/watcher-3703548-1338089458 -o /tmp/evaluation-result-3703548-1338089458/solver-3703548-1338089458 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703548-1338089458.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.84 3.97 3.90 4/179 31503
/proc/meminfo: memFree=30370548/32873844 swapFree=7112/7112
[pid=31503] ppid=31501 vsize=4288 CPUtime=0 cores=1,3,5,7
/proc/31503/stat : 31503 (pwbo2.0) R 31501 31503 31075 0 -1 4202496 390 0 0 0 0 0 0 0 20 0 1 0 275070657 4390912 342 33554432000 4194304 5965102 140736296122832 140736296120776 4224389 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/31503/statm: 1072 342 172 433 0 612 0

[startup+0.103809 s]
/proc/loadavg: 3.84 3.97 3.90 4/179 31503
/proc/meminfo: memFree=30370548/32873844 swapFree=7112/7112
[pid=31503] ppid=31501 vsize=163048 CPUtime=0.18 cores=1,3,5,7
/proc/31503/stat : 31503 (pwbo2.0) S 31501 31503 31075 0 -1 4202496 1893 0 0 0 18 0 0 0 20 0 3 0 275070657 166961152 1730 33554432000 4194304 5965102 140736296122832 140736296122352 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31503/statm: 40762 1730 200 433 0 40326 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 163048

[startup+0.20019 s]
/proc/loadavg: 3.84 3.97 3.90 4/179 31503
/proc/meminfo: memFree=30370548/32873844 swapFree=7112/7112
[pid=31503] ppid=31501 vsize=163048 CPUtime=0.38 cores=1,3,5,7
/proc/31503/stat : 31503 (pwbo2.0) S 31501 31503 31075 0 -1 4202496 2382 0 0 0 38 0 0 0 20 0 3 0 275070657 166961152 2130 33554432000 4194304 5965102 140736296122832 140736296122352 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31503/statm: 40762 2130 200 433 0 40326 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 163048

[startup+0.300155 s]
/proc/loadavg: 3.84 3.97 3.90 4/179 31503
/proc/meminfo: memFree=30370548/32873844 swapFree=7112/7112
[pid=31503] ppid=31501 vsize=163048 CPUtime=0.57 cores=1,3,5,7
/proc/31503/stat : 31503 (pwbo2.0) S 31501 31503 31075 0 -1 4202496 2926 0 0 0 57 0 0 0 20 0 3 0 275070657 166961152 2594 33554432000 4194304 5965102 140736296122832 140736296122352 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31503/statm: 40762 2594 200 433 0 40326 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 163048

[startup+0.70018 s]
/proc/loadavg: 3.84 3.97 3.90 4/179 31503
/proc/meminfo: memFree=30370548/32873844 swapFree=7112/7112
[pid=31503] ppid=31501 vsize=163180 CPUtime=1.38 cores=1,3,5,7
/proc/31503/stat : 31503 (pwbo2.0) S 31501 31503 31075 0 -1 4202496 6479 0 0 0 137 1 0 0 20 0 3 0 275070657 167096320 4747 33554432000 4194304 5965102 140736296122832 140736296122352 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31503/statm: 40795 4747 200 433 0 40359 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 163180

[startup+1.50039 s]
/proc/loadavg: 3.84 3.97 3.90 5/182 31506
/proc/meminfo: memFree=30347568/32873844 swapFree=7112/7112
[pid=31503] ppid=31501 vsize=163312 CPUtime=2.98 cores=1,3,5,7
/proc/31503/stat : 31503 (pwbo2.0) S 31501 31503 31075 0 -1 4202496 10056 0 0 0 296 2 0 0 20 0 3 0 275070657 167231488 6215 33554432000 4194304 5965102 140736296122832 140736296122352 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31503/statm: 40828 6215 200 433 0 40392 0
[pid=31503/tid=31505] ppid=31501 vsize=163312 CPUtime=1.47 cores=1,3,5,7
/proc/31503/task/31505/stat : 31505 (pwbo2.0) R 31501 31503 31075 0 -1 4202560 6839 0 0 0 146 1 0 0 20 0 3 0 275070658 167231488 6215 33554432000 4194304 5965102 140736296122832 139881522473304 5134556 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=163312 CPUtime=1.47 cores=1,3,5,7
/proc/31503/task/31506/stat : 31506 (pwbo2.0) R 31501 31503 31075 0 -1 4202560 2296 0 0 0 147 0 0 0 20 0 3 0 275070658 167231488 6215 33554432000 4194304 5965102 140736296122832 139881511983176 4222314 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 163312

[startup+3.1004 s]
/proc/loadavg: 3.84 3.97 3.90 5/182 31506
/proc/meminfo: memFree=30332688/32873844 swapFree=7112/7112
[pid=31503] ppid=31501 vsize=163576 CPUtime=6.18 cores=1,3,5,7
/proc/31503/stat : 31503 (pwbo2.0) S 31501 31503 31075 0 -1 4202496 19385 0 0 0 614 4 0 0 20 0 3 0 275070657 167501824 10426 33554432000 4194304 5965102 140736296122832 140736296122352 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31503/statm: 40894 10426 200 433 0 40458 0
[pid=31503/tid=31505] ppid=31501 vsize=163576 CPUtime=3.06 cores=1,3,5,7
/proc/31503/task/31505/stat : 31505 (pwbo2.0) R 31501 31503 31075 0 -1 4202560 14464 0 0 0 304 2 0 0 20 0 3 0 275070658 167501824 10426 33554432000 4194304 5965102 140736296122832 139881522473304 4394175 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=163576 CPUtime=3.07 cores=1,3,5,7
/proc/31503/task/31506/stat : 31506 (pwbo2.0) R 31501 31503 31075 0 -1 4202560 4000 0 0 0 306 1 0 0 20 0 3 0 275070658 167501824 10426 33554432000 4194304 5965102 140736296122832 139881511983416 5131557 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 163576

[startup+6.30037 s]
/proc/loadavg: 3.85 3.97 3.90 3/177 31507
/proc/meminfo: memFree=31520368/32873844 swapFree=7112/7112
[pid=31503] ppid=31501 vsize=164264 CPUtime=12.57 cores=1,3,5,7
/proc/31503/stat : 31503 (pwbo2.0) S 31501 31503 31075 0 -1 4202496 27448 0 0 0 1252 5 0 0 20 0 3 0 275070657 168206336 15506 33554432000 4194304 5965102 140736296122832 140736296122352 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31503/statm: 41066 15506 200 433 0 40630 0
[pid=31503/tid=31505] ppid=31501 vsize=164264 CPUtime=6.26 cores=1,3,5,7
/proc/31503/task/31505/stat : 31505 (pwbo2.0) R 31501 31503 31075 0 -1 4202560 19526 0 0 0 623 3 0 0 20 0 3 0 275070658 168206336 15506 33554432000 4194304 5965102 140736296122832 139881522473496 4390112 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=164264 CPUtime=6.26 cores=1,3,5,7
/proc/31503/task/31506/stat : 31506 (pwbo2.0) R 31501 31503 31075 0 -1 4202560 7001 0 0 0 625 1 0 0 20 0 3 0 275070658 168206336 15506 33554432000 4194304 5965102 140736296122832 139881511983416 4404704 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 164264

[startup+12.7004 s]
/proc/loadavg: 3.86 3.97 3.90 5/181 31547
/proc/meminfo: memFree=31479904/32873844 swapFree=7112/7112
[pid=31503] ppid=31501 vsize=165572 CPUtime=25.37 cores=1,3,5,7
/proc/31503/stat : 31503 (pwbo2.0) S 31501 31503 31075 0 -1 4202496 34337 0 0 0 2529 8 0 0 20 0 3 0 275070657 169545728 22394 33554432000 4194304 5965102 140736296122832 140736296122352 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31503/statm: 41393 22394 200 433 0 40957 0
[pid=31503/tid=31505] ppid=31501 vsize=165572 CPUtime=12.64 cores=1,3,5,7
/proc/31503/task/31505/stat : 31505 (pwbo2.0) R 31501 31503 31075 0 -1 4202560 22026 0 0 0 1260 4 0 0 20 0 3 0 275070658 169545728 22394 33554432000 4194304 5965102 140736296122832 139881522473320 4404604 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=165572 CPUtime=12.64 cores=1,3,5,7
/proc/31503/task/31506/stat : 31506 (pwbo2.0) R 31501 31503 31075 0 -1 4202560 11390 0 0 0 1260 4 0 0 20 0 3 0 275070658 169545728 22394 33554432000 4194304 5965102 140736296122832 139881511983416 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 165572

[startup+25.5004 s]
/proc/loadavg: 3.97 3.99 3.91 5/181 31547
/proc/meminfo: memFree=31434420/32873844 swapFree=7112/7112
[pid=31503] ppid=31501 vsize=167380 CPUtime=50.95 cores=1,3,5,7
/proc/31503/stat : 31503 (pwbo2.0) S 31501 31503 31075 0 -1 4202496 36095 0 0 0 5086 9 0 0 20 0 3 0 275070657 171397120 24196 33554432000 4194304 5965102 140736296122832 140736296122352 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31503/statm: 41845 24196 200 433 0 41409 0
[pid=31503/tid=31505] ppid=31501 vsize=167380 CPUtime=25.4 cores=1,3,5,7
/proc/31503/task/31505/stat : 31505 (pwbo2.0) R 31501 31503 31075 0 -1 4202560 22076 0 0 0 2536 4 0 0 20 0 3 0 275070658 171397120 24196 33554432000 4194304 5965102 140736296122832 139881522473496 4393720 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=167380 CPUtime=25.4 cores=1,3,5,7
/proc/31503/task/31506/stat : 31506 (pwbo2.0) R 31501 31503 31075 0 -1 4202560 13098 0 0 0 2535 5 0 0 20 0 3 0 275070658 171397120 24196 33554432000 4194304 5965102 140736296122832 139881511983176 4404735 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 167380

[startup+51.1005 s]
/proc/loadavg: 3.98 3.99 3.91 5/181 31547
/proc/meminfo: memFree=31387500/32873844 swapFree=7112/7112
[pid=31503] ppid=31501 vsize=172432 CPUtime=102.13 cores=1,3,5,7
/proc/31503/stat : 31503 (pwbo2.0) S 31501 31503 31075 0 -1 4202496 41510 0 0 0 10196 17 0 0 20 0 3 0 275070657 176570368 29355 33554432000 4194304 5965102 140736296122832 140736296122352 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31503/statm: 43108 29355 200 433 0 42672 0
[pid=31503/tid=31505] ppid=31501 vsize=172432 CPUtime=50.91 cores=1,3,5,7
/proc/31503/task/31505/stat : 31505 (pwbo2.0) R 31501 31503 31075 0 -1 4202560 26350 0 0 0 5080 11 0 0 20 0 3 0 275070658 176570368 29355 33554432000 4194304 5965102 140736296122832 139881522473320 4404407 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=172432 CPUtime=50.94 cores=1,3,5,7
/proc/31503/task/31506/stat : 31506 (pwbo2.0) R 31501 31503 31075 0 -1 4202560 14239 0 0 0 5089 5 0 0 20 0 3 0 275070658 176570368 29355 33554432000 4194304 5965102 140736296122832 139881511983176 4390200 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 172432

[startup+102.3 s]
/proc/loadavg: 3.99 3.99 3.91 5/182 31548
/proc/meminfo: memFree=31280292/32873844 swapFree=7112/7112
[pid=31503] ppid=31501 vsize=308640 CPUtime=204.49 cores=1,3,5,7
/proc/31503/stat : 31503 (pwbo2.0) S 31501 31503 31075 0 -1 4202496 57153 0 0 0 20421 28 0 0 20 0 3 0 275070657 316047360 46080 33554432000 4194304 5965102 140736296122832 140736296122352 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31503/statm: 77160 46080 200 433 0 76724 0
[pid=31503/tid=31505] ppid=31501 vsize=308640 CPUtime=101.98 cores=1,3,5,7
/proc/31503/task/31505/stat : 31505 (pwbo2.0) R 31501 31503 31075 0 -1 4202560 33249 0 0 0 10179 19 0 0 20 0 3 0 275070658 316047360 46080 33554432000 4194304 5965102 140736296122832 139881522472760 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=308640 CPUtime=101.98 cores=1,3,5,7
/proc/31503/task/31506/stat : 31506 (pwbo2.0) R 31501 31503 31075 0 -1 4202560 22983 0 0 0 10188 10 0 0 20 0 3 0 275070658 316047360 46080 33554432000 4194304 5965102 140736296122832 139881511983176 4401064 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 204.49
Current children cumulated vsize (KiB) 308640

[startup+162.3 s]
/proc/loadavg: 3.99 3.99 3.91 5/181 31548
/proc/meminfo: memFree=31197376/32873844 swapFree=7112/7112
[pid=31503] ppid=31501 vsize=315204 CPUtime=324.45 cores=1,3,5,7
/proc/31503/stat : 31503 (pwbo2.0) S 31501 31503 31075 0 -1 4202496 68472 0 0 0 32403 42 0 0 20 0 3 0 275070657 322768896 57399 33554432000 4194304 5965102 140736296122832 140736296122352 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31503/statm: 78801 57399 200 433 0 78365 0
[pid=31503/tid=31505] ppid=31501 vsize=315204 CPUtime=161.82 cores=1,3,5,7
/proc/31503/task/31505/stat : 31505 (pwbo2.0) R 31501 31503 31075 0 -1 4202560 41199 0 0 0 16149 33 0 0 20 0 3 0 275070658 322768896 57399 33554432000 4194304 5965102 140736296122832 139881522472760 4390624 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=315204 CPUtime=161.82 cores=1,3,5,7
/proc/31503/task/31506/stat : 31506 (pwbo2.0) R 31501 31503 31075 0 -1 4202560 26352 0 0 0 16169 13 0 0 20 0 3 0 275070658 322768896 57399 33554432000 4194304 5965102 140736296122832 139881511983416 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 324.45
Current children cumulated vsize (KiB) 315204

[startup+222.307 s]
/proc/loadavg: 4.09 4.02 3.92 5/181 31548
/proc/meminfo: memFree=31134644/32873844 swapFree=7112/7112
[pid=31503] ppid=31501 vsize=386700 CPUtime=444.45 cores=1,3,5,7
/proc/31503/stat : 31503 (pwbo2.0) S 31501 31503 31075 0 -1 4202496 82608 0 0 0 44389 56 0 0 20 0 3 0 275070657 395980800 71167 33554432000 4194304 5965102 140736296122832 140736296122352 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31503/statm: 96675 71168 200 433 0 96239 0
[pid=31503/tid=31505] ppid=31501 vsize=386700 CPUtime=221.67 cores=1,3,5,7
/proc/31503/task/31505/stat : 31505 (pwbo2.0) R 31501 31503 31075 0 -1 4202560 47409 0 0 0 22124 43 0 0 20 0 3 0 275070658 395980800 71168 33554432000 4194304 5965102 140736296122832 139881522472760 4401155 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=386700 CPUtime=221.68 cores=1,3,5,7
/proc/31503/task/31506/stat : 31506 (pwbo2.0) R 31501 31503 31075 0 -1 4202560 34279 0 0 0 22150 18 0 0 20 0 3 0 275070658 395980800 71168 33554432000 4194304 5965102 140736296122832 139881511983416 5137076 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 444.45
Current children cumulated vsize (KiB) 386700

[startup+282.3 s]
/proc/loadavg: 4.07 4.02 3.93 5/181 31549
/proc/meminfo: memFree=31100392/32873844 swapFree=7112/7112
[pid=31503] ppid=31501 vsize=391616 CPUtime=564.38 cores=1,3,5,7
/proc/31503/stat : 31503 (pwbo2.0) S 31501 31503 31075 0 -1 4202496 90767 0 0 0 56373 65 0 0 20 0 3 0 275070657 401014784 79760 33554432000 4194304 5965102 140736296122832 140736296122352 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31503/statm: 97904 79760 200 433 0 97468 0
[pid=31503/tid=31505] ppid=31501 vsize=391616 CPUtime=281.5 cores=1,3,5,7
/proc/31503/task/31505/stat : 31505 (pwbo2.0) R 31501 31503 31075 0 -1 4202560 52444 0 0 0 28098 52 0 0 20 0 3 0 275070658 401014784 79760 33554432000 4194304 5965102 140736296122832 139881522472952 4401559 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=391616 CPUtime=281.49 cores=1,3,5,7
/proc/31503/task/31506/stat : 31506 (pwbo2.0) R 31501 31503 31075 0 -1 4202560 37402 0 0 0 28129 20 0 0 20 0 3 0 275070658 401014784 79760 33554432000 4194304 5965102 140736296122832 139881511983176 4390315 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 564.38
Current children cumulated vsize (KiB) 391616

[startup+342.3 s]
/proc/loadavg: 4.06 4.03 3.93 5/181 31549
/proc/meminfo: memFree=31021352/32873844 swapFree=7112/7112
[pid=31503] ppid=31501 vsize=460768 CPUtime=684.33 cores=1,3,5,7
/proc/31503/stat : 31503 (pwbo2.0) S 31501 31503 31075 0 -1 4202496 105154 0 0 0 68345 88 0 0 20 0 3 0 275070657 471826432 93030 33554432000 4194304 5965102 140736296122832 140736296122352 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31503/statm: 115192 93030 200 433 0 114756 0
[pid=31503/tid=31505] ppid=31501 vsize=460768 CPUtime=341.32 cores=1,3,5,7
/proc/31503/task/31505/stat : 31505 (pwbo2.0) R 31501 31503 31075 0 -1 4202560 60928 0 0 0 34060 72 0 0 20 0 3 0 275070658 471826432 93030 33554432000 4194304 5965102 140736296122832 139881522472760 4401078 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=460768 CPUtime=341.33 cores=1,3,5,7
/proc/31503/task/31506/stat : 31506 (pwbo2.0) R 31501 31503 31075 0 -1 4202560 43305 0 0 0 34107 26 0 0 20 0 3 0 275070658 471826432 93030 33554432000 4194304 5965102 140736296122832 139881511983448 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 684.33
Current children cumulated vsize (KiB) 460768

[startup+402.3 s]
/proc/loadavg: 4.02 4.02 3.93 5/181 31549
/proc/meminfo: memFree=30948484/32873844 swapFree=7112/7112
[pid=31503] ppid=31501 vsize=530400 CPUtime=804.3 cores=1,3,5,7
/proc/31503/stat : 31503 (pwbo2.0) S 31501 31503 31075 0 -1 4202496 118380 0 0 0 80329 101 0 0 20 0 3 0 275070657 543129600 106452 33554432000 4194304 5965102 140736296122832 140736296122352 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31503/statm: 132600 106452 200 433 0 132164 0
[pid=31503/tid=31505] ppid=31501 vsize=530400 CPUtime=401.16 cores=1,3,5,7
/proc/31503/task/31505/stat : 31505 (pwbo2.0) R 31501 31503 31075 0 -1 4202560 68203 0 0 0 40034 82 0 0 20 0 3 0 275070658 543129600 106452 33554432000 4194304 5965102 140736296122832 139881522472952 4390150 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=530400 CPUtime=401.18 cores=1,3,5,7
/proc/31503/task/31506/stat : 31506 (pwbo2.0) R 31501 31503 31075 0 -1 4202560 49256 0 0 0 40088 30 0 0 20 0 3 0 275070658 543129600 106452 33554432000 4194304 5965102 140736296122832 139881511983416 4401143 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 804.3
Current children cumulated vsize (KiB) 530400

[startup+462.3 s]
/proc/loadavg: 4.00 4.02 3.93 5/181 31549
/proc/meminfo: memFree=30896484/32873844 swapFree=7112/7112
[pid=31503] ppid=31501 vsize=539816 CPUtime=924.28 cores=1,3,5,7
/proc/31503/stat : 31503 (pwbo2.0) S 31501 31503 31075 0 -1 4202496 128099 0 0 0 92317 111 0 0 20 0 3 0 275070657 552771584 114830 33554432000 4194304 5965102 140736296122832 140736296122352 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31503/statm: 134954 114830 200 433 0 134518 0
[pid=31503/tid=31505] ppid=31501 vsize=539816 CPUtime=461 cores=1,3,5,7
/proc/31503/task/31505/stat : 31505 (pwbo2.0) R 31501 31503 31075 0 -1 4202560 71977 0 0 0 46010 90 0 0 20 0 3 0 275070658 552771584 114830 33554432000 4194304 5965102 140736296122832 139881522473912 4390150 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=539816 CPUtime=461.02 cores=1,3,5,7
/proc/31503/task/31506/stat : 31506 (pwbo2.0) R 31501 31503 31075 0 -1 4202560 55201 0 0 0 46068 34 0 0 20 0 3 0 275070658 552771584 114830 33554432000 4194304 5965102 140736296122832 139881511983176 4392552 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 924.28
Current children cumulated vsize (KiB) 539816

[startup+522.3 s]
/proc/loadavg: 4.06 4.03 3.94 5/181 31549
/proc/meminfo: memFree=30878556/32873844 swapFree=7112/7112
[pid=31503] ppid=31501 vsize=539388 CPUtime=1044.26 cores=1,3,5,7
/proc/31503/stat : 31503 (pwbo2.0) S 31501 31503 31075 0 -1 4202496 128739 0 0 0 104315 111 0 0 20 0 3 0 275070657 552333312 114049 33554432000 4194304 5965102 140736296122832 140736296122352 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31503/statm: 134847 114049 200 433 0 134411 0
[pid=31503/tid=31505] ppid=31501 vsize=539388 CPUtime=520.85 cores=1,3,5,7
/proc/31503/task/31505/stat : 31505 (pwbo2.0) R 31501 31503 31075 0 -1 4202560 72117 0 0 0 51994 91 0 0 20 0 3 0 275070658 552333312 114049 33554432000 4194304 5965102 140736296122832 139881522473496 4401129 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=539388 CPUtime=520.87 cores=1,3,5,7
/proc/31503/task/31506/stat : 31506 (pwbo2.0) R 31501 31503 31075 0 -1 4202560 55701 0 0 0 52053 34 0 0 20 0 3 0 275070658 552333312 114049 33554432000 4194304 5965102 140736296122832 139881511983448 4401582 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1044.26
Current children cumulated vsize (KiB) 539388

[startup+582.3 s]
/proc/loadavg: 4.06 4.03 3.94 5/181 31552
/proc/meminfo: memFree=30842088/32873844 swapFree=7112/7112
[pid=31503] ppid=31501 vsize=540144 CPUtime=1164.24 cores=1,3,5,7
/proc/31503/stat : 31503 (pwbo2.0) S 31501 31503 31075 0 -1 4202496 128904 0 0 0 116313 111 0 0 20 0 3 0 275070657 553107456 114214 33554432000 4194304 5965102 140736296122832 140736296122352 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31503/statm: 135036 114214 200 433 0 134600 0
[pid=31503/tid=31505] ppid=31501 vsize=540144 CPUtime=580.69 cores=1,3,5,7
/proc/31503/task/31505/stat : 31505 (pwbo2.0) R 31501 31503 31075 0 -1 4202560 72127 0 0 0 57977 92 0 0 20 0 3 0 275070658 553107456 114214 33554432000 4194304 5965102 140736296122832 139881522473496 4221984 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=540144 CPUtime=580.72 cores=1,3,5,7
/proc/31503/task/31506/stat : 31506 (pwbo2.0) R 31501 31503 31075 0 -1 4202560 55856 0 0 0 58037 35 0 0 20 0 3 0 275070658 553107456 114214 33554432000 4194304 5965102 140736296122832 139881511983176 4401073 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1164.24
Current children cumulated vsize (KiB) 540144

[startup+642.3 s]
/proc/loadavg: 4.05 4.04 3.95 5/181 31553
/proc/meminfo: memFree=30788572/32873844 swapFree=7112/7112
[pid=31503] ppid=31501 vsize=542064 CPUtime=1284.21 cores=1,3,5,7
/proc/31503/stat : 31503 (pwbo2.0) S 31501 31503 31075 0 -1 4202496 133472 0 0 0 128306 115 0 0 20 0 3 0 275070657 555073536 119649 33554432000 4194304 5965102 140736296122832 140736296122352 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31503/statm: 135516 119649 200 433 0 135080 0
[pid=31503/tid=31505] ppid=31501 vsize=542064 CPUtime=640.52 cores=1,3,5,7
/proc/31503/task/31505/stat : 31505 (pwbo2.0) R 31501 31503 31075 0 -1 4202560 72160 0 0 0 63959 93 0 0 20 0 3 0 275070658 555073536 119649 33554432000 4194304 5965102 140736296122832 139881522473496 4390210 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=542064 CPUtime=640.56 cores=1,3,5,7
/proc/31503/task/31506/stat : 31506 (pwbo2.0) R 31501 31503 31075 0 -1 4202560 60391 0 0 0 64017 39 0 0 20 0 3 0 275070658 555073536 119649 33554432000 4194304 5965102 140736296122832 139881511983416 4390112 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1284.21
Current children cumulated vsize (KiB) 542064

[startup+702.3 s]
/proc/loadavg: 4.05 4.04 3.95 5/181 31553
/proc/meminfo: memFree=30749780/32873844 swapFree=7112/7112
[pid=31503] ppid=31501 vsize=611928 CPUtime=1404.16 cores=1,3,5,7
/proc/31503/stat : 31503 (pwbo2.0) S 31501 31503 31075 0 -1 4202496 140251 0 0 0 140299 117 0 0 20 0 3 0 275070657 626614272 126453 33554432000 4194304 5965102 140736296122832 140736296122352 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31503/statm: 152982 126453 200 433 0 152546 0
[pid=31503/tid=31505] ppid=31501 vsize=611928 CPUtime=700.35 cores=1,3,5,7
/proc/31503/task/31505/stat : 31505 (pwbo2.0) R 31501 31503 31075 0 -1 4202560 72178 0 0 0 69941 94 0 0 20 0 3 0 275070658 626614272 126453 33554432000 4194304 5965102 140736296122832 139881522473496 4401131 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=611928 CPUtime=700.4 cores=1,3,5,7
/proc/31503/task/31506/stat : 31506 (pwbo2.0) R 31501 31503 31075 0 -1 4202560 67152 0 0 0 69997 43 0 0 20 0 3 0 275070658 626614272 126453 33554432000 4194304 5965102 140736296122832 139881511982936 4400963 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1404.16
Current children cumulated vsize (KiB) 611928

[startup+762.3 s]
/proc/loadavg: 4.05 4.05 3.96 5/181 31553
/proc/meminfo: memFree=30721564/32873844 swapFree=7112/7112
[pid=31503] ppid=31501 vsize=613580 CPUtime=1524.15 cores=1,3,5,7
/proc/31503/stat : 31503 (pwbo2.0) S 31501 31503 31075 0 -1 4202496 141593 0 0 0 152296 119 0 0 20 0 3 0 275070657 628305920 127792 33554432000 4194304 5965102 140736296122832 140736296122352 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31503/statm: 153395 127792 200 433 0 152959 0
[pid=31503/tid=31505] ppid=31501 vsize=613580 CPUtime=760.2 cores=1,3,5,7
/proc/31503/task/31505/stat : 31505 (pwbo2.0) R 31501 31503 31075 0 -1 4202560 72178 0 0 0 75925 95 0 0 20 0 3 0 275070658 628305920 127792 33554432000 4194304 5965102 140736296122832 139881522473496 4401127 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=613580 CPUtime=760.25 cores=1,3,5,7
/proc/31503/task/31506/stat : 31506 (pwbo2.0) R 31501 31503 31075 0 -1 4202560 68494 0 0 0 75979 46 0 0 20 0 3 0 275070658 628305920 127792 33554432000 4194304 5965102 140736296122832 139881511983416 4380356 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1524.15
Current children cumulated vsize (KiB) 613580

[startup+822.3 s]
/proc/loadavg: 4.13 4.07 3.97 5/181 31553
/proc/meminfo: memFree=30708368/32873844 swapFree=7112/7112
[pid=31503] ppid=31501 vsize=614060 CPUtime=1644.12 cores=1,3,5,7
/proc/31503/stat : 31503 (pwbo2.0) S 31501 31503 31075 0 -1 4202496 141724 0 0 0 164292 120 0 0 20 0 3 0 275070657 628797440 124839 33554432000 4194304 5965102 140736296122832 140736296122352 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31503/statm: 153515 124839 200 433 0 153079 0
[pid=31503/tid=31505] ppid=31501 vsize=614060 CPUtime=820.04 cores=1,3,5,7
/proc/31503/task/31505/stat : 31505 (pwbo2.0) R 31501 31503 31075 0 -1 4202560 72178 0 0 0 81908 96 0 0 20 0 3 0 275070658 628797440 124839 33554432000 4194304 5965102 140736296122832 139881522473496 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=614060 CPUtime=820.09 cores=1,3,5,7
/proc/31503/task/31506/stat : 31506 (pwbo2.0) R 31501 31503 31075 0 -1 4202560 68625 0 0 0 81962 47 0 0 20 0 3 0 275070658 628797440 124839 33554432000 4194304 5965102 140736296122832 139881511983448 5131650 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1644.12
Current children cumulated vsize (KiB) 614060

[startup+882.307 s]
/proc/loadavg: 4.08 4.07 3.98 5/181 31553
/proc/meminfo: memFree=30677672/32873844 swapFree=7112/7112
[pid=31503] ppid=31501 vsize=615368 CPUtime=1764.11 cores=1,3,5,7
/proc/31503/stat : 31503 (pwbo2.0) S 31501 31503 31075 0 -1 4202496 142036 0 0 0 176291 120 0 0 20 0 3 0 275070657 630136832 125151 33554432000 4194304 5965102 140736296122832 140736296122352 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31503/statm: 153842 125151 200 433 0 153406 0
[pid=31503/tid=31505] ppid=31501 vsize=615368 CPUtime=879.89 cores=1,3,5,7
/proc/31503/task/31505/stat : 31505 (pwbo2.0) R 31501 31503 31075 0 -1 4202560 72178 0 0 0 87892 97 0 0 20 0 3 0 275070658 630136832 125151 33554432000 4194304 5965102 140736296122832 139881522473496 4221984 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=615368 CPUtime=879.94 cores=1,3,5,7
/proc/31503/task/31506/stat : 31506 (pwbo2.0) R 31501 31503 31075 0 -1 4202560 68937 0 0 0 87946 48 0 0 20 0 3 0 275070658 630136832 125151 33554432000 4194304 5965102 140736296122832 139881511983176 4404732 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1764.11
Current children cumulated vsize (KiB) 615368



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.3 s]
/proc/loadavg: 4.06 4.06 3.98 5/181 31554
/proc/meminfo: memFree=30673864/32873844 swapFree=7112/7112
[pid=31503] ppid=31501 vsize=616508 CPUtime=1800.11 cores=1,3,5,7
/proc/31503/stat : 31503 (pwbo2.0) S 31501 31503 31075 0 -1 4202496 142251 0 0 0 179891 120 0 0 20 0 3 0 275070657 631304192 125366 33554432000 4194304 5965102 140736296122832 140736296122352 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31503/statm: 154127 125366 200 433 0 153691 0
[pid=31503/tid=31505] ppid=31501 vsize=616508 CPUtime=897.84 cores=1,3,5,7
/proc/31503/task/31505/stat : 31505 (pwbo2.0) R 31501 31503 31075 0 -1 4202560 72178 0 0 0 89687 97 0 0 20 0 3 0 275070658 631304192 125366 33554432000 4194304 5965102 140736296122832 139881522473496 4222464 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=616508 CPUtime=897.89 cores=1,3,5,7
/proc/31503/task/31506/stat : 31506 (pwbo2.0) R 31501 31503 31075 0 -1 4202560 69152 0 0 0 89741 48 0 0 20 0 3 0 275070658 631304192 125366 33554432000 4194304 5965102 140736296122832 139881511983176 4401559 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 616508

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 31503 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=314222
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=475775
# CPU time returned by wait4() is 1795.79
# while last known CPU time is 1800.11
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 900.316
CPU time (s): 1800.11
CPU user time (s): 1798.91
CPU system time (s): 1.2
CPU usage (%): 199.942
Max. virtual memory (cumulated for all children) (KiB): 616508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.31
system time used= 1.47578
maximum resident set size= 511764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 142253
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= 396
involuntary context switches= 2473

runsolver used 2.21066 second user time and 5.2442 second system time

The end

Launcher Data 

Begin job on node142 at 2012-05-27 05:30:58
IDJOB=3703548
IDBENCH=2018
IDSOLVER=2279
FILE ID=node142/3703548-1338089458
RUNJOBID= node142-1338085847-31092
PBS_JOBID= 14624428
Free space on /tmp= 71688 MiB

SOLVER NAME= pwbo 2.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-C432.opb
COMMAND LINE= pwbo2.0 -file-format=opb -verbosity=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3703548-1338089458/watcher-3703548-1338089458 -o /tmp/evaluation-result-3703548-1338089458/solver-3703548-1338089458 -C 1800 -W 1900 -M 15500  pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703548-1338089458.opb

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

MD5SUM BENCH= a8708c855e8ec8c2a31771025318bb9b
RANDOM SEED=1473289169

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30371184 kB
Buffers:          259660 kB
Cached:           219820 kB
SwapCached:            0 kB
Active:          1631812 kB
Inactive:          67348 kB
Active(anon):    1210144 kB
Inactive(anon):    11212 kB
Active(file):     421668 kB
Inactive(file):    56136 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              5472 kB
Writeback:             0 kB
AnonPages:       1225260 kB
Mapped:            12484 kB
Shmem:               200 kB
Slab:             662640 kB
SReclaimable:     104912 kB
SUnreclaim:       557728 kB
KernelStack:        1488 kB
PageTables:         6444 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     181736 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    557056 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

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