Trace number 3703653

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
pwbo 2.0SAT (TO)11 1800.55 900.346

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:20:4.5:0.5:100.opb
MD5SUM885184c694263ba985a0dc2cd49b3440
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.160975
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved YES
Number of variables776
Total number of constraints867
Number of constraints which are clauses701
Number of constraints which are cardinality constraints (but not clauses)166
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint20
Number of terms in the objective function 776
Biggest coefficient in the objective function 474
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 2127
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 474
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 2127
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

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

Verifier Data

OK	11

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-3703653-1338090559/watcher-3703653-1338090559 -o /tmp/evaluation-result-3703653-1338090559/solver-3703653-1338090559 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703653-1338090559.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: 4.01 4.00 3.92 4/178 7699
/proc/meminfo: memFree=28360468/32873648 swapFree=7372/7372
[pid=7699] ppid=7697 vsize=4324 CPUtime=0 cores=0,2,4,6
/proc/7699/stat : 7699 (pwbo2.0) R 7697 7699 7065 0 -1 4202496 432 0 0 0 0 0 0 0 20 0 1 0 275181891 4427776 376 33554432000 4194304 5965102 140736266623552 140736957453528 5064064 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/7699/statm: 1205 384 169 433 0 769 0

[startup+0.0546371 s]
/proc/loadavg: 4.01 4.00 3.92 4/178 7699
/proc/meminfo: memFree=28360468/32873648 swapFree=7372/7372
[pid=7699] ppid=7697 vsize=175348 CPUtime=0.08 cores=0,2,4,6
/proc/7699/stat : 7699 (pwbo2.0) S 7697 7699 7065 0 -1 4202496 6343 0 0 0 7 1 0 0 20 0 3 0 275181891 179556352 6227 33554432000 4194304 5965102 140736266623552 140736266623072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7699/statm: 43837 6233 205 433 0 43401 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 175348

[startup+0.100226 s]
/proc/loadavg: 4.01 4.00 3.92 4/178 7699
/proc/meminfo: memFree=28360468/32873648 swapFree=7372/7372
[pid=7699] ppid=7697 vsize=184672 CPUtime=0.17 cores=0,2,4,6
/proc/7699/stat : 7699 (pwbo2.0) S 7697 7699 7065 0 -1 4202496 10388 0 0 0 15 2 0 0 20 0 3 0 275181891 189104128 10229 33554432000 4194304 5965102 140736266623552 140736266623072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7699/statm: 46168 10229 205 433 0 45732 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 184672

[startup+0.300177 s]
/proc/loadavg: 4.01 4.00 3.92 4/178 7699
/proc/meminfo: memFree=28360468/32873648 swapFree=7372/7372
[pid=7699] ppid=7697 vsize=185484 CPUtime=0.57 cores=0,2,4,6
/proc/7699/stat : 7699 (pwbo2.0) S 7697 7699 7065 0 -1 4202496 11694 0 0 0 55 2 0 0 20 0 3 0 275181891 189935616 11077 33554432000 4194304 5965102 140736266623552 140736266623072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7699/statm: 46371 11077 206 433 0 45935 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 185484

[startup+0.70018 s]
/proc/loadavg: 4.01 4.00 3.92 4/178 7699
/proc/meminfo: memFree=28360468/32873648 swapFree=7372/7372
[pid=7699] ppid=7697 vsize=185484 CPUtime=1.37 cores=0,2,4,6
/proc/7699/stat : 7699 (pwbo2.0) S 7697 7699 7065 0 -1 4202496 12888 0 0 0 135 2 0 0 20 0 3 0 275181891 189935616 11942 33554432000 4194304 5965102 140736266623552 140736266623072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7699/statm: 46371 11942 208 433 0 45935 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 185484

