Trace number 3500421

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 1.1SAT (TO)137 1800.08 900.041

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-test1.r.opb
MD5SUM8e6ac0bad8d074da12c63269189a8260
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark110
Best CPU time to get the best result obtained on this benchmark0.12498
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 110
Optimality of the best value was proved YES
Number of variables2091
Total number of constraints362
Number of constraints which are clauses362
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 constraint3
Maximum length of a constraint48
Number of terms in the objective function 2091
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 2091
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2091
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c pwbo 1.1 beta - 20110321
0.00/0.00	c Parsing opb file format. File HOME/instance-3500421-1307995008.opb.
0.00/0.00	c Instance file HOME/instance-3500421-1307995008.opb
0.00/0.00	c File size is 60474 bytes.
0.00/0.00	c Highest Coefficient sum: 49
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.00         s                                      |
0.00/0.00	c |  Number Variables:      2091                                                |
0.00/0.00	c |  Number Clauses:        362                                                 |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 0                                                   |
0.00/0.00	c init lb 0
0.00/0.00	c init ub 2092
0.00/0.00	c lb 1 (thread 0)
0.00/0.00	c lb 2 (thread 0)
0.00/0.01	c lb 3 (thread 0)
0.00/0.01	c lb 4 (thread 0)
0.00/0.01	c lb 5 (thread 0)
0.00/0.01	c lb 6 (thread 0)
0.00/0.01	c lb 7 (thread 0)
0.00/0.01	c lb 8 (thread 0)
0.00/0.01	c lb 9 (thread 0)
0.00/0.01	c lb 10 (thread 0)
0.00/0.02	c lb 11 (thread 0)
0.00/0.02	c lb 12 (thread 0)
0.00/0.02	c lb 13 (thread 0)
0.00/0.02	c lb 14 (thread 0)
0.00/0.02	c lb 15 (thread 0)
0.00/0.02	c lb 16 (thread 0)
0.00/0.02	c lb 17 (thread 0)
0.00/0.02	c lb 18 (thread 0)
0.00/0.03	c lb 19 (thread 0)
0.00/0.03	c lb 20 (thread 0)
0.00/0.03	c lb 21 (thread 0)
0.00/0.03	c lb 22 (thread 0)
0.00/0.03	c lb 23 (thread 0)
0.00/0.03	c lb 24 (thread 0)
0.00/0.03	c lb 25 (thread 0)
0.00/0.03	c lb 26 (thread 0)
0.06/0.04	c lb 27 (thread 0)
0.06/0.04	c lb 28 (thread 0)
0.06/0.04	c lb 29 (thread 0)
0.06/0.04	c lb 30 (thread 0)
0.06/0.04	c lb 31 (thread 0)
0.06/0.04	c lb 32 (thread 0)
0.06/0.04	c lb 33 (thread 0)
0.06/0.04	c lb 34 (thread 0)
0.06/0.05	c lb 35 (thread 0)
0.06/0.05	c lb 36 (thread 0)
0.06/0.05	c lb 37 (thread 0)
0.06/0.05	c lb 38 (thread 0)
0.06/0.05	c lb 39 (thread 0)
0.06/0.05	c lb 40 (thread 0)
0.06/0.05	c lb 41 (thread 0)
0.06/0.05	c lb 42 (thread 0)
0.06/0.06	c lb 43 (thread 0)
0.06/0.06	c lb 44 (thread 0)
0.06/0.06	c lb 45 (thread 0)
0.06/0.06	c lb 46 (thread 0)
0.06/0.06	c lb 47 (thread 0)
0.06/0.06	c lb 48 (thread 0)
0.06/0.06	c lb 49 (thread 0)
0.06/0.07	c lb 50 (thread 0)
0.06/0.07	c lb 51 (thread 0)
0.06/0.07	c lb 52 (thread 0)
0.06/0.07	c lb 53 (thread 0)
0.06/0.07	c lb 54 (thread 0)
0.06/0.07	c lb 55 (thread 0)
0.06/0.07	c lb 56 (thread 0)
0.06/0.08	c lb 57 (thread 0)
0.06/0.08	c lb 58 (thread 0)
0.06/0.08	c lb 59 (thread 0)
0.06/0.08	c lb 60 (thread 0)
0.06/0.08	c lb 61 (thread 0)
0.06/0.08	c lb 62 (thread 0)
0.06/0.08	c lb 63 (thread 0)
0.06/0.09	c lb 64 (thread 0)
0.06/0.09	c lb 65 (thread 0)
0.06/0.09	c lb 66 (thread 0)
0.06/0.09	c lb 67 (thread 0)
0.06/0.09	c lb 68 (thread 0)
0.06/0.09	c lb 69 (thread 0)
0.06/0.09	c lb 70 (thread 0)
0.06/0.10	c lb 71 (thread 0)
0.18/0.10	c lb 72 (thread 0)
0.18/0.10	c lb 73 (thread 0)
0.18/0.10	c lb 74 (thread 0)
0.18/0.10	c lb 75 (thread 0)
0.18/0.10	c lb 76 (thread 0)
0.18/0.10	c lb 77 (thread 0)
0.18/0.11	c lb 78 (thread 0)
0.18/0.11	c lb 79 (thread 0)
0.18/0.11	c lb 80 (thread 0)
0.18/0.11	c lb 81 (thread 0)
0.18/0.11	c lb 82 (thread 0)
0.18/0.11	c lb 83 (thread 0)
0.18/0.12	c lb 84 (thread 0)
0.18/0.12	c lb 85 (thread 0)
0.18/0.12	c lb 86 (thread 0)
0.18/0.12	c lb 87 (thread 0)
0.18/0.12	c lb 88 (thread 0)
0.18/0.12	c lb 89 (thread 0)
0.18/0.13	c lb 90 (thread 0)
0.18/0.13	c lb 91 (thread 0)
0.18/0.13	c lb 92 (thread 0)
0.18/0.13	c lb 93 (thread 0)
0.18/0.14	c lb 94 (thread 0)
0.18/0.17	c lb 95 (thread 0)
0.18/0.17	c ub 149 (thread 1)
0.38/0.21	o 149
0.38/0.21	c lb 96 (thread 0)
0.38/0.21	c lb 97 (thread 0)
0.58/0.33	c lb 98 (thread 0)
0.58/0.36	c lb 99 (thread 0)
8.80/4.49	c lb 100 (thread 0)
42.99/21.58	c lb 101 (thread 0)
87.18/43.66	c ub 148 (thread 1)
227.19/113.69	o 148
227.19/113.69	c lb 102 (thread 0)
243.38/121.71	c lb 103 (thread 0)
287.18/143.62	c ub 147 (thread 1)
430.19/215.11	o 147
430.19/215.11	c ub 146 (thread 1)
449.19/224.61	o 146
449.19/224.61	c lb 104 (thread 0)
492.40/246.26	c ub 145 (thread 1)
572.60/286.35	o 145
572.60/286.35	c ub 144 (thread 1)
712.81/356.48	o 144
712.81/356.48	c ub 143 (thread 1)
810.00/405.06	o 143
810.00/405.06	c ub 142 (thread 1)
871.60/435.81	o 142
871.60/435.81	c ub 141 (thread 1)
1192.22/596.20	o 141
1192.22/596.20	c ub 140 (thread 1)
1426.01/713.01	o 140
1426.01/713.01	c ub 139 (thread 1)
1556.42/778.29	o 139
1556.42/778.29	c ub 138 (thread 1)
1733.64/866.81	o 138
1733.64/866.81	c ub 137 (thread 1)
1800.04/900.01	o 137
1800.04/900.01	s SATISFIABLE
1800.04/900.01	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 -x1087 -x1088 -x1089 -x1090 -x1091 x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 x1120 -x1121 x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 x1191 -x1192 -x1193 -x1194 -x1195 x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 x1234 -x1235 -x1236 -x1237 x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 x1262 -x1263 -x1264 -x1265 x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 x1334 -x1335 -x1336 -x1337 -x1338 -x1339 x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 x1378 -x1379 x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 x1472 -x1473 -x1474 -x1475 -x1476 x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 x1547 -x1548 -x1549 -x1550 x1551 -x1552 -x1553 -x1554 x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 x1563 -x1564 -x1565 -x1566 -x1567 -x1568 x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 x1601 x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 x1649 -x1650 -x1651 x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 x1673 -x1674 -x1675 -x1676 x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 x1702 x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 x1745 -x1746 -x1747 -x1748 -x1749 -x1750 x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 x1818 -x1819 -x1820 -x1821 -x1822 -x1823 x1824 -x1825 x1826 -x1827 x1828 -x1829 -x1830 -x1831 -x1832 x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 x1857 -x1858 x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 x1904 -x1905 -x1906 -x1907 -x1908 -x1909 x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 x1965 -x1966 -x1967 -x1968 x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 x2000 -x2001 -x2002 -x2003 -x2004 x2005 -x2006 -x2007 -x2008 x2009 -x2010 -x2011 x2012 -x2013 -x2014 -x2015 x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 x2024 -x2025 -x2026 x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 x2034 -x2035 -x2036 -x2037 -x2038 x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 x2046 -x2047 x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 x2055 -x2056 -x2057 -x2058 -x2059 x2060 -x2061 -x2062 x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 x2073 -x2074 x2075 -x2076 -x2077 -x2078 -x2079 x2080 -x2081 x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 x2089 -x2090 x2091
1800.04/900.01	c Memory used           : 696.48 MB
1800.04/900.01	c CPU time              : 1787.71 s

