0.00/0.00	c NaPS 1.03.
0.00/0.00	c Input file name: HOME/instance-4434318-1721055610.opb
0.09/0.12	c single stage optimization mode
0.09/0.13	o 3119
1.78/1.81	o 1819
2.28/2.37	o 1026
3.98/4.06	o 1022
4.17/4.29	o 829
6.97/7.10	o 822
8.27/8.30	o 816
9.06/9.12	o 814
9.16/9.25	o 813
9.16/9.25	s OPTIMUM FOUND
9.16/9.25	c _____________________________________________________________________________
9.16/9.25	c std/band forms        : 423,0
9.16/9.25	c 2cl/3cl ITE-codings   : 0,0
9.16/9.25	c BDD/srt/adr Max costs : 629609,97685,0
9.16/9.25	c BDDraw/bin/mul/srt/adr: 8,0,0,415,0
9.16/9.25	c BDD nodes             : 182042
9.16/9.25	c Es1/CC detections     : 0,0
9.16/9.25	c CC sort               : 402
9.16/9.25	c SAT/UNSAT calls       : 9,5
9.16/9.25	c regenrated variables  : 1055
9.16/9.25	c eliminated fixed lits : 8435
9.16/9.25	c goal lit flips        : 0
9.16/9.25	c goal stages           : 1
9.16/9.25	c goal shrink           : 0
9.16/9.25	c goal coeff separations: 0
9.16/9.25	c restarts              : 1677
9.16/9.25	c conflicts             : 9340           (1026 /sec)
9.16/9.25	c decisions             : 892052         (97970 /sec)
9.16/9.25	c propagations          : 65222426       (7163059 /sec)
9.16/9.25	c inspects              : 0              (0 /sec)
9.16/9.25	c CPU time (solving tm) : 9.105 s        (7.493 s, SAT 6.581 s, UNSAT 0.9113 s)
9.16/9.25	c Time for Opt-base     : 0.01617 s
9.16/9.25	c Steps for Opt-base    : 75474
9.16/9.25	c Time for BDD coding   : 0.904 s
9.16/9.25	c Time for srt coding   : 0.1242 s
9.16/9.25	c _____________________________________________________________________________
9.16/9.25	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
9.16/9.25	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: 63931 MiB (62180 MiB free)
  memory of node 1: 64510 MiB (62290 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434318-1721055610/watcher-4434318-1721055610 -o /tmp/evaluation-result-4434318-1721055610/solver-4434318-1721055610 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721055623-812692 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4434318-1721055610.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
solver pid=812731, runsolver pid=812727
Current StackSize limit: 8192 KiB


[startup+0.101054 s]*
/proc/loadavg: 1.82 2.04 2.31 5/260 812768
/proc/meminfo: memFree=127373300/131524600 swapFree=130795544/131071996
[pid=812731] ppid=812727 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/812731/stat : 812731 (naps-1.03.sh) S 812727 812731 808401 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 157720163 10170368 681 134679101440 94479124385792 94479125465112 140725240898416 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94479127563568 94479127610756 94479136497664 140725240902628 140725240902753 140725240902753 140725240909768 0
/proc/812731/statm: 2483 681 603 264 0 134 0
[pid=812743] ppid=812731 vsize=39220 memory=36076 CPUtime=0.09 cores=5,7
/proc/812743/stat : 812743 (naps-1.03) R 812731 812731 808401 0 -1 4194304 9017 0 0 0 8 1 0 0 20 0 1 0 157720163 40161280 9019 134679101440 4194304 6891213 140732561359984 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 30281728 140732561363957 140732561364069 140732561364069 140732561371083 0
/proc/812743/statm: 9805 9019 612 659 0 9009 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 49152 KiB
Current children cumulated memory: 38800 KiB

[startup+0.206227 s]*
/proc/loadavg: 1.82 2.04 2.31 4/259 812782
/proc/meminfo: memFree=127301100/131524600 swapFree=130795544/131071996
[pid=812731] ppid=812727 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/812731/stat : 812731 (naps-1.03.sh) S 812727 812731 808401 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 157720163 10170368 681 134679101440 94479124385792 94479125465112 140725240898416 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94479127563568 94479127610756 94479136497664 140725240902628 140725240902753 140725240902753 140725240909768 0
/proc/812731/statm: 2483 681 603 264 0 134 0
[pid=812743] ppid=812731 vsize=78296 memory=71828 CPUtime=0.2 cores=5,7
/proc/812743/stat : 812743 (naps-1.03) R 812731 812731 808401 0 -1 4194304 16223 0 0 0 17 3 0 0 20 0 1 0 157720163 80175104 17957 134679101440 4194304 6891213 140732561359984 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 30281728 140732561363957 140732561364069 140732561364069 140732561371083 0
/proc/812743/statm: 19574 17957 612 659 0 18778 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 88228 KiB
Current children cumulated memory: 74552 KiB

[startup+0.306281 s]*
/proc/loadavg: 1.82 2.04 2.31 5/259 812782
/proc/meminfo: memFree=127250020/131524600 swapFree=130795544/131071996
[pid=812731] ppid=812727 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/812731/stat : 812731 (naps-1.03.sh) S 812727 812731 808401 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 157720163 10170368 681 134679101440 94479124385792 94479125465112 140725240898416 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94479127563568 94479127610756 94479136497664 140725240902628 140725240902753 140725240902753 140725240909768 0
/proc/812731/statm: 2483 681 603 264 0 134 0
[pid=812743] ppid=812731 vsize=90324 memory=87520 CPUtime=0.29 cores=5,7
/proc/812743/stat : 812743 (naps-1.03) R 812731 812731 808401 0 -1 4194304 19434 0 0 0 26 3 0 0 20 0 1 0 157720163 92491776 21880 134679101440 4194304 6891213 140732561359984 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 30281728 140732561363957 140732561364069 140732561364069 140732561371083 0
/proc/812743/statm: 22581 21880 612 659 0 21785 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 100256 KiB
Current children cumulated memory: 90244 KiB

[startup+0.700277 s]
/proc/loadavg: 1.82 2.04 2.31 5/263 812818
/proc/meminfo: memFree=127135500/131524600 swapFree=130795544/131071996
[pid=812731] ppid=812727 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/812731/stat : 812731 (naps-1.03.sh) S 812727 812731 808401 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 157720163 10170368 681 134679101440 94479124385792 94479125465112 140725240898416 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94479127563568 94479127610756 94479136497664 140725240902628 140725240902753 140725240902753 140725240909768 0
/proc/812731/statm: 2483 681 603 264 0 134 0
[pid=812743] ppid=812731 vsize=90324 memory=87520 CPUtime=0.68 cores=5,7
/proc/812743/stat : 812743 (naps-1.03) R 812731 812731 808401 0 -1 4194304 19437 0 0 0 65 3 0 0 20 0 1 0 157720163 92491776 21880 134679101440 4194304 6891213 140732561359984 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 30281728 140732561363957 140732561364069 140732561364069 140732561371083 0
/proc/812743/statm: 22581 21880 612 659 0 21785 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 100256 KiB
Current children cumulated memory: 90244 KiB

[startup+1.50029 s]
/proc/loadavg: 1.82 2.04 2.31 5/263 812818
/proc/meminfo: memFree=126934396/131524600 swapFree=130795544/131071996
[pid=812731] ppid=812727 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/812731/stat : 812731 (naps-1.03.sh) S 812727 812731 808401 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 157720163 10170368 681 134679101440 94479124385792 94479125465112 140725240898416 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94479127563568 94479127610756 94479136497664 140725240902628 140725240902753 140725240902753 140725240909768 0
/proc/812731/statm: 2483 681 603 264 0 134 0
[pid=812743] ppid=812731 vsize=94032 memory=89632 CPUtime=1.48 cores=5,7
/proc/812743/stat : 812743 (naps-1.03) R 812731 812731 808401 0 -1 4194304 20410 0 0 0 145 3 0 0 20 0 1 0 157720163 96288768 22408 134679101440 4194304 6891213 140732561359984 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 30281728 140732561363957 140732561364069 140732561364069 140732561371083 0
/proc/812743/statm: 23508 22408 644 659 0 22712 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 103964 KiB
Current children cumulated memory: 92356 KiB

[startup+3.10641 s]
/proc/loadavg: 1.82 2.04 2.31 5/263 812820
/proc/meminfo: memFree=126875712/131524600 swapFree=130795544/131071996
[pid=812731] ppid=812727 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/812731/stat : 812731 (naps-1.03.sh) S 812727 812731 808401 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 157720163 10170368 681 134679101440 94479124385792 94479125465112 140725240898416 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94479127563568 94479127610756 94479136497664 140725240902628 140725240902753 140725240902753 140725240909768 0
/proc/812731/statm: 2483 681 603 264 0 134 0
[pid=812743] ppid=812731 vsize=107344 memory=102028 CPUtime=3.09 cores=5,7
/proc/812743/stat : 812743 (naps-1.03) R 812731 812731 808401 0 -1 4194304 21996 0 0 0 305 4 0 0 20 0 1 0 157720163 109920256 25507 134679101440 4194304 6891213 140732561359984 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 30281728 140732561363957 140732561364069 140732561364069 140732561371083 0
/proc/812743/statm: 26836 25507 644 659 0 26040 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 117276 KiB
Current children cumulated memory: 104752 KiB

[startup+6.30027 s]
/proc/loadavg: 2.00 2.07 2.32 5/263 812820
/proc/meminfo: memFree=126712340/131524600 swapFree=130795544/131071996
[pid=812731] ppid=812727 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/812731/stat : 812731 (naps-1.03.sh) S 812727 812731 808401 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 157720163 10170368 681 134679101440 94479124385792 94479125465112 140725240898416 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94479127563568 94479127610756 94479136497664 140725240902628 140725240902753 140725240902753 140725240909768 0
/proc/812731/statm: 2483 681 603 264 0 134 0
[pid=812743] ppid=812731 vsize=212420 memory=207540 CPUtime=6.27 cores=5,7
/proc/812743/stat : 812743 (naps-1.03) R 812731 812731 808401 0 -1 4194304 47690 0 0 0 617 10 0 0 20 0 1 0 157720163 217518080 51885 134679101440 4194304 6891213 140732561359984 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 30281728 140732561363957 140732561364069 140732561364069 140732561371083 0
/proc/812743/statm: 53105 51885 660 659 0 52309 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 222352 KiB
Current children cumulated memory: 210264 KiB

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

# cumulated CPU time of all completed processes:  user=9.12499 s, system=0.125247 s

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

[startup+6.4003 s]
/proc/loadavg: 2.00 2.07 2.32 5/263 812820
/proc/meminfo: memFree=126712340/131524600 swapFree=130795544/131071996
[pid=812731] ppid=812727 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/812731/stat : 812731 (naps-1.03.sh) S 812727 812731 808401 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 157720163 10170368 681 134679101440 94479124385792 94479125465112 140725240898416 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94479127563568 94479127610756 94479136497664 140725240902628 140725240902753 140725240902753 140725240909768 0
/proc/812731/statm: 2483 681 603 264 0 134 0
[pid=812743] ppid=812731 vsize=212420 memory=207540 CPUtime=6.37 cores=5,7
/proc/812743/stat : 812743 (naps-1.03) R 812731 812731 808401 0 -1 4194304 47708 0 0 0 627 10 0 0 20 0 1 0 157720163 217518080 51885 134679101440 4194304 6891213 140732561359984 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 30281728 140732561363957 140732561364069 140732561364069 140732561371083 0
/proc/812743/statm: 53105 51885 660 659 0 52309 0
Current children cumulated CPU time: 6.37 s
Current children cumulated vsize: 222352 KiB
Current children cumulated memory: 210264 KiB

[startup+8.00025 s]*
/proc/loadavg: 2.00 2.07 2.32 5/263 812820
/proc/meminfo: memFree=126619800/131524600 swapFree=130795544/131071996
[pid=812731] ppid=812727 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/812731/stat : 812731 (naps-1.03.sh) S 812727 812731 808401 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 157720163 10170368 681 134679101440 94479124385792 94479125465112 140725240898416 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94479127563568 94479127610756 94479136497664 140725240902628 140725240902753 140725240902753 140725240909768 0
/proc/812731/statm: 2483 681 603 264 0 134 0
[pid=812743] ppid=812731 vsize=232548 memory=230164 CPUtime=7.97 cores=5,7
/proc/812743/stat : 812743 (naps-1.03) R 812731 812731 808401 0 -1 4194304 48868 0 0 0 787 10 0 0 20 0 1 0 157720163 238129152 57541 134679101440 4194304 6891213 140732561359984 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 30281728 140732561363957 140732561364069 140732561364069 140732561371083 0
/proc/812743/statm: 58137 57541 660 659 0 57341 0
Current children cumulated CPU time: 7.97 s
Current children cumulated vsize: 242480 KiB
Current children cumulated memory: 232888 KiB

[startup+8.80025 s]
/proc/loadavg: 2.00 2.07 2.32 5/263 812820
/proc/meminfo: memFree=126619800/131524600 swapFree=130795544/131071996
[pid=812731] ppid=812727 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/812731/stat : 812731 (naps-1.03.sh) S 812727 812731 808401 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 157720163 10170368 681 134679101440 94479124385792 94479125465112 140725240898416 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94479127563568 94479127610756 94479136497664 140725240902628 140725240902753 140725240902753 140725240909768 0
/proc/812731/statm: 2483 681 603 264 0 134 0
[pid=812743] ppid=812731 vsize=233236 memory=231436 CPUtime=8.76 cores=5,7
/proc/812743/stat : 812743 (naps-1.03) R 812731 812731 808401 0 -1 4194304 49404 0 0 0 865 11 0 0 20 0 1 0 157720163 238833664 57859 134679101440 4194304 6891213 140732561359984 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 30281728 140732561363957 140732561364069 140732561364069 140732561371083 0
/proc/812743/statm: 58309 57859 660 659 0 57513 0
Current children cumulated CPU time: 8.76 s
Current children cumulated vsize: 243168 KiB
Current children cumulated memory: 234160 KiB

[startup+9.20025 s]
/proc/loadavg: 2.24 2.12 2.33 5/263 812820
/proc/meminfo: memFree=126611352/131524600 swapFree=130795544/131071996
[pid=812731] ppid=812727 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/812731/stat : 812731 (naps-1.03.sh) S 812727 812731 808401 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 157720163 10170368 681 134679101440 94479124385792 94479125465112 140725240898416 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94479127563568 94479127610756 94479136497664 140725240902628 140725240902753 140725240902753 140725240909768 0
/proc/812731/statm: 2483 681 603 264 0 134 0
[pid=812743] ppid=812731 vsize=233236 memory=231436 CPUtime=9.16 cores=5,7
/proc/812743/stat : 812743 (naps-1.03) R 812731 812731 808401 0 -1 4194304 49431 0 0 0 905 11 0 0 20 0 1 0 157720163 238833664 57859 134679101440 4194304 6891213 140732561359984 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 30281728 140732561363957 140732561364069 140732561364069 140732561371083 0
/proc/812743/statm: 58309 57859 660 659 0 57513 0
Current children cumulated CPU time: 9.16 s
Current children cumulated vsize: 243168 KiB
Current children cumulated memory: 234160 KiB

Child status: 30

Real time (s): 9.27824
CPU time (s): 9.25024
CPU user time (s): 9.12499
CPU system time (s): 0.125247
CPU usage (%): 99.6982
Max. virtual memory (cumulated for all children) (KiB): 266768
Max. memory (cumulated for all children) (KiB): 257748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.12499
system time used= 0.125247
maximum resident set size= 255024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49914
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= 13


# summary of solver processes directly reported to runsolver:
#   pid: 812731
#   total CPU time (s): 9.25024
#   total CPU user time (s): 9.12499
#   total CPU system time (s): 0.125247

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.027955 second user time and 0.086185 second system time

The end

Begin job on nodeC014 at 2024-07-15 17:00:23
IDJOB=4434318
IDBENCH=146648
IDSOLVER=3063
FILE ID=nodeC014/4434318-1721055610
RUNJOBID= nodeC014-1721055623-812692
SLURM_JOB_ID= 7505460
Free space on /tmp= 890084 MiB

SOLVER NAME= NaPS 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 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434318-1721055610/watcher-4434318-1721055610 -o /tmp/evaluation-result-4434318-1721055610/solver-4434318-1721055610 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721055623-812692 --watchdog 3760  HOME/naps-1.03.sh HOME/instance-4434318-1721055610.opb

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

MD5SUM BENCH= a0ea3bcd614a437876ff794ba0a9b553
RANDOM SEED=1227349425

nodeC014.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		: 3340.750
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	: 6999.32
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		: 3079.868
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	: 7005.96
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		: 3595.722
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	: 6999.32
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		: 3612.642
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	: 7005.96
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		: 3078.167
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	: 6999.32
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		: 3624.841
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	: 7005.96
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		: 3260.276
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	: 6999.32
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		: 3342.589
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	: 7005.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127470232 kB
MemAvailable:   130052948 kB
Buffers:          303052 kB
Cached:          3085272 kB
SwapCached:        12880 kB
Active:           991680 kB
Inactive:        2506628 kB
Active(anon):       9392 kB
Inactive(anon):   117600 kB
Active(file):     982288 kB
Inactive(file):  2389028 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       130795544 kB
Dirty:             11064 kB
Writeback:             4 kB
AnonPages:        100448 kB
Mapped:            46112 kB
Shmem:             17324 kB
KReclaimable:     102096 kB
Slab:             193776 kB
SReclaimable:     102096 kB
SUnreclaim:        91680 kB
KernelStack:        3804 kB
PageTables:         9608 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     651376 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            27616 kB
HardwareCorrupted:     0 kB
AnonHugePages:     38912 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:      191188 kB
DirectMap2M:    14262272 kB
DirectMap1G:    121634816 kB

Free space on /tmp at the end= 890060 MiB
End job on nodeC014 at 2024-07-15 17:00:32