Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | -4235 | 1782.78 | 1783.42 |
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.01 c Pueblo version 1.4 (September 2005) 0.01 c Developed @ University of Michigan, Ann Arbor, MI 0.01 c by Hossein Sheini 0.14 c starting to Solve 0.14 c #variables read: 6000 - #constraints read: 2295 0.23 o 3291 0.40 o 3385 0.49 o 3466 0.58 o 3541 0.68 o 3559 0.78 o 3634 0.89 o 3704 0.98 o 3745 1.06 o 3787 1.15 o 3828 1.24 o 3858 1.32 o 3900 1.41 o 3941 1.50 o 3950 1.59 o 3992 1.67 o 4033 1.77 o 4072 1.86 o 4101 1.96 o 4111 2.05 o 4148 2.16 o 4174 2.31 o 4209 2.41 o 4235 1783.37 c total time : 1783 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 -4235
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/node73/watcher-36558-1149352133 -o ROOT/results/node73/solver-36558-1149352133 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node73/36558-1149352133/instance-36558-1149352133.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.97 0.97 3/64 26503 /proc/meminfo: memFree=1848216/2055920 swapFree=4182160/4192956 [pid=26503] ppid=26501 vsize=964 CPUtime=0 /proc/26503/stat : 26503 (Pueblo) D 26501 26503 26457 0 -1 4194304 51 0 0 0 0 0 0 0 18 0 1 0 200878106 987136 35 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 7709604 0 0 4096 0 18446744071563608240 0 0 17 1 0 0 /proc/26503/statm: 241 35 27 16 0 8 0 [startup+10.0021 s] /proc/loadavg: 0.93 0.97 0.97 2/64 26503 /proc/meminfo: memFree=1810992/2055920 swapFree=4182160/4192956 [pid=26503] ppid=26501 vsize=39724 CPUtime=9.97 /proc/26503/stat : 26503 (Pueblo) R 26501 26503 26457 0 -1 4194304 9537 0 0 0 993 4 0 0 25 0 1 0 200878106 40677376 9508 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528658 0 0 4096 0 0 0 0 17 1 0 0 /proc/26503/statm: 9931 9508 205 16 0 9372 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 39724 [startup+20.0081 s] /proc/loadavg: 0.94 0.97 0.97 2/64 26503 /proc/meminfo: memFree=1796784/2055920 swapFree=4182160/4192956 [pid=26503] ppid=26501 vsize=53876 CPUtime=19.98 /proc/26503/stat : 26503 (Pueblo) R 26501 26503 26457 0 -1 4194304 13095 0 0 0 1992 6 0 0 25 0 1 0 200878106 55169024 13066 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/26503/statm: 13469 13066 205 16 0 12910 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 53876 [startup+30.014 s] /proc/loadavg: 0.95 0.97 0.97 2/64 26503 /proc/meminfo: memFree=1788016/2055920 swapFree=4182160/4192956 [pid=26503] ppid=26501 vsize=62692 CPUtime=29.98 /proc/26503/stat : 26503 (Pueblo) R 26501 26503 26457 0 -1 4194304 15297 0 0 0 2991 7 0 0 25 0 1 0 200878106 64196608 15268 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/26503/statm: 15673 15268 205 16 0 15114 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 62692 [startup+40.02 s] /proc/loadavg: 0.95 0.97 0.97 2/64 26503 /proc/meminfo: memFree=1779504/2055920 swapFree=4182160/4192956 [pid=26503] ppid=26501 vsize=71244 CPUtime=39.98 /proc/26503/stat : 26503 (Pueblo) R 26501 26503 26457 0 -1 4194304 17418 0 0 0 3991 7 0 0 25 0 1 0 200878106 72953856 17389 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0 /proc/26503/statm: 17811 17389 205 16 0 17252 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 71244 [startup+50.026 s] /proc/loadavg: 0.96 0.97 0.97 2/64 26503 /proc/meminfo: memFree=1779504/2055920 swapFree=4182160/4192956 [pid=26503] ppid=26501 vsize=71244 CPUtime=49.98 /proc/26503/stat : 26503 (Pueblo) R 26501 26503 26457 0 -1 4194304 17418 0 0 0 4991 7 0 0 25 0 1 0 200878106 72953856 17389 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0 /proc/26503/statm: 17811 17389 205 16 0 17252 0 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 71244 [startup+60.0319 s] /proc/loadavg: 0.97 0.97 0.97 2/64 26503 /proc/meminfo: memFree=1770480/2055920 swapFree=4182160/4192956 [pid=26503] ppid=26501 vsize=80232 CPUtime=59.99 /proc/26503/stat : 26503 (Pueblo) R 26501 26503 26457 0 -1 4194304 19671 0 0 0 5990 9 0 0 25 0 1 0 200878106 82157568 19642 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/26503/statm: 20058 19642 205 16 0 19499 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 80232 [startup+70.0389 s] /proc/loadavg: 0.97 0.97 0.97 2/64 26503 /proc/meminfo: memFree=1753776/2055920 swapFree=4182160/4192956 [pid=26503] ppid=26501 vsize=96908 CPUtime=69.99 /proc/26503/stat : 26503 (Pueblo) R 26501 26503 26457 0 -1 4194304 23840 0 0 0 6988 11 0 0 25 0 1 0 200878106 99233792 23811 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/26503/statm: 24227 23811 205 16 0 23668 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 96908 [startup+80.0459 s] /proc/loadavg: 0.98 0.97 0.97 2/64 26503 /proc/meminfo: memFree=1752304/2055920 swapFree=4182160/4192956 [pid=26503] ppid=26501 vsize=98332 CPUtime=80 /proc/26503/stat : 26503 (Pueblo) R 26501 26503 26457 0 -1 4194304 24208 0 0 0 7988 12 0 0 25 0 1 0 200878106 100691968 24179 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557416 0 0 4096 0 0 0 0 17 1 0 0 /proc/26503/statm: 24583 24179 205 16 0 24024 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 98332 [startup+90.0528 s] /proc/loadavg: 0.98 0.97 0.97 2/64 26503 /proc/meminfo: memFree=1752304/2055920 swapFree=4182160/4192956 [pid=26503] ppid=26501 vsize=98332 CPUtime=90 /proc/26503/stat : 26503 (Pueblo) R 26501 26503 26457 0 -1 4194304 24208 0 0 0 8988 12 0 0 25 0 1 0 200878106 100691968 24179 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528560 0 0 4096 0 0 0 0 17 1 0 0 /proc/26503/statm: 24583 24179 205 16 0 24024 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 98332 [startup+100.06 s] /proc/loadavg: 0.98 0.97 0.97 2/64 26503 /proc/meminfo: memFree=1752304/2055920 swapFree=4182160/4192956 [pid=26503] ppid=26501 vsize=98332 CPUtime=100.01 /proc/26503/stat : 26503 (Pueblo) R 26501 26503 26457 0 -1 4194304 24208 0 0 0 9989 12 0 0 25 0 1 0 200878106 100691968 24179 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528577 0 0 4096 0 0 0 0 17 1 0 0 /proc/26503/statm: 24583 24179 205 16 0 24024 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 98332 [startup+110.067 s] /proc/loadavg: 0.98 0.97 0.97 2/64 26503 /proc/meminfo: memFree=1752304/2055920 swapFree=4182160/4192956 [pid=26503] ppid=26501 vsize=98332 CPUtime=110.01 /proc/26503/stat : 26503 (Pueblo) R 26501 26503 26457 0 -1 4194304 24208 0 0 0 10989 12 0 0 25 0 1 0 200878106 100691968 24179 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528654 0 0 4096 0 0 0 0 17 1 0 0 /proc/26503/statm: 24583 24179 205 16 0 24024 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 98332 [startup+120.074 s] /proc/loadavg: 0.99 0.97 0.97 2/64 26503 /proc/meminfo: memFree=1745584/2055920 swapFree=4182160/4192956 [pid=26503] ppid=26501 vsize=105140 CPUtime=120.01 /proc/26503/stat : 26503 (Pueblo) R 26501 26503 26457 0 -1 4194304 25877 0 0 0 11988 13 0 0 25 0 1 0 200878106 107663360 25848 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/26503/statm: 26285 25848 205 16 0 25726 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 105140 [startup+130.081 s] /proc/loadavg: 0.99 0.97 0.97 2/64 26503 /proc/meminfo: memFree=1730288/2055920 swapFree=4182160/4192956 [pid=26503] ppid=26501 vsize=120272 CPUtime=130.02 /proc/26503/stat : 26503 (Pueblo) R 26501 26503 26457 0 -1 4194304 29689 0 0 0 12987 15 0 0 25 0 1 0 200878106 123158528 29660 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528563 0 0 4096 0 0 0 0 17 1 0 0 /proc/26503/statm: 30068 29660 205 16 0 29509 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 120272 [startup+140.088 s] /proc/loadavg: 0.99 0.97 0.97 2/64 26503 /proc/meminfo: memFree=1730288/2055920 swapFree=4182160/4192956 [pid=26503] ppid=26501 vsize=120272 CPUtime=140.02 /proc/26503/stat : 26503 (Pueblo) R 26501 26503 26457 0 -1 4194304 29689 0 0 0 13987 15 0 0 25 0 1 0 200878106 123158528 29660 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527839 0 0 4096 0 0 0 0 17 1 0 0 /proc/26503/statm: 30068 29660 205 16 0 29509 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 120272 [startup+150.094 s] /proc/loadavg: 0.99 0.97 0.97 2/64 26503 /proc/meminfo: memFree=1730288/2055920 swapFree=4182160/4192956 [pid=26503] ppid=26501 vsize=120272 CPUtime=150.02 /proc/26503/stat : 26503 (Pueblo) R 26501 26503 26457 0 -1 4194304 29689 0 0 0 14987 15 0 0 25 0 1 0 200878106 123158528 29660 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528563 0 0 4096 0 0 0 0 17 1 0 0 /proc/26503/statm: 30068 29660 205 16 0 29509 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 120272 [startup+160.1 s] /proc/loadavg: 0.99 0.97 0.97 2/64 26503 /proc/meminfo: memFree=1730288/2055920 swapFree=4182160/4192956 [pid=26503] ppid=26501 vsize=120272 CPUtime=160.02 /proc/26503/stat : 26503 (Pueblo) R 26501 26503 26457 0 -1 4194304 29689 0 0 0 15987 15 0 0 25 0 1 0 200878106 123158528 29660 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134532121 0 0 4096 0 0 0 0 17 1 0 0 /proc/26503/statm: 30068 29660 205 16 0 29509 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 120272 [startup+170.107 s] /proc/loadavg: 0.99 0.97 0.97 2/64 26503 /proc/meminfo: memFree=1730288/2055920 swapFree=4182160/4192956 [pid=26503] ppid=26501 vsize=120272 CPUtime=170.02 /proc/26503/stat : 26503 (Pueblo) R 26501 26503 26457 0 -1 4194304 29689 0 0 0 16987 15 0 0 25 0 1 0 200878106 123158528 29660 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528630 0 0 4096 0 0 0 0 17 1 0 0 /proc/26503/statm: 30068 29660 205 16 0 29509 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 120272 [startup+180.113 s] /proc/loadavg: 0.99 0.97 0.97 2/64 26503 /proc/meminfo: memFree=1730288/2055920 swapFree=4182160/4192956 [pid=26503] ppid=26501 vsize=120272 CPUtime=180.03 /proc/26503/stat : 26503 (Pueblo) R 26501 26503 26457 0 -1 4194304 29689 0 0 0 17988 15 0 0 25 0 1 0 200878106 123158528 29660 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528569 0 0 4096 0 0 0 0 17 1 0 0 /proc/26503/statm: 30068 29660 205 16 0 29509 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 120272 [startup+190.119 s] /proc/loadavg: 0.99 0.97 0.97 2/64 26503 /proc/meminfo: memFree=1722416/2055920 swapFree=4182160/4192956 [pid=26503] ppid=26501 vsize=128140 CPUtime=190.03 /proc/26503/stat : 26503 (Pueblo) R 26501 26503 26457 0 -1 4194304 31657 0 0 0 18987 16 0 0 25 0 1 0 200878106 131215360 31628 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517890 0 0 4096 0 0 0 0 17 1 0 0 /proc/26503/statm: 32035 31628 205 16 0 31476 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 128140 [startup+200.126 s] /proc/loadavg: 0.99 0.97 0.97 2/64 26503 /proc/meminfo: memFree=1709168/2055920 swapFree=4182160/4192956 [pid=26503] ppid=26501 vsize=141392 CPUtime=200.03 /proc/26503/stat : 26503 (Pueblo) R 26501 26503 26457 0 -1 4194304 34965 0 0 0 19985 18 0 0 25 0 1 0 200878106 144785408 34936 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528577 0 0 4096 0 0 0 0 17 1 0 0 /proc/26503/statm: 35348 34936 205 16 0 34789 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 141392 [startup+210.131 s] /proc/loadavg: 0.99 0.97 0.97 2/64 26503 /proc/meminfo: memFree=1698672/2055920 swapFree=4182160/4192956 ################ # More data... # ################ /proc/26503/statm: 53693 53287 205 16 0 53134 0 Current children cumulated CPU time (s) 1590.42 Current children cumulated vsize (Kb) 214772 [startup+1601 s] /proc/loadavg: 1.00 0.99 0.98 2/64 26505 /proc/meminfo: memFree=1635056/2055920 swapFree=4182160/4192956 [pid=26503] ppid=26501 vsize=214772 CPUtime=1600.43 /proc/26503/stat : 26503 (Pueblo) R 26501 26503 26457 0 -1 4194304 67412 0 0 0 160002 41 0 0 25 0 1 0 200878106 219926528 53287 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557299 0 0 4096 0 0 0 0 17 1 0 0 /proc/26503/statm: 53693 53287 205 16 0 53134 0 Current children cumulated CPU time (s) 1600.43 Current children cumulated vsize (Kb) 214772 [startup+1611.01 s] /proc/loadavg: 1.00 0.99 0.98 2/64 26505 /proc/meminfo: memFree=1635056/2055920 swapFree=4182160/4192956 [pid=26503] ppid=26501 vsize=214772 CPUtime=1610.43 /proc/26503/stat : 26503 (Pueblo) R 26501 26503 26457 0 -1 4194304 67412 0 0 0 161002 41 0 0 25 0 1 0 200878106 219926528 53287 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/26503/statm: 53693 53287 205 16 0 53134 0 Current children cumulated CPU time (s) 1610.43 Current children cumulated vsize (Kb) 214772 [startup+1621.02 s] /proc/loadavg: 1.00 0.99 0.98 2/64 26505 /proc/meminfo: memFree=1635056/2055920 swapFree=4182160/4192956 [pid=26503] ppid=26501 vsize=214772 CPUtime=1620.43 /proc/26503/stat : 26503 (Pueblo) R 26501 26503 26457 0 -1 4194304 67412 0 0 0 162002 41 0 0 25 0 1 0 200878106 219926528 53287 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528654 0 0 4096 0 0 0 0 17 1 0 0 /proc/26503/statm: 53693 53287 205 16 0 53134 0 Current children cumulated CPU time (s) 1620.43 Current children cumulated vsize (Kb) 214772 [startup+1631.02 s] /proc/loadavg: 1.00 0.99 0.98 2/64 26505 /proc/meminfo: memFree=1635056/2055920 swapFree=4182160/4192956 [pid=26503] ppid=26501 vsize=214772 CPUtime=1630.43 /proc/26503/stat : 26503 (Pueblo) R 26501 26503 26457 0 -1 4194304 67412 0 0 0 163002 41 0 0 25 0 1 0 200878106 219926528 53287 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557293 0 0 4096 0 0 0 0 17 1 0 0 /proc/26503/statm: 53693 53287 205 16 0 53134 0 Current children cumulated CPU time (s) 1630.43 Current children cumulated vsize (Kb) 214772 [startup+1641.03 s] /proc/loadavg: 1.00 0.99 0.98 2/64 26505 /proc/meminfo: memFree=1635056/2055920 swapFree=4182160/4192956 [pid=26503] ppid=26501 vsize=214772 CPUtime=1640.44 /proc/26503/stat : 26503 (Pueblo) R 26501 26503 26457 0 -1 4194304 67412 0 0 0 164003 41 0 0 25 0 1 0 200878106 219926528 53287 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528635 0 0 4096 0 0 0 0 17 1 0 0 /proc/26503/statm: 53693 53287 205 16 0 53134 0 Current children cumulated CPU time (s) 1640.44 Current children cumulated vsize (Kb) 214772 [startup+1651.03 s] /proc/loadavg: 1.00 0.99 0.98 2/64 26505 /proc/meminfo: memFree=1635056/2055920 swapFree=4182160/4192956 [pid=26503] ppid=26501 vsize=214772 CPUtime=1650.44 /proc/26503/stat : 26503 (Pueblo) R 26501 26503 26457 0 -1 4194304 67412 0 0 0 165003 41 0 0 25 0 1 0 200878106 219926528 53287 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557413 0 0 4096 0 0 0 0 17 1 0 0 /proc/26503/statm: 53693 53287 205 16 0 53134 0 Current children cumulated CPU time (s) 1650.44 Current children cumulated vsize (Kb) 214772 [startup+1661.04 s] /proc/loadavg: 1.00 0.99 0.98 2/64 26505 /proc/meminfo: memFree=1635056/2055920 swapFree=4182160/4192956 [pid=26503] ppid=26501 vsize=214772 CPUtime=1660.44 /proc/26503/stat : 26503 (Pueblo) R 26501 26503 26457 0 -1 4194304 67412 0 0 0 166003 41 0 0 25 0 1 0 200878106 219926528 53287 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/26503/statm: 53693 53287 205 16 0 53134 0 Current children cumulated CPU time (s) 1660.44 Current children cumulated vsize (Kb) 214772 [startup+1671.05 s] /proc/loadavg: 1.00 0.99 0.98 2/64 26505 /proc/meminfo: memFree=1635056/2055920 swapFree=4182160/4192956 [pid=26503] ppid=26501 vsize=214772 CPUtime=1670.44 /proc/26503/stat : 26503 (Pueblo) R 26501 26503 26457 0 -1 4194304 67412 0 0 0 167003 41 0 0 25 0 1 0 200878106 219926528 53287 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557302 0 0 4096 0 0 0 0 17 1 0 0 /proc/26503/statm: 53693 53287 205 16 0 53134 0 Current children cumulated CPU time (s) 1670.44 Current children cumulated vsize (Kb) 214772 [startup+1681.05 s] /proc/loadavg: 1.00 0.99 0.98 2/64 26505 /proc/meminfo: memFree=1635056/2055920 swapFree=4182160/4192956 [pid=26503] ppid=26501 vsize=214772 CPUtime=1680.44 /proc/26503/stat : 26503 (Pueblo) R 26501 26503 26457 0 -1 4194304 67412 0 0 0 168003 41 0 0 25 0 1 0 200878106 219926528 53287 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517937 0 0 4096 0 0 0 0 17 1 0 0 /proc/26503/statm: 53693 53287 205 16 0 53134 0 Current children cumulated CPU time (s) 1680.44 Current children cumulated vsize (Kb) 214772 [startup+1691.06 s] /proc/loadavg: 1.00 0.99 0.98 2/64 26505 /proc/meminfo: memFree=1633136/2055920 swapFree=4182160/4192956 [pid=26503] ppid=26501 vsize=216920 CPUtime=1690.45 /proc/26503/stat : 26503 (Pueblo) R 26501 26503 26457 0 -1 4194304 67926 0 0 0 169004 41 0 0 25 0 1 0 200878106 222126080 53801 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517933 0 0 4096 0 0 0 0 17 1 0 0 /proc/26503/statm: 54230 53801 205 16 0 53671 0 Current children cumulated CPU time (s) 1690.45 Current children cumulated vsize (Kb) 216920 [startup+1701.06 s] /proc/loadavg: 1.00 0.99 0.98 2/64 26505 /proc/meminfo: memFree=1633136/2055920 swapFree=4182160/4192956 [pid=26503] ppid=26501 vsize=216920 CPUtime=1700.45 /proc/26503/stat : 26503 (Pueblo) R 26501 26503 26457 0 -1 4194304 67926 0 0 0 170004 41 0 0 25 0 1 0 200878106 222126080 53801 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557266 0 0 4096 0 0 0 0 17 1 0 0 /proc/26503/statm: 54230 53801 205 16 0 53671 0 Current children cumulated CPU time (s) 1700.45 Current children cumulated vsize (Kb) 216920 [startup+1711.07 s] /proc/loadavg: 1.00 0.99 0.98 2/64 26505 /proc/meminfo: memFree=1633136/2055920 swapFree=4182160/4192956 [pid=26503] ppid=26501 vsize=216920 CPUtime=1710.45 /proc/26503/stat : 26503 (Pueblo) R 26501 26503 26457 0 -1 4194304 67926 0 0 0 171004 41 0 0 25 0 1 0 200878106 222126080 53801 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528580 0 0 4096 0 0 0 0 17 1 0 0 /proc/26503/statm: 54230 53801 205 16 0 53671 0 Current children cumulated CPU time (s) 1710.45 Current children cumulated vsize (Kb) 216920 [startup+1721.08 s] /proc/loadavg: 1.00 0.99 0.98 2/64 26505 /proc/meminfo: memFree=1633136/2055920 swapFree=4182160/4192956 [pid=26503] ppid=26501 vsize=216920 CPUtime=1720.45 /proc/26503/stat : 26503 (Pueblo) R 26501 26503 26457 0 -1 4194304 67926 0 0 0 172004 41 0 0 25 0 1 0 200878106 222126080 53801 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134532120 0 0 4096 0 0 0 0 17 1 0 0 /proc/26503/statm: 54230 53801 205 16 0 53671 0 Current children cumulated CPU time (s) 1720.45 Current children cumulated vsize (Kb) 216920 [startup+1731.08 s] /proc/loadavg: 1.00 0.99 0.98 2/64 26505 /proc/meminfo: memFree=1633136/2055920 swapFree=4182160/4192956 [pid=26503] ppid=26501 vsize=216920 CPUtime=1730.46 /proc/26503/stat : 26503 (Pueblo) R 26501 26503 26457 0 -1 4194304 67926 0 0 0 173005 41 0 0 25 0 1 0 200878106 222126080 53801 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/26503/statm: 54230 53801 205 16 0 53671 0 Current children cumulated CPU time (s) 1730.46 Current children cumulated vsize (Kb) 216920 [startup+1741.09 s] /proc/loadavg: 1.00 0.99 0.98 2/64 26505 /proc/meminfo: memFree=1633136/2055920 swapFree=4182160/4192956 [pid=26503] ppid=26501 vsize=216920 CPUtime=1740.46 /proc/26503/stat : 26503 (Pueblo) R 26501 26503 26457 0 -1 4194304 67926 0 0 0 174005 41 0 0 25 0 1 0 200878106 222126080 53801 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528569 0 0 4096 0 0 0 0 17 1 0 0 /proc/26503/statm: 54230 53801 205 16 0 53671 0 Current children cumulated CPU time (s) 1740.46 Current children cumulated vsize (Kb) 216920 [startup+1751.1 s] /proc/loadavg: 1.00 0.99 0.98 2/64 26505 /proc/meminfo: memFree=1633136/2055920 swapFree=4182160/4192956 [pid=26503] ppid=26501 vsize=216920 CPUtime=1750.46 /proc/26503/stat : 26503 (Pueblo) R 26501 26503 26457 0 -1 4194304 67926 0 0 0 175005 41 0 0 25 0 1 0 200878106 222126080 53801 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528569 0 0 4096 0 0 0 0 17 1 0 0 /proc/26503/statm: 54230 53801 205 16 0 53671 0 Current children cumulated CPU time (s) 1750.46 Current children cumulated vsize (Kb) 216920 [startup+1761.1 s] /proc/loadavg: 1.00 0.99 0.98 2/64 26505 /proc/meminfo: memFree=1633136/2055920 swapFree=4182160/4192956 [pid=26503] ppid=26501 vsize=216920 CPUtime=1760.47 /proc/26503/stat : 26503 (Pueblo) R 26501 26503 26457 0 -1 4194304 67926 0 0 0 176006 41 0 0 25 0 1 0 200878106 222126080 53801 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0 /proc/26503/statm: 54230 53801 205 16 0 53671 0 Current children cumulated CPU time (s) 1760.47 Current children cumulated vsize (Kb) 216920 [startup+1771.11 s] /proc/loadavg: 1.00 0.99 0.98 2/64 26505 /proc/meminfo: memFree=1633136/2055920 swapFree=4182160/4192956 [pid=26503] ppid=26501 vsize=216920 CPUtime=1770.47 /proc/26503/stat : 26503 (Pueblo) R 26501 26503 26457 0 -1 4194304 67926 0 0 0 177006 41 0 0 25 0 1 0 200878106 222126080 53801 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557282 0 0 4096 0 0 0 0 17 1 0 0 /proc/26503/statm: 54230 53801 205 16 0 53671 0 Current children cumulated CPU time (s) 1770.47 Current children cumulated vsize (Kb) 216920 [startup+1781.12 s] /proc/loadavg: 1.00 0.99 0.98 2/64 26505 /proc/meminfo: memFree=1633136/2055920 swapFree=4182160/4192956 [pid=26503] ppid=26501 vsize=216920 CPUtime=1780.47 /proc/26503/stat : 26503 (Pueblo) R 26501 26503 26457 0 -1 4194304 67927 0 0 0 178006 41 0 0 25 0 1 0 200878106 222126080 53802 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528654 0 0 4096 0 0 0 0 17 1 0 0 /proc/26503/statm: 54230 53802 205 16 0 53671 0 Current children cumulated CPU time (s) 1780.47 Current children cumulated vsize (Kb) 216920 [startup+1782.12 s] /proc/loadavg: 1.00 0.99 0.98 2/64 26505 /proc/meminfo: memFree=1633136/2055920 swapFree=4182160/4192956 [pid=26503] ppid=26501 vsize=216920 CPUtime=1781.48 /proc/26503/stat : 26503 (Pueblo) R 26501 26503 26457 0 -1 4194304 67927 0 0 0 178107 41 0 0 25 0 1 0 200878106 222126080 53802 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/26503/statm: 54230 53802 205 16 0 53671 0 Current children cumulated CPU time (s) 1781.48 Current children cumulated vsize (Kb) 216920 [startup+1783.13 s] /proc/loadavg: 1.00 0.99 0.98 2/64 26505 /proc/meminfo: memFree=1633136/2055920 swapFree=4182160/4192956 [pid=26503] ppid=26501 vsize=216920 CPUtime=1782.48 /proc/26503/stat : 26503 (Pueblo) R 26501 26503 26457 0 -1 4194304 67927 0 0 0 178207 41 0 0 25 0 1 0 200878106 222126080 53802 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557282 0 0 4096 0 0 0 0 17 1 0 0 /proc/26503/statm: 54230 53802 205 16 0 53671 0 Current children cumulated CPU time (s) 1782.48 Current children cumulated vsize (Kb) 216920 Child status: 10 Real time (s): 1783.42 CPU time (s): 1782.78 CPU user time (s): 1782.32 CPU system time (s): 0.451931 CPU usage (%): 99.9638 Max. virtual memory (cumulated for all children) (Kb): 216920
Begin job on node73 on Sat Jun 3 16:28:53 UTC 2006 FILE ID= 36558-1149352133 PBS_JOBID= 311056 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/Pueblo ROOT/tmp/node73/36558-1149352133/instance-36558-1149352133.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node73/watcher-36558-1149352133 -o ROOT/results/node73/solver-36558-1149352133 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node73/36558-1149352133/instance-36558-1149352133.opb MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff MD5SUM BENCH= e2f15e37dec17456fb4044387114eb48 RANDOM SEED= 845166644 /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.261 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.261 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: 1848616 kB Buffers: 10008 kB Cached: 138192 kB SwapCached: 2148 kB Active: 23680 kB Inactive: 132888 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1848616 kB SwapTotal: 4192956 kB SwapFree: 4182160 kB Dirty: 160 kB Writeback: 0 kB Mapped: 14812 kB Slab: 36804 kB Committed_AS: 371808 kB PageTables: 1416 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node73 on Sat Jun 3 16:58:38 UTC 2006