Trace number 3725928

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
pwbo 2.02SAT (TO)-42 1800.4 900.434

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb
MD5SUM05ceccb8ea9c274c844c39df1472d3cc
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-42
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -44
Optimality of the best value was proved NO
Number of variables945
Total number of constraints59186
Number of constraints which are clauses59186
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 945
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 945
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 945
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c ==============================[ Solver Version ]===============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  pwbo:                     2.02 beta - May, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3725928-1338654704.opb.
0.00/0.00	c Instance file HOME/instance-3725928-1338654704.opb
0.00/0.00	c File size is 1415680 bytes.
0.09/0.10	c Cost Offset: -945
0.09/0.10	c Highest Coefficient sum: 3
0.09/0.10	c ============================[ Problem Statistics ]=============================
0.09/0.10	c |                                                                             |
0.09/0.10	c |  Parsing time:          0.10         s                                      |
0.09/0.10	c |  Number Variables:      945                                                 |
0.09/0.10	c |  Number Clauses:        59186                                               |
0.09/0.10	c |  Number Cardinality:    0                                                   |
0.09/0.10	c |  Number PB Constraints: 0                                                   |
0.09/0.10	c |                                                                             |
0.09/0.13	c |  Problem Type:          Optimization                                        |
0.09/0.13	c |  Objective Function:    Cardinality Constraint                              |
0.09/0.13	c |                                                                             |
0.09/0.13	c ===============================================================================
1800.12/900.41	o -31
1800.12/900.41	o -34
1800.12/900.41	o -35
1800.12/900.41	o -36
1800.12/900.41	o -37
1800.12/900.41	o -38
1800.12/900.41	o -39
1800.12/900.41	o -40
1800.12/900.41	o -41
1800.12/900.41	o -42
1800.12/900.41	c ===============================================================================
1800.12/900.41	c Wall Clock Time: 900.41 s
1800.12/900.41	c Best Solution: -42
1800.12/900.41	s SATISFIABLE
1800.12/900.41	v -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 x379 -x378 -x377 x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1

Verifier Data 

OK	-42

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

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

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


[startup+0 s]
/proc/loadavg: 4.01 3.99 3.85 4/178 16511
/proc/meminfo: memFree=27261496/32873844 swapFree=7628/7628
[pid=16511] ppid=16509 vsize=5840 CPUtime=0 cores=1,3,5,7
/proc/16511/stat : 16511 (pwbo2.02) R 16509 16511 14598 0 -1 4202496 442 0 0 0 0 0 0 0 20 0 1 0 331595344 5980160 394 33554432000 4194304 5964478 140735833079424 140733595856216 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/16511/statm: 1460 394 168 433 0 678 0

[startup+0.0502669 s]
/proc/loadavg: 4.01 3.99 3.85 4/178 16511
/proc/meminfo: memFree=27261496/32873844 swapFree=7628/7628
[pid=16511] ppid=16509 vsize=10028 CPUtime=0.04 cores=1,3,5,7
/proc/16511/stat : 16511 (pwbo2.02) R 16509 16511 14598 0 -1 4202496 1590 0 0 0 4 0 0 0 20 0 1 0 331595344 10268672 1542 33554432000 4194304 5964478 140735833079424 140733595856216 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/16511/statm: 2507 1543 314 433 0 1725 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10028

[startup+0.100295 s]
/proc/loadavg: 4.01 3.99 3.85 4/178 16511
/proc/meminfo: memFree=27261496/32873844 swapFree=7628/7628
[pid=16511] ppid=16509 vsize=14564 CPUtime=0.09 cores=1,3,5,7
/proc/16511/stat : 16511 (pwbo2.02) R 16509 16511 14598 0 -1 4202496 2967 0 0 0 9 0 0 0 20 0 1 0 331595344 14913536 2853 33554432000 4194304 5964478 140735833079424 140733595856216 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/16511/statm: 3641 2855 485 433 0 2859 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14564

[startup+0.30018 s]
/proc/loadavg: 4.01 3.99 3.85 4/178 16511
/proc/meminfo: memFree=27261496/32873844 swapFree=7628/7628
[pid=16511] ppid=16509 vsize=178372 CPUtime=0.48 cores=1,3,5,7
/proc/16511/stat : 16511 (pwbo2.02) S 16509 16511 14598 0 -1 4202496 12292 0 0 0 45 3 0 0 20 0 3 0 331595344 182652928 11597 33554432000 4194304 5964478 140735833079424 140735833078944 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16511/statm: 44593 11597 201 433 0 44157 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 178372

[startup+0.700188 s]
/proc/loadavg: 4.01 3.99 3.85 4/178 16511
/proc/meminfo: memFree=27261496/32873844 swapFree=7628/7628
[pid=16511] ppid=16509 vsize=178372 CPUtime=1.28 cores=1,3,5,7
/proc/16511/stat : 16511 (pwbo2.02) S 16509 16511 14598 0 -1 4202496 12343 0 0 0 125 3 0 0 20 0 3 0 331595344 182652928 11648 33554432000 4194304 5964478 140735833079424 140735833078944 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16511/statm: 44593 11648 202 433 0 44157 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 178372

