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