Trace number 3712439

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 NameAnswerCPU timeWall clock time
pwbo 2.01MSAT (TO) 1800.46 900.322

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_21_pb.cnf.cr--soft-66-100-0.wbo
MD5SUMd97c5722fe377ef62d4d83eb3fe2e1eb
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark0.219966
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables840
Total number of constraints82
Number of soft constraints35
Number of constraints which are clauses42
Number of constraints which are cardinality constraints (but not clauses)40
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint20
Maximum length of a constraint21
Top cost 1734
Min constraint cost 1
Max constraint cost 95
Sum of constraints costs 1733
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 22
Number of bits of the biggest sum of numbers5
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.01 beta - May, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing wbo file format. File HOME/instance-3712439-1338184199.wbo.
0.00/0.00	c Instance file HOME/instance-3712439-1338184199.wbo
0.00/0.00	c File size is 14269 bytes.
0.00/0.00	c Highest Coefficient sum: 22
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.00         s                                      |
0.00/0.00	c |  Number Variables:      875                                                 |
0.00/0.00	c |  Number Clauses:        42                                                  |
0.00/0.00	c |  Number Cardinality:    21                                                  |
0.00/0.00	c |  Number PB Constraints: 19                                                  |
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Problem Type:          Optimization                                        |
0.00/0.00	c |  Objective Function:    Cardinality Constraint                              |
0.00/0.00	c |                                                                             |
0.00/0.00	c ===============================================================================
1800.18/900.31	o 233
1800.18/900.31	o 131
1800.18/900.31	o 55
1800.18/900.31	o 20
1800.18/900.31	o 10
1800.18/900.31	o 6
1800.18/900.31	c ===============================================================================
1800.18/900.31	c Wall Clock Time: 900.31 s
1800.18/900.31	c Best Solution: 6
1800.18/900.31	s SATISFIABLE
1800.18/900.31	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 -x100 -x101 x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 x440 -x441 x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840

Verifier Data 

OK	6

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-3712439-1338184199/watcher-3712439-1338184199 -o /tmp/evaluation-result-3712439-1338184199/solver-3712439-1338184199 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712439-1338184199.wbo 

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: 4.07 4.02 3.65 1/173 26585
/proc/meminfo: memFree=31031664/32873648 swapFree=7112/7112
[pid=26585] ppid=26583 vsize=163064 CPUtime=0 cores=0,2,4,6
/proc/26585/stat : 26585 (pwbo2.01) S 26583 26585 26380 0 -1 4202496 1144 0 0 0 0 0 0 0 20 0 3 0 284545799 166977536 1093 33554432000 4194304 5964478 140736325036464 140736325035984 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26585/statm: 40766 1099 198 433 0 40330 0
[pid=26585/tid=26589] ppid=26583 vsize=163064 CPUtime=0 cores=0,2,4,6
/proc/26585/task/26589/stat : 26589 (pwbo2.01) R 26583 26585 26380 0 -1 4202560 135 0 0 0 0 0 0 0 20 0 3 0 284545799 166977536 1105 33554432000 4194304 5964478 140736325036464 140229870757880 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26585/tid=26590] ppid=26583 vsize=163064 CPUtime=0 cores=0,2,4,6
/proc/26585/task/26590/stat : 26590 (pwbo2.01) R 26583 26585 26380 0 -1 4202560 166 0 0 0 0 0 0 0 20 0 3 0 284545799 166977536 1109 33554432000 4194304 5964478 140736325036464 140229860267944 5179243 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0

[startup+0.0621129 s]
/proc/loadavg: 4.07 4.02 3.65 1/173 26585
/proc/meminfo: memFree=31031664/32873648 swapFree=7112/7112
[pid=26585] ppid=26583 vsize=175184 CPUtime=0.1 cores=0,2,4,6
/proc/26585/stat : 26585 (pwbo2.01) S 26583 26585 26380 0 -1 4202496 6857 0 0 0 9 1 0 0 20 0 3 0 284545799 179388416 6788 33554432000 4194304 5964478 140736325036464 140736325035984 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26585/statm: 43796 6792 206 433 0 43360 0
[pid=26585/tid=26589] ppid=26583 vsize=175184 CPUtime=0.04 cores=0,2,4,6
/proc/26585/task/26589/stat : 26589 (pwbo2.01) R 26583 26585 26380 0 -1 4202560 319 0 0 0 4 0 0 0 20 0 3 0 284545799 179388416 6796 33554432000 4194304 5964478 140736325036464 140229870757880 4400416 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26585/tid=26590] ppid=26583 vsize=175184 CPUtime=0.04 cores=0,2,4,6
/proc/26585/task/26590/stat : 26590 (pwbo2.01) R 26583 26585 26380 0 -1 4202560 5689 0 0 0 4 0 0 0 20 0 3 0 284545799 179388416 6797 33554432000 4194304 5964478 140736325036464 140229860267016 5136404 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 175184

