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