Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2024-07-07 | SAT | -1190 | 3584.54 | 3597.42 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/ normalized-maxcut_opt_complete_6-partite_inlv_nvert_69.opb |
| MD5SUM | 1733aa67cc51115e0f42d9b93b5f287e |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -1190 |
| Best CPU time to get the best result obtained on this benchmark | 2067.2 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 2346 |
| Total number of constraints | 209576 |
| Number of constraints which are clauses | 209576 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 1983 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1983 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 1983 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4521134-1751557536.opb>
0.30/0.36 c original problem has 2346 variables (2346 bin, 0 int, 0 impl, 0 cont) and 209576 constraints
0.30/0.36 c problem read in 0.36
0.59/0.66 o 0
0.59/0.66 c feasible solution found by trivial heuristic after 0.7 seconds, objective value 0.000000e+00
0.59/0.66 c presolving:
1.08/1.15 c (1.1s) running MILP presolver
1.28/1.33 c (1.3s) MILP presolver found nothing
1.67/1.78 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 209576 upgd conss, 0 impls, 0 clqs
2.88/2.93 c (2.9s) probing: 51/2346 (2.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.88/2.93 c (2.9s) probing aborted: 50/50 successive totally useless probings
4.17/4.23 c (4.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
7.07/7.18 c (7.2s) symmetry computation finished: 65 generators found (max: 1500, log10 of symmetry group size: 50.0) (symcode time: 2.76)
7.07/7.18 c dynamic symmetry handling statistics:
7.07/7.18 c orbitopal reduction: no components
7.07/7.18 c orbital reduction: 1 components of sizes 65
7.07/7.18 c lexicographic reduction: 65 permutations with support sizes 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 1254, 1344, 134, 1254, 1344
7.07/7.18 c handled 1 out of 1 symmetry components
7.27/7.31 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
7.27/7.31 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
7.27/7.31 c 0 implications, 0 cliques
7.27/7.31 c presolved problem has 2346 variables (2346 bin, 0 int, 0 impl, 0 cont) and 209576 constraints
7.27/7.31 c 209576 constraints of type <logicor>
7.27/7.31 c transformed objective value is always integral (scale: 1)
7.27/7.31 c Presolving Time: 6.66
7.27/7.31 c - non default parameters ----------------------------------------------------------------------
7.27/7.31 c # SCIP version 10.0.0
7.27/7.31 c
7.27/7.31 c # maximal time in seconds to run
7.27/7.31 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
7.27/7.31 c limits/time = 3596.997016
7.27/7.31 c
7.27/7.31 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
7.27/7.31 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
7.27/7.31 c limits/memory = 27900
7.27/7.31 c
7.27/7.31 c # belongs reading time to solving time?
7.27/7.31 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
7.27/7.31 c timing/reading = TRUE
7.27/7.31 c
7.27/7.31 c -----------------------------------------------------------------------------------------------
7.27/7.31 c start solving
7.27/7.32 c transformed 1/1 original solutions to the transformed problem space
7.27/7.32 c
7.66/7.76 o -1082
7.66/7.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
7.66/7.76 c p 7.7s| 1 | 0 | 0 | - | locks| 0 |2346 | 209k| 209k| 0 | 0 | 0 | 0 |-1.983000e+03 |-1.082000e+03 | 83.27%| unknown
183.36/184.04 c 184s| 1 | 0 | 36197 | - | 960M | 0 |2346 | 209k| 209k| 0 | 0 | 0 | 0 |-1.322000e+03 |-1.082000e+03 | 22.18%| unknown
417.65/419.16 c 419s| 1 | 2 | 46213 | - | 1006M | 0 |2346 | 209k| 209k| 0 | 1 | 0 | 43 |-1.321837e+03 |-1.082000e+03 | 22.17%| unknown
1425.03/1430.18 o -1135
1425.03/1430.18 c *1430s| 7 | 6 |210861 |29110.7 | LP | 4 |2346 | 209k| 209k| 0 | 1 | 0 | 187 |-1.321645e+03 |-1.135000e+03 | 16.44%| unknown
1668.22/1674.29 o -1157
1668.22/1674.29 c *1674s| 9 | 6 |250525 |26791.0 | LP | 5 |2346 | 209k| 209k| 0 | 1 | 0 | 221 |-1.321645e+03 |-1.157000e+03 | 14.23%| 6.44%
1944.62/1951.65 o -1188
1944.62/1951.65 c *1952s| 11 | 6 |299339 |26314.2 | LP | 5 |2346 | 209k| 209k| 0 | 1 | 0 | 240 |-1.268748e+03 |-1.188000e+03 | 6.80%| 14.23%
2917.44/2927.94 o -1190
2917.44/2927.94 c *2928s| 27 | 6 |459849 |16294.3 | LP | 9 |2346 | 209k| 209k| 0 | 1 | 0 | 435 |-1.268716e+03 |-1.190000e+03 | 6.61%| 60.12%
3584.11/3597.01 c
3584.11/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3584.11/3597.01 c Solving Time (sec) : 3597.00
3584.11/3597.01 c Solving Nodes : 34
3584.11/3597.01 c Primal Bound : -1.19000000000000e+03 (6 solutions)
3584.11/3597.01 c Dual Bound : -1.25959094273164e+03
3584.11/3597.01 c Gap : 5.85 %
3584.11/3597.06 s SATISFIABLE
3584.11/3597.06 v -x2331 -x2324 -x2316 -x2307 -x2297 -x2286 -x2280 -x2274 -x2267 -x2261 -x2253 -x2247 -x2238 -x2232 -x2222 -x2216 -x2205 -x2199 -x2193
3584.11/3597.06 v -x2187 -x2181 -x2174 -x2168 -x2162 -x2154 -x2148 -x2142 -x2133 -x2127 -x2121 -x2111 -x2105 -x2099 -x2088 -x2082 -x2076
3584.11/3597.06 v -x2070 -x2064 -x2058 -x2052 -x2045 -x2039 -x2033 -x2027 -x2019 -x2013 -x2007 -x2001 -x1992 -x1986 -x1980 -x1974 -x1964 -x1958
3584.11/3597.06 v -x1952 -x1946 -x1935 -x1929 -x1923 -x1917 -x1911 -x1905 -x1899 -x1893 -x1887 -x1880 -x1874 -x1868 -x1862 -x1856 -x1848 -x1842
3584.11/3597.06 v -x1836 -x1830 -x1824 -x1815 -x1809 -x1803 -x1797 -x1791 -x1781 -x1775 -x1769 -x1763 -x1757 -x1746 -x1740 -x1734 -x1728 -x1722
3584.11/3597.06 v -x1716 -x1710 -x1704 -x1698 -x1692 -x1686 -x1679 -x1673 -x1667 -x1661 -x1655 -x1649 -x1641 -x1635 -x1629 -x1623 -x1617 -x1611
3584.11/3597.06 v -x1602 -x1596 -x1590 -x1584 -x1578 -x1572 -x1562 -x1556 -x1550 -x1544 -x1538 -x1532 -x1521 -x1515 -x1509 -x1503 -x1497 -x1491
3584.11/3597.06 v -x1485 -x1479 -x1473 -x1467 -x1461 -x1455 -x1449 -x1442 -x1436 -x1430 -x1424 -x1418 -x1412 -x1406 -x1398 -x1392 -x1386 -x1380
3584.11/3597.06 v -x1374 -x1368 -x1362 -x1353 -x1347 -x1341 -x1335 -x1329 -x1323 -x1317 -x1307 -x1301 -x1295 -x1289 -x1283 -x1277 -x1271
3584.11/3597.06 v -x1260 -x1254 -x1248 -x1242 -x1236 -x1230 -x1224 -x1218 -x1212 -x1206 -x1200 -x1194 -x1188 -x1182 -x1176 -x1169 -x1163 -x1157
3584.11/3597.06 v -x1151 -x1145 -x1139 -x1133 -x1127 -x1119 -x1113 -x1107 -x1101 -x1095 -x1089 -x1083 -x1077 -x1068 -x1062 -x1056 -x1050 -x1044
3584.11/3597.06 v -x1038 -x1032 -x1026 -x1016 -x1010 -x1004 -x998 -x992 -x986 -x980 -x974 -x963 -x957 -x951 -x945 -x939 -x933 -x927 -x921 -x915
3584.11/3597.06 v -x909 -x903 -x897 -x891 -x885 -x879 -x873 -x867 -x860 -x854 -x848 -x842 -x836 -x830 -x824 -x818 -x812 -x804 -x798 -x792 -x786
3584.11/3597.06 v -x780 -x774 -x768 -x762 -x756 -x747 -x741 -x735 -x729 -x723 -x717 -x711 -x705 -x699 -x689 -x683 -x677 -x671 -x665 -x659 -x653
3584.11/3597.06 v -x647 -x641 -x630 -x624 -x618 -x612 -x606 -x600 -x594 -x588 -x582 -x576 -x570 -x564 -x558 -x552 -x546 -x540 -x534 -x528
3584.11/3597.06 v -x522 -x515 -x509 -x503 -x497 -x491 -x485 -x479 -x473 -x467 -x461 -x453 -x447 -x441 -x435 -x429 -x423 -x417 -x411 -x405 -x399
3584.11/3597.06 v -x390 -x384 -x378 -x372 -x366 -x360 -x354 -x348 -x342 -x336 -x326 -x320 -x314 -x308 -x302 -x296 -x290 -x284 -x278 -x272 -x261
3584.11/3597.06 v -x255 -x249 -x243 -x237 -x231 -x225 -x219 -x213 -x207 -x201 -x195 -x189 -x183 -x177 -x171 -x165 -x159 -x153 -x147 -x141 -x134
3584.11/3597.06 v -x66 -x128 -x60 -x122 -x54 -x116 -x48 -x110 -x42 -x104 -x36 -x98 -x30 -x92 -x24 -x86 -x18 -x80 -x12 -x74 -x6 x2346 x2345 -x2344
3584.11/3597.06 v x2343 -x2342 -x2341 x2337 -x2340 x2339 x2338 x2333 -x2332 -x2336 x2335 x2334 x2328 -x2327 -x2326 x2330 x2329 -x2322 x2321
3584.11/3597.06 v x2320 x2325 x2319 -x2323 -x2315 x2314 x2313 x2318 x2312 -x2317 -x2311 x2306 x2305 x2310 x2304 -x2309 -x2303 -x2308 -x2302
3584.11/3597.06 v x2298 x2292 -x2296 -x2301 -x2295 x2300 x2294 x2299 x2293 x2288 x2282 -x2287 -x2281 -x2291 -x2285 x2290 x2284 x2289 x2283 x2277
3584.11/3597.06 v x2271 -x2276 -x2270 -x2275 -x2269 x2279 x2273 x2278 x2272 -x2265 -x2259 x2264 x2258 x2263 x2257 x2268 x2262 x2256 -x2266 -x2260
3584.11/3597.06 v -x2252 -x2246 x2251 x2245 x2250 x2244 x2255 x2249 x2243 -x2254 -x2248 -x2242 x2237 x2231 x2236 x2230 x2241 x2235 x2229 -x2240
3584.11/3597.06 v -x2234 -x2228 -x2239 -x2233 -x2227 x2223 x2217 x2211 -x2221 -x2215 -x2226 -x2220 -x2214 x2225 x2219 x2213 x2224 x2218 x2212
3584.11/3597.06 v x2207 x2201 x2195 -x2206 -x2200 -x2194 -x2210 -x2204 -x2198 x2209 x2203 x2197 x2208 x2202 x2196 x2190 x2184 x2178 -x2189
3584.11/3597.06 v -x2183 -x2177 -x2188 -x2182 -x2176 x2192 x2186 x2180 x2191 x2185 x2179 -x2172 -x2166 -x2160 x2171 x2165 x2159 x2170 x2164 x2158
3584.11/3597.06 v x2175 x2169 x2163 x2157 -x2173 -x2167 -x2161 -x2153 -x2147 -x2141 x2152 x2146 x2140 x2151 x2145 x2139 x2156 x2150 x2144 x2138
3584.11/3597.06 v -x2155 -x2149 -x2143 -x2137 x2132 x2126 x2120 x2131 x2125 x2119 x2136 x2130 x2124 x2118 -x2135 -x2129 -x2123 -x2117 -x2134
3584.11/3597.06 v -x2128 -x2122 -x2116 x2112 x2106 x2100 x2094 -x2110 -x2104 -x2098 -x2115 -x2109 -x2103 -x2097 x2114 x2108 x2102 x2096 x2113
3584.11/3597.06 v x2107 x2101 x2095 x2090 x2084 x2078 x2072 -x2089 -x2083 -x2077 -x2071 -x2093 -x2087 -x2081 -x2075 x2092 x2086 x2080 x2074 x2091
3584.11/3597.06 v x2085 x2079 x2073 x2067 x2061 x2055 x2049 -x2066 -x2060 -x2054 -x2048 -x2065 -x2059 -x2053 -x2047 x2069 x2063 x2057 x2051
3584.11/3597.06 v x2068 x2062 x2056 x2050 -x2043 -x2037 -x2031 -x2025 x2042 x2036 x2030 x2024 x2041 x2035 x2029 x2023 x2046 x2040 x2034 x2028
3584.11/3597.06 v x2022 -x2044 -x2038 -x2032 -x2026 -x2018 -x2012 -x2006 -x2000 x2017 x2011 x2005 x1999 x2016 x2010 x2004 x1998 x2021 x2015 x2009
3584.11/3597.06 v x2003 x1997 -x2020 -x2014 -x2008 -x2002 -x1996 x1991 x1985 x1979 x1973 x1990 x1984 x1978 x1972 x1995 x1989 x1983 x1977 x1971
3584.11/3597.06 v -x1994 -x1988 -x1982 -x1976 -x1970 -x1993 -x1987 -x1981 -x1975 -x1969 x1965 x1959 x1953 x1947 x1941 -x1963 -x1957 -x1951
3584.11/3597.06 v -x1945 -x1968 -x1962 -x1956 -x1950 -x1944 x1967 x1961 x1955 x1949 x1943 x1966 x1960 x1954 x1948 x1942 x1937 x1931 x1925 x1919
3584.11/3597.06 v x1913 -x1936 -x1930 -x1924 -x1918 -x1912 -x1940 -x1934 -x1928 -x1922 -x1916 x1939 x1933 x1927 x1921 x1915 x1938 x1932 x1926
3584.11/3597.06 v x1920 x1914 x1908 x1902 x1896 x1890 x1884 -x1907 -x1901 -x1895 -x1889 -x1883 -x1906 -x1900 -x1894 -x1888 -x1882 x1910 x1904 x1898
3584.11/3597.06 v x1892 x1886 x1909 x1903 x1897 x1891 x1885 -x1878 -x1872 -x1866 -x1860 -x1854 x1877 x1871 x1865 x1859 x1853 x1876 x1870 x1864
3584.11/3597.06 v x1858 x1852 x1881 x1875 x1869 x1863 x1857 x1851 -x1879 -x1873 -x1867 -x1861 -x1855 -x1847 -x1841 -x1835 -x1829 -x1823 x1846
3584.11/3597.06 v x1840 x1834 x1828 x1822 x1845 x1839 x1833 x1827 x1821 x1850 x1844 x1838 x1832 x1826 x1820 -x1849 -x1843 -x1837 -x1831 -x1825
3584.11/3597.06 v -x1819 x1814 x1808 x1802 x1796 x1790 x1813 x1807 x1801 x1795 x1789 x1818 x1812 x1806 x1800 x1794 x1788 -x1817 -x1811 -x1805
3584.11/3597.06 v -x1799 -x1793 -x1787 -x1816 -x1810 -x1804 -x1798 -x1792 -x1786 x1782 x1776 x1770 x1764 x1758 x1752 -x1780 -x1774 -x1768 -x1762
3584.11/3597.06 v -x1756 -x1785 -x1779 -x1773 -x1767 -x1761 -x1755 x1784 x1778 x1772 x1766 x1760 x1754 x1783 x1777 x1771 x1765 x1759 x1753
3584.11/3597.06 v x1748 x1742 x1736 x1730 x1724 x1718 -x1747 -x1741 -x1735 -x1729 -x1723 -x1717 -x1751 -x1745 -x1739 -x1733 -x1727 -x1721 x1750
3584.11/3597.06 v x1744 x1738 x1732 x1726 x1720 x1749 x1743 x1737 x1731 x1725 x1719 x1713 x1707 x1701 x1695 x1689 x1683 -x1712 -x1706 -x1700
3584.11/3597.06 v -x1694 -x1688 -x1682 -x1711 -x1705 -x1699 -x1693 -x1687 -x1681 x1715 x1709 x1703 x1697 x1691 x1685 x1714 x1708 x1702 x1696 x1690
3584.11/3597.06 v x1684 -x1677 -x1671 -x1665 -x1659 -x1653 -x1647 x1676 x1670 x1664 x1658 x1652 x1646 x1675 x1669 x1663 x1657 x1651 x1645 x1680
3584.11/3597.06 v x1674 x1668 x1662 x1656 x1650 x1644 -x1678 -x1672 -x1666 -x1660 -x1654 -x1648 -x1640 -x1634 -x1628 -x1622 -x1616 -x1610
3584.11/3597.06 v x1639 x1633 x1627 x1621 x1615 x1609 x1638 x1632 x1626 x1620 x1614 x1608 x1643 x1637 x1631 x1625 x1619 x1613 x1607 -x1642 -x1636
3584.11/3597.06 v -x1630 -x1624 -x1618 -x1612 -x1606 x1601 x1595 x1589 x1583 x1577 x1571 x1600 x1594 x1588 x1582 x1576 x1570 x1605 x1599 x1593
3584.11/3597.06 v x1587 x1581 x1575 x1569 -x1604 -x1598 -x1592 -x1586 -x1580 -x1574 -x1568 -x1603 -x1597 -x1591 -x1585 -x1579 -x1573 -x1567
3584.11/3597.06 v x1563 x1557 x1551 x1545 x1539 x1533 x1527 -x1561 -x1555 -x1549 -x1543 -x1537 -x1531 -x1566 -x1560 -x1554 -x1548 -x1542 -x1536
3584.11/3597.06 v -x1530 x1565 x1559 x1553 x1547 x1541 x1535 x1529 x1564 x1558 x1552 x1546 x1540 x1534 x1528 x1523 x1517 x1511 x1505 x1499 x1493
3584.11/3597.06 v x1487 -x1522 -x1516 -x1510 -x1504 -x1498 -x1492 -x1486 -x1526 -x1520 -x1514 -x1508 -x1502 -x1496 -x1490 x1525 x1519 x1513
3584.11/3597.06 v x1507 x1501 x1495 x1489 x1524 x1518 x1512 x1506 x1500 x1494 x1488 x1482 x1476 x1470 x1464 x1458 x1452 x1446 -x1481 -x1475 -x1469
3584.11/3597.06 v -x1463 -x1457 -x1451 -x1445 -x1480 -x1474 -x1468 -x1462 -x1456 -x1450 -x1444 x1484 x1478 x1472 x1466 x1460 x1454 x1448 x1483
3584.11/3597.06 v x1477 x1471 x1465 x1459 x1453 x1447 -x1440 -x1434 -x1428 -x1422 -x1416 -x1410 -x1404 x1439 x1433 x1427 x1421 x1415 x1409
3584.11/3597.06 v x1403 x1438 x1432 x1426 x1420 x1414 x1408 x1402 x1443 x1437 x1431 x1425 x1419 x1413 x1407 x1401 -x1441 -x1435 -x1429 -x1423 -x1417
3584.11/3597.06 v -x1411 -x1405 -x1397 -x1391 -x1385 -x1379 -x1373 -x1367 -x1361 x1396 x1390 x1384 x1378 x1372 x1366 x1360 x1395 x1389 x1383
3584.11/3597.06 v x1377 x1371 x1365 x1359 x1400 x1394 x1388 x1382 x1376 x1370 x1364 x1358 -x1399 -x1393 -x1387 -x1381 -x1375 -x1369 -x1363
3584.11/3597.06 v -x1357 x1352 x1346 x1340 x1334 x1328 x1322 x1316 x1351 x1345 x1339 x1333 x1327 x1321 x1315 x1356 x1350 x1344 x1338 x1332 x1326
3584.11/3597.06 v x1320 x1314 -x1355 -x1349 -x1343 -x1337 -x1331 -x1325 -x1319 -x1313 -x1354 -x1348 -x1342 -x1336 -x1330 -x1324 -x1318 -x1312
3584.11/3597.06 v x1308 x1302 x1296 x1290 x1284 x1278 x1272 x1266 -x1306 -x1300 -x1294 -x1288 -x1282 -x1276 -x1270 -x1311 -x1305 -x1299 -x1293
3584.11/3597.06 v -x1287 -x1281 -x1275 -x1269 x1310 x1304 x1298 x1292 x1286 x1280 x1274 x1268 x1309 x1303 x1297 x1291 x1285 x1279 x1273 x1267
3584.11/3597.06 v x1262 x1256 x1250 x1244 x1238 x1232 x1226 x1220 -x1261 -x1255 -x1249 -x1243 -x1237 -x1231 -x1225 -x1219 -x1265 -x1259 -x1253
3584.11/3597.06 v -x1247 -x1241 -x1235 -x1229 -x1223 x1264 x1258 x1252 x1246 x1240 x1234 x1228 x1222 x1263 x1257 x1251 x1245 x1239 x1233 x1227
3584.11/3597.06 v x1221 x1215 x1209 x1203 x1197 x1191 x1185 x1179 x1173 -x1214 -x1208 -x1202 -x1196 -x1190 -x1184 -x1178 -x1172 -x1213 -x1207 -x1201
3584.11/3597.06 v -x1195 -x1189 -x1183 -x1177 -x1171 x1217 x1211 x1205 x1199 x1193 x1187 x1181 x1175 x1216 x1210 x1204 x1198 x1192 x1186
3584.11/3597.06 v x1180 x1174 -x1167 -x1161 -x1155 -x1149 -x1143 -x1137 -x1131 -x1125 x1166 x1160 x1154 x1148 x1142 x1136 x1130 x1124 x1165 x1159
3584.11/3597.06 v x1153 x1147 x1141 x1135 x1129 x1123 x1170 x1164 x1158 x1152 x1146 x1140 x1134 x1128 x1122 -x1168 -x1162 -x1156 -x1150 -x1144
3584.11/3597.06 v -x1138 -x1132 -x1126 -x1118 -x1112 -x1106 -x1100 -x1094 -x1088 -x1082 -x1076 x1117 x1111 x1105 x1099 x1093 x1087 x1081 x1075
3584.11/3597.06 v x1116 x1110 x1104 x1098 x1092 x1086 x1080 x1074 x1121 x1115 x1109 x1103 x1097 x1091 x1085 x1079 x1073 -x1120 -x1114 -x1108
3584.11/3597.06 v -x1102 -x1096 -x1090 -x1084 -x1078 -x1072 x1067 x1061 x1055 x1049 x1043 x1037 x1031 x1025 x1066 x1060 x1054 x1048 x1042 x1036
3584.11/3597.06 v x1030 x1024 x1071 x1065 x1059 x1053 x1047 x1041 x1035 x1029 x1023 -x1070 -x1064 -x1058 -x1052 -x1046 -x1040 -x1034 -x1028 -x1022
3584.11/3597.06 v -x1069 -x1063 -x1057 -x1051 -x1045 -x1039 -x1033 -x1027 -x1021 x1017 x1011 x1005 x999 x993 x987 x981 x975 x969 -x1015 -x1009
3584.11/3597.06 v -x1003 -x997 -x991 -x985 -x979 -x973 -x1020 -x1014 -x1008 -x1002 -x996 -x990 -x984 -x978 -x972 x1019 x1013 x1007 x1001
3584.11/3597.06 v x995 x989 x983 x977 x971 x1018 x1012 x1006 x1000 x994 x988 x982 x976 x970 x965 x959 x953 x947 x941 x935 x929 x923 x917 -x964
3584.11/3597.06 v -x958 -x952 -x946 -x940 -x934 -x928 -x922 -x916 -x968 -x962 -x956 -x950 -x944 -x938 -x932 -x926 -x920 x967 x961 x955 x949 x943
3584.11/3597.06 v x937 x931 x925 x919 x966 x960 x954 x948 x942 x936 x930 x924 x918 x912 x906 x900 x894 x888 x882 x876 x870 x864 -x911 -x905 -x899
3584.11/3597.06 v -x893 -x887 -x881 -x875 -x869 -x863 -x910 -x904 -x898 -x892 -x886 -x880 -x874 -x868 -x862 x914 x908 x902 x896 x890 x884
3584.11/3597.06 v x878 x872 x866 x913 x907 x901 x895 x889 x883 x877 x871 x865 -x858 -x852 -x846 -x840 -x834 -x828 -x822 -x816 -x810 x857 x851 x845
3584.11/3597.06 v x839 x833 x827 x821 x815 x809 x856 x850 x844 x838 x832 x826 x820 x814 x808 x861 x855 x849 x843 x837 x831 x825 x819 x813 x807
3584.11/3597.06 v -x859 -x853 -x847 -x841 -x835 -x829 -x823 -x817 -x811 -x803 -x797 -x791 -x785 -x779 -x773 -x767 -x761 -x755 x802 x796 x790
3584.11/3597.06 v x784 x778 x772 x766 x760 x754 x801 x795 x789 x783 x777 x771 x765 x759 x753 x806 x800 x794 x788 x782 x776 x770 x764 x758 x752
3584.11/3597.06 v -x805 -x799 -x793 -x787 -x781 -x775 -x769 -x763 -x757 -x751 x746 x740 x734 x728 x722 x716 x710 x704 x698 x745 x739 x733 x727
3584.11/3597.06 v x721 x715 x709 x703 x697 x750 x744 x738 x732 x726 x720 x714 x708 x702 x696 -x749 -x743 -x737 -x731 -x725 -x719 -x713 -x707
3584.11/3597.06 v -x701 -x695 -x748 -x742 -x736 -x730 -x724 -x718 -x712 -x706 -x700 -x694 x690 x684 x678 x672 x666 x660 x654 x648 x642 x636 -x688
3584.11/3597.06 v -x682 -x676 -x670 -x664 -x658 -x652 -x646 -x640 -x693 -x687 -x681 -x675 -x669 -x663 -x657 -x651 -x645 -x639 x692 x686 x680
3584.11/3597.06 v x674 x668 x662 x656 x650 x644 x638 x691 x685 x679 x673 x667 x661 x655 x649 x643 x637 x632 x626 x620 x614 x608 x602 x596 x590
3584.11/3597.06 v x584 x578 -x631 -x625 -x619 -x613 -x607 -x601 -x595 -x589 -x583 -x577 -x635 -x629 -x623 -x617 -x611 -x605 -x599 -x593 -x587
3584.11/3597.06 v -x581 x634 x628 x622 x616 x610 x604 x598 x592 x586 x580 x633 x627 x621 x615 x609 x603 x597 x591 x585 x579 x573 x567 x561 x555
3584.11/3597.06 v x549 x543 x537 x531 x525 x519 -x572 -x566 -x560 -x554 -x548 -x542 -x536 -x530 -x524 -x518 -x571 -x565 -x559 -x553 -x547 -x541
3584.11/3597.06 v -x535 -x529 -x523 -x517 x575 x569 x563 x557 x551 x545 x539 x533 x527 x521 x574 x568 x562 x556 x550 x544 x538 x532 x526 x520
3584.11/3597.06 v -x513 -x507 -x501 -x495 -x489 -x483 -x477 -x471 -x465 -x459 x512 x506 x500 x494 x488 x482 x476 x470 x464 x458 x511 x505 x499
3584.11/3597.06 v x493 x487 x481 x475 x469 x463 x457 x516 x510 x504 x498 x492 x486 x480 x474 x468 x462 x456 -x514 -x508 -x502 -x496 -x490 -x484
3584.11/3597.06 v -x478 -x472 -x466 -x460 -x452 -x446 -x440 -x434 -x428 -x422 -x416 -x410 -x404 -x398 x451 x445 x439 x433 x427 x421 x415 x409
3584.11/3597.06 v x403 x397 x450 x444 x438 x432 x426 x420 x414 x408 x402 x396 x455 x449 x443 x437 x431 x425 x419 x413 x407 x401 x395 -x454 -x448
3584.11/3597.06 v -x442 -x436 -x430 -x424 -x418 -x412 -x406 -x400 -x394 x389 x383 x377 x371 x365 x359 x353 x347 x341 x335 x388 x382 x376 x370
3584.11/3597.06 v x364 x358 x352 x346 x340 x334 x393 x387 x381 x375 x369 x363 x357 x351 x345 x339 x333 -x392 -x386 -x380 -x374 -x368 -x362 -x356
3584.11/3597.06 v -x350 -x344 -x338 -x332 -x391 -x385 -x379 -x373 -x367 -x361 -x355 -x349 -x343 -x337 -x331 x327 x321 x315 x309 x303 x297 x291
3584.11/3597.06 v x285 x279 x273 x267 -x325 -x319 -x313 -x307 -x301 -x295 -x289 -x283 -x277 -x271 -x330 -x324 -x318 -x312 -x306 -x300 -x294
3584.11/3597.06 v -x288 -x282 -x276 -x270 x329 x323 x317 x311 x305 x299 x293 x287 x281 x275 x269 x328 x322 x316 x310 x304 x298 x292 x286 x280
3584.11/3597.06 v x274 x268 x263 x257 x251 x245 x239 x233 x227 x221 x215 x209 x203 -x262 -x256 -x250 -x244 -x238 -x232 -x226 -x220 -x214 -x208
3584.11/3597.06 v -x202 -x266 -x260 -x254 -x248 -x242 -x236 -x230 -x224 -x218 -x212 -x206 x265 x259 x253 x247 x241 x235 x229 x223 x217 x211 x205
3584.11/3597.06 v x264 x258 x252 x246 x240 x234 x228 x222 x216 x210 x204 x198 x192 x186 x180 x174 x168 x162 x156 x150 x144 x138 -x197 -x191 -x185
3584.11/3597.06 v -x179 -x173 -x167 -x161 -x155 -x149 -x143 -x137 -x196 -x190 -x184 -x178 -x172 -x166 -x160 -x154 -x148 -x142 -x136 x200 x194
3584.11/3597.06 v x188 x182 x176 x170 x164 x158 x152 x146 x140 x199 x193 x187 x181 x175 x169 x163 x157 x151 x145 x139 -x132 -x126 -x120 -x114
3584.11/3597.06 v -x108 -x102 -x96 -x90 -x84 -x78 -x72 x131 x125 x119 x113 x107 x101 x95 x89 x83 x77 x71 x130 x124 x118 x112 x106 x100 x94 x88
3584.11/3597.06 v x82 x76 x70 x135 x129 x123 x117 x111 x105 x99 x93 x87 x81 x75 x69 -x133 -x127 -x121 -x115 -x109 -x103 -x97 -x91 -x85 -x79
3584.11/3597.06 v -x73 -x65 -x59 -x53 -x47 -x41 -x35 -x29 -x23 -x17 -x11 -x5 x64 x58 x52 x46 x40 x34 x28 x22 x16 x10 x4 x63 x57 x51 x45 x39 x33
3584.11/3597.06 v x27 x21 x15 x9 x3 x68 x62 x56 x50 x44 x38 x32 x26 x20 x14 x8 x2 -x67 -x61 -x55 -x49 -x43 -x37 -x31 -x25 -x19 -x13 -x7 -x1
3584.11/3597.06 c SCIP Status : solving was interrupted [time limit reached]
3584.11/3597.06 c Total Time : 3597.00
3584.11/3597.06 c solving : 3597.00
3584.11/3597.06 c presolving : 6.66 (included in solving)
3584.11/3597.06 c reading : 0.36 (included in solving)
3584.11/3597.06 c copying : 0.30 (1 #copies) (minimal 0.30, maximal 0.30, average 0.30)
3584.11/3597.06 c Original Problem :
3584.11/3597.06 c Problem name : HOME/instance-4521134-1751557536.opb
3584.11/3597.06 c Variables : 2346 (2346 binary, 0 integer, 0 implicit integer, 0 continuous)
3584.11/3597.06 c Constraints : 209576 initial, 209576 maximal
3584.11/3597.06 c Objective : minimize, 1983 non-zeros (abs.min = 1, abs.max = 1)
3584.11/3597.06 c Presolved Problem :
3584.11/3597.06 c Problem name : t_HOME/instance-4521134-1751557536.opb
3584.11/3597.06 c Variables : 2346 (2346 binary, 0 integer, 0 implicit integer, 0 continuous)
3584.11/3597.06 c Constraints : 209576 initial, 209576 maximal
3584.11/3597.06 c Objective : minimize, 1983 non-zeros (abs.min = 1, abs.max = 1)
3584.11/3597.06 c Nonzeros : 628728 constraint, 0 clique table
3584.11/3597.06 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3584.11/3597.06 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.11/3597.06 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.11/3597.06 c domcol : 0.09 0.00 1 0 0 0 0 0 0 0 0 0
3584.11/3597.06 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.11/3597.06 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.11/3597.06 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.11/3597.06 c dualsparsify : 1.29 0.00 1 0 0 0 0 0 0 0 0 0
3584.11/3597.06 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.11/3597.06 c implics : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3584.11/3597.06 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.11/3597.06 c milp : 0.47 0.00 1 0 0 0 0 0 0 0 0 0
3584.11/3597.06 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.11/3597.06 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.11/3597.06 c sparsify : 0.16 0.00 1 0 0 0 0 0 0 0 0 0
3584.11/3597.06 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.11/3597.06 c trivial : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3584.11/3597.06 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.11/3597.06 c dualfix : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3584.11/3597.06 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.11/3597.06 c probing : 0.05 0.00 1 0 0 0 0 0 0 0 0 0
3584.11/3597.06 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3584.11/3597.06 c symmetry : 2.96 0.00 1 0 0 0 0 0 0 0 0 0
3584.11/3597.06 c vbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.11/3597.06 c linear : 0.55 0.08 2 0 0 0 0 0 0 0 0 0
3584.11/3597.06 c logicor : 0.85 0.07 3 0 0 0 0 0 0 0 0 0
3584.11/3597.06 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.11/3597.06 c components : 0.05 0.00 1 0 0 0 0 0 0 0 0 0
3584.11/3597.06 c root node : - - - 3 - - 3 - - - - -
3584.11/3597.06 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3584.11/3597.06 c benderslp : 0 0 0 0 25 0 0 11 0 0 0 0 0 0 0
3584.11/3597.06 c integral : 0 0 0 0 25 0 0 11 0 0 0 0 0 0 42
3584.11/3597.06 c logicor : 209576 209576 1 1912 4 0 0 5 0 0 2750 0 0 0 0
3584.11/3597.06 c benders : 0 0 0 0 4 0 0 5 0 0 0 0 0 0 0
3584.11/3597.06 c fixedvar : 0 0 0 0 4 0 0 5 0 0 0 0 0 0 0
3584.11/3597.06 c countsols : 0 0 0 0 4 0 0 5 0 0 0 0 0 0 0
3584.11/3597.06 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3584.11/3597.06 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3584.11/3597.06 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.11/3597.06 c integral : 1231.71 0.00 0.00 0.00 1231.71 0.00 0.00 0.00 0.00 0.00
3584.11/3597.06 c logicor : 0.92 0.07 0.16 0.44 0.05 0.00 0.00 0.02 0.00 0.19
3584.11/3597.06 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.11/3597.06 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.11/3597.06 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.11/3597.06 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.11/3597.06 c Propagators : #Propagate #ResProp Cutoffs DomReds
3584.11/3597.06 c dualfix : 2 0 0 0
3584.11/3597.06 c genvbounds : 0 0 0 0
3584.11/3597.06 c nlobbt : 0 0 0 0
3584.11/3597.06 c obbt : 0 0 0 0
3584.11/3597.06 c probing : 0 0 0 0
3584.11/3597.06 c pseudoobj : 101 0 0 0
3584.11/3597.06 c redcost : 2 0 0 0
3584.11/3597.06 c rootredcost : 0 0 0 0
3584.11/3597.06 c symmetry : 1656 0 0 2573
3584.11/3597.06 c vbounds : 0 0 0 0
3584.11/3597.06 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3584.11/3597.06 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3584.11/3597.06 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3584.11/3597.06 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3584.11/3597.06 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3584.11/3597.06 c probing : 0.05 0.00 0.05 0.00 0.00 0.00
3584.11/3597.06 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
3584.11/3597.06 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
3584.11/3597.06 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
3584.11/3597.06 c symmetry : 3.05 0.00 2.96 0.06 0.00 0.04
3584.11/3597.06 c vbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3584.11/3597.06 c Symmetry :
3584.11/3597.06 c orbitopal red. : 0 reductions applied, 0 cutoffs
3584.11/3597.06 c orbital reduction: 2572 reductions applied, 0 cutoffs
3584.11/3597.06 c lexicographic red: 8 reductions applied, 0 cutoffs
3584.11/3597.06 c shadow tree time : 0.00 s
3584.11/3597.06 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [--,--])
3584.11/3597.06 c propagation : 0.00 0 0 - 0 0.0 0 0.0 - - -
3584.11/3597.06 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3584.11/3597.06 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3584.11/3597.06 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3584.11/3597.06 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3584.11/3597.06 c applied globally : 0.00 - - 0 0 0.0 - - 0 - -
3584.11/3597.06 c applied locally : - - - 0 0 0.0 - - 0 - -
3584.11/3597.06 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3584.11/3597.06 c cut pool : 0.00 - 0 0 - - 0 0 - - - - - (maximal pool size: 0)
3584.11/3597.06 c aggregation : 0.03 0.00 1 1 0 0 0 0 0 0 0 0 0
3584.11/3597.06 c > cmir : - - - - - - - 0 0 0 0 0 -
3584.11/3597.06 c > flowcover : - - - - - - - 0 0 0 0 0 -
3584.11/3597.06 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3584.11/3597.06 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.11/3597.06 c clique : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
3584.11/3597.06 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.11/3597.06 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.11/3597.06 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.11/3597.06 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.11/3597.06 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.11/3597.06 c gomory : 71.45 0.00 1 1 0 0 0 0 0 0 0 0 0
3584.11/3597.06 c > gomorymi : - - - - - - - 0 0 0 0 0 -
3584.11/3597.06 c > strongcg : - - - - - - - 0 0 0 0 0 -
3584.11/3597.06 c impliedbounds : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
3584.11/3597.06 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.11/3597.06 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.11/3597.06 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.11/3597.06 c mcf : 0.09 0.00 1 1 0 0 0 0 0 0 0 0 0
3584.11/3597.06 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.11/3597.06 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.11/3597.06 c multilinear : 0.00 0.00 6 1 0 0 0 0 0 0 0 0 0
3584.11/3597.06 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.11/3597.06 c rapidlearning : 0.02 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.11/3597.06 c rlt : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
3584.11/3597.06 c zerohalf : 0.30 0.00 1 1 0 0 0 0 0 0 0 0 0
3584.11/3597.06 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3584.11/3597.06 c hybrid : 0.00 0.00 0 0 0 0 0 0 0 0
3584.11/3597.06 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3584.11/3597.06 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3584.11/3597.06 c Pricers : ExecTime SetupTime Calls Vars
3584.11/3597.06 c problem variables: 0.00 - 0 0
3584.11/3597.06 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3584.11/3597.06 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3584.11/3597.06 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3584.11/3597.06 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3584.11/3597.06 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3584.11/3597.06 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3584.11/3597.06 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3584.11/3597.06 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3584.11/3597.06 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3584.11/3597.06 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3584.11/3597.06 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3584.11/3597.06 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3584.11/3597.06 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3584.11/3597.06 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3584.11/3597.06 c relpscost : 1231.71 0.00 21 0 0 0 0 0 0 42
3584.11/3597.06 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3584.11/3597.06 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3584.11/3597.06 c LP solutions : 0.00 - - 4 4
3584.11/3597.06 c relax solutions : 0.00 - - 0 0
3584.11/3597.06 c pseudo solutions : 0.00 - - 0 0
3584.11/3597.06 c strong branching : 0.00 - - 0 0
3584.11/3597.06 c actconsdiving : 0.00 0.00 0 0 0
3584.11/3597.06 c adaptivediving : 0.00 0.00 0 0 0
3584.11/3597.06 c alns : 0.76 0.00 1 0 0
3584.11/3597.06 c bound : 0.00 0.00 0 0 0
3584.11/3597.06 c clique : 0.00 0.00 0 0 0
3584.11/3597.06 c coefdiving : 0.00 0.00 0 0 0
3584.11/3597.06 c completesol : 0.00 0.00 0 0 0
3584.11/3597.06 c conflictdiving : 0.00 0.00 0 0 0
3584.11/3597.06 c crossover : 0.00 0.00 0 0 0
3584.11/3597.06 c dins : 0.00 0.00 0 0 0
3584.11/3597.06 c distributiondivin: 0.03 0.00 0 0 0
3584.11/3597.06 c dps : 0.00 0.00 0 0 0
3584.11/3597.06 c dualval : 0.00 0.00 0 0 0
3584.11/3597.06 c farkasdiving : 0.00 0.00 0 0 0
3584.11/3597.06 c feasjump : 0.00 0.00 0 0 0
3584.11/3597.06 c feaspump : 46.38 0.00 1 0 0
3584.11/3597.06 c fixandinfer : 0.00 0.00 0 0 0
3584.11/3597.06 c fracdiving : 0.00 0.00 0 0 0
3584.11/3597.06 c gins : 0.00 0.00 0 0 0
3584.11/3597.06 c guideddiving : 0.00 0.00 0 0 0
3584.11/3597.06 c indcoefdiving : 0.00 0.00 0 0 0
3584.11/3597.06 c indicator : 0.00 0.00 0 0 0
3584.11/3597.06 c indicatordiving : 0.00 0.00 0 0 0
3584.11/3597.06 c indoneopt : 0.00 0.00 0 0 0
3584.11/3597.06 c indrounding : 0.00 0.00 0 0 0
3584.11/3597.06 c indtwoopt : 0.00 0.00 0 0 0
3584.11/3597.06 c intdiving : 0.00 0.00 0 0 0
3584.11/3597.06 c intshifting : 0.00 0.00 0 0 0
3584.11/3597.06 c linesearchdiving : 0.00 0.00 0 0 0
3584.11/3597.06 c localbranching : 0.00 0.00 0 0 0
3584.11/3597.06 c locks : 0.46 0.00 1 1 1
3584.11/3597.06 c lpface : 0.00 0.00 0 0 0
3584.11/3597.06 c mpec : 0.00 0.00 0 0 0
3584.11/3597.06 c multistart : 0.00 0.00 0 0 0
3584.11/3597.06 c mutation : 0.00 0.00 0 0 0
3584.11/3597.06 c nlpdiving : 0.00 0.00 0 0 0
3584.11/3597.06 c objpscostdiving : 0.00 0.00 0 0 0
3584.11/3597.06 c octane : 0.00 0.00 0 0 0
3584.11/3597.06 c ofins : 0.00 0.00 0 0 0
3584.11/3597.06 c oneopt : 0.07 0.00 5 0 0
3584.11/3597.06 c padm : 0.00 0.00 0 0 0
3584.11/3597.06 c proximity : 0.00 0.00 0 0 0
3584.11/3597.06 c pscostdiving : 0.00 0.00 0 0 0
3584.11/3597.06 c randrounding : 0.15 0.00 1 0 0
3584.11/3597.06 c rens : 0.00 0.00 0 0 0
3584.11/3597.06 c reoptsols : 0.00 0.00 0 0 0
3584.11/3597.06 c repair : 0.00 0.00 0 0 0
3584.11/3597.06 c rins : 0.00 0.00 0 0 0
3584.11/3597.06 c rootsoldiving : 0.00 0.00 0 0 0
3584.11/3597.06 c rounding : 0.50 0.00 21 0 0
3584.11/3597.06 c scheduler : 0.00 0.00 0 0 0
3584.11/3597.06 c shiftandpropagate: 0.00 0.00 0 0 0
3584.11/3597.06 c shifting : 0.13 0.00 1 0 0
3584.11/3597.06 c simplerounding : 0.00 0.00 0 0 0
3584.11/3597.06 c smallcard : 0.00 0.00 0 0 0
3584.11/3597.06 c subnlp : 0.00 0.00 0 0 0
3584.11/3597.06 c trivial : 0.01 0.00 2 1 1
3584.11/3597.06 c trivialnegation : 0.00 0.00 0 0 0
3584.11/3597.06 c trustregion : 0.00 0.00 0 0 0
3584.11/3597.06 c trysol : 0.00 0.00 0 0 0
3584.11/3597.06 c twoopt : 0.00 0.00 0 0 0
3584.11/3597.06 c undercover : 0.00 0.00 0 0 0
3584.11/3597.06 c vbounds : 0.00 0.00 0 0 0
3584.11/3597.06 c veclendiving : 0.00 0.00 0 0 0
3584.11/3597.06 c zeroobj : 0.00 0.00 0 0 0
3584.11/3597.06 c zirounding : 0.42 0.00 21 0 0
3584.11/3597.06 c other solutions : - - - 0 -
3584.11/3597.06 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3584.11/3597.06 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3584.11/3597.06 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3584.11/3597.06 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3584.11/3597.06 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3584.11/3597.06 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3584.11/3597.06 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3584.11/3597.06 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3584.11/3597.06 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3584.11/3597.06 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3584.11/3597.06 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3584.11/3597.06 c primal LP : 0.00 0 0 0.00 - 0.00 0
3584.11/3597.06 c dual LP : 2236.10 36 567627 16694.91 253.85 0.06 2
3584.11/3597.06 c lex dual LP : 0.00 0 0 0.00 -
3584.11/3597.06 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3584.11/3597.06 c resolve instable : 0.06 0 0 0.00 0.00
3584.11/3597.06 c diving/probing LP: 54.93 21 10204 485.90 185.75
3584.11/3597.06 c strong branching : 1217.16 536 428600 799.63 352.13 - - 909
3584.11/3597.06 c (at root node) : - 43 40593 944.02 -
3584.11/3597.06 c conflict analysis: 0.00 0 0 0.00 -
3584.11/3597.06 c B&B Tree :
3584.11/3597.06 c number of runs : 1
3584.11/3597.06 c nodes : 34 (21 internal, 13 leaves)
3584.11/3597.06 c feasible leaves : 4
3584.11/3597.06 c infeas. leaves : 0
3584.11/3597.06 c objective leaves : 8
3584.11/3597.06 c nodes (total) : 34 (21 internal, 13 leaves)
3584.11/3597.06 c nodes left : 10
3584.11/3597.06 c max depth : 9
3584.11/3597.06 c max depth (total): 9
3584.11/3597.06 c backtracks : 19 (55.9%)
3584.11/3597.06 c early backtracks : 0 (0.0%)
3584.11/3597.06 c nodes exc. ref. : 0 (0.0%)
3584.11/3597.06 c delayed cutoffs : 0
3584.11/3597.06 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3584.11/3597.06 c avg switch length: 3.18
3584.11/3597.06 c switching time : 0.09
3584.11/3597.06 c Root Node :
3584.11/3597.06 c First LP value : -1.32200000000000e+03
3584.11/3597.06 c First LP Iters : 36197 (205.45 Iter/sec)
3584.11/3597.06 c First LP Time : 176.19
3584.11/3597.06 c Final Dual Bound : -1.32183652312243e+03
3584.11/3597.06 c Final Root Iters : 36197
3584.11/3597.06 c Root LP Estimate : -1.21948550973741e+03
3584.11/3597.06 c Solution :
3584.11/3597.06 c Solutions found : 6 (6 improvements)
3584.11/3597.06 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.64 seconds, depth 0, found by <trivial>)
3584.11/3597.06 c Gap First Sol. : infinite
3584.11/3597.06 c Gap Last Sol. : 6.61 %
3584.11/3597.06 c Primal Bound : -1.19000000000000e+03 (in run 1, after 34 nodes, 3597.00 seconds, depth 9, found by <relaxation>)
3584.11/3597.06 c Dual Bound : -1.25959094273164e+03
3584.11/3597.06 c Gap : 5.85 %
3584.11/3597.06 c Integrals : Total Avg%
3584.11/3597.06 c primal-dual : 48326.07 13.44
3584.11/3597.06 c primal-ref : - - (not evaluated)
3584.11/3597.06 c dual-ref : - - (not evaluated)
3584.50/3597.41 c Time complete: 3584.53.
OK -1190
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: 63665 MiB (57919 MiB free)
memory of node 1: 64507 MiB (63588 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521134-1751557536/watcher-4521134-1751557536 -o /tmp/evaluation-result-4521134-1751557536/solver-4521134-1751557536 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751550309-78443 --watchdog 3760 pbscip -f HOME/instance-4521134-1751557536.opb -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=80401, runsolver pid=80398
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 4.10 4.11 4.09 5/262 80402
/proc/meminfo: memFree=124399652/131250000 swapFree=33010416/33010684
[pid=80401] ppid=80398 vsize=75032 memory=47104 CPUtime=0.09 cores=1,3
/proc/80401/stat : 80401 (pbscip) R 80398 80401 78407 0 -1 4194304 8851 0 0 0 8 1 0 0 20 0 1 0 71433451 76832768 11776 18446744073709551615 4235264 18693293 140728683632848 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50454528 140728683641225 140728683641324 140728683641324 140728683646926 0
/proc/80401/statm: 18758 11776 3232 3530 0 10209 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 75032 KiB
Current children cumulated memory: 47104 KiB
[startup+0.205493 s]*
/proc/loadavg: 4.10 4.11 4.09 5/262 80402
/proc/meminfo: memFree=124367396/131250000 swapFree=33010416/33010684
[pid=80401] ppid=80398 vsize=108292 memory=77952 CPUtime=0.19 cores=1,3
/proc/80401/stat : 80401 (pbscip) R 80398 80401 78407 0 -1 4194304 16559 0 0 0 17 2 0 0 20 0 1 0 71433451 110891008 19456 18446744073709551615 4235264 18693293 140728683632848 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50454528 140728683641225 140728683641324 140728683641324 140728683646926 0
/proc/80401/statm: 27073 19456 3232 3530 0 18524 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 108292 KiB
Current children cumulated memory: 77952 KiB
[startup+0.305439 s]*
/proc/loadavg: 4.10 4.11 4.09 6/262 80402
/proc/meminfo: memFree=124343204/131250000 swapFree=33010416/33010684
[pid=80401] ppid=80398 vsize=135112 memory=106496 CPUtime=0.3 cores=1,3
/proc/80401/stat : 80401 (pbscip) R 80398 80401 78407 0 -1 4194304 23724 0 0 0 26 4 0 0 20 0 1 0 71433451 138354688 26624 18446744073709551615 4235264 18693293 140728683632848 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50454528 140728683641225 140728683641324 140728683641324 140728683646926 0
/proc/80401/statm: 33778 26624 3232 3530 0 25229 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 135112 KiB
Current children cumulated memory: 106496 KiB
[startup+0.700187 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 80402
/proc/meminfo: memFree=124246680/131250000 swapFree=33010416/33010684
[pid=80401] ppid=80398 vsize=334920 memory=305976 CPUtime=0.68 cores=1,3
/proc/80401/stat : 80401 (pbscip) R 80398 80401 78407 0 -1 4194304 74013 0 0 0 57 11 0 0 20 0 1 0 71433451 342958080 76494 18446744073709551615 4235264 18693293 140728683632848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50454528 140728683641225 140728683641324 140728683641324 140728683646926 0
/proc/80401/statm: 83730 76494 3584 3530 0 75181 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 334920 KiB
Current children cumulated memory: 305976 KiB
[startup+1.50018 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 80402
/proc/meminfo: memFree=124101400/131250000 swapFree=33010416/33010684
[pid=80401] ppid=80398 vsize=400592 memory=369220 CPUtime=1.48 cores=1,3
/proc/80401/stat : 80401 (pbscip) R 80398 80401 78407 0 -1 4194304 99450 0 0 0 130 18 0 0 20 0 1 0 71433451 410206208 92305 18446744073709551615 4235264 18693293 140728683632848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50454528 140728683641225 140728683641324 140728683641324 140728683646926 0
/proc/80401/statm: 100148 92305 3712 3530 0 91599 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 400592 KiB
Current children cumulated memory: 369220 KiB
[startup+3.1054 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 80402
/proc/meminfo: memFree=123950156/131250000 swapFree=33010416/33010684
[pid=80401] ppid=80398 vsize=630960 memory=562272 CPUtime=3.08 cores=1,3
/proc/80401/stat : 80401 (pbscip) R 80398 80401 78407 0 -1 4194304 119584 0 0 0 285 23 0 0 20 0 1 0 71433451 646103040 140568 18446744073709551615 4235264 18693293 140728683632848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50454528 140728683641225 140728683641324 140728683641324 140728683646926 0
/proc/80401/statm: 157740 140568 3744 3530 0 149191 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 630960 KiB
Current children cumulated memory: 562272 KiB
[startup+6.30019 s]
/proc/loadavg: 4.17 4.13 4.10 5/262 80402
/proc/meminfo: memFree=123588052/131250000 swapFree=33010416/33010684
[pid=80401] ppid=80398 vsize=1008660 memory=881232 CPUtime=6.27 cores=1,3
/proc/80401/stat : 80401 (pbscip) R 80398 80401 78407 0 -1 4194304 143097 0 0 0 596 31 0 0 20 0 1 0 71433451 1032867840 220308 18446744073709551615 4235264 18693293 140728683632848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50454528 140728683641225 140728683641324 140728683641324 140728683646926 0
/proc/80401/statm: 252165 220308 3776 3530 0 243616 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1008660 KiB
Current children cumulated memory: 881232 KiB
[startup+12.7002 s]
/proc/loadavg: 4.16 4.12 4.09 5/262 80402
/proc/meminfo: memFree=123443140/131250000 swapFree=33010416/33010684
[pid=80401] ppid=80398 vsize=1090456 memory=999668 CPUtime=12.65 cores=1,3
/proc/80401/stat : 80401 (pbscip) R 80398 80401 78407 0 -1 4194304 177530 0 0 0 1227 38 0 0 20 0 1 0 71433451 1116626944 249917 18446744073709551615 4235264 18693293 140728683632848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50454528 140728683641225 140728683641324 140728683641324 140728683646926 0
/proc/80401/statm: 272614 249917 3936 3530 0 264065 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1090456 KiB
Current children cumulated memory: 999668 KiB
[startup+25.5002 s]
/proc/loadavg: 4.19 4.13 4.10 5/262 80402
/proc/meminfo: memFree=123440304/131250000 swapFree=33010416/33010684
[pid=80401] ppid=80398 vsize=1090456 memory=1002024 CPUtime=25.41 cores=1,3
/proc/80401/stat : 80401 (pbscip) R 80398 80401 78407 0 -1 4194304 177628 0 0 0 2503 38 0 0 20 0 1 0 71433451 1116626944 250506 18446744073709551615 4235264 18693293 140728683632848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50454528 140728683641225 140728683641324 140728683641324 140728683646926 0
/proc/80401/statm: 272614 250506 3936 3530 0 264065 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1090456 KiB
Current children cumulated memory: 1002024 KiB
[startup+51.1055 s]
/proc/loadavg: 4.12 4.12 4.09 5/262 80402
/proc/meminfo: memFree=123437556/131250000 swapFree=33010416/33010684
[pid=80401] ppid=80398 vsize=1093300 memory=1005352 CPUtime=50.94 cores=1,3
/proc/80401/stat : 80401 (pbscip) R 80398 80401 78407 0 -1 4194304 178448 0 0 0 5056 38 0 0 20 0 1 0 71433451 1119539200 251338 18446744073709551615 4235264 18693293 140728683632848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50454528 140728683641225 140728683641324 140728683641324 140728683646926 0
/proc/80401/statm: 273325 251338 3936 3530 0 264776 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1093300 KiB
Current children cumulated memory: 1005352 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/262 80494
/proc/meminfo: memFree=122128968/131250000 swapFree=33010416/33010684
[pid=80401] ppid=80398 vsize=1097820 memory=1009416 CPUtime=101.97 cores=1,3
/proc/80401/stat : 80401 (pbscip) R 80398 80401 78407 0 -1 4194304 178963 0 0 0 10159 38 0 0 20 0 1 0 71433451 1124167680 252354 18446744073709551615 4235264 18693293 140728683632848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50454528 140728683641225 140728683641324 140728683641324 140728683646926 0
/proc/80401/statm: 274455 252354 3936 3530 0 265906 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 1097820 KiB
Current children cumulated memory: 1009416 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/262 80498
/proc/meminfo: memFree=121893176/131250000 swapFree=33010416/33010684
[pid=80401] ppid=80398 vsize=1097820 memory=1009544 CPUtime=161.74 cores=1,3
/proc/80401/stat : 80401 (pbscip) R 80398 80401 78407 0 -1 4194304 178989 0 0 0 16136 38 0 0 20 0 1 0 71433451 1124167680 252386 18446744073709551615 4235264 18693293 140728683632848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50454528 140728683641225 140728683641324 140728683641324 140728683646926 0
/proc/80401/statm: 274455 252386 3936 3530 0 265906 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 1097820 KiB
Current children cumulated memory: 1009544 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/263 80501
/proc/meminfo: memFree=121896648/131250000 swapFree=33010416/33010684
[pid=80401] ppid=80398 vsize=1102732 memory=1011976 CPUtime=221.54 cores=1,3
/proc/80401/stat : 80401 (pbscip) R 80398 80401 78407 0 -1 4194304 179637 0 0 0 22116 38 0 0 20 0 1 0 71433451 1129197568 252994 18446744073709551615 4235264 18693293 140728683632848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50454528 140728683641225 140728683641324 140728683641324 140728683646926 0
/proc/80401/statm: 275683 252994 3936 3530 0 267134 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 1102732 KiB
Current children cumulated memory: 1011976 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 80508
/proc/meminfo: memFree=121847704/131250000 swapFree=33010416/33010684
[pid=80401] ppid=80398 vsize=1142988 memory=1035376 CPUtime=281.34 cores=1,3
/proc/80401/stat : 80401 (pbscip) R 80398 80401 78407 0 -1 4194304 184965 0 0 0 28095 39 0 0 20 0 1 0 71433451 1170419712 258844 18446744073709551615 4235264 18693293 140728683632848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50454528 140728683641225 140728683641324 140728683641324 140728683646926 0
/proc/80401/statm: 285747 258844 3968 3530 0 277198 0
Current children cumulated CPU time: 281.34 s
Current children cumulated vsize: 1142988 KiB
Current children cumulated memory: 1035376 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 80510
/proc/meminfo: memFree=121695364/131250000 swapFree=33010416/33010684
[pid=80401] ppid=80398 vsize=1287124 memory=1178824 CPUtime=341.12 cores=1,3
/proc/80401/stat : 80401 (pbscip) R 80398 80401 78407 0 -1 4194304 237159 0 0 0 34065 47 0 0 20 0 1 0 71433451 1318014976 294706 18446744073709551615 4235264 18693293 140728683632848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50454528 140728683641225 140728683641324 140728683641324 140728683646926 0
/proc/80401/statm: 321781 294706 3968 3530 0 313232 0
Current children cumulated CPU time: 341.12 s
Current children cumulated vsize: 1287124 KiB
Current children cumulated memory: 1178824 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 80512
/proc/meminfo: memFree=121673172/131250000 swapFree=33010416/33010684
[pid=80401] ppid=80398 vsize=1287124 memory=1178952 CPUtime=400.9 cores=1,3
/proc/80401/stat : 80401 (pbscip) R 80398 80401 78407 0 -1 4194304 237177 0 0 0 40042 48 0 0 20 0 1 0 71433451 1318014976 294738 18446744073709551615 4235264 18693293 140728683632848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50454528 140728683641225 140728683641324 140728683641324 140728683646926 0
/proc/80401/statm: 321781 294738 3968 3530 0 313232 0
Current children cumulated CPU time: 400.9 s
Current children cumulated vsize: 1287124 KiB
Current children cumulated memory: 1178952 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 80514
/proc/meminfo: memFree=121667260/131250000 swapFree=33010416/33010684
[pid=80401] ppid=80398 vsize=1287124 memory=1179848 CPUtime=460.68 cores=1,3
/proc/80401/stat : 80401 (pbscip) R 80398 80401 78407 0 -1 4194304 237275 0 0 0 46020 48 0 0 20 0 1 0 71433451 1318014976 294962 18446744073709551615 4235264 18693293 140728683632848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50454528 140728683641225 140728683641324 140728683641324 140728683646926 0
/proc/80401/statm: 321781 294962 3968 3530 0 313232 0
Current children cumulated CPU time: 460.68 s
################
# More data... #
################
/proc/loadavg: 4.21 4.19 4.12 5/262 80965
/proc/meminfo: memFree=124830492/131250000 swapFree=33010416/33010684
[pid=80401] ppid=80398 vsize=1287124 memory=1189448 CPUtime=3151 cores=1,3
/proc/80401/stat : 80401 (pbscip) R 80398 80401 78407 0 -1 4194304 239190 0 0 0 315052 48 0 0 20 0 1 0 71433451 1318014976 297362 18446744073709551615 4235264 18693293 140728683632848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50454528 140728683641225 140728683641324 140728683641324 140728683646926 0
/proc/80401/statm: 321781 297362 3968 3530 0 313232 0
Current children cumulated CPU time: 3151 s
Current children cumulated vsize: 1287124 KiB
Current children cumulated memory: 1189448 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.17 4.12 5/262 80967
/proc/meminfo: memFree=124808592/131250000 swapFree=33010416/33010684
[pid=80401] ppid=80398 vsize=1287124 memory=1189448 CPUtime=3210.78 cores=1,3
/proc/80401/stat : 80401 (pbscip) R 80398 80401 78407 0 -1 4194304 239190 0 0 0 321030 48 0 0 20 0 1 0 71433451 1318014976 297362 18446744073709551615 4235264 18693293 140728683632848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50454528 140728683641225 140728683641324 140728683641324 140728683646926 0
/proc/80401/statm: 321781 297362 3968 3530 0 313232 0
Current children cumulated CPU time: 3210.78 s
Current children cumulated vsize: 1287124 KiB
Current children cumulated memory: 1189448 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.15 4.11 5/262 80973
/proc/meminfo: memFree=124802640/131250000 swapFree=33010416/33010684
[pid=80401] ppid=80398 vsize=1287124 memory=1189448 CPUtime=3270.56 cores=1,3
/proc/80401/stat : 80401 (pbscip) R 80398 80401 78407 0 -1 4194304 239373 0 0 0 327008 48 0 0 20 0 1 0 71433451 1318014976 297362 18446744073709551615 4235264 18693293 140728683632848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50454528 140728683641225 140728683641324 140728683641324 140728683646926 0
/proc/80401/statm: 321781 297362 3968 3530 0 313232 0
Current children cumulated CPU time: 3270.56 s
Current children cumulated vsize: 1287124 KiB
Current children cumulated memory: 1189448 KiB
[startup+3342.3 s]
/proc/loadavg: 4.21 4.17 4.12 5/262 80975
/proc/meminfo: memFree=124805816/131250000 swapFree=33010416/33010684
[pid=80401] ppid=80398 vsize=1287124 memory=1189448 CPUtime=3330.34 cores=1,3
/proc/80401/stat : 80401 (pbscip) R 80398 80401 78407 0 -1 4194304 239421 0 0 0 332986 48 0 0 20 0 1 0 71433451 1318014976 297362 18446744073709551615 4235264 18693293 140728683632848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50454528 140728683641225 140728683641324 140728683641324 140728683646926 0
/proc/80401/statm: 321781 297362 3968 3530 0 313232 0
Current children cumulated CPU time: 3330.34 s
Current children cumulated vsize: 1287124 KiB
Current children cumulated memory: 1189448 KiB
[startup+3402.3 s]
/proc/loadavg: 4.21 4.17 4.12 5/262 80977
/proc/meminfo: memFree=124807772/131250000 swapFree=33010416/33010684
[pid=80401] ppid=80398 vsize=1287124 memory=1189448 CPUtime=3390.12 cores=1,3
/proc/80401/stat : 80401 (pbscip) R 80398 80401 78407 0 -1 4194304 239424 0 0 0 338964 48 0 0 20 0 1 0 71433451 1318014976 297362 18446744073709551615 4235264 18693293 140728683632848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50454528 140728683641225 140728683641324 140728683641324 140728683646926 0
/proc/80401/statm: 321781 297362 3968 3530 0 313232 0
Current children cumulated CPU time: 3390.12 s
Current children cumulated vsize: 1287124 KiB
Current children cumulated memory: 1189448 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.15 4.11 5/262 80979
/proc/meminfo: memFree=124808924/131250000 swapFree=33010416/33010684
[pid=80401] ppid=80398 vsize=1287124 memory=1189448 CPUtime=3449.9 cores=1,3
/proc/80401/stat : 80401 (pbscip) R 80398 80401 78407 0 -1 4194304 239424 0 0 0 344942 48 0 0 20 0 1 0 71433451 1318014976 297362 18446744073709551615 4235264 18693293 140728683632848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50454528 140728683641225 140728683641324 140728683641324 140728683646926 0
/proc/80401/statm: 321781 297362 3968 3530 0 313232 0
Current children cumulated CPU time: 3449.9 s
Current children cumulated vsize: 1287124 KiB
Current children cumulated memory: 1189448 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/262 80981
/proc/meminfo: memFree=124810524/131250000 swapFree=33010416/33010684
[pid=80401] ppid=80398 vsize=1287124 memory=1189448 CPUtime=3509.68 cores=1,3
/proc/80401/stat : 80401 (pbscip) R 80398 80401 78407 0 -1 4194304 239456 0 0 0 350920 48 0 0 20 0 1 0 71433451 1318014976 297362 18446744073709551615 4235264 18693293 140728683632848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50454528 140728683641225 140728683641324 140728683641324 140728683646926 0
/proc/80401/statm: 321781 297362 3968 3530 0 313232 0
Current children cumulated CPU time: 3509.68 s
Current children cumulated vsize: 1287124 KiB
Current children cumulated memory: 1189448 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/262 80983
/proc/meminfo: memFree=124811644/131250000 swapFree=33010416/33010684
[pid=80401] ppid=80398 vsize=1287124 memory=1189448 CPUtime=3569.46 cores=1,3
/proc/80401/stat : 80401 (pbscip) R 80398 80401 78407 0 -1 4194304 239654 0 0 0 356898 48 0 0 20 0 1 0 71433451 1318014976 297362 18446744073709551615 4235264 18693293 140728683632848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50454528 140728683641225 140728683641324 140728683641324 140728683646926 0
/proc/80401/statm: 321781 297362 3968 3530 0 313232 0
Current children cumulated CPU time: 3569.46 s
Current children cumulated vsize: 1287124 KiB
Current children cumulated memory: 1189448 KiB
[startup+3597.42 s]
# the end of solver process 80401 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.04 s, system=0.494585 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.08 4.12 4.10 5/262 80983
/proc/meminfo: memFree=124811896/131250000 swapFree=33010416/33010684
[pid=80401] ppid=80398 vsize=1287124 memory=1189448 CPUtime=3571.16 cores=1,3
/proc/80401/stat : 80401 (pbscip) R 80398 80401 78407 0 -1 4194304 239654 0 0 0 357068 48 0 0 20 0 1 0 71433451 1318014976 297362 18446744073709551615 4235264 18693293 140728683632848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50454528 140728683641225 140728683641324 140728683641324 140728683646926 0
/proc/80401/statm: 321781 297362 3968 3530 0 313232 0
Current children cumulated CPU time: 3571.16 s
Current children cumulated vsize: 1287124 KiB
Current children cumulated memory: 1189448 KiB
[startup+3590.4 s]
/proc/loadavg: 4.15 4.14 4.10 5/262 80983
/proc/meminfo: memFree=124811976/131250000 swapFree=33010416/33010684
[pid=80401] ppid=80398 vsize=1287124 memory=1189448 CPUtime=3577.53 cores=1,3
/proc/80401/stat : 80401 (pbscip) R 80398 80401 78407 0 -1 4194304 239655 0 0 0 357705 48 0 0 20 0 1 0 71433451 1318014976 297362 18446744073709551615 4235264 18693293 140728683632848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50454528 140728683641225 140728683641324 140728683641324 140728683646926 0
/proc/80401/statm: 321781 297362 3968 3530 0 313232 0
Current children cumulated CPU time: 3577.53 s
Current children cumulated vsize: 1287124 KiB
Current children cumulated memory: 1189448 KiB
[startup+3593.6 s]
/proc/loadavg: 4.15 4.14 4.10 5/262 80983
/proc/meminfo: memFree=124811976/131250000 swapFree=33010416/33010684
[pid=80401] ppid=80398 vsize=1287124 memory=1189448 CPUtime=3580.72 cores=1,3
/proc/80401/stat : 80401 (pbscip) R 80398 80401 78407 0 -1 4194304 239655 0 0 0 358024 48 0 0 20 0 1 0 71433451 1318014976 297362 18446744073709551615 4235264 18693293 140728683632848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50454528 140728683641225 140728683641324 140728683641324 140728683646926 0
/proc/80401/statm: 321781 297362 3968 3530 0 313232 0
Current children cumulated CPU time: 3580.72 s
Current children cumulated vsize: 1287124 KiB
Current children cumulated memory: 1189448 KiB
[startup+3595.2 s]
/proc/loadavg: 4.14 4.13 4.10 5/262 80983
/proc/meminfo: memFree=124811976/131250000 swapFree=33010416/33010684
[pid=80401] ppid=80398 vsize=1287124 memory=1189448 CPUtime=3582.31 cores=1,3
/proc/80401/stat : 80401 (pbscip) R 80398 80401 78407 0 -1 4194304 239655 0 0 0 358183 48 0 0 20 0 1 0 71433451 1318014976 297362 18446744073709551615 4235264 18693293 140728683632848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50454528 140728683641225 140728683641324 140728683641324 140728683646926 0
/proc/80401/statm: 321781 297362 3968 3530 0 313232 0
Current children cumulated CPU time: 3582.31 s
Current children cumulated vsize: 1287124 KiB
Current children cumulated memory: 1189448 KiB
[startup+3596.8 s]
/proc/loadavg: 4.14 4.13 4.10 5/262 80983
/proc/meminfo: memFree=124811976/131250000 swapFree=33010416/33010684
[pid=80401] ppid=80398 vsize=1287124 memory=1189448 CPUtime=3583.91 cores=1,3
/proc/80401/stat : 80401 (pbscip) R 80398 80401 78407 0 -1 4194304 239655 0 0 0 358343 48 0 0 20 0 1 0 71433451 1318014976 297362 18446744073709551615 4235264 18693293 140728683632848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50454528 140728683641225 140728683641324 140728683641324 140728683646926 0
/proc/80401/statm: 321781 297362 3968 3530 0 313232 0
Current children cumulated CPU time: 3583.91 s
Current children cumulated vsize: 1287124 KiB
Current children cumulated memory: 1189448 KiB
[startup+3597.2 s]
/proc/loadavg: 4.14 4.13 4.10 5/262 80983
/proc/meminfo: memFree=124811976/131250000 swapFree=33010416/33010684
[pid=80401] ppid=80398 vsize=1287124 memory=1189448 CPUtime=3584.31 cores=1,3
/proc/80401/stat : 80401 (pbscip) R 80398 80401 78407 0 -1 4194304 239740 0 0 0 358383 48 0 0 20 0 1 0 71433451 1318014976 297362 18446744073709551615 4235264 18693293 140728683632848 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50454528 140728683641225 140728683641324 140728683641324 140728683646926 0
/proc/80401/statm: 321781 297362 3968 3530 0 313232 0
Current children cumulated CPU time: 3584.31 s
Current children cumulated vsize: 1287124 KiB
Current children cumulated memory: 1189448 KiB
[startup+3597.4 s]
/proc/loadavg: 4.14 4.13 4.10 5/262 80983
/proc/meminfo: memFree=124811976/131250000 swapFree=33010416/33010684
[pid=80401] ppid=80398 vsize=1209916 memory=1112528 CPUtime=3584.5 cores=1,3
/proc/80401/stat : 80401 (pbscip) R 80398 80401 78407 0 -1 4194304 239750 0 0 0 358402 48 0 0 20 0 1 0 71433451 1238953984 278132 18446744073709551615 4235264 18693293 140728683632848 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50454528 140728683641225 140728683641324 140728683641324 140728683646926 0
/proc/80401/statm: 302479 278132 3968 3530 0 293930 0
Current children cumulated CPU time: 3584.5 s
Current children cumulated vsize: 1209916 KiB
Current children cumulated memory: 1112528 KiB
Child status: 0
Real time (s): 3597.42
CPU time (s): 3584.54
CPU user time (s): 3584.04
CPU system time (s): 0.494585
CPU usage (%): 99.6418
Max. virtual memory (cumulated for all children) (KiB): 1356124
Max. memory (cumulated for all children) (KiB): 1244144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.04
system time used= 0.494585
maximum resident set size= 1244144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 239781
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= 104
involuntary context switches= 1054
# summary of solver processes directly reported to runsolver:
# pid: 80401
# total CPU time (s): 3584.54
# total CPU user time (s): 3584.04
# total CPU system time (s): 0.494585
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.64787 second user time and 16.4766 second system time
The end
Begin job on nodeC027 at 2025-07-03 17:45:36 IDJOB=4521134 IDBENCH=178227 IDSOLVER=3365 FILE ID=nodeC027/4521134-1751557536 RUNJOBID= nodeC027-1751550309-78443 SLURM_JOB_ID= 9598730 Free space on /tmp= 431096 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/normalized-maxcut_opt_complete_6-partite_inlv_nvert_69.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4521134-1751557536/watcher-4521134-1751557536 -o /tmp/evaluation-result-4521134-1751557536/solver-4521134-1751557536 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751550309-78443 --watchdog 3760 pbscip -f HOME/instance-4521134-1751557536.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 1733aa67cc51115e0f42d9b93b5f287e RANDOM SEED=1392188276 nodeC027 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /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 : 3599.641 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 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 : 3599.644 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 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 : 3620.855 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3601.677 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 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 : 3599.634 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 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 : 3599.624 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 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 : 3595.920 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 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 : 3736.559 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 124423532 kB MemAvailable: 124729392 kB Buffers: 2488 kB Cached: 1104904 kB SwapCached: 12 kB Active: 5553672 kB Inactive: 564364 kB Active(anon): 5025908 kB Inactive(anon): 2792 kB Active(file): 527764 kB Inactive(file): 561572 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 25396 kB Writeback: 52 kB AnonPages: 5008196 kB Mapped: 139192 kB Shmem: 18056 kB KReclaimable: 111128 kB Slab: 200672 kB SReclaimable: 111128 kB SUnreclaim: 89544 kB KernelStack: 4304 kB PageTables: 13148 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 5679052 kB VmallocTotal: 34359738367 kB VmallocUsed: 150456 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 4057088 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 203476 kB DirectMap2M: 9005056 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 431092 MiB End job on nodeC027 at 2025-07-03 18:45:33