Trace number 3703458

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
pwbo 2.0SAT (TO)4000 1800.05 900.633

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-lp4l.opb
MD5SUM8d2c17131f0dd6c2b5d472cf1eef4c89
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2967
Best CPU time to get the best result obtained on this benchmark0.208968
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2967
Optimality of the best value was proved YES
Number of variables1086
Total number of constraints85
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)84
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint4
Maximum length of a constraint1086
Number of terms in the objective function 1086
Biggest coefficient in the objective function 283
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 197191
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 283
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 197191
Number of bits of the biggest sum of numbers18
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

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

Verifier Data 

OK	4000

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-3703458-1338085847/watcher-3703458-1338085847 -o /tmp/evaluation-result-3703458-1338085847/solver-3703458-1338085847 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703458-1338085847.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: 0.98 1.01 1.28 3/174 31116
/proc/meminfo: memFree=31582772/32873844 swapFree=7112/7112
[pid=31116] ppid=31112 vsize=4640 CPUtime=0 cores=0,2,4,6
/proc/31116/stat : 31116 (pwbo2.0) R 31112 31116 31075 0 -1 4202496 488 0 0 0 0 0 0 0 20 0 1 0 274709582 4751360 440 33554432000 4194304 5965102 140735763546112 140733884795480 5137146 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/31116/statm: 1160 445 170 433 0 712 0

[startup+0.0466051 s]
/proc/loadavg: 0.98 1.01 1.28 3/174 31116
/proc/meminfo: memFree=31582772/32873844 swapFree=7112/7112
[pid=31116] ppid=31112 vsize=164244 CPUtime=0.07 cores=0,2,4,6
/proc/31116/stat : 31116 (pwbo2.0) S 31112 31116 31075 0 -1 4202496 2138 0 0 0 7 0 0 0 20 0 3 0 274709582 168185856 2014 33554432000 4194304 5965102 140735763546112 140735763545632 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31116/statm: 41061 2014 199 433 0 40625 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 164244

[startup+0.100215 s]
/proc/loadavg: 0.98 1.01 1.28 3/174 31116
/proc/meminfo: memFree=31582772/32873844 swapFree=7112/7112
[pid=31116] ppid=31112 vsize=164244 CPUtime=0.18 cores=0,2,4,6
/proc/31116/stat : 31116 (pwbo2.0) S 31112 31116 31075 0 -1 4202496 3389 0 0 0 18 0 0 0 20 0 3 0 274709582 168185856 2792 33554432000 4194304 5965102 140735763546112 140735763545632 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31116/statm: 41061 2792 199 433 0 40625 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 164244

[startup+0.300221 s]
/proc/loadavg: 0.98 1.01 1.28 3/174 31116
/proc/meminfo: memFree=31582772/32873844 swapFree=7112/7112
[pid=31116] ppid=31112 vsize=164244 CPUtime=0.57 cores=0,2,4,6
/proc/31116/stat : 31116 (pwbo2.0) S 31112 31116 31075 0 -1 4202496 6986 0 0 0 57 0 0 0 20 0 3 0 274709582 168185856 4672 33554432000 4194304 5965102 140735763546112 140735763545632 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31116/statm: 41061 4672 200 433 0 40625 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 164244

[startup+0.700215 s]
/proc/loadavg: 0.98 1.01 1.28 3/174 31116
/proc/meminfo: memFree=31582772/32873844 swapFree=7112/7112
[pid=31116] ppid=31112 vsize=164244 CPUtime=1.38 cores=0,2,4,6
/proc/31116/stat : 31116 (pwbo2.0) S 31112 31116 31075 0 -1 4202496 12067 0 0 0 136 2 0 0 20 0 3 0 274709582 168185856 7424 33554432000 4194304 5965102 140735763546112 140735763545632 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31116/statm: 41061 7424 200 433 0 40625 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 164244

