0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2665492-1276515105.opb>
0.39/0.45 c original problem has 595 variables (595 bin, 0 int, 0 impl, 0 cont) and 27931 constraints
0.39/0.45 c problem read
0.39/0.45 c presolving settings loaded
0.49/0.53 o 0
0.49/0.53 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.49/0.53 c presolving:
0.79/0.89 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 27931 upgd conss, 55862 impls, 0 clqs
1.59/1.64 c (1.1s) probing: 101/595 (17.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.59/1.64 c (1.1s) probing aborted: 100/100 successive totally useless probings
1.59/1.64 c presolving (2 rounds):
1.59/1.64 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.59/1.64 c 55862 implications, 0 cliques
1.59/1.64 c presolved problem has 595 variables (595 bin, 0 int, 0 impl, 0 cont) and 27931 constraints
1.59/1.64 c 27931 constraints of type <logicor>
1.59/1.64 c transformed objective value is always integral (scale: 1)
1.59/1.64 c Presolving Time: 1.04
1.59/1.64 c - non default parameters ----------------------------------------------------------------------
1.59/1.64 c # SCIP version 1.2.1.2
1.59/1.64 c
1.59/1.64 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.59/1.64 c # [type: int, range: [-1,2147483647], default: -1]
1.59/1.64 c conflict/interconss = 0
1.59/1.64 c
1.59/1.64 c # should binary conflicts be preferred?
1.59/1.64 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.59/1.64 c conflict/preferbinary = TRUE
1.59/1.64 c
1.59/1.64 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.59/1.64 c # [type: int, range: [-1,2147483647], default: 0]
1.59/1.64 c constraints/agelimit = 1
1.59/1.64 c
1.59/1.64 c # should enforcement of pseudo solution be disabled?
1.59/1.64 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.59/1.64 c constraints/disableenfops = TRUE
1.59/1.64 c
1.59/1.64 c # frequency for displaying node information lines
1.59/1.64 c # [type: int, range: [-1,2147483647], default: 100]
1.59/1.64 c display/freq = 10000
1.59/1.64 c
1.59/1.64 c # maximal time in seconds to run
1.59/1.64 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.59/1.64 c limits/time = 1799.55
1.59/1.64 c
1.59/1.64 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.59/1.64 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.59/1.64 c limits/memory = 1620
1.59/1.64 c
1.59/1.64 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.59/1.64 c # [type: int, range: [-1,2147483647], default: 1]
1.59/1.64 c lp/solvefreq = 0
1.59/1.64 c
1.59/1.64 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
1.59/1.64 c # [type: char, range: {lafpsqd}, default: l]
1.59/1.64 c lp/pricing = a
1.59/1.64 c
1.59/1.64 c # should presolving try to simplify inequalities
1.59/1.64 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.59/1.64 c constraints/linear/simplifyinequalities = TRUE
1.59/1.64 c
1.59/1.64 c # should presolving try to simplify knapsacks
1.59/1.64 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.59/1.64 c constraints/knapsack/simplifyinequalities = TRUE
1.59/1.64 c
1.59/1.64 c # priority of node selection rule <dfs> in standard mode
1.59/1.64 c # [type: int, range: [-536870912,536870911], default: 0]
1.59/1.64 c nodeselection/dfs/stdpriority = 1000000
1.59/1.64 c
1.59/1.64 c -----------------------------------------------------------------------------------------------
1.59/1.64 c start solving
1.59/1.64 c
1.98/2.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.98/2.00 c t 1.4s| 1 | 0 | 646 | - | 31M| 0 | 595 | 595 | 27k| 595 | 27k| 0 | 0 | 0 |-2.975000e+02 | 0.000000e+00 | 100.00%
1.98/2.04 o -1
1.98/2.04 c R 1.5s| 1 | 0 | 646 | - | 31M| 0 | 595 | 595 | 27k| 595 | 27k| 0 | 0 | 0 |-2.975000e+02 |-1.000000e+00 | 99.66%
3.68/3.72 c 3.1s| 1 | 0 | 895 | - | 31M| 0 | 546 | 595 | 27k| 595 | 27k| 9 | 0 | 0 |-2.730000e+02 |-1.000000e+00 | 99.63%
3.68/3.74 o -24
3.68/3.74 c b 3.1s| 1 | 0 | 895 | - | 31M| 0 | 546 | 595 | 27k| 595 | 27k| 9 | 0 | 0 |-2.730000e+02 |-2.400000e+01 | 91.21%
5.08/5.16 c 4.5s| 1 | 0 | 1068 | - | 31M| 0 | 516 | 595 | 27k| 595 | 27k| 14 | 0 | 0 |-2.580000e+02 |-2.400000e+01 | 90.70%
6.88/6.98 c 6.3s| 1 | 0 | 1301 | - | 31M| 0 | 484 | 595 | 27k| 595 | 27k| 23 | 0 | 0 |-2.420000e+02 |-2.400000e+01 | 90.08%
9.79/9.88 c 9.2s| 1 | 0 | 1656 | - | 31M| 0 | 451 | 595 | 27k| 595 | 27k| 31 | 0 | 0 |-2.255000e+02 |-2.400000e+01 | 89.36%
12.58/12.60 c 11.9s| 1 | 0 | 1993 | - | 31M| 0 | 423 | 595 | 27k| 595 | 27k| 39 | 0 | 0 |-2.107500e+02 |-2.400000e+01 | 88.61%
14.19/14.21 c 13.5s| 1 | 0 | 2107 | - | 31M| 0 | 408 | 595 | 27k| 595 | 27k| 43 | 0 | 0 |-2.032500e+02 |-2.400000e+01 | 88.19%
16.18/16.27 c 15.5s| 1 | 0 | 2324 | - | 31M| 0 | 378 | 595 | 27k| 595 | 27k| 47 | 0 | 0 |-1.882500e+02 |-2.400000e+01 | 87.25%
18.48/18.55 c 17.8s| 1 | 0 | 2610 | - | 31M| 0 | 343 | 595 | 27k| 595 | 27k| 57 | 0 | 0 |-1.707500e+02 |-2.400000e+01 | 85.94%
21.38/21.47 c 20.7s| 1 | 0 | 3000 | - | 31M| 0 | 314 | 595 | 27k| 595 | 27k| 65 | 0 | 0 |-1.562500e+02 |-2.400000e+01 | 84.64%
24.38/24.41 c 23.6s| 1 | 0 | 3403 | - | 31M| 0 | 282 | 595 | 27k| 595 | 28k| 71 | 0 | 0 |-1.402500e+02 |-2.400000e+01 | 82.89%
26.17/26.26 c 25.4s| 1 | 0 | 3828 | - | 31M| 0 | 254 | 595 | 27k| 595 | 28k| 79 | 0 | 0 |-1.262500e+02 |-2.400000e+01 | 80.99%
27.39/27.44 c 26.6s| 1 | 0 | 4130 | - | 31M| 0 | 224 | 595 | 27k| 595 | 28k| 84 | 0 | 0 |-1.112500e+02 |-2.400000e+01 | 78.43%
28.87/28.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.87/28.92 c 28.0s| 1 | 0 | 4507 | - | 32M| 0 | 181 | 595 | 27k| 595 | 28k| 93 | 0 | 0 |-8.975000e+01 |-2.400000e+01 | 73.26%
29.58/29.65 c 28.8s| 1 | 0 | 4781 | - | 32M| 0 | 150 | 595 | 27k| 595 | 28k| 101 | 0 | 0 |-7.425000e+01 |-2.400000e+01 | 67.68%
30.79/30.83 c 29.9s| 1 | 0 | 5180 | - | 32M| 0 | 120 | 595 | 27k| 595 | 28k| 108 | 0 | 0 |-6.000000e+01 |-2.400000e+01 | 60.00%
31.18/31.29 c 30.4s| 1 | 0 | 5363 | - | 32M| 0 | 103 | 595 | 27k| 595 | 28k| 115 | 0 | 0 |-5.250000e+01 |-2.400000e+01 | 54.29%
31.78/31.82 c 30.9s| 1 | 0 | 5584 | - | 32M| 0 | 113 | 595 | 27k| 595 | 28k| 122 | 0 | 0 |-4.600000e+01 |-2.400000e+01 | 47.83%
32.17/32.22 c 31.3s| 1 | 0 | 5727 | - | 32M| 0 | 98 | 595 | 27k| 595 | 28k| 132 | 0 | 0 |-4.000000e+01 |-2.400000e+01 | 40.00%
32.57/32.66 c 31.7s| 1 | 0 | 5834 | - | 32M| 0 | 102 | 595 | 27k| 595 | 28k| 142 | 0 | 0 |-3.500000e+01 |-2.400000e+01 | 31.43%
33.07/33.11 c 32.1s| 1 | 0 | 5925 | - | 32M| 0 | 108 | 595 | 27k| 595 | 28k| 152 | 0 | 0 |-3.500000e+01 |-2.400000e+01 | 31.43%
33.47/33.58 c 32.6s| 1 | 0 | 6066 | - | 32M| 0 | 170 | 595 | 27k| 595 | 28k| 166 | 0 | 0 |-3.500000e+01 |-2.400000e+01 | 31.43%
34.87/34.98 c 34.0s| 1 | 0 | 6452 | - | 32M| 0 | 156 | 595 | 27k| 595 | 28k| 179 | 0 | 0 |-3.500000e+01 |-2.400000e+01 | 31.43%
40.06/40.11 c 39.0s| 1 | 0 | 6945 | - | 32M| 0 | 199 | 595 | 27k| 595 | 28k| 188 | 0 | 0 |-3.500000e+01 |-2.400000e+01 | 31.43%
46.07/46.20 c 45.1s| 1 | 0 | 7367 | - | 32M| 0 | 145 | 595 | 27k| 595 | 28k| 197 | 0 | 0 |-3.500000e+01 |-2.400000e+01 | 31.43%
48.46/48.50 o -25
48.46/48.50 c E47.1s| 1 | 0 | 7367 | - | 32M| 0 | 145 | 595 | 27k| 595 | 28k| 197 | 0 | 0 |-3.500000e+01 |-2.500000e+01 | 28.57%
48.46/48.53 c 47.2s| 1 | 0 | 7367 | - | 32M| 0 | 145 | 595 | 27k| 595 | 28k| 197 | 0 | 0 |-3.500000e+01 |-2.500000e+01 | 28.57%
48.46/48.54 o -26
48.46/48.54 c b47.2s| 1 | 0 | 7367 | - | 32M| 0 | 145 | 595 | 27k| 595 | 28k| 197 | 0 | 0 |-3.500000e+01 |-2.600000e+01 | 25.71%
51.16/51.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
51.16/51.24 c 49.9s| 1 | 0 | 7896 | - | 32M| 0 | 126 | 595 | 27k| 595 | 28k| 208 | 0 | 0 |-3.500000e+01 |-2.600000e+01 | 25.71%
135.83/135.99 c 134s| 1 | 2 | 7896 | - | 32M| 0 | 126 | 595 | 27k| 595 | 28k| 208 | 0 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
138.54/138.68 c 136s| 10000 | 17 | 7896 | 0.0 | 33M| 39 | - | 595 | 27k| 0 | 0 | 208 | 118 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
141.13/141.25 c 139s| 20000 | 17 | 7896 | 0.0 | 33M| 41 | - | 595 | 27k| 0 | 0 | 208 | 207 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
143.74/143.83 c 141s| 30000 | 16 | 7896 | 0.0 | 33M| 41 | - | 595 | 27k| 0 | 0 | 208 | 243 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
146.24/146.34 c 144s| 40000 | 16 | 7896 | 0.0 | 33M| 46 | - | 595 | 27k| 0 | 0 | 208 | 289 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
148.83/148.92 c 146s| 50000 | 17 | 7896 | 0.0 | 33M| 46 | - | 595 | 27k| 0 | 0 | 208 | 374 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
151.33/151.48 c 149s| 60000 | 16 | 7896 | 0.0 | 33M| 47 | - | 595 | 27k| 0 | 0 | 208 | 470 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
153.93/154.07 c 151s| 70000 | 16 | 7896 | 0.0 | 33M| 47 | - | 595 | 27k| 0 | 0 | 208 | 536 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
156.53/156.62 c 153s| 80000 | 17 | 7896 | 0.0 | 33M| 47 | - | 595 | 27k| 0 | 0 | 208 | 589 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
159.13/159.23 c 156s| 90000 | 16 | 7896 | 0.0 | 33M| 49 | - | 595 | 27k| 0 | 0 | 208 | 631 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
161.73/161.86 c 158s|100000 | 17 | 7896 | 0.0 | 33M| 49 | - | 595 | 27k| 0 | 0 | 208 | 719 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
164.33/164.48 c 161s|110000 | 17 | 7896 | 0.0 | 33M| 49 | - | 595 | 27k| 0 | 0 | 208 | 783 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
167.03/167.12 c 163s|120000 | 16 | 7896 | 0.0 | 33M| 52 | - | 595 | 27k| 0 | 0 | 208 | 830 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
169.72/169.86 c 166s|130000 | 16 | 7896 | 0.0 | 33M| 52 | - | 595 | 27k| 0 | 0 | 208 | 869 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
172.33/172.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
172.33/172.42 c 168s|140000 | 17 | 7896 | 0.0 | 33M| 52 | - | 595 | 27k| 0 | 0 | 208 | 948 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
174.83/174.94 c 171s|150000 | 17 | 7896 | 0.0 | 33M| 52 | - | 595 | 27k| 0 | 0 | 208 | 993 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
177.22/177.39 c 173s|160000 | 16 | 7896 | 0.0 | 33M| 52 | - | 595 | 27k| 0 | 0 | 208 |1031 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
179.82/179.97 c 176s|170000 | 17 | 7896 | 0.0 | 33M| 52 | - | 595 | 27k| 0 | 0 | 208 |1084 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
182.53/182.69 c 178s|180000 | 17 | 7896 | 0.0 | 33M| 52 | - | 595 | 27k| 0 | 0 | 208 |1154 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
185.02/185.19 c 180s|190000 | 18 | 7896 | 0.0 | 33M| 52 | - | 595 | 27k| 0 | 0 | 208 |1191 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
187.52/187.69 c 183s|200000 | 17 | 7896 | 0.0 | 33M| 52 | - | 595 | 27k| 0 | 0 | 208 |1234 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
190.01/190.12 c 185s|210000 | 18 | 7896 | 0.0 | 33M| 52 | - | 595 | 27k| 0 | 0 | 208 |1294 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
192.52/192.62 c 188s|220000 | 17 | 7896 | 0.0 | 33M| 52 | - | 595 | 27k| 0 | 0 | 208 |1335 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
195.02/195.13 c 190s|230000 | 16 | 7896 | 0.0 | 33M| 52 | - | 595 | 27k| 0 | 0 | 208 |1379 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
197.61/197.73 c 192s|240000 | 18 | 7896 | 0.0 | 33M| 52 | - | 595 | 27k| 0 | 0 | 208 |1434 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
200.12/200.25 c 195s|250000 | 16 | 7896 | 0.0 | 33M| 52 | - | 595 | 27k| 0 | 0 | 208 |1482 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
202.71/202.83 c 197s|260000 | 19 | 7896 | 0.0 | 33M| 52 | - | 595 | 27k| 0 | 0 | 208 |1523 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
205.21/205.37 c 200s|270000 | 20 | 7896 | 0.0 | 33M| 52 | - | 595 | 27k| 0 | 0 | 208 |1612 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
207.72/207.89 c 202s|280000 | 17 | 7896 | 0.0 | 33M| 53 | - | 595 | 27k| 0 | 0 | 208 |1645 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
210.41/210.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
210.41/210.52 c 205s|290000 | 16 | 7896 | 0.0 | 33M| 53 | - | 595 | 27k| 0 | 0 | 208 |1679 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
213.11/213.21 c 207s|300000 | 15 | 7896 | 0.0 | 33M| 53 | - | 595 | 27k| 0 | 0 | 208 |1713 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
215.81/215.97 c 210s|310000 | 16 | 7896 | 0.0 | 33M| 53 | - | 595 | 27k| 0 | 0 | 208 |1808 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
218.41/218.58 c 212s|320000 | 18 | 7896 | 0.0 | 33M| 53 | - | 595 | 27k| 0 | 0 | 208 |1903 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
220.91/221.04 c 215s|330000 | 18 | 7896 | 0.0 | 33M| 53 | - | 595 | 27k| 0 | 0 | 208 |1945 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
223.41/223.53 c 217s|340000 | 18 | 7896 | 0.0 | 33M| 53 | - | 595 | 27k| 0 | 0 | 208 |1990 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
225.91/226.01 c 219s|350000 | 18 | 7896 | 0.0 | 33M| 53 | - | 595 | 27k| 0 | 0 | 208 |2031 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
228.50/228.61 c 222s|360000 | 17 | 7896 | 0.0 | 33M| 53 | - | 595 | 27k| 0 | 0 | 208 |2102 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
231.00/231.18 c 224s|370000 | 16 | 7896 | 0.0 | 33M| 53 | - | 595 | 27k| 0 | 0 | 208 |2168 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
233.51/233.67 c 227s|380000 | 15 | 7896 | 0.0 | 33M| 53 | - | 595 | 27k| 0 | 0 | 208 |2213 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
236.00/236.19 c 229s|390000 | 15 | 7896 | 0.0 | 33M| 53 | - | 595 | 27k| 0 | 0 | 208 |2235 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
238.70/238.85 c 231s|400000 | 17 | 7896 | 0.0 | 33M| 54 | - | 595 | 27k| 0 | 0 | 208 |2287 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
241.50/241.63 c 234s|410000 | 16 | 7896 | 0.0 | 33M| 54 | - | 595 | 27k| 0 | 0 | 208 |2361 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
244.11/244.25 c 237s|420000 | 19 | 7896 | 0.0 | 33M| 54 | - | 595 | 27k| 0 | 0 | 208 |2424 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
246.60/246.77 c 239s|430000 | 17 | 7896 | 0.0 | 33M| 54 | - | 595 | 27k| 0 | 0 | 208 |2457 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
249.30/249.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
249.30/249.43 c 241s|440000 | 17 | 7896 | 0.0 | 33M| 54 | - | 595 | 27k| 0 | 0 | 208 |2546 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
251.81/251.98 c 244s|450000 | 16 | 7896 | 0.0 | 33M| 54 | - | 595 | 27k| 0 | 0 | 208 |2579 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
254.39/254.53 c 246s|460000 | 16 | 7896 | 0.0 | 33M| 54 | - | 595 | 27k| 0 | 0 | 208 |2621 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
256.89/257.06 c 249s|470000 | 19 | 7896 | 0.0 | 33M| 57 | - | 595 | 27k| 0 | 0 | 208 |2675 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
259.50/259.66 c 251s|480000 | 15 | 7896 | 0.0 | 33M| 57 | - | 595 | 27k| 0 | 0 | 208 |2724 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
262.09/262.23 c 254s|490000 | 17 | 7896 | 0.0 | 33M| 57 | - | 595 | 27k| 0 | 0 | 208 |2752 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
264.70/264.89 c 256s|500000 | 15 | 7896 | 0.0 | 33M| 57 | - | 595 | 27k| 0 | 0 | 208 |2795 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
267.39/267.55 c 259s|510000 | 16 | 7896 | 0.0 | 33M| 57 | - | 595 | 27k| 0 | 0 | 208 |2859 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
269.99/270.17 c 261s|520000 | 19 | 7896 | 0.0 | 33M| 57 | - | 595 | 27k| 0 | 0 | 208 |2940 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
272.60/272.73 c 264s|530000 | 16 | 7896 | 0.0 | 33M| 57 | - | 595 | 27k| 0 | 0 | 208 |2977 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
275.09/275.24 c 266s|540000 | 17 | 7896 | 0.0 | 33M| 57 | - | 595 | 27k| 0 | 0 | 208 |3018 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
277.59/277.71 c 268s|550000 | 14 | 7896 | 0.0 | 33M| 57 | - | 595 | 27k| 0 | 0 | 208 |3046 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
280.09/280.23 c 271s|560000 | 16 | 7896 | 0.0 | 33M| 57 | - | 595 | 27k| 0 | 0 | 208 |3101 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
282.59/282.79 c 273s|570000 | 17 | 7896 | 0.0 | 33M| 57 | - | 595 | 27k| 0 | 0 | 208 |3136 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
285.18/285.38 c 276s|580000 | 14 | 7896 | 0.0 | 33M| 57 | - | 595 | 27k| 0 | 0 | 208 |3161 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
287.88/288.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
287.88/288.04 c 278s|590000 | 17 | 7896 | 0.0 | 33M| 57 | - | 595 | 27k| 0 | 0 | 208 |3178 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
290.49/290.68 c 281s|600000 | 15 | 7896 | 0.0 | 33M| 57 | - | 595 | 27k| 0 | 0 | 208 |3221 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
293.18/293.31 c 283s|610000 | 16 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |3247 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
295.98/296.14 c 286s|620000 | 17 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |3302 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
298.79/298.91 c 288s|630000 | 18 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |3342 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
301.59/301.70 c 291s|640000 | 14 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |3398 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
304.28/304.43 c 294s|650000 | 17 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |3429 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
306.88/307.04 c 296s|660000 | 18 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |3510 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
309.48/309.66 c 299s|670000 | 17 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |3578 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
312.19/312.39 c 301s|680000 | 18 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |3686 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
314.78/314.99 c 304s|690000 | 18 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |3748 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
317.58/317.72 c 306s|700000 | 17 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |3809 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
320.28/320.44 c 309s|710000 | 16 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |3911 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
322.97/323.16 c 312s|720000 | 17 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |4000 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
325.78/325.90 c 314s|730000 | 16 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |4090 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
328.48/328.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
328.48/328.65 c 317s|740000 | 15 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |4159 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
331.18/331.35 c 319s|750000 | 16 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |4258 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
333.88/334.00 c 322s|760000 | 16 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |4301 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
336.48/336.67 c 324s|770000 | 18 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |4341 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
339.27/339.43 c 327s|780000 | 16 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |4367 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
341.98/342.12 c 330s|790000 | 15 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |4406 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
344.57/344.73 c 332s|800000 | 16 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |4429 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
347.17/347.39 c 335s|810000 | 16 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |4451 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
349.86/350.02 c 337s|820000 | 17 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |4488 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
352.57/352.70 c 340s|830000 | 17 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |4521 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
355.26/355.43 c 342s|840000 | 16 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |4544 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
357.86/358.04 c 345s|850000 | 15 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |4596 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
360.46/360.66 c 347s|860000 | 16 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |4646 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
363.16/363.38 c 350s|870000 | 17 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |4741 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
365.96/366.13 c 352s|880000 | 16 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |4856 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
368.66/368.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
368.66/368.88 c 355s|890000 | 17 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |4903 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
371.36/371.56 c 358s|900000 | 16 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |4967 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
374.06/374.21 c 360s|910000 | 15 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |5000 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
376.66/376.85 c 363s|920000 | 14 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |5028 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
379.36/379.54 c 365s|930000 | 16 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |5083 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
381.95/382.11 c 368s|940000 | 16 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |5121 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
384.46/384.67 c 370s|950000 | 17 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |5154 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
387.06/387.28 c 372s|960000 | 18 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |5200 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
389.55/389.75 c 375s|970000 | 21 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |5249 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
391.96/392.19 c 377s|980000 | 18 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |5286 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
394.55/394.71 c 379s|990000 | 16 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |5321 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
396.96/397.19 c 382s| 1000k| 16 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |5364 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
399.65/399.82 c 384s| 1010k| 17 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |5418 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
402.15/402.30 c 387s| 1020k| 18 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |5443 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
404.65/404.81 c 389s| 1030k| 18 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |5504 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
407.25/407.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
407.25/407.42 c 392s| 1040k| 16 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |5583 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
409.65/409.86 c 394s| 1050k| 19 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |5624 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
412.15/412.35 c 396s| 1060k| 15 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |5664 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
414.64/414.84 c 399s| 1070k| 17 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |5700 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
417.15/417.36 c 401s| 1080k| 18 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |5757 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
419.65/419.86 c 403s| 1090k| 17 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |5813 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
422.15/422.34 c 406s| 1100k| 16 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |5883 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
424.64/424.89 c 408s| 1110k| 16 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |5928 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
427.24/427.41 c 411s| 1120k| 19 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |5969 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
429.64/429.89 c 413s| 1130k| 17 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |6022 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
432.24/432.44 c 415s| 1140k| 19 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |6126 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
434.84/435.03 c 418s| 1150k| 17 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |6200 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
437.34/437.51 c 420s| 1160k| 15 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |6237 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
439.94/440.11 c 423s| 1170k| 17 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |6302 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
442.43/442.68 c 425s| 1180k| 16 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |6353 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
445.04/445.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
445.04/445.27 c 427s| 1190k| 19 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |6393 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
447.55/447.77 c 430s| 1200k| 17 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |6431 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
450.23/450.41 c 432s| 1210k| 18 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |6478 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
452.83/453.00 c 435s| 1220k| 17 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |6525 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
455.43/455.64 c 437s| 1230k| 17 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |6572 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
458.03/458.25 c 440s| 1240k| 16 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |6621 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
460.63/460.83 c 442s| 1250k| 16 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |6648 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
463.23/463.40 c 445s| 1260k| 15 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |6690 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
465.73/465.91 c 447s| 1270k| 18 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |6771 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
468.23/468.42 c 449s| 1280k| 14 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |6811 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
470.72/470.98 c 452s| 1290k| 18 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |6883 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
473.23/473.41 c 454s| 1300k| 17 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |6940 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
475.62/475.84 c 456s| 1310k| 16 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |6977 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
478.23/478.41 c 459s| 1320k| 17 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |7023 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
480.62/480.82 c 461s| 1330k| 19 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |7082 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
483.03/483.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
483.03/483.25 c 464s| 1340k| 19 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |7114 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
485.52/485.75 c 466s| 1350k| 16 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |7156 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
488.13/488.32 c 468s| 1360k| 14 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |7192 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
490.62/490.84 c 471s| 1370k| 16 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |7234 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
493.12/493.33 c 473s| 1380k| 15 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |7333 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
495.52/495.76 c 475s| 1390k| 17 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |7406 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
498.13/498.31 c 478s| 1400k| 18 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |7466 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
500.61/500.81 c 480s| 1410k| 14 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |7525 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
503.02/503.26 c 482s| 1420k| 15 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |7581 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
505.62/505.82 c 485s| 1430k| 16 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |7629 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
508.02/508.26 c 487s| 1440k| 16 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |7674 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
510.52/510.71 c 490s| 1450k| 14 | 7896 | 0.0 | 33M| 59 | - | 595 | 27k| 0 | 0 | 208 |7728 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
513.02/513.22 c 492s| 1460k| 17 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 |7795 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
515.51/515.71 c 494s| 1470k| 17 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 |7861 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
518.01/518.26 c 497s| 1480k| 15 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 |7901 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
520.61/520.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
520.61/520.80 c 499s| 1490k| 16 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 |7945 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
523.01/523.28 c 501s| 1500k| 14 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 |7980 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
525.71/525.94 c 504s| 1510k| 17 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 |8054 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
528.31/528.58 c 507s| 1520k| 18 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 |8119 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
530.91/531.14 c 509s| 1530k| 13 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 |8170 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
533.51/533.70 c 511s| 1540k| 16 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 |8226 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
536.01/536.28 c 514s| 1550k| 18 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 |8292 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
538.72/538.94 c 516s| 1560k| 19 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 |8358 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
541.20/541.47 c 519s| 1570k| 16 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 |8397 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
543.80/544.01 c 521s| 1580k| 18 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 |8459 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
546.30/546.53 c 524s| 1590k| 17 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 |8513 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
548.91/549.18 c 526s| 1600k| 14 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 |8601 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
551.41/551.67 c 528s| 1610k| 16 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 |8649 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
554.00/554.22 c 531s| 1620k| 15 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 |8705 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
556.59/556.82 c 533s| 1630k| 15 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 |8759 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
559.39/559.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
559.39/559.62 c 536s| 1640k| 16 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 |8882 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
562.10/562.36 c 539s| 1650k| 19 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 |8919 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
564.90/565.12 c 541s| 1660k| 18 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 |8968 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
567.69/567.97 c 544s| 1670k| 17 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 |9013 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
570.50/570.72 c 547s| 1680k| 16 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 |9050 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
573.19/573.46 c 549s| 1690k| 16 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 |9138 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
575.99/576.27 c 552s| 1700k| 15 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 |9211 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
578.79/579.06 c 554s| 1710k| 17 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 |9275 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
581.60/581.84 c 557s| 1720k| 17 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 |9360 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
584.29/584.54 c 560s| 1730k| 18 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 |9458 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
586.79/587.03 c 562s| 1740k| 18 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 |9523 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
589.19/589.47 c 564s| 1750k| 20 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 |9564 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
591.60/591.89 c 567s| 1760k| 15 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 |9631 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
594.08/594.35 c 569s| 1770k| 18 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 |9681 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
596.49/596.78 c 571s| 1780k| 18 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 |9735 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
598.99/599.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
598.99/599.26 c 574s| 1790k| 16 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 |9787 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
601.49/601.71 c 576s| 1800k| 16 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 |9840 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
603.88/604.14 c 578s| 1810k| 15 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 |9881 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
606.38/606.67 c 581s| 1820k| 17 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 |9934 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
608.89/609.11 c 583s| 1830k| 16 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 |9962 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
611.48/611.76 c 585s| 1840k| 17 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
614.08/614.34 c 588s| 1850k| 20 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
616.58/616.89 c 590s| 1860k| 19 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
619.28/619.50 c 593s| 1870k| 18 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
621.78/622.05 c 595s| 1880k| 18 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
624.28/624.56 c 598s| 1890k| 17 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
626.97/627.28 c 600s| 1900k| 17 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
629.67/629.91 c 603s| 1910k| 16 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
632.28/632.57 c 605s| 1920k| 15 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
634.98/635.25 c 608s| 1930k| 15 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
637.68/637.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
637.68/637.92 c 610s| 1940k| 16 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
640.27/640.55 c 613s| 1950k| 19 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
642.77/643.07 c 615s| 1960k| 15 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
645.27/645.53 c 617s| 1970k| 19 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
647.77/648.08 c 620s| 1980k| 17 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
650.37/650.68 c 622s| 1990k| 16 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
652.97/653.26 c 625s| 2000k| 17 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
655.67/655.90 c 627s| 2010k| 17 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
658.27/658.57 c 630s| 2020k| 16 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
660.96/661.28 c 633s| 2030k| 16 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
663.67/663.97 c 635s| 2040k| 17 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
666.17/666.43 c 637s| 2050k| 15 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
668.57/668.84 c 640s| 2060k| 16 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
671.06/671.34 c 642s| 2070k| 16 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
673.46/673.73 c 644s| 2080k| 19 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
675.87/676.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
675.87/676.13 c 647s| 2090k| 17 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
678.27/678.57 c 649s| 2100k| 19 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
680.76/681.04 c 651s| 2110k| 14 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
683.26/683.50 c 654s| 2120k| 15 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
685.66/685.98 c 656s| 2130k| 18 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
688.27/688.57 c 658s| 2140k| 17 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
690.96/691.21 c 661s| 2150k| 18 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
693.36/693.63 c 663s| 2160k| 18 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
695.86/696.14 c 666s| 2170k| 15 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
698.26/698.57 c 668s| 2180k| 16 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
700.86/701.18 c 670s| 2190k| 17 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
703.46/703.72 c 673s| 2200k| 19 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
705.86/706.16 c 675s| 2210k| 18 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
708.46/708.73 c 677s| 2220k| 18 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
710.95/711.29 c 680s| 2230k| 17 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
713.56/713.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
713.56/713.81 c 682s| 2240k| 18 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
715.95/716.27 c 685s| 2250k| 16 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
718.55/718.88 c 687s| 2260k| 14 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
721.05/721.36 c 689s| 2270k| 16 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
723.65/723.90 c 692s| 2280k| 18 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
726.05/726.32 c 694s| 2290k| 16 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
728.64/728.95 c 697s| 2300k| 15 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
731.25/731.56 c 699s| 2310k| 17 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
733.85/734.13 c 702s| 2320k| 15 | 7896 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 208 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
736.65/736.90 c 704s| 2330k| 15 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
739.34/739.63 c 707s| 2340k| 17 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
741.94/742.26 c 709s| 2350k| 14 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
744.64/744.93 c 712s| 2360k| 15 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
747.24/747.56 c 714s| 2370k| 17 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
749.85/750.19 c 717s| 2380k| 14 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
752.54/752.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
752.54/752.87 c 719s| 2390k| 17 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
755.34/755.60 c 722s| 2400k| 16 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
757.94/758.29 c 725s| 2410k| 13 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
760.63/760.94 c 727s| 2420k| 15 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
763.23/763.56 c 730s| 2430k| 16 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
765.93/766.20 c 732s| 2440k| 18 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
768.64/768.96 c 735s| 2450k| 17 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
771.23/771.50 c 737s| 2460k| 18 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
773.73/774.07 c 740s| 2470k| 17 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
776.33/776.63 c 742s| 2480k| 17 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
779.03/779.33 c 745s| 2490k| 17 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
781.83/782.17 c 747s| 2500k| 15 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
784.53/784.81 c 750s| 2510k| 17 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
787.12/787.49 c 752s| 2520k| 17 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
789.83/790.11 c 755s| 2530k| 16 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
792.52/792.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
792.52/792.85 c 757s| 2540k| 18 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
795.12/795.48 c 760s| 2550k| 16 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
797.82/798.14 c 762s| 2560k| 14 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
800.43/800.76 c 765s| 2570k| 16 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
803.02/803.34 c 767s| 2580k| 14 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
805.72/806.07 c 770s| 2590k| 16 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
808.42/808.79 c 773s| 2600k| 16 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
811.22/811.50 c 775s| 2610k| 14 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
813.82/814.12 c 778s| 2620k| 15 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
816.62/816.94 c 780s| 2630k| 16 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
819.31/819.67 c 783s| 2640k| 16 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
822.11/822.46 c 786s| 2650k| 17 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
824.92/825.20 c 788s| 2660k| 16 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
827.61/827.91 c 791s| 2670k| 18 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
830.22/830.57 c 793s| 2680k| 17 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
832.91/833.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
832.91/833.22 c 796s| 2690k| 15 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
835.62/835.90 c 798s| 2700k| 18 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
838.31/838.60 c 801s| 2710k| 19 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
840.91/841.26 c 803s| 2720k| 18 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
843.50/843.80 c 806s| 2730k| 18 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
846.01/846.39 c 808s| 2740k| 15 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
848.71/849.01 c 811s| 2750k| 16 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
851.31/851.69 c 813s| 2760k| 17 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
854.11/854.40 c 816s| 2770k| 16 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
856.81/857.11 c 818s| 2780k| 16 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
859.41/859.75 c 821s| 2790k| 17 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
862.11/862.44 c 824s| 2800k| 18 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
864.80/865.11 c 826s| 2810k| 15 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
867.40/867.78 c 829s| 2820k| 16 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
870.10/870.43 c 831s| 2830k| 17 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
872.81/873.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
872.81/873.16 c 834s| 2840k| 16 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
875.59/875.97 c 836s| 2850k| 17 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
878.30/878.61 c 839s| 2860k| 14 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
881.00/881.32 c 842s| 2870k| 17 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
883.69/884.04 c 844s| 2880k| 17 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
886.31/886.69 c 847s| 2890k| 16 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
888.99/889.38 c 849s| 2900k| 16 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
891.71/892.10 c 852s| 2910k| 16 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
894.49/894.81 c 854s| 2920k| 17 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
897.20/897.50 c 857s| 2930k| 17 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
899.89/900.28 c 860s| 2940k| 15 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
902.70/903.04 c 862s| 2950k| 17 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
905.49/905.83 c 865s| 2960k| 15 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
908.29/908.62 c 868s| 2970k| 15 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
910.89/911.25 c 870s| 2980k| 15 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
913.39/913.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
913.39/913.79 c 872s| 2990k| 15 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
916.09/916.45 c 875s| 3000k| 17 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
918.58/918.97 c 877s| 3010k| 15 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
921.40/921.74 c 880s| 3020k| 17 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
923.98/924.35 c 882s| 3030k| 15 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
926.58/926.97 c 885s| 3040k| 15 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
929.19/929.55 c 887s| 3050k| 16 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
931.69/932.09 c 890s| 3060k| 12 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
934.38/934.71 c 892s| 3070k| 16 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
937.08/937.48 c 895s| 3080k| 17 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
939.88/940.24 c 898s| 3090k| 16 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
942.48/942.84 c 900s| 3100k| 19 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
945.08/945.45 c 903s| 3110k| 16 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
947.68/948.08 c 905s| 3120k| 16 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
950.28/950.69 c 908s| 3130k| 18 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
952.87/953.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
952.87/953.28 c 910s| 3140k| 17 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
955.58/955.99 c 913s| 3150k| 14 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
958.37/958.70 c 915s| 3160k| 15 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
960.87/961.28 c 918s| 3170k| 15 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
963.47/963.83 c 920s| 3180k| 15 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
966.07/966.42 c 922s| 3190k| 17 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
968.47/968.86 c 925s| 3200k| 13 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
971.07/971.49 c 927s| 3210k| 15 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
973.77/974.15 c 930s| 3220k| 16 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
976.47/976.86 c 932s| 3230k| 16 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
979.16/979.52 c 935s| 3240k| 13 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
981.88/982.26 c 937s| 3250k| 14 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
984.57/984.94 c 940s| 3260k| 16 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
987.16/987.53 c 943s| 3270k| 15 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
989.77/990.15 c 945s| 3280k| 14 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
992.56/992.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
992.56/992.92 c 948s| 3290k| 15 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
995.26/995.68 c 950s| 3300k| 15 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
998.16/998.51 c 953s| 3310k| 15 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1001.16/1001.50 c 956s| 3320k| 15 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1003.87/1004.24 c 958s| 3330k| 15 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1006.55/1006.94 c 961s| 3340k| 16 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1009.37/1009.70 c 964s| 3350k| 14 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1012.06/1012.44 c 966s| 3360k| 17 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1014.75/1015.11 c 969s| 3370k| 16 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1017.46/1017.83 c 971s| 3380k| 16 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1020.16/1020.51 c 974s| 3390k| 16 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1022.76/1023.17 c 976s| 3400k| 15 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1025.46/1025.87 c 979s| 3410k| 18 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1028.25/1028.60 c 982s| 3420k| 17 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1030.85/1031.22 c 984s| 3430k| 16 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1033.45/1033.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1033.45/1033.88 c 987s| 3440k| 16 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1036.15/1036.57 c 989s| 3450k| 17 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1038.75/1039.18 c 992s| 3460k| 15 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1041.44/1041.88 c 994s| 3470k| 15 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1044.15/1044.53 c 997s| 3480k| 15 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1046.85/1047.23 c 999s| 3490k| 14 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1049.45/1049.89 c 1002s| 3500k| 15 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1052.25/1052.65 c 1004s| 3510k| 15 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1054.94/1055.33 c 1007s| 3520k| 15 | 7896 | 0.0 | 33M| 62 | - | 595 | 27k| 0 | 0 | 208 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1057.64/1058.01 c 1010s| 3530k| 13 | 7896 | 0.0 | 33M| 65 | - | 595 | 27k| 0 | 0 | 208 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1060.34/1060.74 c 1012s| 3540k| 15 | 7896 | 0.0 | 33M| 65 | - | 595 | 27k| 0 | 0 | 208 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1063.04/1063.42 c 1015s| 3550k| 14 | 7896 | 0.0 | 33M| 67 | - | 595 | 27k| 0 | 0 | 208 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1065.64/1066.03 c 1017s| 3560k| 16 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1068.23/1068.66 c 1020s| 3570k| 16 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1070.84/1071.24 c 1022s| 3580k| 15 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1073.34/1073.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1073.34/1073.77 c 1025s| 3590k| 17 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1076.03/1076.41 c 1027s| 3600k| 16 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1078.54/1078.99 c 1030s| 3610k| 18 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1081.23/1081.68 c 1032s| 3620k| 17 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1083.94/1084.38 c 1035s| 3630k| 16 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1086.64/1087.09 c 1037s| 3640k| 15 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1089.33/1089.78 c 1040s| 3650k| 17 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1092.13/1092.52 c 1042s| 3660k| 15 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1094.93/1095.32 c 1045s| 3670k| 17 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1097.63/1098.06 c 1048s| 3680k| 14 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1100.32/1100.71 c 1050s| 3690k| 18 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1102.93/1103.38 c 1053s| 3700k| 13 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1105.63/1106.07 c 1055s| 3710k| 16 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1108.33/1108.73 c 1058s| 3720k| 16 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1111.02/1111.45 c 1060s| 3730k| 15 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1113.72/1114.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1113.72/1114.19 c 1063s| 3740k| 15 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1116.43/1116.89 c 1066s| 3750k| 15 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1119.02/1119.45 c 1068s| 3760k| 14 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1121.63/1122.06 c 1070s| 3770k| 15 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1124.22/1124.64 c 1073s| 3780k| 15 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1126.82/1127.23 c 1075s| 3790k| 14 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1129.62/1130.00 c 1078s| 3800k| 15 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1132.22/1132.60 c 1080s| 3810k| 18 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1134.83/1135.29 c 1083s| 3820k| 13 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1137.52/1137.95 c 1086s| 3830k| 16 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1140.22/1140.63 c 1088s| 3840k| 16 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1142.82/1143.28 c 1091s| 3850k| 16 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1145.62/1146.07 c 1093s| 3860k| 17 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1148.52/1148.90 c 1096s| 3870k| 15 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1151.32/1151.71 c 1099s| 3880k| 17 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1154.12/1154.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1154.12/1154.51 c 1101s| 3890k| 14 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1156.91/1157.35 c 1104s| 3900k| 14 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1159.61/1160.09 c 1107s| 3910k| 15 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1162.22/1162.69 c 1109s| 3920k| 13 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1164.91/1165.33 c 1112s| 3930k| 15 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1167.50/1167.96 c 1114s| 3940k| 17 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1170.11/1170.51 c 1117s| 3950k| 16 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1172.61/1173.05 c 1119s| 3960k| 16 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1175.30/1175.72 c 1122s| 3970k| 15 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1177.90/1178.32 c 1124s| 3980k| 16 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1180.61/1181.06 c 1127s| 3990k| 15 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1183.40/1183.80 c 1129s| 4000k| 16 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1186.00/1186.47 c 1132s| 4010k| 16 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1188.71/1189.12 c 1134s| 4020k| 13 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1191.30/1191.73 c 1137s| 4030k| 13 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1194.00/1194.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1194.00/1194.49 c 1139s| 4040k| 16 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1196.90/1197.34 c 1142s| 4050k| 15 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1199.80/1200.20 c 1145s| 4060k| 14 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1202.49/1202.93 c 1147s| 4070k| 14 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1205.11/1205.58 c 1150s| 4080k| 17 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1207.79/1208.20 c 1152s| 4090k| 17 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1210.39/1210.88 c 1155s| 4100k| 15 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1213.10/1213.57 c 1158s| 4110k| 14 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1215.79/1216.29 c 1160s| 4120k| 16 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1218.59/1219.03 c 1163s| 4130k| 14 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1221.29/1221.75 c 1165s| 4140k| 12 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1223.99/1224.48 c 1168s| 4150k| 16 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1226.79/1227.20 c 1171s| 4160k| 14 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1229.49/1229.92 c 1173s| 4170k| 18 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1232.09/1232.55 c 1176s| 4180k| 15 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1234.79/1235.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1234.79/1235.23 c 1178s| 4190k| 15 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1237.58/1238.06 c 1181s| 4200k| 14 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1240.29/1240.77 c 1183s| 4210k| 16 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1242.98/1243.44 c 1186s| 4220k| 17 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1245.68/1246.15 c 1188s| 4230k| 14 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1248.38/1248.83 c 1191s| 4240k| 15 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1251.08/1251.52 c 1194s| 4250k| 17 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1253.68/1254.17 c 1196s| 4260k| 16 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1256.38/1256.88 c 1199s| 4270k| 15 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1259.08/1259.52 c 1201s| 4280k| 18 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1261.77/1262.28 c 1204s| 4290k| 14 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1264.48/1264.96 c 1206s| 4300k| 17 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1266.98/1267.50 c 1209s| 4310k| 15 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1269.67/1270.12 c 1211s| 4320k| 17 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1272.28/1272.77 c 1214s| 4330k| 15 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1275.07/1275.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1275.07/1275.53 c 1216s| 4340k| 16 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1277.67/1278.11 c 1219s| 4350k| 13 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1280.27/1280.72 c 1221s| 4360k| 14 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1282.87/1283.38 c 1224s| 4370k| 15 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1285.47/1285.97 c 1226s| 4380k| 19 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1288.07/1288.57 c 1229s| 4390k| 17 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1290.67/1291.15 c 1231s| 4400k| 17 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1293.27/1293.76 c 1234s| 4410k| 18 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1295.87/1296.33 c 1236s| 4420k| 17 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1298.47/1298.94 c 1239s| 4430k| 19 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1301.07/1301.52 c 1241s| 4440k| 15 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1303.56/1304.09 c 1244s| 4450k| 18 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1306.37/1306.85 c 1246s| 4460k| 20 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1308.86/1309.39 c 1249s| 4470k| 18 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 22k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1311.46/1311.94 c 1251s| 4480k| 16 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 22k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1314.07/1314.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1314.07/1314.55 c 1253s| 4490k| 19 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 22k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1316.66/1317.12 c 1256s| 4500k| 19 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 22k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1319.26/1319.72 c 1258s| 4510k| 18 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 22k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1321.86/1322.30 c 1261s| 4520k| 21 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 22k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1324.36/1324.86 c 1263s| 4530k| 19 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 22k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1327.17/1327.60 c 1266s| 4540k| 17 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 22k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1329.85/1330.32 c 1268s| 4550k| 18 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 22k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1332.45/1332.95 c 1271s| 4560k| 18 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 22k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1335.26/1335.79 c 1274s| 4570k| 16 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 22k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1337.85/1338.39 c 1276s| 4580k| 17 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 22k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1340.46/1340.92 c 1279s| 4590k| 16 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 22k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1343.05/1343.53 c 1281s| 4600k| 17 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 22k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1345.75/1346.25 c 1284s| 4610k| 18 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 22k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1348.45/1348.91 c 1286s| 4620k| 17 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 22k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1350.85/1351.36 c 1288s| 4630k| 18 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 22k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1353.35/1353.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1353.35/1353.87 c 1291s| 4640k| 16 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 22k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1355.94/1356.45 c 1293s| 4650k| 16 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 22k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1358.54/1359.05 c 1296s| 4660k| 17 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 22k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1361.15/1361.62 c 1298s| 4670k| 17 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 22k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1363.74/1364.25 c 1301s| 4680k| 19 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 22k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1366.24/1366.79 c 1303s| 4690k| 18 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 22k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1368.95/1369.40 c 1306s| 4700k| 18 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 23k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1371.44/1371.97 c 1308s| 4710k| 17 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 23k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1374.04/1374.54 c 1310s| 4720k| 19 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 23k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1376.65/1377.11 c 1313s| 4730k| 18 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 23k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1379.14/1379.67 c 1315s| 4740k| 19 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 23k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1381.64/1382.20 c 1318s| 4750k| 18 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 23k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1384.24/1384.75 c 1320s| 4760k| 18 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 23k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1386.84/1387.36 c 1323s| 4770k| 16 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 23k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1389.44/1389.93 c 1325s| 4780k| 15 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 23k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1392.04/1392.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1392.04/1392.55 c 1328s| 4790k| 17 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 23k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1394.73/1395.21 c 1330s| 4800k| 14 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 23k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1397.24/1397.76 c 1333s| 4810k| 16 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 23k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1399.93/1400.42 c 1335s| 4820k| 17 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 23k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1402.54/1403.05 c 1338s| 4830k| 19 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 23k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1405.13/1405.67 c 1340s| 4840k| 16 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 23k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1407.83/1408.33 c 1343s| 4850k| 18 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 23k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1410.43/1410.99 c 1345s| 4860k| 16 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 23k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1413.24/1413.72 c 1348s| 4870k| 17 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 23k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1415.92/1416.43 c 1350s| 4880k| 17 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 23k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1418.63/1419.11 c 1353s| 4890k| 16 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 23k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1421.32/1421.82 c 1355s| 4900k| 15 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 23k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1423.82/1424.36 c 1358s| 4910k| 20 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 23k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1426.43/1426.92 c 1360s| 4920k| 15 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 23k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1429.02/1429.58 c 1363s| 4930k| 16 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 23k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1431.52/1432.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1431.52/1432.09 c 1365s| 4940k| 16 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 23k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1434.22/1434.70 c 1368s| 4950k| 15 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 23k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1436.82/1437.36 c 1370s| 4960k| 16 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 23k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1439.42/1439.96 c 1373s| 4970k| 18 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 23k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1442.02/1442.58 c 1375s| 4980k| 16 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 23k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1444.72/1445.26 c 1378s| 4990k| 17 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 23k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1447.32/1447.81 c 1380s| 5000k| 19 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 23k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1449.82/1450.31 c 1383s| 5010k| 16 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 24k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1452.42/1452.93 c 1385s| 5020k| 18 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 24k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1455.11/1455.65 c 1388s| 5030k| 17 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 24k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1457.72/1458.27 c 1390s| 5040k| 15 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 24k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1460.41/1460.93 c 1393s| 5050k| 15 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 24k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1463.01/1463.59 c 1395s| 5060k| 18 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 24k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1465.72/1466.26 c 1398s| 5070k| 19 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 24k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1468.31/1468.83 c 1400s| 5080k| 18 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 24k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1470.91/1471.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1470.91/1471.45 c 1403s| 5090k| 17 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 24k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1473.51/1474.02 c 1405s| 5100k| 18 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 24k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1476.00/1476.58 c 1408s| 5110k| 18 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 24k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1478.60/1479.18 c 1410s| 5120k| 16 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 24k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1481.31/1481.81 c 1413s| 5130k| 15 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 24k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1483.90/1484.41 c 1415s| 5140k| 14 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 24k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1486.50/1487.02 c 1417s| 5150k| 19 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 24k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1489.10/1489.63 c 1420s| 5160k| 14 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 24k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1491.60/1492.19 c 1422s| 5170k| 16 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 24k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1494.41/1494.91 c 1425s| 5180k| 18 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 24k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1496.99/1497.57 c 1428s| 5190k| 15 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 24k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1499.69/1500.21 c 1430s| 5200k| 15 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 24k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1502.30/1502.85 c 1433s| 5210k| 16 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 24k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1504.90/1505.41 c 1435s| 5220k| 15 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 24k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1507.40/1507.97 c 1437s| 5230k| 18 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 24k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1509.99/1510.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1509.99/1510.59 c 1440s| 5240k| 17 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 24k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1512.60/1513.11 c 1442s| 5250k| 17 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 24k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1515.10/1515.68 c 1445s| 5260k| 16 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 24k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1517.69/1518.26 c 1447s| 5270k| 20 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 25k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1520.19/1520.73 c 1450s| 5280k| 16 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 25k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1522.69/1523.29 c 1452s| 5290k| 17 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 25k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1525.28/1525.85 c 1454s| 5300k| 16 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 25k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1527.99/1528.50 c 1457s| 5310k| 18 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 25k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1530.49/1531.02 c 1459s| 5320k| 17 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 25k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1532.99/1533.54 c 1462s| 5330k| 18 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 25k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1535.59/1536.10 c 1464s| 5340k| 18 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 25k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1538.09/1538.67 c 1467s| 5350k| 16 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 25k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1540.69/1541.27 c 1469s| 5360k| 16 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 25k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1543.29/1543.89 c 1472s| 5370k| 14 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 25k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1545.88/1546.42 c 1474s| 5380k| 17 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 25k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1548.38/1548.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1548.38/1548.97 c 1476s| 5390k| 18 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 25k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1550.89/1551.47 c 1479s| 5400k| 20 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 25k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1553.48/1554.03 c 1481s| 5410k| 18 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 25k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1555.98/1556.56 c 1484s| 5420k| 19 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 25k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1558.48/1559.07 c 1486s| 5430k| 18 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 25k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1561.08/1561.66 c 1488s| 5440k| 15 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 25k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1563.68/1564.28 c 1491s| 5450k| 17 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 26k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1566.27/1566.80 c 1493s| 5460k| 16 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 26k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1568.78/1569.36 c 1496s| 5470k| 18 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 26k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1571.39/1571.97 c 1498s| 5480k| 15 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 26k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1574.08/1574.67 c 1501s| 5490k| 17 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 26k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1576.88/1577.47 c 1503s| 5500k| 15 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 26k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1579.67/1580.24 c 1506s| 5510k| 16 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 26k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1582.38/1582.97 c 1509s| 5520k| 14 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 26k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1585.07/1585.64 c 1511s| 5530k| 16 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 26k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1587.67/1588.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1587.67/1588.21 c 1514s| 5540k| 17 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 26k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1590.26/1590.86 c 1516s| 5550k| 16 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 26k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1592.96/1593.50 c 1519s| 5560k| 16 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 26k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1595.57/1596.15 c 1521s| 5570k| 15 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 26k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1598.16/1598.72 c 1524s| 5580k| 15 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 26k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1600.76/1601.34 c 1526s| 5590k| 16 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 26k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1603.36/1603.97 c 1529s| 5600k| 15 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 26k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1605.96/1606.52 c 1531s| 5610k| 20 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 26k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1608.56/1609.13 c 1534s| 5620k| 17 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 26k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1611.16/1611.74 c 1536s| 5630k| 15 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 26k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1613.76/1614.31 c 1538s| 5640k| 15 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 26k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1616.26/1616.89 c 1541s| 5650k| 18 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 26k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1618.76/1619.38 c 1543s| 5660k| 16 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 26k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1621.35/1622.00 c 1546s| 5670k| 17 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 27k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1624.06/1624.60 c 1548s| 5680k| 19 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 27k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1626.55/1627.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1626.55/1627.14 c 1551s| 5690k| 15 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 27k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1629.05/1629.68 c 1553s| 5700k| 16 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 27k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1631.65/1632.25 c 1555s| 5710k| 17 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 27k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1634.25/1634.83 c 1558s| 5720k| 14 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 27k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1636.85/1637.43 c 1560s| 5730k| 18 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 27k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1639.46/1640.05 c 1563s| 5740k| 15 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 27k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1642.15/1642.75 c 1565s| 5750k| 15 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 27k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1644.75/1645.38 c 1568s| 5760k| 16 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 27k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1647.35/1647.93 c 1570s| 5770k| 14 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 27k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1650.05/1650.64 c 1573s| 5780k| 18 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 27k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1652.85/1653.45 c 1576s| 5790k| 17 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 27k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1655.65/1656.29 c 1578s| 5800k| 16 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 27k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1658.44/1659.00 c 1581s| 5810k| 17 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 27k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1660.94/1661.59 c 1583s| 5820k| 17 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 27k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1663.54/1664.16 c 1586s| 5830k| 15 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 27k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1666.14/1666.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1666.14/1666.76 c 1588s| 5840k| 15 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 27k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1668.74/1669.37 c 1591s| 5850k| 17 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 27k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1671.54/1672.16 c 1593s| 5860k| 19 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 27k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1674.24/1674.83 c 1596s| 5870k| 14 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 28k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1676.85/1677.45 c 1598s| 5880k| 15 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 28k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1679.64/1680.21 c 1601s| 5890k| 14 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 28k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1682.35/1682.91 c 1604s| 5900k| 18 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 28k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1684.94/1685.59 c 1606s| 5910k| 15 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 28k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1687.64/1688.27 c 1609s| 5920k| 17 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 28k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1690.33/1690.99 c 1611s| 5930k| 15 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 28k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1693.03/1693.61 c 1614s| 5940k| 17 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 28k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1695.64/1696.27 c 1616s| 5950k| 15 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 28k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1698.32/1698.92 c 1619s| 5960k| 16 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 28k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1700.93/1701.58 c 1621s| 5970k| 16 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 28k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1703.63/1704.22 c 1624s| 5980k| 17 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 28k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1706.33/1706.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1706.33/1706.96 c 1626s| 5990k| 15 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 28k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1709.12/1709.72 c 1629s| 6000k| 18 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 28k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1711.72/1712.36 c 1632s| 6010k| 18 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 28k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1714.52/1715.11 c 1634s| 6020k| 18 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 28k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1717.32/1717.90 c 1637s| 6030k| 15 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 28k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1720.02/1720.63 c 1639s| 6040k| 16 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 28k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1722.62/1723.29 c 1642s| 6050k| 20 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 28k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1725.42/1726.05 c 1645s| 6060k| 17 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 28k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1728.11/1728.76 c 1647s| 6070k| 16 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 29k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1730.83/1731.48 c 1650s| 6080k| 15 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 29k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1733.62/1734.20 c 1652s| 6090k| 16 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 29k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1736.23/1736.89 c 1655s| 6100k| 16 | 7896 | 0.0 | 33M| 68 | - | 595 | 27k| 0 | 0 | 208 | 29k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1739.02/1739.65 c 1657s| 6110k| 14 | 7896 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 208 | 29k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1741.61/1742.27 c 1660s| 6120k| 16 | 7896 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 208 | 29k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1744.31/1744.94 c 1662s| 6130k| 14 | 7896 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 208 | 29k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1747.02/1747.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1747.02/1747.65 c 1665s| 6140k| 17 | 7896 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 208 | 29k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1749.71/1750.36 c 1668s| 6150k| 15 | 7896 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 208 | 29k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1752.41/1753.01 c 1670s| 6160k| 15 | 7896 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 208 | 29k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1755.11/1755.74 c 1673s| 6170k| 15 | 7896 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 208 | 29k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1757.80/1758.46 c 1675s| 6180k| 16 | 7896 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 208 | 29k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1760.41/1761.10 c 1678s| 6190k| 22 | 7896 | 0.0 | 33M| 76 | - | 595 | 27k| 0 | 0 | 208 | 29k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1763.00/1763.67 c 1680s| 6200k| 15 | 7896 | 0.0 | 33M| 76 | - | 595 | 27k| 0 | 0 | 208 | 29k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1765.69/1766.33 c 1683s| 6210k| 19 | 7896 | 0.0 | 33M| 76 | - | 595 | 27k| 0 | 0 | 208 | 29k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1768.40/1769.01 c 1685s| 6220k| 17 | 7896 | 0.0 | 33M| 76 | - | 595 | 27k| 0 | 0 | 208 | 29k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1771.10/1771.72 c 1688s| 6230k| 15 | 7896 | 0.0 | 33M| 76 | - | 595 | 27k| 0 | 0 | 208 | 29k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1773.79/1774.42 c 1691s| 6240k| 17 | 7896 | 0.0 | 33M| 76 | - | 595 | 27k| 0 | 0 | 208 | 29k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1776.49/1777.13 c 1693s| 6250k| 20 | 7896 | 0.0 | 33M| 76 | - | 595 | 27k| 0 | 0 | 208 | 29k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1779.20/1779.81 c 1696s| 6260k| 17 | 7896 | 0.0 | 33M| 76 | - | 595 | 27k| 0 | 0 | 208 | 29k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1781.79/1782.44 c 1698s| 6270k| 16 | 7896 | 0.0 | 33M| 76 | - | 595 | 27k| 0 | 0 | 208 | 30k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1784.39/1785.09 c 1701s| 6280k| 17 | 7896 | 0.0 | 33M| 76 | - | 595 | 27k| 0 | 0 | 208 | 30k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1787.09/1787.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1787.09/1787.73 c 1703s| 6290k| 15 | 7896 | 0.0 | 33M| 76 | - | 595 | 27k| 0 | 0 | 208 | 30k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1789.79/1790.41 c 1706s| 6300k| 14 | 7896 | 0.0 | 33M| 76 | - | 595 | 27k| 0 | 0 | 208 | 30k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1792.30/1792.99 c 1708s| 6310k| 16 | 7896 | 0.0 | 33M| 76 | - | 595 | 27k| 0 | 0 | 208 | 30k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1794.89/1795.55 c 1711s| 6320k| 19 | 7896 | 0.0 | 33M| 76 | - | 595 | 27k| 0 | 0 | 208 | 30k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1797.49/1798.11 c 1713s| 6330k| 19 | 7896 | 0.0 | 33M| 76 | - | 595 | 27k| 0 | 0 | 208 | 30k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1800.10/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.10/1800.71 c
1800.10/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.71 c Solving Time (sec) : 1715.52
1800.10/1800.71 c Solving Nodes : 6339766
1800.10/1800.71 c Primal Bound : -2.60000000000000e+01 (14 solutions)
1800.10/1800.71 c Dual Bound : -3.50000000000000e+01
1800.10/1800.71 c Gap : 25.71 %
1800.10/1800.73 s SATISFIABLE
1800.10/1800.73 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.73 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.73 v -x54 -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78
1800.10/1800.73 v -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103
1800.10/1800.73 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.73 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.73 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.73 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.73 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.73 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.73 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.73 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.73 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.73 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.73 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.73 v -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354
1800.10/1800.73 v -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 x370 -x371 -x372 -x373 -x374 -x375
1800.10/1800.73 v -x376 x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396
1800.10/1800.73 v -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 x416 -x417
1800.10/1800.73 v -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438
1800.10/1800.73 v -x439 -x440 -x441 x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 x457 -x458 -x459
1800.10/1800.73 v -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480
1800.10/1800.73 v x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501
1800.10/1800.73 v -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 x510 -x511 -x512 -x513 -x514 x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522
1800.10/1800.73 v -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 x538 -x539 -x540 -x541 -x542 -x543
1800.10/1800.73 v -x544 x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564
1800.10/1800.73 v x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585
1800.10/1800.73 v x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595
1800.10/1800.73 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.73 c Solving Time : 1715.52
1800.10/1800.73 c Original Problem :
1800.10/1800.73 c Problem name : HOME/instance-2665492-1276515105.opb
1800.10/1800.73 c Variables : 595 (595 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.73 c Constraints : 27931 initial, 27931 maximal
1800.10/1800.73 c Presolved Problem :
1800.10/1800.73 c Problem name : t_HOME/instance-2665492-1276515105.opb
1800.10/1800.73 c Variables : 595 (595 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.73 c Constraints : 27931 initial, 27975 maximal
1800.10/1800.73 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.10/1800.73 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.73 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.73 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.73 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.73 c implics : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.73 c probing : 0.70 0 0 0 0 0 0 0 0
1800.10/1800.73 c logicor : 0.08 0 0 0 0 0 0 0 0
1800.10/1800.73 c root node : - 0 - - 0 - - - -
1800.10/1800.73 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.10/1800.73 c integral : 0 0 0 1 0 0 0 0 0 2
1800.10/1800.73 c logicor : 27931+ 25 6399300 0 0 535393 13372655 0 0 0
1800.10/1800.73 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.10/1800.73 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.10/1800.73 c integral : 83.97 0.00 0.00 83.97 0.00
1800.10/1800.73 c logicor : 501.33 0.14 501.19 0.00 0.00
1800.10/1800.73 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.10/1800.73 c Propagators : Time Calls Cutoffs DomReds
1800.10/1800.73 c vbounds : 5.19 2 0 0
1800.10/1800.73 c rootredcost : 4.35 1 0 0
1800.10/1800.73 c pseudoobj : 449.50 9763514 2347125 3328040
1800.10/1800.73 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.10/1800.73 c propagation : 283.69 535393 30368 30368 39.2 0 0.0 -
1800.10/1800.73 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.73 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.73 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.73 c pseudo solution : 147.03 292926 0 0 0.0 0 0.0 -
1800.10/1800.73 c applied globally : - - - 30235 39.1 - - -
1800.10/1800.73 c applied locally : - - - 133 61.6 - - -
1800.10/1800.73 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.10/1800.73 c cut pool : 0.01 24 - - 54 - (maximal pool size: 696)
1800.10/1800.73 c redcost : 0.00 25 0 0 0 0
1800.10/1800.73 c impliedbounds : 0.03 25 0 0 0 0
1800.10/1800.73 c intobj : 0.00 0 0 0 0 0
1800.10/1800.73 c cgmip : 0.00 0 0 0 0 0
1800.10/1800.73 c gomory : 10.56 25 0 0 12226 0
1800.10/1800.73 c strongcg : 1.65 20 0 0 10000 0
1800.10/1800.73 c cmir : 3.76 10 0 0 0 0
1800.10/1800.73 c flowcover : 3.91 10 0 0 0 0
1800.10/1800.73 c clique : 0.52 25 0 0 222 0
1800.10/1800.73 c zerohalf : 0.00 0 0 0 0 0
1800.10/1800.73 c mcf : 0.03 1 0 0 0 0
1800.10/1800.73 c rapidlearning : 0.00 0 0 0 0 0
1800.10/1800.73 c Pricers : Time Calls Vars
1800.10/1800.73 c problem variables: 0.00 0 0
1800.10/1800.73 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.10/1800.73 c relpscost : 83.97 1 0 0 0 0 2
1800.10/1800.73 c pscost : 0.00 0 0 0 0 0 0
1800.10/1800.73 c inference : 24.07 3181308 0 0 0 0 6362616
1800.10/1800.73 c mostinf : 0.00 0 0 0 0 0 0
1800.10/1800.73 c leastinf : 0.00 0 0 0 0 0 0
1800.10/1800.73 c fullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.73 c allfullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.73 c random : 0.00 0 0 0 0 0 0
1800.10/1800.73 c Primal Heuristics : Time Calls Found
1800.10/1800.73 c LP solutions : 0.00 - 0
1800.10/1800.73 c pseudo solutions : 0.00 - 0
1800.10/1800.73 c crossover : 0.00 0 0
1800.10/1800.73 c oneopt : 3.57 4 2
1800.10/1800.73 c trivial : 0.02 2 3
1800.10/1800.73 c simplerounding : 0.00 26 6
1800.10/1800.73 c zirounding : 0.01 1 1
1800.10/1800.73 c rounding : 0.40 26 1
1800.10/1800.73 c shifting : 0.51 26 0
1800.10/1800.73 c intshifting : 0.00 0 0
1800.10/1800.73 c twoopt : 0.00 0 0
1800.10/1800.73 c fixandinfer : 0.00 0 0
1800.10/1800.73 c feaspump : 0.00 0 0
1800.10/1800.73 c coefdiving : 0.00 0 0
1800.10/1800.73 c pscostdiving : 0.00 0 0
1800.10/1800.73 c fracdiving : 0.00 0 0
1800.10/1800.73 c veclendiving : 0.00 0 0
1800.10/1800.73 c intdiving : 0.00 0 0
1800.10/1800.73 c actconsdiving : 0.00 0 0
1800.10/1800.73 c objpscostdiving : 0.00 0 0
1800.10/1800.73 c rootsoldiving : 0.00 0 0
1800.10/1800.73 c linesearchdiving : 0.00 0 0
1800.10/1800.73 c guideddiving : 0.00 0 0
1800.10/1800.73 c octane : 0.00 0 0
1800.10/1800.73 c rens : 2.04 1 1
1800.10/1800.73 c rins : 0.00 0 0
1800.10/1800.73 c localbranching : 0.00 0 0
1800.10/1800.73 c mutation : 0.00 0 0
1800.10/1800.73 c dins : 0.00 0 0
1800.10/1800.73 c undercover : 0.00 0 0
1800.10/1800.73 c nlp : 3.32 0 0
1800.10/1800.73 c trysol : 2.73 0 0
1800.10/1800.73 c LP : Time Calls Iterations Iter/call Iter/sec
1800.10/1800.73 c primal LP : 0.09 0 0 0.00 0.00
1800.10/1800.73 c dual LP : 24.73 26 7896 303.69 319.29
1800.10/1800.73 c lex dual LP : 0.00 0 0 0.00 -
1800.10/1800.73 c barrier LP : 0.00 0 0 0.00 -
1800.10/1800.73 c diving/probing LP: 0.00 0 0 0.00 -
1800.10/1800.73 c strong branching : 83.97 33 22857 692.64 272.20
1800.10/1800.73 c (at root node) : - 33 22857 692.64 -
1800.10/1800.73 c conflict analysis: 0.00 0 0 0.00 -
1800.10/1800.73 c B&B Tree :
1800.10/1800.73 c number of runs : 1
1800.10/1800.73 c nodes : 6339766
1800.10/1800.73 c nodes (total) : 6339766
1800.10/1800.73 c nodes left : 16
1800.10/1800.73 c max depth : 76
1800.10/1800.73 c max depth (total): 76
1800.10/1800.73 c backtracks : 953805 (15.0%)
1800.10/1800.73 c delayed cutoffs : 18395
1800.10/1800.73 c repropagations : 21406 (75932 domain reductions, 16987 cutoffs)
1800.10/1800.73 c avg switch length: 2.00
1800.10/1800.73 c switching time : 199.49
1800.10/1800.73 c Solution :
1800.10/1800.73 c Solutions found : 14 (5 improvements)
1800.10/1800.73 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.05 seconds, depth 0, found by <trivial>)
1800.10/1800.73 c Primal Bound : -2.60000000000000e+01 (in run 1, after 1 nodes, 47.17 seconds, depth 0, found by <oneopt>)
1800.10/1800.73 c Dual Bound : -3.50000000000000e+01
1800.10/1800.73 c Gap : 25.71 %
1800.10/1800.73 c Root Dual Bound : -3.50000000000000e+01
1800.10/1800.73 c Root Iterations : 7896
1800.19/1800.84 c Time complete: 1800.23.