[startup+1.5004 s]
/proc/loadavg: 4.01 3.99 3.85 5/181 16514
/proc/meminfo: memFree=27213452/32873844 swapFree=7628/7628
[pid=16511] ppid=16509 vsize=178372 CPUtime=2.87 cores=1,3,5,7
/proc/16511/stat : 16511 (pwbo2.02) S 16509 16511 14598 0 -1 4202496 12440 0 0 0 284 3 0 0 20 0 3 0 331595344 182652928 11745 33554432000 4194304 5964478 140735833079424 140735833078944 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16511/statm: 44593 11745 202 433 0 44157 0
[pid=16511/tid=16513] ppid=16509 vsize=178372 CPUtime=1.37 cores=1,3,5,7
/proc/16511/task/16513/stat : 16513 (pwbo2.02) R 16509 16511 14598 0 -1 4202560 3837 0 0 0 135 2 0 0 20 0 3 0 331595355 182652928 11745 33554432000 4194304 5964478 140735833079424 140082128558616 5122382 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=16511/tid=16514] ppid=16509 vsize=178372 CPUtime=1.38 cores=1,3,5,7
/proc/16511/task/16514/stat : 16514 (pwbo2.02) R 16509 16511 14598 0 -1 4202560 5029 0 0 0 136 2 0 0 20 0 3 0 331595355 182652928 11745 33554432000 4194304 5964478 140735833079424 140082118068536 4392918 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 178372

[startup+3.10039 s]
/proc/loadavg: 4.01 3.99 3.85 5/181 16514
/proc/meminfo: memFree=27207484/32873844 swapFree=7628/7628
[pid=16511] ppid=16509 vsize=178372 CPUtime=6.06 cores=1,3,5,7
/proc/16511/stat : 16511 (pwbo2.02) S 16509 16511 14598 0 -1 4202496 12712 0 0 0 603 3 0 0 20 0 3 0 331595344 182652928 12017 33554432000 4194304 5964478 140735833079424 140735833078944 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16511/statm: 44593 12017 202 433 0 44157 0
[pid=16511/tid=16513] ppid=16509 vsize=178372 CPUtime=2.97 cores=1,3,5,7
/proc/16511/task/16513/stat : 16513 (pwbo2.02) R 16509 16511 14598 0 -1 4202560 4039 0 0 0 295 2 0 0 20 0 3 0 331595355 182652928 12017 33554432000 4194304 5964478 140735833079424 140082128558536 5179155 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=16511/tid=16514] ppid=16509 vsize=178372 CPUtime=2.98 cores=1,3,5,7
/proc/16511/task/16514/stat : 16514 (pwbo2.02) R 16509 16511 14598 0 -1 4202560 5099 0 0 0 296 2 0 0 20 0 3 0 331595355 182652928 12017 33554432000 4194304 5964478 140735833079424 140082118068472 4399854 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 178372

[startup+6.30039 s]
/proc/loadavg: 4.01 3.99 3.85 5/181 16514
/proc/meminfo: memFree=27198184/32873844 swapFree=7628/7628
[pid=16511] ppid=16509 vsize=178372 CPUtime=12.47 cores=1,3,5,7
/proc/16511/stat : 16511 (pwbo2.02) S 16509 16511 14598 0 -1 4202496 13583 0 0 0 1241 6 0 0 20 0 3 0 331595344 182652928 12888 33554432000 4194304 5964478 140735833079424 140735833078944 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16511/statm: 44593 12888 202 433 0 44157 0
[pid=16511/tid=16513] ppid=16509 vsize=178372 CPUtime=6.17 cores=1,3,5,7
/proc/16511/task/16513/stat : 16513 (pwbo2.02) R 16509 16511 14598 0 -1 4202560 4539 0 0 0 613 4 0 0 20 0 3 0 331595355 182652928 12888 33554432000 4194304 5964478 140735833079424 140082128558616 5130901 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=16511/tid=16514] ppid=16509 vsize=178372 CPUtime=6.18 cores=1,3,5,7
/proc/16511/task/16514/stat : 16514 (pwbo2.02) R 16509 16511 14598 0 -1 4202560 5470 0 0 0 616 2 0 0 20 0 3 0 331595355 182652928 12888 33554432000 4194304 5964478 140735833079424 140082118068536 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 178372

