Trace number 3726023

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)98 1800.49 900.332

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-m4.r.opb
MD5SUMf69ecb5497caa964fbd82b9dc6698ac3
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark90
Best CPU time to get the best result obtained on this benchmark0.142977
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 90
Optimality of the best value was proved YES
Number of variables652
Total number of constraints759
Number of constraints which are clauses759
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 constraint46
Number of terms in the objective function 652
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 652
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 652
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-3726023-1338655871.opb.
0.00/0.00	c Instance file HOME/instance-3726023-1338655871.opb
0.00/0.00	c File size is 82250 bytes.
0.00/0.00	c Cost Offset: 0
0.00/0.00	c Highest Coefficient sum: 47
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.01         s                                      |
0.00/0.00	c |  Number Variables:      652                                                 |
0.00/0.00	c |  Number Clauses:        759                                                 |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 0                                                   |
0.00/0.00	c |                                                                             |
0.00/0.01	c |  Problem Type:          Optimization                                        |
0.00/0.01	c |  Objective Function:    Cardinality Constraint                              |
0.00/0.01	c |                                                                             |
0.00/0.01	c ===============================================================================
1800.10/900.31	o 116
1800.10/900.31	o 114
1800.10/900.31	o 113
1800.10/900.31	o 111
1800.10/900.31	o 110
1800.10/900.31	o 109
1800.10/900.31	o 108
1800.10/900.31	o 107
1800.10/900.31	o 106
1800.10/900.31	o 105
1800.10/900.31	o 104
1800.10/900.31	o 103
1800.10/900.31	o 102
1800.10/900.31	o 101
1800.10/900.31	o 98
1800.10/900.31	c ===============================================================================
1800.10/900.31	c Wall Clock Time: 900.31 s
1800.10/900.31	c Best Solution: 98
1800.10/900.31	s SATISFIABLE
1800.10/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

Verifier Data 

OK	98

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

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

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


[startup+0 s]
/proc/loadavg: 4.03 4.00 3.91 4/180 4227
/proc/meminfo: memFree=28468332/32873844 swapFree=7380/7380
[pid=4227] ppid=4225 vsize=4144 CPUtime=0 cores=1,3,5,7
/proc/4227/stat : 4227 (pwbo2.02) R 4225 4227 2131 0 -1 4202496 350 0 0 0 0 0 0 0 20 0 1 0 331711872 4243456 302 33554432000 4194304 5964478 140733433606576 140737096372024 5179243 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/4227/statm: 1036 302 168 433 0 579 0

[startup+0.034868 s]
/proc/loadavg: 4.03 4.00 3.91 4/180 4227
/proc/meminfo: memFree=28468332/32873844 swapFree=7380/7380
[pid=4227] ppid=4225 vsize=167384 CPUtime=0.05 cores=1,3,5,7
/proc/4227/stat : 4227 (pwbo2.02) S 4225 4227 2131 0 -1 4202496 3151 0 0 0 4 1 0 0 20 0 3 0 331711872 171401216 3036 33554432000 4194304 5964478 140733433606576 140733433606096 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4227/statm: 41846 3036 202 433 0 41410 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 167384

[startup+0.100255 s]
/proc/loadavg: 4.03 4.00 3.91 4/180 4227
/proc/meminfo: memFree=28468332/32873844 swapFree=7380/7380
[pid=4227] ppid=4225 vsize=167384 CPUtime=0.18 cores=1,3,5,7
/proc/4227/stat : 4227 (pwbo2.02) S 4225 4227 2131 0 -1 4202496 3266 0 0 0 17 1 0 0 20 0 3 0 331711872 171401216 3151 33554432000 4194304 5964478 140733433606576 140733433606096 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4227/statm: 41846 3151 204 433 0 41410 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 167384

[startup+0.300174 s]
/proc/loadavg: 4.03 4.00 3.91 4/180 4227
/proc/meminfo: memFree=28468332/32873844 swapFree=7380/7380
[pid=4227] ppid=4225 vsize=167384 CPUtime=0.58 cores=1,3,5,7
/proc/4227/stat : 4227 (pwbo2.02) S 4225 4227 2131 0 -1 4202496 3632 0 0 0 57 1 0 0 20 0 3 0 331711872 171401216 3517 33554432000 4194304 5964478 140733433606576 140733433606096 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4227/statm: 41846 3517 204 433 0 41410 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 167384

[startup+0.700192 s]
/proc/loadavg: 4.03 4.00 3.91 4/180 4227
/proc/meminfo: memFree=28468332/32873844 swapFree=7380/7380
[pid=4227] ppid=4225 vsize=167384 CPUtime=1.38 cores=1,3,5,7
/proc/4227/stat : 4227 (pwbo2.02) S 4225 4227 2131 0 -1 4202496 4186 0 0 0 137 1 0 0 20 0 3 0 331711872 171401216 4071 33554432000 4194304 5964478 140733433606576 140733433606096 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4227/statm: 41846 4071 204 433 0 41410 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 167384