[startup+1.50025 s]
/proc/loadavg: 0.98 1.01 1.28 5/182 31124
/proc/meminfo: memFree=31518460/32873844 swapFree=7112/7112
[pid=31116] ppid=31112 vsize=164244 CPUtime=2.97 cores=0,2,4,6
/proc/31116/stat : 31116 (pwbo2.0) S 31112 31116 31075 0 -1 4202496 19479 0 0 0 293 4 0 0 20 0 3 0 274709582 168185856 10672 33554432000 4194304 5965102 140735763546112 140735763545632 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31116/statm: 41061 10672 200 433 0 40625 0
[pid=31116/tid=31123] ppid=31112 vsize=164244 CPUtime=1.46 cores=0,2,4,6
/proc/31116/task/31123/stat : 31123 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 15166 0 0 0 143 3 0 0 20 0 3 0 274709582 168185856 10672 33554432000 4194304 5965102 140735763546112 140278942292504 5139791 0 0 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=31116/tid=31124] ppid=31112 vsize=164244 CPUtime=1.47 cores=0,2,4,6
/proc/31116/task/31124/stat : 31124 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 3285 0 0 0 147 0 0 0 20 0 3 0 274709582 168185856 10672 33554432000 4194304 5965102 140735763546112 140278931802424 4383069 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 164244

[startup+3.10024 s]
/proc/loadavg: 0.98 1.01 1.28 5/182 31124
/proc/meminfo: memFree=31490932/32873844 swapFree=7112/7112
[pid=31116] ppid=31112 vsize=164244 CPUtime=6.14 cores=0,2,4,6
/proc/31116/stat : 31116 (pwbo2.0) S 31112 31116 31075 0 -1 4202496 32346 0 0 0 608 6 0 0 20 0 3 0 274709582 168185856 15520 33554432000 4194304 5965102 140735763546112 140735763545632 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31116/statm: 41061 15520 200 433 0 40625 0
[pid=31116/tid=31123] ppid=31112 vsize=164244 CPUtime=3.05 cores=0,2,4,6
/proc/31116/task/31123/stat : 31123 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 26271 0 0 0 300 5 0 0 20 0 3 0 274709582 168185856 15520 33554432000 4194304 5965102 140735763546112 140278942292808 18446744073699066235 0 0 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=31116/tid=31124] ppid=31112 vsize=164244 CPUtime=3.07 cores=0,2,4,6
/proc/31116/task/31124/stat : 31124 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 5047 0 0 0 306 1 0 0 20 0 3 0 274709582 168185856 15520 33554432000 4194304 5965102 140735763546112 140278931802424 4401143 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 164244

[startup+6.30023 s]
/proc/loadavg: 1.22 1.06 1.29 5/182 31124
/proc/meminfo: memFree=31423040/32873844 swapFree=7112/7112
[pid=31116] ppid=31112 vsize=164244 CPUtime=12.5 cores=0,2,4,6
/proc/31116/stat : 31116 (pwbo2.0) S 31112 31116 31075 0 -1 4202496 51089 0 0 0 1240 10 0 0 20 0 3 0 274709582 168185856 22790 33554432000 4194304 5965102 140735763546112 140735763545632 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31116/statm: 41061 22790 200 433 0 40625 0
[pid=31116/tid=31123] ppid=31112 vsize=164244 CPUtime=6.21 cores=0,2,4,6
/proc/31116/task/31123/stat : 31123 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 43570 0 0 0 613 8 0 0 20 0 3 0 274709582 168185856 22790 33554432000 4194304 5965102 140735763546112 140278942292808 18446744073699066235 0 0 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=31116/tid=31124] ppid=31112 vsize=164244 CPUtime=6.26 cores=0,2,4,6
/proc/31116/task/31124/stat : 31124 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 6491 0 0 0 624 2 0 0 20 0 3 0 274709582 168185856 22790 33554432000 4194304 5965102 140735763546112 140278931802472 4222416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 164244

[startup+12.7002 s]
/proc/loadavg: 1.44 1.11 1.30 5/182 31124
/proc/meminfo: memFree=31323976/32873844 swapFree=7112/7112
[pid=31116] ppid=31112 vsize=229820 CPUtime=25.19 cores=0,2,4,6
/proc/31116/stat : 31116 (pwbo2.0) S 31112 31116 31075 0 -1 4202496 66866 0 0 0 2504 15 0 0 20 0 3 0 274709582 235335680 35380 33554432000 4194304 5965102 140735763546112 140735763545632 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31116/statm: 57455 35380 200 433 0 57019 0
[pid=31116/tid=31123] ppid=31112 vsize=229820 CPUtime=12.54 cores=0,2,4,6
/proc/31116/task/31123/stat : 31123 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 54377 0 0 0 1243 11 0 0 20 0 3 0 274709582 235335680 35380 33554432000 4194304 5965102 140735763546112 140278942292312 5136313 0 0 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=31116/tid=31124] ppid=31112 vsize=229820 CPUtime=12.64 cores=0,2,4,6
/proc/31116/task/31124/stat : 31124 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 11461 0 0 0 1260 4 0 0 20 0 3 0 274709582 235335680 35380 33554432000 4194304 5965102 140735763546112 140278931802424 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.19
Current children cumulated vsize (KiB) 229820

