Trace number 2692414

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
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverMSAT (TO) 1800.73 1800.69

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-cache.inv8.ucl--soft-33-100-0.wbo
MD5SUM95fc93b9bf9d7a2900db6241c7ee4c87
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark0.039993
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 constraints4510
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 227663
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 227662
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

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
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-2692414-1277914935.wbo>
0.00/0.07	c original problem has 11375 variables (6865 bin, 0 int, 0 impl, 4510 cont) and 11255 constraints
0.00/0.07	c problem read
0.00/0.07	c presolving settings loaded
0.09/0.12	c presolving:
0.09/0.14	c (round 1) 10 del vars, 3 del conss, 1 chg bounds, 88 chg sides, 178 chg coeffs, 0 upgd conss, 13241 impls, 0 clqs
0.09/0.14	c (round 2) 11 del vars, 23 del conss, 1 chg bounds, 88 chg sides, 178 chg coeffs, 0 upgd conss, 13241 impls, 0 clqs
0.09/0.16	c (round 3) 12 del vars, 23 del conss, 4510 chg bounds, 88 chg sides, 178 chg coeffs, 0 upgd conss, 13241 impls, 0 clqs
0.09/0.19	c (round 4) 12 del vars, 23 del conss, 4510 chg bounds, 88 chg sides, 178 chg coeffs, 2216 upgd conss, 13241 impls, 0 clqs
0.39/0.40	c    (0.3s) probing: 262/6854 (3.8%) - 0 fixings, 1 aggregations, 11 implications, 0 bound changes
0.39/0.40	c    (0.3s) probing aborted: 100/100 successive totally useless probings
0.39/0.40	c presolving (5 rounds):
0.39/0.40	c  13 deleted vars, 23 deleted constraints, 4510 tightened bounds, 0 added holes, 88 changed sides, 178 changed coefficients
0.39/0.40	c  13280 implications, 0 cliques
0.39/0.40	c presolved problem has 11362 variables (6853 bin, 0 int, 0 impl, 4509 cont) and 11232 constraints
0.39/0.40	c    4509 constraints of type <indicator>
0.39/0.40	c       2 constraints of type <varbound>
0.39/0.40	c      61 constraints of type <knapsack>
0.39/0.40	c    4507 constraints of type <linear>
0.39/0.40	c    2153 constraints of type <logicor>
0.39/0.40	c transformed objective value is always integral (scale: 1)
0.39/0.40	c Presolving Time: 0.28
0.39/0.40	c - non default parameters ----------------------------------------------------------------------
0.39/0.40	c # SCIP version 1.2.1.2
0.39/0.40	c 
0.39/0.40	c # frequency for displaying node information lines
0.39/0.40	c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.40	c display/freq = 10000
0.39/0.40	c 
0.39/0.40	c # maximal time in seconds to run
0.39/0.40	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.40	c limits/time = 1799.94
0.39/0.40	c 
0.39/0.40	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.40	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.40	c limits/memory = 3420
0.39/0.40	c 
0.39/0.40	c # should presolving try to simplify inequalities
0.39/0.40	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.40	c constraints/linear/simplifyinequalities = TRUE
0.39/0.40	c 
0.39/0.40	c # should presolving try to simplify knapsacks
0.39/0.40	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.40	c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.40	c 
0.39/0.40	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.40	c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.40	c separating/rapidlearning/freq = 0
0.39/0.40	c 
0.39/0.40	c -----------------------------------------------------------------------------------------------
0.39/0.40	c start solving
0.39/0.40	c 
0.39/0.43	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.39/0.43	c   0.3s|     1 |     0 |    77 |     - |  38M|   0 |  46 |  11k|  11k|  11k|2212 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.59/0.68	c   0.6s|     1 |     0 |   483 |     - |  39M|   0 |  98 |  11k|  11k|  11k|2405 | 193 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.59/0.69	o 227467
0.59/0.69	c y 0.6s|     1 |     0 |   483 |     - |  39M|   0 |  98 |  11k|  11k|  11k|2405 | 193 |   0 |   0 | 0.000000e+00 | 2.274670e+05 |    Inf 
0.89/0.95	c   0.9s|     1 |     0 |   784 |     - |  39M|   0 | 202 |  11k|  11k|  11k|2581 | 369 |   0 |   0 | 0.000000e+00 | 2.274670e+05 |    Inf 
1.39/1.42	c   1.3s|     1 |     0 |  1520 |     - |  39M|   0 | 269 |  11k|  11k|  11k|2772 | 560 |   0 |   0 | 0.000000e+00 | 2.274670e+05 |    Inf 
1.69/1.75	c   1.6s|     1 |     0 |  2111 |     - |  40M|   0 | 253 |  11k|  11k|  11k|2925 | 713 |   0 |   0 | 0.000000e+00 | 2.274670e+05 |    Inf 
2.09/2.15	c   2.0s|     1 |     0 |  2815 |     - |  40M|   0 | 298 |  11k|  11k|  11k|3027 | 815 |   0 |   0 | 0.000000e+00 | 2.274670e+05 |    Inf 
2.49/2.53	c   2.4s|     1 |     0 |  3396 |     - |  40M|   0 | 351 |  11k|  11k|  11k|3117 | 905 |   0 |   0 | 0.000000e+00 | 2.274670e+05 |    Inf 
4.89/4.95	c   4.8s|     1 |     2 |  3396 |     - |  41M|   0 | 351 |  11k|  11k|  11k|3117 | 905 |   0 |  30 | 0.000000e+00 | 2.274670e+05 |    Inf 
111.19/111.28	c   110s| 10000 |  9964 | 64317 |   6.1 |  97M| 161 |  16 |  11k|  11k|  11k|2989 |  10k|  40 |1569 | 0.000000e+00 | 2.274670e+05 |    Inf 
189.89/189.98	c   188s| 20000 | 19964 |102952 |   5.0 | 139M| 163 |  12 |  11k|  11k|  11k|2952 |  19k|  40 |1875 | 0.000000e+00 | 2.274670e+05 |    Inf 
267.69/267.76	c   265s| 30000 | 29964 |130680 |   4.2 | 181M| 173 |   1 |  11k|  11k|  11k|2929 |  26k|  40 |2097 | 0.000000e+00 | 2.274670e+05 |    Inf 
345.49/345.52	c   343s| 40000 | 39962 |155421 |   3.8 | 223M| 173 |   0 |  11k|  11k|  11k|2991 |  33k|  41 |2425 | 0.000000e+00 | 2.274670e+05 |    Inf 
422.70/422.74	c   420s| 50000 | 49960 |177930 |   3.5 | 264M| 177 |   0 |  11k|  11k|  11k|3013 |  39k|  43 |2737 | 0.000000e+00 | 2.274670e+05 |    Inf 
497.40/497.48	c   494s| 60000 | 59960 |198122 |   3.2 | 306M| 183 |   0 |  11k|  11k|  11k|2999 |  45k|  43 |2949 | 0.000000e+00 | 2.274670e+05 |    Inf 
572.40/572.41	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
572.40/572.41	c   568s| 70000 | 69958 |215773 |   3.0 | 348M| 195 |   0 |  11k|  11k|  11k|3002 |  50k|  44 |3286 | 0.000000e+00 | 2.274670e+05 |    Inf 
647.51/647.59	c   643s| 80000 | 79950 |233490 |   2.9 | 389M| 197 |   0 |  11k|  11k|  11k|3012 |  54k|  50 |3580 | 0.000000e+00 | 2.274670e+05 |    Inf 
722.41/722.47	c   718s| 90000 | 89950 |254730 |   2.8 | 431M| 197 |   0 |  11k|  11k|  11k|2999 |  60k|  50 |3878 | 0.000000e+00 | 2.274670e+05 |    Inf 
799.21/799.24	c   794s|100000 | 99950 |278113 |   2.7 | 473M| 197 |   0 |  11k|  11k|  11k|3031 |  67k|  50 |3986 | 0.000000e+00 | 2.274670e+05 |    Inf 
876.31/876.30	c   871s|110000 |109950 |301067 |   2.7 | 515M| 197 |   0 |  11k|  11k|  11k|3011 |  75k|  50 |4142 | 0.000000e+00 | 2.274670e+05 |    Inf 
952.72/952.76	c   947s|120000 |119950 |324398 |   2.7 | 556M| 197 |   0 |  11k|  11k|  11k|2996 |  82k|  50 |4189 | 0.000000e+00 | 2.274670e+05 |    Inf 
1029.62/1029.67	c  1023s|130000 |129950 |348904 |   2.7 | 598M| 197 |   0 |  11k|  11k|  11k|3014 |  91k|  50 |4213 | 0.000000e+00 | 2.274670e+05 |    Inf 
1104.61/1104.64	c  1098s|140000 |139950 |370466 |   2.6 | 640M| 197 |   0 |  11k|  11k|  11k|3016 |  97k|  50 |4363 | 0.000000e+00 | 2.274670e+05 |    Inf 
1179.31/1179.35	c  1172s|150000 |149950 |392104 |   2.6 | 682M| 197 |   0 |  11k|  11k|  11k|3001 | 105k|  50 |4390 | 0.000000e+00 | 2.274670e+05 |    Inf 
1255.22/1255.22	c  1247s|160000 |159950 |414430 |   2.6 | 723M| 197 |   0 |  11k|  11k|  11k|3002 | 113k|  50 |4392 | 0.000000e+00 | 2.274670e+05 |    Inf 
1329.82/1329.86	c  1322s|170000 |169950 |436206 |   2.5 | 765M| 197 |   0 |  11k|  11k|  11k|2992 | 120k|  50 |4394 | 0.000000e+00 | 2.274670e+05 |    Inf 
1404.62/1404.69	c  1396s|180000 |179950 |455444 |   2.5 | 807M| 197 |   0 |  11k|  11k|  11k|3009 | 127k|  50 |4471 | 0.000000e+00 | 2.274670e+05 |    Inf 
1482.73/1482.75	c  1474s|190000 |189944 |480437 |   2.5 | 849M| 197 |   0 |  11k|  11k|  11k|2995 | 134k|  53 |4790 | 0.000000e+00 | 2.274670e+05 |    Inf 
1559.03/1559.01	c  1550s|200000 |199944 |505706 |   2.5 | 890M| 197 |   0 |  11k|  11k|  11k|3007 | 142k|  53 |4838 | 0.000000e+00 | 2.274670e+05 |    Inf 
1638.93/1638.98	c  1629s|210000 |209944 |533352 |   2.5 | 932M| 197 |   0 |  11k|  11k|  11k|2989 | 151k|  53 |4866 | 0.000000e+00 | 2.274670e+05 |    Inf 
1720.93/1720.97	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1720.93/1720.97	c  1711s|220000 |219944 |557566 |   2.5 | 974M| 197 |   0 |  11k|  11k|  11k|3025 | 159k|  53 |4877 | 0.000000e+00 | 2.274670e+05 |    Inf 
1800.03/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.01	c 
1800.03/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.01	c Solving Time (sec) : 1789.38
1800.03/1800.01	c Solving Nodes      : 229794
1800.03/1800.01	c Primal Bound       : +2.27467000000000e+05 (100 solutions)
1800.03/1800.01	c Dual Bound         : +0.00000000000000e+00
1800.03/1800.01	c Gap                : infinite
1800.33/1800.31	s SATISFIABLE
1800.33/1800.31	v x2355 -x2354 -x2353 -x2352 x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 x2343 -x2342 -x2341 -x2340 x2339 -x2338 -x2337 
1800.33/1800.31	v -x2336 -x2335 -x2334 -x2333 -x2332 x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 x2319 
1800.33/1800.31	v -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 
1800.33/1800.31	v -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 
1800.33/1800.31	v -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 
1800.33/1800.31	v -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 
1800.33/1800.31	v -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 
1800.33/1800.31	v -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 
1800.33/1800.31	v -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 
1800.33/1800.31	v -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 
1800.33/1800.31	v -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 
1800.33/1800.31	v -x2157 -x2156 -x2155 x2154 x2153 -x2152 -x2151 x2150 -x2149 -x2148 -x2147 x2146 x2145 -x2144 -x2143 x2142 -x2141 x2140 -x2139 
1800.33/1800.31	v x2138 x2137 -x2136 -x2135 -x2134 x2133 x2132 x2131 -x2130 -x2129 -x2128 x2127 x2126 -x2125 -x2124 -x2123 -x2122 x2121 -x2120 
1800.33/1800.31	v -x2119 -x2118 x2117 -x2116 x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 
1800.33/1800.31	v -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 
1800.33/1800.31	v -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 
1800.33/1800.31	v -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 
1800.33/1800.31	v -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 
1800.33/1800.31	v -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 x2014 -x2013 -x2012 
1800.33/1800.31	v -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 
1800.33/1800.31	v -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 
1800.33/1800.31	v -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 
1800.33/1800.31	v -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 
1800.33/1800.31	v -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 
1800.33/1800.31	v -x1922 -x1921 -x1920 x1919 x1918 x1917 -x1916 x1915 -x1914 x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 
1800.33/1800.31	v -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 x1895 x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 
1800.33/1800.31	v -x1885 x1884 x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 
1800.33/1800.31	v -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 
1800.33/1800.31	v -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 
1800.33/1800.31	v -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 
1800.33/1800.31	v -x1814 -x1813 -x1812 -x1811 -x1810 x1809 -x1808 x1807 -x1806 -x1805 -x1804 -x1803 -x1802 x1801 x1800 -x1799 -x1798 -x1797 x1796 
1800.33/1800.31	v x1795 -x1794 x1793 x1792 x1791 x1790 -x1789 x1788 x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 
1800.33/1800.31	v -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 
1800.33/1800.31	v -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 
1800.33/1800.31	v -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 
1800.33/1800.31	v -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 
1800.33/1800.31	v -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 
1800.33/1800.31	v -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 
1800.33/1800.31	v -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 
1800.33/1800.31	v -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 
1800.33/1800.31	v -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 
1800.33/1800.31	v -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 x1604 -x1603 -x1602 -x1601 -x1600 -x1599 
1800.33/1800.31	v -x1598 -x1597 x1596 x1595 x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 x1586 -x1585 -x1584 -x1583 -x1582 x1581 x1580 
1800.33/1800.31	v -x1579 -x1578 -x1577 x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 x1564 x1563 x1562 -x1561 
1800.33/1800.31	v -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 x1553 x1552 x1551 -x1550 -x1549 x1548 x1547 x1546 -x1545 -x1544 -x1543 
1800.33/1800.31	v -x1542 x1541 -x1540 -x1539 -x1538 x1537 -x1536 -x1535 -x1534 -x1533 x1532 x1531 -x1530 -x1529 -x1528 -x1527 x1526 x1525 x1524 
1800.33/1800.31	v x1523 -x1522 -x1521 -x1520 -x1519 x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 x1511 -x1510 x1509 -x1508 x1507 -x1506 x1505 
1800.33/1800.31	v x1504 -x1503 x1502 x1501 -x1500 -x1499 x1498 x1497 x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 x1486 
1800.33/1800.31	v x1485 x1484 -x1483 -x1482 x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 x1473 x1472 -x1471 -x1470 -x1469 -x1468 
1800.33/1800.31	v -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 
1800.33/1800.31	v -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 
1800.33/1800.31	v -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 
1800.33/1800.31	v -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 
1800.33/1800.31	v -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 
1800.33/1800.31	v -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 x1365 -x1364 -x1363 -x1362 -x1361 -x1360 
1800.33/1800.31	v -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 
1800.33/1800.31	v -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 
1800.33/1800.31	v -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 
1800.33/1800.31	v -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 
1800.33/1800.31	v -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 
1800.33/1800.31	v -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 x1260 x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 
1800.33/1800.31	v x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 x1238 -x1237 -x1236 -x1235 
1800.33/1800.31	v -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 x1220 -x1219 -x1218 -x1217 
1800.33/1800.31	v -x1216 -x1215 -x1214 -x1213 -x1212 x1211 -x1210 x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 
1800.33/1800.31	v x1198 x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 
1800.33/1800.31	v -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 x1163 -x1162 
1800.33/1800.31	v -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 x1154 -x1153 x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 
1800.33/1800.31	v -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 
1800.33/1800.31	v -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 
1800.33/1800.31	v -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 x1091 -x1090 
1800.33/1800.31	v x1089 x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 
1800.33/1800.31	v -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 
1800.33/1800.31	v -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 
1800.33/1800.31	v -x1036 -x1035 -x1034 -x1033 x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 x1020 -x1019 -x1018 
1800.33/1800.31	v -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 
1800.33/1800.31	v -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 
1800.33/1800.31	v -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 
1800.33/1800.31	v -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 
1800.33/1800.31	v -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 x928 x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 
1800.33/1800.31	v -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 
1800.33/1800.31	v -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 
1800.33/1800.31	v -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 
1800.33/1800.31	v -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 
1800.33/1800.31	v -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 
1800.33/1800.31	v -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 
1800.33/1800.31	v -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 
1800.33/1800.31	v -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 x751 x750 
1800.33/1800.31	v -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 x729 
1800.33/1800.31	v -x728 -x727 -x726 -x725 -x724 -x723 x722 -x721 x720 -x719 -x718 -x717 -x716 -x715 -x714 x713 -x712 x711 -x710 -x709 -x708 -x707 
1800.33/1800.31	v -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 
1800.33/1800.31	v -x685 -x684 -x683 x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 
1800.33/1800.31	v -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 
1800.33/1800.31	v -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 x634 -x633 -x632 -x631 x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 
1800.33/1800.31	v x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 
1800.33/1800.31	v -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 
1800.33/1800.31	v -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 
1800.33/1800.31	v x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 
1800.33/1800.31	v -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 
1800.33/1800.31	v -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 
1800.33/1800.31	v -x497 -x496 -x495 -x494 -x493 -x492 -x491 x490 x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 
1800.33/1800.31	v -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 
1800.33/1800.31	v -x455 -x454 -x453 -x452 -x451 x450 -x449 x448 x447 -x446 -x445 x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 
1800.33/1800.31	v -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 
1800.33/1800.31	v -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 x403 -x402 -x401 -x400 -x399 -x398 x397 x396 -x395 x394 -x393 x392 
1800.33/1800.31	v -x391 -x390 -x389 x388 -x387 -x386 -x385 x384 -x383 -x382 -x381 x380 -x379 x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 
1800.33/1800.31	v -x369 -x368 -x367 -x366 x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 
1800.33/1800.31	v -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 x328 
1800.33/1800.31	v x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 x316 -x315 -x314 -x313 -x312 x311 -x310 x309 -x308 -x307 
1800.33/1800.31	v -x306 -x305 x304 -x303 x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 
1800.33/1800.31	v -x284 -x283 -x282 -x281 x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 x272 x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 
1800.33/1800.31	v -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 
1800.33/1800.31	v -x242 x241 -x240 -x239 -x238 -x237 x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 
1800.33/1800.31	v -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 x201 
1800.33/1800.31	v x200 x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 
1800.33/1800.31	v -x179 x178 -x177 x176 x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 
1800.33/1800.31	v -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 x150 x149 -x148 -x147 x146 x145 -x144 -x143 x142 x141 -x140 -x139 x138 x137 -x136 
1800.33/1800.31	v -x135 x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 x123 x122 -x121 -x120 x119 x118 -x117 -x116 -x115 
1800.33/1800.31	v -x114 -x113 -x112 -x111 x110 -x109 -x108 -x107 -x106 x105 -x104 -x103 -x102 x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 
1800.33/1800.31	v -x91 x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 
1800.33/1800.31	v -x66 x65 -x64 x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 x51 x50 x49 x48 -x47 -x46 -x45 -x44 -x43 x42 -x41 x40 
1800.33/1800.31	v -x39 x38 -x37 -x36 -x35 -x34 x33 x32 -x31 -x30 -x29 x28 -x27 -x26 x25 -x24 -x23 x22 -x21 -x20 -x19 -x18 -x17 x16 -x15 x14 x13 
1800.33/1800.31	v x12 x11 x10 -x9 -x8 -x7 x6 -x5 -x4 x3 x2 x1 
1800.33/1800.31	c SCIP Status        : solving was interrupted [user interrupt]
1800.33/1800.31	c Solving Time       :    1789.38
1800.33/1800.31	c Original Problem   :
1800.33/1800.31	c   Problem name     : HOME/instance-2692414-1277914935.wbo
1800.33/1800.31	c   Variables        : 11375 (6865 binary, 0 integer, 0 implicit integer, 4510 continuous)
1800.33/1800.31	c   Constraints      : 11255 initial, 11255 maximal
1800.33/1800.31	c Presolved Problem  :
1800.33/1800.31	c   Problem name     : t_HOME/instance-2692414-1277914935.wbo
1800.33/1800.31	c   Variables        : 11362 (6853 binary, 0 integer, 0 implicit integer, 4509 continuous)
1800.33/1800.31	c   Constraints      : 11232 initial, 11275 maximal
1800.33/1800.31	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.33/1800.31	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.33/1800.31	c   dualfix          :       0.00          2          0          0          0          0          0          0          0
1800.33/1800.31	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.33/1800.31	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.33/1800.31	c   implics          :       0.00          0          9          0          0          0          0          0          0
1800.33/1800.31	c   probing          :       0.18          0          1          0          0          0          0          0          0
1800.33/1800.31	c   indicator        :       0.00          0          0          0          0          0          1          0          0
1800.33/1800.31	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1800.33/1800.31	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1800.33/1800.31	c   linear           :       0.06          1          0          0       4510          0         22         88        178
1800.33/1800.31	c   logicor          :       0.02          0          0          0          0          0          0          0          0
1800.33/1800.31	c   root node        :          -          0          -          -          0          -          -          -          -
1800.33/1800.31	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.33/1800.31	c   integral         :          0          0          0     248958          0          0         11          0          0      69034
1800.33/1800.31	c   indicator        :       4509          0     676784     214430          0          0      31018          0          0          0
1800.33/1800.31	c   varbound         :          2          6     676784     214430          0          0          0          1          0          0
1800.33/1800.31	c   knapsack         :         61          6     676784     214430          0         29       6936        243          0          0
1800.33/1800.31	c   linear           :       4507          6     676755     214430          0          0      34321     166259          0          0
1800.33/1800.31	c   logicor          :       2153+         6     499943     195248          0          2     732531          0          0          0
1800.33/1800.31	c   countsols        :          0          0          0     195248          0          0          0          0          0          0
1800.33/1800.31	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.33/1800.31	c   integral         :      47.85       0.00       0.00      47.85       0.00
1800.33/1800.31	c   indicator        :     176.48       0.02      42.31     134.15       0.00
1800.33/1800.31	c   varbound         :       0.61       0.00       0.33       0.28       0.00
1800.33/1800.31	c   knapsack         :       1.31       0.00       0.74       0.57       0.00
1800.33/1800.31	c   linear           :     275.94       0.00      36.91     239.03       0.00
1800.33/1800.31	c   logicor          :      23.80       0.00       2.89      20.91       0.00
1800.33/1800.31	c   countsols        :       0.04       0.00       0.00       0.04       0.00
1800.33/1800.31	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.33/1800.31	c   vbounds          :       0.30       6747          0          0
1800.33/1800.31	c   rootredcost      :       0.23          1          0          0
1800.33/1800.31	c   pseudoobj        :      76.75     676254          0          0
1800.33/1800.31	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.33/1800.31	c   propagation      :       0.00         31         31         66        9.5          0        0.0          -
1800.33/1800.31	c   infeasible LP    :       0.03          8          8          8        4.9          0        0.0          0
1800.33/1800.31	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.33/1800.31	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.33/1800.31	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.33/1800.31	c   applied globally :          -          -          -         54        8.7          -          -          -
1800.33/1800.31	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.33/1800.31	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.33/1800.31	c   cut pool         :       0.00          5          -          -        382          -    (maximal pool size: 922)
1800.33/1800.31	c   redcost          :      67.37     248237          0          0          0          0
1800.33/1800.31	c   impliedbounds    :       0.00          6          0          0          2          0
1800.33/1800.31	c   intobj           :       0.00          0          0          0          0          0
1800.33/1800.31	c   cgmip            :       0.00          0          0          0          0          0
1800.33/1800.31	c   gomory           :       0.19          6          0          0        951          0
1800.33/1800.31	c   strongcg         :       0.14          6          0          0        223          0
1800.33/1800.31	c   cmir             :       0.25          6          0          0        195          0
1800.33/1800.31	c   flowcover        :       0.80          6          0          0        702          0
1800.33/1800.31	c   clique           :       0.02          6          0          0          0          0
1800.33/1800.31	c   zerohalf         :       0.00          0          0          0          0          0
1800.33/1800.31	c   mcf              :       0.00          1          0          0          0          0
1800.33/1800.31	c   rapidlearning    :       0.00          0          0          0          0          0
1800.33/1800.31	c Pricers            :       Time      Calls       Vars
1800.33/1800.31	c   problem variables:       0.00          0          0
1800.33/1800.31	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.33/1800.31	c   relpscost        :      47.62      34528          0         11          0          0      69034
1800.33/1800.31	c   pscost           :       0.00          0          0          0          0          0          0
1800.33/1800.31	c   inference        :     203.86     195248          0          0          0          0     390496
1800.33/1800.31	c   mostinf          :       0.00          0          0          0          0          0          0
1800.33/1800.31	c   leastinf         :       0.00          0          0          0          0          0          0
1800.33/1800.31	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.33/1800.31	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.33/1800.31	c   random           :       0.00          0          0          0          0          0          0
1800.33/1800.31	c Primal Heuristics  :       Time      Calls      Found
1800.33/1800.31	c   LP solutions     :       0.00          -          0
1800.33/1800.31	c   pseudo solutions :       0.00          -          0
1800.33/1800.31	c   oneopt           :       0.35          1          0
1800.33/1800.31	c   feaspump         :       0.07          1          0
1800.33/1800.31	c   intshifting      :       0.03          3          0
1800.33/1800.31	c   crossover        :       0.79         10          0
1800.33/1800.31	c   fracdiving       :      10.09       2397          0
1800.33/1800.31	c   veclendiving     :      10.33       2397          0
1800.33/1800.31	c   linesearchdiving :      10.26       2397          0
1800.33/1800.31	c   guideddiving     :      10.23       2397          0
1800.33/1800.31	c   coefdiving       :       9.59       2397          0
1800.33/1800.31	c   pscostdiving     :      10.61       2397          0
1800.33/1800.31	c   objpscostdiving  :      11.33       2396          0
1800.33/1800.31	c   rootsoldiving    :      10.90       2396          0
1800.33/1800.31	c   trivial          :       0.02          2          0
1800.33/1800.31	c   simplerounding   :       0.19      31540          0
1800.33/1800.31	c   zirounding       :       0.88       1000          0
1800.33/1800.31	c   rounding         :       0.91       2550          0
1800.33/1800.31	c   shifting         :       3.05        788          0
1800.33/1800.31	c   twoopt           :       0.00          0          0
1800.33/1800.31	c   fixandinfer      :       0.00          0          0
1800.33/1800.31	c   intdiving        :       0.00          0          0
1800.33/1800.31	c   actconsdiving    :       0.00          0          0
1800.33/1800.31	c   octane           :       0.00          0          0
1800.33/1800.31	c   rens             :       0.07          1          0
1800.33/1800.31	c   rins             :       0.00          0          0
1800.33/1800.31	c   localbranching   :       0.00          0          0
1800.33/1800.31	c   mutation         :       0.00          0          0
1800.33/1800.31	c   dins             :       0.00          0          0
1800.33/1800.31	c   undercover       :       0.00          0          0
1800.33/1800.31	c   nlp              :       0.08          0          0
1800.33/1800.31	c   trysol           :       0.76       3507        100
1800.33/1800.31	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.33/1800.31	c   primal LP        :       0.01          0          0       0.00       0.00
1800.33/1800.31	c   dual LP          :     490.54      52439     581294      11.09    1185.01
1800.33/1800.31	c   lex dual LP      :       0.00          0          0       0.00          -
1800.33/1800.31	c   barrier LP       :       0.00          0          0       0.00          -
1800.33/1800.31	c   diving/probing LP:       0.42        124       1134       9.15    2700.00
1800.33/1800.31	c   strong branching :      47.02       5035     145200      28.84    3088.05
1800.33/1800.31	c     (at root node) :          -         30       9015     300.50          -
1800.33/1800.31	c   conflict analysis:       0.00          0          0       0.00          -
1800.33/1800.31	c B&B Tree           :
1800.33/1800.31	c   number of runs   :          1
1800.33/1800.31	c   nodes            :     229794
1800.33/1800.31	c   nodes (total)    :     229794
1800.33/1800.31	c   nodes left       :     229736
1800.33/1800.31	c   max depth        :        197
1800.33/1800.31	c   max depth (total):        197
1800.33/1800.31	c   backtracks       :       2404 (1.0%)
1800.33/1800.31	c   delayed cutoffs  :          1
1800.33/1800.31	c   repropagations   :        176 (171 domain reductions, 1 cutoffs)
1800.33/1800.31	c   avg switch length:       2.09
1800.33/1800.31	c   switching time   :      39.56
1800.33/1800.31	c Solution           :
1800.33/1800.31	c   Solutions found  :        100 (1 improvements)
1800.33/1800.31	c   First Solution   : +2.27467000000000e+05   (in run 1, after 1 nodes, 0.59 seconds, depth 0, found by <trysol>)
1800.33/1800.31	c   Primal Bound     : +2.27467000000000e+05   (in run 1, after 1 nodes, 0.59 seconds, depth 0, found by <trysol>)
1800.33/1800.31	c   Dual Bound       : +0.00000000000000e+00
1800.33/1800.31	c   Gap              :   infinite
1800.33/1800.31	c   Root Dual Bound  : +0.00000000000000e+00
1800.33/1800.31	c   Root Iterations  :       3396
1800.64/1800.68	c Time complete: 1800.72.

