Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | 38437 | 1782.82 | 1783.47 |
Name | normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-2.opb |
MD5SUM | f480d2d56550630df651872786c078c9 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 999 |
Best CPU time to get the best result obtained on this benchmark | 1801.29 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 999 |
Optimality of the best value was proved | NO |
Number of variables | 8405 |
Total number of constraints | 10667 |
Number of constraints which are clauses | 9918 |
Number of constraints which are cardinality constraints (but not clauses) | 749 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 351 |
Number of terms in the objective function | 6892 |
Biggest coefficient in the objective function | 667 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 371779 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 667 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 371779 |
Number of bits of the biggest sum of numbers | 19 |
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.41 c starting to Solve 0.41 c #variables read: 8405 - #constraints read: 11368 68.42 o 41649 1783.38 c total time : 1783 s 1783.38 s SATISFIABLE 1783.38 v -x2 -x1049 -x1398 -x2445 -x3143 -x4194 -x4545 -x4896 -x6651 -x7002 -x7353 -x7704 -x8055 -x3 -x1050 -x1399 -x3144 -x4195 1783.38 v -x4546 -x4897 -x6652 -x7003 -x7354 -x7705 -x4 -x1400 -x2796 -x3494 -x4196 -x4547 -x4898 -x5 -x1401 -x4197 -x4548 -x4899 1783.38 v -x5250 -x1053 -x2449 -x3147 -x5602 -x6655 -x7006 -x7357 -x7708 -x356 -x705 -x1752 -x2101 -x5603 -x5954 -x6305 -x357 -x706 1783.38 v -x2102 -x5604 -x5955 -x6306 -x1056 -x3150 -x6658 -x7009 -x7360 -x7711 -x1755 -x11 -x360 -x709 -x1058 -x1407 -x1756 x2105 1783.38 v -x3152 -x4203 -x4554 -x4905 -x5607 -x5958 -x6309 -x6660 -x7011 -x7362 -x7713 -x12 -x361 -x710 -x1059 -x1408 -x1757 x2106 1783.38 v -x3153 -x4204 -x4555 -x4906 -x5608 -x5959 -x6310 -x6661 -x7012 -x7363 -x7714 -x13 -x362 -x711 -x1060 -x1409 -x1758 x2107 1783.38 v -x3154 -x4205 -x4556 -x4907 -x5258 -x5609 -x5960 -x6311 -x6662 -x7013 -x7364 -x7715 -x363 -x712 -x1061 -x1759 -x2108 -x3155 1783.38 v -x5259 -x5610 -x5961 -x6312 -x6663 -x7014 -x7365 -x7716 -x364 -x713 x1760 -x2109 -x2458 -x5611 -x5962 -x6313 -x8068 -x365 1783.38 v x714 -x2110 -x2459 -x5612 -x5963 -x6314 -x8070 -x367 x716 -x2112 -x2461 -x5614 -x5965 -x6316 -x8072 -x1765 -x2812 -x3510 1783.38 v -x21 -x370 -x719 -x1068 -x1417 x1766 -x2115 -x3162 -x4213 -x4564 -x4915 -x5266 -x5617 -x5968 -x6319 -x6670 -x7021 -x7372 1783.38 v -x7723 -x22 -x371 -x720 -x1069 -x1418 x1767 -x2116 -x3163 -x4214 -x4565 -x4916 -x5618 -x5969 -x6320 -x6671 -x7022 -x7373 1783.38 v -x7724 -x2816 -x3514 -x3865 -x374 x2468 -x5270 -x26 -x375 -x724 -x1073 -x1422 x1771 -x2120 -x3167 -x4218 -x4569 -x4920 1783.38 v -x5622 -x5973 -x6324 -x6675 -x7026 -x7377 -x7728 -x27 -x1423 -x4219 -x4570 -x4921 -x8080 -x2820 -x3518 -x8081 -x378 -x727 1783.38 v -x1774 -x2123 -x5274 -x5625 -x5976 -x6327 -x8082 -x2822 -x3520 -x5275 -x1078 -x3172 -x3872 -x6680 -x7031 -x7382 -x7733 1783.38 v -x1079 x3173 -x3873 -x6681 -x7032 -x7383 -x7734 -x33 -x382 -x731 -x1080 -x1429 x1778 -x2127 -x3174 -x4225 -x4576 -x4927 1783.38 v -x5278 -x5629 -x5980 -x6331 -x6682 -x7033 -x7384 -x7735 x1779 -x2826 -x3524 -x8087 x1780 -x8088 -x36 -x1432 -x2828 -x3526 1783.38 v -x4228 -x4579 -x4930 -x5281 -x7738 -x2480 -x3878 -x387 -x736 x1783 -x2132 -x2481 -x3879 -x5283 -x5634 -x5985 -x6336 -x8091 1783.38 v -x2831 -x3529 -x5284 -x41 -x1437 -x4233 -x4584 -x4935 -x8094 -x2834 -x3532 -x5287 -x392 -x741 -x1788 -x2137 -x3884 -x5288 1783.38 v -x5639 -x5990 -x6341 -x5289 -x2488 -x2837 -x3535 -x8098 -x5291 -x6344 -x2490 -x3888 -x48 -x1444 -x2840 -x3538 -x4240 -x4591 1783.38 v -x4942 -x49 -x398 -x747 -x1445 x1794 -x2143 -x2492 -x4241 -x4592 -x4943 -x5294 -x5645 -x5996 -x6347 -x8102 -x50 -x1446 1783.38 v -x4242 -x4593 -x4944 -x5295 -x51 -x400 -x749 -x1447 x1796 -x2145 -x4243 -x4594 -x4945 -x5296 -x5647 -x5998 -x6349 -x52 1783.38 v -x1099 -x1448 x3193 -x4244 -x4595 -x4946 -x6701 -x7052 -x7403 -x7754 -x402 -x751 -x1100 -x1798 x2147 -x3194 -x5298 -x5649 1783.38 v -x6000 -x6351 -x6702 -x7053 -x7404 -x7755 -x54 -x403 -x752 -x1450 x1799 -x2148 -x2497 -x4246 -x4597 -x4948 -x5299 -x5650 1783.38 v -x6001 -x6352 -x8107 -x55 -x404 -x753 -x1451 x1800 -x2149 -x4247 x4598 -x4949 -x5300 -x5651 -x6002 -x6353 -x3546 -x5301 1783.38 v -x8109 -x2848 -x3547 -x5302 -x57 x406 -x755 -x1104 -x1453 -x1802 -x2151 -x3198 -x4250 -x4601 -x4952 -x5303 -x5654 -x6005 1783.38 v -x6356 -x6707 -x7058 -x7409 -x7760 -x2850 -x3549 -x3900 -x2851 -x3550 -x8113 -x60 -x409 -x758 -x1456 -x1805 -x2154 -x4253 1783.38 v -x4604 -x4955 -x5306 -x5657 -x6008 -x6359 -x61 -x410 -x759 x1108 -x1457 -x1806 -x2155 -x3202 -x4254 -x4605 -x4956 -x5658 1783.38 v -x6009 -x6360 -x6711 -x7062 -x7413 -x7764 -x62 -x411 -x760 x1109 -x1458 -x1807 -x2156 -x3203 -x4255 -x4606 -x4957 -x5659 1783.38 v -x6010 -x6361 -x6712 -x7063 -x7414 -x7765 -x3554 -x5309 -x8117 -x63 -x1459 -x4257 -x4608 -x4959 -x5310 -x413 -x762 -x1809 1783.38 v x2158 -x5311 -x5662 -x6013 -x6364 -x2857 -x3557 -x8120 -x415 -x764 -x1113 -x1811 -x2160 -x3207 -x5313 -x5664 -x6015 -x6366 1783.38 v -x6717 -x7068 -x7419 -x7770 -x2859 -x3559 -x8122 -x68 -x1464 -x2860 -x3560 -x4262 -x4613 -x4964 -x5315 -x69 -x1465 -x4263 1783.38 v -x4614 -x4965 -x5316 -x2862 -x3562 -x5317 -x71 -x420 -x769 -x1467 x1816 -x2165 -x4265 -x4616 -x4967 -x5318 -x5669 -x6020 1783.38 v -x6371 -x72 -x421 -x770 -x1468 x1817 -x2166 -x4266 -x4617 -x4968 -x5319 -x5670 -x6021 -x6372 -x73 -x422 -x771 x1120 -x1469 1783.38 v -x1818 -x2167 -x3214 -x4267 -x4618 -x4969 -x5320 -x5671 -x6022 -x6373 -x6724 -x7075 -x7426 -x7777 -x74 -x1470 -x2866 -x3566 1783.38 v -x4268 -x4619 -x4970 -x2867 -x3567 -x8130 -x76 -x1472 -x2868 -x3568 -x4270 -x4621 -x4972 -x8132 -x3570 -x3921 -x4272 -x4623 1783.38 v -x4974 -x5325 -x5676 -x6027 -x6378 -x78 -x1125 -x1474 -x3219 -x4273 -x4624 -x4975 -x6730 -x7081 -x7432 -x7783 -x428 -x777 1783.38 v -x1126 x2173 -x3220 -x5678 -x6029 -x6380 -x6731 -x7082 -x7433 -x7784 -x80 -x1127 -x1476 x3221 -x4275 -x4626 -x4977 -x6732 1783.38 v -x7083 -x7434 -x7785 x81 -x1477 -x2873 -x3574 -x4276 -x4627 -x4978 -x82 -x431 -x780 -x1478 -x1827 x2176 -x4277 -x4628 -x4979 1783.38 v -x5330 -x5681 -x6032 -x6383 x83 -x1479 -x4278 -x4629 -x4980 -x5331 -x8139 -x84 -x1480 x1829 -x4279 -x4630 -x4981 -x5332 1783.38 v -x85 -x434 -x783 x1132 -x1481 -x1830 -x2179 -x3226 -x4280 -x4631 -x4982 -x5684 -x6035 -x6386 -x6737 -x7088 -x7439 -x7790 1783.38 v -x435 -x784 x1831 -x2180 -x5334 -x5685 -x6036 -x6387 x87 -x1483 -x4282 -x4633 -x4984 -x5335 -x88 -x1135 -x1484 -x3229 -x4283 1783.38 v -x4634 -x4985 -x6740 -x7091 -x7442 -x7793 -x1136 -x3230 -x3933 -x6741 -x7092 -x7443 -x7794 -x90 -x1486 -x4285 -x4636 -x4987 1783.38 v -x5338 -x91 -x440 x789 -x1487 -x2185 -x4286 -x4637 -x4988 -x5690 -x6041 -x6392 -x441 -x790 -x1139 -x2186 -x3233 -x5691 1783.38 v -x6042 -x6393 -x6744 -x7095 -x7446 -x7797 -x1838 -x2885 -x3586 -x5341 -x94 x1141 -x1490 -x2537 -x2886 -x3235 -x3587 -x3938 1783.38 v -x4289 -x4640 -x4991 -x6746 -x7097 -x7448 -x7799 -x8150 -x95 -x444 -x793 -x1491 -x2189 -x4290 -x4641 -x4992 -x5694 -x6045 1783.38 v -x6396 -x96 -x1492 -x3940 -x4291 -x4642 -x4993 -x446 -x795 -x1144 -x2191 -x3238 -x5696 -x6047 -x6398 -x6749 -x7100 -x7451 1783.38 v -x7802 -x99 -x1495 x1844 -x4294 -x4645 -x4996 -x5347 -x449 -x798 -x1147 x2194 -x3241 -x5699 -x6050 -x6401 -x6752 -x7103 1783.38 v -x7454 -x7805 x101 -x1497 -x4296 -x4647 -x4998 -x5349 -x102 -x451 -x800 -x1498 -x2196 -x4297 -x4648 -x4999 -x5701 -x6052 1783.38 v -x6403 -x3596 -x5351 -x452 -x801 -x1150 -x2197 -x3244 -x5703 -x6054 -x6405 -x6756 -x7107 -x7458 -x7809 -x104 -x1500 -x1849 1783.38 v -x4300 -x4651 -x5002 -x105 -x1501 -x3950 -x4301 -x4652 -x5003 -x455 -x804 x1851 -x2200 -x5355 -x5706 -x6057 -x6408 -x456 1783.38 v -x805 -x1154 -x2201 -x3248 -x5707 -x6058 -x6409 -x6760 -x7111 -x7462 -x7813 x2551 -x5357 -x8165 -x458 -x807 -x1854 -x2203 1783.38 v -x2552 x2901 -x3603 -x5358 x5709 -x6060 -x6411 -x8166 -x459 -x808 -x1157 -x1855 -x2204 -x3251 -x3955 -x5359 -x5710 -x6061 1783.38 v -x6412 -x6763 -x7114 -x7465 -x7816 -x2554 x2903 -x3605 -x8168 -x112 -x461 -x810 -x1508 -x1857 -x2206 -x4308 -x4659 -x5010 1783.38 v -x5361 -x5712 -x6063 -x6414 x2905 -x3607 -x8170 -x114 -x1510 -x1859 -x4310 -x4661 -x5012 -x115 -x1511 -x4311 -x4662 -x5013 1783.38 v -x5364 -x2908 -x3610 -x8173 -x1164 -x3258 -x3962 -x6770 -x7121 -x7472 -x7823 -x118 -x467 -x816 -x1514 -x1863 x2212 -x2910 1783.38 v -x3612 -x3963 -x4314 -x4665 -x5016 -x5367 -x5718 -x6069 -x6420 -x2911 -x3613 -x5368 -x1865 -x5369 -x470 -x819 -x1168 -x1866 1783.38 v x2215 -x2913 -x3262 -x3615 -x5370 -x5721 -x6072 -x6423 -x6774 -x7125 -x7476 -x7827 -x122 -x1518 -x4318 -x4669 -x5020 -x5371 1783.38 v -x123 -x472 -x821 -x1519 -x2217 -x2915 -x3617 -x4319 -x4670 -x5021 -x5723 -x6074 -x6425 -x1171 -x3265 -x3969 -x6777 -x7128 1783.38 v -x7479 -x7830 -x8181 -x474 -x823 -x1870 -x2219 -x5374 -x5725 -x6076 -x6427 -x126 -x475 -x824 x1173 -x1522 -x2220 -x2918 1783.38 v -x3267 -x3620 -x3971 -x4322 -x4673 -x5024 -x5726 -x6077 -x6428 -x6779 -x7130 -x7481 -x7832 x127 -x1523 -x4323 -x4674 -x5025 1783.38 v -x5376 -x1873 -x5377 -x129 -x478 -x827 -x1525 x1874 -x2223 -x4325 -x4676 -x5027 -x5378 -x5729 -x6080 -x6431 -x7484 -x1177 1783.38 v -x2922 -x3271 -x3624 -x6783 -x7134 -x7485 -x7836 -x131 -x480 -x829 -x1527 -x1876 -x2225 -x4327 -x4678 -x5029 -x5380 -x5731 1783.38 v -x6082 -x6433 -x132 -x1528 -x4328 -x4679 -x5030 -x5381 -x482 -x831 -x1180 -x1878 -x2227 x2576 -x3274 -x5382 -x5733 -x6084 1783.38 v -x6435 -x6786 -x7137 -x7488 -x7839 -x8190 -x134 -x483 -x832 x1181 -x1530 -x1879 -x2228 -x3275 -x4330 -x4681 -x5032 -x5383 1783.38 v -x5734 -x6085 -x6436 -x6787 -x7138 -x7489 -x7840 -x1182 -x1880 -x3276 -x5384 -x6788 -x7139 -x7490 -x7841 -x1881 -x8193 1783.38 v -x137 -x486 -x835 x1184 -x1533 -x1882 -x2231 -x3278 -x4333 -x4684 -x5035 -x5386 -x5737 -x6088 -x6439 -x6790 -x7141 -x7492 1783.38 v -x7843 -x138 -x487 -x836 -x1534 -x1883 -x2232 -x4334 -x4685 -x5036 -x5387 -x5738 -x6089 -x6440 -x488 -x837 -x1186 -x1884 1783.38 v -x2233 -x3280 -x5388 -x5739 -x6090 -x6441 -x6792 -x7143 -x7494 -x7845 -x489 -x838 -x1187 -x1885 x2234 -x3281 -x5389 -x5740 1783.38 v -x6091 -x6442 -x6793 -x7144 -x7495 -x7846 -x1188 -x2933 -x3282 -x3635 -x6794 -x7145 -x7496 -x7847 -x142 -x1538 -x1887 1783.38 v -x2236 -x2934 -x3636 -x4338 -x4689 -x5040 -x5742 -x492 -x841 -x1190 -x1888 x2237 -x3284 -x5392 -x5743 -x6094 -x6445 -x6796 1783.38 v -x7147 -x7498 -x7849 -x144 -x1191 -x1540 -x3285 -x4340 -x4691 -x5042 -x5393 -x6797 -x7148 -x7499 -x7850 -x146 -x1193 -x1542 1783.38 v -x2938 -x3287 -x3640 -x4342 -x4693 -x5044 -x6799 -x7150 -x7501 -x7852 -x147 -x1543 -x2590 -x4343 -x4694 -x5045 -x497 -x846 1783.38 v -x1195 -x1893 x2242 -x3289 -x5397 -x5748 -x6099 -x6450 -x6801 -x7152 -x7503 -x7854 -x498 -x847 -x1894 -x2243 -x3994 -x5398 1783.38 v -x5749 -x6100 -x6451 -x499 -x848 -x1895 -x2244 -x2942 -x3644 -x5399 -x5750 -x6101 -x6452 -x2594 -x2943 -x3645 -x5400 -x8208 1783.38 v -x501 -x850 -x1897 -x2246 -x5401 -x5752 -x6103 -x6454 -x2596 -x2945 -x3647 -x8210 -x154 -x503 -x852 -x1201 -x1550 -x1899 1783.38 v -x2248 -x3295 -x4350 -x4701 -x5052 -x5403 -x5754 -x6105 -x6456 -x6807 -x7158 -x7509 -x7860 -x155 -x1551 -x1900 -x4351 1783.38 v -x4702 -x5053 -x8212 -x156 -x1552 -x2948 -x3650 -x4352 -x4703 -x5054 -x5405 -x8213 -x506 -x855 -x1902 -x2251 -x5406 -x5757 1783.38 v -x6108 -x6459 -x1205 -x3299 -x6811 -x7162 -x7513 -x7864 -x159 -x508 -x857 -x1206 -x1555 -x1904 -x2253 -x3300 -x4355 -x4706 1783.38 v -x5057 -x5408 -x5759 -x6110 -x6461 -x6812 -x7163 -x7514 -x7865 -x509 -x858 -x1905 -x2254 -x5409 -x5760 -x6111 -x6462 -x1907 1783.38 v -x2605 -x5411 -x8219 -x163 -x1210 -x1559 -x3304 -x4008 -x4359 -x4710 -x5061 -x6816 -x7167 -x7518 -x7869 -x164 -x513 -x862 1783.38 v -x1211 -x1560 -x1909 -x2258 -x3305 -x4360 -x4711 -x5062 -x5413 -x5764 -x6115 -x6466 -x6817 -x7168 -x7519 -x7870 -x165 1783.38 v -x1561 -x2957 -x3659 -x4010 -x4361 -x4712 -x5063 x166 -x515 -x864 -x1562 -x1911 -x2260 -x4362 -x4713 -x5064 -x5415 -x5766 1783.38 v -x6117 -x6468 -x516 -x865 -x1912 -x2261 -x5416 -x5767 -x6118 -x6469 -x517 -x866 -x1913 -x2262 -x2960 -x3662 -x5417 -x5768 1783.38 v -x6119 -x6470 -x518 -x867 -x1216 -x1914 x2263 -x3310 -x4014 -x5418 -x5769 -x6120 -x6471 -x6822 -x7173 -x7524 -x7875 -x170 1783.38 v -x1566 -x2962 -x3664 -x4366 -x4717 -x5068 -x5419 -x8227 -x171 -x520 -x869 -x1567 -x1916 x2265 -x4016 -x4367 -x4718 -x5069 1783.38 v -x5420 -x5771 -x6122 -x6473 -x1917 -x8229 -x173 -x522 -x871 -x1569 -x1918 x2267 -x4369 -x4720 -x5071 -x5422 -x5773 -x6124 1783.38 v -x6475 -x4721 -x5423 -x174 -x523 -x872 -x1570 -x1919 x2268 -x4371 -x4722 -x5073 -x5424 -x5775 -x6126 -x6477 -x175 -x1571 1783.38 v -x2967 -x3670 -x4372 -x4723 -x5074 -x525 -x874 -x1921 -x2270 -x5426 -x5777 -x6128 -x6479 -x1224 -x1922 -x3318 -x4023 -x5427 1783.38 v -x6831 -x7182 -x7533 -x7884 -x527 -x876 -x1225 -x2272 x3319 -x4024 -x5779 -x6130 -x6481 -x6832 -x7183 -x7534 -x7885 -x1227 1783.38 v -x2623 -x3321 -x5430 -x6834 -x7185 -x7536 -x7887 -x8238 -x181 -x530 -x879 -x1577 -x1926 -x2275 -x2973 -x182 x1229 -x1578 1783.38 v -x2974 -x3323 -x3676 -x4378 -x4729 -x5080 -x6835 -x7186 -x7537 -x7888 -x186 -x1233 -x1582 x3327 -x4382 -x4733 -x5084 -x6839 1783.38 v -x7190 -x7541 -x7892 -x187 -x536 -x885 x1234 -x1583 -x2281 -x3328 -x4032 -x4383 -x4734 -x5085 -x5787 -x6138 -x6489 -x6840 1783.38 v -x7191 -x7542 -x7893 -x1235 x3329 -x6841 -x7192 -x7543 -x7894 -x8245 -x538 -x887 -x1236 -x1934 -x2283 -x3330 -x4034 -x5438 1783.38 v -x5789 -x6140 -x6491 -x6842 -x7193 -x7544 -x7895 -x190 -x1586 -x4386 -x4737 -x5088 -x7896 -x8247 -x191 -x540 -x889 x1238 1783.38 v -x1587 -x1936 -x2285 -x3332 -x4036 -x4387 -x4738 -x5089 -x5440 -x5791 -x6142 -x6493 -x6844 -x7195 -x7546 -x7897 x8248 1783.38 v -x8249 -x542 -x891 -x1938 -x2287 -x5442 -x5793 -x6144 -x6495 -x194 -x543 -x892 -x1241 -x1590 -x1939 -x2288 -x3335 -x4390 1783.38 v -x4741 -x5092 -x5443 -x5794 -x6145 -x6496 -x6847 -x7198 -x7549 -x7900 -x195 -x1242 -x1591 x3336 -x4391 -x4742 -x5093 -x6848 1783.38 v -x7199 -x7550 -x7901 -x196 -x545 -x894 -x1243 -x1592 -x1941 -x2290 -x3337 -x4392 x4743 -x5094 -x5445 -x5796 -x6147 -x6498 1783.38 v -x6849 -x7200 -x7551 -x7902 -x197 -x1244 x1593 -x3338 -x4393 -x4744 -x5095 -x6850 -x7201 -x7552 -x7903 -x198 -x547 -x896 1783.38 v x1245 -x1594 -x1943 -x2292 -x3339 -x4394 x4745 -x5096 -x5447 -x5798 -x6149 -x6500 -x6851 -x7202 -x7553 -x7904 -x1246 x3340 1783.38 v -x4044 -x6852 -x7203 -x7554 -x7905 -x1247 -x2643 x3341 -x6853 -x7204 -x7555 -x7906 -x8257 -x201 -x1597 -x2644 -x2993 -x3695 1783.38 v -x4397 -x4748 -x5099 -x8258 -x1249 -x2645 -x3343 -x6855 -x7206 -x7557 -x7908 -x8259 -x203 -x552 -x901 -x1599 x1948 -x2297 1783.38 v -x2646 -x4399 -x4750 -x5101 -x5452 -x5803 -x6154 -x6505 -x8260 -x204 -x553 -x902 -x1251 -x1600 -x1949 -x2298 -x3345 -x4400 1783.38 v -x4751 -x5102 -x5453 -x5804 -x6155 -x6506 -x6857 -x7208 -x7559 -x7910 -x205 -x554 -x903 -x1601 -x1950 x2299 -x4401 -x4752 1783.38 v -x5103 -x5454 -x5805 -x6156 -x6507 -x206 -x555 -x904 -x1602 -x1951 x2300 -x4051 -x4402 -x4753 -x5104 -x5455 -x5806 -x6157 1783.38 v -x6508 -x207 -x1603 -x4403 -x4754 -x5105 -x208 -x557 -x906 -x1255 -x1604 -x1953 -x2302 -x3349 -x4404 -x4755 -x5106 -x5808 1783.38 v -x6159 -x6510 -x6861 -x7212 x7563 -x7914 -x209 -x1256 -x1954 -x2303 -x5107 -x5458 -x5809 -x6160 -x6511 -x6862 -x210 -x1606 1783.38 v x1955 -x4406 -x4757 -x5108 -x5459 -x8267 -x211 -x1607 -x2654 -x4056 -x4407 x4758 -x5109 -x212 -x1608 x1957 -x4408 -x4759 1783.38 v -x5110 -x5461 -x8269 -x562 -x911 -x1958 -x2307 -x5462 -x5813 -x6164 -x6515 -x214 -x1610 -x2657 -x4410 -x4761 -x5112 -x215 1783.38 v -x1611 -x2658 -x4411 -x4762 -x5113 -x5464 -x8272 -x3008 -x3710 -x5465 -x1264 -x3358 -x5817 -x6870 -x7221 -x7572 -x7923 1783.38 v -x3010 -x3712 -x6169 -x219 -x1266 -x1615 -x3360 -x4415 -x4766 -x5117 -x6872 -x7223 -x7574 -x7925 -x569 -x918 -x1267 -x1965 1783.38 v -x2314 x3361 -x5469 -x5820 -x6171 -x6522 -x6873 -x7224 -x7575 -x7926 -x221 -x1617 -x4066 -x4417 -x4768 -x5119 -x5470 -x5120 1783.38 v -x6173 -x223 x1270 -x1619 -x2666 -x3015 -x3364 -x3717 -x4419 -x4770 -x5121 -x6876 -x7227 -x7578 -x7929 -x8280 -x1969 -x5473 1783.38 v -x225 -x1621 -x4070 -x4421 -x4772 -x5123 -x226 -x575 -x924 -x1273 -x1622 -x1971 -x2320 x3367 -x4422 -x4773 -x5124 -x5475 1783.38 v -x5826 -x6177 -x6528 -x6879 -x7230 -x7581 -x7932 -x227 -x1274 -x1623 -x3368 -x228 -x1624 -x4423 -x4774 -x5125 -x8284 -x229 1783.38 v -x578 -x927 -x1276 -x1625 -x1974 -x2323 -x3370 -x4424 x4775 -x5126 -x5477 -x5828 -x6179 -x6530 -x6881 -x7232 -x7583 -x7934 1783.38 v -x230 -x1626 -x3022 -x3723 -x4425 -x4776 -x5127 -x5478 -x8286 -x231 -x1627 -x4426 -x4777 -x5128 -x8287 x232 -x581 -x930 1783.38 v -x1279 -x1628 -x2326 -x3373 -x4076 -x4427 -x4778 -x5129 -x5831 -x6182 -x6533 -x6884 -x7235 -x7586 -x7937 -x582 -x931 -x2327 1783.38 v -x2676 -x4077 -x5832 -x6183 -x6534 -x8289 x3026 -x3727 -x8290 -x235 -x1631 -x1980 -x4430 -x4781 -x5132 -x1981 -x2679 -x5484 1783.38 v -x8292 -x238 -x1634 -x1983 -x4433 -x4784 -x5135 -x588 -x937 -x1286 -x2333 -x3380 -x4083 -x5838 -x6189 -x6540 -x6891 -x7242 1783.38 v -x7593 -x7944 -x5137 -x6190 -x1986 -x5489 -x242 x1289 -x1638 -x2685 -x3383 -x4437 -x4788 -x5139 -x6894 -x7245 -x7596 -x7947 1783.38 v -x8298 -x592 -x941 -x1290 -x1988 x2337 -x3384 -x5491 -x5842 -x6193 -x6544 -x6895 -x7246 -x7597 -x7948 -x244 x1291 -x1640 1783.38 v -x2687 -x3385 -x4439 -x4790 -x5141 -x6896 -x7247 -x7598 -x7949 -x8300 -x1990 -x2688 -x5493 -x5844 -x8301 -x246 x1293 -x1642 1783.38 v -x3387 -x4441 -x4792 -x5143 -x6898 -x7249 -x7600 -x7951 -x247 -x1294 -x1643 -x3388 -x4442 -x4793 -x5144 -x6899 -x7250 1783.38 v -x7601 -x7952 -x8303 -x3040 -x3741 -x5496 -x2692 -x5497 -x8305 -x250 -x599 -x948 -x1297 -x1646 x2344 -x3391 -x4445 -x4796 1783.38 v -x5147 -x5849 -x6200 -x6551 -x6902 -x7253 x7604 -x7955 -x251 -x1298 -x1647 -x3392 -x4446 -x4797 -x5148 -x6903 -x7254 -x7605 1783.38 v -x7956 -x3044 -x3745 -x5500 -x253 -x602 -x951 -x1300 -x1649 -x1998 -x2347 -x3394 -x4448 -x4799 -x5150 -x5501 -x5852 -x6203 1783.38 v -x6554 -x6905 -x7256 x7607 -x7958 -x254 -x603 -x952 -x1301 -x1650 -x2348 x3395 -x4098 -x4449 -x4800 -x5151 -x5853 -x6204 1783.38 v -x6555 -x6906 -x7257 -x7608 -x7959 -x3047 -x3748 -x8311 -x605 -x954 -x2001 -x2350 -x5504 -x5855 -x6206 -x6557 -x257 -x1653 1783.38 v -x2002 -x4452 -x4803 -x5154 -x5505 -x258 -x607 -x956 -x1654 x2003 -x2352 -x4453 -x4804 -x5155 -x5506 -x5857 -x6208 -x6559 1783.38 v -x3051 -x3752 -x5507 -x260 -x1656 -x2005 -x4455 -x4806 -x5157 -x610 -x959 -x1308 -x2006 x2355 -x3402 -x5509 -x5860 -x6211 1783.38 v -x6562 -x6913 -x7264 -x7615 -x7966 -x262 -x1658 x4457 -x4808 -x5159 -x263 -x1659 -x4458 -x4809 -x5160 -x8319 -x2707 -x5512 1783.38 v -x8320 -x265 -x1661 -x4460 -x4811 -x5162 -x5513 -x2709 -x5514 -x8322 -x267 -x616 -x965 x1314 -x1663 -x2361 -x3408 -x4462 1783.38 v -x4813 -x5164 -x5866 -x6217 -x6568 -x6919 -x7270 -x7621 -x7972 -x268 -x1664 -x4463 -x4814 -x5165 -x8324 -x618 -x967 -x2014 1783.38 v -x2363 -x2712 -x5517 -x5868 -x6219 -x6570 -x8325 -x3062 -x3763 -x8326 -x1318 -x2016 x3412 -x6923 -x7274 -x7625 -x7976 1783.38 v -x272 -x621 -x970 -x1668 -x2366 -x4467 -x4818 -x5169 -x5871 -x6222 -x6573 -x273 -x1320 -x1669 -x3414 -x4117 -x4468 -x4819 1783.38 v -x5170 -x6925 -x7276 -x7627 -x7978 -x5522 -x8330 -x624 -x973 -x1322 x2369 -x3416 -x5874 -x6225 -x6576 -x6927 -x7278 -x7629 1783.38 v -x7980 -x2719 -x3068 -x3769 -x8332 -x4121 -x5876 -x6227 -x6578 -x277 -x626 -x975 -x1324 -x1673 -x2022 -x2371 -x3418 -x4473 1783.38 v -x4824 -x5175 -x5526 -x5877 -x6228 -x6579 -x6930 -x7281 -x7632 x7983 -x278 x1325 -x1674 -x3419 -x4474 -x4825 -x5176 -x6931 1783.38 v -x7282 -x7633 -x7984 -x279 -x628 -x977 -x1326 -x1675 -x2024 -x2373 -x3420 -x4475 -x4826 x5177 -x5528 -x5879 -x6230 -x6581 1783.38 v -x6932 -x7283 -x7634 -x7985 -x280 -x629 -x978 -x1676 -x2025 -x2374 -x3072 -x3774 -x4476 -x4827 -x5178 -x5880 -x6231 -x6582 1783.38 v -x3073 -x3775 -x5530 -x8338 -x282 x1329 -x1678 -x3423 -x4478 -x4829 -x5180 -x6935 -x7286 -x7637 -x7988 -x283 x1330 -x1679 1783.38 v -x3424 -x4128 -x4479 -x4830 -x5181 -x6936 -x7287 -x7638 -x7989 -x1331 -x2727 -x3425 -x5533 -x6937 -x7288 -x7639 -x7990 1783.38 v -x8341 -x1332 -x3426 -x5534 -x6938 -x7289 -x7640 -x7991 -x286 -x1333 -x1682 -x3427 -x4482 -x4833 -x5184 -x6939 -x7290 1783.38 v -x7641 -x7992 -x1334 -x3079 -x3428 -x3781 -x6940 -x7291 -x7642 -x7993 -x2731 -x5537 -x8345 -x638 -x987 -x2034 -x2383 -x4134 1783.38 v -x5538 -x5889 -x6240 -x6591 -x639 -x988 -x2035 -x2384 -x3082 -x3784 -x4135 -x5539 -x5890 x6241 -x6592 -x8348 -x291 x1338 1783.38 v -x1687 -x2734 -x3432 -x4488 -x4839 -x5190 -x6945 -x7296 -x7647 -x7998 -x8349 -x8350 -x1340 -x2736 -x3434 -x6947 -x7298 1783.38 v -x7649 -x8000 -x8351 -x294 -x1690 -x4491 -x4842 -x5193 -x8352 -x295 -x644 -x993 -x1342 -x1691 -x2040 -x2389 -x3436 -x4492 1783.38 v -x4843 -x5194 -x5545 -x5896 -x6247 -x6598 -x6949 -x7300 -x7651 x8002 -x296 -x645 -x994 -x1692 x2390 -x3088 -x646 -x995 1783.38 v -x1344 -x2042 x2391 -x3438 -x5546 -x5897 -x6248 -x6599 -x6950 -x7301 -x7652 -x8003 -x298 -x647 -x996 -x1345 -x1694 -x2043 1783.38 v -x2392 -x3439 -x4494 -x4845 -x5196 -x5547 -x5898 -x6249 -x6600 -x6951 -x7302 -x7653 -x8004 x299 -x648 -x997 -x1346 -x1695 1783.38 v -x2044 -x2393 -x3440 -x4495 -x4846 -x5197 -x5548 -x5899 -x6250 -x6601 -x6952 -x7303 -x7654 -x8005 -x300 -x649 -x998 -x1696 1783.38 v x2045 -x2394 -x4496 -x4847 -x5198 -x5900 -x6251 -x6602 x302 -x651 -x1000 -x1349 -x1698 -x2047 -x2396 -x3443 -x4498 -x4849 1783.38 v -x5200 -x5551 -x5902 -x6253 -x6604 -x6955 -x7306 -x7657 -x8008 -x8359 -x2048 -x3095 -x3797 -x5201 -x5552 -x6254 -x8360 1783.38 v x304 -x653 -x1002 -x1700 -x2049 -x2398 -x3096 -x3798 -x4500 -x4851 -x5202 -x5553 -x5904 -x6255 -x6606 -x305 -x1701 -x4501 1783.38 v -x4852 -x5203 -x5554 -x2750 -x3099 -x3801 -x8364 -x657 -x1006 -x2053 -x2402 -x2751 -x3100 -x3802 -x4153 -x5557 -x5908 1783.38 v -x6259 -x6610 -x8365 -x658 -x1007 -x2054 -x2403 -x3101 -x3803 -x4154 -x5558 -x5909 -x6260 -x6611 -x310 -x659 -x1008 x1357 1783.38 v -x1706 -x2055 -x2404 -x3451 -x4155 -x4506 -x4857 -x5208 -x5559 -x5910 -x6261 -x6612 -x6963 -x7314 -x7665 -x8016 -x311 1783.38 v -x1707 -x661 -x1010 -x1359 -x2057 -x2406 -x3453 -x4156 -x5560 -x5911 -x6262 -x6613 -x6964 -x7315 -x7666 -x8017 -x313 -x662 1783.38 v -x1011 x1360 -x1709 -x2058 -x2407 -x3105 -x3454 -x3806 -x4157 -x4508 x4859 -x5210 -x5561 -x5912 -x6263 -x6614 -x6965 -x7316 1783.38 v -x7667 -x8018 -x314 -x663 -x1012 -x1361 -x1710 -x2059 -x2408 -x3455 -x4509 -x4860 -x5211 -x5562 -x5913 -x6264 -x6615 -x6966 1783.38 v -x7317 -x7668 -x8019 -x1362 -x3107 -x3456 -x3808 -x5563 -x6967 -x7318 -x7669 -x8020 -x665 -x1014 -x2410 -x3108 -x3809 1783.38 v -x5915 -x6266 -x6617 -x2062 -x3109 -x3810 -x5565 -x318 -x667 -x1016 -x1714 x2063 -x2412 -x4513 -x4864 -x5215 -x5566 -x5917 1783.38 v -x6268 -x6619 -x319 -x1715 -x4163 -x4514 -x4865 -x5216 -x669 -x1018 -x2065 -x2414 -x4164 -x5568 -x5919 -x6270 -x6621 -x1368 1783.38 v -x3113 -x3462 -x3814 -x6973 -x7324 -x7675 -x8026 x322 -x1718 -x3114 -x3815 -x4166 -x4517 -x4868 -x5219 -x1370 -x3115 -x3464 1783.38 v -x3816 -x6975 -x7326 -x7677 -x8028 -x5572 -x674 -x1023 -x1372 -x2070 x2419 -x3466 -x5573 -x5924 -x6275 -x6626 -x6977 -x7328 1783.38 v -x7679 -x8030 -x326 -x1373 -x1722 -x3467 -x4521 -x4872 -x5223 -x5574 -x6978 -x7329 -x7680 -x8031 -x1374 -x3468 -x5575 1783.38 v -x6979 -x7330 -x7681 -x8032 -x328 -x1375 -x1724 -x3469 -x4523 -x4874 -x5225 -x5576 -x6980 -x7331 -x7682 -x8033 -x2772 1783.38 v -x3121 -x3822 -x8385 -x330 -x1377 -x1726 -x3122 -x3471 -x3823 -x4525 -x4876 -x5227 -x6982 -x7333 -x7684 -x8035 -x2774 1783.38 v -x3123 -x3824 -x8387 -x332 -x681 -x1030 -x1728 -x2426 -x4527 -x4878 -x5229 -x5931 -x6282 -x6633 -x3125 -x3826 -x4177 -x5581 1783.38 v -x334 -x683 -x1032 -x1381 -x1730 -x2079 -x2428 -x3475 -x4529 -x4880 -x5231 -x5582 -x5933 -x6284 -x6635 -x6986 -x7337 -x7688 1783.38 v -x8039 -x2778 -x4179 -x6285 -x336 -x685 -x1034 x1383 -x1732 -x2081 -x2430 -x2779 -x3477 -x4180 -x4531 -x4882 -x5233 -x5584 1783.38 v -x5935 -x6286 -x6637 -x6988 -x7339 -x7690 -x8041 x8392 -x686 -x1035 -x2082 -x2431 -x2780 -x5234 -x5585 -x5936 x6287 -x6638 1783.38 v -x8393 -x2083 -x8394 -x339 -x688 -x1037 -x1386 -x1735 -x2084 -x2433 -x3480 -x4534 -x4885 -x5236 -x5587 -x5938 -x6289 -x6640 1783.38 v -x6991 -x7342 -x7693 -x8044 -x2783 -x3132 -x3833 -x8396 -x341 -x690 -x1039 -x1737 -x2086 -x2435 -x6993 -x7344 -x7695 -x8046 1783.38 v -x342 -x1738 -x4537 -x4888 -x5239 -x5590 -x692 -x1041 -x2437 -x2786 -x5942 -x6293 -x6644 -x344 -x693 x1042 -x1391 -x1740 1783.38 v -x2438 -x3136 -x3485 -x3837 -x4188 -x4539 -x4890 -x5241 -x5943 -x6294 -x6645 -x6996 -x7347 -x7698 -x8049 -x1392 -x3486 1783.38 v -x6997 -x7348 -x7699 -x8050 -x8401 -x346 -x695 -x1044 -x1393 -x1742 -x2091 -x2440 -x3487 -x4541 -x4892 -x5243 -x5594 -x5945 1783.38 v -x6296 -x6647 -x6998 -x7349 -x7700 -x8051 -x1394 -x2092 -x2441 -x3139 -x3488 -x3840 -x4191 -x5946 -x6999 -x7350 -x7701 1783.38 v -x8052 -x3140 -x7000 -x7351 -x7702 -x8053 -x2095 -x2793 -x351 -x700 x1747 -x2096 x3843 -x5247 -x5598 -x5949 -x6300 -x352 1783.38 v -x701 x1748 -x2097 -x2446 -x2795 -x3493 -x3844 -x5248 -x5599 -x5950 -x6301 x8056 -x353 -x702 x1051 -x1749 -x2098 -x3145 1783.38 v -x5600 -x5951 -x6302 -x6653 -x7004 -x7355 -x7706 -x354 -x703 x1052 -x1750 -x2099 -x2448 -x2797 -x3146 -x3495 -x3846 -x5601 1783.38 v -x5952 -x6303 -x6654 -x7005 -x7356 -x7707 x8058 -x6 -x1402 -x4198 -x4549 -x4900 -x5251 -x1753 -x2451 x2800 -x3498 -x5253 1783.38 v -x8061 -x1754 -x3850 -x5254 -x10 -x359 x708 -x1057 -x1406 -x2104 -x2453 -x2802 -x3151 -x3500 -x4202 -x4553 -x4904 -x5255 1783.38 v -x5606 -x5957 -x6308 -x6659 -x7010 -x7361 -x7712 x8063 -x2454 -x2803 -x3501 -x5256 x8064 -x2455 -x2804 -x3502 -x3853 -x5257 1783.38 v x8065 -x2456 -x2805 -x3503 -x3854 x8066 -x14 -x1410 x2457 -x2806 -x3504 -x3855 -x4206 -x4557 x4908 -x8067 -x15 -x1062 -x1411 1783.38 v -x2807 -x3156 -x3505 -x3856 -x4207 -x4558 -x4909 -x6664 -x7015 x7366 -x7717 -x16 -x1063 -x1412 -x1761 -x2808 -x3157 -x3506 1783.38 v -x4208 -x4559 -x4910 -x5261 -x6665 -x7016 -x7367 -x7718 x8069 -x17 -x366 -x715 x1064 -x1413 -x1762 -x2111 -x3158 -x3858 1783.38 v -x4209 -x4560 -x4911 -x5262 -x5613 -x5964 x6315 -x6666 -x7017 -x7368 -x7719 -x18 -x1065 -x1414 -x1763 -x2810 -x3159 -x3508 1783.38 v -x4210 -x4561 -x4912 -x5263 -x6667 -x7018 -x7369 x7720 -x19 -x368 -x717 x1066 -x1415 -x1764 -x2113 -x2462 -x2811 -x3160 1783.38 v -x3509 -x3860 -x4211 -x4562 -x4913 -x5264 -x5615 -x5966 x6317 -x6668 -x7019 -x7370 -x7721 -x20 -x369 x718 -x1067 -x1416 1783.38 v -x2114 -x2463 -x3161 -x3861 -x4212 -x4563 -x4914 -x5265 -x5616 -x5967 -x6318 -x6669 -x7020 -x7371 x7722 -x8073 -x2464 1783.38 v -x2813 x3511 -x3862 -x8074 -x2465 -x2814 x3512 -x3863 -x8075 -x2466 -x8076 -x24 -x373 -x722 x1071 -x1420 -x1769 -x2118 1783.38 v -x2467 -x3165 -x4216 -x4567 -x4918 -x5269 -x5620 -x5971 x6322 -x6673 -x7024 -x7375 -x7726 -x8077 -x25 -x1072 -x1421 -x2817 1783.38 v -x3166 -x3515 -x3866 -x4217 -x4568 -x4919 -x6674 -x7025 -x7376 -x7727 -x8078 -x2818 -x3516 x3867 -x5271 -x1074 -x2470 1783.38 v -x3168 -x3868 -x6676 -x7027 -x7378 -x7729 -x28 -x377 -x726 x1075 -x1424 -x1773 -x2122 -x2471 -x3169 -x3869 -x4220 -x4571 1783.38 v -x4922 -x5273 -x5624 -x5975 x6326 -x6677 -x7028 -x7379 -x7730 -x29 -x1076 -x1425 x2472 -x2821 -x3170 -x3519 -x3870 -x4221 1783.38 v -x4572 -x4923 -x6678 -x7029 x7380 -x7731 -x30 -x379 -x728 x1077 -x1426 -x1775 -x2124 -x2473 -x3171 -x3871 -x4222 -x4573 1783.38 v -x4924 -x5626 -x5977 x6328 -x6679 -x7030 -x7381 -x7732 -x8083 -x31 -x380 -x729 -x1427 x1776 -x2125 -x2823 -x3521 -x4223 1783.38 v -x4574 x4925 -x5276 -x5627 -x5978 -x6329 -x32 -x381 -x730 -x1428 -x1777 -x2126 -x2824 -x3522 -x4224 -x4575 -x4926 -x5277 1783.38 v -x5628 -x5979 x6330 -x2476 -x2825 x3523 -x3874 -x8086 -x34 -x383 -x732 -x1081 -x1430 -x2128 -x2477 -x3175 -x3875 -x4226 1783.38 v -x4577 -x4928 -x5279 -x5630 -x5981 -x6332 -x6683 -x7034 x7385 -x7736 -x35 -x384 -x733 -x1082 -x1431 -x2129 -x2827 -x3176 1783.38 v -x3525 -x3876 -x4227 -x4578 -x4929 -x5280 -x5631 -x5982 -x6333 -x6684 -x7035 x7386 -x7737 -x385 -x734 -x1781 x2130 -x2479 1783.38 v -x3877 -x5632 -x5983 -x6334 -x8089 -x38 -x1085 -x1434 -x2830 -x3179 -x3528 x4230 -x4581 -x4932 -x6687 -x7038 -x7389 -x7740 1783.38 v -x2482 -x8092 -x389 -x738 -x1785 -x2134 -x2483 -x3881 -x5285 -x5636 -x5987 -x6338 -x8093 -x390 -x739 x1786 -x2135 -x2833 1783.38 v -x3531 -x3882 -x5637 -x5988 -x6339 -x2485 -x8095 -x43 -x1090 -x1439 x2486 -x3184 x4235 -x4586 -x4937 -x6692 -x7043 -x7394 1783.38 v -x7745 -x8096 -x2487 -x2836 -x3534 -x3885 -x8097 -x394 -x743 -x1790 -x2139 -x5290 -x5641 -x5992 -x6343 -x2489 -x2838 -x3536 1783.38 v -x8099 -x397 -x746 x1095 -x1793 -x2142 -x2491 -x3189 -x3889 -x5293 -x5644 -x5995 x6346 -x6697 -x7048 -x7399 -x7750 -x8101 1783.38 v -x1096 -x2841 -x3190 -x3539 -x3890 -x6698 -x7049 x7400 -x7751 -x1097 x2493 -x2842 -x3191 -x3540 -x3891 -x6699 -x7050 -x7401 1783.38 v -x7752 -x8103 -x1098 -x2494 -x2843 -x3192 -x3541 -x3892 -x6700 -x7051 x7402 -x7753 -x8104 -x401 -x750 -x1797 -x2146 -x2495 1783.38 v -x2844 -x3542 -x3893 -x5297 -x5648 -x5999 x6350 -x8105 -x2496 -x2845 -x3543 -x8106 -x1101 -x2846 -x3195 -x3544 -x3895 1783.38 v -x6703 -x7054 -x7405 x7756 -x1102 -x2498 -x2847 -x3196 -x3545 -x3896 -x6704 -x7055 -x7406 -x7757 -x8108 -x3897 -x4248 1783.38 v -x4599 -x4950 -x5652 -x6003 -x6354 -x6705 -x7056 x7407 -x7758 -x56 -x405 -x754 x1103 -x1452 -x1801 -x2150 -x2499 -x3197 1783.38 v -x3898 -x4249 -x4600 -x4951 -x5653 -x6004 x6355 -x6706 -x7057 -x7408 -x7759 -x8110 -x2500 -x2849 -x3548 -x3899 x8111 -x58 1783.38 v -x407 -x756 x1105 -x1454 -x1803 -x2152 -x2501 -x3199 -x4251 -x4602 -x4953 -x5304 -x5655 -x6006 x6357 -x6708 -x7059 -x7410 1783.38 v -x7761 -x8112 -x59 -x408 x757 -x1106 -x1455 -x1804 -x2153 -x2502 -x3200 -x3901 -x4252 -x4603 -x4954 -x5305 -x5656 -x6007 1783.38 v -x6358 -x6709 -x7060 -x7411 x7762 -x1107 x2503 -x2852 -x3201 -x3551 -x3902 -x6710 -x7061 x7412 -x7763 -x8114 -x2504 -x2853 1783.38 v -x3552 x3903 -x5307 -x8115 -x2505 -x2854 -x3553 x3904 -x5308 -x8116 -x3905 -x4256 -x4607 -x4958 -x5660 -x6011 -x6362 -x6713 1783.38 v -x7064 x7415 -x7766 x2506 -x2855 -x3555 -x8118 -x1111 -x2507 -x2856 -x3205 -x3556 -x3907 -x6715 -x7066 -x7417 -x7768 -x8119 1783.38 v -x65 -x414 -x763 -x1112 -x1461 -x1810 x2159 -x2508 -x3206 -x3908 -x4259 -x4610 -x4961 -x5312 -x5663 -x6014 -x6365 -x6716 1783.38 v -x7067 -x7418 x7769 -x66 -x1462 x2509 -x2858 -x3558 -x3909 -x4260 -x4611 x4962 -x8121 -x67 -x416 x765 -x1114 -x1463 -x1812 1783.38 v -x2161 -x2510 -x3208 -x3910 -x4261 -x4612 -x4963 -x5314 -x5665 -x6016 -x6367 -x6718 -x7069 -x7420 x7771 -x417 x766 -x1115 1783.38 v -x1813 -x2162 -x2511 -x3209 -x3911 -x5666 -x6017 -x6368 -x6719 -x7070 -x7421 x7772 -x8123 -x1116 x2512 -x2861 -x3210 -x3561 1783.38 v -x3912 -x6720 -x7071 -x7422 -x7773 -x8124 -x70 -x419 x768 -x1117 -x1466 -x1815 -x2164 -x2513 -x3211 -x3913 -x4264 -x4615 1783.38 v -x4966 -x5668 -x6019 -x6370 -x6721 -x7072 -x7423 x7774 -x8125 -x1118 -x2514 -x2863 -x3212 -x3563 -x3914 -x6722 -x7073 1783.38 v -x7424 x7775 -x8126 -x1119 -x2515 -x2864 -x3213 -x3564 -x3915 -x6723 -x7074 -x7425 x7776 -x8127 -x2516 -x2865 -x3565 -x3916 1783.38 v x8128 -x423 -x772 -x1819 x2168 -x2517 -x3917 -x5321 -x5672 -x6023 -x6374 -x8129 -x75 -x424 x773 -x1122 -x1471 -x1820 -x2169 1783.38 v -x3216 -x3918 -x4269 -x4620 -x4971 -x5322 -x5673 -x6024 -x6375 -x6726 -x7077 -x7428 x7779 -x425 -x774 -x1123 -x1821 x2170 1783.38 v -x2519 -x3217 -x3919 -x5323 -x5674 -x6025 -x6376 -x6727 -x7078 -x7429 x7780 -x8131 -x77 -x426 x775 -x1124 -x1473 -x1822 1783.38 v -x2171 -x2520 -x2869 -x3218 -x3569 -x3920 -x4271 -x4622 -x4973 -x5324 -x5675 -x6026 -x6377 -x6728 -x7079 -x7430 x7781 1783.38 v -x6729 -x7080 x7431 -x7782 -x8133 x2521 -x2870 -x3571 -x3922 -x8134 -x2522 -x2871 -x3572 -x3923 -x8135 -x429 -x778 -x1825 1783.38 v -x2174 -x2523 -x2872 -x3573 -x3924 -x5328 -x5679 -x6030 x6381 -x8136 -x430 -x779 -x1128 -x1826 -x2175 -x2524 -x3222 -x3925 1783.38 v -x5329 -x5680 -x6031 -x6382 -x6733 -x7084 -x7435 x7786 -x8137 -x1129 -x2525 -x2874 -x3223 -x3575 -x3926 -x6734 -x7085 1783.38 v x7436 -x7787 -x8138 -x432 -x781 -x1130 -x1828 -x2177 -x2526 -x2875 -x3224 -x3576 -x3927 -x5682 -x6033 -x6384 -x6735 -x7086 1783.38 v x7437 -x7788 -x433 -x782 -x1131 -x2178 -x2527 -x2876 -x3225 -x3577 -x3928 -x5683 -x6034 -x6385 -x6736 -x7087 x7438 -x7789 1783.38 v -x8140 -x2528 -x2877 -x3578 -x3929 x8141 -x86 -x1133 -x1482 -x2529 -x2878 -x3227 -x3579 -x3930 -x4281 x4632 -x4983 -x6738 1783.38 v -x7089 -x7440 -x7791 -x8142 -x436 -x785 -x1134 -x1832 -x2181 -x2530 -x2879 -x3228 -x3580 -x3931 -x5686 -x6037 -x6388 -x6739 1783.38 v -x7090 x7441 -x7792 -x8143 x2531 -x2880 -x3581 -x3932 -x8144 -x2881 -x3582 -x439 -x788 -x1835 x2184 -x2533 -x2882 -x3583 1783.38 v -x3934 -x5689 -x6040 -x6391 -x8146 -x1138 -x1836 -x2534 -x2883 -x3232 -x3584 -x3935 -x5339 -x6743 -x7094 x7445 -x7796 1783.38 v -x8147 -x93 -x442 -x791 -x1140 -x1489 x2187 -x2536 -x3234 -x3937 -x4288 -x4639 -x4990 -x5692 -x6043 -x6394 -x6745 -x7096 1783.38 v x7447 -x7798 -x8149 -x443 -x792 -x1839 -x2188 -x5342 -x5693 -x6044 x6395 -x2538 -x2887 -x3588 -x3939 -x8151 x2539 -x2888 1783.38 v -x3589 -x8152 -x97 -x1493 x2540 -x2889 -x3590 -x3941 -x4292 -x4643 -x4994 -x448 -x797 -x1146 -x2193 -x2542 -x2891 -x3240 1783.38 v -x3592 -x3943 -x5698 -x6049 -x6400 -x6751 -x7102 x7453 -x7804 -x8155 -x2543 -x2892 -x3593 -x3944 -x8156 -x450 -x799 -x1148 1783.38 v -x1846 -x2195 -x2544 -x2893 -x3242 -x3594 -x3945 -x5700 -x6051 -x6402 x6753 -x7104 -x7455 -x7806 -x8157 -x2545 -x2894 1783.38 v -x3595 -x3946 -x8158 -x3947 -x4298 -x4649 -x5000 -x5702 -x6053 -x6404 x6755 -x7106 -x7457 -x7808 -x8159 -x453 -x802 -x2198 1783.38 v -x2896 x3598 -x3949 -x5704 -x6055 -x6406 x2548 -x2897 -x3599 -x8162 -x106 -x1153 -x1502 -x2549 -x2898 -x3247 -x3600 -x3951 1783.38 v -x4302 -x4653 -x5004 -x6759 x7110 -x7461 -x7812 -x8163 -x107 -x1503 x2550 -x2899 -x3601 -x4303 -x4654 -x5005 -x108 -x1504 1783.38 v -x2900 -x3602 -x3953 -x4304 -x4655 -x5006 -x109 -x1156 -x1505 -x3250 -x3954 -x4305 -x4656 -x5007 -x6762 -x7113 -x7464 1783.38 v -x7815 -x110 -x1506 x2553 -x2902 -x3604 -x4306 -x4657 x5008 -x8167 -x111 -x460 -x809 -x1158 -x1507 -x1856 -x2205 -x3252 1783.38 v -x3956 -x4307 -x4658 -x5009 -x5360 x5711 -x6062 -x6413 -x6764 -x7115 -x7466 -x7817 -x1159 x2555 -x2904 -x3253 -x3606 -x3957 1783.38 v -x6765 x7116 -x7467 -x7818 -x8169 -x113 -x462 -x811 -x1160 -x1509 -x1858 -x2207 -x2556 -x3254 -x3958 -x4309 -x4660 -x5011 1783.38 v -x5362 x5713 -x6064 -x6415 -x6766 -x7117 -x7468 -x7819 -x1161 x2557 -x2906 -x3255 -x3608 -x6767 -x7118 -x7469 -x7820 -x8171 1783.38 v -x2558 -x8172 -x116 -x465 -x814 x1163 -x1512 -x1861 -x2210 -x3257 -x3961 -x4312 -x4663 -x5014 -x5365 -x5716 -x6067 x6418 1783.38 v -x6769 -x7120 -x7471 -x7822 -x466 -x815 -x1862 x2211 -x2560 -x2909 -x3611 -x5366 -x5717 -x6068 -x6419 -x8174 -x1165 -x2561 1783.38 v -x3259 -x6771 -x7122 -x7473 x7824 -x8175 -x468 -x817 -x1166 -x1864 -x2213 -x2562 -x3260 -x3964 -x5719 -x6070 -x6421 -x6772 1783.38 v -x7123 x7474 -x7825 -x8176 -x2563 x2912 -x3614 -x3965 -x8177 -x121 -x1517 -x2564 -x3966 -x4317 -x4668 x5019 -x8178 -x1169 1783.38 v x2565 -x2914 -x3263 -x3616 -x3967 -x6775 -x7126 -x7477 -x7828 -x8179 -x1170 -x1868 -x2566 x3264 x3968 -x5372 -x6776 -x7127 1783.38 v -x7478 -x7829 -x8180 -x125 -x1172 -x1521 x2568 -x2917 -x3266 -x3619 -x3970 -x4321 -x4672 -x5023 -x6778 x7129 -x7480 -x7831 1783.38 v -x8182 -x1871 -x2569 -x5375 x8183 -x476 -x825 -x1174 -x1872 -x2221 -x2570 -x2919 -x3268 -x3621 -x3972 -x5727 -x6078 -x6429 1783.38 v x6780 -x7131 -x7482 -x7833 -x8184 -x2571 -x2920 -x3622 -x3973 -x8185 -x2572 -x2921 -x3623 -x8186 -x3975 -x1178 x2574 -x2923 1783.38 v -x3272 -x3625 -x3976 -x6784 x7135 -x7486 -x7837 -x8188 -x1179 x2575 -x2924 -x3273 -x3626 -x3977 -x6785 -x7136 -x7487 -x7838 1783.38 v -x8189 -x133 -x1529 -x2925 -x3627 -x3978 -x4329 -x4680 x5031 -x2577 -x2926 -x3628 -x3979 x8191 x135 -x484 -x833 -x1531 1783.38 v -x2229 -x2578 -x3980 -x4331 -x4682 -x5033 -x5735 -x6086 x6437 -x8192 -x136 -x485 x834 -x1183 -x1532 -x2230 -x2579 -x2928 1783.38 v -x3277 -x3630 -x3981 -x4332 -x4683 -x5034 -x5385 -x5736 -x6087 -x6438 -x6789 -x7140 -x7491 x7842 -x2580 -x2929 -x3631 1783.38 v -x3982 x8194 -x1185 x2581 -x2930 -x3279 -x3632 -x3983 -x6791 -x7142 -x7493 x7844 -x8195 -x139 -x1535 x2582 -x2931 -x3633 1783.38 v -x3984 -x4335 -x4686 x5037 -x8196 -x2583 -x2932 -x3634 -x3985 -x8197 -x141 -x1537 -x4337 -x4688 -x5039 -x143 -x1539 -x2586 1783.38 v -x2935 -x3637 -x3988 -x4339 -x4690 x5041 -x8200 x2587 -x2936 -x3638 -x3989 -x8201 -x145 -x494 -x843 x1192 -x1541 -x1890 1783.38 v -x2239 -x2588 -x2937 -x3286 -x3639 -x3990 -x4341 -x4692 -x5043 -x5394 -x5745 -x6096 x6447 -x6798 -x7149 -x7500 -x7851 1783.38 v -x8202 -x495 x844 -x1891 -x2240 -x2589 -x3991 x5395 -x5746 -x6097 -x6448 -x8203 -x496 -x845 x1892 -x2241 -x2939 -x3641 1783.38 v -x3992 -x5396 -x5747 -x6098 -x6449 -x8204 -x148 -x1544 -x2591 -x2940 -x3642 -x3993 -x4344 -x4695 x5046 -x8205 -x1196 -x2592 1783.38 v -x2941 -x3290 -x3643 -x6802 -x7153 x7504 -x7855 -x8206 -x1197 -x2593 x3291 -x3995 -x6803 -x7154 -x7505 -x7856 -x8207 -x151 1783.38 v -x500 x849 -x1198 -x1547 -x1896 -x2245 -x3292 -x3996 -x4347 x4698 -x5049 -x5751 -x6102 -x6453 -x6804 -x7155 -x7506 -x7857 1783.38 v -x152 -x1548 -x2944 -x3646 -x3997 -x4348 -x4699 -x5050 -x502 -x851 -x1200 -x1898 -x2247 -x3294 -x3998 -x5402 -x5753 -x6104 1783.38 v -x6455 -x6806 -x7157 x7508 -x7859 -x2597 x2946 -x3648 -x3999 x8211 -x504 x853 -x1202 -x2249 -x2598 -x2947 -x3296 -x3649 1783.38 v -x4000 -x5404 -x5755 -x6106 -x6457 x6808 -x7159 -x7510 -x7861 -x505 x854 -x1203 -x1901 -x2250 -x2599 -x3297 -x4001 -x5756 1783.38 v -x6107 -x6458 x6809 -x7160 -x7511 -x7862 x157 -x1204 -x1553 -x2600 -x2949 -x3298 -x3651 -x4002 -x4353 -x4704 -x5055 -x6810 1783.38 v -x7161 -x7512 x7863 -x8214 -x2601 -x2950 -x3652 -x4003 -x8215 -x2602 x2951 -x3653 -x4004 x8216 -x1207 -x2603 -x2952 -x3301 1783.38 v -x3654 -x4005 -x6813 -x7164 -x7515 x7866 -x8217 -x2604 -x2953 -x3655 -x4006 -x8218 -x162 -x511 x860 -x1209 -x1558 -x2256 1783.38 v -x2954 -x3303 -x3656 -x4007 -x4358 -x4709 -x5060 -x5762 -x6113 -x6464 -x6815 -x7166 -x7517 x7868 -x512 x861 -x1908 -x2257 1783.38 v -x2606 -x2955 -x3657 x5412 -x5763 -x6114 -x6465 -x8220 -x2607 x2956 -x3658 -x4009 x8221 -x514 x863 -x1212 -x1910 -x2259 1783.38 v -x2608 -x3306 -x5414 -x5765 -x6116 -x6467 -x6818 -x7169 -x7520 x7871 -x8222 -x1213 -x2609 -x2958 -x3307 -x3660 x6819 -x7170 1783.38 v -x7521 -x7872 -x8223 -x2610 x2959 -x3661 -x8224 x168 -x1215 -x1564 -x2611 -x3309 -x4013 -x4364 -x4715 -x5066 -x6821 -x7172 1783.38 v -x7523 x7874 -x8225 -x169 -x1565 -x2612 -x2961 -x3663 -x4365 -x4716 x5067 -x8226 -x519 x868 -x1217 -x1915 -x2264 -x2613 1783.38 v -x3311 -x4015 -x5770 -x6121 -x6472 -x6823 -x7174 -x7525 x7876 -x1218 -x2614 -x2963 -x3312 -x3665 x6824 -x7175 -x7526 -x7877 1783.38 v -x8228 -x521 -x870 -x1219 -x2266 -x2615 -x2964 -x3313 -x3666 -x4017 -x5421 -x5772 -x6123 -x6474 -x6825 -x7176 x7527 -x7878 1783.38 v -x1220 -x2616 -x2965 -x3314 -x3667 x6826 -x7177 -x7528 -x7879 -x8230 -x3668 -x1221 -x2617 -x2966 -x3315 -x3669 x6828 -x7179 1783.38 v -x7530 -x7881 -x8232 -x524 -x873 -x1920 x2269 -x2618 -x4021 -x5425 -x5776 -x6127 -x6478 -x8233 x176 -x1223 -x1572 -x3317 1783.38 v -x4022 -x4373 -x4724 -x5075 -x6830 x7181 -x7532 -x7883 x177 -x526 -x875 -x1573 -x2271 -x2620 -x2969 -x3672 -x4374 -x4725 1783.38 v -x5076 -x5778 -x6129 x6480 -x8235 -x178 -x1574 -x1923 -x2621 -x2970 -x3673 -x4375 -x4726 x5077 -x5428 -x8236 -x528 -x877 1783.38 v -x1924 -x2273 -x5429 -x5780 -x6131 -x6482 x180 -x529 -x878 -x1576 -x1925 -x2274 -x2972 -x3675 -x4026 -x4377 -x4728 -x5079 1783.38 v -x5781 -x6132 x6483 -x1228 x2624 -x3322 -x531 -x880 -x1927 -x2276 -x2625 -x4027 -x5431 -x5782 -x6133 x6484 -x8239 -x2626 1783.38 v -x8240 -x2627 -x8241 -x2977 -x3679 -x535 -x884 -x1931 -x2280 -x2629 -x4031 x5435 -x5786 -x6137 -x6488 -x8243 -x1932 -x2630 1783.38 v -x2979 -x3681 x5436 -x8244 -x188 -x537 -x886 -x1584 -x1933 -x2282 -x2631 -x2980 -x3682 -x4033 -x4384 -x4735 x5086 -x5437 1783.38 v -x5788 -x6139 -x6490 -x2632 -x2981 x3683 -x8246 -x539 -x888 -x1935 x2284 -x2633 -x2982 -x3684 -x4035 -x5439 -x5790 -x6141 1783.38 v -x6492 -x2634 -x2983 -x3685 -x192 -x541 x890 -x1239 -x1588 -x1937 -x2286 -x2984 -x3333 -x3686 -x4037 -x4388 -x4739 -x5090 1783.38 v -x5792 -x6143 -x6494 -x6845 x7196 -x7547 -x7898 x2985 -x3687 -x2637 x2986 -x3688 -x4039 x8251 -x544 -x893 -x1940 -x2289 1783.38 v -x4040 -x5444 -x5795 -x6146 x6497 -x2639 x2988 -x3690 -x4041 -x8253 -x546 -x895 -x1942 -x2291 -x4042 -x5446 -x5797 x6148 1783.38 v -x6499 -x2641 -x2990 -x3692 -x4043 -x8255 -x199 -x548 -x897 -x1595 -x1944 -x2293 -x2642 -x2991 -x3693 -x4395 x4746 -x5097 1783.38 v -x5448 -x5799 -x6150 -x6501 -x8256 -x200 -x549 -x898 -x1596 -x1945 -x2294 -x2992 -x3694 -x4396 x4747 -x5098 -x5449 -x5800 1783.38 v -x6151 -x6502 -x550 x899 -x1248 -x1946 -x2295 -x3342 -x4046 -x5450 -x5801 -x6152 -x6503 -x6854 x7205 -x7556 -x7907 -x202 1783.38 v -x1598 -x2994 -x3696 -x4398 -x4749 -x5100 -x1250 -x3344 -x6856 -x7207 x7558 -x7909 -x2647 x2996 -x3698 -x4049 x8261 -x1252 1783.38 v -x2648 -x2997 -x3346 -x3699 -x4050 x6858 -x7209 -x7560 -x7911 -x8262 -x1253 -x2649 -x2998 -x3347 -x3700 -x6859 -x7210 1783.38 v x7561 -x7912 -x8263 -x2650 -x2999 -x3701 -x8264 -x2651 x3000 -x3702 -x4053 -x8265 -x559 -x908 -x2304 -x2653 -x3002 -x3704 1783.38 v -x4055 -x5810 -x6161 -x6512 -x560 -x909 -x1258 -x1956 -x2305 -x3003 x3352 -x3705 -x5460 -x5811 -x6162 -x6513 -x6864 -x7215 1783.38 v -x7566 -x7917 -x8268 -x561 -x910 -x2306 -x2655 -x3004 -x3706 -x4057 -x5812 -x6163 -x6514 x213 -x1260 -x1609 -x3005 -x3354 1783.38 v -x3707 -x4409 -x4760 -x5111 -x6866 x7217 -x7568 -x7919 -x563 -x912 -x1261 -x1959 x2308 -x3355 -x5463 -x5814 -x6165 -x6516 1783.38 v -x6867 -x7218 x7569 -x7920 -x8271 -x564 x913 -x1262 -x1960 -x2309 -x3007 -x3356 -x3709 -x4060 -x5815 -x6166 -x6517 -x6868 1783.38 v x7219 -x7570 -x7921 -x565 -x914 x1263 -x1961 -x2310 -x2659 -x3357 -x4061 -x5816 -x6167 -x6518 -x6869 -x7220 -x7571 -x7922 1783.38 v -x8273 -x217 -x1613 -x3009 -x3711 -x4413 -x4764 -x5115 -x218 -x1614 -x2661 -x4414 -x4765 -x5116 -x8275 -x2662 -x3011 -x3713 1783.38 v x4064 -x8276 -x220 -x1616 -x2663 -x4416 -x4767 -x5118 -x8277 -x570 x919 -x1268 -x1966 -x2315 -x2664 -x3013 -x3362 -x3715 1783.38 v -x5821 -x6172 -x6523 -x6874 x7225 -x7576 -x7927 -x8278 -x2665 -x3014 -x3716 -x8279 -x572 -x921 -x1968 -x2317 -x4068 -x5472 1783.38 v -x5823 -x6174 x6525 -x224 -x573 x922 -x1271 -x1620 -x2318 -x2667 -x3016 -x3365 -x3718 -x4069 -x4420 -x4771 -x5122 -x5824 1783.38 v -x6175 -x6526 -x6877 x7228 -x7579 -x7930 -x8281 -x574 x923 -x1272 -x1970 -x2319 -x2668 -x3017 -x3366 -x3719 -x5474 -x5825 1783.38 v -x6176 -x6527 x6878 -x7229 -x7580 -x7931 -x8282 -x2669 -x3018 -x3720 -x4071 x8283 -x2670 -x577 x926 -x1275 -x1973 -x2322 1783.38 v -x3020 -x3369 -x3721 -x5827 -x6178 -x6529 x6880 -x7231 -x7582 -x7933 -x2672 x3021 -x3722 -x4073 -x8285 -x579 x928 -x1277 1783.38 v -x1975 -x2324 -x2673 -x3371 -x4074 -x5829 -x6180 -x6531 x6882 -x7233 -x7584 -x7935 -x580 x929 -x1278 -x1976 -x2325 -x3023 1783.38 v -x3372 -x3724 -x5830 -x6181 -x6532 -x6883 -x7234 -x7585 -x7936 -x2675 -x3024 x3725 -x8288 -x233 -x1280 -x1629 -x1978 x3025 1783.38 v -x3374 -x3726 -x4428 -x4779 -x5130 x5481 -x6885 -x7236 -x7587 -x7938 -x584 x933 -x1282 -x2329 -x2678 -x3027 -x3376 -x3728 1783.38 v -x4079 -x5483 -x5834 -x6185 -x6536 x6887 -x7238 -x7589 -x7940 -x8291 x236 -x585 -x934 -x1632 -x2330 -x3028 -x3729 -x4431 1783.38 v -x4782 -x5133 -x5835 -x6186 -x6537 -x4081 -x1285 -x2681 -x3030 -x3379 -x3731 -x4082 -x6890 -x7241 -x7592 -x7943 -x8294 1783.38 v -x239 -x1635 -x1984 -x2682 x3031 -x3732 -x4434 -x4785 x5136 -x5487 -x8295 -x2683 -x3032 -x3733 -x4084 -x8296 -x590 -x939 1783.38 v -x1288 x2335 -x2684 -x3033 -x3382 -x3734 -x4085 -x5840 -x6191 -x6542 -x6893 -x7244 -x7595 -x7946 -x8297 -x591 -x940 -x1987 1783.38 v -x2336 -x3034 -x3735 -x4086 -x5490 -x5841 -x6192 x6543 -x2686 -x3035 -x3736 -x4087 -x8299 -x593 -x942 -x1989 -x2338 -x3036 1783.38 v -x3737 -x4088 -x5492 -x5843 -x6194 x6545 x245 -x1641 -x4089 -x4440 -x4791 -x5142 -x595 -x944 -x1991 -x2340 -x2689 -x3038 1783.38 v -x3739 -x4090 -x5494 -x5845 -x6196 x6547 -x8302 -x3039 -x3740 -x248 -x597 x946 -x1295 -x1644 -x1993 -x2342 -x2691 -x3389 1783.38 v -x4092 -x4443 -x4794 x5145 -x5847 -x6198 -x6549 -x6900 -x7251 -x7602 -x7953 -x8304 -x249 -x1296 -x1645 -x3041 -x3390 -x3742 1783.38 v -x4093 -x4444 -x4795 -x5146 -x6901 -x7252 x7603 -x7954 -x1995 -x2693 -x3042 -x3743 -x4094 -x5498 -x8306 -x600 -x949 -x1996 1783.38 v -x2345 -x2694 x3043 -x3744 -x4095 -x5499 -x5850 x6201 -x6552 -x8307 -x252 -x601 x950 -x1299 -x1648 -x1997 -x2346 -x2695 1783.38 v -x3393 -x4096 -x4447 -x4798 x5149 -x5851 -x6202 -x6553 -x6904 -x7255 -x7606 -x7957 -x8308 -x2696 x3045 -x3746 -x4097 -x8309 1783.38 v -x1999 -x2697 -x3046 -x3747 x5502 -x8310 -x255 -x604 x953 -x1302 -x1651 -x2000 -x2349 -x3396 -x4099 -x4450 -x4801 -x5152 1783.38 v x5503 -x5854 -x6205 -x6556 -x6907 -x7258 -x7609 -x7960 -x2699 x3048 -x3749 -x4100 -x8312 -x606 -x955 -x1304 -x2351 -x2700 1783.38 v -x3049 x3398 -x3750 x4101 -x5856 -x6207 -x6558 -x6909 -x7260 -x7611 -x7962 -x8313 -x1305 -x2701 -x3050 -x3399 -x3751 -x4102 1783.38 v -x6910 -x7261 -x7612 x7963 -x8314 -x259 -x608 -x957 -x1306 -x1655 -x2004 -x2353 -x2702 x3400 -x4103 -x4454 -x4805 x5156 1783.38 v -x5858 -x6209 -x6560 -x6911 -x7262 -x7613 -x7964 -x8315 x2703 -x3052 -x3753 -x4104 -x5508 -x8316 -x2704 -x3053 -x3754 1783.38 v -x4105 -x8317 -x2705 -x3054 -x3755 -x8318 -x612 -x961 -x1310 -x2008 -x2357 -x2706 -x3055 x3404 -x3756 -x4107 x5511 -x5862 1783.38 v -x6213 -x6564 -x6915 -x7266 -x7617 -x7968 -x264 -x1660 -x3056 -x3757 -x4459 -x4810 -x5161 -x614 -x963 -x1312 -x2010 -x2359 1783.38 v -x2708 -x3057 x3406 -x3758 x4109 -x5864 -x6215 -x6566 -x6917 -x7268 -x7619 -x7970 -x8321 -x266 -x615 -x964 -x1313 -x1662 1783.38 v -x2011 -x2360 -x3058 x3407 -x3759 -x4110 -x4461 -x4812 x5163 -x5865 -x6216 -x6567 -x6918 -x7269 -x7620 -x7971 -x3059 -x3760 1783.38 v -x617 -x966 -x1315 -x2013 -x2362 -x2711 -x3060 x3409 -x3761 -x4112 x5516 -x5867 -x6218 -x6569 -x6920 -x7271 -x7622 -x7973 1783.38 v -x269 -x1316 -x1665 x3061 -x3410 -x3762 -x4113 -x4464 -x4815 x5166 -x6921 -x7272 -x7623 -x7974 -x270 -x619 -x968 -x1317 1783.38 v -x1666 -x2015 -x2364 -x2713 x3411 -x4114 -x4465 -x4816 -x5167 x5518 -x5869 -x6220 -x6571 -x6922 -x7273 -x7624 -x7975 -x271 1783.38 v -x620 -x969 -x1667 -x2365 -x2714 -x3063 -x3764 -x4115 -x4466 x4817 -x5168 -x5519 -x5870 -x6221 -x6572 -x8327 -x2715 -x3064 1783.38 v -x3765 -x4116 -x8328 -x2018 -x3065 -x3766 x5521 -x274 -x623 -x972 -x1321 x1670 -x2019 -x2368 -x3415 x4118 -x4469 -x4820 1783.38 v -x5171 -x5873 -x6224 -x6575 -x6926 -x7277 -x7628 -x7979 -x2718 -x3067 -x3768 -x4119 -x8331 -x276 -x625 -x974 -x1323 x1672 1783.38 v -x2021 -x2370 -x3417 -x4120 -x4471 -x4822 -x5173 x5524 -x5875 -x6226 -x6577 -x6928 -x7279 -x7630 -x7981 -x3770 x2720 -x3069 1783.38 v -x3771 -x4122 -x8334 -x627 -x976 -x2023 -x2372 -x2721 -x3070 -x3772 -x4123 -x5527 -x5878 -x6229 x6580 -x8335 -x2722 x3071 1783.38 v -x3773 -x4124 -x8336 x2723 -x8337 -x281 -x630 -x979 -x1328 -x1677 -x2026 -x2375 x3422 -x4126 -x4477 -x4828 x5179 -x5881 1783.38 v -x6232 -x6583 -x6934 -x7285 -x7636 -x7987 -x631 -x980 -x2027 -x2376 -x3074 -x3776 -x4127 -x5531 -x5882 -x6233 x6584 -x632 1783.38 v -x981 -x2028 -x2377 -x2726 -x3075 -x3777 -x5532 -x5883 -x6234 x6585 -x8340 -x284 -x633 x982 -x1680 -x2029 -x2378 -x4129 1783.38 v -x4480 -x4831 x5182 -x5884 -x6235 -x6586 -x285 -x634 x983 -x1681 -x2030 -x2379 -x2728 -x3077 -x3779 -x4130 -x4481 -x4832 1783.38 v x5183 -x5885 -x6236 -x6587 -x8342 -x287 -x636 x985 -x1683 -x2032 -x2381 -x2730 -x4132 -x4483 -x4834 -x5185 x5536 -x5887 1783.38 v -x6238 -x6589 -x8344 -x637 -x986 -x2033 -x2382 -x4133 -x5888 -x6239 -x6590 -x2732 -x3081 x3783 -x8346 -x2733 -x8347 -x4487 1783.38 v -x4838 -x5189 -x5540 -x5891 -x6242 -x6593 -x6944 -x7295 -x7646 -x7997 -x640 -x989 -x2036 -x2385 -x3083 -x3786 -x4137 -x5541 1783.38 v -x5892 -x6243 x6594 -x292 -x1339 -x1688 -x3433 -x4489 -x4840 -x5191 -x6946 -x7297 -x7648 -x7999 -x293 -x642 -x991 -x1689 1783.38 v -x2038 -x2387 x3085 -x3788 -x4139 -x4490 -x4841 -x5192 -x5543 x5894 -x6245 -x6596 -x643 -x992 -x1341 -x2039 -x2388 x3086 1783.38 v -x3435 -x3789 -x4140 -x5544 x5895 -x6246 -x6597 -x6948 -x7299 -x7650 -x8001 x2738 -x3087 -x3790 -x4141 -x8353 -x2041 -x2739 1783.38 v -x297 -x1693 -x2740 -x3089 -x3791 -x4142 -x4493 -x4844 x5195 -x8354 -x2741 x3090 -x3792 -x4143 x8355 -x2742 -x3091 x3793 1783.38 v -x4144 -x8356 -x1347 -x2743 -x3092 -x3441 x3794 -x4145 -x6953 -x7304 -x7655 -x8006 -x8357 -x301 -x650 -x999 -x1348 -x1697 1783.38 v -x2046 -x2395 -x2744 -x3093 x3442 -x3795 -x4146 -x4497 -x4848 -x5199 x5550 -x5901 -x6252 -x6603 -x6954 -x7305 -x7656 -x8007 1783.38 v -x8358 -x2745 -x3094 x3796 -x4147 -x1351 -x2747 -x3445 -x4149 -x6957 -x7308 -x7659 x8010 -x8361 -x1352 x2748 -x3097 -x3446 1783.38 v -x3799 -x4150 -x6958 -x7309 -x7660 -x8011 -x8362 -x307 -x656 -x1005 -x1354 -x1703 -x2052 -x2401 x3448 -x4152 -x4503 -x4854 1783.38 v -x5205 x5556 -x5907 -x6258 -x6609 -x6960 -x7311 -x7662 -x8013 x308 -x1355 -x1704 -x3449 -x4504 -x4855 -x5206 -x6961 -x7312 1783.38 v -x7663 x8014 x309 -x1356 -x1705 -x2752 -x3450 -x4505 -x4856 -x5207 -x6962 -x7313 -x7664 x8015 -x8366 -x2753 -x3102 -x3804 1783.38 v x8367 -x2756 -x8369 -x2757 x3106 -x3807 -x4158 x8370 x315 -x664 -x1013 -x1711 -x2060 -x2409 -x2758 -x4159 -x4510 -x4861 1783.38 v -x5212 x5914 -x6265 -x6616 -x8371 x316 -x1363 -x1712 -x2061 -x2759 -x3457 -x4160 -x4511 -x4862 -x5213 x5564 -x6968 -x7319 1783.38 v -x7670 -x8021 -x8372 -x317 -x666 -x1015 x1713 -x2411 -x2760 -x4161 -x4512 -x4863 -x5214 x5916 -x6267 -x6618 -x8373 -x1365 1783.38 v -x2761 -x3110 -x3459 x3811 -x4162 -x6970 -x7321 -x7672 -x8023 -x8374 -x668 -x1017 -x1366 -x2064 -x2413 -x2762 x3111 -x3460 1783.38 v -x3812 -x5567 x5918 -x6269 -x6620 -x6971 -x7322 -x7673 -x8024 -x8375 x320 -x1367 -x1716 -x2763 -x3112 -x3461 x3813 -x4515 1783.38 v -x4866 -x5217 -x6972 -x7323 -x7674 -x8025 -x8376 -x670 -x1019 -x2066 -x2415 -x2764 -x4165 -x5569 -x5920 x6271 -x6622 -x8377 1783.38 v -x2766 -x8379 -x324 x673 -x1022 -x1371 -x1720 -x2069 -x2418 -x2767 -x3116 -x3465 -x3817 -x4168 -x4519 -x4870 -x5221 -x5923 1783.38 v -x6274 -x6625 x6976 -x7327 -x7678 -x8029 -x8380 -x325 -x1721 -x2768 -x3117 -x3818 -x4169 -x4520 -x4871 x5222 -x8381 -x2769 1783.38 v -x3118 -x3819 -x8382 -x327 x676 -x1025 -x1723 -x2072 -x2421 -x2770 -x3119 -x3820 -x4171 -x4522 -x4873 x5224 -x5926 -x6277 1783.38 v -x6628 -x8383 -x2771 -x3120 -x3821 -x8384 -x329 x678 -x1027 -x1376 -x1725 -x2074 -x2423 -x3470 -x4173 -x4524 -x4875 -x5226 1783.38 v -x5577 -x5928 -x6279 -x6630 x6981 -x7332 -x7683 -x8034 -x679 -x1028 -x2075 -x2424 x2773 -x4174 -x5578 x5929 -x6280 -x6631 1783.38 v -x8386 -x331 x680 -x1029 -x1378 -x1727 -x2076 -x2425 -x3472 -x4175 -x4526 -x4877 -x5228 -x5579 -x5930 -x6281 -x6632 x6983 1783.38 v -x7334 -x7685 -x8036 -x2775 x3124 -x3825 -x4176 -x8388 -x333 -x682 -x1031 -x1380 -x1729 -x2078 -x2427 -x2776 x3474 -x4528 1783.38 v -x4879 x5230 -x5932 -x6283 -x6634 -x6985 -x7336 -x7687 -x8038 -x2777 x3126 -x3827 -x4178 x8390 -x335 -x1382 -x1731 -x3476 1783.38 v -x4530 -x4881 -x5232 -x6987 -x7338 -x7689 -x8040 -x4181 -x338 -x687 -x1036 -x1385 -x1734 -x2432 -x2781 -x3130 x3479 -x3831 1783.38 v -x4182 -x4533 -x4884 -x5235 x5586 -x5937 -x6288 -x6639 -x6990 -x7341 -x7692 -x8043 -x2782 x3131 -x3832 -x4183 x8395 -x2784 1783.38 v x3133 -x4185 -x4536 -x4887 -x5238 -x5589 -x5940 -x6291 -x6642 -x8397 x691 -x1040 -x1389 -x2087 -x2436 -x2785 -x3483 -x5941 1783.38 v -x6292 -x6643 -x6994 -x7345 -x7696 -x8047 -x8398 -x343 -x1390 -x1739 -x2088 -x3484 -x4187 -x4538 -x4889 -x5240 -x5591 1783.38 v -x6995 x7346 -x7697 -x8048 -x8399 -x2089 -x2787 -x5592 x8400 -x345 -x1741 -x3137 -x3838 -x4189 -x4540 x4891 -x5242 -x2789 1783.38 v x3138 -x3839 -x4190 x8402 -x2790 -x8403 -x3841 -x4543 -x4894 -x5245 -x5596 x5947 -x6298 -x6649 -x8404 -x349 -x698 -x1047 1783.38 v -x1396 -x1745 -x2094 -x2443 -x3141 x3490 -x350 -x699 -x1048 -x1397 -x1746 -x2444 -x3142 x3491 -x3842 -x4193 x4544 -x4895 1783.38 v -x5246 -x5597 -x5948 -x6299 -x6650 -x7001 -x7352 -x7703 -x8054 -x8405 x1 -x7 -x8 -x9 -x23 -x37 -x39 -x40 -x42 -x44 -x45 -x46 1783.38 v -x47 -x53 -x64 -x79 -x89 x92 -x98 -x100 x103 -x117 x119 -x120 x124 -x128 x130 -x140 x149 -x150 x153 x158 x160 -x161 -x167 x172 1783.38 v -x179 -x183 -x184 -x185 x189 -x193 -x216 -x222 -x234 -x237 -x240 -x241 -x243 -x256 -x261 -x275 -x288 -x289 -x290 -x303 -x306 1783.38 v -x312 x321 -x323 -x337 -x340 -x347 -x348 x355 -x358 -x372 x376 -x386 -x388 -x391 -x393 -x395 -x396 -x399 -x412 -x418 -x427 1783.38 v -x437 -x438 -x445 -x447 -x454 -x457 -x463 -x464 -x469 -x471 -x473 -x477 -x479 -x481 -x490 -x491 -x493 -x507 -x510 -x532 -x533 1783.38 v -x534 x551 x556 -x558 x566 -x567 -x568 -x571 x576 -x583 -x586 x587 -x589 -x594 x596 x598 -x609 x611 x613 x622 x635 x641 x652 1783.38 v -x654 -x655 x660 -x671 x672 x675 x677 x684 -x689 x694 -x696 -x697 -x704 -x707 -x721 -x723 -x725 -x735 -x737 -x740 -x742 -x744 1783.38 v -x745 -x748 -x761 -x767 -x776 -x786 -x787 -x794 -x796 -x803 -x806 -x812 -x813 -x818 -x820 -x822 -x826 -x828 -x830 -x839 -x840 1783.38 v -x842 -x856 -x859 -x881 -x882 -x883 -x900 -x905 -x907 -x915 -x916 -x917 -x920 -x925 -x932 -x935 -x936 -x938 -x943 -x945 -x947 1783.38 v -x958 -x960 -x962 -x971 -x984 -x990 -x1001 -x1003 -x1004 -x1009 -x1020 -x1021 -x1024 -x1026 -x1033 -x1038 -x1043 -x1045 1783.38 v -x1046 -x1054 -x1055 -x1070 -x1083 -x1084 -x1086 -x1087 -x1088 -x1089 -x1091 -x1092 -x1093 -x1094 -x1110 -x1121 -x1137 1783.38 v -x1142 -x1143 -x1145 -x1149 -x1151 -x1152 -x1155 -x1162 -x1167 -x1175 -x1176 -x1189 -x1194 -x1199 -x1208 -x1214 -x1222 1783.38 v -x1226 -x1230 -x1231 -x1232 -x1237 -x1240 -x1254 -x1257 -x1259 -x1265 -x1269 -x1281 -x1283 -x1284 -x1287 -x1292 -x1303 1783.38 v -x1307 -x1309 -x1311 -x1319 -x1327 -x1335 -x1336 -x1337 -x1343 -x1350 -x1353 -x1358 -x1364 -x1369 -x1379 -x1384 -x1387 1783.38 v -x1388 -x1395 -x1403 -x1404 x1405 -x1419 x1433 -x1435 x1436 x1438 x1440 x1441 -x1442 x1443 -x1449 -x1460 -x1475 x1485 -x1488 1783.38 v x1494 -x1496 -x1499 -x1513 -x1515 -x1516 -x1520 -x1524 -x1526 -x1536 -x1545 -x1546 -x1549 -x1554 -x1556 x1557 -x1563 -x1568 1783.38 v x1575 -x1579 -x1580 -x1581 -x1585 -x1589 x1605 -x1612 x1618 -x1630 x1633 -x1636 -x1637 -x1639 -x1652 -x1657 -x1671 x1684 1783.38 v x1685 x1686 -x1699 x1702 x1708 -x1717 -x1719 x1733 x1736 x1743 x1744 -x1751 -x1768 -x1770 -x1772 -x1782 -x1784 -x1787 -x1789 1783.38 v -x1791 -x1792 -x1795 -x1808 -x1814 -x1823 -x1824 -x1833 -x1834 -x1837 x1840 -x1841 -x1842 -x1843 -x1845 x1847 -x1848 -x1850 1783.38 v -x1852 -x1853 -x1860 -x1867 -x1869 -x1875 -x1877 -x1886 -x1889 -x1903 -x1906 -x1928 x1929 x1930 -x1947 -x1952 -x1962 x1963 1783.38 v x1964 -x1967 -x1972 -x1977 -x1979 -x1982 -x1985 -x1992 -x1994 -x2007 -x2009 -x2012 x2017 -x2020 -x2031 -x2037 -x2050 -x2051 1783.38 v -x2056 -x2067 -x2068 -x2071 -x2073 -x2077 -x2080 -x2085 -x2090 -x2093 -x2100 -x2103 -x2117 -x2119 -x2121 -x2131 -x2133 1783.38 v -x2136 -x2138 -x2140 -x2141 -x2144 -x2157 -x2163 -x2172 -x2182 -x2183 -x2190 -x2192 -x2199 -x2202 -x2208 -x2209 -x2214 1783.38 v -x2216 -x2218 -x2222 -x2224 -x2226 -x2235 -x2238 -x2252 -x2255 -x2277 -x2278 -x2279 -x2296 -x2301 -x2311 -x2312 -x2313 1783.38 v -x2316 -x2321 -x2328 -x2331 -x2332 -x2334 -x2339 -x2341 -x2343 -x2354 -x2356 -x2358 -x2367 -x2380 -x2386 -x2397 -x2399 1783.38 v -x2400 -x2405 -x2416 -x2417 -x2420 -x2422 -x2429 -x2434 -x2439 -x2442 -x2447 -x2450 -x2452 -x2460 -x2469 -x2474 -x2475 1783.38 v -x2478 -x2484 -x2518 -x2532 -x2535 -x2541 -x2546 -x2547 -x2559 -x2567 -x2573 x2584 x2585 x2595 -x2619 -x2622 -x2628 -x2635 1783.38 v -x2636 -x2638 -x2640 -x2652 -x2656 -x2660 -x2671 -x2674 -x2677 -x2680 -x2690 -x2698 -x2710 -x2716 -x2717 -x2724 -x2725 1783.38 v -x2729 -x2735 -x2737 -x2746 -x2749 -x2754 -x2755 -x2765 -x2788 -x2791 -x2792 -x2794 -x2798 x2799 -x2801 -x2809 -x2815 1783.38 v -x2819 -x2829 -x2832 -x2835 -x2839 -x2884 -x2890 -x2895 x2907 -x2916 -x2927 -x2968 -x2971 x2975 -x2976 -x2978 -x2987 -x2989 1783.38 v -x2995 -x3001 -x3006 -x3012 -x3019 -x3029 -x3037 -x3066 -x3076 -x3078 -x3080 -x3084 -x3098 -x3103 -x3104 -x3127 -x3128 1783.38 v -x3129 -x3134 x3135 -x3148 -x3149 x3164 -x3177 -x3178 x3180 -x3181 -x3182 -x3183 -x3185 -x3186 x3187 -x3188 -x3204 -x3215 1783.38 v -x3231 -x3236 -x3237 -x3239 -x3243 x3245 -x3246 -x3249 -x3256 -x3261 x3269 -x3270 -x3283 -x3288 -x3293 -x3302 -x3308 -x3316 1783.38 v -x3320 -x3324 -x3325 -x3326 -x3331 -x3334 -x3348 -x3350 -x3351 -x3353 -x3359 -x3363 -x3375 -x3377 -x3378 x3381 -x3386 1783.38 v -x3397 -x3401 -x3403 -x3405 -x3413 -x3421 -x3429 -x3430 -x3431 -x3437 -x3444 -x3447 -x3452 -x3458 -x3463 -x3473 -x3478 1783.38 v -x3481 -x3482 -x3489 -x3492 -x3496 -x3497 x3499 -x3507 -x3513 x3517 -x3527 x3530 -x3533 x3537 -x3585 -x3591 -x3597 -x3609 1783.38 v -x3618 -x3629 -x3671 x3674 -x3677 -x3678 -x3680 -x3689 -x3691 -x3697 -x3703 -x3708 -x3714 -x3730 -x3738 -x3767 -x3778 1783.38 v -x3780 x3782 -x3785 -x3787 x3800 x3805 -x3828 -x3829 -x3830 x3834 x3835 -x3836 -x3845 x3847 -x3848 -x3849 -x3851 -x3852 1783.38 v -x3857 -x3859 -x3864 -x3880 -x3883 -x3886 -x3887 -x3894 -x3906 -x3936 -x3942 x3948 -x3952 -x3959 -x3960 -x3974 -x3986 1783.38 v -x3987 -x4011 -x4012 -x4018 -x4019 -x4020 -x4025 -x4028 -x4029 -x4030 -x4038 -x4045 -x4047 -x4048 -x4052 x4054 -x4058 1783.38 v -x4059 -x4062 -x4063 x4065 x4067 -x4072 -x4075 -x4078 -x4080 x4091 -x4106 x4108 -x4111 -x4125 x4131 x4136 x4138 -x4148 1783.38 v -x4151 -x4167 x4170 x4172 x4184 -x4186 -x4192 -x4199 -x4200 -x4201 x4215 -x4229 -x4231 -x4232 -x4234 -x4236 -x4237 -x4238 1783.38 v -x4239 x4245 x4258 x4274 -x4284 -x4287 -x4293 x4295 -x4299 -x4313 -x4315 x4316 -x4320 x4324 -x4326 x4336 -x4345 -x4346 1783.38 v -x4349 -x4354 -x4356 -x4357 -x4363 -x4368 -x4370 -x4376 x4379 x4380 -x4381 -x4385 x4389 -x4405 -x4412 -x4418 x4429 -x4432 1783.38 v x4435 x4436 -x4438 x4451 -x4456 x4470 x4472 -x4484 -x4485 -x4486 x4499 -x4502 -x4507 -x4516 -x4518 -x4532 -x4535 -x4542 1783.38 v x4550 x4551 -x4552 -x4566 -x4580 x4582 -x4583 -x4585 -x4587 -x4588 x4589 -x4590 -x4596 -x4609 -x4625 -x4635 -x4638 -x4644 1783.38 v -x4646 -x4650 -x4664 -x4666 -x4667 -x4671 -x4675 -x4677 -x4687 -x4696 x4697 -x4700 -x4705 -x4707 -x4708 x4714 -x4719 -x4727 1783.38 v -x4730 -x4731 x4732 -x4736 -x4740 -x4756 -x4763 -x4769 -x4780 -x4783 -x4786 -x4787 x4789 -x4802 x4807 -x4821 -x4823 -x4835 1783.38 v -x4836 -x4837 -x4850 -x4853 -x4858 -x4867 x4869 -x4883 -x4886 -x4893 -x4901 -x4902 -x4903 -x4917 -x4931 -x4933 -x4934 1783.38 v -x4936 -x4938 -x4939 -x4940 -x4941 -x4947 -x4960 -x4976 -x4986 -x4989 -x4995 -x4997 -x5001 x5015 -x5017 -x5018 -x5022 1783.38 v -x5026 -x5028 -x5038 -x5047 -x5048 -x5051 -x5056 -x5058 -x5059 -x5065 -x5070 -x5072 -x5078 -x5081 -x5082 -x5083 -x5087 1783.38 v -x5091 x5114 -x5131 -x5134 -x5138 -x5140 -x5153 -x5158 -x5172 -x5174 -x5186 -x5187 -x5188 -x5204 -x5209 -x5218 -x5220 1783.38 v -x5237 -x5244 -x5249 -x5252 -x5260 -x5267 -x5268 -x5272 -x5282 -x5286 -x5292 -x5326 -x5327 -x5333 -x5336 x5337 x5340 -x5343 1783.38 v -x5344 x5345 -x5346 -x5348 -x5350 -x5352 -x5353 -x5354 x5356 -x5363 -x5373 -x5379 -x5390 -x5391 -x5407 -x5410 -x5432 -x5433 1783.38 v -x5434 -x5441 x5451 -x5456 -x5457 x5466 -x5467 -x5468 -x5471 -x5476 x5479 -x5480 -x5482 -x5485 x5486 -x5488 -x5495 -x5510 1783.38 v x5515 -x5520 -x5523 -x5525 -x5529 -x5535 -x5542 -x5549 -x5555 -x5570 -x5571 -x5580 x5583 -x5588 -x5593 -x5595 -x5605 -x5619 1783.38 v x5621 -x5623 -x5633 -x5635 -x5638 -x5640 -x5642 -x5643 -x5646 -x5661 -x5667 -x5677 -x5687 -x5688 -x5695 x5697 x5705 x5708 1783.38 v x5714 x5715 -x5720 -x5722 x5724 -x5728 x5730 -x5732 -x5741 -x5744 x5758 x5761 x5774 -x5783 -x5784 -x5785 -x5802 -x5807 1783.38 v -x5818 -x5819 -x5822 -x5833 -x5836 -x5837 -x5839 -x5846 -x5848 -x5859 -x5861 -x5863 -x5872 -x5886 -x5893 -x5903 x5905 1783.38 v -x5906 -x5921 -x5922 -x5925 -x5927 -x5934 -x5939 -x5944 -x5953 -x5956 -x5970 -x5972 -x5974 x5984 -x5986 x5989 -x5991 -x5993 1783.38 v -x5994 x5997 x6012 x6018 x6028 x6038 -x6039 x6046 -x6048 -x6056 -x6059 -x6065 -x6066 -x6071 x6073 -x6075 -x6079 -x6081 1783.38 v x6083 x6092 x6093 x6095 -x6109 -x6112 -x6125 -x6134 -x6135 -x6136 -x6153 -x6158 -x6168 -x6170 -x6184 x6187 -x6188 x6195 1783.38 v -x6197 -x6199 x6210 -x6212 -x6214 -x6223 -x6237 -x6244 -x6256 -x6257 x6272 -x6273 -x6276 -x6278 -x6290 -x6295 -x6297 -x6304 1783.38 v -x6307 -x6321 -x6323 -x6325 -x6335 -x6337 -x6340 x6342 -x6345 -x6348 -x6363 -x6369 -x6379 -x6389 -x6390 -x6397 -x6399 1783.38 v -x6407 -x6410 -x6416 -x6417 -x6422 -x6424 -x6426 -x6430 -x6432 -x6434 -x6443 -x6444 -x6446 -x6460 -x6463 -x6476 -x6485 1783.38 v -x6486 -x6487 -x6504 -x6509 -x6519 -x6520 -x6521 -x6524 -x6535 -x6538 -x6539 -x6541 -x6546 -x6548 -x6550 -x6561 -x6563 1783.38 v -x6565 -x6574 -x6588 -x6595 -x6605 -x6607 -x6608 -x6623 -x6624 -x6627 -x6629 -x6636 -x6641 -x6646 x6648 -x6656 -x6657 1783.38 v -x6672 -x6685 -x6686 -x6688 -x6689 -x6690 -x6691 -x6693 -x6694 -x6695 -x6696 -x6714 -x6725 -x6742 -x6747 -x6748 -x6750 1783.38 v -x6754 -x6757 -x6758 -x6761 -x6768 -x6773 -x6781 -x6782 -x6795 -x6800 -x6805 -x6814 -x6820 -x6827 -x6829 -x6833 -x6836 1783.38 v -x6837 -x6838 -x6843 -x6846 -x6860 -x6863 -x6865 x6871 -x6875 -x6886 x6888 -x6889 -x6892 -x6897 -x6908 -x6912 -x6914 -x6916 1783.38 v x6924 -x6929 x6933 -x6941 -x6942 -x6943 -x6956 -x6959 -x6969 -x6974 x6984 -x6989 -x6992 -x7007 -x7008 -x7023 x7036 -x7037 1783.38 v -x7039 -x7040 x7041 -x7042 -x7044 -x7045 -x7046 -x7047 -x7065 x7076 x7093 x7098 -x7099 -x7101 x7105 -x7108 -x7109 -x7112 1783.38 v -x7119 -x7124 -x7132 x7133 -x7146 x7151 x7156 -x7165 -x7171 -x7178 x7180 -x7184 -x7187 -x7188 -x7189 x7194 -x7197 x7211 1783.38 v -x7213 x7214 x7216 -x7222 -x7226 -x7237 -x7239 -x7240 -x7243 -x7248 -x7259 -x7263 -x7265 -x7267 -x7275 -x7280 -x7284 -x7292 1783.38 v -x7293 -x7294 -x7307 -x7310 -x7320 -x7325 -x7335 -x7340 -x7343 -x7358 -x7359 -x7374 -x7387 -x7388 -x7390 -x7391 -x7392 1783.38 v -x7393 -x7395 x7396 -x7397 -x7398 -x7416 -x7427 -x7444 -x7449 -x7450 -x7452 -x7456 -x7459 -x7460 -x7463 -x7470 -x7475 1783.38 v -x7483 -x7497 -x7502 -x7507 -x7516 -x7522 -x7529 -x7531 -x7535 -x7538 -x7539 -x7540 -x7545 -x7548 -x7562 -x7564 -x7565 1783.38 v -x7567 -x7573 -x7577 -x7588 -x7590 -x7591 -x7594 -x7599 -x7610 -x7614 -x7616 -x7618 -x7626 -x7631 -x7635 -x7643 -x7644 1783.38 v -x7645 -x7658 -x7661 -x7671 -x7676 -x7686 -x7691 -x7694 -x7709 -x7710 -x7725 -x7739 -x7741 -x7742 -x7743 -x7744 -x7746 1783.38 v -x7747 -x7748 -x7749 -x7767 -x7778 -x7795 -x7800 -x7801 -x7803 -x7807 -x7810 -x7811 -x7814 -x7821 -x7826 -x7834 -x7835 1783.38 v -x7848 -x7853 -x7858 -x7867 -x7873 -x7880 -x7882 -x7886 -x7889 -x7890 -x7891 -x7899 -x7913 -x7915 -x7916 -x7918 -x7924 1783.38 v -x7928 -x7939 -x7941 -x7942 -x7945 -x7950 -x7961 -x7965 -x7967 -x7969 -x7977 -x7982 -x7986 -x7994 -x7995 -x7996 -x8009 1783.38 v -x8012 -x8022 -x8027 -x8037 -x8042 -x8045 x8057 -x8059 -x8060 -x8062 -x8071 -x8079 -x8084 -x8085 -x8090 -x8100 -x8145 1783.38 v -x8148 -x8153 -x8154 -x8160 -x8161 -x8164 -x8187 -x8198 -x8199 -x8209 -x8231 -x8234 -x8237 -x8242 -x8250 -x8252 -x8254 1783.38 v -x8266 -x8270 -x8274 -x8293 -x8323 -x8329 -x8333 -x8339 -x8343 -x8363 -x8368 -x8378 -x8389 -x8391
OK 38437
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/node3/watcher-37031-1149291129 -o ROOT/results/node3/solver-37031-1149291129 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node3/37031-1149291129/instance-37031-1149291129.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.90 2/64 22046 /proc/meminfo: memFree=1229224/2055920 swapFree=4181424/4192956 [pid=22046] ppid=22044 vsize=964 CPUtime=0 /proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 51 0 0 0 0 0 0 0 18 0 1 0 194774587 987136 35 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 10924836 0 0 4096 0 0 0 0 17 1 0 0 /proc/22046/statm: 276 35 27 16 0 8 0 [startup+10.0018 s] /proc/loadavg: 0.93 0.95 0.90 2/64 22046 /proc/meminfo: memFree=1217704/2055920 swapFree=4181424/4192956 [pid=22046] ppid=22044 vsize=14448 CPUtime=9.99 /proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 3117 0 0 0 998 1 0 0 25 0 1 0 194774587 14794752 3088 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134524559 0 0 4096 0 0 0 0 17 1 0 0 /proc/22046/statm: 3612 3088 206 16 0 3053 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 14448 [startup+20.0074 s] /proc/loadavg: 0.94 0.96 0.91 2/64 22046 /proc/meminfo: memFree=1205032/2055920 swapFree=4181424/4192956 [pid=22046] ppid=22044 vsize=27008 CPUtime=20 /proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 6265 0 0 0 1997 3 0 0 25 0 1 0 194774587 27656192 6236 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134529012 0 0 4096 0 0 0 0 17 1 0 0 /proc/22046/statm: 6752 6236 206 16 0 6193 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 27008 [startup+30.0131 s] /proc/loadavg: 0.95 0.96 0.91 2/64 22046 /proc/meminfo: memFree=1192488/2055920 swapFree=4181424/4192956 [pid=22046] ppid=22044 vsize=39576 CPUtime=30 /proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 9395 0 0 0 2996 4 0 0 25 0 1 0 194774587 40525824 9366 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 11359867 0 0 4096 0 0 0 0 17 1 0 0 /proc/22046/statm: 9894 9366 206 16 0 9335 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 39576 [startup+40.0187 s] /proc/loadavg: 0.95 0.96 0.91 2/64 22046 /proc/meminfo: memFree=1184744/2055920 swapFree=4181424/4192956 [pid=22046] ppid=22044 vsize=47352 CPUtime=40 /proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 11326 0 0 0 3996 4 0 0 25 0 1 0 194774587 48488448 11297 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/22046/statm: 11838 11297 206 16 0 11279 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 47352 [startup+50.0243 s] /proc/loadavg: 0.96 0.96 0.91 2/64 22046 /proc/meminfo: memFree=1183656/2055920 swapFree=4181424/4192956 [pid=22046] ppid=22044 vsize=48412 CPUtime=50 /proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 11596 0 0 0 4996 4 0 0 25 0 1 0 194774587 49573888 11567 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/22046/statm: 12103 11567 206 16 0 11544 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 48412 [startup+60.03 s] /proc/loadavg: 0.97 0.96 0.91 2/64 22046 /proc/meminfo: memFree=1183720/2055920 swapFree=4181424/4192956 [pid=22046] ppid=22044 vsize=48412 CPUtime=60 /proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 11596 0 0 0 5996 4 0 0 25 0 1 0 194774587 49573888 11567 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134533492 0 0 4096 0 0 0 0 17 1 0 0 /proc/22046/statm: 12103 11567 206 16 0 11544 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 48412 [startup+70.0356 s] /proc/loadavg: 0.97 0.96 0.91 2/64 22046 /proc/meminfo: memFree=1178344/2055920 swapFree=4181424/4192956 [pid=22046] ppid=22044 vsize=53832 CPUtime=70 /proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 12940 0 0 0 6995 5 0 0 25 0 1 0 194774587 55123968 12911 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0 /proc/22046/statm: 13458 12911 206 16 0 12899 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 53832 [startup+80.0412 s] /proc/loadavg: 0.98 0.96 0.91 2/64 22046 /proc/meminfo: memFree=1121384/2055920 swapFree=4181424/4192956 [pid=22046] ppid=22044 vsize=110576 CPUtime=80 /proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 27152 0 0 0 7988 12 0 0 25 0 1 0 194774587 113229824 27123 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/22046/statm: 27644 27123 206 16 0 27085 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 110576 [startup+90.0469 s] /proc/loadavg: 0.98 0.96 0.91 2/64 22046 /proc/meminfo: memFree=1078568/2055920 swapFree=4181424/4192956 [pid=22046] ppid=22044 vsize=153356 CPUtime=90.01 /proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 37832 0 0 0 8982 19 0 0 25 0 1 0 194774587 157036544 37803 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/22046/statm: 38339 37803 206 16 0 37780 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 153356 [startup+100.052 s] /proc/loadavg: 0.98 0.96 0.91 2/64 22046 /proc/meminfo: memFree=1078568/2055920 swapFree=4181424/4192956 [pid=22046] ppid=22044 vsize=153356 CPUtime=100.01 /proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 37832 0 0 0 9981 20 0 0 25 0 1 0 194774587 157036544 37803 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/22046/statm: 38339 37803 206 16 0 37780 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 153356 [startup+110.058 s] /proc/loadavg: 0.98 0.96 0.91 2/64 22046 /proc/meminfo: memFree=1093928/2055920 swapFree=4181424/4192956 [pid=22046] ppid=22044 vsize=137664 CPUtime=110.01 /proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 37832 0 0 0 10981 20 0 0 25 0 1 0 194774587 140967936 33904 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/22046/statm: 34416 33904 206 16 0 33857 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 137664 [startup+120.064 s] /proc/loadavg: 0.99 0.97 0.91 2/64 22048 /proc/meminfo: memFree=1093928/2055920 swapFree=4181424/4192956 [pid=22046] ppid=22044 vsize=137664 CPUtime=120.01 /proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 37832 0 0 0 11981 20 0 0 25 0 1 0 194774587 140967936 33904 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0 /proc/22046/statm: 34416 33904 206 16 0 33857 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 137664 [startup+130.069 s] /proc/loadavg: 0.99 0.97 0.91 2/64 22048 /proc/meminfo: memFree=1093992/2055920 swapFree=4181424/4192956 [pid=22046] ppid=22044 vsize=137664 CPUtime=130.02 /proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 37832 0 0 0 12981 21 0 0 25 0 1 0 194774587 140967936 33904 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557350 0 0 4096 0 0 0 0 17 1 0 0 /proc/22046/statm: 34416 33904 206 16 0 33857 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 137664 [startup+140.075 s] /proc/loadavg: 0.99 0.97 0.91 2/64 22048 /proc/meminfo: memFree=1067944/2055920 swapFree=4181424/4192956 [pid=22046] ppid=22044 vsize=164008 CPUtime=140.02 /proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 44394 0 0 0 13978 24 0 0 25 0 1 0 194774587 167944192 40466 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/22046/statm: 41002 40466 206 16 0 40443 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 164008 [startup+150.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 22048 /proc/meminfo: memFree=986216/2055920 swapFree=4181424/4192956 [pid=22046] ppid=22044 vsize=245452 CPUtime=150.02 /proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 64776 0 0 0 14966 36 0 0 25 0 1 0 194774587 251342848 60848 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557374 0 0 4096 0 0 0 0 17 1 0 0 /proc/22046/statm: 61363 60848 206 16 0 60804 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 245452 [startup+160.086 s] /proc/loadavg: 0.99 0.97 0.91 2/64 22048 /proc/meminfo: memFree=959080/2055920 swapFree=4181424/4192956 [pid=22046] ppid=22044 vsize=272584 CPUtime=160.02 /proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 71536 0 0 0 15963 39 0 0 25 0 1 0 194774587 279126016 67608 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517890 0 0 4096 0 0 0 0 17 1 0 0 /proc/22046/statm: 68146 67608 206 16 0 67587 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 272584 [startup+170.093 s] /proc/loadavg: 0.99 0.97 0.91 2/64 22048 /proc/meminfo: memFree=953896/2055920 swapFree=4181424/4192956 [pid=22046] ppid=22044 vsize=277760 CPUtime=170.03 /proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 72830 0 0 0 16963 40 0 0 25 0 1 0 194774587 284426240 68902 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/22046/statm: 69440 68902 206 16 0 68881 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 277760 [startup+180.099 s] /proc/loadavg: 0.99 0.97 0.91 2/64 22048 /proc/meminfo: memFree=942568/2055920 swapFree=4181424/4192956 [pid=22046] ppid=22044 vsize=289072 CPUtime=180.03 /proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 75655 0 0 0 17960 43 0 0 25 0 1 0 194774587 296009728 71727 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0 /proc/22046/statm: 72268 71727 206 16 0 71709 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 289072 [startup+190.104 s] /proc/loadavg: 0.99 0.97 0.91 2/64 22048 /proc/meminfo: memFree=942568/2055920 swapFree=4181424/4192956 [pid=22046] ppid=22044 vsize=289072 CPUtime=190.04 /proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 75655 0 0 0 18960 44 0 0 25 0 1 0 194774587 296009728 71727 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/22046/statm: 72268 71727 206 16 0 71709 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 289072 [startup+200.111 s] /proc/loadavg: 0.99 0.97 0.91 2/64 22048 /proc/meminfo: memFree=942568/2055920 swapFree=4181424/4192956 [pid=22046] ppid=22044 vsize=289072 CPUtime=200.04 /proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 75655 0 0 0 19960 44 0 0 25 0 1 0 194774587 296009728 71727 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0 /proc/22046/statm: 72268 71727 206 16 0 71709 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 289072 [startup+210.117 s] /proc/loadavg: 0.99 0.97 0.91 2/64 22048 /proc/meminfo: memFree=942632/2055920 swapFree=4181424/4192956 ################ # More data... # ################ /proc/22046/statm: 125346 124779 206 16 0 124787 0 Current children cumulated CPU time (s) 1590.49 Current children cumulated vsize (Kb) 501384 [startup+1601.01 s] /proc/loadavg: 0.99 0.97 0.91 2/64 22048 /proc/meminfo: memFree=729640/2055920 swapFree=4181424/4192956 [pid=22046] ppid=22044 vsize=501608 CPUtime=1600.49 /proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 135714 0 0 0 159739 310 0 0 25 0 1 0 194774587 513646592 124824 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22046/statm: 125402 124824 206 16 0 124843 0 Current children cumulated CPU time (s) 1600.49 Current children cumulated vsize (Kb) 501608 [startup+1611.01 s] /proc/loadavg: 0.99 0.97 0.91 2/64 22048 /proc/meminfo: memFree=729640/2055920 swapFree=4181424/4192956 [pid=22046] ppid=22044 vsize=501608 CPUtime=1610.5 /proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 135714 0 0 0 160739 311 0 0 25 0 1 0 194774587 513646592 124824 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22046/statm: 125402 124824 206 16 0 124843 0 Current children cumulated CPU time (s) 1610.5 Current children cumulated vsize (Kb) 501608 [startup+1621.02 s] /proc/loadavg: 0.99 0.97 0.91 2/64 22048 /proc/meminfo: memFree=729640/2055920 swapFree=4181424/4192956 [pid=22046] ppid=22044 vsize=501608 CPUtime=1620.5 /proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 135714 0 0 0 161738 312 0 0 25 0 1 0 194774587 513646592 124824 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/22046/statm: 125402 124824 206 16 0 124843 0 Current children cumulated CPU time (s) 1620.5 Current children cumulated vsize (Kb) 501608 [startup+1631.03 s] /proc/loadavg: 0.99 0.97 0.91 2/64 22048 /proc/meminfo: memFree=729640/2055920 swapFree=4181424/4192956 [pid=22046] ppid=22044 vsize=501608 CPUtime=1630.5 /proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 135714 0 0 0 162734 316 0 0 25 0 1 0 194774587 513646592 124824 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22046/statm: 125402 124824 206 16 0 124843 0 Current children cumulated CPU time (s) 1630.5 Current children cumulated vsize (Kb) 501608 [startup+1641.03 s] /proc/loadavg: 0.99 0.97 0.91 2/64 22048 /proc/meminfo: memFree=729256/2055920 swapFree=4181424/4192956 [pid=22046] ppid=22044 vsize=501956 CPUtime=1640.5 /proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 135805 0 0 0 163728 322 0 0 25 0 1 0 194774587 514002944 124915 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22046/statm: 125489 124915 206 16 0 124930 0 Current children cumulated CPU time (s) 1640.5 Current children cumulated vsize (Kb) 501956 [startup+1651.04 s] /proc/loadavg: 0.99 0.97 0.91 2/64 22048 /proc/meminfo: memFree=729256/2055920 swapFree=4181424/4192956 [pid=22046] ppid=22044 vsize=501956 CPUtime=1650.5 /proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 135805 0 0 0 164727 323 0 0 25 0 1 0 194774587 514002944 124915 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/22046/statm: 125489 124915 206 16 0 124930 0 Current children cumulated CPU time (s) 1650.5 Current children cumulated vsize (Kb) 501956 [startup+1661.04 s] /proc/loadavg: 0.99 0.97 0.91 2/64 22048 /proc/meminfo: memFree=729256/2055920 swapFree=4181424/4192956 [pid=22046] ppid=22044 vsize=501956 CPUtime=1660.51 /proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 135805 0 0 0 165727 324 0 0 25 0 1 0 194774587 514002944 124915 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528635 0 0 4096 0 0 0 0 17 1 0 0 /proc/22046/statm: 125489 124915 206 16 0 124930 0 Current children cumulated CPU time (s) 1660.51 Current children cumulated vsize (Kb) 501956 [startup+1671.05 s] /proc/loadavg: 0.99 0.97 0.91 2/64 22048 /proc/meminfo: memFree=729256/2055920 swapFree=4181424/4192956 [pid=22046] ppid=22044 vsize=501956 CPUtime=1670.51 /proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 135808 0 0 0 166727 324 0 0 25 0 1 0 194774587 514002944 124918 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0 /proc/22046/statm: 125489 124918 206 16 0 124930 0 Current children cumulated CPU time (s) 1670.51 Current children cumulated vsize (Kb) 501956 [startup+1681.05 s] /proc/loadavg: 0.99 0.97 0.91 2/64 22048 /proc/meminfo: memFree=728936/2055920 swapFree=4181424/4192956 [pid=22046] ppid=22044 vsize=502292 CPUtime=1680.51 /proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 135896 0 0 0 167726 325 0 0 25 0 1 0 194774587 514347008 125006 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557325 0 0 4096 0 0 0 0 17 1 0 0 /proc/22046/statm: 125573 125006 206 16 0 125014 0 Current children cumulated CPU time (s) 1680.51 Current children cumulated vsize (Kb) 502292 [startup+1691.06 s] /proc/loadavg: 0.99 0.97 0.91 2/64 22048 /proc/meminfo: memFree=728936/2055920 swapFree=4181424/4192956 [pid=22046] ppid=22044 vsize=502292 CPUtime=1690.52 /proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 135896 0 0 0 168726 326 0 0 25 0 1 0 194774587 514347008 125006 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22046/statm: 125573 125006 206 16 0 125014 0 Current children cumulated CPU time (s) 1690.52 Current children cumulated vsize (Kb) 502292 [startup+1701.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 22048 /proc/meminfo: memFree=728936/2055920 swapFree=4181424/4192956 [pid=22046] ppid=22044 vsize=502292 CPUtime=1700.52 /proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 135896 0 0 0 169724 328 0 0 25 0 1 0 194774587 514347008 125006 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22046/statm: 125573 125006 206 16 0 125014 0 Current children cumulated CPU time (s) 1700.52 Current children cumulated vsize (Kb) 502292 [startup+1711.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 22048 /proc/meminfo: memFree=731816/2055920 swapFree=4181424/4192956 [pid=22046] ppid=22044 vsize=499184 CPUtime=1710.52 /proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 135896 0 0 0 170723 329 0 0 25 0 1 0 194774587 511164416 124235 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22046/statm: 124796 124235 206 16 0 124237 0 Current children cumulated CPU time (s) 1710.52 Current children cumulated vsize (Kb) 499184 [startup+1721.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 22048 /proc/meminfo: memFree=731816/2055920 swapFree=4181424/4192956 [pid=22046] ppid=22044 vsize=499184 CPUtime=1720.53 /proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 135896 0 0 0 171722 331 0 0 25 0 1 0 194774587 511164416 124235 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557353 0 0 4096 0 0 0 0 17 1 0 0 /proc/22046/statm: 124796 124235 206 16 0 124237 0 Current children cumulated CPU time (s) 1720.53 Current children cumulated vsize (Kb) 499184 [startup+1731.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 22048 /proc/meminfo: memFree=731816/2055920 swapFree=4181424/4192956 [pid=22046] ppid=22044 vsize=499184 CPUtime=1730.53 /proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 135896 0 0 0 172721 332 0 0 25 0 1 0 194774587 511164416 124235 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/22046/statm: 124796 124235 206 16 0 124237 0 Current children cumulated CPU time (s) 1730.53 Current children cumulated vsize (Kb) 499184 [startup+1741.09 s] /proc/loadavg: 0.99 0.97 0.91 2/70 22119 /proc/meminfo: memFree=730680/2055920 swapFree=4181424/4192956 [pid=22046] ppid=22044 vsize=499184 CPUtime=1740.49 /proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 135896 0 0 0 173715 334 0 0 25 0 1 0 194774587 511164416 124235 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22046/statm: 124796 124235 206 16 0 124237 0 Current children cumulated CPU time (s) 1740.49 Current children cumulated vsize (Kb) 499184 [startup+1751.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 22243 /proc/meminfo: memFree=729576/2055920 swapFree=4181424/4192956 [pid=22046] ppid=22044 vsize=501276 CPUtime=1750.46 /proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 136409 0 0 0 174711 335 0 0 25 0 1 0 194774587 513306624 124748 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517710 0 0 4096 0 0 0 0 17 1 0 0 /proc/22046/statm: 125319 124748 206 16 0 124760 0 Current children cumulated CPU time (s) 1750.46 Current children cumulated vsize (Kb) 501276 [startup+1761.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 22243 /proc/meminfo: memFree=729576/2055920 swapFree=4181424/4192956 [pid=22046] ppid=22044 vsize=501276 CPUtime=1760.45 /proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 136409 0 0 0 175709 336 0 0 25 0 1 0 194774587 513306624 124748 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22046/statm: 125319 124748 206 16 0 124760 0 Current children cumulated CPU time (s) 1760.45 Current children cumulated vsize (Kb) 501276 [startup+1771.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 22243 /proc/meminfo: memFree=729576/2055920 swapFree=4181424/4192956 [pid=22046] ppid=22044 vsize=501276 CPUtime=1770.45 /proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 136409 0 0 0 176709 336 0 0 25 0 1 0 194774587 513306624 124748 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22046/statm: 125319 124748 206 16 0 124760 0 Current children cumulated CPU time (s) 1770.45 Current children cumulated vsize (Kb) 501276 [startup+1781.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 22243 /proc/meminfo: memFree=729576/2055920 swapFree=4181424/4192956 [pid=22046] ppid=22044 vsize=501276 CPUtime=1780.46 /proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 136409 0 0 0 177709 337 0 0 25 0 1 0 194774587 513306624 124748 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/22046/statm: 125319 124748 206 16 0 124760 0 Current children cumulated CPU time (s) 1780.46 Current children cumulated vsize (Kb) 501276 [startup+1782.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 22243 /proc/meminfo: memFree=729576/2055920 swapFree=4181424/4192956 [pid=22046] ppid=22044 vsize=501276 CPUtime=1781.46 /proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 136409 0 0 0 177809 337 0 0 25 0 1 0 194774587 513306624 124748 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527652 0 0 4096 0 0 0 0 17 1 0 0 /proc/22046/statm: 125319 124748 206 16 0 124760 0 Current children cumulated CPU time (s) 1781.46 Current children cumulated vsize (Kb) 501276 [startup+1783.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 22243 /proc/meminfo: memFree=729576/2055920 swapFree=4181424/4192956 [pid=22046] ppid=22044 vsize=501276 CPUtime=1782.47 /proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 136409 0 0 0 177910 337 0 0 25 0 1 0 194774587 513306624 124748 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528577 0 0 4096 0 0 0 0 17 1 0 0 /proc/22046/statm: 125319 124748 206 16 0 124760 0 Current children cumulated CPU time (s) 1782.47 Current children cumulated vsize (Kb) 501276 Child status: 10 Real time (s): 1783.47 CPU time (s): 1782.82 CPU user time (s): 1779.37 CPU system time (s): 3.45447 CPU usage (%): 99.9636 Max. virtual memory (cumulated for all children) (Kb): 502292
Begin job on node3 on Fri Jun 2 23:32:09 UTC 2006 FILE ID= 37031-1149291129 PBS_JOBID= 306868 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-2.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node3/37031-1149291129/instance-37031-1149291129.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-37031-1149291129 -o ROOT/results/node3/solver-37031-1149291129 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node3/37031-1149291129/instance-37031-1149291129.opb MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff MD5SUM BENCH= f480d2d56550630df651872786c078c9 RANDOM SEED= 54342903 /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: 1229432 kB Buffers: 34468 kB Cached: 718148 kB SwapCached: 3612 kB Active: 151324 kB Inactive: 610400 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1229432 kB SwapTotal: 4192956 kB SwapFree: 4181424 kB Dirty: 160 kB Writeback: 0 kB Mapped: 14932 kB Slab: 50844 kB Committed_AS: 261200 kB PageTables: 1408 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node3 on Sat Jun 3 00:01:52 UTC 2006