0.00/0.00 c NaPS 1.03.
0.00/0.00 c Input file name: HOME/instance-4434391-1721113565.opb
1.18/1.24 c single stage optimization mode
54.71/54.95 o 6
54.71/54.95 s OPTIMUM FOUND
54.71/54.95 c _____________________________________________________________________________
54.71/54.95 c std/band forms : 444,0
54.71/54.95 c 2cl/3cl ITE-codings : 208896,0
54.71/54.95 c BDD/srt/adr Max costs : 840,14208,0
54.71/54.95 c BDDraw/bin/mul/srt/adr: 384,0,0,60,0
54.71/54.95 c BDD nodes : 323328
54.71/54.95 c Es1/CC detections : 0,0
54.71/54.95 c CC sort : 60
54.71/54.95 c SAT/UNSAT calls : 1,0
54.71/54.95 c regenrated variables : 0
54.71/54.95 c eliminated fixed lits : 0
54.71/54.95 c goal lit flips : 0
54.71/54.95 c goal stages : 1
54.71/54.95 c goal shrink : 0
54.71/54.95 c goal coeff separations: 0
54.71/54.95 c restarts : 6629
54.71/54.95 c conflicts : 136198 (2493 /sec)
54.71/54.95 c decisions : 1285055 (23517 /sec)
54.71/54.95 c propagations : 478846586 (8763224 /sec)
54.71/54.95 c inspects : 0 (0 /sec)
54.71/54.95 c CPU time (solving tm) : 54.64 s (53.47 s, SAT 53.47 s, UNSAT 0 s)
54.71/54.95 c Time for Opt-base : 0.000561 s
54.71/54.95 c Steps for Opt-base : 0
54.71/54.95 c Time for BDD coding : 0.8522 s
54.71/54.95 c Time for srt coding : 0.003946 s
54.71/54.95 c _____________________________________________________________________________
54.71/54.95 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
54.71/54.95 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: 63931 MiB (52324 MiB free)
memory of node 1: 64510 MiB (54837 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434391-1721113565/watcher-4434391-1721113565 -o /tmp/evaluation-result-4434391-1721113565/solver-4434391-1721113565 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721106203-856270 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4434391-1721113565.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=861557, runsolver pid=861554
[startup+0.100091 s]*
/proc/loadavg: 4.15 4.12 4.09 5/259 861562
/proc/meminfo: memFree=109723888/131524600 swapFree=131071996/131071996
[pid=861557] ppid=861554 vsize=9932 memory=2832 CPUtime=0 cores=5,7
/proc/861557/stat : 861557 (naps-1.03.sh) S 861554 861557 856257 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 163523921 10170368 708 134679101440 94085928345600 94085929424920 140733878625648 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94085931523376 94085931570564 94085948497920 140733878629348 140733878629473 140733878629473 140733878636488 0
/proc/861557/statm: 2483 708 632 264 0 134 0
[pid=861562] ppid=861557 vsize=14008 memory=12084 CPUtime=0.09 cores=5,7
/proc/861562/stat : 861562 (naps-1.03) R 861557 861557 856257 0 -1 4194304 2850 0 0 0 9 0 0 0 20 0 1 0 163523922 14344192 3021 134679101440 4194304 6891213 140730800384704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23638016 140730800391157 140730800391269 140730800391269 140730800398283 0
/proc/861562/statm: 3502 3021 612 659 0 2706 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 23940 KiB
Current children cumulated memory: 14916 KiB
[startup+0.205745 s]*
/proc/loadavg: 4.15 4.12 4.09 5/259 861562
/proc/meminfo: memFree=109721172/131524600 swapFree=131071996/131071996
[pid=861557] ppid=861554 vsize=9932 memory=2832 CPUtime=0 cores=5,7
/proc/861557/stat : 861557 (naps-1.03.sh) S 861554 861557 856257 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 163523921 10170368 708 134679101440 94085928345600 94085929424920 140733878625648 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94085931523376 94085931570564 94085948497920 140733878629348 140733878629473 140733878629473 140733878636488 0
/proc/861557/statm: 2483 708 632 264 0 134 0
[pid=861562] ppid=861557 vsize=16788 memory=14756 CPUtime=0.19 cores=5,7
/proc/861562/stat : 861562 (naps-1.03) R 861557 861557 856257 0 -1 4194304 3864 0 0 0 19 0 0 0 20 0 1 0 163523922 17190912 3689 134679101440 4194304 6891213 140730800384704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23638016 140730800391157 140730800391269 140730800391269 140730800398283 0
/proc/861562/statm: 4197 3689 612 659 0 3401 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 26720 KiB
Current children cumulated memory: 17588 KiB
[startup+0.305692 s]*
/proc/loadavg: 4.15 4.12 4.09 5/259 861562
/proc/meminfo: memFree=109719488/131524600 swapFree=131071996/131071996
[pid=861557] ppid=861554 vsize=9932 memory=2832 CPUtime=0 cores=5,7
/proc/861557/stat : 861557 (naps-1.03.sh) S 861554 861557 856257 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 163523921 10170368 708 134679101440 94085928345600 94085929424920 140733878625648 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94085931523376 94085931570564 94085948497920 140733878629348 140733878629473 140733878629473 140733878636488 0
/proc/861557/statm: 2483 708 632 264 0 134 0
[pid=861562] ppid=861557 vsize=18520 memory=16076 CPUtime=0.29 cores=5,7
/proc/861562/stat : 861562 (naps-1.03) R 861557 861557 856257 0 -1 4194304 4203 0 0 0 29 0 0 0 20 0 1 0 163523922 18964480 4019 134679101440 4194304 6891213 140730800384704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23638016 140730800391157 140730800391269 140730800391269 140730800398283 0
/proc/861562/statm: 4630 4019 612 659 0 3834 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 28452 KiB
Current children cumulated memory: 18908 KiB
[startup+0.700278 s]
/proc/loadavg: 4.15 4.12 4.09 5/259 861562
/proc/meminfo: memFree=109713996/131524600 swapFree=131071996/131071996
[pid=861557] ppid=861554 vsize=9932 memory=2832 CPUtime=0 cores=5,7
/proc/861557/stat : 861557 (naps-1.03.sh) S 861554 861557 856257 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 163523921 10170368 708 134679101440 94085928345600 94085929424920 140733878625648 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94085931523376 94085931570564 94085948497920 140733878629348 140733878629473 140733878629473 140733878636488 0
/proc/861557/statm: 2483 708 632 264 0 134 0
[pid=861562] ppid=861557 vsize=25804 memory=24136 CPUtime=0.68 cores=5,7
/proc/861562/stat : 861562 (naps-1.03) R 861557 861557 856257 0 -1 4194304 5795 0 0 0 68 0 0 0 20 0 1 0 163523922 26423296 6034 134679101440 4194304 6891213 140730800384704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23638016 140730800391157 140730800391269 140730800391269 140730800398283 0
/proc/861562/statm: 6451 6034 612 659 0 5655 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 35736 KiB
Current children cumulated memory: 26968 KiB
[startup+1.5003 s]
/proc/loadavg: 4.15 4.12 4.09 6/259 861562
/proc/meminfo: memFree=109686304/131524600 swapFree=131071996/131071996
[pid=861557] ppid=861554 vsize=9932 memory=2832 CPUtime=0 cores=5,7
/proc/861557/stat : 861557 (naps-1.03.sh) S 861554 861557 856257 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 163523921 10170368 708 134679101440 94085928345600 94085929424920 140733878625648 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94085931523376 94085931570564 94085948497920 140733878629348 140733878629473 140733878629473 140733878636488 0
/proc/861557/statm: 2483 708 632 264 0 134 0
[pid=861562] ppid=861557 vsize=211764 memory=204320 CPUtime=1.49 cores=5,7
/proc/861562/stat : 861562 (naps-1.03) R 861557 861557 856257 0 -1 4194304 35352 0 0 0 142 7 0 0 20 0 1 0 163523922 216846336 51080 134679101440 4194304 6891213 140730800384704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23638016 140730800391157 140730800391269 140730800391269 140730800398283 0
/proc/861562/statm: 52941 51080 644 659 0 52145 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 221696 KiB
Current children cumulated memory: 207152 KiB
[startup+3.10574 s]
/proc/loadavg: 4.14 4.12 4.09 5/259 861562
/proc/meminfo: memFree=109500624/131524600 swapFree=131071996/131071996
[pid=861557] ppid=861554 vsize=9932 memory=2832 CPUtime=0 cores=5,7
/proc/861557/stat : 861557 (naps-1.03.sh) S 861554 861557 856257 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 163523921 10170368 708 134679101440 94085928345600 94085929424920 140733878625648 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94085931523376 94085931570564 94085948497920 140733878629348 140733878629473 140733878629473 140733878636488 0
/proc/861557/statm: 2483 708 632 264 0 134 0
[pid=861562] ppid=861557 vsize=249512 memory=239424 CPUtime=3.09 cores=5,7
/proc/861562/stat : 861562 (naps-1.03) R 861557 861557 856257 0 -1 4194304 40076 0 0 0 299 10 0 0 20 0 1 0 163523922 255500288 59856 134679101440 4194304 6891213 140730800384704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23638016 140730800391157 140730800391269 140730800391269 140730800398283 0
/proc/861562/statm: 62378 59856 644 659 0 61582 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 259444 KiB
Current children cumulated memory: 242256 KiB
[startup+6.30031 s]
/proc/loadavg: 4.14 4.12 4.09 5/259 861563
/proc/meminfo: memFree=109481452/131524600 swapFree=131071996/131071996
[pid=861557] ppid=861554 vsize=9932 memory=2832 CPUtime=0 cores=5,7
/proc/861557/stat : 861557 (naps-1.03.sh) S 861554 861557 856257 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 163523921 10170368 708 134679101440 94085928345600 94085929424920 140733878625648 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94085931523376 94085931570564 94085948497920 140733878629348 140733878629473 140733878629473 140733878636488 0
/proc/861557/statm: 2483 708 632 264 0 134 0
[pid=861562] ppid=861557 vsize=274380 memory=259300 CPUtime=6.27 cores=5,7
/proc/861562/stat : 861562 (naps-1.03) R 861557 861557 856257 0 -1 4194304 46868 0 0 0 614 13 0 0 20 0 1 0 163523922 280965120 64825 134679101440 4194304 6891213 140730800384704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23638016 140730800391157 140730800391269 140730800391269 140730800398283 0
/proc/861562/statm: 68595 64825 660 659 0 67799 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 284312 KiB
Current children cumulated memory: 262132 KiB
[startup+12.7003 s]
/proc/loadavg: 4.12 4.12 4.09 5/259 861563
/proc/meminfo: memFree=109266976/131524600 swapFree=131071996/131071996
[pid=861557] ppid=861554 vsize=9932 memory=2832 CPUtime=0 cores=5,7
/proc/861557/stat : 861557 (naps-1.03.sh) S 861554 861557 856257 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 163523921 10170368 708 134679101440 94085928345600 94085929424920 140733878625648 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94085931523376 94085931570564 94085948497920 140733878629348 140733878629473 140733878629473 140733878636488 0
/proc/861557/statm: 2483 708 632 264 0 134 0
[pid=861562] ppid=861557 vsize=274380 memory=260036 CPUtime=12.64 cores=5,7
/proc/861562/stat : 861562 (naps-1.03) R 861557 861557 856257 0 -1 4194304 47054 0 0 0 1251 13 0 0 20 0 1 0 163523922 280965120 65009 134679101440 4194304 6891213 140730800384704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23638016 140730800391157 140730800391269 140730800391269 140730800398283 0
/proc/861562/statm: 68595 65009 660 659 0 67799 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 284312 KiB
Current children cumulated memory: 262868 KiB
[startup+25.5003 s]
/proc/loadavg: 4.16 4.13 4.10 5/259 861565
/proc/meminfo: memFree=109271660/131524600 swapFree=131071996/131071996
[pid=861557] ppid=861554 vsize=9932 memory=2832 CPUtime=0 cores=5,7
/proc/861557/stat : 861557 (naps-1.03.sh) S 861554 861557 856257 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 163523921 10170368 708 134679101440 94085928345600 94085929424920 140733878625648 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94085931523376 94085931570564 94085948497920 140733878629348 140733878629473 140733878629473 140733878636488 0
/proc/861557/statm: 2483 708 632 264 0 134 0
[pid=861562] ppid=861557 vsize=274380 memory=260036 CPUtime=25.4 cores=5,7
/proc/861562/stat : 861562 (naps-1.03) R 861557 861557 856257 0 -1 4194304 47119 0 0 0 2527 13 0 0 20 0 1 0 163523922 280965120 65009 134679101440 4194304 6891213 140730800384704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23638016 140730800391157 140730800391269 140730800391269 140730800398283 0
/proc/861562/statm: 68595 65009 660 659 0 67799 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 284312 KiB
Current children cumulated memory: 262868 KiB
[startup+51.1057 s]
/proc/loadavg: 4.11 4.12 4.09 5/260 861620
/proc/meminfo: memFree=115362232/131524600 swapFree=131071996/131071996
[pid=861557] ppid=861554 vsize=9932 memory=2832 CPUtime=0 cores=5,7
/proc/861557/stat : 861557 (naps-1.03.sh) S 861554 861557 856257 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 163523921 10170368 708 134679101440 94085928345600 94085929424920 140733878625648 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94085931523376 94085931570564 94085948497920 140733878629348 140733878629473 140733878629473 140733878636488 0
/proc/861557/statm: 2483 708 632 264 0 134 0
[pid=861562] ppid=861557 vsize=274380 memory=260036 CPUtime=50.92 cores=5,7
/proc/861562/stat : 861562 (naps-1.03) R 861557 861557 856257 0 -1 4194304 47171 0 0 0 5079 13 0 0 20 0 1 0 163523922 280965120 65009 134679101440 4194304 6891213 140730800384704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23638016 140730800391157 140730800391269 140730800391269 140730800398283 0
/proc/861562/statm: 68595 65009 660 659 0 67799 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 284312 KiB
Current children cumulated memory: 262868 KiB
[startup+54.9735 s]
# the end of solver process 861557 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=54.6536 s, system=0.142552 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2003 s]
/proc/loadavg: 4.11 4.12 4.09 5/260 861620
/proc/meminfo: memFree=115362232/131524600 swapFree=131071996/131071996
[pid=861557] ppid=861554 vsize=9932 memory=2832 CPUtime=0 cores=5,7
/proc/861557/stat : 861557 (naps-1.03.sh) S 861554 861557 856257 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 163523921 10170368 708 134679101440 94085928345600 94085929424920 140733878625648 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94085931523376 94085931570564 94085948497920 140733878629348 140733878629473 140733878629473 140733878636488 0
/proc/861557/statm: 2483 708 632 264 0 134 0
[pid=861562] ppid=861557 vsize=274380 memory=260036 CPUtime=51.02 cores=5,7
/proc/861562/stat : 861562 (naps-1.03) R 861557 861557 856257 0 -1 4194304 47171 0 0 0 5089 13 0 0 20 0 1 0 163523922 280965120 65009 134679101440 4194304 6891213 140730800384704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23638016 140730800391157 140730800391269 140730800391269 140730800398283 0
/proc/861562/statm: 68595 65009 660 659 0 67799 0
Current children cumulated CPU time: 51.02 s
Current children cumulated vsize: 284312 KiB
Current children cumulated memory: 262868 KiB
[startup+52.8003 s]
/proc/loadavg: 4.11 4.12 4.09 5/260 861620
/proc/meminfo: memFree=115362232/131524600 swapFree=131071996/131071996
[pid=861557] ppid=861554 vsize=9932 memory=2832 CPUtime=0 cores=5,7
/proc/861557/stat : 861557 (naps-1.03.sh) S 861554 861557 856257 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 163523921 10170368 708 134679101440 94085928345600 94085929424920 140733878625648 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94085931523376 94085931570564 94085948497920 140733878629348 140733878629473 140733878629473 140733878636488 0
/proc/861557/statm: 2483 708 632 264 0 134 0
[pid=861562] ppid=861557 vsize=274380 memory=260036 CPUtime=52.61 cores=5,7
/proc/861562/stat : 861562 (naps-1.03) R 861557 861557 856257 0 -1 4194304 47171 0 0 0 5248 13 0 0 20 0 1 0 163523922 280965120 65009 134679101440 4194304 6891213 140730800384704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23638016 140730800391157 140730800391269 140730800391269 140730800398283 0
/proc/861562/statm: 68595 65009 660 659 0 67799 0
Current children cumulated CPU time: 52.61 s
Current children cumulated vsize: 284312 KiB
Current children cumulated memory: 262868 KiB
[startup+53.6003 s]
/proc/loadavg: 4.10 4.12 4.09 5/260 861620
/proc/meminfo: memFree=115665936/131524600 swapFree=131071996/131071996
[pid=861557] ppid=861554 vsize=9932 memory=2832 CPUtime=0 cores=5,7
/proc/861557/stat : 861557 (naps-1.03.sh) S 861554 861557 856257 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 163523921 10170368 708 134679101440 94085928345600 94085929424920 140733878625648 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94085931523376 94085931570564 94085948497920 140733878629348 140733878629473 140733878629473 140733878636488 0
/proc/861557/statm: 2483 708 632 264 0 134 0
[pid=861562] ppid=861557 vsize=274380 memory=260036 CPUtime=53.41 cores=5,7
/proc/861562/stat : 861562 (naps-1.03) R 861557 861557 856257 0 -1 4194304 47171 0 0 0 5328 13 0 0 20 0 1 0 163523922 280965120 65009 134679101440 4194304 6891213 140730800384704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23638016 140730800391157 140730800391269 140730800391269 140730800398283 0
/proc/861562/statm: 68595 65009 660 659 0 67799 0
Current children cumulated CPU time: 53.41 s
Current children cumulated vsize: 284312 KiB
Current children cumulated memory: 262868 KiB
[startup+54.4002 s]
/proc/loadavg: 4.10 4.12 4.09 5/260 861620
/proc/meminfo: memFree=115131776/131524600 swapFree=131071996/131071996
[pid=861557] ppid=861554 vsize=9932 memory=2832 CPUtime=0 cores=5,7
/proc/861557/stat : 861557 (naps-1.03.sh) S 861554 861557 856257 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 163523921 10170368 708 134679101440 94085928345600 94085929424920 140733878625648 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94085931523376 94085931570564 94085948497920 140733878629348 140733878629473 140733878629473 140733878636488 0
/proc/861557/statm: 2483 708 632 264 0 134 0
[pid=861562] ppid=861557 vsize=274380 memory=260036 CPUtime=54.21 cores=5,7
/proc/861562/stat : 861562 (naps-1.03) R 861557 861557 856257 0 -1 4194304 47179 0 0 0 5408 13 0 0 20 0 1 0 163523922 280965120 65009 134679101440 4194304 6891213 140730800384704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23638016 140730800391157 140730800391269 140730800391269 140730800398283 0
/proc/861562/statm: 68595 65009 660 659 0 67799 0
Current children cumulated CPU time: 54.21 s
Current children cumulated vsize: 284312 KiB
Current children cumulated memory: 262868 KiB
[startup+54.8002 s]
/proc/loadavg: 4.10 4.12 4.09 5/260 861620
/proc/meminfo: memFree=115131776/131524600 swapFree=131071996/131071996
[pid=861557] ppid=861554 vsize=9932 memory=2832 CPUtime=0 cores=5,7
/proc/861557/stat : 861557 (naps-1.03.sh) S 861554 861557 856257 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 163523921 10170368 708 134679101440 94085928345600 94085929424920 140733878625648 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94085931523376 94085931570564 94085948497920 140733878629348 140733878629473 140733878629473 140733878636488 0
/proc/861557/statm: 2483 708 632 264 0 134 0
[pid=861562] ppid=861557 vsize=274380 memory=260036 CPUtime=54.61 cores=5,7
/proc/861562/stat : 861562 (naps-1.03) R 861557 861557 856257 0 -1 4194304 47179 0 0 0 5448 13 0 0 20 0 1 0 163523922 280965120 65009 134679101440 4194304 6891213 140730800384704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23638016 140730800391157 140730800391269 140730800391269 140730800398283 0
/proc/861562/statm: 68595 65009 660 659 0 67799 0
Current children cumulated CPU time: 54.61 s
Current children cumulated vsize: 284312 KiB
Current children cumulated memory: 262868 KiB
[startup+54.9002 s]
/proc/loadavg: 4.10 4.12 4.09 5/260 861620
/proc/meminfo: memFree=115131776/131524600 swapFree=131071996/131071996
[pid=861557] ppid=861554 vsize=9932 memory=2832 CPUtime=0 cores=5,7
/proc/861557/stat : 861557 (naps-1.03.sh) S 861554 861557 856257 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 163523921 10170368 708 134679101440 94085928345600 94085929424920 140733878625648 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94085931523376 94085931570564 94085948497920 140733878629348 140733878629473 140733878629473 140733878636488 0
/proc/861557/statm: 2483 708 632 264 0 134 0
[pid=861562] ppid=861557 vsize=274380 memory=260036 CPUtime=54.71 cores=5,7
/proc/861562/stat : 861562 (naps-1.03) R 861557 861557 856257 0 -1 4194304 47179 0 0 0 5458 13 0 0 20 0 1 0 163523922 280965120 65009 134679101440 4194304 6891213 140730800384704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23638016 140730800391157 140730800391269 140730800391269 140730800398283 0
/proc/861562/statm: 68595 65009 660 659 0 67799 0
Current children cumulated CPU time: 54.71 s
Current children cumulated vsize: 284312 KiB
Current children cumulated memory: 262868 KiB
Child status: 30
Real time (s): 54.9736
CPU time (s): 54.7961
CPU user time (s): 54.6536
CPU system time (s): 0.142552
CPU usage (%): 99.6772
Max. virtual memory (cumulated for all children) (KiB): 333096
Max. memory (cumulated for all children) (KiB): 310288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 54.6536
system time used= 0.142552
maximum resident set size= 307456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47672
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= 12
involuntary context switches= 51
# summary of solver processes directly reported to runsolver:
# pid: 861557
# total CPU time (s): 54.7961
# total CPU user time (s): 54.6536
# total CPU system time (s): 0.142552
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.09024 second user time and 0.336859 second system time
The end
Begin job on nodeC029 at 2024-07-16 09:06:18
IDJOB=4434391
IDBENCH=148771
IDSOLVER=3063
FILE ID=nodeC029/4434391-1721113565
RUNJOBID= nodeC029-1721106203-856270
SLURM_JOB_ID= 7505635
Free space on /tmp= 890020 MiB
SOLVER NAME= NaPS 1.03
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx60.opb
COMMAND LINE= HOME/naps-1.03.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434391-1721113565/watcher-4434391-1721113565 -o /tmp/evaluation-result-4434391-1721113565/solver-4434391-1721113565 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721106203-856270 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4434391-1721113565.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c4903dfb08836eadb378d0a168fb9840
RANDOM SEED=830143012
nodeC029.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 3673.097
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
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 : 3669.358
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
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 : 3600.026
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
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 : 3600.385
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
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 : 3673.237
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
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 : 3656.769
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
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 : 3600.283
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
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 : 3663.508
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 109734084 kB
MemAvailable: 115744964 kB
Buffers: 397504 kB
Cached: 6377512 kB
SwapCached: 0 kB
Active: 746020 kB
Inactive: 20262864 kB
Active(anon): 1520 kB
Inactive(anon): 14270384 kB
Active(file): 744500 kB
Inactive(file): 5992480 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 5524 kB
Writeback: 0 kB
AnonPages: 14234016 kB
Mapped: 112100 kB
Shmem: 37720 kB
KReclaimable: 227092 kB
Slab: 348504 kB
SReclaimable: 227092 kB
SUnreclaim: 121412 kB
KernelStack: 4172 kB
PageTables: 37292 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 15494956 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 61344 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10723328 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 279252 kB
DirectMap2M: 36194304 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 890032 MiB
End job on nodeC029 at 2024-07-16 09:07:13