[startup+12.7004 s]
/proc/loadavg: 4.01 3.99 3.85 5/181 16514
/proc/meminfo: memFree=27163356/32873844 swapFree=7628/7628
[pid=16511] ppid=16509 vsize=178372 CPUtime=25.26 cores=1,3,5,7
/proc/16511/stat : 16511 (pwbo2.02) S 16509 16511 14598 0 -1 4202496 22099 0 0 0 2515 11 0 0 20 0 3 0 331595344 182652928 18428 33554432000 4194304 5964478 140735833079424 140735833078944 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16511/statm: 44593 18428 203 433 0 44157 0
[pid=16511/tid=16513] ppid=16509 vsize=178372 CPUtime=12.57 cores=1,3,5,7
/proc/16511/task/16513/stat : 16513 (pwbo2.02) R 16509 16511 14598 0 -1 4202560 8894 0 0 0 1250 7 0 0 20 0 3 0 331595355 182652928 18428 33554432000 4194304 5964478 140735833079424 140082128558392 4375182 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=16511/tid=16514] ppid=16509 vsize=178372 CPUtime=12.58 cores=1,3,5,7
/proc/16511/task/16514/stat : 16514 (pwbo2.02) R 16509 16511 14598 0 -1 4202560 9631 0 0 0 1253 5 0 0 20 0 3 0 331595355 182652928 18428 33554432000 4194304 5964478 140735833079424 140082118068584 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 178372

[startup+25.5005 s]
/proc/loadavg: 4.01 3.99 3.85 5/181 16514
/proc/meminfo: memFree=27099488/32873844 swapFree=7628/7628
[pid=16511] ppid=16509 vsize=179096 CPUtime=50.85 cores=1,3,5,7
/proc/16511/stat : 16511 (pwbo2.02) S 16509 16511 14598 0 -1 4202496 38869 0 0 0 5065 20 0 0 20 0 3 0 331595344 183394304 27249 33554432000 4194304 5964478 140735833079424 140735833078944 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16511/statm: 44774 27249 203 433 0 44338 0
[pid=16511/tid=16513] ppid=16509 vsize=179096 CPUtime=25.37 cores=1,3,5,7
/proc/16511/task/16513/stat : 16513 (pwbo2.02) R 16509 16511 14598 0 -1 4202560 18609 0 0 0 2526 11 0 0 20 0 3 0 331595355 183394304 27249 33554432000 4194304 5964478 140735833079424 140082128558616 4389147 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=16511/tid=16514] ppid=16509 vsize=179096 CPUtime=25.37 cores=1,3,5,7
/proc/16511/task/16514/stat : 16514 (pwbo2.02) R 16509 16511 14598 0 -1 4202560 16686 0 0 0 2527 10 0 0 20 0 3 0 331595355 183394304 27249 33554432000 4194304 5964478 140735833079424 140082118068536 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 179096

[startup+51.1005 s]
/proc/loadavg: 4.00 3.99 3.86 5/181 16514
/proc/meminfo: memFree=26965040/32873844 swapFree=7628/7628
[pid=16511] ppid=16509 vsize=245716 CPUtime=102.05 cores=1,3,5,7
/proc/16511/stat : 16511 (pwbo2.02) S 16509 16511 14598 0 -1 4202496 58369 0 0 0 10165 40 0 0 20 0 3 0 331595344 251613184 46748 33554432000 4194304 5964478 140735833079424 140735833078944 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16511/statm: 61429 46748 203 433 0 60993 0
[pid=16511/tid=16513] ppid=16509 vsize=245716 CPUtime=50.96 cores=1,3,5,7
/proc/16511/task/16513/stat : 16513 (pwbo2.02) R 16509 16511 14598 0 -1 4202560 25378 0 0 0 5080 16 0 0 20 0 3 0 331595355 251613184 46748 33554432000 4194304 5964478 140735833079424 140082128558072 4400010 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=16511/tid=16514] ppid=16509 vsize=245716 CPUtime=50.97 cores=1,3,5,7
/proc/16511/task/16514/stat : 16514 (pwbo2.02) R 16509 16511 14598 0 -1 4202560 29417 0 0 0 5072 25 0 0 20 0 3 0 331595355 251613184 46748 33554432000 4194304 5964478 140735833079424 140082118068536 4399926 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.05
Current children cumulated vsize (KiB) 245716

[startup+102.301 s]
/proc/loadavg: 4.00 3.99 3.86 5/181 16514
/proc/meminfo: memFree=26833008/32873844 swapFree=7628/7628
[pid=16511] ppid=16509 vsize=376332 CPUtime=204.43 cores=1,3,5,7
/proc/16511/stat : 16511 (pwbo2.02) S 16509 16511 14598 0 -1 4202496 71628 0 0 0 20389 54 0 0 20 0 3 0 331595344 385363968 57659 33554432000 4194304 5964478 140735833079424 140735833078944 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16511/statm: 94083 57659 203 433 0 93647 0
[pid=16511/tid=16513] ppid=16509 vsize=376332 CPUtime=102.17 cores=1,3,5,7
/proc/16511/task/16513/stat : 16513 (pwbo2.02) R 16509 16511 14598 0 -1 4202560 30729 0 0 0 10195 22 0 0 20 0 3 0 331595355 385363968 57659 33554432000 4194304 5964478 140735833079424 140082128557880 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=16511/tid=16514] ppid=16509 vsize=376332 CPUtime=102.18 cores=1,3,5,7
/proc/16511/task/16514/stat : 16514 (pwbo2.02) R 16509 16511 14598 0 -1 4202560 37325 0 0 0 10182 36 0 0 20 0 3 0 331595355 385363968 57659 33554432000 4194304 5964478 140735833079424 140082118068536 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 204.43
Current children cumulated vsize (KiB) 376332