Verifier Data 

OK	137

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 /var/tmp/evaluation-result-3500421-1307995008/watcher-3500421-1307995008 -o /var/tmp/evaluation-result-3500421-1307995008/solver-3500421-1307995008 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500421-1307995008.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 4.00 3.93 3/179 23224
/proc/meminfo: memFree=15813520/32950904 swapFree=67055440/67111528
[pid=23224] ppid=23222 vsize=4036 CPUtime=0 cores=0,2,4,6
/proc/23224/stat : 23224 (pwbo1.1) R 23222 23224 21970 0 -1 4202496 543 0 0 0 0 0 0 0 25 0 1 0 911100573 4132864 481 33554432000 4194304 5714118 140735207759968 18446744073709551615 4293688 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/23224/statm: 1127 490 162 372 0 752 0
[pid=23224/tid=23225] ppid=23222 vsize=84096 CPUtime=0 cores=0,2,4,6
/proc/23224/task/23225/stat : 23225 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 3 0 911100573 86114304 502 33554432000 4194304 5714118 140735207759968 18446744073709551615 5078151 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=23224/tid=23226] ppid=23222 vsize=70180 CPUtime=0 cores=0,2,4,6
/proc/23224/task/23226/stat : 23226 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 3 0 911100573 71864320 514 33554432000 4194304 5714118 140735207759968 18446744073709551615 5082345 0 0 4096 16387 0 0 0 -1 4 0 0 0

