0.00/0.00 c PRINTEMPS v2.7.0 (https://snowberryfield.github.io/printemps/)
6.92/4.95 c #variable: 2800
6.92/4.95 c #constraint: 990001
6.92/4.95 c #equal: 81
6.92/4.95 c intsize: 11
6.92/4.95 c sizeproduct: 0
6.92/4.95 c #soft: 0
6.92/4.95 c mincost: 0
6.92/4.95 c maxcost: 0
6.92/4.95 c sumcost: 0
6.92/4.95 c iteration_max: -1
6.92/4.95 c time_max: -1
6.92/4.95 c number_of_threads(move update): 2
6.92/4.95 c number_of_threads(move evaluation): 2
6.92/4.95 c seed: 2106321237
38.25/35.18 o 0
39.15/36.06 s SATISFIABLE
39.15/36.06 v x1 -x10 -x100 x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x101 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x102 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x103 -x1030 -x1031 -x1032 -x1033 -x1034 x1035 -x1036 -x1037 -x1038 -x1039 -x104 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x105 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x106 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x107 -x1070 -x1071 x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x108 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 x109 x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x11 -x110 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x111 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x112 -x1120 -x1121 -x1122 x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x113 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x114 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x115 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x116 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x117 -x1170 x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x118 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x119 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x12 -x120 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x121 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 x1217 -x1218 -x1219 -x122 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x123 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x124 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 x125 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x126 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 x1266 -x1267 -x1268 -x1269 -x127 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x128 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x129 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x13 -x130 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x131 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 x1316 -x1317 -x1318 -x1319 -x132 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 x1329 -x133 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x134 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x135 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x136 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x137 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x138 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x139 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 x1397 -x1398 -x1399 -x14 -x140 -x1400 -x1401 -x1402 -x1403 x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x141 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x142 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x143 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x144 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x145 -x1450 -x1451 -x1452 -x1453 x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x146 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x147 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x148 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x149 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x15 -x150 -x1500 -x1501 -x1502 -x1503 x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x151 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x152 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x153 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x154 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 x1548 -x1549 -x155 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x156 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x157 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 x1579 -x158 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x159 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x16 -x160 -x1600 -x1601 x1602 x1603 -x1604 -x1605 x1606 -x1607 -x1608 -x1609 -x161 -x1610 -x1611 -x1612 x1613 x1614 -x1615 -x1616 -x1617 x1618 -x1619 x162 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 x1629 -x163 x1630 -x1631 -x1632 x1633 x1634 -x1635 x1636 -x1637 -x1638 -x1639 -x164 -x1640 -x1641 -x1642 -x1643 -x1644 x1645 -x1646 -x1647 -x1648 -x1649 -x165 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x166 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x167 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x168 -x1680 -x1681 x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x169 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x17 -x170 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x171 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 x1719 -x172 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 x1726 -x1727 -x1728 x1729 -x173 -x1730 x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x174 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x175 x1750 -x1751 x1752 -x1753 x1754 -x1755 -x1756 -x1757 x1758 -x1759 -x176 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x177 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x178 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x179 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x18 -x180 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x181 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 x1819 -x182 -x1820 -x1821 x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x183 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x184 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x185 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x186 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x187 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x188 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x189 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x19 -x190 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x191 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x192 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 x1928 -x1929 -x193 -x1930 -x1931 x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x194 x1940 -x1941 x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x195 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x196 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x197 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 x1978 -x1979 -x198 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x199 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2 -x20 -x200 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x201 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x202 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x203 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x204 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x205 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x206 -x2060 -x2061 -x2062 x2063 -x2064 x2065 -x2066 -x2067 -x2068 -x2069 -x207 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x208 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x209 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x21 -x210 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x211 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 x2118 -x2119 x212 -x2120 -x2121 -x2122 -x2123 -x2124 x2125 -x2126 x2127 x2128 -x2129 -x213 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x214 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x215 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x216 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 x2166 -x2167 -x2168 -x2169 -x217 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x218 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x219 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x22 -x220 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x221 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x222 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x223 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x224 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x225 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x226 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 x2266 -x2267 -x2268 -x2269 -x227 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x228 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x229 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x23 -x230 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x231 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x232 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x233 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 x2339 -x234 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x235 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x236 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x237 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x238 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x239 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x24 -x240 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x241 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x242 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x243 -x2430 -x2431 -x2432 -x2433 -x2434 x2435 -x2436 -x2437 -x2438 -x2439 -x244 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x245 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x246 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x247 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x248 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x249 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x25 -x250 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x251 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x252 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x253 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x254 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x255 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x256 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x257 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 x258 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x259 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x26 -x260 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x261 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 x2616 -x2617 -x2618 -x2619 -x262 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x263 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x264 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x265 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x266 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x267 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x268 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x269 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x27 -x270 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x271 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x272 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x273 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x274 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x275 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x276 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x277 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x278 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x279 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x28 -x280 -x2800 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x29 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x3 -x30 -x300 -x301 -x302 -x303 -x304 x305 -x306 -x307 -x308 -x309 -x31 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x32 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x33 -x330 -x331 -x332 -x333 -x334 -x335 x336 -x337 -x338 -x339 -x34 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x35 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x36 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x37 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x38 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x39 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 x399 -x4 -x40 -x400 -x401 -x402 -x403 -x404 -x405 x406 -x407 -x408 -x409 -x41 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x42 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x43 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x44 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 x448 -x449 -x45 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x46 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x47 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x48 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x49 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x5 -x50 -x500 -x501 x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x51 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x52 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x53 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x54 x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x55 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x56 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x57 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x58 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x59 -x590 -x591 -x592 x593 -x594 -x595 -x596 -x597 -x598 -x599 -x6 -x60 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x61 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x62 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 x63 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 x638 -x639 -x64 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x65 -x650 -x651 -x652 -x653 -x654 x655 -x656 -x657 -x658 -x659 -x66 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x67 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x68 -x680 -x681 -x682 -x683 -x684 -x685 -x686 x687 -x688 -x689 -x69 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x7 -x70 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x71 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x72 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x73 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x74 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x75 -x750 x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x76 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x77 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x78 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x79 x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x8 -x80 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x81 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x82 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x83 -x830 -x831 -x832 -x833 x834 -x835 -x836 -x837 -x838 -x839 -x84 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x85 -x850 -x851 -x852 x853 -x854 -x855 -x856 -x857 -x858 -x859 -x86 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x87 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x88 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x89 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x9 -x90 -x900 -x901 -x902 -x903 -x904 -x905 -x906 x907 -x908 -x909 -x91 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x92 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x93 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x94 -x940 x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x95 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x96 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x97 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x98 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x99 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999
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: 63837 MiB (55399 MiB free)
memory of node 1: 64465 MiB (56247 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4494378-1751150786/watcher-4494378-1751150786 -o /tmp/evaluation-result-4494378-1751150786/solver-4494378-1751150786 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751145166-15175 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 2106321237 HOME/instance-4494378-1751150786.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=16181, runsolver pid=16178
[startup+0.100071 s]*
/proc/loadavg: 5.76 6.86 7.06 7/252 16182
/proc/meminfo: memFree=114302092/131382120 swapFree=33010684/33010684
[pid=16181] ppid=16178 vsize=39648 memory=36540 CPUtime=0.1 cores=5,7
/proc/16181/stat : 16181 (pb_competition_) R 16178 16181 15162 0 -1 4194304 7135 0 0 0 7 3 0 0 20 0 1 0 30757745 40599552 9135 18446744073709551615 4198400 6788177 140735599249632 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 7336896 7391280 8458240 140735599257945 140735599258072 140735599258072 140735599263674 0
/proc/16181/statm: 9912 9135 576 633 0 9128 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39648 KiB
Current children cumulated memory: 36540 KiB
[startup+0.21323 s]*
/proc/loadavg: 5.76 6.86 7.06 5/252 16182
/proc/meminfo: memFree=114192644/131382120 swapFree=33010684/33010684
[pid=16181] ppid=16178 vsize=169936 memory=154716 CPUtime=0.2 cores=5,7
/proc/16181/stat : 16181 (pb_competition_) S 16178 16181 15162 0 -1 4194304 15750 0 0 0 14 6 0 0 20 0 2 0 30757745 174014464 38679 18446744073709551615 4198400 6788177 140735599249632 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 7336896 7391280 8458240 140735599257945 140735599258072 140735599258072 140735599263674 0
/proc/16181/statm: 42484 38679 576 633 0 41699 0
[pid=16181/tid=16183] ppid=16178 vsize=169936 memory=664958721904869660 CPUtime=0 cores=5,7
/proc/16181/task/16183/stat : 16183 (pb_competition_) R 16178 16181 15162 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 30757766 174014464 38679 18446744073709551615 4198400 6788177 140735599249632 0 0 0 2147221247 0 0 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 8458240 140735599257945 140735599258072 140735599258072 140735599263674 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 169936 KiB
Current children cumulated memory: 154716 KiB
[startup+0.313361 s]*
/proc/loadavg: 5.76 6.86 7.06 8/253 16183
/proc/meminfo: memFree=114172736/131382120 swapFree=33010684/33010684
[pid=16181] ppid=16178 vsize=252236 memory=177116 CPUtime=0.4 cores=5,7
/proc/16181/stat : 16181 (pb_competition_) R 16178 16181 15162 0 -1 4194304 21332 0 0 0 32 8 0 0 20 0 2 0 30757745 258289664 44279 18446744073709551615 4198400 6788177 140735599249632 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 7336896 7391280 8458240 140735599257945 140735599258072 140735599258072 140735599263674 0
/proc/16181/statm: 63059 44279 576 633 0 47277 0
[pid=16181/tid=16183] ppid=16178 vsize=252236 memory=7971801804623200619 CPUtime=0.08 cores=5,7
/proc/16181/task/16183/stat : 16183 (pb_competition_) R 16178 16181 15162 0 -1 4194368 1388 0 0 0 8 0 0 0 20 0 2 0 30757766 258289664 44279 18446744073709551615 4198400 6788177 140735599249632 0 0 0 0 0 0 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 8458240 140735599257945 140735599258072 140735599258072 140735599263674 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 252236 KiB
Current children cumulated memory: 177116 KiB
[startup+0.70029 s]
/proc/loadavg: 5.76 6.86 7.06 8/253 16183
/proc/meminfo: memFree=114144604/131382120 swapFree=33010684/33010684
[pid=16181] ppid=16178 vsize=313484 memory=260828 CPUtime=1.11 cores=5,7
/proc/16181/stat : 16181 (pb_competition_) R 16178 16181 15162 0 -1 4194304 42269 0 0 0 98 13 0 0 20 0 2 0 30757745 321007616 65207 18446744073709551615 4198400 6788177 140735599249632 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 7336896 7391280 8458240 140735599257945 140735599258072 140735599258072 140735599263674 0
/proc/16181/statm: 78371 65207 576 633 0 68196 0
[pid=16181/tid=16183] ppid=16178 vsize=313484 memory=17152 CPUtime=0.42 cores=5,7
/proc/16181/task/16183/stat : 16183 (pb_competition_) R 16178 16181 15162 0 -1 4194368 6995 0 0 0 39 3 0 0 20 0 2 0 30757766 321007616 65207 18446744073709551615 4198400 6788177 140735599249632 0 0 0 0 0 0 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 8458240 140735599257945 140735599258072 140735599258072 140735599263674 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 313484 KiB
Current children cumulated memory: 260828 KiB
[startup+1.50022 s]
/proc/loadavg: 5.76 6.86 7.06 7/253 16183
/proc/meminfo: memFree=114024652/131382120 swapFree=33010684/33010684
[pid=16181] ppid=16178 vsize=463236 memory=423644 CPUtime=2.35 cores=5,7
/proc/16181/stat : 16181 (pb_competition_) S 16178 16181 15162 0 -1 4194304 83860 0 0 0 212 23 0 0 20 0 2 0 30757745 474353664 105911 18446744073709551615 4198400 6788177 140735599249632 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 7336896 7391280 8458240 140735599257945 140735599258072 140735599258072 140735599263674 0
/proc/16181/statm: 115809 105911 576 633 0 108904 0
[pid=16181/tid=16183] ppid=16178 vsize=463236 memory=17152 CPUtime=1.21 cores=5,7
/proc/16181/task/16183/stat : 16183 (pb_competition_) R 16178 16181 15162 0 -1 4194368 27545 0 0 0 111 10 0 0 20 0 2 0 30757766 474353664 105911 18446744073709551615 4198400 6788177 140735599249632 0 0 0 0 0 0 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 8458240 140735599257945 140735599258072 140735599258072 140735599263674 0
Current children cumulated CPU time: 2.35 s
Current children cumulated vsize: 463236 KiB
Current children cumulated memory: 423644 KiB
[startup+3.1172 s]
/proc/loadavg: 5.76 6.86 7.06 7/253 16183
/proc/meminfo: memFree=113190600/131382120 swapFree=33010684/33010684
[pid=16181] ppid=16178 vsize=1227668 memory=1207032 CPUtime=4.1 cores=5,7
/proc/16181/stat : 16181 (pb_competition_) R 16178 16181 15162 0 -1 4194304 224344 0 0 0 357 53 0 0 20 0 2 0 30757745 1257132032 301758 18446744073709551615 4198400 6788177 140735599249632 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 7336896 7391280 8458240 140735599257945 140735599258072 140735599258072 140735599263674 0
/proc/16181/statm: 306917 301758 608 633 0 303307 0
[pid=16181/tid=16183] ppid=16178 vsize=1227668 memory=0 CPUtime=1.85 cores=5,7
/proc/16181/task/16183/stat : 16183 (pb_competition_) R 16178 16181 15162 0 -1 4194368 49811 0 0 0 169 16 0 0 20 0 2 0 30757766 1257132032 301758 18446744073709551615 4198400 6788177 140735599249632 0 0 0 0 0 0 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 8458240 140735599257945 140735599258072 140735599258072 140735599263674 0
Current children cumulated CPU time: 4.1 s
Current children cumulated vsize: 1227668 KiB
Current children cumulated memory: 1207032 KiB
[startup+6.30035 s]
/proc/loadavg: 5.78 6.84 7.06 7/253 16183
/proc/meminfo: memFree=112749436/131382120 swapFree=33010684/33010684
[pid=16181] ppid=16178 vsize=1560288 memory=1530912 CPUtime=8.32 cores=5,7
/proc/16181/stat : 16181 (pb_competition_) R 16178 16181 15162 0 -1 4194304 420697 0 0 0 748 84 0 0 20 0 2 0 30757745 1597734912 382728 18446744073709551615 4198400 6788177 140735599249632 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 8458240 140735599257945 140735599258072 140735599258072 140735599263674 0
/proc/16181/statm: 390072 382728 640 633 0 385040 0
[pid=16181/tid=16183] ppid=16178 vsize=1560288 memory=1510432 CPUtime=3.66 cores=5,7
/proc/16181/task/16183/stat : 16183 (pb_competition_) S 16178 16181 15162 0 -1 4194368 112900 0 0 0 335 31 0 0 20 0 2 0 30757766 1597734912 382760 18446744073709551615 4198400 6788177 140735599249632 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 8458240 140735599257945 140735599258072 140735599258072 140735599263674 0
Current children cumulated CPU time: 8.32 s
Current children cumulated vsize: 1560288 KiB
Current children cumulated memory: 1530912 KiB
[startup+12.7004 s]
/proc/loadavg: 5.72 6.81 7.05 6/253 16183
/proc/meminfo: memFree=112201244/131382120 swapFree=33010684/33010684
[pid=16181] ppid=16178 vsize=2090292 memory=2050536 CPUtime=14.68 cores=5,7
/proc/16181/stat : 16181 (pb_competition_) R 16178 16181 15162 0 -1 4194304 694275 0 0 0 1356 112 0 0 20 0 2 0 30757745 2140459008 512634 18446744073709551615 4198400 6788177 140735599249632 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 8458240 140735599257945 140735599258072 140735599258072 140735599263674 0
/proc/16181/statm: 522573 512634 640 633 0 517541 0
[pid=16181/tid=16183] ppid=16178 vsize=2090292 memory=6388 CPUtime=3.66 cores=5,7
/proc/16181/task/16183/stat : 16183 (pb_competition_) S 16178 16181 15162 0 -1 4194368 112900 0 0 0 335 31 0 0 20 0 2 0 30757766 2140459008 512634 18446744073709551615 4198400 6788177 140735599249632 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 8458240 140735599257945 140735599258072 140735599258072 140735599263674 0
Current children cumulated CPU time: 14.68 s
Current children cumulated vsize: 2090292 KiB
Current children cumulated memory: 2050536 KiB
[startup+25.5004 s]
/proc/loadavg: 5.56 6.72 7.01 6/253 16184
/proc/meminfo: memFree=111176992/131382120 swapFree=33010684/33010684
[pid=16181] ppid=16178 vsize=3118684 memory=3078852 CPUtime=28.26 cores=5,7
/proc/16181/stat : 16181 (pb_competition_) R 16178 16181 15162 0 -1 4194304 1109657 0 0 0 2669 157 0 0 20 0 2 0 30757745 3193532416 769713 18446744073709551615 4198400 6788177 140735599249632 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 8458240 140735599257945 140735599258072 140735599258072 140735599263674 0
/proc/16181/statm: 779671 769713 640 633 0 774639 0
[pid=16181/tid=16183] ppid=16178 vsize=3118684 memory=3078852 CPUtime=4.68 cores=5,7
/proc/16181/task/16183/stat : 16183 (pb_competition_) S 16178 16181 15162 0 -1 4194368 120676 0 0 0 435 33 0 0 20 0 2 0 30757766 3193532416 769713 18446744073709551615 4198400 6788177 140735599249632 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 8458240 140735599257945 140735599258072 140735599258072 140735599263674 0
Current children cumulated CPU time: 28.26 s
Current children cumulated vsize: 3118684 KiB
Current children cumulated memory: 3078852 KiB
[startup+37.7277 s]
# the end of solver process 16181 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=38.8018 s, system=2.04578 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6005 s]
/proc/loadavg: 5.56 6.72 7.01 6/253 16184
/proc/meminfo: memFree=111176992/131382120 swapFree=33010684/33010684
[pid=16181] ppid=16178 vsize=3118684 memory=3078852 CPUtime=28.36 cores=5,7
/proc/16181/stat : 16181 (pb_competition_) R 16178 16181 15162 0 -1 4194304 1109657 0 0 0 2679 157 0 0 20 0 2 0 30757745 3193532416 769713 18446744073709551615 4198400 6788177 140735599249632 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 8458240 140735599257945 140735599258072 140735599258072 140735599263674 0
/proc/16181/statm: 779671 769713 640 633 0 774639 0
[pid=16181/tid=16183] ppid=16178 vsize=3118684 memory=0 CPUtime=4.68 cores=5,7
/proc/16181/task/16183/stat : 16183 (pb_competition_) S 16178 16181 15162 0 -1 4194368 120676 0 0 0 435 33 0 0 20 0 2 0 30757766 3193532416 769713 18446744073709551615 4198400 6788177 140735599249632 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 8458240 140735599257945 140735599258072 140735599258072 140735599263674 0
Current children cumulated CPU time: 28.36 s
Current children cumulated vsize: 3118684 KiB
Current children cumulated memory: 3078852 KiB
[startup+32.0003 s]*
/proc/loadavg: 5.52 6.69 7.00 6/253 16184
/proc/meminfo: memFree=111284404/131382120 swapFree=33010684/33010684
[pid=16181] ppid=16178 vsize=3118684 memory=3078852 CPUtime=35.07 cores=5,7
/proc/16181/stat : 16181 (pb_competition_) R 16178 16181 15162 0 -1 4194304 1184299 0 0 0 3347 160 0 0 20 0 2 0 30757745 3193532416 769713 18446744073709551615 4198400 6788177 140735599249632 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 8458240 140735599257945 140735599258072 140735599258072 140735599263674 0
/proc/16181/statm: 779671 769713 640 633 0 774639 0
[pid=16181/tid=16183] ppid=16178 vsize=3118684 memory=7971801804623200619 CPUtime=5.05 cores=5,7
/proc/16181/task/16183/stat : 16183 (pb_competition_) S 16178 16181 15162 0 -1 4194368 120683 0 0 0 472 33 0 0 20 0 2 0 30757766 3193532416 769713 18446744073709551615 4198400 6788177 140735599249632 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 8458240 140735599257945 140735599258072 140735599258072 140735599263674 0
Current children cumulated CPU time: 35.07 s
Current children cumulated vsize: 3118684 KiB
Current children cumulated memory: 3078852 KiB
[startup+35.2003 s]
/proc/loadavg: 5.48 6.67 6.99 6/253 16184
/proc/meminfo: memFree=111086984/131382120 swapFree=33010684/33010684
[pid=16181] ppid=16178 vsize=3257576 memory=3217644 CPUtime=38.34 cores=5,7
/proc/16181/stat : 16181 (pb_competition_) R 16178 16181 15162 0 -1 4194304 1284890 0 0 0 3666 168 0 0 20 0 2 0 30757745 3335757824 804411 18446744073709551615 4198400 6788177 140735599249632 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 8458240 140735599257945 140735599258072 140735599258072 140735599263674 0
/proc/16181/statm: 814394 804411 640 633 0 809362 0
[pid=16181/tid=16183] ppid=16178 vsize=3257576 memory=3078852 CPUtime=5.15 cores=5,7
/proc/16181/task/16183/stat : 16183 (pb_competition_) S 16178 16181 15162 0 -1 4194368 120775 0 0 0 482 33 0 0 20 0 2 0 30757766 3335757824 804411 18446744073709551615 4198400 6788177 140735599249632 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 8458240 140735599257945 140735599258072 140735599258072 140735599263674 0
Current children cumulated CPU time: 38.34 s
Current children cumulated vsize: 3257576 KiB
Current children cumulated memory: 3217644 KiB
[startup+36.8003 s]
/proc/loadavg: 5.48 6.67 6.99 6/253 16184
/proc/meminfo: memFree=111103364/131382120 swapFree=33010684/33010684
[pid=16181] ppid=16178 vsize=3002380 memory=2962632 CPUtime=39.94 cores=5,7
/proc/16181/stat : 16181 (pb_competition_) R 16178 16181 15162 0 -1 4194304 1450316 0 0 0 3815 179 0 0 20 0 2 0 30757745 3074437120 740658 18446744073709551615 4198400 6788177 140735599249632 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 8458240 140735599257945 140735599258072 140735599258072 140735599263674 0
/proc/16181/statm: 750595 740658 640 633 0 745563 0
[pid=16181/tid=16183] ppid=16178 vsize=3002380 memory=3078852 CPUtime=5.15 cores=5,7
/proc/16181/task/16183/stat : 16183 (pb_competition_) S 16178 16181 15162 0 -1 4194368 120775 0 0 0 482 33 0 0 20 0 2 0 30757766 3074437120 740658 18446744073709551615 4198400 6788177 140735599249632 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 8458240 140735599257945 140735599258072 140735599258072 140735599263674 0
Current children cumulated CPU time: 39.94 s
Current children cumulated vsize: 3002380 KiB
Current children cumulated memory: 2962632 KiB
[startup+37.2003 s]
/proc/loadavg: 5.48 6.67 6.99 6/253 16184
/proc/meminfo: memFree=111237316/131382120 swapFree=33010684/33010684
[pid=16181] ppid=16178 vsize=3002380 memory=2962632 CPUtime=40.34 cores=5,7
/proc/16181/stat : 16181 (pb_competition_) R 16178 16181 15162 0 -1 4194304 1454872 0 0 0 3855 179 0 0 20 0 2 0 30757745 3074437120 740658 18446744073709551615 4198400 6788177 140735599249632 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 8458240 140735599257945 140735599258072 140735599258072 140735599263674 0
/proc/16181/statm: 750595 740658 640 633 0 745563 0
[pid=16181/tid=16183] ppid=16178 vsize=3002380 memory=3978708397888650867 CPUtime=5.15 cores=5,7
/proc/16181/task/16183/stat : 16183 (pb_competition_) S 16178 16181 15162 0 -1 4194368 120775 0 0 0 482 33 0 0 20 0 2 0 30757766 3074437120 740658 18446744073709551615 4198400 6788177 140735599249632 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 8458240 140735599257945 140735599258072 140735599258072 140735599263674 0
Current children cumulated CPU time: 40.34 s
Current children cumulated vsize: 3002380 KiB
Current children cumulated memory: 2962632 KiB
[startup+37.6344 s]
/proc/loadavg: 5.48 6.67 6.99 5/253 16184
/proc/meminfo: memFree=111965644/131382120 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+37.7003 s]
/proc/loadavg: 5.48 6.67 6.99 5/253 16184
/proc/meminfo: memFree=111965644/131382120 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 37.7278
CPU time (s): 40.8476
CPU user time (s): 38.8018
CPU system time (s): 2.04578
CPU usage (%): 108.269
Max. virtual memory (cumulated for all children) (KiB): 3257576
Max. memory (cumulated for all children) (KiB): 3217644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 38.8018
system time used= 2.04578
maximum resident set size= 3217644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1547108
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= 4083
involuntary context switches= 369
# summary of solver processes directly reported to runsolver:
# pid: 16181
# total CPU time (s): 40.8476
# total CPU user time (s): 38.8018
# total CPU system time (s): 2.04578
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.191817 second user time and 0.459075 second system time
The end
Begin job on nodeC008 at 2025-06-29 00:46:26
IDJOB=4494378
IDBENCH=147889
IDSOLVER=3347
FILE ID=nodeC008/4494378-1751150786
RUNJOBID= nodeC008-1751145166-15175
SLURM_JOB_ID= 9587445
Free space on /tmp= 432840 MiB
SOLVER NAME= PRINTEMPS 2025-05-28
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/normalized-dbst_v40_e600_d20_mw10_5.opb.PB06.opb
COMMAND LINE= pb_competition_2025_solver -k -1 -t -1.0 -j NBCORE -r RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4494378-1751150786/watcher-4494378-1751150786 -o /tmp/evaluation-result-4494378-1751150786/solver-4494378-1751150786 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751145166-15175 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 2106321237 HOME/instance-4494378-1751150786.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 83145cb85d026c8624ca6bfbca5bd154
RANDOM SEED=2106321237
nodeC008 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 : 0xb00001f
cpu MHz : 3492.106
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 3491.489
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 3491.858
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 1197.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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 3491.857
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 3493.462
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 3700.000
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 1197.234
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 114326468 kB
MemAvailable: 114113568 kB
Buffers: 3280 kB
Cached: 599192 kB
SwapCached: 0 kB
Active: 15695292 kB
Inactive: 401044 kB
Active(anon): 15511820 kB
Inactive(anon): 0 kB
Active(file): 183472 kB
Inactive(file): 401044 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 39280 kB
Writeback: 0 kB
AnonPages: 15496824 kB
Mapped: 110584 kB
Shmem: 17956 kB
KReclaimable: 84420 kB
Slab: 162648 kB
SReclaimable: 84420 kB
SUnreclaim: 78228 kB
KernelStack: 4044 kB
PageTables: 33592 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 15949408 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149432 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4511744 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: 181064 kB
DirectMap2M: 9158656 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432836 MiB
End job on nodeC008 at 2025-06-29 00:47:04