[startup+162.3 s]
/proc/loadavg: 4.00 3.99 3.87 5/181 16514
/proc/meminfo: memFree=26689320/32873844 swapFree=7628/7628
[pid=16511] ppid=16509 vsize=442136 CPUtime=324.41 cores=1,3,5,7
/proc/16511/stat : 16511 (pwbo2.02) S 16509 16511 14598 0 -1 4202496 106792 0 0 0 32330 111 0 0 20 0 3 0 331595344 452747264 92821 33554432000 4194304 5964478 140735833079424 140735833078944 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16511/statm: 110534 92821 203 433 0 110098 0
[pid=16511/tid=16513] ppid=16509 vsize=442136 CPUtime=162.17 cores=1,3,5,7
/proc/16511/task/16513/stat : 16513 (pwbo2.02) R 16509 16511 14598 0 -1 4202560 38389 0 0 0 16188 29 0 0 20 0 3 0 331595355 452747264 92821 33554432000 4194304 5964478 140735833079424 140082128558072 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=16511/tid=16514] ppid=16509 vsize=442136 CPUtime=162.17 cores=1,3,5,7
/proc/16511/task/16514/stat : 16514 (pwbo2.02) R 16509 16511 14598 0 -1 4202560 64829 0 0 0 16130 87 0 0 20 0 3 0 331595355 452747264 92821 33554432000 4194304 5964478 140735833079424 140082118068536 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 324.41
Current children cumulated vsize (KiB) 442136

[startup+222.307 s]
/proc/loadavg: 4.00 3.99 3.87 5/181 16514
/proc/meminfo: memFree=26546904/32873844 swapFree=7628/7628
[pid=16511] ppid=16509 vsize=640820 CPUtime=444.39 cores=1,3,5,7
/proc/16511/stat : 16511 (pwbo2.02) S 16509 16511 14598 0 -1 4202496 136874 0 0 0 44282 157 0 0 20 0 3 0 331595344 656199680 123279 33554432000 4194304 5964478 140735833079424 140735833078944 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16511/statm: 160205 123279 203 433 0 159769 0
[pid=16511/tid=16513] ppid=16509 vsize=640820 CPUtime=222.17 cores=1,3,5,7
/proc/16511/task/16513/stat : 16513 (pwbo2.02) R 16509 16511 14598 0 -1 4202560 48333 0 0 0 22179 38 0 0 20 0 3 0 331595355 656199680 123279 33554432000 4194304 5964478 140735833079424 140082128557880 4400069 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=16511/tid=16514] ppid=16509 vsize=640820 CPUtime=222.16 cores=1,3,5,7
/proc/16511/task/16514/stat : 16514 (pwbo2.02) R 16509 16511 14598 0 -1 4202560 84967 0 0 0 22090 126 0 0 20 0 3 0 331595355 656199680 123279 33554432000 4194304 5964478 140735833079424 140082118068536 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 444.39
Current children cumulated vsize (KiB) 640820

[startup+282.3 s]
/proc/loadavg: 4.00 3.99 3.88 5/181 16515
/proc/meminfo: memFree=26385996/32873844 swapFree=7628/7628
[pid=16511] ppid=16509 vsize=706492 CPUtime=564.3 cores=1,3,5,7
/proc/16511/stat : 16511 (pwbo2.02) S 16509 16511 14598 0 -1 4202496 156739 0 0 0 56240 190 0 0 20 0 3 0 331595344 723447808 143367 33554432000 4194304 5964478 140735833079424 140735833078944 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16511/statm: 176623 143367 203 433 0 176187 0
[pid=16511/tid=16513] ppid=16509 vsize=706492 CPUtime=282.14 cores=1,3,5,7
/proc/16511/task/16513/stat : 16513 (pwbo2.02) R 16509 16511 14598 0 -1 4202560 50053 0 0 0 28174 40 0 0 20 0 3 0 331595355 723447808 143367 33554432000 4194304 5964478 140735833079424 140082128557880 4400115 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=16511/tid=16514] ppid=16509 vsize=706492 CPUtime=282.13 cores=1,3,5,7
/proc/16511/task/16514/stat : 16514 (pwbo2.02) R 16509 16511 14598 0 -1 4202560 103112 0 0 0 28054 159 0 0 20 0 3 0 331595355 723447808 143367 33554432000 4194304 5964478 140735833079424 140082118068536 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 564.3
Current children cumulated vsize (KiB) 706492

