Trace number 3725929

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)-41 1800.41 900.442

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-2.opb
MD5SUMaabc023158e10c9511062af8ac97c515
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-44
Best CPU time to get the best result obtained on this benchmark1800.09
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 constraints58624
Number of constraints which are clauses58624
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-3725929-1338654562.opb.
0.00/0.00	c Instance file HOME/instance-3725929-1338654562.opb
0.00/0.00	c File size is 1400677 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:        58624                                               |
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.13/900.41	o -31
1800.13/900.41	o -33
1800.13/900.41	o -34
1800.13/900.41	o -35
1800.13/900.41	o -36
1800.13/900.41	o -37
1800.13/900.41	o -38
1800.13/900.41	o -39
1800.13/900.41	o -40
1800.13/900.41	o -41
1800.13/900.41	c ===============================================================================
1800.13/900.41	c Wall Clock Time: 900.41 s
1800.13/900.41	c Best Solution: -41
1800.13/900.41	s SATISFIABLE
1800.13/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	-41

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-3725929-1338654562/watcher-3725929-1338654562 -o /tmp/evaluation-result-3725929-1338654562/solver-3725929-1338654562 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3725929-1338654562.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.00 3.99 3.83 4/179 3969
/proc/meminfo: memFree=28349928/32873844 swapFree=7380/7380
[pid=3969] ppid=3967 vsize=5696 CPUtime=0 cores=0,2,4,6
/proc/3969/stat : 3969 (pwbo2.02) R 3967 3969 2131 0 -1 4202496 428 0 0 0 0 0 0 0 20 0 1 0 331580971 5832704 380 33554432000 4194304 5964478 140733447316224 140734844771432 4348995 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/3969/statm: 1424 381 167 433 0 646 0

[startup+0.022299 s]
/proc/loadavg: 4.00 3.99 3.83 4/179 3969
/proc/meminfo: memFree=28349928/32873844 swapFree=7380/7380
[pid=3969] ppid=3967 vsize=7316 CPUtime=0.01 cores=0,2,4,6
/proc/3969/stat : 3969 (pwbo2.02) R 3967 3969 2131 0 -1 4202496 855 0 0 0 1 0 0 0 20 0 1 0 331580971 7491584 807 33554432000 4194304 5964478 140733447316224 140734844771432 5136490 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/3969/statm: 1829 809 219 433 0 1051 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 7316

[startup+0.100257 s]
/proc/loadavg: 4.00 3.99 3.83 4/179 3969
/proc/meminfo: memFree=28349928/32873844 swapFree=7380/7380
[pid=3969] ppid=3967 vsize=14480 CPUtime=0.09 cores=0,2,4,6
/proc/3969/stat : 3969 (pwbo2.02) R 3967 3969 2131 0 -1 4202496 2948 0 0 0 9 0 0 0 20 0 1 0 331580971 14827520 2834 33554432000 4194304 5964478 140733447316224 140734844771432 5136490 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/3969/statm: 3620 2835 482 433 0 2842 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14480

[startup+0.300205 s]
/proc/loadavg: 4.00 3.99 3.83 4/179 3969
/proc/meminfo: memFree=28349928/32873844 swapFree=7380/7380
[pid=3969] ppid=3967 vsize=178304 CPUtime=0.49 cores=0,2,4,6
/proc/3969/stat : 3969 (pwbo2.02) S 3967 3969 2131 0 -1 4202496 12255 0 0 0 46 3 0 0 20 0 3 0 331580971 182583296 11563 33554432000 4194304 5964478 140733447316224 140733447315744 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3969/statm: 44576 11563 201 433 0 44140 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 178304

[startup+0.700178 s]
/proc/loadavg: 4.00 3.99 3.83 4/179 3969
/proc/meminfo: memFree=28349928/32873844 swapFree=7380/7380
[pid=3969] ppid=3967 vsize=178304 CPUtime=1.29 cores=0,2,4,6
/proc/3969/stat : 3969 (pwbo2.02) S 3967 3969 2131 0 -1 4202496 12288 0 0 0 126 3 0 0 20 0 3 0 331580971 182583296 11596 33554432000 4194304 5964478 140733447316224 140733447315744 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3969/statm: 44576 11596 202 433 0 44140 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 178304

