Trace number 4486573

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP 2025-06-13SAT87024 3587.45 3597.18

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-data10_3.opb
MD5SUM45d4d1161a77415ffbfc9841f6913b11
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark66791
Best CPU time to get the best result obtained on this benchmark3600.07
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2700
Total number of constraints42620
Number of constraints which are clauses20220
Number of constraints which are cardinality constraints (but not clauses)800
Number of constraints which are nor clauses,nor cardinality constraints21600
Minimum length of a constraint2
Maximum length of a constraint36
Number of terms in the objective function 900
Biggest coefficient in the objective function 1380
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 559660
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1380
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 559660
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c External libraries: 
0.00/0.00	c   SoPlex 8.0.0         Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 4.0.0        AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 3.0.0         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   bliss 0.77           Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00	c   sassy 2.0            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00	c 
0.00/0.00	c reading problem <HOME/instance-4486573-1751317711.opb>
0.22/0.26	c original problem has 2700 variables (2700 bin, 0 int, 0 cont) and 42620 constraints
0.22/0.26	c problem read in 0.262 seconds
0.41/0.43	c presolving:
0.68/0.75	c    (0.8s) running MILP presolver
0.79/0.85	c    (0.9s) MILP presolver found nothing
1.00/1.06	c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 42620 upgd conss, 0 impls, 3960 clqs
1.18/1.25	c (round 2, medium)     0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 43200 chg sides, 43200 chg coeffs, 42620 upgd conss, 0 impls, 3960 clqs
1.49/1.51	c (round 3, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 43200 chg sides, 64800 chg coeffs, 42620 upgd conss, 0 impls, 3960 clqs
2.10/2.16	c    (2.2s) probing: 51/2700 (1.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.10/2.16	c    (2.2s) probing aborted: 50/50 successive totally useless probings
2.48/2.50	c    (2.5s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
2.48/2.57	c    (2.6s) no symmetry present (symcode time: 0.01)
2.58/2.60	c presolving (4 rounds: 4 fast, 4 medium, 3 exhaustive):
2.58/2.60	c  0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 43200 changed sides, 64800 changed coefficients
2.58/2.60	c  0 implications, 3960 cliques
2.58/2.60	c presolved problem has 2700 variables (2700 bin, 0 int, 0 cont) and 42620 constraints
2.58/2.60	c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
2.58/2.60	c   21770 constraints of type <knapsack>
2.58/2.60	c    3960 constraints of type <setppc>
2.58/2.60	c   16890 constraints of type <logicor>
2.58/2.60	c transformed objective value is always integral (scale: 1)
2.58/2.60	c Presolving Time: 2.18
2.58/2.60	c 
2.58/2.60	c - non default parameters ----------------------------------------------------------------------
2.58/2.60	c 
2.58/2.60	c # SCIP version 10.0.0
2.58/2.60	c 
2.58/2.60	c # maximal time in seconds to run
2.58/2.60	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
2.58/2.60	c limits/time = 3596.997021
2.58/2.60	c 
2.58/2.60	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.58/2.60	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
2.58/2.60	c limits/memory = 27900
2.58/2.60	c 
2.58/2.60	c # belongs reading time to solving time?
2.58/2.60	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
2.58/2.60	c timing/reading = TRUE
2.58/2.60	c 
2.58/2.60	c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
2.58/2.60	c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
2.58/2.60	c reading/opbreader/maxintsize = 47
2.58/2.60	c 
2.58/2.60	c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
2.58/2.60	c # [type: int, advanced: TRUE, range: [0,15], default: 15]
2.58/2.60	c propagating/genvbounds/timingmask = 0
2.58/2.60	c 
2.58/2.60	c -----------------------------------------------------------------------------------------------
2.58/2.61	c 
8.27/8.39	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
8.27/8.39	c   8.4s|     1 |     0 |  7469 |     - |   395M |   0 |2700 |  42k|  42k|   0 |  0 | 102 |   0 | 4.026400e+04 |      --      |    Inf | unknown
39.90/40.08	c  40.1s|     1 |     0 | 45096 |     - |   402M |   0 |2700 |  42k|  42k|  14 |  1 | 105 |   0 | 4.026400e+04 |      --      |    Inf | unknown
49.06/49.26	c  49.3s|     1 |     0 | 49095 |     - |   406M |   0 |2700 |  42k|  42k|  28 |  2 | 106 |   0 | 4.026400e+04 |      --      |    Inf | unknown
59.73/59.94	c  59.9s|     1 |     0 | 54286 |     - |   410M |   0 |2700 |  42k|  42k|  38 |  3 | 108 |   0 | 4.026400e+04 |      --      |    Inf | unknown
69.41/69.61	c  69.6s|     1 |     0 | 58624 |     - |   414M |   0 |2700 |  42k|  42k|  51 |  4 | 109 |   0 | 4.026400e+04 |      --      |    Inf | unknown
79.79/80.02	c  80.0s|     1 |     0 | 63720 |     - |   419M |   0 |2700 |  42k|  42k|  61 |  5 | 113 |   0 | 4.026400e+04 |      --      |    Inf | unknown
88.55/88.87	c  88.9s|     1 |     0 | 67605 |     - |   423M |   0 |2700 |  42k|  42k|  72 |  6 | 119 |   0 | 4.026400e+04 |      --      |    Inf | unknown
99.52/99.84	c  99.8s|     1 |     0 | 73190 |     - |   427M |   0 |2700 |  42k|  42k|  86 |  7 | 120 |   0 | 4.026400e+04 |      --      |    Inf | unknown
109.50/109.81	c   110s|     1 |     0 | 77822 |     - |   431M |   0 |2700 |  42k|  42k|  97 |  8 | 126 |   0 | 4.026400e+04 |      --      |    Inf | unknown
118.69/119.04	c   119s|     1 |     0 | 81866 |     - |   435M |   0 |2700 |  42k|  42k| 109 |  9 | 129 |   0 | 4.026400e+04 |      --      |    Inf | unknown
129.85/130.22	c   130s|     1 |     0 | 87388 |     - |   439M |   0 |2700 |  42k|  42k| 122 | 10 | 130 |   0 | 4.026400e+04 |      --      |    Inf | unknown
134.13/134.59	c   135s|     1 |     0 | 91956 |     - |   443M |   0 |2700 |  42k|  42k| 131 | 11 | 131 |   0 | 4.026400e+04 |      --      |    Inf | unknown
237.66/238.31	o 87024
237.66/238.31	c d 238s|     1 |     0 |165366 |     - |conflict|   0 |2700 |  42k|  42k|   0 | 11 | 151 |   0 | 4.026400e+04 | 8.702400e+04 | 116.13%| unknown
238.56/239.25	c   239s|     1 |     0 |165372 |     - |   444M |   0 |2700 |  42k|  42k| 131 | 11 | 151 |   0 | 4.026400e+04 | 8.702400e+04 | 116.13%| unknown
244.85/245.58	c   246s|     1 |     0 |171813 |     - |   448M |   0 |2700 |  42k|  42k| 144 | 12 | 154 |   0 | 4.026400e+04 | 8.702400e+04 | 116.13%| unknown
261.50/262.29	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
261.50/262.29	c   262s|     1 |     2 |171950 |     - |   448M |   0 |2700 |  42k|  42k| 144 | 13 | 159 |  19 | 4.026400e+04 | 8.702400e+04 | 116.13%| unknown
1004.81/1007.57	c  1008s|   100 |   101 |641364 |5484.5 |   479M |  29 |2700 |  42k|  42k| 272 |  1 | 201 | 375 | 4.026400e+04 | 8.702400e+04 | 116.13%| unknown
1397.95/1401.74	c  1402s|   200 |   199 |  1014k|4601.2 |   482M |  37 |2700 |  42k|  42k| 305 |  1 | 299 | 532 | 4.026400e+04 | 8.702400e+04 | 116.13%| unknown
1747.02/1751.76	c  1752s|   300 |   299 |  1313k|4064.3 |   515M |  43 |2700 |  42k|  42k| 403 |  2 | 360 | 694 | 4.026400e+04 | 8.702400e+04 | 116.13%| unknown
2138.38/2144.16	c  2144s|   400 |   399 |  1640k|3864.6 |   587M |  43 |2700 |  42k|  42k| 670 |  1 | 375 | 871 | 4.026400e+04 | 8.702400e+04 | 116.13%| unknown
2523.29/2530.07	c  2530s|   500 |   497 |  1977k|3765.4 |   708M |  43 |2700 |  42k|  42k|1087 |  1 | 436 |1063 | 4.026400e+04 | 8.702400e+04 | 116.13%| unknown
2907.86/2915.64	c  2916s|   600 |   597 |  2357k|3770.9 |   811M |  50 |2700 |  42k|  42k|1531 |  1 | 490 |1272 | 4.026400e+04 | 8.702400e+04 | 116.13%| unknown
3283.03/3291.85	c  3292s|   700 |   692 |  2718k|3748.0 |   885M |  54 |2700 |  42k|  42k|1971 |  1 | 586 |1488 | 4.026400e+04 | 8.702400e+04 | 116.13%| unknown
3577.89/3587.68	c  3588s|   800 |   790 |  3015k|3651.1 |   948M |  61 |2700 |  43k|  42k|2415 |  1 | 670 |1664 | 4.026400e+04 | 8.702400e+04 | 116.13%| unknown
3587.16/3597.00	c 
3587.16/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3587.16/3597.00	c Solving Time (sec) : 3597.00
3587.16/3597.00	c Solving Nodes      : 804
3587.16/3597.00	c Primal Bound       : +8.70240000000000e+04 (1 solutions)
3587.16/3597.00	c Dual Bound         : +4.02640000000000e+04
3587.16/3597.00	c Gap                : 116.13 %
3587.28/3597.01	s SATISFIABLE
3587.28/3597.01	v x1801 -x1802 x1803 x1804 -x1805 x1806 x1807 x1808 -x1809 x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 x1819 -x1820
3587.28/3597.01	v -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 x1832 -x1833 -x1834 -x1835 -x1836 x1837 -x1838 -x1839
3587.28/3597.01	v -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 x1855 -x1856 -x1857 -x1858
3587.28/3597.01	v -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 x1872 x1873 -x1874 -x1875 -x1876 -x1877
3587.28/3597.01	v -x1878 -x1879 -x1880 -x1881 x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 x1896
3587.28/3597.01	v -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 x1903 x1904 -x1905 x1906 -x1907 x1908 -x1909 x1910 -x1911 -x1912 -x1913 -x1914 -x1915
3587.28/3597.01	v -x1916 -x1917 -x1918 x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 x1934
3587.28/3597.01	v -x1935 x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953
3587.28/3597.01	v -x1954 x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972
3587.28/3597.01	v -x1973 -x1974 x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 x1991
3587.28/3597.01	v -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 x2000 -x2001 -x2002 -x2003 x2004 x2005 x2006 x2007 -x2008 -x2009 x2010 -x2011
3587.28/3597.01	v -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 x2028 -x2029 -x2030
3587.28/3597.01	v -x2031 -x2032 -x2033 -x2034 x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 x2049
3587.28/3597.01	v -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 x2064 -x2065 -x2066 -x2067 -x2068
3587.28/3597.01	v -x2069 -x2070 -x2071 -x2072 x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087
3587.28/3597.01	v x2088 -x2089 -x2090 x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 x2098 x2099 x2100 x2101 x2102 x2103 x2104 x2105 -x2106 -x2107
3587.28/3597.01	v -x2108 -x2109 x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126
3587.28/3597.01	v -x2127 x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145
3587.28/3597.01	v x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 x2164
3587.28/3597.01	v -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 x2182 -x2183
3587.28/3597.01	v -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 x2194 -x2195 -x2196 x2197 -x2198 x2199 -x2200 x2201 x2202
3587.28/3597.01	v -x2203 x2204 x2205 -x2206 -x2207 -x2208 x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 x2216 -x2217 -x2218 -x2219 -x2220 -x2221
3587.28/3597.01	v -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 x2237 -x2238 -x2239 -x2240
3587.28/3597.01	v -x2241 -x2242 -x2243 -x2244 -x2245 x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 x2256 -x2257 -x2258 -x2259
3587.28/3597.01	v -x2260 -x2261 -x2262 -x2263 x2264 -x2265 -x2266 -x2267 -x2268 -x2269 x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278
3587.28/3597.01	v -x2279 -x2280 -x2281 x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 x2291 -x2292 -x2293 -x2294 -x2295 x2296 -x2297
3587.28/3597.01	v x2298 x2299 x2300 -x2301 x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316
3587.28/3597.01	v -x2317 -x2318 -x2319 -x2320 -x2321 x2322 -x2323 -x2324 -x2325 -x2326 -x2327 x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335
3587.28/3597.01	v -x2336 -x2337 -x2338 -x2339 x2340 -x2341 -x2342 x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354
3587.28/3597.01	v x2355 -x2356 -x2357 -x2358 x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 x2373
3587.28/3597.01	v -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 x2391 -x2392
3587.28/3597.01	v -x2393 -x2394 -x2395 -x2396 x2397 -x2398 x2399 -x2400 x2401 x2402 x2403 -x2404 x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412
3587.28/3597.01	v -x2413 -x2414 -x2415 -x2416 -x2417 x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 x2428 -x2429 -x2430 x2431
3587.28/3597.01	v -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450
3587.28/3597.01	v -x2451 -x2452 -x2453 -x2454 x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 x2464 -x2465 -x2466 -x2467 -x2468 -x2469
3587.28/3597.01	v -x2470 -x2471 -x2472 x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 x2482 -x2483 -x2484 -x2485 -x2486 -x2487 x2488
3587.28/3597.01	v -x2489 -x2490 -x2491 -x2492 -x2493 x2494 -x2495 x2496 -x2497 -x2498 x2499 x2500 x2501 x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508
3587.28/3597.01	v -x2509 x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527
3587.28/3597.01	v x2528 -x2529 -x2530 -x2531 -x2532 x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 x2546
3587.28/3597.01	v -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 x2555 -x2556 -x2557 -x2558 x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565
3587.28/3597.01	v -x2566 -x2567 -x2568 x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 x2580 -x2581 -x2582 -x2583 -x2584
3587.28/3597.01	v -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 x2591 -x2592 x2593 x2594 -x2595 -x2596 -x2597 -x2598 x2599 x2600 x2601 -x2602 -x2603 -x2604
3587.28/3597.01	v -x2605 -x2606 -x2607 -x2608 -x2609 x2610 -x2611 -x2612 x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623
3587.28/3597.01	v -x2624 -x2625 -x2626 -x2627 x2628 -x2629 x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642
3587.28/3597.01	v -x2643 -x2644 -x2645 x2646 x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661
3587.28/3597.01	v -x2662 -x2663 x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680
3587.28/3597.01	v -x2681 x2682 -x2683 -x2684 x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 x2696 x2697 x2698 x2699 x2700
3587.28/3597.01	v x2 -x102 -x202 -x302 -x402 -x502 -x602 -x702 -x802 -x902 -x1002 -x1102 -x1202 -x1302 -x1402 -x1502 -x1602 -x1702 -x3 -x103 -x203
3587.28/3597.01	v -x303 -x403 -x503 -x603 -x703 -x803 -x903 -x1003 -x1103 -x1203 -x1303 -x1403 x1503 -x1603 -x1703 -x4 -x104 -x204 -x304 -x404 -x504
3587.28/3597.01	v -x604 -x704 -x804 -x904 -x1004 -x1104 -x1204 x1304 -x1404 -x1504 -x1604 -x1704 -x5 -x105 -x205 -x305 -x405 -x505 x605 -x705 -x805
3587.28/3597.01	v -x905 -x1005 -x1105 -x1205 -x1305 -x1405 -x1505 -x1605 -x1705 -x6 -x106 -x206 -x306 -x406 -x506 -x606 -x706 -x806 -x906 -x1006 -x1106
3587.28/3597.01	v -x1206 -x1306 x1406 -x1506 -x1606 -x1706 -x7 -x107 x207 -x307 -x407 -x507 -x607 -x707 -x807 -x907 -x1007 -x1107 -x1207 -x1307 -x1407
3587.28/3597.01	v -x1507 -x1607 -x1707 -x8 -x108 -x208 -x308 -x408 -x508 -x608 -x708 x808 -x908 -x1008 -x1108 -x1208 -x1308 -x1408 -x1508 -x1608 -x1708
3587.28/3597.01	v -x9 -x109 -x209 -x309 -x409 -x509 -x609 -x709 -x809 -x909 -x1009 -x1109 -x1209 -x1309 -x1409 -x1509 -x1609 x1709 -x10 -x110 -x210
3587.28/3597.01	v -x310 -x410 -x510 -x610 -x710 -x810 x910 -x1010 -x1110 -x1210 -x1310 -x1410 -x1510 -x1610 -x1710 -x11 -x111 -x211 -x311 x411 -x511
3587.28/3597.01	v -x611 -x711 -x811 -x911 -x1011 -x1111 -x1211 -x1311 -x1411 -x1511 -x1611 -x1711 -x13 -x113 -x213 -x313 -x413 -x513 -x613 -x713 -x813
3587.28/3597.01	v x913 -x1013 -x1113 -x1213 -x1313 -x1413 -x1513 -x1613 -x1713 -x14 -x114 -x214 -x314 -x414 -x514 -x614 -x714 -x814 -x914 -x1014 -x1114
3587.28/3597.01	v x1214 -x1314 -x1414 -x1514 -x1614 -x1714 -x15 -x115 -x215 -x315 -x415 -x515 -x615 x715 -x815 -x915 -x1015 -x1115 -x1215 -x1315 -x1415
3587.28/3597.01	v -x1515 -x1615 -x1715 -x16 -x116 -x216 x316 -x416 -x516 -x616 -x716 -x816 -x916 -x1016 -x1116 -x1216 -x1316 -x1416 -x1516 -x1616
3587.28/3597.01	v -x1716 -x17 -x117 -x217 -x317 -x417 x517 -x617 -x717 -x817 -x917 -x1017 -x1117 -x1217 -x1317 -x1417 -x1517 -x1617 -x1717 -x18 -x118
3587.28/3597.01	v -x218 -x318 -x418 -x518 -x618 -x718 -x818 -x918 -x1018 -x1118 -x1218 -x1318 -x1418 x1518 -x1618 -x1718 -x19 -x119 -x219 -x319 -x419
3587.28/3597.01	v -x519 -x619 -x719 x819 -x919 -x1019 -x1119 -x1219 -x1319 -x1419 -x1519 -x1619 -x1719 -x20 -x120 -x220 -x320 -x420 -x520 -x620 -x720
3587.28/3597.01	v -x820 -x920 -x1020 x1120 -x1220 -x1320 -x1420 -x1520 -x1620 -x1720 -x21 -x121 -x221 -x321 -x421 -x521 -x621 -x721 -x821 -x921 -x1021
3587.28/3597.01	v x1121 -x1221 -x1321 -x1421 -x1521 -x1621 -x1721 -x22 -x122 -x222 -x322 -x422 -x522 -x622 -x722 -x822 -x922 -x1022 -x1122 -x1222
3587.28/3597.01	v -x1322 -x1422 -x1522 -x1622 x1722 -x24 -x124 -x224 -x324 x424 -x524 -x624 -x724 -x824 -x924 -x1024 -x1124 -x1224 -x1324 -x1424 -x1524
3587.28/3597.01	v -x1624 -x1724 -x25 -x125 -x225 x325 -x425 -x525 -x625 -x725 -x825 -x925 -x1025 -x1125 -x1225 -x1325 -x1425 -x1525 -x1625 -x1725
3587.28/3597.01	v -x26 -x126 -x226 -x326 -x426 -x526 -x626 -x726 x826 -x926 -x1026 -x1126 -x1226 -x1326 -x1426 -x1526 -x1626 -x1726 -x27 -x127 -x227
3587.28/3597.01	v -x327 -x427 -x527 -x627 -x727 -x827 -x927 x1027 -x1127 -x1227 -x1327 -x1427 -x1527 -x1627 -x1727 -x28 -x128 -x228 -x328 -x428 -x528
3587.28/3597.01	v -x628 x728 -x828 -x928 -x1028 -x1128 -x1228 -x1328 -x1428 -x1528 -x1628 -x1728 -x29 -x129 x229 -x329 -x429 -x529 -x629 -x729 -x829
3587.28/3597.01	v -x929 -x1029 -x1129 -x1229 -x1329 -x1429 -x1529 -x1629 -x1729 -x30 -x130 -x230 -x330 -x430 -x530 -x630 -x730 -x830 -x930 -x1030
3587.28/3597.01	v -x1130 -x1230 -x1330 x1430 -x1530 -x1630 -x1730 -x31 -x131 -x231 x331 -x431 -x531 -x631 -x731 -x831 -x931 -x1031 -x1131 -x1231 -x1331
3587.28/3597.01	v -x1431 -x1531 -x1631 -x1731 -x32 -x132 -x232 -x332 -x432 -x532 -x632 -x732 -x832 -x932 -x1032 -x1132 -x1232 -x1332 x1432 -x1532
3587.28/3597.01	v -x1632 -x1732 x33 -x133 -x233 -x333 -x433 -x533 -x633 -x733 -x833 -x933 -x1033 -x1133 -x1233 -x1333 -x1433 -x1533 -x1633 -x1733
3587.28/3597.01	v -x35 -x135 -x235 -x335 -x435 -x535 -x635 -x735 -x835 -x935 -x1035 -x1135 -x1235 -x1335 -x1435 -x1535 -x1635 x1735 -x36 -x136 -x236
3587.28/3597.01	v -x336 -x436 -x536 -x636 x736 -x836 -x936 -x1036 -x1136 -x1236 -x1336 -x1436 -x1536 -x1636 -x1736 -x37 -x137 -x237 -x337 -x437 -x537
3587.28/3597.01	v -x637 -x737 -x837 -x937 -x1037 x1137 -x1237 -x1337 -x1437 -x1537 -x1637 -x1737 -x38 -x138 -x238 -x338 -x438 x538 -x638 -x738 -x838
3587.28/3597.01	v -x938 -x1038 -x1138 -x1238 -x1338 -x1438 -x1538 -x1638 -x1738 -x39 -x139 -x239 -x339 -x439 -x539 -x639 -x739 -x839 x939 -x1039 -x1139
3587.28/3597.01	v -x1239 -x1339 -x1439 -x1539 -x1639 -x1739 -x40 -x140 -x240 -x340 -x440 -x540 -x640 -x740 -x840 -x940 -x1040 -x1140 -x1240 -x1340
3587.28/3597.01	v -x1440 x1540 -x1640 -x1740 -x41 -x141 -x241 -x341 -x441 -x541 -x641 -x741 -x841 -x941 x1041 -x1141 -x1241 -x1341 -x1441 -x1541 -x1641
3587.28/3597.01	v -x1741 -x42 -x142 -x242 -x342 -x442 -x542 -x642 -x742 -x842 -x942 -x1042 -x1142 -x1242 -x1342 -x1442 -x1542 x1642 -x1742 -x43 -x143
3587.28/3597.01	v -x243 -x343 -x443 -x543 -x643 -x743 -x843 -x943 -x1043 -x1143 -x1243 x1343 -x1443 -x1543 -x1643 -x1743 -x44 x144 -x244 -x344 -x444
3587.28/3597.01	v -x544 -x644 -x744 -x844 -x944 -x1044 -x1144 -x1244 -x1344 -x1444 -x1544 -x1644 -x1744 x46 -x146 -x246 -x346 -x446 -x546 -x646 -x746
3587.28/3597.01	v -x846 -x946 -x1046 -x1146 -x1246 -x1346 -x1446 -x1546 -x1646 -x1746 -x47 -x147 -x247 -x347 -x447 -x547 -x647 -x747 -x847 -x947 -x1047
3587.28/3597.01	v -x1147 -x1247 -x1347 -x1447 x1547 -x1647 -x1747 -x48 -x148 x248 -x348 -x448 -x548 -x648 -x748 -x848 -x948 -x1048 -x1148 -x1248 -x1348
3587.28/3597.01	v -x1448 -x1548 -x1648 -x1748 -x49 -x149 -x249 -x349 -x449 x549 -x649 -x749 -x849 -x949 -x1049 -x1149 -x1249 -x1349 -x1449 -x1549
3587.28/3597.01	v -x1649 -x1749 -x50 -x150 -x250 -x350 -x450 -x550 -x650 -x750 x850 -x950 -x1050 -x1150 -x1250 -x1350 -x1450 -x1550 -x1650 -x1750
3587.28/3597.01	v -x51 -x151 -x251 -x351 -x451 -x551 -x651 -x751 -x851 -x951 -x1051 -x1151 -x1251 -x1351 -x1451 -x1551 x1651 -x1751 -x52 -x152 -x252
3587.28/3597.01	v -x352 -x452 -x552 x652 -x752 -x852 -x952 -x1052 -x1152 -x1252 -x1352 -x1452 -x1552 -x1652 -x1752 -x53 -x153 -x253 -x353 -x453 x553
3587.28/3597.01	v -x653 -x753 -x853 -x953 -x1053 -x1153 -x1253 -x1353 -x1453 -x1553 -x1653 -x1753 -x54 -x154 x254 -x354 -x454 -x554 -x654 -x754 -x854
3587.28/3597.01	v -x954 -x1054 -x1154 -x1254 -x1354 -x1454 -x1554 -x1654 -x1754 -x55 -x155 -x255 -x355 -x455 -x555 -x655 -x755 -x855 x955 -x1055 -x1155
3587.28/3597.01	v -x1255 -x1355 -x1455 -x1555 -x1655 -x1755 -x57 -x157 -x257 -x357 -x457 -x557 -x657 -x757 -x857 -x957 -x1057 -x1157 -x1257 -x1357
3587.28/3597.01	v -x1457 -x1557 -x1657 x1757 -x58 -x158 -x258 -x358 -x458 -x558 -x658 -x758 -x858 -x958 -x1058 x1158 -x1258 -x1358 -x1458 -x1558 -x1658
3587.28/3597.01	v -x1758 -x59 -x159 -x259 -x359 -x459 -x559 -x659 -x759 -x859 -x959 -x1059 -x1159 -x1259 x1359 -x1459 -x1559 -x1659 -x1759 -x60 -x160
3587.28/3597.01	v -x260 -x360 -x460 -x560 -x660 -x760 -x860 -x960 -x1060 -x1160 x1260 -x1360 -x1460 -x1560 -x1660 -x1760 -x61 -x161 -x261 -x361 -x461
3587.28/3597.01	v -x561 -x661 x761 -x861 -x961 -x1061 -x1161 -x1261 -x1361 -x1461 -x1561 -x1661 -x1761 -x62 x162 -x262 -x362 -x462 -x562 -x662 -x762
3587.28/3597.01	v -x862 -x962 -x1062 -x1162 -x1262 -x1362 -x1462 -x1562 -x1662 -x1762 -x63 -x163 -x263 -x363 -x463 -x563 x663 -x763 -x863 -x963 -x1063
3587.28/3597.01	v -x1163 -x1263 -x1363 -x1463 -x1563 -x1663 -x1763 -x64 -x164 -x264 -x364 -x464 -x564 -x664 -x764 x864 -x964 -x1064 -x1164 -x1264
3587.28/3597.01	v -x1364 -x1464 -x1564 -x1664 -x1764 -x65 -x165 -x265 -x365 -x465 -x565 -x665 -x765 -x865 -x965 -x1065 -x1165 x1265 -x1365 -x1465
3587.28/3597.01	v -x1565 -x1665 -x1765 -x66 -x166 -x266 -x366 x466 -x566 -x666 -x766 -x866 -x966 -x1066 -x1166 -x1266 -x1366 -x1466 -x1566 -x1666
3587.28/3597.01	v -x1766 x68 -x168 -x268 -x368 -x468 -x568 -x668 -x768 -x868 -x968 -x1068 -x1168 -x1268 -x1368 -x1468 -x1568 -x1668 -x1768 -x69 -x169
3587.28/3597.01	v -x269 x369 -x469 -x569 -x669 -x769 -x869 -x969 -x1069 -x1169 -x1269 -x1369 -x1469 -x1569 -x1669 -x1769 -x70 -x170 -x270 -x370 -x470
3587.28/3597.01	v -x570 -x670 -x770 -x870 -x970 -x1070 -x1170 -x1270 -x1370 -x1470 -x1570 x1670 -x1770 -x71 -x171 -x271 -x371 -x471 -x571 -x671 -x771
3587.28/3597.01	v -x871 -x971 -x1071 -x1171 x1271 -x1371 -x1471 -x1571 -x1671 -x1771 -x72 -x172 -x272 -x372 -x472 -x572 -x672 -x772 -x872 -x972 -x1072
3587.28/3597.01	v -x1172 -x1272 x1372 -x1472 -x1572 -x1672 -x1772 -x73 -x173 -x273 -x373 -x473 -x573 -x673 -x773 -x873 -x973 -x1073 -x1173 -x1273
3587.28/3597.01	v -x1373 -x1473 -x1573 x1673 -x1773 -x74 -x174 -x274 -x374 -x474 -x574 -x674 -x774 -x874 -x974 x1074 -x1174 -x1274 -x1374 -x1474 -x1574
3587.28/3597.01	v -x1674 -x1774 -x75 -x175 -x275 -x375 -x475 -x575 -x675 -x775 -x875 -x975 -x1075 -x1175 -x1275 -x1375 x1475 -x1575 -x1675 -x1775
3587.28/3597.01	v -x76 x176 -x276 -x376 -x476 -x576 -x676 -x776 -x876 -x976 -x1076 -x1176 -x1276 -x1376 -x1476 -x1576 -x1676 -x1776 -x77 -x177 -x277
3587.28/3597.01	v -x377 -x477 -x577 -x677 -x777 -x877 x977 -x1077 -x1177 -x1277 -x1377 -x1477 -x1577 -x1677 -x1777 -x79 -x179 -x279 -x379 -x479 -x579
3587.28/3597.01	v x679 -x779 -x879 -x979 -x1079 -x1179 -x1279 -x1379 -x1479 -x1579 -x1679 -x1779 -x80 -x180 -x280 x380 -x480 -x580 -x680 -x780 -x880
3587.28/3597.01	v -x980 -x1080 -x1180 -x1280 -x1380 -x1480 -x1580 -x1680 -x1780 -x81 x181 -x281 -x381 -x481 -x581 -x681 -x781 -x881 -x981 -x1081 -x1181
3587.28/3597.01	v -x1281 -x1381 -x1481 -x1581 -x1681 -x1781 -x82 -x182 -x282 -x382 -x482 -x582 -x682 -x782 -x882 -x982 x1082 -x1182 -x1282 -x1382
3587.28/3597.01	v -x1482 -x1582 -x1682 -x1782 -x83 -x183 -x283 -x383 -x483 -x583 -x683 -x783 -x883 -x983 -x1083 -x1183 x1283 -x1383 -x1483 -x1583
3587.28/3597.01	v -x1683 -x1783 -x84 -x184 -x284 -x384 -x484 -x584 -x684 -x784 -x884 -x984 -x1084 -x1184 -x1284 -x1384 -x1484 -x1584 x1684 -x1784
3587.28/3597.01	v -x85 -x185 -x285 -x385 -x485 -x585 -x685 -x785 -x885 -x985 -x1085 x1185 -x1285 -x1385 -x1485 -x1585 -x1685 -x1785 -x86 -x186 -x286
3587.28/3597.01	v -x386 -x486 -x586 -x686 -x786 -x886 -x986 -x1086 -x1186 -x1286 -x1386 -x1486 x1586 -x1686 -x1786 -x87 -x187 -x287 -x387 -x487 -x587
3587.28/3597.01	v -x687 -x787 -x887 -x987 -x1087 -x1187 -x1287 -x1387 x1487 -x1587 -x1687 -x1787 -x88 -x188 -x288 -x388 x488 -x588 -x688 -x788 -x888
3587.28/3597.01	v -x988 -x1088 -x1188 -x1288 -x1388 -x1488 -x1588 -x1688 -x1788 -x90 -x190 -x290 -x390 -x490 -x590 -x690 x790 -x890 -x990 -x1090 -x1190
3587.28/3597.01	v -x1290 -x1390 -x1490 -x1590 -x1690 -x1790 -x91 -x191 -x291 -x391 -x491 x591 -x691 -x791 -x891 -x991 -x1091 -x1191 -x1291 -x1391
3587.28/3597.01	v -x1491 -x1591 -x1691 -x1791 -x92 -x192 x292 -x392 -x492 -x592 -x692 -x792 -x892 -x992 -x1092 -x1192 -x1292 -x1392 -x1492 -x1592
3587.28/3597.01	v -x1692 -x1792 -x93 x193 -x293 -x393 -x493 -x593 -x693 -x793 -x893 -x993 -x1093 -x1193 -x1293 -x1393 -x1493 -x1593 -x1693 -x1793
3587.28/3597.01	v -x94 -x194 -x294 -x394 -x494 -x594 x694 -x794 -x894 -x994 -x1094 -x1194 -x1294 -x1394 -x1494 -x1594 -x1694 -x1794 -x95 -x195 -x295
3587.28/3597.01	v -x395 x495 -x595 -x695 -x795 -x895 -x995 -x1095 -x1195 -x1295 -x1395 -x1495 -x1595 -x1695 -x1795 -x96 -x196 -x296 -x396 -x496 -x596
3587.28/3597.01	v -x696 -x796 -x896 -x996 x1096 -x1196 -x1296 -x1396 -x1496 -x1596 -x1696 -x1796 -x97 -x197 -x297 -x397 -x497 -x597 -x697 -x797 -x897
3587.28/3597.01	v -x997 -x1097 -x1197 -x1297 x1397 -x1497 -x1597 -x1697 -x1797 -x98 -x198 -x298 -x398 -x498 -x598 -x698 -x798 -x898 -x998 -x1098 -x1198
3587.28/3597.01	v -x1298 -x1398 -x1498 -x1598 -x1698 x1798 x99 -x199 -x299 -x399 -x499 -x599 -x699 -x799 -x899 -x999 -x1099 -x1199 -x1299 -x1399 -x1499
3587.28/3597.01	v -x1599 -x1699 -x1799 x12 x112 x212 -x312 -x412 -x512 x612 -x712 -x812 -x912 x1012 -x1112 -x1212 x1312 x1412 -x1512 x1612 x1712 x23
3587.28/3597.01	v x123 -x223 -x323 -x423 x523 x623 -x723 -x823 x923 -x1023 -x1123 x1223 x1323 -x1423 x1523 x1623 -x1723 -x34 x134 x234 -x334 x434
3587.28/3597.01	v -x534 x634 -x734 x834 -x934 x1034 -x1134 x1234 x1334 -x1434 -x1534 x1634 -x1734 -x45 -x145 -x245 x345 x445 -x545 x645 x745 -x845
3587.28/3597.01	v x945 -x1045 x1145 x1245 -x1345 x1445 -x1545 -x1645 x1745 x56 x156 -x256 x356 x456 -x556 -x656 x756 x856 -x956 x1056 -x1156 -x1256
3587.28/3597.01	v -x1356 x1456 x1556 -x1656 -x1756 -x67 -x167 x267 -x367 -x467 x567 -x667 -x767 -x867 x967 x1067 x1167 -x1267 x1367 x1467 x1567 -x1667
3587.28/3597.01	v x1767 x78 -x178 x278 -x378 x478 x578 -x678 x778 x878 -x978 -x1078 x1178 -x1278 -x1378 -x1478 x1578 -x1678 x1778 x89 -x189 x289 x389
3587.28/3597.01	v -x489 x589 x689 -x789 x889 x989 -x1089 -x1189 -x1289 x1389 -x1489 -x1589 -x1689 x1789 -x100 -x200 -x300 x400 -x500 -x600 -x700 x800
3587.28/3597.01	v x900 x1000 -x1100 x1200 x1300 -x1400 x1500 x1600 x1700 -x1800 -x1 x101 -x201 x301 x401 x501 -x601 x701 -x801 -x901 x1001 x1101 x1201
3587.28/3597.01	v -x1301 -x1401 -x1501 x1601 -x1701
3587.28/3597.01	c SCIP Status        : solving was interrupted [time limit reached]
3587.28/3597.01	c Total Time         :    3597.00
3587.28/3597.01	c   solving          :    3597.00
3587.28/3597.01	c   presolving       :       2.18 (included in solving)
3587.28/3597.01	c   reading          :       0.26 (included in solving)
3587.28/3597.01	c   copying          :       0.51 (10 #copies) (minimal 0.05, maximal 0.05, average 0.05)
3587.28/3597.01	c Original Problem   :
3587.28/3597.01	c   Problem name     : HOME/instance-4486573-1751317711.opb
3587.28/3597.01	c   Variables        : 2700 (2700 binary, 0 integer, 0 continuous)
3587.28/3597.01	c   implied integral : 0 (0 binary, 0 integer, 0 continuous)
3587.28/3597.01	c   Constraints      : 42620 initial, 42620 maximal
3587.28/3597.01	c   Objective        : minimize, 900 non-zeros (abs.min = 80, abs.max = 1380)
3587.28/3597.01	c Presolved Problem  :
3587.28/3597.01	c   Problem name     : t_HOME/instance-4486573-1751317711.opb
3587.28/3597.01	c   Variables        : 2700 (2700 binary, 0 integer, 0 continuous)
3587.28/3597.01	c   implied integral : 0 (0 binary, 0 integer, 0 continuous)
3587.28/3597.01	c   Constraints      : 42620 initial, 43025 maximal
3587.28/3597.01	c   Objective        : minimize, 900 non-zeros (abs.min = 80, abs.max = 1380)
3587.28/3597.01	c   Nonzeros         : 328920 constraint, 13320 clique table
3587.28/3597.01	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3587.28/3597.01	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.28/3597.01	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.28/3597.01	c   domcol           :       0.03       0.00      1          0          0          0          0          0          0          0          0          0
3587.28/3597.01	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.28/3597.01	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.28/3597.01	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.28/3597.01	c   dualsparsify     :       0.33       0.00      1          0          0          0          0          0          0          0          0          0
3587.28/3597.01	c   gateextraction   :       0.01       0.00      2          0          0          0          0          0          0          0          0          0
3587.28/3597.01	c   implics          :       0.00       0.00      4          0          0          0          0          0          0          0          0          0
3587.28/3597.01	c   implint          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.28/3597.01	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.28/3597.01	c   milp             :       0.26       0.00      1          0          0          0          0          0          0          0          0          0
3587.28/3597.01	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.28/3597.01	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.28/3597.01	c   sparsify         :       0.15       0.00      1          0          0          0          0          0          0          0          0          0
3587.28/3597.01	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.28/3597.01	c   trivial          :       0.00       0.00      4          0          0          0          0          0          0          0          0          0
3587.28/3597.01	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.28/3597.01	c   dualfix          :       0.00       0.00      4          0          0          0          0          0          0          0          0          0
3587.28/3597.01	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.28/3597.01	c   probing          :       0.20       0.00      1          0          0          0          0          0          0          0          0          0
3587.28/3597.01	c   pseudoobj        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.28/3597.01	c   symmetry         :       0.07       0.00      1          0          0          0          0          0          0          0          0          0
3587.28/3597.01	c   vbounds          :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3587.28/3597.01	c   knapsack         :       0.65       0.00      8          0          0          0          0          0          0          0      43200      64800
3587.28/3597.01	c   setppc           :       0.01       0.00      7          0          0          0          0          0          0          0          0          0
3587.28/3597.01	c   linear           :       0.34       0.06      2          0          0          0          0          0          0          0          0          0
3587.28/3597.01	c   logicor          :       0.04       0.00      7          0          0          0          0          0          0          0          0          0
3587.28/3597.01	c   components       :       0.03       0.00      1          0          0          0          0          0          0          0          0          0
3587.28/3597.01	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3587.28/3597.01	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3587.28/3597.01	c   integral         :          0          0          0          0        806          0          0        273          0          0         24          0          0         81       1596
3587.28/3597.01	c   knapsack         :      21770+     21774         12      20092          0          0          0        267       2197         17       2141          0          0          0          0
3587.28/3597.01	c   setppc           :       3960       3960         12      20075          0          0          0          2       6698         61      20288          0          0          0          0
3587.28/3597.01	c   linear           :          0+         8          0      12301          0          0          0          3          1          3          0          0          0          0          0
3587.28/3597.01	c   logicor          :      16890+     17284         12       8989          0          0          0          1       1397         20       1277          1          1          0          0
3587.28/3597.01	c   fixedvar         :          0          0          0          0          0          0          0          3          0          0          0          0          0          0          0
3587.28/3597.01	c   countsols        :          0          0          0          0          0          0          0          3          0          0          0          0          0          0          0
3587.28/3597.01	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.28/3597.01	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3587.28/3597.01	c   integral         :    1144.35       0.00       0.00       0.00    1144.35       0.00       0.00       0.00       0.00       0.00
3587.28/3597.01	c   knapsack         :       2.44       0.00       0.56       0.95       0.00       0.00       0.00       0.01       0.00       0.92
3587.28/3597.01	c   setppc           :       1.59       0.00       0.00       0.73       0.00       0.00       0.00       0.00       0.00       0.85
3587.28/3597.01	c   linear           :       0.07       0.06       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.28/3597.01	c   logicor          :       0.41       0.00       0.05       0.15       0.00       0.00       0.00       0.00       0.00       0.20
3587.28/3597.01	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.28/3597.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.28/3597.01	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.28/3597.01	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3587.28/3597.01	c   dualfix          :          2          0          0          0
3587.28/3597.01	c   genvbounds       :          0          0          0          0
3587.28/3597.01	c   nlobbt           :          0          0          0          0
3587.28/3597.01	c   obbt             :          0          0          0          0
3587.28/3597.01	c   probing          :          0          0          0          0
3587.28/3597.01	c   pseudoobj        :       3014          0          0          0
3587.28/3597.01	c   redcost          :         18          0          0          0
3587.28/3597.01	c   rootredcost      :          1          0          0          0
3587.28/3597.01	c   symmetry         :          0          0          0          0
3587.28/3597.01	c   vbounds          :       9466          0          0          0
3587.28/3597.01	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3587.28/3597.01	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
3587.28/3597.01	c   genvbounds       :       0.00       0.00       0.00       0.00       0.00       0.00
3587.28/3597.01	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3587.28/3597.01	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3587.28/3597.01	c   probing          :       0.20       0.00       0.20       0.00       0.00       0.00
3587.28/3597.01	c   pseudoobj        :       0.01       0.00       0.00       0.01       0.00       0.00
3587.28/3597.01	c   redcost          :       0.00       0.00       0.00       0.00       0.00       0.00
3587.28/3597.01	c   rootredcost      :       0.00       0.00       0.00       0.00       0.00       0.00
3587.28/3597.01	c   symmetry         :       0.08       0.00       0.07       0.00       0.00       0.00
3587.28/3597.01	c   vbounds          :       0.01       0.00       0.00       0.01       0.00       0.01
3587.28/3597.01	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3587.28/3597.01	c   propagation      :       0.01         94         92          -        904       66.1         41        8.3          -          -          -
3587.28/3597.01	c   infeasible LP    :       0.02         19         19          -        387      120.0         12       11.2         18      158.4          0
3587.28/3597.01	c   bound exceed. LP :       0.01          1          0          -          0        0.0          0        0.0          0        0.0         10
3587.28/3597.01	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3587.28/3597.01	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3587.28/3597.01	c   applied globally :       0.01          -          -          0        652       34.4          -          -         18          -          -
3587.28/3597.01	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3587.28/3597.01	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3587.28/3597.01	c   cut pool         :       0.47          -        485         24          -          -       7952      16587          -          -          -          -          -    (maximal pool size:       3003)
3587.28/3597.01	c   aggregation      :       1.15       0.00        217         12          0          0          1          4          0          0          0          0          0
3587.28/3597.01	c   > cmir           :          -          -          -          -          -          -          -          4          0          0          0          0          -
3587.28/3597.01	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
3587.28/3597.01	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
3587.28/3597.01	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.28/3597.01	c   clique           :       0.07       0.00         12         12          0          0         72        138          0        125        125          0          0
3587.28/3597.01	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.28/3597.01	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.28/3597.01	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.28/3597.01	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.28/3597.01	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.28/3597.01	c   gomory           :     239.96       0.00        170         10          0          0       7075      13971          0        486        486          0          0
3587.28/3597.01	c   > gomorymi       :          -          -          -          -          -          -          -       5330          0        172        172          0          -
3587.28/3597.01	c   > strongcg       :          -          -          -          -          -          -          -       8641          0        314        314          0          -
3587.28/3597.01	c   impliedbounds    :       0.03       0.00        217         12          0          0          0          0          0          0          0          0          0
3587.28/3597.01	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.28/3597.01	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.28/3597.01	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.28/3597.01	c   mcf              :       0.02       0.00          1          1          0          0          0          0          0          0          0          0          0
3587.28/3597.01	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.28/3597.01	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.28/3597.01	c   multilinear      :       0.00       0.00         29         12          0          0          0          0          0          0          0          0          0
3587.28/3597.01	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.28/3597.01	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.28/3597.01	c   rlt              :       0.00       0.00         10         10          0          0          0          0          0          0          0          0          0
3587.28/3597.01	c   zerohalf         :       2.60       0.00        172         12          0          0        807       2474          3       1860       1857          3          0
3587.28/3597.01	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3587.28/3597.01	c   hybrid           :       0.05       0.00        301         12       2472          0      14119        144          0        112
3587.28/3597.01	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.28/3597.01	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3587.28/3597.01	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3587.28/3597.01	c   problem variables:       0.00          -          0          0
3587.28/3597.01	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3587.28/3597.01	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3587.28/3597.01	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3587.28/3597.01	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3587.28/3597.01	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3587.28/3597.01	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.28/3597.01	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.28/3597.01	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.28/3597.01	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.28/3597.01	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3587.28/3597.01	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.28/3597.01	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.28/3597.01	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.28/3597.01	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.28/3597.01	c   relpscost        :    1144.35       0.00        806          0          0          0         24          0         84       1596
3587.28/3597.01	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3587.28/3597.01	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3587.28/3597.01	c   LP solutions     :       0.00          -          -          0          0
3587.28/3597.01	c   relax solutions  :       0.00          -          -          0          0
3587.28/3597.01	c   pseudo solutions :       0.00          -          -          0          0
3587.28/3597.01	c   strong branching :       0.01          -          -          0          0
3587.28/3597.01	c   actconsdiving    :       0.00       0.00          0          0          0
3587.28/3597.01	c   adaptivediving   :      12.27       0.00          4          0          0
3587.28/3597.01	c   alns             :       2.30       0.00          4          0          0
3587.28/3597.01	c   bound            :       0.00       0.00          0          0          0
3587.28/3597.01	c   clique           :       0.15       0.00          1          0          0
3587.28/3597.01	c   coefdiving       :       0.00       0.00          0          0          0
3587.28/3597.01	c   completesol      :       0.00       0.00          0          0          0
3587.28/3597.01	c   conflictdiving   :      22.99       0.00          3          1          1
3587.28/3597.01	c   crossover        :       0.00       0.00          0          0          0
3587.28/3597.01	c   dins             :       0.00       0.00          0          0          0
3587.28/3597.01	c   distributiondivin:      21.95       0.00          3          0          0
3587.28/3597.01	c   dks              :       0.00       0.00          0          0          0
3587.28/3597.01	c   dps              :       0.00       0.00          0          0          0
3587.28/3597.01	c   dualval          :       0.00       0.00          0          0          0
3587.28/3597.01	c   farkasdiving     :      90.19       0.00          1          0          0
3587.28/3597.01	c   feaspump         :      22.93       0.00          1          0          0
3587.28/3597.01	c   fixandinfer      :       0.00       0.00          0          0          0
3587.28/3597.01	c   fracdiving       :      12.64       0.00          3          0          0
3587.28/3597.01	c   gins             :       0.04       0.00          0          0          0
3587.28/3597.01	c   guideddiving     :       7.61       0.00          2          0          0
3587.28/3597.01	c   indicator        :       0.00       0.00          0          0          0
3587.28/3597.01	c   indicatordiving  :       0.00       0.00          0          0          0
3587.28/3597.01	c   intdiving        :       0.00       0.00          0          0          0
3587.28/3597.01	c   intshifting      :       0.00       0.00          0          0          0
3587.28/3597.01	c   linesearchdiving :       2.44       0.00          2          0          0
3587.28/3597.01	c   localbranching   :       0.00       0.00          0          0          0
3587.28/3597.01	c   locks            :       0.04       0.00          1          0          0
3587.28/3597.01	c   lpface           :       0.50       0.00          1          0          0
3587.28/3597.01	c   mpec             :       0.00       0.00          0          0          0
3587.28/3597.01	c   multistart       :       0.00       0.00          0          0          0
3587.28/3597.01	c   mutation         :       0.00       0.00          0          0          0
3587.28/3597.01	c   nlpdiving        :       0.00       0.00          0          0          0
3587.28/3597.01	c   objpscostdiving  :      30.54       0.00          2          0          0
3587.28/3597.01	c   octane           :       0.00       0.00          0          0          0
3587.28/3597.01	c   ofins            :       0.00       0.00          0          0          0
3587.28/3597.01	c   oneopt           :       0.01       0.00          1          0          0
3587.28/3597.01	c   padm             :       0.00       0.00          0          0          0
3587.28/3597.01	c   proximity        :       0.00       0.00          0          0          0
3587.28/3597.01	c   pscostdiving     :      29.93       0.00          3          0          0
3587.28/3597.01	c   randrounding     :       0.71       0.00        277          0          0
3587.28/3597.01	c   rens             :       0.24       0.00          1          0          0
3587.28/3597.01	c   reoptsols        :       0.00       0.00          0          0          0
3587.28/3597.01	c   repair           :       0.00       0.00          0          0          0
3587.28/3597.01	c   rins             :       1.41       0.00          5          0          0
3587.28/3597.01	c   rootsoldiving    :      36.15       0.00          2          0          0
3587.28/3597.01	c   rounding         :       0.64       0.00        408          0          0
3587.28/3597.01	c   scheduler        :       0.00       0.00          0          0          0
3587.28/3597.01	c   shiftandpropagate:       0.06       0.00          1          0          0
3587.28/3597.01	c   shifting         :       0.99       0.00        225          0          0
3587.28/3597.01	c   simplerounding   :       0.00       0.00          0          0          0
3587.28/3597.01	c   subnlp           :       0.00       0.00          0          0          0
3587.28/3597.01	c   trivial          :       0.00       0.00          2          0          0
3587.28/3597.01	c   trivialnegation  :       0.00       0.00          0          0          0
3587.28/3597.01	c   trustregion      :       0.00       0.00          0          0          0
3587.28/3597.01	c   trysol           :       0.00       0.00          0          0          0
3587.28/3597.01	c   twoopt           :       0.00       0.00          0          0          0
3587.28/3597.01	c   undercover       :       0.00       0.00          0          0          0
3587.28/3597.01	c   vbounds          :       0.12       0.00          1          0          0
3587.28/3597.01	c   veclendiving     :      13.58       0.00          3          0          0
3587.28/3597.01	c   zeroobj          :       0.00       0.00          0          0          0
3587.28/3597.01	c   zirounding       :       0.92       0.00        798          0          0
3587.28/3597.01	c   other solutions  :          -          -          -          0          -
3587.28/3597.01	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3587.28/3597.01	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
3587.28/3597.01	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
3587.28/3597.01	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
3587.28/3597.01	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
3587.28/3597.01	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
3587.28/3597.01	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
3587.28/3597.01	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
3587.28/3597.01	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
3587.28/3597.01	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
3587.28/3597.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3587.28/3597.01	c   primal LP        :       0.60         91          0       0.00       0.00       0.60         91
3587.28/3597.01	c   dual LP          :    1887.94       1110    2601546    2343.74    1377.98       0.00          0
3587.28/3597.01	c   lex dual LP      :       0.00          0          0       0.00          -
3587.28/3597.01	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3587.28/3597.01	c   resolve instable :       0.00          0          0       0.00          -
3587.28/3597.01	c   diving/probing LP:     365.77        455     426359     937.05    1165.65
3587.28/3597.01	c   strong branching :    1071.67       1664    1436577     863.33    1340.50          -          -       2579
3587.28/3597.01	c     (at root node) :          -         19      18453     971.21          -
3587.28/3597.01	c   conflict analysis:       0.01          1         10      10.00          -
3587.28/3597.01	c Relaxators         :       Time      Calls    Cutoffs ImprBounds   ImprTime ReducedDom  Separated AddedConss
3587.28/3597.01	c   benders          :       0.00          0          0          0       0.00          0          0          0
3587.28/3597.01	c B&B Tree           :
3587.28/3597.01	c   number of runs   :          1
3587.28/3597.01	c   nodes            :        804 (798 internal, 6 leaves)
3587.28/3597.01	c   feasible leaves  :          0
3587.28/3597.01	c   infeas. leaves   :          5
3587.28/3597.01	c   objective leaves :          0
3587.28/3597.01	c   nodes (total)    :        804 (798 internal, 6 leaves)
3587.28/3597.01	c   nodes left       :        793
3587.28/3597.01	c   max depth        :         61
3587.28/3597.01	c   max depth (total):         61
3587.28/3597.01	c   backtracks       :         36 (4.5%)
3587.28/3597.01	c   early backtracks :          0 (0.0%)
3587.28/3597.01	c   nodes exc. ref.  :          0 (0.0%)
3587.28/3597.01	c   delayed cutoffs  :          1
3587.28/3597.01	c   repropagations   :         12 (4 domain reductions, 1 cutoffs)
3587.28/3597.01	c   avg switch length:       2.10
3587.28/3597.01	c   switching time   :       1.01
3587.28/3597.01	c Root Node          :
3587.28/3597.01	c   First LP value   : +4.02640000000000e+04
3587.28/3597.01	c   First LP Iters   :       7469 (1382.57 Iter/sec)
3587.28/3597.01	c   First LP Time    :       5.40
3587.28/3597.01	c   Final Dual Bound : +4.02640000000000e+04
3587.28/3597.01	c   Final Root Iters :      98397
3587.28/3597.01	c   Root LP Estimate : +4.55928905112693e+04
3587.28/3597.01	c Solution           :
3587.28/3597.01	c   Solutions found  :          1 (1 improvements)
3587.28/3597.01	c   First Solution   : +8.70240000000000e+04   (in run 1, after 1 nodes, 238.31 seconds, depth 63, found by <conflictdiving>)
3587.28/3597.01	c   Gap First Sol.   :     116.13 %
3587.28/3597.01	c   Gap Last Sol.    :     116.13 %
3587.28/3597.01	c   Primal Bound     : +8.70240000000000e+04   (in run 1, after 1 nodes, 238.31 seconds, depth 63, found by <conflictdiving>)
3587.28/3597.01	c   Dual Bound       : +4.02640000000000e+04
3587.28/3597.01	c   Gap              :     116.13 %
3587.28/3597.01	c Integrals          :      Total       Avg%
3587.28/3597.01	c   primal-dual      :  204301.31      56.80
3587.28/3597.01	c   primal-ref       :          -          - (not evaluated)
3587.28/3597.01	c   dual-ref         :          -          - (not evaluated)
3587.37/3597.18	c Time complete (sec):   3587.451

Verifier Data 

OK	87024

Watcher Data 

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: 63837 MiB (62446 MiB free)
  memory of node 1: 64465 MiB (63788 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486573-1751317711/watcher-4486573-1751317711 -o /tmp/evaluation-result-4486573-1751317711/solver-4486573-1751317711 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751313774-39783 --watchdog 3760 pbsolver -f HOME/instance-4486573-1751317711.opb -t 3600 -m 31000 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=40478, runsolver pid=40475
Current StackSize limit: 8192 KiB


[startup+0.100094 s]*
/proc/loadavg: 4.10 4.10 4.09 5/250 40479
/proc/meminfo: memFree=129244100/131382120 swapFree=33010416/33010684
[pid=40478] ppid=40475 vsize=37848 memory=27648 CPUtime=0.1 cores=5,7
/proc/40478/stat : 40478 (pbsolver) R 40475 40478 39770 0 -1 4194304 4958 0 0 0 9 1 0 0 20 0 1 0 47449938 38756352 6912 18446744073709551615 4198400 14743177 140728961556384 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54296576 140728961558922 140728961559018 140728961559018 140728961564620 0
/proc/40478/statm: 9462 6912 2176 2575 0 6369 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37848 KiB
Current children cumulated memory: 27648 KiB

[startup+0.213034 s]*
/proc/loadavg: 4.10 4.10 4.09 5/250 40479
/proc/meminfo: memFree=129235784/131382120 swapFree=33010416/33010684
[pid=40478] ppid=40475 vsize=47856 memory=37376 CPUtime=0.22 cores=5,7
/proc/40478/stat : 40478 (pbsolver) R 40475 40478 39770 0 -1 4194304 7389 0 0 0 20 2 0 0 20 0 1 0 47449938 49004544 9344 18446744073709551615 4198400 14743177 140728961556384 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54296576 140728961558922 140728961559018 140728961559018 140728961564620 0
/proc/40478/statm: 11964 9344 2176 2575 0 8871 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 47856 KiB
Current children cumulated memory: 37376 KiB

[startup+0.312978 s]*
/proc/loadavg: 4.10 4.10 4.09 5/250 40479
/proc/meminfo: memFree=129211844/131382120 swapFree=33010416/33010684
[pid=40478] ppid=40475 vsize=69664 memory=60644 CPUtime=0.31 cores=5,7
/proc/40478/stat : 40478 (pbsolver) R 40475 40478 39770 0 -1 4194304 13220 0 0 0 28 3 0 0 20 0 1 0 47449938 71335936 15161 18446744073709551615 4198400 14743177 140728961556384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54296576 140728961558922 140728961559018 140728961559018 140728961564620 0
/proc/40478/statm: 17416 15161 2368 2575 0 14323 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 69664 KiB
Current children cumulated memory: 60644 KiB

[startup+0.700322 s]
/proc/loadavg: 4.10 4.10 4.09 5/250 40479
/proc/meminfo: memFree=129171272/131382120 swapFree=33010416/33010684
[pid=40478] ppid=40475 vsize=134256 memory=120772 CPUtime=0.68 cores=5,7
/proc/40478/stat : 40478 (pbsolver) R 40475 40478 39770 0 -1 4194304 26155 0 0 0 62 6 0 0 20 0 1 0 47449938 137478144 30193 18446744073709551615 4198400 14743177 140728961556384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54296576 140728961558922 140728961559018 140728961559018 140728961564620 0
/proc/40478/statm: 33564 30193 2432 2575 0 30471 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 134256 KiB
Current children cumulated memory: 120772 KiB

[startup+1.50028 s]
/proc/loadavg: 4.09 4.09 4.09 5/250 40479
/proc/meminfo: memFree=129098564/131382120 swapFree=33010416/33010684
[pid=40478] ppid=40475 vsize=167688 memory=156036 CPUtime=1.49 cores=5,7
/proc/40478/stat : 40478 (pbsolver) R 40475 40478 39770 0 -1 4194304 46392 0 0 0 137 12 0 0 20 0 1 0 47449938 171712512 39009 18446744073709551615 4198400 14743177 140728961556384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54296576 140728961558922 140728961559018 140728961559018 140728961564620 0
/proc/40478/statm: 41922 39009 2560 2575 0 38829 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 167688 KiB
Current children cumulated memory: 156036 KiB

[startup+3.11281 s]
/proc/loadavg: 4.09 4.09 4.09 5/250 40479
/proc/meminfo: memFree=128878536/131382120 swapFree=33010416/33010684
[pid=40478] ppid=40475 vsize=439288 memory=386532 CPUtime=3.1 cores=5,7
/proc/40478/stat : 40478 (pbsolver) R 40475 40478 39770 0 -1 4194304 74692 0 0 0 291 19 0 0 20 0 1 0 47449938 449830912 96633 18446744073709551615 4198400 14743177 140728961556384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54296576 140728961558922 140728961559018 140728961559018 140728961564620 0
/proc/40478/statm: 109822 96633 2656 2575 0 106729 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 439288 KiB
Current children cumulated memory: 386532 KiB

[startup+6.3003 s]
/proc/loadavg: 4.08 4.09 4.09 5/250 40479
/proc/meminfo: memFree=128878536/131382120 swapFree=33010416/33010684
[pid=40478] ppid=40475 vsize=440152 memory=387428 CPUtime=6.27 cores=5,7
/proc/40478/stat : 40478 (pbsolver) R 40475 40478 39770 0 -1 4194304 74932 0 0 0 608 19 0 0 20 0 1 0 47449938 450715648 96857 18446744073709551615 4198400 14743177 140728961556384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54296576 140728961558922 140728961559018 140728961559018 140728961564620 0
/proc/40478/statm: 110038 96857 2656 2575 0 106945 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 440152 KiB
Current children cumulated memory: 387428 KiB

[startup+12.7003 s]
/proc/loadavg: 4.07 4.09 4.09 5/250 40479
/proc/meminfo: memFree=128873608/131382120 swapFree=33010416/33010684
[pid=40478] ppid=40475 vsize=440152 memory=387428 CPUtime=12.66 cores=5,7
/proc/40478/stat : 40478 (pbsolver) R 40475 40478 39770 0 -1 4194304 75037 0 0 0 1247 19 0 0 20 0 1 0 47449938 450715648 96857 18446744073709551615 4198400 14743177 140728961556384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54296576 140728961558922 140728961559018 140728961559018 140728961564620 0
/proc/40478/statm: 110038 96857 2656 2575 0 106945 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 440152 KiB
Current children cumulated memory: 387428 KiB

[startup+25.5003 s]
/proc/loadavg: 4.14 4.10 4.09 5/250 40479
/proc/meminfo: memFree=128861320/131382120 swapFree=33010416/33010684
[pid=40478] ppid=40475 vsize=440456 memory=387428 CPUtime=25.42 cores=5,7
/proc/40478/stat : 40478 (pbsolver) R 40475 40478 39770 0 -1 4194304 75038 0 0 0 2523 19 0 0 20 0 1 0 47449938 451026944 96857 18446744073709551615 4198400 14743177 140728961556384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54296576 140728961558922 140728961559018 140728961559018 140728961564620 0
/proc/40478/statm: 110114 96857 2656 2575 0 107021 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 440456 KiB
Current children cumulated memory: 387428 KiB

[startup+51.1127 s]
/proc/loadavg: 4.08 4.09 4.09 5/250 40480
/proc/meminfo: memFree=128837360/131382120 swapFree=33010416/33010684
[pid=40478] ppid=40475 vsize=465668 memory=404000 CPUtime=50.97 cores=5,7
/proc/40478/stat : 40478 (pbsolver) R 40475 40478 39770 0 -1 4194304 78656 0 0 0 5077 20 0 0 20 0 1 0 47449938 476844032 101000 18446744073709551615 4198400 14743177 140728961556384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54296576 140728961558922 140728961559018 140728961559018 140728961564620 0
/proc/40478/statm: 116417 101000 2688 2575 0 113324 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 465668 KiB
Current children cumulated memory: 404000 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/251 40483
/proc/meminfo: memFree=128773948/131382120 swapFree=33010416/33010684
[pid=40478] ppid=40475 vsize=493012 memory=419624 CPUtime=102.01 cores=5,7
/proc/40478/stat : 40478 (pbsolver) R 40475 40478 39770 0 -1 4194304 79495 0 0 0 10181 20 0 0 20 0 1 0 47449938 504844288 104906 18446744073709551615 4198400 14743177 140728961556384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54296576 140728961558922 140728961559018 140728961559018 140728961564620 0
/proc/40478/statm: 123253 104906 2688 2575 0 120160 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 493012 KiB
Current children cumulated memory: 419624 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/252 40487
/proc/meminfo: memFree=128740500/131382120 swapFree=33010416/33010684
[pid=40478] ppid=40475 vsize=514880 memory=426708 CPUtime=161.86 cores=5,7
/proc/40478/stat : 40478 (pbsolver) R 40475 40478 39770 0 -1 4194304 80266 0 0 0 16165 21 0 0 20 0 1 0 47449938 527237120 106677 18446744073709551615 4198400 14743177 140728961556384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54296576 140728961558922 140728961559018 140728961559018 140728961564620 0
/proc/40478/statm: 128720 106677 2688 2575 0 125627 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 514880 KiB
Current children cumulated memory: 426708 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/252 40489
/proc/meminfo: memFree=128662532/131382120 swapFree=33010416/33010684
[pid=40478] ppid=40475 vsize=514880 memory=426708 CPUtime=221.7 cores=5,7
/proc/40478/stat : 40478 (pbsolver) R 40475 40478 39770 0 -1 4194304 80278 0 0 0 22149 21 0 0 20 0 1 0 47449938 527237120 106677 18446744073709551615 4198400 14743177 140728961556384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54296576 140728961558922 140728961559018 140728961559018 140728961564620 0
/proc/40478/statm: 128720 106677 2688 2575 0 125627 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 514880 KiB
Current children cumulated memory: 426708 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/251 40493
/proc/meminfo: memFree=128594728/131382120 swapFree=33010416/33010684
[pid=40478] ppid=40475 vsize=582124 memory=494292 CPUtime=281.54 cores=5,7
/proc/40478/stat : 40478 (pbsolver) R 40475 40478 39770 0 -1 4194304 97163 0 0 0 28130 24 0 0 20 0 1 0 47449938 596094976 123573 18446744073709551615 4198400 14743177 140728961556384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54296576 140728961558922 140728961559018 140728961559018 140728961564620 0
/proc/40478/statm: 145531 123573 2688 2575 0 142438 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 582124 KiB
Current children cumulated memory: 494292 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/252 40500
/proc/meminfo: memFree=128612956/131382120 swapFree=33010416/33010684
[pid=40478] ppid=40475 vsize=582124 memory=494292 CPUtime=341.38 cores=5,7
/proc/40478/stat : 40478 (pbsolver) R 40475 40478 39770 0 -1 4194304 97168 0 0 0 34113 25 0 0 20 0 1 0 47449938 596094976 123573 18446744073709551615 4198400 14743177 140728961556384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54296576 140728961558922 140728961559018 140728961559018 140728961564620 0
/proc/40478/statm: 145531 123573 2688 2575 0 142438 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 582124 KiB
Current children cumulated memory: 494292 KiB

[startup+402.3 s]
/proc/loadavg: 4.60 4.22 4.13 5/251 40502
/proc/meminfo: memFree=128619164/131382120 swapFree=33010416/33010684
[pid=40478] ppid=40475 vsize=582124 memory=494292 CPUtime=401.22 cores=5,7
/proc/40478/stat : 40478 (pbsolver) R 40475 40478 39770 0 -1 4194304 97178 0 0 0 40096 26 0 0 20 0 1 0 47449938 596094976 123573 18446744073709551615 4198400 14743177 140728961556384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54296576 140728961558922 140728961559018 140728961559018 140728961564620 0
/proc/40478/statm: 145531 123573 2688 2575 0 142438 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 582124 KiB
Current children cumulated memory: 494292 KiB

[startup+462.3 s]
/proc/loadavg: 4.52 4.28 4.16 5/250 40504
/proc/meminfo: memFree=128514248/131382120 swapFree=33010416/33010684
[pid=40478] ppid=40475 vsize=647928 memory=560424 CPUtime=461.06 cores=5,7
/proc/40478/stat : 40478 (pbsolver) R 40475 40478 39770 0 -1 4194304 107638 0 0 0 46077 29 0 0 20 0 1 0 47449938 663478272 140106 18446744073709551615 4198400 14743177 140728961556384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54296576 140728961558922 140728961559018 140728961559018 140728961564620 0
/proc/40478/statm: 161982 140106 2688 2575 0 158889 0
Current children cumulated CPU time: 461.06 s

################
# More data... #
################

/proc/loadavg: 4.09 4.09 4.09 5/252 40667
/proc/meminfo: memFree=127703448/131382120 swapFree=33010416/33010684
[pid=40478] ppid=40475 vsize=935408 memory=692884 CPUtime=3213.75 cores=5,7
/proc/40478/stat : 40478 (pbsolver) R 40475 40478 39770 0 -1 4194304 110565 0 0 0 321330 45 0 0 20 0 1 0 47449938 957857792 173221 18446744073709551615 4198400 14743177 140728961556384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54296576 140728961558922 140728961559018 140728961559018 140728961564620 0
/proc/40478/statm: 233852 173221 2688 2575 0 230759 0
Current children cumulated CPU time: 3213.75 s
Current children cumulated vsize: 935408 KiB
Current children cumulated memory: 692884 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.09 4.09 6/252 40806
/proc/meminfo: memFree=129268728/131382120 swapFree=33010416/33010684
[pid=40478] ppid=40475 vsize=944172 memory=694676 CPUtime=3273.56 cores=5,7
/proc/40478/stat : 40478 (pbsolver) R 40475 40478 39770 0 -1 4194304 111003 0 0 0 327309 47 0 0 20 0 1 0 47449938 966832128 173669 18446744073709551615 4198400 14743177 140728961556384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54296576 140728961558922 140728961559018 140728961559018 140728961564620 0
/proc/40478/statm: 236043 173669 2688 2575 0 232950 0
Current children cumulated CPU time: 3273.56 s
Current children cumulated vsize: 944172 KiB
Current children cumulated memory: 694676 KiB

[startup+3342.3 s]
/proc/loadavg: 4.06 4.08 4.09 6/252 40813
/proc/meminfo: memFree=129004736/131382120 swapFree=33010416/33010684
[pid=40478] ppid=40475 vsize=955928 memory=696980 CPUtime=3333.38 cores=5,7
/proc/40478/stat : 40478 (pbsolver) R 40475 40478 39770 0 -1 4194304 111739 0 0 0 333290 48 0 0 20 0 1 0 47449938 978870272 174245 18446744073709551615 4198400 14743177 140728961556384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54296576 140728961558922 140728961559018 140728961559018 140728961564620 0
/proc/40478/statm: 238982 174245 2688 2575 0 235889 0
Current children cumulated CPU time: 3333.38 s
Current children cumulated vsize: 955928 KiB
Current children cumulated memory: 696980 KiB

[startup+3402.3 s]
/proc/loadavg: 4.06 4.08 4.09 6/250 40815
/proc/meminfo: memFree=128952868/131382120 swapFree=33010416/33010684
[pid=40478] ppid=40475 vsize=981108 memory=702784 CPUtime=3393.19 cores=5,7
/proc/40478/stat : 40478 (pbsolver) R 40475 40478 39770 0 -1 4194304 112170 0 0 0 339270 49 0 0 20 0 1 0 47449938 1004654592 175696 18446744073709551615 4198400 14743177 140728961556384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54296576 140728961558922 140728961559018 140728961559018 140728961564620 0
/proc/40478/statm: 245277 175696 2688 2575 0 242184 0
Current children cumulated CPU time: 3393.19 s
Current children cumulated vsize: 981108 KiB
Current children cumulated memory: 702784 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.10 4.09 6/250 40817
/proc/meminfo: memFree=128857204/131382120 swapFree=33010416/33010684
[pid=40478] ppid=40475 vsize=987196 memory=706368 CPUtime=3452.99 cores=5,7
/proc/40478/stat : 40478 (pbsolver) R 40475 40478 39770 0 -1 4194304 113079 0 0 0 345250 49 0 0 20 0 1 0 47449938 1010888704 176592 18446744073709551615 4198400 14743177 140728961556384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54296576 140728961558922 140728961559018 140728961559018 140728961564620 0
/proc/40478/statm: 246799 176592 2688 2575 0 243706 0
Current children cumulated CPU time: 3452.99 s
Current children cumulated vsize: 987196 KiB
Current children cumulated memory: 706368 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.09 6/250 40819
/proc/meminfo: memFree=128807116/131382120 swapFree=33010416/33010684
[pid=40478] ppid=40475 vsize=989356 memory=707392 CPUtime=3512.81 cores=5,7
/proc/40478/stat : 40478 (pbsolver) R 40475 40478 39770 0 -1 4194304 113328 0 0 0 351231 50 0 0 20 0 1 0 47449938 1013100544 176848 18446744073709551615 4198400 14743177 140728961556384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54296576 140728961558922 140728961559018 140728961559018 140728961564620 0
/proc/40478/statm: 247339 176848 2688 2575 0 244246 0
Current children cumulated CPU time: 3512.81 s
Current children cumulated vsize: 989356 KiB
Current children cumulated memory: 707392 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.09 4.09 6/250 40821
/proc/meminfo: memFree=128772168/131382120 swapFree=33010416/33010684
[pid=40478] ppid=40475 vsize=1001516 memory=711796 CPUtime=3572.61 cores=5,7
/proc/40478/stat : 40478 (pbsolver) R 40475 40478 39770 0 -1 4194304 113926 0 0 0 357211 50 0 0 20 0 1 0 47449938 1025552384 177949 18446744073709551615 4198400 14743177 140728961556384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54296576 140728961558922 140728961559018 140728961559018 140728961564620 0
/proc/40478/statm: 250379 177949 2688 2575 0 247286 0
Current children cumulated CPU time: 3572.61 s
Current children cumulated vsize: 1001516 KiB
Current children cumulated memory: 711796 KiB

[startup+3597.18 s]
# the end of solver process 40478 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3586.94 s, system=0.512062 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3584 s]*
/proc/loadavg: 4.12 4.09 4.09 6/250 40821
/proc/meminfo: memFree=128772168/131382120 swapFree=33010416/33010684
[pid=40478] ppid=40475 vsize=1001516 memory=711796 CPUtime=3574.32 cores=5,7
/proc/40478/stat : 40478 (pbsolver) R 40475 40478 39770 0 -1 4194304 113926 0 0 0 357382 50 0 0 20 0 1 0 47449938 1025552384 177949 18446744073709551615 4198400 14743177 140728961556384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54296576 140728961558922 140728961559018 140728961559018 140728961564620 0
/proc/40478/statm: 250379 177949 2688 2575 0 247286 0
Current children cumulated CPU time: 3574.32 s
Current children cumulated vsize: 1001516 KiB
Current children cumulated memory: 711796 KiB

[startup+3590.4 s]
/proc/loadavg: 4.11 4.09 4.09 6/250 40821
/proc/meminfo: memFree=128772168/131382120 swapFree=33010416/33010684
[pid=40478] ppid=40475 vsize=1001516 memory=711796 CPUtime=3580.69 cores=5,7
/proc/40478/stat : 40478 (pbsolver) R 40475 40478 39770 0 -1 4194304 113926 0 0 0 358019 50 0 0 20 0 1 0 47449938 1025552384 177949 18446744073709551615 4198400 14743177 140728961556384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54296576 140728961558922 140728961559018 140728961559018 140728961564620 0
/proc/40478/statm: 250379 177949 2688 2575 0 247286 0
Current children cumulated CPU time: 3580.69 s
Current children cumulated vsize: 1001516 KiB
Current children cumulated memory: 711796 KiB

[startup+3593.6 s]
/proc/loadavg: 4.10 4.09 4.09 6/250 40822
/proc/meminfo: memFree=128772168/131382120 swapFree=33010416/33010684
[pid=40478] ppid=40475 vsize=1001516 memory=711796 CPUtime=3583.87 cores=5,7
/proc/40478/stat : 40478 (pbsolver) R 40475 40478 39770 0 -1 4194304 113927 0 0 0 358337 50 0 0 20 0 1 0 47449938 1025552384 177949 18446744073709551615 4198400 14743177 140728961556384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54296576 140728961558922 140728961559018 140728961559018 140728961564620 0
/proc/40478/statm: 250379 177949 2688 2575 0 247286 0
Current children cumulated CPU time: 3583.87 s
Current children cumulated vsize: 1001516 KiB
Current children cumulated memory: 711796 KiB

[startup+3595.2 s]
/proc/loadavg: 4.10 4.09 4.09 6/250 40822
/proc/meminfo: memFree=128772184/131382120 swapFree=33010416/33010684
[pid=40478] ppid=40475 vsize=1001516 memory=711796 CPUtime=3585.47 cores=5,7
/proc/40478/stat : 40478 (pbsolver) R 40475 40478 39770 0 -1 4194304 113927 0 0 0 358497 50 0 0 20 0 1 0 47449938 1025552384 177949 18446744073709551615 4198400 14743177 140728961556384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54296576 140728961558922 140728961559018 140728961559018 140728961564620 0
/proc/40478/statm: 250379 177949 2688 2575 0 247286 0
Current children cumulated CPU time: 3585.47 s
Current children cumulated vsize: 1001516 KiB
Current children cumulated memory: 711796 KiB

[startup+3596 s]*
/proc/loadavg: 4.10 4.09 4.09 6/250 40822
/proc/meminfo: memFree=128772184/131382120 swapFree=33010416/33010684
[pid=40478] ppid=40475 vsize=1001516 memory=711796 CPUtime=3586.28 cores=5,7
/proc/40478/stat : 40478 (pbsolver) R 40475 40478 39770 0 -1 4194304 113927 0 0 0 358578 50 0 0 20 0 1 0 47449938 1025552384 177949 18446744073709551615 4198400 14743177 140728961556384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54296576 140728961558922 140728961559018 140728961559018 140728961564620 0
/proc/40478/statm: 250379 177949 2688 2575 0 247286 0
Current children cumulated CPU time: 3586.28 s
Current children cumulated vsize: 1001516 KiB
Current children cumulated memory: 711796 KiB

[startup+3596.8 s]
/proc/loadavg: 4.10 4.09 4.09 6/250 40822
/proc/meminfo: memFree=128772184/131382120 swapFree=33010416/33010684
[pid=40478] ppid=40475 vsize=1001516 memory=711796 CPUtime=3587.06 cores=5,7
/proc/40478/stat : 40478 (pbsolver) R 40475 40478 39770 0 -1 4194304 113927 0 0 0 358656 50 0 0 20 0 1 0 47449938 1025552384 177949 18446744073709551615 4198400 14743177 140728961556384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54296576 140728961558922 140728961559018 140728961559018 140728961564620 0
/proc/40478/statm: 250379 177949 2688 2575 0 247286 0
Current children cumulated CPU time: 3587.06 s
Current children cumulated vsize: 1001516 KiB
Current children cumulated memory: 711796 KiB

[startup+3597 s]*
/proc/loadavg: 4.09 4.08 4.09 6/250 40822
/proc/meminfo: memFree=128770420/131382120 swapFree=33010416/33010684
[pid=40478] ppid=40475 vsize=1001516 memory=711796 CPUtime=3587.28 cores=5,7
/proc/40478/stat : 40478 (pbsolver) R 40475 40478 39770 0 -1 4194304 113935 0 0 0 358678 50 0 0 20 0 1 0 47449938 1025552384 177949 18446744073709551615 4198400 14743177 140728961556384 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54296576 140728961558922 140728961559018 140728961559018 140728961564620 0
/proc/40478/statm: 250379 177949 2688 2575 0 247286 0
Current children cumulated CPU time: 3587.28 s
Current children cumulated vsize: 1001516 KiB
Current children cumulated memory: 711796 KiB

[startup+3597.11 s]
/proc/loadavg: 4.09 4.08 4.09 6/250 40822
/proc/meminfo: memFree=128770420/131382120 swapFree=33010416/33010684
[pid=40478] ppid=40475 vsize=997016 memory=707368 CPUtime=3587.37 cores=5,7
/proc/40478/stat : 40478 (pbsolver) R 40475 40478 39770 0 -1 4194304 113935 0 0 0 358687 50 0 0 20 0 1 0 47449938 1020944384 176842 18446744073709551615 4198400 14743177 140728961556384 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54296576 140728961558922 140728961559018 140728961559018 140728961564620 0
/proc/40478/statm: 249254 176842 2688 2575 0 246161 0
Current children cumulated CPU time: 3587.37 s
Current children cumulated vsize: 997016 KiB
Current children cumulated memory: 707368 KiB

Child status: 0

Real time (s): 3597.18
CPU time (s): 3587.45
CPU user time (s): 3586.94
CPU system time (s): 0.512062
CPU usage (%): 99.7296
Max. virtual memory (cumulated for all children) (KiB): 1001516
Max. memory (cumulated for all children) (KiB): 711796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.94
system time used= 0.512062
maximum resident set size= 711796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114009
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= 24
involuntary context switches= 1396


# summary of solver processes directly reported to runsolver:
#   pid: 40478
#   total CPU time (s): 3587.45
#   total CPU user time (s): 3586.94
#   total CPU system time (s): 0.512062

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6711 second user time and 33.5698 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2025-06-30 23:08:31
IDJOB=4486573
IDBENCH=147023
IDSOLVER=3366
FILE ID=nodeC002/4486573-1751317711
RUNJOBID= nodeC002-1751313774-39783
SLURM_JOB_ID= 9594319
Free space on /tmp= 433012 MiB

SOLVER NAME= SCIP-10 2025-06-13
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-data10_3.opb
COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4486573-1751317711/watcher-4486573-1751317711 -o /tmp/evaluation-result-4486573-1751317711/solver-4486573-1751317711 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751313774-39783 --watchdog 3760  pbsolver -f HOME/instance-4486573-1751317711.opb -t 3600 -m 31000

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 45d4d1161a77415ffbfc9841f6913b11
RANDOM SEED=1998028377

nodeC002 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	: 0xb00001f
cpu MHz		: 3662.396
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.81
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	: 0xb00001f
cpu MHz		: 3691.375
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.81
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	: 0xb00001f
cpu MHz		: 1197.789
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.81
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	: 0xb00001f
cpu MHz		: 3700.000
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.81
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	: 0xb00001f
cpu MHz		: 3662.354
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.81
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	: 0xb00001f
cpu MHz		: 3700.000
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.81
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	: 0xb00001f
cpu MHz		: 3700.000
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.81
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	: 0xb00001f
cpu MHz		: 1197.227
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        129264072 kB
MemAvailable:   128909476 kB
Buffers:            2128 kB
Cached:           451332 kB
SwapCached:           28 kB
Active:          1415616 kB
Inactive:         160328 kB
Active(anon):    1134008 kB
Inactive(anon):     6408 kB
Active(file):     281608 kB
Inactive(file):   153920 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             17964 kB
Writeback:             0 kB
AnonPages:       1125564 kB
Mapped:           137484 kB
Shmem:             17932 kB
KReclaimable:      91160 kB
Slab:             174064 kB
SReclaimable:      91160 kB
SUnreclaim:        82904 kB
KernelStack:        4032 kB
PageTables:         5364 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    1600620 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149432 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     94208 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:      181064 kB
DirectMap2M:     8110080 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433000 MiB
End job on nodeC002 at 2025-07-01 00:08:29