Trace number 3725847

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)5048 1800.1 900.322

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-9symml.opb
MD5SUM866c660dea8282137b8c78839dd4c03f
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4517
Best CPU time to get the best result obtained on this benchmark0.174972
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4517
Optimality of the best value was proved YES
Number of variables651
Total number of constraints1658
Number of constraints which are clauses1656
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 651
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 28138
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 61
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 28138
Number of bits of the biggest sum of numbers15
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-3725847-1338653311.opb.
0.00/0.00	c Instance file HOME/instance-3725847-1338653311.opb
0.00/0.00	c File size is 71286 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:      651                                                 |
0.00/0.01	c |  Number Clauses:        1658                                                |
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.10/900.31	o 6175
1800.10/900.31	o 5890
1800.10/900.31	o 5582
1800.10/900.31	o 5577
1800.10/900.31	o 5563
1800.10/900.31	o 5561
1800.10/900.31	o 5554
1800.10/900.31	o 5548
1800.10/900.31	o 5531
1800.10/900.31	o 5450
1800.10/900.31	o 5445
1800.10/900.31	o 5442
1800.10/900.31	o 5426
1800.10/900.31	o 5422
1800.10/900.31	o 5412
1800.10/900.31	o 5409
1800.10/900.31	o 5405
1800.10/900.31	o 5337
1800.10/900.31	o 5324
1800.10/900.31	o 5317
1800.10/900.31	o 5307
1800.10/900.31	o 5283
1800.10/900.31	o 5272
1800.10/900.31	o 5267
1800.10/900.31	o 5263
1800.10/900.31	o 5257
1800.10/900.31	o 5252
1800.10/900.31	o 5247
1800.10/900.31	o 5198
1800.10/900.31	o 5190
1800.10/900.31	o 5180
1800.10/900.31	o 5171
1800.10/900.31	o 5156
1800.10/900.31	o 5147
1800.10/900.31	o 5137
1800.10/900.31	o 5132
1800.10/900.31	o 5118
1800.10/900.31	o 5057
1800.10/900.31	o 5051
1800.10/900.31	o 5048
1800.10/900.31	c ===============================================================================
1800.10/900.31	c Wall Clock Time: 900.31 s
1800.10/900.31	c Best Solution: 5048
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

Verifier Data

OK	5048

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

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

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


[startup+0 s]
/proc/loadavg: 3.84 3.97 3.67 2/172 12636
/proc/meminfo: memFree=28285572/32873844 swapFree=7108/7108
[pid=12636] ppid=12634 vsize=4132 CPUtime=0 cores=0,2,4,6
/proc/12636/stat : 12636 (pwbo2.02) R 12634 12636 10982 0 -1 4202496 347 0 0 0 0 0 0 0 20 0 1 0 331455643 4231168 300 33554432000 4194304 5964478 140736311097184 140735612674360 5136490 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/12636/statm: 1033 300 165 433 0 579 0

[startup+0.0148671 s]
/proc/loadavg: 3.84 3.97 3.67 2/172 12636
/proc/meminfo: memFree=28285572/32873844 swapFree=7108/7108
[pid=12636] ppid=12634 vsize=163036 CPUtime=0.01 cores=0,2,4,6
/proc/12636/stat : 12636 (pwbo2.02) S 12634 12636 10982 0 -1 4202496 1247 0 0 0 1 0 0 0 20 0 3 0 331455643 166948864 1151 33554432000 4194304 5964478 140736311097184 140736311096704 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12636/statm: 40759 1151 195 433 0 40323 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 163036

[startup+0.100153 s]
/proc/loadavg: 3.84 3.97 3.67 2/172 12636
/proc/meminfo: memFree=28285572/32873844 swapFree=7108/7108
[pid=12636] ppid=12634 vsize=163036 CPUtime=0.18 cores=0,2,4,6
/proc/12636/stat : 12636 (pwbo2.02) S 12634 12636 10982 0 -1 4202496 1760 0 0 0 18 0 0 0 20 0 3 0 331455643 166948864 1650 33554432000 4194304 5964478 140736311097184 140736311096704 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12636/statm: 40759 1650 198 433 0 40323 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 163036

[startup+0.300116 s]
/proc/loadavg: 3.84 3.97 3.67 2/172 12636
/proc/meminfo: memFree=28285572/32873844 swapFree=7108/7108
[pid=12636] ppid=12634 vsize=163036 CPUtime=0.57 cores=0,2,4,6
/proc/12636/stat : 12636 (pwbo2.02) S 12634 12636 10982 0 -1 4202496 2949 0 0 0 57 0 0 0 20 0 3 0 331455643 166948864 2685 33554432000 4194304 5964478 140736311097184 140736311096704 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12636/statm: 40759 2685 198 433 0 40323 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 163036