[startup+1.5003 s]
/proc/loadavg: 4.00 3.99 3.83 5/182 3972
/proc/meminfo: memFree=28302916/32873844 swapFree=7380/7380
[pid=3969] ppid=3967 vsize=178304 CPUtime=2.88 cores=0,2,4,6
/proc/3969/stat : 3969 (pwbo2.02) S 3967 3969 2131 0 -1 4202496 12396 0 0 0 285 3 0 0 20 0 3 0 331580971 182583296 11704 33554432000 4194304 5964478 140733447316224 140733447315744 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3969/statm: 44576 11704 202 433 0 44140 0
[pid=3969/tid=3971] ppid=3967 vsize=178304 CPUtime=1.37 cores=0,2,4,6
/proc/3969/task/3971/stat : 3971 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 3826 0 0 0 136 1 0 0 20 0 3 0 331580981 182583296 11704 33554432000 4194304 5964478 140733447316224 139766057462216 5130994 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3969/tid=3972] ppid=3967 vsize=178304 CPUtime=1.38 cores=0,2,4,6
/proc/3969/task/3972/stat : 3972 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 5019 0 0 0 136 2 0 0 20 0 3 0 331580981 182583296 11704 33554432000 4194304 5964478 140733447316224 139766046972216 4403343 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 178304

[startup+3.1003 s]
/proc/loadavg: 4.00 3.99 3.83 5/183 3973
/proc/meminfo: memFree=28300544/32873844 swapFree=7380/7380
[pid=3969] ppid=3967 vsize=178304 CPUtime=6.08 cores=0,2,4,6
/proc/3969/stat : 3969 (pwbo2.02) S 3967 3969 2131 0 -1 4202496 12716 0 0 0 604 4 0 0 20 0 3 0 331580971 182583296 12024 33554432000 4194304 5964478 140733447316224 140733447315744 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3969/statm: 44576 12024 202 433 0 44140 0
[pid=3969/tid=3971] ppid=3967 vsize=178304 CPUtime=2.97 cores=0,2,4,6
/proc/3969/task/3971/stat : 3971 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 4048 0 0 0 295 2 0 0 20 0 3 0 331580981 182583296 12024 33554432000 4194304 5964478 140733447316224 139766057462296 5139166 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3969/tid=3972] ppid=3967 vsize=178304 CPUtime=2.98 cores=0,2,4,6
/proc/3969/task/3972/stat : 3972 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 5117 0 0 0 296 2 0 0 20 0 3 0 331580981 182583296 12024 33554432000 4194304 5964478 140733447316224 139766046972152 4399915 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 178304

[startup+6.30027 s]
/proc/loadavg: 4.00 3.99 3.83 5/183 3973
/proc/meminfo: memFree=28290228/32873844 swapFree=7380/7380
[pid=3969] ppid=3967 vsize=178304 CPUtime=12.48 cores=0,2,4,6
/proc/3969/stat : 3969 (pwbo2.02) S 3967 3969 2131 0 -1 4202496 14194 0 0 0 1242 6 0 0 20 0 3 0 331580971 182583296 13502 33554432000 4194304 5964478 140733447316224 140733447315744 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3969/statm: 44576 13502 202 433 0 44140 0
[pid=3969/tid=3971] ppid=3967 vsize=178304 CPUtime=6.17 cores=0,2,4,6
/proc/3969/task/3971/stat : 3971 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 4683 0 0 0 614 3 0 0 20 0 3 0 331580981 182583296 13502 33554432000 4194304 5964478 140733447316224 139766057462216 5139118 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3969/tid=3972] ppid=3967 vsize=178304 CPUtime=6.17 cores=0,2,4,6
/proc/3969/task/3972/stat : 3972 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 5960 0 0 0 615 2 0 0 20 0 3 0 331580981 182583296 13502 33554432000 4194304 5964478 140733447316224 139766046972024 4399932 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 178304

