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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507729-1751190590/watcher-4507729-1751190590 -o /tmp/evaluation-result-4507729-1751190590/solver-4507729-1751190590 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751190586-22004 --watchdog 3760 pb_picat HOME/instance-4507729-1751190590.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
solver pid=22152, runsolver pid=22145
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 0.65 1.67 2.68 5/265 22153
/proc/meminfo: memFree=129981688/131249988 swapFree=33010684/33010684
[pid=22152] ppid=22145 vsize=2029576 memory=34912 CPUtime=0.09 cores=1,3
/proc/22152/stat : 22152 (pb_picat) R 22145 22152 21992 0 -1 4194304 1701 0 0 0 8 1 0 0 20 0 1 0 34737834 2078285824 8728 18446744073709551615 93936470462464 93936471864045 140733735508496 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93936472135472 93936474009776 93936511262720 140733735512478 140733735512554 140733735512554 140733735518156 0
/proc/22152/statm: 507394 8728 1664 343 0 504458 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2029576 KiB
Current children cumulated memory: 34912 KiB

[startup+0.205456 s]*
/proc/loadavg: 0.65 1.67 2.68 5/265 22153
/proc/meminfo: memFree=129974632/131249988 swapFree=33010684/33010684
[pid=22152] ppid=22145 vsize=2029320 memory=35016 CPUtime=0.2 cores=1,3
/proc/22152/stat : 22152 (pb_picat) R 22145 22152 21992 0 -1 4194304 2663 0 0 0 19 1 0 0 20 0 1 0 34737834 2078023680 8754 18446744073709551615 93936470462464 93936471864045 140733735508496 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93936472135472 93936474009776 93936511262720 140733735512478 140733735512554 140733735512554 140733735518156 0
/proc/22152/statm: 507330 8754 1664 343 0 504394 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2029320 KiB
Current children cumulated memory: 35016 KiB

[startup+0.305131 s]*
/proc/loadavg: 0.65 1.67 2.68 5/265 22153
/proc/meminfo: memFree=129974632/131249988 swapFree=33010684/33010684
[pid=22152] ppid=22145 vsize=2030600 memory=35464 CPUtime=0.3 cores=1,3
/proc/22152/stat : 22152 (pb_picat) R 22145 22152 21992 0 -1 4194304 2915 0 0 0 29 1 0 0 20 0 1 0 34737834 2079334400 8866 18446744073709551615 93936470462464 93936471864045 140733735508496 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93936472135472 93936474009776 93936511262720 140733735512478 140733735512554 140733735512554 140733735518156 0
/proc/22152/statm: 507650 8866 1664 343 0 504714 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2030600 KiB
Current children cumulated memory: 35464 KiB

[startup+0.700126 s]
/proc/loadavg: 0.65 1.67 2.68 5/265 22153
/proc/meminfo: memFree=129974632/131249988 swapFree=33010684/33010684
[pid=22152] ppid=22145 vsize=2035208 memory=38740 CPUtime=0.68 cores=1,3
/proc/22152/stat : 22152 (pb_picat) R 22145 22152 21992 0 -1 4194304 5132 0 0 0 67 1 0 0 20 0 1 0 34737834 2084052992 9685 18446744073709551615 93936470462464 93936471864045 140733735508496 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93936472135472 93936474009776 93936511262720 140733735512478 140733735512554 140733735512554 140733735518156 0
/proc/22152/statm: 508802 9685 1664 343 0 505866 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2035208 KiB
Current children cumulated memory: 38740 KiB

[startup+1.5001 s]
/proc/loadavg: 0.65 1.67 2.68 5/265 22153
/proc/meminfo: memFree=129972868/131249988 swapFree=33010684/33010684
[pid=22152] ppid=22145 vsize=2033044 memory=37480 CPUtime=1.48 cores=1,3
/proc/22152/stat : 22152 (pb_picat) R 22145 22152 21992 0 -1 4194304 7667 0 0 0 147 1 0 0 20 0 1 0 34737834 2081837056 9370 18446744073709551615 93936470462464 93936471864045 140733735508496 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93936472135472 93936474009776 93936511262720 140733735512478 140733735512554 140733735512554 140733735518156 0
/proc/22152/statm: 508261 9370 1664 343 0 505325 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2033044 KiB
Current children cumulated memory: 37480 KiB

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

# cumulated CPU time of all completed processes:  user=2.14247 s, system=0.025908 s

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