[startup+0.0407349 s]
/proc/loadavg: 4.00 4.00 3.93 3/179 23224
/proc/meminfo: memFree=15813520/32950904 swapFree=67055440/67111528
[pid=23224] ppid=23222 vsize=172496 CPUtime=0.06 cores=0,2,4,6
/proc/23224/stat : 23224 (pwbo1.1) S 23222 23224 21970 0 -1 4202496 8731 0 0 0 4 2 0 0 25 0 3 0 911100573 176635904 8484 33554432000 4194304 5714118 140735207759968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/23224/statm: 43124 8498 177 372 0 42749 0
[pid=23224/tid=23225] ppid=23222 vsize=172496 CPUtime=0.03 cores=0,2,4,6
/proc/23224/task/23225/stat : 23225 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 467 0 0 0 3 0 0 0 25 0 3 0 911100573 176635904 8505 33554432000 4194304 5714118 140735207759968 18446744073709551615 4336622 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=23224/tid=23226] ppid=23222 vsize=172496 CPUtime=0.03 cores=0,2,4,6
/proc/23224/task/23226/stat : 23226 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 7726 0 0 0 1 2 0 0 25 0 3 0 911100573 176635904 8511 33554432000 4194304 5714118 140735207759968 18446744073709551615 4315361 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 172496

[startup+0.100723 s]
/proc/loadavg: 4.00 4.00 3.93 3/179 23224
/proc/meminfo: memFree=15813520/32950904 swapFree=67055440/67111528
[pid=23224] ppid=23222 vsize=181008 CPUtime=0.18 cores=0,2,4,6
/proc/23224/stat : 23224 (pwbo1.1) S 23222 23224 21970 0 -1 4202496 16243 0 0 0 15 3 0 0 25 0 3 0 911100573 185352192 15666 33554432000 4194304 5714118 140735207759968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/23224/statm: 45252 15670 177 372 0 44877 0
[pid=23224/tid=23225] ppid=23222 vsize=181008 CPUtime=0.09 cores=0,2,4,6
/proc/23224/task/23225/stat : 23225 (pwbo1.1) D 23222 23224 21970 0 -1 4202560 904 0 0 0 9 0 0 0 25 0 3 0 911100573 185352192 15673 33554432000 4194304 5714118 140735207759968 18446744073709551615 5013131 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=23224/tid=23226] ppid=23222 vsize=181008 CPUtime=0.08 cores=0,2,4,6
/proc/23224/task/23226/stat : 23226 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 14783 0 0 0 5 3 0 0 25 0 3 0 911100573 185352192 15678 33554432000 4194304 5714118 140735207759968 18446744073709551615 5078183 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 181008

[startup+0.300736 s]
/proc/loadavg: 4.00 4.00 3.93 3/179 23224
/proc/meminfo: memFree=15813520/32950904 swapFree=67055440/67111528
[pid=23224] ppid=23222 vsize=185264 CPUtime=0.58 cores=0,2,4,6
/proc/23224/stat : 23224 (pwbo1.1) S 23222 23224 21970 0 -1 4202496 25373 0 0 0 51 7 0 0 25 0 3 0 911100573 189710336 24634 33554432000 4194304 5714118 140735207759968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/23224/statm: 46316 24634 179 372 0 45941 0
[pid=23224/tid=23225] ppid=23222 vsize=185264 CPUtime=0.28 cores=0,2,4,6
/proc/23224/task/23225/stat : 23225 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 1359 0 0 0 27 1 0 0 25 0 3 0 911100573 189710336 24634 33554432000 4194304 5714118 140735207759968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=23224/tid=23226] ppid=23222 vsize=185264 CPUtime=0.28 cores=0,2,4,6
/proc/23224/task/23226/stat : 23226 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 23450 0 0 0 23 5 0 0 25 0 3 0 911100573 189710336 24634 33554432000 4194304 5714118 140735207759968 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 185264

[startup+0.70073 s]
/proc/loadavg: 4.00 4.00 3.93 3/179 23224
/proc/meminfo: memFree=15813520/32950904 swapFree=67055440/67111528
[pid=23224] ppid=23222 vsize=185456 CPUtime=1.38 cores=0,2,4,6
/proc/23224/stat : 23224 (pwbo1.1) S 23222 23224 21970 0 -1 4202496 26083 0 0 0 127 11 0 0 25 0 3 0 911100573 189906944 25280 33554432000 4194304 5714118 140735207759968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/23224/statm: 46364 25280 179 372 0 45989 0
[pid=23224/tid=23225] ppid=23222 vsize=185456 CPUtime=0.69 cores=0,2,4,6
/proc/23224/task/23225/stat : 23225 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 2069 0 0 0 64 5 0 0 25 0 3 0 911100573 189906944 25280 33554432000 4194304 5714118 140735207759968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=23224/tid=23226] ppid=23222 vsize=185456 CPUtime=0.69 cores=0,2,4,6
/proc/23224/task/23226/stat : 23226 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 23450 0 0 0 63 6 0 0 25 0 3 0 911100573 189906944 25280 33554432000 4194304 5714118 140735207759968 18446744073709551615 4305133 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 185456