[startup+1.50036 s]
/proc/loadavg: 4.03 4.00 3.91 5/183 4230
/proc/meminfo: memFree=28449800/32873844 swapFree=7380/7380
[pid=4227] ppid=4225 vsize=167384 CPUtime=2.98 cores=1,3,5,7
/proc/4227/stat : 4227 (pwbo2.02) S 4225 4227 2131 0 -1 4202496 5069 0 0 0 296 2 0 0 20 0 3 0 331711872 171401216 4954 33554432000 4194304 5964478 140733433606576 140733433606096 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4227/statm: 41846 4954 204 433 0 41410 0
[pid=4227/tid=4229] ppid=4225 vsize=167384 CPUtime=1.48 cores=1,3,5,7
/proc/4227/task/4229/stat : 4229 (pwbo2.02) R 4225 4227 2131 0 -1 4202560 1789 0 0 0 148 0 0 0 20 0 3 0 331711873 171401216 4954 33554432000 4194304 5964478 140733433606576 140397094942904 4221984 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4227/tid=4230] ppid=4225 vsize=167384 CPUtime=1.47 cores=1,3,5,7
/proc/4227/task/4230/stat : 4230 (pwbo2.02) R 4225 4227 2131 0 -1 4202560 2421 0 0 0 146 1 0 0 20 0 3 0 331711873 171401216 4954 33554432000 4194304 5964478 140733433606576 140397084452984 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 167384

[startup+3.10035 s]
/proc/loadavg: 4.03 4.00 3.91 5/183 4230
/proc/meminfo: memFree=28444220/32873844 swapFree=7380/7380
[pid=4227] ppid=4225 vsize=167672 CPUtime=6.18 cores=1,3,5,7
/proc/4227/stat : 4227 (pwbo2.02) S 4225 4227 2131 0 -1 4202496 7489 0 0 0 614 4 0 0 20 0 3 0 331711872 171696128 7374 33554432000 4194304 5964478 140733433606576 140733433606096 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4227/statm: 41918 7374 204 433 0 41482 0
[pid=4227/tid=4229] ppid=4225 vsize=167672 CPUtime=3.08 cores=1,3,5,7
/proc/4227/task/4229/stat : 4229 (pwbo2.02) R 4225 4227 2131 0 -1 4202560 3697 0 0 0 306 2 0 0 20 0 3 0 331711873 171696128 7374 33554432000 4194304 5964478 140733433606576 140397094942712 4400087 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4227/tid=4230] ppid=4225 vsize=167672 CPUtime=3.07 cores=1,3,5,7
/proc/4227/task/4230/stat : 4230 (pwbo2.02) R 4225 4227 2131 0 -1 4202560 2933 0 0 0 305 2 0 0 20 0 3 0 331711873 171696128 7374 33554432000 4194304 5964478 140733433606576 140397084453112 4400519 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 167672

[startup+6.30038 s]
/proc/loadavg: 4.03 4.00 3.91 5/183 4230
/proc/meminfo: memFree=28428348/32873844 swapFree=7380/7380
[pid=4227] ppid=4225 vsize=167816 CPUtime=12.57 cores=1,3,5,7
/proc/4227/stat : 4227 (pwbo2.02) S 4225 4227 2131 0 -1 4202496 9927 0 0 0 1251 6 0 0 20 0 3 0 331711872 171843584 9812 33554432000 4194304 5964478 140733433606576 140733433606096 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4227/statm: 41954 9812 204 433 0 41518 0
[pid=4227/tid=4229] ppid=4225 vsize=167816 CPUtime=6.28 cores=1,3,5,7
/proc/4227/task/4229/stat : 4229 (pwbo2.02) R 4225 4227 2131 0 -1 4202560 5286 0 0 0 625 3 0 0 20 0 3 0 331711873 171843584 9812 33554432000 4194304 5964478 140733433606576 140397094942712 4400056 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4227/tid=4230] ppid=4225 vsize=167816 CPUtime=6.27 cores=1,3,5,7
/proc/4227/task/4230/stat : 4230 (pwbo2.02) R 4225 4227 2131 0 -1 4202560 3782 0 0 0 623 4 0 0 20 0 3 0 331711873 171843584 9812 33554432000 4194304 5964478 140733433606576 140397084452984 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 167816

