Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | 25 | 1782.81 | 1783.51 |
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 | 21 |
Best CPU time to get the best result obtained on this benchmark | 1800.12 |
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 Pueblo version 1.4 (September 2005) 0.00/0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00/0.00 c by Hossein Sheini 0.79/0.90 c starting to Solve 0.79/0.90 c #variables read: 8901 - #constraints read: 32294 0.89/0.94 o 26 0.89/0.94 o 25 1782.69/1783.43 c total time : 1783 s 1782.69/1783.43 s SATISFIABLE 1782.69/1783.43 v x1 x362 x699 x862 x1196 -x1207 -x1265 -x1323 -x1381 -x1439 -x1497 -x1555 -x1613 -x11 -x1671 -x14 -x1698 -x17 -x1725 -x20 1782.69/1783.43 v -x1752 -x23 -x1779 -x26 -x1806 -x29 -x1833 -x32 -x1860 -x1887 -x37 -x1914 -x40 -x1941 -x1968 -x45 -x1995 -x2022 -x50 -x2049 1782.69/1783.43 v -x53 -x2076 -x56 -x2103 -x59 -x2130 -x62 -x2157 -x65 -x2184 -x2211 -x70 -x2238 -x73 -x2265 -x76 -x2292 x79 -x2319 x82 -x2346 1782.69/1783.43 v -x85 -x2373 -x88 -x2400 -x2427 -x2429 -x2441 -x2443 -x2455 -x2457 -x2469 -x2471 -x2483 -x2485 -x2497 -x2499 -x2511 -x2513 1782.69/1783.43 v -x2525 -x2527 -x2539 -x2541 -x2553 -x2555 -x2567 -x2569 -x2581 -x2583 -x2595 -x2597 -x2609 -x2611 -x2623 -x2625 -x2637 1782.69/1783.43 v -x2639 -x2651 -x2653 -x2665 -x2667 -x2679 -x2681 -x2693 -x2695 -x2707 -x2709 -x2721 -x2723 -x2735 -x2737 -x2749 -x2751 1782.69/1783.43 v -x2763 -x2765 -x2777 -x2779 -x2791 -x2793 -x2805 -x2807 -x2819 -x2831 -x2833 -x2845 -x2847 -x2859 -x2861 -x2873 -x2875 1782.69/1783.43 v -x2887 -x2889 -x2901 -x2903 -x2915 -x2917 -x2929 -x2931 -x2943 -x2945 -x2957 -x2959 -x2971 -x2973 -x2985 -x2987 -x2999 1782.69/1783.43 v -x3001 -x3013 -x3015 x3027 -x3029 -x3041 -x3043 -x3055 -x3057 -x3069 -x3071 -x3083 -x3085 x3097 -x3099 -x3111 -x3113 -x3125 1782.69/1783.43 v -x3127 -x3139 -x3141 -x3153 -x3155 -x3167 -x3169 -x3181 -x3183 -x3195 -x3197 -x3209 -x3214 -x3219 -x3224 -x3229 -x3234 1782.69/1783.43 v -x3239 -x3244 -x3249 -x3254 -x3259 -x3264 -x3269 -x3274 -x3279 -x3284 -x3289 -x3294 -x3299 -x3304 -x3309 -x3314 -x3319 1782.69/1783.43 v -x3324 -x3329 -x3334 -x3339 -x3344 -x3349 -x3354 -x3359 -x3364 -x3369 -x3374 -x3379 -x3384 -x3389 -x3394 -x3399 -x3404 1782.69/1783.43 v -x3409 -x3414 -x3419 -x3424 -x3429 -x3434 -x3439 -x3444 -x3449 -x3454 -x3459 -x3464 -x3469 -x3474 x3479 x3484 -x3489 -x3494 1782.69/1783.43 v -x3499 -x3504 -x3509 -x3514 -x3519 -x3524 -x3529 -x3534 -x3539 -x3544 -x3549 -x3554 -x3559 -x3617 -x3675 -x3733 -x3791 1782.69/1783.43 v -x3849 -x3907 -x3965 -x4023 -x4050 -x4077 -x378 -x4104 -x4131 -x383 -x4158 -x4185 -x4212 -x4239 -x4266 -x4293 -x4320 -x4347 1782.69/1783.43 v -x400 -x4374 -x403 -x4401 -x4428 -x4455 -x410 -x4482 -x413 -x4509 -x416 -x4536 -x419 -x4563 -x4590 x424 -x4617 -x4644 -x429 1782.69/1783.43 v -x4671 -x4698 -x434 -x4725 -x437 -x4752 -x4779 -x4791 -x4803 -x4805 -x4817 -x4829 -x4831 -x4843 -x4855 -x4857 -x4869 -x4871 1782.69/1783.43 v -x4883 -x4895 -x4897 -x4909 -x4911 -x4923 -x4925 -x4937 -x4939 -x4951 -x4953 -x4965 -x4977 -x4979 -x4991 -x4993 -x5005 1782.69/1783.43 v -x5007 -x5019 -x5021 -x5033 -x5035 -x5047 -x5049 -x5061 -x5063 -x5075 -x5077 -x5089 -x5101 -x5113 -x5115 -x5127 -x5129 1782.69/1783.43 v -x5141 -x5143 -x5155 -x5157 -x5169 -x5181 -x5183 -x5195 -x5207 -x5209 -x5221 -x5223 -x5235 -x5237 -x5249 -x5251 -x5263 1782.69/1783.43 v -x5265 -x5277 -x5279 -x5291 -x5293 -x5305 -x5307 -x5319 -x5321 -x5333 -x5335 -x5347 -x5349 -x5361 -x5373 -x5375 -x5387 1782.69/1783.43 v -x5389 -x5401 -x5403 -x5415 -x5417 -x5429 -x5431 -x5443 -x5445 -x5457 -x5459 -x5471 -x5473 x5485 -x5487 -x5499 -x5501 1782.69/1783.43 v -x5513 -x5515 -x5527 -x5529 -x5541 -x5546 -x5551 -x5556 -x5561 -x5566 -x5571 -x5576 -x5581 -x5586 -x5591 -x5596 -x5601 1782.69/1783.43 v -x5606 -x5611 -x5616 -x5621 -x5626 -x5631 -x5636 -x5641 -x5646 -x5651 -x5656 -x5661 -x5666 -x5671 -x5676 -x5681 -x5686 1782.69/1783.43 v -x5691 -x5696 -x5701 -x5706 -x5711 -x5716 -x5721 -x5726 -x5731 -x5736 -x5741 -x5746 -x5751 -x5756 -x5761 -x5766 -x5771 1782.69/1783.43 v -x5776 -x5781 -x5786 -x5791 -x5796 -x5801 -x5806 -x5811 -x5816 -x5821 -x5826 -x5831 -x5836 x5841 x5846 -x5851 -x5856 -x5861 1782.69/1783.43 v -x5866 -x5871 -x5876 -x5881 -x5908 -x5935 -x5962 -x5989 -x6016 -x6043 -x6070 -x6082 -x712 -x6094 -x715 -x6106 -x718 -x6118 1782.69/1783.43 v -x721 -x6130 -x6142 -x726 -x6154 -x729 -x6166 -x6178 -x6190 -x6202 -x738 -x6214 -x741 -x6226 -x744 -x6238 -x6250 -x6262 1782.69/1783.43 v -x751 -x6274 -x6286 -x6298 -x6310 -x6322 -x6327 -x6329 -x6334 -x6336 -x6341 -x6343 -x6348 -x6350 -x6355 -x6357 -x6362 1782.69/1783.43 v -x6364 -x6369 -x6371 -x6376 -x6378 -x6383 -x6385 -x6390 -x6392 -x6397 -x6399 -x6404 -x6406 -x6411 -x6413 -x6418 -x6420 1782.69/1783.43 v x6425 -x6427 -x6432 -x6434 -x6439 -x6441 -x6446 -x6448 -x6453 -x6455 -x6460 -x6462 -x6467 -x6469 -x6474 -x6476 -x6481 1782.69/1783.43 v -x6483 -x6488 -x6493 -x6495 -x6500 -x6502 -x6507 -x6509 -x6514 -x6516 -x6521 -x6523 -x6528 -x6530 -x6535 -x6537 -x6542 1782.69/1783.43 v -x6544 -x6549 -x6551 x6556 x6558 -x6563 -x6621 -x6679 -x6737 -x6795 -x6853 -x6911 -x6969 -x7027 -x7054 -x7081 -x7108 -x7135 1782.69/1783.43 v -x7162 -x7189 -x7216 -x888 -x7243 -x7270 -x7297 x895 -x7324 -x7351 -x7378 -x7405 -x7432 -x7459 -x7486 -x7513 -x7540 -x7567 1782.69/1783.43 v -x916 -x7594 -x7621 -x7648 -x923 -x7675 -x7702 x928 -x7729 -x931 -x7756 -x7783 -x7795 -x7797 -x7809 -x7811 -x7823 -x7825 1782.69/1783.43 v -x7837 -x7839 -x7851 -x7853 -x7865 -x7877 -x7879 -x7891 -x7893 -x7905 -x7917 -x7929 -x7941 -x7953 -x7955 -x7967 -x7969 1782.69/1783.43 v -x7981 -x7993 -x7995 -x8007 -x8009 -x8021 -x8023 -x8035 -x8037 -x8049 -x8051 -x8063 -x8065 -x8077 -x8079 -x8091 -x8093 1782.69/1783.43 v -x8105 -x8107 -x8119 -x8131 -x8133 -x8145 -x8147 -x8159 -x8161 -x8173 -x8175 -x8187 -x8189 x8201 -x8203 -x8215 -x8217 1782.69/1783.43 v -x8229 -x8231 -x8243 -x8245 -x8257 -x8259 -x8271 -x8273 -x8285 -x8287 -x8299 -x8301 -x8313 -x8315 -x8327 -x8329 -x8341 1782.69/1783.43 v -x8343 -x8355 -x8357 -x8369 -x8371 -x8383 -x8385 -x8397 -x8399 -x8411 -x8423 -x8425 -x8437 -x8439 -x8451 -x8453 x8465 1782.69/1783.43 v -x8467 -x8479 -x8481 -x8493 -x8495 -x8507 -x8509 -x8521 -x8523 -x8535 -x8537 -x8549 -x8554 -x8559 -x8564 -x8569 -x8574 1782.69/1783.43 v -x8579 -x8584 -x8589 -x8594 -x8599 -x8604 -x8609 -x8614 -x8619 -x8624 -x8629 -x8634 -x8639 -x8644 -x8649 -x8654 -x8659 1782.69/1783.43 v -x8664 -x8669 -x8674 -x8679 -x8684 -x8689 -x8694 -x8699 -x8704 -x8709 -x8714 -x8719 -x8724 -x8729 -x8734 -x8739 -x8744 1782.69/1783.43 v -x8749 -x8754 -x8759 -x8764 -x8769 -x8774 -x8779 -x8784 -x8789 -x8794 -x8799 -x8804 -x8809 -x8814 -x8819 -x8824 -x8829 1782.69/1783.43 v x8834 x8839 -x8844 -x8849 -x8854 -x8859 -x8864 -x8869 -x8874 -x8879 -x8884 -x8889 -x8894 -x8896 -x8898 -x8900 x1202 -x1204 1782.69/1783.43 v -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 1782.69/1783.43 v -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 1782.69/1783.43 v -x81 -x83 -x84 -x86 -x87 -x89 -x91 -x90 -x92 -x94 -x93 -x95 -x97 -x96 -x98 -x100 -x99 -x101 -x103 -x102 -x104 -x106 -x105 -x107 1782.69/1783.43 v -x109 -x108 -x110 -x112 -x111 -x113 -x115 -x114 -x116 -x118 -x117 -x119 -x121 -x120 -x122 -x124 -x123 -x125 -x127 -x126 -x128 1782.69/1783.43 v -x130 -x129 -x131 -x133 -x132 -x134 -x136 -x135 -x137 -x139 -x138 -x140 -x142 -x141 -x143 -x145 -x144 -x146 -x148 -x147 -x149 1782.69/1783.43 v -x151 -x150 -x152 -x154 -x153 -x155 -x157 -x156 -x158 -x160 -x159 -x161 -x163 -x162 -x164 -x166 -x165 -x167 -x169 -x168 -x170 1782.69/1783.43 v -x172 -x171 -x173 -x174 -x175 -x177 -x176 -x178 -x180 -x179 -x181 -x183 -x182 -x184 -x186 -x185 -x187 -x189 -x188 -x190 -x192 1782.69/1783.43 v -x191 -x193 -x195 -x194 -x196 -x198 -x197 -x199 -x201 -x200 -x202 -x204 -x203 -x205 -x207 -x206 -x208 -x210 -x209 -x211 -x213 1782.69/1783.43 v -x212 -x214 -x216 -x215 -x217 x219 -x218 -x220 -x222 -x221 -x223 -x225 -x224 -x226 -x228 -x227 -x229 -x231 -x230 -x232 x234 1782.69/1783.43 v -x233 -x235 -x237 -x236 -x238 -x240 -x239 -x241 -x243 -x242 -x244 -x246 -x245 -x247 -x249 -x248 -x250 -x252 -x251 -x253 -x255 1782.69/1783.43 v -x254 -x256 -x258 -x257 -x259 -x261 -x260 -x262 -x264 -x263 -x265 -x267 -x266 -x268 -x270 -x269 -x271 -x273 -x272 -x274 -x276 1782.69/1783.43 v -x275 -x277 -x279 -x278 -x280 -x282 -x281 -x283 -x285 -x284 -x286 -x288 -x287 -x289 -x291 -x290 -x292 -x294 -x293 -x295 -x297 1782.69/1783.43 v -x296 -x298 -x300 -x299 -x301 -x303 -x302 -x304 -x306 -x305 -x307 -x309 -x308 -x310 -x312 -x311 -x313 -x315 -x314 -x316 -x318 1782.69/1783.43 v -x317 -x319 -x321 -x320 -x322 -x324 -x323 -x325 -x327 -x326 -x328 -x330 -x329 -x331 -x333 -x332 -x334 -x336 -x335 -x337 x339 1782.69/1783.43 v x338 x340 -x342 -x341 -x343 -x345 -x344 -x346 -x348 -x347 -x349 -x351 -x350 -x352 -x354 -x353 -x355 -x357 -x356 -x358 -x360 1782.69/1783.43 v -x359 -x361 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x379 -x380 -x381 -x382 -x384 -x385 -x386 1782.69/1783.43 v -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x401 -x402 -x404 -x405 -x406 -x407 -x408 -x409 1782.69/1783.43 v -x411 -x412 -x414 -x415 -x417 -x418 -x420 -x421 -x422 -x423 -x425 -x426 -x427 -x428 -x430 -x431 -x432 -x433 -x435 -x436 -x438 1782.69/1783.43 v -x439 -x440 -x441 -x442 -x444 -x443 -x445 -x446 -x447 -x449 -x448 -x450 -x451 -x452 -x454 -x453 -x455 -x457 -x456 -x458 -x459 1782.69/1783.43 v -x460 -x462 -x461 -x463 -x465 -x464 -x466 -x468 -x467 -x469 -x471 -x470 -x472 -x474 -x473 -x475 -x476 -x477 -x479 -x478 -x480 1782.69/1783.43 v -x482 -x481 -x483 -x485 -x484 -x486 -x488 -x487 -x489 -x491 -x490 -x492 -x494 -x493 -x495 -x497 -x496 -x498 -x500 -x499 -x501 1782.69/1783.43 v -x502 -x503 -x504 -x505 -x507 -x506 -x508 -x510 -x509 -x511 -x513 -x512 -x514 -x516 -x515 -x517 -x518 -x519 -x521 -x520 -x522 1782.69/1783.43 v -x523 -x524 -x526 -x525 -x527 -x529 -x528 -x530 -x532 -x531 -x533 -x535 -x534 -x536 -x538 -x537 -x539 -x541 -x540 -x542 -x544 1782.69/1783.43 v -x543 -x545 -x547 -x546 -x548 -x550 -x549 -x551 -x553 -x552 -x554 -x556 -x555 -x557 -x558 -x559 -x561 -x560 -x562 -x564 -x563 1782.69/1783.43 v -x565 -x567 -x566 -x568 -x570 -x569 -x571 -x573 -x572 -x574 -x576 -x575 -x577 -x579 -x578 -x580 -x582 -x581 -x583 x585 -x584 1782.69/1783.43 v -x586 -x588 -x587 -x589 -x591 -x590 -x592 -x594 -x593 -x595 -x597 -x596 -x598 -x600 -x599 -x601 -x602 -x603 -x605 -x604 -x606 1782.69/1783.43 v -x608 -x607 -x609 -x611 -x610 -x612 -x614 -x613 -x615 -x617 -x616 -x618 -x619 -x620 -x622 -x621 -x623 -x625 -x624 -x626 -x628 1782.69/1783.43 v -x627 -x629 -x631 -x630 -x632 -x634 -x633 -x635 -x637 -x636 -x638 -x640 -x639 -x641 -x643 -x642 -x644 -x646 -x645 -x647 -x649 1782.69/1783.43 v -x648 -x650 -x652 -x651 -x653 -x655 -x654 -x656 -x658 -x657 -x659 -x661 -x660 -x662 -x664 -x663 -x665 -x667 -x666 -x668 -x670 1782.69/1783.43 v -x669 -x671 -x673 -x672 -x674 -x676 -x675 -x677 -x679 -x678 -x680 -x682 -x681 -x683 -x685 -x684 -x686 x688 x687 x689 -x691 1782.69/1783.43 v -x690 -x692 -x694 -x693 -x695 -x697 -x696 -x698 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x707 -x708 -x709 -x710 -x711 1782.69/1783.43 v -x713 -x714 -x716 -x717 -x719 -x720 -x722 -x723 -x724 -x725 -x727 -x728 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x739 1782.69/1783.43 v -x740 -x742 -x743 -x745 -x746 -x747 -x748 -x749 -x750 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x762 -x761 -x763 1782.69/1783.43 v -x765 -x764 -x766 -x768 -x767 -x769 -x771 -x770 -x772 -x774 -x773 -x775 -x777 -x776 -x778 -x780 -x779 -x781 -x783 -x782 -x784 1782.69/1783.43 v -x786 -x785 -x787 -x789 -x788 -x790 -x792 -x791 -x793 -x795 -x794 -x796 -x798 -x797 -x799 -x801 -x800 -x802 x804 -x803 -x805 1782.69/1783.43 v -x807 -x806 -x808 -x810 -x809 -x811 -x813 -x812 -x814 -x816 -x815 -x817 -x819 -x818 -x820 -x822 -x821 -x823 -x825 -x824 -x826 1782.69/1783.43 v -x828 -x827 -x829 -x830 -x831 -x833 -x832 -x834 -x836 -x835 -x837 -x839 -x838 -x840 -x842 -x841 -x843 -x845 -x844 -x846 -x848 1782.69/1783.43 v -x847 -x849 -x851 -x850 -x852 -x854 -x853 -x855 -x857 -x856 -x858 x860 x859 x861 -x700 -x701 -x702 -x703 -x704 -x705 -x706 1782.69/1783.43 v -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x889 -x890 -x891 -x892 1782.69/1783.43 v -x893 -x894 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 1782.69/1783.43 v -x915 -x917 -x918 -x919 -x920 -x921 -x922 -x924 -x925 -x926 -x927 -x929 -x930 -x932 -x933 -x934 -x936 -x935 -x937 -x939 -x938 1782.69/1783.43 v -x940 -x942 -x941 -x943 -x945 -x944 -x946 -x948 -x947 -x949 -x950 -x951 -x953 -x952 -x954 -x956 -x955 -x957 -x958 -x959 -x960 1782.69/1783.43 v -x961 -x962 -x963 -x964 -x965 -x967 -x966 -x968 -x970 -x969 -x971 -x972 -x973 -x975 -x974 -x976 -x978 -x977 -x979 -x981 -x980 1782.69/1783.43 v -x982 -x984 -x983 -x985 -x987 -x986 -x988 -x990 -x989 -x991 -x993 -x992 -x994 -x996 -x995 -x997 -x999 -x998 -x1000 -x1001 1782.69/1783.43 v -x1002 -x1004 -x1003 -x1005 -x1007 -x1006 -x1008 -x1010 -x1009 -x1011 -x1013 -x1012 -x1014 -x1016 -x1015 -x1017 x1019 1782.69/1783.43 v -x1018 -x1020 -x1022 -x1021 -x1023 -x1025 -x1024 -x1026 -x1028 -x1027 -x1029 -x1031 -x1030 -x1032 -x1034 -x1033 -x1035 1782.69/1783.43 v -x1037 -x1036 -x1038 -x1040 -x1039 -x1041 -x1043 -x1042 -x1044 -x1046 -x1045 -x1047 -x1049 -x1048 -x1050 -x1052 -x1051 1782.69/1783.43 v -x1053 -x1055 -x1054 -x1056 -x1058 -x1057 -x1059 -x1061 -x1060 -x1062 -x1063 -x1064 -x1066 -x1065 -x1067 -x1069 -x1068 1782.69/1783.43 v -x1070 -x1072 -x1071 -x1073 x1075 -x1074 -x1076 -x1078 -x1077 -x1079 -x1081 -x1080 -x1082 -x1084 -x1083 -x1085 -x1087 1782.69/1783.43 v -x1086 -x1088 -x1090 -x1089 -x1091 -x1093 -x1092 -x1094 -x1096 -x1095 -x1097 -x1099 -x1098 -x1100 -x1102 -x1101 -x1103 1782.69/1783.43 v -x1105 -x1104 -x1106 -x1108 -x1107 -x1109 -x1111 -x1110 -x1112 -x1114 -x1113 -x1115 -x1117 -x1116 -x1118 -x1120 -x1119 1782.69/1783.43 v -x1121 -x1123 -x1122 -x1124 -x1126 -x1125 -x1127 -x1129 -x1128 -x1130 -x1132 -x1131 -x1133 -x1135 -x1134 -x1136 -x1138 1782.69/1783.43 v -x1137 -x1139 -x1141 -x1140 -x1142 -x1144 -x1143 -x1145 -x1147 -x1146 -x1148 -x1150 -x1149 -x1151 -x1153 -x1152 -x1154 1782.69/1783.43 v -x1156 -x1155 -x1157 -x1159 -x1158 -x1160 -x1162 -x1161 -x1163 -x1165 -x1164 -x1166 -x1167 -x1168 -x1170 -x1169 -x1171 1782.69/1783.43 v -x1173 -x1172 -x1174 -x1176 -x1175 -x1177 x1179 x1178 x1180 -x1182 -x1181 -x1183 -x1185 -x1184 -x1186 -x1188 -x1187 -x1189 1782.69/1783.43 v -x1191 -x1190 -x1192 -x1194 -x1193 -x1195 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 x1201 -x1203 -x1206 -x1197 -x1198 1782.69/1783.43 v -x1199 -x1200 x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 1782.69/1783.43 v -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 1782.69/1783.43 v -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 1782.69/1783.43 v x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 1782.69/1783.43 v -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 1782.69/1783.43 v -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 1782.69/1783.43 v x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1324 -x1325 -x1326 -x1327 1782.69/1783.43 v -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 1782.69/1783.43 v -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 1782.69/1783.43 v -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 1782.69/1783.43 v -x1379 -x1380 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 1782.69/1783.43 v -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 1782.69/1783.43 v -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 1782.69/1783.43 v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 1782.69/1783.43 v -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 1782.69/1783.43 v -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 1782.69/1783.43 v -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1498 -x1499 -x1500 1782.69/1783.43 v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 1782.69/1783.43 v -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 1782.69/1783.43 v -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 1782.69/1783.43 v -x1552 -x1553 -x1554 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 1782.69/1783.43 v -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 1782.69/1783.43 v -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 1782.69/1783.43 v -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 1782.69/1783.43 v -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 1782.69/1783.43 v -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 1782.69/1783.43 v -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 x1672 -x1673 1782.69/1783.43 v -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 1782.69/1783.43 v -x1691 -x1692 -x1693 -x1694 x1695 -x1696 -x1697 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 1782.69/1783.43 v -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 x1726 1782.69/1783.43 v -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 x1738 -x1739 -x1740 -x1741 -x1742 -x1743 1782.69/1783.43 v -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 1782.69/1783.43 v -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 1782.69/1783.43 v -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 1782.69/1783.43 v -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 1782.69/1783.43 v -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 1782.69/1783.43 v -x1832 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 1782.69/1783.43 v -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 1782.69/1783.43 v -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 1782.69/1783.43 v -x1885 -x1886 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 1782.69/1783.43 v -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 1782.69/1783.43 v -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 1782.69/1783.43 v -x1938 -x1939 -x1940 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 1782.69/1783.43 v -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1969 -x1970 -x1971 -x1972 -x1973 1782.69/1783.43 v -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 1782.69/1783.43 v -x1991 -x1992 -x1993 -x1994 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 1782.69/1783.43 v -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2023 -x2024 -x2025 -x2026 1782.69/1783.43 v -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 1782.69/1783.43 v -x2044 -x2045 -x2046 -x2047 -x2048 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 1782.69/1783.43 v -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2077 -x2078 -x2079 1782.69/1783.43 v -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 1782.69/1783.43 v -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 1782.69/1783.43 v -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2131 -x2132 1782.69/1783.43 v -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 1782.69/1783.43 v -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 1782.69/1783.43 v -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2185 1782.69/1783.43 v -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 1782.69/1783.43 v -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 1782.69/1783.43 v -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 1782.69/1783.43 v -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 1782.69/1783.43 v -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 1782.69/1783.43 v -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 1782.69/1783.43 v -x2291 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 1782.69/1783.43 v -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 1782.69/1783.43 v -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 1782.69/1783.43 v -x2344 -x2345 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 1782.69/1783.43 v -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 1782.69/1783.43 v -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 1782.69/1783.43 v -x2397 -x2398 -x2399 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 1782.69/1783.43 v -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2428 x2430 -x2431 -x2432 -x2433 1782.69/1783.43 v -x2434 -x2435 -x2436 -x2437 x2438 -x2439 -x2440 -x2442 x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 x2451 -x2452 -x2453 1782.69/1783.43 v -x2454 -x2456 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2470 -x2472 -x2473 -x2474 1782.69/1783.43 v -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2484 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 1782.69/1783.43 v -x2494 -x2495 -x2496 -x2498 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2512 -x2514 1782.69/1783.43 v -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2526 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 1782.69/1783.43 v -x2534 -x2535 -x2536 -x2537 -x2538 -x2540 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 1782.69/1783.43 v -x2554 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2568 -x2570 -x2571 -x2572 -x2573 1782.69/1783.43 v -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2582 x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 1782.69/1783.43 v -x2593 -x2594 -x2596 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2610 -x2612 -x2613 1782.69/1783.43 v -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2624 x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 1782.69/1783.43 v -x2633 -x2634 -x2635 -x2636 -x2638 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2652 1782.69/1783.43 v -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 x2666 x2668 -x2669 -x2670 -x2671 -x2672 -x2673 1782.69/1783.43 v -x2674 -x2675 -x2676 -x2677 -x2678 x2680 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 1782.69/1783.43 v -x2694 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2708 -x2710 -x2711 -x2712 -x2713 1782.69/1783.43 v -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2722 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 1782.69/1783.43 v -x2733 -x2734 -x2736 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2750 x2752 -x2753 1782.69/1783.43 v -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2764 x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 1782.69/1783.43 v -x2773 -x2774 -x2775 -x2776 -x2778 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2792 1782.69/1783.43 v -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2806 -x2808 -x2809 -x2810 -x2811 -x2812 1782.69/1783.43 v -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 1782.69/1783.43 v -x2832 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2846 -x2848 -x2849 -x2850 -x2851 1782.69/1783.43 v -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2860 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 1782.69/1783.43 v -x2871 -x2872 x2874 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 x2888 x2890 -x2891 -x2892 1782.69/1783.43 v -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2902 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 1782.69/1783.43 v -x2912 -x2913 -x2914 -x2916 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2930 -x2932 1782.69/1783.43 v -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2944 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 1782.69/1783.43 v -x2952 -x2953 -x2954 -x2955 -x2956 -x2958 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 1782.69/1783.43 v -x2972 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2986 -x2988 -x2989 -x2990 -x2991 1782.69/1783.43 v -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x3000 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 1782.69/1783.43 v -x3011 -x3012 x3014 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 x3028 x3030 -x3031 -x3032 1782.69/1783.43 v -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3042 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 1782.69/1783.43 v -x3052 -x3053 -x3054 -x3056 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3070 -x3072 1782.69/1783.43 v -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3084 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 1782.69/1783.43 v -x3092 -x3093 -x3094 -x3095 -x3096 x3098 x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 x3112 1782.69/1783.43 v -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3126 -x3128 -x3129 -x3130 -x3131 -x3132 1782.69/1783.43 v -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3140 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 1782.69/1783.43 v -x3152 x3154 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 x3168 -x3170 -x3171 -x3172 -x3173 1782.69/1783.43 v -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 x3182 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 1782.69/1783.43 v -x3193 -x3194 x3196 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3210 -x3211 -x3212 1782.69/1783.43 v -x3213 x3215 -x3216 -x3217 x3218 -x3220 -x3221 -x3222 -x3223 -x3225 -x3226 -x3227 -x3228 -x3230 -x3231 -x3232 -x3233 x3235 1782.69/1783.43 v -x3236 -x3237 -x3238 -x3240 -x3241 -x3242 -x3243 x3245 -x3246 -x3247 -x3248 -x3250 -x3251 -x3252 -x3253 -x3255 -x3256 1782.69/1783.43 v -x3257 -x3258 -x3260 -x3261 -x3262 -x3263 x3265 -x3266 -x3267 -x3268 -x3270 -x3271 -x3272 -x3273 -x3275 -x3276 -x3277 1782.69/1783.43 v -x3278 -x3280 -x3281 -x3282 -x3283 -x3285 -x3286 -x3287 -x3288 -x3290 -x3291 -x3292 -x3293 x3295 -x3296 -x3297 -x3298 1782.69/1783.43 v -x3300 -x3301 -x3302 -x3303 -x3305 -x3306 -x3307 -x3308 -x3310 -x3311 -x3312 -x3313 -x3315 -x3316 -x3317 -x3318 -x3320 1782.69/1783.43 v -x3321 -x3322 -x3323 x3325 -x3326 -x3327 -x3328 -x3330 -x3331 -x3332 -x3333 x3335 -x3336 -x3337 -x3338 -x3340 -x3341 -x3342 1782.69/1783.43 v -x3343 -x3345 -x3346 -x3347 -x3348 -x3350 -x3351 -x3352 -x3353 -x3355 -x3356 -x3357 -x3358 -x3360 -x3361 -x3362 -x3363 1782.69/1783.43 v -x3365 -x3366 -x3367 -x3368 -x3370 -x3371 -x3372 -x3373 -x3375 -x3376 -x3377 -x3378 -x3380 -x3381 -x3382 -x3383 -x3385 1782.69/1783.43 v -x3386 -x3387 -x3388 -x3390 -x3391 -x3392 -x3393 -x3395 -x3396 -x3397 -x3398 -x3400 -x3401 -x3402 -x3403 -x3405 -x3406 1782.69/1783.43 v -x3407 -x3408 -x3410 -x3411 -x3412 -x3413 -x3415 -x3416 -x3417 -x3418 -x3420 -x3421 -x3422 -x3423 -x3425 -x3426 -x3427 1782.69/1783.43 v -x3428 x3430 -x3431 -x3432 -x3433 x3435 -x3436 -x3437 -x3438 -x3440 -x3441 -x3442 -x3443 -x3445 -x3446 -x3447 -x3448 -x3450 1782.69/1783.43 v -x3451 -x3452 -x3453 -x3455 -x3456 -x3457 -x3458 -x3460 -x3461 -x3462 -x3463 -x3465 -x3466 -x3467 -x3468 -x3470 -x3471 1782.69/1783.43 v -x3472 -x3473 -x3475 -x3476 -x3477 -x3478 x3480 -x3481 -x3482 -x3483 x3485 -x3486 -x3487 -x3488 -x3490 -x3491 -x3492 -x3493 1782.69/1783.43 v -x3495 -x3496 -x3497 -x3498 -x3500 -x3501 -x3502 -x3503 -x3505 -x3506 -x3507 -x3508 -x3510 -x3511 -x3512 -x3513 -x3515 1782.69/1783.43 v -x3516 -x3517 -x3518 -x3520 -x3521 -x3522 -x3523 -x3525 -x3526 -x3527 -x3528 -x3530 -x3531 -x3532 -x3533 -x3535 -x3536 1782.69/1783.43 v -x3537 -x3538 -x3540 -x3541 -x3542 -x3543 -x3545 -x3546 -x3547 -x3548 -x3550 -x3551 -x3552 -x3553 -x3555 -x3556 -x3557 1782.69/1783.43 v -x3558 x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 1782.69/1783.43 v -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 1782.69/1783.43 v -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 1782.69/1783.43 v -x3610 -x3611 -x3612 x3613 -x3614 -x3615 -x3616 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 1782.69/1783.43 v -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 1782.69/1783.43 v -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 1782.69/1783.43 v -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 x3676 -x3677 -x3678 -x3679 1782.69/1783.43 v -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 1782.69/1783.43 v -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 1782.69/1783.43 v -x3714 -x3715 x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 1782.69/1783.43 v -x3731 -x3732 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 1782.69/1783.43 v -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 1782.69/1783.43 v -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 1782.69/1783.43 v -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 1782.69/1783.43 v -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 1782.69/1783.43 v -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 1782.69/1783.43 v -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3850 -x3851 -x3852 1782.69/1783.43 v -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 1782.69/1783.43 v -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 1782.69/1783.43 v -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 1782.69/1783.43 v -x3904 -x3905 -x3906 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 1782.69/1783.43 v -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 1782.69/1783.43 v -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 1782.69/1783.43 v -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 1782.69/1783.43 v -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 1782.69/1783.43 v -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 1782.69/1783.43 v -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4024 -x4025 1782.69/1783.43 v -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 1782.69/1783.43 v -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 1782.69/1783.43 v -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4078 1782.69/1783.43 v -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 1782.69/1783.43 v -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 1782.69/1783.43 v -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 1782.69/1783.43 v -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 1782.69/1783.43 v -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 1782.69/1783.43 v -x4167 -x4168 -x4169 -x4170 -x4171 x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 1782.69/1783.43 v -x4184 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 1782.69/1783.43 v -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 1782.69/1783.43 v -x4220 -x4221 x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 1782.69/1783.43 v -x4237 -x4238 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 1782.69/1783.43 v -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 1782.69/1783.43 v -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 1782.69/1783.43 v -x4290 -x4291 -x4292 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 1782.69/1783.43 v -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4321 -x4322 -x4323 -x4324 -x4325 1782.69/1783.43 v -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 1782.69/1783.43 v -x4343 -x4344 -x4345 -x4346 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 1782.69/1783.43 v -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4375 -x4376 -x4377 -x4378 1782.69/1783.43 v -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 1782.69/1783.43 v -x4396 -x4397 -x4398 -x4399 -x4400 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 1782.69/1783.43 v -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4429 -x4430 -x4431 1782.69/1783.43 v -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 1782.69/1783.43 v -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 1782.69/1783.43 v -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4483 -x4484 1782.69/1783.43 v -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 1782.69/1783.43 v -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 1782.69/1783.43 v -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4537 1782.69/1783.43 v -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 1782.69/1783.43 v -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 1782.69/1783.43 v -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 1782.69/1783.43 v -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 1782.69/1783.43 v -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 1782.69/1783.43 v -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 1782.69/1783.43 v -x4643 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 1782.69/1783.43 v -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 1782.69/1783.43 v -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 1782.69/1783.43 v -x4696 -x4697 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 1782.69/1783.43 v -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 1782.69/1783.43 v -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 1782.69/1783.43 v -x4749 -x4750 -x4751 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 1782.69/1783.43 v -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 x4780 -x4781 -x4782 -x4783 x4784 -x4785 1782.69/1783.43 v -x4786 -x4787 -x4788 -x4789 -x4790 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4804 1782.69/1783.43 v -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 1782.69/1783.43 v -x4824 -x4825 -x4826 -x4827 -x4828 -x4830 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 1782.69/1783.43 v -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4856 -x4858 -x4859 -x4860 -x4861 -x4862 1782.69/1783.43 v -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4870 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 1782.69/1783.43 v -x4882 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4896 x4898 -x4899 -x4900 -x4901 1782.69/1783.43 v -x4902 -x4903 -x4904 -x4905 x4906 -x4907 -x4908 -x4910 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 1782.69/1783.43 v -x4921 -x4922 -x4924 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4938 -x4940 -x4941 1782.69/1783.43 v -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4952 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 1782.69/1783.43 v -x4961 -x4962 -x4963 -x4964 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 x4978 x4980 -x4981 1782.69/1783.43 v -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4992 x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 1782.69/1783.43 v -x5001 -x5002 -x5003 -x5004 -x5006 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5020 1782.69/1783.43 v x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5034 -x5036 -x5037 -x5038 -x5039 -x5040 1782.69/1783.43 v -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5048 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 1782.69/1783.43 v -x5060 -x5062 x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5076 -x5078 -x5079 -x5080 1782.69/1783.43 v -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 1782.69/1783.43 v -x5099 -x5100 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5114 x5116 -x5117 -x5118 1782.69/1783.43 v -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5128 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 1782.69/1783.43 v -x5138 -x5139 -x5140 -x5142 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5156 -x5158 1782.69/1783.43 v -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 1782.69/1783.43 v -x5177 -x5178 -x5179 -x5180 x5182 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5196 1782.69/1783.43 v -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5208 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 1782.69/1783.43 v -x5216 -x5217 -x5218 -x5219 -x5220 -x5222 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 1782.69/1783.43 v -x5236 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5250 -x5252 -x5253 -x5254 -x5255 1782.69/1783.43 v -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5264 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 1782.69/1783.43 v -x5275 -x5276 -x5278 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5292 -x5294 -x5295 1782.69/1783.43 v -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 x5306 x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 1782.69/1783.43 v -x5316 -x5317 -x5318 x5320 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5334 -x5336 1782.69/1783.43 v -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5348 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 1782.69/1783.43 v -x5356 -x5357 -x5358 -x5359 -x5360 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5374 1782.69/1783.43 v -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5388 -x5390 -x5391 -x5392 -x5393 -x5394 1782.69/1783.43 v -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 x5402 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 1782.69/1783.43 v -x5414 -x5416 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 x5430 -x5432 -x5433 -x5434 1782.69/1783.43 v -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5444 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 1782.69/1783.43 v -x5454 -x5455 -x5456 x5458 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 x5472 -x5474 -x5475 1782.69/1783.43 v -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 x5486 x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 1782.69/1783.43 v -x5496 -x5497 -x5498 x5500 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5514 -x5516 1782.69/1783.43 v -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5528 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 1782.69/1783.43 v -x5536 -x5537 -x5538 -x5539 -x5540 -x5542 -x5543 -x5544 -x5545 x5547 -x5548 -x5549 -x5550 -x5552 -x5553 -x5554 -x5555 1782.69/1783.43 v -x5557 -x5558 -x5559 -x5560 -x5562 -x5563 -x5564 -x5565 -x5567 -x5568 -x5569 -x5570 x5572 -x5573 -x5574 x5575 -x5577 -x5578 1782.69/1783.43 v -x5579 -x5580 x5582 -x5583 -x5584 -x5585 -x5587 -x5588 -x5589 -x5590 -x5592 -x5593 -x5594 -x5595 -x5597 -x5598 -x5599 1782.69/1783.43 v -x5600 -x5602 -x5603 -x5604 -x5605 -x5607 -x5608 -x5609 -x5610 -x5612 -x5613 -x5614 -x5615 x5617 -x5618 -x5619 -x5620 1782.69/1783.43 v -x5622 -x5623 -x5624 -x5625 -x5627 -x5628 -x5629 -x5630 -x5632 -x5633 -x5634 -x5635 -x5637 -x5638 -x5639 -x5640 -x5642 1782.69/1783.43 v -x5643 -x5644 -x5645 -x5647 -x5648 -x5649 -x5650 -x5652 -x5653 -x5654 -x5655 -x5657 -x5658 -x5659 -x5660 -x5662 -x5663 1782.69/1783.43 v -x5664 -x5665 -x5667 -x5668 -x5669 -x5670 -x5672 -x5673 -x5674 -x5675 -x5677 -x5678 -x5679 -x5680 -x5682 -x5683 -x5684 1782.69/1783.43 v -x5685 -x5687 -x5688 -x5689 -x5690 -x5692 -x5693 -x5694 -x5695 -x5697 -x5698 -x5699 -x5700 -x5702 -x5703 -x5704 -x5705 1782.69/1783.43 v -x5707 -x5708 -x5709 -x5710 -x5712 -x5713 -x5714 -x5715 x5717 -x5718 -x5719 -x5720 -x5722 -x5723 -x5724 -x5725 x5727 -x5728 1782.69/1783.43 v -x5729 -x5730 -x5732 -x5733 -x5734 -x5735 x5737 -x5738 -x5739 -x5740 -x5742 -x5743 -x5744 -x5745 -x5747 -x5748 -x5749 1782.69/1783.43 v -x5750 -x5752 -x5753 -x5754 -x5755 x5757 -x5758 -x5759 -x5760 -x5762 -x5763 -x5764 -x5765 -x5767 -x5768 -x5769 -x5770 1782.69/1783.43 v -x5772 -x5773 -x5774 -x5775 -x5777 -x5778 -x5779 -x5780 -x5782 -x5783 -x5784 -x5785 -x5787 -x5788 -x5789 -x5790 -x5792 1782.69/1783.43 v -x5793 -x5794 -x5795 -x5797 -x5798 -x5799 -x5800 -x5802 -x5803 -x5804 -x5805 -x5807 -x5808 -x5809 -x5810 -x5812 -x5813 1782.69/1783.43 v -x5814 -x5815 -x5817 -x5818 -x5819 -x5820 -x5822 -x5823 -x5824 -x5825 -x5827 -x5828 -x5829 -x5830 -x5832 -x5833 -x5834 1782.69/1783.43 v -x5835 -x5837 -x5838 -x5839 -x5840 x5842 -x5843 -x5844 -x5845 x5847 -x5848 -x5849 -x5850 -x5852 -x5853 -x5854 -x5855 -x5857 1782.69/1783.43 v -x5858 -x5859 -x5860 -x5862 -x5863 -x5864 -x5865 -x5867 -x5868 -x5869 -x5870 -x5872 -x5873 -x5874 -x5875 -x5877 -x5878 1782.69/1783.43 v -x5879 -x5880 x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 1782.69/1783.43 v -x5897 x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 1782.69/1783.43 v -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 1782.69/1783.43 v -x5932 -x5933 -x5934 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 1782.69/1783.43 v -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5963 -x5964 -x5965 -x5966 -x5967 1782.69/1783.43 v -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 1782.69/1783.43 v -x5985 -x5986 -x5987 -x5988 x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 1782.69/1783.43 v -x6003 -x6004 x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6017 -x6018 -x6019 -x6020 1782.69/1783.43 v -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 1782.69/1783.43 v -x6038 -x6039 -x6040 -x6041 -x6042 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 1782.69/1783.43 v -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 x6071 x6072 -x6073 -x6074 1782.69/1783.43 v -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 1782.69/1783.43 v -x6093 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 x6107 -x6108 -x6109 -x6110 -x6111 1782.69/1783.43 v -x6112 -x6113 -x6114 -x6115 -x6116 x6117 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 1782.69/1783.43 v -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 1782.69/1783.43 v -x6149 -x6150 -x6151 -x6152 -x6153 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6167 1782.69/1783.43 v -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 1782.69/1783.43 v -x6186 -x6187 -x6188 -x6189 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6203 -x6204 1782.69/1783.43 v -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 1782.69/1783.43 v -x6223 -x6224 -x6225 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6239 -x6240 -x6241 1782.69/1783.43 v -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 1782.69/1783.43 v -x6260 -x6261 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6275 -x6276 -x6277 -x6278 1782.69/1783.43 v -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 1782.69/1783.43 v -x6297 x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 x6311 -x6312 -x6313 -x6314 -x6315 -x6316 1782.69/1783.43 v -x6317 -x6318 -x6319 -x6320 -x6321 x6323 -x6324 -x6325 -x6326 -x6328 x6330 -x6331 -x6332 -x6333 -x6335 x6337 x6338 -x6339 1782.69/1783.43 v -x6340 -x6342 -x6344 -x6345 -x6346 -x6347 -x6349 -x6351 -x6352 -x6353 -x6354 x6356 x6358 -x6359 -x6360 -x6361 -x6363 -x6365 1782.69/1783.43 v -x6366 -x6367 -x6368 -x6370 -x6372 -x6373 -x6374 -x6375 -x6377 -x6379 -x6380 -x6381 -x6382 -x6384 -x6386 -x6387 -x6388 1782.69/1783.43 v -x6389 -x6391 -x6393 -x6394 -x6395 -x6396 -x6398 -x6400 -x6401 -x6402 -x6403 -x6405 x6407 -x6408 -x6409 -x6410 -x6412 1782.69/1783.43 v x6414 -x6415 -x6416 -x6417 x6419 x6421 -x6422 -x6423 -x6424 x6426 x6428 -x6429 -x6430 -x6431 -x6433 -x6435 -x6436 -x6437 1782.69/1783.43 v -x6438 -x6440 -x6442 -x6443 -x6444 -x6445 -x6447 -x6449 -x6450 -x6451 -x6452 -x6454 -x6456 -x6457 -x6458 -x6459 -x6461 1782.69/1783.43 v -x6463 -x6464 -x6465 -x6466 -x6468 -x6470 -x6471 -x6472 -x6473 -x6475 -x6477 -x6478 -x6479 -x6480 -x6482 -x6484 -x6485 1782.69/1783.43 v -x6486 -x6487 -x6489 -x6490 -x6491 -x6492 x6494 -x6496 -x6497 -x6498 -x6499 x6501 -x6503 -x6504 -x6505 -x6506 x6508 -x6510 1782.69/1783.43 v -x6511 -x6512 -x6513 -x6515 -x6517 -x6518 -x6519 -x6520 -x6522 -x6524 -x6525 -x6526 -x6527 x6529 -x6531 -x6532 -x6533 1782.69/1783.43 v -x6534 -x6536 -x6538 -x6539 -x6540 -x6541 -x6543 -x6545 -x6546 -x6547 -x6548 x6550 -x6552 -x6553 -x6554 -x6555 x6557 x6559 1782.69/1783.43 v -x6560 -x6561 -x6562 x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 1782.69/1783.43 v -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 1782.69/1783.43 v -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 1782.69/1783.43 v -x6612 -x6613 -x6614 x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 1782.69/1783.43 v -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 1782.69/1783.43 v -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 1782.69/1783.43 v -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 x6680 -x6681 1782.69/1783.43 v -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 1782.69/1783.43 v -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 1782.69/1783.43 v -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 1782.69/1783.43 v -x6733 -x6734 -x6735 -x6736 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 1782.69/1783.43 v -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 1782.69/1783.43 v -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 1782.69/1783.43 v -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 1782.69/1783.43 v -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 1782.69/1783.43 v -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 1782.69/1783.43 v -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6854 1782.69/1783.43 v -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 1782.69/1783.43 v -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 1782.69/1783.43 v -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 1782.69/1783.43 v -x6906 -x6907 -x6908 -x6909 -x6910 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 1782.69/1783.43 v -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 1782.69/1783.43 v -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 1782.69/1783.43 v -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 1782.69/1783.43 v -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 1782.69/1783.43 v -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 1782.69/1783.43 v -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 1782.69/1783.43 v -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 1782.69/1783.43 v -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 1782.69/1783.43 v -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 x7076 -x7077 -x7078 -x7079 1782.69/1783.43 v -x7080 x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 x7096 -x7097 -x7098 1782.69/1783.43 v -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 1782.69/1783.43 v -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 1782.69/1783.43 v -x7134 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 1782.69/1783.43 v -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 1782.69/1783.43 v -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 1782.69/1783.43 v -x7187 -x7188 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 1782.69/1783.43 v -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 1782.69/1783.43 v -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 1782.69/1783.43 v -x7240 -x7241 -x7242 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 1782.69/1783.43 v -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7271 -x7272 -x7273 -x7274 -x7275 1782.69/1783.43 v -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 1782.69/1783.43 v -x7293 -x7294 -x7295 -x7296 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 1782.69/1783.43 v -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7325 -x7326 -x7327 -x7328 1782.69/1783.43 v -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 1782.69/1783.43 v -x7346 -x7347 -x7348 -x7349 -x7350 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 1782.69/1783.43 v -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7379 -x7380 -x7381 1782.69/1783.43 v -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 1782.69/1783.43 v -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 x7414 -x7415 -x7416 -x7417 1782.69/1783.43 v -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7433 -x7434 -x7435 1782.69/1783.43 v -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 1782.69/1783.43 v -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 1782.69/1783.43 v -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7487 -x7488 1782.69/1783.43 v -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 1782.69/1783.43 v -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 1782.69/1783.43 v -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7541 1782.69/1783.43 v -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 1782.69/1783.43 v -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 1782.69/1783.43 v -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 1782.69/1783.43 v -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 1782.69/1783.43 v -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 1782.69/1783.43 v -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 1782.69/1783.43 v -x7647 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 1782.69/1783.43 v -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 1782.69/1783.43 v -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 1782.69/1783.43 v -x7700 -x7701 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 1782.69/1783.43 v -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 1782.69/1783.43 v -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 1782.69/1783.43 v -x7753 -x7754 -x7755 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 1782.69/1783.43 v -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7784 -x7785 -x7786 -x7787 -x7788 1782.69/1783.43 v -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7796 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 1782.69/1783.43 v -x7808 -x7810 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7824 -x7826 -x7827 -x7828 1782.69/1783.43 v -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 x7838 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 1782.69/1783.43 v -x7848 -x7849 -x7850 -x7852 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 x7866 -x7867 1782.69/1783.43 v -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 x7875 -x7876 -x7878 x7880 -x7881 -x7882 x7883 -x7884 -x7885 -x7886 -x7887 1782.69/1783.43 v -x7888 -x7889 -x7890 -x7892 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7906 -x7907 1782.69/1783.43 v -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 1782.69/1783.43 v -x7926 -x7927 -x7928 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 x7942 -x7943 -x7944 1782.69/1783.43 v -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7954 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 1782.69/1783.43 v -x7964 -x7965 -x7966 -x7968 x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7982 -x7983 1782.69/1783.43 v -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7994 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 1782.69/1783.43 v -x8003 -x8004 -x8005 -x8006 -x8008 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8022 1782.69/1783.43 v -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 x8036 x8038 -x8039 -x8040 -x8041 -x8042 -x8043 1782.69/1783.43 v -x8044 -x8045 -x8046 -x8047 -x8048 -x8050 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 1782.69/1783.43 v -x8064 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8078 x8080 -x8081 -x8082 -x8083 1782.69/1783.43 v -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8092 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 1782.69/1783.43 v -x8103 -x8104 x8106 x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8120 -x8121 -x8122 -x8123 1782.69/1783.43 v -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8132 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 1782.69/1783.43 v -x8143 -x8144 -x8146 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 x8160 -x8162 -x8163 1782.69/1783.43 v -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8174 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 1782.69/1783.43 v -x8183 -x8184 -x8185 -x8186 -x8188 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 x8202 1782.69/1783.43 v x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8216 -x8218 -x8219 -x8220 -x8221 -x8222 1782.69/1783.43 v -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 x8230 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 1782.69/1783.43 v -x8242 x8244 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 x8258 -x8260 -x8261 -x8262 -x8263 1782.69/1783.43 v -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8272 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 1782.69/1783.43 v -x8283 -x8284 -x8286 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8300 -x8302 -x8303 1782.69/1783.43 v -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8314 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 1782.69/1783.43 v -x8323 -x8324 -x8325 -x8326 -x8328 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8342 1782.69/1783.43 v x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8356 -x8358 -x8359 -x8360 -x8361 -x8362 1782.69/1783.43 v -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8370 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 1782.69/1783.43 v -x8382 x8384 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8398 -x8400 -x8401 -x8402 1782.69/1783.43 v -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 1782.69/1783.43 v -x8421 -x8422 -x8424 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8438 -x8440 -x8441 1782.69/1783.43 v -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8452 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 1782.69/1783.43 v -x8461 -x8462 -x8463 -x8464 x8466 x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8480 -x8482 1782.69/1783.43 v -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8494 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 1782.69/1783.43 v -x8502 -x8503 -x8504 -x8505 -x8506 x8508 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 1782.69/1783.43 v -x8522 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 x8536 -x8538 -x8539 -x8540 -x8541 1782.69/1783.43 v -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8550 -x8551 -x8552 -x8553 -x8555 -x8556 -x8557 -x8558 -x8560 -x8561 1782.69/1783.43 v -x8562 -x8563 x8565 -x8566 -x8567 -x8568 -x8570 -x8571 -x8572 -x8573 -x8575 -x8576 -x8577 -x8578 -x8580 -x8581 -x8582 1782.69/1783.43 v -x8583 x8585 -x8586 -x8587 -x8588 -x8590 -x8591 -x8592 -x8593 -x8595 -x8596 -x8597 -x8598 -x8600 -x8601 -x8602 -x8603 1782.69/1783.43 v -x8605 -x8606 -x8607 -x8608 -x8610 -x8611 -x8612 -x8613 -x8615 -x8616 -x8617 -x8618 -x8620 -x8621 -x8622 -x8623 -x8625 1782.69/1783.43 v -x8626 -x8627 -x8628 -x8630 -x8631 -x8632 -x8633 -x8635 -x8636 -x8637 -x8638 -x8640 -x8641 -x8642 -x8643 -x8645 -x8646 1782.69/1783.43 v -x8647 -x8648 x8650 -x8651 -x8652 -x8653 x8655 -x8656 -x8657 -x8658 -x8660 -x8661 -x8662 -x8663 -x8665 -x8666 -x8667 -x8668 1782.69/1783.43 v -x8670 -x8671 -x8672 -x8673 -x8675 -x8676 -x8677 -x8678 -x8680 -x8681 -x8682 -x8683 -x8685 -x8686 -x8687 -x8688 -x8690 1782.69/1783.43 v -x8691 -x8692 -x8693 -x8695 -x8696 -x8697 -x8698 -x8700 -x8701 -x8702 -x8703 x8705 -x8706 x8707 -x8708 -x8710 -x8711 -x8712 1782.69/1783.43 v -x8713 x8715 -x8716 -x8717 -x8718 -x8720 -x8721 -x8722 -x8723 -x8725 -x8726 -x8727 -x8728 -x8730 -x8731 -x8732 -x8733 1782.69/1783.43 v x8735 -x8736 -x8737 -x8738 -x8740 -x8741 -x8742 -x8743 -x8745 -x8746 -x8747 -x8748 -x8750 -x8751 -x8752 -x8753 x8755 -x8756 1782.69/1783.43 v -x8757 -x8758 -x8760 -x8761 -x8762 -x8763 -x8765 -x8766 -x8767 -x8768 -x8770 -x8771 -x8772 -x8773 -x8775 -x8776 -x8777 1782.69/1783.43 v -x8778 -x8780 -x8781 -x8782 -x8783 x8785 -x8786 -x8787 -x8788 -x8790 -x8791 -x8792 -x8793 -x8795 -x8796 -x8797 -x8798 1782.69/1783.43 v -x8800 -x8801 -x8802 -x8803 -x8805 -x8806 -x8807 -x8808 -x8810 -x8811 -x8812 -x8813 -x8815 -x8816 -x8817 -x8818 -x8820 1782.69/1783.43 v -x8821 -x8822 -x8823 -x8825 -x8826 -x8827 -x8828 -x8830 -x8831 -x8832 -x8833 x8835 -x8836 -x8837 -x8838 x8840 -x8841 -x8842 1782.69/1783.43 v -x8843 -x8845 -x8846 -x8847 -x8848 -x8850 -x8851 -x8852 -x8853 -x8855 -x8856 -x8857 -x8858 -x8860 -x8861 -x8862 -x8863 1782.69/1783.43 v -x8865 -x8866 -x8867 -x8868 -x8870 -x8871 -x8872 -x8873 -x8875 -x8876 -x8877 -x8878 -x8880 -x8881 -x8882 -x8883 -x8885 1782.69/1783.43 v -x8886 -x8887 -x8888 -x8890 -x8891 -x8892 -x8893 x8895 x8897 x8899 x8901
OK 25
/tmp/evaluation/373088-1177163004/instance-373088-1177163004.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node59/watcher-373088-1177163004 -o ROOT/results/node59/solver-373088-1177163004 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/373088-1177163004/instance-373088-1177163004.opb 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): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.91 0.96 0.97 3/64 12567 /proc/meminfo: memFree=1730088/2055920 swapFree=4184568/4192956 [pid=12567] ppid=12565 vsize=2552 CPUtime=0 /proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 258 0 0 0 0 0 0 0 18 0 1 0 164210038 2613248 228 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 9752279 0 0 4096 0 0 0 0 17 1 0 0 /proc/12567/statm: 638 228 193 16 0 77 0 [startup+0.0187151 s] /proc/loadavg: 0.91 0.96 0.97 3/64 12567 /proc/meminfo: memFree=1730088/2055920 swapFree=4184568/4192956 [pid=12567] ppid=12565 vsize=2816 CPUtime=0.01 /proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 340 0 0 0 1 0 0 0 18 0 1 0 164210038 2883584 310 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 9752279 0 0 4096 0 0 0 0 17 1 0 0 /proc/12567/statm: 704 310 199 16 0 143 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2816 [startup+0.101731 s] /proc/loadavg: 0.91 0.96 0.97 3/64 12567 /proc/meminfo: memFree=1730088/2055920 swapFree=4184568/4192956 [pid=12567] ppid=12565 vsize=4016 CPUtime=0.09 /proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 632 0 0 0 9 0 0 0 18 0 1 0 164210038 4112384 602 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 9752279 0 0 4096 0 0 0 0 17 1 0 0 /proc/12567/statm: 1004 602 199 16 0 443 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4016 [startup+0.301769 s] /proc/loadavg: 0.91 0.96 0.97 3/64 12567 /proc/meminfo: memFree=1730088/2055920 swapFree=4184568/4192956 [pid=12567] ppid=12565 vsize=6680 CPUtime=0.29 /proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 1316 0 0 0 29 0 0 0 19 0 1 0 164210038 6840320 1286 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 9752279 0 0 4096 0 0 0 0 17 1 0 0 /proc/12567/statm: 1670 1286 199 16 0 1109 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6680 [startup+0.701844 s] /proc/loadavg: 0.91 0.96 0.97 3/64 12567 /proc/meminfo: memFree=1730088/2055920 swapFree=4184568/4192956 [pid=12567] ppid=12565 vsize=9500 CPUtime=0.69 /proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 1905 0 0 0 68 1 0 0 22 0 1 0 164210038 9728000 1875 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134532044 0 0 4096 0 0 0 0 17 1 0 0 /proc/12567/statm: 2375 1875 205 16 0 1814 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9500 [startup+1.502 s] /proc/loadavg: 0.91 0.96 0.97 2/65 12568 /proc/meminfo: memFree=1722336/2055920 swapFree=4184568/4192956 [pid=12567] ppid=12565 vsize=10560 CPUtime=1.49 /proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 2166 0 0 0 148 1 0 0 25 0 1 0 164210038 10813440 2136 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134522755 0 0 4096 0 0 0 0 17 1 0 0 /proc/12567/statm: 2640 2136 206 16 0 2079 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10560 [startup+3.1013 s] /proc/loadavg: 0.91 0.96 0.97 2/65 12568 /proc/meminfo: memFree=1722208/2055920 swapFree=4184568/4192956 [pid=12567] ppid=12565 vsize=10560 CPUtime=3.09 /proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 2166 0 0 0 308 1 0 0 25 0 1 0 164210038 10813440 2136 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134522706 0 0 4096 0 0 0 0 17 1 0 0 /proc/12567/statm: 2640 2136 206 16 0 2079 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10560 [startup+6.30191 s] /proc/loadavg: 0.92 0.96 0.97 2/65 12568 /proc/meminfo: memFree=1721256/2055920 swapFree=4184568/4192956 [pid=12567] ppid=12565 vsize=11396 CPUtime=6.29 /proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 2407 0 0 0 627 2 0 0 25 0 1 0 164210038 11669504 2365 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134519910 0 0 4096 0 0 0 0 17 1 0 0 /proc/12567/statm: 2849 2365 206 16 0 2288 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11396 [startup+12.7011 s] /proc/loadavg: 0.93 0.96 0.97 2/65 12568 /proc/meminfo: memFree=1719144/2055920 swapFree=4184568/4192956 [pid=12567] ppid=12565 vsize=13656 CPUtime=12.69 /proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 2948 0 0 0 1267 2 0 0 25 0 1 0 164210038 13983744 2905 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134522701 0 0 4096 0 0 0 0 17 1 0 0 /proc/12567/statm: 3414 2905 206 16 0 2853 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 13656 [startup+25.5016 s] /proc/loadavg: 0.94 0.96 0.97 2/65 12568 /proc/meminfo: memFree=1713256/2055920 swapFree=4184568/4192956 [pid=12567] ppid=12565 vsize=19412 CPUtime=25.48 /proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 4397 0 0 0 2543 5 0 0 25 0 1 0 164210038 19877888 4354 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0 /proc/12567/statm: 4853 4354 206 16 0 4292 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 19412 [startup+51.1014 s] /proc/loadavg: 0.96 0.96 0.97 2/65 12568 /proc/meminfo: memFree=1702120/2055920 swapFree=4184568/4192956 [pid=12567] ppid=12565 vsize=30516 CPUtime=51.07 /proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 7229 0 0 0 5098 9 0 0 25 0 1 0 164210038 31248384 7126 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134522763 0 0 4096 0 0 0 0 17 1 0 0 /proc/12567/statm: 7629 7126 206 16 0 7068 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 30516 [startup+102.305 s] /proc/loadavg: 0.98 0.97 0.97 2/65 12568 /proc/meminfo: memFree=1682408/2055920 swapFree=4184568/4192956 [pid=12567] ppid=12565 vsize=50000 CPUtime=102.26 /proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 12258 0 0 0 10212 14 0 0 25 0 1 0 164210038 51200000 12022 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0 /proc/12567/statm: 12500 12022 206 16 0 11939 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 50000 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 12568 /proc/meminfo: memFree=1652776/2055920 swapFree=4184568/4192956 [pid=12567] ppid=12565 vsize=80488 CPUtime=162.23 /proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 20078 0 0 0 16202 21 0 0 25 0 1 0 164210038 82419712 19610 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0 /proc/12567/statm: 20122 19610 206 16 0 19561 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 80488 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 12568 /proc/meminfo: memFree=1621608/2055920 swapFree=4184568/4192956 [pid=12567] ppid=12565 vsize=110720 CPUtime=222.22 /proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 27688 0 0 0 22197 25 0 0 25 0 1 0 164210038 113377280 27198 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0 /proc/12567/statm: 27680 27198 206 16 0 27119 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 110720 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 12568 /proc/meminfo: memFree=1588584/2055920 swapFree=4184568/4192956 [pid=12567] ppid=12565 vsize=144496 CPUtime=282.19 /proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 36128 0 0 0 28191 28 0 0 25 0 1 0 164210038 147963904 35634 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0 /proc/12567/statm: 36124 35634 206 16 0 35563 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 144496 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 12568 /proc/meminfo: memFree=1558312/2055920 swapFree=4184568/4192956 [pid=12567] ppid=12565 vsize=173940 CPUtime=342.17 /proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 43466 0 0 0 34185 32 0 0 25 0 1 0 164210038 178114560 42972 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527937 0 0 4096 0 0 0 0 17 1 0 0 /proc/12567/statm: 43485 42972 206 16 0 42924 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 173940 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 12568 /proc/meminfo: memFree=1551208/2055920 swapFree=4184568/4192956 [pid=12567] ppid=12565 vsize=181048 CPUtime=402.15 /proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 45254 0 0 0 40180 35 0 0 25 0 1 0 164210038 185393152 44748 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134528344 0 0 4096 0 0 0 0 17 1 0 0 /proc/12567/statm: 45262 44748 206 16 0 44701 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 181048 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 12568 /proc/meminfo: memFree=1551144/2055920 swapFree=4184568/4192956 [pid=12567] ppid=12565 vsize=181048 CPUtime=462.13 /proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 45254 0 0 0 46177 36 0 0 25 0 1 0 164210038 185393152 44748 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0 /proc/12567/statm: 45262 44748 206 16 0 44701 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 181048 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 12568 /proc/meminfo: memFree=1551208/2055920 swapFree=4184568/4192956 [pid=12567] ppid=12565 vsize=181048 CPUtime=522.11 /proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 45254 0 0 0 52174 37 0 0 25 0 1 0 164210038 185393152 44748 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134519100 0 0 4096 0 0 0 0 17 1 0 0 /proc/12567/statm: 45262 44748 206 16 0 44701 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 181048 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 12568 /proc/meminfo: memFree=1537256/2055920 swapFree=4184568/4192956 [pid=12567] ppid=12565 vsize=195464 CPUtime=582.08 /proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 48844 0 0 0 58169 39 0 0 25 0 1 0 164210038 200155136 48338 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/12567/statm: 48866 48338 206 16 0 48305 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 195464 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 12568 /proc/meminfo: memFree=1512168/2055920 swapFree=4184568/4192956 [pid=12567] ppid=12565 vsize=220160 CPUtime=642.07 /proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 55012 0 0 0 64165 42 0 0 25 0 1 0 164210038 225443840 54500 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134522427 0 0 4096 0 0 0 0 17 1 0 0 /proc/12567/statm: 55040 54500 206 16 0 54479 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 220160 ################ # More data... # ################ /proc/meminfo: memFree=1438632/2055920 swapFree=4184568/4192956 [pid=12567] ppid=12565 vsize=293400 CPUtime=822.01 /proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 73337 0 0 0 82149 52 0 0 25 0 1 0 164210038 300441600 72825 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134522731 0 0 4096 0 0 0 0 17 1 0 0 /proc/12567/statm: 73350 72825 206 16 0 72789 0 Current children cumulated CPU time (s) 822.01 Current children cumulated vsize (KiB) 293400 [startup+882.303 s] /proc/loadavg: 0.99 0.97 0.97 2/65 12568 /proc/meminfo: memFree=1413416/2055920 swapFree=4184568/4192956 [pid=12567] ppid=12565 vsize=318620 CPUtime=881.99 /proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 79629 0 0 0 88143 56 0 0 25 0 1 0 164210038 326266880 79117 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134517933 0 0 4096 0 0 0 0 17 1 0 0 /proc/12567/statm: 79655 79117 206 16 0 79094 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 318620 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 12568 /proc/meminfo: memFree=1390248/2055920 swapFree=4184568/4192956 [pid=12567] ppid=12565 vsize=341808 CPUtime=941.97 /proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 85433 0 0 0 94139 58 0 0 25 0 1 0 164210038 350011392 84903 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134556269 0 0 4096 0 0 0 0 17 1 0 0 /proc/12567/statm: 85452 84903 206 16 0 84891 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 341808 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 12568 /proc/meminfo: memFree=1367336/2055920 swapFree=4184568/4192956 [pid=12567] ppid=12565 vsize=364500 CPUtime=1001.94 /proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 91151 0 0 0 100134 60 0 0 25 0 1 0 164210038 373248000 90613 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134533487 0 0 4096 0 0 0 0 17 1 0 0 /proc/12567/statm: 91125 90613 206 16 0 90564 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 364500 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.97 2/71 12634 /proc/meminfo: memFree=1340592/2055920 swapFree=4184568/4192956 [pid=12567] ppid=12565 vsize=390248 CPUtime=1061.91 /proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 97557 0 0 0 106124 67 0 0 25 0 1 0 164210038 399613952 97018 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/12567/statm: 97562 97018 206 16 0 97001 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 390248 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 12766 /proc/meminfo: memFree=1326888/2055920 swapFree=4184568/4192956 [pid=12567] ppid=12565 vsize=404560 CPUtime=1121.82 /proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 101166 0 0 0 112112 70 0 0 25 0 1 0 164210038 414269440 100622 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134522755 0 0 4096 0 0 0 0 17 1 0 0 /proc/12567/statm: 101140 100622 206 16 0 100579 0 Current children cumulated CPU time (s) 1121.82 Current children cumulated vsize (KiB) 404560 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 12766 /proc/meminfo: memFree=1326952/2055920 swapFree=4184568/4192956 [pid=12567] ppid=12565 vsize=404448 CPUtime=1181.8 /proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 101167 0 0 0 118109 71 0 0 25 0 1 0 164210038 414154752 100606 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134522733 0 0 4096 0 0 0 0 17 1 0 0 /proc/12567/statm: 101112 100606 206 16 0 100551 0 Current children cumulated CPU time (s) 1181.8 Current children cumulated vsize (KiB) 404448 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 12766 /proc/meminfo: memFree=1326952/2055920 swapFree=4184568/4192956 [pid=12567] ppid=12565 vsize=404448 CPUtime=1241.77 /proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 101169 0 0 0 124106 71 0 0 25 0 1 0 164210038 414154752 100608 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0 /proc/12567/statm: 101112 100608 206 16 0 100551 0 Current children cumulated CPU time (s) 1241.77 Current children cumulated vsize (KiB) 404448 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 12766 /proc/meminfo: memFree=1327016/2055920 swapFree=4184568/4192956 [pid=12567] ppid=12565 vsize=404448 CPUtime=1301.75 /proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 101171 0 0 0 130103 72 0 0 25 0 1 0 164210038 414154752 100610 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134522724 0 0 4096 0 0 0 0 17 1 0 0 /proc/12567/statm: 101112 100610 206 16 0 100551 0 Current children cumulated CPU time (s) 1301.75 Current children cumulated vsize (KiB) 404448 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 12766 /proc/meminfo: memFree=1327016/2055920 swapFree=4184568/4192956 [pid=12567] ppid=12565 vsize=404448 CPUtime=1361.74 /proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 101172 0 0 0 136100 74 0 0 25 0 1 0 164210038 414154752 100611 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134533511 0 0 4096 0 0 0 0 17 1 0 0 /proc/12567/statm: 101112 100611 206 16 0 100551 0 Current children cumulated CPU time (s) 1361.74 Current children cumulated vsize (KiB) 404448 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.97 2/65 12766 /proc/meminfo: memFree=1326952/2055920 swapFree=4184568/4192956 [pid=12567] ppid=12565 vsize=404448 CPUtime=1421.72 /proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 101172 0 0 0 142097 75 0 0 25 0 1 0 164210038 414154752 100611 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134519077 0 0 4096 0 0 0 0 17 1 0 0 /proc/12567/statm: 101112 100611 206 16 0 100551 0 Current children cumulated CPU time (s) 1421.72 Current children cumulated vsize (KiB) 404448 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 12766 /proc/meminfo: memFree=1327016/2055920 swapFree=4184568/4192956 [pid=12567] ppid=12565 vsize=404448 CPUtime=1481.69 /proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 101173 0 0 0 148094 75 0 0 25 0 1 0 164210038 414154752 100612 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0 /proc/12567/statm: 101112 100612 206 16 0 100551 0 Current children cumulated CPU time (s) 1481.69 Current children cumulated vsize (KiB) 404448 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 12766 /proc/meminfo: memFree=1326952/2055920 swapFree=4184568/4192956 [pid=12567] ppid=12565 vsize=404448 CPUtime=1541.67 /proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 101173 0 0 0 154091 76 0 0 25 0 1 0 164210038 414154752 100612 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0 /proc/12567/statm: 101112 100612 206 16 0 100551 0 Current children cumulated CPU time (s) 1541.67 Current children cumulated vsize (KiB) 404448 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 12766 /proc/meminfo: memFree=1326952/2055920 swapFree=4184568/4192956 [pid=12567] ppid=12565 vsize=404448 CPUtime=1601.66 /proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 101173 0 0 0 160089 77 0 0 25 0 1 0 164210038 414154752 100612 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0 /proc/12567/statm: 101112 100612 206 16 0 100551 0 Current children cumulated CPU time (s) 1601.66 Current children cumulated vsize (KiB) 404448 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 12766 /proc/meminfo: memFree=1327080/2055920 swapFree=4184568/4192956 [pid=12567] ppid=12565 vsize=404448 CPUtime=1661.63 /proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 101173 0 0 0 166086 77 0 0 25 0 1 0 164210038 414154752 100612 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0 /proc/12567/statm: 101112 100612 206 16 0 100551 0 Current children cumulated CPU time (s) 1661.63 Current children cumulated vsize (KiB) 404448 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 12766 /proc/meminfo: memFree=1316264/2055920 swapFree=4184568/4192956 [pid=12567] ppid=12565 vsize=416168 CPUtime=1721.61 /proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 104083 0 0 0 172082 79 0 0 25 0 1 0 164210038 426156032 103522 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134528256 0 0 4096 0 0 0 0 17 1 0 0 /proc/12567/statm: 104042 103522 206 16 0 103481 0 Current children cumulated CPU time (s) 1721.61 Current children cumulated vsize (KiB) 416168 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 12766 /proc/meminfo: memFree=1288168/2055920 swapFree=4184568/4192956 [pid=12567] ppid=12565 vsize=443656 CPUtime=1781.59 /proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 110952 0 0 0 178077 82 0 0 25 0 1 0 164210038 454303744 110391 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527937 0 0 4096 0 0 0 0 17 1 0 0 /proc/12567/statm: 110914 110391 206 16 0 110353 0 Current children cumulated CPU time (s) 1781.59 Current children cumulated vsize (KiB) 443656 Solver just ended. Dumping a history of the last processes samples [startup+1783.11 s] /proc/loadavg: 0.99 0.97 0.97 2/65 12766 /proc/meminfo: memFree=1287016/2055920 swapFree=4184568/4192956 [pid=12567] ppid=12565 vsize=444584 CPUtime=1782.39 /proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 111187 0 0 0 178157 82 0 0 25 0 1 0 164210038 455254016 110626 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/12567/statm: 111146 110626 206 16 0 110585 0 Current children cumulated CPU time (s) 1782.39 Current children cumulated vsize (KiB) 444584 [startup+1783.5 s] /proc/loadavg: 0.99 0.97 0.97 2/65 12766 /proc/meminfo: memFree=1287016/2055920 swapFree=4184568/4192956 [pid=12567] ppid=12565 vsize=0 CPUtime=1782.79 /proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194308 111278 0 0 0 178191 88 0 0 17 0 1 0 164210038 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0 /proc/12567/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1782.79 Current children cumulated vsize (KiB) 0 Child status: 10 Real time (s): 1783.51 CPU time (s): 1782.81 CPU user time (s): 1781.91 CPU system time (s): 0.897863 CPU usage (%): 99.9606 Max. virtual memory (cumulated for all children) (KiB): 444888 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1781.91 system time used= 0.897863 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 111278 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= 17 involuntary context switches= 3041 runsolver used 1.13083 second user time and 3.79242 second system time The end
Begin job on node59 on Sat Apr 21 13:43:24 UTC 2007 IDJOB= 373088 IDBENCH= 25018 IDSOLVER= 165 FILE ID= node59/373088-1177163004 PBS_JOBID= 4648923 Free space on /tmp= 66329 MiB SOLVER NAME= Pueblo 1.4 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_2.opb COMMAND LINE= Pueblo /tmp/evaluation/373088-1177163004/instance-373088-1177163004.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node59/convwatcher-373088-1177163004 -o ROOT/results/node59/conversion-373088-1177163004 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/373088-1177163004/instance-373088-1177163004.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-373088-1177163004 -o ROOT/results/node59/solver-373088-1177163004 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/373088-1177163004/instance-373088-1177163004.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= af0ded53094abde95c37378ccd6c7afa RANDOM SEED= 190006604 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node59.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.268 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.268 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1730560 kB Buffers: 28268 kB Cached: 236120 kB SwapCached: 2104 kB Active: 52424 kB Inactive: 221464 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1730560 kB SwapTotal: 4192956 kB SwapFree: 4184568 kB Dirty: 3184 kB Writeback: 0 kB Mapped: 16320 kB Slab: 37496 kB Committed_AS: 2975288 kB PageTables: 1472 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66329 MiB End job on node59 on Sat Apr 21 14:13:08 UTC 2007