Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisatp 2012-10-02 git-d91742b | SAT (TO) | 6 | 1800.05 | 1800.41 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-saucier.r.opb |
MD5SUM | aa80468537d69826ea16800f352007ec |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 6 |
Best CPU time to get the best result obtained on this benchmark | 661.163 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 7 |
Optimality of the best value was proved | NO |
Number of variables | 6207 |
Total number of constraints | 171 |
Number of constraints which are clauses | 171 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 5184 |
Number of terms in the objective function | 6207 |
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 | 6207 |
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 | 6207 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c Parsing PB file... 2.99/3.01 c Converting 171 PB-constraints to clauses... 2.99/3.02 c -- Unit propagations: (none) 2.99/3.02 c -- Detecting intervals from adjacent constraints: (none) 2.99/3.02 c -- Clauses(.)/Splits(s): ........................................................................................................................................................................... 2.99/3.07 ============================[ Search Statistics ]============================== 2.99/3.07 | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.07 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 2.99/3.07 =============================================================================== 2.99/3.07 =============================================================================== 2.99/3.07 c [1mFound solution: 12[0m 3.09/3.10 c ---[ 0]---> Adder-cost: 12398 maxlim: 6195 bits: 13/13 16.18/16.25 | Eliminated clauses: 0.00 Mb | 16.18/16.25 ============================[ Search Statistics ]============================== 16.18/16.25 | Conflicts | ORIGINAL | LEARNT | Progress | 16.18/16.25 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 16.18/16.25 =============================================================================== 16.18/16.25 | 100 | 17449 78858 778023 | 28914 100 1333 | 6.218 % | 16.18/16.25 | 250 | 17449 78858 778023 | 31806 250 536 | 6.218 % | 16.18/16.25 =============================================================================== 16.18/16.25 c [1mFound solution: 11[0m 16.18/16.28 c ---[ 0]---> Adder-cost: 0 maxlim: 6196 bits: 13/13 28.97/29.07 | Eliminated clauses: 0.00 Mb | 28.97/29.07 ============================[ Search Statistics ]============================== 28.97/29.07 | Conflicts | ORIGINAL | LEARNT | Progress | 28.97/29.07 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 28.97/29.07 =============================================================================== 28.97/29.07 | 466 | 17451 78873 778080 | 28920 466 309 | 6.222 % | 28.97/29.07 | 616 | 17451 78873 778080 | 31812 616 280 | 6.222 % | 28.97/29.07 | 841 | 17451 78873 778080 | 34993 841 210 | 6.222 % | 28.97/29.07 =============================================================================== 28.97/29.07 c [1mFound solution: 10[0m 29.07/29.11 c ---[ 0]---> Adder-cost: 0 maxlim: 6197 bits: 13/13 41.38/41.46 | Eliminated clauses: 0.00 Mb | 41.38/41.46 ============================[ Search Statistics ]============================== 41.38/41.46 | Conflicts | ORIGINAL | LEARNT | Progress | 41.38/41.46 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 41.38/41.46 =============================================================================== 41.38/41.46 =============================================================================== 41.38/41.46 c [1mFound solution: 9[0m 41.38/41.49 c ---[ 0]---> Adder-cost: 0 maxlim: 6198 bits: 13/13 55.87/55.98 | Eliminated clauses: 0.00 Mb | 55.87/55.98 ============================[ Search Statistics ]============================== 55.87/55.98 | Conflicts | ORIGINAL | LEARNT | Progress | 55.87/55.98 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 55.87/55.98 =============================================================================== 55.87/55.98 | 1028 | 17451 78880 778099 | 28922 1028 214 | 6.231 % | 55.87/55.98 | 1178 | 17451 78880 778099 | 31814 1178 219 | 6.231 % | 55.87/55.98 | 1403 | 17451 78880 778099 | 34996 1403 248 | 6.231 % | 55.87/55.98 | 1740 | 17451 78880 778099 | 38496 1740 278 | 6.231 % | 55.87/55.98 | 2246 | 17451 78880 778099 | 42345 2246 324 | 6.231 % | 55.87/55.98 | 3005 | 17451 78880 778099 | 46580 3005 373 | 6.231 % | 55.87/55.98 | 4144 | 17451 78880 778099 | 51238 4144 569 | 6.231 % | 55.87/55.98 =============================================================================== 55.87/55.98 c [1mFound solution: 8[0m 55.97/56.02 c ---[ 0]---> Adder-cost: 0 maxlim: 6199 bits: 13/13 84.16/84.28 | Eliminated clauses: 0.00 Mb | 84.16/84.28 ============================[ Search Statistics ]============================== 84.16/84.28 | Conflicts | ORIGINAL | LEARNT | Progress | 84.16/84.28 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 84.16/84.28 =============================================================================== 84.16/84.28 | 5290 | 16286 70725 745489 | 25932 5290 718 | 12.477 % | 84.16/84.28 | 5440 | 16286 70725 745489 | 28525 5440 723 | 12.477 % | 84.16/84.28 | 5665 | 16286 70725 745489 | 31378 5665 730 | 12.477 % | 84.16/84.28 | 6002 | 16286 70725 745489 | 34516 6002 738 | 12.477 % | 84.16/84.28 | 6508 | 16286 70725 745489 | 37967 6508 716 | 12.477 % | 84.16/84.28 | 7267 | 16286 70725 745489 | 41764 7267 664 | 12.477 % | 84.16/84.28 | 8406 | 16286 70725 745489 | 45941 8406 657 | 12.477 % | 84.16/84.28 | 10114 | 16286 70725 745489 | 50535 9958 584 | 12.477 % | 84.16/84.28 | 12676 | 16286 70725 745489 | 55588 12520 701 | 12.477 % | 84.16/84.28 | 16520 | 16286 70725 745489 | 61147 16364 897 | 12.477 % | 84.16/84.28 =============================================================================== 84.16/84.28 c [1mFound solution: 7[0m 84.27/84.32 c ---[ 0]---> Adder-cost: 0 maxlim: 6200 bits: 13/13 304.63/304.79 | Eliminated clauses: 0.00 Mb | 304.63/304.79 ============================[ Search Statistics ]============================== 304.63/304.79 | Conflicts | ORIGINAL | LEARNT | Progress | 304.63/304.79 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 304.63/304.79 =============================================================================== 304.63/304.79 | 19562 | 16288 70738 745536 | 25937 19406 1163 | 12.479 % | 304.63/304.79 | 19712 | 16288 70738 745536 | 28530 19556 1161 | 12.479 % | 304.63/304.79 | 19937 | 16288 70738 745536 | 31384 19781 1162 | 12.479 % | 304.63/304.79 | 20274 | 16288 70738 745536 | 34522 20118 1150 | 12.479 % | 304.63/304.79 | 20780 | 16288 70738 745536 | 37974 20624 1143 | 12.479 % | 304.63/304.79 | 21539 | 16288 70738 745536 | 41772 21383 1151 | 12.479 % | 304.63/304.79 | 22678 | 16288 70738 745536 | 45949 22522 1211 | 12.479 % | 304.63/304.79 | 24386 | 16288 70738 745536 | 50544 24230 1232 | 12.479 % | 304.63/304.79 | 26948 | 16288 70738 745536 | 55598 26792 1275 | 12.479 % | 304.63/304.79 | 30792 | 16288 70738 745536 | 61158 30636 1464 | 12.479 % | 304.63/304.79 | 36558 | 16288 70738 745536 | 67274 36402 1848 | 12.479 % | 304.63/304.79 | 45207 | 16288 70738 745536 | 74002 45051 2130 | 12.479 % | 304.63/304.79 | 58181 | 16288 70738 745536 | 81402 58025 2471 | 12.479 % | 304.63/304.79 =============================================================================== 304.63/304.79 c [1mFound solution: 6[0m 304.72/304.83 c ---[ 0]---> Adder-cost: 0 maxlim: 6201 bits: 13/13 1800.03/1800.40 | Eliminated clauses: 0.00 Mb | 1800.03/1800.40 ============================[ Search Statistics ]============================== 1800.03/1800.40 | Conflicts | ORIGINAL | LEARNT | Progress | 1800.03/1800.40 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 1800.03/1800.40 =============================================================================== 1800.03/1800.40 | 67220 | 16287 70734 745515 | 25935 23679 1925 | 12.483 % | 1800.03/1800.40 | 67370 | 16287 70734 745515 | 28529 23829 1927 | 12.483 % | 1800.03/1800.40 | 67595 | 16287 70734 745515 | 31382 24054 1915 | 12.483 % | 1800.03/1800.40 | 67932 | 16287 70734 745515 | 34520 24391 1915 | 12.483 % | 1800.03/1800.40 | 68438 | 16287 70734 745515 | 37972 24897 1916 | 12.483 % | 1800.03/1800.40 | 69197 | 16287 70734 745515 | 41769 25656 1899 | 12.483 % | 1800.03/1800.40 | 70336 | 16287 70734 745515 | 45946 26795 1879 | 12.483 % | 1800.03/1800.40 | 72044 | 16287 70734 745515 | 50541 28503 1924 | 12.483 % | 1800.03/1800.40 | 74606 | 16287 70734 745515 | 55595 31065 2046 | 12.483 % | 1800.03/1800.40 | 78450 | 16287 70734 745515 | 61155 34909 2146 | 12.483 % | 1800.03/1800.40 | 84216 | 16287 70734 745515 | 67270 40675 2274 | 12.483 % | 1800.03/1800.40 | 92865 | 16287 70734 745515 | 73997 49324 2391 | 12.483 % | 1800.03/1800.40 | 105839 | 16287 70734 745515 | 81397 62298 2720 | 12.483 % | 1800.03/1800.40 | 125300 | 16287 70734 745515 | 89537 81759 2871 | 12.483 % | 1800.03/1800.40 | 154492 | 16287 70734 745515 | 98491 45260 2017 | 12.483 % | 1800.03/1800.40 | 198281 | 16287 70734 745515 | 108340 89049 2586 | 12.483 % | 1800.03/1800.40 | 263965 | 16287 70734 745515 | 119174 70182 2650 | 12.483 % | 1800.03/1800.40 | 362491 | 16286 70734 745515 | 131091 72096 2397 | 12.488 % | 1800.03/1800.40 c 1800.03/1800.40 c *** TERMINATED *** 1800.03/1800.40 s SATISFIABLE 1800.03/1800.40 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 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207
OK 6
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4112647-1466556921/watcher-4112647-1466556921 -o /tmp/evaluation-result-4112647-1466556921/solver-4112647-1466556921 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466551503-31514 --watchdog 1960 minisatp HOME/instance-4112647-1466556921.opb pid=32218 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: 2.07 2.04 2.00 3/176 32221 /proc/meminfo: memFree=29992068/32872528 swapFree=303544/319896 [pid=32221] ppid=32218 vsize=7420 CPUtime=0 cores=0,2,4,6 /proc/32221/stat : 32221 (minisatp) R 32218 32221 31498 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 57738812 7598080 388 33554432000 4194304 5646918 140736820200496 140737000313272 4430317 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/32221/statm: 1855 388 84 355 0 1496 0 [startup+0.100091 s] /proc/loadavg: 2.07 2.04 2.00 3/176 32221 /proc/meminfo: memFree=29992068/32872528 swapFree=303544/319896 [pid=32221] ppid=32218 vsize=11756 CPUtime=0.09 cores=0,2,4,6 /proc/32221/stat : 32221 (minisatp) R 32218 32221 31498 0 -1 4202496 2471 0 0 0 9 0 0 0 20 0 1 0 57738812 12038144 1225 33554432000 4194304 5646918 140736820200496 140737000313272 4560700 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/32221/statm: 2939 1225 94 355 0 2580 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11756 [startup+0.200238 s] /proc/loadavg: 2.07 2.04 2.00 3/176 32221 /proc/meminfo: memFree=29992068/32872528 swapFree=303544/319896 [pid=32221] ppid=32218 vsize=13512 CPUtime=0.18 cores=0,2,4,6 /proc/32221/stat : 32221 (minisatp) R 32218 32221 31498 0 -1 4202496 4235 0 0 0 18 0 0 0 20 0 1 0 57738812 13836288 1292 33554432000 4194304 5646918 140736820200496 140737000313272 4831200 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/32221/statm: 3378 1292 94 355 0 3019 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 13512 [startup+0.300215 s] /proc/loadavg: 2.07 2.04 2.00 3/176 32221 /proc/meminfo: memFree=29992068/32872528 swapFree=303544/319896 [pid=32221] ppid=32218 vsize=16968 CPUtime=0.28 cores=0,2,4,6 /proc/32221/stat : 32221 (minisatp) R 32218 32221 31498 0 -1 4202496 5993 0 0 0 28 0 0 0 20 0 1 0 57738812 17375232 1894 33554432000 4194304 5646918 140736820200496 140737000313272 4248356 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/32221/statm: 4242 1894 94 355 0 3883 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 16968 [startup+0.700188 s] /proc/loadavg: 2.07 2.04 2.00 3/176 32221 /proc/meminfo: memFree=29992068/32872528 swapFree=303544/319896 [pid=32221] ppid=32218 vsize=27332 CPUtime=0.68 cores=0,2,4,6 /proc/32221/stat : 32221 (minisatp) R 32218 32221 31498 0 -1 4202496 13314 0 0 0 67 1 0 0 20 0 1 0 57738812 27987968 3170 33554432000 4194304 5646918 140736820200496 140736820198696 4460873 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/32221/statm: 6833 3170 94 355 0 6474 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 27332 [startup+1.50019 s] /proc/loadavg: 2.07 2.04 2.00 3/177 32222 /proc/meminfo: memFree=29975204/32872528 swapFree=303544/319896 [pid=32221] ppid=32218 vsize=47984 CPUtime=1.48 cores=0,2,4,6 /proc/32221/stat : 32221 (minisatp) R 32218 32221 31498 0 -1 4202496 27496 0 0 0 145 3 0 0 20 0 1 0 57738812 49135616 5852 33554432000 4194304 5646918 140736820200496 140736820198696 4823342 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/32221/statm: 11996 5852 94 355 0 11637 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 47984 [startup+3.10019 s] /proc/loadavg: 2.07 2.04 2.00 3/177 32222 /proc/meminfo: memFree=29958960/32872528 swapFree=303544/319896 [pid=32221] ppid=32218 vsize=47616 CPUtime=3.09 cores=0,2,4,6 /proc/32221/stat : 32221 (minisatp) R 32218 32221 31498 0 -1 4202496 55250 0 0 0 302 7 0 0 20 0 1 0 57738812 48758784 11013 33554432000 4194304 5646918 140736820200496 140736820198696 4831296 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/32221/statm: 11904 11013 120 355 0 11545 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 47616 [startup+6.30018 s] /proc/loadavg: 2.06 2.04 2.00 3/177 32222 /proc/meminfo: memFree=29945628/32872528 swapFree=303544/319896 [pid=32221] ppid=32218 vsize=50556 CPUtime=6.28 cores=0,2,4,6 /proc/32221/stat : 32221 (minisatp) R 32218 32221 31498 0 -1 4202496 55879 0 0 0 621 7 0 0 20 0 1 0 57738812 51769344 11642 33554432000 4194304 5646918 140736820200496 140736820199160 4824634 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/32221/statm: 12639 11642 125 355 0 12280 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 50556 [startup+12.7002 s] /proc/loadavg: 2.06 2.04 2.00 3/177 32222 /proc/meminfo: memFree=29944792/32872528 swapFree=303544/319896 [pid=32221] ppid=32218 vsize=51232 CPUtime=12.68 cores=0,2,4,6 /proc/32221/stat : 32221 (minisatp) R 32218 32221 31498 0 -1 4202496 56044 0 0 0 1261 7 0 0 20 0 1 0 57738812 52461568 11807 33554432000 4194304 5646918 140736820200496 140736819441208 4824681 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/32221/statm: 12808 11807 126 355 0 12449 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 51232 [startup+25.5003 s] /proc/loadavg: 2.04 2.04 2.00 4/177 32222 /proc/meminfo: memFree=29909304/32872528 swapFree=303544/319896 [pid=32221] ppid=32218 vsize=90504 CPUtime=25.47 cores=0,2,4,6 /proc/32221/stat : 32221 (minisatp) R 32218 32221 31498 0 -1 4202496 64534 0 0 0 2538 9 0 0 20 0 1 0 57738812 92676096 20954 33554432000 4194304 5646918 140736820200496 140736819440520 4346594 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/32221/statm: 22626 20954 183 355 0 22267 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 90504 [startup+51.1003 s] /proc/loadavg: 2.03 2.03 2.00 3/177 32222 /proc/meminfo: memFree=29907368/32872528 swapFree=303544/319896 [pid=32221] ppid=32218 vsize=92104 CPUtime=51.08 cores=0,2,4,6 /proc/32221/stat : 32221 (minisatp) R 32218 32221 31498 0 -1 4202496 65023 0 0 0 5098 10 0 0 20 0 1 0 57738812 94314496 21442 33554432000 4194304 5646918 140736820200496 140736820199160 4563529 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/32221/statm: 23026 21442 184 355 0 22667 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 92104 [startup+102.3 s] /proc/loadavg: 2.01 2.02 2.00 3/177 32224 /proc/meminfo: memFree=29785140/32872528 swapFree=303544/319896 [pid=32221] ppid=32218 vsize=224248 CPUtime=102.26 cores=0,2,4,6 /proc/32221/stat : 32221 (minisatp) R 32218 32221 31498 0 -1 4202496 70813 0 0 0 10214 12 0 0 20 0 1 0 57738812 229629952 51751 33554432000 4194304 5646918 140736820200496 140736820198808 4402764 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/32221/statm: 56062 51751 186 355 0 55703 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 224248 [startup+162.3 s] /proc/loadavg: 2.03 2.03 2.00 3/177 32225 /proc/meminfo: memFree=29538984/32872528 swapFree=303544/319896 [pid=32221] ppid=32218 vsize=668168 CPUtime=162.24 cores=0,2,4,6 /proc/32221/stat : 32221 (minisatp) R 32218 32221 31498 0 -1 4202496 76211 0 0 0 16208 16 0 0 20 0 1 0 57738812 684204032 113096 33554432000 4194304 5646918 140736820200496 140736820199192 4403147 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/32221/statm: 167042 113096 186 355 0 166683 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 668168 [startup+222.307 s] /proc/loadavg: 2.01 2.02 2.00 3/177 32226 /proc/meminfo: memFree=29372248/32872528 swapFree=303544/319896 [pid=32221] ppid=32218 vsize=683388 CPUtime=222.24 cores=0,2,4,6 /proc/32221/stat : 32221 (minisatp) R 32218 32221 31498 0 -1 4202496 80022 0 0 0 22205 19 0 0 20 0 1 0 57738812 699789312 154719 33554432000 4194304 5646918 140736820200496 140736820198632 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/32221/statm: 170847 154719 186 355 0 170488 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 683388 [startup+282.3 s] /proc/loadavg: 2.00 2.02 2.00 3/178 32230 /proc/meminfo: memFree=29226136/32872528 swapFree=303544/319896 [pid=32221] ppid=32218 vsize=1040896 CPUtime=282.22 cores=0,2,4,6 /proc/32221/stat : 32221 (minisatp) R 32218 32221 31498 0 -1 4202496 82553 0 0 0 28200 22 0 0 20 0 1 0 57738812 1065877504 190976 33554432000 4194304 5646918 140736820200496 140736820198632 4403159 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/32221/statm: 260224 190976 186 355 0 259865 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 1040896 [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 32254 /proc/meminfo: memFree=29569024/32872528 swapFree=303544/319896 [pid=32221] ppid=32218 vsize=483936 CPUtime=342.21 cores=0,2,4,6 /proc/32221/stat : 32221 (minisatp) R 32218 32221 31498 0 -1 4202496 85306 0 0 0 34192 29 0 0 20 0 1 0 57738812 495550464 104965 33554432000 4194304 5646918 140736820200496 140736820199192 4403184 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/32221/statm: 120984 104965 188 355 0 120625 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 483936 [startup+402.3 s] /proc/loadavg: 2.03 2.02 2.00 3/178 32256 /proc/meminfo: memFree=29305076/32872528 swapFree=303544/319896 [pid=32221] ppid=32218 vsize=701216 CPUtime=402.2 cores=0,2,4,6 /proc/32221/stat : 32221 (minisatp) R 32218 32221 31498 0 -1 4202496 86446 0 0 0 40186 34 0 0 20 0 1 0 57738812 718045184 172024 33554432000 4194304 5646918 140736820200496 140736820198632 4403159 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/32221/statm: 175304 172024 188 355 0 174945 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 701216 [startup+462.3 s] /proc/loadavg: 2.01 2.02 2.00 3/178 32257 /proc/meminfo: memFree=29121080/32872528 swapFree=303544/319896 [pid=32221] ppid=32218 vsize=1054380 CPUtime=462.19 cores=0,2,4,6 /proc/32221/stat : 32221 (minisatp) R 32218 32221 31498 0 -1 4202496 87975 0 0 0 46182 37 0 0 20 0 1 0 57738812 1079685120 216988 33554432000 4194304 5646918 140736820200496 140736820198632 4403159 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/32221/statm: 263595 216988 188 355 0 263236 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 1054380 [startup+522.3 s] /proc/loadavg: 2.00 2.01 2.00 3/178 32258 /proc/meminfo: memFree=28995712/32872528 swapFree=303544/319896 [pid=32221] ppid=32218 vsize=1060732 CPUtime=522.18 cores=0,2,4,6 /proc/32221/stat : 32221 (minisatp) R 32218 32221 31498 0 -1 4202496 89568 0 0 0 52179 39 0 0 20 0 1 0 57738812 1086189568 248730 33554432000 4194304 5646918 140736820200496 140736820198632 4403184 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/32221/statm: 265183 248730 188 355 0 264824 0 Current children cumulated CPU time (s) 522.18 Current children cumulated vsize (KiB) 1060732 [startup+582.3 s] /proc/loadavg: 2.00 2.01 2.00 3/178 32259 /proc/meminfo: memFree=28825360/32872528 swapFree=303544/319896 [pid=32221] ppid=32218 vsize=1633640 CPUtime=582.17 cores=0,2,4,6 /proc/32221/stat : 32221 (minisatp) R 32218 32221 31498 0 -1 4202496 91669 0 0 0 58171 46 0 0 20 0 1 0 57738812 1672847360 290689 33554432000 4194304 5646918 140736820200496 140736820198632 4403159 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/32221/statm: 408410 290689 188 355 0 408051 0 Current children cumulated CPU time (s) 582.17 Current children cumulated vsize (KiB) 1633640 ################ # More data... # ################ [startup+882.307 s] /proc/loadavg: 2.06 2.03 2.00 3/179 32324 /proc/meminfo: memFree=30195540/32872528 swapFree=303544/319896 [pid=32221] ppid=32218 vsize=1646060 CPUtime=882.09 cores=0,2,4,6 /proc/32221/stat : 32221 (minisatp) R 32218 32221 31498 0 -1 4202496 97747 0 0 0 88130 79 0 0 20 0 1 0 57738812 1685565440 322309 33554432000 4194304 5646918 140736820200496 140736820198632 4402784 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/32221/statm: 411515 322309 188 355 0 411156 0 Current children cumulated CPU time (s) 882.09 Current children cumulated vsize (KiB) 1646060 [startup+942.3 s] /proc/loadavg: 2.02 2.02 2.00 3/178 32325 /proc/meminfo: memFree=30980648/32872528 swapFree=303544/319896 [pid=32221] ppid=32218 vsize=516444 CPUtime=942.07 cores=0,2,4,6 /proc/32221/stat : 32221 (minisatp) R 32218 32221 31498 0 -1 4202496 99200 0 0 0 94116 91 0 0 20 0 1 0 57738812 528838656 109086 33554432000 4194304 5646918 140736820200496 140736820198600 4403147 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/32221/statm: 129111 109086 188 355 0 128752 0 Current children cumulated CPU time (s) 942.07 Current children cumulated vsize (KiB) 516444 [startup+1002.3 s] /proc/loadavg: 2.06 2.03 2.00 3/178 32326 /proc/meminfo: memFree=30784136/32872528 swapFree=303544/319896 [pid=32221] ppid=32218 vsize=732832 CPUtime=1002.07 cores=0,2,4,6 /proc/32221/stat : 32221 (minisatp) R 32218 32221 31498 0 -1 4202496 100078 0 0 0 100110 97 0 0 20 0 1 0 57738812 750419968 166174 33554432000 4194304 5646918 140736820200496 140736820198632 4403164 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/32221/statm: 183208 166174 188 355 0 182849 0 Current children cumulated CPU time (s) 1002.07 Current children cumulated vsize (KiB) 732832 [startup+1062.3 s] /proc/loadavg: 2.02 2.02 2.00 3/178 32328 /proc/meminfo: memFree=30614680/32872528 swapFree=303544/319896 [pid=32221] ppid=32218 vsize=1083644 CPUtime=1062.06 cores=0,2,4,6 /proc/32221/stat : 32221 (minisatp) R 32218 32221 31498 0 -1 4202496 101043 0 0 0 106107 99 0 0 20 0 1 0 57738812 1109651456 204953 33554432000 4194304 5646918 140736820200496 140736820198632 4403159 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/32221/statm: 270911 204953 188 355 0 270552 0 Current children cumulated CPU time (s) 1062.06 Current children cumulated vsize (KiB) 1083644 [startup+1122.3 s] /proc/loadavg: 2.09 2.04 2.01 3/178 32329 /proc/meminfo: memFree=30519536/32872528 swapFree=303544/319896 [pid=32221] ppid=32218 vsize=1084856 CPUtime=1122.05 cores=0,2,4,6 /proc/32221/stat : 32221 (minisatp) R 32218 32221 31498 0 -1 4202496 101377 0 0 0 112104 101 0 0 20 0 1 0 57738812 1110892544 234925 33554432000 4194304 5646918 140736820200496 140736820198632 4403173 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/32221/statm: 271214 234925 188 355 0 270855 0 Current children cumulated CPU time (s) 1122.05 Current children cumulated vsize (KiB) 1084856 [startup+1182.3 s] /proc/loadavg: 2.12 2.06 2.01 3/178 32330 /proc/meminfo: memFree=30407140/32872528 swapFree=303544/319896 [pid=32221] ppid=32218 vsize=1086452 CPUtime=1182.03 cores=0,2,4,6 /proc/32221/stat : 32221 (minisatp) R 32218 32221 31498 0 -1 4202496 101812 0 0 0 118100 103 0 0 20 0 1 0 57738812 1112526848 258676 33554432000 4194304 5646918 140736820200496 140736820198632 4403147 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/32221/statm: 271613 258676 188 355 0 271254 0 Current children cumulated CPU time (s) 1182.03 Current children cumulated vsize (KiB) 1086452 [startup+1242.3 s] /proc/loadavg: 2.08 2.06 2.01 3/178 32331 /proc/meminfo: memFree=30305168/32872528 swapFree=303544/319896 [pid=32221] ppid=32218 vsize=1655372 CPUtime=1242.02 cores=0,2,4,6 /proc/32221/stat : 32221 (minisatp) R 32218 32221 31498 0 -1 4202496 102966 0 0 0 124092 110 0 0 20 0 1 0 57738812 1695100928 287412 33554432000 4194304 5646918 140736820200496 140736820198632 4403173 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/32221/statm: 413843 287412 188 355 0 413484 0 Current children cumulated CPU time (s) 1242.02 Current children cumulated vsize (KiB) 1655372 [startup+1302.3 s] /proc/loadavg: 2.06 2.06 2.01 3/178 32332 /proc/meminfo: memFree=30020804/32872528 swapFree=303544/319896 [pid=32221] ppid=32218 vsize=1657060 CPUtime=1302.01 cores=0,2,4,6 /proc/32221/stat : 32221 (minisatp) R 32218 32221 31498 0 -1 4202496 103390 0 0 0 130089 112 0 0 20 0 1 0 57738812 1696829440 318496 33554432000 4194304 5646918 140736820200496 140736820198632 4403164 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/32221/statm: 414265 318496 188 355 0 413906 0 Current children cumulated CPU time (s) 1302.01 Current children cumulated vsize (KiB) 1657060 [startup+1362.3 s] /proc/loadavg: 2.11 2.07 2.01 3/185 32399 /proc/meminfo: memFree=30050160/32872528 swapFree=303544/319896 [pid=32221] ppid=32218 vsize=1658140 CPUtime=1362 cores=0,2,4,6 /proc/32221/stat : 32221 (minisatp) R 32218 32221 31498 0 -1 4202496 103707 0 0 0 136086 114 0 0 20 0 1 0 57738812 1697935360 347940 33554432000 4194304 5646918 140736820200496 140736820198632 4403184 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/32221/statm: 414535 347940 188 355 0 414176 0 Current children cumulated CPU time (s) 1362 Current children cumulated vsize (KiB) 1658140 [startup+1422.3 s] /proc/loadavg: 2.23 2.13 2.04 3/178 32539 /proc/meminfo: memFree=29840548/32872528 swapFree=303544/319896 [pid=32221] ppid=32218 vsize=1661356 CPUtime=1422 cores=0,2,4,6 /proc/32221/stat : 32221 (minisatp) R 32218 32221 31498 0 -1 4202496 104503 0 0 0 142085 115 0 0 20 0 1 0 57738812 1701228544 365599 33554432000 4194304 5646918 140736820200496 140736820198632 4403147 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/32221/statm: 415339 365599 188 355 0 414980 0 Current children cumulated CPU time (s) 1422 Current children cumulated vsize (KiB) 1661356 [startup+1482.3 s] /proc/loadavg: 2.08 2.10 2.03 3/178 32543 /proc/meminfo: memFree=29794432/32872528 swapFree=303544/319896 [pid=32221] ppid=32218 vsize=1663532 CPUtime=1481.98 cores=0,2,4,6 /proc/32221/stat : 32221 (minisatp) R 32218 32221 31498 0 -1 4202496 105023 0 0 0 148082 116 0 0 20 0 1 0 57738812 1703456768 382471 33554432000 4194304 5646918 140736820200496 140736820198632 4403138 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/32221/statm: 415883 382471 188 355 0 415524 0 Current children cumulated CPU time (s) 1481.98 Current children cumulated vsize (KiB) 1663532 [startup+1542.31 s] /proc/loadavg: 2.03 2.08 2.02 3/177 32544 /proc/meminfo: memFree=29715212/32872528 swapFree=303544/319896 [pid=32221] ppid=32218 vsize=1668172 CPUtime=1541.98 cores=0,2,4,6 /proc/32221/stat : 32221 (minisatp) R 32218 32221 31498 0 -1 4202496 106098 0 0 0 154081 117 0 0 20 0 1 0 57738812 1708208128 406030 33554432000 4194304 5646918 140736820200496 140736820198632 4403159 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/32221/statm: 417043 406030 188 355 0 416684 0 Current children cumulated CPU time (s) 1541.98 Current children cumulated vsize (KiB) 1668172 [startup+1602.3 s] /proc/loadavg: 2.06 2.08 2.02 3/177 32545 /proc/meminfo: memFree=29647312/32872528 swapFree=303544/319896 [pid=32221] ppid=32218 vsize=2593524 CPUtime=1601.96 cores=0,2,4,6 /proc/32221/stat : 32221 (minisatp) R 32218 32221 31498 0 -1 4202496 107301 0 0 0 160078 118 0 0 20 0 1 0 57738812 2655768576 424607 33554432000 4194304 5646918 140736820200496 140736820198744 4402788 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/32221/statm: 648381 424607 188 355 0 648022 0 Current children cumulated CPU time (s) 1601.96 Current children cumulated vsize (KiB) 2593524 [startup+1662.3 s] /proc/loadavg: 2.07 2.08 2.02 3/177 32547 /proc/meminfo: memFree=30724336/32872528 swapFree=303544/319896 [pid=32221] ppid=32218 vsize=756264 CPUtime=1661.95 cores=0,2,4,6 /proc/32221/stat : 32221 (minisatp) R 32218 32221 31498 0 -1 4202496 108859 0 0 0 166065 130 0 0 20 0 1 0 57738812 774414336 144163 33554432000 4194304 5646918 140736820200496 140736820198632 4403091 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/32221/statm: 189066 144163 188 355 0 188707 0 Current children cumulated CPU time (s) 1661.95 Current children cumulated vsize (KiB) 756264 [startup+1722.3 s] /proc/loadavg: 2.02 2.06 2.02 3/177 32548 /proc/meminfo: memFree=30634068/32872528 swapFree=303544/319896 [pid=32221] ppid=32218 vsize=758228 CPUtime=1721.94 cores=0,2,4,6 /proc/32221/stat : 32221 (minisatp) R 32218 32221 31498 0 -1 4202496 109388 0 0 0 172062 132 0 0 20 0 1 0 57738812 776425472 178418 33554432000 4194304 5646918 140736820200496 140736820198632 4400009 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/32221/statm: 189557 178418 188 355 0 189198 0 Current children cumulated CPU time (s) 1721.94 Current children cumulated vsize (KiB) 758228 [startup+1782.3 s] /proc/loadavg: 2.01 2.05 2.01 4/177 32549 /proc/meminfo: memFree=30527512/32872528 swapFree=303544/319896 [pid=32221] ppid=32218 vsize=1110992 CPUtime=1781.93 cores=0,2,4,6 /proc/32221/stat : 32221 (minisatp) R 32218 32221 31498 0 -1 4202496 110749 0 0 0 178059 134 0 0 20 0 1 0 57738812 1137655808 215038 33554432000 4194304 5646918 140736820200496 140736820198632 4403178 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/32221/statm: 277748 215038 188 355 0 277389 0 Current children cumulated CPU time (s) 1781.93 Current children cumulated vsize (KiB) 1110992 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.00 2.04 2.01 3/177 32549 /proc/meminfo: memFree=30422384/32872528 swapFree=303544/319896 [pid=32221] ppid=32218 vsize=1112160 CPUtime=1800.03 cores=0,2,4,6 /proc/32221/stat : 32221 (minisatp) R 32218 32221 31498 0 -1 4202496 111037 0 0 0 179868 135 0 0 20 0 1 0 57738812 1138851840 221969 33554432000 4194304 5646918 140736820200496 140736820198632 4403159 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/32221/statm: 278040 221969 188 355 0 277681 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1112160 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 32221 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.41 CPU time (s): 1800.05 CPU user time (s): 1798.69 CPU system time (s): 1.35679 CPU usage (%): 99.9801 Max. virtual memory (cumulated for all children) (KiB): 2937400 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.69 system time used= 1.35679 maximum resident set size= 1921856 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 111037 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= 139 involuntary context switches= 1920 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.49932 second user time and 6.96194 second system time The end
Begin job on node128 at 2016-06-22 02:55:21 IDJOB=4112647 IDBENCH=2850 IDSOLVER=2555 FILE ID=node128/4112647-1466556921 RUNJOBID= node128-1466551503-31514 PBS_JOBID= 19943331 Free space on /tmp= 71688 MiB SOLVER NAME= minisatp 2012-10-02 git-d91742b BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-saucier.r.opb COMMAND LINE= minisatp BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4112647-1466556921/watcher-4112647-1466556921 -o /tmp/evaluation-result-4112647-1466556921/solver-4112647-1466556921 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466551503-31514 --watchdog 1960 minisatp HOME/instance-4112647-1466556921.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= aa80468537d69826ea16800f352007ec RANDOM SEED=1525447274 node128.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29992860 kB Buffers: 32852 kB Cached: 210632 kB SwapCached: 2172 kB Active: 1662728 kB Inactive: 182236 kB Active(anon): 1602028 kB Inactive(anon): 1820 kB Active(file): 60700 kB Inactive(file): 180416 kB Unevictable: 319896 kB Mlocked: 303544 kB SwapTotal: 67108856 kB SwapFree: 67098916 kB Dirty: 8152 kB Writeback: 28 kB AnonPages: 1924796 kB Mapped: 8836 kB Shmem: 0 kB Slab: 579144 kB SReclaimable: 22800 kB SUnreclaim: 556344 kB KernelStack: 1464 kB PageTables: 8012 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2155868 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1572864 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-4112647-1466556921.opb Free space on /tmp at the end= 71696 MiB End job on node128 at 2016-06-22 03:25:22