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

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: 63665 MiB (61020 MiB free)
  memory of node 1: 64507 MiB (63990 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4527983-1752245169/watcher-4527983-1752245169 -o /tmp/evaluation-result-4527983-1752245169/solver-4527983-1752245169 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1752245169-110054 --watchdog 3760 pb_picat HOME/instance-4527983-1752245169.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=110110, runsolver pid=110099

[startup+0.100061 s]*
/proc/loadavg: 3.80 4.08 4.09 5/264 110111
/proc/meminfo: memFree=127919896/131250000 swapFree=33010416/33010684
[pid=110110] ppid=110099 vsize=2029320 memory=34784 CPUtime=0.09 cores=1,3
/proc/110110/stat : 110110 (pb_picat) R 110099 110110 110042 0 -1 4194304 1681 0 0 0 8 1 0 0 20 0 1 0 140196763 2078023680 8696 18446744073709551615 94822697639936 94822699041517 140725450036416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94822699312944 94822701187184 94822725644288 140725450041756 140725450041832 140725450041832 140725450047436 0
/proc/110110/statm: 507330 8696 1664 343 0 504394 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2029320 KiB
Current children cumulated memory: 34784 KiB

[startup+0.205001 s]*
/proc/loadavg: 3.80 4.08 4.09 5/264 110111
/proc/meminfo: memFree=127904396/131250000 swapFree=33010416/33010684
[pid=110110] ppid=110099 vsize=2029324 memory=34800 CPUtime=0.19 cores=1,3
/proc/110110/stat : 110110 (pb_picat) R 110099 110110 110042 0 -1 4194304 2604 0 0 0 18 1 0 0 20 0 1 0 140196763 2078027776 8700 18446744073709551615 94822697639936 94822699041517 140725450036416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94822699312944 94822701187184 94822725644288 140725450041756 140725450041832 140725450041832 140725450047436 0
/proc/110110/statm: 507331 8700 1664 343 0 504395 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2029324 KiB
Current children cumulated memory: 34800 KiB

[startup+0.304567 s]*
/proc/loadavg: 3.80 4.08 4.09 5/264 110111
/proc/meminfo: memFree=127902380/131250000 swapFree=33010416/33010684
[pid=110110] ppid=110099 vsize=2030604 memory=35312 CPUtime=0.29 cores=1,3
/proc/110110/stat : 110110 (pb_picat) R 110099 110110 110042 0 -1 4194304 2737 0 0 0 28 1 0 0 20 0 1 0 140196763 2079338496 8828 18446744073709551615 94822697639936 94822699041517 140725450036416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94822699312944 94822701187184 94822725644288 140725450041756 140725450041832 140725450041832 140725450047436 0
/proc/110110/statm: 507651 8828 1664 343 0 504715 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2030604 KiB
Current children cumulated memory: 35312 KiB

[startup+0.700116 s]
/proc/loadavg: 3.80 4.08 4.09 5/264 110111
/proc/meminfo: memFree=127902380/131250000 swapFree=33010416/33010684
[pid=110110] ppid=110099 vsize=2035212 memory=38512 CPUtime=0.68 cores=1,3
/proc/110110/stat : 110110 (pb_picat) R 110099 110110 110042 0 -1 4194304 4665 0 0 0 67 1 0 0 20 0 1 0 140196763 2084057088 9628 18446744073709551615 94822697639936 94822699041517 140725450036416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94822699312944 94822701187184 94822725644288 140725450041756 140725450041832 140725450041832 140725450047436 0
/proc/110110/statm: 508803 9628 1664 343 0 505867 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2035212 KiB
Current children cumulated memory: 38512 KiB

[startup+1.50011 s]
/proc/loadavg: 3.80 4.08 4.09 5/264 110111
/proc/meminfo: memFree=127902380/131250000 swapFree=33010416/33010684
[pid=110110] ppid=110099 vsize=2032140 memory=36888 CPUtime=1.48 cores=1,3
/proc/110110/stat : 110110 (pb_picat) R 110099 110110 110042 0 -1 4194304 6762 0 0 0 146 2 0 0 20 0 1 0 140196763 2080911360 9222 18446744073709551615 94822697639936 94822699041517 140725450036416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94822699312944 94822701187184 94822725644288 140725450041756 140725450041832 140725450041832 140725450047436 0
/proc/110110/statm: 508035 9222 1664 343 0 505099 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2032140 KiB
Current children cumulated memory: 36888 KiB

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

# cumulated CPU time of all completed processes:  user=1.65003 s, system=0.028925 s

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

[startup+1.60012 s]
/proc/loadavg: 3.80 4.08 4.09 5/264 110111
/proc/meminfo: memFree=127902380/131250000 swapFree=33010416/33010684
[pid=110110] ppid=110099 vsize=2032140 memory=36828 CPUtime=1.58 cores=1,3
/proc/110110/stat : 110110 (pb_picat) R 110099 110110 110042 0 -1 4194304 6954 0 0 0 156 2 0 0 20 0 1 0 140196763 2080911360 9207 18446744073709551615 94822697639936 94822699041517 140725450036416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94822699312944 94822701187184 94822725644288 140725450041756 140725450041832 140725450041832 140725450047436 0
/proc/110110/statm: 508035 9207 1664 343 0 505099 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 2032140 KiB
Current children cumulated memory: 36828 KiB

Child status: 0

Real time (s): 1.69084
CPU time (s): 1.67895
CPU user time (s): 1.65003
CPU system time (s): 0.028925
CPU usage (%): 99.2969
Max. virtual memory (cumulated for all children) (KiB): 2036236
Max. memory (cumulated for all children) (KiB): 39588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.65003
system time used= 0.028925
maximum resident set size= 39972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7122
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= 4


# summary of solver processes directly reported to runsolver:
#   pid: 110110
#   total CPU time (s): 1.67895
#   total CPU user time (s): 1.65003
#   total CPU system time (s): 0.028925

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.013942 second user time and 0.036205 second system time

The end

Begin job on nodeC027 at 2025-07-11 16:46:09
IDJOB=4527983
IDBENCH=158373
IDSOLVER=3385
FILE ID=nodeC027/4527983-1752245169
RUNJOBID= nodeC027-1752245169-110054
SLURM_JOB_ID= 9682567
Free space on /tmp= 431180 MiB

SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K75.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4527983-1752245169/watcher-4527983-1752245169 -o /tmp/evaluation-result-4527983-1752245169/solver-4527983-1752245169 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1752245169-110054 --watchdog 3760  pb_picat HOME/instance-4527983-1752245169.opb

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

MD5SUM BENCH= 20bd7084da444bf6829119f4b61cf926
RANDOM SEED=1561136521

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.974
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.29
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.604
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.29
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.846
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.29
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.777
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.29
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.515
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.29
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.660
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.29
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		: 3599.760
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.29
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		: 3598.817
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.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128046016 kB
MemAvailable:   129755760 kB
Buffers:            2488 kB
Cached:          2502500 kB
SwapCached:           12 kB
Active:           636408 kB
Inactive:        1942016 kB
Active(anon):      88700 kB
Inactive(anon):     2792 kB
Active(file):     547708 kB
Inactive(file):  1939224 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             15816 kB
Writeback:             4 kB
AnonPages:         76584 kB
Mapped:           105820 kB
Shmem:             18056 kB
KReclaimable:     123704 kB
Slab:             216128 kB
SReclaimable:     123704 kB
SUnreclaim:        92424 kB
KernelStack:        4064 kB
PageTables:         2860 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     341784 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150408 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 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:     9005056 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431168 MiB
End job on nodeC027 at 2025-07-11 16:46:11