[startup+342.301 s]
/proc/loadavg: 4.00 3.99 3.89 5/181 16515
/proc/meminfo: memFree=26164544/32873844 swapFree=7628/7628
[pid=16511] ppid=16509 vsize=773328 CPUtime=684.26 cores=1,3,5,7
/proc/16511/stat : 16511 (pwbo2.02) S 16509 16511 14598 0 -1 4202496 178137 0 0 0 68204 222 0 0 20 0 3 0 331595344 791887872 164788 33554432000 4194304 5964478 140735833079424 140735833078944 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16511/statm: 193332 164788 203 433 0 192896 0
[pid=16511/tid=16513] ppid=16509 vsize=773328 CPUtime=342.13 cores=1,3,5,7
/proc/16511/task/16513/stat : 16513 (pwbo2.02) R 16509 16511 14598 0 -1 4202560 56743 0 0 0 34165 48 0 0 20 0 3 0 331595355 791887872 164788 33554432000 4194304 5964478 140735833079424 140082128557880 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=16511/tid=16514] ppid=16509 vsize=773328 CPUtime=342.1 cores=1,3,5,7
/proc/16511/task/16514/stat : 16514 (pwbo2.02) R 16509 16511 14598 0 -1 4202560 117820 0 0 0 34025 185 0 0 20 0 3 0 331595355 791887872 164788 33554432000 4194304 5964478 140735833079424 140082118068536 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 684.26
Current children cumulated vsize (KiB) 773328

[startup+402.3 s]
/proc/loadavg: 4.00 3.99 3.89 5/181 16515
/proc/meminfo: memFree=25962468/32873844 swapFree=7628/7628
[pid=16511] ppid=16509 vsize=905080 CPUtime=804.19 cores=1,3,5,7
/proc/16511/stat : 16511 (pwbo2.02) S 16509 16511 14598 0 -1 4202496 201381 0 0 0 80165 254 0 0 20 0 3 0 331595344 926801920 187988 33554432000 4194304 5964478 140735833079424 140735833078944 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16511/statm: 226270 187988 203 433 0 225834 0
[pid=16511/tid=16513] ppid=16509 vsize=905080 CPUtime=402.13 cores=1,3,5,7
/proc/16511/task/16513/stat : 16513 (pwbo2.02) R 16509 16511 14598 0 -1 4202560 63756 0 0 0 40156 57 0 0 20 0 3 0 331595355 926801920 187988 33554432000 4194304 5964478 140735833079424 140082128558072 4379316 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=16511/tid=16514] ppid=16509 vsize=905080 CPUtime=402.05 cores=1,3,5,7
/proc/16511/task/16514/stat : 16514 (pwbo2.02) R 16509 16511 14598 0 -1 4202560 134051 0 0 0 39995 210 0 0 20 0 3 0 331595355 926801920 187988 33554432000 4194304 5964478 140735833079424 140082118068536 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 804.19
Current children cumulated vsize (KiB) 905080

[startup+462.3 s]
/proc/loadavg: 4.04 4.00 3.90 5/181 16515
/proc/meminfo: memFree=25786276/32873844 swapFree=7628/7628
[pid=16511] ppid=16509 vsize=970752 CPUtime=924.14 cores=1,3,5,7
/proc/16511/stat : 16511 (pwbo2.02) S 16509 16511 14598 0 -1 4202496 218152 0 0 0 92130 284 0 0 20 0 3 0 331595344 994050048 204800 33554432000 4194304 5964478 140735833079424 140735833078944 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16511/statm: 242688 204800 203 433 0 242252 0
[pid=16511/tid=16513] ppid=16509 vsize=970752 CPUtime=462.13 cores=1,3,5,7
/proc/16511/task/16513/stat : 16513 (pwbo2.02) R 16509 16511 14598 0 -1 4202560 64430 0 0 0 46154 59 0 0 20 0 3 0 331595355 994050048 204800 33554432000 4194304 5964478 140735833079424 140082128557880 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=16511/tid=16514] ppid=16509 vsize=970752 CPUtime=462.01 cores=1,3,5,7
/proc/16511/task/16514/stat : 16514 (pwbo2.02) R 16509 16511 14598 0 -1 4202560 150148 0 0 0 45961 240 0 0 20 0 3 0 331595355 994050048 204800 33554432000 4194304 5964478 140735833079424 140082118068536 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 924.14
Current children cumulated vsize (KiB) 970752

