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