0.00/0.00	c solving HOME/instance-4436386-1721111391.opb (Picat 3.6#12)
0.89/0.95	o 389936
2.08/2.17	o 46877
21.34/21.48	s OPTIMUM FOUND
21.34/21.48	v ~x4854 ~x4008 ~x3162 ~x2316 ~x1470 ~x624 ~x4855 ~x4009 ~x3163 ~x2317 
21.34/21.48	v ~x1471 ~x625 ~x4856 ~x4010 ~x3164 ~x2318 ~x1472 ~x626 ~x4857 ~x4011 
21.34/21.48	v ~x3165 ~x2319 ~x1473 ~x627 ~x4858 ~x4012 ~x3166 ~x2320 ~x1474 ~x628 
21.34/21.48	v ~x4859 ~x4013 ~x3167 ~x2321 ~x1475 ~x629 ~x4860 ~x4014 ~x3168 ~x2322 
21.34/21.48	v ~x1476 ~x630 ~x4861 ~x4015 ~x3169 ~x2323 ~x1477 ~x631 ~x4862 ~x4016 
21.34/21.48	v ~x3170 ~x2324 ~x1478 ~x632 ~x4863 ~x4017 ~x3171 ~x2325 ~x1479 ~x633 
21.34/21.48	v ~x4864 ~x4018 ~x3172 ~x2326 ~x1480 ~x634 ~x4865 ~x4019 ~x3173 ~x2327 
21.34/21.48	v ~x1481 ~x635 ~x4866 ~x4020 ~x3174 ~x2328 ~x1482 ~x636 ~x4867 ~x4021 
21.34/21.48	v ~x3175 ~x2329 ~x1483 ~x637 ~x4868 ~x4022 ~x3176 ~x2330 ~x1484 ~x638 
21.34/21.48	v ~x4869 ~x4023 ~x3177 ~x2331 ~x1485 ~x639 ~x4870 ~x4024 ~x3178 ~x2332 
21.34/21.48	v ~x1486 ~x640 ~x4871 ~x4025 ~x3179 ~x2333 ~x1487 ~x641 ~x4872 ~x4026 
21.34/21.48	v ~x3180 ~x2334 ~x1488 ~x642 ~x4873 ~x4027 ~x3181 ~x2335 ~x1489 ~x643 
21.34/21.48	v ~x4874 ~x4028 ~x3182 ~x2336 ~x1490 ~x644 ~x4875 ~x4029 ~x3183 ~x2337 
21.34/21.48	v ~x1491 ~x645 ~x4876 ~x4030 ~x3184 ~x2338 ~x1492 ~x646 ~x4877 ~x4031 
21.34/21.48	v ~x3185 ~x2339 ~x1493 ~x647 ~x4878 ~x4032 ~x3186 ~x2340 ~x1494 ~x648 
21.34/21.48	v ~x4879 ~x4033 ~x3187 ~x2341 ~x1495 ~x649 ~x4880 ~x4034 ~x3188 ~x2342 
21.34/21.48	v ~x1496 ~x650 ~x4881 ~x4035 ~x3189 ~x2343 ~x1497 ~x651 ~x4882 ~x4036 
21.34/21.48	v ~x3190 ~x2344 ~x1498 ~x652 ~x4883 ~x4037 ~x3191 ~x2345 ~x1499 ~x653 
21.34/21.48	v ~x4884 ~x4038 ~x3192 ~x2346 ~x1500 ~x654 ~x4885 ~x4039 ~x3193 ~x2347 
21.34/21.48	v ~x1501 ~x655 ~x4886 ~x4040 ~x3194 ~x2348 ~x1502 ~x656 ~x4887 ~x4041 
21.34/21.48	v ~x3195 ~x2349 ~x1503 ~x657 ~x4888 ~x4042 ~x3196 ~x2350 ~x1504 ~x658 
21.34/21.48	v ~x4889 ~x4043 ~x3197 ~x2351 ~x1505 ~x659 ~x4890 ~x4044 ~x3198 ~x2352 
21.34/21.48	v ~x1506 ~x660 ~x4891 ~x4045 ~x3199 ~x2353 ~x1507 ~x661 ~x4892 ~x4046 
21.34/21.48	v ~x3200 ~x2354 ~x1508 ~x662 ~x4893 ~x4047 ~x3201 ~x2355 ~x1509 ~x663 
21.34/21.48	v ~x4894 ~x4048 ~x3202 ~x2356 ~x1510 ~x664 ~x4895 ~x4049 ~x3203 ~x2357 
21.34/21.48	v ~x1511 ~x665 ~x4896 ~x4050 ~x3204 ~x2358 ~x1512 ~x666 ~x4897 ~x4051 
21.34/21.48	v ~x3205 ~x2359 ~x1513 ~x667 ~x4898 ~x4052 ~x3206 ~x2360 ~x1514 ~x668 
21.34/21.48	v ~x4899 ~x4053 ~x3207 ~x2361 ~x1515 ~x669 ~x4900 ~x4054 ~x3208 ~x2362 
21.34/21.48	v ~x1516 ~x670 ~x4901 ~x4055 ~x3209 ~x2363 ~x1517 ~x671 ~x4902 ~x4056 
21.34/21.48	v ~x3210 ~x2364 ~x1518 ~x672 ~x4903 ~x4057 ~x3211 ~x2365 ~x1519 ~x673 
21.34/21.48	v ~x4904 ~x4058 ~x3212 ~x2366 ~x1520 ~x674 ~x4905 ~x4059 ~x3213 ~x2367 
21.34/21.48	v ~x1521 ~x675 ~x4906 ~x4060 ~x3214 ~x2368 ~x1522 ~x676 ~x4907 ~x4061 
21.34/21.48	v ~x3215 ~x2369 ~x1523 ~x677 ~x4908 ~x4062 ~x3216 ~x2370 ~x1524 ~x678 
21.34/21.48	v ~x4909 ~x4063 ~x3217 ~x2371 ~x1525 ~x679 ~x4910 ~x4064 ~x3218 ~x2372 
21.34/21.48	v ~x1526 ~x680 ~x4911 ~x4065 ~x3219 ~x2373 ~x1527 ~x681 ~x4912 ~x4066 
21.34/21.48	v ~x3220 ~x2374 ~x1528 ~x682 ~x4913 ~x4067 ~x3221 ~x2375 ~x1529 ~x683 
21.34/21.48	v ~x4914 ~x4068 ~x3222 ~x2376 ~x1530 ~x684 ~x4915 ~x4069 ~x3223 ~x2377 
21.34/21.48	v ~x1531 ~x685 ~x4916 ~x4070 ~x3224 ~x2378 ~x1532 ~x686 ~x4917 ~x4071 
21.34/21.48	v ~x3225 ~x2379 ~x1533 ~x687 ~x4918 ~x4072 ~x3226 ~x2380 ~x1534 ~x688 
21.34/21.48	v ~x4919 ~x4073 ~x3227 ~x2381 ~x1535 ~x689 ~x4920 ~x4074 ~x3228 ~x2382 
21.34/21.48	v ~x1536 ~x690 ~x4921 ~x4075 ~x3229 ~x2383 ~x1537 ~x691 ~x4922 ~x4076 
21.34/21.48	v ~x3230 ~x2384 ~x1538 ~x692 ~x4923 ~x4077 ~x3231 ~x2385 ~x1539 ~x693 
21.34/21.48	v ~x4924 ~x4078 ~x3232 ~x2386 ~x1540 ~x694 ~x4925 ~x4079 ~x3233 ~x2387 
21.34/21.48	v ~x1541 ~x695 ~x4926 ~x4080 ~x3234 ~x2388 ~x1542 ~x696 ~x4927 ~x4081 
21.34/21.48	v ~x3235 ~x2389 ~x1543 ~x697 ~x4928 ~x4082 ~x3236 ~x2390 ~x1544 ~x698 
21.34/21.48	v ~x4929 ~x4083 ~x3237 ~x2391 ~x1545 ~x699 ~x4930 ~x4084 ~x3238 ~x2392 
21.34/21.48	v ~x1546 ~x700 ~x4931 ~x4085 ~x3239 ~x2393 ~x1547 ~x701 ~x4932 ~x4086 
21.34/21.48	v ~x3240 ~x2394 ~x1548 ~x702 ~x4933 ~x4087 ~x3241 ~x2395 ~x1549 ~x703 
21.34/21.48	v ~x4934 ~x4088 ~x3242 ~x2396 ~x1550 ~x704 ~x4935 ~x4089 ~x3243 ~x2397 
21.34/21.48	v ~x1551 ~x705 ~x4936 ~x4090 ~x3244 ~x2398 ~x1552 ~x706 ~x4937 ~x4091 
21.34/21.48	v ~x3245 ~x2399 ~x1553 ~x707 ~x4938 ~x4092 ~x3246 ~x2400 ~x1554 ~x708 
21.34/21.48	v ~x4939 ~x4093 ~x3247 ~x2401 ~x1555 ~x709 ~x4940 ~x4094 ~x3248 ~x2402 
21.34/21.48	v ~x1556 ~x710 ~x4941 ~x4095 ~x3249 ~x2403 ~x1557 ~x711 ~x4942 ~x4096 
21.34/21.48	v ~x3250 ~x2404 ~x1558 ~x712 ~x4943 ~x4097 ~x3251 ~x2405 ~x1559 ~x713 
21.34/21.48	v ~x4944 ~x4098 ~x3252 ~x2406 ~x1560 ~x714 ~x4945 ~x4099 ~x3253 ~x2407 
21.34/21.48	v ~x1561 ~x715 ~x4946 ~x4100 ~x3254 ~x2408 ~x1562 ~x716 ~x4947 ~x4101 
21.34/21.48	v ~x3255 ~x2409 ~x1563 ~x717 ~x4948 ~x4102 ~x3256 ~x2410 ~x1564 ~x718 
21.34/21.48	v ~x4949 ~x4103 ~x3257 ~x2411 ~x1565 ~x719 ~x4950 ~x4104 ~x3258 ~x2412 
21.34/21.48	v ~x1566 ~x720 ~x4951 ~x4105 ~x3259 ~x2413 ~x1567 ~x721 ~x4952 ~x4106 
21.34/21.48	v ~x3260 ~x2414 ~x1568 ~x722 ~x4953 ~x4107 ~x3261 ~x2415 ~x1569 ~x723 
21.34/21.48	v ~x4954 ~x4108 ~x3262 ~x2416 ~x1570 ~x724 ~x4955 ~x4109 ~x3263 ~x2417 
21.34/21.48	v ~x1571 ~x725 ~x4956 ~x4110 ~x3264 ~x2418 ~x1572 ~x726 ~x4957 ~x4111 
21.34/21.48	v ~x3265 ~x2419 ~x1573 ~x727 ~x4958 ~x4112 ~x3266 ~x2420 ~x1574 ~x728 
21.34/21.48	v ~x4959 ~x4113 ~x3267 ~x2421 ~x1575 ~x729 ~x4960 ~x4114 ~x3268 ~x2422 
21.34/21.48	v ~x1576 ~x730 ~x4961 ~x4115 ~x3269 ~x2423 ~x1577 ~x731 ~x4962 ~x4116 
21.34/21.48	v ~x3270 ~x2424 ~x1578 ~x732 ~x4963 ~x4117 ~x3271 ~x2425 ~x1579 ~x733 
21.34/21.48	v ~x4964 ~x4118 ~x3272 ~x2426 ~x1580 ~x734 ~x4965 ~x4119 ~x3273 ~x2427 
21.34/21.48	v ~x1581 ~x735 ~x4966 ~x4120 ~x3274 ~x2428 ~x1582 ~x736 ~x4967 ~x4121 
21.34/21.48	v ~x3275 ~x2429 ~x1583 ~x737 ~x4968 ~x4122 ~x3276 ~x2430 ~x1584 ~x738 
21.34/21.48	v ~x4969 ~x4123 ~x3277 ~x2431 ~x1585 ~x739 ~x4970 ~x4124 ~x3278 ~x2432 
21.34/21.48	v ~x1586 ~x740 ~x4971 ~x4125 ~x3279 ~x2433 ~x1587 ~x741 ~x4972 ~x4126 
21.34/21.48	v ~x3280 ~x2434 ~x1588 ~x742 ~x4973 ~x4127 ~x3281 ~x2435 ~x1589 ~x743 
21.34/21.48	v ~x4974 ~x4128 ~x3282 ~x2436 ~x1590 ~x744 ~x4975 ~x4129 ~x3283 ~x2437 
21.34/21.48	v ~x1591 ~x745 ~x4976 ~x4130 ~x3284 ~x2438 ~x1592 ~x746 ~x4977 ~x4131 
21.34/21.48	v ~x3285 ~x2439 ~x1593 ~x747 ~x4978 ~x4132 ~x3286 ~x2440 ~x1594 ~x748 
21.34/21.48	v ~x4979 ~x4133 ~x3287 ~x2441 ~x1595 ~x749 ~x4980 ~x4134 ~x3288 ~x2442 
21.34/21.48	v ~x1596 ~x750 ~x4981 ~x4135 ~x3289 ~x2443 ~x1597 ~x751 ~x4982 ~x4136 
21.34/21.48	v ~x3290 ~x2444 ~x1598 ~x752 ~x4983 ~x4137 ~x3291 ~x2445 ~x1599 ~x753 
21.34/21.48	v ~x4984 ~x4138 ~x3292 ~x2446 ~x1600 ~x754 ~x4985 ~x4139 ~x3293 ~x2447 
21.34/21.48	v ~x1601 ~x755 ~x4986 ~x4140 ~x3294 ~x2448 ~x1602 ~x756 ~x4987 ~x4141 
21.34/21.48	v ~x3295 ~x2449 ~x1603 ~x757 ~x4988 ~x4142 ~x3296 ~x2450 ~x1604 ~x758 
21.34/21.48	v ~x4989 ~x4143 ~x3297 ~x2451 ~x1605 ~x759 ~x4990 ~x4144 ~x3298 ~x2452 
21.34/21.48	v ~x1606 ~x760 ~x4991 ~x4145 ~x3299 ~x2453 ~x1607 ~x761 ~x4992 ~x4146 
21.34/21.48	v ~x3300 ~x2454 ~x1608 ~x762 ~x4993 ~x4147 ~x3301 ~x2455 ~x1609 ~x763 
21.34/21.48	v ~x4994 ~x4148 ~x3302 ~x2456 ~x1610 ~x764 ~x4995 ~x4149 ~x3303 ~x2457 
21.34/21.48	v ~x1611 ~x765 ~x4996 ~x4150 ~x3304 ~x2458 ~x1612 ~x766 ~x4997 ~x4151 
21.34/21.48	v ~x3305 ~x2459 ~x1613 ~x767 ~x4998 ~x4152 ~x3306 ~x2460 ~x1614 ~x768 
21.34/21.48	v ~x4999 ~x4153 ~x3307 ~x2461 ~x1615 ~x769 ~x5000 ~x4154 ~x3308 ~x2462 
21.34/21.48	v ~x1616 ~x770 ~x5001 ~x4155 ~x3309 ~x2463 ~x1617 ~x771 ~x5002 ~x4156 
21.34/21.48	v ~x3310 ~x2464 ~x1618 ~x772 ~x5003 ~x4157 ~x3311 ~x2465 ~x1619 ~x773 
21.34/21.48	v ~x5004 ~x4158 ~x3312 ~x2466 ~x1620 ~x774 ~x5005 ~x4159 ~x3313 ~x2467 
21.34/21.48	v ~x1621 ~x775 ~x5006 ~x4160 ~x3314 ~x2468 ~x1622 ~x776 ~x5007 ~x4161 
21.34/21.48	v ~x3315 ~x2469 ~x1623 ~x777 ~x5008 ~x4162 ~x3316 ~x2470 ~x1624 ~x778 
21.34/21.48	v ~x5009 ~x4163 ~x3317 ~x2471 ~x1625 ~x779 ~x5010 ~x4164 ~x3318 ~x2472 
21.34/21.48	v ~x1626 ~x780 ~x5011 ~x4165 ~x3319 ~x2473 ~x1627 ~x781 ~x5012 ~x4166 
21.34/21.48	v ~x3320 ~x2474 ~x1628 ~x782 ~x5013 ~x4167 ~x3321 ~x2475 ~x1629 ~x783 
21.34/21.48	v ~x5014 ~x4168 ~x3322 ~x2476 ~x1630 ~x784 ~x5015 ~x4169 ~x3323 ~x2477 
21.34/21.48	v ~x1631 ~x785 ~x5016 ~x4170 ~x3324 ~x2478 ~x1632 ~x786 ~x5017 ~x4171 
21.34/21.48	v ~x3325 ~x2479 ~x1633 ~x787 ~x5018 ~x4172 ~x3326 ~x2480 ~x1634 ~x788 
21.34/21.48	v ~x5019 ~x4173 ~x3327 ~x2481 ~x1635 ~x789 ~x5020 ~x4174 ~x3328 ~x2482 
21.34/21.48	v ~x1636 ~x790 ~x5021 ~x4175 ~x3329 ~x2483 ~x1637 ~x791 ~x5022 ~x4176 
21.34/21.48	v ~x3330 ~x2484 ~x1638 ~x792 ~x5023 ~x4177 ~x3331 ~x2485 ~x1639 ~x793 
21.34/21.48	v ~x5024 ~x4178 ~x3332 ~x2486 ~x1640 ~x794 ~x5025 ~x4179 ~x3333 ~x2487 
21.34/21.48	v ~x1641 ~x795 ~x5026 ~x4180 ~x3334 ~x2488 ~x1642 ~x796 ~x5027 ~x4181 
21.34/21.48	v ~x3335 ~x2489 ~x1643 ~x797 ~x5028 ~x4182 ~x3336 ~x2490 ~x1644 ~x798 
21.34/21.48	v ~x5029 ~x4183 ~x3337 ~x2491 ~x1645 ~x799 ~x5030 ~x4184 ~x3338 ~x2492 
21.34/21.48	v ~x1646 ~x800 ~x5031 ~x4185 ~x3339 ~x2493 ~x1647 ~x801 ~x5032 ~x4186 
21.34/21.48	v ~x3340 ~x2494 ~x1648 ~x802 ~x5033 ~x4187 ~x3341 ~x2495 ~x1649 ~x803 
21.34/21.48	v ~x5034 ~x4188 ~x3342 ~x2496 ~x1650 ~x804 ~x5035 ~x4189 ~x3343 ~x2497 
21.34/21.48	v ~x1651 ~x805 ~x5036 ~x4190 ~x3344 ~x2498 ~x1652 ~x806 ~x5037 ~x4191 
21.34/21.48	v ~x3345 ~x2499 ~x1653 ~x807 ~x5038 ~x4192 ~x3346 ~x2500 ~x1654 ~x808 
21.34/21.48	v ~x5039 ~x4193 ~x3347 ~x2501 ~x1655 ~x809 ~x5040 ~x4194 ~x3348 ~x2502 
21.34/21.48	v ~x1656 ~x810 ~x5041 ~x4195 ~x3349 ~x2503 ~x1657 ~x811 ~x5042 ~x4196 
21.34/21.48	v ~x3350 ~x2504 ~x1658 ~x812 ~x5043 ~x4197 ~x3351 ~x2505 ~x1659 ~x813 
21.34/21.48	v ~x5044 ~x4198 ~x3352 ~x2506 ~x1660 ~x814 ~x5045 ~x4199 ~x3353 ~x2507 
21.34/21.48	v ~x1661 ~x815 ~x5046 ~x4200 ~x3354 ~x2508 ~x1662 ~x816 ~x5047 ~x4201 
21.34/21.48	v ~x3355 ~x2509 ~x1663 ~x817 ~x5048 ~x4202 ~x3356 ~x2510 ~x1664 ~x818 
21.34/21.48	v ~x5049 ~x4203 ~x3357 ~x2511 ~x1665 ~x819 ~x5050 ~x4204 ~x3358 ~x2512 
21.34/21.48	v ~x1666 ~x820 ~x5051 ~x4205 ~x3359 ~x2513 ~x1667 ~x821 ~x5052 ~x4206 
21.34/21.48	v ~x3360 ~x2514 ~x1668 ~x822 ~x5053 ~x4207 ~x3361 ~x2515 ~x1669 ~x823 
21.34/21.48	v ~x5054 ~x4208 ~x3362 ~x2516 ~x1670 ~x824 ~x5055 ~x4209 ~x3363 ~x2517 
21.34/21.48	v ~x1671 ~x825 ~x5056 ~x4210 ~x3364 ~x2518 ~x1672 ~x826 ~x5057 ~x4211 
21.34/21.48	v ~x3365 ~x2519 ~x1673 ~x827 ~x5058 ~x4212 ~x3366 ~x2520 ~x1674 ~x828 
21.34/21.48	v ~x5059 ~x4213 ~x3367 ~x2521 ~x1675 ~x829 ~x5060 ~x4214 ~x3368 ~x2522 
21.34/21.48	v ~x1676 ~x830 ~x5061 ~x4215 ~x3369 ~x2523 ~x1677 ~x831 ~x5062 ~x4216 
21.34/21.48	v ~x3370 ~x2524 ~x1678 ~x832 ~x5063 ~x4217 ~x3371 ~x2525 ~x1679 ~x833 
21.34/21.48	v ~x5064 ~x4218 ~x3372 ~x2526 ~x1680 ~x834 ~x5065 ~x4219 ~x3373 ~x2527 
21.34/21.48	v ~x1681 ~x835 ~x5066 ~x4220 ~x3374 ~x2528 ~x1682 ~x836 ~x5067 ~x4221 
21.34/21.48	v ~x3375 ~x2529 ~x1683 ~x837 ~x5068 ~x4222 ~x3376 ~x2530 ~x1684 ~x838 
21.34/21.48	v ~x5069 ~x4223 ~x3377 ~x2531 ~x1685 ~x839 ~x5070 ~x4224 ~x3378 ~x2532 
21.34/21.48	v ~x1686 ~x840 ~x5071 ~x4225 ~x3379 ~x2533 ~x1687 ~x841 ~x5072 ~x4226 
21.34/21.48	v ~x3380 ~x2534 ~x1688 ~x842 ~x5073 ~x4227 ~x3381 ~x2535 ~x1689 ~x843 
21.34/21.48	v ~x5074 ~x4228 ~x3382 ~x2536 ~x1690 ~x844 ~x5075 ~x4229 ~x3383 ~x2537 
21.34/21.48	v ~x1691 ~x845 ~x5076 ~x4230 ~x3384 ~x2538 ~x1692 ~x846 ~x5077 ~x4231 
21.34/21.48	v ~x3385 ~x2539 ~x1693 ~x847 ~x1 ~x5078 ~x4232 ~x3386 ~x2540 ~x1694 
21.34/21.48	v ~x848 ~x2 ~x5079 ~x4233 ~x3387 ~x2541 ~x1695 ~x849 ~x3 ~x5080 
21.34/21.48	v ~x4234 ~x3388 ~x2542 ~x1696 ~x850 ~x4 ~x5081 ~x4235 ~x3389 ~x2543 
21.34/21.48	v ~x1697 ~x851 ~x5 ~x5082 ~x4236 ~x3390 ~x2544 ~x1698 ~x852 ~x6 
21.34/21.48	v ~x5083 ~x4237 ~x3391 ~x2545 ~x1699 ~x853 ~x7 ~x5084 ~x4238 ~x3392 
21.34/21.48	v ~x2546 ~x1700 ~x854 ~x8 ~x5085 ~x4239 ~x3393 ~x2547 ~x1701 ~x855 
21.34/21.48	v ~x9 ~x5086 ~x4240 ~x3394 ~x2548 ~x1702 ~x856 ~x10 ~x5087 ~x4241 
21.34/21.48	v ~x3395 ~x2549 ~x1703 ~x857 ~x11 ~x5088 ~x4242 ~x3396 ~x2550 ~x1704 
21.34/21.48	v ~x858 ~x12 ~x5089 ~x4243 ~x3397 ~x2551 ~x1705 ~x859 ~x13 ~x5090 
21.34/21.48	v ~x4244 ~x3398 ~x2552 ~x1706 ~x860 ~x14 ~x5091 ~x4245 ~x3399 ~x2553 
21.34/21.48	v ~x1707 ~x861 ~x15 ~x5092 ~x4246 ~x3400 ~x2554 ~x1708 ~x862 ~x16 
21.34/21.48	v ~x5093 ~x4247 ~x3401 ~x2555 ~x1709 ~x863 ~x17 ~x5094 ~x4248 ~x3402 
21.34/21.48	v ~x2556 ~x1710 ~x864 ~x18 ~x5095 ~x4249 ~x3403 ~x2557 ~x1711 ~x865 
21.34/21.48	v ~x19 ~x5096 ~x4250 ~x3404 ~x2558 ~x1712 ~x866 ~x20 ~x5097 ~x4251 
21.34/21.48	v ~x3405 ~x2559 ~x1713 ~x867 ~x21 ~x5098 ~x4252 ~x3406 ~x2560 ~x1714 
21.34/21.48	v ~x868 ~x22 ~x5099 ~x4253 ~x3407 ~x2561 ~x1715 ~x869 ~x23 ~x5100 
21.34/21.48	v ~x4254 ~x3408 ~x2562 ~x1716 ~x870 ~x24 ~x5101 ~x4255 ~x3409 ~x2563 
21.34/21.48	v ~x1717 ~x871 ~x25 ~x5102 ~x4256 ~x3410 ~x2564 ~x1718 ~x872 ~x26 
21.34/21.48	v ~x5103 ~x4257 ~x3411 ~x2565 ~x1719 ~x873 ~x27 ~x5104 ~x4258 ~x3412 
21.34/21.48	v ~x2566 ~x1720 ~x874 ~x28 ~x5105 ~x4259 ~x3413 ~x2567 ~x1721 ~x875 
21.34/21.48	v ~x29 ~x5106 ~x4260 ~x3414 ~x2568 ~x1722 ~x876 ~x30 ~x5107 ~x4261 
21.34/21.48	v ~x3415 ~x2569 ~x1723 ~x877 ~x31 ~x5108 ~x4262 ~x3416 ~x2570 ~x1724 
21.34/21.48	v ~x878 ~x32 ~x5109 ~x4263 ~x3417 ~x2571 ~x1725 ~x879 ~x33 ~x5110 
21.34/21.48	v ~x4264 ~x3418 ~x2572 ~x1726 ~x880 ~x34 ~x5111 ~x4265 ~x3419 ~x2573 
21.34/21.48	v ~x1727 ~x881 ~x35 ~x5112 ~x4266 ~x3420 ~x2574 ~x1728 ~x882 ~x36 
21.34/21.48	v ~x5113 ~x4267 ~x3421 ~x2575 ~x1729 ~x883 ~x37 ~x5114 ~x4268 ~x3422 
21.34/21.48	v ~x2576 ~x1730 ~x884 ~x38 ~x5115 ~x4269 ~x3423 ~x2577 ~x1731 ~x885 
21.34/21.48	v ~x39 ~x5116 ~x4270 ~x3424 ~x2578 ~x1732 ~x886 ~x40 ~x5117 ~x4271 
21.34/21.48	v ~x3425 ~x2579 ~x1733 ~x887 ~x41 ~x5118 ~x4272 ~x3426 ~x2580 ~x1734 
21.34/21.48	v ~x888 ~x42 ~x5119 ~x4273 ~x3427 ~x2581 ~x1735 ~x889 ~x43 ~x5120 
21.34/21.48	v ~x4274 ~x3428 ~x2582 ~x1736 ~x890 ~x44 ~x4275 ~x3429 ~x2583 ~x1737 
21.34/21.48	v ~x891 ~x45 ~x4276 ~x3430 ~x2584 ~x1738 ~x892 ~x46 ~x4277 ~x3431 
21.34/21.48	v ~x2585 ~x1739 ~x893 ~x47 ~x4278 ~x3432 ~x2586 ~x1740 ~x894 ~x48 
21.34/21.48	v ~x4279 ~x3433 ~x2587 ~x1741 ~x895 ~x49 ~x4280 ~x3434 ~x2588 ~x1742 
21.34/21.48	v ~x896 ~x50 ~x4281 ~x3435 ~x2589 ~x1743 ~x897 ~x51 ~x4282 ~x3436 
21.34/21.48	v ~x2590 ~x1744 ~x898 ~x52 ~x4283 ~x3437 ~x2591 ~x1745 ~x899 ~x53 
21.34/21.48	v ~x4284 ~x3438 ~x2592 ~x1746 ~x900 ~x54 ~x4285 ~x3439 ~x2593 ~x1747 
21.34/21.48	v ~x901 ~x55 ~x4286 ~x3440 ~x2594 ~x1748 ~x902 ~x56 ~x5121 ~x4287 
21.34/21.48	v ~x3441 ~x2595 ~x1749 ~x903 ~x57 ~x5122 ~x4288 ~x3442 ~x2596 ~x1750 
21.34/21.48	v ~x904 ~x58 ~x5123 ~x4289 ~x3443 ~x2597 ~x1751 ~x905 ~x59 ~x5124 
21.34/21.48	v ~x4290 ~x3444 ~x2598 ~x1752 ~x906 ~x60 ~x5125 ~x4291 ~x3445 ~x2599 
21.34/21.48	v ~x1753 ~x907 ~x61 x5126 ~x4292 ~x3446 ~x2600 ~x1754 ~x908 ~x62 
21.34/21.48	v ~x5127 ~x4293 ~x3447 ~x2601 ~x1755 ~x909 ~x63 ~x5128 ~x4294 ~x3448 
21.34/21.48	v ~x2602 ~x1756 ~x910 ~x64 ~x5129 ~x4295 ~x3449 ~x2603 ~x1757 ~x911 
21.34/21.48	v ~x65 x5130 ~x4296 ~x3450 ~x2604 ~x1758 ~x912 ~x66 ~x5131 ~x4297 
21.34/21.48	v ~x3451 ~x2605 ~x1759 ~x913 ~x67 ~x5132 ~x4298 ~x3452 ~x2606 ~x1760 
21.34/21.48	v ~x914 ~x68 ~x5133 ~x4299 ~x3453 ~x2607 ~x1761 ~x915 ~x69 ~x5134 
21.34/21.48	v ~x4300 ~x3454 ~x2608 ~x1762 ~x916 ~x70 ~x5135 ~x4301 ~x3455 ~x2609 
21.34/21.48	v ~x1763 ~x917 ~x71 ~x5136 ~x4302 ~x3456 ~x2610 ~x1764 ~x918 ~x72 
21.34/21.48	v ~x5137 ~x4303 ~x3457 ~x2611 ~x1765 ~x919 ~x73 ~x5138 ~x4304 ~x3458 
21.34/21.48	v ~x2612 ~x1766 ~x920 ~x74 ~x4305 ~x3459 ~x2613 ~x1767 ~x921 ~x75 
21.34/21.48	v ~x4306 ~x3460 ~x2614 ~x1768 ~x922 ~x76 ~x4307 ~x3461 ~x2615 ~x1769 
21.34/21.48	v ~x923 ~x77 ~x4308 ~x3462 ~x2616 ~x1770 ~x924 ~x78 ~x4309 ~x3463 
21.34/21.48	v ~x2617 ~x1771 ~x925 ~x79 ~x4310 ~x3464 ~x2618 ~x1772 ~x926 ~x80 
21.34/21.48	v ~x4311 ~x3465 ~x2619 ~x1773 ~x927 ~x81 ~x4312 ~x3466 ~x2620 ~x1774 
21.34/21.48	v ~x928 ~x82 ~x4313 ~x3467 ~x2621 ~x1775 ~x929 ~x83 ~x4314 ~x3468 
21.34/21.48	v ~x2622 ~x1776 ~x930 ~x84 ~x4315 ~x3469 ~x2623 ~x1777 ~x931 ~x85 
21.34/21.48	v ~x4316 ~x3470 ~x2624 ~x1778 ~x932 ~x86 ~x4317 ~x3471 ~x2625 ~x1779 
21.34/21.48	v ~x933 ~x87 ~x4318 ~x3472 ~x2626 ~x1780 ~x934 ~x88 ~x4319 ~x3473 
21.34/21.48	v ~x2627 ~x1781 ~x935 ~x89 ~x4320 ~x3474 ~x2628 ~x1782 ~x936 ~x90 
21.34/21.48	v ~x4321 ~x3475 ~x2629 ~x1783 ~x937 ~x91 ~x4322 ~x3476 ~x2630 ~x1784 
21.34/21.48	v ~x938 ~x92 ~x4323 ~x3477 ~x2631 ~x1785 ~x939 ~x93 ~x4324 ~x3478 
21.34/21.48	v ~x2632 ~x1786 ~x940 ~x94 ~x4325 ~x3479 ~x2633 ~x1787 ~x941 ~x95 
21.34/21.48	v ~x4326 ~x3480 ~x2634 ~x1788 ~x942 ~x96 ~x4327 ~x3481 ~x2635 ~x1789 
21.34/21.48	v ~x943 ~x97 ~x4328 ~x3482 ~x2636 ~x1790 ~x944 ~x98 ~x4329 ~x3483 
21.34/21.48	v ~x2637 ~x1791 ~x945 ~x99 ~x4330 ~x3484 ~x2638 ~x1792 ~x946 ~x100 
21.34/21.48	v ~x4331 ~x3485 ~x2639 ~x1793 ~x947 ~x101 ~x4332 ~x3486 ~x2640 ~x1794 
21.34/21.48	v ~x948 ~x102 ~x4333 ~x3487 ~x2641 ~x1795 ~x949 ~x103 ~x4334 ~x3488 
21.34/21.48	v ~x2642 ~x1796 ~x950 ~x104 ~x4335 ~x3489 ~x2643 ~x1797 ~x951 ~x105 
21.34/21.48	v ~x4336 ~x3490 ~x2644 ~x1798 ~x952 ~x106 ~x4337 ~x3491 ~x2645 ~x1799 
21.34/21.48	v ~x953 ~x107 ~x4338 ~x3492 ~x2646 ~x1800 ~x954 ~x108 ~x4339 ~x3493 
21.34/21.48	v ~x2647 ~x1801 ~x955 ~x109 ~x4340 ~x3494 ~x2648 ~x1802 ~x956 ~x110 
21.34/21.48	v ~x4341 ~x3495 ~x2649 ~x1803 ~x957 ~x111 ~x4342 ~x3496 ~x2650 ~x1804 
21.34/21.48	v ~x958 ~x112 ~x4343 ~x3497 ~x2651 ~x1805 ~x959 ~x113 ~x4344 ~x3498 
21.34/21.48	v ~x2652 ~x1806 ~x960 ~x114 ~x4345 ~x3499 ~x2653 ~x1807 ~x961 ~x115 
21.34/21.48	v ~x4346 ~x3500 ~x2654 ~x1808 ~x962 ~x116 ~x4347 ~x3501 ~x2655 ~x1809 
21.34/21.48	v ~x963 ~x117 ~x4348 ~x3502 ~x2656 ~x1810 ~x964 ~x118 ~x4349 ~x3503 
21.34/21.48	v ~x2657 ~x1811 ~x965 ~x119 ~x4350 ~x3504 ~x2658 ~x1812 ~x966 ~x120 
21.34/21.48	v ~x4351 ~x3505 ~x2659 ~x1813 ~x967 ~x121 ~x4352 ~x3506 ~x2660 ~x1814 
21.34/21.48	v ~x968 ~x122 ~x4353 ~x3507 ~x2661 ~x1815 ~x969 ~x123 ~x4354 ~x3508 
21.34/21.48	v ~x2662 ~x1816 ~x970 ~x124 ~x4355 ~x3509 ~x2663 ~x1817 ~x971 ~x125 
21.34/21.48	v ~x4356 ~x3510 ~x2664 ~x1818 ~x972 ~x126 ~x4357 ~x3511 ~x2665 ~x1819 
21.34/21.48	v ~x973 ~x127 ~x4358 ~x3512 ~x2666 ~x1820 ~x974 ~x128 ~x4359 ~x3513 
21.34/21.48	v ~x2667 ~x1821 ~x975 ~x129 ~x4360 ~x3514 ~x2668 ~x1822 ~x976 ~x130 
21.34/21.48	v ~x4361 ~x3515 ~x2669 ~x1823 ~x977 ~x131 ~x4362 ~x3516 ~x2670 ~x1824 
21.34/21.48	v ~x978 ~x132 ~x4363 ~x3517 ~x2671 ~x1825 ~x979 ~x133 ~x4364 ~x3518 
21.34/21.48	v ~x2672 ~x1826 ~x980 ~x134 ~x4365 ~x3519 ~x2673 ~x1827 ~x981 ~x135 
21.34/21.48	v ~x4366 ~x3520 ~x2674 ~x1828 ~x982 ~x136 ~x4367 ~x3521 ~x2675 ~x1829 
21.34/21.48	v ~x983 ~x137 ~x4368 ~x3522 ~x2676 ~x1830 ~x984 ~x138 ~x4369 ~x3523 
21.34/21.48	v ~x2677 ~x1831 ~x985 ~x139 ~x4370 ~x3524 ~x2678 ~x1832 ~x986 ~x140 
21.34/21.48	v ~x4371 ~x3525 ~x2679 ~x1833 ~x987 ~x141 ~x4372 ~x3526 ~x2680 ~x1834 
21.34/21.48	v ~x988 ~x142 ~x4373 ~x3527 ~x2681 ~x1835 ~x989 ~x143 ~x4374 ~x3528 
21.34/21.48	v ~x2682 ~x1836 ~x990 ~x144 ~x4375 ~x3529 ~x2683 ~x1837 ~x991 ~x145 
21.34/21.48	v ~x4376 ~x3530 ~x2684 ~x1838 ~x992 ~x146 ~x4377 ~x3531 ~x2685 ~x1839 
21.34/21.48	v ~x993 ~x147 ~x4378 ~x3532 ~x2686 ~x1840 ~x994 ~x148 ~x4379 ~x3533 
21.34/21.48	v ~x2687 ~x1841 ~x995 ~x149 ~x4380 ~x3534 ~x2688 ~x1842 ~x996 ~x150 
21.34/21.48	v ~x4381 ~x3535 ~x2689 ~x1843 ~x997 ~x151 ~x4382 ~x3536 x2690 ~x1844 
21.34/21.48	v ~x998 ~x152 ~x4383 ~x3537 ~x2691 ~x1845 ~x999 ~x153 ~x4384 ~x3538 
21.34/21.48	v ~x2692 ~x1846 ~x1000 ~x154 ~x4385 ~x3539 ~x2693 ~x1847 ~x1001 ~x155 
21.34/21.48	v ~x4386 ~x3540 ~x2694 ~x1848 ~x1002 ~x156 ~x4387 ~x3541 ~x2695 ~x1849 
21.34/21.48	v ~x1003 ~x157 ~x4388 ~x3542 ~x2696 ~x1850 ~x1004 ~x158 ~x4389 ~x3543 
21.34/21.48	v ~x2697 ~x1851 ~x1005 ~x159 ~x4390 ~x3544 ~x2698 ~x1852 ~x1006 ~x160 
21.34/21.48	v ~x4391 ~x3545 ~x2699 ~x1853 ~x1007 ~x161 ~x4392 ~x3546 ~x2700 ~x1854 
21.34/21.48	v ~x1008 ~x162 ~x4393 ~x3547 ~x2701 ~x1855 ~x1009 ~x163 ~x4394 ~x3548 
21.34/21.48	v ~x2702 ~x1856 ~x1010 ~x164 ~x4395 ~x3549 ~x2703 ~x1857 ~x1011 ~x165 
21.34/21.48	v ~x4396 ~x3550 ~x2704 ~x1858 ~x1012 ~x166 ~x4397 ~x3551 ~x2705 ~x1859 
21.34/21.48	v ~x1013 ~x167 ~x4398 ~x3552 ~x2706 ~x1860 ~x1014 ~x168 ~x4399 ~x3553 
21.34/21.48	v ~x2707 ~x1861 ~x1015 ~x169 ~x4400 ~x3554 ~x2708 ~x1862 ~x1016 ~x170 
21.34/21.48	v ~x4401 ~x3555 ~x2709 ~x1863 ~x1017 ~x171 ~x4402 ~x3556 ~x2710 ~x1864 
21.34/21.48	v ~x1018 ~x172 ~x4403 ~x3557 ~x2711 ~x1865 ~x1019 ~x173 ~x4404 ~x3558 
21.34/21.48	v ~x2712 ~x1866 ~x1020 ~x174 ~x4405 ~x3559 ~x2713 ~x1867 ~x1021 ~x175 
21.34/21.48	v ~x4406 ~x3560 ~x2714 ~x1868 ~x1022 ~x176 ~x4407 ~x3561 ~x2715 ~x1869 
21.34/21.48	v ~x1023 ~x177 ~x4408 ~x3562 ~x2716 ~x1870 ~x1024 ~x178 ~x4409 ~x3563 
21.34/21.48	v ~x2717 ~x1871 ~x1025 ~x179 ~x4410 ~x3564 ~x2718 ~x1872 ~x1026 ~x180 
21.34/21.48	v ~x4411 ~x3565 ~x2719 ~x1873 ~x1027 ~x181 ~x4412 ~x3566 ~x2720 ~x1874 
21.34/21.48	v ~x1028 ~x182 ~x4413 ~x3567 ~x2721 ~x1875 ~x1029 ~x183 ~x4414 ~x3568 
21.34/21.48	v ~x2722 ~x1876 ~x1030 ~x184 ~x4415 ~x3569 ~x2723 ~x1877 ~x1031 ~x185 
21.34/21.48	v ~x4416 ~x3570 ~x2724 ~x1878 ~x1032 ~x186 ~x4417 ~x3571 ~x2725 ~x1879 
21.34/21.48	v ~x1033 ~x187 ~x4418 ~x3572 ~x2726 ~x1880 ~x1034 ~x188 ~x4419 ~x3573 
21.34/21.48	v ~x2727 ~x1881 ~x1035 ~x189 ~x4420 ~x3574 ~x2728 ~x1882 ~x1036 ~x190 
21.34/21.48	v ~x4421 ~x3575 ~x2729 ~x1883 ~x1037 ~x191 ~x4422 ~x3576 ~x2730 ~x1884 
21.34/21.48	v ~x1038 ~x192 ~x4423 ~x3577 ~x2731 ~x1885 ~x1039 ~x193 ~x4424 ~x3578 
21.34/21.48	v ~x2732 ~x1886 ~x1040 ~x194 ~x4425 ~x3579 ~x2733 ~x1887 ~x1041 ~x195 
21.34/21.48	v ~x4426 ~x3580 ~x2734 ~x1888 ~x1042 ~x196 ~x4427 ~x3581 ~x2735 ~x1889 
21.34/21.48	v ~x1043 ~x197 ~x4428 ~x3582 ~x2736 ~x1890 ~x1044 ~x198 ~x4429 ~x3583 
21.34/21.48	v ~x2737 ~x1891 ~x1045 ~x199 ~x4430 ~x3584 ~x2738 ~x1892 ~x1046 ~x200 
21.34/21.48	v ~x4431 ~x3585 ~x2739 ~x1893 ~x1047 ~x201 ~x4432 ~x3586 ~x2740 ~x1894 
21.34/21.48	v ~x1048 ~x202 ~x4433 ~x3587 ~x2741 ~x1895 ~x1049 ~x203 ~x4434 ~x3588 
21.34/21.48	v ~x2742 ~x1896 ~x1050 ~x204 ~x4435 ~x3589 ~x2743 ~x1897 ~x1051 ~x205 
21.34/21.48	v ~x4436 ~x3590 ~x2744 ~x1898 ~x1052 ~x206 ~x4437 ~x3591 ~x2745 ~x1899 
21.34/21.48	v ~x1053 ~x207 ~x4438 ~x3592 ~x2746 ~x1900 ~x1054 ~x208 ~x4439 ~x3593 
21.34/21.48	v ~x2747 ~x1901 ~x1055 ~x209 ~x4440 ~x3594 ~x2748 ~x1902 ~x1056 ~x210 
21.34/21.48	v ~x4441 ~x3595 ~x2749 ~x1903 ~x1057 ~x211 ~x4442 ~x3596 ~x2750 ~x1904 
21.34/21.48	v ~x1058 ~x212 ~x4443 ~x3597 ~x2751 ~x1905 ~x1059 ~x213 ~x4444 ~x3598 
21.34/21.48	v ~x2752 ~x1906 ~x1060 ~x214 ~x4445 ~x3599 ~x2753 ~x1907 ~x1061 ~x215 
21.34/21.48	v ~x4446 ~x3600 ~x2754 ~x1908 ~x1062 ~x216 ~x4447 ~x3601 ~x2755 ~x1909 
21.34/21.48	v ~x1063 ~x217 ~x4448 ~x3602 ~x2756 ~x1910 ~x1064 ~x218 ~x4449 ~x3603 
21.34/21.48	v ~x2757 ~x1911 ~x1065 ~x219 ~x4450 ~x3604 ~x2758 ~x1912 ~x1066 ~x220 
21.34/21.48	v ~x4451 ~x3605 ~x2759 ~x1913 ~x1067 ~x221 ~x4452 ~x3606 ~x2760 ~x1914 
21.34/21.48	v ~x1068 ~x222 ~x4453 ~x3607 ~x2761 x1915 ~x1069 ~x223 ~x4454 ~x3608 
21.34/21.48	v ~x2762 ~x1916 ~x1070 ~x224 ~x4455 ~x3609 ~x2763 ~x1917 ~x1071 ~x225 
21.34/21.48	v ~x4456 ~x3610 ~x2764 ~x1918 ~x1072 ~x226 ~x4457 ~x3611 ~x2765 ~x1919 
21.34/21.48	v ~x1073 ~x227 ~x4458 ~x3612 ~x2766 ~x1920 ~x1074 ~x228 ~x4459 ~x3613 
21.34/21.48	v ~x2767 ~x1921 ~x1075 ~x229 ~x4460 ~x3614 ~x2768 ~x1922 ~x1076 ~x230 
21.34/21.48	v ~x4461 ~x3615 ~x2769 ~x1923 ~x1077 ~x231 ~x4462 ~x3616 ~x2770 ~x1924 
21.34/21.48	v ~x1078 ~x232 ~x4463 ~x3617 ~x2771 ~x1925 ~x1079 ~x233 ~x4464 ~x3618 
21.34/21.48	v ~x2772 ~x1926 ~x1080 ~x234 ~x4465 ~x3619 ~x2773 ~x1927 ~x1081 ~x235 
21.34/21.48	v ~x4466 ~x3620 ~x2774 ~x1928 ~x1082 ~x236 ~x4467 ~x3621 ~x2775 ~x1929 
21.34/21.48	v ~x1083 ~x237 ~x4468 ~x3622 ~x2776 ~x1930 ~x1084 ~x238 ~x4469 ~x3623 
21.34/21.48	v ~x2777 ~x1931 ~x1085 ~x239 ~x4470 ~x3624 ~x2778 ~x1932 ~x1086 ~x240 
21.34/21.48	v ~x4471 ~x3625 ~x2779 ~x1933 ~x1087 ~x241 ~x4472 ~x3626 ~x2780 ~x1934 
21.34/21.48	v ~x1088 ~x242 ~x4473 ~x3627 ~x2781 ~x1935 ~x1089 ~x243 ~x4474 ~x3628 
21.34/21.48	v ~x2782 ~x1936 ~x1090 ~x244 ~x4475 ~x3629 ~x2783 ~x1937 ~x1091 ~x245 
21.34/21.48	v ~x4476 ~x3630 ~x2784 ~x1938 ~x1092 ~x246 ~x4477 ~x3631 ~x2785 ~x1939 
21.34/21.48	v ~x1093 ~x247 ~x4478 ~x3632 ~x2786 ~x1940 ~x1094 ~x248 ~x4479 ~x3633 
21.34/21.48	v ~x2787 ~x1941 ~x1095 ~x249 ~x4480 ~x3634 ~x2788 ~x1942 ~x1096 ~x250 
21.34/21.48	v ~x4481 ~x3635 ~x2789 ~x1943 ~x1097 ~x251 ~x4482 ~x3636 ~x2790 ~x1944 
21.34/21.48	v ~x1098 ~x252 ~x4483 ~x3637 ~x2791 ~x1945 ~x1099 ~x253 ~x4484 ~x3638 
21.34/21.48	v ~x2792 ~x1946 ~x1100 ~x254 ~x4485 ~x3639 ~x2793 ~x1947 ~x1101 ~x255 
21.34/21.48	v ~x4486 ~x3640 ~x2794 ~x1948 ~x1102 ~x256 ~x4487 ~x3641 ~x2795 ~x1949 
21.34/21.48	v ~x1103 ~x257 ~x4488 ~x3642 ~x2796 ~x1950 ~x1104 ~x258 ~x4489 ~x3643 
21.34/21.48	v ~x2797 ~x1951 ~x1105 ~x259 ~x4490 ~x3644 ~x2798 ~x1952 ~x1106 ~x260 
21.34/21.48	v ~x4491 ~x3645 ~x2799 ~x1953 ~x1107 ~x261 ~x4492 ~x3646 ~x2800 ~x1954 
21.34/21.48	v ~x1108 ~x262 ~x4493 ~x3647 ~x2801 ~x1955 ~x1109 ~x263 ~x4494 ~x3648 
21.34/21.48	v ~x2802 ~x1956 ~x1110 ~x264 ~x4495 ~x3649 ~x2803 ~x1957 ~x1111 ~x265 
21.34/21.48	v ~x4496 ~x3650 ~x2804 ~x1958 ~x1112 ~x266 ~x4497 ~x3651 ~x2805 ~x1959 
21.34/21.48	v ~x1113 ~x267 ~x4498 ~x3652 ~x2806 ~x1960 ~x1114 ~x268 ~x4499 ~x3653 
21.34/21.48	v ~x2807 ~x1961 ~x1115 ~x269 ~x4500 ~x3654 ~x2808 ~x1962 ~x1116 ~x270 
21.34/21.48	v ~x4501 ~x3655 ~x2809 ~x1963 ~x1117 ~x271 ~x4502 ~x3656 ~x2810 ~x1964 
21.34/21.48	v ~x1118 ~x272 ~x4503 ~x3657 ~x2811 ~x1965 ~x1119 ~x273 ~x4504 ~x3658 
21.34/21.48	v ~x2812 ~x1966 ~x1120 ~x274 ~x4505 ~x3659 ~x2813 ~x1967 ~x1121 ~x275 
21.34/21.48	v ~x4506 ~x3660 ~x2814 ~x1968 ~x1122 ~x276 ~x4507 ~x3661 ~x2815 ~x1969 
21.34/21.48	v ~x1123 ~x277 ~x4508 ~x3662 ~x2816 ~x1970 ~x1124 ~x278 ~x4509 ~x3663 
21.34/21.48	v ~x2817 ~x1971 ~x1125 ~x279 ~x4510 ~x3664 ~x2818 ~x1972 ~x1126 ~x280 
21.34/21.48	v ~x4511 ~x3665 ~x2819 ~x1973 ~x1127 ~x281 ~x4512 ~x3666 ~x2820 ~x1974 
21.34/21.48	v ~x1128 ~x282 ~x4513 ~x3667 ~x2821 ~x1975 ~x1129 ~x283 ~x4514 ~x3668 
21.34/21.48	v ~x2822 ~x1976 ~x1130 ~x284 ~x4515 ~x3669 ~x2823 ~x1977 ~x1131 ~x285 
21.34/21.48	v ~x4516 ~x3670 ~x2824 ~x1978 ~x1132 ~x286 ~x4517 ~x3671 ~x2825 ~x1979 
21.34/21.48	v ~x1133 ~x287 ~x4518 ~x3672 ~x2826 ~x1980 ~x1134 ~x288 ~x4519 ~x3673 
21.34/21.48	v ~x2827 ~x1981 ~x1135 ~x289 ~x4520 ~x3674 ~x2828 ~x1982 ~x1136 ~x290 
21.34/21.48	v ~x4521 ~x3675 ~x2829 ~x1983 ~x1137 ~x291 ~x4522 ~x3676 ~x2830 ~x1984 
21.34/21.48	v ~x1138 ~x292 ~x4523 ~x3677 ~x2831 ~x1985 ~x1139 ~x293 ~x4524 ~x3678 
21.34/21.48	v ~x2832 ~x1986 ~x1140 ~x294 ~x4525 ~x3679 ~x2833 ~x1987 ~x1141 ~x295 
21.34/21.48	v ~x4526 ~x3680 ~x2834 ~x1988 ~x1142 ~x296 ~x4527 ~x3681 ~x2835 ~x1989 
21.34/21.48	v ~x1143 ~x297 ~x4528 ~x3682 ~x2836 ~x1990 ~x1144 ~x298 ~x4529 ~x3683 
21.34/21.48	v ~x2837 ~x1991 ~x1145 ~x299 ~x4530 ~x3684 ~x2838 ~x1992 ~x1146 ~x300 
21.34/21.48	v ~x4531 ~x3685 ~x2839 ~x1993 ~x1147 ~x301 ~x4532 ~x3686 ~x2840 ~x1994 
21.34/21.48	v ~x1148 ~x302 ~x4533 ~x3687 ~x2841 ~x1995 ~x1149 ~x303 ~x4534 ~x3688 
21.34/21.48	v ~x2842 ~x1996 ~x1150 ~x304 ~x4535 ~x3689 ~x2843 ~x1997 ~x1151 ~x305 
21.34/21.48	v ~x4536 ~x3690 ~x2844 ~x1998 ~x1152 ~x306 ~x4537 ~x3691 ~x2845 ~x1999 
21.34/21.48	v ~x1153 ~x307 ~x4538 ~x3692 ~x2846 ~x2000 ~x1154 ~x308 ~x4539 ~x3693 
21.34/21.48	v ~x2847 ~x2001 ~x1155 ~x309 ~x4540 ~x3694 ~x2848 ~x2002 ~x1156 ~x310 
21.34/21.48	v ~x4541 ~x3695 ~x2849 ~x2003 ~x1157 ~x311 ~x4542 ~x3696 ~x2850 ~x2004 
21.34/21.48	v ~x1158 ~x312 ~x4543 ~x3697 ~x2851 ~x2005 ~x1159 ~x313 ~x4544 ~x3698 
21.34/21.48	v ~x2852 ~x2006 ~x1160 ~x314 ~x4545 ~x3699 ~x2853 ~x2007 ~x1161 ~x315 
21.34/21.48	v ~x4546 ~x3700 ~x2854 ~x2008 ~x1162 ~x316 ~x4547 ~x3701 ~x2855 ~x2009 
21.34/21.48	v ~x1163 ~x317 ~x4548 ~x3702 ~x2856 ~x2010 ~x1164 ~x318 ~x4549 ~x3703 
21.34/21.48	v ~x2857 ~x2011 ~x1165 ~x319 ~x4550 ~x3704 ~x2858 ~x2012 ~x1166 ~x320 
21.34/21.48	v ~x4551 ~x3705 ~x2859 ~x2013 ~x1167 ~x321 ~x4552 ~x3706 ~x2860 ~x2014 
21.34/21.48	v ~x1168 ~x322 ~x4553 ~x3707 ~x2861 ~x2015 ~x1169 ~x323 ~x4554 ~x3708 
21.34/21.48	v ~x2862 ~x2016 ~x1170 ~x324 ~x4555 ~x3709 ~x2863 ~x2017 ~x1171 ~x325 
21.34/21.48	v ~x4556 ~x3710 ~x2864 ~x2018 ~x1172 ~x326 ~x4557 ~x3711 ~x2865 ~x2019 
21.34/21.48	v ~x1173 ~x327 ~x4558 ~x3712 ~x2866 ~x2020 ~x1174 ~x328 ~x4559 ~x3713 
21.34/21.48	v ~x2867 ~x2021 ~x1175 ~x329 ~x4560 ~x3714 ~x2868 ~x2022 ~x1176 ~x330 
21.34/21.48	v ~x4561 ~x3715 ~x2869 ~x2023 ~x1177 ~x331 ~x4562 ~x3716 ~x2870 ~x2024 
21.34/21.48	v ~x1178 ~x332 ~x4563 ~x3717 ~x2871 ~x2025 ~x1179 ~x333 ~x4564 ~x3718 
21.34/21.48	v ~x2872 ~x2026 ~x1180 ~x334 ~x4565 ~x3719 ~x2873 ~x2027 ~x1181 ~x335 
21.34/21.48	v ~x4566 ~x3720 ~x2874 ~x2028 ~x1182 ~x336 ~x4567 ~x3721 ~x2875 ~x2029 
21.34/21.48	v ~x1183 ~x337 ~x4568 ~x3722 ~x2876 ~x2030 ~x1184 ~x338 ~x4569 ~x3723 
21.34/21.48	v ~x2877 ~x2031 ~x1185 ~x339 ~x4570 ~x3724 ~x2878 ~x2032 ~x1186 ~x340 
21.34/21.48	v ~x4571 ~x3725 ~x2879 ~x2033 ~x1187 ~x341 ~x4572 ~x3726 ~x2880 ~x2034 
21.34/21.48	v ~x1188 ~x342 ~x4573 ~x3727 ~x2881 ~x2035 ~x1189 ~x343 ~x4574 ~x3728 
21.34/21.48	v ~x2882 ~x2036 ~x1190 ~x344 ~x4575 ~x3729 ~x2883 ~x2037 ~x1191 ~x345 
21.34/21.48	v ~x4576 ~x3730 ~x2884 ~x2038 ~x1192 ~x346 ~x4577 ~x3731 ~x2885 ~x2039 
21.34/21.48	v ~x1193 ~x347 ~x4578 ~x3732 ~x2886 ~x2040 ~x1194 ~x348 ~x4579 ~x3733 
21.34/21.48	v ~x2887 ~x2041 ~x1195 ~x349 ~x4580 ~x3734 ~x2888 ~x2042 ~x1196 ~x350 
21.34/21.48	v ~x4581 ~x3735 ~x2889 ~x2043 ~x1197 ~x351 ~x4582 ~x3736 ~x2890 ~x2044 
21.34/21.48	v ~x1198 ~x352 ~x4583 ~x3737 ~x2891 ~x2045 ~x1199 ~x353 ~x4584 ~x3738 
21.34/21.48	v ~x2892 ~x2046 ~x1200 ~x354 ~x4585 ~x3739 ~x2893 ~x2047 ~x1201 ~x355 
21.34/21.48	v ~x4586 ~x3740 ~x2894 ~x2048 ~x1202 ~x356 ~x4587 ~x3741 ~x2895 ~x2049 
21.34/21.48	v ~x1203 ~x357 ~x4588 ~x3742 ~x2896 ~x2050 ~x1204 ~x358 ~x4589 ~x3743 
21.34/21.48	v ~x2897 ~x2051 ~x1205 ~x359 ~x4590 ~x3744 ~x2898 ~x2052 ~x1206 ~x360 
21.34/21.48	v ~x4591 ~x3745 ~x2899 ~x2053 ~x1207 ~x361 ~x4592 ~x3746 ~x2900 ~x2054 
21.34/21.48	v ~x1208 ~x362 ~x4593 ~x3747 ~x2901 ~x2055 ~x1209 ~x363 ~x4594 ~x3748 
21.34/21.48	v ~x2902 ~x2056 ~x1210 ~x364 ~x4595 ~x3749 ~x2903 ~x2057 ~x1211 ~x365 
21.34/21.48	v ~x4596 ~x3750 ~x2904 ~x2058 ~x1212 ~x366 ~x4597 ~x3751 ~x2905 ~x2059 
21.34/21.48	v ~x1213 ~x367 ~x4598 ~x3752 ~x2906 ~x2060 ~x1214 ~x368 ~x4599 ~x3753 
21.34/21.48	v ~x2907 ~x2061 ~x1215 ~x369 ~x4600 ~x3754 ~x2908 ~x2062 ~x1216 ~x370 
21.34/21.48	v ~x4601 ~x3755 ~x2909 ~x2063 ~x1217 ~x371 ~x4602 ~x3756 ~x2910 ~x2064 
21.34/21.48	v ~x1218 ~x372 ~x4603 ~x3757 ~x2911 ~x2065 ~x1219 ~x373 ~x4604 ~x3758 
21.34/21.48	v ~x2912 ~x2066 ~x1220 ~x374 ~x4605 ~x3759 ~x2913 ~x2067 ~x1221 ~x375 
21.34/21.48	v ~x4606 ~x3760 ~x2914 ~x2068 ~x1222 ~x376 ~x4607 ~x3761 ~x2915 ~x2069 
21.34/21.48	v ~x1223 ~x377 ~x4608 ~x3762 ~x2916 ~x2070 ~x1224 ~x378 ~x4609 ~x3763 
21.34/21.48	v ~x2917 ~x2071 ~x1225 ~x379 ~x4610 ~x3764 ~x2918 ~x2072 ~x1226 ~x380 
21.34/21.48	v ~x4611 ~x3765 ~x2919 ~x2073 ~x1227 ~x381 ~x4612 ~x3766 ~x2920 ~x2074 
21.34/21.48	v ~x1228 ~x382 ~x4613 ~x3767 ~x2921 ~x2075 ~x1229 ~x383 ~x4614 ~x3768 
21.34/21.48	v ~x2922 ~x2076 ~x1230 ~x384 ~x4615 ~x3769 ~x2923 ~x2077 ~x1231 ~x385 
21.34/21.48	v ~x4616 ~x3770 ~x2924 ~x2078 ~x1232 ~x386 ~x4617 ~x3771 ~x2925 ~x2079 
21.34/21.48	v ~x1233 ~x387 ~x4618 ~x3772 ~x2926 ~x2080 ~x1234 ~x388 ~x4619 ~x3773 
21.34/21.48	v ~x2927 ~x2081 ~x1235 ~x389 ~x4620 ~x3774 ~x2928 ~x2082 ~x1236 ~x390 
21.34/21.48	v ~x4621 ~x3775 ~x2929 ~x2083 ~x1237 ~x391 ~x4622 ~x3776 ~x2930 ~x2084 
21.34/21.48	v ~x1238 ~x392 ~x4623 ~x3777 ~x2931 ~x2085 ~x1239 ~x393 ~x4624 ~x3778 
21.34/21.48	v ~x2932 ~x2086 ~x1240 ~x394 ~x4625 ~x3779 ~x2933 ~x2087 ~x1241 ~x395 
21.34/21.48	v ~x4626 ~x3780 ~x2934 ~x2088 ~x1242 ~x396 ~x4627 ~x3781 ~x2935 ~x2089 
21.34/21.48	v ~x1243 ~x397 ~x4628 ~x3782 ~x2936 ~x2090 ~x1244 ~x398 ~x4629 ~x3783 
21.34/21.48	v ~x2937 ~x2091 ~x1245 ~x399 ~x4630 ~x3784 ~x2938 ~x2092 ~x1246 ~x400 
21.34/21.48	v ~x4631 ~x3785 ~x2939 ~x2093 ~x1247 ~x401 ~x4632 ~x3786 ~x2940 ~x2094 
21.34/21.48	v ~x1248 ~x402 ~x4633 ~x3787 ~x2941 ~x2095 ~x1249 ~x403 ~x4634 ~x3788 
21.34/21.48	v ~x2942 ~x2096 ~x1250 ~x404 ~x4635 ~x3789 ~x2943 ~x2097 ~x1251 ~x405 
21.34/21.48	v ~x4636 ~x3790 ~x2944 ~x2098 ~x1252 ~x406 ~x4637 ~x3791 ~x2945 ~x2099 
21.34/21.48	v ~x1253 ~x407 ~x4638 ~x3792 ~x2946 ~x2100 ~x1254 ~x408 ~x4639 ~x3793 
21.34/21.48	v ~x2947 ~x2101 ~x1255 ~x409 ~x4640 ~x3794 ~x2948 ~x2102 ~x1256 ~x410 
21.34/21.48	v ~x4641 ~x3795 ~x2949 ~x2103 ~x1257 ~x411 ~x4642 ~x3796 ~x2950 ~x2104 
21.34/21.48	v ~x1258 ~x412 ~x4643 ~x3797 ~x2951 ~x2105 ~x1259 ~x413 ~x4644 ~x3798 
21.34/21.48	v ~x2952 ~x2106 ~x1260 ~x414 ~x4645 ~x3799 ~x2953 ~x2107 ~x1261 ~x415 
21.34/21.48	v ~x4646 ~x3800 ~x2954 ~x2108 ~x1262 ~x416 ~x4647 ~x3801 ~x2955 ~x2109 
21.34/21.48	v ~x1263 ~x417 ~x4648 ~x3802 ~x2956 ~x2110 ~x1264 ~x418 ~x4649 ~x3803 
21.34/21.48	v ~x2957 ~x2111 ~x1265 ~x419 ~x4650 ~x3804 ~x2958 ~x2112 ~x1266 ~x420 
21.34/21.48	v ~x4651 ~x3805 ~x2959 ~x2113 ~x1267 ~x421 ~x4652 ~x3806 ~x2960 ~x2114 
21.34/21.48	v ~x1268 ~x422 ~x4653 ~x3807 ~x2961 ~x2115 ~x1269 ~x423 ~x4654 ~x3808 
21.34/21.48	v ~x2962 ~x2116 ~x1270 ~x424 ~x4655 ~x3809 ~x2963 ~x2117 ~x1271 ~x425 
21.34/21.48	v ~x4656 ~x3810 ~x2964 ~x2118 ~x1272 ~x426 ~x4657 ~x3811 ~x2965 ~x2119 
21.34/21.48	v ~x1273 ~x427 ~x4658 ~x3812 ~x2966 ~x2120 ~x1274 ~x428 ~x4659 ~x3813 
21.34/21.48	v ~x2967 ~x2121 ~x1275 ~x429 ~x4660 ~x3814 ~x2968 ~x2122 ~x1276 ~x430 
21.34/21.48	v ~x4661 ~x3815 ~x2969 ~x2123 ~x1277 ~x431 ~x4662 ~x3816 ~x2970 ~x2124 
21.34/21.48	v ~x1278 ~x432 ~x4663 ~x3817 ~x2971 ~x2125 ~x1279 ~x433 ~x4664 ~x3818 
21.34/21.48	v ~x2972 ~x2126 ~x1280 ~x434 ~x4665 ~x3819 ~x2973 ~x2127 ~x1281 ~x435 
21.34/21.48	v ~x4666 ~x3820 ~x2974 ~x2128 ~x1282 ~x436 ~x4667 ~x3821 ~x2975 ~x2129 
21.34/21.48	v ~x1283 ~x437 ~x4668 ~x3822 ~x2976 ~x2130 ~x1284 ~x438 ~x4669 ~x3823 
21.34/21.48	v ~x2977 ~x2131 ~x1285 ~x439 ~x4670 ~x3824 ~x2978 ~x2132 ~x1286 ~x440 
21.34/21.48	v ~x4671 ~x3825 ~x2979 ~x2133 ~x1287 ~x441 ~x4672 ~x3826 ~x2980 ~x2134 
21.34/21.48	v ~x1288 ~x442 ~x4673 ~x3827 ~x2981 ~x2135 ~x1289 ~x443 ~x4674 ~x3828 
21.34/21.48	v ~x2982 ~x2136 ~x1290 ~x444 ~x4675 ~x3829 ~x2983 ~x2137 ~x1291 ~x445 
21.34/21.48	v ~x4676 ~x3830 ~x2984 ~x2138 ~x1292 ~x446 ~x4677 ~x3831 ~x2985 ~x2139 
21.34/21.48	v ~x1293 ~x447 ~x4678 ~x3832 ~x2986 ~x2140 ~x1294 ~x448 ~x4679 ~x3833 
21.34/21.48	v ~x2987 ~x2141 ~x1295 ~x449 ~x4680 ~x3834 ~x2988 ~x2142 ~x1296 ~x450 
21.34/21.48	v ~x4681 ~x3835 ~x2989 ~x2143 ~x1297 ~x451 ~x4682 ~x3836 ~x2990 ~x2144 
21.34/21.48	v ~x1298 ~x452 ~x4683 ~x3837 ~x2991 ~x2145 ~x1299 ~x453 ~x4684 ~x3838 
21.34/21.48	v ~x2992 ~x2146 ~x1300 ~x454 ~x4685 ~x3839 ~x2993 ~x2147 ~x1301 ~x455 
21.34/21.48	v ~x4686 ~x3840 ~x2994 ~x2148 ~x1302 ~x456 ~x4687 ~x3841 ~x2995 ~x2149 
21.34/21.48	v ~x1303 ~x457 ~x4688 ~x3842 ~x2996 ~x2150 ~x1304 ~x458 ~x4689 ~x3843 
21.34/21.48	v ~x2997 ~x2151 ~x1305 ~x459 ~x4690 ~x3844 ~x2998 ~x2152 ~x1306 ~x460 
21.34/21.48	v ~x4691 ~x3845 ~x2999 ~x2153 ~x1307 ~x461 ~x4692 ~x3846 ~x3000 ~x2154 
21.34/21.48	v ~x1308 ~x462 ~x4693 ~x3847 ~x3001 ~x2155 ~x1309 ~x463 ~x4694 ~x3848 
21.34/21.48	v ~x3002 ~x2156 ~x1310 ~x464 ~x4695 ~x3849 ~x3003 ~x2157 ~x1311 ~x465 
21.34/21.48	v ~x4696 ~x3850 ~x3004 ~x2158 ~x1312 ~x466 ~x4697 ~x3851 ~x3005 ~x2159 
21.34/21.48	v ~x1313 ~x467 ~x4698 ~x3852 ~x3006 ~x2160 ~x1314 ~x468 ~x4699 ~x3853 
21.34/21.48	v ~x3007 ~x2161 ~x1315 ~x469 ~x4700 ~x3854 ~x3008 ~x2162 ~x1316 ~x470 
21.34/21.48	v ~x4701 ~x3855 ~x3009 ~x2163 ~x1317 ~x471 ~x4702 ~x3856 ~x3010 ~x2164 
21.34/21.48	v ~x1318 ~x472 ~x4703 ~x3857 ~x3011 ~x2165 ~x1319 ~x473 ~x4704 ~x3858 
21.34/21.48	v ~x3012 ~x2166 ~x1320 ~x474 ~x4705 ~x3859 ~x3013 ~x2167 ~x1321 ~x475 
21.34/21.48	v ~x4706 ~x3860 ~x3014 ~x2168 ~x1322 ~x476 ~x4707 ~x3861 ~x3015 ~x2169 
21.34/21.48	v ~x1323 ~x477 ~x4708 ~x3862 ~x3016 ~x2170 ~x1324 ~x478 ~x4709 ~x3863 
21.34/21.48	v ~x3017 ~x2171 ~x1325 ~x479 ~x4710 ~x3864 ~x3018 ~x2172 ~x1326 ~x480 
21.34/21.48	v ~x4711 ~x3865 ~x3019 ~x2173 ~x1327 ~x481 ~x4712 ~x3866 ~x3020 ~x2174 
21.34/21.48	v ~x1328 ~x482 ~x4713 ~x3867 ~x3021 ~x2175 ~x1329 ~x483 ~x4714 ~x3868 
21.34/21.48	v ~x3022 ~x2176 ~x1330 ~x484 ~x4715 ~x3869 ~x3023 ~x2177 ~x1331 ~x485 
21.34/21.48	v ~x4716 ~x3870 ~x3024 ~x2178 ~x1332 ~x486 ~x4717 ~x3871 ~x3025 ~x2179 
21.34/21.48	v ~x1333 ~x487 ~x4718 ~x3872 ~x3026 ~x2180 ~x1334 ~x488 ~x4719 ~x3873 
21.34/21.48	v ~x3027 ~x2181 ~x1335 ~x489 ~x4720 ~x3874 ~x3028 ~x2182 ~x1336 ~x490 
21.34/21.48	v ~x4721 ~x3875 ~x3029 ~x2183 ~x1337 ~x491 ~x4722 ~x3876 ~x3030 ~x2184 
21.34/21.48	v ~x1338 ~x492 ~x4723 ~x3877 ~x3031 ~x2185 ~x1339 ~x493 ~x4724 ~x3878 
21.34/21.48	v ~x3032 ~x2186 ~x1340 ~x494 ~x4725 ~x3879 ~x3033 ~x2187 ~x1341 ~x495 
21.34/21.48	v ~x4726 ~x3880 ~x3034 ~x2188 ~x1342 ~x496 ~x4727 ~x3881 ~x3035 ~x2189 
21.34/21.48	v ~x1343 ~x497 ~x4728 ~x3882 ~x3036 ~x2190 ~x1344 ~x498 ~x4729 ~x3883 
21.34/21.48	v ~x3037 ~x2191 ~x1345 ~x499 ~x4730 ~x3884 ~x3038 ~x2192 ~x1346 ~x500 
21.34/21.48	v ~x4731 ~x3885 ~x3039 ~x2193 ~x1347 ~x501 ~x4732 ~x3886 ~x3040 ~x2194 
21.34/21.48	v ~x1348 ~x502 ~x4733 ~x3887 ~x3041 ~x2195 ~x1349 ~x503 ~x4734 ~x3888 
21.34/21.48	v ~x3042 ~x2196 ~x1350 ~x504 ~x4735 ~x3889 ~x3043 ~x2197 ~x1351 ~x505 
21.34/21.48	v ~x4736 ~x3890 ~x3044 ~x2198 ~x1352 ~x506 ~x4737 ~x3891 ~x3045 ~x2199 
21.34/21.48	v ~x1353 ~x507 ~x4738 ~x3892 ~x3046 ~x2200 ~x1354 ~x508 ~x4739 ~x3893 
21.34/21.48	v ~x3047 ~x2201 ~x1355 ~x509 ~x4740 ~x3894 ~x3048 ~x2202 ~x1356 ~x510 
21.34/21.48	v ~x4741 ~x3895 ~x3049 ~x2203 ~x1357 ~x511 ~x4742 ~x3896 ~x3050 ~x2204 
21.34/21.48	v ~x1358 ~x512 ~x4743 ~x3897 ~x3051 ~x2205 ~x1359 ~x513 ~x4744 ~x3898 
21.34/21.48	v ~x3052 ~x2206 ~x1360 ~x514 ~x4745 ~x3899 ~x3053 ~x2207 ~x1361 ~x515 
21.34/21.48	v ~x4746 ~x3900 ~x3054 ~x2208 ~x1362 ~x516 ~x4747 ~x3901 ~x3055 ~x2209 
21.34/21.48	v ~x1363 ~x517 ~x4748 ~x3902 ~x3056 ~x2210 ~x1364 ~x518 ~x4749 ~x3903 
21.34/21.48	v ~x3057 ~x2211 ~x1365 ~x519 ~x4750 ~x3904 ~x3058 ~x2212 ~x1366 ~x520 
21.34/21.48	v ~x4751 ~x3905 ~x3059 ~x2213 ~x1367 ~x521 ~x4752 ~x3906 ~x3060 ~x2214 
21.34/21.48	v ~x1368 ~x522 ~x4753 ~x3907 ~x3061 ~x2215 ~x1369 ~x523 ~x4754 ~x3908 
21.34/21.48	v ~x3062 ~x2216 ~x1370 ~x524 ~x4755 ~x3909 ~x3063 ~x2217 ~x1371 ~x525 
21.34/21.48	v ~x4756 ~x3910 ~x3064 ~x2218 ~x1372 ~x526 ~x4757 ~x3911 ~x3065 ~x2219 
21.34/21.48	v ~x1373 ~x527 ~x4758 ~x3912 ~x3066 ~x2220 ~x1374 ~x528 ~x4759 ~x3913 
21.34/21.48	v ~x3067 ~x2221 ~x1375 ~x529 ~x4760 ~x3914 ~x3068 ~x2222 ~x1376 ~x530 
21.34/21.48	v ~x4761 ~x3915 ~x3069 ~x2223 ~x1377 ~x531 ~x4762 ~x3916 ~x3070 ~x2224 
21.34/21.48	v ~x1378 ~x532 ~x4763 ~x3917 ~x3071 ~x2225 ~x1379 ~x533 ~x4764 ~x3918 
21.34/21.48	v ~x3072 ~x2226 ~x1380 ~x534 ~x4765 ~x3919 ~x3073 ~x2227 ~x1381 ~x535 
21.34/21.48	v ~x4766 ~x3920 ~x3074 ~x2228 ~x1382 ~x536 ~x4767 ~x3921 ~x3075 ~x2229 
21.34/21.48	v ~x1383 ~x537 ~x4768 ~x3922 ~x3076 ~x2230 ~x1384 ~x538 ~x4769 ~x3923 
21.34/21.48	v ~x3077 ~x2231 ~x1385 ~x539 ~x4770 ~x3924 ~x3078 ~x2232 ~x1386 ~x540 
21.34/21.48	v ~x4771 ~x3925 ~x3079 ~x2233 ~x1387 ~x541 ~x4772 ~x3926 ~x3080 ~x2234 
21.34/21.48	v ~x1388 ~x542 ~x4773 ~x3927 ~x3081 ~x2235 ~x1389 ~x543 ~x4774 ~x3928 
21.34/21.48	v ~x3082 ~x2236 ~x1390 ~x544 ~x4775 ~x3929 ~x3083 ~x2237 ~x1391 ~x545 
21.34/21.48	v ~x4776 ~x3930 ~x3084 ~x2238 ~x1392 ~x546 ~x4777 ~x3931 ~x3085 ~x2239 
21.34/21.48	v ~x1393 ~x547 ~x4778 ~x3932 ~x3086 ~x2240 ~x1394 ~x548 ~x4779 ~x3933 
21.34/21.48	v ~x3087 ~x2241 ~x1395 ~x549 ~x4780 ~x3934 ~x3088 ~x2242 ~x1396 ~x550 
21.34/21.48	v ~x4781 ~x3935 ~x3089 ~x2243 ~x1397 ~x551 ~x4782 ~x3936 ~x3090 ~x2244 
21.34/21.48	v ~x1398 ~x552 ~x4783 ~x3937 ~x3091 ~x2245 ~x1399 ~x553 ~x4784 ~x3938 
21.34/21.48	v ~x3092 ~x2246 ~x1400 ~x554 ~x4785 ~x3939 ~x3093 ~x2247 ~x1401 ~x555 
21.34/21.48	v ~x4786 ~x3940 ~x3094 ~x2248 ~x1402 ~x556 ~x4787 ~x3941 ~x3095 ~x2249 
21.34/21.48	v ~x1403 ~x557 ~x4788 ~x3942 ~x3096 ~x2250 ~x1404 ~x558 ~x4789 ~x3943 
21.34/21.48	v ~x3097 ~x2251 ~x1405 ~x559 ~x4790 ~x3944 ~x3098 ~x2252 ~x1406 ~x560 
21.34/21.48	v ~x4791 ~x3945 ~x3099 ~x2253 ~x1407 ~x561 ~x4792 ~x3946 ~x3100 ~x2254 
21.34/21.48	v ~x1408 ~x562 ~x4793 ~x3947 ~x3101 ~x2255 ~x1409 ~x563 ~x4794 ~x3948 
21.34/21.48	v ~x3102 ~x2256 ~x1410 ~x564 ~x4795 ~x3949 ~x3103 ~x2257 ~x1411 ~x565 
21.34/21.48	v ~x4796 ~x3950 ~x3104 ~x2258 ~x1412 ~x566 ~x4797 ~x3951 ~x3105 ~x2259 
21.34/21.48	v ~x1413 ~x567 ~x4798 ~x3952 ~x3106 ~x2260 ~x1414 ~x568 ~x4799 ~x3953 
21.34/21.48	v ~x3107 ~x2261 ~x1415 ~x569 ~x4800 ~x3954 ~x3108 ~x2262 ~x1416 ~x570 
21.34/21.48	v ~x4801 ~x3955 ~x3109 ~x2263 ~x1417 ~x571 ~x4802 ~x3956 ~x3110 ~x2264 
21.34/21.48	v ~x1418 ~x572 ~x4803 ~x3957 ~x3111 ~x2265 ~x1419 ~x573 ~x4804 ~x3958 
21.34/21.48	v ~x3112 ~x2266 ~x1420 ~x574 ~x4805 ~x3959 ~x3113 ~x2267 ~x1421 ~x575 
21.34/21.48	v ~x4806 ~x3960 ~x3114 ~x2268 ~x1422 ~x576 ~x4807 ~x3961 ~x3115 ~x2269 
21.34/21.48	v ~x1423 ~x577 ~x4808 ~x3962 ~x3116 ~x2270 ~x1424 ~x578 ~x4809 ~x3963 
21.34/21.48	v ~x3117 ~x2271 ~x1425 ~x579 ~x4810 ~x3964 ~x3118 ~x2272 ~x1426 ~x580 
21.34/21.48	v ~x4811 ~x3965 ~x3119 ~x2273 ~x1427 ~x581 ~x4812 ~x3966 ~x3120 ~x2274 
21.34/21.48	v ~x1428 ~x582 ~x4813 ~x3967 ~x3121 ~x2275 ~x1429 ~x583 ~x4814 ~x3968 
21.34/21.48	v ~x3122 ~x2276 ~x1430 ~x584 ~x4815 ~x3969 ~x3123 ~x2277 ~x1431 ~x585 
21.34/21.48	v ~x4816 ~x3970 ~x3124 ~x2278 ~x1432 ~x586 ~x4817 ~x3971 ~x3125 ~x2279 
21.34/21.48	v ~x1433 ~x587 ~x4818 ~x3972 ~x3126 ~x2280 ~x1434 ~x588 ~x4819 ~x3973 
21.34/21.48	v ~x3127 ~x2281 ~x1435 ~x589 ~x4820 ~x3974 ~x3128 ~x2282 ~x1436 ~x590 
21.34/21.48	v ~x4821 ~x3975 ~x3129 ~x2283 ~x1437 ~x591 ~x4822 ~x3976 ~x3130 ~x2284 
21.34/21.48	v ~x1438 ~x592 ~x4823 ~x3977 ~x3131 ~x2285 ~x1439 ~x593 ~x4824 ~x3978 
21.34/21.48	v ~x3132 ~x2286 ~x1440 ~x594 ~x4825 ~x3979 ~x3133 ~x2287 ~x1441 ~x595 
21.34/21.48	v ~x4826 ~x3980 ~x3134 ~x2288 ~x1442 ~x596 ~x4827 ~x3981 ~x3135 ~x2289 
21.34/21.48	v ~x1443 ~x597 ~x4828 ~x3982 ~x3136 ~x2290 ~x1444 ~x598 ~x4829 ~x3983 
21.34/21.48	v ~x3137 ~x2291 ~x1445 ~x599 ~x4830 ~x3984 ~x3138 ~x2292 ~x1446 ~x600 
21.34/21.48	v ~x4831 ~x3985 ~x3139 ~x2293 ~x1447 ~x601 ~x4832 ~x3986 ~x3140 ~x2294 
21.34/21.49	v ~x1448 ~x602 ~x4833 ~x3987 ~x3141 ~x2295 ~x1449 ~x603 ~x4834 ~x3988 
21.34/21.49	v ~x3142 ~x2296 ~x1450 ~x604 ~x4835 ~x3989 ~x3143 ~x2297 ~x1451 ~x605 
21.34/21.49	v ~x4836 ~x3990 ~x3144 ~x2298 ~x1452 ~x606 ~x4837 ~x3991 ~x3145 ~x2299 
21.34/21.49	v ~x1453 ~x607 ~x4838 ~x3992 ~x3146 ~x2300 ~x1454 ~x608 ~x4839 ~x3993 
21.34/21.49	v ~x3147 ~x2301 ~x1455 ~x609 ~x4840 ~x3994 ~x3148 ~x2302 ~x1456 ~x610 
21.34/21.49	v ~x4841 ~x3995 ~x3149 ~x2303 ~x1457 ~x611 ~x4842 ~x3996 ~x3150 ~x2304 
21.34/21.49	v ~x1458 ~x612 ~x4843 ~x3997 ~x3151 ~x2305 ~x1459 ~x613 ~x4844 ~x3998 
21.34/21.49	v ~x3152 ~x2306 ~x1460 ~x614 ~x4845 ~x3999 ~x3153 ~x2307 ~x1461 ~x615 
21.34/21.49	v ~x4846 ~x4000 ~x3154 ~x2308 ~x1462 ~x616 ~x4847 ~x4001 ~x3155 ~x2309 
21.34/21.49	v ~x1463 ~x617 ~x4848 ~x4002 ~x3156 ~x2310 ~x1464 ~x618 ~x4849 ~x4003 
21.34/21.49	v ~x3157 ~x2311 ~x1465 ~x619 ~x4850 ~x4004 ~x3158 ~x2312 ~x1466 ~x620 
21.34/21.49	v ~x4851 ~x4005 ~x3159 ~x2313 ~x1467 ~x621 ~x4852 x4006 ~x3160 ~x2314 
21.34/21.49	v ~x1468 ~x622 ~x4853 ~x4007 ~x3161 ~x2315 ~x1469 ~x623 

OK	46877

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: 63968 MiB (61865 MiB free)
  memory of node 1: 64473 MiB (61322 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436386-1721111391/watcher-4436386-1721111391 -o /tmp/evaluation-result-4436386-1721111391/solver-4436386-1721111391 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721105558-879433 --watchdog 3760 pb_picat HOME/instance-4436386-1721111391.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=883673, runsolver pid=883670

[startup+0.100476 s]*
/proc/loadavg: 4.08 4.10 4.09 5/260 883676
/proc/meminfo: memFree=126112056/131524600 swapFree=131071996/131071996
[pid=883673] ppid=883670 vsize=2041424 memory=37184 CPUtime=0.09 cores=4,6
/proc/883673/stat : 883673 (pb_picat) R 883670 883673 879422 0 -1 4194304 1302 0 0 0 9 0 0 0 20 0 1 0 163307170 2090418176 9296 134679101440 4194304 5989780 140727516317248 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33218560 140727516320793 140727516320869 140727516320869 140727516327884 0
/proc/883673/statm: 510356 9296 1555 439 0 505785 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2041424 KiB
Current children cumulated memory: 37184 KiB

[startup+0.205848 s]*
/proc/loadavg: 4.08 4.10 4.09 5/260 883676
/proc/meminfo: memFree=126086916/131524600 swapFree=131071996/131071996
[pid=883673] ppid=883670 vsize=2060820 memory=62752 CPUtime=0.2 cores=4,6
/proc/883673/stat : 883673 (pb_picat) R 883670 883673 879422 0 -1 4194304 4992 0 0 0 19 1 0 0 20 0 1 0 163307170 2110279680 15688 134679101440 4194304 5989780 140727516317248 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33218560 140727516320793 140727516320869 140727516320869 140727516327884 0
/proc/883673/statm: 515205 15688 1681 439 0 510634 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2060820 KiB
Current children cumulated memory: 62752 KiB

[startup+0.305713 s]*
/proc/loadavg: 4.08 4.10 4.09 5/260 883676
/proc/meminfo: memFree=126084056/131524600 swapFree=131071996/131071996
[pid=883673] ppid=883670 vsize=2060820 memory=63604 CPUtime=0.3 cores=4,6
/proc/883673/stat : 883673 (pb_picat) R 883670 883673 879422 0 -1 4194304 5171 0 0 0 28 2 0 0 20 0 1 0 163307170 2110279680 15901 134679101440 4194304 5989780 140727516317248 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33218560 140727516320793 140727516320869 140727516320869 140727516327884 0
/proc/883673/statm: 515205 15901 1729 439 0 510634 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2060820 KiB
Current children cumulated memory: 63604 KiB

[startup+0.700223 s]
/proc/loadavg: 4.08 4.10 4.09 5/260 883676
/proc/meminfo: memFree=126078224/131524600 swapFree=131071996/131071996
[pid=883673] ppid=883670 vsize=2063636 memory=69484 CPUtime=0.69 cores=4,6
/proc/883673/stat : 883673 (pb_picat) R 883670 883673 879422 0 -1 4194304 5992 0 0 0 65 4 0 0 20 0 1 0 163307170 2113163264 17371 134679101440 4194304 5989780 140727516317248 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33218560 140727516320793 140727516320869 140727516320869 140727516327884 0
/proc/883673/statm: 515909 17371 1729 439 0 511338 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2063636 KiB
Current children cumulated memory: 69484 KiB

[startup+1.50022 s]
/proc/loadavg: 4.08 4.10 4.09 5/260 883676
/proc/meminfo: memFree=126092404/131524600 swapFree=131071996/131071996
[pid=883673] ppid=883670 vsize=2066140 memory=75148 CPUtime=1.49 cores=4,6
/proc/883673/stat : 883673 (pb_picat) R 883670 883673 879422 0 -1 4194304 6922 0 0 0 141 8 0 0 20 0 1 0 163307170 2115727360 18787 134679101440 4194304 5989780 140727516317248 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33218560 140727516320793 140727516320869 140727516320869 140727516327884 0
/proc/883673/statm: 516535 18787 1729 439 0 511964 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2066140 KiB
Current children cumulated memory: 75148 KiB

[startup+3.10577 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 883735
/proc/meminfo: memFree=126107028/131524600 swapFree=131071996/131071996
[pid=883673] ppid=883670 vsize=2070640 memory=79816 CPUtime=3.08 cores=4,6
/proc/883673/stat : 883673 (pb_picat) R 883670 883673 879422 0 -1 4194304 7578 0 0 0 295 13 0 0 20 0 1 0 163307170 2120335360 19954 134679101440 4194304 5989780 140727516317248 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33218560 140727516320793 140727516320869 140727516320869 140727516327884 0
/proc/883673/statm: 517660 19954 1729 439 0 513089 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2070640 KiB
Current children cumulated memory: 79816 KiB

[startup+6.30022 s]
/proc/loadavg: 4.07 4.10 4.09 5/263 883735
/proc/meminfo: memFree=126097548/131524600 swapFree=131071996/131071996
[pid=883673] ppid=883670 vsize=2066256 memory=73536 CPUtime=6.27 cores=4,6
/proc/883673/stat : 883673 (pb_picat) R 883670 883673 879422 0 -1 4194304 10495 0 0 0 605 22 0 0 20 0 1 0 163307170 2115846144 18384 134679101440 4194304 5989780 140727516317248 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33218560 140727516320793 140727516320869 140727516320869 140727516327884 0
/proc/883673/statm: 516564 18384 1729 439 0 511993 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2066256 KiB
Current children cumulated memory: 73536 KiB

[startup+12.7002 s]
/proc/loadavg: 4.07 4.10 4.09 5/263 883736
/proc/meminfo: memFree=126082248/131524600 swapFree=131071996/131071996
[pid=883673] ppid=883670 vsize=2090368 memory=86660 CPUtime=12.66 cores=4,6
/proc/883673/stat : 883673 (pb_picat) R 883670 883673 879422 0 -1 4194304 20234 0 0 0 1230 36 0 0 20 0 1 0 163307170 2140536832 21665 134679101440 4194304 5989780 140727516317248 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33218560 140727516320793 140727516320869 140727516320869 140727516327884 0
/proc/883673/statm: 522592 21665 1729 439 0 518021 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2090368 KiB
Current children cumulated memory: 86660 KiB

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

# cumulated CPU time of all completed processes:  user=20.8911 s, system=0.554853 s

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

[startup+12.8003 s]
/proc/loadavg: 4.07 4.10 4.09 5/263 883736
/proc/meminfo: memFree=126082248/131524600 swapFree=131071996/131071996
[pid=883673] ppid=883670 vsize=2090368 memory=86660 CPUtime=12.76 cores=4,6
/proc/883673/stat : 883673 (pb_picat) R 883670 883673 879422 0 -1 4194304 20234 0 0 0 1240 36 0 0 20 0 1 0 163307170 2140536832 21665 134679101440 4194304 5989780 140727516317248 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33218560 140727516320793 140727516320869 140727516320869 140727516327884 0
/proc/883673/statm: 522592 21665 1729 439 0 518021 0
Current children cumulated CPU time: 12.76 s
Current children cumulated vsize: 2090368 KiB
Current children cumulated memory: 86660 KiB

[startup+16.0002 s]*
/proc/loadavg: 4.06 4.09 4.09 5/263 883736
/proc/meminfo: memFree=126073316/131524600 swapFree=131071996/131071996
[pid=883673] ppid=883670 vsize=2066596 memory=69520 CPUtime=15.96 cores=4,6
/proc/883673/stat : 883673 (pb_picat) R 883670 883673 879422 0 -1 4194304 25826 0 0 0 1552 44 0 0 20 0 1 0 163307170 2116194304 17380 134679101440 4194304 5989780 140727516317248 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33218560 140727516320793 140727516320869 140727516320869 140727516327884 0
/proc/883673/statm: 516649 17380 1729 439 0 512078 0
Current children cumulated CPU time: 15.96 s
Current children cumulated vsize: 2066596 KiB
Current children cumulated memory: 69520 KiB

[startup+19.2002 s]
/proc/loadavg: 4.06 4.09 4.09 5/263 883736
/proc/meminfo: memFree=126099344/131524600 swapFree=131071996/131071996
[pid=883673] ppid=883670 vsize=2087076 memory=83960 CPUtime=19.15 cores=4,6
/proc/883673/stat : 883673 (pb_picat) R 883670 883673 879422 0 -1 4194304 29568 0 0 0 1866 49 0 0 20 0 1 0 163307170 2137165824 20990 134679101440 4194304 5989780 140727516317248 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33218560 140727516320793 140727516320869 140727516320869 140727516327884 0
/proc/883673/statm: 521769 20990 1729 439 0 517198 0
Current children cumulated CPU time: 19.15 s
Current children cumulated vsize: 2087076 KiB
Current children cumulated memory: 83960 KiB

[startup+20.8002 s]
/proc/loadavg: 4.06 4.09 4.09 5/263 883736
/proc/meminfo: memFree=126109824/131524600 swapFree=131071996/131071996
[pid=883673] ppid=883670 vsize=2070772 memory=77752 CPUtime=20.74 cores=4,6
/proc/883673/stat : 883673 (pb_picat) R 883670 883673 879422 0 -1 4194304 32481 0 0 0 2020 54 0 0 20 0 1 0 163307170 2120470528 19438 134679101440 4194304 5989780 140727516317248 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33218560 140727516320793 140727516320869 140727516320869 140727516327884 0
/proc/883673/statm: 517693 19438 1729 439 0 513122 0
Current children cumulated CPU time: 20.74 s
Current children cumulated vsize: 2070772 KiB
Current children cumulated memory: 77752 KiB

[startup+21.2002 s]
/proc/loadavg: 4.06 4.09 4.09 5/263 883738
/proc/meminfo: memFree=126086916/131524600 swapFree=131071996/131071996
[pid=883673] ppid=883670 vsize=2087156 memory=83928 CPUtime=21.14 cores=4,6
/proc/883673/stat : 883673 (pb_picat) R 883670 883673 879422 0 -1 4194304 33002 0 0 0 2060 54 0 0 20 0 1 0 163307170 2137247744 20982 134679101440 4194304 5989780 140727516317248 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33218560 140727516320793 140727516320869 140727516320869 140727516327884 0
/proc/883673/statm: 521789 20982 1729 439 0 517218 0
Current children cumulated CPU time: 21.14 s
Current children cumulated vsize: 2087156 KiB
Current children cumulated memory: 83928 KiB

[startup+21.4002 s]
/proc/loadavg: 4.06 4.09 4.09 5/263 883738
/proc/meminfo: memFree=126086916/131524600 swapFree=131071996/131071996
[pid=883673] ppid=883670 vsize=2087156 memory=83928 CPUtime=21.34 cores=4,6
/proc/883673/stat : 883673 (pb_picat) R 883670 883673 879422 0 -1 4194304 33015 0 0 0 2080 54 0 0 20 0 1 0 163307170 2137247744 20982 134679101440 4194304 5989780 140727516317248 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33218560 140727516320793 140727516320869 140727516320869 140727516327884 0
/proc/883673/statm: 521789 20982 1729 439 0 517218 0
Current children cumulated CPU time: 21.34 s
Current children cumulated vsize: 2087156 KiB
Current children cumulated memory: 83928 KiB

Child status: 0

Real time (s): 21.4918
CPU time (s): 21.446
CPU user time (s): 20.8911
CPU system time (s): 0.554853
CPU usage (%): 99.7867
Max. virtual memory (cumulated for all children) (KiB): 2090368
Max. memory (cumulated for all children) (KiB): 88796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.8911
system time used= 0.554853
maximum resident set size= 88796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33054
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= 4
involuntary context switches= 31


# summary of solver processes directly reported to runsolver:
#   pid: 883673
#   total CPU time (s): 21.446
#   total CPU user time (s): 20.8911
#   total CPU system time (s): 0.554853

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.041805 second user time and 0.148354 second system time

The end

Begin job on nodeC030 at 2024-07-16 08:30:04
IDJOB=4436386
IDBENCH=148746
IDSOLVER=3068
FILE ID=nodeC030/4436386-1721111391
RUNJOBID= nodeC030-1721105558-879433
SLURM_JOB_ID= 7505632
Free space on /tmp= 890048 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB09/OPT-LIN/aries-da_nrp/normalized-aries-da_network_20_2__17_12__128.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436386-1721111391/watcher-4436386-1721111391 -o /tmp/evaluation-result-4436386-1721111391/solver-4436386-1721111391 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721105558-879433 --watchdog 3760  pb_picat HOME/instance-4436386-1721111391.opb

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

MD5SUM BENCH= 58dd15cc966460e0e417ebf8ee1b56d5
RANDOM SEED=1817251704

nodeC030.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3666.630
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.28
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		: 3687.671
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.11
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		: 3608.193
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.28
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		: 3598.789
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.11
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		: 3655.343
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.28
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		: 3687.776
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.11
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		: 3655.162
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.28
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.842
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126144116 kB
MemAvailable:   127469964 kB
Buffers:          389424 kB
Cached:          1762496 kB
SwapCached:            0 kB
Active:           932940 kB
Inactive:        3825492 kB
Active(anon):       1540 kB
Inactive(anon):  2642684 kB
Active(file):     931400 kB
Inactive(file):  1182808 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              3872 kB
Writeback:             0 kB
AnonPages:       2601660 kB
Mapped:           114308 kB
Shmem:             37720 kB
KReclaimable:     102928 kB
Slab:             209844 kB
SReclaimable:     102928 kB
SUnreclaim:       106916 kB
KernelStack:        4192 kB
PageTables:        14516 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7786648 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            63328 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2244608 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      234196 kB
DirectMap2M:    18413568 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 890044 MiB
End job on nodeC030 at 2024-07-16 08:30:25