0.00/0.00	c solving HOME/instance-4528444-1752241683.opb (Picat 3.9b11, 7/10/2025)
169.94/170.45	o 9
169.94/170.45	s OPTIMUM FOUND
169.94/170.45	v ~x1488 ~x3918 ~x2239 ~x282 ~x895 ~x5037 ~x704 ~x4308 ~x5302 ~x1450 
169.94/170.45	v ~x5035 ~x2225 ~x272 ~x952 ~x5021 ~x722 ~x4243 ~x5323 ~x1465 ~x5020 
169.94/170.45	v ~x2211 ~x251 ~x961 ~x5003 ~x1194 ~x4254 ~x5345 ~x144 ~x4950 ~x2296 
169.94/170.45	v ~x232 ~x932 ~x4988 ~x1214 ~x4275 ~x5966 ~x158 ~x4932 ~x2287 ~x208 
169.94/170.45	v ~x940 ~x4978 ~x1233 ~x4220 ~x5909 ~x179 ~x4562 ~x1954 ~x220 ~x994 
169.94/170.45	v ~x4964 ~x1249 ~x4237 ~x5928 ~x190 ~x4539 ~x1936 ~x182 ~x1008 ~x4952 
169.94/170.45	v ~x1744 ~x4184 ~x5869 ~x609 ~x4525 ~x1974 ~x197 ~x971 ~x4935 ~x1756 
169.94/170.45	v ~x4204 ~x944 ~x623 ~x4512 ~x1961 ~x157 ~x983 ~x4914 ~x1702 ~x4142 
169.94/170.45	v ~x1253 ~x576 ~x4565 ~x1810 ~x143 ~x1042 ~x4899 ~x1724 ~x4158 x1234 
169.94/170.45	v ~x588 ~x4586 ~x1801 ~x161 ~x1056 ~x4879 ~x6960 ~x4111 ~x1216 ~x2893 
169.94/170.45	v ~x2936 ~x1841 ~x119 ~x1064 ~x4865 ~x6947 ~x4127 ~x1402 ~x2905 ~x2945 
169.94/170.45	v ~x1826 ~x131 ~x1027 ~x4844 ~x6933 ~x4068 ~x1420 ~x2668 ~x2651 ~x3074 
169.94/170.45	v ~x99 ~x1039 ~x4827 ~x6918 ~x4086 ~x1434 ~x2657 ~x2641 ~x3066 ~x114 
169.94/170.45	v ~x1565 ~x4819 ~x6969 ~x4034 ~x1686 ~x1131 ~x2629 ~x3055 ~x71 ~x1551 
169.94/170.45	v ~x4800 ~x6983 ~x4050 ~x80 ~x1183 ~x2622 ~x3044 ~x86 ~x1590 ~x4811 
169.94/170.45	v ~x6504 ~x4030 ~x38 ~x1162 ~x3018 ~x3035 ~x48 ~x1577 ~x4749 ~x6487 
169.94/170.45	v ~x4013 ~x51 ~x1093 ~x3005 ~x3023 ~x59 ~x1619 ~x4761 ~x6554 ~x3988 
169.94/170.45	v ~x15 ~x1007 ~x2967 ~x3016 ~x21 ~x1605 ~x4775 ~x6565 ~x3977 ~x5912 
169.94/170.45	v ~x1664 ~x2961 ~x3007 ~x32 ~x1653 ~x4789 x6573 ~x3966 ~x5931 ~x1649 
169.94/170.45	v ~x1838 ~x2757 ~x1695 ~x1638 ~x4692 ~x6582 ~x3949 ~x5947 ~x1630 ~x1822 
169.94/170.45	v ~x2742 ~x1682 ~x1691 ~x5224 ~x6088 ~x3930 ~x5963 ~x1481 ~x1809 ~x2780 
169.94/170.45	v ~x1739 ~x1671 ~x5172 ~x6102 ~x3914 ~x5839 ~x1439 ~x1799 ~x2774 ~x1718 
169.94/170.45	v ~x1731 ~x5187 ~x6151 ~x3896 ~x5858 ~x1454 ~x2390 ~x2704 ~x1759 ~x1211 
169.94/170.45	v ~x5148 ~x6168 ~x3883 ~x5875 ~x246 ~x2377 ~x2691 ~x1747 ~x1317 ~x5164 
169.94/170.45	v ~x5236 ~x3866 ~x5891 ~x166 ~x2226 ~x2733 ~x1790 ~x1304 ~x5116 x5249 
169.94/170.45	v ~x3851 ~x5809 ~x186 ~x2214 ~x2719 ~x373 ~x1289 ~x5132 ~x5202 ~x3826 
169.94/170.45	v ~x5792 ~x198 ~x904 ~x2818 ~x355 ~x1272 ~x5086 ~x5221 ~x3809 ~x5784 
169.94/170.45	v ~x213 x912 ~x2829 ~x337 ~x909 ~x5101 ~x5174 ~x3790 ~x5769 ~x627 
169.94/170.45	v ~x879 ~x509 ~x325 ~x919 ~x5053 ~x5188 ~x3775 ~x5745 ~x584 ~x892 
169.94/170.45	v ~x521 ~x309 ~x883 ~x5072 ~x5142 ~x3700 ~x5728 ~x599 ~x1410 ~x473 
169.94/170.45	v ~x281 ~x896 ~x5038 ~x5157 ~x3716 ~x5711 ~x656 ~x1428 ~x488 ~x271 
169.94/170.45	v ~x953 ~x5022 ~x5155 ~x3726 ~x5698 ~x6134 ~x1327 x558 ~x250 ~x962 
169.94/170.45	v ~x5004 ~x5108 ~x3744 ~x5475 ~x6221 ~x1345 ~x570 ~x231 ~x933 ~x4989 
169.94/170.45	v ~x5122 ~x3765 ~x5410 ~x6209 ~x5017 ~x1187 ~x207 ~x941 ~x4979 ~x5079 
169.94/170.45	v ~x3642 ~x5430 ~x6193 x5814 ~x1164 ~x219 ~x995 ~x4965 ~x5093 ~x3661 
169.94/170.45	v ~x5441 ~x5633 ~x5360 ~x1089 ~x181 ~x1009 ~x4953 ~x5047 ~x4183 ~x5381 
169.94/170.45	v ~x5689 ~x5298 ~x1077 ~x196 ~x972 ~x4936 ~x5063 ~x4203 ~x5400 x5674 
169.94/170.45	v ~x5960 x1117 ~x156 ~x984 ~x4915 ~x5044 ~x4141 ~x5343 ~x5710 ~x5842 
169.94/170.45	v ~x1103 ~x142 ~x1043 ~x4900 ~x3639 ~x4157 ~x5363 ~x7013 ~x6354 ~x614 
169.94/170.45	v ~x160 ~x1057 ~x4880 ~x3665 ~x4110 ~x5307 ~x7004 ~x6301 ~x626 ~x118 
169.94/170.45	v ~x1065 ~x4866 ~x3683 ~x4126 ~x5325 ~x6992 ~x6963 ~x721 ~x130 ~x1028 
169.94/170.45	v ~x4845 ~x3696 ~x4067 ~x7093 ~x6981 ~x6754 ~x705 ~x98 ~x1040 ~x4828 
169.94/170.45	v ~x3705 ~x4085 ~x7068 ~x6595 ~x744 ~x694 ~x113 ~x1566 ~x4820 ~x3719 
169.94/170.45	v ~x4033 ~x7111 ~x6636 ~x777 ~x679 ~x70 ~x1552 ~x4801 ~x3739 ~x4049 
169.94/170.45	v ~x7099 ~x6618 ~x230 ~x775 ~x85 ~x1591 ~x4812 ~x3758 ~x4029 ~x7135 
169.94/170.45	v ~x6560 ~x348 ~x763 ~x47 ~x1578 ~x4750 ~x3501 ~x4012 ~x7126 ~x2817 
169.94/170.45	v ~x1612 ~x753 ~x58 ~x1620 ~x4762 ~x3506 ~x3987 ~x6928 ~x2828 ~x1658 
169.94/170.45	v ~x735 ~x20 ~x1606 ~x4776 ~x3523 ~x3976 ~x6943 ~x2839 ~x981 ~x465 
169.94/170.45	v ~x31 ~x1654 ~x4790 ~x3536 ~x3965 ~x6958 ~x2850 ~x1189 ~x448 ~x1694 
169.94/170.45	v ~x1639 ~x4693 ~x3552 ~x3948 ~x6763 ~x2864 ~x3560 ~x245 ~x1681 ~x1692 
169.94/170.45	v ~x4705 ~x3574 ~x3929 ~x6762 ~x2873 ~x3421 ~x224 ~x1738 ~x1672 ~x4717 
169.94/170.45	v ~x3593 ~x3913 ~x6777 ~x4114 x5033 ~x286 ~x1717 ~x1732 ~x4733 ~x3613 
169.94/170.45	v ~x3895 ~x6793 ~x4132 ~x4488 ~x265 ~x1758 ~x1708 ~x4638 ~x3354 ~x3882 
169.94/170.45	v ~x6808 ~x4152 ~x5943 ~x324 ~x1746 ~x1763 ~x4654 ~x3334 ~x3865 ~x6821 
169.94/170.45	v ~x4168 ~x5482 ~x306 ~x1789 ~x1741 ~x4670 ~x4219 ~x3850 ~x6832 ~x4042 
169.94/170.45	v ~x6948 ~x6760 ~x1773 ~x1785 ~x4685 ~x4236 ~x3825 ~x6847 ~x4060 ~x6460 
169.94/170.45	v ~x6779 ~x1568 ~x1768 ~x4580 ~x4179 ~x3808 ~x6858 ~x4076 ~x4010 ~x6791 
169.94/170.45	v ~x1557 ~x1337 ~x4595 ~x4197 ~x3789 ~x6701 ~x4092 ~x511 ~x6805 ~x1598 
169.94/170.45	v ~x1357 ~x4612 ~x4296 ~x3774 ~x6686 ~x4251 ~x498 ~x6923 ~x1584 ~x1365 
169.94/170.45	v ~x4617 ~x4314 ~x3699 ~x6673 ~x4273 ~x484 ~x6934 ~x1628 ~x1376 ~x4526 
169.94/170.45	v ~x4259 ~x3715 ~x6659 ~x3991 ~x471 ~x6952 ~x1611 ~x1391 ~x4509 ~x4281 
169.94/170.45	v ~x3725 ~x6440 ~x3978 ~x2729 ~x6965 ~x1657 ~x1405 ~x4558 ~x4262 ~x3743 
169.94/170.45	v ~x6511 ~x4017 ~x2739 ~x6367 ~x1643 ~x1421 ~x4542 ~x4083 ~x3764 ~x6531 
169.94/170.45	v ~x4009 ~x2748 ~x6382 ~x1447 ~x1435 ~x4460 ~x4100 ~x3641 ~x6477 ~x3924 
169.94/170.45	v ~x2763 ~x6326 ~x1460 ~x1440 ~x4445 ~x4047 ~x3660 ~x6492 ~x3907 ~x3049 
169.94/170.45	v ~x6344 ~x1472 ~x1455 ~x4492 ~x4066 ~x3678 ~x6503 ~x3960 ~x3058 ~x6303 
169.94/170.45	v ~x1483 ~x1467 ~x4477 ~x4145 ~x3692 ~x6328 ~x3940 ~x3027 ~x6316 ~x1490 
169.94/170.45	v ~x1479 ~x4393 ~x3890 ~x3565 ~x6346 ~x3604 ~x3039 ~x6519 ~x1508 ~x1497 
169.94/170.45	v ~x4381 ~x3872 ~x3579 ~x6294 ~x3625 ~x1835 ~x6537 ~x1522 ~x1502 ~x4421 
169.94/170.45	v ~x3853 ~x3603 ~x6309 ~x3572 ~x1849 ~x5834 ~x1536 ~x1517 ~x4405 ~x3843 
169.94/170.45	v ~x3622 ~x6398 ~x3586 ~x1928 ~x5854 ~x1549 ~x1531 ~x4337 ~x2683 ~x3499 
169.94/170.45	v ~x6408 ~x3531 ~x1944 ~x5873 ~x1332 ~x1544 ~x4323 ~x2673 ~x3518 ~x6369 
169.94/170.45	v ~x3544 ~x2245 ~x5890 ~x1351 ~x2186 ~x4366 ~x2665 ~x3534 ~x6377 ~x3496 
169.94/170.45	v ~x2254 ~x5910 ~x1360 ~x2204 ~x4373 ~x2655 ~x3550 ~x4101 ~x3514 ~x2222 
169.94/170.45	v ~x5920 ~x1373 ~x2154 ~x4356 ~x2645 ~x3452 ~x4120 ~x3251 ~x2236 ~x5944 
169.94/170.45	v ~x1380 ~x2170 ~x4217 ~x2635 ~x3437 ~x3849 ~x3236 ~x4128 ~x5962 ~x1395 
169.94/170.45	v ~x2126 ~x4231 ~x2627 ~x3480 ~x3899 ~x3482 ~x4109 ~x5777 ~x1408 ~x2138 
169.94/170.45	v ~x4180 ~x2631 ~x3462 ~x3885 ~x3467 x4084 ~x5761 ~x1425 ~x2103 ~x4791 
169.94/170.45	v ~x2624 ~x3381 ~x3792 ~x3446 ~x4077 ~x5344 ~x1257 ~x2115 ~x4694 ~x2784 
169.94/170.45	v ~x3366 ~x3777 ~x3431 ~x3580 ~x5366 ~x1238 ~x2077 ~x4706 ~x2770 ~x3413 
169.94/170.45	v ~x3834 ~x3416 ~x3557 ~x5301 ~x1225 ~x1673 ~x4718 ~x2758 ~x3396 ~x3817 
169.94/170.45	v ~x3400 ~x3620 ~x5324 ~x1199 ~x1733 ~x4734 ~x2917 ~x3324 ~x3799 ~x3383 
169.94/170.45	v ~x3601 ~x5420 ~x1311 ~x1709 ~x4639 ~x2931 ~x3307 ~x4001 ~x3367 ~x3410 
169.94/170.45	v ~x5443 ~x1745 ~x1764 ~x4655 ~x2898 ~x3359 ~x3986 ~x5050 ~x3425 ~x5060 
169.94/170.45	v ~x1788 ~x1742 ~x4671 ~x2909 ~x3341 ~x4032 ~x5065 ~x5102 ~x5076 ~x1772 
169.94/170.45	v ~x1786 ~x4686 ~x2880 ~x3261 ~x4015 ~x5083 ~x5088 ~x5089 ~x1567 ~x1769 
169.94/170.45	v ~x4581 ~x2887 ~x3242 ~x3934 ~x5096 ~x5010 ~x5104 ~x1556 ~x1338 ~x4596 
169.94/170.45	v ~x2988 ~x3293 ~x3917 ~x5117 ~x5028 ~x4999 ~x1597 ~x1358 ~x4613 ~x2978 
169.94/170.45	v ~x3278 ~x3972 ~x5130 ~x4982 ~x4986 ~x1583 ~x1366 ~x4618 ~x3011 ~x7011 
169.94/170.45	v ~x3954 ~x4883 ~x4998 ~x5027 ~x1627 ~x1377 ~x4527 ~x3001 ~x6999 ~x3654 
169.94/170.45	v ~x4867 ~x1859 ~x5016 ~x1610 ~x1392 ~x4510 ~x2963 ~x6989 ~x3363 ~x4912 
169.94/170.45	v ~x2271 ~x4640 ~x1656 ~x1406 ~x4559 ~x2955 ~x6980 ~x3346 ~x4895 ~x4690 
169.94/170.45	v ~x4656 ~x1642 ~x1422 ~x4543 ~x2960 ~x6972 ~x3326 ~x4945 ~x5162 ~x4608 
169.94/170.45	v ~x1446 ~x1436 ~x4461 ~x2974 ~x3640 ~x3313 ~x4933 ~x3624 ~x4623 ~x1459 
169.94/170.45	v ~x1441 ~x4446 ~x2969 ~x3659 ~x3283 x4981 x4154 ~x4571 ~x1471 ~x1456 
169.94/170.45	v ~x4493 ~x3076 ~x3677 ~x3269 ~x4967 ~x3921 ~x4591 ~x1482 ~x1468 ~x4478 
169.94/170.45	v ~x3206 ~x3691 ~x3268 ~x5002 ~x6379 ~x4548 ~x1489 ~x1480 ~x4394 ~x3214 
169.94/170.45	v ~x3564 ~x3248 ~x4990 ~x6772 ~x4532 ~x1507 ~x1498 ~x4382 ~x3219 ~x3578 
169.94/170.45	v ~x3232 ~x5036 ~x4096 ~x1521 ~x1503 ~x4422 ~x3229 ~x3602 ~x3488 ~x5019 
169.94/170.45	v ~x3554 ~x1535 ~x1518 ~x4406 ~x3162 ~x3621 ~x3470 ~x4602 ~x5232 ~x1548 
169.94/170.45	v ~x1532 ~x4338 ~x3172 ~x3498 ~x3454 ~x4629 ~x4738 ~x1331 ~x1545 ~x4324 
169.94/170.45	v ~x3183 ~x3517 x3441 ~x4575 x1853 ~x1350 ~x2187 ~x4367 ~x3197 ~x3533 
169.94/170.45	v ~x3424 ~x4592 ~x2264 ~x1359 ~x2205 ~x4374 ~x1852 ~x3549 ~x3407 ~x4341 
169.94/170.45	v ~x2550 ~x1372 ~x2155 ~x4357 ~x1836 ~x3451 ~x5258 ~x4325 ~x2950 ~x1379 
169.94/170.45	v ~x2171 ~x4218 ~x1820 ~x3436 ~x5272 ~x4423 ~x3192 ~x1394 ~x2127 ~x4232 
169.94/170.45	v ~x1807 ~x3479 ~x5287 ~x4407 ~x4874 ~x1407 ~x2139 ~x4181 ~x1884 ~x3461 
169.94/170.45	v ~x4821 ~x4391 ~x3712 ~x1424 ~x2104 ~x4198 ~x1882 ~x3380 ~x4799 ~x4379 
169.94/170.45	v ~x3697 ~x1256 ~x2116 ~x4297 ~x1874 ~x3365 ~x4846 ~x4491 ~x3750 ~x1237 
169.94/170.45	v ~x2078 ~x4317 ~x1866 ~x3412 ~x4832 ~x4473 ~x3759 ~x1224 ~x2089 ~x4252 
169.94/170.45	v ~x2058 ~x3395 ~x4884 ~x4462 ~x3740 ~x1198 ~x2048 ~x4278 ~x2073 ~x3323 
169.94/170.45	v ~x4888 ~x4448 ~x3662 ~x1310 ~x2065 ~x4074 ~x2124 ~x3306 ~x4872 ~x4563 
169.94/170.45	v ~x3643 ~x1298 ~x2020 ~x4093 ~x2133 ~x3358 ~x4919 ~x4540 ~x3259 ~x1285 
169.94/170.45	v ~x2035 ~x4040 ~x2099 ~x3340 ~x4902 ~x4523 ~x3275 ~x1269 ~x1991 ~x4055 
169.94/170.45	v ~x2112 ~x3260 ~x4939 ~x4508 ~x3291 ~x1119 ~x2005 ~x4139 ~x2177 ~x3241 
169.94/170.45	v ~x4923 ~x6250 ~x4307 ~x1109 ~x1967 ~x4159 ~x2194 ~x3292 ~x4974 ~x6235 
169.94/170.45	v ~x4284 ~x1092 ~x1956 ~x4117 ~x2146 ~x3277 ~x4961 ~x6034 ~x4292 ~x1074 
169.94/170.45	v ~x1943 ~x4134 ~x2162 ~x7010 ~x4711 ~x6047 ~x4270 ~x1927 ~x3961 ~x2228 
169.94/170.45	v ~x6998 ~x4779 ~x6062 ~x4250 ~x1916 ~x3943 ~x2218 ~x6988 ~x4793 ~x1193 
169.94/170.45	v ~x6071 ~x3868 ~x1907 ~x3925 ~x2255 ~x6979 ~x4755 ~x1171 ~x5983 ~x3806 
169.94/170.45	v ~x1897 ~x3910 ~x2244 ~x6971 ~x4767 ~x1150 ~x5996 ~x3824 ~x1888 ~x4024 
169.94/170.45	v ~x2240 ~x7051 ~x4365 ~x1136 ~x6009 ~x3773 ~x1885 ~x4005 ~x2272 ~x7041 
169.94/170.45	v ~x4353 ~x993 ~x6027 ~x3788 ~x1877 ~x3989 ~x2469 ~x7029 ~x4343 ~x1006 
169.94/170.45	v ~x5900 ~x2639 ~x1869 ~x3974 ~x2482 ~x7017 ~x4326 ~x968 ~x5917 ~x2637 
169.94/170.45	v ~x1861 ~x3829 ~x2491 ~x7113 ~x4329 ~x977 ~x5934 ~x2649 ~x1855 ~x3814 
169.94/170.45	v ~x2504 ~x7101 ~x4436 ~x989 ~x5954 ~x2892 ~x1842 ~x3794 ~x2512 ~x7092 
169.94/170.45	v ~x4419 ~x1050 ~x5829 ~x2885 ~x1827 ~x3781 ~x2523 ~x7075 ~x4398 ~x1061 
169.94/170.45	v ~x5850 ~x2877 ~x1812 ~x3897 ~x2534 ~x7160 ~x4390 ~x1024 ~x5861 ~x2946 
169.94/170.45	v ~x1798 ~x3879 ~x2549 ~x7147 ~x4484 ~x1036 ~x5896 ~x2938 ~x2569 ~x3875 
169.94/170.45	v ~x2565 ~x7132 ~x4469 ~x906 ~x5579 ~x2926 ~x2583 ~x3858 ~x2580 ~x7121 
169.94/170.45	v ~x2717 ~x917 ~x5564 ~x2912 ~x2604 ~x3839 ~x2596 ~x6799 ~x2706 ~x876 
169.94/170.45	v ~x5547 ~x2920 ~x2616 ~x3646 ~x2611 ~x6815 ~x2696 ~x888 ~x5558 ~x3150 
169.94/170.45	v ~x2519 ~x4233 ~x1046 ~x6766 ~x2783 ~x948 ~x5515 ~x3168 ~x2528 ~x4182 
169.94/170.45	v ~x1058 ~x6782 ~x2769 ~x958 ~x5532 ~x3159 ~x2547 ~x4199 ~x1020 ~x6852 
169.94/170.45	v ~x2756 ~x928 ~x5492 ~x3191 ~x5124 ~x4298 ~x1022 ~x6863 ~x2744 ~x938 
169.94/170.45	v ~x5503 ~x3176 x5137 ~x4318 ~x1286 ~x6831 ~x2819 ~x6455 ~x5462 ~x3209 
169.94/170.45	v ~x5151 ~x4253 ~x1270 ~x6843 ~x2830 ~x6467 ~x5479 ~x3201 ~x4494 ~x4279 
169.94/170.45	v ~x1255 ~x6893 ~x2800 ~x6434 ~x5406 ~x3221 ~x4479 ~x4075 ~x1236 ~x6906 
169.94/170.45	v ~x2792 ~x1197 ~x5426 ~x2012 ~x4465 ~x4094 ~x1218 ~x6869 ~x2802 ~x1309 
169.94/170.45	v ~x5369 ~x1999 ~x4450 ~x4041 ~x1201 ~x6881 ~x2858 ~x1297 ~x5388 ~x1986 
169.94/170.46	v ~x4555 ~x4056 ~x1185 ~x6941 ~x2869 ~x1284 ~x5335 ~x2203 ~x4585 ~x4140 
169.94/170.46	v ~x1168 ~x6954 ~x2834 ~x1268 ~x5356 ~x2185 ~x4665 ~x4160 ~x1152 ~x6914 
169.94/170.46	v ~x2846 ~x1118 ~x7014 ~x2168 ~x4681 ~x4118 ~x1137 ~x6926 ~x2268 ~x1108 
169.94/170.46	v ~x7025 ~x2153 ~x4630 ~x4135 ~x1114 ~x6936 ~x2278 ~x1091 ~x7057 ~x2143 
169.94/170.46	v ~x4645 ~x3962 ~x1102 ~x6564 ~x2288 ~x1073 ~x7046 ~x2487 ~x2488 ~x3944 
169.94/170.46	v ~x1087 ~x6552 ~x2295 ~x1192 ~x6866 ~x2417 ~x2498 ~x3926 ~x1075 ~x6978 
169.94/170.46	v ~x1029 ~x1170 ~x6879 ~x2393 ~x2462 ~x3911 ~x1495 ~x6970 ~x1016 ~x1149 
169.94/170.46	v ~x6888 ~x2448 ~x2378 ~x4025 ~x1510 ~x7050 ~x1011 ~x1135 ~x6901 ~x2429 
169.94/170.46	v ~x2365 ~x4006 ~x3180 ~x7040 ~x996 ~x992 ~x6916 ~x2585 ~x2348 ~x3990 
169.94/170.46	v ~x3193 ~x7028 ~x1515 ~x1005 ~x6924 ~x2573 ~x2342 ~x3975 ~x1846 ~x7016 
169.94/170.46	v ~x1499 ~x967 ~x6942 ~x2618 ~x2333 ~x3830 ~x1832 ~x7112 ~x1542 ~x976 
169.94/170.46	v ~x6955 ~x1265 ~x2321 ~x3815 ~x1817 ~x7100 ~x1528 ~x988 ~x6769 ~x1207 
169.94/170.46	v ~x2311 ~x3795 ~x1802 ~x7091 ~x1580 ~x1049 ~x6786 x1226 ~x2047 ~x3782 
169.94/170.46	v ~x1883 ~x7074 ~x1595 ~x1060 ~x6801 ~x1307 ~x1828 ~x3898 ~x1875 ~x7159 
169.94/170.46	v ~x173 ~x1023 ~x6817 ~x1322 ~x1950 ~x3880 ~x1868 ~x7146 ~x150 ~x1035 
169.94/170.46	v ~x6549 ~x1280 ~x1935 ~x3876 ~x1860 ~x7131 ~x341 ~x905 ~x6634 ~x1295 
169.94/170.46	v ~x1978 ~x3859 ~x1920 ~x7120 ~x358 ~x916 ~x6642 ~x1097 ~x1964 ~x3840 
169.94/170.46	v ~x1908 ~x6798 ~x305 ~x875 ~x6626 ~x1415 ~x1903 ~x3647 ~x1898 ~x6814 
169.94/170.46	v ~x327 ~x887 ~x6611 ~x1678 ~x1894 ~x3667 ~x1891 ~x6765 ~x706 ~x947 
169.94/170.46	v ~x6599 ~x1693 ~x1923 ~x3681 ~x1977 ~x6781 ~x724 ~x957 ~x6458 ~x1705 
169.94/170.46	v ~x3004 ~x3694 ~x1963 ~x6851 ~x742 ~x927 ~x6471 ~x1735 ~x2994 ~x3706 
169.94/170.46	v ~x1952 ~x6862 ~x756 ~x937 ~x6425 ~x1748 ~x2984 ~x3723 ~x1941 ~x6830 
169.94/170.46	v ~x6502 ~x6454 ~x6439 ~x1761 ~x3054 ~x3746 ~x2007 ~x6842 ~x6484 ~x6466 
169.94/170.46	v ~x6512 ~x1779 ~x3041 ~x3762 ~x2024 ~x6892 ~x6540 ~x6433 ~x6533 ~x711 
169.94/170.46	v ~x3031 ~x3491 ~x1984 ~x6905 ~x6520 ~x6448 ~x6481 ~x1243 ~x3019 ~x3512 
169.94/170.46	v ~x1995 ~x6868 ~x6780 ~x6518 ~x6498 ~x1712 ~x3090 ~x3527 ~x2074 ~x6880 
169.94/170.46	v ~x6758 ~x6539 ~x6338 ~x2028 ~x2638 ~x3542 ~x2087 ~x6940 ~x6968 ~x6483 
169.94/170.46	v ~x6356 ~x2447 ~x2670 ~x3567 ~x2042 ~x6953 ~x6951 ~x6500 ~x2981 ~x2720 
169.94/170.46	v ~x2660 ~x3588 ~x2059 ~x6913 ~x5398 ~x6332 ~x3013 x3045 ~x2689 ~x3606 
169.94/170.46	v ~x2131 ~x6925 ~x5380 ~x6351 ~x3002 ~x3525 ~x2679 ~x3628 ~x2140 ~x6935 
169.94/170.46	v x5442 ~x6296 ~x3038 ~x4057 ~x2708 ~x3385 ~x2106 ~x6563 ~x5421 ~x6311 
169.94/170.46	v ~x1854 ~x1063 ~x2697 ~x3368 ~x2120 ~x6551 ~x2016 ~x6397 ~x1845 ~x1025 
169.94/170.46	v ~x2736 ~x3417 ~x2110 ~x6585 ~x2034 ~x6407 ~x1831 ~x1573 ~x668 ~x3401 
169.94/170.46	v ~x2183 ~x6575 ~x1988 ~x6365 ~x1816 ~x1509 ~x632 ~x3444 ~x2198 ~x6605 
169.94/170.46	v ~x2001 ~x6384 ~x2262 ~x5533 ~x643 ~x3438 ~x2149 ~x6593 ~x2603 ~x6695 
169.94/170.46	v ~x2299 ~x5546 ~x603 ~x3477 ~x2165 ~x6631 ~x2605 ~x6683 ~x2289 ~x5990 
169.94/170.46	v ~x616 ~x3463 ~x2234 ~x6620 ~x2409 ~x6677 ~x2233 ~x6061 ~x575 ~x3254 
169.94/170.46	v ~x2223 ~x6668 ~x2426 ~x6665 ~x1126 ~x6493 ~x591 ~x3234 ~x2260 ~x6653 
169.94/170.46	v ~x4335 ~x6650 ~x997 ~x6514 ~x557 ~x3288 ~x2246 ~x6699 ~x4319 ~x6741 
169.94/170.46	v ~x1012 ~x6787 ~x280 ~x3273 ~x2279 ~x6679 ~x4375 ~x6729 ~x970 x6939 
169.94/170.46	v ~x177 ~x3320 ~x2269 ~x6727 ~x4360 ~x6718 ~x1602 ~x3428 ~x191 ~x3315 
169.94/170.46	v ~x2301 ~x6716 ~x4878 ~x6707 ~x1651 ~x3476 ~x203 ~x3297 ~x2290 ~x6750 
169.94/170.46	v ~x4862 ~x6588 ~x1636 ~x3906 ~x215 ~x3349 ~x2315 ~x6731 ~x4850 ~x6578 
169.94/170.46	v ~x1449 ~x4022 ~x121 ~x3841 ~x2304 ~x6306 ~x4836 ~x6567 ~x315 ~x4511 
169.94/170.46	v ~x132 ~x3648 ~x2334 ~x6322 x3258 ~x6556 ~x298 ~x4557 ~x145 ~x3668 
169.94/170.46	v ~x2331 ~x6340 ~x3243 ~x6644 x278 ~x1474 ~x1635 ~x3682 ~x2361 ~x6361 
169.94/170.46	v ~x3295 ~x6629 ~x256 ~x1523 ~x1622 ~x3695 ~x2351 ~x6370 ~x3276 ~x6616 
169.94/170.46	v ~x746 x1506 ~x1603 ~x3707 ~x2387 ~x6385 ~x4247 ~x6603 ~x784 ~x1547 
169.94/170.46	v ~x1477 ~x3724 ~x2374 ~x6401 ~x4266 ~x6872 ~x771 ~x1534 ~x1491 ~x3747 
169.94/170.46	v ~x2396 ~x6413 ~x3823 ~x6465 ~x698 ~x1346 ~x1451 ~x3763 ~x2415 ~x6422 
169.94/170.46	v ~x3805 ~x6432 ~x6418 ~x1330 ~x1464 ~x3492 ~x2435 ~x6436 ~x6568 ~x6447 
169.94/170.46	v ~x6421 ~x1374 ~x1530 ~x3513 ~x2445 ~x6449 ~x6557 ~x6517 ~x6435 ~x205 
169.94/170.46	v ~x493 ~x3528 ~x2466 ~x6461 ~x6586 ~x6538 ~x6451 ~x192 ~x508 ~x3543 
169.94/170.46	v ~x2480 ~x6479 ~x6576 ~x6482 ~x6859 ~x178 ~x523 ~x3568 ~x2489 ~x6494 
169.94/170.46	v ~x7034 ~x6499 ~x6828 ~x159 ~x531 ~x3589 ~x2502 ~x6515 ~x7023 ~x6331 
169.94/170.46	v ~x6840 ~x146 ~x854 ~x3607 ~x2515 ~x6521 ~x7007 ~x6350 ~x6890 ~x129 
169.94/170.46	v ~x946 ~x3629 ~x2524 ~x6534 ~x6997 ~x6295 ~x4258 ~x117 ~x955 ~x3386 
169.94/170.46	v ~x2541 ~x6562 ~x5583 ~x6310 ~x112 ~x925 ~x3369 ~x2535 ~x6550 ~x5568 
169.94/170.46	v ~x6396 ~x650 ~x4315 ~x1245 ~x3418 ~x2551 ~x6584 ~x5612 ~x6406 ~x639 
169.94/170.46	v ~x4295 ~x1229 ~x3402 ~x2184 ~x6574 ~x5598 ~x6364 ~x629 ~x3768 ~x1208 
169.94/170.46	v ~x3445 ~x2199 ~x6604 ~x14 ~x6383 ~x665 ~x3783 ~x1383 ~x3439 ~x2150 
169.94/170.46	v ~x6592 ~x52 ~x6694 ~x652 ~x3793 x1782 ~x3478 ~x2166 ~x6630 ~x1339 
169.94/170.46	v ~x6682 ~x592 ~x3810 ~x1687 ~x3464 ~x2235 ~x6619 ~x1433 ~x6676 ~x577 
169.94/170.46	v ~x3827 ~x1675 ~x3255 ~x2224 ~x6667 ~x884 ~x6664 ~x620 ~x3650 ~x1730 
169.94/170.46	v ~x3235 ~x2261 ~x6652 ~x920 ~x6649 ~x1069 ~x3757 ~x5948 ~x3289 ~x2247 
169.94/170.46	v ~x6698 ~x6245 ~x6740 ~x1084 ~x3737 ~x5930 ~x3274 ~x2280 ~x6678 ~x6236 
169.94/170.46	v ~x6728 ~x1090 ~x3721 ~x5951 ~x3321 ~x2270 ~x6726 ~x5885 ~x6717 ~x1053 
169.94/170.46	v ~x3704 ~x5832 ~x3316 ~x2302 ~x6715 ~x5868 ~x6706 ~x1041 ~x3265 ~x5416 
169.94/170.46	v ~x3298 ~x2291 ~x6749 ~x5347 ~x6587 ~x1031 ~x3272 ~x5437 ~x3350 ~x2316 
169.94/170.46	v ~x6730 ~x5327 ~x6577 ~x1017 ~x3287 ~x5433 ~x3330 ~x2305 ~x6307 ~x6816 
169.94/170.46	v ~x6566 ~x1010 ~x5235 ~x5376 ~x1899 ~x2335 ~x6323 ~x6797 ~x6555 ~x1553 
169.94/170.46	v ~x5277 ~x6946 ~x1889 ~x2332 ~x6341 ~x6360 ~x6643 ~x1564 ~x6961 ~x5263 
169.94/170.46	v ~x1918 ~x2362 ~x6362 ~x6339 ~x6628 ~x1579 ~x6757 ~x5189 ~x1909 ~x2352 
169.94/170.46	v ~x6371 x3811 ~x6615 ~x1582 ~x5173 ~x6768 ~x1947 ~x2388 ~x6386 ~x3828 
169.94/170.46	v ~x6602 ~x1593 ~x5219 ~x6525 ~x1931 ~x2375 ~x6402 ~x2031 ~x6871 ~x1516 
169.94/170.46	v ~x5200 ~x6543 ~x1971 ~x2397 ~x6414 ~x2151 ~x6884 ~x1496 ~x5209 ~x6488 
169.94/170.46	v ~x1958 ~x2416 ~x6423 ~x2167 ~x6895 ~x1540 ~x4572 ~x6505 ~x1814 ~x2436 
169.94/170.46	v ~x6437 x2180 ~x6909 ~x241 ~x4788 ~x3892 ~x1804 ~x2446 ~x6450 ~x2455 
169.94/170.46	v ~x6922 ~x258 x4773 ~x3878 ~x1847 ~x2467 ~x6462 ~x2407 ~x6938 ~x343 
169.94/170.46	v ~x4763 ~x3784 ~x1829 ~x2481 ~x6480 ~x2424 ~x6950 ~x361 ~x4751 ~x3766 
169.94/170.46	v ~x1863 ~x2490 ~x6495 ~x2591 ~x6967 ~x359 ~x4731 ~x1594 ~x1857 ~x2503 
169.94/170.46	v ~x6516 ~x2821 ~x6756 ~x304 ~x4719 x2123 ~x1879 ~x2516 ~x6522 ~x2836 
169.94/170.46	v ~x6775 ~x319 ~x4703 ~x2538 ~x1870 ~x2525 ~x6535 ~x2845 ~x6796 ~x168 
169.94/170.46	v ~x2381 ~x2812 ~x2107 ~x2542 ~x6165 ~x2854 ~x6810 ~x685 ~x2347 ~x3111 
169.94/170.46	v ~x2118 ~x2536 ~x6149 ~x3125 ~x6820 ~x697 ~x2360 ~x3460 ~x2129 ~x2552 
169.94/170.46	v ~x6142 ~x3098 ~x6836 ~x714 ~x2242 ~x3941 ~x2141 ~x2561 ~x6131 ~x3109 
169.94/170.46	v ~x6845 ~x733 ~x2253 ~x4538 ~x2158 ~x2576 ~x6122 ~x3147 ~x6855 ~x745 
169.94/170.46	v ~x2216 ~x4582 ~x2173 ~x2592 ~x6112 ~x3067 ~x7090 ~x743 ~x2229 ~x5646 
169.94/170.46	v ~x2192 ~x2607 ~x6097 ~x3487 ~x7080 ~x754 ~x2292 ~x5625 ~x2209 ~x1044 
169.94/170.46	v ~x6083 ~x3472 ~x7062 ~x762 ~x1917 ~x5686 ~x1982 ~x1054 ~x6285 ~x3453 
169.94/170.46	v ~x7106 ~x2805 ~x1930 ~x5663 ~x1996 ~x1018 ~x6270 ~x3548 ~x7095 ~x2796 
169.94/170.46	v ~x1942 ~x6092 ~x2009 ~x1033 ~x6254 ~x3500 ~x7129 ~x2944 ~x1955 ~x6080 
169.94/170.46	v ~x2021 ~x990 ~x6238 ~x3516 ~x7119 ~x2937 ~x1969 ~x6160 ~x2037 ~x1002 
169.94/170.46	v ~x6219 ~x3997 ~x7155 ~x2928 ~x1806 ~x6145 ~x2051 ~x965 ~x6204 ~x4161 
169.94/170.46	v ~x7143 ~x2915 ~x1821 ~x6612 ~x3299 ~x978 ~x6202 ~x4035 ~x6987 ~x2916 
169.94/170.46	v ~x1834 ~x6600 ~x3351 ~x950 ~x6187 ~x4053 ~x6977 ~x2910 ~x3093 ~x6641 
169.94/170.46	v ~x3331 ~x963 ~x5932 ~x4069 ~x7009 ~x3115 ~x3069 ~x6627 ~x1900 ~x923 
169.94/170.46	v ~x5952 ~x4622 ~x6996 ~x3103 ~x3079 ~x7077 ~x1890 ~x935 ~x5898 ~x4573 
169.94/170.46	v ~x7032 ~x3129 ~x3051 ~x7060 ~x1919 ~x901 ~x5913 ~x4590 ~x7022 ~x3122 
169.94/170.46	v ~x3062 ~x7059 ~x1910 ~x913 ~x5864 ~x4676 ~x7056 ~x3208 ~x3030 ~x7044 
169.94/170.46	v ~x1948 ~x877 ~x5883 ~x5278 ~x6601 ~x3199 ~x3040 ~x3577 ~x1932 ~x889 
169.94/170.46	v ~x5822 ~x5059 ~x6870 ~x3224 ~x2999 ~x3595 ~x1972 ~x1319 ~x5845 ~x5074 
169.94/170.46	v ~x6883 ~x3230 ~x3097 ~x3610 ~x1959 ~x1301 ~x6063 ~x5091 ~x6894 ~x386 
169.94/170.46	v ~x2751 ~x3631 ~x1815 ~x1293 ~x6076 ~x3135 ~x6908 ~x335 ~x2764 ~x4046 
169.94/170.46	v ~x1805 ~x1278 ~x6039 ~x2702 ~x6921 ~x349 ~x2775 x4065 ~x1848 ~x1261 
169.94/170.46	v ~x6050 ~x2712 ~x6937 ~x299 ~x2790 ~x4150 ~x1830 ~x1241 ~x6001 ~x2723 
169.94/170.46	v ~x6949 ~x320 ~x2699 ~x4165 ~x1864 ~x1222 ~x6022 ~x2833 ~x6966 ~x263 
169.94/170.46	v ~x2711 ~x4635 ~x1858 ~x1205 ~x6017 ~x2865 ~x6755 ~x284 ~x2724 ~x4649 
169.94/170.46	v ~x1880 ~x1178 ~x6523 ~x2855 ~x6774 ~x226 ~x2794 ~x4663 ~x1871 ~x1157 
169.94/170.46	v ~x6536 ~x2370 ~x6795 ~x6846 ~x2824 ~x4680 ~x2108 ~x1165 ~x6166 ~x2470 
169.94/170.46	v ~x6809 ~x6833 ~x2813 ~x4951 ~x2119 ~x2537 ~x6150 ~x2460 ~x6819 ~x6818 
169.94/170.46	v ~x513 ~x4934 ~x2130 ~x2553 ~x6143 ~x2443 ~x6835 ~x6912 ~x500 ~x5135 
169.94/170.46	v ~x2142 ~x2562 ~x6132 ~x2423 ~x6844 ~x6897 ~x483 ~x5156 ~x2159 ~x2577 
169.94/170.46	v ~x6123 ~x2057 ~x6854 ~x6886 ~x468 ~x2075 ~x2174 ~x2593 ~x6113 x2098 
169.94/170.46	v ~x7089 ~x6874 ~x563 ~x2088 ~x2193 ~x2608 ~x6098 ~x2084 ~x7079 ~x6964 
169.94/170.46	v ~x5040 ~x2043 ~x2210 ~x1045 ~x6084 ~x2004 ~x7061 ~x6329 ~x4804 ~x2060 
169.94/170.46	v ~x1983 ~x1055 ~x6286 ~x1632 ~x7105 ~x6381 ~x4817 ~x3497 ~x1997 ~x1019 
169.94/170.46	v ~x6271 ~x1699 ~x7094 ~x6368 ~x4838 ~x3515 ~x2010 ~x1034 ~x6255 ~x1721 
169.94/170.46	v ~x7128 ~x6409 ~x4554 ~x3526 ~x2022 ~x991 ~x6239 ~x1666 ~x7118 ~x6395 
169.94/170.46	v ~x4503 ~x3541 ~x2038 ~x1003 ~x6220 ~x1147 ~x7154 ~x6446 ~x4518 ~x3711 
169.94/170.46	v ~x2052 ~x966 ~x6205 ~x1169 ~x7142 ~x6431 ~x4354 ~x3713 ~x2069 ~x979 
169.94/170.46	v ~x6203 ~x1186 ~x6986 ~x6473 ~x4021 ~x3732 ~x2082 ~x951 ~x6188 ~x1203 
169.94/170.46	v ~x6976 ~x5946 ~x3916 ~x3751 ~x2094 ~x964 ~x5933 ~x757 ~x7008 ~x5927 
169.94/170.46	v ~x3932 ~x4105 ~x2336 ~x924 ~x5953 ~x707 ~x6995 ~x5911 ~x3947 ~x4121 
169.94/170.46	v ~x2325 ~x936 ~x5899 ~x723 ~x7031 ~x5892 ~x3481 ~x4078 ~x2313 ~x902 
169.94/170.46	v ~x5914 ~x682 ~x7021 ~x5874 ~x3435 ~x4095 ~x2306 ~x914 ~x5865 ~x344 
169.94/170.46	v ~x7055 ~x5852 ~x3447 ~x4039 ~x2382 ~x878 ~x5884 ~x342 ~x7043 ~x5835 
169.94/170.46	v ~x3399 ~x4054 ~x2368 ~x890 ~x5823 ~x360 ~x5538 ~x6068 ~x3504 ~x4287 
169.94/170.46	v ~x2355 ~x1320 ~x5846 ~x225 ~x5554 ~x6189 ~x6783 ~x4305 ~x2344 ~x1302 
169.94/170.46	v ~x6064 ~x3587 ~x5512 ~x5399 ~x6767 ~x2737 ~x2258 ~x1294 ~x6077 ~x3569 
169.94/170.46	v ~x5525 ~x5382 ~x6812 ~x2725 ~x2248 ~x1279 ~x6040 ~x3566 ~x5484 ~x5439 
169.94/170.46	v ~x7130 ~x2714 ~x2237 ~x1262 ~x6051 ~x3623 ~x5497 x5417 ~x7141 ~x2701 
169.94/170.46	v ~x2212 ~x1242 ~x6002 ~x2951 ~x5447 ~x5326 ~x7153 ~x2788 ~x2297 ~x1223 
169.94/170.46	v ~x6023 ~x4256 ~x5466 ~x5306 ~x6359 ~x2778 ~x2283 ~x1206 ~x6018 ~x4277 
169.94/170.46	v ~x5415 ~x5364 ~x6661 ~x2761 ~x2275 ~x1179 ~x5969 ~x4290 ~x5436 ~x5739 
169.94/170.46	v ~x6732 ~x2747 ~x2265 ~x1158 ~x5985 ~x3770 ~x5386 ~x5733 ~x6742 ~x2832 
169.94/170.46	v ~x2543 ~x1166 ~x5655 ~x3821 ~x5402 ~x5750 ~x6705 ~x2844 ~x2557 ~x1145 
169.94/170.46	v ~x5637 ~x3804 ~x5341 ~x4956 ~x6263 ~x3036 ~x2513 ~x1129 ~x5693 ~x3745 
169.94/170.46	v ~x5368 ~x4972 ~x6277 ~x3026 ~x2529 ~x1120 ~x5672 ~x3302 ~x5304 ~x4924 
169.94/170.46	v ~x6287 ~x3059 ~x2598 ~x1104 ~x5589 ~x3280 ~x5322 ~x4938 x6186 ~x3048 
169.94/170.46	v ~x2614 ~x1094 ~x5574 ~x3263 ~x5309 ~x5011 ~x5584 ~x3080 ~x2567 ~x1079 
169.94/170.46	v ~x5614 ~x3247 ~x5821 ~x5152 ~x5799 ~x3071 ~x2581 ~x1500 ~x5604 ~x4810 
169.94/170.46	v ~x5803 ~x5138 ~x5817 ~x3134 ~x2431 ~x1512 ~x5775 ~x4853 ~x5788 ~x5143 
169.94/170.46	v ~x5771 ~x3141 ~x2451 ~x1526 ~x5762 ~x4834 ~x5774 ~x5125 ~x125 ~x3145 
169.94/170.46	v ~x2398 ~x1537 ~x5805 ~x4889 ~x5755 ~x5110 ~x167 ~x3153 ~x2405 ~x1444 
169.94/170.46	v ~x5790 ~x4499 ~x5738 ~x4437 ~x162 ~x1970 ~x2039 ~x1461 ~x5715 ~x4378 
169.94/170.46	v ~x5722 ~x4455 ~x148 ~x1960 ~x2053 ~x1469 ~x5701 ~x4362 ~x5706 ~x4470 
169.94/170.46	v ~x84 ~x1945 ~x2070 ~x1484 ~x5757 ~x4347 ~x5678 ~x4620 ~x66 ~x1929 
169.94/170.46	v ~x2083 ~x1388 ~x5740 x5853 ~x5660 ~x4605 ~x108 ~x2055 ~x2095 ~x1398 
169.94/170.46	v ~x5378 ~x5879 ~x5641 ~x4646 ~x95 ~x2071 ~x2337 ~x1416 ~x5396 ~x5893 
169.94/170.46	v ~x5623 ~x4659 ~x5813 ~x2015 ~x2326 ~x1430 ~x5411 ~x6033 ~x5610 ~x4644 
169.94/170.46	v ~x5695 x2033 ~x2314 ~x1325 ~x5431 ~x5403 ~x7020 ~x4691 ~x5712 ~x1987 
169.94/170.46	v ~x2307 ~x1347 ~x5288 ~x5339 ~x7054 ~x4672 ~x5726 ~x2000 ~x2383 ~x1361 
169.94/170.46	v ~x5313 ~x5361 ~x7042 ~x4016 ~x5742 ~x2358 ~x2369 ~x1369 ~x5330 ~x5294 
169.94/170.46	v ~x5537 ~x4164 ~x5759 ~x2343 ~x2356 ~x1765 ~x5349 ~x6773 ~x5553 ~x4146 
169.94/170.46	v ~x5624 ~x2471 ~x2345 ~x1751 ~x5513 ~x6794 ~x5511 ~x4131 ~x5642 ~x2483 
169.94/170.46	v ~x2259 ~x1791 ~x5526 ~x6811 ~x5524 ~x4113 ~x6281 ~x2495 ~x2249 ~x1776 
169.94/170.46	v ~x5541 ~x6825 ~x5483 ~x4107 ~x6234 ~x2505 ~x2238 ~x1696 ~x5555 ~x6714 
169.94/170.46	v ~x5496 ~x4087 ~x6251 ~x2408 ~x2213 ~x1679 ~x5459 ~x6324 ~x5446 ~x4070 
169.94/170.46	v ~x6208 ~x2425 ~x2298 ~x1736 ~x6024 ~x6343 ~x5465 ~x4051 ~x6217 ~x2441 
169.94/170.46	v ~x2284 ~x1715 ~x6019 ~x6297 ~x5414 ~x6043 ~x6228 ~x2459 ~x2276 ~x1617 
169.94/170.46	v ~x5970 ~x323 ~x5435 ~x6110 ~x6180 ~x1153 ~x2266 ~x1159 ~x5986 ~x308 
169.94/170.46	v ~x5385 x1452 ~x6198 ~x1138 ~x2544 ~x1167 ~x5656 ~x283 ~x5401 ~x1030 
169.94/170.46	v ~x6392 ~x1251 ~x2558 ~x1146 ~x5638 ~x262 ~x5340 ~x602 ~x6657 ~x1232 
169.94/170.46	v ~x2514 ~x1130 ~x5694 ~x758 ~x5367 ~x81 ~x6671 ~x1219 ~x2530 ~x1121 
169.94/170.46	v ~x5673 ~x739 ~x5303 ~x3028 ~x6687 ~x1202 ~x2599 ~x1105 ~x5590 ~x776 
169.94/170.46	v ~x5321 ~x2750 ~x6704 ~x1313 ~x2615 ~x1095 ~x5575 ~x767 ~x5308 ~x2303 
169.94/170.46	v ~x6689 ~x1299 ~x2568 ~x1080 ~x5615 ~x1287 ~x5820 ~x3537 ~x6709 ~x1624 
169.94/170.46	v ~x2582 ~x1501 ~x5605 ~x1274 ~x5802 ~x7107 ~x6720 ~x1607 ~x2432 ~x1513 
169.94/170.46	v ~x5776 ~x1116 ~x5787 x6693 ~x6849 ~x1661 ~x2452 ~x1527 ~x5763 ~x1107 
169.94/170.46	v ~x5773 ~x6372 ~x6837 ~x1645 ~x2399 ~x1538 ~x5806 ~x1757 ~x5754 ~x5833 
169.94/170.46	v ~x6823 ~x1685 ~x2406 ~x1445 ~x5791 ~x1743 ~x5737 ~x5375 ~x7098 ~x1667 
169.94/170.46	v ~x2422 ~x1462 ~x5716 ~x1783 ~x5721 ~x1318 ~x7110 ~x1719 ~x2493 ~x1470 
169.94/170.46	v ~x5702 ~x1775 ~x5705 ~x1588 ~x7069 ~x1698 ~x2506 ~x1485 ~x5758 ~x2054 
169.94/170.46	v ~x5677 ~x365 ~x7066 ~x3053 ~x2473 ~x1389 ~x5741 ~x2068 ~x5659 ~x2692 
169.94/170.46	v ~x7081 ~x3042 ~x2484 ~x1399 ~x5379 ~x2019 ~x5640 ~x2687 ~x3490 ~x3033 
169.94/170.46	v ~x2766 ~x1417 ~x5397 ~x2036 ~x5622 ~x2677 ~x3373 ~x3020 ~x2754 ~x1431 
169.94/170.46	v ~x5412 ~x2472 ~x5609 ~x2669 ~x3387 ~x2861 ~x2787 ~x1326 ~x5432 ~x2486 
169.94/170.46	v ~x5596 ~x3021 x3405 ~x2870 ~x2776 ~x1348 ~x5289 ~x2492 ~x5587 ~x3056 
169.94/170.46	v ~x3420 ~x2709 ~x2716 ~x1362 ~x5314 x2508 ~x5571 ~x3047 ~x3585 ~x2695 
169.94/170.46	v ~x2703 ~x1370 ~x5331 ~x2767 ~x6032 ~x2992 ~x3563 ~x2430 ~x2740 ~x1766 
169.94/170.46	v ~x5350 ~x2752 ~x6045 ~x27 ~x3571 ~x2449 ~x2727 ~x1752 ~x5514 ~x2810 
169.94/170.46	v ~x6056 ~x96 ~x4027 ~x2402 ~x2662 ~x1792 ~x5527 ~x2822 ~x6067 ~x106 
169.94/170.46	v ~x3982 ~x2418 ~x2653 ~x1777 ~x5542 ~x3077 ~x5973 ~x67 ~x3995 ~x2092 
169.94/170.46	v ~x2686 ~x1697 ~x5556 ~x3068 ~x5988 ~x492 ~x3956 ~x2091 ~x2678 ~x1680 
169.94/170.46	v ~x5460 ~x3091 ~x6000 ~x504 ~x3973 ~x1980 ~x2630 ~x1737 ~x5448 ~x3084 
169.94/170.46	v ~x6014 ~x516 ~x3922 ~x1993 ~x2623 ~x1716 ~x5467 ~x3599 ~x5908 ~x536 
169.94/170.46	v ~x3937 ~x5629 ~x2652 ~x1618 ~x5481 ~x3614 ~x5926 ~x1212 ~x4155 ~x5692 
169.94/170.46	v ~x2642 ~x1634 ~x5495 ~x3503 ~x5950 ~x945 ~x4433 ~x5684 ~x2914 ~x1615 
169.94/170.46	v ~x1442 ~x3519 ~x5965 ~x956 ~x4443 ~x5662 ~x2929 ~x1663 ~x1453 ~x5005 
169.94/170.46	v ~x5837 ~x930 ~x4458 ~x6175 ~x2935 ~x1647 ~x1466 x4991 ~x5856 ~x1677 
169.94/170.46	v ~x4472 ~x6172 ~x2943 ~x1570 ~x1478 ~x5034 ~x5871 ~x1728 ~x4489 ~x6153 
169.94/170.46	v ~x2879 ~x1559 ~x1494 ~x5018 ~x5867 ~x1706 ~x4500 ~x6146 ~x2886 ~x1600 
169.94/170.46	v ~x1511 ~x4600 ~x5888 ~x1384 ~x4515 ~x6713 ~x2895 ~x1586 ~x1525 ~x4628 
169.94/170.46	v ~x6262 ~x5346 ~x4528 ~x6752 ~x2904 ~x154 ~x1539 ~x4576 ~x6244 ~x5377 
169.94/170.46	v ~x4921 ~x6739 ~x2838 ~x176 ~x1341 ~x4594 ~x6290 ~x5394 ~x4868 ~x6559 
169.94/170.46	v ~x2849 ~x127 ~x1356 ~x4463 ~x6274 x5413 ~x4890 ~x7071 x5066 ~x141 
169.94/170.46	v ~x1368 ~x4447 ~x6201 ~x5886 ~x4954 ~x7158 ~x5051 ~x210 ~x1375 ~x4560 
169.94/170.46	v ~x6185 ~x5831 ~x4968 ~x7145 ~x5284 ~x218 ~x1382 ~x4544 ~x6226 ~x5851 
169.94/170.46	v ~x4922 x7134 ~x5269 ~x184 ~x1400 ~x4524 ~x6213 ~x5929 ~x4937 ~x3584 
169.94/170.46	v ~x5260 ~x194 ~x1418 ~x4507 ~x6140 ~x6468 ~x5015 ~x3598 ~x5247 ~x44 
169.94/170.46	v ~x1429 ~x4106 ~x6129 ~x6374 ~x3551 ~x3619 ~x5226 ~x56 ~x1688 ~x4122 
169.94/170.46	v ~x6164 ~x6388 ~x3532 ~x3502 ~x5207 ~x17 ~x1674 ~x3992 ~x5621 ~x6400 
169.94/170.46	v ~x3440 ~x4840 ~x5190 ~x29 ~x1726 ~x3979 ~x5608 ~x6308 ~x3450 ~x5499 
169.94/170.46	v ~x5175 ~x101 ~x1710 ~x4026 ~x5595 ~x6358 ~x3469 ~x6016 ~x4896 ~x116 
169.94/170.46	v ~x1762 ~x4007 ~x5586 ~x6325 ~x3486 ~x6348 ~x4911 ~x73 ~x1750 ~x3927 
169.94/170.46	v ~x5570 ~x6501 ~x3376 x6804 ~x4869 ~x88 ~x1793 ~x3909 ~x6031 ~x6485 
169.94/170.46	v ~x3391 ~x376 ~x4887 ~x403 ~x1778 ~x3959 ~x6044 ~x6544 ~x3379 ~x797 
169.94/170.46	v ~x4841 ~x392 ~x1563 ~x3958 ~x6055 ~x6526 ~x3398 ~x899 ~x4855 ~x382 
169.94/170.46	v ~x1554 ~x3262 ~x6066 ~x6445 ~x3414 ~x1353 ~x4584 ~x372 ~x1592 ~x3245 
169.94/170.46	v ~x5972 ~x6429 ~x3311 ~x3891 ~x4566 ~x454 ~x3618 ~x3475 ~x5987 ~x6472 
169.94/170.46	v ~x3325 ~x3842 ~x4615 ~x442 ~x3558 ~x3458 ~x5999 ~x6459 ~x3345 ~x3861 
169.94/170.46	v ~x4601 ~x428 ~x3583 ~x3443 ~x6013 ~x6594 ~x3362 ~x3802 ~x4769 ~x1714 
169.94/170.46	v ~x3535 ~x3429 ~x5907 ~x6607 ~x3240 ~x3819 ~x4754 ~x1616 ~x3545 ~x3419 
169.94/170.46	v ~x5925 ~x6617 ~x3257 ~x3767 ~x4797 ~x1633 ~x3493 ~x3403 ~x5949 ~x6633 
169.94/170.46	v ~x3279 ~x3786 ~x4781 ~x1614 ~x3509 ~x2894 ~x5964 ~x6553 ~x3294 ~x4301 
169.94/170.46	v ~x4716 ~x1662 ~x6753 ~x2903 ~x5836 ~x6829 ~x4310 ~x4550 ~x4702 ~x1646 
169.94/170.46	v ~x6771 ~x2875 ~x5855 ~x6813 ~x4286 ~x4328 ~x4744 ~x1569 ~x6788 ~x2883 
169.94/170.46	v ~x5870 ~x6800 ~x4267 ~x4344 ~x4729 ~x1558 ~x6803 ~x2863 ~x5866 ~x6778 
169.94/170.46	v x4248 ~x4358 ~x4380 ~x1599 ~x6824 ~x2871 ~x5887 ~x6759 ~x4226 ~x4372 
169.94/170.46	v ~x4403 ~x1585 ~x6827 ~x2842 ~x6261 ~x6959 ~x4222 ~x4389 ~x4417 ~x153 
169.94/170.46	v ~x6838 ~x2852 ~x6243 ~x6945 ~x4201 ~x4402 ~x4431 ~x175 ~x6850 ~x3216 
169.94/170.46	v ~x6289 ~x6929 ~x4186 ~x4416 ~x4063 ~x126 ~x6860 ~x3225 ~x6273 ~x6919 
169.94/170.46	v ~x4156 ~x5032 ~x4045 ~x140 ~x6873 ~x3161 ~x6200 ~x6911 ~x4138 ~x4985 
169.94/170.46	v ~x4170 ~x209 ~x6882 ~x3170 ~x6184 ~x6898 ~x4123 ~x5000 ~x4153 ~x217 
169.94/170.46	v ~x6891 ~x3177 ~x6225 ~x6885 ~x4104 ~x4837 ~x4133 ~x183 ~x6903 ~x3188 
169.94/170.46	v ~x6212 ~x6875 ~x4091 ~x4854 ~x4115 ~x193 ~x6915 ~x3138 ~x6139 ~x7039 
169.94/170.46	v ~x4090 ~x4814 ~x4229 ~x43 ~x6927 ~x3143 ~x6128 ~x7052 ~x4071 ~x4826 
169.94/170.46	v ~x4211 ~x55 ~x6944 ~x2125 ~x6163 ~x7019 ~x4052 ~x4905 ~x4196 ~x16 
169.94/170.46	v ~x6957 ~x2136 ~x6148 ~x398 ~x4036 ~x5419 ~x4178 ~x28 ~x6985 ~x2105 
169.94/170.46	v ~x6089 ~x366 ~x4014 ~x5320 ~x4304 ~x100 ~x6975 ~x2117 ~x6078 ~x378 
169.94/170.46	v ~x4031 ~x5305 ~x4283 ~x115 ~x7005 ~x2190 ~x6121 ~x447 ~x3983 ~x5365 
169.94/170.46	v ~x4261 ~x72 ~x6994 ~x2206 ~x6111 ~x466 ~x3996 ~x5342 ~x4240 ~x87 
169.94/170.46	v ~x7027 ~x2152 ~x4376 ~x417 ~x3953 ~x5522 ~x3801 ~x402 ~x7015 ~x2172 
169.94/170.46	v ~x4359 ~x435 ~x3946 ~x5509 ~x3820 ~x391 ~x7047 ~x2294 ~x4349 ~x269 
169.94/170.46	v ~x3963 ~x5552 ~x3524 ~x381 ~x7036 ~x2281 ~x4333 ~x291 ~x3915 ~x5945 
169.94/170.46	v ~x3508 ~x371 ~x7087 ~x2518 ~x4430 ~x233 ~x3931 ~x5921 ~x3556 ~x453 
169.94/170.46	v ~x7072 ~x2527 ~x4413 ~x248 ~x3884 ~x5904 ~x3539 ~x441 ~x7114 ~x2539 
169.94/170.46	v ~x4401 ~x333 ~x3900 ~x5889 ~x3591 ~x427 ~x7102 ~x2555 ~x4388 ~x350 
169.94/170.46	v ~x3847 ~x5872 ~x3570 ~x410 ~x7136 ~x2574 ~x4483 ~x307 ~x3864 ~x5857 
169.94/170.46	v ~x3626 ~x421 ~x7123 ~x2587 ~x4467 ~x328 ~x3807 ~x5838 ~x3612 ~x289 
169.94/170.46	v ~x7163 ~x998 ~x4454 ~x172 ~x3822 ~x6069 ~x3652 ~x267 ~x7149 ~x1015 
169.94/170.46	v ~x4440 ~x74 ~x3776 ~x6190 ~x3634 ~x244 ~x6333 ~x975 ~x4549 ~x793 
169.94/170.46	v ~x3791 ~x6317 ~x3685 ~x228 ~x6352 ~x987 ~x4531 ~x805 ~x4709 ~x6302 
169.94/170.46	v ~x3669 ~x352 ~x6299 ~x1176 ~x4533 ~x812 ~x4697 ~x6347 ~x3718 ~x340 
169.94/170.46	v ~x6314 ~x1160 ~x4521 ~x819 ~x4743 ~x6327 ~x3702 ~x322 ~x6319 ~x1143 
169.94/170.46	v ~x4506 ~x834 ~x4725 ~x6380 ~x3753 ~x301 ~x6403 ~x1127 ~x4606 ~x847 
169.94/170.46	v ~x4760 ~x6366 ~x3738 ~x579 ~x6415 ~x235 ~x4619 x860 ~x4748 ~x6410 
169.94/170.46	v ~x3459 ~x594 x6375 ~x252 ~x4570 ~x873 ~x4787 ~x6724 ~x3474 ~x611 
169.94/170.46	v ~x6389 ~x273 ~x4588 ~x675 ~x4770 ~x6737 ~x7140 ~x625 ~x6452 ~x292 
169.94/170.46	v ~x4661 ~x689 ~x4593 ~x6748 ~x7152 ~x638 ~x6463 ~x416 ~x4683 ~x700 
169.94/170.46	v ~x4574 ~x6806 ~x7117 ~x649 ~x6419 ~x434 ~x4633 ~x720 ~x4627 ~x6790 
169.94/170.46	v ~x7127 ~x662 ~x6442 ~x451 ~x4650 ~x738 ~x4626 ~x6776 ~x7097 ~x667 
169.94/170.46	v ~x6509 ~x467 ~x4728 ~x750 ~x4614 ~x6761 ~x7109 ~x476 ~x6528 ~x1562 
169.94/170.46	v ~x111 ~x766 ~x4660 ~x6856 ~x7063 ~x490 ~x6475 ~x1572 x3043 ~x532 
169.94/170.46	v ~x4643 ~x7086 ~x7078 ~x506 ~x6490 ~x1644 ~x2710 ~x567 ~x4689 ~x7151 
169.94/170.46	v ~x7045 ~x520 ~x6589 ~x1660 ~x2230 ~x556 ~x4673 ~x7162 ~x7058 ~x534 
169.94/170.46	v ~x6579 ~x1609 ~x1819 ~x1305 ~x4441 ~x7125 ~x7024 ~x545 ~x6570 ~x1626 
169.94/170.46	v ~x5201 ~x1321 ~x4457 ~x7139 ~x7035 ~x553 ~x6545 ~x1704 ~x4720 ~x1276 
169.94/170.46	v ~x4468 ~x452 ~x6993 ~x572 ~x6637 ~x1720 ~x4400 ~x1291 ~x4482 ~x464 
169.94/170.46	v ~x7006 ~x801 ~x6621 ~x1076 ~x3785 ~x1230 ~x4497 ~x419 ~x6789 ~x788 
169.94/170.46	v ~x6608 ~x1088 ~x1401 ~x1250 ~x4502 ~x94 ~x6802 ~x818 ~x7037 ~x1101 
169.94/170.46	v ~x1387 ~x1195 ~x4517 ~x82 ~x6785 ~x810 ~x7088 ~x1115 ~x5735 ~x1215 
169.94/170.46	v ~x4537 ~x64 ~x6770 ~x843 ~x7073 ~x1134 ~x5751 ~x1173 ~x4553 ~x49 
169.94/170.46	v ~x6708 ~x440 ~x7115 ~x1151 ~x6269 ~x1190 ~x4327 ~x35 ~x6719 ~x426 
169.94/170.46	v ~x7103 ~x1175 ~x6284 ~x1132 ~x4342 ~x23 ~x6733 ~x409 ~x7137 ~x1188 
169.94/170.46	v x6684 ~x1148 ~x4352 ~x7 ~x6744 ~x420 ~x7124 ~x1062 ~x6700 ~x1106 
169.94/170.46	v ~x4364 x836 ~x6648 ~x288 ~x7164 ~x1048 ~x6861 ~x922 ~x4384 ~x3485 
169.94/170.46	v ~x6666 ~x266 ~x7150 ~x2613 ~x6848 ~x915 ~x4395 ~x3471 ~x6675 ~x243 
169.94/170.46	v ~x6334 ~x2597 ~x3397 ~x907 ~x4411 ~x3468 ~x6692 ~x227 ~x6353 ~x2579 
169.94/170.46	v ~x3415 ~x893 ~x4426 ~x3378 ~x6598 ~x351 ~x6300 ~x2566 ~x4004 ~x880 
169.94/170.46	v ~x5228 ~x4975 ~x6613 ~x339 ~x6315 ~x2548 ~x4018 ~x1754 ~x5212 ~x4959 
169.94/170.46	v ~x6625 ~x321 ~x6320 ~x2532 ~x4480 ~x1767 ~x5195 ~x4940 ~x6640 ~x300 
169.94/170.46	v ~x6404 ~x2241 ~x4495 ~x1770 ~x5167 ~x4946 ~x6394 ~x578 ~x6416 ~x2252 
169.94/170.46	v ~x4901 ~x1787 ~x5281 ~x4435 ~x6312 ~x593 ~x6376 ~x2219 ~x4913 ~x1669 
169.94/170.46	v ~x5265 ~x4415 ~x6321 ~x610 ~x6390 ~x2231 ~x456 ~x1683 ~x5252 ~x4456 
169.94/170.46	v ~x6304 ~x624 ~x6453 ~x2163 ~x444 ~x1703 ~x5242 ~x4442 ~x6355 ~x637 
169.94/170.46	v ~x6464 ~x2145 ~x422 ~x1723 ~x5097 ~x2147 ~x6336 ~x648 ~x6420 ~x2196 
169.94/170.46	v ~x408 ~x1608 ~x5098 ~x2161 ~x6216 ~x661 ~x6443 ~x2179 ~x295 ~x1629 
169.94/170.46	v ~x5084 x2178 ~x6230 ~x666 ~x6510 ~x1872 ~x275 ~x1648 ~x5073 ~x2195 
169.94/170.46	v ~x6182 ~x475 ~x6529 ~x1881 ~x259 ~x1385 ~x5058 ~x2509 ~x6197 ~x489 
169.94/170.46	v ~x6476 ~x1796 ~x242 ~x1426 ~x5161 ~x2520 ~x6272 ~x505 ~x6491 ~x1818 
169.94/170.46	v ~x3149 ~x1411 ~x5144 ~x2595 ~x6288 ~x519 ~x6590 ~x1837 ~x3156 ~x1349 
169.94/170.46	v ~x5126 ~x2612 ~x6246 ~x533 ~x6580 ~x1851 ~x3102 ~x1324 ~x5113 ~x2921 
169.94/170.46	v ~x6260 ~x544 ~x6571 ~x3195 ~x3116 ~x1371 ~x4960 ~x2933 ~x6105 ~x552 
169.94/170.46	v ~x6546 ~x3182 ~x3121 ~x1363 ~x4973 ~x2942 ~x6116 ~x571 ~x6638 ~x2971 
169.94/170.46	v ~x3133 ~x2025 ~x4925 ~x2954 ~x5876 ~x800 ~x6622 ~x2975 ~x3200 ~x2018 
169.94/170.46	v ~x4931 ~x2648 ~x5860 ~x787 ~x6609 ~x2958 ~x3207 ~x2006 ~x4949 ~x2636 
169.94/170.46	v ~x5841 ~x817 ~x6596 ~x2965 ~x2860 ~x1992 ~x5023 ~x3218 ~x5826 ~x809 
169.94/170.46	v ~x6696 ~x2998 ~x2874 ~x2093 ~x5041 ~x3226 ~x5959 ~x842 ~x6680 ~x3009 
169.94/170.46	v ~x2840 ~x2081 ~x4994 ~x2973 ~x5939 ~x830 ~x6669 ~x2977 ~x2851 ~x2067 
169.94/170.46	v ~x5009 ~x2968 ~x5915 ~x870 ~x6655 ~x2989 ~x2815 ~x2050 ~x4831 ~x2964 
169.94/170.46	v ~x5903 ~x872 ~x6746 ~x2771 ~x2825 ~x2135 ~x4847 ~x2957 ~x5709 ~x858 
169.94/170.46	v ~x6735 ~x2781 ~x2799 ~x1862 ~x4809 ~x149 ~x5725 ~x693 ~x6722 ~x2626 
169.94/170.46	v ~x2807 ~x1912 ~x4824 ~x169 ~x5743 ~x681 ~x6711 ~x2633 ~x2385 ~x1921 
169.94/170.46	v ~x4891 ~x185 ~x5756 ~x727 ~x5905 ~x2643 ~x2373 ~x1892 ~x4908 ~x195 
169.94/170.46	v ~x5772 ~x710 ~x5923 ~x2647 ~x2395 ~x1902 ~x4861 ~x6654 ~x5789 ~x752 
169.94/170.46	v ~x5940 ~x2654 ~x2412 ~x1965 ~x4877 ~x6751 ~x5801 ~x737 ~x5937 x2664 
169.94/170.46	v ~x2427 ~x1976 ~x3664 ~x6738 ~x5819 ~x781 ~x5955 ~x4064 ~x2444 ~x1940 
169.94/170.46	v ~x3645 ~x6725 ~x5539 ~x769 ~x5824 ~x4048 ~x2465 ~x1953 ~x3684 ~x7076 
169.94/170.46	v ~x5317 ~x3936 ~x5847 ~x4099 ~x2478 ~x2420 ~x3670 ~x7116 ~x5297 ~x3920 
169.94/170.46	v ~x5862 ~x4082 ~x1979 ~x2403 ~x3717 ~x7104 ~x5359 ~x3969 ~x5881 ~x4265 
169.94/170.46	v ~x1966 ~x2457 ~x3701 ~x7133 ~x5353 ~x3952 ~x6041 ~x4241 ~x1951 ~x2439 
169.94/170.46	v ~x3754 ~x3663 ~x5334 ~x3999 ~x6052 ~x4316 ~x1938 ~x2485 ~x3755 ~x3600 
169.94/170.46	v ~x5391 ~x3985 ~x6059 ~x4300 ~x2013 ~x2474 ~x3734 ~x3615 ~x5372 ~x4020 
169.94/170.46	v ~x6072 ~x5478 ~x2030 ~x2507 ~x3520 ~x3559 ~x5429 ~x4003 ~x5978 ~x5464 
169.94/170.46	v ~x1985 ~x2274 ~x3505 ~x4200 ~x5407 ~x3798 ~x5993 ~x5507 ~x1998 ~x2286 
169.94/170.46	v ~x3553 ~x4216 ~x1397 ~x3780 ~x6007 ~x5493 ~x4569 ~x2293 ~x3538 ~x4234 
169.94/170.46	v ~x1381 ~x3832 ~x6029 ~x6147 ~x4587 ~x2312 ~x3590 ~x4108 ~x1432 ~x3813 
169.94/170.46	v ~x6137 ~x6152 ~x4662 ~x2322 ~x3573 ~x4704 ~x1413 ~x3863 ~x6125 ~x6167 
169.94/170.46	v ~x4679 x1 ~x2329 ~x3627 ~x4774 ~x1344 ~x3846 ~x6170 ~x6130 ~x4634 
169.94/170.46	v x2 ~x2341 ~x3605 ~x4792 ~x1329 ~x3902 ~x6156 ~x6054 ~x4648 x3 
169.94/170.46	v ~x2349 ~x3370 x4752 ~x7082 ~x3887 ~x6099 ~x6038 ~x4490 x4 ~x2363 
169.94/170.46	v ~x3384 ~x5210 ~x6614 ~x4172 ~x6623 ~x6026 ~x4474 x5 ~x2376 ~x3390 
169.94/170.46	v ~x5199 x6091 ~x4190 ~x6610 ~x6006 ~x5049 x6 ~x2384 ~x3406 ~x5220 
169.94/170.46	v ~x5643 ~x4208 ~x6597 ~x5989 ~x5061 x8 ~x2868 ~x3423 ~x5237 ~x5182 
169.94/170.46	v ~x808 ~x6697 ~x5975 ~x5080 x10 ~x2859 ~x3442 ~x2227 ~x4906 ~x841 
169.94/170.46	v ~x6681 ~x5974 ~x5094 x11 ~x2847 ~x3456 ~x2215 ~x4412 ~x829 ~x6670 
169.94/170.46	v ~x1541 ~x5107 ~x2835 ~x3473 ~x2217 ~x3871 ~x869 ~x6656 ~x1637 ~x5120 
169.94/170.46	v ~x5723 ~x2820 ~x3489 ~x2256 ~x3338 ~x871 ~x6747 ~x1652 ~x5134 ~x5704 
169.94/170.46	v ~x482 ~x3231 ~x45 ~x857 ~x6736 ~x1601 ~x5149 ~x5752 ~x495 ~x3249 
169.94/170.46	v ~x57 ~x692 ~x6723 ~x1621 ~x3633 ~x2600 ~x5736 ~x510 ~x3267 ~x22 
169.94/170.46	v ~x680 ~x6712 ~x1576 ~x3651 ~x2617 ~x527 ~x3281 ~x33 ~x726 ~x5906 
169.94/170.46	v ~x1589 x3609 ~x1839 ~x537 ~x3296 ~x433 ~x7085 ~x709 ~x5924 ~x1555 
169.94/170.46	v ~x3630 ~x1850 ~x548 ~x3314 ~x415 ~x7067 ~x751 ~x5941 ~x1560 ~x3576 
169.94/170.46	v ~x2191 ~x562 ~x3329 ~x1386 ~x7156 ~x736 ~x5938 ~x1239 ~x3594 ~x2208 
169.94/170.46	v ~x1312 ~x3352 ~x1396 ~x7144 ~x780 ~x5956 ~x1259 ~x3540 ~x2160 ~x982 
169.94/170.46	v ~x4235 ~x1689 ~x6660 ~x768 ~x5825 ~x1128 ~x3555 ~x2176 ~x954 ~x4214 
169.94/170.46	v ~x1676 ~x6645 ~x3935 ~x5848 ~x1144 ~x4177 ~x2339 ~x960 ~x4193 ~x1727 
169.94/170.46	v ~x6691 ~x3919 ~x5863 ~x1161 ~x4195 ~x2328 ~x934 ~x4175 ~x1711 ~x6674 
169.94/170.46	v ~x3968 ~x5882 ~x1182 ~x4213 ~x2318 ~x943 ~x4302 ~x1292 ~x202 ~x3951 
169.94/170.46	v ~x6042 ~x1068 ~x4230 ~x2309 ~x910 ~x4303 ~x1277 ~x214 ~x3998 ~x6053 
169.94/170.46	v ~x1081 ~x4112 ~x4696 ~x921 ~x4282 ~x1264 ~x19 ~x3984 ~x6060 ~x850 
169.94/170.46	v ~x4130 ~x4712 ~x886 ~x4264 ~x1246 ~x34 ~x4019 ~x6073 ~x868 ~x4149 
169.94/170.46	v ~x4669 ~x1457 ~x4242 ~x2401 ~x654 ~x4002 ~x5979 x831 ~x4167 ~x4684 
169.94/170.46	v ~x1473 ~x4098 ~x2419 ~x669 ~x3797 ~x5994 ~x840 ~x3690 ~x5176 ~x1486 
169.94/170.46	v ~x4079 ~x2434 ~x630 ~x3779 ~x6008 ~x713 ~x3674 ~x5196 ~x1390 ~x4061 
169.94/170.46	v ~x2453 ~x641 ~x3831 ~x6030 ~x729 ~x3657 ~x5213 ~x1403 ~x4043 ~x2157 
169.94/170.46	v ~x1051 ~x3812 ~x6138 ~x686 ~x3638 ~x5229 ~x1419 ~x4169 ~x2175 ~x1067 
169.94/170.46	v ~x3862 ~x6126 ~x699 ~x5230 ~x3635 ~x1437 ~x4151 ~x2011 ~x3845 ~x6171 
169.94/170.46	v ~x390 ~x5211 ~x3653 ~x1335 ~x4136 ~x2023 ~x3901 ~x6157 ~x397 ~x5254 
169.94/170.46	v ~x3729 ~x974 ~x6155 ~x4116 ~x3158 ~x3886 ~x6100 ~x407 ~x5243 x3752 
169.94/170.46	v ~x986 ~x6095 ~x3945 ~x3166 ~x4171 ~x6085 ~x429 ~x4741 ~x4176 ~x1529 
169.94/170.46	v ~x6082 ~x3955 ~x3174 ~x4189 ~x6119 ~x439 ~x4726 ~x4194 x1543 ~x6117 
169.94/170.46	v ~x3971 ~x3185 ~x4207 ~x6107 ~x455 ~x4710 ~x4215 ~x1504 ~x6106 ~x3923 
169.94/170.46	v ~x2922 ~x4224 ~x6256 ~x238 ~x4700 ~x4227 ~x1519 ~x6252 ~x3939 ~x2923 
169.94/170.46	v ~x4246 ~x6240 ~x255 ~x2308 ~x6426 ~x2189 ~x6237 ~x4011 ~x2896 ~x4269 
169.94/170.46	v ~x6279 ~x3157 ~x2317 ~x6438 ~x2202 ~x6278 ~x4028 ~x2906 ~x4272 ~x6267 
169.94/170.46	v ~x3151 ~x2282 ~x6639 ~x1811 ~x5668 ~x3981 ~x3353 ~x4294 ~x6194 ~x3144 
169.94/170.46	v ~x2300 ~x6624 ~x1797 ~x5650 ~x3993 x3333 ~x4313 ~x6176 ~x3139 ~x1887 
169.94/170.46	v ~x6865 ~x2588 ~x5630 ~x3800 ~x3327 x4038 ~x6223 ~x3131 ~x1906 ~x6878 
169.94/170.46	v ~x2620 ~x5613 ~x3816 ~x3312 ~x4059 ~x6210 ~x3120 ~x1913 ~x6889 ~x2570 
169.94/170.46	v ~x5599 ~x3769 ~x303 ~x4073 ~x5422 ~x3112 ~x1924 ~x6902 ~x2584 ~x5591 
169.94/170.46	v ~x3787 ~x318 ~x4089 ~x5444 ~x3106 ~x3029 ~x5456 ~x2497 ~x5576 ~x3877 
169.94/170.46	v ~x268 ~x4103 ~x5424 ~x2722 ~x3037 ~x5476 ~x2463 ~x5804 ~x3894 x285 
169.94/170.46	v ~x4125 ~x5370 ~x2734 ~x3082 ~x5548 ~x2476 ~x6956 ~x3837 ~x229 ~x4144 
169.94/170.46	v ~x5392 ~x2848 ~x3087 ~x5561 ~x2433 ~x6984 ~x3857 ~x247 ~x4163 ~x5332 
169.94/170.46	v ~x2837 ~x2700 ~x5980 ~x2454 ~x6974 ~x4764 ~x223 ~x3427 ~x5354 ~x2872 
169.94/170.46	v ~x2713 ~x5995 ~x2400 ~x7002 ~x4756 ~x206 ~x3409 ~x5290 ~x2862 ~x2728 
169.94/170.46	v ~x6011 ~x2414 ~x6990 ~x4794 ~x1561 ~x3393 ~x5311 ~x2808 ~x2731 ~x6028 
169.94/170.46	v ~x2602 ~x7026 ~x4795 ~x1571 ~x3375 ~x5543 ~x2798 ~x2866 ~x1840 ~x1911 
169.94/170.46	v ~x7012 ~x4777 ~x1581 ~x3484 ~x5559 ~x2372 ~x2853 ~x2391 ~x2046 ~x7049 
169.94/170.46	v ~x4715 ~x1596 ~x3466 ~x5517 ~x2389 ~x561 ~x2730 ~x2063 ~x6532 ~x4701 
169.94/170.46	v ~x1613 ~x3449 ~x5534 ~x2350 ~x547 ~x3088 ~x2080 ~x6474 ~x4745 ~x1631 
169.94/170.46	v ~x3434 ~x5489 ~x2364 ~x815 ~x46 ~x2090 ~x6507 ~x4730 ~x1650 ~x3286 
169.94/170.46	v ~x5505 ~x2450 ~x826 ~x867 ~x1981 ~x6583 ~x4653 ~x1665 ~x3271 ~x5453 
169.94/170.46	v ~x2428 ~x796 ~x1258 ~x1994 ~x6572 ~x4636 ~x1281 ~x3253 ~x5471 ~x2410 
169.94/170.46	v x807 ~x1794 ~x2008 ~x6558 ~x4682 ~x1283 ~x3239 ~x5682 ~x2392 ~x848 
169.94/170.46	v x5292 ~x3078 ~x6547 ~x4667 ~x1110 ~x3361 ~x5669 ~x6904 ~x851 ~x2169 
169.94/170.46	v ~x3075 ~x6635 ~x4583 ~x1122 ~x3343 ~x5651 ~x3344 ~x864 ~x2156 ~x3881 
169.94/170.46	v ~x4564 ~x1078 ~x3318 ~x6158 x3942 ~x789 ~x2201 ~x3065 ~x3796 ~x4616 
169.94/170.46	v ~x1096 ~x3305 ~x6101 ~x4541 ~x802 ~x2188 ~x3117 ~x3778 ~x4603 ~x1163 
169.94/170.46	v ~x3673 ~x6086 ~x4966 ~x811 ~x2121 ~x3126 x3818 ~x4611 ~x1184 ~x4188 
169.94/170.46	v ~x6120 ~x2413 ~x820 ~x2111 ~x3099 ~x3803 ~x4498 ~x2411 ~x4206 ~x6108 
169.94/170.46	v ~x1939 ~x109 ~x2100 ~x3110 ~x4260 ~x4514 ~x2394 ~x4223 ~x6257 ~x3022 
169.94/170.46	v ~x249 ~x2134 ~x3152 ~x4280 ~x4529 ~x2458 ~x4245 ~x6241 ~x2741 ~x450 
169.94/170.46	v ~x1824 ~x2765 ~x4299 ~x4545 ~x2440 ~x4268 ~x6280 ~x1414 ~x460 ~x1843 
169.94/170.46	v ~x2753 ~x3347 ~x4444 ~x2578 ~x4271 ~x6268 ~x42 ~x414 ~x3189 ~x2743 
169.94/170.46	v ~x3322 ~x4459 ~x2563 ~x4293 ~x6195 ~x651 ~x432 ~x3178 ~x2779 ~x3310 
169.94/170.46	v ~x4471 ~x2609 ~x4312 ~x6177 ~x6569 ~x389 ~x3169 ~x2768 ~x3284 ~x4487 
169.94/170.46	v ~x2594 ~x4037 ~x6224 ~x7033 ~x399 ~x3160 ~x2801 ~x3264 ~x4387 ~x2062 
169.94/170.46	v ~x4058 ~x6211 ~x5588 ~x367 ~x3163 ~x2809 ~x3250 ~x4399 ~x2045 ~x4072 
169.94/170.46	v ~x5423 ~x5540 ~x1625 ~x3227 ~x2816 ~x3233 ~x4418 ~x2026 ~x4088 ~x5445 
169.94/170.46	v ~x6065 ~x1641 ~x3008 ~x528 ~x3736 ~x4432 ~x2017 ~x4102 ~x5425 x4429 
169.94/170.46	v ~x1659 ~x3017 ~x541 ~x2890 ~x4332 ~x2002 ~x4124 ~x5371 ~x5734 ~x1670 
169.94/170.46	v ~x2983 ~x494 ~x2882 ~x4346 ~x1989 ~x4143 ~x5393 x5753 ~x1690 ~x2993 
169.94/170.46	v ~x507 ~x2907 ~x4355 ~x2200 ~x4162 ~x5333 ~x5703 ~x1707 ~x2884 ~x522 
169.94/170.46	v ~x2899 ~x4370 ~x2181 ~x3426 ~x5355 ~x5720 ~x1729 ~x2878 ~x474 ~x2522 
169.94/170.46	v ~x5285 ~x3113 ~x3408 ~x5291 ~x1458 ~x1753 ~x2901 ~x491 ~x2511 ~x5286 
169.94/170.46	v ~x3101 ~x3392 ~x5312 ~x1443 ~x1086 ~x2908 ~x863 ~x2610 ~x5270 ~x3132 
169.94/170.46	v ~x3374 ~x5544 ~x1427 ~x1174 ~x2640 ~x60 ~x2590 ~x5259 ~x3123 ~x3483 
169.94/170.46	v ~x5560 ~x1409 ~x1191 ~x2650 ~x75 ~x2113 ~x5248 ~x3142 ~x3465 ~x5518 
169.94/170.46	v ~x980 ~x1133 ~x2661 x92 ~x2101 ~x5225 ~x3137 ~x3448 ~x5535 ~x969 
169.94/170.46	v ~x1142 ~x2672 ~x105 ~x2132 ~x5206 ~x3154 ~x3433 ~x5490 ~x1004 ~x1244 
169.94/170.46	v ~x2680 ~x110 ~x2122 ~x5191 ~x3146 ~x3285 ~x5506 ~x1001 ~x1263 ~x2688 
169.94/170.46	v ~x18 ~x3328 ~x5180 ~x3083 ~x3270 ~x5454 ~x595 ~x1213 ~x3852 ~x30 
169.94/170.46	v ~x3348 ~x5150 ~x3086 ~x3252 ~x5472 ~x580 ~x5486 ~x3869 ~x41 ~x3372 
169.94/170.46	v ~x5136 ~x2826 ~x3238 ~x5683 ~x674 ~x5469 ~x4263 ~x1493 ~x3388 ~x5119 
169.94/170.46	v ~x2814 ~x3360 ~x5670 ~x663 ~x5452 ~x4249 ~x1514 ~x3874 ~x5106 ~x2806 
169.94/170.46	v ~x3342 ~x5652 ~x139 ~x5551 ~x4306 ~x1367 ~x3893 ~x5095 ~x2793 ~x3317 
169.94/170.46	v ~x5631 ~x128 ~x5536 ~x4285 ~x1378 ~x3838 ~x5081 ~x2867 ~x3304 ~x5616 
169.94/170.46	v ~x174 x5529 ~x4192 ~x1340 ~x3856 ~x5067 ~x2857 ~x3672 ~x5600 ~x155 
169.94/170.46	v ~x5516 ~x4173 ~x1328 ~x4414 ~x5070 ~x2773 ~x3688 ~x5592 ~x332 ~x5348 
169.94/170.46	v ~x4228 ~x1343 ~x4434 ~x5056 ~x2785 ~x3637 ~x5577 ~x347 ~x6174 ~x4209 
169.94/170.46	v ~x1412 x4331 ~x5014 ~x2745 ~x3656 ~x5807 ~x3000 ~x5984 ~x3522 ~x1021 
169.94/170.46	v ~x4345 ~x5031 ~x2759 ~x3731 ~x5797 ~x3012 ~x5967 ~x3507 ~x1032 ~x4904 
169.94/170.46	v ~x4987 ~x4008 ~x3742 ~x5781 ~x3198 ~x6012 ~x3749 ~x1047 ~x4920 ~x5001 
169.94/170.46	v ~x4023 ~x3761 ~x5764 ~x3184 ~x5997 ~x3733 ~x1059 ~x4870 ~x4955 ~x3980 
169.94/170.46	v ~x3710 ~x5746 ~x3173 ~x6046 ~x3714 ~x881 ~x4885 ~x4969 ~x3994 ~x3728 
169.94/170.46	v ~x5729 ~x3165 ~x6035 ~x3698 ~x897 ~x5185 ~x4928 ~x4137 ~x3530 ~x5713 
169.94/170.46	v ~x2953 ~x6070 ~x3686 ~x891 ~x5169 ~x4943 ~x4119 ~x3547 ~x5699 ~x2940 
169.94/170.46	v ~x6581 x3675 ~x903 ~x5470 ~x4903 ~x4097 ~x3495 ~x353 ~x2888 ~x6548 
169.94/170.46	v ~x5123 ~x6169 ~x5451 ~x4918 ~x4080 ~x3511 ~x362 ~x2881 ~x6561 ~x5109 
169.94/170.46	v ~x6159 ~x5634 ~x4871 ~x4062 ~x3597 ~x345 ~x2554 ~x6541 ~x5153 ~x6096 
169.94/170.46	v ~x5654 ~x4886 ~x4044 ~x3617 ~x329 ~x2533 ~x6527 ~x5133 ~x6081 ~x5664 
169.94/170.46	v ~x4839 ~x3430 ~x3562 ~x311 ~x2521 ~x6506 ~x5194 ~x6118 ~x5690 ~x4857 
169.94/170.46	v ~x3457 ~x3582 ~x296 ~x2510 ~x6486 ~x5181 ~x6109 ~x2097 ~x4805 ~x617 
169.94/170.46	v ~x4997 ~x276 ~x4561 ~x6469 ~x5231 ~x6253 ~x1990 ~x4806 ~x631 ~x4984 
169.94/170.46	v ~x260 ~x5045 ~x7048 ~x5216 ~x6259 ~x2003 ~x4818 ~x642 ~x5030 ~x239 
169.94/170.46	v ~x3611 ~x6973 ~x4589 ~x3432 ~x2014 ~x5567 ~x655 ~x5013 ~x461 x4147 
169.94/170.46	v ~x6982 ~x4568 ~x3908 ~x2032 ~x5580 ~x163 ~x4948 ~x445 ~x6743 ~x6991 
169.94/170.46	v ~x4678 ~x3130 ~x1946 ~x5594 ~x122 ~x4930 ~x430 ~x7157 ~x7003 ~x4664 
169.94/170.46	v ~x2948 ~x1933 ~x5607 ~x135 ~x4977 ~x412 ~x5685 ~x6930 ~x4651 ~x2559 
169.94/170.46	v ~x1968 ~x5626 ~x201 ~x4963 ~x395 ~x6161 ~x6917 ~x4632 ~x2207 ~x3124 
169.94/170.46	v ~x5645 ~x314 ~x4882 ~x387 ~x479 ~x6962 ~x4742 ~x1574 ~x3095 ~x5657 
169.94/170.46	v ~x2995 ~x4864 ~x379 ~x6734 ~x3680 ~x4727 x1524 ~x3107 ~x5676 ~x2985 
169.94/170.46	v ~x4917 ~x368 ~x6672 ~x3666 ~x6242 ~x1037 ~x3148 ~x5708 ~x3015 ~x4898 
169.94/170.46	v ~x89 ~x6658 ~x3649 ~x6258 ~x3114 ~x3155 ~x5727 ~x3167 ~x4823 ~x5671 
169.94/170.46	v ~x6702 ~x3756 ~x6275 ~x3100 ~x3136 ~x5744 ~x3179 ~x4808 ~x5653 ~x6685 
169.94/170.46	v ~x3735 ~x6291 ~x3222 ~x3140 ~x5760 ~x3190 ~x4849 ~x5632 ~x6363 ~x3720 
169.94/170.46	v ~x6183 ~x3060 ~x5770 ~x2690 ~x3303 ~x5617 ~x6378 ~x3703 ~x6199 ~x3215 
169.94/170.46	v ~x2797 ~x5785 ~x2924 ~x3671 ~x5601 ~x6393 ~x3266 ~x6214 ~x3210 ~x2795 
169.94/170.46	v ~x5783 ~x2891 ~x3687 ~x5593 ~x6417 ~x894 ~x6227 x3203 ~x2804 ~x5793 
169.94/170.46	v ~x2900 ~x3636 ~x5578 ~x6305 x1308 ~x6141 ~x3187 ~x2811 ~x5812 ~x2876 
169.94/170.46	v ~x3655 ~x5808 ~x6318 ~x1781 ~x6103 ~x3175 ~x2823 ~x5318 ~x2531 ~x3730 
169.94/170.46	v ~x5798 ~x6337 ~x2086 ~x6114 ~x411 ~x2831 ~x5299 ~x2545 ~x3741 ~x5782 
169.94/170.46	v ~x6357 ~x2501 ~x6079 ~x423 ~x2843 ~x5358 ~x2556 ~x3760 ~x5765 ~x6478 
169.94/170.46	v ~x2947 ~x6090 ~x443 ~x2856 ~x5337 ~x2571 ~x3709 ~x5747 ~x6496 ~x3220 
169.94/170.46	v ~x5528 ~x457 ~x3357 ~x5405 ~x2064 ~x3727 ~x5730 ~x6513 ~x3772 ~x5521 
169.94/170.46	v ~x237 ~x3339 ~x5383 ~x2128 ~x3529 ~x5714 ~x6530 ~x3244 ~x5557 ~x257 
169.94/170.46	v ~x3337 ~x5440 ~x2137 ~x3546 ~x5700 ~x6427 ~x2379 ~x5545 ~x279 ~x3389 
169.94/170.46	v ~x5418 ~x2109 ~x3494 ~x354 ~x6441 ~x2371 ~x5477 ~x293 ~x3371 ~x5468 
169.94/170.46	v x2500 ~x3510 ~x363 ~x6456 ~x2359 x5455 ~x786 ~x3422 ~x5449 ~x2468 
169.94/170.46	v ~x3596 ~x346 ~x6470 ~x2346 ~x5504 ~x798 ~x3404 ~x5500 ~x2479 ~x3616 
169.94/170.46	v ~x330 ~x6115 ~x2438 ~x5491 ~x855 ~x3455 ~x5485 ~x2540 ~x3561 ~x312 
169.94/170.46	v ~x6104 ~x2456 ~x5395 ~x866 ~x3905 ~x5523 ~x2027 ~x3581 ~x297 ~x6093 
169.94/170.46	v ~x2404 ~x5384 ~x832 ~x3888 ~x6632 ~x2040 ~x4996 ~x277 ~x6094 ~x2421 
169.94/170.46	v ~x5438 ~x845 ~x3867 ~x6591 ~x2061 ~x4983 ~x261 ~x6087 ~x2494 ~x5639 
169.94/170.46	v ~x712 ~x3855 ~x6606 ~x2076 ~x5029 ~x240 ~x6173 ~x2496 ~x5661 ~x730 
169.94/170.46	v ~x3836 ~x6887 ~x3364 ~x5012 ~x462 ~x6154 ~x2464 ~x5679 ~x1282 ~x3970 
169.94/170.46	v ~x6876 ~x5048 ~x4947 ~x446 ~x6144 ~x2477 ~x5569 ~x1296 ~x3957 ~x6907 
169.94/170.46	v ~x5064 ~x4929 ~x431 ~x6133 ~x2546 ~x5585 ~x1306 ~x3938 ~x6899 ~x5077 
169.94/170.46	v ~x4976 ~x413 ~x6218 ~x2560 ~x5597 ~x1323 ~x4427 ~x6932 ~x4995 ~x4962 
169.94/170.46	v ~x396 ~x6206 ~x2517 ~x5611 ~x1204 ~x4408 ~x7000 ~x5039 ~x4881 ~x388 
169.94/170.46	v ~x6191 x2526 ~x1125 ~x1221 ~x4336 ~x7018 ~x5024 ~x4863 ~x380 ~x6178 
169.94/170.46	v ~x2601 ~x1141 ~x1240 ~x4320 ~x7030 ~x4607 ~x4916 ~x369 ~x6282 ~x2619 
169.94/170.46	v ~x1154 ~x1260 ~x4334 ~x7038 ~x4449 ~x4897 ~x90 ~x6264 ~x2572 ~x1177 
169.94/170.46	v ~x1336 ~x4377 ~x7053 ~x4556 ~x4822 ~x102 ~x6247 ~x2586 ~x1072 ~x1774 
169.94/170.46	v ~x4361 ~x3335 ~x4534 ~x4807 ~x62 ~x6231 ~x5214 ~x1085 ~x1780 ~x4513 
169.94/170.46	v ~x3356 ~x4522 ~x4848 ~x77 ~x5877 ~x5234 ~x1100 ~x1795 ~x4907 ~x3300 
169.94/170.46	v ~x2499 ~x4833 ~x39 ~x5894 ~x5178 ~x1113 ~x1749 ~x4894 ~x3748 ~x2461 
169.94/170.46	v ~x5245 ~x53 ~x5827 ~x5192 ~x1273 ~x1760 ~x4873 ~x3722 ~x2475 ~x5255 
169.94/170.46	v ~x12 ~x5843 ~x5268 ~x900 ~x1713 ~x4858 ~x3708 ~x2437 ~x5267 ~x25 
169.94/170.46	v ~x5935 ~x5264 ~x1038 ~x1734 ~x4851 ~x3693 ~x2144 ~x5283 ~x211 ~x5957 
169.94/170.46	v ~x5279 ~x1026 ~x5816 ~x4852 ~x3679 ~x2049 ~x5280 ~x221 ~x5901 ~x5241 
169.94/170.46	v ~x1066 ~x5766 ~x4835 ~x3658 ~x2066 ~x5166 ~x187 ~x5918 ~x5253 ~x1052 
169.94/170.46	v ~x5780 ~x4825 ~x3644 ~x2079 ~x5183 ~x199 x6003 ~x5087 ~x985 ~x5786 
169.94/170.46	v ~x5177 ~x3835 ~x3223 ~x5198 ~x151 ~x6020 ~x5099 ~x973 ~x5357 ~x5193 
169.94/170.46	v ~x4081 ~x3202 ~x5217 ~x170 ~x5981 ~x5055 ~x1013 ~x5336 ~x5461 ~x4274 
169.94/170.46	v ~x3211 ~x5114 ~x123 ~x5991 ~x5069 ~x1000 ~x5310 x5480 ~x4257 ~x3118 
169.94/170.46	v ~x5129 ~x137 ~x6057 ~x5141 ~x1640 ~x5293 ~x5494 ~x4311 x2902 ~x5146 
169.94/170.46	v ~x133 ~x6074 ~x5159 ~x1655 ~x6222 ~x5508 ~x4291 ~x2913 ~x5160 ~x759 
169.94/170.46	v ~x6036 ~x5112 ~x1604 ~x6233 ~x5498 ~x4202 ~x2927 ~x5057 ~x747 ~x6048 
169.94/170.46	v ~x5128 ~x1623 ~x6249 ~x5510 ~x4187 ~x2934 ~x5075 ~x782 ~x5581 ~x4971 
169.94/170.46	v ~x1575 ~x6266 ~x5644 ~x4239 ~x772 ~x5090 ~x773 ~x5565 ~x4958 ~x1587 
169.94/170.46	v ~x6276 ~x5620 ~x4666 ~x761 ~x5103 ~x695 ~x5572 ~x4942 ~x1550 ~x6292 
169.94/170.46	v ~x5675 ~x4652 ~x749 ~x4547 ~x683 ~x5618 ~x4927 ~x1354 ~x5849 ~x5658 
169.94/170.46	v ~x4637 ~x728 ~x4530 ~x731 ~x5602 ~x5043 ~x1352 ~x5830 ~x6005 ~x4732 
169.94/170.46	v ~x164 ~x4516 ~x716 ~x5648 ~x5026 ~x1333 ~x6745 ~x6025 ~x4721 ~x331 
169.94/170.46	v ~x4501 ~x838 ~x5635 ~x5008 ~x1546 ~x6710 ~x5977 ~x4707 ~x313 ~x4496 
169.94/170.46	v ~x827 ~x5687 ~x4993 ~x1533 ~x6721 ~x5971 ~x4695 ~x364 ~x4481 ~x861 
169.94/170.46	v ~x5665 ~x4843 ~x1520 ~x6688 ~x6841 ~x4783 x3061 ~x4464 ~x852 ~x5717 
169.94/170.46	v ~x4830 ~x1505 ~x6703 ~x6853 ~x5082 ~x3050 ~x4451 ~x803 ~x6207 ~x4816 
169.94/170.46	v ~x1492 ~x6690 ~x6864 ~x5118 ~x2987 ~x4420 ~x790 ~x6192 ~x4803 ~x1476 
169.94/170.46	v ~x6647 ~x6764 x5105 ~x2979 ~x4404 ~x821 ~x6179 ~x4910 ~x1463 ~x6662 
169.94/170.46	v ~x6784 ~x5165 ~x3010 ~x4392 ~x370 ~x6283 ~x4893 ~x1448 ~x7001 ~x6792 
169.94/170.46	v ~x5145 ~x2997 ~x4383 ~x91 ~x6265 ~x4876 ~x236 ~x7122 ~x6807 ~x5184 
169.94/170.46	v ~x2962 ~x4363 ~x103 ~x6248 ~x4860 ~x254 ~x7138 ~x6920 ~x5168 ~x2956 
169.94/170.46	v ~x2889 ~x63 ~x6232 ~x4699 ~x274 ~x7148 ~x6651 ~x5218 ~x2738 ~x2939 
169.94/170.46	v ~x78 ~x5878 ~x4714 ~x294 ~x7161 ~x6399 ~x2319 ~x2726 ~x2949 ~x40 
169.94/170.46	v ~x5895 ~x4723 ~x316 ~x7070 ~x6412 ~x2327 ~x2715 ~x2919 ~x54 ~x5828 
169.94/170.46	v ~x4740 ~x79 ~x7064 ~x6373 ~x2338 ~x2698 ~x2932 ~x13 ~x5844 ~x4736 
169.94/170.46	v ~x65 ~x7083 ~x6387 ~x2354 ~x2684 ~x2646 ~x26 ~x5936 ~x4747 ~x68 
169.94/170.46	v ~x1231 ~x6342 ~x2357 ~x2674 ~x2634 ~x212 ~x5958 ~x4759 ~x107 ~x1252 
169.94/170.46	v ~x6345 ~x2367 ~x2666 ~x2628 ~x222 ~x5902 ~x4772 ~x97 ~x1275 ~x6293 
169.94/170.46	v ~x2380 ~x2656 ~x2621 ~x188 ~x5919 ~x4785 ~x136 ~x1290 ~x4129 ~x2221 
169.94/170.46	v ~x501 ~x2682 ~x200 ~x6004 ~x4579 ~x120 ~x1300 ~x4148 ~x2041 ~x512 
169.94/170.46	v ~x2675 ~x152 ~x6021 ~x4599 ~x165 ~x1314 ~x4166 ~x1915 ~x524 ~x2663 
169.94/170.46	v ~x171 ~x5982 ~x5054 ~x147 ~x898 ~x3928 ~x1926 ~x538 ~x2667 ~x124 
169.94/170.46	v ~x5992 ~x5068 ~x189 ~x885 ~x3912 ~x1895 ~x549 ~x2658 ~x138 ~x6058 
169.94/170.46	v ~x5140 ~x180 ~x1700 ~x3964 ~x1904 ~x564 ~x2735 ~x134 ~x6075 ~x5158 
169.94/170.46	v ~x216 ~x1725 ~x3950 ~x583 ~x2721 ~x760 ~x6037 ~x5111 ~x204 ~x1668 
169.94/170.46	v ~x4000 ~x596 ~x2707 ~x748 ~x6049 ~x1957 ~x5127 ~x715 ~x1684 ~x3521 
169.94/170.46	v ~x36 ~x2694 ~x783 ~x5582 ~x1973 ~x4970 ~x734 ~x1771 ~x3608 ~x50 
169.94/170.46	v ~x2782 ~x774 ~x5566 ~x1934 ~x4957 ~x687 ~x1784 ~x3632 ~x9 ~x2772 
169.94/170.46	v ~x696 ~x5573 ~x3105 ~x4941 ~x485 ~x1740 ~x3575 ~x24 ~x2760 ~x684 
169.94/170.46	v ~x5619 ~x3127 ~x4926 ~x472 ~x1755 ~x3592 ~x93 ~x2746 ~x732 ~x5603 
169.94/170.46	v ~x3119 ~x5042 ~x560 ~x264 ~x3411 ~x104 ~x844 ~x717 ~x5649 ~x3064 
169.94/170.46	v ~x5025 ~x573 ~x287 ~x3394 ~x61 ~x833 ~x839 ~x5636 ~x3073 ~x5007 
169.94/170.46	v ~x559 ~x418 ~x3382 ~x76 ~x865 ~x828 ~x5688 ~x3081 ~x4992 ~x546 
169.94/170.46	v ~x436 ~x5121 ~x1722 ~x856 ~x862 ~x5666 ~x3094 ~x4842 ~x535 ~x449 
169.94/170.46	v ~x5139 ~x1701 ~x799 ~x853 ~x5718 ~x3025 ~x4829 ~x615 ~x463 x5154 
169.94/170.46	v ~x1393 ~x785 ~x804 ~x5696 ~x83 ~x4815 ~x604 ~x377 ~x5046 ~x1404 
169.94/170.46	v ~x825 ~x791 ~x5748 x1334 ~x4802 ~x587 ~x385 ~x5062 ~x1423 ~x816 
169.94/170.46	v ~x822 ~x5731 ~x926 ~x4909 ~x574 ~x708 ~x5078 ~x1438 ~x755 ~x813 
169.94/170.46	v ~x5778 ~x2320 ~x4892 ~x664 ~x725 ~x5092 ~x1342 ~x741 ~x525 ~x5767 
169.94/170.46	v ~x2044 ~x4875 ~x653 ~x678 ~x5006 ~x1355 ~x779 ~x539 ~x5810 ~x3104 
169.94/170.46	v ~x4859 ~x640 ~x688 ~x4708 ~x1254 ~x765 ~x550 ~x5794 ~x2841 ~x4698 
169.94/170.46	v ~x628 ~x859 ~x4668 ~x1235 ~x691 ~x565 ~x5295 ~x4428 ~x4713 ~x2925 
169.94/170.46	v ~x874 ~x4677 ~x1220 ~x677 ~x469 ~x5315 ~x4980 ~x4722 ~x2749 ~x835 
169.94/170.46	v ~x4631 ~x1196 ~x719 ~x480 ~x5328 x3052 ~x4739 ~x2762 ~x849 ~x4647 
169.94/170.46	v ~x949 ~x702 ~x496 ~x5351 ~x2676 ~x4735 ~x2777 ~x2911 ~x4604 ~x959 
169.94/170.46	v ~x636 ~x514 ~x5373 ~x2243 ~x4746 ~x2789 ~x2897 ~x4621 ~x931 ~x647 
169.94/170.46	v ~x633 ~x5389 ~x1876 ~x4758 ~x2786 ~x2930 ~x4567 ~x942 ~x660 ~x644 
169.94/170.46	v ~x5408 ~x1487 ~x4771 ~x2693 x2918 ~x2285 ~x5387 ~x673 ~x657 ~x5427 
169.94/170.46	v ~x1172 ~x4784 ~x2705 ~x2952 ~x2273 ~x5404 ~x582 ~x670 ~x5457 ~x703 
169.94/170.46	v ~x4578 ~x2718 ~x2941 ~x2263 ~x5338 ~x598 ~x585 ~x5473 ~x334 ~x4598 
169.94/170.46	v ~x2732 ~x2803 ~x2340 ~x5362 ~x590 ~x600 ~x5487 ~x6489 ~x4610 ~x2659 
169.94/170.46	v ~x2791 ~x2330 ~x5300 ~x608 ~x612 ~x5501 ~x770 ~x4625 ~x2671 ~x3194 
169.94/170.46	v ~x2324 ~x5319 ~x622 ~x605 ~x5519 ~x806 ~x4642 ~x2681 ~x3181 ~x2310 
169.94/170.46	v ~x5815 x530 ~x618 ~x5530 ~x794 ~x4658 ~x2685 ~x3171 ~x2386 ~x5796 
169.94/170.46	v ~x543 ~x1111 ~x5549 ~x824 ~x4675 ~x2625 ~x3164 ~x1825 ~x5916 ~x555 
169.94/170.46	v ~x1098 ~x5562 ~x336 ~x4688 ~x2632 ~x3228 ~x1865 ~x5922 ~x569 ~x1082 
169.94/170.46	v ~x5273 ~x317 ~x4453 ~x2644 ~x3217 ~x1856 ~x5942 ~x478 ~x1070 ~x5261 
169.94/170.46	v ~x302 ~x4439 ~x3108 ~x3213 ~x1878 ~x5961 ~x487 ~x1180 ~x5275 ~x404 
169.94/170.46	v ~x4486 ~x3096 ~x3205 ~x1873 ~x5840 ~x503 ~x1155 ~x5238 ~x6931 ~x4476 
169.94/170.46	v ~x3085 ~x2980 ~x1901 ~x5859 ~x518 ~x1139 ~x5250 ~x6900 ~x4520 ~x3092 
169.94/170.46	v ~x2990 ~x1893 ~x5880 ~x459 ~x1123 ~x5203 ~x6910 ~x4505 ~x3070 ~x2164 
169.94/170.47	v ~x1922 ~x5897 ~x438 ~x1266 ~x5222 ~x6877 ~x4552 ~x3063 ~x2148 ~x3003 
169.94/170.47	v ~x6497 ~x425 ~x1247 ~x5170 ~x6508 ~x4536 ~x3072 ~x2197 ~x2991 ~x6335 
169.94/170.47	v ~x406 ~x1227 ~x5667 ~x6524 ~x4340 ~x3046 ~x2182 ~x2982 ~x6330 ~x401 
169.94/170.47	v ~x1209 ~x5719 ~x6542 ~x4322 ~x3057 ~x2114 ~x2976 ~x6349 ~x394 ~x1315 
169.94/170.47	v ~x5697 ~x6430 ~x4369 ~x3024 ~x2102 ~x2972 ~x6298 ~x384 ~x792 ~x5749 
169.94/170.47	v ~x6010 ~x4351 ~x3034 ~x1803 ~x2966 ~x6313 ~x375 ~x823 ~x5732 ~x5998 
169.94/170.47	v ~x4397 ~x3006 ~x1813 ~x2959 ~x6391 ~x357 ~x814 ~x5779 ~x6015 ~x4386 
169.94/170.47	v ~x3014 ~x1833 ~x3089 ~x6405 ~x740 ~x526 ~x5768 ~x5968 ~x4425 ~x2986 
169.94/170.47	v ~x1844 ~x4212 ~x3676 ~x778 ~x540 ~x5811 ~x6136 ~x4410 ~x2996 ~x2606 
169.94/170.47	v ~x4780 ~x3689 ~x764 ~x551 ~x5795 ~x6124 ~x4289 ~x2970 x5205 ~x3319 
169.94/170.47	v ~x690 ~x566 ~x5296 ~x6135 ~x4309 ~x2072 ~x2589 ~x1867 ~x3309 ~x676 
169.94/170.47	v ~x470 ~x5316 ~x5450 ~x4244 ~x2056 ~x2575 ~x2323 ~x3301 ~x718 ~x481 
169.94/170.47	v ~x5329 ~x5647 ~x4255 ~x2096 ~x2564 ~x2755 ~x3355 ~x701 ~x497 ~x5352 
169.94/170.47	v ~x5628 ~x4276 ~x2085 ~x2267 ~x3032 ~x3336 ~x635 ~x515 ~x5374 ~x5681 
169.94/170.47	v ~x4221 ~x1886 ~x2277 ~x69 ~x3246 ~x646 ~x634 ~x5390 ~x5691 ~x4238 
169.94/170.47	v ~x1896 ~x2250 ~x795 ~x4210 ~x659 ~x645 ~x5409 ~x5246 ~x4185 ~x1905 
169.94/170.47	v ~x2257 ~x499 ~x4225 ~x672 ~x658 ~x5428 ~x5257 ~x4205 ~x1914 ~x2220 
169.94/170.47	v ~x37 ~x4174 ~x581 ~x671 ~x5458 ~x5208 ~x4577 ~x1925 ~x2232 ~x1364 
169.94/170.47	v ~x4191 ~x597 ~x586 ~x5474 ~x5227 ~x4597 ~x1937 ~x1217 x911 ~x3904 
169.94/170.47	v ~x589 ~x601 ~x5488 x4753 ~x4609 ~x1949 ~x1200 ~x2442 ~x3889 ~x607 
169.94/170.47	v ~x613 ~x5502 ~x4765 ~x4624 ~x1962 ~x6663 ~x2029 ~x3870 ~x621 ~x606 
169.94/170.47	v ~x5520 ~x4778 ~x4641 ~x1975 ~x6646 ~x3128 ~x3854 ~x529 ~x619 ~x5531 
169.94/170.47	v ~x4796 ~x4657 ~x1800 ~x6826 ~x2827 ~x4724 ~x542 ~x1112 ~x5550 ~x5680 
169.94/170.47	v ~x4674 ~x1808 ~x6839 ~x3771 ~x4737 ~x554 ~x1099 ~x5563 ~x5463 ~x4687 
169.94/170.47	v ~x1823 ~x7084 ~x6162 ~x4757 ~x568 ~x1083 ~x5274 ~x5976 ~x4452 ~x3332 
169.94/170.47	v ~x7065 ~x6127 ~x4768 ~x477 ~x1071 ~x5262 ~x6424 ~x4438 ~x3256 ~x7108 
169.94/170.47	v ~x5606 ~x4782 ~x486 ~x1181 ~x5276 x6867 ~x4485 ~x3237 ~x7096 ~x5627 
169.94/170.47	v ~x4798 ~x502 ~x1156 ~x5239 ~x3377 ~x4475 ~x3282 ~x5724 ~x5271 ~x4786 
169.94/170.47	v ~x517 ~x1140 ~x5251 ~x3933 ~x4519 ~x3873 ~x5707 ~x5256 ~x4348 ~x458 
169.94/170.47	v ~x1124 ~x5204 ~x4466 ~x4504 ~x3860 ~x5818 ~x4371 ~x5215 ~x437 ~x1267 
169.94/170.47	v ~x5223 ~x4944 ~x4551 ~x3844 ~x5800 x4766 ~x5233 ~x424 ~x1248 ~x5171 
169.94/170.47	v ~x3212 ~x4535 ~x3833 x6196 ~x3903 ~x5179 ~x405 ~x1228 ~x5186 ~x3204 
169.94/170.47	v ~x4339 ~x6411 ~x6181 ~x3848 ~x5197 ~x400 ~x1210 ~x5147 ~x3196 ~x4321 
169.94/170.47	v ~x6428 ~x6229 ~x3290 ~x5266 ~x393 ~x1316 ~x5163 ~x3186 ~x4368 ~x6444 
169.94/170.47	v ~x6215 ~x3308 ~x5282 ~x383 ~x1303 ~x5115 ~x234 ~x4350 ~x6457 ~x999 
169.94/170.47	v ~x4856 ~x5244 ~x374 ~x1288 ~x5131 ~x253 ~x4396 ~x6857 ~x1014 ~x4813 
169.94/170.47	v ~x5240 ~x356 ~x1271 ~x5085 ~x270 ~x4385 ~x6822 ~x929 ~x4546 ~x2366 
169.94/170.47	v ~x338 ~x908 ~x5100 ~x290 ~x4424 ~x6834 ~x939 ~x4330 ~x2353 ~x326 
169.94/170.47	v ~x918 ~x5052 ~x837 ~x4409 ~x6896 ~x1475 ~x3967 ~x2251 ~x310 ~x882 
169.94/170.47	v ~x5071 ~x846 ~x4288 ~x5434 