[startup+0.700148 s]
/proc/loadavg: 3.84 3.97 3.67 2/172 12636
/proc/meminfo: memFree=28285572/32873844 swapFree=7108/7108
[pid=12636] ppid=12634 vsize=163168 CPUtime=1.38 cores=0,2,4,6
/proc/12636/stat : 12636 (pwbo2.02) S 12634 12636 10982 0 -1 4202496 5396 0 0 0 137 1 0 0 20 0 3 0 331455643 167084032 4153 33554432000 4194304 5964478 140736311097184 140736311096704 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12636/statm: 40792 4153 198 433 0 40356 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 163168

[startup+1.50028 s]
/proc/loadavg: 3.84 3.97 3.67 5/181 12650
/proc/meminfo: memFree=28244712/32873844 swapFree=7108/7108
[pid=12636] ppid=12634 vsize=163300 CPUtime=2.98 cores=0,2,4,6
/proc/12636/stat : 12636 (pwbo2.02) S 12634 12636 10982 0 -1 4202496 11435 0 0 0 296 2 0 0 20 0 3 0 331455643 167219200 6521 33554432000 4194304 5964478 140736311097184 140736311096704 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12636/statm: 40825 6521 198 433 0 40389 0
[pid=12636/tid=12638] ppid=12634 vsize=163300 CPUtime=1.47 cores=0,2,4,6
/proc/12636/task/12638/stat : 12638 (pwbo2.02) R 12634 12636 10982 0 -1 4202560 8275 0 0 0 146 1 0 0 20 0 3 0 331455644 167219200 6521 33554432000 4194304 5964478 140736311097184 139719267957272 4373438 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12636/tid=12639] ppid=12634 vsize=163300 CPUtime=1.47 cores=0,2,4,6
/proc/12636/task/12639/stat : 12639 (pwbo2.02) R 12634 12636 10982 0 -1 4202560 2269 0 0 0 147 0 0 0 20 0 3 0 331455644 167219200 6521 33554432000 4194304 5964478 140736311097184 139719257467192 4221984 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 163300

[startup+3.10025 s]
/proc/loadavg: 3.85 3.97 3.67 5/181 12650
/proc/meminfo: memFree=28222988/32873844 swapFree=7108/7108
[pid=12636] ppid=12634 vsize=163568 CPUtime=6.17 cores=0,2,4,6
/proc/12636/stat : 12636 (pwbo2.02) S 12634 12636 10982 0 -1 4202496 13708 0 0 0 615 2 0 0 20 0 3 0 331455643 167493632 7853 33554432000 4194304 5964478 140736311097184 140736311096704 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12636/statm: 40892 7853 198 433 0 40456 0
[pid=12636/tid=12638] ppid=12634 vsize=163568 CPUtime=3.07 cores=0,2,4,6
/proc/12636/task/12638/stat : 12638 (pwbo2.02) R 12634 12636 10982 0 -1 4202560 10091 0 0 0 306 1 0 0 20 0 3 0 331455644 167493632 7853 33554432000 4194304 5964478 140736311097184 139719267957080 4392863 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12636/tid=12639] ppid=12634 vsize=163568 CPUtime=3.06 cores=0,2,4,6
/proc/12636/task/12639/stat : 12639 (pwbo2.02) R 12634 12636 10982 0 -1 4202560 2726 0 0 0 305 1 0 0 20 0 3 0 331455644 167493632 7853 33554432000 4194304 5964478 140736311097184 139719257466952 4389160 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 163568

[startup+6.30026 s]
/proc/loadavg: 3.85 3.97 3.67 5/181 12650
/proc/meminfo: memFree=28194840/32873844 swapFree=7108/7108
[pid=12636] ppid=12634 vsize=163968 CPUtime=12.57 cores=0,2,4,6
/proc/12636/stat : 12636 (pwbo2.02) S 12634 12636 10982 0 -1 4202496 15537 0 0 0 1254 3 0 0 20 0 3 0 331455643 167903232 9682 33554432000 4194304 5964478 140736311097184 140736311096704 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12636/statm: 40992 9682 198 433 0 40556 0
[pid=12636/tid=12638] ppid=12634 vsize=163968 CPUtime=6.26 cores=0,2,4,6
/proc/12636/task/12638/stat : 12638 (pwbo2.02) R 12634 12636 10982 0 -1 4202560 10918 0 0 0 625 1 0 0 20 0 3 0 331455644 167903232 9682 33554432000 4194304 5964478 140736311097184 139719267957096 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12636/tid=12639] ppid=12634 vsize=163968 CPUtime=6.25 cores=0,2,4,6
/proc/12636/task/12639/stat : 12639 (pwbo2.02) R 12634 12636 10982 0 -1 4202560 3728 0 0 0 624 1 0 0 20 0 3 0 331455644 167903232 9682 33554432000 4194304 5964478 140736311097184 139719257466952 4400432 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 163968