Verifier Data 

OK	7032

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692414-1277914935/watcher-2692414-1277914935 -o /tmp/evaluation-result-2692414-1277914935/solver-2692414-1277914935 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692414-1277914935.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.93 1.98 1.99 4/178 25105
/proc/meminfo: memFree=31371732/32950940 swapFree=67111528/67111528
[pid=25105] ppid=25103 vsize=9456 CPUtime=0
/proc/25105/stat : 25105 (pbscip.linux.x8) R 25103 25105 24593 0 -1 4202496 1666 0 0 0 0 0 0 0 25 0 1 0 165085198 9682944 1586 4089446400 4194304 8223781 140733660748592 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/25105/statm: 2364 1586 369 984 0 1377 0

[startup+0.097427 s]
/proc/loadavg: 1.93 1.98 1.99 4/178 25105
/proc/meminfo: memFree=31371732/32950940 swapFree=67111528/67111528
[pid=25105] ppid=25103 vsize=46280 CPUtime=0.08
/proc/25105/stat : 25105 (pbscip.linux.x8) R 25103 25105 24593 0 -1 4202496 11249 0 0 0 8 0 0 0 25 0 1 0 165085198 47390720 10771 4089446400 4194304 8223781 140733660748592 18446744073709551615 4217798 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25105/statm: 11826 10811 389 984 0 10839 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 46280