[startup+12.7004 s]
/proc/loadavg: 4.02 4.00 3.91 5/183 4230
/proc/meminfo: memFree=28409176/32873844 swapFree=7380/7380
[pid=4227] ppid=4225 vsize=168068 CPUtime=25.37 cores=1,3,5,7
/proc/4227/stat : 4227 (pwbo2.02) S 4225 4227 2131 0 -1 4202496 13956 0 0 0 2529 8 0 0 20 0 3 0 331711872 172101632 13841 33554432000 4194304 5964478 140733433606576 140733433606096 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4227/statm: 42017 13841 204 433 0 41581 0
[pid=4227/tid=4229] ppid=4225 vsize=168068 CPUtime=12.68 cores=1,3,5,7
/proc/4227/task/4229/stat : 4229 (pwbo2.02) R 4225 4227 2131 0 -1 4202560 8660 0 0 0 1264 4 0 0 20 0 3 0 331711873 172101632 13841 33554432000 4194304 5964478 140733433606576 140397094942520 4400087 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4227/tid=4230] ppid=4225 vsize=168068 CPUtime=12.67 cores=1,3,5,7
/proc/4227/task/4230/stat : 4230 (pwbo2.02) R 4225 4227 2131 0 -1 4202560 4437 0 0 0 1262 5 0 0 20 0 3 0 331711873 172101632 13841 33554432000 4194304 5964478 140733433606576 140397084453176 4399915 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) 168068

[startup+25.5004 s]
/proc/loadavg: 4.09 4.01 3.92 5/183 4230
/proc/meminfo: memFree=28360932/32873844 swapFree=7380/7380
[pid=4227] ppid=4225 vsize=169348 CPUtime=50.97 cores=1,3,5,7
/proc/4227/stat : 4227 (pwbo2.02) S 4225 4227 2131 0 -1 4202496 23900 0 0 0 5081 16 0 0 20 0 3 0 331711872 173412352 23785 33554432000 4194304 5964478 140733433606576 140733433606096 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4227/statm: 42337 23785 204 433 0 41901 0
[pid=4227/tid=4229] ppid=4225 vsize=169348 CPUtime=25.48 cores=1,3,5,7
/proc/4227/task/4229/stat : 4229 (pwbo2.02) R 4225 4227 2131 0 -1 4202560 15149 0 0 0 2540 8 0 0 20 0 3 0 331711873 173412352 23785 33554432000 4194304 5964478 140733433606576 140397094942520 4387996 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4227/tid=4230] ppid=4225 vsize=169348 CPUtime=25.48 cores=1,3,5,7
/proc/4227/task/4230/stat : 4230 (pwbo2.02) R 4225 4227 2131 0 -1 4202560 7892 0 0 0 2539 9 0 0 20 0 3 0 331711873 173412352 23785 33554432000 4194304 5964478 140733433606576 140397084453176 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 169348

[startup+51.1004 s]
/proc/loadavg: 4.06 4.01 3.92 5/183 4230
/proc/meminfo: memFree=28314572/32873844 swapFree=7380/7380
[pid=4227] ppid=4225 vsize=235484 CPUtime=102.16 cores=1,3,5,7
/proc/4227/stat : 4227 (pwbo2.02) S 4225 4227 2131 0 -1 4202496 31525 0 0 0 10195 21 0 0 20 0 3 0 331711872 241135616 31410 33554432000 4194304 5964478 140733433606576 140733433606096 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4227/statm: 58871 31410 204 433 0 58435 0
[pid=4227/tid=4229] ppid=4225 vsize=235484 CPUtime=51.08 cores=1,3,5,7
/proc/4227/task/4229/stat : 4229 (pwbo2.02) R 4225 4227 2131 0 -1 4202560 20525 0 0 0 5097 11 0 0 20 0 3 0 331711873 241135616 31410 33554432000 4194304 5964478 140733433606576 140397094942520 4400069 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4227/tid=4230] ppid=4225 vsize=235484 CPUtime=51.07 cores=1,3,5,7
/proc/4227/task/4230/stat : 4230 (pwbo2.02) R 4225 4227 2131 0 -1 4202560 10141 0 0 0 5096 11 0 0 20 0 3 0 331711873 241135616 31410 33554432000 4194304 5964478 140733433606576 140397084453224 4400571 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 235484

[startup+102.307 s]
/proc/loadavg: 4.02 4.01 3.92 5/183 4230
/proc/meminfo: memFree=28217588/32873844 swapFree=7380/7380
[pid=4227] ppid=4225 vsize=305504 CPUtime=204.56 cores=1,3,5,7
/proc/4227/stat : 4227 (pwbo2.02) S 4225 4227 2131 0 -1 4202496 45811 0 0 0 20418 38 0 0 20 0 3 0 331711872 312836096 45696 33554432000 4194304 5964478 140733433606576 140733433606096 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4227/statm: 76376 45696 204 433 0 75940 0
[pid=4227/tid=4229] ppid=4225 vsize=305504 CPUtime=102.29 cores=1,3,5,7
/proc/4227/task/4229/stat : 4229 (pwbo2.02) R 4225 4227 2131 0 -1 4202560 24641 0 0 0 10214 15 0 0 20 0 3 0 331711873 312836096 45696 33554432000 4194304 5964478 140733433606576 140397094942712 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4227/tid=4230] ppid=4225 vsize=305504 CPUtime=102.28 cores=1,3,5,7
/proc/4227/task/4230/stat : 4230 (pwbo2.02) R 4225 4227 2131 0 -1 4202560 20311 0 0 0 10202 26 0 0 20 0 3 0 331711873 312836096 45696 33554432000 4194304 5964478 140733433606576 140397084453176 4399854 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 204.56
Current children cumulated vsize (KiB) 305504

