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