[startup+1.50031 s]
/proc/loadavg: 4.01 4.00 3.92 5/181 7702
/proc/meminfo: memFree=28311720/32873648 swapFree=7372/7372
[pid=7699] ppid=7697 vsize=185484 CPUtime=2.98 cores=0,2,4,6
/proc/7699/stat : 7699 (pwbo2.0) S 7697 7699 7065 0 -1 4202496 13619 0 0 0 295 3 0 0 20 0 3 0 275181891 189935616 12673 33554432000 4194304 5965102 140736266623552 140736266623072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7699/statm: 46371 12673 208 433 0 45935 0
[pid=7699/tid=7701] ppid=7697 vsize=185484 CPUtime=1.47 cores=0,2,4,6
/proc/7699/task/7701/stat : 7701 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 3500 0 0 0 147 0 0 0 20 0 3 0 275181891 189935616 12673 33554432000 4194304 5965102 140736266623552 140457215100728 18446744073699066186 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=7699/tid=7702] ppid=7697 vsize=185484 CPUtime=1.48 cores=0,2,4,6
/proc/7699/task/7702/stat : 7702 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 9208 0 0 0 145 3 0 0 20 0 3 0 275181891 189935616 12673 33554432000 4194304 5965102 140736266623552 140457204611320 4374463 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) 185484

[startup+3.1003 s]
/proc/loadavg: 4.01 4.00 3.92 5/181 7702
/proc/meminfo: memFree=28305768/32873648 swapFree=7372/7372
[pid=7699] ppid=7697 vsize=185484 CPUtime=6.18 cores=0,2,4,6
/proc/7699/stat : 7699 (pwbo2.0) S 7697 7699 7065 0 -1 4202496 14145 0 0 0 615 3 0 0 20 0 3 0 275181891 189935616 13199 33554432000 4194304 5965102 140736266623552 140736266623072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7699/statm: 46371 13199 208 433 0 45935 0
[pid=7699/tid=7701] ppid=7697 vsize=185484 CPUtime=3.07 cores=0,2,4,6
/proc/7699/task/7701/stat : 7701 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 3907 0 0 0 307 0 0 0 20 0 3 0 275181891 189935616 13199 33554432000 4194304 5965102 140736266623552 140457215101464 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=7699/tid=7702] ppid=7697 vsize=185484 CPUtime=3.08 cores=0,2,4,6
/proc/7699/task/7702/stat : 7702 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 9327 0 0 0 305 3 0 0 20 0 3 0 275181891 189935616 13199 33554432000 4194304 5965102 140736266623552 140457204611320 4401058 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 185484

[startup+6.3003 s]
/proc/loadavg: 4.01 4.00 3.92 5/181 7702
/proc/meminfo: memFree=28297708/32873648 swapFree=7372/7372
[pid=7699] ppid=7697 vsize=185700 CPUtime=12.58 cores=0,2,4,6
/proc/7699/stat : 7699 (pwbo2.0) S 7697 7699 7065 0 -1 4202496 16010 0 0 0 1254 4 0 0 20 0 3 0 275181891 190156800 15064 33554432000 4194304 5965102 140736266623552 140736266623072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7699/statm: 46425 15064 208 433 0 45989 0
[pid=7699/tid=7701] ppid=7697 vsize=185700 CPUtime=6.27 cores=0,2,4,6
/proc/7699/task/7701/stat : 7701 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 5512 0 0 0 626 1 0 0 20 0 3 0 275181891 190156800 15064 33554432000 4194304 5965102 140736266623552 140457215100920 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=7699/tid=7702] ppid=7697 vsize=185700 CPUtime=6.28 cores=0,2,4,6
/proc/7699/task/7702/stat : 7702 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 9587 0 0 0 625 3 0 0 20 0 3 0 275181891 190156800 15064 33554432000 4194304 5965102 140736266623552 140457204610904 4401050 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 185700

[startup+12.7003 s]
/proc/loadavg: 4.00 4.00 3.92 5/180 7702
/proc/meminfo: memFree=28272304/32873648 swapFree=7372/7372
[pid=7699] ppid=7697 vsize=186024 CPUtime=25.37 cores=0,2,4,6
/proc/7699/stat : 7699 (pwbo2.0) S 7697 7699 7065 0 -1 4202496 19508 0 0 0 2531 6 0 0 20 0 3 0 275181891 190488576 18562 33554432000 4194304 5965102 140736266623552 140736266623072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7699/statm: 46506 18562 208 433 0 46070 0
[pid=7699/tid=7701] ppid=7697 vsize=186024 CPUtime=12.67 cores=0,2,4,6
/proc/7699/task/7701/stat : 7701 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 8450 0 0 0 1264 3 0 0 20 0 3 0 275181891 190488576 18562 33554432000 4194304 5965102 140736266623552 140457215100920 5179915 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=7699/tid=7702] ppid=7697 vsize=186024 CPUtime=12.68 cores=0,2,4,6
/proc/7699/task/7702/stat : 7702 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 10147 0 0 0 1264 4 0 0 20 0 3 0 275181891 190488576 18562 33554432000 4194304 5965102 140736266623552 140457204611320 4401056 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) 186024