[startup+25.5002 s]
/proc/loadavg: 2.01 1.25 1.35 5/181 31124
/proc/meminfo: memFree=31203716/32873844 swapFree=7112/7112
[pid=31116] ppid=31112 vsize=305216 CPUtime=50.66 cores=0,2,4,6
/proc/31116/stat : 31116 (pwbo2.0) S 31112 31116 31075 0 -1 4202496 78415 0 0 0 5047 19 0 0 20 0 3 0 274709582 312541184 46061 33554432000 4194304 5965102 140735763546112 140735763545632 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31116/statm: 76304 46061 200 433 0 75868 0
[pid=31116/tid=31123] ppid=31112 vsize=305216 CPUtime=25.23 cores=0,2,4,6
/proc/31116/task/31123/stat : 31123 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 59164 0 0 0 2511 12 0 0 20 0 3 0 274709582 312541184 46061 33554432000 4194304 5965102 140735763546112 140278942292920 4400960 0 0 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=31116/tid=31124] ppid=31112 vsize=305216 CPUtime=25.41 cores=0,2,4,6
/proc/31116/task/31124/stat : 31124 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 18223 0 0 0 2534 7 0 0 20 0 3 0 274709582 312541184 46061 33554432000 4194304 5965102 140735763546112 140278931802472 4401127 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 305216

[startup+51.1003 s]
/proc/loadavg: 2.74 1.49 1.42 5/181 31124
/proc/meminfo: memFree=31061780/32873844 swapFree=7112/7112
[pid=31116] ppid=31112 vsize=361156 CPUtime=101.55 cores=0,2,4,6
/proc/31116/stat : 31116 (pwbo2.0) S 31112 31116 31075 0 -1 4202496 89073 0 0 0 10133 22 0 0 20 0 3 0 274709582 369823744 60058 33554432000 4194304 5965102 140735763546112 140735763545632 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31116/statm: 90289 60058 200 433 0 89853 0
[pid=31116/tid=31123] ppid=31112 vsize=361156 CPUtime=50.61 cores=0,2,4,6
/proc/31116/task/31123/stat : 31123 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 66910 0 0 0 5047 14 0 0 20 0 3 0 274709582 369823744 60058 33554432000 4194304 5965102 140735763546112 140278942292312 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=31116/tid=31124] ppid=31112 vsize=361156 CPUtime=50.94 cores=0,2,4,6
/proc/31116/task/31124/stat : 31124 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 21135 0 0 0 5086 8 0 0 20 0 3 0 274709582 369823744 60058 33554432000 4194304 5965102 140735763546112 140278931802776 4404732 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 101.55
Current children cumulated vsize (KiB) 361156

[startup+102.307 s]
/proc/loadavg: 3.45 1.87 1.55 5/182 31125
/proc/meminfo: memFree=30845496/32873844 swapFree=7112/7112
[pid=31116] ppid=31112 vsize=426836 CPUtime=203.92 cores=0,2,4,6
/proc/31116/stat : 31116 (pwbo2.0) S 31112 31116 31075 0 -1 4202496 102708 0 0 0 20365 27 0 0 20 0 3 0 274709582 437080064 76245 33554432000 4194304 5965102 140735763546112 140735763545632 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31116/statm: 106709 76245 200 433 0 106273 0
[pid=31116/tid=31123] ppid=31112 vsize=426836 CPUtime=101.67 cores=0,2,4,6
/proc/31116/task/31123/stat : 31123 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 76332 0 0 0 10149 18 0 0 20 0 3 0 274709582 437080064 76245 33554432000 4194304 5965102 140735763546112 140278942292296 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=31116/tid=31124] ppid=31112 vsize=426836 CPUtime=102.01 cores=0,2,4,6
/proc/31116/task/31124/stat : 31124 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 25348 0 0 0 10189 12 0 0 20 0 3 0 274709582 437080064 76245 33554432000 4194304 5965102 140735763546112 140278931802424 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 203.92
Current children cumulated vsize (KiB) 426836