[startup+12.7003 s]
/proc/loadavg: 3.87 3.97 3.67 5/181 12650
/proc/meminfo: memFree=28153924/32873844 swapFree=7108/7108
[pid=12636] ppid=12634 vsize=164364 CPUtime=25.36 cores=0,2,4,6
/proc/12636/stat : 12636 (pwbo2.02) S 12634 12636 10982 0 -1 4202496 18123 0 0 0 2532 4 0 0 20 0 3 0 331455643 168308736 12254 33554432000 4194304 5964478 140736311097184 140736311096704 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12636/statm: 41091 12254 198 433 0 40655 0
[pid=12636/tid=12638] ppid=12634 vsize=164364 CPUtime=12.63 cores=0,2,4,6
/proc/12636/task/12638/stat : 12638 (pwbo2.02) R 12634 12636 10982 0 -1 4202560 12387 0 0 0 1261 2 0 0 20 0 3 0 331455644 168308736 12254 33554432000 4194304 5964478 140736311097184 139719267957064 4388268 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12636/tid=12639] ppid=12634 vsize=164364 CPUtime=12.64 cores=0,2,4,6
/proc/12636/task/12639/stat : 12639 (pwbo2.02) R 12634 12636 10982 0 -1 4202560 4845 0 0 0 1262 2 0 0 20 0 3 0 331455644 168308736 12254 33554432000 4194304 5964478 140736311097184 139719257466952 4220672 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 164364

[startup+25.5003 s]
/proc/loadavg: 3.89 3.97 3.67 5/181 12650
/proc/meminfo: memFree=28113516/32873844 swapFree=7108/7108
[pid=12636] ppid=12634 vsize=166032 CPUtime=50.94 cores=0,2,4,6
/proc/12636/stat : 12636 (pwbo2.02) S 12634 12636 10982 0 -1 4202496 26015 0 0 0 5087 7 0 0 20 0 3 0 331455643 170016768 20144 33554432000 4194304 5964478 140736311097184 140736311096704 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12636/statm: 41508 20144 198 433 0 41072 0
[pid=12636/tid=12638] ppid=12634 vsize=166032 CPUtime=25.39 cores=0,2,4,6
/proc/12636/task/12638/stat : 12638 (pwbo2.02) R 12634 12636 10982 0 -1 4202560 16000 0 0 0 2536 3 0 0 20 0 3 0 331455644 170016768 20144 33554432000 4194304 5964478 140736311097184 139719267956536 4389132 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12636/tid=12639] ppid=12634 vsize=166032 CPUtime=25.4 cores=0,2,4,6
/proc/12636/task/12639/stat : 12639 (pwbo2.02) R 12634 12636 10982 0 -1 4202560 9124 0 0 0 2536 4 0 0 20 0 3 0 331455644 170016768 20144 33554432000 4194304 5964478 140736311097184 139719257466952 4373520 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 166032

[startup+51.1003 s]
/proc/loadavg: 3.93 3.97 3.68 5/181 12650
/proc/meminfo: memFree=28038216/32873844 swapFree=7108/7108
[pid=12636] ppid=12634 vsize=170420 CPUtime=102.11 cores=0,2,4,6
/proc/12636/stat : 12636 (pwbo2.02) S 12634 12636 10982 0 -1 4202496 34629 0 0 0 10201 10 0 0 20 0 3 0 331455643 174510080 28123 33554432000 4194304 5964478 140736311097184 140736311096704 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12636/statm: 42605 28123 198 433 0 42169 0
[pid=12636/tid=12638] ppid=12634 vsize=170420 CPUtime=50.92 cores=0,2,4,6
/proc/12636/task/12638/stat : 12638 (pwbo2.02) R 12634 12636 10982 0 -1 4202560 19393 0 0 0 5088 4 0 0 20 0 3 0 331455644 174510080 28123 33554432000 4194304 5964478 140736311097184 139719267957688 4403647 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12636/tid=12639] ppid=12634 vsize=170420 CPUtime=50.91 cores=0,2,4,6
/proc/12636/task/12639/stat : 12639 (pwbo2.02) R 12634 12636 10982 0 -1 4202560 14345 0 0 0 5086 5 0 0 20 0 3 0 331455644 174510080 28123 33554432000 4194304 5964478 140736311097184 139719257467224 4221984 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.11
Current children cumulated vsize (KiB) 170420