[startup+1.50053 s]
/proc/loadavg: 4.00 4.00 3.93 3/178 23228
/proc/meminfo: memFree=16620544/32950904 swapFree=67055440/67111528
[pid=23224] ppid=23222 vsize=185456 CPUtime=2.98 cores=0,2,4,6
/proc/23224/stat : 23224 (pwbo1.1) S 23222 23224 21970 0 -1 4202496 27517 0 0 0 278 20 0 0 25 0 3 0 911100573 189906944 26714 33554432000 4194304 5714118 140735207759968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/23224/statm: 46364 26714 179 372 0 45989 0
[pid=23224/tid=23225] ppid=23222 vsize=185456 CPUtime=1.49 cores=0,2,4,6
/proc/23224/task/23225/stat : 23225 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 3503 0 0 0 135 14 0 0 25 0 3 0 911100573 189906944 26714 33554432000 4194304 5714118 140735207759968 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=23224/tid=23226] ppid=23222 vsize=185456 CPUtime=1.48 cores=0,2,4,6
/proc/23224/task/23226/stat : 23226 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 23450 0 0 0 142 6 0 0 25 0 3 0 911100573 189906944 26714 33554432000 4194304 5714118 140735207759968 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 185456

[startup+3.10024 s]
/proc/loadavg: 4.00 4.00 3.93 3/178 23228
/proc/meminfo: memFree=16616200/32950904 swapFree=67055440/67111528
[pid=23224] ppid=23222 vsize=185456 CPUtime=6.18 cores=0,2,4,6
/proc/23224/stat : 23224 (pwbo1.1) S 23222 23224 21970 0 -1 4202496 28509 0 0 0 592 26 0 0 25 0 3 0 911100573 189906944 27706 33554432000 4194304 5714118 140735207759968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/23224/statm: 46364 27706 179 372 0 45989 0
[pid=23224/tid=23225] ppid=23222 vsize=185456 CPUtime=3.08 cores=0,2,4,6
/proc/23224/task/23225/stat : 23225 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 4472 0 0 0 289 19 0 0 25 0 3 0 911100573 189906944 27706 33554432000 4194304 5714118 140735207759968 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23224/tid=23226] ppid=23222 vsize=185456 CPUtime=3.08 cores=0,2,4,6
/proc/23224/task/23226/stat : 23226 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 23473 0 0 0 302 6 0 0 25 0 3 0 911100573 189906944 27706 33554432000 4194304 5714118 140735207759968 18446744073709551615 4319232 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 185456

[startup+6.30062 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23268
/proc/meminfo: memFree=16438164/32950904 swapFree=67055440/67111528
[pid=23224] ppid=23222 vsize=185264 CPUtime=12.59 cores=0,2,4,6
/proc/23224/stat : 23224 (pwbo1.1) S 23222 23224 21970 0 -1 4202496 29565 0 0 0 1219 40 0 0 25 0 3 0 911100573 189710336 28729 33554432000 4194304 5714118 140735207759968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/23224/statm: 46316 28729 179 372 0 45941 0
[pid=23224/tid=23225] ppid=23222 vsize=185264 CPUtime=6.28 cores=0,2,4,6
/proc/23224/task/23225/stat : 23225 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 5418 0 0 0 597 31 0 0 25 0 3 0 911100573 189710336 28729 33554432000 4194304 5714118 140735207759968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23224/tid=23226] ppid=23222 vsize=185264 CPUtime=6.28 cores=0,2,4,6
/proc/23224/task/23226/stat : 23226 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 23583 0 0 0 620 8 0 0 25 0 3 0 911100573 189710336 28729 33554432000 4194304 5714118 140735207759968 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 185264

[startup+12.7005 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23268
/proc/meminfo: memFree=16404924/32950904 swapFree=67055440/67111528
[pid=23224] ppid=23222 vsize=185480 CPUtime=25.39 cores=0,2,4,6
/proc/23224/stat : 23224 (pwbo1.1) S 23222 23224 21970 0 -1 4202496 32206 0 0 0 2474 65 0 0 25 0 3 0 911100573 189931520 31370 33554432000 4194304 5714118 140735207759968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/23224/statm: 46370 31370 180 372 0 45995 0
[pid=23224/tid=23225] ppid=23222 vsize=185480 CPUtime=12.68 cores=0,2,4,6
/proc/23224/task/23225/stat : 23225 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 7857 0 0 0 1214 54 0 0 25 0 3 0 911100573 189931520 31370 33554432000 4194304 5714118 140735207759968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23224/tid=23226] ppid=23222 vsize=185480 CPUtime=12.68 cores=0,2,4,6
/proc/23224/task/23226/stat : 23226 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 23785 0 0 0 1258 10 0 0 25 0 3 0 911100573 189931520 31370 33554432000 4194304 5714118 140735207759968 18446744073709551615 4305171 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 185480

[startup+25.5002 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23269
/proc/meminfo: memFree=16313792/32950904 swapFree=67055440/67111528
[pid=23224] ppid=23222 vsize=185872 CPUtime=50.99 cores=0,2,4,6
/proc/23224/stat : 23224 (pwbo1.1) S 23222 23224 21970 0 -1 4202496 35177 0 0 0 5004 95 0 0 25 0 3 0 911100573 190332928 34297 33554432000 4194304 5714118 140735207759968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/23224/statm: 46468 34297 180 372 0 46093 0
[pid=23224/tid=23225] ppid=23222 vsize=185872 CPUtime=25.48 cores=0,2,4,6
/proc/23224/task/23225/stat : 23225 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 10186 0 0 0 2468 80 0 0 25 0 3 0 911100573 190332928 34297 33554432000 4194304 5714118 140735207759968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23224/tid=23226] ppid=23222 vsize=185872 CPUtime=25.49 cores=0,2,4,6
/proc/23224/task/23226/stat : 23226 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 24427 0 0 0 2535 14 0 0 25 0 3 0 911100573 190332928 34297 33554432000 4194304 5714118 140735207759968 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 185872

