Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
glpPB 0.2 | OPT | -98107 | 47.1458 | 47.1624 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib/normalized-reduced-mps-v2-20-10-p6000.opb |
MD5SUM | e2f15e37dec17456fb4044387114eb48 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -98107 |
Best CPU time to get the best result obtained on this benchmark | 47.1458 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -98107 |
Optimality of the best value was proved | YES |
Number of variables | 6000 |
Total number of constraints | 2171 |
Number of constraints which are clauses | 222 |
Number of constraints which are cardinality constraints (but not clauses) | 1914 |
Number of constraints which are nor clauses,nor cardinality constraints | 35 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 5998 |
Number of terms in the objective function | 5995 |
Biggest coefficient in the objective function | 3684 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 527319 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 25616 |
Number of bits of the biggest number in a constraint | 15 |
Biggest sum of numbers in a constraint | 527319 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c glpPB 0.2 (July 2006) 0.00 c An Application of GLPK 4.10 for PB Constraints 0.00 c Done @ University of Michigan, Ann Arbor, MI 0.00 c by Hossein Sheini 47.15 c starting to Solve 47.15 c total time = 47.14 47.15 o -98107 47.15 c quality of integer solution is H 47.15 s OPTIMUM FOUND 47.15 v -x1 -x1112 -x2223 -x3334 -x4445 -x5556 -x5668 -x5779 -x5890 -x2 -x113 -x224 -x335 -x446 -x557 -x668 -x779 -x890 -x1001 -x1113 47.15 v -x1224 -x1335 -x1446 -x1557 -x1668 -x1779 -x1890 -x2001 -x2112 -x2224 -x2335 -x2446 -x2557 -x2668 -x2779 -x2890 -x3001 47.15 v -x3112 -x3223 -x3335 -x3446 -x3557 -x3668 -x3779 -x3890 -x4001 x4112 -x4223 -x4334 -x4446 -x4557 -x4668 -x4779 -x4890 47.15 v -x5001 -x5112 -x5223 -x5334 -x5445 -x5557 -x5569 -x5580 -x5591 -x5602 -x5613 -x5624 -x5635 -x5646 -x5657 -x5669 -x5680 47.15 v -x5691 -x5702 -x5713 -x5724 -x5735 -x5746 -x5757 -x5768 -x5780 -x5791 -x5802 -x5813 -x5824 -x5835 -x5846 -x5857 -x5868 47.15 v -x5879 -x5891 -x5902 -x5913 -x5924 -x5935 -x5946 -x5957 -x5968 -x5979 -x5990 -x3 -x14 -x25 -x36 -x47 -x58 -x69 -x80 -x91 47.15 v -x102 -x114 -x125 -x136 -x147 -x158 -x169 -x180 -x191 -x202 -x213 -x225 -x236 -x247 -x258 -x269 -x280 -x291 -x302 -x313 -x324 47.15 v -x336 -x347 -x358 -x369 -x380 -x391 -x402 -x413 -x424 -x435 -x447 -x458 x469 -x480 -x491 -x502 -x513 -x524 -x535 -x546 -x558 47.15 v -x569 -x580 -x591 -x602 -x613 -x624 -x635 -x646 -x657 -x669 -x680 -x691 -x702 -x713 -x724 -x735 -x746 -x757 -x768 -x780 -x791 47.15 v -x802 -x813 -x824 -x835 -x846 -x857 -x868 -x879 -x891 -x902 -x913 -x924 -x935 -x946 -x957 -x968 -x979 -x990 -x1002 -x1013 47.15 v -x1024 -x1035 -x1046 -x1057 -x1068 -x1079 -x1090 -x1101 -x1114 -x1125 -x1136 -x1147 -x1158 -x1169 -x1180 -x1191 -x1202 47.15 v -x1213 -x1225 -x1236 -x1247 -x1258 -x1269 -x1280 -x1291 -x1302 -x1313 -x1324 -x1336 -x1347 -x1358 -x1369 -x1380 -x1391 47.15 v -x1402 -x1413 -x1424 -x1435 -x1447 -x1458 -x1469 -x1480 -x1491 -x1502 -x1513 -x1524 -x1535 x1546 -x1558 -x1569 -x1580 47.15 v -x1591 -x1602 -x1613 -x1624 -x1635 -x1646 -x1657 -x1669 x1680 -x1691 -x1702 x1713 -x1724 -x1735 -x1746 x1757 -x1768 -x1780 47.15 v x1791 x1802 -x1813 -x1824 -x1835 -x1846 x1857 -x1868 x1879 -x1891 x1902 -x1913 -x1924 -x1935 x1946 -x1957 -x1968 x1979 47.15 v -x1990 -x2002 x2013 -x2024 -x2035 -x2046 -x2057 -x2068 -x2079 -x2090 -x2101 x2113 -x2124 -x2135 x2146 -x2157 -x2168 -x2179 47.15 v x2190 x2201 -x2212 -x2225 x2236 -x2247 -x2258 -x2269 -x2280 x2291 x2302 -x2313 -x2324 -x2336 x2347 -x2358 -x2369 -x2380 47.15 v x2391 -x2402 -x2413 x2424 -x2435 x2447 -x2458 x2469 -x2480 -x2491 x2502 -x2513 -x2524 -x2535 -x2546 x2558 -x2569 -x2580 47.15 v x2591 x2602 -x2613 -x2624 x2635 -x2646 -x2657 x2669 -x2680 -x2691 -x2702 x2713 -x2724 x2735 -x2746 -x2757 -x2768 -x2780 47.15 v x2791 -x2802 -x2813 x2824 x2835 -x2846 -x2857 x2868 -x2879 -x2891 -x2902 x2913 -x2924 -x2935 x2946 -x2957 -x2968 x2979 47.15 v -x2990 -x3002 x3013 -x3024 x3035 -x3046 -x3057 -x3068 x3079 -x3090 -x3101 x3113 -x3124 x3135 -x3146 -x3157 -x3168 -x3179 47.15 v x3190 x3201 -x3212 -x3224 -x3235 -x3246 x3257 -x3268 -x3279 x3290 -x3301 x3312 -x3323 -x3336 x3347 -x3358 x3369 -x3380 47.15 v -x3391 x3402 -x3413 -x3424 -x3435 -x3447 x3458 -x3469 -x3480 x3491 -x3502 -x3513 x3524 -x3535 -x3546 x3558 x3569 -x3580 47.15 v -x3591 -x3602 -x3613 x3624 -x3635 x3646 -x3657 -x3669 x3680 -x3691 -x3702 -x3713 x3724 -x3735 x3746 -x3757 -x3768 -x3780 47.15 v -x3791 x3802 -x3813 -x3824 x3835 -x3846 -x3857 x3868 -x3879 -x3891 -x3902 x3913 -x3924 -x3935 x3946 -x3957 x3968 -x3979 47.15 v -x3990 x4002 -x4013 -x4024 -x4035 x4046 -x4057 -x4068 -x4079 x4090 x4101 -x4113 -x4124 -x4135 -x4146 x4157 x4168 -x4179 47.15 v -x4190 -x4201 -x4212 x4224 x4235 -x4246 -x4257 x4268 -x4279 -x4290 -x4301 -x4312 x4323 -x4335 x4346 -x4357 -x4368 x4379 47.15 v -x4390 -x4401 x4412 -x4423 -x4434 x4447 -x4458 x4469 -x4480 -x4491 -x4502 -x4513 x4524 -x4535 -x4546 x4558 -x4569 x4580 47.15 v -x4591 -x4602 -x4613 -x4624 -x4635 -x4646 -x4657 -x4669 -x4680 -x4691 x4702 -x4713 -x4724 -x4735 -x4746 -x4757 -x4768 47.15 v -x4780 -x4791 -x4802 -x4813 -x4824 -x4835 -x4846 x4857 x4868 -x4879 -x4891 -x4902 -x4913 -x4924 -x4935 -x4946 -x4957 -x4968 47.15 v -x4979 -x4990 -x5002 -x5013 -x5024 x5035 -x5046 -x5057 -x5068 -x5079 -x5090 -x5101 -x5113 -x5124 -x5135 -x5146 x5157 -x5168 47.15 v x5179 -x5190 -x5201 -x5212 x5224 -x5235 x5246 -x5257 -x5268 x5279 -x5290 x5301 -x5312 -x5323 -x5335 x5346 -x5357 x5368 47.15 v -x5379 -x5390 -x5401 -x5412 -x5423 x5434 -x5446 -x5457 x5468 -x5479 -x5490 -x5501 -x5512 x5523 x5534 -x5545 -x5558 -x5560 47.15 v x5561 -x5562 -x5563 -x5564 -x5565 -x5566 x5567 -x5568 x5570 -x5571 -x5572 -x5573 x5574 -x5575 -x5576 x5577 -x5578 x5579 47.15 v -x5581 -x5582 x5583 -x5584 -x5585 -x5586 -x5587 x5588 -x5589 -x5590 -x5592 -x5593 -x5594 x5595 -x5596 x5597 -x5598 -x5599 47.15 v -x5600 -x5601 -x5603 -x5604 -x5605 -x5606 -x5607 x5608 -x5609 -x5610 x5611 x5612 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 47.15 v -x5620 -x5621 -x5622 x5623 -x5625 -x5626 x5627 -x5628 x5629 -x5630 -x5631 -x5632 -x5633 x5634 -x5636 x5637 -x5638 -x5639 47.15 v -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5647 x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 x5656 -x5658 -x5659 47.15 v x5660 -x5661 -x5662 -x5663 x5664 -x5665 -x5666 x5667 x5670 -x5671 -x5672 -x5673 x5674 -x5675 -x5676 -x5677 -x5678 -x5679 47.15 v -x5681 -x5682 -x5683 -x5684 x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5692 -x5693 x5694 -x5695 x5696 -x5697 -x5698 -x5699 47.15 v -x5700 -x5701 -x5703 x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5714 x5715 -x5716 x5717 -x5718 -x5719 47.15 v -x5720 x5721 -x5722 -x5723 -x5725 -x5726 x5727 -x5728 -x5729 -x5730 x5731 -x5732 x5733 -x5734 -x5736 x5737 -x5738 -x5739 47.15 v -x5740 -x5741 x5742 -x5743 -x5744 -x5745 -x5747 x5748 -x5749 -x5750 -x5751 -x5752 x5753 -x5754 x5755 -x5756 -x5758 -x5759 47.15 v x5760 -x5761 -x5762 -x5763 x5764 -x5765 -x5766 -x5767 -x5769 -x5770 -x5771 x5772 -x5773 -x5774 -x5775 x5776 -x5777 -x5778 47.15 v -x5781 -x5782 x5783 -x5784 -x5785 x5786 -x5787 -x5788 -x5789 -x5790 -x5792 -x5793 -x5794 x5795 -x5796 -x5797 -x5798 -x5799 47.15 v -x5800 -x5801 -x5803 -x5804 x5805 -x5806 -x5807 -x5808 -x5809 x5810 -x5811 -x5812 -x5814 -x5815 -x5816 -x5817 -x5818 x5819 47.15 v -x5820 -x5821 -x5822 x5823 -x5825 x5826 -x5827 -x5828 -x5829 x5830 -x5831 -x5832 -x5833 -x5834 -x5836 -x5837 -x5838 -x5839 47.15 v -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5858 47.15 v -x5859 -x5860 x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5869 -x5870 x5871 -x5872 -x5873 -x5874 -x5875 -x5876 x5877 47.15 v x5878 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 x5892 -x5893 -x5894 -x5895 -x5896 x5897 -x5898 47.15 v x5899 -x5900 -x5901 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 x5911 -x5912 x5914 -x5915 -x5916 -x5917 -x5918 47.15 v -x5919 -x5920 -x5921 -x5922 -x5923 -x5925 -x5926 x5927 -x5928 -x5929 -x5930 x5931 -x5932 -x5933 x5934 -x5936 -x5937 -x5938 47.15 v -x5939 -x5940 -x5941 x5942 -x5943 -x5944 x5945 -x5947 -x5948 -x5949 -x5950 x5951 -x5952 -x5953 -x5954 -x5955 x5956 -x5958 47.15 v -x5959 -x5960 x5961 x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5969 x5970 -x5971 -x5972 -x5973 -x5974 -x5975 x5976 -x5977 47.15 v -x5978 x5980 -x5981 x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 47.15 v -x5998 x5999 -x6000 -x4 x5 -x6 -x7 -x8 x9 x10 -x11 -x12 -x13 x15 -x16 -x17 -x18 x19 x20 -x21 -x22 -x23 -x24 -x26 -x27 -x28 -x29 47.15 v -x30 x31 -x32 x33 -x34 -x35 -x37 -x38 -x39 -x40 -x41 x42 -x43 -x44 -x45 -x46 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x59 47.15 v -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x70 -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x81 -x82 -x83 -x84 -x85 -x86 -x87 47.15 v x88 -x89 x90 -x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 -x100 -x101 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x115 47.15 v -x116 x117 -x118 -x119 x120 -x121 -x122 -x123 -x124 x126 -x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x137 -x138 47.15 v -x139 -x140 -x141 x142 -x143 -x144 x145 -x146 x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 x157 -x159 x160 -x161 -x162 47.15 v -x163 -x164 x165 -x166 -x167 x168 x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x181 -x182 -x183 -x184 -x185 47.15 v -x186 -x187 x188 x189 -x190 -x192 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x203 x204 -x205 -x206 -x207 -x208 47.15 v -x209 -x210 x211 -x212 -x214 -x215 -x216 -x217 -x218 x219 -x220 -x221 -x222 x223 -x226 -x227 -x228 -x229 -x230 -x231 x232 47.15 v -x233 -x234 -x235 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x248 -x249 -x250 -x251 -x252 x253 -x254 -x255 47.15 v -x256 x257 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x270 -x271 -x272 -x273 -x274 -x275 -x276 x277 -x278 47.15 v -x279 -x281 -x282 -x283 -x284 -x285 -x286 x287 -x288 -x289 -x290 -x292 -x293 x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 47.15 v x303 -x304 -x305 -x306 -x307 -x308 x309 -x310 -x311 -x312 -x314 -x315 -x316 -x317 -x318 -x319 -x320 x321 -x322 -x323 x325 47.15 v -x326 x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x348 -x349 47.15 v x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x370 -x371 -x372 47.15 v -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x392 -x393 -x394 -x395 47.15 v -x396 -x397 -x398 -x399 -x400 -x401 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x414 -x415 -x416 -x417 -x418 47.15 v -x419 -x420 -x421 -x422 -x423 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x436 x437 -x438 -x439 -x440 -x441 47.15 v -x442 -x443 -x444 -x445 -x448 -x449 -x450 -x451 -x452 -x453 -x454 x455 -x456 -x457 -x459 x460 -x461 -x462 x463 -x464 -x465 47.15 v -x466 -x467 x468 -x470 -x472 -x473 -x474 -x475 -x476 -x477 x478 -x479 -x481 -x482 -x483 -x484 -x485 -x486 x487 -x488 -x489 47.15 v -x490 -x492 -x493 -x494 -x495 -x496 -x497 -x498 x499 -x500 -x501 -x503 -x504 -x505 -x506 x507 -x508 x509 -x510 -x511 -x512 47.15 v -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 x523 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 x533 -x534 -x536 47.15 v -x537 -x538 -x539 -x540 -x541 -x542 x543 -x544 -x545 -x547 -x548 -x549 x550 -x551 -x552 -x553 -x554 -x555 -x556 -x559 -x560 47.15 v -x561 x562 -x563 -x564 -x565 -x566 -x567 x568 x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x581 -x582 -x583 47.15 v -x584 -x585 -x586 x587 -x588 -x589 -x590 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x603 -x604 -x605 -x606 47.15 v -x607 -x608 -x609 -x610 -x611 -x612 -x614 -x615 x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 x625 -x626 -x627 -x628 -x629 47.15 v -x630 -x631 -x632 -x633 -x634 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x647 -x648 -x649 -x650 -x651 -x652 47.15 v -x653 -x654 -x655 -x656 -x658 -x659 x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x670 -x671 -x672 -x673 -x674 -x675 -x676 47.15 v -x677 -x678 -x679 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 47.15 v -x700 -x701 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x714 -x715 -x716 -x717 x718 -x719 -x720 -x721 -x722 47.15 v -x723 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 x733 -x734 -x736 x737 -x738 x739 -x740 -x741 -x742 -x743 -x744 -x745 47.15 v -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 x755 -x756 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x769 47.15 v -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x792 x793 47.15 v -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x814 -x815 -x816 47.15 v -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x836 -x837 -x838 x839 47.15 v -x840 -x841 -x842 -x843 -x844 -x845 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x858 -x859 -x860 -x861 -x862 47.15 v -x863 -x864 -x865 -x866 -x867 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x880 -x881 -x882 -x883 -x884 -x885 47.15 v -x886 -x887 -x888 -x889 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x903 -x904 -x905 -x906 -x907 -x908 -x909 47.15 v -x910 -x911 -x912 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 47.15 v -x933 -x934 -x936 x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 47.15 v -x956 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x969 x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 47.15 v -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 47.15 v -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 47.15 v -x1021 -x1022 -x1023 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1036 -x1037 -x1038 -x1039 47.15 v -x1040 -x1041 -x1042 x1043 -x1044 -x1045 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1058 47.15 v -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 47.15 v -x1077 -x1078 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1091 -x1092 -x1093 -x1094 -x1095 47.15 v -x1096 -x1097 -x1098 -x1099 -x1100 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1115 -x1116 47.15 v -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 47.15 v -x1135 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 47.15 v -x1154 -x1155 -x1156 -x1157 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1170 -x1171 -x1172 47.15 v -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 47.15 v -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 47.15 v -x1210 x1211 -x1212 -x1214 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1226 -x1227 -x1228 -x1229 -x1230 47.15 v -x1231 -x1232 -x1233 -x1234 -x1235 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1248 -x1249 47.15 v -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 47.15 v -x1268 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 47.15 v -x1287 -x1288 -x1289 -x1290 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1303 -x1304 -x1305 47.15 v -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 x1312 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 47.15 v -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1337 -x1338 -x1339 -x1340 x1341 -x1342 -x1343 47.15 v -x1344 -x1345 -x1346 -x1348 -x1349 -x1350 x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1359 -x1360 -x1361 -x1362 47.15 v -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1381 47.15 v -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 47.15 v -x1400 -x1401 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1414 -x1415 -x1416 -x1417 -x1418 47.15 v -x1419 -x1420 -x1421 -x1422 -x1423 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1436 -x1437 47.15 v -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 47.15 v -x1457 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 47.15 v -x1476 -x1477 -x1478 -x1479 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1492 -x1493 -x1494 47.15 v -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 47.15 v -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 47.15 v -x1532 -x1533 -x1534 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1547 -x1548 -x1549 -x1550 47.15 v -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1570 47.15 v -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 47.15 v -x1589 -x1590 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1603 -x1604 -x1605 -x1606 -x1607 47.15 v -x1608 -x1609 -x1610 -x1611 -x1612 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1625 -x1626 47.15 v -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 47.15 v -x1645 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 47.15 v -x1664 -x1665 -x1666 -x1667 -x1670 -x1671 -x1672 -x1673 x1674 -x1675 x1676 -x1677 -x1678 -x1679 -x1681 -x1682 -x1683 -x1684 47.15 v -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1703 47.15 v x1704 -x1705 x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 47.15 v -x1723 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 x1733 -x1734 -x1736 -x1737 x1738 -x1739 -x1740 x1741 -x1742 47.15 v -x1743 x1744 -x1745 -x1747 -x1748 x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 x1756 -x1758 -x1759 x1760 -x1761 -x1762 47.15 v -x1763 -x1764 -x1765 -x1766 x1767 -x1769 -x1770 x1771 -x1772 -x1773 x1774 x1775 -x1776 -x1777 x1778 -x1781 -x1782 -x1783 47.15 v -x1784 x1785 -x1786 x1787 -x1788 -x1789 -x1790 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 x1799 -x1800 -x1801 -x1803 47.15 v x1804 -x1805 -x1806 -x1807 x1808 -x1809 -x1810 -x1811 -x1812 -x1814 x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 x1822 47.15 v -x1823 -x1825 -x1826 -x1827 -x1828 x1829 -x1830 -x1831 -x1832 x1833 -x1834 -x1836 -x1837 -x1838 -x1839 -x1840 x1841 -x1842 47.15 v x1843 -x1844 -x1845 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1858 -x1859 -x1860 -x1861 47.15 v -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1869 -x1870 x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 x1880 -x1881 47.15 v -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 x1892 -x1893 -x1894 -x1895 x1896 -x1897 -x1898 -x1899 -x1900 -x1901 47.15 v -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 47.15 v -x1921 -x1922 -x1923 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1936 -x1937 -x1938 -x1939 47.15 v -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1958 47.15 v -x1959 x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 47.15 v -x1977 -x1978 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1989 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 47.15 v -x1997 -x1998 -x1999 -x2000 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2014 -x2015 -x2016 47.15 v -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 47.15 v -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 47.15 v -x2054 -x2055 -x2056 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2069 -x2070 -x2071 -x2072 47.15 v -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2080 -x2081 x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 x2091 -x2092 47.15 v -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 47.15 v -x2111 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 47.15 v -x2131 -x2132 -x2133 -x2134 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2147 -x2148 -x2149 47.15 v -x2150 -x2151 -x2152 -x2153 x2154 -x2155 -x2156 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 47.15 v -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2176 -x2177 -x2178 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 47.15 v -x2188 -x2189 -x2191 -x2192 x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2202 -x2203 -x2204 -x2205 -x2206 47.15 v -x2207 -x2208 -x2209 -x2210 -x2211 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2226 -x2227 47.15 v -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 47.15 v -x2246 -x2248 -x2249 -x2250 -x2251 -x2252 x2253 -x2254 -x2255 -x2256 -x2257 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 47.15 v -x2265 -x2266 -x2267 -x2268 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2281 -x2282 -x2283 47.15 v -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 47.15 v -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 x2310 -x2311 -x2312 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 47.15 v -x2321 -x2322 -x2323 -x2325 -x2326 -x2327 -x2328 -x2329 x2330 -x2331 -x2332 -x2333 -x2334 -x2337 -x2338 -x2339 -x2340 47.15 v -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 x2359 47.15 v -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 47.15 v -x2378 -x2379 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2392 -x2393 -x2394 -x2395 -x2396 47.15 v -x2397 -x2398 -x2399 -x2400 -x2401 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2414 -x2415 47.15 v -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 47.15 v -x2434 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 47.15 v -x2454 -x2455 -x2456 -x2457 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2470 -x2471 -x2472 47.15 v -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 47.15 v -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 47.15 v -x2510 -x2511 -x2512 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2525 -x2526 -x2527 -x2528 47.15 v -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2547 47.15 v -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 47.15 v -x2567 -x2568 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2581 -x2582 -x2583 -x2584 -x2585 47.15 v -x2586 -x2587 -x2588 -x2589 -x2590 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2603 -x2604 47.15 v -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 47.15 v -x2623 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 47.15 v -x2642 -x2643 -x2644 x2645 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2658 -x2659 -x2660 47.15 v -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2670 x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 47.15 v -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 47.15 v -x2699 -x2700 -x2701 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 x2709 -x2710 -x2711 -x2712 -x2714 -x2715 -x2716 -x2717 47.15 v -x2718 -x2719 -x2720 x2721 -x2722 -x2723 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2736 47.15 v -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 x2754 47.15 v -x2755 -x2756 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2769 -x2770 -x2771 -x2772 -x2773 47.15 v -x2774 -x2775 -x2776 -x2777 -x2778 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2792 -x2793 47.15 v -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 47.15 v -x2812 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 47.15 v -x2831 -x2832 -x2833 -x2834 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2847 -x2848 -x2849 47.15 v -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2858 x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 47.15 v -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 47.15 v -x2887 -x2888 -x2889 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 x2898 -x2899 -x2900 -x2901 -x2903 -x2904 -x2905 -x2906 47.15 v -x2908 -x2909 -x2910 -x2911 -x2912 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2925 -x2926 47.15 v -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 x2943 -x2944 47.15 v -x2945 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 47.15 v -x2964 -x2965 -x2966 -x2967 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2980 -x2981 -x2982 47.15 v -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 47.15 v -x3003 -x3004 -x3005 x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 47.15 v -x3021 -x3022 -x3023 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 x3031 -x3032 -x3033 -x3034 -x3036 -x3037 -x3038 -x3039 47.15 v -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3058 47.15 v -x3059 x3060 -x3061 -x3062 -x3063 x3064 -x3065 -x3066 x3067 -x3069 x3070 -x3071 -x3072 -x3073 x3074 x3075 -x3076 -x3077 47.15 v -x3078 -x3080 x3081 -x3082 -x3083 x3084 -x3085 -x3086 x3087 -x3088 -x3089 x3091 -x3092 -x3093 x3094 -x3095 x3096 -x3097 47.15 v -x3098 -x3099 x3100 -x3102 -x3103 x3104 x3105 -x3106 -x3107 -x3108 x3109 -x3110 -x3111 x3114 -x3115 -x3116 -x3117 x3118 47.15 v x3119 -x3120 -x3121 x3122 -x3123 -x3125 -x3126 x3127 -x3128 -x3129 x3130 -x3131 x3132 -x3133 -x3134 -x3136 -x3137 x3138 47.15 v -x3139 x3140 -x3141 -x3142 x3143 -x3144 -x3145 -x3147 x3148 x3149 -x3150 -x3151 -x3152 -x3153 x3154 -x3155 x3156 -x3158 47.15 v x3159 -x3160 -x3161 -x3162 x3163 -x3164 -x3165 x3166 -x3167 -x3169 -x3170 x3171 x3172 -x3173 -x3174 x3175 -x3176 -x3177 47.15 v -x3178 x3180 -x3181 -x3182 -x3183 x3184 x3185 -x3186 -x3187 x3188 -x3189 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 47.15 v -x3198 -x3199 -x3200 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3213 -x3214 -x3215 -x3216 47.15 v -x3217 -x3218 x3219 -x3220 -x3221 -x3222 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3236 47.15 v -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3247 -x3248 x3249 -x3250 -x3251 -x3252 -x3253 -x3254 47.15 v -x3255 -x3256 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3269 -x3270 -x3271 -x3272 -x3273 47.15 v -x3274 -x3275 -x3276 -x3277 x3278 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3291 x3292 -x3293 47.15 v -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3302 x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 47.15 v -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 47.15 v -x3331 -x3332 -x3333 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3348 -x3349 -x3350 -x3351 47.15 v -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 x3366 -x3367 -x3368 -x3370 47.15 v -x3371 -x3372 x3373 -x3374 -x3375 x3376 x3377 -x3378 x3379 -x3381 -x3382 x3383 x3384 -x3385 -x3386 x3387 x3388 -x3389 x3390 47.15 v -x3392 x3393 -x3394 -x3395 x3396 -x3397 x3398 -x3399 x3400 x3401 -x3403 x3404 -x3405 -x3406 x3407 -x3408 x3409 -x3410 x3411 47.15 v -x3412 x3414 -x3415 x3416 x3417 -x3418 -x3419 x3420 x3421 -x3422 -x3423 x3425 -x3426 x3427 x3428 -x3429 -x3430 x3431 -x3432 47.15 v x3433 x3434 -x3436 x3437 -x3438 x3439 -x3440 x3441 -x3442 -x3443 x3444 -x3445 x3448 x3449 -x3450 x3451 -x3452 x3453 -x3454 47.15 v -x3455 x3456 -x3457 x3459 -x3460 x3461 -x3462 x3463 x3464 -x3465 -x3466 -x3467 -x3468 -x3470 -x3471 -x3472 -x3473 -x3474 47.15 v -x3475 -x3476 -x3477 -x3478 -x3479 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3492 -x3493 47.15 v -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 47.15 v -x3512 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 47.15 v -x3531 -x3532 -x3533 -x3534 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3547 -x3548 -x3549 47.15 v -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 x3567 -x3568 47.15 v x3570 -x3571 -x3572 -x3573 x3574 -x3575 -x3576 x3577 -x3578 -x3579 -x3581 x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 47.15 v x3589 -x3590 -x3592 -x3593 -x3594 -x3595 x3596 -x3597 -x3598 -x3599 -x3600 x3601 -x3603 x3604 -x3605 -x3606 -x3607 -x3608 47.15 v -x3609 -x3610 -x3611 x3612 -x3614 -x3615 -x3616 -x3617 x3618 -x3619 -x3620 -x3621 -x3622 -x3623 x3625 x3626 -x3627 -x3628 47.15 v -x3629 -x3630 -x3631 -x3632 x3633 x3634 -x3636 -x3637 -x3638 -x3639 x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3647 x3648 47.15 v -x3649 -x3650 -x3651 x3652 -x3653 -x3654 -x3655 -x3656 -x3658 x3659 -x3660 x3661 -x3662 -x3663 x3664 -x3665 -x3666 -x3667 47.15 v -x3670 -x3671 x3672 -x3673 x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3681 -x3682 x3683 -x3684 -x3685 -x3686 -x3687 -x3688 47.15 v -x3689 -x3690 x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 x3699 -x3700 -x3701 x3703 -x3704 -x3705 x3706 -x3707 -x3708 47.15 v x3709 x3710 -x3711 -x3712 -x3714 -x3715 -x3716 -x3717 -x3718 x3719 -x3720 -x3721 -x3722 -x3723 x3725 -x3726 x3727 -x3728 47.15 v -x3729 -x3730 x3731 -x3732 -x3733 -x3734 -x3736 -x3737 -x3738 -x3739 x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3747 -x3748 47.15 v x3749 x3750 -x3751 -x3752 -x3753 -x3754 -x3755 x3756 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 x3767 47.15 v -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3781 -x3782 x3783 -x3784 -x3785 -x3786 -x3787 47.15 v -x3788 -x3789 -x3790 x3792 -x3793 -x3794 -x3795 x3796 -x3797 -x3798 -x3799 x3800 -x3801 -x3803 x3804 -x3805 -x3806 -x3807 47.15 v -x3808 -x3809 -x3810 -x3811 -x3812 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 x3820 -x3821 -x3822 -x3823 -x3825 -x3826 47.15 v x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3836 -x3837 x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 x3845 47.15 v -x3847 -x3848 -x3849 -x3850 x3851 -x3852 -x3853 -x3854 -x3855 x3856 -x3858 -x3859 -x3860 -x3861 -x3862 x3863 -x3864 -x3865 47.15 v -x3866 x3867 -x3869 -x3870 -x3871 x3872 x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 47.15 v -x3886 -x3887 x3888 -x3889 x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3903 -x3904 -x3905 -x3906 47.15 v -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3914 -x3915 -x3916 x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3925 47.15 v -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 47.15 v -x3944 -x3945 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3958 -x3959 -x3960 -x3961 -x3962 47.15 v -x3963 -x3964 -x3965 -x3966 -x3967 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3980 -x3981 47.15 v -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 47.15 v -x4000 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4014 -x4015 -x4016 -x4017 -x4018 x4019 47.15 v -x4020 -x4021 -x4022 -x4023 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 x4032 -x4033 -x4034 -x4036 -x4037 -x4038 47.15 v -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 x4053 -x4054 -x4055 x4056 -x4058 47.15 v -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 47.15 v -x4077 -x4078 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4091 -x4092 -x4093 -x4094 -x4095 47.15 v -x4096 -x4097 -x4098 -x4099 -x4100 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4114 -x4115 47.15 v -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 47.15 v -x4134 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 47.15 v -x4153 -x4154 -x4155 -x4156 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4169 -x4170 x4171 47.15 v -x4172 -x4173 -x4174 x4175 -x4176 -x4177 x4178 x4180 -x4181 -x4182 -x4183 x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4191 47.15 v -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 47.15 v -x4210 -x4211 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4225 -x4226 -x4227 -x4228 -x4229 47.15 v -x4230 -x4231 -x4232 -x4233 -x4234 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4247 -x4248 47.15 v -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 47.15 v -x4267 -x4269 x4270 -x4271 -x4272 -x4273 -x4274 -x4275 x4276 -x4277 -x4278 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 47.15 v -x4287 -x4288 -x4289 x4291 -x4292 -x4293 -x4294 -x4295 -x4296 x4297 -x4298 -x4299 -x4300 -x4302 -x4303 -x4304 -x4305 -x4306 47.15 v -x4307 -x4308 -x4309 -x4310 -x4311 -x4313 -x4314 -x4315 -x4316 x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4324 -x4325 47.15 v -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 47.15 v -x4345 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 47.15 v -x4364 -x4365 -x4366 -x4367 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4380 -x4381 -x4382 47.15 v -x4383 x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 47.15 v -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4413 x4414 -x4415 -x4416 -x4417 -x4418 -x4419 47.15 v -x4420 -x4421 -x4422 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4435 -x4436 -x4437 -x4438 47.15 v -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4459 47.15 v -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 47.15 v -x4478 -x4479 -x4481 x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4492 -x4493 -x4494 -x4495 -x4496 47.15 v -x4497 -x4498 -x4499 -x4500 -x4501 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4514 -x4515 47.15 v -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 47.15 v -x4534 -x4536 -x4537 -x4538 -x4539 -x4540 x4541 -x4542 -x4543 -x4544 -x4545 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 47.15 v -x4553 -x4554 -x4555 -x4556 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4570 -x4571 -x4572 47.15 v -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4581 -x4582 -x4583 -x4584 -x4585 x4586 -x4587 -x4588 -x4589 -x4590 47.15 v -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 47.15 v -x4610 -x4611 -x4612 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4625 -x4626 -x4627 -x4628 47.15 v -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4647 47.15 v -x4648 x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 47.15 v -x4666 -x4667 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4681 -x4682 -x4683 -x4684 -x4685 47.15 v -x4686 -x4687 -x4688 -x4689 -x4690 -x4692 -x4693 -x4694 -x4695 -x4696 x4697 -x4698 -x4699 -x4700 -x4701 -x4703 -x4704 47.15 v -x4705 -x4706 -x4707 -x4708 -x4709 x4710 -x4711 x4712 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 47.15 v -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 47.15 v -x4743 -x4744 -x4745 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4758 -x4759 -x4760 -x4761 47.15 v -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4781 47.15 v -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 47.15 v -x4800 -x4801 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 x4812 -x4814 -x4815 -x4816 -x4817 -x4818 47.15 v -x4819 -x4820 -x4821 -x4822 -x4823 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4836 -x4837 47.15 v -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4847 -x4848 -x4849 x4850 -x4851 -x4852 -x4853 -x4854 -x4855 47.15 v -x4856 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 x4864 -x4865 -x4866 x4867 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 47.15 v -x4876 -x4877 -x4878 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4892 -x4893 -x4894 -x4895 47.15 v -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4914 47.15 v -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4925 -x4926 -x4927 -x4928 -x4929 x4930 -x4931 -x4932 47.15 v -x4933 -x4934 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4947 -x4948 -x4949 -x4950 -x4951 47.15 v -x4952 -x4953 -x4954 -x4955 -x4956 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4969 -x4970 47.15 v -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 x4978 -x4980 -x4981 -x4982 -x4983 x4984 -x4985 -x4986 -x4987 -x4988 -x4989 47.15 v -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 47.15 v -x5010 -x5011 -x5012 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5025 -x5026 -x5027 -x5028 47.15 v -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5047 47.15 v -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 47.15 v -x5066 -x5067 -x5069 -x5070 -x5071 x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5080 -x5081 -x5082 -x5083 -x5084 47.15 v -x5085 -x5086 -x5087 -x5088 -x5089 -x5091 -x5092 x5093 -x5094 -x5095 -x5096 -x5097 x5098 -x5099 -x5100 -x5102 -x5103 x5104 47.15 v -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 47.15 v -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 47.15 v -x5143 -x5144 -x5145 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5158 -x5159 -x5160 -x5161 47.15 v -x5162 x5163 -x5164 -x5165 -x5166 -x5167 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5180 47.15 v -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 47.15 v -x5199 -x5200 -x5202 -x5203 -x5204 -x5205 -x5206 x5207 -x5208 -x5209 -x5210 -x5211 -x5213 -x5214 -x5215 -x5216 -x5217 47.15 v -x5218 -x5219 -x5220 -x5221 -x5222 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5236 -x5237 47.15 v -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 47.15 v -x5256 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 47.15 v -x5275 -x5276 -x5277 -x5278 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5291 -x5292 -x5293 47.15 v -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 47.15 v -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 47.15 v -x5331 -x5332 -x5333 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5347 -x5348 -x5349 -x5350 47.15 v -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5369 47.15 v -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 47.15 v -x5388 -x5389 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5402 -x5403 -x5404 -x5405 -x5406 47.15 v -x5407 -x5408 -x5409 -x5410 -x5411 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5424 -x5425 47.15 v -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 47.15 v -x5444 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 47.15 v -x5464 -x5465 -x5466 -x5467 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5480 -x5481 -x5482 47.15 v -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 47.15 v -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 47.15 v -x5520 -x5521 -x5522 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5535 -x5536 -x5537 -x5538 47.15 v -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5559 47.15 v -x471 -x1215 -x1988 -x2175 -x2907
OK -98107
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node46/watcher-85082-1154164575 -o ROOT/results/node46/solver-85082-1154164575 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node46/85082-1154164575/instance-85082-1154164575.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.82 0.93 0.90 3/64 22849 /proc/meminfo: memFree=1504880/2055920 swapFree=4181624/4192956 [pid=22849] ppid=22847 vsize=2664 CPUtime=0 /proc/22849/stat : 22849 (glpPBv3) R 22847 22849 22800 0 -1 0 261 0 0 0 0 0 0 0 18 0 1 0 163328789 2727936 231 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 12177111 0 0 4096 0 0 0 0 17 1 0 0 /proc/22849/statm: 666 231 192 40 0 83 0 [startup+10.003 s] /proc/loadavg: 0.84 0.93 0.90 2/64 22849 /proc/meminfo: memFree=1498808/2055920 swapFree=4181624/4192956 [pid=22849] ppid=22847 vsize=9100 CPUtime=10 /proc/22849/stat : 22849 (glpPBv3) R 22847 22849 22800 0 -1 0 57147 0 0 0 973 27 0 0 25 0 1 0 163328789 9318400 1897 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 12177111 0 0 4096 0 0 0 0 17 1 0 0 /proc/22849/statm: 2275 1897 227 40 0 1692 0 Current children cumulated CPU time (s) 10 Current children cumulated vsize (Kb) 9100 [startup+20.0091 s] /proc/loadavg: 0.87 0.93 0.90 2/64 22849 /proc/meminfo: memFree=1497408/2055920 swapFree=4181624/4192956 [pid=22849] ppid=22847 vsize=8896 CPUtime=20 /proc/22849/stat : 22849 (glpPBv3) R 22847 22849 22800 0 -1 0 143584 0 0 0 1930 70 0 0 25 0 1 0 163328789 9109504 1866 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629283 0 0 4096 0 0 0 0 17 1 0 0 /proc/22849/statm: 2224 1866 227 40 0 1641 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 8896 [startup+30.0152 s] /proc/loadavg: 0.89 0.94 0.90 2/64 22849 /proc/meminfo: memFree=1497920/2055920 swapFree=4181624/4192956 [pid=22849] ppid=22847 vsize=9076 CPUtime=30 /proc/22849/stat : 22849 (glpPBv3) R 22847 22849 22800 0 -1 0 231438 0 0 0 2888 112 0 0 25 0 1 0 163328789 9293824 1911 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134534663 0 0 4096 0 0 0 0 17 1 0 0 /proc/22849/statm: 2269 1911 227 40 0 1686 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 9076 [startup+40.0212 s] /proc/loadavg: 0.90 0.94 0.90 2/64 22849 /proc/meminfo: memFree=1497920/2055920 swapFree=4181624/4192956 [pid=22849] ppid=22847 vsize=9076 CPUtime=40 /proc/22849/stat : 22849 (glpPBv3) R 22847 22849 22800 0 -1 0 342798 0 0 0 3832 168 0 0 25 0 1 0 163328789 9293824 1911 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543497 0 0 4096 0 0 0 0 17 1 0 0 /proc/22849/statm: 2269 1911 227 40 0 1686 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 9076 Child status: 30 Real time (s): 47.1624 CPU time (s): 47.1458 CPU user time (s): 45.0152 CPU system time (s): 2.13068 CPU usage (%): 99.9648 Max. virtual memory (cumulated for all children) (Kb): 9100 The end
Begin job on node46 on Sat Jul 29 09:16:15 UTC 2006 FILE ID= 85082-1154164575 PBS_JOBID= 892856 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-p6000.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node46/85082-1154164575/instance-85082-1154164575.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node46/watcher-85082-1154164575 -o ROOT/results/node46/solver-85082-1154164575 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node46/85082-1154164575/instance-85082-1154164575.opb MD5SUM SOLVER= 29ce95346658d7502ba983059bfb8cff MD5SUM BENCH= e2f15e37dec17456fb4044387114eb48 RANDOM SEED= 877586662 TIMEOUT= 1800 seconds /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.224 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.224 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: 1505088 kB Buffers: 29692 kB Cached: 452420 kB SwapCached: 5040 kB Active: 85488 kB Inactive: 406748 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1505088 kB SwapTotal: 4192956 kB SwapFree: 4181624 kB Dirty: 272 kB Writeback: 0 kB Mapped: 14540 kB Slab: 44636 kB Committed_AS: 741544 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node46 on Sat Jul 29 09:17:02 UTC 2006