[startup+102.306 s]
/proc/loadavg: 3.97 3.97 3.70 5/182 12654
/proc/meminfo: memFree=27897336/32873844 swapFree=7108/7108
[pid=12636] ppid=12634 vsize=239340 CPUtime=204.49 cores=0,2,4,6
/proc/12636/stat : 12636 (pwbo2.02) S 12634 12636 10982 0 -1 4202496 47519 0 0 0 20431 18 0 0 20 0 3 0 331455643 245084160 42101 33554432000 4194304 5964478 140736311097184 140736311096704 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12636/statm: 59835 42101 198 433 0 59399 0
[pid=12636/tid=12638] ppid=12634 vsize=239340 CPUtime=102 cores=0,2,4,6
/proc/12636/task/12638/stat : 12638 (pwbo2.02) R 12634 12636 10982 0 -1 4202560 27216 0 0 0 10190 10 0 0 20 0 3 0 331455644 245084160 42101 33554432000 4194304 5964478 140736311097184 139719267956776 4399946 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12636/tid=12639] ppid=12634 vsize=239340 CPUtime=101.97 cores=0,2,4,6
/proc/12636/task/12639/stat : 12639 (pwbo2.02) R 12634 12636 10982 0 -1 4202560 19412 0 0 0 10188 9 0 0 20 0 3 0 331455644 245084160 42101 33554432000 4194304 5964478 140736311097184 139719257466952 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.49
Current children cumulated vsize (KiB) 239340

[startup+162.3 s]
/proc/loadavg: 3.99 3.97 3.71 5/181 12654
/proc/meminfo: memFree=27828136/32873844 swapFree=7108/7108
[pid=12636] ppid=12634 vsize=308552 CPUtime=324.46 cores=0,2,4,6
/proc/12636/stat : 12636 (pwbo2.02) S 12634 12636 10982 0 -1 4202496 57601 0 0 0 32415 31 0 0 20 0 3 0 331455643 315957248 51992 33554432000 4194304 5964478 140736311097184 140736311096704 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12636/statm: 77138 51992 198 433 0 76702 0
[pid=12636/tid=12638] ppid=12634 vsize=308552 CPUtime=161.84 cores=0,2,4,6
/proc/12636/task/12638/stat : 12638 (pwbo2.02) R 12634 12636 10982 0 -1 4202560 35828 0 0 0 16162 22 0 0 20 0 3 0 331455644 315957248 51992 33554432000 4194304 5964478 140736311097184 139719267956728 4389100 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12636/tid=12639] ppid=12634 vsize=308552 CPUtime=161.81 cores=0,2,4,6
/proc/12636/task/12639/stat : 12639 (pwbo2.02) R 12634 12636 10982 0 -1 4202560 20882 0 0 0 16169 12 0 0 20 0 3 0 331455644 315957248 51992 33554432000 4194304 5964478 140736311097184 139719257466952 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.46
Current children cumulated vsize (KiB) 308552

[startup+222.3 s]
/proc/loadavg: 3.99 3.97 3.73 5/181 12654
/proc/meminfo: memFree=27760584/32873844 swapFree=7108/7108
[pid=12636] ppid=12634 vsize=381548 CPUtime=444.44 cores=0,2,4,6
/proc/12636/stat : 12636 (pwbo2.02) S 12634 12636 10982 0 -1 4202496 68869 0 0 0 44406 38 0 0 20 0 3 0 331455643 390705152 62755 33554432000 4194304 5964478 140736311097184 140736311096704 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12636/statm: 95387 62755 198 433 0 94951 0
[pid=12636/tid=12638] ppid=12634 vsize=381548 CPUtime=221.68 cores=0,2,4,6
/proc/12636/task/12638/stat : 12638 (pwbo2.02) R 12634 12636 10982 0 -1 4202560 39182 0 0 0 22143 25 0 0 20 0 3 0 331455644 390705152 62755 33554432000 4194304 5964478 140736311097184 139719267956664 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12636/tid=12639] ppid=12634 vsize=381548 CPUtime=221.65 cores=0,2,4,6
/proc/12636/task/12639/stat : 12639 (pwbo2.02) R 12634 12636 10982 0 -1 4202560 28796 0 0 0 22147 18 0 0 20 0 3 0 331455644 390705152 62755 33554432000 4194304 5964478 140736311097184 139719257467192 4379008 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.44
Current children cumulated vsize (KiB) 381548

[startup+282.3 s]
/proc/loadavg: 4.03 3.99 3.75 5/181 12654
/proc/meminfo: memFree=27694924/32873844 swapFree=7108/7108
[pid=12636] ppid=12634 vsize=385176 CPUtime=564.4 cores=0,2,4,6
/proc/12636/stat : 12636 (pwbo2.02) S 12634 12636 10982 0 -1 4202496 78556 0 0 0 56388 52 0 0 20 0 3 0 331455643 394420224 72579 33554432000 4194304 5964478 140736311097184 140736311096704 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12636/statm: 96294 72579 198 433 0 95858 0
[pid=12636/tid=12638] ppid=12634 vsize=385176 CPUtime=281.52 cores=0,2,4,6
/proc/12636/task/12638/stat : 12638 (pwbo2.02) R 12634 12636 10982 0 -1 4202560 45522 0 0 0 28117 35 0 0 20 0 3 0 331455644 394420224 72579 33554432000 4194304 5964478 140736311097184 139719267956536 4399819 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12636/tid=12639] ppid=12634 vsize=385176 CPUtime=281.48 cores=0,2,4,6
/proc/12636/task/12639/stat : 12639 (pwbo2.02) R 12634 12636 10982 0 -1 4202560 32143 0 0 0 28124 24 0 0 20 0 3 0 331455644 394420224 72579 33554432000 4194304 5964478 140736311097184 139719257466952 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.4
Current children cumulated vsize (KiB) 385176

