0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [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-2664629-1276413092.opb>
0.01/0.04 c original problem has 406 variables (406 bin, 0 int, 0 impl, 0 cont) and 520 constraints
0.01/0.04 c problem read
0.01/0.04 c presolving settings loaded
0.01/0.04 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.01/0.05 o 406
0.01/0.05 c feasible solution found by trivial heuristic, objective value 4.060000e+02
0.01/0.05 c presolving:
0.01/0.06 c (round 1) 5 del vars, 22 del conss, 5 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4 impls, 0 clqs
0.01/0.07 c (round 2) 5 del vars, 37 del conss, 5 chg bounds, 5 chg sides, 0 chg coeffs, 0 upgd conss, 4 impls, 0 clqs
0.01/0.09 c (round 3) 5 del vars, 98 del conss, 5 chg bounds, 5 chg sides, 0 chg coeffs, 482 upgd conss, 4 impls, 0 clqs
0.01/0.09 c (round 4) 5 del vars, 99 del conss, 5 chg bounds, 5 chg sides, 0 chg coeffs, 483 upgd conss, 4 impls, 0 clqs
0.01/0.10 c (0.1s) probing: 101/401 (25.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.01/0.10 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.01/0.10 c presolving (5 rounds):
0.01/0.10 c 5 deleted vars, 99 deleted constraints, 5 tightened bounds, 0 added holes, 5 changed sides, 0 changed coefficients
0.01/0.10 c 4 implications, 0 cliques
0.01/0.10 c presolved problem has 401 variables (401 bin, 0 int, 0 impl, 0 cont) and 421 constraints
0.01/0.10 c 421 constraints of type <logicor>
0.01/0.10 c transformed objective value is always integral (scale: 1)
0.01/0.10 c Presolving Time: 0.04
0.01/0.10 c - non default parameters ----------------------------------------------------------------------
0.01/0.10 c # SCIP version 1.2.1.2
0.01/0.10 c
0.01/0.10 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.01/0.10 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.10 c conflict/interconss = 0
0.01/0.10 c
0.01/0.10 c # should binary conflicts be preferred?
0.01/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.10 c conflict/preferbinary = TRUE
0.01/0.10 c
0.01/0.10 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.01/0.10 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.10 c constraints/agelimit = 1
0.01/0.10 c
0.01/0.10 c # should enforcement of pseudo solution be disabled?
0.01/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.10 c constraints/disableenfops = TRUE
0.01/0.10 c
0.01/0.10 c # frequency for displaying node information lines
0.01/0.10 c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.10 c display/freq = 10000
0.01/0.10 c
0.01/0.10 c # maximal time in seconds to run
0.01/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.10 c limits/time = 1799.97
0.01/0.10 c
0.01/0.10 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.10 c limits/memory = 1620
0.01/0.10 c
0.01/0.10 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.01/0.10 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.10 c lp/solvefreq = -1
0.01/0.10 c
0.01/0.10 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.01/0.10 c # [type: char, range: {lafpsqd}, default: l]
0.01/0.10 c lp/pricing = a
0.01/0.10 c
0.01/0.10 c # should presolving try to simplify inequalities
0.01/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.10 c constraints/linear/simplifyinequalities = TRUE
0.01/0.10 c
0.01/0.10 c # should presolving try to simplify knapsacks
0.01/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.10 c constraints/knapsack/simplifyinequalities = TRUE
0.01/0.10 c
0.01/0.10 c # priority of node selection rule <dfs> in standard mode
0.01/0.10 c # [type: int, range: [-536870912,536870911], default: 0]
0.01/0.10 c nodeselection/dfs/stdpriority = 1000000
0.01/0.10 c
0.01/0.10 c -----------------------------------------------------------------------------------------------
0.01/0.10 c start solving
0.09/0.10 c
0.09/0.10 o 377
0.09/0.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.10 c t 0.1s| 1 | 0 | 0 | - |1914k| 0 | - | 401 | 421 | 0 | 0 | 0 | 0 | 0 | -- | 3.770000e+02 | Inf
0.09/0.10 c 0.1s| 1 | 2 | 0 | - |1903k| 0 | - | 401 | 421 | 0 | 0 | 0 | 0 | 0 | 5.000000e+00 | 3.770000e+02 |7440.00%
0.09/0.14 o 25
0.09/0.14 c * 0.1s| 382 | 371 | 0 | 0.0 |2088k| 381 | - | 401 | 421 | 0 | 0 | 0 | 0 | 0 | 6.000000e+00 | 2.500000e+01 | 316.67%
3.20/3.29 c 3.0s| 10000 | 328 | 0 | 0.0 |2104k| 381 | - | 401 | 421 | 0 | 0 | 0 |5359 | 0 | 6.000000e+00 | 2.500000e+01 | 316.67%
6.89/6.96 c 6.3s| 20000 | 334 | 0 | 0.0 |2107k| 381 | - | 401 | 421 | 0 | 0 | 0 | 11k| 0 | 6.000000e+00 | 2.500000e+01 | 316.67%
10.18/10.27 c 9.4s| 30000 | 318 | 0 | 0.0 |2104k| 381 | - | 401 | 421 | 0 | 0 | 0 | 16k| 0 | 6.000000e+00 | 2.500000e+01 | 316.67%
13.88/13.98 c 12.7s| 40000 | 314 | 0 | 0.0 |2109k| 381 | - | 401 | 421 | 0 | 0 | 0 | 22k| 0 | 6.000000e+00 | 2.500000e+01 | 316.67%
16.39/16.45 c 15.0s| 50000 | 325 | 0 | 0.0 |2110k| 381 | - | 401 | 421 | 0 | 0 | 0 | 25k| 0 | 6.000000e+00 | 2.500000e+01 | 316.67%
20.38/20.45 c 18.7s| 60000 | 318 | 0 | 0.0 |2111k| 381 | - | 401 | 421 | 0 | 0 | 0 | 32k| 0 | 6.000000e+00 | 2.500000e+01 | 316.67%
24.69/24.70 c 22.5s| 70000 | 315 | 0 | 0.0 |2115k| 381 | - | 401 | 421 | 0 | 0 | 0 | 39k| 0 | 6.000000e+00 | 2.500000e+01 | 316.67%
27.99/28.04 c 25.6s| 80000 | 311 | 0 | 0.0 |2114k| 381 | - | 401 | 428 | 0 | 0 | 0 | 44k| 0 | 6.000000e+00 | 2.500000e+01 | 316.67%
30.69/30.70 c 28.0s| 90000 | 304 | 0 | 0.0 |2110k| 381 | - | 401 | 421 | 0 | 0 | 0 | 49k| 0 | 6.000000e+00 | 2.500000e+01 | 316.67%
34.09/34.11 c 31.1s|100000 | 302 | 0 | 0.0 |2109k| 381 | - | 401 | 421 | 0 | 0 | 0 | 54k| 0 | 6.000000e+00 | 2.500000e+01 | 316.67%
37.28/37.30 c 34.0s|110000 | 322 | 0 | 0.0 |2118k| 381 | - | 401 | 422 | 0 | 0 | 0 | 59k| 0 | 6.000000e+00 | 2.500000e+01 | 316.67%
40.88/40.95 c 37.4s|120000 | 309 | 0 | 0.0 |2113k| 381 | - | 401 | 422 | 0 | 0 | 0 | 65k| 0 | 6.000000e+00 | 2.500000e+01 | 316.67%
43.98/44.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
43.98/44.02 c 40.2s|130000 | 307 | 0 | 0.0 |2113k| 381 | - | 401 | 421 | 0 | 0 | 0 | 71k| 0 | 6.000000e+00 | 2.500000e+01 | 316.67%
47.07/47.10 c 43.0s|140000 | 322 | 0 | 0.0 |2119k| 381 | - | 401 | 421 | 0 | 0 | 0 | 76k| 0 | 6.000000e+00 | 2.500000e+01 | 316.67%
49.97/50.08 c 45.7s|150000 | 310 | 0 | 0.0 |2118k| 381 | - | 401 | 422 | 0 | 0 | 0 | 81k| 0 | 6.000000e+00 | 2.500000e+01 | 316.67%
52.87/52.90 c 48.3s|160000 | 305 | 0 | 0.0 |2117k| 381 | - | 401 | 424 | 0 | 0 | 0 | 85k| 0 | 6.000000e+00 | 2.500000e+01 | 316.67%
55.67/55.79 c 50.9s|170000 | 301 | 0 | 0.0 |2117k| 381 | - | 401 | 424 | 0 | 0 | 0 | 90k| 0 | 6.000000e+00 | 2.500000e+01 | 316.67%
58.47/58.50 c 53.4s|180000 | 306 | 0 | 0.0 |2117k| 381 | - | 401 | 421 | 0 | 0 | 0 | 94k| 0 | 6.000000e+00 | 2.500000e+01 | 316.67%
62.17/62.27 c 56.9s|190000 | 308 | 0 | 0.0 |2126k| 381 | - | 401 | 423 | 0 | 0 | 0 | 100k| 0 | 6.000000e+00 | 2.500000e+01 | 316.67%
65.77/65.82 c 60.1s|200000 | 318 | 0 | 0.0 |2121k| 381 | - | 401 | 421 | 0 | 0 | 0 | 106k| 0 | 6.000000e+00 | 2.500000e+01 | 316.67%
68.97/69.09 c 63.1s|210000 | 312 | 0 | 0.0 |2120k| 381 | - | 401 | 423 | 0 | 0 | 0 | 111k| 0 | 6.000000e+00 | 2.500000e+01 | 316.67%
72.16/72.20 c 65.9s|220000 | 313 | 0 | 0.0 |2119k| 381 | - | 401 | 421 | 0 | 0 | 0 | 116k| 0 | 6.000000e+00 | 2.500000e+01 | 316.67%
74.86/74.94 c 68.4s|230000 | 309 | 0 | 0.0 |2119k| 381 | - | 401 | 421 | 0 | 0 | 0 | 121k| 0 | 6.000000e+00 | 2.500000e+01 | 316.67%
77.87/77.96 c 71.2s|240000 | 318 | 0 | 0.0 |2121k| 381 | - | 401 | 422 | 0 | 0 | 0 | 125k| 0 | 6.000000e+00 | 2.500000e+01 | 316.67%
80.66/80.76 c 73.7s|250000 | 308 | 0 | 0.0 |2118k| 381 | - | 401 | 421 | 0 | 0 | 0 | 130k| 0 | 6.000000e+00 | 2.500000e+01 | 316.67%
83.96/84.03 c 76.7s|260000 | 297 | 0 | 0.0 |2116k| 381 | - | 401 | 422 | 0 | 0 | 0 | 135k| 0 | 6.000000e+00 | 2.500000e+01 | 316.67%
84.85/84.90 o 24
84.85/84.90 c *77.5s|262245 | 326 | 0 | 0.0 |2130k| 381 | - | 401 | 421 | 0 | 0 | 0 | 137k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
87.36/87.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
87.36/87.41 c 79.8s|270000 | 307 | 0 | 0.0 |2125k| 381 | - | 401 | 424 | 0 | 0 | 0 | 141k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
90.86/90.98 c 83.0s|280000 | 297 | 0 | 0.0 |2122k| 381 | - | 401 | 422 | 0 | 0 | 0 | 146k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
92.37/92.41 o 23
92.37/92.41 c *84.4s|285481 | 303 | 0 | 0.0 |2135k| 381 | - | 401 | 424 | 0 | 0 | 0 | 148k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
93.75/93.82 c 85.7s|290000 | 291 | 0 | 0.0 |2130k| 381 | - | 401 | 422 | 0 | 0 | 0 | 151k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
97.36/97.47 c 89.0s|300000 | 268 | 0 | 0.0 |2135k| 381 | - | 401 | 422 | 0 | 0 | 0 | 156k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
101.35/101.47 c 92.7s|310000 | 264 | 0 | 0.0 |2143k| 381 | - | 401 | 421 | 0 | 0 | 0 | 161k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
105.96/106.04 c 96.9s|320000 | 256 | 0 | 0.0 |2144k| 381 | - | 401 | 422 | 0 | 0 | 0 | 167k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
110.55/110.63 c 101s|330000 | 272 | 0 | 0.0 |2149k| 381 | - | 401 | 421 | 0 | 0 | 0 | 174k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
115.36/115.49 c 106s|340000 | 266 | 0 | 0.0 |2170k| 381 | - | 401 | 436 | 0 | 0 | 0 | 180k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
119.85/119.97 c 110s|350000 | 272 | 0 | 0.0 |2156k| 381 | - | 401 | 423 | 0 | 0 | 0 | 186k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
124.04/124.15 c 114s|360000 | 258 | 0 | 0.0 |2159k| 381 | - | 401 | 422 | 0 | 0 | 0 | 192k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
128.54/128.65 c 118s|370000 | 303 | 0 | 0.0 |2167k| 381 | - | 401 | 421 | 0 | 0 | 0 | 197k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
132.53/132.66 c 121s|380000 | 252 | 0 | 0.0 |2153k| 381 | - | 401 | 421 | 0 | 0 | 0 | 204k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
136.84/136.94 c 125s|390000 | 252 | 0 | 0.0 |2157k| 381 | - | 401 | 421 | 0 | 0 | 0 | 209k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
141.04/141.10 c 129s|400000 | 270 | 0 | 0.0 |2167k| 381 | - | 401 | 421 | 0 | 0 | 0 | 215k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
145.33/145.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
145.33/145.45 c 133s|410000 | 260 | 0 | 0.0 |2158k| 381 | - | 401 | 421 | 0 | 0 | 0 | 221k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
149.94/150.09 c 138s|420000 | 269 | 0 | 0.0 |2170k| 381 | - | 401 | 434 | 0 | 0 | 0 | 227k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
154.14/154.28 c 141s|430000 | 246 | 0 | 0.0 |2172k| 381 | - | 401 | 440 | 0 | 0 | 0 | 232k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
158.52/158.64 c 146s|440000 | 254 | 0 | 0.0 |2157k| 381 | - | 401 | 421 | 0 | 0 | 0 | 238k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
162.32/162.43 c 149s|450000 | 278 | 0 | 0.0 |2171k| 381 | - | 401 | 425 | 0 | 0 | 0 | 243k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
166.12/166.20 c 152s|460000 | 289 | 0 | 0.0 |2175k| 381 | - | 401 | 423 | 0 | 0 | 0 | 248k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
169.93/170.07 c 156s|470000 | 252 | 0 | 0.0 |2158k| 381 | - | 401 | 422 | 0 | 0 | 0 | 254k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
173.82/173.93 c 160s|480000 | 253 | 0 | 0.0 |2176k| 381 | - | 401 | 422 | 0 | 0 | 0 | 259k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
177.92/178.07 c 164s|490000 | 252 | 0 | 0.0 |2163k| 381 | - | 401 | 425 | 0 | 0 | 0 | 265k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
182.43/182.56 c 168s|500000 | 251 | 0 | 0.0 |2158k| 381 | - | 401 | 421 | 0 | 0 | 0 | 271k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
186.62/186.79 c 172s|510000 | 244 | 0 | 0.0 |2157k| 381 | - | 401 | 421 | 0 | 0 | 0 | 277k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
190.92/191.05 c 176s|520000 | 249 | 0 | 0.0 |2158k| 381 | - | 401 | 421 | 0 | 0 | 0 | 283k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
195.22/195.30 c 180s|530000 | 240 | 0 | 0.0 |2156k| 381 | - | 401 | 422 | 0 | 0 | 0 | 289k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
199.62/199.79 c 184s|540000 | 246 | 0 | 0.0 |2158k| 381 | - | 401 | 421 | 0 | 0 | 0 | 295k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
203.51/203.69 c 187s|550000 | 243 | 0 | 0.0 |2168k| 381 | - | 401 | 422 | 0 | 0 | 0 | 300k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
207.82/207.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
207.82/207.98 c 191s|560000 | 247 | 0 | 0.0 |2168k| 381 | - | 401 | 423 | 0 | 0 | 0 | 306k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
212.22/212.39 c 196s|570000 | 249 | 0 | 0.0 |2161k| 381 | - | 401 | 423 | 0 | 0 | 0 | 312k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
216.11/216.29 c 199s|580000 | 239 | 0 | 0.0 |2168k| 381 | - | 401 | 421 | 0 | 0 | 0 | 317k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
220.11/220.26 c 203s|590000 | 255 | 0 | 0.0 |2162k| 381 | - | 401 | 421 | 0 | 0 | 0 | 322k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
223.81/223.91 c 206s|600000 | 240 | 0 | 0.0 |2159k| 381 | - | 401 | 421 | 0 | 0 | 0 | 328k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
228.10/228.21 c 210s|610000 | 257 | 0 | 0.0 |2163k| 381 | - | 401 | 421 | 0 | 0 | 0 | 333k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
232.30/232.41 c 214s|620000 | 277 | 0 | 0.0 |2172k| 381 | - | 401 | 429 | 0 | 0 | 0 | 339k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
236.20/236.34 c 218s|630000 | 260 | 0 | 0.0 |2167k| 381 | - | 401 | 425 | 0 | 0 | 0 | 345k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
240.40/240.54 c 222s|640000 | 245 | 0 | 0.0 |2173k| 381 | - | 401 | 437 | 0 | 0 | 0 | 352k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
244.30/244.43 c 225s|650000 | 246 | 0 | 0.0 |2172k| 381 | - | 401 | 425 | 0 | 0 | 0 | 358k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
247.90/248.08 c 228s|660000 | 264 | 0 | 0.0 |2171k| 381 | - | 401 | 422 | 0 | 0 | 0 | 363k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
251.90/252.07 c 232s|670000 | 240 | 0 | 0.0 |2161k| 381 | - | 401 | 422 | 0 | 0 | 0 | 369k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
256.59/256.73 c 237s|680000 | 243 | 0 | 0.0 |2161k| 381 | - | 401 | 423 | 0 | 0 | 0 | 375k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
260.89/261.08 c 241s|690000 | 256 | 0 | 0.0 |2170k| 381 | - | 401 | 422 | 0 | 0 | 0 | 379k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
265.30/265.46 c 245s|700000 | 248 | 0 | 0.0 |2162k| 381 | - | 401 | 421 | 0 | 0 | 0 | 384k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
269.59/269.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
269.59/269.76 c 249s|710000 | 251 | 0 | 0.0 |2170k| 381 | - | 401 | 426 | 0 | 0 | 0 | 389k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
274.19/274.32 c 253s|720000 | 269 | 0 | 0.0 |2176k| 381 | - | 401 | 422 | 0 | 0 | 0 | 395k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
278.49/278.67 c 257s|730000 | 276 | 0 | 0.0 |2170k| 381 | - | 401 | 422 | 0 | 0 | 0 | 400k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
282.89/283.01 c 261s|740000 | 246 | 0 | 0.0 |2165k| 381 | - | 401 | 427 | 0 | 0 | 0 | 406k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
286.90/287.02 c 265s|750000 | 249 | 0 | 0.0 |2164k| 381 | - | 401 | 424 | 0 | 0 | 0 | 412k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
291.29/291.40 c 269s|760000 | 272 | 0 | 0.0 |2175k| 381 | - | 401 | 423 | 0 | 0 | 0 | 417k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
296.09/296.26 c 273s|770000 | 246 | 0 | 0.0 |2181k| 381 | - | 401 | 447 | 0 | 0 | 0 | 423k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
300.99/301.12 c 278s|780000 | 273 | 0 | 0.0 |2173k| 381 | - | 401 | 422 | 0 | 0 | 0 | 429k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
305.48/305.67 c 282s|790000 | 270 | 0 | 0.0 |2174k| 381 | - | 401 | 423 | 0 | 0 | 0 | 435k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
308.68/308.84 o 22
308.68/308.84 c * 285s|796289 | 289 | 0 | 0.0 |2188k| 381 | - | 401 | 421 | 0 | 0 | 0 | 439k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
310.18/310.34 c 286s|800000 | 250 | 0 | 0.0 |2181k| 381 | - | 401 | 421 | 0 | 0 | 0 | 441k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
315.08/315.28 c 291s|810000 | 253 | 0 | 0.0 |2178k| 381 | - | 401 | 431 | 0 | 0 | 0 | 448k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
319.28/319.45 c 295s|820000 | 241 | 0 | 0.0 |2182k| 381 | - | 401 | 424 | 0 | 0 | 0 | 453k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
323.38/323.57 c 298s|830000 | 301 | 0 | 0.0 |2187k| 381 | - | 401 | 423 | 0 | 0 | 0 | 458k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
327.77/327.93 c 302s|840000 | 252 | 0 | 0.0 |2183k| 381 | - | 401 | 426 | 0 | 0 | 0 | 464k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
331.37/331.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
331.37/331.60 c 306s|850000 | 270 | 0 | 0.0 |2181k| 381 | - | 401 | 422 | 0 | 0 | 0 | 470k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
334.78/334.98 c 309s|860000 | 267 | 0 | 0.0 |2184k| 381 | - | 401 | 423 | 0 | 0 | 0 | 475k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
338.28/338.41 c 312s|870000 | 262 | 0 | 0.0 |2180k| 381 | - | 401 | 424 | 0 | 0 | 0 | 481k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
341.87/342.05 c 316s|880000 | 253 | 0 | 0.0 |2179k| 381 | - | 401 | 424 | 0 | 0 | 0 | 486k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
345.67/345.84 c 319s|890000 | 237 | 0 | 0.0 |2171k| 381 | - | 401 | 423 | 0 | 0 | 0 | 491k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
349.58/349.71 c 323s|900000 | 244 | 0 | 0.0 |2174k| 381 | - | 401 | 422 | 0 | 0 | 0 | 497k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
353.98/354.16 c 327s|910000 | 237 | 0 | 0.0 |2181k| 381 | - | 401 | 428 | 0 | 0 | 0 | 502k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
358.27/358.48 c 331s|920000 | 236 | 0 | 0.0 |2171k| 381 | - | 401 | 421 | 0 | 0 | 0 | 508k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
362.66/362.87 c 335s|930000 | 234 | 0 | 0.0 |2173k| 381 | - | 401 | 424 | 0 | 0 | 0 | 514k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
367.36/367.57 c 339s|940000 | 232 | 0 | 0.0 |2175k| 381 | - | 401 | 426 | 0 | 0 | 0 | 521k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
371.76/371.92 c 343s|950000 | 231 | 0 | 0.0 |2173k| 381 | - | 401 | 421 | 0 | 0 | 0 | 526k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
376.16/376.33 c 348s|960000 | 236 | 0 | 0.0 |2179k| 381 | - | 401 | 429 | 0 | 0 | 0 | 532k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
380.66/380.84 c 352s|970000 | 233 | 0 | 0.0 |2182k| 381 | - | 401 | 429 | 0 | 0 | 0 | 539k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
384.96/385.17 c 356s|980000 | 233 | 0 | 0.0 |2175k| 381 | - | 401 | 421 | 0 | 0 | 0 | 544k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
389.46/389.63 c 360s|990000 | 236 | 0 | 0.0 |2176k| 381 | - | 401 | 422 | 0 | 0 | 0 | 550k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
393.96/394.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
393.96/394.13 c 364s| 1000k| 235 | 0 | 0.0 |2181k| 381 | - | 401 | 422 | 0 | 0 | 0 | 556k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
398.96/399.18 c 369s| 1010k| 240 | 0 | 0.0 |2177k| 381 | - | 401 | 421 | 0 | 0 | 0 | 562k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
403.46/403.67 c 373s| 1020k| 236 | 0 | 0.0 |2190k| 381 | - | 401 | 441 | 0 | 0 | 0 | 568k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
407.35/407.58 c 377s| 1030k| 268 | 0 | 0.0 |2190k| 381 | - | 401 | 428 | 0 | 0 | 0 | 573k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
411.75/411.95 c 381s| 1040k| 240 | 0 | 0.0 |2182k| 381 | - | 401 | 431 | 0 | 0 | 0 | 579k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
416.15/416.37 c 385s| 1050k| 266 | 0 | 0.0 |2186k| 381 | - | 401 | 424 | 0 | 0 | 0 | 585k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
420.75/420.93 c 389s| 1060k| 231 | 0 | 0.0 |2176k| 381 | - | 401 | 422 | 0 | 0 | 0 | 591k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
425.04/425.24 c 393s| 1070k| 248 | 0 | 0.0 |2187k| 381 | - | 401 | 425 | 0 | 0 | 0 | 597k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
428.54/428.70 c 396s| 1080k| 245 | 0 | 0.0 |2180k| 381 | - | 401 | 423 | 0 | 0 | 0 | 602k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
432.75/432.93 c 400s| 1090k| 234 | 0 | 0.0 |2181k| 381 | - | 401 | 427 | 0 | 0 | 0 | 608k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
437.04/437.20 c 404s| 1100k| 239 | 0 | 0.0 |2187k| 381 | - | 401 | 430 | 0 | 0 | 0 | 613k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
441.04/441.25 c 408s| 1110k| 251 | 0 | 0.0 |2187k| 381 | - | 401 | 424 | 0 | 0 | 0 | 619k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
445.04/445.20 c 412s| 1120k| 244 | 0 | 0.0 |2188k| 381 | - | 401 | 424 | 0 | 0 | 0 | 625k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
448.83/449.08 c 415s| 1130k| 237 | 0 | 0.0 |2182k| 381 | - | 401 | 428 | 0 | 0 | 0 | 630k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
452.94/453.12 c 419s| 1140k| 241 | 0 | 0.0 |2181k| 381 | - | 401 | 424 | 0 | 0 | 0 | 636k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
457.04/457.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
457.04/457.21 c 423s| 1150k| 233 | 0 | 0.0 |2178k| 381 | - | 401 | 422 | 0 | 0 | 0 | 642k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
461.33/461.59 c 427s| 1160k| 238 | 0 | 0.0 |2178k| 381 | - | 401 | 422 | 0 | 0 | 0 | 648k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
466.13/466.34 c 431s| 1170k| 244 | 0 | 0.0 |2182k| 381 | - | 401 | 423 | 0 | 0 | 0 | 654k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
470.33/470.59 c 435s| 1180k| 274 | 0 | 0.0 |2192k| 381 | - | 401 | 428 | 0 | 0 | 0 | 659k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
474.53/474.78 c 439s| 1190k| 248 | 0 | 0.0 |2191k| 381 | - | 401 | 421 | 0 | 0 | 0 | 665k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
478.83/479.02 c 443s| 1200k| 244 | 0 | 0.0 |2183k| 381 | - | 401 | 423 | 0 | 0 | 0 | 671k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
482.83/483.04 c 447s| 1210k| 245 | 0 | 0.0 |2182k| 381 | - | 401 | 421 | 0 | 0 | 0 | 677k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
487.13/487.37 c 451s| 1220k| 237 | 0 | 0.0 |2182k| 381 | - | 401 | 424 | 0 | 0 | 0 | 682k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
491.82/492.00 c 455s| 1230k| 239 | 0 | 0.0 |2181k| 381 | - | 401 | 422 | 0 | 0 | 0 | 689k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
496.32/496.51 c 459s| 1240k| 238 | 0 | 0.0 |2180k| 381 | - | 401 | 421 | 0 | 0 | 0 | 695k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
501.22/501.46 c 464s| 1250k| 225 | 0 | 0.0 |2180k| 381 | - | 401 | 423 | 0 | 0 | 0 | 701k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
505.73/505.93 c 468s| 1260k| 241 | 0 | 0.0 |2183k| 381 | - | 401 | 424 | 0 | 0 | 0 | 707k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
510.02/510.25 c 472s| 1270k| 226 | 0 | 0.0 |2178k| 381 | - | 401 | 423 | 0 | 0 | 0 | 712k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
514.32/514.59 c 476s| 1280k| 249 | 0 | 0.0 |2188k| 381 | - | 401 | 424 | 0 | 0 | 0 | 717k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
518.42/518.65 c 480s| 1290k| 245 | 0 | 0.0 |2190k| 381 | - | 401 | 425 | 0 | 0 | 0 | 723k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
522.32/522.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
522.32/522.55 c 484s| 1300k| 252 | 0 | 0.0 |2184k| 381 | - | 401 | 422 | 0 | 0 | 0 | 728k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
526.41/526.62 c 487s| 1310k| 253 | 0 | 0.0 |2198k| 381 | - | 401 | 447 | 0 | 0 | 0 | 733k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
530.91/531.20 c 492s| 1320k| 231 | 0 | 0.0 |2182k| 381 | - | 401 | 428 | 0 | 0 | 0 | 740k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
535.21/535.44 c 496s| 1330k| 232 | 0 | 0.0 |2180k| 381 | - | 401 | 421 | 0 | 0 | 0 | 746k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
539.61/539.84 c 500s| 1340k| 231 | 0 | 0.0 |2184k| 381 | - | 401 | 432 | 0 | 0 | 0 | 752k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
543.71/543.90 c 503s| 1350k| 234 | 0 | 0.0 |2182k| 381 | - | 401 | 424 | 0 | 0 | 0 | 757k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
547.52/547.70 c 507s| 1360k| 268 | 0 | 0.0 |2190k| 381 | - | 401 | 425 | 0 | 0 | 0 | 762k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
551.21/551.48 c 510s| 1370k| 262 | 0 | 0.0 |2194k| 381 | - | 401 | 427 | 0 | 0 | 0 | 768k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
555.01/555.27 c 514s| 1380k| 256 | 0 | 0.0 |2191k| 381 | - | 401 | 429 | 0 | 0 | 0 | 774k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
558.80/559.09 c 517s| 1390k| 258 | 0 | 0.0 |2188k| 381 | - | 401 | 425 | 0 | 0 | 0 | 779k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
562.50/562.74 c 521s| 1400k| 257 | 0 | 0.0 |2195k| 381 | - | 401 | 438 | 0 | 0 | 0 | 785k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
566.60/566.84 c 525s| 1410k| 252 | 0 | 0.0 |2188k| 381 | - | 401 | 425 | 0 | 0 | 0 | 792k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
570.80/571.03 c 529s| 1420k| 249 | 0 | 0.0 |2191k| 381 | - | 401 | 429 | 0 | 0 | 0 | 798k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
575.01/575.29 c 532s| 1430k| 247 | 0 | 0.0 |2187k| 381 | - | 401 | 426 | 0 | 0 | 0 | 803k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
579.40/579.62 c 537s| 1440k| 236 | 0 | 0.0 |2182k| 381 | - | 401 | 426 | 0 | 0 | 0 | 809k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
583.69/583.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
583.69/583.99 c 541s| 1450k| 237 | 0 | 0.0 |2192k| 381 | - | 401 | 431 | 0 | 0 | 0 | 815k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
588.10/588.32 c 545s| 1460k| 243 | 0 | 0.0 |2185k| 381 | - | 401 | 427 | 0 | 0 | 0 | 821k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
591.80/592.00 c 548s| 1470k| 277 | 0 | 0.0 |2194k| 381 | - | 401 | 426 | 0 | 0 | 0 | 827k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
595.80/596.04 c 552s| 1480k| 257 | 0 | 0.0 |2187k| 381 | - | 401 | 426 | 0 | 0 | 0 | 833k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
600.70/600.92 c 556s| 1490k| 240 | 0 | 0.0 |2185k| 381 | - | 401 | 428 | 0 | 0 | 0 | 840k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
605.19/605.48 c 560s| 1500k| 240 | 0 | 0.0 |2183k| 381 | - | 401 | 425 | 0 | 0 | 0 | 846k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
609.10/609.32 c 564s| 1510k| 237 | 0 | 0.0 |2184k| 381 | - | 401 | 428 | 0 | 0 | 0 | 851k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
613.09/613.38 c 568s| 1520k| 239 | 0 | 0.0 |2184k| 381 | - | 401 | 425 | 0 | 0 | 0 | 857k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
617.69/617.92 c 572s| 1530k| 233 | 0 | 0.0 |2181k| 381 | - | 401 | 425 | 0 | 0 | 0 | 863k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
621.69/621.95 c 576s| 1540k| 234 | 0 | 0.0 |2190k| 381 | - | 401 | 427 | 0 | 0 | 0 | 869k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
625.28/625.52 c 579s| 1550k| 274 | 0 | 0.0 |2195k| 381 | - | 401 | 427 | 0 | 0 | 0 | 875k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
628.89/629.13 c 582s| 1560k| 263 | 0 | 0.0 |2190k| 381 | - | 401 | 425 | 0 | 0 | 0 | 881k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
632.48/632.73 c 586s| 1570k| 273 | 0 | 0.0 |2192k| 381 | - | 401 | 425 | 0 | 0 | 0 | 887k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
636.38/636.61 c 589s| 1580k| 261 | 0 | 0.0 |2190k| 381 | - | 401 | 425 | 0 | 0 | 0 | 893k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
639.99/640.29 c 593s| 1590k| 263 | 0 | 0.0 |2189k| 381 | - | 401 | 425 | 0 | 0 | 0 | 899k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
643.88/644.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
643.88/644.12 c 596s| 1600k| 248 | 0 | 0.0 |2185k| 381 | - | 401 | 425 | 0 | 0 | 0 | 905k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
647.78/648.05 c 600s| 1610k| 253 | 0 | 0.0 |2187k| 381 | - | 401 | 425 | 0 | 0 | 0 | 911k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
651.28/651.53 c 603s| 1620k| 247 | 0 | 0.0 |2192k| 381 | - | 401 | 428 | 0 | 0 | 0 | 917k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
655.28/655.50 c 607s| 1630k| 251 | 0 | 0.0 |2188k| 381 | - | 401 | 426 | 0 | 0 | 0 | 923k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
658.98/659.24 c 610s| 1640k| 251 | 0 | 0.0 |2186k| 381 | - | 401 | 425 | 0 | 0 | 0 | 929k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
662.78/663.09 c 614s| 1650k| 241 | 0 | 0.0 |2186k| 381 | - | 401 | 428 | 0 | 0 | 0 | 934k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
666.88/667.10 c 617s| 1660k| 242 | 0 | 0.0 |2192k| 381 | - | 401 | 429 | 0 | 0 | 0 | 940k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
671.07/671.37 c 621s| 1670k| 232 | 0 | 0.0 |2186k| 381 | - | 401 | 432 | 0 | 0 | 0 | 946k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
675.08/675.33 c 625s| 1680k| 237 | 0 | 0.0 |2186k| 381 | - | 401 | 432 | 0 | 0 | 0 | 952k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
679.97/680.20 c 630s| 1690k| 233 | 0 | 0.0 |2183k| 381 | - | 401 | 425 | 0 | 0 | 0 | 958k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
684.37/684.63 c 634s| 1700k| 234 | 0 | 0.0 |2196k| 381 | - | 401 | 431 | 0 | 0 | 0 | 964k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
688.77/689.05 c 638s| 1710k| 240 | 0 | 0.0 |2193k| 381 | - | 401 | 438 | 0 | 0 | 0 | 971k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
693.17/693.48 c 642s| 1720k| 228 | 0 | 0.0 |2182k| 381 | - | 401 | 429 | 0 | 0 | 0 | 977k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
697.26/697.59 c 646s| 1730k| 244 | 0 | 0.0 |2190k| 381 | - | 401 | 430 | 0 | 0 | 0 | 982k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
701.48/701.79 c 650s| 1740k| 236 | 0 | 0.0 |2187k| 381 | - | 401 | 434 | 0 | 0 | 0 | 988k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
705.87/706.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
705.87/706.20 c 654s| 1750k| 260 | 0 | 0.0 |2191k| 381 | - | 401 | 426 | 0 | 0 | 0 | 994k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
710.06/710.35 c 658s| 1760k| 230 | 0 | 0.0 |2182k| 381 | - | 401 | 421 | 0 | 0 | 0 |1000k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
714.96/715.29 c 662s| 1770k| 228 | 0 | 0.0 |2190k| 381 | - | 401 | 423 | 0 | 0 | 0 |1007k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
719.56/719.88 c 666s| 1780k| 229 | 0 | 0.0 |2191k| 381 | - | 401 | 429 | 0 | 0 | 0 |1013k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
724.16/724.41 c 671s| 1790k| 232 | 0 | 0.0 |2183k| 381 | - | 401 | 421 | 0 | 0 | 0 |1020k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
729.07/729.36 c 675s| 1800k| 229 | 0 | 0.0 |2200k| 381 | - | 401 | 443 | 0 | 0 | 0 |1027k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
733.85/734.15 c 680s| 1810k| 238 | 0 | 0.0 |2188k| 381 | - | 401 | 428 | 0 | 0 | 0 |1033k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
738.15/738.46 c 684s| 1820k| 233 | 0 | 0.0 |2184k| 381 | - | 401 | 421 | 0 | 0 | 0 |1039k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
742.86/743.12 c 688s| 1830k| 232 | 0 | 0.0 |2183k| 381 | - | 401 | 421 | 0 | 0 | 0 |1045k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
747.25/747.52 c 692s| 1840k| 230 | 0 | 0.0 |2191k| 381 | - | 401 | 421 | 0 | 0 | 0 |1052k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
751.65/751.99 c 696s| 1850k| 230 | 0 | 0.0 |2195k| 381 | - | 401 | 428 | 0 | 0 | 0 |1058k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
755.85/756.18 c 700s| 1860k| 230 | 0 | 0.0 |2194k| 381 | - | 401 | 427 | 0 | 0 | 0 |1064k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
760.35/760.62 c 704s| 1870k| 226 | 0 | 0.0 |2186k| 381 | - | 401 | 426 | 0 | 0 | 0 |1070k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
764.74/765.04 c 708s| 1880k| 228 | 0 | 0.0 |2183k| 381 | - | 401 | 423 | 0 | 0 | 0 |1076k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
769.85/770.15 c 713s| 1890k| 224 | 0 | 0.0 |2191k| 381 | - | 401 | 421 | 0 | 0 | 0 |1083k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
775.05/775.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
775.05/775.39 c 718s| 1900k| 242 | 0 | 0.0 |2186k| 381 | - | 401 | 421 | 0 | 0 | 0 |1089k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
780.14/780.48 c 723s| 1910k| 231 | 0 | 0.0 |2184k| 381 | - | 401 | 423 | 0 | 0 | 0 |1095k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
784.74/785.05 c 727s| 1920k| 229 | 0 | 0.0 |2188k| 381 | - | 401 | 434 | 0 | 0 | 0 |1101k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
789.64/789.90 c 732s| 1930k| 225 | 0 | 0.0 |2182k| 381 | - | 401 | 421 | 0 | 0 | 0 |1106k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
793.63/793.97 c 735s| 1940k| 238 | 0 | 0.0 |2186k| 381 | - | 401 | 421 | 0 | 0 | 0 |1112k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
797.74/798.06 c 739s| 1950k| 238 | 0 | 0.0 |2189k| 381 | - | 401 | 425 | 0 | 0 | 0 |1118k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
801.84/802.16 c 743s| 1960k| 246 | 0 | 0.0 |2191k| 381 | - | 401 | 425 | 0 | 0 | 0 |1123k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
806.04/806.33 c 747s| 1970k| 246 | 0 | 0.0 |2189k| 381 | - | 401 | 421 | 0 | 0 | 0 |1129k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
810.34/810.70 c 751s| 1980k| 243 | 0 | 0.0 |2189k| 381 | - | 401 | 423 | 0 | 0 | 0 |1135k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
814.53/814.81 c 755s| 1990k| 235 | 0 | 0.0 |2189k| 381 | - | 401 | 422 | 0 | 0 | 0 |1141k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
819.14/819.47 c 759s| 2000k| 245 | 0 | 0.0 |2190k| 381 | - | 401 | 422 | 0 | 0 | 0 |1148k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
823.53/823.86 c 763s| 2010k| 236 | 0 | 0.0 |2188k| 381 | - | 401 | 422 | 0 | 0 | 0 |1154k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
828.22/828.55 c 768s| 2020k| 244 | 0 | 0.0 |2193k| 381 | - | 401 | 428 | 0 | 0 | 0 |1160k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
832.22/832.60 c 771s| 2030k| 231 | 0 | 0.0 |2189k| 381 | - | 401 | 427 | 0 | 0 | 0 |1166k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
836.63/836.95 c 775s| 2040k| 226 | 0 | 0.0 |2188k| 381 | - | 401 | 428 | 0 | 0 | 0 |1172k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
841.32/841.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
841.32/841.67 c 780s| 2050k| 227 | 0 | 0.0 |2185k| 381 | - | 401 | 421 | 0 | 0 | 0 |1178k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
846.02/846.39 c 784s| 2060k| 238 | 0 | 0.0 |2195k| 381 | - | 401 | 423 | 0 | 0 | 0 |1185k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
850.72/851.00 c 788s| 2070k| 231 | 0 | 0.0 |2187k| 381 | - | 401 | 423 | 0 | 0 | 0 |1191k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
854.72/855.02 c 792s| 2080k| 237 | 0 | 0.0 |2187k| 381 | - | 401 | 421 | 0 | 0 | 0 |1197k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
858.82/859.19 c 796s| 2090k| 222 | 0 | 0.0 |2196k| 381 | - | 401 | 433 | 0 | 0 | 0 |1203k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
863.22/863.54 c 800s| 2100k| 236 | 0 | 0.0 |2190k| 381 | - | 401 | 426 | 0 | 0 | 0 |1209k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
867.82/868.13 c 804s| 2110k| 234 | 0 | 0.0 |2187k| 381 | - | 401 | 421 | 0 | 0 | 0 |1215k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
871.72/872.03 c 808s| 2120k| 240 | 0 | 0.0 |2193k| 381 | - | 401 | 430 | 0 | 0 | 0 |1220k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
875.82/876.10 c 812s| 2130k| 235 | 0 | 0.0 |2187k| 381 | - | 401 | 421 | 0 | 0 | 0 |1226k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
880.01/880.33 c 816s| 2140k| 233 | 0 | 0.0 |2198k| 381 | - | 401 | 428 | 0 | 0 | 0 |1232k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
884.21/884.55 c 820s| 2150k| 234 | 0 | 0.0 |2189k| 381 | - | 401 | 425 | 0 | 0 | 0 |1238k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
888.41/888.75 c 823s| 2160k| 225 | 0 | 0.0 |2186k| 381 | - | 401 | 423 | 0 | 0 | 0 |1244k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
892.61/892.93 c 827s| 2170k| 236 | 0 | 0.0 |2189k| 381 | - | 401 | 426 | 0 | 0 | 0 |1249k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
896.81/897.19 c 831s| 2180k| 240 | 0 | 0.0 |2194k| 381 | - | 401 | 427 | 0 | 0 | 0 |1255k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
901.01/901.31 c 835s| 2190k| 242 | 0 | 0.0 |2200k| 381 | - | 401 | 422 | 0 | 0 | 0 |1260k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
905.31/905.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
905.31/905.69 c 839s| 2200k| 226 | 0 | 0.0 |2186k| 381 | - | 401 | 422 | 0 | 0 | 0 |1266k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
909.81/910.11 c 843s| 2210k| 232 | 0 | 0.0 |2189k| 381 | - | 401 | 427 | 0 | 0 | 0 |1272k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
913.90/914.25 c 847s| 2220k| 232 | 0 | 0.0 |2200k| 381 | - | 401 | 433 | 0 | 0 | 0 |1278k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
918.11/918.47 c 851s| 2230k| 230 | 0 | 0.0 |2194k| 381 | - | 401 | 426 | 0 | 0 | 0 |1285k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
922.51/922.88 c 855s| 2240k| 228 | 0 | 0.0 |2188k| 381 | - | 401 | 422 | 0 | 0 | 0 |1291k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
927.10/927.49 c 859s| 2250k| 233 | 0 | 0.0 |2198k| 381 | - | 401 | 436 | 0 | 0 | 0 |1297k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
931.70/932.09 c 864s| 2260k| 243 | 0 | 0.0 |2201k| 381 | - | 401 | 424 | 0 | 0 | 0 |1304k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
936.09/936.49 c 868s| 2270k| 244 | 0 | 0.0 |2192k| 381 | - | 401 | 424 | 0 | 0 | 0 |1310k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
940.50/940.87 c 872s| 2280k| 222 | 0 | 0.0 |2186k| 381 | - | 401 | 423 | 0 | 0 | 0 |1316k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
944.89/945.29 c 876s| 2290k| 227 | 0 | 0.0 |2189k| 381 | - | 401 | 425 | 0 | 0 | 0 |1322k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
949.49/949.85 c 880s| 2300k| 233 | 0 | 0.0 |2189k| 381 | - | 401 | 423 | 0 | 0 | 0 |1329k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
953.79/954.16 c 884s| 2310k| 236 | 0 | 0.0 |2190k| 381 | - | 401 | 423 | 0 | 0 | 0 |1335k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
957.80/958.17 c 888s| 2320k| 242 | 0 | 0.0 |2193k| 381 | - | 401 | 425 | 0 | 0 | 0 |1341k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
961.89/962.24 c 892s| 2330k| 233 | 0 | 0.0 |2191k| 381 | - | 401 | 424 | 0 | 0 | 0 |1346k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
965.99/966.36 c 895s| 2340k| 236 | 0 | 0.0 |2193k| 381 | - | 401 | 421 | 0 | 0 | 0 |1352k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
970.08/970.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
970.08/970.43 c 899s| 2350k| 232 | 0 | 0.0 |2190k| 381 | - | 401 | 425 | 0 | 0 | 0 |1358k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
974.79/975.11 c 904s| 2360k| 242 | 0 | 0.0 |2191k| 381 | - | 401 | 423 | 0 | 0 | 0 |1365k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
979.49/979.85 c 908s| 2370k| 246 | 0 | 0.0 |2191k| 381 | - | 401 | 421 | 0 | 0 | 0 |1371k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
983.88/984.21 c 912s| 2380k| 254 | 0 | 0.0 |2196k| 381 | - | 401 | 426 | 0 | 0 | 0 |1377k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
988.39/988.79 c 916s| 2390k| 236 | 0 | 0.0 |2190k| 381 | - | 401 | 424 | 0 | 0 | 0 |1384k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
993.28/993.65 c 921s| 2400k| 234 | 0 | 0.0 |2188k| 381 | - | 401 | 421 | 0 | 0 | 0 |1391k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
998.17/998.57 c 925s| 2410k| 233 | 0 | 0.0 |2198k| 381 | - | 401 | 434 | 0 | 0 | 0 |1397k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1002.88/1003.27 c 929s| 2420k| 245 | 0 | 0.0 |2194k| 381 | - | 401 | 422 | 0 | 0 | 0 |1404k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1007.28/1007.66 c 933s| 2430k| 243 | 0 | 0.0 |2194k| 381 | - | 401 | 428 | 0 | 0 | 0 |1410k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1011.48/1011.84 c 937s| 2440k| 240 | 0 | 0.0 |2195k| 381 | - | 401 | 422 | 0 | 0 | 0 |1416k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1015.38/1015.73 c 941s| 2450k| 229 | 0 | 0.0 |2187k| 381 | - | 401 | 421 | 0 | 0 | 0 |1422k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1019.57/1019.91 c 945s| 2460k| 240 | 0 | 0.0 |2195k| 381 | - | 401 | 436 | 0 | 0 | 0 |1428k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1024.57/1024.97 c 949s| 2470k| 228 | 0 | 0.0 |2187k| 381 | - | 401 | 421 | 0 | 0 | 0 |1435k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1028.67/1029.02 c 953s| 2480k| 233 | 0 | 0.0 |2190k| 381 | - | 401 | 423 | 0 | 0 | 0 |1440k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1033.58/1033.94 c 958s| 2490k| 235 | 0 | 0.0 |2189k| 381 | - | 401 | 421 | 0 | 0 | 0 |1447k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1037.87/1038.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1037.87/1038.23 c 962s| 2500k| 249 | 0 | 0.0 |2199k| 381 | - | 401 | 426 | 0 | 0 | 0 |1453k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1041.87/1042.24 c 965s| 2510k| 226 | 0 | 0.0 |2187k| 381 | - | 401 | 423 | 0 | 0 | 0 |1459k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1046.47/1046.84 c 970s| 2520k| 237 | 0 | 0.0 |2204k| 381 | - | 401 | 451 | 0 | 0 | 0 |1466k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1050.26/1050.64 c 973s| 2530k| 240 | 0 | 0.0 |2194k| 381 | - | 401 | 422 | 0 | 0 | 0 |1472k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1054.77/1055.15 c 977s| 2540k| 230 | 0 | 0.0 |2190k| 381 | - | 401 | 421 | 0 | 0 | 0 |1478k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1059.16/1059.53 c 981s| 2550k| 256 | 0 | 0.0 |2199k| 381 | - | 401 | 425 | 0 | 0 | 0 |1484k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1063.86/1064.27 c 986s| 2560k| 232 | 0 | 0.0 |2191k| 381 | - | 401 | 427 | 0 | 0 | 0 |1490k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1068.26/1068.65 c 990s| 2570k| 230 | 0 | 0.0 |2188k| 381 | - | 401 | 421 | 0 | 0 | 0 |1497k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1072.56/1072.99 c 994s| 2580k| 230 | 0 | 0.0 |2190k| 381 | - | 401 | 423 | 0 | 0 | 0 |1503k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1076.86/1077.24 c 998s| 2590k| 224 | 0 | 0.0 |2188k| 381 | - | 401 | 423 | 0 | 0 | 0 |1509k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1081.05/1081.46 c 1002s| 2600k| 228 | 0 | 0.0 |2187k| 381 | - | 401 | 421 | 0 | 0 | 0 |1515k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1085.45/1085.84 c 1006s| 2610k| 219 | 0 | 0.0 |2184k| 381 | - | 401 | 421 | 0 | 0 | 0 |1521k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1089.76/1090.11 c 1010s| 2620k| 248 | 0 | 0.0 |2200k| 381 | - | 401 | 436 | 0 | 0 | 0 |1527k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1094.25/1094.69 c 1014s| 2630k| 236 | 0 | 0.0 |2190k| 381 | - | 401 | 423 | 0 | 0 | 0 |1534k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1098.56/1098.96 c 1018s| 2640k| 221 | 0 | 0.0 |2186k| 381 | - | 401 | 422 | 0 | 0 | 0 |1540k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1102.96/1103.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1102.96/1103.31 c 1022s| 2650k| 236 | 0 | 0.0 |2196k| 381 | - | 401 | 428 | 0 | 0 | 0 |1546k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1107.04/1107.46 c 1026s| 2660k| 246 | 0 | 0.0 |2197k| 381 | - | 401 | 426 | 0 | 0 | 0 |1552k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1111.14/1111.55 c 1029s| 2670k| 241 | 0 | 0.0 |2192k| 381 | - | 401 | 422 | 0 | 0 | 0 |1559k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1115.45/1115.85 c 1033s| 2680k| 237 | 0 | 0.0 |2192k| 381 | - | 401 | 422 | 0 | 0 | 0 |1566k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1119.64/1120.08 c 1037s| 2690k| 222 | 0 | 0.0 |2189k| 381 | - | 401 | 428 | 0 | 0 | 0 |1572k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1123.55/1123.94 c 1041s| 2700k| 233 | 0 | 0.0 |2191k| 381 | - | 401 | 423 | 0 | 0 | 0 |1578k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1127.74/1128.10 c 1045s| 2710k| 243 | 0 | 0.0 |2194k| 381 | - | 401 | 426 | 0 | 0 | 0 |1583k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1132.14/1132.56 c 1049s| 2720k| 223 | 0 | 0.0 |2193k| 381 | - | 401 | 431 | 0 | 0 | 0 |1589k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1136.54/1136.90 c 1053s| 2730k| 241 | 0 | 0.0 |2194k| 381 | - | 401 | 426 | 0 | 0 | 0 |1595k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1140.54/1140.92 c 1057s| 2740k| 226 | 0 | 0.0 |2204k| 381 | - | 401 | 441 | 0 | 0 | 0 |1600k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1144.83/1145.20 c 1061s| 2750k| 223 | 0 | 0.0 |2188k| 381 | - | 401 | 426 | 0 | 0 | 0 |1606k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1149.04/1149.41 c 1065s| 2760k| 224 | 0 | 0.0 |2200k| 381 | - | 401 | 435 | 0 | 0 | 0 |1611k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1153.44/1153.90 c 1069s| 2770k| 242 | 0 | 0.0 |2193k| 381 | - | 401 | 425 | 0 | 0 | 0 |1618k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1158.23/1158.61 c 1073s| 2780k| 255 | 0 | 0.0 |2225k| 381 | - | 401 | 475 | 0 | 0 | 0 |1624k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1162.83/1163.22 c 1077s| 2790k| 242 | 0 | 0.0 |2202k| 381 | - | 401 | 433 | 0 | 0 | 0 |1630k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1166.73/1167.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1166.73/1167.16 c 1081s| 2800k| 238 | 0 | 0.0 |2192k| 381 | - | 401 | 425 | 0 | 0 | 0 |1636k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1171.04/1171.48 c 1085s| 2810k| 235 | 0 | 0.0 |2196k| 381 | - | 401 | 425 | 0 | 0 | 0 |1642k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1175.33/1175.79 c 1089s| 2820k| 229 | 0 | 0.0 |2189k| 381 | - | 401 | 425 | 0 | 0 | 0 |1648k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1179.73/1180.10 c 1093s| 2830k| 223 | 0 | 0.0 |2197k| 381 | - | 401 | 426 | 0 | 0 | 0 |1653k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1184.33/1184.75 c 1097s| 2840k| 225 | 0 | 0.0 |2194k| 381 | - | 401 | 429 | 0 | 0 | 0 |1659k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1189.23/1189.65 c 1102s| 2850k| 238 | 0 | 0.0 |2200k| 381 | - | 401 | 428 | 0 | 0 | 0 |1666k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1193.92/1194.32 c 1106s| 2860k| 220 | 0 | 0.0 |2190k| 381 | - | 401 | 427 | 0 | 0 | 0 |1672k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1198.22/1198.61 c 1110s| 2870k| 240 | 0 | 0.0 |2199k| 381 | - | 401 | 425 | 0 | 0 | 0 |1677k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1202.42/1202.84 c 1114s| 2880k| 229 | 0 | 0.0 |2200k| 381 | - | 401 | 426 | 0 | 0 | 0 |1683k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1207.22/1207.69 c 1119s| 2890k| 243 | 0 | 0.0 |2197k| 381 | - | 401 | 428 | 0 | 0 | 0 |1689k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1211.02/1211.48 c 1122s| 2900k| 268 | 0 | 0.0 |2208k| 381 | - | 401 | 437 | 0 | 0 | 0 |1695k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1215.02/1215.42 c 1126s| 2910k| 262 | 0 | 0.0 |2201k| 381 | - | 401 | 423 | 0 | 0 | 0 |1701k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1218.92/1219.34 c 1130s| 2920k| 254 | 0 | 0.0 |2201k| 381 | - | 401 | 427 | 0 | 0 | 0 |1707k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1222.92/1223.38 c 1133s| 2930k| 253 | 0 | 0.0 |2206k| 381 | - | 401 | 424 | 0 | 0 | 0 |1713k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1227.12/1227.54 c 1137s| 2940k| 243 | 0 | 0.0 |2195k| 381 | - | 401 | 422 | 0 | 0 | 0 |1719k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1231.31/1231.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1231.31/1231.74 c 1141s| 2950k| 235 | 0 | 0.0 |2195k| 381 | - | 401 | 423 | 0 | 0 | 0 |1725k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1235.51/1235.99 c 1145s| 2960k| 236 | 0 | 0.0 |2194k| 381 | - | 401 | 422 | 0 | 0 | 0 |1731k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1239.91/1240.38 c 1149s| 2970k| 227 | 0 | 0.0 |2192k| 381 | - | 401 | 422 | 0 | 0 | 0 |1736k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1244.41/1244.80 c 1153s| 2980k| 233 | 0 | 0.0 |2193k| 381 | - | 401 | 422 | 0 | 0 | 0 |1742k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1248.91/1249.39 c 1157s| 2990k| 221 | 0 | 0.0 |2190k| 381 | - | 401 | 422 | 0 | 0 | 0 |1749k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1253.10/1253.50 c 1161s| 3000k| 232 | 0 | 0.0 |2192k| 381 | - | 401 | 422 | 0 | 0 | 0 |1755k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1257.01/1257.46 c 1165s| 3010k| 235 | 0 | 0.0 |2197k| 381 | - | 401 | 424 | 0 | 0 | 0 |1761k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1261.01/1261.46 c 1169s| 3020k| 222 | 0 | 0.0 |2192k| 381 | - | 401 | 422 | 0 | 0 | 0 |1767k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1265.30/1265.75 c 1173s| 3030k| 231 | 0 | 0.0 |2200k| 381 | - | 401 | 430 | 0 | 0 | 0 |1773k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1269.80/1270.21 c 1177s| 3040k| 229 | 0 | 0.0 |2198k| 381 | - | 401 | 428 | 0 | 0 | 0 |1779k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1275.00/1275.44 c 1182s| 3050k| 225 | 0 | 0.0 |2200k| 381 | - | 401 | 436 | 0 | 0 | 0 |1785k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1279.91/1280.40 c 1186s| 3060k| 232 | 0 | 0.0 |2193k| 381 | - | 401 | 422 | 0 | 0 | 0 |1792k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1284.80/1285.28 c 1191s| 3070k| 231 | 0 | 0.0 |2195k| 381 | - | 401 | 427 | 0 | 0 | 0 |1798k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1288.89/1289.39 c 1194s| 3080k| 234 | 0 | 0.0 |2194k| 381 | - | 401 | 423 | 0 | 0 | 0 |1804k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1293.39/1293.83 c 1199s| 3090k| 220 | 0 | 0.0 |2191k| 381 | - | 401 | 423 | 0 | 0 | 0 |1810k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1297.50/1297.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1297.50/1297.99 c 1202s| 3100k| 233 | 0 | 0.0 |2194k| 381 | - | 401 | 424 | 0 | 0 | 0 |1816k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1302.19/1302.66 c 1207s| 3110k| 228 | 0 | 0.0 |2197k| 381 | - | 401 | 424 | 0 | 0 | 0 |1822k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1306.99/1307.44 c 1211s| 3120k| 230 | 0 | 0.0 |2202k| 381 | - | 401 | 427 | 0 | 0 | 0 |1828k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1311.09/1311.57 c 1215s| 3130k| 221 | 0 | 0.0 |2190k| 381 | - | 401 | 422 | 0 | 0 | 0 |1834k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1315.59/1316.08 c 1219s| 3140k| 233 | 0 | 0.0 |2200k| 381 | - | 401 | 424 | 0 | 0 | 0 |1840k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1319.79/1320.28 c 1223s| 3150k| 220 | 0 | 0.0 |2189k| 381 | - | 401 | 421 | 0 | 0 | 0 |1846k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1324.19/1324.62 c 1227s| 3160k| 236 | 0 | 0.0 |2198k| 381 | - | 401 | 428 | 0 | 0 | 0 |1852k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1328.98/1329.41 c 1232s| 3170k| 220 | 0 | 0.0 |2198k| 381 | - | 401 | 426 | 0 | 0 | 0 |1858k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1333.68/1334.19 c 1236s| 3180k| 232 | 0 | 0.0 |2194k| 381 | - | 401 | 421 | 0 | 0 | 0 |1865k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1338.98/1339.42 c 1241s| 3190k| 226 | 0 | 0.0 |2195k| 381 | - | 401 | 422 | 0 | 0 | 0 |1872k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1343.59/1344.08 c 1245s| 3200k| 246 | 0 | 0.0 |2202k| 381 | - | 401 | 435 | 0 | 0 | 0 |1878k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1347.98/1348.42 c 1249s| 3210k| 249 | 0 | 0.0 |2198k| 381 | - | 401 | 422 | 0 | 0 | 0 |1884k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1352.28/1352.76 c 1253s| 3220k| 221 | 0 | 0.0 |2192k| 381 | - | 401 | 421 | 0 | 0 | 0 |1890k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1356.77/1357.24 c 1257s| 3230k| 229 | 0 | 0.0 |2192k| 381 | - | 401 | 421 | 0 | 0 | 0 |1896k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1361.87/1362.37 c 1262s| 3240k| 234 | 0 | 0.0 |2199k| 381 | - | 401 | 434 | 0 | 0 | 0 |1902k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1366.47/1366.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1366.47/1366.92 c 1266s| 3250k| 226 | 0 | 0.0 |2192k| 381 | - | 401 | 421 | 0 | 0 | 0 |1908k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1371.28/1371.73 c 1271s| 3260k| 223 | 0 | 0.0 |2191k| 381 | - | 401 | 421 | 0 | 0 | 0 |1915k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1375.68/1376.18 c 1275s| 3270k| 239 | 0 | 0.0 |2195k| 381 | - | 401 | 421 | 0 | 0 | 0 |1921k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1380.27/1380.75 c 1279s| 3280k| 229 | 0 | 0.0 |2193k| 381 | - | 401 | 422 | 0 | 0 | 0 |1926k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1384.77/1385.24 c 1283s| 3290k| 224 | 0 | 0.0 |2202k| 381 | - | 401 | 429 | 0 | 0 | 0 |1932k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1389.17/1389.63 c 1287s| 3300k| 256 | 0 | 0.0 |2206k| 381 | - | 401 | 423 | 0 | 0 | 0 |1938k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1393.27/1393.76 c 1291s| 3310k| 217 | 0 | 0.0 |2193k| 381 | - | 401 | 428 | 0 | 0 | 0 |1943k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1397.58/1398.02 c 1295s| 3320k| 227 | 0 | 0.0 |2193k| 381 | - | 401 | 421 | 0 | 0 | 0 |1949k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1402.07/1402.56 c 1299s| 3330k| 218 | 0 | 0.0 |2190k| 381 | - | 401 | 422 | 0 | 0 | 0 |1955k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1406.47/1406.96 c 1304s| 3340k| 225 | 0 | 0.0 |2192k| 381 | - | 401 | 421 | 0 | 0 | 0 |1961k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1410.77/1411.24 c 1307s| 3350k| 225 | 0 | 0.0 |2200k| 381 | - | 401 | 422 | 0 | 0 | 0 |1966k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1414.86/1415.33 c 1311s| 3360k| 245 | 0 | 0.0 |2197k| 381 | - | 401 | 421 | 0 | 0 | 0 |1972k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1419.57/1420.00 c 1316s| 3370k| 229 | 0 | 0.0 |2193k| 381 | - | 401 | 421 | 0 | 0 | 0 |1978k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1423.76/1424.20 c 1319s| 3380k| 228 | 0 | 0.0 |2193k| 381 | - | 401 | 421 | 0 | 0 | 0 |1983k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1428.16/1428.60 c 1324s| 3390k| 216 | 0 | 0.0 |2204k| 381 | - | 401 | 434 | 0 | 0 | 0 |1988k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1432.55/1433.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1432.55/1433.01 c 1328s| 3400k| 222 | 0 | 0.0 |2210k| 381 | - | 401 | 440 | 0 | 0 | 0 |1994k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1436.95/1437.47 c 1332s| 3410k| 228 | 0 | 0.0 |2195k| 381 | - | 401 | 422 | 0 | 0 | 0 |1999k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1441.45/1441.95 c 1336s| 3420k| 224 | 0 | 0.0 |2196k| 381 | - | 401 | 428 | 0 | 0 | 0 |2005k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1446.25/1446.74 c 1340s| 3430k| 219 | 0 | 0.0 |2201k| 381 | - | 401 | 427 | 0 | 0 | 0 |2011k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1450.94/1451.48 c 1345s| 3440k| 234 | 0 | 0.0 |2195k| 381 | - | 401 | 421 | 0 | 0 | 0 |2017k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1455.64/1456.12 c 1349s| 3450k| 227 | 0 | 0.0 |2202k| 381 | - | 401 | 424 | 0 | 0 | 0 |2022k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1460.14/1460.61 c 1353s| 3460k| 238 | 0 | 0.0 |2197k| 381 | - | 401 | 424 | 0 | 0 | 0 |2028k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1464.34/1464.87 c 1357s| 3470k| 237 | 0 | 0.0 |2205k| 381 | - | 401 | 426 | 0 | 0 | 0 |2033k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1468.74/1469.25 c 1361s| 3480k| 220 | 0 | 0.0 |2198k| 381 | - | 401 | 426 | 0 | 0 | 0 |2039k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1473.04/1473.56 c 1365s| 3490k| 222 | 0 | 0.0 |2193k| 381 | - | 401 | 424 | 0 | 0 | 0 |2044k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1477.33/1477.85 c 1369s| 3500k| 226 | 0 | 0.0 |2198k| 381 | - | 401 | 426 | 0 | 0 | 0 |2050k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1481.54/1482.04 c 1373s| 3510k| 225 | 0 | 0.0 |2195k| 381 | - | 401 | 426 | 0 | 0 | 0 |2055k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1485.73/1486.21 c 1377s| 3520k| 220 | 0 | 0.0 |2201k| 381 | - | 401 | 423 | 0 | 0 | 0 |2060k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1490.44/1490.95 c 1382s| 3530k| 225 | 0 | 0.0 |2209k| 381 | - | 401 | 427 | 0 | 0 | 0 |2065k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1494.34/1494.84 c 1385s| 3540k| 230 | 0 | 0.0 |2198k| 381 | - | 401 | 429 | 0 | 0 | 0 |2071k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1498.93/1499.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1498.93/1499.48 c 1389s| 3550k| 239 | 0 | 0.0 |2198k| 381 | - | 401 | 423 | 0 | 0 | 0 |2076k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1503.63/1504.13 c 1394s| 3560k| 261 | 0 | 0.0 |2204k| 381 | - | 401 | 421 | 0 | 0 | 0 |2082k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1508.13/1508.69 c 1398s| 3570k| 246 | 0 | 0.0 |2203k| 381 | - | 401 | 425 | 0 | 0 | 0 |2089k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1512.73/1513.29 c 1402s| 3580k| 242 | 0 | 0.0 |2209k| 381 | - | 401 | 428 | 0 | 0 | 0 |2095k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1517.53/1518.08 c 1407s| 3590k| 240 | 0 | 0.0 |2199k| 381 | - | 401 | 421 | 0 | 0 | 0 |2102k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1522.43/1522.93 c 1411s| 3600k| 230 | 0 | 0.0 |2197k| 381 | - | 401 | 421 | 0 | 0 | 0 |2109k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1527.43/1527.93 c 1416s| 3610k| 220 | 0 | 0.0 |2195k| 381 | - | 401 | 421 | 0 | 0 | 0 |2115k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1531.52/1532.08 c 1420s| 3620k| 227 | 0 | 0.0 |2201k| 381 | - | 401 | 423 | 0 | 0 | 0 |2121k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1536.23/1536.71 c 1424s| 3630k| 239 | 0 | 0.0 |2207k| 381 | - | 401 | 423 | 0 | 0 | 0 |2127k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1541.32/1541.88 c 1429s| 3640k| 226 | 0 | 0.0 |2198k| 381 | - | 401 | 421 | 0 | 0 | 0 |2134k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1546.42/1546.96 c 1433s| 3650k| 220 | 0 | 0.0 |2197k| 381 | - | 401 | 424 | 0 | 0 | 0 |2140k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1550.72/1551.28 c 1437s| 3660k| 233 | 0 | 0.0 |2198k| 381 | - | 401 | 421 | 0 | 0 | 0 |2145k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1555.32/1555.82 c 1442s| 3670k| 228 | 0 | 0.0 |2198k| 381 | - | 401 | 424 | 0 | 0 | 0 |2151k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1559.91/1560.45 c 1446s| 3680k| 226 | 0 | 0.0 |2205k| 381 | - | 401 | 430 | 0 | 0 | 0 |2157k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1564.82/1565.38 c 1451s| 3690k| 236 | 0 | 0.0 |2198k| 381 | - | 401 | 422 | 0 | 0 | 0 |2163k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1569.60/1570.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1569.60/1570.15 c 1455s| 3700k| 220 | 0 | 0.0 |2194k| 381 | - | 401 | 422 | 0 | 0 | 0 |2169k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1574.40/1574.93 c 1459s| 3710k| 225 | 0 | 0.0 |2201k| 381 | - | 401 | 434 | 0 | 0 | 0 |2175k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1578.41/1578.99 c 1463s| 3720k| 243 | 0 | 0.0 |2201k| 381 | - | 401 | 422 | 0 | 0 | 0 |2180k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1582.60/1583.17 c 1467s| 3730k| 230 | 0 | 0.0 |2204k| 381 | - | 401 | 422 | 0 | 0 | 0 |2187k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1587.10/1587.68 c 1471s| 3740k| 227 | 0 | 0.0 |2196k| 381 | - | 401 | 422 | 0 | 0 | 0 |2193k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1592.10/1592.68 c 1476s| 3750k| 219 | 0 | 0.0 |2205k| 381 | - | 401 | 430 | 0 | 0 | 0 |2200k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1596.90/1597.48 c 1480s| 3760k| 214 | 0 | 0.0 |2193k| 381 | - | 401 | 422 | 0 | 0 | 0 |2206k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1601.29/1601.81 c 1484s| 3770k| 216 | 0 | 0.0 |2201k| 381 | - | 401 | 430 | 0 | 0 | 0 |2212k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1605.69/1606.26 c 1488s| 3780k| 221 | 0 | 0.0 |2197k| 381 | - | 401 | 427 | 0 | 0 | 0 |2218k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1609.70/1610.27 c 1492s| 3790k| 234 | 0 | 0.0 |2198k| 381 | - | 401 | 422 | 0 | 0 | 0 |2223k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1614.09/1614.66 c 1496s| 3800k| 211 | 0 | 0.0 |2191k| 381 | - | 401 | 421 | 0 | 0 | 0 |2229k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1618.49/1619.04 c 1500s| 3810k| 221 | 0 | 0.0 |2195k| 381 | - | 401 | 421 | 0 | 0 | 0 |2235k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1623.10/1623.69 c 1505s| 3820k| 265 | 0 | 0.0 |2205k| 381 | - | 401 | 421 | 0 | 0 | 0 |2241k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1627.58/1628.18 c 1509s| 3830k| 232 | 0 | 0.0 |2202k| 381 | - | 401 | 422 | 0 | 0 | 0 |2247k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1632.29/1632.84 c 1513s| 3840k| 217 | 0 | 0.0 |2196k| 381 | - | 401 | 427 | 0 | 0 | 0 |2254k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1636.99/1637.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1636.99/1637.57 c 1518s| 3850k| 225 | 0 | 0.0 |2195k| 381 | - | 401 | 421 | 0 | 0 | 0 |2260k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1641.88/1642.41 c 1522s| 3860k| 226 | 0 | 0.0 |2197k| 381 | - | 401 | 425 | 0 | 0 | 0 |2266k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1646.69/1647.28 c 1527s| 3870k| 224 | 0 | 0.0 |2213k| 381 | - | 401 | 446 | 0 | 0 | 0 |2272k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1651.48/1652.06 c 1531s| 3880k| 220 | 0 | 0.0 |2203k| 381 | - | 401 | 425 | 0 | 0 | 0 |2278k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1656.09/1656.62 c 1535s| 3890k| 237 | 0 | 0.0 |2199k| 381 | - | 401 | 422 | 0 | 0 | 0 |2284k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1660.58/1661.15 c 1540s| 3900k| 220 | 0 | 0.0 |2194k| 381 | - | 401 | 421 | 0 | 0 | 0 |2291k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1665.18/1665.73 c 1544s| 3910k| 230 | 0 | 0.0 |2210k| 381 | - | 401 | 430 | 0 | 0 | 0 |2297k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1669.98/1670.54 c 1548s| 3920k| 228 | 0 | 0.0 |2199k| 381 | - | 401 | 421 | 0 | 0 | 0 |2303k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1674.58/1675.15 c 1553s| 3930k| 221 | 0 | 0.0 |2197k| 381 | - | 401 | 421 | 0 | 0 | 0 |2309k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1678.97/1679.57 c 1557s| 3940k| 224 | 0 | 0.0 |2205k| 381 | - | 401 | 425 | 0 | 0 | 0 |2315k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1684.07/1684.62 c 1561s| 3950k| 231 | 0 | 0.0 |2200k| 381 | - | 401 | 428 | 0 | 0 | 0 |2322k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1688.67/1689.25 c 1566s| 3960k| 229 | 0 | 0.0 |2202k| 381 | - | 401 | 431 | 0 | 0 | 0 |2328k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1693.37/1693.94 c 1570s| 3970k| 226 | 0 | 0.0 |2196k| 381 | - | 401 | 422 | 0 | 0 | 0 |2334k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1698.16/1698.79 c 1575s| 3980k| 228 | 0 | 0.0 |2197k| 381 | - | 401 | 422 | 0 | 0 | 0 |2340k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1702.76/1703.37 c 1579s| 3990k| 230 | 0 | 0.0 |2198k| 381 | - | 401 | 422 | 0 | 0 | 0 |2346k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1707.36/1707.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1707.36/1707.97 c 1583s| 4000k| 222 | 0 | 0.0 |2203k| 381 | - | 401 | 427 | 0 | 0 | 0 |2352k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1712.07/1712.69 c 1588s| 4010k| 221 | 0 | 0.0 |2196k| 381 | - | 401 | 422 | 0 | 0 | 0 |2358k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1716.85/1717.44 c 1592s| 4020k| 233 | 0 | 0.0 |2200k| 381 | - | 401 | 423 | 0 | 0 | 0 |2364k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1721.66/1722.20 c 1596s| 4030k| 222 | 0 | 0.0 |2197k| 381 | - | 401 | 423 | 0 | 0 | 0 |2371k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1726.06/1726.69 c 1601s| 4040k| 225 | 0 | 0.0 |2199k| 381 | - | 401 | 428 | 0 | 0 | 0 |2376k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1730.86/1731.48 c 1605s| 4050k| 211 | 0 | 0.0 |2206k| 381 | - | 401 | 422 | 0 | 0 | 0 |2383k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1735.86/1736.48 c 1610s| 4060k| 219 | 0 | 0.0 |2195k| 381 | - | 401 | 423 | 0 | 0 | 0 |2389k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1740.35/1740.90 c 1614s| 4070k| 214 | 0 | 0.0 |2204k| 381 | - | 401 | 425 | 0 | 0 | 0 |2395k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1744.95/1745.52 c 1618s| 4080k| 215 | 0 | 0.0 |2198k| 381 | - | 401 | 428 | 0 | 0 | 0 |2401k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1749.15/1749.78 c 1622s| 4090k| 217 | 0 | 0.0 |2195k| 381 | - | 401 | 422 | 0 | 0 | 0 |2407k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1753.15/1753.78 c 1626s| 4100k| 217 | 0 | 0.0 |2204k| 381 | - | 401 | 429 | 0 | 0 | 0 |2413k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1758.14/1758.77 c 1630s| 4110k| 217 | 0 | 0.0 |2195k| 381 | - | 401 | 423 | 0 | 0 | 0 |2419k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1762.65/1763.28 c 1635s| 4120k| 259 | 0 | 0.0 |2214k| 381 | - | 401 | 434 | 0 | 0 | 0 |2425k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1767.55/1768.15 c 1639s| 4130k| 232 | 0 | 0.0 |2204k| 381 | - | 401 | 430 | 0 | 0 | 0 |2432k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1771.95/1772.57 c 1643s| 4140k| 227 | 0 | 0.0 |2206k| 381 | - | 401 | 425 | 0 | 0 | 0 |2438k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1776.24/1776.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1776.24/1776.80 c 1647s| 4150k| 223 | 0 | 0.0 |2208k| 381 | - | 401 | 424 | 0 | 0 | 0 |2444k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1779.94/1780.56 c 1651s| 4160k| 243 | 0 | 0.0 |2207k| 381 | - | 401 | 427 | 0 | 0 | 0 |2450k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1784.04/1784.63 c 1654s| 4170k| 239 | 0 | 0.0 |2206k| 381 | - | 401 | 422 | 0 | 0 | 0 |2455k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1788.04/1788.67 c 1658s| 4180k| 224 | 0 | 0.0 |2199k| 381 | - | 401 | 421 | 0 | 0 | 0 |2461k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1792.35/1792.95 c 1662s| 4190k| 221 | 0 | 0.0 |2202k| 381 | - | 401 | 431 | 0 | 0 | 0 |2466k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1796.94/1797.52 c 1666s| 4200k| 228 | 0 | 0.0 |2205k| 381 | - | 401 | 428 | 0 | 0 | 0 |2473k| 0 | 6.000000e+00 | 2.200000e+01 | 266.67%
1800.05/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.61 c
1800.05/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.61 c Solving Time (sec) : 1669.21
1800.05/1800.61 c Solving Nodes : 4206993
1800.05/1800.61 c Primal Bound : +2.20000000000000e+01 (7 solutions)
1800.05/1800.61 c Dual Bound : +6.00000000000000e+00
1800.05/1800.61 c Gap : 266.67 %
1800.05/1800.61 s SATISFIABLE
1800.05/1800.61 v x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 x386 -x385
1800.05/1800.61 v -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364
1800.05/1800.61 v -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343
1800.05/1800.61 v -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 x328 x327 -x326 -x325 -x324 -x323 -x322
1800.05/1800.61 v -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301
1800.05/1800.61 v -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280
1800.05/1800.61 v -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 x264 x263 x262 -x261 -x260 -x259
1800.05/1800.61 v -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238
1800.05/1800.61 v -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217
1800.05/1800.61 v -x216 -x215 -x214 -x213 -x212 x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196
1800.05/1800.61 v -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 x186 x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175
1800.05/1800.61 v -x174 -x173 -x172 -x171 -x170 -x169 -x168 x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154
1800.05/1800.61 v -x153 -x152 x151 -x150 -x149 -x148 x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132
1800.05/1800.61 v -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112
1800.05/1800.61 v -x111 -x110 -x109 -x108 -x107 x106 -x105 -x104 -x103 x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89
1800.05/1800.61 v -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64
1800.05/1800.61 v -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38
1800.05/1800.61 v -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.05/1800.61 v -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.05/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.61 c Solving Time : 1669.21
1800.05/1800.61 c Original Problem :
1800.05/1800.61 c Problem name : HOME/instance-2664629-1276413092.opb
1800.05/1800.61 c Variables : 406 (406 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.61 c Constraints : 520 initial, 520 maximal
1800.05/1800.61 c Presolved Problem :
1800.05/1800.61 c Problem name : t_HOME/instance-2664629-1276413092.opb
1800.05/1800.61 c Variables : 401 (401 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.61 c Constraints : 421 initial, 586 maximal
1800.05/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c probing : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.61 c linear : 0.02 5 0 0 5 0 37 5 0
1800.05/1800.61 c logicor : 0.01 0 0 0 0 0 62 0 0
1800.05/1800.61 c root node : - 0 - - 0 - - - -
1800.05/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.61 c logicor : 421+ 0 12698225 0 4 1922617 6019838 0 0 0
1800.05/1800.61 c countsols : 0 0 0 0 4 0 0 0 0 0
1800.05/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.61 c logicor : 389.32 0.00 389.32 0.00 0.00
1800.05/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.61 c vbounds : 9.54 2 0 0
1800.05/1800.61 c rootredcost : 10.09 0 0 0
1800.05/1800.61 c pseudoobj : 725.76 22017398 675635 239089939
1800.05/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.61 c propagation : 399.85 2472460 2472460 2472460 48.2 55283 70.9 -
1800.05/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.61 c applied globally : - - - 1303791 29.1 - - -
1800.05/1800.61 c applied locally : - - - 1173520 69.5 - - -
1800.05/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.61 c redcost : 0.00 0 0 0 0 0
1800.05/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.61 c intobj : 0.00 0 0 0 0 0
1800.05/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.61 c gomory : 0.00 0 0 0 0 0
1800.05/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.61 c cmir : 0.00 0 0 0 0 0
1800.05/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.61 c clique : 0.00 0 0 0 0 0
1800.05/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.61 c mcf : 0.00 0 0 0 0 0
1800.05/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.61 c Pricers : Time Calls Vars
1800.05/1800.61 c problem variables: 0.00 0 0
1800.05/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.61 c inference : 90.22 3151952 0 0 0 0 6303904
1800.05/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.62 c random : 0.00 0 0 0 0 0 0
1800.05/1800.62 c Primal Heuristics : Time Calls Found
1800.05/1800.62 c LP solutions : 0.00 - 0
1800.05/1800.62 c pseudo solutions : 0.00 - 4
1800.05/1800.62 c oneopt : 3.03 0 0
1800.05/1800.62 c trivial : 0.00 2 3
1800.05/1800.62 c simplerounding : 0.00 0 0
1800.05/1800.62 c zirounding : 0.00 0 0
1800.05/1800.62 c rounding : 0.00 0 0
1800.05/1800.62 c shifting : 0.00 0 0
1800.05/1800.62 c intshifting : 0.00 0 0
1800.05/1800.62 c twoopt : 0.00 0 0
1800.05/1800.62 c fixandinfer : 0.00 0 0
1800.05/1800.62 c feaspump : 0.00 0 0
1800.05/1800.62 c coefdiving : 0.00 0 0
1800.05/1800.62 c pscostdiving : 0.00 0 0
1800.05/1800.62 c fracdiving : 0.00 0 0
1800.05/1800.62 c veclendiving : 0.00 0 0
1800.05/1800.62 c intdiving : 0.00 0 0
1800.05/1800.62 c actconsdiving : 0.00 0 0
1800.05/1800.62 c objpscostdiving : 0.00 0 0
1800.05/1800.62 c rootsoldiving : 0.00 0 0
1800.05/1800.62 c linesearchdiving : 0.00 0 0
1800.05/1800.62 c guideddiving : 0.00 0 0
1800.05/1800.62 c octane : 0.00 0 0
1800.05/1800.62 c rens : 0.00 0 0
1800.05/1800.62 c rins : 0.00 0 0
1800.05/1800.62 c localbranching : 0.00 0 0
1800.05/1800.62 c mutation : 0.00 0 0
1800.05/1800.62 c crossover : 0.00 0 0
1800.05/1800.62 c dins : 0.00 0 0
1800.05/1800.62 c undercover : 0.00 0 0
1800.05/1800.62 c nlp : 1.80 0 0
1800.05/1800.62 c trysol : 1.99 0 0
1800.05/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.62 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.62 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.62 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.62 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.62 c (at root node) : - 0 0 0.00 -
1800.05/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.62 c B&B Tree :
1800.05/1800.62 c number of runs : 1
1800.05/1800.62 c nodes : 4206993
1800.05/1800.62 c nodes (total) : 4206993
1800.05/1800.62 c nodes left : 215
1800.05/1800.62 c max depth : 381
1800.05/1800.62 c max depth (total): 381
1800.05/1800.62 c backtracks : 2076229 (49.4%)
1800.05/1800.62 c delayed cutoffs : 2096677
1800.05/1800.62 c repropagations : 9123298 (144662677 domain reductions, 1543215 cutoffs)
1800.05/1800.62 c avg switch length: 5.28
1800.05/1800.62 c switching time : 214.06
1800.05/1800.62 c Solution :
1800.05/1800.62 c Solutions found : 7 (6 improvements)
1800.05/1800.62 c First Solution : +4.06000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.05/1800.62 c Primal Bound : +2.20000000000000e+01 (in run 1, after 796289 nodes, 284.67 seconds, depth 292, found by <relaxation>)
1800.05/1800.62 c Dual Bound : +6.00000000000000e+00
1800.05/1800.62 c Gap : 266.67 %
1800.05/1800.62 c Root Dual Bound : +5.00000000000000e+00
1800.05/1800.62 c Root Iterations : 0
1800.05/1800.63 c Time complete: 1800.06.