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