[startup+522.3 s]
/proc/loadavg: 4.01 4.00 3.91 5/182 16518
/proc/meminfo: memFree=25632200/32873844 swapFree=7628/7628
[pid=16511] ppid=16509 vsize=971172 CPUtime=1044.11 cores=1,3,5,7
/proc/16511/stat : 16511 (pwbo2.02) S 16509 16511 14598 0 -1 4202496 235055 0 0 0 104098 313 0 0 20 0 3 0 331595344 994480128 222495 33554432000 4194304 5964478 140735833079424 140735833078944 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16511/statm: 242793 222495 203 433 0 242357 0
[pid=16511/tid=16513] ppid=16509 vsize=971172 CPUtime=522.11 cores=1,3,5,7
/proc/16511/task/16513/stat : 16513 (pwbo2.02) R 16509 16511 14598 0 -1 4202560 66900 0 0 0 52150 61 0 0 20 0 3 0 331595355 994480128 222495 33554432000 4194304 5964478 140735833079424 140082128558072 4403343 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=16511/tid=16514] ppid=16509 vsize=971172 CPUtime=522 cores=1,3,5,7
/proc/16511/task/16514/stat : 16514 (pwbo2.02) R 16509 16511 14598 0 -1 4202560 164581 0 0 0 51933 267 0 0 20 0 3 0 331595355 994480128 222495 33554432000 4194304 5964478 140735833079424 140082118068536 4403343 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1044.11
Current children cumulated vsize (KiB) 971172

[startup+582.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 16519
/proc/meminfo: memFree=25507196/32873844 swapFree=7628/7628
[pid=16511] ppid=16509 vsize=971172 CPUtime=1164.09 cores=1,3,5,7
/proc/16511/stat : 16511 (pwbo2.02) S 16509 16511 14598 0 -1 4202496 242720 0 0 0 116086 323 0 0 20 0 3 0 331595344 994480128 230159 33554432000 4194304 5964478 140735833079424 140735833078944 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16511/statm: 242793 230159 203 433 0 242357 0
[pid=16511/tid=16513] ppid=16509 vsize=971172 CPUtime=582.11 cores=1,3,5,7
/proc/16511/task/16513/stat : 16513 (pwbo2.02) R 16509 16511 14598 0 -1 4202560 74565 0 0 0 58139 72 0 0 20 0 3 0 331595355 994480128 230159 33554432000 4194304 5964478 140735833079424 140082128558120 4400038 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=16511/tid=16514] ppid=16509 vsize=971172 CPUtime=582 cores=1,3,5,7
/proc/16511/task/16514/stat : 16514 (pwbo2.02) R 16509 16511 14598 0 -1 4202560 164581 0 0 0 57932 268 0 0 20 0 3 0 331595355 994480128 230159 33554432000 4194304 5964478 140735833079424 140082118068536 4400056 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1164.09
Current children cumulated vsize (KiB) 971172

[startup+642.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 16519
/proc/meminfo: memFree=25385208/32873844 swapFree=7628/7628
[pid=16511] ppid=16509 vsize=1036708 CPUtime=1284.06 cores=1,3,5,7
/proc/16511/stat : 16511 (pwbo2.02) S 16509 16511 14598 0 -1 4202496 248866 0 0 0 128075 331 0 0 20 0 3 0 331595344 1061588992 236305 33554432000 4194304 5964478 140735833079424 140735833078944 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16511/statm: 259177 236305 203 433 0 258741 0
[pid=16511/tid=16513] ppid=16509 vsize=1036708 CPUtime=642.11 cores=1,3,5,7
/proc/16511/task/16513/stat : 16513 (pwbo2.02) R 16509 16511 14598 0 -1 4202560 80711 0 0 0 64130 81 0 0 20 0 3 0 331595355 1061588992 236305 33554432000 4194304 5964478 140735833079424 140082128557880 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=16511/tid=16514] ppid=16509 vsize=1036708 CPUtime=642 cores=1,3,5,7
/proc/16511/task/16514/stat : 16514 (pwbo2.02) R 16509 16511 14598 0 -1 4202560 164581 0 0 0 63931 269 0 0 20 0 3 0 331595355 1061588992 236305 33554432000 4194304 5964478 140735833079424 140082118068536 4400091 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1284.06
Current children cumulated vsize (KiB) 1036708

[startup+702.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 16519
/proc/meminfo: memFree=25269420/32873844 swapFree=7628/7628
[pid=16511] ppid=16509 vsize=1037648 CPUtime=1404.05 cores=1,3,5,7
/proc/16511/stat : 16511 (pwbo2.02) S 16509 16511 14598 0 -1 4202496 254024 0 0 0 140067 338 0 0 20 0 3 0 331595344 1062551552 241463 33554432000 4194304 5964478 140735833079424 140735833078944 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16511/statm: 259412 241463 203 433 0 258976 0
[pid=16511/tid=16513] ppid=16509 vsize=1037648 CPUtime=702.11 cores=1,3,5,7
/proc/16511/task/16513/stat : 16513 (pwbo2.02) R 16509 16511 14598 0 -1 4202560 85858 0 0 0 70122 89 0 0 20 0 3 0 331595355 1062551552 241463 33554432000 4194304 5964478 140735833079424 140082128558072 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=16511/tid=16514] ppid=16509 vsize=1037648 CPUtime=702 cores=1,3,5,7
/proc/16511/task/16514/stat : 16514 (pwbo2.02) R 16509 16511 14598 0 -1 4202560 164592 0 0 0 69930 270 0 0 20 0 3 0 331595355 1062551552 241463 33554432000 4194304 5964478 140735833079424 140082118068296 4399938 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1404.05
Current children cumulated vsize (KiB) 1037648