[startup+12.7003 s]
/proc/loadavg: 4.00 3.99 3.83 5/183 3973
/proc/meminfo: memFree=28262708/32873844 swapFree=7380/7380
[pid=3969] ppid=3967 vsize=178304 CPUtime=25.28 cores=0,2,4,6
/proc/3969/stat : 3969 (pwbo2.02) S 3967 3969 2131 0 -1 4202496 23426 0 0 0 2517 11 0 0 20 0 3 0 331580971 182583296 19371 33554432000 4194304 5964478 140733447316224 140733447315744 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3969/statm: 44576 19371 203 433 0 44140 0
[pid=3969/tid=3971] ppid=3967 vsize=178304 CPUtime=12.57 cores=0,2,4,6
/proc/3969/task/3971/stat : 3971 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 9386 0 0 0 1252 5 0 0 20 0 3 0 331580981 182583296 19371 33554432000 4194304 5964478 140733447316224 139766057462296 5139166 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3969/tid=3972] ppid=3967 vsize=178304 CPUtime=12.57 cores=0,2,4,6
/proc/3969/task/3972/stat : 3972 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 10489 0 0 0 1252 5 0 0 20 0 3 0 331580981 182583296 19371 33554432000 4194304 5964478 140733447316224 139766046972264 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 178304

[startup+25.5003 s]
/proc/loadavg: 4.00 3.99 3.84 5/183 3973
/proc/meminfo: memFree=28209552/32873844 swapFree=7380/7380
[pid=3969] ppid=3967 vsize=244564 CPUtime=50.87 cores=0,2,4,6
/proc/3969/stat : 3969 (pwbo2.02) S 3967 3969 2131 0 -1 4202496 40643 0 0 0 5065 22 0 0 20 0 3 0 331580971 250433536 30861 33554432000 4194304 5964478 140733447316224 140733447315744 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3969/statm: 61141 30861 203 433 0 60705 0
[pid=3969/tid=3971] ppid=3967 vsize=244564 CPUtime=25.37 cores=0,2,4,6
/proc/3969/task/3971/stat : 3971 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 18821 0 0 0 2526 11 0 0 20 0 3 0 331580981 250433536 30861 33554432000 4194304 5964478 140733447316224 139766057461800 4400519 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3969/tid=3972] ppid=3967 vsize=244564 CPUtime=25.37 cores=0,2,4,6
/proc/3969/task/3972/stat : 3972 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 18271 0 0 0 2526 11 0 0 20 0 3 0 331580981 250433536 30861 33554432000 4194304 5964478 140733447316224 139766046972216 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 244564

[startup+51.1003 s]
/proc/loadavg: 4.00 3.99 3.84 5/184 3976
/proc/meminfo: memFree=28135012/32873844 swapFree=7380/7380
[pid=3969] ppid=3967 vsize=245648 CPUtime=102.06 cores=0,2,4,6
/proc/3969/stat : 3969 (pwbo2.02) S 3967 3969 2131 0 -1 4202496 59451 0 0 0 10164 42 0 0 20 0 3 0 331580971 251543552 49669 33554432000 4194304 5964478 140733447316224 140733447315744 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3969/statm: 61412 49669 203 433 0 60976 0
[pid=3969/tid=3971] ppid=3967 vsize=245648 CPUtime=50.97 cores=0,2,4,6
/proc/3969/task/3971/stat : 3971 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 24855 0 0 0 5074 23 0 0 20 0 3 0 331580981 251543552 49669 33554432000 4194304 5964478 140733447316224 139766057461352 4400432 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3969/tid=3972] ppid=3967 vsize=245648 CPUtime=50.97 cores=0,2,4,6
/proc/3969/task/3972/stat : 3972 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 31045 0 0 0 5078 19 0 0 20 0 3 0 331580981 251543552 49669 33554432000 4194304 5964478 140733447316224 139766046972216 4399870 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.06
Current children cumulated vsize (KiB) 245648

[startup+102.307 s]
/proc/loadavg: 4.05 4.00 3.85 5/183 3976
/proc/meminfo: memFree=28010512/32873844 swapFree=7380/7380
[pid=3969] ppid=3967 vsize=443332 CPUtime=204.45 cores=0,2,4,6
/proc/3969/stat : 3969 (pwbo2.02) S 3967 3969 2131 0 -1 4202496 88993 0 0 0 20379 66 0 0 20 0 3 0 331580971 453971968 79553 33554432000 4194304 5964478 140733447316224 140733447315744 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3969/statm: 110833 79553 203 433 0 110397 0
[pid=3969/tid=3971] ppid=3967 vsize=443332 CPUtime=102.18 cores=0,2,4,6
/proc/3969/task/3971/stat : 3971 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 30695 0 0 0 10188 30 0 0 20 0 3 0 331580981 453971968 79553 33554432000 4194304 5964478 140733447316224 139766057461800 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3969/tid=3972] ppid=3967 vsize=443332 CPUtime=102.17 cores=0,2,4,6
/proc/3969/task/3972/stat : 3972 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 54747 0 0 0 10178 39 0 0 20 0 3 0 331580981 453971968 79553 33554432000 4194304 5964478 140733447316224 139766046972216 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 204.45
Current children cumulated vsize (KiB) 443332