[startup+162.3 s]
/proc/loadavg: 3.80 2.26 1.70 5/181 31125
/proc/meminfo: memFree=30664144/32873844 swapFree=7112/7112
[pid=31116] ppid=31112 vsize=427424 CPUtime=323.88 cores=0,2,4,6
/proc/31116/stat : 31116 (pwbo2.0) S 31112 31116 31075 0 -1 4202496 121068 0 0 0 32354 34 0 0 20 0 3 0 274709582 437682176 95147 33554432000 4194304 5965102 140735763546112 140735763545632 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31116/statm: 106856 95147 200 433 0 106420 0
[pid=31116/tid=31123] ppid=31112 vsize=427424 CPUtime=161.49 cores=0,2,4,6
/proc/31116/task/31123/stat : 31123 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 87958 0 0 0 16128 21 0 0 20 0 3 0 274709582 437682176 95147 33554432000 4194304 5965102 140735763546112 140278942292328 4401127 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=31116/tid=31124] ppid=31112 vsize=427424 CPUtime=161.85 cores=0,2,4,6
/proc/31116/task/31124/stat : 31124 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 32082 0 0 0 16169 16 0 0 20 0 3 0 274709582 437682176 95147 33554432000 4194304 5965102 140735763546112 140278931802456 4401149 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 323.88
Current children cumulated vsize (KiB) 427424

[startup+222.3 s]
/proc/loadavg: 3.92 2.57 1.84 5/180 31125
/proc/meminfo: memFree=30553296/32873844 swapFree=7112/7112
[pid=31116] ppid=31112 vsize=492960 CPUtime=443.83 cores=0,2,4,6
/proc/31116/stat : 31116 (pwbo2.0) S 31112 31116 31075 0 -1 4202496 125591 0 0 0 44348 35 0 0 20 0 3 0 274709582 504791040 101603 33554432000 4194304 5965102 140735763546112 140735763545632 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31116/statm: 123240 101603 200 433 0 122804 0
[pid=31116/tid=31123] ppid=31112 vsize=492960 CPUtime=221.3 cores=0,2,4,6
/proc/31116/task/31123/stat : 31123 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 92475 0 0 0 22107 23 0 0 20 0 3 0 274709582 504791040 101603 33554432000 4194304 5965102 140735763546112 140278942292296 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=31116/tid=31124] ppid=31112 vsize=492960 CPUtime=221.69 cores=0,2,4,6
/proc/31116/task/31124/stat : 31124 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 32088 0 0 0 22152 17 0 0 20 0 3 0 274709582 504791040 101603 33554432000 4194304 5965102 140735763546112 140278931802456 4400955 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 443.83
Current children cumulated vsize (KiB) 492960

[startup+282.3 s]
/proc/loadavg: 3.97 2.83 1.98 5/181 31126
/proc/meminfo: memFree=30464836/32873844 swapFree=7112/7112
[pid=31116] ppid=31112 vsize=558664 CPUtime=563.77 cores=0,2,4,6
/proc/31116/stat : 31116 (pwbo2.0) S 31112 31116 31075 0 -1 4202496 135472 0 0 0 56339 38 0 0 20 0 3 0 274709582 572071936 112813 33554432000 4194304 5965102 140735763546112 140735763545632 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31116/statm: 139666 112813 200 433 0 139230 0
[pid=31116/tid=31123] ppid=31112 vsize=558664 CPUtime=281.11 cores=0,2,4,6
/proc/31116/task/31123/stat : 31123 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 102306 0 0 0 28084 27 0 0 20 0 3 0 274709582 572071936 112813 33554432000 4194304 5965102 140735763546112 140278942292328 4220672 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=31116/tid=31124] ppid=31112 vsize=558664 CPUtime=281.51 cores=0,2,4,6
/proc/31116/task/31124/stat : 31124 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 32138 0 0 0 28133 18 0 0 20 0 3 0 274709582 572071936 112813 33554432000 4194304 5965102 140735763546112 140278931802184 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 563.77
Current children cumulated vsize (KiB) 558664