[startup+762.3 s]
/proc/loadavg: 3.89 3.97 3.90 5/181 16560
/proc/meminfo: memFree=26773704/32873844 swapFree=7628/7628
[pid=16511] ppid=16509 vsize=1037648 CPUtime=1524.03 cores=1,3,5,7
/proc/16511/stat : 16511 (pwbo2.02) S 16509 16511 14598 0 -1 4202496 256242 0 0 0 152061 342 0 0 20 0 3 0 331595344 1062551552 243787 33554432000 4194304 5964478 140735833079424 140735833078944 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16511/statm: 259412 243787 203 433 0 258976 0
[pid=16511/tid=16513] ppid=16509 vsize=1037648 CPUtime=762.11 cores=1,3,5,7
/proc/16511/task/16513/stat : 16513 (pwbo2.02) R 16509 16511 14598 0 -1 4202560 88051 0 0 0 76117 94 0 0 20 0 3 0 331595355 1062551552 243787 33554432000 4194304 5964478 140735833079424 140082128557880 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=16511/tid=16514] ppid=16509 vsize=1037648 CPUtime=762 cores=1,3,5,7
/proc/16511/task/16514/stat : 16514 (pwbo2.02) R 16509 16511 14598 0 -1 4202560 164617 0 0 0 75929 271 0 0 20 0 3 0 331595355 1062551552 243787 33554432000 4194304 5964478 140735833079424 140082118068296 4400115 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1524.03
Current children cumulated vsize (KiB) 1037648

[startup+822.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 16600
/proc/meminfo: memFree=26635984/32873844 swapFree=7628/7628
[pid=16511] ppid=16509 vsize=1037784 CPUtime=1643.98 cores=1,3,5,7
/proc/16511/stat : 16511 (pwbo2.02) S 16509 16511 14598 0 -1 4202496 256840 0 0 0 164055 343 0 0 20 0 3 0 331595344 1062690816 244580 33554432000 4194304 5964478 140735833079424 140735833078944 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16511/statm: 259446 244580 203 433 0 259010 0
[pid=16511/tid=16513] ppid=16509 vsize=1037784 CPUtime=822.1 cores=1,3,5,7
/proc/16511/task/16513/stat : 16513 (pwbo2.02) R 16509 16511 14598 0 -1 4202560 88587 0 0 0 82114 96 0 0 20 0 3 0 331595355 1062690816 244580 33554432000 4194304 5964478 140735833079424 140082128557880 4399926 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=16511/tid=16514] ppid=16509 vsize=1037784 CPUtime=821.97 cores=1,3,5,7
/proc/16511/task/16514/stat : 16514 (pwbo2.02) R 16509 16511 14598 0 -1 4202560 164679 0 0 0 81925 272 0 0 20 0 3 0 331595355 1062690816 244580 33554432000 4194304 5964478 140735833079424 140082118068296 4400056 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1643.98
Current children cumulated vsize (KiB) 1037784