[startup+0.100422 s]
/proc/loadavg: 1.93 1.98 1.99 4/178 25105
/proc/meminfo: memFree=31371732/32950940 swapFree=67111528/67111528
[pid=25105] ppid=25103 vsize=47440 CPUtime=0.09
/proc/25105/stat : 25105 (pbscip.linux.x8) R 25103 25105 24593 0 -1 4202496 11543 0 0 0 9 0 0 0 25 0 1 0 165085198 48578560 11065 4089446400 4194304 8223781 140733660748592 18446744073709551615 4668100 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25105/statm: 11860 11065 389 984 0 10873 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 47440

[startup+0.300397 s]
/proc/loadavg: 1.93 1.98 1.99 4/178 25105
/proc/meminfo: memFree=31371732/32950940 swapFree=67111528/67111528
[pid=25105] ppid=25103 vsize=57248 CPUtime=0.29
/proc/25105/stat : 25105 (pbscip.linux.x8) R 25103 25105 24593 0 -1 4202496 16045 0 0 0 27 2 0 0 25 0 1 0 165085198 58621952 13201 4089446400 4194304 8223781 140733660748592 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25105/statm: 14312 13201 501 984 0 13325 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 57248

[startup+0.700324 s]
/proc/loadavg: 1.93 1.98 1.99 4/178 25105
/proc/meminfo: memFree=31371732/32950940 swapFree=67111528/67111528
[pid=25105] ppid=25103 vsize=69804 CPUtime=0.69
/proc/25105/stat : 25105 (pbscip.linux.x8) R 25103 25105 24593 0 -1 4202496 19570 0 0 0 66 3 0 0 25 0 1 0 165085198 71479296 16133 4089446400 4194304 8223781 140733660748592 18446744073709551615 5993698 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25105/statm: 17451 16133 602 984 0 16464 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 69804