OK	9

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (60980 MiB free)
  memory of node 1: 64507 MiB (56665 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528444-1752241683/watcher-4528444-1752241683 -o /tmp/evaluation-result-4528444-1752241683/solver-4528444-1752241683 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1752238069-116867 --watchdog 3760 pb_picat HOME/instance-4528444-1752241683.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=117518, runsolver pid=117515
Current StackSize limit: 8192 KiB


[startup+0.100064 s]*
/proc/loadavg: 4.00 4.07 4.01 5/263 117519
/proc/meminfo: memFree=120454760/131249996 swapFree=33010416/33010684
[pid=117518] ppid=117515 vsize=2027148 memory=38284 CPUtime=0.09 cores=1,3
/proc/117518/stat : 117518 (pb_picat) R 117515 117518 115813 0 -1 4194304 1053 0 0 0 9 0 0 0 20 0 1 0 139846031 2075799552 9571 18446744073709551615 94824775467008 94824776868589 140728512694800 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94824777140016 94824779014256 94824798826496 140728512698780 140728512698856 140728512698856 140728512704460 0
/proc/117518/statm: 506787 9571 1536 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 38284 KiB

[startup+0.205689 s]*
/proc/loadavg: 4.00 4.07 4.01 5/263 117519
/proc/meminfo: memFree=120434280/131249996 swapFree=33010416/33010684
[pid=117518] ppid=117515 vsize=2034964 memory=62976 CPUtime=0.19 cores=1,3
/proc/117518/stat : 117518 (pb_picat) R 117515 117518 115813 0 -1 4194304 1094 0 0 0 19 0 0 0 20 0 1 0 139846031 2083803136 15744 18446744073709551615 94824775467008 94824776868589 140728512694800 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94824777140016 94824779014256 94824798826496 140728512698780 140728512698856 140728512698856 140728512704460 0
/proc/117518/statm: 508741 15744 1536 343 0 505805 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 62976 KiB

[startup+0.305549 s]*
/proc/loadavg: 4.00 4.07 4.01 5/263 117519
/proc/meminfo: memFree=120409704/131249996 swapFree=33010416/33010684
[pid=117518] ppid=117515 vsize=2034964 memory=83456 CPUtime=0.3 cores=1,3
/proc/117518/stat : 117518 (pb_picat) R 117515 117518 115813 0 -1 4194304 1104 0 0 0 29 1 0 0 20 0 1 0 139846031 2083803136 20864 18446744073709551615 94824775467008 94824776868589 140728512694800 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94824777140016 94824779014256 94824798826496 140728512698780 140728512698856 140728512698856 140728512704460 0
/proc/117518/statm: 508741 20864 1536 343 0 505805 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 83456 KiB

[startup+0.700181 s]
/proc/loadavg: 4.00 4.07 4.01 5/263 117519
/proc/meminfo: memFree=120368744/131249996 swapFree=33010416/33010684
[pid=117518] ppid=117515 vsize=2054772 memory=143192 CPUtime=0.69 cores=1,3
/proc/117518/stat : 117518 (pb_picat) R 117515 117518 115813 0 -1 4194304 5367 0 0 0 64 5 0 0 20 0 1 0 139846031 2104086528 35798 18446744073709551615 94824775467008 94824776868589 140728512694800 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94824777140016 94824779014256 94824798826496 140728512698780 140728512698856 140728512698856 140728512704460 0
/proc/117518/statm: 513693 35798 1696 343 0 510757 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2054772 KiB
Current children cumulated memory: 143192 KiB

[startup+1.50017 s]
/proc/loadavg: 4.00 4.07 4.01 5/263 117519
/proc/meminfo: memFree=120340864/131249996 swapFree=33010416/33010684
[pid=117518] ppid=117515 vsize=2178036 memory=202036 CPUtime=1.48 cores=1,3
/proc/117518/stat : 117518 (pb_picat) R 117515 117518 115813 0 -1 4194304 11112 0 0 0 134 14 0 0 20 0 1 0 139846031 2230308864 50509 18446744073709551615 94824775467008 94824776868589 140728512694800 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94824777140016 94824779014256 94824798826496 140728512698780 140728512698856 140728512698856 140728512704460 0
/proc/117518/statm: 544509 50509 1696 343 0 541573 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2178036 KiB
Current children cumulated memory: 202036 KiB

[startup+3.10556 s]
/proc/loadavg: 4.00 4.07 4.01 5/263 117519
/proc/meminfo: memFree=120274228/131249996 swapFree=33010416/33010684
[pid=117518] ppid=117515 vsize=2189176 memory=238944 CPUtime=3.08 cores=1,3
/proc/117518/stat : 117518 (pb_picat) R 117515 117518 115813 0 -1 4194304 13149 0 0 0 282 26 0 0 20 0 1 0 139846031 2241716224 59736 18446744073709551615 94824775467008 94824776868589 140728512694800 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94824777140016 94824779014256 94824798826496 140728512698780 140728512698856 140728512698856 140728512704460 0
/proc/117518/statm: 547294 59736 1696 343 0 544358 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2189176 KiB
Current children cumulated memory: 238944 KiB

[startup+6.30017 s]
/proc/loadavg: 4.00 4.06 4.01 5/263 117519
/proc/meminfo: memFree=120247416/131249996 swapFree=33010416/33010684
[pid=117518] ppid=117515 vsize=2202200 memory=251704 CPUtime=6.27 cores=1,3
/proc/117518/stat : 117518 (pb_picat) R 117515 117518 115813 0 -1 4194304 22227 0 0 0 598 29 0 0 20 0 1 0 139846031 2255052800 62926 18446744073709551615 94824775467008 94824776868589 140728512694800 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94824777140016 94824779014256 94824798826496 140728512698780 140728512698856 140728512698856 140728512704460 0
/proc/117518/statm: 550550 62926 1696 343 0 547614 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2202200 KiB
Current children cumulated memory: 251704 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.08 4.02 5/263 117519
/proc/meminfo: memFree=120221980/131249996 swapFree=33010416/33010684
[pid=117518] ppid=117515 vsize=2200600 memory=247240 CPUtime=12.65 cores=1,3
/proc/117518/stat : 117518 (pb_picat) R 117515 117518 115813 0 -1 4194304 29158 0 0 0 1232 33 0 0 20 0 1 0 139846031 2253414400 61810 18446744073709551615 94824775467008 94824776868589 140728512694800 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94824777140016 94824779014256 94824798826496 140728512698780 140728512698856 140728512698856 140728512704460 0
/proc/117518/statm: 550150 61810 1696 343 0 547214 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2200600 KiB
Current children cumulated memory: 247240 KiB

[startup+25.5002 s]
/proc/loadavg: 4.06 4.08 4.02 5/263 117564
/proc/meminfo: memFree=120816932/131249996 swapFree=33010416/33010684
[pid=117518] ppid=117515 vsize=2266136 memory=281204 CPUtime=25.41 cores=1,3
/proc/117518/stat : 117518 (pb_picat) R 117515 117518 115813 0 -1 4194304 32435 0 0 0 2505 36 0 0 20 0 1 0 139846031 2320523264 70301 18446744073709551615 94824775467008 94824776868589 140728512694800 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94824777140016 94824779014256 94824798826496 140728512698780 140728512698856 140728512698856 140728512704460 0
/proc/117518/statm: 566534 70301 1696 343 0 563598 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2266136 KiB
Current children cumulated memory: 281204 KiB

[startup+51.1055 s]
/proc/loadavg: 4.04 4.07 4.02 5/263 117564
/proc/meminfo: memFree=120821480/131249996 swapFree=33010416/33010684
[pid=117518] ppid=117515 vsize=2200600 memory=246392 CPUtime=50.95 cores=1,3
/proc/117518/stat : 117518 (pb_picat) R 117515 117518 115813 0 -1 4194304 37746 0 0 0 5056 39 0 0 20 0 1 0 139846031 2253414400 61598 18446744073709551615 94824775467008 94824776868589 140728512694800 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94824777140016 94824779014256 94824798826496 140728512698780 140728512698856 140728512698856 140728512704460 0
/proc/117518/statm: 550150 61598 1696 343 0 547214 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2200600 KiB
Current children cumulated memory: 246392 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.07 4.02 5/264 117567
/proc/meminfo: memFree=120825528/131249996 swapFree=33010416/33010684
[pid=117518] ppid=117515 vsize=2266768 memory=283888 CPUtime=102.01 cores=1,3
/proc/117518/stat : 117518 (pb_picat) R 117515 117518 115813 0 -1 4194304 48996 0 0 0 10154 47 0 0 20 0 1 0 139846031 2321170432 70972 18446744073709551615 94824775467008 94824776868589 140728512694800 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94824777140016 94824779014256 94824798826496 140728512698780 140728512698856 140728512698856 140728512704460 0
/proc/117518/statm: 566692 70972 1696 343 0 563756 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 2266768 KiB
Current children cumulated memory: 283888 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.07 4.02 5/264 117569
/proc/meminfo: memFree=120811640/131249996 swapFree=33010416/33010684
[pid=117518] ppid=117515 vsize=2201232 memory=283888 CPUtime=161.86 cores=1,3
/proc/117518/stat : 117518 (pb_picat) R 117515 117518 115813 0 -1 4194304 56972 0 0 0 16132 54 0 0 20 0 1 0 139846031 2254061568 70972 18446744073709551615 94824775467008 94824776868589 140728512694800 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94824777140016 94824779014256 94824798826496 140728512698780 140728512698856 140728512698856 140728512704460 0
/proc/117518/statm: 550308 70972 1696 343 0 547372 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 2201232 KiB
Current children cumulated memory: 283888 KiB

[startup+170.476 s]
# the end of solver process 117518 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=169.467 s, system=0.555532 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+166.4 s]
/proc/loadavg: 4.08 4.07 4.02 5/264 117569
/proc/meminfo: memFree=120836216/131249996 swapFree=33010416/33010684
[pid=117518] ppid=117515 vsize=2201232 memory=259312 CPUtime=165.95 cores=1,3
/proc/117518/stat : 117518 (pb_picat) R 117515 117518 115813 0 -1 4194304 57861 0 0 0 16541 54 0 0 20 0 1 0 139846031 2254061568 64828 18446744073709551615 94824775467008 94824776868589 140728512694800 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94824777140016 94824779014256 94824798826496 140728512698780 140728512698856 140728512698856 140728512704460 0
/proc/117518/statm: 550308 64828 1696 343 0 547372 0
Current children cumulated CPU time: 165.95 s
Current children cumulated vsize: 2201232 KiB
Current children cumulated memory: 259312 KiB

[startup+168 s]*
/proc/loadavg: 4.08 4.07 4.02 5/264 117569
/proc/meminfo: memFree=120836216/131249996 swapFree=33010416/33010684
[pid=117518] ppid=117515 vsize=2201232 memory=261360 CPUtime=167.55 cores=1,3
/proc/117518/stat : 117518 (pb_picat) R 117515 117518 115813 0 -1 4194304 57862 0 0 0 16701 54 0 0 20 0 1 0 139846031 2254061568 65340 18446744073709551615 94824775467008 94824776868589 140728512694800 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94824777140016 94824779014256 94824798826496 140728512698780 140728512698856 140728512698856 140728512704460 0
/proc/117518/statm: 550308 65340 1696 343 0 547372 0
Current children cumulated CPU time: 167.55 s
Current children cumulated vsize: 2201232 KiB
Current children cumulated memory: 261360 KiB

[startup+169.6 s]
/proc/loadavg: 4.08 4.07 4.02 5/264 117569
/proc/meminfo: memFree=120848820/131249996 swapFree=33010416/33010684
[pid=117518] ppid=117515 vsize=2201232 memory=261360 CPUtime=169.14 cores=1,3
/proc/117518/stat : 117518 (pb_picat) R 117515 117518 115813 0 -1 4194304 57862 0 0 0 16860 54 0 0 20 0 1 0 139846031 2254061568 65340 18446744073709551615 94824775467008 94824776868589 140728512694800 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94824777140016 94824779014256 94824798826496 140728512698780 140728512698856 140728512698856 140728512704460 0
/proc/117518/statm: 550308 65340 1696 343 0 547372 0
Current children cumulated CPU time: 169.14 s
Current children cumulated vsize: 2201232 KiB
Current children cumulated memory: 261360 KiB

[startup+170 s]*
/proc/loadavg: 4.07 4.07 4.02 5/264 117569
/proc/meminfo: memFree=120844724/131249996 swapFree=33010416/33010684
[pid=117518] ppid=117515 vsize=2201232 memory=261360 CPUtime=169.54 cores=1,3
/proc/117518/stat : 117518 (pb_picat) R 117515 117518 115813 0 -1 4194304 57862 0 0 0 16900 54 0 0 20 0 1 0 139846031 2254061568 65340 18446744073709551615 94824775467008 94824776868589 140728512694800 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94824777140016 94824779014256 94824798826496 140728512698780 140728512698856 140728512698856 140728512704460 0
/proc/117518/statm: 550308 65340 1696 343 0 547372 0
Current children cumulated CPU time: 169.54 s
Current children cumulated vsize: 2201232 KiB
Current children cumulated memory: 261360 KiB

[startup+170.4 s]
/proc/loadavg: 4.07 4.07 4.02 5/264 117569
/proc/meminfo: memFree=120844724/131249996 swapFree=33010416/33010684
[pid=117518] ppid=117515 vsize=2201232 memory=261360 CPUtime=169.94 cores=1,3
/proc/117518/stat : 117518 (pb_picat) R 117515 117518 115813 0 -1 4194304 57862 0 0 0 16940 54 0 0 20 0 1 0 139846031 2254061568 65340 18446744073709551615 94824775467008 94824776868589 140728512694800 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94824777140016 94824779014256 94824798826496 140728512698780 140728512698856 140728512698856 140728512704460 0
/proc/117518/statm: 550308 65340 1696 343 0 547372 0
Current children cumulated CPU time: 169.94 s
Current children cumulated vsize: 2201232 KiB
Current children cumulated memory: 261360 KiB

Child status: 0

Real time (s): 170.476
CPU time (s): 170.023
CPU user time (s): 169.467
CPU system time (s): 0.555532
CPU usage (%): 99.7344
Max. virtual memory (cumulated for all children) (KiB): 2274024
Max. memory (cumulated for all children) (KiB): 296176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 169.467
system time used= 0.555532
maximum resident set size= 296176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57890
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66
involuntary context switches= 179


# summary of solver processes directly reported to runsolver:
#   pid: 117518
#   total CPU time (s): 170.023
#   total CPU user time (s): 169.467
#   total CPU system time (s): 0.555532

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.348782 second user time and 0.781345 second system time

The end

Begin job on nodeC022 at 2025-07-11 15:48:03
IDJOB=4528444
IDBENCH=148773
IDSOLVER=3385
FILE ID=nodeC022/4528444-1752241683
RUNJOBID= nodeC022-1752238069-116867
SLURM_JOB_ID= 9682533
Free space on /tmp= 432136 MiB

SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx92.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528444-1752241683/watcher-4528444-1752241683 -o /tmp/evaluation-result-4528444-1752241683/solver-4528444-1752241683 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1752238069-116867 --watchdog 3760  pb_picat HOME/instance-4528444-1752241683.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 8416d641e22e8376ddac92bbd41682d6
RANDOM SEED=1851649135

nodeC022 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.697
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.707
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.105
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.970
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.687
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.696
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.423
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3614.060
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        120459048 kB
MemAvailable:   128465984 kB
Buffers:            2128 kB
Cached:          8755340 kB
SwapCached:           32 kB
Active:          1958992 kB
Inactive:        8098528 kB
Active(anon):    1315960 kB
Inactive(anon):     2124 kB
Active(file):     643032 kB
Inactive(file):  8096404 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              8408 kB
Writeback:             0 kB
AnonPages:       1295220 kB
Mapped:           116916 kB
Shmem:             18028 kB
KReclaimable:     213080 kB
Slab:             307108 kB
SReclaimable:     213080 kB
SUnreclaim:        94028 kB
KernelStack:        4256 kB
PageTables:         5708 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    7231148 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1114112 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432136 MiB
End job on nodeC022 at 2025-07-11 15:50:53