0.00/0.00	c NaPS 1.03.
0.00/0.00	c We set -no-flip-min because your selected sat solver does not support it.
0.00/0.00	c Input file name: HOME/instance-4433915-1721055618.opb
0.21/0.31	c single stage optimization mode
0.87/0.95	o 17813
1.47/1.58	o 9859
1.98/2.10	o 3550
2.57/2.65	o 1837
2.87/2.99	o 1038
3.17/3.21	o 1028
3.27/3.35	o 827
3.47/3.59	o 822
5.16/5.24	o 819
5.86/5.93	o 818
5.97/6.05	o 815
6.07/6.19	o 813
6.45/6.56	s OPTIMUM FOUND
6.45/6.56	c _____________________________________________________________________________
6.45/6.56	c std/band forms        : 424,0
6.45/6.56	c 2cl/3cl ITE-codings   : 0,0
6.45/6.56	c BDD/srt/adr Max costs : 622475,97689,0
6.45/6.56	c BDDraw/bin/mul/srt/adr: 7,0,0,417,0
6.45/6.56	c BDD nodes             : 150400
6.45/6.56	c Es1/CC detections     : 0,0
6.45/6.56	c CC sort               : 401
6.45/6.56	c SAT/UNSAT calls       : 12,5
6.45/6.56	c regenrated variables  : 191034
6.45/6.56	c eliminated fixed lits : 7267
6.45/6.56	c goal lit flips        : 0
6.45/6.56	c goal stages           : 1
6.45/6.56	c goal shrink           : 0
6.45/6.56	c goal coeff separations: 0
6.45/6.56	c restarts              : 1679
6.45/6.56	c conflicts             : 134483         (21054 /sec)
6.45/6.56	c decisions             : 3801088        (595078 /sec)
6.45/6.56	c propagations          : 237661561      (37207039 /sec)
6.45/6.56	c inspects              : 0              (0 /sec)
6.45/6.56	c CPU time (solving tm) : 6.388 s        (4.741 s, SAT 3.424 s, UNSAT 1.317 s)
6.45/6.56	c Time for Opt-base     : 0.03133 s
6.45/6.56	c Steps for Opt-base    : 75474
6.45/6.56	c Time for BDD coding   : 0.729 s
6.45/6.56	c Time for srt coding   : 0.1692 s
6.45/6.56	c _____________________________________________________________________________
6.45/6.56	v x2 -x366 -x730 -x925 -x1120 -x1705 x1900 x3 -x367 -x1121 x1511 -x2096 x4 -x368 -x1122 x1707 -x5 x187 -x369 x1123 -x1318 -x1513 -x1708 -x1903 -x6 -x188 x370 -x1124 -x1319 x1514 -x1709 -x1904 x7 -x189 -x371 -x735 -x930 -x1125 -x1320 x1515 -x1710 -x1905 x1516 -x2101 x555 x1712 x11 -x193 -x375 x739 -x934 -x1129 -x1324 x194 x1325 -x1520 -x1715 -x2105 x560 x2107 -x15 -x379 x561 -x743 -x938 x1133 -x2108 -x16 x380 -x1134 x2109 x17 -x381 -x1135 x2110 x564 x1331 -x1526 -x2111 x567 -x1724 x1919 -x2114 x568 x1335 -x2115 x205 -x1726 x1921 -x24 -x206 x388 x752 -x947 -x1142 -x1727 -x1922 -x2117 x571 x1533 -x1728 -x2118 x572 x2119 x573 x1340 -x1535 -x2120 x2121 x574 -x757 x952 -x29 x393 -x1148 x1928 x30 -x394 -x1149 x1344 x577 x1345 -x1540 -x2125 x1346 x1347 -x33 x397 -x1153 x34 -x398 -x1154 x2129 x35 -x399 x960 -x1155 -x2130 x36 -x400 -x1156 x2131 -x37 x401 -x1157 x2132 -x38 x402 -x1158 -x2133 x39 -x403 x964 -x1159 -x2134 x965 -x2135 x223 x1551 -x2136 x42 -x406 -x772 x967 -x1162 -x2137 x589 x1943 x590 -x774 -x969 x1359 -x1749 x227 x775 -x970 x228 x1556 -x1751 -x2141 -x47 x411 -x1167 x1752 x1558 -x1753 x49 -x231 -x413 -x779 -x974 -x1169 x1364 x596 x1755 x51 -x415 x781 -x976 -x1171 -x1951 -x2146 x234 x977 -x1757 -x2147 x1758 -x2148 -x53 x417 -x1174 x1954 x418 -x600 x785 -x980 -x1370 -x55 -x419 x1176 -x2151 -x56 x420 -x1177 x2152 -x57 x421 -x1178 x1763 -x422 x604 x1764 -x59 x423 -x1180 x2155 x242 -x606 x1766 -x2156 -x61 x243 -x425 x1182 -x1767 -x62 x244 -x426 -x793 -x988 x1183 x609 x1769 -x64 -x428 x610 x1185 -x65 x429 -x1186 x2161 x66 -x430 -x797 x992 -x1187 x249 x1383 -x2163 x614 x1384 -x2164 x2165 x252 x2166 -x253 x617 x1387 x254 x2168 x2169 x255 x1585 -x2170 x74 -x438 -x1196 x1586 -x2171 -x76 -x440 x622 x1198 -x2173 x623 -x1394 x1589 -x78 -x442 x1200 x261 x1396 x812 -x1007 -x1787 x444 -x626 x1788 x627 x814 -x1009 -x1789 -x1984 -x2179 x1790 -x2180 x628 x816 -x1011 x629 x1597 -x1792 -x2182 -x266 x630 x1403 -x2183 -x85 -x449 x631 -x819 -x1014 x1209 -x2184 x632 x2185 x821 -x1016 -x2186 x1797 x634 x2188 x2189 x636 -x825 x1020 -x1800 x637 x1801 -x2191 -x92 x456 x827 -x1022 -x1217 x93 -x457 x828 -x1023 -x1218 -x829 x1024 x95 -x459 x830 -x1025 -x1220 -x96 x460 -x1221 x2196 x279 x1417 -x2197 x2198 x462 -x644 x1029 -x2199 x1225 -x463 x645 -x836 x1031 -x1421 -x1616 x646 x1032 -x2202 x101 -x465 x838 -x1033 -x1228 -x1423 -x2203 x102 -x466 -x1229 -x2204 x103 -x467 -x840 x1035 -x1230 -x1620 -x104 x468 -x1231 -x1621 -x1816 x2011 -x105 x287 -x469 -x842 -x1037 x1232 -x1427 -x106 x470 -x1233 x1428 -x1623 -x1818 -x107 x471 x844 -x1039 -x1234 x290 -x109 x473 -x846 x1041 -x1236 -x110 x474 -x847 x1042 -x1237 x293 -x112 x294 -x476 -x849 x1044 -x1239 -x2019 x113 -x477 -x1240 x1435 x660 -x115 -x479 x661 x1242 -x1827 x298 x117 -x481 -x1244 x1439 x300 -x664 x301 x1636 x120 -x484 -x1247 -x1832 x2027 x121 -x485 -x1248 x1833 x304 x2224 x123 -x487 -x1250 x2225 x306 -x126 x308 -x490 x1253 -x1838 -x2228 x673 x864 -x1059 -x128 -x492 x674 x1255 -x1840 x675 -x130 x494 x866 -x1256 -x2231 x313 x2232 -x132 x314 x868 -x1453 -x1648 x315 x1454 -x134 x316 -x498 x1260 -x1650 -x1845 -x2040 x681 x871 -x1066 -x136 x500 -x872 x1067 -x1262 -x1457 x137 -x319 -x501 -x873 -x1068 -x1263 -x1848 x2043 -x2238 x684 x2239 x321 -x875 x1070 -x140 x504 -x1266 x1461 -x2241 x141 -x323 x1852 -x2242 -x878 x1073 -x2243 x688 -x879 -x1074 -x1659 x1854 -x143 -x507 x689 -x880 -x1075 x1270 -x1465 -x1660 -x1855 -x2050 -x2245 x144 -x326 -x508 -x690 -x1271 x1466 -x2246 x509 -x691 x1857 -x146 -x510 x692 x1273 -x2248 -x1469 x1859 -x1470 x1860 x1471 -x147 x511 -x1277 x1862 x330 x1863 x695 x1669 -x2254 x696 x1475 -x1670 x151 -x515 x891 -x1086 -x1281 x152 -x516 -x892 x1087 -x1282 -x1477 -x1672 -x2062 -x893 -x1088 x1478 -x1673 -x336 x700 -x894 x1089 -x1479 -x1674 -x2259 -x155 x519 -x895 x1090 -x1285 -x1480 -x1675 -x1870 x156 -x520 -x896 x1091 -x1286 -x1676 x1677 x158 -x340 -x522 -x898 -x1093 -x1288 -x1678 x1873 -x160 -x342 x524 -x706 -x900 -x1095 -x1290 x1680 -x2070 x343 x2266 x162 -x526 -x1292 -x2267 x345 x2268 -x164 -x346 x528 -x1099 -x1294 -x1684 x1879 x529 -x711 -x905 -x1100 -x1295 -x1685 x1880 -x2075 -x2270 x348 x1686 -x2271 -x168 x532 -x1298 x1883 -x169 x351 -x533 x1299 -x2274 x170 -x352 -x534 -x716 x910 -x1105 -x1300 -x1495 -x2275 x1301 -x1496 -x1691 x1107 -x2277 -x172 x354 -x536 -x1303 -x1693 x2083 x173 -x537 -x719 -x1304 x2084 -x2279 -x175 x539 -x916 -x1111 -x1306 x1696 x540 x917 -x1502 x359 -x723 -x1503 x1698 -x1893 -x2088 x360 x1699 -x2284 -x179 x361 -x543 -x920 -x1115 x1310 -x2285 -x180 x544 -x1311 x1701 -x2286 x181 -x545 -x1312 x1702 -x2287 -x182 -x546 x728 -x1313 -x1898 x2093 x365 -x729 x1509 -x1704 -x2094 -x1315 -x1510 -x185 -x549 -x731 -x926 -x1316 -x1706 -x1901 -x550 -x732 -x927 -x1317 -x1512 -x2097 -x733 -x928 -x2098 -x734 -x929 -x2099 -x2100 -x554 -x736 -x931 -x1321 -x1711 -x9 -x373 -x737 -x932 -x1127 -x1517 -x1907 x10 -x192 -x374 -x556 -x738 -x933 -x1128 -x1323 -x1713 -x1908 -x557 -x1519 -x1714 -x1909 -x2104 -x12 -x376 -x740 -x935 -x1130 -x195 -x14 -x196 -x378 -x742 -x937 -x1132 -x1327 -x1522 -x1717 -x1912 -x198 -x562 -x744 -x939 -x1329 -x1524 -x1719 -x1914 -x199 -x563 -x745 -x940 -x1330 -x1525 -x1720 -x1915 -x18 -x200 -x382 -x746 -x941 -x1136 -x1721 -x1916 -x19 -x383 -x1137 -x1527 -x1722 -x1917 -x748 -x943 -x1528 -x1723 -x1918 -x2113 -x21 -x203 -x385 -x749 -x944 -x1139 -x1334 -x1529 -x22 -x386 -x1140 -x23 -x387 -x569 -x751 -x946 -x1141 -x1336 -x1531 -x2116 -x1337 -x1532 -x25 -x207 -x389 -x1143 -x1338 -x1923 -x26 -x208 -x390 -x754 -x949 -x1144 -x1339 -x1729 -x1924 -x27 -x209 -x391 -x755 -x950 -x1145 -x1730 -x1925 -x756 -x951 -x1146 -x1341 -x1536 -x1731 -x1926 -x28 -x210 -x392 -x1147 -x1342 -x1537 -x1732 -x1927 -x2122 -x211 -x575 -x758 -x953 -x1343 -x1538 -x1733 -x2123 -x1929 -x31 -x213 -x395 -x760 -x955 -x1150 -x1735 -x1930 -x1541 -x2126 -x1542 -x579 -x763 -x958 -x1543 -x1738 -x216 -x764 -x959 -x1349 -x1544 -x1739 -x1934 -x217 -x1350 -x1545 -x1740 -x1935 -x218 -x582 -x766 -x961 -x1351 -x1546 -x1741 -x1936 -x219 -x583 -x767 -x962 -x1352 -x1547 -x1742 -x1937 -x220 -x584 -x768 -x963 -x1353 -x1548 -x221 -x1354 -x1549 -x1744 -x1939 -x224 -x588 -x1357 -x1552 -x1942 -x43 -x407 -x773 -x968 -x1163 -x1358 -x1553 -x44 -x408 -x1164 -x45 -x409 -x591 -x1165 -x1360 -x1555 -x46 -x410 -x1166 -x1946 -x229 -x593 -x777 -x972 -x1362 -x1557 -x1947 -x2142 -x230 -x1363 -x595 -x50 -x232 -x414 -x780 -x975 -x1170 -x1365 -x1560 -x2145 -x233 -x597 -x1366 -x1561 -x1756 -x52 -x416 -x598 -x1172 -x1367 -x1562 -x1952 -x236 -x1565 -x1760 -x2150 -x237 -x786 -x981 -x1371 -x1566 -x1761 -x1956 -x239 -x603 -x788 -x983 -x1373 -x1568 -x1958 -x2153 -x240 -x1374 -x1569 -x241 -x605 -x790 -x985 -x1375 -x1570 -x60 -x424 -x791 -x986 -x1181 -x607 -x792 -x987 -x1377 -x1572 -x1962 -x2157 -x63 -x245 -x427 -x794 -x989 -x1184 -x1964 -x1575 -x2160 -x611 -x1381 -x1576 -x248 -x612 -x1382 -x1577 -x1772 -x1967 -x2162 -x67 -x431 -x613 -x798 -x993 -x1188 -x1578 -x1773 -x1968 -x68 -x250 -x432 -x799 -x994 -x1189 -x1579 -x1774 -x1969 -x69 -x433 -x800 -x995 -x1190 -x1385 -x1775 -x1970 -x70 -x434 -x616 -x801 -x996 -x1191 -x1386 -x1581 -x1776 -x1971 -x71 -x435 -x802 -x997 -x1192 -x1972 -x72 -x436 -x618 -x803 -x998 -x1193 -x1388 -x1583 -x1778 -x1973 -x804 -x999 -x1194 -x1389 -x1584 -x1779 -x73 -x437 -x619 -x805 -x1000 -x1195 -x1390 -x1780 -x1975 -x256 -x620 -x806 -x1001 -x1391 -x1781 -x1976 -x75 -x257 x439 -x621 -x807 -x1002 -x1197 -x1392 -x1587 -x1782 x1977 -x2172 -x258 -x808 -x1003 -x1393 -x1588 -x77 -x441 -x809 -x1004 -x1199 -x1979 -x260 -x1395 -x1590 -x1980 -x79 -x443 -x625 -x811 -x1006 -x1201 -x1591 -x1786 -x1981 -x2176 -x1202 -x1397 -x1592 -x1982 -x2177 -x813 -x1008 -x1593 -x81 -x263 -x445 -x1204 -x1399 -x1594 -x815 -x1010 -x1205 -x1400 -x1595 -x1985 -x82 -x264 -x446 -x1206 -x1401 -x1596 -x1791 -x1986 -x2181 -x265 -x84 -x448 -x818 -x1013 -x1208 -x1598 -x1793 -x1988 -x267 -x1404 -x1599 -x1794 -x1989 -x86 -x450 -x820 -x1015 -x1210 -x1795 -x1990 -x1211 -x1406 -x1601 -x1796 -x1991 -x87 -x451 -x633 -x822 -x1017 -x1212 -x1407 -x1602 -x2187 -x88 -x270 -x452 -x823 -x1018 -x1213 -x1408 -x1603 -x1798 -x1993 x89 -x271 -x453 -x635 -x824 -x1019 -x1214 -x1409 -x1604 -x1799 -x1994 -x90 -x272 -x454 -x1215 -x1410 -x1605 -x2190 -x91 -x273 -x455 -x826 -x1021 -x1216 -x1411 -x1606 -x1996 -x274 -x638 -x1412 -x1607 -x1802 -x1997 -x2192 -x275 -x639 -x1413 -x1608 -x1803 -x1998 -x2193 -x277 -x641 -x1415 -x1610 -x1805 -x2000 -x2195 -x278 -x642 -x831 -x1026 -x1416 -x1611 -x97 -x461 -x643 -x832 -x1027 -x1222 -x1807 -x2002 -x833 -x1028 -x1223 -x1418 -x1613 -x1808 -x2003 -x1614 -x2004 -x835 -x1030 -x1420 -x1615 -x1810 -x2005 -x2200 -x1811 -x2201 -x100 -x282 -x464 -x1227 -x2007 -x283 -x647 -x1813 -x2008 -x284 -x1619 -x1814 -x2009 -x285 -x649 -x1425 -x2205 -x286 -x1426 -x651 -x1817 -x2012 -x2207 -x288 -x652 -x843 -x1038 -x2013 -x2208 -x289 -x653 -x1429 -x1624 -x1819 -x2014 -x2209 -x108 -x472 -x654 -x845 -x1040 -x1235 -x1430 -x1625 -x2015 -x2210 -x291 -x655 -x1431 -x1626 -x1821 -x2016 -x2211 -x292 -x656 -x1432 -x1627 -x1822 -x2017 -x2212 -x111 -x475 -x657 -x848 -x1043 -x1238 -x1433 -x1628 -x1823 x2018 -x2213 -x658 -x1434 -x1629 -x2214 -x295 -x659 -x850 -x1045 -x1630 -x1825 -x2020 -x2215 -x114 -x296 -x478 -x851 -x1046 x1241 -x1436 -x1631 -x1826 -x2021 -x2216 -x297 -x1632 -x116 -x480 -x662 x853 -x1048 -x1243 -x1438 -x1633 -x1828 -x2023 -x2218 -x299 -x663 -x854 -x1049 -x1634 -x1829 -x2024 -x2219 -x118 -x482 -x855 -x1050 x1245 -x1440 -x1635 -x1830 -x2025 -x2220 -x119 -x483 -x665 -x856 -x1051 -x1246 -x1441 -x1831 -x2026 -x2221 -x302 -x666 -x857 -x1052 -x1442 -x1637 -x2222 -x667 -x858 -x1053 -x1638 -x2223 -x122 -x486 -x668 -x859 -x1054 -x1249 -x1444 -x1639 -x1834 -x2029 -x305 -x669 -x1445 -x1640 -x1835 -x2030 -x672 -x863 -x1058 -x1448 -x1643 -x2033 -x309 -x1449 -x1644 -x1839 -x2034 -x1645 -x129 -x493 -x312 -x676 -x1451 -x1646 -x131 -x495 -x677 -x867 -x1062 -x1257 -x1452 -x1647 -x1842 -x2037 -x133 -x497 -x679 -x869 -x1064 -x1259 -x1649 -x1844 -x2039 -x2234 -x135 -x317 -x499 -x1261 -x1456 -x1651 -x2236 -x318 -x682 -x1652 -x1847 -x2042 -x2237 -x138 -x320 -x502 -x874 -x1069 -x1264 -x1459 -x1654 -x1849 -x2044 -x139 -x503 -x685 -x1265 -x1460 -x1655 -x1850 -x2240 -x322 -x686 -x876 -x1071 -x1656 -x2046 -x1268 -x2048 -x2049 -x325 -x881 -x1076 -x1661 -x1856 -x2051 -x1662 -x2249 -x2250 -x1666 -x2251 -x693 -x887 -x1082 -x694 -x149 -x331 -x513 -x889 -x1084 -x1279 -x1864 -x2059 -x150 -x332 -x514 -x890 -x1085 -x1280 -x1865 -x2060 -x2255 -x333 -x697 -x1476 -x1671 -x1866 -x2061 -x2256 -x698 -x1867 -x2257 -x153 -x517 -x699 -x1283 -x1868 -x2063 -x2258 -x154 -x518 -x1284 -x1869 -x2064 -x701 -x2065 -x2260 -x338 -x702 -x1481 -x1871 -x2066 -x2261 -x703 -x1872 -x2262 -x704 -x1483 -x2068 -x2263 -x159 -x523 -x705 -x899 -x1094 -x1289 -x1679 -x2264 -x1485 -x1875 -x2265 -x161 -x525 -x707 -x901 -x1096 -x1291 -x1486 -x1681 -x1876 -x2071 -x344 -x708 -x902 -x1097 -x1487 -x1877 -x2072 -x163 -x527 -x709 -x903 -x1098 -x1293 -x1488 -x1878 -x2073 -x710 -x1489 -x2074 -x2269 -x1882 -x350 -x714 -x908 -x1103 -x1493 -x2078 -x2273 -x715 -x909 -x1104 -x1494 -x1884 -x2079 -x1885 -x2080 -x717 -x718 -x913 -x1108 -x1498 -x2278 -x1694 -x720 -x1890 -x2085 -x2280 -x721 -x1891 -x2086 -x2281 -x722 -x177 -x541 -x918 -x1113 -x1308 -x2283 -x178 -x542 -x724 -x919 -x1114 -x1309 -x1894 -x2089 -x725 -x1505 -x1895 -x362 -x726 -x921 -x1116 -x1506 -x363 -x727 -x922 -x1117 -x1507 -x1897 -x2092 -x364 -x1508 -x1703 -x183 -x547 -x924 -x1119 -x1314 -x1899 -x2289 x1 -x8 x13 -x20 -x32 -x40 -x41 -x48 -x54 -x58 -x80 -x83 x94 -x98 -x99 -x124 -x125 -x127 -x142 -x145 -x148 -x157 -x165 -x166 x167 -x171 -x174 -x176 -x184 -x186 -x190 -x191 -x197 x201 x202 -x204 -x212 -x214 -x215 x222 -x225 -x226 -x235 -x238 -x246 -x247 x251 -x259 -x262 -x268 x269 -x276 -x280 -x281 -x303 -x307 -x310 -x311 -x324 -x327 -x328 -x329 -x334 x335 -x337 -x339 x341 -x347 -x349 -x353 -x355 x356 -x357 -x358 x372 -x377 -x384 -x396 -x404 -x405 x412 -x447 -x458 -x488 x489 -x491 -x496 -x505 -x506 -x512 x521 -x530 -x531 x535 -x538 -x548 -x551 -x552 -x553 -x558 -x559 -x565 -x566 -x570 -x576 x578 -x580 -x581 -x585 -x586 -x587 -x592 -x594 -x599 x601 -x602 -x608 -x615 x624 -x640 -x648 -x650 -x670 -x671 -x678 -x680 -x683 -x687 -x712 -x713 -x741 x747 -x750 -x753 -x759 -x761 -x762 -x765 -x769 -x770 -x771 -x776 -x778 -x782 -x783 -x784 -x787 -x789 -x795 -x796 -x810 -x817 -x834 -x837 x839 -x841 -x852 -x860 -x861 -x862 -x865 -x870 -x877 -x882 -x883 -x884 -x885 -x886 -x888 -x897 -x904 -x906 -x907 -x911 -x912 -x914 x915 -x923 -x936 -x942 -x945 -x948 -x954 -x956 -x957 -x966 -x971 -x973 -x978 -x979 -x982 -x984 -x990 -x991 -x1005 -x1012 -x1034 -x1036 -x1047 -x1055 -x1056 -x1057
6.45/6.56	v -x1060 -x1061 -x1063 -x1065 -x1072 -x1077 -x1078 -x1079 -x1080 -x1081 -x1083 -x1092 -x1101 -x1102 -x1106 -x1109 -x1110 -x1112 -x1118 -x1126 -x1131 x1138 -x1151 -x1152 -x1160 -x1161 -x1168 -x1173 -x1175 -x1179 -x1203 -x1207 -x1219 -x1224 -x1226 -x1251 -x1252 -x1254 -x1258 -x1267 -x1269 -x1272 -x1274 -x1275 -x1276 -x1278 -x1287 -x1296 -x1297 -x1302 -x1305 -x1307 -x1322 -x1326 -x1328 -x1332 -x1333 -x1348 -x1355 -x1356 -x1361 -x1368 -x1369 -x1372 -x1376 -x1378 -x1379 -x1380 -x1398 -x1402 -x1405 -x1414 -x1419 -x1422 -x1424 -x1437 -x1443 -x1446 -x1447 -x1450 -x1455 -x1458 -x1462 -x1463 -x1464 -x1467 -x1468 -x1472 -x1473 -x1474 -x1482 -x1484 -x1490 -x1491 -x1492 -x1497 -x1499 -x1500 -x1501 -x1504 x1518 -x1521 -x1523 -x1530 -x1534 -x1539 -x1550 -x1554 -x1559 -x1563 -x1564 -x1567 -x1571 -x1573 -x1574 -x1580 -x1582 -x1600 -x1609 -x1612 -x1617 -x1618 -x1622 x1641 -x1642 -x1653 -x1657 -x1658 -x1663 -x1664 -x1665 -x1667 -x1668 x1682 -x1683 x1687 -x1688 -x1689 -x1690 -x1692 -x1695 -x1697 -x1700 -x1716 -x1718 -x1725 -x1734 -x1736 -x1737 -x1743 -x1745 -x1746 -x1747 -x1748 -x1750 -x1754 -x1759 -x1762 -x1765 -x1768 -x1770 -x1771 -x1777 -x1783 -x1784 -x1785 -x1804 -x1806 -x1809 -x1812 -x1815 x1820 -x1824 -x1836 -x1837 -x1841 -x1843 -x1846 -x1851 -x1853 -x1858 -x1861 -x1874 -x1881 -x1886 -x1887 -x1888 -x1889 -x1892 -x1896 -x1902 -x1906 -x1910 x1911 -x1913 -x1920 -x1931 -x1932 x1933 x1938 -x1940 -x1941 -x1944 -x1945 -x1948 -x1949 -x1950 -x1953 -x1955 -x1957 -x1959 -x1960 -x1961 -x1963 -x1965 -x1966 -x1974 -x1978 -x1983 -x1987 -x1992 -x1995 -x1999 -x2001 -x2006 -x2010 -x2022 -x2028 -x2031 x2032 -x2035 -x2036 -x2038 -x2041 -x2045 -x2047 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2067 x2069 -x2076 -x2077 -x2081 -x2082 -x2087 -x2090 -x2091 -x2095 -x2102 -x2103 -x2106 -x2112 -x2124 -x2127 -x2128 -x2138 -x2139 -x2140 -x2143 -x2144 -x2149 -x2154 -x2158 -x2159 -x2167 -x2174 -x2175 -x2178 -x2194 -x2206 -x2217 -x2226 -x2227 -x2229 -x2230 -x2233 -x2235 -x2244 -x2247 -x2252 -x2253 -x2272 -x2276 -x2282 -x2288

