Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | Objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB-smodels 1.31 | SAT (TO) | 258 | 1800.21 | 1800.27 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-30:70:4.5:0.95:98.opb |
| MD5SUM | dae2a99f19ab3cbb5b0fd1a29cad1e80 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 203 |
| Best CPU time to get the best result obtained on this benchmark | 1801.22 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 203 |
| Optimality of the best value was proved | NO |
| Number of variables | 10989 |
| Total number of constraints | 12472 |
| Number of constraints which are clauses | 10469 |
| Number of constraints which are cardinality constraints (but not clauses) | 2003 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 25 |
| Number of terms in the objective function | 10989 |
| Biggest coefficient in the objective function | 5985 |
| Number of bits for the biggest coefficient in the objective function | 13 |
| Sum of the numbers in the objective function | 32028 |
| Number of bits of the sum of numbers in the objective function | 15 |
| Biggest number in a constraint | 5985 |
| Number of bits of the biggest number in a constraint | 13 |
| Biggest sum of numbers in a constraint | 32028 |
| Number of bits of the biggest sum of numbers | 15 |
| 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 Running pbsmodels-v1.31 60.47 o 313 110.97 o 293 211.40 o 291 458.89 o 286 655.98 o 280 1348.66 o 269 1792.99 o 258 1800.25 sh: line 1: 20000 Done pb2smodels ROOT/tmp/node26/45873-1154048697/instance-45873-1154048697.opb ROOT/tmp/node26/45873-1154048697 1800.25 20001 Terminated | smodels-2.31 0 -seed 224551078 1800.25 20002 Terminated | pbout.new.pl ROOT/tmp/node26/45873-1154048697/instance-45873-1154048697.opb ROOT/tmp/node26/45873-1154048697 1800.25 s SATISFIABLE 1800.25 v x1 x10813 x4339 x10817 x4338 x4336 x1007 x2590 x1693 x1005 x2589 x1694 x2591 x1695 x1006 x6014 x2595 x1702 x6016 x5005 x1696 1800.25 v x5004 x1697 x6017 x5006 x1698 x5421 x5010 x4597 x5009 x10233 x5427 x386 x1889 x389 x10232 x1888 x388 x7852 x1890 x10238 x7851 1800.25 v x1894 x10236 x7857 x1893 x7856 x5697 x10237 x7858 x5695 x10241 x9521 x9215 x5696 x9520 x9214 x5700 x1177 x9526 x9217 x1176 1800.25 v x9218 x1327 x1180 x9221 x1326 x7547 x1328 x1181 x7548 x1332 x5238 x1331 x5237 x3976 x1329 x5239 x3977 x1330 x5240 x10258 1800.25 v x7317 x5247 x6032 x5241 x6031 x5242 x1675 x6037 x5243 x1677 x6036 x5670 x1678 x6038 x5671 x1679 x6042 x1686 x3929 x2150 x1680 1800.25 v x5991 x3930 x2149 x5992 x3931 x2154 x9404 x3938 x9406 x6440 x3932 x9407 x6439 x6327 x9408 x6331 x9415 x6442 x9409 x6443 x6332 1800.25 v x9410 x6446 x9411 x8639 x6444 x10982 x8641 x7900 x8646 x8645 x7904 x9920 x8643 x7902 x9668 x8644 x7903 x653 x9669 x7919 x655 1800.25 v x9676 x8874 x7918 x8875 x7923 x844 x8882 x3304 x843 x8876 x3305 x845 x846 x10983 x10812 x4343 x10816 x1008 x2587 x1011 x2588 1800.25 v x1009 x8992 x8258 x6015 x8259 x6018 x8998 x5002 x5003 x5419 x5014 x4596 x5420 x10228 x2565 x1885 x387 x10234 x1886 x401 x1887 1800.25 v x10239 x1898 x7853 x10242 x7854 x5698 x10240 x7855 x7866 x5701 x5699 x9522 x9216 x9527 x9213 x1178 x9222 x1182 x1324 x1325 1800.25 v x7555 x1336 x1184 x7556 x3978 x5250 x5251 x10257 x7316 x6418 x5246 x10263 x6033 x6034 x5672 x1689 x6035 x1690 x6046 x1685 1800.25 v x5993 x5675 x1683 x3942 x2158 x6434 x9418 x6436 x6329 x9419 x6441 x6333 x9414 x6438 x6447 x9412 x6335 x7898 x8642 x8654 x8650 1800.25 v x7905 x9928 x8649 x9924 x9923 x9680 x7917 x652 x7931 x1258 x663 x8886 x3303 x4298 x3300 x3309 x849 x850 x4346 x4347 x10814 1800.25 v x6194 x4342 x1003 x10818 x8253 x8257 x1012 x8261 x5623 x8260 x8994 x6010 x6011 x10432 x8999 x6026 x5018 x5434 x4598 x5435 1800.25 v x4603 x2564 x10227 x400 x10229 x263 x10235 x9242 x10231 x10243 x5694 x7869 x5690 x7870 x5702 x7865 x6940 x7863 x6944 x9523 1800.25 v x9212 x9519 x9230 x1179 x9531 x9226 x1183 x9225 x1339 x1187 x7553 x1340 x1186 x1335 x5249 x3979 x1333 x5248 x3982 x3980 x10259 1800.25 v x7318 x6420 x10264 x1688 x1687 x10267 x5673 x6050 x5989 x5676 x5674 x5994 x1684 x8692 x9417 x5997 x2424 x9416 x6330 x6437 1800.25 v x6334 x6455 x6338 x6451 x6337 x10644 x6450 x7037 x8651 x8653 x7899 x9925 x7913 x9927 x7909 x8647 x7908 x9921 x2037 x1254 1800.25 v x667 x9922 x2655 x1250 x3299 x1940 x3317 x1944 x848 x4299 x3313 x847 x10809 x4344 x6195 x10815 x10819 x8247 x1004 x8248 x4000 1800.25 v x1020 x8249 x5619 x4004 x8265 x5615 x4008 x5627 x10419 x4653 x10420 x8995 x10436 x8991 x5433 x9003 x5432 x9451 x4599 x4595 1800.25 v x2566 x4607 x259 x9239 x255 x10230 x9243 x10251 x9247 x7868 x10247 x7867 x5689 x5710 x1603 x5706 x5705 x6932 x7738 x6948 1800.25 v x9518 x4384 x1173 x9539 x1174 x9535 x1175 x9534 x9223 x4386 x9224 x3975 x5868 x3971 x1334 x7312 x3983 x7311 x10254 x7319 1800.25 v x6421 x10260 x10256 x7327 x6424 x10268 x5669 x5665 x782 x5982 x5677 x5984 x5990 x7302 x5986 x8684 x5998 x2420 x6167 x2416 1800.25 v x6166 x6325 x2871 x6326 x3351 x9805 x6342 x3347 x3359 x10645 x6448 x7039 x7910 x5441 x7912 x5447 x7906 x3910 x3914 x7907 1800.25 v x2039 x1930 x3798 x1931 x2654 x1932 x1266 x4022 x2656 x1948 x4295 x4028 x4303 x3781 x10984 x6203 x4345 x10808 x6199 x10810 1800.25 v x6198 x1017 x10811 x1019 x10827 x1841 x8269 x3996 x1845 x10484 x8264 x1849 x5631 x4649 x10439 x5630 x4645 x10440 x4657 x10495 1800.25 v x9011 x680 x9739 x9450 x4620 x2567 x4632 x4611 x4610 x2575 x275 x9235 x271 x9251 x5707 x270 x5709 x1599 x1595 x1607 x5703 1800.25 v x5598 x4373 x7734 x6952 x7730 x6947 x5704 x4385 x6945 x4389 x2449 x4388 x9532 x7785 x9533 x6590 x3970 x5863 x3991 x5864 x3987 1800.25 v x6411 x5880 x7313 x7314 x6413 x10255 x7315 x6425 x6489 x783 x10272 x5664 x781 x10271 x5685 x5681 x7289 x5680 x7290 x5985 1800.25 v x6006 x1084 x6155 x6002 x1085 x6171 x6001 x2436 x2867 x2432 x6345 x2863 x2345 x9801 x6346 x9797 x6341 x3367 x9809 x10637 1800.25 v x6339 x5437 x10649 x7040 x10327 x7044 x5443 x9650 x5448 x4053 x4057 x3905 x3906 x10618 x2040 x3800 x2 x1952 x4024 x10 x2657 1800.25 v x14 x4029 x2669 x18 x2665 x4030 x3780 x2664 x4031 x10281 x6202 x10830 x6196 x3947 x10831 x10826 x6197 x1837 x1133 x10824 1800.25 v x1853 x10483 x10437 x10485 x4665 x10491 x4661 x10487 x6138 x671 x10499 x672 x9452 x6141 x688 x9735 x6139 x9751 x4640 x2562 1800.25 v x4636 x2563 x4635 x4608 x2579 x7513 x4609 x268 x6886 x6882 x1615 x6894 x5590 x7729 x4375 x7750 x4376 x7746 x4377 x9343 x6946 1800.25 v x2441 x8527 x8531 x7787 x5548 x3988 x6592 x3990 x5551 x5549 x8034 x6412 x776 x9428 x1158 x772 x7335 x6429 x784 x9436 x6484 1800.25 v x6485 x6501 x1079 x1083 x9115 x7309 x1087 x9119 x7310 x1086 x9123 x1104 x1108 x8282 x6170 x1112 x2862 x368 x6168 x2340 x2879 1800.25 v x2341 x9817 x2357 x10636 x9813 x10657 x7031 x10653 x7032 x5436 x10326 x5438 x2846 x9649 x5444 x5440 x4045 x6619 x4061 x6620 1800.25 v x3794 x10617 x3793 x2032 x2044 x3801 x3805 x4 x4019 x3809 x5 x4025 x2668 x6 x4021 x3776 x4032 x3782 x2662 x10282 x6200 x10286 1800.25 v x3949 x134 x138 x5197 x142 x1857 x1125 x3955 x1141 x6126 x4664 x3956 x6128 x10486 x1575 x10507 x6130 x10503 x6142 x692 x9754 1800.25 v x4535 x9755 x9453 x9449 x2582 x1651 x2583 x9366 x4633 x7515 x6643 x1612 x6881 x1614 x6902 x6518 x6898 x5589 x5610 x3200 x10741 1800.25 v x3212 x10737 x9344 x9342 x2440 x8181 x2461 x6582 x2457 x7784 x6581 x5538 x8523 x7788 x5544 x8539 x6589 x5540 x6593 x5552 1800.25 v x8033 x3828 x2612 x2616 x1154 x771 x9423 x2620 x1150 x9424 x1162 x788 x9440 x4715 x787 x6505 x1073 x7308 x1074 x7307 x4727 1800.25 v x1075 x9110 x4731 x9111 x9127 x1099 x8278 x1100 x8274 x366 x8286 x370 x9814 x4907 x9816 x4911 x4915 x372 x6607 x4914 x373 1800.25 v x6606 x2174 x7052 x2842 x10328 x2838 x9651 x5439 x6622 x6621 x5456 x10331 x5455 x2031 x10619 x2052 x3795 x2048 x3796 x2047 1800.25 v x3797 x10622 x3772 x4020 x26 x4040 x3778 x514 x4036 x4035 x3783 x515 x516 x10278 x6201 x3944 x10277 x127 x5193 x3950 x129 1800.25 v x3954 x130 x5196 x3958 x146 x3957 x1145 x10504 x634 x10506 x6129 x1577 x9753 x9752 x6146 x6145 x4527 x4539 x9469 x7630 x1650 1800.25 v x9358 x7636 x7516 x6639 x7641 x7520 x6635 x6647 x6514 x10350 x6510 x10354 x6522 x3199 x10358 x9333 x3220 x10736 x9345 x3216 1800.25 v x10757 x8232 x10753 x8180 x10670 x8201 x8197 x7778 x7779 x7780 x6583 x5539 x7796 x6584 x5560 x6585 x5556 x8718 x6601 x8719 1800.25 v x8035 x3827 x2607 x2608 x1149 x2624 x1170 x9444 x1166 x1165 x785 x4717 x4718 x1094 x786 x4719 x1095 x7340 x4735 x9131 x7352 1800.25 v x9126 x8396 x1119 x1120 x8294 x906 x367 x8290 x371 x8407 x4902 x375 x4903 x374 x4919 x2175 x6608 x10329 x6609 x2858 x9652 1800.25 v x6610 x10332 x9656 x5224 x10330 x5453 x2051 x10620 x10623 x2045 x799 x10621 x157 x4039 x3771 x510 x3773 x506 x3779 x517 x3775 1800.25 v x2799 x3784 x1775 x8154 x3943 x8160 x5192 x3945 x8164 x3946 x5198 x4431 x3962 x4435 x4439 x10505 x1574 x635 x6839 x1578 x1582 1800.25 v x4526 x6143 x4547 x4543 x4542 x1652 x9357 x7629 x7631 x7507 x7637 x7508 x7633 x7524 x6655 x6651 x6509 x888 x10345 x4410 x892 1800.25 v x10346 x9332 x6526 x10362 x9353 x1532 x10568 x9349 x8228 x8224 x1813 x10666 x8236 x10662 x453 x10674 x8713 x3108 x8717 x7800 1800.25 v x8721 x7795 x464 x8720 x6605 x7793 x6285 x6286 x8036 x6081 x3829 x2628 x8044 x4097 x1163 x6571 x4738 x1164 x4739 x2640 x7360 1800.25 v x4734 x1117 x4732 x2642 x902 x8395 x8397 x908 x362 x8403 x363 x8399 x913 x379 x8411 x4923 x4924 x916 x2171 x4932 x2167 x4936 1800.25 v x2179 x10321 x9643 x288 x10333 x9644 x9660 x5216 x5228 x10610 x2887 x2888 x10612 x6662 x10624 x798 x156 x10545 x505 x10549 1800.25 v x525 x3774 x2795 x521 x10116 x3792 x2791 x2800 x1787 x5188 x8153 x8155 x5194 x3856 x8156 x3966 x5199 x4426 x3961 x4427 x5202 1800.25 v x5056 x4443 x5057 x631 x6836 x1569 x627 x6840 x1570 x1642 x1586 x4546 x313 x3731 x1648 x4540 x1653 x5469 x4541 x7632 x7528 1800.25 v x5473 x7653 x5477 x879 x7649 x4406 x880 x7648 x4402 x896 x10366 x4414 x1520 x1536 x1429 x10567 x1430 x1815 x10661 x8240 x934 1800.25 v x3104 x452 x4084 x3100 x454 x8709 x6284 x3112 x6288 x456 x6287 x4095 x6083 x4098 x3830 x8032 x4096 x8048 x6088 x6564 x6560 1800.25 v x6572 x1403 x1407 x39 x2641 x1406 x10017 x2645 x10018 x2644 x901 x903 x382 x8398 x909 x383 x8419 x905 x378 x8415 x917 x376 1800.25 v x4926 x4927 x2187 x278 x4928 x2183 x284 x9663 x2182 x280 x10337 x9664 x292 x9659 x5236 x3757 x5232 x9657 x10611 x6214 x10632 1800.25 v x6661 x10628 x7227 x800 x158 x10537 x162 x10553 x808 x3791 x2790 x806 x10117 x2808 x164 x2804 x165 x5045 x5187 x3843 x8175 1800.25 v x5189 x5051 x8176 x5195 x5055 x5191 x5059 x1715 x5203 x5058 x1719 x1723 x6830 x6831 x1589 x647 x6832 x1590 x643 x1585 x642 1800.25 v x1641 x305 x5069 x3730 x1643 x1583 x1649 x1645 x1657 x5080 x4455 x1416 x7652 x6786 x5465 x6782 x5481 x4401 x1428 x7646 x4422 1800.25 v x1432 x1540 x1431 x10565 x7647 x10569 x3455 x1816 x8597 x1820 x8593 x929 x3099 x930 x330 x6276 x4083 x455 x6292 x4085 x476 1800.25 v x4091 x472 x4087 x471 x4099 x8051 x3822 x8052 x6084 x8047 x6080 x6559 x10012 x8045 x1394 x10016 x6576 x1395 x10020 x1411 1800.25 v x31 x10019 x2633 x2649 x1449 x1453 x380 x4488 x904 x830 x8141 x925 x8142 x921 x7090 x377 x3054 x9662 x3050 x9661 x279 x2180 1800.25 v x300 x296 x3758 x2181 x10629 x3514 x10631 x6213 x6663 x10139 x10143 x7228 x7232 x801 x7236 x797 x159 x10557 x809 x163 x2805 1800.25 v x167 x2807 x166 x10109 x10118 x2803 x4311 x8173 x5044 x5046 x5190 x5047 x8301 x5211 x5063 x5207 x1711 x5206 x1588 x1587 x6851 1800.25 v x6852 x640 x3732 x1584 x5068 x1644 x5070 x1665 x1661 x9620 x5072 x4456 x5485 x4460 x1418 x5480 x1419 x1420 x7942 x5478 x10566 1800.25 v x1621 x10570 x3451 x10574 x3447 x1811 x8592 x3459 x1812 x5348 x1828 x8609 x329 x8608 x473 x475 x346 x7116 x6291 x7117 x4086 1800.25 v x8050 x6289 x5299 x8049 x5303 x3842 x6079 x6100 x10006 x6096 x10007 x6919 x4190 x10008 x8974 x1415 x10024 x8978 x2699 x8129 1800.25 v x2653 x10763 x8128 x4475 x4481 x1445 x8136 x4477 x8140 x4489 x8144 x821 x8143 x822 x838 x7086 x9943 x7082 x1474 x7094 x3049 1800.25 v x1478 x3070 x1482 x297 x3746 x299 x3748 x3754 x9262 x3750 x859 x10630 x3762 x863 x3513 x867 x6215 x6664 x10131 x6668 x10147 1800.25 v x7684 x6672 x7224 x4882 x796 x7240 x4878 x154 x4890 x2806 x155 x4784 x171 x4785 x10126 x10122 x2801 x4312 x4316 x5208 x5066 1800.25 v x5210 x5067 x8300 x5062 x1731 x9311 x5204 x5060 x2291 x6849 x5205 x9317 x9318 x3733 x1662 x1664 x2130 x5071 x4450 x9622 x5092 1800.25 v x4451 x5088 x4452 x7938 x5087 x10711 x7941 x10712 x10561 x1623 x10562 x3446 x9482 x4830 x1832 x9485 x7111 x5350 x9483 x474 1800.25 v x7119 x7118 x6290 x5298 x3563 x3399 x5302 x6097 x6099 x4510 x6907 x4186 x6923 x4182 x3233 x10028 x8966 x7569 x7573 x2691 1800.25 v x2703 x10765 x8130 x4476 x8131 x4497 x1202 x8132 x4493 x9941 x8148 x1499 x1503 x842 x9944 x1507 x9942 x7081 x7102 x1469 x7098 1800.25 v x1470 x298 x7097 x1486 x3749 x9261 x3770 x3509 x3766 x855 x6212 x3515 x871 x6216 x6220 x6660 x6219 x7679 x6676 x3279 x7680 1800.25 v x4877 x3283 x7696 x7239 x3287 x4894 x175 x10123 x7237 x170 x10125 x4118 x3479 x2802 x7412 x7203 x4324 x5064 x8500 x7418 x8302 1800.25 v x9312 x2311 x9316 x2307 x9320 x8623 x2306 x9319 x3723 x83 x3729 x3725 x730 x3737 x2544 x2129 x9623 x4472 x9631 x7937 x5085 1800.25 v x9630 x3663 x7943 x1616 x10732 x1624 x10582 x9474 x4829 x1632 x9486 x5646 x5351 x7107 x5355 x10891 x7123 x5359 x7702 x5300 1800.25 v x3565 x3398 x6098 x5304 x4965 x4502 x6927 x4514 x3229 x7560 x4202 x3225 x7561 x4198 x3237 x7577 x5326 x2711 x5330 x10766 1800.25 v x10770 x10774 x7010 x1201 x9937 x8152 x9933 x5797 x1494 x9945 x3376 x1495 x3372 x1511 x6464 x9693 x6460 x6472 x1490 x9696 1800.25 v x7095 x4135 x3767 x3769 x9263 x3511 x6206 x875 x8378 x6207 x3516 x8382 x6208 x10189 x8386 x6224 x6680 x2196 x7699 x3274 x2192 1800.25 v x7700 x3275 x2204 x7695 x3291 x10124 x7693 x7238 x4114 x4117 x3476 x3480 x7414 x7205 x4323 x8499 x7419 x8303 x7422 x7209 1800.25 v x9306 x8307 x9307 x8619 x8311 x9308 x9324 x8625 x2304 x2305 x82 x3724 x2540 x722 x88 x3741 x734 x2543 x2131 x9617 x9618 x9619 1800.25 v x9635 x7939 x3658 x3662 x7944 x1618 x7947 x1619 x9473 x1620 x9494 x4831 x1862 x9490 x1874 x9489 x5645 x5346 x5347 x10893 1800.25 v x5363 x5294 x5293 x7701 x7703 x5301 x3566 x3400 x7709 x5305 x7705 x5309 x4952 x5308 x4953 x5886 x4522 x4518 x3224 x2370 x3245 1800.25 v x2366 x1743 x5320 x2710 x2378 x7576 x5321 x5322 x10761 x5338 x2721 x10762 x7011 x6545 x1203 x9932 x5793 x7019 x5789 x1208 1800.25 v x9949 x8576 x5801 x10520 x3392 x1211 x9689 x1209 x9685 x9697 x6476 x6475 x4137 x9257 x4141 x3768 x9256 x10968 x10972 x9264 1800.25 v x9268 x3512 x8373 x6227 x3508 x10185 x8374 x6228 x10181 x8390 x7698 x7697 x3294 x2212 x3295 x2208 x8828 x7694 x4113 x7619 1800.25 v x4119 x4075 x3472 x7206 x4321 x7415 x8501 x7411 x7210 x7423 x7208 x2224 x8298 x8299 x8621 x8507 x8315 x9328 x9323 x8626 x9321 1800.25 v x8629 x84 x2539 x742 x89 x738 x2545 x2132 x9638 x9639 x7932 x9634 x7934 x3660 x7940 x3664 x9632 x7936 x9590 x7948 x9592 x3666 1800.25 v x9493 x3667 x1861 x9594 x1882 x9606 x4832 x9487 x5647 x4828 x10401 x10894 x3127 x10897 x10895 x5295 x5296 x3558 x3401 x7704 1800.25 v x5297 x3570 x7725 x5313 x3409 x6371 x4973 x6375 x1739 x5885 x2365 x5887 x2386 x1744 x5893 x6543 x5889 x1747 x10781 x6546 1800.25 v x2723 x10782 x6544 x7006 x7007 x5788 x1204 x7023 x3690 x1200 x10516 x8568 x1212 x10512 x8584 x10524 x4131 x9851 x9705 x4130 1800.25 v x9701 x9859 x6473 x4138 x4142 x6474 x4146 x10960 x9258 x9259 x5026 x9260 x3507 x9276 x8393 x3528 x8394 x3524 x10201 x3523 1800.25 v x3293 x10197 x3292 x7159 x182 x8830 x5916 x4115 x7615 x7611 x4120 x4073 x4077 x3484 x8496 x7207 x4322 x7367 x7211 x8502 x7363 1800.25 v x7375 x2216 x8510 x8318 x8509 x8319 x5118 x8314 x5117 x8622 x9388 x8618 x8312 x8630 x5129 x7269 x5133 x7273 x85 x7277 x2541 1800.25 v x81 x2128 x93 x9637 x2546 x2124 x9636 x61 x2549 x3661 x7935 x3665 x9633 x7956 x3669 x3668 x1036 x9593 x1034 x9614 x8112 x7988 1800.25 v x9610 x4827 x5648 x4848 x10400 x10886 x3126 x10898 x7722 x3578 x3396 x7724 x5317 x3397 x6362 x5312 x8332 x6363 x8336 x5310 1800.25 v x6531 x1740 x6533 x1736 x8090 x5888 x1748 x10780 x6535 x10779 x6547 x5905 x2724 x7026 x2742 x7027 x1199 x3682 x2748 x1220 1800.25 v x10511 x3694 x1914 x10532 x9139 x10528 x10527 x9846 x9847 x4132 x3071 x4133 x3073 x4134 x4150 x3075 x10980 x3087 x9279 x8392 1800.25 v x1233 x9280 x8391 x5027 x9275 x5023 x956 x416 x7158 x8823 x181 x185 x8831 x5915 x4116 x8836 x4112 x4074 x8837 x7624 x4078 1800.25 v x7219 x2079 x8495 x7361 x7215 x8497 x7383 x7214 x8498 x2236 x10035 x8514 x5119 x4258 x9390 x8313 x5120 x5121 x7264 x1374 1800.25 v x8738 x7265 x80 x8734 x7281 x1382 x8746 x2542 x97 x2538 x2144 x96 x2550 x2140 x63 x2139 x3656 x65 x7955 x3657 x66 x3673 x1025 1800.25 v x1037 x8108 x8482 x8114 x7987 x5644 x5640 x10885 x10402 x10906 x3128 x10902 x10913 x10901 x4667 x7723 x3577 x6740 x5944 1800.25 v x3417 x5948 x8324 x6383 x8340 x2399 x1735 x8081 x1756 x8082 x6534 x1752 x8432 x8098 x1751 x6551 x2720 x2738 x2716 x7024 x2744 1800.25 v x3681 x3702 x2749 x1911 x1915 x9140 x1965 x1919 x9144 x9866 x9148 x9867 x10796 x4983 x10797 x3074 x9278 x4149 x3095 x9277 1800.25 v x1229 x4147 x1225 x5022 x7591 x5043 x417 x415 x7154 x958 x7160 x963 x7165 x183 x8825 x187 x8826 x5917 x8827 x8841 x4125 x4070 1800.25 v x7218 x2078 x10036 x7212 x10034 x8518 x8513 x7213 x7065 x7069 x4257 x9391 x5140 x5141 x9394 x1369 x8733 x1370 x53 x8754 x1386 1800.25 v x52 x8750 x2143 x2558 x60 x2554 x64 x2553 x2137 x68 x8764 x67 x2268 x3677 x1024 x8104 x3672 x1045 x8110 x3670 x8474 x8115 x7989 1800.25 v x4354 x8486 x5639 x10399 x8118 x5660 x10403 x5656 x5655 x3129 x3133 x10912 x3137 x6736 x4666 x3136 x6732 x5935 x4668 x6744 1800.25 v x5936 x5952 x4670 x8344 x4682 x2395 x2391 x1753 x213 x3258 x1755 x5376 x3262 x8428 x8102 x8424 x8097 x1749 x2715 x2736 x1750 1800.25 v x2737 x2732 x3699 x2739 x2731 x3701 x2745 x2741 x1906 x2753 x1961 x1907 x10791 x9135 x1957 x9864 x9136 x10799 x9152 x10798 1800.25 v x4985 x3092 x2922 x3094 x410 x5040 x4988 x406 x5042 x418 x7593 x7153 x6309 x959 x7155 x6313 x955 x7161 x967 x7157 x184 x7169 1800.25 v x188 x10696 x4163 x192 x10697 x8845 x5918 x8840 x5914 x4168 x5923 x4082 x10033 x7216 x2080 x10037 x7056 x2084 x9379 x7057 1800.25 v x9381 x7073 x4255 x9387 x5138 x4259 x9383 x9395 x4261 x984 x4262 x1390 x2555 x992 x8664 x2557 x54 x55 x56 x2551 x72 x8766 x2267 1800.25 v x1044 x8768 x8103 x7983 x8105 x7982 x8111 x8107 x7990 x4353 x8490 x8119 x7994 x8489 x7998 x10395 x10411 x5653 x3125 x10914 1800.25 v x5654 x6731 x6752 x439 x6748 x5956 x4669 x7491 x6747 x4690 x4686 x2390 x209 x3249 x2411 x205 x3250 x217 x9904 x8895 x8423 1800.25 v x5372 x9907 x8444 x9905 x8440 x8439 x108 x3700 x2729 x2740 x2761 x1926 x2757 x1956 x1927 x10208 x2917 x2815 x10787 x2921 1800.25 v x10803 x2925 x2774 x2924 x4986 x10591 x4989 x10595 x5041 x4987 x426 x422 x7594 x421 x1304 x1300 x6301 x1312 x10072 x975 x10695 1800.25 v x7156 x971 x10699 x4235 x179 x10698 x7173 x180 x9289 x196 x9293 x4159 x9294 x8838 x4173 x9295 x5927 x10045 x7461 x2081 x10041 1800.25 v x10040 x9875 x2085 x4249 x2083 x4248 x7077 x5491 x4256 x9382 x4260 x9403 x9042 x4264 x9399 x4263 x9398 x979 x980 x8924 x996 1800.25 v x8666 x8927 x75 x8925 x76 x8763 x71 x8767 x8771 x2269 x69 x8770 x2273 x8106 x7984 x8127 x7985 x4355 x8123 x7986 x8487 x8122 1800.25 v x8002 x8488 x3144 x3145 x10915 x6751 x435 x10923 x431 x7487 x443 x8455 x7483 x6745 x7495 x204 x9018 x6746 x225 x9900 x3270 1800.25 v x221 x9896 x8890 x8441 x9908 x8891 x8443 x8437 x107 x111 x8351 x6808 x1924 x10806 x10207 x2814 x10807 x2913 x10802 x4976 1800.25 v x2766 x4982 x10800 x4978 x10585 x4990 x10586 x423 x10587 x425 x10603 x7590 x7586 x419 x10060 x7598 x10062 x972 x10685 x974 1800.25 v x10686 x10064 x10687 x10076 x5278 x10703 x4227 x4239 x200 x9284 x195 x9285 x9299 x3494 x1761 x5926 x1765 x7462 x5397 x2082 1800.25 v x2086 x9870 x7470 x9871 x9887 x4250 x9400 x5493 x4251 x9402 x4252 x9044 x5498 x9049 x7882 x1000 x8916 x74 x8928 x8667 x73 1800.25 v x8671 x8757 x8758 x2262 x8759 x8775 x2270 x70 x2274 x2248 x4349 x8124 x4348 x9550 x8126 x8005 x4356 x8006 x4364 x3143 x3142 1800.25 v x6056 x2946 x10910 x6392 x2950 x10911 x6396 x430 x7763 x6400 x451 x7482 x447 x8454 x9069 x9017 x9895 x9073 x8442 x9916 x9912 1800.25 v x9075 x705 x109 x113 x8350 x6810 x6857 x115 x10804 x10209 x2816 x2933 x2786 x4977 x2782 x10801 x4998 x4863 x4994 x424 x10606 1800.25 v x4993 x10607 x10602 x7585 x10600 x7606 x235 x7602 x973 x7601 x10063 x5742 x5273 x10080 x5277 x4226 x5147 x4247 x4243 x5150 1800.25 v x9303 x9298 x3493 x1760 x5924 x1764 x7458 x5396 x2094 x7457 x2090 x9890 x7474 x5402 x9891 x9886 x8944 x9884 x8949 x7872 x5494 1800.25 v x4272 x8952 x5490 x9045 x8950 x5502 x9041 x7883 x7808 x8936 x7813 x5170 x8659 x6111 x8675 x8778 x8779 x2264 x5566 x3537 x2265 1800.25 v x3541 x2266 x3545 x2282 x2249 x2252 x9549 x8003 x4350 x5575 x4351 x4352 x6052 x4368 x2936 x6058 x2937 x2938 x10930 x6063 1800.25 v x2954 x10931 x10869 x6388 x10873 x7755 x6404 x9063 x9062 x8456 x3324 x9070 x9019 x9915 x9074 x9078 x8549 x9077 x8552 x701 1800.25 v x697 x110 x709 x114 x8352 x7445 x118 x6856 x6811 x117 x6877 x6807 x6873 x6819 x10210 x8358 x4861 x10214 x2817 x4864 x2813 1800.25 v x4862 x2825 x10605 x6759 x10604 x7190 x4991 x3000 x7605 x3012 x3155 x237 x5741 x5275 x5745 x5279 x5146 x5281 x5152 x5282 1800.25 v x3495 x1762 x5925 x1766 x5398 x2674 x2093 x9888 x1047 x5403 x1046 x5406 x1054 x8945 x1058 x9885 x8941 x8953 x7871 x7873 x5510 1800.25 v x7879 x5506 x9061 x7875 x5505 x9057 x7887 x7809 x7805 x5165 x4556 x7817 x6110 x5166 x8777 x5182 x8776 x2237 x5568 x2285 x2239 1800.25 v x3533 x2286 x3549 x2281 x2241 x2253 x5576 x9551 x5574 x4371 x4372 x9553 x4367 x9554 x6051 x10942 x6053 x4365 x10928 x6059 1800.25 v x10860 x6055 x10861 x6408 x10877 x7775 x7771 x8457 x3323 x9064 x9065 x9020 x9066 x9024 x10840 x9082 x8548 x10844 x8554 x7440 1800.25 v x7444 x696 x7448 x2054 x7447 x106 x8353 x122 x8357 x6806 x8361 x2065 x8360 x6823 x4857 x4853 x10206 x4865 x2833 x755 x6758 1800.25 v x759 x7182 x6764 x7194 x2999 x3151 x3020 x233 x3016 x9719 x3157 x238 x241 x239 x5743 x5276 x5143 x5747 x5280 x5284 x5148 x5283 1800.25 v x5749 x5153 x3496 x1763 x1767 x5394 x2686 x2091 x5399 x2682 x9766 x5395 x5407 x1048 x1049 x8940 x1050 x5507 x1066 x8957 x5509 1800.25 v x8956 x7874 x10160 x5503 x582 x10164 x7891 x9966 x7825 x4551 x7821 x6112 x4552 x7820 x5181 x4700 x5179 x2284 x2283 x5563 1800.25 v x5569 x2240 x5565 x5102 x2261 x5577 x2257 x9548 x5715 x9552 x5727 x9556 x485 x9555 x489 x10941 x7387 x7388 x6054 x7404 x6075 1800.25 v x10881 x8447 x1545 x8453 x8449 x3325 x9014 x8461 x10091 x9085 x9015 x9086 x9016 x10835 x8550 x3331 x10836 x3332 x10852 x8555 1800.25 v x2517 x7436 x2521 x8558 x2525 x2524 x2053 x4209 x2055 x8349 x2061 x8365 x4214 x2057 x4852 x2069 x9784 x4873 x10226 x7830 1800.25 v x4869 x4868 x3033 x746 x747 x6760 x534 x7181 x538 x7202 x6765 x542 x9722 x3153 x228 x9721 x234 x3158 x230 x5737 x242 x5736 1800.25 v x3161 x5270 x5744 x5271 x5748 x5272 x5142 x5752 x5288 x5144 x5751 x5149 x3492 x9757 x2092 x9762 x5393 x9758 x5415 x9770 x5411 1800.25 v x8017 x5410 x1069 x8018 x5508 x1070 x1797 x8954 x10155 x8955 x581 x10156 x9962 x7824 x9958 x6109 x9970 x6113 x7818 x4702 1800.25 v x7819 x5823 x5824 x5098 x5564 x2260 x5585 x5104 x9542 x5581 x9543 x5580 x4774 x9544 x5731 x5107 x480 x8788 x481 x8784 x8796 1800.25 v x10943 x7407 x6072 x7408 x6074 x5964 x5968 x1544 x3318 x8448 x7663 x7144 x3326 x8465 x10092 x8464 x3334 x9036 x3333 x10100 1800.25 v x8546 x10856 x8551 x7455 x2512 x8559 x7456 x2513 x2529 x4203 x8368 x4205 x8369 x4210 x2056 x9780 x551 x5519 x4218 x9783 x5515 1800.25 v x2989 x7850 x3025 x567 x3037 x767 x566 x9501 x6755 x529 x6761 x530 x6757 x1279 x546 x9710 x6769 x2496 x3148 x3154 x229 x6711 1800.25 v x3150 x3162 x246 x5772 x5738 x5739 x5291 x5740 x5292 x9177 x5756 x9181 x5145 x5161 x5157 x3488 x5156 x3503 x1770 x9160 x8012 1800.25 v x9756 x5414 x9778 x8020 x9774 x8019 x9773 x1793 x10379 x3602 x1799 x5811 x5810 x4692 x583 x10176 x9957 x587 x6104 x5818 x9974 1800.25 v x6105 x5826 x4703 x5825 x8810 x5094 x8814 x5582 x5100 x5584 x5105 x598 x5578 x5108 x4773 x5106 x614 x8783 x613 x501 x10939 1800.25 v x8804 x3179 x6073 x5958 x10944 x5957 x10947 x5965 x10945 x7130 x5969 x7131 x5973 x7665 x7132 x3320 x7148 x3321 x3322 x10088 1800.25 v x7667 x3894 x7668 x8547 x7453 x2532 x8563 x2533 x8562 x8367 x8366 x4206 x9779 x5514 x553 x9785 x5535 x2988 x554 x555 x9500 1800.25 v x4578 x6756 x4582 x6777 x1274 x9730 x2498 x1275 x1291 x6705 x3149 x10453 x6706 x3170 x6707 x3166 x7253 x5773 x5290 x5289 1800.25 v x10050 x9176 x5755 x9180 x5753 x4332 x3502 x5154 x3499 x9161 x6350 x4278 x9165 x8007 x4282 x8024 x6239 x1789 x6242 x1795 1800.25 v x10371 x3601 x1800 x9099 x1803 x576 x1801 x584 x5812 x4691 x588 x5813 x4693 x592 x6125 x5814 x5830 x4695 x4707 x8812 x8816 1800.25 v x5583 x5093 x5095 x5101 x8818 x5097 x8819 x5109 x600 x4775 x601 x602 x618 x10932 x10934 x4778 x3174 x10940 x3175 x10936 x3191 1800.25 v x10948 x5959 x5960 x5961 x7662 x5977 x7666 x7152 x7670 x3891 x3341 x7669 x3342 x10103 x3896 x10104 x3901 x357 x8560 x8561 1800.25 v x9781 x5534 x9786 x2990 x575 x3642 x9502 x4580 x2993 x6776 x4584 x3648 x3649 x2499 x6681 x3167 x2503 x3169 x2502 x10445 x6689 1800.25 v x10457 x5769 x7255 x5765 x4816 x10052 x9178 x9182 x10057 x4334 x3497 x9170 x6351 x6230 x9169 x8027 x4273 x8023 x6231 x6243 1800.25 v x1788 x8021 x1790 x1796 x10390 x3603 x1792 x10387 x1804 x9091 x578 x8202 x579 x580 x8210 x595 x8214 x5834 x4694 x8218 x5829 1800.25 v x4714 x8217 x4711 x8813 x4710 x8817 x8821 x4767 x8820 x5096 x5116 x5113 x5112 x4776 x621 x622 x4779 x3587 x4777 x3591 x3595 1800.25 v x10935 x3195 x10955 x3190 x10952 x10951 x6187 x3188 x7656 x5981 x7657 x5976 x3340 x7658 x3339 x10102 x7673 x5974 x10101 1800.25 v x3890 x3892 x3897 x358 x2986 x9782 x3636 x3635 x2991 x9790 x4573 x3643 x2994 x3647 x2992 x4581 x3651 x9503 x4585 x3650 x9499 1800.25 v x2490 x9511 x2491 x7247 x2506 x6683 x10464 x6684 x6685 x5764 x4812 x7256 x6700 x4808 x5781 x4820 x10307 x9172 x7259 x10311 1800.25 v x10315 x9179 x4330 x10053 x9183 x4335 x9171 x4291 x6356 x6229 x4290 x6357 x6244 x10389 x6245 x10388 x3598 x1791 x3597 x1807 1800.25 v x9090 x3604 x1805 x9106 x3600 x597 x8204 x596 x8205 x4713 x593 x8206 x4712 x8219 x594 x8807 x8808 x4708 x8809 x8822 x5115 1800.25 v x5114 x4766 x4765 x4772 x619 x5110 x4768 x4780 x7529 x3582 x3583 x10954 x7532 x10953 x7544 x6183 x10949 x6179 x3189 x10950 1800.25 v x7675 x7674 x7671 x7672 x3893 x2987 x10987 x9791 x3637 x2995 x3638 x4575 x3639 x4576 x3652 x9498 x4577 x9514 x2508 x9512 1800.25 v x2507 x9513 x10462 x7246 x7245 x7252 x6701 x4807 x7248 x6698 x4823 x7260 x4821 x10302 x10303 x9174 x4326 x10316 x9175 x4325 1800.25 v x10049 x4331 x10988 x10989 x10058 x10059 -x8251 -x2585 -x1692 -x8250 -x5617 -x3998 -x2584 -x2472 -x1691 -x8254 -x6013 1800.25 v -x4337 -x4002 -x10422 -x6012 -x5620 -x8255 -x5621 -x5000 -x10421 -x8993 -x4999 -x4651 -x3704 -x1010 -x10425 -x5417 -x3703 1800.25 v -x2594 -x8996 -x5416 -x3705 -x2592 -x10426 -x8997 -x5422 -x3708 -x2593 -x6019 -x3707 -x385 -x6020 -x5423 -x3712 -x1884 1800.25 v -x384 -x5007 -x4626 -x4600 -x3711 -x1883 -x257 -x5426 -x5008 -x4601 -x3709 -x9237 -x5692 -x5424 -x3710 -x260 -x9241 -x5425 1800.25 v -x393 -x261 -x5691 -x392 -x390 -x6934 -x1891 -x1601 -x391 -x1892 -x9210 -x7862 -x6933 -x7861 -x6937 -x7859 -x7736 -x7860 1800.25 v -x6938 -x1322 -x1321 -x9524 -x7546 -x7545 -x9525 -x9219 -x9529 -x9220 -x3973 -x7552 -x5866 -x5870 -x6419 -x7321 -x1676 1800.25 v -x10261 -x5667 -x10262 -x2146 -x3928 -x2145 -x8686 -x7292 -x5988 -x3927 -x2147 -x7296 -x6041 -x8685 -x6157 -x6039 -x2418 1800.25 v -x1681 -x9405 -x8689 -x6161 -x6040 -x1682 -x6435 -x6328 -x2421 -x2153 -x8690 -x2422 -x2151 -x3933 -x3349 -x2869 -x2152 1800.25 v -x3934 -x9803 -x3352 -x3353 -x10643 -x8640 -x7897 -x10981 -x6445 -x10466 -x6257 -x10465 -x9666 -x7901 -x649 -x10467 -x9665 1800.25 v -x7915 -x3908 -x1252 -x648 -x10470 -x9667 -x8872 -x7914 -x3912 -x654 -x10469 -x9919 -x8871 -x7916 -x3297 -x1934 -x1251 1800.25 v -x10474 -x9917 -x8873 -x3302 -x10473 -x9918 -x4297 -x3301 -x1933 -x1257 -x659 -x10471 -x9670 -x1937 -x1255 -x658 -x10472 1800.25 v -x9671 -x7922 -x4296 -x2659 -x656 -x9672 -x7920 -x1938 -x1256 -x657 -x8877 -x7921 -x3308 -x1260 -x8878 -x3306 -x3307 -x1002 1800.25 v -x2468 -x8252 -x6193 -x5616 -x3997 -x2471 -x1839 -x8256 -x6008 -x4001 -x2586 -x1843 -x6007 -x5622 -x4647 -x1705 -x1706 1800.25 v -x10423 -x4650 -x2599 -x1701 -x10427 -x5001 -x10493 -x6022 -x5625 -x1699 -x674 -x6021 -x5418 -x3706 -x678 -x10429 -x9737 1800.25 v -x4622 -x3720 -x10430 -x9741 -x3716 -x9001 -x5431 -x4625 -x4602 -x3715 -x256 -x2569 -x9236 -x5687 -x262 -x9240 -x397 -x5693 1800.25 v -x4605 -x1597 -x396 -x6888 -x1600 -x265 -x9516 -x7732 -x6935 -x5596 -x9209 -x6939 -x9211 -x7735 -x4379 -x4383 -x6941 -x2447 1800.25 v -x6942 -x1323 -x9530 -x9528 -x3972 -x1185 -x7551 -x5865 -x5869 -x7549 -x6415 -x3981 -x778 -x7320 -x6487 -x5666 -x5244 1800.25 v -x6491 -x10266 -x7291 -x5987 -x7295 -x2148 -x8687 -x6156 -x3941 -x2417 -x2162 -x8691 -x6160 -x3937 -x2865 -x2423 -x2157 1800.25 v -x9799 -x8693 -x5996 -x3935 -x3348 -x2868 -x2343 -x8694 -x2347 -x10639 -x9802 -x3354 -x2426 -x10642 -x7034 -x7896 -x7038 1800.25 v -x6336 -x6253 -x3357 -x6256 -x5446 -x4047 -x4051 -x3907 -x1247 -x10468 -x3911 -x650 -x10482 -x9679 -x2038 -x1253 -x651 1800.25 v -x10478 -x3296 -x10477 -x9675 -x8885 -x4293 -x3298 -x1935 -x7927 -x1939 -x9673 -x8881 -x7926 -x2658 -x1261 -x8 -x1259 1800.25 v -x12 -x8879 -x4027 -x1941 -x1942 -x8246 -x1001 -x8245 -x5612 -x2467 -x6192 -x5618 -x4340 -x3999 -x2473 -x1838 -x1704 -x1127 1800.25 v -x10417 -x4003 -x1842 -x1703 -x1131 -x10820 -x10416 -x8988 -x4646 -x2602 -x10821 -x6009 -x2603 -x10489 -x10424 -x5626 1800.25 v -x4652 -x4005 -x2598 -x2476 -x10428 -x5624 -x4006 -x10492 -x6136 -x5017 -x4592 -x3717 -x2596 -x1700 -x673 -x10431 -x3719 1800.25 v -x677 -x9736 -x9002 -x5013 -x4655 -x4621 -x252 -x9740 -x9000 -x9455 -x5430 -x5011 -x4627 -x3713 -x398 -x258 -x2568 -x9238 1800.25 v -x5428 -x4606 -x3714 -x1901 -x5686 -x4604 -x1902 -x6884 -x5688 -x4630 -x1897 -x1596 -x394 -x266 -x6929 -x264 -x9244 -x6928 1800.25 v -x6887 -x5592 -x1895 -x1602 -x395 -x9245 -x7731 -x6936 -x5595 -x3206 -x9515 -x1172 -x10743 -x9517 -x7737 -x4378 -x2443 1800.25 v -x1605 -x1171 -x6943 -x4382 -x8187 -x2446 -x8525 -x7740 -x7554 -x3968 -x8529 -x5546 -x3974 -x5867 -x5871 -x10253 -x7550 1800.25 v -x6414 -x774 -x9426 -x5873 -x5662 -x1156 -x777 -x9430 -x7322 -x5874 -x6486 -x5668 -x5245 -x6490 -x7324 -x6423 -x6049 -x5983 1800.25 v -x1077 -x10265 -x8681 -x7325 -x1081 -x9113 -x8680 -x7293 -x6045 -x3940 -x2413 -x2159 -x9117 -x7297 -x3939 -x2161 -x8688 1800.25 v -x6158 -x6043 -x2419 -x1102 -x6323 -x6162 -x1106 -x8696 -x8280 -x7299 -x6322 -x3344 -x2864 -x2155 -x8695 -x7300 -x5995 1800.25 v -x9798 -x6164 -x3936 -x3350 -x2870 -x2427 -x2342 -x2156 -x6165 -x2425 -x2346 -x10638 -x9804 -x3355 -x2013 -x9413 -x7033 1800.25 v -x3358 -x2873 -x3356 -x9807 -x6252 -x5442 -x2844 -x10647 -x6258 -x5445 -x4046 -x4050 -x10479 -x9678 -x3909 -x2034 -x10481 1800.25 v -x9677 -x3913 -x1929 -x1246 -x8884 -x8648 -x7928 -x6261 -x1928 -x1248 -x666 -x8883 -x7930 -x10475 -x3915 -x3799 -x1936 1800.25 v -x662 -x4292 -x3916 -x3803 -x1262 -x10476 -x9674 -x7924 -x4294 -x4023 -x2660 -x660 -x7 -x1943 -x11 -x8880 -x7925 -x4026 1800.25 v -x3312 -x10280 -x2463 -x10284 -x3993 -x3992 -x2469 -x132 -x5611 -x136 -x10823 -x5613 -x4642 -x4341 -x2601 -x2474 -x1840 1800.25 v -x1126 -x10822 -x2600 -x1844 -x1130 -x1016 -x4648 -x2477 -x1015 -x10418 -x8987 -x4007 -x2475 -x10488 -x8989 -x6132 -x6029 1800.25 v -x5016 -x1846 -x6030 -x5015 -x3718 -x1847 -x10494 -x6135 -x6025 -x4656 -x4617 -x2597 -x675 -x4654 -x4591 -x679 -x9738 1800.25 v -x6023 -x4623 -x4593 -x4533 -x9742 -x9232 -x399 -x251 -x10497 -x9454 -x9231 -x5012 -x4628 -x1900 -x681 -x253 -x2570 -x1899 1800.25 v -x682 -x9744 -x9364 -x5429 -x4631 -x1592 -x9745 -x4629 -x267 -x6883 -x6641 -x2572 -x1598 -x9246 -x2573 -x10246 -x7727 1800.25 v -x6889 -x6516 -x5591 -x3202 -x1896 -x6930 -x10739 -x9339 -x7733 -x6931 -x5597 -x3205 -x1606 -x1604 -x10742 -x9227 -x8183 1800.25 v -x7864 -x6892 -x4380 -x2442 -x9229 -x8186 -x7741 -x5600 -x2448 -x1338 -x7739 -x1337 -x8524 -x7782 -x5542 -x1191 -x8528 1800.25 v -x7786 -x5861 -x4387 -x3967 -x6587 -x5860 -x5545 -x3969 -x2451 -x6591 -x6410 -x5872 -x6416 -x5876 -x2610 -x1152 -x773 1800.25 v -x10252 -x5875 -x2614 -x9425 -x1155 -x779 -x9429 -x7323 -x5661 -x6488 -x6048 -x5663 -x7326 -x7287 -x6492 -x6422 -x6047 1800.25 v -x7286 -x4721 -x1076 -x6152 -x4725 -x2160 -x1080 -x9112 -x7346 -x7294 -x6494 -x6151 -x9116 -x8682 -x7298 -x6495 -x2412 1800.25 v -x8683 -x8276 -x6159 -x6044 -x2860 -x2414 -x1101 -x7301 -x6163 -x1105 -x9794 -x8700 -x8279 -x2866 -x6324 -x3343 -x2428 1800.25 v -x10634 -x9800 -x6452 -x4905 -x3345 -x2344 -x2009 -x6454 -x4909 -x2348 -x10640 -x2874 -x2012 -x2872 -x9808 -x7035 -x6248 1800.25 v -x2840 -x2350 -x9806 -x8652 -x2351 -x10648 -x6612 -x6449 -x6254 -x2843 -x10646 -x9926 -x6616 -x3903 -x7041 -x6259 -x4048 1800.25 v -x3902 -x10480 -x7042 -x4052 -x6262 -x2033 -x665 -x7929 -x6260 -x664 -x5450 -x4054 -x3918 -x4055 -x3917 -x1249 -x3314 1800.25 v -x1270 -x3802 -x3316 -x9828 -x8059 -x2042 -x1265 -x661 -x9 -x8063 -x2661 -x13 -x4307 -x3310 -x512 -x4302 -x3311 -x1777 1800.25 v -x15 -x1781 -x16 -x10279 -x10283 -x2462 -x1834 -x3948 -x2464 -x1833 -x131 -x3994 -x3952 -x2470 -x135 -x8268 -x3995 -x2466 1800.25 v -x1128 -x5614 -x4641 -x2478 -x1132 -x6028 -x5635 -x4643 -x4012 -x1013 -x6027 -x1848 -x669 -x10490 -x8262 -x6131 -x1134 1800.25 v -x1014 -x668 -x9732 -x8990 -x1135 -x10435 -x9731 -x6137 -x4529 -x676 -x9007 -x4616 -x2560 -x10498 -x10433 -x9006 -x6024 1800.25 v -x4618 -x4532 -x2559 -x684 -x10496 -x9743 -x4624 -x4594 -x683 -x9747 -x9456 -x9360 -x6140 -x4615 -x9746 -x9233 -x2571 1800.25 v -x254 -x10248 -x9363 -x9234 -x7510 -x6879 -x6637 -x10250 -x7514 -x2574 -x1591 -x9459 -x7639 -x6885 -x6640 -x6512 -x5587 1800.25 v -x1593 -x10348 -x10244 -x9335 -x6890 -x6515 -x5593 -x3201 -x10352 -x7726 -x4374 -x10738 -x10245 -x9338 -x7728 -x6951 1800.25 v -x6893 -x3207 -x2438 -x1351 -x9228 -x6891 -x10744 -x9536 -x8230 -x8182 -x5601 -x4381 -x2444 -x9538 -x7742 -x5599 -x10668 1800.25 v -x8188 -x3210 -x1194 -x1195 -x10747 -x8526 -x7781 -x5541 -x2452 -x1190 -x8530 -x2450 -x8191 -x6586 -x5547 -x1188 -x5862 1800.25 v -x8532 -x769 -x8533 -x6409 -x5550 -x3986 -x2609 -x1151 -x775 -x6482 -x6417 -x2613 -x9427 -x6481 -x1157 -x780 -x9431 -x10276 1800.25 v -x7331 -x6493 -x9433 -x7342 -x6497 -x4720 -x1160 -x1078 -x9434 -x7288 -x6496 -x4724 -x1082 -x9114 -x7345 -x9118 -x6153 1800.25 v -x8703 -x8275 -x7306 -x6154 -x1103 -x8704 -x2859 -x2415 -x2338 -x1107 -x9120 -x8699 -x8281 -x2861 -x2337 -x365 -x9793 1800.25 v -x9121 -x6453 -x369 -x9795 -x8697 -x8405 -x4904 -x2431 -x2008 -x1109 -x10633 -x7029 -x4908 -x3346 -x2875 -x2349 -x1110 1800.25 v -x10635 -x8284 -x7028 -x2353 -x2014 -x10641 -x3363 -x2352 -x7036 -x3362 -x2839 -x2173 -x7911 -x6247 -x4042 -x9646 -x6611 1800.25 v -x6249 -x4041 -x2845 -x2017 -x7043 -x6615 -x6255 -x6251 -x5222 -x4049 -x2029 -x6263 -x3904 -x5451 -x2890 -x2848 -x2035 1800.25 v -x5449 -x4056 -x2894 -x3922 -x1267 -x3315 -x1269 -x3 -x9824 -x4018 -x2043 -x1951 -x3804 -x2041 -x9827 -x8058 -x4304 -x1947 1800.25 v -x1263 -x508 -x8062 -x4306 -x3806 -x3777 -x1945 -x1264 -x511 -x3807 -x17 -x4300 -x2797 -x1776 -x1780 -x10285 -x1122 -x1018 1800.25 v -x8267 -x8158 -x1121 -x133 -x8266 -x8162 -x3951 -x2465 -x1835 -x137 -x10287 -x5632 -x4429 -x4015 -x2486 -x1836 -x1129 1800.25 v -x10288 -x5634 -x4433 -x4016 -x2482 -x10438 -x6127 -x4011 -x2481 -x1137 -x139 -x4644 -x1136 -x140 -x9008 -x8263 -x6133 1800.25 v -x5628 -x4009 -x1572 -x633 -x9010 -x1576 -x670 -x9446 -x5629 -x4660 -x4528 -x9733 -x10434 -x9734 -x9004 -x4612 -x4534 1800.25 v -x4619 -x4614 -x2561 -x9457 -x9359 -x9005 -x272 -x10249 -x274 -x9460 -x9365 -x9254 -x7635 -x7509 -x6636 -x4537 -x9458 1800.25 v -x9255 -x6878 -x5708 -x9250 -x7638 -x6880 -x6642 -x6511 -x3197 -x882 -x5586 -x1594 -x886 -x10734 -x10347 -x9368 -x9334 1800.25 v -x9248 -x6950 -x6517 -x5588 -x4408 -x3203 -x1522 -x1347 -x269 -x10351 -x6949 -x5594 -x1611 -x1526 -x10740 -x9340 -x8226 1800.25 v -x8178 -x6645 -x3208 -x1610 -x1350 -x9537 -x5602 -x2437 -x10745 -x10664 -x8229 -x8184 -x6520 -x3211 -x2439 -x1193 -x8520 1800.25 v -x3209 -x2445 -x1192 -x10748 -x10667 -x8519 -x8189 -x7745 -x5537 -x4393 -x10746 -x2453 -x8711 -x8192 -x7783 -x5543 -x3106 1800.25 v -x8715 -x8190 -x8535 -x6588 -x1189 -x462 -x8534 -x7789 -x5883 -x1147 -x9421 -x7790 -x5884 -x768 -x9420 -x6594 -x5879 -x3984 1800.25 v -x2611 -x1153 -x770 -x8038 -x6595 -x2615 -x10273 -x7334 -x6433 -x5877 -x3985 -x10275 -x9432 -x6483 -x1072 -x7330 -x6566 1800.25 v -x6428 -x5682 -x2617 -x1161 -x1071 -x9435 -x9108 -x5684 -x2618 -x1159 -x10269 -x9107 -x7341 -x7328 -x4722 -x2101 -x4726 1800.25 v -x2105 -x1097 -x10270 -x8702 -x8271 -x7347 -x6003 -x5678 -x1096 -x8701 -x6005 -x8277 -x7305 -x6174 -x5679 -x4728 -x2433 1800.25 v -x9122 -x6175 -x4729 -x2435 -x8401 -x7350 -x7303 -x6344 -x5999 -x2004 -x364 -x6343 -x2339 -x1111 -x8698 -x8404 -x8285 1800.25 v -x6000 -x4906 -x3364 -x2883 -x2429 -x2010 -x911 -x9796 -x8283 -x4910 -x3366 -x2878 -x2835 -x2430 -x2169 -x2015 -x7030 1800.25 v -x10323 -x9812 -x6340 -x4930 -x4912 -x3360 -x2841 -x2172 -x2018 -x4934 -x4913 -x2016 -x10652 -x9645 -x7048 -x6613 -x5218 1800.25 v -x3361 -x286 -x6617 -x6250 -x4043 -x6271 -x5221 -x4044 -x2849 -x6267 -x5452 -x2847 -x2028 -x10614 -x6266 -x3925 -x2889 1800.25 v -x2030 -x3926 -x2893 -x2036 -x1268 -x3921 -x1950 -x1949 -x9823 -x3919 -x4305 -x4017 -x10539 -x9829 -x8060 -x2666 -x507 1800.25 v -x10543 -x8064 -x3808 -x2793 -x1946 -x513 -x22 -x9832 -x8066 -x4301 -x2796 -x1778 -x8067 -x1782 -x10829 -x3846 -x128 -x10828 1800.25 v -x3850 -x10290 -x8157 -x4014 -x2483 -x10289 -x8161 -x5633 -x4013 -x3953 -x2485 -x1123 -x4428 -x1856 -x1124 -x4432 -x141 1800.25 v -x10825 -x4662 -x2479 -x1852 -x629 -x9009 -x6834 -x4524 -x4010 -x2480 -x1850 -x1571 -x632 -x6838 -x6134 -x4658 -x4530 1800.25 v -x691 -x307 -x9445 -x4613 -x311 -x10502 -x9447 -x9355 -x4659 -x4637 -x687 -x4639 -x273 -x9750 -x9361 -x9253 -x6632 -x4538 1800.25 v -x685 -x9461 -x9252 -x4536 -x9748 -x7634 -x7511 -x6638 -x6507 -x5467 -x2578 -x5471 -x9369 -x9330 -x7640 -x6788 -x6513 1800.25 v -x4634 -x4404 -x2576 -x881 -x9367 -x3196 -x885 -x10349 -x9336 -x9249 -x7517 -x6646 -x4407 -x3198 -x1521 -x1346 -x10733 1800.25 v -x10353 -x7518 -x6644 -x3204 -x1525 -x10735 -x9341 -x8225 -x7747 -x7643 -x6897 -x6521 -x1608 -x1352 -x8177 -x7749 -x6519 1800.25 v -x5606 -x10663 -x10355 -x8231 -x8179 -x5605 -x4396 -x1609 -x10749 -x10356 -x8185 -x7777 -x4397 -x10669 -x8599 -x7776 1800.25 v -x7743 -x4392 -x3102 -x1355 -x932 -x8521 -x8193 -x5536 -x936 -x8710 -x8522 -x8234 -x7744 -x6278 -x4390 -x3105 -x2456 -x458 1800.25 v -x336 -x8714 -x6282 -x3989 -x10672 -x7792 -x5882 -x2322 -x461 -x7791 -x5881 -x2605 -x6597 -x4093 -x2604 -x6596 -x1146 1800.25 v -x7333 -x6430 -x1148 -x10274 -x9422 -x8037 -x7332 -x6432 -x6562 -x6086 -x5878 -x792 -x5683 -x4716 -x2619 -x7337 -x6565 1800.25 v -x6504 -x6426 -x1397 -x1401 -x7343 -x7329 -x6500 -x6427 -x4723 -x2635 -x2100 -x37 -x9109 -x6004 -x2639 -x2104 -x7348 -x6498 1800.25 v -x6173 -x1091 -x8270 -x6172 -x4730 -x2434 -x1098 -x8272 -x7351 -x7349 -x4900 -x8400 -x7304 -x4899 -x2880 -x1116 -x907 1800.25 v -x3365 -x2882 -x2003 -x8406 -x6169 -x2360 -x2005 -x910 -x2361 -x2011 -x10654 -x2876 -x2356 -x2168 -x2007 -x10656 -x2834 1800.25 v -x2019 -x10322 -x9810 -x8409 -x7051 -x4929 -x3056 -x2877 -x2836 -x2354 -x282 -x4933 -x10650 -x9811 -x9647 -x7047 -x6614 1800.25 v -x6268 -x5217 -x285 -x6618 -x6270 -x2850 -x10651 -x7045 -x5460 -x5223 -x4064 -x3924 -x2177 -x4065 -x3923 -x10613 -x9653 1800.25 v -x6264 -x4060 -x2891 -x9654 -x2895 -x9819 -x6265 -x5226 -x4058 -x8054 -x9825 -x8053 -x3920 -x2897 -x503 -x2898 -x2667 1800.25 v -x10538 -x9985 -x9830 -x8061 -x3813 -x803 -x509 -x25 -x10542 -x9989 -x8065 -x1772 -x9833 -x8069 -x2792 -x1771 -x21 -x9831 1800.25 v -x8068 -x10115 -x2798 -x2663 -x1779 -x19 -x1783 -x3845 -x3849 -x2484 -x10294 -x8159 -x5049 -x1855 -x8163 -x5053 -x1854 1800.25 v -x4430 -x1713 -x1144 -x4663 -x4434 -x1717 -x8165 -x1140 -x628 -x8166 -x6833 -x4436 -x1851 -x1573 -x1138 -x690 -x6837 -x4523 1800.25 v -x4437 -x689 -x6150 -x4525 -x306 -x4638 -x4531 -x310 -x10500 -x2581 -x1647 -x1579 -x637 -x9448 -x9354 -x7505 -x2580 -x1580 1800.25 v -x10501 -x9356 -x7504 -x686 -x9465 -x9362 -x6631 -x9749 -x9464 -x7512 -x6784 -x6633 -x5466 -x5078 -x10343 -x9370 -x6506 1800.25 v -x5470 -x1613 -x10342 -x6899 -x6787 -x6508 -x4403 -x2577 -x1422 -x1342 -x883 -x9329 -x7519 -x6901 -x1426 -x887 -x9331 1800.25 v -x8221 -x7644 -x5607 -x4409 -x1523 -x1348 -x9337 -x7748 -x7642 -x5609 -x1527 -x10659 -x8227 -x6895 -x4395 -x1353 -x889 1800.25 v -x10357 -x4394 -x890 -x10665 -x8595 -x6896 -x5603 -x4412 -x3453 -x3215 -x2458 -x1814 -x1529 -x1356 -x2460 -x1818 -x1530 1800.25 v -x1354 -x10752 -x8598 -x8235 -x5604 -x3101 -x931 -x332 -x8233 -x935 -x10673 -x8712 -x8542 -x8196 -x6277 -x4391 -x3107 1800.25 v -x2454 -x2318 -x457 -x335 -x10671 -x8716 -x8543 -x6281 -x8538 -x4089 -x2455 -x2321 -x463 -x8536 -x5555 -x4092 -x3824 -x3110 1800.25 v -x6431 -x2606 -x6082 -x789 -x466 -x8039 -x791 -x9443 -x6561 -x6503 -x6085 -x6502 -x10010 -x9439 -x8041 -x6567 -x1396 -x33 1800.25 v -x10014 -x8042 -x7336 -x1400 -x9437 -x7338 -x3875 -x2634 -x2102 -x36 -x7344 -x2638 -x2106 -x9130 -x6570 -x6499 -x1447 1800.25 v -x1090 -x1451 -x360 -x4483 -x2108 -x1088 -x359 -x8273 -x2881 -x2109 -x9124 -x8402 -x2359 -x1115 -x824 -x9815 -x4901 -x2358 1800.25 v -x828 -x8289 -x2164 -x1113 -x912 -x10655 -x2006 -x10318 -x8410 -x7088 -x7050 -x3052 -x2170 -x2027 -x9641 -x8408 -x7049 1800.25 v -x2023 -x10324 -x9640 -x5213 -x4931 -x3055 -x2355 -x2022 -x915 -x281 -x6269 -x4935 -x2837 -x9648 -x5457 -x5219 -x4063 1800.25 v -x2178 -x287 -x5459 -x4062 -x2885 -x2854 -x2176 -x10609 -x7046 -x6626 -x4937 -x3756 -x2884 -x2853 -x9655 -x4938 -x10615 1800.25 v -x5227 -x2892 -x2049 -x290 -x5225 -x2896 -x10133 -x5454 -x4059 -x2900 -x10137 -x9818 -x2899 -x9820 -x7226 -x3816 -x24 1800.25 v -x9826 -x8055 -x7230 -x3817 -x502 -x23 -x10540 -x9984 -x9822 -x8056 -x4884 -x4037 -x3812 -x2788 -x2046 -x802 -x504 -x10544 1800.25 v -x9988 -x9834 -x8057 -x161 -x10111 -x8073 -x4787 -x3810 -x2794 -x4791 -x1773 -x10546 -x10114 -x4033 -x1774 -x20 -x10547 1800.25 v -x10297 -x4309 -x3847 -x10298 -x4424 -x3851 -x10293 -x5048 -x4423 -x1143 -x149 -x5052 -x1142 -x150 -x10291 -x8168 -x3853 1800.25 v -x1712 -x624 -x145 -x8167 -x3854 -x1716 -x1567 -x2297 -x1566 -x630 -x143 -x4438 -x6835 -x6147 -x5201 -x1139 -x6149 -x638 1800.25 v -x308 -x1581 -x636 -x312 -x9466 -x6841 -x1646 -x9468 -x6842 -x6144 -x5074 -x314 -x7506 -x877 -x315 -x9462 -x9378 -x6783 1800.25 v -x5468 -x5077 -x4454 -x4399 -x876 -x9374 -x6900 -x6634 -x5472 -x4458 -x1517 -x9463 -x9373 -x6789 -x4405 -x1655 -x1516 1800.25 v -x1421 -x884 -x10344 -x7645 -x5608 -x1425 -x1341 -x10714 -x6650 -x6530 -x5474 -x3217 -x1524 -x1343 -x10718 -x8220 -x5475 1800.25 v -x3219 -x1528 -x1349 -x891 -x10754 -x10564 -x8222 -x6792 -x6525 -x4413 -x3449 -x1345 -x10756 -x10658 -x4411 -x2459 -x1531 1800.25 v -x1357 -x10660 -x9348 -x8594 -x8198 -x3452 -x3213 -x3097 -x8706 -x8200 -x1817 -x10750 -x8705 -x8600 -x8541 -x3214 -x3103 1800.25 v -x933 -x331 -x8540 -x937 -x10751 -x8194 -x7799 -x6279 -x5557 -x2317 -x459 -x337 -x6283 -x5559 -x8603 -x8195 -x6604 -x4088 1800.25 v -x3111 -x2323 -x939 -x8029 -x3109 -x940 -x8537 -x8028 -x6600 -x5553 -x4094 -x3823 -x467 -x340 -x790 -x465 -x9442 -x6598 1800.25 v -x6557 -x5554 -x2627 -x2326 -x1167 -x9441 -x8040 -x1169 -x6909 -x6563 -x6087 -x2623 -x8043 -x6913 -x2096 -x10009 -x8968 1800.25 v -x6568 -x4188 -x3871 -x3832 -x2621 -x2095 -x1398 -x1093 -x32 -x10013 -x8972 -x1402 -x1092 -x9438 -x9129 -x6090 -x3874 1800.25 v -x2697 -x2636 -x2103 -x38 -x9128 -x7339 -x6569 -x2107 -x4479 -x2111 -x1446 -x1404 -x1118 -x7356 -x2110 -x1450 -x1405 -x8291 1800.25 v -x8134 -x7355 -x4482 -x1089 -x41 -x8293 -x8138 -x2643 -x361 -x9125 -x823 -x827 -x8287 -x7084 -x4922 -x2024 -x1114 -x4925 1800.25 v -x2163 -x2026 -x8288 -x7087 -x4918 -x3051 -x2165 -x1472 -x277 -x10317 -x1476 -x914 -x10319 -x4916 -x3057 -x2855 -x2020 1800.25 v -x283 -x10325 -x9642 -x5458 -x5212 -x2857 -x6629 -x5214 -x4940 -x3752 -x2021 -x6630 -x5220 -x4939 -x6625 -x3755 -x3060 1800.25 v -x2851 -x857 -x291 -x10608 -x2886 -x2050 -x861 -x289 -x6623 -x2852 -x10616 -x10132 -x7967 -x3815 -x2904 -x10534 -x10136 1800.25 v -x6666 -x3814 -x10533 -x7682 -x7225 -x4880 -x9821 -x7686 -x7229 -x4038 -x10541 -x9986 -x9842 -x8076 -x4883 -x804 -x9990 1800.25 v -x9838 -x8077 -x2787 -x160 -x10110 -x9837 -x8072 -x4786 -x3811 -x2789 -x10548 -x4790 -x9992 -x8070 -x4034 -x1786 -x807 1800.25 v -x520 -x9993 -x3788 -x10295 -x4308 -x3848 -x148 -x3852 -x147 -x5050 -x3965 -x5054 -x4425 -x3855 -x10292 -x8172 -x2293 1800.25 v -x1714 -x6829 -x1718 -x623 -x6828 -x3959 -x2296 -x625 -x144 -x6148 -x5200 -x1568 -x302 -x1720 -x301 -x1721 -x639 -x6844 1800.25 v -x4544 -x309 -x9467 -x6843 -x317 -x5462 -x316 -x9375 -x6779 -x5461 -x5073 -x9377 -x7527 -x6785 -x6652 -x5079 -x4453 -x1656 1800.25 v -x6654 -x4457 -x4398 -x1654 -x878 -x9371 -x7523 -x6790 -x6527 -x4400 -x1423 -x6529 -x5476 -x3218 -x1518 -x1427 -x10713 1800.25 v -x10365 -x9372 -x9350 -x7521 -x6793 -x6648 -x5082 -x1519 -x10755 -x10717 -x9352 -x6791 -x1344 -x10563 -x10361 -x8590 1800.25 v -x6649 -x6523 -x3448 -x1365 -x8223 -x8199 -x1361 -x927 -x10359 -x9480 -x9346 -x8596 -x8244 -x6524 -x3454 -x1360 -x926 1800.25 v -x327 -x6273 -x3096 -x1819 -x10682 -x9347 -x8601 -x8239 -x7798 -x7109 -x6272 -x3098 -x2313 -x333 -x10678 -x8707 -x7797 1800.25 v -x7113 -x5558 -x938 -x10677 -x8708 -x8604 -x6603 -x6280 -x3457 -x2319 -x1821 -x942 -x338 -x8602 -x6602 -x1822 -x941 -x460 1800.25 v -x8725 -x4090 -x3819 -x2324 -x341 -x468 -x339 -x7794 -x6077 -x3825 -x2626 -x2327 -x8030 -x2625 -x2325 -x1168 -x8031 -x6599 1800.25 v -x6556 -x1392 -x6908 -x6558 -x4508 -x4184 -x3833 -x1391 -x28 -x6912 -x3831 -x2630 -x10011 -x8967 -x7563 -x6091 -x4737 1800.25 v -x4187 -x3870 -x3231 -x2693 -x2629 -x2622 -x1399 -x34 -x10015 -x8971 -x7567 -x6089 -x4736 -x2097 -x7357 -x3876 -x2696 1800.25 v -x2637 -x2098 -x7359 -x2099 -x4478 -x2115 -x1448 -x42 -x8292 -x1452 -x40 -x8133 -x7353 -x4733 -x4484 -x3879 -x8137 -x9939 1800.25 v -x7354 -x4921 -x1497 -x1454 -x825 -x4920 -x2025 -x1501 -x1455 -x829 -x7083 -x4487 -x3378 -x3047 -x8414 -x7089 -x6466 -x3053 1800.25 v -x1471 -x831 -x2856 -x2166 -x1475 -x832 -x276 -x6628 -x4917 -x3058 -x10320 -x6627 -x10341 -x7092 -x4944 -x3751 -x3061 1800.25 v -x5215 -x3059 -x10336 -x856 -x860 -x7963 -x6624 -x6210 -x5231 -x2907 -x2908 -x10134 -x7966 -x3760 -x2903 -x794 -x10138 1800.25 v -x9980 -x6665 -x10627 -x9979 -x9839 -x8075 -x7681 -x4879 -x3277 -x2901 -x2198 -x10535 -x9841 -x8074 -x7685 -x7231 -x3281 1800.25 v -x10536 -x10140 -x10106 -x9987 -x4885 -x805 -x522 -x10141 -x9991 -x524 -x10112 -x9995 -x9835 -x7233 -x4788 -x3789 -x1785 1800.25 v -x9994 -x7234 -x4792 -x1784 -x9836 -x8071 -x4888 -x518 -x3787 -x10296 -x4310 -x3964 -x3844 -x3963 -x1708 -x3860 -x1707 1800.25 v -x8171 -x4446 -x4314 -x2292 -x4447 -x9310 -x8169 -x4442 -x3960 -x2298 -x9314 -x1722 -x626 -x4440 -x4545 -x303 -x6848 -x3727 1800.25 v -x2301 -x304 -x728 -x321 -x9376 -x7526 -x5075 -x7525 -x6778 -x6653 -x5463 -x1417 -x9621 -x7650 -x6780 -x5464 -x9625 -x6528 1800.25 v -x4459 -x10364 -x5083 -x1424 -x899 -x10363 -x9351 -x6794 -x5081 -x900 -x10715 -x7522 -x4461 -x3444 -x1539 -x1362 -x895 1800.25 v -x10719 -x4462 -x4418 -x1809 -x1364 -x9476 -x8241 -x4417 -x3450 -x1808 -x1622 -x1535 -x893 -x8589 -x8243 -x1626 -x10721 1800.25 v -x10679 -x10360 -x9479 -x8591 -x1868 -x1533 -x1358 -x10722 -x10681 -x928 -x326 -x10571 -x8237 -x7108 -x5349 -x3458 -x2969 1800.25 v -x1824 -x1359 -x328 -x10572 -x8605 -x7112 -x6274 -x5353 -x3456 -x2312 -x1823 -x334 -x10675 -x8728 -x8238 -x6275 -x3120 1800.25 v -x2314 -x946 -x8729 -x3116 -x2320 -x342 -x10676 -x8724 -x3115 -x2316 -x3818 -x2328 -x8722 -x3820 -x6076 -x3826 -x7711 1800.25 v -x6078 -x4955 -x4504 -x10005 -x4959 -x3834 -x10004 -x6910 -x4507 -x4183 -x3866 -x3227 -x6914 -x6092 -x1393 -x27 -x8969 1800.25 v -x7562 -x6580 -x4189 -x3872 -x3230 -x2692 -x2372 -x29 -x8973 -x7566 -x7358 -x2631 -x1442 -x35 -x6916 -x6575 -x5324 -x4474 1800.25 v -x3877 -x2698 -x2632 -x2118 -x1441 -x6917 -x5328 -x2119 -x43 -x10764 -x8975 -x4480 -x4192 -x3880 -x2114 -x10768 -x8976 1800.25 v -x3878 -x819 -x9935 -x8135 -x4485 -x2701 -x2112 -x1457 -x818 -x381 -x8139 -x1456 -x9938 -x8416 -x7079 -x5795 -x3374 -x1496 1800.25 v -x826 -x8418 -x4486 -x1500 -x7085 -x6462 -x3377 -x834 -x3046 -x833 -x9691 -x8412 -x6465 -x3048 -x2184 -x1473 -x920 -x2186 1800.25 v -x1477 -x10338 -x8413 -x7093 -x4947 -x3747 -x10340 -x7091 -x4948 -x3062 -x5233 -x4943 -x3753 -x1479 -x5235 -x1480 -x10334 1800.25 v -x4941 -x2906 -x858 -x295 -x10128 -x2905 -x862 -x10335 -x10127 -x9658 -x8376 -x7962 -x6209 -x5229 -x3761 -x8380 -x7221 1800.25 v -x3759 -x10187 -x10135 -x7968 -x7220 -x5230 -x4875 -x2194 -x864 -x9840 -x6667 -x865 -x793 -x152 -x10625 -x7683 -x4881 1800.25 v -x3276 -x2902 -x2197 -x795 -x151 -x10142 -x9981 -x7687 -x4782 -x3280 -x523 -x10626 -x10556 -x9982 -x7971 -x6669 -x4886 1800.25 v -x4781 -x10105 -x9983 -x7235 -x6670 -x3790 -x10552 -x10107 -x9999 -x7689 -x4889 -x4789 -x10113 -x7690 -x4887 -x4793 -x10550 1800.25 v -x4794 -x3474 -x519 -x4795 -x3785 -x3478 -x8174 -x3863 -x3864 -x7417 -x4445 -x4315 -x3859 -x2288 -x4444 -x4313 -x1709 1800.25 v -x3857 -x2294 -x1710 -x8305 -x9309 -x8170 -x2299 -x1727 -x644 -x9313 -x646 -x4441 -x2302 -x2300 -x6847 -x3726 -x724 -x324 1800.25 v -x325 -x6845 -x727 -x641 -x320 -x4449 -x4448 -x318 -x7651 -x5076 -x5484 -x3735 -x1660 -x898 -x10709 -x9624 -x6781 -x5084 1800.25 v -x897 -x10708 -x6802 -x4464 -x4419 -x1538 -x10559 -x6798 -x4463 -x4421 -x1537 -x1363 -x10716 -x10558 -x6797 -x1436 -x10720 1800.25 v -x8242 -x3443 -x10724 -x9475 -x4415 -x3445 -x1864 -x894 -x10723 -x10680 -x1810 -x1625 -x9600 -x9481 -x4416 -x2965 -x1867 1800.25 v -x1534 -x10573 -x8727 -x8613 -x7110 -x4834 -x3117 -x2968 -x949 -x8726 -x7114 -x5352 -x3119 -x950 -x9484 -x6295 -x945 -x350 1800.25 v -x6296 -x2315 -x3113 -x2336 -x943 -x345 -x2332 -x8723 -x7707 -x4107 -x3564 -x3114 -x2331 -x469 -x6904 -x4103 -x3821 -x9575 1800.25 v -x7710 -x6903 -x4954 -x4503 -x4179 -x4102 -x470 -x8963 -x4958 -x3838 -x8962 -x6911 -x6577 -x4509 -x4185 -x3837 -x3226 1800.25 v -x2688 -x2368 -x6915 -x6579 -x3865 -x8970 -x8046 -x7564 -x6095 -x3867 -x3232 -x2694 -x2371 -x2117 -x1414 -x7568 -x6918 1800.25 v -x3873 -x2116 -x30 -x6573 -x5895 -x5323 -x4512 -x4193 -x3869 -x2652 -x1410 -x51 -x8977 -x5327 -x4473 -x4191 -x3881 -x1443 1800.25 v -x47 -x7570 -x6574 -x3235 -x2702 -x2648 -x1444 -x1408 -x46 -x10767 -x7571 -x2700 -x9934 -x7009 -x5791 -x2646 -x2113 -x1461 1800.25 v -x8417 -x7013 -x820 -x9940 -x8570 -x5794 -x3373 -x1498 -x1206 -x922 -x8574 -x7078 -x1502 -x1467 -x924 -x10518 -x9687 -x7080 1800.25 v -x6461 -x3379 -x1466 -x2185 -x9690 -x8856 -x6467 -x4946 -x3424 -x1504 -x918 -x10339 -x4945 -x3428 -x1505 -x3382 -x919 1800.25 v -x5234 -x3066 -x1481 -x852 -x10962 -x6470 -x3065 -x851 -x10966 -x7958 -x4942 -x3510 -x293 -x9266 -x6657 -x10183 -x8375 1800.25 v -x7964 -x6656 -x6211 -x294 -x10129 -x8379 -x7677 -x866 -x10186 -x10130 -x7969 -x7676 -x2193 -x7222 -x4874 -x10555 -x7972 1800.25 v -x7223 -x6217 -x4876 -x3278 -x2199 -x10554 -x7970 -x7688 -x6671 -x6218 -x3282 -x153 -x10002 -x7692 -x817 -x10003 -x7691 1800.25 v -x4783 -x813 -x9998 -x3284 -x2202 -x812 -x10108 -x3285 -x10551 -x9996 -x7617 -x4799 -x3473 -x3786 -x3477 -x7413 -x7204 1800.25 v -x3861 -x7416 -x7369 -x2218 -x2287 -x2222 -x3858 -x2289 -x1730 -x8304 -x2295 -x645 -x6850 -x1726 -x9315 -x2303 -x8624 1800.25 v -x3722 -x1724 -x323 -x322 -x3728 -x723 -x6846 -x729 -x87 -x5483 -x3736 -x319 -x5482 -x3734 -x6799 -x1658 -x732 -x9626 -x6801 1800.25 v -x4420 -x4468 -x1659 -x1439 -x10710 -x1440 -x9628 -x9471 -x6795 -x5479 -x1435 -x10560 -x9629 -x10728 -x9596 -x9477 -x6796 1800.25 v -x1863 -x1433 -x7104 -x1627 -x10578 -x9599 -x8610 -x7103 -x3467 -x2964 -x1869 -x1831 -x948 -x8612 -x3463 -x3118 -x947 1800.25 v -x6294 -x4833 -x3462 -x2970 -x1827 -x1629 -x347 -x7115 -x6293 -x5354 -x1630 -x349 -x10892 -x8606 -x2333 -x1872 -x1825 1800.25 v -x2335 -x8607 -x5356 -x4104 -x3560 -x2973 -x944 -x343 -x5357 -x4106 -x9571 -x7706 -x4499 -x3839 -x2329 -x344 -x3841 -x3403 1800.25 v -x9574 -x7712 -x6365 -x4956 -x4505 -x4100 -x3222 -x2330 -x7558 -x6905 -x6578 -x6369 -x4960 -x4178 -x7557 -x6906 -x4180 1800.25 v -x4101 -x3835 -x3228 -x2367 -x1413 -x8964 -x2687 -x1412 -x10027 -x8965 -x7715 -x7565 -x6093 -x5891 -x4962 -x4513 -x3836 1800.25 v -x2689 -x2651 -x2373 -x1742 -x48 -x4963 -x4511 -x4194 -x3868 -x2695 -x2650 -x50 -x10023 -x8982 -x6541 -x6094 -x5894 -x5325 1800.25 v -x3889 -x3236 -x7572 -x5329 -x3885 -x3234 -x10021 -x9930 -x3884 -x2376 -x1464 -x1409 -x44 -x10769 -x1492 -x1465 -x9936 1800.25 v -x7008 -x5790 -x5331 -x3369 -x2647 -x1491 -x1460 -x45 -x7012 -x5332 -x923 -x10771 -x10514 -x8569 -x6457 -x5796 -x4492 1800.25 v -x3688 -x3375 -x1458 -x1205 -x841 -x10772 -x8573 -x10517 -x9686 -x8852 -x6463 -x3380 -x837 -x1506 -x1468 -x9849 -x9692 1800.25 v -x8855 -x6468 -x5799 -x3423 -x3383 -x3067 -x835 -x9853 -x3427 -x3381 -x3069 -x6471 -x4136 -x6469 -x4140 -x10961 -x9695 1800.25 v -x3081 -x3063 -x10965 -x6205 -x853 -x6204 -x3064 -x854 -x9265 -x7957 -x10182 -x8377 -x7959 -x5029 -x3765 -x2189 -x8381 1800.25 v -x7965 -x6658 -x3272 -x10188 -x10150 -x7961 -x6659 -x3271 -x2195 -x10151 -x7973 -x7678 -x10146 -x10001 -x8383 -x7243 1800.25 v -x3518 -x2200 -x814 -x10000 -x8384 -x7244 -x816 -x10191 -x10144 -x4898 -x2203 -x174 -x3286 -x2201 -x7613 -x4893 -x4802 1800.25 v -x810 -x4803 -x9997 -x7616 -x4798 -x3475 -x811 -x168 -x10121 -x7365 -x5065 -x3862 -x5209 -x4320 -x7368 -x4319 -x2217 -x1729 1800.25 v -x9305 -x8504 -x2221 -x1728 -x9304 -x8306 -x2290 -x8620 -x7421 -x5061 -x8308 -x5123 -x1725 -x719 -x8309 -x5127 -x3721 1800.25 v -x7267 -x725 -x7271 -x1663 -x8740 -x2126 -x86 -x9616 -x9615 -x5089 -x733 -x6800 -x5091 -x731 -x4471 -x1438 -x9627 -x1437 1800.25 v -x4467 -x3659 -x1617 -x10731 -x5086 -x4465 -x1859 -x1031 -x9470 -x10727 -x10581 -x9595 -x9472 -x3464 -x2960 -x1865 -x1830 1800.25 v -x1434 -x9478 -x8611 -x5344 -x3466 -x1829 -x1628 -x10725 -x10577 -x9601 -x7946 -x5343 -x2966 -x1870 -x7105 -x1631 -x348 1800.25 v -x10888 -x10575 -x7106 -x4835 -x3460 -x2971 -x1873 -x2334 -x1871 -x9604 -x3461 -x2974 -x1826 -x5358 -x4105 -x2972 -x4838 1800.25 v -x3559 -x4950 -x3840 -x9570 -x7708 -x4949 -x4498 -x3402 -x9576 -x8326 -x7713 -x6364 -x4957 -x4500 -x2363 -x8330 -x6368 1800.25 v -x4961 -x4506 -x3221 -x10026 -x7716 -x6926 -x5306 -x3568 -x3223 -x2369 -x1738 -x10025 -x7714 -x7559 -x5319 -x5307 -x4964 1800.25 v -x4181 -x49 -x9579 -x8985 -x8084 -x6922 -x6537 -x5890 -x5318 -x3886 -x2374 -x1741 -x10759 -x8986 -x8088 -x3888 -x2690 1800.25 v -x10758 -x8981 -x6920 -x6540 -x5896 -x4197 -x2377 -x1463 -x2707 -x2375 -x1462 -x10022 -x8979 -x5786 -x5334 -x4494 -x3882 1800.25 v -x2722 -x2706 -x9929 -x5333 -x4496 -x9931 -x8151 -x5899 -x5792 -x3883 -x3684 -x840 -x10773 -x7014 -x3368 -x1493 -x839 1800.25 v -x10513 -x9682 -x8571 -x8147 -x4490 -x3687 -x3370 -x1459 -x1207 -x8575 -x6456 -x10519 -x9688 -x8851 -x8145 -x7099 -x7016 1800.25 v -x6458 -x5800 -x4491 -x7101 -x7017 -x5798 -x3384 -x3068 -x9848 -x8857 -x8577 -x3425 -x1489 -x1210 -x836 -x9852 -x8578 1800.25 v -x3429 -x10522 -x3077 -x1485 -x9694 -x4139 -x10963 -x8860 -x7096 -x3505 -x3431 -x3080 -x1483 -x10967 -x8371 -x3432 -x10178 1800.25 v -x8370 -x5025 -x1231 -x874 -x9267 -x10969 -x10184 -x10149 -x5028 -x3763 -x870 -x10970 -x10148 -x7960 -x2188 -x9269 -x7981 1800.25 v -x7242 -x6679 -x3764 -x3519 -x2190 -x868 -x9270 -x8385 -x7977 -x7241 -x3517 -x3273 -x815 -x10192 -x7976 -x6675 -x4895 1800.25 v -x173 -x10190 -x4897 -x172 -x10145 -x6673 -x4801 -x4800 -x3469 -x8829 -x7612 -x4891 -x3468 -x8833 -x7618 -x4892 -x4796 1800.25 v -x4072 -x169 -x10119 -x4076 -x7364 -x8296 -x8295 -x7370 -x4317 -x2219 -x8503 -x2223 -x4318 -x2308 -x7420 -x2310 -x7373 1800.25 v -x2225 -x8310 -x2226 -x5122 -x5126 -x718 -x8736 -x7266 -x1372 -x720 -x7270 -x1376 -x726 -x8739 -x8628 -x3745 -x2125 -x5090 1800.25 v -x4470 -x3740 -x4469 -x7933 -x91 -x10730 -x2134 -x1027 -x10729 -x10580 -x9591 -x4466 -x1030 -x10579 -x3465 -x1858 -x9597 1800.25 v -x4825 -x1860 -x7945 -x2959 -x1866 -x10726 -x9602 -x8480 -x5642 -x2961 -x1636 -x5345 -x2967 -x10887 -x10576 -x9605 -x7126 1800.25 v -x4836 -x2963 -x9603 -x7127 -x2975 -x7122 -x4839 -x3555 -x4837 -x9566 -x7120 -x3561 -x10896 -x9572 -x6738 -x5938 -x5942 1800.25 v -x4951 -x3404 -x9577 -x8325 -x6925 -x6366 -x4676 -x3569 -x8329 -x7717 -x6924 -x6370 -x4501 -x3567 -x2362 -x9580 -x8984 1800.25 v -x4969 -x4199 -x3406 -x2397 -x2364 -x1737 -x9578 -x8983 -x4201 -x3887 -x3407 -x8083 -x7580 -x6536 -x6372 -x5892 -x4517 1800.25 v -x2708 -x8087 -x7581 -x6373 -x3241 -x8430 -x6921 -x6542 -x5897 -x4195 -x3240 -x2718 -x10760 -x7004 -x4495 -x8980 -x8150 1800.25 v -x7574 -x7003 -x5900 -x4196 -x2704 -x1746 -x1197 -x8565 -x8149 -x5898 -x5785 -x10778 -x10509 -x8564 -x5787 -x3683 -x2705 1800.25 v -x7015 -x10515 -x9953 -x8847 -x8572 -x3689 -x2747 -x1909 -x1514 -x9681 -x7100 -x7018 -x3419 -x3371 -x1913 -x1515 -x9948 1800.25 v -x9683 -x9138 -x8853 -x8580 -x8146 -x3418 -x1963 -x1510 -x1488 -x9142 -x8579 -x6459 -x3388 -x1487 -x10523 -x9850 -x8858 1800.25 v -x6480 -x3692 -x3426 -x3387 -x1508 -x10957 -x10521 -x9854 -x3430 -x10956 -x8861 -x3434 -x3076 -x8859 -x3433 -x10964 -x9856 1800.25 v -x3082 -x1484 -x1227 -x873 -x9857 -x3504 -x872 -x5024 -x4143 -x3506 -x1230 -x412 -x10971 -x10177 -x8372 -x4144 -x10179 1800.25 v -x9272 -x7978 -x6678 -x5030 -x3085 -x9271 -x7980 -x6677 -x3520 -x6223 -x869 -x10193 -x4896 -x2191 -x7974 -x6221 -x5033 1800.25 v -x961 -x7975 -x7608 -x7163 -x6674 -x3290 -x2207 -x7614 -x3288 -x8832 -x3470 -x5920 -x4797 -x4071 -x3471 -x10120 -x10030 1800.25 v -x7410 -x7366 -x2214 -x7371 -x2220 -x8505 -x8297 -x2309 -x8615 -x7374 -x7059 -x2228 -x7372 -x7063 -x2227 -x9327 -x8508 1800.25 v -x9389 -x5124 -x78 -x5128 -x8735 -x7268 -x3742 -x2121 -x1371 -x8627 -x7272 -x3744 -x1375 -x721 -x8741 -x5130 -x2127 -x5131 1800.25 v -x7274 -x3738 -x737 -x92 -x58 -x7275 -x90 -x62 -x8744 -x3739 -x2135 -x2133 -x2548 -x1026 -x1032 -x9491 -x8476 -x1639 -x9598 1800.25 v -x4824 -x1640 -x10883 -x8479 -x8113 -x7125 -x5641 -x4826 -x1635 -x1035 -x7124 -x2962 -x1878 -x10889 -x10397 -x5366 -x2983 1800.25 v -x1877 -x1633 -x5367 -x4840 -x2979 -x9488 -x5362 -x2978 -x3554 -x3394 -x3131 -x7121 -x6734 -x5650 -x5360 -x3556 -x3393 1800.25 v -x9565 -x6360 -x3562 -x9567 -x6737 -x6359 -x5937 -x4672 -x9573 -x5941 -x3405 -x9569 -x8327 -x6367 -x4972 -x4675 -x4519 1800.25 v -x2393 -x1733 -x9581 -x8331 -x7721 -x4521 -x4200 -x3408 -x7720 -x7579 -x6532 -x4968 -x3252 -x3242 -x2396 -x211 -x7578 1800.25 v -x6374 -x3256 -x3244 -x2709 -x8426 -x8333 -x8085 -x6538 -x5374 -x4966 -x4515 -x8334 -x8089 -x5378 -x2382 -x8429 -x5341 1800.25 v -x4516 -x3238 -x2717 -x2381 -x5901 -x5342 -x1745 -x8091 -x7575 -x5337 -x3679 -x3239 -x8092 -x7005 -x1196 -x10777 -x9950 1800.25 v -x5335 -x3685 -x2743 -x1513 -x1198 -x10508 -x9952 -x8566 -x1512 -x10775 -x10510 -x8567 -x5809 -x3389 -x2746 -x2726 -x1959 1800.25 v -x1908 -x9844 -x8846 -x5805 -x3391 -x1912 -x10789 -x9946 -x9843 -x9137 -x8848 -x6477 -x5804 -x3693 -x1962 -x10793 -x9684 1800.25 v -x9141 -x8854 -x6479 -x3691 -x3420 -x9947 -x8850 -x3421 -x3385 -x3072 -x1509 -x9855 -x8862 -x3422 -x9700 -x3438 -x3386 1800.25 v -x3078 -x10958 -x9858 -x10959 -x5020 -x3083 -x1226 -x408 -x4145 -x10976 -x6226 -x3086 -x1232 -x411 -x7979 -x6225 -x3084 1800.25 v -x5031 -x10180 -x8389 -x6303 -x5034 -x2209 -x1306 -x1235 -x957 -x6307 -x5032 -x2211 -x10196 -x8387 -x6988 -x6222 -x960 1800.25 v -x7162 -x4109 -x2205 -x7607 -x186 -x7609 -x4161 -x3289 -x2206 -x8834 -x4165 -x5919 -x3623 -x3483 -x7620 -x10029 -x7362 1800.25 v -x7409 -x2213 -x7431 -x2215 -x8506 -x7427 -x9326 -x7426 -x7058 -x2232 -x9325 -x8614 -x7062 -x9385 -x8616 -x7262 -x8731 1800.25 v -x7261 -x5125 -x3743 -x77 -x9322 -x8737 -x2535 -x1373 -x982 -x739 -x79 -x5132 -x2120 -x1377 -x986 -x741 -x8742 -x2122 -x7276 1800.25 v -x8745 -x1379 -x735 -x57 -x8743 -x3654 -x2136 -x1380 -x3653 -x1022 -x736 -x2547 -x1028 -x1638 -x1033 -x9492 -x7952 -x1637 1800.25 v -x8475 -x8109 -x7951 -x5637 -x1879 -x1881 -x8481 -x5643 -x5365 -x2980 -x10882 -x7992 -x5364 -x2982 -x10884 -x10396 -x9609 1800.25 v -x1875 -x1634 -x10890 -x4844 -x8484 -x5651 -x4843 -x2976 -x1876 -x5649 -x3130 -x6733 -x5361 -x2977 -x8321 -x3557 -x3395 1800.25 v -x8320 -x6739 -x5939 -x5316 -x4971 -x4671 -x437 -x9568 -x6361 -x5943 -x4970 -x4520 -x3574 -x9589 -x8328 -x7489 -x4677 1800.25 v -x3573 -x3413 -x2392 -x207 -x9585 -x8079 -x3243 -x1732 -x9584 -x8078 -x7718 -x6742 -x6379 -x5945 -x3251 -x2398 -x2383 1800.25 v -x1734 -x210 -x8335 -x5946 -x3255 -x2385 -x9902 -x8893 -x8425 -x8086 -x7719 -x5373 -x5340 -x4967 -x4680 -x2713 -x8897 1800.25 v -x6539 -x5377 -x5339 -x8431 -x8094 -x5909 -x2719 -x2401 -x2379 -x8093 -x5904 -x2380 -x9951 -x3678 -x8434 -x5806 -x5336 1800.25 v -x3680 -x2727 -x1984 -x5808 -x3686 -x3390 -x2725 -x1988 -x10776 -x8587 -x7022 -x1958 -x1910 -x8588 -x6478 -x1216 -x10788 1800.25 v -x9702 -x8583 -x7020 -x5802 -x2915 -x1964 -x1215 -x10792 -x9845 -x9704 -x9143 -x8849 -x2919 -x8870 -x8581 -x5803 -x3441 1800.25 v -x2772 -x2751 -x1916 -x8866 -x3442 -x1917 -x9863 -x9698 -x9145 -x8865 -x4984 -x3437 -x1967 -x1222 -x9146 -x3079 -x10979 1800.25 v -x10589 -x9699 -x3435 -x1228 -x407 -x10593 -x5019 -x10975 -x5021 -x3525 -x413 -x3527 -x10973 -x10198 -x7592 -x1302 -x1236 1800.25 v -x10200 -x5035 -x2210 -x1234 -x9273 -x6984 -x6302 -x3521 -x1305 -x6306 -x10689 -x10194 -x10070 -x8388 -x6987 -x3522 -x962 1800.25 v -x10693 -x8824 -x10195 -x7164 -x4233 -x4108 -x4067 -x9287 -x4160 -x4110 -x4066 -x3619 -x3482 -x965 -x9291 -x8835 -x7610 1800.25 v -x4164 -x3481 -x7628 -x7167 -x5921 -x3622 -x4121 -x10031 -x7428 -x7430 -x9873 -x8317 -x2235 -x9877 -x8316 -x7379 -x7424 1800.25 v -x7378 -x7060 -x2231 -x7064 -x9384 -x7425 -x4254 -x2229 -x8617 -x1367 -x8638 -x7066 -x1366 -x8730 -x8634 -x7263 -x7067 1800.25 v -x740 -x8732 -x8633 -x5137 -x981 -x2534 -x1378 -x985 -x9393 -x8922 -x2536 -x101 -x2123 -x1381 -x59 -x8761 -x8765 -x3655 1800.25 v -x1021 -x7953 -x1023 -x1029 -x8471 -x1880 -x9611 -x8477 -x7949 -x9613 -x5636 -x2981 -x7950 -x5638 -x4845 -x7991 -x4847 1800.25 v -x10398 -x9607 -x8485 -x8483 -x5652 -x9608 -x8117 -x6729 -x4841 -x5933 -x3132 -x10404 -x6735 -x5932 -x5315 -x4842 -x3575 1800.25 v -x433 -x10917 -x10405 -x5314 -x9586 -x7485 -x5940 -x5841 -x4673 -x3416 -x3134 -x2388 -x436 -x9588 -x8322 -x5845 -x3135 1800.25 v -x8323 -x7488 -x6743 -x6382 -x4678 -x3571 -x3412 -x2394 -x206 -x6741 -x5947 -x2384 -x9898 -x9582 -x8421 -x6378 -x5311 1800.25 v -x4681 -x3572 -x3410 -x3253 -x212 -x8080 -x4679 -x3257 -x9901 -x9583 -x8892 -x8427 -x6376 -x5906 -x5375 -x2402 -x8896 1800.25 v -x5908 -x5379 -x2712 -x2400 -x6555 -x3259 -x2714 -x215 -x3260 -x8435 -x7025 -x6550 -x5902 -x5381 -x8433 -x5807 -x5382 1800.25 v -x2728 -x1904 -x8586 -x5903 -x1983 -x1954 -x1903 -x1217 -x9133 -x8585 -x1987 -x1219 -x10529 -x9132 -x6863 -x1960 -x10531 1800.25 v -x9703 -x3698 -x10790 -x8867 -x7021 -x3697 -x3440 -x2914 -x2768 -x2752 -x1213 -x10794 -x8869 -x3439 -x2918 -x2750 -x1918 1800.25 v -x10525 -x8582 -x4980 -x2771 -x1968 -x1214 -x9147 -x1966 -x10978 -x10526 -x9862 -x8863 -x4153 -x403 -x10977 -x4154 -x1221 1800.25 v -x10588 -x9860 -x8864 -x3436 -x1223 -x409 -x10592 -x3526 -x3091 -x7588 -x3090 -x414 -x10199 -x1237 -x10974 -x1301 -x952 1800.25 v -x5039 -x10066 -x9274 -x6983 -x6304 -x5038 -x1307 -x6308 -x10688 -x10069 -x6989 -x4229 -x10692 -x6310 -x5911 -x4232 -x1310 1800.25 v -x966 -x6311 -x964 -x9286 -x7625 -x7168 -x6992 -x4162 -x3618 -x9290 -x7627 -x7166 -x4166 -x4111 -x4068 -x5922 -x4129 -x4069 1800.25 v -x3624 -x189 -x7623 -x190 -x10032 -x7460 -x7429 -x7380 -x2234 -x7464 -x7382 -x7054 -x2233 -x9872 -x8517 -x7053 -x9876 1800.25 v -x9380 -x7376 -x7061 -x9386 -x8635 -x8511 -x7377 -x4253 -x2230 -x8637 -x7068 -x5496 -x1368 -x9047 -x8918 -x8631 -x7284 1800.25 v -x5136 -x983 -x98 -x9392 -x7285 -x987 -x100 -x8921 -x8661 -x8632 -x7280 -x5134 -x2141 -x8665 -x2537 -x8749 -x7278 -x989 1800.25 v -x94 -x990 -x8760 -x95 -x7954 -x3676 -x2138 -x2272 -x9612 -x8470 -x1041 -x8472 -x1040 -x10392 -x8478 -x4846 -x10391 -x7993 1800.25 v -x4358 -x3122 -x10903 -x3121 -x10905 -x8116 -x10407 -x7995 -x2940 -x10406 -x7996 -x6728 -x3576 -x2944 -x10899 -x6730 1800.25 v -x6390 -x3415 -x432 -x10916 -x9587 -x6394 -x5934 -x3414 -x10900 -x7761 -x7484 -x6381 -x5840 -x438 -x202 -x6380 -x5844 1800.25 v -x4674 -x3247 -x2387 -x8343 -x7490 -x3246 -x2389 -x208 -x5369 -x9897 -x8339 -x5368 -x3411 -x3254 -x441 -x8420 -x5907 -x2403 1800.25 v -x9903 -x8894 -x8422 -x8337 -x8101 -x7493 -x6552 -x6377 -x216 -x8898 -x6554 -x5380 -x3261 -x214 -x5384 -x8436 -x5383 -x9906 1800.25 v -x8900 -x8095 -x6548 -x703 -x8901 -x1218 -x6859 -x6549 -x1985 -x10784 -x10530 -x1989 -x1953 -x1905 -x10783 -x6862 -x6813 1800.25 v -x1955 -x9134 -x8868 -x9865 -x3695 -x2916 -x2767 -x1991 -x1923 -x10795 -x2920 -x1992 -x1969 -x4979 -x4152 -x3696 -x2819 1800.25 v -x2773 -x4151 -x2923 -x402 -x10590 -x9861 -x2776 -x404 -x10594 -x1224 -x7587 -x4148 -x3088 -x3006 -x1297 -x1245 -x6298 1800.25 v -x1241 -x10596 -x6979 -x6297 -x3089 -x1303 -x1240 -x10597 -x951 -x10065 -x6985 -x6305 -x5036 -x1308 -x953 -x177 -x10690 1800.25 v -x10071 -x7596 -x6990 -x5037 -x4228 -x1311 -x176 -x10694 -x6312 -x4156 -x1309 -x6993 -x4234 -x4155 -x3614 -x7626 -x6991 1800.25 v -x5910 -x10074 -x9288 -x8844 -x5912 -x4126 -x3620 -x9292 -x4167 -x4128 -x191 -x4237 -x4081 -x3625 -x7621 -x4169 -x4124 1800.25 v -x8516 -x7459 -x7381 -x2671 -x8515 -x7463 -x9874 -x9878 -x7055 -x9190 -x9194 -x8636 -x9880 -x8947 -x8512 -x5492 -x5139 1800.25 v -x4746 -x9881 -x4750 -x977 -x9043 -x7283 -x5495 -x976 -x7282 -x99 -x9046 -x8917 -x8751 -x7881 -x1389 -x8753 -x2142 -x988 1800.25 v -x8923 -x8660 -x7811 -x5168 -x5135 -x1385 -x5172 -x991 -x8747 -x7279 -x1383 -x8926 -x8762 -x8748 -x3675 -x3674 -x3535 1800.25 v -x2552 -x1042 -x3539 -x2271 -x2247 -x8769 -x3671 -x1038 -x8473 -x8494 -x5657 -x1039 -x10904 -x10393 -x5659 -x4357 -x10394 1800.25 v -x7997 -x3123 -x3124 -x2939 -x428 -x2943 -x10863 -x7757 -x7480 -x6389 -x6061 -x3141 -x434 -x10918 -x10867 -x6393 -x8342 1800.25 v -x7760 -x7486 -x5955 -x5842 -x8341 -x5846 -x201 -x10920 -x9893 -x5951 -x442 -x203 -x10921 -x8888 -x3248 -x1754 -x440 -x9899 1800.25 v -x9068 -x8887 -x8100 -x7494 -x5949 -x5848 -x4685 -x9072 -x8099 -x7492 -x6553 -x5849 -x5370 -x2407 -x8338 -x5371 -x3266 1800.25 v -x2406 -x8899 -x8903 -x5388 -x2733 -x699 -x8902 -x2735 -x1979 -x8096 -x1978 -x702 -x112 -x6858 -x6809 -x1986 -x2910 -x1990 1800.25 v -x6864 -x6812 -x2909 -x2763 -x2730 -x1994 -x10785 -x1993 -x10786 -x9155 -x4975 -x4859 -x2769 -x2756 -x1977 -x1922 -x10212 1800.25 v -x9156 -x1973 -x9151 -x6867 -x4981 -x2818 -x1972 -x1920 -x10584 -x3093 -x10583 -x9149 -x2777 -x2775 -x7583 -x7188 -x3002 1800.25 v -x1242 -x1244 -x405 -x10599 -x7589 -x3005 -x10598 -x1296 -x10061 -x1298 -x1238 -x10684 -x6978 -x6299 -x10683 -x10067 1800.25 v -x7597 -x6980 -x6300 -x4224 -x1239 -x7595 -x6986 -x954 -x10691 -x6982 -x6317 -x4230 -x9282 -x6994 -x178 -x10075 -x9281 1800.25 v -x8843 -x7177 -x970 -x10073 -x8842 -x4157 -x4127 -x3613 -x7172 -x4238 -x4158 -x4080 -x3615 -x5913 -x4236 -x4079 -x3621 1800.25 v -x5931 -x3617 -x7622 -x4122 -x3626 -x9869 -x7217 -x2670 -x7465 -x5401 -x9879 -x9883 -x9189 -x8943 -x7467 -x7076 -x1052 1800.25 v -x9882 -x9193 -x7468 -x1056 -x8946 -x7072 -x4745 -x4749 -x8913 -x7877 -x7070 -x5497 -x1388 -x8752 -x1387 -x978 -x9048 1800.25 v -x8919 -x7880 -x7807 -x2556 -x8662 -x7810 -x5500 -x5167 -x4554 -x8756 -x5171 -x4558 -x9051 -x8755 -x1384 -x8668 -x8669 1800.25 v -x1043 -x3534 -x2243 -x3538 -x5571 -x2246 -x8491 -x5721 -x2275 -x8493 -x5658 -x2276 -x4359 -x10414 -x10908 -x10415 -x10907 1800.25 v -x10410 -x7390 -x6057 -x4361 -x2941 -x7394 -x5836 -x4362 -x2945 -x427 -x10862 -x10408 -x7756 -x6749 -x6391 -x6060 -x5954 1800.25 v -x5835 -x3140 -x429 -x10919 -x10866 -x7479 -x6395 -x5953 -x7762 -x7481 -x5843 -x4687 -x3138 -x2947 -x1551 -x10922 -x5847 1800.25 v -x4689 -x2948 -x6397 -x5851 -x2408 -x9892 -x6398 -x5850 -x2410 -x9894 -x9067 -x7765 -x5950 -x4683 -x3269 -x9071 -x9022 1800.25 v -x8889 -x10838 -x5391 -x4684 -x3265 -x2404 -x220 -x10842 -x5392 -x2734 -x8907 -x7438 -x5387 -x3263 -x2405 -x698 -x7442 1800.25 v -x6854 -x5385 -x704 -x1980 -x8438 -x6860 -x2758 -x1981 -x1925 -x8355 -x2760 -x1982 -x9154 -x6865 -x6814 -x4855 -x2063 1800.25 v -x1998 -x1974 -x707 -x9153 -x2911 -x2762 -x1976 -x7832 -x6963 -x6868 -x4858 -x2912 -x2764 -x2754 -x10211 -x7836 -x6866 1800.25 v -x4974 -x2770 -x6817 -x2929 -x2820 -x2755 -x1970 -x1921 -x749 -x2778 -x753 -x9150 -x7184 -x1971 -x1243 -x7187 -x3001 -x2823 1800.25 v -x7582 -x7584 -x3007 -x236 -x1299 -x6320 -x3010 -x1320 -x420 -x10068 -x6981 -x6321 -x4223 -x1316 -x7174 -x7002 -x6316 1800.25 v -x5274 -x4225 -x1315 -x7176 -x6998 -x4231 -x6997 -x6314 -x968 -x199 -x9283 -x7170 -x5928 -x5151 -x4176 -x969 -x5930 -x4177 1800.25 v -x3616 -x8839 -x7171 -x4172 -x3634 -x193 -x4123 -x3630 -x10044 -x2672 -x9868 -x7466 -x10038 -x9764 -x7075 -x5400 -x7469 1800.25 v -x7074 -x10039 -x9191 -x8942 -x5487 -x2676 -x1051 -x9195 -x1055 -x9038 -x8948 -x4747 -x4751 -x9197 -x7876 -x7071 -x4268 1800.25 v -x9198 -x8912 -x8656 -x10158 -x9396 -x8951 -x8914 -x8655 -x7806 -x5501 -x4753 -x999 -x10162 -x8920 -x5499 -x4754 -x9964 1800.25 v -x9397 -x9052 -x8663 -x7812 -x5169 -x4553 -x995 -x9050 -x5173 -x4557 -x7885 -x993 -x8670 -x2263 -x7815 -x5175 -x5176 -x5567 1800.25 v -x3536 -x2242 -x3540 -x5717 -x5570 -x2278 -x8492 -x2277 -x9546 -x5720 -x3542 -x3543 -x10413 -x2251 -x483 -x10412 -x4360 1800.25 v -x2935 -x487 -x8790 -x8120 -x8001 -x2934 -x6385 -x4363 -x8121 -x7999 -x7752 -x7389 -x6384 -x2942 -x10909 -x7393 -x6750 1800.25 v -x10864 -x10409 -x7758 -x6062 -x1547 -x10868 -x5837 -x4688 -x2949 -x10927 -x8451 -x5838 -x3139 -x1550 -x6399 -x5839 -x2409 1800.25 v -x10870 -x7766 -x7503 -x6065 -x5855 -x3268 -x446 -x222 -x10871 -x7764 -x7499 -x3267 -x224 -x7498 -x5390 -x9021 -x5389 1800.25 v -x10837 -x8910 -x694 -x218 -x10841 -x8911 -x9911 -x8906 -x8553 -x7437 -x3264 -x2515 -x700 -x219 -x9076 -x7441 -x2519 -x8904 1800.25 v -x6804 -x5386 -x6853 -x2759 -x6855 -x2059 -x2001 -x708 -x8354 -x6861 -x2002 -x1975 -x706 -x10805 -x6959 -x6815 -x4854 1800.25 v -x4212 -x2810 -x2062 -x1997 -x6869 -x116 -x7831 -x6962 -x6818 -x5521 -x4860 -x2932 -x1995 -x10213 -x7835 -x6816 -x2765 1800.25 v -x3031 -x2928 -x2821 -x748 -x752 -x10215 -x7183 -x2997 -x2926 -x2824 -x2781 -x532 -x10216 -x2822 -x536 -x9712 -x7189 -x6763 1800.25 v -x3003 -x9716 -x3008 -x232 -x7192 -x6319 -x3156 -x3011 -x1317 -x6318 -x3009 -x1319 -x6999 -x7175 -x7001 -x10706 -x10084 1800.25 v -x1313 -x198 -x10707 -x5746 -x197 -x10702 -x10079 -x6995 -x6315 -x4175 -x1314 -x5929 -x4174 -x10700 -x9302 -x6996 -x4242 1800.25 v -x3631 -x3490 -x3633 -x4170 -x194 -x3629 -x10042 -x9760 -x2673 -x9185 -x9763 -x9184 -x8938 -x2677 -x2089 -x4741 -x2675 1800.25 v -x9192 -x4740 -x1053 -x9401 -x9196 -x5486 -x1057 -x9200 -x5488 -x5405 -x4748 -x4271 -x9199 -x9037 -x4752 -x9039 -x7878 1800.25 v -x7802 -x4756 -x4267 -x1059 -x998 -x5163 -x4755 -x1060 -x997 -x10157 -x9960 -x5162 -x4265 -x10161 -x9053 -x8915 -x8657 1800.25 v -x9963 -x8658 -x7886 -x6107 -x4555 -x8932 -x7884 -x5174 -x4559 -x8931 -x7816 -x5178 -x994 -x7814 -x5177 -x3530 -x4561 1800.25 v -x3529 -x2238 -x4562 -x8774 -x2244 -x8772 -x5716 -x5572 -x8125 -x3544 -x9545 -x8004 -x5722 -x2250 -x8786 -x482 -x486 -x8789 1800.25 v -x5725 -x10858 -x10857 -x8000 -x7391 -x7751 -x7395 -x6386 -x10865 -x7753 -x6387 -x1546 -x448 -x7759 -x450 -x10926 -x8450 1800.25 v -x7500 -x7397 -x7134 -x6066 -x5858 -x1552 -x10872 -x7767 -x7502 -x7398 -x7138 -x6064 -x5859 -x223 -x10924 -x5854 -x444 1800.25 v -x3328 -x10090 -x9913 -x8909 -x7496 -x5852 -x1555 -x445 -x10094 -x9023 -x8908 -x10839 -x8459 -x7497 -x10843 -x693 -x103 1800.25 v -x9909 -x9025 -x7439 -x2514 -x695 -x102 -x9026 -x7443 -x2518 -x10845 -x9910 -x8905 -x2000 -x10846 -x6803 -x1999 -x6805 1800.25 v -x4850 -x4208 -x2058 -x10203 -x8356 -x7446 -x10202 -x6958 -x5517 -x4856 -x4211 -x2931 -x2064 -x2930 -x2809 -x7833 -x6964 1800.25 v -x6872 -x5520 -x3027 -x2811 -x2783 -x1996 -x557 -x8359 -x7837 -x2785 -x561 -x10218 -x7179 -x4995 -x3030 -x2067 -x750 -x10217 1800.25 v -x4997 -x754 -x7839 -x7185 -x6967 -x2927 -x2779 -x531 -x7840 -x2996 -x535 -x9711 -x6762 -x2998 -x2780 -x1277 -x756 -x9715 1800.25 v -x3004 -x1281 -x757 -x7603 -x7193 -x4992 -x3152 -x231 -x7191 -x1318 -x10601 -x6709 -x7000 -x6713 -x10705 -x10081 -x7599 1800.25 v -x10704 -x10083 -x7600 -x4244 -x240 -x4246 -x10077 -x9301 -x9300 -x3632 -x10701 -x10078 -x4240 -x3489 -x9296 -x4241 -x4171 1800.25 v -x3627 -x10043 -x9889 -x9759 -x9158 -x8010 -x7477 -x8014 -x7478 -x2678 -x9765 -x7473 -x2087 -x9186 -x8937 -x9187 -x8939 1800.25 v -x7471 -x4270 -x2088 -x9188 -x5404 -x4742 -x4269 -x10377 -x9768 -x9204 -x4743 -x1062 -x5489 -x4744 -x1061 -x4760 -x9040 1800.25 v -x7801 -x4549 -x10159 -x9959 -x8933 -x7803 -x4548 -x4266 -x10163 -x8935 -x5164 -x9965 -x9056 -x8678 -x6106 -x5816 -x8679 1800.25 v -x5820 -x4560 -x10165 -x8929 -x8674 -x4701 -x4564 -x10166 -x4563 -x9968 -x8930 -x8672 -x5562 -x3531 -x5712 -x3532 -x2245 1800.25 v -x8773 -x5718 -x5573 -x5103 -x9547 -x5723 -x2279 -x604 -x608 -x8785 -x5726 -x484 -x7385 -x5724 -x488 -x8791 -x7384 -x3177 1800.25 v -x3181 -x10929 -x7392 -x2957 -x1542 -x490 -x10859 -x7396 -x2958 -x491 -x449 -x8794 -x8446 -x7400 -x6407 -x5963 -x5857 1800.25 v -x2953 -x1548 -x7754 -x7501 -x7399 -x6067 -x5967 -x5856 -x8452 -x7133 -x6403 -x2951 -x1553 -x9013 -x7137 -x10925 -x9012 1800.25 v -x7770 -x6401 -x1556 -x10833 -x9914 -x3327 -x1554 -x10832 -x10089 -x8460 -x5853 -x10093 -x8458 -x7433 -x9028 -x7432 -x9027 1800.25 v -x10848 -x2516 -x10847 -x8346 -x2520 -x104 -x8345 -x717 -x105 -x713 -x8557 -x6954 -x6874 -x4207 -x2522 -x2060 -x712 -x7827 1800.25 v -x6876 -x4849 -x2523 -x7826 -x6960 -x6827 -x5516 -x4851 -x4213 -x10204 -x2784 -x744 -x10205 -x7834 -x6965 -x6870 -x6822 1800.25 v -x5522 -x3026 -x2068 -x743 -x556 -x7838 -x4996 -x2812 -x2066 -x560 -x10222 -x7842 -x6968 -x6871 -x4216 -x3032 -x751 -x7841 1800.25 v -x7178 -x6966 -x2829 -x7180 -x5525 -x2828 -x533 -x7186 -x758 -x537 -x9713 -x3035 -x1276 -x227 -x9717 -x7604 -x1280 -x539 1800.25 v -x540 -x10451 -x6767 -x6708 -x3015 -x10082 -x9720 -x6712 -x5269 -x5771 -x5268 -x4245 -x3160 -x3486 -x1758 -x3491 -x1757 1800.25 v -x5750 -x9297 -x3628 -x9761 -x9157 -x8009 -x7475 -x6348 -x4276 -x8013 -x4280 -x6237 -x2681 -x10373 -x9769 -x9207 -x7472 1800.25 v -x9767 -x9208 -x10376 -x9203 -x8961 -x4763 -x1798 -x10153 -x4764 -x10152 -x9955 -x9201 -x9097 -x9058 -x4759 -x9060 -x8934 1800.25 v -x9961 -x8677 -x7895 -x4757 -x8676 -x7804 -x4550 -x586 -x10168 -x9054 -x7890 -x6108 -x5815 -x5504 -x5185 -x4697 -x10167 1800.25 v -x5819 -x5186 -x9969 -x9055 -x4568 -x9967 -x8673 -x6114 -x6115 -x5561 -x5099 -x3552 -x9541 -x5711 -x3553 -x9540 -x5713 1800.25 v -x3548 -x5719 -x478 -x8781 -x4370 -x3546 -x2280 -x2256 -x603 -x477 -x4369 -x607 -x8787 -x10938 -x8792 -x3176 -x2956 -x493 1800.25 v -x7386 -x3180 -x2955 -x492 -x8795 -x6406 -x4366 -x8793 -x6405 -x1541 -x10880 -x7772 -x5962 -x1543 -x8445 -x7774 -x6071 1800.25 v -x5966 -x1549 -x10876 -x7660 -x7135 -x6070 -x2952 -x7664 -x7139 -x1557 -x10874 -x7768 -x6402 -x3329 -x8545 -x7769 -x7141 1800.25 v -x10834 -x10095 -x7142 -x2510 -x9081 -x9032 -x3899 -x2509 -x7434 -x10097 -x9079 -x7435 -x714 -x10098 -x716 -x7452 -x4204 1800.25 v -x125 -x8556 -x8347 -x6875 -x126 -x8348 -x6824 -x5512 -x710 -x121 -x6953 -x6826 -x6955 -x5518 -x3022 -x711 -x119 -x7828 1800.25 v -x6961 -x10225 -x7829 -x6957 -x6820 -x5523 -x4217 -x3028 -x2830 -x558 -x6969 -x4215 -x2832 -x745 -x562 -x527 -x10221 -x7846 1800.25 v -x6821 -x6754 -x5526 -x526 -x9707 -x5524 -x10219 -x9706 -x3036 -x2826 -x763 -x564 -x3034 -x565 -x9714 -x9505 -x3147 -x3017 1800.25 v -x2827 -x2493 -x1278 -x9718 -x7198 -x3019 -x2497 -x1282 -x541 -x226 -x10447 -x7197 -x6768 -x6766 -x10450 -x6710 -x6687 1800.25 v -x5767 -x3013 -x1284 -x6714 -x6691 -x1285 -x5770 -x4814 -x3014 -x3159 -x6716 -x6717 -x3485 -x10055 -x3487 -x1759 -x9159 1800.25 v -x8011 -x7476 -x6347 -x6233 -x4275 -x2685 -x1667 -x8015 -x4279 -x9206 -x6236 -x2679 -x9205 -x10372 -x9163 -x8958 -x4762 1800.25 v -x2680 -x1794 -x8960 -x4761 -x10378 -x9093 -x1065 -x9059 -x9202 -x9096 -x7892 -x3606 -x1063 -x10154 -x9954 -x7894 -x6102 1800.25 v -x10381 -x9956 -x7822 -x6101 -x5184 -x4758 -x5183 -x585 -x10172 -x8208 -x7888 -x5817 -x4696 -x4571 -x8212 -x5821 -x4572 1800.25 v -x7889 -x6117 -x4567 -x6116 -x8811 -x5180 -x4565 -x3551 -x8815 -x3550 -x4705 -x2258 -x5714 -x5735 -x3547 -x2254 -x605 1800.25 v -x8780 -x609 -x479 -x9560 -x8782 -x5730 -x3585 -x2255 -x3589 -x10937 -x7538 -x3178 -x611 -x497 -x3182 -x612 -x10879 -x10878 1800.25 v -x7773 -x7129 -x7403 -x7128 -x6185 -x3184 -x3319 -x3185 -x10946 -x7659 -x7401 -x7136 -x6068 -x1565 -x10086 -x7140 -x1561 1800.25 v -x10875 -x10085 -x9084 -x8469 -x6069 -x5970 -x1560 -x9083 -x7143 -x5971 -x3330 -x9035 -x3895 -x10096 -x8544 -x10855 -x9031 1800.25 v -x3898 -x10099 -x2511 -x715 -x10851 -x9080 -x9029 -x352 -x124 -x356 -x123 -x10849 -x7451 -x6825 -x7449 -x5511 -x552 -x10224 1800.25 v -x8364 -x5513 -x4870 -x2077 -x120 -x10223 -x6956 -x4872 -x3021 -x2831 -x2073 -x8362 -x7849 -x6977 -x3023 -x2072 -x559 1800.25 v -x6973 -x5527 -x3029 -x563 -x7845 -x6972 -x4866 -x3641 -x766 -x6753 -x3645 -x1272 -x528 -x10220 -x7843 -x7199 -x4867 -x4579 1800.25 v -x1271 -x762 -x9708 -x7201 -x4583 -x3018 -x9709 -x9504 -x2492 -x760 -x6704 -x3146 -x1283 -x10446 -x9726 -x7195 -x6703 1800.25 v -x1287 -x1286 -x10452 -x7196 -x6686 -x5766 -x4810 -x250 -x6715 -x6690 -x7254 -x6719 -x4813 -x245 -x6718 -x10455 -x10305 1800.25 v -x10309 -x10051 -x5775 -x5287 -x5261 -x10054 -x5285 -x4333 -x6349 -x6232 -x5412 -x4277 -x2683 -x1666 -x8016 -x4281 -x10368 1800.25 v -x9164 -x6238 -x1068 -x9162 -x8959 -x1067 -x10374 -x6353 -x5408 -x4283 -x4284 -x9092 -x6241 -x5409 -x7893 -x10382 -x9098 1800.25 v -x3605 -x1064 -x10380 -x7823 -x10175 -x4570 -x1802 -x6103 -x4569 -x10171 -x9978 -x9101 -x8207 -x4698 -x8211 -x5822 -x10169 1800.25 v -x9973 -x6121 -x589 -x590 -x4706 -x4566 -x4704 -x2259 -x599 -x5732 -x4770 -x5734 -x9563 -x606 -x9564 -x3172 -x610 -x10933 1800.25 v -x9559 -x7534 -x5728 -x5579 -x3584 -x3171 -x500 -x3588 -x9557 -x7537 -x7406 -x5729 -x496 -x8800 -x7405 -x3183 -x8799 -x6181 1800.25 v -x3187 -x494 -x3186 -x6184 -x1562 -x1564 -x8466 -x7661 -x7402 -x8468 -x5972 -x9034 -x1558 -x10087 -x9033 -x10854 -x8462 1800.25 v -x3338 -x1559 -x10853 -x8463 -x7454 -x3900 -x9030 -x351 -x355 -x10850 -x2528 -x7450 -x2526 -x2074 -x4871 -x2076 -x7848 1800.25 v -x6974 -x2985 -x7847 -x6976 -x4222 -x8363 -x4221 -x2070 -x765 -x5531 -x3024 -x764 -x6970 -x5530 -x3640 -x3045 -x2071 -x571 1800.25 v -x7200 -x3644 -x3041 -x9788 -x7844 -x6971 -x3040 -x549 -x1273 -x550 -x10442 -x9729 -x9506 -x2494 -x761 -x545 -x6773 -x10448 1800.25 v -x9725 -x6772 -x5762 -x543 -x247 -x249 -x9723 -x9509 -x7250 -x6688 -x5768 -x4809 -x2500 -x6692 -x2501 -x10456 -x6723 -x4815 1800.25 v -x3165 -x243 -x10454 -x10304 -x6694 -x5776 -x5759 -x5257 -x244 -x10308 -x6695 -x5774 -x5760 -x5260 -x5158 -x4818 -x4329 1800.25 v -x5160 -x10056 -x5286 -x3500 -x1769 -x1768 -x9775 -x8008 -x6234 -x5413 -x2684 -x1668 -x9777 -x6354 -x4286 -x10367 -x6352 1800.25 v -x4285 -x10369 -x9771 -x9088 -x1672 -x10375 -x6240 -x9772 -x9094 -x10383 -x577 -x10174 -x3607 -x10173 -x9975 -x9102 -x9977 1800.25 v -x9100 -x8209 -x6124 -x3610 -x8213 -x4699 -x591 -x10170 -x9971 -x6120 -x9972 -x8215 -x6118 -x8216 -x5733 -x9562 -x4769 1800.25 v -x9561 -x499 -x498 -x8801 -x7533 -x3586 -x8803 -x3590 -x3173 -x9558 -x7539 -x8797 -x6180 -x3592 -x495 -x7655 -x3593 -x1563 1800.25 v -x8798 -x7654 -x7542 -x6186 -x8467 -x7151 -x7147 -x6189 -x7145 -x3337 -x3335 -x2531 -x2530 -x353 -x2075 -x2527 -x6975 1800.25 v -x10985 -x5532 -x2984 -x4219 -x3042 -x574 -x3044 -x9789 -x9496 -x5528 -x4220 -x570 -x548 -x9787 -x3646 -x2488 -x547 -x9728 1800.25 v -x6774 -x5529 -x3038 -x2487 -x568 -x9727 -x9507 -x3039 -x2495 -x1294 -x10441 -x6682 -x1295 -x248 -x10443 -x9510 -x6770 1800.25 v -x4805 -x4586 -x1290 -x544 -x10449 -x9508 -x5761 -x4587 -x9724 -x7249 -x6771 -x6726 -x5763 -x4811 -x1288 -x6727 -x6693 1800.25 v -x6722 -x6697 -x5758 -x3163 -x6696 -x5777 -x5757 -x10306 -x10047 -x6720 -x5256 -x4819 -x3164 -x10310 -x5159 -x4817 -x7258 1800.25 v -x5262 -x4328 -x3501 -x10312 -x5754 -x10313 -x5265 -x5155 -x9776 -x8025 -x4274 -x1669 -x6355 -x6235 -x9168 -x4289 -x1673 1800.25 v -x1671 -x3599 -x10370 -x9087 -x9089 -x9095 -x10386 -x3608 -x9976 -x9103 -x8203 -x6123 -x3611 -x6122 -x3609 -x5833 -x8806 1800.25 v -x8805 -x6119 -x5827 -x4771 -x3580 -x7531 -x3579 -x8802 -x7535 -x617 -x7540 -x6178 -x3194 -x615 -x3594 -x7543 -x6182 -x7541 1800.25 v -x7150 -x5980 -x7149 -x6190 -x6188 -x7146 -x10986 -x3336 -x354 -x5533 -x573 -x3043 -x572 -x4574 -x9495 -x6775 -x9497 -x1293 1800.25 v -x569 -x2489 -x1292 -x4589 -x4588 -x3168 -x6725 -x10444 -x6724 -x4804 -x7251 -x4806 -x1289 -x10461 -x10300 -x10460 -x10299 1800.25 v -x5784 -x5254 -x9173 -x6721 -x5780 -x5258 -x4327 -x10046 -x7257 -x10048 -x5263 -x10314 -x5266 -x5264 -x3498 -x8026 -x6358 1800.25 v -x1670 -x1674 -x9166 -x6246 -x4287 -x9167 -x8022 -x4288 -x10384 -x1806 -x9104 -x3612 -x10385 -x9105 -x5832 -x5831 -x5828 1800.25 v -x4709 -x620 -x7530 -x3581 -x5111 -x3193 -x7536 -x3192 -x3596 -x616 -x6177 -x6176 -x5979 -x5978 -x6191 -x5975 -x9792 -x4590 1800.25 v -x10463 -x2504 -x6702 -x5783 -x2505 -x5782 -x10458 -x10301 -x5253 -x10459 -x6699 -x5778 -x5252 -x4822 -x5259 -x5779 -x5255 1800.25 v -x5267 1800.25 c Somebody sent me a SIGTERM 1800.26 smodels-2.31: no process killed 1800.26 pb2smodels: no process killed
OK 258
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node26/watcher-45873-1154048697 -o ROOT/results/node26/solver-45873-1154048697 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node26/45873-1154048697/instance-45873-1154048697.opb 224551078 ROOT/tmp/node26/45873-1154048697 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 0.99 0.97 3/64 19997 /proc/meminfo: memFree=1534256/2055920 swapFree=4177816/4192956 [pid=19997] ppid=19995 vsize=5360 CPUtime=0 /proc/19997/stat : 19997 (runpbsmodels) S 19995 19997 19948 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151729747 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/19997/statm: 1340 234 195 169 0 51 0 [pid=19998] ppid=19997 vsize=7504 CPUtime=0 /proc/19998/stat : 19998 (pbsmodels-v1.31) R 19997 19997 19948 0 -1 4194304 67 0 0 0 0 0 0 0 20 0 1 0 151729748 7684096 49 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 269025867820 0 0 4096 0 0 0 0 17 1 0 0 /proc/19998/statm: 1876 51 38 3 0 55 0 [startup+10.0032 s] /proc/loadavg: 1.00 0.99 0.97 2/68 20002 /proc/meminfo: memFree=1528224/2055920 swapFree=4177816/4192956 [pid=19997] ppid=19995 vsize=5360 CPUtime=0 /proc/19997/stat : 19997 (runpbsmodels) S 19995 19997 19948 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151729747 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/19997/statm: 1340 234 195 169 0 51 0 [pid=19998] ppid=19997 vsize=12268 CPUtime=0 /proc/19998/stat : 19998 (pbsmodels-v1.31) S 19997 19997 19948 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151729748 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 269037387668 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/19998/statm: 3067 383 293 3 0 167 0 [pid=19999] ppid=19998 vsize=5356 CPUtime=2.03 /proc/19999/stat : 19999 (sh) S 19998 19997 19948 0 -1 4194304 309 1301 0 0 0 0 203 0 16 0 1 0 151729749 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/19999/statm: 1339 227 188 169 0 50 0 [pid=20001] ppid=19999 vsize=7028 CPUtime=8.42 /proc/20001/stat : 20001 (smodels-2.31) R 19999 19997 19948 0 -1 4194304 1405 0 0 0 842 0 0 0 25 0 1 0 151729750 7196672 1369 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532711 0 0 4096 0 0 0 0 17 1 0 0 /proc/20001/statm: 1757 1369 210 21 0 1193 0 [pid=20002] ppid=19999 vsize=12268 CPUtime=0 /proc/20002/stat : 20002 (pbout.new.pl) S 19999 19997 19948 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 151729750 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 269037383778 0 0 4224 0 18446744071563648864 0 0 17 1 0 0 /proc/20002/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 10.45 Current children cumulated vsize (Kb) 42280 [startup+20.0102 s] /proc/loadavg: 1.00 0.99 0.97 2/68 20002 /proc/meminfo: memFree=1528352/2055920 swapFree=4177816/4192956 [pid=19997] ppid=19995 vsize=5360 CPUtime=0 /proc/19997/stat : 19997 (runpbsmodels) S 19995 19997 19948 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151729747 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/19997/statm: 1340 234 195 169 0 51 0 [pid=19998] ppid=19997 vsize=12268 CPUtime=0 /proc/19998/stat : 19998 (pbsmodels-v1.31) S 19997 19997 19948 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151729748 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 269037387668 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/19998/statm: 3067 383 293 3 0 167 0 [pid=19999] ppid=19998 vsize=5356 CPUtime=2.03 /proc/19999/stat : 19999 (sh) S 19998 19997 19948 0 -1 4194304 309 1301 0 0 0 0 203 0 16 0 1 0 151729749 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/19999/statm: 1339 227 188 169 0 50 0 [pid=20001] ppid=19999 vsize=7028 CPUtime=18.44 /proc/20001/stat : 20001 (smodels-2.31) R 19999 19997 19948 0 -1 4194304 1406 0 0 0 1843 1 0 0 25 0 1 0 151729750 7196672 1370 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539622 0 0 4096 0 0 0 0 17 1 0 0 /proc/20001/statm: 1757 1370 210 21 0 1193 0 [pid=20002] ppid=19999 vsize=12268 CPUtime=0 /proc/20002/stat : 20002 (pbout.new.pl) S 19999 19997 19948 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 151729750 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 269037383778 0 0 4224 0 18446744071563648864 0 0 17 1 0 0 /proc/20002/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 20.47 Current children cumulated vsize (Kb) 42280 [startup+30.0172 s] /proc/loadavg: 1.00 0.99 0.97 2/68 20002 /proc/meminfo: memFree=1528416/2055920 swapFree=4177816/4192956 [pid=19997] ppid=19995 vsize=5360 CPUtime=0 /proc/19997/stat : 19997 (runpbsmodels) S 19995 19997 19948 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151729747 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/19997/statm: 1340 234 195 169 0 51 0 [pid=19998] ppid=19997 vsize=12268 CPUtime=0 /proc/19998/stat : 19998 (pbsmodels-v1.31) S 19997 19997 19948 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151729748 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 269037387668 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/19998/statm: 3067 383 293 3 0 167 0 [pid=19999] ppid=19998 vsize=5356 CPUtime=2.03 /proc/19999/stat : 19999 (sh) S 19998 19997 19948 0 -1 4194304 309 1301 0 0 0 0 203 0 16 0 1 0 151729749 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/19999/statm: 1339 227 188 169 0 50 0 [pid=20001] ppid=19999 vsize=7028 CPUtime=28.44 /proc/20001/stat : 20001 (smodels-2.31) R 19999 19997 19948 0 -1 4194304 1407 0 0 0 2843 1 0 0 25 0 1 0 151729750 7196672 1371 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532349 0 0 4096 0 0 0 0 17 1 0 0 /proc/20001/statm: 1757 1371 210 21 0 1193 0 [pid=20002] ppid=19999 vsize=12268 CPUtime=0 /proc/20002/stat : 20002 (pbout.new.pl) S 19999 19997 19948 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 151729750 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 269037383778 0 0 4224 0 18446744071563648864 0 0 17 1 0 0 /proc/20002/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 30.47 Current children cumulated vsize (Kb) 42280 [startup+40.0232 s] /proc/loadavg: 1.00 0.99 0.97 2/68 20002 /proc/meminfo: memFree=1528416/2055920 swapFree=4177816/4192956 [pid=19997] ppid=19995 vsize=5360 CPUtime=0 /proc/19997/stat : 19997 (runpbsmodels) S 19995 19997 19948 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151729747 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/19997/statm: 1340 234 195 169 0 51 0 [pid=19998] ppid=19997 vsize=12268 CPUtime=0 /proc/19998/stat : 19998 (pbsmodels-v1.31) S 19997 19997 19948 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151729748 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 269037387668 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/19998/statm: 3067 383 293 3 0 167 0 [pid=19999] ppid=19998 vsize=5356 CPUtime=2.03 /proc/19999/stat : 19999 (sh) S 19998 19997 19948 0 -1 4194304 309 1301 0 0 0 0 203 0 16 0 1 0 151729749 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/19999/statm: 1339 227 188 169 0 50 0 [pid=20001] ppid=19999 vsize=7028 CPUtime=38.44 /proc/20001/stat : 20001 (smodels-2.31) R 19999 19997 19948 0 -1 4194304 1408 0 0 0 3843 1 0 0 25 0 1 0 151729750 7196672 1372 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532882 0 0 4096 0 0 0 0 17 1 0 0 /proc/20001/statm: 1757 1372 210 21 0 1193 0 [pid=20002] ppid=19999 vsize=12268 CPUtime=0 /proc/20002/stat : 20002 (pbout.new.pl) S 19999 19997 19948 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 151729750 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 269037383778 0 0 4224 0 18446744071563648864 0 0 17 1 0 0 /proc/20002/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 40.47 Current children cumulated vsize (Kb) 42280 [startup+50.0302 s] /proc/loadavg: 1.00 0.99 0.97 2/68 20002 /proc/meminfo: memFree=1528480/2055920 swapFree=4177816/4192956 [pid=19997] ppid=19995 vsize=5360 CPUtime=0 /proc/19997/stat : 19997 (runpbsmodels) S 19995 19997 19948 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151729747 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/19997/statm: 1340 234 195 169 0 51 0 [pid=19998] ppid=19997 vsize=12268 CPUtime=0 /proc/19998/stat : 19998 (pbsmodels-v1.31) S 19997 19997 19948 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151729748 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 269037387668 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/19998/statm: 3067 383 293 3 0 167 0 [pid=19999] ppid=19998 vsize=5356 CPUtime=2.03 /proc/19999/stat : 19999 (sh) S 19998 19997 19948 0 -1 4194304 309 1301 0 0 0 0 203 0 16 0 1 0 151729749 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/19999/statm: 1339 227 188 169 0 50 0 [pid=20001] ppid=19999 vsize=7028 CPUtime=48.45 /proc/20001/stat : 20001 (smodels-2.31) R 19999 19997 19948 0 -1 4194304 1410 0 0 0 4844 1 0 0 25 0 1 0 151729750 7196672 1374 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134558143 0 0 4096 0 0 0 0 17 1 0 0 /proc/20001/statm: 1757 1374 210 21 0 1193 0 [pid=20002] ppid=19999 vsize=12268 CPUtime=0 /proc/20002/stat : 20002 (pbout.new.pl) S 19999 19997 19948 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 151729750 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 269037383778 0 0 4224 0 18446744071563648864 0 0 17 1 0 0 /proc/20002/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 50.48 Current children cumulated vsize (Kb) 42280 [startup+60.0372 s] /proc/loadavg: 1.00 0.99 0.97 2/68 20002 /proc/meminfo: memFree=1528416/2055920 swapFree=4177816/4192956 [pid=19997] ppid=19995 vsize=5360 CPUtime=0 /proc/19997/stat : 19997 (runpbsmodels) S 19995 19997 19948 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151729747 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/19997/statm: 1340 234 195 169 0 51 0 [pid=19998] ppid=19997 vsize=12268 CPUtime=0 /proc/19998/stat : 19998 (pbsmodels-v1.31) S 19997 19997 19948 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151729748 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 269037387668 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/19998/statm: 3067 383 293 3 0 167 0 [pid=19999] ppid=19998 vsize=5356 CPUtime=2.03 /proc/19999/stat : 19999 (sh) S 19998 19997 19948 0 -1 4194304 309 1301 0 0 0 0 203 0 16 0 1 0 151729749 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/19999/statm: 1339 227 188 169 0 50 0 [pid=20001] ppid=19999 vsize=7028 CPUtime=58.45 /proc/20001/stat : 20001 (smodels-2.31) R 19999 19997 19948 0 -1 4194304 1414 0 0 0 5844 1 0 0 25 0 1 0 151729750 7196672 1378 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539590 0 0 4096 0 0 0 0 17 1 0 0 /proc/20001/statm: 1757 1378 210 21 0 1193 0 [pid=20002] ppid=19999 vsize=12268 CPUtime=0 /proc/20002/stat : 20002 (pbout.new.pl) S 19999 19997 19948 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 151729750 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 269037383778 0 0 4224 0 18446744071563648864 0 0 17 1 0 0 /proc/20002/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 60.48 Current children cumulated vsize (Kb) 42280 [startup+70.0432 s] /proc/loadavg: 1.00 0.99 0.97 2/68 20002 /proc/meminfo: memFree=1527840/2055920 swapFree=4177816/4192956 [pid=19997] ppid=19995 vsize=5360 CPUtime=0 /proc/19997/stat : 19997 (runpbsmodels) S 19995 19997 19948 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151729747 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/19997/statm: 1340 234 195 169 0 51 0 [pid=19998] ppid=19997 vsize=12268 CPUtime=0 /proc/19998/stat : 19998 (pbsmodels-v1.31) S 19997 19997 19948 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151729748 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 269037387668 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/19998/statm: 3067 383 293 3 0 167 0 [pid=19999] ppid=19998 vsize=5356 CPUtime=2.03 /proc/19999/stat : 19999 (sh) S 19998 19997 19948 0 -1 4194304 309 1301 0 0 0 0 203 0 16 0 1 0 151729749 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/19999/statm: 1339 227 188 169 0 50 0 [pid=20001] ppid=19999 vsize=7292 CPUtime=68.45 /proc/20001/stat : 20001 (smodels-2.31) R 19999 19997 19948 0 -1 4194304 1487 0 0 0 6844 1 0 0 25 0 1 0 151729750 7467008 1451 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532203 0 0 4096 0 0 0 0 17 1 0 0 /proc/20001/statm: 1823 1451 213 21 0 1259 0 [pid=20002] ppid=19999 vsize=12700 CPUtime=0 /proc/20002/stat : 20002 (pbout.new.pl) S 19999 19997 19948 0 -1 4194304 552 0 0 0 0 0 0 0 16 0 1 0 151729750 13004800 512 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 269037383778 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/20002/statm: 3175 512 333 3 0 275 0 Current children cumulated CPU time (s) 70.48 Current children cumulated vsize (Kb) 42976 [startup+80.0491 s] /proc/loadavg: 1.00 0.99 0.97 2/68 20002 /proc/meminfo: memFree=1527840/2055920 swapFree=4177816/4192956 [pid=19997] ppid=19995 vsize=5360 CPUtime=0 /proc/19997/stat : 19997 (runpbsmodels) S 19995 19997 19948 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151729747 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/19997/statm: 1340 234 195 169 0 51 0 [pid=19998] ppid=19997 vsize=12268 CPUtime=0 /proc/19998/stat : 19998 (pbsmodels-v1.31) S 19997 19997 19948 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151729748 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 269037387668 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/19998/statm: 3067 383 293 3 0 167 0 [pid=19999] ppid=19998 vsize=5356 CPUtime=2.03 /proc/19999/stat : 19999 (sh) S 19998 19997 19948 0 -1 4194304 309 1301 0 0 0 0 203 0 16 0 1 0 151729749 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/19999/statm: 1339 227 188 169 0 50 0 [pid=20001] ppid=19999 vsize=7292 CPUtime=78.46 /proc/20001/stat : 20001 (smodels-2.31) R 19999 19997 19948 0 -1 4194304 1487 0 0 0 7845 1 0 0 25 0 1 0 151729750 7467008 1451 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532999 0 0 4096 0 0 0 0 17 1 0 0 /proc/20001/statm: 1823 1451 213 21 0 1259 0 [pid=20002] ppid=19999 vsize=12700 CPUtime=0 /proc/20002/stat : 20002 (pbout.new.pl) S 19999 19997 19948 0 -1 4194304 552 0 0 0 0 0 0 0 16 0 1 0 151729750 13004800 512 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 269037383778 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/20002/statm: 3175 512 333 3 0 275 0 Current children cumulated CPU time (s) 80.49 Current children cumulated vsize (Kb) 42976 [startup+90.0551 s] /proc/loadavg: 1.00 0.99 0.97 2/68 20002 /proc/meminfo: memFree=1527840/2055920 swapFree=4177816/4192956 [pid=19997] ppid=19995 vsize=5360 CPUtime=0 /proc/19997/stat : 19997 (runpbsmodels) S 19995 19997 19948 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151729747 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/19997/statm: 1340 234 195 169 0 51 0 [pid=19998] ppid=19997 vsize=12268 CPUtime=0 /proc/19998/stat : 19998 (pbsmodels-v1.31) S 19997 19997 19948 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151729748 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 269037387668 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/19998/statm: 3067 383 293 3 0 167 0 [pid=19999] ppid=19998 vsize=5356 CPUtime=2.03 /proc/19999/stat : 19999 (sh) S 19998 19997 19948 0 -1 4194304 309 1301 0 0 0 0 203 0 16 0 1 0 151729749 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 ################ # More data... # ################ /proc/20001/stat : 20001 (smodels-2.31) R 19999 19997 19948 0 -1 4194304 3851 0 0 0 179111 2 0 0 25 0 1 0 151729750 17199104 3815 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532935 0 0 4096 0 0 0 0 17 1 0 0 /proc/20001/statm: 4199 3815 213 21 0 3635 0 [pid=20002] ppid=19999 vsize=12700 CPUtime=0.01 /proc/20002/stat : 20002 (pbout.new.pl) S 19999 19997 19948 0 -1 4194304 570 0 0 0 0 1 0 0 16 0 1 0 151729750 13004800 530 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 269037383778 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/20002/statm: 3175 530 333 3 0 275 0 Current children cumulated CPU time (s) 1793.17 Current children cumulated vsize (Kb) 52480 [startup+1794.21 s] /proc/loadavg: 1.00 1.00 0.98 2/68 20002 /proc/meminfo: memFree=1517664/2055920 swapFree=4177816/4192956 [pid=19997] ppid=19995 vsize=5360 CPUtime=0 /proc/19997/stat : 19997 (runpbsmodels) S 19995 19997 19948 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151729747 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/19997/statm: 1340 234 195 169 0 51 0 [pid=19998] ppid=19997 vsize=12268 CPUtime=0 /proc/19998/stat : 19998 (pbsmodels-v1.31) S 19997 19997 19948 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151729748 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 269037387668 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/19998/statm: 3067 383 293 3 0 167 0 [pid=19999] ppid=19998 vsize=5356 CPUtime=2.03 /proc/19999/stat : 19999 (sh) S 19998 19997 19948 0 -1 4194304 309 1301 0 0 0 0 203 0 16 0 1 0 151729749 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/19999/statm: 1339 227 188 169 0 50 0 [pid=20001] ppid=19999 vsize=16796 CPUtime=1792.14 /proc/20001/stat : 20001 (smodels-2.31) R 19999 19997 19948 0 -1 4194304 3851 0 0 0 179212 2 0 0 25 0 1 0 151729750 17199104 3815 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134538368 0 0 4096 0 0 0 0 17 1 0 0 /proc/20001/statm: 4199 3815 213 21 0 3635 0 [pid=20002] ppid=19999 vsize=12700 CPUtime=0.01 /proc/20002/stat : 20002 (pbout.new.pl) S 19999 19997 19948 0 -1 4194304 570 0 0 0 0 1 0 0 16 0 1 0 151729750 13004800 530 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 269037383778 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/20002/statm: 3175 530 333 3 0 275 0 Current children cumulated CPU time (s) 1794.18 Current children cumulated vsize (Kb) 52480 [startup+1795.21 s] /proc/loadavg: 1.00 1.00 0.98 2/68 20002 /proc/meminfo: memFree=1517664/2055920 swapFree=4177816/4192956 [pid=19997] ppid=19995 vsize=5360 CPUtime=0 /proc/19997/stat : 19997 (runpbsmodels) S 19995 19997 19948 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151729747 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/19997/statm: 1340 234 195 169 0 51 0 [pid=19998] ppid=19997 vsize=12268 CPUtime=0 /proc/19998/stat : 19998 (pbsmodels-v1.31) S 19997 19997 19948 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151729748 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 269037387668 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/19998/statm: 3067 383 293 3 0 167 0 [pid=19999] ppid=19998 vsize=5356 CPUtime=2.03 /proc/19999/stat : 19999 (sh) S 19998 19997 19948 0 -1 4194304 309 1301 0 0 0 0 203 0 16 0 1 0 151729749 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/19999/statm: 1339 227 188 169 0 50 0 [pid=20001] ppid=19999 vsize=16796 CPUtime=1793.14 /proc/20001/stat : 20001 (smodels-2.31) R 19999 19997 19948 0 -1 4194304 3851 0 0 0 179312 2 0 0 25 0 1 0 151729750 17199104 3815 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134538379 0 0 4096 0 0 0 0 17 1 0 0 /proc/20001/statm: 4199 3815 213 21 0 3635 0 [pid=20002] ppid=19999 vsize=12700 CPUtime=0.01 /proc/20002/stat : 20002 (pbout.new.pl) S 19999 19997 19948 0 -1 4194304 570 0 0 0 0 1 0 0 16 0 1 0 151729750 13004800 530 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 269037383778 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/20002/statm: 3175 530 333 3 0 275 0 Current children cumulated CPU time (s) 1795.18 Current children cumulated vsize (Kb) 52480 [startup+1796.22 s] /proc/loadavg: 1.00 1.00 0.98 2/68 20002 /proc/meminfo: memFree=1517664/2055920 swapFree=4177816/4192956 [pid=19997] ppid=19995 vsize=5360 CPUtime=0 /proc/19997/stat : 19997 (runpbsmodels) S 19995 19997 19948 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151729747 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/19997/statm: 1340 234 195 169 0 51 0 [pid=19998] ppid=19997 vsize=12268 CPUtime=0 /proc/19998/stat : 19998 (pbsmodels-v1.31) S 19997 19997 19948 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151729748 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 269037387668 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/19998/statm: 3067 383 293 3 0 167 0 [pid=19999] ppid=19998 vsize=5356 CPUtime=2.03 /proc/19999/stat : 19999 (sh) S 19998 19997 19948 0 -1 4194304 309 1301 0 0 0 0 203 0 16 0 1 0 151729749 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/19999/statm: 1339 227 188 169 0 50 0 [pid=20001] ppid=19999 vsize=16796 CPUtime=1794.15 /proc/20001/stat : 20001 (smodels-2.31) R 19999 19997 19948 0 -1 4194304 3851 0 0 0 179413 2 0 0 25 0 1 0 151729750 17199104 3815 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532999 0 0 4096 0 0 0 0 17 1 0 0 /proc/20001/statm: 4199 3815 213 21 0 3635 0 [pid=20002] ppid=19999 vsize=12700 CPUtime=0.01 /proc/20002/stat : 20002 (pbout.new.pl) S 19999 19997 19948 0 -1 4194304 570 0 0 0 0 1 0 0 16 0 1 0 151729750 13004800 530 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 269037383778 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/20002/statm: 3175 530 333 3 0 275 0 Current children cumulated CPU time (s) 1796.19 Current children cumulated vsize (Kb) 52480 [startup+1797.22 s] /proc/loadavg: 1.00 1.00 0.98 2/68 20002 /proc/meminfo: memFree=1517664/2055920 swapFree=4177816/4192956 [pid=19997] ppid=19995 vsize=5360 CPUtime=0 /proc/19997/stat : 19997 (runpbsmodels) S 19995 19997 19948 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151729747 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/19997/statm: 1340 234 195 169 0 51 0 [pid=19998] ppid=19997 vsize=12268 CPUtime=0 /proc/19998/stat : 19998 (pbsmodels-v1.31) S 19997 19997 19948 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151729748 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 269037387668 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/19998/statm: 3067 383 293 3 0 167 0 [pid=19999] ppid=19998 vsize=5356 CPUtime=2.03 /proc/19999/stat : 19999 (sh) S 19998 19997 19948 0 -1 4194304 309 1301 0 0 0 0 203 0 16 0 1 0 151729749 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/19999/statm: 1339 227 188 169 0 50 0 [pid=20001] ppid=19999 vsize=16796 CPUtime=1795.15 /proc/20001/stat : 20001 (smodels-2.31) R 19999 19997 19948 0 -1 4194304 3851 0 0 0 179513 2 0 0 25 0 1 0 151729750 17199104 3815 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532265 0 0 4096 0 0 0 0 17 1 0 0 /proc/20001/statm: 4199 3815 213 21 0 3635 0 [pid=20002] ppid=19999 vsize=12700 CPUtime=0.01 /proc/20002/stat : 20002 (pbout.new.pl) S 19999 19997 19948 0 -1 4194304 570 0 0 0 0 1 0 0 16 0 1 0 151729750 13004800 530 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 269037383778 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/20002/statm: 3175 530 333 3 0 275 0 Current children cumulated CPU time (s) 1797.19 Current children cumulated vsize (Kb) 52480 [startup+1798.23 s] /proc/loadavg: 1.00 1.00 0.98 2/68 20002 /proc/meminfo: memFree=1517664/2055920 swapFree=4177816/4192956 [pid=19997] ppid=19995 vsize=5360 CPUtime=0 /proc/19997/stat : 19997 (runpbsmodels) S 19995 19997 19948 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151729747 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/19997/statm: 1340 234 195 169 0 51 0 [pid=19998] ppid=19997 vsize=12268 CPUtime=0 /proc/19998/stat : 19998 (pbsmodels-v1.31) S 19997 19997 19948 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151729748 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 269037387668 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/19998/statm: 3067 383 293 3 0 167 0 [pid=19999] ppid=19998 vsize=5356 CPUtime=2.03 /proc/19999/stat : 19999 (sh) S 19998 19997 19948 0 -1 4194304 309 1301 0 0 0 0 203 0 16 0 1 0 151729749 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/19999/statm: 1339 227 188 169 0 50 0 [pid=20001] ppid=19999 vsize=16796 CPUtime=1796.16 /proc/20001/stat : 20001 (smodels-2.31) R 19999 19997 19948 0 -1 4194304 3851 0 0 0 179614 2 0 0 25 0 1 0 151729750 17199104 3815 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134522348 0 0 4096 0 0 0 0 17 1 0 0 /proc/20001/statm: 4199 3815 213 21 0 3635 0 [pid=20002] ppid=19999 vsize=12700 CPUtime=0.01 /proc/20002/stat : 20002 (pbout.new.pl) S 19999 19997 19948 0 -1 4194304 570 0 0 0 0 1 0 0 16 0 1 0 151729750 13004800 530 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 269037383778 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/20002/statm: 3175 530 333 3 0 275 0 Current children cumulated CPU time (s) 1798.2 Current children cumulated vsize (Kb) 52480 [startup+1799.23 s] /proc/loadavg: 1.00 1.00 0.98 2/68 20002 /proc/meminfo: memFree=1517664/2055920 swapFree=4177816/4192956 [pid=19997] ppid=19995 vsize=5360 CPUtime=0 /proc/19997/stat : 19997 (runpbsmodels) S 19995 19997 19948 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151729747 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/19997/statm: 1340 234 195 169 0 51 0 [pid=19998] ppid=19997 vsize=12268 CPUtime=0 /proc/19998/stat : 19998 (pbsmodels-v1.31) S 19997 19997 19948 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151729748 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 269037387668 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/19998/statm: 3067 383 293 3 0 167 0 [pid=19999] ppid=19998 vsize=5356 CPUtime=2.03 /proc/19999/stat : 19999 (sh) S 19998 19997 19948 0 -1 4194304 309 1301 0 0 0 0 203 0 16 0 1 0 151729749 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/19999/statm: 1339 227 188 169 0 50 0 [pid=20001] ppid=19999 vsize=16796 CPUtime=1797.16 /proc/20001/stat : 20001 (smodels-2.31) R 19999 19997 19948 0 -1 4194304 3851 0 0 0 179714 2 0 0 25 0 1 0 151729750 17199104 3815 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532805 0 0 4096 0 0 0 0 17 1 0 0 /proc/20001/statm: 4199 3815 213 21 0 3635 0 [pid=20002] ppid=19999 vsize=12700 CPUtime=0.01 /proc/20002/stat : 20002 (pbout.new.pl) S 19999 19997 19948 0 -1 4194304 570 0 0 0 0 1 0 0 16 0 1 0 151729750 13004800 530 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 269037383778 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/20002/statm: 3175 530 333 3 0 275 0 Current children cumulated CPU time (s) 1799.2 Current children cumulated vsize (Kb) 52480 [startup+1800.24 s] /proc/loadavg: 1.00 1.00 0.98 2/68 20002 /proc/meminfo: memFree=1517664/2055920 swapFree=4177816/4192956 [pid=19997] ppid=19995 vsize=5360 CPUtime=0 /proc/19997/stat : 19997 (runpbsmodels) S 19995 19997 19948 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151729747 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/19997/statm: 1340 234 195 169 0 51 0 [pid=19998] ppid=19997 vsize=12268 CPUtime=0 /proc/19998/stat : 19998 (pbsmodels-v1.31) S 19997 19997 19948 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151729748 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 269037387668 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/19998/statm: 3067 383 293 3 0 167 0 [pid=19999] ppid=19998 vsize=5356 CPUtime=2.03 /proc/19999/stat : 19999 (sh) S 19998 19997 19948 0 -1 4194304 309 1301 0 0 0 0 203 0 16 0 1 0 151729749 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/19999/statm: 1339 227 188 169 0 50 0 [pid=20001] ppid=19999 vsize=16796 CPUtime=1798.17 /proc/20001/stat : 20001 (smodels-2.31) R 19999 19997 19948 0 -1 4194304 3851 0 0 0 179815 2 0 0 25 0 1 0 151729750 17199104 3815 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134538547 0 0 4096 0 0 0 0 17 1 0 0 /proc/20001/statm: 4199 3815 213 21 0 3635 0 [pid=20002] ppid=19999 vsize=12700 CPUtime=0.01 /proc/20002/stat : 20002 (pbout.new.pl) S 19999 19997 19948 0 -1 4194304 570 0 0 0 0 1 0 0 16 0 1 0 151729750 13004800 530 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 269037383778 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/20002/statm: 3175 530 333 3 0 275 0 Current children cumulated CPU time (s) 1800.21 Current children cumulated vsize (Kb) 52480 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.24 s] /proc/loadavg: 1.00 1.00 0.98 2/68 20002 /proc/meminfo: memFree=1517664/2055920 swapFree=4177816/4192956 [pid=19997] ppid=19995 vsize=5360 CPUtime=0 /proc/19997/stat : 19997 (runpbsmodels) S 19995 19997 19948 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151729747 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/19997/statm: 1340 234 195 169 0 51 0 [pid=19998] ppid=19997 vsize=12268 CPUtime=0 /proc/19998/stat : 19998 (pbsmodels-v1.31) S 19997 19997 19948 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151729748 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 269037387668 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/19998/statm: 3067 383 293 3 0 167 0 [pid=19999] ppid=19998 vsize=5356 CPUtime=2.03 /proc/19999/stat : 19999 (sh) S 19998 19997 19948 0 -1 4194304 309 1301 0 0 0 0 203 0 16 0 1 0 151729749 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/19999/statm: 1339 227 188 169 0 50 0 [pid=20001] ppid=19999 vsize=16796 CPUtime=1798.17 /proc/20001/stat : 20001 (smodels-2.31) R 19999 19997 19948 0 -1 4194304 3851 0 0 0 179815 2 0 0 25 0 1 0 151729750 17199104 3815 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134518157 0 0 4096 0 0 0 0 17 1 0 0 /proc/20001/statm: 4199 3815 213 21 0 3635 0 [pid=20002] ppid=19999 vsize=12700 CPUtime=0.01 /proc/20002/stat : 20002 (pbout.new.pl) S 19999 19997 19948 0 -1 4194304 570 0 0 0 0 1 0 0 16 0 1 0 151729750 13004800 530 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 269037383778 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/20002/statm: 3175 530 333 3 0 275 0 Current children cumulated CPU time (s) 1800.21 Current children cumulated vsize (Kb) 52480 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) !!! problem with CPU time !!! wait4(...,&childrusage) returns 19997 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=2999 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=0 CPU time returned by wait4() is 0.002999 while last known CPU time is 1800.21 Solver probably didn't/couldn't wait for its children Using last known CPU time as value... Real time (s): 1800.27 CPU time (s): 1800.21 CPU user time (s): 1800.18 CPU system time (s): 0.03 CPU usage (%): 99.9969 Max. virtual memory (cumulated for all children) (Kb): 52480 The end
Begin job on node26 on Fri Jul 28 01:04:57 UTC 2006 FILE ID= 45873-1154048697 PBS_JOBID= 881785 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.95:98.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node26/45873-1154048697/instance-45873-1154048697.opb 224551078 ROOT/tmp/node26/45873-1154048697 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-45873-1154048697 -o ROOT/results/node26/solver-45873-1154048697 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node26/45873-1154048697/instance-45873-1154048697.opb 224551078 ROOT/tmp/node26/45873-1154048697 MD5SUM SOLVER= 95562bc622ddb1f976359072aec5ad24 7fcd858753252b26b88f3383e979819a c732bc4c3aeda9195daa74a308a1f78e b7e54d975d35ab28450b6de5c14d303e f7da3270b2cd5190fa0cd9af9b854ca4 MD5SUM BENCH= dae2a99f19ab3cbb5b0fd1a29cad1e80 RANDOM SEED= 224551078 TIMEOUT= 1800 seconds /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.225 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.225 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: 1534464 kB Buffers: 21732 kB Cached: 442472 kB SwapCached: 8804 kB Active: 85972 kB Inactive: 392192 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1534464 kB SwapTotal: 4192956 kB SwapFree: 4177816 kB Dirty: 156 kB Writeback: 0 kB Mapped: 14472 kB Slab: 29344 kB Committed_AS: 654600 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 node26 on Fri Jul 28 01:34:57 UTC 2006