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

OK	216

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/node25/watcher-34453-1154048924 -o ROOT/results/node25/solver-34453-1154048924 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node25/34453-1154048924/instance-34453-1154048924.opb 355936118 ROOT/tmp/node25/34453-1154048924 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.99 0.98 0.99 2/64 26010
/proc/meminfo: memFree=1282768/2055920 swapFree=4183100/4192956
[pid=26010] ppid=26008 vsize=18544 CPUtime=0
/proc/26010/stat : 26010 (runsolver) R 26008 26010 25961 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 151767291 18989056 280 18446744073709551615 4194304 4264732 548682068928 18446744073709551615 215781797159 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/26010/statm: 4636 280 244 17 0 2626 0

[startup+10.0025 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 26015
/proc/meminfo: memFree=1275504/2055920 swapFree=4183100/4192956
[pid=26010] ppid=26008 vsize=5360 CPUtime=0
/proc/26010/stat : 26010 (runpbsmodels) S 26008 26010 25961 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151767291 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26010/statm: 1340 234 195 169 0 51 0
[pid=26011] ppid=26010 vsize=12268 CPUtime=0
/proc/26011/stat : 26011 (pbsmodels-v1.28) S 26010 26010 25961 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151767292 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 215790698388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/26011/statm: 3067 383 293 3 0 167 0
[pid=26012] ppid=26011 vsize=5356 CPUtime=2.23
/proc/26012/stat : 26012 (sh) S 26011 26010 25961 0 -1 4194304 311 1322 0 0 0 0 222 1 16 0 1 0 151767293 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26012/statm: 1339 227 188 169 0 50 0
[pid=26014] ppid=26012 vsize=8032 CPUtime=8.3
/proc/26014/stat : 26014 (smodels) R 26012 26010 25961 0 -1 4194304 1665 0 0 0 830 0 0 0 25 0 1 0 151767293 8224768 1629 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134549899 0 0 4096 0 0 0 0 17 1 0 0
/proc/26014/statm: 2008 1629 210 20 0 1445 0
[pid=26015] ppid=26012 vsize=12268 CPUtime=0
/proc/26015/stat : 26015 (pbout.pl) S 26012 26010 25961 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 151767293 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 215790694498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/26015/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 10.53
Current children cumulated vsize (Kb) 43284

[startup+20.0094 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 26015
/proc/meminfo: memFree=1275568/2055920 swapFree=4183100/4192956
[pid=26010] ppid=26008 vsize=5360 CPUtime=0
/proc/26010/stat : 26010 (runpbsmodels) S 26008 26010 25961 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151767291 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26010/statm: 1340 234 195 169 0 51 0
[pid=26011] ppid=26010 vsize=12268 CPUtime=0
/proc/26011/stat : 26011 (pbsmodels-v1.28) S 26010 26010 25961 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151767292 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 215790698388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/26011/statm: 3067 383 293 3 0 167 0
[pid=26012] ppid=26011 vsize=5356 CPUtime=2.23
/proc/26012/stat : 26012 (sh) S 26011 26010 25961 0 -1 4194304 311 1322 0 0 0 0 222 1 16 0 1 0 151767293 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26012/statm: 1339 227 188 169 0 50 0
[pid=26014] ppid=26012 vsize=8032 CPUtime=18.31
/proc/26014/stat : 26014 (smodels) R 26012 26010 25961 0 -1 4194304 1666 0 0 0 1831 0 0 0 25 0 1 0 151767293 8224768 1630 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550181 0 0 4096 0 0 0 0 17 1 0 0
/proc/26014/statm: 2008 1630 210 20 0 1445 0
[pid=26015] ppid=26012 vsize=12268 CPUtime=0
/proc/26015/stat : 26015 (pbout.pl) S 26012 26010 25961 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 151767293 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 215790694498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/26015/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 20.54
Current children cumulated vsize (Kb) 43284

[startup+30.0163 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 26015
/proc/meminfo: memFree=1275632/2055920 swapFree=4183100/4192956
[pid=26010] ppid=26008 vsize=5360 CPUtime=0
/proc/26010/stat : 26010 (runpbsmodels) S 26008 26010 25961 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151767291 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26010/statm: 1340 234 195 169 0 51 0
[pid=26011] ppid=26010 vsize=12268 CPUtime=0
/proc/26011/stat : 26011 (pbsmodels-v1.28) S 26010 26010 25961 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151767292 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 215790698388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/26011/statm: 3067 383 293 3 0 167 0
[pid=26012] ppid=26011 vsize=5356 CPUtime=2.23
/proc/26012/stat : 26012 (sh) S 26011 26010 25961 0 -1 4194304 311 1322 0 0 0 0 222 1 16 0 1 0 151767293 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26012/statm: 1339 227 188 169 0 50 0
[pid=26014] ppid=26012 vsize=8032 CPUtime=28.31
/proc/26014/stat : 26014 (smodels) R 26012 26010 25961 0 -1 4194304 1666 0 0 0 2831 0 0 0 25 0 1 0 151767293 8224768 1630 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531217 0 0 4096 0 0 0 0 17 1 0 0
/proc/26014/statm: 2008 1630 210 20 0 1445 0
[pid=26015] ppid=26012 vsize=12268 CPUtime=0
/proc/26015/stat : 26015 (pbout.pl) S 26012 26010 25961 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 151767293 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 215790694498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/26015/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 30.54
Current children cumulated vsize (Kb) 43284

[startup+40.0232 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 26015
/proc/meminfo: memFree=1275696/2055920 swapFree=4183100/4192956
[pid=26010] ppid=26008 vsize=5360 CPUtime=0
/proc/26010/stat : 26010 (runpbsmodels) S 26008 26010 25961 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151767291 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26010/statm: 1340 234 195 169 0 51 0
[pid=26011] ppid=26010 vsize=12268 CPUtime=0
/proc/26011/stat : 26011 (pbsmodels-v1.28) S 26010 26010 25961 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151767292 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 215790698388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/26011/statm: 3067 383 293 3 0 167 0
[pid=26012] ppid=26011 vsize=5356 CPUtime=2.23
/proc/26012/stat : 26012 (sh) S 26011 26010 25961 0 -1 4194304 311 1322 0 0 0 0 222 1 16 0 1 0 151767293 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26012/statm: 1339 227 188 169 0 50 0
[pid=26014] ppid=26012 vsize=8032 CPUtime=38.32
/proc/26014/stat : 26014 (smodels) R 26012 26010 25961 0 -1 4194304 1667 0 0 0 3832 0 0 0 25 0 1 0 151767293 8224768 1631 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550181 0 0 4096 0 0 0 0 17 1 0 0
/proc/26014/statm: 2008 1631 210 20 0 1445 0
[pid=26015] ppid=26012 vsize=12268 CPUtime=0
/proc/26015/stat : 26015 (pbout.pl) S 26012 26010 25961 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 151767293 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 215790694498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/26015/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 40.55
Current children cumulated vsize (Kb) 43284

[startup+50.0291 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 26015
/proc/meminfo: memFree=1275696/2055920 swapFree=4183100/4192956
[pid=26010] ppid=26008 vsize=5360 CPUtime=0
/proc/26010/stat : 26010 (runpbsmodels) S 26008 26010 25961 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151767291 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26010/statm: 1340 234 195 169 0 51 0
[pid=26011] ppid=26010 vsize=12268 CPUtime=0
/proc/26011/stat : 26011 (pbsmodels-v1.28) S 26010 26010 25961 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151767292 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 215790698388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/26011/statm: 3067 383 293 3 0 167 0
[pid=26012] ppid=26011 vsize=5356 CPUtime=2.23
/proc/26012/stat : 26012 (sh) S 26011 26010 25961 0 -1 4194304 311 1322 0 0 0 0 222 1 16 0 1 0 151767293 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26012/statm: 1339 227 188 169 0 50 0
[pid=26014] ppid=26012 vsize=8032 CPUtime=48.32
/proc/26014/stat : 26014 (smodels) R 26012 26010 25961 0 -1 4194304 1667 0 0 0 4832 0 0 0 25 0 1 0 151767293 8224768 1631 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134545776 0 0 4096 0 0 0 0 17 1 0 0
/proc/26014/statm: 2008 1631 210 20 0 1445 0
[pid=26015] ppid=26012 vsize=12268 CPUtime=0
/proc/26015/stat : 26015 (pbout.pl) S 26012 26010 25961 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 151767293 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 215790694498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/26015/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 50.55
Current children cumulated vsize (Kb) 43284

[startup+60.0349 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 26015
/proc/meminfo: memFree=1275696/2055920 swapFree=4183100/4192956
[pid=26010] ppid=26008 vsize=5360 CPUtime=0
/proc/26010/stat : 26010 (runpbsmodels) S 26008 26010 25961 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151767291 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26010/statm: 1340 234 195 169 0 51 0
[pid=26011] ppid=26010 vsize=12268 CPUtime=0
/proc/26011/stat : 26011 (pbsmodels-v1.28) S 26010 26010 25961 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151767292 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 215790698388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/26011/statm: 3067 383 293 3 0 167 0
[pid=26012] ppid=26011 vsize=5356 CPUtime=2.23
/proc/26012/stat : 26012 (sh) S 26011 26010 25961 0 -1 4194304 311 1322 0 0 0 0 222 1 16 0 1 0 151767293 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26012/statm: 1339 227 188 169 0 50 0
[pid=26014] ppid=26012 vsize=8032 CPUtime=58.32
/proc/26014/stat : 26014 (smodels) R 26012 26010 25961 0 -1 4194304 1668 0 0 0 5832 0 0 0 25 0 1 0 151767293 8224768 1632 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134530978 0 0 4096 0 0 0 0 17 1 0 0
/proc/26014/statm: 2008 1632 210 20 0 1445 0
[pid=26015] ppid=26012 vsize=12268 CPUtime=0
/proc/26015/stat : 26015 (pbout.pl) S 26012 26010 25961 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 151767293 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 215790694498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/26015/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 60.55
Current children cumulated vsize (Kb) 43284

[startup+70.0419 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 26015
/proc/meminfo: memFree=1275696/2055920 swapFree=4183100/4192956
[pid=26010] ppid=26008 vsize=5360 CPUtime=0
/proc/26010/stat : 26010 (runpbsmodels) S 26008 26010 25961 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151767291 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26010/statm: 1340 234 195 169 0 51 0
[pid=26011] ppid=26010 vsize=12268 CPUtime=0
/proc/26011/stat : 26011 (pbsmodels-v1.28) S 26010 26010 25961 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151767292 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 215790698388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/26011/statm: 3067 383 293 3 0 167 0
[pid=26012] ppid=26011 vsize=5356 CPUtime=2.23
/proc/26012/stat : 26012 (sh) S 26011 26010 25961 0 -1 4194304 311 1322 0 0 0 0 222 1 16 0 1 0 151767293 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26012/statm: 1339 227 188 169 0 50 0
[pid=26014] ppid=26012 vsize=8032 CPUtime=68.33
/proc/26014/stat : 26014 (smodels) R 26012 26010 25961 0 -1 4194304 1669 0 0 0 6833 0 0 0 25 0 1 0 151767293 8224768 1633 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531202 0 0 4096 0 0 0 0 17 1 0 0
/proc/26014/statm: 2008 1633 210 20 0 1445 0
[pid=26015] ppid=26012 vsize=12268 CPUtime=0
/proc/26015/stat : 26015 (pbout.pl) S 26012 26010 25961 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 151767293 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 215790694498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/26015/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 70.56
Current children cumulated vsize (Kb) 43284

[startup+80.0487 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 26015
/proc/meminfo: memFree=1275696/2055920 swapFree=4183100/4192956
[pid=26010] ppid=26008 vsize=5360 CPUtime=0
/proc/26010/stat : 26010 (runpbsmodels) S 26008 26010 25961 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151767291 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26010/statm: 1340 234 195 169 0 51 0
[pid=26011] ppid=26010 vsize=12268 CPUtime=0
/proc/26011/stat : 26011 (pbsmodels-v1.28) S 26010 26010 25961 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151767292 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 215790698388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/26011/statm: 3067 383 293 3 0 167 0
[pid=26012] ppid=26011 vsize=5356 CPUtime=2.23
/proc/26012/stat : 26012 (sh) S 26011 26010 25961 0 -1 4194304 311 1322 0 0 0 0 222 1 16 0 1 0 151767293 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26012/statm: 1339 227 188 169 0 50 0
[pid=26014] ppid=26012 vsize=8032 CPUtime=78.33
/proc/26014/stat : 26014 (smodels) R 26012 26010 25961 0 -1 4194304 1671 0 0 0 7833 0 0 0 25 0 1 0 151767293 8224768 1635 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134530983 0 0 4096 0 0 0 0 17 1 0 0
/proc/26014/statm: 2008 1635 210 20 0 1445 0
[pid=26015] ppid=26012 vsize=12268 CPUtime=0
/proc/26015/stat : 26015 (pbout.pl) S 26012 26010 25961 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 151767293 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 215790694498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/26015/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 80.56
Current children cumulated vsize (Kb) 43284

[startup+90.0556 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 26015
/proc/meminfo: memFree=1275696/2055920 swapFree=4183100/4192956
[pid=26010] ppid=26008 vsize=5360 CPUtime=0
/proc/26010/stat : 26010 (runpbsmodels) S 26008 26010 25961 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151767291 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26010/statm: 1340 234 195 169 0 51 0
[pid=26011] ppid=26010 vsize=12268 CPUtime=0
/proc/26011/stat : 26011 (pbsmodels-v1.28) S 26010 26010 25961 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151767292 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 215790698388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/26011/statm: 3067 383 293 3 0 167 0
[pid=26012] ppid=26011 vsize=5356 CPUtime=2.23
/proc/26012/stat : 26012 (sh) S 26011 26010 25961 0 -1 4194304 311 1322 0 0 0 0 222 1 16 0 1 0 151767293 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26012/statm: 1339 227 188 169 0 50 0
[pid=26014] ppid=26012 vsize=8032 CPUtime=88.34
/proc/26014/stat : 26014 (smodels) R 26012 26010 25961 0 -1 4194304 1674 0 0 0 8833 1 0 0 25 0 1 0 151767293 8224768 1638 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531556 0 0 4096 0 0 0 0 17 1 0 0

################
# More data... #
################

/proc/26014/stat : 26014 (smodels) R 26012 26010 25961 0 -1 4194304 1676 0 0 0 179103 2 0 0 25 0 1 0 151767293 8224768 1640 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550978 0 0 4096 0 0 0 0 17 1 0 0
/proc/26014/statm: 2008 1640 212 20 0 1445 0
[pid=26015] ppid=26012 vsize=12700 CPUtime=0
/proc/26015/stat : 26015 (pbout.pl) S 26012 26010 25961 0 -1 4194304 553 0 0 0 0 0 0 0 16 0 1 0 151767293 13004800 512 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 215790694498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/26015/statm: 3175 512 333 3 0 275 0
Current children cumulated CPU time (s) 1793.28
Current children cumulated vsize (Kb) 43716

[startup+1794.18 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 26015
/proc/meminfo: memFree=1275120/2055920 swapFree=4183100/4192956
[pid=26010] ppid=26008 vsize=5360 CPUtime=0
/proc/26010/stat : 26010 (runpbsmodels) S 26008 26010 25961 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151767291 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26010/statm: 1340 234 195 169 0 51 0
[pid=26011] ppid=26010 vsize=12268 CPUtime=0
/proc/26011/stat : 26011 (pbsmodels-v1.28) S 26010 26010 25961 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151767292 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 215790698388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/26011/statm: 3067 383 293 3 0 167 0
[pid=26012] ppid=26011 vsize=5356 CPUtime=2.23
/proc/26012/stat : 26012 (sh) S 26011 26010 25961 0 -1 4194304 311 1322 0 0 0 0 222 1 16 0 1 0 151767293 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26012/statm: 1339 227 188 169 0 50 0
[pid=26014] ppid=26012 vsize=8032 CPUtime=1792.06
/proc/26014/stat : 26014 (smodels) R 26012 26010 25961 0 -1 4194304 1676 0 0 0 179204 2 0 0 25 0 1 0 151767293 8224768 1640 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134518699 0 0 4096 0 0 0 0 17 1 0 0
/proc/26014/statm: 2008 1640 212 20 0 1445 0
[pid=26015] ppid=26012 vsize=12700 CPUtime=0
/proc/26015/stat : 26015 (pbout.pl) S 26012 26010 25961 0 -1 4194304 553 0 0 0 0 0 0 0 16 0 1 0 151767293 13004800 512 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 215790694498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/26015/statm: 3175 512 333 3 0 275 0
Current children cumulated CPU time (s) 1794.29
Current children cumulated vsize (Kb) 43716

[startup+1795.19 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 26015
/proc/meminfo: memFree=1275120/2055920 swapFree=4183100/4192956
[pid=26010] ppid=26008 vsize=5360 CPUtime=0
/proc/26010/stat : 26010 (runpbsmodels) S 26008 26010 25961 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151767291 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26010/statm: 1340 234 195 169 0 51 0
[pid=26011] ppid=26010 vsize=12268 CPUtime=0
/proc/26011/stat : 26011 (pbsmodels-v1.28) S 26010 26010 25961 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151767292 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 215790698388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/26011/statm: 3067 383 293 3 0 167 0
[pid=26012] ppid=26011 vsize=5356 CPUtime=2.23
/proc/26012/stat : 26012 (sh) S 26011 26010 25961 0 -1 4194304 311 1322 0 0 0 0 222 1 16 0 1 0 151767293 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26012/statm: 1339 227 188 169 0 50 0
[pid=26014] ppid=26012 vsize=8032 CPUtime=1793.06
/proc/26014/stat : 26014 (smodels) R 26012 26010 25961 0 -1 4194304 1676 0 0 0 179304 2 0 0 25 0 1 0 151767293 8224768 1640 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531409 0 0 4096 0 0 0 0 17 1 0 0
/proc/26014/statm: 2008 1640 212 20 0 1445 0
[pid=26015] ppid=26012 vsize=12700 CPUtime=0
/proc/26015/stat : 26015 (pbout.pl) S 26012 26010 25961 0 -1 4194304 553 0 0 0 0 0 0 0 16 0 1 0 151767293 13004800 512 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 215790694498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/26015/statm: 3175 512 333 3 0 275 0
Current children cumulated CPU time (s) 1795.29
Current children cumulated vsize (Kb) 43716

[startup+1796.19 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 26015
/proc/meminfo: memFree=1275120/2055920 swapFree=4183100/4192956
[pid=26010] ppid=26008 vsize=5360 CPUtime=0
/proc/26010/stat : 26010 (runpbsmodels) S 26008 26010 25961 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151767291 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26010/statm: 1340 234 195 169 0 51 0
[pid=26011] ppid=26010 vsize=12268 CPUtime=0
/proc/26011/stat : 26011 (pbsmodels-v1.28) S 26010 26010 25961 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151767292 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 215790698388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/26011/statm: 3067 383 293 3 0 167 0
[pid=26012] ppid=26011 vsize=5356 CPUtime=2.23
/proc/26012/stat : 26012 (sh) S 26011 26010 25961 0 -1 4194304 311 1322 0 0 0 0 222 1 16 0 1 0 151767293 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26012/statm: 1339 227 188 169 0 50 0
[pid=26014] ppid=26012 vsize=8032 CPUtime=1794.07
/proc/26014/stat : 26014 (smodels) R 26012 26010 25961 0 -1 4194304 1676 0 0 0 179405 2 0 0 25 0 1 0 151767293 8224768 1640 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134527607 0 0 4096 0 0 0 0 17 1 0 0
/proc/26014/statm: 2008 1640 212 20 0 1445 0
[pid=26015] ppid=26012 vsize=12700 CPUtime=0
/proc/26015/stat : 26015 (pbout.pl) S 26012 26010 25961 0 -1 4194304 553 0 0 0 0 0 0 0 16 0 1 0 151767293 13004800 512 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 215790694498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/26015/statm: 3175 512 333 3 0 275 0
Current children cumulated CPU time (s) 1796.3
Current children cumulated vsize (Kb) 43716

[startup+1797.2 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 26015
/proc/meminfo: memFree=1275120/2055920 swapFree=4183100/4192956
[pid=26010] ppid=26008 vsize=5360 CPUtime=0
/proc/26010/stat : 26010 (runpbsmodels) S 26008 26010 25961 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151767291 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26010/statm: 1340 234 195 169 0 51 0
[pid=26011] ppid=26010 vsize=12268 CPUtime=0
/proc/26011/stat : 26011 (pbsmodels-v1.28) S 26010 26010 25961 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151767292 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 215790698388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/26011/statm: 3067 383 293 3 0 167 0
[pid=26012] ppid=26011 vsize=5356 CPUtime=2.23
/proc/26012/stat : 26012 (sh) S 26011 26010 25961 0 -1 4194304 311 1322 0 0 0 0 222 1 16 0 1 0 151767293 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26012/statm: 1339 227 188 169 0 50 0
[pid=26014] ppid=26012 vsize=8032 CPUtime=1795.07
/proc/26014/stat : 26014 (smodels) R 26012 26010 25961 0 -1 4194304 1676 0 0 0 179505 2 0 0 25 0 1 0 151767293 8224768 1640 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134521500 0 0 4096 0 0 0 0 17 1 0 0
/proc/26014/statm: 2008 1640 212 20 0 1445 0
[pid=26015] ppid=26012 vsize=12700 CPUtime=0
/proc/26015/stat : 26015 (pbout.pl) S 26012 26010 25961 0 -1 4194304 553 0 0 0 0 0 0 0 16 0 1 0 151767293 13004800 512 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 215790694498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/26015/statm: 3175 512 333 3 0 275 0
Current children cumulated CPU time (s) 1797.3
Current children cumulated vsize (Kb) 43716

[startup+1798.2 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 26017
/proc/meminfo: memFree=1274928/2055920 swapFree=4183100/4192956
[pid=26010] ppid=26008 vsize=5360 CPUtime=0
/proc/26010/stat : 26010 (runpbsmodels) S 26008 26010 25961 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151767291 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26010/statm: 1340 234 195 169 0 51 0
[pid=26011] ppid=26010 vsize=12268 CPUtime=0
/proc/26011/stat : 26011 (pbsmodels-v1.28) S 26010 26010 25961 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151767292 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 215790698388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/26011/statm: 3067 383 293 3 0 167 0
[pid=26012] ppid=26011 vsize=5356 CPUtime=2.23
/proc/26012/stat : 26012 (sh) S 26011 26010 25961 0 -1 4194304 311 1322 0 0 0 0 222 1 16 0 1 0 151767293 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26012/statm: 1339 227 188 169 0 50 0
[pid=26014] ppid=26012 vsize=8032 CPUtime=1796.08
/proc/26014/stat : 26014 (smodels) R 26012 26010 25961 0 -1 4194304 1676 0 0 0 179606 2 0 0 25 0 1 0 151767293 8224768 1640 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134549872 0 0 4096 0 0 0 0 17 1 0 0
/proc/26014/statm: 2008 1640 212 20 0 1445 0
[pid=26015] ppid=26012 vsize=12700 CPUtime=0
/proc/26015/stat : 26015 (pbout.pl) S 26012 26010 25961 0 -1 4194304 553 0 0 0 0 0 0 0 16 0 1 0 151767293 13004800 512 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 215790694498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/26015/statm: 3175 512 333 3 0 275 0
Current children cumulated CPU time (s) 1798.31
Current children cumulated vsize (Kb) 43716

[startup+1799.21 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 26017
/proc/meminfo: memFree=1274928/2055920 swapFree=4183100/4192956
[pid=26010] ppid=26008 vsize=5360 CPUtime=0
/proc/26010/stat : 26010 (runpbsmodels) S 26008 26010 25961 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151767291 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26010/statm: 1340 234 195 169 0 51 0
[pid=26011] ppid=26010 vsize=12268 CPUtime=0
/proc/26011/stat : 26011 (pbsmodels-v1.28) S 26010 26010 25961 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151767292 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 215790698388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/26011/statm: 3067 383 293 3 0 167 0
[pid=26012] ppid=26011 vsize=5356 CPUtime=2.23
/proc/26012/stat : 26012 (sh) S 26011 26010 25961 0 -1 4194304 311 1322 0 0 0 0 222 1 16 0 1 0 151767293 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26012/statm: 1339 227 188 169 0 50 0
[pid=26014] ppid=26012 vsize=8032 CPUtime=1797.08
/proc/26014/stat : 26014 (smodels) R 26012 26010 25961 0 -1 4194304 1676 0 0 0 179706 2 0 0 25 0 1 0 151767293 8224768 1640 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550961 0 0 4096 0 0 0 0 17 1 0 0
/proc/26014/statm: 2008 1640 212 20 0 1445 0
[pid=26015] ppid=26012 vsize=12700 CPUtime=0
/proc/26015/stat : 26015 (pbout.pl) S 26012 26010 25961 0 -1 4194304 553 0 0 0 0 0 0 0 16 0 1 0 151767293 13004800 512 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 215790694498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/26015/statm: 3175 512 333 3 0 275 0
Current children cumulated CPU time (s) 1799.31
Current children cumulated vsize (Kb) 43716

[startup+1800.21 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 26017
/proc/meminfo: memFree=1274928/2055920 swapFree=4183100/4192956
[pid=26010] ppid=26008 vsize=5360 CPUtime=0
/proc/26010/stat : 26010 (runpbsmodels) S 26008 26010 25961 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151767291 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26010/statm: 1340 234 195 169 0 51 0
[pid=26011] ppid=26010 vsize=12268 CPUtime=0
/proc/26011/stat : 26011 (pbsmodels-v1.28) S 26010 26010 25961 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151767292 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 215790698388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/26011/statm: 3067 383 293 3 0 167 0
[pid=26012] ppid=26011 vsize=5356 CPUtime=2.23
/proc/26012/stat : 26012 (sh) S 26011 26010 25961 0 -1 4194304 311 1322 0 0 0 0 222 1 16 0 1 0 151767293 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26012/statm: 1339 227 188 169 0 50 0
[pid=26014] ppid=26012 vsize=8032 CPUtime=1798.09
/proc/26014/stat : 26014 (smodels) R 26012 26010 25961 0 -1 4194304 1676 0 0 0 179807 2 0 0 25 0 1 0 151767293 8224768 1640 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531154 0 0 4096 0 0 0 0 17 1 0 0
/proc/26014/statm: 2008 1640 212 20 0 1445 0
[pid=26015] ppid=26012 vsize=12700 CPUtime=0
/proc/26015/stat : 26015 (pbout.pl) S 26012 26010 25961 0 -1 4194304 553 0 0 0 0 0 0 0 16 0 1 0 151767293 13004800 512 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 215790694498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/26015/statm: 3175 512 333 3 0 275 0
Current children cumulated CPU time (s) 1800.32
Current children cumulated vsize (Kb) 43716



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.22 s]
/proc/loadavg: 1.07 1.00 1.00 2/68 26017
/proc/meminfo: memFree=1274928/2055920 swapFree=4183100/4192956
[pid=26010] ppid=26008 vsize=5360 CPUtime=0
/proc/26010/stat : 26010 (runpbsmodels) S 26008 26010 25961 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151767291 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26010/statm: 1340 234 195 169 0 51 0
[pid=26011] ppid=26010 vsize=12268 CPUtime=0
/proc/26011/stat : 26011 (pbsmodels-v1.28) S 26010 26010 25961 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151767292 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 215790698388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/26011/statm: 3067 383 293 3 0 167 0
[pid=26012] ppid=26011 vsize=5356 CPUtime=2.23
/proc/26012/stat : 26012 (sh) S 26011 26010 25961 0 -1 4194304 311 1322 0 0 0 0 222 1 16 0 1 0 151767293 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26012/statm: 1339 227 188 169 0 50 0
[pid=26014] ppid=26012 vsize=8032 CPUtime=1798.09
/proc/26014/stat : 26014 (smodels) R 26012 26010 25961 0 -1 4194304 1676 0 0 0 179807 2 0 0 25 0 1 0 151767293 8224768 1640 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550944 0 0 4096 0 0 0 0 17 1 0 0
/proc/26014/statm: 2008 1640 212 20 0 1445 0
[pid=26015] ppid=26012 vsize=12700 CPUtime=0
/proc/26015/stat : 26015 (pbout.pl) S 26012 26010 25961 0 -1 4194304 553 0 0 0 0 0 0 0 16 0 1 0 151767293 13004800 512 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 215790694498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/26015/statm: 3175 512 333 3 0 275 0
Current children cumulated CPU time (s) 1800.32
Current children cumulated vsize (Kb) 43716

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 26010 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=0 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=1999
CPU time returned by wait4() is 0.001999
while last known CPU time is 1800.32

Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...

Real time (s): 1800.24
CPU time (s): 1800.32
CPU user time (s): 1800.29
CPU system time (s): 0.03
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (Kb): 43716
The end

Begin job on node25 on Fri Jul 28 01:08:44 UTC 2006


FILE ID= 34453-1154048924

PBS_JOBID= 881790

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:100.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node25/34453-1154048924/instance-34453-1154048924.opb 355936118  ROOT/tmp/node25/34453-1154048924
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node25/watcher-34453-1154048924 -o ROOT/results/node25/solver-34453-1154048924 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node25/34453-1154048924/instance-34453-1154048924.opb 355936118  ROOT/tmp/node25/34453-1154048924

MD5SUM SOLVER= f639f6b7f53e3afd14340f75c0e271ee 82c14a26114306e436bf36ef1d1c85a0 c893ceb51a2aaa4ab2f96d97b043cdf0 8c810dcfce02286b111d075d14837741 79b233270d136fcdcf9d8f80d20efef0
MD5SUM BENCH=  8ebfb10d75940bc93d5e7784548911ff

RANDOM SEED= 355936118

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.209
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.209
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:       1282912 kB
Buffers:         36884 kB
Cached:         653460 kB
SwapCached:       3800 kB
Active:          65020 kB
Inactive:       634064 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1282912 kB
SwapTotal:     4192956 kB
SwapFree:      4183100 kB
Dirty:             184 kB
Writeback:           0 kB
Mapped:          14704 kB
Slab:            59920 kB
Committed_AS:   669384 kB
PageTables:       1424 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node25 on Fri Jul 28 01:38:44 UTC 2006