[startup+0.100354 s]
/proc/loadavg: 4.07 4.02 3.65 1/173 26585
/proc/meminfo: memFree=31031664/32873648 swapFree=7112/7112
[pid=26585] ppid=26583 vsize=177888 CPUtime=0.18 cores=0,2,4,6
/proc/26585/stat : 26585 (pwbo2.01) S 26583 26585 26380 0 -1 4202496 7656 0 0 0 16 2 0 0 20 0 3 0 284545799 182157312 7915 33554432000 4194304 5964478 140736325036464 140736325035984 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26585/statm: 44472 7916 207 433 0 44036 0
[pid=26585/tid=26589] ppid=26583 vsize=177888 CPUtime=0.08 cores=0,2,4,6
/proc/26585/task/26589/stat : 26589 (pwbo2.01) R 26583 26585 26380 0 -1 4202560 424 0 0 0 8 0 0 0 20 0 3 0 284545799 182157312 7916 33554432000 4194304 5964478 140736325036464 140229870757880 5136404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26585/tid=26590] ppid=26583 vsize=177888 CPUtime=0.07 cores=0,2,4,6
/proc/26585/task/26590/stat : 26590 (pwbo2.01) R 26583 26585 26380 0 -1 4202560 6374 0 0 0 6 1 0 0 20 0 3 0 284545799 182157312 7916 33554432000 4194304 5964478 140736325036464 140229860268392 4393514 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 177888

[startup+0.300289 s]
/proc/loadavg: 4.07 4.02 3.65 1/173 26585
/proc/meminfo: memFree=31031664/32873648 swapFree=7112/7112
[pid=26585] ppid=26583 vsize=177888 CPUtime=0.58 cores=0,2,4,6
/proc/26585/stat : 26585 (pwbo2.01) S 26583 26585 26380 0 -1 4202496 8202 0 0 0 56 2 0 0 20 0 3 0 284545799 182157312 8461 33554432000 4194304 5964478 140736325036464 140736325035984 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26585/statm: 44472 8461 207 433 0 44036 0
[pid=26585/tid=26589] ppid=26583 vsize=177888 CPUtime=0.28 cores=0,2,4,6
/proc/26585/task/26589/stat : 26589 (pwbo2.01) R 26583 26585 26380 0 -1 4202560 806 0 0 0 28 0 0 0 20 0 3 0 284545799 182157312 8461 33554432000 4194304 5964478 140736325036464 140229870757880 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26585/tid=26590] ppid=26583 vsize=177888 CPUtime=0.27 cores=0,2,4,6
/proc/26585/task/26590/stat : 26590 (pwbo2.01) R 26583 26585 26380 0 -1 4202560 6537 0 0 0 26 1 0 0 20 0 3 0 284545799 182157312 8461 33554432000 4194304 5964478 140736325036464 140229860268392 4399838 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 177888

[startup+0.700241 s]
/proc/loadavg: 4.07 4.02 3.65 1/173 26585
/proc/meminfo: memFree=31031664/32873648 swapFree=7112/7112
[pid=26585] ppid=26583 vsize=177888 CPUtime=1.38 cores=0,2,4,6
/proc/26585/stat : 26585 (pwbo2.01) S 26583 26585 26380 0 -1 4202496 9523 0 0 0 135 3 0 0 20 0 3 0 284545799 182157312 9782 33554432000 4194304 5964478 140736325036464 140736325035984 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26585/statm: 44472 9782 207 433 0 44036 0
[pid=26585/tid=26589] ppid=26583 vsize=177888 CPUtime=0.68 cores=0,2,4,6
/proc/26585/task/26589/stat : 26589 (pwbo2.01) R 26583 26585 26380 0 -1 4202560 1471 0 0 0 66 2 0 0 20 0 3 0 284545799 182157312 9782 33554432000 4194304 5964478 140736325036464 140229870757928 5136404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26585/tid=26590] ppid=26583 vsize=177888 CPUtime=0.67 cores=0,2,4,6
/proc/26585/task/26590/stat : 26590 (pwbo2.01) R 26583 26585 26380 0 -1 4202560 7193 0 0 0 66 1 0 0 20 0 3 0 284545799 182157312 9782 33554432000 4194304 5964478 140736325036464 140229860268344 4399896 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 177888

[startup+1.50025 s]
/proc/loadavg: 4.06 4.02 3.65 5/181 26609
/proc/meminfo: memFree=30970732/32873648 swapFree=7112/7112
[pid=26585] ppid=26583 vsize=178032 CPUtime=2.98 cores=0,2,4,6
/proc/26585/stat : 26585 (pwbo2.01) S 26583 26585 26380 0 -1 4202496 10986 0 0 0 295 3 0 0 20 0 3 0 284545799 182304768 11245 33554432000 4194304 5964478 140736325036464 140736325035984 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26585/statm: 44508 11245 207 433 0 44072 0
[pid=26585/tid=26589] ppid=26583 vsize=178032 CPUtime=1.48 cores=0,2,4,6
/proc/26585/task/26589/stat : 26589 (pwbo2.01) R 26583 26585 26380 0 -1 4202560 2471 0 0 0 146 2 0 0 20 0 3 0 284545799 182304768 11245 33554432000 4194304 5964478 140736325036464 140229870757880 5244295 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26585/tid=26590] ppid=26583 vsize=178032 CPUtime=1.47 cores=0,2,4,6
/proc/26585/task/26590/stat : 26590 (pwbo2.01) R 26583 26585 26380 0 -1 4202560 7656 0 0 0 146 1 0 0 20 0 3 0 284545799 182304768 11246 33554432000 4194304 5964478 140736325036464 140229860268344 4220672 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) 178032