[startup+25.5003 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 7703
/proc/meminfo: memFree=28242124/32873648 swapFree=7372/7372
[pid=7699] ppid=7697 vsize=185940 CPUtime=50.97 cores=0,2,4,6
/proc/7699/stat : 7699 (pwbo2.0) S 7697 7699 7065 0 -1 4202496 22364 0 0 0 5088 9 0 0 20 0 3 0 275181891 190402560 21247 33554432000 4194304 5965102 140736266623552 140736266623072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7699/statm: 46485 21247 208 433 0 46049 0
[pid=7699/tid=7701] ppid=7697 vsize=185940 CPUtime=25.48 cores=0,2,4,6
/proc/7699/task/7701/stat : 7701 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 10220 0 0 0 2543 5 0 0 20 0 3 0 275181891 190402560 21247 33554432000 4194304 5965102 140736266623552 140457215101464 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=7699/tid=7702] ppid=7697 vsize=185940 CPUtime=25.48 cores=0,2,4,6
/proc/7699/task/7702/stat : 7702 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 11233 0 0 0 2543 5 0 0 20 0 3 0 275181891 190402560 21247 33554432000 4194304 5965102 140736266623552 140457204611432 4400927 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) 185940

[startup+51.1003 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 7706
/proc/meminfo: memFree=28213336/32873648 swapFree=7372/7372
[pid=7699] ppid=7697 vsize=187224 CPUtime=102.16 cores=0,2,4,6
/proc/7699/stat : 7699 (pwbo2.0) S 7697 7699 7065 0 -1 4202496 27994 0 0 0 10202 14 0 0 20 0 3 0 275181891 191717376 26877 33554432000 4194304 5965102 140736266623552 140736266623072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7699/statm: 46806 26877 208 433 0 46370 0
[pid=7699/tid=7701] ppid=7697 vsize=187224 CPUtime=51.07 cores=0,2,4,6
/proc/7699/task/7701/stat : 7701 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 13808 0 0 0 5100 7 0 0 20 0 3 0 275181891 191717376 26877 33554432000 4194304 5965102 140736266623552 140457215100728 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=7699/tid=7702] ppid=7697 vsize=187224 CPUtime=51.08 cores=0,2,4,6
/proc/7699/task/7702/stat : 7702 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 13275 0 0 0 5100 8 0 0 20 0 3 0 275181891 191717376 26877 33554432000 4194304 5965102 140736266623552 140457204611384 4400955 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 187224

[startup+102.307 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 7706
/proc/meminfo: memFree=28151952/32873648 swapFree=7372/7372
[pid=7699] ppid=7697 vsize=254040 CPUtime=204.56 cores=0,2,4,6
/proc/7699/stat : 7699 (pwbo2.0) S 7697 7699 7065 0 -1 4202496 42788 0 0 0 20428 28 0 0 20 0 3 0 275181891 260136960 41670 33554432000 4194304 5965102 140736266623552 140736266623072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7699/statm: 63510 41670 208 433 0 63074 0
[pid=7699/tid=7701] ppid=7697 vsize=254040 CPUtime=102.28 cores=0,2,4,6
/proc/7699/task/7701/stat : 7701 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 24292 0 0 0 10211 17 0 0 20 0 3 0 275181891 260136960 41670 33554432000 4194304 5965102 140736266623552 140457215100728 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=7699/tid=7702] ppid=7697 vsize=254040 CPUtime=102.28 cores=0,2,4,6
/proc/7699/task/7702/stat : 7702 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 17585 0 0 0 10214 14 0 0 20 0 3 0 275181891 260136960 41670 33554432000 4194304 5965102 140736266623552 140457204611384 4401050 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 204.56
Current children cumulated vsize (KiB) 254040