[startup+1.60013 s]
/proc/loadavg: 0.65 1.67 2.68 5/265 22153
/proc/meminfo: memFree=129972868/131249988 swapFree=33010684/33010684
[pid=22152] ppid=22145 vsize=2033044 memory=37932 CPUtime=1.58 cores=1,3
/proc/22152/stat : 22152 (pb_picat) R 22145 22152 21992 0 -1 4194304 7978 0 0 0 157 1 0 0 20 0 1 0 34737834 2081837056 9483 18446744073709551615 93936470462464 93936471864045 140733735508496 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93936472135472 93936474009776 93936511262720 140733735512478 140733735512554 140733735512554 140733735518156 0
/proc/22152/statm: 508261 9483 1664 343 0 505325 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 2033044 KiB
Current children cumulated memory: 37932 KiB

[startup+2.00009 s]*
/proc/loadavg: 0.92 1.71 2.69 5/265 22153
/proc/meminfo: memFree=129970852/131249988 swapFree=33010684/33010684
[pid=22152] ppid=22145 vsize=2032020 memory=36912 CPUtime=1.99 cores=1,3
/proc/22152/stat : 22152 (pb_picat) R 22145 22152 21992 0 -1 4194304 9083 0 0 0 197 2 0 0 20 0 1 0 34737834 2080788480 9228 18446744073709551615 93936470462464 93936471864045 140733735508496 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93936472135472 93936474009776 93936511262720 140733735512478 140733735512554 140733735512554 140733735518156 0
/proc/22152/statm: 508005 9228 1664 343 0 505069 0
Current children cumulated CPU time: 1.99 s
Current children cumulated vsize: 2032020 KiB
Current children cumulated memory: 36912 KiB

[startup+2.10511 s]
/proc/loadavg: 0.92 1.71 2.69 5/265 22153
/proc/meminfo: memFree=129970852/131249988 swapFree=33010684/33010684
[pid=22152] ppid=22145 vsize=2033044 memory=37936 CPUtime=2.09 cores=1,3
/proc/22152/stat : 22152 (pb_picat) R 22145 22152 21992 0 -1 4194304 9357 0 0 0 207 2 0 0 20 0 1 0 34737834 2081837056 9484 18446744073709551615 93936470462464 93936471864045 140733735508496 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93936472135472 93936474009776 93936511262720 140733735512478 140733735512554 140733735512554 140733735518156 0
/proc/22152/statm: 508261 9484 1664 343 0 505325 0
Current children cumulated CPU time: 2.09 s
Current children cumulated vsize: 2033044 KiB
Current children cumulated memory: 37936 KiB

Child status: 0

Real time (s): 2.17793
CPU time (s): 2.16838
CPU user time (s): 2.14247
CPU system time (s): 0.025908
CPU usage (%): 99.5613
Max. virtual memory (cumulated for all children) (KiB): 2036116
Max. memory (cumulated for all children) (KiB): 40496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.14247
system time used= 0.025908
maximum resident set size= 40624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9491
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= 5


# summary of solver processes directly reported to runsolver:
#   pid: 22152
#   total CPU time (s): 2.16838
#   total CPU user time (s): 2.14247
#   total CPU system time (s): 0.025908

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.012278 second user time and 0.046028 second system time

The end

Begin job on nodeC034 at 2025-06-29 11:49:50
IDJOB=4507729
IDBENCH=158381
IDSOLVER=3346
FILE ID=nodeC034/4507729-1751190590
RUNJOBID= nodeC034-1751190586-22004
SLURM_JOB_ID= 9587576
Free space on /tmp= 433056 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K76.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4507729-1751190590/watcher-4507729-1751190590 -o /tmp/evaluation-result-4507729-1751190590/solver-4507729-1751190590 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751190586-22004 --watchdog 3760  pb_picat HOME/instance-4507729-1751190590.opb

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

MD5SUM BENCH= c8871c8b730191d1a04606ab4baf2dee
RANDOM SEED=178996624

nodeC034 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		: 3600.534
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.53
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.798
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.53
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.961
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.53
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		: 3502.504
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.53
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.752
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.53
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.602
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.53
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		: 3555.277
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.53
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		: 3600.577
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.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        130012880 kB
MemAvailable:   129668756 kB
Buffers:            3280 kB
Cached:           466264 kB
SwapCached:            0 kB
Active:           400412 kB
Inactive:         245144 kB
Active(anon):     194124 kB
Inactive(anon):        0 kB
Active(file):     206288 kB
Inactive(file):   245144 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             16064 kB
Writeback:             0 kB
AnonPages:        179160 kB
Mapped:           109284 kB
Shmem:             18104 kB
KReclaimable:      86968 kB
Slab:             173148 kB
SReclaimable:      86968 kB
SUnreclaim:        86180 kB
KernelStack:        4272 kB
PageTables:         3312 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:    4451916 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150472 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     92160 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:      189140 kB
DirectMap2M:     7970816 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433048 MiB
End job on nodeC034 at 2025-06-29 11:49:52