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

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: 63931 MiB (60242 MiB free)
  memory of node 1: 64510 MiB (60168 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447342-1721334810/watcher-4447342-1721334810 -o /tmp/evaluation-result-4447342-1721334810/solver-4447342-1721334810 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721329244-992563 --watchdog 3760 pb_picat HOME/instance-4447342-1721334810.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=996711, runsolver pid=996708

[startup+0.100333 s]*
/proc/loadavg: 4.15 4.13 4.09 6/257 996712
/proc/meminfo: memFree=123273272/131524600 swapFree=131071996/131071996
[pid=996711] ppid=996708 vsize=2035620 memory=32120 CPUtime=0.09 cores=5,7
/proc/996711/stat : 996711 (pb_picat) R 996708 996711 992550 0 -1 4194304 1065 0 0 0 9 0 0 0 20 0 1 0 185650674 2084474880 8030 134679101440 4194304 5989780 140728263946608 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 34582528 140728263955480 140728263955556 140728263955556 140728263962572 0
/proc/996711/statm: 508905 8030 1603 439 0 504334 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2035620 KiB
Current children cumulated memory: 32120 KiB

[startup+0.205641 s]*
/proc/loadavg: 4.15 4.13 4.09 5/257 996712
/proc/meminfo: memFree=123271888/131524600 swapFree=131071996/131071996
[pid=996711] ppid=996708 vsize=2035756 memory=32332 CPUtime=0.19 cores=5,7
/proc/996711/stat : 996711 (pb_picat) R 996708 996711 992550 0 -1 4194304 1949 0 0 0 19 0 0 0 20 0 1 0 185650674 2084614144 8083 134679101440 4194304 5989780 140728263946608 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 34582528 140728263955480 140728263955556 140728263955556 140728263962572 0
/proc/996711/statm: 508939 8083 1619 439 0 504368 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2035756 KiB
Current children cumulated memory: 32332 KiB

[startup+0.305475 s]*
/proc/loadavg: 4.15 4.13 4.09 5/257 996712
/proc/meminfo: memFree=123263388/131524600 swapFree=131071996/131071996
[pid=996711] ppid=996708 vsize=2037036 memory=33020 CPUtime=0.3 cores=5,7
/proc/996711/stat : 996711 (pb_picat) R 996708 996711 992550 0 -1 4194304 2216 0 0 0 29 1 0 0 20 0 1 0 185650674 2085924864 8255 134679101440 4194304 5989780 140728263946608 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 34582528 140728263955480 140728263955556 140728263955556 140728263962572 0
/proc/996711/statm: 509259 8255 1619 439 0 504688 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2037036 KiB
Current children cumulated memory: 33020 KiB

[startup+0.700204 s]
/proc/loadavg: 4.15 4.13 4.09 5/257 996712
/proc/meminfo: memFree=123262140/131524600 swapFree=131071996/131071996
[pid=996711] ppid=996708 vsize=2041424 memory=35996 CPUtime=0.68 cores=5,7
/proc/996711/stat : 996711 (pb_picat) R 996708 996711 992550 0 -1 4194304 4279 0 0 0 66 2 0 0 20 0 1 0 185650674 2090418176 8999 134679101440 4194304 5989780 140728263946608 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 34582528 140728263955480 140728263955556 140728263955556 140728263962572 0
/proc/996711/statm: 510356 8999 1619 439 0 505785 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2041424 KiB
Current children cumulated memory: 35996 KiB

[startup+1.50024 s]
/proc/loadavg: 4.15 4.13 4.09 5/257 996712
/proc/meminfo: memFree=123333976/131524600 swapFree=131071996/131071996
[pid=996711] ppid=996708 vsize=2039376 memory=34780 CPUtime=1.48 cores=5,7
/proc/996711/stat : 996711 (pb_picat) R 996708 996711 992550 0 -1 4194304 6557 0 0 0 146 2 0 0 20 0 1 0 185650674 2088321024 8695 134679101440 4194304 5989780 140728263946608 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 34582528 140728263955480 140728263955556 140728263955556 140728263962572 0
/proc/996711/statm: 509844 8695 1619 439 0 505273 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2039376 KiB
Current children cumulated memory: 34780 KiB

[startup+3.10544 s]
/proc/loadavg: 4.15 4.13 4.09 5/257 996712
/proc/meminfo: memFree=123322532/131524600 swapFree=131071996/131071996
[pid=996711] ppid=996708 vsize=2041424 memory=35620 CPUtime=3.08 cores=5,7
/proc/996711/stat : 996711 (pb_picat) R 996708 996711 992550 0 -1 4194304 11341 0 0 0 305 3 0 0 20 0 1 0 185650674 2090418176 8905 134679101440 4194304 5989780 140728263946608 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 34582528 140728263955480 140728263955556 140728263955556 140728263962572 0
/proc/996711/statm: 510356 8905 1619 439 0 505785 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2041424 KiB
Current children cumulated memory: 35620 KiB

[startup+6.30025 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 996714
/proc/meminfo: memFree=123324172/131524600 swapFree=131071996/131071996
[pid=996711] ppid=996708 vsize=2039376 memory=34920 CPUtime=6.27 cores=5,7
/proc/996711/stat : 996711 (pb_picat) R 996708 996711 992550 0 -1 4194304 20023 0 0 0 622 5 0 0 20 0 1 0 185650674 2088321024 8730 134679101440 4194304 5989780 140728263946608 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 34582528 140728263955480 140728263955556 140728263955556 140728263962572 0
/proc/996711/statm: 509844 8730 1619 439 0 505273 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2039376 KiB
Current children cumulated memory: 34920 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 996714
/proc/meminfo: memFree=123329444/131524600 swapFree=131071996/131071996
[pid=996711] ppid=996708 vsize=2042448 memory=38572 CPUtime=12.66 cores=5,7
/proc/996711/stat : 996711 (pb_picat) R 996708 996711 992550 0 -1 4194304 34605 0 0 0 1257 9 0 0 20 0 1 0 185650674 2091466752 9643 134679101440 4194304 5989780 140728263946608 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 34582528 140728263955480 140728263955556 140728263955556 140728263962572 0
/proc/996711/statm: 510612 9643 1619 439 0 506041 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2042448 KiB
Current children cumulated memory: 38572 KiB

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

# cumulated CPU time of all completed processes:  user=20.7754 s, system=0.146633 s

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

[startup+12.8003 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 996714
/proc/meminfo: memFree=123329444/131524600 swapFree=131071996/131071996
[pid=996711] ppid=996708 vsize=2046544 memory=39360 CPUtime=12.75 cores=5,7
/proc/996711/stat : 996711 (pb_picat) R 996708 996711 992550 0 -1 4194304 34815 0 0 0 1266 9 0 0 20 0 1 0 185650674 2095661056 9840 134679101440 4194304 5989780 140728263946608 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 34582528 140728263955480 140728263955556 140728263955556 140728263962572 0
/proc/996711/statm: 511636 9840 1619 439 0 507065 0
Current children cumulated CPU time: 12.75 s
Current children cumulated vsize: 2046544 KiB
Current children cumulated memory: 39360 KiB

[startup+16.0002 s]*
/proc/loadavg: 4.12 4.12 4.09 5/257 996715
/proc/meminfo: memFree=123302380/131524600 swapFree=131071996/131071996
[pid=996711] ppid=996708 vsize=2048592 memory=39828 CPUtime=15.95 cores=5,7
/proc/996711/stat : 996711 (pb_picat) R 996708 996711 992550 0 -1 4194304 42125 0 0 0 1584 11 0 0 20 0 1 0 185650674 2097758208 9957 134679101440 4194304 5989780 140728263946608 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 34582528 140728263955480 140728263955556 140728263955556 140728263962572 0
/proc/996711/statm: 512148 9957 1619 439 0 507577 0
Current children cumulated CPU time: 15.95 s
Current children cumulated vsize: 2048592 KiB
Current children cumulated memory: 39828 KiB

[startup+19.2002 s]
/proc/loadavg: 4.12 4.12 4.09 5/257 996715
/proc/meminfo: memFree=123295592/131524600 swapFree=131071996/131071996
[pid=996711] ppid=996708 vsize=2046544 memory=42680 CPUtime=19.13 cores=5,7
/proc/996711/stat : 996711 (pb_picat) R 996708 996711 992550 0 -1 4194304 48309 0 0 0 1901 12 0 0 20 0 1 0 185650674 2095661056 10670 134679101440 4194304 5989780 140728263946608 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 34582528 140728263955480 140728263955556 140728263955556 140728263962572 0
/proc/996711/statm: 511636 10670 1619 439 0 507065 0
Current children cumulated CPU time: 19.13 s
Current children cumulated vsize: 2046544 KiB
Current children cumulated memory: 42680 KiB

[startup+20.0002 s]*
/proc/loadavg: 4.11 4.12 4.09 6/257 996715
/proc/meminfo: memFree=123279316/131524600 swapFree=131071996/131071996
[pid=996711] ppid=996708 vsize=2041424 memory=36420 CPUtime=19.94 cores=5,7
/proc/996711/stat : 996711 (pb_picat) R 996708 996711 992550 0 -1 4194304 49733 0 0 0 1981 13 0 0 20 0 1 0 185650674 2090418176 9105 134679101440 4194304 5989780 140728263946608 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 34582528 140728263955480 140728263955556 140728263955556 140728263962572 0
/proc/996711/statm: 510356 9105 1619 439 0 505785 0
Current children cumulated CPU time: 19.94 s
Current children cumulated vsize: 2041424 KiB
Current children cumulated memory: 36420 KiB

[startup+20.4002 s]
/proc/loadavg: 4.11 4.12 4.09 6/257 996715
/proc/meminfo: memFree=123279316/131524600 swapFree=131071996/131071996
[pid=996711] ppid=996708 vsize=2046544 memory=41720 CPUtime=20.33 cores=5,7
/proc/996711/stat : 996711 (pb_picat) R 996708 996711 992550 0 -1 4194304 50844 0 0 0 2020 13 0 0 20 0 1 0 185650674 2095661056 10430 134679101440 4194304 5989780 140728263946608 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 34582528 140728263955480 140728263955556 140728263955556 140728263962572 0
/proc/996711/statm: 511636 10430 1619 439 0 507065 0
Current children cumulated CPU time: 20.33 s
Current children cumulated vsize: 2046544 KiB
Current children cumulated memory: 41720 KiB

[startup+20.8002 s]
/proc/loadavg: 4.11 4.12 4.09 6/257 996715
/proc/meminfo: memFree=123279316/131524600 swapFree=131071996/131071996
[pid=996711] ppid=996708 vsize=2054736 memory=45572 CPUtime=20.73 cores=5,7
/proc/996711/stat : 996711 (pb_picat) R 996708 996711 992550 0 -1 4194304 51580 0 0 0 2060 13 0 0 20 0 1 0 185650674 2104049664 11393 134679101440 4194304 5989780 140728263946608 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 34582528 140728263955480 140728263955556 140728263955556 140728263962572 0
/proc/996711/statm: 513684 11393 1619 439 0 509113 0
Current children cumulated CPU time: 20.73 s
Current children cumulated vsize: 2054736 KiB
Current children cumulated memory: 45572 KiB

[startup+20.9002 s]
/proc/loadavg: 4.11 4.12 4.09 6/257 996715
/proc/meminfo: memFree=123279316/131524600 swapFree=131071996/131071996
[pid=996711] ppid=996708 vsize=2054736 memory=46100 CPUtime=20.83 cores=5,7
/proc/996711/stat : 996711 (pb_picat) R 996708 996711 992550 0 -1 4194304 51700 0 0 0 2070 13 0 0 20 0 1 0 185650674 2104049664 11525 134679101440 4194304 5989780 140728263946608 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 34582528 140728263955480 140728263955556 140728263955556 140728263962572 0
/proc/996711/statm: 513684 11525 1619 439 0 509113 0
Current children cumulated CPU time: 20.83 s
Current children cumulated vsize: 2054736 KiB
Current children cumulated memory: 46100 KiB

Child status: 0

Real time (s): 20.9794
CPU time (s): 20.922
CPU user time (s): 20.7754
CPU system time (s): 0.146633
CPU usage (%): 99.7263
Max. virtual memory (cumulated for all children) (KiB): 2056784
Max. memory (cumulated for all children) (KiB): 49664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.7754
system time used= 0.146633
maximum resident set size= 49664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51844
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 32


# summary of solver processes directly reported to runsolver:
#   pid: 996711
#   total CPU time (s): 20.922
#   total CPU user time (s): 20.7754
#   total CPU system time (s): 0.146633

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.086439 second user time and 0.089732 second system time

The end

Begin job on nodeC033 at 2024-07-18 22:33:42
IDJOB=4447342
IDBENCH=158383
IDSOLVER=3068
FILE ID=nodeC033/4447342-1721334810
RUNJOBID= nodeC033-1721329244-992563
SLURM_JOB_ID= 7542695
Free space on /tmp= 890072 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K68.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447342-1721334810/watcher-4447342-1721334810 -o /tmp/evaluation-result-4447342-1721334810/solver-4447342-1721334810 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721329244-992563 --watchdog 3760  pb_picat HOME/instance-4447342-1721334810.opb

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

MD5SUM BENCH= 903b294a72b72fbd6778e100307d5973
RANDOM SEED=341793107

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3668.922
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.50
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		: 3678.987
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.003
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.50
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		: 3600.044
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.25
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		: 3668.939
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.50
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		: 3658.392
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.25
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.907
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.50
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		: 3659.802
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        123298704 kB
MemAvailable:   129226388 kB
Buffers:          534416 kB
Cached:          6164200 kB
SwapCached:            0 kB
Active:           979308 kB
Inactive:        6475092 kB
Active(anon):       1564 kB
Inactive(anon):   800124 kB
Active(file):     977744 kB
Inactive(file):  5674968 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              4340 kB
Writeback:             0 kB
AnonPages:        752436 kB
Mapped:           116040 kB
Shmem:             45908 kB
KReclaimable:     229236 kB
Slab:             356056 kB
SReclaimable:     229236 kB
SUnreclaim:       126820 kB
KernelStack:        4144 kB
PageTables:        10856 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7194888 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            68768 kB
HardwareCorrupted:     0 kB
AnonHugePages:    536576 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      273108 kB
DirectMap2M:    28860416 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 890068 MiB
End job on nodeC033 at 2024-07-18 22:34:03