[startup+162.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 7706
/proc/meminfo: memFree=28106596/32873648 swapFree=7372/7372
[pid=7699] ppid=7697 vsize=254308 CPUtime=324.52 cores=0,2,4,6
/proc/7699/stat : 7699 (pwbo2.0) S 7697 7699 7065 0 -1 4202496 51498 0 0 0 32416 36 0 0 20 0 3 0 275181891 260411392 50373 33554432000 4194304 5965102 140736266623552 140736266623072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7699/statm: 63577 50373 208 433 0 63141 0
[pid=7699/tid=7701] ppid=7697 vsize=254308 CPUtime=162.27 cores=0,2,4,6
/proc/7699/task/7701/stat : 7701 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 30784 0 0 0 16203 24 0 0 20 0 3 0 275181891 260411392 50373 33554432000 4194304 5965102 140736266623552 140457215100920 5137076 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=7699/tid=7702] ppid=7697 vsize=254308 CPUtime=162.28 cores=0,2,4,6
/proc/7699/task/7702/stat : 7702 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 19803 0 0 0 16210 18 0 0 20 0 3 0 275181891 260411392 50373 33554432000 4194304 5965102 140736266623552 140457204611256 4400894 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 324.52
Current children cumulated vsize (KiB) 254308

[startup+222.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 7706
/proc/meminfo: memFree=28047900/32873648 swapFree=7372/7372
[pid=7699] ppid=7697 vsize=389988 CPUtime=444.51 cores=0,2,4,6
/proc/7699/stat : 7699 (pwbo2.0) S 7697 7699 7065 0 -1 4202496 62285 0 0 0 44406 45 0 0 20 0 3 0 275181891 399347712 60961 33554432000 4194304 5965102 140736266623552 140736266623072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7699/statm: 97497 60961 208 433 0 97061 0
[pid=7699/tid=7701] ppid=7697 vsize=389988 CPUtime=222.27 cores=0,2,4,6
/proc/7699/task/7701/stat : 7701 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 39546 0 0 0 22196 31 0 0 20 0 3 0 275181891 399347712 60961 33554432000 4194304 5965102 140736266623552 140457215100520 4401118 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=7699/tid=7702] ppid=7697 vsize=389988 CPUtime=222.28 cores=0,2,4,6
/proc/7699/task/7702/stat : 7702 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 21828 0 0 0 22207 21 0 0 20 0 3 0 275181891 399347712 60961 33554432000 4194304 5965102 140736266623552 140457204611384 4410251 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 444.51
Current children cumulated vsize (KiB) 389988

[startup+282.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 7706
/proc/meminfo: memFree=27952776/32873648 swapFree=7372/7372
[pid=7699] ppid=7697 vsize=391460 CPUtime=564.49 cores=0,2,4,6
/proc/7699/stat : 7699 (pwbo2.0) S 7697 7699 7065 0 -1 4202496 73934 0 0 0 56393 56 0 0 20 0 3 0 275181891 400855040 72562 33554432000 4194304 5965102 140736266623552 140736266623072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7699/statm: 97865 72562 208 433 0 97429 0
[pid=7699/tid=7701] ppid=7697 vsize=391460 CPUtime=282.27 cores=0,2,4,6
/proc/7699/task/7701/stat : 7701 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 43334 0 0 0 28191 36 0 0 20 0 3 0 275181891 400855040 72562 33554432000 4194304 5965102 140736266623552 140457215100920 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=7699/tid=7702] ppid=7697 vsize=391460 CPUtime=282.28 cores=0,2,4,6
/proc/7699/task/7702/stat : 7702 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 29689 0 0 0 28199 29 0 0 20 0 3 0 275181891 400855040 72562 33554432000 4194304 5965102 140736266623552 140457204611384 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 564.49
Current children cumulated vsize (KiB) 391460