[startup+3.10025 s]
/proc/loadavg: 4.06 4.02 3.65 5/182 26612
/proc/meminfo: memFree=30961376/32873648 swapFree=7112/7112
[pid=26585] ppid=26583 vsize=178032 CPUtime=6.17 cores=0,2,4,6
/proc/26585/stat : 26585 (pwbo2.01) S 26583 26585 26380 0 -1 4202496 12294 0 0 0 614 3 0 0 20 0 3 0 284545799 182304768 12553 33554432000 4194304 5964478 140736325036464 140736325035984 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26585/statm: 44508 12553 207 433 0 44072 0
[pid=26585/tid=26589] ppid=26583 vsize=178032 CPUtime=3.08 cores=0,2,4,6
/proc/26585/task/26589/stat : 26589 (pwbo2.01) R 26583 26585 26380 0 -1 4202560 3034 0 0 0 306 2 0 0 20 0 3 0 284545799 182304768 12553 33554432000 4194304 5964478 140736325036464 140229870757928 4400008 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26585/tid=26590] ppid=26583 vsize=178032 CPUtime=3.07 cores=0,2,4,6
/proc/26585/task/26590/stat : 26590 (pwbo2.01) R 26583 26585 26380 0 -1 4202560 8401 0 0 0 305 2 0 0 20 0 3 0 284545799 182304768 12553 33554432000 4194304 5964478 140736325036464 140229860268344 4220672 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) 178032

[startup+6.30028 s]
/proc/loadavg: 4.06 4.02 3.65 6/182 26612
/proc/meminfo: memFree=30946004/32873648 swapFree=7112/7112
[pid=26585] ppid=26583 vsize=178176 CPUtime=12.57 cores=0,2,4,6
/proc/26585/stat : 26585 (pwbo2.01) S 26583 26585 26380 0 -1 4202496 14902 0 0 0 1253 4 0 0 20 0 3 0 284545799 182452224 15161 33554432000 4194304 5964478 140736325036464 140736325035984 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26585/statm: 44544 15161 207 433 0 44108 0
[pid=26585/tid=26589] ppid=26583 vsize=178176 CPUtime=6.27 cores=0,2,4,6
/proc/26585/task/26589/stat : 26589 (pwbo2.01) R 26583 26585 26380 0 -1 4202560 4455 0 0 0 625 2 0 0 20 0 3 0 284545799 182452224 15161 33554432000 4194304 5964478 140736325036464 140229870757880 4400071 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26585/tid=26590] ppid=26583 vsize=178176 CPUtime=6.27 cores=0,2,4,6
/proc/26585/task/26590/stat : 26590 (pwbo2.01) R 26583 26585 26380 0 -1 4202560 9588 0 0 0 625 2 0 0 20 0 3 0 284545799 182452224 15161 33554432000 4194304 5964478 140736325036464 140229860268152 4400087 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) 178176

[startup+12.7003 s]
/proc/loadavg: 4.05 4.01 3.65 6/182 26612
/proc/meminfo: memFree=30911500/32873648 swapFree=7112/7112
[pid=26585] ppid=26583 vsize=179004 CPUtime=25.37 cores=0,2,4,6
/proc/26585/stat : 26585 (pwbo2.01) S 26583 26585 26380 0 -1 4202496 21078 0 0 0 2530 7 0 0 20 0 3 0 284545799 183300096 21838 33554432000 4194304 5964478 140736325036464 140736325035984 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26585/statm: 44751 21838 207 433 0 44315 0
[pid=26585/tid=26589] ppid=26583 vsize=179004 CPUtime=12.68 cores=0,2,4,6
/proc/26585/task/26589/stat : 26589 (pwbo2.01) R 26583 26585 26380 0 -1 4202560 5449 0 0 0 1265 3 0 0 20 0 3 0 284545799 183300096 21838 33554432000 4194304 5964478 140736325036464 140229870757688 4400081 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26585/tid=26590] ppid=26583 vsize=179004 CPUtime=12.67 cores=0,2,4,6
/proc/26585/task/26590/stat : 26590 (pwbo2.01) R 26583 26585 26380 0 -1 4202560 14770 0 0 0 1262 5 0 0 20 0 3 0 284545799 183300096 21838 33554432000 4194304 5964478 140736325036464 140229860268344 4400099 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 179004

[startup+25.5003 s]
/proc/loadavg: 4.04 4.01 3.65 6/182 26612
/proc/meminfo: memFree=30854124/32873648 swapFree=7112/7112
[pid=26585] ppid=26583 vsize=245052 CPUtime=50.97 cores=0,2,4,6
/proc/26585/stat : 26585 (pwbo2.01) S 26583 26585 26380 0 -1 4202496 32197 0 0 0 5085 12 0 0 20 0 3 0 284545799 250933248 33655 33554432000 4194304 5964478 140736325036464 140736325035984 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26585/statm: 61263 33655 207 433 0 60827 0
[pid=26585/tid=26589] ppid=26583 vsize=245052 CPUtime=25.47 cores=0,2,4,6
/proc/26585/task/26589/stat : 26589 (pwbo2.01) R 26583 26585 26380 0 -1 4202560 7904 0 0 0 2543 4 0 0 20 0 3 0 284545799 250933248 33655 33554432000 4194304 5964478 140736325036464 140229870757880 4400071 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26585/tid=26590] ppid=26583 vsize=245052 CPUtime=25.48 cores=0,2,4,6
/proc/26585/task/26590/stat : 26590 (pwbo2.01) R 26583 26585 26380 0 -1 4202560 23434 0 0 0 2539 9 0 0 20 0 3 0 284545799 250933248 33655 33554432000 4194304 5964478 140736325036464 140229860268152 4400419 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 245052