[startup+342.3 s]
/proc/loadavg: 3.99 3.04 2.10 5/181 31126
/proc/meminfo: memFree=30399392/32873844 swapFree=7112/7112
[pid=31116] ppid=31112 vsize=624504 CPUtime=683.69 cores=0,2,4,6
/proc/31116/stat : 31116 (pwbo2.0) S 31112 31116 31075 0 -1 4202496 140082 0 0 0 68327 42 0 0 20 0 3 0 274709582 639492096 117410 33554432000 4194304 5965102 140735763546112 140735763545632 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31116/statm: 156126 117410 200 433 0 155690 0
[pid=31116/tid=31123] ppid=31112 vsize=624504 CPUtime=340.95 cores=0,2,4,6
/proc/31116/task/31123/stat : 31123 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 102501 0 0 0 34067 28 0 0 20 0 3 0 274709582 639492096 117410 33554432000 4194304 5965102 140735763546112 140278942292328 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=31116/tid=31124] ppid=31112 vsize=624504 CPUtime=341.3 cores=0,2,4,6
/proc/31116/task/31124/stat : 31124 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 36553 0 0 0 34107 23 0 0 20 0 3 0 274709582 639492096 117410 33554432000 4194304 5965102 140735763546112 140278931802472 4220678 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 683.69
Current children cumulated vsize (KiB) 624504

[startup+402.3 s]
/proc/loadavg: 3.99 3.21 2.22 5/181 31126
/proc/meminfo: memFree=30298680/32873844 swapFree=7112/7112
[pid=31116] ppid=31112 vsize=624692 CPUtime=803.64 cores=0,2,4,6
/proc/31116/stat : 31116 (pwbo2.0) S 31112 31116 31075 0 -1 4202496 156546 0 0 0 80315 49 0 0 20 0 3 0 274709582 639684608 136563 33554432000 4194304 5965102 140735763546112 140735763545632 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31116/statm: 156173 136563 200 433 0 155737 0
[pid=31116/tid=31123] ppid=31112 vsize=624692 CPUtime=400.76 cores=0,2,4,6
/proc/31116/task/31123/stat : 31123 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 115423 0 0 0 40042 34 0 0 20 0 3 0 274709582 639684608 136563 33554432000 4194304 5965102 140735763546112 140278942292328 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=31116/tid=31124] ppid=31112 vsize=624692 CPUtime=401.14 cores=0,2,4,6
/proc/31116/task/31124/stat : 31124 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 40095 0 0 0 40088 26 0 0 20 0 3 0 274709582 639684608 136563 33554432000 4194304 5965102 140735763546112 140278931802424 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 803.64
Current children cumulated vsize (KiB) 624692

[startup+462.3 s]
/proc/loadavg: 3.99 3.35 2.33 5/181 31126
/proc/meminfo: memFree=30222600/32873844 swapFree=7112/7112
[pid=31116] ppid=31112 vsize=690388 CPUtime=923.62 cores=0,2,4,6
/proc/31116/stat : 31116 (pwbo2.0) S 31112 31116 31075 0 -1 4202496 167614 0 0 0 92308 54 0 0 20 0 3 0 274709582 706957312 147467 33554432000 4194304 5965102 140735763546112 140735763545632 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31116/statm: 172597 147467 200 433 0 172161 0
[pid=31116/tid=31123] ppid=31112 vsize=690388 CPUtime=460.6 cores=0,2,4,6
/proc/31116/task/31123/stat : 31123 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 117565 0 0 0 46026 34 0 0 20 0 3 0 274709582 706957312 147467 33554432000 4194304 5965102 140735763546112 140278942292296 5135184 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=31116/tid=31124] ppid=31112 vsize=690388 CPUtime=460.99 cores=0,2,4,6
/proc/31116/task/31124/stat : 31124 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 49021 0 0 0 46067 32 0 0 20 0 3 0 274709582 706957312 147467 33554432000 4194304 5965102 140735763546112 140278931802456 4389386 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 923.62
Current children cumulated vsize (KiB) 690388

