0.00/0.01	c solving HOME/instance-4545229-1753232303.opb (Picat 3.9b6)
2512.22/2519.63	s SATISFIABLE
2512.22/2519.63	v ~x1397 ~x146 ~x1830 ~x2252 ~x2675 ~x583 ~x3098 ~x992 ~x3521 ~x3944 
2512.22/2519.63	v ~x1396 x145 ~x1831 ~x2253 ~x2676 ~x582 ~x3099 ~x991 ~x3522 ~x3945 
2512.22/2519.63	v ~x1395 ~x144 ~x1832 ~x2254 ~x2677 ~x581 ~x3100 ~x990 ~x3523 ~x3946 
2512.22/2519.63	v ~x1394 ~x143 ~x1833 ~x2255 ~x2678 ~x580 ~x3101 ~x989 ~x3524 ~x3947 
2512.22/2519.63	v ~x1393 ~x142 ~x1834 ~x2256 ~x2679 ~x579 ~x3102 ~x988 ~x3525 ~x3948 
2512.22/2519.63	v ~x1392 ~x151 ~x1835 ~x2257 ~x2680 ~x578 ~x3103 x987 ~x3526 ~x3949 
2512.22/2519.63	v ~x1413 ~x150 ~x1836 ~x2258 ~x2681 ~x577 ~x3104 ~x986 ~x3527 ~x3950 
2512.22/2519.63	v ~x1414 x149 ~x1837 ~x2259 ~x2682 ~x576 ~x3105 ~x985 ~x3528 ~x3951 
2512.22/2519.63	v ~x1415 ~x148 ~x1838 ~x2260 ~x2683 ~x575 ~x3106 ~x984 ~x3529 ~x3952 
2512.22/2519.63	v ~x1416 x147 ~x1839 ~x2261 ~x2684 ~x574 ~x3107 ~x983 ~x3530 ~x3953 
2512.22/2519.63	v ~x1417 x156 ~x1840 ~x2262 ~x2685 ~x573 ~x3108 ~x982 ~x3531 x3954 
2512.22/2519.63	v ~x1418 x155 ~x1841 ~x2263 ~x2686 ~x572 ~x3109 ~x981 ~x3532 ~x3955 
2512.22/2519.63	v ~x1419 ~x154 ~x1842 ~x2264 ~x2687 ~x571 ~x3110 ~x980 ~x3533 ~x3956 
2512.22/2519.63	v ~x1420 x153 ~x1843 ~x2265 ~x2688 ~x570 ~x3111 ~x979 ~x3534 ~x3957 
2512.22/2519.63	v ~x1421 ~x152 ~x1844 ~x2266 ~x2689 ~x569 ~x3112 ~x1020 ~x3535 ~x3958 
2512.22/2519.63	v ~x1422 x161 ~x1845 ~x2267 ~x2690 ~x568 ~x3113 ~x1019 ~x3536 ~x3959 
2512.22/2519.63	v ~x1423 ~x160 ~x1846 ~x2268 ~x2691 ~x567 ~x3114 ~x1018 ~x3537 ~x3960 
2512.22/2519.63	v ~x1424 ~x159 ~x1847 ~x2269 ~x2692 ~x566 ~x3115 ~x1017 ~x3538 ~x3961 
2512.22/2519.63	v ~x1425 x158 ~x1848 x2270 ~x2693 ~x565 ~x3116 ~x1016 ~x3539 ~x3962 
2512.22/2519.63	v ~x1426 ~x157 ~x1849 ~x2271 ~x2694 ~x564 ~x3117 ~x1015 ~x3540 ~x3963 
2512.22/2519.63	v ~x1427 ~x166 ~x1850 ~x2272 ~x2695 x563 ~x3118 ~x1014 ~x3541 ~x3964 
2512.22/2519.63	v ~x1428 ~x165 ~x1851 ~x2273 ~x2696 ~x604 ~x3119 ~x1013 ~x3542 ~x3965 
2512.22/2519.63	v ~x1429 x164 ~x1852 ~x2274 ~x2697 ~x603 ~x3120 ~x1012 ~x3543 ~x3966 
2512.22/2519.63	v ~x1430 ~x163 ~x1853 ~x2275 ~x2698 ~x602 ~x3121 ~x1011 ~x3544 ~x3967 
2512.22/2519.63	v ~x1431 x162 ~x1854 ~x2276 ~x2699 ~x601 ~x3122 ~x1010 ~x3545 ~x3968 
2512.22/2519.63	v ~x1432 ~x171 ~x1855 ~x2277 ~x2700 ~x600 ~x3123 ~x1009 ~x3546 ~x3969 
2512.22/2519.63	v ~x1433 x170 ~x1856 ~x2278 ~x2701 ~x599 ~x3124 ~x1008 ~x3547 ~x3970 
2512.22/2519.63	v ~x1434 ~x169 ~x1857 ~x2279 ~x2702 ~x598 ~x3125 ~x1007 ~x3548 ~x3971 
2512.22/2519.63	v ~x1435 x168 ~x1858 ~x2280 ~x2703 ~x597 ~x3126 ~x1006 ~x3549 ~x3972 
2512.22/2519.63	v ~x1436 ~x1859 ~x167 ~x2281 ~x2704 ~x596 ~x3127 x1005 ~x3550 ~x3973 
2512.22/2519.63	v ~x1437 ~x1860 ~x176 ~x2282 ~x2705 ~x595 ~x3128 ~x1004 ~x3551 ~x3974 
2512.22/2519.63	v ~x1438 ~x1861 x175 ~x2283 ~x2706 ~x594 ~x3129 ~x1003 ~x3552 ~x3975 
2512.22/2519.63	v ~x1439 ~x174 ~x1862 ~x2284 ~x2707 ~x593 ~x3130 ~x1002 ~x3553 ~x3976 
2512.22/2519.63	v ~x1440 ~x173 ~x1863 ~x2285 ~x2708 x592 ~x3131 ~x1001 ~x3554 ~x3977 
2512.22/2519.63	v ~x1441 x172 ~x1864 ~x2286 ~x2709 ~x591 ~x3132 ~x1000 ~x3555 ~x3978 
2512.22/2519.63	v ~x1442 x181 ~x1865 ~x2287 ~x2710 ~x590 ~x3133 ~x1041 ~x3556 ~x3979 
2512.22/2519.63	v ~x1443 ~x180 ~x1866 ~x2288 ~x2711 ~x589 ~x3134 ~x1040 ~x3557 ~x3980 
2512.22/2519.63	v ~x1444 ~x179 ~x1867 ~x2289 ~x2712 ~x588 ~x3135 ~x1039 ~x3558 ~x3981 
2512.22/2519.63	v ~x1445 ~x178 ~x1868 ~x2290 ~x2713 ~x587 ~x3136 ~x1038 ~x3559 ~x3982 
2512.22/2519.63	v ~x1446 x177 ~x1869 ~x2291 ~x2714 ~x586 ~x3137 ~x1037 ~x3560 ~x3983 
2512.22/2519.63	v ~x1447 x186 ~x1870 ~x2292 ~x2715 ~x585 ~x3138 ~x1036 ~x3561 ~x3984 
2512.22/2519.63	v ~x1448 ~x185 ~x1871 ~x2293 ~x2716 ~x584 ~x3139 ~x1035 ~x3562 ~x3985 
2512.22/2519.63	v ~x1449 x184 ~x1872 ~x2294 ~x2717 ~x625 ~x3140 ~x1034 ~x3563 ~x3986 
2512.22/2519.63	v ~x1450 x183 ~x1873 ~x2295 ~x2718 ~x624 ~x3141 ~x1033 ~x3564 ~x3987 
2512.22/2519.63	v ~x1451 ~x182 ~x1874 ~x2296 ~x2719 ~x623 ~x3142 ~x1032 ~x3565 ~x3988 
2512.22/2519.63	v ~x1452 ~x191 ~x1875 ~x2297 ~x2720 ~x622 ~x3143 ~x1031 ~x3566 ~x3989 
2512.22/2519.63	v ~x1453 x190 ~x1876 ~x2298 ~x2721 ~x621 ~x3144 ~x1030 ~x3567 ~x3990 
2512.22/2519.63	v ~x1454 ~x189 ~x1877 ~x2299 ~x2722 ~x620 ~x3145 ~x1029 ~x3568 ~x3991 
2512.22/2519.63	v ~x1455 ~x188 ~x1878 ~x2300 ~x2723 ~x619 ~x3146 x1028 ~x3569 ~x3992 
2512.22/2519.63	v ~x1456 ~x187 ~x1879 ~x2301 ~x2724 ~x618 ~x3147 ~x1027 ~x3570 ~x3993 
2512.22/2519.63	v ~x1457 x196 ~x1880 ~x2302 x2725 ~x617 ~x3148 ~x1026 ~x3571 ~x3994 
2512.22/2519.63	v ~x1458 x195 ~x1881 ~x2303 ~x2726 ~x616 ~x3149 ~x1025 ~x3572 ~x3995 
2512.22/2519.63	v ~x1459 x194 ~x1882 ~x2304 ~x2727 ~x615 ~x3150 ~x1024 ~x3573 ~x3996 
2512.22/2519.63	v ~x1460 x193 ~x1883 ~x2305 ~x2728 ~x614 ~x3151 ~x1023 ~x3574 ~x3997 
2512.22/2519.63	v ~x1461 ~x192 ~x1884 ~x2306 ~x2729 ~x613 ~x3152 ~x1022 ~x3575 ~x3998 
2512.22/2519.63	v ~x1462 x201 ~x1885 ~x2307 ~x2730 ~x612 ~x3153 ~x1021 ~x3576 ~x3999 
2512.22/2519.63	v ~x1463 x200 ~x1886 ~x2308 ~x2731 ~x611 ~x3154 ~x1062 ~x3577 ~x4000 
2512.22/2519.63	v ~x1464 x199 ~x1887 ~x2309 ~x2732 ~x610 ~x3155 ~x1061 ~x3578 ~x4001 
2512.22/2519.63	v ~x1465 x198 ~x1888 ~x2310 ~x2733 ~x609 ~x3156 ~x1060 ~x3579 ~x4002 
2512.22/2519.63	v ~x1466 ~x197 ~x1889 ~x2311 ~x2734 ~x608 ~x3157 ~x1059 ~x3580 ~x4003 
2512.22/2519.63	v ~x1467 ~x206 ~x1890 ~x2312 ~x2735 x607 ~x3158 x1058 ~x3581 ~x4004 
2512.22/2519.63	v ~x1468 x205 ~x1891 ~x2313 ~x2736 ~x606 ~x3159 ~x1057 ~x3582 ~x4005 
2512.22/2519.63	v ~x1469 x204 ~x1892 ~x2314 ~x2737 ~x605 ~x3160 ~x1056 ~x3583 ~x4006 
2512.22/2519.63	v ~x1470 x203 ~x1893 ~x2315 ~x2738 ~x646 ~x3161 ~x1055 ~x3584 ~x4007 
2512.22/2519.63	v ~x1471 ~x202 ~x1894 ~x2316 ~x2739 ~x645 ~x3162 ~x1054 ~x3585 ~x4008 
2512.22/2519.63	v ~x1472 ~x211 ~x1895 ~x2317 ~x2740 ~x644 ~x3163 ~x1053 ~x3586 ~x4009 
2512.22/2519.63	v ~x1473 x210 ~x1896 ~x2318 ~x2741 x643 ~x3164 ~x1052 ~x3587 ~x4010 
2512.22/2519.63	v ~x1474 ~x209 ~x1897 ~x2319 ~x2742 ~x642 ~x3165 ~x1051 ~x3588 ~x4011 
2512.22/2519.63	v ~x1475 x208 ~x1898 ~x2320 ~x2743 ~x641 ~x3166 ~x1050 ~x3589 ~x4012 
2512.22/2519.63	v ~x1476 ~x207 ~x1899 ~x2321 ~x2744 ~x640 ~x3167 ~x1049 ~x3590 ~x4013 
2512.22/2519.63	v ~x1477 x216 ~x1900 ~x2322 ~x2745 ~x639 ~x3168 ~x1048 ~x3591 ~x4014 
2512.22/2519.63	v ~x1478 x215 ~x1901 ~x2323 ~x2746 ~x638 ~x3169 ~x1047 ~x3592 ~x4015 
2512.22/2519.63	v ~x1479 ~x214 ~x1902 ~x2324 ~x2747 ~x637 ~x3170 ~x1046 ~x3593 ~x4016 
2512.22/2519.63	v ~x1480 ~x213 ~x1903 ~x2325 ~x2748 ~x636 ~x3171 ~x1045 ~x3594 ~x4017 
2512.22/2519.63	v ~x1481 ~x212 ~x1904 ~x2326 ~x2749 ~x635 ~x3172 ~x1044 ~x3595 ~x4018 
2512.22/2519.63	v ~x1482 x221 ~x1905 ~x2327 ~x2750 ~x634 ~x3173 ~x1043 ~x3596 ~x4019 
2512.22/2519.63	v ~x1483 x220 ~x1906 ~x2328 ~x2751 ~x633 ~x3174 ~x1042 ~x3597 ~x4020 
2512.22/2519.63	v ~x1484 ~x219 ~x1907 ~x2329 ~x2752 ~x632 ~x3175 ~x3598 ~x4021 ~x1485 
2512.22/2519.63	v ~x218 ~x1908 ~x2330 ~x2753 ~x631 ~x3176 ~x3599 ~x4022 ~x1083 ~x1486 
2512.22/2519.63	v x217 ~x1909 ~x2331 ~x2754 ~x630 ~x3177 ~x3600 ~x4023 ~x1082 ~x1487 
2512.22/2519.63	v ~x226 ~x1910 ~x2332 ~x2755 ~x629 ~x3178 ~x3601 ~x4024 ~x1081 ~x1488 
2512.22/2519.63	v ~x225 ~x1911 ~x2333 ~x2756 ~x628 ~x3179 ~x3602 ~x4025 ~x1080 ~x1489 
2512.22/2519.63	v x224 ~x1912 ~x2334 ~x2757 ~x627 ~x3180 ~x3603 ~x4026 ~x1079 ~x1490 
2512.22/2519.63	v x223 ~x1913 ~x2335 ~x2758 ~x626 ~x3181 ~x3604 ~x4027 ~x1078 ~x1491 
2512.22/2519.63	v ~x222 ~x1914 ~x2336 ~x2759 ~x647 ~x3182 ~x3605 ~x4028 ~x1077 ~x1492 
2512.22/2519.63	v x247 ~x1915 ~x2337 ~x2760 ~x648 ~x3183 ~x3606 ~x4029 ~x1076 ~x1493 
2512.22/2519.63	v ~x246 ~x1916 ~x2338 ~x2761 ~x649 ~x3184 ~x3607 ~x4030 ~x1075 ~x1494 
2512.22/2519.63	v ~x245 ~x1917 ~x2339 ~x2762 ~x650 ~x3185 ~x3608 ~x4031 ~x1074 ~x1495 
2512.22/2519.63	v ~x244 ~x1918 ~x2340 ~x2763 ~x651 ~x3186 ~x3609 ~x4032 ~x1073 ~x1496 
2512.22/2519.63	v ~x243 ~x1919 ~x2341 ~x2764 ~x652 ~x3187 ~x3610 ~x4033 ~x1072 ~x1497 
2512.22/2519.63	v ~x242 ~x1920 ~x2342 ~x2765 ~x653 ~x3188 ~x3611 ~x4034 ~x1071 ~x1498 
2512.22/2519.63	v ~x241 ~x1921 ~x2343 ~x2766 ~x654 ~x3189 ~x3612 ~x4035 ~x1070 ~x1499 
2512.22/2519.63	v ~x240 ~x1922 ~x2344 ~x2767 ~x655 ~x3190 ~x3613 ~x4036 ~x1069 ~x1500 
2512.22/2519.63	v ~x239 ~x1923 ~x2345 ~x2768 ~x656 ~x3191 ~x3614 ~x4037 ~x1068 ~x1501 
2512.22/2519.63	v ~x238 ~x1924 ~x2346 ~x2769 ~x657 ~x3192 ~x3615 ~x4038 ~x1067 ~x1502 
2512.22/2519.63	v ~x237 ~x1925 ~x2347 ~x2770 ~x658 ~x3193 ~x3616 ~x4039 x1066 ~x1503 
2512.22/2519.63	v ~x236 ~x1926 ~x2348 ~x2771 ~x659 ~x3194 ~x3617 ~x4040 ~x1065 ~x1504 
2512.22/2519.63	v ~x235 ~x1927 ~x2349 ~x2772 ~x660 ~x3195 ~x3618 ~x4041 ~x1064 ~x1505 
2512.22/2519.63	v ~x234 x1928 ~x2350 ~x2773 ~x661 ~x3196 ~x3619 ~x4042 ~x1063 ~x1506 
2512.22/2519.63	v ~x233 ~x1929 ~x2351 ~x2774 ~x662 ~x3197 ~x3620 ~x4043 ~x1104 ~x1507 
2512.22/2519.63	v ~x232 ~x1930 ~x2352 ~x2775 ~x663 ~x3198 ~x3621 ~x4044 ~x1103 ~x1508 
2512.22/2519.63	v ~x231 ~x1931 ~x2353 ~x2776 ~x664 ~x3199 ~x3622 ~x4045 x1102 ~x1509 
2512.22/2519.63	v ~x230 ~x1932 ~x2354 ~x2777 ~x665 ~x3200 ~x3623 ~x4046 ~x1101 ~x1510 
2512.22/2519.63	v ~x229 ~x1933 ~x2355 ~x2778 ~x666 ~x3201 ~x3624 ~x4047 ~x1100 ~x1511 
2512.22/2519.63	v ~x228 ~x1934 ~x2356 ~x2779 ~x667 ~x3202 ~x3625 ~x4048 ~x1099 ~x1512 
2512.22/2519.63	v ~x227 ~x1935 ~x2357 ~x2780 ~x668 ~x3203 ~x3626 ~x4049 ~x1098 x1513 
2512.22/2519.63	v ~x268 ~x1936 ~x2358 ~x2781 ~x669 ~x3204 ~x3627 ~x4050 ~x1097 ~x1514 
2512.22/2519.63	v ~x267 ~x1937 ~x2359 ~x2782 ~x670 ~x3205 ~x3628 ~x4051 ~x1096 ~x1515 
2512.22/2519.63	v ~x266 ~x1938 ~x2360 ~x2783 ~x671 ~x3206 ~x3629 ~x4052 ~x1095 ~x1516 
2512.22/2519.63	v ~x265 ~x1939 ~x2361 ~x2784 ~x672 ~x3207 ~x3630 ~x4053 ~x1094 ~x1517 
2512.22/2519.63	v ~x264 ~x1940 ~x2362 ~x2785 ~x673 ~x3208 ~x3631 ~x4054 ~x1093 ~x1518 
2512.22/2519.63	v ~x263 ~x1941 ~x2363 ~x2786 ~x674 ~x3209 ~x3632 ~x4055 ~x1092 ~x1519 
2512.22/2519.63	v ~x262 ~x1942 ~x2364 ~x2787 ~x675 ~x3210 ~x3633 ~x4056 ~x1091 ~x1520 
2512.22/2519.63	v ~x261 ~x1943 ~x2365 ~x2788 ~x676 ~x3211 ~x3634 ~x4057 ~x1090 ~x1521 
2512.22/2519.63	v ~x260 ~x1944 ~x2366 ~x2789 ~x677 ~x3212 ~x3635 ~x4058 ~x1089 ~x1522 
2512.22/2519.63	v ~x259 ~x1945 ~x2367 ~x2790 ~x678 ~x3213 ~x3636 ~x4059 ~x1088 ~x1523 
2512.22/2519.63	v ~x258 ~x1946 ~x2368 ~x2791 ~x679 ~x3214 ~x3637 ~x4060 ~x1087 ~x1524 
2512.22/2519.63	v x257 ~x1947 ~x2369 ~x2792 ~x680 ~x3215 ~x3638 ~x4061 ~x1086 ~x1525 
2512.22/2519.63	v ~x256 ~x1948 ~x2370 ~x2793 ~x681 ~x3216 ~x3639 ~x4062 ~x1085 ~x1526 
2512.22/2519.63	v ~x255 ~x1949 ~x2371 ~x2794 ~x682 ~x3217 ~x3640 ~x4063 ~x1084 ~x1527 
2512.22/2519.63	v ~x254 ~x1950 ~x2372 ~x2795 ~x683 ~x3218 ~x3641 ~x4064 ~x1125 ~x1528 
2512.22/2519.63	v ~x253 ~x1951 ~x2373 ~x2796 ~x684 ~x3219 ~x3642 ~x4065 ~x1124 ~x1529 
2512.22/2519.63	v ~x252 ~x1952 ~x2374 ~x2797 ~x685 ~x3220 ~x3643 ~x4066 ~x1123 ~x1530 
2512.22/2519.63	v ~x251 ~x1953 ~x2375 ~x2798 ~x686 ~x3221 ~x3644 ~x4067 ~x1122 ~x1531 
2512.22/2519.63	v ~x250 ~x1954 ~x2376 ~x2799 ~x687 ~x3222 ~x3645 ~x4068 ~x1121 ~x1532 
2512.22/2519.63	v ~x249 ~x1955 ~x2377 ~x2800 ~x688 ~x3223 ~x3646 ~x4069 ~x1120 ~x1533 
2512.22/2519.63	v ~x248 ~x1956 ~x2378 ~x2801 ~x689 ~x3224 ~x3647 ~x4070 ~x1119 ~x1534 
2512.22/2519.63	v ~x1957 ~x2379 ~x2802 ~x690 ~x3225 x3648 ~x4071 ~x1118 ~x1535 ~x1958 
2512.22/2519.63	v x289 ~x2380 ~x2803 ~x691 ~x3226 ~x3649 ~x4072 ~x1117 ~x1536 ~x1959 
2512.22/2519.63	v ~x288 ~x2381 ~x2804 ~x692 ~x3227 ~x3650 ~x4073 ~x1116 ~x1537 ~x1960 
2512.22/2519.63	v ~x287 ~x2382 ~x2805 ~x693 ~x3228 ~x3651 ~x4074 x1115 ~x1538 ~x1961 
2512.22/2519.63	v ~x286 ~x2383 ~x2806 ~x694 ~x3229 ~x3652 ~x4075 ~x1114 ~x1539 ~x1962 
2512.22/2519.63	v ~x285 ~x2384 ~x2807 ~x695 ~x3230 ~x3653 ~x4076 ~x1113 ~x1540 ~x1963 
2512.22/2519.63	v ~x284 ~x2385 ~x2808 ~x696 ~x3231 ~x3654 ~x4077 ~x1112 ~x1541 ~x1964 
2512.22/2519.63	v ~x283 ~x2386 ~x2809 ~x697 ~x3232 ~x3655 ~x4078 ~x1111 ~x1542 ~x1965 
2512.22/2519.63	v ~x282 ~x2387 ~x2810 ~x698 ~x3233 ~x3656 ~x4079 ~x1110 ~x1543 ~x1966 
2512.22/2519.63	v ~x281 ~x2388 ~x2811 ~x699 ~x3234 ~x3657 ~x4080 ~x1109 ~x1544 ~x1967 
2512.22/2519.63	v ~x280 ~x2389 ~x2812 ~x700 ~x3235 ~x3658 ~x4081 ~x1108 ~x1545 ~x1968 
2512.22/2519.63	v ~x279 ~x2390 ~x2813 ~x701 ~x3236 ~x3659 ~x4082 ~x1107 ~x1546 ~x1969 
2512.22/2519.63	v ~x278 ~x2391 ~x2814 ~x702 ~x3237 ~x3660 ~x4083 ~x1106 ~x1547 ~x1970 
2512.22/2519.63	v ~x277 ~x2392 ~x2815 ~x703 ~x3238 ~x3661 ~x4084 ~x1105 ~x1548 ~x1971 
2512.22/2519.63	v ~x276 ~x2393 ~x2816 ~x704 ~x3239 ~x3662 ~x4085 ~x1146 ~x1549 ~x1972 
2512.22/2519.63	v ~x275 ~x2394 ~x2817 ~x705 ~x3240 ~x3663 ~x4086 ~x1145 ~x1550 ~x1973 
2512.22/2519.63	v ~x274 ~x2395 ~x2818 ~x706 ~x3241 ~x3664 ~x4087 ~x1144 ~x1551 ~x1974 
2512.22/2519.63	v ~x273 ~x2396 ~x2819 ~x707 ~x3242 ~x3665 ~x4088 ~x1143 ~x1552 ~x1975 
2512.22/2519.63	v ~x272 ~x2397 ~x2820 ~x708 ~x3243 ~x3666 ~x4089 ~x1142 ~x1553 ~x1976 
2512.22/2519.63	v ~x271 ~x2398 ~x2821 ~x709 ~x3244 ~x3667 ~x4090 ~x1141 ~x1554 ~x1977 
2512.22/2519.63	v ~x270 ~x2399 ~x2822 ~x710 ~x3245 ~x3668 ~x4091 x1140 ~x1555 ~x1978 
2512.22/2519.63	v ~x269 ~x2400 ~x2823 ~x711 ~x3246 ~x3669 ~x4092 ~x1139 ~x1556 ~x1979 
2512.22/2519.63	v ~x310 ~x2401 ~x2824 ~x712 ~x3247 ~x3670 ~x4093 ~x1138 ~x1557 ~x1980 
2512.22/2519.63	v ~x309 ~x2402 ~x2825 ~x713 ~x3248 ~x3671 ~x4094 ~x1137 ~x1558 ~x1981 
2512.22/2519.63	v ~x308 ~x2403 ~x2826 ~x714 ~x3249 ~x3672 ~x4095 ~x1136 ~x1559 ~x1982 
2512.22/2519.63	v ~x307 ~x2404 ~x2827 ~x715 ~x3250 ~x3673 ~x4096 ~x1135 ~x1560 ~x1983 
2512.22/2519.63	v ~x306 ~x2405 ~x2828 ~x716 ~x3251 ~x3674 ~x4097 ~x1134 ~x1561 ~x1984 
2512.22/2519.63	v ~x305 ~x2406 ~x2829 ~x717 ~x3252 ~x3675 ~x4098 ~x1133 ~x1562 ~x2005 
2512.22/2519.63	v ~x304 ~x2407 ~x2830 ~x718 ~x3253 ~x3676 ~x4099 ~x1132 ~x1563 ~x2004 
2512.22/2519.63	v ~x303 ~x2408 ~x2831 ~x719 ~x3254 ~x3677 ~x4100 ~x1131 ~x1564 ~x2003 
2512.22/2519.63	v ~x302 ~x2409 ~x2832 ~x720 ~x3255 ~x3678 ~x4101 ~x1130 ~x1565 ~x2002 
2512.22/2519.63	v ~x301 ~x2410 ~x2833 ~x721 ~x3256 ~x3679 ~x4102 ~x1129 ~x1566 ~x2001 
2512.22/2519.63	v x300 ~x2411 ~x2834 ~x722 ~x3257 ~x3680 ~x4103 ~x1128 ~x1567 ~x2000 
2512.22/2519.63	v ~x299 ~x2412 ~x2835 ~x723 ~x3258 ~x3681 ~x4104 ~x1127 ~x1568 ~x1999 
2512.22/2519.63	v ~x298 ~x2413 ~x2836 ~x724 ~x3259 ~x3682 ~x4105 ~x1126 ~x1569 ~x1998 
2512.22/2519.63	v ~x297 ~x2414 ~x2837 ~x725 ~x3260 ~x3683 ~x4106 ~x1147 ~x1570 ~x1997 
2512.22/2519.63	v ~x296 ~x2415 ~x2838 ~x726 ~x3261 ~x3684 ~x4107 ~x1148 ~x1571 ~x1996 
2512.22/2519.63	v ~x295 ~x2416 ~x2839 ~x727 ~x3262 ~x3685 ~x4108 ~x1149 ~x1572 ~x1995 
2512.22/2519.63	v ~x294 ~x2417 ~x2840 ~x728 ~x3263 ~x3686 ~x4109 ~x1150 ~x1573 ~x1994 
2512.22/2519.63	v ~x293 ~x2418 ~x2841 ~x729 ~x3264 ~x3687 ~x4110 ~x1151 ~x1574 ~x1993 
2512.22/2519.63	v ~x292 ~x2419 ~x2842 ~x730 ~x3265 ~x3688 ~x4111 ~x1152 ~x1575 ~x1992 
2512.22/2519.63	v ~x291 ~x2420 ~x2843 ~x731 ~x3266 ~x3689 ~x4112 ~x1153 ~x1576 ~x1991 
2512.22/2519.63	v ~x290 ~x2421 ~x2844 ~x732 ~x3267 ~x3690 ~x4113 ~x1154 ~x1577 ~x1990 
2512.22/2519.63	v ~x331 ~x2422 ~x2845 ~x733 ~x3268 ~x3691 ~x4114 ~x1155 ~x1578 x1989 
2512.22/2519.63	v ~x330 ~x2423 ~x2846 ~x734 ~x3269 ~x3692 ~x4115 ~x1156 ~x1579 ~x1988 
2512.22/2519.63	v ~x329 ~x2424 ~x2847 ~x735 ~x3270 ~x3693 ~x1157 ~x1580 ~x1987 ~x328 
2512.22/2519.63	v ~x2425 ~x2848 ~x736 ~x3271 ~x3694 ~x1158 ~x1581 ~x1986 ~x327 ~x2426 
2512.22/2519.63	v ~x2849 ~x737 ~x3272 ~x3695 ~x1159 ~x1582 ~x1985 x326 ~x2427 ~x2850 
2512.22/2519.63	v ~x738 ~x3273 ~x3696 ~x1160 ~x1583 ~x2006 ~x325 ~x2428 ~x2851 ~x739 
2512.22/2519.63	v ~x3274 ~x3697 ~x1161 ~x1584 ~x2007 ~x324 ~x2429 ~x2852 ~x740 ~x3275 
2512.22/2519.63	v ~x3698 ~x1162 ~x1585 ~x2008 ~x323 ~x2430 ~x2853 ~x741 ~x3276 ~x3699 
2512.22/2519.63	v ~x1163 ~x1586 ~x2009 ~x322 ~x2431 ~x2854 ~x742 ~x3277 ~x3700 ~x1164 
2512.22/2519.63	v ~x1587 ~x2010 ~x321 ~x2432 ~x2855 ~x743 ~x3278 ~x3701 ~x1165 ~x1588 
2512.22/2519.63	v ~x2011 ~x320 ~x2433 ~x2856 ~x744 ~x3279 ~x3702 ~x1166 ~x1589 ~x2012 
2512.22/2519.63	v ~x319 ~x2434 ~x2857 ~x745 ~x3280 ~x3703 ~x1167 ~x1590 ~x2013 ~x318 
2512.22/2519.63	v ~x2435 ~x2858 ~x746 ~x3281 ~x3704 ~x1168 ~x1591 ~x2014 ~x317 ~x2436 
2512.22/2519.63	v ~x2859 ~x747 ~x3282 ~x3705 ~x1169 ~x1592 ~x2015 ~x316 ~x2437 ~x2860 
2512.22/2519.63	v ~x748 x3283 ~x3706 ~x1170 ~x1593 ~x2016 ~x315 ~x2438 ~x2861 ~x749 
2512.22/2519.63	v ~x3284 ~x3707 ~x1171 ~x1594 ~x2017 ~x314 ~x2439 ~x2862 ~x750 ~x3285 
2512.22/2519.63	v ~x3708 ~x1172 ~x1595 ~x2018 ~x313 ~x2440 ~x2863 ~x751 ~x3286 ~x3709 
2512.22/2519.63	v ~x1173 ~x1596 ~x2019 ~x312 ~x2441 ~x2864 ~x752 ~x3287 ~x3710 ~x1174 
2512.22/2519.63	v ~x1597 ~x2020 ~x311 ~x2442 ~x2865 ~x753 ~x3288 ~x3711 ~x1175 ~x1598 
2512.22/2519.63	v ~x2021 ~x352 ~x2443 ~x2866 ~x754 ~x3289 ~x3712 ~x1176 ~x1599 ~x2022 
2512.22/2519.63	v ~x351 ~x2444 ~x2867 ~x755 ~x3290 ~x3713 ~x1177 ~x1600 ~x2023 ~x350 
2512.22/2519.63	v ~x2445 ~x2868 ~x756 ~x3291 ~x3714 ~x1178 ~x1601 ~x2024 x349 ~x2446 
2512.22/2519.63	v ~x2869 ~x757 ~x3292 ~x3715 ~x1179 ~x1602 ~x2025 ~x348 ~x2447 ~x2870 
2512.22/2519.63	v ~x758 ~x3293 ~x3716 ~x1180 ~x1623 ~x2026 ~x347 ~x2448 ~x2871 ~x759 
2512.22/2519.63	v ~x3294 ~x3717 ~x1181 ~x1622 ~x2027 ~x346 ~x2449 ~x2872 ~x760 ~x3295 
2512.22/2519.63	v ~x3718 ~x1182 ~x1621 ~x2028 ~x345 ~x2450 ~x2873 ~x761 ~x3296 ~x3719 
2512.22/2519.63	v ~x1183 ~x1620 ~x2029 ~x344 ~x2451 ~x2874 ~x762 ~x3297 ~x3720 ~x1184 
2512.22/2519.63	v ~x1619 ~x2030 ~x343 ~x2452 ~x2875 ~x763 ~x3298 ~x3721 ~x1185 ~x1618 
2512.22/2519.63	v ~x2031 ~x342 ~x2453 ~x2876 ~x764 ~x3299 ~x3722 ~x1186 ~x1617 ~x2032 
2512.22/2519.63	v ~x341 ~x2454 ~x2877 ~x765 ~x3300 ~x3723 ~x1187 ~x1616 ~x2033 ~x340 
2512.22/2519.63	v ~x2455 ~x2878 ~x766 ~x3301 ~x3724 ~x1188 ~x1615 ~x2034 ~x339 ~x2456 
2512.22/2519.63	v ~x2879 ~x767 ~x3302 ~x3725 ~x1189 ~x1614 ~x2035 ~x338 ~x2457 ~x2880 
2512.22/2519.63	v ~x768 ~x3303 ~x3726 ~x1190 x1613 ~x2036 ~x337 ~x2458 ~x2881 ~x769 
2512.22/2519.63	v ~x3304 ~x3727 ~x1191 ~x1612 ~x2037 ~x336 ~x2459 ~x2882 ~x770 ~x3305 
2512.22/2519.63	v ~x3728 ~x1192 ~x1611 ~x2038 ~x335 ~x2460 ~x2883 ~x771 ~x3306 ~x3729 
2512.22/2519.63	v ~x1193 ~x1610 ~x2039 ~x334 ~x2461 ~x2884 ~x772 ~x3307 ~x3730 ~x1194 
2512.22/2519.63	v ~x1609 ~x2040 ~x333 ~x2462 ~x2885 ~x773 ~x3308 ~x3731 ~x1195 ~x1608 
2512.22/2519.63	v ~x2041 ~x332 ~x2463 ~x2886 ~x774 ~x3309 ~x3732 ~x1196 ~x1607 ~x2042 
2512.22/2519.63	v ~x373 ~x2464 ~x2887 ~x775 ~x3310 ~x3733 ~x1197 ~x1606 ~x2043 ~x372 
2512.22/2519.63	v ~x2465 ~x2888 ~x776 ~x3311 ~x3734 ~x1198 ~x1605 ~x2044 ~x371 ~x2466 
2512.22/2519.63	v ~x2889 ~x777 ~x3312 ~x3735 ~x1199 ~x1604 ~x2045 ~x370 ~x2467 ~x2890 
2512.22/2519.63	v ~x778 ~x3313 ~x3736 ~x1200 ~x1603 ~x2046 ~x369 ~x2468 ~x2891 ~x779 
2512.22/2519.63	v ~x3314 ~x3737 ~x1201 ~x1644 ~x2047 ~x368 ~x2469 ~x2892 ~x780 ~x3315 
2512.22/2519.63	v ~x3738 ~x1202 ~x1643 ~x2048 ~x367 ~x2470 ~x2893 ~x781 ~x3316 ~x3739 
2512.22/2519.63	v x1203 ~x1642 ~x2049 ~x366 ~x2471 ~x2894 ~x782 ~x3317 ~x3740 ~x1204 
2512.22/2519.63	v ~x1641 ~x2050 ~x365 ~x2472 ~x2895 ~x783 ~x3318 ~x3741 ~x1205 ~x1640 
2512.22/2519.63	v ~x2051 ~x364 ~x2473 ~x2896 ~x784 ~x3319 ~x3742 ~x1206 ~x1639 ~x2052 
2512.22/2519.63	v ~x363 ~x2474 ~x2897 ~x785 ~x3320 ~x3743 ~x1207 ~x1638 ~x2053 ~x362 
2512.22/2519.63	v ~x2475 ~x2898 ~x786 ~x3321 ~x3744 ~x1208 ~x1637 ~x2054 ~x361 ~x2476 
2512.22/2519.63	v ~x2899 ~x787 ~x3322 ~x3745 ~x1209 ~x1636 ~x2055 ~x360 ~x2477 ~x2900 
2512.22/2519.63	v ~x788 ~x3323 ~x3746 ~x1210 ~x1635 ~x2056 ~x359 ~x2478 ~x2901 ~x789 
2512.22/2519.63	v ~x3324 ~x3747 ~x1211 ~x1634 ~x2057 ~x358 ~x2479 ~x2902 ~x790 ~x3325 
2512.22/2519.63	v ~x3748 ~x1212 ~x1633 ~x2058 ~x357 ~x2480 ~x2903 ~x791 ~x3326 ~x3749 
2512.22/2519.63	v ~x1213 ~x1632 ~x2059 ~x356 ~x2481 ~x2904 ~x792 ~x3327 ~x3750 ~x1214 
2512.22/2519.63	v x1631 ~x2060 x355 ~x2482 ~x2905 ~x793 ~x3328 ~x3751 ~x1215 ~x1630 
2512.22/2519.63	v ~x2061 ~x354 ~x2483 ~x2906 ~x794 ~x3329 ~x3752 ~x1216 ~x1629 ~x2062 
2512.22/2519.63	v ~x353 ~x2484 ~x2907 ~x795 ~x3330 ~x3753 ~x1217 ~x1628 ~x2063 ~x394 
2512.22/2519.63	v ~x2485 ~x2908 ~x796 ~x3331 ~x3754 ~x1218 ~x1627 ~x2064 ~x393 ~x2486 
2512.22/2519.63	v ~x2909 ~x797 ~x3332 ~x3755 ~x1219 ~x1626 ~x2065 ~x392 ~x2487 ~x2910 
2512.22/2519.63	v ~x798 ~x3333 ~x3756 ~x1220 ~x1625 ~x2066 ~x391 ~x2488 ~x2911 ~x799 
2512.22/2519.63	v ~x3334 ~x3757 ~x1221 ~x1624 ~x2067 ~x390 ~x2489 ~x2912 ~x800 ~x3335 
2512.22/2519.63	v ~x3758 ~x1222 ~x1665 ~x2068 ~x389 ~x2490 ~x2913 ~x801 ~x3336 ~x3759 
2512.22/2519.63	v ~x1223 ~x1664 ~x2069 ~x388 ~x2491 ~x2914 x802 ~x3337 ~x3760 ~x1224 
2512.22/2519.63	v x1663 ~x2070 ~x387 ~x2492 ~x2915 ~x803 ~x3338 ~x3761 ~x1225 ~x1662 
2512.22/2519.63	v ~x2071 ~x386 ~x2493 ~x2916 ~x804 ~x3339 ~x3762 ~x1226 ~x1661 ~x2072 
2512.22/2519.63	v ~x385 ~x2494 ~x2917 ~x805 ~x3340 ~x3763 ~x1227 ~x1660 ~x2073 ~x384 
2512.22/2519.63	v ~x2495 ~x2918 ~x806 ~x3341 ~x3764 ~x1228 ~x1659 ~x2074 ~x383 ~x2496 
2512.22/2519.63	v ~x2919 ~x807 ~x3342 ~x3765 ~x1229 ~x1658 ~x2075 ~x382 ~x2497 ~x2920 
2512.22/2519.63	v ~x808 ~x3343 ~x3766 ~x1230 ~x1657 ~x2076 ~x381 ~x2498 ~x2921 ~x809 
2512.22/2519.63	v ~x3344 ~x3767 ~x1231 ~x1656 ~x2077 ~x380 ~x2499 ~x2922 ~x810 ~x3345 
2512.22/2519.63	v ~x3768 ~x1232 ~x1655 ~x2078 ~x379 ~x2500 ~x2923 ~x811 ~x3346 ~x3769 
2512.22/2519.63	v ~x1233 ~x1654 ~x2079 ~x378 ~x2501 ~x2924 ~x812 ~x3347 ~x3770 ~x1234 
2512.22/2519.63	v ~x1653 ~x2080 x377 ~x2502 ~x2925 ~x813 ~x3348 ~x3771 ~x1235 ~x1652 
2512.22/2519.63	v ~x2081 ~x376 ~x2503 ~x2926 ~x814 ~x3349 ~x3772 ~x1236 ~x1651 ~x2082 
2512.22/2519.63	v ~x375 ~x2504 ~x2927 ~x815 ~x3350 ~x3773 ~x1237 ~x1650 ~x2083 ~x374 
2512.22/2519.63	v ~x2505 ~x2928 ~x816 ~x3351 ~x3774 ~x1238 ~x1649 ~x2084 ~x415 ~x2506 
2512.22/2519.63	v ~x2929 ~x817 ~x3352 ~x3775 ~x1239 ~x1648 ~x2085 ~x414 ~x2507 ~x2930 
2512.22/2519.63	v ~x818 ~x3353 ~x3776 ~x1240 ~x1647 ~x2086 ~x413 ~x2508 ~x2931 ~x819 
2512.22/2519.63	v ~x3354 ~x3777 ~x1241 ~x1646 ~x2087 ~x412 ~x2509 ~x2932 ~x820 ~x3355 
2512.22/2519.63	v ~x3778 ~x1242 ~x1645 ~x2088 ~x411 ~x2510 ~x2933 ~x821 ~x3356 ~x3779 
2512.22/2519.63	v ~x1243 ~x1666 ~x2089 ~x410 ~x2511 ~x2934 ~x822 ~x3357 ~x3780 ~x1244 
2512.22/2519.63	v ~x1667 ~x2090 ~x409 ~x2512 ~x2935 ~x823 ~x3358 ~x3781 ~x1245 ~x1668 
2512.22/2519.63	v ~x2091 ~x408 ~x2513 ~x2936 ~x824 ~x3359 ~x3782 ~x1246 ~x1669 ~x2092 
2512.22/2519.63	v ~x407 ~x2514 ~x2937 ~x825 ~x3360 ~x3783 ~x1247 ~x1670 ~x2093 ~x406 
2512.22/2519.63	v ~x2515 ~x2938 ~x826 ~x3361 ~x3784 ~x1248 ~x1671 ~x2094 ~x405 ~x2516 
2512.22/2519.63	v ~x2939 ~x827 ~x3362 ~x3785 ~x1249 ~x1672 ~x2095 ~x404 ~x2517 ~x2940 
2512.22/2519.63	v ~x828 ~x3363 ~x3786 ~x1250 ~x1673 ~x2096 x403 ~x2518 ~x2941 ~x829 
2512.22/2519.63	v ~x3364 x3787 ~x1251 ~x1674 ~x2097 ~x402 ~x2519 ~x2942 ~x830 ~x3365 
2512.22/2519.63	v ~x3788 ~x1252 ~x1675 ~x2098 ~x401 ~x2520 ~x2943 ~x831 ~x3366 ~x3789 
2512.22/2519.63	v ~x1253 ~x1676 ~x2099 ~x400 ~x2521 ~x2944 ~x852 ~x3367 ~x3790 ~x1254 
2512.22/2519.63	v ~x1677 ~x2100 ~x399 ~x2522 ~x2945 ~x851 ~x3368 ~x3791 ~x1255 ~x1678 
2512.22/2519.63	v ~x2101 ~x398 ~x2523 ~x2946 ~x850 ~x3369 ~x3792 ~x1256 ~x1679 ~x2102 
2512.22/2519.63	v ~x397 ~x2524 ~x2947 ~x849 ~x3370 ~x3793 ~x1257 ~x1680 ~x2103 ~x396 
2512.22/2519.63	v ~x2525 ~x2948 ~x848 ~x3371 ~x3794 ~x1258 ~x1681 ~x2104 ~x395 ~x2526 
2512.22/2519.63	v ~x2949 ~x847 ~x3372 ~x3795 ~x1259 ~x1682 ~x2105 ~x436 ~x2527 x2950 
2512.22/2519.63	v ~x846 ~x3373 ~x3796 ~x1260 x1 ~x1683 ~x2106 ~x435 ~x2528 ~x2951 
2512.22/2519.63	v ~x845 ~x3374 ~x3797 ~x1261 ~x1684 ~x2107 ~x434 ~x2529 ~x2952 ~x844 
2512.22/2519.63	v ~x3375 ~x3798 ~x1262 ~x1685 ~x2108 ~x6 ~x433 ~x2530 ~x2953 ~x843 
2512.22/2519.63	v ~x3376 ~x3799 ~x1263 ~x1686 ~x2109 ~x5 ~x432 ~x2531 ~x2954 ~x842 
2512.22/2519.63	v ~x3377 ~x3800 ~x1264 ~x1687 ~x2110 ~x4 ~x431 ~x2532 ~x2955 ~x841 
2512.22/2519.63	v ~x3378 ~x3801 ~x1265 ~x1688 ~x2111 ~x3 ~x430 ~x2533 ~x2956 ~x840 
2512.22/2519.63	v ~x3379 ~x3802 ~x1266 x1689 ~x2112 x2 ~x429 ~x2534 ~x2957 x839 
2512.22/2519.63	v ~x3380 ~x3803 ~x1267 ~x1690 ~x2113 x11 ~x428 ~x2535 ~x2958 ~x838 
2512.22/2519.63	v ~x3381 ~x3804 ~x1268 ~x1691 ~x10 ~x427 ~x2536 ~x2959 ~x837 ~x3382 
2512.22/2519.63	v ~x3805 ~x1269 ~x1692 x9 ~x426 ~x2114 ~x2537 ~x2960 ~x836 ~x3383 
2512.22/2519.63	v ~x3806 ~x1270 ~x1693 x8 ~x425 ~x2115 ~x2538 ~x2961 ~x835 ~x3384 
2512.22/2519.63	v ~x3807 ~x1271 ~x1694 ~x7 ~x424 ~x2116 ~x2539 ~x2962 ~x834 ~x3385 
2512.22/2519.63	v ~x3808 ~x1272 ~x1695 ~x16 ~x423 ~x2117 ~x2540 ~x2963 ~x833 ~x3386 
2512.22/2519.63	v ~x3809 ~x1273 ~x1696 x15 ~x422 ~x2118 ~x2541 ~x2964 ~x832 ~x3387 
2512.22/2519.63	v ~x3810 ~x1274 ~x1697 ~x14 x421 ~x2119 ~x2542 ~x2965 ~x873 ~x3388 
2512.22/2519.63	v ~x3811 ~x1275 ~x1698 ~x13 ~x420 ~x2120 ~x2543 ~x2966 ~x872 ~x3389 
2512.22/2519.63	v ~x3812 ~x1276 ~x1699 ~x12 ~x419 ~x2121 ~x2544 ~x2967 x871 ~x3390 
2512.22/2519.63	v ~x3813 ~x1277 ~x1700 ~x418 ~x2122 ~x2545 ~x2968 ~x870 ~x3391 ~x3814 
2512.22/2519.63	v ~x1278 ~x1701 ~x417 ~x2123 ~x21 ~x2546 ~x2969 ~x869 ~x3392 ~x3815 
2512.22/2519.63	v ~x1279 ~x1702 ~x416 ~x2124 ~x20 ~x2547 ~x2970 ~x868 ~x3393 ~x3816 
2512.22/2519.64	v ~x1280 ~x1703 ~x457 ~x2125 ~x19 ~x2548 ~x2971 ~x867 ~x3394 ~x3817 
2512.22/2519.64	v ~x1281 ~x1704 ~x456 ~x2126 x18 ~x2549 ~x2972 ~x866 ~x3395 ~x3818 
2512.22/2519.64	v ~x1282 ~x1705 ~x455 ~x2127 ~x17 ~x2550 ~x2973 ~x865 ~x3396 ~x3819 
2512.22/2519.64	v ~x1283 ~x1706 ~x454 ~x2128 ~x26 ~x2551 ~x2974 ~x864 ~x3397 ~x3820 
2512.22/2519.64	v ~x1284 ~x1707 ~x453 ~x2129 x25 ~x2552 ~x2975 ~x863 ~x3398 ~x3821 
2512.22/2519.64	v ~x1285 ~x1708 ~x452 ~x2130 ~x24 ~x2553 ~x2976 ~x862 ~x3399 ~x3822 
2512.22/2519.64	v ~x1286 ~x1709 ~x451 ~x2131 ~x23 x2554 ~x2977 ~x861 ~x3400 ~x3823 
2512.22/2519.64	v ~x1287 ~x1710 ~x450 ~x2132 ~x22 ~x2555 ~x2978 ~x860 ~x3401 ~x3824 
2512.22/2519.64	v ~x1288 ~x1711 ~x449 ~x2133 ~x31 ~x2556 ~x2979 ~x859 ~x3402 ~x3825 
2512.22/2519.64	v ~x1289 ~x1712 ~x448 ~x2134 x30 ~x2557 ~x2980 ~x858 ~x3403 ~x3826 
2512.22/2519.64	v ~x1290 ~x1713 ~x447 ~x2135 x29 ~x2558 ~x2981 ~x857 ~x3404 ~x3827 
2512.22/2519.64	v ~x1291 ~x1714 ~x446 ~x2136 ~x28 ~x2559 ~x2982 ~x856 ~x3405 ~x3828 
2512.22/2519.64	v ~x1292 ~x1715 ~x445 ~x2137 ~x27 ~x2560 ~x2983 ~x855 ~x3406 ~x3829 
2512.22/2519.64	v ~x1293 ~x1716 ~x444 ~x2138 ~x2561 ~x2984 ~x854 ~x3407 ~x3830 ~x1294 
2512.22/2519.64	v ~x1717 ~x443 ~x2139 ~x2562 ~x2985 ~x36 ~x853 ~x3408 ~x3831 ~x1295 
2512.22/2519.64	v ~x1718 x442 ~x2140 ~x2563 ~x2986 x35 ~x894 ~x3409 ~x3832 ~x1296 
2512.22/2519.64	v ~x1719 ~x441 ~x2141 ~x2564 ~x2987 x34 ~x893 ~x3410 ~x3833 ~x1297 
2512.22/2519.64	v ~x1720 ~x440 ~x2142 ~x2565 ~x2988 ~x33 ~x892 ~x3411 ~x3834 ~x1298 
2512.22/2519.64	v ~x1721 ~x439 ~x2143 ~x2566 ~x2989 ~x32 ~x891 ~x3412 ~x3835 ~x1299 
2512.22/2519.64	v ~x1722 ~x438 ~x2144 ~x2567 ~x2990 x41 ~x890 ~x3413 ~x3836 ~x1300 
2512.22/2519.64	v ~x1723 ~x437 ~x2145 ~x2568 ~x2991 ~x40 ~x889 ~x3414 ~x3837 ~x1301 
2512.22/2519.64	v ~x1724 ~x478 ~x2146 ~x2569 ~x2992 x39 ~x888 ~x3415 ~x3838 ~x1302 
2512.22/2519.64	v ~x1725 ~x477 ~x2147 ~x2570 ~x2993 ~x38 ~x887 ~x3416 ~x3839 ~x1303 
2512.22/2519.64	v ~x1726 ~x476 ~x2148 ~x2571 ~x2994 ~x37 ~x886 ~x3417 ~x3840 ~x1304 
2512.22/2519.64	v ~x1727 ~x475 ~x2149 ~x2572 ~x2995 ~x46 ~x885 ~x3418 ~x3841 ~x1305 
2512.22/2519.64	v ~x1728 ~x474 ~x2150 ~x2573 ~x2996 ~x45 ~x884 ~x3419 ~x3842 ~x1306 
2512.22/2519.64	v ~x1729 ~x473 ~x2151 ~x2574 ~x2997 x44 ~x883 ~x3420 ~x3843 ~x1307 
2512.22/2519.64	v ~x1730 ~x472 ~x2152 ~x2575 ~x2998 ~x43 x882 ~x3421 ~x3844 ~x1308 
2512.22/2519.64	v ~x1731 ~x471 x2153 ~x2576 ~x2999 ~x42 ~x881 ~x3422 ~x3845 ~x1309 
2512.22/2519.64	v ~x1732 ~x470 ~x2154 ~x2577 ~x3000 x51 ~x880 ~x3423 ~x3846 ~x1310 
2512.22/2519.64	v ~x1733 ~x469 ~x2155 ~x2578 ~x3001 ~x50 ~x879 ~x3424 ~x3847 ~x1311 
2512.22/2519.64	v ~x1734 ~x468 ~x2156 ~x2579 ~x3002 x49 ~x878 ~x3425 ~x3848 ~x1312 
2512.22/2519.64	v ~x1735 ~x467 ~x2157 ~x2580 ~x3003 x48 ~x877 ~x3426 ~x3849 ~x1313 
2512.22/2519.64	v ~x1736 ~x466 ~x2158 ~x2581 ~x3004 ~x47 ~x876 ~x3427 ~x3850 ~x1314 
2512.22/2519.64	v ~x1737 ~x465 ~x2159 ~x2582 ~x3005 ~x56 ~x875 ~x3428 ~x3851 ~x1315 
2512.22/2519.64	v ~x1738 ~x464 ~x2160 ~x2583 ~x3006 x55 ~x874 ~x3429 ~x3852 ~x1316 
2512.22/2519.64	v ~x1739 ~x463 ~x2161 ~x2584 ~x3007 ~x54 ~x915 ~x3430 ~x3853 ~x1317 
2512.22/2519.64	v ~x1740 ~x462 ~x2162 ~x2585 ~x3008 ~x53 ~x914 ~x3431 ~x3854 ~x1318 
2512.22/2519.64	v ~x1741 ~x461 ~x2163 ~x2586 ~x3009 x52 ~x913 ~x3432 ~x3855 ~x1319 
2512.22/2519.64	v ~x1742 x460 ~x2164 ~x2587 ~x3010 x61 ~x912 ~x3433 ~x3856 ~x1320 
2512.22/2519.64	v ~x1743 ~x459 ~x2165 ~x2588 ~x3011 ~x60 ~x911 ~x3434 ~x3857 ~x1321 
2512.22/2519.64	v ~x1744 ~x458 ~x2166 ~x2589 ~x3012 ~x59 ~x910 ~x3435 ~x3858 ~x1322 
2512.22/2519.64	v ~x1745 ~x499 ~x2167 ~x2590 ~x3013 ~x58 x909 ~x3436 ~x3859 ~x1323 
2512.22/2519.64	v ~x1746 ~x498 ~x2168 ~x2591 ~x3014 x57 ~x908 ~x3437 ~x3860 ~x1324 
2512.22/2519.64	v ~x1747 ~x497 ~x2169 ~x2592 ~x3015 ~x66 ~x907 ~x3438 ~x3861 ~x1325 
2512.22/2519.64	v ~x1748 ~x496 ~x2170 ~x2593 ~x3016 x65 ~x906 ~x3439 ~x3862 ~x1326 
2512.22/2519.64	v ~x1749 ~x495 ~x2171 ~x2594 ~x3017 x64 ~x905 ~x3440 ~x3863 ~x1327 
2512.22/2519.64	v ~x1750 ~x494 ~x2172 ~x2595 ~x3018 x63 ~x904 ~x3441 ~x3864 ~x1328 
2512.22/2519.64	v ~x1751 ~x493 ~x2173 ~x2596 ~x3019 ~x62 ~x903 ~x3442 ~x3865 ~x1349 
2512.22/2519.64	v ~x1752 ~x492 ~x2174 ~x2597 ~x3020 ~x902 ~x3443 ~x3866 ~x1348 ~x1753 
2512.22/2519.64	v ~x491 ~x2175 ~x2598 ~x3021 ~x901 ~x3444 ~x3867 x71 ~x1347 ~x1754 
2512.22/2519.64	v ~x490 ~x2176 ~x2599 ~x3022 ~x900 ~x3445 ~x3868 ~x70 ~x1346 ~x1755 
2512.22/2519.64	v ~x489 ~x2177 ~x2600 ~x3023 ~x899 ~x3446 ~x3869 ~x69 ~x1345 ~x1756 
2512.22/2519.64	v ~x488 ~x2178 ~x2601 ~x3024 ~x898 ~x3447 ~x3870 ~x68 ~x1344 ~x1757 
2512.22/2519.64	v ~x487 ~x2179 ~x2602 ~x3025 ~x897 ~x3448 ~x3871 ~x67 ~x1343 ~x1758 
2512.22/2519.64	v ~x486 ~x2180 ~x2603 ~x3026 ~x896 ~x3449 ~x3872 ~x76 ~x1342 ~x1759 
2512.22/2519.64	v x485 ~x2181 ~x2604 ~x3027 ~x895 ~x3450 ~x3873 x75 ~x1341 ~x1760 
2512.22/2519.64	v ~x484 ~x2182 ~x2605 ~x3028 ~x936 ~x3451 ~x3874 ~x74 ~x1340 ~x1761 
2512.22/2519.64	v ~x483 ~x2183 ~x2606 ~x3029 ~x935 ~x3452 ~x3875 x73 ~x1339 ~x1762 
2512.22/2519.64	v ~x482 ~x2184 ~x2607 ~x3030 ~x934 ~x3453 ~x3876 ~x72 ~x1338 ~x1763 
2512.22/2519.64	v ~x481 ~x2185 ~x2608 ~x3031 ~x933 ~x3454 ~x3877 x81 ~x1337 ~x1764 
2512.22/2519.64	v ~x480 ~x2186 ~x2609 ~x3032 ~x932 ~x3455 ~x3878 ~x80 ~x1336 ~x1765 
2512.22/2519.64	v ~x479 ~x2187 ~x2610 ~x3033 ~x931 ~x3456 ~x3879 x79 x1335 ~x1766 
2512.22/2519.64	v ~x520 ~x2188 ~x2611 ~x3034 ~x930 ~x3457 ~x3880 ~x78 ~x1334 ~x1767 
2512.22/2519.64	v ~x519 ~x2189 ~x2612 ~x3035 ~x929 ~x3458 ~x3881 ~x77 ~x1333 ~x1768 
2512.22/2519.64	v ~x518 ~x2190 ~x2613 ~x3036 ~x928 ~x3459 ~x3882 ~x86 ~x1332 ~x1769 
2512.22/2519.64	v ~x517 ~x2191 ~x2614 ~x3037 ~x927 ~x3460 ~x3883 ~x85 ~x1331 ~x1770 
2512.22/2519.64	v ~x516 ~x2192 ~x2615 ~x3038 ~x926 ~x3461 ~x3884 x84 ~x1330 ~x1771 
2512.22/2519.64	v ~x515 ~x2193 ~x2616 ~x3039 ~x925 ~x3462 ~x3885 x83 ~x1329 ~x1772 
2512.22/2519.64	v ~x514 ~x2194 ~x2617 ~x3040 ~x924 ~x3463 ~x3886 ~x82 ~x1370 ~x1773 
2512.22/2519.64	v ~x513 ~x2215 ~x2618 ~x3041 ~x923 ~x3464 ~x3887 x91 ~x1369 ~x1774 
2512.22/2519.64	v ~x512 ~x2214 ~x2619 ~x3042 ~x922 ~x3465 ~x3888 x90 ~x1368 ~x1775 
2512.22/2519.64	v ~x511 x2213 ~x2620 ~x3043 ~x921 ~x3466 ~x3889 x89 ~x1367 ~x1796 
2512.22/2519.64	v ~x510 ~x2212 ~x2621 ~x3044 ~x920 ~x3467 ~x3890 x88 ~x1366 ~x1795 
2512.22/2519.64	v ~x509 ~x2211 ~x2622 ~x3045 ~x919 ~x3468 ~x3891 ~x87 ~x1365 ~x1794 
2512.22/2519.64	v ~x508 ~x2210 ~x2623 ~x3046 ~x918 ~x3469 ~x3892 ~x96 ~x1364 ~x1793 
2512.22/2519.64	v ~x507 ~x2209 ~x2624 ~x3047 ~x917 ~x3470 ~x3893 ~x95 x1363 ~x1792 
2512.22/2519.64	v x506 ~x2208 ~x2625 ~x3048 x916 ~x3471 ~x3894 ~x94 ~x1362 x1791 
2512.22/2519.64	v ~x505 ~x2207 ~x2626 ~x3049 ~x957 ~x3472 ~x3895 ~x93 ~x1361 ~x1790 
2512.22/2519.64	v ~x504 ~x2206 ~x2627 ~x3050 ~x956 ~x3473 ~x3896 ~x92 ~x1360 ~x1789 
2512.22/2519.64	v ~x503 ~x2205 ~x2628 ~x3051 ~x955 ~x3474 ~x3897 ~x101 ~x1359 ~x1788 
2512.22/2519.64	v ~x502 ~x2204 ~x2629 ~x3052 ~x954 ~x3475 ~x3898 ~x100 ~x1358 ~x1787 
2512.22/2519.64	v ~x501 ~x2203 ~x2630 ~x3053 ~x953 ~x3476 ~x3899 x99 ~x1357 ~x1786 
2512.22/2519.64	v ~x500 ~x2202 ~x2631 ~x3054 ~x952 ~x3477 ~x3900 x98 ~x1356 ~x1785 
2512.22/2519.64	v ~x541 ~x2201 ~x2632 ~x3055 ~x951 ~x3478 ~x3901 ~x97 ~x1355 ~x1784 
2512.22/2519.64	v ~x540 ~x2200 ~x2633 ~x3056 ~x950 ~x3479 ~x3902 ~x106 ~x1354 ~x1783 
2512.22/2519.64	v ~x539 ~x2199 ~x2634 ~x3057 ~x949 x3480 ~x3903 x105 ~x1353 ~x1782 
2512.22/2519.64	v ~x538 ~x2198 ~x2635 ~x3058 x948 ~x3481 ~x3904 ~x104 ~x1352 ~x1781 
2512.22/2519.64	v ~x537 ~x2197 ~x2636 ~x3059 ~x947 ~x3482 ~x3905 ~x103 ~x1351 ~x1780 
2512.22/2519.64	v ~x536 ~x2196 ~x2637 ~x3060 ~x946 ~x3483 ~x3906 x102 ~x1350 ~x1779 
2512.22/2519.64	v ~x535 ~x2195 ~x2638 ~x3061 ~x945 ~x3484 ~x3907 x111 ~x1391 ~x1778 
2512.22/2519.64	v ~x534 ~x2216 ~x2639 ~x3062 ~x944 ~x3485 ~x3908 x110 ~x1390 ~x1777 
2512.22/2519.64	v x533 ~x2217 ~x2640 ~x3063 ~x943 ~x3486 ~x3909 x109 ~x1389 ~x1776 
2512.22/2519.64	v ~x532 ~x2218 ~x2641 ~x3064 ~x942 ~x3487 ~x3910 ~x108 ~x1388 ~x1797 
2512.22/2519.64	v ~x531 ~x2219 ~x2642 ~x3065 ~x941 ~x3488 ~x3911 ~x107 ~x1387 ~x1798 
2512.22/2519.64	v ~x530 ~x2220 ~x2643 ~x3066 ~x940 ~x3489 ~x3912 x116 ~x1386 ~x1799 
2512.22/2519.64	v ~x529 ~x2221 ~x2644 ~x3067 ~x939 ~x3490 ~x3913 x115 ~x1385 ~x1800 
2512.22/2519.64	v ~x528 ~x2222 ~x2645 ~x3068 ~x938 ~x3491 ~x3914 x114 ~x1384 ~x1801 
2512.22/2519.64	v ~x527 ~x2223 ~x2646 ~x3069 ~x937 ~x3492 ~x3915 ~x113 ~x1383 ~x1802 
2512.22/2519.64	v ~x526 ~x2224 ~x2647 ~x3070 ~x978 ~x3493 ~x3916 ~x112 ~x1382 ~x1803 
2512.22/2519.64	v ~x525 ~x2225 ~x2648 ~x3071 ~x977 ~x3494 ~x3917 ~x121 ~x1381 ~x1804 
2512.22/2519.64	v ~x524 ~x2226 ~x2649 ~x3072 ~x976 ~x3495 ~x3918 ~x120 ~x1380 ~x1805 
2512.22/2519.64	v ~x523 ~x2227 ~x2650 ~x3073 ~x975 ~x3496 ~x3919 ~x119 ~x1379 ~x1806 
2512.22/2519.64	v ~x522 ~x2228 ~x2651 x3074 ~x974 ~x3497 ~x3920 ~x118 ~x1378 ~x1807 
2512.22/2519.64	v ~x521 ~x2229 ~x2652 ~x3075 ~x973 ~x3498 ~x3921 ~x117 ~x1377 ~x1808 
2512.22/2519.64	v ~x2230 ~x2653 ~x3076 ~x972 ~x3499 ~x3922 x126 ~x1376 ~x1809 ~x2231 
2512.22/2519.64	v ~x2654 ~x562 ~x3077 ~x971 ~x3500 ~x3923 x125 ~x1375 ~x1810 ~x2232 
2512.22/2519.64	v ~x2655 x561 ~x3078 ~x970 ~x3501 ~x3924 ~x124 x1374 ~x1811 ~x2233 
2512.22/2519.64	v ~x2656 ~x560 ~x3079 ~x969 ~x3502 ~x3925 ~x123 ~x1373 ~x1812 ~x2234 
2512.22/2519.64	v ~x2657 ~x559 ~x3080 ~x968 ~x3503 ~x3926 ~x122 ~x1372 ~x1813 ~x2235 
2512.22/2519.64	v ~x2658 ~x558 ~x3081 ~x967 ~x3504 ~x3927 x131 ~x1371 ~x1814 ~x2236 
2512.22/2519.64	v ~x2659 ~x557 ~x3082 ~x966 ~x3505 ~x3928 ~x130 ~x1412 ~x1815 ~x2237 
2512.22/2519.64	v ~x2660 ~x556 ~x3083 ~x965 ~x3506 ~x3929 ~x129 ~x1411 ~x1816 ~x2238 
2512.22/2519.64	v ~x2661 ~x555 ~x3084 ~x964 ~x3507 ~x3930 ~x128 ~x1410 ~x1817 ~x2239 
2512.22/2519.64	v ~x2662 ~x554 ~x3085 ~x963 ~x3508 ~x3931 x127 ~x1409 ~x1818 ~x2240 
2512.22/2519.64	v ~x2663 ~x553 ~x3086 ~x962 ~x3509 ~x3932 ~x1408 ~x1819 ~x2241 ~x2664 
2512.22/2519.64	v ~x552 ~x3087 ~x961 ~x3510 ~x3933 ~x1407 ~x136 ~x1820 ~x2242 ~x2665 
2512.22/2519.64	v ~x551 ~x3088 ~x960 ~x3511 ~x3934 ~x1406 ~x135 ~x1821 ~x2243 ~x2666 
2512.22/2519.64	v ~x550 ~x3089 x959 ~x3512 ~x3935 x1405 x134 ~x1822 ~x2244 ~x2667 
2512.22/2519.64	v ~x549 ~x3090 ~x958 ~x3513 ~x3936 ~x1404 x133 ~x1823 ~x2245 ~x2668 
2512.22/2519.64	v ~x548 ~x3091 ~x999 ~x3514 ~x3937 ~x1403 ~x132 ~x1824 ~x2246 ~x2669 
2512.22/2519.64	v ~x547 ~x3092 ~x998 ~x3515 ~x3938 ~x1402 ~x141 ~x1825 ~x2247 ~x2670 
2512.22/2519.64	v ~x546 ~x3093 ~x997 ~x3516 ~x3939 ~x1401 x140 ~x1826 ~x2248 ~x2671 
2512.22/2519.64	v ~x545 ~x3094 ~x996 ~x3517 ~x3940 ~x1400 x139 ~x1827 ~x2249 ~x2672 
2512.22/2519.64	v ~x544 ~x3095 ~x995 ~x3518 ~x3941 ~x1399 x138 ~x1828 ~x2250 ~x2673 
2512.22/2519.64	v ~x543 ~x3096 ~x994 ~x3519 ~x3942 ~x1398 ~x137 ~x1829 ~x2251 ~x2674 
2512.22/2519.64	v ~x542 ~x3097 ~x993 ~x3520 ~x3943 

