0.00/0.00 c NaPS 1.02b5.
0.00/0.00 c Input file name: HOME/instance-4462174-1722240187.opb
3600.05/3611.40 o 0
3600.05/3611.40 c
3600.05/3611.40 c *** TERMINATED *** by signal 15
3600.05/3611.40 s SATISFIABLE
3600.05/3611.40 c _____________________________________________________________________________
3600.05/3611.40 c
3600.05/3611.40 c std/band forms : 160,0
3600.05/3611.40 c 2cl/3cl ITE-codings : 13032,0
3600.05/3611.40 c BDD/srt/adr Max costs : 1287,2361633,0
3600.05/3611.40 c BDDraw/bin/mul/srt/adr: 159,0,0,1,0
3600.05/3611.40 c BDD nodes : 26382
3600.05/3611.40 c Es1/CC detections : 0,0
3600.05/3611.40 c SAT/UNSAT calls : 1,0
3600.05/3611.40 c regenrated variables : 0
3600.05/3611.40 c restarts : 1
3600.05/3611.40 c conflicts : 0 (0 /sec)
3600.05/3611.40 c decisions : 158 (0 /sec)
3600.05/3611.40 c propagations : 24910 (7 /sec)
3600.05/3611.40 c inspects : 0 (0 /sec)
3600.05/3611.40 c CPU time (solving tm) : 3599 s (3597 s)
3600.05/3611.40 c Time for Opt-base : 0.4102 s
3600.05/3611.40 c _____________________________________________________________________________
3600.05/3611.40 v -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017
3600.05/3611.40 v -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432
3600.05/3611.40 v -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x620 -x609
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 (60760 MiB free)
memory of node 1: 64510 MiB (62313 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462174-1722240187/watcher-4462174-1722240187 -o /tmp/evaluation-result-4462174-1722240187/solver-4462174-1722240187 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1722240187-419073 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4462174-1722240187.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=419109, runsolver pid=419105
Current StackSize limit: 8192 KiB
[startup+0.101 s]*
/proc/loadavg: 2.29 2.16 2.07 6/260 419137
/proc/meminfo: memFree=125977236/131524600 swapFree=131059112/131071996
[pid=419109] ppid=419105 vsize=9932 memory=2832 CPUtime=0 cores=0,2
/proc/419109/stat : 419109 (naps-1.02b5.sh) S 419105 419109 417023 0 -1 4194304 220 245 0 0 0 0 0 0 20 0 1 0 60547406 10170368 708 134679101440 94920351072256 94920352151576 140730278300928 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94920354250032 94920354297220 94920386101248 140730278302687 140730278302814 140730278302814 140730278309830 0
/proc/419109/statm: 2483 708 631 264 0 134 0
[pid=419121] ppid=419109 vsize=12468 memory=7328 CPUtime=0.09 cores=0,2
/proc/419121/stat : 419121 (naps-1.02b5) R 419109 419109 417023 0 -1 4194304 1597 0 0 0 9 0 0 0 20 0 1 0 60547407 12767232 1832 134679101440 4194304 5746509 140721976216192 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 29192192 140721976222702 140721976222816 140721976222816 140721976229833 0
/proc/419121/statm: 3117 1832 421 379 0 2651 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 22400 KiB
Current children cumulated memory: 10160 KiB
[startup+0.20596 s]*
/proc/loadavg: 2.29 2.16 2.07 5/265 419152
/proc/meminfo: memFree=125922296/131524600 swapFree=131059112/131071996
[pid=419109] ppid=419105 vsize=9932 memory=2832 CPUtime=0 cores=0,2
/proc/419109/stat : 419109 (naps-1.02b5.sh) S 419105 419109 417023 0 -1 4194304 220 245 0 0 0 0 0 0 20 0 1 0 60547406 10170368 708 134679101440 94920351072256 94920352151576 140730278300928 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94920354250032 94920354297220 94920386101248 140730278302687 140730278302814 140730278302814 140730278309830 0
/proc/419109/statm: 2483 708 631 264 0 134 0
[pid=419121] ppid=419109 vsize=22076 memory=20532 CPUtime=0.19 cores=0,2
/proc/419121/stat : 419121 (naps-1.02b5) R 419109 419109 417023 0 -1 4194304 5253 0 0 0 19 0 0 0 20 0 1 0 60547407 22605824 5133 134679101440 4194304 5746509 140721976216192 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 29192192 140721976222702 140721976222816 140721976222816 140721976229833 0
/proc/419121/statm: 5519 5133 421 379 0 5053 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 32008 KiB
Current children cumulated memory: 23364 KiB
[startup+0.30597 s]*
/proc/loadavg: 2.29 2.16 2.07 5/265 419152
/proc/meminfo: memFree=125876904/131524600 swapFree=131059112/131071996
[pid=419109] ppid=419105 vsize=9932 memory=2832 CPUtime=0 cores=0,2
/proc/419109/stat : 419109 (naps-1.02b5.sh) S 419105 419109 417023 0 -1 4194304 220 245 0 0 0 0 0 0 20 0 1 0 60547406 10170368 708 134679101440 94920351072256 94920352151576 140730278300928 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94920354250032 94920354297220 94920386101248 140730278302687 140730278302814 140730278302814 140730278309830 0
/proc/419109/statm: 2483 708 631 264 0 134 0
[pid=419121] ppid=419109 vsize=22076 memory=20532 CPUtime=0.29 cores=0,2
/proc/419121/stat : 419121 (naps-1.02b5) R 419109 419109 417023 0 -1 4194304 5253 0 0 0 29 0 0 0 20 0 1 0 60547407 22605824 5133 134679101440 4194304 5746509 140721976216192 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 29192192 140721976222702 140721976222816 140721976222816 140721976229833 0
/proc/419121/statm: 5519 5133 421 379 0 5053 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 32008 KiB
Current children cumulated memory: 23364 KiB
[startup+0.700216 s]
/proc/loadavg: 2.29 2.16 2.07 5/265 419152
/proc/meminfo: memFree=125799048/131524600 swapFree=131059112/131071996
[pid=419109] ppid=419105 vsize=9932 memory=2832 CPUtime=0 cores=0,2
/proc/419109/stat : 419109 (naps-1.02b5.sh) S 419105 419109 417023 0 -1 4194304 220 245 0 0 0 0 0 0 20 0 1 0 60547406 10170368 708 134679101440 94920351072256 94920352151576 140730278300928 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94920354250032 94920354297220 94920386101248 140730278302687 140730278302814 140730278302814 140730278309830 0
/proc/419109/statm: 2483 708 631 264 0 134 0
[pid=419121] ppid=419109 vsize=76540 memory=74636 CPUtime=0.68 cores=0,2
/proc/419121/stat : 419121 (naps-1.02b5) R 419109 419109 417023 0 -1 4194304 12612 0 0 0 66 2 0 0 20 0 1 0 60547407 78376960 18659 134679101440 4194304 5746509 140721976216192 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 29192192 140721976222702 140721976222816 140721976222816 140721976229833 0
/proc/419121/statm: 19135 18659 421 379 0 18669 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 86472 KiB
Current children cumulated memory: 77468 KiB
[startup+1.50025 s]
/proc/loadavg: 2.29 2.16 2.07 5/265 419152
/proc/meminfo: memFree=125647836/131524600 swapFree=131059112/131071996
[pid=419109] ppid=419105 vsize=9932 memory=2832 CPUtime=0 cores=0,2
/proc/419109/stat : 419109 (naps-1.02b5.sh) S 419105 419109 417023 0 -1 4194304 220 245 0 0 0 0 0 0 20 0 1 0 60547406 10170368 708 134679101440 94920351072256 94920352151576 140730278300928 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94920354250032 94920354297220 94920386101248 140730278302687 140730278302814 140730278302814 140730278309830 0
/proc/419109/statm: 2483 708 631 264 0 134 0
[pid=419121] ppid=419109 vsize=349008 memory=313324 CPUtime=1.48 cores=0,2
/proc/419121/stat : 419121 (naps-1.02b5) R 419109 419109 417023 0 -1 4194304 52642 0 0 0 137 11 0 0 20 0 1 0 60547407 357384192 78331 134679101440 4194304 5746509 140721976216192 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 29192192 140721976222702 140721976222816 140721976222816 140721976229833 0
/proc/419121/statm: 87252 78331 421 379 0 86786 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 358940 KiB
Current children cumulated memory: 316156 KiB
[startup+3.10588 s]
/proc/loadavg: 2.43 2.19 2.08 5/265 419152
/proc/meminfo: memFree=124211400/131524600 swapFree=131059112/131071996
[pid=419109] ppid=419105 vsize=9932 memory=2832 CPUtime=0 cores=0,2
/proc/419109/stat : 419109 (naps-1.02b5.sh) S 419105 419109 417023 0 -1 4194304 220 245 0 0 0 0 0 0 20 0 1 0 60547406 10170368 708 134679101440 94920351072256 94920352151576 140730278300928 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94920354250032 94920354297220 94920386101248 140730278302687 140730278302814 140730278302814 140730278309830 0
/proc/419109/statm: 2483 708 631 264 0 134 0
[pid=419121] ppid=419109 vsize=1103876 memory=979912 CPUtime=3.08 cores=0,2
/proc/419121/stat : 419121 (naps-1.02b5) R 419109 419109 417023 0 -1 4194304 107917 0 0 0 278 30 0 0 20 0 1 0 60547407 1130369024 244978 134679101440 4194304 5746509 140721976216192 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 29192192 140721976222702 140721976222816 140721976222816 140721976229833 0
/proc/419121/statm: 275969 244978 421 379 0 275503 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1113808 KiB
Current children cumulated memory: 982744 KiB
[startup+6.30025 s]
/proc/loadavg: 2.43 2.19 2.08 5/265 419152
/proc/meminfo: memFree=122740056/131524600 swapFree=131059112/131071996
[pid=419109] ppid=419105 vsize=9932 memory=2832 CPUtime=0 cores=0,2
/proc/419109/stat : 419109 (naps-1.02b5.sh) S 419105 419109 417023 0 -1 4194304 220 245 0 0 0 0 0 0 20 0 1 0 60547406 10170368 708 134679101440 94920351072256 94920352151576 140730278300928 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94920354250032 94920354297220 94920386101248 140730278302687 140730278302814 140730278302814 140730278309830 0
/proc/419109/statm: 2483 708 631 264 0 134 0
[pid=419121] ppid=419109 vsize=1531028 memory=1280216 CPUtime=6.27 cores=0,2
/proc/419121/stat : 419121 (naps-1.02b5) R 419109 419109 417023 0 -1 4194304 121287 0 0 0 590 37 0 0 20 0 1 0 60547407 1567772672 320054 134679101440 4194304 5746509 140721976216192 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 29192192 140721976222702 140721976222816 140721976222816 140721976229833 0
/proc/419121/statm: 382757 320054 421 379 0 382291 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1540960 KiB
Current children cumulated memory: 1283048 KiB
[startup+12.7002 s]
/proc/loadavg: 2.79 2.27 2.10 5/265 419154
/proc/meminfo: memFree=120235952/131524600 swapFree=131059112/131071996
[pid=419109] ppid=419105 vsize=9932 memory=2832 CPUtime=0 cores=0,2
/proc/419109/stat : 419109 (naps-1.02b5.sh) S 419105 419109 417023 0 -1 4194304 220 245 0 0 0 0 0 0 20 0 1 0 60547406 10170368 708 134679101440 94920351072256 94920352151576 140730278300928 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94920354250032 94920354297220 94920386101248 140730278302687 140730278302814 140730278302814 140730278309830 0
/proc/419109/statm: 2483 708 631 264 0 134 0
[pid=419121] ppid=419109 vsize=1404548 memory=1273364 CPUtime=12.64 cores=0,2
/proc/419121/stat : 419121 (naps-1.02b5) R 419109 419109 417023 0 -1 4194304 130719 0 0 0 1220 44 0 0 20 0 1 0 60547407 1438257152 318341 134679101440 4194304 5746509 140721976216192 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 29192192 140721976222702 140721976222816 140721976222816 140721976229833 0
/proc/419121/statm: 351137 318341 421 379 0 350671 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1414480 KiB
Current children cumulated memory: 1276196 KiB
[startup+25.5003 s]
/proc/loadavg: 3.50 2.45 2.17 5/263 419159
/proc/meminfo: memFree=117629088/131524600 swapFree=131059112/131071996
[pid=419109] ppid=419105 vsize=9932 memory=2832 CPUtime=0 cores=0,2
/proc/419109/stat : 419109 (naps-1.02b5.sh) S 419105 419109 417023 0 -1 4194304 220 245 0 0 0 0 0 0 20 0 1 0 60547406 10170368 708 134679101440 94920351072256 94920352151576 140730278300928 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94920354250032 94920354297220 94920386101248 140730278302687 140730278302814 140730278302814 140730278309830 0
/proc/419109/statm: 2483 708 631 264 0 134 0
[pid=419121] ppid=419109 vsize=1420288 memory=1292108 CPUtime=25.4 cores=0,2
/proc/419121/stat : 419121 (naps-1.02b5) R 419109 419109 417023 0 -1 4194304 133616 0 0 0 2495 45 0 0 20 0 1 0 60547407 1454374912 323027 134679101440 4194304 5746509 140721976216192 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 29192192 140721976222702 140721976222816 140721976222816 140721976229833 0
/proc/419121/statm: 355072 323027 421 379 0 354606 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1430220 KiB
Current children cumulated memory: 1294940 KiB
[startup+51.106 s]
/proc/loadavg: 3.91 2.64 2.24 5/263 419163
/proc/meminfo: memFree=114957420/131524600 swapFree=131059112/131071996
[pid=419109] ppid=419105 vsize=9932 memory=2832 CPUtime=0 cores=0,2
/proc/419109/stat : 419109 (naps-1.02b5.sh) S 419105 419109 417023 0 -1 4194304 220 245 0 0 0 0 0 0 20 0 1 0 60547406 10170368 708 134679101440 94920351072256 94920352151576 140730278300928 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94920354250032 94920354297220 94920386101248 140730278302687 140730278302814 140730278302814 140730278309830 0
/proc/419109/statm: 2483 708 631 264 0 134 0
[pid=419121] ppid=419109 vsize=1424072 memory=1296884 CPUtime=50.92 cores=0,2
/proc/419121/stat : 419121 (naps-1.02b5) R 419109 419109 417023 0 -1 4194304 134130 0 0 0 5047 45 0 0 20 0 1 0 60547407 1458249728 324221 134679101440 4194304 5746509 140721976216192 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 29192192 140721976222702 140721976222816 140721976222816 140721976229833 0
/proc/419121/statm: 356018 324221 421 379 0 355552 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1434004 KiB
Current children cumulated memory: 1299716 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 2.88 2.34 5/263 419172
/proc/meminfo: memFree=96222140/131524600 swapFree=131059112/131071996
[pid=419109] ppid=419105 vsize=9932 memory=2832 CPUtime=0 cores=0,2
/proc/419109/stat : 419109 (naps-1.02b5.sh) S 419105 419109 417023 0 -1 4194304 220 245 0 0 0 0 0 0 20 0 1 0 60547406 10170368 708 134679101440 94920351072256 94920352151576 140730278300928 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94920354250032 94920354297220 94920386101248 140730278302687 140730278302814 140730278302814 140730278309830 0
/proc/419109/statm: 2483 708 631 264 0 134 0
[pid=419121] ppid=419109 vsize=1424072 memory=1315952 CPUtime=101.96 cores=0,2
/proc/419121/stat : 419121 (naps-1.02b5) R 419109 419109 417023 0 -1 4194304 134961 0 0 0 10150 46 0 0 20 0 1 0 60547407 1458249728 328988 134679101440 4194304 5746509 140721976216192 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 29192192 140721976222702 140721976222816 140721976222816 140721976229833 0
/proc/419121/statm: 356018 328988 421 379 0 355552 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 1434004 KiB
Current children cumulated memory: 1318784 KiB
[startup+162.3 s]
/proc/loadavg: 4.21 3.15 2.47 5/260 419232
/proc/meminfo: memFree=109796704/131524600 swapFree=131059112/131071996
[pid=419109] ppid=419105 vsize=9932 memory=2832 CPUtime=0 cores=0,2
/proc/419109/stat : 419109 (naps-1.02b5.sh) S 419105 419109 417023 0 -1 4194304 220 245 0 0 0 0 0 0 20 0 1 0 60547406 10170368 708 134679101440 94920351072256 94920352151576 140730278300928 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94920354250032 94920354297220 94920386101248 140730278302687 140730278302814 140730278302814 140730278309830 0
/proc/419109/statm: 2483 708 631 264 0 134 0
[pid=419121] ppid=419109 vsize=1424072 memory=1330292 CPUtime=161.78 cores=0,2
/proc/419121/stat : 419121 (naps-1.02b5) R 419109 419109 417023 0 -1 4194304 135401 0 0 0 16131 47 0 0 20 0 1 0 60547407 1458249728 332573 134679101440 4194304 5746509 140721976216192 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 29192192 140721976222702 140721976222816 140721976222816 140721976229833 0
/proc/419121/statm: 356018 332573 421 379 0 355552 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 1434004 KiB
Current children cumulated memory: 1333124 KiB
[startup+222.3 s]
/proc/loadavg: 4.21 3.34 2.58 5/260 419243
/proc/meminfo: memFree=99173960/131524600 swapFree=131059112/131071996
[pid=419109] ppid=419105 vsize=9932 memory=2832 CPUtime=0 cores=0,2
/proc/419109/stat : 419109 (naps-1.02b5.sh) S 419105 419109 417023 0 -1 4194304 220 245 0 0 0 0 0 0 20 0 1 0 60547406 10170368 708 134679101440 94920351072256 94920352151576 140730278300928 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94920354250032 94920354297220 94920386101248 140730278302687 140730278302814 140730278302814 140730278309830 0
/proc/419109/statm: 2483 708 631 264 0 134 0
[pid=419121] ppid=419109 vsize=1424072 memory=1336436 CPUtime=221.59 cores=0,2
/proc/419121/stat : 419121 (naps-1.02b5) R 419109 419109 417023 0 -1 4194304 135780 0 0 0 22112 47 0 0 20 0 1 0 60547407 1458249728 334109 134679101440 4194304 5746509 140721976216192 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 29192192 140721976222702 140721976222816 140721976222816 140721976229833 0
/proc/419121/statm: 356018 334109 421 379 0 355552 0
Current children cumulated CPU time: 221.59 s
################
# More data... #
################
/proc/419121/statm: 377326 356526 421 379 0 376860 0
Current children cumulated CPU time: 3032.72 s
Current children cumulated vsize: 1519236 KiB
Current children cumulated memory: 1428936 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.12 4.07 5/262 420460
/proc/meminfo: memFree=118914676/131524600 swapFree=131059112/131071996
[pid=419109] ppid=419105 vsize=9932 memory=2832 CPUtime=0 cores=0,2
/proc/419109/stat : 419109 (naps-1.02b5.sh) S 419105 419109 417023 0 -1 4194304 220 245 0 0 0 0 0 0 20 0 1 0 60547406 10170368 708 134679101440 94920351072256 94920352151576 140730278300928 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94920354250032 94920354297220 94920386101248 140730278302687 140730278302814 140730278302814 140730278309830 0
/proc/419109/statm: 2483 708 631 264 0 134 0
[pid=419121] ppid=419109 vsize=1509304 memory=1426104 CPUtime=3092.53 cores=0,2
/proc/419121/stat : 419121 (naps-1.02b5) R 419109 419109 417023 0 -1 4194304 162578 0 0 0 309178 75 0 0 20 0 1 0 60547407 1545527296 356526 134679101440 4194304 5746509 140721976216192 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 29192192 140721976222702 140721976222816 140721976222816 140721976229833 0
/proc/419121/statm: 377326 356526 421 379 0 376860 0
Current children cumulated CPU time: 3092.53 s
Current children cumulated vsize: 1519236 KiB
Current children cumulated memory: 1428936 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.07 5/262 420855
/proc/meminfo: memFree=118869224/131524600 swapFree=131059112/131071996
[pid=419109] ppid=419105 vsize=9932 memory=2832 CPUtime=0 cores=0,2
/proc/419109/stat : 419109 (naps-1.02b5.sh) S 419105 419109 417023 0 -1 4194304 220 245 0 0 0 0 0 0 20 0 1 0 60547406 10170368 708 134679101440 94920351072256 94920352151576 140730278300928 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94920354250032 94920354297220 94920386101248 140730278302687 140730278302814 140730278302814 140730278309830 0
/proc/419109/statm: 2483 708 631 264 0 134 0
[pid=419121] ppid=419109 vsize=1509304 memory=1434296 CPUtime=3152.34 cores=0,2
/proc/419121/stat : 419121 (naps-1.02b5) R 419109 419109 417023 0 -1 4194304 163066 0 0 0 315158 76 0 0 20 0 1 0 60547407 1545527296 358574 134679101440 4194304 5746509 140721976216192 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 29192192 140721976222702 140721976222816 140721976222816 140721976229833 0
/proc/419121/statm: 377326 358574 421 379 0 376860 0
Current children cumulated CPU time: 3152.34 s
Current children cumulated vsize: 1519236 KiB
Current children cumulated memory: 1437128 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.10 4.07 5/262 420865
/proc/meminfo: memFree=118973816/131524600 swapFree=131059112/131071996
[pid=419109] ppid=419105 vsize=9932 memory=2832 CPUtime=0 cores=0,2
/proc/419109/stat : 419109 (naps-1.02b5.sh) S 419105 419109 417023 0 -1 4194304 220 245 0 0 0 0 0 0 20 0 1 0 60547406 10170368 708 134679101440 94920351072256 94920352151576 140730278300928 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94920354250032 94920354297220 94920386101248 140730278302687 140730278302814 140730278302814 140730278309830 0
/proc/419109/statm: 2483 708 631 264 0 134 0
[pid=419121] ppid=419109 vsize=1641564 memory=1440252 CPUtime=3212.14 cores=0,2
/proc/419121/stat : 419121 (naps-1.02b5) R 419109 419109 417023 0 -1 4194304 163998 0 0 0 321138 76 0 0 20 0 1 0 60547407 1680961536 360063 134679101440 4194304 5746509 140721976216192 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 29192192 140721976222702 140721976222816 140721976222816 140721976229833 0
/proc/419121/statm: 410391 360063 421 379 0 409925 0
Current children cumulated CPU time: 3212.14 s
Current children cumulated vsize: 1651496 KiB
Current children cumulated memory: 1443084 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.10 4.07 5/262 420876
/proc/meminfo: memFree=119072140/131524600 swapFree=131059112/131071996
[pid=419109] ppid=419105 vsize=9932 memory=2832 CPUtime=0 cores=0,2
/proc/419109/stat : 419109 (naps-1.02b5.sh) S 419105 419109 417023 0 -1 4194304 220 245 0 0 0 0 0 0 20 0 1 0 60547406 10170368 708 134679101440 94920351072256 94920352151576 140730278300928 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94920354250032 94920354297220 94920386101248 140730278302687 140730278302814 140730278302814 140730278309830 0
/proc/419109/statm: 2483 708 631 264 0 134 0
[pid=419121] ppid=419109 vsize=1641564 memory=1448592 CPUtime=3271.95 cores=0,2
/proc/419121/stat : 419121 (naps-1.02b5) R 419109 419109 417023 0 -1 4194304 164493 0 0 0 327119 76 0 0 20 0 1 0 60547407 1680961536 362148 134679101440 4194304 5746509 140721976216192 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 29192192 140721976222702 140721976222816 140721976222816 140721976229833 0
/proc/419121/statm: 410391 362148 421 379 0 409925 0
Current children cumulated CPU time: 3271.95 s
Current children cumulated vsize: 1651496 KiB
Current children cumulated memory: 1451424 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.11 4.07 5/264 421057
/proc/meminfo: memFree=119008828/131524600 swapFree=131059112/131071996
[pid=419109] ppid=419105 vsize=9932 memory=2832 CPUtime=0 cores=0,2
/proc/419109/stat : 419109 (naps-1.02b5.sh) S 419105 419109 417023 0 -1 4194304 220 245 0 0 0 0 0 0 20 0 1 0 60547406 10170368 708 134679101440 94920351072256 94920352151576 140730278300928 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94920354250032 94920354297220 94920386101248 140730278302687 140730278302814 140730278302814 140730278309830 0
/proc/419109/statm: 2483 708 631 264 0 134 0
[pid=419121] ppid=419109 vsize=1641564 memory=1464976 CPUtime=3331.76 cores=0,2
/proc/419121/stat : 419121 (naps-1.02b5) R 419109 419109 417023 0 -1 4194304 164879 0 0 0 333099 77 0 0 20 0 1 0 60547407 1680961536 366244 134679101440 4194304 5746509 140721976216192 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 29192192 140721976222702 140721976222816 140721976222816 140721976229833 0
/proc/419121/statm: 410391 366244 421 379 0 409925 0
Current children cumulated CPU time: 3331.76 s
Current children cumulated vsize: 1651496 KiB
Current children cumulated memory: 1467808 KiB
[startup+3402.3 s]
/proc/loadavg: 4.20 4.13 4.08 5/263 421068
/proc/meminfo: memFree=119128220/131524600 swapFree=131059112/131071996
[pid=419109] ppid=419105 vsize=9932 memory=2832 CPUtime=0 cores=0,2
/proc/419109/stat : 419109 (naps-1.02b5.sh) S 419105 419109 417023 0 -1 4194304 220 245 0 0 0 0 0 0 20 0 1 0 60547406 10170368 708 134679101440 94920351072256 94920352151576 140730278300928 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94920354250032 94920354297220 94920386101248 140730278302687 140730278302814 140730278302814 140730278309830 0
/proc/419109/statm: 2483 708 631 264 0 134 0
[pid=419121] ppid=419109 vsize=1427916 memory=1310892 CPUtime=3391.57 cores=0,2
/proc/419121/stat : 419121 (naps-1.02b5) R 419109 419109 417023 0 -1 4194304 165657 0 0 0 339077 80 0 0 20 0 1 0 60547407 1462185984 327723 134679101440 4194304 5746509 140721976216192 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 29192192 140721976222702 140721976222816 140721976222816 140721976229833 0
/proc/419121/statm: 356979 327723 421 379 0 356513 0
Current children cumulated CPU time: 3391.57 s
Current children cumulated vsize: 1437848 KiB
Current children cumulated memory: 1313724 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/262 421081
/proc/meminfo: memFree=119088968/131524600 swapFree=131059112/131071996
[pid=419109] ppid=419105 vsize=9932 memory=2832 CPUtime=0 cores=0,2
/proc/419109/stat : 419109 (naps-1.02b5.sh) S 419105 419109 417023 0 -1 4194304 220 245 0 0 0 0 0 0 20 0 1 0 60547406 10170368 708 134679101440 94920351072256 94920352151576 140730278300928 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94920354250032 94920354297220 94920386101248 140730278302687 140730278302814 140730278302814 140730278309830 0
/proc/419109/statm: 2483 708 631 264 0 134 0
[pid=419121] ppid=419109 vsize=1427916 memory=1323180 CPUtime=3451.4 cores=0,2
/proc/419121/stat : 419121 (naps-1.02b5) R 419109 419109 417023 0 -1 4194304 166158 0 0 0 345060 80 0 0 20 0 1 0 60547407 1462185984 330795 134679101440 4194304 5746509 140721976216192 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 29192192 140721976222702 140721976222816 140721976222816 140721976229833 0
/proc/419121/statm: 356979 330795 421 379 0 356513 0
Current children cumulated CPU time: 3451.4 s
Current children cumulated vsize: 1437848 KiB
Current children cumulated memory: 1326012 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.14 4.09 5/263 421104
/proc/meminfo: memFree=119034532/131524600 swapFree=131059112/131071996
[pid=419109] ppid=419105 vsize=9932 memory=2832 CPUtime=0 cores=0,2
/proc/419109/stat : 419109 (naps-1.02b5.sh) S 419105 419109 417023 0 -1 4194304 220 245 0 0 0 0 0 0 20 0 1 0 60547406 10170368 708 134679101440 94920351072256 94920352151576 140730278300928 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94920354250032 94920354297220 94920386101248 140730278302687 140730278302814 140730278302814 140730278309830 0
/proc/419109/statm: 2483 708 631 264 0 134 0
[pid=419121] ppid=419109 vsize=1427916 memory=1339564 CPUtime=3511.21 cores=0,2
/proc/419121/stat : 419121 (naps-1.02b5) R 419109 419109 417023 0 -1 4194304 166645 0 0 0 351041 80 0 0 20 0 1 0 60547407 1462185984 334891 134679101440 4194304 5746509 140721976216192 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 29192192 140721976222702 140721976222816 140721976222816 140721976229833 0
/proc/419121/statm: 356979 334891 421 379 0 356513 0
Current children cumulated CPU time: 3511.21 s
Current children cumulated vsize: 1437848 KiB
Current children cumulated memory: 1342396 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/263 421115
/proc/meminfo: memFree=119086752/131524600 swapFree=131059112/131071996
[pid=419109] ppid=419105 vsize=9932 memory=2832 CPUtime=0 cores=0,2
/proc/419109/stat : 419109 (naps-1.02b5.sh) S 419105 419109 417023 0 -1 4194304 220 245 0 0 0 0 0 0 20 0 1 0 60547406 10170368 708 134679101440 94920351072256 94920352151576 140730278300928 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94920354250032 94920354297220 94920386101248 140730278302687 140730278302814 140730278302814 140730278309830 0
/proc/419109/statm: 2483 708 631 264 0 134 0
[pid=419121] ppid=419109 vsize=1509304 memory=1356504 CPUtime=3571.04 cores=0,2
/proc/419121/stat : 419121 (naps-1.02b5) R 419109 419109 417023 0 -1 4194304 167341 0 0 0 357023 81 0 0 20 0 1 0 60547407 1545527296 339126 134679101440 4194304 5746509 140721976216192 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 29192192 140721976222702 140721976222816 140721976222816 140721976229833 0
/proc/419121/statm: 377326 339126 421 379 0 376860 0
Current children cumulated CPU time: 3571.04 s
Current children cumulated vsize: 1519236 KiB
Current children cumulated memory: 1359336 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.4 s]
/proc/loadavg: 4.15 4.13 4.09 5/263 421121
/proc/meminfo: memFree=119052828/131524600 swapFree=131059112/131071996
[pid=419109] ppid=419105 vsize=9932 memory=2832 CPUtime=0 cores=0,2
/proc/419109/stat : 419109 (naps-1.02b5.sh) S 419105 419109 417023 0 -1 4194304 220 245 0 0 0 0 0 0 20 0 1 0 60547406 10170368 708 134679101440 94920351072256 94920352151576 140730278300928 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94920354250032 94920354297220 94920386101248 140730278302687 140730278302814 140730278302814 140730278309830 0
/proc/419109/statm: 2483 708 631 264 0 134 0
[pid=419121] ppid=419109 vsize=1509304 memory=1365108 CPUtime=3600.05 cores=0,2
/proc/419121/stat : 419121 (naps-1.02b5) R 419109 419109 417023 0 -1 4194304 167579 0 0 0 359924 81 0 0 20 0 1 0 60547407 1545527296 341277 134679101440 4194304 5746509 140721976216192 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 29192192 140721976222702 140721976222816 140721976222816 140721976229833 0
/proc/419121/statm: 377326 341277 421 379 0 376860 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1519236 KiB
Current children cumulated memory: 1367940 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.41 s]
# the end of solver process 419109 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.002409 s, system=0.000549 s
[startup+3611.41 s]
# the end of solver process 419121 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.24 s, system=0.821637 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3611.41
CPU time (s): 3600.07
CPU user time (s): 3599.24
CPU system time (s): 0.821637
CPU usage (%): 99.686
Max. virtual memory (cumulated for all children) (KiB): 1781724
Max. memory (cumulated for all children) (KiB): 1554780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.24
system time used= 0.821637
maximum resident set size= 1551948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 168044
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= 84
involuntary context switches= 24660
# summary of solver processes directly reported to runsolver:
# pid: 419109,419121
# total CPU time (s): 3600.07
# total CPU user time (s): 3599.24
# total CPU system time (s): 0.821637
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.61067 second user time and 17.907 second system time
The end
Begin job on nodeC021 at 2024-07-29 10:03:08
IDJOB=4462174
IDBENCH=178879
IDSOLVER=3065
FILE ID=nodeC021/4462174-1722240187
RUNJOBID= nodeC021-1722240187-419073
SLURM_JOB_ID= 8248757
Free space on /tmp= 890084 MiB
SOLVER NAME= NaPS-PB16 1.02b5
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/KidneyTransplantBenchmarks/normalized-KE_250_005.opb
COMMAND LINE= HOME/naps-1.02b5.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462174-1722240187/watcher-4462174-1722240187 -o /tmp/evaluation-result-4462174-1722240187/solver-4462174-1722240187 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1722240187-419073 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4462174-1722240187.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c1572c005e5d2804643966c7bf58bacf
RANDOM SEED=2009306525
nodeC021.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 : 3532.395
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.35
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 : 3559.656
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 : 7007.41
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 : 3575.477
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.35
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 : 3540.379
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 : 7007.41
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 : 3480.432
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.35
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 : 3634.154
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 : 7007.41
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 : 3486.548
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.35
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 : 2706.926
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 : 7007.41
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126030304 kB
MemAvailable: 129712740 kB
Buffers: 410628 kB
Cached: 4093516 kB
SwapCached: 464 kB
Active: 2860068 kB
Inactive: 2000156 kB
Active(anon): 1604 kB
Inactive(anon): 415944 kB
Active(file): 2858464 kB
Inactive(file): 1584212 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131059112 kB
Dirty: 8412 kB
Writeback: 0 kB
AnonPages: 355304 kB
Mapped: 109996 kB
Shmem: 61432 kB
KReclaimable: 158812 kB
Slab: 280452 kB
SReclaimable: 158812 kB
SUnreclaim: 121640 kB
KernelStack: 3872 kB
PageTables: 10272 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 797436 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 20128 kB
HardwareCorrupted: 0 kB
AnonHugePages: 239616 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: 324308 kB
DirectMap2M: 40343552 kB
DirectMap1G: 95420416 kB
Free space on /tmp at the end= 890068 MiB
End job on nodeC021 at 2024-07-29 11:03:19