[startup+522.3 s]
/proc/loadavg: 4.07 3.48 2.43 5/181 31126
/proc/meminfo: memFree=30210336/32873844 swapFree=7112/7112
[pid=31116] ppid=31112 vsize=690388 CPUtime=1043.6 cores=0,2,4,6
/proc/31116/stat : 31116 (pwbo2.0) S 31112 31116 31075 0 -1 4202496 167616 0 0 0 104306 54 0 0 20 0 3 0 274709582 706957312 147469 33554432000 4194304 5965102 140735763546112 140735763545632 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31116/statm: 172597 147469 200 433 0 172161 0
[pid=31116/tid=31123] ppid=31112 vsize=690388 CPUtime=520.44 cores=0,2,4,6
/proc/31116/task/31123/stat : 31123 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 117566 0 0 0 52009 35 0 0 20 0 3 0 274709582 706957312 147469 33554432000 4194304 5965102 140735763546112 140278942292296 4401114 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=31116/tid=31124] ppid=31112 vsize=690388 CPUtime=520.83 cores=0,2,4,6
/proc/31116/task/31124/stat : 31124 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 49022 0 0 0 52051 32 0 0 20 0 3 0 274709582 706957312 147469 33554432000 4194304 5965102 140735763546112 140278931802456 4401127 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1043.6
Current children cumulated vsize (KiB) 690388

[startup+582.3 s]
/proc/loadavg: 4.02 3.57 2.53 5/182 31130
/proc/meminfo: memFree=30144904/32873844 swapFree=7112/7112
[pid=31116] ppid=31112 vsize=690388 CPUtime=1163.57 cores=0,2,4,6
/proc/31116/stat : 31116 (pwbo2.0) S 31112 31116 31075 0 -1 4202496 180224 0 0 0 116298 59 0 0 20 0 3 0 274709582 706957312 161679 33554432000 4194304 5965102 140735763546112 140735763545632 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31116/statm: 172597 161679 200 433 0 172161 0
[pid=31116/tid=31123] ppid=31112 vsize=690388 CPUtime=580.28 cores=0,2,4,6
/proc/31116/task/31123/stat : 31123 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 130174 0 0 0 57987 41 0 0 20 0 3 0 274709582 706957312 161679 33554432000 4194304 5965102 140735763546112 140278942292328 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=31116/tid=31124] ppid=31112 vsize=690388 CPUtime=580.67 cores=0,2,4,6
/proc/31116/task/31124/stat : 31124 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 49022 0 0 0 58034 33 0 0 20 0 3 0 274709582 706957312 161679 33554432000 4194304 5965102 140735763546112 140278931802456 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1163.57
Current children cumulated vsize (KiB) 690388

[startup+642.3 s]
/proc/loadavg: 4.01 3.65 2.62 5/181 31130
/proc/meminfo: memFree=30089488/32873844 swapFree=7112/7112
[pid=31116] ppid=31112 vsize=690548 CPUtime=1283.56 cores=0,2,4,6
/proc/31116/stat : 31116 (pwbo2.0) S 31112 31116 31075 0 -1 4202496 180286 0 0 0 128297 59 0 0 20 0 3 0 274709582 707121152 161741 33554432000 4194304 5965102 140735763546112 140735763545632 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31116/statm: 172637 161741 200 433 0 172201 0
[pid=31116/tid=31123] ppid=31112 vsize=690548 CPUtime=640.13 cores=0,2,4,6
/proc/31116/task/31123/stat : 31123 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 130174 0 0 0 63971 42 0 0 20 0 3 0 274709582 707121152 161741 33554432000 4194304 5965102 140735763546112 140278942292328 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=31116/tid=31124] ppid=31112 vsize=690548 CPUtime=640.52 cores=0,2,4,6
/proc/31116/task/31124/stat : 31124 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 49084 0 0 0 64018 34 0 0 20 0 3 0 274709582 707121152 161741 33554432000 4194304 5965102 140735763546112 140278931802184 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1283.56
Current children cumulated vsize (KiB) 690548