[startup+162.3 s]
/proc/loadavg: 4.02 4.00 3.85 5/183 3976
/proc/meminfo: memFree=27964536/32873844 swapFree=7380/7380
[pid=3969] ppid=3967 vsize=442740 CPUtime=324.38 cores=0,2,4,6
/proc/3969/stat : 3969 (pwbo2.02) S 3967 3969 2131 0 -1 4202496 96264 0 0 0 32365 73 0 0 20 0 3 0 331580971 453365760 86600 33554432000 4194304 5964478 140733447316224 140733447315744 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3969/statm: 110685 86600 203 433 0 110249 0
[pid=3969/tid=3971] ppid=3967 vsize=442740 CPUtime=162.17 cores=0,2,4,6
/proc/3969/task/3971/stat : 3971 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 34529 0 0 0 16181 36 0 0 20 0 3 0 331580981 453365760 86600 33554432000 4194304 5964478 140733447316224 139766057462296 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3969/tid=3972] ppid=3967 vsize=442740 CPUtime=162.13 cores=0,2,4,6
/proc/3969/task/3972/stat : 3972 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 58184 0 0 0 16170 43 0 0 20 0 3 0 331580981 453365760 86600 33554432000 4194304 5964478 140733447316224 139766046971976 4400083 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 324.38
Current children cumulated vsize (KiB) 442740

[startup+222.3 s]
/proc/loadavg: 4.00 4.00 3.86 5/183 3976
/proc/meminfo: memFree=27826740/32873844 swapFree=7380/7380
[pid=3969] ppid=3967 vsize=508692 CPUtime=444.33 cores=0,2,4,6
/proc/3969/stat : 3969 (pwbo2.02) S 3967 3969 2131 0 -1 4202496 118973 0 0 0 44339 94 0 0 20 0 3 0 331580971 520900608 109325 33554432000 4194304 5964478 140733447316224 140733447315744 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3969/statm: 127173 109325 203 433 0 126737 0
[pid=3969/tid=3971] ppid=3967 vsize=508692 CPUtime=222.15 cores=0,2,4,6
/proc/3969/task/3971/stat : 3971 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 38150 0 0 0 22173 42 0 0 20 0 3 0 331580981 520900608 109325 33554432000 4194304 5964478 140733447316224 139766057461560 4399932 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3969/tid=3972] ppid=3967 vsize=508692 CPUtime=222.11 cores=0,2,4,6
/proc/3969/task/3972/stat : 3972 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 77272 0 0 0 22152 59 0 0 20 0 3 0 331580981 520900608 109325 33554432000 4194304 5964478 140733447316224 139766046972216 4400018 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 444.33
Current children cumulated vsize (KiB) 508692

[startup+282.3 s]
/proc/loadavg: 4.00 4.00 3.87 5/183 3976
/proc/meminfo: memFree=27626508/32873844 swapFree=7380/7380
[pid=3969] ppid=3967 vsize=705608 CPUtime=564.28 cores=0,2,4,6
/proc/3969/stat : 3969 (pwbo2.02) S 3967 3969 2131 0 -1 4202496 149965 0 0 0 56311 117 0 0 20 0 3 0 331580971 722542592 140289 33554432000 4194304 5964478 140733447316224 140733447315744 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3969/statm: 176402 140289 203 433 0 175966 0
[pid=3969/tid=3971] ppid=3967 vsize=705608 CPUtime=282.14 cores=0,2,4,6
/proc/3969/task/3971/stat : 3971 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 42312 0 0 0 28167 47 0 0 20 0 3 0 331580981 722542592 140289 33554432000 4194304 5964478 140733447316224 139766057461752 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3969/tid=3972] ppid=3967 vsize=705608 CPUtime=282.08 cores=0,2,4,6
/proc/3969/task/3972/stat : 3972 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 104102 0 0 0 28129 79 0 0 20 0 3 0 331580981 722542592 140289 33554432000 4194304 5964478 140733447316224 139766046972216 4400519 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 564.28
Current children cumulated vsize (KiB) 705608

