Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
pwbo 1.1 | SAT (TO) | 22 | 1800.25 | 900.179 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_2.opb |
MD5SUM | af0ded53094abde95c37378ccd6c7afa |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 22 |
Best CPU time to get the best result obtained on this benchmark | 1800.25 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 21 |
Optimality of the best value was proved | NO |
Number of variables | 8901 |
Total number of constraints | 32298 |
Number of constraints which are clauses | 32280 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 17 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 790 |
Number of terms in the objective function | 790 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 790 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 30 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 820 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c pwbo 1.1 beta - 20110321 0.00/0.00 c Parsing opb file format. File HOME/instance-3500545-1307996519.opb. 0.00/0.00 c Instance file HOME/instance-3500545-1307996519.opb 0.00/0.00 c File size is 937948 bytes. 0.00/0.07 c Highest Coefficient sum: 820 0.00/0.07 c ============================[ Problem Statistics ]============================= 0.00/0.07 c | | 0.00/0.07 c | Parsing time: 0.07 s | 0.00/0.07 c | Number Variables: 8901 | 0.00/0.07 c | Number Clauses: 32297 | 0.00/0.07 c | Number Cardinality: 1 | 0.00/0.07 c | Number PB Constraints: 0 | 0.00/0.09 c init lb 0 0.00/0.09 c init ub 791 0.12/0.11 c lb 6 (thread 0) 0.12/0.11 c ub 27 (thread 1) 0.12/0.12 o 27 0.12/0.12 c lb 7 (thread 0) 0.12/0.14 c lb 8 (thread 0) 0.12/0.15 c lb 9 (thread 0) 0.12/0.17 c lb 10 (thread 0) 0.31/0.20 c lb 11 (thread 0) 0.92/0.53 c lb 12 (thread 0) 4.13/2.18 c lb 13 (thread 0) 11.51/5.83 c ub 26 (thread 1) 13.51/6.81 o 26 13.51/6.81 c ub 25 (thread 1) 158.12/79.16 o 25 158.12/79.16 c lb 14 (thread 0) 1137.54/568.84 c ub 24 (thread 1) 1479.75/739.99 o 24 1479.75/739.99 c ub 23 (thread 1) 1498.94/749.54 o 23 1498.94/749.54 c ub 22 (thread 1) 1800.16/900.11 o 22 1800.16/900.11 s SATISFIABLE 1800.16/900.11 v x1 x362 x699 x862 x1196 -x1207 -x1265 -x1323 -x1381 -x1439 -x1497 -x1555 -x1613 -x11 -x1671 x14 -x1698 -x17 -x1725 -x20 -x1752 -x23 -x1779 -x26 -x1806 -x29 -x1833 -x32 -x1860 -x1887 -x37 -x1914 -x40 -x1941 -x1968 -x45 -x1995 -x2022 -x50 -x2049 -x53 -x2076 -x56 -x2103 -x59 -x2130 -x62 -x2157 -x65 -x2184 -x2211 -x70 -x2238 -x73 -x2265 -x76 -x2292 x79 -x2319 -x82 -x2346 -x85 -x2373 -x88 -x2400 -x2427 -x2429 -x2441 -x2443 -x2455 -x2457 -x2469 -x2471 -x2483 -x2485 -x2497 -x2499 -x2511 -x2513 -x2525 -x2527 -x2539 -x2541 -x2553 -x2555 -x2567 -x2569 -x2581 -x2583 -x2595 -x2597 -x2609 -x2611 -x2623 -x2625 -x2637 -x2639 -x2651 -x2653 -x2665 -x2667 -x2679 -x2681 -x2693 -x2695 -x2707 -x2709 -x2721 -x2723 -x2735 -x2737 -x2749 -x2751 -x2763 -x2765 -x2777 -x2779 -x2791 -x2793 -x2805 -x2807 -x2819 -x2831 -x2833 -x2845 -x2847 -x2859 -x2861 -x2873 -x2875 -x2887 -x2889 -x2901 -x2903 -x2915 -x2917 -x2929 -x2931 -x2943 -x2945 -x2957 -x2959 -x2971 -x2973 -x2985 -x2987 -x2999 -x3001 -x3013 -x3015 -x3027 -x3029 -x3041 -x3043 -x3055 -x3057 -x3069 -x3071 -x3083 -x3085 -x3097 -x3099 -x3111 -x3113 -x3125 -x3127 -x3139 -x3141 -x3153 -x3155 -x3167 -x3169 x3181 x3183 -x3195 -x3197 x3209 -x3214 -x3219 -x3224 -x3229 -x3234 -x3239 -x3244 -x3249 -x3254 -x3259 -x3264 -x3269 -x3274 -x3279 -x3284 -x3289 -x3294 -x3299 -x3304 -x3309 -x3314 -x3319 -x3324 -x3329 -x3334 -x3339 -x3344 -x3349 -x3354 -x3359 -x3364 -x3369 -x3374 -x3379 -x3384 -x3389 -x3394 -x3399 -x3404 -x3409 -x3414 -x3419 -x3424 -x3429 -x3434 -x3439 -x3444 -x3449 -x3454 -x3459 -x3464 -x3469 -x3474 -x3479 -x3484 -x3489 -x3494 -x3499 -x3504 -x3509 -x3514 -x3519 -x3524 -x3529 -x3534 -x3539 -x3544 -x3549 -x3554 -x3559 -x3617 -x3675 -x3733 -x3791 -x3849 -x3907 -x3965 -x4023 -x4050 -x4077 -x378 -x4104 -x4131 -x383 -x4158 -x4185 -x4212 -x4239 -x4266 -x4293 -x4320 -x4347 -x400 -x4374 -x403 -x4401 -x4428 -x4455 -x410 -x4482 -x413 -x4509 x416 -x4536 -x419 -x4563 -x4590 -x424 -x4617 -x4644 -x429 -x4671 -x4698 -x434 -x4725 -x437 -x4752 -x4779 -x4791 -x4803 -x4805 -x4817 -x4829 -x4831 -x4843 -x4855 -x4857 -x4869 -x4871 -x4883 -x4895 -x4897 -x4909 -x4911 -x4923 -x4925 -x4937 -x4939 -x4951 -x4953 -x4965 -x4977 -x4979 -x4991 -x4993 -x5005 -x5007 -x5019 -x5021 -x5033 -x5035 -x5047 -x5049 -x5061 -x5063 -x5075 -x5077 -x5089 -x5101 x5113 -x5115 -x5127 -x5129 -x5141 -x5143 -x5155 -x5157 -x5169 -x5181 -x5183 -x5195 -x5207 -x5209 -x5221 -x5223 -x5235 -x5237 -x5249 -x5251 -x5263 -x5265 -x5277 -x5279 -x5291 -x5293 -x5305 -x5307 -x5319 -x5321 -x5333 -x5335 -x5347 -x5349 -x5361 -x5373 -x5375 -x5387 -x5389 -x5401 -x5403 -x5415 -x5417 -x5429 -x5431 -x5443 -x5445 -x5457 -x5459 -x5471 -x5473 -x5485 -x5487 -x5499 -x5501 -x5513 -x5515 -x5527 -x5529 -x5541 -x5546 -x5551 -x5556 -x5561 -x5566 -x5571 x5576 x5581 -x5586 -x5591 -x5596 -x5601 -x5606 -x5611 -x5616 -x5621 -x5626 -x5631 -x5636 -x5641 -x5646 -x5651 -x5656 -x5661 -x5666 -x5671 -x5676 -x5681 -x5686 -x5691 -x5696 -x5701 -x5706 -x5711 -x5716 -x5721 -x5726 -x5731 -x5736 -x5741 -x5746 -x5751 -x5756 -x5761 -x5766 -x5771 -x5776 -x5781 -x5786 -x5791 -x5796 -x5801 -x5806 -x5811 -x5816 -x5821 -x5826 -x5831 -x5836 -x5841 -x5846 -x5851 -x5856 -x5861 -x5866 -x5871 -x5876 -x5881 -x5908 -x5935 -x5962 -x5989 -x6016 -x6043 -x6070 -x6082 -x712 -x6094 -x715 -x6106 -x718 -x6118 -x721 -x6130 -x6142 -x726 -x6154 -x729 -x6166 -x6178 -x6190 -x6202 x738 -x6214 -x741 -x6226 -x744 -x6238 -x6250 -x6262 -x751 -x6274 -x6286 -x6298 -x6310 -x6322 -x6327 -x6329 -x6334 -x6336 -x6341 -x6343 x6348 -x6350 -x6355 -x6357 -x6362 -x6364 -x6369 -x6371 -x6376 -x6378 -x6383 -x6385 -x6390 -x6392 -x6397 -x6399 -x6404 -x6406 -x6411 -x6413 -x6418 -x6420 -x6425 -x6427 -x6432 -x6434 -x6439 -x6441 -x6446 -x6448 -x6453 -x6455 -x6460 -x6462 -x6467 -x6469 -x6474 -x6476 -x6481 -x6483 -x6488 x6493 x6495 -x6500 -x6502 -x6507 -x6509 -x6514 -x6516 -x6521 -x6523 -x6528 -x6530 -x6535 -x6537 -x6542 -x6544 -x6549 -x6551 -x6556 -x6558 -x6563 -x6621 -x6679 -x6737 -x6795 -x6853 -x6911 -x6969 -x7027 -x7054 -x7081 -x7108 -x7135 -x7162 -x7189 -x7216 -x888 -x7243 -x7270 -x7297 -x895 -x7324 -x7351 -x7378 -x7405 -x7432 -x7459 -x7486 -x7513 -x7540 -x7567 -x916 -x7594 -x7621 -x7648 -x923 -x7675 -x7702 -x928 -x7729 -x931 -x7756 -x7783 -x7795 -x7797 -x7809 -x7811 -x7823 -x7825 -x7837 -x7839 -x7851 -x7853 -x7865 -x7877 -x7879 -x7891 -x7893 -x7905 -x7917 -x7929 -x7941 -x7953 -x7955 -x7967 -x7969 -x7981 -x7993 -x7995 -x8007 -x8009 -x8021 -x8023 -x8035 -x8037 -x8049 -x8051 -x8063 -x8065 -x8077 -x8079 -x8091 -x8093 -x8105 -x8107 -x8119 -x8131 -x8133 -x8145 -x8147 -x8159 -x8161 -x8173 -x8175 -x8187 -x8189 -x8201 -x8203 -x8215 -x8217 -x8229 -x8231 -x8243 -x8245 -x8257 -x8259 -x8271 -x8273 -x8285 -x8287 -x8299 -x8301 -x8313 -x8315 -x8327 -x8329 -x8341 -x8343 -x8355 -x8357 -x8369 -x8371 -x8383 -x8385 -x8397 -x8399 -x8411 -x8423 -x8425 -x8437 -x8439 -x8451 -x8453 -x8465 -x8467 -x8479 -x8481 x8493 -x8495 -x8507 -x8509 -x8521 -x8523 -x8535 -x8537 -x8549 -x8554 -x8559 -x8564 -x8569 -x8574 -x8579 -x8584 -x8589 -x8594 -x8599 -x8604 -x8609 -x8614 -x8619 -x8624 -x8629 -x8634 -x8639 -x8644 -x8649 -x8654 -x8659 -x8664 -x8669 -x8674 -x8679 -x8684 -x8689 -x8694 -x8699 -x8704 -x8709 -x8714 -x8719 -x8724 x8729 x8734 -x8739 -x8744 -x8749 -x8754 -x8759 -x8764 -x8769 -x8774 -x8779 -x8784 -x8789 -x8794 -x8799 -x8804 -x8809 -x8814 -x8819 -x8824 -x8829 -x8834 -x8839 -x8844 -x8849 -x8854 -x8859 -x8864 -x8869 -x8874 -x8879 -x8884 -x8889 -x8894 -x8896 -x8898 -x8900 x1202 -x1204 -x1205 -x10 -x12 -x13 -x15 -x16 -x18 -x19 -x21 -x22 -x24 -x25 -x27 -x28 -x30 -x31 -x33 -x34 -x35 -x36 -x38 -x39 -x41 -x42 -x43 -x44 -x46 -x47 -x48 -x49 -x51 -x52 -x54 -x55 -x57 -x58 -x60 -x61 -x63 -x64 -x66 -x67 -x68 -x69 -x71 -x72 -x74 -x75 -x77 -x78 -x80 -x81 -x83 -x84 -x86 -x87 -x89 -x91 -x90 -x92 -x94 -x93 -x95 -x97 -x96 -x98 -x100 -x99 -x101 -x103 -x102 -x104 -x106 -x105 -x107 -x109 -x108 -x110 -x112 -x111 -x113 -x115 -x114 -x116 -x118 -x117 -x119 -x121 -x120 -x122 -x124 -x123 -x125 -x127 -x126 -x128 -x130 -x129 -x131 -x133 -x132 -x134 -x136 -x135 -x137 -x139 -x138 -x140 -x142 -x141 -x143 -x145 -x144 -x146 -x148 -x147 -x149 -x151 -x150 -x152 -x154 -x153 -x155 -x157 -x156 -x158 -x160 -x159 -x161 -x163 -x162 -x164 -x166 -x165 -x167 -x169 -x168 -x170 -x172 -x171 -x173 -x174 -x175 -x177 -x176 -x178 -x180 -x179 -x181 -x183 -x182 -x184 -x186 -x185 -x187 -x189 -x188 -x190 -x192 -x191 -x193 -x195 -x194 -x196 -x198 -x197 -x199 -x201 -x200 -x202 -x204 -x203 -x205 -x207 -x206 -x208 -x210 -x209 -x211 -x213 -x212 -x214 -x216 -x215 -x217 -x219 -x218 -x220 -x222 -x221 -x223 -x225 -x224 -x226 -x228 -x227 -x229 -x231 -x230 -x232 -x234 -x233 -x235 -x237 -x236 -x238 -x240 -x239 -x241 -x243 -x242 -x244 -x246 -x245 -x247 -x249 -x248 -x250 x252 x251 x253 -x255 -x254 -x256 x258 -x257 -x259 -x261 -x260 -x262 -x264 -x263 -x265 -x267 -x266 -x268 -x270 -x269 -x271 -x273 -x272 -x274 -x276 -x275 -x277 -x279 -x278 -x280 -x282 -x281 -x283 -x285 -x284 -x286 -x288 -x287 -x289 -x291 -x290 -x292 -x294 -x293 -x295 -x297 -x296 -x298 -x300 -x299 -x301 -x303 -x302 -x304 -x306 -x305 -x307 -x309 -x308 -x310 -x312 -x311 -x313 -x315 -x314 -x316 -x318 -x317 -x319 -x321 -x320 -x322 -x324 -x323 -x325 -x327 -x326 -x328 -x330 -x329 -x331 -x333 -x332 -x334 -x336 -x335 -x337 -x339 -x338 -x340 -x342 -x341 -x343 -x345 -x344 -x346 -x348 -x347 -x349 -x351 -x350 -x352 -x354 -x353 -x355 -x357 -x356 -x358 -x360 -x359 -x361 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x379 -x380 -x381 -x382 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x401 -x402 -x404 -x405 -x406 -x407 -x408 -x409 -x411 -x412 -x414 -x415 -x417 -x418 -x420 -x421 -x422 -x423 -x425 -x426 -x427 -x428 -x430 -x431 -x432 -x433 -x435 -x436 -x438 -x439 -x440 -x441 -x442 -x444 -x443 -x445 -x446 -x447 -x449 -x448 -x450 -x451 -x452 -x454 -x453 -x455 -x457 -x456 -x458 -x459 -x460 -x462 -x461 -x463 -x465 -x464 -x466 -x468 -x467 -x469 -x471 -x470 -x472 -x474 -x473 -x475 -x476 -x477 -x479 -x478 -x480 -x482 -x481 -x483 -x485 -x484 -x486 -x488 -x487 -x489 -x491 -x490 -x492 -x494 -x493 -x495 -x497 -x496 -x498 -x500 -x499 -x501 -x502 -x503 -x504 -x505 x507 -x506 -x508 -x510 -x509 -x511 -x513 -x512 -x514 -x516 -x515 -x517 -x518 -x519 -x521 -x520 -x522 -x523 -x524 -x526 -x525 -x527 -x529 -x528 -x530 -x532 -x531 -x533 -x535 -x534 -x536 -x538 -x537 -x539 -x541 -x540 -x542 -x544 -x543 -x545 -x547 -x546 -x548 -x550 -x549 -x551 -x553 -x552 -x554 -x556 -x555 -x557 -x558 -x559 -x561 -x560 -x562 -x564 -x563 -x565 -x567 -x566 -x568 -x570 -x569 -x571 -x573 -x572 -x574 -x576 -x575 -x577 -x579 -x578 -x580 -x582 -x581 -x583 -x585 -x584 -x586 -x588 -x587 -x589 -x591 -x590 -x592 -x594 -x593 -x595 -x597 -x596 -x598 -x600 -x599 -x601 -x602 -x603 -x605 -x604 -x606 x608 x607 x609 -x611 -x610 -x612 -x614 -x613 -x615 -x617 -x616 -x618 -x619 -x620 -x622 -x621 -x623 -x625 -x624 -x626 -x628 -x627 -x629 -x631 -x630 -x632 -x634 -x633 -x635 -x637 -x636 -x638 -x640 -x639 -x641 -x643 -x642 -x644 -x646 -x645 -x647 -x649 -x648 -x650 -x652 -x651 -x653 -x655 -x654 -x656 -x658 -x657 -x659 -x661 -x660 -x662 -x664 -x663 -x665 -x667 -x666 -x668 -x670 -x669 -x671 -x673 -x672 -x674 -x676 -x675 -x677 -x679 -x678 -x680 -x682 -x681 -x683 -x685 -x684 -x686 -x688 -x687 -x689 -x691 -x690 -x692 -x694 -x693 -x695 -x697 -x696 -x698 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x707 -x708 -x709 -x710 -x711 -x713 -x714 -x716 -x717 -x719 -x720 -x722 -x723 -x724 -x725 -x727 -x728 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x739 -x740 -x742 -x743 -x745 -x746 -x747 -x748 -x749 -x750 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x762 -x761 -x763 -x765 -x764 -x766 -x768 -x767 -x769 x771 -x770 -x772 -x774 -x773 -x775 -x777 -x776 -x778 -x780 -x779 -x781 -x783 -x782 -x784 -x786 -x785 -x787 -x789 -x788 -x790 -x792 -x791 -x793 -x795 -x794 -x796 -x798 -x797 -x799 -x801 -x800 -x802 -x804 -x803 -x805 -x807 -x806 -x808 -x810 -x809 -x811 -x813 -x812 -x814 -x816 -x815 -x817 -x819 -x818 -x820 -x822 -x821 -x823 -x825 -x824 -x826 -x828 -x827 -x829 -x830 -x831 x833 x832 x834 -x836 -x835 -x837 -x839 -x838 -x840 -x842 -x841 -x843 -x845 -x844 -x846 -x848 -x847 -x849 -x851 -x850 -x852 -x854 -x853 -x855 -x857 -x856 -x858 -x860 -x859 -x861 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x889 -x890 -x891 -x892 -x893 -x894 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x917 -x918 -x919 -x920 -x921 -x922 -x924 -x925 -x926 -x927 -x929 -x930 -x932 -x933 -x934 -x936 -x935 -x937 -x939 -x938 -x940 -x942 -x941 -x943 -x945 -x944 -x946 -x948 -x947 -x949 -x950 -x951 -x953 -x952 -x954 -x956 -x955 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x967 -x966 -x968 -x970 -x969 -x971 -x972 -x973 -x975 -x974 -x976 -x978 -x977 -x979 -x981 -x980 -x982 -x984 -x983 -x985 -x987 -x986 -x988 -x990 -x989 -x991 -x993 -x992 -x994 -x996 -x995 -x997 -x999 -x998 -x1000 -x1001 -x1002 -x1004 -x1003 -x1005 -x1007 -x1006 -x1008 -x1010 -x1009 -x1011 -x1013 -x1012 -x1014 -x1016 -x1015 -x1017 -x1019 -x1018 -x1020 -x1022 -x1021 -x1023 -x1025 -x1024 -x1026 -x1028 -x1027 -x1029 -x1031 -x1030 -x1032 -x1034 -x1033 -x1035 -x1037 -x1036 -x1038 -x1040 -x1039 -x1041 -x1043 -x1042 -x1044 -x1046 -x1045 -x1047 -x1049 -x1048 -x1050 -x1052 -x1051 -x1053 -x1055 -x1054 -x1056 -x1058 -x1057 -x1059 -x1061 -x1060 -x1062 -x1063 -x1064 -x1066 -x1065 -x1067 -x1069 -x1068 -x1070 -x1072 -x1071 -x1073 -x1075 -x1074 -x1076 -x1078 -x1077 -x1079 x1081 -x1080 -x1082 -x1084 -x1083 -x1085 -x1087 -x1086 -x1088 -x1090 -x1089 -x1091 -x1093 -x1092 -x1094 -x1096 -x1095 -x1097 -x1099 -x1098 -x1100 -x1102 -x1101 -x1103 -x1105 -x1104 -x1106 -x1108 -x1107 -x1109 -x1111 -x1110 -x1112 -x1114 -x1113 -x1115 -x1117 -x1116 -x1118 -x1120 -x1119 -x1121 -x1123 -x1122 -x1124 -x1126 -x1125 -x1127 -x1129 -x1128 -x1130 -x1132 -x1131 -x1133 -x1135 -x1134 -x1136 -x1138 -x1137 -x1139 -x1141 -x1140 -x1142 -x1144 -x1143 -x1145 x1147 x1146 x1148 -x1150 -x1149 -x1151 -x1153 -x1152 -x1154 -x1156 -x1155 -x1157 -x1159 -x1158 -x1160 -x1162 -x1161 -x1163 -x1165 -x1164 -x1166 -x1167 -x1168 -x1170 -x1169 -x1171 -x1173 -x1172 -x1174 -x1176 -x1175 -x1177 -x1179 -x1178 -x1180 -x1182 -x1181 -x1183 -x1185 -x1184 -x1186 -x1188 -x1187 -x1189 -x1191 -x1190 -x1192 -x1194 -x1193 -x1195 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 x1201 -x1203 -x1206 -x1197 -x1198 -x1199 -x1200 -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 -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 -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 -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 -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 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 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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 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 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 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 -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 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 x2428 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 x2442 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2456 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2470 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2484 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2498 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 x2512 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 x2526 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 x2540 x2542 x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 x2554 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 x2568 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2582 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2596 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2610 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2624 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2638 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2652 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 x2666 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2680 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2694 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2708 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 x2722 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2736 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2750 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2764 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2778 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 x2792 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 x2806 x2808 x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 x2832 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2846 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2860 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 x2874 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2888 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2902 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2916 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2930 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2944 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2958 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2972 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2986 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x3000 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 x3014 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3028 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3042 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3056 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3070 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3084 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 x3098 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3112 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3126 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3140 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3154 x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 x3168 x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 x3182 x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3196 x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 x3210 -x3211 x3212 -x3213 x3215 -x3216 -x3217 -x3218 -x3220 -x3221 -x3222 -x3223 -x3225 -x3226 -x3227 -x3228 -x3230 -x3231 -x3232 -x3233 x3235 -x3236 -x3237 -x3238 -x3240 -x3241 -x3242 -x3243 -x3245 -x3246 -x3247 -x3248 -x3250 -x3251 -x3252 -x3253 -x3255 -x3256 -x3257 -x3258 -x3260 -x3261 -x3262 -x3263 -x3265 -x3266 -x3267 -x3268 -x3270 -x3271 -x3272 -x3273 x3275 -x3276 -x3277 -x3278 -x3280 -x3281 -x3282 -x3283 -x3285 -x3286 -x3287 -x3288 -x3290 -x3291 -x3292 -x3293 -x3295 -x3296 -x3297 -x3298 -x3300 -x3301 -x3302 -x3303 -x3305 -x3306 -x3307 -x3308 -x3310 -x3311 -x3312 -x3313 -x3315 -x3316 -x3317 -x3318 -x3320 -x3321 -x3322 -x3323 -x3325 -x3326 -x3327 -x3328 -x3330 -x3331 -x3332 -x3333 -x3335 -x3336 -x3337 -x3338 -x3340 -x3341 -x3342 -x3343 -x3345 -x3346 -x3347 -x3348 -x3350 -x3351 -x3352 -x3353 -x3355 -x3356 -x3357 -x3358 -x3360 -x3361 -x3362 -x3363 -x3365 -x3366 -x3367 -x3368 -x3370 -x3371 -x3372 -x3373 x3375 -x3376 -x3377 -x3378 -x3380 -x3381 -x3382 -x3383 -x3385 -x3386 -x3387 -x3388 -x3390 -x3391 -x3392 -x3393 -x3395 -x3396 -x3397 -x3398 -x3400 -x3401 -x3402 -x3403 -x3405 -x3406 -x3407 -x3408 -x3410 -x3411 -x3412 -x3413 -x3415 -x3416 -x3417 -x3418 x3420 x3421 -x3422 -x3423 -x3425 -x3426 -x3427 -x3428 -x3430 -x3431 -x3432 -x3433 x3435 x3436 -x3437 -x3438 -x3440 -x3441 -x3442 -x3443 -x3445 -x3446 -x3447 -x3448 -x3450 -x3451 -x3452 -x3453 -x3455 -x3456 -x3457 -x3458 -x3460 -x3461 -x3462 -x3463 -x3465 -x3466 -x3467 -x3468 -x3470 -x3471 -x3472 -x3473 -x3475 -x3476 -x3477 -x3478 -x3480 -x3481 -x3482 -x3483 -x3485 -x3486 -x3487 -x3488 -x3490 -x3491 -x3492 -x3493 -x3495 -x3496 -x3497 -x3498 -x3500 -x3501 -x3502 -x3503 -x3505 -x3506 -x3507 -x3508 -x3510 -x3511 -x3512 -x3513 -x3515 -x3516 -x3517 -x3518 -x3520 -x3521 -x3522 -x3523 -x3525 -x3526 -x3527 -x3528 -x3530 -x3531 -x3532 -x3533 -x3535 -x3536 -x3537 -x3538 x3540 -x3541 -x3542 -x3543 -x3545 -x3546 -x3547 -x3548 -x3550 -x3551 -x3552 -x3553 -x3555 -x3556 -x3557 -x3558 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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 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 -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 -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 -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 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 -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 -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 -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 -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 x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4804 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4830 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4856 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4870 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4896 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4910 x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4924 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 x4938 x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 x4948 -x4949 -x4950 -x4952 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4978 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 x4992 x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 x5002 -x5003 -x5004 -x5006 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5020 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5034 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5048 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 x5062 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 x5076 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 x5114 x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5128 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 x5142 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5156 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5182 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5208 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5222 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5236 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5250 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5264 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 x5278 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5292 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 x5306 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5320 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 x5334 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5348 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5374 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5388 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 x5402 x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 x5416 x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 x5430 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 x5444 x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 x5458 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 x5472 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 x5486 x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5500 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 x5514 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5528 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5542 -x5543 -x5544 -x5545 -x5547 -x5548 -x5549 -x5550 -x5552 -x5553 -x5554 -x5555 -x5557 -x5558 -x5559 -x5560 x5562 -x5563 -x5564 x5565 -x5567 -x5568 -x5569 -x5570 -x5572 -x5573 -x5574 -x5575 x5577 -x5578 -x5579 -x5580 x5582 -x5583 x5584 -x5585 -x5587 -x5588 -x5589 -x5590 -x5592 -x5593 -x5594 -x5595 -x5597 -x5598 -x5599 -x5600 -x5602 -x5603 -x5604 -x5605 -x5607 -x5608 -x5609 -x5610 -x5612 -x5613 -x5614 -x5615 -x5617 -x5618 -x5619 -x5620 -x5622 -x5623 -x5624 -x5625 -x5627 -x5628 -x5629 -x5630 -x5632 -x5633 -x5634 -x5635 -x5637 -x5638 -x5639 -x5640 -x5642 -x5643 -x5644 -x5645 -x5647 -x5648 -x5649 -x5650 -x5652 -x5653 -x5654 -x5655 -x5657 -x5658 -x5659 -x5660 -x5662 -x5663 -x5664 -x5665 -x5667 -x5668 -x5669 -x5670 -x5672 -x5673 -x5674 -x5675 -x5677 -x5678 -x5679 -x5680 -x5682 -x5683 -x5684 -x5685 -x5687 -x5688 -x5689 -x5690 -x5692 -x5693 -x5694 -x5695 -x5697 -x5698 -x5699 -x5700 -x5702 -x5703 -x5704 -x5705 -x5707 -x5708 -x5709 -x5710 -x5712 -x5713 -x5714 -x5715 -x5717 -x5718 -x5719 -x5720 -x5722 -x5723 -x5724 -x5725 -x5727 -x5728 -x5729 -x5730 -x5732 -x5733 -x5734 -x5735 -x5737 -x5738 -x5739 -x5740 -x5742 -x5743 -x5744 -x5745 -x5747 -x5748 -x5749 -x5750 -x5752 -x5753 -x5754 -x5755 -x5757 -x5758 -x5759 -x5760 -x5762 -x5763 -x5764 -x5765 -x5767 -x5768 -x5769 -x5770 -x5772 -x5773 -x5774 -x5775 -x5777 -x5778 -x5779 -x5780 -x5782 -x5783 -x5784 -x5785 x5787 -x5788 -x5789 -x5790 -x5792 -x5793 -x5794 -x5795 x5797 -x5798 -x5799 -x5800 -x5802 -x5803 -x5804 -x5805 -x5807 -x5808 -x5809 -x5810 -x5812 -x5813 -x5814 -x5815 x5817 -x5818 -x5819 -x5820 -x5822 -x5823 -x5824 -x5825 x5827 x5828 -x5829 -x5830 -x5832 -x5833 -x5834 -x5835 -x5837 -x5838 -x5839 -x5840 -x5842 -x5843 -x5844 -x5845 x5847 x5848 -x5849 -x5850 -x5852 -x5853 -x5854 -x5855 -x5857 -x5858 -x5859 -x5860 -x5862 -x5863 -x5864 -x5865 x5867 x5868 -x5869 -x5870 -x5872 -x5873 -x5874 -x5875 -x5877 -x5878 -x5879 -x5880 -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 -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 -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 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 -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 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 -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 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 x6271 -x6272 -x6273 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 x6311 x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6323 -x6324 -x6325 -x6326 x6328 -x6330 -x6331 -x6332 -x6333 x6335 -x6337 -x6338 -x6339 -x6340 x6342 x6344 -x6345 -x6346 -x6347 x6349 x6351 -x6352 -x6353 -x6354 -x6356 -x6358 -x6359 -x6360 -x6361 x6363 -x6365 -x6366 -x6367 -x6368 -x6370 -x6372 -x6373 -x6374 -x6375 -x6377 -x6379 -x6380 -x6381 -x6382 -x6384 -x6386 -x6387 -x6388 -x6389 -x6391 -x6393 -x6394 -x6395 -x6396 -x6398 -x6400 -x6401 -x6402 -x6403 -x6405 -x6407 -x6408 -x6409 -x6410 -x6412 -x6414 -x6415 -x6416 -x6417 -x6419 x6421 -x6422 -x6423 -x6424 -x6426 -x6428 -x6429 -x6430 -x6431 x6433 -x6435 -x6436 -x6437 -x6438 -x6440 -x6442 -x6443 -x6444 -x6445 -x6447 -x6449 -x6450 -x6451 -x6452 -x6454 -x6456 -x6457 -x6458 -x6459 -x6461 -x6463 -x6464 -x6465 -x6466 -x6468 -x6470 -x6471 -x6472 -x6473 -x6475 -x6477 -x6478 -x6479 -x6480 -x6482 -x6484 -x6485 -x6486 -x6487 x6489 -x6490 -x6491 -x6492 x6494 x6496 -x6497 -x6498 -x6499 -x6501 x6503 -x6504 -x6505 -x6506 -x6508 -x6510 -x6511 -x6512 -x6513 x6515 x6517 -x6518 -x6519 -x6520 x6522 -x6524 -x6525 -x6526 -x6527 -x6529 -x6531 -x6532 -x6533 -x6534 -x6536 x6538 -x6539 -x6540 -x6541 -x6543 -x6545 -x6546 -x6547 -x6548 -x6550 x6552 x6553 -x6554 -x6555 -x6557 -x6559 -x6560 -x6561 -x6562 -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 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 -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 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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 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 -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 -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 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 -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 -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 -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 -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 -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 -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 -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 -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 -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 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 -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 -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 -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 -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 -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 -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 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7796 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7810 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7824 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7838 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7852 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 x7878 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 x7892 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7954 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7968 x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7994 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8008 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8022 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8036 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8050 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8064 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8078 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8092 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8106 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8132 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8146 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8160 x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 x8170 -x8171 -x8172 -x8174 x8176 x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 x8188 x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8202 x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8216 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8230 x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8244 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8258 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8272 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8286 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8300 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8314 x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 x8328 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8342 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8356 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8370 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8384 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8398 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8424 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8438 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8452 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8466 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8480 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 x8494 x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 x8508 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8522 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8536 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8550 -x8551 -x8552 -x8553 x8555 -x8556 -x8557 -x8558 -x8560 -x8561 -x8562 -x8563 -x8565 -x8566 -x8567 -x8568 -x8570 -x8571 -x8572 -x8573 -x8575 -x8576 -x8577 -x8578 -x8580 -x8581 -x8582 -x8583 -x8585 -x8586 -x8587 -x8588 x8590 -x8591 -x8592 -x8593 x8595 -x8596 -x8597 -x8598 -x8600 -x8601 -x8602 -x8603 -x8605 -x8606 -x8607 -x8608 -x8610 -x8611 -x8612 -x8613 -x8615 -x8616 -x8617 -x8618 -x8620 -x8621 -x8622 -x8623 -x8625 -x8626 -x8627 -x8628 -x8630 -x8631 -x8632 -x8633 x8635 -x8636 -x8637 -x8638 -x8640 -x8641 -x8642 -x8643 -x8645 -x8646 -x8647 -x8648 -x8650 -x8651 -x8652 -x8653 -x8655 -x8656 -x8657 -x8658 -x8660 -x8661 -x8662 -x8663 -x8665 -x8666 -x8667 -x8668 -x8670 -x8671 -x8672 -x8673 -x8675 -x8676 -x8677 -x8678 -x8680 -x8681 -x8682 -x8683 -x8685 -x8686 -x8687 -x8688 -x8690 -x8691 -x8692 -x8693 -x8695 -x8696 -x8697 -x8698 -x8700 -x8701 -x8702 -x8703 -x8705 -x8706 -x8707 -x8708 -x8710 -x8711 -x8712 -x8713 -x8715 -x8716 -x8717 -x8718 -x8720 -x8721 -x8722 -x8723 -x8725 -x8726 -x8727 -x8728 x8730 -x8731 -x8732 -x8733 x8735 -x8736 -x8737 -x8738 x8740 x8741 -x8742 -x8743 -x8745 -x8746 -x8747 -x8748 -x8750 -x8751 -x8752 -x8753 -x8755 -x8756 -x8757 -x8758 x8760 -x8761 -x8762 -x8763 -x8765 -x8766 -x8767 -x8768 -x8770 -x8771 -x8772 -x8773 -x8775 -x8776 -x8777 -x8778 x8780 -x8781 -x8782 -x8783 -x8785 -x8786 -x8787 -x8788 x8790 -x8791 -x8792 -x8793 -x8795 -x8796 -x8797 -x8798 -x8800 -x8801 -x8802 -x8803 -x8805 -x8806 -x8807 -x8808 -x8810 -x8811 -x8812 -x8813 -x8815 -x8816 -x8817 -x8818 -x8820 -x8821 -x8822 -x8823 -x8825 -x8826 -x8827 -x8828 -x8830 -x8831 -x8832 -x8833 -x8835 -x8836 -x8837 -x8838 -x8840 -x8841 -x8842 -x8843 -x8845 -x8846 -x8847 -x8848 -x8850 -x8851 -x8852 -x8853 x8855 -x8856 -x8857 -x8858 -x8860 -x8861 -x8862 -x8863 -x8865 -x8866 -x8867 -x8868 -x8870 -x8871 -x8872 -x8873 -x8875 -x8876 -x8877 -x8878 -x8880 -x8881 -x8882 -x8883 -x8885 -x8886 -x8887 -x8888 -x8890 -x8891 -x8892 -x8893 x8895 x8897 x8899 x8901 1800.16/900.11 c Memory used : 1504.92 MB 1800.16/900.11 c CPU time : 1793.94 s
OK 22
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3500545-1307996519/watcher-3500545-1307996519 -o /var/tmp/evaluation-result-3500545-1307996519/solver-3500545-1307996519 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500545-1307996519.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.84 3.95 3.90 3/179 17836 /proc/meminfo: memFree=14117800/32951124 swapFree=67054712/67111528 [pid=17836] ppid=17834 vsize=4052 CPUtime=0 cores=0,2,4,6 /proc/17836/stat : 17836 (pwbo1.1) R 17834 17836 16567 0 -1 4202496 558 0 0 0 0 0 0 0 25 0 1 0 989882585 4149248 510 33554432000 4194304 5714118 140737282365728 18446744073709551615 4235995 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/17836/statm: 1013 510 168 372 0 409 0 [startup+0.00715212 s] /proc/loadavg: 3.84 3.95 3.90 3/179 17836 /proc/meminfo: memFree=14117800/32951124 swapFree=67054712/67111528 [pid=17836] ppid=17834 vsize=4184 CPUtime=0 cores=0,2,4,6 /proc/17836/stat : 17836 (pwbo1.1) R 17834 17836 16567 0 -1 4202496 597 0 0 0 0 0 0 0 25 0 1 0 989882585 4284416 549 33554432000 4194304 5714118 140737282365728 18446744073709551615 4236034 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/17836/statm: 1046 549 173 372 0 442 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4184 [startup+0.101128 s] /proc/loadavg: 3.84 3.95 3.90 3/179 17836 /proc/meminfo: memFree=14117800/32951124 swapFree=67054712/67111528 [pid=17836] ppid=17834 vsize=147912 CPUtime=0.12 cores=0,2,4,6 /proc/17836/stat : 17836 (pwbo1.1) S 17834 17836 16567 0 -1 4202496 6434 0 0 0 10 2 0 0 25 0 3 0 989882585 151461888 6115 33554432000 4194304 5714118 140737282365728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 /proc/17836/statm: 36978 6134 179 372 0 36603 0 Current children cumulated CPU time (s) 0.12 Current children cumulated vsize (KiB) 147912 [startup+0.301091 s] /proc/loadavg: 3.84 3.95 3.90 3/179 17836 /proc/meminfo: memFree=14117800/32951124 swapFree=67054712/67111528 [pid=17836] ppid=17834 vsize=147568 CPUtime=0.51 cores=0,2,4,6 /proc/17836/stat : 17836 (pwbo1.1) S 17834 17836 16567 0 -1 4202496 9570 0 0 0 46 5 0 0 25 0 3 0 989882585 151109632 8783 33554432000 4194304 5714118 140737282365728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 /proc/17836/statm: 36892 8783 181 372 0 36517 0 Current children cumulated CPU time (s) 0.51 Current children cumulated vsize (KiB) 147568 [startup+0.701033 s] /proc/loadavg: 3.84 3.95 3.90 3/179 17836 /proc/meminfo: memFree=14117800/32951124 swapFree=67054712/67111528 [pid=17836] ppid=17834 vsize=147568 CPUtime=1.32 cores=0,2,4,6 /proc/17836/stat : 17836 (pwbo1.1) S 17834 17836 16567 0 -1 4202496 10720 0 0 0 125 7 0 0 25 0 3 0 989882585 151109632 9933 33554432000 4194304 5714118 140737282365728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 /proc/17836/statm: 36892 9933 181 372 0 36517 0 Current children cumulated CPU time (s) 1.32 Current children cumulated vsize (KiB) 147568 [startup+1.5009 s] /proc/loadavg: 3.84 3.95 3.90 5/182 17839 /proc/meminfo: memFree=14075628/32951124 swapFree=67054712/67111528 [pid=17836] ppid=17834 vsize=147568 CPUtime=2.91 cores=0,2,4,6 /proc/17836/stat : 17836 (pwbo1.1) S 17834 17836 16567 0 -1 4202496 12125 0 0 0 282 9 0 0 25 0 3 0 989882585 151109632 11338 33554432000 4194304 5714118 140737282365728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 /proc/17836/statm: 36892 11338 181 372 0 36517 0 [pid=17836/tid=17838] ppid=17834 vsize=147568 CPUtime=1.41 cores=0,2,4,6 /proc/17836/task/17838/stat : 17838 (pwbo1.1) R 17834 17836 16567 0 -1 4202560 4250 0 0 0 135 6 0 0 18 0 3 0 989882592 151109632 11338 33554432000 4194304 5714118 140737282365728 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 4 0 0 0 [pid=17836/tid=17839] ppid=17834 vsize=147568 CPUtime=1.42 cores=0,2,4,6 /proc/17836/task/17839/stat : 17839 (pwbo1.1) R 17834 17836 16567 0 -1 4202560 5121 0 0 0 140 2 0 0 19 0 3 0 989882592 151109632 11338 33554432000 4194304 5714118 140737282365728 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.91 Current children cumulated vsize (KiB) 147568 [startup+3.10063 s] /proc/loadavg: 3.84 3.95 3.90 5/182 17839 /proc/meminfo: memFree=14065088/32951124 swapFree=67054712/67111528 [pid=17836] ppid=17834 vsize=148424 CPUtime=6.11 cores=0,2,4,6 /proc/17836/stat : 17836 (pwbo1.1) S 17834 17836 16567 0 -1 4202496 17801 0 0 0 595 16 0 0 25 0 3 0 989882585 151986176 16973 33554432000 4194304 5714118 140737282365728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 /proc/17836/statm: 37106 16973 181 372 0 36731 0 [pid=17836/tid=17838] ppid=17834 vsize=148424 CPUtime=3.02 cores=0,2,4,6 /proc/17836/task/17838/stat : 17838 (pwbo1.1) R 17834 17836 16567 0 -1 4202560 6268 0 0 0 290 12 0 0 19 0 3 0 989882592 151986176 16973 33554432000 4194304 5714118 140737282365728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0 [pid=17836/tid=17839] ppid=17834 vsize=148424 CPUtime=3.02 cores=0,2,4,6 /proc/17836/task/17839/stat : 17839 (pwbo1.1) R 17834 17836 16567 0 -1 4202560 8779 0 0 0 298 4 0 0 22 0 3 0 989882592 151986176 16973 33554432000 4194304 5714118 140737282365728 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.11 Current children cumulated vsize (KiB) 148424 [startup+6.30104 s] /proc/loadavg: 3.85 3.95 3.90 5/182 17839 /proc/meminfo: memFree=14023580/32951124 swapFree=67054712/67111528 [pid=17836] ppid=17834 vsize=148424 CPUtime=12.51 cores=0,2,4,6 /proc/17836/stat : 17836 (pwbo1.1) S 17834 17836 16567 0 -1 4202496 24932 0 0 0 1222 29 0 0 25 0 3 0 989882585 151986176 24104 33554432000 4194304 5714118 140737282365728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 /proc/17836/statm: 37106 24105 181 372 0 36731 0 [pid=17836/tid=17838] ppid=17834 vsize=148424 CPUtime=6.22 cores=0,2,4,6 /proc/17836/task/17838/stat : 17838 (pwbo1.1) R 17834 17836 16567 0 -1 4202560 8644 0 0 0 600 22 0 0 19 0 3 0 989882592 151986176 24105 33554432000 4194304 5714118 140737282365728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0 [pid=17836/tid=17839] ppid=17834 vsize=148424 CPUtime=6.22 cores=0,2,4,6 /proc/17836/task/17839/stat : 17839 (pwbo1.1) R 17834 17836 16567 0 -1 4202560 13535 0 0 0 615 7 0 0 25 0 3 0 989882592 151986176 24105 33554432000 4194304 5714118 140737282365728 18446744073709551615 4323034 0 0 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.51 Current children cumulated vsize (KiB) 148424 [startup+12.7009 s] /proc/loadavg: 3.87 3.95 3.90 5/182 17839 /proc/meminfo: memFree=13974608/32951124 swapFree=67054712/67111528 [pid=17836] ppid=17834 vsize=214364 CPUtime=25.31 cores=0,2,4,6 /proc/17836/stat : 17836 (pwbo1.1) S 17834 17836 16567 0 -1 4202496 36088 0 0 0 2468 63 0 0 25 0 3 0 989882585 219508736 35260 33554432000 4194304 5714118 140737282365728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 /proc/17836/statm: 53591 35260 181 372 0 53216 0 [pid=17836/tid=17838] ppid=17834 vsize=214364 CPUtime=12.62 cores=0,2,4,6 /proc/17836/task/17838/stat : 17838 (pwbo1.1) R 17834 17836 16567 0 -1 4202560 19706 0 0 0 1209 53 0 0 25 0 3 0 989882592 219508736 35260 33554432000 4194304 5714118 140737282365728 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 4 0 0 0 [pid=17836/tid=17839] ppid=17834 vsize=214364 CPUtime=12.61 cores=0,2,4,6 /proc/17836/task/17839/stat : 17839 (pwbo1.1) R 17834 17836 16567 0 -1 4202560 13628 0 0 0 1252 9 0 0 25 0 3 0 989882592 219508736 35260 33554432000 4194304 5714118 140737282365728 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 25.31 Current children cumulated vsize (KiB) 214364 [startup+25.5007 s] /proc/loadavg: 3.89 3.96 3.91 5/182 17839 /proc/meminfo: memFree=13844276/32951124 swapFree=67054712/67111528 [pid=17836] ppid=17834 vsize=281144 CPUtime=50.91 cores=0,2,4,6 /proc/17836/stat : 17836 (pwbo1.1) S 17834 17836 16567 0 -1 4202496 64355 0 0 0 4996 95 0 0 25 0 3 0 989882585 287891456 63527 33554432000 4194304 5714118 140737282365728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 /proc/17836/statm: 70286 63527 182 372 0 69911 0 [pid=17836/tid=17838] ppid=17834 vsize=281144 CPUtime=25.42 cores=0,2,4,6 /proc/17836/task/17838/stat : 17838 (pwbo1.1) R 17834 17836 16567 0 -1 4202560 28543 0 0 0 2464 78 0 0 25 0 3 0 989882592 287891456 63527 33554432000 4194304 5714118 140737282365728 18446744073709551615 4319249 0 0 4096 16387 0 0 0 -1 4 0 0 0 [pid=17836/tid=17839] ppid=17834 vsize=281144 CPUtime=25.42 cores=0,2,4,6 /proc/17836/task/17839/stat : 17839 (pwbo1.1) R 17834 17836 16567 0 -1 4202560 33058 0 0 0 2525 17 0 0 25 0 3 0 989882592 287891456 63527 33554432000 4194304 5714118 140737282365728 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 50.91 Current children cumulated vsize (KiB) 281144 [startup+51.1012 s] /proc/loadavg: 3.93 3.96 3.91 5/182 17840 /proc/meminfo: memFree=13692656/32951124 swapFree=67054712/67111528 [pid=17836] ppid=17834 vsize=479964 CPUtime=102.12 cores=0,2,4,6 /proc/17836/stat : 17836 (pwbo1.1) S 17834 17836 16567 0 -1 4202496 97193 0 0 0 10070 142 0 0 25 0 3 0 989882585 491483136 96365 33554432000 4194304 5714118 140737282365728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 /proc/17836/statm: 119991 96365 182 372 0 119616 0 [pid=17836/tid=17838] ppid=17834 vsize=479964 CPUtime=51.02 cores=0,2,4,6 /proc/17836/task/17838/stat : 17838 (pwbo1.1) R 17834 17836 16567 0 -1 4202560 36870 0 0 0 4988 114 0 0 25 0 3 0 989882592 491483136 96365 33554432000 4194304 5714118 140737282365728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0 [pid=17836/tid=17839] ppid=17834 vsize=479964 CPUtime=51.02 cores=0,2,4,6 /proc/17836/task/17839/stat : 17839 (pwbo1.1) R 17834 17836 16567 0 -1 4202560 57569 0 0 0 5075 27 0 0 25 0 3 0 989882592 491483136 96365 33554432000 4194304 5714118 140737282365728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 102.12 Current children cumulated vsize (KiB) 479964 [startup+102.306 s] /proc/loadavg: 3.97 3.96 3.91 5/182 17841 /proc/meminfo: memFree=13385984/32951124 swapFree=67054712/67111528 [pid=17836] ppid=17834 vsize=744504 CPUtime=204.53 cores=0,2,4,6 /proc/17836/stat : 17836 (pwbo1.1) S 17834 17836 16567 0 -1 4202496 163644 0 0 0 20257 196 0 0 25 0 3 0 989882585 762372096 162496 33554432000 4194304 5714118 140737282365728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 /proc/17836/statm: 186126 162496 182 372 0 185751 0 [pid=17836/tid=17838] ppid=17834 vsize=744504 CPUtime=102.22 cores=0,2,4,6 /proc/17836/task/17838/stat : 17838 (pwbo1.1) R 17834 17836 16567 0 -1 4202560 37080 0 0 0 10083 139 0 0 25 0 3 0 989882592 762372096 162496 33554432000 4194304 5714118 140737282365728 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 4 0 0 0 [pid=17836/tid=17839] ppid=17834 vsize=744504 CPUtime=102.22 cores=0,2,4,6 /proc/17836/task/17839/stat : 17839 (pwbo1.1) R 17834 17836 16567 0 -1 4202560 123812 0 0 0 10166 56 0 0 25 0 3 0 989882592 762372096 162498 33554432000 4194304 5714118 140737282365728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 204.53 Current children cumulated vsize (KiB) 744504 [startup+162.301 s] /proc/loadavg: 4.03 3.98 3.91 5/182 17924 /proc/meminfo: memFree=13820608/32951124 swapFree=67054712/67111528 [pid=17836] ppid=17834 vsize=1008528 CPUtime=324.52 cores=0,2,4,6 /proc/17836/stat : 17836 (pwbo1.1) S 17834 17836 16567 0 -1 4202496 224975 0 0 0 32184 268 0 0 25 0 3 0 989882585 1032732672 223827 33554432000 4194304 5714118 140737282365728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 /proc/17836/statm: 252132 223827 182 372 0 251757 0 [pid=17836/tid=17838] ppid=17834 vsize=1008528 CPUtime=162.21 cores=0,2,4,6 /proc/17836/task/17838/stat : 17838 (pwbo1.1) R 17834 17836 16567 0 -1 4202560 53556 0 0 0 16032 189 0 0 25 0 3 0 989882592 1032732672 223827 33554432000 4194304 5714118 140737282365728 18446744073709551615 4319361 0 0 4096 16387 0 0 0 -1 4 0 0 0 [pid=17836/tid=17839] ppid=17834 vsize=1008528 CPUtime=162.22 cores=0,2,4,6 /proc/17836/task/17839/stat : 17839 (pwbo1.1) R 17834 17836 16567 0 -1 4202560 168665 0 0 0 16144 78 0 0 25 0 3 0 989882592 1032732672 223827 33554432000 4194304 5714118 140737282365728 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 324.52 Current children cumulated vsize (KiB) 1008528 [startup+222.301 s] /proc/loadavg: 4.08 4.00 3.92 5/182 17925 /proc/meminfo: memFree=13741580/32951124 swapFree=67054712/67111528 [pid=17836] ppid=17834 vsize=1009996 CPUtime=444.52 cores=0,2,4,6 /proc/17836/stat : 17836 (pwbo1.1) S 17834 17836 16567 0 -1 4202496 230449 0 0 0 44150 302 0 0 25 0 3 0 989882585 1034235904 229301 33554432000 4194304 5714118 140737282365728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 /proc/17836/statm: 252499 229301 182 372 0 252124 0 [pid=17836/tid=17838] ppid=17834 vsize=1009996 CPUtime=222.22 cores=0,2,4,6 /proc/17836/task/17838/stat : 17838 (pwbo1.1) R 17834 17836 16567 0 -1 4202560 58657 0 0 0 22007 215 0 0 25 0 3 0 989882592 1034235904 229301 33554432000 4194304 5714118 140737282365728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0 [pid=17836/tid=17839] ppid=17834 vsize=1009996 CPUtime=222.23 cores=0,2,4,6 /proc/17836/task/17839/stat : 17839 (pwbo1.1) R 17834 17836 16567 0 -1 4202560 169038 0 0 0 22136 87 0 0 25 0 3 0 989882592 1034235904 229301 33554432000 4194304 5714118 140737282365728 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 444.52 Current children cumulated vsize (KiB) 1009996 [startup+282.301 s] /proc/loadavg: 4.03 4.00 3.92 5/182 17967 /proc/meminfo: memFree=13678660/32951124 swapFree=67054712/67111528 [pid=17836] ppid=17834 vsize=1142368 CPUtime=564.52 cores=0,2,4,6 /proc/17836/stat : 17836 (pwbo1.1) S 17834 17836 16567 0 -1 4202496 267767 0 0 0 56096 356 0 0 25 0 3 0 989882585 1169784832 266619 33554432000 4194304 5714118 140737282365728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 /proc/17836/statm: 285592 266619 182 372 0 285217 0 [pid=17836/tid=17838] ppid=17834 vsize=1142368 CPUtime=282.22 cores=0,2,4,6 /proc/17836/task/17838/stat : 17838 (pwbo1.1) R 17834 17836 16567 0 -1 4202560 71931 0 0 0 27968 254 0 0 25 0 3 0 989882592 1169784832 266619 33554432000 4194304 5714118 140737282365728 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0 [pid=17836/tid=17839] ppid=17834 vsize=1142368 CPUtime=282.22 cores=0,2,4,6 /proc/17836/task/17839/stat : 17839 (pwbo1.1) R 17834 17836 16567 0 -1 4202560 193082 0 0 0 28120 102 0 0 25 0 3 0 989882592 1169784832 266619 33554432000 4194304 5714118 140737282365728 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 564.52 Current children cumulated vsize (KiB) 1142368 [startup+342.301 s] /proc/loadavg: 4.01 4.00 3.92 5/182 17969 /proc/meminfo: memFree=13440296/32951124 swapFree=67054712/67111528 [pid=17836] ppid=17834 vsize=1273888 CPUtime=684.52 cores=0,2,4,6 /proc/17836/stat : 17836 (pwbo1.1) S 17834 17836 16567 0 -1 4202496 306280 0 0 0 68070 382 0 0 25 0 3 0 989882585 1304461312 305132 33554432000 4194304 5714118 140737282365728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 /proc/17836/statm: 318472 305132 182 372 0 318097 0 [pid=17836/tid=17838] ppid=17834 vsize=1273888 CPUtime=342.22 cores=0,2,4,6 /proc/17836/task/17838/stat : 17838 (pwbo1.1) R 17834 17836 16567 0 -1 4202560 72298 0 0 0 33958 264 0 0 25 0 3 0 989882592 1304461312 305132 33554432000 4194304 5714118 140737282365728 18446744073709551615 4319336 0 0 4096 16387 0 0 0 -1 4 0 0 0 [pid=17836/tid=17839] ppid=17834 vsize=1273888 CPUtime=342.23 cores=0,2,4,6 /proc/17836/task/17839/stat : 17839 (pwbo1.1) R 17834 17836 16567 0 -1 4202560 231228 0 0 0 34105 118 0 0 25 0 3 0 989882592 1304461312 305132 33554432000 4194304 5714118 140737282365728 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 684.52 Current children cumulated vsize (KiB) 1273888 [startup+402.301 s] /proc/loadavg: 4.00 4.00 3.92 5/182 17970 /proc/meminfo: memFree=13386572/32951124 swapFree=67054712/67111528 [pid=17836] ppid=17834 vsize=1274944 CPUtime=804.53 cores=0,2,4,6 /proc/17836/stat : 17836 (pwbo1.1) S 17834 17836 16567 0 -1 4202496 313627 0 0 0 80040 413 0 0 25 0 3 0 989882585 1305542656 312479 33554432000 4194304 5714118 140737282365728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 /proc/17836/statm: 318736 312479 182 372 0 318361 0 [pid=17836/tid=17838] ppid=17834 vsize=1274944 CPUtime=402.22 cores=0,2,4,6 /proc/17836/task/17838/stat : 17838 (pwbo1.1) R 17834 17836 16567 0 -1 4202560 79579 0 0 0 39937 285 0 0 25 0 3 0 989882592 1305542656 312479 33554432000 4194304 5714118 140737282365728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0 [pid=17836/tid=17839] ppid=17834 vsize=1274944 CPUtime=402.23 cores=0,2,4,6 /proc/17836/task/17839/stat : 17839 (pwbo1.1) R 17834 17836 16567 0 -1 4202560 231294 0 0 0 40096 127 0 0 25 0 3 0 989882592 1305542656 312479 33554432000 4194304 5714118 140737282365728 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 804.53 Current children cumulated vsize (KiB) 1274944 [startup+462.301 s] /proc/loadavg: 4.00 4.00 3.92 5/182 17972 /proc/meminfo: memFree=13267760/32951124 swapFree=67054712/67111528 [pid=17836] ppid=17834 vsize=1406744 CPUtime=924.53 cores=0,2,4,6 /proc/17836/stat : 17836 (pwbo1.1) S 17834 17836 16567 0 -1 4202496 334979 0 0 0 91983 470 0 0 25 0 3 0 989882585 1440505856 333831 33554432000 4194304 5714118 140737282365728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 /proc/17836/statm: 351686 333831 182 372 0 351311 0 [pid=17836/tid=17838] ppid=17834 vsize=1406744 CPUtime=462.23 cores=0,2,4,6 /proc/17836/task/17838/stat : 17838 (pwbo1.1) R 17834 17836 16567 0 -1 4202560 100758 0 0 0 45890 333 0 0 25 0 3 0 989882592 1440505856 333831 33554432000 4194304 5714118 140737282365728 18446744073709551615 4319748 0 0 4096 16387 0 0 0 -1 4 0 0 0 [pid=17836/tid=17839] ppid=17834 vsize=1406744 CPUtime=462.23 cores=0,2,4,6 /proc/17836/task/17839/stat : 17839 (pwbo1.1) R 17834 17836 16567 0 -1 4202560 231467 0 0 0 46086 137 0 0 25 0 3 0 989882592 1440505856 333831 33554432000 4194304 5714118 140737282365728 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 924.53 Current children cumulated vsize (KiB) 1406744 [startup+522.301 s] /proc/loadavg: 4.04 4.01 3.93 5/182 17973 /proc/meminfo: memFree=13237480/32951124 swapFree=67054712/67111528 [pid=17836] ppid=17834 vsize=1473168 CPUtime=1044.54 cores=0,2,4,6 /proc/17836/stat : 17836 (pwbo1.1) S 17834 17836 16567 0 -1 4202496 337904 0 0 0 103969 485 0 0 25 0 3 0 989882585 1508524032 336756 33554432000 4194304 5714118 140737282365728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 /proc/17836/statm: 368292 336756 182 372 0 367917 0 [pid=17836/tid=17838] ppid=17834 vsize=1473168 CPUtime=522.22 cores=0,2,4,6 /proc/17836/task/17838/stat : 17838 (pwbo1.1) R 17834 17836 16567 0 -1 4202560 100770 0 0 0 51885 337 0 0 25 0 3 0 989882592 1508524032 336756 33554432000 4194304 5714118 140737282365728 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 4 0 0 0 [pid=17836/tid=17839] ppid=17834 vsize=1473168 CPUtime=522.22 cores=0,2,4,6 /proc/17836/task/17839/stat : 17839 (pwbo1.1) R 17834 17836 16567 0 -1 4202560 234380 0 0 0 52076 146 0 0 25 0 3 0 989882592 1508524032 336756 33554432000 4194304 5714118 140737282365728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1044.54 Current children cumulated vsize (KiB) 1473168 [startup+582.301 s] /proc/loadavg: 4.01 4.01 3.93 5/182 17975 /proc/meminfo: memFree=13150668/32951124 swapFree=67054712/67111528 [pid=17836] ppid=17834 vsize=1473604 CPUtime=1164.53 cores=0,2,4,6 /proc/17836/stat : 17836 (pwbo1.1) S 17834 17836 16567 0 -1 4202496 346089 0 0 0 115938 515 0 0 25 0 3 0 989882585 1508970496 344912 33554432000 4194304 5714118 140737282365728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 /proc/17836/statm: 368401 344912 182 372 0 368026 0 [pid=17836/tid=17838] ppid=17834 vsize=1473604 CPUtime=582.22 cores=0,2,4,6 /proc/17836/task/17838/stat : 17838 (pwbo1.1) R 17834 17836 16567 0 -1 4202560 108835 0 0 0 57863 359 0 0 25 0 3 0 989882592 1508970496 344912 33554432000 4194304 5714118 140737282365728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0 [pid=17836/tid=17839] ppid=17834 vsize=1473604 CPUtime=582.23 cores=0,2,4,6 /proc/17836/task/17839/stat : 17839 (pwbo1.1) R 17834 17836 16567 0 -1 4202560 234500 0 0 0 58068 155 0 0 25 0 3 0 989882592 1508970496 344912 33554432000 4194304 5714118 140737282365728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1164.53 Current children cumulated vsize (KiB) 1473604 [startup+642.301 s] /proc/loadavg: 4.00 4.00 3.93 5/182 17977 /proc/meminfo: memFree=13105004/32951124 swapFree=67054712/67111528 [pid=17836] ppid=17834 vsize=1474060 CPUtime=1284.55 cores=0,2,4,6 /proc/17836/stat : 17836 (pwbo1.1) S 17834 17836 16567 0 -1 4202496 346184 0 0 0 127923 532 0 0 25 0 3 0 989882585 1509437440 345007 33554432000 4194304 5714118 140737282365728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 /proc/17836/statm: 368515 345007 182 372 0 368140 0 [pid=17836/tid=17838] ppid=17834 vsize=1474060 CPUtime=642.23 cores=0,2,4,6 /proc/17836/task/17838/stat : 17838 (pwbo1.1) R 17834 17836 16567 0 -1 4202560 108846 0 0 0 63858 365 0 0 25 0 3 0 989882592 1509437440 345007 33554432000 4194304 5714118 140737282365728 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 4 0 0 0 [pid=17836/tid=17839] ppid=17834 vsize=1474060 CPUtime=642.24 cores=0,2,4,6 /proc/17836/task/17839/stat : 17839 (pwbo1.1) R 17834 17836 16567 0 -1 4202560 234584 0 0 0 64058 166 0 0 25 0 3 0 989882592 1509437440 345007 33554432000 4194304 5714118 140737282365728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1284.55 Current children cumulated vsize (KiB) 1474060 [startup+702.301 s] /proc/loadavg: 4.00 4.00 3.93 5/182 17978 /proc/meminfo: memFree=13088980/32951124 swapFree=67054712/67111528 [pid=17836] ppid=17834 vsize=1474400 CPUtime=1404.54 cores=0,2,4,6 /proc/17836/stat : 17836 (pwbo1.1) S 17834 17836 16567 0 -1 4202496 346267 0 0 0 139907 547 0 0 25 0 3 0 989882585 1509785600 345067 33554432000 4194304 5714118 140737282365728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 /proc/17836/statm: 368600 345067 182 372 0 368225 0 [pid=17836/tid=17838] ppid=17834 vsize=1474400 CPUtime=702.22 cores=0,2,4,6 /proc/17836/task/17838/stat : 17838 (pwbo1.1) R 17834 17836 16567 0 -1 4202560 108865 0 0 0 69850 372 0 0 25 0 3 0 989882592 1509785600 345067 33554432000 4194304 5714118 140737282365728 18446744073709551615 4319830 0 0 4096 16387 0 0 0 -1 4 0 0 0 [pid=17836/tid=17839] ppid=17834 vsize=1474400 CPUtime=702.23 cores=0,2,4,6 /proc/17836/task/17839/stat : 17839 (pwbo1.1) R 17834 17836 16567 0 -1 4202560 234648 0 0 0 70049 174 0 0 25 0 3 0 989882592 1509785600 345067 33554432000 4194304 5714118 140737282365728 18446744073709551615 4322601 0 0 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1404.54 Current children cumulated vsize (KiB) 1474400 [startup+762.307 s] /proc/loadavg: 4.00 4.00 3.93 5/182 17980 /proc/meminfo: memFree=13042820/32951124 swapFree=67054712/67111528 [pid=17836] ppid=17834 vsize=1474400 CPUtime=1524.56 cores=0,2,4,6 /proc/17836/stat : 17836 (pwbo1.1) S 17834 17836 16567 0 -1 4202496 352133 0 0 0 151876 580 0 0 25 0 3 0 989882585 1509785600 350933 33554432000 4194304 5714118 140737282365728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 /proc/17836/statm: 368600 350933 182 372 0 368225 0 [pid=17836/tid=17838] ppid=17834 vsize=1474400 CPUtime=762.23 cores=0,2,4,6 /proc/17836/task/17838/stat : 17838 (pwbo1.1) R 17834 17836 16567 0 -1 4202560 114694 0 0 0 75830 393 0 0 25 0 3 0 989882592 1509785600 350933 33554432000 4194304 5714118 140737282365728 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 4 0 0 0 [pid=17836/tid=17839] ppid=17834 vsize=1474400 CPUtime=762.24 cores=0,2,4,6 /proc/17836/task/17839/stat : 17839 (pwbo1.1) R 17834 17836 16567 0 -1 4202560 234685 0 0 0 76038 186 0 0 25 0 3 0 989882592 1509785600 350933 33554432000 4194304 5714118 140737282365728 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1524.56 Current children cumulated vsize (KiB) 1474400 [startup+822.301 s] /proc/loadavg: 4.00 4.00 3.93 5/182 17981 /proc/meminfo: memFree=13033372/32951124 swapFree=67054712/67111528 [pid=17836] ppid=17834 vsize=1474816 CPUtime=1644.55 cores=0,2,4,6 /proc/17836/stat : 17836 (pwbo1.1) S 17834 17836 16567 0 -1 4202496 352218 0 0 0 163858 597 0 0 25 0 3 0 989882585 1510211584 351018 33554432000 4194304 5714118 140737282365728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 /proc/17836/statm: 368704 351018 182 372 0 368329 0 [pid=17836/tid=17838] ppid=17834 vsize=1474816 CPUtime=822.23 cores=0,2,4,6 /proc/17836/task/17838/stat : 17838 (pwbo1.1) R 17834 17836 16567 0 -1 4202560 114695 0 0 0 81822 401 0 0 25 0 3 0 989882592 1510211584 351018 33554432000 4194304 5714118 140737282365728 18446744073709551615 4319361 0 0 4096 16387 0 0 0 -1 4 0 0 0 [pid=17836/tid=17839] ppid=17834 vsize=1474816 CPUtime=822.23 cores=0,2,4,6 /proc/17836/task/17839/stat : 17839 (pwbo1.1) R 17834 17836 16567 0 -1 4202560 234769 0 0 0 82028 195 0 0 25 0 3 0 989882592 1510211584 351018 33554432000 4194304 5714118 140737282365728 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1644.55 Current children cumulated vsize (KiB) 1474816 [startup+882.301 s] /proc/loadavg: 4.00 4.00 3.93 5/182 17983 /proc/meminfo: memFree=13012884/32951124 swapFree=67054712/67111528 [pid=17836] ppid=17834 vsize=1541036 CPUtime=1764.55 cores=0,2,4,6 /proc/17836/stat : 17836 (pwbo1.1) S 17834 17836 16567 0 -1 4202496 357072 0 0 0 175835 620 0 0 25 0 3 0 989882585 1578020864 355872 33554432000 4194304 5714118 140737282365728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 /proc/17836/statm: 385259 355872 182 372 0 384884 0 [pid=17836/tid=17838] ppid=17834 vsize=1541036 CPUtime=882.23 cores=0,2,4,6 /proc/17836/task/17838/stat : 17838 (pwbo1.1) R 17834 17836 16567 0 -1 4202560 119393 0 0 0 87809 414 0 0 25 0 3 0 989882592 1578020864 355872 33554432000 4194304 5714118 140737282365728 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0 [pid=17836/tid=17839] ppid=17834 vsize=1541036 CPUtime=882.23 cores=0,2,4,6 /proc/17836/task/17839/stat : 17839 (pwbo1.1) R 17834 17836 16567 0 -1 4202560 234925 0 0 0 88018 205 0 0 25 0 3 0 989882592 1578020864 355872 33554432000 4194304 5714118 140737282365728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1764.55 Current children cumulated vsize (KiB) 1541036 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+900.101 s] /proc/loadavg: 4.00 4.00 3.93 5/182 17984 /proc/meminfo: memFree=13012740/32951124 swapFree=67054712/67111528 [pid=17836] ppid=17834 vsize=1541036 CPUtime=1800.16 cores=0,2,4,6 /proc/17836/stat : 17836 (pwbo1.1) S 17834 17836 16567 0 -1 4202496 357073 0 0 0 179392 624 0 0 25 0 3 0 989882585 1578020864 355873 33554432000 4194304 5714118 140737282365728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 /proc/17836/statm: 385259 355873 182 372 0 384884 0 [pid=17836/tid=17838] ppid=17834 vsize=1541036 CPUtime=900.03 cores=0,2,4,6 /proc/17836/task/17838/stat : 17838 (pwbo1.1) R 17834 17836 16567 0 -1 4202560 119393 0 0 0 89589 414 0 0 25 0 3 0 989882592 1578020864 355873 33554432000 4194304 5714118 140737282365728 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0 [pid=17836/tid=17839] ppid=17834 vsize=1541036 CPUtime=900.04 cores=0,2,4,6 /proc/17836/task/17839/stat : 17839 (pwbo1.1) R 17834 17836 16567 0 -1 4202560 234926 0 0 0 89796 208 0 0 25 0 3 0 989882592 1578020864 355873 33554432000 4194304 5714118 140737282365728 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 1541036 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+900.101 s] /proc/loadavg: 4.00 4.00 3.93 5/182 17984 /proc/meminfo: memFree=13012740/32951124 swapFree=67054712/67111528 [pid=17836] ppid=17834 vsize=1541036 CPUtime=1800.16 cores=0,2,4,6 /proc/17836/stat : 17836 (pwbo1.1) S 17834 17836 16567 0 -1 4202496 357073 0 0 0 179392 624 0 0 25 0 3 0 989882585 1578020864 355873 33554432000 4194304 5714118 140737282365728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 /proc/17836/statm: 385259 355873 182 372 0 384884 0 [pid=17836/tid=17838] ppid=17834 vsize=1541036 CPUtime=900.03 cores=0,2,4,6 /proc/17836/task/17838/stat : 17838 (pwbo1.1) R 17834 17836 16567 0 -1 4202560 119393 0 0 0 89589 414 0 0 25 0 3 0 989882592 1578020864 355873 33554432000 4194304 5714118 140737282365728 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0 [pid=17836/tid=17839] ppid=17834 vsize=1541036 CPUtime=900.04 cores=0,2,4,6 /proc/17836/task/17839/stat : 17839 (pwbo1.1) R 17834 17836 16567 0 -1 4202560 234926 0 0 0 89796 208 0 0 25 0 3 0 989882592 1578020864 355873 33554432000 4194304 5714118 140737282365728 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 1541036 Child status: 0 Real time (s): 900.179 CPU time (s): 1800.25 CPU user time (s): 1793.94 CPU system time (s): 6.30604 CPU usage (%): 199.988 Max. virtual memory (cumulated for all children) (KiB): 1541036 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.94 system time used= 6.30604 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 357079 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 939 involuntary context switches= 2999 runsolver used 1.70974 second user time and 3.18452 second system time The end
Begin job on node119 at 2011-06-13 22:21:59 IDJOB=3500545 IDBENCH=25018 IDSOLVER=1954 FILE ID=node119/3500545-1307996519 RUNJOBID= node119-1307991085-16870 PBS_JOBID= 13559741 Free space on /var/tmp= 2876 MiB SOLVER NAME= pwbo 1.1 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_2.opb COMMAND LINE= pwbo1.1 -file-format=opb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3500545-1307996519/watcher-3500545-1307996519 -o /var/tmp/evaluation-result-3500545-1307996519/solver-3500545-1307996519 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500545-1307996519.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= af0ded53094abde95c37378ccd6c7afa RANDOM SEED=101877707 node119.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.815 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.63 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.815 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.815 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.815 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.815 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.815 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.815 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.815 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 14118244 kB Buffers: 115204 kB Cached: 17334568 kB SwapCached: 11032 kB Active: 2771552 kB Inactive: 15438112 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 14118244 kB SwapTotal: 67111528 kB SwapFree: 67054712 kB Dirty: 5096 kB Writeback: 0 kB AnonPages: 757096 kB Mapped: 13936 kB Slab: 557388 kB PageTables: 6544 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 956100 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /var/tmp at the end= 2872 MiB End job on node119 at 2011-06-13 22:37:01