0.32/0.38 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022)
0.32/0.38 c Do: 140734923849992 140734923850000
0.32/0.38 c Using SCIP solver, version 8.1.0, https://www.scipopt.org
0.41/0.52 c Starting SCIP solver (with time-limit = 1800s) ...
1022.87/1025.69 c SCIP optimum (rounded): -7323
1022.87/1025.69 o -7323
1022.87/1025.69 s OPTIMUM FOUND
1022.87/1025.69 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 -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 -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: 64059 MiB (62682 MiB free)
memory of node 1: 64510 MiB (61293 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462184-1722236592/watcher-4462184-1722236592 -o /tmp/evaluation-result-4462184-1722236592/solver-4462184-1722236592 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722236591-453163 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4462184-1722236592.opb -total-t=3600 -no-par -v0
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=453203, runsolver pid=453196
Current StackSize limit: 8192 KiB
[startup+0.100102 s]*
/proc/loadavg: 0.83 0.25 0.14 6/241 453214
/proc/meminfo: memFree=126920516/131655788 swapFree=131057156/131071996
[pid=453203] ppid=453196 vsize=24168 memory=9864 CPUtime=0.1 cores=4,6
/proc/453203/stat : 453203 (CASHWMaxSAT-Dis) R 453196 453203 452661 0 -1 4194304 1747 0 0 0 10 0 0 0 20 0 1 0 59648575 24748032 2466 134679101440 4194304 14817773 140734923852400 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 43294720 140734923854824 140734923854939 140734923854939 140734923861951 0
/proc/453203/statm: 6042 2466 926 2594 0 2935 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 24168 KiB
Current children cumulated memory: 9864 KiB
[startup+0.215613 s]*
/proc/loadavg: 0.83 0.25 0.14 6/239 453214
/proc/meminfo: memFree=126891004/131655788 swapFree=131057156/131071996
[pid=453203] ppid=453196 vsize=26936 memory=12424 CPUtime=0.21 cores=4,6
/proc/453203/stat : 453203 (CASHWMaxSAT-Dis) R 453196 453203 452661 0 -1 4194304 2665 0 0 0 21 0 0 0 20 0 1 0 59648575 27582464 3106 134679101440 4194304 14817773 140734923852400 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 43294720 140734923854824 140734923854939 140734923854939 140734923861951 0
/proc/453203/statm: 6734 3106 926 2594 0 3627 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 26936 KiB
Current children cumulated memory: 12424 KiB
[startup+0.315074 s]*
/proc/loadavg: 0.83 0.25 0.14 6/239 453215
/proc/meminfo: memFree=126856368/131655788 swapFree=131057156/131071996
[pid=453203] ppid=453196 vsize=35180 memory=19940 CPUtime=0.32 cores=4,6
/proc/453203/stat : 453203 (CASHWMaxSAT-Dis) R 453196 453203 452661 0 -1 4194304 4969 0 0 0 31 1 0 0 20 0 1 0 59648575 36024320 4985 134679101440 4194304 14817773 140734923852400 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 43294720 140734923854824 140734923854939 140734923854939 140734923861951 0
/proc/453203/statm: 8795 4985 926 2594 0 5688 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 35180 KiB
Current children cumulated memory: 19940 KiB
[startup+0.700379 s]
/proc/loadavg: 0.83 0.25 0.14 6/245 453227
/proc/meminfo: memFree=126787320/131655788 swapFree=131057156/131071996
[pid=453203] ppid=453196 vsize=126284 memory=114056 CPUtime=0.69 cores=4,6
/proc/453203/stat : 453203 (CASHWMaxSAT-Dis) R 453196 453203 452661 0 -1 4194304 27032 0 0 0 60 9 0 0 20 0 1 0 59648575 129314816 28514 134679101440 4194304 14817773 140734923852400 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 43294720 140734923854824 140734923854939 140734923854939 140734923861951 0
/proc/453203/statm: 31613 28514 2510 2594 0 28506 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 126284 KiB
Current children cumulated memory: 114056 KiB
[startup+1.50038 s]
/proc/loadavg: 0.83 0.25 0.14 6/245 453227
/proc/meminfo: memFree=126583732/131655788 swapFree=131057156/131071996
[pid=453203] ppid=453196 vsize=165520 memory=152720 CPUtime=1.48 cores=4,6
/proc/453203/stat : 453203 (CASHWMaxSAT-Dis) R 453196 453203 452661 0 -1 4194304 36671 0 0 0 137 11 0 0 20 0 1 0 59648575 169492480 38180 134679101440 4194304 14817773 140734923852400 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 43294720 140734923854824 140734923854939 140734923854939 140734923861951 0
/proc/453203/statm: 41380 38180 2542 2594 0 38273 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 165520 KiB
Current children cumulated memory: 152720 KiB
[startup+3.11491 s]
/proc/loadavg: 0.83 0.25 0.14 6/245 453227
/proc/meminfo: memFree=126060848/131655788 swapFree=131057156/131071996
[pid=453203] ppid=453196 vsize=169844 memory=156944 CPUtime=3.09 cores=4,6
/proc/453203/stat : 453203 (CASHWMaxSAT-Dis) R 453196 453203 452661 0 -1 4194304 37718 0 0 0 298 11 0 0 20 0 1 0 59648575 173920256 39236 134679101440 4194304 14817773 140734923852400 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 43294720 140734923854824 140734923854939 140734923854939 140734923861951 0
/proc/453203/statm: 42461 39236 2542 2594 0 39354 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 169844 KiB
Current children cumulated memory: 156944 KiB
[startup+6.30032 s]
/proc/loadavg: 1.08 0.31 0.16 6/245 453227
/proc/meminfo: memFree=125673028/131655788 swapFree=131057156/131071996
[pid=453203] ppid=453196 vsize=170868 memory=158000 CPUtime=6.27 cores=4,6
/proc/453203/stat : 453203 (CASHWMaxSAT-Dis) R 453196 453203 452661 0 -1 4194304 37974 0 0 0 615 12 0 0 20 0 1 0 59648575 174968832 39500 134679101440 4194304 14817773 140734923852400 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 43294720 140734923854824 140734923854939 140734923854939 140734923861951 0
/proc/453203/statm: 42717 39500 2542 2594 0 39610 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 170868 KiB
Current children cumulated memory: 158000 KiB
[startup+12.7003 s]
/proc/loadavg: 1.32 0.38 0.19 6/245 453228
/proc/meminfo: memFree=125397672/131655788 swapFree=131057156/131071996
[pid=453203] ppid=453196 vsize=258368 memory=242824 CPUtime=12.64 cores=4,6
/proc/453203/stat : 453203 (CASHWMaxSAT-Dis) R 453196 453203 452661 0 -1 4194304 57076 0 0 0 1249 15 0 0 20 0 1 0 59648575 264568832 60706 134679101440 4194304 14817773 140734923852400 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 43294720 140734923854824 140734923854939 140734923854939 140734923861951 0
/proc/453203/statm: 64592 60706 2654 2594 0 61485 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 258368 KiB
Current children cumulated memory: 242824 KiB
[startup+25.5003 s]
/proc/loadavg: 1.91 0.55 0.25 6/245 453230
/proc/meminfo: memFree=125376564/131655788 swapFree=131057156/131071996
[pid=453203] ppid=453196 vsize=297280 memory=263360 CPUtime=25.4 cores=4,6
/proc/453203/stat : 453203 (CASHWMaxSAT-Dis) R 453196 453203 452661 0 -1 4194304 63598 0 0 0 2524 16 0 0 20 0 1 0 59648575 304414720 65840 134679101440 4194304 14817773 140734923852400 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 43294720 140734923854824 140734923854939 140734923854939 140734923861951 0
/proc/453203/statm: 74320 65840 2654 2594 0 71213 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 297280 KiB
Current children cumulated memory: 263360 KiB
[startup+51.1143 s]
/proc/loadavg: 2.63 0.83 0.35 6/245 453234
/proc/meminfo: memFree=125193464/131655788 swapFree=131057156/131071996
[pid=453203] ppid=453196 vsize=303544 memory=265472 CPUtime=50.93 cores=4,6
/proc/453203/stat : 453203 (CASHWMaxSAT-Dis) R 453196 453203 452661 0 -1 4194304 64091 0 0 0 5076 17 0 0 20 0 1 0 59648575 310829056 66368 134679101440 4194304 14817773 140734923852400 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 43294720 140734923854824 140734923854939 140734923854939 140734923861951 0
/proc/453203/statm: 75886 66368 2654 2594 0 72779 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 303544 KiB
Current children cumulated memory: 265472 KiB
[startup+102.3 s]
/proc/loadavg: 3.52 1.35 0.55 6/245 453243
/proc/meminfo: memFree=125131300/131655788 swapFree=131057156/131071996
[pid=453203] ppid=453196 vsize=345948 memory=288664 CPUtime=101.94 cores=4,6
/proc/453203/stat : 453203 (CASHWMaxSAT-Dis) R 453196 453203 452661 0 -1 4194304 68387 0 0 0 10176 18 0 0 20 0 1 0 59648575 354250752 72166 134679101440 4194304 14817773 140734923852400 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 43294720 140734923854824 140734923854939 140734923854939 140734923861951 0
/proc/453203/statm: 86487 72166 2654 2594 0 83380 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 345948 KiB
Current children cumulated memory: 288664 KiB
[startup+162.3 s]
/proc/loadavg: 3.89 1.85 0.78 6/244 453254
/proc/meminfo: memFree=125097356/131655788 swapFree=131057156/131071996
[pid=453203] ppid=453196 vsize=431988 memory=319476 CPUtime=161.78 cores=4,6
/proc/453203/stat : 453203 (CASHWMaxSAT-Dis) R 453196 453203 452661 0 -1 4194304 72989 0 0 0 16159 19 0 0 20 0 1 0 59648575 442355712 79869 134679101440 4194304 14817773 140734923852400 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 43294720 140734923854824 140734923854939 140734923854939 140734923861951 0
/proc/453203/statm: 107997 79869 2654 2594 0 104890 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 431988 KiB
Current children cumulated memory: 319476 KiB
[startup+222.3 s]
/proc/loadavg: 4.01 2.26 0.99 6/244 453264
/proc/meminfo: memFree=125095124/131655788 swapFree=131057156/131071996
[pid=453203] ppid=453196 vsize=431988 memory=319524 CPUtime=221.62 cores=4,6
/proc/453203/stat : 453203 (CASHWMaxSAT-Dis) R 453196 453203 452661 0 -1 4194304 73069 0 0 0 22143 19 0 0 20 0 1 0 59648575 442355712 79881 134679101440 4194304 14817773 140734923852400 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 43294720 140734923854824 140734923854939 140734923854939 140734923861951 0
/proc/453203/statm: 107997 79881 2654 2594 0 104890 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 431988 KiB
Current children cumulated memory: 319524 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 2.60 1.18 6/243 453274
/proc/meminfo: memFree=125074980/131655788 swapFree=131057156/131071996
[pid=453203] ppid=453196 vsize=440464 memory=329244 CPUtime=281.47 cores=4,6
/proc/453203/stat : 453203 (CASHWMaxSAT-Dis) R 453196 453203 452661 0 -1 4194304 75557 0 0 0 28127 20 0 0 20 0 1 0 59648575 451035136 82311 134679101440 4194304 14817773 140734923852400 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 43294720 140734923854824 140734923854939 140734923854939 140734923861951 0
/proc/453203/statm: 110116 82311 2654 2594 0 107009 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 440464 KiB
Current children cumulated memory: 329244 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 2.87 1.37 6/238 453285
/proc/meminfo: memFree=125065224/131655788 swapFree=131057156/131071996
[pid=453203] ppid=453196 vsize=447296 memory=337404 CPUtime=341.33 cores=4,6
/proc/453203/stat : 453203 (CASHWMaxSAT-Dis) R 453196 453203 452661 0 -1 4194304 76661 0 0 0 34112 21 0 0 20 0 1 0 59648575 458031104 84351 134679101440 4194304 14817773 140734923852400 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 43294720 140734923854824 140734923854939 140734923854939 140734923861951 0
/proc/453203/statm: 111824 84351 2654 2594 0 108717 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 447296 KiB
Current children cumulated memory: 337404 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 3.11 1.54 6/239 453296
/proc/meminfo: memFree=125044996/131655788 swapFree=131057156/131071996
[pid=453203] ppid=453196 vsize=461344 memory=350424 CPUtime=401.17 cores=4,6
/proc/453203/stat : 453203 (CASHWMaxSAT-Dis) R 453196 453203 452661 0 -1 4194304 79940 0 0 0 40096 21 0 0 20 0 1 0 59648575 472416256 87606 134679101440 4194304 14817773 140734923852400 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 43294720 140734923854824 140734923854939 140734923854939 140734923861951 0
/proc/453203/statm: 115336 87606 2654 2594 0 112229 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 461344 KiB
Current children cumulated memory: 350424 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 3.29 1.71 6/242 453311
/proc/meminfo: memFree=125023476/131655788 swapFree=131057156/131071996
[pid=453203] ppid=453196 vsize=477348 memory=365584 CPUtime=461.01 cores=4,6
/proc/453203/stat : 453203 (CASHWMaxSAT-Dis) R 453196 453203 452661 0 -1 4194304 83771 0 0 0 46079 22 0 0 20 0 1 0 59648575 488804352 91396 134679101440 4194304 14817773 140734923852400 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 43294720 140734923854824 140734923854939 140734923854939 140734923861951 0
/proc/453203/statm: 119337 91396 2654 2594 0 116230 0
################
# More data... #
################
/proc/loadavg: 4.10 3.67 2.14 6/242 453344
/proc/meminfo: memFree=124915340/131655788 swapFree=131057156/131071996
[pid=453203] ppid=453196 vsize=522824 memory=412708 CPUtime=640.55 cores=4,6
/proc/453203/stat : 453203 (CASHWMaxSAT-Dis) R 453196 453203 452661 0 -1 4194304 95627 0 0 0 64030 25 0 0 20 0 1 0 59648575 535371776 103177 134679101440 4194304 14817773 140734923852400 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 43294720 140734923854824 140734923854939 140734923854939 140734923861951 0
/proc/453203/statm: 130706 103177 2654 2594 0 127599 0
Current children cumulated CPU time: 640.55 s
Current children cumulated vsize: 522824 KiB
Current children cumulated memory: 412708 KiB
[startup+702.3 s]
/proc/loadavg: 4.12 3.75 2.26 6/241 453354
/proc/meminfo: memFree=124896884/131655788 swapFree=131057156/131071996
[pid=453203] ppid=453196 vsize=539352 memory=428432 CPUtime=700.39 cores=4,6
/proc/453203/stat : 453203 (CASHWMaxSAT-Dis) R 453196 453203 452661 0 -1 4194304 99623 0 0 0 70013 26 0 0 20 0 1 0 59648575 552296448 107108 134679101440 4194304 14817773 140734923852400 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 43294720 140734923854824 140734923854939 140734923854939 140734923861951 0
/proc/453203/statm: 134838 107108 2654 2594 0 131731 0
Current children cumulated CPU time: 700.39 s
Current children cumulated vsize: 539352 KiB
Current children cumulated memory: 428432 KiB
[startup+762.3 s]
/proc/loadavg: 4.10 3.81 2.38 6/238 453365
/proc/meminfo: memFree=124871832/131655788 swapFree=131057156/131071996
[pid=453203] ppid=453196 vsize=554004 memory=443360 CPUtime=760.24 cores=4,6
/proc/453203/stat : 453203 (CASHWMaxSAT-Dis) R 453196 453203 452661 0 -1 4194304 103347 0 0 0 75997 27 0 0 20 0 1 0 59648575 567300096 110840 134679101440 4194304 14817773 140734923852400 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 43294720 140734923854824 140734923854939 140734923854939 140734923861951 0
/proc/453203/statm: 138501 110840 2654 2594 0 135394 0
Current children cumulated CPU time: 760.24 s
Current children cumulated vsize: 554004 KiB
Current children cumulated memory: 443360 KiB
[startup+822.3 s]
/proc/loadavg: 4.08 3.86 2.49 6/238 453375
/proc/meminfo: memFree=124851496/131655788 swapFree=131057156/131071996
[pid=453203] ppid=453196 vsize=571404 memory=459668 CPUtime=820.09 cores=4,6
/proc/453203/stat : 453203 (CASHWMaxSAT-Dis) R 453196 453203 452661 0 -1 4194304 107449 0 0 0 81981 28 0 0 20 0 1 0 59648575 585117696 114917 134679101440 4194304 14817773 140734923852400 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 43294720 140734923854824 140734923854939 140734923854939 140734923861951 0
/proc/453203/statm: 142851 114917 2654 2594 0 139744 0
Current children cumulated CPU time: 820.09 s
Current children cumulated vsize: 571404 KiB
Current children cumulated memory: 459668 KiB
[startup+882.3 s]
/proc/loadavg: 4.21 3.94 2.60 6/238 453385
/proc/meminfo: memFree=124826920/131655788 swapFree=131057156/131071996
[pid=453203] ppid=453196 vsize=594620 memory=483628 CPUtime=879.93 cores=4,6
/proc/453203/stat : 453203 (CASHWMaxSAT-Dis) R 453196 453203 452661 0 -1 4194304 113438 0 0 0 87964 29 0 0 20 0 1 0 59648575 608890880 120907 134679101440 4194304 14817773 140734923852400 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 43294720 140734923854824 140734923854939 140734923854939 140734923861951 0
/proc/453203/statm: 148655 120907 2654 2594 0 145548 0
Current children cumulated CPU time: 879.93 s
Current children cumulated vsize: 594620 KiB
Current children cumulated memory: 483628 KiB
[startup+942.3 s]
/proc/loadavg: 4.13 3.97 2.70 6/238 453396
/proc/meminfo: memFree=124796704/131655788 swapFree=131057156/131071996
[pid=453203] ppid=453196 vsize=621408 memory=511004 CPUtime=939.79 cores=4,6
/proc/453203/stat : 453203 (CASHWMaxSAT-Dis) R 453196 453203 452661 0 -1 4194304 120351 0 0 0 93948 31 0 0 20 0 1 0 59648575 636321792 127751 134679101440 4194304 14817773 140734923852400 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 43294720 140734923854824 140734923854939 140734923854939 140734923861951 0
/proc/453203/statm: 155352 127751 2654 2594 0 152245 0
Current children cumulated CPU time: 939.79 s
Current children cumulated vsize: 621408 KiB
Current children cumulated memory: 511004 KiB
[startup+1002.3 s]
/proc/loadavg: 4.09 3.99 2.79 6/238 453406
/proc/meminfo: memFree=124735620/131655788 swapFree=131057156/131071996
[pid=453203] ppid=453196 vsize=675724 memory=565428 CPUtime=999.63 cores=4,6
/proc/453203/stat : 453203 (CASHWMaxSAT-Dis) R 453196 453203 452661 0 -1 4194304 166255 0 0 0 99926 37 0 0 20 0 1 0 59648575 691941376 141357 134679101440 4194304 14817773 140734923852400 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 43294720 140734923854824 140734923854939 140734923854939 140734923861951 0
/proc/453203/statm: 168931 141357 2654 2594 0 165824 0
Current children cumulated CPU time: 999.63 s
Current children cumulated vsize: 675724 KiB
Current children cumulated memory: 565428 KiB
[startup+1025.73 s]
# the end of solver process 453203 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=1022.59 s, system=0.409515 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1011.2 s]
/proc/loadavg: 4.15 4.01 2.81 6/241 453412
/proc/meminfo: memFree=124734820/131655788 swapFree=131057156/131071996
[pid=453203] ppid=453196 vsize=682540 memory=572032 CPUtime=1008.51 cores=4,6
/proc/453203/stat : 453203 (CASHWMaxSAT-Dis) R 453196 453203 452661 0 -1 4194304 166445 0 0 0 100813 38 0 0 20 0 1 0 59648575 698920960 143008 134679101440 4194304 14817773 140734923852400 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 43294720 140734923854824 140734923854939 140734923854939 140734923861951 0
/proc/453203/statm: 170635 143008 2654 2594 0 167528 0
Current children cumulated CPU time: 1008.51 s
Current children cumulated vsize: 682540 KiB
Current children cumulated memory: 572032 KiB
[startup+1017.6 s]
/proc/loadavg: 4.13 4.01 2.81 6/241 453412
/proc/meminfo: memFree=124727620/131655788 swapFree=131057156/131071996
[pid=453203] ppid=453196 vsize=694076 memory=572560 CPUtime=1014.89 cores=4,6
/proc/453203/stat : 453203 (CASHWMaxSAT-Dis) R 453196 453203 452661 0 -1 4194304 166526 0 0 0 101451 38 0 0 20 0 1 0 59648575 710733824 143140 134679101440 4194304 14817773 140734923852400 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 43294720 140734923854824 140734923854939 140734923854939 140734923861951 0
/proc/453203/statm: 173519 143140 2654 2594 0 170412 0
Current children cumulated CPU time: 1014.89 s
Current children cumulated vsize: 694076 KiB
Current children cumulated memory: 572560 KiB
[startup+1020.8 s]
/proc/loadavg: 4.12 4.01 2.82 6/241 453412
/proc/meminfo: memFree=124727480/131655788 swapFree=131057156/131071996
[pid=453203] ppid=453196 vsize=699308 memory=572560 CPUtime=1018.08 cores=4,6
/proc/453203/stat : 453203 (CASHWMaxSAT-Dis) R 453196 453203 452661 0 -1 4194304 166528 0 0 0 101770 38 0 0 20 0 1 0 59648575 716091392 143140 134679101440 4194304 14817773 140734923852400 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 43294720 140734923854824 140734923854939 140734923854939 140734923861951 0
/proc/453203/statm: 174827 143140 2654 2594 0 171720 0
Current children cumulated CPU time: 1018.08 s
Current children cumulated vsize: 699308 KiB
Current children cumulated memory: 572560 KiB
[startup+1024 s]*
/proc/loadavg: 4.11 4.01 2.83 6/241 453415
/proc/meminfo: memFree=124727524/131655788 swapFree=131057156/131071996
[pid=453203] ppid=453196 vsize=703784 memory=572560 CPUtime=1021.29 cores=4,6
/proc/453203/stat : 453203 (CASHWMaxSAT-Dis) R 453196 453203 452661 0 -1 4194304 166530 0 0 0 102091 38 0 0 20 0 1 0 59648575 720674816 143140 134679101440 4194304 14817773 140734923852400 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 43294720 140734923854824 140734923854939 140734923854939 140734923861951 0
/proc/453203/statm: 175946 143140 2654 2594 0 172839 0
Current children cumulated CPU time: 1021.29 s
Current children cumulated vsize: 703784 KiB
Current children cumulated memory: 572560 KiB
[startup+1024.8 s]
/proc/loadavg: 4.11 4.01 2.83 6/241 453415
/proc/meminfo: memFree=124727524/131655788 swapFree=131057156/131071996
[pid=453203] ppid=453196 vsize=705860 memory=572560 CPUtime=1022.07 cores=4,6
/proc/453203/stat : 453203 (CASHWMaxSAT-Dis) R 453196 453203 452661 0 -1 4194304 166531 0 0 0 102169 38 0 0 20 0 1 0 59648575 722800640 143140 134679101440 4194304 14817773 140734923852400 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 43294720 140734923854824 140734923854939 140734923854939 140734923861951 0
/proc/453203/statm: 176465 143140 2654 2594 0 173358 0
Current children cumulated CPU time: 1022.07 s
Current children cumulated vsize: 705860 KiB
Current children cumulated memory: 572560 KiB
[startup+1025.2 s]
/proc/loadavg: 4.11 4.01 2.83 6/241 453415
/proc/meminfo: memFree=124727508/131655788 swapFree=131057156/131071996
[pid=453203] ppid=453196 vsize=705860 memory=572560 CPUtime=1022.47 cores=4,6
/proc/453203/stat : 453203 (CASHWMaxSAT-Dis) R 453196 453203 452661 0 -1 4194304 166531 0 0 0 102209 38 0 0 20 0 1 0 59648575 722800640 143140 134679101440 4194304 14817773 140734923852400 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 43294720 140734923854824 140734923854939 140734923854939 140734923861951 0
/proc/453203/statm: 176465 143140 2654 2594 0 173358 0
Current children cumulated CPU time: 1022.47 s
Current children cumulated vsize: 705860 KiB
Current children cumulated memory: 572560 KiB
[startup+1025.6 s]
/proc/loadavg: 4.11 4.01 2.83 6/241 453415
/proc/meminfo: memFree=124727508/131655788 swapFree=131057156/131071996
[pid=453203] ppid=453196 vsize=705860 memory=572560 CPUtime=1022.87 cores=4,6
/proc/453203/stat : 453203 (CASHWMaxSAT-Dis) R 453196 453203 452661 0 -1 4194304 166531 0 0 0 102249 38 0 0 20 0 1 0 59648575 722800640 143140 134679101440 4194304 14817773 140734923852400 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 43294720 140734923854824 140734923854939 140734923854939 140734923861951 0
/proc/453203/statm: 176465 143140 2654 2594 0 173358 0
Current children cumulated CPU time: 1022.87 s
Current children cumulated vsize: 705860 KiB
Current children cumulated memory: 572560 KiB
[startup+1025.7 s]
/proc/loadavg: 4.11 4.01 2.83 6/241 453415
/proc/meminfo: memFree=124727508/131655788 swapFree=131057156/131071996
[pid=453203] ppid=453196 vsize=707776 memory=572560 CPUtime=1022.96 cores=4,6
/proc/453203/stat : 453203 (CASHWMaxSAT-Dis) S 453196 453203 452661 0 -1 1077936128 166533 0 0 0 102258 38 0 0 20 0 1 0 59648575 724762624 143140 134679101440 4194304 14817773 140734923852400 0 0 0 0 0 8408098 1 0 0 17 4 0 0 0 0 0 16829744 16914832 43294720 140734923854824 140734923854939 140734923854939 140734923861951 0
/proc/453203/statm: 176944 143140 2654 2594 0 173837 0
Current children cumulated CPU time: 1022.96 s
Current children cumulated vsize: 707776 KiB
Current children cumulated memory: 572560 KiB
Child status: 30
Real time (s): 1025.73
CPU time (s): 1023
CPU user time (s): 1022.59
CPU system time (s): 0.409515
CPU usage (%): 99.7338
Max. virtual memory (cumulated for all children) (KiB): 731868
Max. memory (cumulated for all children) (KiB): 619764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1022.59
system time used= 0.409515
maximum resident set size= 622404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 166533
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= 8
involuntary context switches= 1148
# summary of solver processes directly reported to runsolver:
# pid: 453203
# total CPU time (s): 1023
# total CPU user time (s): 1022.59
# total CPU system time (s): 0.409515
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.1623 second user time and 10.9727 second system time
The end
Begin job on nodeC005 at 2024-07-29 09:03:12
IDJOB=4462184
IDBENCH=178879
IDSOLVER=3075
FILE ID=nodeC005/4462184-1722236592
RUNJOBID= nodeC005-1722236591-453163
SLURM_JOB_ID= 8248774
Free space on /tmp= 723780 MiB
SOLVER NAME= CASHWMaxSAT-DisjCad-S 2024-07-10
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/KidneyTransplantBenchmarks/normalized-KE_250_005.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462184-1722236592/watcher-4462184-1722236592 -o /tmp/evaluation-result-4462184-1722236592/solver-4462184-1722236592 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722236591-453163 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4462184-1722236592.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c1572c005e5d2804643966c7bf58bacf
RANDOM SEED=1193576415
nodeC005.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.120
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.113
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1595.432
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.113
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.119
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.114
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.113
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.115
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 126953824 kB
MemAvailable: 130010620 kB
Buffers: 401676 kB
Cached: 3469520 kB
SwapCached: 244 kB
Active: 1860204 kB
Inactive: 2270540 kB
Active(anon): 2084 kB
Inactive(anon): 310340 kB
Active(file): 1858120 kB
Inactive(file): 1960200 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131057156 kB
Dirty: 47412 kB
Writeback: 16 kB
AnonPages: 259512 kB
Mapped: 97308 kB
Shmem: 52880 kB
KReclaimable: 157012 kB
Slab: 266100 kB
SReclaimable: 157012 kB
SUnreclaim: 109088 kB
KernelStack: 3664 kB
PageTables: 10016 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 655360 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 10720 kB
HardwareCorrupted: 0 kB
AnonHugePages: 141312 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: 435016 kB
DirectMap2M: 55044096 kB
DirectMap1G: 80740352 kB
Free space on /tmp at the end= 723716 MiB
End job on nodeC005 at 2024-07-29 09:20:18