Trace number 3500372

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)182 1800.05 900.032

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-bench1.r.opb
MD5SUMcb09f183d3805e6536d629586026461f
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark121
Best CPU time to get the best result obtained on this benchmark4.6213
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 121
Optimality of the best value was proved YES
Number of variables4688
Total number of constraints403
Number of constraints which are clauses403
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint80
Number of terms in the objective function 4688
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 4688
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4688
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c pwbo 1.1 beta - 20110321
0.00/0.00	c Parsing opb file format. File HOME/instance-3500372-1307994530.opb.
0.00/0.00	c Instance file HOME/instance-3500372-1307994530.opb
0.00/0.00	c File size is 128294 bytes.
0.00/0.01	c Highest Coefficient sum: 81
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Parsing time:          0.01         s                                      |
0.00/0.01	c |  Number Variables:      4688                                                |
0.00/0.01	c |  Number Clauses:        403                                                 |
0.00/0.01	c |  Number Cardinality:    0                                                   |
0.00/0.01	c |  Number PB Constraints: 0                                                   |
0.00/0.01	c init lb 0
0.00/0.01	c init ub 4689
0.00/0.01	c lb 1 (thread 0)
0.00/0.01	c ub 182 (thread 1)
0.00/0.02	o 182
0.00/0.02	c lb 2 (thread 0)
0.00/0.02	c lb 3 (thread 0)
0.00/0.02	c lb 4 (thread 0)
0.00/0.02	c lb 5 (thread 0)
0.00/0.02	c lb 6 (thread 0)
0.00/0.03	c lb 7 (thread 0)
0.00/0.03	c lb 8 (thread 0)
0.00/0.03	c lb 9 (thread 0)
0.00/0.03	c lb 10 (thread 0)
0.00/0.03	c lb 11 (thread 0)
0.00/0.04	c lb 12 (thread 0)
0.00/0.04	c lb 13 (thread 0)
0.00/0.04	c lb 14 (thread 0)
0.00/0.04	c lb 15 (thread 0)
0.00/0.05	c lb 16 (thread 0)
0.00/0.05	c lb 17 (thread 0)
0.00/0.05	c lb 18 (thread 0)
0.00/0.05	c lb 19 (thread 0)
0.00/0.06	c lb 20 (thread 0)
0.00/0.06	c lb 21 (thread 0)
0.00/0.06	c lb 22 (thread 0)
0.00/0.06	c lb 23 (thread 0)
0.00/0.06	c lb 24 (thread 0)
0.00/0.07	c lb 25 (thread 0)
0.00/0.07	c lb 26 (thread 0)
0.00/0.07	c lb 27 (thread 0)
0.00/0.07	c lb 28 (thread 0)
0.00/0.08	c lb 29 (thread 0)
0.00/0.08	c lb 30 (thread 0)
0.00/0.08	c lb 31 (thread 0)
0.00/0.08	c lb 32 (thread 0)
0.00/0.09	c lb 33 (thread 0)
0.00/0.09	c lb 34 (thread 0)
0.00/0.09	c lb 35 (thread 0)
0.00/0.09	c lb 36 (thread 0)
0.00/0.10	c lb 37 (thread 0)
0.00/0.10	c lb 38 (thread 0)
0.18/0.10	c lb 39 (thread 0)
0.18/0.10	c lb 40 (thread 0)
0.18/0.11	c lb 41 (thread 0)
0.18/0.11	c lb 42 (thread 0)
0.18/0.11	c lb 43 (thread 0)
0.18/0.11	c lb 44 (thread 0)
0.18/0.12	c lb 45 (thread 0)
0.18/0.12	c lb 46 (thread 0)
0.18/0.12	c lb 47 (thread 0)
0.18/0.12	c lb 48 (thread 0)
0.18/0.13	c lb 49 (thread 0)
0.18/0.13	c lb 50 (thread 0)
0.18/0.13	c lb 51 (thread 0)
0.18/0.13	c lb 52 (thread 0)
0.18/0.14	c lb 53 (thread 0)
0.18/0.14	c lb 54 (thread 0)
0.18/0.14	c lb 55 (thread 0)
0.18/0.14	c lb 56 (thread 0)
0.18/0.15	c lb 57 (thread 0)
0.18/0.15	c lb 58 (thread 0)
0.18/0.15	c lb 59 (thread 0)
0.18/0.15	c lb 60 (thread 0)
0.18/0.16	c lb 61 (thread 0)
0.18/0.16	c lb 62 (thread 0)
0.18/0.16	c lb 63 (thread 0)
0.18/0.17	c lb 64 (thread 0)
0.18/0.17	c lb 65 (thread 0)
0.18/0.17	c lb 66 (thread 0)
0.18/0.17	c lb 67 (thread 0)
0.18/0.18	c lb 68 (thread 0)
0.18/0.18	c lb 69 (thread 0)
0.18/0.18	c lb 70 (thread 0)
0.18/0.18	c lb 71 (thread 0)
0.18/0.19	c lb 72 (thread 0)
0.18/0.19	c lb 73 (thread 0)
0.18/0.19	c lb 74 (thread 0)
0.38/0.20	c lb 75 (thread 0)
0.38/0.20	c lb 76 (thread 0)
0.38/0.20	c lb 77 (thread 0)
0.38/0.21	c lb 78 (thread 0)
0.38/0.21	c lb 79 (thread 0)
0.38/0.21	c lb 80 (thread 0)
0.38/0.21	c lb 81 (thread 0)
0.38/0.22	c lb 82 (thread 0)
0.38/0.22	c lb 83 (thread 0)
0.38/0.22	c lb 84 (thread 0)
0.38/0.23	c lb 85 (thread 0)
0.38/0.23	c lb 86 (thread 0)
0.38/0.23	c lb 87 (thread 0)
0.38/0.23	c lb 88 (thread 0)
0.38/0.24	c lb 89 (thread 0)
0.38/0.24	c lb 90 (thread 0)
0.38/0.24	c lb 91 (thread 0)
0.38/0.25	c lb 92 (thread 0)
0.38/0.25	c lb 93 (thread 0)
0.38/0.25	c lb 94 (thread 0)
0.38/0.26	c lb 95 (thread 0)
0.38/0.26	c lb 96 (thread 0)
0.38/0.28	c lb 97 (thread 0)
0.38/0.29	c lb 98 (thread 0)
0.58/0.32	c lb 99 (thread 0)
0.58/0.37	c lb 100 (thread 0)
0.78/0.45	c lb 101 (thread 0)
1.98/1.02	c lb 102 (thread 0)
1.98/1.03	c lb 103 (thread 0)
20.98/10.50	c lb 104 (thread 0)
20.98/10.54	c lb 105 (thread 0)
20.98/10.55	c lb 106 (thread 0)
41.58/20.89	c lb 107 (thread 0)
42.18/21.12	c lb 108 (thread 0)
372.18/186.12	c lb 109 (thread 0)
944.38/472.22	c lb 110 (thread 0)
952.79/476.40	c lb 111 (thread 0)
1800.01/900.01	s SATISFIABLE
1800.01/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 -x2092 x2093 -x2094 x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 x2178 -x2179 -x2180 -x2181 x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688
1800.01/900.01	c Memory used           : 455.36 MB
1800.01/900.01	c CPU time              : 1788.32 s

