Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
oree 0.1.2 alpha | SAT | 1713.59 | 1714.09 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_10_5_15.opb |
MD5SUM | 5332756aaf3462bb729ff5c6a427694c |
Bench Category | SATUNSAT-SMALLINT-NLC (no optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 0.427934 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1502 |
Number of constraints which are clauses | 500 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1000 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 15 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 12540 |
Sum of products size (including duplicates) | 25080 |
Number of different products | 6270 |
Sum of products size | 12540 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.09/0.11 c ...done 0.09/0.11 c #vars=7270 #constraints=14043 hasObjective=no 0.09/0.13 c res. mode=mod 0.09/0.13 c VSIDS like heuristics 0.09/0.13 c complete search running 0.19/0.25 c restart after 401 decisions 0.19/0.27 c nbDecision=500 #constraints=14064 0.29/0.33 c restart after 801 decisions 0.29/0.36 c nbDecision=1000 #constraints=14066 0.39/0.47 c nbDecision=1500 #constraints=14075 0.49/0.50 c restart after 1601 decisions 0.49/0.58 c nbDecision=2000 #constraints=14085 0.59/0.70 c nbDecision=2500 #constraints=14096 0.79/0.84 c nbDecision=3000 #constraints=14112 0.79/0.89 c restart after 3201 decisions 0.89/0.96 c nbDecision=3500 #constraints=14116 1.09/1.11 c nbDecision=4000 #constraints=14135 1.18/1.25 c nbDecision=4500 #constraints=14144 1.28/1.37 c nbDecision=5000 #constraints=14151 1.48/1.55 c nbDecision=5500 #constraints=14171 1.68/1.70 c nbDecision=6000 #constraints=14182 1.78/1.82 c restart after 6401 decisions 1.78/1.86 c nbDecision=6500 #constraints=14189 1.98/2.01 c nbDecision=7000 #constraints=14198 2.20/2.22 c nbDecision=7500 #constraints=14216 2.29/2.38 c nbDecision=8000 #constraints=14224 2.49/2.57 c nbDecision=8500 #constraints=14239 2.79/2.80 c nbDecision=9000 #constraints=14256 2.89/2.97 c nbDecision=9500 #constraints=14260 3.20/3.21 c nbDecision=10000 #constraints=14291 3.39/3.45 c nbDecision=10500 #constraints=14307 3.69/3.74 c nbDecision=11000 #constraints=14328 3.89/3.97 c nbDecision=11500 #constraints=14334 4.19/4.25 c nbDecision=12000 #constraints=14348 4.39/4.49 c nbDecision=12500 #constraints=14358 4.59/4.65 c restart after 12801 decisions 4.69/4.76 c nbDecision=13000 #constraints=14370 4.99/5.03 c nbDecision=13500 #constraints=14381 5.19/5.29 c nbDecision=14000 #constraints=14389 5.59/5.61 c nbDecision=14500 #constraints=14403 5.89/5.91 c nbDecision=15000 #constraints=14420 6.19/6.21 c nbDecision=15500 #constraints=14434 6.49/6.58 c nbDecision=16000 #constraints=14448 6.79/6.89 c nbDecision=16500 #constraints=14456 7.19/7.26 c nbDecision=17000 #constraints=14479 7.59/7.62 c nbDecision=17500 #constraints=14497 7.88/7.97 c nbDecision=18000 #constraints=14515 8.28/8.35 c nbDecision=18500 #constraints=14534 8.69/8.78 c nbDecision=19000 #constraints=14554 9.19/9.22 c nbDecision=19500 #constraints=14565 9.58/9.66 c nbDecision=20000 #constraints=14591 10.08/10.11 c nbDecision=20500 #constraints=14602 10.58/10.64 c nbDecision=21000 #constraints=14623 11.08/11.16 c nbDecision=21500 #constraints=14642 11.78/11.81 c nbDecision=22000 #constraints=14657 12.38/12.49 c nbDecision=22500 #constraints=14666 12.98/13.08 c nbDecision=23000 #constraints=14676 13.58/13.61 c nbDecision=23500 #constraints=14685 14.19/14.23 c nbDecision=24000 #constraints=14692 14.78/14.80 c nbDecision=24500 #constraints=14699 15.29/15.32 c nbDecision=25000 #constraints=14708 15.68/15.76 c nbDecision=25500 #constraints=14717 15.88/15.90 c restart after 25601 decisions 16.18/16.25 c nbDecision=26000 #constraints=14723 16.68/16.71 c nbDecision=26500 #constraints=14728 17.18/17.27 c nbDecision=27000 #constraints=14736 17.68/17.79 c nbDecision=27500 #constraints=14752 18.28/18.37 c nbDecision=28000 #constraints=14776 18.88/18.94 c nbDecision=28500 #constraints=14802 19.58/19.63 c nbDecision=29000 #constraints=14821 20.18/20.21 c nbDecision=29500 #constraints=14845 20.89/20.91 c nbDecision=30000 #constraints=14874 21.89/21.98 c nbDecision=30500 #constraints=14925 23.09/23.12 c nbDecision=31000 #constraints=14965 24.19/24.21 c nbDecision=31500 #constraints=14995 25.68/25.77 c nbDecision=32000 #constraints=15058 27.28/27.32 c nbDecision=32500 #constraints=15106 28.98/29.02 c nbDecision=33000 #constraints=15153 30.98/31.08 c nbDecision=33500 #constraints=15201 32.58/32.64 c nbDecision=34000 #constraints=15225 34.58/34.60 c nbDecision=34500 #constraints=15280 39.18/39.21 c nbDecision=35000 #constraints=15426 41.37/41.47 c nbDecision=35500 #constraints=15451 45.38/45.42 c nbDecision=36000 #constraints=15580 54.57/54.68 c nbDecision=36500 #constraints=16028 65.56/65.61 c nbDecision=37000 #constraints=16468 79.37/79.48 c nbDecision=37500 #constraints=16920 94.86/94.96 c nbDecision=38000 #constraints=17370 111.76/111.84 c nbDecision=38500 #constraints=17820 125.26/125.34 c nbDecision=39000 #constraints=18115 132.75/132.87 c nbDecision=39500 #constraints=18180 139.15/139.26 c nbDecision=40000 #constraints=18194 143.24/143.37 c nbDecision=40500 #constraints=18204 151.94/152.07 c nbDecision=41000 #constraints=18228 161.74/161.81 c nbDecision=41500 #constraints=18258 166.74/166.87 c nbDecision=42000 #constraints=18273 172.84/172.91 c nbDecision=42500 #constraints=18287 178.43/178.59 c nbDecision=43000 #constraints=18303 185.03/185.13 c nbDecision=43500 #constraints=18316 188.83/188.98 c nbDecision=44000 #constraints=18326 196.93/197.04 c nbDecision=44500 #constraints=18350 206.73/206.84 c nbDecision=45000 #constraints=18376 219.63/219.71 c nbDecision=45500 #constraints=18411 224.93/225.02 c nbDecision=46000 #constraints=18424 236.02/236.11 c nbDecision=46500 #constraints=18454 248.52/248.61 c nbDecision=47000 #constraints=18485 253.92/254.01 c nbDecision=47500 #constraints=18499 265.11/265.20 c nbDecision=48000 #constraints=18526 275.81/275.96 c nbDecision=48500 #constraints=18553 283.91/284.02 c nbDecision=49000 #constraints=18567 294.40/294.56 c nbDecision=49500 #constraints=18587 307.40/307.60 c nbDecision=50000 #constraints=18609 314.70/314.87 c nbDecision=50500 #constraints=18622 325.79/325.95 c nbDecision=51000 #constraints=18639 329.79/329.91 c restart after 51201 decisions 334.69/334.83 c nbDecision=51500 #constraints=18654 343.99/344.15 c nbDecision=52000 #constraints=18673 351.19/351.32 c nbDecision=52500 #constraints=18685 355.29/355.46 c nbDecision=53000 #constraints=18696 360.49/360.65 c nbDecision=53500 #constraints=18705 369.78/369.92 c nbDecision=54000 #constraints=18722 393.98/394.16 c nbDecision=54500 #constraints=18786 404.27/404.42 c nbDecision=55000 #constraints=18808 422.57/422.70 c nbDecision=55500 #constraints=18848 432.17/432.32 c nbDecision=56000 #constraints=18867 437.57/437.79 c nbDecision=56500 #constraints=18877 463.06/463.22 c nbDecision=57000 #constraints=18939 471.66/471.88 c nbDecision=57500 #constraints=18958 485.15/485.33 c nbDecision=58000 #constraints=18985 493.15/493.39 c nbDecision=58500 #constraints=19000 500.35/500.52 c nbDecision=59000 #constraints=19018 503.94/504.10 c nbDecision=59500 #constraints=19025 508.04/508.22 c nbDecision=60000 #constraints=19031 513.14/513.36 c nbDecision=60500 #constraints=19042 517.14/517.36 c nbDecision=61000 #constraints=19055 523.13/523.35 c nbDecision=61500 #constraints=19068 527.63/527.81 c nbDecision=62000 #constraints=19076 531.93/532.13 c nbDecision=62500 #constraints=19083 538.73/538.91 c nbDecision=63000 #constraints=19094 545.13/545.34 c nbDecision=63500 #constraints=19105 577.02/577.20 c nbDecision=64000 #constraints=19140 631.40/631.67 c nbDecision=64500 #constraints=19208 658.90/659.13 c nbDecision=65000 #constraints=19247 670.89/671.16 c nbDecision=65500 #constraints=19266 684.39/684.60 c nbDecision=66000 #constraints=19297 761.37/761.69 c nbDecision=66500 #constraints=19488 859.54/859.84 c nbDecision=67000 #constraints=19734 957.01/957.33 c nbDecision=67500 #constraints=19976 1060.78/1061.19 c nbDecision=68000 #constraints=20231 1146.26/1146.63 c nbDecision=68500 #constraints=20435 1250.12/1250.50 c nbDecision=69000 #constraints=20688 1351.10/1351.59 c nbDecision=69500 #constraints=20935 1470.06/1470.56 c nbDecision=70000 #constraints=21164 1622.61/1623.11 c nbDecision=70500 #constraints=21413 1635.81/1636.38 c nbDecision=71000 #constraints=21433 1647.40/1647.99 c nbDecision=71500 #constraints=21451 1657.11/1657.61 c nbDecision=72000 #constraints=21464 1669.10/1669.64 c nbDecision=72500 #constraints=21475 1674.01/1674.52 c nbDecision=73000 #constraints=21490 1683.10/1683.66 c nbDecision=73500 #constraints=21515 1698.10/1698.62 c nbDecision=74000 #constraints=21533 1710.89/1711.40 c nbDecision=74500 #constraints=21545 1713.49/1714.04 c nbDecision=74867 #constraints=21552 1713.49/1714.05 1713.49/1714.05 s SATISFIABLE 1713.49/1714.05 v -x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 1713.49/1714.05 v -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 x40 -x41 x42 -x43 x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 1713.49/1714.05 v x57 x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 x70 x71 -x72 -x73 -x74 -x75 x76 -x77 x78 -x79 -x80 -x81 -x82 -x83 1713.49/1714.05 v -x84 -x85 x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 x94 -x95 -x96 -x97 x98 x99 -x100 -x101 -x102 x103 -x104 -x105 x106 -x107 x108 1713.49/1714.05 v -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 -x127 x128 -x129 1713.49/1714.05 v -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 x140 -x141 -x142 x143 -x144 x145 -x146 -x147 -x148 -x149 -x150 1713.49/1714.05 v -x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 x167 -x168 -x169 x170 -x171 1713.49/1714.05 v -x172 x173 -x174 -x175 -x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 x192 1713.49/1714.05 v -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200 -x201 -x202 x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 1713.49/1714.05 v -x214 -x215 -x216 x217 -x218 -x219 x220 -x221 x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 -x232 x233 x234 -x235 1713.49/1714.05 v -x236 -x237 -x238 -x239 -x240 -x241 x242 -x243 -x244 x245 -x246 -x247 x248 -x249 -x250 -x251 -x252 -x253 x254 x255 -x256 -x257 1713.49/1714.05 v -x258 x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 x267 x268 -x269 -x270 x271 x272 -x273 -x274 -x275 -x276 x277 -x278 -x279 1713.49/1714.05 v -x280 -x281 -x282 -x283 -x284 -x285 x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 x296 x297 -x298 -x299 x300 1713.49/1714.05 v -x301 -x302 -x303 x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 x317 -x318 -x319 -x320 -x321 1713.49/1714.05 v x322 x323 -x324 -x325 -x326 -x327 x328 -x329 x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 x338 -x339 x340 -x341 x342 -x343 1713.49/1714.05 v -x344 x345 -x346 x347 x348 -x349 -x350 x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 x362 -x363 x364 -x365 1713.49/1714.05 v -x366 -x367 x368 x369 -x370 -x371 -x372 -x373 -x374 -x375 x376 -x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 1713.49/1714.05 v -x387 x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 x400 -x401 -x402 -x403 -x404 x405 -x406 -x407 1713.49/1714.05 v -x408 -x409 -x410 -x411 -x412 x413 -x414 x415 -x416 -x417 -x418 x419 -x420 -x421 -x422 x423 -x424 -x425 x426 -x427 -x428 -x429 1713.49/1714.05 v -x430 -x431 x432 x433 x434 -x435 x436 x437 -x438 x439 x440 -x441 -x442 -x443 -x444 -x445 x446 -x447 -x448 -x449 x450 x451 x452 1713.49/1714.05 v -x453 -x454 -x455 -x456 -x457 -x458 -x459 x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 -x468 -x469 -x470 -x471 -x472 x473 1713.49/1714.05 v -x474 x475 -x476 -x477 -x478 x479 x480 x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 x489 -x490 -x491 -x492 -x493 -x494 -x495 1713.49/1714.05 v x496 -x497 -x498 -x499 x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 x509 -x510 -x511 -x512 x513 -x514 -x515 -x516 1713.49/1714.05 v x517 -x518 -x519 x520 -x521 -x522 -x523 -x524 -x525 -x526 x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 1713.49/1714.05 v -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 1713.49/1714.05 v -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 1713.49/1714.05 v -x580 -x581 -x582 -x583 x584 -x585 -x586 -x587 x588 -x589 x590 -x591 -x592 -x593 -x594 x595 -x596 x597 -x598 -x599 -x600 -x601 1713.49/1714.05 v -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 1713.49/1714.05 v x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 1713.49/1714.05 v -x644 -x645 -x646 x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 x660 -x661 -x662 x663 -x664 1713.49/1714.05 v -x665 x666 -x667 x668 x669 -x670 x671 -x672 -x673 -x674 -x675 x676 -x677 -x678 -x679 -x680 -x681 x682 -x683 -x684 -x685 -x686 1713.49/1714.05 v x687 x688 -x689 -x690 -x691 -x692 x693 -x694 -x695 x696 -x697 -x698 x699 x700 -x701 -x702 -x703 -x704 x705 x706 x707 x708 -x709 1713.49/1714.05 v x710 x711 x712 -x713 x714 -x715 -x716 -x717 -x718 x719 -x720 -x721 -x722 -x723 x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 1713.49/1714.05 v x732 -x733 -x734 x735 x736 -x737 x738 -x739 -x740 x741 -x742 -x743 -x744 -x745 x746 -x747 -x748 -x749 x750 x751 -x752 -x753 1713.49/1714.05 v -x754 -x755 x756 -x757 x758 -x759 x760 x761 -x762 x763 -x764 -x765 x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 1713.49/1714.05 v x776 -x777 -x778 x779 -x780 -x781 -x782 -x783 -x784 x785 -x786 x787 x788 -x789 -x790 x791 -x792 -x793 -x794 -x795 -x796 -x797 1713.49/1714.05 v -x798 -x799 -x800 -x801 -x802 -x803 -x804 x805 x806 -x807 x808 -x809 -x810 x811 x812 -x813 x814 -x815 -x816 -x817 -x818 -x819 1713.49/1714.05 v -x820 -x821 -x822 -x823 x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 x834 -x835 x836 x837 -x838 x839 -x840 -x841 1713.49/1714.05 v -x842 x843 x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 x852 -x853 x854 x855 -x856 x857 x858 -x859 -x860 -x861 -x862 -x863 1713.49/1714.05 v -x864 x865 -x866 -x867 -x868 -x869 -x870 x871 x872 -x873 x874 -x875 -x876 -x877 -x878 -x879 -x880 x881 -x882 x883 x884 x885 1713.49/1714.05 v -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 x894 x895 x896 -x897 -x898 -x899 -x900 -x901 -x902 x903 -x904 -x905 -x906 1713.49/1714.05 v -x907 -x908 -x909 -x910 -x911 x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 x925 -x926 -x927 1713.49/1714.05 v -x928 -x929 x930 -x931 -x932 -x933 -x934 x935 -x936 -x937 x938 -x939 -x940 x941 -x942 x943 x944 x945 -x946 -x947 x948 -x949 1713.49/1714.05 v -x950 -x951 -x952 -x953 x954 x955 -x956 x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 x965 x966 -x967 x968 x969 -x970 -x971 1713.49/1714.05 v x972 -x973 x974 -x975 x976 -x977 x978 -x979 -x980 -x981 -x982 x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 x992 -x993 1713.49/1714.05 v x994 -x995 -x996 -x997 x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 1713.49/1714.05 v -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 1713.49/1714.05 v -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 1713.49/1714.05 v -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 1713.49/1714.05 v -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 1713.49/1714.05 v -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 1713.49/1714.05 v -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 1713.49/1714.05 v -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 1713.49/1714.05 v -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 1713.49/1714.05 v -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 1713.49/1714.05 v -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 1713.49/1714.05 v -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 1713.49/1714.05 v -x1200 -x1201 -x1202 -x1203 -x1204 x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 1713.49/1714.05 v -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 1713.49/1714.05 v -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 1713.49/1714.05 v -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 1713.49/1714.05 v -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 x1283 -x1284 1713.49/1714.05 v -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 1713.49/1714.05 v -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 1713.49/1714.05 v -x1319 -x1320 -x1321 -x1322 -x1323 x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 1713.49/1714.05 v -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 1713.49/1714.05 v -x1353 x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 1713.49/1714.05 v -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 1713.49/1714.05 v -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 1713.49/1714.05 v -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 1713.49/1714.05 v -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 1713.49/1714.05 v -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 1713.49/1714.05 v -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 1713.49/1714.05 v -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 1713.49/1714.05 v -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 1713.49/1714.05 v -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 x1521 -x1522 1713.49/1714.05 v -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 1713.49/1714.05 v -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 1713.49/1714.05 v -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 1713.49/1714.05 v -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 x1590 1713.49/1714.05 v -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 1713.49/1714.05 v -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 1713.49/1714.05 v -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 1713.49/1714.05 v -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 x1656 -x1657 -x1658 1713.49/1714.05 v -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 1713.49/1714.05 v -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 1713.49/1714.05 v -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 1713.49/1714.05 v -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 1713.49/1714.05 v -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 1713.49/1714.05 v -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 1713.49/1714.05 v -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 1713.49/1714.05 v -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 1713.49/1714.05 v -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 1713.49/1714.05 v -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 1713.49/1714.05 v -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 1713.49/1714.05 v -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 1713.49/1714.05 v -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 1713.49/1714.05 v -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 1713.49/1714.05 v -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 1713.49/1714.05 v -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 1713.49/1714.05 v -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 1713.49/1714.05 v -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 1713.49/1714.05 v -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 1713.49/1714.05 v -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 1713.49/1714.05 v -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 1713.49/1714.05 v -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 1713.49/1714.05 v -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 1713.49/1714.05 v -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 1713.49/1714.05 v -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 1713.49/1714.05 v -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 1713.49/1714.05 v -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 1713.49/1714.05 v -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 1713.49/1714.05 v -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 1713.49/1714.05 v -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 1713.49/1714.05 v -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 1713.49/1714.05 v -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 1713.49/1714.05 v -x2203 -x2204 -x2205 x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 1713.49/1714.05 v -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 1713.49/1714.05 v -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 1713.49/1714.05 v -x2254 -x2255 -x2256 -x2257 -x2258 x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 1713.49/1714.05 v -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 1713.49/1714.05 v -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 1713.49/1714.05 v -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 1713.49/1714.05 v -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 1713.49/1714.05 v -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 1713.49/1714.05 v -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 1713.49/1714.05 v -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 1713.49/1714.05 v -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 1713.49/1714.05 v -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 1713.49/1714.05 v -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 1713.49/1714.05 v -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 1713.49/1714.05 v -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 1713.49/1714.05 v -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 1713.49/1714.05 v -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 1713.49/1714.05 v -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 1713.49/1714.05 v -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 1713.49/1714.05 v -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 1713.49/1714.05 v -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 1713.49/1714.05 v -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 1713.49/1714.05 v -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 1713.49/1714.05 v -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 1713.49/1714.05 v -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 1713.49/1714.05 v -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 1713.49/1714.05 v -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 1713.49/1714.05 v -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 1713.49/1714.05 v -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 1713.49/1714.05 v -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 1713.49/1714.05 v -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 1713.49/1714.05 v -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 1713.49/1714.05 v -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 1713.49/1714.05 v -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 1713.49/1714.05 v -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 1713.49/1714.05 v -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 1713.49/1714.05 v -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 1713.49/1714.05 v -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 1713.49/1714.05 v -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 1713.49/1714.05 v -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 1713.49/1714.05 v -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 1713.49/1714.05 v -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 1713.49/1714.05 v -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 x2947 -x2948 -x2949 -x2950 1713.49/1714.05 v -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 1713.49/1714.05 v -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 1713.49/1714.05 v -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 1713.49/1714.05 v -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 1713.49/1714.05 v -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 1713.49/1714.05 v -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 1713.49/1714.05 v -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 1713.49/1714.05 v -x3070 -x3071 -x3072 -x3073 -x3074 x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 1713.49/1714.05 v -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 1713.49/1714.05 v -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 1713.49/1714.05 v -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 1713.49/1714.05 v -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 1713.49/1714.05 v -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 1713.49/1714.05 v -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 1713.49/1714.05 v -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 1713.49/1714.05 v -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 1713.49/1714.05 v -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 1713.49/1714.05 v -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 1713.49/1714.05 v -x3257 -x3258 -x3259 -x3260 -x3261 x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 1713.49/1714.05 v -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 1713.49/1714.05 v -x3291 -x3292 x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 1713.49/1714.05 v -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 1713.49/1714.05 v -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 1713.49/1714.05 v -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 1713.49/1714.05 v -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 1713.49/1714.05 v -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 1713.49/1714.05 v -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 1713.49/1714.05 v -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 1713.49/1714.05 v -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 1713.49/1714.05 v -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 1713.49/1714.05 v -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 1713.49/1714.05 v -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 1713.49/1714.05 v -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 1713.49/1714.05 v -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 1713.49/1714.05 v -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 1713.49/1714.05 v -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 1713.49/1714.05 v -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 x3571 -x3572 -x3573 -x3574 x3575 -x3576 -x3577 -x3578 -x3579 -x3580 1713.49/1714.05 v -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 1713.49/1714.05 v -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 1713.49/1714.05 v -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 1713.49/1714.05 v -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 1713.49/1714.05 v -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 1713.49/1714.05 v -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 1713.49/1714.05 v -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 1713.49/1714.05 v -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 1713.49/1714.05 v -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 1713.49/1714.05 v -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 1713.49/1714.05 v -x3751 -x3752 x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 1713.49/1714.05 v -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 1713.49/1714.05 v -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 x3798 -x3799 -x3800 -x3801 1713.49/1714.05 v -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 1713.49/1714.05 v -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 1713.49/1714.05 v -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 1713.49/1714.05 v -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 1713.49/1714.05 v -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 1713.49/1714.05 v -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 1713.49/1714.05 v -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 1713.49/1714.05 v -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 1713.49/1714.05 v -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 1713.49/1714.05 v -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 x3966 -x3967 -x3968 -x3969 -x3970 -x3971 1713.49/1714.05 v -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 1713.49/1714.05 v -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 1713.49/1714.05 v -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 1713.49/1714.05 v -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 1713.49/1714.05 v -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 1713.49/1714.05 v -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 1713.49/1714.05 v -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 1713.49/1714.05 v -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 x4106 -x4107 1713.49/1714.05 v -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 1713.49/1714.05 v -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 x4141 1713.49/1714.05 v -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 1713.49/1714.05 v -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 1713.49/1714.05 v -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 1713.49/1714.05 v -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 1713.49/1714.05 v -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 1713.49/1714.05 v -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 1713.49/1714.05 v -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 1713.49/1714.05 v -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 1713.49/1714.05 v -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 1713.49/1714.05 v -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 1713.49/1714.05 v -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 1713.49/1714.05 v -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 1713.49/1714.05 v -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 x4361 -x4362 1713.49/1714.05 v -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 1713.49/1714.05 v -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 1713.49/1714.05 v -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 1713.49/1714.05 v -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 1713.49/1714.05 v -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 1713.49/1714.05 v -x4448 -x4449 x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 1713.49/1714.05 v -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 1713.49/1714.05 v -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 1713.49/1714.05 v -x4499 -x4500 -x4501 x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 1713.49/1714.05 v -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 1713.49/1714.05 v -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 1713.49/1714.05 v -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 1713.49/1714.05 v -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 1713.49/1714.05 v -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 1713.49/1714.05 v -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 1713.49/1714.05 v -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 1713.49/1714.05 v -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 1713.49/1714.05 v -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 1713.49/1714.05 v -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 1713.49/1714.05 v -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 1713.49/1714.05 v -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 1713.49/1714.05 v -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 1713.49/1714.05 v -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 1713.49/1714.05 v -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 1713.49/1714.05 v -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 1713.49/1714.05 v -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 1713.49/1714.05 v -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 1713.49/1714.05 v -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 x4836 x4837 -x4838 -x4839 1713.49/1714.05 v -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 1713.49/1714.05 v -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 1713.49/1714.05 v -x4874 -x4875 x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 1713.49/1714.05 v -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 x4905 -x4906 -x4907 1713.49/1714.05 v -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 1713.49/1714.05 v -x4925 -x4926 -x4927 x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 1713.49/1714.05 v -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 x4953 -x4954 -x4955 -x4956 -x4957 -x4958 1713.49/1714.05 v -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 1713.49/1714.05 v -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 1713.49/1714.05 v -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 1713.49/1714.05 v -x5010 -x5011 -x5012 -x5013 x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 1713.49/1714.05 v -x5027 -x5028 -x5029 -x5030 -x5031 x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 1713.49/1714.05 v -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 1713.49/1714.05 v -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 1713.49/1714.05 v -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 1713.49/1714.05 v -x5095 -x5096 -x5097 -x5098 x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 1713.49/1714.05 v -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 1713.49/1714.05 v -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 1713.49/1714.05 v -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 1713.49/1714.05 v -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 1713.49/1714.05 v -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 1713.49/1714.05 v -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 1713.49/1714.05 v -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 1713.49/1714.05 v -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 1713.49/1714.05 v -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 1713.49/1714.05 v -x5265 -x5266 x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 1713.49/1714.05 v -x5282 -x5283 -x5284 -x5285 -x5286 x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 1713.49/1714.05 v -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 1713.49/1714.05 v -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 1713.49/1714.05 v -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 1713.49/1714.05 v -x5350 x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 1713.49/1714.05 v -x5367 x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 1713.49/1714.05 v -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 1713.49/1714.05 v -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 1713.49/1714.05 v -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 1713.49/1714.05 v -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 1713.49/1714.05 v x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 x5466 -x5467 -x5468 -x5469 1713.49/1714.05 v -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 1713.49/1714.05 v -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 1713.49/1714.05 v -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 x5516 -x5517 -x5518 -x5519 -x5520 1713.49/1714.05 v -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 1713.49/1714.05 v -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 1713.49/1714.05 v -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 1713.49/1714.05 v -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 1713.49/1714.05 v -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 1713.49/1714.05 v -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 1713.49/1714.05 v -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 x5635 -x5636 x5637 -x5638 -x5639 -x5640 1713.49/1714.05 v -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 1713.49/1714.05 v -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 x5671 -x5672 -x5673 -x5674 1713.49/1714.05 v -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 1713.49/1714.05 v -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 x5703 -x5704 -x5705 -x5706 -x5707 -x5708 1713.49/1714.05 v -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 1713.49/1714.05 v -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 1713.49/1714.05 v -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 1713.49/1714.05 v -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 1713.49/1714.05 v -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 1713.49/1714.05 v -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 1713.49/1714.05 v -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 1713.49/1714.05 v -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 x5843 -x5844 1713.49/1714.05 v -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 1713.49/1714.05 v -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 1713.49/1714.05 v -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 1713.49/1714.05 v -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 x5910 -x5911 -x5912 1713.49/1714.05 v -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 1713.49/1714.05 v -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 1713.49/1714.05 v -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 x5961 -x5962 -x5963 1713.49/1714.05 v -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 1713.49/1714.05 v -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 1713.49/1714.05 v -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 1713.49/1714.05 v -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 1713.49/1714.05 v -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 1713.49/1714.05 v -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 x6060 -x6061 -x6062 -x6063 -x6064 -x6065 1713.49/1714.05 v -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 1713.49/1714.05 v -x6083 -x6084 -x6085 x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 x6095 -x6096 -x6097 -x6098 -x6099 -x6100 1713.49/1714.05 v -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 x6117 1713.49/1714.05 v -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 1713.49/1714.05 v -x6135 -x6136 -x6137 x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 1713.49/1714.05 v -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 1713.49/1714.05 v -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 1713.49/1714.05 v -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 1713.49/1714.05 v -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 1713.49/1714.05 v -x6220 x6221 -x6222 -x6223 -x6224 -x6225 -x6226 x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 1713.49/1714.05 v -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 1713.49/1714.05 v -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 1713.49/1714.05 v x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 1713.49/1714.05 v -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 1713.49/1714.05 v -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 1713.49/1714.05 v -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 1713.49/1714.05 v -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 1713.49/1714.05 v -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 1713.49/1714.05 v -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 x6390 1713.49/1714.05 v -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 1713.49/1714.05 v -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 x6423 -x6424 1713.49/1714.05 v -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 1713.49/1714.05 v -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 1713.49/1714.05 v -x6459 -x6460 -x6461 x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 1713.49/1714.05 v -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 x6492 1713.49/1714.05 v -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 1713.49/1714.05 v -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 1713.49/1714.05 v -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 x6538 -x6539 -x6540 -x6541 -x6542 -x6543 1713.49/1714.05 v -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 1713.49/1714.05 v -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 1713.49/1714.05 v -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 1713.49/1714.05 v -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 1713.49/1714.05 v -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 1713.49/1714.05 v -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 1713.49/1714.05 v -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 1713.49/1714.05 v -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 1713.49/1714.05 v -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 1713.49/1714.05 v -x6697 -x6698 -x6699 x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 1713.49/1714.05 v -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 1713.49/1714.05 v -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 1713.49/1714.05 v -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 1713.49/1714.05 v -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 x6777 -x6778 -x6779 -x6780 -x6781 1713.49/1714.05 v -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 x6798 1713.49/1714.05 v -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 1713.49/1714.05 v -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 1713.49/1714.05 v -x6833 -x6834 x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 1713.49/1714.05 v -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 1713.49/1714.05 v -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 1713.49/1714.05 v -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 1713.49/1714.05 v -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 1713.49/1714.05 v -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 1713.49/1714.05 v -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 x6951 1713.49/1714.05 v -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 1713.49/1714.05 v -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 1713.49/1714.05 v -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 1713.49/1714.05 v -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 1713.49/1714.05 v -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 1713.49/1714.05 v -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 1713.49/1714.05 v -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 1713.49/1714.05 v -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 1713.49/1714.05 v x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 1713.49/1714.05 v -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 1713.49/1714.05 v -x7122 x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 1713.49/1714.05 v -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 1713.49/1714.05 v -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 1713.49/1714.05 v -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 x7189 1713.49/1714.05 v -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 1713.49/1714.05 v -x7207 -x7208 -x7209 x7210 -x7211 -x7212 -x7213 -x7214 x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 1713.49/1714.05 v -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 1713.49/1714.05 v -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 1713.49/1714.05 v -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 x7268 -x7269 -x7270 1713.49/1714.05 1713.49/1714.05 c user time= 1713.21 s 1713.49/1714.05 c system time= 0.344947 s 1713.49/1714.05 c wall clock time=1714.05
OK 0
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/456797-1178363251/instance-456797-1178363251.opb mv /tmp/evaluation/456797-1178363251/instance-456797-1178363251.opb.tmp /tmp/evaluation/456797-1178363251/instance-456797-1178363251.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node5/watcher-456797-1178363251 -o ROOT/results/node5/solver-456797-1178363251 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/456797-1178363251/instance-456797-1178363251.opb mod 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.68 0.96 0.83 3/77 5552 /proc/meminfo: memFree=1811648/2055920 swapFree=4150076/4192956 [pid=5552] ppid=5550 vsize=1468 CPUtime=0 /proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 312362744 1503232 166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5552/statm: 367 167 131 317 0 46 0 [startup+0.073952 s] /proc/loadavg: 0.68 0.96 0.83 3/77 5552 /proc/meminfo: memFree=1811648/2055920 swapFree=4150076/4192956 [pid=5552] ppid=5550 vsize=3316 CPUtime=0.06 /proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 626 0 0 0 6 0 0 0 18 0 1 0 312362744 3395584 609 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5552/statm: 829 609 132 317 0 508 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 3316 [startup+0.102954 s] /proc/loadavg: 0.68 0.96 0.83 3/77 5552 /proc/meminfo: memFree=1811648/2055920 swapFree=4150076/4192956 [pid=5552] ppid=5550 vsize=4420 CPUtime=0.09 /proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 911 0 0 0 9 0 0 0 18 0 1 0 312362744 4526080 894 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5552/statm: 1105 894 132 317 0 784 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4420 [startup+0.302977 s] /proc/loadavg: 0.68 0.96 0.83 3/77 5552 /proc/meminfo: memFree=1811648/2055920 swapFree=4150076/4192956 [pid=5552] ppid=5550 vsize=7744 CPUtime=0.29 /proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 1748 0 0 0 29 0 0 0 20 0 1 0 312362744 7929856 1635 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5552/statm: 1936 1635 139 317 0 1615 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7744 [startup+0.703022 s] /proc/loadavg: 0.68 0.96 0.83 3/77 5552 /proc/meminfo: memFree=1811648/2055920 swapFree=4150076/4192956 [pid=5552] ppid=5550 vsize=8144 CPUtime=0.69 /proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 1838 0 0 0 69 0 0 0 24 0 1 0 312362744 8339456 1725 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606848 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5552/statm: 2036 1725 139 317 0 1715 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8144 [startup+1.50111 s] /proc/loadavg: 0.70 0.96 0.83 2/78 5553 /proc/meminfo: memFree=1804664/2055920 swapFree=4150076/4192956 [pid=5552] ppid=5550 vsize=9224 CPUtime=1.48 /proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 2134 0 0 0 148 0 0 0 25 0 1 0 312362744 9445376 2021 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5552/statm: 2306 2021 139 317 0 1985 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 9224 [startup+3.10129 s] /proc/loadavg: 0.70 0.96 0.83 2/78 5553 /proc/meminfo: memFree=1802936/2055920 swapFree=4150076/4192956 [pid=5552] ppid=5550 vsize=11092 CPUtime=3.09 /proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 2603 0 0 0 308 1 0 0 25 0 1 0 312362744 11358208 2490 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563935 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5552/statm: 2773 2490 139 317 0 2452 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11092 [startup+6.30165 s] /proc/loadavg: 0.72 0.97 0.83 2/78 5553 /proc/meminfo: memFree=1799416/2055920 swapFree=4150076/4192956 [pid=5552] ppid=5550 vsize=14300 CPUtime=6.29 /proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 3392 0 0 0 628 1 0 0 25 0 1 0 312362744 14643200 3279 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5552/statm: 3575 3279 139 317 0 3254 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14300 [startup+12.7014 s] /proc/loadavg: 0.75 0.97 0.83 2/78 5553 /proc/meminfo: memFree=1795768/2055920 swapFree=4150076/4192956 [pid=5552] ppid=5550 vsize=17360 CPUtime=12.68 /proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 4150 0 0 0 1267 1 0 0 25 0 1 0 312362744 17776640 4037 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5552/statm: 4340 4037 139 317 0 4019 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 17360 [startup+25.5018 s] /proc/loadavg: 0.79 0.97 0.83 2/78 5553 /proc/meminfo: memFree=1789816/2055920 swapFree=4150076/4192956 [pid=5552] ppid=5550 vsize=23740 CPUtime=25.48 /proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 5752 0 0 0 2546 2 0 0 25 0 1 0 312362744 24309760 5639 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5552/statm: 5935 5639 139 317 0 5614 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 23740 [startup+51.1017 s] /proc/loadavg: 0.87 0.97 0.84 2/78 5553 /proc/meminfo: memFree=1774008/2055920 swapFree=4150076/4192956 [pid=5552] ppid=5550 vsize=40404 CPUtime=51.08 /proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 9811 0 0 0 5103 5 0 0 25 0 1 0 312362744 41373696 9698 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134531141 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5552/statm: 10101 9698 139 317 0 9780 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 40404 [startup+102.306 s] /proc/loadavg: 0.94 0.97 0.84 2/78 5553 /proc/meminfo: memFree=1735224/2055920 swapFree=4150076/4192956 [pid=5552] ppid=5550 vsize=80012 CPUtime=102.26 /proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 19319 0 0 0 10216 10 0 0 25 0 1 0 312362744 81932288 19206 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5552/statm: 20003 19206 139 317 0 19682 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 80012 [startup+162.301 s] /proc/loadavg: 0.98 0.97 0.85 2/78 5553 /proc/meminfo: memFree=1721400/2055920 swapFree=4150076/4192956 [pid=5552] ppid=5550 vsize=92504 CPUtime=162.24 /proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 22790 0 0 0 16211 13 0 0 25 0 1 0 312362744 94724096 22677 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5552/statm: 23126 22677 139 317 0 22805 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 92504 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.85 2/78 5553 /proc/meminfo: memFree=1718904/2055920 swapFree=4150076/4192956 [pid=5552] ppid=5550 vsize=94776 CPUtime=222.23 /proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 23364 0 0 0 22209 14 0 0 25 0 1 0 312362744 97050624 23251 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711055 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5552/statm: 23694 23251 139 317 0 23373 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 94776 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.86 2/78 5553 /proc/meminfo: memFree=1715960/2055920 swapFree=4150076/4192956 [pid=5552] ppid=5550 vsize=97796 CPUtime=282.21 /proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 24109 0 0 0 28206 15 0 0 25 0 1 0 312362744 100143104 23996 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5552/statm: 24449 23996 139 317 0 24128 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 97796 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.87 2/78 5553 /proc/meminfo: memFree=1714424/2055920 swapFree=4150076/4192956 [pid=5552] ppid=5550 vsize=99248 CPUtime=342.19 /proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 24471 0 0 0 34203 16 0 0 25 0 1 0 312362744 101629952 24358 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5552/statm: 24812 24358 139 317 0 24491 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 99248 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.87 2/78 5553 /proc/meminfo: memFree=1710648/2055920 swapFree=4150076/4192956 [pid=5552] ppid=5550 vsize=103008 CPUtime=402.17 /proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 25426 0 0 0 40200 17 0 0 25 0 1 0 312362744 105480192 25313 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5552/statm: 25752 25313 139 317 0 25431 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 103008 [startup+462.301 s] /proc/loadavg: 1.03 0.99 0.88 2/78 5553 /proc/meminfo: memFree=1708856/2055920 swapFree=4150076/4192956 [pid=5552] ppid=5550 vsize=104984 CPUtime=462.16 /proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 25907 0 0 0 46198 18 0 0 25 0 1 0 312362744 107503616 25794 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712513 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5552/statm: 26246 25794 139 317 0 25925 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 104984 [startup+522.302 s] /proc/loadavg: 1.01 0.99 0.89 2/78 5553 /proc/meminfo: memFree=1707576/2055920 swapFree=4150076/4192956 [pid=5552] ppid=5550 vsize=106176 CPUtime=522.14 /proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 26213 0 0 0 52196 18 0 0 25 0 1 0 312362744 108724224 26100 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5552/statm: 26544 26100 139 317 0 26223 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 106176 [startup+582.303 s] /proc/loadavg: 1.00 0.99 0.89 2/78 5553 /proc/meminfo: memFree=1706808/2055920 swapFree=4150076/4192956 [pid=5552] ppid=5550 vsize=106956 CPUtime=582.12 /proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 26414 0 0 0 58193 19 0 0 25 0 1 0 312362744 109522944 26301 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5552/statm: 26739 26301 139 317 0 26418 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 106956 [startup+642.303 s] /proc/loadavg: 1.00 0.99 0.90 2/78 5553 /proc/meminfo: memFree=1705528/2055920 swapFree=4150076/4192956 [pid=5552] ppid=5550 vsize=108256 CPUtime=642.11 /proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 26739 0 0 0 64191 20 0 0 25 0 1 0 312362744 110854144 26626 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5552/statm: 27064 26626 139 317 0 26743 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 108256 ################ # More data... # ################ /proc/meminfo: memFree=1680568/2055920 swapFree=4150076/4192956 [pid=5552] ppid=5550 vsize=133356 CPUtime=1121.97 /proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 32987 0 0 0 112169 28 0 0 25 0 1 0 312362744 136556544 32874 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5552/statm: 33339 32874 139 317 0 33018 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 133356 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 5553 /proc/meminfo: memFree=1674808/2055920 swapFree=4150076/4192956 [pid=5552] ppid=5550 vsize=141372 CPUtime=1181.95 /proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 34400 0 0 0 118166 29 0 0 25 0 1 0 312362744 144764928 34287 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5552/statm: 35343 34287 139 317 0 35022 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 141372 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 5553 /proc/meminfo: memFree=1672248/2055920 swapFree=4150076/4192956 [pid=5552] ppid=5550 vsize=144120 CPUtime=1241.93 /proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 35050 0 0 0 124164 29 0 0 25 0 1 0 312362744 147578880 34937 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5552/statm: 36030 34937 139 317 0 35709 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 144120 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 5553 /proc/meminfo: memFree=1668856/2055920 swapFree=4150076/4192956 [pid=5552] ppid=5550 vsize=147120 CPUtime=1301.91 /proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 35879 0 0 0 130161 30 0 0 25 0 1 0 312362744 150650880 35766 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5552/statm: 36780 35766 139 317 0 36459 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 147120 [startup+1362.3 s] /proc/loadavg: 1.05 1.00 0.91 2/78 5553 /proc/meminfo: memFree=1665784/2055920 swapFree=4150076/4192956 [pid=5552] ppid=5550 vsize=150116 CPUtime=1361.89 /proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 36641 0 0 0 136158 31 0 0 25 0 1 0 312362744 153718784 36528 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718322 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5552/statm: 37529 36528 139 317 0 37208 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 150116 [startup+1422.31 s] /proc/loadavg: 1.02 1.00 0.91 2/78 5553 /proc/meminfo: memFree=1663416/2055920 swapFree=4150076/4192956 [pid=5552] ppid=5550 vsize=152440 CPUtime=1421.88 /proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 37210 0 0 0 142156 32 0 0 25 0 1 0 312362744 156098560 37097 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5552/statm: 38110 37097 139 317 0 37789 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 152440 [startup+1482.3 s] /proc/loadavg: 1.06 1.01 0.92 2/78 5553 /proc/meminfo: memFree=1661112/2055920 swapFree=4150076/4192956 [pid=5552] ppid=5550 vsize=155228 CPUtime=1481.85 /proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 37788 0 0 0 148153 32 0 0 25 0 1 0 312362744 158953472 37675 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5552/statm: 38807 37676 139 317 0 38486 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 155228 [startup+1542.3 s] /proc/loadavg: 1.06 1.02 0.93 2/78 5553 /proc/meminfo: memFree=1658808/2055920 swapFree=4150076/4192956 [pid=5552] ppid=5550 vsize=157100 CPUtime=1541.84 /proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 38356 0 0 0 154151 33 0 0 25 0 1 0 312362744 160870400 38243 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5552/statm: 39275 38243 139 317 0 38954 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 157100 [startup+1602.3 s] /proc/loadavg: 1.06 1.03 0.93 2/78 5553 /proc/meminfo: memFree=1656504/2055920 swapFree=4150076/4192956 [pid=5552] ppid=5550 vsize=159156 CPUtime=1601.82 /proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 38954 0 0 0 160149 33 0 0 25 0 1 0 312362744 162975744 38841 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5552/statm: 39789 38841 139 317 0 39468 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 159156 [startup+1662.3 s] /proc/loadavg: 1.05 1.04 0.94 2/78 5553 /proc/meminfo: memFree=1655992/2055920 swapFree=4150076/4192956 [pid=5552] ppid=5550 vsize=159528 CPUtime=1661.8 /proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 39068 0 0 0 166147 33 0 0 25 0 1 0 312362744 163356672 38955 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563989 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5552/statm: 39882 38955 139 317 0 39561 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 159528 Solver just ended. Dumping a history of the last processes samples [startup+1663.9 s] /proc/loadavg: 1.05 1.04 0.94 3/78 5553 /proc/meminfo: memFree=1655992/2055920 swapFree=4150076/4192956 [pid=5552] ppid=5550 vsize=159528 CPUtime=1663.4 /proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 39068 0 0 0 166307 33 0 0 25 0 1 0 312362744 163356672 38955 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5552/statm: 39882 38955 139 317 0 39561 0 Current children cumulated CPU time (s) 1663.4 Current children cumulated vsize (KiB) 159528 [startup+1689.5 s] /proc/loadavg: 1.09 1.05 0.94 2/78 5555 /proc/meminfo: memFree=1655864/2055920 swapFree=4150076/4192956 [pid=5552] ppid=5550 vsize=159664 CPUtime=1689 /proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 39101 0 0 0 168866 34 0 0 25 0 1 0 312362744 163495936 38988 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5552/statm: 39916 38988 139 317 0 39595 0 Current children cumulated CPU time (s) 1689 Current children cumulated vsize (KiB) 159664 [startup+1702.3 s] /proc/loadavg: 1.07 1.04 0.94 2/78 5555 /proc/meminfo: memFree=1655864/2055920 swapFree=4150076/4192956 [pid=5552] ppid=5550 vsize=159664 CPUtime=1701.8 /proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 39101 0 0 0 170146 34 0 0 25 0 1 0 312362744 163495936 38988 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5552/statm: 39916 38988 139 317 0 39595 0 Current children cumulated CPU time (s) 1701.8 Current children cumulated vsize (KiB) 159664 [startup+1708.7 s] /proc/loadavg: 1.07 1.04 0.94 2/78 5555 /proc/meminfo: memFree=1655864/2055920 swapFree=4150076/4192956 [pid=5552] ppid=5550 vsize=159664 CPUtime=1708.19 /proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 39101 0 0 0 170785 34 0 0 25 0 1 0 312362744 163495936 38988 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5552/statm: 39916 38988 139 317 0 39595 0 Current children cumulated CPU time (s) 1708.19 Current children cumulated vsize (KiB) 159664 [startup+1711.9 s] /proc/loadavg: 1.06 1.04 0.94 2/78 5555 /proc/meminfo: memFree=1655864/2055920 swapFree=4150076/4192956 [pid=5552] ppid=5550 vsize=159664 CPUtime=1711.39 /proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 39101 0 0 0 171105 34 0 0 25 0 1 0 312362744 163495936 38988 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5552/statm: 39916 38988 139 317 0 39595 0 Current children cumulated CPU time (s) 1711.39 Current children cumulated vsize (KiB) 159664 [startup+1712.71 s] /proc/loadavg: 1.06 1.04 0.94 2/78 5555 /proc/meminfo: memFree=1655864/2055920 swapFree=4150076/4192956 [pid=5552] ppid=5550 vsize=159664 CPUtime=1712.2 /proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 39101 0 0 0 171186 34 0 0 25 0 1 0 312362744 163495936 38988 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5552/statm: 39916 38988 139 317 0 39595 0 Current children cumulated CPU time (s) 1712.2 Current children cumulated vsize (KiB) 159664 [startup+1713.5 s] /proc/loadavg: 1.06 1.04 0.94 2/78 5555 /proc/meminfo: memFree=1655864/2055920 swapFree=4150076/4192956 [pid=5552] ppid=5550 vsize=159664 CPUtime=1712.99 /proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 39101 0 0 0 171265 34 0 0 25 0 1 0 312362744 163495936 38988 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718451 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5552/statm: 39916 38988 139 317 0 39595 0 Current children cumulated CPU time (s) 1712.99 Current children cumulated vsize (KiB) 159664 [startup+1713.9 s] /proc/loadavg: 1.06 1.04 0.94 2/78 5555 /proc/meminfo: memFree=1655864/2055920 swapFree=4150076/4192956 [pid=5552] ppid=5550 vsize=159664 CPUtime=1713.39 /proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 39101 0 0 0 171305 34 0 0 25 0 1 0 312362744 163495936 38988 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5552/statm: 39916 38988 139 317 0 39595 0 Current children cumulated CPU time (s) 1713.39 Current children cumulated vsize (KiB) 159664 [startup+1714 s] /proc/loadavg: 1.06 1.04 0.94 2/78 5555 /proc/meminfo: memFree=1655864/2055920 swapFree=4150076/4192956 [pid=5552] ppid=5550 vsize=159664 CPUtime=1713.49 /proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 39101 0 0 0 171315 34 0 0 25 0 1 0 312362744 163495936 38988 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5552/statm: 39916 38988 139 317 0 39595 0 Current children cumulated CPU time (s) 1713.49 Current children cumulated vsize (KiB) 159664 Child status: 0 Real time (s): 1714.09 CPU time (s): 1713.59 CPU user time (s): 1713.22 CPU system time (s): 0.371943 CPU usage (%): 99.9707 Max. virtual memory (cumulated for all children) (KiB): 159664 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1713.22 system time used= 0.371943 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 39131 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= 8 involuntary context switches= 35398 runsolver used 1.49277 second user time and 3.88941 second system time The end
Begin job on node5 on Sat May 5 11:07:31 UTC 2007 IDJOB= 456797 IDBENCH= 48298 IDSOLVER= 172 FILE ID= node5/456797-1178363251 PBS_JOBID= 5188989 Free space on /tmp= 66563 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_500_10_5_15.opb COMMAND LINE= oree /tmp/evaluation/456797-1178363251/instance-456797-1178363251.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node5/convwatcher-456797-1178363251 -o ROOT/results/node5/conversion-456797-1178363251 -C 600 -M 1800 /tmp/evaluation/456797-1178363251/substituteSizeProductKeyword /tmp/evaluation/456797-1178363251/instance-456797-1178363251.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-456797-1178363251 -o ROOT/results/node5/solver-456797-1178363251 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/456797-1178363251/instance-456797-1178363251.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 5332756aaf3462bb729ff5c6a427694c RANDOM SEED= 147551063 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node5.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.232 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.232 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: 1812120 kB Buffers: 37828 kB Cached: 124244 kB SwapCached: 11192 kB Active: 120380 kB Inactive: 66748 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1812120 kB SwapTotal: 4192956 kB SwapFree: 4150076 kB Dirty: 1692 kB Writeback: 0 kB Mapped: 32012 kB Slab: 42328 kB Committed_AS: 13909384 kB PageTables: 1724 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= 66563 MiB End job on node5 on Sat May 5 11:36:05 UTC 2007