[startup+162.3 s]
/proc/loadavg: 4.06 4.02 3.93 5/183 4230
/proc/meminfo: memFree=28125360/32873844 swapFree=7380/7380
[pid=4227] ppid=4225 vsize=300620 CPUtime=324.53 cores=1,3,5,7
/proc/4227/stat : 4227 (pwbo2.02) S 4225 4227 2131 0 -1 4202496 53567 0 0 0 32409 44 0 0 20 0 3 0 331711872 307834880 49156 33554432000 4194304 5964478 140733433606576 140733433606096 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4227/statm: 75155 49156 204 433 0 74719 0
[pid=4227/tid=4229] ppid=4225 vsize=300620 CPUtime=162.28 cores=1,3,5,7
/proc/4227/task/4229/stat : 4229 (pwbo2.02) R 4225 4227 2131 0 -1 4202560 28469 0 0 0 16209 19 0 0 20 0 3 0 331711873 307834880 49156 33554432000 4194304 5964478 140733433606576 140397094943560 4390868 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4227/tid=4230] ppid=4225 vsize=300620 CPUtime=162.28 cores=1,3,5,7
/proc/4227/task/4230/stat : 4230 (pwbo2.02) R 4225 4227 2131 0 -1 4202560 24239 0 0 0 16198 30 0 0 20 0 3 0 331711873 307834880 49156 33554432000 4194304 5964478 140733433606576 140397084453176 4403343 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 324.53
Current children cumulated vsize (KiB) 300620

[startup+222.3 s]
/proc/loadavg: 4.02 4.01 3.93 5/183 4231
/proc/meminfo: memFree=28007844/32873844 swapFree=7380/7380
[pid=4227] ppid=4225 vsize=300896 CPUtime=444.51 cores=1,3,5,7
/proc/4227/stat : 4227 (pwbo2.02) S 4225 4227 2131 0 -1 4202496 63113 0 0 0 44400 51 0 0 20 0 3 0 331711872 308117504 58702 33554432000 4194304 5964478 140733433606576 140733433606096 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4227/statm: 75224 58702 204 433 0 74788 0
[pid=4227/tid=4229] ppid=4225 vsize=300896 CPUtime=222.28 cores=1,3,5,7
/proc/4227/task/4229/stat : 4229 (pwbo2.02) R 4225 4227 2131 0 -1 4202560 33941 0 0 0 22206 22 0 0 20 0 3 0 331711873 308117504 58702 33554432000 4194304 5964478 140733433606576 140397094942520 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4227/tid=4230] ppid=4225 vsize=300896 CPUtime=222.28 cores=1,3,5,7
/proc/4227/task/4230/stat : 4230 (pwbo2.02) R 4225 4227 2131 0 -1 4202560 28313 0 0 0 22192 36 0 0 20 0 3 0 331711873 308117504 58702 33554432000 4194304 5964478 140733433606576 140397084453176 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 444.51
Current children cumulated vsize (KiB) 300896

[startup+282.3 s]
/proc/loadavg: 4.01 4.00 3.93 5/183 4231
/proc/meminfo: memFree=27888124/32873844 swapFree=7380/7380
[pid=4227] ppid=4225 vsize=367104 CPUtime=564.47 cores=1,3,5,7
/proc/4227/stat : 4227 (pwbo2.02) S 4225 4227 2131 0 -1 4202496 81714 0 0 0 56383 64 0 0 20 0 3 0 331711872 375914496 77648 33554432000 4194304 5964478 140733433606576 140733433606096 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4227/statm: 91776 77648 204 433 0 91340 0
[pid=4227/tid=4229] ppid=4225 vsize=367104 CPUtime=282.29 cores=1,3,5,7
/proc/4227/task/4229/stat : 4229 (pwbo2.02) R 4225 4227 2131 0 -1 4202560 48915 0 0 0 28197 32 0 0 20 0 3 0 331711873 375914496 77648 33554432000 4194304 5964478 140733433606576 140397094942520 4400087 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4227/tid=4230] ppid=4225 vsize=367104 CPUtime=282.27 cores=1,3,5,7
/proc/4227/task/4230/stat : 4230 (pwbo2.02) R 4225 4227 2131 0 -1 4202560 31940 0 0 0 28186 41 0 0 20 0 3 0 331711873 375914496 77648 33554432000 4194304 5964478 140733433606576 140397084452936 4400542 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 564.47
Current children cumulated vsize (KiB) 367104

