0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2667067-1276515896.opb>
0.39/0.44 c original problem has 595 variables (595 bin, 0 int, 0 impl, 0 cont) and 27856 constraints
0.39/0.44 c problem read
0.39/0.44 c presolving settings loaded
0.49/0.52 o 0
0.49/0.52 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.49/0.52 c presolving:
0.79/0.88 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 27856 upgd conss, 55712 impls, 0 clqs
1.49/1.57 c (1.0s) probing: 101/595 (17.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.49/1.57 c (1.0s) probing aborted: 100/100 successive totally useless probings
1.49/1.57 c presolving (2 rounds):
1.49/1.57 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.49/1.57 c 55712 implications, 0 cliques
1.49/1.57 c presolved problem has 595 variables (595 bin, 0 int, 0 impl, 0 cont) and 27856 constraints
1.49/1.57 c 27856 constraints of type <logicor>
1.49/1.57 c transformed objective value is always integral (scale: 1)
1.49/1.57 c Presolving Time: 0.98
1.49/1.57 c - non default parameters ----------------------------------------------------------------------
1.49/1.57 c # SCIP version 1.2.1.2
1.49/1.57 c
1.49/1.57 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.49/1.57 c # [type: int, range: [-1,2147483647], default: -1]
1.49/1.57 c conflict/interconss = 0
1.49/1.57 c
1.49/1.57 c # should binary conflicts be preferred?
1.49/1.57 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.57 c conflict/preferbinary = TRUE
1.49/1.57 c
1.49/1.57 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.49/1.57 c # [type: int, range: [-1,2147483647], default: 0]
1.49/1.57 c constraints/agelimit = 1
1.49/1.57 c
1.49/1.57 c # should enforcement of pseudo solution be disabled?
1.49/1.57 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.57 c constraints/disableenfops = TRUE
1.49/1.57 c
1.49/1.57 c # frequency for displaying node information lines
1.49/1.57 c # [type: int, range: [-1,2147483647], default: 100]
1.49/1.57 c display/freq = 10000
1.49/1.57 c
1.49/1.57 c # maximal time in seconds to run
1.49/1.57 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.49/1.57 c limits/time = 1799.56
1.49/1.57 c
1.49/1.57 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.49/1.57 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.49/1.57 c limits/memory = 1620
1.49/1.57 c
1.49/1.57 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.49/1.57 c # [type: int, range: [-1,2147483647], default: 1]
1.49/1.57 c lp/solvefreq = 0
1.49/1.57 c
1.49/1.57 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
1.49/1.57 c # [type: char, range: {lafpsqd}, default: l]
1.49/1.57 c lp/pricing = a
1.49/1.57 c
1.49/1.57 c # should presolving try to simplify inequalities
1.49/1.57 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.57 c constraints/linear/simplifyinequalities = TRUE
1.49/1.57 c
1.49/1.57 c # should presolving try to simplify knapsacks
1.49/1.57 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.57 c constraints/knapsack/simplifyinequalities = TRUE
1.49/1.57 c
1.49/1.57 c # priority of node selection rule <dfs> in standard mode
1.49/1.57 c # [type: int, range: [-536870912,536870911], default: 0]
1.49/1.57 c nodeselection/dfs/stdpriority = 1000000
1.49/1.57 c
1.49/1.57 c -----------------------------------------------------------------------------------------------
1.49/1.57 c start solving
1.49/1.58 c
2.39/2.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.39/2.47 c t 1.9s| 1 | 0 | 598 | - | 31M| 0 | 595 | 595 | 27k| 595 | 27k| 0 | 0 | 0 |-2.975000e+02 | 0.000000e+00 | 100.00%
2.49/2.51 o -1
2.49/2.51 c R 1.9s| 1 | 0 | 598 | - | 31M| 0 | 595 | 595 | 27k| 595 | 27k| 0 | 0 | 0 |-2.975000e+02 |-1.000000e+00 | 99.66%
2.49/2.57 o -2
2.49/2.57 c s 2.0s| 1 | 0 | 598 | - | 31M| 0 | 595 | 595 | 27k| 595 | 27k| 0 | 0 | 0 |-2.975000e+02 |-2.000000e+00 | 99.33%
4.09/4.19 c 3.4s| 1 | 0 | 774 | - | 31M| 0 | 550 | 595 | 27k| 595 | 27k| 5 | 0 | 0 |-2.750000e+02 |-2.000000e+00 | 99.27%
4.19/4.21 o -25
4.19/4.21 c b 3.4s| 1 | 0 | 774 | - | 31M| 0 | 550 | 595 | 27k| 595 | 27k| 5 | 0 | 0 |-2.750000e+02 |-2.500000e+01 | 90.91%
6.19/6.29 c 5.3s| 1 | 0 | 1020 | - | 31M| 0 | 503 | 595 | 27k| 595 | 27k| 25 | 0 | 0 |-2.515000e+02 |-2.500000e+01 | 90.06%
8.28/8.36 c 7.2s| 1 | 0 | 1167 | - | 31M| 0 | 468 | 595 | 27k| 595 | 27k| 35 | 0 | 0 |-2.340000e+02 |-2.500000e+01 | 89.32%
10.49/10.58 c 9.3s| 1 | 0 | 1335 | - | 31M| 0 | 434 | 595 | 27k| 595 | 27k| 45 | 0 | 0 |-2.170000e+02 |-2.500000e+01 | 88.48%
12.69/12.79 c 11.3s| 1 | 0 | 1507 | - | 31M| 0 | 399 | 595 | 27k| 595 | 27k| 55 | 0 | 0 |-1.987500e+02 |-2.500000e+01 | 87.42%
14.79/14.85 c 13.2s| 1 | 0 | 1650 | - | 31M| 0 | 381 | 595 | 27k| 595 | 27k| 66 | 0 | 0 |-1.892500e+02 |-2.500000e+01 | 86.79%
16.88/16.96 c 15.2s| 1 | 0 | 1811 | - | 31M| 0 | 362 | 595 | 27k| 595 | 27k| 74 | 0 | 0 |-1.792500e+02 |-2.500000e+01 | 86.05%
19.48/19.53 c 17.6s| 1 | 0 | 2084 | - | 31M| 0 | 332 | 595 | 27k| 595 | 27k| 83 | 0 | 0 |-1.642500e+02 |-2.500000e+01 | 84.78%
22.09/22.14 c 20.0s| 1 | 0 | 2383 | - | 31M| 0 | 300 | 595 | 27k| 595 | 27k| 92 | 0 | 0 |-1.500000e+02 |-2.500000e+01 | 83.33%
24.69/24.75 c 22.5s| 1 | 0 | 2709 | - | 31M| 0 | 270 | 595 | 27k| 595 | 27k| 99 | 0 | 0 |-1.350000e+02 |-2.500000e+01 | 81.48%
26.59/26.63 c 24.2s| 1 | 0 | 3039 | - | 31M| 0 | 257 | 595 | 27k| 595 | 27k| 108 | 0 | 0 |-1.275000e+02 |-2.500000e+01 | 80.39%
28.49/28.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.49/28.52 c 25.9s| 1 | 0 | 3387 | - | 31M| 0 | 236 | 595 | 27k| 595 | 27k| 114 | 0 | 0 |-1.170000e+02 |-2.500000e+01 | 78.63%
30.49/30.52 c 27.7s| 1 | 0 | 3821 | - | 31M| 0 | 213 | 595 | 27k| 595 | 27k| 121 | 0 | 0 |-1.065000e+02 |-2.500000e+01 | 76.53%
32.38/32.47 c 29.5s| 1 | 0 | 4192 | - | 31M| 0 | 198 | 595 | 27k| 595 | 27k| 126 | 0 | 0 |-9.900000e+01 |-2.500000e+01 | 74.75%
33.99/34.07 c 30.9s| 1 | 0 | 4486 | - | 31M| 0 | 174 | 595 | 27k| 595 | 27k| 134 | 0 | 0 |-8.700000e+01 |-2.500000e+01 | 71.26%
36.28/36.38 c 33.0s| 1 | 0 | 4980 | - | 32M| 0 | 150 | 595 | 27k| 595 | 27k| 141 | 0 | 0 |-7.500000e+01 |-2.500000e+01 | 66.67%
37.78/37.86 c 34.4s| 1 | 0 | 5259 | - | 32M| 0 | 136 | 595 | 27k| 595 | 27k| 144 | 0 | 0 |-6.800000e+01 |-2.500000e+01 | 63.24%
38.98/39.08 c 35.4s| 1 | 0 | 5482 | - | 32M| 0 | 116 | 595 | 27k| 595 | 27k| 151 | 0 | 0 |-5.644444e+01 |-2.500000e+01 | 55.71%
40.28/40.36 c 36.5s| 1 | 0 | 5678 | - | 32M| 0 | 91 | 595 | 27k| 595 | 28k| 160 | 0 | 0 |-4.550000e+01 |-2.500000e+01 | 45.05%
41.28/41.32 c 37.3s| 1 | 0 | 5782 | - | 32M| 0 | 80 | 595 | 27k| 595 | 28k| 167 | 0 | 0 |-3.500000e+01 |-2.500000e+01 | 28.57%
41.88/41.93 c 37.8s| 1 | 0 | 5872 | - | 32M| 0 | 93 | 595 | 27k| 595 | 28k| 177 | 0 | 0 |-3.500000e+01 |-2.500000e+01 | 28.57%
42.58/42.63 c 38.4s| 1 | 0 | 5970 | - | 32M| 0 | 96 | 595 | 27k| 595 | 28k| 188 | 0 | 0 |-3.500000e+01 |-2.500000e+01 | 28.57%
43.68/43.74 c 39.5s| 1 | 0 | 6194 | - | 32M| 0 | 101 | 595 | 27k| 595 | 28k| 208 | 0 | 0 |-3.500000e+01 |-2.500000e+01 | 28.57%
44.48/44.51 c 40.1s| 1 | 0 | 6299 | - | 32M| 0 | 109 | 595 | 27k| 595 | 28k| 220 | 0 | 0 |-3.500000e+01 |-2.500000e+01 | 28.57%
45.68/45.78 c 41.3s| 1 | 0 | 6513 | - | 32M| 0 | 99 | 595 | 27k| 595 | 28k| 233 | 0 | 0 |-3.500000e+01 |-2.500000e+01 | 28.57%
85.76/85.84 c 80.8s| 1 | 2 | 6513 | - | 32M| 0 | 99 | 595 | 27k| 595 | 28k| 233 | 0 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
88.56/88.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
88.56/88.62 c 83.5s| 10000 | 20 | 6513 | 0.0 | 32M| 37 | - | 595 | 27k| 0 | 0 | 233 | 846 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
91.06/91.13 c 85.9s| 20000 | 18 | 6513 | 0.0 | 32M| 39 | - | 595 | 27k| 0 | 0 | 233 | 879 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
93.55/93.66 c 88.3s| 30000 | 18 | 6513 | 0.0 | 32M| 41 | - | 595 | 27k| 0 | 0 | 233 | 907 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
96.16/96.28 c 90.8s| 40000 | 18 | 6513 | 0.0 | 32M| 48 | - | 595 | 27k| 0 | 0 | 233 | 957 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
98.97/99.06 c 93.4s| 50000 | 16 | 6513 | 0.0 | 32M| 48 | - | 595 | 27k| 0 | 0 | 233 |1037 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
101.76/101.82 c 96.1s| 60000 | 20 | 6513 | 0.0 | 32M| 48 | - | 595 | 27k| 0 | 0 | 233 |1082 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
104.56/104.60 c 98.7s| 70000 | 17 | 6513 | 0.0 | 32M| 48 | - | 595 | 27k| 0 | 0 | 233 |1113 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
107.26/107.35 c 101s| 80000 | 17 | 6513 | 0.0 | 32M| 48 | - | 595 | 27k| 0 | 0 | 233 |1170 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
109.96/110.07 c 104s| 90000 | 20 | 6513 | 0.0 | 32M| 48 | - | 595 | 27k| 0 | 0 | 233 |1197 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
112.66/112.74 c 106s|100000 | 18 | 6513 | 0.0 | 32M| 48 | - | 595 | 27k| 0 | 0 | 233 |1251 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
115.46/115.52 c 109s|110000 | 16 | 6513 | 0.0 | 32M| 48 | - | 595 | 27k| 0 | 0 | 233 |1331 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
118.15/118.21 c 112s|120000 | 21 | 6513 | 0.0 | 32M| 48 | - | 595 | 27k| 0 | 0 | 233 |1383 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
120.75/120.89 c 114s|130000 | 19 | 6513 | 0.0 | 32M| 48 | - | 595 | 27k| 0 | 0 | 233 |1444 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
123.56/123.67 c 117s|140000 | 20 | 6513 | 0.0 | 32M| 48 | - | 595 | 27k| 0 | 0 | 233 |1511 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
126.25/126.35 c 119s|150000 | 21 | 6513 | 0.0 | 32M| 48 | - | 595 | 27k| 0 | 0 | 233 |1567 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
128.94/129.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
128.94/129.05 c 122s|160000 | 15 | 6513 | 0.0 | 32M| 48 | - | 595 | 27k| 0 | 0 | 233 |1648 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
131.65/131.76 c 125s|170000 | 20 | 6513 | 0.0 | 32M| 50 | - | 595 | 27k| 0 | 0 | 233 |1701 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
134.35/134.42 c 127s|180000 | 17 | 6513 | 0.0 | 32M| 50 | - | 595 | 27k| 0 | 0 | 233 |1781 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
137.05/137.10 c 130s|190000 | 16 | 6513 | 0.0 | 32M| 50 | - | 595 | 27k| 0 | 0 | 233 |1839 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
139.74/139.83 c 132s|200000 | 17 | 6513 | 0.0 | 32M| 50 | - | 595 | 27k| 0 | 0 | 233 |1916 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
142.44/142.58 c 135s|210000 | 18 | 6513 | 0.0 | 32M| 50 | - | 595 | 27k| 0 | 0 | 233 |1963 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
145.24/145.31 c 137s|220000 | 18 | 6513 | 0.0 | 32M| 50 | - | 595 | 27k| 0 | 0 | 233 |2011 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
147.74/147.85 o -26
147.74/147.85 c * 140s|229220 | 19 | 6513 | 0.0 | 32M| 52 | - | 595 | 27k| 0 | 0 | 233 |2057 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
147.94/148.06 c 140s|230000 | 18 | 6513 | 0.0 | 32M| 52 | - | 595 | 27k| 0 | 0 | 233 |2064 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
150.74/150.87 c 143s|240000 | 17 | 6513 | 0.0 | 32M| 52 | - | 595 | 27k| 0 | 0 | 233 |2120 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
153.44/153.57 c 145s|250000 | 16 | 6513 | 0.0 | 32M| 52 | - | 595 | 27k| 0 | 0 | 233 |2181 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
156.24/156.31 c 148s|260000 | 18 | 6513 | 0.0 | 32M| 52 | - | 595 | 27k| 0 | 0 | 233 |2205 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
158.94/159.08 c 151s|270000 | 17 | 6513 | 0.0 | 32M| 52 | - | 595 | 27k| 0 | 0 | 233 |2242 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
161.84/161.96 c 153s|280000 | 16 | 6513 | 0.0 | 32M| 52 | - | 595 | 27k| 0 | 0 | 233 |2303 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
164.64/164.75 c 156s|290000 | 16 | 6513 | 0.0 | 32M| 52 | - | 595 | 27k| 0 | 0 | 233 |2363 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
167.44/167.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
167.44/167.53 c 159s|300000 | 18 | 6513 | 0.0 | 32M| 52 | - | 595 | 27k| 0 | 0 | 233 |2410 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
170.14/170.24 c 161s|310000 | 17 | 6513 | 0.0 | 32M| 52 | - | 595 | 27k| 0 | 0 | 233 |2441 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
172.84/172.99 c 164s|320000 | 19 | 6513 | 0.0 | 32M| 52 | - | 595 | 27k| 0 | 0 | 233 |2502 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
175.54/175.67 c 166s|330000 | 18 | 6513 | 0.0 | 32M| 52 | - | 595 | 27k| 0 | 0 | 233 |2542 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
178.34/178.45 c 169s|340000 | 19 | 6513 | 0.0 | 32M| 53 | - | 595 | 27k| 0 | 0 | 233 |2593 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
181.14/181.26 c 172s|350000 | 19 | 6513 | 0.0 | 32M| 53 | - | 595 | 27k| 0 | 0 | 233 |2623 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
183.93/184.05 c 174s|360000 | 17 | 6513 | 0.0 | 32M| 53 | - | 595 | 27k| 0 | 0 | 233 |2677 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
186.74/186.83 c 177s|370000 | 18 | 6513 | 0.0 | 32M| 53 | - | 595 | 27k| 0 | 0 | 233 |2699 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
189.53/189.61 c 180s|380000 | 20 | 6513 | 0.0 | 32M| 53 | - | 595 | 27k| 0 | 0 | 233 |2766 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
192.23/192.33 c 182s|390000 | 18 | 6513 | 0.0 | 32M| 53 | - | 595 | 27k| 0 | 0 | 233 |2834 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
194.93/195.06 c 185s|400000 | 17 | 6513 | 0.0 | 32M| 53 | - | 595 | 27k| 0 | 0 | 233 |2889 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
197.84/197.93 c 188s|410000 | 18 | 6513 | 0.0 | 32M| 53 | - | 595 | 27k| 0 | 0 | 233 |2987 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
200.62/200.74 c 190s|420000 | 16 | 6513 | 0.0 | 32M| 53 | - | 595 | 27k| 0 | 0 | 233 |3067 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
203.52/203.63 c 193s|430000 | 16 | 6513 | 0.0 | 32M| 53 | - | 595 | 27k| 0 | 0 | 233 |3135 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
206.32/206.49 c 196s|440000 | 18 | 6513 | 0.0 | 32M| 53 | - | 595 | 27k| 0 | 0 | 233 |3198 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
209.12/209.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
209.12/209.20 c 198s|450000 | 15 | 6513 | 0.0 | 32M| 53 | - | 595 | 27k| 0 | 0 | 233 |3231 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
211.72/211.85 c 201s|460000 | 15 | 6513 | 0.0 | 32M| 53 | - | 595 | 27k| 0 | 0 | 233 |3313 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
214.62/214.76 c 204s|470000 | 19 | 6513 | 0.0 | 32M| 53 | - | 595 | 27k| 0 | 0 | 233 |3367 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
217.52/217.63 c 206s|480000 | 18 | 6513 | 0.0 | 32M| 53 | - | 595 | 27k| 0 | 0 | 233 |3432 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
220.32/220.44 c 209s|490000 | 16 | 6513 | 0.0 | 32M| 53 | - | 595 | 27k| 0 | 0 | 233 |3481 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
223.13/223.23 c 212s|500000 | 15 | 6513 | 0.0 | 32M| 54 | - | 595 | 27k| 0 | 0 | 233 |3545 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
225.81/225.99 c 214s|510000 | 16 | 6513 | 0.0 | 32M| 54 | - | 595 | 27k| 0 | 0 | 233 |3583 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
228.52/228.67 c 217s|520000 | 16 | 6513 | 0.0 | 32M| 57 | - | 595 | 27k| 0 | 0 | 233 |3611 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
231.21/231.36 c 219s|530000 | 19 | 6513 | 0.0 | 32M| 57 | - | 595 | 27k| 0 | 0 | 233 |3642 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
233.92/234.03 c 222s|540000 | 17 | 6513 | 0.0 | 32M| 57 | - | 595 | 27k| 0 | 0 | 233 |3662 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
236.61/236.76 c 225s|550000 | 17 | 6513 | 0.0 | 32M| 57 | - | 595 | 27k| 0 | 0 | 233 |3686 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
239.21/239.32 c 227s|560000 | 17 | 6513 | 0.0 | 32M| 57 | - | 595 | 27k| 0 | 0 | 233 |3719 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
241.82/241.93 c 229s|570000 | 14 | 6513 | 0.0 | 32M| 57 | - | 595 | 27k| 0 | 0 | 233 |3740 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
244.51/244.61 c 232s|580000 | 16 | 6513 | 0.0 | 32M| 57 | - | 595 | 27k| 0 | 0 | 233 |3767 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
247.11/247.29 c 235s|590000 | 16 | 6513 | 0.0 | 32M| 57 | - | 595 | 27k| 0 | 0 | 233 |3790 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
249.91/250.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
249.91/250.06 c 237s|600000 | 16 | 6513 | 0.0 | 32M| 57 | - | 595 | 27k| 0 | 0 | 233 |3819 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
252.51/252.63 c 240s|610000 | 16 | 6513 | 0.0 | 32M| 57 | - | 595 | 27k| 0 | 0 | 233 |3864 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
255.12/255.25 c 242s|620000 | 17 | 6513 | 0.0 | 32M| 57 | - | 595 | 27k| 0 | 0 | 233 |3889 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
257.81/257.94 c 245s|630000 | 15 | 6513 | 0.0 | 32M| 57 | - | 595 | 27k| 0 | 0 | 233 |3920 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
260.51/260.69 c 247s|640000 | 18 | 6513 | 0.0 | 32M| 57 | - | 595 | 27k| 0 | 0 | 233 |3964 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
263.21/263.36 c 250s|650000 | 16 | 6513 | 0.0 | 32M| 57 | - | 595 | 27k| 0 | 0 | 233 |3989 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
266.02/266.13 c 252s|660000 | 16 | 6513 | 0.0 | 32M| 57 | - | 595 | 27k| 0 | 0 | 233 |4033 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
268.60/268.78 c 255s|670000 | 17 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |4056 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
271.40/271.55 c 258s|680000 | 19 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |4109 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
274.20/274.37 c 260s|690000 | 17 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |4163 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
277.01/277.18 c 263s|700000 | 18 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |4215 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
279.81/279.92 c 266s|710000 | 17 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |4255 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
282.51/282.68 c 268s|720000 | 18 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |4295 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
285.30/285.48 c 271s|730000 | 19 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |4331 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
288.10/288.23 c 274s|740000 | 20 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |4371 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
290.60/290.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
290.60/290.76 c 276s|750000 | 16 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |4403 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
293.19/293.36 c 278s|760000 | 16 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |4440 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
295.89/296.05 c 281s|770000 | 17 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |4485 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
298.59/298.75 c 284s|780000 | 19 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |4564 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
301.39/301.50 c 286s|790000 | 17 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |4621 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
304.10/304.21 c 289s|800000 | 17 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |4674 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
306.70/306.89 c 291s|810000 | 15 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |4711 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
309.39/309.58 c 294s|820000 | 16 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |4765 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
312.09/312.26 c 296s|830000 | 18 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |4808 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
314.80/314.98 c 299s|840000 | 17 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |4847 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
317.49/317.66 c 302s|850000 | 17 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |4890 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
320.29/320.42 c 304s|860000 | 18 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |4931 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
323.09/323.20 c 307s|870000 | 18 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |4990 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
325.78/325.93 c 309s|880000 | 17 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |5016 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
328.59/328.76 c 312s|890000 | 15 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |5068 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
331.38/331.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
331.38/331.54 c 315s|900000 | 17 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |5107 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
334.09/334.20 c 317s|910000 | 16 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |5138 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
336.69/336.85 c 320s|920000 | 16 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |5157 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
339.38/339.51 c 322s|930000 | 17 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |5201 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
341.99/342.15 c 325s|940000 | 14 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |5226 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
344.59/344.72 c 327s|950000 | 15 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |5274 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
347.08/347.28 c 330s|960000 | 18 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |5315 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
349.69/349.87 c 332s|970000 | 17 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |5337 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
352.28/352.46 c 335s|980000 | 16 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |5385 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
354.98/355.15 c 337s|990000 | 17 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |5441 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
357.58/357.79 c 340s| 1000k| 17 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |5499 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
360.17/360.39 c 342s| 1010k| 16 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |5548 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
362.98/363.12 c 345s| 1020k| 16 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |5630 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
365.68/365.84 c 347s| 1030k| 16 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |5672 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
368.38/368.52 c 350s| 1040k| 15 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |5715 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
371.07/371.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
371.07/371.20 c 352s| 1050k| 15 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |5745 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
373.67/373.86 c 355s| 1060k| 16 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |5774 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
376.37/376.54 c 358s| 1070k| 15 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |5823 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
379.07/379.29 c 360s| 1080k| 16 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |5864 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
381.87/382.09 c 363s| 1090k| 17 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |5927 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
384.57/384.70 c 365s| 1100k| 16 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |5976 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
386.98/387.20 c 368s| 1110k| 19 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |6012 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
389.67/389.84 c 370s| 1120k| 18 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |6034 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
392.37/392.56 c 373s| 1130k| 17 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |6080 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
395.06/395.25 c 375s| 1140k| 17 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |6106 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
397.87/398.04 c 378s| 1150k| 18 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |6134 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
400.56/400.78 c 381s| 1160k| 15 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |6160 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
403.26/403.49 c 383s| 1170k| 19 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |6208 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
406.06/406.26 c 386s| 1180k| 17 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |6232 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
408.86/409.03 c 389s| 1190k| 15 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |6277 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
411.36/411.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
411.36/411.59 c 391s| 1200k| 18 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |6313 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
413.96/414.13 c 393s| 1210k| 16 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |6349 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
416.56/416.76 c 396s| 1220k| 15 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |6393 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
419.16/419.32 c 398s| 1230k| 17 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |6420 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
421.85/422.06 c 401s| 1240k| 17 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |6466 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
424.56/424.72 c 403s| 1250k| 17 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |6502 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
427.16/427.36 c 406s| 1260k| 17 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |6539 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
429.86/430.02 c 408s| 1270k| 20 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |6614 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
432.66/432.80 c 411s| 1280k| 16 | 6513 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 233 |6698 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
435.25/435.49 c 414s| 1290k| 19 | 6513 | 0.0 | 32M| 62 | - | 595 | 27k| 0 | 0 | 233 |6759 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
437.85/438.02 c 416s| 1300k| 17 | 6513 | 0.0 | 32M| 62 | - | 595 | 27k| 0 | 0 | 233 |6819 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
440.45/440.69 c 419s| 1310k| 19 | 6513 | 0.0 | 32M| 62 | - | 595 | 27k| 0 | 0 | 233 |6868 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
443.06/443.24 c 421s| 1320k| 19 | 6513 | 0.0 | 32M| 62 | - | 595 | 27k| 0 | 0 | 233 |6929 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
445.75/445.91 c 424s| 1330k| 18 | 6513 | 0.0 | 32M| 62 | - | 595 | 27k| 0 | 0 | 233 |6964 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
448.35/448.58 c 426s| 1340k| 16 | 6513 | 0.0 | 32M| 62 | - | 595 | 27k| 0 | 0 | 233 |7008 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
451.15/451.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
451.15/451.37 c 429s| 1350k| 17 | 6513 | 0.0 | 32M| 62 | - | 595 | 27k| 0 | 0 | 233 |7085 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
453.75/453.96 c 431s| 1360k| 15 | 6513 | 0.0 | 32M| 62 | - | 595 | 27k| 0 | 0 | 233 |7120 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
456.45/456.60 c 434s| 1370k| 18 | 6513 | 0.0 | 32M| 62 | - | 595 | 27k| 0 | 0 | 233 |7190 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
458.95/459.11 c 436s| 1380k| 17 | 6513 | 0.0 | 32M| 62 | - | 595 | 27k| 0 | 0 | 233 |7241 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
461.54/461.77 c 439s| 1390k| 14 | 6513 | 0.0 | 32M| 62 | - | 595 | 27k| 0 | 0 | 233 |7274 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
464.24/464.46 c 441s| 1400k| 17 | 6513 | 0.0 | 32M| 62 | - | 595 | 27k| 0 | 0 | 233 |7324 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
466.95/467.14 c 444s| 1410k| 18 | 6513 | 0.0 | 32M| 62 | - | 595 | 27k| 0 | 0 | 233 |7365 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
469.64/469.81 c 446s| 1420k| 19 | 6513 | 0.0 | 32M| 62 | - | 595 | 27k| 0 | 0 | 233 |7404 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
472.24/472.40 c 449s| 1430k| 18 | 6513 | 0.0 | 32M| 62 | - | 595 | 27k| 0 | 0 | 233 |7460 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
474.84/475.05 c 451s| 1440k| 15 | 6513 | 0.0 | 32M| 62 | - | 595 | 27k| 0 | 0 | 233 |7498 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
477.54/477.73 c 454s| 1450k| 16 | 6513 | 0.0 | 32M| 62 | - | 595 | 27k| 0 | 0 | 233 |7528 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
480.44/480.62 c 456s| 1460k| 14 | 6513 | 0.0 | 32M| 62 | - | 595 | 27k| 0 | 0 | 233 |7604 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
483.14/483.31 c 459s| 1470k| 20 | 6513 | 0.0 | 32M| 62 | - | 595 | 27k| 0 | 0 | 233 |7636 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
485.84/486.02 c 462s| 1480k| 19 | 6513 | 0.0 | 32M| 62 | - | 595 | 27k| 0 | 0 | 233 |7692 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
488.43/488.67 c 464s| 1490k| 17 | 6513 | 0.0 | 32M| 62 | - | 595 | 27k| 0 | 0 | 233 |7717 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
491.14/491.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
491.14/491.39 c 467s| 1500k| 17 | 6513 | 0.0 | 32M| 62 | - | 595 | 27k| 0 | 0 | 233 |7776 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
493.84/494.04 c 469s| 1510k| 18 | 6513 | 0.0 | 32M| 62 | - | 595 | 27k| 0 | 0 | 233 |7828 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
496.44/496.69 c 472s| 1520k| 18 | 6513 | 0.0 | 32M| 62 | - | 595 | 27k| 0 | 0 | 233 |7874 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
499.14/499.31 c 474s| 1530k| 19 | 6513 | 0.0 | 32M| 62 | - | 595 | 27k| 0 | 0 | 233 |7908 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
501.84/502.01 c 477s| 1540k| 18 | 6513 | 0.0 | 32M| 62 | - | 595 | 27k| 0 | 0 | 233 |7951 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
504.43/504.69 c 479s| 1550k| 17 | 6513 | 0.0 | 32M| 62 | - | 595 | 27k| 0 | 0 | 233 |7987 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
507.13/507.32 c 482s| 1560k| 15 | 6513 | 0.0 | 32M| 62 | - | 595 | 27k| 0 | 0 | 233 |8022 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
509.83/510.03 c 485s| 1570k| 15 | 6513 | 0.0 | 32M| 62 | - | 595 | 27k| 0 | 0 | 233 |8066 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
512.53/512.76 c 487s| 1580k| 18 | 6513 | 0.0 | 32M| 62 | - | 595 | 27k| 0 | 0 | 233 |8103 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
515.23/515.48 c 490s| 1590k| 16 | 6513 | 0.0 | 32M| 62 | - | 595 | 27k| 0 | 0 | 233 |8156 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
517.93/518.12 c 492s| 1600k| 19 | 6513 | 0.0 | 32M| 62 | - | 595 | 27k| 0 | 0 | 233 |8212 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
520.73/520.90 c 495s| 1610k| 17 | 6513 | 0.0 | 32M| 62 | - | 595 | 27k| 0 | 0 | 233 |8266 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
523.44/523.63 c 497s| 1620k| 15 | 6513 | 0.0 | 32M| 62 | - | 595 | 27k| 0 | 0 | 233 |8300 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
526.02/526.25 c 500s| 1630k| 17 | 6513 | 0.0 | 32M| 62 | - | 595 | 27k| 0 | 0 | 233 |8349 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
528.63/528.88 c 502s| 1640k| 17 | 6513 | 0.0 | 32M| 62 | - | 595 | 27k| 0 | 0 | 233 |8377 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
531.22/531.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
531.22/531.44 c 505s| 1650k| 16 | 6513 | 0.0 | 32M| 62 | - | 595 | 27k| 0 | 0 | 233 |8420 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
533.82/534.00 c 507s| 1660k| 17 | 6513 | 0.0 | 32M| 62 | - | 595 | 27k| 0 | 0 | 233 |8456 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
536.33/536.51 c 510s| 1670k| 16 | 6513 | 0.0 | 32M| 62 | - | 595 | 27k| 0 | 0 | 233 |8496 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
538.92/539.10 c 512s| 1680k| 18 | 6513 | 0.0 | 32M| 62 | - | 595 | 27k| 0 | 0 | 233 |8550 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
541.42/541.69 c 515s| 1690k| 17 | 6513 | 0.0 | 32M| 62 | - | 595 | 27k| 0 | 0 | 233 |8589 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
544.13/544.36 c 517s| 1700k| 16 | 6513 | 0.0 | 32M| 62 | - | 595 | 27k| 0 | 0 | 233 |8641 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
546.82/547.00 c 520s| 1710k| 16 | 6513 | 0.0 | 32M| 62 | - | 595 | 27k| 0 | 0 | 233 |8663 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
549.52/549.76 c 522s| 1720k| 16 | 6513 | 0.0 | 32M| 62 | - | 595 | 27k| 0 | 0 | 233 |8718 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
552.22/552.48 c 525s| 1730k| 17 | 6513 | 0.0 | 32M| 62 | - | 595 | 27k| 0 | 0 | 233 |8746 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
554.92/555.10 c 527s| 1740k| 15 | 6513 | 0.0 | 32M| 62 | - | 595 | 27k| 0 | 0 | 233 |8782 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
557.42/557.69 c 530s| 1750k| 17 | 6513 | 0.0 | 32M| 62 | - | 595 | 27k| 0 | 0 | 233 |8811 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
560.12/560.32 c 532s| 1760k| 16 | 6513 | 0.0 | 32M| 62 | - | 595 | 27k| 0 | 0 | 233 |8853 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
562.61/562.88 c 535s| 1770k| 15 | 6513 | 0.0 | 32M| 62 | - | 595 | 27k| 0 | 0 | 233 |8880 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
565.22/565.45 c 537s| 1780k| 14 | 6513 | 0.0 | 32M| 62 | - | 595 | 27k| 0 | 0 | 233 |8931 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
567.81/568.03 c 540s| 1790k| 15 | 6513 | 0.0 | 32M| 62 | - | 595 | 27k| 0 | 0 | 233 |8978 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
570.42/570.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
570.42/570.66 c 542s| 1800k| 17 | 6513 | 0.0 | 32M| 62 | - | 595 | 27k| 0 | 0 | 233 |9025 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
572.92/573.17 c 544s| 1810k| 13 | 6513 | 0.0 | 32M| 62 | - | 595 | 27k| 0 | 0 | 233 |9064 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
575.51/575.75 c 547s| 1820k| 15 | 6513 | 0.0 | 32M| 62 | - | 595 | 27k| 0 | 0 | 233 |9101 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
578.21/578.44 c 549s| 1830k| 15 | 6513 | 0.0 | 32M| 62 | - | 595 | 27k| 0 | 0 | 233 |9179 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
580.82/581.05 c 552s| 1840k| 15 | 6513 | 0.0 | 32M| 62 | - | 595 | 27k| 0 | 0 | 233 |9215 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
583.31/583.54 c 554s| 1850k| 17 | 6513 | 0.0 | 32M| 62 | - | 595 | 27k| 0 | 0 | 233 |9287 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
585.81/586.03 c 557s| 1860k| 15 | 6513 | 0.0 | 32M| 62 | - | 595 | 27k| 0 | 0 | 233 |9322 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
588.32/588.56 c 559s| 1870k| 15 | 6513 | 0.0 | 32M| 66 | - | 595 | 27k| 0 | 0 | 233 |9362 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
591.01/591.22 c 562s| 1880k| 18 | 6513 | 0.0 | 32M| 67 | - | 595 | 27k| 0 | 0 | 233 |9402 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
593.71/593.93 c 564s| 1890k| 17 | 6513 | 0.0 | 32M| 67 | - | 595 | 27k| 0 | 0 | 233 |9443 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
596.40/596.68 c 567s| 1900k| 17 | 6513 | 0.0 | 32M| 67 | - | 595 | 27k| 0 | 0 | 233 |9504 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
599.11/599.35 c 569s| 1910k| 18 | 6513 | 0.0 | 32M| 67 | - | 595 | 27k| 0 | 0 | 233 |9521 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
601.91/602.15 c 572s| 1920k| 18 | 6513 | 0.0 | 32M| 67 | - | 595 | 27k| 0 | 0 | 233 |9580 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
604.61/604.80 c 575s| 1930k| 17 | 6513 | 0.0 | 32M| 67 | - | 595 | 27k| 0 | 0 | 233 |9607 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
607.10/607.39 c 577s| 1940k| 15 | 6513 | 0.0 | 32M| 67 | - | 595 | 27k| 0 | 0 | 233 |9654 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
609.80/610.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
609.80/610.02 c 579s| 1950k| 19 | 6513 | 0.0 | 32M| 67 | - | 595 | 27k| 0 | 0 | 233 |9712 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
612.41/612.66 c 582s| 1960k| 17 | 6513 | 0.0 | 32M| 67 | - | 595 | 27k| 0 | 0 | 233 |9743 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
615.00/615.27 c 584s| 1970k| 18 | 6513 | 0.0 | 32M| 67 | - | 595 | 27k| 0 | 0 | 233 |9777 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
617.70/617.94 c 587s| 1980k| 17 | 6513 | 0.0 | 32M| 67 | - | 595 | 27k| 0 | 0 | 233 |9818 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
620.30/620.58 c 590s| 1990k| 18 | 6513 | 0.0 | 32M| 67 | - | 595 | 27k| 0 | 0 | 233 |9866 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
623.20/623.40 c 592s| 2000k| 18 | 6513 | 0.0 | 32M| 67 | - | 595 | 27k| 0 | 0 | 233 |9897 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
625.90/626.15 c 595s| 2010k| 16 | 6513 | 0.0 | 32M| 67 | - | 595 | 27k| 0 | 0 | 233 |9925 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
628.60/628.82 c 597s| 2020k| 19 | 6513 | 0.0 | 32M| 67 | - | 595 | 27k| 0 | 0 | 233 |9970 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
631.30/631.58 c 600s| 2030k| 20 | 6513 | 0.0 | 32M| 67 | - | 595 | 27k| 0 | 0 | 233 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
634.09/634.35 c 603s| 2040k| 15 | 6513 | 0.0 | 32M| 67 | - | 595 | 27k| 0 | 0 | 233 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
636.80/637.06 c 605s| 2050k| 16 | 6513 | 0.0 | 32M| 67 | - | 595 | 27k| 0 | 0 | 233 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
639.69/639.95 c 608s| 2060k| 16 | 6513 | 0.0 | 32M| 67 | - | 595 | 27k| 0 | 0 | 233 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
642.39/642.60 c 610s| 2070k| 17 | 6513 | 0.0 | 32M| 67 | - | 595 | 27k| 0 | 0 | 233 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
644.89/645.18 c 613s| 2080k| 18 | 6513 | 0.0 | 32M| 67 | - | 595 | 27k| 0 | 0 | 233 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
647.49/647.73 c 615s| 2090k| 17 | 6513 | 0.0 | 32M| 67 | - | 595 | 27k| 0 | 0 | 233 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
650.09/650.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
650.09/650.37 c 618s| 2100k| 18 | 6513 | 0.0 | 32M| 67 | - | 595 | 27k| 0 | 0 | 233 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
652.99/653.22 c 621s| 2110k| 16 | 6513 | 0.0 | 32M| 67 | - | 595 | 27k| 0 | 0 | 233 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
655.59/655.90 c 623s| 2120k| 18 | 6513 | 0.0 | 32M| 67 | - | 595 | 27k| 0 | 0 | 233 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
658.19/658.40 c 626s| 2130k| 18 | 6513 | 0.0 | 32M| 67 | - | 595 | 27k| 0 | 0 | 233 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
660.69/660.98 c 628s| 2140k| 19 | 6513 | 0.0 | 32M| 67 | - | 595 | 27k| 0 | 0 | 233 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
663.29/663.57 c 630s| 2150k| 17 | 6513 | 0.0 | 32M| 67 | - | 595 | 27k| 0 | 0 | 233 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
666.09/666.34 c 633s| 2160k| 16 | 6513 | 0.0 | 32M| 67 | - | 595 | 27k| 0 | 0 | 233 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
668.98/669.24 c 636s| 2170k| 15 | 6513 | 0.0 | 32M| 67 | - | 595 | 27k| 0 | 0 | 233 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
671.68/671.94 c 638s| 2180k| 17 | 6513 | 0.0 | 32M| 67 | - | 595 | 27k| 0 | 0 | 233 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
674.28/674.53 c 641s| 2190k| 16 | 6513 | 0.0 | 32M| 67 | - | 595 | 27k| 0 | 0 | 233 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
676.98/677.26 c 644s| 2200k| 16 | 6513 | 0.0 | 32M| 67 | - | 595 | 27k| 0 | 0 | 233 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
679.68/679.94 c 646s| 2210k| 19 | 6513 | 0.0 | 32M| 67 | - | 595 | 27k| 0 | 0 | 233 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
682.38/682.61 c 649s| 2220k| 19 | 6513 | 0.0 | 32M| 67 | - | 595 | 27k| 0 | 0 | 233 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
685.08/685.32 c 651s| 2230k| 16 | 6513 | 0.0 | 32M| 67 | - | 595 | 27k| 0 | 0 | 233 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
687.78/688.06 c 654s| 2240k| 17 | 6513 | 0.0 | 32M| 67 | - | 595 | 27k| 0 | 0 | 233 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
690.49/690.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
690.49/690.78 c 656s| 2250k| 17 | 6513 | 0.0 | 32M| 67 | - | 595 | 27k| 0 | 0 | 233 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
693.28/693.53 c 659s| 2260k| 17 | 6513 | 0.0 | 32M| 67 | - | 595 | 27k| 0 | 0 | 233 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
695.98/696.27 c 662s| 2270k| 15 | 6513 | 0.0 | 32M| 67 | - | 595 | 27k| 0 | 0 | 233 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
698.68/698.97 c 664s| 2280k| 15 | 6513 | 0.0 | 32M| 67 | - | 595 | 27k| 0 | 0 | 233 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
701.48/701.72 c 667s| 2290k| 17 | 6513 | 0.0 | 32M| 67 | - | 595 | 27k| 0 | 0 | 233 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
704.28/704.54 c 669s| 2300k| 18 | 6513 | 0.0 | 32M| 67 | - | 595 | 27k| 0 | 0 | 233 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
707.08/707.35 c 672s| 2310k| 15 | 6513 | 0.0 | 32M| 67 | - | 595 | 27k| 0 | 0 | 233 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
709.88/710.16 c 675s| 2320k| 18 | 6513 | 0.0 | 32M| 67 | - | 595 | 27k| 0 | 0 | 233 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
712.48/712.79 c 677s| 2330k| 18 | 6513 | 0.0 | 32M| 67 | - | 595 | 27k| 0 | 0 | 233 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
715.17/715.43 c 680s| 2340k| 15 | 6513 | 0.0 | 32M| 67 | - | 595 | 27k| 0 | 0 | 233 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
717.87/718.19 c 682s| 2350k| 17 | 6513 | 0.0 | 32M| 67 | - | 595 | 27k| 0 | 0 | 233 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
720.66/720.91 c 685s| 2360k| 16 | 6513 | 0.0 | 32M| 67 | - | 595 | 27k| 0 | 0 | 233 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
723.37/723.62 c 688s| 2370k| 17 | 6513 | 0.0 | 32M| 67 | - | 595 | 27k| 0 | 0 | 233 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
726.07/726.38 c 690s| 2380k| 17 | 6513 | 0.0 | 32M| 67 | - | 595 | 27k| 0 | 0 | 233 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
728.77/729.10 c 693s| 2390k| 14 | 6513 | 0.0 | 32M| 67 | - | 595 | 27k| 0 | 0 | 233 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
731.46/731.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
731.46/731.75 c 695s| 2400k| 15 | 6513 | 0.0 | 32M| 67 | - | 595 | 27k| 0 | 0 | 233 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
734.16/734.45 c 698s| 2410k| 18 | 6513 | 0.0 | 32M| 67 | - | 595 | 27k| 0 | 0 | 233 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
736.78/737.08 c 700s| 2420k| 18 | 6513 | 0.0 | 32M| 67 | - | 595 | 27k| 0 | 0 | 233 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
739.46/739.74 c 703s| 2430k| 17 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
742.07/742.39 c 705s| 2440k| 21 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
744.86/745.12 c 708s| 2450k| 17 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
747.36/747.69 c 710s| 2460k| 18 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
750.06/750.33 c 713s| 2470k| 18 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
752.66/752.95 c 715s| 2480k| 19 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
755.37/755.64 c 718s| 2490k| 16 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
758.16/758.50 c 721s| 2500k| 17 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
760.97/761.23 c 723s| 2510k| 16 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
763.65/763.91 c 726s| 2520k| 18 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
766.36/766.64 c 728s| 2530k| 18 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
769.06/769.33 c 731s| 2540k| 17 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
771.75/772.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
771.75/772.01 c 733s| 2550k| 17 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
774.35/774.69 c 736s| 2560k| 16 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
777.06/777.33 c 739s| 2570k| 18 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
779.75/780.05 c 741s| 2580k| 15 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
782.35/782.66 c 744s| 2590k| 15 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
785.05/785.33 c 746s| 2600k| 17 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
787.95/788.24 c 749s| 2610k| 17 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
790.85/791.10 c 752s| 2620k| 17 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
793.75/794.01 c 754s| 2630k| 19 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
796.44/796.73 c 757s| 2640k| 16 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
799.25/799.55 c 760s| 2650k| 16 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
802.05/802.37 c 762s| 2660k| 16 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
804.85/805.13 c 765s| 2670k| 18 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
807.65/807.95 c 768s| 2680k| 15 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
810.45/810.77 c 770s| 2690k| 17 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
813.34/813.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
813.34/813.63 c 773s| 2700k| 17 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
815.95/816.23 c 776s| 2710k| 16 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
818.44/818.79 c 778s| 2720k| 18 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
821.14/821.48 c 781s| 2730k| 17 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
823.84/824.15 c 783s| 2740k| 20 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
826.44/826.72 c 786s| 2750k| 17 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
828.94/829.29 c 788s| 2760k| 18 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
831.54/831.83 c 791s| 2770k| 16 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
834.04/834.39 c 793s| 2780k| 17 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
836.74/837.02 c 795s| 2790k| 19 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
839.34/839.66 c 798s| 2800k| 17 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
841.84/842.18 c 800s| 2810k| 17 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
844.54/844.87 c 803s| 2820k| 18 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
847.23/847.58 c 805s| 2830k| 16 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
850.04/850.33 c 808s| 2840k| 17 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
852.63/852.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
852.63/852.98 c 811s| 2850k| 19 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
855.33/855.62 c 813s| 2860k| 16 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
857.93/858.26 c 816s| 2870k| 20 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
860.73/861.00 c 818s| 2880k| 18 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
863.23/863.58 c 821s| 2890k| 17 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
865.93/866.24 c 823s| 2900k| 13 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
868.53/868.82 c 826s| 2910k| 17 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
871.23/871.52 c 828s| 2920k| 17 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
873.92/874.27 c 831s| 2930k| 16 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
876.53/876.87 c 833s| 2940k| 16 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
879.12/879.41 c 836s| 2950k| 16 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
881.62/881.96 c 838s| 2960k| 16 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
884.53/884.80 c 841s| 2970k| 19 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
887.22/887.58 c 844s| 2980k| 18 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
890.02/890.35 c 846s| 2990k| 17 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
892.71/893.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
892.71/893.04 c 849s| 3000k| 18 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
895.62/895.98 c 852s| 3010k| 17 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
898.52/898.82 c 854s| 3020k| 18 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
901.32/901.64 c 857s| 3030k| 19 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
904.02/904.33 c 859s| 3040k| 17 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
906.72/907.04 c 862s| 3050k| 18 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
909.52/909.82 c 865s| 3060k| 18 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
912.11/912.46 c 867s| 3070k| 18 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
914.82/915.10 c 870s| 3080k| 16 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
917.41/917.78 c 872s| 3090k| 16 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
920.31/920.61 c 875s| 3100k| 17 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
922.91/923.25 c 878s| 3110k| 18 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
925.62/925.93 c 880s| 3120k| 18 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
928.21/928.58 c 883s| 3130k| 16 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
930.91/931.24 c 885s| 3140k| 18 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
933.61/933.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
933.61/933.92 c 888s| 3150k| 17 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
936.31/936.66 c 890s| 3160k| 15 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
939.01/939.34 c 893s| 3170k| 16 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
941.81/942.11 c 895s| 3180k| 16 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
944.61/944.94 c 898s| 3190k| 16 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
947.50/947.81 c 901s| 3200k| 17 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
950.11/950.49 c 903s| 3210k| 19 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
952.91/953.24 c 906s| 3220k| 16 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
955.70/956.02 c 909s| 3230k| 15 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
958.40/958.74 c 911s| 3240k| 16 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
961.11/961.46 c 914s| 3250k| 16 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
963.80/964.18 c 916s| 3260k| 17 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
966.59/966.93 c 919s| 3270k| 18 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
969.38/969.77 c 922s| 3280k| 18 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
972.28/972.65 c 925s| 3290k| 16 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
975.18/975.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
975.18/975.53 c 927s| 3300k| 18 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
977.88/978.27 c 930s| 3310k| 16 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
980.68/981.03 c 933s| 3320k| 17 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
983.38/983.76 c 935s| 3330k| 18 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
986.18/986.53 c 938s| 3340k| 17 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
989.08/989.46 c 941s| 3350k| 16 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
991.79/992.15 c 943s| 3360k| 16 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
994.58/994.91 c 946s| 3370k| 18 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
997.29/997.62 c 948s| 3380k| 16 | 6513 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 233 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
999.98/1000.34 c 951s| 3390k| 18 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1002.78/1003.10 c 954s| 3400k| 16 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1005.47/1005.86 c 956s| 3410k| 18 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1008.28/1008.67 c 959s| 3420k| 16 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1011.07/1011.49 c 962s| 3430k| 17 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1013.97/1014.37 c 964s| 3440k| 16 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1016.67/1017.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1016.67/1017.08 c 967s| 3450k| 18 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1019.47/1019.84 c 969s| 3460k| 15 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1022.27/1022.69 c 972s| 3470k| 19 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1025.26/1025.61 c 975s| 3480k| 15 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1028.08/1028.47 c 978s| 3490k| 16 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1030.86/1031.26 c 980s| 3500k| 18 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1033.57/1033.99 c 983s| 3510k| 17 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1036.36/1036.75 c 986s| 3520k| 14 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1039.17/1039.53 c 988s| 3530k| 19 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1041.86/1042.28 c 991s| 3540k| 18 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1044.56/1044.99 c 993s| 3550k| 16 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1047.36/1047.73 c 996s| 3560k| 17 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1050.17/1050.53 c 999s| 3570k| 17 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1052.96/1053.39 c 1001s| 3580k| 14 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1055.85/1056.23 c 1004s| 3590k| 15 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1058.56/1058.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1058.56/1058.96 c 1007s| 3600k| 15 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1061.35/1061.74 c 1009s| 3610k| 15 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1064.25/1064.60 c 1012s| 3620k| 18 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1066.95/1067.34 c 1015s| 3630k| 16 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1069.65/1070.08 c 1017s| 3640k| 18 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1072.36/1072.76 c 1020s| 3650k| 13 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1075.05/1075.43 c 1022s| 3660k| 16 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1077.66/1078.04 c 1025s| 3670k| 19 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1080.35/1080.77 c 1027s| 3680k| 17 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1083.15/1083.54 c 1030s| 3690k| 18 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1085.75/1086.14 c 1033s| 3700k| 16 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1088.35/1088.74 c 1035s| 3710k| 18 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1090.95/1091.40 c 1038s| 3720k| 20 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1093.64/1094.05 c 1040s| 3730k| 18 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1096.35/1096.71 c 1043s| 3740k| 19 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1098.94/1099.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1098.94/1099.39 c 1045s| 3750k| 15 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1101.54/1101.99 c 1048s| 3760k| 15 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1104.24/1104.62 c 1050s| 3770k| 18 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1106.94/1107.34 c 1053s| 3780k| 17 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1109.64/1110.03 c 1055s| 3790k| 18 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1112.34/1112.79 c 1058s| 3800k| 18 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1115.14/1115.50 c 1060s| 3810k| 19 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1117.64/1118.07 c 1063s| 3820k| 18 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1120.33/1120.75 c 1065s| 3830k| 16 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1123.04/1123.45 c 1068s| 3840k| 17 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1125.83/1126.24 c 1071s| 3850k| 17 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1128.44/1128.87 c 1073s| 3860k| 18 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1131.13/1131.59 c 1076s| 3870k| 16 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1134.04/1134.41 c 1078s| 3880k| 15 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1136.74/1137.13 c 1081s| 3890k| 17 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1139.43/1139.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1139.43/1139.84 c 1084s| 3900k| 17 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1142.13/1142.54 c 1086s| 3910k| 17 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1144.83/1145.28 c 1089s| 3920k| 18 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1147.53/1147.92 c 1091s| 3930k| 15 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1150.24/1150.62 c 1094s| 3940k| 16 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1152.93/1153.30 c 1096s| 3950k| 15 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1155.52/1155.95 c 1099s| 3960k| 18 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1158.23/1158.64 c 1101s| 3970k| 18 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1160.93/1161.32 c 1104s| 3980k| 18 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1163.53/1163.96 c 1106s| 3990k| 18 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1166.32/1166.70 c 1109s| 4000k| 16 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1169.02/1169.44 c 1112s| 4010k| 15 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1171.92/1172.32 c 1114s| 4020k| 17 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1174.82/1175.21 c 1117s| 4030k| 15 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1177.63/1178.07 c 1120s| 4040k| 17 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1180.42/1180.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1180.42/1180.83 c 1123s| 4050k| 16 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1183.13/1183.60 c 1125s| 4060k| 16 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1186.12/1186.50 c 1128s| 4070k| 18 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1188.92/1189.35 c 1131s| 4080k| 18 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1191.72/1192.14 c 1133s| 4090k| 18 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1194.41/1194.90 c 1136s| 4100k| 19 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1197.32/1197.76 c 1139s| 4110k| 16 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1200.21/1200.61 c 1141s| 4120k| 18 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1203.02/1203.49 c 1144s| 4130k| 20 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1205.81/1206.29 c 1147s| 4140k| 18 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1208.61/1209.04 c 1149s| 4150k| 17 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1211.51/1211.90 c 1152s| 4160k| 19 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1214.31/1214.78 c 1155s| 4170k| 15 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1217.22/1217.61 c 1158s| 4180k| 16 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1220.01/1220.48 c 1160s| 4190k| 16 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1222.82/1223.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1222.82/1223.26 c 1163s| 4200k| 18 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1225.60/1226.09 c 1166s| 4210k| 17 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1228.41/1228.88 c 1168s| 4220k| 15 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1231.21/1231.64 c 1171s| 4230k| 18 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1234.10/1234.56 c 1174s| 4240k| 17 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1237.01/1237.40 c 1176s| 4250k| 17 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1239.80/1240.24 c 1179s| 4260k| 17 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1242.70/1243.13 c 1182s| 4270k| 15 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1245.50/1245.97 c 1185s| 4280k| 16 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1248.20/1248.69 c 1187s| 4290k| 17 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1250.90/1251.35 c 1190s| 4300k| 17 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1253.61/1254.05 c 1192s| 4310k| 16 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1256.30/1256.74 c 1195s| 4320k| 17 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1259.00/1259.46 c 1197s| 4330k| 19 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1261.69/1262.14 c 1200s| 4340k| 18 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1264.30/1264.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1264.30/1264.77 c 1202s| 4350k| 18 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1266.99/1267.44 c 1205s| 4360k| 18 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1269.70/1270.12 c 1208s| 4370k| 16 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1272.50/1272.91 c 1210s| 4380k| 18 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1275.30/1275.75 c 1213s| 4390k| 16 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1277.99/1278.48 c 1215s| 4400k| 14 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1280.59/1281.08 c 1218s| 4410k| 17 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1283.39/1283.81 c 1221s| 4420k| 16 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1285.99/1286.48 c 1223s| 4430k| 18 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1288.70/1289.19 c 1226s| 4440k| 16 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1291.39/1291.84 c 1228s| 4450k| 17 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1294.09/1294.53 c 1231s| 4460k| 14 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1296.79/1297.26 c 1233s| 4470k| 18 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1299.59/1300.01 c 1236s| 4480k| 17 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1302.38/1302.81 c 1239s| 4490k| 14 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1305.19/1305.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1305.19/1305.63 c 1241s| 4500k| 17 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1307.98/1308.42 c 1244s| 4510k| 17 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1310.79/1311.29 c 1247s| 4520k| 15 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1313.58/1314.08 c 1249s| 4530k| 18 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1316.48/1316.90 c 1252s| 4540k| 14 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1319.27/1319.78 c 1255s| 4550k| 16 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1322.08/1322.53 c 1257s| 4560k| 15 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1324.87/1325.32 c 1260s| 4570k| 16 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1327.67/1328.11 c 1263s| 4580k| 15 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1330.37/1330.86 c 1265s| 4590k| 15 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1333.07/1333.52 c 1268s| 4600k| 16 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1335.77/1336.22 c 1270s| 4610k| 16 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1338.48/1338.94 c 1273s| 4620k| 15 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1341.28/1341.73 c 1276s| 4630k| 15 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1344.07/1344.59 c 1278s| 4640k| 18 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1346.87/1347.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1346.87/1347.39 c 1281s| 4650k| 17 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1349.77/1350.27 c 1284s| 4660k| 15 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1352.57/1353.07 c 1286s| 4670k| 15 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1355.47/1355.94 c 1289s| 4680k| 16 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1358.27/1358.77 c 1292s| 4690k| 16 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1361.17/1361.65 c 1295s| 4700k| 15 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1363.97/1364.47 c 1297s| 4710k| 14 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1366.87/1367.33 c 1300s| 4720k| 17 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1369.66/1370.11 c 1303s| 4730k| 20 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1372.27/1372.76 c 1305s| 4740k| 16 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1374.97/1375.40 c 1308s| 4750k| 15 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1377.66/1378.13 c 1310s| 4760k| 15 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1380.36/1380.87 c 1313s| 4770k| 16 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1383.16/1383.61 c 1316s| 4780k| 18 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1385.76/1386.26 c 1318s| 4790k| 19 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1388.55/1389.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1388.55/1389.02 c 1321s| 4800k| 18 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1391.26/1391.77 c 1323s| 4810k| 17 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1394.16/1394.60 c 1326s| 4820k| 17 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 22k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1396.75/1397.25 c 1328s| 4830k| 19 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 22k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1399.36/1399.89 c 1331s| 4840k| 18 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 22k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1402.15/1402.63 c 1334s| 4850k| 17 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 22k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1404.86/1405.38 c 1336s| 4860k| 16 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 22k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1407.65/1408.19 c 1339s| 4870k| 19 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 22k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1410.55/1411.06 c 1342s| 4880k| 17 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 22k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1413.36/1413.80 c 1344s| 4890k| 17 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 22k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1416.05/1416.54 c 1347s| 4900k| 16 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 22k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1418.85/1419.32 c 1349s| 4910k| 17 | 6513 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 233 | 22k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1421.55/1422.04 c 1352s| 4920k| 14 | 6513 | 0.0 | 32M| 72 | - | 595 | 27k| 0 | 0 | 233 | 22k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1424.25/1424.73 c 1355s| 4930k| 16 | 6513 | 0.0 | 32M| 72 | - | 595 | 27k| 0 | 0 | 233 | 22k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1426.84/1427.36 c 1357s| 4940k| 16 | 6513 | 0.0 | 32M| 72 | - | 595 | 27k| 0 | 0 | 233 | 22k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1429.64/1430.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1429.64/1430.10 c 1360s| 4950k| 17 | 6513 | 0.0 | 32M| 72 | - | 595 | 27k| 0 | 0 | 233 | 22k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1432.34/1432.88 c 1362s| 4960k| 14 | 6513 | 0.0 | 32M| 72 | - | 595 | 27k| 0 | 0 | 233 | 22k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1435.25/1435.71 c 1365s| 4970k| 19 | 6513 | 0.0 | 32M| 72 | - | 595 | 27k| 0 | 0 | 233 | 22k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1438.15/1438.60 c 1368s| 4980k| 15 | 6513 | 0.0 | 32M| 72 | - | 595 | 27k| 0 | 0 | 233 | 22k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1440.74/1441.30 c 1370s| 4990k| 16 | 6513 | 0.0 | 32M| 72 | - | 595 | 27k| 0 | 0 | 233 | 22k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1443.45/1443.97 c 1373s| 5000k| 16 | 6513 | 0.0 | 32M| 72 | - | 595 | 27k| 0 | 0 | 233 | 22k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1446.14/1446.68 c 1375s| 5010k| 16 | 6513 | 0.0 | 32M| 72 | - | 595 | 27k| 0 | 0 | 233 | 22k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1448.74/1449.28 c 1378s| 5020k| 16 | 6513 | 0.0 | 32M| 72 | - | 595 | 27k| 0 | 0 | 233 | 22k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1451.45/1451.94 c 1380s| 5030k| 16 | 6513 | 0.0 | 32M| 72 | - | 595 | 27k| 0 | 0 | 233 | 22k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1454.14/1454.68 c 1383s| 5040k| 18 | 6513 | 0.0 | 32M| 72 | - | 595 | 27k| 0 | 0 | 233 | 22k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1456.84/1457.38 c 1386s| 5050k| 14 | 6513 | 0.0 | 32M| 72 | - | 595 | 27k| 0 | 0 | 233 | 22k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1459.54/1460.08 c 1388s| 5060k| 18 | 6513 | 0.0 | 32M| 72 | - | 595 | 27k| 0 | 0 | 233 | 22k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1462.24/1462.74 c 1391s| 5070k| 15 | 6513 | 0.0 | 32M| 72 | - | 595 | 27k| 0 | 0 | 233 | 22k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1464.93/1465.42 c 1393s| 5080k| 15 | 6513 | 0.0 | 32M| 72 | - | 595 | 27k| 0 | 0 | 233 | 23k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1467.74/1468.20 c 1396s| 5090k| 14 | 6513 | 0.0 | 32M| 72 | - | 595 | 27k| 0 | 0 | 233 | 23k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1470.43/1470.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1470.43/1470.96 c 1399s| 5100k| 17 | 6513 | 0.0 | 32M| 72 | - | 595 | 27k| 0 | 0 | 233 | 23k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1473.13/1473.65 c 1401s| 5110k| 16 | 6513 | 0.0 | 32M| 72 | - | 595 | 27k| 0 | 0 | 233 | 23k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1476.03/1476.53 c 1404s| 5120k| 16 | 6513 | 0.0 | 32M| 72 | - | 595 | 27k| 0 | 0 | 233 | 23k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1478.73/1479.29 c 1406s| 5130k| 15 | 6513 | 0.0 | 32M| 72 | - | 595 | 27k| 0 | 0 | 233 | 23k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1481.53/1482.09 c 1409s| 5140k| 16 | 6513 | 0.0 | 32M| 72 | - | 595 | 27k| 0 | 0 | 233 | 23k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1484.33/1484.80 c 1412s| 5150k| 15 | 6513 | 0.0 | 32M| 72 | - | 595 | 27k| 0 | 0 | 233 | 23k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1487.03/1487.58 c 1414s| 5160k| 16 | 6513 | 0.0 | 32M| 73 | - | 595 | 27k| 0 | 0 | 233 | 23k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1489.82/1490.35 c 1417s| 5170k| 13 | 6513 | 0.0 | 32M| 73 | - | 595 | 27k| 0 | 0 | 233 | 23k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1492.63/1493.10 c 1420s| 5180k| 15 | 6513 | 0.0 | 32M| 73 | - | 595 | 27k| 0 | 0 | 233 | 23k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1495.43/1495.91 c 1422s| 5190k| 17 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 23k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1498.23/1498.77 c 1425s| 5200k| 14 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 23k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1501.03/1501.56 c 1428s| 5210k| 18 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 23k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1503.73/1504.26 c 1430s| 5220k| 18 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 23k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1506.53/1507.06 c 1433s| 5230k| 20 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 23k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1509.32/1509.87 c 1436s| 5240k| 16 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 23k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1512.03/1512.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1512.03/1512.51 c 1438s| 5250k| 17 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 23k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1514.72/1515.20 c 1441s| 5260k| 17 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 23k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1517.43/1517.91 c 1443s| 5270k| 18 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 23k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1520.12/1520.63 c 1446s| 5280k| 16 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 23k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1522.82/1523.38 c 1448s| 5290k| 17 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 23k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1525.62/1526.11 c 1451s| 5300k| 14 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 23k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1528.31/1528.85 c 1454s| 5310k| 19 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 23k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1531.12/1531.62 c 1456s| 5320k| 16 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 23k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1533.92/1534.43 c 1459s| 5330k| 17 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 23k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1536.72/1537.23 c 1462s| 5340k| 16 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 24k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1539.42/1540.00 c 1464s| 5350k| 16 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 24k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1542.21/1542.76 c 1467s| 5360k| 17 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 24k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1545.02/1545.59 c 1470s| 5370k| 17 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 24k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1547.82/1548.30 c 1472s| 5380k| 16 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 24k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1550.52/1551.02 c 1475s| 5390k| 16 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 24k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1553.21/1553.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1553.21/1553.74 c 1477s| 5400k| 17 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 24k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1555.92/1556.49 c 1480s| 5410k| 17 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 24k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1558.60/1559.15 c 1482s| 5420k| 15 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 24k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1561.31/1561.82 c 1485s| 5430k| 15 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 24k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1564.10/1564.63 c 1488s| 5440k| 18 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 24k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1566.80/1567.39 c 1490s| 5450k| 17 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 24k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1569.60/1570.11 c 1493s| 5460k| 15 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 24k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1572.20/1572.77 c 1495s| 5470k| 18 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 24k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1574.90/1575.42 c 1498s| 5480k| 19 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 24k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1577.60/1578.15 c 1500s| 5490k| 16 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 24k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1580.30/1580.88 c 1503s| 5500k| 14 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 24k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1582.90/1583.47 c 1506s| 5510k| 18 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 24k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1585.60/1586.15 c 1508s| 5520k| 19 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 24k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1588.49/1589.03 c 1511s| 5530k| 20 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 24k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1591.29/1591.82 c 1514s| 5540k| 17 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 24k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1594.00/1594.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1594.00/1594.54 c 1516s| 5550k| 18 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 24k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1596.79/1597.34 c 1519s| 5560k| 15 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 24k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1599.60/1600.10 c 1521s| 5570k| 17 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 24k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1602.39/1602.93 c 1524s| 5580k| 17 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 24k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1605.19/1605.71 c 1527s| 5590k| 18 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 24k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1607.99/1608.51 c 1529s| 5600k| 15 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 24k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1610.69/1611.27 c 1532s| 5610k| 18 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 24k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1613.59/1614.13 c 1535s| 5620k| 15 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 25k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1616.39/1616.95 c 1538s| 5630k| 17 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 25k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1619.19/1619.73 c 1540s| 5640k| 16 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 25k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1621.90/1622.44 c 1543s| 5650k| 17 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 25k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1624.58/1625.18 c 1545s| 5660k| 15 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 25k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1627.49/1628.04 c 1548s| 5670k| 16 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 25k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1630.29/1630.84 c 1551s| 5680k| 18 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 25k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1633.08/1633.62 c 1553s| 5690k| 15 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 25k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1635.78/1636.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1635.78/1636.35 c 1556s| 5700k| 16 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 25k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1638.58/1639.15 c 1559s| 5710k| 17 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 25k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1641.38/1641.97 c 1561s| 5720k| 17 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 25k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1644.18/1644.79 c 1564s| 5730k| 18 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 25k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1647.07/1647.60 c 1567s| 5740k| 17 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 25k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1649.67/1650.25 c 1569s| 5750k| 18 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 25k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1652.38/1652.90 c 1572s| 5760k| 17 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 25k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1655.07/1655.68 c 1574s| 5770k| 17 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 25k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1657.88/1658.43 c 1577s| 5780k| 19 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 25k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1660.57/1661.15 c 1580s| 5790k| 16 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 25k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1663.27/1663.84 c 1582s| 5800k| 16 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 25k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1665.98/1666.51 c 1585s| 5810k| 16 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 25k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1668.67/1669.29 c 1587s| 5820k| 19 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 25k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1671.38/1671.99 c 1590s| 5830k| 18 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 25k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1674.27/1674.81 c 1593s| 5840k| 16 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 25k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1677.07/1677.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1677.07/1677.67 c 1595s| 5850k| 16 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 25k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1679.77/1680.38 c 1598s| 5860k| 17 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 25k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1682.56/1683.10 c 1601s| 5870k| 15 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 26k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1685.36/1685.90 c 1603s| 5880k| 17 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 26k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1688.07/1688.66 c 1606s| 5890k| 17 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 26k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1690.76/1691.34 c 1608s| 5900k| 18 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 26k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1693.37/1693.98 c 1611s| 5910k| 16 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 26k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1696.17/1696.76 c 1614s| 5920k| 17 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 26k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1698.97/1699.54 c 1616s| 5930k| 18 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 26k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1701.76/1702.32 c 1619s| 5940k| 19 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 26k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1704.37/1705.00 c 1621s| 5950k| 15 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 26k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1707.06/1707.61 c 1624s| 5960k| 18 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 26k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1709.75/1710.34 c 1627s| 5970k| 16 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 26k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1712.46/1713.03 c 1629s| 5980k| 18 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 26k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1715.15/1715.73 c 1632s| 5990k| 15 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 26k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1717.76/1718.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1717.76/1718.39 c 1634s| 6000k| 16 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 26k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1720.45/1721.08 c 1637s| 6010k| 15 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 26k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1723.25/1723.89 c 1639s| 6020k| 17 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 26k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1726.05/1726.64 c 1642s| 6030k| 13 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 26k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1728.66/1729.28 c 1645s| 6040k| 16 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 26k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1731.46/1732.03 c 1647s| 6050k| 16 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 26k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1734.16/1734.76 c 1650s| 6060k| 18 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 26k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1737.05/1737.62 c 1652s| 6070k| 15 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 26k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1739.75/1740.34 c 1655s| 6080k| 16 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 26k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1742.55/1743.11 c 1658s| 6090k| 15 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 26k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1745.25/1745.89 c 1660s| 6100k| 17 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 26k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1748.05/1748.64 c 1663s| 6110k| 17 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 26k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1750.75/1751.35 c 1666s| 6120k| 16 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 26k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1753.44/1754.08 c 1668s| 6130k| 19 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 26k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1756.15/1756.78 c 1671s| 6140k| 18 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 26k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1758.84/1759.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1758.84/1759.47 c 1673s| 6150k| 16 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 26k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1761.45/1762.09 c 1676s| 6160k| 17 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 27k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1764.24/1764.83 c 1678s| 6170k| 16 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 27k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1766.94/1767.55 c 1681s| 6180k| 16 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 27k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1769.64/1770.21 c 1684s| 6190k| 15 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 27k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1772.34/1772.92 c 1686s| 6200k| 17 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 27k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1775.14/1775.74 c 1689s| 6210k| 15 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 27k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1777.94/1778.57 c 1692s| 6220k| 16 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 27k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1780.74/1781.38 c 1694s| 6230k| 18 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 27k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1783.65/1784.26 c 1697s| 6240k| 15 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 27k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1786.53/1787.11 c 1700s| 6250k| 16 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 27k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1789.33/1789.98 c 1702s| 6260k| 15 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 27k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1792.24/1792.80 c 1705s| 6270k| 17 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 27k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1795.04/1795.65 c 1708s| 6280k| 16 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 27k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1797.84/1798.44 c 1710s| 6290k| 15 | 6513 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 233 | 27k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1800.04/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.61 c
1800.04/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.61 c Solving Time (sec) : 1712.53
1800.04/1800.61 c Solving Nodes : 6297908
1800.04/1800.61 c Primal Bound : -2.60000000000000e+01 (9 solutions)
1800.04/1800.61 c Dual Bound : -3.50000000000000e+01
1800.04/1800.61 c Gap : 25.71 %
1800.04/1800.63 s SATISFIABLE
1800.04/1800.63 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
1800.04/1800.63 v -x29 -x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53
1800.04/1800.63 v -x54 -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78
1800.04/1800.63 v -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 -x102 -x103
1800.04/1800.63 v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124
1800.04/1800.63 v -x125 -x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145
1800.04/1800.63 v -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166
1800.04/1800.63 v -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 x187
1800.04/1800.63 v -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 x203 -x204 x205 -x206 -x207 -x208
1800.04/1800.63 v -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229
1800.04/1800.63 v -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 x249 -x250
1800.04/1800.63 v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 x270 -x271
1800.04/1800.63 v -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292
1800.04/1800.63 v -x293 x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 x310 -x311 -x312 -x313
1800.04/1800.63 v -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334
1800.04/1800.63 v -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355
1800.04/1800.63 v -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376
1800.04/1800.63 v -x377 -x378 -x379 -x380 -x381 -x382 x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397
1800.04/1800.63 v -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418
1800.04/1800.63 v -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439
1800.04/1800.63 v -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459
1800.04/1800.63 v -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 x477 -x478 -x479 -x480
1800.04/1800.63 v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 x496 -x497 -x498 -x499 -x500 -x501
1800.04/1800.63 v -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522
1800.04/1800.63 v -x523 -x524 -x525 -x526 -x527 x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543
1800.04/1800.63 v -x544 -x545 x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 x563 -x564 -x565
1800.04/1800.63 v -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585
1800.04/1800.63 v -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 x595
1800.04/1800.63 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.63 c Solving Time : 1712.53
1800.04/1800.63 c Original Problem :
1800.04/1800.63 c Problem name : HOME/instance-2667067-1276515896.opb
1800.04/1800.63 c Variables : 595 (595 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.63 c Constraints : 27856 initial, 27856 maximal
1800.04/1800.63 c Presolved Problem :
1800.04/1800.63 c Problem name : t_HOME/instance-2667067-1276515896.opb
1800.04/1800.63 c Variables : 595 (595 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.63 c Constraints : 27856 initial, 27894 maximal
1800.04/1800.63 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.63 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.63 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.63 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.63 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.63 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.63 c probing : 0.64 0 0 0 0 0 0 0 0
1800.04/1800.63 c logicor : 0.08 0 0 0 0 0 0 0 0
1800.04/1800.63 c root node : - 0 - - 0 - - - -
1800.04/1800.63 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.63 c integral : 0 0 0 1 0 0 0 0 0 2
1800.04/1800.63 c logicor : 27856+ 25 6445867 0 1 556132 12609478 0 0 0
1800.04/1800.63 c countsols : 0 0 0 0 1 0 0 0 0 0
1800.04/1800.63 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.63 c integral : 38.60 0.00 0.00 38.60 0.00
1800.04/1800.63 c logicor : 523.38 0.14 523.23 0.00 0.01
1800.04/1800.63 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.63 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.63 c vbounds : 4.71 2 0 0
1800.04/1800.63 c rootredcost : 4.71 1 0 0
1800.04/1800.63 c pseudoobj : 460.51 9841089 2322788 3383467
1800.04/1800.63 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.63 c propagation : 297.24 556132 27532 27532 39.7 0 0.0 -
1800.04/1800.63 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.63 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.63 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.63 c pseudo solution : 156.97 276353 0 0 0.0 0 0.0 -
1800.04/1800.63 c applied globally : - - - 27354 39.6 - - -
1800.04/1800.63 c applied locally : - - - 178 61.9 - - -
1800.04/1800.63 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.63 c cut pool : 0.00 24 - - 96 - (maximal pool size: 452)
1800.04/1800.63 c redcost : 0.00 25 0 0 0 0
1800.04/1800.63 c impliedbounds : 0.03 25 0 0 0 0
1800.04/1800.63 c intobj : 0.00 0 0 0 0 0
1800.04/1800.63 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.63 c gomory : 6.70 25 0 0 12500 0
1800.04/1800.63 c strongcg : 5.28 20 0 0 10000 0
1800.04/1800.63 c cmir : 3.45 10 0 0 0 0
1800.04/1800.63 c flowcover : 3.75 10 0 0 0 0
1800.04/1800.63 c clique : 0.48 25 0 0 213 0
1800.04/1800.63 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.63 c mcf : 0.04 1 0 0 0 0
1800.04/1800.63 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.63 c Pricers : Time Calls Vars
1800.04/1800.63 c problem variables: 0.00 0 0
1800.04/1800.63 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.63 c relpscost : 38.60 1 0 0 0 0 2
1800.04/1800.63 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.63 c inference : 24.81 3159327 0 0 0 0 6318654
1800.04/1800.63 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.63 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.63 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.63 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.63 c random : 0.00 0 0 0 0 0 0
1800.04/1800.63 c Primal Heuristics : Time Calls Found
1800.04/1800.63 c LP solutions : 0.00 - 0
1800.04/1800.63 c pseudo solutions : 0.00 - 1
1800.04/1800.63 c crossover : 0.00 0 0
1800.04/1800.63 c oneopt : 4.61 2 1
1800.04/1800.63 c trivial : 0.01 2 3
1800.04/1800.63 c simplerounding : 0.00 26 0
1800.04/1800.63 c zirounding : 0.01 1 1
1800.04/1800.63 c rounding : 0.37 26 1
1800.04/1800.63 c shifting : 0.50 26 1
1800.04/1800.63 c intshifting : 0.00 0 0
1800.04/1800.63 c twoopt : 0.00 0 0
1800.04/1800.63 c fixandinfer : 0.00 0 0
1800.04/1800.63 c feaspump : 0.00 0 0
1800.04/1800.63 c coefdiving : 0.00 0 0
1800.04/1800.63 c pscostdiving : 0.00 0 0
1800.04/1800.63 c fracdiving : 0.00 0 0
1800.04/1800.63 c veclendiving : 0.00 0 0
1800.04/1800.63 c intdiving : 0.00 0 0
1800.04/1800.63 c actconsdiving : 0.00 0 0
1800.04/1800.63 c objpscostdiving : 0.00 0 0
1800.04/1800.63 c rootsoldiving : 0.00 0 0
1800.04/1800.63 c linesearchdiving : 0.00 0 0
1800.04/1800.63 c guideddiving : 0.00 0 0
1800.04/1800.63 c octane : 0.00 0 0
1800.04/1800.63 c rens : 0.91 1 1
1800.04/1800.63 c rins : 0.00 0 0
1800.04/1800.63 c localbranching : 0.00 0 0
1800.04/1800.63 c mutation : 0.00 0 0
1800.04/1800.63 c dins : 0.00 0 0
1800.04/1800.63 c undercover : 0.00 0 0
1800.04/1800.63 c nlp : 2.69 0 0
1800.04/1800.63 c trysol : 3.38 0 0
1800.04/1800.63 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.63 c primal LP : 0.05 0 0 0.00 0.00
1800.04/1800.63 c dual LP : 19.11 26 6513 250.50 340.82
1800.04/1800.63 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.63 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.63 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.63 c strong branching : 38.60 33 11810 357.88 305.96
1800.04/1800.63 c (at root node) : - 33 11810 357.88 -
1800.04/1800.63 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.63 c B&B Tree :
1800.04/1800.63 c number of runs : 1
1800.04/1800.63 c nodes : 6297908
1800.04/1800.63 c nodes (total) : 6297908
1800.04/1800.63 c nodes left : 15
1800.04/1800.63 c max depth : 76
1800.04/1800.63 c max depth (total): 76
1800.04/1800.63 c backtracks : 1007417 (16.0%)
1800.04/1800.63 c delayed cutoffs : 18041
1800.04/1800.63 c repropagations : 21001 (73932 domain reductions, 16694 cutoffs)
1800.04/1800.63 c avg switch length: 2.00
1800.04/1800.63 c switching time : 201.05
1800.04/1800.63 c Solution :
1800.04/1800.63 c Solutions found : 9 (5 improvements)
1800.04/1800.63 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.05 seconds, depth 0, found by <trivial>)
1800.04/1800.63 c Primal Bound : -2.60000000000000e+01 (in run 1, after 229220 nodes, 139.89 seconds, depth 31, found by <relaxation>)
1800.04/1800.63 c Dual Bound : -3.50000000000000e+01
1800.04/1800.63 c Gap : 25.71 %
1800.04/1800.63 c Root Dual Bound : -3.50000000000000e+01
1800.04/1800.63 c Root Iterations : 6513
1800.14/1800.74 c Time complete: 1800.18.