Trace number 2705341

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 NameAnswerCPU timeWall clock time
SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solverMSAT 1791 1790.96

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-cache.inv8.ucl--soft-0-100-0.wbo
MD5SUMd41d4dcc01415e574abb081114a32401
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark16
Best CPU time to get the best result obtained on this benchmark0.021995
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2355
Total number of constraints6744
Number of soft constraints6744
Number of constraints which are clauses6568
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints176
Minimum length of a constraint1
Maximum length of a constraint9
Top cost 341452
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 341451
Biggest number in a constraint 17
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 62
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2705341-1278578356.wbo>
0.04/0.08	c original problem has 15843 variables (9099 bin, 0 int, 6744 impl, 0 cont) and 13489 constraints
0.04/0.08	c problem read
0.04/0.08	c presolving settings loaded
0.59/0.63	o 341451
0.59/0.63	c feasible solution found by trivial heuristic, objective value  3.414510e+05
0.59/0.63	c presolving:
0.59/0.64	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 88 chg sides, 176 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.59/0.66	c (round 2) 0 del vars, 1 del conss, 6744 chg bounds, 88 chg sides, 176 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.69/0.78	c    (0.7s) probing: 101/9099 (1.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.69/0.78	c    (0.7s) probing aborted: 100/100 successive totally useless probings
0.69/0.78	c presolving (3 rounds):
0.69/0.78	c  0 deleted vars, 1 deleted constraints, 6744 tightened bounds, 0 added holes, 88 changed sides, 176 changed coefficients
0.69/0.78	c  13312 implications, 0 cliques
0.69/0.78	c presolved problem has 15843 variables (9099 bin, 0 int, 6744 impl, 0 cont) and 13488 constraints
0.69/0.78	c       1 constraints of type <varbound>
0.69/0.78	c    6743 constraints of type <linear>
0.69/0.78	c    6744 constraints of type <indicator>
0.69/0.78	c transformed objective value is always integral (scale: 1)
0.69/0.78	c Presolving Time: 0.65
0.69/0.78	c - non default parameters ----------------------------------------------------------------------
0.69/0.78	c # SCIP version 1.2.1.3
0.69/0.78	c 
0.69/0.78	c # frequency for displaying node information lines
0.69/0.78	c # [type: int, range: [-1,2147483647], default: 100]
0.69/0.78	c display/freq = 10000
0.69/0.78	c 
0.69/0.78	c # maximal time in seconds to run
0.69/0.78	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.78	c limits/time = 1789.93
0.69/0.78	c 
0.69/0.78	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.69/0.78	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.78	c limits/memory = 3420
0.69/0.78	c 
0.69/0.78	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.69/0.78	c # [type: int, range: [1,2], default: 1]
0.69/0.78	c timing/clocktype = 2
0.69/0.78	c 
0.69/0.78	c # should presolving try to simplify inequalities
0.69/0.78	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.78	c constraints/linear/simplifyinequalities = TRUE
0.69/0.78	c 
0.69/0.78	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.69/0.78	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.78	c constraints/indicator/addCouplingCons = TRUE
0.69/0.78	c 
0.69/0.78	c # should presolving try to simplify knapsacks
0.69/0.78	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.78	c constraints/knapsack/simplifyinequalities = TRUE
0.69/0.78	c 
0.69/0.78	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.69/0.78	c # [type: int, range: [-1,2147483647], default: -1]
0.69/0.78	c separating/rapidlearning/freq = 0
0.69/0.78	c 
0.69/0.78	c -----------------------------------------------------------------------------------------------
0.69/0.78	c start solving
0.69/0.78	c 
0.79/0.81	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.79/0.81	c t 0.7s|     1 |     0 |     0 |     - |  51M|   0 |   0 |  15k|  13k|  15k|   0 |   0 |   0 |   0 | 0.000000e+00 | 3.414510e+05 |    Inf 
0.79/0.83	c   0.7s|     1 |     0 |   190 |     - |  51M|   0 |  88 |  15k|  13k|  15k| 191 | 191 |   0 |   0 | 0.000000e+00 | 3.414510e+05 |    Inf 
0.89/0.95	c   0.9s|     1 |     0 |   336 |     - |  51M|   0 | 172 |  15k|  13k|  15k| 479 | 479 |   0 |   0 | 0.000000e+00 | 3.414510e+05 |    Inf 
1.10/1.18	c   1.1s|     1 |     0 |   517 |     - |  52M|   0 | 234 |  15k|  13k|  15k| 661 | 661 |   0 |   0 | 0.000000e+00 | 3.414510e+05 |    Inf 
1.39/1.44	c   1.4s|     1 |     0 |   782 |     - |  53M|   0 | 317 |  15k|  13k|  15k| 826 | 826 |   0 |   0 | 0.000000e+00 | 3.414510e+05 |    Inf 
1.69/1.73	c   1.7s|     1 |     0 |  1079 |     - |  53M|   0 | 399 |  15k|  13k|  15k| 977 | 977 |   0 |   0 | 0.000000e+00 | 3.414510e+05 |    Inf 
1.99/2.06	c   2.0s|     1 |     0 |  1377 |     - |  53M|   0 | 392 |  15k|  13k|  15k|1100 |1100 |   0 |   0 | 0.000000e+00 | 3.414510e+05 |    Inf 
2.29/2.39	c   2.3s|     1 |     2 |  1377 |     - |  53M|   0 | 392 |  15k|  13k|  15k|1100 |1100 |   0 |  33 | 0.000000e+00 | 3.414510e+05 |    Inf 
31.49/31.50	o 341399
31.49/31.50	c y31.4s|   920 |   919 | 35355 |  37.0 |  58M|  97 |   - |  15k|  13k|   0 |   0 |1309 |   0 |2009 | 0.000000e+00 | 3.413990e+05 |    Inf 
113.58/113.61	c   114s| 10000 | 10001 | 76530 |   7.5 | 121M| 165 |   0 |  15k|  13k|  15k| 961 |  17k|   0 |2692 | 0.000000e+00 | 3.413990e+05 |    Inf 
204.78/204.84	c   205s| 20000 | 20001 |113145 |   5.6 | 168M| 189 |   0 |  15k|  13k|  15k| 973 |  32k|   0 |3131 | 0.000000e+00 | 3.413990e+05 |    Inf 
297.79/297.88	c   298s| 30000 | 30001 |135140 |   4.5 | 214M| 199 |   0 |  15k|  13k|  15k| 995 |  43k|   0 |3258 | 0.000000e+00 | 3.413990e+05 |    Inf 
391.99/392.08	c   392s| 40000 | 40001 |169753 |   4.2 | 261M| 199 |   0 |  15k|  13k|  15k|1021 |  57k|   0 |3839 | 0.000000e+00 | 3.413990e+05 |    Inf 
485.30/485.36	c   485s| 50000 | 50001 |199041 |   4.0 | 307M| 199 |   0 |  15k|  13k|  15k| 986 |  69k|   0 |4151 | 0.000000e+00 | 3.413990e+05 |    Inf 
581.50/581.52	c   581s| 60000 | 60001 |220149 |   3.6 | 353M| 199 |   0 |  15k|  13k|  15k| 954 |  81k|   0 |4326 | 0.000000e+00 | 3.413990e+05 |    Inf 
677.40/677.41	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
677.40/677.41	c   677s| 70000 | 70001 |243435 |   3.5 | 400M| 199 |   0 |  15k|  13k|  15k| 991 |  93k|   0 |4584 | 0.000000e+00 | 3.413990e+05 |    Inf 
774.11/774.17	c   774s| 80000 | 80001 |259928 |   3.2 | 446M| 199 |   0 |  15k|  13k|  15k| 959 | 102k|   0 |4788 | 0.000000e+00 | 3.413990e+05 |    Inf 
869.70/869.78	c   870s| 90000 | 90001 |280085 |   3.1 | 492M| 199 |   0 |  15k|  13k|  15k| 960 | 114k|   0 |4848 | 0.000000e+00 | 3.413990e+05 |    Inf 
963.81/963.86	c   964s|100000 |100001 |302235 |   3.0 | 539M| 199 |  63 |  15k|  13k|  15k| 881 | 126k|   0 |4940 | 0.000000e+00 | 3.413990e+05 |    Inf 
1059.32/1059.39	c  1059s|110000 |110001 |321971 |   2.9 | 585M| 199 |   0 |  15k|  13k|  15k| 993 | 138k|   0 |4947 | 0.000000e+00 | 3.413990e+05 |    Inf 
1156.41/1156.49	c  1156s|120000 |120001 |334526 |   2.8 | 631M| 199 |   0 |  15k|  13k|  15k| 955 | 145k|   0 |4983 | 0.000000e+00 | 3.413990e+05 |    Inf 
1254.22/1254.29	c  1254s|130000 |130001 |345571 |   2.6 | 677M| 199 |   0 |  15k|  13k|  15k| 956 | 150k|   0 |5025 | 0.000000e+00 | 3.413990e+05 |    Inf 
1352.72/1352.71	c  1353s|140000 |140001 |353691 |   2.5 | 724M| 199 |   0 |  15k|  13k|  15k| 956 | 156k|   0 |5025 | 0.000000e+00 | 3.413990e+05 |    Inf 
1451.02/1451.04	c  1451s|150000 |150001 |362016 |   2.4 | 770M| 199 |   0 |  15k|  13k|  15k| 959 | 161k|   0 |5029 | 0.000000e+00 | 3.413990e+05 |    Inf 
1549.13/1549.11	c  1549s|160000 |160001 |373642 |   2.3 | 816M| 199 |   0 |  15k|  13k|  15k| 969 | 168k|   0 |5044 | 0.000000e+00 | 3.413990e+05 |    Inf 
1647.33/1647.35	c  1647s|170000 |170001 |385539 |   2.3 | 862M| 199 |   0 |  15k|  13k|  15k| 956 | 175k|   0 |5048 | 0.000000e+00 | 3.413990e+05 |    Inf 
1745.94/1745.93	c  1746s|180000 |180001 |396410 |   2.2 | 909M| 199 |   0 |  15k|  13k|  15k| 959 | 182k|   0 |5050 | 0.000000e+00 | 3.413990e+05 |    Inf 
1790.03/1790.01	c 
1790.03/1790.01	c SCIP Status        : solving was interrupted [time limit reached]
1790.03/1790.01	c Solving Time (sec) : 1789.94
1790.03/1790.01	c Solving Nodes      : 184032
1790.03/1790.01	c Primal Bound       : +3.41399000000000e+05 (103 solutions)
1790.03/1790.01	c Dual Bound         : +0.00000000000000e+00
1790.03/1790.01	c Gap                : infinite
1790.53/1790.59	s SATISFIABLE
1790.53/1790.59	v x2355 x2354 x2353 x2352 x2351 -x2350 -x2349 x2348 x2347 x2346 x2345 -x2344 -x2343 x2342 -x2341 x2340 x2339 x2338 x2337 -x2336 x2335 
1790.53/1790.59	v -x2334 -x2333 x2332 x2331 -x2330 x2329 x2328 -x2327 x2326 x2325 -x2324 x2323 -x2322 -x2321 x2320 -x2319 x2318 x2317 -x2316 
1790.53/1790.59	v x2315 -x2314 -x2313 x2312 x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 
1790.53/1790.59	v -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 
1790.53/1790.59	v -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 
1790.53/1790.59	v -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 
1790.53/1790.59	v -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 
1790.53/1790.59	v -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 
1790.53/1790.59	v -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 x2193 -x2192 -x2191 -x2190 
1790.53/1790.59	v -x2189 -x2188 x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 
1790.53/1790.59	v -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 
1790.53/1790.59	v -x2154 -x2153 x2152 x2151 -x2150 -x2149 x2148 x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 x2139 -x2138 -x2137 -x2136 
1790.53/1790.59	v x2135 x2134 -x2133 -x2132 -x2131 x2130 -x2129 -x2128 -x2127 x2126 -x2125 -x2124 -x2123 -x2122 x2121 -x2120 -x2119 -x2118 -x2117 
1790.53/1790.59	v -x2116 x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 
1790.53/1790.59	v -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 
1790.53/1790.59	v -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 
1790.53/1790.59	v -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 
1790.53/1790.59	v -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 
1790.53/1790.59	v -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 x2014 -x2013 -x2012 -x2011 -x2010 
1790.53/1790.59	v -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 
1790.53/1790.59	v -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 
1790.53/1790.59	v -x1973 x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 x1958 -x1957 -x1956 
1790.53/1790.59	v -x1955 -x1954 -x1953 -x1952 -x1951 x1950 -x1949 -x1948 -x1947 -x1946 x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 
1790.53/1790.59	v -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 x1920 
1790.53/1790.59	v x1919 -x1918 -x1917 -x1916 -x1915 x1914 -x1913 -x1912 -x1911 -x1910 -x1909 x1908 x1907 -x1906 -x1905 -x1904 -x1903 -x1902 
1790.53/1790.59	v -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 x1884 -x1883 
1790.53/1790.59	v -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 
1790.53/1790.59	v -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 
1790.53/1790.59	v -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 
1790.53/1790.59	v -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 
1790.53/1790.59	v -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 x1798 -x1797 -x1796 x1795 x1794 
1790.53/1790.59	v x1793 -x1792 -x1791 -x1790 x1789 x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 
1790.53/1790.59	v -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 
1790.53/1790.59	v -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 
1790.53/1790.59	v -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 
1790.53/1790.59	v -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 
1790.53/1790.59	v -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 
1790.53/1790.59	v -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 
1790.53/1790.59	v -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 
1790.53/1790.59	v -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 
1790.53/1790.59	v -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 
1790.53/1790.59	v x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 
1790.53/1790.59	v -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 x1587 -x1586 -x1585 x1584 -x1583 x1582 -x1581 -x1580 x1579 x1578 
1790.53/1790.59	v x1577 -x1576 x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 x1562 x1561 -x1560 
1790.53/1790.59	v -x1559 -x1558 -x1557 -x1556 x1555 x1554 -x1553 -x1552 -x1551 -x1550 -x1549 x1548 -x1547 -x1546 -x1545 -x1544 -x1543 x1542 -x1541 
1790.53/1790.59	v -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 
1790.53/1790.59	v x1522 -x1521 x1520 x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 x1511 x1510 -x1509 -x1508 x1507 -x1506 x1505 -x1504 
1790.53/1790.59	v x1503 -x1502 -x1501 -x1500 -x1499 -x1498 x1497 x1496 x1495 x1494 x1493 -x1492 -x1491 x1490 -x1489 -x1488 -x1487 -x1486 
1790.53/1790.59	v x1485 x1484 x1483 x1482 -x1481 x1480 -x1479 -x1478 x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 
1790.53/1790.59	v -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 
1790.53/1790.59	v -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 
1790.53/1790.59	v -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 
1790.53/1790.59	v -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 
1790.53/1790.59	v -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 
1790.53/1790.59	v -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 x1365 -x1364 -x1363 -x1362 -x1361 -x1360 
1790.53/1790.59	v -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 
1790.53/1790.59	v -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 
1790.53/1790.59	v -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 
1790.53/1790.59	v -x1305 -x1304 -x1303 -x1302 -x1301 x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 
1790.53/1790.59	v -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 x1276 x1275 x1274 -x1273 -x1272 -x1271 -x1270 
1790.53/1790.59	v -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 x1259 x1258 -x1257 -x1256 -x1255 x1254 -x1253 x1252 x1251 
1790.53/1790.59	v x1250 -x1249 -x1248 -x1247 x1246 x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 
1790.53/1790.59	v -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 x1220 -x1219 -x1218 -x1217 -x1216 -x1215 
1790.53/1790.59	v -x1214 -x1213 -x1212 -x1211 -x1210 x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 x1200 -x1199 x1198 x1197 -x1196 
1790.53/1790.59	v -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 
1790.53/1790.59	v -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 x1169 x1168 x1167 -x1166 -x1165 -x1164 x1163 -x1162 -x1161 -x1160 
1790.53/1790.59	v -x1159 -x1158 -x1157 -x1156 -x1155 x1154 -x1153 x1152 x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 
1790.53/1790.59	v -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 
1790.53/1790.59	v -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 x1109 -x1108 -x1107 -x1106 
1790.53/1790.59	v -x1105 -x1104 x1103 x1102 -x1101 x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 x1089 x1088 -x1087 
1790.53/1790.59	v -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 
1790.53/1790.59	v -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 
1790.53/1790.59	v -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 
1790.53/1790.59	v -x1033 x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 x1023 x1022 -x1021 x1020 -x1019 -x1018 -x1017 -x1016 -x1015 
1790.53/1790.59	v -x1014 -x1013 -x1012 -x1011 -x1010 x1009 x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 
1790.53/1790.59	v -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 
1790.53/1790.59	v -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 
1790.53/1790.59	v -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 
1790.53/1790.59	v x933 -x932 -x931 -x930 -x929 -x928 -x927 x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 x918 x917 -x916 -x915 -x914 -x913 
1790.53/1790.59	v -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 
1790.53/1790.59	v -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 
1790.53/1790.59	v -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 
1790.53/1790.59	v -x849 x848 -x847 -x846 -x845 -x844 x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 
1790.53/1790.59	v -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 
1790.53/1790.59	v -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 
1790.53/1790.59	v -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 x772 -x771 -x770 -x769 -x768 -x767 -x766 
1790.53/1790.59	v -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 x751 x750 -x749 -x748 -x747 x746 -x745 
1790.53/1790.59	v -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 x729 -x728 -x727 -x726 -x725 -x724 
1790.53/1790.59	v -x723 -x722 -x721 x720 -x719 -x718 -x717 -x716 -x715 -x714 x713 -x712 x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 
1790.53/1790.59	v -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 x686 -x685 -x684 -x683 x682 
1790.53/1790.59	v -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 x673 x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 
1790.53/1790.59	v -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 
1790.53/1790.59	v x639 -x638 -x637 -x636 -x635 -x634 x633 x632 -x631 x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 x621 x620 -x619 -x618 
1790.53/1790.59	v -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 
1790.53/1790.59	v -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 
1790.53/1790.59	v -x575 -x574 -x573 x572 x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 x562 x561 -x560 x559 x558 -x557 -x556 -x555 -x554 
1790.53/1790.59	v -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 
1790.53/1790.59	v -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 x516 -x515 -x514 x513 x512 
1790.53/1790.59	v -x511 x510 x509 x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 x499 x498 -x497 x496 x495 -x494 x493 -x492 x491 x490 
1790.53/1790.59	v -x489 x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 
1790.53/1790.59	v -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 x450 -x449 -x448 
1790.53/1790.59	v -x447 -x446 x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 
1790.53/1790.59	v -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 x409 -x408 -x407 -x406 
1790.53/1790.59	v -x405 -x404 x403 -x402 -x401 -x400 -x399 -x398 x397 -x396 x395 -x394 x393 x392 -x391 x390 -x389 -x388 -x387 x386 x385 -x384 -x383 
1790.53/1790.59	v x382 x381 -x380 -x379 x378 x377 x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 x363 -x362 
1790.53/1790.59	v -x361 x360 x359 x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 
1790.53/1790.59	v x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 x325 -x324 -x323 x322 -x321 -x320 -x319 
1790.53/1790.59	v -x318 -x317 x316 -x315 -x314 -x313 -x312 -x311 x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 
1790.53/1790.59	v -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 x279 -x278 -x277 
1790.53/1790.59	v -x276 -x275 -x274 x273 x272 x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 
1790.53/1790.59	v -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 x244 x243 -x242 x241 -x240 -x239 -x238 -x237 -x236 -x235 x234 
1790.53/1790.59	v x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 
1790.53/1790.59	v x212 -x211 -x210 x209 x208 -x207 x206 x205 x204 -x203 -x202 x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 
1790.53/1790.59	v -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 x178 -x177 x176 x175 x174 -x173 -x172 -x171 -x170 -x169 
1790.53/1790.59	v -x168 x167 -x166 x165 x164 x163 -x162 -x161 -x160 -x159 -x158 -x157 x156 -x155 -x154 -x153 -x152 x151 x150 -x149 -x148 -x147 
1790.53/1790.59	v x146 -x145 -x144 -x143 -x142 x141 -x140 x139 x138 -x137 -x136 -x135 x134 x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 
1790.53/1790.59	v -x124 x123 -x122 -x121 -x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 x110 -x109 -x108 x107 -x106 x105 -x104 
1790.53/1790.59	v -x103 -x102 -x101 x100 x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 x84 -x83 -x82 -x81 -x80 x79 
1790.53/1790.59	v x78 -x77 x76 -x75 -x74 -x73 -x72 x71 x70 x69 -x68 -x67 -x66 x65 x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 
1790.53/1790.59	v x51 x50 x49 -x48 x47 -x46 x45 -x44 -x43 -x42 -x41 x40 -x39 -x38 -x37 -x36 -x35 -x34 x33 x32 -x31 -x30 -x29 -x28 -x27 -x26 
1790.53/1790.59	v -x25 x24 -x23 x22 -x21 -x20 -x19 x18 -x17 x16 x15 -x14 x13 x12 x11 x10 -x9 -x8 -x7 -x6 -x5 x4 -x3 -x2 -x1 
1790.53/1790.59	c SCIP Status        : solving was interrupted [time limit reached]
1790.53/1790.59	c Solving Time       :    1789.94
1790.53/1790.59	c Original Problem   :
1790.53/1790.59	c   Problem name     : HOME/instance-2705341-1278578356.wbo
1790.53/1790.59	c   Variables        : 15843 (9099 binary, 0 integer, 6744 implicit integer, 0 continuous)
1790.53/1790.59	c   Constraints      : 13489 initial, 13489 maximal
1790.53/1790.59	c Presolved Problem  :
1790.53/1790.59	c   Problem name     : t_HOME/instance-2705341-1278578356.wbo
1790.53/1790.59	c   Variables        : 15843 (9099 binary, 0 integer, 6744 implicit integer, 0 continuous)
1790.53/1790.59	c   Constraints      : 13488 initial, 13488 maximal
1790.53/1790.59	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1790.53/1790.59	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1790.53/1790.59	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1790.53/1790.59	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1790.53/1790.59	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1790.53/1790.59	c   implics          :       0.00          0          0          0          0          0          0          0          0
1790.53/1790.59	c   probing          :       0.10          0          0          0          0          0          0          0          0
1790.53/1790.59	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1790.53/1790.59	c   linear           :       0.04          0          0          0       6744          0          1         88        176
1790.53/1790.59	c   indicator        :       0.01          0          0          0          0          0          0          0          0
1790.53/1790.59	c   root node        :          -          0          -          -          0          -          -          -          -
1790.53/1790.59	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1790.53/1790.59	c   integral         :          0          0          0     196576          0          0          0          0          0      55016
1790.53/1790.59	c   varbound         :          1          6     329768     169068          0          0          0          1          0          0
1790.53/1790.59	c   linear           :       6743          6     329768     169068          0          0     143074     183850          0          0
1790.53/1790.59	c   indicator        :       6744          0     329768     169068          0          0      34755          0          0          0
1790.53/1790.59	c   countsols        :          0          0          0     156524          0          0          0          0          0          0
1790.53/1790.59	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1790.53/1790.59	c   integral         :      25.72       0.00       0.00      25.72       0.00
1790.53/1790.59	c   varbound         :       0.25       0.00       0.14       0.11       0.00
1790.53/1790.59	c   linear           :     359.17       0.01      38.30     320.86       0.00
1790.53/1790.59	c   indicator        :     216.57       0.01      57.45     159.11       0.00
1790.53/1790.59	c   countsols        :       0.05       0.00       0.00       0.05       0.00
1790.53/1790.59	c Propagators        :       Time      Calls    Cutoffs    DomReds
1790.53/1790.59	c   vbounds          :       0.31       7178          0          0
1790.53/1790.59	c   rootredcost      :       0.12          1          0          0
1790.53/1790.59	c   pseudoobj        :      59.02     329568          0          0
1790.53/1790.59	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1790.53/1790.59	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1790.53/1790.59	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1790.53/1790.59	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1790.53/1790.59	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1790.53/1790.59	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1790.53/1790.59	c   applied globally :          -          -          -          0        0.0          -          -          -
1790.53/1790.59	c   applied locally  :          -          -          -          0        0.0          -          -          -
1790.53/1790.59	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1790.53/1790.59	c   cut pool         :       0.00          4          -          -        303          -    (maximal pool size: 1141)
1790.53/1790.59	c   redcost          :     105.17     196513          0          0          0          0
1790.53/1790.59	c   impliedbounds    :       0.00          5          0          0          0          0
1790.53/1790.59	c   intobj           :       0.00          0          0          0          0          0
1790.53/1790.59	c   cgmip            :       0.00          0          0          0          0          0
1790.53/1790.59	c   gomory           :       0.14          5          0          0        292          0
1790.53/1790.59	c   strongcg         :       0.13          5          0          0        662          0
1790.53/1790.59	c   cmir             :       0.20          5          0          0        189          0
1790.53/1790.59	c   flowcover        :       0.58          5          0          0        832          0
1790.53/1790.59	c   clique           :       0.00          1          0          0          0          0
1790.53/1790.59	c   zerohalf         :       0.00          0          0          0          0          0
1790.53/1790.59	c   mcf              :       0.00          1          0          0          0          0
1790.53/1790.59	c   rapidlearning    :       0.00          0          0          0          0          0
1790.53/1790.59	c Pricers            :       Time      Calls       Vars
1790.53/1790.59	c   problem variables:       0.00          0          0
1790.53/1790.59	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1790.53/1790.59	c   relpscost        :      25.55      27508          0          0          0          0      55016
1790.53/1790.59	c   pscost           :       0.00          0          0          0          0          0          0
1790.53/1790.59	c   inference        :     345.32     156524          0          0          0          0     313048
1790.53/1790.59	c   mostinf          :       0.00          0          0          0          0          0          0
1790.53/1790.59	c   leastinf         :       0.00          0          0          0          0          0          0
1790.53/1790.59	c   fullstrong       :       0.00          0          0          0          0          0          0
1790.53/1790.59	c   allfullstrong    :       0.00          0          0          0          0          0          0
1790.53/1790.59	c   random           :       0.00          0          0          0          0          0          0
1790.53/1790.59	c Primal Heuristics  :       Time      Calls      Found
1790.53/1790.59	c   LP solutions     :       0.00          -          0
1790.53/1790.59	c   pseudo solutions :       0.00          -          0
1790.53/1790.59	c   intshifting      :       0.00          0          0
1790.53/1790.59	c   feaspump         :       0.00          0          0
1790.53/1790.59	c   oneopt           :       0.13          1          0
1790.53/1790.59	c   crossover        :       0.90          8          0
1790.53/1790.59	c   objpscostdiving  :       1.06         20          0
1790.53/1790.59	c   guideddiving     :      14.78       1844          0
1790.53/1790.59	c   coefdiving       :      15.76       1845          0
1790.53/1790.59	c   pscostdiving     :      16.06       1845          0
1790.53/1790.59	c   fracdiving       :      16.10       1845          0
1790.53/1790.59	c   veclendiving     :      15.31       1845          0
1790.53/1790.59	c   linesearchdiving :      16.06       1845          0
1790.53/1790.59	c   trivial          :       0.50          2          2
1790.53/1790.59	c   simplerounding   :       0.25      26810          0
1790.53/1790.59	c   zirounding       :       0.17       1000          0
1790.53/1790.59	c   rounding         :       0.24       2250          0
1790.53/1790.59	c   shifting         :       0.26        729          0
1790.53/1790.59	c   twoopt           :       0.00          0          0
1790.53/1790.59	c   fixandinfer      :       0.00          0          0
1790.53/1790.59	c   intdiving        :       0.00          0          0
1790.53/1790.59	c   actconsdiving    :       0.00          0          0
1790.53/1790.59	c   rootsoldiving    :      15.22       1752          0
1790.53/1790.59	c   octane           :       0.00          0          0
1790.53/1790.59	c   rens             :       0.10          1          0
1790.53/1790.59	c   rins             :       0.00          0          0
1790.53/1790.59	c   localbranching   :       0.00          0          0
1790.53/1790.59	c   mutation         :       0.00          0          0
1790.53/1790.59	c   dins             :       0.00          0          0
1790.53/1790.59	c   undercover       :       0.00          0          0
1790.53/1790.59	c   nlp              :       0.05          0          0
1790.53/1790.59	c   trysol           :       0.75       1845        101
1790.53/1790.59	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1790.53/1790.59	c   primal LP        :       0.00          0          0       0.00          -
1790.53/1790.59	c   dual LP          :     306.79      41119     381433       9.28    1243.32
1790.53/1790.59	c   lex dual LP      :       0.00          0          0       0.00          -
1790.53/1790.59	c   barrier LP       :       0.00          0          0       0.00          -
1790.53/1790.59	c   diving/probing LP:       5.35       2204      18358       8.33    3431.34
1790.53/1790.59	c   strong branching :      24.93       5060     119544      23.63    4794.58
1790.53/1790.59	c     (at root node) :          -         33       1106      33.52          -
1790.53/1790.59	c   conflict analysis:       0.00          0          0       0.00          -
1790.53/1790.59	c B&B Tree           :
1790.53/1790.59	c   number of runs   :          1
1790.53/1790.59	c   nodes            :     184032
1790.53/1790.59	c   nodes (total)    :     184032
1790.53/1790.59	c   nodes left       :     184033
1790.53/1790.59	c   max depth        :        199
1790.53/1790.59	c   max depth (total):        199
1790.53/1790.59	c   backtracks       :       1884 (1.0%)
1790.53/1790.59	c   delayed cutoffs  :          0
1790.53/1790.59	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1790.53/1790.59	c   avg switch length:       2.09
1790.53/1790.59	c   switching time   :      16.38
1790.53/1790.59	c Solution           :
1790.53/1790.59	c   Solutions found  :        103 (2 improvements)
1790.53/1790.59	c   First Solution   : +3.41451000000000e+05   (in run 1, after 0 nodes, 0.06 seconds, depth 0, found by <trivial>)
1790.53/1790.59	c   Primal Bound     : +3.41399000000000e+05   (in run 1, after 919 nodes, 31.38 seconds, depth 98, found by <trysol>)
1790.53/1790.59	c   Dual Bound       : +0.00000000000000e+00
1790.53/1790.59	c   Gap              :   infinite
1790.53/1790.59	c   Root Dual Bound  : +0.00000000000000e+00
1790.53/1790.59	c   Root Iterations  :       1377
1790.92/1790.96	c Time complete: 1790.99.

Verifier Data 

OK	5989

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705341-1278578356/watcher-2705341-1278578356 -o /tmp/evaluation-result-2705341-1278578356/solver-2705341-1278578356 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705341-1278578356.wbo -t 1800 -m 3800 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.92 1.98 1.98 4/182 30975
/proc/meminfo: memFree=29956172/32951124 swapFree=67111528/67111528
[pid=30975] ppid=30973 vsize=12524 CPUtime=0
/proc/30975/stat : 30975 (pbscip.linux.x8) R 30973 30975 30506 0 -1 4202496 1961 0 0 0 0 0 0 0 25 0 1 0 26048939 12824576 1879 4089446400 4194304 10345943 140733892958944 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/30975/statm: 3131 1885 429 1502 0 1624 0

[startup+0.05577 s]
/proc/loadavg: 1.92 1.98 1.98 4/182 30975
/proc/meminfo: memFree=29956172/32951124 swapFree=67111528/67111528
[pid=30975] ppid=30973 vsize=27728 CPUtime=0.04
/proc/30975/stat : 30975 (pbscip.linux.x8) R 30973 30975 30506 0 -1 4202496 5770 0 0 0 4 0 0 0 25 0 1 0 26048939 28393472 5688 4089446400 4194304 10345943 140733892958944 18446744073709551615 5758034 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/30975/statm: 6932 5688 430 1502 0 5425 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 27728

[startup+0.100763 s]
/proc/loadavg: 1.92 1.98 1.98 4/182 30975
/proc/meminfo: memFree=29956172/32951124 swapFree=67111528/67111528
[pid=30975] ppid=30973 vsize=49888 CPUtime=0.09
/proc/30975/stat : 30975 (pbscip.linux.x8) R 30973 30975 30506 0 -1 4202496 11743 0 0 0 8 1 0 0 25 0 1 0 26048939 51085312 11275 4089446400 4194304 10345943 140733892958944 18446744073709551615 4564196 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30975/statm: 12536 11323 482 1502 0 11029 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 49888

[startup+0.300738 s]
/proc/loadavg: 1.92 1.98 1.98 4/182 30975
/proc/meminfo: memFree=29956172/32951124 swapFree=67111528/67111528
[pid=30975] ppid=30973 vsize=70520 CPUtime=0.28
/proc/30975/stat : 30975 (pbscip.linux.x8) R 30973 30975 30506 0 -1 4202496 16328 0 0 0 27 1 0 0 25 0 1 0 26048939 72212480 15860 4089446400 4194304 10345943 140733892958944 18446744073709551615 4246677 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30975/statm: 17630 15860 513 1502 0 16123 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 70520

[startup+0.700653 s]
/proc/loadavg: 1.92 1.98 1.98 4/182 30975
/proc/meminfo: memFree=29956172/32951124 swapFree=67111528/67111528
[pid=30975] ppid=30973 vsize=75092 CPUtime=0.69
/proc/30975/stat : 30975 (pbscip.linux.x8) R 30973 30975 30506 0 -1 4202496 17473 0 0 0 67 2 0 0 25 0 1 0 26048939 76894208 16991 4089446400 4194304 10345943 140733892958944 18446744073709551615 5608258 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30975/statm: 18773 16991 592 1502 0 17266 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 75092

[startup+1.50051 s]
/proc/loadavg: 1.92 1.98 1.98 3/183 30976
/proc/meminfo: memFree=29876308/32951124 swapFree=67111528/67111528
[pid=30975] ppid=30973 vsize=93236 CPUtime=1.49
/proc/30975/stat : 30975 (pbscip.linux.x8) R 30973 30975 30506 0 -1 4202496 21598 0 0 0 147 2 0 0 25 0 1 0 26048939 95473664 21029 4089446400 4194304 10345943 140733892958944 18446744073709551615 4270521 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/30975/statm: 23309 21029 728 1502 0 21802 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 93236

[startup+3.10022 s]
/proc/loadavg: 1.92 1.98 1.98 3/183 30976
/proc/meminfo: memFree=29834896/32951124 swapFree=67111528/67111528
[pid=30975] ppid=30973 vsize=97380 CPUtime=3.09
/proc/30975/stat : 30975 (pbscip.linux.x8) R 30973 30975 30506 0 -1 4202496 37738 0 0 0 305 4 0 0 25 0 1 0 26048939 99717120 21990 4089446400 4194304 10345943 140733892958944 18446744073709551615 7588467 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/30975/statm: 24345 21990 755 1502 0 22838 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 97380

[startup+6.30063 s]
/proc/loadavg: 1.93 1.98 1.98 3/183 30977
/proc/meminfo: memFree=29849280/32951124 swapFree=67111528/67111528
[pid=30975] ppid=30973 vsize=96796 CPUtime=6.29
/proc/30975/stat : 30975 (pbscip.linux.x8) R 30973 30975 30506 0 -1 4202496 44563 0 0 0 623 6 0 0 25 0 1 0 26048939 99119104 21947 4089446400 4194304 10345943 140733892958944 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/30975/statm: 24199 21947 755 1502 0 22692 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 96796

[startup+12.7005 s]
/proc/loadavg: 1.93 1.98 1.98 3/183 30977
/proc/meminfo: memFree=29848084/32951124 swapFree=67111528/67111528
[pid=30975] ppid=30973 vsize=96648 CPUtime=12.69
/proc/30975/stat : 30975 (pbscip.linux.x8) R 30973 30975 30506 0 -1 4202496 76362 0 0 0 1256 13 0 0 25 0 1 0 26048939 98967552 22114 4089446400 4194304 10345943 140733892958944 18446744073709551615 5614817 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/30975/statm: 24162 22114 756 1502 0 22655 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 96648

[startup+25.5011 s]
/proc/loadavg: 1.95 1.98 1.98 3/183 30978
/proc/meminfo: memFree=29825340/32951124 swapFree=67111528/67111528
[pid=30975] ppid=30973 vsize=99808 CPUtime=25.49
/proc/30975/stat : 30975 (pbscip.linux.x8) R 30973 30975 30506 0 -1 4202496 123467 0 0 0 2528 21 0 0 25 0 1 0 26048939 102203392 22641 4089446400 4194304 10345943 140733892958944 18446744073709551615 5031099 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30975/statm: 24952 22641 768 1502 0 23445 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 99808

[startup+51.1005 s]
/proc/loadavg: 1.96 1.98 1.98 3/183 30978
/proc/meminfo: memFree=29762024/32951124 swapFree=67111528/67111528
[pid=30975] ppid=30973 vsize=143236 CPUtime=51.09
/proc/30975/stat : 30975 (pbscip.linux.x8) R 30973 30975 30506 0 -1 4202496 155519 0 0 0 5082 27 0 0 25 0 1 0 26048939 146673664 34043 4089446400 4194304 10345943 140733892958944 18446744073709551615 4749665 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/30975/statm: 35809 34043 769 1502 0 34302 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 143236

[startup+102.306 s]
/proc/loadavg: 2.03 2.00 1.98 3/183 30980
/proc/meminfo: memFree=29683544/32951124 swapFree=67111528/67111528
[pid=30975] ppid=30973 vsize=158968 CPUtime=102.29
/proc/30975/stat : 30975 (pbscip.linux.x8) R 30973 30975 30506 0 -1 4202496 168176 0 0 0 10197 32 0 0 25 0 1 0 26048939 162783232 37847 4089446400 4194304 10345943 140733892958944 18446744073709551615 4688047 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/30975/statm: 39742 37847 769 1502 0 38235 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 158968

[startup+162.3 s]
/proc/loadavg: 2.01 2.00 1.98 3/183 30981
/proc/meminfo: memFree=29541640/32951124 swapFree=67111528/67111528
[pid=30975] ppid=30973 vsize=192576 CPUtime=162.29
/proc/30975/stat : 30975 (pbscip.linux.x8) R 30973 30975 30506 0 -1 4202496 185443 0 0 0 16192 37 0 0 25 0 1 0 26048939 197197824 46038 4089446400 4194304 10345943 140733892958944 18446744073709551615 6866083 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/30975/statm: 48144 46038 769 1502 0 46637 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 192576

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/183 30982
/proc/meminfo: memFree=29438176/32951124 swapFree=67111528/67111528
[pid=30975] ppid=30973 vsize=221400 CPUtime=222.29
/proc/30975/stat : 30975 (pbscip.linux.x8) R 30973 30975 30506 0 -1 4202496 192883 0 0 0 22187 42 0 0 25 0 1 0 26048939 226713600 53176 4089446400 4194304 10345943 140733892958944 18446744073709551615 4688027 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/30975/statm: 55350 53176 769 1502 0 53843 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 221400

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/183 30984
/proc/meminfo: memFree=29398208/32951124 swapFree=67111528/67111528
[pid=30975] ppid=30973 vsize=250272 CPUtime=282.29
/proc/30975/stat : 30975 (pbscip.linux.x8) R 30973 30975 30506 0 -1 4202496 209134 0 0 0 28182 47 0 0 25 0 1 0 26048939 256278528 60404 4089446400 4194304 10345943 140733892958944 18446744073709551615 4688047 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/30975/statm: 62568 60404 769 1502 0 61061 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 250272

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/183 30986
/proc/meminfo: memFree=29344972/32951124 swapFree=67111528/67111528
[pid=30975] ppid=30973 vsize=281468 CPUtime=342.29
/proc/30975/stat : 30975 (pbscip.linux.x8) R 30973 30975 30506 0 -1 4202496 217222 0 0 0 34178 51 0 0 25 0 1 0 26048939 288223232 68210 4089446400 4194304 10345943 140733892958944 18446744073709551615 4999805 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/30975/statm: 70367 68210 769 1502 0 68860 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 281468

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/183 30988
/proc/meminfo: memFree=29311696/32951124 swapFree=67111528/67111528
[pid=30975] ppid=30973 vsize=309560 CPUtime=402.29
/proc/30975/stat : 30975 (pbscip.linux.x8) R 30973 30975 30506 0 -1 4202496 224899 0 0 0 40175 54 0 0 25 0 1 0 26048939 316989440 75344 4089446400 4194304 10345943 140733892958944 18446744073709551615 4749665 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/30975/statm: 77390 75344 769 1502 0 75883 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 309560

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/183 30989
/proc/meminfo: memFree=29274588/32951124 swapFree=67111528/67111528
[pid=30975] ppid=30973 vsize=341224 CPUtime=462.3
/proc/30975/stat : 30975 (pbscip.linux.x8) R 30973 30975 30506 0 -1 4202496 232900 0 0 0 46171 59 0 0 25 0 1 0 26048939 349413376 83315 4089446400 4194304 10345943 140733892958944 18446744073709551615 4454106 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/30975/statm: 85306 83315 770 1502 0 83799 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 341224

[startup+522.301 s]
/proc/loadavg: 2.08 2.02 1.99 3/183 30990
/proc/meminfo: memFree=29240452/32951124 swapFree=67111528/67111528
[pid=30975] ppid=30973 vsize=368972 CPUtime=522.3
/proc/30975/stat : 30975 (pbscip.linux.x8) R 30973 30975 30506 0 -1 4202496 248812 0 0 0 52166 64 0 0 25 0 1 0 26048939 377827328 89948 4089446400 4194304 10345943 140733892958944 18446744073709551615 4796482 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/30975/statm: 92243 89948 770 1502 0 90736 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 368972

[startup+582.301 s]
/proc/loadavg: 2.15 2.04 2.00 3/183 30992
/proc/meminfo: memFree=29205192/32951124 swapFree=67111528/67111528
[pid=30975] ppid=30973 vsize=397120 CPUtime=582.3
/proc/30975/stat : 30975 (pbscip.linux.x8) R 30973 30975 30506 0 -1 4202496 256399 0 0 0 58162 68 0 0 25 0 1 0 26048939 406650880 97416 4089446400 4194304 10345943 140733892958944 18446744073709551615 4476219 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/30975/statm: 99280 97416 770 1502 0 97773 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 397120

[startup+642.301 s]
/proc/loadavg: 2.13 2.05 2.01 3/183 30994
/proc/meminfo: memFree=29171920/32951124 swapFree=67111528/67111528
[pid=30975] ppid=30973 vsize=426168 CPUtime=642.31
/proc/30975/stat : 30975 (pbscip.linux.x8) R 30973 30975 30506 0 -1 4202496 263772 0 0 0 64160 71 0 0 25 0 1 0 26048939 436396032 104330 4089446400 4194304 10345943 140733892958944 18446744073709551615 4476327 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/30975/statm: 106542 104330 770 1502 0 105035 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 426168

[startup+702.301 s]

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

/proc/meminfo: memFree=28977520/32951124 swapFree=67111528/67111528
[pid=30975] ppid=30973 vsize=596096 CPUtime=1002.31
/proc/30975/stat : 30975 (pbscip.linux.x8) R 30973 30975 30506 0 -1 4202496 319431 0 0 0 100138 93 0 0 25 0 1 0 26048939 610402304 146837 4089446400 4194304 10345943 140733892958944 18446744073709551615 4999640 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/30975/statm: 149024 146837 770 1502 0 147517 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 596096

[startup+1062.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 31005
/proc/meminfo: memFree=28942024/32951124 swapFree=67111528/67111528
[pid=30975] ppid=30973 vsize=626216 CPUtime=1062.31
/proc/30975/stat : 30975 (pbscip.linux.x8) R 30973 30975 30506 0 -1 4202496 326650 0 0 0 106135 96 0 0 25 0 1 0 26048939 641245184 154056 4089446400 4194304 10345943 140733892958944 18446744073709551615 5012556 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/30975/statm: 156554 154056 770 1502 0 155047 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 626216

[startup+1122.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/183 31006
/proc/meminfo: memFree=28903804/32951124 swapFree=67111528/67111528
[pid=30975] ppid=30973 vsize=656212 CPUtime=1122.32
/proc/30975/stat : 30975 (pbscip.linux.x8) R 30973 30975 30506 0 -1 4202496 334168 0 0 0 112133 99 0 0 25 0 1 0 26048939 671961088 161574 4089446400 4194304 10345943 140733892958944 18446744073709551615 5614700 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/30975/statm: 164053 161574 770 1502 0 162546 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 656212

[startup+1182.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 31008
/proc/meminfo: memFree=28875740/32951124 swapFree=67111528/67111528
[pid=30975] ppid=30973 vsize=681792 CPUtime=1182.32
/proc/30975/stat : 30975 (pbscip.linux.x8) R 30973 30975 30506 0 -1 4202496 340805 0 0 0 118130 102 0 0 25 0 1 0 26048939 698155008 168211 4089446400 4194304 10345943 140733892958944 18446744073709551615 4749665 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/30975/statm: 170448 168211 770 1502 0 168941 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 681792

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 31010
/proc/meminfo: memFree=28844948/32951124 swapFree=67111528/67111528
[pid=30975] ppid=30973 vsize=710324 CPUtime=1242.32
/proc/30975/stat : 30975 (pbscip.linux.x8) R 30973 30975 30506 0 -1 4202496 348086 0 0 0 124127 105 0 0 25 0 1 0 26048939 727371776 175267 4089446400 4194304 10345943 140733892958944 18446744073709551615 4476332 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/30975/statm: 177581 175267 770 1502 0 176074 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 710324

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 31012
/proc/meminfo: memFree=28816400/32951124 swapFree=67111528/67111528
[pid=30975] ppid=30973 vsize=736620 CPUtime=1302.33
/proc/30975/stat : 30975 (pbscip.linux.x8) R 30973 30975 30506 0 -1 4202496 354812 0 0 0 130125 108 0 0 25 0 1 0 26048939 754298880 181903 4089446400 4194304 10345943 140733892958944 18446744073709551615 4454087 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/30975/statm: 184155 181903 770 1502 0 182648 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 736620

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 31022
/proc/meminfo: memFree=28786532/32951124 swapFree=67111528/67111528
[pid=30975] ppid=30973 vsize=764472 CPUtime=1362.32
/proc/30975/stat : 30975 (pbscip.linux.x8) R 30973 30975 30506 0 -1 4202496 361754 0 0 0 136122 110 0 0 25 0 1 0 26048939 782819328 188845 4089446400 4194304 10345943 140733892958944 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30975/statm: 191118 188845 770 1502 0 189611 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 764472

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 31023
/proc/meminfo: memFree=28758836/32951124 swapFree=67111528/67111528
[pid=30975] ppid=30973 vsize=791260 CPUtime=1422.32
/proc/30975/stat : 30975 (pbscip.linux.x8) R 30973 30975 30506 0 -1 4202496 368522 0 0 0 142119 113 0 0 25 0 1 0 26048939 810250240 195613 4089446400 4194304 10345943 140733892958944 18446744073709551615 5012556 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30975/statm: 197815 195613 770 1502 0 196308 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 791260

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 31025
/proc/meminfo: memFree=28725660/32951124 swapFree=67111528/67111528
[pid=30975] ppid=30973 vsize=822580 CPUtime=1482.32
/proc/30975/stat : 30975 (pbscip.linux.x8) R 30973 30975 30506 0 -1 4202496 376220 0 0 0 148116 116 0 0 25 0 1 0 26048939 842321920 203311 4089446400 4194304 10345943 140733892958944 18446744073709551615 4696011 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30975/statm: 205645 203311 770 1502 0 204138 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 822580

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 31027
/proc/meminfo: memFree=28694492/32951124 swapFree=67111528/67111528
[pid=30975] ppid=30973 vsize=847544 CPUtime=1542.33
/proc/30975/stat : 30975 (pbscip.linux.x8) R 30973 30975 30506 0 -1 4202496 382703 0 0 0 154113 120 0 0 25 0 1 0 26048939 867885056 209794 4089446400 4194304 10345943 140733892958944 18446744073709551615 4601642 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30975/statm: 211886 209794 770 1502 0 210379 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 847544

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 31029
/proc/meminfo: memFree=28660472/32951124 swapFree=67111528/67111528
[pid=30975] ppid=30973 vsize=878252 CPUtime=1602.33
/proc/30975/stat : 30975 (pbscip.linux.x8) R 30973 30975 30506 0 -1 4202496 390099 0 0 0 160110 123 0 0 25 0 1 0 26048939 899330048 217190 4089446400 4194304 10345943 140733892958944 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30975/statm: 219563 217190 770 1502 0 218056 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 878252

[startup+1662.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/183 31030
/proc/meminfo: memFree=28631804/32951124 swapFree=67111528/67111528
[pid=30975] ppid=30973 vsize=904780 CPUtime=1662.33
/proc/30975/stat : 30975 (pbscip.linux.x8) R 30973 30975 30506 0 -1 4202496 397039 0 0 0 166106 127 0 0 25 0 1 0 26048939 926494720 224130 4089446400 4194304 10345943 140733892958944 18446744073709551615 6003044 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30975/statm: 226195 224130 770 1502 0 224688 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 904780

[startup+1722.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/183 31031
/proc/meminfo: memFree=28602476/32951124 swapFree=67111528/67111528
[pid=30975] ppid=30973 vsize=931488 CPUtime=1722.33
/proc/30975/stat : 30975 (pbscip.linux.x8) R 30973 30975 30506 0 -1 4202496 403720 0 0 0 172103 130 0 0 25 0 1 0 26048939 953843712 230810 4089446400 4194304 10345943 140733892958944 18446744073709551615 8744160 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30975/statm: 232872 230810 770 1502 0 231365 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 931488

[startup+1782.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/183 31060
/proc/meminfo: memFree=29037532/32951124 swapFree=67111528/67111528
[pid=30975] ppid=30973 vsize=958588 CPUtime=1782.33
/proc/30975/stat : 30975 (pbscip.linux.x8) R 30973 30975 30506 0 -1 4202496 410349 0 0 0 178100 133 0 0 25 0 1 0 26048939 981594112 237439 4089446400 4194304 10345943 140733892958944 18446744073709551615 6002399 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/30975/statm: 239647 237439 770 1502 0 238140 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 958588

Solver just ended. Dumping a history of the last processes samples

[startup+1785.5 s]
/proc/loadavg: 2.08 2.04 2.01 3/183 31060
/proc/meminfo: memFree=29031084/32951124 swapFree=67111528/67111528
[pid=30975] ppid=30973 vsize=959608 CPUtime=1785.53
/proc/30975/stat : 30975 (pbscip.linux.x8) R 30973 30975 30506 0 -1 4202496 410604 0 0 0 178420 133 0 0 25 0 1 0 26048939 982638592 237694 4089446400 4194304 10345943 140733892958944 18446744073709551615 4476340 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/30975/statm: 239902 237694 770 1502 0 238395 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 959608

[startup+1788.7 s]
/proc/loadavg: 2.07 2.04 2.01 3/183 31060
/proc/meminfo: memFree=29025628/32951124 swapFree=67111528/67111528
[pid=30975] ppid=30973 vsize=960632 CPUtime=1788.73
/proc/30975/stat : 30975 (pbscip.linux.x8) R 30973 30975 30506 0 -1 4202496 410862 0 0 0 178740 133 0 0 25 0 1 0 26048939 983687168 237952 4089446400 4194304 10345943 140733892958944 18446744073709551615 4641486 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/30975/statm: 240158 237952 770 1502 0 238651 0
Current children cumulated CPU time (s) 1788.73
Current children cumulated vsize (KiB) 960632

[startup+1790.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/183 31060
/proc/meminfo: memFree=29024328/32951124 swapFree=67111528/67111528
[pid=30975] ppid=30973 vsize=961656 CPUtime=1790.33
/proc/30975/stat : 30975 (pbscip.linux.x8) R 30973 30975 30506 0 -1 4202496 411118 0 0 0 178900 133 0 0 25 0 1 0 26048939 984735744 238208 4089446400 4194304 10345943 140733892958944 18446744073709551615 9138270 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/30975/statm: 240414 238208 770 1502 0 238907 0
Current children cumulated CPU time (s) 1790.33
Current children cumulated vsize (KiB) 961656

[startup+1790.7 s]
/proc/loadavg: 2.07 2.04 2.01 3/183 31060
/proc/meminfo: memFree=29020236/32951124 swapFree=67111528/67111528
[pid=30975] ppid=30973 vsize=961656 CPUtime=1790.73
/proc/30975/stat : 30975 (pbscip.linux.x8) R 30973 30975 30506 0 -1 4202496 411122 0 0 0 178940 133 0 0 18 0 1 0 26048939 984735744 238212 4089446400 4194304 10345943 140733892958944 18446744073709551615 4220157 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/30975/statm: 240414 238212 774 1502 0 238907 0
Current children cumulated CPU time (s) 1790.73
Current children cumulated vsize (KiB) 961656

[startup+1790.9 s]
/proc/loadavg: 2.07 2.04 2.01 3/183 31060
/proc/meminfo: memFree=29020236/32951124 swapFree=67111528/67111528
[pid=30975] ppid=30973 vsize=961656 CPUtime=1790.92
/proc/30975/stat : 30975 (pbscip.linux.x8) R 30973 30975 30506 0 -1 4202496 411122 0 0 0 178959 133 0 0 18 0 1 0 26048939 984735744 238212 4089446400 4194304 10345943 140733892958944 18446744073709551615 4750745 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/30975/statm: 240414 238212 774 1502 0 238907 0
Current children cumulated CPU time (s) 1790.92
Current children cumulated vsize (KiB) 961656

Child status: 0
Real time (s): 1790.96
CPU time (s): 1791
CPU user time (s): 1789.63
CPU system time (s): 1.37479
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 961656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.63
system time used= 1.37479
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 411125
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= 3
involuntary context switches= 3554

runsolver used 2.80857 second user time and 6.95294 second system time

The end

Launcher Data 

Begin job on node134 at 2010-07-08 10:39:16
IDJOB=2705341
IDBENCH=79334
IDSOLVER=1214
FILE ID=node134/2705341-1278578356
PBS_JOBID= 11240187
Free space on /tmp= 73704 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-cache.inv8.ucl--soft-0-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2705341-1278578356/watcher-2705341-1278578356 -o /tmp/evaluation-result-2705341-1278578356/solver-2705341-1278578356 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705341-1278578356.wbo -t 1800 -m 3800

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= d41d4dcc01415e574abb081114a32401
RANDOM SEED=936565015

node134.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.801
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.801
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.801
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.801
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.801
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.801
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.801
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.801
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29956576 kB
Buffers:        168056 kB
Cached:        2534104 kB
SwapCached:          0 kB
Active:        1418584 kB
Inactive:      1417304 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29956576 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           25924 kB
Writeback:           0 kB
AnonPages:      133352 kB
Mapped:          17540 kB
Slab:            96076 kB
PageTables:       4912 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   277656 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73692 MiB
End job on node134 at 2010-07-08 11:09:07