Verifier Data 

OK	182

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-3500372-1307994530/watcher-3500372-1307994530 -o /var/tmp/evaluation-result-3500372-1307994530/solver-3500372-1307994530 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500372-1307994530.opb 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 4.00 3.99 3.91 3/179 16996
/proc/meminfo: memFree=29063644/32950928 swapFree=67048888/67111528
[pid=16996] ppid=16994 vsize=4152 CPUtime=0 cores=0,2,4,6
/proc/16996/stat : 16996 (pwbo1.1) R 16994 16996 15608 0 -1 4202496 768 0 0 0 0 0 0 0 25 0 1 0 911051831 4251648 720 33554432000 4194304 5714118 140734199126688 18446744073709551615 4222932 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/16996/statm: 1038 720 162 372 0 631 0

[startup+0.103619 s]
/proc/loadavg: 4.00 3.99 3.91 3/179 16996
/proc/meminfo: memFree=29063644/32950928 swapFree=67048888/67111528
[pid=16996] ppid=16994 vsize=136532 CPUtime=0.18 cores=0,2,4,6
/proc/16996/stat : 16996 (pwbo1.1) S 16994 16996 15608 0 -1 4202496 2884 0 0 0 17 1 0 0 25 0 3 0 911051831 139808768 2213 33554432000 4194304 5714118 140734199126688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/16996/statm: 34133 2213 179 372 0 33758 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 136532

[startup+0.200658 s]
/proc/loadavg: 4.00 3.99 3.91 3/179 16996
/proc/meminfo: memFree=29063644/32950928 swapFree=67048888/67111528
[pid=16996] ppid=16994 vsize=137108 CPUtime=0.38 cores=0,2,4,6
/proc/16996/stat : 16996 (pwbo1.1) S 16994 16996 15608 0 -1 4202496 3898 0 0 0 35 3 0 0 25 0 3 0 911051831 140398592 2467 33554432000 4194304 5714118 140734199126688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/16996/statm: 34277 2467 179 372 0 33902 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 137108

[startup+0.300639 s]
/proc/loadavg: 4.00 3.99 3.91 3/179 16996
/proc/meminfo: memFree=29063644/32950928 swapFree=67048888/67111528
[pid=16996] ppid=16994 vsize=136532 CPUtime=0.58 cores=0,2,4,6
/proc/16996/stat : 16996 (pwbo1.1) S 16994 16996 15608 0 -1 4202496 5197 0 0 0 54 4 0 0 25 0 3 0 911051831 139808768 2920 33554432000 4194304 5714118 140734199126688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/16996/statm: 34133 2920 179 372 0 33758 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 136532

[startup+0.700523 s]
/proc/loadavg: 4.00 3.99 3.91 3/179 16996
/proc/meminfo: memFree=29063644/32950928 swapFree=67048888/67111528
[pid=16996] ppid=16994 vsize=136532 CPUtime=1.38 cores=0,2,4,6
/proc/16996/stat : 16996 (pwbo1.1) S 16994 16996 15608 0 -1 4202496 5983 0 0 0 130 8 0 0 25 0 3 0 911051831 139808768 3682 33554432000 4194304 5714118 140734199126688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/16996/statm: 34133 3682 179 372 0 33758 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 136532

