0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [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-2665670-1276514270.opb>
0.39/0.46 c original problem has 595 variables (595 bin, 0 int, 0 impl, 0 cont) and 28143 constraints
0.39/0.46 c problem read
0.39/0.46 c presolving settings loaded
0.49/0.53 o 0
0.49/0.53 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.49/0.53 c presolving:
0.89/0.90 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 28143 upgd conss, 56286 impls, 0 clqs
1.59/1.60 c (1.0s) probing: 101/595 (17.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.59/1.60 c (1.0s) probing aborted: 100/100 successive totally useless probings
1.59/1.60 c presolving (2 rounds):
1.59/1.60 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.59/1.60 c 56286 implications, 0 cliques
1.59/1.60 c presolved problem has 595 variables (595 bin, 0 int, 0 impl, 0 cont) and 28143 constraints
1.59/1.60 c 28143 constraints of type <logicor>
1.59/1.60 c transformed objective value is always integral (scale: 1)
1.59/1.60 c Presolving Time: 0.98
1.59/1.60 c - non default parameters ----------------------------------------------------------------------
1.59/1.60 c # SCIP version 1.2.1.2
1.59/1.60 c
1.59/1.60 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.59/1.60 c # [type: int, range: [-1,2147483647], default: -1]
1.59/1.60 c conflict/interconss = 0
1.59/1.60 c
1.59/1.60 c # should binary conflicts be preferred?
1.59/1.60 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.59/1.60 c conflict/preferbinary = TRUE
1.59/1.60 c
1.59/1.60 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.59/1.60 c # [type: int, range: [-1,2147483647], default: 0]
1.59/1.60 c constraints/agelimit = 1
1.59/1.60 c
1.59/1.60 c # should enforcement of pseudo solution be disabled?
1.59/1.60 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.59/1.60 c constraints/disableenfops = TRUE
1.59/1.60 c
1.59/1.60 c # frequency for displaying node information lines
1.59/1.60 c # [type: int, range: [-1,2147483647], default: 100]
1.59/1.60 c display/freq = 10000
1.59/1.60 c
1.59/1.60 c # maximal time in seconds to run
1.59/1.60 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.59/1.60 c limits/time = 1799.54
1.59/1.60 c
1.59/1.60 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.59/1.60 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.59/1.60 c limits/memory = 1620
1.59/1.60 c
1.59/1.60 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.59/1.60 c # [type: int, range: [-1,2147483647], default: 1]
1.59/1.60 c lp/solvefreq = 0
1.59/1.60 c
1.59/1.60 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)
1.59/1.60 c # [type: char, range: {lafpsqd}, default: l]
1.59/1.60 c lp/pricing = a
1.59/1.60 c
1.59/1.60 c # should presolving try to simplify inequalities
1.59/1.60 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.59/1.60 c constraints/linear/simplifyinequalities = TRUE
1.59/1.60 c
1.59/1.60 c # should presolving try to simplify knapsacks
1.59/1.60 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.59/1.60 c constraints/knapsack/simplifyinequalities = TRUE
1.59/1.60 c
1.59/1.60 c # priority of node selection rule <dfs> in standard mode
1.59/1.60 c # [type: int, range: [-536870912,536870911], default: 0]
1.59/1.60 c nodeselection/dfs/stdpriority = 1000000
1.59/1.60 c
1.59/1.60 c -----------------------------------------------------------------------------------------------
1.59/1.60 c start solving
1.59/1.60 c
1.89/1.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.89/1.98 c t 1.4s| 1 | 0 | 646 | - | 32M| 0 | 595 | 595 | 28k| 595 | 28k| 0 | 0 | 0 |-2.975000e+02 | 0.000000e+00 | 100.00%
1.99/2.03 o -1
1.99/2.03 c R 1.4s| 1 | 0 | 646 | - | 32M| 0 | 595 | 595 | 28k| 595 | 28k| 0 | 0 | 0 |-2.975000e+02 |-1.000000e+00 | 99.66%
3.39/3.48 c 2.8s| 1 | 0 | 850 | - | 32M| 0 | 544 | 595 | 28k| 595 | 28k| 14 | 0 | 0 |-2.720000e+02 |-1.000000e+00 | 99.63%
3.49/3.51 o -22
3.49/3.51 c b 2.8s| 1 | 0 | 850 | - | 32M| 0 | 544 | 595 | 28k| 595 | 28k| 14 | 0 | 0 |-2.720000e+02 |-2.200000e+01 | 91.91%
5.09/5.18 c 4.5s| 1 | 0 | 1059 | - | 32M| 0 | 512 | 595 | 28k| 595 | 28k| 20 | 0 | 0 |-2.560000e+02 |-2.200000e+01 | 91.41%
6.69/6.75 c 6.0s| 1 | 0 | 1205 | - | 32M| 0 | 479 | 595 | 28k| 595 | 28k| 26 | 0 | 0 |-2.395000e+02 |-2.200000e+01 | 90.81%
9.19/9.25 c 8.5s| 1 | 0 | 1528 | - | 32M| 0 | 437 | 595 | 28k| 595 | 28k| 37 | 0 | 0 |-2.173333e+02 |-2.200000e+01 | 89.88%
11.69/11.73 c 11.0s| 1 | 0 | 1797 | - | 32M| 0 | 410 | 595 | 28k| 595 | 28k| 43 | 0 | 0 |-2.033333e+02 |-2.200000e+01 | 89.18%
13.99/14.08 c 13.3s| 1 | 0 | 2085 | - | 32M| 0 | 375 | 595 | 28k| 595 | 28k| 53 | 0 | 0 |-1.857500e+02 |-2.200000e+01 | 88.16%
16.79/16.86 c 16.1s| 1 | 0 | 2449 | - | 32M| 0 | 330 | 595 | 28k| 595 | 28k| 60 | 0 | 0 |-1.642500e+02 |-2.200000e+01 | 86.61%
19.59/19.60 c 18.8s| 1 | 0 | 2876 | - | 32M| 0 | 300 | 595 | 28k| 595 | 28k| 68 | 0 | 0 |-1.492500e+02 |-2.200000e+01 | 85.26%
22.08/22.13 c 21.3s| 1 | 0 | 3248 | - | 32M| 0 | 265 | 595 | 28k| 595 | 28k| 77 | 0 | 0 |-1.317500e+02 |-2.200000e+01 | 83.30%
24.98/25.02 c 24.2s| 1 | 0 | 3715 | - | 32M| 0 | 236 | 595 | 28k| 595 | 28k| 84 | 0 | 0 |-1.180000e+02 |-2.200000e+01 | 81.36%
27.39/27.45 c 26.6s| 1 | 0 | 4371 | - | 32M| 0 | 197 | 595 | 28k| 595 | 28k| 93 | 0 | 0 |-9.850000e+01 |-2.200000e+01 | 77.66%
28.88/28.99 c 28.1s| 1 | 0 | 4766 | - | 32M| 0 | 168 | 595 | 28k| 595 | 28k| 97 | 0 | 0 |-8.400000e+01 |-2.200000e+01 | 73.81%
30.29/30.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.29/30.39 c 29.5s| 1 | 0 | 5164 | - | 32M| 0 | 157 | 595 | 28k| 595 | 28k| 106 | 0 | 0 |-6.950000e+01 |-2.200000e+01 | 68.35%
31.38/31.49 c 30.6s| 1 | 0 | 5548 | - | 32M| 0 | 130 | 595 | 28k| 595 | 28k| 114 | 0 | 0 |-5.550000e+01 |-2.200000e+01 | 60.36%
31.79/31.90 c 31.0s| 1 | 0 | 5670 | - | 32M| 0 | 102 | 595 | 28k| 595 | 28k| 121 | 0 | 0 |-5.100000e+01 |-2.200000e+01 | 56.86%
32.18/32.29 c 31.4s| 1 | 0 | 5765 | - | 32M| 0 | 102 | 595 | 28k| 595 | 28k| 129 | 0 | 0 |-4.650000e+01 |-2.200000e+01 | 52.69%
32.69/32.79 c 31.8s| 1 | 0 | 5944 | - | 32M| 0 | 115 | 595 | 28k| 595 | 28k| 134 | 0 | 0 |-4.283333e+01 |-2.200000e+01 | 48.64%
33.09/33.15 c 32.2s| 1 | 0 | 6035 | - | 32M| 0 | 104 | 595 | 28k| 595 | 28k| 142 | 0 | 0 |-3.900000e+01 |-2.200000e+01 | 43.59%
33.58/33.65 c 32.7s| 1 | 0 | 6169 | - | 32M| 0 | 92 | 595 | 28k| 595 | 28k| 154 | 0 | 0 |-3.900000e+01 |-2.200000e+01 | 43.59%
34.18/34.24 c 33.2s| 1 | 0 | 6339 | - | 32M| 0 | 107 | 595 | 28k| 595 | 28k| 166 | 0 | 0 |-3.900000e+01 |-2.200000e+01 | 43.59%
34.88/34.97 c 34.0s| 1 | 0 | 6623 | - | 32M| 0 | 110 | 595 | 28k| 595 | 28k| 174 | 0 | 0 |-3.822222e+01 |-2.200000e+01 | 42.44%
35.48/35.59 c 34.6s| 1 | 0 | 6893 | - | 32M| 0 | 120 | 595 | 28k| 595 | 28k| 185 | 0 | 0 |-3.766667e+01 |-2.200000e+01 | 41.59%
37.88/37.97 c 36.9s| 1 | 0 | 7725 | - | 32M| 0 | 106 | 595 | 28k| 595 | 28k| 196 | 0 | 0 |-3.633333e+01 |-2.200000e+01 | 39.45%
41.28/41.38 c 40.3s| 1 | 0 | 8750 | - | 32M| 0 | 181 | 595 | 28k| 595 | 28k| 205 | 0 | 0 |-3.500000e+01 |-2.200000e+01 | 37.14%
44.18/44.28 c 43.1s| 1 | 0 | 8988 | - | 32M| 0 | 221 | 595 | 28k| 595 | 28k| 219 | 0 | 0 |-3.500000e+01 |-2.200000e+01 | 37.14%
51.77/51.85 c 50.7s| 1 | 0 | 9408 | - | 32M| 0 | 191 | 595 | 28k| 595 | 28k| 233 | 0 | 0 |-3.500000e+01 |-2.200000e+01 | 37.14%
58.88/58.96 c 57.7s| 1 | 0 | 9847 | - | 32M| 0 | 202 | 595 | 28k| 595 | 28k| 240 | 0 | 0 |-3.500000e+01 |-2.200000e+01 | 37.14%
66.58/66.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
66.58/66.62 c 65.3s| 1 | 0 | 10477 | - | 32M| 0 | 239 | 595 | 28k| 595 | 28k| 246 | 0 | 0 |-3.500000e+01 |-2.200000e+01 | 37.14%
74.68/74.76 c 73.4s| 1 | 0 | 11184 | - | 32M| 0 | 293 | 595 | 28k| 595 | 28k| 256 | 0 | 0 |-3.500000e+01 |-2.200000e+01 | 37.14%
166.65/166.78 c 164s| 1 | 2 | 11184 | - | 32M| 0 | 293 | 595 | 28k| 595 | 28k| 256 | 0 | 33 |-3.500000e+01 |-2.200000e+01 | 37.14%
166.75/166.85 o -23
166.75/166.85 c * 164s| 119 | 19 | 11184 | 0.0 | 33M| 25 | - | 595 | 28k| 0 | 0 | 256 | 4 | 33 |-3.500000e+01 |-2.300000e+01 | 34.29%
166.75/166.88 o -24
166.75/166.88 c * 165s| 202 | 19 | 11184 | 0.0 | 33M| 26 | - | 595 | 28k| 0 | 0 | 256 | 4 | 33 |-3.500000e+01 |-2.400000e+01 | 31.43%
166.75/166.89 o -25
166.75/166.89 c * 165s| 208 | 18 | 11184 | 0.0 | 33M| 26 | - | 595 | 28k| 0 | 0 | 256 | 4 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
166.95/167.01 o -26
166.95/167.01 c * 165s| 605 | 17 | 11184 | 0.0 | 33M| 29 | - | 595 | 28k| 0 | 0 | 256 | 11 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
167.24/167.37 o -27
167.24/167.37 c * 165s| 2012 | 17 | 11184 | 0.0 | 33M| 31 | - | 595 | 28k| 0 | 0 | 256 | 14 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
167.55/167.69 o -28
167.55/167.69 c * 165s| 3159 | 16 | 11184 | 0.0 | 33M| 33 | - | 595 | 28k| 0 | 0 | 256 | 20 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
169.55/169.63 c 167s| 10000 | 16 | 11184 | 0.0 | 33M| 38 | - | 595 | 28k| 0 | 0 | 256 | 52 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
172.44/172.51 c 170s| 20000 | 16 | 11184 | 0.0 | 33M| 41 | - | 595 | 28k| 0 | 0 | 256 | 81 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
175.04/175.19 c 172s| 30000 | 18 | 11184 | 0.0 | 33M| 41 | - | 595 | 28k| 0 | 0 | 256 | 172 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
177.95/178.07 c 175s| 40000 | 18 | 11184 | 0.0 | 33M| 44 | - | 595 | 28k| 0 | 0 | 256 | 239 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
180.65/180.75 c 178s| 50000 | 16 | 11184 | 0.0 | 33M| 44 | - | 595 | 28k| 0 | 0 | 256 | 263 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
183.45/183.51 c 180s| 60000 | 17 | 11184 | 0.0 | 33M| 44 | - | 595 | 28k| 0 | 0 | 256 | 295 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
186.25/186.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
186.25/186.38 c 183s| 70000 | 17 | 11184 | 0.0 | 33M| 47 | - | 595 | 28k| 0 | 0 | 256 | 324 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
189.15/189.22 c 186s| 80000 | 15 | 11184 | 0.0 | 33M| 49 | - | 595 | 28k| 0 | 0 | 256 | 347 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
191.94/192.05 c 188s| 90000 | 17 | 11184 | 0.0 | 33M| 49 | - | 595 | 28k| 0 | 0 | 256 | 398 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
194.84/194.92 c 191s|100000 | 16 | 11184 | 0.0 | 33M| 49 | - | 595 | 28k| 0 | 0 | 256 | 467 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
197.64/197.73 c 194s|110000 | 19 | 11184 | 0.0 | 33M| 49 | - | 595 | 28k| 0 | 0 | 256 | 508 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
200.44/200.59 c 197s|120000 | 17 | 11184 | 0.0 | 33M| 49 | - | 595 | 28k| 0 | 0 | 256 | 555 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
203.35/203.44 c 199s|130000 | 16 | 11184 | 0.0 | 33M| 49 | - | 595 | 28k| 0 | 0 | 256 | 597 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
206.24/206.31 c 202s|140000 | 19 | 11184 | 0.0 | 33M| 49 | - | 595 | 28k| 0 | 0 | 256 | 631 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
209.04/209.11 c 205s|150000 | 19 | 11184 | 0.0 | 33M| 49 | - | 595 | 28k| 0 | 0 | 256 | 681 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
211.84/211.90 c 207s|160000 | 16 | 11184 | 0.0 | 33M| 49 | - | 595 | 28k| 0 | 0 | 256 | 709 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
214.54/214.68 c 210s|170000 | 15 | 11184 | 0.0 | 33M| 49 | - | 595 | 28k| 0 | 0 | 256 | 755 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
217.24/217.37 c 213s|180000 | 17 | 11184 | 0.0 | 33M| 49 | - | 595 | 28k| 0 | 0 | 256 | 783 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
220.04/220.11 c 215s|190000 | 17 | 11184 | 0.0 | 33M| 51 | - | 595 | 28k| 0 | 0 | 256 | 807 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
222.73/222.89 c 218s|200000 | 17 | 11184 | 0.0 | 33M| 51 | - | 595 | 28k| 0 | 0 | 256 | 845 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
225.53/225.67 c 221s|210000 | 16 | 11184 | 0.0 | 33M| 51 | - | 595 | 28k| 0 | 0 | 256 | 913 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
228.34/228.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
228.34/228.47 c 223s|220000 | 16 | 11184 | 0.0 | 33M| 51 | - | 595 | 28k| 0 | 0 | 256 | 954 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
231.14/231.27 c 226s|230000 | 16 | 11184 | 0.0 | 33M| 51 | - | 595 | 28k| 0 | 0 | 256 | 969 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
234.03/234.11 c 229s|240000 | 17 | 11184 | 0.0 | 33M| 51 | - | 595 | 28k| 0 | 0 | 256 |1027 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
236.83/236.90 c 231s|250000 | 15 | 11184 | 0.0 | 33M| 51 | - | 595 | 28k| 0 | 0 | 256 |1055 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
239.53/239.69 c 234s|260000 | 15 | 11184 | 0.0 | 33M| 51 | - | 595 | 28k| 0 | 0 | 256 |1118 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
242.33/242.46 c 236s|270000 | 19 | 11184 | 0.0 | 33M| 51 | - | 595 | 28k| 0 | 0 | 256 |1154 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
245.03/245.18 c 239s|280000 | 15 | 11184 | 0.0 | 33M| 51 | - | 595 | 28k| 0 | 0 | 256 |1188 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
247.92/248.02 c 242s|290000 | 17 | 11184 | 0.0 | 33M| 51 | - | 595 | 28k| 0 | 0 | 256 |1241 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
250.74/250.85 c 244s|300000 | 15 | 11184 | 0.0 | 33M| 51 | - | 595 | 28k| 0 | 0 | 256 |1265 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
253.53/253.68 c 247s|310000 | 17 | 11184 | 0.0 | 33M| 51 | - | 595 | 28k| 0 | 0 | 256 |1298 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
256.43/256.50 c 250s|320000 | 18 | 11184 | 0.0 | 33M| 51 | - | 595 | 28k| 0 | 0 | 256 |1338 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
259.13/259.29 c 253s|330000 | 14 | 11184 | 0.0 | 33M| 51 | - | 595 | 28k| 0 | 0 | 256 |1405 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
261.93/262.02 c 255s|340000 | 17 | 11184 | 0.0 | 33M| 51 | - | 595 | 28k| 0 | 0 | 256 |1467 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
264.73/264.85 c 258s|350000 | 18 | 11184 | 0.0 | 33M| 51 | - | 595 | 28k| 0 | 0 | 256 |1502 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
267.52/267.68 c 261s|360000 | 17 | 11184 | 0.0 | 33M| 51 | - | 595 | 28k| 0 | 0 | 256 |1534 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
270.43/270.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
270.43/270.56 c 263s|370000 | 16 | 11184 | 0.0 | 33M| 51 | - | 595 | 28k| 0 | 0 | 256 |1570 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
273.32/273.42 c 266s|380000 | 16 | 11184 | 0.0 | 33M| 52 | - | 595 | 28k| 0 | 0 | 256 |1600 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
276.03/276.19 c 269s|390000 | 14 | 11184 | 0.0 | 33M| 54 | - | 595 | 28k| 0 | 0 | 256 |1631 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
278.93/279.00 c 271s|400000 | 14 | 11184 | 0.0 | 33M| 54 | - | 595 | 28k| 0 | 0 | 256 |1673 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
281.62/281.79 c 274s|410000 | 15 | 11184 | 0.0 | 33M| 54 | - | 595 | 28k| 0 | 0 | 256 |1703 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
284.42/284.59 c 277s|420000 | 14 | 11184 | 0.0 | 33M| 54 | - | 595 | 28k| 0 | 0 | 256 |1735 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
287.11/287.29 c 279s|430000 | 15 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |1760 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
289.92/290.02 c 282s|440000 | 17 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |1793 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
292.72/292.82 c 284s|450000 | 16 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |1821 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
295.52/295.62 c 287s|460000 | 14 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |1848 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
298.32/298.46 c 290s|470000 | 16 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |1875 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
301.11/301.27 c 293s|480000 | 14 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |1896 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
304.02/304.14 c 295s|490000 | 15 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |1927 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
306.82/306.96 c 298s|500000 | 17 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |1956 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
309.61/309.78 c 301s|510000 | 18 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |1985 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
312.52/312.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
312.52/312.62 c 303s|520000 | 15 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |2026 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
315.42/315.53 c 306s|530000 | 17 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |2084 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
318.31/318.47 c 309s|540000 | 16 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |2112 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
321.21/321.33 c 312s|550000 | 18 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |2163 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
324.01/324.11 c 314s|560000 | 17 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |2187 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
326.81/326.91 c 317s|570000 | 15 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |2209 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
329.61/329.72 c 320s|580000 | 16 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |2237 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
332.30/332.48 c 322s|590000 | 16 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |2271 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
335.21/335.30 c 325s|600000 | 14 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |2285 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
338.00/338.15 c 328s|610000 | 16 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |2321 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
340.81/340.95 c 330s|620000 | 16 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |2349 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
343.51/343.60 c 333s|630000 | 14 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |2384 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
346.31/346.42 c 336s|640000 | 15 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |2426 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
349.10/349.22 c 338s|650000 | 16 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |2478 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
351.91/352.04 c 341s|660000 | 17 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |2526 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
354.70/354.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
354.70/354.84 c 344s|670000 | 16 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |2544 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
357.50/357.70 c 346s|680000 | 17 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |2581 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
360.40/360.51 c 349s|690000 | 17 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |2616 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
363.20/363.33 c 352s|700000 | 15 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |2641 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
366.00/366.13 c 354s|710000 | 13 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |2694 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
368.80/368.92 c 357s|720000 | 17 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |2755 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
371.50/371.66 c 360s|730000 | 18 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |2797 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
374.39/374.53 c 362s|740000 | 16 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |2820 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
377.21/377.38 c 365s|750000 | 18 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |2872 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
380.10/380.25 c 368s|760000 | 17 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |2919 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
382.99/383.16 c 371s|770000 | 15 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |3023 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
385.80/385.94 c 373s|780000 | 16 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |3089 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
388.59/388.72 c 376s|790000 | 15 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |3148 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
391.40/391.56 c 379s|800000 | 16 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |3180 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
394.19/394.35 c 381s|810000 | 15 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |3240 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
397.00/397.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
397.00/397.14 c 384s|820000 | 16 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |3276 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
399.79/399.95 c 387s|830000 | 19 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |3324 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
402.69/402.80 c 389s|840000 | 16 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |3386 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
405.49/405.68 c 392s|850000 | 16 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |3428 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
408.38/408.54 c 395s|860000 | 17 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |3472 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
411.30/411.45 c 398s|870000 | 17 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |3649 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
414.19/414.30 c 400s|880000 | 16 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |3687 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
416.99/417.14 c 403s|890000 | 16 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |3710 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
419.88/420.01 c 406s|900000 | 17 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |3749 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
422.69/422.86 c 409s|910000 | 15 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |3796 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
425.49/425.67 c 411s|920000 | 17 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |3830 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
428.28/428.46 c 414s|930000 | 16 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |3854 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
431.18/431.32 c 417s|940000 | 17 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |3871 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
433.98/434.19 c 419s|950000 | 14 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |3911 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
436.88/437.02 c 422s|960000 | 15 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |3975 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
439.68/439.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
439.68/439.81 c 425s|970000 | 15 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |4002 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
442.48/442.65 c 427s|980000 | 18 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |4018 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
445.29/445.47 c 430s|990000 | 16 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |4046 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
448.08/448.26 c 433s| 1000k| 15 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |4064 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
450.98/451.12 c 436s| 1010k| 16 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |4113 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
453.77/453.93 c 438s| 1020k| 16 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |4144 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
456.58/456.77 c 441s| 1030k| 16 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |4181 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
459.48/459.61 c 444s| 1040k| 14 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |4208 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
462.18/462.36 c 446s| 1050k| 17 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |4251 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
465.08/465.20 c 449s| 1060k| 16 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |4302 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
467.87/468.05 c 452s| 1070k| 16 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |4342 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
470.78/470.90 c 454s| 1080k| 15 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |4361 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
473.57/473.77 c 457s| 1090k| 17 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |4400 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
476.37/476.58 c 460s| 1100k| 15 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |4455 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
479.17/479.32 c 462s| 1110k| 17 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |4484 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
482.07/482.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
482.07/482.22 c 465s| 1120k| 17 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |4528 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
484.98/485.12 c 468s| 1130k| 18 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |4577 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
487.87/488.04 c 471s| 1140k| 16 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |4615 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
490.77/490.90 c 473s| 1150k| 14 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |4674 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
493.56/493.70 c 476s| 1160k| 15 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |4709 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
496.47/496.61 c 479s| 1170k| 16 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |4759 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
499.36/499.51 c 482s| 1180k| 13 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |4777 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
502.16/502.31 c 484s| 1190k| 15 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |4859 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
504.97/505.12 c 487s| 1200k| 17 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |4896 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
507.86/508.02 c 490s| 1210k| 15 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |4934 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
510.67/510.87 c 492s| 1220k| 15 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |4999 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
513.57/513.76 c 495s| 1230k| 15 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |5025 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
516.47/516.65 c 498s| 1240k| 14 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |5095 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
519.36/519.55 c 501s| 1250k| 17 | 11184 | 0.0 | 33M| 57 | - | 595 | 28k| 0 | 0 | 256 |5158 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
522.26/522.41 c 503s| 1260k| 15 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |5223 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
525.06/525.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
525.06/525.24 c 506s| 1270k| 17 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |5266 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
527.87/528.04 c 509s| 1280k| 17 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |5291 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
530.65/530.82 c 512s| 1290k| 16 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |5351 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
533.46/533.62 c 514s| 1300k| 15 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |5382 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
536.26/536.43 c 517s| 1310k| 15 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |5452 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
538.96/539.17 c 520s| 1320k| 15 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |5497 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
541.75/541.92 c 522s| 1330k| 16 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |5561 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
544.56/544.72 c 525s| 1340k| 16 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |5630 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
547.36/547.52 c 527s| 1350k| 16 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |5706 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
550.15/550.34 c 530s| 1360k| 16 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |5806 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
553.06/553.22 c 533s| 1370k| 16 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |5833 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
555.85/556.04 c 536s| 1380k| 18 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |5878 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
558.65/558.84 c 538s| 1390k| 17 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |5942 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
561.45/561.63 c 541s| 1400k| 16 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |5981 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
564.25/564.44 c 544s| 1410k| 17 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |6047 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
567.05/567.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
567.05/567.29 c 546s| 1420k| 16 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |6082 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
569.84/570.05 c 549s| 1430k| 17 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |6128 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
572.65/572.84 c 552s| 1440k| 16 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |6160 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
575.45/575.63 c 554s| 1450k| 16 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |6199 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
578.25/578.44 c 557s| 1460k| 18 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |6260 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
581.05/581.27 c 560s| 1470k| 15 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |6295 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
583.95/584.11 c 562s| 1480k| 17 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |6332 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
586.75/586.96 c 565s| 1490k| 17 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |6366 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
589.65/589.86 c 568s| 1500k| 17 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |6423 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
592.54/592.73 c 571s| 1510k| 17 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |6485 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
595.34/595.58 c 573s| 1520k| 15 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |6542 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
598.15/598.38 c 576s| 1530k| 15 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |6581 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
600.94/601.11 c 579s| 1540k| 16 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |6616 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
603.75/603.96 c 581s| 1550k| 16 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |6662 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
606.64/606.81 c 584s| 1560k| 15 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |6705 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
609.44/609.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
609.44/609.62 c 587s| 1570k| 16 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |6746 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
612.24/612.46 c 589s| 1580k| 16 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |6781 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
615.03/615.27 c 592s| 1590k| 16 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |6835 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
617.94/618.11 c 595s| 1600k| 13 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |6886 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
620.83/621.05 c 598s| 1610k| 14 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |6989 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
623.74/623.91 c 600s| 1620k| 15 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |7055 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
626.43/626.65 c 603s| 1630k| 15 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |7117 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
629.23/629.45 c 606s| 1640k| 13 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |7403 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
632.03/632.24 c 608s| 1650k| 15 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |7472 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
634.84/635.04 c 611s| 1660k| 15 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |7512 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
637.74/637.92 c 614s| 1670k| 17 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |7584 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
640.53/640.77 c 616s| 1680k| 18 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |7619 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
643.34/643.56 c 619s| 1690k| 16 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |7651 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
646.23/646.41 c 622s| 1700k| 14 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |7696 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
649.03/649.29 c 625s| 1710k| 16 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |7763 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
652.03/652.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
652.03/652.24 c 627s| 1720k| 17 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |7865 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
654.93/655.18 c 630s| 1730k| 17 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |7949 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
657.73/657.99 c 633s| 1740k| 16 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |8003 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
660.63/660.86 c 636s| 1750k| 17 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |8088 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
663.53/663.75 c 638s| 1760k| 15 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |8187 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
666.43/666.69 c 641s| 1770k| 16 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |8266 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
669.52/669.70 c 644s| 1780k| 18 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |8375 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
672.42/672.68 c 647s| 1790k| 17 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |8475 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
675.42/675.64 c 650s| 1800k| 17 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |8533 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
678.43/678.64 c 653s| 1810k| 17 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |8583 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
681.32/681.57 c 655s| 1820k| 17 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |8656 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
684.32/684.51 c 658s| 1830k| 17 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |8742 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
687.33/687.53 c 661s| 1840k| 14 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |8821 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
690.22/690.48 c 664s| 1850k| 15 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |8875 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
693.12/693.33 c 667s| 1860k| 15 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |8927 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
696.02/696.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
696.02/696.30 c 669s| 1870k| 16 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |9044 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
699.02/699.20 c 672s| 1880k| 16 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |9119 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
701.91/702.10 c 675s| 1890k| 16 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |9186 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
704.71/704.98 c 678s| 1900k| 15 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |9234 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
707.61/707.89 c 681s| 1910k| 16 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |9270 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
710.42/710.65 c 683s| 1920k| 16 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |9305 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
713.21/713.45 c 686s| 1930k| 15 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |9334 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
716.01/716.20 c 688s| 1940k| 18 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |9376 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
718.71/718.99 c 691s| 1950k| 15 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |9405 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
721.71/721.90 c 694s| 1960k| 15 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |9436 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
724.61/724.80 c 697s| 1970k| 15 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |9513 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
727.40/727.61 c 699s| 1980k| 17 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |9587 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
730.30/730.54 c 702s| 1990k| 17 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |9620 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
733.11/733.39 c 705s| 2000k| 16 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |9700 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
736.00/736.27 c 708s| 2010k| 16 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |9762 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
738.91/739.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
738.91/739.20 c 710s| 2020k| 16 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |9883 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
741.91/742.11 c 713s| 2030k| 16 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 |9945 | 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
744.81/745.02 c 716s| 2040k| 15 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 10k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
747.60/747.87 c 719s| 2050k| 15 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 10k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
750.51/750.75 c 721s| 2060k| 15 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 10k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
753.31/753.58 c 724s| 2070k| 17 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 10k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
756.20/756.42 c 727s| 2080k| 18 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 10k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
759.00/759.20 c 729s| 2090k| 19 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 10k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
761.80/762.03 c 732s| 2100k| 18 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 10k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
764.60/764.80 c 735s| 2110k| 17 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 10k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
767.40/767.61 c 738s| 2120k| 17 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 10k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
770.20/770.44 c 740s| 2130k| 16 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 10k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
773.01/773.28 c 743s| 2140k| 15 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 10k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
775.89/776.18 c 746s| 2150k| 16 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 10k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
778.90/779.13 c 749s| 2160k| 15 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 10k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
781.69/781.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
781.69/781.99 c 751s| 2170k| 18 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 10k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
784.59/784.87 c 754s| 2180k| 17 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 10k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
787.50/787.71 c 757s| 2190k| 15 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 10k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
790.29/790.51 c 759s| 2200k| 15 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 10k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
793.00/793.24 c 762s| 2210k| 17 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 10k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
795.69/795.97 c 765s| 2220k| 16 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 10k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
798.49/798.77 c 767s| 2230k| 15 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 10k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
801.39/801.61 c 770s| 2240k| 15 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 11k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
804.19/804.44 c 773s| 2250k| 18 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 11k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
806.99/807.27 c 775s| 2260k| 17 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 11k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
809.79/810.03 c 778s| 2270k| 14 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 11k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
812.59/812.89 c 781s| 2280k| 16 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 11k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
815.49/815.76 c 784s| 2290k| 18 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 11k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
818.39/818.63 c 786s| 2300k| 16 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 11k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
821.19/821.49 c 789s| 2310k| 16 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 11k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
823.99/824.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
823.99/824.27 c 792s| 2320k| 16 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 11k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
826.89/827.10 c 794s| 2330k| 16 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 11k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
829.69/829.97 c 797s| 2340k| 15 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 11k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
832.49/832.75 c 800s| 2350k| 15 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 11k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
835.29/835.54 c 802s| 2360k| 15 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 11k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
838.08/838.39 c 805s| 2370k| 15 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 11k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
840.98/841.20 c 808s| 2380k| 12 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 11k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
843.88/844.14 c 811s| 2390k| 19 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 11k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
846.68/846.97 c 813s| 2400k| 16 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 11k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
849.48/849.79 c 816s| 2410k| 16 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 11k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
852.38/852.67 c 819s| 2420k| 15 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 11k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
855.28/855.50 c 821s| 2430k| 17 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 11k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
858.07/858.39 c 824s| 2440k| 16 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 11k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
860.98/861.24 c 827s| 2450k| 16 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 11k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
863.88/864.17 c 830s| 2460k| 19 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 12k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
866.77/867.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
866.77/867.05 c 833s| 2470k| 17 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 12k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
869.57/869.86 c 835s| 2480k| 15 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 12k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
872.47/872.76 c 838s| 2490k| 16 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 12k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
875.47/875.71 c 841s| 2500k| 15 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 12k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
878.37/878.61 c 844s| 2510k| 18 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 12k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
881.07/881.38 c 846s| 2520k| 18 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 12k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
883.87/884.14 c 849s| 2530k| 17 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 12k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
886.56/886.87 c 851s| 2540k| 14 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 12k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
889.46/889.71 c 854s| 2550k| 18 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 12k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
892.27/892.52 c 857s| 2560k| 18 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 12k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
895.07/895.36 c 860s| 2570k| 19 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 12k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
897.87/898.15 c 862s| 2580k| 16 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 12k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
900.76/901.03 c 865s| 2590k| 17 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 12k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
903.67/903.90 c 868s| 2600k| 15 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 12k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
906.46/906.79 c 870s| 2610k| 18 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 12k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
909.47/909.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
909.47/909.71 c 873s| 2620k| 15 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 12k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
912.26/912.59 c 876s| 2630k| 15 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 12k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
915.16/915.49 c 879s| 2640k| 19 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 12k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
918.06/918.35 c 881s| 2650k| 17 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 12k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
920.96/921.25 c 884s| 2660k| 18 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 12k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
923.86/924.18 c 887s| 2670k| 16 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 13k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
926.75/927.05 c 890s| 2680k| 16 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 13k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
929.66/929.92 c 892s| 2690k| 15 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 13k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
932.46/932.78 c 895s| 2700k| 18 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 13k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
935.45/935.74 c 898s| 2710k| 16 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 13k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
938.26/938.58 c 901s| 2720k| 16 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 13k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
941.27/941.52 c 904s| 2730k| 17 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 13k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
944.06/944.38 c 906s| 2740k| 18 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 13k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
946.86/947.16 c 909s| 2750k| 17 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 13k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
949.65/949.92 c 912s| 2760k| 17 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 13k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
952.36/952.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
952.36/952.63 c 914s| 2770k| 18 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 13k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
955.15/955.42 c 917s| 2780k| 19 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 13k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
957.95/958.24 c 919s| 2790k| 17 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 13k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
960.86/961.11 c 922s| 2800k| 15 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 13k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
963.66/963.99 c 925s| 2810k| 14 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 13k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
966.56/966.85 c 928s| 2820k| 15 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 13k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
969.45/969.70 c 930s| 2830k| 15 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 13k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
972.25/972.53 c 933s| 2840k| 15 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 13k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
975.05/975.34 c 936s| 2850k| 16 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 13k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
977.85/978.16 c 938s| 2860k| 17 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 13k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
980.75/981.09 c 941s| 2870k| 18 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 13k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
983.74/984.06 c 944s| 2880k| 17 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 13k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
986.64/986.94 c 947s| 2890k| 17 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 13k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
989.44/989.77 c 950s| 2900k| 18 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 13k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
992.34/992.69 c 952s| 2910k| 16 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 13k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
995.25/995.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
995.25/995.57 c 955s| 2920k| 16 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 14k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
998.14/998.44 c 958s| 2930k| 17 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 14k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1001.03/1001.34 c 961s| 2940k| 18 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 14k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1003.95/1004.28 c 963s| 2950k| 15 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 14k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1006.84/1007.12 c 966s| 2960k| 19 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 14k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1009.63/1009.99 c 969s| 2970k| 17 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 14k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1012.54/1012.87 c 972s| 2980k| 16 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 14k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1015.53/1015.81 c 974s| 2990k| 17 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 14k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1018.54/1018.82 c 977s| 3000k| 18 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 14k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1021.43/1021.77 c 980s| 3010k| 16 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 14k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1024.43/1024.72 c 983s| 3020k| 15 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 14k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1027.33/1027.65 c 986s| 3030k| 18 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 14k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1030.23/1030.50 c 988s| 3040k| 16 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 14k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1033.13/1033.43 c 991s| 3050k| 17 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 14k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1036.03/1036.36 c 994s| 3060k| 15 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 14k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1038.93/1039.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1038.93/1039.27 c 997s| 3070k| 16 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 14k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1041.93/1042.23 c 1000s| 3080k| 16 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 14k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1044.83/1045.18 c 1002s| 3090k| 16 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 14k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1047.72/1048.09 c 1005s| 3100k| 16 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 14k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1050.63/1050.95 c 1008s| 3110k| 17 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 14k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1053.53/1053.87 c 1011s| 3120k| 15 | 11184 | 0.0 | 33M| 60 | - | 595 | 28k| 0 | 0 | 256 | 14k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1056.43/1056.77 c 1014s| 3130k| 17 | 11184 | 0.0 | 33M| 63 | - | 595 | 28k| 0 | 0 | 256 | 14k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1059.43/1059.75 c 1016s| 3140k| 16 | 11184 | 0.0 | 33M| 63 | - | 595 | 28k| 0 | 0 | 256 | 14k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1062.42/1062.72 c 1019s| 3150k| 17 | 11184 | 0.0 | 33M| 63 | - | 595 | 28k| 0 | 0 | 256 | 14k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1065.32/1065.66 c 1022s| 3160k| 16 | 11184 | 0.0 | 33M| 63 | - | 595 | 28k| 0 | 0 | 256 | 15k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1068.22/1068.57 c 1025s| 3170k| 16 | 11184 | 0.0 | 33M| 63 | - | 595 | 28k| 0 | 0 | 256 | 15k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1071.13/1071.41 c 1028s| 3180k| 14 | 11184 | 0.0 | 33M| 63 | - | 595 | 28k| 0 | 0 | 256 | 15k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1074.03/1074.36 c 1030s| 3190k| 16 | 11184 | 0.0 | 33M| 63 | - | 595 | 28k| 0 | 0 | 256 | 15k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1077.02/1077.37 c 1033s| 3200k| 15 | 11184 | 0.0 | 33M| 63 | - | 595 | 28k| 0 | 0 | 256 | 15k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1079.93/1080.28 c 1036s| 3210k| 15 | 11184 | 0.0 | 33M| 63 | - | 595 | 28k| 0 | 0 | 256 | 15k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1082.82/1083.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1082.82/1083.16 c 1039s| 3220k| 17 | 11184 | 0.0 | 33M| 63 | - | 595 | 28k| 0 | 0 | 256 | 15k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1085.62/1085.99 c 1041s| 3230k| 18 | 11184 | 0.0 | 33M| 63 | - | 595 | 28k| 0 | 0 | 256 | 15k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1088.52/1088.87 c 1044s| 3240k| 14 | 11184 | 0.0 | 33M| 63 | - | 595 | 28k| 0 | 0 | 256 | 15k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1091.41/1091.76 c 1047s| 3250k| 16 | 11184 | 0.0 | 33M| 63 | - | 595 | 28k| 0 | 0 | 256 | 15k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1094.32/1094.65 c 1050s| 3260k| 18 | 11184 | 0.0 | 33M| 63 | - | 595 | 28k| 0 | 0 | 256 | 15k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1097.31/1097.60 c 1053s| 3270k| 14 | 11184 | 0.0 | 33M| 63 | - | 595 | 28k| 0 | 0 | 256 | 15k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1100.21/1100.54 c 1055s| 3280k| 16 | 11184 | 0.0 | 33M| 63 | - | 595 | 28k| 0 | 0 | 256 | 15k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1103.22/1103.52 c 1058s| 3290k| 17 | 11184 | 0.0 | 33M| 63 | - | 595 | 28k| 0 | 0 | 256 | 15k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1106.01/1106.38 c 1061s| 3300k| 15 | 11184 | 0.0 | 33M| 63 | - | 595 | 28k| 0 | 0 | 256 | 15k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1109.01/1109.33 c 1064s| 3310k| 14 | 11184 | 0.0 | 33M| 63 | - | 595 | 28k| 0 | 0 | 256 | 15k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1111.91/1112.23 c 1067s| 3320k| 18 | 11184 | 0.0 | 33M| 63 | - | 595 | 28k| 0 | 0 | 256 | 15k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1114.82/1115.10 c 1069s| 3330k| 16 | 11184 | 0.0 | 33M| 63 | - | 595 | 28k| 0 | 0 | 256 | 15k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1117.81/1118.17 c 1072s| 3340k| 16 | 11184 | 0.0 | 33M| 63 | - | 595 | 28k| 0 | 0 | 256 | 15k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1120.71/1121.08 c 1075s| 3350k| 15 | 11184 | 0.0 | 33M| 63 | - | 595 | 28k| 0 | 0 | 256 | 15k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1123.61/1123.95 c 1078s| 3360k| 17 | 11184 | 0.0 | 33M| 63 | - | 595 | 28k| 0 | 0 | 256 | 15k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1126.51/1126.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1126.51/1126.81 c 1080s| 3370k| 16 | 11184 | 0.0 | 33M| 63 | - | 595 | 28k| 0 | 0 | 256 | 15k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1129.32/1129.68 c 1083s| 3380k| 17 | 11184 | 0.0 | 33M| 63 | - | 595 | 28k| 0 | 0 | 256 | 15k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1132.21/1132.59 c 1086s| 3390k| 15 | 11184 | 0.0 | 33M| 64 | - | 595 | 28k| 0 | 0 | 256 | 15k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1135.21/1135.54 c 1089s| 3400k| 16 | 11184 | 0.0 | 33M| 64 | - | 595 | 28k| 0 | 0 | 256 | 16k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1138.21/1138.51 c 1092s| 3410k| 17 | 11184 | 0.0 | 33M| 64 | - | 595 | 28k| 0 | 0 | 256 | 16k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1141.10/1141.46 c 1095s| 3420k| 16 | 11184 | 0.0 | 33M| 64 | - | 595 | 28k| 0 | 0 | 256 | 16k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1144.01/1144.34 c 1097s| 3430k| 14 | 11184 | 0.0 | 33M| 64 | - | 595 | 28k| 0 | 0 | 256 | 16k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1146.91/1147.21 c 1100s| 3440k| 15 | 11184 | 0.0 | 33M| 64 | - | 595 | 28k| 0 | 0 | 256 | 16k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1149.80/1150.13 c 1103s| 3450k| 15 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 16k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1152.71/1153.00 c 1106s| 3460k| 17 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 16k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1155.50/1155.88 c 1108s| 3470k| 16 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 16k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1158.30/1158.67 c 1111s| 3480k| 16 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 16k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1161.10/1161.47 c 1114s| 3490k| 15 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 16k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1163.90/1164.25 c 1116s| 3500k| 16 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 16k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1166.71/1167.02 c 1119s| 3510k| 16 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 16k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1169.40/1169.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1169.40/1169.74 c 1122s| 3520k| 17 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 16k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1172.10/1172.47 c 1124s| 3530k| 17 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 16k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1174.99/1175.33 c 1127s| 3540k| 16 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 16k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1177.80/1178.14 c 1130s| 3550k| 16 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 16k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1180.69/1181.00 c 1132s| 3560k| 16 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 16k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1183.50/1183.89 c 1135s| 3570k| 16 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 16k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1186.50/1186.83 c 1138s| 3580k| 15 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 16k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1189.29/1189.66 c 1141s| 3590k| 15 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 16k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1192.19/1192.51 c 1143s| 3600k| 15 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 16k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1195.10/1195.40 c 1146s| 3610k| 17 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 17k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1197.89/1198.26 c 1149s| 3620k| 16 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 17k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1200.80/1201.18 c 1152s| 3630k| 17 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 17k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1203.69/1204.02 c 1154s| 3640k| 17 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 17k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1206.49/1206.88 c 1157s| 3650k| 15 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 17k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1209.29/1209.67 c 1160s| 3660k| 16 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 17k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1212.08/1212.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1212.08/1212.46 c 1162s| 3670k| 18 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 17k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1214.78/1215.15 c 1165s| 3680k| 15 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 17k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1217.48/1217.86 c 1167s| 3690k| 15 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 17k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1220.29/1220.66 c 1170s| 3700k| 16 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 17k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1223.18/1223.59 c 1173s| 3710k| 16 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 17k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1226.10/1226.44 c 1176s| 3720k| 15 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 17k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1228.98/1229.34 c 1178s| 3730k| 16 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 17k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1231.78/1232.18 c 1181s| 3740k| 14 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 17k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1234.68/1235.03 c 1184s| 3750k| 16 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 17k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1237.48/1237.85 c 1187s| 3760k| 18 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 17k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1240.28/1240.64 c 1189s| 3770k| 14 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 17k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1242.98/1243.35 c 1192s| 3780k| 16 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 17k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1245.78/1246.15 c 1194s| 3790k| 16 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 17k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1248.68/1249.00 c 1197s| 3800k| 17 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 17k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1251.48/1251.83 c 1200s| 3810k| 18 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 18k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1254.38/1254.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1254.38/1254.70 c 1203s| 3820k| 18 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 18k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1257.17/1257.52 c 1205s| 3830k| 18 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 18k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1259.88/1260.27 c 1208s| 3840k| 15 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 18k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1262.67/1263.01 c 1210s| 3850k| 15 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 18k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1265.37/1265.79 c 1213s| 3860k| 16 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 18k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1268.18/1268.56 c 1216s| 3870k| 13 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 18k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1271.07/1271.42 c 1219s| 3880k| 17 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 18k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1273.87/1274.27 c 1221s| 3890k| 16 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 18k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1276.78/1277.12 c 1224s| 3900k| 17 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 18k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1279.58/1279.94 c 1227s| 3910k| 16 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 18k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1282.37/1282.72 c 1229s| 3920k| 15 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 18k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1285.17/1285.56 c 1232s| 3930k| 17 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 18k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1288.07/1288.47 c 1235s| 3940k| 16 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 18k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1290.97/1291.36 c 1238s| 3950k| 18 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 18k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1293.77/1294.17 c 1240s| 3960k| 16 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 18k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1296.67/1297.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1296.67/1297.00 c 1243s| 3970k| 17 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 18k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1299.46/1299.88 c 1246s| 3980k| 16 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 18k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1302.37/1302.78 c 1248s| 3990k| 17 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 18k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1305.27/1305.65 c 1251s| 4000k| 16 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 18k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1308.06/1308.45 c 1254s| 4010k| 16 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 19k| 33 |-3.500000e+01 |-2.800000e+01 | 20.00%
1308.87/1309.24 o -29
1308.87/1309.24 c *1255s| 4012k| 14 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 19k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1310.87/1311.27 c 1256s| 4020k| 16 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 19k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1313.66/1314.04 c 1259s| 4030k| 13 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 19k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1316.46/1316.83 c 1262s| 4040k| 18 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 19k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1319.16/1319.57 c 1264s| 4050k| 15 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 19k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1321.96/1322.37 c 1267s| 4060k| 16 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 19k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1324.76/1325.18 c 1270s| 4070k| 15 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 19k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1327.56/1327.96 c 1272s| 4080k| 16 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 19k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1330.36/1330.75 c 1275s| 4090k| 18 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 19k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1333.16/1333.58 c 1278s| 4100k| 15 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 19k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1336.06/1336.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1336.06/1336.48 c 1281s| 4110k| 17 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 19k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1338.95/1339.34 c 1283s| 4120k| 16 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 19k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1341.75/1342.17 c 1286s| 4130k| 15 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 19k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1344.56/1344.96 c 1289s| 4140k| 16 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 19k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1347.45/1347.82 c 1291s| 4150k| 15 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 19k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1350.25/1350.69 c 1294s| 4160k| 13 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 19k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1353.16/1353.56 c 1297s| 4170k| 15 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 19k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1356.06/1356.44 c 1300s| 4180k| 15 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 19k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1358.95/1359.34 c 1302s| 4190k| 14 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 19k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1361.85/1362.29 c 1305s| 4200k| 15 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 19k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1364.76/1365.19 c 1308s| 4210k| 17 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 19k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1367.74/1368.10 c 1311s| 4220k| 17 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 19k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1370.65/1371.05 c 1314s| 4230k| 17 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 19k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1373.65/1374.00 c 1316s| 4240k| 14 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 20k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1376.55/1376.90 c 1319s| 4250k| 16 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 20k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1379.44/1379.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1379.44/1379.80 c 1322s| 4260k| 18 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 20k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1382.26/1382.65 c 1325s| 4270k| 14 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 20k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1385.14/1385.52 c 1327s| 4280k| 15 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 20k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1387.95/1388.36 c 1330s| 4290k| 15 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 20k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1390.84/1391.26 c 1333s| 4300k| 17 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 20k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1393.74/1394.12 c 1336s| 4310k| 16 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 20k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1396.65/1397.04 c 1338s| 4320k| 15 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 20k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1399.44/1399.88 c 1341s| 4330k| 15 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 20k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1402.34/1402.75 c 1344s| 4340k| 15 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 20k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1405.24/1405.63 c 1347s| 4350k| 15 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 20k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1408.04/1408.49 c 1349s| 4360k| 11 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 20k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1411.04/1411.42 c 1352s| 4370k| 19 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 20k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1413.84/1414.28 c 1355s| 4380k| 15 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 20k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1416.73/1417.17 c 1358s| 4390k| 15 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 20k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1419.74/1420.11 c 1360s| 4400k| 16 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 20k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1422.54/1422.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1422.54/1422.95 c 1363s| 4410k| 17 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 21k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1425.44/1425.89 c 1366s| 4420k| 17 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 21k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1428.44/1428.87 c 1369s| 4430k| 13 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 21k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1431.43/1431.81 c 1372s| 4440k| 14 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 21k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1434.13/1434.59 c 1374s| 4450k| 16 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 21k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1437.03/1437.42 c 1377s| 4460k| 15 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 21k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1439.93/1440.32 c 1380s| 4470k| 15 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 21k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1442.84/1443.21 c 1382s| 4480k| 17 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 21k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1445.63/1446.09 c 1385s| 4490k| 18 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 21k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1448.53/1448.98 c 1388s| 4500k| 13 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 21k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1451.54/1451.94 c 1391s| 4510k| 15 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 21k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1454.42/1454.83 c 1393s| 4520k| 12 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 21k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1457.23/1457.69 c 1396s| 4530k| 15 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 21k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1460.13/1460.56 c 1399s| 4540k| 13 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 21k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1462.93/1463.38 c 1402s| 4550k| 15 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 21k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1465.83/1466.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1465.83/1466.27 c 1404s| 4560k| 15 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 21k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1468.72/1469.19 c 1407s| 4570k| 16 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 21k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1471.63/1472.04 c 1410s| 4580k| 16 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 21k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1474.43/1474.87 c 1413s| 4590k| 17 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 21k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1477.32/1477.78 c 1415s| 4600k| 17 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 21k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1480.23/1480.68 c 1418s| 4610k| 16 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 21k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1483.12/1483.58 c 1421s| 4620k| 11 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 21k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1486.02/1486.41 c 1424s| 4630k| 14 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 21k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1488.72/1489.18 c 1426s| 4640k| 16 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 21k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1491.52/1491.97 c 1429s| 4650k| 15 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 22k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1494.43/1494.81 c 1432s| 4660k| 16 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 22k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1497.31/1497.80 c 1434s| 4670k| 16 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 22k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1500.21/1500.65 c 1437s| 4680k| 16 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 22k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1503.12/1503.54 c 1440s| 4690k| 17 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 22k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1506.02/1506.40 c 1443s| 4700k| 13 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 22k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1508.82/1509.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1508.82/1509.27 c 1445s| 4710k| 16 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 22k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1511.71/1512.20 c 1448s| 4720k| 15 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 22k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1514.61/1515.07 c 1451s| 4730k| 14 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 22k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1517.52/1517.91 c 1454s| 4740k| 16 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 22k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1520.31/1520.74 c 1456s| 4750k| 17 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 22k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1523.12/1523.59 c 1459s| 4760k| 16 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 22k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1525.91/1526.38 c 1462s| 4770k| 17 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 22k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1528.81/1529.22 c 1464s| 4780k| 15 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 22k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1531.71/1532.10 c 1467s| 4790k| 17 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 22k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1534.51/1534.99 c 1470s| 4800k| 15 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 22k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1537.50/1537.91 c 1473s| 4810k| 13 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 22k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1540.41/1540.83 c 1475s| 4820k| 15 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 22k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1543.21/1543.68 c 1478s| 4830k| 15 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 22k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1546.11/1546.55 c 1481s| 4840k| 15 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 22k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1549.11/1549.50 c 1484s| 4850k| 14 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 22k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1551.90/1552.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1551.90/1552.38 c 1487s| 4860k| 12 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 22k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1554.80/1555.25 c 1489s| 4870k| 14 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 22k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1557.70/1558.12 c 1492s| 4880k| 14 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 23k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1560.70/1561.12 c 1495s| 4890k| 16 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 23k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1563.61/1564.01 c 1498s| 4900k| 15 | 11184 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 256 | 23k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1566.40/1566.84 c 1500s| 4910k| 18 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 23k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1569.21/1569.67 c 1503s| 4920k| 18 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 23k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1572.09/1572.50 c 1506s| 4930k| 18 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 23k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1574.81/1575.25 c 1508s| 4940k| 17 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 23k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1577.49/1577.95 c 1511s| 4950k| 18 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 23k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1580.31/1580.76 c 1514s| 4960k| 19 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 23k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1583.20/1583.68 c 1516s| 4970k| 18 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 23k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1585.99/1586.48 c 1519s| 4980k| 17 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 23k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1588.79/1589.20 c 1522s| 4990k| 20 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 23k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1591.49/1591.93 c 1524s| 5000k| 19 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 23k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1594.19/1594.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1594.19/1594.63 c 1527s| 5010k| 16 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 23k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1596.89/1597.34 c 1529s| 5020k| 18 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 23k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1599.59/1600.09 c 1532s| 5030k| 17 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 23k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1602.49/1602.94 c 1535s| 5040k| 18 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 23k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1605.29/1605.79 c 1537s| 5050k| 17 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 23k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1608.29/1608.71 c 1540s| 5060k| 18 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 23k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1611.10/1611.58 c 1543s| 5070k| 18 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 23k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1614.08/1614.52 c 1546s| 5080k| 17 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 23k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1616.88/1617.31 c 1548s| 5090k| 19 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 23k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1619.68/1620.16 c 1551s| 5100k| 17 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 23k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1622.39/1622.87 c 1554s| 5110k| 17 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 23k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1625.08/1625.59 c 1556s| 5120k| 18 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 23k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1627.88/1628.38 c 1559s| 5130k| 16 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 23k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1630.79/1631.26 c 1562s| 5140k| 18 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 23k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1633.58/1634.08 c 1564s| 5150k| 16 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 23k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1636.39/1636.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1636.39/1636.85 c 1567s| 5160k| 17 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 24k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1639.28/1639.72 c 1570s| 5170k| 16 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 24k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1642.18/1642.63 c 1573s| 5180k| 17 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 24k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1644.98/1645.44 c 1575s| 5190k| 17 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 24k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1647.78/1648.28 c 1578s| 5200k| 18 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 24k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1650.69/1651.13 c 1581s| 5210k| 17 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 24k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1653.48/1653.97 c 1583s| 5220k| 19 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 24k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1656.37/1656.81 c 1586s| 5230k| 16 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 24k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1659.18/1659.64 c 1589s| 5240k| 16 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 24k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1661.98/1662.47 c 1592s| 5250k| 15 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 24k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1664.88/1665.32 c 1594s| 5260k| 17 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 24k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1667.67/1668.14 c 1597s| 5270k| 16 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 24k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1670.48/1670.95 c 1600s| 5280k| 14 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 24k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1673.28/1673.73 c 1602s| 5290k| 17 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 24k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1676.07/1676.54 c 1605s| 5300k| 16 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 24k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1678.87/1679.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1678.87/1679.33 c 1608s| 5310k| 16 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 24k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1681.57/1682.07 c 1610s| 5320k| 15 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 24k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1684.37/1684.86 c 1613s| 5330k| 17 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 24k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1687.16/1687.69 c 1616s| 5340k| 16 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 24k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1690.07/1690.55 c 1618s| 5350k| 17 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 24k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1692.87/1693.30 c 1621s| 5360k| 15 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 24k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1695.57/1696.09 c 1624s| 5370k| 17 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 24k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1698.36/1698.89 c 1626s| 5380k| 18 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 24k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1701.28/1701.76 c 1629s| 5390k| 15 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 24k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1704.07/1704.55 c 1632s| 5400k| 16 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 24k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1706.97/1707.43 c 1634s| 5410k| 19 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 24k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1709.76/1710.27 c 1637s| 5420k| 16 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 24k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1712.56/1713.06 c 1640s| 5430k| 15 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 24k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1715.47/1715.94 c 1642s| 5440k| 17 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 24k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1718.36/1718.85 c 1645s| 5450k| 16 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 24k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1721.26/1721.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1721.26/1721.76 c 1648s| 5460k| 16 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 24k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1724.16/1724.60 c 1651s| 5470k| 16 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 24k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1726.96/1727.49 c 1654s| 5480k| 17 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 24k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1729.86/1730.34 c 1656s| 5490k| 15 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 25k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1732.76/1733.24 c 1659s| 5500k| 16 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 25k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1735.56/1736.01 c 1662s| 5510k| 18 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 25k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1738.26/1738.75 c 1664s| 5520k| 16 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 25k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1741.05/1741.55 c 1667s| 5530k| 17 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 25k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1743.96/1744.40 c 1670s| 5540k| 15 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 25k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1746.75/1747.26 c 1672s| 5550k| 14 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 25k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1749.66/1750.16 c 1675s| 5560k| 16 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 25k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1752.46/1752.96 c 1678s| 5570k| 15 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 25k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1755.25/1755.77 c 1681s| 5580k| 14 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 25k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1758.15/1758.66 c 1683s| 5590k| 18 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 25k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1761.05/1761.59 c 1686s| 5600k| 17 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 25k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1763.95/1764.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1763.95/1764.48 c 1689s| 5610k| 17 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 25k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1766.85/1767.33 c 1692s| 5620k| 17 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 25k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1769.75/1770.22 c 1694s| 5630k| 16 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 25k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1772.65/1773.17 c 1697s| 5640k| 16 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 25k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1775.64/1776.12 c 1700s| 5650k| 17 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 25k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1778.44/1778.90 c 1703s| 5660k| 17 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 25k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1781.15/1781.67 c 1705s| 5670k| 16 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 25k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1783.94/1784.45 c 1708s| 5680k| 17 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 25k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1786.74/1787.24 c 1711s| 5690k| 15 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 25k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1789.64/1790.12 c 1713s| 5700k| 15 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 25k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1792.45/1792.99 c 1716s| 5710k| 17 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 25k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1795.25/1795.79 c 1719s| 5720k| 18 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 25k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1798.05/1798.59 c 1721s| 5730k| 18 | 11184 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 256 | 25k| 33 |-3.500000e+01 |-2.900000e+01 | 17.14%
1800.05/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.50 c
1800.05/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.50 c Solving Time (sec) : 1723.24
1800.05/1800.50 c Solving Nodes : 5736774
1800.05/1800.50 c Primal Bound : -2.90000000000000e+01 (20 solutions)
1800.05/1800.50 c Dual Bound : -3.49999999999995e+01
1800.05/1800.50 c Gap : 17.14 %
1800.05/1800.52 s SATISFIABLE
1800.05/1800.52 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.05/1800.52 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.05/1800.52 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.05/1800.52 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.05/1800.52 v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124
1800.05/1800.52 v -x125 -x126 -x127 -x128 x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145
1800.05/1800.52 v -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166
1800.05/1800.52 v -x167 -x168 x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187
1800.05/1800.52 v -x188 -x189 -x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208
1800.05/1800.52 v -x209 -x210 -x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229
1800.05/1800.52 v x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
1800.05/1800.52 v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 x265 -x266 -x267 -x268 -x269 -x270 -x271
1800.05/1800.52 v -x272 -x273 -x274 -x275 -x276 x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292
1800.05/1800.52 v -x293 -x294 -x295 -x296 x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313
1800.05/1800.52 v -x314 -x315 -x316 -x317 -x318 -x319 x320 -x321 -x322 -x323 -x324 x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334
1800.05/1800.52 v -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 x353 -x354 -x355
1800.05/1800.52 v -x356 -x357 -x358 -x359 x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376
1800.05/1800.52 v -x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397
1800.05/1800.52 v -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 x415 -x416 -x417 -x418
1800.05/1800.52 v -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 x433 -x434 -x435 -x436 -x437 -x438 -x439
1800.05/1800.52 v -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460
1800.05/1800.52 v -x461 -x462 -x463 -x464 -x465 x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481
1800.05/1800.52 v -x482 -x483 x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502
1800.05/1800.52 v -x503 x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523
1800.05/1800.52 v x524 -x525 -x526 -x527 -x528 x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544
1800.05/1800.52 v x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565
1800.05/1800.52 v -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586
1800.05/1800.52 v -x587 -x588 -x589 -x590 -x591 -x592 -x593 x594 -x595
1800.05/1800.52 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.52 c Solving Time : 1723.24
1800.05/1800.52 c Original Problem :
1800.05/1800.52 c Problem name : HOME/instance-2665670-1276514270.opb
1800.05/1800.52 c Variables : 595 (595 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.52 c Constraints : 28143 initial, 28143 maximal
1800.05/1800.52 c Presolved Problem :
1800.05/1800.52 c Problem name : t_HOME/instance-2665670-1276514270.opb
1800.05/1800.52 c Variables : 595 (595 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.52 c Constraints : 28143 initial, 28174 maximal
1800.05/1800.52 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.52 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.52 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.52 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.52 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.52 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.52 c probing : 0.64 0 0 0 0 0 0 0 0
1800.05/1800.52 c logicor : 0.09 0 0 0 0 0 0 0 0
1800.05/1800.52 c root node : - 0 - - 0 - - - -
1800.05/1800.52 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.52 c integral : 0 0 0 1 0 0 0 0 0 2
1800.05/1800.52 c logicor : 28143+ 29 5993504 0 7 587437 11477069 0 0 0
1800.05/1800.52 c countsols : 0 0 0 0 7 0 0 0 0 0
1800.05/1800.52 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.52 c integral : 87.66 0.00 0.00 87.66 0.00
1800.05/1800.52 c logicor : 560.12 0.17 559.91 0.00 0.04
1800.05/1800.52 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.52 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.52 c vbounds : 4.75 2 0 0
1800.05/1800.52 c rootredcost : 4.12 7 0 0
1800.05/1800.52 c pseudoobj : 426.92 9102458 2110623 3756797
1800.05/1800.52 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.52 c propagation : 314.23 587437 25936 25936 38.3 0 0.0 -
1800.05/1800.52 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.52 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.52 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.52 c pseudo solution : 93.25 176379 0 0 0.0 0 0.0 -
1800.05/1800.52 c applied globally : - - - 25899 38.3 - - -
1800.05/1800.52 c applied locally : - - - 37 61.8 - - -
1800.05/1800.52 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.52 c cut pool : 0.00 28 - - 94 - (maximal pool size: 653)
1800.05/1800.52 c redcost : 0.00 29 0 0 0 0
1800.05/1800.52 c impliedbounds : 0.03 29 0 0 0 0
1800.05/1800.52 c intobj : 0.00 0 0 0 0 0
1800.05/1800.52 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.52 c gomory : 25.28 29 0 0 13500 0
1800.05/1800.52 c strongcg : 1.73 20 0 0 10000 0
1800.05/1800.52 c cmir : 3.55 10 0 0 0 0
1800.05/1800.52 c flowcover : 3.86 10 0 0 0 0
1800.05/1800.52 c clique : 0.49 29 0 0 259 0
1800.05/1800.52 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.52 c mcf : 0.05 1 0 0 0 0
1800.05/1800.52 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.52 c Pricers : Time Calls Vars
1800.05/1800.52 c problem variables: 0.00 0 0
1800.05/1800.52 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.52 c relpscost : 87.66 1 0 0 0 0 2
1800.05/1800.52 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.52 c inference : 23.41 2876727 0 0 0 0 5753454
1800.05/1800.52 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.52 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.52 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.52 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.52 c random : 0.00 0 0 0 0 0 0
1800.05/1800.52 c Primal Heuristics : Time Calls Found
1800.05/1800.52 c LP solutions : 0.00 - 0
1800.05/1800.52 c pseudo solutions : 0.02 - 7
1800.05/1800.52 c crossover : 0.00 0 0
1800.05/1800.52 c oneopt : 3.61 2 1
1800.05/1800.52 c trivial : 0.02 2 3
1800.05/1800.52 c simplerounding : 0.02 30 5
1800.05/1800.52 c zirounding : 0.02 1 1
1800.05/1800.52 c rounding : 0.41 30 1
1800.05/1800.52 c shifting : 0.54 30 1
1800.05/1800.52 c intshifting : 0.00 0 0
1800.05/1800.52 c twoopt : 0.00 0 0
1800.05/1800.52 c fixandinfer : 0.00 0 0
1800.05/1800.52 c feaspump : 0.00 0 0
1800.05/1800.52 c coefdiving : 0.00 0 0
1800.05/1800.52 c pscostdiving : 0.00 0 0
1800.05/1800.52 c fracdiving : 0.00 0 0
1800.05/1800.52 c veclendiving : 0.00 0 0
1800.05/1800.52 c intdiving : 0.00 0 0
1800.05/1800.52 c actconsdiving : 0.00 0 0
1800.05/1800.52 c objpscostdiving : 0.00 0 0
1800.05/1800.52 c rootsoldiving : 0.00 0 0
1800.05/1800.52 c linesearchdiving : 0.00 0 0
1800.05/1800.52 c guideddiving : 0.00 0 0
1800.05/1800.52 c octane : 0.00 0 0
1800.05/1800.52 c rens : 3.30 1 1
1800.05/1800.52 c rins : 0.00 0 0
1800.05/1800.52 c localbranching : 0.00 0 0
1800.05/1800.52 c mutation : 0.00 0 0
1800.05/1800.52 c dins : 0.00 0 0
1800.05/1800.52 c undercover : 0.00 0 0
1800.05/1800.52 c nlp : 2.31 0 0
1800.05/1800.52 c trysol : 2.87 0 0
1800.05/1800.52 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.52 c primal LP : 0.10 0 0 0.00 0.00
1800.05/1800.52 c dual LP : 35.76 30 11184 372.80 312.75
1800.05/1800.52 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.52 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.52 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.52 c strong branching : 87.65 33 21905 663.79 249.91
1800.05/1800.52 c (at root node) : - 33 21905 663.79 -
1800.05/1800.52 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.52 c B&B Tree :
1800.05/1800.52 c number of runs : 1
1800.05/1800.52 c nodes : 5736774
1800.05/1800.52 c nodes (total) : 5736774
1800.05/1800.52 c nodes left : 17
1800.05/1800.52 c max depth : 70
1800.05/1800.52 c max depth (total): 70
1800.05/1800.52 c backtracks : 964591 (16.8%)
1800.05/1800.52 c delayed cutoffs : 15786
1800.05/1800.52 c repropagations : 18973 (72028 domain reductions, 14400 cutoffs)
1800.05/1800.52 c avg switch length: 2.00
1800.05/1800.52 c switching time : 205.12
1800.05/1800.52 c Solution :
1800.05/1800.52 c Solutions found : 20 (10 improvements)
1800.05/1800.52 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.05/1800.52 c Primal Bound : -2.90000000000000e+01 (in run 1, after 4012791 nodes, 1254.57 seconds, depth 43, found by <relaxation>)
1800.05/1800.52 c Dual Bound : -3.49999999999995e+01
1800.05/1800.52 c Gap : 17.14 %
1800.05/1800.52 c Root Dual Bound : -3.50000000000000e+01
1800.05/1800.52 c Root Iterations : 11184
1800.15/1800.64 c Time complete: 1800.18.