0.00/0.01 c NaPS 1.03a6.
0.00/0.01 c Input file name: HOME/instance-4499112-1751395598.opb
1.16/1.26 c single stage optimization mode
55.30/55.55 o 6
55.30/55.55 s OPTIMUM FOUND
55.30/55.55 c _____________________________________________________________________________
55.30/55.55 c std/band forms : 444,0
55.30/55.55 c 2cl/3cl ITE-codings : 208896,0
55.30/55.55 c BDD/srt/adr Max costs : 840,14208,0
55.30/55.55 c BDDraw/bin/mul/srt/adr: 384,0,0,60,0
55.30/55.55 c BDD nodes : 323328
55.30/55.55 c Es1/CC detections : 0,0
55.30/55.55 c CC sort : 60
55.30/55.55 c SAT/UNSAT calls : 1,0
55.30/55.55 c regenrated variables : 0
55.30/55.55 c eliminated fixed lits : 0
55.30/55.55 c goal lit flips : 0
55.30/55.55 c goal stages : 1
55.30/55.55 c goal shrink : 0
55.30/55.55 c goal coeff separations: 0
55.30/55.55 c restarts : 6070
55.30/55.55 c conflicts : 145905 (2643 /sec)
55.30/55.55 c decisions : 1262243 (22866 /sec)
55.30/55.55 c propagations : 474463437 (8595184 /sec)
55.30/55.55 c inspects : 0 (0 /sec)
55.30/55.55 c CPU time (solving tm) : 55.2 s (54.03 s, SAT 54.03 s, UNSAT 0 s)
55.30/55.55 c Time for Opt-base : 0.000648 s
55.30/55.55 c Steps for Opt-base : 0
55.30/55.55 c Time for BDD coding : 0.8561 s
55.30/55.55 c Time for srt coding : 0.0062 s
55.30/55.55 c _____________________________________________________________________________
55.30/55.55 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
55.30/55.55 v -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: 63665 MiB (58540 MiB free)
memory of node 1: 64507 MiB (61790 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499112-1751395598/watcher-4499112-1751395598 -o /tmp/evaluation-result-4499112-1751395598/solver-4499112-1751395598 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751386340-51547 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4499112-1751395598.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=53348, runsolver pid=53345
Current StackSize limit: 8192 KiB
[startup+0.100066 s]*
/proc/loadavg: 4.39 4.18 4.12 5/269 53352
/proc/meminfo: memFree=123212776/131250000 swapFree=33010416/33010684
[pid=53348] ppid=53345 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53348/stat : 53348 (naps-1.03a6.sh) S 53345 53348 51532 0 -1 4194304 226 201 0 0 0 0 0 0 20 0 1 0 55239646 4292608 768 18446744073709551615 94336160063488 94336160958021 140732191420816 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94336161197072 94336161244816 94336192823296 140732191422887 140732191422981 140732191422981 140732191428583 0
/proc/53348/statm: 1048 768 704 219 0 110 0
[pid=53352] ppid=53348 vsize=13968 memory=11636 CPUtime=0.08 cores=1,3
/proc/53352/stat : 53352 (naps-1.03a6) R 53348 53348 51532 0 -1 4194304 2765 0 0 0 8 0 0 0 20 0 1 0 55239647 14303232 2909 18446744073709551615 4198400 7047149 140736694409872 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 12664832 140736694413684 140736694413798 140736694413798 140736694419401 0
/proc/53352/statm: 3492 2909 576 696 0 2653 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 18160 KiB
Current children cumulated memory: 14708 KiB
[startup+0.205707 s]*
/proc/loadavg: 4.39 4.18 4.12 5/269 53352
/proc/meminfo: memFree=123212524/131250000 swapFree=33010416/33010684
[pid=53348] ppid=53345 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53348/stat : 53348 (naps-1.03a6.sh) S 53345 53348 51532 0 -1 4194304 226 201 0 0 0 0 0 0 20 0 1 0 55239646 4292608 768 18446744073709551615 94336160063488 94336160958021 140732191420816 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94336161197072 94336161244816 94336192823296 140732191422887 140732191422981 140732191422981 140732191428583 0
/proc/53348/statm: 1048 768 704 219 0 110 0
[pid=53352] ppid=53348 vsize=16748 memory=14404 CPUtime=0.18 cores=1,3
/proc/53352/stat : 53352 (naps-1.03a6) R 53348 53348 51532 0 -1 4194304 3784 0 0 0 18 0 0 0 20 0 1 0 55239647 17149952 3601 18446744073709551615 4198400 7047149 140736694409872 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 12664832 140736694413684 140736694413798 140736694413798 140736694419401 0
/proc/53352/statm: 4187 3601 576 696 0 3348 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 20940 KiB
Current children cumulated memory: 17476 KiB
[startup+0.305649 s]*
/proc/loadavg: 4.39 4.18 4.12 5/269 53352
/proc/meminfo: memFree=123212020/131250000 swapFree=33010416/33010684
[pid=53348] ppid=53345 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53348/stat : 53348 (naps-1.03a6.sh) S 53345 53348 51532 0 -1 4194304 226 201 0 0 0 0 0 0 20 0 1 0 55239646 4292608 768 18446744073709551615 94336160063488 94336160958021 140732191420816 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94336161197072 94336161244816 94336192823296 140732191422887 140732191422981 140732191422981 140732191428583 0
/proc/53348/statm: 1048 768 704 219 0 110 0
[pid=53352] ppid=53348 vsize=18480 memory=15684 CPUtime=0.28 cores=1,3
/proc/53352/stat : 53352 (naps-1.03a6) R 53348 53348 51532 0 -1 4194304 4120 0 0 0 28 0 0 0 20 0 1 0 55239647 18923520 3921 18446744073709551615 4198400 7047149 140736694409872 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 12664832 140736694413684 140736694413798 140736694413798 140736694419401 0
/proc/53352/statm: 4620 3921 576 696 0 3781 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 22672 KiB
Current children cumulated memory: 18756 KiB
[startup+0.700216 s]
/proc/loadavg: 4.39 4.18 4.12 5/269 53352
/proc/meminfo: memFree=123219932/131250000 swapFree=33010416/33010684
[pid=53348] ppid=53345 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53348/stat : 53348 (naps-1.03a6.sh) S 53345 53348 51532 0 -1 4194304 226 201 0 0 0 0 0 0 20 0 1 0 55239646 4292608 768 18446744073709551615 94336160063488 94336160958021 140732191420816 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94336161197072 94336161244816 94336192823296 140732191422887 140732191422981 140732191422981 140732191428583 0
/proc/53348/statm: 1048 768 704 219 0 110 0
[pid=53352] ppid=53348 vsize=25764 memory=23416 CPUtime=0.67 cores=1,3
/proc/53352/stat : 53352 (naps-1.03a6) R 53348 53348 51532 0 -1 4194304 6207 0 0 0 66 1 0 0 20 0 1 0 55239647 26382336 5854 18446744073709551615 4198400 7047149 140736694409872 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 12664832 140736694413684 140736694413798 140736694413798 140736694419401 0
/proc/53352/statm: 6441 5854 576 696 0 5602 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 29956 KiB
Current children cumulated memory: 26488 KiB
[startup+1.50022 s]
/proc/loadavg: 4.39 4.18 4.12 5/269 53352
/proc/meminfo: memFree=123219932/131250000 swapFree=33010416/33010684
[pid=53348] ppid=53345 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53348/stat : 53348 (naps-1.03a6.sh) S 53345 53348 51532 0 -1 4194304 226 201 0 0 0 0 0 0 20 0 1 0 55239646 4292608 768 18446744073709551615 94336160063488 94336160958021 140732191420816 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94336161197072 94336161244816 94336192823296 140732191422887 140732191422981 140732191422981 140732191428583 0
/proc/53348/statm: 1048 768 704 219 0 110 0
[pid=53352] ppid=53348 vsize=205784 memory=195260 CPUtime=1.46 cores=1,3
/proc/53352/stat : 53352 (naps-1.03a6) R 53348 53348 51532 0 -1 4194304 35169 0 0 0 139 7 0 0 20 0 1 0 55239647 210722816 48815 18446744073709551615 4198400 7047149 140736694409872 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 12664832 140736694413684 140736694413798 140736694413798 140736694419401 0
/proc/53352/statm: 51446 48815 608 696 0 50607 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 209976 KiB
Current children cumulated memory: 198332 KiB
[startup+3.10555 s]
/proc/loadavg: 4.39 4.18 4.12 5/268 53352
/proc/meminfo: memFree=123179044/131250000 swapFree=33010416/33010684
[pid=53348] ppid=53345 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53348/stat : 53348 (naps-1.03a6.sh) S 53345 53348 51532 0 -1 4194304 226 201 0 0 0 0 0 0 20 0 1 0 55239646 4292608 768 18446744073709551615 94336160063488 94336160958021 140732191420816 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94336161197072 94336161244816 94336192823296 140732191422887 140732191422981 140732191422981 140732191428583 0
/proc/53348/statm: 1048 768 704 219 0 110 0
[pid=53352] ppid=53348 vsize=243528 memory=230456 CPUtime=3.07 cores=1,3
/proc/53352/stat : 53352 (naps-1.03a6) R 53348 53348 51532 0 -1 4194304 38883 0 0 0 297 10 0 0 20 0 1 0 55239647 249372672 57614 18446744073709551615 4198400 7047149 140736694409872 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 12664832 140736694413684 140736694413798 140736694413798 140736694419401 0
/proc/53352/statm: 60882 57614 608 696 0 60043 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 247720 KiB
Current children cumulated memory: 233528 KiB
[startup+6.30021 s]
/proc/loadavg: 4.36 4.18 4.12 5/268 53352
/proc/meminfo: memFree=123286012/131250000 swapFree=33010416/33010684
[pid=53348] ppid=53345 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53348/stat : 53348 (naps-1.03a6.sh) S 53345 53348 51532 0 -1 4194304 226 201 0 0 0 0 0 0 20 0 1 0 55239646 4292608 768 18446744073709551615 94336160063488 94336160958021 140732191420816 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94336161197072 94336161244816 94336192823296 140732191422887 140732191422981 140732191422981 140732191428583 0
/proc/53348/statm: 1048 768 704 219 0 110 0
[pid=53352] ppid=53348 vsize=214052 memory=197444 CPUtime=6.26 cores=1,3
/proc/53352/stat : 53352 (naps-1.03a6) R 53348 53348 51532 0 -1 4194304 46366 0 0 0 611 15 0 0 20 0 1 0 55239647 219189248 49361 18446744073709551615 4198400 7047149 140736694409872 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 12664832 140736694413684 140736694413798 140736694413798 140736694419401 0
/proc/53352/statm: 53513 49361 640 696 0 52674 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 218244 KiB
Current children cumulated memory: 200516 KiB
[startup+12.7002 s]
/proc/loadavg: 4.33 4.18 4.12 5/268 53352
/proc/meminfo: memFree=123309236/131250000 swapFree=33010416/33010684
[pid=53348] ppid=53345 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53348/stat : 53348 (naps-1.03a6.sh) S 53345 53348 51532 0 -1 4194304 226 201 0 0 0 0 0 0 20 0 1 0 55239646 4292608 768 18446744073709551615 94336160063488 94336160958021 140732191420816 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94336161197072 94336161244816 94336192823296 140732191422887 140732191422981 140732191422981 140732191428583 0
/proc/53348/statm: 1048 768 704 219 0 110 0
[pid=53352] ppid=53348 vsize=253836 memory=237644 CPUtime=12.64 cores=1,3
/proc/53352/stat : 53352 (naps-1.03a6) R 53348 53348 51532 0 -1 4194304 47770 0 0 0 1248 16 0 0 20 0 1 0 55239647 259928064 59411 18446744073709551615 4198400 7047149 140736694409872 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 12664832 140736694413684 140736694413798 140736694413798 140736694419401 0
/proc/53352/statm: 63459 59411 640 696 0 62620 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 258028 KiB
Current children cumulated memory: 240716 KiB
[startup+25.5002 s]
/proc/loadavg: 4.32 4.18 4.12 5/268 53352
/proc/meminfo: memFree=123437996/131250000 swapFree=33010416/33010684
[pid=53348] ppid=53345 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53348/stat : 53348 (naps-1.03a6.sh) S 53345 53348 51532 0 -1 4194304 226 201 0 0 0 0 0 0 20 0 1 0 55239646 4292608 768 18446744073709551615 94336160063488 94336160958021 140732191420816 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94336161197072 94336161244816 94336192823296 140732191422887 140732191422981 140732191422981 140732191428583 0
/proc/53348/statm: 1048 768 704 219 0 110 0
[pid=53352] ppid=53348 vsize=253836 memory=237644 CPUtime=25.4 cores=1,3
/proc/53352/stat : 53352 (naps-1.03a6) R 53348 53348 51532 0 -1 4194304 47795 0 0 0 2524 16 0 0 20 0 1 0 55239647 259928064 59411 18446744073709551615 4198400 7047149 140736694409872 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 12664832 140736694413684 140736694413798 140736694413798 140736694419401 0
/proc/53352/statm: 63459 59411 640 696 0 62620 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 258028 KiB
Current children cumulated memory: 240716 KiB
[startup+51.1055 s]
/proc/loadavg: 4.21 4.17 4.12 5/268 53353
/proc/meminfo: memFree=123547800/131250000 swapFree=33010416/33010684
[pid=53348] ppid=53345 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53348/stat : 53348 (naps-1.03a6.sh) S 53345 53348 51532 0 -1 4194304 226 201 0 0 0 0 0 0 20 0 1 0 55239646 4292608 768 18446744073709551615 94336160063488 94336160958021 140732191420816 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94336161197072 94336161244816 94336192823296 140732191422887 140732191422981 140732191422981 140732191428583 0
/proc/53348/statm: 1048 768 704 219 0 110 0
[pid=53352] ppid=53348 vsize=253836 memory=238156 CPUtime=50.92 cores=1,3
/proc/53352/stat : 53352 (naps-1.03a6) R 53348 53348 51532 0 -1 4194304 47956 0 0 0 5076 16 0 0 20 0 1 0 55239647 259928064 59539 18446744073709551615 4198400 7047149 140736694409872 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 12664832 140736694413684 140736694413798 140736694413798 140736694419401 0
/proc/53352/statm: 63459 59539 640 696 0 62620 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 258028 KiB
Current children cumulated memory: 241228 KiB
[startup+55.5711 s]
# the end of solver process 53348 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=55.2116 s, system=0.175536 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2003 s]
/proc/loadavg: 4.21 4.17 4.12 5/268 53353
/proc/meminfo: memFree=123547800/131250000 swapFree=33010416/33010684
[pid=53348] ppid=53345 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53348/stat : 53348 (naps-1.03a6.sh) S 53345 53348 51532 0 -1 4194304 226 201 0 0 0 0 0 0 20 0 1 0 55239646 4292608 768 18446744073709551615 94336160063488 94336160958021 140732191420816 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94336161197072 94336161244816 94336192823296 140732191422887 140732191422981 140732191422981 140732191428583 0
/proc/53348/statm: 1048 768 704 219 0 110 0
[pid=53352] ppid=53348 vsize=253836 memory=238156 CPUtime=51.02 cores=1,3
/proc/53352/stat : 53352 (naps-1.03a6) R 53348 53348 51532 0 -1 4194304 47956 0 0 0 5086 16 0 0 20 0 1 0 55239647 259928064 59539 18446744073709551615 4198400 7047149 140736694409872 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 12664832 140736694413684 140736694413798 140736694413798 140736694419401 0
/proc/53352/statm: 63459 59539 640 696 0 62620 0
Current children cumulated CPU time: 51.02 s
Current children cumulated vsize: 258028 KiB
Current children cumulated memory: 241228 KiB
[startup+52.8002 s]
/proc/loadavg: 4.21 4.17 4.12 5/268 53353
/proc/meminfo: memFree=123526680/131250000 swapFree=33010416/33010684
[pid=53348] ppid=53345 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53348/stat : 53348 (naps-1.03a6.sh) S 53345 53348 51532 0 -1 4194304 226 201 0 0 0 0 0 0 20 0 1 0 55239646 4292608 768 18446744073709551615 94336160063488 94336160958021 140732191420816 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94336161197072 94336161244816 94336192823296 140732191422887 140732191422981 140732191422981 140732191428583 0
/proc/53348/statm: 1048 768 704 219 0 110 0
[pid=53352] ppid=53348 vsize=275628 memory=259976 CPUtime=52.61 cores=1,3
/proc/53352/stat : 53352 (naps-1.03a6) R 53348 53348 51532 0 -1 4194304 48273 0 0 0 5245 16 0 0 20 0 1 0 55239647 282243072 64994 18446744073709551615 4198400 7047149 140736694409872 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 12664832 140736694413684 140736694413798 140736694413798 140736694419401 0
/proc/53352/statm: 68907 64994 640 696 0 68068 0
Current children cumulated CPU time: 52.61 s
Current children cumulated vsize: 279820 KiB
Current children cumulated memory: 263048 KiB
[startup+54.4002 s]
/proc/loadavg: 4.21 4.17 4.12 5/268 53353
/proc/meminfo: memFree=123526680/131250000 swapFree=33010416/33010684
[pid=53348] ppid=53345 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53348/stat : 53348 (naps-1.03a6.sh) S 53345 53348 51532 0 -1 4194304 226 201 0 0 0 0 0 0 20 0 1 0 55239646 4292608 768 18446744073709551615 94336160063488 94336160958021 140732191420816 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94336161197072 94336161244816 94336192823296 140732191422887 140732191422981 140732191422981 140732191428583 0
/proc/53348/statm: 1048 768 704 219 0 110 0
[pid=53352] ppid=53348 vsize=275628 memory=259976 CPUtime=54.2 cores=1,3
/proc/53352/stat : 53352 (naps-1.03a6) R 53348 53348 51532 0 -1 4194304 48273 0 0 0 5404 16 0 0 20 0 1 0 55239647 282243072 64994 18446744073709551615 4198400 7047149 140736694409872 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 12664832 140736694413684 140736694413798 140736694413798 140736694419401 0
/proc/53352/statm: 68907 64994 640 696 0 68068 0
Current children cumulated CPU time: 54.2 s
Current children cumulated vsize: 279820 KiB
Current children cumulated memory: 263048 KiB
[startup+55.2002 s]
/proc/loadavg: 4.20 4.16 4.12 5/268 53353
/proc/meminfo: memFree=123526680/131250000 swapFree=33010416/33010684
[pid=53348] ppid=53345 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53348/stat : 53348 (naps-1.03a6.sh) S 53345 53348 51532 0 -1 4194304 226 201 0 0 0 0 0 0 20 0 1 0 55239646 4292608 768 18446744073709551615 94336160063488 94336160958021 140732191420816 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94336161197072 94336161244816 94336192823296 140732191422887 140732191422981 140732191422981 140732191428583 0
/proc/53348/statm: 1048 768 704 219 0 110 0
[pid=53352] ppid=53348 vsize=275628 memory=259976 CPUtime=55 cores=1,3
/proc/53352/stat : 53352 (naps-1.03a6) R 53348 53348 51532 0 -1 4194304 48273 0 0 0 5484 16 0 0 20 0 1 0 55239647 282243072 64994 18446744073709551615 4198400 7047149 140736694409872 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 12664832 140736694413684 140736694413798 140736694413798 140736694419401 0
/proc/53352/statm: 68907 64994 640 696 0 68068 0
Current children cumulated CPU time: 55 s
Current children cumulated vsize: 279820 KiB
Current children cumulated memory: 263048 KiB
[startup+55.4002 s]
/proc/loadavg: 4.20 4.16 4.12 5/268 53353
/proc/meminfo: memFree=123526680/131250000 swapFree=33010416/33010684
[pid=53348] ppid=53345 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53348/stat : 53348 (naps-1.03a6.sh) S 53345 53348 51532 0 -1 4194304 226 201 0 0 0 0 0 0 20 0 1 0 55239646 4292608 768 18446744073709551615 94336160063488 94336160958021 140732191420816 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94336161197072 94336161244816 94336192823296 140732191422887 140732191422981 140732191422981 140732191428583 0
/proc/53348/statm: 1048 768 704 219 0 110 0
[pid=53352] ppid=53348 vsize=275628 memory=259976 CPUtime=55.2 cores=1,3
/proc/53352/stat : 53352 (naps-1.03a6) R 53348 53348 51532 0 -1 4194304 48273 0 0 0 5504 16 0 0 20 0 1 0 55239647 282243072 64994 18446744073709551615 4198400 7047149 140736694409872 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 12664832 140736694413684 140736694413798 140736694413798 140736694419401 0
/proc/53352/statm: 68907 64994 640 696 0 68068 0
Current children cumulated CPU time: 55.2 s
Current children cumulated vsize: 279820 KiB
Current children cumulated memory: 263048 KiB
[startup+55.5002 s]
/proc/loadavg: 4.20 4.16 4.12 5/268 53353
/proc/meminfo: memFree=123526680/131250000 swapFree=33010416/33010684
[pid=53348] ppid=53345 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53348/stat : 53348 (naps-1.03a6.sh) S 53345 53348 51532 0 -1 4194304 226 201 0 0 0 0 0 0 20 0 1 0 55239646 4292608 768 18446744073709551615 94336160063488 94336160958021 140732191420816 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94336161197072 94336161244816 94336192823296 140732191422887 140732191422981 140732191422981 140732191428583 0
/proc/53348/statm: 1048 768 704 219 0 110 0
[pid=53352] ppid=53348 vsize=275628 memory=259976 CPUtime=55.3 cores=1,3
/proc/53352/stat : 53352 (naps-1.03a6) R 53348 53348 51532 0 -1 4194304 48273 0 0 0 5514 16 0 0 20 0 1 0 55239647 282243072 64994 18446744073709551615 4198400 7047149 140736694409872 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 12664832 140736694413684 140736694413798 140736694413798 140736694419401 0
/proc/53352/statm: 68907 64994 640 696 0 68068 0
Current children cumulated CPU time: 55.3 s
Current children cumulated vsize: 279820 KiB
Current children cumulated memory: 263048 KiB
Child status: 30
Real time (s): 55.5711
CPU time (s): 55.3872
CPU user time (s): 55.2116
CPU system time (s): 0.175536
CPU usage (%): 99.669
Max. virtual memory (cumulated for all children) (KiB): 321376
Max. memory (cumulated for all children) (KiB): 302872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 55.2116
system time used= 0.175536
maximum resident set size= 299800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48728
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= 132
involuntary context switches= 74
# summary of solver processes directly reported to runsolver:
# pid: 53348
# total CPU time (s): 55.3872
# total CPU user time (s): 55.2116
# total CPU system time (s): 0.175536
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.092522 second user time and 0.321326 second system time
The end
Begin job on nodeC027 at 2025-07-01 20:46:38
IDJOB=4499112
IDBENCH=148771
IDSOLVER=3341
FILE ID=nodeC027/4499112-1751395598
RUNJOBID= nodeC027-1751386340-51547
SLURM_JOB_ID= 9598245
Free space on /tmp= 431660 MiB
SOLVER NAME= NaPS naps-1.03a6
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx60.opb
COMMAND LINE= ./naps-1.03a6.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4499112-1751395598/watcher-4499112-1751395598 -o /tmp/evaluation-result-4499112-1751395598/solver-4499112-1751395598 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751386340-51547 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4499112-1751395598.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c4903dfb08836eadb378d0a168fb9840
RANDOM SEED=1543807808
nodeC027 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 : 3598.398
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.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.631
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.29
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 : 3483.582
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.29
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 : 3599.827
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.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.232
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.29
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.639
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.29
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 : 3598.971
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.29
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 : 3599.741
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.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 123219236 kB
MemAvailable: 124357572 kB
Buffers: 2488 kB
Cached: 1940476 kB
SwapCached: 12 kB
Active: 5168608 kB
Inactive: 1638252 kB
Active(anon): 4879160 kB
Inactive(anon): 2792 kB
Active(file): 289448 kB
Inactive(file): 1635460 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 5900 kB
Writeback: 4 kB
AnonPages: 4865708 kB
Mapped: 111832 kB
Shmem: 18056 kB
KReclaimable: 104936 kB
Slab: 192940 kB
SReclaimable: 104936 kB
SUnreclaim: 88004 kB
KernelStack: 4368 kB
PageTables: 12672 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 5624624 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150600 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3403776 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: 203476 kB
DirectMap2M: 9005056 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431656 MiB
End job on nodeC027 at 2025-07-01 20:47:33