[startup+342.3 s]
/proc/loadavg: 4.01 3.99 3.76 5/181 12654
/proc/meminfo: memFree=27589428/32873844 swapFree=7108/7108
[pid=12636] ppid=12634 vsize=390468 CPUtime=684.34 cores=0,2,4,6
/proc/12636/stat : 12636 (pwbo2.02) S 12634 12636 10982 0 -1 4202496 90764 0 0 0 68368 66 0 0 20 0 3 0 331455643 399839232 84972 33554432000 4194304 5964478 140736311097184 140736311096704 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12636/statm: 97617 84972 198 433 0 97181 0

################
# More data... #
################

[pid=12636/tid=12639] ppid=12634 vsize=390468 CPUtime=341.31 cores=0,2,4,6
/proc/12636/task/12639/stat : 12639 (pwbo2.02) R 12634 12636 10982 0 -1 4202560 38311 0 0 0 34103 28 0 0 20 0 3 0 331455644 399839232 84972 33554432000 4194304 5964478 140736311097184 139719257467224 4403708 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.34
Current children cumulated vsize (KiB) 390468

[startup+402.3 s]
/proc/loadavg: 4.00 3.99 3.77 5/181 12655
/proc/meminfo: memFree=27536992/32873844 swapFree=7108/7108
[pid=12636] ppid=12634 vsize=459100 CPUtime=804.3 cores=0,2,4,6
/proc/12636/stat : 12636 (pwbo2.02) S 12634 12636 10982 0 -1 4202496 98130 0 0 0 80353 77 0 0 20 0 3 0 331455643 470118400 92348 33554432000 4194304 5964478 140736311097184 140736311096704 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12636/statm: 114775 92348 198 433 0 114339 0
[pid=12636/tid=12638] ppid=12634 vsize=459100 CPUtime=401.17 cores=0,2,4,6
/proc/12636/task/12638/stat : 12638 (pwbo2.02) R 12634 12636 10982 0 -1 4202560 58218 0 0 0 40058 59 0 0 20 0 3 0 331455644 470118400 92348 33554432000 4194304 5964478 140736311097184 139719267956776 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12636/tid=12639] ppid=12634 vsize=459100 CPUtime=401.15 cores=0,2,4,6
/proc/12636/task/12639/stat : 12639 (pwbo2.02) R 12634 12636 10982 0 -1 4202560 39021 0 0 0 40086 29 0 0 20 0 3 0 331455644 470118400 92348 33554432000 4194304 5964478 140736311097184 139719257466952 4389199 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.3
Current children cumulated vsize (KiB) 459100

[startup+462.3 s]
/proc/loadavg: 4.03 4.00 3.79 5/181 12655
/proc/meminfo: memFree=27438844/32873844 swapFree=7108/7108
[pid=12636] ppid=12634 vsize=530364 CPUtime=924.29 cores=0,2,4,6
/proc/12636/stat : 12636 (pwbo2.02) S 12634 12636 10982 0 -1 4202496 109417 0 0 0 92343 86 0 0 20 0 3 0 331455643 543092736 103636 33554432000 4194304 5964478 140736311097184 140736311096704 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12636/statm: 132591 103636 198 433 0 132155 0
[pid=12636/tid=12638] ppid=12634 vsize=530364 CPUtime=461.01 cores=0,2,4,6
/proc/12636/task/12638/stat : 12638 (pwbo2.02) R 12634 12636 10982 0 -1 4202560 61093 0 0 0 46038 63 0 0 20 0 3 0 331455644 543092736 103636 33554432000 4194304 5964478 140736311097184 139719267956776 4392829 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12636/tid=12639] ppid=12634 vsize=530364 CPUtime=460.99 cores=0,2,4,6
/proc/12636/task/12639/stat : 12639 (pwbo2.02) R 12634 12636 10982 0 -1 4202560 47433 0 0 0 46064 35 0 0 20 0 3 0 331455644 543092736 103636 33554432000 4194304 5964478 140736311097184 139719257466952 4403727 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.29
Current children cumulated vsize (KiB) 530364