[startup+1.50043 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 16999
/proc/meminfo: memFree=29039836/32950928 swapFree=67048888/67111528
[pid=16996] ppid=16994 vsize=136532 CPUtime=2.98 cores=0,2,4,6
/proc/16996/stat : 16996 (pwbo1.1) S 16994 16996 15608 0 -1 4202496 8024 0 0 0 286 12 0 0 25 0 3 0 911051831 139808768 5722 33554432000 4194304 5714118 140734199126688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/16996/statm: 34133 5722 179 372 0 33758 0
[pid=16996/tid=16998] ppid=16994 vsize=136532 CPUtime=1.48 cores=0,2,4,6
/proc/16996/task/16998/stat : 16998 (pwbo1.1) R 16994 16996 15608 0 -1 4202560 4511 0 0 0 145 3 0 0 25 0 3 0 911051832 139808768 5722 33554432000 4194304 5714118 140734199126688 18446744073709551615 4311846 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=16996/tid=16999] ppid=16994 vsize=136532 CPUtime=1.48 cores=0,2,4,6
/proc/16996/task/16999/stat : 16999 (pwbo1.1) R 16994 16996 15608 0 -1 4202560 2651 0 0 0 139 9 0 0 18 0 3 0 911051832 139808768 5722 33554432000 4194304 5714118 140734199126688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 136532

[startup+3.10109 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 17000
/proc/meminfo: memFree=29027932/32950928 swapFree=67048888/67111528
[pid=16996] ppid=16994 vsize=136532 CPUtime=6.18 cores=0,2,4,6
/proc/16996/stat : 16996 (pwbo1.1) S 16994 16996 15608 0 -1 4202496 12344 0 0 0 596 22 0 0 25 0 3 0 911051831 139808768 10042 33554432000 4194304 5714118 140734199126688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/16996/statm: 34133 10043 179 372 0 33758 0
[pid=16996/tid=16998] ppid=16994 vsize=136532 CPUtime=3.08 cores=0,2,4,6
/proc/16996/task/16998/stat : 16998 (pwbo1.1) R 16994 16996 15608 0 -1 4202560 6866 0 0 0 302 6 0 0 25 0 3 0 911051832 139808768 10043 33554432000 4194304 5714118 140734199126688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=16996/tid=16999] ppid=16994 vsize=136532 CPUtime=3.08 cores=0,2,4,6
/proc/16996/task/16999/stat : 16999 (pwbo1.1) R 16994 16996 15608 0 -1 4202560 4617 0 0 0 293 15 0 0 18 0 3 0 911051832 139808768 10043 33554432000 4194304 5714118 140734199126688 18446744073709551615 4200720 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 136532

[startup+6.30047 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 17000
/proc/meminfo: memFree=29009648/32950928 swapFree=67048888/67111528
[pid=16996] ppid=16994 vsize=136532 CPUtime=12.57 cores=0,2,4,6
/proc/16996/stat : 16996 (pwbo1.1) S 16994 16996 15608 0 -1 4202496 14451 0 0 0 1227 30 0 0 25 0 3 0 911051831 139808768 12149 33554432000 4194304 5714118 140734199126688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/16996/statm: 34133 12149 180 372 0 33758 0
[pid=16996/tid=16998] ppid=16994 vsize=136532 CPUtime=6.28 cores=0,2,4,6
/proc/16996/task/16998/stat : 16998 (pwbo1.1) R 16994 16996 15608 0 -1 4202560 8575 0 0 0 617 11 0 0 25 0 3 0 911051832 139808768 12149 33554432000 4194304 5714118 140734199126688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=16996/tid=16999] ppid=16994 vsize=136532 CPUtime=6.28 cores=0,2,4,6
/proc/16996/task/16999/stat : 16999 (pwbo1.1) R 16994 16996 15608 0 -1 4202560 5014 0 0 0 609 19 0 0 25 0 3 0 911051832 139808768 12149 33554432000 4194304 5714118 140734199126688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 136532

[startup+12.7003 s]
/proc/loadavg: 4.07 4.00 3.92 5/182 17000
/proc/meminfo: memFree=28997504/32950928 swapFree=67048888/67111528
[pid=16996] ppid=16994 vsize=136532 CPUtime=25.38 cores=0,2,4,6
/proc/16996/stat : 16996 (pwbo1.1) S 16994 16996 15608 0 -1 4202496 18078 0 0 0 2492 46 0 0 25 0 3 0 911051831 139808768 14707 33554432000 4194304 5714118 140734199126688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/16996/statm: 34133 14707 180 372 0 33758 0
[pid=16996/tid=16998] ppid=16994 vsize=136532 CPUtime=12.68 cores=0,2,4,6
/proc/16996/task/16998/stat : 16998 (pwbo1.1) R 16994 16996 15608 0 -1 4202560 10532 0 0 0 1247 21 0 0 25 0 3 0 911051832 139808768 14707 33554432000 4194304 5714118 140734199126688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=16996/tid=16999] ppid=16994 vsize=136532 CPUtime=12.68 cores=0,2,4,6
/proc/16996/task/16999/stat : 16999 (pwbo1.1) R 16994 16996 15608 0 -1 4202560 6684 0 0 0 1243 25 0 0 25 0 3 0 911051832 139808768 14707 33554432000 4194304 5714118 140734199126688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 136532

