0.00/0.01	c solving HOME/instance-4527825-1752238747.opb (Picat 3.9b11, 7/10/2025)
0.76/0.82	s SATISFIABLE
0.76/0.82	v ~x2748 ~x484 ~x2486 ~x1678 ~x1949 ~x1910 ~x2418 ~x2749 ~x488 x468 
0.76/0.82	v ~x1679 ~x1107 ~x1915 ~x2419 ~x2750 ~x692 ~x2355 ~x1680 ~x579 ~x1916 
0.76/0.82	v ~x2420 ~x617 ~x1555 ~x2356 ~x1681 ~x72 ~x1917 ~x97 ~x1521 ~x1828 
0.76/0.82	v ~x2357 ~x1682 ~x1322 ~x1919 ~x2113 ~x159 ~x632 ~x2358 ~x1683 ~x94 
0.76/0.82	v ~x1920 ~x2114 ~x1237 ~x503 ~x2359 ~x1684 ~x1120 ~x1926 ~x2115 ~x1548 
0.76/0.82	v ~x687 ~x2360 ~x1685 ~x1974 ~x1927 ~x2116 ~x1201 x982 ~x2361 ~x1686 
0.76/0.82	v ~x1111 ~x1928 ~x2117 ~x1914 ~x1696 ~x2362 ~x1687 ~x1335 ~x1930 ~x2118 
0.76/0.82	v ~x1238 ~x206 ~x2363 ~x1688 ~x2 ~x1932 ~x2119 ~x1961 ~x393 ~x2364 
0.76/0.82	v ~x1689 ~x371 ~x1935 ~x2120 ~x1674 ~x417 ~x2365 ~x1691 ~x1970 ~x709 
0.76/0.82	v x2121 ~x101 ~x284 ~x2366 ~x1694 ~x46 ~x1867 ~x2122 ~x803 ~x603 
0.76/0.82	v ~x2367 ~x1695 ~x47 ~x552 ~x2123 ~x277 ~x1324 x2368 ~x1697 ~x48 
0.76/0.82	v ~x1888 ~x2124 ~x223 ~x686 ~x2369 ~x1699 ~x49 ~x1355 ~x2125 ~x1316 
0.76/0.82	v ~x1545 ~x2370 ~x1701 ~x52 ~x937 ~x2126 ~x1830 ~x444 ~x2371 ~x1702 
0.76/0.82	v ~x53 ~x1942 ~x2127 ~x1024 ~x1171 ~x2372 ~x1703 ~x55 ~x906 ~x2128 
0.76/0.82	v ~x1063 ~x1172 ~x2373 ~x1704 ~x58 ~x960 ~x2129 ~x2575 ~x1173 ~x2374 
0.76/0.82	v ~x1706 ~x60 ~x917 ~x2130 ~x2576 ~x1174 ~x2375 ~x1707 ~x61 ~x921 
0.76/0.82	v ~x2131 ~x2577 ~x1175 ~x2376 ~x1708 ~x62 ~x707 ~x2132 ~x2578 ~x1176 
0.76/0.82	v ~x685 ~x1709 ~x63 ~x980 ~x2133 ~x2579 ~x1177 ~x2179 ~x1710 ~x65 
0.76/0.82	v ~x569 ~x2134 ~x2580 ~x1178 ~x2180 ~x588 ~x66 ~x696 ~x1425 ~x2581 
0.76/0.82	v ~x1179 ~x2181 ~x88 ~x67 ~x1881 ~x1089 ~x2582 ~x1180 ~x2182 ~x96 
0.76/0.82	v ~x69 ~x1634 ~x1282 ~x2583 ~x1181 ~x2183 ~x1161 ~x70 ~x1 ~x2443 
0.76/0.82	v ~x2584 ~x1182 ~x2184 ~x382 ~x71 ~x136 ~x2444 ~x2585 ~x1183 ~x2185 
0.76/0.82	v ~x1264 ~x74 ~x139 ~x2445 ~x2586 ~x1184 ~x2186 ~x152 ~x75 ~x140 
0.76/0.82	v ~x2446 ~x2587 ~x1186 ~x2187 ~x886 ~x76 ~x143 x2447 ~x2588 ~x1187 
0.76/0.82	v ~x2188 x1898 ~x77 ~x145 ~x2448 ~x2589 ~x1188 ~x2189 ~x1216 ~x78 
0.76/0.82	v ~x151 ~x2449 ~x2590 ~x1189 ~x1218 ~x2190 ~x79 ~x155 ~x2450 ~x2591 
0.76/0.82	v ~x1190 ~x1219 ~x2191 ~x80 ~x157 ~x2451 x2592 ~x1191 ~x2192 x1220 
0.76/0.82	v ~x81 ~x161 ~x2452 ~x2593 ~x1193 ~x2193 ~x1221 ~x82 ~x162 ~x2453 
0.76/0.82	v ~x2594 ~x1194 ~x2194 ~x1222 ~x83 ~x163 ~x2454 ~x2595 ~x1195 ~x2195 
0.76/0.82	v ~x1223 ~x84 ~x164 ~x2455 ~x2596 ~x1196 ~x2196 ~x1225 ~x85 ~x165 
0.76/0.82	v ~x2456 x1559 ~x1197 ~x2197 ~x1226 ~x86 ~x167 ~x2457 ~x2597 ~x1198 
0.76/0.82	v ~x2198 ~x1227 x90 ~x169 ~x2458 ~x2598 ~x1199 x2199 ~x1228 ~x258 
0.76/0.82	v ~x171 ~x2459 ~x2599 ~x1200 ~x2200 ~x1229 ~x1911 ~x173 ~x2460 ~x2600 
0.76/0.82	v ~x1202 ~x108 ~x1231 ~x567 x174 ~x2461 ~x2601 ~x1203 ~x836 ~x1232 
0.76/0.82	v ~x93 ~x178 ~x2462 ~x2602 ~x1204 ~x2531 ~x1233 ~x1956 ~x180 ~x2463 
0.76/0.82	v ~x2603 ~x1205 ~x2532 ~x1234 ~x1623 ~x31 ~x2464 ~x2604 ~x1206 ~x2533 
0.76/0.82	v ~x1236 ~x1397 ~x1398 ~x1800 ~x2605 ~x1207 ~x2534 ~x1240 ~x247 ~x1399 
0.76/0.82	v ~x2949 ~x2606 x1208 ~x2535 ~x1242 ~x483 ~x1400 ~x2950 ~x2607 ~x1209 
0.76/0.82	v ~x2536 ~x1243 ~x452 ~x1404 ~x2951 ~x2608 ~x1210 ~x2537 ~x1244 ~x453 
0.76/0.82	v ~x1407 ~x2952 ~x2609 ~x1211 ~x2538 ~x1247 ~x454 ~x1409 ~x2953 ~x2610 
0.76/0.82	v ~x1212 ~x2539 ~x1249 ~x455 ~x1412 ~x2954 x2611 ~x1213 x2540 ~x1250 
0.76/0.82	v ~x456 ~x1413 x2955 ~x2612 ~x1214 ~x2541 ~x1251 ~x458 ~x1414 ~x2956 
0.76/0.82	v ~x2613 ~x1215 ~x2542 ~x1252 ~x459 ~x1415 ~x2957 ~x2614 ~x342 ~x2543 
0.76/0.82	v ~x1253 ~x460 ~x1419 ~x2958 ~x2615 ~x1660 ~x2544 ~x1254 ~x463 ~x1421 
0.76/0.82	v ~x2959 ~x2616 ~x1781 ~x2545 ~x1256 ~x464 ~x1423 ~x2960 ~x2617 ~x356 
0.76/0.82	v ~x2546 ~x1257 ~x465 ~x1426 ~x2961 ~x2618 ~x149 ~x2547 ~x1258 ~x466 
0.76/0.82	v ~x1433 ~x2962 ~x1381 ~x2548 ~x1260 ~x467 ~x1435 ~x2963 ~x1113 ~x181 
0.76/0.82	v ~x2549 ~x528 ~x469 ~x1631 ~x2964 ~x939 ~x182 ~x2550 ~x38 ~x471 
0.76/0.82	v ~x522 ~x2965 ~x1819 ~x183 ~x2551 ~x1125 ~x472 ~x1374 ~x2966 ~x706 
0.76/0.82	v ~x184 ~x2552 x272 ~x473 ~x541 ~x2967 ~x1486 ~x186 ~x1123 ~x1643 
0.76/0.82	v ~x474 ~x542 ~x2968 ~x1487 ~x187 ~x2905 ~x1756 ~x475 ~x543 ~x2969 
0.76/0.82	v ~x1488 ~x188 ~x2906 ~x1757 ~x476 ~x550 ~x2970 ~x1489 ~x189 ~x2907 
0.76/0.82	v ~x1758 ~x479 ~x553 ~x408 ~x1490 ~x190 ~x2908 ~x1759 ~x480 ~x555 
0.76/0.82	v ~x1979 ~x1491 ~x191 ~x2909 ~x1760 ~x481 ~x557 ~x2927 ~x1492 ~x192 
0.76/0.82	v ~x2910 ~x1761 ~x485 ~x559 ~x2928 ~x1493 ~x193 ~x2911 ~x1762 ~x486 
0.76/0.82	v ~x561 ~x2929 ~x1494 ~x194 ~x2912 ~x1763 ~x489 ~x562 ~x2930 ~x1495 
0.76/0.82	v x195 ~x2913 ~x1764 ~x492 ~x568 x2931 ~x1496 ~x197 ~x2914 ~x1765 
0.76/0.82	v ~x493 ~x570 ~x2932 ~x1497 ~x199 ~x2915 ~x1766 ~x494 ~x571 ~x2933 
0.76/0.82	v ~x1498 ~x200 ~x2916 ~x1767 ~x495 ~x573 ~x2934 ~x1499 ~x202 ~x2917 
0.76/0.82	v ~x1768 ~x1845 ~x574 ~x2935 ~x1500 ~x203 ~x2918 ~x1770 ~x680 ~x578 
0.76/0.82	v ~x2936 ~x1501 ~x204 ~x2919 ~x1772 ~x1319 ~x580 ~x2937 ~x1502 ~x207 
0.76/0.82	v ~x2920 ~x1773 ~x804 ~x583 ~x2938 ~x1503 ~x208 ~x2921 ~x1774 ~x699 
0.76/0.82	v ~x584 ~x2939 ~x1504 ~x209 ~x2922 ~x1775 ~x1392 ~x585 ~x2940 ~x1505 
0.76/0.82	v ~x210 x2923 ~x1776 ~x147 ~x909 ~x2941 ~x1506 ~x211 ~x2924 ~x1777 
0.76/0.82	v ~x809 ~x1889 ~x2942 x1507 ~x212 ~x2925 ~x1778 ~x551 ~x1937 ~x2943 
0.76/0.82	v ~x1508 ~x213 ~x2926 ~x1779 ~x1098 ~x1938 ~x2944 ~x1509 ~x214 ~x1459 
0.76/0.82	v x1780 ~x144 ~x1939 ~x2945 ~x1510 ~x215 ~x2377 ~x1782 x691 ~x1940 
0.76/0.82	v ~x2946 ~x1511 ~x216 ~x2378 ~x1784 ~x1638 ~x1945 ~x2947 ~x1512 ~x217 
0.76/0.82	v ~x2379 ~x1785 ~x1835 ~x1946 ~x2948 ~x1513 ~x218 ~x2380 ~x1787 ~x1121 
0.76/0.82	v ~x1953 ~x507 ~x1514 ~x219 ~x2381 ~x1788 ~x1905 ~x1954 ~x2223 ~x1515 
0.76/0.82	v ~x220 ~x2382 ~x1790 ~x514 ~x1959 ~x2224 ~x1516 ~x221 ~x2383 ~x1791 
0.76/0.82	v ~x150 x1962 ~x2225 ~x1517 ~x222 ~x2384 ~x1792 ~x403 ~x1963 ~x2226 
0.76/0.82	v ~x1518 ~x224 ~x2385 ~x1793 ~x440 ~x1968 ~x2227 ~x1519 ~x225 ~x2386 
0.76/0.82	v ~x1794 ~x611 ~x1969 ~x2228 ~x1520 ~x1564 ~x2387 ~x1795 ~x595 ~x1973 
0.76/0.82	v ~x2229 ~x1522 ~x98 ~x2388 ~x1796 ~x1416 ~x1976 ~x2230 ~x1523 ~x1056 
0.76/0.82	v ~x2389 ~x1797 ~x801 ~x979 ~x2231 ~x1524 ~x8 ~x2390 ~x1279 ~x1390 
0.76/0.82	v ~x948 ~x2232 ~x1525 ~x1531 x2391 ~x516 ~x1834 ~x947 ~x2233 ~x1526 
0.76/0.82	v ~x1532 ~x2392 ~x698 ~x177 ~x920 ~x2234 ~x1527 ~x1533 ~x2393 ~x1142 
0.76/0.82	v ~x305 ~x124 ~x2235 ~x1528 ~x1534 ~x2394 ~x1440 ~x41 ~x533 ~x2236 
0.76/0.82	v ~x1529 ~x1535 ~x2395 ~x89 ~x411 ~x20 ~x2237 ~x1530 ~x1536 ~x2396 
0.76/0.82	v ~x506 ~x156 ~x941 x2238 ~x587 ~x1537 ~x2397 ~x398 ~x946 ~x509 
0.76/0.82	v ~x2239 ~x1567 ~x1538 ~x2398 ~x345 ~x1902 ~x907 ~x2240 ~x2773 ~x1539 
0.76/0.82	v ~x423 ~x782 ~x976 ~x2241 ~x2774 ~x1540 ~x1285 ~x795 ~x1306 x13 
0.76/0.82	v ~x2242 ~x2775 ~x1541 ~x1131 ~x2619 ~x1307 ~x513 ~x2243 ~x2776 ~x1542 
0.76/0.82	v ~x1627 ~x2620 ~x1309 ~x695 ~x2244 ~x2777 ~x1543 ~x1149 ~x2621 ~x1310 
0.76/0.82	v ~x963 ~x1714 ~x2778 ~x1544 ~x1159 ~x2622 ~x1312 ~x1862 ~x2047 ~x2779 
0.76/0.82	v ~x1547 ~x462 ~x2623 ~x1314 ~x1369 ~x2048 ~x2780 ~x1549 ~x380 ~x2624 
0.76/0.82	v ~x1317 ~x524 x2049 x2781 ~x1550 ~x1387 ~x2625 ~x1320 ~x45 ~x2050 
0.76/0.82	v ~x2782 ~x1551 ~x1261 x2626 ~x1321 ~x930 ~x2051 ~x2783 ~x1552 ~x1262 
0.76/0.82	v ~x2627 ~x1323 ~x311 ~x2052 ~x2784 ~x1553 ~x1263 ~x2628 ~x1325 ~x1633 
0.76/0.82	v ~x2053 ~x2785 ~x1554 ~x1265 ~x2629 ~x1326 ~x125 ~x2054 ~x2786 ~x1556 
0.76/0.82	v ~x1267 ~x2630 ~x1327 ~x965 ~x2055 ~x2787 ~x1558 ~x1268 ~x2631 ~x1328 
0.76/0.82	v ~x1375 ~x2056 ~x2788 ~x1560 ~x1269 ~x2632 ~x1329 ~x515 ~x2057 ~x2789 
0.76/0.82	v ~x1561 x1270 ~x2633 ~x1331 ~x1363 ~x2058 ~x2790 ~x1562 ~x1271 ~x2634 
0.76/0.82	v ~x1332 ~x990 ~x2059 ~x2791 ~x1565 ~x1273 ~x2635 ~x1333 ~x95 ~x2060 
0.76/0.82	v ~x2792 ~x1569 ~x1274 ~x2636 ~x1336 ~x1853 ~x2061 ~x2793 ~x1570 ~x1276 
0.76/0.82	v ~x2637 ~x1337 ~x683 ~x2062 ~x2794 ~x1572 ~x1277 ~x2638 ~x1338 ~x689 
0.76/0.82	v ~x2063 ~x1420 ~x1573 ~x1278 ~x2639 ~x1339 ~x127 ~x2064 ~x654 ~x1574 
0.76/0.82	v ~x1280 ~x2640 ~x1341 ~x525 ~x2065 ~x1245 ~x1575 ~x1281 ~x394 ~x1342 
0.76/0.82	v ~x91 ~x2066 ~x547 ~x253 ~x1283 ~x2707 ~x1343 ~x92 ~x2067 ~x1482 
0.76/0.82	v ~x1823 ~x1284 ~x2708 ~x1345 ~x110 ~x2068 ~x1091 ~x922 ~x1288 ~x2709 
0.76/0.82	v ~x1346 ~x113 ~x606 ~x1977 ~x1391 ~x1289 ~x2710 x1348 ~x114 ~x1566 
0.76/0.82	v ~x99 ~x256 ~x1290 ~x2711 ~x1349 ~x115 ~x292 ~x1978 ~x1810 ~x1292 
0.76/0.82	v ~x2712 ~x1350 ~x116 ~x1128 ~x1890 ~x170 ~x1293 ~x2713 ~x586 ~x117 
0.76/0.82	v ~x1417 ~x714 ~x42 ~x1296 ~x2714 ~x148 ~x119 ~x1439 ~x1248 ~x1647 
0.76/0.82	v ~x1297 ~x2715 ~x1656 ~x120 ~x1690 ~x971 ~x1224 ~x1298 ~x2716 ~x422 
0.76/0.82	v ~x122 ~x1576 ~x1873 ~x977 ~x1299 ~x2717 ~x775 ~x128 ~x1981 ~x1592 
0.76/0.82	v ~x1924 ~x1300 ~x2718 ~x370 ~x129 ~x1982 ~x1866 ~x1235 ~x1301 ~x2719 
0.76/0.82	v ~x1434 ~x130 ~x1983 ~x1347 ~x1013 ~x1302 ~x2720 ~x1642 ~x131 ~x1984 
0.76/0.82	v ~x1972 ~x1071 ~x1303 ~x2721 ~x1621 ~x132 ~x1985 ~x2135 ~x59 ~x1304 
0.76/0.82	v ~x2722 ~x517 ~x133 ~x1986 ~x2136 ~x1918 ~x1305 x2723 ~x396 ~x902 
0.76/0.82	v x1987 ~x2137 ~x800 ~x1378 ~x2724 ~x596 ~x282 ~x1988 ~x2138 ~x297 
0.76/0.82	v ~x142 ~x2725 ~x1975 ~x1869 ~x1989 ~x2139 ~x1477 ~x25 ~x2726 ~x1422 
0.76/0.82	v ~x1358 ~x1990 ~x2140 ~x293 ~x1411 ~x2727 ~x1132 ~x718 ~x1991 ~x2141 
0.76/0.82	v ~x968 ~x1023 ~x2728 ~x1105 ~x985 ~x1992 ~x2142 ~x1854 ~x942 ~x797 
0.76/0.82	v ~x590 ~x1351 ~x1993 ~x2143 ~x1807 ~x598 ~x2663 ~x379 ~x1855 ~x1994 
0.76/0.82	v ~x2144 ~x399 ~x1396 ~x2664 ~x534 ~x3 ~x1995 ~x2145 ~x1649 ~x237 
0.76/0.82	v ~x2665 ~x1116 ~x4 ~x1996 ~x2146 ~x364 ~x1654 ~x2666 ~x1126 ~x5 
0.76/0.82	v ~x1997 ~x2147 ~x1034 ~x1886 ~x2667 ~x712 ~x9 ~x1998 ~x2148 ~x1291 
0.76/0.82	v ~x1947 ~x2668 ~x1393 ~x11 ~x1999 ~x2149 ~x367 ~x316 ~x2669 ~x1403 
0.76/0.82	v ~x14 ~x2000 ~x2150 ~x1648 ~x317 ~x2670 ~x415 ~x15 ~x2001 ~x2151 
0.76/0.82	v ~x1025 ~x318 ~x2671 ~x548 ~x16 ~x2002 ~x2152 ~x1259 ~x319 ~x2672 
0.76/0.82	v ~x226 ~x17 ~x259 ~x2153 ~x532 ~x320 ~x2673 ~x1850 ~x19 ~x1817 
0.76/0.82	v ~x2154 ~x1053 ~x322 x2674 ~x1628 ~x21 ~x2333 ~x2155 ~x1769 ~x323 
0.76/0.82	v ~x2675 ~x402 ~x24 ~x2334 x2156 x1007 ~x324 ~x2676 ~x1922 ~x30 
0.76/0.82	v ~x2335 x526 ~x1451 ~x325 ~x2677 ~x1127 ~x34 ~x2336 ~x805 ~x1829 
0.76/0.82	v ~x327 ~x2678 ~x1130 ~x35 ~x2337 ~x1354 ~x1798 ~x328 ~x2679 ~x1135 
0.76/0.82	v ~x37 x2338 ~x1340 ~x1965 ~x329 ~x2680 ~x1136 ~x44 ~x2339 ~x346 
0.76/0.82	v ~x487 ~x330 ~x2681 ~x1138 ~x1846 ~x2340 ~x1018 ~x1438 ~x331 ~x2682 
0.76/0.82	v ~x1141 ~x1848 ~x2341 ~x1934 ~x572 ~x332 ~x2683 ~x1144 ~x1851 ~x2342 
0.76/0.82	v ~x650 ~x1880 ~x333 ~x2684 ~x1146 ~x1858 ~x2343 ~x1096 ~x856 x335 
0.76/0.82	v ~x201 ~x1148 ~x1859 ~x2344 ~x537 ~x1150 ~x336 ~x2421 ~x1151 ~x1868 
0.76/0.82	v ~x2345 ~x1078 ~x663 ~x338 ~x2422 ~x1152 ~x1872 ~x2346 ~x1424 ~x33 
0.76/0.82	v ~x339 ~x2423 ~x1154 ~x1874 ~x2347 ~x420 ~x512 ~x340 ~x2424 ~x1155 
0.76/0.82	v ~x1876 ~x2348 ~x321 ~x104 ~x341 ~x2425 ~x1156 ~x1877 ~x2349 ~x2091 
0.76/0.82	v ~x597 ~x343 ~x2426 ~x1157 x1878 ~x2350 ~x2092 ~x914 ~x344 ~x2427 
0.76/0.82	v ~x1158 ~x1879 ~x2351 ~x2093 x134 ~x347 ~x2428 ~x1160 ~x1882 ~x2352 
0.76/0.82	v ~x2094 ~x1294 ~x348 ~x2429 ~x1162 x1361 ~x2353 ~x2095 x581 ~x349 
0.76/0.82	v ~x2430 ~x1163 ~x309 ~x2354 ~x2096 ~x1039 ~x350 ~x2431 x1165 ~x1622 
0.76/0.82	v ~x1456 ~x2097 ~x1005 ~x351 x2432 ~x1166 ~x1624 ~x721 ~x2098 ~x1344 
0.76/0.82	v ~x355 ~x2433 ~x1167 ~x1629 ~x722 ~x2099 ~x1458 ~x357 ~x2434 ~x1168 
0.76/0.82	v ~x1635 ~x723 ~x2100 ~x889 ~x360 ~x2435 ~x1849 ~x1639 ~x724 ~x2101 
0.76/0.82	v ~x1705 ~x491 ~x2436 ~x1943 ~x1641 ~x725 ~x2102 ~x1318 ~x123 ~x2437 
0.76/0.82	v ~x808 ~x1646 ~x726 ~x2103 ~x1632 ~x1000 ~x2438 ~x539 ~x1650 ~x727 
0.76/0.82	v ~x2104 ~x22 ~x538 ~x2439 ~x1430 ~x1651 ~x728 ~x2105 ~x1230 ~x1030 
0.76/0.82	v ~x2440 ~x1372 ~x1653 ~x729 ~x2106 ~x978 ~x154 ~x2441 ~x365 ~x1655 
0.76/0.82	v ~x730 ~x2107 ~x523 ~x545 ~x2442 ~x406 ~x1657 ~x731 x2108 ~x1147 
0.76/0.82	v ~x1137 ~x879 ~x409 ~x1661 ~x732 ~x2109 x366 ~x1334 ~x2487 ~x410 
0.76/0.82	v ~x531 ~x733 ~x2110 ~x1465 ~x443 ~x2488 ~x412 x904 ~x734 ~x2111 
0.76/0.82	v ~x1885 ~x281 ~x2489 ~x414 ~x908 ~x735 ~x2112 ~x890 ~x255 ~x2490 
0.76/0.82	v ~x416 ~x910 ~x736 ~x1821 ~x1246 ~x951 ~x2491 ~x418 ~x912 ~x737 
0.76/0.82	v ~x362 ~x368 ~x771 ~x2492 ~x419 ~x918 ~x738 ~x1907 ~x126 ~x1085 
0.76/0.82	v ~x2493 ~x421 ~x923 ~x739 ~x1036 ~x1700 ~x871 ~x2494 ~x426 ~x925 
0.76/0.82	v ~x740 ~x1368 ~x956 ~x141 ~x2495 ~x427 ~x934 ~x741 ~x334 ~x359 
0.76/0.82	v ~x425 ~x2496 ~x429 ~x944 ~x742 ~x1185 ~x1923 ~x928 ~x2497 ~x430 
0.76/0.82	v ~x1388 ~x743 x1596 ~x614 ~x966 ~x2498 ~x431 ~x953 ~x744 ~x690 
0.76/0.82	v ~x146 ~x911 ~x2499 ~x433 ~x1380 ~x745 ~x1786 ~x674 ~x1021 ~x2500 
0.76/0.82	v x435 ~x1389 ~x746 ~x57 ~x26 ~x1812 ~x2501 ~x439 ~x518 ~x747 
0.76/0.82	v ~x185 ~x1330 ~x875 ~x2502 ~x442 ~x504 ~x748 ~x873 ~x1441 ~x1659 
0.76/0.82	v ~x2503 ~x445 ~x970 ~x749 ~x1428 ~x1442 ~x601 ~x2504 ~x446 ~x280 
0.76/0.82	v ~x750 ~x1960 ~x1443 ~x310 ~x2505 ~x447 ~x527 ~x751 ~x12 ~x1444 
0.76/0.82	v ~x703 x2506 ~x448 ~x497 ~x752 ~x198 ~x1445 ~x605 ~x2507 ~x449 
0.76/0.82	v ~x505 ~x753 ~x1092 ~x1446 ~x576 ~x2508 ~x450 ~x508 ~x754 ~x1571 
0.76/0.82	v ~x1447 ~x697 ~x1836 ~x278 ~x536 x755 ~x1899 ~x1448 ~x1028 ~x2751 
0.76/0.82	v ~x940 ~x540 ~x756 ~x1906 ~x1449 ~x530 ~x2752 ~x28 ~x1360 ~x757 
0.76/0.82	v ~x975 ~x1450 ~x40 ~x2753 ~x100 ~x313 ~x758 ~x158 ~x1452 ~x1913 
0.76/0.82	v ~x2754 ~x1971 ~x959 ~x759 ~x51 ~x1453 ~x268 ~x2755 ~x1813 ~x1362 
0.76/0.82	v ~x760 ~x1143 ~x1454 ~x919 ~x2756 ~x1966 ~x983 ~x761 ~x1789 ~x1455 
0.76/0.82	v ~x32 ~x2757 ~x1366 ~x315 ~x762 ~x1295 ~x1457 ~x1139 ~x2758 ~x916 
0.76/0.82	v ~x952 ~x763 ~x798 ~x1460 ~x10 ~x2759 ~x955 ~x1371 ~x764 ~x554 
0.76/0.82	v ~x1461 ~x563 ~x2760 ~x957 ~x987 ~x765 ~x2267 ~x1462 ~x1636 ~x2761 
0.76/0.82	v ~x274 ~x287 ~x36 ~x2268 ~x1463 ~x1626 ~x2762 ~x1406 ~x962 ~x938 
0.76/0.82	v ~x2269 ~x1464 ~x1129 ~x2763 ~x1662 ~x285 ~x510 x2270 ~x1466 ~x544 
0.76/0.82	v ~x2764 ~x1664 ~x701 ~x2289 ~x2271 ~x1467 ~x1948 ~x2765 ~x1410 ~x967 
0.76/0.82	v ~x2290 ~x2272 x1468 ~x262 ~x2766 ~x109 ~x286 ~x2291 ~x2273 ~x1469 
0.76/0.82	v ~x451 ~x2767 ~x1820 ~x1379 ~x2292 ~x2274 ~x1470 ~x289 ~x2768 ~x1356 
0.76/0.82	v ~x677 ~x2293 ~x2275 ~x1471 ~x1373 ~x2769 x807 ~x688 ~x2294 ~x2276 
0.76/0.82	v ~x1473 ~x461 ~x2770 ~x1645 ~x694 ~x2295 ~x2277 ~x1474 ~x111 ~x2771 
0.76/0.82	v ~x228 ~x307 ~x2296 ~x2278 ~x1475 ~x868 x2772 ~x229 ~x279 ~x2297 
0.76/0.82	v ~x2279 ~x1476 ~x264 ~x43 ~x230 ~x676 ~x2298 ~x2280 ~x312 ~x1478 
0.76/0.82	v ~x1936 ~x296 ~x231 ~x301 ~x2299 ~x2281 ~x2883 ~x1479 ~x1382 ~x1359 
0.76/0.82	v ~x232 ~x988 ~x2300 ~x2282 ~x2884 ~x1480 ~x950 ~x811 ~x235 ~x989 
0.76/0.82	v ~x2301 ~x2283 ~x2885 ~x1481 ~x1164 ~x812 ~x236 ~x1385 ~x2302 ~x2284 
0.76/0.82	v ~x2886 ~x1483 ~x1663 ~x813 ~x238 ~x1395 ~x2303 ~x2285 ~x2887 ~x1484 
0.76/0.82	v ~x1313 ~x814 ~x239 ~x1353 ~x2304 ~x2286 ~x2888 ~x1485 ~x1035 ~x815 
0.76/0.82	v ~x242 ~x1364 ~x2305 ~x2287 ~x2889 ~x1957 ~x857 ~x816 ~x243 ~x1370 
0.76/0.82	v ~x2306 ~x2288 ~x2890 ~x434 ~x817 ~x244 ~x1377 ~x2307 ~x511 ~x2891 
0.76/0.82	v ~x500 ~x818 ~x1958 ~x246 ~x710 x2308 ~x172 ~x2892 ~x996 ~x819 
0.76/0.82	v ~x778 ~x249 ~x716 ~x2309 ~x1606 ~x2893 ~x705 ~x820 ~x1894 ~x251 
0.76/0.82	v ~x303 ~x2310 ~x1557 ~x2894 ~x1799 ~x821 x1644 ~x252 ~x684 ~x954 
0.76/0.82	v ~x1239 ~x2895 ~x138 ~x822 ~x521 ~x254 ~x713 ~x407 ~x477 ~x2896 
0.76/0.82	v ~x915 ~x823 ~x927 ~x257 ~x275 ~x2003 ~x241 ~x2897 ~x629 x824 
0.76/0.82	v ~x1838 ~x261 ~x949 ~x2004 ~x1192 ~x2898 ~x54 ~x825 ~x1016 ~x263 
0.76/0.82	v ~x961 ~x2005 ~x337 ~x2899 ~x39 ~x826 x858 ~x265 ~x276 ~x2006 
0.76/0.82	v ~x499 ~x2900 ~x233 ~x827 ~x859 ~x266 ~x295 ~x2007 ~x1394 ~x2901 
0.76/0.82	v ~x633 ~x828 ~x860 ~x270 ~x306 ~x2008 ~x1929 ~x2902 ~x176 ~x829 
0.76/0.82	v ~x861 ~x1104 ~x2009 ~x1583 x2903 ~x1045 ~x830 ~x862 ~x1124 ~x2010 
0.76/0.82	v ~x1266 ~x2904 ~x903 ~x831 ~x863 ~x715 ~x2011 ~x1980 ~x981 ~x832 
0.76/0.82	v ~x864 ~x273 x2012 ~x56 ~x519 ~x833 ~x865 ~x1870 ~x2013 ~x1754 
0.76/0.82	v ~x719 ~x834 ~x866 ~x1255 ~x931 ~x2014 ~x496 ~x1861 ~x835 ~x867 
0.76/0.82	v ~x2839 ~x1901 ~x2015 ~x870 ~x1630 ~x837 ~x869 ~x2840 ~x1100 ~x2016 
0.76/0.82	v ~x933 ~x1436 ~x838 ~x872 x2841 ~x502 ~x2017 ~x205 ~x1808 ~x839 
0.76/0.82	v ~x874 ~x2842 ~x556 ~x2018 ~x153 ~x432 ~x840 ~x876 ~x2843 ~x681 
0.76/0.82	v ~x2019 ~x354 ~x1114 ~x841 ~x877 ~x2844 ~x589 ~x2020 ~x1472 ~x926 
0.76/0.82	v ~x842 ~x878 ~x2845 ~x591 ~x2021 ~x1804 ~x1802 ~x843 ~x880 ~x2846 
0.76/0.82	v ~x592 ~x2022 ~x1311 ~x1075 ~x844 ~x881 ~x2847 ~x593 ~x2023 ~x1275 
0.76/0.82	v ~x353 ~x845 ~x882 ~x2848 ~x594 ~x2024 ~x1051 ~x1087 ~x846 ~x883 
0.76/0.82	v ~x2849 ~x599 ~x610 ~x1698 ~x166 ~x847 ~x884 ~x2850 ~x600 ~x291 
0.76/0.82	v ~x1134 ~x240 ~x848 ~x885 ~x2851 ~x607 ~x300 ~x1950 ~x1892 ~x849 
0.76/0.82	v ~x887 ~x2852 ~x608 ~x624 ~x298 ~x1037 ~x850 ~x888 ~x2853 ~x609 
0.76/0.82	v ~x2817 ~x358 ~x1038 ~x851 ~x891 ~x2854 ~x612 ~x2818 ~x1803 ~x1040 
0.76/0.82	v ~x852 ~x892 ~x2855 ~x613 ~x2819 ~x802 ~x1041 ~x853 ~x894 ~x2856 
0.76/0.82	v ~x615 x2820 ~x1711 ~x1042 ~x854 ~x895 ~x2857 ~x616 ~x2821 ~x1712 
0.76/0.82	v ~x1043 ~x855 ~x896 ~x2858 ~x618 ~x2822 ~x1713 ~x1044 ~x175 ~x897 
0.76/0.82	v ~x2859 ~x620 ~x2823 ~x1715 ~x1046 ~x1568 ~x898 ~x2860 ~x621 ~x2824 
0.76/0.82	v ~x1716 ~x1047 ~x2795 ~x899 ~x622 ~x2825 ~x1717 ~x1048 ~x2796 ~x900 
0.76/0.82	v ~x623 ~x401 ~x2826 ~x1718 ~x1049 ~x2797 x234 ~x625 x2861 ~x2827 
0.76/0.82	v ~x1719 ~x1050 ~x2798 ~x179 ~x626 ~x2862 ~x2828 ~x1720 ~x1052 ~x2799 
0.76/0.82	v ~x441 ~x627 ~x2863 ~x2829 ~x1721 x1054 ~x2800 ~x64 ~x628 ~x2864 
0.76/0.82	v ~x2830 x1722 ~x1055 ~x2801 ~x413 ~x630 ~x2865 ~x2831 ~x1723 ~x1057 
0.76/0.82	v ~x2802 ~x1402 ~x121 ~x2866 ~x2832 ~x1724 ~x1058 ~x2803 ~x290 ~x913 
0.76/0.82	v ~x2867 ~x2833 ~x1725 ~x1059 ~x2804 ~x457 ~x973 ~x2868 ~x2834 ~x1726 
0.76/0.82	v ~x1060 x2805 ~x1857 ~x1860 ~x2869 ~x2835 ~x1727 ~x1061 ~x2806 ~x1082 
0.76/0.82	v ~x1801 ~x2870 ~x2836 ~x1728 ~x1062 ~x2807 ~x935 ~x1805 ~x2871 ~x2837 
0.76/0.82	v ~x1729 ~x1064 ~x2808 ~x294 ~x1806 ~x2872 ~x2838 ~x1730 ~x1065 ~x2809 
0.76/0.82	v ~x984 ~x1809 ~x2873 ~x1755 ~x1731 ~x1066 ~x2810 ~x1432 ~x1811 ~x2874 
0.76/0.82	v ~x1658 ~x1732 ~x1067 ~x2811 ~x1384 ~x1815 ~x2875 ~x326 ~x1733 ~x1068 
0.76/0.82	v ~x2812 ~x227 ~x1822 ~x2876 ~x2201 ~x1734 ~x1069 ~x2813 ~x1887 ~x1824 
0.76/0.82	v ~x2877 ~x2202 ~x1735 ~x1070 ~x2814 ~x424 ~x1825 ~x2878 ~x2203 ~x1736 
0.76/0.82	v ~x1073 ~x2815 ~x1315 ~x1827 ~x2879 ~x2204 ~x1737 ~x1074 ~x2816 ~x73 
0.76/0.82	v x1832 ~x2880 ~x2205 ~x1738 ~x1076 ~x1546 ~x1816 ~x1833 ~x2881 ~x2206 
0.76/0.82	v ~x1739 ~x1077 ~x2311 ~x604 ~x1839 ~x2882 ~x2207 ~x1740 ~x1079 ~x2312 
0.76/0.82	v ~x308 ~x1841 ~x2208 ~x1741 ~x1080 ~x2313 ~x1429 ~x1842 ~x2209 ~x1563 
0.76/0.82	v ~x1742 ~x929 ~x2314 ~x375 ~x1843 ~x2210 ~x2685 ~x1743 ~x1669 ~x2315 
0.76/0.82	v ~x18 ~x924 ~x2211 ~x2686 ~x1744 ~x1897 ~x2316 ~x1153 ~x288 ~x2212 
0.76/0.82	v ~x2687 ~x1745 ~x27 ~x2317 ~x1367 ~x794 ~x2213 ~x2688 ~x1747 ~x664 
0.76/0.82	v x2318 ~x102 ~x717 ~x2214 ~x2689 ~x1748 ~x1241 ~x2319 ~x1925 ~x1357 
0.76/0.82	v ~x2215 ~x2690 ~x1749 ~x260 ~x2320 ~x304 ~x529 ~x2216 ~x2691 ~x1750 
0.76/0.82	v ~x428 ~x2321 ~x774 ~x796 ~x2217 ~x2692 ~x1751 ~x1692 ~x2322 ~x390 
0.76/0.82	v ~x964 ~x2218 ~x2693 ~x1752 ~x1122 ~x2323 ~x1088 ~x566 x2219 ~x2694 
0.76/0.82	v ~x1753 ~x790 ~x2324 ~x932 ~x708 ~x2220 ~x2695 ~x634 ~x631 ~x2325 
0.76/0.82	v ~x1931 ~x1637 ~x2221 ~x2696 ~x1933 ~x635 ~x2326 ~x478 ~x361 ~x2222 
0.76/0.82	v x2697 ~x793 ~x636 ~x2327 ~x1875 ~x363 ~x168 ~x2698 ~x1577 x637 
0.76/0.82	v ~x2328 ~x391 ~x369 ~x1308 ~x2699 ~x1578 ~x638 ~x2329 ~x299 ~x372 
0.76/0.82	v ~x1287 ~x2700 ~x1579 ~x639 ~x2330 ~x780 ~x373 ~x2553 ~x2701 ~x1580 
0.76/0.82	v ~x641 ~x2331 ~x135 ~x374 ~x2554 ~x2702 ~x1581 ~x642 ~x2332 ~x546 
0.76/0.82	v ~x377 ~x2555 ~x2703 ~x1582 ~x643 ~x1405 ~x1883 ~x378 ~x2556 ~x2704 
0.76/0.82	v ~x1584 ~x644 ~x1895 ~x1951 ~x383 ~x2557 ~x2705 ~x1585 ~x645 ~x2069 
0.76/0.82	v ~x137 ~x384 x2558 ~x2706 ~x1586 ~x646 x2070 ~x1019 ~x385 ~x2559 
0.76/0.82	v ~x498 ~x1587 ~x647 ~x2071 ~x784 ~x386 ~x2560 ~x2025 ~x1588 ~x648 
0.76/0.82	v ~x2072 ~x1133 ~x387 ~x2561 ~x2026 ~x1589 ~x649 ~x2073 ~x160 ~x388 
0.76/0.82	v ~x2562 ~x2027 ~x1590 ~x651 ~x2074 ~x1170 ~x392 ~x2563 ~x2028 ~x1591 
0.76/0.82	v ~x652 ~x2075 ~x520 ~x395 ~x2564 ~x2029 ~x1593 ~x653 ~x2076 ~x766 
0.76/0.82	v ~x397 ~x2565 ~x2030 ~x1594 ~x655 ~x2077 ~x7 ~x400 ~x2566 ~x2031 
0.76/0.82	v ~x1595 ~x656 ~x2078 ~x704 ~x404 ~x2567 ~x2032 ~x1598 ~x657 ~x2079 
0.76/0.82	v ~x986 ~x405 ~x2568 ~x2033 ~x1599 ~x658 ~x2080 ~x482 ~x767 ~x2569 
0.76/0.82	v ~x2034 ~x1600 ~x659 ~x2081 ~x106 ~x770 ~x2570 ~x2035 ~x1601 ~x661 
0.76/0.82	v ~x2082 ~x103 ~x772 ~x2571 ~x2036 ~x1602 ~x662 ~x2083 ~x269 ~x773 
0.76/0.82	v ~x2572 x2037 ~x1603 ~x665 ~x2084 ~x1376 ~x776 ~x2573 ~x2038 ~x1604 
0.76/0.82	v ~x666 ~x2085 ~x302 ~x777 ~x2574 ~x2039 ~x1605 ~x667 ~x2086 ~x105 
0.76/0.82	v ~x781 ~x437 ~x2040 ~x1607 ~x669 ~x2087 ~x905 ~x783 ~x768 ~x2041 
0.76/0.82	v ~x1608 ~x670 ~x2088 ~x1871 ~x785 ~x196 ~x2042 ~x1609 ~x671 ~x2089 
0.76/0.82	v ~x678 ~x786 ~x1856 ~x2043 ~x1610 ~x672 ~x2090 ~x1837 ~x787 ~x1286 
0.76/0.82	v ~x2044 ~x1611 ~x673 ~x271 ~x788 ~x1921 ~x2045 ~x1612 ~x675 ~x1665 
0.76/0.82	v ~x789 x1431 ~x2641 ~x2046 ~x1613 ~x1693 ~x693 ~x791 ~x1652 x2642 
0.76/0.82	v ~x1944 ~x1614 ~x575 ~x501 ~x792 ~x640 ~x2643 ~x2157 ~x1615 ~x87 
0.76/0.82	v ~x769 ~x799 ~x250 ~x2644 ~x2158 ~x1616 ~x936 ~x602 ~x806 ~x2509 
0.76/0.82	v ~x2645 ~x2159 ~x1617 ~x1383 ~x560 x1106 ~x2510 ~x2646 ~x2160 ~x1618 
0.76/0.82	v ~x1783 ~x1840 ~x943 ~x2511 ~x2647 ~x2161 ~x1619 ~x958 ~x1904 ~x1941 
0.76/0.82	v ~x2512 ~x2648 ~x2162 ~x1620 ~x779 ~x470 ~x682 ~x2513 ~x2649 ~x2163 
0.76/0.82	v x2245 ~x1101 ~x1831 ~x6 ~x2514 ~x2650 ~x2164 ~x2246 ~x1771 ~x1427 
0.76/0.82	v ~x1847 ~x2515 ~x2651 ~x2165 ~x2247 ~x549 ~x1017 ~x29 ~x2516 ~x2652 
0.76/0.82	v ~x2166 ~x2248 ~x1826 ~x1818 ~x1386 ~x2517 ~x2653 ~x2167 ~x2249 ~x490 
0.76/0.82	v ~x535 ~x1081 ~x2518 ~x2654 ~x2168 ~x2250 ~x1408 ~x1093 ~x1083 ~x2519 
0.76/0.82	v ~x2655 ~x2169 ~x2251 ~x352 ~x381 ~x1086 ~x2520 ~x2656 ~x2170 ~x2252 
0.76/0.82	v ~x1625 ~x1145 ~x1090 ~x2521 ~x2657 ~x2171 ~x2253 ~x1864 ~x1967 ~x1094 
0.76/0.82	v ~x2522 ~x2658 ~x2172 ~x2254 ~x1865 ~x267 ~x1095 ~x2523 ~x2659 x2173 
0.76/0.82	v ~x2255 ~x1084 ~x1418 ~x1097 x2524 ~x2660 ~x2174 ~x2256 ~x565 ~x991 
0.76/0.82	v ~x1099 ~x2525 ~x2661 ~x2175 ~x2257 ~x1169 ~x992 ~x1102 ~x2526 ~x2662 
0.76/0.82	v ~x2176 ~x2258 ~x118 ~x993 ~x1103 ~x2527 ~x1746 ~x2177 ~x2259 ~x702 
0.76/0.82	v ~x994 ~x1108 ~x2528 ~x376 ~x2178 ~x2260 ~x1109 ~x995 ~x1110 ~x2529 
0.76/0.82	v ~x1955 ~x2261 ~x893 ~x997 ~x1112 ~x2530 ~x720 ~x2262 ~x68 ~x245 
0.76/0.82	v ~x998 ~x1117 ~x50 ~x1597 ~x2263 ~x2465 ~x1814 ~x999 ~x1118 ~x700 
0.76/0.82	v ~x1115 ~x2264 ~x2466 ~x1217 ~x1001 ~x1119 ~x1640 ~x2729 ~x2265 ~x2467 
0.76/0.82	v ~x1352 ~x1002 ~x972 ~x2399 ~x2730 ~x2266 ~x2468 ~x582 ~x1004 ~x1900 
0.76/0.82	v ~x2400 ~x2731 ~x1027 ~x2469 ~x1912 ~x1006 ~x1401 ~x2401 ~x2732 ~x1884 
0.76/0.82	v ~x2470 ~x107 ~x1008 ~x564 ~x2402 ~x2733 ~x577 ~x2471 ~x901 ~x1009 
0.76/0.82	v ~x1863 ~x2403 ~x2734 ~x1667 ~x2472 ~x1908 ~x1010 ~x558 ~x2404 ~x2735 
0.76/0.82	v ~x438 ~x2473 ~x23 ~x1011 ~x679 ~x2405 ~x2736 ~x969 ~x2474 ~x1365 
0.76/0.82	v ~x1012 ~x711 ~x2406 ~x2737 ~x668 ~x2475 ~x436 ~x1014 ~x283 ~x2407 
0.76/0.82	v ~x2738 ~x810 ~x2476 ~x389 ~x1015 ~x1852 ~x2408 ~x2739 ~x1072 ~x2477 
0.76/0.82	v x1666 ~x1020 ~x1437 x2409 ~x2740 x619 ~x2478 ~x1668 ~x1022 ~x1893 
0.76/0.82	v ~x2410 ~x2741 ~x1003 ~x2479 ~x1670 ~x1026 ~x1952 ~x2411 x2742 ~x1844 
0.76/0.82	v ~x2480 ~x1671 ~x1029 ~x112 ~x2412 ~x2743 ~x945 ~x2481 ~x1672 ~x1031 
0.76/0.82	v ~x314 ~x2413 ~x2744 ~x248 ~x2482 ~x1673 ~x1032 ~x1891 ~x2414 ~x2745 
0.76/0.82	v ~x1272 ~x2483 ~x1675 ~x1033 ~x1896 ~x2415 ~x2746 ~x974 ~x2484 ~x1676 
0.76/0.82	v ~x1140 ~x1903 ~x2416 ~x2747 ~x660 ~x2485 ~x1677 ~x1964 ~x1909 ~x2417 