[startup+702.3 s]
/proc/loadavg: 4.00 3.71 2.70 5/181 31130
/proc/meminfo: memFree=30060324/32873844 swapFree=7112/7112
[pid=31116] ppid=31112 vsize=690948 CPUtime=1403.53 cores=0,2,4,6
/proc/31116/stat : 31116 (pwbo2.0) S 31112 31116 31075 0 -1 4202496 180429 0 0 0 140294 59 0 0 20 0 3 0 274709582 707530752 161884 33554432000 4194304 5965102 140735763546112 140735763545632 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31116/statm: 172737 161884 200 433 0 172301 0
[pid=31116/tid=31123] ppid=31112 vsize=690948 CPUtime=699.96 cores=0,2,4,6
/proc/31116/task/31123/stat : 31123 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 130237 0 0 0 69953 43 0 0 20 0 3 0 274709582 707530752 161884 33554432000 4194304 5965102 140735763546112 140278942292328 4401155 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=31116/tid=31124] ppid=31112 vsize=690948 CPUtime=700.36 cores=0,2,4,6
/proc/31116/task/31124/stat : 31124 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 49164 0 0 0 70001 35 0 0 20 0 3 0 274709582 707530752 161884 33554432000 4194304 5965102 140735763546112 140278931802184 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1403.53
Current children cumulated vsize (KiB) 690948

[startup+762.307 s]
/proc/loadavg: 4.00 3.76 2.78 5/181 31130
/proc/meminfo: memFree=29965168/32873844 swapFree=7112/7112
[pid=31116] ppid=31112 vsize=822180 CPUtime=1523.51 cores=0,2,4,6
/proc/31116/stat : 31116 (pwbo2.0) S 31112 31116 31075 0 -1 4202496 198764 0 0 0 152282 69 0 0 20 0 3 0 274709582 841912320 182773 33554432000 4194304 5965102 140735763546112 140735763545632 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31116/statm: 205545 182773 200 433 0 205109 0
[pid=31116/tid=31123] ppid=31112 vsize=822180 CPUtime=759.8 cores=0,2,4,6
/proc/31116/task/31123/stat : 31123 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 147879 0 0 0 75927 53 0 0 20 0 3 0 274709582 841912320 182773 33554432000 4194304 5965102 140735763546112 140278942292296 4401127 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=31116/tid=31124] ppid=31112 vsize=822180 CPUtime=760.21 cores=0,2,4,6
/proc/31116/task/31124/stat : 31124 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 49857 0 0 0 75984 37 0 0 20 0 3 0 274709582 841912320 182773 33554432000 4194304 5965102 140735763546112 140278931802424 4382677 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1523.51
Current children cumulated vsize (KiB) 822180

[startup+822.3 s]
/proc/loadavg: 4.00 3.80 2.85 5/181 31130
/proc/meminfo: memFree=29945448/32873844 swapFree=7112/7112
[pid=31116] ppid=31112 vsize=822180 CPUtime=1643.48 cores=0,2,4,6
/proc/31116/stat : 31116 (pwbo2.0) S 31112 31116 31075 0 -1 4202496 198775 0 0 0 164279 69 0 0 20 0 3 0 274709582 841912320 182784 33554432000 4194304 5965102 140735763546112 140735763545632 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31116/statm: 205545 182784 200 433 0 205109 0
[pid=31116/tid=31123] ppid=31112 vsize=822180 CPUtime=819.64 cores=0,2,4,6
/proc/31116/task/31123/stat : 31123 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 147879 0 0 0 81910 54 0 0 20 0 3 0 274709582 841912320 182784 33554432000 4194304 5965102 140735763546112 140278942292296 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=31116/tid=31124] ppid=31112 vsize=822180 CPUtime=820.04 cores=0,2,4,6
/proc/31116/task/31124/stat : 31124 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 49868 0 0 0 81966 38 0 0 20 0 3 0 274709582 841912320 182784 33554432000 4194304 5965102 140735763546112 140278931802424 4400978 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1643.48
Current children cumulated vsize (KiB) 822180