[startup+25.501 s]
/proc/loadavg: 4.06 4.00 3.92 5/182 17000
/proc/meminfo: memFree=28976692/32950928 swapFree=67048888/67111528
[pid=16996] ppid=16994 vsize=136856 CPUtime=50.98 cores=0,2,4,6
/proc/16996/stat : 16996 (pwbo1.1) S 16994 16996 15608 0 -1 4202496 22143 0 0 0 5025 73 0 0 25 0 3 0 911051831 140140544 18755 33554432000 4194304 5714118 140734199126688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/16996/statm: 34214 18755 180 372 0 33839 0
[pid=16996/tid=16998] ppid=16994 vsize=136856 CPUtime=25.48 cores=0,2,4,6
/proc/16996/task/16998/stat : 16998 (pwbo1.1) R 16994 16996 15608 0 -1 4202560 13023 0 0 0 2513 35 0 0 25 0 3 0 911051832 140140544 18755 33554432000 4194304 5714118 140734199126688 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=16996/tid=16999] ppid=16994 vsize=136856 CPUtime=25.48 cores=0,2,4,6
/proc/16996/task/16999/stat : 16999 (pwbo1.1) R 16994 16996 15608 0 -1 4202560 8258 0 0 0 2511 37 0 0 25 0 3 0 911051832 140140544 18755 33554432000 4194304 5714118 140734199126688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 136856

[startup+51.1005 s]
/proc/loadavg: 3.91 3.97 3.91 5/182 17042
/proc/meminfo: memFree=29929392/32950928 swapFree=67048888/67111528
[pid=16996] ppid=16994 vsize=137292 CPUtime=102.17 cores=0,2,4,6
/proc/16996/stat : 16996 (pwbo1.1) S 16994 16996 15608 0 -1 4202496 29801 0 0 0 10112 105 0 0 25 0 3 0 911051831 140587008 26314 33554432000 4194304 5714118 140734199126688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/16996/statm: 34323 26314 180 372 0 33948 0
[pid=16996/tid=16998] ppid=16994 vsize=137292 CPUtime=51.08 cores=0,2,4,6
/proc/16996/task/16998/stat : 16998 (pwbo1.1) R 16994 16996 15608 0 -1 4202560 19449 0 0 0 5054 54 0 0 25 0 3 0 911051832 140587008 26314 33554432000 4194304 5714118 140734199126688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=16996/tid=16999] ppid=16994 vsize=137292 CPUtime=51.08 cores=0,2,4,6
/proc/16996/task/16999/stat : 16999 (pwbo1.1) R 16994 16996 15608 0 -1 4202560 9490 0 0 0 5057 51 0 0 25 0 3 0 911051832 140587008 26314 33554432000 4194304 5714118 140734199126688 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 137292

[startup+102.3 s]
/proc/loadavg: 3.96 3.97 3.91 5/182 17043
/proc/meminfo: memFree=29812136/32950928 swapFree=67048888/67111528
[pid=16996] ppid=16994 vsize=203296 CPUtime=204.58 cores=0,2,4,6
/proc/16996/stat : 16996 (pwbo1.1) S 16994 16996 15608 0 -1 4202496 42546 0 0 0 20297 161 0 0 25 0 3 0 911051831 208175104 38916 33554432000 4194304 5714118 140734199126688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/16996/statm: 50824 38916 180 372 0 50449 0
[pid=16996/tid=16998] ppid=16994 vsize=203296 CPUtime=102.28 cores=0,2,4,6
/proc/16996/task/16998/stat : 16998 (pwbo1.1) R 16994 16996 15608 0 -1 4202560 29237 0 0 0 10150 78 0 0 25 0 3 0 911051832 208175104 38916 33554432000 4194304 5714118 140734199126688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=16996/tid=16999] ppid=16994 vsize=203296 CPUtime=102.29 cores=0,2,4,6
/proc/16996/task/16999/stat : 16999 (pwbo1.1) R 16994 16996 15608 0 -1 4202560 12447 0 0 0 10146 83 0 0 25 0 3 0 911051832 208175104 38916 33554432000 4194304 5714118 140734199126688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.58
Current children cumulated vsize (KiB) 203296

[startup+162.301 s]
/proc/loadavg: 3.98 3.97 3.91 5/182 17045
/proc/meminfo: memFree=29720812/32950928 swapFree=67048888/67111528
[pid=16996] ppid=16994 vsize=203580 CPUtime=324.58 cores=0,2,4,6
/proc/16996/stat : 16996 (pwbo1.1) S 16994 16996 15608 0 -1 4202496 49276 0 0 0 32239 219 0 0 25 0 3 0 911051831 208465920 45634 33554432000 4194304 5714118 140734199126688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/16996/statm: 50895 45634 180 372 0 50520 0
[pid=16996/tid=16998] ppid=16994 vsize=203580 CPUtime=162.28 cores=0,2,4,6
/proc/16996/task/16998/stat : 16998 (pwbo1.1) R 16994 16996 15608 0 -1 4202560 34638 0 0 0 16127 101 0 0 25 0 3 0 911051832 208465920 45634 33554432000 4194304 5714118 140734199126688 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=16996/tid=16999] ppid=16994 vsize=203580 CPUtime=162.28 cores=0,2,4,6
/proc/16996/task/16999/stat : 16999 (pwbo1.1) R 16994 16996 15608 0 -1 4202560 13776 0 0 0 16110 118 0 0 25 0 3 0 911051832 208465920 45634 33554432000 4194304 5714118 140734199126688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 324.58
Current children cumulated vsize (KiB) 203580