[startup+342.3 s]
/proc/loadavg: 4.00 4.00 3.87 5/184 3978
/proc/meminfo: memFree=27420716/32873844 swapFree=7380/7380
[pid=3969] ppid=3967 vsize=773996 CPUtime=684.25 cores=0,2,4,6
/proc/3969/stat : 3969 (pwbo2.02) S 3967 3969 2131 0 -1 4202496 181791 0 0 0 68276 149 0 0 20 0 3 0 331580971 792571904 173109 33554432000 4194304 5964478 140733447316224 140733447315744 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3969/statm: 193499 173109 203 433 0 193063 0
[pid=3969/tid=3971] ppid=3967 vsize=773996 CPUtime=342.12 cores=0,2,4,6
/proc/3969/task/3971/stat : 3971 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 52664 0 0 0 34150 62 0 0 20 0 3 0 331580981 792571904 173109 33554432000 4194304 5964478 140733447316224 139766057461800 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3969/tid=3972] ppid=3967 vsize=773996 CPUtime=342.08 cores=0,2,4,6
/proc/3969/task/3972/stat : 3972 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 125576 0 0 0 34110 98 0 0 20 0 3 0 331580981 792571904 173109 33554432000 4194304 5964478 140733447316224 139766046972216 4400097 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 684.25
Current children cumulated vsize (KiB) 773996

[startup+402.3 s]
/proc/loadavg: 3.89 3.98 3.87 5/183 4019
/proc/meminfo: memFree=28140808/32873844 swapFree=7380/7380
[pid=3969] ppid=3967 vsize=839956 CPUtime=804.23 cores=0,2,4,6
/proc/3969/stat : 3969 (pwbo2.02) S 3967 3969 2131 0 -1 4202496 202661 0 0 0 80255 168 0 0 20 0 3 0 331580971 860114944 193979 33554432000 4194304 5964478 140733447316224 140733447315744 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3969/statm: 209989 193979 203 433 0 209553 0
[pid=3969/tid=3971] ppid=3967 vsize=839956 CPUtime=402.12 cores=0,2,4,6
/proc/3969/task/3971/stat : 3971 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 53485 0 0 0 40148 64 0 0 20 0 3 0 331580981 860114944 193979 33554432000 4194304 5964478 140733447316224 139766057461560 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3969/tid=3972] ppid=3967 vsize=839956 CPUtime=402.08 cores=0,2,4,6
/proc/3969/task/3972/stat : 3972 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 145625 0 0 0 40090 118 0 0 20 0 3 0 331580981 860114944 193979 33554432000 4194304 5964478 140733447316224 139766046972216 4400097 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 804.23
Current children cumulated vsize (KiB) 839956

[startup+462.3 s]
/proc/loadavg: 3.96 3.98 3.88 5/183 4019
/proc/meminfo: memFree=27856840/32873844 swapFree=7380/7380
[pid=3969] ppid=3967 vsize=1036696 CPUtime=924.18 cores=0,2,4,6
/proc/3969/stat : 3969 (pwbo2.02) S 3967 3969 2131 0 -1 4202496 229732 0 0 0 92222 196 0 0 20 0 3 0 331580971 1061576704 221076 33554432000 4194304 5964478 140733447316224 140733447315744 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3969/statm: 259174 221076 203 433 0 258738 0
[pid=3969/tid=3971] ppid=3967 vsize=1036696 CPUtime=462.12 cores=0,2,4,6
/proc/3969/task/3971/stat : 3971 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 58292 0 0 0 46141 71 0 0 20 0 3 0 331580981 1061576704 221076 33554432000 4194304 5964478 140733447316224 139766057461512 4400018 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3969/tid=3972] ppid=3967 vsize=1036696 CPUtime=462.05 cores=0,2,4,6
/proc/3969/task/3972/stat : 3972 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 167889 0 0 0 46065 140 0 0 20 0 3 0 331580981 1061576704 221076 33554432000 4194304 5964478 140733447316224 139766046972216 4400097 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 924.18
Current children cumulated vsize (KiB) 1036696

