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