[startup+522.3 s]
/proc/loadavg: 4.01 4.00 3.80 5/181 12655
/proc/meminfo: memFree=27403988/32873844 swapFree=7108/7108
[pid=12636] ppid=12634 vsize=533484 CPUtime=1044.26 cores=0,2,4,6
/proc/12636/stat : 12636 (pwbo2.02) S 12634 12636 10982 0 -1 4202496 113341 0 0 0 104337 89 0 0 20 0 3 0 331455643 546287616 107289 33554432000 4194304 5964478 140736311097184 140736311096704 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12636/statm: 133371 107289 198 433 0 132935 0
[pid=12636/tid=12638] ppid=12634 vsize=533484 CPUtime=520.86 cores=0,2,4,6
/proc/12636/task/12638/stat : 12638 (pwbo2.02) R 12634 12636 10982 0 -1 4202560 64225 0 0 0 52019 67 0 0 20 0 3 0 331455644 546287616 107289 33554432000 4194304 5964478 140736311097184 139719267956728 4389160 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12636/tid=12639] ppid=12634 vsize=533484 CPUtime=520.84 cores=0,2,4,6
/proc/12636/task/12639/stat : 12639 (pwbo2.02) R 12634 12636 10982 0 -1 4202560 48225 0 0 0 52049 35 0 0 20 0 3 0 331455644 546287616 107289 33554432000 4194304 5964478 140736311097184 139719257467224 4389089 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.26
Current children cumulated vsize (KiB) 533484

[startup+582.3 s]
/proc/loadavg: 4.00 4.00 3.81 5/181 12655
/proc/meminfo: memFree=27330064/32873844 swapFree=7108/7108
[pid=12636] ppid=12634 vsize=601600 CPUtime=1164.25 cores=0,2,4,6
/proc/12636/stat : 12636 (pwbo2.02) S 12634 12636 10982 0 -1 4202496 124873 0 0 0 116325 100 0 0 20 0 3 0 331455643 616038400 118820 33554432000 4194304 5964478 140736311097184 140736311096704 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12636/statm: 150400 118820 198 433 0 149964 0
[pid=12636/tid=12638] ppid=12634 vsize=601600 CPUtime=580.71 cores=0,2,4,6
/proc/12636/task/12638/stat : 12638 (pwbo2.02) R 12634 12636 10982 0 -1 4202560 73378 0 0 0 57993 78 0 0 20 0 3 0 331455644 616038400 118820 33554432000 4194304 5964478 140736311097184 139719267956728 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12636/tid=12639] ppid=12634 vsize=601600 CPUtime=580.68 cores=0,2,4,6
/proc/12636/task/12639/stat : 12639 (pwbo2.02) R 12634 12636 10982 0 -1 4202560 50604 0 0 0 58031 37 0 0 20 0 3 0 331455644 616038400 118820 33554432000 4194304 5964478 140736311097184 139719257467192 4390450 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1164.25
Current children cumulated vsize (KiB) 601600

[startup+642.3 s]
/proc/loadavg: 4.00 4.00 3.82 5/181 12655
/proc/meminfo: memFree=27298664/32873844 swapFree=7108/7108
[pid=12636] ppid=12634 vsize=606284 CPUtime=1284.24 cores=0,2,4,6
/proc/12636/stat : 12636 (pwbo2.02) S 12634 12636 10982 0 -1 4202496 133618 0 0 0 128316 108 0 0 20 0 3 0 331455643 620834816 127565 33554432000 4194304 5964478 140736311097184 140736311096704 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12636/statm: 151571 127565 198 433 0 151135 0
[pid=12636/tid=12638] ppid=12634 vsize=606284 CPUtime=640.56 cores=0,2,4,6
/proc/12636/task/12638/stat : 12638 (pwbo2.02) R 12634 12636 10982 0 -1 4202560 77406 0 0 0 63971 85 0 0 20 0 3 0 331455644 620834816 127565 33554432000 4194304 5964478 140736311097184 139719267956728 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12636/tid=12639] ppid=12634 vsize=606284 CPUtime=640.53 cores=0,2,4,6
/proc/12636/task/12639/stat : 12639 (pwbo2.02) R 12634 12636 10982 0 -1 4202560 55321 0 0 0 64012 41 0 0 20 0 3 0 331455644 620834816 127565 33554432000 4194304 5964478 140736311097184 139719257466952 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1284.24
Current children cumulated vsize (KiB) 606284

