0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
8.37/8.46 c Default LC presolving (default).
8.47/8.51 c ** Before presolving: virtualMemUsedAtLc = 5722275667, getVmSize() = 3381649408, SCIPgetMemUsed() = 2903106865, SCIPgetMemTotal() = 3141468145, SCIPgetMemExternEstim() = 2580807522
8.47/8.51 c ** set memory limit for presolving in LC to 8.79438e+12 for SCIP **
95.56/95.98 c ** Estimated virtualMemUsedAtSolver = 5420998361, getVmSize() = 6258040832, SCIPgetMemUsed() = 3695946364, SCIPgetMemTotal() = 5550690020, SCIPgetMemExternEstim() = 2580807522
95.56/95.98 c ** set memory limit for solvers to 4.39788e+12 for each SCIP **
95.56/95.98 c Original Problem :
95.56/95.98 c Problem name : instance-4464326-1722378684
95.56/95.98 c Variables : 4500 (4500 binary, 0 integer, 0 implicit integer, 0 continuous)
95.56/95.98 c Constraints : 2559501
95.56/95.98 c Objective sense : minimize
95.56/95.98 c Presolved Problem :
95.56/95.98 c Variables : 4500 (4500 binary, 0 integer, 0 implicit integer, 0 continuous)
95.56/95.98 c Constraints : 2559501
95.56/95.98 c Constraints : Number
95.56/95.98 c knapsack : 4950
95.56/95.98 c setppc : 2100
95.56/95.98 c linear : 1
95.56/95.98 c logicor : 2552450
95.56/95.98 c ** Instance transfer method used: 0
100.24/100.67 c ** ParaScipInstance copy does not increase the number of variables. **
103.91/104.31 c LC is working with racing ramp-up and with rebuilding tree after racing.
103.91/104.31 c Nodes Active
103.91/104.31 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
194.26/195.56 c * 196 0 1 1 0.0000 - -
194.26/195.56 c 196 0 1 1 0.0000 - -
195.05/196.30 c 196 1 0 0 0.0000 0.0000 0.00%
199.71/201.08 c 201 1 0 0 0.0000 0.0000 -
199.71/201.08 c SCIP Status : c problem is solved
199.71/201.08 c Total Time : 201.0800
199.71/201.08 c solving : 201.0800
199.71/201.08 c presolving : 87.4681 (included in solving)
199.71/201.08 c B&B Tree :
199.71/201.08 c nodes (total) : 1
199.71/201.08 c Solution :
199.71/201.08 c Solutions found : 1
199.71/201.08 c Primal Bound : +0.00000000000000e+00
199.71/201.08 c Dual Bound : +0.00000000000000e+00
199.71/201.08 c Gap : 0.00000 %
200.30/201.61 s SATISFIABLE
200.30/201.61 v -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482
200.30/201.61 v -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465
200.30/201.61 v -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 x2451 -x2450 -x2449 -x2448 -x2447
200.30/201.61 v -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429
200.30/201.61 v -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411
200.30/201.61 v -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393
200.30/201.61 v -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375
200.30/201.61 v -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357
200.30/201.61 v -x2356 -x2355 -x2354 x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339
200.30/201.61 v -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321
200.30/201.61 v -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 x2304 -x2303
200.30/201.61 v -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285
200.30/201.61 v -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268
200.30/201.61 v -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 x2255 -x2254 -x2253 -x2252 -x2251 -x2250
200.30/201.61 v -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232
200.30/201.61 v -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214
200.30/201.61 v -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196
200.30/201.61 v -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178
200.30/201.61 v -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160
200.30/201.61 v -x2159 -x2158 x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142
200.30/201.61 v -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124
200.30/201.61 v -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 x2108 -x2107 -x2106
200.30/201.61 v -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088
200.30/201.61 v -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071
200.30/201.61 v -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053
200.30/201.61 v -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035
200.30/201.61 v -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017
200.30/201.61 v -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999
200.30/201.61 v -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981
200.30/201.61 v -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963
200.30/201.61 v -x1962 x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945
200.30/201.61 v -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927
200.30/201.61 v -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 x1912 -x1911 -x1910 -x1909
200.30/201.61 v -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891
200.30/201.61 v -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874
200.30/201.61 v -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856
200.30/201.61 v -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838
200.30/201.61 v -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820
200.30/201.61 v -x1819 -x1818 -x1817 -x1816 -x1815 x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802
200.30/201.61 v -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784
200.30/201.61 v -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766
200.30/201.61 v x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748
200.30/201.61 v -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730
200.30/201.61 v -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 x1716 -x1715 -x1714 -x1713 -x1712
200.30/201.61 v -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694
200.30/201.61 v -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677
200.30/201.61 v -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659
200.30/201.61 v -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641
200.30/201.61 v -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623
200.30/201.61 v -x1622 -x1621 -x1620 -x1619 x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605
200.30/201.61 v -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587
200.30/201.61 v -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 x1569
200.30/201.61 v -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551
200.30/201.61 v -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533
200.30/201.61 v -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 x1520 -x1519 -x1518 -x1517 -x1516 -x1515
200.30/201.61 v -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497
200.30/201.61 v -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480
200.30/201.61 v -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462
200.30/201.61 v -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444
200.30/201.61 v -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426
200.30/201.61 v -x1425 -x1424 -x1423 x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408
200.30/201.61 v -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390
200.30/201.61 v -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 x1373 -x1372
200.30/201.61 v -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354
200.30/201.61 v -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336
200.30/201.61 v -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318
200.30/201.61 v -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300
200.30/201.61 v -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283
200.30/201.61 v -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265
200.30/201.61 v -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247
200.30/201.61 v -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229
200.30/201.61 v -x1228 -x1227 x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211
200.30/201.61 v -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193
200.30/201.61 v -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 x1177 -x1176 -x1175
200.30/201.61 v -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157
200.30/201.61 v -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139
200.30/201.61 v -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121
200.30/201.61 v -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103
200.30/201.61 v -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086
200.30/201.61 v -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068
200.30/201.61 v -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050
200.30/201.61 v -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032
200.30/201.61 v -x1031 x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014
200.30/201.61 v -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995
200.30/201.61 v -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974
200.30/201.61 v -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954
200.30/201.61 v -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933
200.30/201.61 v x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912
200.30/201.61 v -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891
200.30/201.61 v -x890 -x889 -x888 -x887 -x886 -x885 -x884 x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870
200.30/201.61 v -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849
200.30/201.61 v -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 x834 -x833 -x832 -x831 -x830 -x829 -x828
200.30/201.61 v -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807
200.30/201.61 v -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786
200.30/201.61 v x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765
200.30/201.61 v -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745
200.30/201.61 v -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724
200.30/201.61 v -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703
200.30/201.61 v -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 x687 -x686 -x685 -x684 -x683 -x682
200.30/201.61 v -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661
200.30/201.61 v -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640
200.30/201.61 v -x639 x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619
200.30/201.61 v -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598
200.30/201.61 v -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577
200.30/201.61 v -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556
200.30/201.61 v -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 x540 -x539 -x538 -x537 -x536 -x535
200.30/201.61 v -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515
200.30/201.61 v -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494
200.30/201.61 v -x493 -x492 x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473
200.30/201.61 v -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452
200.30/201.61 v -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431
200.30/201.61 v -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410
200.30/201.61 v -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 x393 -x392 -x391 -x390 -x389
200.30/201.61 v -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368
200.30/201.61 v -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347
200.30/201.61 v -x346 -x345 x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326
200.30/201.61 v -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306
200.30/201.61 v -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285
200.30/201.61 v -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264
200.30/201.61 v -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 x246 -x245 -x244 -x243
200.30/201.61 v -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222
200.30/201.61 v -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201
200.30/201.61 v -x200 -x199 -x198 x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180
200.30/201.61 v -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159
200.30/201.61 v -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138
200.30/201.61 v -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117
200.30/201.61 v -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 x99 -x98 -x97 -x96
200.30/201.61 v -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71
200.30/201.61 v -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 x4500 -x4499 -x4498 -x4497
200.30/201.61 v -x4496 -x4495 -x4494 -x4493 -x4492 -x4491 -x4490 -x4489 -x4488 -x4487 -x4486 -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479
200.30/201.61 v -x4478 -x4477 -x4476 -x4475 -x4474 -x4473 -x4472 -x4471 -x4470 -x4469 -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 x4461
200.30/201.61 v x4460 -x4459 -x4458 -x4457 -x4456 -x4455 -x4454 -x4453 -x4452 -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443
200.30/201.61 v -x4442 -x4441 -x4440 -x4439 -x4438 -x4437 -x4436 -x4435 -x4434 -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426 -x4425
200.30/201.61 v -x4424 -x4423 -x4422 -x4421 -x4420 -x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4408 -x4407
200.30/201.61 v -x4406 -x4405 -x4404 -x4403 -x4402 -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394 -x4393 -x4392 -x4391 -x4390
200.30/201.61 v -x4389 -x4388 -x4387 -x4386 -x4385 -x4384 -x4383 x4382 -x4381 -x4380 -x4379 -x4378 -x4377 -x4376 -x4375 -x4374 -x4373 -x4372
200.30/201.61 v -x4371 -x4370 -x4369 -x4368 -x4367 -x4366 -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 -x4357 -x4356 -x4355 -x4354
200.30/201.61 v -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 -x4347 -x4346 -x4345 -x4344 -x4343 -x4342 -x4341 -x4340 x4339 -x4338 -x4337 -x4336
200.30/201.61 v -x4335 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 -x4328 -x4327 -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 -x4320 -x4319 -x4318
200.30/201.61 v -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 -x4309 -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4300
200.30/201.61 v x4299 -x4298 -x4297 -x4296 -x4295 -x4294 -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 -x4283 -x4282
200.30/201.61 v -x4281 -x4280 -x4279 -x4278 -x4277 -x4276 -x4275 -x4274 -x4273 -x4272 -x4271 -x4270 -x4269 -x4268 -x4267 -x4266 -x4265 -x4264
200.30/201.61 v -x4263 -x4262 -x4261 -x4260 -x4259 -x4258 x4257 -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4247 -x4246
200.30/201.61 v -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228
200.30/201.61 v -x4227 -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 x4214 -x4213 x4212 -x4211 -x4210
200.30/201.61 v -x4209 -x4208 -x4207 -x4206 -x4205 -x4204 -x4203 -x4202 -x4201 -x4200 -x4199 -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 -x4192
200.30/201.61 v -x4191 -x4190 -x4189 -x4188 -x4187 -x4186 -x4185 -x4184 -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 -x4174
200.30/201.61 v x4173 -x4172 -x4171 -x4170 -x4169 -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159 -x4158 -x4157 -x4156
200.30/201.61 v -x4155 -x4154 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 -x4147 -x4146 -x4145 -x4144 -x4143 -x4142 -x4141 -x4140 -x4139
200.30/201.61 v -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121
200.30/201.61 v -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 -x4103
200.30/201.61 v -x4102 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 x4093 x4092 -x4091 -x4090 -x4089 -x4088 -x4087 -x4086 -x4085
200.30/201.61 v -x4084 -x4083 -x4082 -x4081 -x4080 -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068 -x4067
200.30/201.61 v -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 -x4050 -x4049
200.30/201.61 v -x4048 -x4047 -x4046 -x4045 -x4044 -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 -x4032 -x4031
200.30/201.61 v -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013
200.30/201.61 v x4012 -x4011 x4010 -x4009 -x4008 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995
200.30/201.61 v -x3994 -x3993 -x3992 -x3991 -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977
200.30/201.61 v -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970 -x3969 x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959
200.30/201.61 v -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 -x3952 -x3951 -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941
200.30/201.61 v -x3940 -x3939 -x3938 -x3937 -x3936 -x3935 -x3934 -x3933 -x3932 -x3931 x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923
200.30/201.61 v -x3922 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915 -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906
200.30/201.61 v -x3905 -x3904 -x3903 -x3902 -x3901 -x3900 -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888
200.30/201.61 v -x3887 -x3886 -x3885 -x3884 -x3883 -x3882 -x3881 -x3880 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870
200.30/201.61 v -x3869 -x3868 -x3867 -x3866 -x3865 -x3864 -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 -x3852
200.30/201.61 v -x3851 -x3850 -x3849 -x3848 -x3847 x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834
200.30/201.61 v -x3833 -x3832 -x3831 -x3830 -x3829 -x3828 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816
200.30/201.61 v -x3815 -x3814 -x3813 -x3812 -x3811 x3810 -x3809 x3808 -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798
200.30/201.61 v -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 -x3791 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 -x3780
200.30/201.61 v -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 -x3771 -x3770 x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762
200.30/201.61 v -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744
200.30/201.61 v -x3743 -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726
200.30/201.61 v -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709
200.30/201.61 v -x3708 -x3707 -x3706 -x3705 -x3704 -x3703 -x3702 -x3701 -x3700 -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691
200.30/201.61 v -x3690 -x3689 -x3688 -x3687 x3686 -x3685 -x3684 -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673
200.30/201.61 v -x3672 -x3671 -x3670 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 -x3663 x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655
200.30/201.61 v -x3654 -x3653 -x3652 -x3651 -x3650 -x3649 -x3648 -x3647 -x3646 -x3645 x3644 -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637
200.30/201.61 v -x3636 -x3635 -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 -x3628 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619
200.30/201.61 v -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 -x3612 -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601
200.30/201.61 v -x3600 -x3599 x3598 -x3597 -x3596 -x3595 -x3594 -x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583
200.30/201.61 v -x3582 -x3581 -x3580 -x3579 -x3578 -x3577 -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565
200.30/201.61 v -x3564 -x3563 -x3562 -x3561 -x3560 -x3559 x3558 -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547
200.30/201.61 v -x3546 -x3545 -x3544 -x3543 -x3542 x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529
200.30/201.61 v -x3528 -x3527 -x3526 -x3525 -x3524 -x3523 -x3522 -x3521 -x3520 x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511
200.30/201.61 v -x3510 -x3509 -x3508 -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493
200.30/201.61 v -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 x3484 -x3483 -x3482 -x3481 -x3480 -x3479 -x3478 -x3477 -x3476 -x3475
200.30/201.61 v -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 x3461 -x3460 -x3459 -x3458 -x3457
200.30/201.61 v -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 x3439
200.30/201.61 v -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421
200.30/201.61 v -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404
200.30/201.61 v x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 -x3386
200.30/201.61 v -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368
200.30/201.61 v -x3367 -x3366 -x3365 x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350
200.30/201.61 v -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332
200.30/201.61 v -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 x3324 x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314
200.30/201.61 v -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296
200.30/201.61 v -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278
200.30/201.61 v -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260
200.30/201.61 v -x3259 -x3258 -x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 x3244 -x3243 -x3242
200.30/201.61 v -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 -x3225 -x3224
200.30/201.61 v -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 -x3206
200.30/201.61 v -x3205 -x3204 -x3203 -x3202 x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188
200.30/201.61 v -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171
200.30/201.61 v -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153
200.30/201.61 v -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135
200.30/201.61 v -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 x3117
200.30/201.61 v -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099
200.30/201.61 v -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 -x3081
200.30/201.61 v -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063
200.30/201.61 v -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045
200.30/201.61 v -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 x3031 x3030 -x3029 -x3028 -x3027
200.30/201.61 v -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009
200.30/201.61 v -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991
200.30/201.61 v -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973
200.30/201.61 v -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956
200.30/201.61 v -x2955 -x2954 -x2953 x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938
200.30/201.61 v -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920
200.30/201.61 v -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902
200.30/201.61 v -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2884
200.30/201.61 v -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 x2871 -x2870 -x2869 -x2868 -x2867 -x2866
200.30/201.61 v -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848
200.30/201.61 v -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 -x2831 -x2830
200.30/201.61 v -x2829 -x2828 -x2827 -x2826 x2825 -x2824 x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812
200.30/201.61 v -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794
202.60/203.92 v -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776
202.60/203.92 v -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 -x2758
202.60/203.92 v -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740
202.60/203.92 v -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723
202.60/203.92 v -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705
202.60/203.92 v x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687
202.60/203.92 v -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669
202.60/203.92 v -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651
202.60/203.92 v -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633
202.60/203.92 v -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615
202.60/203.92 v -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x34 -x2601 -x2600 -x2599 -x2598
202.60/203.92 v -x2597 -x28 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581
202.60/203.92 v -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 x50 -x2574 -x2573 -x2572 -x43 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564
202.60/203.92 v -x35 -x2563 -x2562 -x32 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548
202.60/203.92 v -x13 -x2547 -x11 -x2546 -x2545 -x2544 -x2543 -x6 -x2542 -x2541 -x3 -x2540 -x1 -x2539 -x49 -x2538 -x48 -x2537 -x47 -x2536 -x46
202.60/203.92 v -x2535 -x45 -x2534 -x44 -x2533 -x42 -x2532 -x41 -x2531 -x40 -x2530 -x39 -x2529 -x38 -x2528 -x37 -x2527 -x36 -x2526 -x33 -x2525
202.60/203.92 v -x31 -x2524 -x30 -x2523 -x29 -x2522 -x27 -x2521 -x26 -x2520 -x25 -x2519 -x24 -x2518 -x23 -x2517 -x22 -x2516 -x21 -x2515
202.60/203.92 v -x20 -x2514 -x19 -x2513 -x18 -x2512 -x17 -x2511 -x16 -x2510 -x15 -x2509 -x14 -x2508 -x12 -x2507 -x10 -x2506 -x9 -x2505 -x8 -x2504
202.60/203.92 v -x7 -x2503 -x5 -x2502 -x4 -x2501 -x2
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 (60385 MiB free)
memory of node 1: 64510 MiB (61452 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464326-1722378684/watcher-4464326-1722378684 -o /tmp/evaluation-result-4464326-1722378684/solver-4464326-1722378684 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1722378594-30696 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464326-1722378684.opb -qsol -t 3600 -sth 1
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=31032, runsolver pid=31029
Current StackSize limit: 8192 KiB
[startup+0.100093 s]*
/proc/loadavg: 3.25 1.18 0.47 5/267 31033
/proc/meminfo: memFree=124723964/131524600 swapFree=131071996/131071996
[pid=31032] ppid=31029 vsize=60376 memory=48112 CPUtime=0.1 cores=0,2
/proc/31032/stat : 31032 (fscip) R 31029 31032 30686 0 -1 4194304 9893 0 0 0 9 1 0 0 20 0 1 0 4465809 61825024 12028 134679101440 4194304 16623229 140734757791200 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 45801472 140734757794838 140734757794954 140734757794954 140734757801968 0
/proc/31032/statm: 15094 12028 2347 3035 0 11490 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 60376 KiB
Current children cumulated memory: 48112 KiB
[startup+0.205723 s]*
/proc/loadavg: 3.25 1.18 0.47 5/267 31033
/proc/meminfo: memFree=124674760/131524600 swapFree=131071996/131071996
[pid=31032] ppid=31029 vsize=91448 memory=79100 CPUtime=0.2 cores=0,2
/proc/31032/stat : 31032 (fscip) R 31029 31032 30686 0 -1 4194304 17644 0 0 0 19 1 0 0 20 0 1 0 4465809 93642752 19775 134679101440 4194304 16623229 140734757791200 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 45801472 140734757794838 140734757794954 140734757794954 140734757801968 0
/proc/31032/statm: 22862 19775 2347 3035 0 19258 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 91448 KiB
Current children cumulated memory: 79100 KiB
[startup+0.305694 s]*
/proc/loadavg: 3.25 1.18 0.47 5/267 31033
/proc/meminfo: memFree=124599940/131524600 swapFree=131071996/131071996
[pid=31032] ppid=31029 vsize=118596 memory=106272 CPUtime=0.3 cores=0,2
/proc/31032/stat : 31032 (fscip) R 31029 31032 30686 0 -1 4194304 24433 0 0 0 28 2 0 0 20 0 1 0 4465809 121442304 26568 134679101440 4194304 16623229 140734757791200 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 45801472 140734757794838 140734757794954 140734757794954 140734757801968 0
/proc/31032/statm: 29649 26568 2347 3035 0 26045 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 118596 KiB
Current children cumulated memory: 106272 KiB
[startup+0.700231 s]
/proc/loadavg: 3.25 1.18 0.47 5/267 31033
/proc/meminfo: memFree=124539680/131524600 swapFree=131071996/131071996
[pid=31032] ppid=31029 vsize=232488 memory=219568 CPUtime=0.68 cores=0,2
/proc/31032/stat : 31032 (fscip) R 31029 31032 30686 0 -1 4194304 52286 0 0 0 62 6 0 0 20 0 1 0 4465809 238067712 54892 134679101440 4194304 16623229 140734757791200 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 45801472 140734757794838 140734757794954 140734757794954 140734757801968 0
/proc/31032/statm: 58122 54892 2347 3035 0 54518 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 232488 KiB
Current children cumulated memory: 219568 KiB
[startup+1.50022 s]
/proc/loadavg: 3.31 1.23 0.49 5/267 31033
/proc/meminfo: memFree=124180608/131524600 swapFree=131071996/131071996
[pid=31032] ppid=31029 vsize=454544 memory=441152 CPUtime=1.49 cores=0,2
/proc/31032/stat : 31032 (fscip) R 31029 31032 30686 0 -1 4194304 105638 0 0 0 134 15 0 0 20 0 1 0 4465809 465453056 110288 134679101440 4194304 16623229 140734757791200 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 45801472 140734757794838 140734757794954 140734757794954 140734757801968 0
/proc/31032/statm: 113636 110288 2347 3035 0 110032 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 454544 KiB
Current children cumulated memory: 441152 KiB
[startup+3.10567 s]
/proc/loadavg: 3.31 1.23 0.49 5/267 31033
/proc/meminfo: memFree=123570464/131524600 swapFree=131071996/131071996
[pid=31032] ppid=31029 vsize=878468 memory=863468 CPUtime=3.09 cores=0,2
/proc/31032/stat : 31032 (fscip) R 31029 31032 30686 0 -1 4194304 206126 0 0 0 280 29 0 0 20 0 1 0 4465809 899551232 215867 134679101440 4194304 16623229 140734757791200 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 45801472 140734757794838 140734757794954 140734757794954 140734757801968 0
/proc/31032/statm: 219617 215867 2347 3035 0 216013 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 878468 KiB
Current children cumulated memory: 863468 KiB
[startup+6.30018 s]
/proc/loadavg: 3.36 1.28 0.51 5/268 31036
/proc/meminfo: memFree=122390584/131524600 swapFree=131071996/131071996
[pid=31032] ppid=31029 vsize=2121280 memory=2104164 CPUtime=6.27 cores=0,2
/proc/31032/stat : 31032 (fscip) R 31029 31032 30686 0 -1 4194304 458861 0 0 0 554 73 0 0 20 0 1 0 4465809 2172190720 526041 134679101440 4194304 16623229 140734757791200 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 45801472 140734757794838 140734757794954 140734757794954 140734757801968 0
/proc/31032/statm: 530320 526041 2539 3035 0 526716 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2121280 KiB
Current children cumulated memory: 2104164 KiB
[startup+12.7002 s]
/proc/loadavg: 3.41 1.32 0.53 5/269 31037
/proc/meminfo: memFree=118623704/131524600 swapFree=131071996/131071996
[pid=31032] ppid=31029 vsize=4087156 memory=3953936 CPUtime=12.65 cores=0,2
/proc/31032/stat : 31032 (fscip) R 31029 31032 30686 0 -1 4194304 704631 0 0 0 1143 122 0 0 20 0 1 0 4465809 4185247744 988484 134679101440 4194304 16623229 140734757791200 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 45801472 140734757794838 140734757794954 140734757794954 140734757801968 0
/proc/31032/statm: 1021789 988484 2630 3035 0 1018185 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 4087156 KiB
Current children cumulated memory: 3953936 KiB
[startup+25.5002 s]
/proc/loadavg: 3.58 1.43 0.57 5/269 31038
/proc/meminfo: memFree=117617508/131524600 swapFree=131071996/131071996
[pid=31032] ppid=31029 vsize=4836396 memory=4759492 CPUtime=25.4 cores=0,2
/proc/31032/stat : 31032 (fscip) R 31029 31032 30686 0 -1 4194304 726803 0 0 0 2369 171 0 0 20 0 1 0 4465809 4952469504 1189873 134679101440 4194304 16623229 140734757791200 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 45801472 140734757794838 140734757794954 140734757794954 140734757801968 0
/proc/31032/statm: 1209099 1189873 2710 3035 0 1205495 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 4836396 KiB
Current children cumulated memory: 4759492 KiB
[startup+51.1058 s]
/proc/loadavg: 3.86 1.71 0.69 5/267 31089
/proc/meminfo: memFree=118781200/131524600 swapFree=131071996/131071996
[pid=31032] ppid=31029 vsize=4768888 memory=4708788 CPUtime=50.92 cores=0,2
/proc/31032/stat : 31032 (fscip) R 31029 31032 30686 0 -1 4194304 903074 0 0 0 4887 205 0 0 20 0 1 0 4465809 4883341312 1177197 134679101440 4194304 16623229 140734757791200 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 45801472 140734757794838 140734757794954 140734757794954 140734757801968 0
/proc/31032/statm: 1192222 1177197 2758 3035 0 1188618 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 4768888 KiB
Current children cumulated memory: 4708788 KiB
[startup+102.301 s]
/proc/loadavg: 3.98 2.08 0.88 5/268 31099
/proc/meminfo: memFree=115557224/131524600 swapFree=131071996/131071996
[pid=31032] ppid=31029 vsize=6840464 memory=6485748 CPUtime=101.92 cores=0,2
/proc/31032/stat : 31032 (fscip) S 31029 31032 30686 0 -1 1077936128 1343932 0 0 0 9893 299 0 0 20 0 2 0 4465809 7004635136 1621437 134679101440 4194304 16623229 140734757791200 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 45801472 140734757794838 140734757794954 140734757794954 140734757801968 0
/proc/31032/statm: 1710116 1621437 2774 3035 0 1690764 0
[pid=31032/tid=31098] ppid=31029 vsize=6840464 memory=5734568 CPUtime=1.6 cores=0,2
/proc/31032/task/31098/stat : 31098 (fscip) R 31029 31032 30686 0 -1 4194368 129491 0 0 0 140 20 0 0 20 0 2 0 4475407 7004635136 1621437 134679101440 4194304 16623229 140734757791200 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 45801472 140734757794838 140734757794954 140734757794954 140734757801968 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 6840464 KiB
Current children cumulated memory: 6485748 KiB
[startup+162.301 s]
/proc/loadavg: 4.08 2.46 1.08 5/270 31113
/proc/meminfo: memFree=105363824/131524600 swapFree=131071996/131071996
[pid=31032] ppid=31029 vsize=11182548 memory=10601740 CPUtime=161.38 cores=0,2
/proc/31032/stat : 31032 (fscip) S 31029 31032 30686 0 -1 1077936128 2302825 0 0 0 15649 489 0 0 20 0 3 0 4465809 11450929152 2650435 134679101440 4194304 16623229 140734757791200 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 45801472 140734757794838 140734757794954 140734757794954 140734757801968 0
/proc/31032/statm: 2795637 2650435 2790 3035 0 2732176 0
[pid=31032/tid=31098] ppid=31029 vsize=11182548 memory=10536124 CPUtime=61.04 cores=0,2
/proc/31032/task/31098/stat : 31098 (fscip) R 31029 31032 30686 0 -1 4194368 1088268 0 0 0 5895 209 0 0 20 0 3 0 4475407 11450929152 2650435 134679101440 4194304 16623229 140734757791200 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 45801472 140734757794838 140734757794954 140734757794954 140734757801968 0
[pid=31032/tid=31100] ppid=31029 vsize=11182548 memory=-5155625808431901573 CPUtime=0 cores=0,2
/proc/31032/task/31100/stat : 31100 (fscip) S 31029 31032 30686 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 4476241 11450929152 2650435 134679101440 4194304 16623229 140734757791200 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 45801472 140734757794838 140734757794954 140734757794954 140734757801968 0
Current children cumulated CPU time: 161.38 s
Current children cumulated vsize: 11182548 KiB
Current children cumulated memory: 10601740 KiB
[startup+204.067 s]
# the end of solver process 31032 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=196.261 s, system=6.51303 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+179.201 s]
/proc/loadavg: 4.06 2.53 1.13 5/270 31117
/proc/meminfo: memFree=104867616/131524600 swapFree=131071996/131071996
[pid=31032] ppid=31029 vsize=11861824 memory=11138228 CPUtime=178.11 cores=0,2
/proc/31032/stat : 31032 (fscip) S 31029 31032 30686 0 -1 1077936128 2631177 0 0 0 17292 519 0 0 20 0 3 0 4465809 12146507776 2784557 134679101440 4194304 16623229 140734757791200 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 45801472 140734757794838 140734757794954 140734757794954 140734757801968 0
/proc/31032/statm: 2965456 2784557 2790 3035 0 2901995 0
[pid=31032/tid=31098] ppid=31029 vsize=11861824 memory=10601740 CPUtime=77.79 cores=0,2
/proc/31032/task/31098/stat : 31098 (fscip) R 31029 31032 30686 0 -1 4194368 1416619 0 0 0 7539 240 0 0 20 0 3 0 4475407 12146507776 2784557 134679101440 4194304 16623229 140734757791200 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 45801472 140734757794838 140734757794954 140734757794954 140734757801968 0
[pid=31032/tid=31100] ppid=31029 vsize=11861824 memory=5560 CPUtime=0 cores=0,2
/proc/31032/task/31100/stat : 31100 (fscip) S 31029 31032 30686 0 -1 1077936192 15 0 0 0 0 0 0 0 20 0 3 0 4476241 12146507776 2784557 134679101440 4194304 16623229 140734757791200 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 45801472 140734757794838 140734757794954 140734757794954 140734757801968 0
Current children cumulated CPU time: 178.11 s
Current children cumulated vsize: 11861824 KiB
Current children cumulated memory: 11138228 KiB
[startup+192.001 s]*
/proc/loadavg: 4.12 2.62 1.18 5/270 31118
/proc/meminfo: memFree=104170264/131524600 swapFree=131071996/131071996
[pid=31032] ppid=31029 vsize=12582144 memory=11786924 CPUtime=190.79 cores=0,2
/proc/31032/stat : 31032 (fscip) S 31029 31032 30686 0 -1 1077936128 2959632 0 0 0 18531 548 0 0 20 0 3 0 4465809 12884115456 2946731 134679101440 4194304 16623229 140734757791200 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 45801472 140734757794838 140734757794954 140734757794954 140734757801968 0
/proc/31032/statm: 3145536 2946731 2838 3035 0 3087028 0
[pid=31032/tid=31098] ppid=31029 vsize=12582144 memory=2724 CPUtime=90.47 cores=0,2
/proc/31032/task/31098/stat : 31098 (fscip) R 31029 31032 30686 0 -1 4194368 1745071 0 0 0 8778 269 0 0 20 0 3 0 4475407 12884115456 2946731 134679101440 4194304 16623229 140734757791200 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 45801472 140734757794838 140734757794954 140734757794954 140734757801968 0
[pid=31032/tid=31100] ppid=31029 vsize=12582144 memory=4484 CPUtime=0 cores=0,2
/proc/31032/task/31100/stat : 31100 (fscip) S 31029 31032 30686 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 4476241 12884115456 2946731 134679101440 4194304 16623229 140734757791200 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 45801472 140734757794838 140734757794954 140734757794954 140734757801968 0
Current children cumulated CPU time: 190.79 s
Current children cumulated vsize: 12582144 KiB
Current children cumulated memory: 11786924 KiB
[startup+198.401 s]
/proc/loadavg: 4.11 2.65 1.20 5/270 31120
/proc/meminfo: memFree=103205544/131524600 swapFree=131071996/131071996
[pid=31032] ppid=31029 vsize=13521444 memory=12749528 CPUtime=197.14 cores=0,2
/proc/31032/stat : 31032 (fscip) S 31029 31032 30686 0 -1 1077936128 3311693 0 0 0 19114 600 0 0 20 0 3 0 4465809 13845958656 3187382 134679101440 4194304 16623229 140734757791200 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 45801472 140734757794838 140734757794954 140734757794954 140734757801968 0
/proc/31032/statm: 3380361 3187382 2966 3035 0 3311539 0
[pid=31032/tid=31098] ppid=31029 vsize=13521444 memory=12640 CPUtime=96.8 cores=0,2
/proc/31032/task/31098/stat : 31098 (fscip) R 31029 31032 30686 0 -1 4194368 2096420 0 0 0 9360 320 0 0 20 0 3 0 4475407 13845958656 3187382 134679101440 4194304 16623229 140734757791200 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 45801472 140734757794838 140734757794954 140734757794954 140734757801968 0
[pid=31032/tid=31100] ppid=31029 vsize=13521444 memory=12943020 CPUtime=0 cores=0,2
/proc/31032/task/31100/stat : 31100 (fscip) S 31029 31032 30686 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 3 0 4476241 13845958656 3187382 134679101440 4194304 16623229 140734757791200 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 45801472 140734757794838 140734757794954 140734757794954 140734757801968 0
Current children cumulated CPU time: 197.14 s
Current children cumulated vsize: 13521444 KiB
Current children cumulated memory: 12749528 KiB
[startup+201.6 s]
/proc/loadavg: 4.10 2.67 1.21 5/269 31120
/proc/meminfo: memFree=103686936/131524600 swapFree=131071996/131071996
[pid=31032] ppid=31029 vsize=9273488 memory=8807380 CPUtime=200.3 cores=0,2
/proc/31032/stat : 31032 (fscip) R 31029 31032 30686 0 -1 4194304 3620800 0 0 0 19411 619 0 0 20 0 1 0 4465809 9496051712 2201845 134679101440 4194304 16623229 140734757791200 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 45801472 140734757794838 140734757794954 140734757794954 140734757801968 0
/proc/31032/statm: 2318372 2201845 2966 3035 0 2276036 0
Current children cumulated CPU time: 200.3 s
Current children cumulated vsize: 9273488 KiB
Current children cumulated memory: 8807380 KiB
[startup+203.2 s]
/proc/loadavg: 4.10 2.67 1.21 5/268 31120
/proc/meminfo: memFree=107193888/131524600 swapFree=131071996/131071996
[pid=31032] ppid=31029 vsize=8986292 memory=8523596 CPUtime=201.9 cores=0,2
/proc/31032/stat : 31032 (fscip) R 31029 31032 30686 0 -1 4194304 3829829 0 0 0 19558 632 0 0 20 0 1 0 4465809 9201963008 2130899 134679101440 4194304 16623229 140734757791200 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 45801472 140734757794838 140734757794954 140734757794954 140734757801968 0
/proc/31032/statm: 2246573 2130899 2966 3035 0 2204237 0
Current children cumulated CPU time: 201.9 s
Current children cumulated vsize: 8986292 KiB
Current children cumulated memory: 8523596 KiB
[startup+203.6 s]
/proc/loadavg: 4.10 2.67 1.21 5/268 31120
/proc/meminfo: memFree=107193888/131524600 swapFree=131071996/131071996
[pid=31032] ppid=31029 vsize=8503772 memory=8039276 CPUtime=202.3 cores=0,2
/proc/31032/stat : 31032 (fscip) R 31029 31032 30686 0 -1 4194304 3834257 0 0 0 19596 634 0 0 20 0 1 0 4465809 8707862528 2010044 134679101440 4194304 16623229 140734757791200 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 45801472 140734757794838 140734757794954 140734757794954 140734757801968 0
/proc/31032/statm: 2125718 2010030 2966 3035 0 2083382 0
Current children cumulated CPU time: 202.3 s
Current children cumulated vsize: 8503772 KiB
Current children cumulated memory: 8039276 KiB
[startup+204 s]*
/proc/loadavg: 4.10 2.67 1.21 5/268 31120
/proc/meminfo: memFree=113075272/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 204.067
CPU time (s): 202.774
CPU user time (s): 196.261
CPU system time (s): 6.51303
CPU usage (%): 99.3666
Max. virtual memory (cumulated for all children) (KiB): 13727064
Max. memory (cumulated for all children) (KiB): 12977076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 196.261
system time used= 6.51303
maximum resident set size= 13055040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3842927
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= 180
involuntary context switches= 1986
# summary of solver processes directly reported to runsolver:
# pid: 31032
# total CPU time (s): 202.774
# total CPU user time (s): 196.261
# total CPU system time (s): 6.51303
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.390242 second user time and 0.984118 second system time
The end
Begin job on nodeC018 at 2024-07-31 00:31:24
IDJOB=4464326
IDBENCH=147881
IDSOLVER=3092
FILE ID=nodeC018/4464326-1722378684
RUNJOBID= nodeC018-1722378594-30696
SLURM_JOB_ID= 8249831
Free space on /tmp= 889848 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/normalized-dbst_v50_e1000_d25_mw10_5.opb.PB06.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464326-1722378684/watcher-4464326-1722378684 -o /tmp/evaluation-result-4464326-1722378684/solver-4464326-1722378684 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1722378594-30696 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464326-1722378684.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4be58baeb3b3d88d97a2715b6ac9c470
RANDOM SEED=1453536771
nodeC018.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 : 3658.731
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.92
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 : 3687.642
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.08
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 : 3677.986
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.92
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.010
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.08
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 : 3676.991
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.92
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 : 3687.645
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.08
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 : 3603.236
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.92
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 : 3600.169
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.08
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 124762136 kB
MemAvailable: 126378328 kB
Buffers: 93152 kB
Cached: 2341740 kB
SwapCached: 0 kB
Active: 301436 kB
Inactive: 5945360 kB
Active(anon): 1548 kB
Inactive(anon): 3831688 kB
Active(file): 299888 kB
Inactive(file): 2113672 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 179280 kB
Writeback: 4 kB
AnonPages: 3811808 kB
Mapped: 123184 kB
Shmem: 21336 kB
KReclaimable: 84556 kB
Slab: 169536 kB
SReclaimable: 84556 kB
SUnreclaim: 84980 kB
KernelStack: 4288 kB
PageTables: 16780 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 3841208 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 8512 kB
HardwareCorrupted: 0 kB
AnonHugePages: 954368 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: 148180 kB
DirectMap2M: 10110976 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 889768 MiB
End job on nodeC018 at 2024-07-31 00:34:48