[startup+51.1008 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23269
/proc/meminfo: memFree=16222908/32950904 swapFree=67055440/67111528
[pid=23224] ppid=23222 vsize=252132 CPUtime=102.18 cores=0,2,4,6
/proc/23224/stat : 23224 (pwbo1.1) S 23222 23224 21970 0 -1 4202496 43274 0 0 0 10066 152 0 0 25 0 3 0 911100573 258183168 42394 33554432000 4194304 5714118 140735207759968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/23224/statm: 63033 42394 180 372 0 62658 0
[pid=23224/tid=23225] ppid=23222 vsize=252132 CPUtime=51.09 cores=0,2,4,6
/proc/23224/task/23225/stat : 23225 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 15434 0 0 0 4979 130 0 0 25 0 3 0 911100573 258183168 42394 33554432000 4194304 5714118 140735207759968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23224/tid=23226] ppid=23222 vsize=252132 CPUtime=51.09 cores=0,2,4,6
/proc/23224/task/23226/stat : 23226 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 27276 0 0 0 5087 22 0 0 25 0 3 0 911100573 258183168 42394 33554432000 4194304 5714118 140735207759968 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 252132

[startup+102.307 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23271
/proc/meminfo: memFree=16064476/32950904 swapFree=67055440/67111528
[pid=23224] ppid=23222 vsize=317828 CPUtime=204.59 cores=0,2,4,6
/proc/23224/stat : 23224 (pwbo1.1) S 23222 23224 21970 0 -1 4202496 58209 0 0 0 20233 226 0 0 25 0 3 0 911100573 325455872 57329 33554432000 4194304 5714118 140735207759968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/23224/statm: 79457 57329 180 372 0 79082 0
[pid=23224/tid=23225] ppid=23222 vsize=317828 CPUtime=102.28 cores=0,2,4,6
/proc/23224/task/23225/stat : 23225 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 25556 0 0 0 10033 195 0 0 25 0 3 0 911100573 325455872 57329 33554432000 4194304 5714118 140735207759968 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23224/tid=23226] ppid=23222 vsize=317828 CPUtime=102.29 cores=0,2,4,6
/proc/23224/task/23226/stat : 23226 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 32089 0 0 0 10199 30 0 0 25 0 3 0 911100573 325455872 57329 33554432000 4194304 5714118 140735207759968 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.59
Current children cumulated vsize (KiB) 317828

[startup+162.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23272
/proc/meminfo: memFree=15829832/32950904 swapFree=67055440/67111528
[pid=23224] ppid=23222 vsize=318624 CPUtime=324.59 cores=0,2,4,6
/proc/23224/stat : 23224 (pwbo1.1) S 23222 23224 21970 0 -1 4202496 65700 0 0 0 32143 316 0 0 25 0 3 0 911100573 326270976 63059 33554432000 4194304 5714118 140735207759968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/23224/statm: 79656 63059 180 372 0 79281 0
[pid=23224/tid=23225] ppid=23222 vsize=318624 CPUtime=162.28 cores=0,2,4,6
/proc/23224/task/23225/stat : 23225 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 28404 0 0 0 15957 271 0 0 25 0 3 0 911100573 326270976 63059 33554432000 4194304 5714118 140735207759968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23224/tid=23226] ppid=23222 vsize=318624 CPUtime=162.29 cores=0,2,4,6
/proc/23224/task/23226/stat : 23226 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 36732 0 0 0 16185 44 0 0 25 0 3 0 911100573 326270976 63059 33554432000 4194304 5714118 140735207759968 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 324.59
Current children cumulated vsize (KiB) 318624

[startup+222.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23274
/proc/meminfo: memFree=15595816/32950904 swapFree=67055440/67111528
[pid=23224] ppid=23222 vsize=384160 CPUtime=444.59 cores=0,2,4,6
/proc/23224/stat : 23224 (pwbo1.1) S 23222 23224 21970 0 -1 4202496 72780 0 0 0 44075 384 0 0 25 0 3 0 911100573 393379840 70139 33554432000 4194304 5714118 140735207759968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/23224/statm: 96040 70139 180 372 0 95665 0
[pid=23224/tid=23225] ppid=23222 vsize=384160 CPUtime=222.28 cores=0,2,4,6
/proc/23224/task/23225/stat : 23225 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 35460 0 0 0 21898 330 0 0 25 0 3 0 911100573 393379840 70139 33554432000 4194304 5714118 140735207759968 18446744073709551615 4200288 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23224/tid=23226] ppid=23222 vsize=384160 CPUtime=222.29 cores=0,2,4,6
/proc/23224/task/23226/stat : 23226 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 36756 0 0 0 22176 53 0 0 25 0 3 0 911100573 393379840 70139 33554432000 4194304 5714118 140735207759968 18446744073709551615 4322702 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 444.59
Current children cumulated vsize (KiB) 384160