[startup+522.3 s]
/proc/loadavg: 3.98 3.98 3.88 5/183 4019
/proc/meminfo: memFree=27701496/32873844 swapFree=7380/7380
[pid=3969] ppid=3967 vsize=1036900 CPUtime=1044.14 cores=0,2,4,6
/proc/3969/stat : 3969 (pwbo2.02) S 3967 3969 2131 0 -1 4202496 241413 0 0 0 104203 211 0 0 20 0 3 0 331580971 1061785600 232734 33554432000 4194304 5964478 140733447316224 140733447315744 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3969/statm: 259225 232734 203 433 0 258789 0
[pid=3969/tid=3971] ppid=3967 vsize=1036900 CPUtime=522.11 cores=0,2,4,6
/proc/3969/task/3971/stat : 3971 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 65398 0 0 0 52130 81 0 0 20 0 3 0 331580981 1061785600 232734 33554432000 4194304 5964478 140733447316224 139766057461752 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3969/tid=3972] ppid=3967 vsize=1036900 CPUtime=522.02 cores=0,2,4,6
/proc/3969/task/3972/stat : 3972 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 172464 0 0 0 52057 145 0 0 20 0 3 0 331580981 1061785600 232734 33554432000 4194304 5964478 140733447316224 139766046972216 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1044.14
Current children cumulated vsize (KiB) 1036900

[startup+582.3 s]
/proc/loadavg: 3.99 3.98 3.89 5/183 4019
/proc/meminfo: memFree=27575912/32873844 swapFree=7380/7380
[pid=3969] ppid=3967 vsize=1037040 CPUtime=1164.08 cores=0,2,4,6
/proc/3969/stat : 3969 (pwbo2.02) S 3967 3969 2131 0 -1 4202496 246521 0 0 0 116187 221 0 0 20 0 3 0 331580971 1061928960 238227 33554432000 4194304 5964478 140733447316224 140733447315744 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3969/statm: 259260 238227 203 433 0 258824 0
[pid=3969/tid=3971] ppid=3967 vsize=1037040 CPUtime=582.09 cores=0,2,4,6
/proc/3969/task/3971/stat : 3971 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 70455 0 0 0 58117 92 0 0 20 0 3 0 331580981 1061928960 238227 33554432000 4194304 5964478 140733447316224 139766057461560 4400069 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3969/tid=3972] ppid=3967 vsize=1037040 CPUtime=582.01 cores=0,2,4,6
/proc/3969/task/3972/stat : 3972 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 172515 0 0 0 58055 146 0 0 20 0 3 0 331580981 1061928960 238227 33554432000 4194304 5964478 140733447316224 139766046971976 4220672 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1164.08
Current children cumulated vsize (KiB) 1037040

[startup+642.3 s]
/proc/loadavg: 3.99 3.98 3.90 5/184 4023
/proc/meminfo: memFree=27490124/32873844 swapFree=7380/7380
[pid=3969] ppid=3967 vsize=1038204 CPUtime=1284.04 cores=0,2,4,6
/proc/3969/stat : 3969 (pwbo2.02) S 3967 3969 2131 0 -1 4202496 249145 0 0 0 128180 224 0 0 20 0 3 0 331580971 1063120896 240813 33554432000 4194304 5964478 140733447316224 140733447315744 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3969/statm: 259551 240813 203 433 0 259115 0
[pid=3969/tid=3971] ppid=3967 vsize=1038204 CPUtime=642.09 cores=0,2,4,6
/proc/3969/task/3971/stat : 3971 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 72955 0 0 0 64113 96 0 0 20 0 3 0 331580981 1063120896 240813 33554432000 4194304 5964478 140733447316224 139766057461560 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3969/tid=3972] ppid=3967 vsize=1038204 CPUtime=641.99 cores=0,2,4,6
/proc/3969/task/3972/stat : 3972 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 172639 0 0 0 64052 147 0 0 20 0 3 0 331580981 1063120896 240813 33554432000 4194304 5964478 140733447316224 139766046971976 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1284.04
Current children cumulated vsize (KiB) 1038204