[startup+702.3 s]
/proc/loadavg: 4.00 4.00 3.83 5/182 12659
/proc/meminfo: memFree=27261164/32873844 swapFree=7108/7108
[pid=12636] ppid=12634 vsize=610228 CPUtime=1404.21 cores=0,2,4,6
/proc/12636/stat : 12636 (pwbo2.02) S 12634 12636 10982 0 -1 4202496 141486 0 0 0 140308 113 0 0 20 0 3 0 331455643 624873472 135432 33554432000 4194304 5964478 140736311097184 140736311096704 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12636/statm: 152557 135432 198 433 0 152121 0
[pid=12636/tid=12638] ppid=12634 vsize=610228 CPUtime=700.4 cores=0,2,4,6
/proc/12636/task/12638/stat : 12638 (pwbo2.02) R 12634 12636 10982 0 -1 4202560 81543 0 0 0 69951 89 0 0 20 0 3 0 331455644 624873472 135432 33554432000 4194304 5964478 140736311097184 139719267956536 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12636/tid=12639] ppid=12634 vsize=610228 CPUtime=700.36 cores=0,2,4,6
/proc/12636/task/12639/stat : 12639 (pwbo2.02) R 12634 12636 10982 0 -1 4202560 59052 0 0 0 69993 43 0 0 20 0 3 0 331455644 624873472 135432 33554432000 4194304 5964478 140736311097184 139719257466952 4400401 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1404.21
Current children cumulated vsize (KiB) 610228

[startup+762.306 s]
/proc/loadavg: 4.04 4.01 3.84 5/181 12659
/proc/meminfo: memFree=27249416/32873844 swapFree=7108/7108
[pid=12636] ppid=12634 vsize=611512 CPUtime=1524.2 cores=0,2,4,6
/proc/12636/stat : 12636 (pwbo2.02) S 12634 12636 10982 0 -1 4202496 142094 0 0 0 152307 113 0 0 20 0 3 0 331455643 626188288 134248 33554432000 4194304 5964478 140736311097184 140736311096704 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12636/statm: 152878 134248 198 433 0 152442 0
[pid=12636/tid=12638] ppid=12634 vsize=611512 CPUtime=760.25 cores=0,2,4,6
/proc/12636/task/12638/stat : 12638 (pwbo2.02) R 12634 12636 10982 0 -1 4202560 81911 0 0 0 75935 90 0 0 20 0 3 0 331455644 626188288 134248 33554432000 4194304 5964478 140736311097184 139719267956536 4391344 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12636/tid=12639] ppid=12634 vsize=611512 CPUtime=760.21 cores=0,2,4,6
/proc/12636/task/12639/stat : 12639 (pwbo2.02) R 12634 12636 10982 0 -1 4202560 59292 0 0 0 75977 44 0 0 20 0 3 0 331455644 626188288 134248 33554432000 4194304 5964478 140736311097184 139719257467224 4400078 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1524.2
Current children cumulated vsize (KiB) 611512

[startup+822.3 s]
/proc/loadavg: 4.01 4.01 3.84 5/181 12659
/proc/meminfo: memFree=27201044/32873844 swapFree=7108/7108
[pid=12636] ppid=12634 vsize=678008 CPUtime=1644.16 cores=0,2,4,6
/proc/12636/stat : 12636 (pwbo2.02) S 12634 12636 10982 0 -1 4202496 149343 0 0 0 164294 122 0 0 20 0 3 0 331455643 694280192 142327 33554432000 4194304 5964478 140736311097184 140736311096704 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12636/statm: 169502 142327 198 433 0 169066 0
[pid=12636/tid=12638] ppid=12634 vsize=678008 CPUtime=820.09 cores=0,2,4,6
/proc/12636/task/12638/stat : 12638 (pwbo2.02) R 12634 12636 10982 0 -1 4202560 88943 0 0 0 81909 100 0 0 20 0 3 0 331455644 694280192 142327 33554432000 4194304 5964478 140736311097184 139719267956728 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12636/tid=12639] ppid=12634 vsize=678008 CPUtime=820.04 cores=0,2,4,6
/proc/12636/task/12639/stat : 12639 (pwbo2.02) R 12634 12636 10982 0 -1 4202560 59509 0 0 0 81959 45 0 0 20 0 3 0 331455644 694280192 142327 33554432000 4194304 5964478 140736311097184 139719257466952 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1644.16
Current children cumulated vsize (KiB) 678008