[startup+342.3 s]
/proc/loadavg: 3.88 3.97 3.91 5/181 7748
/proc/meminfo: memFree=28369892/32873648 swapFree=7372/7372
[pid=7699] ppid=7697 vsize=393256 CPUtime=684.45 cores=0,2,4,6
/proc/7699/stat : 7699 (pwbo2.0) S 7697 7699 7065 0 -1 4202496 85626 0 0 0 68376 69 0 0 20 0 3 0 275181891 402694144 84932 33554432000 4194304 5965102 140736266623552 140736266623072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7699/statm: 98314 84932 208 433 0 97878 0
[pid=7699/tid=7701] ppid=7697 vsize=393256 CPUtime=342.24 cores=0,2,4,6
/proc/7699/task/7701/stat : 7701 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 49165 0 0 0 34181 43 0 0 20 0 3 0 275181891 402694144 84932 33554432000 4194304 5965102 140736266623552 140457215100920 4401127 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=7699/tid=7702] ppid=7697 vsize=393256 CPUtime=342.27 cores=0,2,4,6
/proc/7699/task/7702/stat : 7702 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 35551 0 0 0 34191 36 0 0 20 0 3 0 275181891 402694144 84932 33554432000 4194304 5965102 140736266623552 140457204611384 5137076 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 684.45
Current children cumulated vsize (KiB) 393256

[startup+402.3 s]
/proc/loadavg: 3.95 3.97 3.91 5/181 7748
/proc/meminfo: memFree=27981876/32873648 swapFree=7372/7372
[pid=7699] ppid=7697 vsize=527004 CPUtime=804.39 cores=0,2,4,6
/proc/7699/stat : 7699 (pwbo2.0) S 7697 7699 7065 0 -1 4202496 104070 0 0 0 80354 85 0 0 20 0 3 0 275181891 539652096 103500 33554432000 4194304 5965102 140736266623552 140736266623072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7699/statm: 131751 103500 208 433 0 131315 0
[pid=7699/tid=7701] ppid=7697 vsize=527004 CPUtime=402.22 cores=0,2,4,6
/proc/7699/task/7701/stat : 7701 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 55166 0 0 0 40172 50 0 0 20 0 3 0 275181891 539652096 103500 33554432000 4194304 5965102 140736266623552 140457215100968 4401058 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7699/tid=7702] ppid=7697 vsize=527004 CPUtime=402.26 cores=0,2,4,6
/proc/7699/task/7702/stat : 7702 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 47993 0 0 0 40178 48 0 0 20 0 3 0 275181891 539652096 103500 33554432000 4194304 5965102 140736266623552 140457204611384 4404383 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 804.39
Current children cumulated vsize (KiB) 527004

[startup+462.3 s]
/proc/loadavg: 3.98 3.97 3.91 5/181 7748
/proc/meminfo: memFree=27896840/32873648 swapFree=7372/7372
[pid=7699] ppid=7697 vsize=593104 CPUtime=924.34 cores=0,2,4,6
/proc/7699/stat : 7699 (pwbo2.0) S 7697 7699 7065 0 -1 4202496 121228 0 0 0 92333 101 0 0 20 0 3 0 275181891 607338496 120908 33554432000 4194304 5965102 140736266623552 140736266623072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7699/statm: 148276 120908 208 433 0 147840 0
[pid=7699/tid=7701] ppid=7697 vsize=593104 CPUtime=462.2 cores=0,2,4,6
/proc/7699/task/7701/stat : 7701 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 62529 0 0 0 46162 58 0 0 20 0 3 0 275181891 607338496 120908 33554432000 4194304 5965102 140736266623552 140457215100728 4401127 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7699/tid=7702] ppid=7697 vsize=593104 CPUtime=462.25 cores=0,2,4,6
/proc/7699/task/7702/stat : 7702 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 57788 0 0 0 46166 59 0 0 20 0 3 0 275181891 607338496 120908 33554432000 4194304 5965102 140736266623552 140457204611384 4221120 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) 593104

[startup+522.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/181 7748
/proc/meminfo: memFree=27755484/32873648 swapFree=7372/7372
[pid=7699] ppid=7697 vsize=661732 CPUtime=1044.3 cores=0,2,4,6
/proc/7699/stat : 7699 (pwbo2.0) S 7697 7699 7065 0 -1 4202496 138443 0 0 0 104313 117 0 0 20 0 3 0 275181891 677613568 139303 33554432000 4194304 5965102 140736266623552 140736266623072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7699/statm: 165433 139303 208 433 0 164997 0
[pid=7699/tid=7701] ppid=7697 vsize=661732 CPUtime=522.2 cores=0,2,4,6
/proc/7699/task/7701/stat : 7701 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 70712 0 0 0 52154 66 0 0 20 0 3 0 275181891 677613568 139303 33554432000 4194304 5965102 140736266623552 140457215100728 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7699/tid=7702] ppid=7697 vsize=661732 CPUtime=522.24 cores=0,2,4,6
/proc/7699/task/7702/stat : 7702 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 66820 0 0 0 52158 66 0 0 20 0 3 0 275181891 677613568 139303 33554432000 4194304 5965102 140736266623552 140457204611384 4401131 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1044.3
Current children cumulated vsize (KiB) 661732