[startup+282.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23284
/proc/meminfo: memFree=15477712/32950904 swapFree=67055440/67111528
[pid=23224] ppid=23222 vsize=384300 CPUtime=564.59 cores=0,2,4,6
/proc/23224/stat : 23224 (pwbo1.1) S 23222 23224 21970 0 -1 4202496 72906 0 0 0 55991 468 0 0 25 0 3 0 911100573 393523200 70265 33554432000 4194304 5714118 140735207759968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/23224/statm: 96075 70265 180 372 0 95700 0
[pid=23224/tid=23225] ppid=23222 vsize=384300 CPUtime=282.28 cores=0,2,4,6
/proc/23224/task/23225/stat : 23225 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 35579 0 0 0 27825 403 0 0 25 0 3 0 911100573 393523200 70265 33554432000 4194304 5714118 140735207759968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23224/tid=23226] ppid=23222 vsize=384300 CPUtime=282.29 cores=0,2,4,6
/proc/23224/task/23226/stat : 23226 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 36763 0 0 0 28165 64 0 0 25 0 3 0 911100573 393523200 70265 33554432000 4194304 5714118 140735207759968 18446744073709551615 4305171 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 564.59
Current children cumulated vsize (KiB) 384300

[startup+342.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23286
/proc/meminfo: memFree=15468984/32950904 swapFree=67055440/67111528
[pid=23224] ppid=23222 vsize=384448 CPUtime=684.6 cores=0,2,4,6
/proc/23224/stat : 23224 (pwbo1.1) S 23222 23224 21970 0 -1 4202496 72991 0 0 0 67925 535 0 0 25 0 3 0 911100573 393674752 70350 33554432000 4194304 5714118 140735207759968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/23224/statm: 96112 70350 180 372 0 95737 0
[pid=23224/tid=23225] ppid=23222 vsize=384448 CPUtime=342.29 cores=0,2,4,6
/proc/23224/task/23225/stat : 23225 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 35617 0 0 0 33772 457 0 0 25 0 3 0 911100573 393674752 70350 33554432000 4194304 5714118 140735207759968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23224/tid=23226] ppid=23222 vsize=384448 CPUtime=342.29 cores=0,2,4,6
/proc/23224/task/23226/stat : 23226 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 36810 0 0 0 34152 77 0 0 25 0 3 0 911100573 393674752 70350 33554432000 4194304 5714118 140735207759968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 684.6
Current children cumulated vsize (KiB) 384448

[startup+402.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23288
/proc/meminfo: memFree=15363444/32950904 swapFree=67055440/67111528
[pid=23224] ppid=23222 vsize=384448 CPUtime=804.6 cores=0,2,4,6
/proc/23224/stat : 23224 (pwbo1.1) S 23222 23224 21970 0 -1 4202496 89463 0 0 0 79826 634 0 0 25 0 3 0 911100573 393674752 86822 33554432000 4194304 5714118 140735207759968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/23224/statm: 96112 86822 180 372 0 95737 0
[pid=23224/tid=23225] ppid=23222 vsize=384448 CPUtime=402.29 cores=0,2,4,6
/proc/23224/task/23225/stat : 23225 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 49498 0 0 0 39685 544 0 0 25 0 3 0 911100573 393674752 86822 33554432000 4194304 5714118 140735207759968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23224/tid=23226] ppid=23222 vsize=384448 CPUtime=402.29 cores=0,2,4,6
/proc/23224/task/23226/stat : 23226 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 39401 0 0 0 40140 89 0 0 25 0 3 0 911100573 393674752 86822 33554432000 4194304 5714118 140735207759968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 804.6
Current children cumulated vsize (KiB) 384448

[startup+462.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23292
/proc/meminfo: memFree=15334628/32950904 swapFree=67055440/67111528
[pid=23224] ppid=23222 vsize=449984 CPUtime=924.6 cores=0,2,4,6
/proc/23224/stat : 23224 (pwbo1.1) S 23222 23224 21970 0 -1 4202496 95003 0 0 0 91746 714 0 0 25 0 3 0 911100573 460783616 92362 33554432000 4194304 5714118 140735207759968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/23224/statm: 112496 92362 180 372 0 112121 0
[pid=23224/tid=23225] ppid=23222 vsize=449984 CPUtime=462.29 cores=0,2,4,6
/proc/23224/task/23225/stat : 23225 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 55038 0 0 0 45620 609 0 0 25 0 3 0 911100573 460783616 92362 33554432000 4194304 5714118 140735207759968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23224/tid=23226] ppid=23222 vsize=449984 CPUtime=462.3 cores=0,2,4,6
/proc/23224/task/23226/stat : 23226 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 39401 0 0 0 46125 105 0 0 25 0 3 0 911100573 460783616 92362 33554432000 4194304 5714118 140735207759968 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 924.6
Current children cumulated vsize (KiB) 449984

[startup+522.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23294
/proc/meminfo: memFree=15250244/32950904 swapFree=67055440/67111528
[pid=23224] ppid=23222 vsize=515788 CPUtime=1044.6 cores=0,2,4,6
/proc/23224/stat : 23224 (pwbo1.1) S 23222 23224 21970 0 -1 4202496 108930 0 0 0 103668 792 0 0 25 0 3 0 911100573 528166912 105920 33554432000 4194304 5714118 140735207759968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/23224/statm: 128947 105920 180 372 0 128572 0
[pid=23224/tid=23225] ppid=23222 vsize=515788 CPUtime=522.3 cores=0,2,4,6
/proc/23224/task/23225/stat : 23225 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 63785 0 0 0 51554 676 0 0 25 0 3 0 911100573 528166912 105920 33554432000 4194304 5714118 140735207759968 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23224/tid=23226] ppid=23222 vsize=515788 CPUtime=522.3 cores=0,2,4,6
/proc/23224/task/23226/stat : 23226 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 44581 0 0 0 52114 116 0 0 25 0 3 0 911100573 528166912 105920 33554432000 4194304 5714118 140735207759968 18446744073709551615 4319134 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1044.6
Current children cumulated vsize (KiB) 515788