[startup+222.307 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 17046
/proc/meminfo: memFree=29693616/32950928 swapFree=67048888/67111528
[pid=16996] ppid=16994 vsize=268952 CPUtime=444.6 cores=0,2,4,6
/proc/16996/stat : 16996 (pwbo1.1) S 16994 16996 15608 0 -1 4202496 54037 0 0 0 44172 288 0 0 25 0 3 0 911051831 275406848 48834 33554432000 4194304 5714118 140734199126688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/16996/statm: 67238 48834 180 372 0 66863 0
[pid=16996/tid=16998] ppid=16994 vsize=268952 CPUtime=222.29 cores=0,2,4,6
/proc/16996/task/16998/stat : 16998 (pwbo1.1) R 16994 16996 15608 0 -1 4202560 37820 0 0 0 22094 135 0 0 25 0 3 0 911051832 275406848 48834 33554432000 4194304 5714118 140734199126688 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=16996/tid=16999] ppid=16994 vsize=268952 CPUtime=222.29 cores=0,2,4,6
/proc/16996/task/16999/stat : 16999 (pwbo1.1) R 16994 16996 15608 0 -1 4202560 15355 0 0 0 22077 152 0 0 25 0 3 0 911051832 275406848 48834 33554432000 4194304 5714118 140734199126688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 444.6
Current children cumulated vsize (KiB) 268952

[startup+282.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 17048
/proc/meminfo: memFree=29666656/32950928 swapFree=67048888/67111528
[pid=16996] ppid=16994 vsize=268952 CPUtime=564.58 cores=0,2,4,6
/proc/16996/stat : 16996 (pwbo1.1) S 16994 16996 15608 0 -1 4202496 54980 0 0 0 56111 347 0 0 25 0 3 0 911051831 275406848 49376 33554432000 4194304 5714118 140734199126688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/16996/statm: 67238 49376 180 372 0 66863 0
[pid=16996/tid=16998] ppid=16994 vsize=268952 CPUtime=282.27 cores=0,2,4,6
/proc/16996/task/16998/stat : 16998 (pwbo1.1) R 16994 16996 15608 0 -1 4202560 37847 0 0 0 28068 159 0 0 25 0 3 0 911051832 275406848 49376 33554432000 4194304 5714118 140734199126688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=16996/tid=16999] ppid=16994 vsize=268952 CPUtime=282.28 cores=0,2,4,6
/proc/16996/task/16999/stat : 16999 (pwbo1.1) R 16994 16996 15608 0 -1 4202560 16271 0 0 0 28041 187 0 0 25 0 3 0 911051832 275406848 49376 33554432000 4194304 5714118 140734199126688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 564.58
Current children cumulated vsize (KiB) 268952

[startup+342.301 s]
/proc/loadavg: 4.06 3.99 3.91 5/182 17050
/proc/meminfo: memFree=29578192/32950928 swapFree=67048888/67111528
[pid=16996] ppid=16994 vsize=334772 CPUtime=684.59 cores=0,2,4,6
/proc/16996/stat : 16996 (pwbo1.1) S 16994 16996 15608 0 -1 4202496 63165 0 0 0 68025 434 0 0 25 0 3 0 911051831 342806528 57412 33554432000 4194304 5714118 140734199126688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/16996/statm: 83693 57412 180 372 0 83318 0
[pid=16996/tid=16998] ppid=16994 vsize=334772 CPUtime=342.28 cores=0,2,4,6
/proc/16996/task/16998/stat : 16998 (pwbo1.1) R 16994 16996 15608 0 -1 4202560 43162 0 0 0 34018 210 0 0 25 0 3 0 911051832 342806528 57412 33554432000 4194304 5714118 140734199126688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=16996/tid=16999] ppid=16994 vsize=334772 CPUtime=342.28 cores=0,2,4,6
/proc/16996/task/16999/stat : 16999 (pwbo1.1) R 16994 16996 15608 0 -1 4202560 19141 0 0 0 34005 223 0 0 25 0 3 0 911051832 342806528 57412 33554432000 4194304 5714118 140734199126688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 684.59
Current children cumulated vsize (KiB) 334772

[startup+402.301 s]
/proc/loadavg: 4.02 3.99 3.91 5/182 17051
/proc/meminfo: memFree=29455280/32950928 swapFree=67048888/67111528
[pid=16996] ppid=16994 vsize=334904 CPUtime=804.59 cores=0,2,4,6
/proc/16996/stat : 16996 (pwbo1.1) S 16994 16996 15608 0 -1 4202496 69437 0 0 0 79921 538 0 0 25 0 3 0 911051831 342941696 63353 33554432000 4194304 5714118 140734199126688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/16996/statm: 83726 63353 180 372 0 83351 0
[pid=16996/tid=16998] ppid=16994 vsize=334904 CPUtime=402.28 cores=0,2,4,6
/proc/16996/task/16998/stat : 16998 (pwbo1.1) R 16994 16996 15608 0 -1 4202560 48325 0 0 0 39950 278 0 0 25 0 3 0 911051832 342941696 63353 33554432000 4194304 5714118 140734199126688 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=16996/tid=16999] ppid=16994 vsize=334904 CPUtime=402.28 cores=0,2,4,6
/proc/16996/task/16999/stat : 16999 (pwbo1.1) R 16994 16996 15608 0 -1 4202560 20250 0 0 0 39969 259 0 0 25 0 3 0 911051832 342941696 63353 33554432000 4194304 5714118 140734199126688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 804.59
Current children cumulated vsize (KiB) 334904

