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