[startup+882.3 s]
/proc/loadavg: 4.00 3.83 2.92 5/181 31131
/proc/meminfo: memFree=29920424/32873844 swapFree=7112/7112
[pid=31116] ppid=31112 vsize=887716 CPUtime=1763.45 cores=0,2,4,6
/proc/31116/stat : 31116 (pwbo2.0) S 31112 31116 31075 0 -1 4202496 204915 0 0 0 176272 73 0 0 20 0 3 0 274709582 909021184 189066 33554432000 4194304 5965102 140735763546112 140735763545632 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31116/statm: 221929 189066 200 433 0 221493 0
[pid=31116/tid=31123] ppid=31112 vsize=887716 CPUtime=879.48 cores=0,2,4,6
/proc/31116/task/31123/stat : 31123 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 147881 0 0 0 87893 55 0 0 20 0 3 0 274709582 909021184 189066 33554432000 4194304 5965102 140735763546112 140278942292296 4401107 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=31116/tid=31124] ppid=31112 vsize=887716 CPUtime=879.89 cores=0,2,4,6
/proc/31116/task/31124/stat : 31124 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 56006 0 0 0 87946 43 0 0 20 0 3 0 274709582 909021184 189066 33554432000 4194304 5965102 140735763546112 140278931802424 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1763.45
Current children cumulated vsize (KiB) 887716



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.6 s]
/proc/loadavg: 4.00 3.84 2.94 3/177 31132
/proc/meminfo: memFree=30823864/32873844 swapFree=7112/7112
[pid=31116] ppid=31112 vsize=887716 CPUtime=1800.05 cores=0,2,4,6
/proc/31116/stat : 31116 (pwbo2.0) S 31112 31116 31075 0 -1 4202496 204986 0 0 0 179931 74 0 0 20 0 3 0 274709582 909021184 189156 33554432000 4194304 5965102 140735763546112 140735763545632 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31116/statm: 221929 189156 200 433 0 221493 0
[pid=31116/tid=31123] ppid=31112 vsize=887716 CPUtime=897.72 cores=0,2,4,6
/proc/31116/task/31123/stat : 31123 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 147952 0 0 0 89717 55 0 0 20 0 3 0 274709582 909021184 189156 33554432000 4194304 5965102 140735763546112 140278942292296 4401026 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=31116/tid=31124] ppid=31112 vsize=887716 CPUtime=898.14 cores=0,2,4,6
/proc/31116/task/31124/stat : 31124 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 56006 0 0 0 89771 43 0 0 20 0 3 0 274709582 909021184 189156 33554432000 4194304 5965102 140735763546112 140278931802424 4401120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 887716

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

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

Child status: 0

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

Real time (s): 900.633
CPU time (s): 1800.05
CPU user time (s): 1799.31
CPU system time (s): 0.74
CPU usage (%): 199.865
Max. virtual memory (cumulated for all children) (KiB): 887716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.91
system time used= 1.02284
maximum resident set size= 756632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 204988
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= 479
involuntary context switches= 2727

runsolver used 1.23281 second user time and 6.03308 second system time

The end

Launcher Data 

Begin job on node142 at 2012-05-27 04:30:47
IDJOB=3703458
IDBENCH=1856
IDSOLVER=2279
FILE ID=node142/3703458-1338085847
RUNJOBID= node142-1338085847-31091
PBS_JOBID= 14624428
Free space on /tmp= 71696 MiB

SOLVER NAME= pwbo 2.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-lp4l.opb
COMMAND LINE= pwbo2.0 -file-format=opb -verbosity=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3703458-1338085847/watcher-3703458-1338085847 -o /tmp/evaluation-result-3703458-1338085847/solver-3703458-1338085847 -C 1800 -W 1900 -M 15500  pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703458-1338085847.opb

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

MD5SUM BENCH= 8d2c17131f0dd6c2b5d472cf1eef4c89
RANDOM SEED=1880678203

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
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.776
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:        31583788 kB
Buffers:          258420 kB
Cached:           217568 kB
SwapCached:            0 kB
Active:           422676 kB
Inactive:          64240 kB
Active(anon):       2076 kB
Inactive(anon):    11212 kB
Active(file):     420600 kB
Inactive(file):    53028 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             10904 kB
Writeback:             0 kB
AnonPages:         17964 kB
Mapped:            10904 kB
Shmem:               200 kB
Slab:             663056 kB
SReclaimable:     104844 kB
SUnreclaim:       558212 kB
KernelStack:        1416 kB
PageTables:         4220 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     103972 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71684 MiB
End job on node142 at 2012-05-27 04:45:50