[startup+462.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 17053
/proc/meminfo: memFree=29344008/32950928 swapFree=67048888/67111528
[pid=16996] ppid=16994 vsize=400440 CPUtime=924.58 cores=0,2,4,6
/proc/16996/stat : 16996 (pwbo1.1) S 16994 16996 15608 0 -1 4202496 81304 0 0 0 91832 626 0 0 25 0 3 0 911051831 410050560 74904 33554432000 4194304 5714118 140734199126688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/16996/statm: 100110 74904 180 372 0 99735 0
[pid=16996/tid=16998] ppid=16994 vsize=400440 CPUtime=462.27 cores=0,2,4,6
/proc/16996/task/16998/stat : 16998 (pwbo1.1) R 16994 16996 15608 0 -1 4202560 60187 0 0 0 45893 334 0 0 25 0 3 0 911051832 410050560 74904 33554432000 4194304 5714118 140734199126688 18446744073709551615 4319374 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=16996/tid=16999] ppid=16994 vsize=400440 CPUtime=462.29 cores=0,2,4,6
/proc/16996/task/16999/stat : 16999 (pwbo1.1) R 16994 16996 15608 0 -1 4202560 20255 0 0 0 45938 291 0 0 25 0 3 0 911051832 410050560 74904 33554432000 4194304 5714118 140734199126688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 924.58
Current children cumulated vsize (KiB) 400440

[startup+522.301 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 17054
/proc/meminfo: memFree=29297220/32950928 swapFree=67048888/67111528
[pid=16996] ppid=16994 vsize=400440 CPUtime=1044.58 cores=0,2,4,6
/proc/16996/stat : 16996 (pwbo1.1) S 16994 16996 15608 0 -1 4202496 81988 0 0 0 103746 712 0 0 25 0 3 0 911051831 410050560 71300 33554432000 4194304 5714118 140734199126688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/16996/statm: 100110 71300 180 372 0 99735 0
[pid=16996/tid=16998] ppid=16994 vsize=400440 CPUtime=522.27 cores=0,2,4,6
/proc/16996/task/16998/stat : 16998 (pwbo1.1) R 16994 16996 15608 0 -1 4202560 60200 0 0 0 51843 384 0 0 25 0 3 0 911051832 410050560 71300 33554432000 4194304 5714118 140734199126688 18446744073709551615 4319336 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=16996/tid=16999] ppid=16994 vsize=400440 CPUtime=522.3 cores=0,2,4,6
/proc/16996/task/16999/stat : 16999 (pwbo1.1) R 16994 16996 15608 0 -1 4202560 20926 0 0 0 51902 328 0 0 25 0 3 0 911051832 410050560 71300 33554432000 4194304 5714118 140734199126688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1044.58
Current children cumulated vsize (KiB) 400440

[startup+582.301 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 17056
/proc/meminfo: memFree=29247324/32950928 swapFree=67048888/67111528
[pid=16996] ppid=16994 vsize=400440 CPUtime=1164.58 cores=0,2,4,6
/proc/16996/stat : 16996 (pwbo1.1) S 16994 16996 15608 0 -1 4202496 82621 0 0 0 115671 787 0 0 25 0 3 0 911051831 410050560 71645 33554432000 4194304 5714118 140734199126688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/16996/statm: 100110 71645 180 372 0 99735 0
[pid=16996/tid=16998] ppid=16994 vsize=400440 CPUtime=582.28 cores=0,2,4,6
/proc/16996/task/16998/stat : 16998 (pwbo1.1) R 16994 16996 15608 0 -1 4202560 60213 0 0 0 57807 421 0 0 25 0 3 0 911051832 410050560 71645 33554432000 4194304 5714118 140734199126688 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=16996/tid=16999] ppid=16994 vsize=400440 CPUtime=582.29 cores=0,2,4,6
/proc/16996/task/16999/stat : 16999 (pwbo1.1) R 16994 16996 15608 0 -1 4202560 21546 0 0 0 57863 366 0 0 25 0 3 0 911051832 410050560 71645 33554432000 4194304 5714118 140734199126688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1164.58
Current children cumulated vsize (KiB) 400440

[startup+642.301 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 17058
/proc/meminfo: memFree=29196696/32950928 swapFree=67048888/67111528
[pid=16996] ppid=16994 vsize=400440 CPUtime=1284.59 cores=0,2,4,6
/proc/16996/stat : 16996 (pwbo1.1) S 16994 16996 15608 0 -1 4202496 82978 0 0 0 127617 842 0 0 25 0 3 0 911051831 410050560 71784 33554432000 4194304 5714118 140734199126688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/16996/statm: 100110 71784 180 372 0 99735 0
[pid=16996/tid=16998] ppid=16994 vsize=400440 CPUtime=642.28 cores=0,2,4,6
/proc/16996/task/16998/stat : 16998 (pwbo1.1) R 16994 16996 15608 0 -1 4202560 60258 0 0 0 63790 438 0 0 25 0 3 0 911051832 410050560 71784 33554432000 4194304 5714118 140734199126688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=16996/tid=16999] ppid=16994 vsize=400440 CPUtime=642.29 cores=0,2,4,6
/proc/16996/task/16999/stat : 16999 (pwbo1.1) R 16994 16996 15608 0 -1 4202560 21858 0 0 0 63825 404 0 0 25 0 3 0 911051832 410050560 71784 33554432000 4194304 5714118 140734199126688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1284.59
Current children cumulated vsize (KiB) 400440