[startup+342.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/183 4231
/proc/meminfo: memFree=27778164/32873844 swapFree=7380/7380
[pid=4227] ppid=4225 vsize=432640 CPUtime=684.41 cores=1,3,5,7
/proc/4227/stat : 4227 (pwbo2.02) S 4225 4227 2131 0 -1 4202496 90621 0 0 0 68371 70 0 0 20 0 3 0 331711872 443023360 86718 33554432000 4194304 5964478 140733433606576 140733433606096 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4227/statm: 108160 86718 204 433 0 107724 0
[pid=4227/tid=4229] ppid=4225 vsize=432640 CPUtime=342.25 cores=1,3,5,7
/proc/4227/task/4229/stat : 4229 (pwbo2.02) R 4225 4227 2131 0 -1 4202560 57800 0 0 0 34186 39 0 0 20 0 3 0 331711873 443023360 86718 33554432000 4194304 5964478 140733433606576 140397094942520 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4227/tid=4230] ppid=4225 vsize=432640 CPUtime=342.26 cores=1,3,5,7
/proc/4227/task/4230/stat : 4230 (pwbo2.02) R 4225 4227 2131 0 -1 4202560 31962 0 0 0 34184 42 0 0 20 0 3 0 331711873 443023360 86718 33554432000 4194304 5964478 140733433606576 140397084452936 4409255 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 684.41
Current children cumulated vsize (KiB) 432640

[startup+402.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/183 4231
/proc/meminfo: memFree=27667892/32873844 swapFree=7380/7380
[pid=4227] ppid=4225 vsize=499392 CPUtime=804.34 cores=1,3,5,7
/proc/4227/stat : 4227 (pwbo2.02) S 4225 4227 2131 0 -1 4202496 103377 0 0 0 80353 81 0 0 20 0 3 0 331711872 511377408 99485 33554432000 4194304 5964478 140733433606576 140733433606096 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4227/statm: 124848 99485 204 433 0 124412 0
[pid=4227/tid=4229] ppid=4225 vsize=499392 CPUtime=402.23 cores=1,3,5,7
/proc/4227/task/4229/stat : 4229 (pwbo2.02) R 4225 4227 2131 0 -1 4202560 70508 0 0 0 40172 51 0 0 20 0 3 0 331711873 511377408 99485 33554432000 4194304 5964478 140733433606576 140397094942520 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4227/tid=4230] ppid=4225 vsize=499392 CPUtime=402.23 cores=1,3,5,7
/proc/4227/task/4230/stat : 4230 (pwbo2.02) R 4225 4227 2131 0 -1 4202560 32010 0 0 0 40180 43 0 0 20 0 3 0 331711873 511377408 99485 33554432000 4194304 5964478 140733433606576 140397084452936 4400422 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 804.34
Current children cumulated vsize (KiB) 499392

[startup+462.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/183 4231
/proc/meminfo: memFree=27636432/32873844 swapFree=7380/7380
[pid=4227] ppid=4225 vsize=499712 CPUtime=924.27 cores=1,3,5,7
/proc/4227/stat : 4227 (pwbo2.02) S 4225 4227 2131 0 -1 4202496 103493 0 0 0 92346 81 0 0 20 0 3 0 331711872 511705088 99587 33554432000 4194304 5964478 140733433606576 140733433606096 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4227/statm: 124928 99587 204 433 0 124492 0
[pid=4227/tid=4229] ppid=4225 vsize=499712 CPUtime=462.19 cores=1,3,5,7
/proc/4227/task/4229/stat : 4229 (pwbo2.02) R 4225 4227 2131 0 -1 4202560 70558 0 0 0 46167 52 0 0 20 0 3 0 331711873 511705088 99587 33554432000 4194304 5964478 140733433606576 140397094942520 4400087 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4227/tid=4230] ppid=4225 vsize=499712 CPUtime=462.24 cores=1,3,5,7
/proc/4227/task/4230/stat : 4230 (pwbo2.02) R 4225 4227 2131 0 -1 4202560 32076 0 0 0 46180 44 0 0 20 0 3 0 331711873 511705088 99587 33554432000 4194304 5964478 140733433606576 140397084452936 4399854 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 924.27
Current children cumulated vsize (KiB) 499712

