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