Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB12: minisatp 1.0-2-g022594c | SAT | 780.063 | 780.268 |
Name | /DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K107.opb |
MD5SUM | f523e4bc7acd98550e38ca37c8d9200b |
Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 100.583 |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 7276 |
Total number of constraints | 7492 |
Number of constraints which are clauses | 7385 |
Number of constraints which are cardinality constraints (but not clauses) | 107 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 107 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 108 |
Number of bits of the biggest sum of numbers | 7 |
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... 0.00/0.02 c Converting 7490 PB-constraints to clauses... 0.00/0.02 c -- Unit propagations: pppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp 0.00/0.02 c -- Detecting intervals from adjacent constraints: ######################################################################################################### 0.00/0.02 c -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. 0.00/0.03 c ---[ 210]---> BDD-cost: 133 0.00/0.03 c ---[ 208]---> BDD-cost: 133 0.00/0.03 c ---[ 206]---> BDD-cost: 133 0.00/0.03 c ---[ 204]---> BDD-cost: 133 0.00/0.03 c ---[ 202]---> BDD-cost: 133 0.00/0.03 c ---[ 200]---> BDD-cost: 133 0.00/0.03 c ---[ 198]---> BDD-cost: 133 0.00/0.03 c ---[ 196]---> BDD-cost: 133 0.00/0.03 c ---[ 194]---> BDD-cost: 133 0.00/0.03 c ---[ 192]---> BDD-cost: 133 0.00/0.03 c ---[ 190]---> BDD-cost: 133 0.00/0.03 c ---[ 188]---> BDD-cost: 133 0.00/0.03 c ---[ 186]---> BDD-cost: 133 0.00/0.03 c ---[ 184]---> BDD-cost: 133 0.00/0.03 c ---[ 182]---> BDD-cost: 133 0.00/0.03 c ---[ 180]---> BDD-cost: 133 0.00/0.03 c ---[ 178]---> BDD-cost: 133 0.00/0.03 c ---[ 176]---> BDD-cost: 133 0.00/0.03 c ---[ 174]---> BDD-cost: 133 0.00/0.03 c ---[ 172]---> BDD-cost: 133 0.00/0.03 c ---[ 170]---> BDD-cost: 133 0.00/0.03 c ---[ 168]---> BDD-cost: 133 0.00/0.03 c ---[ 166]---> BDD-cost: 133 0.00/0.03 c ---[ 164]---> BDD-cost: 133 0.00/0.03 c ---[ 162]---> BDD-cost: 133 0.00/0.03 c ---[ 160]---> BDD-cost: 133 0.00/0.03 c ---[ 158]---> BDD-cost: 133 0.00/0.03 c ---[ 156]---> BDD-cost: 133 0.00/0.03 c ---[ 154]---> BDD-cost: 133 0.00/0.03 c ---[ 152]---> BDD-cost: 133 0.00/0.03 c ---[ 150]---> BDD-cost: 133 0.00/0.03 c ---[ 148]---> BDD-cost: 133 0.00/0.03 c ---[ 146]---> BDD-cost: 133 0.00/0.03 c ---[ 144]---> BDD-cost: 133 0.00/0.03 c ---[ 142]---> BDD-cost: 133 0.00/0.03 c ---[ 140]---> BDD-cost: 133 0.00/0.03 c ---[ 138]---> BDD-cost: 133 0.00/0.03 c ---[ 136]---> BDD-cost: 133 0.00/0.03 c ---[ 134]---> BDD-cost: 133 0.00/0.03 c ---[ 132]---> BDD-cost: 133 0.00/0.03 c ---[ 130]---> BDD-cost: 133 0.00/0.03 c ---[ 128]---> BDD-cost: 133 0.00/0.03 c ---[ 126]---> BDD-cost: 133 0.00/0.03 c ---[ 124]---> BDD-cost: 133 0.00/0.03 c ---[ 122]---> BDD-cost: 133 0.00/0.03 c ---[ 120]---> BDD-cost: 133 0.00/0.03 c ---[ 118]---> BDD-cost: 133 0.00/0.03 c ---[ 116]---> BDD-cost: 133 0.00/0.03 c ---[ 114]---> BDD-cost: 133 0.00/0.03 c ---[ 112]---> BDD-cost: 133 0.00/0.03 c ---[ 110]---> BDD-cost: 133 0.00/0.03 c ---[ 108]---> BDD-cost: 133 0.00/0.03 c ---[ 106]---> BDD-cost: 133 0.00/0.03 c ---[ 104]---> BDD-cost: 133 0.00/0.03 c ---[ 102]---> BDD-cost: 133 0.00/0.03 c ---[ 100]---> BDD-cost: 133 0.00/0.03 c ---[ 98]---> BDD-cost: 133 0.00/0.03 c ---[ 96]---> BDD-cost: 133 0.00/0.03 c ---[ 94]---> BDD-cost: 133 0.00/0.03 c ---[ 92]---> BDD-cost: 133 0.00/0.03 c ---[ 90]---> BDD-cost: 133 0.00/0.03 c ---[ 88]---> BDD-cost: 133 0.00/0.03 c ---[ 86]---> BDD-cost: 133 0.00/0.03 c ---[ 84]---> BDD-cost: 133 0.00/0.03 c ---[ 82]---> BDD-cost: 133 0.00/0.03 c ---[ 80]---> BDD-cost: 133 0.00/0.03 c ---[ 78]---> BDD-cost: 133 0.00/0.03 c ---[ 76]---> BDD-cost: 133 0.00/0.03 c ---[ 74]---> BDD-cost: 133 0.00/0.03 c ---[ 72]---> BDD-cost: 133 0.00/0.03 c ---[ 70]---> BDD-cost: 133 0.00/0.03 c ---[ 68]---> BDD-cost: 133 0.00/0.03 c ---[ 66]---> BDD-cost: 133 0.00/0.03 c ---[ 64]---> BDD-cost: 133 0.00/0.03 c ---[ 62]---> BDD-cost: 133 0.00/0.03 c ---[ 60]---> BDD-cost: 133 0.00/0.03 c ---[ 58]---> BDD-cost: 133 0.00/0.03 c ---[ 56]---> BDD-cost: 133 0.00/0.03 c ---[ 54]---> BDD-cost: 133 0.00/0.03 c ---[ 52]---> BDD-cost: 133 0.00/0.03 c ---[ 50]---> BDD-cost: 133 0.00/0.03 c ---[ 48]---> BDD-cost: 133 0.00/0.03 c ---[ 46]---> BDD-cost: 133 0.00/0.03 c ---[ 44]---> BDD-cost: 133 0.00/0.03 c ---[ 42]---> BDD-cost: 133 0.00/0.03 c ---[ 40]---> BDD-cost: 133 0.00/0.03 c ---[ 38]---> BDD-cost: 133 0.00/0.03 c ---[ 36]---> BDD-cost: 133 0.00/0.03 c ---[ 34]---> BDD-cost: 133 0.00/0.03 c ---[ 32]---> BDD-cost: 133 0.00/0.03 c ---[ 30]---> BDD-cost: 133 0.00/0.03 c ---[ 28]---> BDD-cost: 133 0.00/0.03 c ---[ 26]---> BDD-cost: 133 0.00/0.03 c ---[ 24]---> BDD-cost: 133 0.00/0.03 c ---[ 22]---> BDD-cost: 133 0.00/0.03 c ---[ 20]---> BDD-cost: 133 0.00/0.03 c ---[ 18]---> BDD-cost: 133 0.00/0.03 c ---[ 16]---> BDD-cost: 133 0.00/0.03 c ---[ 14]---> BDD-cost: 129 0.00/0.03 c ---[ 12]---> BDD-cost: 115 0.00/0.03 c ---[ 10]---> BDD-cost: 93 0.00/0.03 c ---[ 8]---> BDD-cost: 65 0.00/0.03 c ---[ 6]---> BDD-cost: 47 0.00/0.03 c ---[ 4]---> BDD-cost: 25 0.00/0.03 c ---[ 2]---> BDD-cost: 5 0.00/0.04 c ==================================[MINISAT+]================================== 0.00/0.04 c | Conflicts | Original | Learnt | Progress | 0.00/0.04 c | | Clauses Literals | Max Clauses Literals LPC | | 0.00/0.04 c ============================================================================== 0.00/0.04 c | 0 | 40707 118246 | 13569 0 0 -nan | 0.000 % | 0.00/0.06 c | 100 | 40707 118246 | 14925 100 14377 143.8 | 2.246 % | 0.00/0.08 c | 250 | 40707 118246 | 16418 250 29707 118.8 | 2.246 % | 0.00/0.11 c | 477 | 40707 118246 | 18060 477 52159 109.3 | 2.246 % | 0.00/0.15 c | 814 | 40707 118246 | 19866 814 101643 124.9 | 2.246 % | 0.00/0.28 c | 1322 | 40707 118246 | 21853 1322 252450 191.0 | 2.246 % | 0.00/0.41 c | 2081 | 40704 118239 | 24038 2080 472125 227.0 | 2.251 % | 0.00/0.65 c | 3220 | 40704 118239 | 26442 3219 862445 267.9 | 2.251 % | 0.00/0.95 c | 4929 | 40611 117982 | 29086 4923 1214708 246.7 | 2.472 % | 1.29/1.37 c | 7492 | 40611 117982 | 31994 7486 1684415 225.0 | 2.472 % | 2.08/2.12 c | 11336 | 40608 117975 | 35194 11327 2656016 234.5 | 2.477 % | 3.18/3.23 c | 17104 | 40605 117968 | 38713 17093 3840798 224.7 | 2.482 % | 5.08/5.14 c | 25756 | 40605 117968 | 42585 25745 5519969 214.4 | 2.482 % | 8.79/8.81 c | 38735 | 40605 117968 | 46843 38724 8772067 226.5 | 2.482 % | 14.17/14.29 c | 58196 | 40605 117968 | 51528 27251 5907857 216.8 | 2.482 % | 25.37/25.43 c | 87393 | 40605 117968 | 56681 20112 6745845 335.4 | 2.482 % | 39.36/39.40 c | 131183 | 40605 117968 | 62349 26190 5728766 218.7 | 2.482 % | 59.84/59.95 c | 196867 | 40602 117961 | 68584 49573 14154448 285.5 | 2.487 % | 96.74/96.88 c | 295393 | 40602 117961 | 75442 49718 11854376 238.4 | 2.487 % | 159.22/159.36 c | 443182 | 40602 117961 | 82986 45736 9260621 202.5 | 2.487 % | 248.70/248.87 c | 664867 | 40602 117961 | 91285 24667 9248237 374.9 | 2.487 % | 404.97/405.19 c | 997392 | 40602 117961 | 100413 97644 42653306 436.8 | 2.487 % | 779.99/780.26 c ============================================================================== 779.99/780.26 c [1mSATISFIABLE: No goal function specified.[0m 779.99/780.26 s SATISFIABLE 779.99/780.26 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 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 x6411 -x6412 x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 x6618 -x6619 -x6620 -x6621 x6622 -x6623 x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 x6675 -x6676 -x6677 -x6678 -x6679 x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 x6753 -x6754 x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 x7276 779.99/780.26 c _______________________________________________________________________________ 779.99/780.26 c 779.99/780.26 c restarts : 22 779.99/780.26 c conflicts : 1494680 (1917 /sec) 779.99/780.26 c decisions : 11146154 (14293 /sec) 779.99/780.26 c propagations : 0 (0 /sec) 779.99/780.26 c inspects : 0 (0 /sec) 779.99/780.26 c CPU time : 779.853 s 779.99/780.26 c _______________________________________________________________________________
OK 0
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3722889-1338579062/watcher-3722889-1338579062 -o /tmp/evaluation-result-3722889-1338579062/solver-3722889-1338579062 -C 1800 -W 1900 -M 15500 minisat+_script HOME/instance-3722889-1338579062.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: 2.03 2.01 2.00 3/177 24953 /proc/meminfo: memFree=29845752/32873648 swapFree=7116/7116 [pid=24953] ppid=24951 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/24953/stat : 24953 (minisat+_script) S 24951 24953 21013 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 324031639 9367552 277 33554432000 4194304 5064252 140733255166160 140733255165072 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/24953/statm: 2287 277 236 213 0 72 0 [startup+0.100552 s] /proc/loadavg: 2.03 2.01 2.00 3/177 24953 /proc/meminfo: memFree=29845752/32873648 swapFree=7116/7116 [pid=24953] ppid=24951 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/24953/stat : 24953 (minisat+_script) S 24951 24953 21013 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 324031639 9367552 277 33554432000 4194304 5064252 140733255166160 140733255165072 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/24953/statm: 2287 277 236 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.200252 s] /proc/loadavg: 2.03 2.01 2.00 3/177 24953 /proc/meminfo: memFree=29845752/32873648 swapFree=7116/7116 [pid=24953] ppid=24951 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/24953/stat : 24953 (minisat+_script) S 24951 24953 21013 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 324031639 9367552 277 33554432000 4194304 5064252 140733255166160 140733255165072 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/24953/statm: 2287 277 236 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300213 s] /proc/loadavg: 2.03 2.01 2.00 3/177 24953 /proc/meminfo: memFree=29845752/32873648 swapFree=7116/7116 [pid=24953] ppid=24951 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/24953/stat : 24953 (minisat+_script) S 24951 24953 21013 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 324031639 9367552 277 33554432000 4194304 5064252 140733255166160 140733255165072 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/24953/statm: 2287 277 236 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700112 s] /proc/loadavg: 2.03 2.01 2.00 3/177 24953 /proc/meminfo: memFree=29845752/32873648 swapFree=7116/7116 [pid=24953] ppid=24951 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/24953/stat : 24953 (minisat+_script) S 24951 24953 21013 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 324031639 9367552 277 33554432000 4194304 5064252 140733255166160 140733255165072 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/24953/statm: 2287 277 236 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50021 s] /proc/loadavg: 2.03 2.01 2.00 3/179 24958 /proc/meminfo: memFree=29832460/32873648 swapFree=7116/7116 [pid=24953] ppid=24951 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/24953/stat : 24953 (minisat+_script) S 24951 24953 21013 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 324031639 9367552 277 33554432000 4194304 5064252 140733255166160 140733255165072 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/24953/statm: 2287 277 236 213 0 72 0 [pid=24957] ppid=24953 vsize=17224 CPUtime=1.49 cores=0,2,4,6 /proc/24957/stat : 24957 (minisat+_64-bit) R 24953 24953 21013 0 -1 4202496 4097 0 0 0 149 0 0 0 20 0 1 0 324031640 17637376 3995 33554432000 4194304 5276501 140735771894336 140735771892328 4633200 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24957/statm: 4306 3995 117 265 0 4038 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 26372 [startup+3.1002 s] /proc/loadavg: 2.03 2.01 2.00 3/179 24958 /proc/meminfo: memFree=29825616/32873648 swapFree=7116/7116 [pid=24953] ppid=24951 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/24953/stat : 24953 (minisat+_script) S 24951 24953 21013 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 324031639 9367552 277 33554432000 4194304 5064252 140733255166160 140733255165072 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/24953/statm: 2287 277 236 213 0 72 0 [pid=24957] ppid=24953 vsize=26072 CPUtime=3.08 cores=0,2,4,6 /proc/24957/stat : 24957 (minisat+_64-bit) R 24953 24953 21013 0 -1 4202496 6341 0 0 0 307 1 0 0 20 0 1 0 324031640 26697728 6248 33554432000 4194304 5276501 140735771894336 140735771891928 4633200 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24957/statm: 6518 6248 117 265 0 6250 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 35220 [startup+6.30022 s] /proc/loadavg: 2.03 2.01 2.00 3/179 24958 /proc/meminfo: memFree=29809612/32873648 swapFree=7116/7116 [pid=24953] ppid=24951 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/24953/stat : 24953 (minisat+_script) S 24951 24953 21013 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 324031639 9367552 277 33554432000 4194304 5064252 140733255166160 140733255165072 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/24953/statm: 2287 277 236 213 0 72 0 [pid=24957] ppid=24953 vsize=39868 CPUtime=6.28 cores=0,2,4,6 /proc/24957/stat : 24957 (minisat+_64-bit) R 24953 24953 21013 0 -1 4202496 9744 0 0 0 626 2 0 0 20 0 1 0 324031640 40824832 9651 33554432000 4194304 5276501 140735771894336 140735771892328 4406161 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24957/statm: 9967 9651 117 265 0 9699 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 49016 [startup+12.7003 s] /proc/loadavg: 2.02 2.01 2.00 3/179 24958 /proc/meminfo: memFree=29782892/32873648 swapFree=7116/7116 [pid=24953] ppid=24951 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/24953/stat : 24953 (minisat+_script) S 24951 24953 21013 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 324031639 9367552 277 33554432000 4194304 5064252 140733255166160 140733255165072 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/24953/statm: 2287 277 236 213 0 72 0 [pid=24957] ppid=24953 vsize=63288 CPUtime=12.68 cores=0,2,4,6 /proc/24957/stat : 24957 (minisat+_64-bit) R 24953 24953 21013 0 -1 4202496 15611 0 0 0 1264 4 0 0 20 0 1 0 324031640 64806912 15518 33554432000 4194304 5276501 140735771894336 140735771892520 4394876 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24957/statm: 15822 15518 117 265 0 15554 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 72436 [startup+25.5003 s] /proc/loadavg: 2.02 2.01 2.00 3/179 24958 /proc/meminfo: memFree=29764384/32873648 swapFree=7116/7116 [pid=24953] ppid=24951 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/24953/stat : 24953 (minisat+_script) S 24951 24953 21013 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 324031639 9367552 277 33554432000 4194304 5064252 140733255166160 140733255165072 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/24953/statm: 2287 277 236 213 0 72 0 [pid=24957] ppid=24953 vsize=82508 CPUtime=25.46 cores=0,2,4,6 /proc/24957/stat : 24957 (minisat+_64-bit) R 24953 24953 21013 0 -1 4202496 20430 0 0 0 2541 5 0 0 20 0 1 0 324031640 84488192 20321 33554432000 4194304 5276501 140735771894336 140735771892328 4399951 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24957/statm: 20627 20321 117 265 0 20359 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 91656 [startup+51.1003 s] /proc/loadavg: 2.01 2.01 2.00 3/179 24958 /proc/meminfo: memFree=29754640/32873648 swapFree=7116/7116 [pid=24953] ppid=24951 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/24953/stat : 24953 (minisat+_script) S 24951 24953 21013 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 324031639 9367552 277 33554432000 4194304 5064252 140733255166160 140733255165072 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/24953/statm: 2287 277 236 213 0 72 0 [pid=24957] ppid=24953 vsize=92404 CPUtime=51.05 cores=0,2,4,6 /proc/24957/stat : 24957 (minisat+_64-bit) R 24953 24953 21013 0 -1 4202496 22876 0 0 0 5099 6 0 0 20 0 1 0 324031640 94621696 22753 33554432000 4194304 5276501 140735771894336 140735771892472 4399816 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24957/statm: 23101 22753 117 265 0 22833 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 101552 [startup+102.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24958 /proc/meminfo: memFree=29729148/32873648 swapFree=7116/7116 [pid=24953] ppid=24951 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/24953/stat : 24953 (minisat+_script) S 24951 24953 21013 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 324031639 9367552 277 33554432000 4194304 5064252 140733255166160 140733255165072 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/24953/statm: 2287 277 236 213 0 72 0 [pid=24957] ppid=24953 vsize=116792 CPUtime=102.24 cores=0,2,4,6 /proc/24957/stat : 24957 (minisat+_64-bit) R 24953 24953 21013 0 -1 4202496 29015 0 0 0 10218 6 0 0 20 0 1 0 324031640 119595008 28890 33554432000 4194304 5276501 140735771894336 140735771892584 4405521 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24957/statm: 29198 28890 117 265 0 28930 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 125940 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24959 /proc/meminfo: memFree=29729272/32873648 swapFree=7116/7116 [pid=24953] ppid=24951 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/24953/stat : 24953 (minisat+_script) S 24951 24953 21013 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 324031639 9367552 277 33554432000 4194304 5064252 140733255166160 140733255165072 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/24953/statm: 2287 277 236 213 0 72 0 [pid=24957] ppid=24953 vsize=116792 CPUtime=162.22 cores=0,2,4,6 /proc/24957/stat : 24957 (minisat+_64-bit) R 24953 24953 21013 0 -1 4202496 29027 0 0 0 16216 6 0 0 20 0 1 0 324031640 119595008 28902 33554432000 4194304 5276501 140735771894336 140735771892584 4396932 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24957/statm: 29198 28902 117 265 0 28930 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 125940 [startup+222.307 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24959 /proc/meminfo: memFree=29696936/32873648 swapFree=7116/7116 [pid=24953] ppid=24951 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/24953/stat : 24953 (minisat+_script) S 24951 24953 21013 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 324031639 9367552 277 33554432000 4194304 5064252 140733255166160 140733255165072 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/24953/statm: 2287 277 236 213 0 72 0 [pid=24957] ppid=24953 vsize=140096 CPUtime=222.22 cores=0,2,4,6 /proc/24957/stat : 24957 (minisat+_64-bit) R 24953 24953 21013 0 -1 4202496 34843 0 0 0 22214 8 0 0 20 0 1 0 324031640 143458304 34715 33554432000 4194304 5276501 140735771894336 140735771892520 4395043 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24957/statm: 35024 34715 117 265 0 34756 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 149244 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24959 /proc/meminfo: memFree=29633164/32873648 swapFree=7116/7116 [pid=24953] ppid=24951 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/24953/stat : 24953 (minisat+_script) S 24951 24953 21013 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 324031639 9367552 277 33554432000 4194304 5064252 140733255166160 140733255165072 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/24953/statm: 2287 277 236 213 0 72 0 [pid=24957] ppid=24953 vsize=162692 CPUtime=282.19 cores=0,2,4,6 /proc/24957/stat : 24957 (minisat+_64-bit) R 24953 24953 21013 0 -1 4202496 40426 0 0 0 28209 10 0 0 20 0 1 0 324031640 166596608 40291 33554432000 4194304 5276501 140735771894336 140735771892584 4395122 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24957/statm: 40673 40291 117 265 0 40405 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 171840 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24959 /proc/meminfo: memFree=29604644/32873648 swapFree=7116/7116 [pid=24953] ppid=24951 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/24953/stat : 24953 (minisat+_script) S 24951 24953 21013 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 324031639 9367552 277 33554432000 4194304 5064252 140733255166160 140733255165072 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/24953/statm: 2287 277 236 213 0 72 0 [pid=24957] ppid=24953 vsize=162692 CPUtime=342.18 cores=0,2,4,6 /proc/24957/stat : 24957 (minisat+_64-bit) R 24953 24953 21013 0 -1 4202496 40432 0 0 0 34208 10 0 0 20 0 1 0 324031640 166596608 40297 33554432000 4194304 5276501 140735771894336 140735771892584 4400448 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24957/statm: 40673 40297 117 265 0 40405 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 171840 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24959 /proc/meminfo: memFree=29540392/32873648 swapFree=7116/7116 [pid=24953] ppid=24951 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/24953/stat : 24953 (minisat+_script) S 24951 24953 21013 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 324031639 9367552 277 33554432000 4194304 5064252 140733255166160 140733255165072 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/24953/statm: 2287 277 236 213 0 72 0 [pid=24957] ppid=24953 vsize=212028 CPUtime=402.17 cores=0,2,4,6 /proc/24957/stat : 24957 (minisat+_64-bit) R 24953 24953 21013 0 -1 4202496 52763 0 0 0 40204 13 0 0 20 0 1 0 324031640 217116672 52628 33554432000 4194304 5276501 140735771894336 140735771892328 4399904 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24957/statm: 53007 52628 117 265 0 52739 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 221176 [startup+462.3 s] /proc/loadavg: 2.04 2.01 2.00 3/179 24960 /proc/meminfo: memFree=29528380/32873648 swapFree=7116/7116 [pid=24953] ppid=24951 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/24953/stat : 24953 (minisat+_script) S 24951 24953 21013 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 324031639 9367552 277 33554432000 4194304 5064252 140733255166160 140733255165072 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/24953/statm: 2287 277 236 213 0 72 0 [pid=24957] ppid=24953 vsize=222864 CPUtime=462.16 cores=0,2,4,6 /proc/24957/stat : 24957 (minisat+_64-bit) R 24953 24953 21013 0 -1 4202496 55449 0 0 0 46201 15 0 0 20 0 1 0 324031640 228212736 55314 33554432000 4194304 5276501 140735771894336 140735771891928 4399816 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24957/statm: 55716 55314 117 265 0 55448 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 232012 [startup+522.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 24960 /proc/meminfo: memFree=29522996/32873648 swapFree=7116/7116 [pid=24953] ppid=24951 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/24953/stat : 24953 (minisat+_script) S 24951 24953 21013 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 324031639 9367552 277 33554432000 4194304 5064252 140733255166160 140733255165072 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/24953/statm: 2287 277 236 213 0 72 0 [pid=24957] ppid=24953 vsize=222864 CPUtime=522.13 cores=0,2,4,6 /proc/24957/stat : 24957 (minisat+_64-bit) R 24953 24953 21013 0 -1 4202496 55486 0 0 0 52198 15 0 0 20 0 1 0 324031640 228212736 55337 33554432000 4194304 5276501 140735771894336 140735771891928 4399913 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24957/statm: 55716 55337 117 265 0 55448 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 232012 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/180 24963 /proc/meminfo: memFree=29485068/32873648 swapFree=7116/7116 [pid=24953] ppid=24951 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/24953/stat : 24953 (minisat+_script) S 24951 24953 21013 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 324031639 9367552 277 33554432000 4194304 5064252 140733255166160 140733255165072 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/24953/statm: 2287 277 236 213 0 72 0 [pid=24957] ppid=24953 vsize=262280 CPUtime=582.12 cores=0,2,4,6 /proc/24957/stat : 24957 (minisat+_64-bit) R 24953 24953 21013 0 -1 4202496 65196 0 0 0 58194 18 0 0 20 0 1 0 324031640 268574720 65072 33554432000 4194304 5276501 140735771894336 140735771892520 4399918 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24957/statm: 65570 65072 117 265 0 65302 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 271428 [startup+642.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24963 /proc/meminfo: memFree=29478132/32873648 swapFree=7116/7116 [pid=24953] ppid=24951 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/24953/stat : 24953 (minisat+_script) S 24951 24953 21013 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 324031639 9367552 277 33554432000 4194304 5064252 140733255166160 140733255165072 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/24953/statm: 2287 277 236 213 0 72 0 [pid=24957] ppid=24953 vsize=267412 CPUtime=642.1 cores=0,2,4,6 /proc/24957/stat : 24957 (minisat+_64-bit) R 24953 24953 21013 0 -1 4202496 66484 0 0 0 64192 18 0 0 20 0 1 0 324031640 273829888 66360 33554432000 4194304 5276501 140735771894336 140735771892520 4397737 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24957/statm: 66853 66360 117 265 0 66585 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 276560 [startup+702.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24963 /proc/meminfo: memFree=29477500/32873648 swapFree=7116/7116 [pid=24953] ppid=24951 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/24953/stat : 24953 (minisat+_script) S 24951 24953 21013 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 324031639 9367552 277 33554432000 4194304 5064252 140733255166160 140733255165072 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/24953/statm: 2287 277 236 213 0 72 0 [pid=24957] ppid=24953 vsize=267736 CPUtime=702.1 cores=0,2,4,6 /proc/24957/stat : 24957 (minisat+_64-bit) R 24953 24953 21013 0 -1 4202496 66566 0 0 0 70191 19 0 0 20 0 1 0 324031640 274161664 66442 33554432000 4194304 5276501 140735771894336 140735771892568 4400020 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24957/statm: 66934 66442 117 265 0 66666 0 Current children cumulated CPU time (s) 702.1 Current children cumulated vsize (KiB) 276884 [startup+762.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24964 /proc/meminfo: memFree=29462368/32873648 swapFree=7116/7116 [pid=24953] ppid=24951 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/24953/stat : 24953 (minisat+_script) S 24951 24953 21013 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 324031639 9367552 277 33554432000 4194304 5064252 140733255166160 140733255165072 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/24953/statm: 2287 277 236 213 0 72 0 [pid=24957] ppid=24953 vsize=282860 CPUtime=762.1 cores=0,2,4,6 /proc/24957/stat : 24957 (minisat+_64-bit) R 24953 24953 21013 0 -1 4202496 70343 0 0 0 76190 20 0 0 20 0 1 0 324031640 289648640 70219 33554432000 4194304 5276501 140735771894336 140735771891928 4399937 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24957/statm: 70715 70219 117 265 0 70447 0 Current children cumulated CPU time (s) 762.1 Current children cumulated vsize (KiB) 292008 Solver just ended. Dumping a history of the last processes samples [startup+768 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24964 /proc/meminfo: memFree=29462368/32873648 swapFree=7116/7116 [pid=24953] ppid=24951 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/24953/stat : 24953 (minisat+_script) S 24951 24953 21013 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 324031639 9367552 277 33554432000 4194304 5064252 140733255166160 140733255165072 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/24953/statm: 2287 277 236 213 0 72 0 [pid=24957] ppid=24953 vsize=282860 CPUtime=767.79 cores=0,2,4,6 /proc/24957/stat : 24957 (minisat+_64-bit) R 24953 24953 21013 0 -1 4202496 70343 0 0 0 76759 20 0 0 20 0 1 0 324031640 289648640 70219 33554432000 4194304 5276501 140735771894336 140735771891928 4395122 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24957/statm: 70715 70219 117 265 0 70447 0 Current children cumulated CPU time (s) 767.79 Current children cumulated vsize (KiB) 292008 [startup+774.4 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24964 /proc/meminfo: memFree=29462368/32873648 swapFree=7116/7116 [pid=24953] ppid=24951 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/24953/stat : 24953 (minisat+_script) S 24951 24953 21013 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 324031639 9367552 277 33554432000 4194304 5064252 140733255166160 140733255165072 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/24953/statm: 2287 277 236 213 0 72 0 [pid=24957] ppid=24953 vsize=282860 CPUtime=774.19 cores=0,2,4,6 /proc/24957/stat : 24957 (minisat+_64-bit) R 24953 24953 21013 0 -1 4202496 70344 0 0 0 77399 20 0 0 20 0 1 0 324031640 289648640 70220 33554432000 4194304 5276501 140735771894336 140735771891928 4395016 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24957/statm: 70715 70220 117 265 0 70447 0 Current children cumulated CPU time (s) 774.19 Current children cumulated vsize (KiB) 292008 [startup+777.6 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24964 /proc/meminfo: memFree=29462368/32873648 swapFree=7116/7116 [pid=24953] ppid=24951 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/24953/stat : 24953 (minisat+_script) S 24951 24953 21013 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 324031639 9367552 277 33554432000 4194304 5064252 140733255166160 140733255165072 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/24953/statm: 2287 277 236 213 0 72 0 [pid=24957] ppid=24953 vsize=282860 CPUtime=777.39 cores=0,2,4,6 /proc/24957/stat : 24957 (minisat+_64-bit) R 24953 24953 21013 0 -1 4202496 70344 0 0 0 77719 20 0 0 20 0 1 0 324031640 289648640 70220 33554432000 4194304 5276501 140735771894336 140735771891928 4399937 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24957/statm: 70715 70220 117 265 0 70447 0 Current children cumulated CPU time (s) 777.39 Current children cumulated vsize (KiB) 292008 [startup+779.2 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24964 /proc/meminfo: memFree=29462368/32873648 swapFree=7116/7116 [pid=24953] ppid=24951 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/24953/stat : 24953 (minisat+_script) S 24951 24953 21013 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 324031639 9367552 277 33554432000 4194304 5064252 140733255166160 140733255165072 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/24953/statm: 2287 277 236 213 0 72 0 [pid=24957] ppid=24953 vsize=282860 CPUtime=778.99 cores=0,2,4,6 /proc/24957/stat : 24957 (minisat+_64-bit) R 24953 24953 21013 0 -1 4202496 70344 0 0 0 77879 20 0 0 20 0 1 0 324031640 289648640 70220 33554432000 4194304 5276501 140735771894336 140735771891928 4399937 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24957/statm: 70715 70220 117 265 0 70447 0 Current children cumulated CPU time (s) 778.99 Current children cumulated vsize (KiB) 292008 [startup+780.007 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24964 /proc/meminfo: memFree=29462368/32873648 swapFree=7116/7116 [pid=24953] ppid=24951 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/24953/stat : 24953 (minisat+_script) S 24951 24953 21013 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 324031639 9367552 277 33554432000 4194304 5064252 140733255166160 140733255165072 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/24953/statm: 2287 277 236 213 0 72 0 [pid=24957] ppid=24953 vsize=282860 CPUtime=779.79 cores=0,2,4,6 /proc/24957/stat : 24957 (minisat+_64-bit) R 24953 24953 21013 0 -1 4202496 70344 0 0 0 77959 20 0 0 20 0 1 0 324031640 289648640 70220 33554432000 4194304 5276501 140735771894336 140735771891928 4399913 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24957/statm: 70715 70220 117 265 0 70447 0 Current children cumulated CPU time (s) 779.79 Current children cumulated vsize (KiB) 292008 [startup+780.2 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24964 /proc/meminfo: memFree=29462368/32873648 swapFree=7116/7116 [pid=24953] ppid=24951 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/24953/stat : 24953 (minisat+_script) S 24951 24953 21013 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 324031639 9367552 277 33554432000 4194304 5064252 140733255166160 140733255165072 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/24953/statm: 2287 277 236 213 0 72 0 [pid=24957] ppid=24953 vsize=282860 CPUtime=779.99 cores=0,2,4,6 /proc/24957/stat : 24957 (minisat+_64-bit) R 24953 24953 21013 0 -1 4202496 70344 0 0 0 77979 20 0 0 20 0 1 0 324031640 289648640 70220 33554432000 4194304 5276501 140735771894336 140735771891928 4399804 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24957/statm: 70715 70220 117 265 0 70447 0 Current children cumulated CPU time (s) 779.99 Current children cumulated vsize (KiB) 292008 Child status: 0 Real time (s): 780.268 CPU time (s): 780.063 CPU user time (s): 779.853 CPU system time (s): 0.209968 CPU usage (%): 99.9737 Max. virtual memory (cumulated for all children) (KiB): 292008 getrusage(RUSAGE_CHILDREN,...) data: user time used= 779.853 system time used= 0.209968 maximum resident set size= 280880 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 71293 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= 117 involuntary context switches= 824 runsolver used 1.2938 second user time and 3.22951 second system time The end
Begin job on node127 at 2012-06-01 21:31:02 IDJOB=3722889 IDBENCH=90127 IDSOLVER=2307 FILE ID=node127/3722889-1338579062 RUNJOBID= node127-1338568940-23451 PBS_JOBID= 14635857 Free space on /tmp= 70480 MiB SOLVER NAME= minisatp 1.0-2-g022594c BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K107.opb COMMAND LINE= minisat+_script BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3722889-1338579062/watcher-3722889-1338579062 -o /tmp/evaluation-result-3722889-1338579062/solver-3722889-1338579062 -C 1800 -W 1900 -M 15500 minisat+_script HOME/instance-3722889-1338579062.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f523e4bc7acd98550e38ca37c8d9200b RANDOM SEED=674622322 node127.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.348 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 : 5332.69 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.348 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.94 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.348 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 29846024 kB Buffers: 342628 kB Cached: 1635640 kB SwapCached: 1500 kB Active: 1102204 kB Inactive: 1046720 kB Active(anon): 164764 kB Inactive(anon): 7932 kB Active(file): 937440 kB Inactive(file): 1038788 kB Unevictable: 7116 kB Mlocked: 7116 kB SwapTotal: 67108856 kB SwapFree: 67104404 kB Dirty: 2936 kB Writeback: 0 kB AnonPages: 175592 kB Mapped: 11148 kB Shmem: 92 kB Slab: 743296 kB SReclaimable: 187516 kB SUnreclaim: 555780 kB KernelStack: 1472 kB PageTables: 4392 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 288504 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 147456 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70476 MiB End job on node127 at 2012-06-01 21:44:02