0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2667100-1276514403.opb>
0.39/0.44 c original problem has 595 variables (595 bin, 0 int, 0 impl, 0 cont) and 28143 constraints
0.39/0.44 c problem read
0.39/0.44 c presolving settings loaded
0.49/0.52 o 0
0.49/0.52 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.49/0.52 c presolving:
0.79/0.88 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.49/1.58 c (1.0s) probing: 101/595 (17.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.49/1.58 c (1.0s) probing aborted: 100/100 successive totally useless probings
1.49/1.58 c presolving (2 rounds):
1.49/1.58 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.49/1.58 c 56286 implications, 0 cliques
1.49/1.58 c presolved problem has 595 variables (595 bin, 0 int, 0 impl, 0 cont) and 28143 constraints
1.49/1.58 c 28143 constraints of type <logicor>
1.49/1.58 c transformed objective value is always integral (scale: 1)
1.49/1.58 c Presolving Time: 0.98
1.49/1.58 c - non default parameters ----------------------------------------------------------------------
1.49/1.58 c # SCIP version 1.2.1.2
1.49/1.58 c
1.49/1.58 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.49/1.58 c # [type: int, range: [-1,2147483647], default: -1]
1.49/1.58 c conflict/interconss = 0
1.49/1.58 c
1.49/1.58 c # should binary conflicts be preferred?
1.49/1.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.58 c conflict/preferbinary = TRUE
1.49/1.58 c
1.49/1.58 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.49/1.58 c # [type: int, range: [-1,2147483647], default: 0]
1.49/1.58 c constraints/agelimit = 1
1.49/1.58 c
1.49/1.58 c # should enforcement of pseudo solution be disabled?
1.49/1.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.58 c constraints/disableenfops = TRUE
1.49/1.58 c
1.49/1.58 c # frequency for displaying node information lines
1.49/1.58 c # [type: int, range: [-1,2147483647], default: 100]
1.49/1.58 c display/freq = 10000
1.49/1.58 c
1.49/1.58 c # maximal time in seconds to run
1.49/1.58 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.49/1.58 c limits/time = 1799.57
1.49/1.58 c
1.49/1.58 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.49/1.58 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.49/1.58 c limits/memory = 1620
1.49/1.58 c
1.49/1.58 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.49/1.58 c # [type: int, range: [-1,2147483647], default: 1]
1.49/1.58 c lp/solvefreq = 0
1.49/1.58 c
1.49/1.58 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.49/1.58 c # [type: char, range: {lafpsqd}, default: l]
1.49/1.58 c lp/pricing = a
1.49/1.58 c
1.49/1.58 c # should presolving try to simplify inequalities
1.49/1.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.58 c constraints/linear/simplifyinequalities = TRUE
1.49/1.58 c
1.49/1.58 c # should presolving try to simplify knapsacks
1.49/1.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.58 c constraints/knapsack/simplifyinequalities = TRUE
1.49/1.58 c
1.49/1.58 c # priority of node selection rule <dfs> in standard mode
1.49/1.58 c # [type: int, range: [-536870912,536870911], default: 0]
1.49/1.58 c nodeselection/dfs/stdpriority = 1000000
1.49/1.58 c
1.49/1.58 c -----------------------------------------------------------------------------------------------
1.49/1.58 c start solving
1.49/1.59 c
2.49/2.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.49/2.55 c t 1.9s| 1 | 0 | 596 | - | 32M| 0 | 595 | 595 | 28k| 595 | 28k| 0 | 0 | 0 |-2.975000e+02 | 0.000000e+00 | 100.00%
2.49/2.60 o -1
2.49/2.60 c R 2.0s| 1 | 0 | 596 | - | 32M| 0 | 595 | 595 | 28k| 595 | 28k| 0 | 0 | 0 |-2.975000e+02 |-1.000000e+00 | 99.66%
4.19/4.23 c 3.4s| 1 | 0 | 780 | - | 32M| 0 | 551 | 595 | 28k| 595 | 28k| 5 | 0 | 0 |-2.755000e+02 |-1.000000e+00 | 99.64%
4.19/4.25 o -22
4.19/4.25 c b 3.4s| 1 | 0 | 780 | - | 32M| 0 | 551 | 595 | 28k| 595 | 28k| 5 | 0 | 0 |-2.755000e+02 |-2.200000e+01 | 92.01%
5.89/5.99 c 5.0s| 1 | 0 | 956 | - | 32M| 0 | 518 | 595 | 28k| 595 | 28k| 12 | 0 | 0 |-2.590000e+02 |-2.200000e+01 | 91.51%
8.09/8.15 c 7.0s| 1 | 0 | 1171 | - | 32M| 0 | 473 | 595 | 28k| 595 | 28k| 31 | 0 | 0 |-2.365000e+02 |-2.200000e+01 | 90.70%
10.29/10.32 c 9.0s| 1 | 0 | 1316 | - | 32M| 0 | 442 | 595 | 28k| 595 | 28k| 39 | 0 | 0 |-2.198333e+02 |-2.200000e+01 | 89.99%
12.38/12.47 c 11.0s| 1 | 0 | 1482 | - | 32M| 0 | 411 | 595 | 28k| 595 | 28k| 47 | 0 | 0 |-2.043333e+02 |-2.200000e+01 | 89.23%
15.29/15.35 c 13.7s| 1 | 0 | 1806 | - | 32M| 0 | 380 | 595 | 28k| 595 | 28k| 53 | 0 | 0 |-1.892500e+02 |-2.200000e+01 | 88.38%
18.18/18.26 c 16.4s| 1 | 0 | 2134 | - | 32M| 0 | 349 | 595 | 28k| 595 | 28k| 63 | 0 | 0 |-1.737500e+02 |-2.200000e+01 | 87.34%
20.88/20.94 c 19.0s| 1 | 0 | 2359 | - | 32M| 0 | 318 | 595 | 28k| 595 | 28k| 68 | 0 | 0 |-1.590000e+02 |-2.200000e+01 | 86.16%
23.68/23.72 c 21.6s| 1 | 0 | 2668 | - | 32M| 0 | 274 | 595 | 28k| 595 | 28k| 76 | 0 | 0 |-1.370000e+02 |-2.200000e+01 | 83.94%
26.28/26.32 c 24.0s| 1 | 0 | 2967 | - | 32M| 0 | 244 | 595 | 28k| 595 | 28k| 83 | 0 | 0 |-1.220000e+02 |-2.200000e+01 | 81.97%
28.08/28.19 c 25.7s| 1 | 0 | 3327 | - | 32M| 0 | 200 | 595 | 28k| 595 | 28k| 91 | 0 | 0 |-1.000000e+02 |-2.200000e+01 | 78.00%
30.18/30.20 c 27.5s| 1 | 0 | 3675 | - | 32M| 0 | 169 | 595 | 28k| 595 | 28k| 96 | 0 | 0 |-8.450000e+01 |-2.200000e+01 | 73.96%
31.18/31.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.18/31.23 c 28.4s| 1 | 0 | 3769 | - | 32M| 0 | 154 | 595 | 28k| 595 | 28k| 100 | 0 | 0 |-7.700000e+01 |-2.200000e+01 | 71.43%
32.37/32.50 c 29.5s| 1 | 0 | 3962 | - | 32M| 0 | 129 | 595 | 28k| 595 | 28k| 106 | 0 | 0 |-6.450000e+01 |-2.200000e+01 | 65.89%
33.78/33.85 c 30.7s| 1 | 0 | 4168 | - | 32M| 0 | 104 | 595 | 28k| 595 | 28k| 110 | 0 | 0 |-5.200000e+01 |-2.200000e+01 | 57.69%
35.18/35.22 c 31.9s| 1 | 0 | 4404 | - | 32M| 0 | 81 | 595 | 28k| 595 | 28k| 115 | 0 | 0 |-4.050000e+01 |-2.200000e+01 | 45.68%
36.28/36.36 c 32.8s| 1 | 0 | 4575 | - | 32M| 0 | 136 | 595 | 28k| 595 | 28k| 120 | 0 | 0 |-3.500000e+01 |-2.200000e+01 | 37.14%
37.28/37.34 c 33.6s| 1 | 0 | 4651 | - | 32M| 0 | 108 | 595 | 28k| 595 | 28k| 131 | 0 | 0 |-3.500000e+01 |-2.200000e+01 | 37.14%
38.38/38.47 c 34.6s| 1 | 0 | 4749 | - | 32M| 0 | 145 | 595 | 28k| 595 | 28k| 141 | 0 | 0 |-3.500000e+01 |-2.200000e+01 | 37.14%
41.78/41.88 c 37.3s| 1 | 0 | 4875 | - | 32M| 0 | 144 | 595 | 28k| 595 | 28k| 151 | 0 | 0 |-3.500000e+01 |-2.200000e+01 | 37.14%
52.17/52.25 c 45.6s| 1 | 0 | 4965 | - | 32M| 0 | 146 | 595 | 28k| 595 | 28k| 158 | 0 | 0 |-3.500000e+01 |-2.200000e+01 | 37.14%
62.68/62.78 c 54.0s| 1 | 0 | 5038 | - | 32M| 0 | 143 | 595 | 28k| 595 | 28k| 167 | 0 | 0 |-3.500000e+01 |-2.200000e+01 | 37.14%
73.47/73.51 c 62.7s| 1 | 0 | 5206 | - | 32M| 0 | 137 | 595 | 28k| 595 | 28k| 180 | 0 | 0 |-3.500000e+01 |-2.200000e+01 | 37.14%
108.76/108.83 c 97.6s| 1 | 2 | 5206 | - | 32M| 0 | 137 | 595 | 28k| 595 | 28k| 180 | 0 | 33 |-3.500000e+01 |-2.200000e+01 | 37.14%
108.76/108.88 o -23
108.76/108.88 c *97.6s| 42 | 20 | 5206 | 0.0 | 33M| 23 | - | 595 | 28k| 0 | 0 | 180 | 1 | 33 |-3.500000e+01 |-2.300000e+01 | 34.29%
108.76/108.89 o -24
108.76/108.89 c *97.6s| 64 | 19 | 5206 | 0.0 | 33M| 25 | - | 595 | 28k| 0 | 0 | 180 | 1 | 33 |-3.500000e+01 |-2.400000e+01 | 31.43%
111.46/111.52 c 100s| 10000 | 17 | 5206 | 0.0 | 33M| 35 | - | 595 | 28k| 0 | 0 | 180 | 59 | 33 |-3.500000e+01 |-2.400000e+01 | 31.43%
114.15/114.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
114.15/114.23 c 103s| 20000 | 18 | 5206 | 0.0 | 33M| 39 | - | 595 | 28k| 0 | 0 | 180 | 123 | 33 |-3.500000e+01 |-2.400000e+01 | 31.43%
116.75/116.85 c 105s| 30000 | 18 | 5206 | 0.0 | 33M| 39 | - | 595 | 28k| 0 | 0 | 180 | 166 | 33 |-3.500000e+01 |-2.400000e+01 | 31.43%
117.96/118.01 o -25
117.96/118.01 c * 106s| 34580 | 17 | 5206 | 0.0 | 33M| 39 | - | 595 | 28k| 0 | 0 | 180 | 197 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
119.35/119.46 c 108s| 40000 | 17 | 5206 | 0.0 | 33M| 39 | - | 595 | 28k| 0 | 0 | 180 | 234 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
121.96/122.08 c 110s| 50000 | 18 | 5206 | 0.0 | 33M| 39 | - | 595 | 28k| 0 | 0 | 180 | 249 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
124.55/124.68 c 113s| 60000 | 18 | 5206 | 0.0 | 33M| 42 | - | 595 | 28k| 0 | 0 | 180 | 286 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
127.25/127.33 c 115s| 70000 | 17 | 5206 | 0.0 | 33M| 42 | - | 595 | 28k| 0 | 0 | 180 | 336 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
129.85/129.98 c 118s| 80000 | 16 | 5206 | 0.0 | 33M| 42 | - | 595 | 28k| 0 | 0 | 180 | 369 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
132.45/132.55 c 120s| 90000 | 18 | 5206 | 0.0 | 33M| 42 | - | 595 | 28k| 0 | 0 | 180 | 393 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
135.05/135.12 c 122s|100000 | 15 | 5206 | 0.0 | 33M| 45 | - | 595 | 28k| 0 | 0 | 180 | 428 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
137.65/137.73 c 125s|110000 | 15 | 5206 | 0.0 | 33M| 45 | - | 595 | 28k| 0 | 0 | 180 | 470 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
140.25/140.35 c 127s|120000 | 17 | 5206 | 0.0 | 33M| 45 | - | 595 | 28k| 0 | 0 | 180 | 518 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
142.96/143.05 c 130s|130000 | 16 | 5206 | 0.0 | 33M| 45 | - | 595 | 28k| 0 | 0 | 180 | 567 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
145.65/145.71 c 133s|140000 | 16 | 5206 | 0.0 | 33M| 45 | - | 595 | 28k| 0 | 0 | 180 | 607 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
148.25/148.34 c 135s|150000 | 16 | 5206 | 0.0 | 33M| 45 | - | 595 | 28k| 0 | 0 | 180 | 639 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
150.95/151.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
150.95/151.03 c 138s|160000 | 16 | 5206 | 0.0 | 33M| 45 | - | 595 | 28k| 0 | 0 | 180 | 688 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
153.45/153.57 c 140s|170000 | 18 | 5206 | 0.0 | 33M| 45 | - | 595 | 28k| 0 | 0 | 180 | 752 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
156.05/156.15 c 143s|180000 | 14 | 5206 | 0.0 | 33M| 45 | - | 595 | 28k| 0 | 0 | 180 | 791 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
158.64/158.76 c 145s|190000 | 15 | 5206 | 0.0 | 33M| 49 | - | 595 | 28k| 0 | 0 | 180 | 828 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
161.24/161.33 c 147s|200000 | 17 | 5206 | 0.0 | 33M| 49 | - | 595 | 28k| 0 | 0 | 180 | 860 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
163.75/163.84 c 150s|210000 | 14 | 5206 | 0.0 | 33M| 49 | - | 595 | 28k| 0 | 0 | 180 | 898 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
164.15/164.28 o -26
164.15/164.28 c * 150s|211743 | 16 | 5206 | 0.0 | 33M| 49 | - | 595 | 28k| 0 | 0 | 180 | 905 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
166.34/166.48 c 152s|220000 | 17 | 5206 | 0.0 | 33M| 49 | - | 595 | 28k| 0 | 0 | 180 | 951 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
169.04/169.15 c 155s|230000 | 15 | 5206 | 0.0 | 33M| 49 | - | 595 | 28k| 0 | 0 | 180 | 988 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
171.74/171.87 c 157s|240000 | 14 | 5206 | 0.0 | 33M| 49 | - | 595 | 28k| 0 | 0 | 180 |1011 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
174.44/174.52 c 160s|250000 | 14 | 5206 | 0.0 | 33M| 50 | - | 595 | 28k| 0 | 0 | 180 |1080 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
177.14/177.21 c 163s|260000 | 17 | 5206 | 0.0 | 33M| 50 | - | 595 | 28k| 0 | 0 | 180 |1107 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
179.84/179.96 c 165s|270000 | 18 | 5206 | 0.0 | 33M| 50 | - | 595 | 28k| 0 | 0 | 180 |1129 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
182.54/182.68 c 168s|280000 | 14 | 5206 | 0.0 | 33M| 50 | - | 595 | 28k| 0 | 0 | 180 |1154 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
185.24/185.37 c 170s|290000 | 18 | 5206 | 0.0 | 33M| 50 | - | 595 | 28k| 0 | 0 | 180 |1192 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
187.84/187.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
187.84/187.97 c 173s|300000 | 14 | 5206 | 0.0 | 33M| 50 | - | 595 | 28k| 0 | 0 | 180 |1239 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
190.54/190.64 c 175s|310000 | 17 | 5206 | 0.0 | 33M| 50 | - | 595 | 28k| 0 | 0 | 180 |1263 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
193.24/193.34 c 178s|320000 | 17 | 5206 | 0.0 | 33M| 50 | - | 595 | 28k| 0 | 0 | 180 |1301 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
195.94/196.01 c 180s|330000 | 16 | 5206 | 0.0 | 33M| 50 | - | 595 | 28k| 0 | 0 | 180 |1322 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
198.54/198.64 c 183s|340000 | 17 | 5206 | 0.0 | 33M| 50 | - | 595 | 28k| 0 | 0 | 180 |1367 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
201.14/201.23 c 185s|350000 | 16 | 5206 | 0.0 | 33M| 50 | - | 595 | 28k| 0 | 0 | 180 |1401 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
203.83/203.93 c 188s|360000 | 18 | 5206 | 0.0 | 33M| 50 | - | 595 | 28k| 0 | 0 | 180 |1449 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
206.53/206.64 c 190s|370000 | 16 | 5206 | 0.0 | 33M| 50 | - | 595 | 28k| 0 | 0 | 180 |1497 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
209.13/209.28 c 193s|380000 | 16 | 5206 | 0.0 | 33M| 50 | - | 595 | 28k| 0 | 0 | 180 |1527 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
211.83/211.97 c 196s|390000 | 17 | 5206 | 0.0 | 33M| 50 | - | 595 | 28k| 0 | 0 | 180 |1553 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
214.44/214.59 c 198s|400000 | 16 | 5206 | 0.0 | 33M| 50 | - | 595 | 28k| 0 | 0 | 180 |1583 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
217.22/217.33 c 201s|410000 | 17 | 5206 | 0.0 | 33M| 50 | - | 595 | 28k| 0 | 0 | 180 |1622 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
219.84/219.98 c 203s|420000 | 17 | 5206 | 0.0 | 33M| 50 | - | 595 | 28k| 0 | 0 | 180 |1679 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
222.53/222.62 c 206s|430000 | 15 | 5206 | 0.0 | 33M| 50 | - | 595 | 28k| 0 | 0 | 180 |1698 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
225.23/225.33 c 208s|440000 | 14 | 5206 | 0.0 | 33M| 50 | - | 595 | 28k| 0 | 0 | 180 |1714 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
227.83/227.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
227.83/227.96 c 211s|450000 | 17 | 5206 | 0.0 | 33M| 51 | - | 595 | 28k| 0 | 0 | 180 |1748 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
230.52/230.65 c 213s|460000 | 14 | 5206 | 0.0 | 33M| 51 | - | 595 | 28k| 0 | 0 | 180 |1782 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
233.13/233.24 c 216s|470000 | 15 | 5206 | 0.0 | 33M| 51 | - | 595 | 28k| 0 | 0 | 180 |1816 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
235.82/235.90 c 218s|480000 | 17 | 5206 | 0.0 | 33M| 51 | - | 595 | 28k| 0 | 0 | 180 |1854 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
238.42/238.58 c 221s|490000 | 17 | 5206 | 0.0 | 33M| 51 | - | 595 | 28k| 0 | 0 | 180 |1904 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
241.12/241.25 c 223s|500000 | 16 | 5206 | 0.0 | 33M| 51 | - | 595 | 28k| 0 | 0 | 180 |1927 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
243.82/243.99 c 226s|510000 | 17 | 5206 | 0.0 | 33M| 51 | - | 595 | 28k| 0 | 0 | 180 |1955 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
246.52/246.63 c 228s|520000 | 17 | 5206 | 0.0 | 33M| 51 | - | 595 | 28k| 0 | 0 | 180 |1979 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
249.22/249.36 c 231s|530000 | 14 | 5206 | 0.0 | 33M| 51 | - | 595 | 28k| 0 | 0 | 180 |2009 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
252.01/252.10 c 234s|540000 | 19 | 5206 | 0.0 | 33M| 51 | - | 595 | 28k| 0 | 0 | 180 |2052 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
254.71/254.80 c 236s|550000 | 16 | 5206 | 0.0 | 33M| 51 | - | 595 | 28k| 0 | 0 | 180 |2101 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
257.41/257.51 c 239s|560000 | 15 | 5206 | 0.0 | 33M| 51 | - | 595 | 28k| 0 | 0 | 180 |2138 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
260.02/260.19 c 241s|570000 | 17 | 5206 | 0.0 | 33M| 51 | - | 595 | 28k| 0 | 0 | 180 |2197 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
262.72/262.90 c 244s|580000 | 14 | 5206 | 0.0 | 33M| 51 | - | 595 | 28k| 0 | 0 | 180 |2231 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
265.51/265.62 c 247s|590000 | 15 | 5206 | 0.0 | 33M| 51 | - | 595 | 28k| 0 | 0 | 180 |2265 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
268.22/268.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
268.22/268.31 c 249s|600000 | 15 | 5206 | 0.0 | 33M| 51 | - | 595 | 28k| 0 | 0 | 180 |2318 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
270.72/270.87 c 252s|610000 | 15 | 5206 | 0.0 | 33M| 51 | - | 595 | 28k| 0 | 0 | 180 |2347 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
273.31/273.44 c 254s|620000 | 15 | 5206 | 0.0 | 33M| 51 | - | 595 | 28k| 0 | 0 | 180 |2377 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
275.92/276.02 c 256s|630000 | 15 | 5206 | 0.0 | 33M| 51 | - | 595 | 28k| 0 | 0 | 180 |2399 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
278.41/278.59 c 259s|640000 | 16 | 5206 | 0.0 | 33M| 51 | - | 595 | 28k| 0 | 0 | 180 |2426 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
281.01/281.14 c 261s|650000 | 16 | 5206 | 0.0 | 33M| 51 | - | 595 | 28k| 0 | 0 | 180 |2476 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
283.62/283.76 c 264s|660000 | 18 | 5206 | 0.0 | 33M| 51 | - | 595 | 28k| 0 | 0 | 180 |2534 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
286.31/286.40 c 266s|670000 | 16 | 5206 | 0.0 | 33M| 51 | - | 595 | 28k| 0 | 0 | 180 |2567 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
288.91/289.02 c 269s|680000 | 17 | 5206 | 0.0 | 33M| 51 | - | 595 | 28k| 0 | 0 | 180 |2612 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
291.50/291.61 c 271s|690000 | 15 | 5206 | 0.0 | 33M| 51 | - | 595 | 28k| 0 | 0 | 180 |2654 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
294.20/294.34 c 274s|700000 | 15 | 5206 | 0.0 | 33M| 51 | - | 595 | 28k| 0 | 0 | 180 |2694 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
296.91/297.01 c 276s|710000 | 15 | 5206 | 0.0 | 33M| 51 | - | 595 | 28k| 0 | 0 | 180 |2730 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
299.61/299.73 c 279s|720000 | 16 | 5206 | 0.0 | 33M| 51 | - | 595 | 28k| 0 | 0 | 180 |2765 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
302.21/302.34 c 282s|730000 | 15 | 5206 | 0.0 | 33M| 51 | - | 595 | 28k| 0 | 0 | 180 |2806 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
304.81/304.94 c 284s|740000 | 16 | 5206 | 0.0 | 33M| 51 | - | 595 | 28k| 0 | 0 | 180 |2862 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
307.41/307.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
307.41/307.56 c 286s|750000 | 14 | 5206 | 0.0 | 33M| 51 | - | 595 | 28k| 0 | 0 | 180 |2932 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
310.01/310.20 c 289s|760000 | 17 | 5206 | 0.0 | 33M| 51 | - | 595 | 28k| 0 | 0 | 180 |2965 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
312.70/312.82 c 291s|770000 | 14 | 5206 | 0.0 | 33M| 51 | - | 595 | 28k| 0 | 0 | 180 |3006 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
315.30/315.46 c 294s|780000 | 17 | 5206 | 0.0 | 33M| 52 | - | 595 | 28k| 0 | 0 | 180 |3034 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
318.00/318.15 c 297s|790000 | 17 | 5206 | 0.0 | 33M| 52 | - | 595 | 28k| 0 | 0 | 180 |3057 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
320.60/320.78 c 299s|800000 | 16 | 5206 | 0.0 | 33M| 52 | - | 595 | 28k| 0 | 0 | 180 |3080 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
323.39/323.51 c 302s|810000 | 16 | 5206 | 0.0 | 33M| 52 | - | 595 | 28k| 0 | 0 | 180 |3111 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
326.10/326.20 c 304s|820000 | 13 | 5206 | 0.0 | 33M| 52 | - | 595 | 28k| 0 | 0 | 180 |3147 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
328.70/328.86 c 307s|830000 | 15 | 5206 | 0.0 | 33M| 52 | - | 595 | 28k| 0 | 0 | 180 |3183 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
331.40/331.53 c 309s|840000 | 16 | 5206 | 0.0 | 33M| 52 | - | 595 | 28k| 0 | 0 | 180 |3218 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
334.10/334.24 c 312s|850000 | 17 | 5206 | 0.0 | 33M| 52 | - | 595 | 28k| 0 | 0 | 180 |3247 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
336.79/336.94 c 314s|860000 | 15 | 5206 | 0.0 | 33M| 52 | - | 595 | 28k| 0 | 0 | 180 |3284 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
339.39/339.57 c 317s|870000 | 16 | 5206 | 0.0 | 33M| 52 | - | 595 | 28k| 0 | 0 | 180 |3315 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
342.09/342.20 c 319s|880000 | 16 | 5206 | 0.0 | 33M| 53 | - | 595 | 28k| 0 | 0 | 180 |3344 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
344.69/344.81 c 322s|890000 | 17 | 5206 | 0.0 | 33M| 53 | - | 595 | 28k| 0 | 0 | 180 |3379 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
346.99/347.18 o -27
346.99/347.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
346.99/347.18 c * 324s|898703 | 16 | 5206 | 0.0 | 33M| 53 | - | 595 | 28k| 0 | 0 | 180 |3400 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
347.40/347.53 c 324s|900000 | 14 | 5206 | 0.0 | 33M| 53 | - | 595 | 28k| 0 | 0 | 180 |3404 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
349.99/350.18 c 327s|910000 | 16 | 5206 | 0.0 | 33M| 53 | - | 595 | 28k| 0 | 0 | 180 |3448 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
352.69/352.85 c 330s|920000 | 15 | 5206 | 0.0 | 33M| 53 | - | 595 | 28k| 0 | 0 | 180 |3483 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
355.39/355.50 c 332s|930000 | 12 | 5206 | 0.0 | 33M| 53 | - | 595 | 28k| 0 | 0 | 180 |3542 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
358.09/358.24 c 335s|940000 | 15 | 5206 | 0.0 | 33M| 53 | - | 595 | 28k| 0 | 0 | 180 |3585 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
360.69/360.87 c 337s|950000 | 16 | 5206 | 0.0 | 33M| 53 | - | 595 | 28k| 0 | 0 | 180 |3612 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
363.49/363.65 c 340s|960000 | 14 | 5206 | 0.0 | 33M| 53 | - | 595 | 28k| 0 | 0 | 180 |3669 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
366.29/366.41 c 342s|970000 | 12 | 5206 | 0.0 | 33M| 53 | - | 595 | 28k| 0 | 0 | 180 |3697 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
369.09/369.25 c 345s|980000 | 16 | 5206 | 0.0 | 33M| 53 | - | 595 | 28k| 0 | 0 | 180 |3733 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
371.88/372.05 c 348s|990000 | 14 | 5206 | 0.0 | 33M| 53 | - | 595 | 28k| 0 | 0 | 180 |3775 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
374.69/374.85 c 350s| 1000k| 15 | 5206 | 0.0 | 33M| 53 | - | 595 | 28k| 0 | 0 | 180 |3812 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
377.48/377.65 c 353s| 1010k| 16 | 5206 | 0.0 | 33M| 53 | - | 595 | 28k| 0 | 0 | 180 |3840 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
380.29/380.40 c 356s| 1020k| 15 | 5206 | 0.0 | 33M| 53 | - | 595 | 28k| 0 | 0 | 180 |3865 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
382.99/383.13 c 358s| 1030k| 14 | 5206 | 0.0 | 33M| 53 | - | 595 | 28k| 0 | 0 | 180 |3919 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
385.68/385.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
385.68/385.88 c 361s| 1040k| 16 | 5206 | 0.0 | 33M| 53 | - | 595 | 28k| 0 | 0 | 180 |3972 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
388.48/388.65 c 364s| 1050k| 14 | 5206 | 0.0 | 33M| 54 | - | 595 | 28k| 0 | 0 | 180 |3993 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
391.28/391.45 c 366s| 1060k| 14 | 5206 | 0.0 | 33M| 54 | - | 595 | 28k| 0 | 0 | 180 |4050 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
393.98/394.13 c 369s| 1070k| 12 | 5206 | 0.0 | 33M| 54 | - | 595 | 28k| 0 | 0 | 180 |4083 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
396.68/396.80 c 371s| 1080k| 13 | 5206 | 0.0 | 33M| 54 | - | 595 | 28k| 0 | 0 | 180 |4117 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
399.28/399.49 c 374s| 1090k| 13 | 5206 | 0.0 | 33M| 55 | - | 595 | 28k| 0 | 0 | 180 |4139 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
402.08/402.22 c 377s| 1100k| 14 | 5206 | 0.0 | 33M| 58 | - | 595 | 28k| 0 | 0 | 180 |4173 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
404.68/404.86 c 379s| 1110k| 16 | 5206 | 0.0 | 33M| 58 | - | 595 | 28k| 0 | 0 | 180 |4192 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
407.47/407.61 c 382s| 1120k| 16 | 5206 | 0.0 | 33M| 58 | - | 595 | 28k| 0 | 0 | 180 |4212 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
410.28/410.46 c 384s| 1130k| 16 | 5206 | 0.0 | 33M| 58 | - | 595 | 28k| 0 | 0 | 180 |4235 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
413.08/413.28 c 387s| 1140k| 16 | 5206 | 0.0 | 33M| 58 | - | 595 | 28k| 0 | 0 | 180 |4249 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
415.87/416.02 c 390s| 1150k| 15 | 5206 | 0.0 | 33M| 58 | - | 595 | 28k| 0 | 0 | 180 |4276 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
418.57/418.75 c 392s| 1160k| 15 | 5206 | 0.0 | 33M| 58 | - | 595 | 28k| 0 | 0 | 180 |4305 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
421.27/421.47 c 395s| 1170k| 13 | 5206 | 0.0 | 33M| 58 | - | 595 | 28k| 0 | 0 | 180 |4342 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
424.07/424.22 c 397s| 1180k| 14 | 5206 | 0.0 | 33M| 58 | - | 595 | 28k| 0 | 0 | 180 |4364 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
426.87/427.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
426.87/427.01 c 400s| 1190k| 16 | 5206 | 0.0 | 33M| 58 | - | 595 | 28k| 0 | 0 | 180 |4389 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
429.57/429.71 c 403s| 1200k| 15 | 5206 | 0.0 | 33M| 58 | - | 595 | 28k| 0 | 0 | 180 |4411 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
432.27/432.43 c 405s| 1210k| 14 | 5206 | 0.0 | 33M| 58 | - | 595 | 28k| 0 | 0 | 180 |4424 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
434.87/435.08 c 408s| 1220k| 17 | 5206 | 0.0 | 33M| 58 | - | 595 | 28k| 0 | 0 | 180 |4440 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
437.68/437.80 c 410s| 1230k| 15 | 5206 | 0.0 | 33M| 58 | - | 595 | 28k| 0 | 0 | 180 |4457 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
440.27/440.47 c 413s| 1240k| 15 | 5206 | 0.0 | 33M| 58 | - | 595 | 28k| 0 | 0 | 180 |4478 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
442.97/443.12 c 415s| 1250k| 15 | 5206 | 0.0 | 33M| 58 | - | 595 | 28k| 0 | 0 | 180 |4509 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
445.77/445.97 c 418s| 1260k| 13 | 5206 | 0.0 | 33M| 58 | - | 595 | 28k| 0 | 0 | 180 |4524 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
448.57/448.78 c 421s| 1270k| 14 | 5206 | 0.0 | 33M| 58 | - | 595 | 28k| 0 | 0 | 180 |4541 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
451.46/451.66 c 424s| 1280k| 16 | 5206 | 0.0 | 33M| 58 | - | 595 | 28k| 0 | 0 | 180 |4623 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
454.27/454.47 c 426s| 1290k| 17 | 5206 | 0.0 | 33M| 58 | - | 595 | 28k| 0 | 0 | 180 |4650 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
457.06/457.29 c 429s| 1300k| 16 | 5206 | 0.0 | 33M| 58 | - | 595 | 28k| 0 | 0 | 180 |4679 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
459.86/460.04 c 432s| 1310k| 15 | 5206 | 0.0 | 33M| 58 | - | 595 | 28k| 0 | 0 | 180 |4719 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
462.66/462.87 c 434s| 1320k| 15 | 5206 | 0.0 | 33M| 58 | - | 595 | 28k| 0 | 0 | 180 |4756 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
465.46/465.60 c 437s| 1330k| 15 | 5206 | 0.0 | 33M| 58 | - | 595 | 28k| 0 | 0 | 180 |4790 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
468.07/468.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
468.07/468.25 c 439s| 1340k| 16 | 5206 | 0.0 | 33M| 58 | - | 595 | 28k| 0 | 0 | 180 |4832 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
470.76/470.98 c 442s| 1350k| 16 | 5206 | 0.0 | 33M| 58 | - | 595 | 28k| 0 | 0 | 180 |4872 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
473.56/473.77 c 445s| 1360k| 16 | 5206 | 0.0 | 33M| 58 | - | 595 | 28k| 0 | 0 | 180 |4923 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
476.26/476.49 c 447s| 1370k| 16 | 5206 | 0.0 | 33M| 58 | - | 595 | 28k| 0 | 0 | 180 |4969 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
478.96/479.19 c 450s| 1380k| 13 | 5206 | 0.0 | 33M| 58 | - | 595 | 28k| 0 | 0 | 180 |4989 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
481.76/481.95 c 452s| 1390k| 16 | 5206 | 0.0 | 33M| 58 | - | 595 | 28k| 0 | 0 | 180 |5022 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
484.45/484.67 c 455s| 1400k| 15 | 5206 | 0.0 | 33M| 58 | - | 595 | 28k| 0 | 0 | 180 |5057 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
487.16/487.37 c 457s| 1410k| 16 | 5206 | 0.0 | 33M| 58 | - | 595 | 28k| 0 | 0 | 180 |5081 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
489.86/490.08 c 460s| 1420k| 13 | 5206 | 0.0 | 33M| 58 | - | 595 | 28k| 0 | 0 | 180 |5108 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
492.66/492.87 c 463s| 1430k| 17 | 5206 | 0.0 | 33M| 58 | - | 595 | 28k| 0 | 0 | 180 |5136 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
495.45/495.65 c 465s| 1440k| 16 | 5206 | 0.0 | 33M| 58 | - | 595 | 28k| 0 | 0 | 180 |5165 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
498.26/498.43 c 468s| 1450k| 16 | 5206 | 0.0 | 33M| 58 | - | 595 | 28k| 0 | 0 | 180 |5196 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
500.86/501.08 c 471s| 1460k| 14 | 5206 | 0.0 | 33M| 58 | - | 595 | 28k| 0 | 0 | 180 |5220 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
503.55/503.78 c 473s| 1470k| 14 | 5206 | 0.0 | 33M| 58 | - | 595 | 28k| 0 | 0 | 180 |5237 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
506.34/506.53 c 476s| 1480k| 15 | 5206 | 0.0 | 33M| 58 | - | 595 | 28k| 0 | 0 | 180 |5269 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
508.95/509.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
508.95/509.19 c 478s| 1490k| 15 | 5206 | 0.0 | 33M| 58 | - | 595 | 28k| 0 | 0 | 180 |5286 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
511.74/511.98 c 481s| 1500k| 16 | 5206 | 0.0 | 33M| 58 | - | 595 | 28k| 0 | 0 | 180 |5300 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
514.65/514.81 c 484s| 1510k| 16 | 5206 | 0.0 | 33M| 58 | - | 595 | 28k| 0 | 0 | 180 |5312 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
517.25/517.47 c 486s| 1520k| 15 | 5206 | 0.0 | 33M| 58 | - | 595 | 28k| 0 | 0 | 180 |5327 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
519.95/520.20 c 489s| 1530k| 15 | 5206 | 0.0 | 33M| 58 | - | 595 | 28k| 0 | 0 | 180 |5361 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
522.85/523.09 c 492s| 1540k| 17 | 5206 | 0.0 | 33M| 58 | - | 595 | 28k| 0 | 0 | 180 |5385 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
525.65/525.81 c 494s| 1550k| 14 | 5206 | 0.0 | 33M| 58 | - | 595 | 28k| 0 | 0 | 180 |5401 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
528.45/528.60 c 497s| 1560k| 16 | 5206 | 0.0 | 33M| 58 | - | 595 | 28k| 0 | 0 | 180 |5432 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
531.24/531.43 c 499s| 1570k| 15 | 5206 | 0.0 | 33M| 58 | - | 595 | 28k| 0 | 0 | 180 |5453 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
534.04/534.28 c 502s| 1580k| 15 | 5206 | 0.0 | 33M| 58 | - | 595 | 28k| 0 | 0 | 180 |5483 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
536.95/537.10 c 505s| 1590k| 16 | 5206 | 0.0 | 33M| 58 | - | 595 | 28k| 0 | 0 | 180 |5511 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
539.74/539.91 c 508s| 1600k| 13 | 5206 | 0.0 | 33M| 58 | - | 595 | 28k| 0 | 0 | 180 |5541 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
542.54/542.72 c 510s| 1610k| 13 | 5206 | 0.0 | 33M| 58 | - | 595 | 28k| 0 | 0 | 180 |5558 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
545.24/545.49 c 513s| 1620k| 14 | 5206 | 0.0 | 33M| 58 | - | 595 | 28k| 0 | 0 | 180 |5595 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
548.04/548.22 c 515s| 1630k| 15 | 5206 | 0.0 | 33M| 58 | - | 595 | 28k| 0 | 0 | 180 |5620 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
550.74/550.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
550.74/550.96 c 518s| 1640k| 14 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |5649 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
553.64/553.81 c 521s| 1650k| 16 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |5685 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
556.44/556.63 c 524s| 1660k| 14 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |5727 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
559.33/559.58 c 526s| 1670k| 15 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |5767 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
562.23/562.47 c 529s| 1680k| 15 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |5790 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
565.14/565.32 c 532s| 1690k| 16 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |5811 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
567.93/568.16 c 534s| 1700k| 15 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |5849 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
570.83/571.05 c 537s| 1710k| 15 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |5875 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
573.73/573.93 c 540s| 1720k| 13 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |5888 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
576.63/576.80 c 543s| 1730k| 14 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |5918 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
579.44/579.66 c 545s| 1740k| 14 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |5934 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
582.12/582.38 c 548s| 1750k| 17 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |5976 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
584.82/585.08 c 551s| 1760k| 16 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |6022 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
587.52/587.75 c 553s| 1770k| 17 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |6050 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
590.23/590.40 c 556s| 1780k| 15 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |6079 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
592.82/593.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
592.82/593.08 c 558s| 1790k| 15 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |6107 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
595.52/595.73 c 561s| 1800k| 16 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |6138 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
598.13/598.40 c 563s| 1810k| 14 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |6167 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
600.82/601.05 c 566s| 1820k| 17 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |6209 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
603.42/603.65 c 568s| 1830k| 16 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |6238 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
606.03/606.27 c 571s| 1840k| 15 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |6294 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
608.82/609.05 c 573s| 1850k| 15 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |6328 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
611.62/611.84 c 576s| 1860k| 17 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |6361 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
614.52/614.72 c 579s| 1870k| 16 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |6404 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
617.12/617.37 c 581s| 1880k| 16 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |6429 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
619.92/620.18 c 584s| 1890k| 16 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |6463 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
622.62/622.82 c 586s| 1900k| 17 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |6498 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
625.22/625.40 c 589s| 1910k| 16 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |6529 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
627.82/628.06 c 591s| 1920k| 16 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |6558 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
630.41/630.69 c 594s| 1930k| 13 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |6571 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
633.22/633.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
633.22/633.46 c 597s| 1940k| 15 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |6598 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
635.92/636.18 c 599s| 1950k| 16 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |6623 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
638.62/638.88 c 602s| 1960k| 16 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |6654 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
641.31/641.58 c 604s| 1970k| 15 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |6695 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
644.11/644.33 c 607s| 1980k| 16 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |6727 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
646.91/647.12 c 610s| 1990k| 18 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |6787 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
649.61/649.83 c 612s| 2000k| 15 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |6839 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
652.30/652.51 c 615s| 2010k| 16 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |6889 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
655.10/655.31 c 617s| 2020k| 16 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |6935 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
657.70/657.90 c 620s| 2030k| 15 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |6972 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
660.40/660.61 c 622s| 2040k| 16 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |7020 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
663.20/663.43 c 625s| 2050k| 17 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |7071 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
666.00/666.22 c 628s| 2060k| 15 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |7109 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
668.70/668.99 c 630s| 2070k| 15 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |7143 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
671.50/671.72 c 633s| 2080k| 18 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |7175 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
674.20/674.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
674.20/674.49 c 636s| 2090k| 17 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |7203 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
677.00/677.23 c 638s| 2100k| 16 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |7244 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
679.69/679.94 c 641s| 2110k| 17 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |7297 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
682.49/682.73 c 643s| 2120k| 18 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |7343 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
685.30/685.51 c 646s| 2130k| 15 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |7409 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
687.99/688.24 c 649s| 2140k| 17 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |7444 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
690.60/690.88 c 651s| 2150k| 13 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |7482 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
693.39/693.60 c 654s| 2160k| 14 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |7542 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
695.89/696.20 c 656s| 2170k| 16 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |7574 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
698.69/698.97 c 659s| 2180k| 15 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |7641 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
701.29/701.57 c 661s| 2190k| 15 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |7707 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
704.09/704.33 c 664s| 2200k| 17 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |7764 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
706.89/707.14 c 667s| 2210k| 14 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |7830 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
709.79/710.02 c 669s| 2220k| 14 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |7864 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
712.60/712.85 c 672s| 2230k| 15 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |7890 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
715.39/715.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
715.39/715.66 c 675s| 2240k| 16 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |7920 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
718.29/718.52 c 678s| 2250k| 15 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |7937 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
721.08/721.38 c 680s| 2260k| 15 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |7967 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
724.09/724.33 c 683s| 2270k| 15 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |8007 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
726.99/727.22 c 686s| 2280k| 14 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |8037 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
729.68/729.94 c 688s| 2290k| 13 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |8056 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
732.29/732.57 c 691s| 2300k| 14 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |8076 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
735.08/735.34 c 694s| 2310k| 14 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |8119 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
737.78/738.06 c 696s| 2320k| 14 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |8160 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
740.48/740.73 c 699s| 2330k| 17 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |8195 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
743.08/743.37 c 701s| 2340k| 16 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |8240 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
745.78/746.06 c 704s| 2350k| 15 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |8263 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
748.48/748.77 c 706s| 2360k| 16 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |8306 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
751.28/751.55 c 709s| 2370k| 16 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |8325 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
754.17/754.47 c 712s| 2380k| 15 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |8345 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
757.07/757.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
757.07/757.36 c 715s| 2390k| 17 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |8375 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
759.98/760.23 c 717s| 2400k| 15 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |8402 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
762.87/763.15 c 720s| 2410k| 15 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |8432 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
765.77/766.09 c 723s| 2420k| 15 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |8464 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
768.68/768.97 c 726s| 2430k| 15 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |8490 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
771.57/771.89 c 728s| 2440k| 18 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |8519 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
774.47/774.78 c 731s| 2450k| 14 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |8556 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
777.27/777.59 c 734s| 2460k| 16 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |8592 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
780.17/780.41 c 737s| 2470k| 16 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |8620 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
782.88/783.19 c 739s| 2480k| 15 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |8653 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
785.67/785.97 c 742s| 2490k| 16 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |8664 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
788.37/788.69 c 744s| 2500k| 15 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |8687 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
791.07/791.39 c 747s| 2510k| 18 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |8710 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
793.97/794.21 c 750s| 2520k| 16 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |8740 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
796.76/797.03 c 752s| 2530k| 15 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |8773 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
799.56/799.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
799.56/799.83 c 755s| 2540k| 14 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |8802 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
802.37/802.63 c 758s| 2550k| 15 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |8834 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
805.16/805.42 c 760s| 2560k| 17 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |8866 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
807.96/808.23 c 763s| 2570k| 16 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |8917 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
810.76/811.07 c 766s| 2580k| 15 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |8947 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
813.67/813.92 c 769s| 2590k| 15 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |8975 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
816.36/816.70 c 771s| 2600k| 18 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |9029 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
819.17/819.40 c 774s| 2610k| 15 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |9060 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
821.96/822.20 c 776s| 2620k| 14 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |9096 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
824.76/825.09 c 779s| 2630k| 16 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |9141 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
827.66/827.99 c 782s| 2640k| 17 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |9181 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
830.56/830.86 c 785s| 2650k| 16 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |9203 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
833.35/833.65 c 787s| 2660k| 16 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |9234 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
836.15/836.41 c 790s| 2670k| 16 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |9268 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
838.75/839.09 c 792s| 2680k| 14 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |9305 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
841.66/841.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
841.66/841.91 c 795s| 2690k| 14 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |9361 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
844.46/844.71 c 798s| 2700k| 14 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |9384 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
847.15/847.45 c 800s| 2710k| 17 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |9423 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
849.85/850.15 c 803s| 2720k| 15 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |9453 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
852.74/853.01 c 806s| 2730k| 14 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |9491 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
855.56/855.82 c 808s| 2740k| 14 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |9515 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
858.25/858.56 c 811s| 2750k| 16 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |9534 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
860.95/861.26 c 814s| 2760k| 14 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |9573 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
863.74/864.08 c 816s| 2770k| 17 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |9627 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
866.55/866.81 c 819s| 2780k| 13 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |9672 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
869.25/869.56 c 821s| 2790k| 15 | 5206 | 0.0 | 33M| 62 | - | 595 | 28k| 0 | 0 | 180 |9724 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
872.05/872.31 c 824s| 2800k| 14 | 5206 | 0.0 | 33M| 63 | - | 595 | 28k| 0 | 0 | 180 |9755 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
874.64/874.95 c 827s| 2810k| 16 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 |9782 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
877.14/877.42 c 829s| 2820k| 16 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 |9815 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
879.64/879.98 c 831s| 2830k| 14 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 |9849 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
882.34/882.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
882.34/882.61 c 834s| 2840k| 16 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 |9875 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
884.94/885.29 c 836s| 2850k| 15 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 |9918 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
887.64/887.95 c 839s| 2860k| 15 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 |9951 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
890.34/890.63 c 842s| 2870k| 14 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 |9980 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
892.94/893.25 c 844s| 2880k| 18 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 |9998 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
895.73/896.01 c 847s| 2890k| 17 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 10k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
898.34/898.61 c 849s| 2900k| 18 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 10k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
900.83/901.13 c 852s| 2910k| 15 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 10k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
903.34/903.64 c 854s| 2920k| 16 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 10k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
905.83/906.17 c 856s| 2930k| 18 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 10k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
908.43/908.74 c 859s| 2940k| 17 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 10k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
911.03/911.39 c 861s| 2950k| 15 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 10k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
913.74/914.04 c 864s| 2960k| 14 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 10k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
916.43/916.70 c 866s| 2970k| 16 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 10k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
918.92/919.29 c 869s| 2980k| 16 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 10k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
921.53/921.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
921.53/921.85 c 871s| 2990k| 15 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 10k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
924.32/924.62 c 874s| 3000k| 14 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 10k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
926.93/927.20 c 876s| 3010k| 15 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 10k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
929.52/929.84 c 879s| 3020k| 15 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 10k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
932.12/932.47 c 881s| 3030k| 12 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 10k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
934.63/935.00 c 884s| 3040k| 16 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 10k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
937.42/937.71 c 886s| 3050k| 14 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 10k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
940.13/940.42 c 889s| 3060k| 13 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 10k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
942.62/942.97 c 891s| 3070k| 16 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 10k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
945.12/945.46 c 894s| 3080k| 14 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 10k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
947.62/947.97 c 896s| 3090k| 15 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 10k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
950.13/950.49 c 898s| 3100k| 17 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 10k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
952.72/953.04 c 901s| 3110k| 15 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 10k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
955.22/955.57 c 903s| 3120k| 13 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 10k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
957.72/958.10 c 906s| 3130k| 16 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 10k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
960.32/960.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
960.32/960.69 c 908s| 3140k| 16 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 10k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
963.01/963.32 c 911s| 3150k| 15 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 10k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
965.61/965.98 c 913s| 3160k| 14 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 11k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
968.31/968.60 c 916s| 3170k| 15 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 11k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
970.81/971.18 c 918s| 3180k| 16 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 11k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
973.41/973.71 c 920s| 3190k| 15 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 11k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
976.01/976.31 c 923s| 3200k| 16 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 11k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
978.51/978.80 c 925s| 3210k| 17 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 11k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
981.01/981.35 c 928s| 3220k| 16 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 11k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
983.61/983.93 c 930s| 3230k| 13 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 11k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
986.21/986.56 c 933s| 3240k| 13 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 11k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
988.80/989.19 c 935s| 3250k| 14 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 11k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
991.51/991.86 c 938s| 3260k| 17 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 11k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
994.21/994.51 c 940s| 3270k| 14 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 11k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
996.81/997.12 c 943s| 3280k| 13 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 11k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
999.41/999.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
999.41/999.76 c 945s| 3290k| 14 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 11k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1002.21/1002.51 c 948s| 3300k| 16 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 11k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1004.81/1005.19 c 950s| 3310k| 15 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 11k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1007.51/1007.80 c 953s| 3320k| 15 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 11k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1010.00/1010.36 c 955s| 3330k| 14 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 11k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1012.71/1013.01 c 958s| 3340k| 13 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 11k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1015.40/1015.75 c 960s| 3350k| 13 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 11k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1018.00/1018.38 c 963s| 3360k| 16 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 11k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1020.70/1021.02 c 965s| 3370k| 13 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 11k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1023.40/1023.76 c 968s| 3380k| 15 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 11k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1026.20/1026.50 c 971s| 3390k| 16 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 11k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1029.00/1029.32 c 973s| 3400k| 15 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 11k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1031.60/1031.98 c 976s| 3410k| 14 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 11k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1034.30/1034.64 c 978s| 3420k| 14 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 11k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1037.00/1037.39 c 981s| 3430k| 15 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 11k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1039.70/1040.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1039.70/1040.04 c 983s| 3440k| 14 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 11k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1042.50/1042.84 c 986s| 3450k| 15 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 12k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1045.19/1045.59 c 989s| 3460k| 11 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 12k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1048.00/1048.34 c 991s| 3470k| 15 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 12k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1050.69/1051.09 c 994s| 3480k| 17 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 12k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1053.40/1053.75 c 997s| 3490k| 14 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 12k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1055.99/1056.39 c 999s| 3500k| 16 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 12k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1058.68/1059.09 c 1002s| 3510k| 16 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 12k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1061.39/1061.79 c 1004s| 3520k| 15 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 12k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1064.08/1064.47 c 1007s| 3530k| 14 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 12k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1066.79/1067.17 c 1009s| 3540k| 13 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 12k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1069.48/1069.83 c 1012s| 3550k| 15 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 12k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1072.19/1072.52 c 1014s| 3560k| 14 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 12k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1074.88/1075.22 c 1017s| 3570k| 17 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 12k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1077.48/1077.83 c 1019s| 3580k| 17 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 12k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1080.18/1080.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1080.18/1080.60 c 1022s| 3590k| 14 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 12k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1082.89/1083.26 c 1025s| 3600k| 15 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 12k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1085.58/1085.97 c 1027s| 3610k| 17 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 12k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1088.28/1088.62 c 1030s| 3620k| 15 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 12k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1090.89/1091.29 c 1032s| 3630k| 14 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 12k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1093.58/1093.91 c 1035s| 3640k| 14 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 12k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1096.08/1096.49 c 1037s| 3650k| 16 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 12k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1098.78/1099.19 c 1040s| 3660k| 15 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 12k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1101.48/1101.85 c 1042s| 3670k| 14 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 12k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1104.09/1104.47 c 1045s| 3680k| 13 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 13k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1106.88/1107.23 c 1047s| 3690k| 15 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 13k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1109.58/1109.91 c 1050s| 3700k| 14 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 13k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1112.28/1112.63 c 1052s| 3710k| 14 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 13k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1114.77/1115.19 c 1055s| 3720k| 15 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 13k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1117.58/1117.94 c 1058s| 3730k| 15 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 13k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1120.17/1120.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1120.17/1120.52 c 1060s| 3740k| 13 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 13k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1122.68/1123.06 c 1062s| 3750k| 17 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 13k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1125.07/1125.48 c 1065s| 3760k| 15 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 13k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1127.67/1128.05 c 1067s| 3770k| 15 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 13k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1130.26/1130.62 c 1069s| 3780k| 19 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 13k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1132.76/1133.17 c 1072s| 3790k| 13 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 13k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1135.46/1135.81 c 1074s| 3800k| 15 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 13k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1137.96/1138.38 c 1077s| 3810k| 18 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 13k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1140.56/1140.98 c 1079s| 3820k| 14 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 13k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1143.16/1143.59 c 1082s| 3830k| 15 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 13k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1145.77/1146.14 c 1084s| 3840k| 14 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 13k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1148.26/1148.66 c 1087s| 3850k| 15 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 13k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1150.96/1151.31 c 1089s| 3860k| 16 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 13k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1153.46/1153.85 c 1092s| 3870k| 16 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 13k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1156.06/1156.47 c 1094s| 3880k| 15 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 13k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1158.75/1159.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1158.75/1159.17 c 1097s| 3890k| 16 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 13k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1161.36/1161.79 c 1099s| 3900k| 15 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 13k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1164.06/1164.44 c 1102s| 3910k| 15 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 13k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1166.66/1167.06 c 1104s| 3920k| 13 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 13k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1169.26/1169.67 c 1107s| 3930k| 16 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 13k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1171.95/1172.30 c 1109s| 3940k| 15 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 13k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1174.65/1175.06 c 1112s| 3950k| 13 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 13k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1177.35/1177.77 c 1114s| 3960k| 16 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 14k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1179.96/1180.38 c 1117s| 3970k| 17 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 14k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1182.75/1183.10 c 1119s| 3980k| 15 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 14k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1185.46/1185.87 c 1122s| 3990k| 15 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 14k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1188.25/1188.65 c 1125s| 4000k| 15 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 14k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1191.05/1191.44 c 1127s| 4010k| 14 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 14k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1193.84/1194.20 c 1130s| 4020k| 13 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 14k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1196.54/1196.94 c 1132s| 4030k| 14 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 14k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1199.35/1199.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1199.35/1199.71 c 1135s| 4040k| 13 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 14k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1202.05/1202.45 c 1138s| 4050k| 14 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 14k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1204.64/1205.06 c 1140s| 4060k| 13 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 14k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1207.45/1207.87 c 1143s| 4070k| 15 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 14k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1210.14/1210.57 c 1145s| 4080k| 14 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 14k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1212.75/1213.14 c 1148s| 4090k| 15 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 14k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1215.44/1215.84 c 1150s| 4100k| 15 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 14k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1218.14/1218.57 c 1153s| 4110k| 16 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 14k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1220.84/1221.24 c 1156s| 4120k| 14 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 14k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1223.64/1224.01 c 1158s| 4130k| 15 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 14k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1226.24/1226.67 c 1161s| 4140k| 17 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 14k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1229.04/1229.40 c 1163s| 4150k| 17 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 14k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1231.74/1232.11 c 1166s| 4160k| 19 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 14k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1234.53/1234.92 c 1169s| 4170k| 15 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 14k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1237.24/1237.66 c 1171s| 4180k| 15 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 14k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1240.03/1240.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1240.03/1240.44 c 1174s| 4190k| 15 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 14k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1242.73/1243.12 c 1176s| 4200k| 16 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 14k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1245.43/1245.86 c 1179s| 4210k| 14 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 14k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1248.14/1248.58 c 1182s| 4220k| 16 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 14k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1250.83/1251.24 c 1184s| 4230k| 15 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 14k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1253.33/1253.76 c 1187s| 4240k| 15 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 15k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1255.93/1256.32 c 1189s| 4250k| 14 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 15k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1258.63/1259.02 c 1192s| 4260k| 15 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 15k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1261.13/1261.53 c 1194s| 4270k| 17 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 15k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1263.54/1263.93 c 1196s| 4280k| 15 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 15k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1266.13/1266.56 c 1199s| 4290k| 14 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 15k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1268.82/1269.21 c 1201s| 4300k| 16 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 15k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1271.43/1271.84 c 1204s| 4310k| 16 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 15k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1273.93/1274.38 c 1206s| 4320k| 16 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 15k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1276.53/1276.91 c 1208s| 4330k| 15 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 15k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1279.02/1279.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1279.02/1279.43 c 1211s| 4340k| 15 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 15k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1281.52/1281.91 c 1213s| 4350k| 16 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 15k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1284.12/1284.54 c 1216s| 4360k| 15 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 15k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1286.72/1287.20 c 1218s| 4370k| 16 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 15k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1289.32/1289.75 c 1221s| 4380k| 14 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 15k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1292.03/1292.49 c 1223s| 4390k| 14 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 15k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1294.72/1295.18 c 1226s| 4400k| 14 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 15k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1297.22/1297.64 c 1228s| 4410k| 15 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 15k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1299.72/1300.14 c 1231s| 4420k| 13 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 15k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1302.32/1302.71 c 1233s| 4430k| 16 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 15k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1304.72/1305.19 c 1235s| 4440k| 16 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 15k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1307.42/1307.86 c 1238s| 4450k| 16 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 15k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1310.01/1310.44 c 1240s| 4460k| 14 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 15k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1312.62/1313.00 c 1243s| 4470k| 15 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 15k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1315.12/1315.57 c 1245s| 4480k| 14 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 16k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1317.72/1318.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1317.72/1318.19 c 1248s| 4490k| 13 | 5206 | 0.0 | 33M| 66 | - | 595 | 28k| 0 | 0 | 180 | 16k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1320.31/1320.76 c 1250s| 4500k| 17 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 16k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1323.01/1323.46 c 1253s| 4510k| 16 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 16k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1325.81/1326.20 c 1255s| 4520k| 16 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 16k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1328.52/1328.99 c 1258s| 4530k| 17 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 16k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1331.32/1331.73 c 1261s| 4540k| 15 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 16k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1334.11/1334.55 c 1263s| 4550k| 14 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 16k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1336.91/1337.40 c 1266s| 4560k| 15 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 16k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1339.81/1340.25 c 1269s| 4570k| 16 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 16k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1342.51/1342.99 c 1271s| 4580k| 16 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 16k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1345.41/1345.82 c 1274s| 4590k| 13 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 16k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1348.21/1348.62 c 1277s| 4600k| 14 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 16k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1351.01/1351.42 c 1279s| 4610k| 14 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 16k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1353.71/1354.12 c 1282s| 4620k| 15 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 16k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1356.40/1356.90 c 1285s| 4630k| 14 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 16k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1359.21/1359.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1359.21/1359.63 c 1287s| 4640k| 15 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 16k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1362.00/1362.43 c 1290s| 4650k| 14 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 16k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1364.71/1365.11 c 1292s| 4660k| 14 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 16k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1367.40/1367.85 c 1295s| 4670k| 16 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 16k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1370.20/1370.62 c 1298s| 4680k| 15 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 16k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1373.00/1373.41 c 1300s| 4690k| 13 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 16k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1375.80/1376.23 c 1303s| 4700k| 14 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 16k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1378.59/1379.02 c 1306s| 4710k| 15 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 16k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1381.30/1381.73 c 1308s| 4720k| 17 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 16k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1383.89/1384.31 c 1311s| 4730k| 14 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 16k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1386.60/1387.05 c 1313s| 4740k| 13 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 16k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1389.29/1389.78 c 1316s| 4750k| 17 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 16k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1392.10/1392.51 c 1318s| 4760k| 16 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 16k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1394.89/1395.30 c 1321s| 4770k| 12 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 16k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1397.70/1398.18 c 1324s| 4780k| 14 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 17k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1400.49/1400.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1400.49/1400.93 c 1326s| 4790k| 16 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 17k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1403.20/1403.63 c 1329s| 4800k| 15 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 17k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1405.99/1406.42 c 1332s| 4810k| 14 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 17k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1408.79/1409.23 c 1334s| 4820k| 14 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 17k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1411.49/1411.96 c 1337s| 4830k| 16 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 17k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1414.29/1414.70 c 1340s| 4840k| 15 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 17k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1417.08/1417.54 c 1342s| 4850k| 13 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 17k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1419.88/1420.39 c 1345s| 4860k| 14 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 17k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1422.49/1422.96 c 1347s| 4870k| 15 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 17k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1425.09/1425.51 c 1350s| 4880k| 16 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 17k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1427.59/1428.09 c 1352s| 4890k| 13 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 17k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1430.28/1430.71 c 1355s| 4900k| 17 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 17k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1432.89/1433.33 c 1357s| 4910k| 17 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 17k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1435.48/1435.95 c 1360s| 4920k| 16 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 17k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1437.98/1438.42 c 1362s| 4930k| 15 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 17k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1440.49/1440.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1440.49/1440.93 c 1364s| 4940k| 15 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 17k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1443.09/1443.51 c 1367s| 4950k| 15 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 17k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1445.68/1446.14 c 1369s| 4960k| 17 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 17k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1448.19/1448.66 c 1372s| 4970k| 15 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 17k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1450.68/1451.15 c 1374s| 4980k| 15 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 17k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1453.18/1453.69 c 1377s| 4990k| 18 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 17k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1455.78/1456.20 c 1379s| 5000k| 16 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 17k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1458.27/1458.75 c 1381s| 5010k| 17 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 17k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1460.87/1461.36 c 1384s| 5020k| 17 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 17k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1463.58/1464.04 c 1386s| 5030k| 14 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 17k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1466.17/1466.69 c 1389s| 5040k| 14 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 17k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1468.87/1469.35 c 1391s| 5050k| 13 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 17k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1471.38/1471.90 c 1394s| 5060k| 15 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 17k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1473.98/1474.43 c 1396s| 5070k| 14 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 17k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1476.47/1476.96 c 1399s| 5080k| 15 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 18k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1478.98/1479.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1478.98/1479.50 c 1401s| 5090k| 15 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 18k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1481.57/1482.06 c 1404s| 5100k| 15 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 18k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1484.17/1484.70 c 1406s| 5110k| 14 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 18k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1486.97/1487.43 c 1409s| 5120k| 15 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 18k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1489.57/1490.05 c 1411s| 5130k| 16 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 18k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1492.27/1492.72 c 1414s| 5140k| 16 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 18k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1494.97/1495.48 c 1416s| 5150k| 14 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 18k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1497.67/1498.20 c 1419s| 5160k| 16 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 18k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1500.36/1500.86 c 1421s| 5170k| 16 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 18k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1502.97/1503.45 c 1424s| 5180k| 14 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 18k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1505.47/1505.96 c 1426s| 5190k| 14 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 18k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1507.96/1508.46 c 1429s| 5200k| 16 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 18k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1510.56/1511.09 c 1431s| 5210k| 16 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 18k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1513.16/1513.63 c 1434s| 5220k| 16 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 18k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1515.66/1516.15 c 1436s| 5230k| 15 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 18k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1518.26/1518.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1518.26/1518.74 c 1438s| 5240k| 15 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 18k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1520.76/1521.29 c 1441s| 5250k| 16 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 18k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1523.25/1523.78 c 1443s| 5260k| 13 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 18k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1525.76/1526.27 c 1446s| 5270k| 15 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 18k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1528.36/1528.80 c 1448s| 5280k| 15 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 18k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1530.85/1531.33 c 1450s| 5290k| 15 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 18k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1533.45/1533.94 c 1453s| 5300k| 18 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 18k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1535.95/1536.46 c 1455s| 5310k| 14 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 18k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1538.66/1539.19 c 1458s| 5320k| 13 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 18k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1541.45/1541.91 c 1460s| 5330k| 15 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 18k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1544.25/1544.75 c 1463s| 5340k| 14 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 18k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1547.05/1547.52 c 1466s| 5350k| 16 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 18k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1549.55/1550.06 c 1468s| 5360k| 15 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 18k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1552.25/1552.72 c 1471s| 5370k| 14 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 18k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1554.96/1555.42 c 1473s| 5380k| 15 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 19k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1557.55/1558.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1557.55/1558.00 c 1476s| 5390k| 15 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 19k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1560.15/1560.66 c 1478s| 5400k| 14 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 19k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1562.75/1563.29 c 1481s| 5410k| 16 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 19k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1565.35/1565.89 c 1483s| 5420k| 13 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 19k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1567.94/1568.41 c 1486s| 5430k| 15 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 19k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1570.54/1571.03 c 1488s| 5440k| 15 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 19k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1573.04/1573.57 c 1490s| 5450k| 16 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 19k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1575.75/1576.24 c 1493s| 5460k| 15 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 19k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1578.45/1578.92 c 1496s| 5470k| 14 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 19k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1581.05/1581.56 c 1498s| 5480k| 18 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 19k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1583.64/1584.16 c 1501s| 5490k| 12 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 19k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1586.24/1586.74 c 1503s| 5500k| 14 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 19k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1588.84/1589.38 c 1506s| 5510k| 16 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 19k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1591.54/1592.04 c 1508s| 5520k| 14 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 19k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1594.24/1594.74 c 1511s| 5530k| 14 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 19k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1596.94/1597.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1596.94/1597.40 c 1513s| 5540k| 16 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 19k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1599.54/1600.10 c 1516s| 5550k| 16 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 19k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1602.34/1602.86 c 1518s| 5560k| 15 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 19k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1605.04/1605.56 c 1521s| 5570k| 13 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 19k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1607.75/1608.26 c 1523s| 5580k| 16 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 19k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1610.44/1610.95 c 1526s| 5590k| 15 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 19k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1613.15/1613.62 c 1528s| 5600k| 15 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 19k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1615.84/1616.31 c 1531s| 5610k| 15 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 19k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1618.53/1619.00 c 1534s| 5620k| 13 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 19k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1621.13/1621.69 c 1536s| 5630k| 15 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 19k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1623.94/1624.41 c 1539s| 5640k| 17 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 19k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1626.63/1627.13 c 1541s| 5650k| 15 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 19k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1629.23/1629.76 c 1544s| 5660k| 16 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 19k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1631.94/1632.48 c 1546s| 5670k| 13 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 20k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1634.73/1635.28 c 1549s| 5680k| 15 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 20k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1637.63/1638.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1637.63/1638.12 c 1552s| 5690k| 13 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 20k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1640.43/1640.93 c 1554s| 5700k| 15 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 20k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1643.22/1643.79 c 1557s| 5710k| 14 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 20k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1646.03/1646.55 c 1560s| 5720k| 16 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 20k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1648.73/1649.21 c 1562s| 5730k| 17 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 20k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1651.43/1651.98 c 1565s| 5740k| 17 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 20k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1654.12/1654.64 c 1567s| 5750k| 13 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 20k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1656.83/1657.31 c 1570s| 5760k| 15 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 20k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1659.43/1659.99 c 1572s| 5770k| 16 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 20k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1662.23/1662.73 c 1575s| 5780k| 14 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 20k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1664.93/1665.48 c 1578s| 5790k| 11 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 20k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1667.72/1668.23 c 1580s| 5800k| 14 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 20k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1670.52/1671.03 c 1583s| 5810k| 15 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 20k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1673.32/1673.84 c 1586s| 5820k| 15 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 20k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1676.02/1676.54 c 1588s| 5830k| 15 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 20k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1678.72/1679.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1678.72/1679.22 c 1591s| 5840k| 15 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 20k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1681.33/1681.84 c 1593s| 5850k| 15 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 20k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1684.02/1684.59 c 1596s| 5860k| 12 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 20k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1686.72/1687.24 c 1598s| 5870k| 14 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 20k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1689.41/1689.93 c 1601s| 5880k| 14 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 20k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1692.11/1692.63 c 1604s| 5890k| 15 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 20k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1694.81/1695.37 c 1606s| 5900k| 14 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 20k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1697.71/1698.22 c 1609s| 5910k| 14 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 20k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1700.51/1701.01 c 1611s| 5920k| 13 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 20k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1703.32/1703.85 c 1614s| 5930k| 14 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 20k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1706.11/1706.66 c 1617s| 5940k| 15 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 20k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1708.92/1709.46 c 1619s| 5950k| 14 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 20k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1711.70/1712.29 c 1622s| 5960k| 12 | 5206 | 0.0 | 33M| 67 | - | 595 | 28k| 0 | 0 | 180 | 20k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1714.51/1715.09 c 1625s| 5970k| 16 | 5206 | 0.0 | 33M| 68 | - | 595 | 28k| 0 | 0 | 180 | 20k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1717.41/1717.92 c 1628s| 5980k| 13 | 5206 | 0.0 | 33M| 68 | - | 595 | 28k| 0 | 0 | 180 | 20k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1720.10/1720.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1720.10/1720.68 c 1630s| 5990k| 16 | 5206 | 0.0 | 33M| 68 | - | 595 | 28k| 0 | 0 | 180 | 20k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1722.90/1723.41 c 1633s| 6000k| 15 | 5206 | 0.0 | 33M| 68 | - | 595 | 28k| 0 | 0 | 180 | 20k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1725.60/1726.18 c 1635s| 6010k| 15 | 5206 | 0.0 | 33M| 68 | - | 595 | 28k| 0 | 0 | 180 | 20k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1728.31/1728.87 c 1638s| 6020k| 16 | 5206 | 0.0 | 33M| 68 | - | 595 | 28k| 0 | 0 | 180 | 21k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1731.00/1731.58 c 1641s| 6030k| 15 | 5206 | 0.0 | 33M| 68 | - | 595 | 28k| 0 | 0 | 180 | 21k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1733.70/1734.27 c 1643s| 6040k| 13 | 5206 | 0.0 | 33M| 68 | - | 595 | 28k| 0 | 0 | 180 | 21k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1736.41/1736.99 c 1646s| 6050k| 15 | 5206 | 0.0 | 33M| 68 | - | 595 | 28k| 0 | 0 | 180 | 21k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1739.21/1739.77 c 1648s| 6060k| 14 | 5206 | 0.0 | 33M| 68 | - | 595 | 28k| 0 | 0 | 180 | 21k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1742.01/1742.57 c 1651s| 6070k| 13 | 5206 | 0.0 | 33M| 68 | - | 595 | 28k| 0 | 0 | 180 | 21k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1744.70/1745.25 c 1653s| 6080k| 14 | 5206 | 0.0 | 33M| 68 | - | 595 | 28k| 0 | 0 | 180 | 21k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1747.41/1747.98 c 1656s| 6090k| 12 | 5206 | 0.0 | 33M| 68 | - | 595 | 28k| 0 | 0 | 180 | 21k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1750.30/1750.81 c 1659s| 6100k| 15 | 5206 | 0.0 | 33M| 68 | - | 595 | 28k| 0 | 0 | 180 | 21k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1753.10/1753.64 c 1661s| 6110k| 14 | 5206 | 0.0 | 33M| 68 | - | 595 | 28k| 0 | 0 | 180 | 21k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1755.90/1756.46 c 1664s| 6120k| 16 | 5206 | 0.0 | 33M| 68 | - | 595 | 28k| 0 | 0 | 180 | 21k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1758.60/1759.19 c 1667s| 6130k| 14 | 5206 | 0.0 | 33M| 68 | - | 595 | 28k| 0 | 0 | 180 | 21k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1761.40/1761.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1761.40/1761.98 c 1669s| 6140k| 15 | 5206 | 0.0 | 33M| 68 | - | 595 | 28k| 0 | 0 | 180 | 21k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1763.99/1764.59 c 1672s| 6150k| 12 | 5206 | 0.0 | 33M| 68 | - | 595 | 28k| 0 | 0 | 180 | 21k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1766.70/1767.29 c 1674s| 6160k| 14 | 5206 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 180 | 21k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1769.40/1769.99 c 1677s| 6170k| 13 | 5206 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 180 | 21k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1772.19/1772.73 c 1680s| 6180k| 14 | 5206 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 180 | 21k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1774.90/1775.44 c 1682s| 6190k| 12 | 5206 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 180 | 21k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1777.59/1778.14 c 1685s| 6200k| 13 | 5206 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 180 | 21k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1780.30/1780.86 c 1687s| 6210k| 13 | 5206 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 180 | 21k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1782.99/1783.55 c 1690s| 6220k| 12 | 5206 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 180 | 21k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1785.69/1786.26 c 1692s| 6230k| 12 | 5206 | 0.0 | 33M| 70 | - | 595 | 28k| 0 | 0 | 180 | 21k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1788.39/1788.98 c 1695s| 6240k| 17 | 5206 | 0.0 | 33M| 72 | - | 595 | 28k| 0 | 0 | 180 | 21k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1791.19/1791.79 c 1698s| 6250k| 15 | 5206 | 0.0 | 33M| 72 | - | 595 | 28k| 0 | 0 | 180 | 21k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1793.99/1794.58 c 1700s| 6260k| 17 | 5206 | 0.0 | 33M| 72 | - | 595 | 28k| 0 | 0 | 180 | 21k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1796.59/1797.19 c 1703s| 6270k| 16 | 5206 | 0.0 | 33M| 72 | - | 595 | 28k| 0 | 0 | 180 | 21k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1799.28/1799.82 c 1705s| 6280k| 16 | 5206 | 0.0 | 33M| 72 | - | 595 | 28k| 0 | 0 | 180 | 21k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1800.10/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.10/1800.61 c
1800.10/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.61 c Solving Time (sec) : 1706.04
1800.10/1800.61 c Solving Nodes : 6283081
1800.10/1800.61 c Primal Bound : -2.70000000000000e+01 (14 solutions)
1800.10/1800.61 c Dual Bound : -3.50000000000000e+01
1800.10/1800.61 c Gap : 22.86 %
1800.10/1800.63 s SATISFIABLE
1800.10/1800.63 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
1800.10/1800.63 v x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 -x53
1800.10/1800.63 v -x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79
1800.10/1800.63 v -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.10/1800.63 v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124
1800.10/1800.63 v x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 -x145
1800.10/1800.63 v -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166
1800.10/1800.63 v -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187
1800.10/1800.63 v -x188 -x189 -x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208
1800.10/1800.63 v -x209 -x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229
1800.10/1800.63 v -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 x247 -x248 -x249 -x250
1800.10/1800.63 v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271
1800.10/1800.63 v -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292
1800.10/1800.63 v -x293 x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313
1800.10/1800.63 v -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 x328 -x329 -x330 -x331 -x332 -x333 -x334
1800.10/1800.63 v -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 x352 -x353 -x354 -x355
1800.10/1800.63 v -x356 -x357 -x358 -x359 -x360 x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376
1800.10/1800.63 v -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397
1800.10/1800.63 v x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418
1800.10/1800.63 v -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 x439
1800.10/1800.63 v -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 x458 -x459 -x460
1800.10/1800.63 v -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481
1800.10/1800.63 v -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502
1800.10/1800.63 v -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 x517 -x518 -x519 -x520 -x521 -x522 -x523
1800.10/1800.63 v -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544
1800.10/1800.63 v x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565
1800.10/1800.63 v -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586
1800.10/1800.63 v x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595
1800.10/1800.63 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.63 c Solving Time : 1706.04
1800.10/1800.63 c Original Problem :
1800.10/1800.63 c Problem name : HOME/instance-2667100-1276514403.opb
1800.10/1800.63 c Variables : 595 (595 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.63 c Constraints : 28143 initial, 28143 maximal
1800.10/1800.63 c Presolved Problem :
1800.10/1800.63 c Problem name : t_HOME/instance-2667100-1276514403.opb
1800.10/1800.63 c Variables : 595 (595 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.63 c Constraints : 28143 initial, 28180 maximal
1800.10/1800.63 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.10/1800.63 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.63 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.63 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.63 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.63 c implics : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.63 c probing : 0.64 0 0 0 0 0 0 0 0
1800.10/1800.63 c logicor : 0.08 0 0 0 0 0 0 0 0
1800.10/1800.63 c root node : - 0 - - 0 - - - -
1800.10/1800.63 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.10/1800.63 c integral : 0 0 0 1 0 0 0 0 0 2
1800.10/1800.63 c logicor : 28143+ 23 6489825 0 5 530102 13283445 0 0 0
1800.10/1800.63 c countsols : 0 0 0 0 5 0 0 0 0 0
1800.10/1800.63 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.10/1800.63 c integral : 33.10 0.00 0.00 33.10 0.00
1800.10/1800.63 c logicor : 532.95 0.08 532.85 0.00 0.02
1800.10/1800.63 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.10/1800.63 c Propagators : Time Calls Cutoffs DomReds
1800.10/1800.63 c vbounds : 4.93 2 0 0
1800.10/1800.63 c rootredcost : 4.40 5 0 0
1800.10/1800.63 c pseudoobj : 467.56 9942858 2404531 3792112
1800.10/1800.63 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.10/1800.63 c propagation : 274.63 530102 21985 21985 38.8 0 0.0 -
1800.10/1800.63 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.63 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.63 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.63 c pseudo solution : 107.40 211777 0 0 0.0 0 0.0 -
1800.10/1800.63 c applied globally : - - - 21929 38.7 - - -
1800.10/1800.63 c applied locally : - - - 56 61.3 - - -
1800.10/1800.63 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.10/1800.63 c cut pool : 0.01 22 - - 43 - (maximal pool size: 457)
1800.10/1800.63 c redcost : 0.00 23 0 0 0 0
1800.10/1800.63 c impliedbounds : 0.01 23 0 0 0 0
1800.10/1800.63 c intobj : 0.00 0 0 0 0 0
1800.10/1800.63 c cgmip : 0.00 0 0 0 0 0
1800.10/1800.63 c gomory : 30.63 23 0 0 10261 0
1800.10/1800.63 c strongcg : 5.43 20 0 0 10000 0
1800.10/1800.63 c cmir : 3.57 10 0 0 0 0
1800.10/1800.63 c flowcover : 3.96 10 0 0 0 0
1800.10/1800.63 c clique : 0.52 23 0 0 205 0
1800.10/1800.63 c zerohalf : 0.00 0 0 0 0 0
1800.10/1800.63 c mcf : 0.04 1 0 0 0 0
1800.10/1800.63 c rapidlearning : 0.00 0 0 0 0 0
1800.10/1800.63 c Pricers : Time Calls Vars
1800.10/1800.63 c problem variables: 0.00 0 0
1800.10/1800.63 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.10/1800.63 c relpscost : 33.10 1 0 0 0 0 2
1800.10/1800.63 c pscost : 0.00 0 0 0 0 0 0
1800.10/1800.63 c inference : 25.23 3149416 0 0 0 0 6298832
1800.10/1800.63 c mostinf : 0.00 0 0 0 0 0 0
1800.10/1800.63 c leastinf : 0.00 0 0 0 0 0 0
1800.10/1800.63 c fullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.63 c allfullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.63 c random : 0.00 0 0 0 0 0 0
1800.10/1800.63 c Primal Heuristics : Time Calls Found
1800.10/1800.63 c LP solutions : 0.00 - 0
1800.10/1800.63 c pseudo solutions : 0.00 - 5
1800.10/1800.63 c crossover : 0.00 0 0
1800.10/1800.63 c oneopt : 4.20 2 1
1800.10/1800.63 c trivial : 0.01 2 3
1800.10/1800.63 c simplerounding : 0.00 24 1
1800.10/1800.63 c zirounding : 0.01 1 1
1800.10/1800.63 c rounding : 0.41 24 1
1800.10/1800.63 c shifting : 0.48 24 1
1800.10/1800.63 c intshifting : 0.00 0 0
1800.10/1800.63 c twoopt : 0.00 0 0
1800.10/1800.63 c fixandinfer : 0.00 0 0
1800.10/1800.63 c feaspump : 0.00 0 0
1800.10/1800.63 c coefdiving : 0.00 0 0
1800.10/1800.63 c pscostdiving : 0.00 0 0
1800.10/1800.63 c fracdiving : 0.00 0 0
1800.10/1800.63 c veclendiving : 0.00 0 0
1800.10/1800.63 c intdiving : 0.00 0 0
1800.10/1800.63 c actconsdiving : 0.00 0 0
1800.10/1800.63 c objpscostdiving : 0.00 0 0
1800.10/1800.63 c rootsoldiving : 0.00 0 0
1800.10/1800.63 c linesearchdiving : 0.00 0 0
1800.10/1800.63 c guideddiving : 0.00 0 0
1800.10/1800.63 c octane : 0.00 0 0
1800.10/1800.63 c rens : 1.72 1 1
1800.10/1800.63 c rins : 0.00 0 0
1800.10/1800.63 c localbranching : 0.00 0 0
1800.10/1800.63 c mutation : 0.00 0 0
1800.10/1800.63 c dins : 0.00 0 0
1800.10/1800.63 c undercover : 0.00 0 0
1800.10/1800.63 c nlp : 2.63 0 0
1800.10/1800.63 c trysol : 2.79 0 0
1800.10/1800.63 c LP : Time Calls Iterations Iter/call Iter/sec
1800.10/1800.63 c primal LP : 0.07 0 0 0.00 0.00
1800.10/1800.63 c dual LP : 16.09 24 5206 216.92 323.56
1800.10/1800.63 c lex dual LP : 0.00 0 0 0.00 -
1800.10/1800.63 c barrier LP : 0.00 0 0 0.00 -
1800.10/1800.63 c diving/probing LP: 0.00 0 0 0.00 -
1800.10/1800.63 c strong branching : 33.10 33 9491 287.61 286.74
1800.10/1800.63 c (at root node) : - 33 9491 287.61 -
1800.10/1800.63 c conflict analysis: 0.00 0 0 0.00 -
1800.10/1800.63 c B&B Tree :
1800.10/1800.63 c number of runs : 1
1800.10/1800.63 c nodes : 6283081
1800.10/1800.63 c nodes (total) : 6283081
1800.10/1800.63 c nodes left : 16
1800.10/1800.63 c max depth : 72
1800.10/1800.63 c max depth (total): 72
1800.10/1800.63 c backtracks : 1011242 (16.1%)
1800.10/1800.63 c delayed cutoffs : 13909
1800.10/1800.63 c repropagations : 16273 (64151 domain reductions, 12751 cutoffs)
1800.10/1800.63 c avg switch length: 2.00
1800.10/1800.63 c switching time : 208.65
1800.10/1800.63 c Solution :
1800.10/1800.63 c Solutions found : 14 (8 improvements)
1800.10/1800.63 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.05 seconds, depth 0, found by <trivial>)
1800.10/1800.63 c Primal Bound : -2.70000000000000e+01 (in run 1, after 898703 nodes, 324.12 seconds, depth 45, found by <relaxation>)
1800.10/1800.63 c Dual Bound : -3.50000000000000e+01
1800.10/1800.63 c Gap : 22.86 %
1800.10/1800.63 c Root Dual Bound : -3.50000000000000e+01
1800.10/1800.63 c Root Iterations : 5206
1800.20/1800.74 c Time complete: 1800.23.