[startup+582.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/181 7748
/proc/meminfo: memFree=27641896/32873648 swapFree=7372/7372
[pid=7699] ppid=7697 vsize=727872 CPUtime=1164.28 cores=0,2,4,6
/proc/7699/stat : 7699 (pwbo2.0) S 7697 7699 7065 0 -1 4202496 153943 0 0 0 116297 131 0 0 20 0 3 0 275181891 745340928 154802 33554432000 4194304 5965102 140736266623552 140736266623072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7699/statm: 181968 154802 208 433 0 181532 0
[pid=7699/tid=7701] ppid=7697 vsize=727872 CPUtime=582.2 cores=0,2,4,6
/proc/7699/task/7701/stat : 7701 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 73413 0 0 0 58151 69 0 0 20 0 3 0 275181891 745340928 154802 33554432000 4194304 5965102 140736266623552 140457215100920 4401026 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7699/tid=7702] ppid=7697 vsize=727872 CPUtime=582.24 cores=0,2,4,6
/proc/7699/task/7702/stat : 7702 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 79619 0 0 0 58144 80 0 0 20 0 3 0 275181891 745340928 154802 33554432000 4194304 5965102 140736266623552 140457204611384 4401472 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1164.28
Current children cumulated vsize (KiB) 727872

[startup+642.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 7752
/proc/meminfo: memFree=27518188/32873648 swapFree=7372/7372
[pid=7699] ppid=7697 vsize=729512 CPUtime=1284.27 cores=0,2,4,6
/proc/7699/stat : 7699 (pwbo2.0) S 7697 7699 7065 0 -1 4202496 164598 0 0 0 128284 143 0 0 20 0 3 0 275181891 747020288 165457 33554432000 4194304 5965102 140736266623552 140736266623072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7699/statm: 182378 165457 208 433 0 181942 0
[pid=7699/tid=7701] ppid=7697 vsize=729512 CPUtime=642.21 cores=0,2,4,6
/proc/7699/task/7701/stat : 7701 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 77329 0 0 0 64146 75 0 0 20 0 3 0 275181891 747020288 165457 33554432000 4194304 5965102 140736266623552 140457215100920 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7699/tid=7702] ppid=7697 vsize=729512 CPUtime=642.24 cores=0,2,4,6
/proc/7699/task/7702/stat : 7702 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 86358 0 0 0 64136 88 0 0 20 0 3 0 275181891 747020288 165457 33554432000 4194304 5965102 140736266623552 140457204611384 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1284.27
Current children cumulated vsize (KiB) 729512

[startup+702.3 s]
/proc/loadavg: 4.07 3.99 3.91 5/182 7752
/proc/meminfo: memFree=27416364/32873648 swapFree=7372/7372
[pid=7699] ppid=7697 vsize=800464 CPUtime=1404.24 cores=0,2,4,6
/proc/7699/stat : 7699 (pwbo2.0) S 7697 7699 7065 0 -1 4202496 179144 0 0 0 140267 157 0 0 20 0 3 0 275181891 819675136 180003 33554432000 4194304 5965102 140736266623552 140736266623072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7699/statm: 200116 180003 208 433 0 199680 0
[pid=7699/tid=7701] ppid=7697 vsize=800464 CPUtime=702.21 cores=0,2,4,6
/proc/7699/task/7701/stat : 7701 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 84386 0 0 0 70138 83 0 0 20 0 3 0 275181891 819675136 180003 33554432000 4194304 5965102 140736266623552 140457215100728 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7699/tid=7702] ppid=7697 vsize=800464 CPUtime=702.24 cores=0,2,4,6
/proc/7699/task/7702/stat : 7702 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 93847 0 0 0 70128 96 0 0 20 0 3 0 275181891 819675136 180003 33554432000 4194304 5965102 140736266623552 140457204611384 4404383 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) 800464

