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-2663967-1276642511.opb>
0.00/0.03 c original problem has 644 variables (644 bin, 0 int, 0 impl, 0 cont) and 1034 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.03 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.00/0.04 o 561307
0.00/0.04 c feasible solution found by trivial heuristic, objective value 5.613070e+05
0.00/0.04 c presolving:
0.00/0.05 c (round 1) 253 del vars, 490 del conss, 4 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1476 impls, 0 clqs
0.00/0.05 c (round 2) 255 del vars, 501 del conss, 4 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1476 impls, 0 clqs
0.00/0.07 c (round 3) 255 del vars, 501 del conss, 4 chg bounds, 0 chg sides, 0 chg coeffs, 416 upgd conss, 1476 impls, 0 clqs
0.00/0.07 c (round 4) 255 del vars, 501 del conss, 4 chg bounds, 0 chg sides, 0 chg coeffs, 533 upgd conss, 1476 impls, 0 clqs
0.00/0.08 c (0.0s) probing: 101/389 (26.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.08 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.08 c presolving (5 rounds):
0.00/0.08 c 255 deleted vars, 501 deleted constraints, 4 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.08 c 1476 implications, 0 cliques
0.00/0.08 c presolved problem has 389 variables (389 bin, 0 int, 0 impl, 0 cont) and 533 constraints
0.00/0.08 c 533 constraints of type <logicor>
0.00/0.08 c transformed objective value is always integral (scale: 1)
0.00/0.08 c Presolving Time: 0.04
0.00/0.08 c - non default parameters ----------------------------------------------------------------------
0.00/0.08 c # SCIP version 1.2.1.2
0.00/0.08 c
0.00/0.08 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.00/0.08 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.08 c conflict/interconss = 0
0.00/0.08 c
0.00/0.08 c # should binary conflicts be preferred?
0.00/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.08 c conflict/preferbinary = TRUE
0.00/0.08 c
0.00/0.08 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.00/0.08 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.08 c constraints/agelimit = 1
0.00/0.08 c
0.00/0.08 c # should enforcement of pseudo solution be disabled?
0.00/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.08 c constraints/disableenfops = TRUE
0.00/0.08 c
0.00/0.08 c # frequency for displaying node information lines
0.00/0.08 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.08 c display/freq = 10000
0.00/0.08 c
0.00/0.08 c # maximal time in seconds to run
0.00/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.08 c limits/time = 1799.98
0.00/0.08 c
0.00/0.08 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.08 c limits/memory = 1620
0.00/0.08 c
0.00/0.08 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.08 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.08 c lp/solvefreq = -1
0.00/0.08 c
0.00/0.08 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.00/0.08 c # [type: char, range: {lafpsqd}, default: l]
0.00/0.08 c lp/pricing = a
0.00/0.08 c
0.00/0.08 c # should presolving try to simplify inequalities
0.00/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.08 c constraints/linear/simplifyinequalities = TRUE
0.00/0.08 c
0.00/0.08 c # should presolving try to simplify knapsacks
0.00/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.08 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.08 c
0.00/0.08 c # priority of node selection rule <dfs> in standard mode
0.00/0.08 c # [type: int, range: [-536870912,536870911], default: 0]
0.00/0.08 c nodeselection/dfs/stdpriority = 1000000
0.00/0.08 c
0.00/0.08 c -----------------------------------------------------------------------------------------------
0.00/0.08 c start solving
0.00/0.09 c
0.00/0.09 o 558323
0.00/0.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.09 c t 0.0s| 1 | 0 | 0 | - |2120k| 0 | - | 389 | 533 | 0 | 0 | 0 | 0 | 0 | -- | 5.583230e+05 | Inf
0.00/0.09 c 0.0s| 1 | 2 | 0 | - |2104k| 0 | - | 389 | 533 | 0 | 0 | 0 | 0 | 0 | 8.353000e+03 | 5.583230e+05 |6584.10%
0.09/0.12 o 37010
0.09/0.12 c * 0.1s| 283 | 274 | 0 | 0.0 |2195k| 282 | - | 389 | 533 | 0 | 0 | 0 | 0 | 0 | 9.615000e+03 | 3.701000e+04 | 284.92%
0.09/0.12 o 35644
0.09/0.12 c * 0.1s| 293 | 266 | 0 | 0.0 |2200k| 282 | - | 389 | 535 | 0 | 0 | 0 | 3 | 0 | 9.615000e+03 | 3.564400e+04 | 270.71%
0.09/0.12 o 35519
0.09/0.12 c * 0.1s| 298 | 262 | 0 | 0.0 |2208k| 282 | - | 389 | 534 | 0 | 0 | 0 | 7 | 0 | 9.615000e+03 | 3.551900e+04 | 269.41%
0.09/0.12 o 35272
0.09/0.12 c * 0.1s| 304 | 260 | 0 | 0.0 |2213k| 282 | - | 389 | 533 | 0 | 0 | 0 | 10 | 0 | 9.615000e+03 | 3.527200e+04 | 266.84%
0.09/0.12 o 34326
0.09/0.12 c * 0.1s| 309 | 261 | 0 | 0.0 |2217k| 282 | - | 389 | 533 | 0 | 0 | 0 | 11 | 0 | 9.615000e+03 | 3.432600e+04 | 257.00%
0.09/0.13 o 34010
0.09/0.13 c * 0.1s| 310 | 260 | 0 | 0.0 |2221k| 282 | - | 389 | 533 | 0 | 0 | 0 | 11 | 0 | 9.615000e+03 | 3.401000e+04 | 253.72%
0.29/0.33 o 33961
0.29/0.33 c * 0.3s| 1058 | 251 | 0 | 0.0 |2229k| 282 | - | 389 | 533 | 0 | 0 | 0 | 424 | 0 | 9.615000e+03 | 3.396100e+04 | 253.21%
0.29/0.33 o 33923
0.29/0.33 c * 0.3s| 1064 | 251 | 0 | 0.0 |2234k| 282 | - | 389 | 533 | 0 | 0 | 0 | 426 | 0 | 9.615000e+03 | 3.392300e+04 | 252.81%
0.29/0.34 o 32969
0.29/0.34 c * 0.3s| 1076 | 253 | 0 | 0.0 |2238k| 282 | - | 389 | 534 | 0 | 0 | 0 | 429 | 0 | 9.615000e+03 | 3.296900e+04 | 242.89%
0.29/0.34 o 32879
0.29/0.34 c * 0.3s| 1077 | 252 | 0 | 0.0 |2242k| 282 | - | 389 | 533 | 0 | 0 | 0 | 429 | 0 | 9.615000e+03 | 3.287900e+04 | 241.96%
0.29/0.34 o 32841
0.29/0.34 c * 0.3s| 1083 | 252 | 0 | 0.0 |2247k| 282 | - | 389 | 534 | 0 | 0 | 0 | 431 | 0 | 9.615000e+03 | 3.284100e+04 | 241.56%
0.29/0.34 o 32685
0.29/0.34 c * 0.3s| 1089 | 253 | 0 | 0.0 |2252k| 282 | - | 389 | 533 | 0 | 0 | 0 | 433 | 0 | 9.615000e+03 | 3.268500e+04 | 239.94%
0.29/0.34 o 32595
0.29/0.34 c * 0.3s| 1090 | 252 | 0 | 0.0 |2256k| 282 | - | 389 | 533 | 0 | 0 | 0 | 433 | 0 | 9.615000e+03 | 3.259500e+04 | 239.00%
0.29/0.34 o 32557
0.29/0.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.29/0.34 c * 0.3s| 1096 | 252 | 0 | 0.0 |2261k| 282 | - | 389 | 534 | 0 | 0 | 0 | 435 | 0 | 9.615000e+03 | 3.255700e+04 | 238.61%
2.99/3.08 c 2.8s| 10000 | 227 | 0 | 0.0 |2264k| 282 | - | 389 | 533 | 0 | 0 | 0 |5383 | 0 | 9.615000e+03 | 3.255700e+04 | 238.61%
6.29/6.37 c 5.8s| 20000 | 218 | 0 | 0.0 |2269k| 282 | - | 389 | 534 | 0 | 0 | 0 | 11k| 0 | 9.615000e+03 | 3.255700e+04 | 238.61%
9.58/9.65 c 8.8s| 30000 | 224 | 0 | 0.0 |2277k| 282 | - | 389 | 535 | 0 | 0 | 0 | 16k| 0 | 9.615000e+03 | 3.255700e+04 | 238.61%
13.09/13.12 c 12.0s| 40000 | 208 | 0 | 0.0 |2279k| 282 | - | 389 | 540 | 0 | 0 | 0 | 23k| 0 | 9.615000e+03 | 3.255700e+04 | 238.61%
16.58/16.68 c 15.3s| 50000 | 199 | 0 | 0.0 |2278k| 282 | - | 389 | 533 | 0 | 0 | 0 | 29k| 0 | 9.615000e+03 | 3.255700e+04 | 238.61%
17.68/17.71 o 32341
17.68/17.71 c *16.2s| 52949 | 209 | 0 | 0.0 |2290k| 282 | - | 389 | 536 | 0 | 0 | 0 | 30k| 0 | 9.615000e+03 | 3.234100e+04 | 236.36%
17.68/17.76 o 32315
17.68/17.76 c *16.3s| 53121 | 208 | 0 | 0.0 |2294k| 282 | - | 389 | 533 | 0 | 0 | 0 | 30k| 0 | 9.615000e+03 | 3.231500e+04 | 236.09%
18.38/18.41 o 32277
18.38/18.41 c *16.8s| 55125 | 210 | 0 | 0.0 |2301k| 282 | - | 389 | 537 | 0 | 0 | 0 | 31k| 0 | 9.615000e+03 | 3.227700e+04 | 235.69%
20.08/20.11 c 18.4s| 60000 | 207 | 0 | 0.0 |2295k| 282 | - | 389 | 536 | 0 | 0 | 0 | 34k| 0 | 9.615000e+03 | 3.227700e+04 | 235.69%
23.69/23.71 c 21.7s| 70000 | 205 | 0 | 0.0 |2293k| 282 | - | 389 | 533 | 0 | 0 | 0 | 40k| 0 | 9.615000e+03 | 3.227700e+04 | 235.69%
27.49/27.57 c 25.2s| 80000 | 193 | 0 | 0.0 |2294k| 282 | - | 389 | 533 | 0 | 0 | 0 | 46k| 0 | 9.615000e+03 | 3.227700e+04 | 235.69%
31.07/31.18 c 28.5s| 90000 | 205 | 0 | 0.0 |2299k| 282 | - | 389 | 533 | 0 | 0 | 0 | 52k| 0 | 9.615000e+03 | 3.227700e+04 | 235.69%
34.58/34.67 c 31.6s|100000 | 208 | 0 | 0.0 |2306k| 282 | - | 389 | 545 | 0 | 0 | 0 | 58k| 0 | 9.615000e+03 | 3.227700e+04 | 235.69%
37.28/37.39 o 31476
37.28/37.39 c *34.1s|108461 | 205 | 0 | 0.0 |2318k| 282 | - | 389 | 541 | 0 | 0 | 0 | 63k| 0 | 9.615000e+03 | 3.147600e+04 | 227.36%
37.47/37.60 o 31460
37.47/37.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.47/37.60 c *34.3s|109020 | 204 | 0 | 0.0 |2319k| 282 | - | 389 | 541 | 0 | 0 | 0 | 63k| 0 | 9.615000e+03 | 3.146000e+04 | 227.20%
37.87/37.93 c 34.6s|110000 | 201 | 0 | 0.0 |2312k| 282 | - | 389 | 536 | 0 | 0 | 0 | 63k| 0 | 9.615000e+03 | 3.146000e+04 | 227.20%
39.08/39.16 o 31370
39.08/39.16 c *35.7s|114081 | 200 | 0 | 0.0 |2326k| 282 | - | 389 | 543 | 0 | 0 | 0 | 66k| 0 | 9.615000e+03 | 3.137000e+04 | 226.26%
39.97/40.06 o 31332
39.97/40.06 c *36.6s|116935 | 200 | 0 | 0.0 |2330k| 282 | - | 389 | 542 | 0 | 0 | 0 | 67k| 0 | 9.615000e+03 | 3.133200e+04 | 225.87%
40.87/40.96 c 37.4s|120000 | 193 | 0 | 0.0 |2318k| 282 | - | 389 | 534 | 0 | 0 | 0 | 69k| 0 | 9.615000e+03 | 3.133200e+04 | 225.87%
42.37/42.44 o 31317
42.37/42.44 c *38.7s|124962 | 206 | 0 | 0.0 |2336k| 282 | - | 389 | 535 | 0 | 0 | 0 | 71k| 0 | 9.615000e+03 | 3.131700e+04 | 225.71%
43.88/43.91 c 40.1s|130000 | 191 | 0 | 0.0 |2327k| 282 | - | 389 | 534 | 0 | 0 | 0 | 74k| 0 | 9.615000e+03 | 3.131700e+04 | 225.71%
47.07/47.10 c 43.0s|140000 | 193 | 0 | 0.0 |2326k| 282 | - | 389 | 539 | 0 | 0 | 0 | 80k| 0 | 9.615000e+03 | 3.131700e+04 | 225.71%
50.47/50.56 c 46.1s|150000 | 194 | 0 | 0.0 |2329k| 282 | - | 389 | 540 | 0 | 0 | 0 | 85k| 0 | 9.615000e+03 | 3.131700e+04 | 225.71%
54.17/54.20 c 49.4s|160000 | 189 | 0 | 0.0 |2335k| 282 | - | 389 | 544 | 0 | 0 | 0 | 92k| 0 | 9.615000e+03 | 3.131700e+04 | 225.71%
57.07/57.13 c 52.1s|170000 | 187 | 0 | 0.0 |2336k| 282 | - | 389 | 548 | 0 | 0 | 0 | 97k| 0 | 9.615000e+03 | 3.131700e+04 | 225.71%
60.48/60.55 c 55.2s|180000 | 198 | 0 | 0.0 |2335k| 282 | - | 389 | 545 | 0 | 0 | 0 | 102k| 0 | 9.615000e+03 | 3.131700e+04 | 225.71%
64.06/64.10 c 58.5s|190000 | 194 | 0 | 0.0 |2333k| 282 | - | 389 | 533 | 0 | 0 | 0 | 108k| 0 | 9.615000e+03 | 3.131700e+04 | 225.71%
67.26/67.39 c 61.5s|200000 | 186 | 0 | 0.0 |2332k| 282 | - | 389 | 536 | 0 | 0 | 0 | 114k| 0 | 9.615000e+03 | 3.131700e+04 | 225.71%
69.27/69.38 o 31259
69.27/69.38 c *63.2s|205855 | 205 | 0 | 0.0 |2353k| 282 | - | 389 | 544 | 0 | 0 | 0 | 117k| 0 | 9.615000e+03 | 3.125900e+04 | 225.11%
70.56/70.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
70.56/70.69 c 64.4s|210000 | 190 | 0 | 0.0 |2341k| 282 | - | 389 | 536 | 0 | 0 | 0 | 119k| 0 | 9.615000e+03 | 3.125900e+04 | 225.11%
73.76/73.85 c 67.3s|220000 | 200 | 0 | 0.0 |2345k| 282 | - | 389 | 533 | 0 | 0 | 0 | 125k| 0 | 9.615000e+03 | 3.125900e+04 | 225.11%
76.86/76.92 c 70.1s|230000 | 191 | 0 | 0.0 |2341k| 282 | - | 389 | 533 | 0 | 0 | 0 | 130k| 0 | 9.615000e+03 | 3.125900e+04 | 225.11%
80.75/80.80 c 73.6s|240000 | 192 | 0 | 0.0 |2348k| 282 | - | 389 | 545 | 0 | 0 | 0 | 136k| 0 | 9.615000e+03 | 3.125900e+04 | 225.11%
84.16/84.27 c 76.8s|250000 | 193 | 0 | 0.0 |2343k| 282 | - | 389 | 533 | 0 | 0 | 0 | 142k| 0 | 9.615000e+03 | 3.125900e+04 | 225.11%
87.75/87.83 c 80.0s|260000 | 196 | 0 | 0.0 |2344k| 282 | - | 389 | 533 | 0 | 0 | 0 | 147k| 0 | 9.615000e+03 | 3.125900e+04 | 225.11%
90.85/90.94 c 82.8s|270000 | 188 | 0 | 0.0 |2343k| 282 | - | 389 | 534 | 0 | 0 | 0 | 153k| 0 | 9.615000e+03 | 3.125900e+04 | 225.11%
94.25/94.30 c 85.9s|280000 | 199 | 0 | 0.0 |2347k| 282 | - | 389 | 537 | 0 | 0 | 0 | 158k| 0 | 9.615000e+03 | 3.125900e+04 | 225.11%
97.76/97.80 c 89.1s|290000 | 189 | 0 | 0.0 |2345k| 282 | - | 389 | 540 | 0 | 0 | 0 | 164k| 0 | 9.615000e+03 | 3.125900e+04 | 225.11%
101.16/101.28 c 92.3s|300000 | 188 | 0 | 0.0 |2345k| 282 | - | 389 | 534 | 0 | 0 | 0 | 170k| 0 | 9.615000e+03 | 3.125900e+04 | 225.11%
104.65/104.73 c 95.4s|310000 | 181 | 0 | 0.0 |2344k| 282 | - | 389 | 540 | 0 | 0 | 0 | 176k| 0 | 9.615000e+03 | 3.125900e+04 | 225.11%
108.44/108.56 c 98.9s|320000 | 185 | 0 | 0.0 |2348k| 282 | - | 389 | 542 | 0 | 0 | 0 | 182k| 0 | 9.615000e+03 | 3.125900e+04 | 225.11%
112.35/112.49 c 102s|330000 | 188 | 0 | 0.0 |2343k| 282 | - | 389 | 533 | 0 | 0 | 0 | 188k| 0 | 9.615000e+03 | 3.125900e+04 | 225.11%
115.85/115.97 c 106s|340000 | 184 | 0 | 0.0 |2351k| 282 | - | 389 | 544 | 0 | 0 | 0 | 193k| 0 | 9.615000e+03 | 3.125900e+04 | 225.11%
119.24/119.36 c 109s|350000 | 192 | 0 | 0.0 |2346k| 282 | - | 389 | 535 | 0 | 0 | 0 | 199k| 0 | 9.615000e+03 | 3.125900e+04 | 225.11%
122.74/122.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
122.74/122.81 c 112s|360000 | 183 | 0 | 0.0 |2344k| 282 | - | 389 | 536 | 0 | 0 | 0 | 205k| 0 | 9.615000e+03 | 3.125900e+04 | 225.11%
126.24/126.37 c 115s|370000 | 176 | 0 | 0.0 |2341k| 282 | - | 389 | 533 | 0 | 0 | 0 | 210k| 0 | 9.615000e+03 | 3.125900e+04 | 225.11%
129.93/130.04 c 118s|380000 | 182 | 0 | 0.0 |2344k| 282 | - | 389 | 534 | 0 | 0 | 0 | 216k| 0 | 9.615000e+03 | 3.125900e+04 | 225.11%
133.33/133.45 c 122s|390000 | 192 | 0 | 0.0 |2353k| 282 | - | 389 | 537 | 0 | 0 | 0 | 222k| 0 | 9.615000e+03 | 3.125900e+04 | 225.11%
136.93/137.01 c 125s|400000 | 200 | 0 | 0.0 |2351k| 282 | - | 389 | 534 | 0 | 0 | 0 | 228k| 0 | 9.615000e+03 | 3.125900e+04 | 225.11%
141.24/141.40 c 129s|410000 | 188 | 0 | 0.0 |2349k| 282 | - | 389 | 534 | 0 | 0 | 0 | 234k| 0 | 9.615000e+03 | 3.125900e+04 | 225.11%
144.73/144.84 c 132s|420000 | 192 | 0 | 0.0 |2351k| 282 | - | 389 | 534 | 0 | 0 | 0 | 239k| 0 | 9.615000e+03 | 3.125900e+04 | 225.11%
148.03/148.15 c 135s|430000 | 193 | 0 | 0.0 |2355k| 282 | - | 389 | 538 | 0 | 0 | 0 | 245k| 0 | 9.615000e+03 | 3.125900e+04 | 225.11%
151.64/151.76 c 138s|440000 | 188 | 0 | 0.0 |2350k| 282 | - | 389 | 533 | 0 | 0 | 0 | 250k| 0 | 9.615000e+03 | 3.125900e+04 | 225.11%
154.93/155.08 c 141s|450000 | 174 | 0 | 0.0 |2352k| 282 | - | 389 | 535 | 0 | 0 | 0 | 256k| 0 | 9.615000e+03 | 3.125900e+04 | 225.11%
158.43/158.54 c 144s|460000 | 195 | 0 | 0.0 |2354k| 282 | - | 389 | 535 | 0 | 0 | 0 | 262k| 0 | 9.615000e+03 | 3.125900e+04 | 225.11%
162.12/162.28 c 148s|470000 | 185 | 0 | 0.0 |2355k| 282 | - | 389 | 540 | 0 | 0 | 0 | 267k| 0 | 9.615000e+03 | 3.125900e+04 | 225.11%
165.52/165.66 c 151s|480000 | 180 | 0 | 0.0 |2350k| 282 | - | 389 | 533 | 0 | 0 | 0 | 273k| 0 | 9.615000e+03 | 3.125900e+04 | 225.11%
169.12/169.26 c 154s|490000 | 202 | 0 | 0.0 |2365k| 282 | - | 389 | 553 | 0 | 0 | 0 | 278k| 0 | 9.615000e+03 | 3.125900e+04 | 225.11%
172.82/172.99 c 158s|500000 | 185 | 0 | 0.0 |2365k| 282 | - | 389 | 562 | 0 | 0 | 0 | 284k| 0 | 9.615000e+03 | 3.125900e+04 | 225.11%
176.02/176.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
176.02/176.20 c 161s|510000 | 192 | 0 | 0.0 |2355k| 282 | - | 389 | 534 | 0 | 0 | 0 | 289k| 0 | 9.615000e+03 | 3.125900e+04 | 225.11%
179.52/179.63 c 164s|520000 | 184 | 0 | 0.0 |2358k| 282 | - | 389 | 541 | 0 | 0 | 0 | 295k| 0 | 9.615000e+03 | 3.125900e+04 | 225.11%
181.02/181.16 o 31244
181.02/181.16 c * 165s|524374 | 191 | 0 | 0.0 |2376k| 282 | - | 389 | 556 | 0 | 0 | 0 | 297k| 0 | 9.615000e+03 | 3.124400e+04 | 224.95%
181.02/181.19 o 31128
181.02/181.19 c * 165s|524454 | 191 | 0 | 0.0 |2379k| 282 | - | 389 | 553 | 0 | 0 | 0 | 297k| 0 | 9.615000e+03 | 3.112800e+04 | 223.74%
181.22/181.31 o 31070
181.22/181.31 c * 165s|524794 | 190 | 0 | 0.0 |2383k| 282 | - | 389 | 538 | 0 | 0 | 0 | 297k| 0 | 9.615000e+03 | 3.107000e+04 | 223.14%
182.32/182.40 o 31032
182.32/182.40 c * 166s|528066 | 182 | 0 | 0.0 |2389k| 282 | - | 389 | 539 | 0 | 0 | 0 | 299k| 0 | 9.615000e+03 | 3.103200e+04 | 222.75%
182.92/183.03 c 167s|530000 | 177 | 0 | 0.0 |2377k| 282 | - | 389 | 533 | 0 | 0 | 0 | 300k| 0 | 9.615000e+03 | 3.103200e+04 | 222.75%
186.52/186.68 c 170s|540000 | 182 | 0 | 0.0 |2380k| 282 | - | 389 | 537 | 0 | 0 | 0 | 306k| 0 | 9.615000e+03 | 3.103200e+04 | 222.75%
190.01/190.17 c 173s|550000 | 189 | 0 | 0.0 |2384k| 282 | - | 389 | 538 | 0 | 0 | 0 | 311k| 0 | 9.615000e+03 | 3.103200e+04 | 222.75%
193.72/193.83 c 177s|560000 | 186 | 0 | 0.0 |2386k| 282 | - | 389 | 539 | 0 | 0 | 0 | 317k| 0 | 9.615000e+03 | 3.103200e+04 | 222.75%
197.11/197.23 c 180s|570000 | 184 | 0 | 0.0 |2380k| 282 | - | 389 | 533 | 0 | 0 | 0 | 322k| 0 | 9.615000e+03 | 3.103200e+04 | 222.75%
200.31/200.45 c 183s|580000 | 193 | 0 | 0.0 |2388k| 282 | - | 389 | 539 | 0 | 0 | 0 | 327k| 0 | 9.615000e+03 | 3.103200e+04 | 222.75%
203.71/203.81 c 186s|590000 | 197 | 0 | 0.0 |2388k| 282 | - | 389 | 539 | 0 | 0 | 0 | 333k| 0 | 9.615000e+03 | 3.103200e+04 | 222.75%
207.10/207.21 c 189s|600000 | 190 | 0 | 0.0 |2384k| 282 | - | 389 | 535 | 0 | 0 | 0 | 339k| 0 | 9.615000e+03 | 3.103200e+04 | 222.75%
210.80/210.91 c 192s|610000 | 185 | 0 | 0.0 |2384k| 282 | - | 389 | 537 | 0 | 0 | 0 | 345k| 0 | 9.615000e+03 | 3.103200e+04 | 222.75%
214.00/214.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
214.00/214.14 c 195s|620000 | 184 | 0 | 0.0 |2383k| 282 | - | 389 | 533 | 0 | 0 | 0 | 350k| 0 | 9.615000e+03 | 3.103200e+04 | 222.75%
217.20/217.37 c 198s|630000 | 185 | 0 | 0.0 |2392k| 282 | - | 389 | 546 | 0 | 0 | 0 | 356k| 0 | 9.615000e+03 | 3.103200e+04 | 222.75%
220.61/220.71 c 201s|640000 | 176 | 0 | 0.0 |2384k| 282 | - | 389 | 538 | 0 | 0 | 0 | 361k| 0 | 9.615000e+03 | 3.103200e+04 | 222.75%
224.00/224.18 c 204s|650000 | 197 | 0 | 0.0 |2393k| 282 | - | 389 | 540 | 0 | 0 | 0 | 367k| 0 | 9.615000e+03 | 3.103200e+04 | 222.75%
227.50/227.65 c 207s|660000 | 204 | 0 | 0.0 |2397k| 282 | - | 389 | 550 | 0 | 0 | 0 | 373k| 0 | 9.615000e+03 | 3.103200e+04 | 222.75%
230.70/230.82 c 210s|670000 | 200 | 0 | 0.0 |2393k| 282 | - | 389 | 538 | 0 | 0 | 0 | 378k| 0 | 9.615000e+03 | 3.103200e+04 | 222.75%
234.11/234.24 c 213s|680000 | 209 | 0 | 0.0 |2401k| 282 | - | 389 | 550 | 0 | 0 | 0 | 383k| 0 | 9.615000e+03 | 3.103200e+04 | 222.75%
237.40/237.59 c 216s|690000 | 189 | 0 | 0.0 |2390k| 282 | - | 389 | 541 | 0 | 0 | 0 | 389k| 0 | 9.615000e+03 | 3.103200e+04 | 222.75%
240.70/240.87 c 219s|700000 | 182 | 0 | 0.0 |2394k| 282 | - | 389 | 545 | 0 | 0 | 0 | 394k| 0 | 9.615000e+03 | 3.103200e+04 | 222.75%
243.89/244.04 c 222s|710000 | 183 | 0 | 0.0 |2395k| 282 | - | 389 | 549 | 0 | 0 | 0 | 400k| 0 | 9.615000e+03 | 3.103200e+04 | 222.75%
247.19/247.38 c 225s|720000 | 181 | 0 | 0.0 |2386k| 282 | - | 389 | 534 | 0 | 0 | 0 | 406k| 0 | 9.615000e+03 | 3.103200e+04 | 222.75%
250.49/250.64 c 228s|730000 | 182 | 0 | 0.0 |2393k| 282 | - | 389 | 547 | 0 | 0 | 0 | 411k| 0 | 9.615000e+03 | 3.103200e+04 | 222.75%
253.99/254.11 c 231s|740000 | 184 | 0 | 0.0 |2390k| 282 | - | 389 | 543 | 0 | 0 | 0 | 417k| 0 | 9.615000e+03 | 3.103200e+04 | 222.75%
257.58/257.74 c 235s|750000 | 181 | 0 | 0.0 |2399k| 282 | - | 389 | 542 | 0 | 0 | 0 | 422k| 0 | 9.615000e+03 | 3.103200e+04 | 222.75%
261.59/261.74 c 238s|760000 | 186 | 0 | 0.0 |2396k| 282 | - | 389 | 538 | 0 | 0 | 0 | 428k| 0 | 9.615000e+03 | 3.103200e+04 | 222.75%
265.79/265.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
265.79/265.99 c 242s|770000 | 182 | 0 | 0.0 |2390k| 282 | - | 389 | 533 | 0 | 0 | 0 | 435k| 0 | 9.615000e+03 | 3.103200e+04 | 222.75%
269.48/269.61 c 246s|780000 | 191 | 0 | 0.0 |2394k| 282 | - | 389 | 535 | 0 | 0 | 0 | 440k| 0 | 9.615000e+03 | 3.103200e+04 | 222.75%
273.28/273.40 c 249s|790000 | 180 | 0 | 0.0 |2396k| 282 | - | 389 | 544 | 0 | 0 | 0 | 446k| 0 | 9.615000e+03 | 3.103200e+04 | 222.75%
276.57/276.79 c 252s|800000 | 185 | 0 | 0.0 |2394k| 282 | - | 389 | 537 | 0 | 0 | 0 | 452k| 0 | 9.615000e+03 | 3.103200e+04 | 222.75%
280.18/280.33 c 255s|810000 | 188 | 0 | 0.0 |2393k| 282 | - | 389 | 533 | 0 | 0 | 0 | 457k| 0 | 9.615000e+03 | 3.103200e+04 | 222.75%
283.78/283.96 c 258s|820000 | 192 | 0 | 0.0 |2398k| 282 | - | 389 | 545 | 0 | 0 | 0 | 463k| 0 | 9.615000e+03 | 3.103200e+04 | 222.75%
286.78/286.99 c 261s|830000 | 176 | 0 | 0.0 |2393k| 282 | - | 389 | 538 | 0 | 0 | 0 | 468k| 0 | 9.615000e+03 | 3.103200e+04 | 222.75%
290.48/290.69 c 265s|840000 | 181 | 0 | 0.0 |2392k| 282 | - | 389 | 536 | 0 | 0 | 0 | 474k| 0 | 9.615000e+03 | 3.103200e+04 | 222.75%
293.87/294.03 c 268s|850000 | 201 | 0 | 0.0 |2407k| 282 | - | 389 | 542 | 0 | 0 | 0 | 479k| 0 | 9.615000e+03 | 3.103200e+04 | 222.75%
293.87/294.06 o 30924
293.87/294.06 c * 268s|850089 | 184 | 0 | 0.0 |2409k| 282 | - | 389 | 545 | 0 | 0 | 0 | 479k| 0 | 9.615000e+03 | 3.092400e+04 | 221.62%
295.27/295.50 o 29924
295.27/295.50 c * 269s|853881 | 197 | 0 | 0.0 |2417k| 282 | - | 389 | 549 | 0 | 0 | 0 | 482k| 0 | 9.615000e+03 | 2.992400e+04 | 211.22%
295.37/295.54 o 29808
295.37/295.54 c * 269s|853990 | 197 | 0 | 0.0 |2419k| 282 | - | 389 | 536 | 0 | 0 | 0 | 482k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
297.37/297.51 c 271s|860000 | 173 | 0 | 0.0 |2405k| 282 | - | 389 | 537 | 0 | 0 | 0 | 485k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
300.77/300.92 c 274s|870000 | 187 | 0 | 0.0 |2408k| 282 | - | 389 | 534 | 0 | 0 | 0 | 490k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
304.06/304.24 c 277s|880000 | 177 | 0 | 0.0 |2404k| 282 | - | 389 | 534 | 0 | 0 | 0 | 495k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
307.56/307.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
307.56/307.74 c 280s|890000 | 177 | 0 | 0.0 |2406k| 282 | - | 389 | 533 | 0 | 0 | 0 | 501k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
311.07/311.29 c 283s|900000 | 171 | 0 | 0.0 |2405k| 282 | - | 389 | 535 | 0 | 0 | 0 | 507k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
314.76/314.90 c 287s|910000 | 173 | 0 | 0.0 |2407k| 282 | - | 389 | 538 | 0 | 0 | 0 | 513k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
317.96/318.14 c 290s|920000 | 184 | 0 | 0.0 |2412k| 282 | - | 389 | 542 | 0 | 0 | 0 | 518k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
321.26/321.42 c 293s|930000 | 178 | 0 | 0.0 |2411k| 282 | - | 389 | 543 | 0 | 0 | 0 | 524k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
324.66/324.80 c 296s|940000 | 181 | 0 | 0.0 |2410k| 282 | - | 389 | 539 | 0 | 0 | 0 | 529k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
327.95/328.17 c 299s|950000 | 183 | 0 | 0.0 |2414k| 282 | - | 389 | 540 | 0 | 0 | 0 | 535k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
331.26/331.44 c 302s|960000 | 178 | 0 | 0.0 |2411k| 282 | - | 389 | 535 | 0 | 0 | 0 | 540k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
334.65/334.88 c 305s|970000 | 181 | 0 | 0.0 |2415k| 282 | - | 389 | 540 | 0 | 0 | 0 | 546k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
338.06/338.22 c 308s|980000 | 196 | 0 | 0.0 |2413k| 282 | - | 389 | 533 | 0 | 0 | 0 | 552k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
341.86/342.05 c 312s|990000 | 187 | 0 | 0.0 |2412k| 282 | - | 389 | 536 | 0 | 0 | 0 | 557k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
345.45/345.69 c 315s| 1000k| 176 | 0 | 0.0 |2416k| 282 | - | 389 | 548 | 0 | 0 | 0 | 563k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
349.15/349.36 c 318s| 1010k| 175 | 0 | 0.0 |2410k| 282 | - | 389 | 537 | 0 | 0 | 0 | 569k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
352.94/353.11 c 322s| 1020k| 178 | 0 | 0.0 |2414k| 282 | - | 389 | 534 | 0 | 0 | 0 | 574k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
356.34/356.54 c 325s| 1030k| 172 | 0 | 0.0 |2413k| 282 | - | 389 | 537 | 0 | 0 | 0 | 580k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
359.74/359.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
359.74/359.93 c 328s| 1040k| 181 | 0 | 0.0 |2412k| 282 | - | 389 | 533 | 0 | 0 | 0 | 585k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
363.23/363.49 c 331s| 1050k| 174 | 0 | 0.0 |2412k| 282 | - | 389 | 540 | 0 | 0 | 0 | 591k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
366.54/366.73 c 334s| 1060k| 173 | 0 | 0.0 |2415k| 282 | - | 389 | 534 | 0 | 0 | 0 | 597k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
369.63/369.84 c 337s| 1070k| 183 | 0 | 0.0 |2414k| 282 | - | 389 | 535 | 0 | 0 | 0 | 602k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
373.13/373.34 c 340s| 1080k| 181 | 0 | 0.0 |2416k| 282 | - | 389 | 539 | 0 | 0 | 0 | 607k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
376.73/376.95 c 343s| 1090k| 177 | 0 | 0.0 |2441k| 282 | - | 389 | 600 | 0 | 0 | 0 | 613k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
379.73/379.96 c 346s| 1100k| 182 | 0 | 0.0 |2413k| 282 | - | 389 | 533 | 0 | 0 | 0 | 618k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
382.73/382.99 c 349s| 1110k| 178 | 0 | 0.0 |2412k| 282 | - | 389 | 534 | 0 | 0 | 0 | 623k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
387.03/387.30 c 353s| 1120k| 178 | 0 | 0.0 |2417k| 282 | - | 389 | 544 | 0 | 0 | 0 | 629k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
391.53/391.70 c 357s| 1130k| 167 | 0 | 0.0 |2424k| 282 | - | 389 | 562 | 0 | 0 | 0 | 635k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
395.92/396.13 c 361s| 1140k| 169 | 0 | 0.0 |2422k| 282 | - | 389 | 550 | 0 | 0 | 0 | 641k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
399.62/399.84 c 364s| 1150k| 178 | 0 | 0.0 |2424k| 282 | - | 389 | 549 | 0 | 0 | 0 | 647k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
403.53/403.79 c 368s| 1160k| 165 | 0 | 0.0 |2422k| 282 | - | 389 | 550 | 0 | 0 | 0 | 653k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
407.11/407.37 c 371s| 1170k| 174 | 0 | 0.0 |2419k| 282 | - | 389 | 534 | 0 | 0 | 0 | 659k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
410.92/411.14 c 375s| 1180k| 169 | 0 | 0.0 |2422k| 282 | - | 389 | 537 | 0 | 0 | 0 | 665k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
414.52/414.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
414.52/414.74 c 378s| 1190k| 176 | 0 | 0.0 |2423k| 282 | - | 389 | 544 | 0 | 0 | 0 | 671k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
418.02/418.24 c 381s| 1200k| 173 | 0 | 0.0 |2418k| 282 | - | 389 | 540 | 0 | 0 | 0 | 676k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
421.51/421.75 c 384s| 1210k| 168 | 0 | 0.0 |2422k| 282 | - | 389 | 551 | 0 | 0 | 0 | 682k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
425.71/425.90 c 388s| 1220k| 167 | 0 | 0.0 |2421k| 282 | - | 389 | 552 | 0 | 0 | 0 | 688k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
429.61/429.83 c 392s| 1230k| 177 | 0 | 0.0 |2417k| 282 | - | 389 | 536 | 0 | 0 | 0 | 694k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
433.30/433.59 c 395s| 1240k| 177 | 0 | 0.0 |2428k| 282 | - | 389 | 558 | 0 | 0 | 0 | 700k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
437.30/437.50 c 399s| 1250k| 173 | 0 | 0.0 |2428k| 282 | - | 389 | 567 | 0 | 0 | 0 | 706k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
440.70/440.91 c 402s| 1260k| 176 | 0 | 0.0 |2416k| 282 | - | 389 | 535 | 0 | 0 | 0 | 711k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
444.00/444.23 c 405s| 1270k| 180 | 0 | 0.0 |2420k| 282 | - | 389 | 535 | 0 | 0 | 0 | 717k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
447.60/447.89 c 408s| 1280k| 169 | 0 | 0.0 |2428k| 282 | - | 389 | 562 | 0 | 0 | 0 | 723k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
451.40/451.60 c 412s| 1290k| 168 | 0 | 0.0 |2426k| 282 | - | 389 | 533 | 0 | 0 | 0 | 729k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
455.10/455.31 c 415s| 1300k| 173 | 0 | 0.0 |2417k| 282 | - | 389 | 534 | 0 | 0 | 0 | 735k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
458.50/458.76 c 418s| 1310k| 164 | 0 | 0.0 |2415k| 282 | - | 389 | 536 | 0 | 0 | 0 | 740k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
462.29/462.57 c 422s| 1320k| 183 | 0 | 0.0 |2420k| 282 | - | 389 | 533 | 0 | 0 | 0 | 747k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
465.79/466.00 c 425s| 1330k| 179 | 0 | 0.0 |2422k| 282 | - | 389 | 539 | 0 | 0 | 0 | 752k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
469.09/469.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
469.09/469.39 c 428s| 1340k| 173 | 0 | 0.0 |2427k| 282 | - | 389 | 549 | 0 | 0 | 0 | 758k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
472.69/472.99 c 431s| 1350k| 170 | 0 | 0.0 |2422k| 282 | - | 389 | 547 | 0 | 0 | 0 | 764k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
475.89/476.18 c 434s| 1360k| 174 | 0 | 0.0 |2424k| 282 | - | 389 | 546 | 0 | 0 | 0 | 769k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
479.09/479.32 c 437s| 1370k| 171 | 0 | 0.0 |2419k| 282 | - | 389 | 537 | 0 | 0 | 0 | 774k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
482.39/482.66 c 440s| 1380k| 180 | 0 | 0.0 |2454k| 282 | - | 389 | 629 | 0 | 0 | 0 | 779k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
485.99/486.24 c 443s| 1390k| 178 | 0 | 0.0 |2425k| 282 | - | 389 | 542 | 0 | 0 | 0 | 784k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
490.08/490.34 c 447s| 1400k| 185 | 0 | 0.0 |2422k| 282 | - | 389 | 535 | 0 | 0 | 0 | 790k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
493.69/493.97 c 450s| 1410k| 162 | 0 | 0.0 |2415k| 282 | - | 389 | 534 | 0 | 0 | 0 | 796k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
497.08/497.37 c 453s| 1420k| 174 | 0 | 0.0 |2419k| 282 | - | 389 | 533 | 0 | 0 | 0 | 801k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
500.67/500.95 c 456s| 1430k| 170 | 0 | 0.0 |2419k| 282 | - | 389 | 533 | 0 | 0 | 0 | 807k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
504.37/504.64 c 460s| 1440k| 175 | 0 | 0.0 |2420k| 282 | - | 389 | 533 | 0 | 0 | 0 | 813k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
507.88/508.11 c 463s| 1450k| 187 | 0 | 0.0 |2431k| 282 | - | 389 | 550 | 0 | 0 | 0 | 818k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
511.77/512.00 c 466s| 1460k| 185 | 0 | 0.0 |2428k| 282 | - | 389 | 539 | 0 | 0 | 0 | 824k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
515.67/515.90 c 470s| 1470k| 184 | 0 | 0.0 |2423k| 282 | - | 389 | 535 | 0 | 0 | 0 | 830k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
519.87/520.11 c 474s| 1480k| 186 | 0 | 0.0 |2426k| 282 | - | 389 | 540 | 0 | 0 | 0 | 836k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
523.46/523.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
523.46/523.77 c 477s| 1490k| 177 | 0 | 0.0 |2427k| 282 | - | 389 | 535 | 0 | 0 | 0 | 842k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
528.06/528.30 c 481s| 1500k| 174 | 0 | 0.0 |2423k| 282 | - | 389 | 537 | 0 | 0 | 0 | 848k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
532.17/532.45 c 485s| 1510k| 181 | 0 | 0.0 |2423k| 282 | - | 389 | 535 | 0 | 0 | 0 | 854k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
536.76/537.05 c 489s| 1520k| 170 | 0 | 0.0 |2420k| 282 | - | 389 | 535 | 0 | 0 | 0 | 861k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
540.97/541.24 c 493s| 1530k| 166 | 0 | 0.0 |2423k| 282 | - | 389 | 546 | 0 | 0 | 0 | 867k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
544.46/544.74 c 496s| 1540k| 174 | 0 | 0.0 |2423k| 282 | - | 389 | 535 | 0 | 0 | 0 | 872k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
547.96/548.25 c 499s| 1550k| 165 | 0 | 0.0 |2425k| 282 | - | 389 | 534 | 0 | 0 | 0 | 878k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
551.86/552.12 c 503s| 1560k| 178 | 0 | 0.0 |2437k| 282 | - | 389 | 560 | 0 | 0 | 0 | 884k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
554.96/555.27 c 506s| 1570k| 168 | 0 | 0.0 |2425k| 282 | - | 389 | 546 | 0 | 0 | 0 | 889k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
559.06/559.39 c 510s| 1580k| 186 | 0 | 0.0 |2432k| 282 | - | 389 | 547 | 0 | 0 | 0 | 895k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
562.76/563.08 c 513s| 1590k| 185 | 0 | 0.0 |2430k| 282 | - | 389 | 540 | 0 | 0 | 0 | 901k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
565.95/566.25 c 516s| 1600k| 166 | 0 | 0.0 |2423k| 282 | - | 389 | 538 | 0 | 0 | 0 | 907k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
569.25/569.54 c 519s| 1610k| 166 | 0 | 0.0 |2427k| 282 | - | 389 | 547 | 0 | 0 | 0 | 912k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
572.65/572.99 c 522s| 1620k| 176 | 0 | 0.0 |2427k| 282 | - | 389 | 536 | 0 | 0 | 0 | 918k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
576.16/576.47 c 525s| 1630k| 180 | 0 | 0.0 |2436k| 282 | - | 389 | 559 | 0 | 0 | 0 | 923k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
580.14/580.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
580.14/580.40 c 529s| 1640k| 163 | 0 | 0.0 |2424k| 282 | - | 389 | 535 | 0 | 0 | 0 | 929k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
583.85/584.16 c 532s| 1650k| 168 | 0 | 0.0 |2426k| 282 | - | 389 | 537 | 0 | 0 | 0 | 934k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
587.16/587.48 c 535s| 1660k| 165 | 0 | 0.0 |2426k| 282 | - | 389 | 539 | 0 | 0 | 0 | 940k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
590.45/590.79 c 538s| 1670k| 164 | 0 | 0.0 |2426k| 282 | - | 389 | 542 | 0 | 0 | 0 | 945k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
593.94/594.25 c 542s| 1680k| 178 | 0 | 0.0 |2428k| 282 | - | 389 | 535 | 0 | 0 | 0 | 950k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
597.44/597.75 c 545s| 1690k| 170 | 0 | 0.0 |2423k| 282 | - | 389 | 533 | 0 | 0 | 0 | 956k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
600.94/601.25 c 548s| 1700k| 172 | 0 | 0.0 |2433k| 282 | - | 389 | 541 | 0 | 0 | 0 | 961k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
604.23/604.58 c 551s| 1710k| 175 | 0 | 0.0 |2426k| 282 | - | 389 | 534 | 0 | 0 | 0 | 967k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
607.63/607.92 c 554s| 1720k| 166 | 0 | 0.0 |2423k| 282 | - | 389 | 533 | 0 | 0 | 0 | 972k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
610.93/611.29 c 557s| 1730k| 163 | 0 | 0.0 |2424k| 282 | - | 389 | 534 | 0 | 0 | 0 | 978k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
614.43/614.72 c 560s| 1740k| 170 | 0 | 0.0 |2427k| 282 | - | 389 | 537 | 0 | 0 | 0 | 983k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
618.14/618.41 c 564s| 1750k| 178 | 0 | 0.0 |2436k| 282 | - | 389 | 538 | 0 | 0 | 0 | 989k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
621.63/621.98 c 567s| 1760k| 173 | 0 | 0.0 |2432k| 282 | - | 389 | 546 | 0 | 0 | 0 | 995k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
625.33/625.64 c 570s| 1770k| 166 | 0 | 0.0 |2424k| 282 | - | 389 | 535 | 0 | 0 | 0 |1000k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
629.13/629.46 c 574s| 1780k| 172 | 0 | 0.0 |2429k| 282 | - | 389 | 534 | 0 | 0 | 0 |1006k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
633.13/633.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
633.13/633.46 c 578s| 1790k| 162 | 0 | 0.0 |2424k| 282 | - | 389 | 538 | 0 | 0 | 0 |1013k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
636.43/636.72 c 581s| 1800k| 166 | 0 | 0.0 |2426k| 282 | - | 389 | 537 | 0 | 0 | 0 |1018k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
639.83/640.19 c 584s| 1810k| 169 | 0 | 0.0 |2427k| 282 | - | 389 | 535 | 0 | 0 | 0 |1023k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
643.42/643.73 c 587s| 1820k| 170 | 0 | 0.0 |2430k| 282 | - | 389 | 534 | 0 | 0 | 0 |1029k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
646.82/647.18 c 590s| 1830k| 170 | 0 | 0.0 |2429k| 282 | - | 389 | 541 | 0 | 0 | 0 |1035k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
650.22/650.55 c 593s| 1840k| 167 | 0 | 0.0 |2425k| 282 | - | 389 | 535 | 0 | 0 | 0 |1040k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
653.72/654.08 c 596s| 1850k| 164 | 0 | 0.0 |2424k| 282 | - | 389 | 533 | 0 | 0 | 0 |1046k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
657.32/657.65 c 600s| 1860k| 159 | 0 | 0.0 |2431k| 282 | - | 389 | 539 | 0 | 0 | 0 |1052k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
661.21/661.52 c 603s| 1870k| 167 | 0 | 0.0 |2427k| 282 | - | 389 | 538 | 0 | 0 | 0 |1057k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
665.22/665.50 c 607s| 1880k| 162 | 0 | 0.0 |2435k| 282 | - | 389 | 561 | 0 | 0 | 0 |1063k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
669.41/669.76 c 611s| 1890k| 183 | 0 | 0.0 |2434k| 282 | - | 389 | 544 | 0 | 0 | 0 |1070k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
673.61/673.98 c 615s| 1900k| 166 | 0 | 0.0 |2427k| 282 | - | 389 | 536 | 0 | 0 | 0 |1076k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
677.51/677.83 c 618s| 1910k| 164 | 0 | 0.0 |2426k| 282 | - | 389 | 533 | 0 | 0 | 0 |1082k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
681.00/681.35 c 621s| 1920k| 166 | 0 | 0.0 |2427k| 282 | - | 389 | 534 | 0 | 0 | 0 |1087k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
684.71/685.07 c 625s| 1930k| 165 | 0 | 0.0 |2431k| 282 | - | 389 | 540 | 0 | 0 | 0 |1093k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
688.60/688.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
688.60/688.90 c 628s| 1940k| 172 | 0 | 0.0 |2432k| 282 | - | 389 | 542 | 0 | 0 | 0 |1099k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
692.10/692.48 c 631s| 1950k| 177 | 0 | 0.0 |2429k| 282 | - | 389 | 534 | 0 | 0 | 0 |1104k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
695.70/696.08 c 635s| 1960k| 160 | 0 | 0.0 |2428k| 282 | - | 389 | 535 | 0 | 0 | 0 |1110k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
699.40/699.77 c 638s| 1970k| 162 | 0 | 0.0 |2427k| 282 | - | 389 | 533 | 0 | 0 | 0 |1116k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
702.80/703.18 c 641s| 1980k| 159 | 0 | 0.0 |2427k| 282 | - | 389 | 535 | 0 | 0 | 0 |1121k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
706.40/706.73 c 644s| 1990k| 177 | 0 | 0.0 |2434k| 282 | - | 389 | 538 | 0 | 0 | 0 |1126k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
710.10/710.42 c 648s| 2000k| 165 | 0 | 0.0 |2442k| 282 | - | 389 | 563 | 0 | 0 | 0 |1132k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
713.80/714.15 c 651s| 2010k| 161 | 0 | 0.0 |2433k| 282 | - | 389 | 536 | 0 | 0 | 0 |1138k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
717.60/717.97 c 655s| 2020k| 159 | 0 | 0.0 |2450k| 282 | - | 389 | 596 | 0 | 0 | 0 |1143k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
721.09/721.41 c 658s| 2030k| 159 | 0 | 0.0 |2438k| 282 | - | 389 | 547 | 0 | 0 | 0 |1149k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
724.69/725.07 c 661s| 2040k| 158 | 0 | 0.0 |2428k| 282 | - | 389 | 535 | 0 | 0 | 0 |1155k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
728.49/728.83 c 665s| 2050k| 161 | 0 | 0.0 |2431k| 282 | - | 389 | 539 | 0 | 0 | 0 |1160k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
731.99/732.32 c 668s| 2060k| 173 | 0 | 0.0 |2441k| 282 | - | 389 | 546 | 0 | 0 | 0 |1166k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
735.69/736.02 c 671s| 2070k| 161 | 0 | 0.0 |2430k| 282 | - | 389 | 536 | 0 | 0 | 0 |1172k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
739.78/740.11 c 675s| 2080k| 171 | 0 | 0.0 |2436k| 282 | - | 389 | 540 | 0 | 0 | 0 |1178k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
743.38/743.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
743.38/743.79 c 678s| 2090k| 165 | 0 | 0.0 |2436k| 282 | - | 389 | 539 | 0 | 0 | 0 |1183k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
746.68/747.04 c 681s| 2100k| 167 | 0 | 0.0 |2432k| 282 | - | 389 | 534 | 0 | 0 | 0 |1188k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
750.07/750.41 c 684s| 2110k| 164 | 0 | 0.0 |2434k| 282 | - | 389 | 536 | 0 | 0 | 0 |1194k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
753.58/753.98 c 688s| 2120k| 174 | 0 | 0.0 |2436k| 282 | - | 389 | 534 | 0 | 0 | 0 |1199k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
757.17/757.57 c 691s| 2130k| 169 | 0 | 0.0 |2438k| 282 | - | 389 | 537 | 0 | 0 | 0 |1205k| 0 | 9.615000e+03 | 2.980800e+04 | 210.02%
758.38/758.79 o 29799
758.38/758.79 c * 692s| 2133k| 160 | 0 | 0.0 |2449k| 282 | - | 389 | 538 | 0 | 0 | 0 |1207k| 0 | 9.615000e+03 | 2.979900e+04 | 209.92%
760.67/761.05 c 694s| 2140k| 175 | 0 | 0.0 |2441k| 282 | - | 389 | 537 | 0 | 0 | 0 |1210k| 0 | 9.615000e+03 | 2.979900e+04 | 209.92%
764.18/764.51 c 697s| 2150k| 178 | 0 | 0.0 |2446k| 282 | - | 389 | 537 | 0 | 0 | 0 |1216k| 0 | 9.615000e+03 | 2.979900e+04 | 209.92%
767.48/767.90 c 700s| 2160k| 162 | 0 | 0.0 |2446k| 282 | - | 389 | 549 | 0 | 0 | 0 |1221k| 0 | 9.615000e+03 | 2.979900e+04 | 209.92%
771.07/771.47 c 704s| 2170k| 159 | 0 | 0.0 |2446k| 282 | - | 389 | 538 | 0 | 0 | 0 |1227k| 0 | 9.615000e+03 | 2.979900e+04 | 209.92%
774.57/774.99 c 707s| 2180k| 175 | 0 | 0.0 |2443k| 282 | - | 389 | 536 | 0 | 0 | 0 |1233k| 0 | 9.615000e+03 | 2.979900e+04 | 209.92%
778.37/778.74 c 710s| 2190k| 182 | 0 | 0.0 |2449k| 282 | - | 389 | 550 | 0 | 0 | 0 |1239k| 0 | 9.615000e+03 | 2.979900e+04 | 209.92%
782.27/782.62 c 714s| 2200k| 169 | 0 | 0.0 |2442k| 282 | - | 389 | 539 | 0 | 0 | 0 |1245k| 0 | 9.615000e+03 | 2.979900e+04 | 209.92%
785.87/786.29 c 717s| 2210k| 168 | 0 | 0.0 |2444k| 282 | - | 389 | 534 | 0 | 0 | 0 |1250k| 0 | 9.615000e+03 | 2.979900e+04 | 209.92%
789.76/790.14 c 721s| 2220k| 165 | 0 | 0.0 |2441k| 282 | - | 389 | 540 | 0 | 0 | 0 |1256k| 0 | 9.615000e+03 | 2.979900e+04 | 209.92%
793.87/794.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
793.87/794.21 c 725s| 2230k| 164 | 0 | 0.0 |2446k| 282 | - | 389 | 537 | 0 | 0 | 0 |1263k| 0 | 9.615000e+03 | 2.979900e+04 | 209.92%
797.76/798.16 c 728s| 2240k| 162 | 0 | 0.0 |2451k| 282 | - | 389 | 544 | 0 | 0 | 0 |1268k| 0 | 9.615000e+03 | 2.979900e+04 | 209.92%
801.56/801.91 c 732s| 2250k| 150 | 0 | 0.0 |2437k| 282 | - | 389 | 539 | 0 | 0 | 0 |1274k| 0 | 9.615000e+03 | 2.979900e+04 | 209.92%
805.26/805.69 c 735s| 2260k| 164 | 0 | 0.0 |2442k| 282 | - | 389 | 543 | 0 | 0 | 0 |1280k| 0 | 9.615000e+03 | 2.979900e+04 | 209.92%
809.35/809.71 c 739s| 2270k| 175 | 0 | 0.0 |2444k| 282 | - | 389 | 539 | 0 | 0 | 0 |1286k| 0 | 9.615000e+03 | 2.979900e+04 | 209.92%
812.95/813.30 c 742s| 2280k| 165 | 0 | 0.0 |2443k| 282 | - | 389 | 542 | 0 | 0 | 0 |1292k| 0 | 9.615000e+03 | 2.979900e+04 | 209.92%
816.45/816.84 c 745s| 2290k| 167 | 0 | 0.0 |2444k| 282 | - | 389 | 543 | 0 | 0 | 0 |1297k| 0 | 9.615000e+03 | 2.979900e+04 | 209.92%
820.05/820.45 c 749s| 2300k| 168 | 0 | 0.0 |2443k| 282 | - | 389 | 538 | 0 | 0 | 0 |1303k| 0 | 9.615000e+03 | 2.979900e+04 | 209.92%
823.45/823.86 c 752s| 2310k| 174 | 0 | 0.0 |2451k| 282 | - | 389 | 553 | 0 | 0 | 0 |1308k| 0 | 9.615000e+03 | 2.979900e+04 | 209.92%
826.95/827.37 c 755s| 2320k| 180 | 0 | 0.0 |2447k| 282 | - | 389 | 538 | 0 | 0 | 0 |1314k| 0 | 9.615000e+03 | 2.979900e+04 | 209.92%
830.84/831.25 c 759s| 2330k| 176 | 0 | 0.0 |2445k| 282 | - | 389 | 536 | 0 | 0 | 0 |1320k| 0 | 9.615000e+03 | 2.979900e+04 | 209.92%
834.74/835.12 c 762s| 2340k| 170 | 0 | 0.0 |2444k| 282 | - | 389 | 535 | 0 | 0 | 0 |1326k| 0 | 9.615000e+03 | 2.979900e+04 | 209.92%
838.64/839.00 c 766s| 2350k| 161 | 0 | 0.0 |2445k| 282 | - | 389 | 541 | 0 | 0 | 0 |1332k| 0 | 9.615000e+03 | 2.979900e+04 | 209.92%
842.54/842.96 c 769s| 2360k| 156 | 0 | 0.0 |2442k| 282 | - | 389 | 541 | 0 | 0 | 0 |1338k| 0 | 9.615000e+03 | 2.979900e+04 | 209.92%
846.84/847.25 c 773s| 2370k| 173 | 0 | 0.0 |2446k| 282 | - | 389 | 541 | 0 | 0 | 0 |1345k| 0 | 9.615000e+03 | 2.979900e+04 | 209.92%
850.83/851.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
850.83/851.27 c 777s| 2380k| 169 | 0 | 0.0 |2445k| 282 | - | 389 | 541 | 0 | 0 | 0 |1351k| 0 | 9.615000e+03 | 2.979900e+04 | 209.92%
854.73/855.19 c 780s| 2390k| 172 | 0 | 0.0 |2447k| 282 | - | 389 | 543 | 0 | 0 | 0 |1356k| 0 | 9.615000e+03 | 2.979900e+04 | 209.92%
858.64/859.02 c 784s| 2400k| 169 | 0 | 0.0 |2443k| 282 | - | 389 | 536 | 0 | 0 | 0 |1362k| 0 | 9.615000e+03 | 2.979900e+04 | 209.92%
862.73/863.17 c 788s| 2410k| 176 | 0 | 0.0 |2444k| 282 | - | 389 | 533 | 0 | 0 | 0 |1368k| 0 | 9.615000e+03 | 2.979900e+04 | 209.92%
866.74/867.19 c 791s| 2420k| 163 | 0 | 0.0 |2444k| 282 | - | 389 | 540 | 0 | 0 | 0 |1374k| 0 | 9.615000e+03 | 2.979900e+04 | 209.92%
870.62/871.03 c 795s| 2430k| 155 | 0 | 0.0 |2442k| 282 | - | 389 | 539 | 0 | 0 | 0 |1380k| 0 | 9.615000e+03 | 2.979900e+04 | 209.92%
874.53/874.94 c 798s| 2440k| 169 | 0 | 0.0 |2446k| 282 | - | 389 | 538 | 0 | 0 | 0 |1385k| 0 | 9.615000e+03 | 2.979900e+04 | 209.92%
878.63/879.01 c 802s| 2450k| 161 | 0 | 0.0 |2447k| 282 | - | 389 | 546 | 0 | 0 | 0 |1391k| 0 | 9.615000e+03 | 2.979900e+04 | 209.92%
882.23/882.68 c 805s| 2460k| 176 | 0 | 0.0 |2449k| 282 | - | 389 | 536 | 0 | 0 | 0 |1397k| 0 | 9.615000e+03 | 2.979900e+04 | 209.92%
886.02/886.40 c 809s| 2470k| 164 | 0 | 0.0 |2447k| 282 | - | 389 | 541 | 0 | 0 | 0 |1402k| 0 | 9.615000e+03 | 2.979900e+04 | 209.92%
890.02/890.40 c 812s| 2480k| 161 | 0 | 0.0 |2447k| 282 | - | 389 | 538 | 0 | 0 | 0 |1408k| 0 | 9.615000e+03 | 2.979900e+04 | 209.92%
890.53/890.92 o 29730
890.53/890.92 c * 813s| 2481k| 165 | 0 | 0.0 |2462k| 282 | - | 389 | 546 | 0 | 0 | 0 |1409k| 0 | 9.615000e+03 | 2.973000e+04 | 209.20%
891.52/891.90 o 29692
891.52/891.90 c * 814s| 2483k| 168 | 0 | 0.0 |2467k| 282 | - | 389 | 542 | 0 | 0 | 0 |1411k| 0 | 9.615000e+03 | 2.969200e+04 | 208.81%
893.83/894.28 c 816s| 2490k| 174 | 0 | 0.0 |2457k| 282 | - | 389 | 537 | 0 | 0 | 0 |1414k| 0 | 9.615000e+03 | 2.969200e+04 | 208.81%
894.32/894.77 o 29683
894.32/894.77 c * 816s| 2491k| 151 | 0 | 0.0 |2468k| 282 | - | 389 | 540 | 0 | 0 | 0 |1415k| 0 | 9.615000e+03 | 2.968300e+04 | 208.72%
897.62/898.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
897.62/898.03 c 819s| 2500k| 163 | 0 | 0.0 |2457k| 282 | - | 389 | 533 | 0 | 0 | 0 |1420k| 0 | 9.615000e+03 | 2.968300e+04 | 208.72%
901.52/902.00 c 823s| 2510k| 158 | 0 | 0.0 |2467k| 282 | - | 389 | 552 | 0 | 0 | 0 |1426k| 0 | 9.615000e+03 | 2.968300e+04 | 208.72%
905.11/905.60 c 826s| 2520k| 158 | 0 | 0.0 |2459k| 282 | - | 389 | 538 | 0 | 0 | 0 |1431k| 0 | 9.615000e+03 | 2.968300e+04 | 208.72%
908.82/909.26 c 830s| 2530k| 165 | 0 | 0.0 |2460k| 282 | - | 389 | 539 | 0 | 0 | 0 |1437k| 0 | 9.615000e+03 | 2.968300e+04 | 208.72%
912.62/913.08 c 833s| 2540k| 172 | 0 | 0.0 |2464k| 282 | - | 389 | 540 | 0 | 0 | 0 |1442k| 0 | 9.615000e+03 | 2.968300e+04 | 208.72%
915.91/916.38 c 836s| 2550k| 163 | 0 | 0.0 |2462k| 282 | - | 389 | 539 | 0 | 0 | 0 |1448k| 0 | 9.615000e+03 | 2.968300e+04 | 208.72%
919.71/920.13 c 840s| 2560k| 161 | 0 | 0.0 |2459k| 282 | - | 389 | 535 | 0 | 0 | 0 |1453k| 0 | 9.615000e+03 | 2.968300e+04 | 208.72%
923.31/923.77 c 843s| 2570k| 154 | 0 | 0.0 |2457k| 282 | - | 389 | 535 | 0 | 0 | 0 |1459k| 0 | 9.615000e+03 | 2.968300e+04 | 208.72%
927.00/927.49 c 846s| 2580k| 167 | 0 | 0.0 |2462k| 282 | - | 389 | 534 | 0 | 0 | 0 |1464k| 0 | 9.615000e+03 | 2.968300e+04 | 208.72%
930.81/931.28 c 850s| 2590k| 156 | 0 | 0.0 |2459k| 282 | - | 389 | 537 | 0 | 0 | 0 |1470k| 0 | 9.615000e+03 | 2.968300e+04 | 208.72%
934.52/934.96 c 853s| 2600k| 169 | 0 | 0.0 |2460k| 282 | - | 389 | 533 | 0 | 0 | 0 |1476k| 0 | 9.615000e+03 | 2.968300e+04 | 208.72%
938.01/938.49 c 856s| 2610k| 171 | 0 | 0.0 |2468k| 282 | - | 389 | 546 | 0 | 0 | 0 |1481k| 0 | 9.615000e+03 | 2.968300e+04 | 208.72%
942.00/942.46 c 860s| 2620k| 170 | 0 | 0.0 |2470k| 282 | - | 389 | 553 | 0 | 0 | 0 |1487k| 0 | 9.615000e+03 | 2.968300e+04 | 208.72%
945.70/946.12 c 863s| 2630k| 165 | 0 | 0.0 |2461k| 282 | - | 389 | 535 | 0 | 0 | 0 |1492k| 0 | 9.615000e+03 | 2.968300e+04 | 208.72%
949.49/949.96 c 867s| 2640k| 154 | 0 | 0.0 |2474k| 282 | - | 389 | 543 | 0 | 0 | 0 |1498k| 0 | 9.615000e+03 | 2.968300e+04 | 208.72%
953.10/953.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
953.10/953.55 c 870s| 2650k| 156 | 0 | 0.0 |2466k| 282 | - | 389 | 541 | 0 | 0 | 0 |1503k| 0 | 9.615000e+03 | 2.968300e+04 | 208.72%
956.70/957.17 c 874s| 2660k| 162 | 0 | 0.0 |2464k| 282 | - | 389 | 539 | 0 | 0 | 0 |1509k| 0 | 9.615000e+03 | 2.968300e+04 | 208.72%
960.29/960.78 c 877s| 2670k| 152 | 0 | 0.0 |2464k| 282 | - | 389 | 535 | 0 | 0 | 0 |1514k| 0 | 9.615000e+03 | 2.968300e+04 | 208.72%
964.20/964.62 c 881s| 2680k| 154 | 0 | 0.0 |2460k| 282 | - | 389 | 533 | 0 | 0 | 0 |1520k| 0 | 9.615000e+03 | 2.968300e+04 | 208.72%
967.99/968.48 c 884s| 2690k| 146 | 0 | 0.0 |2456k| 282 | - | 389 | 534 | 0 | 0 | 0 |1526k| 0 | 9.615000e+03 | 2.968300e+04 | 208.72%
971.89/972.40 c 888s| 2700k| 179 | 0 | 0.0 |2472k| 282 | - | 389 | 540 | 0 | 0 | 0 |1532k| 0 | 9.615000e+03 | 2.968300e+04 | 208.72%
973.89/974.37 o 29643
973.89/974.37 c * 890s| 2705k| 191 | 0 | 0.0 |2491k| 282 | - | 389 | 555 | 0 | 0 | 0 |1535k| 0 | 9.615000e+03 | 2.964300e+04 | 208.30%
973.89/974.37 o 29527
973.89/974.37 c * 890s| 2705k| 184 | 0 | 0.0 |2496k| 282 | - | 389 | 557 | 0 | 0 | 0 |1535k| 0 | 9.615000e+03 | 2.952700e+04 | 207.09%
973.99/974.42 o 29513
973.99/974.42 c * 890s| 2705k| 184 | 0 | 0.0 |2507k| 282 | - | 389 | 567 | 0 | 0 | 0 |1535k| 0 | 9.615000e+03 | 2.951300e+04 | 206.95%
973.99/974.42 o 29411
973.99/974.42 c * 890s| 2705k| 177 | 0 | 0.0 |2510k| 282 | - | 389 | 567 | 0 | 0 | 0 |1535k| 0 | 9.615000e+03 | 2.941100e+04 | 205.89%
973.99/974.48 o 29397
973.99/974.48 c * 890s| 2705k| 177 | 0 | 0.0 |2517k| 282 | - | 389 | 573 | 0 | 0 | 0 |1535k| 0 | 9.615000e+03 | 2.939700e+04 | 205.74%
973.99/974.48 o 29295
973.99/974.48 c * 890s| 2705k| 170 | 0 | 0.0 |2521k| 282 | - | 389 | 573 | 0 | 0 | 0 |1535k| 0 | 9.615000e+03 | 2.929500e+04 | 204.68%
975.59/976.01 c 891s| 2710k| 173 | 0 | 0.0 |2505k| 282 | - | 389 | 543 | 0 | 0 | 0 |1537k| 0 | 9.615000e+03 | 2.929500e+04 | 204.68%
975.88/976.30 o 29257
975.88/976.30 c * 891s| 2710k| 164 | 0 | 0.0 |2514k| 282 | - | 389 | 540 | 0 | 0 | 0 |1538k| 0 | 9.615000e+03 | 2.925700e+04 | 204.28%
979.29/979.75 c 894s| 2720k| 163 | 0 | 0.0 |2505k| 282 | - | 389 | 538 | 0 | 0 | 0 |1543k| 0 | 9.615000e+03 | 2.925700e+04 | 204.28%
982.49/982.90 o 29248
982.49/982.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
982.49/982.90 c * 897s| 2728k| 164 | 0 | 0.0 |2523k| 282 | - | 389 | 548 | 0 | 0 | 0 |1548k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
982.99/983.48 c 898s| 2730k| 157 | 0 | 0.0 |2510k| 282 | - | 389 | 535 | 0 | 0 | 0 |1548k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
986.58/987.02 c 901s| 2740k| 172 | 0 | 0.0 |2517k| 282 | - | 389 | 537 | 0 | 0 | 0 |1554k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
990.28/990.80 c 905s| 2750k| 176 | 0 | 0.0 |2513k| 282 | - | 389 | 533 | 0 | 0 | 0 |1560k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
994.18/994.61 c 908s| 2760k| 158 | 0 | 0.0 |2508k| 282 | - | 389 | 534 | 0 | 0 | 0 |1565k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
997.78/998.28 c 911s| 2770k| 157 | 0 | 0.0 |2507k| 282 | - | 389 | 533 | 0 | 0 | 0 |1571k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1001.38/1001.85 c 915s| 2780k| 166 | 0 | 0.0 |2516k| 282 | - | 389 | 547 | 0 | 0 | 0 |1576k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1005.38/1005.80 c 918s| 2790k| 178 | 0 | 0.0 |2520k| 282 | - | 389 | 545 | 0 | 0 | 0 |1582k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1009.07/1009.52 c 922s| 2800k| 164 | 0 | 0.0 |2513k| 282 | - | 389 | 540 | 0 | 0 | 0 |1587k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1012.77/1013.22 c 925s| 2810k| 170 | 0 | 0.0 |2512k| 282 | - | 389 | 536 | 0 | 0 | 0 |1592k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1016.27/1016.76 c 928s| 2820k| 155 | 0 | 0.0 |2510k| 282 | - | 389 | 540 | 0 | 0 | 0 |1598k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1020.07/1020.58 c 932s| 2830k| 161 | 0 | 0.0 |2517k| 282 | - | 389 | 553 | 0 | 0 | 0 |1603k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1023.47/1023.95 c 935s| 2840k| 163 | 0 | 0.0 |2512k| 282 | - | 389 | 535 | 0 | 0 | 0 |1608k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1027.27/1027.73 c 938s| 2850k| 169 | 0 | 0.0 |2517k| 282 | - | 389 | 538 | 0 | 0 | 0 |1614k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1030.76/1031.22 c 941s| 2860k| 175 | 0 | 0.0 |2515k| 282 | - | 389 | 537 | 0 | 0 | 0 |1620k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1034.37/1034.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1034.37/1034.84 c 945s| 2870k| 171 | 0 | 0.0 |2518k| 282 | - | 389 | 545 | 0 | 0 | 0 |1625k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1037.97/1038.47 c 948s| 2880k| 165 | 0 | 0.0 |2524k| 282 | - | 389 | 561 | 0 | 0 | 0 |1630k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1041.66/1042.14 c 951s| 2890k| 160 | 0 | 0.0 |2514k| 282 | - | 389 | 544 | 0 | 0 | 0 |1636k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1045.46/1045.99 c 955s| 2900k| 173 | 0 | 0.0 |2519k| 282 | - | 389 | 540 | 0 | 0 | 0 |1642k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1048.87/1049.32 c 958s| 2910k| 159 | 0 | 0.0 |2512k| 282 | - | 389 | 535 | 0 | 0 | 0 |1647k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1052.56/1053.04 c 961s| 2920k| 151 | 0 | 0.0 |2509k| 282 | - | 389 | 535 | 0 | 0 | 0 |1653k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1056.45/1056.99 c 965s| 2930k| 157 | 0 | 0.0 |2517k| 282 | - | 389 | 552 | 0 | 0 | 0 |1658k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1060.56/1061.03 c 969s| 2940k| 155 | 0 | 0.0 |2509k| 282 | - | 389 | 534 | 0 | 0 | 0 |1664k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1064.45/1064.91 c 972s| 2950k| 171 | 0 | 0.0 |2516k| 282 | - | 389 | 539 | 0 | 0 | 0 |1669k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1068.35/1068.84 c 976s| 2960k| 166 | 0 | 0.0 |2519k| 282 | - | 389 | 543 | 0 | 0 | 0 |1674k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1072.15/1072.63 c 979s| 2970k| 161 | 0 | 0.0 |2515k| 282 | - | 389 | 543 | 0 | 0 | 0 |1680k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1075.44/1075.93 c 982s| 2980k| 151 | 0 | 0.0 |2524k| 282 | - | 389 | 547 | 0 | 0 | 0 |1685k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1078.95/1079.49 c 986s| 2990k| 173 | 0 | 0.0 |2516k| 282 | - | 389 | 534 | 0 | 0 | 0 |1690k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1082.65/1083.12 c 989s| 3000k| 166 | 0 | 0.0 |2519k| 282 | - | 389 | 535 | 0 | 0 | 0 |1695k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1086.25/1086.73 c 992s| 3010k| 150 | 0 | 0.0 |2517k| 282 | - | 389 | 551 | 0 | 0 | 0 |1701k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1089.84/1090.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1089.84/1090.39 c 996s| 3020k| 148 | 0 | 0.0 |2516k| 282 | - | 389 | 549 | 0 | 0 | 0 |1707k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1093.64/1094.16 c 999s| 3030k| 161 | 0 | 0.0 |2520k| 282 | - | 389 | 543 | 0 | 0 | 0 |1712k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1097.13/1097.68 c 1002s| 3040k| 148 | 0 | 0.0 |2515k| 282 | - | 389 | 540 | 0 | 0 | 0 |1718k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1100.74/1101.25 c 1006s| 3050k| 165 | 0 | 0.0 |2516k| 282 | - | 389 | 535 | 0 | 0 | 0 |1723k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1104.24/1104.75 c 1009s| 3060k| 150 | 0 | 0.0 |2512k| 282 | - | 389 | 536 | 0 | 0 | 0 |1729k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1107.94/1108.49 c 1012s| 3070k| 158 | 0 | 0.0 |2514k| 282 | - | 389 | 537 | 0 | 0 | 0 |1734k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1112.43/1112.98 c 1016s| 3080k| 167 | 0 | 0.0 |2530k| 282 | - | 389 | 553 | 0 | 0 | 0 |1741k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1116.53/1117.01 c 1020s| 3090k| 168 | 0 | 0.0 |2517k| 282 | - | 389 | 533 | 0 | 0 | 0 |1746k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1120.93/1121.46 c 1024s| 3100k| 164 | 0 | 0.0 |2522k| 282 | - | 389 | 541 | 0 | 0 | 0 |1753k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1125.03/1125.54 c 1028s| 3110k| 157 | 0 | 0.0 |2519k| 282 | - | 389 | 550 | 0 | 0 | 0 |1759k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1129.02/1129.53 c 1031s| 3120k| 150 | 0 | 0.0 |2513k| 282 | - | 389 | 533 | 0 | 0 | 0 |1765k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1133.02/1133.52 c 1035s| 3130k| 150 | 0 | 0.0 |2512k| 282 | - | 389 | 534 | 0 | 0 | 0 |1770k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1137.12/1137.67 c 1039s| 3140k| 157 | 0 | 0.0 |2516k| 282 | - | 389 | 533 | 0 | 0 | 0 |1776k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1141.11/1141.69 c 1043s| 3150k| 158 | 0 | 0.0 |2531k| 282 | - | 389 | 550 | 0 | 0 | 0 |1782k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1144.82/1145.31 c 1046s| 3160k| 147 | 0 | 0.0 |2512k| 282 | - | 389 | 533 | 0 | 0 | 0 |1787k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1148.22/1148.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1148.22/1148.71 c 1049s| 3170k| 156 | 0 | 0.0 |2519k| 282 | - | 389 | 542 | 0 | 0 | 0 |1792k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1152.11/1152.66 c 1053s| 3180k| 157 | 0 | 0.0 |2516k| 282 | - | 389 | 534 | 0 | 0 | 0 |1798k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1155.81/1156.36 c 1056s| 3190k| 169 | 0 | 0.0 |2524k| 282 | - | 389 | 550 | 0 | 0 | 0 |1803k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1160.51/1161.08 c 1060s| 3200k| 164 | 0 | 0.0 |2520k| 282 | - | 389 | 539 | 0 | 0 | 0 |1809k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1164.41/1164.92 c 1064s| 3210k| 175 | 0 | 0.0 |2526k| 282 | - | 389 | 541 | 0 | 0 | 0 |1815k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1168.50/1169.08 c 1068s| 3220k| 176 | 0 | 0.0 |2523k| 282 | - | 389 | 537 | 0 | 0 | 0 |1821k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1172.70/1173.23 c 1072s| 3230k| 165 | 0 | 0.0 |2528k| 282 | - | 389 | 558 | 0 | 0 | 0 |1827k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1176.41/1176.98 c 1075s| 3240k| 174 | 0 | 0.0 |2525k| 282 | - | 389 | 540 | 0 | 0 | 0 |1832k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1180.70/1181.20 c 1079s| 3250k| 173 | 0 | 0.0 |2523k| 282 | - | 389 | 536 | 0 | 0 | 0 |1838k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1184.50/1185.03 c 1082s| 3260k| 183 | 0 | 0.0 |2530k| 282 | - | 389 | 546 | 0 | 0 | 0 |1844k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1188.00/1188.58 c 1086s| 3270k| 173 | 0 | 0.0 |2528k| 282 | - | 389 | 542 | 0 | 0 | 0 |1850k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1191.70/1192.25 c 1089s| 3280k| 154 | 0 | 0.0 |2519k| 282 | - | 389 | 533 | 0 | 0 | 0 |1856k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1195.79/1196.35 c 1093s| 3290k| 174 | 0 | 0.0 |2530k| 282 | - | 389 | 547 | 0 | 0 | 0 |1862k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1200.09/1200.66 c 1097s| 3300k| 163 | 0 | 0.0 |2523k| 282 | - | 389 | 536 | 0 | 0 | 0 |1868k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1203.89/1204.48 c 1100s| 3310k| 168 | 0 | 0.0 |2525k| 282 | - | 389 | 537 | 0 | 0 | 0 |1874k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1207.89/1208.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1207.89/1208.45 c 1104s| 3320k| 160 | 0 | 0.0 |2526k| 282 | - | 389 | 544 | 0 | 0 | 0 |1879k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1211.88/1212.47 c 1107s| 3330k| 167 | 0 | 0.0 |2526k| 282 | - | 389 | 540 | 0 | 0 | 0 |1885k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1216.19/1216.77 c 1111s| 3340k| 161 | 0 | 0.0 |2528k| 282 | - | 389 | 553 | 0 | 0 | 0 |1891k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1220.08/1220.69 c 1115s| 3350k| 161 | 0 | 0.0 |2524k| 282 | - | 389 | 538 | 0 | 0 | 0 |1897k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1224.08/1224.60 c 1118s| 3360k| 161 | 0 | 0.0 |2546k| 282 | - | 389 | 592 | 0 | 0 | 0 |1903k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1228.09/1228.61 c 1122s| 3370k| 177 | 0 | 0.0 |2538k| 282 | - | 389 | 571 | 0 | 0 | 0 |1908k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1231.49/1232.07 c 1125s| 3380k| 165 | 0 | 0.0 |2526k| 282 | - | 389 | 544 | 0 | 0 | 0 |1914k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1235.48/1236.04 c 1129s| 3390k| 163 | 0 | 0.0 |2524k| 282 | - | 389 | 536 | 0 | 0 | 0 |1920k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1238.88/1239.41 c 1132s| 3400k| 158 | 0 | 0.0 |2532k| 282 | - | 389 | 545 | 0 | 0 | 0 |1925k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1242.58/1243.16 c 1135s| 3410k| 162 | 0 | 0.0 |2522k| 282 | - | 389 | 534 | 0 | 0 | 0 |1931k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1246.17/1246.80 c 1139s| 3420k| 158 | 0 | 0.0 |2533k| 282 | - | 389 | 539 | 0 | 0 | 0 |1936k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1250.18/1250.76 c 1142s| 3430k| 169 | 0 | 0.0 |2528k| 282 | - | 389 | 538 | 0 | 0 | 0 |1942k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1254.57/1255.16 c 1146s| 3440k| 163 | 0 | 0.0 |2523k| 282 | - | 389 | 534 | 0 | 0 | 0 |1948k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1258.67/1259.24 c 1150s| 3450k| 190 | 0 | 0.0 |2534k| 282 | - | 389 | 541 | 0 | 0 | 0 |1954k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1262.86/1263.47 c 1154s| 3460k| 150 | 0 | 0.0 |2521k| 282 | - | 389 | 537 | 0 | 0 | 0 |1960k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1266.67/1267.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1266.67/1267.24 c 1157s| 3470k| 156 | 0 | 0.0 |2532k| 282 | - | 389 | 545 | 0 | 0 | 0 |1966k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1270.76/1271.35 c 1161s| 3480k| 163 | 0 | 0.0 |2527k| 282 | - | 389 | 540 | 0 | 0 | 0 |1972k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1275.47/1276.07 c 1165s| 3490k| 166 | 0 | 0.0 |2528k| 282 | - | 389 | 543 | 0 | 0 | 0 |1978k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1279.66/1280.28 c 1169s| 3500k| 152 | 0 | 0.0 |2527k| 282 | - | 389 | 544 | 0 | 0 | 0 |1985k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1283.56/1284.15 c 1173s| 3510k| 166 | 0 | 0.0 |2537k| 282 | - | 389 | 543 | 0 | 0 | 0 |1991k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1287.35/1287.91 c 1176s| 3520k| 172 | 0 | 0.0 |2535k| 282 | - | 389 | 547 | 0 | 0 | 0 |1996k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1291.46/1292.08 c 1180s| 3530k| 178 | 0 | 0.0 |2529k| 282 | - | 389 | 536 | 0 | 0 | 0 |2002k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1295.65/1296.25 c 1184s| 3540k| 163 | 0 | 0.0 |2528k| 282 | - | 389 | 542 | 0 | 0 | 0 |2008k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1298.95/1299.50 c 1187s| 3550k| 168 | 0 | 0.0 |2529k| 282 | - | 389 | 542 | 0 | 0 | 0 |2013k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1302.55/1303.17 c 1190s| 3560k| 163 | 0 | 0.0 |2529k| 282 | - | 389 | 545 | 0 | 0 | 0 |2019k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1306.45/1307.02 c 1194s| 3570k| 158 | 0 | 0.0 |2527k| 282 | - | 389 | 544 | 0 | 0 | 0 |2024k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1310.24/1310.87 c 1197s| 3580k| 168 | 0 | 0.0 |2529k| 282 | - | 389 | 542 | 0 | 0 | 0 |2029k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1314.65/1315.28 c 1201s| 3590k| 165 | 0 | 0.0 |2534k| 282 | - | 389 | 557 | 0 | 0 | 0 |2035k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1319.14/1319.70 c 1205s| 3600k| 181 | 0 | 0.0 |2535k| 282 | - | 389 | 549 | 0 | 0 | 0 |2042k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1322.54/1323.20 c 1208s| 3610k| 155 | 0 | 0.0 |2523k| 282 | - | 389 | 534 | 0 | 0 | 0 |2047k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1326.24/1326.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1326.24/1326.87 c 1212s| 3620k| 153 | 0 | 0.0 |2524k| 282 | - | 389 | 537 | 0 | 0 | 0 |2053k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1330.24/1330.86 c 1215s| 3630k| 158 | 0 | 0.0 |2527k| 282 | - | 389 | 543 | 0 | 0 | 0 |2059k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1334.13/1334.80 c 1219s| 3640k| 162 | 0 | 0.0 |2525k| 282 | - | 389 | 538 | 0 | 0 | 0 |2064k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1338.04/1338.65 c 1223s| 3650k| 155 | 0 | 0.0 |2522k| 282 | - | 389 | 533 | 0 | 0 | 0 |2070k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1342.04/1342.68 c 1226s| 3660k| 154 | 0 | 0.0 |2527k| 282 | - | 389 | 538 | 0 | 0 | 0 |2076k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1345.94/1346.53 c 1230s| 3670k| 154 | 0 | 0.0 |2531k| 282 | - | 389 | 540 | 0 | 0 | 0 |2082k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1349.53/1350.17 c 1233s| 3680k| 158 | 0 | 0.0 |2526k| 282 | - | 389 | 541 | 0 | 0 | 0 |2087k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1353.44/1354.04 c 1237s| 3690k| 168 | 0 | 0.0 |2540k| 282 | - | 389 | 558 | 0 | 0 | 0 |2093k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1357.43/1358.01 c 1240s| 3700k| 151 | 0 | 0.0 |2522k| 282 | - | 389 | 537 | 0 | 0 | 0 |2098k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1361.13/1361.74 c 1244s| 3710k| 165 | 0 | 0.0 |2525k| 282 | - | 389 | 537 | 0 | 0 | 0 |2104k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1364.82/1365.49 c 1247s| 3720k| 143 | 0 | 0.0 |2518k| 282 | - | 389 | 535 | 0 | 0 | 0 |2109k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1368.02/1368.67 c 1250s| 3730k| 166 | 0 | 0.0 |2526k| 282 | - | 389 | 535 | 0 | 0 | 0 |2114k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1371.62/1372.29 c 1253s| 3740k| 160 | 0 | 0.0 |2528k| 282 | - | 389 | 541 | 0 | 0 | 0 |2119k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1375.62/1376.25 c 1257s| 3750k| 177 | 0 | 0.0 |2534k| 282 | - | 389 | 538 | 0 | 0 | 0 |2125k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1379.72/1380.39 c 1261s| 3760k| 158 | 0 | 0.0 |2523k| 282 | - | 389 | 533 | 0 | 0 | 0 |2131k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1383.42/1384.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1383.42/1384.03 c 1264s| 3770k| 157 | 0 | 0.0 |2531k| 282 | - | 389 | 540 | 0 | 0 | 0 |2137k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1386.92/1387.57 c 1268s| 3780k| 158 | 0 | 0.0 |2527k| 282 | - | 389 | 536 | 0 | 0 | 0 |2142k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1390.51/1391.19 c 1271s| 3790k| 156 | 0 | 0.0 |2525k| 282 | - | 389 | 534 | 0 | 0 | 0 |2147k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1393.91/1394.54 c 1274s| 3800k| 153 | 0 | 0.0 |2526k| 282 | - | 389 | 541 | 0 | 0 | 0 |2153k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1397.61/1398.27 c 1277s| 3810k| 156 | 0 | 0.0 |2525k| 282 | - | 389 | 533 | 0 | 0 | 0 |2158k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1401.82/1402.44 c 1281s| 3820k| 169 | 0 | 0.0 |2529k| 282 | - | 389 | 540 | 0 | 0 | 0 |2164k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1405.81/1406.46 c 1285s| 3830k| 153 | 0 | 0.0 |2532k| 282 | - | 389 | 549 | 0 | 0 | 0 |2170k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1409.51/1410.17 c 1288s| 3840k| 150 | 0 | 0.0 |2526k| 282 | - | 389 | 540 | 0 | 0 | 0 |2176k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1413.81/1414.40 c 1292s| 3850k| 151 | 0 | 0.0 |2525k| 282 | - | 389 | 534 | 0 | 0 | 0 |2182k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1417.61/1418.28 c 1296s| 3860k| 153 | 0 | 0.0 |2528k| 282 | - | 389 | 541 | 0 | 0 | 0 |2188k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1421.71/1422.34 c 1300s| 3870k| 157 | 0 | 0.0 |2532k| 282 | - | 389 | 549 | 0 | 0 | 0 |2194k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1425.40/1426.03 c 1303s| 3880k| 147 | 0 | 0.0 |2534k| 282 | - | 389 | 551 | 0 | 0 | 0 |2199k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1429.50/1430.18 c 1307s| 3890k| 149 | 0 | 0.0 |2530k| 282 | - | 389 | 549 | 0 | 0 | 0 |2205k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1433.40/1434.07 c 1310s| 3900k| 173 | 0 | 0.0 |2539k| 282 | - | 389 | 563 | 0 | 0 | 0 |2211k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1437.10/1437.74 c 1314s| 3910k| 157 | 0 | 0.0 |2526k| 282 | - | 389 | 536 | 0 | 0 | 0 |2216k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1440.79/1441.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1440.79/1441.43 c 1317s| 3920k| 161 | 0 | 0.0 |2527k| 282 | - | 389 | 536 | 0 | 0 | 0 |2222k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1444.39/1445.01 c 1320s| 3930k| 160 | 0 | 0.0 |2526k| 282 | - | 389 | 536 | 0 | 0 | 0 |2227k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1447.80/1448.49 c 1323s| 3940k| 167 | 0 | 0.0 |2527k| 282 | - | 389 | 533 | 0 | 0 | 0 |2233k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1451.40/1452.02 c 1327s| 3950k| 152 | 0 | 0.0 |2528k| 282 | - | 389 | 547 | 0 | 0 | 0 |2238k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1455.19/1455.84 c 1330s| 3960k| 165 | 0 | 0.0 |2531k| 282 | - | 389 | 543 | 0 | 0 | 0 |2243k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1458.69/1459.39 c 1333s| 3970k| 182 | 0 | 0.0 |2534k| 282 | - | 389 | 541 | 0 | 0 | 0 |2249k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1462.18/1462.89 c 1336s| 3980k| 170 | 0 | 0.0 |2534k| 282 | - | 389 | 538 | 0 | 0 | 0 |2254k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1466.19/1466.80 c 1340s| 3990k| 171 | 0 | 0.0 |2532k| 282 | - | 389 | 538 | 0 | 0 | 0 |2260k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1469.18/1469.87 c 1343s| 4000k| 165 | 0 | 0.0 |2534k| 282 | - | 389 | 550 | 0 | 0 | 0 |2265k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1472.68/1473.37 c 1346s| 4010k| 161 | 0 | 0.0 |2542k| 282 | - | 389 | 550 | 0 | 0 | 0 |2270k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1476.18/1476.87 c 1349s| 4020k| 158 | 0 | 0.0 |2526k| 282 | - | 389 | 535 | 0 | 0 | 0 |2275k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1479.98/1480.69 c 1353s| 4030k| 158 | 0 | 0.0 |2534k| 282 | - | 389 | 556 | 0 | 0 | 0 |2281k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1483.57/1484.23 c 1356s| 4040k| 169 | 0 | 0.0 |2531k| 282 | - | 389 | 537 | 0 | 0 | 0 |2286k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1487.17/1487.89 c 1359s| 4050k| 171 | 0 | 0.0 |2535k| 282 | - | 389 | 545 | 0 | 0 | 0 |2291k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1490.98/1491.64 c 1363s| 4060k| 175 | 0 | 0.0 |2537k| 282 | - | 389 | 547 | 0 | 0 | 0 |2297k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1494.07/1494.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1494.07/1494.79 c 1366s| 4070k| 173 | 0 | 0.0 |2537k| 282 | - | 389 | 550 | 0 | 0 | 0 |2302k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1497.57/1498.23 c 1369s| 4080k| 161 | 0 | 0.0 |2539k| 282 | - | 389 | 566 | 0 | 0 | 0 |2307k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1500.97/1501.63 c 1372s| 4090k| 160 | 0 | 0.0 |2529k| 282 | - | 389 | 540 | 0 | 0 | 0 |2312k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1504.57/1505.21 c 1375s| 4100k| 154 | 0 | 0.0 |2528k| 282 | - | 389 | 541 | 0 | 0 | 0 |2317k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1508.27/1508.95 c 1378s| 4110k| 159 | 0 | 0.0 |2535k| 282 | - | 389 | 540 | 0 | 0 | 0 |2322k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1512.06/1512.70 c 1382s| 4120k| 158 | 0 | 0.0 |2528k| 282 | - | 389 | 536 | 0 | 0 | 0 |2328k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1515.86/1516.57 c 1385s| 4130k| 171 | 0 | 0.0 |2535k| 282 | - | 389 | 539 | 0 | 0 | 0 |2334k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1520.06/1520.76 c 1389s| 4140k| 166 | 0 | 0.0 |2538k| 282 | - | 389 | 557 | 0 | 0 | 0 |2339k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1524.26/1524.96 c 1393s| 4150k| 170 | 0 | 0.0 |2531k| 282 | - | 389 | 537 | 0 | 0 | 0 |2345k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1528.15/1528.87 c 1397s| 4160k| 169 | 0 | 0.0 |2534k| 282 | - | 389 | 533 | 0 | 0 | 0 |2351k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1532.15/1532.88 c 1400s| 4170k| 162 | 0 | 0.0 |2530k| 282 | - | 389 | 534 | 0 | 0 | 0 |2357k| 0 | 9.615000e+03 | 2.924800e+04 | 204.19%
1534.36/1535.08 o 29234
1534.36/1535.08 c *1402s| 4175k| 176 | 0 | 0.0 |2549k| 282 | - | 389 | 541 | 0 | 0 | 0 |2360k| 0 | 9.615000e+03 | 2.923400e+04 | 204.05%
1534.36/1535.08 o 29132
1534.36/1535.08 c *1402s| 4175k| 163 | 0 | 0.0 |2553k| 282 | - | 389 | 545 | 0 | 0 | 0 |2360k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1536.06/1536.74 c 1404s| 4180k| 167 | 0 | 0.0 |2543k| 282 | - | 389 | 538 | 0 | 0 | 0 |2362k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1540.05/1540.78 c 1407s| 4190k| 159 | 0 | 0.0 |2541k| 282 | - | 389 | 536 | 0 | 0 | 0 |2368k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1543.95/1544.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1543.95/1544.61 c 1411s| 4200k| 161 | 0 | 0.0 |2544k| 282 | - | 389 | 537 | 0 | 0 | 0 |2374k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1547.95/1548.62 c 1415s| 4210k| 154 | 0 | 0.0 |2541k| 282 | - | 389 | 536 | 0 | 0 | 0 |2379k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1551.46/1552.13 c 1418s| 4220k| 167 | 0 | 0.0 |2542k| 282 | - | 389 | 533 | 0 | 0 | 0 |2385k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1555.05/1555.79 c 1421s| 4230k| 165 | 0 | 0.0 |2547k| 282 | - | 389 | 538 | 0 | 0 | 0 |2390k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1558.84/1559.59 c 1425s| 4240k| 157 | 0 | 0.0 |2540k| 282 | - | 389 | 536 | 0 | 0 | 0 |2396k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1562.84/1563.56 c 1429s| 4250k| 144 | 0 | 0.0 |2536k| 282 | - | 389 | 538 | 0 | 0 | 0 |2402k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1566.54/1567.30 c 1432s| 4260k| 165 | 0 | 0.0 |2543k| 282 | - | 389 | 536 | 0 | 0 | 0 |2407k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1570.34/1571.04 c 1435s| 4270k| 158 | 0 | 0.0 |2544k| 282 | - | 389 | 541 | 0 | 0 | 0 |2413k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1574.04/1574.72 c 1439s| 4280k| 157 | 0 | 0.0 |2550k| 282 | - | 389 | 540 | 0 | 0 | 0 |2418k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1577.74/1578.49 c 1442s| 4290k| 173 | 0 | 0.0 |2547k| 282 | - | 389 | 541 | 0 | 0 | 0 |2423k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1581.63/1582.39 c 1446s| 4300k| 154 | 0 | 0.0 |2548k| 282 | - | 389 | 554 | 0 | 0 | 0 |2429k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1585.54/1586.22 c 1449s| 4310k| 170 | 0 | 0.0 |2547k| 282 | - | 389 | 536 | 0 | 0 | 0 |2434k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1589.64/1590.32 c 1453s| 4320k| 155 | 0 | 0.0 |2541k| 282 | - | 389 | 536 | 0 | 0 | 0 |2440k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1593.83/1594.57 c 1457s| 4330k| 150 | 0 | 0.0 |2547k| 282 | - | 389 | 537 | 0 | 0 | 0 |2446k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1597.83/1598.53 c 1461s| 4340k| 152 | 0 | 0.0 |2540k| 282 | - | 389 | 537 | 0 | 0 | 0 |2452k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1601.93/1602.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1601.93/1602.63 c 1465s| 4350k| 149 | 0 | 0.0 |2544k| 282 | - | 389 | 536 | 0 | 0 | 0 |2458k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1606.03/1606.77 c 1468s| 4360k| 156 | 0 | 0.0 |2541k| 282 | - | 389 | 539 | 0 | 0 | 0 |2463k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1609.83/1610.53 c 1472s| 4370k| 163 | 0 | 0.0 |2542k| 282 | - | 389 | 535 | 0 | 0 | 0 |2469k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1613.42/1614.13 c 1475s| 4380k| 157 | 0 | 0.0 |2544k| 282 | - | 389 | 540 | 0 | 0 | 0 |2474k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1617.02/1617.77 c 1478s| 4390k| 165 | 0 | 0.0 |2548k| 282 | - | 389 | 536 | 0 | 0 | 0 |2480k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1620.42/1621.18 c 1481s| 4400k| 152 | 0 | 0.0 |2548k| 282 | - | 389 | 538 | 0 | 0 | 0 |2485k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1624.42/1625.14 c 1485s| 4410k| 180 | 0 | 0.0 |2549k| 282 | - | 389 | 535 | 0 | 0 | 0 |2491k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1628.61/1629.39 c 1489s| 4420k| 161 | 0 | 0.0 |2545k| 282 | - | 389 | 537 | 0 | 0 | 0 |2497k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1632.22/1632.96 c 1492s| 4430k| 139 | 0 | 0.0 |2542k| 282 | - | 389 | 539 | 0 | 0 | 0 |2502k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1636.51/1637.25 c 1496s| 4440k| 164 | 0 | 0.0 |2550k| 282 | - | 389 | 542 | 0 | 0 | 0 |2508k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1640.42/1641.13 c 1500s| 4450k| 178 | 0 | 0.0 |2552k| 282 | - | 389 | 534 | 0 | 0 | 0 |2514k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1643.91/1644.69 c 1503s| 4460k| 152 | 0 | 0.0 |2546k| 282 | - | 389 | 538 | 0 | 0 | 0 |2520k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1647.90/1648.64 c 1507s| 4470k| 164 | 0 | 0.0 |2552k| 282 | - | 389 | 539 | 0 | 0 | 0 |2526k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1652.00/1652.73 c 1510s| 4480k| 159 | 0 | 0.0 |2548k| 282 | - | 389 | 541 | 0 | 0 | 0 |2532k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1655.70/1656.47 c 1514s| 4490k| 145 | 0 | 0.0 |2549k| 282 | - | 389 | 546 | 0 | 0 | 0 |2538k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1659.50/1660.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1659.50/1660.25 c 1517s| 4500k| 162 | 0 | 0.0 |2552k| 282 | - | 389 | 538 | 0 | 0 | 0 |2543k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1663.20/1663.94 c 1521s| 4510k| 151 | 0 | 0.0 |2549k| 282 | - | 389 | 536 | 0 | 0 | 0 |2549k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1666.80/1667.58 c 1524s| 4520k| 149 | 0 | 0.0 |2546k| 282 | - | 389 | 541 | 0 | 0 | 0 |2554k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1670.40/1671.12 c 1527s| 4530k| 157 | 0 | 0.0 |2549k| 282 | - | 389 | 539 | 0 | 0 | 0 |2560k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1674.10/1674.83 c 1531s| 4540k| 160 | 0 | 0.0 |2548k| 282 | - | 389 | 536 | 0 | 0 | 0 |2565k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1678.00/1678.70 c 1534s| 4550k| 158 | 0 | 0.0 |2553k| 282 | - | 389 | 552 | 0 | 0 | 0 |2571k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1681.70/1682.40 c 1538s| 4560k| 156 | 0 | 0.0 |2550k| 282 | - | 389 | 540 | 0 | 0 | 0 |2577k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1685.50/1686.28 c 1541s| 4570k| 143 | 0 | 0.0 |2544k| 282 | - | 389 | 533 | 0 | 0 | 0 |2583k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1689.09/1689.81 c 1544s| 4580k| 149 | 0 | 0.0 |2546k| 282 | - | 389 | 536 | 0 | 0 | 0 |2588k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1692.59/1693.36 c 1548s| 4590k| 150 | 0 | 0.0 |2551k| 282 | - | 389 | 539 | 0 | 0 | 0 |2594k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1696.49/1697.30 c 1551s| 4600k| 163 | 0 | 0.0 |2552k| 282 | - | 389 | 537 | 0 | 0 | 0 |2599k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1700.58/1701.30 c 1555s| 4610k| 144 | 0 | 0.0 |2543k| 282 | - | 389 | 536 | 0 | 0 | 0 |2605k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1704.29/1705.03 c 1558s| 4620k| 148 | 0 | 0.0 |2553k| 282 | - | 389 | 542 | 0 | 0 | 0 |2611k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1707.69/1708.48 c 1562s| 4630k| 167 | 0 | 0.0 |2551k| 282 | - | 389 | 537 | 0 | 0 | 0 |2616k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1710.98/1711.75 c 1565s| 4640k| 152 | 0 | 0.0 |2544k| 282 | - | 389 | 535 | 0 | 0 | 0 |2621k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1714.48/1715.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1714.48/1715.29 c 1568s| 4650k| 151 | 0 | 0.0 |2554k| 282 | - | 389 | 543 | 0 | 0 | 0 |2627k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1718.48/1719.22 c 1572s| 4660k| 152 | 0 | 0.0 |2545k| 282 | - | 389 | 536 | 0 | 0 | 0 |2632k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1722.28/1723.09 c 1575s| 4670k| 151 | 0 | 0.0 |2549k| 282 | - | 389 | 534 | 0 | 0 | 0 |2638k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1726.18/1726.92 c 1579s| 4680k| 149 | 0 | 0.0 |2553k| 282 | - | 389 | 538 | 0 | 0 | 0 |2644k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1729.68/1730.50 c 1582s| 4690k| 147 | 0 | 0.0 |2544k| 282 | - | 389 | 535 | 0 | 0 | 0 |2649k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1733.38/1734.19 c 1585s| 4700k| 155 | 0 | 0.0 |2546k| 282 | - | 389 | 535 | 0 | 0 | 0 |2655k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1737.18/1737.93 c 1589s| 4710k| 149 | 0 | 0.0 |2547k| 282 | - | 389 | 541 | 0 | 0 | 0 |2660k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1740.97/1741.70 c 1592s| 4720k| 152 | 0 | 0.0 |2550k| 282 | - | 389 | 538 | 0 | 0 | 0 |2666k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1744.66/1745.48 c 1596s| 4730k| 170 | 0 | 0.0 |2555k| 282 | - | 389 | 550 | 0 | 0 | 0 |2671k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1748.67/1749.49 c 1599s| 4740k| 172 | 0 | 0.0 |2553k| 282 | - | 389 | 538 | 0 | 0 | 0 |2677k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1752.77/1753.53 c 1603s| 4750k| 182 | 0 | 0.0 |2567k| 282 | - | 389 | 565 | 0 | 0 | 0 |2683k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1757.07/1757.86 c 1607s| 4760k| 157 | 0 | 0.0 |2552k| 282 | - | 389 | 547 | 0 | 0 | 0 |2690k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1761.06/1761.81 c 1611s| 4770k| 194 | 0 | 0.0 |2562k| 282 | - | 389 | 536 | 0 | 0 | 0 |2695k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1765.46/1766.20 c 1615s| 4780k| 154 | 0 | 0.0 |2553k| 282 | - | 389 | 550 | 0 | 0 | 0 |2702k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1769.76/1770.53 c 1619s| 4790k| 178 | 0 | 0.0 |2561k| 282 | - | 389 | 544 | 0 | 0 | 0 |2708k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1773.95/1774.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1773.95/1774.74 c 1622s| 4800k| 145 | 0 | 0.0 |2549k| 282 | - | 389 | 539 | 0 | 0 | 0 |2714k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1778.15/1778.99 c 1626s| 4810k| 156 | 0 | 0.0 |2549k| 282 | - | 389 | 539 | 0 | 0 | 0 |2720k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1782.65/1783.40 c 1630s| 4820k| 147 | 0 | 0.0 |2547k| 282 | - | 389 | 536 | 0 | 0 | 0 |2726k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1787.25/1788.04 c 1635s| 4830k| 175 | 0 | 0.0 |2557k| 282 | - | 389 | 544 | 0 | 0 | 0 |2732k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1791.16/1791.94 c 1638s| 4840k| 161 | 0 | 0.0 |2551k| 282 | - | 389 | 537 | 0 | 0 | 0 |2738k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1794.85/1795.64 c 1642s| 4850k| 148 | 0 | 0.0 |2549k| 282 | - | 389 | 541 | 0 | 0 | 0 |2743k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1799.44/1800.22 c 1646s| 4860k| 160 | 0 | 0.0 |2552k| 282 | - | 389 | 539 | 0 | 0 | 0 |2749k| 0 | 9.615000e+03 | 2.913200e+04 | 202.98%
1800.05/1800.80 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.80 c
1800.05/1800.80 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.80 c Solving Time (sec) : 1646.39
1800.05/1800.80 c Solving Nodes : 4861538
1800.05/1800.80 c Primal Bound : +2.91320000000000e+04 (46 solutions)
1800.05/1800.80 c Dual Bound : +9.61500000000000e+03
1800.05/1800.80 c Gap : 202.98 %
1800.05/1800.81 s SATISFIABLE
1800.05/1800.81 v -x54 -x53 -x625 x52 x620 -x614 x608 -x603 -x51 -x601 x50 -x597 x49 -x48 -x592 x590 -x588 -x584 -x47 -x579 -x577 -x46 -x572 x568
1800.05/1800.81 v -x566 -x564 -x562 -x560 -x557 -x554 -x552 -x549 -x545 -x542 -x540 -x538 -x45 -x535 -x533 -x44 -x529 -x527 x524 -x522 -x520 -x518
1800.05/1800.81 v -x516 -x514 -x512 -x509 -x507 -x504 -x501 -x499 -x497 -x495 -x43 -x491 -x488 -x42 -x484 -x41 -x480 -x478 -x476 -x40 -x39
1800.05/1800.81 v -x38 -x471 -x468 -x466 -x464 -x462 -x460 -x37 -x456 -x36 -x453 -x450 -x448 x446 -x444 -x442 -x440 -x438 -x436 -x433 -x431 -x429
1800.05/1800.81 v -x427 -x35 -x424 -x421 -x419 -x34 -x417 -x415 -x413 -x411 -x408 -x406 -x404 -x402 -x400 -x398 -x33 -x396 -x394 -x392 -x390
1800.05/1800.81 v -x386 -x384 -x382 -x380 -x378 -x376 -x374 -x372 -x32 -x369 -x366 -x31 -x364 -x361 -x30 -x29 -x356 -x353 -x28 -x351 -x27 -x26
1800.05/1800.81 v -x347 -x25 -x344 -x341 -x24 -x339 -x337 -x335 -x332 -x330 -x328 -x23 -x325 -x22 -x322 -x320 -x21 -x317 -x315 -x20 -x312 -x19
1800.05/1800.81 v -x308 -x18 -x306 -x304 -x302 -x300 -x298 -x296 -x294 -x17 -x291 -x289 -x16 -x286 x284 -x281 -x279 -x277 -x275 -x272 -x270 -x268
1800.05/1800.81 v -x266 -x264 -x15 -x261 -x259 -x257 -x254 -x252 -x250 -x248 -x246 -x244 -x14 -x242 -x240 -x238 -x236 -x13 -x233 -x231 -x229
1800.05/1800.81 v -x227 -x225 -x223 -x221 -x219 -x217 -x215 -x213 -x211 -x209 -x207 -x205 -x203 -x201 x199 -x197 -x195 -x193 -x191 -x189 -x187
1800.05/1800.81 v -x185 -x183 -x181 -x179 -x177 -x175 -x173 -x171 -x169 -x167 -x165 -x163 -x161 -x159 -x157 -x155 -x153 -x151 -x149 -x147 -x145
1800.05/1800.81 v -x143 -x12 -x141 -x138 -x136 -x134 -x132 -x130 -x11 -x128 -x125 -x10 -x123 -x121 -x118 -x116 -x114 -x112 -x9 -x110 -x108
1800.05/1800.81 v -x106 -x8 -x103 -x101 -x7 -x98 -x96 -x94 -x92 x90 -x87 -x85 -x83 -x6 -x5 -x4 -x78 -x3 -x75 -x73 -x71 -x69 -x67 -x65 -x63 -x2
1800.05/1800.81 v -x61 -x59 -x57 -x1 -x55 -x644 x643 x642 x641 x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627
1800.05/1800.81 v -x626 x624 x623 -x622 x621 -x619 -x618 -x617 x616 -x615 -x613 -x612 -x611 -x610 x609 -x607 -x606 -x605 -x604 -x602 x600 -x599
1800.05/1800.81 v -x598 x596 -x595 -x594 -x593 x591 -x589 -x587 -x586 -x585 -x583 x582 -x581 -x580 -x578 -x576 -x575 -x574 -x573 -x571 -x570
1800.05/1800.81 v x569 -x567 -x565 -x563 -x561 -x559 -x558 -x556 -x555 -x553 -x551 -x550 -x548 -x547 -x546 -x544 -x543 -x541 -x539 -x537 -x536
1800.05/1800.81 v -x534 -x532 -x531 -x530 -x528 -x526 x525 -x523 -x521 -x519 -x517 -x515 -x513 -x511 -x510 -x508 -x506 -x505 -x503 -x502 -x500
1800.05/1800.81 v -x498 -x496 -x494 -x493 -x492 -x490 -x489 -x487 -x486 -x485 -x483 -x482 -x481 -x479 -x477 -x475 -x474 -x473 -x472 x470 -x469
1800.05/1800.81 v -x467 -x465 -x463 -x461 -x459 -x458 -x457 -x455 -x454 -x452 -x451 -x449 x447 -x445 -x443 -x441 -x439 -x437 -x435 -x434 -x432
1800.05/1800.81 v -x430 -x428 -x426 -x425 -x423 -x422 -x420 -x418 -x416 -x414 -x412 -x410 -x409 -x407 -x405 -x403 -x401 -x399 -x397 -x395 -x393
1800.05/1800.81 v -x391 -x389 -x388 -x387 -x385 -x383 -x381 -x379 -x377 -x375 -x373 -x371 -x370 -x368 -x367 -x365 -x363 -x362 -x360 -x359 -x358
1800.05/1800.81 v -x357 -x355 -x354 -x352 -x350 -x349 -x348 -x346 -x345 -x343 -x342 -x340 -x338 -x336 -x334 -x333 -x331 -x329 -x327 -x326 -x324
1800.05/1800.81 v -x323 -x321 -x319 -x318 -x316 -x314 -x313 -x311 -x310 -x309 -x307 -x305 -x303 -x301 -x299 -x297 -x295 -x293 -x292 -x290
1800.05/1800.81 v -x288 -x287 x285 -x283 -x282 -x280 -x278 -x276 -x274 -x273 -x271 -x269 -x267 -x265 -x263 -x262 -x260 -x258 -x256 -x255 -x253
1800.05/1800.81 v -x251 -x249 -x247 -x245 -x243 -x241 -x239 -x237 -x235 -x234 -x232 -x230 -x228 -x226 -x224 -x222 -x220 -x218 -x216 -x214 -x212
1800.05/1800.81 v -x210 -x208 -x206 -x204 -x202 x200 -x198 -x196 -x194 -x192 -x190 -x188 -x186 -x184 -x182 -x180 -x178 -x176 -x174 -x172 -x170
1800.05/1800.81 v -x168 -x166 -x164 -x162 -x160 -x158 -x156 -x154 -x152 -x150 -x148 -x146 -x144 -x142 -x140 -x139 -x137 -x135 -x133 -x131 -x129
1800.05/1800.81 v -x127 -x126 -x124 -x122 -x120 -x119 -x117 -x115 -x113 -x111 -x109 -x107 -x105 -x104 -x102 -x100 -x99 -x97 -x95 -x93 x91 -x89
1800.05/1800.81 v -x88 -x86 -x84 -x82 -x81 -x80 -x79 -x77 -x76 -x74 -x72 -x70 -x68 -x66 -x64 -x62 -x60 -x58 -x56
1800.05/1800.81 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.81 c Solving Time : 1646.39
1800.05/1800.81 c Original Problem :
1800.05/1800.81 c Problem name : HOME/instance-2663967-1276642511.opb
1800.05/1800.81 c Variables : 644 (644 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.81 c Constraints : 1034 initial, 1034 maximal
1800.05/1800.81 c Presolved Problem :
1800.05/1800.81 c Problem name : t_HOME/instance-2663967-1276642511.opb
1800.05/1800.81 c Variables : 389 (389 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.81 c Constraints : 533 initial, 744 maximal
1800.05/1800.81 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.81 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.81 c dualfix : 0.00 2 0 0 0 0 0 0 0
1800.05/1800.81 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.81 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.81 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.81 c probing : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.81 c linear : 0.01 4 249 0 4 0 501 0 0
1800.05/1800.81 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.81 c root node : - 0 - - 0 - - - -
1800.05/1800.81 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.81 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.81 c logicor : 533+ 0 12895933 0 44 2131691 35338716 0 0 0
1800.05/1800.81 c countsols : 0 0 0 0 44 0 0 0 0 0
1800.05/1800.81 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.81 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.81 c logicor : 372.22 0.00 372.22 0.00 0.00
1800.05/1800.81 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.81 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.81 c vbounds : 11.34 2 0 0
1800.05/1800.81 c rootredcost : 10.69 0 0 0
1800.05/1800.81 c pseudoobj : 617.03 25729342 599085 137001875
1800.05/1800.81 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.81 c propagation : 270.54 2730774 2730774 2730774 32.1 76129 56.8 -
1800.05/1800.81 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.81 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.81 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.81 c pseudo solution : 0.18 2038 2038 2038 26.2 171 55.5 -
1800.05/1800.81 c applied globally : - - - 1959748 20.0 - - -
1800.05/1800.81 c applied locally : - - - 790600 62.1 - - -
1800.05/1800.81 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.81 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.81 c redcost : 0.00 0 0 0 0 0
1800.05/1800.81 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.81 c intobj : 0.00 0 0 0 0 0
1800.05/1800.81 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.81 c gomory : 0.00 0 0 0 0 0
1800.05/1800.81 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.81 c cmir : 0.00 0 0 0 0 0
1800.05/1800.81 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.81 c clique : 0.00 0 0 0 0 0
1800.05/1800.81 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.81 c mcf : 0.00 0 0 0 0 0
1800.05/1800.81 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.81 c Pricers : Time Calls Vars
1800.05/1800.81 c problem variables: 0.00 0 0
1800.05/1800.81 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.81 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.81 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.81 c inference : 135.09 3806884 0 0 0 0 7613768
1800.05/1800.81 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.81 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.81 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.81 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.81 c random : 0.00 0 0 0 0 0 0
1800.05/1800.81 c Primal Heuristics : Time Calls Found
1800.05/1800.81 c LP solutions : 0.00 - 0
1800.05/1800.81 c pseudo solutions : 0.00 - 44
1800.05/1800.81 c oneopt : 3.56 0 0
1800.05/1800.81 c trivial : 0.01 2 2
1800.05/1800.81 c simplerounding : 0.00 0 0
1800.05/1800.81 c zirounding : 0.00 0 0
1800.05/1800.81 c rounding : 0.00 0 0
1800.05/1800.81 c shifting : 0.00 0 0
1800.05/1800.81 c intshifting : 0.00 0 0
1800.05/1800.81 c twoopt : 0.00 0 0
1800.05/1800.81 c fixandinfer : 0.00 0 0
1800.05/1800.81 c feaspump : 0.00 0 0
1800.05/1800.81 c coefdiving : 0.00 0 0
1800.05/1800.81 c pscostdiving : 0.00 0 0
1800.05/1800.81 c fracdiving : 0.00 0 0
1800.05/1800.81 c veclendiving : 0.00 0 0
1800.05/1800.81 c intdiving : 0.00 0 0
1800.05/1800.81 c actconsdiving : 0.00 0 0
1800.05/1800.81 c objpscostdiving : 0.00 0 0
1800.05/1800.81 c rootsoldiving : 0.00 0 0
1800.05/1800.81 c linesearchdiving : 0.00 0 0
1800.05/1800.81 c guideddiving : 0.00 0 0
1800.05/1800.81 c octane : 0.00 0 0
1800.05/1800.81 c rens : 0.00 0 0
1800.05/1800.81 c rins : 0.00 0 0
1800.05/1800.81 c localbranching : 0.00 0 0
1800.05/1800.81 c mutation : 0.00 0 0
1800.05/1800.81 c crossover : 0.00 0 0
1800.05/1800.81 c dins : 0.00 0 0
1800.05/1800.81 c undercover : 0.00 0 0
1800.05/1800.81 c nlp : 2.14 0 0
1800.05/1800.81 c trysol : 2.36 0 0
1800.05/1800.81 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.81 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.81 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.81 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.81 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.81 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.81 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.81 c (at root node) : - 0 0 0.00 -
1800.05/1800.81 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.81 c B&B Tree :
1800.05/1800.81 c number of runs : 1
1800.05/1800.81 c nodes : 4861538
1800.05/1800.81 c nodes (total) : 4861538
1800.05/1800.81 c nodes left : 176
1800.05/1800.81 c max depth : 282
1800.05/1800.81 c max depth (total): 282
1800.05/1800.81 c backtracks : 2211814 (45.5%)
1800.05/1800.81 c delayed cutoffs : 2632796
1800.05/1800.81 c repropagations : 13131142 (107423963 domain reductions, 1678204 cutoffs)
1800.05/1800.81 c avg switch length: 6.38
1800.05/1800.81 c switching time : 228.55
1800.05/1800.81 c Solution :
1800.05/1800.81 c Solutions found : 46 (46 improvements)
1800.05/1800.81 c First Solution : +5.61307000000000e+05 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
1800.05/1800.81 c Primal Bound : +2.91320000000000e+04 (in run 1, after 4175524 nodes, 1402.30 seconds, depth 170, found by <relaxation>)
1800.05/1800.81 c Dual Bound : +9.61500000000000e+03
1800.05/1800.81 c Gap : 202.98 %
1800.05/1800.81 c Root Dual Bound : +8.35300000000000e+03
1800.05/1800.81 c Root Iterations : 0
1800.05/1800.82 c Time complete: 1800.06.