[startup+51.1003 s]
/proc/loadavg: 4.03 4.01 3.66 6/182 26612
/proc/meminfo: memFree=30790348/32873648 swapFree=7112/7112
[pid=26585] ppid=26583 vsize=246224 CPUtime=102.15 cores=0,2,4,6
/proc/26585/stat : 26585 (pwbo2.01) S 26583 26585 26380 0 -1 4202496 44979 0 0 0 10198 17 0 0 20 0 3 0 284545799 252133376 46437 33554432000 4194304 5964478 140736325036464 140736325035984 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26585/statm: 61556 46437 207 433 0 61120 0
[pid=26585/tid=26589] ppid=26583 vsize=246224 CPUtime=51.08 cores=0,2,4,6
/proc/26585/task/26589/stat : 26589 (pwbo2.01) R 26583 26585 26380 0 -1 4202560 10336 0 0 0 5103 5 0 0 20 0 3 0 284545799 252133376 46437 33554432000 4194304 5964478 140736325036464 140229870757880 4400071 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26585/tid=26590] ppid=26583 vsize=246224 CPUtime=51.08 cores=0,2,4,6
/proc/26585/task/26590/stat : 26590 (pwbo2.01) R 26583 26585 26380 0 -1 4202560 33784 0 0 0 5094 14 0 0 20 0 3 0 284545799 252133376 46437 33554432000 4194304 5964478 140736325036464 140229860268152 4400062 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 246224

[startup+102.3 s]
/proc/loadavg: 4.05 4.02 3.68 6/181 26612
/proc/meminfo: memFree=30731296/32873648 swapFree=7112/7112
[pid=26585] ppid=26583 vsize=315520 CPUtime=204.55 cores=0,2,4,6
/proc/26585/stat : 26585 (pwbo2.01) S 26583 26585 26380 0 -1 4202496 54536 0 0 0 20430 25 0 0 20 0 3 0 284545799 323092480 56005 33554432000 4194304 5964478 140736325036464 140736325035984 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26585/statm: 78880 56005 207 433 0 78444 0
[pid=26585/tid=26589] ppid=26583 vsize=315520 CPUtime=102.28 cores=0,2,4,6
/proc/26585/task/26589/stat : 26589 (pwbo2.01) R 26583 26585 26380 0 -1 4202560 14608 0 0 0 10219 9 0 0 20 0 3 0 284545799 323092480 56005 33554432000 4194304 5964478 140736325036464 140229870757880 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26585/tid=26590] ppid=26583 vsize=315520 CPUtime=102.27 cores=0,2,4,6
/proc/26585/task/26590/stat : 26590 (pwbo2.01) R 26583 26585 26380 0 -1 4202560 39069 0 0 0 10208 19 0 0 20 0 3 0 284545799 323092480 56005 33554432000 4194304 5964478 140736325036464 140229860268152 4399904 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 204.55
Current children cumulated vsize (KiB) 315520

[startup+162.3 s]
/proc/loadavg: 4.02 4.02 3.70 6/181 26612
/proc/meminfo: memFree=30662072/32873648 swapFree=7112/7112
[pid=26585] ppid=26583 vsize=386516 CPUtime=324.49 cores=0,2,4,6
/proc/26585/stat : 26585 (pwbo2.01) S 26583 26585 26380 0 -1 4202496 67844 0 0 0 32412 37 0 0 20 0 3 0 284545799 395792384 69457 33554432000 4194304 5964478 140736325036464 140736325035984 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26585/statm: 96629 69457 207 433 0 96193 0
[pid=26585/tid=26589] ppid=26583 vsize=386516 CPUtime=162.27 cores=0,2,4,6
/proc/26585/task/26589/stat : 26589 (pwbo2.01) R 26583 26585 26380 0 -1 4202560 18861 0 0 0 16214 13 0 0 20 0 3 0 284545799 395792384 69457 33554432000 4194304 5964478 140736325036464 140229870757880 4400051 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26585/tid=26590] ppid=26583 vsize=386516 CPUtime=162.23 cores=0,2,4,6
/proc/26585/task/26590/stat : 26590 (pwbo2.01) R 26583 26585 26380 0 -1 4202560 48124 0 0 0 16194 29 0 0 20 0 3 0 284545799 395792384 69457 33554432000 4194304 5964478 140736325036464 140229860268344 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 324.49
Current children cumulated vsize (KiB) 386516

