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