0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2667007-1276490421.opb>
0.59/0.68 c original problem has 760 variables (760 bin, 0 int, 0 impl, 0 cont) and 41619 constraints
0.59/0.68 c problem read
0.59/0.68 c presolving settings loaded
0.69/0.79 o 0
0.69/0.79 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.69/0.79 c presolving:
1.29/1.35 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 41619 upgd conss, 83238 impls, 0 clqs
2.39/2.43 c (1.6s) probing: 101/760 (13.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.39/2.43 c (1.6s) probing aborted: 100/100 successive totally useless probings
2.39/2.43 c presolving (2 rounds):
2.39/2.43 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.39/2.43 c 83238 implications, 0 cliques
2.39/2.43 c presolved problem has 760 variables (760 bin, 0 int, 0 impl, 0 cont) and 41619 constraints
2.39/2.43 c 41619 constraints of type <logicor>
2.39/2.43 c transformed objective value is always integral (scale: 1)
2.39/2.43 c Presolving Time: 1.49
2.39/2.43 c - non default parameters ----------------------------------------------------------------------
2.39/2.43 c # SCIP version 1.2.1.2
2.39/2.43 c
2.39/2.43 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
2.39/2.43 c # [type: int, range: [-1,2147483647], default: -1]
2.39/2.43 c conflict/interconss = 0
2.39/2.43 c
2.39/2.43 c # should binary conflicts be preferred?
2.39/2.43 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.43 c conflict/preferbinary = TRUE
2.39/2.43 c
2.39/2.43 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
2.39/2.43 c # [type: int, range: [-1,2147483647], default: 0]
2.39/2.43 c constraints/agelimit = 1
2.39/2.43 c
2.39/2.43 c # should enforcement of pseudo solution be disabled?
2.39/2.43 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.43 c constraints/disableenfops = TRUE
2.39/2.43 c
2.39/2.43 c # frequency for displaying node information lines
2.39/2.43 c # [type: int, range: [-1,2147483647], default: 100]
2.39/2.43 c display/freq = 10000
2.39/2.43 c
2.39/2.43 c # maximal time in seconds to run
2.39/2.43 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.43 c limits/time = 1799.33
2.39/2.43 c
2.39/2.43 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.39/2.43 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.43 c limits/memory = 1620
2.39/2.43 c
2.39/2.43 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
2.39/2.43 c # [type: int, range: [-1,2147483647], default: 1]
2.39/2.43 c lp/solvefreq = 0
2.39/2.43 c
2.39/2.43 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)
2.39/2.43 c # [type: char, range: {lafpsqd}, default: l]
2.39/2.43 c lp/pricing = a
2.39/2.43 c
2.39/2.43 c # should presolving try to simplify inequalities
2.39/2.43 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.43 c constraints/linear/simplifyinequalities = TRUE
2.39/2.43 c
2.39/2.43 c # should presolving try to simplify knapsacks
2.39/2.43 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.43 c constraints/knapsack/simplifyinequalities = TRUE
2.39/2.43 c
2.39/2.43 c # priority of node selection rule <dfs> in standard mode
2.39/2.43 c # [type: int, range: [-536870912,536870911], default: 0]
2.39/2.43 c nodeselection/dfs/stdpriority = 1000000
2.39/2.43 c
2.39/2.43 c -----------------------------------------------------------------------------------------------
2.39/2.43 c start solving
2.39/2.43 c
4.09/4.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.09/4.16 c t 3.2s| 1 | 0 | 762 | - | 47M| 0 | 760 | 760 | 41k| 760 | 41k| 0 | 0 | 0 |-3.800000e+02 | 0.000000e+00 | 100.00%
4.19/4.23 o -1
4.19/4.23 c R 3.3s| 1 | 0 | 762 | - | 47M| 0 | 760 | 760 | 41k| 760 | 41k| 0 | 0 | 0 |-3.800000e+02 |-1.000000e+00 | 99.74%
4.29/4.32 o -2
4.29/4.32 c s 3.4s| 1 | 0 | 762 | - | 47M| 0 | 760 | 760 | 41k| 760 | 41k| 0 | 0 | 0 |-3.800000e+02 |-2.000000e+00 | 99.47%
6.59/6.62 c 5.4s| 1 | 0 | 908 | - | 47M| 0 | 709 | 760 | 41k| 760 | 41k| 4 | 0 | 0 |-3.545000e+02 |-2.000000e+00 | 99.44%
6.59/6.65 o -31
6.59/6.65 c b 5.4s| 1 | 0 | 908 | - | 47M| 0 | 709 | 760 | 41k| 760 | 41k| 4 | 0 | 0 |-3.545000e+02 |-3.100000e+01 | 91.26%
9.48/9.51 c 8.0s| 1 | 0 | 1075 | - | 47M| 0 | 660 | 760 | 41k| 760 | 41k| 22 | 0 | 0 |-3.300000e+02 |-3.100000e+01 | 90.61%
12.58/12.66 c 10.8s| 1 | 0 | 1206 | - | 47M| 0 | 623 | 760 | 41k| 760 | 41k| 31 | 0 | 0 |-3.115000e+02 |-3.100000e+01 | 90.05%
16.78/16.81 c 14.8s| 1 | 0 | 1479 | - | 47M| 0 | 588 | 760 | 41k| 760 | 41k| 38 | 0 | 0 |-2.940000e+02 |-3.100000e+01 | 89.46%
20.19/20.28 c 18.0s| 1 | 0 | 1583 | - | 47M| 0 | 552 | 760 | 41k| 760 | 41k| 43 | 0 | 0 |-2.760000e+02 |-3.100000e+01 | 88.77%
24.38/24.47 c 21.9s| 1 | 0 | 1799 | - | 47M| 0 | 518 | 760 | 41k| 760 | 41k| 53 | 0 | 0 |-2.590000e+02 |-3.100000e+01 | 88.03%
29.58/29.60 c 26.8s| 1 | 0 | 2128 | - | 47M| 0 | 470 | 760 | 41k| 760 | 41k| 66 | 0 | 0 |-2.350000e+02 |-3.100000e+01 | 86.81%
35.08/35.14 c 32.0s| 1 | 0 | 2528 | - | 47M| 0 | 420 | 760 | 41k| 760 | 41k| 75 | 0 | 0 |-2.100000e+02 |-3.100000e+01 | 85.24%
40.48/40.52 c 37.1s| 1 | 0 | 2860 | - | 47M| 0 | 386 | 760 | 41k| 760 | 41k| 83 | 0 | 0 |-1.930000e+02 |-3.100000e+01 | 83.94%
45.28/45.39 c 41.7s| 1 | 0 | 3151 | - | 47M| 0 | 352 | 760 | 41k| 760 | 41k| 90 | 0 | 0 |-1.760000e+02 |-3.100000e+01 | 82.39%
48.68/48.74 c 44.8s| 1 | 0 | 3586 | - | 47M| 0 | 304 | 760 | 41k| 760 | 41k| 97 | 0 | 0 |-1.520000e+02 |-3.100000e+01 | 79.61%
51.79/51.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
51.79/51.81 c 47.6s| 1 | 0 | 3974 | - | 47M| 0 | 255 | 760 | 41k| 760 | 41k| 101 | 0 | 0 |-1.275000e+02 |-3.100000e+01 | 75.69%
54.18/54.22 c 49.8s| 1 | 0 | 4271 | - | 47M| 0 | 221 | 760 | 41k| 760 | 41k| 107 | 0 | 0 |-1.105000e+02 |-3.100000e+01 | 71.95%
56.57/56.60 c 51.9s| 1 | 0 | 4552 | - | 47M| 0 | 204 | 760 | 41k| 760 | 41k| 113 | 0 | 0 |-1.020000e+02 |-3.100000e+01 | 69.61%
58.28/58.37 c 53.3s| 1 | 0 | 4695 | - | 47M| 0 | 187 | 760 | 41k| 760 | 41k| 119 | 0 | 0 |-9.350000e+01 |-3.100000e+01 | 66.84%
60.59/60.63 c 55.4s| 1 | 0 | 4977 | - | 47M| 0 | 153 | 760 | 41k| 760 | 41k| 131 | 0 | 0 |-7.650000e+01 |-3.100000e+01 | 59.48%
62.68/62.79 c 57.3s| 1 | 0 | 5192 | - | 47M| 0 | 138 | 760 | 41k| 760 | 41k| 136 | 0 | 0 |-6.900000e+01 |-3.100000e+01 | 55.07%
64.38/64.45 c 58.7s| 1 | 0 | 5324 | - | 47M| 0 | 123 | 760 | 41k| 760 | 41k| 138 | 0 | 0 |-6.150000e+01 |-3.100000e+01 | 49.59%
66.78/66.89 c 60.9s| 1 | 0 | 5703 | - | 47M| 0 | 125 | 760 | 41k| 760 | 41k| 147 | 0 | 0 |-4.850000e+01 |-3.100000e+01 | 36.08%
68.47/68.58 c 62.3s| 1 | 0 | 5853 | - | 47M| 0 | 123 | 760 | 41k| 760 | 41k| 157 | 0 | 0 |-4.216667e+01 |-3.100000e+01 | 26.48%
69.97/70.03 c 63.7s| 1 | 0 | 6046 | - | 47M| 0 | 115 | 760 | 41k| 760 | 41k| 165 | 0 | 0 |-4.150000e+01 |-3.100000e+01 | 25.30%
71.77/71.82 c 65.3s| 1 | 0 | 6334 | - | 47M| 0 | 125 | 760 | 41k| 760 | 41k| 177 | 0 | 0 |-4.138889e+01 |-3.100000e+01 | 25.10%
73.37/73.41 c 66.8s| 1 | 0 | 6562 | - | 47M| 0 | 122 | 760 | 41k| 760 | 41k| 192 | 0 | 0 |-4.066667e+01 |-3.100000e+01 | 23.77%
74.88/74.92 c 68.1s| 1 | 0 | 6747 | - | 47M| 0 | 130 | 760 | 41k| 760 | 41k| 202 | 0 | 0 |-4.066667e+01 |-3.100000e+01 | 23.77%
76.87/76.91 c 69.9s| 1 | 0 | 6968 | - | 47M| 0 | 118 | 760 | 41k| 760 | 41k| 214 | 0 | 0 |-4.040000e+01 |-3.100000e+01 | 23.27%
79.37/79.47 c 72.1s| 1 | 0 | 7117 | - | 47M| 0 | 119 | 760 | 41k| 760 | 41k| 224 | 0 | 0 |-4.040000e+01 |-3.100000e+01 | 23.27%
82.47/82.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
82.47/82.52 c 75.0s| 1 | 0 | 7611 | - | 47M| 0 | 145 | 760 | 41k| 760 | 41k| 235 | 0 | 0 |-4.000000e+01 |-3.100000e+01 | 22.50%
86.27/86.32 c 78.4s| 1 | 0 | 7981 | - | 47M| 0 | 169 | 760 | 41k| 760 | 41k| 246 | 0 | 0 |-4.000000e+01 |-3.100000e+01 | 22.50%
88.47/88.57 c 80.3s| 1 | 0 | 8143 | - | 48M| 0 | 172 | 760 | 41k| 760 | 41k| 256 | 0 | 0 |-4.000000e+01 |-3.100000e+01 | 22.50%
110.77/110.82 c 98.0s| 1 | 0 | 8276 | - | 48M| 0 | 166 | 760 | 41k| 760 | 41k| 266 | 0 | 0 |-4.000000e+01 |-3.100000e+01 | 22.50%
134.96/135.05 c 118s| 1 | 0 | 8633 | - | 48M| 0 | 164 | 760 | 41k| 760 | 41k| 277 | 0 | 0 |-4.000000e+01 |-3.100000e+01 | 22.50%
159.25/159.33 c 137s| 1 | 0 | 9337 | - | 48M| 0 | 168 | 760 | 41k| 760 | 41k| 286 | 0 | 0 |-4.000000e+01 |-3.100000e+01 | 22.50%
231.62/231.71 c 209s| 1 | 2 | 9337 | - | 48M| 0 | 168 | 760 | 41k| 760 | 41k| 286 | 0 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
235.44/235.60 c 213s| 10000 | 20 | 9337 | 0.0 | 48M| 40 | - | 760 | 41k| 0 | 0 | 286 | 68 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
239.23/239.30 c 217s| 20000 | 19 | 9337 | 0.0 | 48M| 40 | - | 760 | 41k| 0 | 0 | 286 | 119 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
242.92/243.10 c 220s| 30000 | 19 | 9337 | 0.0 | 48M| 44 | - | 760 | 41k| 0 | 0 | 286 | 159 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
246.72/246.88 c 224s| 40000 | 17 | 9337 | 0.0 | 48M| 47 | - | 760 | 41k| 0 | 0 | 286 | 202 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
250.42/250.58 c 228s| 50000 | 19 | 9337 | 0.0 | 48M| 50 | - | 760 | 41k| 0 | 0 | 286 | 248 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
254.22/254.36 c 231s| 60000 | 18 | 9337 | 0.0 | 48M| 50 | - | 760 | 41k| 0 | 0 | 286 | 271 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
258.02/258.12 c 235s| 70000 | 17 | 9337 | 0.0 | 48M| 50 | - | 760 | 41k| 0 | 0 | 286 | 293 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
261.83/261.95 c 238s| 80000 | 17 | 9337 | 0.0 | 48M| 51 | - | 760 | 41k| 0 | 0 | 286 | 336 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
265.62/265.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
265.62/265.73 c 242s| 90000 | 18 | 9337 | 0.0 | 48M| 51 | - | 760 | 41k| 0 | 0 | 286 | 380 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
269.52/269.63 c 246s|100000 | 18 | 9337 | 0.0 | 48M| 51 | - | 760 | 41k| 0 | 0 | 286 | 409 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
273.41/273.52 c 250s|110000 | 22 | 9337 | 0.0 | 48M| 51 | - | 760 | 41k| 0 | 0 | 286 | 436 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
277.12/277.27 c 253s|120000 | 19 | 9337 | 0.0 | 48M| 51 | - | 760 | 41k| 0 | 0 | 286 | 468 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
280.81/280.99 c 257s|130000 | 17 | 9337 | 0.0 | 48M| 54 | - | 760 | 41k| 0 | 0 | 286 | 511 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
284.61/284.79 c 260s|140000 | 18 | 9337 | 0.0 | 48M| 54 | - | 760 | 41k| 0 | 0 | 286 | 579 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
288.61/288.73 c 264s|150000 | 18 | 9337 | 0.0 | 48M| 54 | - | 760 | 41k| 0 | 0 | 286 | 623 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
292.52/292.62 c 268s|160000 | 17 | 9337 | 0.0 | 48M| 54 | - | 760 | 41k| 0 | 0 | 286 | 669 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
296.31/296.43 c 272s|170000 | 18 | 9337 | 0.0 | 48M| 54 | - | 760 | 41k| 0 | 0 | 286 | 712 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
300.11/300.30 c 276s|180000 | 17 | 9337 | 0.0 | 48M| 54 | - | 760 | 41k| 0 | 0 | 286 | 777 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
303.91/304.04 c 279s|190000 | 15 | 9337 | 0.0 | 48M| 54 | - | 760 | 41k| 0 | 0 | 286 | 823 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
307.60/307.76 c 283s|200000 | 18 | 9337 | 0.0 | 48M| 54 | - | 760 | 41k| 0 | 0 | 286 | 860 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
311.31/311.46 c 286s|210000 | 18 | 9337 | 0.0 | 48M| 54 | - | 760 | 41k| 0 | 0 | 286 | 890 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
315.21/315.32 c 290s|220000 | 16 | 9337 | 0.0 | 48M| 54 | - | 760 | 41k| 0 | 0 | 286 | 928 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
318.91/319.07 c 294s|230000 | 17 | 9337 | 0.0 | 48M| 54 | - | 760 | 41k| 0 | 0 | 286 | 945 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
322.70/322.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
322.70/322.89 c 297s|240000 | 15 | 9337 | 0.0 | 48M| 54 | - | 760 | 41k| 0 | 0 | 286 | 993 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
326.50/326.66 c 301s|250000 | 20 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |1051 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
330.31/330.47 c 305s|260000 | 17 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |1080 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
334.00/334.16 c 308s|270000 | 20 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |1122 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
337.80/337.96 c 312s|280000 | 19 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |1160 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
341.60/341.77 c 316s|290000 | 21 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |1197 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
345.50/345.64 c 319s|300000 | 18 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |1219 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
349.20/349.39 c 323s|310000 | 18 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |1268 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
353.10/353.25 c 327s|320000 | 18 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |1299 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
357.00/357.13 c 330s|330000 | 17 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |1335 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
360.89/361.02 c 334s|340000 | 19 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |1353 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
364.69/364.89 c 338s|350000 | 18 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |1386 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
368.49/368.68 c 342s|360000 | 18 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |1411 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
372.29/372.42 c 345s|370000 | 18 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |1445 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
376.09/376.26 c 349s|380000 | 19 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |1464 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
379.89/380.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
379.89/380.09 c 353s|390000 | 16 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |1492 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
383.89/384.07 c 356s|400000 | 18 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |1538 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
387.69/387.87 c 360s|410000 | 16 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |1573 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
391.49/391.63 c 364s|420000 | 17 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |1620 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
395.29/395.46 c 367s|430000 | 16 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |1637 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
399.08/399.22 c 371s|440000 | 16 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |1672 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
402.78/402.98 c 375s|450000 | 16 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |1709 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
406.58/406.72 c 378s|460000 | 20 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |1731 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
410.29/410.42 c 382s|470000 | 18 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |1779 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
414.18/414.32 c 386s|480000 | 18 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |1820 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
418.07/418.20 c 389s|490000 | 20 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |1856 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
421.87/422.01 c 393s|500000 | 19 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |1892 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
425.58/425.76 c 397s|510000 | 18 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |1954 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
429.38/429.51 c 400s|520000 | 16 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |1996 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
433.07/433.23 c 404s|530000 | 17 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |2060 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
436.77/436.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
436.77/436.99 c 407s|540000 | 18 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |2113 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
440.57/440.74 c 411s|550000 | 21 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |2159 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
444.47/444.63 c 415s|560000 | 17 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |2193 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
448.37/448.59 c 419s|570000 | 19 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |2228 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
452.37/452.50 c 422s|580000 | 17 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |2281 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
456.26/456.45 c 426s|590000 | 16 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |2359 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
460.17/460.30 c 430s|600000 | 18 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |2399 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
463.97/464.11 c 434s|610000 | 18 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |2427 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
467.86/468.04 c 437s|620000 | 19 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |2469 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
471.77/471.94 c 441s|630000 | 17 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |2499 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
475.56/475.79 c 445s|640000 | 17 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |2554 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
479.37/479.57 c 449s|650000 | 17 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |2595 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
483.36/483.55 c 452s|660000 | 19 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |2619 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
487.36/487.52 c 456s|670000 | 18 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |2643 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
491.16/491.33 c 460s|680000 | 17 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |2675 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
494.96/495.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
494.96/495.17 c 464s|690000 | 17 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |2708 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
498.85/499.05 c 467s|700000 | 21 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |2744 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
502.76/502.90 c 471s|710000 | 17 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |2787 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
506.55/506.71 c 475s|720000 | 19 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |2828 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
510.26/510.44 c 478s|730000 | 16 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |2874 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
514.15/514.34 c 482s|740000 | 18 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |2917 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
517.96/518.13 c 486s|750000 | 19 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |2961 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
521.75/521.97 c 490s|760000 | 17 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |3016 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
525.66/525.83 c 493s|770000 | 15 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |3063 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
529.55/529.70 c 497s|780000 | 19 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |3106 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
533.24/533.44 c 501s|790000 | 18 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |3151 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
536.94/537.19 c 504s|800000 | 16 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |3187 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
540.64/540.88 c 508s|810000 | 17 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |3239 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
544.45/544.62 c 511s|820000 | 17 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |3257 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
548.14/548.37 c 515s|830000 | 17 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |3298 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
551.94/552.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
551.94/552.18 c 519s|840000 | 18 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |3320 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
555.84/556.02 c 522s|850000 | 15 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |3367 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
559.64/559.81 c 526s|860000 | 16 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |3386 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
563.44/563.66 c 530s|870000 | 19 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |3403 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
567.13/567.38 c 533s|880000 | 18 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |3453 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
570.94/571.19 c 537s|890000 | 17 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |3487 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
574.73/574.98 c 541s|900000 | 18 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |3505 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
578.54/578.79 c 544s|910000 | 18 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |3528 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
582.33/582.54 c 548s|920000 | 18 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |3542 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
586.14/586.36 c 552s|930000 | 16 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |3580 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
589.83/590.09 c 555s|940000 | 17 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |3633 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
593.63/593.86 c 559s|950000 | 16 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |3662 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
597.33/597.58 c 562s|960000 | 19 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |3704 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
601.02/601.28 c 566s|970000 | 15 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |3729 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
604.93/605.17 c 570s|980000 | 16 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |3781 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
608.72/608.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
608.72/608.90 c 573s|990000 | 17 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |3829 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
612.32/612.57 c 577s| 1000k| 15 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |3885 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
616.02/616.29 c 580s| 1010k| 17 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |3923 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
619.83/620.05 c 584s| 1020k| 17 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |3970 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
623.53/623.76 c 588s| 1030k| 16 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |3996 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
627.32/627.52 c 591s| 1040k| 17 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |4038 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
631.02/631.24 c 595s| 1050k| 17 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |4073 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
634.72/634.93 c 598s| 1060k| 17 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |4108 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
638.42/638.67 c 602s| 1070k| 16 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |4159 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
642.22/642.41 c 606s| 1080k| 17 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |4185 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
646.02/646.25 c 609s| 1090k| 19 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |4238 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
649.82/650.02 c 613s| 1100k| 17 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |4292 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
653.52/653.73 c 617s| 1110k| 17 | 9337 | 0.0 | 48M| 61 | - | 760 | 41k| 0 | 0 | 286 |4318 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
657.21/657.48 c 620s| 1120k| 17 | 9337 | 0.0 | 48M| 64 | - | 760 | 41k| 0 | 0 | 286 |4345 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
661.02/661.22 c 624s| 1130k| 18 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |4408 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
664.81/665.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
664.81/665.00 c 627s| 1140k| 17 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |4445 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
668.61/668.83 c 631s| 1150k| 17 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |4477 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
672.21/672.48 c 635s| 1160k| 18 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |4499 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
676.00/676.20 c 638s| 1170k| 17 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |4526 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
679.91/680.10 c 642s| 1180k| 19 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |4564 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
683.70/683.91 c 646s| 1190k| 19 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |4599 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
687.41/687.64 c 649s| 1200k| 18 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |4626 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
691.30/691.54 c 653s| 1210k| 18 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |4657 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
695.11/695.38 c 657s| 1220k| 19 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |4691 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
698.91/699.13 c 660s| 1230k| 16 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |4703 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
702.70/702.95 c 664s| 1240k| 20 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |4721 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
706.50/706.73 c 668s| 1250k| 20 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |4750 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
710.20/710.43 c 671s| 1260k| 19 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |4796 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
714.00/714.20 c 675s| 1270k| 18 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |4831 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
717.90/718.12 c 679s| 1280k| 18 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |4892 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
721.69/721.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
721.69/721.93 c 682s| 1290k| 18 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |4915 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
725.50/725.76 c 686s| 1300k| 19 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |4938 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
729.29/729.56 c 690s| 1310k| 17 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |4961 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
733.19/733.48 c 693s| 1320k| 19 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |4994 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
737.09/737.33 c 697s| 1330k| 16 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |5002 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
740.99/741.28 c 701s| 1340k| 18 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |5031 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
744.99/745.22 c 705s| 1350k| 16 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |5077 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
748.78/749.00 c 708s| 1360k| 18 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |5105 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
752.58/752.84 c 712s| 1370k| 16 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |5129 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
756.28/756.58 c 716s| 1380k| 17 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |5168 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
760.19/760.41 c 719s| 1390k| 18 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |5226 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
763.88/764.19 c 723s| 1400k| 15 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |5276 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
767.78/768.06 c 727s| 1410k| 18 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |5310 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
771.58/771.86 c 731s| 1420k| 17 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |5361 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
775.39/775.65 c 734s| 1430k| 19 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |5399 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
779.17/779.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
779.17/779.40 c 738s| 1440k| 18 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |5430 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
782.88/783.18 c 741s| 1450k| 18 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |5489 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
786.77/787.01 c 745s| 1460k| 18 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |5529 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
790.58/790.88 c 749s| 1470k| 18 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |5602 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
794.27/794.59 c 752s| 1480k| 17 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |5650 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
798.18/798.40 c 756s| 1490k| 17 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |5709 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
801.88/802.12 c 760s| 1500k| 16 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |5745 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
805.67/805.96 c 763s| 1510k| 16 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |5797 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
809.48/809.76 c 767s| 1520k| 17 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |5841 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
813.27/813.55 c 771s| 1530k| 17 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |5882 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
817.08/817.31 c 774s| 1540k| 18 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |5914 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
820.77/821.09 c 778s| 1550k| 19 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |5964 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
824.56/824.83 c 782s| 1560k| 15 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |6016 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
828.17/828.49 c 785s| 1570k| 17 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |6034 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
831.87/832.14 c 789s| 1580k| 18 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |6067 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
835.46/835.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
835.46/835.75 c 792s| 1590k| 19 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |6091 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
839.07/839.38 c 796s| 1600k| 19 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |6162 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
842.76/843.03 c 799s| 1610k| 18 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |6197 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
846.46/846.79 c 803s| 1620k| 19 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |6240 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
850.06/850.40 c 806s| 1630k| 20 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |6261 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
853.75/854.06 c 810s| 1640k| 17 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |6294 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
857.45/857.72 c 813s| 1650k| 19 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |6333 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
861.16/861.42 c 817s| 1660k| 17 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |6358 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
864.86/865.18 c 820s| 1670k| 18 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |6384 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
868.66/868.98 c 824s| 1680k| 19 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |6420 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
872.46/872.71 c 828s| 1690k| 17 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |6472 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
876.05/876.35 c 831s| 1700k| 20 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |6502 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
879.65/879.97 c 835s| 1710k| 17 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |6536 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
883.35/883.64 c 838s| 1720k| 17 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |6596 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
886.95/887.29 c 842s| 1730k| 17 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |6627 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
890.76/891.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
890.76/891.05 c 845s| 1740k| 17 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |6648 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
894.45/894.76 c 849s| 1750k| 18 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |6672 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
898.14/898.45 c 853s| 1760k| 17 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |6698 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
901.85/902.17 c 856s| 1770k| 16 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |6720 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
905.65/905.93 c 860s| 1780k| 18 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |6763 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
909.34/909.65 c 863s| 1790k| 17 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |6783 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
913.14/913.43 c 867s| 1800k| 18 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |6802 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
916.74/917.09 c 871s| 1810k| 19 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |6866 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
920.54/920.83 c 874s| 1820k| 17 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |6892 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
924.24/924.58 c 878s| 1830k| 19 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |6933 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
928.04/928.30 c 881s| 1840k| 18 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |6965 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
931.73/932.07 c 885s| 1850k| 20 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |6990 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
935.43/935.74 c 889s| 1860k| 18 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |7009 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
939.24/939.54 c 892s| 1870k| 18 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |7046 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
942.93/943.25 c 896s| 1880k| 20 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |7101 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
946.73/947.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
946.73/947.06 c 899s| 1890k| 16 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |7116 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
950.63/950.92 c 903s| 1900k| 17 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |7162 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
954.44/954.79 c 907s| 1910k| 17 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |7196 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
958.33/958.62 c 911s| 1920k| 18 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |7238 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
962.13/962.40 c 914s| 1930k| 17 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |7276 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
965.93/966.22 c 918s| 1940k| 20 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |7317 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
969.73/970.09 c 922s| 1950k| 16 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |7348 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
973.53/973.88 c 925s| 1960k| 17 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |7369 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
977.43/977.74 c 929s| 1970k| 16 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |7376 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
981.33/981.62 c 933s| 1980k| 17 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |7418 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
985.12/985.42 c 937s| 1990k| 18 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |7460 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
988.93/989.20 c 940s| 2000k| 18 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |7519 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
992.62/992.91 c 944s| 2010k| 19 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |7540 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
996.33/996.69 c 947s| 2020k| 17 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |7581 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1000.12/1000.40 c 951s| 2030k| 18 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |7636 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1004.02/1004.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1004.02/1004.32 c 955s| 2040k| 18 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |7668 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1007.91/1008.28 c 959s| 2050k| 20 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |7703 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1011.82/1012.19 c 962s| 2060k| 16 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |7727 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1015.71/1016.02 c 966s| 2070k| 17 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |7758 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1019.52/1019.82 c 970s| 2080k| 19 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |7818 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1023.21/1023.56 c 973s| 2090k| 18 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |7879 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1027.12/1027.44 c 977s| 2100k| 17 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |7899 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1030.91/1031.22 c 981s| 2110k| 16 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |7950 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1034.61/1034.90 c 984s| 2120k| 17 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |7981 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1038.41/1038.75 c 988s| 2130k| 17 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |8078 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1042.31/1042.62 c 992s| 2140k| 15 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |8117 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1046.11/1046.42 c 995s| 2150k| 17 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |8157 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1049.91/1050.27 c 999s| 2160k| 17 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |8189 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1053.81/1054.19 c 1003s| 2170k| 19 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |8239 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1057.70/1058.07 c 1007s| 2180k| 16 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |8267 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1061.50/1061.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1061.50/1061.84 c 1010s| 2190k| 16 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |8290 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1065.30/1065.68 c 1014s| 2200k| 19 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |8319 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1069.01/1069.37 c 1018s| 2210k| 18 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |8353 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1072.80/1073.11 c 1021s| 2220k| 17 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |8406 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1076.50/1076.82 c 1025s| 2230k| 18 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |8444 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1080.30/1080.60 c 1028s| 2240k| 17 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |8481 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1084.09/1084.44 c 1032s| 2250k| 18 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |8508 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1087.90/1088.24 c 1036s| 2260k| 18 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |8566 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1091.80/1092.11 c 1040s| 2270k| 17 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |8590 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1095.60/1095.91 c 1043s| 2280k| 19 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |8622 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1099.29/1099.69 c 1047s| 2290k| 17 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |8676 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1103.10/1103.47 c 1051s| 2300k| 20 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |8704 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1106.79/1107.14 c 1054s| 2310k| 16 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |8739 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1110.49/1110.84 c 1058s| 2320k| 15 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |8788 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1114.39/1114.73 c 1061s| 2330k| 16 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |8834 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1118.28/1118.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1118.28/1118.62 c 1065s| 2340k| 19 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |8886 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1122.08/1122.42 c 1069s| 2350k| 18 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |8923 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1125.89/1126.30 c 1073s| 2360k| 16 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |8940 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1129.58/1130.00 c 1076s| 2370k| 15 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |8989 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1133.48/1133.82 c 1080s| 2380k| 18 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |9045 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1137.19/1137.54 c 1083s| 2390k| 20 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |9079 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1140.88/1141.27 c 1087s| 2400k| 19 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |9106 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1144.68/1145.04 c 1091s| 2410k| 17 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |9154 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1148.48/1148.88 c 1094s| 2420k| 18 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |9188 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1152.38/1152.77 c 1098s| 2430k| 17 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |9231 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1156.28/1156.64 c 1102s| 2440k| 20 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |9256 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1159.97/1160.39 c 1106s| 2450k| 16 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |9310 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1163.77/1164.18 c 1109s| 2460k| 16 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |9359 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1167.57/1167.95 c 1113s| 2470k| 18 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |9389 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1171.37/1171.79 c 1117s| 2480k| 19 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |9440 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1175.17/1175.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1175.17/1175.56 c 1120s| 2490k| 16 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |9491 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1178.88/1179.29 c 1124s| 2500k| 16 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |9550 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1182.67/1183.09 c 1127s| 2510k| 19 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |9586 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1186.57/1186.90 c 1131s| 2520k| 18 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |9618 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1190.37/1190.73 c 1135s| 2530k| 16 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |9680 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1194.17/1194.57 c 1139s| 2540k| 17 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |9723 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1197.96/1198.34 c 1142s| 2550k| 16 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |9757 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1201.66/1202.08 c 1146s| 2560k| 15 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |9788 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1205.46/1205.83 c 1149s| 2570k| 16 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |9823 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1209.26/1209.62 c 1153s| 2580k| 16 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |9880 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1213.16/1213.52 c 1157s| 2590k| 17 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |9923 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1216.85/1217.22 c 1160s| 2600k| 15 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |9965 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1220.55/1220.97 c 1164s| 2610k| 17 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 |9996 | 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1224.46/1224.82 c 1168s| 2620k| 16 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 | 10k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1228.15/1228.55 c 1171s| 2630k| 17 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 | 10k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1231.86/1232.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1231.86/1232.29 c 1175s| 2640k| 17 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 | 10k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1235.55/1235.97 c 1178s| 2650k| 16 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 | 10k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1239.35/1239.73 c 1182s| 2660k| 16 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 | 10k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1243.04/1243.47 c 1186s| 2670k| 16 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 | 10k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1246.84/1247.24 c 1189s| 2680k| 17 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 | 10k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1250.63/1251.02 c 1193s| 2690k| 16 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 | 10k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1254.34/1254.79 c 1197s| 2700k| 16 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 | 10k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1258.33/1258.71 c 1200s| 2710k| 16 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 | 10k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1262.14/1262.57 c 1204s| 2720k| 17 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 | 10k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1265.94/1266.35 c 1208s| 2730k| 17 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 | 10k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1269.73/1270.16 c 1212s| 2740k| 16 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 | 10k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1273.54/1273.93 c 1215s| 2750k| 17 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 | 10k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1277.23/1277.68 c 1219s| 2760k| 17 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 | 10k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1281.03/1281.49 c 1222s| 2770k| 17 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 | 10k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1284.83/1285.29 c 1226s| 2780k| 17 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 | 10k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1288.62/1289.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1288.62/1289.04 c 1230s| 2790k| 14 | 9337 | 0.0 | 48M| 66 | - | 760 | 41k| 0 | 0 | 286 | 10k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1292.42/1292.86 c 1233s| 2800k| 18 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 10k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1296.23/1296.64 c 1237s| 2810k| 19 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 10k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1300.02/1300.48 c 1241s| 2820k| 21 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 10k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1304.02/1304.43 c 1245s| 2830k| 17 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 10k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1307.92/1308.34 c 1248s| 2840k| 17 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 10k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1311.62/1312.09 c 1252s| 2850k| 18 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 10k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1315.62/1316.01 c 1256s| 2860k| 18 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 10k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1319.42/1319.88 c 1260s| 2870k| 19 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 10k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1323.31/1323.74 c 1263s| 2880k| 16 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 11k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1327.11/1327.56 c 1267s| 2890k| 18 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 11k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1330.91/1331.39 c 1271s| 2900k| 17 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 11k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1334.71/1335.15 c 1274s| 2910k| 17 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 11k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1338.71/1339.10 c 1278s| 2920k| 18 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 11k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1342.72/1343.10 c 1282s| 2930k| 16 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 11k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1346.51/1346.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1346.51/1346.93 c 1286s| 2940k| 17 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 11k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1350.42/1350.85 c 1289s| 2950k| 18 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 11k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1354.31/1354.78 c 1293s| 2960k| 19 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 11k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1358.11/1358.54 c 1297s| 2970k| 19 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 11k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1361.71/1362.19 c 1300s| 2980k| 20 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 11k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1365.50/1365.92 c 1304s| 2990k| 20 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 11k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1369.21/1369.67 c 1308s| 3000k| 18 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 11k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1372.91/1373.33 c 1311s| 3010k| 18 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 11k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1376.50/1376.92 c 1314s| 3020k| 20 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 11k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1380.11/1380.59 c 1318s| 3030k| 19 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 11k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1383.80/1384.25 c 1322s| 3040k| 19 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 11k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1387.50/1387.95 c 1325s| 3050k| 17 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 11k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1391.30/1391.75 c 1329s| 3060k| 21 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 11k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1394.99/1395.47 c 1332s| 3070k| 16 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 11k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1398.80/1399.21 c 1336s| 3080k| 18 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 11k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1402.60/1403.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1402.60/1403.07 c 1340s| 3090k| 19 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 11k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1406.50/1406.92 c 1343s| 3100k| 18 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 11k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1410.30/1410.72 c 1347s| 3110k| 16 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 11k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1414.10/1414.58 c 1351s| 3120k| 17 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 11k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1417.89/1418.37 c 1354s| 3130k| 19 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 11k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1421.79/1422.22 c 1358s| 3140k| 17 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 11k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1425.39/1425.83 c 1362s| 3150k| 20 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 11k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1428.99/1429.41 c 1365s| 3160k| 17 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 11k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1432.69/1433.17 c 1369s| 3170k| 19 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 12k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1436.39/1436.85 c 1372s| 3180k| 21 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 12k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1440.09/1440.58 c 1376s| 3190k| 20 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 12k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1443.79/1444.29 c 1380s| 3200k| 17 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 12k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1447.68/1448.10 c 1383s| 3210k| 18 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 12k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1451.38/1451.80 c 1387s| 3220k| 18 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 12k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1455.08/1455.52 c 1390s| 3230k| 21 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 12k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1458.68/1459.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1458.68/1459.18 c 1394s| 3240k| 17 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 12k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1462.38/1462.89 c 1397s| 3250k| 18 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 12k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1466.17/1466.68 c 1401s| 3260k| 16 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 12k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1469.87/1470.33 c 1405s| 3270k| 19 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 12k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1473.47/1473.94 c 1408s| 3280k| 19 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 12k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1477.07/1477.52 c 1411s| 3290k| 19 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 12k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1480.68/1481.16 c 1415s| 3300k| 22 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 12k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1484.27/1484.72 c 1418s| 3310k| 17 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 12k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1487.98/1488.43 c 1422s| 3320k| 17 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 12k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1491.67/1492.16 c 1426s| 3330k| 21 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 12k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1495.47/1495.93 c 1429s| 3340k| 19 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 12k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1499.17/1499.66 c 1433s| 3350k| 19 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 12k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1502.97/1503.44 c 1436s| 3360k| 18 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 12k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1506.67/1507.12 c 1440s| 3370k| 19 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 12k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1510.36/1510.86 c 1444s| 3380k| 18 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 13k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1514.27/1514.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1514.27/1514.71 c 1447s| 3390k| 18 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 13k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1518.07/1518.53 c 1451s| 3400k| 19 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 13k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1521.86/1522.31 c 1455s| 3410k| 19 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 13k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1525.66/1526.10 c 1458s| 3420k| 19 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 13k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1529.46/1529.90 c 1462s| 3430k| 20 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 13k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1533.26/1533.76 c 1466s| 3440k| 19 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 13k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1537.06/1537.59 c 1469s| 3450k| 18 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 13k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1540.96/1541.46 c 1473s| 3460k| 17 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 13k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1544.86/1545.31 c 1477s| 3470k| 16 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 13k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1548.65/1549.15 c 1481s| 3480k| 19 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 13k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1552.46/1552.98 c 1484s| 3490k| 20 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 13k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1556.16/1556.62 c 1488s| 3500k| 17 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 13k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1559.85/1560.35 c 1491s| 3510k| 20 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 13k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1563.55/1564.01 c 1495s| 3520k| 18 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 13k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1567.25/1567.73 c 1499s| 3530k| 16 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 13k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1571.05/1571.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1571.05/1571.50 c 1502s| 3540k| 19 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 13k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1574.86/1575.39 c 1506s| 3550k| 18 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 13k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1578.65/1579.20 c 1510s| 3560k| 20 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 13k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1582.46/1582.96 c 1513s| 3570k| 17 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 13k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1586.15/1586.68 c 1517s| 3580k| 19 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 13k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1589.85/1590.38 c 1520s| 3590k| 18 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 13k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1593.65/1594.18 c 1524s| 3600k| 19 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 13k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1597.54/1598.08 c 1528s| 3610k| 18 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 13k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1601.34/1601.84 c 1531s| 3620k| 21 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 14k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1605.04/1605.56 c 1535s| 3630k| 18 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 14k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1608.64/1609.16 c 1538s| 3640k| 18 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 14k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1612.44/1612.92 c 1542s| 3650k| 20 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 14k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1616.23/1616.72 c 1546s| 3660k| 18 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 14k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1620.03/1620.54 c 1549s| 3670k| 19 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 14k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1623.74/1624.20 c 1553s| 3680k| 20 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 14k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1627.44/1627.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1627.44/1627.97 c 1557s| 3690k| 20 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 14k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1631.13/1631.69 c 1560s| 3700k| 17 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 14k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1634.93/1635.47 c 1564s| 3710k| 20 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 14k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1638.73/1639.22 c 1567s| 3720k| 17 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 14k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1642.43/1642.90 c 1571s| 3730k| 18 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 14k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1646.24/1646.76 c 1575s| 3740k| 17 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 14k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1650.13/1650.65 c 1578s| 3750k| 20 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 14k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1654.03/1654.58 c 1582s| 3760k| 16 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 14k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1657.82/1658.36 c 1586s| 3770k| 20 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 14k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1661.63/1662.11 c 1590s| 3780k| 17 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 14k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1665.43/1665.95 c 1593s| 3790k| 17 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 14k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1669.33/1669.86 c 1597s| 3800k| 20 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 14k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1673.22/1673.73 c 1601s| 3810k| 15 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 14k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1677.02/1677.50 c 1604s| 3820k| 19 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 14k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1680.72/1681.27 c 1608s| 3830k| 16 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 14k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1684.51/1685.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1684.51/1685.06 c 1612s| 3840k| 17 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 14k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1688.32/1688.84 c 1615s| 3850k| 17 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 14k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1692.12/1692.69 c 1619s| 3860k| 17 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 14k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1696.01/1696.50 c 1623s| 3870k| 18 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 14k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1699.82/1700.35 c 1626s| 3880k| 18 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 14k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1703.52/1704.03 c 1630s| 3890k| 19 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 14k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1707.32/1707.81 c 1634s| 3900k| 17 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 14k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1711.01/1711.59 c 1637s| 3910k| 19 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 14k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1714.91/1715.48 c 1641s| 3920k| 19 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 14k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1718.70/1719.29 c 1645s| 3930k| 18 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 14k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1722.51/1723.08 c 1648s| 3940k| 19 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 15k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1726.31/1726.83 c 1652s| 3950k| 17 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 15k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1730.10/1730.67 c 1656s| 3960k| 18 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 15k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1733.90/1734.46 c 1659s| 3970k| 16 | 9337 | 0.0 | 48M| 70 | - | 760 | 41k| 0 | 0 | 286 | 15k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1737.81/1738.35 c 1663s| 3980k| 20 | 9337 | 0.0 | 48M| 73 | - | 760 | 41k| 0 | 0 | 286 | 15k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1741.51/1742.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1741.51/1742.09 c 1667s| 3990k| 19 | 9337 | 0.0 | 48M| 73 | - | 760 | 41k| 0 | 0 | 286 | 15k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1745.31/1745.88 c 1670s| 4000k| 16 | 9337 | 0.0 | 48M| 73 | - | 760 | 41k| 0 | 0 | 286 | 15k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1749.00/1749.58 c 1674s| 4010k| 20 | 9337 | 0.0 | 48M| 73 | - | 760 | 41k| 0 | 0 | 286 | 15k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1752.80/1753.36 c 1678s| 4020k| 20 | 9337 | 0.0 | 48M| 73 | - | 760 | 41k| 0 | 0 | 286 | 15k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1756.60/1757.14 c 1681s| 4030k| 20 | 9337 | 0.0 | 48M| 73 | - | 760 | 41k| 0 | 0 | 286 | 15k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1760.30/1760.90 c 1685s| 4040k| 18 | 9337 | 0.0 | 48M| 73 | - | 760 | 41k| 0 | 0 | 286 | 15k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1764.10/1764.66 c 1689s| 4050k| 17 | 9337 | 0.0 | 48M| 73 | - | 760 | 41k| 0 | 0 | 286 | 15k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1768.00/1768.55 c 1692s| 4060k| 18 | 9337 | 0.0 | 48M| 73 | - | 760 | 41k| 0 | 0 | 286 | 15k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1771.79/1772.38 c 1696s| 4070k| 20 | 9337 | 0.0 | 48M| 73 | - | 760 | 41k| 0 | 0 | 286 | 15k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1775.49/1776.06 c 1700s| 4080k| 17 | 9337 | 0.0 | 48M| 73 | - | 760 | 41k| 0 | 0 | 286 | 15k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1779.30/1779.83 c 1703s| 4090k| 17 | 9337 | 0.0 | 48M| 73 | - | 760 | 41k| 0 | 0 | 286 | 15k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1783.10/1783.63 c 1707s| 4100k| 18 | 9337 | 0.0 | 48M| 73 | - | 760 | 41k| 0 | 0 | 286 | 15k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1786.79/1787.36 c 1710s| 4110k| 19 | 9337 | 0.0 | 48M| 73 | - | 760 | 41k| 0 | 0 | 286 | 15k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1790.49/1791.08 c 1714s| 4120k| 19 | 9337 | 0.0 | 48M| 73 | - | 760 | 41k| 0 | 0 | 286 | 15k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1794.19/1794.77 c 1718s| 4130k| 20 | 9337 | 0.0 | 48M| 73 | - | 760 | 41k| 0 | 0 | 286 | 15k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1797.89/1798.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1797.89/1798.47 c 1721s| 4140k| 17 | 9337 | 0.0 | 48M| 73 | - | 760 | 41k| 0 | 0 | 286 | 15k| 20 |-4.000000e+01 |-3.100000e+01 | 22.50%
1800.09/1800.60 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.09/1800.60 c
1800.09/1800.60 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.60 c Solving Time (sec) : 1723.31
1800.09/1800.60 c Solving Nodes : 4145587
1800.09/1800.60 c Primal Bound : -3.10000000000000e+01 (10 solutions)
1800.09/1800.60 c Dual Bound : -4.00000000000000e+01
1800.09/1800.60 c Gap : 22.50 %
1800.09/1800.63 s SATISFIABLE
1800.09/1800.63 v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
1800.09/1800.63 v -x29 -x30 -x31 -x32 -x33 -x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53
1800.09/1800.63 v -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78
1800.09/1800.63 v -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103
1800.09/1800.63 v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124
1800.09/1800.63 v -x125 x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x145
1800.09/1800.63 v -x146 -x147 -x148 -x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166
1800.09/1800.63 v -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187
1800.09/1800.63 v -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208
1800.09/1800.63 v -x209 -x210 -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229
1800.09/1800.63 v -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 x249 -x250
1800.09/1800.63 v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270
1800.09/1800.63 v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291
1800.09/1800.63 v x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 x310 -x311 -x312
1800.09/1800.63 v -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333
1800.09/1800.63 v -x334 -x335 x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354
1800.09/1800.63 v -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375
1800.09/1800.63 v -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396
1800.09/1800.63 v -x397 x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417
1800.09/1800.63 v -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 x436 -x437 -x438
1800.09/1800.63 v -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459
1800.09/1800.63 v -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480
1800.09/1800.63 v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501
1800.09/1800.63 v -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522
1800.09/1800.63 v -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543
1800.09/1800.63 v -x544 -x545 -x546 -x547 -x548 -x549 -x550 x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564
1800.09/1800.63 v -x565 -x566 x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585
1800.09/1800.63 v x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 x606
1800.09/1800.63 v -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 x623 -x624 -x625 -x626 -x627
1800.09/1800.63 v -x628 -x629 -x630 -x631 -x632 -x633 x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648
1800.09/1800.63 v -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 x663 -x664 -x665 -x666 -x667 -x668 -x669
1800.09/1800.63 v -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 x684 -x685 -x686 -x687 -x688 -x689 -x690
1800.09/1800.63 v -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711
1800.09/1800.63 v -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732
1800.09/1800.63 v -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753
1800.09/1800.63 v -x754 -x755 -x756 -x757 -x758 -x759 x760
1800.09/1800.63 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.63 c Solving Time : 1723.31
1800.09/1800.63 c Original Problem :
1800.09/1800.63 c Problem name : HOME/instance-2667007-1276490421.opb
1800.09/1800.63 c Variables : 760 (760 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.63 c Constraints : 41619 initial, 41619 maximal
1800.09/1800.63 c Presolved Problem :
1800.09/1800.63 c Problem name : t_HOME/instance-2667007-1276490421.opb
1800.09/1800.63 c Variables : 760 (760 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.63 c Constraints : 41619 initial, 41643 maximal
1800.09/1800.63 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.09/1800.63 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.63 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.63 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.63 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.63 c implics : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.63 c probing : 0.98 0 0 0 0 0 0 0 0
1800.09/1800.63 c logicor : 0.14 0 0 0 0 0 0 0 0
1800.09/1800.63 c root node : - 0 - - 0 - - - -
1800.09/1800.63 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.09/1800.63 c integral : 0 0 0 1 0 0 0 0 0 2
1800.09/1800.63 c logicor : 41619+ 32 4204036 0 0 360695 9245781 0 0 0
1800.09/1800.63 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.09/1800.63 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.09/1800.63 c integral : 70.28 0.00 0.00 70.28 0.00
1800.09/1800.63 c logicor : 541.82 0.23 541.59 0.00 0.00
1800.09/1800.63 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.09/1800.63 c Propagators : Time Calls Cutoffs DomReds
1800.09/1800.63 c vbounds : 3.21 2 0 0
1800.09/1800.63 c rootredcost : 2.92 0 0 0
1800.09/1800.63 c pseudoobj : 418.13 6411745 1545321 2104909
1800.09/1800.63 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.09/1800.63 c propagation : 287.82 360695 15657 15657 39.9 0 0.0 -
1800.09/1800.63 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.63 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.63 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.63 c pseudo solution : 148.11 170240 0 0 0.0 0 0.0 -
1800.09/1800.63 c applied globally : - - - 15657 39.9 - - -
1800.09/1800.63 c applied locally : - - - 0 0.0 - - -
1800.09/1800.63 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.09/1800.63 c cut pool : 0.01 31 - - 139 - (maximal pool size: 769)
1800.09/1800.63 c redcost : 0.01 32 0 0 0 0
1800.09/1800.63 c impliedbounds : 0.05 32 0 0 0 0
1800.09/1800.63 c intobj : 0.00 0 0 0 0 0
1800.09/1800.63 c cgmip : 0.00 0 0 0 0 0
1800.09/1800.63 c gomory : 65.54 32 0 0 14967 0
1800.09/1800.63 c strongcg : 7.77 20 0 0 10000 0
1800.09/1800.63 c cmir : 8.02 10 0 0 0 0
1800.09/1800.63 c flowcover : 8.98 10 0 0 0 0
1800.09/1800.63 c clique : 0.80 32 0 0 291 0
1800.09/1800.63 c zerohalf : 0.00 0 0 0 0 0
1800.09/1800.63 c mcf : 0.07 1 0 0 0 0
1800.09/1800.63 c rapidlearning : 0.00 0 0 0 0 0
1800.09/1800.63 c Pricers : Time Calls Vars
1800.09/1800.63 c problem variables: 0.00 0 0
1800.09/1800.63 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.09/1800.63 c relpscost : 70.28 1 0 0 0 0 2
1800.09/1800.63 c pscost : 0.00 0 0 0 0 0 0
1800.09/1800.63 c inference : 21.46 2078533 0 0 0 0 4157066
1800.09/1800.63 c mostinf : 0.00 0 0 0 0 0 0
1800.09/1800.63 c leastinf : 0.00 0 0 0 0 0 0
1800.09/1800.63 c fullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.63 c allfullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.63 c random : 0.00 0 0 0 0 0 0
1800.09/1800.63 c Primal Heuristics : Time Calls Found
1800.09/1800.63 c LP solutions : 0.00 - 0
1800.09/1800.63 c pseudo solutions : 0.00 - 0
1800.09/1800.63 c crossover : 0.00 0 0
1800.09/1800.63 c oneopt : 2.71 2 1
1800.09/1800.63 c trivial : 0.02 2 3
1800.09/1800.63 c simplerounding : 0.02 33 2
1800.09/1800.63 c zirounding : 0.02 1 1
1800.09/1800.63 c rounding : 0.65 33 1
1800.09/1800.63 c shifting : 0.88 33 1
1800.09/1800.63 c intshifting : 0.00 0 0
1800.09/1800.63 c twoopt : 0.00 0 0
1800.09/1800.63 c fixandinfer : 0.00 0 0
1800.09/1800.63 c feaspump : 0.00 0 0
1800.09/1800.63 c coefdiving : 0.00 0 0
1800.09/1800.63 c pscostdiving : 0.00 0 0
1800.09/1800.63 c fracdiving : 0.00 0 0
1800.09/1800.63 c veclendiving : 0.00 0 0
1800.09/1800.63 c intdiving : 0.00 0 0
1800.09/1800.63 c actconsdiving : 0.00 0 0
1800.09/1800.63 c objpscostdiving : 0.00 0 0
1800.09/1800.63 c rootsoldiving : 0.00 0 0
1800.09/1800.63 c linesearchdiving : 0.00 0 0
1800.09/1800.63 c guideddiving : 0.00 0 0
1800.09/1800.63 c octane : 0.00 0 0
1800.09/1800.63 c rens : 1.63 1 1
1800.09/1800.63 c rins : 0.00 0 0
1800.09/1800.63 c localbranching : 0.00 0 0
1800.09/1800.63 c mutation : 0.00 0 0
1800.09/1800.63 c dins : 0.00 0 0
1800.09/1800.63 c undercover : 0.00 0 0
1800.09/1800.63 c nlp : 2.28 0 0
1800.09/1800.63 c trysol : 2.00 0 0
1800.09/1800.63 c LP : Time Calls Iterations Iter/call Iter/sec
1800.09/1800.63 c primal LP : 0.11 0 0 0.00 0.00
1800.09/1800.63 c dual LP : 42.01 33 9337 282.94 222.26
1800.09/1800.63 c lex dual LP : 0.00 0 0 0.00 -
1800.09/1800.63 c barrier LP : 0.00 0 0 0.00 -
1800.09/1800.63 c diving/probing LP: 0.00 0 0 0.00 -
1800.09/1800.63 c strong branching : 70.28 20 13869 693.45 197.34
1800.09/1800.63 c (at root node) : - 20 13869 693.45 -
1800.09/1800.63 c conflict analysis: 0.00 0 0 0.00 -
1800.09/1800.63 c B&B Tree :
1800.09/1800.63 c number of runs : 1
1800.09/1800.63 c nodes : 4145587
1800.09/1800.63 c nodes (total) : 4145587
1800.09/1800.63 c nodes left : 17
1800.09/1800.63 c max depth : 73
1800.09/1800.63 c max depth (total): 73
1800.09/1800.63 c backtracks : 633244 (15.3%)
1800.09/1800.63 c delayed cutoffs : 9820
1800.09/1800.63 c repropagations : 11678 (44813 domain reductions, 9203 cutoffs)
1800.09/1800.63 c avg switch length: 2.00
1800.09/1800.63 c switching time : 186.41
1800.09/1800.63 c Solution :
1800.09/1800.63 c Solutions found : 10 (4 improvements)
1800.09/1800.63 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.07 seconds, depth 0, found by <trivial>)
1800.09/1800.63 c Primal Bound : -3.10000000000000e+01 (in run 1, after 1 nodes, 5.38 seconds, depth 0, found by <oneopt>)
1800.09/1800.63 c Dual Bound : -4.00000000000000e+01
1800.09/1800.63 c Gap : 22.50 %
1800.09/1800.63 c Root Dual Bound : -4.00000000000000e+01
1800.09/1800.63 c Root Iterations : 9337
1800.20/1800.80 c Time complete: 1800.29.