OK	0

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: 63708 MiB (57928 MiB free)
  memory of node 1: 64465 MiB (45797 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4545229-1753232303/watcher-4545229-1753232303 -o /tmp/evaluation-result-4545229-1753232303/solver-4545229-1753232303 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1753225008-176020 --watchdog 3760 pb_picat HOME/instance-4545229-1753232303.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=176974, runsolver pid=176971

[startup+0.100066 s]*
/proc/loadavg: 4.15 4.10 4.09 5/265 176975
/proc/meminfo: memFree=106179076/131249996 swapFree=33010160/33010684
[pid=176974] ppid=176971 vsize=2027148 memory=36400 CPUtime=0.08 cores=0,2
/proc/176974/stat : 176974 (pb_picat) R 176971 176974 176010 0 -1 4194304 1032 0 0 0 8 0 0 0 20 0 1 0 238908924 2075799552 9100 18446744073709551615 94623934201856 94623935603437 140726653410608 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94623935874864 94623937749168 94623969792000 140726653417884 140726653417960 140726653417960 140726653423564 0
/proc/176974/statm: 506787 9100 1600 343 0 503851 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 36400 KiB

[startup+0.205601 s]*
/proc/loadavg: 4.15 4.10 4.09 5/265 176975
/proc/meminfo: memFree=106154500/131249996 swapFree=33010160/33010684
[pid=176974] ppid=176971 vsize=2027148 memory=54856 CPUtime=0.19 cores=0,2
/proc/176974/stat : 176974 (pb_picat) R 176971 176974 176010 0 -1 4194304 1047 0 0 0 18 1 0 0 20 0 1 0 238908924 2075799552 13714 18446744073709551615 94623934201856 94623935603437 140726653410608 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94623935874864 94623937749168 94623969792000 140726653417884 140726653417960 140726653417960 140726653423564 0
/proc/176974/statm: 506787 13714 1600 343 0 503851 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 54856 KiB

[startup+0.305516 s]*
/proc/loadavg: 4.15 4.10 4.09 5/265 176975
/proc/meminfo: memFree=106134020/131249996 swapFree=33010160/33010684
[pid=176974] ppid=176971 vsize=2027148 memory=69340 CPUtime=0.29 cores=0,2
/proc/176974/stat : 176974 (pb_picat) R 176971 176974 176010 0 -1 4194304 1096 0 0 0 28 1 0 0 20 0 1 0 238908924 2075799552 17335 18446744073709551615 94623934201856 94623935603437 140726653410608 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94623935874864 94623937749168 94623969792000 140726653417884 140726653417960 140726653417960 140726653423564 0
/proc/176974/statm: 506787 17335 1600 343 0 503851 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 69340 KiB

[startup+0.700165 s]
/proc/loadavg: 4.15 4.10 4.09 5/265 176975
/proc/meminfo: memFree=106097156/131249996 swapFree=33010160/33010684
[pid=176974] ppid=176971 vsize=2034756 memory=94112 CPUtime=0.67 cores=0,2
/proc/176974/stat : 176974 (pb_picat) R 176971 176974 176010 0 -1 4194304 2660 0 0 0 63 4 0 0 20 0 1 0 238908924 2083590144 23528 18446744073709551615 94623934201856 94623935603437 140726653410608 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94623935874864 94623937749168 94623969792000 140726653417884 140726653417960 140726653417960 140726653423564 0
/proc/176974/statm: 508689 23528 1728 343 0 505753 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 2034756 KiB
Current children cumulated memory: 94112 KiB

[startup+1.50015 s]
/proc/loadavg: 4.15 4.10 4.09 5/265 176975
/proc/meminfo: memFree=106052348/131249996 swapFree=33010160/33010684
[pid=176974] ppid=176971 vsize=2033864 memory=94912 CPUtime=1.48 cores=0,2
/proc/176974/stat : 176974 (pb_picat) R 176971 176974 176010 0 -1 4194304 3758 0 0 0 143 5 0 0 20 0 1 0 238908924 2082676736 23728 18446744073709551615 94623934201856 94623935603437 140726653410608 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94623935874864 94623937749168 94623969792000 140726653417884 140726653417960 140726653417960 140726653423564 0
/proc/176974/statm: 508466 23728 1728 343 0 505530 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2033864 KiB
Current children cumulated memory: 94912 KiB

[startup+3.10536 s]
/proc/loadavg: 4.15 4.10 4.09 5/265 176975
/proc/meminfo: memFree=105999104/131249996 swapFree=33010160/33010684
[pid=176974] ppid=176971 vsize=2034928 memory=95988 CPUtime=3.07 cores=0,2
/proc/176974/stat : 176974 (pb_picat) R 176971 176974 176010 0 -1 4194304 6592 0 0 0 302 5 0 0 20 0 1 0 238908924 2083766272 23997 18446744073709551615 94623934201856 94623935603437 140726653410608 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94623935874864 94623937749168 94623969792000 140726653417884 140726653417960 140726653417960 140726653423564 0
/proc/176974/statm: 508732 23997 1728 343 0 505796 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 2034928 KiB
Current children cumulated memory: 95988 KiB

[startup+6.30016 s]
/proc/loadavg: 4.14 4.10 4.09 5/265 176975
/proc/meminfo: memFree=105805048/131249996 swapFree=33010160/33010684
[pid=176974] ppid=176971 vsize=2042424 memory=100892 CPUtime=6.26 cores=0,2
/proc/176974/stat : 176974 (pb_picat) R 176971 176974 176010 0 -1 4194304 13399 0 0 0 618 8 0 0 20 0 1 0 238908924 2091442176 25223 18446744073709551615 94623934201856 94623935603437 140726653410608 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94623935874864 94623937749168 94623969792000 140726653417884 140726653417960 140726653417960 140726653423564 0
/proc/176974/statm: 510606 25223 1728 343 0 507670 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2042424 KiB
Current children cumulated memory: 100892 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.10 4.09 5/265 176975
/proc/meminfo: memFree=105470916/131249996 swapFree=33010160/33010684
[pid=176974] ppid=176971 vsize=2042424 memory=102636 CPUtime=12.64 cores=0,2
/proc/176974/stat : 176974 (pb_picat) R 176971 176974 176010 0 -1 4194304 27835 0 0 0 1252 12 0 0 20 0 1 0 238908924 2091442176 25659 18446744073709551615 94623934201856 94623935603437 140726653410608 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94623935874864 94623937749168 94623969792000 140726653417884 140726653417960 140726653417960 140726653423564 0
/proc/176974/statm: 510606 25659 1728 343 0 507670 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2042424 KiB
Current children cumulated memory: 102636 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.10 4.09 5/265 176975
/proc/meminfo: memFree=104778636/131249996 swapFree=33010160/33010684
[pid=176974] ppid=176971 vsize=2051664 memory=108432 CPUtime=25.41 cores=0,2
/proc/176974/stat : 176974 (pb_picat) R 176971 176974 176010 0 -1 4194304 57321 0 0 0 2521 20 0 0 20 0 1 0 238908924 2100903936 27108 18446744073709551615 94623934201856 94623935603437 140726653410608 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94623935874864 94623937749168 94623969792000 140726653417884 140726653417960 140726653417960 140726653423564 0
/proc/176974/statm: 512916 27108 1728 343 0 509980 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2051664 KiB
Current children cumulated memory: 108432 KiB

[startup+51.1054 s]
/proc/loadavg: 4.13 4.10 4.09 5/265 176977
/proc/meminfo: memFree=103253736/131249996 swapFree=33010160/33010684
[pid=176974] ppid=176971 vsize=2053348 memory=113196 CPUtime=50.95 cores=0,2
/proc/176974/stat : 176974 (pb_picat) R 176971 176974 176010 0 -1 4194304 110016 0 0 0 5063 32 0 0 20 0 1 0 238908924 2102628352 28299 18446744073709551615 94623934201856 94623935603437 140726653410608 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94623935874864 94623937749168 94623969792000 140726653417884 140726653417960 140726653417960 140726653423564 0
/proc/176974/statm: 513337 28299 1728 343 0 510401 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2053348 KiB
Current children cumulated memory: 113196 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.12 4.10 5/265 176979
/proc/meminfo: memFree=101209712/131249996 swapFree=33010160/33010684
[pid=176974] ppid=176971 vsize=2072376 memory=124816 CPUtime=101.99 cores=0,2
/proc/176974/stat : 176974 (pb_picat) R 176971 176974 176010 0 -1 4194304 232749 0 0 0 10131 68 0 0 20 0 1 0 238908924 2122113024 31204 18446744073709551615 94623934201856 94623935603437 140726653410608 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94623935874864 94623937749168 94623969792000 140726653417884 140726653417960 140726653417960 140726653423564 0
/proc/176974/statm: 518094 31204 1728 343 0 515158 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 2072376 KiB
Current children cumulated memory: 124816 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 176996
/proc/meminfo: memFree=101028116/131249996 swapFree=33010160/33010684
[pid=176974] ppid=176971 vsize=2057060 memory=116032 CPUtime=161.82 cores=0,2
/proc/176974/stat : 176974 (pb_picat) R 176971 176974 176010 0 -1 4194304 375978 0 0 0 16070 112 0 0 20 0 1 0 238908924 2106429440 29008 18446744073709551615 94623934201856 94623935603437 140726653410608 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94623935874864 94623937749168 94623969792000 140726653417884 140726653417960 140726653417960 140726653423564 0
/proc/176974/statm: 514265 29008 1728 343 0 511329 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 2057060 KiB
Current children cumulated memory: 116032 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 176998
/proc/meminfo: memFree=101005216/131249996 swapFree=33010160/33010684
[pid=176974] ppid=176971 vsize=2057040 memory=116724 CPUtime=221.65 cores=0,2
/proc/176974/stat : 176974 (pb_picat) R 176971 176974 176010 0 -1 4194304 496569 0 0 0 22011 154 0 0 20 0 1 0 238908924 2106408960 29181 18446744073709551615 94623934201856 94623935603437 140726653410608 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94623935874864 94623937749168 94623969792000 140726653417884 140726653417960 140726653417960 140726653423564 0
/proc/176974/statm: 514260 29181 1728 343 0 511324 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 2057040 KiB
Current children cumulated memory: 116724 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 177001
/proc/meminfo: memFree=101013868/131249996 swapFree=33010160/33010684
[pid=176974] ppid=176971 vsize=2077520 memory=133484 CPUtime=281.48 cores=0,2
/proc/176974/stat : 176974 (pb_picat) R 176971 176974 176010 0 -1 4194304 624478 0 0 0 27949 199 0 0 20 0 1 0 238908924 2127380480 33371 18446744073709551615 94623934201856 94623935603437 140726653410608 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94623935874864 94623937749168 94623969792000 140726653417884 140726653417960 140726653417960 140726653423564 0
/proc/176974/statm: 519380 33371 1728 343 0 516444 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 2077520 KiB
Current children cumulated memory: 133484 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/265 177003
/proc/meminfo: memFree=100947384/131249996 swapFree=33010160/33010684
[pid=176974] ppid=176971 vsize=2057040 memory=112032 CPUtime=341.31 cores=0,2
/proc/176974/stat : 176974 (pb_picat) R 176971 176974 176010 0 -1 4194304 739323 0 0 0 33895 236 0 0 20 0 1 0 238908924 2106408960 28008 18446744073709551615 94623934201856 94623935603437 140726653410608 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94623935874864 94623937749168 94623969792000 140726653417884 140726653417960 140726653417960 140726653423564 0
/proc/176974/statm: 514260 28008 1728 343 0 511324 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 2057040 KiB
Current children cumulated memory: 112032 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/266 177009
/proc/meminfo: memFree=100799972/131249996 swapFree=33010160/33010684
[pid=176974] ppid=176971 vsize=2057040 memory=114256 CPUtime=401.14 cores=0,2
/proc/176974/stat : 176974 (pb_picat) R 176971 176974 176010 0 -1 4194304 829079 0 0 0 39847 267 0 0 20 0 1 0 238908924 2106408960 28564 18446744073709551615 94623934201856 94623935603437 140726653410608 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94623935874864 94623937749168 94623969792000 140726653417884 140726653417960 140726653417960 140726653423564 0
/proc/176974/statm: 514260 28564 1728 343 0 511324 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 2057040 KiB
Current children cumulated memory: 114256 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/266 177015
/proc/meminfo: memFree=100707532/131249996 swapFree=33010160/33010684
[pid=176974] ppid=176971 vsize=2073424 memory=120236 CPUtime=460.96 cores=0,2
/proc/176974/stat : 176974 (pb_picat) R 176971 176974 176010 0 -1 4194304 930471 0 0 0 45796 300 0 0 20 0 1 0 238908924 2123186176 30059 18446744073709551615 94623934201856 94623935603437 140726653410608 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94623935874864 94623937749168 94623969792000 140726653417884 140726653417960 140726653417960 140726653423564 0
/proc/176974/statm: 518356 30059 1728 343 0 515420 0
Current children cumulated CPU time: 460.96 s

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

/proc/loadavg: 4.19 4.11 4.10 5/265 177136
/proc/meminfo: memFree=101376928/131249996 swapFree=33010160/33010684
[pid=176974] ppid=176971 vsize=2092308 memory=140104 CPUtime=2016.38 cores=0,2
/proc/176974/stat : 176974 (pb_picat) R 176971 176974 176010 0 -1 4194304 2924933 0 0 0 200663 975 0 0 20 0 1 0 238908924 2142523392 35026 18446744073709551615 94623934201856 94623935603437 140726653410608 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94623935874864 94623937749168 94623969792000 140726653417884 140726653417960 140726653417960 140726653423564 0
/proc/176974/statm: 523077 35026 1728 343 0 520141 0
Current children cumulated CPU time: 2016.38 s
Current children cumulated vsize: 2092308 KiB
Current children cumulated memory: 140104 KiB

[startup+2082.3 s]
/proc/loadavg: 4.32 4.18 4.12 5/265 177138
/proc/meminfo: memFree=100324676/131249996 swapFree=33010160/33010684
[pid=176974] ppid=176971 vsize=2112788 memory=145952 CPUtime=2076.21 cores=0,2
/proc/176974/stat : 176974 (pb_picat) R 176971 176974 176010 0 -1 4194304 2965313 0 0 0 206627 994 0 0 20 0 1 0 238908924 2163494912 36488 18446744073709551615 94623934201856 94623935603437 140726653410608 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94623935874864 94623937749168 94623969792000 140726653417884 140726653417960 140726653417960 140726653423564 0
/proc/176974/statm: 528197 36488 1728 343 0 525261 0
Current children cumulated CPU time: 2076.21 s
Current children cumulated vsize: 2112788 KiB
Current children cumulated memory: 145952 KiB

[startup+2142.3 s]
/proc/loadavg: 4.16 4.16 4.11 5/264 177140
/proc/meminfo: memFree=100334200/131249996 swapFree=33010160/33010684
[pid=176974] ppid=176971 vsize=2125076 memory=154440 CPUtime=2136.03 cores=0,2
/proc/176974/stat : 176974 (pb_picat) R 176971 176974 176010 0 -1 4194304 3026148 0 0 0 212584 1019 0 0 20 0 1 0 238908924 2176077824 38610 18446744073709551615 94623934201856 94623935603437 140726653410608 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94623935874864 94623937749168 94623969792000 140726653417884 140726653417960 140726653417960 140726653423564 0
/proc/176974/statm: 531269 38610 1728 343 0 528333 0
Current children cumulated CPU time: 2136.03 s
Current children cumulated vsize: 2125076 KiB
Current children cumulated memory: 154440 KiB

[startup+2202.3 s]
/proc/loadavg: 4.09 4.14 4.11 5/265 177145
/proc/meminfo: memFree=100320664/131249996 swapFree=33010160/33010684
[pid=176974] ppid=176971 vsize=2125076 memory=156488 CPUtime=2195.86 cores=0,2
/proc/176974/stat : 176974 (pb_picat) R 176971 176974 176010 0 -1 4194304 3088264 0 0 0 218539 1047 0 0 20 0 1 0 238908924 2176077824 39122 18446744073709551615 94623934201856 94623935603437 140726653410608 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94623935874864 94623937749168 94623969792000 140726653417884 140726653417960 140726653417960 140726653423564 0
/proc/176974/statm: 531269 39122 1728 343 0 528333 0
Current children cumulated CPU time: 2195.86 s
Current children cumulated vsize: 2125076 KiB
Current children cumulated memory: 156488 KiB

[startup+2262.3 s]
/proc/loadavg: 4.48 4.23 4.14 5/265 177152
/proc/meminfo: memFree=100297692/131249996 swapFree=33010160/33010684
[pid=176974] ppid=176971 vsize=2116884 memory=154440 CPUtime=2255.68 cores=0,2
/proc/176974/stat : 176974 (pb_picat) R 176971 176974 176010 0 -1 4194304 3148065 0 0 0 224494 1074 0 0 20 0 1 0 238908924 2167689216 38610 18446744073709551615 94623934201856 94623935603437 140726653410608 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94623935874864 94623937749168 94623969792000 140726653417884 140726653417960 140726653417960 140726653423564 0
/proc/176974/statm: 529221 38610 1728 343 0 526285 0
Current children cumulated CPU time: 2255.68 s
Current children cumulated vsize: 2116884 KiB
Current children cumulated memory: 154440 KiB

[startup+2322.3 s]
/proc/loadavg: 4.29 4.21 4.14 5/265 177154
/proc/meminfo: memFree=100469744/131249996 swapFree=33010160/33010684
[pid=176974] ppid=176971 vsize=2125076 memory=170824 CPUtime=2315.49 cores=0,2
/proc/176974/stat : 176974 (pb_picat) R 176971 176974 176010 0 -1 4194304 3175631 0 0 0 230464 1085 0 0 20 0 1 0 238908924 2176077824 42706 18446744073709551615 94623934201856 94623935603437 140726653410608 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94623935874864 94623937749168 94623969792000 140726653417884 140726653417960 140726653417960 140726653423564 0
/proc/176974/statm: 531269 42706 1728 343 0 528333 0
Current children cumulated CPU time: 2315.49 s
Current children cumulated vsize: 2125076 KiB
Current children cumulated memory: 170824 KiB

[startup+2382.3 s]
/proc/loadavg: 4.17 4.19 4.13 5/265 177157
/proc/meminfo: memFree=100481780/131249996 swapFree=33010160/33010684
[pid=176974] ppid=176971 vsize=2092308 memory=133960 CPUtime=2375.32 cores=0,2
/proc/176974/stat : 176974 (pb_picat) R 176971 176974 176010 0 -1 4194304 3202931 0 0 0 236432 1100 0 0 20 0 1 0 238908924 2142523392 33490 18446744073709551615 94623934201856 94623935603437 140726653410608 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94623935874864 94623937749168 94623969792000 140726653417884 140726653417960 140726653417960 140726653423564 0
/proc/176974/statm: 523077 33490 1728 343 0 520141 0
Current children cumulated CPU time: 2375.32 s
Current children cumulated vsize: 2092308 KiB
Current children cumulated memory: 133960 KiB

[startup+2442.3 s]
/proc/loadavg: 4.06 4.15 4.12 5/265 177159
/proc/meminfo: memFree=101943912/131249996 swapFree=33010160/33010684
[pid=176974] ppid=176971 vsize=2086108 memory=133904 CPUtime=2435.14 cores=0,2
/proc/176974/stat : 176974 (pb_picat) R 176971 176974 176010 0 -1 4194304 3233760 0 0 0 242399 1115 0 0 20 0 1 0 238908924 2136174592 33476 18446744073709551615 94623934201856 94623935603437 140726653410608 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94623935874864 94623937749168 94623969792000 140726653417884 140726653417960 140726653417960 140726653423564 0
/proc/176974/statm: 521527 33476 1728 343 0 518591 0
Current children cumulated CPU time: 2435.14 s
Current children cumulated vsize: 2086108 KiB
Current children cumulated memory: 133904 KiB

[startup+2502.3 s]
/proc/loadavg: 4.12 4.15 4.12 5/264 177161
/proc/meminfo: memFree=101376324/131249996 swapFree=33010160/33010684
[pid=176974] ppid=176971 vsize=2127068 memory=160528 CPUtime=2494.96 cores=0,2
/proc/176974/stat : 176974 (pb_picat) R 176971 176974 176010 0 -1 4194304 3279204 0 0 0 248360 1136 0 0 20 0 1 0 238908924 2178117632 40132 18446744073709551615 94623934201856 94623935603437 140726653410608 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94623935874864 94623937749168 94623969792000 140726653417884 140726653417960 140726653417960 140726653423564 0
/proc/176974/statm: 531767 40132 1728 343 0 528831 0
Current children cumulated CPU time: 2494.96 s
Current children cumulated vsize: 2127068 KiB
Current children cumulated memory: 160528 KiB

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

# cumulated CPU time of all completed processes:  user=2500.83 s, system=11.439 s

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

[startup+2508.8 s]
/proc/loadavg: 4.11 4.15 4.12 5/264 177161
/proc/meminfo: memFree=101220900/131249996 swapFree=33010160/33010684
[pid=176974] ppid=176971 vsize=2127068 memory=162576 CPUtime=2501.44 cores=0,2
/proc/176974/stat : 176974 (pb_picat) R 176971 176974 176010 0 -1 4194304 3286264 0 0 0 249005 1139 0 0 20 0 1 0 238908924 2178117632 40644 18446744073709551615 94623934201856 94623935603437 140726653410608 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94623935874864 94623937749168 94623969792000 140726653417884 140726653417960 140726653417960 140726653423564 0
/proc/176974/statm: 531767 40644 1728 343 0 528831 0
Current children cumulated CPU time: 2501.44 s
Current children cumulated vsize: 2127068 KiB
Current children cumulated memory: 162576 KiB

[startup+2515.2 s]
/proc/loadavg: 4.09 4.14 4.12 5/264 177161
/proc/meminfo: memFree=100944320/131249996 swapFree=33010160/33010684
[pid=176974] ppid=176971 vsize=2118876 memory=157840 CPUtime=2507.83 cores=0,2
/proc/176974/stat : 176974 (pb_picat) R 176971 176974 176010 0 -1 4194304 3291423 0 0 0 249642 1141 0 0 20 0 1 0 238908924 2169729024 39460 18446744073709551615 94623934201856 94623935603437 140726653410608 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94623935874864 94623937749168 94623969792000 140726653417884 140726653417960 140726653417960 140726653423564 0
/proc/176974/statm: 529719 39460 1728 343 0 526783 0
Current children cumulated CPU time: 2507.83 s
Current children cumulated vsize: 2118876 KiB
Current children cumulated memory: 157840 KiB

[startup+2516.8 s]
/proc/loadavg: 4.09 4.14 4.12 5/264 177161
/proc/meminfo: memFree=100944548/131249996 swapFree=33010160/33010684
[pid=176974] ppid=176971 vsize=2127068 memory=162576 CPUtime=2509.43 cores=0,2
/proc/176974/stat : 176974 (pb_picat) R 176971 176974 176010 0 -1 4194304 3292154 0 0 0 249801 1142 0 0 20 0 1 0 238908924 2178117632 40644 18446744073709551615 94623934201856 94623935603437 140726653410608 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94623935874864 94623937749168 94623969792000 140726653417884 140726653417960 140726653417960 140726653423564 0
/proc/176974/statm: 531767 40644 1728 343 0 528831 0
Current children cumulated CPU time: 2509.43 s
Current children cumulated vsize: 2127068 KiB
Current children cumulated memory: 162576 KiB

[startup+2518.4 s]
/proc/loadavg: 4.09 4.14 4.12 5/264 177161
/proc/meminfo: memFree=101061328/131249996 swapFree=33010160/33010684
[pid=176974] ppid=176971 vsize=2118876 memory=156432 CPUtime=2511.02 cores=0,2
/proc/176974/stat : 176974 (pb_picat) R 176971 176974 176010 0 -1 4194304 3293420 0 0 0 249960 1142 0 0 20 0 1 0 238908924 2169729024 39108 18446744073709551615 94623934201856 94623935603437 140726653410608 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94623935874864 94623937749168 94623969792000 140726653417884 140726653417960 140726653417960 140726653423564 0
/proc/176974/statm: 529719 39108 1728 343 0 526783 0
Current children cumulated CPU time: 2511.02 s
Current children cumulated vsize: 2118876 KiB
Current children cumulated memory: 156432 KiB

[startup+2519.2 s]
/proc/loadavg: 4.09 4.14 4.12 5/264 177161
/proc/meminfo: memFree=101061076/131249996 swapFree=33010160/33010684
[pid=176974] ppid=176971 vsize=2127068 memory=160528 CPUtime=2511.81 cores=0,2
/proc/176974/stat : 176974 (pb_picat) R 176971 176974 176010 0 -1 4194304 3294509 0 0 0 250039 1142 0 0 20 0 1 0 238908924 2178117632 40132 18446744073709551615 94623934201856 94623935603437 140726653410608 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94623935874864 94623937749168 94623969792000 140726653417884 140726653417960 140726653417960 140726653423564 0
/proc/176974/statm: 531767 40132 1728 343 0 528831 0
Current children cumulated CPU time: 2511.81 s
Current children cumulated vsize: 2127068 KiB
Current children cumulated memory: 160528 KiB

[startup+2519.6 s]
/proc/loadavg: 4.09 4.14 4.12 5/264 177161
/proc/meminfo: memFree=101061076/131249996 swapFree=33010160/33010684
[pid=176974] ppid=176971 vsize=2127068 memory=160528 CPUtime=2512.22 cores=0,2
/proc/176974/stat : 176974 (pb_picat) R 176971 176974 176010 0 -1 4194304 3295097 0 0 0 250079 1143 0 0 20 0 1 0 238908924 2178117632 40132 18446744073709551615 94623934201856 94623935603437 140726653410608 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94623935874864 94623937749168 94623969792000 140726653417884 140726653417960 140726653417960 140726653423564 0
/proc/176974/statm: 531767 40132 1728 343 0 528831 0
Current children cumulated CPU time: 2512.22 s
Current children cumulated vsize: 2127068 KiB
Current children cumulated memory: 160528 KiB

Child status: 0

Real time (s): 2519.65
CPU time (s): 2512.27
CPU user time (s): 2500.83
CPU system time (s): 11.439
CPU usage (%): 99.7073
Max. virtual memory (cumulated for all children) (KiB): 2143452
Max. memory (cumulated for all children) (KiB): 170824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2500.83
system time used= 11.439
maximum resident set size= 173048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3295121
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= 5558


# summary of solver processes directly reported to runsolver:
#   pid: 176974
#   total CPU time (s): 2512.27
#   total CPU user time (s): 2500.83
#   total CPU system time (s): 11.439

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.61078 second user time and 10.3277 second system time

The end

Begin job on nodeC032 at 2025-07-23 02:58:23
IDJOB=4545229
IDBENCH=180780
IDSOLVER=3346
FILE ID=nodeC032/4545229-1753232303
RUNJOBID= nodeC032-1753225008-176020
SLURM_JOB_ID= 9687838
Free space on /tmp= 432512 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB25/normalized-PB25/DEC-LIN/wallon/normalized-FRB-45-21-3-mgd_c18.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4545229-1753232303/watcher-4545229-1753232303 -o /tmp/evaluation-result-4545229-1753232303/solver-4545229-1753232303 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1753225008-176020 --watchdog 3760  pb_picat HOME/instance-4545229-1753232303.opb

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

MD5SUM BENCH= 6b2fe99dba414b0499b72921573350a8
RANDOM SEED=1571306526

nodeC032 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		: 3601.528
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.69
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.852
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.69
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		: 3599.552
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.69
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.642
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.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.887
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.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.835
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.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.027
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.69
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		: 3570.945
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.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        106220400 kB
MemAvailable:   118329536 kB
Buffers:            2728 kB
Cached:         12788356 kB
SwapCached:           20 kB
Active:         12508340 kB
Inactive:       11657684 kB
Active(anon):   11398056 kB
Inactive(anon):     3124 kB
Active(file):    1110284 kB
Inactive(file): 11654560 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              4864 kB
Writeback:            12 kB
AnonPages:      11374928 kB
Mapped:           119100 kB
Shmem:             26240 kB
KReclaimable:     367064 kB
Slab:             465896 kB
SReclaimable:     367064 kB
SUnreclaim:        98832 kB
KernelStack:        4304 kB
PageTables:        25364 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   16709668 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   9981952 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:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432536 MiB
End job on nodeC032 at 2025-07-23 03:40:23