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