0.00/0.01 c solving HOME/instance-4499025-1751398532.opb (Picat 3.9b6)
43.96/44.16 o 8
43.96/44.16 s OPTIMUM FOUND
43.96/44.16 v ~x4896 ~x4411 ~x1471 ~x3540 ~x3775 ~x5973 ~x2371 ~x4775 ~x3122 ~x1402
43.96/44.16 v ~x3514 ~x3753 ~x5887 ~x2402 ~x4747 ~x2405 ~x1427 ~x3481 ~x3724 ~x5913
43.96/44.16 v ~x2311 ~x4826 ~x1650 ~x1355 ~x3454 ~x3695 ~x5846 ~x2180 ~x4799 ~x848
43.96/44.16 v ~x1391 ~x4426 ~x3447 ~x5870 ~x2315 ~x5501 ~x126 ~x1303 ~x4302 ~x3420
43.96/44.16 v ~x5812 ~x2345 ~x5476 ~x5944 ~x1328 x4273 ~x3396 ~x5836 ~x2258 ~x5449
43.96/44.16 v ~x1107 ~x1664 ~x4356 ~x3366 ~x5761 ~x3285 ~x5423 ~x1036 ~x1684 ~x1720
43.96/44.16 v ~x3552 ~x5780 ~x3338 ~x5401 ~x1064 ~x1632 ~x2611 ~x3525 ~x5711 ~x3322
43.96/44.16 v ~x5385 ~x885 ~x1652 x337 ~x3488 ~x5737 ~x3225 ~x5367 ~x1887 ~x1564
43.96/44.16 v ~x979 ~x3511 ~x4872 ~x3801 ~x5355 ~x1707 ~x1598 ~x925 ~x3484 ~x4847
43.96/44.16 v ~x4133 ~x5338 ~x1730 ~x1510 ~x4644 ~x3243 ~x4948 ~x4111 ~x5252 ~x1764
43.96/44.16 v ~x1535 ~x5502 ~x3262 ~x4921 ~x4088 ~x5273 ~x2773 ~x975 ~x3094 ~x3204
43.96/44.16 v ~x4780 ~x4649 ~x5299 ~x2698 ~x971 ~x2869 ~x3222 ~x4758 ~x4722 ~x5317
43.96/44.16 v ~x2726 ~x951 ~x2300 ~x3326 ~x4834 ~x4706 ~x5144 ~x2648 ~x1006 ~x2266
43.96/44.16 v ~x3340 ~x5532 ~x4778 ~x5173 ~x3757 ~x990 ~x2359 ~x3282 ~x5480 ~x5333
43.96/44.16 v ~x5196 ~x3374 ~x1048 x3127 ~x3303 ~x5456 ~x5496 ~x5226 ~x3408 ~x1027
43.96/44.16 v ~x3198 ~x3085 ~x5434 ~x5470 ~x5048 ~x3429 ~x1102 ~x3180 ~x3110 ~x5413
43.96/44.16 v ~x5433 ~x5068 ~x4534 ~x1080 ~x3574 ~x3040 ~x5388 ~x1205 ~x5087 x4470
43.96/44.16 v ~x1161 ~x3805 ~x3060 ~x5370 ~x1146 ~x5106 ~x4491 ~x1138 ~x3970 ~x3163
43.96/44.16 v ~x5350 ~x1168 ~x4952 ~x4213 ~x1201 ~x3944 ~x3190 ~x5335 ~x1268 ~x4990
43.96/44.16 v ~x5318 ~x1179 ~x3925 ~x3118 ~x6059 ~x761 ~x5016 ~x5145 ~x1260 ~x4661
43.96/44.16 v ~x3139 ~x6086 ~x508 ~x5036 ~x5171 ~x1235 ~x4729 ~x4406 ~x6009 ~x535
43.96/44.16 v ~x4874 ~x5197 ~x1295 ~x4697 ~x4385 ~x5993 ~x562 ~x4849 ~x6079 ~x1278
43.96/44.16 v ~x4592 ~x4460 ~x6017 x101 ~x4927 ~x6015 ~x696 ~x5530 ~x4438 ~x5941
43.96/44.16 v ~x161 ~x4897 ~x6035 ~x715 ~x5484 ~x4502 ~x5972 ~x145 ~x4776 ~x5960
43.96/44.16 v ~x736 ~x5465 ~x4477 ~x5886 ~x2968 ~x4748 ~x5329 ~x756 ~x5444 ~x4556
43.96/44.16 v ~x5912 ~x4857 ~x4827 ~x320 ~x1956 ~x122 ~x4529 ~x5845 ~x4877 ~x4800
43.96/44.16 v ~x295 ~x1987 ~x137 ~x3446 ~x5869 ~x4902 ~x4691 ~x367 ~x1901 ~x156
43.96/44.16 v ~x3419 ~x5811 ~x4939 ~x4670 ~x2454 ~x1931 ~x186 ~x3395 ~x5835 ~x5347
43.96/44.16 v ~x4739 ~x2362 ~x744 ~x700 ~x3365 ~x5760 ~x5364 ~x4717 ~x2397 ~x724
43.96/44.16 v ~x798 ~x3551 ~x5779 ~x5663 ~x4600 ~x2320 ~x1228 ~x817 ~x3524 ~x5710
43.96/44.16 v ~x5685 ~x4594 ~x1674 ~x1254 ~x765 ~x3487 ~x5736 ~x3115 ~x4571 ~x1500
43.96/44.16 v ~x76 ~x1438 ~x3510 ~x4871 ~x3134 ~x4640 ~x1529 ~x49 ~x1463 ~x3483
43.96/44.16 v ~x4846 ~x3155 ~x4615 ~x1550 x26 ~x1492 ~x3242 ~x4947 ~x3184 ~x4518
43.96/44.16 v ~x3852 ~x7 ~x1317 ~x3261 ~x4920 ~x3791 ~x4546 x3833 ~x5890 ~x552
43.96/44.16 v ~x3203 ~x4779 ~x3819 ~x4479 ~x3808 ~x5917 ~x574 ~x3221 ~x4757 ~x3941
43.96/44.16 v ~x4500 ~x3968 ~x6058 ~x500 ~x3325 ~x4833 ~x3964 ~x4433 ~x4487 ~x6081
43.96/44.16 v ~x523 ~x3339 ~x4808 ~x1644 ~x4458 ~x3051 ~x5137 ~x637 ~x3281 ~x4681
43.96/44.16 v ~x1622 ~x4378 ~x3031 ~x5180 ~x664 ~x3302 ~x4655 ~x1683 ~x4400 ~x3098
43.96/44.16 v ~x5205 ~x600 ~x3084 ~x4720 ~x1666 ~x4322 ~x3711 ~x5234 ~x619 ~x3109
43.96/44.16 v ~x4693 ~x2582 ~x4350 ~x3738 ~x4165 ~x830 ~x3039 ~x4596 ~x2604 ~x4262
43.96/44.16 v ~x3764 ~x4189 ~x808 ~x3059 ~x4576 ~x2575 ~x4300 ~x5489 ~x4513 ~x1131
43.96/44.16 v ~x3162 ~x4638 ~x2549 ~x4221 ~x6036 ~x4537 ~x1154 ~x3189 ~x4617 ~x415
43.96/44.16 v ~x4246 ~x5948 ~x3371 ~x1177 ~x3117 ~x5248 ~x447 ~x4168 ~x5976 ~x3404
43.96/44.16 v ~x1199 ~x3138 ~x5276 ~x467 ~x4193 ~x5891 ~x3433 ~x1217 ~x4405 ~x5267
43.96/44.16 v ~x490 ~x4130 ~x5271 ~x3450 ~x1240 ~x4384 ~x5293 ~x963 ~x4106 ~x5297
43.96/44.16 v ~x2821 ~x1377 ~x4459 ~x5312 ~x982 ~x4085 ~x5315 ~x2784 ~x1350 ~x4437
43.96/44.16 v ~x5121 x1089 ~x4061 ~x5140 ~x2986 ~x1334 ~x4501 ~x5152 ~x1114 ~x4042
43.96/44.16 v ~x924 ~x2958 ~x1311 ~x4476 ~x5183 x4124 ~x4023 ~x705 ~x1084 ~x2087
43.96/44.16 v ~x4555 ~x5214 ~x4102 ~x4824 ~x687 ~x1063 ~x2117 ~x4528 ~x5061 ~x3103
43.96/44.16 v ~x4798 ~x749 ~x1035 ~x2021 ~x4172 ~x5072 ~x3075 ~x4690 ~x3513 ~x869
43.96/44.16 v ~x2052 ~x4148 ~x5095 ~x5488 ~x4669 ~x3482 ~x5321 ~x2335 ~x4225 ~x5114
43.96/44.16 v ~x5467 ~x4738 ~x3570 ~x5135 ~x2305 ~x4196 ~x4969 ~x4635 ~x4716 ~x3542
43.96/44.16 v ~x5167 ~x2171 ~x4296 ~x4996 ~x4619 ~x4599 ~x2906 x5200 ~x2133 ~x4267
43.96/44.16 v ~x5012 ~x1230 ~x4593 ~x2933 ~x6074 ~x2223 ~x4271 x5034 ~x1255 ~x4570
43.96/44.16 v ~x2839 ~x6004 ~x2194 ~x4359 ~x4055 ~x28 ~x4639 ~x2870 ~x6033 ~x2923
43.96/44.16 v ~x4332 ~x4025 ~x9 ~x4614 ~x2000 ~x5955 x2953 ~x3989 ~x4003 ~x2298
43.96/44.16 v ~x4517 ~x2035 ~x3564 ~x4483 ~x4008 ~x3984 ~x2267 ~x4545 ~x2065 ~x3584
43.96/44.16 v ~x4507 ~x4028 ~x4136 ~x1341 ~x4478 ~x2098 ~x3607 ~x4530 ~x4045 ~x4756
43.96/44.16 v ~x1321 ~x4499 ~x1028 ~x3640 ~x4557 ~x4066 ~x4832 ~x3391 ~x4432 ~x1057
43.96/44.16 v ~x4364 ~x4386 ~x4090 ~x4807 ~x3358 ~x4457 ~x1185 ~x4275 ~x4410 ~x4113
43.96/44.16 v ~x4680 ~x5832 ~x4377 ~x1208 ~x4306 ~x4439 ~x4132 ~x4654 ~x5805 ~x4399
43.96/44.16 v ~x392 ~x4416 ~x4461 ~x3797 ~x4719 ~x5154 ~x4321 ~x427 ~x1610 ~x3367
43.96/44.16 v ~x3821 ~x4692 ~x5129 ~x4349 ~x459 ~x1581 ~x3397 ~x3848 ~x4595 ~x1041
43.96/44.16 v ~x4261 ~x478 ~x1555 ~x3746 ~x3874 ~x4575 ~x1068 ~x4299 ~x5695 ~x1521
43.96/44.16 v ~x3768 ~x3900 ~x4637 ~x306 ~x4220 ~x5677 ~x2482 ~x3697 ~x3913 ~x4616
43.96/44.16 v ~x331 ~x4245 ~x5550 ~x2567 ~x3726 ~x3933 ~x5247 ~x2699 ~x4167 x5527
43.96/44.16 v ~x2533 ~x3646 ~x3960 ~x5275 x2722 ~x4192 ~x4949 ~x2400 ~x3673 ~x1847
43.96/44.16 v ~x5266 ~x1519 ~x4129 ~x4925 ~x2664 ~x5804 ~x1870 ~x5292 ~x1496 ~x4105
43.96/44.16 v ~x4888 ~x236 ~x5826 ~x1801 ~x5311 ~x4339 ~x4084 ~x4864 ~x218 ~x5850
43.96/44.16 v ~x1826 ~x5120 ~x4367 ~x4060 ~x4338 ~x208 ~x5868 ~x1757 ~x5151 ~x2077
43.96/44.16 v ~x4041 ~x4365 ~x890 ~x5885 ~x1777 ~x5182 ~x2110 ~x4022 ~x4004 ~x998
43.96/44.16 v ~x5914 ~x4554 ~x5213 ~x1703 ~x4006 ~x3987 ~x1019 ~x5933 ~x4527 ~x5060
43.96/44.16 v ~x1734 ~x3986 ~x216 ~x960 ~x5968 ~x4171 ~x5071 ~x1760 ~x3981 ~x232
43.96/44.16 v ~x980 ~x4963 ~x4147 ~x5094 ~x1784 ~x3955 ~x184 ~x1090 ~x4982 ~x4224
43.96/44.16 v ~x5113 ~x1824 ~x3928 ~x203 ~x1111 ~x5099 ~x4195 ~x4968 ~x1827 ~x3903
43.96/44.16 v ~x2185 ~x1039 ~x5117 ~x4295 ~x4995 ~x2043 ~x3887 ~x2227 ~x246 ~x5059
43.96/44.16 v ~x4266 ~x5011 ~x2013 ~x3865 ~x2492 ~x285 ~x5077 ~x4270 ~x5033 ~x2108
43.96/44.16 v ~x3842 ~x2520 ~x271 ~x5185 ~x4358 ~x4054 ~x2069 ~x3816 ~x1361 ~x311
43.96/44.16 v ~x5222 ~x4331 ~x4024 ~x1731 ~x3789 ~x1393 ~x329 ~x1126 ~x3988 ~x4002
43.96/44.16 v ~x1702 ~x3698 ~x1301 ~x352 ~x1911 ~x4007 ~x3983 ~x1788 ~x3722 ~x1326
43.96/44.16 v ~x376 ~x2801 ~x4027 ~x4135 ~x1765 x1 ~x3755 ~x3731 ~x416 ~x3601
43.96/44.16 v ~x4044 ~x4110 ~x2810 x2 ~x3770 ~x3702 ~x2500 ~x4397 ~x4065 ~x4092
43.96/44.16 v ~x2783 x4 ~x3599 x3672 ~x2469 ~x5177 ~x4089 ~x4070 ~x2992 x5
43.96/44.16 v ~x3626 ~x3655 ~x2434 x5923 ~x4112 ~x3869 ~x2963 x6 ~x3650 ~x4496
43.96/44.16 v ~x2404 ~x5466 ~x4131 ~x3858 ~x2927 x8 ~x3681 ~x4475 ~x2374 ~x5818
43.96/44.16 v ~x3796 ~x3826 ~x2902 x10 ~x3467 ~x4549 ~x2739 ~x5799 ~x3820 ~x3800
43.96/44.16 v ~x2678 x12 ~x3492 ~x4521 ~x2765 ~x5773 ~x3847 ~x3973 ~x2649 ~x3522
43.96/44.16 v ~x3843 ~x2689 ~x5749 ~x3873 ~x3943 ~x631 ~x3241 ~x3571 ~x3864 ~x1628
43.96/44.16 v ~x5728 ~x3899 ~x3924 ~x606 ~x3267 ~x3370 ~x5219 ~x1688 ~x5704 ~x3912
43.96/44.16 v ~x3893 ~x668 ~x3286 ~x3403 ~x1670 ~x4865 ~x3932 ~x4423 ~x644 ~x3304
43.96/44.16 v ~x3426 ~x1548 ~x4893 ~x3959 ~x4428 ~x547 ~x5187 x5676 ~x3453 ~x1517
43.96/44.16 v ~x4922 ~x1846 ~x4455 ~x519 ~x4709 ~x3306 ~x1601 ~x4950 ~x1869 ~x4380
43.96/44.16 v ~x590 ~x4736 ~x3288 ~x1578 ~x5697 ~x4755 ~x1800 ~x4404 ~x569 ~x4664
43.96/44.16 v ~x3341 ~x1804 ~x5621 ~x4781 ~x1825 ~x4532 ~x48 ~x4684 ~x3321 ~x4099
43.96/44.16 v ~x5647 ~x4805 ~x1756 ~x4553 ~x74 ~x5382 x3610 ~x3838 ~x4618 ~x4831
43.96/44.16 v ~x1776 ~x4486 ~x1288 ~x5398 ~x2319 ~x3859 ~x4641 ~x4658 ~x1693 ~x4506
43.96/44.16 v ~x1279 ~x5426 ~x1365 ~x3786 ~x4860 ~x4663 ~x1722 ~x4203 ~x1256 ~x5451
43.96/44.16 v ~x797 ~x3814 ~x4895 ~x5066 ~x2090 ~x4234 ~x1236 ~x1250 ~x589 ~x3935
43.96/44.16 v ~x1247 ~x5045 ~x2129 ~x4159 ~x1204 x5246 ~x5837 x3963 ~x1226 ~x5102
43.96/44.16 v ~x2025 ~x4183 ~x1181 ~x6011 ~x5001 ~x3883 ~x1294 ~x5081 ~x2057 ~x4316
43.96/44.16 v ~x727 ~x3690 ~x4334 ~x3311 ~x1272 ~x4977 x1967 ~x4345 ~x750 ~x4466
43.96/44.16 v ~x1896 ~x3332 ~x538 ~x4956 ~x1958 ~x4253 ~x688 ~x2064 ~x1928 ~x3349
43.96/44.16 v ~x514 ~x5025 ~x1983 ~x4282 ~x707 ~x2945 ~x2070 ~x3020 ~x673 ~x5003
43.96/44.16 v ~x1903 ~x3228 x4954 ~x530 ~x2104 ~x3046 ~x650 ~x737 ~x1935 ~x3209
43.96/44.16 v ~x4976 ~x1171 ~x1999 ~x3065 ~x2936 ~x721 ~x1486 ~x3265 ~x4997 ~x1148
43.96/44.16 v ~x2036 ~x3086 ~x2908 ~x702 ~x1459 ~x3982 ~x5022 ~x1125 ~x1772 ~x3120
43.96/44.16 v ~x3001 ~x684 ~x1437 ~x4134 ~x4845 ~x811 ~x1795 ~x5630 ~x818 ~x1417
43.96/44.16 v ~x4109 ~x4812 ~x814 ~x1719 ~x5570 ~x801 ~x1396 ~x4091 ~x4891 ~x758
43.96/44.16 v ~x2971 ~x1741 ~x5591 ~x781 ~x1368 ~x4069 ~x4869 ~x778 ~x2205 ~x1855
43.96/44.16 v ~x5511 ~x763 ~x1340 ~x3868 ~x4942 ~x726 ~x2232 ~x1882 ~x5543 ~x1047
43.96/44.16 v ~x1314 ~x3857 ~x4924 ~x746 ~x2102 ~x1810 ~x5473 ~x1055 ~x1680 ~x3825
43.96/44.16 v ~x5756 ~x689 ~x2063 ~x1830 ~x5504 ~x1190 ~x1660 ~x3799 ~x5776 ~x708
43.96/44.16 v ~x1373 ~x1594 ~x5428 ~x1214 ~x1642 ~x3972 ~x5594 ~x929 ~x1398 ~x1569
43.96/44.16 v ~x4883 ~x1142 ~x1619 ~x3942 ~x5574 ~x942 ~x1320 ~x1534 ~x4899 ~x1167
43.96/44.16 v ~x1603 ~x3923 ~x5551 ~x901 ~x1345 ~x1511 ~x4931 ~x1270 ~x1580 ~x3892
43.96/44.16 v ~x5524 ~x917 ~x614 ~x1691 ~x4746 ~x1292 ~x1543 ~x4422 ~x5700 ~x868
43.96/44.16 v ~x60 ~x1669 ~x4767 ~x1229 ~x1516 ~x4427 ~x5680 ~x1968 ~x719 ~x1646
43.96/44.16 v ~x4803 ~x1259 ~x2693 ~x4454 ~x5649 ~x2059 ~x1369 ~x1627 ~x4823 ~x2721
43.96/44.16 v ~x33 ~x4379 ~x5623 ~x2029 ~x2207 ~x1384 ~x4667 ~x17 ~x2742 ~x4403
43.96/44.16 v ~x5130 ~x2122 ~x3111 ~x1359 ~x2241 ~x82 ~x2762 ~x4531 ~x5155 ~x2093
43.96/44.16 v x3872 ~x1330 ~x2228 ~x57 ~x1755 ~x4552 ~x5190 ~x1319 ~x4628 ~x1305
43.96/44.16 v ~x2196 ~x119 ~x1775 ~x4485 ~x5218 ~x1346 ~x3602 ~x1477 ~x2170 ~x98
43.96/44.16 v ~x1692 ~x4505 ~x5242 ~x1370 ~x3578 ~x1448 ~x2146 ~x402 ~x1721 ~x4202
43.96/44.16 v ~x5265 ~x1399 ~x3657 ~x1462 ~x2028 ~x438 ~x2089 ~x4233 ~x5285 ~x1413
43.96/44.16 v ~x3629 ~x1444 ~x2001 ~x454 ~x2128 ~x4158 ~x5310 ~x1434 ~x5922 ~x1420
43.96/44.16 v ~x2033 ~x475 ~x2024 ~x4182 ~x5813 ~x1460 ~x5894 ~x2790 ~x1410 ~x511
43.96/44.16 v ~x2056 ~x4315 ~x5834 ~x1488 ~x6083 ~x2813 ~x1482 ~x543 ~x1966 ~x4344
43.96/44.16 v ~x5934 ~x1499 ~x6061 ~x2847 ~x1450 ~x564 ~x1957 ~x4252 ~x5969 x1523
43.96/44.16 v ~x5175 ~x2878 ~x1323 ~x583 ~x1982 ~x4281 ~x5878 ~x1549 ~x5139 ~x2899
43.96/44.16 v ~x1299 ~x607 ~x1902 ~x3227 ~x5905 ~x2860 ~x5238 ~x2935 ~x1380 ~x630
43.96/44.16 v ~x1934 ~x3208 ~x6050 ~x2832 ~x5208 ~x2965 ~x1349 ~x646 ~x1485 ~x3264
43.96/44.16 v ~x6071 ~x2802 ~x871 ~x2995 ~x1371 ~x666 ~x1458 ~x3245 ~x3378 ~x3009
43.96/44.16 v ~x889 ~x2593 ~x3916 ~x2344 ~x1436 ~x3301 ~x3381 ~x2976 ~x759 ~x2614
43.96/44.16 v ~x4035 ~x2314 ~x1416 ~x3284 ~x3415 ~x2939 ~x2644 ~x4051 ~x2284 ~x1395
43.96/44.16 v ~x3337 ~x3443 ~x2907 ~x779 ~x2675 ~x3991 x2257 ~x1367 ~x3320 ~x3699
43.96/44.16 v ~x2204 ~x226 ~x2703 ~x4012 ~x2687 ~x1339 ~x3056 ~x3729 ~x2230 ~x239
43.96/44.16 v ~x2715 ~x4117 ~x2716 ~x1313 ~x3035 ~x3751 ~x2148 ~x190 ~x2736 ~x4140
43.96/44.16 v ~x2631 ~x1679 ~x3097 ~x3774 ~x2177 ~x206 ~x2756 ~x4076 ~x2677 ~x1659
43.96/44.16 v ~x3073 ~x4276 ~x2329 x2428 ~x2418 ~x3140 ~x2590 ~x1641 ~x3151 ~x4305
43.96/44.16 v ~x2354 ~x2456 ~x2390 ~x3156 ~x2615 ~x1618 ~x3129 ~x4204 ~x2270 ~x2483
43.96/44.16 v ~x2471 ~x3181 ~x2969 ~x1602 ~x3200 ~x4232 ~x2287 ~x2512 ~x2440 ~x3220
43.96/44.16 v ~x2996 ~x1579 ~x3178 ~x4160 ~x2432 ~x1554 ~x2525 ~x3239 ~x2910 ~x1542
43.96/44.16 v ~x3158 ~x4181 ~x1802 ~x1582 ~x2505 ~x3253 ~x2937 ~x1515 ~x3597 ~x4522
43.96/44.16 v ~x1998 ~x1495 ~x2577 ~x3280 ~x2834 ~x2692 ~x3622 ~x4547 ~x1971 ~x1533
43.96/44.16 v ~x2553 ~x3293 ~x2879 ~x2720 ~x3654 ~x1926 ~x1945 ~x4419 ~x2163 ~x5452
43.96/44.16 v ~x2781 ~x2741 ~x3676 x1895 ~x1918 ~x4444 ~x2144 ~x5380 ~x2814 ~x2761
43.96/44.16 v ~x3693 ~x1975 ~x2112 ~x3931 ~x2219 ~x5402 ~x1441 ~x2587 ~x3721 ~x1972
43.96/44.16 v ~x2083 ~x3907 ~x2187 ~x5345 ~x1423 ~x2610 ~x3744 ~x2046 ~x2041 ~x3919
43.96/44.16 v ~x2277 ~x5365 ~x1809 ~x2633 ~x3780 ~x2015 ~x2005 ~x3950 ~x2286 ~x5664
43.96/44.16 v ~x1835 ~x2661 ~x3357 ~x2121 ~x1366 ~x3969 ~x2255 ~x5682 ~x1853 ~x2914
43.96/44.16 v ~x3380 ~x2082 ~x1394 ~x3990 ~x2348 ~x5613 ~x1875 ~x2942 ~x3418 ~x2262
43.96/44.16 v ~x1312 ~x1613 ~x2326 ~x4685 ~x1717 ~x2974 ~x3438 ~x2292 ~x1338 ~x1585
43.96/44.16 v ~x2789 ~x4710 ~x1745 ~x3005 ~x3475 ~x2882 ~x1470 ~x1557 ~x2812 ~x4737
43.96/44.16 v ~x1769 ~x3000 ~x3504 ~x2850 ~x1493 ~x1526 ~x2846 ~x4578 ~x1790 ~x2777
43.96/44.16 v ~x3527 ~x2827 ~x1415 ~x2488 ~x2877 ~x4598 ~x2002 ~x2808 ~x3569 ~x2797
43.96/44.16 v ~x2694 ~x2565 ~x2898 ~x4620 ~x2034 ~x2838 ~x2323 ~x3010 ~x2763 ~x2541
43.96/44.16 v ~x2934 ~x4643 ~x2066 ~x2867 ~x3207 ~x2981 ~x2738 ~x2394 ~x2964 ~x4850
43.96/44.16 v ~x2103 ~x2297 ~x3263 ~x22 ~x2826 ~x2662 ~x2994 ~x823 ~x1900 ~x2264
43.96/44.16 v ~x3244 ~x34 ~x2795 ~x235 ~x2592 ~x1150 ~x1923 ~x2358 ~x3300 ~x59
43.96/44.16 v ~x2887 ~x219 ~x2613 ~x1129 ~x1948 ~x2317 ~x3283 ~x83 ~x2856 ~x207
43.96/44.16 v ~x2643 ~x1197 ~x1974 ~x2179 ~x3336 ~x625 ~x2951 ~x487 ~x2674 ~x1170
43.96/44.16 v ~x1575 ~x2155 ~x3319 ~x595 ~x2900 x408 ~x2702 ~x1245 ~x1600 ~x2237
43.96/44.16 v ~x3055 ~x665 ~x2987 ~x426 ~x2714 ~x1222 ~x1836 ~x2211 ~x3034 ~x640
43.96/44.16 v ~x2960 ~x856 ~x2735 ~x1285 ~x1812 ~x2510 ~x3096 ~x764 ~x2151 ~x1017
43.96/44.16 v ~x2755 ~x167 ~x1871 ~x2480 ~x3072 ~x782 ~x2181 ~x1043 ~x2417 ~x112
43.96/44.16 v ~x1859 ~x2557 ~x3150 ~x722 ~x2206 ~x1071 ~x2389 ~x134 ~x1737 ~x2548
43.96/44.16 v ~x3128 ~x738 ~x2234 ~x1077 ~x2470 ~x572 ~x1714 ~x2408 ~x3199 ~x685
43.96/44.16 v ~x2259 ~x5516 ~x2439 ~x548 ~x1791 ~x2377 ~x3177 ~x703 ~x406 ~x5586
43.96/44.16 v ~x2524 ~x529 ~x1766 ~x2461 ~x3157 ~x1280 ~x377 ~x5563 ~x2504 x503
43.96/44.16 v ~x2037 ~x2436 ~x3596 ~x1262 ~x357 ~x5639 ~x2576 ~x658 ~x2004 ~x356
43.96/44.16 v ~x3621 ~x4440 ~x330 ~x4671 ~x2552 ~x1839 ~x2099 ~x381 ~x3653 ~x4465
43.96/44.16 v ~x307 ~x4825 ~x2162 ~x1854 ~x2076 ~x2740 ~x3675 ~x4383 ~x662 ~x4801
43.96/44.16 v ~x2143 ~x1881 ~x1920 ~x2760 ~x3692 ~x4407 ~x635 ~x4771 ~x2218 ~x1718
43.96/44.16 v ~x1894 ~x2586 ~x3720 ~x4320 ~x617 ~x3473 ~x2186 ~x1740 ~x2449 ~x2609
43.96/44.16 v ~x3743 ~x4353 ~x598 ~x3500 ~x2276 ~x1749 ~x2477 ~x2632 ~x3779 ~x4269
43.96/44.16 v ~x592 ~x3532 ~x2285 ~x1779 ~x2385 ~x2660 ~x3356 ~x4294 ~x567 ~x3563
43.96/44.16 v ~x2254 ~x876 ~x2421 ~x2913 ~x3379 ~x3752 ~x545 ~x3364 ~x2347 ~x1253
43.96/44.16 v ~x2757 ~x2941 ~x3417 ~x3773 ~x517 ~x3389 ~x2325 ~x991 ~x2737 ~x2973
43.96/44.16 v ~x3437 ~x3591 ~x138 ~x3413 ~x642 ~x1009 ~x2731 ~x3004 ~x3474 ~x3614
43.96/44.16 v ~x158 ~x3441 ~x671 ~x949 ~x2706 ~x2999 ~x3503 ~x3644 ~x95 ~x1820
43.96/44.16 v ~x603 ~x969 ~x2667 ~x2776 ~x3526 ~x3678 ~x1042 ~x1841 ~x621 ~x1081
43.96/44.16 v ~x2637 ~x2807 ~x3568 ~x3465 ~x1124 ~x1866 ~x560 ~x1118 ~x2616 ~x2837
43.96/44.16 v ~x2322 ~x3491 ~x1088 ~x1888 ~x585 ~x1046 ~x2591 ~x2866 ~x2352 ~x2166
43.96/44.16 v ~x983 ~x1710 ~x507 x626 ~x3002 ~x2296 ~x2253 ~x2136 ~x959 ~x1732
43.96/44.16 v ~x534 ~x652 ~x2970 ~x2263 ~x2291 ~x2214 ~x1020 ~x1759 ~x456 ~x678
43.96/44.16 v ~x2928 ~x2357 ~x2209 ~x2190 ~x999 ~x1785 ~x472 ~x299 ~x2903 ~x2316
43.96/44.16 v ~x2239 ~x2282 ~x1242 ~x1376 ~x399 ~x322 ~x395 ~x2178 ~x2153 ~x2249
43.96/44.16 v ~x1219 ~x434 ~x341 ~x431 ~x2154 ~x2174 ~x2336 ~x1281 ~x1354 ~x362
43.96/44.16 v ~x363 ~x457 ~x2236 ~x2540 ~x2307 ~x1274 ~x1647 ~x384 ~x401 ~x476
43.96/44.16 v ~x2210 ~x2564 ~x2019 ~x1160 ~x1623 ~x315 ~x4613 ~x4838 ~x2509 ~x2487
43.96/44.16 v x2048 ~x1141 ~x1681 ~x336 ~x4675 x4814 ~x2479 ~x2517 ~x1389 ~x1200
43.96/44.16 v ~x1665 ~x283 ~x4648 ~x4886 ~x2556 ~x2423 ~x1362 ~x1183 ~x1544 ~x270
43.96/44.16 v ~x4721 ~x4861 ~x2547 ~x2452 ~x1329 ~x768 ~x1514 ~x255 ~x4700 ~x5600
43.96/44.16 v ~x2407 ~x2365 ~x1304 ~x874 ~x1604 ~x244 ~x4782 ~x5575 ~x2376 ~x2379
43.96/44.16 v ~x1478 ~x5184 ~x1551 ~x228 ~x4762 ~x5552 ~x2460 ~x2414 ~x1453 ~x5211
43.96/44.16 v ~x2747 ~x212 ~x4844 ~x5529 ~x2435 ~x2753 ~x1135 ~x5127 ~x2768 ~x199
43.96/44.16 v ~x5375 ~x5801 ~x355 ~x2734 ~x1151 ~x5156 ~x2701 ~x178 ~x5349 ~x5820
43.96/44.16 v ~x380 ~x2711 ~x1173 ~x5287 ~x2723 ~x172 ~x5330 ~x3307 ~x310 ~x2683
43.96/44.16 v ~x1195 ~x5307 ~x2650 ~x153 ~x5495 ~x3289 ~x339 ~x2659 ~x787 ~x5241
43.96/44.16 v ~x2679 ~x132 ~x5469 ~x3399 ~x462 ~x2635 ~x775 ~x5264 ~x2225 ~x115
43.96/44.16 v ~x5439 ~x3402 ~x483 ~x2607 ~x826 ~x5013 ~x2197 ~x97 ~x5418 ~x3428
43.96/44.16 v ~x411 ~x2585 ~x803 ~x5038 ~x2168 ~x81 ~x5595 ~x3455 ~x440 ~x3013
43.96/44.16 v ~x623 ~x4953 ~x2132 ~x55 ~x3665 ~x4292 ~x557 ~x2979 ~x613 ~x4974
43.96/44.16 v ~x2579 ~x2346 ~x3144 ~x4199 ~x580 ~x2950 ~x553 ~x5085 ~x2554 ~x2324
43.96/44.16 v ~x3132 ~x4218 ~x502 ~x2918 ~x576 ~x5107 ~x2530 ~x641 ~x3195 ~x4243
43.96/44.16 v ~x513 ~x2885 ~x494 ~x5049 ~x2508 ~x670 ~x3171 ~x1912 ~x540 ~x2854
43.96/44.16 v ~x526 ~x264 ~x2463 ~x602 ~x3058 ~x1989 ~x649 ~x2820 ~x170 ~x251
43.96/44.16 v ~x2433 ~x620 ~x3032 ~x1964 ~x676 ~x3567 ~x151 ~x78 ~x2398 ~x559
43.96/44.16 v ~x3099 ~x1960 ~x609 ~x2321 ~x5707 ~x52 ~x2369 ~x584 ~x4445 ~x2686
43.96/44.16 v ~x628 ~x2351 ~x5777 ~x37 ~x302 ~x506 ~x4368 ~x2893 ~x73 ~x2252
43.96/44.16 v ~x5784 ~x13 ~x325 ~x533 ~x4391 ~x2862 ~x46 ~x2290 ~x5758 ~x157
43.96/44.16 v ~x348 ~x455 ~x3971 ~x2829 ~x32 ~x2208 ~x5833 ~x141 ~x368 ~x471
43.96/44.16 v ~x3947 ~x334 ~x19 ~x2238 ~x5814 ~x2395 ~x91 ~x398 ~x3921 ~x323
43.96/44.16 v ~x160 ~x2152 ~x5875 ~x2361 ~x70 ~x433 ~x3890 ~x300 ~x140 ~x2173
43.96/44.16 v ~x5855 ~x2459 ~x127 ~x361 ~x3876 ~x364 ~x121 ~x2539 ~x5259 ~x2430
43.96/44.16 v ~x117 ~x383 ~x1758 ~x1246 ~x100 ~x2563 ~x5021 ~x2283 ~x166 ~x314
43.96/44.16 v ~x1845 ~x1223 ~x242 ~x2486 ~x4998 ~x2256 ~x150 ~x335 ~x1823 ~x1227
43.96/44.16 v ~x224 ~x2516 ~x5017 ~x2343 ~x200 ~x282 ~x1884 ~x1010 ~x193 ~x2422
43.96/44.16 v ~x4988 ~x2313 ~x176 ~x269 ~x1860 ~x1936 ~x175 ~x2451 ~x4971 ~x1634
43.96/44.16 v ~x231 ~x254 ~x1505 ~x1907 ~x288 ~x2364 ~x5116 ~x1605 ~x215 ~x243
43.96/44.16 v ~x1530 ~x1994 ~x274 ~x2378 ~x5088 ~x1587 ~x258 ~x227 ~x1558 x1984
43.96/44.16 v ~x261 ~x2413 ~x4289 ~x1552 ~x250 ~x211 ~x2943 ~x248 ~x2752 ~x3496
43.96/44.16 v ~x1522 ~x289 ~x198 ~x2915 ~x354 ~x2733 ~x5825 ~x1498 ~x276 ~x177
43.96/44.16 v ~x2891 ~x379 ~x2710 x5078 ~x1491 ~x984 ~x171 ~x2858 ~x309 ~x2682
43.96/44.16 v ~x61 ~x1466 ~x1002 ~x152 ~x3071 ~x338 ~x2658 ~x735 ~x3804 ~x751
43.96/44.16 v ~x131 ~x3089 ~x461 ~x2634 ~x1360 x3832 ~x732 ~x114 ~x3026 ~x482
43.96/44.16 v ~x2606 ~x2195 ~x3853 ~x711 ~x96 ~x3048 ~x410 ~x2584 ~x437 ~x3877
43.96/44.16 v ~x694 ~x80 ~x3719 ~x439 ~x3012 ~x1074 ~x3898 ~x828 ~x54 ~x3691
43.96/44.16 v ~x556 ~x2978 x4715 ~x3929 ~x807 ~x39 ~x3785 ~x579 ~x2949 ~x5461
43.96/44.16 v ~x3958 ~x785 ~x16 ~x3809 ~x501 ~x2917 ~x3176 ~x3978 ~x770 ~x1234
43.96/44.16 v ~x4504 ~x512 ~x2884 ~x3946 ~x4533 ~x877 ~x1258 ~x4484 ~x539 ~x2853
43.96/44.16 v ~x4396 ~x4512 ~x863 ~x1277 ~x4558 ~x648 ~x2819 ~x1816 ~x3074 ~x853
43.96/44.16 v ~x1291 ~x4525 ~x675 ~x2788 ~x5956 ~x3100 ~x839 ~x1144 ~x5269 ~x608
43.96/44.16 v ~x1419 ~x5817 ~x3033 ~x943 ~x1166 ~x5244 ~x627 ~x1443 ~x5806 ~x3063
43.96/44.16 v ~x934 ~x1188 ~x5212 ~x72 ~x1469 ~x5876 ~x3164 ~x918 ~x1213 ~x5181
43.96/44.16 v ~x45 ~x1494 ~x5856 ~x3188 ~x900 ~x1026 ~x4223 ~x31 ~x1315 ~x5735
43.96/44.16 v ~x3765 ~x5031 ~x1053 ~x4248 ~x18 ~x1337 ~x5714 ~x3742 ~x5004 ~x1079
43.96/44.16 v ~x4274 ~x159 ~x1372 ~x5785 ~x3714 ~x4851 ~x1116 ~x4301 ~x139 ~x1397
43.96/44.16 v ~x5759 ~x3689 ~x4876 ~x956 ~x2384 ~x120 ~x1612 ~x5617 ~x5419 ~x4903
43.96/44.16 v ~x978 ~x2474 ~x99 ~x1638 ~x5640 ~x5440 ~x4928 ~x994 ~x2455 ~x241
43.96/44.16 v ~x1655 ~x5655 ~x5459 ~x4754 ~x1016 ~x2425 ~x223 ~x1678 ~x5681 ~x5487
43.96/44.16 v ~x4774 ~x912 ~x1411 ~x192 ~x1503 ~x5519 ~x6078 ~x4804 ~x896 ~x1591
43.96/44.16 v ~x174 ~x1524 ~x5539 ~x6056 ~x4829 ~x937 ~x1573 ~x287 ~x1541 ~x5569
43.96/44.16 v ~x5920 ~x4662 ~x923 ~x1559 ~x273 ~x1566 ~x5592 ~x5889 ~x4686 ~x850
43.96/44.16 v ~x692 ~x260 ~x1590 ~x5424 ~x5983 ~x4714 ~x836 ~x753 ~x247 ~x1829
43.96/44.16 v ~x5417 ~x5951 ~x4730 ~x883 ~x734 ~x962 ~x1811 ~x5441 ~x4701 ~x4567
43.96/44.16 v ~x862 ~x909 ~x981 ~x1874 ~x5462 ~x4731 ~x4587 ~x108 ~x996 ~x1850
43.96/44.16 v ~x5490 ~x5319 ~x5791 ~x87 ~x1018 ~x1723 ~x791 ~x5334 ~x5296 ~x5766
43.96/44.16 v ~x67 ~x1044 ~x1696 ~x774 ~x5348 ~x5270 ~x5742 ~x44 ~x1070 ~x1783
43.96/44.16 v ~x825 ~x5374 ~x5245 ~x5718 ~x5542 ~x1093 ~x1753 ~x822 ~x5390 ~x5235
43.96/44.16 v ~x5656 ~x5568 ~x1119 ~x2047 ~x796 ~x5322 ~x5207 ~x5683 ~x5593 ~x1128
43.96/44.16 v ~x2022 ~x79 ~x5306 ~x5178 ~x5618 ~x5610 ~x1149 ~x2111 ~x53 ~x5282
43.96/44.16 v ~x5147 ~x5641 ~x5057 ~x1164 ~x2080 ~x38 ~x5258 ~x2713 ~x5560 ~x4802
43.96/44.16 v ~x1189 ~x1944 ~x15 ~x5231 ~x2447 ~x5585 ~x4828 ~x1211 ~x5709 ~x1233
43.96/44.16 v ~x5203 x1565 ~x5507 ~x4750 ~x1224 ~x5788 ~x1257 ~x5204 ~x2496 ~x5536
43.96/44.16 v ~x4146 ~x1251 ~x5765 ~x1276 ~x5168 ~x1629 ~x5478 ~x4228 ~x1269 ~x6024
43.96/44.16 v ~x1290 ~x5136 ~x777 ~x5503 ~x4201 ~x1289 ~x5052 ~x1143 ~x5112 ~x109
43.96/44.16 v ~x5404 x4080 ~x706 ~x5037 ~x1165 ~x5089 ~x5632 ~x5430 ~x1949 ~x686
43.96/44.16 v ~x5010 ~x1187 ~x5075 ~x5943 ~x3449 ~x1973 ~x739 ~x4991 ~x1212 ~x5053
43.96/44.16 v ~x5975 ~x3422 ~x1439 ~x716 ~x4157 ~x1025 ~x5041 ~x5992 ~x3495 ~x1418
43.96/44.16 v ~x784 ~x4230 ~x1052 ~x5018 ~x6019 ~x3469 ~x1490 ~x766 ~x4206 ~x1078
43.96/44.16 v ~x4987 ~x6040 ~x3546 ~x1464 ~x816 ~x4286 ~x1115 ~x4972 ~x6064 ~x3515
43.96/44.16 v ~x1342 ~x799 ~x4139 ~x955 ~x4905 ~x5719 ~x3214 ~x1316 ~x854 x3442
43.96/44.16 v ~x977 ~x4940 ~x5732 ~x3234 ~x1390 ~x838 ~x3416 ~x993 ~x4852 ~x3745
43.96/44.16 v ~x3248 ~x1364 ~x879 ~x3390 ~x1015 ~x4875 ~x3769 ~x3270 ~x1643 ~x860
43.96/44.16 v ~x3351 ~x911 ~x4793 ~x3694 ~x3299 ~x1621 ~x908 ~x3296 ~x895 ~x4822
43.96/44.16 v ~x3718 ~x3314 ~x1682 ~x891 ~x3315 ~x936 ~x4751 ~x3651 ~x3335 ~x1662
43.96/44.16 v ~x661 ~x2922 ~x922 ~x4772 ~x3680 ~x3354 ~x1546 ~x1013 ~x2312 ~x849
43.96/44.16 v ~x4786 ~x3594 ~x3018 ~x1518 ~x1876 ~x2158 ~x835 ~x4702 ~x3620 x3061
43.96/44.16 v ~x1267 ~x2657 ~x2139 ~x882 ~x4726 ~x3054 ~x3549 ~x1296 ~x3748 ~x2220
43.96/44.16 v ~x861 ~x4647 ~x3021 x4222 ~x1237 ~x3047 ~x1465 ~x790 ~x4674 ~x4482
43.96/44.16 v ~x5119 ~x1261 x3813 ~x1440 ~x773 ~x4612 ~x4503 ~x5971 ~x743 ~x4597
43.96/44.16 v ~x1404 ~x824 ~x4636 ~x4526 ~x2375 ~x723 ~x185 ~x1385 ~x821 ~x4574
43.96/44.16 v ~x4550 ~x1620 ~x699 ~x846 ~x932 ~x795 ~x4585 ~x4381 ~x840 ~x679
43.96/44.16 v ~x1318 ~x701 ~x698 ~x4390 ~x4401 ~x1113 ~x819 ~x2149 ~x683 ~x681
43.96/44.16 v ~x4370 ~x3827 ~x5124 ~x804 x3668 ~x757 ~x742 ~x4449 ~x3802 ~x5149
43.96/44.16 v ~x789 ~x4442 ~x832 ~x718 ~x4412 ~x3860 ~x5186 ~x771 ~x3902 ~x810
43.96/44.16 v ~x4582 ~x4413 ~x3837 ~x5217 ~x878 ~x4569 ~x792 ~x4564 ~x4494 ~x1324
43.96/44.16 v ~x5233 ~x864 ~x2627 ~x776 ~x4634 ~x4474 ~x1300 ~x5249 ~x851 ~x2652
43.96/44.16 v ~x875 ~x4611 ~x4541 ~x1375 ~x5277 ~x837 ~x2691 ~x886 ~x4677 ~x4523
43.96/44.16 v ~x1347 ~x5294 ~x561 ~x2719 ~x873 ~x4651 ~x4177 x1959 ~x833 ~x586
43.96/44.16 v ~x1754 ~x858 ~x4728 ~x4156 ~x1986 ~x847 ~x604 ~x1782 ~x841 ~x4696
43.96/44.16 v ~x4235 ~x2003 ~x1120 ~x622 ~x1698 ~x939 ~x4784 ~x4205 ~x2060 ~x643
43.96/44.16 v ~x1728 ~x931 ~x4760 ~x4288 ~x2088 ~x1095 ~x672 ~x881 ~x915 ~x4821
43.96/44.16 v ~x4256 ~x2124 ~x1072 ~x36 ~x866 ~x899 ~x4796 ~x4340 ~x2224 ~x1054
43.96/44.16 v ~x23 ~x1040 ~x986 ~x4882 ~x4326 ~x2199 ~x1023 ~x77 ~x1069 ~x1000
43.96/44.16 v ~x4856 ~x3992 ~x2835 ~x1008 ~x51 ~x225 ~x946 ~x4937 ~x4011 ~x2868
43.96/44.16 v ~x183 ~x133 ~x214 ~x967 ~x4911 ~x4032 ~x2779 ~x202 ~x116 x195
43.96/44.16 v ~x1086 ~x4966 ~x4052 ~x2809 ~x217 ~x173 ~x180 ~x1105 ~x4986 ~x4074
43.96/44.16 v ~x2975 ~x233 ~x154 ~x5391 ~x1033 ~x5020 ~x4095 ~x3008 ~x435 ~x201
43.96/44.16 v ~x5408 ~x1062 ~x5040 ~x4123 ~x2912 ~x403 ~x179 ~x5427 ~x1172 ~x5051
43.96/44.16 v ~x4101 ~x2938 ~x400 ~x5861 ~x5450 ~x1196 ~x5074 ~x4125 ~x340 ~x474
43.96/44.16 v ~x5843 ~x4632 ~x1133 ~x5093 ~x3803 ~x366 ~x2386 ~x5821 ~x4560 ~x1152
43.96/44.16 v ~x5111 ~x3834 ~x605 ~x2419 ~x5793 ~x4583 ~x1263 ~x5134 ~x3856 ~x629
43.96/44.16 v ~x2543 ~x5778 ~x4603 ~x1282 ~x5160 ~x3882 ~x653 ~x2573 ~x5757 ~x4043
43.96/44.16 v ~x1218 ~x5166 ~x3891 ~x655 ~x2493 ~x5730 ~x3906 ~x1238 ~x820 ~x3920
43.96/44.16 v ~x504 ~x2521 ~x5708 ~x3930 ~x43 ~x794 ~x3954 ~x531 ~x2656 ~x5672
43.96/44.16 v ~x3953 ~x24 ~x697 ~x3976 ~x992 ~x2676 ~x5696 ~x3266 ~x86 ~x680
43.96/44.16 v ~x3666 ~x1011 ~x1507 ~x5622 ~x3206 ~x65 ~x741 ~x3636 ~x952 x1536
43.96/44.16 v ~x5646 ~x3224 ~x130 ~x717 ~x3637 ~x972 ~x1576 ~x5559 ~x3168 ~x107
43.96/44.16 v ~x4581 ~x3606 ~x1271 ~x1599 ~x5582 x3634 ~x165 ~x4563 ~x3579 ~x1287
43.96/44.16 v ~x1630 ~x5508 ~x4421 ~x149 ~x4633 ~x3762 ~x1220 ~x1653 ~x5535 ~x1531
43.96/44.16 v ~x143 ~x4610 ~x3734 ~x1243 ~x1668 ~x5237 ~x2391 ~x205 ~x4676 ~x3730
43.96/44.16 v ~x3783 ~x1686 ~x5210 ~x209 ~x188 ~x4650 ~x3704 ~x3717 ~x4463 ~x5063
43.96/44.16 v ~x855 ~x238 ~x4727 ~x3434 ~x2200 ~x4434 ~x5043 ~x1087 ~x222 ~x4695
43.96/44.16 v ~x3414 ~x1451 ~x4291 ~x5104 ~x5227 ~x263 ~x4783 ~x3382 x730 ~x4260
43.96/44.16 v ~x5084 ~x3633 ~x253 ~x4759 ~x3355 ~x268 ~x4355 ~x4975 ~x3677 ~x294
43.96/44.16 v ~x4820 ~x3558 ~x5399 ~x4319 ~x4955 ~x3598 ~x278 ~x4795 ~x3534 ~x4740
43.96/44.16 v ~x4175 ~x5023 ~x3625 ~x304 ~x4881 ~x3497 ~x2921 ~x4150 ~x4999 ~x2864
43.96/44.16 v ~x327 ~x4855 ~x3468 ~x2948 ~x3674 ~x4870 ~x2836 ~x350 ~x4936 ~x3258
43.96/44.16 v ~x2629 ~x3649 ~x4894 ~x2707 ~x370 ~x4910 ~x3275 ~x2653 ~x3624 ~x4898
43.96/44.16 v ~x2685 ~x391 ~x4965 ~x3219 ~x2014 ~x3600 x4930 ~x1988 ~x424 ~x4985
43.96/44.16 v ~x3240 ~x2050 ~x3545 ~x4752 ~x1961 ~x449 ~x5019 ~x3330 ~x2081 ~x3518
43.96/44.16 v ~x4773 ~x1932 ~x493 ~x5039 ~x3345 ~x2114 ~x3494 ~x4538 ~x1910 ~x496
43.96/44.16 v ~x5050 ~x3344 ~x3087 ~x3464 ~x4511 x1206 ~x521 ~x5073 ~x3287 ~x3064
43.96/44.16 v ~x5965 ~x4490 ~x1186 ~x555 ~x5092 ~x3305 ~x3137 ~x5935 ~x4467 ~x1249
43.96/44.16 v ~x571 ~x5110 ~x3076 ~x3116 ~x6026 ~x4244 ~x1232 ~x597 ~x5133 ~x3095
43.96/44.16 v ~x3867 ~x5991 ~x4214 ~x581 ~x616 ~x5159 ~x3036 ~x3844 ~x6066 ~x4185
43.96/44.16 v ~x563 ~x639 ~x5165 ~x3057 ~x3815 ~x6042 ~x4164 ~x536 ~x660 ~x5199
43.96/44.16 v ~x3170 ~x3794 ~x5741 ~x4366 ~x509 ~x5661 ~x5230 ~x3192 ~x5193 ~x5722
43.96/44.16 v ~x4335 ~x102 ~x5688 ~x5254 ~x3124 ~x5221 ~x2318 ~x4310 ~x124 ~x85
43.96/44.16 v ~x5284 ~x3146 ~x4689 ~x2293 ~x4279 ~x5468 ~x64 ~x5301 ~x3147 ~x4666
43.96/44.16 v ~x2265 ~x4026 ~x5497 ~x129 ~x5324 ~x2700 ~x5959 ~x2231 ~x4058 ~x5982
43.96/44.16 v ~x106 ~x5394 ~x2728 x5964 ~x1501 ~x4000 ~x5952 ~x164 ~x5373 ~x2744
43.96/44.16 v ~x5884 ~x1489 ~x4017 ~x5916 ~x148 ~x5353 ~x2766 ~x5911 ~x1461 ~x3658
43.96/44.16 v ~x5892 ~x142 ~x5332 ~x2602 ~x372 ~x1442 ~x3628 ~x5314 ~x204 ~x5492
43.96/44.16 v ~x2605 ~x346 ~x2367 ~x3710 ~x5295 ~x187 ~x5464 ~x2628 ~x446 ~x2450
43.96/44.16 v ~x3688 ~x5179 ~x237 ~x5443 ~x2655 ~x413 ~x2424 ~x3767 ~x5146 ~x221
43.96/44.16 v ~x5421 ~x2916 ~x1004 ~x2299 ~x3737 ~x3082 ~x262 ~x5598 ~x2955 ~x989
43.96/44.16 v ~x189 ~x3409 ~x3105 ~x252 ~x5572 ~x2982 ~x965 ~x292 ~x3373 ~x3123
43.96/44.16 v ~x293 ~x5538 ~x3011 ~x958 ~x280 ~x3456 ~x3145 ~x277 ~x5510 ~x2796
43.96/44.16 v ~x1899 ~x265 ~x3432 ~x3169 ~x303 ~x5690 ~x2830 ~x1927 ~x842 ~x3506
43.96/44.16 v ~x3191 ~x326 x5658 ~x2863 ~x1863 ~x888 ~x3477 ~x3186 ~x349 ~x5638
43.96/44.16 v ~x2894 ~x1891 ~x870 ~x3566 ~x4462 ~x369 ~x5612 ~x2275 ~x2780 ~x914
43.96/44.16 v ~x3539 ~x3846 ~x390 ~x5770 ~x2242 ~x2811 ~x1098 ~x3210 ~x3871 ~x423
43.96/44.16 v ~x5782 ~x2337 ~x2845 ~x4694 ~x3233 ~x3795 ~x448 ~x5716 ~x2306 ~x2883
43.96/44.16 v ~x4718 ~x2271 ~x3824 ~x492 ~x5740 ~x2169 ~x3400 ~x4646 ~x2301 ~x3951
43.96/44.16 v ~x495 ~x5854 ~x2176 ~x3372 ~x5209 ~x2330 ~x3977 ~x520 ~x5874 ~x2150
43.96/44.16 v ~x3565 ~x5176 ~x2356 ~x3908 ~x554 ~x5810 ~x2229 ~x3536 ~x5142 ~x2147
43.96/44.16 v ~x3884 ~x570 ~x5831 x2201 ~x4194 ~x5412 ~x2175 ~x4806 ~x596 ~x5939
43.96/44.16 v ~x2513 ~x4170 ~x6044 ~x2202 ~x4830 ~x615 ~x5158 ~x2484 ~x4241 x5921
43.96/44.16 v ~x2235 ~x4660 ~x638 ~x5164 ~x2566 ~x4212 ~x5893 ~x2481 ~x4683 ~x659
43.96/44.16 v ~x5198 ~x2542 ~x4103 ~x5978 ~x2511 ~x4705 ~x5660 ~x5229 ~x2403 ~x4128
43.96/44.16 v ~x342 ~x2534 ~x4734 ~x5687 ~x5253 ~x2372 ~x5103 ~x432 ~x2558 ~x4562
43.96/44.16 v ~x5608 ~x5283 ~x2373 ~x5083 ~x396 ~x2368 ~x4580 ~x5634 ~x5300 ~x2457
43.96/44.16 v ~x4813 ~x477 ~x2399 ~x5573 ~x5565 ~x5323 ~x2429 ~x4837 ~x460 ~x2431
43.96/44.16 v ~x5604 ~x5588 ~x5393 ~x1867 x4765 ~x537 ~x2462 ~x5531 ~x5513 ~x5372
43.96/44.16 v ~x1889 ~x4787 ~x510 ~x3763 ~x5556 ~x5526 ~x5352 ~x1821 ~x5675 ~x582
43.96/44.16 v ~x3733 ~x5460 ~x5546 ~x5331 ~x1842 ~x5701 ~x565 ~x3708 ~x5483 ~x5472
43.96/44.16 v ~x5491 ~x1751 ~x5520 ~x624 ~x3684 ~x5407 ~x5494 ~x5463 ~x1780 ~x5549
43.96/44.16 v ~x601 ~x3667 ~x5432 ~x5416 ~x5442 ~x1701 ~x1049 ~x667 ~x3635 ~x1051
43.96/44.16 v ~x5446 ~x5420 ~x1729 ~x1024 ~x647 ~x3611 ~x1022 ~x5369 ~x5597 ~x2085
43.96/44.16 v ~x1101 ~x21 ~x3585 ~x1001 ~x5387 ~x5571 ~x2119 ~x1075 ~x40 ~x3909
43.96/44.16 v ~x987 ~x5340 ~x5537 ~x2016 ~x5706 ~x56 ~x3885 ~x968 ~x5357 ~x5509
43.96/44.16 v ~x2049 ~x5731 ~x84 ~x3911 ~x948 ~x6073 ~x5689 ~x1965 ~x5738 ~x111
43.96/44.16 v ~x3936 ~x1297 ~x6052 ~x5657 ~x1990 ~x5762 ~x135 ~x3961 x1275 ~x6031
43.96/44.16 v ~x5637 ~x1913 ~x5783 ~x155 ~x3790 ~x430 ~x6003 ~x5611 ~x1938 ~x6001
43.96/44.16 v ~x168 ~x3818 ~x397 ~x5989 ~x5769 ~x1481 ~x6025 ~x182 ~x3841 ~x473
43.96/44.16 v ~x5963 ~x5781 ~x1454 ~x6046 ~x197 ~x4249 ~x453 ~x5910 ~x5715 ~x1433
43.96/44.16 v ~x3375 ~x210 ~x4219 ~x324 ~x5881 ~x5739 ~x1409 ~x3405 ~x234 ~x4495
43.96/44.16 v ~x301 ~x5872 ~x5853 ~x1414 ~x3535 ~x245 ~x4473 ~x374 ~x5852 ~x5873
43.96/44.16 v ~x1400 ~x3533 ~x256 ~x4539 ~x347 ~x5828 ~x5809 ~x1374 ~x3560 ~x267
43.96/44.16 v ~x4515 ~x2491 ~x5808 ~x5830 ~x1343 ~x3470 ~x281 ~x4392 ~x2515 ~x5787
43.96/44.16 v ~x5938 ~x1322 ~x3502 ~x2754 ~x4369 ~x2673 ~x5764 ~x5954 ~x1673 ~x3643
43.96/44.16 v ~x2732 ~x4446 ~x2640 ~x5746 ~x5987 ~x1654 ~x4163 ~x2717 ~x4417 ~x2624
43.96/44.16 v ~x5725 ~x5902 ~x1637 ~x4184 ~x2729 ~x4436 ~x2601 ~x5659 ~x5929 ~x1614
43.96/44.16 v ~x4211 ~x2704 ~x4623 ~x2767 ~x5686 ~x6054 ~x1615 ~x4242 ~x2671 ~x4645
43.96/44.16 v ~x2746 ~x5607 ~x6077 ~x1584 ~x4231 ~x2641 ~x4579 ~x1611 ~x5633 ~x6008
43.96/44.16 v ~x1556 ~x4257 ~x2617 ~x4602 ~x1633 ~x5564 ~x6028 ~x1520 ~x4287 ~x2598
43.96/44.16 v x4712 ~x1658 ~x5587 ~x3153 ~x1497 ~x4312 ~x2997 ~x5100 ~x1677 ~x5512
43.96/44.16 v ~x3131 ~x945 ~x2745 ~x2966 ~x5079 ~x1744 ~x5525 ~x3197 ~x966 ~x2769
43.96/44.16 v ~x2925 ~x5064 ~x1704 ~x5545 ~x3173 ~x985 ~x2401 ~x2896 ~x5046 ~x1787
43.96/44.16 v ~x5471 ~x3053 ~x1021 ~x2370 ~x2875 ~x5232 ~x1763 ~x5493 ~x3028 ~x1038
43.96/44.16 v ~x2458 ~x2851 ~x5201 ~x147 ~x5415 ~x3102 ~x1066 ~x2464 ~x2823 ~x5162
43.96/44.16 v ~x123 ~x5445 ~x3078 ~x1092 x2438 ~x2786 ~x5138 ~x104 ~x5368 ~x3313
43.96/44.16 v ~x1110 ~x2529 ~x2327 ~x5325 ~x75 ~x5386 ~x3295 ~x1136 ~x1865 ~x2349
43.96/44.16 v ~x5304 ~x47 ~x5339 ~x3347 ~x1156 ~x1890 ~x2247 ~x5280 ~x29 ~x5356
43.96/44.16 v ~x3329 ~x1174 ~x1822 ~x2280 ~x5261 ~x14 ~x6072 ~x3238 ~x1192 ~x1844
43.96/44.16 v ~x2188 ~x5239 ~x290 ~x6051 ~x3218 ~x1221 ~x1583 ~x2212 ~x5344 ~x542
43.96/44.16 v ~x6030 ~x3279 ~x1244 ~x1553 ~x2134 ~x5361 ~x5528 ~x6002 ~x3257 ~x1266
43.96/44.16 v ~x1577 ~x2164 ~x5381 ~x5553 ~x5988 ~x3472 ~x1283 ~x1547 ~x2550 ~x5772
43.96/44.16 v ~x5576 ~x5962 ~x3499 ~x709 ~x1083 ~x2580 ~x5753 ~x5599 ~x5909 ~x3531
43.96/44.16 v ~x691 ~x1103 ~x2498 ~x5819 ~x5627 ~x5880 ~x3562 ~x754 ~x947 ~x2522
43.96/44.16 v ~x5796 ~x5651 ~x5871 ~x3363 ~x745 ~x964 ~x2441 ~x5857 ~x5671 ~x5851
43.96/44.16 v ~x3388 ~x725 ~x988 ~x2472 ~x5838 ~x5798 ~x5827 ~x3412 ~x780 ~x1003
43.96/44.16 v ~x2382 ~x5927 ~x5863 ~x5807 ~x5829 ~x762 ~x920 ~x2409 ~x5903 ~x5844
43.96/44.16 v ~x5786 ~x5937 ~x813 ~x904 ~x1832 ~x5990 ~x4818 ~x5763 ~x5953 ~x793
43.96/44.16 v ~x452 ~x1806 ~x5961 ~x4835 ~x5745 ~x5986 ~x857 ~x470 ~x2718 ~x6029
43.96/44.17 v ~x4766 ~x5724 ~x5901 ~x843 ~x386 ~x2730 ~x6005 ~x4792 ~x4854 ~x5928
43.96/44.17 v ~x844 ~x419 ~x2705 ~x5999 ~x4913 ~x4880 ~x6053 ~x884 ~x345 ~x2672
43.96/44.17 v ~x6067 ~x4957 ~x4907 ~x6076 ~x867 ~x371 ~x2642 ~x6045 ~x5101 ~x4933
43.96/44.17 v ~x6007 ~x919 ~x305 ~x2618 ~x286 ~x5080 ~x4743 ~x6027 ~x903 ~x328
43.96/44.17 v ~x2599 ~x654 ~x5065 ~x4769 ~x3152 ~x944 ~x5864 ~x2998 ~x677 ~x5044
43.96/44.17 v ~x4789 ~x3130 ~x933 ~x5839 ~x2967 ~x610 ~x4064 ~x4816 ~x3196 ~x351
43.96/44.17 v ~x5930 ~x2926 ~x632 ~x4081 ~x4840 ~x3172 ~x373 ~x5900 ~x2897 ~x558
43.96/44.17 v ~x4104 ~x4653 ~x3052 ~x313 ~x5985 ~x2876 ~x591 ~x4265 ~x4673 ~x3027
43.96/44.17 v ~x333 ~x5958 ~x2852 ~x516 ~x4351 ~x4699 ~x3101 ~x468 ~x6032 ~x2824
43.96/44.17 v ~x544 ~x4330 ~x4724 ~x3077 ~x491 ~x6006 ~x2787 ~x451 ~x4190 ~x4573
43.96/44.17 v ~x3312 ~x414 ~x5262 ~x2328 ~x4169 ~x4589 ~x3294 ~x445 ~x5014 ~x2350
43.96/44.17 v ~x4247 ~x4605 ~x3346 ~x550 ~x5032 ~x469 ~x2248 ~x4217 ~x4625 ~x3328
43.96/44.17 v ~x577 ~x4973 ~x389 ~x2281 x3327 ~x5279 ~x3237 ~x505 ~x4979 ~x425
43.96/44.17 v ~x2189 ~x3592 ~x5256 ~x3217 ~x532 ~x5098 ~x344 ~x2213 ~x3555 ~x5327
43.96/44.17 v ~x3278 ~x633 ~x5118 ~x358 ~x2135 ~x3521 ~x5303 ~x3256 ~x657 ~x5056
43.96/44.17 v ~x378 ~x2165 ~x3509 ~x5170 ~x3471 ~x593 ~x4409 ~x308 ~x2551 ~x3486
43.96/44.17 v ~x5126 ~x3498 ~x612 ~x4441 ~x747 ~x2581 ~x3452 ~x5224 ~x3530 ~x89
43.96/44.17 v ~x4464 ~x728 ~x2499 ~x3425 ~x5192 ~x3561 ~x63 ~x4251 ~x1225 ~x2523
43.96/44.17 v ~x3401 ~x5070 ~x3362 ~x50 ~x4283 ~x1248 ~x2442 ~x2338 ~x5055 ~x3387
43.96/44.17 v ~x27 ~x4318 ~x1273 ~x2473 ~x2240 ~x5109 ~x3411 ~x3 ~x4354 ~x1293
43.96/44.17 v ~x2383 ~x2272 ~x5091 ~x3440 ~x162 ~x4151 ~x1139 ~x2410 ~x2448 ~x4994
43.96/44.17 v ~x3460 ~x144 ~x3723 ~x1163 ~x1833 ~x2453 ~x4960 ~x3683 ~x125 x3645
43.96/44.17 v ~x1180 ~x1807 ~x2366 ~x5744 ~x3707 ~x103 ~x3669 ~x1202 ~x1817 ~x2396
43.96/44.17 v ~x5723 ~x3736 ~x2578 ~x3590 ~x1034 ~x1878 ~x2535 ~x4853 ~x3759 ~x2555
43.96/44.17 v ~x3616 ~x1061 ~x1856 ~x1379 ~x4879 ~x3581 ~x2159 ~x3528 ~x1085 ~x1746
43.96/44.17 v ~x1408 ~x4906 ~x3609 x2140 ~x3550 ~x1108 ~x1712 ~x1432 ~x4932 ~x3639
43.96/44.17 v ~x1661 ~x3466 ~x1109 ~x1793 ~x1452 ~x4742 ~x3662 ~x1663 ~x2193 ~x961
43.96/44.17 v ~x1770 ~x1480 ~x4768 ~x3975 ~x1645 ~x2167 ~x1487 ~x2031 ~x1504 ~x4788
43.96/44.17 v ~x3949 ~x1626 ~x2131 ~x1457 ~x2010 ~x1525 ~x4815 ~x3918 ~x2363 ~x2339
43.96/44.17 v ~x1435 ~x2106 ~x1561 ~x4839 ~x3895 ~x2562 ~x2308 ~x1412 ~x2071 ~x1121
43.96/44.17 v ~x4652 ~x3879 ~x2572 ~x2278 ~x1955 ~x1924 ~x1099 ~x4672 ~x3855 ~x2546
43.96/44.17 v ~x2250 ~x1985 ~x1892 ~x1145 ~x4698 ~x3829 ~x1502 ~x2478 ~x1905 ~x1980
43.96/44.17 v ~x1169 ~x4723 ~x3782 ~x1589 ~x2954 ~x1922 ~x1953 ~x484 ~x4572 ~x4144
43.96/44.17 v ~x1560 ~x1331 ~x2075 ~x1421 ~x409 ~x4588 ~x4122 ~x1574 ~x1310 ~x2109
43.96/44.17 v ~x1425 x393 ~x4604 ~x4097 ~x1880 ~x1388 ~x2009 ~x1446 ~x428 ~x4624
43.96/44.17 v ~x4079 ~x940 ~x1363 ~x2044 ~x1475 ~x4744 ~x5278 ~x4050 ~x930 ~x1424
43.96/44.17 v ~x1761 ~x1306 ~x4934 ~x5255 ~x4031 ~x916 ~x1401 ~x1786 ~x1335 ~x4908
43.96/44.17 v ~x5326 ~x4016 ~x1007 ~x1479 ~x1708 ~x1352 ~x4914 ~x5302 ~x3997 ~x950
43.96/44.17 v ~x2067 ~x1699 ~x1386 ~x5514 ~x5169 ~x970 ~x4314 ~x2084 ~x2233 ~x1624
43.96/44.17 v ~x5589 ~x5125 ~x4343 ~x266 ~x2118 ~x2203 ~x1648 ~x5566 ~x5223 ~x4255
43.96/44.17 v ~x481 ~x827 ~x2294 ~x1671 ~x5635 ~x5191 ~x4285 ~x297 ~x806 ~x2268
43.96/44.17 v ~x1689 ~x3392 ~x5069 ~x4210 ~x321 ~x788 ~x2355 ~x1508 ~x3350 ~x5054
43.96/44.17 v ~x3386 ~x343 ~x772 ~x2331 ~x1539 ~x3331 ~x5108 ~x3410 ~x5947 ~x755
43.96/44.17 v ~x2778 ~x1570 ~x3310 ~x5090 ~x3439 ~x5919 ~x1182 ~x2806 ~x1595 ~x4174
43.96/44.17 v ~x4993 ~x3459 ~x5896 ~x1203 ~x2844 ~x1834 ~x4197 ~x4959 ~x3682 ~x6088
43.96/44.17 v ~x1193 ~x2874 ~x1808 ~x4227 ~x5030 ~x3706 ~x906 ~x1134 ~x2901 ~x1818
43.96/44.17 v ~x4098 ~x5007 ~x3735 ~x892 ~x1155 ~x2930 ~x1879 ~x1909 ~x4034 ~x3758
43.96/44.17 v ~x196 ~x136 ~x2962 ~x1857 ~x2130 ~x4048 ~x3580 ~x181 ~x113 ~x2993
43.96/44.17 v ~x1747 ~x2095 ~x3994 ~x3608 ~x2527 ~x169 ~x2600 ~x1713 ~x2058 ~x4014
43.96/44.17 v ~x3638 ~x2503 ~x645 ~x2623 ~x1794 ~x2803 ~x4119 ~x3661 ~x1709 ~x669
43.96/44.17 v ~x4508 ~x1771 ~x2890 ~x4108 ~x3974 ~x1726 ~x518 ~x4198 ~x2032 ~x2857
43.96/44.17 v ~x4127 ~x3948 x953 ~x498 ~x4226 ~x2011 ~x2944 ~x4063 ~x3917 ~x974
43.96/44.17 v ~x524 ~x4149 ~x2107 ~x5274 ~x4083 ~x3894 ~x412 ~x549 x4176 ~x2072
43.96/44.17 v ~x5250 ~x3851 ~x3878 ~x441 ~x575 ~x4317 ~x1925 ~x5236 ~x3881 ~x3854
43.96/44.17 v ~x2588 ~x5558 ~x4346 ~x1893 ~x5206 ~x3807 ~x3828 ~x2608 ~x3995 ~x4250
43.96/44.17 v ~x1981 ~x5174 ~x3831 ~x3781 ~x2027 ~x4018 ~x1694 ~x1954 ~x5141 ~x3957
43.96/44.17 v ~x4143 ~x2062 ~x4037 ~x1778 ~x1422 ~x5411 ~x3980 ~x4121 ~x5132 ~x4059
43.96/44.17 v ~x1750 ~x1426 ~x5438 ~x3905 ~x4096 x5161 ~x4073 ~x2054 ~x1447 ~x6034
43.96/44.17 v ~x3927 ~x4078 ~x5877 x4068 ~x2026 ~x1476 ~x6012 ~x4448 ~x4049 ~x5904
43.96/44.17 v ~x4086 ~x2115 ~x1307 ~x6082 ~x4415 ~x4030 ~x3589 ~x4114 ~x2079 ~x1336
43.96/44.17 v ~x6057 x4389 ~x4015 ~x3615 ~x4341 ~x1942 ~x1353 ~x5918 ~x4372 ~x3996
43.96/44.17 v ~x4387 ~x4311 ~x2684 ~x1387 ~x5895 ~x4544 ~x4313 ~x4408 ~x3251 ~x2663
43.96/44.17 v ~x1625 ~x5977 ~x4520 ~x4342 ~x1941 ~x3271 ~x2630 ~x1649 ~x5946 ~x4498
43.96/44.17 v ~x4254 ~x1915 ~x3211 ~x2612 ~x1672 ~x3505 ~x4481 ~x4284 ~x2828 ~x3232
43.96/44.17 v ~x2589 ~x1690 ~x3478 ~x4237 ~x4209 ~x2799 ~x3226 ~x3003 ~x1509 ~x3656
43.96/44.17 v ~x4208 ~x4238 ~x525 ~x3318 ~x2985 ~x1540 ~x3630 ~x4180 ~x4155 ~x497
43.96/44.17 v ~x3559 ~x2952 ~x1571 ~x3605 ~x4154 ~x4166 ~x1158 ~x3529 ~x317 ~x1596
43.96/44.17 v ~x3575 ~x4992 ~x4188 ~x1132 ~x3501 ~x382 ~x4429 ~x3766 ~x4958 ~x4514
43.96/44.17 v ~x1852 ~x3476 ~x359 ~x4424 ~x3739 ~x5029 ~x4540 ~x1831 ~x2279 ~x436
43.96/44.17 v ~x4451 ~x4307 ~x5006 ~x4471 ~x1805 ~x2251 ~x404 ~x4374 ~x4280 ~x4033
43.96/44.17 v ~x4492 ~x1992 ~x2340 ~x488 ~x4394 ~x4361 ~x4047 ~x4418 ~x1963 ~x2353
43.96/44.17 v ~x465 ~x4509 ~x4329 ~x3993 ~x4443 ~x1939 ~x2980 ~x528 ~x4535 ~x4393
43.96/44.17 v ~x4013 ~x4376 ~x1914 ~x3014 ~x284 ~x4468 ~x4373 ~x4118 ~x4398 ~x2126
43.96/44.17 v ~x2798 ~x1014 ~x4488 ~x4450 ~x4107 ~x1506 ~x4548 ~x2825 ~x997 ~x4215
43.96/44.17 v ~x4420 ~x4126 ~x1532 ~x4382 ~x2855 ~x973 ~x4239 ~x2008 ~x4062 ~x1563
43.96/44.17 v ~x4402 ~x2886 ~x957 ~x4161 ~x2038 ~x4082 ~x1586 ~x4431 ~x1474 ~x1117
43.96/44.17 v ~x4186 ~x1951 ~x3850 ~x1606 ~x4453 ~x1449 ~x1094 ~x4336 ~x1979 ~x3880
43.96/44.17 v ~x1636 ~x4259 ~x2092 ~x1073 ~x4362 ~x1904 ~x3806 ~x1667 ~x4290 ~x2120
43.96/44.17 v ~x898 ~x4277 ~x1933 ~x3830 ~x1685 ~x4327 ~x2017 ~x897 ~x4308 ~x1858
43.96/44.17 v ~x3956 ~x1302 ~x3772 ~x2045 ~x913 ~x4056 ~x1877 ~x3979 ~x1327 ~x3705
43.96/44.17 v ~x1970 ~x4904 ~x2895 ~x3904 ~x1348 ~x3716 ~x1997 ~x4941 ~x4038 ~x2929
43.96/44.17 v ~x3926 ~x1381 ~x3652 ~x1917 ~x4858 ~x4019 ~x2959 ~x4447 ~x1407 ~x3679
43.96/44.17 v ~x1943 ~x4878 ~x3998 ~x2990 ~x4414 ~x1429 ~x3595 ~x1096 ~x4794 ~x4137
43.96/44.17 v ~x2785 ~x4388 ~x1445 ~x3627 ~x1123 ~x5026 ~x4115 x2805 ~x4371 ~x1473
43.96/44.17 v ~x3520 ~x1130 ~x5002 ~x4093 ~x2840 ~x4543 ~x1940 ~x5477 ~x1157 ~x5005
43.96/44.17 v ~x4071 ~x2871 ~x4519 ~x1916 ~x5879 ~x1175 ~x4983 ~x3861 ~x118 ~x4497
43.96/44.17 v ~x1996 ~x5906 ~x1194 ~x4967 ~x3835 ~x94 ~x4480 ~x3223 ~x5940 ~x1215
43.96/44.17 v ~x5614 ~x3811 ~x568 ~x4236 ~x3573 ~x5974 ~x1241 ~x5631 ~x3787 ~x588
43.96/44.17 v ~x4207 ~x3544 ~x5996 ~x463 ~x5665 ~x3965 ~x515 ~x4179 ~x3512 ~x6016
43.96/44.17 v ~x486 ~x5860 ~x3937 ~x546 ~x4153 ~x3485 ~x6043 ~x405 ~x5842 ~x1572
43.96/44.17 v ~x651 ~x4348 ~x3451 x4713 ~x443 ~x5729 ~x1597 ~x674 ~x4324 ~x3427
43.96/44.17 v ~x4687 ~x551 ~x5743 ~x4430 ~x783 ~x4298 ~x3393 ~x4665 ~x573 ~x5717
43.96/44.17 v ~x4425 ~x767 ~x4264 ~x4009 ~x5189 ~x499 ~x5792 ~x4452 ~x815 ~x3216
43.96/44.17 v ~x4029 ~x5216 ~x527 ~x5771 ~x4375 ~x800 ~x3236 ~x4046 ~x5122 ~x3042
43.96/44.17 v ~x3252 ~x4395 ~x1140 ~x3255 ~x4304 ~x5148 ~x3022 ~x1082 ~x4510 ~x1162
43.96/44.17 v ~x3277 ~x4272 ~x5291 ~x3185 ~x1100 ~x4536 ~x1178 ~x3260 ~x4360 ~x522
43.96/44.17 v ~x3159 ~x1030 ~x4469 ~x1209 ~x3291 ~x4333 ~x636 ~x3141 ~x1058 ~x4489
43.96/44.17 v ~x587 ~x3309 ~x4191 ~x663 ~x3121 ~x240 ~x4216 ~x387 ~x3324 ~x4777
43.96/44.17 v ~x599 ~x3269 ~x220 ~x4240 ~x421 ~x3343 ~x4916 ~x618 ~x3247 ~x394
43.96/44.17 v ~x4162 ~x450 ~x3030 ~x4943 ~x90 ~x1106 ~x429 ~x4187 ~x4568 ~x3050
43.96/44.17 v ~x4867 ~x62 ~x1031 ~x2561 ~x4337 ~x4631 ~x3080 ~x4887 ~x42 ~x1056
43.96/44.17 v ~x2538 ~x4363 ~x4609 ~x3107 ~x5024 ~x1153 ~x887 ~x2514 ~x4278 ~x4892
43.96/44.17 v ~x3126 ~x5000 ~x1176 ~x872 ~x2485 ~x4309 ~x5405 ~x3149 ~x4978 ~x1198
43.96/44.17 v ~x859 ~x1588 ~x4057 ~x5395 ~x3166 ~x5557 ~x1216 ~x845 ~x1562 ~x4039
43.96/44.17 v ~x5377 ~x3194 ~x5579 ~x1239 ~x941 ~x1635 ~x4020 ~x5360 ~x3613 ~x5601
43.96/44.17 v ~x1264 ~x928 ~x1609 ~x3999 ~x3038 ~x3583 ~x5626 ~x1284 ~x927 ~x4268
43.96/44.17 v ~x4138 ~x3108 ~x3664 ~x5650 ~x710 ~x910 ~x4303 ~x4116 ~x3081 ~x3648
43.96/44.17 v ~x5679 ~x1727 ~x894 ~x4328 ~x4094 ~x3143 ~x3728 ~x5698 ~x2086 ~x752
43.96/44.17 v ~x4357 ~x4072 ~x4493 ~x3701 ~x5727 ~x2116 ~x731 ~x3593 ~x3862 ~x3870
43.96/44.17 v ~x3778 ~x566 ~x2020 ~x712 x3623 ~x3836 x3845 ~x3750 ~x422 ~x2051
43.96/44.17 v ~x693 ~x3541 ~x3812 ~x3823 ~x3385 ~x388 ~x1969 ~x829 ~x3572 ~x3788
43.96/44.17 v ~x1700 ~x3361 ~x480 ~x1995 ~x805 ~x5995 ~x3966 ~x1789 ~x4178 ~x458
43.96/44.17 v ~x1906 ~x786 ~x6020 ~x3938 ~x1762 ~x4152 ~x319 ~x4964 ~x769 ~x6039
43.96/44.17 v ~x3914 ~x1617 ~x4347 ~x298 ~x4984 ~x2018 ~x6080 ~x3888 ~x2690 ~x4323
43.96/44.17 v ~x365 ~x4935 ~x2053 ~x5123 ~x3896 ~x2654 ~x4297 ~x1184 ~x4909 ~x2078
43.96/44.17 v ~x5150 ~x3576 ~x2647 ~x4263 ~x1159 ~x4915 ~x2113 ~x5289 ~x3603 ~x2625
43.96/44.17 v ~x3215 x1137 ~x4889 ~x1919 ~x5313 ~x3631 ~x312 ~x3235 ~x1104 ~x4866
43.96/44.17 v ~x1921 ~x831 ~x3659 ~x375 ~x3254 ~x1076 ~x4836 ~x1950 ~x695 ~x3686
43.96/44.17 v ~x353 ~x3276 ~x1060 ~x4817 ~x1978 ~x714 ~x3712 ~x420 ~x3259 ~x1032
43.96/44.17 v ~x4785 ~x1819 ~x733 ~x3740 ~x275 ~x3290 ~x1005 ~x4761 ~x1843 ~x729
43.96/44.17 v ~x3760 ~x2406 ~x3308 ~x1952 ~x4725 ~x1864 ~x748 ~x3376 ~x1545 ~x3323
43.96/44.17 v ~x2042 ~x4704 ~x1886 ~x1252 ~x3406 ~x3793 ~x3342 ~x2012 ~x4682 ~x1706
43.96/44.17 v ~x1231 ~x3430 ~x3019 ~x3029 ~x2105 ~x4659 ~x1736 ~x163 ~x3457 ~x5506
43.96/44.17 v ~x3049 ~x2068 ~x4629 ~x1774 ~x110 ~x3479 x4753 ~x3079 ~x1739 ~x4608
43.96/44.17 v ~x1799 ~x128 ~x3507 ~x4929 ~x3106 ~x1711 ~x4584 ~x1640 ~x69 ~x3537
43.96/44.17 v ~x4551 ~x3125 ~x1792 ~x4559 ~x1608 ~x93 ~x3556 ~x4524 ~x3148 ~x2843
43.96/44.17 v ~x5328 ~x1676 ~x71 ~x3230 ~x3792 ~x3165 ~x2822 ~x5286 ~x1657 x11
43.96/44.17 v ~x3212 ~x3817 ~x3193 ~x2782 ~x5263 ~x1528 ~x30 ~x3273 ~x3840 ~x3612
43.96/44.17 v ~x2991 ~x5240 ~x1538 ~x2569 ~x3249 ~x3866 ~x3582 ~x2961 ~x5220 ~x1513
43.96/44.17 v ~x2145 ~x3316 ~x3886 ~x3663 ~x2924 ~x5194 ~x1593 ~x2172 ~x3297 ~x3910
43.96/44.17 v ~x3647 ~x2909 ~x5153 ~x1568 ~x2198 ~x3352 ~x3934 ~x3727 ~x2668 ~x5128
43.96/44.17 v ~x1431 ~x2226 ~x3333 ~x3962 ~x3700 ~x2497 ~x5115 ~x1406 ~x2244 ~x3044
43.96/44.17 v ~x3985 ~x3777 ~x2468 ~x5096 ~x1484 ~x2269 ~x3024 ~x4005 ~x3749 ~x2426
43.96/44.17 v ~x5076 ~x1456 ~x2295 ~x3091 ~x4021 ~x3384 ~x2393 ~x5058 ~x1333 ~x1687
43.96/44.17 v ~x3068 ~x4040 ~x3360 ~x3445 ~x5028 ~x1309 ~x1631 ~x3967 ~x4067 ~x3436
43.96/44.17 v ~x3369 ~x5009 ~x1383 ~x1651 ~x3939 ~x4087 ~x3424 ~x3394 ~x4981 ~x1358
43.96/44.17 v ~x1351 ~x3915 ~x3771 ~x3490 ~x3543 ~x4962 ~x2984 ~x1378 ~x3889 ~x3747
43.96/44.17 v ~x3462 ~x3292 ~x4901 ~x3016 ~x1298 ~x3897 ~x3715 ~x3554 ~x4145 ~x4919
43.96/44.17 v ~x2920 ~x1325 ~x3577 ~x3703 ~x3517 ~x4173 ~x4946 ~x2947 ~x1344 ~x3604
43.96/44.17 v ~x3066 ~x2709 ~x4200 ~x4863 ~x2842 ~x3940 ~x3632 ~x3088 ~x2681 ~x4075
43.96/44.17 v ~x4885 ~x2873 ~x3810 ~x3660 ~x3017 ~x2759 ~x4142 ~x4810 ~x2794 ~x3784
43.96/44.17 v ~x3687 ~x3041 ~x2775 ~x4120 ~x4842 ~x2818 ~x3863 ~x3713 ~x3160 ~x2751
43.96/44.17 v ~x5097 ~x4764 ~x2749 ~x3839 ~x3741 ~x3187 ~x2620 ~x4859 ~x4791 ~x2772
43.96/44.17 v ~x4100 ~x3761 ~x3119 ~x2595 ~x4819 ~x4708 ~x2697 ~x4077 ~x3377 ~x3142
43.96/44.17 v ~x2670 ~x4797 ~x4733 ~x1885 ~x4141 ~x3407 ~x3246 ~x2646 ~x4770 ~x4657
43.96/44.17 v ~x1705 ~x3161 ~x3431 ~x3268 ~x2932 ~x5609 ~x4679 ~x1735 ~x3133 ~x3458
43.96/44.17 v ~x3205 ~x2905 ~x5684 ~x4607 ~x1773 ~x3114 ~x3480 ~x3229 ~x2989 ~x5662
43.96/44.17 v ~x4627 ~x1798 ~x3090 ~x3508 ~x6065 ~x2957 x5544 ~x4566 ~x1639 ~x3067
43.96/44.17 v ~x3538 ~x6041 ~x2816 ~x257 ~x4591 ~x1607 ~x3043 ~x3557 ~x5915 ~x2792
43.96/44.17 v ~x66 ~x6022 ~x1675 ~x3023 ~x3231 ~x5888 ~x2881 ~x88 ~x5998 ~x1656
43.96/44.17 v ~x3348 ~x3213 ~x5970 ~x2849 ~x25 ~x6069 ~x1527 ~x3619 ~x3274 ~x5936
43.96/44.17 v ~x2261 ~x907 ~x6048 ~x1537 ~x5363 ~x3250 ~x5429 ~x2289 ~x926 ~x5908
43.96/44.17 v ~x1512 ~x5346 ~x3317 ~x5453 ~x2310 ~x938 ~x5883 ~x1592 ~x5403 ~x3298
43.96/44.17 v ~x5479 ~x2342 ~x690 ~x5967 ~x1567 ~x5383 ~x3353 ~x5505 ~x2138 ~x2568
43.96/44.17 v ~x5932 ~x1430 ~x5447 ~x3334 ~x5343 ~x2157 ~x3167 ~x5824 ~x1405 ~x5425
43.96/44.17 v ~x3045 ~x5362 ~x2184 ~x3952 ~x5803 ~x1483 ~x5498 ~x3025 ~x5376 ~x2217
43.96/44.17 v ~x4923 ~x5867 ~x1455 ~x6023 ~x3092 ~x5392 ~x3383 ~x5670 ~x5849 ~x1332
43.96/44.17 v ~x6049 ~x3069 ~x5624 ~x3359 x418 ~x5027 ~x1308 ~x6070 ~x3135 ~x5648
43.96/44.17 v ~x3435 ~x1065 ~x5008 ~x1382 ~x4642 ~x3112 ~x5309 ~x3423 ~x1616 ~x4980
43.96/44.17 v ~x1357 ~x4621 ~x3182 ~x5290 ~x3489 ~x4229 ~x4961 ~x2983 ~x4601 ~x3201
43.96/44.17 v ~x5268 ~x3461 ~x4258 ~x4900 ~x3015 ~x4577 ~x3174 ~x5243 ~x3553 ~x4293
43.96/44.17 v ~x4918 ~x2919 ~x4741 ~x6062 ~x5215 ~x3516 ~x4325 ~x4945 ~x2946 ~x2091
43.96/44.17 v ~x6084 ~x5188 ~x2708 ~x4352 ~x4862 ~x2841 ~x2127 ~x6013 ~x5157 ~x2680
43.96/44.17 v ~x4010 ~x4884 ~x2872 ~x2861 ~x6037 ~x5131 ~x2758 ~x4001 ~x4809 ~x2793
43.96/44.17 v ~x2892 ~x5949 ~x4711 ~x2774 ~x4053 ~x4841 ~x2817 ~x3547 ~x5979 ~x4735
43.96/44.17 v ~x2750 ~x3444 ~x4763 ~x2748 ~x3519 ~x5897 ~x4668 ~x2619 ~x3368 ~x4790
43.96/44.17 v ~x2771 ~x4456 ~x5924 ~x4688 ~x2594 ~x3398 ~x4707 ~x2696 ~x4435 ~x5840
43.96/44.17 v ~x4622 ~x2669 ~x3523 ~x4732 ~x2725 ~x5320 ~x5858 ~x4630 ~x2645 ~x3548
43.96/44.17 v ~x4656 ~x2639 ~x5288 x5794 ~x4561 ~x2931 ~x3463 ~x4678 ~x2666 ~x5981
43.96/44.17 v ~x5815 ~x4586 ~x2904 ~x3493 ~x4606 ~x2597 ~x5945 ~x5754 ~x1265 ~x2988
43.96/44.17 v ~x3272 ~x4626 ~x2622 ~x2360 ~x5774 ~x1286 ~x2956 ~x2636 ~x4565 ~x2560
43.96/44.17 v ~x2392 ~x5712 ~x954 ~x2815 ~x2940 ~x4590 ~x2537 x1840 ~x5733 ~x976
43.96/44.17 v ~x2791 ~x2911 ~x6021 ~x2519 ~x1815 ~x5693 ~x995 ~x2880 ~x3007 ~x5997
43.96/44.17 v ~x2490 ~x279 ~x5666 ~x1012 ~x2848 ~x2972 ~x6068 ~x2495 ~x2427 ~x5642
43.96/44.17 v ~x1037 ~x2260 ~x2833 ~x6047 ~x2476 ~x1883 ~x5615 ~x1067 ~x2288 ~x2804
43.96/44.17 v ~x5907 ~x2446 ~x2727 ~x5583 ~x1091 ~x2309 ~x2888 ~x5882 ~x2416 ~x1748
43.96/44.17 v ~x5561 ~x1112 ~x2341 ~x1738 ~x5966 ~x2388 ~x1050 ~x5540 ~x852 ~x2137
43.96/44.17 v ~x1724 ~x5931 ~x2333 x541 ~x5517 ~x834 ~x2156 ~x1695 ~x5823 ~x2303
43.96/44.17 v ~x5797 ~x5499 ~x880 ~x2183 ~x2123 ~x5802 ~x2274 ~x1733 ~x5474 ~x865
43.96/44.17 v ~x2216 ~x2094 ~x5866 ~x2246 ~x3798 ~x3093 ~x921 ~x2507 ~x2055 ~x5848
43.96/44.17 v ~x2222 ~x3822 ~x3070 ~x902 ~x2532 x2023 ~x5748 ~x2192 ~x3849 ~x3136
43.96/44.17 v ~x634 ~x2545 ~x1993 ~x5721 ~x2161 ~x3875 ~x3113 ~x656 ~x2571 ~x1059
43.96/44.17 v ~x5790 ~x2142 ~x3901 ~x3183 ~x594 ~x2381 ~x1029 ~x5768 ~x5692 ~x3922
43.96/44.17 v ~x3202 ~x611 ~x2412 ~x1045 ~x5751 ~x5669 ~x3945 ~x3175 ~x360 ~x2444
43.96/44.17 v ~x1122 ~x5629 ~x5645 ~x4472 ~x6063 ~x385 ~x2467 ~x1097 ~x5654 ~x5620
43.96/44.17 v ~x4542 ~x6085 ~x316 ~x1873 ~x1147 ~x5674 ~x5606 ~x4516 ~x6014 ~x332
43.96/44.17 v ~x1849 ~x1127 ~x5703 ~x5581 ~x3083 ~x6038 ~x466 ~x1862 ~x1191 ~x5522
43.96/44.17 v ~x5555 ~x3104 ~x5950 ~x489 ~x1838 ~x318 ~x5548 ~x5534 ~x3037 ~x5980
43.96/44.17 v ~x417 ~x1814 ~x296 ~x5578 ~x5482 ~x3062 ~x5898 ~x444 ~x1797 ~x479
43.96/44.17 v ~x5603 ~x2770 ~x3179 ~x5925 ~x229 ~x1768 ~x485 ~x5410 ~x2695 ~x3586
43.96/44.17 v ~x5841 ~x213 ~x1743 ~x464 ~x5437 ~x2724 ~x3756 ~x5859 ~x194 ~x1716
43.96/44.17 v ~x442 ~x5455 ~x2638 ~x3732 ~x5795 ~x191 ~x2097 ~x407 ~x5486 ~x2665
43.96/44.17 v ~x3709 ~x5816 ~x2977 ~x2074 ~x578 ~x5342 ~x2596 ~x3685 ~x5755 ~x3006
43.96/44.17 v ~x2040 ~x5678 ~x5359 ~x2621 ~x5406 ~x5775 ~x2800 ~x2007 ~x5699 ~x5379
43.96/44.17 v ~x2559 ~x5431 ~x5713 ~x2831 ~x1977 ~x5625 ~x5397 ~x2536 ~x5458 ~x5734
43.96/44.17 v ~x2859 ~x1947 ~x5652 ~x3671 ~x2518 x6000 ~x5694 ~x2889 ~x1930 ~x5636
43.96/44.17 v ~x3642 ~x2489 ~x6075 ~x5667 ~x2688 ~x1898 ~x5567 ~x3618 ~x2494 ~x6055
43.96/44.17 v ~x5643 ~x2712 ~x1468 ~x5590 ~x3588 ~x2475 ~x5926 ~x5616 ~x2743 ~x1472
43.96/44.17 v ~x5515 ~x3776 ~x2445 ~x5899 ~x5584 ~x2764 ~x1403 ~x5726 ~x3754 ~x2415
43.96/44.17 v ~x5984 ~x5562 ~x2583 ~x1428 ~x5705 ~x3725 ~x2387 ~x5957 ~x5541 ~x2603
43.96/44.17 v ~x1356 ~x4868 ~x3696 ~x2332 ~x4703 ~x5518 ~x2626 ~x1392 ~x4890 ~x3448
43.96/44.17 v ~x2302 ~x4970 ~x5500 ~x2651 ~x2182 ~x4917 ~x3421 ~x2273 ~x5308 ~x5475
43.96/44.17 v ~x2526 ~x2215 ~x4912 ~x5865 ~x2245 ~x5305 ~x5448 ~x2502 ~x2506 ~x4938
43.96/44.17 v ~x5847 ~x2221 ~x5281 ~x5422 ~x2101 ~x2531 ~x4745 ~x5747 ~x2191 ~x5257
43.96/44.17 v ~x5400 ~x2125 ~x2544 ~x2243 ~x5720 ~x2160 ~x5228 ~x5384 ~x2030 ~x2570
43.96/44.17 v ~x2334 ~x5789 ~x2141 ~x5202 ~x5366 ~x2061 ~x2380 ~x2304 ~x5767 ~x5691
43.96/44.17 v ~x5163 ~x5354 ~x1962 ~x2411 ~x2420 ~x5750 ~x5668 ~x935 ~x5337 ~x1991
43.96/44.17 v ~x2443 ~x105 ~x5628 ~x5644 ~x893 ~x5251 ~x1908 ~x2466 ~x92 ~x5653
43.96/44.17 v ~x5619 ~x905 ~x5272 ~x1937 ~x1872 ~x68 ~x5673 ~x5605 ~x720 ~x5298
43.96/44.17 v ~x1851 ~x1848 ~x41 ~x5702 ~x5580 ~x740 ~x5316 ~x1868 ~x1861 ~x760
43.96/44.17 v ~x5521 ~x5554 ~x682 ~x5143 ~x1803 ~x1837 ~x812 ~x5547 ~x5533 ~x704
43.96/44.17 v ~x5172 ~x1828 ~x1813 ~x809 ~x5577 ~x5481 ~x802 ~x5195 ~x1752 ~x1796
43.96/44.17 v ~x713 ~x5602 ~x5457 ~x230 ~x5225 ~x1781 ~x1767 ~x1207 ~x5409 ~x5435
43.96/44.17 v ~x249 ~x5047 x1697 ~x1742 ~x4811 ~x5436 ~x5414 ~x259 ~x5067 ~x1725
43.96/44.17 v ~x1715 ~x4843 ~x5454 ~x5389 ~x272 ~x5086 ~x3154 ~x2096 ~x4749 ~x5485
43.96/44.17 v ~x5371 ~x291 ~x5105 x4036 ~x2073 ~x5082 ~x5341 ~x5351 ~x20 ~x4951
43.96/44.17 v ~x4944 ~x2039 ~x5062 ~x5358 ~x5336 ~x35 ~x4989 ~x5596 ~x2006 ~x5042
43.96/44.17 v ~x5378 ~x6060 ~x58 ~x5015 ~x146 ~x1976 ~x5523 ~x5396 ~x6087 ~x2574
43.96/44.17 v ~x5035 ~x1210 ~x1946 ~x5752 ~x3670 ~x6010 ~x2501 ~x4873 ~x2100 ~x1929
43.96/44.17 v ~x5822 ~x3641 ~x5994 ~x2528 ~x4848 ~x2865 ~x1897 ~x5800 ~x3617 ~x6018
43.96/44.17 v ~x2437 ~x4926 x5260 ~x1467 ~x5862 ~x3587 ~x5942 ~x2465
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 (62357 MiB free)
memory of node 1: 64507 MiB (57619 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499025-1751398532/watcher-4499025-1751398532 -o /tmp/evaluation-result-4499025-1751398532/solver-4499025-1751398532 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751394922-57655 --watchdog 3760 pb_picat HOME/instance-4499025-1751398532.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Current StackSize limit: 8192 KiB
solver pid=58249, runsolver pid=58246
[startup+0.100068 s]*
/proc/loadavg: 4.14 4.09 4.07 5/263 58250
/proc/meminfo: memFree=122836068/131249996 swapFree=33010416/33010684
[pid=58249] ppid=58246 vsize=2027148 memory=36540 CPUtime=0.08 cores=5,7
/proc/58249/stat : 58249 (pb_picat) R 58246 58249 57642 0 -1 4194304 1129 0 0 0 8 0 0 0 20 0 1 0 55531004 2075799552 9135 18446744073709551615 94466695376896 94466696778477 140720506512304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94466697049904 94466698924208 94466705772544 140720506513822 140720506513898 140720506513898 140720506519500 0
/proc/58249/statm: 506787 9135 1536 343 0 503851 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 36540 KiB
[startup+0.205718 s]*
/proc/loadavg: 4.14 4.09 4.07 5/263 58250
/proc/meminfo: memFree=122815588/131249996 swapFree=33010416/33010684
[pid=58249] ppid=58246 vsize=2034964 memory=63264 CPUtime=0.19 cores=5,7
/proc/58249/stat : 58249 (pb_picat) R 58246 58249 57642 0 -1 4194304 1168 0 0 0 18 1 0 0 20 0 1 0 55531004 2083803136 15816 18446744073709551615 94466695376896 94466696778477 140720506512304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94466697049904 94466698924208 94466705772544 140720506513822 140720506513898 140720506513898 140720506519500 0
/proc/58249/statm: 508741 15816 1536 343 0 505805 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 63264 KiB
[startup+0.305564 s]*
/proc/loadavg: 4.14 4.09 4.07 5/263 58250
/proc/meminfo: memFree=122799204/131249996 swapFree=33010416/33010684
[pid=58249] ppid=58246 vsize=2034964 memory=76020 CPUtime=0.29 cores=5,7
/proc/58249/stat : 58249 (pb_picat) R 58246 58249 57642 0 -1 4194304 1291 0 0 0 28 1 0 0 20 0 1 0 55531004 2083803136 19005 18446744073709551615 94466695376896 94466696778477 140720506512304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94466697049904 94466698924208 94466705772544 140720506513822 140720506513898 140720506513898 140720506519500 0
/proc/58249/statm: 508741 19005 1536 343 0 505805 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 76020 KiB
[startup+0.70019 s]
/proc/loadavg: 4.14 4.09 4.07 5/263 58250
/proc/meminfo: memFree=122770532/131249996 swapFree=33010416/33010684
[pid=58249] ppid=58246 vsize=2071108 memory=130724 CPUtime=0.68 cores=5,7
/proc/58249/stat : 58249 (pb_picat) R 58246 58249 57642 0 -1 4194304 6025 0 0 0 63 5 0 0 20 0 1 0 55531004 2120814592 32681 18446744073709551615 94466695376896 94466696778477 140720506512304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94466697049904 94466698924208 94466705772544 140720506513822 140720506513898 140720506513898 140720506519500 0
/proc/58249/statm: 517777 32681 1664 343 0 514841 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2071108 KiB
Current children cumulated memory: 130724 KiB
[startup+1.50018 s]
/proc/loadavg: 4.14 4.09 4.07 5/258 58264
/proc/meminfo: memFree=122932384/131249996 swapFree=33010416/33010684
[pid=58249] ppid=58246 vsize=2177220 memory=184424 CPUtime=1.48 cores=5,7
/proc/58249/stat : 58249 (pb_picat) R 58246 58249 57642 0 -1 4194304 11010 0 0 0 135 13 0 0 20 0 1 0 55531004 2229473280 46106 18446744073709551615 94466695376896 94466696778477 140720506512304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94466697049904 94466698924208 94466705772544 140720506513822 140720506513898 140720506513898 140720506519500 0
/proc/58249/statm: 544305 46106 1664 343 0 541369 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2177220 KiB
Current children cumulated memory: 184424 KiB
[startup+3.10552 s]
/proc/loadavg: 4.13 4.09 4.07 5/263 58295
/proc/meminfo: memFree=122795076/131249996 swapFree=33010416/33010684
[pid=58249] ppid=58246 vsize=2180752 memory=209056 CPUtime=3.08 cores=5,7
/proc/58249/stat : 58249 (pb_picat) R 58246 58249 57642 0 -1 4194304 12346 0 0 0 286 22 0 0 20 0 1 0 55531004 2233090048 52264 18446744073709551615 94466695376896 94466696778477 140720506512304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94466697049904 94466698924208 94466705772544 140720506513822 140720506513898 140720506513898 140720506519500 0
/proc/58249/statm: 545188 52264 1664 343 0 542252 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2180752 KiB
Current children cumulated memory: 209056 KiB
[startup+6.30018 s]
/proc/loadavg: 4.13 4.09 4.07 5/263 58295
/proc/meminfo: memFree=122785764/131249996 swapFree=33010416/33010684
[pid=58249] ppid=58246 vsize=2186212 memory=206668 CPUtime=6.26 cores=5,7
/proc/58249/stat : 58249 (pb_picat) R 58246 58249 57642 0 -1 4194304 18859 0 0 0 602 24 0 0 20 0 1 0 55531004 2238681088 51667 18446744073709551615 94466695376896 94466696778477 140720506512304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94466697049904 94466698924208 94466705772544 140720506513822 140720506513898 140720506513898 140720506519500 0
/proc/58249/statm: 546553 51667 1664 343 0 543617 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2186212 KiB
Current children cumulated memory: 206668 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.09 4.07 5/264 58297
/proc/meminfo: memFree=122761064/131249996 swapFree=33010416/33010684
[pid=58249] ppid=58246 vsize=2191408 memory=233424 CPUtime=12.65 cores=5,7
/proc/58249/stat : 58249 (pb_picat) R 58246 58249 57642 0 -1 4194304 24350 0 0 0 1237 28 0 0 20 0 1 0 55531004 2244001792 58356 18446744073709551615 94466695376896 94466696778477 140720506512304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94466697049904 94466698924208 94466705772544 140720506513822 140720506513898 140720506513898 140720506519500 0
/proc/58249/statm: 547852 58356 1664 343 0 544916 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2191408 KiB
Current children cumulated memory: 233424 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.09 4.07 5/264 58297
/proc/meminfo: memFree=122789948/131249996 swapFree=33010416/33010684
[pid=58249] ppid=58246 vsize=2191408 memory=204756 CPUtime=25.4 cores=5,7
/proc/58249/stat : 58249 (pb_picat) R 58246 58249 57642 0 -1 4194304 28570 0 0 0 2509 31 0 0 20 0 1 0 55531004 2244001792 51189 18446744073709551615 94466695376896 94466696778477 140720506512304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94466697049904 94466698924208 94466705772544 140720506513822 140720506513898 140720506513898 140720506519500 0
/proc/58249/statm: 547852 51189 1664 343 0 544916 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2191408 KiB
Current children cumulated memory: 204756 KiB
[startup+44.1782 s]
# the end of solver process 58249 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=43.6796 s, system=0.36403 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6002 s]
/proc/loadavg: 4.09 4.09 4.07 5/264 58297
/proc/meminfo: memFree=122789948/131249996 swapFree=33010416/33010684
[pid=58249] ppid=58246 vsize=2191408 memory=204756 CPUtime=25.5 cores=5,7
/proc/58249/stat : 58249 (pb_picat) R 58246 58249 57642 0 -1 4194304 28570 0 0 0 2519 31 0 0 20 0 1 0 55531004 2244001792 51189 18446744073709551615 94466695376896 94466696778477 140720506512304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94466697049904 94466698924208 94466705772544 140720506513822 140720506513898 140720506513898 140720506519500 0
/proc/58249/statm: 547852 51189 1664 343 0 544916 0
Current children cumulated CPU time: 25.5 s
Current children cumulated vsize: 2191408 KiB
Current children cumulated memory: 204756 KiB
[startup+32.0002 s]*
/proc/loadavg: 4.08 4.08 4.07 5/264 58297
/proc/meminfo: memFree=122759792/131249996 swapFree=33010416/33010684
[pid=58249] ppid=58246 vsize=2191408 memory=233940 CPUtime=31.9 cores=5,7
/proc/58249/stat : 58249 (pb_picat) R 58246 58249 57642 0 -1 4194304 30341 0 0 0 3157 33 0 0 20 0 1 0 55531004 2244001792 58485 18446744073709551615 94466695376896 94466696778477 140720506512304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94466697049904 94466698924208 94466705772544 140720506513822 140720506513898 140720506513898 140720506519500 0
/proc/58249/statm: 547852 58485 1664 343 0 544916 0
Current children cumulated CPU time: 31.9 s
Current children cumulated vsize: 2191408 KiB
Current children cumulated memory: 233940 KiB
[startup+38.4002 s]
/proc/loadavg: 4.15 4.10 4.07 5/264 58297
/proc/meminfo: memFree=122787480/131249996 swapFree=33010416/33010684
[pid=58249] ppid=58246 vsize=2191408 memory=204756 CPUtime=38.27 cores=5,7
/proc/58249/stat : 58249 (pb_picat) R 58246 58249 57642 0 -1 4194304 30959 0 0 0 3794 33 0 0 20 0 1 0 55531004 2244001792 51189 18446744073709551615 94466695376896 94466696778477 140720506512304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94466697049904 94466698924208 94466705772544 140720506513822 140720506513898 140720506513898 140720506519500 0
/proc/58249/statm: 547852 51189 1664 343 0 544916 0
Current children cumulated CPU time: 38.27 s
Current children cumulated vsize: 2191408 KiB
Current children cumulated memory: 204756 KiB
[startup+41.6002 s]
/proc/loadavg: 4.15 4.10 4.07 5/264 58297
/proc/meminfo: memFree=122783384/131249996 swapFree=33010416/33010684
[pid=58249] ppid=58246 vsize=2191408 memory=209748 CPUtime=41.47 cores=5,7
/proc/58249/stat : 58249 (pb_picat) R 58246 58249 57642 0 -1 4194304 31195 0 0 0 4113 34 0 0 20 0 1 0 55531004 2244001792 52437 18446744073709551615 94466695376896 94466696778477 140720506512304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94466697049904 94466698924208 94466705772544 140720506513822 140720506513898 140720506513898 140720506519500 0
/proc/58249/statm: 547852 52437 1664 343 0 544916 0
Current children cumulated CPU time: 41.47 s
Current children cumulated vsize: 2191408 KiB
Current children cumulated memory: 209748 KiB
[startup+43.2002 s]
/proc/loadavg: 4.22 4.11 4.08 5/264 58297
/proc/meminfo: memFree=122775192/131249996 swapFree=33010416/33010684
[pid=58249] ppid=58246 vsize=2191408 memory=233140 CPUtime=43.06 cores=5,7
/proc/58249/stat : 58249 (pb_picat) R 58246 58249 57642 0 -1 4194304 33528 0 0 0 4271 35 0 0 20 0 1 0 55531004 2244001792 58285 18446744073709551615 94466695376896 94466696778477 140720506512304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94466697049904 94466698924208 94466705772544 140720506513822 140720506513898 140720506513898 140720506519500 0
/proc/58249/statm: 547852 58285 1664 343 0 544916 0
Current children cumulated CPU time: 43.06 s
Current children cumulated vsize: 2191408 KiB
Current children cumulated memory: 233140 KiB
[startup+43.6002 s]
/proc/loadavg: 4.22 4.11 4.08 5/264 58297
/proc/meminfo: memFree=122775192/131249996 swapFree=33010416/33010684
[pid=58249] ppid=58246 vsize=2191408 memory=237236 CPUtime=43.46 cores=5,7
/proc/58249/stat : 58249 (pb_picat) R 58246 58249 57642 0 -1 4194304 33530 0 0 0 4311 35 0 0 20 0 1 0 55531004 2244001792 59309 18446744073709551615 94466695376896 94466696778477 140720506512304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94466697049904 94466698924208 94466705772544 140720506513822 140720506513898 140720506513898 140720506519500 0
/proc/58249/statm: 547852 59309 1664 343 0 544916 0
Current children cumulated CPU time: 43.46 s
Current children cumulated vsize: 2191408 KiB
Current children cumulated memory: 237236 KiB
[startup+44.0002 s]*
/proc/loadavg: 4.22 4.11 4.08 5/264 58297
/proc/meminfo: memFree=122752948/131249996 swapFree=33010416/33010684
[pid=58249] ppid=58246 vsize=2191408 memory=237236 CPUtime=43.86 cores=5,7
/proc/58249/stat : 58249 (pb_picat) R 58246 58249 57642 0 -1 4194304 33530 0 0 0 4351 35 0 0 20 0 1 0 55531004 2244001792 59309 18446744073709551615 94466695376896 94466696778477 140720506512304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94466697049904 94466698924208 94466705772544 140720506513822 140720506513898 140720506513898 140720506519500 0
/proc/58249/statm: 547852 59309 1664 343 0 544916 0
Current children cumulated CPU time: 43.86 s
Current children cumulated vsize: 2191408 KiB
Current children cumulated memory: 237236 KiB
[startup+44.1056 s]
/proc/loadavg: 4.22 4.11 4.08 5/264 58297
/proc/meminfo: memFree=122752948/131249996 swapFree=33010416/33010684
[pid=58249] ppid=58246 vsize=2191408 memory=237236 CPUtime=43.96 cores=5,7
/proc/58249/stat : 58249 (pb_picat) R 58246 58249 57642 0 -1 4194304 33530 0 0 0 4361 35 0 0 20 0 1 0 55531004 2244001792 59309 18446744073709551615 94466695376896 94466696778477 140720506512304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94466697049904 94466698924208 94466705772544 140720506513822 140720506513898 140720506513898 140720506519500 0
/proc/58249/statm: 547852 59309 1664 343 0 544916 0
Current children cumulated CPU time: 43.96 s
Current children cumulated vsize: 2191408 KiB
Current children cumulated memory: 237236 KiB
Child status: 0
Real time (s): 44.1782
CPU time (s): 44.0436
CPU user time (s): 43.6796
CPU system time (s): 0.36403
CPU usage (%): 99.6954
Max. virtual memory (cumulated for all children) (KiB): 2194660
Max. memory (cumulated for all children) (KiB): 237236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 43.6796
system time used= 0.36403
maximum resident set size= 237620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33556
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= 64
# summary of solver processes directly reported to runsolver:
# pid: 58249
# total CPU time (s): 44.0436
# total CPU user time (s): 43.6796
# total CPU system time (s): 0.36403
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.081955 second user time and 0.255669 second system time
The end
Begin job on nodeC022 at 2025-07-01 21:35:32
IDJOB=4499025
IDBENCH=148769
IDSOLVER=3346
FILE ID=nodeC022/4499025-1751398532
RUNJOBID= nodeC022-1751394922-57655
SLURM_JOB_ID= 9598265
Free space on /tmp= 433020 MiB
SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx84.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4499025-1751398532/watcher-4499025-1751398532 -o /tmp/evaluation-result-4499025-1751398532/solver-4499025-1751398532 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751394922-57655 --watchdog 3760 pb_picat HOME/instance-4499025-1751398532.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d60e9860abd72f5860673673bfdb8c38
RANDOM SEED=1774537198
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.739
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 : 3672.943
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.723
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 : 3600.043
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 : 3601.712
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 : 3598.975
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 : 3599.713
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: 122856580 kB
MemAvailable: 122811428 kB
Buffers: 2128 kB
Cached: 757400 kB
SwapCached: 32 kB
Active: 7393044 kB
Inactive: 369412 kB
Active(anon): 7016760 kB
Inactive(anon): 4196 kB
Active(file): 376284 kB
Inactive(file): 365216 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 3896 kB
Writeback: 0 kB
AnonPages: 6994456 kB
Mapped: 113288 kB
Shmem: 18028 kB
KReclaimable: 104772 kB
Slab: 191944 kB
SReclaimable: 104772 kB
SUnreclaim: 87172 kB
KernelStack: 4240 kB
PageTables: 16780 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 13105240 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6619136 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= 433020 MiB
End job on nodeC022 at 2025-07-01 21:36:17