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