[startup+882.307 s]
/proc/loadavg: 4.00 3.99 3.91 5/180 16600
/proc/meminfo: memFree=26397924/32873844 swapFree=7628/7628
[pid=16511] ppid=16509 vsize=1037920 CPUtime=1763.94 cores=1,3,5,7
/proc/16511/stat : 16511 (pwbo2.02) S 16509 16511 14598 0 -1 4202496 257808 0 0 0 176051 343 0 0 20 0 3 0 331595344 1062830080 245516 33554432000 4194304 5964478 140735833079424 140735833078944 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16511/statm: 259480 245516 203 433 0 259044 0
[pid=16511/tid=16513] ppid=16509 vsize=1037920 CPUtime=882.11 cores=1,3,5,7
/proc/16511/task/16513/stat : 16513 (pwbo2.02) R 16509 16511 14598 0 -1 4202560 89452 0 0 0 88114 97 0 0 20 0 3 0 331595355 1062830080 245516 33554432000 4194304 5964478 140735833079424 140082128557944 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=16511/tid=16514] ppid=16509 vsize=1037920 CPUtime=881.94 cores=1,3,5,7
/proc/16511/task/16514/stat : 16514 (pwbo2.02) R 16509 16511 14598 0 -1 4202560 164782 0 0 0 87921 273 0 0 20 0 3 0 331595355 1062830080 245516 33554432000 4194304 5964478 140735833079424 140082118068296 4400519 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1763.94
Current children cumulated vsize (KiB) 1037920



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.4 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 16601
/proc/meminfo: memFree=26345200/32873844 swapFree=7628/7628
[pid=16511] ppid=16509 vsize=1038064 CPUtime=1800.12 cores=1,3,5,7
/proc/16511/stat : 16511 (pwbo2.02) S 16509 16511 14598 0 -1 4202496 257910 0 0 0 179669 343 0 0 20 0 3 0 331595344 1062977536 245668 33554432000 4194304 5964478 140735833079424 140735833078944 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16511/statm: 259516 245668 203 433 0 259080 0
[pid=16511/tid=16513] ppid=16509 vsize=1038064 CPUtime=900.2 cores=1,3,5,7
/proc/16511/task/16513/stat : 16513 (pwbo2.02) R 16509 16511 14598 0 -1 4202560 89538 0 0 0 89923 97 0 0 20 0 3 0 331595355 1062977536 245668 33554432000 4194304 5964478 140735833079424 140082128557880 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=16511/tid=16514] ppid=16509 vsize=1038064 CPUtime=900.04 cores=1,3,5,7
/proc/16511/task/16514/stat : 16514 (pwbo2.02) R 16509 16511 14598 0 -1 4202560 164798 0 0 0 89731 273 0 0 20 0 3 0 331595355 1062977536 245668 33554432000 4194304 5964478 140735833079424 140082118068296 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 1038064

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

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

[startup+900.4 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 16601
/proc/meminfo: memFree=26345200/32873844 swapFree=7628/7628
[pid=16511] ppid=16509 vsize=1038064 CPUtime=1800.12 cores=1,3,5,7
/proc/16511/stat : 16511 (pwbo2.02) S 16509 16511 14598 0 -1 4202496 257910 0 0 0 179669 343 0 0 20 0 3 0 331595344 1062977536 245668 33554432000 4194304 5964478 140735833079424 140735833078944 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16511/statm: 259516 245668 203 433 0 259080 0
[pid=16511/tid=16513] ppid=16509 vsize=1038064 CPUtime=900.2 cores=1,3,5,7
/proc/16511/task/16513/stat : 16513 (pwbo2.02) R 16509 16511 14598 0 -1 4202560 89538 0 0 0 89923 97 0 0 20 0 3 0 331595355 1062977536 245668 33554432000 4194304 5964478 140735833079424 140082128557880 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=16511/tid=16514] ppid=16509 vsize=1038064 CPUtime=900.04 cores=1,3,5,7
/proc/16511/task/16514/stat : 16514 (pwbo2.02) R 16509 16511 14598 0 -1 4202560 164798 0 0 0 89731 273 0 0 20 0 3 0 331595355 1062977536 245668 33554432000 4194304 5964478 140735833079424 140082118068296 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 1038064

Child status: 0
Real time (s): 900.434
CPU time (s): 1800.4
CPU user time (s): 1796.66
CPU system time (s): 3.74343
CPU usage (%): 199.948
Max. virtual memory (cumulated for all children) (KiB): 1038064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.66
system time used= 3.74343
maximum resident set size= 982676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 257911
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= 1651
involuntary context switches= 2644

runsolver used 2.13967 second user time and 5.32519 second system time

The end

Launcher Data 

Begin job on node144 at 2012-06-02 18:31:44
IDJOB=3725928
IDBENCH=2252
IDSOLVER=2309
FILE ID=node144/3725928-1338654704
RUNJOBID= node144-1338651679-16069
PBS_JOBID= 14636436
Free space on /tmp= 70828 MiB

SOLVER NAME= pwbo 2.02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb
COMMAND LINE= pwbo2.02 -file-format=opb -verbosity=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3725928-1338654704/watcher-3725928-1338654704 -o /tmp/evaluation-result-3725928-1338654704/solver-3725928-1338654704 -C 1800 -W 1900 -M 15500  pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3725928-1338654704.opb

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

MD5SUM BENCH= 05ceccb8ea9c274c844c39df1472d3cc
RANDOM SEED=2056757102

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27261496 kB
Buffers:          620524 kB
Cached:          3593472 kB
SwapCached:          464 kB
Active:          2895656 kB
Inactive:        1850656 kB
Active(anon):     515304 kB
Inactive(anon):    11196 kB
Active(file):    2380352 kB
Inactive(file):  1839460 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108376 kB
Dirty:              6604 kB
Writeback:             0 kB
AnonPages:        565976 kB
Mapped:            15096 kB
Shmem:               172 kB
Slab:             723308 kB
SReclaimable:     165584 kB
SUnreclaim:       557724 kB
KernelStack:        1504 kB
PageTables:         4880 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     189128 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    139264 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70820 MiB
End job on node144 at 2012-06-02 18:46:47