[startup+522.3 s]
/proc/loadavg: 3.89 3.97 3.91 5/182 4272
/proc/meminfo: memFree=28487628/32873844 swapFree=7380/7380
[pid=4227] ppid=4225 vsize=499712 CPUtime=1044.24 cores=1,3,5,7
/proc/4227/stat : 4227 (pwbo2.02) S 4225 4227 2131 0 -1 4202496 108283 0 0 0 104340 84 0 0 20 0 3 0 331711872 511705088 106270 33554432000 4194304 5964478 140733433606576 140733433606096 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4227/statm: 124928 106270 204 433 0 124492 0
[pid=4227/tid=4229] ppid=4225 vsize=499712 CPUtime=522.17 cores=1,3,5,7
/proc/4227/task/4229/stat : 4229 (pwbo2.02) R 4225 4227 2131 0 -1 4202560 75333 0 0 0 52162 55 0 0 20 0 3 0 331711873 511705088 106270 33554432000 4194304 5964478 140733433606576 140397094942520 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4227/tid=4230] ppid=4225 vsize=499712 CPUtime=522.24 cores=1,3,5,7
/proc/4227/task/4230/stat : 4230 (pwbo2.02) R 4225 4227 2131 0 -1 4202560 32091 0 0 0 52180 44 0 0 20 0 3 0 331711873 511705088 106270 33554432000 4194304 5964478 140733433606576 140397084452936 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1044.24
Current children cumulated vsize (KiB) 499712

[startup+582.3 s]
/proc/loadavg: 3.96 3.97 3.91 5/184 4276
/proc/meminfo: memFree=28410352/32873844 swapFree=7380/7380
[pid=4227] ppid=4225 vsize=499844 CPUtime=1164.19 cores=1,3,5,7
/proc/4227/stat : 4227 (pwbo2.02) S 4225 4227 2131 0 -1 4202496 116959 0 0 0 116327 92 0 0 20 0 3 0 331711872 511840256 115748 33554432000 4194304 5964478 140733433606576 140733433606096 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4227/statm: 124961 115748 204 433 0 124525 0
[pid=4227/tid=4229] ppid=4225 vsize=499844 CPUtime=582.15 cores=1,3,5,7
/proc/4227/task/4229/stat : 4229 (pwbo2.02) R 4225 4227 2131 0 -1 4202560 82694 0 0 0 58153 62 0 0 20 0 3 0 331711873 511840256 115748 33554432000 4194304 5964478 140733433606576 140397094942712 4400091 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4227/tid=4230] ppid=4225 vsize=499844 CPUtime=582.24 cores=1,3,5,7
/proc/4227/task/4230/stat : 4230 (pwbo2.02) R 4225 4227 2131 0 -1 4202560 33406 0 0 0 58178 46 0 0 20 0 3 0 331711873 511840256 115748 33554432000 4194304 5964478 140733433606576 140397084453176 4399915 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1164.19
Current children cumulated vsize (KiB) 499844

[startup+642.3 s]
/proc/loadavg: 4.08 4.00 3.93 5/184 4299
/proc/meminfo: memFree=28367504/32873844 swapFree=7380/7380
[pid=4227] ppid=4225 vsize=565512 CPUtime=1284.18 cores=1,3,5,7
/proc/4227/stat : 4227 (pwbo2.02) S 4225 4227 2131 0 -1 4202496 119383 0 0 0 128326 92 0 0 20 0 3 0 331711872 579084288 118168 33554432000 4194304 5964478 140733433606576 140733433606096 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4227/statm: 141378 118168 204 433 0 140942 0
[pid=4227/tid=4229] ppid=4225 vsize=565512 CPUtime=642.16 cores=1,3,5,7
/proc/4227/task/4229/stat : 4229 (pwbo2.02) R 4225 4227 2131 0 -1 4202560 85075 0 0 0 64152 64 0 0 20 0 3 0 331711873 579084288 118168 33554432000 4194304 5964478 140733433606576 140397094942472 4400010 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4227/tid=4230] ppid=4225 vsize=565512 CPUtime=642.25 cores=1,3,5,7
/proc/4227/task/4230/stat : 4230 (pwbo2.02) R 4225 4227 2131 0 -1 4202560 33449 0 0 0 64178 47 0 0 20 0 3 0 331711873 579084288 118168 33554432000 4194304 5964478 140733433606576 140397084452936 4392863 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1284.18
Current children cumulated vsize (KiB) 565512

[startup+702.3 s]
/proc/loadavg: 4.03 4.00 3.93 5/183 4299
/proc/meminfo: memFree=28331056/32873844 swapFree=7380/7380
[pid=4227] ppid=4225 vsize=631192 CPUtime=1404.15 cores=1,3,5,7
/proc/4227/stat : 4227 (pwbo2.02) S 4225 4227 2131 0 -1 4202496 123649 0 0 0 140317 98 0 0 20 0 3 0 331711872 646340608 122432 33554432000 4194304 5964478 140733433606576 140733433606096 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4227/statm: 157798 122432 204 433 0 157362 0
[pid=4227/tid=4229] ppid=4225 vsize=631192 CPUtime=702.15 cores=1,3,5,7
/proc/4227/task/4229/stat : 4229 (pwbo2.02) R 4225 4227 2131 0 -1 4202560 86030 0 0 0 70150 65 0 0 20 0 3 0 331711873 646340608 122432 33554432000 4194304 5964478 140733433606576 140397094942520 4399975 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4227/tid=4230] ppid=4225 vsize=631192 CPUtime=702.24 cores=1,3,5,7
/proc/4227/task/4230/stat : 4230 (pwbo2.02) R 4225 4227 2131 0 -1 4202560 36760 0 0 0 70170 54 0 0 20 0 3 0 331711873 646340608 122432 33554432000 4194304 5964478 140733433606576 140397084453176 4403343 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1404.15
Current children cumulated vsize (KiB) 631192

