0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2666928-1276516743.opb>
0.39/0.45 c original problem has 595 variables (595 bin, 0 int, 0 impl, 0 cont) and 27847 constraints
0.39/0.45 c problem read
0.39/0.45 c presolving settings loaded
0.49/0.53 o 0
0.49/0.53 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.49/0.53 c presolving:
0.79/0.89 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 27847 upgd conss, 55694 impls, 0 clqs
1.49/1.56 c (1.0s) probing: 101/595 (17.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.49/1.56 c (1.0s) probing aborted: 100/100 successive totally useless probings
1.49/1.56 c presolving (2 rounds):
1.49/1.56 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.49/1.56 c 55694 implications, 0 cliques
1.49/1.56 c presolved problem has 595 variables (595 bin, 0 int, 0 impl, 0 cont) and 27847 constraints
1.49/1.56 c 27847 constraints of type <logicor>
1.49/1.56 c transformed objective value is always integral (scale: 1)
1.49/1.56 c Presolving Time: 0.96
1.49/1.57 c - non default parameters ----------------------------------------------------------------------
1.49/1.57 c # SCIP version 1.2.1.2
1.49/1.57 c
1.49/1.57 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.49/1.57 c # [type: int, range: [-1,2147483647], default: -1]
1.49/1.57 c conflict/interconss = 0
1.49/1.57 c
1.49/1.57 c # should binary conflicts be preferred?
1.49/1.57 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.57 c conflict/preferbinary = TRUE
1.49/1.57 c
1.49/1.57 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.49/1.57 c # [type: int, range: [-1,2147483647], default: 0]
1.49/1.57 c constraints/agelimit = 1
1.49/1.57 c
1.49/1.57 c # should enforcement of pseudo solution be disabled?
1.49/1.57 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.57 c constraints/disableenfops = TRUE
1.49/1.57 c
1.49/1.57 c # frequency for displaying node information lines
1.49/1.57 c # [type: int, range: [-1,2147483647], default: 100]
1.49/1.57 c display/freq = 10000
1.49/1.57 c
1.49/1.57 c # maximal time in seconds to run
1.49/1.57 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.49/1.57 c limits/time = 1799.55
1.49/1.57 c
1.49/1.57 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.49/1.57 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.49/1.57 c limits/memory = 1620
1.49/1.57 c
1.49/1.57 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.49/1.57 c # [type: int, range: [-1,2147483647], default: 1]
1.49/1.57 c lp/solvefreq = 0
1.49/1.57 c
1.49/1.57 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
1.49/1.57 c # [type: char, range: {lafpsqd}, default: l]
1.49/1.57 c lp/pricing = a
1.49/1.57 c
1.49/1.57 c # should presolving try to simplify inequalities
1.49/1.57 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.57 c constraints/linear/simplifyinequalities = TRUE
1.49/1.57 c
1.49/1.57 c # should presolving try to simplify knapsacks
1.49/1.57 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.57 c constraints/knapsack/simplifyinequalities = TRUE
1.49/1.57 c
1.49/1.57 c # priority of node selection rule <dfs> in standard mode
1.49/1.57 c # [type: int, range: [-536870912,536870911], default: 0]
1.49/1.57 c nodeselection/dfs/stdpriority = 1000000
1.49/1.57 c
1.49/1.57 c -----------------------------------------------------------------------------------------------
1.49/1.57 c start solving
1.49/1.57 c
2.39/2.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.39/2.43 c t 1.8s| 1 | 0 | 598 | - | 31M| 0 | 595 | 595 | 27k| 595 | 27k| 0 | 0 | 0 |-2.975000e+02 | 0.000000e+00 | 100.00%
2.39/2.48 o -1
2.39/2.48 c R 1.9s| 1 | 0 | 598 | - | 31M| 0 | 595 | 595 | 27k| 595 | 27k| 0 | 0 | 0 |-2.975000e+02 |-1.000000e+00 | 99.66%
4.09/4.14 c 3.3s| 1 | 0 | 765 | - | 31M| 0 | 549 | 595 | 27k| 595 | 27k| 5 | 0 | 0 |-2.745000e+02 |-1.000000e+00 | 99.64%
4.09/4.17 o -22
4.09/4.17 c b 3.4s| 1 | 0 | 765 | - | 31M| 0 | 549 | 595 | 27k| 595 | 27k| 5 | 0 | 0 |-2.745000e+02 |-2.200000e+01 | 91.99%
5.59/5.66 c 4.7s| 1 | 0 | 843 | - | 31M| 0 | 518 | 595 | 27k| 595 | 27k| 11 | 0 | 0 |-2.590000e+02 |-2.200000e+01 | 91.51%
7.49/7.53 c 6.4s| 1 | 0 | 945 | - | 31M| 0 | 485 | 595 | 27k| 595 | 27k| 20 | 0 | 0 |-2.417500e+02 |-2.200000e+01 | 90.90%
9.38/9.44 c 8.1s| 1 | 0 | 1013 | - | 31M| 0 | 469 | 595 | 27k| 595 | 27k| 26 | 0 | 0 |-2.337500e+02 |-2.200000e+01 | 90.59%
11.59/11.62 c 10.1s| 1 | 0 | 1152 | - | 31M| 0 | 451 | 595 | 27k| 595 | 27k| 35 | 0 | 0 |-2.247500e+02 |-2.200000e+01 | 90.21%
13.98/14.04 c 12.4s| 1 | 0 | 1355 | - | 31M| 0 | 420 | 595 | 27k| 595 | 27k| 42 | 0 | 0 |-2.092500e+02 |-2.200000e+01 | 89.49%
16.49/16.53 c 14.7s| 1 | 0 | 1529 | - | 31M| 0 | 392 | 595 | 27k| 595 | 27k| 46 | 0 | 0 |-1.952500e+02 |-2.200000e+01 | 88.73%
18.68/18.76 c 16.8s| 1 | 0 | 1663 | - | 31M| 0 | 362 | 595 | 27k| 595 | 27k| 53 | 0 | 0 |-1.802500e+02 |-2.200000e+01 | 87.79%
20.98/21.05 c 18.9s| 1 | 0 | 1820 | - | 31M| 0 | 341 | 595 | 27k| 595 | 27k| 63 | 0 | 0 |-1.697500e+02 |-2.200000e+01 | 87.04%
23.77/23.85 c 21.5s| 1 | 0 | 2088 | - | 31M| 0 | 311 | 595 | 27k| 595 | 27k| 69 | 0 | 0 |-1.547500e+02 |-2.200000e+01 | 85.78%
25.37/25.44 c 22.9s| 1 | 0 | 2320 | - | 31M| 0 | 282 | 595 | 27k| 595 | 27k| 75 | 0 | 0 |-1.402500e+02 |-2.200000e+01 | 84.31%
27.07/27.18 c 24.5s| 1 | 0 | 2613 | - | 31M| 0 | 254 | 595 | 27k| 595 | 27k| 85 | 0 | 0 |-1.257500e+02 |-2.200000e+01 | 82.50%
28.27/28.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.27/28.34 c 25.5s| 1 | 0 | 2764 | - | 31M| 0 | 224 | 595 | 27k| 595 | 27k| 94 | 0 | 0 |-1.107500e+02 |-2.200000e+01 | 80.14%
29.87/29.93 c 26.9s| 1 | 0 | 3041 | - | 31M| 0 | 191 | 595 | 27k| 595 | 27k| 101 | 0 | 0 |-9.475000e+01 |-2.200000e+01 | 76.78%
31.98/32.00 c 28.8s| 1 | 0 | 3533 | - | 31M| 0 | 166 | 595 | 27k| 595 | 27k| 108 | 0 | 0 |-8.225000e+01 |-2.200000e+01 | 73.25%
33.07/33.19 c 29.9s| 1 | 0 | 3698 | - | 31M| 0 | 138 | 595 | 27k| 595 | 27k| 115 | 0 | 0 |-6.825000e+01 |-2.200000e+01 | 67.77%
34.67/34.70 c 31.2s| 1 | 0 | 3975 | - | 31M| 0 | 114 | 595 | 27k| 595 | 27k| 124 | 0 | 0 |-5.400000e+01 |-2.200000e+01 | 59.26%
35.67/35.75 c 32.1s| 1 | 0 | 4118 | - | 32M| 0 | 104 | 595 | 27k| 595 | 27k| 131 | 0 | 0 |-4.150000e+01 |-2.200000e+01 | 46.99%
36.86/36.90 c 33.1s| 1 | 0 | 4266 | - | 32M| 0 | 90 | 595 | 27k| 595 | 27k| 141 | 0 | 0 |-3.500000e+01 |-2.200000e+01 | 37.14%
37.77/37.80 c 33.8s| 1 | 0 | 4322 | - | 32M| 0 | 115 | 595 | 27k| 595 | 27k| 146 | 0 | 0 |-3.500000e+01 |-2.200000e+01 | 37.14%
38.27/38.39 c 34.3s| 1 | 0 | 4383 | - | 32M| 0 | 118 | 595 | 27k| 595 | 27k| 158 | 0 | 0 |-3.500000e+01 |-2.200000e+01 | 37.14%
39.37/39.45 c 35.3s| 1 | 0 | 4569 | - | 32M| 0 | 124 | 595 | 27k| 595 | 27k| 169 | 0 | 0 |-3.500000e+01 |-2.200000e+01 | 37.14%
48.47/48.50 c 42.6s| 1 | 0 | 4807 | - | 32M| 0 | 126 | 595 | 27k| 595 | 27k| 181 | 0 | 0 |-3.500000e+01 |-2.200000e+01 | 37.14%
49.56/49.63 c 43.6s| 1 | 0 | 4987 | - | 32M| 0 | 100 | 595 | 27k| 595 | 27k| 190 | 0 | 0 |-3.500000e+01 |-2.200000e+01 | 37.14%
85.05/85.11 c 78.8s| 1 | 2 | 4987 | - | 32M| 0 | 100 | 595 | 27k| 595 | 27k| 190 | 0 | 33 |-3.500000e+01 |-2.200000e+01 | 37.14%
85.76/85.81 o -23
85.76/85.81 c *79.5s| 2596 | 16 | 4987 | 0.0 | 32M| 33 | - | 595 | 27k| 0 | 0 | 190 | 8 | 33 |-3.500000e+01 |-2.300000e+01 | 34.29%
86.75/86.89 o -24
86.75/86.89 c *80.5s| 6751 | 16 | 4987 | 0.0 | 32M| 35 | - | 595 | 27k| 0 | 0 | 190 | 59 | 33 |-3.500000e+01 |-2.400000e+01 | 31.43%
87.65/87.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
87.65/87.74 c 81.3s| 10000 | 16 | 4987 | 0.0 | 32M| 38 | - | 595 | 27k| 0 | 0 | 190 | 82 | 33 |-3.500000e+01 |-2.400000e+01 | 31.43%
88.65/88.78 o -25
88.65/88.78 c *82.3s| 14158 | 18 | 4987 | 0.0 | 32M| 38 | - | 595 | 27k| 0 | 0 | 190 | 100 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
90.25/90.32 c 83.8s| 20000 | 15 | 4987 | 0.0 | 32M| 38 | - | 595 | 27k| 0 | 0 | 190 | 112 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
92.85/92.97 c 86.3s| 30000 | 16 | 4987 | 0.0 | 32M| 41 | - | 595 | 27k| 0 | 0 | 190 | 162 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
95.56/95.64 c 88.8s| 40000 | 16 | 4987 | 0.0 | 32M| 43 | - | 595 | 27k| 0 | 0 | 190 | 234 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
98.15/98.26 c 91.3s| 50000 | 13 | 4987 | 0.0 | 32M| 43 | - | 595 | 27k| 0 | 0 | 190 | 273 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
100.74/100.86 c 93.8s| 60000 | 14 | 4987 | 0.0 | 32M| 44 | - | 595 | 27k| 0 | 0 | 190 | 324 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
103.54/103.63 c 96.4s| 70000 | 18 | 4987 | 0.0 | 32M| 46 | - | 595 | 27k| 0 | 0 | 190 | 344 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
106.25/106.37 c 99.0s| 80000 | 15 | 4987 | 0.0 | 32M| 46 | - | 595 | 27k| 0 | 0 | 190 | 387 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
109.04/109.11 c 102s| 90000 | 16 | 4987 | 0.0 | 32M| 46 | - | 595 | 27k| 0 | 0 | 190 | 418 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
111.74/111.82 c 104s|100000 | 15 | 4987 | 0.0 | 32M| 46 | - | 595 | 27k| 0 | 0 | 190 | 441 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
114.44/114.54 c 107s|110000 | 13 | 4987 | 0.0 | 32M| 48 | - | 595 | 27k| 0 | 0 | 190 | 489 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
117.24/117.35 c 109s|120000 | 14 | 4987 | 0.0 | 32M| 48 | - | 595 | 27k| 0 | 0 | 190 | 546 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
119.93/120.06 c 112s|130000 | 19 | 4987 | 0.0 | 32M| 48 | - | 595 | 27k| 0 | 0 | 190 | 591 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
122.72/122.84 c 115s|140000 | 15 | 4987 | 0.0 | 32M| 48 | - | 595 | 27k| 0 | 0 | 190 | 647 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
125.43/125.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
125.43/125.56 c 117s|150000 | 16 | 4987 | 0.0 | 32M| 48 | - | 595 | 27k| 0 | 0 | 190 | 667 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
128.22/128.38 c 120s|160000 | 16 | 4987 | 0.0 | 32M| 51 | - | 595 | 27k| 0 | 0 | 190 | 717 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
131.02/131.17 c 123s|170000 | 16 | 4987 | 0.0 | 32M| 51 | - | 595 | 27k| 0 | 0 | 190 | 745 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
133.82/134.00 c 125s|180000 | 17 | 4987 | 0.0 | 32M| 51 | - | 595 | 27k| 0 | 0 | 190 | 796 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
136.72/136.80 c 128s|190000 | 16 | 4987 | 0.0 | 32M| 51 | - | 595 | 27k| 0 | 0 | 190 | 852 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
139.42/139.55 c 131s|200000 | 17 | 4987 | 0.0 | 32M| 51 | - | 595 | 27k| 0 | 0 | 190 | 885 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
142.12/142.20 c 133s|210000 | 17 | 4987 | 0.0 | 32M| 51 | - | 595 | 27k| 0 | 0 | 190 | 918 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
144.82/144.91 c 136s|220000 | 18 | 4987 | 0.0 | 32M| 51 | - | 595 | 27k| 0 | 0 | 190 | 947 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
147.52/147.64 c 138s|230000 | 17 | 4987 | 0.0 | 32M| 51 | - | 595 | 27k| 0 | 0 | 190 | 987 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
150.21/150.33 c 141s|240000 | 13 | 4987 | 0.0 | 32M| 51 | - | 595 | 27k| 0 | 0 | 190 |1042 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
152.92/153.06 c 143s|250000 | 14 | 4987 | 0.0 | 32M| 51 | - | 595 | 27k| 0 | 0 | 190 |1085 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
155.71/155.82 c 146s|260000 | 14 | 4987 | 0.0 | 32M| 51 | - | 595 | 27k| 0 | 0 | 190 |1124 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
158.42/158.56 c 149s|270000 | 16 | 4987 | 0.0 | 32M| 51 | - | 595 | 27k| 0 | 0 | 190 |1190 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
161.11/161.27 c 151s|280000 | 17 | 4987 | 0.0 | 32M| 51 | - | 595 | 27k| 0 | 0 | 190 |1222 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
163.82/163.97 c 154s|290000 | 15 | 4987 | 0.0 | 32M| 51 | - | 595 | 27k| 0 | 0 | 190 |1257 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
166.61/166.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
166.61/166.71 c 156s|300000 | 16 | 4987 | 0.0 | 32M| 51 | - | 595 | 27k| 0 | 0 | 190 |1325 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
169.32/169.42 c 159s|310000 | 16 | 4987 | 0.0 | 32M| 51 | - | 595 | 27k| 0 | 0 | 190 |1359 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
172.00/172.11 c 162s|320000 | 15 | 4987 | 0.0 | 32M| 51 | - | 595 | 27k| 0 | 0 | 190 |1400 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
174.82/174.91 c 164s|330000 | 16 | 4987 | 0.0 | 32M| 51 | - | 595 | 27k| 0 | 0 | 190 |1451 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
177.51/177.66 c 167s|340000 | 14 | 4987 | 0.0 | 32M| 51 | - | 595 | 27k| 0 | 0 | 190 |1491 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
180.32/180.48 c 170s|350000 | 15 | 4987 | 0.0 | 32M| 51 | - | 595 | 27k| 0 | 0 | 190 |1543 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
183.20/183.32 c 172s|360000 | 19 | 4987 | 0.0 | 32M| 51 | - | 595 | 27k| 0 | 0 | 190 |1612 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
185.91/186.08 c 175s|370000 | 15 | 4987 | 0.0 | 32M| 51 | - | 595 | 27k| 0 | 0 | 190 |1664 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
188.80/188.95 c 178s|380000 | 16 | 4987 | 0.0 | 32M| 51 | - | 595 | 27k| 0 | 0 | 190 |1722 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
191.70/191.81 c 180s|390000 | 16 | 4987 | 0.0 | 32M| 51 | - | 595 | 27k| 0 | 0 | 190 |1761 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
194.50/194.61 c 183s|400000 | 16 | 4987 | 0.0 | 32M| 51 | - | 595 | 27k| 0 | 0 | 190 |1799 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
197.30/197.42 c 186s|410000 | 16 | 4987 | 0.0 | 32M| 51 | - | 595 | 27k| 0 | 0 | 190 |1846 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
200.00/200.20 c 188s|420000 | 15 | 4987 | 0.0 | 32M| 52 | - | 595 | 27k| 0 | 0 | 190 |1890 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
202.80/202.99 c 191s|430000 | 18 | 4987 | 0.0 | 32M| 52 | - | 595 | 27k| 0 | 0 | 190 |1928 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
205.60/205.73 c 194s|440000 | 15 | 4987 | 0.0 | 32M| 52 | - | 595 | 27k| 0 | 0 | 190 |1971 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
208.30/208.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
208.30/208.44 c 196s|450000 | 17 | 4987 | 0.0 | 32M| 52 | - | 595 | 27k| 0 | 0 | 190 |2008 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
211.00/211.19 c 199s|460000 | 16 | 4987 | 0.0 | 32M| 52 | - | 595 | 27k| 0 | 0 | 190 |2037 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
213.80/213.93 c 201s|470000 | 16 | 4987 | 0.0 | 32M| 52 | - | 595 | 27k| 0 | 0 | 190 |2087 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
216.50/216.65 c 204s|480000 | 15 | 4987 | 0.0 | 32M| 52 | - | 595 | 27k| 0 | 0 | 190 |2121 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
219.19/219.35 c 207s|490000 | 13 | 4987 | 0.0 | 32M| 52 | - | 595 | 27k| 0 | 0 | 190 |2155 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
222.00/222.14 c 209s|500000 | 15 | 4987 | 0.0 | 32M| 52 | - | 595 | 27k| 0 | 0 | 190 |2200 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
224.69/224.89 c 212s|510000 | 16 | 4987 | 0.0 | 32M| 52 | - | 595 | 27k| 0 | 0 | 190 |2233 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
227.49/227.68 c 214s|520000 | 15 | 4987 | 0.0 | 32M| 52 | - | 595 | 27k| 0 | 0 | 190 |2316 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
230.28/230.43 c 217s|530000 | 17 | 4987 | 0.0 | 32M| 52 | - | 595 | 27k| 0 | 0 | 190 |2379 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
233.10/233.26 c 220s|540000 | 15 | 4987 | 0.0 | 32M| 53 | - | 595 | 27k| 0 | 0 | 190 |2449 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
235.78/235.99 c 222s|550000 | 17 | 4987 | 0.0 | 32M| 54 | - | 595 | 27k| 0 | 0 | 190 |2496 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
238.59/238.77 c 225s|560000 | 14 | 4987 | 0.0 | 32M| 54 | - | 595 | 27k| 0 | 0 | 190 |2543 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
241.38/241.56 c 228s|570000 | 14 | 4987 | 0.0 | 32M| 54 | - | 595 | 27k| 0 | 0 | 190 |2597 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
244.09/244.30 c 230s|580000 | 15 | 4987 | 0.0 | 32M| 54 | - | 595 | 27k| 0 | 0 | 190 |2634 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
246.88/247.08 c 233s|590000 | 15 | 4987 | 0.0 | 32M| 54 | - | 595 | 27k| 0 | 0 | 190 |2698 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
249.68/249.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
249.68/249.87 c 236s|600000 | 16 | 4987 | 0.0 | 32M| 54 | - | 595 | 27k| 0 | 0 | 190 |2731 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
252.48/252.64 c 238s|610000 | 14 | 4987 | 0.0 | 32M| 54 | - | 595 | 27k| 0 | 0 | 190 |2769 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
255.28/255.44 c 241s|620000 | 14 | 4987 | 0.0 | 32M| 54 | - | 595 | 27k| 0 | 0 | 190 |2804 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
258.08/258.25 c 244s|630000 | 16 | 4987 | 0.0 | 32M| 54 | - | 595 | 27k| 0 | 0 | 190 |2851 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
260.87/261.03 c 246s|640000 | 14 | 4987 | 0.0 | 32M| 54 | - | 595 | 27k| 0 | 0 | 190 |2883 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
263.67/263.88 c 249s|650000 | 15 | 4987 | 0.0 | 32M| 55 | - | 595 | 27k| 0 | 0 | 190 |2911 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
266.48/266.66 c 252s|660000 | 14 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |2966 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
269.17/269.33 c 254s|670000 | 15 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |2993 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
271.88/272.06 c 257s|680000 | 16 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |3018 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
274.57/274.75 c 259s|690000 | 15 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |3036 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
277.27/277.45 c 262s|700000 | 15 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |3080 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
280.07/280.20 c 264s|710000 | 15 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |3111 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
282.67/282.88 c 267s|720000 | 17 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |3146 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
285.26/285.49 c 270s|730000 | 14 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |3191 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
287.97/288.15 c 272s|740000 | 15 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |3223 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
290.67/290.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
290.67/290.84 c 275s|750000 | 12 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |3293 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
293.36/293.58 c 277s|760000 | 15 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |3334 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
296.17/296.33 c 280s|770000 | 15 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |3374 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
298.86/299.01 c 282s|780000 | 15 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |3401 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
301.46/301.68 c 285s|790000 | 15 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |3442 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
304.26/304.40 c 287s|800000 | 15 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |3465 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
306.96/307.11 c 290s|810000 | 16 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |3514 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
309.66/309.80 c 293s|820000 | 16 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |3551 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
312.27/312.41 c 295s|830000 | 16 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |3594 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
314.86/315.04 c 298s|840000 | 15 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |3648 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
317.55/317.75 c 300s|850000 | 17 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |3683 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
320.25/320.44 c 303s|860000 | 15 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |3713 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
322.95/323.13 c 305s|870000 | 13 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |3743 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
325.65/325.82 c 308s|880000 | 13 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |3765 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
328.25/328.47 c 310s|890000 | 13 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |3807 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
331.05/331.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
331.05/331.23 c 313s|900000 | 14 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |3860 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
333.75/333.97 c 316s|910000 | 12 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |3899 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
336.55/336.72 c 318s|920000 | 15 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |3920 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
339.35/339.57 c 321s|930000 | 15 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |3967 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
342.05/342.28 c 323s|940000 | 13 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |4006 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
344.84/345.06 c 326s|950000 | 13 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |4068 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
347.54/347.79 c 329s|960000 | 14 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |4116 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
350.24/350.46 c 331s|970000 | 14 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |4151 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
352.95/353.17 c 334s|980000 | 17 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |4192 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
355.64/355.87 c 336s|990000 | 17 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |4235 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
358.45/358.62 c 339s| 1000k| 16 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |4284 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
361.14/361.37 c 342s| 1010k| 16 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |4348 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
363.85/364.07 c 344s| 1020k| 17 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |4405 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
366.64/366.82 c 347s| 1030k| 17 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |4440 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
369.34/369.56 c 349s| 1040k| 16 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |4483 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
372.14/372.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
372.14/372.30 c 352s| 1050k| 15 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |4513 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
374.84/375.05 c 355s| 1060k| 17 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |4560 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
377.63/377.86 c 357s| 1070k| 15 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |4589 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
380.53/380.70 c 360s| 1080k| 15 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |4630 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
383.23/383.46 c 363s| 1090k| 15 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |4686 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
386.03/386.25 c 365s| 1100k| 13 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |4731 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
388.83/389.05 c 368s| 1110k| 16 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |4765 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
391.62/391.86 c 371s| 1120k| 17 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |4795 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
394.43/394.64 c 373s| 1130k| 14 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |4835 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
397.23/397.44 c 376s| 1140k| 14 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |4880 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
399.93/400.13 c 379s| 1150k| 15 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |4956 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
402.52/402.80 c 381s| 1160k| 18 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |5001 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
405.32/405.50 c 384s| 1170k| 14 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |5055 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
408.03/408.22 c 386s| 1180k| 14 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |5093 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
410.82/411.02 c 389s| 1190k| 15 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |5122 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
413.52/413.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
413.52/413.75 c 391s| 1200k| 15 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |5207 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
416.31/416.52 c 394s| 1210k| 15 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |5245 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
419.01/419.25 c 397s| 1220k| 16 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |5283 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
421.71/421.91 c 399s| 1230k| 15 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |5302 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
424.32/424.59 c 402s| 1240k| 15 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |5320 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
427.11/427.30 c 404s| 1250k| 14 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |5372 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
429.72/429.97 c 407s| 1260k| 15 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |5401 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
432.41/432.66 c 409s| 1270k| 15 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |5484 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
435.11/435.31 c 412s| 1280k| 13 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |5520 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
437.81/438.06 c 415s| 1290k| 15 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |5564 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
440.51/440.73 c 417s| 1300k| 15 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |5607 | 33 |-3.500000e+01 |-2.500000e+01 | 28.57%
441.21/441.49 o -26
441.21/441.49 c * 418s| 1302k| 15 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |5624 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
443.21/443.47 c 420s| 1310k| 16 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |5630 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
446.01/446.21 c 422s| 1320k| 14 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |5663 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
448.70/448.94 c 425s| 1330k| 14 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |5683 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
451.40/451.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
451.40/451.65 c 428s| 1340k| 14 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |5726 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
454.21/454.49 c 430s| 1350k| 17 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |5745 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
457.01/457.29 c 433s| 1360k| 15 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |5776 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
459.80/460.08 c 436s| 1370k| 16 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |5797 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
462.60/462.83 c 438s| 1380k| 11 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |5846 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
465.40/465.62 c 441s| 1390k| 16 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |5883 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
468.10/468.38 c 444s| 1400k| 16 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |5923 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
470.90/471.14 c 446s| 1410k| 17 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |5944 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
473.70/473.97 c 449s| 1420k| 16 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |5983 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
476.50/476.75 c 451s| 1430k| 14 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |6019 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
479.30/479.51 c 454s| 1440k| 16 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |6081 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
481.99/482.23 c 457s| 1450k| 14 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |6124 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
484.69/484.97 c 459s| 1460k| 16 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |6153 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
487.39/487.62 c 462s| 1470k| 17 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |6179 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
489.99/490.23 c 464s| 1480k| 15 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |6200 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
492.60/492.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
492.60/492.84 c 467s| 1490k| 16 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |6233 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
495.29/495.56 c 469s| 1500k| 16 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |6277 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
497.89/498.19 c 472s| 1510k| 18 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |6322 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
500.59/500.87 c 474s| 1520k| 14 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |6352 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
503.28/503.52 c 477s| 1530k| 17 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |6378 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
505.98/506.27 c 479s| 1540k| 15 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |6423 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
508.78/509.02 c 482s| 1550k| 15 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |6473 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
511.48/511.73 c 485s| 1560k| 16 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |6505 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
514.19/514.41 c 487s| 1570k| 16 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |6548 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
516.88/517.13 c 490s| 1580k| 19 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |6619 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
519.58/519.87 c 492s| 1590k| 15 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |6650 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
522.38/522.66 c 495s| 1600k| 17 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |6690 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
525.18/525.49 c 498s| 1610k| 16 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |6705 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
527.98/528.28 c 500s| 1620k| 15 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |6748 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
530.68/530.99 c 503s| 1630k| 15 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |6783 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
533.47/533.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
533.47/533.72 c 506s| 1640k| 16 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |6828 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
536.27/536.53 c 508s| 1650k| 16 | 4987 | 0.0 | 32M| 59 | - | 595 | 27k| 0 | 0 | 190 |6889 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
538.87/539.20 c 511s| 1660k| 17 | 4987 | 0.0 | 32M| 60 | - | 595 | 27k| 0 | 0 | 190 |6926 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
541.67/541.96 c 513s| 1670k| 16 | 4987 | 0.0 | 32M| 60 | - | 595 | 27k| 0 | 0 | 190 |6973 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
544.57/544.87 c 516s| 1680k| 15 | 4987 | 0.0 | 32M| 60 | - | 595 | 27k| 0 | 0 | 190 |7013 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
547.37/547.68 c 519s| 1690k| 15 | 4987 | 0.0 | 32M| 60 | - | 595 | 27k| 0 | 0 | 190 |7049 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
550.16/550.44 c 521s| 1700k| 14 | 4987 | 0.0 | 32M| 60 | - | 595 | 27k| 0 | 0 | 190 |7071 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
552.97/553.23 c 524s| 1710k| 15 | 4987 | 0.0 | 32M| 60 | - | 595 | 27k| 0 | 0 | 190 |7115 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
555.76/556.02 c 527s| 1720k| 13 | 4987 | 0.0 | 32M| 60 | - | 595 | 27k| 0 | 0 | 190 |7190 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
558.47/558.77 c 529s| 1730k| 15 | 4987 | 0.0 | 32M| 60 | - | 595 | 27k| 0 | 0 | 190 |7224 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
561.27/561.50 c 532s| 1740k| 15 | 4987 | 0.0 | 32M| 60 | - | 595 | 27k| 0 | 0 | 190 |7268 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
563.97/564.24 c 535s| 1750k| 17 | 4987 | 0.0 | 32M| 60 | - | 595 | 27k| 0 | 0 | 190 |7325 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
566.77/567.01 c 537s| 1760k| 16 | 4987 | 0.0 | 32M| 60 | - | 595 | 27k| 0 | 0 | 190 |7356 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
569.47/569.76 c 540s| 1770k| 14 | 4987 | 0.0 | 32M| 60 | - | 595 | 27k| 0 | 0 | 190 |7390 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
572.26/572.52 c 542s| 1780k| 16 | 4987 | 0.0 | 32M| 60 | - | 595 | 27k| 0 | 0 | 190 |7454 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
574.97/575.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
574.97/575.24 c 545s| 1790k| 15 | 4987 | 0.0 | 32M| 60 | - | 595 | 27k| 0 | 0 | 190 |7489 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
577.76/578.03 c 548s| 1800k| 14 | 4987 | 0.0 | 32M| 60 | - | 595 | 27k| 0 | 0 | 190 |7538 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
580.46/580.75 c 550s| 1810k| 15 | 4987 | 0.0 | 32M| 60 | - | 595 | 27k| 0 | 0 | 190 |7882 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
583.26/583.52 c 553s| 1820k| 15 | 4987 | 0.0 | 32M| 60 | - | 595 | 27k| 0 | 0 | 190 |7929 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
585.85/586.18 c 556s| 1830k| 17 | 4987 | 0.0 | 32M| 60 | - | 595 | 27k| 0 | 0 | 190 |7959 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
588.66/588.93 c 558s| 1840k| 14 | 4987 | 0.0 | 32M| 60 | - | 595 | 27k| 0 | 0 | 190 |7994 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
591.35/591.62 c 561s| 1850k| 15 | 4987 | 0.0 | 32M| 60 | - | 595 | 27k| 0 | 0 | 190 |8025 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
594.05/594.39 c 563s| 1860k| 17 | 4987 | 0.0 | 32M| 60 | - | 595 | 27k| 0 | 0 | 190 |8065 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
596.96/597.21 c 566s| 1870k| 14 | 4987 | 0.0 | 32M| 60 | - | 595 | 27k| 0 | 0 | 190 |8105 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
599.65/599.98 c 569s| 1880k| 14 | 4987 | 0.0 | 32M| 60 | - | 595 | 27k| 0 | 0 | 190 |8135 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
602.45/602.72 c 571s| 1890k| 15 | 4987 | 0.0 | 32M| 60 | - | 595 | 27k| 0 | 0 | 190 |8184 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
605.15/605.40 c 574s| 1900k| 15 | 4987 | 0.0 | 32M| 60 | - | 595 | 27k| 0 | 0 | 190 |8267 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
607.95/608.25 c 576s| 1910k| 16 | 4987 | 0.0 | 32M| 60 | - | 595 | 27k| 0 | 0 | 190 |8301 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
610.75/611.09 c 579s| 1920k| 16 | 4987 | 0.0 | 32M| 60 | - | 595 | 27k| 0 | 0 | 190 |8323 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
613.46/613.77 c 582s| 1930k| 15 | 4987 | 0.0 | 32M| 60 | - | 595 | 27k| 0 | 0 | 190 |8371 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
616.25/616.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
616.25/616.55 c 584s| 1940k| 15 | 4987 | 0.0 | 32M| 60 | - | 595 | 27k| 0 | 0 | 190 |8402 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
618.95/619.28 c 587s| 1950k| 16 | 4987 | 0.0 | 32M| 60 | - | 595 | 27k| 0 | 0 | 190 |8436 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
621.74/622.01 c 590s| 1960k| 15 | 4987 | 0.0 | 32M| 60 | - | 595 | 27k| 0 | 0 | 190 |8457 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
624.55/624.82 c 592s| 1970k| 12 | 4987 | 0.0 | 32M| 60 | - | 595 | 27k| 0 | 0 | 190 |8480 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
627.24/627.58 c 595s| 1980k| 15 | 4987 | 0.0 | 32M| 60 | - | 595 | 27k| 0 | 0 | 190 |8505 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
630.05/630.33 c 597s| 1990k| 16 | 4987 | 0.0 | 32M| 60 | - | 595 | 27k| 0 | 0 | 190 |8554 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
632.84/633.10 c 600s| 2000k| 17 | 4987 | 0.0 | 32M| 60 | - | 595 | 27k| 0 | 0 | 190 |8595 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
635.44/635.73 c 603s| 2010k| 15 | 4987 | 0.0 | 32M| 60 | - | 595 | 27k| 0 | 0 | 190 |8639 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
638.14/638.48 c 605s| 2020k| 12 | 4987 | 0.0 | 32M| 60 | - | 595 | 27k| 0 | 0 | 190 |8687 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
640.94/641.26 c 608s| 2030k| 15 | 4987 | 0.0 | 32M| 60 | - | 595 | 27k| 0 | 0 | 190 |8730 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
643.63/643.98 c 610s| 2040k| 14 | 4987 | 0.0 | 32M| 60 | - | 595 | 27k| 0 | 0 | 190 |8778 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
646.33/646.69 c 613s| 2050k| 16 | 4987 | 0.0 | 32M| 60 | - | 595 | 27k| 0 | 0 | 190 |8811 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
649.13/649.48 c 616s| 2060k| 15 | 4987 | 0.0 | 32M| 61 | - | 595 | 27k| 0 | 0 | 190 |8838 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
651.94/652.23 c 618s| 2070k| 14 | 4987 | 0.0 | 32M| 61 | - | 595 | 27k| 0 | 0 | 190 |8897 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
654.73/655.06 c 621s| 2080k| 12 | 4987 | 0.0 | 32M| 61 | - | 595 | 27k| 0 | 0 | 190 |9025 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
657.44/657.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
657.44/657.79 c 624s| 2090k| 14 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 |9043 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
660.33/660.69 c 626s| 2100k| 16 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 |9056 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
663.23/663.52 c 629s| 2110k| 15 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 |9092 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
666.03/666.35 c 632s| 2120k| 14 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 |9137 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
668.93/669.21 c 634s| 2130k| 15 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 |9153 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
671.74/672.00 c 637s| 2140k| 12 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 |9168 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
674.42/674.79 c 640s| 2150k| 13 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 |9192 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
677.33/677.62 c 642s| 2160k| 15 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 |9214 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
680.22/680.53 c 645s| 2170k| 13 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 |9227 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
683.02/683.33 c 648s| 2180k| 14 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 |9253 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
685.82/686.17 c 651s| 2190k| 15 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 |9286 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
688.62/688.94 c 653s| 2200k| 14 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 |9304 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
691.42/691.76 c 656s| 2210k| 14 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 |9329 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
694.21/694.54 c 659s| 2220k| 14 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 |9364 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
696.91/697.30 c 661s| 2230k| 14 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 |9386 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
699.81/700.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
699.81/700.13 c 664s| 2240k| 13 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 |9404 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
702.62/702.98 c 667s| 2250k| 13 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 |9427 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
705.41/705.71 c 669s| 2260k| 16 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 |9450 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
708.11/708.45 c 672s| 2270k| 14 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 |9472 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
710.91/711.24 c 674s| 2280k| 17 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 |9503 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
713.81/714.10 c 677s| 2290k| 17 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 |9525 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
716.51/716.83 c 680s| 2300k| 15 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 |9544 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
719.31/719.61 c 682s| 2310k| 15 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 |9593 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
722.01/722.39 c 685s| 2320k| 15 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 |9635 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
724.90/725.26 c 688s| 2330k| 15 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 |9664 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
727.71/728.09 c 691s| 2340k| 17 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 |9696 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
730.50/730.87 c 693s| 2350k| 16 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 |9727 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
733.30/733.62 c 696s| 2360k| 13 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 |9748 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
736.10/736.45 c 699s| 2370k| 16 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 |9775 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
738.91/739.25 c 701s| 2380k| 16 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 |9802 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
741.70/742.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
741.70/742.06 c 704s| 2390k| 14 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 |9832 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
744.50/744.88 c 707s| 2400k| 16 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 |9877 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
747.30/747.64 c 709s| 2410k| 13 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 |9935 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
750.09/750.44 c 712s| 2420k| 15 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 |9972 | 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
752.89/753.29 c 715s| 2430k| 13 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
755.79/756.15 c 717s| 2440k| 14 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
758.70/759.07 c 720s| 2450k| 14 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
761.49/761.83 c 723s| 2460k| 15 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
764.19/764.53 c 725s| 2470k| 15 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
766.99/767.34 c 728s| 2480k| 13 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
769.69/770.05 c 730s| 2490k| 13 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
772.49/772.86 c 733s| 2500k| 14 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
775.38/775.73 c 736s| 2510k| 15 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
778.28/778.66 c 739s| 2520k| 15 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
781.18/781.58 c 742s| 2530k| 16 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
784.08/784.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
784.08/784.48 c 744s| 2540k| 15 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
786.98/787.32 c 747s| 2550k| 16 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
789.88/790.23 c 750s| 2560k| 15 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
792.78/793.11 c 752s| 2570k| 14 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
795.58/795.98 c 755s| 2580k| 15 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
798.38/798.74 c 758s| 2590k| 16 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
801.17/801.53 c 760s| 2600k| 15 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
803.98/804.31 c 763s| 2610k| 14 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
806.67/807.08 c 766s| 2620k| 16 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
809.57/809.94 c 768s| 2630k| 16 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
812.37/812.77 c 771s| 2640k| 15 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
815.17/815.59 c 774s| 2650k| 18 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
817.97/818.35 c 777s| 2660k| 14 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
820.77/821.17 c 779s| 2670k| 16 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
823.67/824.00 c 782s| 2680k| 15 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
826.47/826.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
826.47/826.86 c 785s| 2690k| 14 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
829.37/829.72 c 787s| 2700k| 14 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
832.07/832.42 c 790s| 2710k| 15 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
834.87/835.25 c 793s| 2720k| 16 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
837.77/838.11 c 795s| 2730k| 16 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
840.56/840.91 c 798s| 2740k| 15 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
843.37/843.79 c 801s| 2750k| 15 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
846.16/846.55 c 803s| 2760k| 15 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 10k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
848.96/849.39 c 806s| 2770k| 15 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
851.86/852.23 c 809s| 2780k| 14 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
854.76/855.11 c 812s| 2790k| 15 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
857.56/857.97 c 814s| 2800k| 13 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
860.45/860.81 c 817s| 2810k| 17 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
863.35/863.70 c 820s| 2820k| 15 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
866.15/866.51 c 822s| 2830k| 14 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
868.95/869.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
868.95/869.30 c 825s| 2840k| 15 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
871.75/872.14 c 828s| 2850k| 14 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
874.55/874.92 c 830s| 2860k| 15 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
877.35/877.77 c 833s| 2870k| 16 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
880.14/880.54 c 836s| 2880k| 14 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
882.95/883.34 c 838s| 2890k| 16 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
885.75/886.10 c 841s| 2900k| 15 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
888.45/888.86 c 844s| 2910k| 15 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
891.25/891.62 c 846s| 2920k| 14 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
893.95/894.36 c 849s| 2930k| 15 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
896.84/897.22 c 852s| 2940k| 14 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
899.54/899.96 c 854s| 2950k| 14 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
902.34/902.77 c 857s| 2960k| 15 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
905.14/905.58 c 860s| 2970k| 17 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
907.94/908.37 c 862s| 2980k| 14 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
910.74/911.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
910.74/911.16 c 865s| 2990k| 13 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
913.53/913.94 c 868s| 3000k| 14 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
916.24/916.69 c 870s| 3010k| 14 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 11k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
919.03/919.44 c 873s| 3020k| 15 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
921.83/922.23 c 875s| 3030k| 13 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
924.64/925.00 c 878s| 3040k| 14 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
927.43/927.85 c 881s| 3050k| 15 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
930.23/930.65 c 884s| 3060k| 13 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
933.03/933.43 c 886s| 3070k| 14 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
935.82/936.26 c 889s| 3080k| 15 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
938.62/939.02 c 891s| 3090k| 16 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
941.33/941.77 c 894s| 3100k| 13 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
944.12/944.57 c 897s| 3110k| 15 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
946.92/947.30 c 899s| 3120k| 13 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
949.62/950.05 c 902s| 3130k| 16 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
952.32/952.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
952.32/952.78 c 905s| 3140k| 16 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
955.12/955.56 c 907s| 3150k| 16 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
957.82/958.29 c 910s| 3160k| 12 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
960.52/960.97 c 912s| 3170k| 15 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
963.31/963.71 c 915s| 3180k| 15 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
966.02/966.48 c 918s| 3190k| 15 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
968.81/969.25 c 920s| 3200k| 16 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
971.51/971.95 c 923s| 3210k| 13 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
974.22/974.64 c 925s| 3220k| 14 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
976.91/977.39 c 928s| 3230k| 15 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
979.72/980.16 c 931s| 3240k| 15 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
982.40/982.85 c 933s| 3250k| 15 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
985.22/985.64 c 936s| 3260k| 13 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
988.01/988.48 c 938s| 3270k| 17 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
990.81/991.24 c 941s| 3280k| 14 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
993.60/994.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
993.60/994.05 c 944s| 3290k| 15 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
996.50/996.93 c 946s| 3300k| 15 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
999.41/999.82 c 949s| 3310k| 14 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 12k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1002.21/1002.61 c 952s| 3320k| 15 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1005.01/1005.42 c 955s| 3330k| 15 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1007.80/1008.21 c 957s| 3340k| 14 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1010.60/1011.01 c 960s| 3350k| 13 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1013.30/1013.77 c 963s| 3360k| 14 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1016.10/1016.55 c 965s| 3370k| 14 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1019.00/1019.40 c 968s| 3380k| 15 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1021.69/1022.15 c 971s| 3390k| 16 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1024.39/1024.87 c 973s| 3400k| 15 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1027.09/1027.57 c 976s| 3410k| 15 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1029.79/1030.28 c 978s| 3420k| 17 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1032.69/1033.17 c 981s| 3430k| 15 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1035.59/1036.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1035.59/1036.07 c 984s| 3440k| 15 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1038.49/1038.94 c 987s| 3450k| 16 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1041.29/1041.73 c 989s| 3460k| 13 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1044.08/1044.50 c 992s| 3470k| 14 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1046.88/1047.32 c 995s| 3480k| 16 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1049.78/1050.20 c 997s| 3490k| 13 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1052.59/1053.06 c 1000s| 3500k| 13 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1055.39/1055.89 c 1003s| 3510k| 13 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1058.28/1058.73 c 1005s| 3520k| 14 | 4987 | 0.0 | 32M| 65 | - | 595 | 27k| 0 | 0 | 190 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1061.09/1061.59 c 1008s| 3530k| 15 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1063.98/1064.41 c 1011s| 3540k| 15 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1066.78/1067.21 c 1013s| 3550k| 14 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1069.58/1070.03 c 1016s| 3560k| 15 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1072.37/1072.87 c 1019s| 3570k| 15 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1075.18/1075.64 c 1022s| 3580k| 13 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1078.08/1078.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1078.08/1078.54 c 1024s| 3590k| 15 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1080.97/1081.43 c 1027s| 3600k| 15 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 13k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1083.88/1084.33 c 1030s| 3610k| 13 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1086.77/1087.21 c 1033s| 3620k| 16 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1089.57/1090.08 c 1035s| 3630k| 16 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1092.37/1092.88 c 1038s| 3640k| 13 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1095.17/1095.68 c 1041s| 3650k| 15 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1097.97/1098.46 c 1043s| 3660k| 14 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1100.76/1101.28 c 1046s| 3670k| 14 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1103.67/1104.15 c 1049s| 3680k| 15 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1106.46/1106.99 c 1051s| 3690k| 13 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1109.26/1109.73 c 1054s| 3700k| 17 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1111.96/1112.45 c 1057s| 3710k| 16 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1114.66/1115.18 c 1059s| 3720k| 14 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1117.35/1117.88 c 1062s| 3730k| 15 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1120.06/1120.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1120.06/1120.54 c 1064s| 3740k| 15 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1122.75/1123.26 c 1067s| 3750k| 13 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1125.46/1125.95 c 1069s| 3760k| 14 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1128.25/1128.72 c 1072s| 3770k| 15 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1130.95/1131.46 c 1075s| 3780k| 13 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1133.76/1134.24 c 1077s| 3790k| 14 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1136.45/1136.97 c 1080s| 3800k| 13 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1139.25/1139.79 c 1083s| 3810k| 16 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1142.05/1142.58 c 1085s| 3820k| 14 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1144.85/1145.39 c 1088s| 3830k| 15 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1147.65/1148.16 c 1091s| 3840k| 13 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1150.45/1150.94 c 1093s| 3850k| 15 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1153.35/1153.81 c 1096s| 3860k| 14 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1156.04/1156.56 c 1099s| 3870k| 17 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1158.85/1159.34 c 1101s| 3880k| 16 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1161.64/1162.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1161.64/1162.14 c 1104s| 3890k| 15 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1164.35/1164.88 c 1107s| 3900k| 16 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1167.14/1167.63 c 1109s| 3910k| 14 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 14k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1169.95/1170.42 c 1112s| 3920k| 16 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1172.64/1173.14 c 1114s| 3930k| 15 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1175.35/1175.88 c 1117s| 3940k| 15 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1178.14/1178.63 c 1120s| 3950k| 15 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1180.84/1181.35 c 1122s| 3960k| 13 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1183.73/1184.25 c 1125s| 3970k| 13 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1186.53/1187.06 c 1128s| 3980k| 15 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1189.33/1189.82 c 1130s| 3990k| 17 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1192.03/1192.55 c 1133s| 4000k| 14 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1194.84/1195.36 c 1136s| 4010k| 14 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1197.53/1198.07 c 1138s| 4020k| 13 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1200.23/1200.76 c 1141s| 4030k| 13 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1202.93/1203.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1202.93/1203.47 c 1143s| 4040k| 15 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1205.63/1206.14 c 1146s| 4050k| 15 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1208.22/1208.79 c 1148s| 4060k| 14 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1211.03/1211.52 c 1151s| 4070k| 13 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1213.72/1214.26 c 1154s| 4080k| 13 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1216.52/1217.08 c 1156s| 4090k| 16 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1219.42/1219.93 c 1159s| 4100k| 15 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1222.32/1222.83 c 1162s| 4110k| 15 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1225.32/1225.81 c 1165s| 4120k| 15 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1228.13/1228.60 c 1167s| 4130k| 14 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1230.91/1231.49 c 1170s| 4140k| 14 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1233.91/1234.41 c 1173s| 4150k| 13 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1236.81/1237.34 c 1176s| 4160k| 16 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1239.71/1240.26 c 1178s| 4170k| 14 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1242.71/1243.23 c 1181s| 4180k| 16 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1245.61/1246.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1245.61/1246.15 c 1184s| 4190k| 14 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1248.41/1248.94 c 1187s| 4200k| 13 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1251.22/1251.72 c 1189s| 4210k| 16 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1254.00/1254.57 c 1192s| 4220k| 14 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1256.91/1257.42 c 1195s| 4230k| 14 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 15k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1259.71/1260.29 c 1197s| 4240k| 15 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1262.61/1263.10 c 1200s| 4250k| 14 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1265.40/1265.94 c 1203s| 4260k| 11 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1268.30/1268.80 c 1206s| 4270k| 13 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1271.11/1271.64 c 1208s| 4280k| 14 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1273.90/1274.45 c 1211s| 4290k| 14 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1276.80/1277.36 c 1214s| 4300k| 13 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1279.60/1280.10 c 1216s| 4310k| 14 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1282.30/1282.88 c 1219s| 4320k| 12 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1285.10/1285.66 c 1222s| 4330k| 13 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1287.90/1288.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1287.90/1288.46 c 1224s| 4340k| 14 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1290.70/1291.24 c 1227s| 4350k| 16 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1293.49/1294.01 c 1230s| 4360k| 16 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1296.30/1296.80 c 1232s| 4370k| 13 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1298.99/1299.56 c 1235s| 4380k| 12 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1301.79/1302.35 c 1238s| 4390k| 12 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1304.59/1305.13 c 1240s| 4400k| 14 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1307.30/1307.90 c 1243s| 4410k| 14 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1310.19/1310.70 c 1246s| 4420k| 14 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1312.99/1313.53 c 1248s| 4430k| 16 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1315.79/1316.36 c 1251s| 4440k| 15 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1318.68/1319.20 c 1254s| 4450k| 15 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1321.49/1322.05 c 1256s| 4460k| 13 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1324.38/1324.90 c 1259s| 4470k| 13 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1327.19/1327.75 c 1262s| 4480k| 11 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1329.98/1330.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1329.98/1330.51 c 1264s| 4490k| 14 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1332.69/1333.23 c 1267s| 4500k| 14 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1335.48/1336.10 c 1270s| 4510k| 13 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1338.38/1338.93 c 1272s| 4520k| 16 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1341.28/1341.80 c 1275s| 4530k| 12 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1344.07/1344.61 c 1278s| 4540k| 14 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1346.77/1347.38 c 1280s| 4550k| 12 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 16k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1349.68/1350.22 c 1283s| 4560k| 14 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1352.48/1353.07 c 1286s| 4570k| 12 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1355.27/1355.89 c 1289s| 4580k| 13 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1358.17/1358.71 c 1291s| 4590k| 15 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1360.87/1361.46 c 1294s| 4600k| 14 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1363.67/1364.29 c 1297s| 4610k| 14 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1366.57/1367.11 c 1299s| 4620k| 15 | 4987 | 0.0 | 32M| 68 | - | 595 | 27k| 0 | 0 | 190 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1369.27/1369.89 c 1302s| 4630k| 12 | 4987 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 190 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1372.07/1372.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1372.07/1372.66 c 1304s| 4640k| 15 | 4987 | 0.0 | 32M| 69 | - | 595 | 27k| 0 | 0 | 190 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1374.76/1375.37 c 1307s| 4650k| 16 | 4987 | 0.0 | 32M| 70 | - | 595 | 27k| 0 | 0 | 190 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1377.47/1378.06 c 1310s| 4660k| 14 | 4987 | 0.0 | 32M| 70 | - | 595 | 27k| 0 | 0 | 190 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1380.26/1380.81 c 1312s| 4670k| 13 | 4987 | 0.0 | 32M| 70 | - | 595 | 27k| 0 | 0 | 190 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1383.06/1383.63 c 1315s| 4680k| 12 | 4987 | 0.0 | 32M| 71 | - | 595 | 27k| 0 | 0 | 190 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1385.86/1386.45 c 1318s| 4690k| 12 | 4987 | 0.0 | 32M| 71 | - | 595 | 27k| 0 | 0 | 190 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1388.77/1389.35 c 1320s| 4700k| 15 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1391.46/1392.08 c 1323s| 4710k| 15 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1394.35/1394.92 c 1326s| 4720k| 15 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1397.15/1397.79 c 1328s| 4730k| 18 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1399.95/1400.56 c 1331s| 4740k| 14 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1402.76/1403.37 c 1334s| 4750k| 14 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1405.55/1406.11 c 1336s| 4760k| 16 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1408.35/1408.91 c 1339s| 4770k| 14 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1411.05/1411.69 c 1342s| 4780k| 15 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1413.96/1414.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1413.96/1414.55 c 1344s| 4790k| 15 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1416.85/1417.41 c 1347s| 4800k| 15 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1419.75/1420.31 c 1350s| 4810k| 16 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1422.45/1423.09 c 1353s| 4820k| 16 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1425.25/1425.87 c 1355s| 4830k| 14 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1428.15/1428.72 c 1358s| 4840k| 14 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1430.94/1431.52 c 1361s| 4850k| 15 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1433.85/1434.43 c 1363s| 4860k| 13 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1436.64/1437.24 c 1366s| 4870k| 16 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 17k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1439.25/1439.89 c 1369s| 4880k| 17 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1442.14/1442.72 c 1371s| 4890k| 15 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1445.04/1445.61 c 1374s| 4900k| 15 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1447.84/1448.44 c 1377s| 4910k| 13 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1450.74/1451.33 c 1379s| 4920k| 15 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1453.64/1454.21 c 1382s| 4930k| 13 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1456.54/1457.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1456.54/1457.10 c 1385s| 4940k| 14 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1459.33/1459.98 c 1388s| 4950k| 14 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1462.34/1462.90 c 1391s| 4960k| 14 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1465.13/1465.76 c 1393s| 4970k| 15 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1468.03/1468.63 c 1396s| 4980k| 17 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1470.83/1471.49 c 1399s| 4990k| 15 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1473.83/1474.46 c 1402s| 5000k| 14 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1476.64/1477.26 c 1404s| 5010k| 14 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1479.42/1480.09 c 1407s| 5020k| 16 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1482.32/1482.98 c 1410s| 5030k| 15 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1485.22/1485.82 c 1412s| 5040k| 17 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1488.02/1488.64 c 1415s| 5050k| 16 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1490.93/1491.57 c 1418s| 5060k| 16 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1493.82/1494.46 c 1421s| 5070k| 15 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1496.71/1497.36 c 1423s| 5080k| 15 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1499.62/1500.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1499.62/1500.24 c 1426s| 5090k| 16 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1502.32/1502.96 c 1429s| 5100k| 15 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1505.11/1505.74 c 1431s| 5110k| 16 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1508.02/1508.60 c 1434s| 5120k| 15 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1510.82/1511.47 c 1437s| 5130k| 16 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1513.61/1514.27 c 1439s| 5140k| 15 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1516.51/1517.15 c 1442s| 5150k| 13 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1519.41/1520.03 c 1445s| 5160k| 13 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1522.10/1522.79 c 1448s| 5170k| 16 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1525.02/1525.66 c 1450s| 5180k| 13 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 18k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1527.90/1528.52 c 1453s| 5190k| 15 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1530.81/1531.45 c 1456s| 5200k| 13 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1533.60/1534.28 c 1458s| 5210k| 16 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1536.50/1537.11 c 1461s| 5220k| 16 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1539.41/1540.02 c 1464s| 5230k| 13 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1542.20/1542.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1542.20/1542.86 c 1467s| 5240k| 13 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1545.10/1545.70 c 1469s| 5250k| 16 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1547.90/1548.58 c 1472s| 5260k| 14 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1550.70/1551.39 c 1475s| 5270k| 16 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1553.61/1554.26 c 1478s| 5280k| 14 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1556.50/1557.17 c 1480s| 5290k| 13 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1559.49/1560.15 c 1483s| 5300k| 15 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1562.50/1563.12 c 1486s| 5310k| 15 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1565.40/1566.06 c 1489s| 5320k| 16 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1568.30/1568.91 c 1491s| 5330k| 15 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1571.20/1571.86 c 1494s| 5340k| 15 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1574.09/1574.79 c 1497s| 5350k| 14 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1577.19/1577.81 c 1500s| 5360k| 15 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1580.18/1580.82 c 1503s| 5370k| 19 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1583.18/1583.81 c 1506s| 5380k| 15 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1586.28/1586.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1586.28/1586.93 c 1509s| 5390k| 16 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1589.28/1589.97 c 1512s| 5400k| 15 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1592.38/1593.08 c 1514s| 5410k| 16 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1595.39/1596.06 c 1517s| 5420k| 14 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1598.49/1599.12 c 1520s| 5430k| 13 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1601.38/1602.08 c 1523s| 5440k| 16 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1604.38/1605.08 c 1526s| 5450k| 14 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1607.38/1608.09 c 1529s| 5460k| 13 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1610.38/1611.06 c 1532s| 5470k| 14 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1613.37/1614.08 c 1535s| 5480k| 13 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1616.28/1616.95 c 1537s| 5490k| 16 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1619.08/1619.77 c 1540s| 5500k| 17 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1621.88/1622.57 c 1543s| 5510k| 16 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 19k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1624.77/1625.45 c 1545s| 5520k| 18 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1627.68/1628.34 c 1548s| 5530k| 15 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1630.58/1631.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1630.58/1631.21 c 1551s| 5540k| 14 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1633.47/1634.10 c 1554s| 5550k| 15 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1636.37/1637.01 c 1556s| 5560k| 15 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1639.16/1639.84 c 1559s| 5570k| 15 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1641.86/1642.59 c 1562s| 5580k| 14 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1644.66/1645.36 c 1564s| 5590k| 16 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1647.47/1648.11 c 1567s| 5600k| 16 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1650.26/1650.91 c 1570s| 5610k| 15 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1653.06/1653.77 c 1572s| 5620k| 16 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1655.87/1656.51 c 1575s| 5630k| 15 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1658.66/1659.30 c 1578s| 5640k| 14 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1661.47/1662.14 c 1580s| 5650k| 15 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1664.25/1664.95 c 1583s| 5660k| 14 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1667.15/1667.84 c 1586s| 5670k| 15 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1669.96/1670.67 c 1589s| 5680k| 14 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1672.85/1673.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1672.85/1673.57 c 1591s| 5690k| 13 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1675.76/1676.46 c 1594s| 5700k| 15 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1678.65/1679.37 c 1597s| 5710k| 14 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1681.45/1682.15 c 1600s| 5720k| 14 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1684.35/1685.01 c 1602s| 5730k| 13 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1687.15/1687.86 c 1605s| 5740k| 14 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1689.95/1690.70 c 1608s| 5750k| 14 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1692.95/1693.62 c 1610s| 5760k| 16 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1695.85/1696.58 c 1613s| 5770k| 14 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1698.85/1699.57 c 1616s| 5780k| 14 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1701.74/1702.49 c 1619s| 5790k| 13 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1704.74/1705.41 c 1622s| 5800k| 16 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1707.64/1708.37 c 1624s| 5810k| 16 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1710.54/1711.23 c 1627s| 5820k| 15 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 20k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1713.44/1714.15 c 1630s| 5830k| 14 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1716.35/1717.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1716.35/1717.06 c 1633s| 5840k| 14 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1719.23/1719.95 c 1636s| 5850k| 14 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1722.14/1722.84 c 1638s| 5860k| 14 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1725.03/1725.76 c 1641s| 5870k| 15 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1728.03/1728.71 c 1644s| 5880k| 16 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1730.94/1731.60 c 1647s| 5890k| 14 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1733.83/1734.50 c 1649s| 5900k| 15 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1736.73/1737.44 c 1652s| 5910k| 15 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1739.63/1740.32 c 1655s| 5920k| 14 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1742.53/1743.27 c 1658s| 5930k| 15 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1745.53/1746.22 c 1661s| 5940k| 15 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1748.43/1749.11 c 1663s| 5950k| 13 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1751.33/1752.01 c 1666s| 5960k| 15 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1754.22/1754.94 c 1669s| 5970k| 16 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1757.13/1757.82 c 1672s| 5980k| 15 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1760.03/1760.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1760.03/1760.71 c 1674s| 5990k| 14 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1762.82/1763.59 c 1677s| 6000k| 17 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1765.72/1766.49 c 1680s| 6010k| 16 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1768.62/1769.31 c 1683s| 6020k| 14 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1771.43/1772.19 c 1685s| 6030k| 15 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1774.32/1775.09 c 1688s| 6040k| 14 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1777.22/1777.93 c 1691s| 6050k| 13 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1780.12/1780.81 c 1694s| 6060k| 15 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1783.02/1783.76 c 1696s| 6070k| 11 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1785.91/1786.67 c 1699s| 6080k| 15 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1788.81/1789.54 c 1702s| 6090k| 15 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1791.81/1792.55 c 1705s| 6100k| 14 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1794.91/1795.62 c 1708s| 6110k| 13 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 21k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1797.91/1798.61 c 1711s| 6120k| 15 | 4987 | 0.0 | 32M| 76 | - | 595 | 27k| 0 | 0 | 190 | 22k| 33 |-3.500000e+01 |-2.600000e+01 | 25.71%
1800.02/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.71 c
1800.02/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.71 c Solving Time (sec) : 1712.55
1800.02/1800.71 c Solving Nodes : 6127290
1800.02/1800.71 c Primal Bound : -2.60000000000000e+01 (12 solutions)
1800.02/1800.71 c Dual Bound : -3.50000000000000e+01
1800.02/1800.71 c Gap : 25.71 %
1800.02/1800.73 s SATISFIABLE
1800.02/1800.73 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28
1800.02/1800.73 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53
1800.02/1800.73 v -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 x78
1800.02/1800.73 v -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103
1800.02/1800.73 v -x104 -x105 -x106 -x107 x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124
1800.02/1800.73 v -x125 -x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145
1800.02/1800.73 v -x146 -x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166
1800.02/1800.73 v -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187
1800.02/1800.73 v -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208
1800.02/1800.73 v -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229
1800.02/1800.73 v -x230 -x231 -x232 -x233 -x234 -x235 x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 x248 -x249 -x250
1800.02/1800.73 v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271
1800.02/1800.73 v -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 -x292
1800.02/1800.73 v -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313
1800.02/1800.73 v -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333
1800.02/1800.73 v -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 -x354
1800.02/1800.73 v -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375
1800.02/1800.73 v -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 x396
1800.02/1800.73 v -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417
1800.02/1800.73 v -x418 x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 x438
1800.02/1800.73 v -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 x455 -x456 -x457 -x458 -x459
1800.02/1800.73 v -x460 -x461 -x462 -x463 -x464 -x465 x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 x478 -x479 -x480
1800.02/1800.73 v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 x495 -x496 -x497 -x498 -x499 -x500 -x501
1800.02/1800.73 v -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 x519 -x520 -x521 -x522
1800.02/1800.73 v -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 x541 -x542 -x543
1800.02/1800.73 v -x544 -x545 x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564
1800.02/1800.73 v -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585
1800.02/1800.73 v -x586 -x587 -x588 -x589 -x590 -x591 x592 -x593 -x594 -x595
1800.02/1800.73 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.73 c Solving Time : 1712.55
1800.02/1800.73 c Original Problem :
1800.02/1800.73 c Problem name : HOME/instance-2666928-1276516743.opb
1800.02/1800.73 c Variables : 595 (595 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.73 c Constraints : 27847 initial, 27847 maximal
1800.02/1800.73 c Presolved Problem :
1800.02/1800.73 c Problem name : t_HOME/instance-2666928-1276516743.opb
1800.02/1800.73 c Variables : 595 (595 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.73 c Constraints : 27847 initial, 27911 maximal
1800.02/1800.73 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.73 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.73 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.73 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.73 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.73 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.73 c probing : 0.62 0 0 0 0 0 0 0 0
1800.02/1800.73 c logicor : 0.08 0 0 0 0 0 0 0 0
1800.02/1800.73 c root node : - 0 - - 0 - - - -
1800.02/1800.73 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.73 c integral : 0 0 0 1 0 0 0 0 0 2
1800.02/1800.73 c logicor : 27847+ 24 6317540 0 4 563835 13242622 0 0 0
1800.02/1800.73 c countsols : 0 0 0 0 4 0 0 0 0 0
1800.02/1800.73 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.73 c integral : 34.17 0.00 0.00 34.17 0.00
1800.02/1800.73 c logicor : 559.49 0.13 559.33 0.00 0.03
1800.02/1800.73 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.73 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.73 c vbounds : 4.79 2 0 0
1800.02/1800.73 c rootredcost : 4.69 4 0 0
1800.02/1800.73 c pseudoobj : 458.02 9598900 2296730 3508653
1800.02/1800.73 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.73 c propagation : 296.21 563835 22027 22027 38.4 0 0.0 -
1800.02/1800.73 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.73 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.73 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.73 c pseudo solution : 106.23 208209 0 0 0.0 0 0.0 -
1800.02/1800.73 c applied globally : - - - 21909 38.2 - - -
1800.02/1800.73 c applied locally : - - - 118 62.4 - - -
1800.02/1800.73 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.73 c cut pool : 0.02 23 - - 50 - (maximal pool size: 439)
1800.02/1800.73 c redcost : 0.00 24 0 0 0 0
1800.02/1800.73 c impliedbounds : 0.01 24 0 0 0 0
1800.02/1800.73 c intobj : 0.00 0 0 0 0 0
1800.02/1800.73 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.73 c gomory : 12.29 24 0 0 11844 0
1800.02/1800.73 c strongcg : 5.07 20 0 0 10000 0
1800.02/1800.73 c cmir : 4.10 10 0 0 0 0
1800.02/1800.73 c flowcover : 4.34 10 0 0 0 0
1800.02/1800.73 c clique : 0.52 24 0 0 211 0
1800.02/1800.73 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.73 c mcf : 0.04 1 0 0 0 0
1800.02/1800.73 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.73 c Pricers : Time Calls Vars
1800.02/1800.73 c problem variables: 0.00 0 0
1800.02/1800.73 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.73 c relpscost : 34.17 1 0 0 0 0 2
1800.02/1800.73 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.73 c inference : 23.60 3070662 0 0 0 0 6141324
1800.02/1800.73 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.73 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.73 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.73 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.73 c random : 0.00 0 0 0 0 0 0
1800.02/1800.73 c Primal Heuristics : Time Calls Found
1800.02/1800.73 c LP solutions : 0.00 - 0
1800.02/1800.73 c pseudo solutions : 0.00 - 4
1800.02/1800.73 c crossover : 0.00 0 0
1800.02/1800.73 c oneopt : 4.48 2 1
1800.02/1800.73 c trivial : 0.01 2 3
1800.02/1800.73 c simplerounding : 0.01 25 1
1800.02/1800.73 c zirounding : 0.01 1 1
1800.02/1800.73 c rounding : 0.42 25 1
1800.02/1800.73 c shifting : 0.49 25 0
1800.02/1800.73 c intshifting : 0.00 0 0
1800.02/1800.73 c twoopt : 0.00 0 0
1800.02/1800.73 c fixandinfer : 0.00 0 0
1800.02/1800.73 c feaspump : 0.00 0 0
1800.02/1800.73 c coefdiving : 0.00 0 0
1800.02/1800.73 c pscostdiving : 0.00 0 0
1800.02/1800.73 c fracdiving : 0.00 0 0
1800.02/1800.73 c veclendiving : 0.00 0 0
1800.02/1800.73 c intdiving : 0.00 0 0
1800.02/1800.73 c actconsdiving : 0.00 0 0
1800.02/1800.73 c objpscostdiving : 0.00 0 0
1800.02/1800.73 c rootsoldiving : 0.00 0 0
1800.02/1800.73 c linesearchdiving : 0.00 0 0
1800.02/1800.73 c guideddiving : 0.00 0 0
1800.02/1800.73 c octane : 0.00 0 0
1800.02/1800.73 c rens : 1.02 1 1
1800.02/1800.73 c rins : 0.00 0 0
1800.02/1800.73 c localbranching : 0.00 0 0
1800.02/1800.73 c mutation : 0.00 0 0
1800.02/1800.73 c dins : 0.00 0 0
1800.02/1800.73 c undercover : 0.00 0 0
1800.02/1800.73 c nlp : 2.56 0 0
1800.02/1800.73 c trysol : 3.16 0 0
1800.02/1800.73 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.73 c primal LP : 0.05 0 0 0.00 0.00
1800.02/1800.73 c dual LP : 14.74 25 4987 199.48 338.33
1800.02/1800.73 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.73 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.73 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.73 c strong branching : 34.17 33 10059 304.82 294.38
1800.02/1800.73 c (at root node) : - 33 10059 304.82 -
1800.02/1800.73 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.73 c B&B Tree :
1800.02/1800.73 c number of runs : 1
1800.02/1800.73 c nodes : 6127290
1800.02/1800.73 c nodes (total) : 6127290
1800.02/1800.73 c nodes left : 13
1800.02/1800.73 c max depth : 76
1800.02/1800.73 c max depth (total): 76
1800.02/1800.73 c backtracks : 950394 (15.5%)
1800.02/1800.73 c delayed cutoffs : 13086
1800.02/1800.73 c repropagations : 15649 (57985 domain reductions, 12151 cutoffs)
1800.02/1800.73 c avg switch length: 2.00
1800.02/1800.73 c switching time : 215.75
1800.02/1800.73 c Solution :
1800.02/1800.73 c Solutions found : 12 (7 improvements)
1800.02/1800.73 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.05 seconds, depth 0, found by <trivial>)
1800.02/1800.73 c Primal Bound : -2.60000000000000e+01 (in run 1, after 1302789 nodes, 417.90 seconds, depth 24, found by <relaxation>)
1800.02/1800.73 c Dual Bound : -3.50000000000000e+01
1800.02/1800.73 c Gap : 25.71 %
1800.02/1800.73 c Root Dual Bound : -3.50000000000000e+01
1800.02/1800.73 c Root Iterations : 4987
1800.11/1800.84 c Time complete: 1800.15.