OK	813

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: 64059 MiB (63159 MiB free)
  memory of node 1: 64510 MiB (63637 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433915-1721055618/watcher-4433915-1721055618 -o /tmp/evaluation-result-4433915-1721055618/solver-4433915-1721055618 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721055630-799150 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4433915-1721055618.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=799205, runsolver pid=799201

[startup+0.100098 s]*
/proc/loadavg: 3.36 3.27 3.27 5/251 799228
/proc/meminfo: memFree=129815536/131655788 swapFree=131071996/131071996
[pid=799205] ppid=799201 vsize=9932 memory=2792 CPUtime=0 cores=4,6
/proc/799205/stat : 799205 (naps-1.03.sh) S 799201 799205 794991 0 -1 4194304 227 245 0 0 0 0 0 0 20 0 1 0 157718251 10170368 698 134679101440 94575106011136 94575107090456 140722316714880 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94575109188912 94575109236100 94575125147648 140722316723168 140722316723297 140722316723297 140722316730312 0
/proc/799205/statm: 2483 698 623 264 0 134 0
[pid=799215] ppid=799205 vsize=17356 memory=11040 CPUtime=0.1 cores=4,6
/proc/799215/stat : 799215 (naps-1.03) R 799205 799205 794991 0 -1 4194304 2149 0 0 0 10 0 0 0 20 0 1 0 157718252 17772544 2760 134679101440 4194304 6891213 140733795433008 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 18489344 140733795439601 140733795439717 140733795439717 140733795446731 0
/proc/799215/statm: 4339 2760 468 659 0 3543 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27288 KiB
Current children cumulated memory: 13832 KiB

[startup+0.214643 s]*
/proc/loadavg: 3.36 3.27 3.27 5/251 799228
/proc/meminfo: memFree=129779232/131655788 swapFree=131071996/131071996
[pid=799205] ppid=799201 vsize=9932 memory=2792 CPUtime=0 cores=4,6
/proc/799205/stat : 799205 (naps-1.03.sh) S 799201 799205 794991 0 -1 4194304 227 245 0 0 0 0 0 0 20 0 1 0 157718251 10170368 698 134679101440 94575106011136 94575107090456 140722316714880 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94575109188912 94575109236100 94575125147648 140722316723168 140722316723297 140722316723297 140722316730312 0
/proc/799205/statm: 2483 698 623 264 0 134 0
[pid=799215] ppid=799205 vsize=32212 memory=29020 CPUtime=0.21 cores=4,6
/proc/799215/stat : 799215 (naps-1.03) R 799205 799205 794991 0 -1 4194304 6464 0 0 0 19 2 0 0 20 0 1 0 157718252 32985088 7255 134679101440 4194304 6891213 140733795433008 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 18489344 140733795439601 140733795439717 140733795439717 140733795446731 0
/proc/799215/statm: 8053 7255 468 659 0 7257 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 42144 KiB
Current children cumulated memory: 31812 KiB

[startup+0.314728 s]*
/proc/loadavg: 3.36 3.27 3.27 4/248 799228
/proc/meminfo: memFree=129754432/131655788 swapFree=131071996/131071996
[pid=799205] ppid=799201 vsize=9932 memory=2792 CPUtime=0 cores=4,6
/proc/799205/stat : 799205 (naps-1.03.sh) S 799201 799205 794991 0 -1 4194304 227 245 0 0 0 0 0 0 20 0 1 0 157718251 10170368 698 134679101440 94575106011136 94575107090456 140722316714880 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94575109188912 94575109236100 94575125147648 140722316723168 140722316723297 140722316723297 140722316730312 0
/proc/799205/statm: 2483 698 623 264 0 134 0
[pid=799215] ppid=799205 vsize=40172 memory=35372 CPUtime=0.31 cores=4,6
/proc/799215/stat : 799215 (naps-1.03) R 799205 799205 794991 0 -1 4194304 8102 0 0 0 28 3 0 0 20 0 1 0 157718252 41136128 8843 134679101440 4194304 6891213 140733795433008 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 18489344 140733795439601 140733795439717 140733795439717 140733795446731 0
/proc/799215/statm: 10043 8843 468 659 0 9247 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 50104 KiB
Current children cumulated memory: 38164 KiB

[startup+0.700424 s]
/proc/loadavg: 3.36 3.27 3.27 4/247 799242
/proc/meminfo: memFree=129723376/131655788 swapFree=131071996/131071996
[pid=799205] ppid=799201 vsize=9932 memory=2792 CPUtime=0 cores=4,6
/proc/799205/stat : 799205 (naps-1.03.sh) S 799201 799205 794991 0 -1 4194304 227 245 0 0 0 0 0 0 20 0 1 0 157718251 10170368 698 134679101440 94575106011136 94575107090456 140722316714880 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94575109188912 94575109236100 94575125147648 140722316723168 140722316723297 140722316723297 140722316730312 0
/proc/799205/statm: 2483 698 623 264 0 134 0
[pid=799215] ppid=799205 vsize=52552 memory=48308 CPUtime=0.68 cores=4,6
/proc/799215/stat : 799215 (naps-1.03) R 799205 799205 794991 0 -1 4194304 11279 0 0 0 64 4 0 0 20 0 1 0 157718252 53813248 12077 134679101440 4194304 6891213 140733795433008 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 18489344 140733795439601 140733795439717 140733795439717 140733795446731 0
/proc/799215/statm: 13138 12077 468 659 0 12342 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 62484 KiB
Current children cumulated memory: 51100 KiB

[startup+1.50046 s]
/proc/loadavg: 3.36 3.27 3.27 5/251 799278
/proc/meminfo: memFree=129634920/131655788 swapFree=131071996/131071996
[pid=799205] ppid=799201 vsize=9932 memory=2792 CPUtime=0 cores=4,6
/proc/799205/stat : 799205 (naps-1.03.sh) S 799201 799205 794991 0 -1 4194304 227 245 0 0 0 0 0 0 20 0 1 0 157718251 10170368 698 134679101440 94575106011136 94575107090456 140722316714880 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94575109188912 94575109236100 94575125147648 140722316723168 140722316723297 140722316723297 140722316730312 0
/proc/799205/statm: 2483 698 623 264 0 134 0
[pid=799215] ppid=799205 vsize=99780 memory=88796 CPUtime=1.47 cores=4,6
/proc/799215/stat : 799215 (naps-1.03) R 799205 799205 794991 0 -1 4194304 21654 0 0 0 139 8 0 0 20 0 1 0 157718252 102174720 22199 134679101440 4194304 6891213 140733795433008 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 18489344 140733795439601 140733795439717 140733795439717 140733795446731 0
/proc/799215/statm: 24945 22199 468 659 0 24149 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 109712 KiB
Current children cumulated memory: 91588 KiB

[startup+3.11379 s]
/proc/loadavg: 3.41 3.28 3.27 5/251 799278
/proc/meminfo: memFree=129175620/131655788 swapFree=131071996/131071996
[pid=799205] ppid=799201 vsize=9932 memory=2792 CPUtime=0 cores=4,6
/proc/799205/stat : 799205 (naps-1.03.sh) S 799201 799205 794991 0 -1 4194304 227 245 0 0 0 0 0 0 20 0 1 0 157718251 10170368 698 134679101440 94575106011136 94575107090456 140722316714880 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94575109188912 94575109236100 94575125147648 140722316723168 140722316723297 140722316723297 140722316730312 0
/proc/799205/statm: 2483 698 623 264 0 134 0
[pid=799215] ppid=799205 vsize=153624 memory=138540 CPUtime=3.08 cores=4,6
/proc/799215/stat : 799215 (naps-1.03) R 799205 799205 794991 0 -1 4194304 26480 0 0 0 298 10 0 0 20 0 1 0 157718252 157310976 34635 134679101440 4194304 6891213 140733795433008 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 18489344 140733795439601 140733795439717 140733795439717 140733795446731 0
/proc/799215/statm: 38406 34635 468 659 0 37610 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 163556 KiB
Current children cumulated memory: 141332 KiB

[startup+6.30038 s]
/proc/loadavg: 3.41 3.28 3.27 5/251 799280
/proc/meminfo: memFree=128909084/131655788 swapFree=131071996/131071996
[pid=799205] ppid=799201 vsize=9932 memory=2792 CPUtime=0 cores=4,6
/proc/799205/stat : 799205 (naps-1.03.sh) S 799201 799205 794991 0 -1 4194304 227 245 0 0 0 0 0 0 20 0 1 0 157718251 10170368 698 134679101440 94575106011136 94575107090456 140722316714880 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94575109188912 94575109236100 94575125147648 140722316723168 140722316723297 140722316723297 140722316730312 0
/proc/799205/statm: 2483 698 623 264 0 134 0
[pid=799215] ppid=799205 vsize=296596 memory=284136 CPUtime=6.25 cores=4,6
/proc/799215/stat : 799215 (naps-1.03) R 799205 799205 794991 0 -1 4194304 42978 0 0 0 611 14 0 0 20 0 1 0 157718252 303714304 71034 134679101440 4194304 6891213 140733795433008 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 18489344 140733795439601 140733795439717 140733795439717 140733795446731 0
/proc/799215/statm: 74149 71034 468 659 0 73353 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 306528 KiB
Current children cumulated memory: 286928 KiB

[startup+6.59311 s]
# the end of solver process 799205 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=6.40716 s, system=0.16067 s

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

[startup+6.40046 s]
/proc/loadavg: 3.41 3.28 3.27 5/251 799280
/proc/meminfo: memFree=128909084/131655788 swapFree=131071996/131071996
[pid=799205] ppid=799201 vsize=9932 memory=2792 CPUtime=0 cores=4,6
/proc/799205/stat : 799205 (naps-1.03.sh) S 799201 799205 794991 0 -1 4194304 227 245 0 0 0 0 0 0 20 0 1 0 157718251 10170368 698 134679101440 94575106011136 94575107090456 140722316714880 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94575109188912 94575109236100 94575125147648 140722316723168 140722316723297 140722316723297 140722316730312 0
/proc/799205/statm: 2483 698 623 264 0 134 0
[pid=799215] ppid=799205 vsize=296596 memory=284136 CPUtime=6.35 cores=4,6
/proc/799215/stat : 799215 (naps-1.03) R 799205 799205 794991 0 -1 4194304 42978 0 0 0 621 14 0 0 20 0 1 0 157718252 303714304 71034 134679101440 4194304 6891213 140733795433008 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 18489344 140733795439601 140733795439717 140733795439717 140733795446731 0
/proc/799215/statm: 74149 71034 468 659 0 73353 0
Current children cumulated CPU time: 6.35 s
Current children cumulated vsize: 306528 KiB
Current children cumulated memory: 286928 KiB

[startup+6.50037 s]
/proc/loadavg: 3.41 3.28 3.27 5/251 799280
/proc/meminfo: memFree=128909084/131655788 swapFree=131071996/131071996
[pid=799205] ppid=799201 vsize=9932 memory=2792 CPUtime=0 cores=4,6
/proc/799205/stat : 799205 (naps-1.03.sh) S 799201 799205 794991 0 -1 4194304 227 245 0 0 0 0 0 0 20 0 1 0 157718251 10170368 698 134679101440 94575106011136 94575107090456 140722316714880 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94575109188912 94575109236100 94575125147648 140722316723168 140722316723297 140722316723297 140722316730312 0
/proc/799205/statm: 2483 698 623 264 0 134 0
[pid=799215] ppid=799205 vsize=296596 memory=284136 CPUtime=6.45 cores=4,6
/proc/799215/stat : 799215 (naps-1.03) R 799205 799205 794991 0 -1 4194304 42978 0 0 0 631 14 0 0 20 0 1 0 157718252 303714304 71034 134679101440 4194304 6891213 140733795433008 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 18489344 140733795439601 140733795439717 140733795439717 140733795446731 0
/proc/799215/statm: 74149 71034 468 659 0 73353 0
Current children cumulated CPU time: 6.45 s
Current children cumulated vsize: 306528 KiB
Current children cumulated memory: 286928 KiB

Child status: 30

Real time (s): 6.59318
CPU time (s): 6.56783
CPU user time (s): 6.40716
CPU system time (s): 0.16067
CPU usage (%): 99.6154
Max. virtual memory (cumulated for all children) (KiB): 306528
Max. memory (cumulated for all children) (KiB): 286928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.40716
system time used= 0.16067
maximum resident set size= 284136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43464
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= 10


# summary of solver processes directly reported to runsolver:
#   pid: 799205
#   total CPU time (s): 6.56783
#   total CPU user time (s): 6.40716
#   total CPU system time (s): 0.16067

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.059102 second user time and 0.14149 second system time

The end

Begin job on nodeC008 at 2024-07-15 17:00:30
IDJOB=4433915
IDBENCH=146648
IDSOLVER=3062
FILE ID=nodeC008/4433915-1721055618
RUNJOBID= nodeC008-1721055630-799150
SLURM_JOB_ID= 7505461
Free space on /tmp= 723768 MiB

SOLVER NAME= NaPS-GM 1.03
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-4.opb
COMMAND LINE= HOME/naps-1.03.sh -GM BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433915-1721055618/watcher-4433915-1721055618 -o /tmp/evaluation-result-4433915-1721055618/solver-4433915-1721055618 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721055630-799150 --watchdog 3760  HOME/naps-1.03.sh -GM HOME/instance-4433915-1721055618.opb

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

MD5SUM BENCH= a0ea3bcd614a437876ff794ba0a9b553
RANDOM SEED=2018056205

nodeC008.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	: 0xb00001f
cpu MHz		: 1197.243
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.275
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3093.052
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.243
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.243
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.244
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.367
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.250
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        129841904 kB
MemAvailable:   129985024 kB
Buffers:          374436 kB
Cached:           613576 kB
SwapCached:            0 kB
Active:           597444 kB
Inactive:         700072 kB
Active(anon):       1372 kB
Inactive(anon):   345876 kB
Active(file):     596072 kB
Inactive(file):   354196 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             20856 kB
Writeback:           104 kB
AnonPages:        309624 kB
Mapped:           102984 kB
Shmem:             37704 kB
KReclaimable:      65764 kB
Slab:             158764 kB
SReclaimable:      65764 kB
SUnreclaim:        93000 kB
KernelStack:        3764 kB
PageTables:        10156 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     691336 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            51040 kB
HardwareCorrupted:     0 kB
AnonHugePages:    180224 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:      170824 kB
DirectMap2M:    19656704 kB
DirectMap1G:    116391936 kB

Free space on /tmp at the end= 723748 MiB
End job on nodeC008 at 2024-07-15 17:00:37