[startup+762.307 s]
/proc/loadavg: 4.02 3.99 3.91 5/182 7775
/proc/meminfo: memFree=27325780/32873648 swapFree=7372/7372
[pid=7699] ppid=7697 vsize=869580 CPUtime=1524.25 cores=0,2,4,6
/proc/7699/stat : 7699 (pwbo2.0) S 7697 7699 7065 0 -1 4202496 194663 0 0 0 152251 174 0 0 20 0 3 0 275181891 890449920 195522 33554432000 4194304 5965102 140736266623552 140736266623072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7699/statm: 217395 195522 208 433 0 216959 0
[pid=7699/tid=7701] ppid=7697 vsize=869580 CPUtime=762.21 cores=0,2,4,6
/proc/7699/task/7701/stat : 7701 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 93587 0 0 0 76128 93 0 0 20 0 3 0 275181891 890449920 195522 33554432000 4194304 5965102 140736266623552 140457215100920 4380443 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7699/tid=7702] ppid=7697 vsize=869580 CPUtime=762.24 cores=0,2,4,6
/proc/7699/task/7702/stat : 7702 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 100165 0 0 0 76120 104 0 0 20 0 3 0 275181891 890449920 195522 33554432000 4194304 5965102 140736266623552 140457204611384 4400978 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1524.25
Current children cumulated vsize (KiB) 869580

[startup+822.3 s]
/proc/loadavg: 4.01 3.99 3.91 5/181 7775
/proc/meminfo: memFree=27260096/32873648 swapFree=7372/7372
[pid=7699] ppid=7697 vsize=937496 CPUtime=1644.21 cores=0,2,4,6
/proc/7699/stat : 7699 (pwbo2.0) S 7697 7699 7065 0 -1 4202496 201819 0 0 0 164240 181 0 0 20 0 3 0 275181891 959995904 202678 33554432000 4194304 5965102 140736266623552 140736266623072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7699/statm: 234374 202678 208 433 0 233938 0
[pid=7699/tid=7701] ppid=7697 vsize=937496 CPUtime=822.21 cores=0,2,4,6
/proc/7699/task/7701/stat : 7701 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 94182 0 0 0 82127 94 0 0 20 0 3 0 275181891 959995904 202678 33554432000 4194304 5965102 140736266623552 140457215100728 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7699/tid=7702] ppid=7697 vsize=937496 CPUtime=822.24 cores=0,2,4,6
/proc/7699/task/7702/stat : 7702 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 106726 0 0 0 82112 112 0 0 20 0 3 0 275181891 959995904 202678 33554432000 4194304 5965102 140736266623552 140457204611384 4388991 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1644.21
Current children cumulated vsize (KiB) 937496

