Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | MSAT | 3584.67 | 3597.43 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/coloring/ normalized-le450-5a-5_wcsp.wbo |
| MD5SUM | 276e6058ed794d43d25daa514644ef1f |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 359.29 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 2250 |
| Total number of constraints | 29020 |
| Number of soft constraints | 28570 |
| Number of constraints which are clauses | 28570 |
| Number of constraints which are cardinality constraints (but not clauses) | 450 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 5 |
| Top cost | 5715 |
| Min constraint cost | 1 |
| Max constraint cost | 1 |
| Sum of constraints costs | 28570 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 6 |
| Number of bits of the biggest sum of numbers | 3 |
| 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.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4526560-1751630603.wbo>
0.09/0.11 c original problem has 30820 variables (30820 bin, 0 int, 0 impl, 0 cont) and 57591 constraints
0.09/0.11 c problem read in 0.10
0.40/0.42 c presolving:
0.40/0.50 c (round 1, fast) 0 del vars, 0 del conss, 0 add conss, 28570 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 29020 clqs
0.50/0.57 c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 28570 chg bounds, 0 chg sides, 0 chg coeffs, 451 upgd conss, 0 impls, 29020 clqs
1.09/1.19 c (1.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1.28/1.37 c (1.4s) no symmetry present (symcode time: 0.10)
1.38/1.42 c presolving (3 rounds: 3 fast, 2 medium, 2 exhaustive):
1.38/1.42 c 25 deleted vars, 0 deleted constraints, 0 added constraints, 28570 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.38/1.42 c 0 implications, 28995 cliques
1.38/1.42 c presolved problem has 59365 variables (30820 bin, 0 int, 28545 impl, 0 cont) and 57591 constraints
1.38/1.42 c 1 constraints of type <knapsack>
1.38/1.42 c 450 constraints of type <setppc>
1.38/1.42 c 28570 constraints of type <linear>
1.38/1.42 c 28570 constraints of type <indicator>
1.38/1.42 c transformed objective value is always integral (scale: 1)
1.38/1.42 c Presolving Time: 1.22
1.38/1.42 c - non default parameters ----------------------------------------------------------------------
1.38/1.42 c # SCIP version 10.0.0
1.38/1.42 c
1.38/1.42 c # maximal time in seconds to run
1.38/1.42 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1.38/1.42 c limits/time = 3596.998009
1.38/1.42 c
1.38/1.42 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.38/1.42 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1.38/1.42 c limits/memory = 27900
1.38/1.42 c
1.38/1.42 c # belongs reading time to solving time?
1.38/1.42 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1.38/1.42 c timing/reading = TRUE
1.38/1.42 c
1.38/1.42 c -----------------------------------------------------------------------------------------------
1.38/1.42 c start solving
1.38/1.45 c
3.38/3.43 o 5714
3.38/3.43 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.38/3.43 c p 3.4s| 1 | 0 | 0 | - | clique| 0 | 59k| 57k| 57k| 0 | 0 | 0 | 0 | 0.000000e+00 | 5.714000e+03 | Inf | unknown
107.46/107.96 c 108s| 1 | 0 | 7424 | - | 537M | 0 | 59k| 57k| 57k| 0 | 0 | 40 | 0 | 0.000000e+00 | 5.714000e+03 | Inf | unknown
115.34/115.83 c 116s| 1 | 0 | 12179 | - | 559M | 0 | 59k| 57k| 57k| 105 | 1 | 40 | 0 | 0.000000e+00 | 5.714000e+03 | Inf | unknown
124.71/125.24 c 125s| 1 | 0 | 17632 | - | 571M | 0 | 59k| 57k| 57k| 191 | 2 | 40 | 0 | 0.000000e+00 | 5.714000e+03 | Inf | unknown
135.18/135.79 c 136s| 1 | 0 | 23652 | - | 584M | 0 | 59k| 57k| 57k| 277 | 3 | 40 | 0 | 0.000000e+00 | 5.714000e+03 | Inf | unknown
147.14/147.78 c 148s| 1 | 0 | 31864 | - | 600M | 0 | 59k| 57k| 57k| 367 | 4 | 40 | 0 | 0.000000e+00 | 5.714000e+03 | Inf | unknown
162.10/162.71 c 163s| 1 | 0 | 41878 | - | 610M | 0 | 59k| 57k| 58k| 450 | 5 | 40 | 0 | 0.000000e+00 | 5.714000e+03 | Inf | unknown
179.26/179.95 c 180s| 1 | 0 | 52066 | - | 631M | 0 | 59k| 57k| 58k| 530 | 6 | 40 | 0 | 0.000000e+00 | 5.714000e+03 | Inf | unknown
197.32/198.07 c 198s| 1 | 0 | 62623 | - | 647M | 0 | 59k| 57k| 58k| 619 | 7 | 40 | 0 | 0.000000e+00 | 5.714000e+03 | Inf | unknown
216.16/216.97 c 217s| 1 | 0 | 73067 | - | 664M | 0 | 59k| 57k| 58k| 688 | 8 | 40 | 0 | 0.000000e+00 | 5.714000e+03 | Inf | unknown
233.72/234.58 c 235s| 1 | 0 | 83252 | - | 682M | 0 | 59k| 57k| 58k| 752 | 9 | 40 | 0 | 0.000000e+00 | 5.714000e+03 | Inf | unknown
249.18/250.06 c 250s| 1 | 0 | 92735 | - | 691M | 0 | 59k| 57k| 58k| 824 | 10 | 40 | 0 | 0.000000e+00 | 5.714000e+03 | Inf | unknown
265.62/266.53 c 267s| 1 | 0 |103034 | - | 697M | 0 | 59k| 57k| 58k| 904 | 11 | 40 | 0 | 0.000000e+00 | 5.714000e+03 | Inf | unknown
285.46/286.48 o 2315
285.56/286.50 c d 286s| 1 | 0 |135729 | - |conflict| 0 | 59k| 57k| 58k| 0 | 11 | 40 | 0 | 0.000000e+00 | 2.315000e+03 | Inf | unknown
288.95/289.99 c 290s| 1 | 0 |138890 | - | 705M | 0 | 59k| 57k| 58k| 904 | 11 | 40 | 0 | 0.000000e+00 | 2.315000e+03 | Inf | unknown
306.89/307.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
306.89/307.99 c 308s| 1 | 0 |149033 | - | 710M | 0 | 59k| 57k| 58k| 970 | 12 | 40 | 0 | 0.000000e+00 | 2.315000e+03 | Inf | unknown
330.41/331.56 c 332s| 1 | 2 |149794 | - | 711M | 0 | 59k| 57k| 58k| 970 | 13 | 40 | 40 | 0.000000e+00 | 2.315000e+03 | Inf | unknown
474.28/475.86 o 2227
474.28/475.86 c L 476s| 41 | 42 |208179 |2432.7 | alns| 40 | 59k| 57k| 57k|1348 | 5 | 40 | 722 | 0.000000e+00 | 2.227000e+03 | Inf | unknown
474.49/476.04 o 2225
474.49/476.04 c i 476s| 42 | 41 |208179 |2373.3 | oneopt| 41 | 59k| 57k| 57k|1348 | 0 | 40 | 722 | 0.000000e+00 | 2.225000e+03 | Inf | unknown
581.24/583.15 o 1381
581.24/583.15 c L 583s| 92 | 93 |384097 |3002.5 | alns| 49 | 59k| 57k| 57k|1957 | 4 | 40 | 826 | 0.000000e+00 | 1.381000e+03 | Inf | unknown
582.14/584.04 o 1371
582.14/584.04 c L 584s| 92 | 93 |384097 |3002.5 | alns| 49 | 59k| 57k| 57k|1957 | 4 | 40 | 826 | 0.000000e+00 | 1.371000e+03 | Inf | unknown
582.73/584.61 o 1341
582.73/584.61 c L 585s| 92 | 93 |384097 |3002.5 | alns| 49 | 59k| 57k| 57k|1957 | 4 | 40 | 826 | 0.000000e+00 | 1.341000e+03 | Inf | unknown
592.51/594.47 o 835
592.51/594.47 c d 594s| 100 | 101 |405081 |2971.8 |fracdivi| 49 | 59k| 57k| 57k| 0 | 1 | 40 | 826 | 0.000000e+00 | 8.350000e+02 | Inf | unknown
605.77/607.78 o 623
605.77/607.78 c d 608s| 105 | 106 |441915 |3183.1 |distribu| 49 | 59k| 57k| 57k| 0 | 1 | 40 | 826 | 0.000000e+00 | 6.230000e+02 | Inf | unknown
753.10/755.50 c 755s| 200 | 201 |682293 |2871.5 | 857M | 49 | 59k| 57k| 57k|3267 | 1 | 40 | 925 | 0.000000e+00 | 6.230000e+02 | Inf | unknown
811.43/814.01 o 578
811.43/814.01 c d 814s| 231 | 232 |805737 |3021.1 |distribu| 49 | 59k| 57k| 57k| 0 | 1 | 40 | 961 | 0.000000e+00 | 5.780000e+02 | Inf | unknown
900.06/902.97 o 556
900.06/902.97 c L 903s| 266 | 267 |916019 |3038.3 | alns| 49 | 59k| 57k| 58k|4579 | 6 | 40 |1023 | 0.000000e+00 | 5.560000e+02 | Inf | unknown
1141.14/1144.76 c 1145s| 300 | 301 | 1195k|3628.6 | 961M | 49 | 59k| 57k| 57k|6020 | 1 | 40 |1212 | 0.000000e+00 | 5.560000e+02 | Inf | unknown
1794.37/1800.42 c 1800s| 400 | 401 | 1965k|4649.3 | 1075M | 53 | 59k| 57k| 57k|9574 | 1 | 40 |1724 | 0.000000e+00 | 5.560000e+02 | Inf | unknown
2111.61/2119.00 o 535
2111.61/2119.00 c d2119s| 448 | 449 | 2336k|4978.4 |guideddi| 53 | 59k| 57k| 57k| 0 | 1 | 70 |1973 | 0.000000e+00 | 5.350000e+02 | Inf | unknown
2480.81/2489.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2480.81/2489.42 c 2489s| 500 | 501 | 2847k|5483.8 | 1113M | 53 | 59k| 57k| 58k| 13k| 1 | 70 |2331 | 0.000000e+00 | 5.350000e+02 | Inf | unknown
3191.85/3203.10 c 3203s| 600 | 601 | 3683k|5964.8 | 1238M | 55 | 59k| 57k| 58k| 18k| 1 | 70 |2981 | 0.000000e+00 | 5.350000e+02 | Inf | unknown
3510.92/3523.47 o 523
3510.92/3523.47 c L3523s| 648 | 649 | 4013k|6031.3 |crossove| 55 | 59k| 57k| 57k| 19k| 1 | 70 |3318 | 0.000000e+00 | 5.230000e+02 | Inf | unknown
3584.23/3597.01 c
3584.23/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3584.23/3597.01 c Solving Time (sec) : 3597.01
3584.23/3597.01 c Solving Nodes : 670
3584.23/3597.01 c Primal Bound : +5.23000000000000e+02 (13 solutions)
3584.23/3597.01 c Dual Bound : +0.00000000000000e+00
3584.23/3597.01 c Gap : infinite
3584.23/3597.07 s SATISFIABLE
3584.23/3597.07 v -x2250 -x2249 -x2248 x2247 -x2246 -x2245 -x2244 x2243 -x2242 -x2241 x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 x2233 -x2232
3584.23/3597.07 v -x2231 -x2230 -x2229 -x2228 x2227 -x2226 -x2225 -x2224 -x2223 x2222 -x2221 -x2220 -x2219 x2218 -x2217 -x2216 -x2215 x2214 -x2213
3584.23/3597.07 v -x2212 -x2211 -x2210 x2209 -x2208 -x2207 -x2206 -x2205 -x2204 x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 x2196 -x2195
3584.23/3597.07 v x2194 -x2193 -x2192 -x2191 -x2190 x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 x2181 -x2180 -x2179 -x2178 x2177
3584.23/3597.07 v -x2176 -x2175 -x2174 -x2173 -x2172 x2171 -x2170 x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 x2161 -x2160 -x2159 x2158
3584.23/3597.07 v -x2157 -x2156 x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 x2147 -x2146 -x2145 -x2144 -x2143 -x2142 x2141 -x2140
3584.23/3597.07 v -x2139 -x2138 x2137 -x2136 x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122
3584.23/3597.07 v x2121 -x2120 x2119 -x2118 -x2117 -x2116 x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 x2108 -x2107 -x2106 -x2105 -x2104 x2103
3584.23/3597.07 v -x2102 -x2101 -x2100 -x2099 -x2098 x2097 -x2096 -x2095 -x2094 -x2093 -x2092 x2091 -x2090 -x2089 -x2088 x2087 -x2086 -x2085
3584.23/3597.07 v -x2084 -x2083 -x2082 x2081 -x2080 x2079 -x2078 -x2077 -x2076 -x2075 x2074 -x2073 -x2072 -x2071 -x2070 -x2069 x2068 -x2067 -x2066
3584.23/3597.07 v -x2065 -x2064 -x2063 x2062 -x2061 -x2060 -x2059 -x2058 -x2057 x2056 -x2055 -x2054 -x2053 x2052 -x2051 -x2050 x2049 -x2048
3584.23/3597.07 v -x2047 -x2046 x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 x2037 -x2036 -x2035 -x2034 -x2033 -x2032 x2031 -x2030
3584.23/3597.07 v -x2029 x2028 -x2027 -x2026 -x2025 x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 x2017 -x2016 -x2015 x2014 -x2013 -x2012 -x2011
3584.23/3597.07 v -x2010 -x2009 -x2008 x2007 -x2006 -x2005 -x2004 -x2003 -x2002 x2001 -x2000 -x1999 x1998 -x1997 -x1996 x1995 -x1994 -x1993
3584.23/3597.07 v -x1992 -x1991 x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 x1982 -x1981 -x1980 -x1979 x1978 -x1977 -x1976 x1975 -x1974
3584.23/3597.07 v -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 x1966 -x1965 -x1964 x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 x1956
3584.23/3597.07 v -x1955 -x1954 -x1953 x1952 -x1951 x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 x1941 -x1940 x1939 -x1938
3584.23/3597.07 v -x1937 -x1936 x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 x1928 -x1927 -x1926 x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919
3584.23/3597.07 v -x1918 -x1917 x1916 x1915 -x1914 -x1913 -x1912 -x1911 x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 x1903 -x1902 -x1901
3584.23/3597.07 v -x1900 -x1899 -x1898 -x1897 x1896 x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 x1888 -x1887 -x1886 x1885 -x1884 -x1883
3584.23/3597.07 v -x1882 -x1881 x1880 -x1879 -x1878 -x1877 -x1876 x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 x1867 -x1866 -x1865 -x1864
3584.23/3597.07 v x1863 -x1862 -x1861 -x1860 -x1859 -x1858 x1857 -x1856 -x1855 x1854 -x1853 -x1852 -x1851 -x1850 x1849 -x1848 -x1847 -x1846
3584.23/3597.07 v x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 x1838 -x1837 -x1836 -x1835 -x1834 x1833 -x1832 -x1831 -x1830 x1829 -x1828 -x1827
3584.23/3597.07 v -x1826 -x1825 -x1824 -x1823 -x1822 x1821 -x1820 -x1819 -x1818 -x1817 x1816 -x1815 -x1814 -x1813 x1812 -x1811 -x1810 -x1809
3584.23/3597.07 v -x1808 x1807 -x1806 -x1805 x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 x1796 -x1795 -x1794 x1793 -x1792 -x1791
3584.23/3597.07 v -x1790 -x1789 -x1788 x1787 -x1786 -x1785 -x1784 x1783 -x1782 -x1781 -x1780 x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 x1772
3584.23/3597.07 v -x1771 -x1770 -x1769 -x1768 -x1767 x1766 -x1765 -x1764 -x1763 -x1762 x1761 -x1760 -x1759 x1758 -x1757 -x1756 -x1755 -x1754
3584.23/3597.07 v x1753 -x1752 -x1751 -x1750 -x1749 -x1748 x1747 -x1746 -x1745 x1744 -x1743 -x1742 -x1741 -x1740 x1739 -x1738 -x1737 -x1736
3584.23/3597.07 v -x1735 -x1734 -x1733 x1732 -x1731 -x1730 -x1729 -x1728 x1727 -x1726 x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 x1717
3584.23/3597.07 v -x1716 -x1715 -x1714 x1713 -x1712 -x1711 -x1710 -x1709 x1708 -x1707 -x1706 -x1705 -x1704 -x1703 x1702 -x1701 -x1700 -x1699
3584.23/3597.07 v -x1698 x1697 -x1696 -x1695 -x1694 -x1693 x1692 -x1691 -x1690 -x1689 x1688 -x1687 -x1686 -x1685 -x1684 x1683 -x1682 -x1681 -x1680
3584.23/3597.07 v x1679 -x1678 -x1677 -x1676 x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 x1666 -x1665 -x1664 x1663 -x1662
3584.23/3597.07 v -x1661 -x1660 x1659 -x1658 -x1657 -x1656 x1655 -x1654 -x1653 -x1652 -x1651 x1650 -x1649 -x1648 -x1647 -x1646 x1645 -x1644
3584.23/3597.07 v -x1643 -x1642 -x1641 x1640 -x1639 -x1638 -x1637 -x1636 -x1635 x1634 -x1633 -x1632 -x1631 -x1630 -x1629 x1628 -x1627 -x1626 -x1625
3584.23/3597.07 v -x1624 -x1623 -x1622 x1621 -x1620 -x1619 -x1618 -x1617 x1616 -x1615 x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607
3584.23/3597.07 v x1606 -x1605 -x1604 -x1603 -x1602 x1601 -x1600 -x1599 x1598 -x1597 -x1596 -x1595 x1594 -x1593 -x1592 -x1591 -x1590 -x1589
3584.23/3597.07 v -x1588 -x1587 x1586 -x1585 -x1584 x1583 -x1582 -x1581 -x1580 -x1579 x1578 -x1577 -x1576 -x1575 -x1574 x1573 -x1572 -x1571 -x1570
3584.23/3597.07 v -x1569 x1568 -x1567 -x1566 -x1565 -x1564 x1563 -x1562 -x1561 -x1560 -x1559 -x1558 x1557 -x1556 -x1555 x1554 -x1553 -x1552
3584.23/3597.07 v -x1551 -x1550 -x1549 -x1548 x1547 -x1546 -x1545 -x1544 x1543 -x1542 -x1541 x1540 -x1539 -x1538 -x1537 -x1536 -x1535 x1534 -x1533
3584.23/3597.07 v -x1532 -x1531 -x1530 -x1529 x1528 -x1527 -x1526 -x1525 -x1524 x1523 -x1522 -x1521 -x1520 -x1519 x1518 -x1517 -x1516 -x1515
3584.23/3597.07 v -x1514 -x1513 x1512 -x1511 -x1510 x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 x1502 -x1501 -x1500 x1499 -x1498 -x1497
3584.23/3597.07 v -x1496 -x1495 -x1494 x1493 -x1492 -x1491 -x1490 -x1489 -x1488 x1487 -x1486 -x1485 x1484 -x1483 -x1482 -x1481 -x1480 -x1479 x1478
3584.23/3597.07 v -x1477 -x1476 -x1475 -x1474 -x1473 x1472 -x1471 -x1470 -x1469 -x1468 x1467 -x1466 -x1465 x1464 -x1463 -x1462 -x1461 -x1460
3584.23/3597.07 v -x1459 x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 x1451 x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 x1443 -x1442 -x1441
3584.23/3597.07 v -x1440 -x1439 x1438 -x1437 -x1436 x1435 -x1434 -x1433 -x1432 -x1431 x1430 -x1429 -x1428 -x1427 -x1426 -x1425 x1424 -x1423
3584.23/3597.07 v -x1422 -x1421 -x1420 x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 x1411 x1410 -x1409 -x1408 -x1407 -x1406 x1405
3584.23/3597.07 v -x1404 -x1403 -x1402 -x1401 x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 x1391 -x1390 -x1389 x1388 -x1387 -x1386
3584.23/3597.07 v -x1385 -x1384 -x1383 -x1382 x1381 -x1380 -x1379 -x1378 x1377 -x1376 -x1375 -x1374 -x1373 -x1372 x1371 -x1370 -x1369 -x1368
3584.23/3597.07 v x1367 -x1366 x1365 -x1364 -x1363 -x1362 -x1361 x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 x1353 -x1352 -x1351 -x1350
3584.23/3597.07 v -x1349 -x1348 -x1347 x1346 -x1345 -x1344 -x1343 x1342 -x1341 -x1340 -x1339 x1338 -x1337 -x1336 x1335 -x1334 -x1333 -x1332 -x1331
3584.23/3597.07 v -x1330 -x1329 -x1328 -x1327 x1326 -x1325 -x1324 -x1323 -x1322 x1321 -x1320 x1319 -x1318 -x1317 -x1316 -x1315 -x1314 x1313
3584.23/3597.07 v -x1312 -x1311 -x1310 x1309 -x1308 -x1307 -x1306 -x1305 -x1304 x1303 -x1302 -x1301 -x1300 x1299 -x1298 -x1297 -x1296 -x1295 x1294
3584.23/3597.07 v -x1293 -x1292 -x1291 -x1290 x1289 -x1288 -x1287 -x1286 x1285 -x1284 -x1283 -x1282 -x1281 -x1280 x1279 -x1278 -x1277 -x1276
3584.23/3597.07 v -x1275 -x1274 -x1273 -x1272 x1271 -x1270 x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 x1262 -x1261 x1260 -x1259 -x1258
3584.23/3597.07 v -x1257 -x1256 -x1255 -x1254 -x1253 x1252 -x1251 x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 x1241 -x1240 -x1239
3584.23/3597.07 v -x1238 x1237 -x1236 -x1235 -x1234 x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 x1226 -x1225 -x1224 -x1223 -x1222 x1221
3584.23/3597.07 v -x1220 -x1219 -x1218 -x1217 x1216 x1215 -x1214 -x1213 -x1212 -x1211 x1210 -x1209 -x1208 -x1207 -x1206 x1205 -x1204 -x1203 -x1202
3584.23/3597.07 v -x1201 -x1200 -x1199 -x1198 -x1197 x1196 -x1195 x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 x1186 -x1185 -x1184
3584.23/3597.07 v -x1183 x1182 -x1181 -x1180 x1179 -x1178 -x1177 -x1176 -x1175 -x1174 x1173 -x1172 -x1171 -x1170 -x1169 -x1168 x1167 -x1166
3584.23/3597.07 v -x1165 x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 x1156 -x1155 -x1154 -x1153 x1152 -x1151 -x1150 -x1149 -x1148 x1147
3584.23/3597.07 v -x1146 -x1145 x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 x1136 -x1135 x1134 -x1133 -x1132 -x1131 -x1130 x1129
3584.23/3597.07 v -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 x1122 -x1121 -x1120 -x1119 -x1118 x1117 -x1116 -x1115 -x1114 x1113 -x1112 -x1111
3584.23/3597.07 v x1110 -x1109 -x1108 -x1107 -x1106 x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 x1096 -x1095 -x1094 x1093 -x1092
3584.23/3597.07 v -x1091 x1090 -x1089 -x1088 -x1087 -x1086 -x1085 x1084 -x1083 -x1082 -x1081 x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074
3584.23/3597.07 v -x1073 -x1072 x1071 -x1070 x1069 -x1068 -x1067 -x1066 x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 x1056 x1055
3584.23/3597.07 v -x1054 -x1053 -x1052 -x1051 x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 x1041 -x1040 x1039 -x1038 -x1037
3584.23/3597.07 v -x1036 -x1035 -x1034 x1033 -x1032 -x1031 x1030 -x1029 -x1028 -x1027 -x1026 -x1025 x1024 -x1023 -x1022 -x1021 -x1020 -x1019
3584.23/3597.07 v -x1018 x1017 -x1016 -x1015 -x1014 -x1013 -x1012 x1011 -x1010 -x1009 x1008 -x1007 -x1006 -x1005 x1004 -x1003 -x1002 -x1001 -x1000
3584.23/3597.07 v -x999 -x998 -x997 x996 x995 -x994 -x993 -x992 -x991 -x990 -x989 x988 -x987 -x986 x985 -x984 -x983 -x982 -x981 -x980 -x979
3584.23/3597.07 v -x978 -x977 x976 -x975 -x974 -x973 x972 -x971 -x970 -x969 -x968 -x967 x966 -x965 x964 -x963 -x962 -x961 -x960 -x959 -x958 x957
3584.23/3597.07 v -x956 -x955 x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 x946 -x945 -x944 -x943 x942 -x941 x940 -x939 -x938 -x937 -x936
3584.23/3597.07 v -x935 x934 -x933 -x932 -x931 -x930 -x929 -x928 x927 -x926 -x925 -x924 -x923 x922 -x921 -x920 -x919 -x918 x917 -x916 -x915 -x914
3584.23/3597.07 v x913 -x912 -x911 x910 -x909 -x908 -x907 -x906 -x905 -x904 x903 -x902 -x901 -x900 -x899 -x898 -x897 x896 -x895 -x894 -x893
3584.23/3597.07 v -x892 x891 -x890 -x889 x888 -x887 -x886 -x885 -x884 x883 -x882 -x881 -x880 -x879 -x878 -x877 x876 -x875 -x874 -x873 x872 -x871
3584.23/3597.07 v -x870 -x869 x868 -x867 -x866 -x865 x864 -x863 -x862 -x861 -x860 -x859 -x858 x857 -x856 -x855 -x854 -x853 x852 -x851 -x850
3584.23/3597.07 v -x849 -x848 x847 -x846 -x845 -x844 -x843 -x842 x841 -x840 -x839 -x838 -x837 x836 x835 -x834 -x833 -x832 -x831 x830 -x829 -x828
3584.23/3597.07 v -x827 -x826 -x825 -x824 -x823 -x822 x821 -x820 -x819 x818 -x817 -x816 -x815 -x814 -x813 -x812 x811 -x810 -x809 -x808 x807 -x806
3584.23/3597.07 v -x805 -x804 x803 -x802 -x801 -x800 x799 -x798 -x797 -x796 x795 -x794 -x793 -x792 -x791 -x790 -x789 x788 -x787 -x786 -x785
3584.23/3597.07 v -x784 -x783 -x782 x781 x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 x771 -x770 -x769 -x768 x767 -x766 -x765 -x764 x763
3584.23/3597.07 v -x762 -x761 -x760 -x759 x758 -x757 -x756 -x755 -x754 -x753 -x752 x751 -x750 -x749 -x748 -x747 x746 -x745 -x744 x743 -x742
3584.23/3597.07 v -x741 x740 -x739 -x738 -x737 -x736 -x735 x734 -x733 -x732 -x731 -x730 -x729 -x728 x727 -x726 -x725 -x724 -x723 -x722 x721 -x720
3584.23/3597.07 v -x719 -x718 x717 -x716 -x715 -x714 -x713 x712 -x711 -x710 -x709 -x708 -x707 x706 -x705 -x704 -x703 x702 -x701 -x700 -x699
3584.23/3597.07 v x698 -x697 -x696 -x695 x694 -x693 -x692 -x691 -x690 x689 -x688 -x687 -x686 x685 -x684 -x683 -x682 -x681 -x680 -x679 x678 -x677
3584.23/3597.07 v -x676 -x675 -x674 -x673 -x672 x671 x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 x662 -x661 x660 -x659 -x658 -x657 -x656
3584.23/3597.07 v -x655 -x654 -x653 -x652 x651 x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 x641 -x640 -x639 -x638 -x637 x636 -x635 -x634
3584.23/3597.07 v -x633 x632 -x631 x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 x621 -x620 -x619 -x618 x617 -x616 -x615 -x614 -x613
3584.23/3597.07 v x612 -x611 -x610 -x609 x608 -x607 -x606 -x605 -x604 -x603 x602 -x601 -x600 -x599 -x598 -x597 x596 -x595 x594 -x593 -x592 -x591
3584.23/3597.07 v -x590 -x589 -x588 x587 -x586 -x585 -x584 -x583 x582 -x581 -x580 -x579 -x578 x577 -x576 -x575 -x574 -x573 x572 -x571 -x570 x569
3584.23/3597.07 v -x568 -x567 -x566 -x565 -x564 x563 -x562 -x561 -x560 -x559 x558 -x557 -x556 -x555 -x554 -x553 x552 -x551 -x550 -x549 -x548
3584.23/3597.07 v x547 -x546 -x545 -x544 x543 -x542 -x541 -x540 -x539 -x538 x537 -x536 -x535 -x534 -x533 -x532 x531 -x530 x529 -x528 -x527 -x526
3584.23/3597.07 v -x525 -x524 -x523 -x522 x521 -x520 -x519 -x518 -x517 x516 x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 x506 x505
3584.23/3597.07 v -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 x496 -x495 -x494 -x493 -x492 x491 -x490 -x489 x488 -x487 -x486 x485 -x484 -x483
3584.23/3597.07 v -x482 -x481 -x480 -x479 -x478 x477 -x476 -x475 x474 -x473 -x472 -x471 -x470 x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462
3584.23/3597.07 v x461 x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 x452 -x451 -x450 -x449 x448 -x447 -x446 -x445 x444 -x443 -x442 -x441 -x440
3584.23/3597.07 v -x439 x438 -x437 -x436 -x435 -x434 x433 -x432 -x431 -x430 -x429 -x428 -x427 x426 x425 -x424 -x423 -x422 -x421 x420 -x419 -x418
3584.23/3597.07 v -x417 -x416 -x415 -x414 x413 -x412 -x411 -x410 x409 -x408 -x407 -x406 -x405 x404 -x403 -x402 -x401 -x400 -x399 -x398 x397
3584.23/3597.07 v -x396 -x395 -x394 x393 -x392 -x391 -x390 -x389 -x388 -x387 x386 x385 -x384 -x383 -x382 -x381 -x380 x379 -x378 -x377 -x376 -x375
3584.23/3597.07 v -x374 -x373 -x372 x371 -x370 x369 -x368 -x367 -x366 x365 -x364 -x363 -x362 -x361 -x360 x359 -x358 -x357 -x356 -x355 -x354
3584.23/3597.07 v x353 -x352 -x351 -x350 x349 -x348 -x347 -x346 -x345 x344 -x343 -x342 -x341 -x340 -x339 -x338 x337 -x336 -x335 -x334 x333 -x332
3584.23/3597.07 v -x331 -x330 -x329 -x328 -x327 x326 -x325 -x324 -x323 x322 -x321 -x320 x319 -x318 -x317 -x316 -x315 -x314 -x313 x312 -x311
3584.23/3597.07 v x310 -x309 -x308 -x307 -x306 -x305 -x304 x303 -x302 -x301 -x300 -x299 -x298 x297 -x296 -x295 -x294 -x293 x292 -x291 -x290 -x289
3584.23/3597.07 v -x288 x287 -x286 -x285 -x284 -x283 x282 -x281 -x280 -x279 x278 -x277 -x276 -x275 -x274 -x273 -x272 x271 x270 -x269 -x268
3584.23/3597.07 v -x267 -x266 -x265 -x264 -x263 x262 -x261 -x260 -x259 -x258 -x257 x256 -x255 -x254 -x253 x252 -x251 -x250 -x249 -x248 x247 -x246
3584.23/3597.07 v -x245 -x244 -x243 x242 -x241 -x240 -x239 -x238 x237 -x236 -x235 x234 -x233 -x232 -x231 -x230 -x229 x228 -x227 -x226 -x225
3584.23/3597.07 v -x224 -x223 -x222 x221 -x220 x219 -x218 -x217 -x216 -x215 -x214 x213 -x212 -x211 -x210 -x209 -x208 -x207 x206 -x205 -x204 -x203
3584.23/3597.07 v -x202 x201 -x200 -x199 -x198 -x197 x196 -x195 -x194 x193 -x192 -x191 x190 -x189 -x188 -x187 -x186 x185 -x184 -x183 -x182 -x181
3584.23/3597.07 v -x180 -x179 x178 -x177 -x176 -x175 -x174 -x173 -x172 x171 -x170 -x169 x168 -x167 -x166 x165 -x164 -x163 -x162 -x161 -x160
3584.23/3597.07 v -x159 x158 -x157 -x156 x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 x146 -x145 -x144 x143 -x142 -x141 -x140 -x139 x138
3584.23/3597.07 v -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 -x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 -x117
3584.23/3597.07 v x116 x115 -x114 -x113 -x112 -x111 -x110 -x109 x108 -x107 -x106 -x105 x104 -x103 -x102 -x101 x100 -x99 -x98 -x97 -x96 -x95 x94
3584.23/3597.07 v -x93 -x92 -x91 -x90 x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 x77 -x76 -x75 x74 -x73 -x72 -x71 -x70 x69 -x68
3584.23/3597.07 v -x67 -x66 -x65 -x64 -x63 -x62 x61 -x60 x59 -x58 -x57 -x56 x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 x47 -x46 -x45 x44 -x43 -x42
3584.23/3597.07 v -x41 -x40 x39 -x38 -x37 -x36 x35 -x34 -x33 -x32 -x31 x30 -x29 -x28 -x27 -x26 -x25 x24 -x23 -x22 -x21 -x20 -x19 x18 -x17 -x16
3584.23/3597.07 v -x15 -x14 x13 -x12 -x11 -x10 -x9 -x8 x7 -x6 -x5 x4 -x3 -x2 -x1
3584.23/3597.07 c SCIP Status : solving was interrupted [time limit reached]
3584.23/3597.07 c Total Time : 3597.01
3584.23/3597.07 c solving : 3597.01
3584.23/3597.07 c presolving : 1.22 (included in solving)
3584.23/3597.07 c reading : 0.10 (included in solving)
3584.23/3597.07 c copying : 1.96 (10 #copies) (minimal 0.17, maximal 0.23, average 0.20)
3584.23/3597.07 c Original Problem :
3584.23/3597.07 c Problem name : HOME/instance-4526560-1751630603.wbo
3584.23/3597.07 c Variables : 30820 (30820 binary, 0 integer, 0 implicit integer, 0 continuous)
3584.23/3597.07 c Constraints : 57591 initial, 57591 maximal
3584.23/3597.07 c Objective : minimize, 28570 non-zeros (abs.min = 1, abs.max = 1)
3584.23/3597.07 c Presolved Problem :
3584.23/3597.07 c Problem name : t_HOME/instance-4526560-1751630603.wbo
3584.23/3597.07 c Variables : 59365 (30820 binary, 0 integer, 28545 implicit integer, 0 continuous)
3584.23/3597.07 c Constraints : 57591 initial, 57621 maximal
3584.23/3597.07 c Objective : minimize, 28570 non-zeros (abs.min = 1, abs.max = 1)
3584.23/3597.07 c Nonzeros : 259380 constraint, 59340 clique table
3584.23/3597.07 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3584.23/3597.07 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.23/3597.07 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.23/3597.07 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3584.23/3597.07 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.23/3597.07 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.23/3597.07 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.23/3597.07 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3584.23/3597.07 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.23/3597.07 c implics : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3584.23/3597.07 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.23/3597.07 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.23/3597.07 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.23/3597.07 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.23/3597.07 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3584.23/3597.07 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.23/3597.07 c trivial : 0.01 0.00 3 0 0 0 0 0 0 0 0 0
3584.23/3597.07 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.23/3597.07 c dualfix : 0.01 0.00 3 0 0 0 0 0 0 0 0 0
3584.23/3597.07 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.23/3597.07 c probing : 0.59 0.00 1 0 25 0 0 0 0 0 0 0
3584.23/3597.07 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3584.23/3597.07 c symmetry : 0.18 0.00 1 0 0 0 0 0 0 0 0 0
3584.23/3597.07 c vbounds : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3584.23/3597.07 c knapsack : 0.02 0.00 3 0 0 0 0 0 0 0 0 0
3584.23/3597.07 c setppc : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3584.23/3597.07 c linear : 0.10 0.01 5 0 0 0 28570 0 0 0 0 0
3584.23/3597.07 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.23/3597.07 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.23/3597.07 c indicator : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3584.23/3597.07 c components : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
3584.23/3597.07 c root node : - - - 0 - - 0 - - - - -
3584.23/3597.07 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3584.23/3597.07 c benderslp : 0 0 0 0 670 0 0 6149 0 0 0 0 0 0 0
3584.23/3597.07 c integral : 0 0 0 0 670 0 0 6149 0 0 0 0 0 0 1340
3584.23/3597.07 c knapsack : 1 1 0 118517 0 0 0 6143 0 0 0 0 0 0 0
3584.23/3597.07 c setppc : 450 450 12 126776 0 0 0 6141 1486 0 2202 0 0 0 0
3584.23/3597.07 c linear : 28570 28570 12 126776 0 0 0 28 22430 0 38 0 0 0 0
3584.23/3597.07 c logicor : 0+ 30 11 76 0 0 0 0 0 0 0 0 0 0 0
3584.23/3597.07 c benders : 0 0 0 0 0 0 0 16 0 0 0 0 0 0 0
3584.23/3597.07 c indicator : 28570 28570 229 129898 0 0 0 14 22103 0 39 0 0 0 0
3584.23/3597.07 c fixedvar : 0 0 0 0 0 0 0 15 0 0 0 0 0 0 0
3584.23/3597.07 c countsols : 0 0 0 0 0 0 0 15 0 0 0 0 0 0 0
3584.23/3597.07 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3584.23/3597.07 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3584.23/3597.07 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.23/3597.07 c integral : 1191.56 0.00 0.00 0.00 1183.34 0.00 0.00 8.22 0.00 0.00
3584.23/3597.07 c knapsack : 8.63 0.00 0.00 5.21 0.00 0.00 0.00 3.31 0.00 0.11
3584.23/3597.07 c setppc : 0.96 0.00 0.00 0.63 0.00 0.00 0.00 0.25 0.00 0.09
3584.23/3597.07 c linear : 0.91 0.01 0.05 0.62 0.00 0.00 0.00 0.12 0.01 0.10
3584.23/3597.07 c logicor : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3584.23/3597.07 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.23/3597.07 c indicator : 141.47 0.00 0.82 134.47 0.00 0.00 0.00 0.16 0.01 6.00
3584.23/3597.07 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.23/3597.07 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.23/3597.07 c components : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
3584.23/3597.07 c Propagators : #Propagate #ResProp Cutoffs DomReds
3584.23/3597.07 c dualfix : 3 0 0 0
3584.23/3597.07 c genvbounds : 0 0 0 0
3584.23/3597.07 c nlobbt : 0 0 0 0
3584.23/3597.07 c obbt : 0 0 0 0
3584.23/3597.07 c probing : 0 0 0 0
3584.23/3597.07 c pseudoobj : 1930 0 0 0
3584.23/3597.07 c redcost : 1624 0 0 0
3584.23/3597.07 c rootredcost : 10 0 0 0
3584.23/3597.07 c symmetry : 0 0 0 0
3584.23/3597.07 c vbounds : 68249 0 0 0
3584.23/3597.07 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3584.23/3597.07 c dualfix : 0.01 0.00 0.01 0.01 0.00 0.00
3584.23/3597.07 c genvbounds : 0.03 0.00 0.00 0.02 0.00 0.00
3584.23/3597.07 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3584.23/3597.07 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3584.23/3597.07 c probing : 0.59 0.00 0.59 0.00 0.00 0.00
3584.23/3597.07 c pseudoobj : 0.49 0.00 0.00 0.49 0.00 0.00
3584.23/3597.07 c redcost : 2.46 0.00 0.00 2.45 0.00 0.00
3584.23/3597.07 c rootredcost : 0.03 0.00 0.00 0.03 0.00 0.00
3584.23/3597.07 c symmetry : 0.24 0.00 0.18 0.05 0.00 0.01
3584.23/3597.07 c vbounds : 0.13 0.00 0.02 0.10 0.00 0.01
3584.23/3597.07 c Symmetry :
3584.23/3597.07 c orbitopal red. : 0 reductions applied, 0 cutoffs
3584.23/3597.07 c orbital reduction: 0 reductions applied, 0 cutoffs
3584.23/3597.07 c lexicographic red: 0 reductions applied, 0 cutoffs
3584.23/3597.07 c shadow tree time : 0.00 s
3584.23/3597.07 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3584.23/3597.07 c propagation : 0.00 0 0 - 0 0.0 0 0.0 - - -
3584.23/3597.07 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3584.23/3597.07 c bound exceed. LP : 1.27 34 7 - 2311 2118.0 0 0.0 0 0.0 270
3584.23/3597.07 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3584.23/3597.07 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3584.23/3597.07 c applied globally : 0.00 - - 0 70 2521.2 - - 0 - -
3584.23/3597.07 c applied locally : - - - 0 0 0.0 - - 0 - -
3584.23/3597.07 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3584.23/3597.07 c cut pool : 0.99 - 390 24 - - 9242 42360 - - - - - (maximal pool size: 5112)
3584.23/3597.07 c aggregation : 3.93 0.00 128 12 0 0 0 0 0 0 0 0 0
3584.23/3597.07 c > cmir : - - - - - - - 0 0 0 0 0 -
3584.23/3597.07 c > flowcover : - - - - - - - 0 0 0 0 0 -
3584.23/3597.07 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3584.23/3597.07 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.23/3597.07 c clique : 50.98 0.00 12 12 0 0 0 0 0 0 0 0 0
3584.23/3597.07 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.23/3597.07 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.23/3597.07 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.23/3597.07 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.23/3597.07 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.23/3597.07 c gomory : 8.92 0.00 106 10 0 0 6651 13276 0 3602 3602 0 0
3584.23/3597.07 c > gomorymi : - - - - - - - 2535 0 32 32 0 -
3584.23/3597.07 c > strongcg : - - - - - - - 10741 0 3570 3570 0 -
3584.23/3597.07 c impliedbounds : 0.64 0.00 128 12 0 0 0 0 0 0 0 0 0
3584.23/3597.07 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.23/3597.07 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.23/3597.07 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.23/3597.07 c mcf : 0.03 0.00 1 1 0 0 0 0 0 0 0 0 0
3584.23/3597.07 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.23/3597.07 c mixing : 0.00 0.00 128 12 0 0 0 0 0 0 0 0 0
3584.23/3597.07 c multilinear : 0.00 0.00 25 12 0 0 0 0 0 0 0 0 0
3584.23/3597.07 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.23/3597.08 c rapidlearning : 0.08 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.23/3597.08 c rlt : 0.00 0.00 37 10 0 0 0 0 0 0 0 0 0
3584.23/3597.08 c zerohalf : 4.78 0.00 108 12 0 0 2591 29084 0 16652 16652 0 0
3584.23/3597.08 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3584.23/3597.08 c hybrid : 0.24 0.00 282 12 20254 0 22106 970 0 1805
3584.23/3597.08 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3584.23/3597.08 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3584.23/3597.08 c Pricers : ExecTime SetupTime Calls Vars
3584.23/3597.08 c problem variables: 0.00 - 0 0
3584.23/3597.08 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3584.23/3597.08 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3584.23/3597.08 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3584.23/3597.08 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3584.23/3597.08 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3584.23/3597.08 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3584.23/3597.08 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3584.23/3597.08 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3584.23/3597.08 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3584.23/3597.08 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3584.23/3597.08 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3584.23/3597.08 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3584.23/3597.08 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3584.23/3597.08 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3584.23/3597.08 c relpscost : 1183.34 0.00 670 0 0 0 0 0 0 1340
3584.23/3597.08 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3584.23/3597.08 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3584.23/3597.08 c LP solutions : 0.00 - - 0 0
3584.23/3597.08 c relax solutions : 0.00 - - 0 0
3584.23/3597.08 c pseudo solutions : 0.00 - - 0 0
3584.23/3597.08 c strong branching : 0.02 - - 0 0
3584.23/3597.08 c actconsdiving : 0.00 0.00 0 0 0
3584.23/3597.08 c adaptivediving : 19.45 0.00 5 0 0
3584.23/3597.08 c alns : 15.72 0.00 5 5 5
3584.23/3597.08 c bound : 0.00 0.00 0 0 0
3584.23/3597.08 c clique : 1.52 0.00 1 1 1
3584.23/3597.08 c coefdiving : 0.00 0.00 0 0 0
3584.23/3597.08 c completesol : 0.00 0.00 0 0 0
3584.23/3597.08 c conflictdiving : 20.66 0.00 7 1 1
3584.23/3597.08 c crossover : 0.74 0.00 1 1 1
3584.23/3597.08 c dins : 0.00 0.00 0 0 0
3584.23/3597.08 c distributiondivin: 52.86 0.00 6 2 2
3584.23/3597.08 c dps : 0.00 0.00 0 0 0
3584.23/3597.08 c dualval : 0.00 0.00 0 0 0
3584.23/3597.08 c farkasdiving : 0.00 0.00 0 0 0
3584.23/3597.08 c feasjump : 0.00 0.00 0 0 0
3584.23/3597.08 c feaspump : 15.70 0.00 1 0 0
3584.23/3597.08 c fixandinfer : 0.00 0.00 0 0 0
3584.23/3597.08 c fracdiving : 18.23 0.00 6 1 1
3584.23/3597.08 c gins : 0.63 0.00 1 0 0
3584.23/3597.08 c guideddiving : 27.67 0.00 6 1 1
3584.23/3597.08 c indcoefdiving : 0.00 0.00 0 0 0
3584.23/3597.08 c indicator : 0.00 0.00 0 0 0
3584.23/3597.08 c indicatordiving : 0.00 0.00 0 0 0
3584.23/3597.08 c indoneopt : 29.83 0.01 10 0 0
3584.23/3597.08 c indrounding : 0.00 0.00 0 0 0
3584.23/3597.08 c indtwoopt : 0.00 0.01 0 0 0
3584.23/3597.08 c intdiving : 0.00 0.00 0 0 0
3584.23/3597.08 c intshifting : 0.00 0.00 0 0 0
3584.23/3597.08 c linesearchdiving : 17.09 0.00 7 0 0
3584.23/3597.08 c localbranching : 0.00 0.00 0 0 0
3584.23/3597.08 c locks : 5.65 0.00 1 0 0
3584.23/3597.08 c lpface : 12.26 0.00 1 0 0
3584.23/3597.08 c mpec : 0.00 0.00 0 0 0
3584.23/3597.08 c multistart : 0.00 0.00 0 0 0
3584.23/3597.08 c mutation : 0.00 0.00 0 0 0
3584.23/3597.08 c nlpdiving : 0.00 0.00 0 0 0
3584.23/3597.08 c objpscostdiving : 41.87 0.00 4 0 0
3584.23/3597.08 c octane : 0.00 0.00 0 0 0
3584.23/3597.08 c ofins : 0.00 0.00 0 0 0
3584.23/3597.08 c oneopt : 0.19 0.00 10 1 1
3584.23/3597.08 c padm : 0.00 0.00 0 0 0
3584.23/3597.08 c proximity : 0.00 0.00 0 0 0
3584.23/3597.08 c pscostdiving : 47.06 0.00 6 0 0
3584.23/3597.08 c randrounding : 9.90 0.00 190 0 0
3584.23/3597.08 c rens : 0.69 0.00 1 0 0
3584.23/3597.08 c reoptsols : 0.00 0.00 0 0 0
3584.23/3597.08 c repair : 0.00 0.00 0 0 0
3584.23/3597.08 c rins : 0.78 0.00 1 0 0
3584.23/3597.08 c rootsoldiving : 26.02 0.00 4 0 0
3584.23/3597.08 c rounding : 0.96 0.00 387 0 0
3584.23/3597.08 c scheduler : 0.00 0.00 0 0 0
3584.23/3597.08 c shiftandpropagate: 0.00 0.00 0 0 0
3584.23/3597.08 c shifting : 1.88 0.00 222 0 0
3584.23/3597.08 c simplerounding : 0.00 0.00 0 0 0
3584.23/3597.08 c smallcard : 0.00 0.00 0 0 0
3584.23/3597.08 c subnlp : 0.00 0.00 0 0 0
3584.23/3597.08 c trivial : 0.04 0.00 2 0 0
3584.23/3597.08 c trivialnegation : 0.00 0.00 0 0 0
3584.23/3597.08 c trustregion : 0.00 0.00 0 0 0
3584.23/3597.08 c trysol : 0.03 0.00 1 0 0
3584.23/3597.08 c twoopt : 0.00 0.00 0 0 0
3584.23/3597.08 c undercover : 0.00 0.00 0 0 0
3584.23/3597.08 c vbounds : 95.64 0.00 1 0 0
3584.23/3597.08 c veclendiving : 14.29 0.00 6 0 0
3584.23/3597.08 c zeroobj : 0.00 0.00 0 0 0
3584.23/3597.08 c zirounding : 0.62 0.00 669 0 0
3584.23/3597.08 c other solutions : - - - 0 -
3584.23/3597.08 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3584.23/3597.08 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.23/3597.08 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.23/3597.08 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.23/3597.08 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.23/3597.08 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.23/3597.08 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.23/3597.08 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.23/3597.08 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.23/3597.08 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.23/3597.08 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3584.23/3597.08 c primal LP : 2.22 120 0 0.00 0.00 2.22 120
3584.23/3597.08 c dual LP : 1843.97 952 2997004 3148.11 1625.30 0.00 0
3584.23/3597.08 c lex dual LP : 0.00 0 0 0.00 -
3584.23/3597.08 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3584.23/3597.08 c resolve instable : 0.00 0 0 0.00 -
3584.23/3597.08 c diving/probing LP: 286.64 1028 1130433 1099.64 3943.79
3584.23/3597.08 c strong branching : 1041.61 3419 1603660 469.04 1539.59 - - 2451
3584.23/3597.08 c (at root node) : - 40 20670 516.75 -
3584.23/3597.08 c conflict analysis: 0.36 27 270 10.00 746.21
3584.23/3597.08 c B&B Tree :
3584.23/3597.08 c number of runs : 1
3584.23/3597.08 c nodes : 670 (670 internal, 0 leaves)
3584.23/3597.08 c feasible leaves : 0
3584.23/3597.08 c infeas. leaves : 0
3584.23/3597.08 c objective leaves : 0
3584.23/3597.08 c nodes (total) : 670 (670 internal, 0 leaves)
3584.23/3597.08 c nodes left : 671
3584.23/3597.08 c max depth : 55
3584.23/3597.08 c max depth (total): 55
3584.23/3597.08 c backtracks : 104 (15.5%)
3584.23/3597.08 c early backtracks : 0 (0.0%)
3584.23/3597.08 c nodes exc. ref. : 0 (0.0%)
3584.23/3597.08 c delayed cutoffs : 0
3584.23/3597.08 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3584.23/3597.08 c avg switch length: 3.38
3584.23/3597.08 c switching time : 2.86
3584.23/3597.08 c Root Node :
3584.23/3597.08 c First LP value : +0.00000000000000e+00
3584.23/3597.08 c First LP Iters : 5120 (7261.91 Iter/sec)
3584.23/3597.08 c First LP Time : 0.71
3584.23/3597.08 c Final Dual Bound : +0.00000000000000e+00
3584.23/3597.08 c Final Root Iters : 110873
3584.23/3597.08 c Root LP Estimate : +3.77693407375689e+02
3584.23/3597.08 c Solution :
3584.23/3597.08 c Solutions found : 13 (13 improvements)
3584.23/3597.08 c First Solution : +5.71400000000000e+03 (in run 1, after 1 nodes, 3.39 seconds, depth 452, found by <clique>)
3584.23/3597.08 c Gap First Sol. : infinite
3584.23/3597.08 c Gap Last Sol. : infinite
3584.23/3597.08 c Primal Bound : +5.23000000000000e+02 (in run 1, after 648 nodes, 3523.43 seconds, depth 45, found by <crossover>)
3584.23/3597.08 c Dual Bound : +0.00000000000000e+00
3584.23/3597.08 c Gap : infinite
3584.23/3597.08 c Integrals : Total Avg%
3584.23/3597.08 c primal-dual : 359700.89 100.00
3584.23/3597.08 c primal-ref : - - (not evaluated)
3584.23/3597.08 c dual-ref : - - (not evaluated)
3584.62/3597.42 c Time complete: 3584.66.
OK 523
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: 63708 MiB (59473 MiB free)
memory of node 1: 64465 MiB (59733 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4526560-1751630603/watcher-4526560-1751630603 -o /tmp/evaluation-result-4526560-1751630603/solver-4526560-1751630603 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751624435-89174 --watchdog 3760 pbscip -f HOME/instance-4526560-1751630603.wbo -t 3600 -j 2 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=91143, runsolver pid=91140
[startup+0.100062 s]*
/proc/loadavg: 4.09 4.11 4.09 5/263 91144
/proc/meminfo: memFree=122020240/131249988 swapFree=33010160/33010684
[pid=91143] ppid=91140 vsize=89804 memory=61312 CPUtime=0.09 cores=0,2
/proc/91143/stat : 91143 (pbscip) R 91140 91143 89164 0 -1 4194304 12411 0 0 0 8 1 0 0 20 0 1 0 78737833 91959296 15328 18446744073709551615 4235264 18693293 140734244815648 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53678080 140734244817287 140734244817386 140734244817386 140734244822990 0
/proc/91143/statm: 22451 15328 3232 3530 0 13902 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 89804 KiB
Current children cumulated memory: 61312 KiB
[startup+0.205593 s]*
/proc/loadavg: 4.09 4.11 4.09 5/263 91144
/proc/meminfo: memFree=122020240/131249988 swapFree=33010160/33010684
[pid=91143] ppid=91140 vsize=160520 memory=131164 CPUtime=0.2 cores=0,2
/proc/91143/stat : 91143 (pbscip) R 91140 91143 89164 0 -1 4194304 29767 0 0 0 16 4 0 0 20 0 1 0 78737833 164372480 32791 18446744073709551615 4235264 18693293 140734244815648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53678080 140734244817287 140734244817386 140734244817386 140734244822990 0
/proc/91143/statm: 40130 32791 3552 3530 0 31581 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 160520 KiB
Current children cumulated memory: 131164 KiB
[startup+0.305408 s]*
/proc/loadavg: 4.09 4.11 4.09 5/263 91144
/proc/meminfo: memFree=122004364/131249988 swapFree=33010160/33010684
[pid=91143] ppid=91140 vsize=204592 memory=175196 CPUtime=0.29 cores=0,2
/proc/91143/stat : 91143 (pbscip) R 91140 91143 89164 0 -1 4194304 40770 0 0 0 24 5 0 0 20 0 1 0 78737833 209502208 43799 18446744073709551615 4235264 18693293 140734244815648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53678080 140734244817287 140734244817386 140734244817386 140734244822990 0
/proc/91143/statm: 51148 43799 3552 3530 0 42599 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 204592 KiB
Current children cumulated memory: 175196 KiB
[startup+0.700193 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 91144
/proc/meminfo: memFree=121947920/131249988 swapFree=33010160/33010684
[pid=91143] ppid=91140 vsize=275372 memory=240676 CPUtime=0.68 cores=0,2
/proc/91143/stat : 91143 (pbscip) R 91140 91143 89164 0 -1 4194304 58456 0 0 0 60 8 0 0 20 0 1 0 78737833 281980928 60169 18446744073709551615 4235264 18693293 140734244815648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53678080 140734244817287 140734244817386 140734244817386 140734244822990 0
/proc/91143/statm: 68843 60169 3648 3530 0 60294 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 275372 KiB
Current children cumulated memory: 240676 KiB
[startup+1.50015 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 91144
/proc/meminfo: memFree=121931792/131249988 swapFree=33010160/33010684
[pid=91143] ppid=91140 vsize=413764 memory=287220 CPUtime=1.48 cores=0,2
/proc/91143/stat : 91143 (pbscip) R 91140 91143 89164 0 -1 4194304 77857 0 0 0 137 11 0 0 20 0 1 0 78737833 423694336 71805 18446744073709551615 4235264 18693293 140734244815648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53678080 140734244817287 140734244817386 140734244817386 140734244822990 0
/proc/91143/statm: 103441 71805 3680 3530 0 94892 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 413764 KiB
Current children cumulated memory: 287220 KiB
[startup+3.10569 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 91144
/proc/meminfo: memFree=121799300/131249988 swapFree=33010160/33010684
[pid=91143] ppid=91140 vsize=494000 memory=368564 CPUtime=3.08 cores=0,2
/proc/91143/stat : 91143 (pbscip) R 91140 91143 89164 0 -1 4194304 96518 0 0 0 293 15 0 0 20 0 1 0 78737833 505856000 92141 18446744073709551615 4235264 18693293 140734244815648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53678080 140734244817287 140734244817386 140734244817386 140734244822990 0
/proc/91143/statm: 123500 92141 3712 3530 0 114951 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 494000 KiB
Current children cumulated memory: 368564 KiB
[startup+6.30013 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 91144
/proc/meminfo: memFree=121751080/131249988 swapFree=33010160/33010684
[pid=91143] ppid=91140 vsize=546468 memory=417716 CPUtime=6.26 cores=0,2
/proc/91143/stat : 91143 (pbscip) R 91140 91143 89164 0 -1 4194304 108824 0 0 0 609 17 0 0 20 0 1 0 78737833 559583232 104429 18446744073709551615 4235264 18693293 140734244815648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53678080 140734244817287 140734244817386 140734244817386 140734244822990 0
/proc/91143/statm: 136617 104429 3808 3530 0 128068 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 546468 KiB
Current children cumulated memory: 417716 KiB
[startup+12.7002 s]
/proc/loadavg: 4.16 4.12 4.09 5/263 91144
/proc/meminfo: memFree=121694632/131249988 swapFree=33010160/33010684
[pid=91143] ppid=91140 vsize=622112 memory=476852 CPUtime=12.64 cores=0,2
/proc/91143/stat : 91143 (pbscip) R 91140 91143 89164 0 -1 4194304 123690 0 0 0 1244 20 0 0 20 0 1 0 78737833 637042688 119213 18446744073709551615 4235264 18693293 140734244815648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53678080 140734244817287 140734244817386 140734244817386 140734244822990 0
/proc/91143/statm: 155528 119213 3808 3530 0 146979 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 622112 KiB
Current children cumulated memory: 476852 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 91144
/proc/meminfo: memFree=121695088/131249988 swapFree=33010160/33010684
[pid=91143] ppid=91140 vsize=625184 memory=480180 CPUtime=25.39 cores=0,2
/proc/91143/stat : 91143 (pbscip) R 91140 91143 89164 0 -1 4194304 124530 0 0 0 2519 20 0 0 20 0 1 0 78737833 640188416 120045 18446744073709551615 4235264 18693293 140734244815648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53678080 140734244817287 140734244817386 140734244817386 140734244822990 0
/proc/91143/statm: 156296 120045 3808 3530 0 147747 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 625184 KiB
Current children cumulated memory: 480180 KiB
[startup+51.1059 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 91144
/proc/meminfo: memFree=121671020/131249988 swapFree=33010160/33010684
[pid=91143] ppid=91140 vsize=628896 memory=483892 CPUtime=50.9 cores=0,2
/proc/91143/stat : 91143 (pbscip) R 91140 91143 89164 0 -1 4194304 125451 0 0 0 5070 20 0 0 20 0 1 0 78737833 643989504 120973 18446744073709551615 4235264 18693293 140734244815648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53678080 140734244817287 140734244817386 140734244817386 140734244822990 0
/proc/91143/statm: 157224 120973 3808 3530 0 148675 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 628896 KiB
Current children cumulated memory: 483892 KiB
[startup+102.3 s]
/proc/loadavg: 4.40 4.19 4.12 5/263 91146
/proc/meminfo: memFree=121378800/131249988 swapFree=33010160/33010684
[pid=91143] ppid=91140 vsize=930660 memory=777908 CPUtime=101.88 cores=0,2
/proc/91143/stat : 91143 (pbscip) R 91140 91143 89164 0 -1 4194304 199010 0 0 0 10156 32 0 0 20 0 1 0 78737833 952995840 194477 18446744073709551615 4235264 18693293 140734244815648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53678080 140734244817287 140734244817386 140734244817386 140734244822990 0
/proc/91143/statm: 232665 194477 3840 3530 0 224116 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 930660 KiB
Current children cumulated memory: 777908 KiB
[startup+162.3 s]
/proc/loadavg: 4.21 4.17 4.11 5/262 91148
/proc/meminfo: memFree=121346752/131249988 swapFree=33010160/33010684
[pid=91143] ppid=91140 vsize=931164 memory=779572 CPUtime=161.71 cores=0,2
/proc/91143/stat : 91143 (pbscip) R 91140 91143 89164 0 -1 4194304 199508 0 0 0 16139 32 0 0 20 0 1 0 78737833 953511936 194893 18446744073709551615 4235264 18693293 140734244815648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53678080 140734244817287 140734244817386 140734244817386 140734244822990 0
/proc/91143/statm: 232791 194893 3872 3530 0 224242 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 931164 KiB
Current children cumulated memory: 779572 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.15 4.11 5/263 91153
/proc/meminfo: memFree=121331896/131249988 swapFree=33010160/33010684
[pid=91143] ppid=91140 vsize=931164 memory=783284 CPUtime=221.55 cores=0,2
/proc/91143/stat : 91143 (pbscip) R 91140 91143 89164 0 -1 4194304 200450 0 0 0 22123 32 0 0 20 0 1 0 78737833 953511936 195821 18446744073709551615 4235264 18693293 140734244815648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53678080 140734244817287 140734244817386 140734244817386 140734244822990 0
/proc/91143/statm: 232791 195821 3872 3530 0 224242 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 931164 KiB
Current children cumulated memory: 783284 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/263 91155
/proc/meminfo: memFree=121314500/131249988 swapFree=33010160/33010684
[pid=91143] ppid=91140 vsize=931164 memory=783796 CPUtime=281.38 cores=0,2
/proc/91143/stat : 91143 (pbscip) R 91140 91143 89164 0 -1 4194304 200586 0 0 0 28106 32 0 0 20 0 1 0 78737833 953511936 195949 18446744073709551615 4235264 18693293 140734244815648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53678080 140734244817287 140734244817386 140734244817386 140734244822990 0
/proc/91143/statm: 232791 195949 3872 3530 0 224242 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 931164 KiB
Current children cumulated memory: 783796 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/264 91162
/proc/meminfo: memFree=121123484/131249988 swapFree=33010160/33010684
[pid=91143] ppid=91140 vsize=1072284 memory=926644 CPUtime=341.18 cores=0,2
/proc/91143/stat : 91143 (pbscip) R 91140 91143 89164 0 -1 4194304 236261 0 0 0 34080 38 0 0 20 0 1 0 78737833 1098018816 231661 18446744073709551615 4235264 18693293 140734244815648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53678080 140734244817287 140734244817386 140734244817386 140734244822990 0
/proc/91143/statm: 268071 231661 3936 3530 0 259522 0
Current children cumulated CPU time: 341.18 s
Current children cumulated vsize: 1072284 KiB
Current children cumulated memory: 926644 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/264 91164
/proc/meminfo: memFree=121073300/131249988 swapFree=33010160/33010684
[pid=91143] ppid=91140 vsize=1116840 memory=958004 CPUtime=401.01 cores=0,2
/proc/91143/stat : 91143 (pbscip) R 91140 91143 89164 0 -1 4194304 244091 0 0 0 40061 40 0 0 20 0 1 0 78737833 1143644160 239501 18446744073709551615 4235264 18693293 140734244815648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53678080 140734244817287 140734244817386 140734244817386 140734244822990 0
/proc/91143/statm: 279210 239501 3968 3530 0 270661 0
Current children cumulated CPU time: 401.01 s
Current children cumulated vsize: 1116840 KiB
Current children cumulated memory: 958004 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/264 91167
/proc/meminfo: memFree=121035596/131249988 swapFree=33010160/33010684
[pid=91143] ppid=91140 vsize=1116840 memory=958132 CPUtime=460.82 cores=0,2
/proc/91143/stat : 91143 (pbscip) R 91140 91143 89164 0 -1 4194304 244094 0 0 0 46042 40 0 0 20 0 1 0 78737833 1143644160 239533 18446744073709551615 4235264 18693293 140734244815648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53678080 140734244817287 140734244817386 140734244817386 140734244822990 0
/proc/91143/statm: 279210 239533 3968 3530 0 270661 0
################
# More data... #
################
/proc/loadavg: 4.19 4.17 4.12 5/262 91657
/proc/meminfo: memFree=97296944/131249988 swapFree=33010160/33010684
[pid=91143] ppid=91140 vsize=1371508 memory=1210876 CPUtime=3151.2 cores=0,2
/proc/91143/stat : 91143 (pbscip) R 91140 91143 89164 0 -1 4194304 294262 0 0 0 315069 51 0 0 20 0 1 0 78737833 1404424192 302719 18446744073709551615 4235264 18693293 140734244815648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53678080 140734244817287 140734244817386 140734244817386 140734244822990 0
/proc/91143/statm: 342877 302719 3968 3530 0 334328 0
Current children cumulated CPU time: 3151.2 s
Current children cumulated vsize: 1371508 KiB
Current children cumulated memory: 1210876 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.15 4.11 5/262 91659
/proc/meminfo: memFree=97438584/131249988 swapFree=33010160/33010684
[pid=91143] ppid=91140 vsize=1371508 memory=1210876 CPUtime=3210.98 cores=0,2
/proc/91143/stat : 91143 (pbscip) R 91140 91143 89164 0 -1 4194304 294262 0 0 0 321047 51 0 0 20 0 1 0 78737833 1404424192 302719 18446744073709551615 4235264 18693293 140734244815648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53678080 140734244817287 140734244817386 140734244817386 140734244822990 0
/proc/91143/statm: 342877 302719 3968 3530 0 334328 0
Current children cumulated CPU time: 3210.98 s
Current children cumulated vsize: 1371508 KiB
Current children cumulated memory: 1210876 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.16 4.11 5/263 91664
/proc/meminfo: memFree=97378304/131249988 swapFree=33010160/33010684
[pid=91143] ppid=91140 vsize=1376952 memory=1210876 CPUtime=3270.75 cores=0,2
/proc/91143/stat : 91143 (pbscip) R 91140 91143 89164 0 -1 4194304 294263 0 0 0 327024 51 0 0 20 0 1 0 78737833 1409998848 302719 18446744073709551615 4235264 18693293 140734244815648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53678080 140734244817287 140734244817386 140734244817386 140734244822990 0
/proc/91143/statm: 344238 302719 3968 3530 0 335689 0
Current children cumulated CPU time: 3270.75 s
Current children cumulated vsize: 1376952 KiB
Current children cumulated memory: 1210876 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/263 91666
/proc/meminfo: memFree=97397132/131249988 swapFree=33010160/33010684
[pid=91143] ppid=91140 vsize=1402452 memory=1211900 CPUtime=3330.53 cores=0,2
/proc/91143/stat : 91143 (pbscip) R 91140 91143 89164 0 -1 4194304 294740 0 0 0 333001 52 0 0 20 0 1 0 78737833 1436110848 302975 18446744073709551615 4235264 18693293 140734244815648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53678080 140734244817287 140734244817386 140734244817386 140734244822990 0
/proc/91143/statm: 350613 302975 3968 3530 0 342064 0
Current children cumulated CPU time: 3330.53 s
Current children cumulated vsize: 1402452 KiB
Current children cumulated memory: 1211900 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/263 91672
/proc/meminfo: memFree=97429900/131249988 swapFree=33010160/33010684
[pid=91143] ppid=91140 vsize=1402452 memory=1211900 CPUtime=3390.3 cores=0,2
/proc/91143/stat : 91143 (pbscip) R 91140 91143 89164 0 -1 4194304 294838 0 0 0 338978 52 0 0 20 0 1 0 78737833 1436110848 302975 18446744073709551615 4235264 18693293 140734244815648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53678080 140734244817287 140734244817386 140734244817386 140734244822990 0
/proc/91143/statm: 350613 302975 3968 3530 0 342064 0
Current children cumulated CPU time: 3390.3 s
Current children cumulated vsize: 1402452 KiB
Current children cumulated memory: 1211900 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/263 91685
/proc/meminfo: memFree=97420692/131249988 swapFree=33010160/33010684
[pid=91143] ppid=91140 vsize=1402452 memory=1211900 CPUtime=3450.06 cores=0,2
/proc/91143/stat : 91143 (pbscip) R 91140 91143 89164 0 -1 4194304 294842 0 0 0 344954 52 0 0 20 0 1 0 78737833 1436110848 302975 18446744073709551615 4235264 18693293 140734244815648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53678080 140734244817287 140734244817386 140734244817386 140734244822990 0
/proc/91143/statm: 350613 302975 3968 3530 0 342064 0
Current children cumulated CPU time: 3450.06 s
Current children cumulated vsize: 1402452 KiB
Current children cumulated memory: 1211900 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.10 5/263 91687
/proc/meminfo: memFree=97421672/131249988 swapFree=33010160/33010684
[pid=91143] ppid=91140 vsize=1513512 memory=1325308 CPUtime=3509.82 cores=0,2
/proc/91143/stat : 91143 (pbscip) R 91140 91143 89164 0 -1 4194304 323206 0 0 0 350927 55 0 0 20 0 1 0 78737833 1549836288 331327 18446744073709551615 4235264 18693293 140734244815648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53678080 140734244817287 140734244817386 140734244817386 140734244822990 0
/proc/91143/statm: 378378 331327 3968 3530 0 369829 0
Current children cumulated CPU time: 3509.82 s
Current children cumulated vsize: 1513512 KiB
Current children cumulated memory: 1325308 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 91689
/proc/meminfo: memFree=97196108/131249988 swapFree=33010160/33010684
[pid=91143] ppid=91140 vsize=1641760 memory=1440084 CPUtime=3569.59 cores=0,2
/proc/91143/stat : 91143 (pbscip) R 91140 91143 89164 0 -1 4194304 391564 0 0 0 356893 66 0 0 20 0 1 0 78737833 1681162240 360021 18446744073709551615 4235264 18693293 140734244815648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53678080 140734244817287 140734244817386 140734244817386 140734244822990 0
/proc/91143/statm: 410440 360021 3968 3530 0 401891 0
Current children cumulated CPU time: 3569.59 s
Current children cumulated vsize: 1641760 KiB
Current children cumulated memory: 1440084 KiB
[startup+3597.43 s]
# the end of solver process 91143 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.98 s, system=0.692103 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.08 4.11 4.09 5/263 91689
/proc/meminfo: memFree=97196368/131249988 swapFree=33010160/33010684
[pid=91143] ppid=91140 vsize=1641760 memory=1440084 CPUtime=3571.28 cores=0,2
/proc/91143/stat : 91143 (pbscip) R 91140 91143 89164 0 -1 4194304 391564 0 0 0 357062 66 0 0 20 0 1 0 78737833 1681162240 360021 18446744073709551615 4235264 18693293 140734244815648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53678080 140734244817287 140734244817386 140734244817386 140734244822990 0
/proc/91143/statm: 410440 360021 3968 3530 0 401891 0
Current children cumulated CPU time: 3571.28 s
Current children cumulated vsize: 1641760 KiB
Current children cumulated memory: 1440084 KiB
[startup+3590.4 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 91689
/proc/meminfo: memFree=97195248/131249988 swapFree=33010160/33010684
[pid=91143] ppid=91140 vsize=1641760 memory=1440084 CPUtime=3577.65 cores=0,2
/proc/91143/stat : 91143 (pbscip) R 91140 91143 89164 0 -1 4194304 391564 0 0 0 357699 66 0 0 20 0 1 0 78737833 1681162240 360021 18446744073709551615 4235264 18693293 140734244815648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53678080 140734244817287 140734244817386 140734244817386 140734244822990 0
/proc/91143/statm: 410440 360021 3968 3530 0 401891 0
Current children cumulated CPU time: 3577.65 s
Current children cumulated vsize: 1641760 KiB
Current children cumulated memory: 1440084 KiB
[startup+3593.6 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 91689
/proc/meminfo: memFree=97195248/131249988 swapFree=33010160/33010684
[pid=91143] ppid=91140 vsize=1641760 memory=1440084 CPUtime=3580.84 cores=0,2
/proc/91143/stat : 91143 (pbscip) R 91140 91143 89164 0 -1 4194304 391564 0 0 0 358018 66 0 0 20 0 1 0 78737833 1681162240 360021 18446744073709551615 4235264 18693293 140734244815648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53678080 140734244817287 140734244817386 140734244817386 140734244822990 0
/proc/91143/statm: 410440 360021 3968 3530 0 401891 0
Current children cumulated CPU time: 3580.84 s
Current children cumulated vsize: 1641760 KiB
Current children cumulated memory: 1440084 KiB
[startup+3595.2 s]
/proc/loadavg: 4.13 4.12 4.09 5/263 91689
/proc/meminfo: memFree=97195248/131249988 swapFree=33010160/33010684
[pid=91143] ppid=91140 vsize=1641760 memory=1440084 CPUtime=3582.43 cores=0,2
/proc/91143/stat : 91143 (pbscip) R 91140 91143 89164 0 -1 4194304 391564 0 0 0 358177 66 0 0 20 0 1 0 78737833 1681162240 360021 18446744073709551615 4235264 18693293 140734244815648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53678080 140734244817287 140734244817386 140734244817386 140734244822990 0
/proc/91143/statm: 410440 360021 3968 3530 0 401891 0
Current children cumulated CPU time: 3582.43 s
Current children cumulated vsize: 1641760 KiB
Current children cumulated memory: 1440084 KiB
[startup+3596.8 s]
/proc/loadavg: 4.13 4.12 4.09 5/263 91689
/proc/meminfo: memFree=97195248/131249988 swapFree=33010160/33010684
[pid=91143] ppid=91140 vsize=1641760 memory=1440084 CPUtime=3584.03 cores=0,2
/proc/91143/stat : 91143 (pbscip) R 91140 91143 89164 0 -1 4194304 391564 0 0 0 358337 66 0 0 20 0 1 0 78737833 1681162240 360021 18446744073709551615 4235264 18693293 140734244815648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53678080 140734244817287 140734244817386 140734244817386 140734244822990 0
/proc/91143/statm: 410440 360021 3968 3530 0 401891 0
Current children cumulated CPU time: 3584.03 s
Current children cumulated vsize: 1641760 KiB
Current children cumulated memory: 1440084 KiB
[startup+3597.2 s]
/proc/loadavg: 4.13 4.12 4.09 5/263 91689
/proc/meminfo: memFree=97195248/131249988 swapFree=33010160/33010684
[pid=91143] ppid=91140 vsize=1641760 memory=1440084 CPUtime=3584.42 cores=0,2
/proc/91143/stat : 91143 (pbscip) R 91140 91143 89164 0 -1 4194304 391589 0 0 0 358376 66 0 0 20 0 1 0 78737833 1681162240 360021 18446744073709551615 4235264 18693293 140734244815648 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53678080 140734244817287 140734244817386 140734244817386 140734244822990 0
/proc/91143/statm: 410440 360021 3968 3530 0 401891 0
Current children cumulated CPU time: 3584.42 s
Current children cumulated vsize: 1641760 KiB
Current children cumulated memory: 1440084 KiB
[startup+3597.4 s]
/proc/loadavg: 4.13 4.12 4.09 5/263 91689
/proc/meminfo: memFree=97195248/131249988 swapFree=33010160/33010684
[pid=91143] ppid=91140 vsize=1568416 memory=1366824 CPUtime=3584.62 cores=0,2
/proc/91143/stat : 91143 (pbscip) R 91140 91143 89164 0 -1 4194304 391590 0 0 0 358395 67 0 0 20 0 1 0 78737833 1606057984 341706 18446744073709551615 4235264 18693293 140734244815648 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53678080 140734244817287 140734244817386 140734244817386 140734244822990 0
/proc/91143/statm: 392104 341706 3968 3530 0 383555 0
Current children cumulated CPU time: 3584.62 s
Current children cumulated vsize: 1568416 KiB
Current children cumulated memory: 1366824 KiB
Child status: 0
Real time (s): 3597.43
CPU time (s): 3584.67
CPU user time (s): 3583.98
CPU system time (s): 0.692103
CPU usage (%): 99.6452
Max. virtual memory (cumulated for all children) (KiB): 1641760
Max. memory (cumulated for all children) (KiB): 1440084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.98
system time used= 0.692103
maximum resident set size= 1440084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 391657
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= 127
involuntary context switches= 4727
# summary of solver processes directly reported to runsolver:
# pid: 91143
# total CPU time (s): 3584.67
# total CPU user time (s): 3583.98
# total CPU system time (s): 0.692103
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.14598 second user time and 16.1792 second system time
The end
Begin job on nodeC020 at 2025-07-04 14:03:23 IDJOB=4526560 IDBENCH=144116 IDSOLVER=3382 FILE ID=nodeC020/4526560-1751630603 RUNJOBID= nodeC020-1751624435-89174 SLURM_JOB_ID= 9598948 Free space on /tmp= 431496 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/coloring/normalized-le450-5a-5_wcsp.wbo COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4526560-1751630603/watcher-4526560-1751630603 -o /tmp/evaluation-result-4526560-1751630603/solver-4526560-1751630603 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751624435-89174 --watchdog 3760 pbscip -f HOME/instance-4526560-1751630603.wbo -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 276e6058ed794d43d25daa514644ef1f RANDOM SEED=895449086 nodeC020 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 : 3600.478 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.79 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.850 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.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.917 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.79 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 : 3611.057 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.79 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.877 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.79 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.893 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.79 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 : 3598.812 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.79 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 : 3700.000 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.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249988 kB MemFree: 122068372 kB MemAvailable: 122739672 kB Buffers: 2128 kB Cached: 1462500 kB SwapCached: 8 kB Active: 7542216 kB Inactive: 897084 kB Active(anon): 6968148 kB Inactive(anon): 24568 kB Active(file): 574068 kB Inactive(file): 872516 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 19528 kB Writeback: 0 kB AnonPages: 6974956 kB Mapped: 138340 kB Shmem: 18044 kB KReclaimable: 127908 kB Slab: 219816 kB SReclaimable: 127908 kB SUnreclaim: 91908 kB KernelStack: 4240 kB PageTables: 17244 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635676 kB Committed_AS: 7954156 kB VmallocTotal: 34359738367 kB VmallocUsed: 150520 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 1591296 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: 197332 kB DirectMap2M: 7962624 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 431380 MiB End job on nodeC020 at 2025-07-04 15:03:20