[startup+1.50119 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 25107
/proc/meminfo: memFree=31308112/32950940 swapFree=67111528/67111528
[pid=25105] ppid=25103 vsize=75436 CPUtime=1.5
/proc/25105/stat : 25105 (pbscip.linux.x8) R 25103 25105 24593 0 -1 4202496 21096 0 0 0 146 4 0 0 25 0 1 0 165085198 77246464 17450 4089446400 4194304 8223781 140733660748592 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25105/statm: 18859 17450 594 984 0 17872 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 75436

[startup+3.10084 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 25107
/proc/meminfo: memFree=31303896/32950940 swapFree=67111528/67111528
[pid=25105] ppid=25103 vsize=77296 CPUtime=3.09
/proc/25105/stat : 25105 (pbscip.linux.x8) R 25103 25105 24593 0 -1 4202496 35763 0 0 0 303 6 0 0 25 0 1 0 165085198 79151104 17801 4089446400 4194304 8223781 140733660748592 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25105/statm: 19324 17801 609 984 0 18337 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 77296

[startup+6.30028 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 25107
/proc/meminfo: memFree=31303400/32950940 swapFree=67111528/67111528
[pid=25105] ppid=25103 vsize=77252 CPUtime=6.29
/proc/25105/stat : 25105 (pbscip.linux.x8) R 25103 25105 24593 0 -1 4202496 43629 0 0 0 620 9 0 0 25 0 1 0 165085198 79106048 17815 4089446400 4194304 8223781 140733660748592 18446744073709551615 6569990 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25105/statm: 19313 17815 609 984 0 18326 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 77252

[startup+12.7002 s]
/proc/loadavg: 1.94 1.98 1.99 3/179 25107
/proc/meminfo: memFree=31302180/32950940 swapFree=67111528/67111528
[pid=25105] ppid=25103 vsize=77232 CPUtime=12.69
/proc/25105/stat : 25105 (pbscip.linux.x8) R 25103 25105 24593 0 -1 4202496 56234 0 0 0 1254 15 0 0 25 0 1 0 165085198 79085568 17795 4089446400 4194304 8223781 140733660748592 18446744073709551615 6567727 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25105/statm: 19308 17795 609 984 0 18321 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 77232

[startup+25.5009 s]
/proc/loadavg: 1.95 1.98 1.99 3/179 25107
/proc/meminfo: memFree=31296424/32950940 swapFree=67111528/67111528
[pid=25105] ppid=25103 vsize=77076 CPUtime=25.49
/proc/25105/stat : 25105 (pbscip.linux.x8) R 25103 25105 24593 0 -1 4202496 83339 0 0 0 2522 27 0 0 25 0 1 0 165085198 78925824 17783 4089446400 4194304 8223781 140733660748592 18446744073709551615 6446995 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25105/statm: 19269 17783 609 984 0 18282 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 77076

[startup+51.1004 s]
/proc/loadavg: 1.97 1.98 1.99 3/179 25107
/proc/meminfo: memFree=31262276/32950940 swapFree=67111528/67111528
[pid=25105] ppid=25103 vsize=101548 CPUtime=51.09
/proc/25105/stat : 25105 (pbscip.linux.x8) R 25103 25105 24593 0 -1 4202496 225187 0 0 0 5047 62 0 0 25 0 1 0 165085198 103985152 23965 4089446400 4194304 8223781 140733660748592 18446744073709551615 6448670 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25105/statm: 25387 23965 614 984 0 24400 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 101548

[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.99 3/179 25109
/proc/meminfo: memFree=31211544/32950940 swapFree=67111528/67111528
[pid=25105] ppid=25103 vsize=131416 CPUtime=102.3
/proc/25105/stat : 25105 (pbscip.linux.x8) R 25103 25105 24593 0 -1 4202496 324227 0 0 0 10130 100 0 0 25 0 1 0 165085198 134569984 31475 4089446400 4194304 8223781 140733660748592 18446744073709551615 7073867 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25105/statm: 32854 31475 614 984 0 31867 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 131416

[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 25111
/proc/meminfo: memFree=31162404/32950940 swapFree=67111528/67111528
[pid=25105] ppid=25103 vsize=162648 CPUtime=162.3
/proc/25105/stat : 25105 (pbscip.linux.x8) R 25103 25105 24593 0 -1 4202496 418778 0 0 0 16084 146 0 0 25 0 1 0 165085198 166551552 39291 4089446400 4194304 8223781 140733660748592 18446744073709551615 7073987 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25105/statm: 40662 39291 614 984 0 39675 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 162648

[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 25112
/proc/meminfo: memFree=31110296/32950940 swapFree=67111528/67111528
[pid=25105] ppid=25103 vsize=192996 CPUtime=222.29
/proc/25105/stat : 25105 (pbscip.linux.x8) R 25103 25105 24593 0 -1 4202496 489075 0 0 0 22040 189 0 0 25 0 1 0 165085198 197627904 46927 4089446400 4194304 8223781 140733660748592 18446744073709551615 5813664 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25105/statm: 48249 46927 614 984 0 47262 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 192996

[startup+282.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 25113
/proc/meminfo: memFree=31054704/32950940 swapFree=67111528/67111528
[pid=25105] ppid=25103 vsize=225796 CPUtime=282.3
/proc/25105/stat : 25105 (pbscip.linux.x8) R 25103 25105 24593 0 -1 4202496 552330 0 0 0 27998 232 0 0 25 0 1 0 165085198 231215104 55149 4089446400 4194304 8223781 140733660748592 18446744073709551615 6444484 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25105/statm: 56449 55149 614 984 0 55462 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 225796

[startup+342.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 25115
/proc/meminfo: memFree=30995888/32950940 swapFree=67111528/67111528
[pid=25105] ppid=25103 vsize=257496 CPUtime=342.3
/proc/25105/stat : 25105 (pbscip.linux.x8) R 25103 25105 24593 0 -1 4202496 583347 0 0 0 33967 263 0 0 25 0 1 0 165085198 263675904 63109 4089446400 4194304 8223781 140733660748592 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25105/statm: 64374 63109 614 984 0 63387 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 257496

[startup+402.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 25117
/proc/meminfo: memFree=30937944/32950940 swapFree=67111528/67111528
[pid=25105] ppid=25103 vsize=290092 CPUtime=402.3
/proc/25105/stat : 25105 (pbscip.linux.x8) R 25103 25105 24593 0 -1 4202496 622181 0 0 0 39936 294 0 0 25 0 1 0 165085198 297054208 71289 4089446400 4194304 8223781 140733660748592 18446744073709551615 6482738 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25105/statm: 72523 71289 614 984 0 71536 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 290092

[startup+462.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 25119
/proc/meminfo: memFree=30882976/32950940 swapFree=67111528/67111528
[pid=25105] ppid=25103 vsize=324904 CPUtime=462.3
/proc/25105/stat : 25105 (pbscip.linux.x8) R 25103 25105 24593 0 -1 4202496 696564 0 0 0 45899 331 0 0 25 0 1 0 165085198 332701696 80019 4089446400 4194304 8223781 140733660748592 18446744073709551615 6520480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25105/statm: 81226 80019 614 984 0 80239 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 324904

[startup+522.301 s]
/proc/loadavg: 2.05 2.00 2.00 3/179 25120
/proc/meminfo: memFree=30826164/32950940 swapFree=67111528/67111528
[pid=25105] ppid=25103 vsize=358272 CPUtime=522.3
/proc/25105/stat : 25105 (pbscip.linux.x8) R 25103 25105 24593 0 -1 4202496 745260 0 0 0 51864 366 0 0 25 0 1 0 165085198 366870528 88392 4089446400 4194304 8223781 140733660748592 18446744073709551615 4830938 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25105/statm: 89568 88392 614 984 0 88581 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 358272

[startup+582.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/179 25121
/proc/meminfo: memFree=30772932/32950940 swapFree=67111528/67111528
[pid=25105] ppid=25103 vsize=392588 CPUtime=582.3
/proc/25105/stat : 25105 (pbscip.linux.x8) R 25103 25105 24593 0 -1 4202496 775332 0 0 0 57831 399 0 0 25 0 1 0 165085198 402010112 96492 4089446400 4194304 8223781 140733660748592 18446744073709551615 4641936 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25105/statm: 98147 96492 614 984 0 97160 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 392588

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25123
/proc/meminfo: memFree=30718844/32950940 swapFree=67111528/67111528
[pid=25105] ppid=25103 vsize=423664 CPUtime=642.31
/proc/25105/stat : 25105 (pbscip.linux.x8) R 25103 25105 24593 0 -1 4202496 807256 0 0 0 63800 431 0 0 25 0 1 0 165085198 433831936 104291 4089446400 4194304 8223781 140733660748592 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25105/statm: 105916 104291 614 984 0 104929 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 423664

[startup+702.3 s]

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

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25131
/proc/meminfo: memFree=30437320/32950940 swapFree=67111528/67111528
[pid=25105] ppid=25103 vsize=585832 CPUtime=942.32
/proc/25105/stat : 25105 (pbscip.linux.x8) R 25103 25105 24593 0 -1 4202496 1032741 0 0 0 93635 597 0 0 25 0 1 0 165085198 599891968 144986 4089446400 4194304 8223781 140733660748592 18446744073709551615 6002962 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25105/statm: 146458 144986 614 984 0 145471 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 585832

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25133
/proc/meminfo: memFree=30381352/32950940 swapFree=67111528/67111528
[pid=25105] ppid=25103 vsize=619116 CPUtime=1002.32
/proc/25105/stat : 25105 (pbscip.linux.x8) R 25103 25105 24593 0 -1 4202496 1080587 0 0 0 99600 632 0 0 25 0 1 0 165085198 633974784 153341 4089446400 4194304 8223781 140733660748592 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25105/statm: 154779 153341 614 984 0 153792 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 619116

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25163
/proc/meminfo: memFree=30978988/32950940 swapFree=67111528/67111528
[pid=25105] ppid=25103 vsize=651276 CPUtime=1062.31
/proc/25105/stat : 25105 (pbscip.linux.x8) R 25103 25105 24593 0 -1 4202496 1134900 0 0 0 105557 674 0 0 25 0 1 0 165085198 666906624 161413 4089446400 4194304 8223781 140733660748592 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25105/statm: 162819 161413 614 984 0 161832 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 651276

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25164
/proc/meminfo: memFree=30926764/32950940 swapFree=67111528/67111528
[pid=25105] ppid=25103 vsize=683344 CPUtime=1122.31
/proc/25105/stat : 25105 (pbscip.linux.x8) R 25103 25105 24593 0 -1 4202496 1169271 0 0 0 111525 706 0 0 25 0 1 0 165085198 699744256 169442 4089446400 4194304 8223781 140733660748592 18446744073709551615 4965317 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25105/statm: 170836 169442 614 984 0 169849 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 683344

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25165
/proc/meminfo: memFree=30865588/32950940 swapFree=67111528/67111528
[pid=25105] ppid=25103 vsize=714460 CPUtime=1182.31
/proc/25105/stat : 25105 (pbscip.linux.x8) R 25103 25105 24593 0 -1 4202496 1195410 0 0 0 117492 739 0 0 25 0 1 0 165085198 731607040 177270 4089446400 4194304 8223781 140733660748592 18446744073709551615 6003327 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25105/statm: 178615 177270 614 984 0 177628 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 714460

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25167
/proc/meminfo: memFree=30789668/32950940 swapFree=67111528/67111528
[pid=25105] ppid=25103 vsize=748584 CPUtime=1242.32
/proc/25105/stat : 25105 (pbscip.linux.x8) R 25103 25105 24593 0 -1 4202496 1219406 0 0 0 123457 775 0 0 25 0 1 0 165085198 766550016 185833 4089446400 4194304 8223781 140733660748592 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25105/statm: 187146 185833 614 984 0 186159 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 748584

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25169
/proc/meminfo: memFree=30715720/32950940 swapFree=67111528/67111528
[pid=25105] ppid=25103 vsize=781520 CPUtime=1302.33
/proc/25105/stat : 25105 (pbscip.linux.x8) R 25103 25105 24593 0 -1 4202496 1240700 0 0 0 129429 804 0 0 25 0 1 0 165085198 800276480 194090 4089446400 4194304 8223781 140733660748592 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25105/statm: 195380 194090 614 984 0 194393 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 781520

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25171
/proc/meminfo: memFree=30645628/32950940 swapFree=67111528/67111528
[pid=25105] ppid=25103 vsize=811896 CPUtime=1362.32
/proc/25105/stat : 25105 (pbscip.linux.x8) R 25103 25105 24593 0 -1 4202496 1263418 0 0 0 135400 832 0 0 25 0 1 0 165085198 831381504 201724 4089446400 4194304 8223781 140733660748592 18446744073709551615 6558077 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25105/statm: 202974 201724 614 984 0 201987 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 811896

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25172
/proc/meminfo: memFree=30573416/32950940 swapFree=67111528/67111528
[pid=25105] ppid=25103 vsize=842696 CPUtime=1422.33
/proc/25105/stat : 25105 (pbscip.linux.x8) R 25103 25105 24593 0 -1 4202496 1303489 0 0 0 141369 864 0 0 25 0 1 0 165085198 862920704 209446 4089446400 4194304 8223781 140733660748592 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25105/statm: 210674 209446 614 984 0 209687 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 842696

[startup+1482.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 25173
/proc/meminfo: memFree=30498976/32950940 swapFree=67111528/67111528
[pid=25105] ppid=25103 vsize=878540 CPUtime=1482.32
/proc/25105/stat : 25105 (pbscip.linux.x8) R 25103 25105 24593 0 -1 4202496 1356425 0 0 0 147327 905 0 0 25 0 1 0 165085198 899624960 218446 4089446400 4194304 8223781 140733660748592 18446744073709551615 6329575 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25105/statm: 219635 218446 614 984 0 218648 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 878540

[startup+1542.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/179 25175
/proc/meminfo: memFree=30422060/32950940 swapFree=67111528/67111528
[pid=25105] ppid=25103 vsize=917068 CPUtime=1542.32
/proc/25105/stat : 25105 (pbscip.linux.x8) R 25103 25105 24593 0 -1 4202496 1377086 0 0 0 153295 937 0 0 25 0 1 0 165085198 939077632 227086 4089446400 4194304 8223781 140733660748592 18446744073709551615 6003021 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25105/statm: 229267 227086 614 984 0 228280 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 917068

[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 25180
/proc/meminfo: memFree=30354668/32950940 swapFree=67111528/67111528
[pid=25105] ppid=25103 vsize=947072 CPUtime=1602.33
/proc/25105/stat : 25105 (pbscip.linux.x8) R 25103 25105 24593 0 -1 4202496 1424721 0 0 0 159263 970 0 0 25 0 1 0 165085198 969801728 234592 4089446400 4194304 8223781 140733660748592 18446744073709551615 6520513 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25105/statm: 236768 234592 614 984 0 235781 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 947072

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 25182
/proc/meminfo: memFree=30283728/32950940 swapFree=67111528/67111528
[pid=25105] ppid=25103 vsize=978508 CPUtime=1662.33
/proc/25105/stat : 25105 (pbscip.linux.x8) R 25103 25105 24593 0 -1 4202496 1454060 0 0 0 165238 995 0 0 25 0 1 0 165085198 1001992192 242498 4089446400 4194304 8223781 140733660748592 18446744073709551615 7256940 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25105/statm: 244627 242498 614 984 0 243640 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 978508

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 25183
/proc/meminfo: memFree=30211884/32950940 swapFree=67111528/67111528
[pid=25105] ppid=25103 vsize=1007960 CPUtime=1722.33
/proc/25105/stat : 25105 (pbscip.linux.x8) R 25103 25105 24593 0 -1 4202496 1476080 0 0 0 171212 1021 0 0 25 0 1 0 165085198 1032151040 249896 4089446400 4194304 8223781 140733660748592 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25105/statm: 251990 249896 614 984 0 251003 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 1007960

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25184
/proc/meminfo: memFree=30140432/32950940 swapFree=67111528/67111528
[pid=25105] ppid=25103 vsize=1037764 CPUtime=1782.33
/proc/25105/stat : 25105 (pbscip.linux.x8) R 25103 25105 24593 0 -1 4202496 1504416 0 0 0 177184 1049 0 0 25 0 1 0 165085198 1062670336 257356 4089446400 4194304 8223781 140733660748592 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25105/statm: 259441 257356 614 984 0 258454 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 1037764



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25185
/proc/meminfo: memFree=30119836/32950940 swapFree=67111528/67111528
[pid=25105] ppid=25103 vsize=1047976 CPUtime=1800.03
/proc/25105/stat : 25105 (pbscip.linux.x8) R 25103 25105 24593 0 -1 4202496 1527904 0 0 0 178943 1060 0 0 25 0 1 0 165085198 1073127424 259939 4089446400 4194304 8223781 140733660748592 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25105/statm: 261994 259939 614 984 0 261007 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1047976

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25185
/proc/meminfo: memFree=30119836/32950940 swapFree=67111528/67111528
[pid=25105] ppid=25103 vsize=1047976 CPUtime=1800.23
/proc/25105/stat : 25105 (pbscip.linux.x8) R 25103 25105 24593 0 -1 4202496 1527904 0 0 0 178963 1060 0 0 25 0 1 0 165085198 1073127424 259939 4089446400 4194304 8223781 140733660748592 18446744073709551615 7256940 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/25105/statm: 261994 259939 614 984 0 261007 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 1047976

[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 25187
/proc/meminfo: memFree=30755948/32950940 swapFree=67111528/67111528
[pid=25105] ppid=25103 vsize=383220 CPUtime=1800.64
/proc/25105/stat : 25105 (pbscip.linux.x8) R 25103 25105 24593 0 -1 4202496 1527906 0 0 0 179001 1063 0 0 25 0 1 0 165085198 392417280 93752 4089446400 4194304 8223781 140733660748592 18446744073709551615 7302071 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/25105/statm: 95805 93752 616 984 0 94818 0
Current children cumulated CPU time (s) 1800.64
Current children cumulated vsize (KiB) 383220

Child status: 0
Real time (s): 1800.69
CPU time (s): 1800.73
CPU user time (s): 1790.07
CPU system time (s): 10.6504
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1048176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.07
system time used= 10.6504
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1527910
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= 1
involuntary context switches= 1764

runsolver used 3.07953 second user time and 6.54 second system time

The end

Launcher Data 

Begin job on node117 at 2010-06-30 18:22:15
IDJOB=2692414
IDBENCH=79044
IDSOLVER=1204
FILE ID=node117/2692414-1277914935
PBS_JOBID= 11197271
Free space on /tmp= 74208 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-cache.inv8.ucl--soft-33-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692414-1277914935/watcher-2692414-1277914935 -o /tmp/evaluation-result-2692414-1277914935/solver-2692414-1277914935 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692414-1277914935.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 95fc93b9bf9d7a2900db6241c7ee4c87
RANDOM SEED=1806270702

node117.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.799
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.59
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.799
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.799
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.799
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.75
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.799
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.85
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.799
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.75
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.799
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.82
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.799
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      31372260 kB
Buffers:        198620 kB
Cached:         856636 kB
SwapCached:          0 kB
Active:         839784 kB
Inactive:       593008 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      31372260 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            5176 kB
Writeback:           0 kB
AnonPages:      377224 kB
Mapped:          17180 kB
Slab:            79208 kB
PageTables:       5240 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS:   532752 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74200 MiB
End job on node117 at 2010-06-30 18:52:17