0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2665498-1276516722.opb>
0.39/0.44 c original problem has 595 variables (595 bin, 0 int, 0 impl, 0 cont) and 27847 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.87 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 27847 upgd conss, 55694 impls, 0 clqs
1.49/1.55 c (1.0s) probing: 101/595 (17.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.49/1.55 c (1.0s) probing aborted: 100/100 successive totally useless probings
1.49/1.55 c presolving (2 rounds):
1.49/1.55 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.49/1.55 c 55694 implications, 0 cliques
1.49/1.55 c presolved problem has 595 variables (595 bin, 0 int, 0 impl, 0 cont) and 27847 constraints
1.49/1.55 c 27847 constraints of type <logicor>
1.49/1.55 c transformed objective value is always integral (scale: 1)
1.49/1.55 c Presolving Time: 0.95
1.49/1.55 c - non default parameters ----------------------------------------------------------------------
1.49/1.55 c # SCIP version 1.2.1.2
1.49/1.55 c
1.49/1.55 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.49/1.55 c # [type: int, range: [-1,2147483647], default: -1]
1.49/1.55 c conflict/interconss = 0
1.49/1.55 c
1.49/1.55 c # should binary conflicts be preferred?
1.49/1.55 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.55 c conflict/preferbinary = TRUE
1.49/1.55 c
1.49/1.55 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.49/1.55 c # [type: int, range: [-1,2147483647], default: 0]
1.49/1.55 c constraints/agelimit = 1
1.49/1.55 c
1.49/1.55 c # should enforcement of pseudo solution be disabled?
1.49/1.55 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.55 c constraints/disableenfops = TRUE
1.49/1.55 c
1.49/1.55 c # frequency for displaying node information lines
1.49/1.55 c # [type: int, range: [-1,2147483647], default: 100]
1.49/1.55 c display/freq = 10000
1.49/1.55 c
1.49/1.55 c # maximal time in seconds to run
1.49/1.55 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.49/1.55 c limits/time = 1799.56
1.49/1.55 c
1.49/1.55 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.49/1.55 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.49/1.55 c limits/memory = 1620
1.49/1.55 c
1.49/1.55 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.49/1.55 c # [type: int, range: [-1,2147483647], default: 1]
1.49/1.55 c lp/solvefreq = 0
1.49/1.55 c
1.49/1.55 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.55 c # [type: char, range: {lafpsqd}, default: l]
1.49/1.55 c lp/pricing = a
1.49/1.55 c
1.49/1.55 c # should presolving try to simplify inequalities
1.49/1.55 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.55 c constraints/linear/simplifyinequalities = TRUE
1.49/1.55 c
1.49/1.55 c # should presolving try to simplify knapsacks
1.49/1.55 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.55 c constraints/knapsack/simplifyinequalities = TRUE
1.49/1.55 c
1.49/1.55 c # priority of node selection rule <dfs> in standard mode
1.49/1.55 c # [type: int, range: [-536870912,536870911], default: 0]
1.49/1.55 c nodeselection/dfs/stdpriority = 1000000
1.49/1.55 c
1.49/1.55 c -----------------------------------------------------------------------------------------------
1.49/1.55 c start solving
1.49/1.55 c
1.89/1.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.89/1.90 c t 1.3s| 1 | 0 | 652 | - | 31M| 0 | 595 | 595 | 27k| 595 | 27k| 0 | 0 | 0 |-2.975000e+02 | 0.000000e+00 | 100.00%
1.89/1.95 o -1
1.89/1.95 c R 1.4s| 1 | 0 | 652 | - | 31M| 0 | 595 | 595 | 27k| 595 | 27k| 0 | 0 | 0 |-2.975000e+02 |-1.000000e+00 | 99.66%
3.49/3.54 c 2.9s| 1 | 0 | 889 | - | 31M| 0 | 541 | 595 | 27k| 595 | 27k| 15 | 0 | 0 |-2.705000e+02 |-1.000000e+00 | 99.63%
3.49/3.57 o -22
3.49/3.57 c b 2.9s| 1 | 0 | 889 | - | 31M| 0 | 541 | 595 | 27k| 595 | 27k| 15 | 0 | 0 |-2.705000e+02 |-2.200000e+01 | 91.87%
5.29/5.31 c 4.6s| 1 | 0 | 1122 | - | 31M| 0 | 511 | 595 | 27k| 595 | 27k| 20 | 0 | 0 |-2.555000e+02 |-2.200000e+01 | 91.39%
7.28/7.36 c 6.7s| 1 | 0 | 1374 | - | 31M| 0 | 485 | 595 | 27k| 595 | 27k| 28 | 0 | 0 |-2.425000e+02 |-2.200000e+01 | 90.93%
10.00/10.03 c 9.3s| 1 | 0 | 1694 | - | 31M| 0 | 456 | 595 | 27k| 595 | 27k| 33 | 0 | 0 |-2.272500e+02 |-2.200000e+01 | 90.32%
13.19/13.29 c 12.6s| 1 | 0 | 2149 | - | 31M| 0 | 412 | 595 | 27k| 595 | 27k| 42 | 0 | 0 |-2.052500e+02 |-2.200000e+01 | 89.28%
15.79/15.83 c 15.1s| 1 | 0 | 2402 | - | 31M| 0 | 385 | 595 | 27k| 595 | 27k| 48 | 0 | 0 |-1.917500e+02 |-2.200000e+01 | 88.53%
18.99/19.04 c 18.3s| 1 | 0 | 2808 | - | 31M| 0 | 350 | 595 | 27k| 595 | 27k| 59 | 0 | 0 |-1.750000e+02 |-2.200000e+01 | 87.43%
21.38/21.46 c 20.7s| 1 | 0 | 3116 | - | 31M| 0 | 320 | 595 | 27k| 595 | 27k| 67 | 0 | 0 |-1.600000e+02 |-2.200000e+01 | 86.25%
24.19/24.29 c 23.5s| 1 | 0 | 3561 | - | 31M| 0 | 285 | 595 | 27k| 595 | 27k| 76 | 0 | 0 |-1.425000e+02 |-2.200000e+01 | 84.56%
27.08/27.20 c 26.4s| 1 | 0 | 3988 | - | 31M| 0 | 256 | 595 | 27k| 595 | 27k| 83 | 0 | 0 |-1.280000e+02 |-2.200000e+01 | 82.81%
28.98/29.00 c 28.2s| 1 | 0 | 4400 | - | 31M| 0 | 232 | 595 | 27k| 595 | 27k| 89 | 0 | 0 |-1.160000e+02 |-2.200000e+01 | 81.03%
29.98/30.08 c 29.2s| 1 | 0 | 4655 | - | 31M| 0 | 217 | 595 | 27k| 595 | 27k| 93 | 0 | 0 |-1.085000e+02 |-2.200000e+01 | 79.72%
31.38/31.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.38/31.49 c 30.6s| 1 | 0 | 5018 | - | 31M| 0 | 188 | 595 | 27k| 595 | 27k| 102 | 0 | 0 |-9.400000e+01 |-2.200000e+01 | 76.60%
33.09/33.12 c 32.2s| 1 | 0 | 5573 | - | 31M| 0 | 160 | 595 | 27k| 595 | 27k| 108 | 0 | 0 |-8.000000e+01 |-2.200000e+01 | 72.50%
34.09/34.11 c 33.2s| 1 | 0 | 5919 | - | 31M| 0 | 134 | 595 | 27k| 595 | 27k| 116 | 0 | 0 |-6.600000e+01 |-2.200000e+01 | 66.67%
35.58/35.62 c 34.7s| 1 | 0 | 6540 | - | 31M| 0 | 115 | 595 | 27k| 595 | 27k| 124 | 0 | 0 |-4.650000e+01 |-2.200000e+01 | 52.69%
36.18/36.26 c 35.3s| 1 | 0 | 6790 | - | 31M| 0 | 111 | 595 | 27k| 595 | 27k| 133 | 0 | 0 |-4.166667e+01 |-2.200000e+01 | 47.20%
36.67/36.76 c 35.8s| 1 | 0 | 6978 | - | 32M| 0 | 111 | 595 | 27k| 595 | 27k| 145 | 0 | 0 |-3.900000e+01 |-2.200000e+01 | 43.59%
37.18/37.24 c 36.3s| 1 | 0 | 7098 | - | 32M| 0 | 116 | 595 | 27k| 595 | 27k| 155 | 0 | 0 |-3.866667e+01 |-2.200000e+01 | 43.10%
37.58/37.67 c 36.7s| 1 | 0 | 7211 | - | 32M| 0 | 119 | 595 | 27k| 595 | 27k| 164 | 0 | 0 |-3.780000e+01 |-2.200000e+01 | 41.80%
38.37/38.40 c 37.4s| 1 | 0 | 7469 | - | 32M| 0 | 126 | 595 | 27k| 595 | 27k| 176 | 0 | 0 |-3.600000e+01 |-2.200000e+01 | 38.89%
38.98/39.03 c 38.0s| 1 | 0 | 7701 | - | 32M| 0 | 123 | 595 | 27k| 595 | 28k| 186 | 0 | 0 |-3.500000e+01 |-2.200000e+01 | 37.14%
39.48/39.51 c 38.5s| 1 | 0 | 7846 | - | 32M| 0 | 115 | 595 | 27k| 595 | 27k| 197 | 0 | 0 |-3.500000e+01 |-2.200000e+01 | 37.14%
40.58/40.61 c 39.6s| 1 | 0 | 8151 | - | 32M| 0 | 203 | 595 | 27k| 595 | 27k| 208 | 0 | 0 |-3.500000e+01 |-2.200000e+01 | 37.14%
44.28/44.38 c 43.3s| 1 | 0 | 8537 | - | 32M| 0 | 225 | 595 | 27k| 595 | 28k| 218 | 0 | 0 |-3.500000e+01 |-2.200000e+01 | 37.14%
51.78/51.86 c 50.8s| 1 | 0 | 8962 | - | 32M| 0 | 224 | 595 | 27k| 595 | 28k| 223 | 0 | 0 |-3.500000e+01 |-2.200000e+01 | 37.14%
55.57/55.64 c 54.5s| 1 | 0 | 9385 | - | 32M| 0 | 226 | 595 | 27k| 595 | 28k| 230 | 0 | 0 |-3.500000e+01 |-2.200000e+01 | 37.14%
129.04/129.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
129.04/129.13 c 127s| 1 | 2 | 9385 | - | 32M| 0 | 226 | 595 | 27k| 595 | 28k| 230 | 0 | 33 |-3.500000e+01 |-2.200000e+01 | 37.14%
130.64/130.77 o -23
130.64/130.77 c * 129s| 6210 | 17 | 9385 | 0.0 | 32M| 37 | - | 595 | 27k| 0 | 0 | 230 | 39 | 33 |-3.500000e+01 |-2.300000e+01 | 34.29%
130.85/130.92 o -24
130.85/130.92 c * 129s| 6809 | 19 | 9385 | 0.0 | 32M| 37 | - | 595 | 27k| 0 | 0 | 230 | 45 | 33 |-3.500000e+01 |-2.400000e+01 | 31.43%
131.64/131.78 c 130s| 10000 | 17 | 9385 | 0.0 | 32M| 37 | - | 595 | 27k| 0 | 0 | 230 | 74 | 33 |-3.500000e+01 |-2.400000e+01 | 31.43%
134.34/134.46 c 132s| 20000 | 17 | 9385 | 0.0 | 32M| 39 | - | 595 | 27k| 0 | 0 | 230 | 126 | 33 |-3.500000e+01 |-2.400000e+01 | 31.43%
136.94/137.02 c 135s| 30000 | 16 | 9385 | 0.0 | 32M| 40 | - | 595 | 27k| 0 | 0 | 230 | 172 | 33 |-3.500000e+01 |-2.400000e+01 | 31.43%
139.63/139.70 c 137s| 40000 | 18 | 9385 | 0.0 | 32M| 42 | - | 595 | 27k| 0 | 0 | 230 | 238 | 33 |-3.500000e+01 |-2.400000e+01 | 31.43%
142.23/142.33 c 140s| 50000 | 15 | 9385 | 0.0 | 32M| 42 | - | 595 | 27k| 0 | 0 | 230 | 288 | 33 |-3.500000e+01 |-2.400000e+01 | 31.43%
144.93/145.05 c 142s| 60000 | 15 | 9385 | 0.0 | 32M| 45 | - | 595 | 27k| 0 | 0 | 230 | 364 | 33 |-3.500000e+01 |-2.400000e+01 | 31.43%
147.62/147.71 c 145s| 70000 | 16 | 9385 | 0.0 | 32M| 45 | - | 595 | 27k| 0 | 0 | 230 | 408 | 33 |-3.500000e+01 |-2.400000e+01 | 31.43%
150.32/150.45 c 147s| 80000 | 16 | 9385 | 0.0 | 32M| 47 | - | 595 | 27k| 0 | 0 | 230 | 463 | 33 |-3.500000e+01 |-2.400000e+01 | 31.43%
153.13/153.24 c 150s| 90000 | 15 | 9385 | 0.0 | 32M| 47 | - | 595 | 27k| 0 | 0 | 230 | 515 | 33 |-3.500000e+01 |-2.400000e+01 | 31.43%
155.92/156.00 c 153s|100000 | 16 | 9385 | 0.0 | 32M| 47 | - | 595 | 27k| 0 | 0 | 230 | 569 | 33 |-3.500000e+01 |-2.400000e+01 | 31.43%
158.52/158.64 c 155s|110000 | 16 | 9385 | 0.0 | 32M| 47 | - | 595 | 27k| 0 | 0 | 230 | 612 | 33 |-3.500000e+01 |-2.400000e+01 | 31.43%
161.32/161.41 c 158s|120000 | 16 | 9385 | 0.0 | 32M| 47 | - | 595 | 27k| 0 | 0 | 230 | 679 | 33 |-3.500000e+01 |-2.400000e+01 | 31.43%
164.02/164.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
164.02/164.16 c 161s|130000 | 15 | 9385 | 0.0 | 32M| 47 | - | 595 | 27k| 0 | 0 | 230 | 748 | 33 |-3.500000e+01 |-2.400000e+01 | 31.43%
166.82/166.91 c 163s|140000 | 16 | 9385 | 0.0 | 32M| 48 | - | 595 | 27k| 0 | 0 | 230 | 814 | 33 |-3.500000e+01 |-2.400000e+01 | 31.43%
169.51/169.62 c 166s|150000 | 15 | 9385 | 0.0 | 32M| 48 | - | 595 | 27k| 0 | 0 | 230 | 858 | 33 |-3.500000e+01 |-2.400000e+01 | 31.43%
172.11/172.29 c 168s|160000 | 15 | 9385 | 0.0 | 32M| 48 | - | 595 | 27k| 0 | 0 | 230 | 898 | 33 |-3.500000e+01 |-2.400000e+01 | 31.43%
174.82/174.96 c 171s|170000 | 16 | 9385 | 0.0 | 32M| 48 | - | 595 | 27k| 0 | 0 | 230 | 955 | 33 |-3.500000e+01 |-2.400000e+01 | 31.43%
177.42/177.56 c 173s|180000 | 15 | 9385 | 0.0 | 32M| 48 | - | 595 | 27k| 0 | 0 | 230 | 992 | 33 |-3.500000e+01 |-2.400000e+01 | 31.43%
180.11/180.24 c 176s|190000 | 15 | 9385 | 0.0 | 32M| 48 | - | 595 | 27k| 0 | 0 | 230 |1045 | 33 |-3.500000e+01 |-2.400000e+01 | 31.43%
182.81/182.92 c 178s|200000 | 16 | 9385 | 0.0 | 32M| 48 | - | 595 | 27k| 0 | 0 | 230 |1099 | 33 |-3.500000e+01 |-2.400000e+01 | 31.43%
185.51/185.66 c 181s|210000 | 14 | 9385 | 0.0 | 32M| 48 | - | 595 | 27k| 0 | 0 | 230 |1143 | 33 |-3.500000e+01 |-2.400000e+01 | 31.43%
188.30/188.43 c 184s|220000 | 15 | 9385 | 0.0 | 32M| 48 | - | 595 | 27k| 0 | 0 | 230 |1202 | 33 |-3.500000e+01 |-2.400000e+01 | 31.43%
191.01/191.16 c 186s|230000 | 16 | 9385 | 0.0 | 32M| 49 | - | 595 | 27k| 0 | 0 | 230 |1297 | 33 |-3.500000e+01 |-2.400000e+01 | 31.43%
193.70/193.84 c 189s|240000 | 14 | 9385 | 0.0 | 32M| 49 | - | 595 | 27k| 0 | 0 | 230 |1370 | 33 |-3.500000e+01 |-2.400000e+01 | 31.43%
196.50/196.66 c 191s|250000 | 16 | 9385 | 0.0 | 32M| 52 | - | 595 | 27k| 0 | 0 | 230 |1482 | 33 |-3.500000e+01 |-2.400000e+01 | 31.43%
199.30/199.45 c 194s|260000 | 14 | 9385 | 0.0 | 32M| 52 | - | 595 | 27k| 0 | 0 | 230 |1540 | 33 |-3.500000e+01 |-2.400000e+01 | 31.43%
199.70/199.89 o -25
199.70/199.89 c * 194s|261564 | 18 | 9385 | 0.0 | 32M| 52 | - | 595 | 27k| 0 | 0 | 230 |1558 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
202.00/202.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
202.00/202.19 c 197s|270000 | 17 | 9385 | 0.0 | 32M| 52 | - | 595 | 27k| 0 | 0 | 230 |1599 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
204.70/204.89 c 199s|280000 | 14 | 9385 | 0.0 | 32M| 52 | - | 595 | 27k| 0 | 0 | 230 |1644 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
207.40/207.59 c 202s|290000 | 15 | 9385 | 0.0 | 32M| 52 | - | 595 | 27k| 0 | 0 | 230 |1696 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
210.20/210.35 c 204s|300000 | 17 | 9385 | 0.0 | 32M| 52 | - | 595 | 27k| 0 | 0 | 230 |1716 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
213.00/213.12 c 207s|310000 | 16 | 9385 | 0.0 | 32M| 52 | - | 595 | 27k| 0 | 0 | 230 |1751 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
215.80/215.95 c 210s|320000 | 17 | 9385 | 0.0 | 32M| 52 | - | 595 | 27k| 0 | 0 | 230 |1825 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
218.60/218.76 c 212s|330000 | 15 | 9385 | 0.0 | 32M| 52 | - | 595 | 27k| 0 | 0 | 230 |1861 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
221.39/221.59 c 215s|340000 | 15 | 9385 | 0.0 | 32M| 52 | - | 595 | 27k| 0 | 0 | 230 |1901 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
224.09/224.29 c 218s|350000 | 16 | 9385 | 0.0 | 32M| 52 | - | 595 | 27k| 0 | 0 | 230 |1951 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
226.79/226.99 c 220s|360000 | 16 | 9385 | 0.0 | 32M| 52 | - | 595 | 27k| 0 | 0 | 230 |2014 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
229.49/229.60 c 223s|370000 | 18 | 9385 | 0.0 | 32M| 52 | - | 595 | 27k| 0 | 0 | 230 |2071 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
232.00/232.13 c 225s|380000 | 18 | 9385 | 0.0 | 32M| 52 | - | 595 | 27k| 0 | 0 | 230 |2135 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
234.59/234.73 c 228s|390000 | 17 | 9385 | 0.0 | 32M| 52 | - | 595 | 27k| 0 | 0 | 230 |2171 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
237.29/237.40 c 230s|400000 | 17 | 9385 | 0.0 | 32M| 52 | - | 595 | 27k| 0 | 0 | 230 |2235 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
239.89/240.00 c 233s|410000 | 16 | 9385 | 0.0 | 32M| 52 | - | 595 | 27k| 0 | 0 | 230 |2285 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
242.49/242.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
242.49/242.64 c 235s|420000 | 15 | 9385 | 0.0 | 32M| 52 | - | 595 | 27k| 0 | 0 | 230 |2336 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
245.09/245.28 c 238s|430000 | 15 | 9385 | 0.0 | 32M| 52 | - | 595 | 27k| 0 | 0 | 230 |2389 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
247.78/247.91 c 240s|440000 | 16 | 9385 | 0.0 | 32M| 52 | - | 595 | 27k| 0 | 0 | 230 |2432 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
250.48/250.61 c 243s|450000 | 16 | 9385 | 0.0 | 32M| 52 | - | 595 | 27k| 0 | 0 | 230 |2483 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
252.38/252.51 o -26
252.38/252.51 c * 245s|457386 | 14 | 9385 | 0.0 | 33M| 52 | - | 595 | 27k| 0 | 0 | 230 |2531 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
253.09/253.21 c 245s|460000 | 13 | 9385 | 0.0 | 33M| 52 | - | 595 | 27k| 0 | 0 | 230 |2537 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
255.69/255.84 c 248s|470000 | 16 | 9385 | 0.0 | 33M| 52 | - | 595 | 27k| 0 | 0 | 230 |2581 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
258.49/258.63 c 250s|480000 | 17 | 9385 | 0.0 | 33M| 52 | - | 595 | 27k| 0 | 0 | 230 |2626 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
261.27/261.46 c 253s|490000 | 16 | 9385 | 0.0 | 33M| 52 | - | 595 | 27k| 0 | 0 | 230 |2648 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
263.98/264.17 c 256s|500000 | 14 | 9385 | 0.0 | 33M| 52 | - | 595 | 27k| 0 | 0 | 230 |2691 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
266.77/266.93 c 258s|510000 | 14 | 9385 | 0.0 | 33M| 52 | - | 595 | 27k| 0 | 0 | 230 |2720 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
269.48/269.64 c 261s|520000 | 16 | 9385 | 0.0 | 33M| 52 | - | 595 | 27k| 0 | 0 | 230 |2784 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
272.18/272.32 c 263s|530000 | 15 | 9385 | 0.0 | 33M| 52 | - | 595 | 27k| 0 | 0 | 230 |2825 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
274.88/275.03 c 266s|540000 | 16 | 9385 | 0.0 | 33M| 52 | - | 595 | 27k| 0 | 0 | 230 |2862 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
277.68/277.86 c 269s|550000 | 16 | 9385 | 0.0 | 33M| 52 | - | 595 | 27k| 0 | 0 | 230 |2918 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
280.48/280.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
280.48/280.62 c 271s|560000 | 17 | 9385 | 0.0 | 33M| 52 | - | 595 | 27k| 0 | 0 | 230 |2975 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
283.18/283.31 c 274s|570000 | 16 | 9385 | 0.0 | 33M| 52 | - | 595 | 27k| 0 | 0 | 230 |3012 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
285.88/286.07 c 277s|580000 | 15 | 9385 | 0.0 | 33M| 52 | - | 595 | 27k| 0 | 0 | 230 |3041 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
288.67/288.83 c 279s|590000 | 16 | 9385 | 0.0 | 33M| 52 | - | 595 | 27k| 0 | 0 | 230 |3083 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
291.47/291.65 c 282s|600000 | 15 | 9385 | 0.0 | 33M| 52 | - | 595 | 27k| 0 | 0 | 230 |3111 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
294.27/294.40 c 284s|610000 | 17 | 9385 | 0.0 | 33M| 52 | - | 595 | 27k| 0 | 0 | 230 |3148 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
296.98/297.14 c 287s|620000 | 15 | 9385 | 0.0 | 33M| 52 | - | 595 | 27k| 0 | 0 | 230 |3180 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
299.66/299.88 c 290s|630000 | 15 | 9385 | 0.0 | 33M| 52 | - | 595 | 27k| 0 | 0 | 230 |3226 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
302.37/302.58 c 292s|640000 | 13 | 9385 | 0.0 | 33M| 52 | - | 595 | 27k| 0 | 0 | 230 |3267 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
305.16/305.32 c 295s|650000 | 16 | 9385 | 0.0 | 33M| 58 | - | 595 | 27k| 0 | 0 | 230 |3291 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
308.06/308.20 c 298s|660000 | 16 | 9385 | 0.0 | 33M| 58 | - | 595 | 27k| 0 | 0 | 230 |3337 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
310.76/310.97 c 300s|670000 | 16 | 9385 | 0.0 | 33M| 58 | - | 595 | 27k| 0 | 0 | 230 |3361 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
313.46/313.69 c 303s|680000 | 17 | 9385 | 0.0 | 33M| 58 | - | 595 | 27k| 0 | 0 | 230 |3398 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
316.26/316.42 c 306s|690000 | 13 | 9385 | 0.0 | 33M| 58 | - | 595 | 27k| 0 | 0 | 230 |3432 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
318.96/319.12 c 308s|700000 | 17 | 9385 | 0.0 | 33M| 58 | - | 595 | 27k| 0 | 0 | 230 |3471 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
321.86/322.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
321.86/322.01 c 311s|710000 | 16 | 9385 | 0.0 | 33M| 58 | - | 595 | 27k| 0 | 0 | 230 |3504 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
324.65/324.84 c 314s|720000 | 15 | 9385 | 0.0 | 33M| 58 | - | 595 | 27k| 0 | 0 | 230 |3539 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
327.35/327.57 c 316s|730000 | 17 | 9385 | 0.0 | 33M| 58 | - | 595 | 27k| 0 | 0 | 230 |3571 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
330.16/330.38 c 319s|740000 | 16 | 9385 | 0.0 | 33M| 58 | - | 595 | 27k| 0 | 0 | 230 |3619 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
332.85/333.07 c 321s|750000 | 15 | 9385 | 0.0 | 33M| 58 | - | 595 | 27k| 0 | 0 | 230 |3671 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
335.55/335.74 c 324s|760000 | 15 | 9385 | 0.0 | 33M| 58 | - | 595 | 27k| 0 | 0 | 230 |3721 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
338.26/338.44 c 327s|770000 | 14 | 9385 | 0.0 | 33M| 58 | - | 595 | 27k| 0 | 0 | 230 |3776 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
341.05/341.24 c 329s|780000 | 17 | 9385 | 0.0 | 33M| 58 | - | 595 | 27k| 0 | 0 | 230 |3813 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
343.85/344.08 c 332s|790000 | 16 | 9385 | 0.0 | 33M| 58 | - | 595 | 27k| 0 | 0 | 230 |3864 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
346.64/346.85 c 335s|800000 | 18 | 9385 | 0.0 | 33M| 58 | - | 595 | 27k| 0 | 0 | 230 |3892 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
349.44/349.62 c 337s|810000 | 15 | 9385 | 0.0 | 33M| 58 | - | 595 | 27k| 0 | 0 | 230 |3918 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
352.15/352.39 c 340s|820000 | 17 | 9385 | 0.0 | 33M| 58 | - | 595 | 27k| 0 | 0 | 230 |3952 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
354.84/355.08 c 342s|830000 | 15 | 9385 | 0.0 | 33M| 58 | - | 595 | 27k| 0 | 0 | 230 |3983 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
357.65/357.86 c 345s|840000 | 13 | 9385 | 0.0 | 33M| 58 | - | 595 | 27k| 0 | 0 | 230 |4031 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
360.34/360.51 c 348s|850000 | 14 | 9385 | 0.0 | 33M| 58 | - | 595 | 27k| 0 | 0 | 230 |4077 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
363.04/363.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
363.04/363.24 c 350s|860000 | 16 | 9385 | 0.0 | 33M| 58 | - | 595 | 27k| 0 | 0 | 230 |4120 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
365.74/365.93 c 353s|870000 | 14 | 9385 | 0.0 | 33M| 58 | - | 595 | 27k| 0 | 0 | 230 |4144 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
368.44/368.62 c 355s|880000 | 16 | 9385 | 0.0 | 33M| 58 | - | 595 | 27k| 0 | 0 | 230 |4179 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
371.14/371.36 c 358s|890000 | 16 | 9385 | 0.0 | 33M| 58 | - | 595 | 27k| 0 | 0 | 230 |4254 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
373.85/374.08 c 361s|900000 | 14 | 9385 | 0.0 | 33M| 58 | - | 595 | 27k| 0 | 0 | 230 |4299 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
376.54/376.76 c 363s|910000 | 16 | 9385 | 0.0 | 33M| 58 | - | 595 | 27k| 0 | 0 | 230 |4353 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
379.34/379.55 c 366s|920000 | 16 | 9385 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 230 |4422 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
382.13/382.35 c 368s|930000 | 15 | 9385 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 230 |4447 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
385.04/385.20 c 371s|940000 | 13 | 9385 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 230 |4521 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
387.74/387.92 c 374s|950000 | 12 | 9385 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 230 |4565 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
390.53/390.76 c 376s|960000 | 14 | 9385 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 230 |4589 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
393.33/393.53 c 379s|970000 | 15 | 9385 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 230 |4624 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
396.03/396.21 c 382s|980000 | 14 | 9385 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 230 |4669 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
398.73/398.90 c 384s|990000 | 18 | 9385 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 230 |4725 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
401.44/401.69 c 387s| 1000k| 14 | 9385 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 230 |4758 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
404.23/404.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
404.23/404.47 c 389s| 1010k| 14 | 9385 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 230 |4790 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
407.02/407.21 c 392s| 1020k| 15 | 9385 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 230 |4845 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
409.73/409.95 c 395s| 1030k| 15 | 9385 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 230 |4872 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
412.43/412.66 c 397s| 1040k| 15 | 9385 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 230 |4929 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
415.22/415.41 c 400s| 1050k| 15 | 9385 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 230 |4986 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
418.02/418.23 c 403s| 1060k| 13 | 9385 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 230 |5072 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
420.72/420.95 c 405s| 1070k| 15 | 9385 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 230 |5111 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
423.51/423.72 c 408s| 1080k| 15 | 9385 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 230 |5149 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
426.32/426.57 c 411s| 1090k| 14 | 9385 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 230 |5208 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
429.12/429.33 c 413s| 1100k| 14 | 9385 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 230 |5240 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
431.81/432.07 c 416s| 1110k| 15 | 9385 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 230 |5280 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
434.61/434.85 c 418s| 1120k| 14 | 9385 | 0.0 | 33M| 60 | - | 595 | 27k| 0 | 0 | 230 |5312 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
437.32/437.60 c 421s| 1130k| 17 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |5335 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
440.02/440.23 c 424s| 1140k| 17 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |5362 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
442.61/442.86 c 426s| 1150k| 18 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |5390 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
445.31/445.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
445.31/445.51 c 429s| 1160k| 15 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |5414 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
447.91/448.17 c 431s| 1170k| 15 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |5443 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
450.51/450.76 c 434s| 1180k| 13 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |5482 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
453.12/453.39 c 436s| 1190k| 15 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |5510 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
455.81/456.00 c 439s| 1200k| 15 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |5558 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
458.40/458.63 c 441s| 1210k| 16 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |5585 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
461.01/461.22 c 443s| 1220k| 13 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |5620 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
463.60/463.82 c 446s| 1230k| 16 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |5653 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
466.21/466.47 c 448s| 1240k| 17 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |5688 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
468.90/469.10 c 451s| 1250k| 15 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |5739 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
471.50/471.72 c 453s| 1260k| 17 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |5771 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
474.10/474.30 c 456s| 1270k| 16 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |5817 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
476.70/476.92 c 458s| 1280k| 14 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |5852 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
479.30/479.56 c 461s| 1290k| 16 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |5881 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
481.90/482.18 c 463s| 1300k| 16 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |5908 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
482.89/483.19 o -27
482.89/483.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
482.89/483.19 c * 464s| 1303k| 17 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |5933 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
484.60/484.84 c 466s| 1310k| 16 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |5982 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
487.30/487.58 c 468s| 1320k| 15 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |6014 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
489.89/490.15 c 471s| 1330k| 15 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |6053 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
492.60/492.87 c 473s| 1340k| 15 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |6087 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
495.39/495.60 c 476s| 1350k| 17 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |6116 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
498.09/498.33 c 479s| 1360k| 16 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |6170 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
500.78/501.07 c 481s| 1370k| 17 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |6213 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
503.48/503.79 c 484s| 1380k| 14 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |6253 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
506.28/506.53 c 486s| 1390k| 16 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |6286 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
508.98/509.24 c 489s| 1400k| 17 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |6346 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
511.78/512.01 c 492s| 1410k| 15 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |6390 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
514.48/514.70 c 494s| 1420k| 16 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |6438 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
517.18/517.47 c 497s| 1430k| 14 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |6481 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
519.98/520.25 c 500s| 1440k| 15 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |6509 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
522.78/523.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
522.78/523.04 c 502s| 1450k| 16 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |6554 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
525.58/525.87 c 505s| 1460k| 15 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |6612 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
528.37/528.63 c 508s| 1470k| 14 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |6644 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
531.08/531.33 c 510s| 1480k| 15 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |6670 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
533.87/534.11 c 513s| 1490k| 16 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |6714 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
536.47/536.80 c 515s| 1500k| 15 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |6749 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
539.27/539.50 c 518s| 1510k| 16 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |6810 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
541.97/542.23 c 520s| 1520k| 15 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |6847 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
544.77/545.05 c 523s| 1530k| 15 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |6896 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
547.58/547.84 c 526s| 1540k| 15 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |6945 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
550.46/550.70 c 529s| 1550k| 16 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |6999 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
553.27/553.55 c 531s| 1560k| 13 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |7027 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
556.06/556.31 c 534s| 1570k| 14 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |7062 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
558.86/559.12 c 537s| 1580k| 14 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |7096 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
561.66/561.94 c 539s| 1590k| 15 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |7145 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
564.36/564.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
564.36/564.68 c 542s| 1600k| 14 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |7186 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
567.16/567.41 c 544s| 1610k| 16 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |7234 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
569.86/570.17 c 547s| 1620k| 14 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |7291 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
572.66/572.95 c 550s| 1630k| 14 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |7328 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
575.45/575.71 c 552s| 1640k| 17 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |7375 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
578.26/578.52 c 555s| 1650k| 17 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |7398 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
581.06/581.34 c 558s| 1660k| 17 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |7426 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
583.65/583.99 c 560s| 1670k| 15 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |7481 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
586.45/586.77 c 563s| 1680k| 16 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |7517 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
589.35/589.65 c 566s| 1690k| 16 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |7542 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
592.15/592.47 c 568s| 1700k| 15 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |7569 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
594.96/595.25 c 571s| 1710k| 17 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |7599 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
597.75/598.06 c 574s| 1720k| 14 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |7646 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
600.64/600.90 c 576s| 1730k| 14 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |7669 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
603.44/603.71 c 579s| 1740k| 19 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |7704 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
606.14/606.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
606.14/606.44 c 582s| 1750k| 14 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |7738 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
608.94/609.24 c 584s| 1760k| 16 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |7820 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
611.74/612.06 c 587s| 1770k| 15 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |7865 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
614.55/614.87 c 590s| 1780k| 13 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |7921 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
617.44/617.70 c 592s| 1790k| 16 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |7949 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
620.25/620.58 c 595s| 1800k| 16 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |7979 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
623.14/623.49 c 598s| 1810k| 14 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |8017 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
626.03/626.31 c 601s| 1820k| 14 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |8051 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
628.84/629.12 c 603s| 1830k| 17 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |8095 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
631.64/631.93 c 606s| 1840k| 15 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |8136 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
634.45/634.73 c 609s| 1850k| 15 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |8181 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
637.24/637.58 c 611s| 1860k| 16 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |8218 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
640.13/640.43 c 614s| 1870k| 16 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |8265 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
643.03/643.30 c 617s| 1880k| 16 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |8318 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
645.73/646.05 c 619s| 1890k| 18 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |8355 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
648.53/648.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
648.53/648.86 c 622s| 1900k| 16 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |8389 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
651.33/651.64 c 625s| 1910k| 18 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |8436 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
654.13/654.41 c 627s| 1920k| 15 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |8505 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
656.82/657.15 c 630s| 1930k| 16 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |8541 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
659.63/659.96 c 633s| 1940k| 15 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |8587 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
662.52/662.84 c 635s| 1950k| 17 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |8624 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
665.33/665.66 c 638s| 1960k| 15 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |8650 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
668.12/668.47 c 641s| 1970k| 17 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |8698 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
670.92/671.22 c 643s| 1980k| 15 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |8726 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
673.72/674.07 c 646s| 1990k| 15 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |8780 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
676.62/676.91 c 649s| 2000k| 17 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |8815 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
679.42/679.74 c 652s| 2010k| 15 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |8835 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
682.22/682.56 c 654s| 2020k| 14 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |8871 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
685.02/685.37 c 657s| 2030k| 13 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |8889 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
687.92/688.25 c 660s| 2040k| 17 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |8927 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
690.81/691.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
690.81/691.12 c 662s| 2050k| 16 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |8966 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
693.61/693.94 c 665s| 2060k| 17 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |9005 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
696.41/696.70 c 668s| 2070k| 16 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |9042 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
699.11/699.47 c 670s| 2080k| 16 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |9086 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
701.91/702.27 c 673s| 2090k| 15 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |9110 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
704.82/705.10 c 676s| 2100k| 16 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |9145 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
707.61/707.91 c 678s| 2110k| 16 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |9178 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
710.42/710.77 c 681s| 2120k| 15 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |9212 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
713.30/713.60 c 684s| 2130k| 15 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |9246 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
716.20/716.54 c 687s| 2140k| 16 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |9270 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
719.00/719.36 c 689s| 2150k| 18 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |9307 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
721.80/722.19 c 692s| 2160k| 15 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |9331 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
724.80/725.15 c 695s| 2170k| 16 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |9360 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
727.80/728.15 c 698s| 2180k| 16 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |9397 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
730.80/731.10 c 701s| 2190k| 16 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |9440 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
733.70/734.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
733.70/734.00 c 703s| 2200k| 15 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |9474 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
736.59/736.92 c 706s| 2210k| 13 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |9501 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
739.39/739.80 c 709s| 2220k| 15 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |9533 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
742.30/742.66 c 712s| 2230k| 16 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |9566 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
745.09/745.47 c 714s| 2240k| 14 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |9643 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
747.89/748.22 c 717s| 2250k| 14 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |9679 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
750.69/751.02 c 720s| 2260k| 14 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |9721 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
753.49/753.81 c 722s| 2270k| 15 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |9760 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
756.19/756.57 c 725s| 2280k| 16 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |9798 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
758.99/759.39 c 728s| 2290k| 16 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |9834 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
761.89/762.20 c 730s| 2300k| 15 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |9877 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
764.69/765.03 c 733s| 2310k| 16 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |9942 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
767.49/767.82 c 736s| 2320k| 16 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 |9980 | 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
770.19/770.56 c 738s| 2330k| 14 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 | 10k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
772.99/773.32 c 741s| 2340k| 17 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 | 10k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
775.78/776.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
775.78/776.12 c 743s| 2350k| 15 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 | 10k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
778.49/778.89 c 746s| 2360k| 16 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 | 10k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
781.37/781.71 c 749s| 2370k| 14 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 | 10k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
784.08/784.48 c 751s| 2380k| 15 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 | 10k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
786.78/787.14 c 754s| 2390k| 15 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 | 10k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
789.37/789.80 c 756s| 2400k| 15 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 | 10k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
792.17/792.50 c 759s| 2410k| 17 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 | 10k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
794.88/795.29 c 762s| 2420k| 17 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 | 10k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
797.68/798.03 c 764s| 2430k| 16 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 | 10k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
800.37/800.79 c 767s| 2440k| 15 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 | 10k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
803.27/803.67 c 770s| 2450k| 14 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 | 10k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
806.17/806.58 c 772s| 2460k| 15 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 | 10k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
809.07/809.43 c 775s| 2470k| 15 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 | 10k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
811.87/812.25 c 778s| 2480k| 16 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 | 10k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
814.77/815.20 c 781s| 2490k| 13 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 | 10k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
817.76/818.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
817.76/818.10 c 783s| 2500k| 14 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 | 10k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
820.66/821.00 c 786s| 2510k| 14 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 | 10k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
823.46/823.87 c 789s| 2520k| 15 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 | 10k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
826.35/826.73 c 792s| 2530k| 15 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 | 10k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
829.17/829.52 c 794s| 2540k| 17 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 | 10k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
831.85/832.27 c 797s| 2550k| 16 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 | 11k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
834.67/835.08 c 800s| 2560k| 15 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 | 11k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
837.45/837.89 c 802s| 2570k| 16 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 | 11k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
840.35/840.76 c 805s| 2580k| 17 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 | 11k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
843.25/843.65 c 808s| 2590k| 14 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 | 11k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
846.15/846.52 c 811s| 2600k| 18 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 | 11k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
848.96/849.35 c 813s| 2610k| 16 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 | 11k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
851.75/852.13 c 816s| 2620k| 16 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 | 11k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
854.55/854.94 c 819s| 2630k| 14 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 | 11k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
857.45/857.81 c 821s| 2640k| 15 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 | 11k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
860.24/860.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
860.24/860.65 c 824s| 2650k| 16 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 | 11k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
863.05/863.45 c 827s| 2660k| 16 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 | 11k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
865.94/866.37 c 830s| 2670k| 13 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 | 11k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
868.76/869.13 c 832s| 2680k| 14 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 | 11k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
871.45/871.86 c 835s| 2690k| 13 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 | 11k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
874.25/874.66 c 837s| 2700k| 15 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 | 11k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
877.14/877.55 c 840s| 2710k| 17 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 | 11k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
880.03/880.43 c 843s| 2720k| 17 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 | 11k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
882.94/883.34 c 846s| 2730k| 20 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 | 11k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
885.73/886.17 c 848s| 2740k| 16 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 | 12k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
888.64/889.06 c 851s| 2750k| 17 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 | 12k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
891.43/891.86 c 854s| 2760k| 14 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 | 12k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
894.24/894.69 c 857s| 2770k| 16 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 | 12k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
897.04/897.47 c 859s| 2780k| 16 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 | 12k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
899.83/900.27 c 862s| 2790k| 15 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 | 12k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
902.63/903.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
902.63/903.03 c 864s| 2800k| 17 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 | 12k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
905.43/905.80 c 867s| 2810k| 17 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 | 12k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
908.13/908.58 c 870s| 2820k| 15 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 | 12k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
911.03/911.41 c 872s| 2830k| 15 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 | 12k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
913.84/914.26 c 875s| 2840k| 14 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 | 12k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
916.63/917.10 c 878s| 2850k| 16 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 | 12k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
919.53/919.94 c 881s| 2860k| 15 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 | 12k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
922.42/922.90 c 883s| 2870k| 13 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 | 12k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
925.32/925.74 c 886s| 2880k| 15 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 | 12k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
928.03/928.50 c 889s| 2890k| 14 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 | 12k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
930.92/931.30 c 891s| 2900k| 16 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 | 12k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
933.62/934.09 c 894s| 2910k| 15 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 | 12k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
936.52/936.90 c 897s| 2920k| 13 | 9385 | 0.0 | 33M| 64 | - | 595 | 27k| 0 | 0 | 230 | 12k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
939.31/939.79 c 900s| 2930k| 14 | 9385 | 0.0 | 33M| 66 | - | 595 | 27k| 0 | 0 | 230 | 12k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
942.11/942.52 c 902s| 2940k| 13 | 9385 | 0.0 | 33M| 66 | - | 595 | 27k| 0 | 0 | 230 | 12k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
944.82/945.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
944.82/945.27 c 905s| 2950k| 13 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 12k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
947.61/948.05 c 907s| 2960k| 16 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 12k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
950.51/950.91 c 910s| 2970k| 14 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 12k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
953.32/953.79 c 913s| 2980k| 15 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 12k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
956.21/956.65 c 916s| 2990k| 14 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 12k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
959.00/959.42 c 918s| 3000k| 15 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 12k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
961.81/962.27 c 921s| 3010k| 16 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 12k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
964.80/965.23 c 924s| 3020k| 15 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 13k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
967.61/968.01 c 926s| 3030k| 18 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 13k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
970.30/970.74 c 929s| 3040k| 15 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 13k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
973.01/973.50 c 932s| 3050k| 16 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 13k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
975.91/976.33 c 934s| 3060k| 13 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 13k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
978.71/979.19 c 937s| 3070k| 14 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 13k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
981.70/982.10 c 940s| 3080k| 13 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 13k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
984.50/984.95 c 943s| 3090k| 15 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 13k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
987.20/987.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
987.20/987.66 c 945s| 3100k| 17 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 13k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
989.90/990.37 c 948s| 3110k| 13 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 13k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
992.69/993.19 c 950s| 3120k| 14 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 13k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
995.50/995.97 c 953s| 3130k| 17 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 13k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
998.40/998.84 c 956s| 3140k| 16 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 13k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1001.19/1001.64 c 959s| 3150k| 17 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 13k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1004.00/1004.46 c 961s| 3160k| 15 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 13k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1006.90/1007.31 c 964s| 3170k| 14 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 13k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1009.69/1010.12 c 967s| 3180k| 16 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 13k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1012.49/1012.94 c 969s| 3190k| 15 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 13k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1015.29/1015.71 c 972s| 3200k| 15 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 13k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1017.99/1018.48 c 975s| 3210k| 18 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 13k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1020.78/1021.24 c 977s| 3220k| 15 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 13k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1023.59/1024.00 c 980s| 3230k| 19 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 13k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1026.39/1026.83 c 983s| 3240k| 16 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 13k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1029.08/1029.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1029.08/1029.59 c 985s| 3250k| 17 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 13k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1031.88/1032.34 c 988s| 3260k| 16 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 13k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1034.69/1035.17 c 990s| 3270k| 15 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 13k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1037.48/1037.96 c 993s| 3280k| 15 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 13k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1040.38/1040.82 c 996s| 3290k| 15 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 14k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1043.08/1043.57 c 998s| 3300k| 17 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 14k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1045.88/1046.31 c 1001s| 3310k| 14 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 14k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1048.58/1049.09 c 1004s| 3320k| 17 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 14k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1051.37/1051.82 c 1006s| 3330k| 17 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 14k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1054.18/1054.62 c 1009s| 3340k| 16 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 14k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1057.07/1057.53 c 1012s| 3350k| 14 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 14k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1060.08/1060.56 c 1015s| 3360k| 16 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 14k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1062.97/1063.49 c 1017s| 3370k| 15 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 14k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1065.86/1066.39 c 1020s| 3380k| 16 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 14k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1068.87/1069.31 c 1023s| 3390k| 14 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 14k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1071.67/1072.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1071.67/1072.13 c 1026s| 3400k| 15 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 14k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1074.47/1074.93 c 1028s| 3410k| 12 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 14k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1077.27/1077.71 c 1031s| 3420k| 16 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 14k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1079.96/1080.48 c 1034s| 3430k| 15 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 14k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1082.76/1083.24 c 1036s| 3440k| 13 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 14k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1085.65/1086.11 c 1039s| 3450k| 16 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 14k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1088.46/1088.96 c 1042s| 3460k| 15 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 14k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1091.26/1091.79 c 1044s| 3470k| 16 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 14k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1094.07/1094.57 c 1047s| 3480k| 15 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 14k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1096.86/1097.32 c 1050s| 3490k| 18 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 14k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1099.66/1100.13 c 1052s| 3500k| 14 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 14k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1102.35/1102.87 c 1055s| 3510k| 15 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 14k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1105.16/1105.68 c 1058s| 3520k| 13 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 14k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1107.95/1108.46 c 1060s| 3530k| 15 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 15k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1110.85/1111.32 c 1063s| 3540k| 15 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 15k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1113.65/1114.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1113.65/1114.16 c 1066s| 3550k| 13 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 15k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1116.44/1116.98 c 1068s| 3560k| 16 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 15k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1119.25/1119.74 c 1071s| 3570k| 16 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 15k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1121.94/1122.47 c 1074s| 3580k| 15 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 15k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1124.65/1125.19 c 1076s| 3590k| 18 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 15k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1127.34/1127.88 c 1079s| 3600k| 15 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 15k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1130.04/1130.56 c 1081s| 3610k| 15 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 15k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1132.74/1133.23 c 1084s| 3620k| 17 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 15k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1135.64/1136.10 c 1087s| 3630k| 17 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 15k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1138.33/1138.85 c 1089s| 3640k| 14 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 15k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1141.03/1141.53 c 1092s| 3650k| 15 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 15k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1143.64/1144.16 c 1094s| 3660k| 18 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 15k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1146.24/1146.80 c 1097s| 3670k| 17 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 15k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1148.93/1149.48 c 1099s| 3680k| 15 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 15k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1151.74/1152.27 c 1102s| 3690k| 16 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 15k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1154.54/1155.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1154.54/1155.01 c 1105s| 3700k| 16 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 15k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1157.23/1157.74 c 1107s| 3710k| 15 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 15k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1160.03/1160.51 c 1110s| 3720k| 14 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 15k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1162.73/1163.23 c 1112s| 3730k| 16 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 15k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1165.42/1165.96 c 1115s| 3740k| 17 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 15k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1168.13/1168.69 c 1118s| 3750k| 17 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 15k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1171.04/1171.53 c 1120s| 3760k| 14 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 15k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1173.83/1174.34 c 1123s| 3770k| 15 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 15k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1176.53/1177.05 c 1126s| 3780k| 13 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 15k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1179.22/1179.79 c 1128s| 3790k| 15 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 15k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1182.03/1182.55 c 1131s| 3800k| 17 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 16k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1184.82/1185.31 c 1134s| 3810k| 14 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 16k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1187.42/1187.93 c 1136s| 3820k| 15 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 16k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1190.12/1190.64 c 1139s| 3830k| 16 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 16k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1192.92/1193.45 c 1141s| 3840k| 15 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 16k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1195.72/1196.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1195.72/1196.21 c 1144s| 3850k| 15 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 16k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1198.42/1198.90 c 1146s| 3860k| 15 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 16k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1201.01/1201.51 c 1149s| 3870k| 19 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 16k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1203.62/1204.19 c 1152s| 3880k| 16 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 16k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1206.32/1206.89 c 1154s| 3890k| 17 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 16k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1209.01/1209.58 c 1157s| 3900k| 16 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 16k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1211.71/1212.22 c 1159s| 3910k| 15 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 16k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1214.51/1215.00 c 1162s| 3920k| 17 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 16k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1217.22/1217.71 c 1164s| 3930k| 15 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 16k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1219.91/1220.43 c 1167s| 3940k| 20 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 16k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1222.61/1223.12 c 1170s| 3950k| 14 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 16k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1225.30/1225.83 c 1172s| 3960k| 13 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 16k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1228.00/1228.58 c 1175s| 3970k| 15 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 16k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1230.70/1231.26 c 1177s| 3980k| 16 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 16k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1233.40/1233.96 c 1180s| 3990k| 14 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 16k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1236.11/1236.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1236.11/1236.62 c 1182s| 4000k| 14 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 16k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1238.90/1239.40 c 1185s| 4010k| 16 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 16k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1241.60/1242.17 c 1188s| 4020k| 16 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 16k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1244.60/1245.12 c 1190s| 4030k| 14 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 16k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1247.49/1248.02 c 1193s| 4040k| 16 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 16k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1250.30/1250.85 c 1196s| 4050k| 16 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 17k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1253.19/1253.76 c 1199s| 4060k| 15 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 17k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1256.10/1256.63 c 1201s| 4070k| 18 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 17k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1258.89/1259.40 c 1204s| 4080k| 15 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 17k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1261.59/1262.17 c 1207s| 4090k| 15 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 17k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1264.39/1264.99 c 1209s| 4100k| 16 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 17k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1267.19/1267.77 c 1212s| 4110k| 17 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 17k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1270.00/1270.57 c 1215s| 4120k| 16 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 17k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1272.79/1273.35 c 1217s| 4130k| 17 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 17k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1275.49/1276.05 c 1220s| 4140k| 13 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 17k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1278.28/1278.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1278.28/1278.84 c 1223s| 4150k| 15 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 17k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1281.09/1281.65 c 1225s| 4160k| 13 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 17k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1283.89/1284.41 c 1228s| 4170k| 16 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 17k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1286.79/1287.31 c 1231s| 4180k| 17 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 17k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1289.58/1290.16 c 1233s| 4190k| 18 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 17k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1292.28/1292.88 c 1236s| 4200k| 15 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 17k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1295.08/1295.63 c 1239s| 4210k| 17 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 17k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1297.97/1298.51 c 1241s| 4220k| 14 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 17k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1300.79/1301.35 c 1244s| 4230k| 16 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 17k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1303.67/1304.20 c 1247s| 4240k| 15 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 17k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1306.38/1306.94 c 1249s| 4250k| 15 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 17k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1309.17/1309.76 c 1252s| 4260k| 15 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 17k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1311.88/1312.48 c 1255s| 4270k| 15 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 17k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1314.77/1315.31 c 1257s| 4280k| 17 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 17k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1317.57/1318.12 c 1260s| 4290k| 16 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 17k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1320.37/1320.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1320.37/1320.97 c 1263s| 4300k| 15 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 17k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1323.17/1323.79 c 1265s| 4310k| 15 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 17k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1325.97/1326.58 c 1268s| 4320k| 16 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 18k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1328.66/1329.25 c 1271s| 4330k| 15 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 18k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1331.37/1331.98 c 1273s| 4340k| 15 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 18k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1334.16/1334.78 c 1276s| 4350k| 14 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 18k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1336.97/1337.58 c 1279s| 4360k| 14 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 18k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1339.86/1340.43 c 1281s| 4370k| 15 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 18k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1342.57/1343.15 c 1284s| 4380k| 15 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 18k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1345.36/1345.90 c 1286s| 4390k| 13 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 18k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1348.07/1348.67 c 1289s| 4400k| 13 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 18k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1350.86/1351.42 c 1292s| 4410k| 16 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 18k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1353.57/1354.17 c 1294s| 4420k| 15 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 18k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1356.46/1357.01 c 1297s| 4430k| 17 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 18k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1359.16/1359.79 c 1300s| 4440k| 12 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 18k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1361.95/1362.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1361.95/1362.53 c 1302s| 4450k| 15 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 18k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1364.66/1365.27 c 1305s| 4460k| 16 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 18k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1367.55/1368.13 c 1308s| 4470k| 16 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 18k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1370.45/1371.03 c 1310s| 4480k| 14 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 18k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1373.36/1373.94 c 1313s| 4490k| 14 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 18k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1376.15/1376.76 c 1316s| 4500k| 17 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 18k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1378.95/1379.53 c 1318s| 4510k| 16 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 18k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1381.74/1382.34 c 1321s| 4520k| 13 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 18k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1384.75/1385.31 c 1324s| 4530k| 15 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 18k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1387.44/1388.09 c 1327s| 4540k| 15 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 18k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1390.14/1390.79 c 1329s| 4550k| 16 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 19k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1393.04/1393.62 c 1332s| 4560k| 13 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 19k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1395.84/1396.45 c 1335s| 4570k| 16 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 19k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1398.75/1399.33 c 1337s| 4580k| 14 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 19k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1401.54/1402.16 c 1340s| 4590k| 15 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 19k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1404.44/1405.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1404.44/1405.01 c 1343s| 4600k| 18 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 19k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1407.33/1407.91 c 1346s| 4610k| 14 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 19k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1410.23/1410.80 c 1348s| 4620k| 16 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 19k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1412.94/1413.59 c 1351s| 4630k| 12 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 19k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1415.74/1416.37 c 1354s| 4640k| 14 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 19k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1418.63/1419.20 c 1356s| 4650k| 15 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 19k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1421.43/1422.04 c 1359s| 4660k| 14 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 19k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1424.13/1424.79 c 1362s| 4670k| 17 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 19k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1427.03/1427.63 c 1364s| 4680k| 15 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 19k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1429.93/1430.51 c 1367s| 4690k| 14 | 9385 | 0.0 | 33M| 69 | - | 595 | 27k| 0 | 0 | 230 | 19k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1432.73/1433.39 c 1370s| 4700k| 16 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 19k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1435.62/1436.22 c 1372s| 4710k| 17 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 19k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1438.43/1439.09 c 1375s| 4720k| 16 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 19k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1441.32/1441.92 c 1378s| 4730k| 15 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 19k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1444.22/1444.82 c 1381s| 4740k| 14 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 19k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1447.12/1447.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1447.12/1447.72 c 1383s| 4750k| 15 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 19k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1450.02/1450.64 c 1386s| 4760k| 13 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 19k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1453.02/1453.62 c 1389s| 4770k| 14 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 19k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1455.92/1456.54 c 1392s| 4780k| 14 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 19k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1458.80/1459.47 c 1395s| 4790k| 14 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 19k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1461.61/1462.25 c 1397s| 4800k| 16 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 19k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1464.40/1465.04 c 1400s| 4810k| 15 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 20k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1467.21/1467.84 c 1403s| 4820k| 16 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 20k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1470.12/1470.71 c 1405s| 4830k| 16 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 20k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1472.80/1473.48 c 1408s| 4840k| 17 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 20k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1475.61/1476.24 c 1411s| 4850k| 17 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 20k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1478.41/1479.03 c 1413s| 4860k| 17 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 20k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1481.11/1481.80 c 1416s| 4870k| 16 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 20k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1484.00/1484.62 c 1419s| 4880k| 14 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 20k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1486.80/1487.40 c 1421s| 4890k| 13 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 20k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1489.60/1490.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1489.60/1490.20 c 1424s| 4900k| 13 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 20k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1492.40/1493.05 c 1427s| 4910k| 15 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 20k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1495.19/1495.85 c 1429s| 4920k| 17 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 20k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1498.09/1498.70 c 1432s| 4930k| 15 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 20k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1500.90/1501.59 c 1435s| 4940k| 15 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 20k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1503.80/1504.47 c 1438s| 4950k| 15 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 20k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1506.69/1507.37 c 1440s| 4960k| 15 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 20k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1509.59/1510.29 c 1443s| 4970k| 14 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 20k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1512.59/1513.24 c 1446s| 4980k| 15 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 20k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1515.48/1516.13 c 1449s| 4990k| 14 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 20k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1518.39/1519.07 c 1452s| 5000k| 16 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 20k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1521.38/1522.04 c 1454s| 5010k| 14 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 20k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1524.18/1524.87 c 1457s| 5020k| 16 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 20k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1526.99/1527.67 c 1460s| 5030k| 14 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 21k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1529.89/1530.52 c 1462s| 5040k| 15 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 21k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1532.68/1533.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1532.68/1533.30 c 1465s| 5050k| 14 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 21k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1535.48/1536.10 c 1468s| 5060k| 17 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 21k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1538.28/1538.93 c 1470s| 5070k| 13 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 21k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1541.08/1541.75 c 1473s| 5080k| 15 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 21k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1543.89/1544.55 c 1476s| 5090k| 14 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 21k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1546.78/1547.40 c 1479s| 5100k| 16 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 21k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1549.58/1550.21 c 1481s| 5110k| 14 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 21k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1552.37/1553.02 c 1484s| 5120k| 12 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 21k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1555.28/1555.94 c 1487s| 5130k| 16 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 21k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1558.08/1558.77 c 1489s| 5140k| 15 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 21k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1560.77/1561.46 c 1492s| 5150k| 15 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 21k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1563.68/1564.35 c 1495s| 5160k| 14 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 21k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1566.47/1567.17 c 1497s| 5170k| 17 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 21k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1569.37/1570.01 c 1500s| 5180k| 15 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 21k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1572.17/1572.83 c 1503s| 5190k| 14 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 21k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1574.97/1575.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1574.97/1575.62 c 1505s| 5200k| 14 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 21k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1577.77/1578.43 c 1508s| 5210k| 14 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 21k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1580.57/1581.22 c 1511s| 5220k| 16 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 21k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1583.37/1584.05 c 1513s| 5230k| 15 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 21k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1586.06/1586.79 c 1516s| 5240k| 14 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 21k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1588.87/1589.59 c 1519s| 5250k| 15 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 21k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1591.76/1592.48 c 1522s| 5260k| 13 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 21k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1594.56/1595.25 c 1524s| 5270k| 17 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 21k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1597.45/1598.11 c 1527s| 5280k| 16 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 21k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1600.15/1600.84 c 1530s| 5290k| 14 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 21k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1602.85/1603.58 c 1532s| 5300k| 16 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 22k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1605.65/1606.32 c 1535s| 5310k| 13 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 22k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1608.55/1609.20 c 1537s| 5320k| 14 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 22k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1611.35/1612.06 c 1540s| 5330k| 12 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 22k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1614.05/1614.79 c 1543s| 5340k| 14 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 22k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1616.95/1617.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1616.95/1617.61 c 1545s| 5350k| 14 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 22k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1619.76/1620.45 c 1548s| 5360k| 14 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 22k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1622.55/1623.20 c 1551s| 5370k| 15 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 22k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1625.35/1626.03 c 1554s| 5380k| 15 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 22k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1628.14/1628.84 c 1556s| 5390k| 16 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 22k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1630.85/1631.58 c 1559s| 5400k| 13 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 22k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1633.65/1634.33 c 1561s| 5410k| 14 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 22k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1636.45/1637.15 c 1564s| 5420k| 13 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 22k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1639.25/1639.96 c 1567s| 5430k| 15 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 22k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1642.04/1642.75 c 1569s| 5440k| 17 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 22k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1644.84/1645.51 c 1572s| 5450k| 15 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 22k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1647.63/1648.34 c 1575s| 5460k| 17 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 22k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1650.55/1651.22 c 1578s| 5470k| 16 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 22k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1653.54/1654.20 c 1580s| 5480k| 15 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 22k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1656.34/1657.09 c 1583s| 5490k| 14 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 22k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1659.24/1659.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1659.24/1659.94 c 1586s| 5500k| 16 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 22k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1662.13/1662.82 c 1589s| 5510k| 16 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 22k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1664.93/1665.65 c 1591s| 5520k| 15 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 22k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1667.73/1668.49 c 1594s| 5530k| 17 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 22k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1670.63/1671.31 c 1597s| 5540k| 17 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 22k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1673.33/1674.06 c 1599s| 5550k| 17 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 22k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1676.23/1676.90 c 1602s| 5560k| 18 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 22k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1679.03/1679.76 c 1605s| 5570k| 17 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 22k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1681.83/1682.59 c 1608s| 5580k| 15 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 22k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1684.72/1685.43 c 1610s| 5590k| 15 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 22k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1687.52/1688.28 c 1613s| 5600k| 16 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 23k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1690.43/1691.18 c 1616s| 5610k| 15 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 23k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1693.33/1694.06 c 1618s| 5620k| 17 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 23k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1696.22/1696.96 c 1621s| 5630k| 18 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 23k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1699.12/1699.89 c 1624s| 5640k| 14 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 23k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1702.02/1702.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1702.02/1702.72 c 1627s| 5650k| 17 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 23k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1704.81/1705.59 c 1629s| 5660k| 15 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 23k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1707.72/1708.48 c 1632s| 5670k| 14 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 23k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1710.52/1711.27 c 1635s| 5680k| 17 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 23k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1713.32/1714.07 c 1638s| 5690k| 15 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 23k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1716.11/1716.82 c 1640s| 5700k| 17 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 23k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1718.91/1719.62 c 1643s| 5710k| 16 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 23k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1721.71/1722.48 c 1646s| 5720k| 16 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 23k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1724.61/1725.32 c 1648s| 5730k| 16 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 23k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1727.41/1728.14 c 1651s| 5740k| 13 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 23k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1730.31/1731.05 c 1654s| 5750k| 15 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 23k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1733.01/1733.78 c 1656s| 5760k| 15 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 23k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1735.80/1736.52 c 1659s| 5770k| 13 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 23k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1738.61/1739.35 c 1662s| 5780k| 16 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 23k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1741.40/1742.18 c 1664s| 5790k| 17 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 23k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1744.30/1745.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1744.30/1745.03 c 1667s| 5800k| 14 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 23k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1747.10/1747.87 c 1670s| 5810k| 16 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 23k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1750.00/1750.77 c 1673s| 5820k| 15 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 23k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1752.90/1753.67 c 1675s| 5830k| 16 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 23k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1755.70/1756.47 c 1678s| 5840k| 15 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 23k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1758.60/1759.37 c 1681s| 5850k| 15 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 24k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1761.50/1762.24 c 1683s| 5860k| 16 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 24k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1764.29/1765.08 c 1686s| 5870k| 15 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 24k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1767.19/1767.95 c 1689s| 5880k| 15 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 24k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1770.09/1770.85 c 1692s| 5890k| 14 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 24k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1772.99/1773.73 c 1694s| 5900k| 15 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 24k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1775.79/1776.57 c 1697s| 5910k| 17 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 24k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1778.68/1779.47 c 1700s| 5920k| 15 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 24k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1781.68/1782.40 c 1703s| 5930k| 16 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 24k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1784.48/1785.24 c 1705s| 5940k| 13 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 24k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1787.29/1788.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1787.29/1788.05 c 1708s| 5950k| 16 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 24k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1790.09/1790.87 c 1711s| 5960k| 16 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 24k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1792.97/1793.72 c 1713s| 5970k| 17 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 24k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1795.78/1796.56 c 1716s| 5980k| 15 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 24k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1798.67/1799.42 c 1719s| 5990k| 17 | 9385 | 0.0 | 33M| 70 | - | 595 | 27k| 0 | 0 | 230 | 24k| 33 |-3.500000e+01 |-2.700000e+01 | 22.86%
1800.09/1800.81 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.09/1800.81 c
1800.09/1800.81 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.81 c Solving Time (sec) : 1720.23
1800.09/1800.81 c Solving Nodes : 5994855
1800.09/1800.81 c Primal Bound : -2.70000000000000e+01 (15 solutions)
1800.09/1800.81 c Dual Bound : -3.49999999999999e+01
1800.09/1800.81 c Gap : 22.86 %
1800.09/1800.83 s SATISFIABLE
1800.09/1800.83 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28
1800.09/1800.83 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53
1800.09/1800.83 v -x54 -x55 -x56 -x57 -x58 -x59 x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78
1800.09/1800.83 v -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103
1800.09/1800.83 v -x104 -x105 -x106 -x107 x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124
1800.09/1800.83 v x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 -x145
1800.09/1800.83 v -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 -x163 -x164 -x165 -x166
1800.09/1800.83 v -x167 -x168 -x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187
1800.09/1800.83 v -x188 -x189 x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208
1800.09/1800.83 v -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229
1800.09/1800.83 v -x230 -x231 -x232 -x233 -x234 -x235 x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 x248 -x249 -x250
1800.09/1800.83 v -x251 -x252 -x253 -x254 -x255 x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271
1800.09/1800.83 v -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292
1800.09/1800.83 v -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 x309 -x310 -x311 -x312 -x313
1800.09/1800.83 v -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334
1800.09/1800.83 v -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 -x354 -x355
1800.09/1800.83 v -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376
1800.09/1800.83 v -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396
1800.09/1800.83 v -x397 x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417
1800.09/1800.83 v -x418 x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 x438 -x439
1800.09/1800.83 v -x440 -x441 -x442 -x443 -x444 -x445 -x446 x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460
1800.09/1800.83 v -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 x475 -x476 -x477 x478 -x479 -x480 -x481
1800.09/1800.83 v -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502
1800.09/1800.83 v -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 x519 -x520 -x521 -x522 -x523
1800.09/1800.83 v -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 x541 -x542 -x543 -x544
1800.09/1800.83 v -x545 x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 x564 -x565
1800.09/1800.83 v -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586
1800.09/1800.83 v -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595
1800.09/1800.83 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.83 c Solving Time : 1720.23
1800.09/1800.83 c Original Problem :
1800.09/1800.83 c Problem name : HOME/instance-2665498-1276516722.opb
1800.09/1800.83 c Variables : 595 (595 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.83 c Constraints : 27847 initial, 27847 maximal
1800.09/1800.83 c Presolved Problem :
1800.09/1800.83 c Problem name : t_HOME/instance-2665498-1276516722.opb
1800.09/1800.83 c Variables : 595 (595 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.83 c Constraints : 27847 initial, 27883 maximal
1800.09/1800.83 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.09/1800.83 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.83 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.83 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.83 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.83 c implics : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.83 c probing : 0.62 0 0 0 0 0 0 0 0
1800.09/1800.83 c logicor : 0.08 0 0 0 0 0 0 0 0
1800.09/1800.83 c root node : - 0 - - 0 - - - -
1800.09/1800.83 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.09/1800.83 c integral : 0 0 0 1 0 0 0 0 0 2
1800.09/1800.83 c logicor : 27847+ 27 6213724 0 5 542850 12715724 0 0 0
1800.09/1800.83 c countsols : 0 0 0 0 5 0 0 0 0 0
1800.09/1800.83 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.09/1800.83 c integral : 69.93 0.00 0.00 69.93 0.00
1800.09/1800.83 c logicor : 537.95 0.16 537.78 0.00 0.01
1800.09/1800.83 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.09/1800.83 c Propagators : Time Calls Cutoffs DomReds
1800.09/1800.83 c vbounds : 4.76 2 0 0
1800.09/1800.83 c rootredcost : 4.60 5 0 0
1800.09/1800.83 c pseudoobj : 448.26 9469327 2264816 3631521
1800.09/1800.83 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.09/1800.83 c propagation : 286.14 542850 24635 24635 38.6 0 0.0 -
1800.09/1800.83 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.83 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.83 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.83 c pseudo solution : 102.29 195295 0 0 0.0 0 0.0 -
1800.09/1800.83 c applied globally : - - - 24590 38.5 - - -
1800.09/1800.83 c applied locally : - - - 45 61.4 - - -
1800.09/1800.83 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.09/1800.83 c cut pool : 0.00 26 - - 84 - (maximal pool size: 616)
1800.09/1800.83 c redcost : 0.00 27 0 0 0 0
1800.09/1800.83 c impliedbounds : 0.02 27 0 0 0 0
1800.09/1800.83 c intobj : 0.00 0 0 0 0 0
1800.09/1800.83 c cgmip : 0.00 0 0 0 0 0
1800.09/1800.83 c gomory : 12.02 27 0 0 13001 0
1800.09/1800.83 c strongcg : 1.70 20 0 0 10000 0
1800.09/1800.83 c cmir : 3.92 10 0 0 0 0
1800.09/1800.83 c flowcover : 4.30 10 0 0 0 0
1800.09/1800.83 c clique : 0.51 27 0 0 231 0
1800.09/1800.83 c zerohalf : 0.00 0 0 0 0 0
1800.09/1800.83 c mcf : 0.03 1 0 0 0 0
1800.09/1800.83 c rapidlearning : 0.00 0 0 0 0 0
1800.09/1800.83 c Pricers : Time Calls Vars
1800.09/1800.83 c problem variables: 0.00 0 0
1800.09/1800.83 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.09/1800.83 c relpscost : 69.93 1 0 0 0 0 2
1800.09/1800.83 c pscost : 0.00 0 0 0 0 0 0
1800.09/1800.83 c inference : 24.32 3005599 0 0 0 0 6011198
1800.09/1800.83 c mostinf : 0.00 0 0 0 0 0 0
1800.09/1800.83 c leastinf : 0.00 0 0 0 0 0 0
1800.09/1800.83 c fullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.83 c allfullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.83 c random : 0.00 0 0 0 0 0 0
1800.09/1800.83 c Primal Heuristics : Time Calls Found
1800.09/1800.83 c LP solutions : 0.00 - 0
1800.09/1800.83 c pseudo solutions : 0.02 - 5
1800.09/1800.83 c crossover : 0.00 0 0
1800.09/1800.83 c oneopt : 4.03 2 1
1800.09/1800.83 c trivial : 0.03 2 3
1800.09/1800.83 c simplerounding : 0.02 28 3
1800.09/1800.83 c zirounding : 0.01 1 1
1800.09/1800.83 c rounding : 0.40 28 1
1800.09/1800.83 c shifting : 0.53 28 0
1800.09/1800.83 c intshifting : 0.00 0 0
1800.09/1800.83 c twoopt : 0.00 0 0
1800.09/1800.83 c fixandinfer : 0.00 0 0
1800.09/1800.83 c feaspump : 0.00 0 0
1800.09/1800.83 c coefdiving : 0.00 0 0
1800.09/1800.83 c pscostdiving : 0.00 0 0
1800.09/1800.83 c fracdiving : 0.00 0 0
1800.09/1800.83 c veclendiving : 0.00 0 0
1800.09/1800.83 c intdiving : 0.00 0 0
1800.09/1800.83 c actconsdiving : 0.00 0 0
1800.09/1800.83 c objpscostdiving : 0.00 0 0
1800.09/1800.83 c rootsoldiving : 0.00 0 0
1800.09/1800.83 c linesearchdiving : 0.00 0 0
1800.09/1800.83 c guideddiving : 0.00 0 0
1800.09/1800.83 c octane : 0.00 0 0
1800.09/1800.83 c rens : 2.68 1 1
1800.09/1800.83 c rins : 0.00 0 0
1800.09/1800.83 c localbranching : 0.00 0 0
1800.09/1800.83 c mutation : 0.00 0 0
1800.09/1800.83 c dins : 0.00 0 0
1800.09/1800.83 c undercover : 0.00 0 0
1800.09/1800.83 c nlp : 2.85 0 0
1800.09/1800.83 c trysol : 3.27 0 0
1800.09/1800.83 c LP : Time Calls Iterations Iter/call Iter/sec
1800.09/1800.83 c primal LP : 0.09 0 0 0.00 0.00
1800.09/1800.83 c dual LP : 29.38 28 9385 335.18 319.43
1800.09/1800.83 c lex dual LP : 0.00 0 0 0.00 -
1800.09/1800.83 c barrier LP : 0.00 0 0 0.00 -
1800.09/1800.83 c diving/probing LP: 0.00 0 0 0.00 -
1800.09/1800.83 c strong branching : 69.92 33 19131 579.73 273.61
1800.09/1800.83 c (at root node) : - 33 19131 579.73 -
1800.09/1800.83 c conflict analysis: 0.00 0 0 0.00 -
1800.09/1800.83 c B&B Tree :
1800.09/1800.83 c number of runs : 1
1800.09/1800.83 c nodes : 5994855
1800.09/1800.83 c nodes (total) : 5994855
1800.09/1800.83 c nodes left : 16
1800.09/1800.83 c max depth : 70
1800.09/1800.83 c max depth (total): 70
1800.09/1800.83 c backtracks : 948605 (15.8%)
1800.09/1800.83 c delayed cutoffs : 14883
1800.09/1800.83 c repropagations : 17728 (66078 domain reductions, 13711 cutoffs)
1800.09/1800.83 c avg switch length: 2.00
1800.09/1800.83 c switching time : 215.65
1800.09/1800.83 c Solution :
1800.09/1800.83 c Solutions found : 15 (8 improvements)
1800.09/1800.83 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.09/1800.83 c Primal Bound : -2.70000000000000e+01 (in run 1, after 1303782 nodes, 464.25 seconds, depth 38, found by <relaxation>)
1800.09/1800.83 c Dual Bound : -3.49999999999999e+01
1800.09/1800.83 c Gap : 22.86 %
1800.09/1800.83 c Root Dual Bound : -3.50000000000000e+01
1800.09/1800.83 c Root Iterations : 9385
1800.18/1800.94 c Time complete: 1800.22.