[startup+222.307 s]
/proc/loadavg: 4.00 4.01 3.72 6/181 26613
/proc/meminfo: memFree=30610008/32873648 swapFree=7112/7112
[pid=26585] ppid=26583 vsize=388980 CPUtime=444.46 cores=0,2,4,6
/proc/26585/stat : 26585 (pwbo2.01) S 26583 26585 26380 0 -1 4202496 75533 0 0 0 44402 44 0 0 20 0 3 0 284545799 398315520 77233 33554432000 4194304 5964478 140736325036464 140736325035984 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26585/statm: 97245 77233 207 433 0 96809 0
[pid=26585/tid=26589] ppid=26583 vsize=388980 CPUtime=222.26 cores=0,2,4,6
/proc/26585/task/26589/stat : 26589 (pwbo2.01) R 26583 26585 26380 0 -1 4202560 20935 0 0 0 22211 15 0 0 20 0 3 0 284545799 398315520 77233 33554432000 4194304 5964478 140736325036464 140229870757880 4400040 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26585/tid=26590] ppid=26583 vsize=388980 CPUtime=222.23 cores=0,2,4,6
/proc/26585/task/26590/stat : 26590 (pwbo2.01) R 26583 26585 26380 0 -1 4202560 53739 0 0 0 22186 37 0 0 20 0 3 0 284545799 398315520 77233 33554432000 4194304 5964478 140736325036464 140229860268344 4400071 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 444.46
Current children cumulated vsize (KiB) 388980

[startup+282.3 s]
/proc/loadavg: 4.00 4.00 3.73 6/181 26613
/proc/meminfo: memFree=30545736/32873648 swapFree=7112/7112
[pid=26585] ppid=26583 vsize=470336 CPUtime=564.43 cores=0,2,4,6
/proc/26585/stat : 26585 (pwbo2.01) S 26583 26585 26380 0 -1 4202496 88734 0 0 0 56389 54 0 0 20 0 3 0 284545799 481624064 90362 33554432000 4194304 5964478 140736325036464 140736325035984 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26585/statm: 117584 90362 207 433 0 117148 0
[pid=26585/tid=26589] ppid=26583 vsize=470336 CPUtime=282.26 cores=0,2,4,6
/proc/26585/task/26589/stat : 26589 (pwbo2.01) R 26583 26585 26380 0 -1 4202560 25996 0 0 0 28207 19 0 0 20 0 3 0 284545799 481624064 90362 33554432000 4194304 5964478 140736325036464 140229870757688 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26585/tid=26590] ppid=26583 vsize=470336 CPUtime=282.22 cores=0,2,4,6
/proc/26585/task/26590/stat : 26590 (pwbo2.01) R 26583 26585 26380 0 -1 4202560 61879 0 0 0 28178 44 0 0 20 0 3 0 284545799 481624064 90362 33554432000 4194304 5964478 140736325036464 140229860268344 4400040 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 564.43
Current children cumulated vsize (KiB) 470336

[startup+342.3 s]
/proc/loadavg: 4.00 4.00 3.74 6/181 26613
/proc/meminfo: memFree=30506812/32873648 swapFree=7112/7112
[pid=26585] ppid=26583 vsize=472808 CPUtime=684.4 cores=0,2,4,6
/proc/26585/stat : 26585 (pwbo2.01) S 26583 26585 26380 0 -1 4202496 93369 0 0 0 68382 58 0 0 20 0 3 0 284545799 484155392 95075 33554432000 4194304 5964478 140736325036464 140736325035984 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26585/statm: 118202 95075 207 433 0 117766 0
[pid=26585/tid=26589] ppid=26583 vsize=472808 CPUtime=342.25 cores=0,2,4,6
/proc/26585/task/26589/stat : 26589 (pwbo2.01) R 26583 26585 26380 0 -1 4202560 26481 0 0 0 34204 21 0 0 20 0 3 0 284545799 484155392 95075 33554432000 4194304 5964478 140736325036464 140229870757912 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26585/tid=26590] ppid=26583 vsize=472808 CPUtime=342.21 cores=0,2,4,6
/proc/26585/task/26590/stat : 26590 (pwbo2.01) R 26583 26585 26380 0 -1 4202560 66029 0 0 0 34173 48 0 0 20 0 3 0 284545799 484155392 95075 33554432000 4194304 5964478 140736325036464 140229860268344 4400416 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 684.4
Current children cumulated vsize (KiB) 472808

[startup+402.3 s]
/proc/loadavg: 4.00 4.00 3.76 6/181 26613
/proc/meminfo: memFree=30474584/32873648 swapFree=7112/7112
[pid=26585] ppid=26583 vsize=475236 CPUtime=804.36 cores=0,2,4,6
/proc/26585/stat : 26585 (pwbo2.01) S 26583 26585 26380 0 -1 4202496 97929 0 0 0 80373 63 0 0 20 0 3 0 284545799 486641664 99686 33554432000 4194304 5964478 140736325036464 140736325035984 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26585/statm: 118809 99686 207 433 0 118373 0
[pid=26585/tid=26589] ppid=26583 vsize=475236 CPUtime=402.25 cores=0,2,4,6
/proc/26585/task/26589/stat : 26589 (pwbo2.01) R 26583 26585 26380 0 -1 4202560 26497 0 0 0 40203 22 0 0 20 0 3 0 284545799 486641664 99686 33554432000 4194304 5964478 140736325036464 140229870757928 4400071 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26585/tid=26590] ppid=26583 vsize=475236 CPUtime=402.19 cores=0,2,4,6
/proc/26585/task/26590/stat : 26590 (pwbo2.01) R 26583 26585 26380 0 -1 4202560 70573 0 0 0 40165 54 0 0 20 0 3 0 284545799 486641664 99686 33554432000 4194304 5964478 140736325036464 140229860268344 4399904 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 804.36
Current children cumulated vsize (KiB) 475236