[startup+582.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23295
/proc/meminfo: memFree=15135760/32950904 swapFree=67055440/67111528
[pid=23224] ppid=23222 vsize=581780 CPUtime=1164.61 cores=0,2,4,6
/proc/23224/stat : 23224 (pwbo1.1) S 23222 23224 21970 0 -1 4202496 126241 0 0 0 115577 884 0 0 25 0 3 0 911100573 595742720 123231 33554432000 4194304 5714118 140735207759968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/23224/statm: 145445 123231 180 372 0 145070 0
[pid=23224/tid=23225] ppid=23222 vsize=581780 CPUtime=582.3 cores=0,2,4,6
/proc/23224/task/23225/stat : 23225 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 72852 0 0 0 57475 755 0 0 18 0 3 0 911100573 595742720 123231 33554432000 4194304 5714118 140735207759968 18446744073709551615 4319347 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23224/tid=23226] ppid=23222 vsize=581780 CPUtime=582.29 cores=0,2,4,6
/proc/23224/task/23226/stat : 23226 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 52825 0 0 0 58101 128 0 0 25 0 3 0 911100573 595742720 123231 33554432000 4194304 5714118 140735207759968 18446744073709551615 4322605 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1164.61
Current children cumulated vsize (KiB) 581780

[startup+642.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23297
/proc/meminfo: memFree=15080180/32950904 swapFree=67055440/67111528
[pid=23224] ppid=23222 vsize=581972 CPUtime=1284.62 cores=0,2,4,6
/proc/23224/stat : 23224 (pwbo1.1) S 23222 23224 21970 0 -1 4202496 135230 0 0 0 127508 954 0 0 25 0 3 0 911100573 595939328 132126 33554432000 4194304 5714118 140735207759968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/23224/statm: 145493 132126 180 372 0 145118 0
[pid=23224/tid=23225] ppid=23222 vsize=581972 CPUtime=642.3 cores=0,2,4,6
/proc/23224/task/23225/stat : 23225 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 80897 0 0 0 63412 818 0 0 25 0 3 0 911100573 595939328 132126 33554432000 4194304 5714118 140735207759968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23224/tid=23226] ppid=23222 vsize=581972 CPUtime=642.3 cores=0,2,4,6
/proc/23224/task/23226/stat : 23226 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 53769 0 0 0 64094 136 0 0 25 0 3 0 911100573 595939328 132126 33554432000 4194304 5714118 140735207759968 18446744073709551615 4319293 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1284.62
Current children cumulated vsize (KiB) 581972

[startup+702.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23299
/proc/meminfo: memFree=15053256/32950904 swapFree=67055440/67111528
[pid=23224] ppid=23222 vsize=647508 CPUtime=1404.62 cores=0,2,4,6
/proc/23224/stat : 23224 (pwbo1.1) S 23222 23224 21970 0 -1 4202496 141840 0 0 0 139424 1038 0 0 25 0 3 0 911100573 663048192 138736 33554432000 4194304 5714118 140735207759968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/23224/statm: 161877 138736 180 372 0 161502 0
[pid=23224/tid=23225] ppid=23222 vsize=647508 CPUtime=702.29 cores=0,2,4,6
/proc/23224/task/23225/stat : 23225 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 87476 0 0 0 69334 895 0 0 25 0 3 0 911100573 663048192 138736 33554432000 4194304 5714118 140735207759968 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23224/tid=23226] ppid=23222 vsize=647508 CPUtime=702.3 cores=0,2,4,6
/proc/23224/task/23226/stat : 23226 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 53800 0 0 0 70088 142 0 0 25 0 3 0 911100573 663048192 138736 33554432000 4194304 5714118 140735207759968 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1404.62
Current children cumulated vsize (KiB) 647508

[startup+762.306 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23300
/proc/meminfo: memFree=15030764/32950904 swapFree=67055440/67111528
[pid=23224] ppid=23222 vsize=647660 CPUtime=1524.63 cores=0,2,4,6
/proc/23224/stat : 23224 (pwbo1.1) S 23222 23224 21970 0 -1 4202496 147422 0 0 0 151370 1093 0 0 25 0 3 0 911100573 663203840 144318 33554432000 4194304 5714118 140735207759968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/23224/statm: 161915 144318 180 372 0 161540 0
[pid=23224/tid=23225] ppid=23222 vsize=647660 CPUtime=762.31 cores=0,2,4,6
/proc/23224/task/23225/stat : 23225 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 93038 0 0 0 75291 940 0 0 25 0 3 0 911100573 663203840 144318 33554432000 4194304 5714118 140735207759968 18446744073709551615 4200768 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23224/tid=23226] ppid=23222 vsize=647660 CPUtime=762.31 cores=0,2,4,6
/proc/23224/task/23226/stat : 23226 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 53820 0 0 0 76078 153 0 0 25 0 3 0 911100573 663203840 144318 33554432000 4194304 5714118 140735207759968 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1524.63
Current children cumulated vsize (KiB) 647660