[startup+882.3 s]
/proc/loadavg: 4.00 4.00 3.85 5/181 12659
/proc/meminfo: memFree=27159744/32873844 swapFree=7108/7108
[pid=12636] ppid=12634 vsize=679660 CPUtime=1764.1 cores=0,2,4,6
/proc/12636/stat : 12636 (pwbo2.02) S 12634 12636 10982 0 -1 4202496 157563 0 0 0 176282 128 0 0 20 0 3 0 331455643 695971840 150812 33554432000 4194304 5964478 140736311097184 140736311096704 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12636/statm: 169915 150812 198 433 0 169479 0
[pid=12636/tid=12638] ppid=12634 vsize=679660 CPUtime=879.9 cores=0,2,4,6
/proc/12636/task/12638/stat : 12638 (pwbo2.02) R 12634 12636 10982 0 -1 4202560 95214 0 0 0 87884 106 0 0 20 0 3 0 331455644 695971840 150812 33554432000 4194304 5964478 140736311097184 139719267956536 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12636/tid=12639] ppid=12634 vsize=679660 CPUtime=879.88 cores=0,2,4,6
/proc/12636/task/12639/stat : 12639 (pwbo2.02) R 12634 12636 10982 0 -1 4202560 61458 0 0 0 87941 47 0 0 20 0 3 0 331455644 695971840 150812 33554432000 4194304 5964478 140736311097184 139719257466952 4400006 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1764.1
Current children cumulated vsize (KiB) 679660



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.3 s]
/proc/loadavg: 4.00 4.00 3.85 5/181 12659
/proc/meminfo: memFree=27157620/32873844 swapFree=7108/7108
[pid=12636] ppid=12634 vsize=681104 CPUtime=1800.1 cores=0,2,4,6
/proc/12636/stat : 12636 (pwbo2.02) S 12634 12636 10982 0 -1 4202496 157963 0 0 0 179882 128 0 0 20 0 3 0 331455643 697450496 151253 33554432000 4194304 5964478 140736311097184 140736311096704 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12636/statm: 170276 151253 198 433 0 169840 0
[pid=12636/tid=12638] ppid=12634 vsize=681104 CPUtime=897.85 cores=0,2,4,6
/proc/12636/task/12638/stat : 12638 (pwbo2.02) R 12634 12636 10982 0 -1 4202560 95294 0 0 0 89679 106 0 0 20 0 3 0 331455644 697450496 151253 33554432000 4194304 5964478 140736311097184 139719267956536 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12636/tid=12639] ppid=12634 vsize=681104 CPUtime=897.84 cores=0,2,4,6
/proc/12636/task/12639/stat : 12639 (pwbo2.02) R 12634 12636 10982 0 -1 4202560 61778 0 0 0 89737 47 0 0 20 0 3 0 331455644 697450496 151253 33554432000 4194304 5964478 140736311097184 139719257466952 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 681104

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.85 5/181 12659
/proc/meminfo: memFree=27157620/32873844 swapFree=7108/7108
[pid=12636] ppid=12634 vsize=681104 CPUtime=1800.1 cores=0,2,4,6
/proc/12636/stat : 12636 (pwbo2.02) S 12634 12636 10982 0 -1 4202496 157963 0 0 0 179882 128 0 0 20 0 3 0 331455643 697450496 151253 33554432000 4194304 5964478 140736311097184 140736311096704 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12636/statm: 170276 151253 198 433 0 169840 0
[pid=12636/tid=12638] ppid=12634 vsize=681104 CPUtime=897.85 cores=0,2,4,6
/proc/12636/task/12638/stat : 12638 (pwbo2.02) R 12634 12636 10982 0 -1 4202560 95294 0 0 0 89679 106 0 0 20 0 3 0 331455644 697450496 151253 33554432000 4194304 5964478 140736311097184 139719267956536 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12636/tid=12639] ppid=12634 vsize=681104 CPUtime=897.84 cores=0,2,4,6
/proc/12636/task/12639/stat : 12639 (pwbo2.02) R 12634 12636 10982 0 -1 4202560 61778 0 0 0 89737 47 0 0 20 0 3 0 331455644 697450496 151253 33554432000 4194304 5964478 140736311097184 139719257466952 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 681104

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12636 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=186242
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=560762
# CPU time returned by wait4() is 1795.75
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 900.322
CPU time (s): 1800.1
CPU user time (s): 1798.82
CPU system time (s): 1.28
CPU usage (%): 199.94
Max. virtual memory (cumulated for all children) (KiB): 681104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.19
system time used= 1.56076
maximum resident set size= 605020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 157965
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= 304
involuntary context switches= 1928

runsolver used 1.93171 second user time and 4.70428 second system time

The end

Launcher Data

Begin job on node139 at 2012-06-02 18:08:31
IDJOB=3725847
IDBENCH=2017
IDSOLVER=2309
FILE ID=node139/3725847-1338653311
RUNJOBID= node139-1338651500-12375
PBS_JOBID= 14636441
Free space on /tmp= 71100 MiB

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

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

MD5SUM BENCH= 866c660dea8282137b8c78839dd4c03f
RANDOM SEED=1806964747

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.750
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.750
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.750
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:        28288540 kB
Buffers:          483088 kB
Cached:          3219384 kB
SwapCached:          828 kB
Active:          1614652 kB
Inactive:        2096420 kB
Active(anon):       2336 kB
Inactive(anon):     7964 kB
Active(file):    1612316 kB
Inactive(file):  2088456 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67104688 kB
Dirty:              5656 kB
Writeback:             0 kB
AnonPages:         13628 kB
Mapped:            10964 kB
Shmem:                 8 kB
Slab:             731944 kB
SReclaimable:     173772 kB
SUnreclaim:       558172 kB
KernelStack:        1424 kB
PageTables:         3188 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     104148 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71088 MiB
End job on node139 at 2012-06-02 18:23:33