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