[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23302
/proc/meminfo: memFree=14986848/32950904 swapFree=67055440/67111528
[pid=23224] ppid=23222 vsize=713196 CPUtime=1644.62 cores=0,2,4,6
/proc/23224/stat : 23224 (pwbo1.1) S 23222 23224 21970 0 -1 4202496 158806 0 0 0 163298 1164 0 0 25 0 3 0 911100573 730312704 155702 33554432000 4194304 5714118 140735207759968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/23224/statm: 178299 155702 180 372 0 177924 0
[pid=23224/tid=23225] ppid=23222 vsize=713196 CPUtime=822.3 cores=0,2,4,6
/proc/23224/task/23225/stat : 23225 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 104417 0 0 0 81228 1002 0 0 25 0 3 0 911100573 730312704 155702 33554432000 4194304 5714118 140735207759968 18446744073709551615 4319336 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23224/tid=23226] ppid=23222 vsize=713196 CPUtime=822.3 cores=0,2,4,6
/proc/23224/task/23226/stat : 23226 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 53825 0 0 0 82069 161 0 0 25 0 3 0 911100573 730312704 155702 33554432000 4194304 5714118 140735207759968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1644.62
Current children cumulated vsize (KiB) 713196

[startup+882.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23303
/proc/meminfo: memFree=14882412/32950904 swapFree=67055440/67111528
[pid=23224] ppid=23222 vsize=713196 CPUtime=1764.63 cores=0,2,4,6
/proc/23224/stat : 23224 (pwbo1.1) S 23222 23224 21970 0 -1 4202496 160920 0 0 0 175242 1221 0 0 25 0 3 0 911100573 730312704 157745 33554432000 4194304 5714118 140735207759968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/23224/statm: 178299 157745 180 372 0 177924 0
[pid=23224/tid=23225] ppid=23222 vsize=713196 CPUtime=882.31 cores=0,2,4,6
/proc/23224/task/23225/stat : 23225 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 106522 0 0 0 87181 1050 0 0 25 0 3 0 911100573 730312704 157745 33554432000 4194304 5714118 140735207759968 18446744073709551615 4319830 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23224/tid=23226] ppid=23222 vsize=713196 CPUtime=882.31 cores=0,2,4,6
/proc/23224/task/23226/stat : 23226 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 53834 0 0 0 88060 171 0 0 25 0 3 0 911100573 730312704 157745 33554432000 4194304 5714118 140735207759968 18446744073709551615 4319134 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1764.63
Current children cumulated vsize (KiB) 713196



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.001 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23304
/proc/meminfo: memFree=14841608/32950904 swapFree=67055440/67111528
[pid=23224] ppid=23222 vsize=713196 CPUtime=1800.04 cores=0,2,4,6
/proc/23224/stat : 23224 (pwbo1.1) S 23222 23224 21970 0 -1 4202496 161918 0 0 0 178770 1234 0 0 25 0 3 0 911100573 730312704 158743 33554432000 4194304 5714118 140735207759968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/23224/statm: 178299 158743 180 372 0 177924 0
[pid=23224/tid=23225] ppid=23222 vsize=713196 CPUtime=900.01 cores=0,2,4,6
/proc/23224/task/23225/stat : 23225 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 107517 0 0 0 88941 1060 0 0 25 0 3 0 911100573 730312704 158743 33554432000 4194304 5714118 140735207759968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23224/tid=23226] ppid=23222 vsize=713196 CPUtime=900.01 cores=0,2,4,6
/proc/23224/task/23226/stat : 23226 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 53837 0 0 0 89828 173 0 0 25 0 3 0 911100573 730312704 158743 33554432000 4194304 5714118 140735207759968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 713196

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.041
CPU time (s): 1800.08
CPU user time (s): 1787.71
CPU system time (s): 12.3691
CPU usage (%): 200
Max. virtual memory (cumulated for all children) (KiB): 713196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.71
system time used= 12.3691
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 161926
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= 309
involuntary context switches= 3038

runsolver used 1.44578 second user time and 2.96855 second system time

The end

Launcher Data 

Begin job on node121 at 2011-06-13 21:56:48
IDJOB=3500421
IDBENCH=2886
IDSOLVER=1954
FILE ID=node121/3500421-1307995008
RUNJOBID= node121-1307990496-22373
PBS_JOBID= 13559735
Free space on /var/tmp= 2888 MiB

SOLVER NAME= pwbo 1.1
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-test1.r.opb
COMMAND LINE= pwbo1.1 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3500421-1307995008/watcher-3500421-1307995008 -o /var/tmp/evaluation-result-3500421-1307995008/solver-3500421-1307995008 -C 1800 -W 1900 -M 15500  pwbo1.1 -file-format=opb HOME/instance-3500421-1307995008.opb

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

MD5SUM BENCH= 8e6ac0bad8d074da12c63269189a8260
RANDOM SEED=1300879581

node121.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950904 kB
MemFree:      15814196 kB
Buffers:        109468 kB
Cached:       15529124 kB
SwapCached:       9696 kB
Active:        1303404 kB
Inactive:     15264448 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      15814196 kB
SwapTotal:    67111528 kB
SwapFree:     67055440 kB
Dirty:            4300 kB
Writeback:           0 kB
AnonPages:      926588 kB
Mapped:          13876 kB
Slab:           502476 kB
PageTables:       6508 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS:  1141400 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2876 MiB
End job on node121 at 2011-06-13 22:11:50