[startup+882.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 7775
/proc/meminfo: memFree=27096692/32873648 swapFree=7372/7372
[pid=7699] ppid=7697 vsize=938412 CPUtime=1764.19 cores=0,2,4,6
/proc/7699/stat : 7699 (pwbo2.0) S 7697 7699 7065 0 -1 4202496 212787 0 0 0 176226 193 0 0 20 0 3 0 275181891 960933888 213646 33554432000 4194304 5965102 140736266623552 140736266623072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7699/statm: 234603 213646 208 433 0 234167 0
[pid=7699/tid=7701] ppid=7697 vsize=938412 CPUtime=882.21 cores=0,2,4,6
/proc/7699/task/7701/stat : 7701 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 97567 0 0 0 88122 99 0 0 20 0 3 0 275181891 960933888 213646 33554432000 4194304 5965102 140736266623552 140457215100728 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7699/tid=7702] ppid=7697 vsize=938412 CPUtime=882.24 cores=0,2,4,6
/proc/7699/task/7702/stat : 7702 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 114309 0 0 0 88103 121 0 0 20 0 3 0 275181891 960933888 213646 33554432000 4194304 5965102 140736266623552 140457204611384 4400955 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1764.19
Current children cumulated vsize (KiB) 938412



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 7775
/proc/meminfo: memFree=27089344/32873648 swapFree=7372/7372
[pid=7699] ppid=7697 vsize=938412 CPUtime=1800.2 cores=0,2,4,6
/proc/7699/stat : 7699 (pwbo2.0) S 7697 7699 7065 0 -1 4202496 212879 0 0 0 179827 193 0 0 20 0 3 0 275181891 960933888 213738 33554432000 4194304 5965102 140736266623552 140736266623072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7699/statm: 234603 213738 208 433 0 234167 0
[pid=7699/tid=7701] ppid=7697 vsize=938412 CPUtime=900.22 cores=0,2,4,6
/proc/7699/task/7701/stat : 7701 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 97659 0 0 0 89923 99 0 0 20 0 3 0 275181891 960933888 213738 33554432000 4194304 5965102 140736266623552 140457215100728 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7699/tid=7702] ppid=7697 vsize=938412 CPUtime=900.25 cores=0,2,4,6
/proc/7699/task/7702/stat : 7702 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 114309 0 0 0 89904 121 0 0 20 0 3 0 275181891 960933888 213738 33554432000 4194304 5965102 140736266623552 140457204611384 4400955 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 938412

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 3.99 3.91 5/181 7775
/proc/meminfo: memFree=27089344/32873648 swapFree=7372/7372
[pid=7699] ppid=7697 vsize=938412 CPUtime=1800.2 cores=0,2,4,6
/proc/7699/stat : 7699 (pwbo2.0) S 7697 7699 7065 0 -1 4202496 212879 0 0 0 179827 193 0 0 20 0 3 0 275181891 960933888 213738 33554432000 4194304 5965102 140736266623552 140736266623072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7699/statm: 234603 213738 208 433 0 234167 0
[pid=7699/tid=7701] ppid=7697 vsize=938412 CPUtime=900.22 cores=0,2,4,6
/proc/7699/task/7701/stat : 7701 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 97659 0 0 0 89923 99 0 0 20 0 3 0 275181891 960933888 213738 33554432000 4194304 5965102 140736266623552 140457215100728 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7699/tid=7702] ppid=7697 vsize=938412 CPUtime=900.25 cores=0,2,4,6
/proc/7699/task/7702/stat : 7702 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 114309 0 0 0 89904 121 0 0 20 0 3 0 275181891 960933888 213738 33554432000 4194304 5965102 140736266623552 140457204611384 4400955 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 938412

Child status: 0
Real time (s): 900.346
CPU time (s): 1800.55
CPU user time (s): 1798.29
CPU system time (s): 2.26166
CPU usage (%): 199.984
Max. virtual memory (cumulated for all children) (KiB): 938412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.29
system time used= 2.26166
maximum resident set size= 854960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 212881
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= 462
involuntary context switches= 3871

runsolver used 1.72174 second user time and 5.2742 second system time

The end

Launcher Data

Begin job on node122 at 2012-05-27 05:49:19
IDJOB=3703653
IDBENCH=2219
IDSOLVER=2279
FILE ID=node122/3703653-1338090559
RUNJOBID= node122-1338086209-7081
PBS_JOBID= 14624430
Free space on /tmp= 71692 MiB

SOLVER NAME= pwbo 2.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.5:100.opb
COMMAND LINE= pwbo2.0 -file-format=opb -verbosity=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3703653-1338090559/watcher-3703653-1338090559 -o /tmp/evaluation-result-3703653-1338090559/solver-3703653-1338090559 -C 1800 -W 1900 -M 15500  pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703653-1338090559.opb

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

MD5SUM BENCH= 885184c694263ba985a0dc2cd49b3440
RANDOM SEED=640373315

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.533
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	: 5438.54
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.533
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.533
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:       32873648 kB
MemFree:        28360624 kB
Buffers:          277488 kB
Cached:          2829596 kB
SwapCached:            0 kB
Active:          1713364 kB
Inactive:        2016248 kB
Active(anon):     613944 kB
Inactive(anon):    11052 kB
Active(file):    1099420 kB
Inactive(file):  2005196 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              5440 kB
Writeback:             0 kB
AnonPages:        590920 kB
Mapped:            14612 kB
Shmem:               200 kB
Slab:             643736 kB
SReclaimable:      87968 kB
SUnreclaim:       555768 kB
KernelStack:        1504 kB
PageTables:         5096 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     174344 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    339968 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= 71684 MiB
End job on node122 at 2012-05-27 06:04:21