[startup+702.3 s]
/proc/loadavg: 3.99 3.98 3.90 5/183 4023
/proc/meminfo: memFree=27461464/32873844 swapFree=7380/7380
[pid=3969] ppid=3967 vsize=1038204 CPUtime=1404 cores=0,2,4,6
/proc/3969/stat : 3969 (pwbo2.02) S 3967 3969 2131 0 -1 4202496 249605 0 0 0 140176 224 0 0 20 0 3 0 331580971 1063120896 241261 33554432000 4194304 5964478 140733447316224 140733447315744 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3969/statm: 259551 241261 203 433 0 259115 0
[pid=3969/tid=3971] ppid=3967 vsize=1038204 CPUtime=702.08 cores=0,2,4,6
/proc/3969/task/3971/stat : 3971 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 73384 0 0 0 70111 97 0 0 20 0 3 0 331580981 1063120896 241261 33554432000 4194304 5964478 140733447316224 139766057461560 4400109 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3969/tid=3972] ppid=3967 vsize=1038204 CPUtime=701.97 cores=0,2,4,6
/proc/3969/task/3972/stat : 3972 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 172670 0 0 0 70049 148 0 0 20 0 3 0 331580981 1063120896 241261 33554432000 4194304 5964478 140733447316224 139766046971976 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1404
Current children cumulated vsize (KiB) 1038204

[startup+762.307 s]
/proc/loadavg: 3.99 3.98 3.91 5/183 4023
/proc/meminfo: memFree=27452004/32873844 swapFree=7380/7380
[pid=3969] ppid=3967 vsize=1038656 CPUtime=1523.99 cores=0,2,4,6
/proc/3969/stat : 3969 (pwbo2.02) S 3967 3969 2131 0 -1 4202496 250325 0 0 0 152173 226 0 0 20 0 3 0 331580971 1063583744 241962 33554432000 4194304 5964478 140733447316224 140733447315744 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3969/statm: 259664 241962 203 433 0 259228 0
[pid=3969/tid=3971] ppid=3967 vsize=1038656 CPUtime=762.09 cores=0,2,4,6
/proc/3969/task/3971/stat : 3971 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 74006 0 0 0 76109 100 0 0 20 0 3 0 331580981 1063583744 241962 33554432000 4194304 5964478 140733447316224 139766057461752 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3969/tid=3972] ppid=3967 vsize=1038656 CPUtime=761.97 cores=0,2,4,6
/proc/3969/task/3972/stat : 3972 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 172768 0 0 0 76048 149 0 0 20 0 3 0 331580981 1063583744 241962 33554432000 4194304 5964478 140733447316224 139766046971976 4403343 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1523.99
Current children cumulated vsize (KiB) 1038656

[startup+822.3 s]
/proc/loadavg: 3.99 3.98 3.91 5/183 4023
/proc/meminfo: memFree=27329224/32873844 swapFree=7380/7380
[pid=3969] ppid=3967 vsize=1169728 CPUtime=1643.94 cores=0,2,4,6
/proc/3969/stat : 3969 (pwbo2.02) S 3967 3969 2131 0 -1 4202496 277673 0 0 0 164144 250 0 0 20 0 3 0 331580971 1197801472 269381 33554432000 4194304 5964478 140733447316224 140733447315744 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3969/statm: 292432 269381 203 433 0 291996 0
[pid=3969/tid=3971] ppid=3967 vsize=1169728 CPUtime=822.07 cores=0,2,4,6
/proc/3969/task/3971/stat : 3971 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 79506 0 0 0 82100 107 0 0 20 0 3 0 331580981 1197801472 269381 33554432000 4194304 5964478 140733447316224 139766057461800 4400069 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3969/tid=3972] ppid=3967 vsize=1169728 CPUtime=821.96 cores=0,2,4,6
/proc/3969/task/3972/stat : 3972 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 194616 0 0 0 82028 168 0 0 20 0 3 0 331580981 1197801472 269381 33554432000 4194304 5964478 140733447316224 139766046972216 4400069 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1643.94
Current children cumulated vsize (KiB) 1169728