[startup+762.307 s]
/proc/loadavg: 4.01 4.00 3.93 5/183 4299
/proc/meminfo: memFree=28211272/32873844 swapFree=7380/7380
[pid=4227] ppid=4225 vsize=632840 CPUtime=1524.14 cores=1,3,5,7
/proc/4227/stat : 4227 (pwbo2.02) S 4225 4227 2131 0 -1 4202496 145713 0 0 0 152295 119 0 0 20 0 3 0 331711872 648028160 144495 33554432000 4194304 5964478 140733433606576 140733433606096 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4227/statm: 158210 144495 204 433 0 157774 0
[pid=4227/tid=4229] ppid=4225 vsize=632840 CPUtime=762.16 cores=1,3,5,7
/proc/4227/task/4229/stat : 4229 (pwbo2.02) R 4225 4227 2131 0 -1 4202560 97617 0 0 0 76142 74 0 0 20 0 3 0 331711873 648028160 144495 33554432000 4194304 5964478 140733433606576 140397094942520 4400115 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4227/tid=4230] ppid=4225 vsize=632840 CPUtime=762.25 cores=1,3,5,7
/proc/4227/task/4230/stat : 4230 (pwbo2.02) R 4225 4227 2131 0 -1 4202560 47237 0 0 0 76156 69 0 0 20 0 3 0 331711873 648028160 144495 33554432000 4194304 5964478 140733433606576 140397084453176 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1524.14
Current children cumulated vsize (KiB) 632840

[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/183 4299
/proc/meminfo: memFree=28158624/32873844 swapFree=7380/7380
[pid=4227] ppid=4225 vsize=698376 CPUtime=1644.11 cores=1,3,5,7
/proc/4227/stat : 4227 (pwbo2.02) S 4225 4227 2131 0 -1 4202496 154186 0 0 0 164284 127 0 0 20 0 3 0 331711872 715137024 152967 33554432000 4194304 5964478 140733433606576 140733433606096 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4227/statm: 174594 152967 204 433 0 174158 0
[pid=4227/tid=4229] ppid=4225 vsize=698376 CPUtime=822.16 cores=1,3,5,7
/proc/4227/task/4229/stat : 4229 (pwbo2.02) R 4225 4227 2131 0 -1 4202560 104970 0 0 0 82134 82 0 0 20 0 3 0 331711873 715137024 152967 33554432000 4194304 5964478 140733433606576 140397094942712 4400109 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4227/tid=4230] ppid=4225 vsize=698376 CPUtime=822.25 cores=1,3,5,7
/proc/4227/task/4230/stat : 4230 (pwbo2.02) R 4225 4227 2131 0 -1 4202560 48357 0 0 0 82155 70 0 0 20 0 3 0 331711873 715137024 152967 33554432000 4194304 5964478 140733433606576 140397084453176 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1644.11
Current children cumulated vsize (KiB) 698376

[startup+882.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/183 4300
/proc/meminfo: memFree=28099520/32873844 swapFree=7380/7380
[pid=4227] ppid=4225 vsize=698376 CPUtime=1764.09 cores=1,3,5,7
/proc/4227/stat : 4227 (pwbo2.02) S 4225 4227 2131 0 -1 4202496 163298 0 0 0 176272 137 0 0 20 0 3 0 331711872 715137024 162073 33554432000 4194304 5964478 140733433606576 140733433606096 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4227/statm: 174594 162073 204 433 0 174158 0
[pid=4227/tid=4229] ppid=4225 vsize=698376 CPUtime=882.16 cores=1,3,5,7
/proc/4227/task/4229/stat : 4229 (pwbo2.02) R 4225 4227 2131 0 -1 4202560 114064 0 0 0 88123 93 0 0 20 0 3 0 331711873 715137024 162073 33554432000 4194304 5964478 140733433606576 140397094942712 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4227/tid=4230] ppid=4225 vsize=698376 CPUtime=882.25 cores=1,3,5,7
/proc/4227/task/4230/stat : 4230 (pwbo2.02) R 4225 4227 2131 0 -1 4202560 48375 0 0 0 88154 71 0 0 20 0 3 0 331711873 715137024 162073 33554432000 4194304 5964478 140733433606576 140397084453176 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1764.09
Current children cumulated vsize (KiB) 698376



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/183 4300
/proc/meminfo: memFree=28092264/32873844 swapFree=7380/7380
[pid=4227] ppid=4225 vsize=698376 CPUtime=1800.1 cores=1,3,5,7
/proc/4227/stat : 4227 (pwbo2.02) S 4225 4227 2131 0 -1 4202496 163304 0 0 0 179873 137 0 0 20 0 3 0 331711872 715137024 162079 33554432000 4194304 5964478 140733433606576 140733433606096 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4227/statm: 174594 162079 204 433 0 174158 0
[pid=4227/tid=4229] ppid=4225 vsize=698376 CPUtime=900.17 cores=1,3,5,7
/proc/4227/task/4229/stat : 4229 (pwbo2.02) R 4225 4227 2131 0 -1 4202560 114070 0 0 0 89924 93 0 0 20 0 3 0 331711873 715137024 162079 33554432000 4194304 5964478 140733433606576 140397094942712 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4227/tid=4230] ppid=4225 vsize=698376 CPUtime=900.26 cores=1,3,5,7
/proc/4227/task/4230/stat : 4230 (pwbo2.02) R 4225 4227 2131 0 -1 4202560 48375 0 0 0 89955 71 0 0 20 0 3 0 331711873 715137024 162079 33554432000 4194304 5964478 140733433606576 140397084453176 4399915 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 698376

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

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