[startup+462.3 s]
/proc/loadavg: 4.00 4.00 3.77 6/181 26613
/proc/meminfo: memFree=30420584/32873648 swapFree=7112/7112
[pid=26585] ppid=26583 vsize=546976 CPUtime=924.34 cores=0,2,4,6
/proc/26585/stat : 26585 (pwbo2.01) S 26583 26585 26380 0 -1 4202496 106125 0 0 0 92363 71 0 0 20 0 3 0 284545799 560103424 107847 33554432000 4194304 5964478 140736325036464 140736325035984 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26585/statm: 136744 107847 207 433 0 136308 0
[pid=26585/tid=26589] ppid=26583 vsize=546976 CPUtime=462.26 cores=0,2,4,6
/proc/26585/task/26589/stat : 26589 (pwbo2.01) R 26583 26585 26380 0 -1 4202560 29972 0 0 0 46200 26 0 0 20 0 3 0 284545799 560103424 107847 33554432000 4194304 5964478 140736325036464 140229870757928 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26585/tid=26590] ppid=26583 vsize=546976 CPUtime=462.18 cores=0,2,4,6
/proc/26585/task/26590/stat : 26590 (pwbo2.01) R 26583 26585 26380 0 -1 4202560 75294 0 0 0 46158 60 0 0 20 0 3 0 284545799 560103424 107847 33554432000 4194304 5964478 140736325036464 140229860268344 4399904 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 924.34
Current children cumulated vsize (KiB) 546976

[startup+522.3 s]
/proc/loadavg: 4.00 4.00 3.78 6/181 26614
/proc/meminfo: memFree=30383568/32873648 swapFree=7112/7112
[pid=26585] ppid=26583 vsize=549964 CPUtime=1044.32 cores=0,2,4,6
/proc/26585/stat : 26585 (pwbo2.01) S 26583 26585 26380 0 -1 4202496 111621 0 0 0 104354 78 0 0 20 0 3 0 284545799 563163136 113343 33554432000 4194304 5964478 140736325036464 140736325035984 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26585/statm: 137491 113343 207 433 0 137055 0
[pid=26585/tid=26589] ppid=26583 vsize=549964 CPUtime=522.26 cores=0,2,4,6
/proc/26585/task/26589/stat : 26589 (pwbo2.01) R 26583 26585 26380 0 -1 4202560 31182 0 0 0 52198 28 0 0 20 0 3 0 284545799 563163136 113343 33554432000 4194304 5964478 140736325036464 140229870757880 4400060 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26585/tid=26590] ppid=26583 vsize=549964 CPUtime=522.18 cores=0,2,4,6
/proc/26585/task/26590/stat : 26590 (pwbo2.01) R 26583 26585 26380 0 -1 4202560 79580 0 0 0 52153 65 0 0 20 0 3 0 284545799 563163136 113343 33554432000 4194304 5964478 140736325036464 140229860268344 4400071 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1044.32
Current children cumulated vsize (KiB) 549964

[startup+582.3 s]
/proc/loadavg: 4.10 4.03 3.80 6/181 26614
/proc/meminfo: memFree=30349500/32873648 swapFree=7112/7112
[pid=26585] ppid=26583 vsize=553276 CPUtime=1164.31 cores=0,2,4,6
/proc/26585/stat : 26585 (pwbo2.01) S 26583 26585 26380 0 -1 4202496 117256 0 0 0 116347 84 0 0 20 0 3 0 284545799 566554624 118973 33554432000 4194304 5964478 140736325036464 140736325035984 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26585/statm: 138319 118973 207 433 0 137883 0
[pid=26585/tid=26589] ppid=26583 vsize=553276 CPUtime=582.26 cores=0,2,4,6
/proc/26585/task/26589/stat : 26589 (pwbo2.01) R 26583 26585 26380 0 -1 4202560 31646 0 0 0 58196 30 0 0 20 0 3 0 284545799 566554624 118973 33554432000 4194304 5964478 140736325036464 140229870757688 4400075 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26585/tid=26590] ppid=26583 vsize=553276 CPUtime=582.17 cores=0,2,4,6
/proc/26585/task/26590/stat : 26590 (pwbo2.01) R 26583 26585 26380 0 -1 4202560 84751 0 0 0 58146 71 0 0 20 0 3 0 284545799 566554624 118973 33554432000 4194304 5964478 140736325036464 140229860268344 4220672 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1164.31
Current children cumulated vsize (KiB) 553276