OK	0

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (61552 MiB free)
  memory of node 1: 64465 MiB (62747 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4527825-1752238747/watcher-4527825-1752238747 -o /tmp/evaluation-result-4527825-1752238747/solver-4527825-1752238747 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1752238743-113825 --watchdog 3760 pb_picat HOME/instance-4527825-1752238747.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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=114060, runsolver pid=114054

[startup+0.10006 s]*
/proc/loadavg: 1.31 1.48 2.26 6/265 114062
/proc/meminfo: memFree=127262336/131250000 swapFree=33010684/33010684
[pid=114060] ppid=114054 vsize=2027148 memory=40204 CPUtime=0.08 cores=1,3
/proc/114060/stat : 114060 (pb_picat) R 114054 114060 112314 0 -1 4194304 1004 0 0 0 8 0 0 0 20 0 1 0 139497179 2075799552 10051 18446744073709551615 94856649056256 94856650457837 140726431549296 0 0 0 0 0 8389634 0 0 0 17 3 0 0 0 0 0 94856650729264 94856652603504 94856672043008 140726431558044 140726431558120 140726431558120 140726431563724 0
/proc/114060/statm: 506787 10051 1568 343 0 503851 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 40204 KiB

[startup+0.205896 s]*
/proc/loadavg: 1.31 1.48 2.26 6/265 114062
/proc/meminfo: memFree=127258240/131250000 swapFree=33010684/33010684
[pid=114060] ppid=114054 vsize=2031060 memory=45352 CPUtime=0.18 cores=1,3
/proc/114060/stat : 114060 (pb_picat) R 114054 114060 112314 0 -1 4194304 1865 0 0 0 17 1 0 0 20 0 1 0 139497179 2079805440 11338 18446744073709551615 94856649056256 94856650457837 140726431549296 0 0 0 0 0 8389634 0 0 0 17 3 0 0 0 0 0 94856650729264 94856652603504 94856672043008 140726431558044 140726431558120 140726431558120 140726431563724 0
/proc/114060/statm: 507765 11338 1664 343 0 504829 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 2031060 KiB
Current children cumulated memory: 45352 KiB

[startup+0.305588 s]*
/proc/loadavg: 1.31 1.48 2.26 6/265 114062
/proc/meminfo: memFree=127258240/131250000 swapFree=33010684/33010684
[pid=114060] ppid=114054 vsize=2031132 memory=45904 CPUtime=0.28 cores=1,3
/proc/114060/stat : 114060 (pb_picat) R 114054 114060 112314 0 -1 4194304 2647 0 0 0 27 1 0 0 20 0 1 0 139497179 2079879168 11476 18446744073709551615 94856649056256 94856650457837 140726431549296 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94856650729264 94856652603504 94856672043008 140726431558044 140726431558120 140726431558120 140726431563724 0
/proc/114060/statm: 507783 11476 1664 343 0 504847 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 2031132 KiB
Current children cumulated memory: 45904 KiB

[startup+0.700104 s]
/proc/loadavg: 1.31 1.48 2.26 6/265 114062
/proc/meminfo: memFree=127257988/131250000 swapFree=33010684/33010684
[pid=114060] ppid=114054 vsize=2032772 memory=48276 CPUtime=0.66 cores=1,3
/proc/114060/stat : 114060 (pb_picat) R 114054 114060 112314 0 -1 4194304 5117 0 0 0 65 1 0 0 20 0 1 0 139497179 2081558528 12069 18446744073709551615 94856649056256 94856650457837 140726431549296 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94856650729264 94856652603504 94856672043008 140726431558044 140726431558120 140726431558120 140726431563724 0
/proc/114060/statm: 508193 12069 1664 343 0 505257 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 2032772 KiB
Current children cumulated memory: 48276 KiB

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

# cumulated CPU time of all completed processes:  user=0.782796 s, system=0.022922 s

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

[startup+0.800111 s]
/proc/loadavg: 1.31 1.48 2.26 6/265 114062
/proc/meminfo: memFree=127257988/131250000 swapFree=33010684/33010684
[pid=114060] ppid=114054 vsize=2037380 memory=50196 CPUtime=0.76 cores=1,3
/proc/114060/stat : 114060 (pb_picat) R 114054 114060 112314 0 -1 4194304 5631 0 0 0 75 1 0 0 20 0 1 0 139497179 2086277120 12549 18446744073709551615 94856649056256 94856650457837 140726431549296 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94856650729264 94856652603504 94856672043008 140726431558044 140726431558120 140726431558120 140726431563724 0
/proc/114060/statm: 509345 12549 1664 343 0 506409 0
Current children cumulated CPU time: 0.76 s
Current children cumulated vsize: 2037380 KiB
Current children cumulated memory: 50196 KiB

Child status: 0

Real time (s): 0.829108
CPU time (s): 0.805718
CPU user time (s): 0.782796
CPU system time (s): 0.022922
CPU usage (%): 97.1789
Max. virtual memory (cumulated for all children) (KiB): 2037380
Max. memory (cumulated for all children) (KiB): 50196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.782796
system time used= 0.022922
maximum resident set size= 50196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5849
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= 108
involuntary context switches= 12


# summary of solver processes directly reported to runsolver:
#   pid: 114060
#   total CPU time (s): 0.805718
#   total CPU user time (s): 0.782796
#   total CPU system time (s): 0.022922

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.009345 second user time and 0.037355 second system time

The end

Begin job on nodeC028 at 2025-07-11 14:59:07
IDJOB=4527825
IDBENCH=147816
IDSOLVER=3385
FILE ID=nodeC028/4527825-1752238747
RUNJOBID= nodeC028-1752238743-113825
SLURM_JOB_ID= 9682539
Free space on /tmp= 431188 MiB

SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga45_44_sat_pb.cnf.cr.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4527825-1752238747/watcher-4527825-1752238747 -o /tmp/evaluation-result-4527825-1752238747/solver-4527825-1752238747 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1752238743-113825 --watchdog 3760  pb_picat HOME/instance-4527825-1752238747.opb

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

MD5SUM BENCH= 22ff1b27b1346b420f30d5bfddd05ac2
RANDOM SEED=756651592

nodeC028 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.087
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	: 7000.16
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		: 3600.149
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	: 7000.16
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		: 3617.034
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	: 7000.16
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		: 3604.212
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	: 7000.16
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		: 3600.085
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	: 7000.16
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		: 3600.142
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	: 7000.16
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		: 3606.298
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	: 7000.16
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.094
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	: 7000.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        127282588 kB
MemAvailable:   129672588 kB
Buffers:            3280 kB
Cached:          3188064 kB
SwapCached:            0 kB
Active:           434636 kB
Inactive:        2875108 kB
Active(anon):     136476 kB
Inactive(anon):        0 kB
Active(file):     298160 kB
Inactive(file):  2875108 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             15476 kB
Writeback:            40 kB
AnonPages:        121564 kB
Mapped:           112504 kB
Shmem:             18068 kB
KReclaimable:     111940 kB
Slab:             204548 kB
SReclaimable:     111940 kB
SUnreclaim:        92608 kB
KernelStack:        4280 kB
PageTables:         3576 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    4432176 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150472 kB
VmallocChunk:          0 kB
Percpu:             3904 kB
HardwareCorrupted:     0 kB
AnonHugePages:     45056 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:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431180 MiB
End job on nodeC028 at 2025-07-11 14:59:08