[startup+882.3 s]
/proc/loadavg: 3.99 3.98 3.91 5/183 4023
/proc/meminfo: memFree=27223328/32873844 swapFree=7380/7380
[pid=3969] ppid=3967 vsize=1235440 CPUtime=1763.93 cores=0,2,4,6
/proc/3969/stat : 3969 (pwbo2.02) S 3967 3969 2131 0 -1 4202496 303891 0 0 0 176118 275 0 0 20 0 3 0 331580971 1265090560 295599 33554432000 4194304 5964478 140733447316224 140733447315744 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3969/statm: 308860 295599 203 433 0 308424 0
[pid=3969/tid=3971] ppid=3967 vsize=1235440 CPUtime=882.07 cores=0,2,4,6
/proc/3969/task/3971/stat : 3971 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 85462 0 0 0 88089 118 0 0 20 0 3 0 331580981 1265090560 295599 33554432000 4194304 5964478 140733447316224 139766057461752 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3969/tid=3972] ppid=3967 vsize=1235440 CPUtime=881.96 cores=0,2,4,6
/proc/3969/task/3972/stat : 3972 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 214878 0 0 0 88013 183 0 0 20 0 3 0 331580981 1265090560 295599 33554432000 4194304 5964478 140733447316224 139766046972216 4400067 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1763.93
Current children cumulated vsize (KiB) 1235440



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.4 s]
/proc/loadavg: 3.99 3.98 3.91 5/183 4023
/proc/meminfo: memFree=27191024/32873844 swapFree=7380/7380
[pid=3969] ppid=3967 vsize=1302192 CPUtime=1800.13 cores=0,2,4,6
/proc/3969/stat : 3969 (pwbo2.02) S 3967 3969 2131 0 -1 4202496 311765 0 0 0 179732 281 0 0 20 0 3 0 331580971 1333444608 303586 33554432000 4194304 5964478 140733447316224 140733447315744 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3969/statm: 325548 303586 203 433 0 325112 0
[pid=3969/tid=3971] ppid=3967 vsize=1302192 CPUtime=900.18 cores=0,2,4,6
/proc/3969/task/3971/stat : 3971 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 86514 0 0 0 89898 120 0 0 20 0 3 0 331580981 1333444608 303586 33554432000 4194304 5964478 140733447316224 139766057461752 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3969/tid=3972] ppid=3967 vsize=1302192 CPUtime=900.07 cores=0,2,4,6
/proc/3969/task/3972/stat : 3972 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 221700 0 0 0 89819 188 0 0 20 0 3 0 331580981 1333444608 303586 33554432000 4194304 5964478 140733447316224 139766046972216 4400097 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 1302192

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

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

Child status: 0
Real time (s): 900.442
CPU time (s): 1800.41
CPU user time (s): 1797.28
CPU system time (s): 3.13452
CPU usage (%): 199.947
Max. virtual memory (cumulated for all children) (KiB): 1302192

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.28
system time used= 3.13452
maximum resident set size= 1214360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 311769
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= 1507
involuntary context switches= 2468

runsolver used 1.9427 second user time and 4.94425 second system time

The end

Launcher Data

Begin job on node133 at 2012-06-02 18:29:22
IDJOB=3725929
IDBENCH=2251
IDSOLVER=2309
FILE ID=node133/3725929-1338654562
RUNJOBID= node133-1338651663-3449
PBS_JOBID= 14636447
Free space on /tmp= 70480 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-2.opb
COMMAND LINE= pwbo2.02 -file-format=opb -verbosity=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3725929-1338654562/watcher-3725929-1338654562 -o /tmp/evaluation-result-3725929-1338654562/solver-3725929-1338654562 -C 1800 -W 1900 -M 15500  pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3725929-1338654562.opb

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

MD5SUM BENCH= aabc023158e10c9511062af8ac97c515
RANDOM SEED=1362043106

node133.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28350308 kB
Buffers:          360452 kB
Cached:          2666632 kB
SwapCached:          676 kB
Active:          1940612 kB
Inactive:        1711012 kB
Active(anon):     615692 kB
Inactive(anon):    10240 kB
Active(file):    1324920 kB
Inactive(file):  1700772 kB
Unevictable:        7380 kB
Mlocked:            7380 kB
SwapTotal:      67108856 kB
SwapFree:       67107040 kB
Dirty:              6768 kB
Writeback:             8 kB
AnonPages:        630032 kB
Mapped:            11580 kB
Shmem:                 0 kB
Slab:             732248 kB
SReclaimable:     174256 kB
SUnreclaim:       557992 kB
KernelStack:        1480 kB
PageTables:         4908 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     168672 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:    380928 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70472 MiB
End job on node133 at 2012-06-02 18:44:24