[startup+642.3 s]
/proc/loadavg: 4.03 4.02 3.81 6/182 26617
/proc/meminfo: memFree=30318036/32873648 swapFree=7112/7112
[pid=26585] ppid=26583 vsize=558260 CPUtime=1284.28 cores=0,2,4,6
/proc/26585/stat : 26585 (pwbo2.01) S 26583 26585 26380 0 -1 4202496 121706 0 0 0 128340 88 0 0 20 0 3 0 284545799 571658240 123399 33554432000 4194304 5964478 140736325036464 140736325035984 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26585/statm: 139565 123399 207 433 0 139129 0
[pid=26585/tid=26589] ppid=26583 vsize=558260 CPUtime=642.26 cores=0,2,4,6
/proc/26585/task/26589/stat : 26589 (pwbo2.01) R 26583 26585 26380 0 -1 4202560 31687 0 0 0 64195 31 0 0 20 0 3 0 284545799 571658240 123399 33554432000 4194304 5964478 140736325036464 140229870757928 4400099 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26585/tid=26590] ppid=26583 vsize=558260 CPUtime=642.17 cores=0,2,4,6
/proc/26585/task/26590/stat : 26590 (pwbo2.01) R 26583 26585 26380 0 -1 4202560 89160 0 0 0 64141 76 0 0 20 0 3 0 284545799 571658240 123399 33554432000 4194304 5964478 140736325036464 140229860268344 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1284.28
Current children cumulated vsize (KiB) 558260

[startup+702.3 s]
/proc/loadavg: 4.01 4.02 3.82 6/182 26640
/proc/meminfo: memFree=30301128/32873648 swapFree=7112/7112
[pid=26585] ppid=26583 vsize=559428 CPUtime=1404.24 cores=0,2,4,6
/proc/26585/stat : 26585 (pwbo2.01) S 26583 26585 26380 0 -1 4202496 123573 0 0 0 140334 90 0 0 20 0 3 0 284545799 572854272 125310 33554432000 4194304 5964478 140736325036464 140736325035984 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26585/statm: 139857 125310 207 433 0 139421 0
[pid=26585/tid=26589] ppid=26583 vsize=559428 CPUtime=702.26 cores=0,2,4,6
/proc/26585/task/26589/stat : 26589 (pwbo2.01) R 26583 26585 26380 0 -1 4202560 31735 0 0 0 70194 32 0 0 20 0 3 0 284545799 572854272 125310 33554432000 4194304 5964478 140736325036464 140229870757688 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26585/tid=26590] ppid=26583 vsize=559428 CPUtime=702.14 cores=0,2,4,6
/proc/26585/task/26590/stat : 26590 (pwbo2.01) R 26583 26585 26380 0 -1 4202560 90979 0 0 0 70135 79 0 0 20 0 3 0 284545799 572854272 125310 33554432000 4194304 5964478 140736325036464 140229860268152 4400040 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1404.24
Current children cumulated vsize (KiB) 559428

[startup+762.3 s]
/proc/loadavg: 4.00 4.01 3.83 6/180 26640
/proc/meminfo: memFree=30287424/32873648 swapFree=7112/7112
[pid=26585] ppid=26583 vsize=625468 CPUtime=1524.22 cores=0,2,4,6
/proc/26585/stat : 26585 (pwbo2.01) S 26583 26585 26380 0 -1 4202496 126010 0 0 0 152329 93 0 0 20 0 3 0 284545799 640479232 127766 33554432000 4194304 5964478 140736325036464 140736325035984 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26585/statm: 156367 127766 207 433 0 155931 0
[pid=26585/tid=26589] ppid=26583 vsize=625468 CPUtime=762.27 cores=0,2,4,6
/proc/26585/task/26589/stat : 26589 (pwbo2.01) R 26583 26585 26380 0 -1 4202560 31907 0 0 0 76194 33 0 0 20 0 3 0 284545799 640479232 127766 33554432000 4194304 5964478 140736325036464 140229870757880 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26585/tid=26590] ppid=26583 vsize=625468 CPUtime=762.14 cores=0,2,4,6
/proc/26585/task/26590/stat : 26590 (pwbo2.01) R 26583 26585 26380 0 -1 4202560 93244 0 0 0 76131 83 0 0 20 0 3 0 284545799 640479232 127766 33554432000 4194304 5964478 140736325036464 140229860268344 4399904 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1524.22
Current children cumulated vsize (KiB) 625468

[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.83 6/181 26642
/proc/meminfo: memFree=30253948/32873648 swapFree=7112/7112
[pid=26585] ppid=26583 vsize=626256 CPUtime=1644.19 cores=0,2,4,6
/proc/26585/stat : 26585 (pwbo2.01) S 26583 26585 26380 0 -1 4202496 130099 0 0 0 164321 98 0 0 20 0 3 0 284545799 641286144 131855 33554432000 4194304 5964478 140736325036464 140736325035984 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26585/statm: 156564 131855 207 433 0 156128 0
[pid=26585/tid=26589] ppid=26583 vsize=626256 CPUtime=822.26 cores=0,2,4,6
/proc/26585/task/26589/stat : 26589 (pwbo2.01) R 26583 26585 26380 0 -1 4202560 33229 0 0 0 82191 35 0 0 20 0 3 0 284545799 641286144 131855 33554432000 4194304 5964478 140736325036464 140229870757688 4400071 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26585/tid=26590] ppid=26583 vsize=626256 CPUtime=822.13 cores=0,2,4,6
/proc/26585/task/26590/stat : 26590 (pwbo2.01) R 26583 26585 26380 0 -1 4202560 96011 0 0 0 82125 88 0 0 20 0 3 0 284545799 641286144 131855 33554432000 4194304 5964478 140736325036464 140229860268152 4400071 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1644.19
Current children cumulated vsize (KiB) 626256