[startup+702.301 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 17059
/proc/meminfo: memFree=29165652/32950928 swapFree=67048888/67111528
[pid=16996] ppid=16994 vsize=400576 CPUtime=1404.59 cores=0,2,4,6
/proc/16996/stat : 16996 (pwbo1.1) S 16994 16996 15608 0 -1 4202496 85253 0 0 0 139535 924 0 0 25 0 3 0 911051831 410189824 73985 33554432000 4194304 5714118 140734199126688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/16996/statm: 100144 73985 180 372 0 99769 0
[pid=16996/tid=16998] ppid=16994 vsize=400576 CPUtime=702.27 cores=0,2,4,6
/proc/16996/task/16998/stat : 16998 (pwbo1.1) R 16994 16996 15608 0 -1 4202560 60258 0 0 0 69749 478 0 0 25 0 3 0 911051832 410189824 73985 33554432000 4194304 5714118 140734199126688 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=16996/tid=16999] ppid=16994 vsize=400576 CPUtime=702.3 cores=0,2,4,6
/proc/16996/task/16999/stat : 16999 (pwbo1.1) R 16994 16996 15608 0 -1 4202560 24133 0 0 0 69784 446 0 0 25 0 3 0 911051832 410189824 73985 33554432000 4194304 5714118 140734199126688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1404.59
Current children cumulated vsize (KiB) 400576

[startup+762.301 s]
/proc/loadavg: 4.10 4.02 3.93 5/182 17070
/proc/meminfo: memFree=29011216/32950928 swapFree=67048888/67111528
[pid=16996] ppid=16994 vsize=466112 CPUtime=1524.6 cores=0,2,4,6
/proc/16996/stat : 16996 (pwbo1.1) S 16994 16996 15608 0 -1 4202496 109183 0 0 0 151440 1020 0 0 25 0 3 0 911051831 477298688 97558 33554432000 4194304 5714118 140734199126688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/16996/statm: 116528 97558 180 372 0 116153 0
[pid=16996/tid=16998] ppid=16994 vsize=466112 CPUtime=762.28 cores=0,2,4,6
/proc/16996/task/16998/stat : 16998 (pwbo1.1) R 16994 16996 15608 0 -1 4202560 83767 0 0 0 75691 537 0 0 25 0 3 0 911051832 477298688 97558 33554432000 4194304 5714118 140734199126688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=16996/tid=16999] ppid=16994 vsize=466112 CPUtime=762.3 cores=0,2,4,6
/proc/16996/task/16999/stat : 16999 (pwbo1.1) R 16994 16996 15608 0 -1 4202560 24554 0 0 0 75748 482 0 0 25 0 3 0 911051832 477298688 97558 33554432000 4194304 5714118 140734199126688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1524.6
Current children cumulated vsize (KiB) 466112

[startup+822.301 s]
/proc/loadavg: 4.03 4.01 3.93 5/182 17071
/proc/meminfo: memFree=28940468/32950928 swapFree=67048888/67111528
[pid=16996] ppid=16994 vsize=466288 CPUtime=1644.6 cores=0,2,4,6
/proc/16996/stat : 16996 (pwbo1.1) S 16994 16996 15608 0 -1 4202496 109958 0 0 0 163370 1090 0 0 25 0 3 0 911051831 477478912 95682 33554432000 4194304 5714118 140734199126688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/16996/statm: 116572 95682 180 372 0 116197 0
[pid=16996/tid=16998] ppid=16994 vsize=466288 CPUtime=822.28 cores=0,2,4,6
/proc/16996/task/16998/stat : 16998 (pwbo1.1) R 16994 16996 15608 0 -1 4202560 83768 0 0 0 81654 574 0 0 25 0 3 0 911051832 477478912 95682 33554432000 4194304 5714118 140734199126688 18446744073709551615 4319374 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=16996/tid=16999] ppid=16994 vsize=466288 CPUtime=822.29 cores=0,2,4,6
/proc/16996/task/16999/stat : 16999 (pwbo1.1) R 16994 16996 15608 0 -1 4202560 25328 0 0 0 81714 515 0 0 25 0 3 0 911051832 477478912 95682 33554432000 4194304 5714118 140734199126688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1644.6
Current children cumulated vsize (KiB) 466288

