242.29/243.06 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022)
242.29/243.06 o 6
242.29/243.06 c Using SCIP solver, version 8.1.0, https://www.scipopt.org
242.69/243.49 c Starting SCIP solver (with time-limit = 1800s) ...
243.49/244.27 c SCIP proved optimality of the last o-value
243.49/244.27 c _______________________________________________________________________________
243.49/244.27 c
243.49/244.27 c --- [ run-time profiling ] -------------------------------------------------
243.49/244.27 c
243.49/244.27 c process time taken by individual solving procedures
243.49/244.27 c (percentage relative to process time for solving)
243.49/244.27 c
243.49/244.27 c 231.93 95.93% search
243.49/244.27 c 153.51 63.49% unstable
243.49/244.27 c 68.34 28.27% stable
243.49/244.27 c 10.04 4.15% walk
243.49/244.27 c 9.85 4.07% simplify
243.49/244.27 c 3.33 1.38% vivify
243.49/244.27 c 1.88 0.78% probe
243.49/244.27 c 1.55 0.64% elim
243.49/244.27 c 0.96 0.40% ternary
243.49/244.27 c 0.73 0.30% subsume
243.49/244.27 c 0.04 0.02% lucky
243.49/244.27 c 0.00 0.00% parse
243.49/244.27 c =================================
243.49/244.27 c 241.78 99.26% solve
243.49/244.27 c
243.49/244.27 c last line shows process time for solving
243.49/244.27 c (percentage relative to total process time)
243.49/244.27 c
243.49/244.27 c --- [ statistics ] ---------------------------------------------------------
243.49/244.27 c
243.49/244.27 c chronological: 200765 33.58 % of conflicts
243.49/244.27 c conflicts: 597793 2472.51 per second
243.49/244.27 c decisions: 5149019 21296.66 per second
243.49/244.27 c eliminated: 23427 31.64 % of all variables
243.49/244.27 c fixed: 450 0.61 % of all variables
243.49/244.27 c learned: 578318 96.74 % per conflict
243.49/244.27 c learned_lits: 112495863 100.00 % learned literals
243.49/244.27 c minimized: 0 0.00 % learned literals
243.49/244.27 c shrunken: 14469940 12.86 % learned literals
243.49/244.27 c minishrunken: 8347584 7.42 % learned literals
243.49/244.27 c otfs: 430 0.07 % of conflict
243.49/244.27 c propagations: 1997187691 8.26 M per second
243.49/244.27 c reduced: 465867 77.93 % per conflict
243.49/244.27 c rephased: 34 17582.15 interval
243.49/244.27 c restarts: 36538 16.36 interval
243.49/244.27 c stabilizing: 5 42.95 % of conflicts
243.49/244.27 c subsumed: 59325 4.75 % of all clauses
243.49/244.27 c strengthened: 4925 0.39 % of all clauses
243.49/244.27 c ternary: 6 0.00 % of resolved
243.49/244.27 c trail reuses: 0 0.00 % of incremental calls
243.49/244.27 c vivified: 215 0.02 % of all clauses
243.49/244.27 c walked: 10 59779.30 interval
243.49/244.27 c weakened: 138166 3.49 average size
243.49/244.27 c
243.49/244.27 c seconds are measured in process time for solving
244.08/244.86 c =======================[ UWrMaxSat resources usage ]===========================
244.08/244.86 c Memory used : 758.00 MB
244.08/244.86 c CPU time : 243.219 s
244.08/244.86 c Constr Enc: Srt/BDD/Add: 444 0 0
244.08/244.86 c _______________________________________________________________________________
244.08/244.86 s OPTIMUM FOUND
244.08/244.86 v x1 x4 x6 x7 x8 x9 -x2194 x2286 -x2254 -x2350 -x1761 -x1531 -x1501 -x1476 -x455 -x442 -x465 -x586 -x1197 -x1214 -x1206 -x1222 -x1933 -x1955 -x1878 -x1897 -x2729 -x2753 -x2777 -x2801 -x887 -x184 x2674 -x1872 -x332 -x1057 -x71 -x852 x1727 -x2787 -x402 -x1230 -x52 -x668 -x1423 -x1555 -x2319 x294 x1978 -x1874 -x1855 -x1921 -x1898 -x1767 -x1787 -x1813 -x2795 -x2769 -x2749 -x2721 -x2705 -x2685 -x2657 -x2612 -x757 -x1048 -x1077 -x999 -x1022 -x945 -x978 -x898 -x42 -x70 -x89 -x291 -x314 -x334 -x358 -x183 -x2228 -x2377 -x2412 -x2321 -x2351 -x2510 -x2538 -x2447 -x1467 -x1496 -x1537 -x1553 -x1579 -x1609 -x1626 -x1677 -x1489 -x1458 -x2140 -x2164 -x2094 -x2119 -x2056 -x2079 -x2241 -x2202 -x2292 -x2267 -x2914 -x2939 -x2951 -x2974 -x182 -x212 -x336 -x359 -x293 -x311 -x424 -x413 -x886 -x913 -x948 x974 -x1000 -x1027 -x1050 -x1075 -x1447 -x1474 -x1806 -x1830 -x1762 -x1783 -x1722 -x1746 -x2213 -x2249 -x2256 -x2285 -x2570 -x2593 -x2619 -x2648 -x2623 -x2594 -x2569 -x2284 -x2251 -x2227 -x2196 -x2410 -x2421 -x2390 -x2356 -x2322 -x2869 -x2893 -x2825 -x2845 -x331 -x211 -x186 -x258 -x236 -x134 -x106 -x177 -x157 -x137 -x37 -x15 -x78 -x62 -x635 -x659 -x1056 -x1040 -x998 -x977 -x944 -x917 -x893 -x870 -x847 -x831 x823 -x806 -x783 -x762 -x743 -x716 -x1132 -x1452 -x1481 -x1515 -x1549 -x1571 -x1594 -x1621 -x1644 -x1665 -x1692 -x1695 -x1715 -x1741 -x1770 -x1788 -x2101 -x2169 -x2147 -x2277 -x2298 -x2206 -x2239 -x2398 -x2427 -x2336 -x2367 -x2493 -x2518 -x2543 -x2450 -x2482 -x2833 -x2981 -x2957 -x2932 -x2913 -x101 -x126 -x145 -x163 -x5 -x31 -x56 -x77 -x91 -x288 -x310 -x265 x972 -x2747 -x1941 -x1353 -x616 -x2138 -x2063 -x146 -x120 -x955 -x815 -x1798 -x1774 x2498 -x2580 -x178 -x110 -x2857 x2872 -x2895 -x2926 -x2933 -x2958 -x2976 -x2666 -x1554 -x2065 -x2092 -x2024 -x2042 -x2142 -x2171 -x2102 -x932 -x954 -x989 -x1201 -x1182 -x1247 -x1245 -x1127 -x318 -x247 -x278 -x200 -x226 -x512 -x487 -x471 -x2466 -x2494 -x2524 -x2559 -x2578 -x2606 -x2635 -x2686 -x1600 -x1714 -x1737 -x1666 -x1688 -x1796 -x1819 -x1750 -x1615 -x1634 -x1562 -x1589 -x2260 -x2288 -x2310 -x2340 -x661 -x636 -x702 -x680 -x732 -x744 -x1435 -x1409 x1559 -x1582 -x1624 -x1649 -x2189 -x2221 -x2387 -x2417 -x848 -x2155 -x2182 -x2172 -x1506 -x1471 -x1441 -x2922 -x2383 -x2226 -x2197 -x2281 -x273 x202 -x221 -x345 -x858 -x900 -x927 -x953 -x1543 -x1460 -x1490 -x1799 -x807 -x979 -x946 -x919 -x894 -x1078 -x1049 -x1029 -x1446 -x1533 -x1503 -x1785 -x1759 -x1832 -x1809 -x1699 -x2328 -x2287 -x2255 -x2220 -x2195 -x2647 -x2620 -x2596 -x2419 -x2325 -x2355 -x2252 x2278 -x2198 -x2224 -x2622 -x2828 -x1576 -x1599 -x1607 -x1631 -x1443 -x1470 -x1500 -x2012 -x2075 -x2057 -x765 -x795 -x733 -x755 -x846 -x2324 -x2320 -x2411 -x2382 -x2886 -x1645 -x1632 -x1606 -x2074 x2014 -x2030 -x2048 -x1337 -x1360 -x1380 -x1403 -x609 -x543 -x564 -x686 -x1765 -x1527 -x1495 -x1468 -x1736 -x1712 -x1687 -x1664 -x2744 -x2762 -x2785 -x2812 -x2638 -x2603 -x2464 -x2438 -x2523 -x2492 -x600 -x577 -x63 -x85 -x24 -x41 -x155 -x176 -x108 -x129 -x1053 -x1079 x731 -x752 -x776 -x794 -x811 -x830 -x1729 -x1745 -x1676 -x1700 -x1604 -x1630 -x1552 -x1578 -x2625 -x2446 -x2449 -x2476 -x2509 -x2539 -x2318 -x2354 -x1308 -x1397 -x1434 -x1356 -x1377 -x1143 -x1155 -x1106 -x1925 -x1992 -x1972 -x1859 -x1847 -x1900 -x1877 -x2137 -x1744 x2803 -x2778 -x2759 -x2733 -x2715 -x2698 -x2678 -x2536 -x2448 -x2477 -x386 -x371 -x432 -x407 -x474 -x264 -x292 -x312 -x335 -x357 -x1175 -x1151 -x1126 -x969 -x890 -x920 -x1052 -x1080 -x994 -x1025 -x2127 -x582 -x604 -x534 -x558 -x1226 -x1252 -x1283 -x1290 -x441 -x459 -x482 x503 -x1104 -x1116 -x1233 -x1256 -x1942 -x1966 -x1983 -x2002 -x2468 -x2442 -x2782 -x2813 -x2461 x2497 -x2797 -x1709 -x1977 -x1963 -x1225 -x1125 -x486 -x466 -x2338 -x2508 -x277 -x248 -x220 -x197 -x363 -x342 -x322 -x298 -x399 -x420 -x370 -x385 -x483 -x506 -x438 -x480 -x573 -x593 -x532 -x549 -x676 -x701 -x620 -x643 -x749 -x728 -x790 -x774 -x832 -x812 -x877 -x856 -x835 -x930 -x904 -x993 -x957 -x1042 -x1016 -x1098 -x1072 -x1101 -x1120 -x1137 -x1159 -x1186 -x1209 -x1239 -x1261 -x1274 -x1293 -x1315 -x1330 -x1349 -x1370 -x1394 -x1419 -x1637 -x1612 -x1588 -x1564 -x1526 -x1494 -x1522 -x855 -x834 -x929 -x903 -x992 -x956 -x1041 -x1015 -x1097 -x1071 -x1100 -x1119 -x1136 -x1158 -x1185 -x1208 -x1238 -x1260 -x1273 -x1292 -x1314 -x1329 x1348 -x1369 -x1393 -x1418 -x1636 -x1611 -x1587 -x1563 -x1525 -x1493 -x1521 -x1486 -x1457 -x1823 -x1795 -x1776 -x1753 -x1732 -x1708 -x1681 -x1656 -x1985 -x2009 -x1945 -x1965 -x1894 -x1906 -x1851 -x1867 -x2154 -x2184 -x2106 -x2130 -x2067 -x2085 -x2023 -x2040 -x2344 -x2309 -x2403 -x2374 -x2233 -x1492 -x1520 -x1485 -x1456 -x1822 -x1794 -x1775 -x1752 -x1731 -x1707 -x1680 -x1655 -x1984 -x2008 -x1944 -x1964 -x1893 -x1905 -x1850 -x1866 -x2153 -x2183 -x2105 -x2129 -x2066 -x2084 -x2022 -x2039 -x2343 -x2308 -x2402 -x2373 -x2232 -x2244 -x2209 -x2294 -x2265 -x2582 -x2555 -x2634 -x2605 -x2475 -x2445 -x2530 -x2502 -x2741 -x2766 -x2784 -x2811 -x2650 -x2670 -x2695 -x2712 -x2927 -x2947 -x2970 -x2990 -x2839 -x2859 -x2880 -x2904 -x1364 -x1379 -x1399 -x2372 -x2231 -x2243 -x2208 -x2293 -x2264 -x2581 -x2554 -x2633 -x2604 -x2474 -x2444 -x2529 -x2501 -x2740 -x2765 -x2783 -x2810 -x2649 -x2671 -x2696 -x2713 -x2928 -x2948 -x2971 -x2991 -x2840 -x2860 -x2881 -x2905 -x1365 -x1381 -x1400 -x1429 -x1412 -x1277 -x1294 -x1317 -x1331 -x1188 -x1211 -x1236 -x1268 -x1110 -x1128 -x1152 -x1165 -x1032 -x1013 -x1088 -x1065 -x933 -x905 -x984 -x958 -x816 -x797 -x863 -x840 -x739 -x719 -x779 -x766 -x687 -x1382 -x1401 -x1430 -x1413 -x1278 -x1295 -x1318 -x1332 -x1189 -x1212 -x1237 -x1269 -x1111 -x1129 -x1153 -x1166 -x1033 -x1014 -x1089 -x1066 -x934 -x906 -x985 -x959 -x817 -x798 -x864 -x841 -x740 -x720 -x780 -x767 -x688 -x709 -x627 -x623 -x647 -x570 -x594 -x529 -x550 -x501 -x521 -x453 -x475 -x408 -x433 -x375 -x392 -x348 -x327 -x319 -x301 -x275 -x249 -x227 -x198 -x164 -x141 -x115 -x95 -x83 -x59 -x34 -x768 -x689 -x710 -x628 -x624 -x648 -x571 -x595 -x530 -x551 -x502 -x522 -x454 -x476 -x409 -x434 -x376 -x393 -x349 -x328 -x320 -x302 -x276 -x250 -x228 -x199 -x165 -x142 -x116 -x96 -x84 -x60 -x35 -x13 -x2829 -x2850 -x2852 -x2878 -x2901 -x2923 -x2949 -x2972 -x2992 -x2656 -x2679 -x2699 -x2716 -x2734 -x2754 -x2774 -x2799 -x2481 -x2435 -x2525 -x2495 -x2583 -x2556 -x2636 -x2607 -x2242 -x2215 -x2303 -x2270 -x2358 -x1772 -x1748 -x1820 -x1797 -x1896 -x1918 -x2632 -x2608 -x2708 -x2723 -x2662 -x2682 -x612 -x572 x649 -x625 -x1336 -x1322 -x1296 -x1275 -x1916 -x1890 -x2120 -x2109 -x2151 x2953 -x693 -x1420 -x2186 -x2989 -x261 -x295 -x317 -x340 x541 -x603 -x583 -x641 -x166 -x1346 -x1328 -x1302 -x859 -x802 -x821 -x2115 -x1638 -x1461 -x1487 -x1519 -x2431 -x2333 -x2362 -x2266 -x1068 -x346 -x2407 -x1627 -x1387 x675 -x1930 -x1301 -x97 -x2216 -x1572 x1994 -x1754 x1724 -x1703 -x1684 -x2552 -x2626 -x2600 -x2469 -x2727 -x1193 -x1217 -x1242 -x885 -x965 -x935 -x491 -x304 -x268 -x245 -x218 -x2433 -x2527 -x2514 -x2589 -x1670 -x1693 -x1616 -x1639 -x1567 -x1595 -x1518 -x1550 -x2457 -x2486 -x2512 -x2542 -x2329 -x2364 -x2399 -x2429 x423 -x400 -x460 -x439 -x504 -x500 -x553 -x531 -x1156 -x1138 -x1117 -x1102 -x1257 -x1232 -x1210 -x1191 -x1704 -x1726 -x1967 -x1947 -x2003 -x1981 -x1873 -x1849 -x2505 -x2533 -x2443 -x2472 -x2814 -x2788 -x2760 -x2739 -x569 -x2929 -x2033 x818 -x123 -x2916 x1087 -x354 -x2043 -x2856 -x554 -x1298 -x1402 -x1428 -x741 -x721 -x781 -x758 -x827 -x810 -x872 -x849 -x921 -x889 -x970 -x941 -x1034 -x1011 -x685 -x712 -x626 -x660 -x82 -x61 -x33 -x25 -x173 -x152 -x136 -x109 -x262 -x238 -x209 -x195 -x2952 x2975 -x2830 -x2848 -x2870 -x2892 -x2359 -x2326 -x2415 -x2384 -x2225 -x2193 -x2279 -x2253 -x2595 -x2572 -x2139 -x2173 -x2097 -x2122 -x2051 -x2073 -x2016 -x2035 -x1651 -x1605 -x1581 -x1556 -x1534 -x1507 -x1472 -x1442 -x1415 -x1389 -x1134 -x1114 -x1164 -x1147 -x1218 -x1194 -x1265 -x1246 -x899 -x928 -x960 -x990 -x1017 -x1044 -x697 -x670 -x652 -x617 -x436 -x415 -x389 -x380 -x514 -x494 -x472 -x445 -x246 -x274 -x203 -x222 -x2017 -x2034 -x2050 -x2072 -x1837 -x1817 -x1694 -x1667 -x2646 -x2613 -x2590 -x2563 x496 -x520 -x214 -x193 -x1241 -x1264 -x1198 -x1216 -x2176 -x2148 -x2031 -x2015 -x1800 -x1771 -x1751 -x1733 -x1876 -x2584 -x2560 -x2637 -x2683 -x2706 -x2724 -x65 -x711 -x695 -x673 -x650 -x1338 -x1320 -x1319 x1367 -x2175 -x2149 -x2123 -x2131 -x597 -x618 -x644 -x665 -x2758 -x2761 -x2738 x2728 -x1948 -x1926 -x1946 -x2004 -x995 -x1023 -x1174 -x1160 -x296 -x315 -x337 -x356 -x2819 -x2792 -x2687 -x2665 -x122 -x98 -x79 -x66 -x43 -x19 -x1640 -x1617 -x1596 -x1568 -x1542 -x1511 -x1482 -x1455 -x1829 -x1802 -x2163 -x2188 -x2113 -x2134 -x2058 -x2082 -x2019 -x2036 -x2363 -x2330 -x2428 -x2400 -x2250 -x2210 -x2304 -x2272 -x2700 -x2714 -x2918 -x2944 -x2967 -x2984 -x2824 -x2844 -x2863 -x2883 -x74 x53 -x32 -x10 -x159 -x140 -x492 -x515 -x449 -x469 -x579 -x599 -x540 -x563 -x690 -x713 -x639 -x664 -x745 -x723 -x782 -x759 -x1150 -x1172 -x1195 -x1221 -x1243 -x1263 -x1272 -x1304 -x1327 -x1345 -x1354 -x1376 -x1395 -x1421 -x1807 -x1840 -x2170 -x2144 -x2125 -x2103 -x2080 -x2052 -x2032 -x2013 -x1991 -x1969 -x1953 -x1927 -x1907 -x1887 -x1863 -x1848 -x2342 -x2513 -x2541 -x2459 -x207 -x283 x254 -x121 -x1021 -x982 -x950 -x926 -x1657 -x1725 -x1705 -x1777 -x2763 -x2534 -x2506 -x2470 -x1070 -x1035 -x1007 -x1148 -x761 -x778 -x722 -x742 -x838 -x862 -x799 -x819 -x963 -x986 -x901 -x931 -x1069 -x1061 -x1092 -x1012 -x2081 -x2053 -x1573 -x1597 -x1623 -x1652 -x1462 -x1488 -x1517 -x1545 -x1749 -x1773 -x1801 -x1824 -x1834 -x1671 -x2885 -x2866 -x2849 -x2826 -x2388 -x2416 -x2327 -x2360 -x2268 -x2299 -x2203 -x2245 -x2602 -x2630 -x2561 -x2562 -x414 -x437 -x450 -x470 -x493 -x516 -x217 -x192 -x259 -x234 -x313 -x297 -x360 -x339 -x44 -x18 -x1144 -x1169 -x1115 -x1133 -x1244 -x1267 -x1196 -x1215 -x964 -x947 -x914 x888 -x1081 -x1047 -x1028 -x1005 -x2059 -x2083 -x1931 -x1954 -x1976 -x1997 -x1843 -x1862 -x1879 -x1899 -x1786 -x1760 -x1831 -x1808 -x1697 -x1674 -x1959 -x1982 -x2005 -x1854 -x1871 -x1892 -x1917 -x2095 -x2124 -x2159 -x2177 -x2025 -x2049 -x2069 -x2090 -x1284 -x1309 -x1323 -x1341 -x1357 -x1378 -x1404 -x1425 -x1105 -x1121 -x1135 -x1154 -x1176 -x1187 -x1213 -x1235 -x1259 -x912 -x884 -x967 -x937 -x1037 -x1008 -x1093 -x1063 -x748 -x725 -x788 -x770 -x822 -x801 -x860 -x837 -x587 -x608 -x548 -x568 -x678 -x705 -x631 -x658 -x404 -x406 -x426 -x374 -x388 -x499 -x525 -x458 -x1258 -x911 -x883 -x966 -x936 -x1036 -x1006 -x1091 -x1062 -x747 -x724 -x787 -x769 -x820 -x800 -x857 -x836 -x585 -x607 -x547 -x567 -x677 -x704 -x630 -x657 -x403 -x405 -x425 -x373 -x387 -x498 -x524 -x457 -x479 -x272 -x242 -x216 -x191 -x351 -x324 -x309 -x290 -x76 -x55 -x30 -x3 -x162 -x144 -x125 -x100 -x2912 -x2931 -x2956 -x2980 -x2832 -x2847 -x2865 -x2888 -x2897 -x2737 -x2757 -x2781 -x2807 -x2654 -x523 -x456 -x478 -x271 -x241 -x215 -x190 -x350 -x323 -x308 -x289 -x75 -x54 -x29 -x2 -x161 -x143 -x124 -x99 -x2911 -x2930 -x2955 -x2979 -x2831 -x2846 -x2864 -x2887 -x2896 -x2736 -x2756 -x2780 -x2806 -x2653 -x2673 -x2694 -x2718 -x2592 -x2568 -x2640 -x2616 -x2485 -x2453 -x2546 -x2491 -x2366 -x2335 -x2426 -x2397 -x2238 -x2205 -x2297 -x2276 -x2146 -x2168 -x2100 -x2118 -x2055 -x2078 -x2011 -x2029 -x2045 -x1971 -x1990 -x1924 -x2805 -x2652 -x2672 -x2693 -x2717 -x2591 -x2567 -x2639 -x2615 -x2484 -x2452 -x2545 -x2490 -x2365 -x2334 -x2425 -x2396 -x2237 -x2204 -x2296 -x2275 -x2145 -x2167 -x2099 -x2117 -x2054 -x2077 -x2010 -x2028 -x2044 -x1970 -x1989 -x1923 -x1951 -x1886 -x1911 -x1842 -x1861 -x1839 -x1816 -x1793 -x1769 x1739 -x1718 -x1691 -x1663 -x1643 -x1620 -x1593 -x1570 -x1548 -x1514 -x1480 -x1451 -x1131 -x1113 -x1168 -x1146 -x1220 -x1200 -x1178 -x1251 -x1229 -x1307 -x1988 -x1922 -x1950 -x1885 -x1910 -x1841 -x1860 -x1838 -x1815 -x1792 -x1768 -x1738 -x1717 -x1690 -x1662 -x1642 -x1619 -x1592 -x1569 -x1547 -x1513 -x1479 -x1450 -x1130 -x1112 -x1167 -x1145 -x1219 -x1199 -x1177 -x1250 -x1228 -x1306 -x1286 -x1344 -x1325 -x1375 -x1359 -x1433 -x1408 -x718 -x738 -x764 -x786 -x805 -x829 -x845 -x869 -x892 -x916 -x943 -x976 -x997 -x1039 -x1055 -x1086 -x431 -x412 -x391 -x378 -x519 -x508 -x485 -x468 -x1227 -x1305 -x1285 -x1343 -x1324 -x1374 -x1358 -x1432 -x1407 -x717 -x737 -x763 -x785 -x804 -x828 -x844 -x868 -x891 -x915 -x942 -x975 -x996 -x1038 -x1054 -x1085 -x430 -x411 -x390 -x377 -x518 -x507 -x484 -x467 -x446 -x606 -x588 -x562 -x538 -x703 -x679 -x662 -x634 -x58 -x81 -x12 -x39 -x156 -x175 -x105 -x133 -x235 -x257 -x185 -x210 -x330 -x355 -x285 -x307 -x2755 -x2735 -x2800 -x2775 -x2794 -x2681 -x1713 -x1683 -x1658 -x1827 -x2821 -x2465 -x2439 -x2535 -x180 -x260 x237 -x448 -x1003 -x973 -x940 -x918 -x1675 -x1747 -x1721 -x1782 -x2311 -x2537 -x2507 -x2478 -x2558 x2631 -x1459 -x1818 -x1024 -x1051 -x213 -x333 -x2586 -x2621 -x2703 -x1814 -x2381 -x2406 -x2307 -x2339 -x2517 -x2540 -x2458 -x2487 -x365 -x344 -x231 -x206 -x280 -x253 -x119 -x93 x1094 -x1067 -x1043 -x1020 -x981 -x951 -x922 -x896 -x1109 -x1124 -x1689 -x1661 -x1723 -x1702 -x1781 -x1757 -x1937 -x1962 -x1980 -x1998 -x2522 -x2504 -x2467 -x2441 -x2663 -x2684 -x2798 -x2820 -x2743 -x2768 -x497 -x517 x2963 -x427 -x1253 -x1915 -x2973 -x28 -x2614 -x1719 -x861 -x584 -x2961 x2060 -x2424 -x2392 -x2369 -x2332 -x338 -x361 -x181 -x208 -x1064 -x1076 -x1002 -x1026 -x1610 -x1633 -x1673 -x1698 -x2376 x2405 -x2306 -x2349 -x655 -x629 -x613 -x591 -x1650 -x1622 -x1478 -x1454 -x1544 -x1516 -x1784 -x1763 -x1932 -x1956 -x1975 -x1993 -x1844 -x1864 -x1884 -x1909 -x2841 -x2861 -x2776 -x2802 x2732 -x2752 -x2692 -x2711 -x615 -x642 -x667 -x692 -x379 -x394 -x410 -x428 -x1271 -x1289 -x1391 -x1417 -x1351 -x1371 -x1149 -x1170 -x1929 -x1943 -x2007 -x1987 -x1868 -x1853 -x1913 -x1889 -x2483 -x2451 -x2544 -x2511 -x219 -x194 -x347 -x329 -x902 -x878 -x968 -x938 -x2994 -x2651 -x2669 -x2691 -x2181 -x2108 x2132 -x2121 -x1411 -x1276 -x1291 -x1316 -x233 x251 -x281 -x1254 -x1231 -x1207 -x1190 -x1173 -x1046 -x952 -x983 -x897 -x924 -x2021 -x2038 -x2062 -x1438 -x1524 -x1497 -x1586 -x1561 -x1635 -x1614 -x2882 -x2571 -x2291 -x2262 -x2229 -x2199 -x2401 -x2370 -x2341 -x179 -x263 -x240 -x128 -x104 -x167 -x149 -x48 -x1004 -x971 -x939 -x907 -x880 -x876 -x854 -x833 -x2627 -x2601 -x2573 -x2553 -x2532 -x2500 -x2473 -x2432 -x2668 -x2690 -x1780 -x1758 -x1828 -x1805 x1678 -x1654 -x1865 -x1869 -x1891 -x1914 -x773 -x789 -x729 -x750 -x1282 -x1424 -x1416 -x1392 -x1372 -x1352 -x27 -x47 -x542 -x605 -x581 -x578 -x640 -x614 -x694 -x666 -x2661 -x2983 -x2962 -x2938 -x2942 -x2921 -x2902 -x2879 -x2804 -x2838 -x2858 -x2871 -x2891 -x2910 -x2935 -x2954 -x580 -x561 -x539 -x511 -x490 -x477 -x451 -x429 -x1398 -x1303 -x1287 -x1342 -x1326 -x1205 -x1192 -x1266 -x2061 -x2037 -x2018 -x2165 -x2141 x2114 -x2093 -x1901 -x1590 -x2843 -x2823 -x2884 -x2862 -x2940 -x2915 -x2982 -x2357 -x2393 -x2422 -x107 -x130 -x154 -x170 -x23 -x2920 -x2941 -x536 x557 -x169 -x148 -x874 -x850 -x726 -x746 -x17 -x49 -x1908 -x1883 -x1949 -x1935 -x1396 -x1422 -x1355 -x1373 -x395 -x418 -x638 -x663 -x2793 -x2822 -x2748 -x2772 -x1895 x1920 -x1940 -x1958 -x1469 -x1444 -x1536 -x1505 -x1171 -x435 -x2903 -x2086 -x715 x14 x1934 -x1742 -x1090 -x267 -x544 -x1184 -x555 -x153 -x2526 -x1821 -x991 x189 -x1641 x1618 -x1591 -x1566 -x1546 -x1529 -x1499 -x1465 -x1436 -x2919 -x2943 -x2964 -x2988 -x2835 -x2851 -x2877 -x2519 -x2496 -x2361 -x2331 -x2430 -x2395 -x2371 -x2235 -x2200 -x2290 -x2263 -x2107 -x2128 -x2160 -x2185 -x2020 -x1682 -x1653 -x1728 -x1701 -x1598 -x1574 -x1646 -x1628 -x1608 -x1473 -x1440 -x1530 -x1502 -x2969 -x2993 -x2917 -x2577 -x2551 -x2528 -x2503 -x2471 -x2440 -x2420 -x2389 -x2380 -x2348 -x2317 -x2280 -x2259 -x2219 -x2192 -x528 -x223 -x204 -x282 -x256 -x316 -x299 -x362 -x341 -x36 -x40 -x22 -x90 -x69 -x135 -x114 -x174 -x1183 -x1204 -x980 -x949 -x925 -x895 -x1099 -x1074 -x1045 -x1019 -x1001 -x793 -x775 -x756 -x730 -x871 -x2345 -x2314 -x2289 -x2261 -x2234 -x2201 -x2645 -x2617 -x1583 -x1560 -x1625 -x1613 -x1464 -x1437 -x1528 x1491 -x2064 -x2091 -x796 -x777 -x751 -x727 -x873 -x853 -x1390 -x1410 -x1350 -x1368 -x45 -x26 -x92 -x72 -x574 -x592 -x619 -x645 -x674 -x700 -x2907 -x2934 -x2368 -x2337 -x2423 -x2394 -x2240 -x2207 -x2295 -x2271 -x879 -x1240 -x1262 -x1179 -x196 -x266 -x239 -x447 -x2456 -x2644 -x2618 -x2585 -x1668 -x1743 -x1716 -x1791 -x923 -x839 -x865 x803 -x229 -x255 -x284 -x94 -x2236 -x2375 -x2404 -x2305 -x1463 -x1498 -x1523 -x1565 -x2162 -x851 -x875 -x813 -x1310 -x1288 -x1270 x103 -x691 -x559 -x537 -x598 -x2710 -x2655 -x2689 -x2786 -x2174 -x2150 -x2126 x2098 -x1512 -x1541 -x1532 -x1445 -x1475 -x1603 -x1629 -x1551 -x1577 -x1720 -x1740 -x1672 -x1696 -x1810 -x1836 -x1766 -x1790 -x2677 -x2664 -x2722 -x2704 -x2773 -x2746 -x2818 -x2796 -x2842 -x2827 -x2890 -x2868 -x2937 -x2909 -x2978 -x2960 -x2218 -x2191 -x2223 -x2258 -x2283 -x2316 -x2353 -x2379 -x2409 -x2455 -x2480 -x2516 -x2548 -x2566 -x2588 -x2611 -x2643 -x510 -x489 -x464 -x444 -x417 -x397 -x383 -x368 -x708 -x684 -x2889 -x2867 -x2936 -x2908 -x2977 -x2959 -x2217 -x2190 -x2222 -x2257 -x2282 -x2315 -x2352 -x2378 -x2408 -x2454 -x2479 -x2515 -x2547 -x2565 -x2587 -x2610 -x2642 -x509 -x488 -x463 -x443 -x416 -x396 -x382 -x367 -x707 -x683 -x654 -x633 -x611 -x590 -x566 -x546 -x527 -x151 -x172 -x113 -x132 -x68 -x88 -x21 -x51 -x326 -x353 -x287 -x306 -x244 -x270 -x188 -x225 -x1203 -x1181 -x1249 -x1224 -x1123 -x1108 -x1163 -x1142 -x706 -x682 -x653 -x632 -x610 -x589 -x565 -x545 -x526 -x150 -x171 -x112 -x131 -x67 -x87 -x20 -x50 -x325 -x352 -x286 -x305 -x243 -x269 -x187 -x224 -x1202 -x1180 -x1248 -x1223 -x1122 -x1107 -x1162 -x1141 -x1386 -x1363 -x1427 -x1406 -x1300 -x1281 -x1340 -x1334 -x1313 -x809 -x826 -x843 -x867 -x735 -x754 -x772 -x792 -x1010 -x1031 -x1060 -x1084 -x882 -x910 -x962 -x988 -x2071 -x2089 -x2027 -x2047 -x2158 -x2180 -x1161 -x1140 -x1385 -x1362 -x1426 -x1405 -x1299 -x1280 -x1339 -x1333 -x1312 -x808 -x825 -x842 -x866 -x734 -x753 -x771 -x791 -x1009 -x1030 -x1059 -x1083 -x881 -x909 -x961 -x987 -x2070 -x2088 -x2026 -x2046 -x2157 -x2179 -x2111 -x2136 -x1881 -x1904 -x1846 -x1858 -x1974 -x1996 -x2000 -x1939 -x1961 -x1735 -x1711 -x1686 -x1660 -x1826 -x1804 -x1779 -x1756 -x1539 -x1510 -x1484 -x1449 -x1648 -x1602 -x1585 -x1558 -x2837 -x2855 -x2876 -x2900 -x2156 -x2178 -x2110 -x2135 -x1880 -x1903 -x1845 -x1857 -x1973 -x1995 -x1999 -x1938 -x1960 -x1734 -x1710 -x1685 -x1659 -x1825 -x1803 -x1778 -x1755 -x1538 -x1509 -x1483 -x1448 -x1647 -x1601 -x1584 -x1557 -x2836 -x2854 -x2875 -x2899 -x2925 -x2946 -x2966 -x2986 -x2659 -x2676 -x2702 -x2720 -x2731 -x2751 -x2771 -x2791 -x2816 -x2463 -x2437 -x2521 -x2489 -x2575 -x2550 -x2629 -x2599 -x2248 -x2212 -x2301 -x2274 -x2347 -x2313 -x2414 -x2386 -x672 -x699 -x2874 -x2898 -x2924 -x2945 -x2965 -x2985 -x2658 -x2675 -x2701 -x2719 -x2730 -x2750 -x2770 -x2790 -x2815 -x2462 -x2436 -x2520 -x2488 -x2574 -x2549 -x2628 -x2598 -x2247 -x2211 -x2300 -x2273 -x2346 -x2312 -x2413 -x2385 -x671 -x698 -x622 -x646 -x576 -x602 -x535 -x556 -x495 -x513 -x452 -x473 -x462 -x398 -x419 -x366 -x381 -x364 -x343 -x321 -x300 -x279 -x252 -x232 -x205 -x160 -x138 -x117 -x111 -x86 -x64 -x46 -x16 -x1764 -x1833 -x1811 -x1466 -x1439 -x1535 -x1504 -x1580 -x824 -x760 -x784 -x714 -x736 -x1073 -x1095 -x1018 -x118 -x139 -x158 -x11 -x38 -x57 -x80 -x303 -x2906 -x2269 -x2302 -x2214 -x2246 -x2391 -x2418 -x2323 -x2104 -x2166 -x2143 -x1453 x1477 -x1508 -x1540 -x1575 -x73 -x102 -x127 -x147 -x168 -x560 -x533 -x601 -x2076 -x2096 -x2116 -x2152 -x1431 x1361 -x1384 -x1321 -x421 -x637 -x656 -x681 -x2564 -x2641 -x2609 -x2230 -x1669 -x1835 -x1812 -x1789 -x1096 -x1082 -x1058 -x908 -x2041 -x2068 -x2087 -x1928 -x1952 -x1968 -x1986 -x2006 -x1852 -x1870 -x1888 -x1912 -x2624 -x2597 -x2579 -x2557 -x2950 -x2873 -x2894 -x2834 -x2853 -x2779 -x2808 -x2809 -x2742 -x2764 -x2709 -x2726 -x2667 -x2688 -x230 -x201 -x552 -x575 -x596 -x621 -x651 -x669 -x696 -x372 -x369 -x384 -x401 -x422 -x440 -x461 -x481 -x505 -x814 -x1311 -x1335 -x1279 -x1297 -x1388 -x1414 -x1347 -x1366 -x1383 -x1139 -x1157 -x1103 -x1118 -x1234 -x1255 -x1679 -x1706 -x1730 -x1957 -x1936 -x2001 -x1979 -x1875 -x1856 -x1919 x1902 -x1882 -x2133 -x2112 -x2187 -x2161 -x2576 -x2499 -x2531 -x2434 -x2460 -x2817 -x2789 -x2767 -x2745 -x2725 -x2707 -x2697 -x2680 -x2660 -x2987 -x2968
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 (48181 MiB free)
memory of node 1: 64465 MiB (61403 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499095-1751469188/watcher-4499095-1751469188 -o /tmp/evaluation-result-4499095-1751469188/solver-4499095-1751469188 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751465576-64377 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4499095-1751469188.opb -total-t=3600 -no-par -v0
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
solver pid=64729, runsolver pid=64726
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 4.11 4.09 4.05 6/261 64730
/proc/meminfo: memFree=112201100/131250000 swapFree=33010684/33010684
[pid=64729] ppid=64726 vsize=43644 memory=27636 CPUtime=0.1 cores=4,6
/proc/64729/stat : 64729 (CASHWMaxSAT-Dis) R 64726 64729 64366 0 -1 4194304 5776 0 0 0 9 1 0 0 20 0 1 0 62597467 44691456 6909 18446744073709551615 4198400 14817773 140734294233536 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 43868160 140734294235498 140734294235613 140734294235613 140734294241215 0
/proc/64729/statm: 10911 6909 896 2593 0 7804 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 43644 KiB
Current children cumulated memory: 27636 KiB
[startup+0.205768 s]*
/proc/loadavg: 4.11 4.09 4.05 5/261 64730
/proc/meminfo: memFree=112180360/131250000 swapFree=33010684/33010684
[pid=64729] ppid=64726 vsize=67328 memory=48696 CPUtime=0.2 cores=4,6
/proc/64729/stat : 64729 (CASHWMaxSAT-Dis) R 64726 64729 64366 0 -1 4194304 9963 0 0 0 18 2 0 0 20 0 1 0 62597467 68943872 12174 18446744073709551615 4198400 14817773 140734294233536 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 43868160 140734294235498 140734294235613 140734294235613 140734294241215 0
/proc/64729/statm: 16832 12174 896 2593 0 13725 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 67328 KiB
Current children cumulated memory: 48696 KiB
[startup+0.305697 s]*
/proc/loadavg: 4.11 4.09 4.05 5/261 64730
/proc/meminfo: memFree=112151816/131250000 swapFree=33010684/33010684
[pid=64729] ppid=64726 vsize=92368 memory=76400 CPUtime=0.3 cores=4,6
/proc/64729/stat : 64729 (CASHWMaxSAT-Dis) R 64726 64729 64366 0 -1 4194304 11775 0 0 0 28 2 0 0 20 0 1 0 62597467 94584832 19100 18446744073709551615 4198400 14817773 140734294233536 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 43868160 140734294235498 140734294235613 140734294235613 140734294241215 0
/proc/64729/statm: 23092 19100 896 2593 0 19985 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 92368 KiB
Current children cumulated memory: 76400 KiB
[startup+0.700189 s]
/proc/loadavg: 4.11 4.09 4.05 5/261 64730
/proc/meminfo: memFree=112099520/131250000 swapFree=33010684/33010684
[pid=64729] ppid=64726 vsize=164060 memory=137492 CPUtime=0.68 cores=4,6
/proc/64729/stat : 64729 (CASHWMaxSAT-Dis) R 64726 64729 64366 0 -1 4194304 25229 0 0 0 63 5 0 0 20 0 1 0 62597467 167997440 34373 18446744073709551615 4198400 14817773 140734294233536 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 43868160 140734294235498 140734294235613 140734294235613 140734294241215 0
/proc/64729/statm: 41015 34373 960 2593 0 37908 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 164060 KiB
Current children cumulated memory: 137492 KiB
[startup+1.50018 s]
/proc/loadavg: 4.10 4.09 4.05 4/257 64745
/proc/meminfo: memFree=112069488/131250000 swapFree=33010684/33010684
[pid=64729] ppid=64726 vsize=188112 memory=159680 CPUtime=1.48 cores=4,6
/proc/64729/stat : 64729 (CASHWMaxSAT-Dis) R 64726 64729 64366 0 -1 4194304 26692 0 0 0 142 6 0 0 20 0 1 0 62597467 192626688 39920 18446744073709551615 4198400 14817773 140734294233536 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 43868160 140734294235498 140734294235613 140734294235613 140734294241215 0
/proc/64729/statm: 47028 39920 960 2593 0 43921 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 188112 KiB
Current children cumulated memory: 159680 KiB
[startup+3.1055 s]
/proc/loadavg: 4.10 4.09 4.05 5/262 64761
/proc/meminfo: memFree=111900900/131250000 swapFree=33010684/33010684
[pid=64729] ppid=64726 vsize=217584 memory=189416 CPUtime=3.09 cores=4,6
/proc/64729/stat : 64729 (CASHWMaxSAT-Dis) R 64726 64729 64366 0 -1 4194304 27489 0 0 0 302 7 0 0 20 0 1 0 62597467 222806016 47354 18446744073709551615 4198400 14817773 140734294233536 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 43868160 140734294235498 140734294235613 140734294235613 140734294241215 0
/proc/64729/statm: 54396 47354 992 2593 0 51289 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 217584 KiB
Current children cumulated memory: 189416 KiB
[startup+6.30017 s]
/proc/loadavg: 4.09 4.08 4.05 5/262 64761
/proc/meminfo: memFree=111872376/131250000 swapFree=33010684/33010684
[pid=64729] ppid=64726 vsize=226044 memory=198148 CPUtime=6.27 cores=4,6
/proc/64729/stat : 64729 (CASHWMaxSAT-Dis) R 64726 64729 64366 0 -1 4194304 28162 0 0 0 620 7 0 0 20 0 1 0 62597467 231469056 49537 18446744073709551615 4198400 14817773 140734294233536 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 43868160 140734294235498 140734294235613 140734294235613 140734294241215 0
/proc/64729/statm: 56511 49537 992 2593 0 53404 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 226044 KiB
Current children cumulated memory: 198148 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.08 4.05 5/263 64792
/proc/meminfo: memFree=111746108/131250000 swapFree=33010684/33010684
[pid=64729] ppid=64726 vsize=226044 memory=198148 CPUtime=12.65 cores=4,6
/proc/64729/stat : 64729 (CASHWMaxSAT-Dis) R 64726 64729 64366 0 -1 4194304 28187 0 0 0 1258 7 0 0 20 0 1 0 62597467 231469056 49537 18446744073709551615 4198400 14817773 140734294233536 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 43868160 140734294235498 140734294235613 140734294235613 140734294241215 0
/proc/64729/statm: 56511 49537 992 2593 0 53404 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 226044 KiB
Current children cumulated memory: 198148 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.08 4.05 5/263 64792
/proc/meminfo: memFree=111747848/131250000 swapFree=33010684/33010684
[pid=64729] ppid=64726 vsize=204032 memory=176224 CPUtime=25.42 cores=4,6
/proc/64729/stat : 64729 (CASHWMaxSAT-Dis) R 64726 64729 64366 0 -1 4194304 31116 0 0 0 2533 9 0 0 20 0 1 0 62597467 208928768 44056 18446744073709551615 4198400 14817773 140734294233536 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 43868160 140734294235498 140734294235613 140734294235613 140734294241215 0
/proc/64729/statm: 51008 44056 992 2593 0 47901 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 204032 KiB
Current children cumulated memory: 176224 KiB
[startup+51.1055 s]
/proc/loadavg: 4.10 4.09 4.05 5/263 64793
/proc/meminfo: memFree=111706492/131250000 swapFree=33010684/33010684
[pid=64729] ppid=64726 vsize=226740 memory=198916 CPUtime=50.94 cores=4,6
/proc/64729/stat : 64729 (CASHWMaxSAT-Dis) R 64726 64729 64366 0 -1 4194304 32218 0 0 0 5085 9 0 0 20 0 1 0 62597467 232181760 49729 18446744073709551615 4198400 14817773 140734294233536 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 43868160 140734294235498 140734294235613 140734294235613 140734294241215 0
/proc/64729/statm: 56685 49729 992 2593 0 53578 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 226740 KiB
Current children cumulated memory: 198916 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.05 6/263 64794
/proc/meminfo: memFree=111252652/131250000 swapFree=33010684/33010684
[pid=64729] ppid=64726 vsize=198836 memory=171028 CPUtime=102 cores=4,6
/proc/64729/stat : 64729 (CASHWMaxSAT-Dis) R 64726 64729 64366 0 -1 4194304 35060 0 0 0 10188 12 0 0 20 0 1 0 62597467 203608064 42757 18446744073709551615 4198400 14817773 140734294233536 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 43868160 140734294235498 140734294235613 140734294235613 140734294241215 0
/proc/64729/statm: 49709 42757 992 2593 0 46602 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 198836 KiB
Current children cumulated memory: 171028 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.10 4.06 5/263 64840
/proc/meminfo: memFree=123729792/131250000 swapFree=33010684/33010684
[pid=64729] ppid=64726 vsize=234996 memory=207876 CPUtime=161.81 cores=4,6
/proc/64729/stat : 64729 (CASHWMaxSAT-Dis) R 64726 64729 64366 0 -1 4194304 37530 0 0 0 16169 12 0 0 20 0 1 0 62597467 240635904 51969 18446744073709551615 4198400 14817773 140734294233536 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 43868160 140734294235498 140734294235613 140734294235613 140734294241215 0
/proc/64729/statm: 58749 51969 992 2593 0 55642 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 234996 KiB
Current children cumulated memory: 207876 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.10 4.06 5/263 64842
/proc/meminfo: memFree=123732204/131250000 swapFree=33010684/33010684
[pid=64729] ppid=64726 vsize=237892 memory=213892 CPUtime=221.64 cores=4,6
/proc/64729/stat : 64729 (CASHWMaxSAT-Dis) R 64726 64729 64366 0 -1 4194304 38323 0 0 0 22152 12 0 0 20 0 1 0 62597467 243601408 53473 18446744073709551615 4198400 14817773 140734294233536 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 43868160 140734294235498 140734294235613 140734294235613 140734294241215 0
/proc/64729/statm: 59473 53473 992 2593 0 56366 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 237892 KiB
Current children cumulated memory: 213892 KiB
[startup+244.876 s]
# the end of solver process 64729 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=243.793 s, system=0.375907 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+230.4 s]
/proc/loadavg: 4.11 4.09 4.06 5/263 64842
/proc/meminfo: memFree=123631520/131250000 swapFree=33010684/33010684
[pid=64729] ppid=64726 vsize=299652 memory=275704 CPUtime=229.72 cores=4,6
/proc/64729/stat : 64729 (CASHWMaxSAT-Dis) R 64726 64729 64366 0 -1 4194304 38947 0 0 0 22959 13 0 0 20 0 1 0 62597467 306843648 68926 18446744073709551615 4198400 14817773 140734294233536 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 43868160 140734294235498 140734294235613 140734294235613 140734294241215 0
/proc/64729/statm: 74913 68926 992 2593 0 71806 0
Current children cumulated CPU time: 229.72 s
Current children cumulated vsize: 299652 KiB
Current children cumulated memory: 275704 KiB
[startup+236.8 s]
/proc/loadavg: 4.09 4.09 4.06 5/264 64847
/proc/meminfo: memFree=123618704/131250000 swapFree=33010684/33010684
[pid=64729] ppid=64726 vsize=303476 memory=279536 CPUtime=236.11 cores=4,6
/proc/64729/stat : 64729 (CASHWMaxSAT-Dis) R 64726 64729 64366 0 -1 4194304 39502 0 0 0 23596 15 0 0 20 0 1 0 62597467 310759424 69884 18446744073709551615 4198400 14817773 140734294233536 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 43868160 140734294235498 140734294235613 140734294235613 140734294241215 0
/proc/64729/statm: 75869 69884 992 2593 0 72762 0
Current children cumulated CPU time: 236.11 s
Current children cumulated vsize: 303476 KiB
Current children cumulated memory: 279536 KiB
[startup+240 s]*
/proc/loadavg: 4.09 4.09 4.06 5/264 64847
/proc/meminfo: memFree=123624616/131250000 swapFree=33010684/33010684
[pid=64729] ppid=64726 vsize=303476 memory=279536 CPUtime=239.3 cores=4,6
/proc/64729/stat : 64729 (CASHWMaxSAT-Dis) R 64726 64729 64366 0 -1 4194304 39502 0 0 0 23915 15 0 0 20 0 1 0 62597467 310759424 69884 18446744073709551615 4198400 14817773 140734294233536 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 43868160 140734294235498 140734294235613 140734294235613 140734294241215 0
/proc/64729/statm: 75869 69884 992 2593 0 72762 0
Current children cumulated CPU time: 239.3 s
Current children cumulated vsize: 303476 KiB
Current children cumulated memory: 279536 KiB
[startup+243.2 s]
/proc/loadavg: 4.08 4.09 4.06 5/264 64847
/proc/meminfo: memFree=123682276/131250000 swapFree=33010684/33010684
[pid=64729] ppid=64726 vsize=292032 memory=272960 CPUtime=242.49 cores=4,6
/proc/64729/stat : 64729 (CASHWMaxSAT-Dis) R 64726 64729 64366 0 -1 4194304 52053 0 0 0 24232 17 0 0 20 0 1 0 62597467 299040768 68240 18446744073709551615 4198400 14817773 140734294233536 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 43868160 140734294235498 140734294235613 140734294235613 140734294241215 0
/proc/64729/statm: 73008 68240 2336 2593 0 69901 0
Current children cumulated CPU time: 242.49 s
Current children cumulated vsize: 292032 KiB
Current children cumulated memory: 272960 KiB
[startup+244 s]*
/proc/loadavg: 4.08 4.09 4.06 5/264 64847
/proc/meminfo: memFree=123259104/131250000 swapFree=33010684/33010684
[pid=64729] ppid=64726 vsize=682164 memory=660652 CPUtime=243.29 cores=4,6
/proc/64729/stat : 64729 (CASHWMaxSAT-Dis) R 64726 64729 64366 0 -1 4194304 145291 0 0 0 24297 32 0 0 20 0 1 0 62597467 698535936 165163 18446744073709551615 4198400 14817773 140734294233536 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 43868160 140734294235498 140734294235613 140734294235613 140734294241215 0
/proc/64729/statm: 170541 165163 2464 2593 0 167434 0
Current children cumulated CPU time: 243.29 s
Current children cumulated vsize: 682164 KiB
Current children cumulated memory: 660652 KiB
[startup+244.4 s]
/proc/loadavg: 4.08 4.09 4.06 5/264 64847
/proc/meminfo: memFree=123259104/131250000 swapFree=33010684/33010684
[pid=64729] ppid=64726 vsize=776272 memory=747180 CPUtime=243.68 cores=4,6
/proc/64729/stat : 64729 (CASHWMaxSAT-Dis) R 64726 64729 64366 0 -1 4194304 166828 0 0 0 24333 35 0 0 20 0 1 0 62597467 794902528 186795 18446744073709551615 4198400 14817773 140734294233536 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 43868160 140734294235498 140734294235613 140734294235613 140734294241215 0
/proc/64729/statm: 194068 186795 2560 2593 0 190961 0
Current children cumulated CPU time: 243.68 s
Current children cumulated vsize: 776272 KiB
Current children cumulated memory: 747180 KiB
[startup+244.8 s]
/proc/loadavg: 4.08 4.09 4.06 5/264 64847
/proc/meminfo: memFree=123259104/131250000 swapFree=33010684/33010684
[pid=64729] ppid=64726 vsize=776272 memory=747180 CPUtime=244.08 cores=4,6
/proc/64729/stat : 64729 (CASHWMaxSAT-Dis) R 64726 64729 64366 0 -1 4194304 166828 0 0 0 24373 35 0 0 20 0 1 0 62597467 794902528 186795 18446744073709551615 4198400 14817773 140734294233536 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 43868160 140734294235498 140734294235613 140734294235613 140734294241215 0
/proc/64729/statm: 194068 186795 2560 2593 0 190961 0
Current children cumulated CPU time: 244.08 s
Current children cumulated vsize: 776272 KiB
Current children cumulated memory: 747180 KiB
Child status: 30
Real time (s): 244.876
CPU time (s): 244.169
CPU user time (s): 243.793
CPU system time (s): 0.375907
CPU usage (%): 99.7111
Max. virtual memory (cumulated for all children) (KiB): 776272
Max. memory (cumulated for all children) (KiB): 747180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 243.793
system time used= 0.375907
maximum resident set size= 747180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 166828
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= 34
involuntary context switches= 176
# summary of solver processes directly reported to runsolver:
# pid: 64729
# total CPU time (s): 244.169
# total CPU user time (s): 243.793
# total CPU system time (s): 0.375907
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.472992 second user time and 1.10801 second system time
The end
Begin job on nodeC026 at 2025-07-02 17:13:08
IDJOB=4499095
IDBENCH=148771
IDSOLVER=3322
FILE ID=nodeC026/4499095-1751469188
RUNJOBID= nodeC026-1751465576-64377
SLURM_JOB_ID= 9598481
Free space on /tmp= 430324 MiB
SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx60.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4499095-1751469188/watcher-4499095-1751469188 -o /tmp/evaluation-result-4499095-1751469188/solver-4499095-1751469188 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751465576-64377 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4499095-1751469188.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c4903dfb08836eadb378d0a168fb9840
RANDOM SEED=1663853282
nodeC026 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.760
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
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.122
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
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 : 3587.349
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
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 : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.940
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.781
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
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 : 3601.113
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
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 : 3651.792
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 112214764 kB
MemAvailable: 117533988 kB
Buffers: 3280 kB
Cached: 6113996 kB
SwapCached: 0 kB
Active: 12500988 kB
Inactive: 5843104 kB
Active(anon): 12244900 kB
Inactive(anon): 0 kB
Active(file): 256088 kB
Inactive(file): 5843104 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 23752 kB
Writeback: 0 kB
AnonPages: 12227868 kB
Mapped: 110224 kB
Shmem: 18080 kB
KReclaimable: 118540 kB
Slab: 208392 kB
SReclaimable: 118540 kB
SUnreclaim: 89852 kB
KernelStack: 4272 kB
PageTables: 27152 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 13899680 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150488 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 5781504 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: 187092 kB
DirectMap2M: 9021440 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 430524 MiB
End job on nodeC026 at 2025-07-02 17:17:13