[startup+900.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/183 4300
/proc/meminfo: memFree=28092264/32873844 swapFree=7380/7380
[pid=4227] ppid=4225 vsize=698376 CPUtime=1800.1 cores=1,3,5,7
/proc/4227/stat : 4227 (pwbo2.02) S 4225 4227 2131 0 -1 4202496 163304 0 0 0 179873 137 0 0 20 0 3 0 331711872 715137024 162079 33554432000 4194304 5964478 140733433606576 140733433606096 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4227/statm: 174594 162079 204 433 0 174158 0
[pid=4227/tid=4229] ppid=4225 vsize=698376 CPUtime=900.17 cores=1,3,5,7
/proc/4227/task/4229/stat : 4229 (pwbo2.02) R 4225 4227 2131 0 -1 4202560 114070 0 0 0 89924 93 0 0 20 0 3 0 331711873 715137024 162079 33554432000 4194304 5964478 140733433606576 140397094942712 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4227/tid=4230] ppid=4225 vsize=698376 CPUtime=900.26 cores=1,3,5,7
/proc/4227/task/4230/stat : 4230 (pwbo2.02) R 4225 4227 2131 0 -1 4202560 48375 0 0 0 89955 71 0 0 20 0 3 0 331711873 715137024 162079 33554432000 4194304 5964478 140733433606576 140397084453176 4399915 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 698376

Child status: 0
Real time (s): 900.332
CPU time (s): 1800.49
CPU user time (s): 1798.8
CPU system time (s): 1.68274
CPU usage (%): 199.98
Max. virtual memory (cumulated for all children) (KiB): 698376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.8
system time used= 1.68274
maximum resident set size= 648320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 163305
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= 403
involuntary context switches= 1872

runsolver used 2.34164 second user time and 5.46417 second system time

The end

Launcher Data 

Begin job on node133 at 2012-06-02 18:51:11
IDJOB=3726023
IDBENCH=2868
IDSOLVER=2309
FILE ID=node133/3726023-1338655871
RUNJOBID= node133-1338651663-3450
PBS_JOBID= 14636447
Free space on /tmp= 70480 MiB

SOLVER NAME= pwbo 2.02
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m4.r.opb
COMMAND LINE= pwbo2.02 -file-format=opb -verbosity=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3726023-1338655871/watcher-3726023-1338655871 -o /tmp/evaluation-result-3726023-1338655871/solver-3726023-1338655871 -C 1800 -W 1900 -M 15500  pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3726023-1338655871.opb

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

MD5SUM BENCH= f69ecb5497caa964fbd82b9dc6698ac3
RANDOM SEED=1944039436

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

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
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.90
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.540
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.540
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:        28468332 kB
Buffers:          361040 kB
Cached:          2666968 kB
SwapCached:          676 kB
Active:          1821704 kB
Inactive:        1711744 kB
Active(anon):     496732 kB
Inactive(anon):    10240 kB
Active(file):    1324972 kB
Inactive(file):  1701504 kB
Unevictable:        7380 kB
Mlocked:            7380 kB
SwapTotal:      67108856 kB
SwapFree:       67107040 kB
Dirty:              5828 kB
Writeback:             0 kB
AnonPages:        511408 kB
Mapped:            11156 kB
Shmem:                 0 kB
Slab:             732876 kB
SReclaimable:     174336 kB
SUnreclaim:       558540 kB
KernelStack:        1472 kB
PageTables:         4932 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     241420 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:     96256 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= 70472 MiB
End job on node133 at 2012-06-02 19:06:13