[startup+882.307 s]
/proc/loadavg: 4.00 4.00 3.84 6/181 26642
/proc/meminfo: memFree=30234356/32873648 swapFree=7112/7112
[pid=26585] ppid=26583 vsize=627948 CPUtime=1764.18 cores=0,2,4,6
/proc/26585/stat : 26585 (pwbo2.01) S 26583 26585 26380 0 -1 4202496 132308 0 0 0 176317 101 0 0 20 0 3 0 284545799 643018752 134064 33554432000 4194304 5964478 140736325036464 140736325035984 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26585/statm: 156987 134064 207 433 0 156551 0
[pid=26585/tid=26589] ppid=26583 vsize=627948 CPUtime=882.27 cores=0,2,4,6
/proc/26585/task/26589/stat : 26589 (pwbo2.01) R 26583 26585 26380 0 -1 4202560 33374 0 0 0 88191 36 0 0 20 0 3 0 284545799 643018752 134064 33554432000 4194304 5964478 140736325036464 140229870757688 4400071 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26585/tid=26590] ppid=26583 vsize=627948 CPUtime=882.13 cores=0,2,4,6
/proc/26585/task/26590/stat : 26590 (pwbo2.01) R 26583 26585 26380 0 -1 4202560 98075 0 0 0 88121 92 0 0 20 0 3 0 284545799 643018752 134064 33554432000 4194304 5964478 140736325036464 140229860268344 4400071 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1764.18
Current children cumulated vsize (KiB) 627948



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.3 s]
/proc/loadavg: 4.00 4.00 3.84 6/181 26642
/proc/meminfo: memFree=30225428/32873648 swapFree=7112/7112
[pid=26585] ppid=26583 vsize=628272 CPUtime=1800.18 cores=0,2,4,6
/proc/26585/stat : 26585 (pwbo2.01) S 26583 26585 26380 0 -1 4202496 133278 0 0 0 179915 103 0 0 20 0 3 0 284545799 643350528 135034 33554432000 4194304 5964478 140736325036464 140736325035984 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26585/statm: 157068 135034 207 433 0 156632 0
[pid=26585/tid=26589] ppid=26583 vsize=628272 CPUtime=900.27 cores=0,2,4,6
/proc/26585/task/26589/stat : 26589 (pwbo2.01) R 26583 26585 26380 0 -1 4202560 33437 0 0 0 89990 37 0 0 20 0 3 0 284545799 643350528 135034 33554432000 4194304 5964478 140736325036464 140229870757928 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26585/tid=26590] ppid=26583 vsize=628272 CPUtime=900.13 cores=0,2,4,6
/proc/26585/task/26590/stat : 26590 (pwbo2.01) R 26583 26585 26380 0 -1 4202560 98982 0 0 0 89920 93 0 0 20 0 3 0 284545799 643350528 135034 33554432000 4194304 5964478 140736325036464 140229860268344 4220672 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 628272

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

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

Child status: 0
Real time (s): 900.322
CPU time (s): 1800.46
CPU user time (s): 1799.13
CPU system time (s): 1.3318
CPU usage (%): 199.98
Max. virtual memory (cumulated for all children) (KiB): 628272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.13
system time used= 1.3318
maximum resident set size= 540144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 133280
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= 439
involuntary context switches= 2482

runsolver used 1.83072 second user time and 5.17521 second system time

The end

Launcher Data 

Begin job on node126 at 2012-05-28 07:49:59
IDJOB=3712439
IDBENCH=78666
IDSOLVER=2292
FILE ID=node126/3712439-1338184199
RUNJOBID= node126-1338182394-26396
PBS_JOBID= 14624566
Free space on /tmp= 71356 MiB

SOLVER NAME= pwbo 2.01
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl20_21_pb.cnf.cr--soft-66-100-0.wbo
COMMAND LINE= pwbo2.01 -file-format=wbo -verbosity=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3712439-1338184199/watcher-3712439-1338184199 -o /tmp/evaluation-result-3712439-1338184199/solver-3712439-1338184199 -C 1800 -W 1900 -M 15500  pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712439-1338184199.wbo

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

MD5SUM BENCH= d97c5722fe377ef62d4d83eb3fe2e1eb
RANDOM SEED=830905705

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        31029376 kB
Buffers:          332492 kB
Cached:           680836 kB
SwapCached:        17756 kB
Active:           766572 kB
Inactive:         270032 kB
Active(anon):       5080 kB
Inactive(anon):    20452 kB
Active(file):     761492 kB
Inactive(file):   249580 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67086932 kB
Dirty:              5492 kB
Writeback:             0 kB
AnonPages:         11348 kB
Mapped:             9276 kB
Shmem:                 0 kB
Slab:             669292 kB
SReclaimable:     113692 kB
SUnreclaim:       555600 kB
KernelStack:        1440 kB
PageTables:         3604 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     111996 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71348 MiB
End job on node126 at 2012-05-28 08:05:01