Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Hybrid-CASHWMaxSATDisjCom+ExactPRS 2025-06-01 | OPT | 7677 | 798.509 | 800.809 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/ MIPLIB01/opt/miplib3/normalized-mitre.opb |
| MD5SUM | ef3ff3fe247f050efe42854747d2eb97 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 7677 |
| Best CPU time to get the best result obtained on this benchmark | 6.70395 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 10724 |
| Total number of constraints | 1662 |
| Number of constraints which are clauses | 140 |
| Number of constraints which are cardinality constraints (but not clauses) | 1139 |
| Number of constraints which are nor clauses,nor cardinality constraints | 383 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 98 |
| Number of terms in the objective function | 9324 |
| Biggest coefficient in the objective function | 213 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 909647 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 1069 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 909647 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
798.39/800.79 c Solved by First Program 798.39/800.80 c Using COMiniSatPS SAT solver by Chanseok Oh (2016) 798.39/800.80 c Do: 140734378793576 140734378793584 798.39/800.80 c Using COMiniSatPS SAT solver by Chanseok Oh (2016) 798.39/800.80 o 10141 798.39/800.80 o 9337 798.39/800.80 o 9295 798.39/800.80 o 9286 798.39/800.80 o 9267 798.39/800.80 o 9228 798.39/800.80 o 9225 798.39/800.80 o 9186 798.39/800.80 o 9176 798.39/800.80 o 9140 798.39/800.80 o 9134 798.39/800.80 o 9098 798.39/800.80 o 9080 798.39/800.80 o 9077 798.39/800.80 o 9056 798.39/800.80 o 9050 798.39/800.80 o 9014 798.39/800.80 o 9001 798.39/800.80 o 8967 798.39/800.80 o 8934 798.39/800.80 o 8919 798.39/800.80 o 8883 798.39/800.80 o 8873 798.39/800.80 o 8870 798.39/800.80 o 8865 798.39/800.80 o 8854 798.39/800.80 o 8821 798.39/800.80 o 8818 798.39/800.80 o 8797 798.39/800.80 o 8787 798.39/800.80 o 8754 798.39/800.80 o 8748 798.39/800.80 o 8742 798.39/800.80 o 8735 798.39/800.80 o 8728 798.39/800.80 o 8698 798.39/800.80 o 8686 798.39/800.80 o 8671 798.39/800.80 o 8668 798.39/800.80 o 8650 798.39/800.80 o 8646 798.39/800.80 o 8644 798.39/800.80 o 8642 798.39/800.80 o 8638 798.39/800.80 o 8634 798.39/800.80 o 8630 798.39/800.80 o 8626 798.39/800.80 o 8607 798.39/800.80 o 8606 798.39/800.80 o 8595 798.39/800.80 o 8590 798.39/800.80 o 8588 798.39/800.80 o 8573 798.39/800.80 o 8570 798.39/800.80 o 8552 798.39/800.80 o 8545 798.39/800.80 o 8541 798.39/800.80 o 8540 798.39/800.80 o 8539 798.39/800.80 o 8535 798.39/800.80 o 8531 798.39/800.80 o 8519 798.39/800.80 o 8516 798.39/800.80 o 8512 798.39/800.80 o 8511 798.39/800.80 o 8510 798.39/800.80 o 8508 798.39/800.80 o 8507 798.39/800.80 o 8502 798.39/800.80 o 8495 798.39/800.80 o 8491 798.39/800.80 o 8489 798.39/800.80 o 8483 798.39/800.80 o 8474 798.39/800.80 o 8468 798.39/800.80 o 8459 798.39/800.80 o 8453 798.39/800.80 o 8450 798.39/800.80 o 8441 798.39/800.80 o 8436 798.39/800.80 o 8427 798.39/800.80 o 8417 798.39/800.80 o 8412 798.39/800.80 o 8409 798.39/800.80 o 8408 798.39/800.80 o 8407 798.39/800.80 o 8404 798.39/800.80 o 8403 798.39/800.80 o 8395 798.39/800.80 o 8392 798.39/800.80 o 8390 798.39/800.80 o 8385 798.39/800.80 o 8381 798.39/800.80 o 8377 798.39/800.80 o 8374 798.39/800.80 o 8371 798.39/800.80 o 8367 798.39/800.80 o 8366 798.39/800.80 o 8365 798.39/800.80 o 8362 798.39/800.80 o 8359 798.39/800.80 o 8355 798.39/800.80 o 8352 798.39/800.80 o 8342 798.39/800.80 o 8336 798.39/800.80 o 8330 798.39/800.80 o 8326 798.39/800.80 o 8325 798.39/800.80 o 8319 798.39/800.80 o 8291 798.39/800.80 o 8288 798.39/800.80 o 8286 798.39/800.80 o 8283 798.39/800.80 o 8277 798.39/800.80 o 8276 798.39/800.80 o 8260 798.39/800.80 o 8250 798.39/800.80 o 8246 798.39/800.80 o 8245 798.39/800.80 o 8244 798.39/800.80 o 8242 798.39/800.80 o 8233 798.39/800.80 o 8220 798.39/800.80 o 8218 798.39/800.80 o 8213 798.39/800.80 o 8212 798.39/800.80 o 8209 798.39/800.80 o 8203 798.39/800.80 o 8201 798.39/800.80 o 8197 798.39/800.80 o 8193 798.39/800.80 o 8181 798.39/800.80 o 8180 798.39/800.80 o 8174 798.39/800.80 o 8172 798.39/800.80 o 8166 798.39/800.80 o 8164 798.39/800.80 o 8163 798.39/800.80 o 8154 798.39/800.80 o 8152 798.39/800.80 o 8151 798.39/800.80 o 8149 798.39/800.80 o 8147 798.39/800.80 o 8146 798.39/800.80 o 8144 798.39/800.80 o 8143 798.39/800.80 o 8140 798.39/800.80 o 8138 798.39/800.80 o 8137 798.39/800.80 o 8132 798.39/800.80 o 8129 798.39/800.80 o 8128 798.39/800.80 o 8127 798.39/800.80 o 8126 798.39/800.80 o 8125 798.39/800.80 o 8119 798.39/800.80 o 8117 798.39/800.80 o 8114 798.39/800.80 o 8113 798.39/800.80 o 8109 798.39/800.80 o 8106 798.39/800.80 o 8104 798.39/800.80 o 8103 798.39/800.80 o 8090 798.39/800.80 o 8089 798.39/800.80 o 8086 798.39/800.80 o 8080 798.39/800.80 o 8077 798.39/800.80 o 8075 798.39/800.80 o 8073 798.39/800.80 o 8072 798.39/800.80 o 8069 798.39/800.80 o 8068 798.39/800.80 o 8064 798.39/800.80 o 8063 798.39/800.80 o 8059 798.39/800.80 o 8056 798.39/800.80 o 8053 798.39/800.80 o 8052 798.39/800.80 o 8049 798.39/800.80 o 8047 798.39/800.80 o 8046 798.39/800.80 o 8036 798.39/800.80 o 8033 798.39/800.80 o 8031 798.39/800.80 o 8030 798.39/800.80 o 8022 798.39/800.80 o 8021 798.39/800.80 o 8020 798.39/800.80 o 8017 798.39/800.80 o 8012 798.39/800.80 o 8009 798.39/800.80 o 7987 798.39/800.80 o 7986 798.39/800.80 o 7984 798.39/800.80 o 7982 798.39/800.80 o 7981 798.39/800.80 o 7978 798.39/800.80 o 7977 798.39/800.80 o 7976 798.39/800.80 o 7972 798.39/800.80 o 7966 798.39/800.80 o 7965 798.39/800.80 o 7964 798.39/800.80 o 7962 798.39/800.80 o 7958 798.39/800.80 o 7957 798.39/800.80 o 7956 798.39/800.80 o 7955 798.39/800.80 o 7952 798.39/800.80 o 7949 798.39/800.80 o 7945 798.39/800.80 o 7940 798.39/800.80 o 7937 798.39/800.80 o 7935 798.39/800.80 o 7933 798.39/800.80 o 7932 798.39/800.80 o 7929 798.39/800.80 o 7927 798.39/800.80 o 7917 798.39/800.80 o 7915 798.39/800.80 o 7912 798.39/800.80 o 7910 798.39/800.80 o 7908 798.39/800.80 o 7905 798.39/800.80 o 7904 798.39/800.80 o 7903 798.39/800.80 o 7900 798.39/800.80 o 7894 798.39/800.80 o 7892 798.39/800.80 o 7889 798.39/800.80 o 7880 798.39/800.80 o 7878 798.39/800.80 o 7864 798.39/800.80 o 7862 798.39/800.80 o 7861 798.39/800.80 o 7860 798.39/800.80 o 7856 798.39/800.80 o 7854 798.39/800.80 o 7851 798.39/800.80 o 7847 798.39/800.80 o 7844 798.39/800.80 o 7841 798.39/800.80 o 7838 798.39/800.80 o 7834 798.39/800.80 o 7833 798.39/800.80 o 7826 798.39/800.80 o 7822 798.39/800.80 o 7818 798.39/800.80 o 7817 798.39/800.80 o 7816 798.39/800.80 o 7812 798.39/800.80 o 7808 798.39/800.80 o 7807 798.39/800.80 o 7806 798.39/800.80 o 7804 798.39/800.80 o 7802 798.39/800.80 o 7800 798.39/800.80 o 7791 798.39/800.80 o 7789 798.39/800.80 o 7787 798.39/800.80 o 7780 798.39/800.80 o 7769 798.39/800.80 o 7768 798.39/800.80 o 7765 798.39/800.80 o 7762 798.39/800.80 o 7760 798.39/800.80 o 7758 798.39/800.80 o 7757 798.39/800.80 o 7750 798.39/800.80 o 7745 798.39/800.80 o 7741 798.48/800.80 o 7739 798.48/800.80 o 7733 798.48/800.80 o 7731 798.48/800.80 o 7729 798.48/800.80 o 7719 798.48/800.80 o 7714 798.48/800.80 o 7713 798.48/800.80 o 7709 798.48/800.80 o 7706 798.48/800.80 o 7703 798.48/800.80 o 7702 798.48/800.80 o 7701 798.48/800.80 o 7699 798.48/800.80 o 7697 798.48/800.80 o 7692 798.48/800.80 o 7691 798.48/800.80 o 7690 798.48/800.80 o 7688 798.48/800.80 o 7686 798.48/800.80 o 7685 798.48/800.80 o 7684 798.48/800.80 o 7683 798.48/800.80 o 7682 798.48/800.80 o 7681 798.48/800.80 o 7680 798.48/800.80 o 7679 798.48/800.80 o 7678 798.48/800.80 o 7677 798.48/800.80 s OPTIMUM FOUND 798.48/800.80 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 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 x9125 -x9126 -x9127 -x9128 x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 x9428 x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 x9833 x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x10090 x10091 -x10092 -x10093 -x10094 -x10095 x10096 -x10097 -x10098 -x10099 -x10100 -x10101 -x10102 -x10103 -x10104 -x10105 -x10106 -x10107 -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x10121 -x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10135 -x10136 -x10137 x10138 -x10139 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173 -x10174 -x10175 -x10176 x10177 x10178 -x10179 -x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188 -x10189 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x10199 -x10200 -x10201 -x10202 -x10203 -x10204 -x10205 -x10206 -x10207 -x10208 -x10209 -x10210 -x10211 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 -x10218 -x10219 -x10220 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 -x10238 -x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 -x10250 -x10251 -x10252 -x10253 -x10254 -x10255 -x10256 -x10257 -x10258 -x10259 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10270 -x10271 x10272 -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 x10281 -x10282 -x10283 x10284 x10285 -x10286 -x10287 -x10288 -x10289 -x10290 -x10291 -x10292 x10293 -x10294 x10295 -x10296 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302 -x10303 x10304 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10314 -x10315 -x10316 -x10317 -x10318 -x10319 x10320 -x10321 -x10322 -x10323 -x10324 -x10325 -x10326 -x10327 -x10328 -x10329 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335 -x10336 -x10337 -x10338 -x10339 -x10340 -x10341 -x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x10350 -x10351 x10352 -x10353 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10361 -x10362 -x10363 -x10364 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 -x10373 -x10374 -x10375 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10386 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10395 -x10396 -x10397 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10406 -x10407 -x10408 -x10409 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10418 -x10419 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10428 -x10429 -x10430 -x10431 -x10432 -x10433 -x10434 -x10435 -x10436 -x10437 -x10438 -x10439 -x10440 -x10441 -x10442 -x10443 -x10444 -x10445 -x10446 -x10447 -x10448 -x10449 -x10450 -x10451 -x10452 -x10453 -x10454 -x10455 -x10456 -x10457 -x10458 -x10459 -x10460 -x10461 -x10462 -x10463 -x10464 -x10465 -x10466 -x10467 -x10468 -x10469 -x10470 -x10471 -x10472 -x10529 -x10530 -x10531 -x10532 -x10533 -x10534 -x10535 -x10536 -x10537 -x10538 -x10539 -x10540 -x10541 -x10542 -x10543 -x10544 -x10545 -x10546 -x10547 -x10548 -x10549 -x10550 -x10551 -x10552 -x10553 x10554 -x10555 -x10556 -x10557 -x10558 -x10559 -x10560 -x10561 -x10562 -x10563 -x10564 -x10565 -x10566 -x10567 -x10568 -x10569 -x10570 -x10571 x10572 -x10573 -x10574 -x10575 -x10576 -x10577 -x10578 -x10579 x10580 -x10581 -x10582 -x10583 -x10584 -x10585 -x10586 -x10587 -x10588 -x10589 -x10590 -x10591 -x10592 -x10593 -x10594 -x10595 -x10596 -x10597 -x10598 -x10599 -x10600 x10601 -x10602 -x10603 -x10604 -x10605 -x10606 -x10607 -x10608 -x10609 -x10610 -x10611 -x10612 x10613 -x10614 -x10615 -x10616 -x10617 -x10618 -x10619 -x10620 -x10621 -x10622 -x10623 -x10624 -x10625 -x10626 -x10627 -x10628 -x10629 -x10630 -x10631 -x10632 -x10633 -x10634 -x10635 -x10636 -x10637 -x10638 -x10639 -x10640 -x10641 -x10642 -x10643 -x10644 -x10645 -x10646 -x10647 -x10648 -x10649 -x10650 -x10651 -x10652 -x10653 -x10654 -x10655 -x10656 -x10657 -x10658 -x10659 -x10660 -x10661 -x10662 -x10663 -x10664 -x10665 -x10666 -x10667 -x10668 -x9325 -x9327 -x9329 -x9331 -x9333 -x9335 -x9337 x9339 -x9341 -x9343 -x9345 -x9347 -x9349 -x9351 -x9353 -x9355 -x9357 -x9359 -x9361 -x9363 -x9365 -x9367 -x9369 -x9371 -x9373 -x9375 -x9377 -x9379 -x10669 -x10671 -x10673 -x10675 -x10677 -x10679 -x10681 -x10683 -x10685 -x10687 x10689 -x10691 -x10693 -x10695 -x10697 -x10699 -x10701 -x10703 -x10705 -x10707 -x10709 -x10711 -x10713 -x10715 -x10717 -x10719 -x10721 -x10723 -x10473 -x10475 -x10477 -x10479 -x10481 -x10483 -x10485 -x10487 -x10489 x10491 -x10493 -x10495 -x10497 -x10499 -x10501 -x10503 -x10505 -x10507 -x10509 -x10511 -x10513 -x10515 -x10517 -x10519 -x10521 -x10523 -x10525 -x10527 -x9717 -x9720 -x9723 -x9726 -x9729 -x9732 -x9735 -x9738 -x9741 -x9744 x9747 -x9750 -x9753 -x9756 -x9759 -x9762 -x9765 -x9768 -x9771 -x9774 -x9777 -x9780 -x9783 -x9786 -x9789 -x9792 -x9795 -x9798 -x9969 -x9972 -x9975 -x9978 -x9981 -x9984 -x9987 -x9990 -x9993 -x9996 -x9999 -x10002 -x10005 x10008 -x10011 -x10014 -x10017 -x10020 -x10023 -x10026 -x10029 -x10032 -x10035 -x10038 -x10041 -x10044 -x10047 -x10050 -x9718 -x9721 -x9724 -x9727 x9730 -x9733 -x9736 -x9739 -x9742 -x9745 -x9748 -x9751 -x9754 -x9757 -x9760 -x9763 -x9766 -x9769 -x9772 -x9775 -x9778 -x9781 -x9784 -x9787 -x9790 -x9793 -x9796 -x9799 -x9970 -x9973 -x9976 -x9979 -x9982 -x9985 -x9988 x9991 -x9994 -x9997 -x10000 -x10003 -x10006 -x10009 -x10012 -x10015 -x10018 -x10021 -x10024 -x10027 -x10030 -x10033 -x10036 -x10039 -x10042 -x10045 -x10048 -x10051 -x9719 -x9722 -x9725 -x9728 -x9731 -x9734 -x9737 -x9740 -x9743 -x9746 -x9749 x9752 -x9755 -x9758 -x9761 -x9764 -x9767 -x9770 -x9773 -x9776 -x9779 -x9782 -x9785 -x9788 -x9791 -x9794 -x9797 -x9800 -x9971 -x9974 -x9977 -x9980 -x9983 -x9986 -x9989 -x9992 -x9995 -x9998 -x10001 -x10004 -x10007 -x10010 x10013 -x10016 -x10019 -x10022 -x10025 -x10028 -x10031 -x10034 -x10037 -x10040 -x10043 -x10046 -x10049 -x10052 -x9605 -x9609 -x9613 -x9617 -x9621 -x9625 -x9629 -x9633 -x9637 -x9641 x9645 -x9649 -x9653 -x9657 -x9661 -x9665 -x9669 -x9673 -x9677 -x9681 -x9685 -x9689 -x9693 -x9697 -x9701 -x9705 -x9709 -x9713 -x9606 -x9610 -x9614 -x9618 -x9622 -x9626 -x9630 -x9634 -x9638 -x9642 -x9646 -x9650 -x9654 -x9658 -x9662 -x9666 -x9670 x9674 -x9678 -x9682 -x9686 -x9690 -x9694 -x9698 -x9702 -x9706 -x9710 -x9714 -x9607 -x9611 -x9615 -x9619 -x9623 -x9627 -x9631 -x9635 -x9639 -x9643 -x9647 -x9651 -x9655 -x9659 -x9663 x9667 -x9671 -x9675 -x9679 -x9683 -x9687 -x9691 -x9695 -x9699 -x9703 -x9707 -x9711 -x9715 -x9608 -x9612 -x9616 -x9620 -x9624 -x9628 -x9632 -x9636 x9640 -x9644 -x9648 -x9652 -x9656 -x9660 -x9664 -x9668 -x9672 -x9676 -x9680 -x9684 -x9688 -x9692 -x9696 -x9700 -x9704 -x9708 -x9712 -x9716 -x10474 -x10476 -x10478 -x10480 -x10482 -x10484 -x10486 -x10488 -x10490 -x10492 -x10494 -x10496 -x10498 -x10500 -x10502 -x10504 x10506 -x10508 -x10510 -x10512 -x10514 -x10516 -x10518 -x10520 -x10522 -x10524 -x10526 -x10528 -x9326 -x9328 -x9330 -x9332 x9334 -x9336 -x9338 -x9340 -x9342 -x9344 -x9346 -x9348 -x9350 -x9352 -x9354 -x9356 -x9358 -x9360 -x9362 -x9364 -x9366 -x9368 -x9370 -x9372 -x9374 -x9376 -x9378 -x9380 -x10670 -x10672 -x10674 -x10676 -x10678 -x10680 -x10682 x10684 -x10686 -x10688 -x10690 -x10692 -x10694 -x10696 -x10698 -x10700 -x10702 -x10704 -x10706 -x10708 -x10710 -x10712 -x10714 -x10716 -x10718 -x10720 -x10722 -x10724
OK 7677
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (60865 MiB free)
memory of node 1: 64507 MiB (46400 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522025-1751575069/watcher-4522025-1751575069 -o /tmp/evaluation-result-4522025-1751575069/solver-4522025-1751575069 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751569752-85029 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4522025-1751575069.opb 3600 HOME
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=86718, runsolver pid=86715
Current StackSize limit: 8192 KiB
[startup+0.10011 s]*
/proc/loadavg: 4.12 4.14 4.16 5/261 86722
/proc/meminfo: memFree=109840784/131382112 swapFree=33010160/33010684
[pid=86718] ppid=86715 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/86718/stat : 86718 (Hybrid-CASHWMax) S 86715 86718 85018 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 73186754 4427776 736 18446744073709551615 94791404847104 94791405741637 140723077241952 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94791405980688 94791406028432 94791416483840 140723077245271 140723077245425 140723077245425 140723077251027 0
/proc/86718/statm: 1081 736 672 219 0 143 0
[pid=86721] ppid=86718 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/86721/stat : 86721 (timeout) S 86718 86721 85018 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 73186757 2723840 352 18446744073709551615 93955528474624 93955528491137 140729036148608 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93955528505904 93955528507992 93955536437248 140729036151190 140729036151330 140729036151330 140729036156903 0
/proc/86721/statm: 665 352 352 5 0 90 0
[pid=86722] ppid=86721 vsize=28188 memory=9472 CPUtime=0.07 cores=4,6
/proc/86722/stat : 86722 (CASHWMaxSAT-Dis) R 86721 86721 85018 0 -1 4194304 1715 0 0 0 7 0 0 0 20 0 1 0 73186757 28864512 2368 18446744073709551615 4198400 14093885 140734378795936 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37441536 140734378801564 140734378801691 140734378801691 140734378807264 0
/proc/86722/statm: 7047 2368 736 2416 0 4149 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 35172 KiB
Current children cumulated memory: 13824 KiB
[startup+0.214449 s]*
/proc/loadavg: 4.12 4.14 4.16 5/261 86722
/proc/meminfo: memFree=109840784/131382112 swapFree=33010160/33010684
[pid=86718] ppid=86715 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/86718/stat : 86718 (Hybrid-CASHWMax) S 86715 86718 85018 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 73186754 4427776 736 18446744073709551615 94791404847104 94791405741637 140723077241952 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94791405980688 94791406028432 94791416483840 140723077245271 140723077245425 140723077245425 140723077251027 0
/proc/86718/statm: 1081 736 672 219 0 143 0
[pid=86721] ppid=86718 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/86721/stat : 86721 (timeout) S 86718 86721 85018 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 73186757 2723840 352 18446744073709551615 93955528474624 93955528491137 140729036148608 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93955528505904 93955528507992 93955536437248 140729036151190 140729036151330 140729036151330 140729036156903 0
/proc/86721/statm: 665 352 352 5 0 90 0
[pid=86722] ppid=86721 vsize=32124 memory=13312 CPUtime=0.18 cores=4,6
/proc/86722/stat : 86722 (CASHWMaxSAT-Dis) R 86721 86721 85018 0 -1 4194304 2728 0 0 0 18 0 0 0 20 0 1 0 73186757 32894976 3328 18446744073709551615 4198400 14093885 140734378795936 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37441536 140734378801564 140734378801691 140734378801691 140734378807264 0
/proc/86722/statm: 8031 3328 736 2416 0 5133 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 39108 KiB
Current children cumulated memory: 17664 KiB
[startup+0.314174 s]*
/proc/loadavg: 4.12 4.14 4.16 5/261 86722
/proc/meminfo: memFree=109840316/131382112 swapFree=33010160/33010684
[pid=86718] ppid=86715 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/86718/stat : 86718 (Hybrid-CASHWMax) S 86715 86718 85018 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 73186754 4427776 736 18446744073709551615 94791404847104 94791405741637 140723077241952 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94791405980688 94791406028432 94791416483840 140723077245271 140723077245425 140723077245425 140723077251027 0
/proc/86718/statm: 1081 736 672 219 0 143 0
[pid=86721] ppid=86718 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/86721/stat : 86721 (timeout) S 86718 86721 85018 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 73186757 2723840 352 18446744073709551615 93955528474624 93955528491137 140729036148608 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93955528505904 93955528507992 93955536437248 140729036151190 140729036151330 140729036151330 140729036156903 0
/proc/86721/statm: 665 352 352 5 0 90 0
[pid=86722] ppid=86721 vsize=37784 memory=19016 CPUtime=0.29 cores=4,6
/proc/86722/stat : 86722 (CASHWMaxSAT-Dis) R 86721 86721 85018 0 -1 4194304 4307 0 0 0 28 1 0 0 20 0 1 0 73186757 38690816 4754 18446744073709551615 4198400 14093885 140734378795936 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37441536 140734378801564 140734378801691 140734378801691 140734378807264 0
/proc/86722/statm: 9446 4754 768 2416 0 6548 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 44768 KiB
Current children cumulated memory: 23368 KiB
[startup+0.70048 s]
/proc/loadavg: 4.12 4.14 4.16 5/261 86722
/proc/meminfo: memFree=109822424/131382112 swapFree=33010160/33010684
[pid=86718] ppid=86715 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/86718/stat : 86718 (Hybrid-CASHWMax) S 86715 86718 85018 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 73186754 4427776 736 18446744073709551615 94791404847104 94791405741637 140723077241952 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94791405980688 94791406028432 94791416483840 140723077245271 140723077245425 140723077245425 140723077251027 0
/proc/86718/statm: 1081 736 672 219 0 143 0
[pid=86721] ppid=86718 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/86721/stat : 86721 (timeout) S 86718 86721 85018 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 73186757 2723840 352 18446744073709551615 93955528474624 93955528491137 140729036148608 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93955528505904 93955528507992 93955536437248 140729036151190 140729036151330 140729036151330 140729036156903 0
/proc/86721/statm: 665 352 352 5 0 90 0
[pid=86722] ppid=86721 vsize=103112 memory=62896 CPUtime=0.65 cores=4,6
/proc/86722/stat : 86722 (CASHWMaxSAT-Dis) R 86721 86721 85018 0 -1 4194304 12654 0 0 0 61 4 0 0 20 0 1 0 73186757 105586688 15724 18446744073709551615 4198400 14093885 140734378795936 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37441536 140734378801564 140734378801691 140734378801691 140734378807264 0
/proc/86722/statm: 25778 15724 768 2416 0 22880 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 110096 KiB
Current children cumulated memory: 67248 KiB
[startup+1.5005 s]
/proc/loadavg: 4.12 4.14 4.16 5/261 86722
/proc/meminfo: memFree=109770380/131382112 swapFree=33010160/33010684
[pid=86718] ppid=86715 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/86718/stat : 86718 (Hybrid-CASHWMax) S 86715 86718 85018 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 73186754 4427776 736 18446744073709551615 94791404847104 94791405741637 140723077241952 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94791405980688 94791406028432 94791416483840 140723077245271 140723077245425 140723077245425 140723077251027 0
/proc/86718/statm: 1081 736 672 219 0 143 0
[pid=86721] ppid=86718 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/86721/stat : 86721 (timeout) S 86718 86721 85018 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 73186757 2723840 352 18446744073709551615 93955528474624 93955528491137 140729036148608 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93955528505904 93955528507992 93955536437248 140729036151190 140729036151330 140729036151330 140729036156903 0
/proc/86721/statm: 665 352 352 5 0 90 0
[pid=86722] ppid=86721 vsize=189844 memory=155788 CPUtime=1.45 cores=4,6
/proc/86722/stat : 86722 (CASHWMaxSAT-Dis) R 86721 86721 85018 0 -1 4194304 22312 0 0 0 137 8 0 0 20 0 1 0 73186757 194400256 38947 18446744073709551615 4198400 14093885 140734378795936 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37441536 140734378801564 140734378801691 140734378801691 140734378807264 0
/proc/86722/statm: 47461 38947 768 2416 0 44563 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 196828 KiB
Current children cumulated memory: 160140 KiB
[startup+3.11415 s]
/proc/loadavg: 4.12 4.14 4.16 5/261 86722
/proc/meminfo: memFree=109467340/131382112 swapFree=33010160/33010684
[pid=86718] ppid=86715 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/86718/stat : 86718 (Hybrid-CASHWMax) S 86715 86718 85018 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 73186754 4427776 736 18446744073709551615 94791404847104 94791405741637 140723077241952 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94791405980688 94791406028432 94791416483840 140723077245271 140723077245425 140723077245425 140723077251027 0
/proc/86718/statm: 1081 736 672 219 0 143 0
[pid=86721] ppid=86718 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/86721/stat : 86721 (timeout) S 86718 86721 85018 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 73186757 2723840 352 18446744073709551615 93955528474624 93955528491137 140729036148608 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93955528505904 93955528507992 93955536437248 140729036151190 140729036151330 140729036151330 140729036156903 0
/proc/86721/statm: 665 352 352 5 0 90 0
[pid=86722] ppid=86721 vsize=413444 memory=350012 CPUtime=3.07 cores=4,6
/proc/86722/stat : 86722 (CASHWMaxSAT-Dis) R 86721 86721 85018 0 -1 4194304 48254 0 0 0 291 16 0 0 20 0 1 0 73186757 423366656 87503 18446744073709551615 4198400 14093885 140734378795936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37441536 140734378801564 140734378801691 140734378801691 140734378807264 0
/proc/86722/statm: 103361 87503 768 2416 0 100463 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 420428 KiB
Current children cumulated memory: 354364 KiB
[startup+6.3005 s]
/proc/loadavg: 4.11 4.14 4.16 5/261 86722
/proc/meminfo: memFree=109406724/131382112 swapFree=33010160/33010684
[pid=86718] ppid=86715 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/86718/stat : 86718 (Hybrid-CASHWMax) S 86715 86718 85018 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 73186754 4427776 736 18446744073709551615 94791404847104 94791405741637 140723077241952 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94791405980688 94791406028432 94791416483840 140723077245271 140723077245425 140723077245425 140723077251027 0
/proc/86718/statm: 1081 736 672 219 0 143 0
[pid=86721] ppid=86718 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/86721/stat : 86721 (timeout) S 86718 86721 85018 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 73186757 2723840 352 18446744073709551615 93955528474624 93955528491137 140729036148608 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93955528505904 93955528507992 93955536437248 140729036151190 140729036151330 140729036151330 140729036156903 0
/proc/86721/statm: 665 352 352 5 0 90 0
[pid=86722] ppid=86721 vsize=379920 memory=338028 CPUtime=6.24 cores=4,6
/proc/86722/stat : 86722 (CASHWMaxSAT-Dis) R 86721 86721 85018 0 -1 4194304 49733 0 0 0 606 18 0 0 20 0 1 0 73186757 389038080 84507 18446744073709551615 4198400 14093885 140734378795936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37441536 140734378801564 140734378801691 140734378801691 140734378807264 0
/proc/86722/statm: 94980 84507 800 2416 0 92082 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 386904 KiB
Current children cumulated memory: 342380 KiB
[startup+12.7005 s]
/proc/loadavg: 4.10 4.14 4.16 5/261 86722
/proc/meminfo: memFree=109470412/131382112 swapFree=33010160/33010684
[pid=86718] ppid=86715 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/86718/stat : 86718 (Hybrid-CASHWMax) S 86715 86718 85018 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 73186754 4427776 736 18446744073709551615 94791404847104 94791405741637 140723077241952 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94791405980688 94791406028432 94791416483840 140723077245271 140723077245425 140723077245425 140723077251027 0
/proc/86718/statm: 1081 736 672 219 0 143 0
[pid=86721] ppid=86718 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/86721/stat : 86721 (timeout) S 86718 86721 85018 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 73186757 2723840 352 18446744073709551615 93955528474624 93955528491137 140729036148608 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93955528505904 93955528507992 93955536437248 140729036151190 140729036151330 140729036151330 140729036156903 0
/proc/86721/statm: 665 352 352 5 0 90 0
[pid=86722] ppid=86721 vsize=379920 memory=340076 CPUtime=12.62 cores=4,6
/proc/86722/stat : 86722 (CASHWMaxSAT-Dis) R 86721 86721 85018 0 -1 4194304 49775 0 0 0 1244 18 0 0 20 0 1 0 73186757 389038080 85019 18446744073709551615 4198400 14093885 140734378795936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37441536 140734378801564 140734378801691 140734378801691 140734378807264 0
/proc/86722/statm: 94980 85019 800 2416 0 92082 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 386904 KiB
Current children cumulated memory: 344428 KiB
[startup+25.5005 s]
/proc/loadavg: 4.08 4.13 4.16 5/261 86722
/proc/meminfo: memFree=109402700/131382112 swapFree=33010160/33010684
[pid=86718] ppid=86715 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/86718/stat : 86718 (Hybrid-CASHWMax) S 86715 86718 85018 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 73186754 4427776 736 18446744073709551615 94791404847104 94791405741637 140723077241952 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94791405980688 94791406028432 94791416483840 140723077245271 140723077245425 140723077245425 140723077251027 0
/proc/86718/statm: 1081 736 672 219 0 143 0
[pid=86721] ppid=86718 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/86721/stat : 86721 (timeout) S 86718 86721 85018 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 73186757 2723840 352 18446744073709551615 93955528474624 93955528491137 140729036148608 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93955528505904 93955528507992 93955536437248 140729036151190 140729036151330 140729036151330 140729036156903 0
/proc/86721/statm: 665 352 352 5 0 90 0
[pid=86722] ppid=86721 vsize=379920 memory=340076 CPUtime=25.39 cores=4,6
/proc/86722/stat : 86722 (CASHWMaxSAT-Dis) R 86721 86721 85018 0 -1 4194304 49817 0 0 0 2521 18 0 0 20 0 1 0 73186757 389038080 85019 18446744073709551615 4198400 14093885 140734378795936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37441536 140734378801564 140734378801691 140734378801691 140734378807264 0
/proc/86722/statm: 94980 85019 800 2416 0 92082 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 386904 KiB
Current children cumulated memory: 344428 KiB
[startup+51.1144 s]
/proc/loadavg: 4.11 4.14 4.16 5/261 86723
/proc/meminfo: memFree=108900584/131382112 swapFree=33010160/33010684
[pid=86718] ppid=86715 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/86718/stat : 86718 (Hybrid-CASHWMax) S 86715 86718 85018 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 73186754 4427776 736 18446744073709551615 94791404847104 94791405741637 140723077241952 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94791405980688 94791406028432 94791416483840 140723077245271 140723077245425 140723077245425 140723077251027 0
/proc/86718/statm: 1081 736 672 219 0 143 0
[pid=86721] ppid=86718 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/86721/stat : 86721 (timeout) S 86718 86721 85018 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 73186757 2723840 352 18446744073709551615 93955528474624 93955528491137 140729036148608 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93955528505904 93955528507992 93955536437248 140729036151190 140729036151330 140729036151330 140729036156903 0
/proc/86721/statm: 665 352 352 5 0 90 0
[pid=86722] ppid=86721 vsize=379920 memory=340076 CPUtime=50.94 cores=4,6
/proc/86722/stat : 86722 (CASHWMaxSAT-Dis) R 86721 86721 85018 0 -1 4194304 49876 0 0 0 5075 19 0 0 20 0 1 0 73186757 389038080 85019 18446744073709551615 4198400 14093885 140734378795936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37441536 140734378801564 140734378801691 140734378801691 140734378807264 0
/proc/86722/statm: 94980 85019 800 2416 0 92082 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 386904 KiB
Current children cumulated memory: 344428 KiB
[startup+102.301 s]
/proc/loadavg: 4.10 4.13 4.15 5/261 86725
/proc/meminfo: memFree=109315864/131382112 swapFree=33010160/33010684
[pid=86718] ppid=86715 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/86718/stat : 86718 (Hybrid-CASHWMax) S 86715 86718 85018 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 73186754 4427776 736 18446744073709551615 94791404847104 94791405741637 140723077241952 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94791405980688 94791406028432 94791416483840 140723077245271 140723077245425 140723077245425 140723077251027 0
/proc/86718/statm: 1081 736 672 219 0 143 0
[pid=86721] ppid=86718 vsize=2660 memory=1408 CPUtime=0 cores=4,6
################
# More data... #
################
/proc/86718/statm: 1081 736 672 219 0 143 0
[pid=86721] ppid=86718 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/86721/stat : 86721 (timeout) S 86718 86721 85018 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 73186757 2723840 352 18446744073709551615 93955528474624 93955528491137 140729036148608 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93955528505904 93955528507992 93955536437248 140729036151190 140729036151330 140729036151330 140729036156903 0
/proc/86721/statm: 665 352 352 5 0 90 0
[pid=86722] ppid=86721 vsize=1392064 memory=1350804 CPUtime=700.29 cores=4,6
/proc/86722/stat : 86722 (CASHWMaxSAT-Dis) R 86721 86721 85018 0 -1 4194304 282037 0 0 0 69948 81 0 0 20 0 1 0 73186757 1425473536 337701 18446744073709551615 4198400 14093885 140734378795936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37441536 140734378801564 140734378801691 140734378801691 140734378807264 0
/proc/86722/statm: 348016 337701 800 2416 0 345118 0
Current children cumulated CPU time: 700.29 s
Current children cumulated vsize: 1399048 KiB
Current children cumulated memory: 1355156 KiB
[startup+762.3 s]
/proc/loadavg: 4.47 4.28 4.18 5/258 86759
/proc/meminfo: memFree=107805400/131382112 swapFree=33010160/33010684
[pid=86718] ppid=86715 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/86718/stat : 86718 (Hybrid-CASHWMax) S 86715 86718 85018 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 73186754 4427776 736 18446744073709551615 94791404847104 94791405741637 140723077241952 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94791405980688 94791406028432 94791416483840 140723077245271 140723077245425 140723077245425 140723077251027 0
/proc/86718/statm: 1081 736 672 219 0 143 0
[pid=86721] ppid=86718 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/86721/stat : 86721 (timeout) S 86718 86721 85018 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 73186757 2723840 352 18446744073709551615 93955528474624 93955528491137 140729036148608 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93955528505904 93955528507992 93955536437248 140729036151190 140729036151330 140729036151330 140729036156903 0
/proc/86721/statm: 665 352 352 5 0 90 0
[pid=86722] ppid=86721 vsize=1510548 memory=1469716 CPUtime=760.11 cores=4,6
/proc/86722/stat : 86722 (CASHWMaxSAT-Dis) R 86721 86721 85018 0 -1 4194304 311724 0 0 0 75923 88 0 0 20 0 1 0 73186757 1546801152 367429 18446744073709551615 4198400 14093885 140734378795936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37441536 140734378801564 140734378801691 140734378801691 140734378807264 0
/proc/86722/statm: 377637 367429 800 2416 0 374739 0
Current children cumulated CPU time: 760.11 s
Current children cumulated vsize: 1517532 KiB
Current children cumulated memory: 1474068 KiB
[startup+800.809 s]
# the end of solver process 86718 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=797.51 s, system=0.998502 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+768 s]*
/proc/loadavg: 4.43 4.28 4.18 5/258 86759
/proc/meminfo: memFree=107777520/131382112 swapFree=33010160/33010684
[pid=86718] ppid=86715 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/86718/stat : 86718 (Hybrid-CASHWMax) S 86715 86718 85018 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 73186754 4427776 736 18446744073709551615 94791404847104 94791405741637 140723077241952 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94791405980688 94791406028432 94791416483840 140723077245271 140723077245425 140723077245425 140723077251027 0
/proc/86718/statm: 1081 736 672 219 0 143 0
[pid=86721] ppid=86718 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/86721/stat : 86721 (timeout) S 86718 86721 85018 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 73186757 2723840 352 18446744073709551615 93955528474624 93955528491137 140729036148608 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93955528505904 93955528507992 93955536437248 140729036151190 140729036151330 140729036151330 140729036156903 0
/proc/86721/statm: 665 352 352 5 0 90 0
[pid=86722] ppid=86721 vsize=1523040 memory=1482132 CPUtime=765.81 cores=4,6
/proc/86722/stat : 86722 (CASHWMaxSAT-Dis) R 86721 86721 85018 0 -1 4194304 314950 0 0 0 76492 89 0 0 20 0 1 0 73186757 1559592960 370533 18446744073709551615 4198400 14093885 140734378795936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37441536 140734378801564 140734378801691 140734378801691 140734378807264 0
/proc/86722/statm: 380760 370533 800 2416 0 377862 0
Current children cumulated CPU time: 765.81 s
Current children cumulated vsize: 1530024 KiB
Current children cumulated memory: 1486484 KiB
[startup+780.8 s]
/proc/loadavg: 4.33 4.26 4.18 5/258 86761
/proc/meminfo: memFree=107804312/131382112 swapFree=33010160/33010684
[pid=86718] ppid=86715 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/86718/stat : 86718 (Hybrid-CASHWMax) S 86715 86718 85018 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 73186754 4427776 736 18446744073709551615 94791404847104 94791405741637 140723077241952 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94791405980688 94791406028432 94791416483840 140723077245271 140723077245425 140723077245425 140723077251027 0
/proc/86718/statm: 1081 736 672 219 0 143 0
[pid=86721] ppid=86718 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/86721/stat : 86721 (timeout) S 86718 86721 85018 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 73186757 2723840 352 18446744073709551615 93955528474624 93955528491137 140729036148608 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93955528505904 93955528507992 93955536437248 140729036151190 140729036151330 140729036151330 140729036156903 0
/proc/86721/statm: 665 352 352 5 0 90 0
[pid=86722] ppid=86721 vsize=1547580 memory=1508956 CPUtime=778.55 cores=4,6
/proc/86722/stat : 86722 (CASHWMaxSAT-Dis) R 86721 86721 85018 0 -1 4194304 321080 0 0 0 77765 90 0 0 20 0 1 0 73186757 1584721920 377239 18446744073709551615 4198400 14093885 140734378795936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37441536 140734378801564 140734378801691 140734378801691 140734378807264 0
/proc/86722/statm: 386895 377239 800 2416 0 383997 0
Current children cumulated CPU time: 778.55 s
Current children cumulated vsize: 1554564 KiB
Current children cumulated memory: 1513308 KiB
[startup+793.601 s]
/proc/loadavg: 4.36 4.27 4.18 5/258 86762
/proc/meminfo: memFree=107790728/131382112 swapFree=33010160/33010684
[pid=86718] ppid=86715 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/86718/stat : 86718 (Hybrid-CASHWMax) S 86715 86718 85018 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 73186754 4427776 736 18446744073709551615 94791404847104 94791405741637 140723077241952 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94791405980688 94791406028432 94791416483840 140723077245271 140723077245425 140723077245425 140723077251027 0
/proc/86718/statm: 1081 736 672 219 0 143 0
[pid=86721] ppid=86718 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/86721/stat : 86721 (timeout) S 86718 86721 85018 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 73186757 2723840 352 18446744073709551615 93955528474624 93955528491137 140729036148608 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93955528505904 93955528507992 93955536437248 140729036151190 140729036151330 140729036151330 140729036156903 0
/proc/86721/statm: 665 352 352 5 0 90 0
[pid=86722] ppid=86721 vsize=1569696 memory=1532252 CPUtime=791.31 cores=4,6
/proc/86722/stat : 86722 (CASHWMaxSAT-Dis) R 86721 86721 85018 0 -1 4194304 326632 0 0 0 79039 92 0 0 20 0 1 0 73186757 1607368704 383063 18446744073709551615 4198400 14093885 140734378795936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37441536 140734378801564 140734378801691 140734378801691 140734378807264 0
/proc/86722/statm: 392424 383063 800 2416 0 389526 0
Current children cumulated CPU time: 791.31 s
Current children cumulated vsize: 1576680 KiB
Current children cumulated memory: 1536604 KiB
[startup+796.8 s]
/proc/loadavg: 4.33 4.27 4.18 5/258 86762
/proc/meminfo: memFree=107740468/131382112 swapFree=33010160/33010684
[pid=86718] ppid=86715 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/86718/stat : 86718 (Hybrid-CASHWMax) S 86715 86718 85018 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 73186754 4427776 736 18446744073709551615 94791404847104 94791405741637 140723077241952 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94791405980688 94791406028432 94791416483840 140723077245271 140723077245425 140723077245425 140723077251027 0
/proc/86718/statm: 1081 736 672 219 0 143 0
[pid=86721] ppid=86718 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/86721/stat : 86721 (timeout) S 86718 86721 85018 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 73186757 2723840 352 18446744073709551615 93955528474624 93955528491137 140729036148608 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93955528505904 93955528507992 93955536437248 140729036151190 140729036151330 140729036151330 140729036156903 0
/proc/86721/statm: 665 352 352 5 0 90 0
[pid=86722] ppid=86721 vsize=1574976 memory=1537500 CPUtime=794.5 cores=4,6
/proc/86722/stat : 86722 (CASHWMaxSAT-Dis) R 86721 86721 85018 0 -1 4194304 327966 0 0 0 79358 92 0 0 20 0 1 0 73186757 1612775424 384375 18446744073709551615 4198400 14093885 140734378795936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37441536 140734378801564 140734378801691 140734378801691 140734378807264 0
/proc/86722/statm: 393744 384375 800 2416 0 390846 0
Current children cumulated CPU time: 794.5 s
Current children cumulated vsize: 1581960 KiB
Current children cumulated memory: 1541852 KiB
[startup+798.401 s]
/proc/loadavg: 4.33 4.27 4.18 5/258 86762
/proc/meminfo: memFree=107709656/131382112 swapFree=33010160/33010684
[pid=86718] ppid=86715 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/86718/stat : 86718 (Hybrid-CASHWMax) S 86715 86718 85018 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 73186754 4427776 736 18446744073709551615 94791404847104 94791405741637 140723077241952 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94791405980688 94791406028432 94791416483840 140723077245271 140723077245425 140723077245425 140723077251027 0
/proc/86718/statm: 1081 736 672 219 0 143 0
[pid=86721] ppid=86718 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/86721/stat : 86721 (timeout) S 86718 86721 85018 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 73186757 2723840 352 18446744073709551615 93955528474624 93955528491137 140729036148608 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93955528505904 93955528507992 93955536437248 140729036151190 140729036151330 140729036151330 140729036156903 0
/proc/86721/statm: 665 352 352 5 0 90 0
[pid=86722] ppid=86721 vsize=1577972 memory=1540572 CPUtime=796.09 cores=4,6
/proc/86722/stat : 86722 (CASHWMaxSAT-Dis) R 86721 86721 85018 0 -1 4194304 328714 0 0 0 79517 92 0 0 20 0 1 0 73186757 1615843328 385143 18446744073709551615 4198400 14093885 140734378795936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37441536 140734378801564 140734378801691 140734378801691 140734378807264 0
/proc/86722/statm: 394493 385143 800 2416 0 391595 0
Current children cumulated CPU time: 796.09 s
Current children cumulated vsize: 1584956 KiB
Current children cumulated memory: 1544924 KiB
[startup+800 s]*
/proc/loadavg: 4.31 4.26 4.18 5/258 86762
/proc/meminfo: memFree=107471860/131382112 swapFree=33010160/33010684
[pid=86718] ppid=86715 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/86718/stat : 86718 (Hybrid-CASHWMax) S 86715 86718 85018 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 73186754 4427776 736 18446744073709551615 94791404847104 94791405741637 140723077241952 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94791405980688 94791406028432 94791416483840 140723077245271 140723077245425 140723077245425 140723077251027 0
/proc/86718/statm: 1081 736 672 219 0 143 0
[pid=86721] ppid=86718 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/86721/stat : 86721 (timeout) S 86718 86721 85018 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 73186757 2723840 352 18446744073709551615 93955528474624 93955528491137 140729036148608 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93955528505904 93955528507992 93955536437248 140729036151190 140729036151330 140729036151330 140729036156903 0
/proc/86721/statm: 665 352 352 5 0 90 0
[pid=86722] ppid=86721 vsize=1581192 memory=1544028 CPUtime=797.71 cores=4,6
/proc/86722/stat : 86722 (CASHWMaxSAT-Dis) R 86721 86721 85018 0 -1 4194304 329503 0 0 0 79678 93 0 0 20 0 1 0 73186757 1619140608 386007 18446744073709551615 4198400 14093885 140734378795936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37441536 140734378801564 140734378801691 140734378801691 140734378807264 0
/proc/86722/statm: 395298 386007 800 2416 0 392400 0
Current children cumulated CPU time: 797.71 s
Current children cumulated vsize: 1588176 KiB
Current children cumulated memory: 1548380 KiB
[startup+800.4 s]
/proc/loadavg: 4.31 4.26 4.18 5/258 86762
/proc/meminfo: memFree=107471860/131382112 swapFree=33010160/33010684
[pid=86718] ppid=86715 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/86718/stat : 86718 (Hybrid-CASHWMax) S 86715 86718 85018 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 73186754 4427776 736 18446744073709551615 94791404847104 94791405741637 140723077241952 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94791405980688 94791406028432 94791416483840 140723077245271 140723077245425 140723077245425 140723077251027 0
/proc/86718/statm: 1081 736 672 219 0 143 0
[pid=86721] ppid=86718 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/86721/stat : 86721 (timeout) S 86718 86721 85018 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 73186757 2723840 352 18446744073709551615 93955528474624 93955528491137 140729036148608 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93955528505904 93955528507992 93955536437248 140729036151190 140729036151330 140729036151330 140729036156903 0
/proc/86721/statm: 665 352 352 5 0 90 0
[pid=86722] ppid=86721 vsize=1582088 memory=1544924 CPUtime=798.09 cores=4,6
/proc/86722/stat : 86722 (CASHWMaxSAT-Dis) R 86721 86721 85018 0 -1 4194304 329721 0 0 0 79716 93 0 0 20 0 1 0 73186757 1620058112 386231 18446744073709551615 4198400 14093885 140734378795936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37441536 140734378801564 140734378801691 140734378801691 140734378807264 0
/proc/86722/statm: 395522 386231 800 2416 0 392624 0
Current children cumulated CPU time: 798.09 s
Current children cumulated vsize: 1589072 KiB
Current children cumulated memory: 1549276 KiB
[startup+800.8 s]
/proc/loadavg: 4.31 4.26 4.18 5/258 86762
/proc/meminfo: memFree=107471860/131382112 swapFree=33010160/33010684
[pid=86718] ppid=86715 vsize=4324 memory=2944 CPUtime=798.48 cores=4,6
/proc/86718/stat : 86718 (Hybrid-CASHWMax) S 86715 86718 85018 0 -1 4194304 283 330334 0 0 0 0 79750 98 20 0 1 0 73186754 4427776 736 18446744073709551615 94791404847104 94791405741637 140723077241952 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94791405980688 94791406028432 94791416483840 140723077245271 140723077245425 140723077245425 140723077251027 0
/proc/86718/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 798.48 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB
Child status: 0
Real time (s): 800.809
CPU time (s): 798.509
CPU user time (s): 797.51
CPU system time (s): 0.998502
CPU usage (%): 99.7127
Max. virtual memory (cumulated for all children) (KiB): 1607664
Max. memory (cumulated for all children) (KiB): 1567272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 797.51
system time used= 0.998502
maximum resident set size= 1562920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 330855
page faults= 0
swaps= 0
block input operations= 0
block output operations= 416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 375
involuntary context switches= 1163
# summary of solver processes directly reported to runsolver:
# pid: 86718
# total CPU time (s): 798.509
# total CPU user time (s): 797.51
# total CPU system time (s): 0.998502
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.62441 second user time and 9.29939 second system time
The end
Begin job on nodeC009 at 2025-07-03 22:37:50 IDJOB=4522025 IDBENCH=178564 IDSOLVER=3329 FILE ID=nodeC009/4522025-1751575069 RUNJOBID= nodeC009-1751569752-85029 SLURM_JOB_ID= 9598788 Free space on /tmp= 431024 MiB SOLVER NAME= Hybrid-CASHWMaxSATDisjCom+ExactPRS 2025-06-01 BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib3/normalized-mitre.opb COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCom+ExactPRS BENCHNAME TIMEOUT TMPDIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4522025-1751575069/watcher-4522025-1751575069 -o /tmp/evaluation-result-4522025-1751575069/solver-4522025-1751575069 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751569752-85029 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4522025-1751575069.opb 3600 HOME TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= ef3ff3fe247f050efe42854747d2eb97 RANDOM SEED=1892449974 nodeC009 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3662.196 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3691.382 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.208 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3700.000 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.229 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3691.456 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3700.000 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.294 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 109840816 kB MemAvailable: 121979948 kB Buffers: 2144 kB Cached: 12889220 kB SwapCached: 24 kB Active: 8260520 kB Inactive: 12527716 kB Active(anon): 7909752 kB Inactive(anon): 5056 kB Active(file): 350768 kB Inactive(file): 12522660 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 25476 kB Writeback: 24 kB AnonPages: 7899636 kB Mapped: 119672 kB Shmem: 17936 kB KReclaimable: 210280 kB Slab: 296668 kB SReclaimable: 210280 kB SUnreclaim: 86388 kB KernelStack: 4176 kB PageTables: 18936 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 8947768 kB VmallocTotal: 34359738367 kB VmallocUsed: 149528 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 2066432 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 172872 kB DirectMap2M: 9166848 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 431000 MiB End job on nodeC009 at 2025-07-03 22:51:11