[startup+882.306 s]
/proc/loadavg: 4.01 4.01 3.93 5/182 17073
/proc/meminfo: memFree=28869604/32950928 swapFree=67048888/67111528
[pid=16996] ppid=16994 vsize=466288 CPUtime=1764.61 cores=0,2,4,6
/proc/16996/stat : 16996 (pwbo1.1) S 16994 16996 15608 0 -1 4202496 110978 0 0 0 175307 1154 0 0 25 0 3 0 911051831 477478912 96692 33554432000 4194304 5714118 140734199126688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/16996/statm: 116572 96692 180 372 0 116197 0
[pid=16996/tid=16998] ppid=16994 vsize=466288 CPUtime=882.29 cores=0,2,4,6
/proc/16996/task/16998/stat : 16998 (pwbo1.1) R 16994 16996 15608 0 -1 4202560 84181 0 0 0 87622 607 0 0 25 0 3 0 911051832 477478912 96692 33554432000 4194304 5714118 140734199126688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=16996/tid=16999] ppid=16994 vsize=466288 CPUtime=882.31 cores=0,2,4,6
/proc/16996/task/16999/stat : 16999 (pwbo1.1) R 16994 16996 15608 0 -1 4202560 25935 0 0 0 87684 547 0 0 25 0 3 0 911051832 477478912 96692 33554432000 4194304 5714118 140734199126688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1764.61
Current children cumulated vsize (KiB) 466288



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.001 s]
/proc/loadavg: 4.07 4.02 3.93 5/182 17073
/proc/meminfo: memFree=28854712/32950928 swapFree=67048888/67111528
[pid=16996] ppid=16994 vsize=466288 CPUtime=1800.01 cores=0,2,4,6
/proc/16996/stat : 16996 (pwbo1.1) S 16994 16996 15608 0 -1 4202496 111003 0 0 0 178830 1171 0 0 25 0 3 0 911051831 477478912 96717 33554432000 4194304 5714118 140734199126688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/16996/statm: 116572 96717 180 372 0 116197 0
[pid=16996/tid=16998] ppid=16994 vsize=466288 CPUtime=899.99 cores=0,2,4,6
/proc/16996/task/16998/stat : 16998 (pwbo1.1) R 16994 16996 15608 0 -1 4202560 84206 0 0 0 89384 615 0 0 25 0 3 0 911051832 477478912 96717 33554432000 4194304 5714118 140734199126688 18446744073709551615 4319336 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=16996/tid=16999] ppid=16994 vsize=466288 CPUtime=900.01 cores=0,2,4,6
/proc/16996/task/16999/stat : 16999 (pwbo1.1) R 16994 16996 15608 0 -1 4202560 25935 0 0 0 89445 556 0 0 25 0 3 0 911051832 477478912 96717 33554432000 4194304 5714118 140734199126688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 466288

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

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

[startup+900.001 s]
/proc/loadavg: 4.07 4.02 3.93 5/182 17073
/proc/meminfo: memFree=28854712/32950928 swapFree=67048888/67111528
[pid=16996] ppid=16994 vsize=466288 CPUtime=1800.01 cores=0,2,4,6
/proc/16996/stat : 16996 (pwbo1.1) S 16994 16996 15608 0 -1 4202496 111003 0 0 0 178830 1171 0 0 25 0 3 0 911051831 477478912 96717 33554432000 4194304 5714118 140734199126688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/16996/statm: 116572 96717 180 372 0 116197 0
[pid=16996/tid=16998] ppid=16994 vsize=466288 CPUtime=899.99 cores=0,2,4,6
/proc/16996/task/16998/stat : 16998 (pwbo1.1) R 16994 16996 15608 0 -1 4202560 84206 0 0 0 89384 615 0 0 25 0 3 0 911051832 477478912 96717 33554432000 4194304 5714118 140734199126688 18446744073709551615 4319336 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=16996/tid=16999] ppid=16994 vsize=466288 CPUtime=900.01 cores=0,2,4,6
/proc/16996/task/16999/stat : 16999 (pwbo1.1) R 16994 16996 15608 0 -1 4202560 25935 0 0 0 89445 556 0 0 25 0 3 0 911051832 477478912 96717 33554432000 4194304 5714118 140734199126688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 466288

Child status: 0
Real time (s): 900.032
CPU time (s): 1800.05
CPU user time (s): 1788.32
CPU system time (s): 11.7342
CPU usage (%): 199.999
Max. virtual memory (cumulated for all children) (KiB): 466288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.32
system time used= 11.7342
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111008
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= 179
involuntary context switches= 3244

runsolver used 1.42378 second user time and 2.95555 second system time

The end

Launcher Data 

Begin job on node122 at 2011-06-13 21:48:50
IDJOB=3500372
IDBENCH=2837
IDSOLVER=1954
FILE ID=node122/3500372-1307994530
RUNJOBID= node122-1307989672-15976
PBS_JOBID= 13559733
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-bench1.r.opb
COMMAND LINE= pwbo1.1 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3500372-1307994530/watcher-3500372-1307994530 -o /var/tmp/evaluation-result-3500372-1307994530/solver-3500372-1307994530 -C 1800 -W 1900 -M 15500  pwbo1.1 -file-format=opb HOME/instance-3500372-1307994530.opb

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

MD5SUM BENCH= cb09f183d3805e6536d629586026461f
RANDOM SEED=1137990973

node122.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.820
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.64
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.820
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	: 5332.75
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.820
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.75
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.820
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.83
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.820
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.75
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.820
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.75
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.820
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.820
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.97
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29063948 kB
Buffers:         54928 kB
Cached:        2542388 kB
SwapCached:      15172 kB
Active:        1250648 kB
Inactive:      2434484 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29063948 kB
SwapTotal:    67111528 kB
SwapFree:     67048888 kB
Dirty:            4332 kB
Writeback:           0 kB
AnonPages:     1084796 kB
Mapped:           9648 kB
Slab:           135488 kB
PageTables:       6776 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1291128 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= 2884 MiB
End job on node122 at 2011-06-13 22:03:52