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-2667039-1276487950.opb>
0.19/0.28 c original problem has 450 variables (450 bin, 0 int, 0 impl, 0 cont) and 17874 constraints
0.19/0.28 c problem read
0.19/0.28 c presolving settings loaded
0.29/0.34 o 0
0.29/0.34 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.29/0.34 c presolving:
0.49/0.57 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 17874 upgd conss, 35748 impls, 0 clqs
0.89/0.98 c (0.6s) probing: 101/450 (22.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.89/0.98 c (0.6s) probing aborted: 100/100 successive totally useless probings
0.89/0.98 c presolving (2 rounds):
0.89/0.98 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.89/0.98 c 35748 implications, 0 cliques
0.89/0.98 c presolved problem has 450 variables (450 bin, 0 int, 0 impl, 0 cont) and 17874 constraints
0.89/0.98 c 17874 constraints of type <logicor>
0.89/0.98 c transformed objective value is always integral (scale: 1)
0.89/0.98 c Presolving Time: 0.59
0.89/0.98 c - non default parameters ----------------------------------------------------------------------
0.89/0.98 c # SCIP version 1.2.1.2
0.89/0.98 c
0.89/0.98 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.89/0.98 c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.98 c conflict/interconss = 0
0.89/0.98 c
0.89/0.98 c # should binary conflicts be preferred?
0.89/0.98 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.98 c conflict/preferbinary = TRUE
0.89/0.98 c
0.89/0.98 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.89/0.98 c # [type: int, range: [-1,2147483647], default: 0]
0.89/0.98 c constraints/agelimit = 1
0.89/0.98 c
0.89/0.98 c # should enforcement of pseudo solution be disabled?
0.89/0.98 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.98 c constraints/disableenfops = TRUE
0.89/0.98 c
0.89/0.98 c # frequency for displaying node information lines
0.89/0.98 c # [type: int, range: [-1,2147483647], default: 100]
0.89/0.98 c display/freq = 10000
0.89/0.98 c
0.89/0.98 c # maximal time in seconds to run
0.89/0.98 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.98 c limits/time = 1799.72
0.89/0.98 c
0.89/0.98 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.89/0.98 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.98 c limits/memory = 1620
0.89/0.98 c
0.89/0.98 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.89/0.98 c # [type: int, range: [-1,2147483647], default: 1]
0.89/0.98 c lp/solvefreq = 0
0.89/0.98 c
0.89/0.98 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)
0.89/0.98 c # [type: char, range: {lafpsqd}, default: l]
0.89/0.98 c lp/pricing = a
0.89/0.98 c
0.89/0.98 c # should presolving try to simplify inequalities
0.89/0.98 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.98 c constraints/linear/simplifyinequalities = TRUE
0.89/0.98 c
0.89/0.98 c # should presolving try to simplify knapsacks
0.89/0.98 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.98 c constraints/knapsack/simplifyinequalities = TRUE
0.89/0.98 c
0.89/0.98 c # priority of node selection rule <dfs> in standard mode
0.89/0.98 c # [type: int, range: [-536870912,536870911], default: 0]
0.89/0.98 c nodeselection/dfs/stdpriority = 1000000
0.89/0.98 c
0.89/0.98 c -----------------------------------------------------------------------------------------------
0.89/0.98 c start solving
0.89/0.98 c
1.39/1.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.39/1.42 c t 1.1s| 1 | 0 | 452 | - | 20M| 0 | 450 | 450 | 17k| 450 | 17k| 0 | 0 | 0 |-2.250000e+02 | 0.000000e+00 | 100.00%
1.39/1.45 o -1
1.39/1.45 c R 1.1s| 1 | 0 | 452 | - | 20M| 0 | 450 | 450 | 17k| 450 | 17k| 0 | 0 | 0 |-2.250000e+02 |-1.000000e+00 | 99.56%
1.39/1.48 o -2
1.39/1.48 c s 1.1s| 1 | 0 | 452 | - | 20M| 0 | 450 | 450 | 17k| 450 | 17k| 0 | 0 | 0 |-2.250000e+02 |-2.000000e+00 | 99.11%
2.20/2.28 c 1.8s| 1 | 0 | 577 | - | 20M| 0 | 410 | 450 | 17k| 450 | 17k| 6 | 0 | 0 |-2.050000e+02 |-2.000000e+00 | 99.02%
2.29/2.30 o -20
2.29/2.30 c b 1.8s| 1 | 0 | 577 | - | 20M| 0 | 410 | 450 | 17k| 450 | 17k| 6 | 0 | 0 |-2.050000e+02 |-2.000000e+01 | 90.24%
3.19/3.23 c 2.7s| 1 | 0 | 667 | - | 20M| 0 | 391 | 450 | 17k| 450 | 17k| 16 | 0 | 0 |-1.955000e+02 |-2.000000e+01 | 89.77%
4.19/4.29 c 3.6s| 1 | 0 | 792 | - | 20M| 0 | 362 | 450 | 17k| 450 | 17k| 25 | 0 | 0 |-1.800000e+02 |-2.000000e+01 | 88.89%
5.59/5.70 c 4.9s| 1 | 0 | 1015 | - | 20M| 0 | 338 | 450 | 17k| 450 | 17k| 36 | 0 | 0 |-1.682500e+02 |-2.000000e+01 | 88.11%
7.29/7.39 c 6.5s| 1 | 0 | 1316 | - | 20M| 0 | 314 | 450 | 17k| 450 | 17k| 44 | 0 | 0 |-1.551667e+02 |-2.000000e+01 | 87.11%
8.70/8.78 c 7.8s| 1 | 0 | 1528 | - | 20M| 0 | 276 | 450 | 17k| 450 | 17k| 54 | 0 | 0 |-1.366667e+02 |-2.000000e+01 | 85.37%
9.89/9.98 c 8.9s| 1 | 0 | 1683 | - | 20M| 0 | 255 | 450 | 17k| 450 | 17k| 64 | 0 | 0 |-1.261667e+02 |-2.000000e+01 | 84.15%
11.49/11.53 c 10.3s| 1 | 0 | 1958 | - | 20M| 0 | 216 | 450 | 17k| 450 | 17k| 70 | 0 | 0 |-1.072500e+02 |-2.000000e+01 | 81.35%
12.79/12.86 c 11.5s| 1 | 0 | 2146 | - | 20M| 0 | 183 | 450 | 17k| 450 | 17k| 78 | 0 | 0 |-9.150000e+01 |-2.000000e+01 | 78.14%
14.19/14.28 c 12.8s| 1 | 0 | 2420 | - | 20M| 0 | 159 | 450 | 17k| 450 | 17k| 81 | 0 | 0 |-7.950000e+01 |-2.000000e+01 | 74.84%
14.89/14.96 c 13.4s| 1 | 0 | 2536 | - | 20M| 0 | 144 | 450 | 17k| 450 | 17k| 89 | 0 | 0 |-7.200000e+01 |-2.000000e+01 | 72.22%
15.99/16.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.99/16.05 c 14.4s| 1 | 0 | 2834 | - | 20M| 0 | 120 | 450 | 17k| 450 | 17k| 94 | 0 | 0 |-6.000000e+01 |-2.000000e+01 | 66.67%
16.79/16.86 c 15.2s| 1 | 0 | 3097 | - | 20M| 0 | 96 | 450 | 17k| 450 | 17k| 100 | 0 | 0 |-4.800000e+01 |-2.000000e+01 | 58.33%
17.39/17.45 c 15.8s| 1 | 0 | 3261 | - | 20M| 0 | 114 | 450 | 17k| 450 | 17k| 106 | 0 | 0 |-4.192857e+01 |-2.000000e+01 | 52.30%
18.08/18.13 c 16.4s| 1 | 0 | 3457 | - | 20M| 0 | 75 | 450 | 17k| 450 | 17k| 115 | 0 | 0 |-3.750000e+01 |-2.000000e+01 | 46.67%
18.59/18.70 c 16.9s| 1 | 0 | 3539 | - | 20M| 0 | 77 | 450 | 17k| 450 | 17k| 123 | 0 | 0 |-3.000000e+01 |-2.000000e+01 | 33.33%
19.09/19.18 c 17.4s| 1 | 0 | 3608 | - | 20M| 0 | 88 | 450 | 17k| 450 | 17k| 138 | 0 | 0 |-3.000000e+01 |-2.000000e+01 | 33.33%
19.89/19.96 c 18.0s| 1 | 0 | 3690 | - | 21M| 0 | 92 | 450 | 17k| 450 | 17k| 149 | 0 | 0 |-3.000000e+01 |-2.000000e+01 | 33.33%
20.79/20.88 c 18.8s| 1 | 0 | 3816 | - | 21M| 0 | 106 | 450 | 17k| 450 | 17k| 156 | 0 | 0 |-3.000000e+01 |-2.000000e+01 | 33.33%
22.48/22.52 c 20.2s| 1 | 0 | 3930 | - | 21M| 0 | 99 | 450 | 17k| 450 | 18k| 170 | 0 | 0 |-3.000000e+01 |-2.000000e+01 | 33.33%
24.78/24.86 c 22.5s| 1 | 0 | 4030 | - | 21M| 0 | 100 | 450 | 17k| 450 | 18k| 185 | 0 | 0 |-3.000000e+01 |-2.000000e+01 | 33.33%
26.19/26.28 o -22
26.19/26.28 c E23.8s| 1 | 0 | 4030 | - | 21M| 0 | 100 | 450 | 17k| 450 | 18k| 185 | 0 | 0 |-3.000000e+01 |-2.200000e+01 | 26.67%
26.29/26.30 c 23.8s| 1 | 0 | 4030 | - | 21M| 0 | 100 | 450 | 17k| 450 | 18k| 185 | 0 | 0 |-3.000000e+01 |-2.200000e+01 | 26.67%
26.29/26.31 o -23
26.29/26.31 c b23.8s| 1 | 0 | 4030 | - | 21M| 0 | 100 | 450 | 17k| 450 | 18k| 185 | 0 | 0 |-3.000000e+01 |-2.300000e+01 | 23.33%
29.79/29.83 c 27.3s| 1 | 0 | 4179 | - | 21M| 0 | 106 | 450 | 17k| 450 | 18k| 196 | 0 | 0 |-3.000000e+01 |-2.300000e+01 | 23.33%
55.88/55.92 c 53.3s| 1 | 2 | 4179 | - | 21M| 0 | 106 | 450 | 17k| 450 | 18k| 196 | 0 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
58.18/58.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
58.18/58.30 c 55.5s| 10000 | 12 | 4179 | 0.0 | 21M| 39 | - | 450 | 17k| 0 | 0 | 196 | 45 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
60.67/60.70 c 57.8s| 20000 | 13 | 4179 | 0.0 | 21M| 45 | - | 450 | 17k| 0 | 0 | 196 | 75 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
63.07/63.12 c 60.1s| 30000 | 13 | 4179 | 0.0 | 21M| 49 | - | 450 | 17k| 0 | 0 | 196 | 103 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
65.47/65.51 c 62.4s| 40000 | 12 | 4179 | 0.0 | 21M| 49 | - | 450 | 17k| 0 | 0 | 196 | 148 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
67.77/67.86 c 64.6s| 50000 | 12 | 4179 | 0.0 | 21M| 49 | - | 450 | 17k| 0 | 0 | 196 | 182 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
70.17/70.24 c 66.8s| 60000 | 13 | 4179 | 0.0 | 21M| 49 | - | 450 | 17k| 0 | 0 | 196 | 210 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
72.58/72.64 c 69.1s| 70000 | 15 | 4179 | 0.0 | 21M| 49 | - | 450 | 17k| 0 | 0 | 196 | 253 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
74.97/75.05 c 71.4s| 80000 | 15 | 4179 | 0.0 | 21M| 49 | - | 450 | 17k| 0 | 0 | 196 | 282 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
77.37/77.46 c 73.7s| 90000 | 14 | 4179 | 0.0 | 21M| 51 | - | 450 | 17k| 0 | 0 | 196 | 321 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
79.77/79.84 c 75.9s|100000 | 13 | 4179 | 0.0 | 21M| 56 | - | 450 | 17k| 0 | 0 | 196 | 351 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
82.06/82.15 c 78.1s|110000 | 14 | 4179 | 0.0 | 21M| 56 | - | 450 | 17k| 0 | 0 | 196 | 378 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
84.36/84.44 c 80.3s|120000 | 13 | 4179 | 0.0 | 21M| 56 | - | 450 | 17k| 0 | 0 | 196 | 409 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
86.66/86.74 c 82.4s|130000 | 12 | 4179 | 0.0 | 21M| 56 | - | 450 | 17k| 0 | 0 | 196 | 475 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
88.97/89.04 c 84.6s|140000 | 12 | 4179 | 0.0 | 21M| 56 | - | 450 | 17k| 0 | 0 | 196 | 514 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
91.27/91.37 c 86.8s|150000 | 12 | 4179 | 0.0 | 21M| 56 | - | 450 | 17k| 0 | 0 | 196 | 564 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
93.57/93.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
93.57/93.68 c 89.0s|160000 | 15 | 4179 | 0.0 | 21M| 56 | - | 450 | 17k| 0 | 0 | 196 | 614 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
95.97/96.02 c 91.2s|170000 | 14 | 4179 | 0.0 | 21M| 56 | - | 450 | 17k| 0 | 0 | 196 | 663 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
98.26/98.36 c 93.4s|180000 | 11 | 4179 | 0.0 | 21M| 56 | - | 450 | 17k| 0 | 0 | 196 | 743 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
100.66/100.75 c 95.6s|190000 | 11 | 4179 | 0.0 | 21M| 56 | - | 450 | 17k| 0 | 0 | 196 | 780 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
103.06/103.11 c 97.9s|200000 | 14 | 4179 | 0.0 | 21M| 56 | - | 450 | 17k| 0 | 0 | 196 | 807 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
105.36/105.45 c 100s|210000 | 12 | 4179 | 0.0 | 21M| 56 | - | 450 | 17k| 0 | 0 | 196 | 826 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
107.67/107.76 c 102s|220000 | 13 | 4179 | 0.0 | 21M| 56 | - | 450 | 17k| 0 | 0 | 196 | 873 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
109.97/110.05 c 104s|230000 | 15 | 4179 | 0.0 | 21M| 56 | - | 450 | 17k| 0 | 0 | 196 | 911 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
112.25/112.38 c 107s|240000 | 13 | 4179 | 0.0 | 21M| 56 | - | 450 | 17k| 0 | 0 | 196 | 951 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
114.65/114.72 c 109s|250000 | 14 | 4179 | 0.0 | 21M| 56 | - | 450 | 17k| 0 | 0 | 196 | 996 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
116.95/117.07 c 111s|260000 | 13 | 4179 | 0.0 | 21M| 56 | - | 450 | 17k| 0 | 0 | 196 |1033 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
119.35/119.43 c 113s|270000 | 13 | 4179 | 0.0 | 21M| 56 | - | 450 | 17k| 0 | 0 | 196 |1080 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
121.75/121.80 c 116s|280000 | 13 | 4179 | 0.0 | 21M| 56 | - | 450 | 17k| 0 | 0 | 196 |1126 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
124.05/124.17 c 118s|290000 | 12 | 4179 | 0.0 | 21M| 56 | - | 450 | 17k| 0 | 0 | 196 |1163 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
126.45/126.59 c 120s|300000 | 12 | 4179 | 0.0 | 21M| 56 | - | 450 | 17k| 0 | 0 | 196 |1218 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
128.84/128.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
128.84/128.98 c 122s|310000 | 14 | 4179 | 0.0 | 21M| 56 | - | 450 | 17k| 0 | 0 | 196 |1265 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
131.25/131.31 c 124s|320000 | 13 | 4179 | 0.0 | 21M| 56 | - | 450 | 17k| 0 | 0 | 196 |1312 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
133.54/133.68 c 127s|330000 | 12 | 4179 | 0.0 | 21M| 56 | - | 450 | 17k| 0 | 0 | 196 |1330 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
135.94/136.04 c 129s|340000 | 14 | 4179 | 0.0 | 21M| 56 | - | 450 | 17k| 0 | 0 | 196 |1387 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
138.35/138.40 c 131s|350000 | 13 | 4179 | 0.0 | 21M| 56 | - | 450 | 17k| 0 | 0 | 196 |1406 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
140.65/140.80 c 133s|360000 | 14 | 4179 | 0.0 | 21M| 58 | - | 450 | 17k| 0 | 0 | 196 |1422 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
143.15/143.20 c 136s|370000 | 11 | 4179 | 0.0 | 21M| 58 | - | 450 | 17k| 0 | 0 | 196 |1430 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
145.54/145.67 c 138s|380000 | 13 | 4179 | 0.0 | 21M| 58 | - | 450 | 17k| 0 | 0 | 196 |1458 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
147.94/148.07 c 140s|390000 | 13 | 4179 | 0.0 | 21M| 58 | - | 450 | 17k| 0 | 0 | 196 |1479 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
150.44/150.50 c 143s|400000 | 11 | 4179 | 0.0 | 21M| 58 | - | 450 | 17k| 0 | 0 | 196 |1540 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
152.84/152.91 c 145s|410000 | 12 | 4179 | 0.0 | 21M| 58 | - | 450 | 17k| 0 | 0 | 196 |1554 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
155.24/155.30 c 147s|420000 | 11 | 4179 | 0.0 | 21M| 58 | - | 450 | 17k| 0 | 0 | 196 |1590 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
157.54/157.70 c 149s|430000 | 12 | 4179 | 0.0 | 21M| 58 | - | 450 | 17k| 0 | 0 | 196 |1642 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
159.94/160.05 c 152s|440000 | 12 | 4179 | 0.0 | 21M| 58 | - | 450 | 17k| 0 | 0 | 196 |1674 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
162.34/162.41 c 154s|450000 | 14 | 4179 | 0.0 | 21M| 58 | - | 450 | 17k| 0 | 0 | 196 |1696 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
164.74/164.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
164.74/164.81 c 156s|460000 | 15 | 4179 | 0.0 | 21M| 58 | - | 450 | 17k| 0 | 0 | 196 |1713 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
167.04/167.17 c 158s|470000 | 14 | 4179 | 0.0 | 21M| 58 | - | 450 | 17k| 0 | 0 | 196 |1746 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
169.44/169.53 c 161s|480000 | 12 | 4179 | 0.0 | 21M| 58 | - | 450 | 17k| 0 | 0 | 196 |1757 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
171.73/171.88 c 163s|490000 | 12 | 4179 | 0.0 | 21M| 58 | - | 450 | 17k| 0 | 0 | 196 |1785 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
174.13/174.20 c 165s|500000 | 13 | 4179 | 0.0 | 21M| 58 | - | 450 | 17k| 0 | 0 | 196 |1829 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
176.43/176.55 c 167s|510000 | 10 | 4179 | 0.0 | 21M| 58 | - | 450 | 17k| 0 | 0 | 196 |1859 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
178.73/178.89 c 169s|520000 | 14 | 4179 | 0.0 | 21M| 58 | - | 450 | 17k| 0 | 0 | 196 |1887 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
181.13/181.27 c 172s|530000 | 12 | 4179 | 0.0 | 21M| 58 | - | 450 | 17k| 0 | 0 | 196 |1939 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
183.54/183.62 c 174s|540000 | 12 | 4179 | 0.0 | 21M| 58 | - | 450 | 17k| 0 | 0 | 196 |1966 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
185.93/186.03 c 176s|550000 | 13 | 4179 | 0.0 | 21M| 58 | - | 450 | 17k| 0 | 0 | 196 |2010 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
188.32/188.43 c 178s|560000 | 12 | 4179 | 0.0 | 21M| 58 | - | 450 | 17k| 0 | 0 | 196 |2057 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
190.73/190.80 c 181s|570000 | 13 | 4179 | 0.0 | 21M| 58 | - | 450 | 17k| 0 | 0 | 196 |2108 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
193.02/193.15 c 183s|580000 | 12 | 4179 | 0.0 | 21M| 58 | - | 450 | 17k| 0 | 0 | 196 |2163 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
195.42/195.53 c 185s|590000 | 12 | 4179 | 0.0 | 21M| 58 | - | 450 | 17k| 0 | 0 | 196 |2198 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
197.84/197.92 c 187s|600000 | 13 | 4179 | 0.0 | 21M| 58 | - | 450 | 17k| 0 | 0 | 196 |2243 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
200.23/200.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
200.23/200.30 c 190s|610000 | 13 | 4179 | 0.0 | 21M| 58 | - | 450 | 17k| 0 | 0 | 196 |2264 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
202.52/202.68 c 192s|620000 | 13 | 4179 | 0.0 | 21M| 58 | - | 450 | 17k| 0 | 0 | 196 |2302 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
204.92/205.06 c 194s|630000 | 12 | 4179 | 0.0 | 21M| 59 | - | 450 | 17k| 0 | 0 | 196 |2341 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
207.32/207.43 c 196s|640000 | 12 | 4179 | 0.0 | 21M| 59 | - | 450 | 17k| 0 | 0 | 196 |2375 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
209.73/209.82 c 199s|650000 | 13 | 4179 | 0.0 | 21M| 59 | - | 450 | 17k| 0 | 0 | 196 |2409 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
212.02/212.16 c 201s|660000 | 15 | 4179 | 0.0 | 21M| 59 | - | 450 | 17k| 0 | 0 | 196 |2455 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
214.33/214.49 c 203s|670000 | 12 | 4179 | 0.0 | 21M| 59 | - | 450 | 17k| 0 | 0 | 196 |2484 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
216.72/216.88 c 205s|680000 | 14 | 4179 | 0.0 | 21M| 59 | - | 450 | 17k| 0 | 0 | 196 |2586 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
219.12/219.24 c 208s|690000 | 12 | 4179 | 0.0 | 21M| 59 | - | 450 | 17k| 0 | 0 | 196 |2623 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
221.52/221.63 c 210s|700000 | 11 | 4179 | 0.0 | 21M| 59 | - | 450 | 17k| 0 | 0 | 196 |2664 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
223.92/224.03 c 212s|710000 | 12 | 4179 | 0.0 | 21M| 59 | - | 450 | 17k| 0 | 0 | 196 |2691 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
226.32/226.44 c 214s|720000 | 14 | 4179 | 0.0 | 21M| 59 | - | 450 | 17k| 0 | 0 | 196 |2723 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
228.72/228.83 c 217s|730000 | 13 | 4179 | 0.0 | 21M| 59 | - | 450 | 17k| 0 | 0 | 196 |2753 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
231.12/231.27 c 219s|740000 | 11 | 4179 | 0.0 | 21M| 59 | - | 450 | 17k| 0 | 0 | 196 |2808 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
233.52/233.66 c 221s|750000 | 11 | 4179 | 0.0 | 21M| 59 | - | 450 | 17k| 0 | 0 | 196 |2861 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
235.91/236.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
235.91/236.06 c 223s|760000 | 10 | 4179 | 0.0 | 21M| 59 | - | 450 | 17k| 0 | 0 | 196 |2904 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
238.32/238.43 c 226s|770000 | 14 | 4179 | 0.0 | 21M| 59 | - | 450 | 17k| 0 | 0 | 196 |2938 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
240.62/240.76 c 228s|780000 | 13 | 4179 | 0.0 | 21M| 59 | - | 450 | 17k| 0 | 0 | 196 |2960 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
243.02/243.11 c 230s|790000 | 12 | 4179 | 0.0 | 21M| 59 | - | 450 | 17k| 0 | 0 | 196 |2988 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
245.31/245.43 c 232s|800000 | 13 | 4179 | 0.0 | 21M| 59 | - | 450 | 17k| 0 | 0 | 196 |3029 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
247.72/247.83 c 235s|810000 | 13 | 4179 | 0.0 | 21M| 59 | - | 450 | 17k| 0 | 0 | 196 |3045 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
250.11/250.25 c 237s|820000 | 11 | 4179 | 0.0 | 21M| 59 | - | 450 | 17k| 0 | 0 | 196 |3074 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
252.51/252.60 c 239s|830000 | 14 | 4179 | 0.0 | 21M| 59 | - | 450 | 17k| 0 | 0 | 196 |3096 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
254.81/254.96 c 241s|840000 | 13 | 4179 | 0.0 | 21M| 59 | - | 450 | 17k| 0 | 0 | 196 |3143 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
257.11/257.29 c 243s|850000 | 12 | 4179 | 0.0 | 21M| 59 | - | 450 | 17k| 0 | 0 | 196 |3179 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
259.51/259.68 c 246s|860000 | 15 | 4179 | 0.0 | 21M| 59 | - | 450 | 17k| 0 | 0 | 196 |3205 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
261.91/262.05 c 248s|870000 | 10 | 4179 | 0.0 | 21M| 59 | - | 450 | 17k| 0 | 0 | 196 |3237 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
264.31/264.43 c 250s|880000 | 11 | 4179 | 0.0 | 21M| 59 | - | 450 | 17k| 0 | 0 | 196 |3263 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
266.71/266.84 c 252s|890000 | 13 | 4179 | 0.0 | 21M| 59 | - | 450 | 17k| 0 | 0 | 196 |3310 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
269.10/269.22 c 255s|900000 | 12 | 4179 | 0.0 | 21M| 59 | - | 450 | 17k| 0 | 0 | 196 |3345 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
271.40/271.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
271.40/271.55 c 257s|910000 | 13 | 4179 | 0.0 | 21M| 62 | - | 450 | 17k| 0 | 0 | 196 |3406 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
273.81/273.95 c 259s|920000 | 14 | 4179 | 0.0 | 21M| 62 | - | 450 | 17k| 0 | 0 | 196 |3441 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
276.11/276.27 c 261s|930000 | 13 | 4179 | 0.0 | 21M| 62 | - | 450 | 17k| 0 | 0 | 196 |3475 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
278.41/278.57 c 264s|940000 | 12 | 4179 | 0.0 | 21M| 62 | - | 450 | 17k| 0 | 0 | 196 |3512 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
280.80/280.90 c 266s|950000 | 14 | 4179 | 0.0 | 21M| 62 | - | 450 | 17k| 0 | 0 | 196 |3578 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
283.10/283.25 c 268s|960000 | 8 | 4179 | 0.0 | 21M| 62 | - | 450 | 17k| 0 | 0 | 196 |3611 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
285.50/285.60 c 270s|970000 | 13 | 4179 | 0.0 | 21M| 62 | - | 450 | 17k| 0 | 0 | 196 |3644 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
287.80/287.96 c 272s|980000 | 11 | 4179 | 0.0 | 21M| 62 | - | 450 | 17k| 0 | 0 | 196 |3689 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
290.10/290.30 c 275s|990000 | 13 | 4179 | 0.0 | 21M| 62 | - | 450 | 17k| 0 | 0 | 196 |3723 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
292.60/292.71 c 277s| 1000k| 11 | 4179 | 0.0 | 21M| 62 | - | 450 | 17k| 0 | 0 | 196 |3756 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
295.00/295.10 c 279s| 1010k| 14 | 4179 | 0.0 | 21M| 62 | - | 450 | 17k| 0 | 0 | 196 |3790 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
297.40/297.54 c 281s| 1020k| 11 | 4179 | 0.0 | 21M| 62 | - | 450 | 17k| 0 | 0 | 196 |3824 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
299.80/299.92 c 284s| 1030k| 14 | 4179 | 0.0 | 21M| 62 | - | 450 | 17k| 0 | 0 | 196 |3854 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
302.10/302.25 c 286s| 1040k| 14 | 4179 | 0.0 | 21M| 62 | - | 450 | 17k| 0 | 0 | 196 |3908 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
304.39/304.54 c 288s| 1050k| 11 | 4179 | 0.0 | 21M| 62 | - | 450 | 17k| 0 | 0 | 196 |3930 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
306.81/306.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
306.81/306.96 c 290s| 1060k| 13 | 4179 | 0.0 | 21M| 62 | - | 450 | 17k| 0 | 0 | 196 |3943 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
309.19/309.36 c 293s| 1070k| 13 | 4179 | 0.0 | 21M| 62 | - | 450 | 17k| 0 | 0 | 196 |3981 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
311.59/311.73 c 295s| 1080k| 12 | 4179 | 0.0 | 21M| 62 | - | 450 | 17k| 0 | 0 | 196 |3999 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
313.98/314.14 c 297s| 1090k| 12 | 4179 | 0.0 | 21M| 62 | - | 450 | 17k| 0 | 0 | 196 |4025 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
316.38/316.57 c 299s| 1100k| 11 | 4179 | 0.0 | 21M| 62 | - | 450 | 17k| 0 | 0 | 196 |4104 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
318.90/319.01 c 302s| 1110k| 10 | 4179 | 0.0 | 21M| 62 | - | 450 | 17k| 0 | 0 | 196 |4127 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
321.28/321.47 c 304s| 1120k| 12 | 4179 | 0.0 | 21M| 62 | - | 450 | 17k| 0 | 0 | 196 |4170 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
323.79/323.91 c 306s| 1130k| 12 | 4179 | 0.0 | 21M| 62 | - | 450 | 17k| 0 | 0 | 196 |4210 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
326.09/326.24 c 309s| 1140k| 13 | 4179 | 0.0 | 21M| 62 | - | 450 | 17k| 0 | 0 | 196 |4241 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
328.38/328.56 c 311s| 1150k| 13 | 4179 | 0.0 | 21M| 62 | - | 450 | 17k| 0 | 0 | 196 |4277 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
330.78/330.90 c 313s| 1160k| 13 | 4179 | 0.0 | 21M| 62 | - | 450 | 17k| 0 | 0 | 196 |4347 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
333.10/333.27 c 315s| 1170k| 12 | 4179 | 0.0 | 21M| 62 | - | 450 | 17k| 0 | 0 | 196 |4386 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
335.39/335.59 c 317s| 1180k| 13 | 4179 | 0.0 | 21M| 62 | - | 450 | 17k| 0 | 0 | 196 |4443 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
337.79/337.93 c 319s| 1190k| 12 | 4179 | 0.0 | 21M| 62 | - | 450 | 17k| 0 | 0 | 196 |4471 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
340.19/340.33 c 322s| 1200k| 12 | 4179 | 0.0 | 21M| 62 | - | 450 | 17k| 0 | 0 | 196 |4516 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
342.58/342.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
342.58/342.72 c 324s| 1210k| 12 | 4179 | 0.0 | 21M| 62 | - | 450 | 17k| 0 | 0 | 196 |4564 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
344.88/345.09 c 326s| 1220k| 12 | 4179 | 0.0 | 21M| 62 | - | 450 | 17k| 0 | 0 | 196 |4610 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
347.28/347.40 c 328s| 1230k| 14 | 4179 | 0.0 | 21M| 62 | - | 450 | 17k| 0 | 0 | 196 |4653 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
349.58/349.78 c 331s| 1240k| 13 | 4179 | 0.0 | 21M| 62 | - | 450 | 17k| 0 | 0 | 196 |4692 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
351.98/352.17 c 333s| 1250k| 9 | 4179 | 0.0 | 21M| 62 | - | 450 | 17k| 0 | 0 | 196 |4717 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
354.38/354.52 c 335s| 1260k| 11 | 4179 | 0.0 | 21M| 63 | - | 450 | 17k| 0 | 0 | 196 |4761 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
356.68/356.83 c 337s| 1270k| 13 | 4179 | 0.0 | 21M| 63 | - | 450 | 17k| 0 | 0 | 196 |4798 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
358.98/359.15 c 340s| 1280k| 12 | 4179 | 0.0 | 21M| 63 | - | 450 | 17k| 0 | 0 | 196 |4868 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
361.38/361.51 c 342s| 1290k| 14 | 4179 | 0.0 | 21M| 63 | - | 450 | 17k| 0 | 0 | 196 |4918 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
363.68/363.83 c 344s| 1300k| 14 | 4179 | 0.0 | 21M| 63 | - | 450 | 17k| 0 | 0 | 196 |4976 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
365.98/366.16 c 346s| 1310k| 11 | 4179 | 0.0 | 21M| 63 | - | 450 | 17k| 0 | 0 | 196 |5034 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
368.28/368.50 c 348s| 1320k| 12 | 4179 | 0.0 | 21M| 63 | - | 450 | 17k| 0 | 0 | 196 |5067 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
370.67/370.81 c 351s| 1330k| 11 | 4179 | 0.0 | 21M| 63 | - | 450 | 17k| 0 | 0 | 196 |5083 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
372.97/373.11 c 353s| 1340k| 10 | 4179 | 0.0 | 21M| 63 | - | 450 | 17k| 0 | 0 | 196 |5121 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
375.27/375.45 c 355s| 1350k| 11 | 4179 | 0.0 | 21M| 63 | - | 450 | 17k| 0 | 0 | 196 |5166 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
377.67/377.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
377.67/377.84 c 357s| 1360k| 13 | 4179 | 0.0 | 21M| 63 | - | 450 | 17k| 0 | 0 | 196 |5190 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
380.07/380.25 c 359s| 1370k| 13 | 4179 | 0.0 | 21M| 63 | - | 450 | 17k| 0 | 0 | 196 |5228 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
382.47/382.61 c 362s| 1380k| 11 | 4179 | 0.0 | 21M| 63 | - | 450 | 17k| 0 | 0 | 196 |5245 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
384.78/385.00 c 364s| 1390k| 11 | 4179 | 0.0 | 21M| 63 | - | 450 | 17k| 0 | 0 | 196 |5265 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
387.27/387.41 c 366s| 1400k| 11 | 4179 | 0.0 | 21M| 63 | - | 450 | 17k| 0 | 0 | 196 |5310 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
389.67/389.81 c 369s| 1410k| 12 | 4179 | 0.0 | 21M| 63 | - | 450 | 17k| 0 | 0 | 196 |5339 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
392.07/392.20 c 371s| 1420k| 12 | 4179 | 0.0 | 21M| 63 | - | 450 | 17k| 0 | 0 | 196 |5382 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
394.47/394.61 c 373s| 1430k| 13 | 4179 | 0.0 | 21M| 63 | - | 450 | 17k| 0 | 0 | 196 |5394 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
396.87/397.01 c 375s| 1440k| 11 | 4179 | 0.0 | 21M| 63 | - | 450 | 17k| 0 | 0 | 196 |5483 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
399.18/399.39 c 378s| 1450k| 14 | 4179 | 0.0 | 21M| 63 | - | 450 | 17k| 0 | 0 | 196 |5519 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
401.57/401.75 c 380s| 1460k| 13 | 4179 | 0.0 | 21M| 63 | - | 450 | 17k| 0 | 0 | 196 |5549 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
404.06/404.20 c 382s| 1470k| 16 | 4179 | 0.0 | 21M| 63 | - | 450 | 17k| 0 | 0 | 196 |5579 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
406.37/406.56 c 384s| 1480k| 14 | 4179 | 0.0 | 21M| 63 | - | 450 | 17k| 0 | 0 | 196 |5618 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
408.76/408.97 c 387s| 1490k| 10 | 4179 | 0.0 | 21M| 63 | - | 450 | 17k| 0 | 0 | 196 |5637 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
411.17/411.38 c 389s| 1500k| 14 | 4179 | 0.0 | 21M| 63 | - | 450 | 17k| 0 | 0 | 196 |5647 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
413.56/413.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
413.56/413.79 c 391s| 1510k| 12 | 4179 | 0.0 | 21M| 63 | - | 450 | 17k| 0 | 0 | 196 |5710 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
416.06/416.22 c 394s| 1520k| 12 | 4179 | 0.0 | 21M| 63 | - | 450 | 17k| 0 | 0 | 196 |5737 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
418.46/418.66 c 396s| 1530k| 15 | 4179 | 0.0 | 21M| 63 | - | 450 | 17k| 0 | 0 | 196 |5767 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
420.76/420.98 c 398s| 1540k| 12 | 4179 | 0.0 | 21M| 63 | - | 450 | 17k| 0 | 0 | 196 |5804 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
423.06/423.26 c 400s| 1550k| 15 | 4179 | 0.0 | 21M| 63 | - | 450 | 17k| 0 | 0 | 196 |5835 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
425.35/425.57 c 402s| 1560k| 10 | 4179 | 0.0 | 21M| 63 | - | 450 | 17k| 0 | 0 | 196 |5867 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
427.76/427.93 c 405s| 1570k| 14 | 4179 | 0.0 | 21M| 63 | - | 450 | 17k| 0 | 0 | 196 |5892 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
430.06/430.27 c 407s| 1580k| 11 | 4179 | 0.0 | 21M| 63 | - | 450 | 17k| 0 | 0 | 196 |5922 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
432.46/432.64 c 409s| 1590k| 15 | 4179 | 0.0 | 21M| 63 | - | 450 | 17k| 0 | 0 | 196 |5978 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
434.75/434.99 c 411s| 1600k| 12 | 4179 | 0.0 | 21M| 63 | - | 450 | 17k| 0 | 0 | 196 |6005 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
437.15/437.34 c 413s| 1610k| 12 | 4179 | 0.0 | 21M| 63 | - | 450 | 17k| 0 | 0 | 196 |6026 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
439.56/439.74 c 416s| 1620k| 10 | 4179 | 0.0 | 21M| 63 | - | 450 | 17k| 0 | 0 | 196 |6044 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
441.96/442.11 c 418s| 1630k| 12 | 4179 | 0.0 | 21M| 64 | - | 450 | 17k| 0 | 0 | 196 |6060 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
444.26/444.43 c 420s| 1640k| 11 | 4179 | 0.0 | 21M| 64 | - | 450 | 17k| 0 | 0 | 196 |6104 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
446.56/446.78 c 422s| 1650k| 13 | 4179 | 0.0 | 21M| 64 | - | 450 | 17k| 0 | 0 | 196 |6135 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
448.95/449.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
448.95/449.14 c 425s| 1660k| 13 | 4179 | 0.0 | 21M| 64 | - | 450 | 17k| 0 | 0 | 196 |6150 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
451.36/451.56 c 427s| 1670k| 14 | 4179 | 0.0 | 21M| 64 | - | 450 | 17k| 0 | 0 | 196 |6173 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
453.75/453.91 c 429s| 1680k| 12 | 4179 | 0.0 | 21M| 64 | - | 450 | 17k| 0 | 0 | 196 |6195 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
456.05/456.28 c 431s| 1690k| 11 | 4179 | 0.0 | 21M| 64 | - | 450 | 17k| 0 | 0 | 196 |6209 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
458.46/458.65 c 434s| 1700k| 11 | 4179 | 0.0 | 21M| 64 | - | 450 | 17k| 0 | 0 | 196 |6231 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
460.76/460.99 c 436s| 1710k| 14 | 4179 | 0.0 | 21M| 64 | - | 450 | 17k| 0 | 0 | 196 |6282 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
463.15/463.34 c 438s| 1720k| 13 | 4179 | 0.0 | 21M| 64 | - | 450 | 17k| 0 | 0 | 196 |6313 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
465.55/465.73 c 440s| 1730k| 12 | 4179 | 0.0 | 21M| 64 | - | 450 | 17k| 0 | 0 | 196 |6375 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
467.85/468.06 c 442s| 1740k| 11 | 4179 | 0.0 | 21M| 64 | - | 450 | 17k| 0 | 0 | 196 |6394 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
470.25/470.40 c 445s| 1750k| 11 | 4179 | 0.0 | 21M| 64 | - | 450 | 17k| 0 | 0 | 196 |6417 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
472.54/472.77 c 447s| 1760k| 12 | 4179 | 0.0 | 21M| 64 | - | 450 | 17k| 0 | 0 | 196 |6428 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
474.95/475.16 c 449s| 1770k| 12 | 4179 | 0.0 | 21M| 64 | - | 450 | 17k| 0 | 0 | 196 |6467 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
477.35/477.53 c 451s| 1780k| 11 | 4179 | 0.0 | 21M| 64 | - | 450 | 17k| 0 | 0 | 196 |6505 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
479.74/479.93 c 454s| 1790k| 12 | 4179 | 0.0 | 21M| 64 | - | 450 | 17k| 0 | 0 | 196 |6562 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
482.14/482.38 c 456s| 1800k| 9 | 4179 | 0.0 | 21M| 64 | - | 450 | 17k| 0 | 0 | 196 |6596 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
484.54/484.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
484.54/484.71 c 458s| 1810k| 10 | 4179 | 0.0 | 21M| 64 | - | 450 | 17k| 0 | 0 | 196 |6637 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
486.84/487.04 c 460s| 1820k| 13 | 4179 | 0.0 | 21M| 64 | - | 450 | 17k| 0 | 0 | 196 |6661 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
489.25/489.43 c 463s| 1830k| 11 | 4179 | 0.0 | 21M| 64 | - | 450 | 17k| 0 | 0 | 196 |6713 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
491.64/491.81 c 465s| 1840k| 11 | 4179 | 0.0 | 21M| 64 | - | 450 | 17k| 0 | 0 | 196 |6760 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
494.04/494.21 c 467s| 1850k| 11 | 4179 | 0.0 | 21M| 64 | - | 450 | 17k| 0 | 0 | 196 |6800 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
496.34/496.58 c 469s| 1860k| 12 | 4179 | 0.0 | 21M| 64 | - | 450 | 17k| 0 | 0 | 196 |6835 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
498.64/498.89 c 472s| 1870k| 11 | 4179 | 0.0 | 21M| 64 | - | 450 | 17k| 0 | 0 | 196 |6860 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
501.03/501.25 c 474s| 1880k| 11 | 4179 | 0.0 | 21M| 66 | - | 450 | 17k| 0 | 0 | 196 |6907 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
503.44/503.62 c 476s| 1890k| 13 | 4179 | 0.0 | 21M| 66 | - | 450 | 17k| 0 | 0 | 196 |6957 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
505.74/505.98 c 478s| 1900k| 13 | 4179 | 0.0 | 21M| 66 | - | 450 | 17k| 0 | 0 | 196 |6975 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
508.14/508.35 c 481s| 1910k| 13 | 4179 | 0.0 | 21M| 66 | - | 450 | 17k| 0 | 0 | 196 |7015 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
510.53/510.75 c 483s| 1920k| 13 | 4179 | 0.0 | 21M| 68 | - | 450 | 17k| 0 | 0 | 196 |7049 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
513.03/513.24 c 485s| 1930k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |7064 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
515.53/515.70 c 488s| 1940k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |7104 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
517.94/518.18 c 490s| 1950k| 14 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |7143 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
520.43/520.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
520.43/520.66 c 492s| 1960k| 13 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |7177 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
522.93/523.18 c 495s| 1970k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |7197 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
525.43/525.67 c 497s| 1980k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |7231 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
528.03/528.22 c 499s| 1990k| 13 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |7250 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
530.53/530.75 c 502s| 2000k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |7287 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
533.03/533.29 c 504s| 2010k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |7296 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
535.53/535.75 c 507s| 2020k| 13 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |7350 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
537.93/538.15 c 509s| 2030k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |7398 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
540.42/540.63 c 511s| 2040k| 10 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |7424 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
542.92/543.10 c 513s| 2050k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |7442 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
545.33/545.56 c 516s| 2060k| 11 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |7466 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
547.83/548.04 c 518s| 2070k| 11 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |7500 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
550.32/550.52 c 520s| 2080k| 11 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |7519 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
552.82/553.02 c 523s| 2090k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |7573 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
555.22/555.50 c 525s| 2100k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |7596 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
557.82/558.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
557.82/558.02 c 528s| 2110k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |7619 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
560.32/560.50 c 530s| 2120k| 11 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |7646 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
562.72/562.98 c 532s| 2130k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |7678 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
565.23/565.41 c 535s| 2140k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |7696 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
567.61/567.85 c 537s| 2150k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |7719 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
570.02/570.30 c 539s| 2160k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |7768 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
572.52/572.75 c 541s| 2170k| 10 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |7801 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
574.92/575.19 c 544s| 2180k| 13 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |7837 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
577.42/577.64 c 546s| 2190k| 13 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |7858 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
579.81/580.08 c 548s| 2200k| 10 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |7885 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
582.32/582.56 c 551s| 2210k| 10 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |7899 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
584.71/584.96 c 553s| 2220k| 11 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |7931 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
587.22/587.43 c 555s| 2230k| 11 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |7976 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
589.61/589.90 c 558s| 2240k| 11 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |8002 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
592.12/592.39 c 560s| 2250k| 15 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |8041 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
594.51/594.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
594.51/594.78 c 562s| 2260k| 16 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |8090 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
597.02/597.20 c 565s| 2270k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |8145 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
599.31/599.59 c 567s| 2280k| 13 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |8169 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
601.71/601.99 c 569s| 2290k| 13 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |8186 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
604.10/604.35 c 571s| 2300k| 11 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |8238 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
606.51/606.74 c 574s| 2310k| 14 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |8278 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
608.91/609.13 c 576s| 2320k| 11 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |8302 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
611.31/611.55 c 578s| 2330k| 13 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |8320 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
613.71/613.96 c 580s| 2340k| 14 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |8354 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
616.11/616.33 c 583s| 2350k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |8385 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
618.50/618.73 c 585s| 2360k| 10 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |8402 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
620.90/621.10 c 587s| 2370k| 11 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |8436 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
623.20/623.48 c 589s| 2380k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |8466 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
625.71/625.92 c 592s| 2390k| 11 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |8489 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
628.10/628.32 c 594s| 2400k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |8515 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
630.50/630.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
630.50/630.79 c 596s| 2410k| 10 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |8541 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
632.90/633.19 c 599s| 2420k| 13 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |8570 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
635.30/635.53 c 601s| 2430k| 13 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |8604 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
637.60/637.89 c 603s| 2440k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |8655 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
640.00/640.21 c 605s| 2450k| 11 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |8685 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
642.30/642.57 c 608s| 2460k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |8735 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
644.70/644.91 c 610s| 2470k| 13 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |8775 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
647.00/647.26 c 612s| 2480k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |8842 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
649.39/649.62 c 614s| 2490k| 14 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |8866 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
651.69/651.99 c 616s| 2500k| 13 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |8890 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
654.10/654.34 c 619s| 2510k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |8904 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
656.40/656.70 c 621s| 2520k| 13 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |8923 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
658.80/659.08 c 623s| 2530k| 14 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |8962 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
661.20/661.46 c 625s| 2540k| 13 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |8987 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
663.59/663.87 c 628s| 2550k| 13 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |9015 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
665.99/666.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
665.99/666.26 c 630s| 2560k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |9036 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
668.39/668.64 c 632s| 2570k| 13 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |9073 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
670.69/671.00 c 634s| 2580k| 14 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |9097 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
673.09/673.35 c 637s| 2590k| 14 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |9137 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
675.49/675.73 c 639s| 2600k| 13 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |9162 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
677.78/678.03 c 641s| 2610k| 13 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |9179 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
680.08/680.39 c 643s| 2620k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |9208 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
682.48/682.77 c 645s| 2630k| 13 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |9249 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
684.99/685.20 c 648s| 2640k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |9270 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
687.30/687.56 c 650s| 2650k| 10 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |9305 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
689.68/689.93 c 652s| 2660k| 13 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |9323 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
692.09/692.33 c 654s| 2670k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |9369 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
694.48/694.71 c 657s| 2680k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |9387 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
696.79/697.08 c 659s| 2690k| 14 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |9416 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
699.19/699.44 c 661s| 2700k| 15 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |9445 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
701.59/701.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
701.59/701.83 c 663s| 2710k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |9460 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
703.98/704.23 c 666s| 2720k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |9503 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
706.39/706.63 c 668s| 2730k| 13 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |9528 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
708.78/709.04 c 670s| 2740k| 16 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |9568 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
711.08/711.39 c 672s| 2750k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |9586 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
713.48/713.76 c 675s| 2760k| 13 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |9614 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
715.88/716.11 c 677s| 2770k| 14 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |9652 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
718.27/718.51 c 679s| 2780k| 10 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |9696 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
720.68/720.93 c 682s| 2790k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |9725 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
723.08/723.33 c 684s| 2800k| 13 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |9757 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
725.38/725.64 c 686s| 2810k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |9799 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
727.68/727.97 c 688s| 2820k| 11 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |9841 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
730.08/730.36 c 690s| 2830k| 14 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |9879 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
732.38/732.67 c 693s| 2840k| 16 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |9906 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
734.67/734.95 c 695s| 2850k| 13 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |9960 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
737.07/737.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
737.07/737.30 c 697s| 2860k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 |9981 | 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
739.37/739.68 c 699s| 2870k| 11 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 10k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
741.77/742.03 c 701s| 2880k| 13 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 10k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
744.07/744.34 c 704s| 2890k| 13 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 10k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
746.37/746.69 c 706s| 2900k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 10k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
748.67/748.99 c 708s| 2910k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 10k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
751.07/751.36 c 710s| 2920k| 13 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 10k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
753.46/753.72 c 713s| 2930k| 13 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 10k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
755.87/756.11 c 715s| 2940k| 13 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 10k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
758.16/758.48 c 717s| 2950k| 11 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 10k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
760.57/760.85 c 719s| 2960k| 11 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 10k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
762.96/763.20 c 722s| 2970k| 16 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 10k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
765.27/765.53 c 724s| 2980k| 13 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 10k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
767.57/767.86 c 726s| 2990k| 13 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 10k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
769.86/770.15 c 728s| 3000k| 11 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 10k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
772.17/772.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
772.17/772.48 c 730s| 3010k| 16 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 10k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
774.56/774.86 c 733s| 3020k| 13 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 10k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
776.97/777.24 c 735s| 3030k| 14 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 10k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
779.36/779.63 c 737s| 3040k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 10k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
781.66/781.98 c 739s| 3050k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 10k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
784.07/784.34 c 742s| 3060k| 14 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 10k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
786.46/786.70 c 744s| 3070k| 11 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 10k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
788.75/789.03 c 746s| 3080k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 10k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
791.06/791.36 c 748s| 3090k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 10k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
793.45/793.72 c 750s| 3100k| 13 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 10k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
795.75/796.09 c 753s| 3110k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 10k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
798.15/798.40 c 755s| 3120k| 13 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 10k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
800.46/800.74 c 757s| 3130k| 13 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 10k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
802.76/803.04 c 759s| 3140k| 10 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 10k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
805.05/805.35 c 761s| 3150k| 10 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 10k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
807.35/807.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
807.35/807.69 c 764s| 3160k| 13 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 11k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
809.75/810.06 c 766s| 3170k| 13 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 11k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
812.15/812.40 c 768s| 3180k| 10 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 11k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
814.45/814.73 c 770s| 3190k| 13 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 11k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
816.85/817.11 c 772s| 3200k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 11k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
819.16/819.44 c 775s| 3210k| 14 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 11k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
821.46/821.77 c 777s| 3220k| 15 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 11k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
823.74/824.09 c 779s| 3230k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 11k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
826.15/826.45 c 781s| 3240k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 11k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
828.55/828.80 c 783s| 3250k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 11k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
830.85/831.16 c 786s| 3260k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 11k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
833.25/833.51 c 788s| 3270k| 13 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 11k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
835.54/835.89 c 790s| 3280k| 13 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 11k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
837.95/838.23 c 792s| 3290k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 11k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
840.24/840.58 c 795s| 3300k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 11k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
842.65/842.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
842.65/842.95 c 797s| 3310k| 13 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 11k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
845.05/845.31 c 799s| 3320k| 14 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 11k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
847.45/847.70 c 801s| 3330k| 14 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 11k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
849.84/850.14 c 804s| 3340k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 11k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
852.25/852.54 c 806s| 3350k| 11 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 11k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
854.64/854.93 c 808s| 3360k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 11k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
857.04/857.31 c 810s| 3370k| 14 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 11k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
859.34/859.65 c 813s| 3380k| 13 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 11k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
861.74/862.07 c 815s| 3390k| 14 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 11k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
864.14/864.47 c 817s| 3400k| 10 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 11k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
866.63/866.90 c 819s| 3410k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 11k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
869.03/869.31 c 822s| 3420k| 11 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 11k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
871.34/871.68 c 824s| 3430k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 11k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
873.74/874.03 c 826s| 3440k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 11k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
876.13/876.40 c 828s| 3450k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 11k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
878.43/878.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
878.43/878.76 c 831s| 3460k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 11k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
880.74/881.09 c 833s| 3470k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 12k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
883.13/883.44 c 835s| 3480k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 12k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
885.44/885.79 c 837s| 3490k| 14 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 12k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
887.83/888.12 c 839s| 3500k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 12k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
890.13/890.48 c 842s| 3510k| 11 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 12k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
892.53/892.87 c 844s| 3520k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 12k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
894.93/895.20 c 846s| 3530k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 12k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
897.24/897.59 c 848s| 3540k| 11 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 12k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
899.73/900.02 c 851s| 3550k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 12k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
902.03/902.38 c 853s| 3560k| 14 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 12k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
904.43/904.79 c 855s| 3570k| 13 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 12k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
906.82/907.18 c 857s| 3580k| 14 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 12k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
909.34/909.60 c 860s| 3590k| 11 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 12k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
911.73/912.04 c 862s| 3600k| 11 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 12k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
914.22/914.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
914.22/914.50 c 864s| 3610k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 12k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
916.62/916.94 c 867s| 3620k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 12k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
919.02/919.33 c 869s| 3630k| 13 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 12k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
921.32/921.69 c 871s| 3640k| 8 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 12k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
923.73/924.01 c 873s| 3650k| 13 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 12k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
926.02/926.30 c 876s| 3660k| 11 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 12k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
928.32/928.60 c 878s| 3670k| 14 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 12k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
930.62/930.91 c 880s| 3680k| 14 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 12k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
932.92/933.25 c 882s| 3690k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 12k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
935.22/935.57 c 884s| 3700k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 12k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
937.62/937.95 c 887s| 3710k| 11 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 12k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
940.02/940.31 c 889s| 3720k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 13k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
942.32/942.65 c 891s| 3730k| 10 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 13k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
944.72/945.01 c 893s| 3740k| 13 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 13k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
947.02/947.35 c 895s| 3750k| 10 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 13k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
949.41/949.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
949.41/949.71 c 898s| 3760k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 13k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
951.71/952.08 c 900s| 3770k| 13 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 13k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
954.11/954.45 c 902s| 3780k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 13k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
956.41/956.79 c 904s| 3790k| 11 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 13k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
958.82/959.16 c 907s| 3800k| 14 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 13k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
961.22/961.51 c 909s| 3810k| 14 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 13k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
963.51/963.81 c 911s| 3820k| 13 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 13k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
965.81/966.15 c 913s| 3830k| 13 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 13k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
968.11/968.47 c 915s| 3840k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 13k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
970.41/970.76 c 917s| 3850k| 13 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 13k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
972.71/973.09 c 920s| 3860k| 11 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 13k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
975.11/975.45 c 922s| 3870k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 13k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
977.40/977.77 c 924s| 3880k| 14 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 13k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
979.81/980.15 c 926s| 3890k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 13k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
982.21/982.50 c 928s| 3900k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 13k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
984.40/984.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
984.40/984.79 c 931s| 3910k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 13k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
986.70/987.09 c 933s| 3920k| 13 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 13k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
989.11/989.41 c 935s| 3930k| 14 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 13k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
991.40/991.79 c 937s| 3940k| 13 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 13k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
993.80/994.16 c 939s| 3950k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 13k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
996.21/996.51 c 942s| 3960k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 13k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
998.51/998.88 c 944s| 3970k| 11 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 13k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1000.90/1001.25 c 946s| 3980k| 11 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 13k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1003.30/1003.62 c 948s| 3990k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 14k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1005.60/1006.00 c 951s| 4000k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 14k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1008.00/1008.36 c 953s| 4010k| 10 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 14k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1010.40/1010.75 c 955s| 4020k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 14k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1012.80/1013.15 c 957s| 4030k| 13 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 14k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1015.10/1015.47 c 960s| 4040k| 13 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 14k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1017.39/1017.78 c 962s| 4050k| 11 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 14k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1019.79/1020.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1019.79/1020.12 c 964s| 4060k| 11 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 14k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1022.10/1022.46 c 966s| 4070k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 14k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1024.49/1024.87 c 968s| 4080k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 14k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1026.90/1027.21 c 971s| 4090k| 13 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 14k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1029.20/1029.59 c 973s| 4100k| 13 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 14k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1031.59/1031.94 c 975s| 4110k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 14k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1033.99/1034.33 c 977s| 4120k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 14k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1036.40/1036.73 c 980s| 4130k| 11 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 14k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1038.79/1039.13 c 982s| 4140k| 13 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 14k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1041.19/1041.53 c 984s| 4150k| 10 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 14k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1043.50/1043.87 c 986s| 4160k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 14k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1045.89/1046.26 c 989s| 4170k| 11 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 14k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1048.39/1048.71 c 991s| 4180k| 11 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 14k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1050.79/1051.12 c 993s| 4190k| 12 | 4179 | 0.0 | 21M| 72 | - | 450 | 17k| 0 | 0 | 196 | 14k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1053.19/1053.53 c 996s| 4200k| 11 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 14k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1055.60/1055.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1055.60/1055.93 c 998s| 4210k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 14k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1057.99/1058.35 c 1000s| 4220k| 9 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 15k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1060.39/1060.72 c 1002s| 4230k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 15k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1062.79/1063.13 c 1005s| 4240k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 15k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1065.18/1065.55 c 1007s| 4250k| 11 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 15k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1067.48/1067.89 c 1009s| 4260k| 11 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 15k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1069.89/1070.29 c 1011s| 4270k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 15k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1072.38/1072.73 c 1014s| 4280k| 14 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 15k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1074.78/1075.17 c 1016s| 4290k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 15k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1077.18/1077.52 c 1018s| 4300k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 15k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1079.48/1079.85 c 1020s| 4310k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 15k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1081.88/1082.24 c 1023s| 4320k| 11 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 15k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1084.28/1084.64 c 1025s| 4330k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 15k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1086.67/1087.03 c 1027s| 4340k| 15 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 15k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1089.07/1089.41 c 1030s| 4350k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 15k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1091.48/1091.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1091.48/1091.81 c 1032s| 4360k| 14 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 15k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1093.78/1094.19 c 1034s| 4370k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 15k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1096.17/1096.57 c 1036s| 4380k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 15k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1098.68/1099.02 c 1039s| 4390k| 11 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 15k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1101.08/1101.42 c 1041s| 4400k| 11 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 15k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1103.38/1103.78 c 1043s| 4410k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 15k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1105.78/1106.18 c 1045s| 4420k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 15k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1108.27/1108.60 c 1048s| 4430k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 15k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1110.68/1111.03 c 1050s| 4440k| 11 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 15k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1112.97/1113.38 c 1052s| 4450k| 14 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 15k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1115.36/1115.75 c 1054s| 4460k| 16 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 15k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1117.67/1118.08 c 1057s| 4470k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 15k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1119.97/1120.37 c 1059s| 4480k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 15k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1122.37/1122.74 c 1061s| 4490k| 11 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 15k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1124.77/1125.12 c 1063s| 4500k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 15k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1127.17/1127.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1127.17/1127.51 c 1066s| 4510k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 15k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1129.56/1129.91 c 1068s| 4520k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 15k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1131.96/1132.32 c 1070s| 4530k| 11 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 15k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1134.36/1134.73 c 1072s| 4540k| 11 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 15k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1136.77/1137.15 c 1075s| 4550k| 11 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 15k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1139.17/1139.58 c 1077s| 4560k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 15k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1141.57/1141.95 c 1079s| 4570k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 16k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1143.97/1144.30 c 1081s| 4580k| 11 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 16k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1146.26/1146.69 c 1084s| 4590k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 16k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1148.76/1149.17 c 1086s| 4600k| 10 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 16k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1151.26/1151.65 c 1088s| 4610k| 11 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 16k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1153.66/1154.08 c 1091s| 4620k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 16k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1156.06/1156.44 c 1093s| 4630k| 14 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 16k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1158.45/1158.81 c 1095s| 4640k| 11 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 16k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1160.76/1161.10 c 1097s| 4650k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 16k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1163.05/1163.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1163.05/1163.47 c 1100s| 4660k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 16k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1165.46/1165.85 c 1102s| 4670k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 16k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1167.87/1168.22 c 1104s| 4680k| 14 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 16k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1170.25/1170.60 c 1106s| 4690k| 10 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 16k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1172.66/1173.01 c 1109s| 4700k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 16k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1174.95/1175.39 c 1111s| 4710k| 14 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 16k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1177.35/1177.75 c 1113s| 4720k| 14 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 16k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1179.65/1180.09 c 1115s| 4730k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 16k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1182.06/1182.45 c 1118s| 4740k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 16k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1184.45/1184.87 c 1120s| 4750k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 16k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1186.85/1187.27 c 1122s| 4760k| 11 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 16k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1189.34/1189.71 c 1124s| 4770k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 16k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1191.74/1192.10 c 1127s| 4780k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 16k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1194.05/1194.46 c 1129s| 4790k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 16k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1196.45/1196.89 c 1131s| 4800k| 11 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 16k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1198.85/1199.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1198.85/1199.29 c 1133s| 4810k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 16k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1201.24/1201.70 c 1136s| 4820k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 16k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1203.74/1204.12 c 1138s| 4830k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 16k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1206.14/1206.57 c 1140s| 4840k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 16k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1208.55/1208.94 c 1143s| 4850k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 16k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1210.95/1211.36 c 1145s| 4860k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 16k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1213.34/1213.77 c 1147s| 4870k| 14 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 16k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1215.74/1216.17 c 1149s| 4880k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 16k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1218.24/1218.62 c 1152s| 4890k| 11 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 16k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1220.64/1221.03 c 1154s| 4900k| 11 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 16k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1223.04/1223.49 c 1156s| 4910k| 14 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 16k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1225.54/1225.98 c 1159s| 4920k| 11 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 17k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1227.94/1228.37 c 1161s| 4930k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 17k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1230.44/1230.82 c 1163s| 4940k| 10 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 17k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1232.84/1233.24 c 1165s| 4950k| 14 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 17k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1235.23/1235.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1235.23/1235.63 c 1168s| 4960k| 14 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 17k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1237.64/1238.02 c 1170s| 4970k| 14 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 17k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1240.03/1240.40 c 1172s| 4980k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 17k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1242.33/1242.78 c 1174s| 4990k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 17k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1244.75/1245.15 c 1177s| 5000k| 10 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 17k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1247.14/1247.55 c 1179s| 5010k| 11 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 17k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1249.53/1249.93 c 1181s| 5020k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 17k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1251.94/1252.34 c 1184s| 5030k| 11 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 17k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1254.43/1254.81 c 1186s| 5040k| 10 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 17k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1256.84/1257.24 c 1188s| 5050k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 17k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1259.33/1259.71 c 1190s| 5060k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 17k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1261.72/1262.12 c 1193s| 5070k| 11 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 17k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1264.13/1264.55 c 1195s| 5080k| 11 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 17k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1266.63/1267.01 c 1197s| 5090k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 17k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1269.03/1269.47 c 1200s| 5100k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 17k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1271.53/1271.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1271.53/1271.90 c 1202s| 5110k| 11 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 17k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1273.93/1274.37 c 1204s| 5120k| 10 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 17k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1276.43/1276.86 c 1207s| 5130k| 10 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 17k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1278.83/1279.29 c 1209s| 5140k| 9 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 17k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1281.32/1281.71 c 1211s| 5150k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 17k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1283.73/1284.12 c 1214s| 5160k| 10 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 17k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1286.12/1286.56 c 1216s| 5170k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 17k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1288.52/1288.97 c 1218s| 5180k| 11 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 17k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1290.93/1291.33 c 1220s| 5190k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 17k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1293.23/1293.67 c 1223s| 5200k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 17k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1295.72/1296.14 c 1225s| 5210k| 11 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 17k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1298.12/1298.56 c 1227s| 5220k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 17k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1300.52/1300.98 c 1230s| 5230k| 9 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 17k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1303.02/1303.40 c 1232s| 5240k| 11 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 17k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1305.41/1305.84 c 1234s| 5250k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 17k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1307.82/1308.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1307.82/1308.28 c 1236s| 5260k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 17k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1310.21/1310.69 c 1239s| 5270k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 17k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1312.72/1313.13 c 1241s| 5280k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 18k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1315.12/1315.56 c 1243s| 5290k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 18k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1317.62/1318.00 c 1246s| 5300k| 14 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 18k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1319.91/1320.35 c 1248s| 5310k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 18k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1322.31/1322.74 c 1250s| 5320k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 18k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1324.71/1325.16 c 1252s| 5330k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 18k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1327.12/1327.60 c 1255s| 5340k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 18k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1329.61/1330.05 c 1257s| 5350k| 10 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 18k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1332.11/1332.52 c 1259s| 5360k| 14 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 18k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1334.50/1334.94 c 1262s| 5370k| 15 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 18k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1336.91/1337.38 c 1264s| 5380k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 18k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1339.31/1339.77 c 1266s| 5390k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 18k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1341.71/1342.16 c 1268s| 5400k| 14 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 18k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1344.11/1344.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1344.11/1344.58 c 1271s| 5410k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 18k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1346.60/1347.00 c 1273s| 5420k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 18k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1349.00/1349.46 c 1275s| 5430k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 18k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1351.41/1351.87 c 1278s| 5440k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 18k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1353.90/1354.30 c 1280s| 5450k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 18k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1356.30/1356.75 c 1282s| 5460k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 18k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1358.70/1359.16 c 1285s| 5470k| 10 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 18k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1361.10/1361.58 c 1287s| 5480k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 18k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1363.51/1363.98 c 1289s| 5490k| 11 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 18k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1366.00/1366.45 c 1291s| 5500k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 18k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1368.40/1368.90 c 1294s| 5510k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 18k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1370.90/1371.36 c 1296s| 5520k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 18k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1373.29/1373.79 c 1298s| 5530k| 11 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 18k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1375.80/1376.21 c 1301s| 5540k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 18k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1378.20/1378.67 c 1303s| 5550k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 18k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1380.70/1381.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1380.70/1381.13 c 1305s| 5560k| 11 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 18k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1383.10/1383.60 c 1308s| 5570k| 14 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 18k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1385.60/1386.03 c 1310s| 5580k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 18k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1388.10/1388.52 c 1312s| 5590k| 11 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 18k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1390.49/1390.95 c 1315s| 5600k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 19k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1392.90/1393.35 c 1317s| 5610k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 19k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1395.29/1395.75 c 1319s| 5620k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 19k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1397.70/1398.16 c 1321s| 5630k| 11 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 19k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1400.09/1400.54 c 1324s| 5640k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 19k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1402.49/1402.98 c 1326s| 5650k| 11 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 19k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1404.99/1405.41 c 1328s| 5660k| 14 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 19k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1407.39/1407.86 c 1331s| 5670k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 19k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1409.89/1410.32 c 1333s| 5680k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 19k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1412.28/1412.79 c 1335s| 5690k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 19k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1414.79/1415.25 c 1338s| 5700k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 19k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1417.19/1417.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1417.19/1417.66 c 1340s| 5710k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 19k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1419.59/1420.02 c 1342s| 5720k| 11 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 19k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1421.89/1422.37 c 1344s| 5730k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 19k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1424.29/1424.75 c 1347s| 5740k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 19k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1426.68/1427.16 c 1349s| 5750k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 19k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1429.09/1429.54 c 1351s| 5760k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 19k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1431.48/1431.99 c 1354s| 5770k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 19k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1433.89/1434.37 c 1356s| 5780k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 19k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1436.38/1436.83 c 1358s| 5790k| 10 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 19k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1438.77/1439.23 c 1360s| 5800k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 19k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1441.07/1441.59 c 1363s| 5810k| 15 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 19k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1443.48/1443.97 c 1365s| 5820k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 19k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1445.88/1446.34 c 1367s| 5830k| 9 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 19k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1448.29/1448.72 c 1369s| 5840k| 11 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 19k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1450.67/1451.14 c 1372s| 5850k| 10 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 19k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1453.08/1453.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1453.08/1453.55 c 1374s| 5860k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 19k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1455.47/1455.91 c 1376s| 5870k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 19k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1457.77/1458.25 c 1378s| 5880k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 19k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1460.17/1460.62 c 1381s| 5890k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 19k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1462.58/1463.01 c 1383s| 5900k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 19k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1464.87/1465.32 c 1385s| 5910k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 19k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1467.17/1467.67 c 1387s| 5920k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 20k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1469.56/1470.09 c 1390s| 5930k| 15 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 20k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1471.97/1472.48 c 1392s| 5940k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 20k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1474.37/1474.85 c 1394s| 5950k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 20k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1476.67/1477.19 c 1396s| 5960k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 20k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1479.08/1479.55 c 1399s| 5970k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 20k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1481.46/1481.93 c 1401s| 5980k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 20k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1483.86/1484.30 c 1403s| 5990k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 20k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1486.26/1486.73 c 1405s| 6000k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 20k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1488.66/1489.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1488.66/1489.12 c 1408s| 6010k| 14 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 20k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1491.07/1491.50 c 1410s| 6020k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 20k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1493.37/1493.88 c 1412s| 6030k| 11 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 20k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1495.76/1496.25 c 1414s| 6040k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 20k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1498.15/1498.62 c 1417s| 6050k| 14 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 20k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1500.56/1501.04 c 1419s| 6060k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 20k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1502.96/1503.42 c 1421s| 6070k| 10 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 20k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1505.37/1505.84 c 1423s| 6080k| 11 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 20k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1507.75/1508.29 c 1426s| 6090k| 11 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 20k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1510.26/1510.71 c 1428s| 6100k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 20k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1512.66/1513.10 c 1430s| 6110k| 11 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 20k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1514.95/1515.46 c 1433s| 6120k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 20k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1517.35/1517.89 c 1435s| 6130k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 20k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1519.76/1520.27 c 1437s| 6140k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 20k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1522.15/1522.63 c 1439s| 6150k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 20k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1524.45/1524.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1524.45/1524.99 c 1442s| 6160k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 20k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1526.85/1527.35 c 1444s| 6170k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 20k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1529.25/1529.73 c 1446s| 6180k| 11 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 20k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1531.65/1532.12 c 1448s| 6190k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 20k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1533.96/1534.46 c 1450s| 6200k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 20k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1536.35/1536.84 c 1453s| 6210k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 20k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1538.65/1539.20 c 1455s| 6220k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 20k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1541.05/1541.58 c 1457s| 6230k| 10 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 21k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1543.55/1544.03 c 1460s| 6240k| 11 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 21k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1545.85/1546.33 c 1462s| 6250k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 21k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1548.25/1548.73 c 1464s| 6260k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 21k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1550.64/1551.13 c 1466s| 6270k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 21k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1552.94/1553.47 c 1468s| 6280k| 9 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 21k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1555.34/1555.83 c 1471s| 6290k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 21k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1557.75/1558.24 c 1473s| 6300k| 11 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 21k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1560.15/1560.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1560.15/1560.61 c 1475s| 6310k| 11 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 21k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1562.44/1562.96 c 1477s| 6320k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 21k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1564.85/1565.34 c 1480s| 6330k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 21k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1567.24/1567.73 c 1482s| 6340k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 21k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1569.64/1570.12 c 1484s| 6350k| 10 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 21k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1572.03/1572.51 c 1486s| 6360k| 11 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 21k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1574.44/1574.93 c 1489s| 6370k| 11 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 21k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1576.85/1577.32 c 1491s| 6380k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 21k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1579.24/1579.73 c 1493s| 6390k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 21k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1581.64/1582.11 c 1496s| 6400k| 11 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 21k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1583.93/1584.50 c 1498s| 6410k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 21k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1586.33/1586.89 c 1500s| 6420k| 11 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 21k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1588.83/1589.30 c 1502s| 6430k| 11 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 21k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1591.24/1591.76 c 1505s| 6440k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 21k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1593.73/1594.21 c 1507s| 6450k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 21k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1596.13/1596.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1596.13/1596.69 c 1509s| 6460k| 11 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 21k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1598.63/1599.10 c 1512s| 6470k| 10 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 21k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1601.04/1601.57 c 1514s| 6480k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 21k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1603.34/1603.88 c 1516s| 6490k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 21k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1605.63/1606.17 c 1518s| 6500k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 21k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1607.93/1608.48 c 1520s| 6510k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 21k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1610.33/1610.85 c 1523s| 6520k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 21k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1612.73/1613.26 c 1525s| 6530k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 21k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1615.12/1615.63 c 1527s| 6540k| 11 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 21k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1617.43/1617.99 c 1529s| 6550k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 21k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1619.83/1620.35 c 1532s| 6560k| 10 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 21k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1622.23/1622.78 c 1534s| 6570k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 22k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1624.63/1625.15 c 1536s| 6580k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 22k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1626.93/1627.49 c 1538s| 6590k| 11 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 22k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1629.42/1629.90 c 1541s| 6600k| 10 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 22k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1631.72/1632.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1631.72/1632.25 c 1543s| 6610k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 22k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1634.03/1634.58 c 1545s| 6620k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 22k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1636.42/1636.90 c 1547s| 6630k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 22k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1638.72/1639.24 c 1550s| 6640k| 10 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 22k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1641.12/1641.62 c 1552s| 6650k| 11 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 22k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1643.42/1643.97 c 1554s| 6660k| 14 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 22k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1645.82/1646.34 c 1556s| 6670k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 22k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1648.12/1648.69 c 1559s| 6680k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 22k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1650.52/1651.05 c 1561s| 6690k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 22k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1652.83/1653.39 c 1563s| 6700k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 22k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1655.22/1655.77 c 1565s| 6710k| 10 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 22k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1657.61/1658.17 c 1567s| 6720k| 14 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 22k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1660.12/1660.60 c 1570s| 6730k| 11 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 22k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1662.42/1662.99 c 1572s| 6740k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 22k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1664.82/1665.34 c 1574s| 6750k| 14 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 22k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1667.22/1667.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1667.22/1667.72 c 1576s| 6760k| 10 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 22k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1669.51/1670.05 c 1579s| 6770k| 15 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 22k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1671.81/1672.37 c 1581s| 6780k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 22k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1674.21/1674.76 c 1583s| 6790k| 15 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 22k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1676.61/1677.10 c 1585s| 6800k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 22k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1678.91/1679.48 c 1588s| 6810k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 22k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1681.32/1681.87 c 1590s| 6820k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 22k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1683.61/1684.18 c 1592s| 6830k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 22k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1686.01/1686.54 c 1594s| 6840k| 14 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 22k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1688.30/1688.88 c 1596s| 6850k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 22k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1690.71/1691.22 c 1599s| 6860k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 22k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1693.01/1693.58 c 1601s| 6870k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 23k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1695.40/1695.92 c 1603s| 6880k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 23k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1697.71/1698.28 c 1605s| 6890k| 15 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 23k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1700.11/1700.62 c 1608s| 6900k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 23k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1702.41/1702.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1702.41/1702.96 c 1610s| 6910k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 23k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1704.70/1705.29 c 1612s| 6920k| 11 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 23k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1707.10/1707.64 c 1614s| 6930k| 11 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 23k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1709.40/1709.97 c 1616s| 6940k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 23k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1711.70/1712.28 c 1619s| 6950k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 23k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1714.10/1714.61 c 1621s| 6960k| 14 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 23k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1716.39/1716.95 c 1623s| 6970k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 23k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1718.71/1719.30 c 1625s| 6980k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 23k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1721.10/1721.64 c 1627s| 6990k| 14 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 23k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1723.50/1724.00 c 1630s| 7000k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 23k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1725.79/1726.31 c 1632s| 7010k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 23k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1728.10/1728.64 c 1634s| 7020k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 23k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1730.50/1731.01 c 1636s| 7030k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 23k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1732.90/1733.42 c 1638s| 7040k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 23k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1735.20/1735.76 c 1641s| 7050k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 23k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1737.59/1738.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1737.59/1738.15 c 1643s| 7060k| 9 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 23k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1739.99/1740.54 c 1645s| 7070k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 23k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1742.39/1742.94 c 1647s| 7080k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 23k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1744.69/1745.28 c 1650s| 7090k| 10 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 23k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1747.09/1747.64 c 1652s| 7100k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 23k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1749.39/1749.96 c 1654s| 7110k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 23k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1751.69/1752.30 c 1656s| 7120k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 23k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1754.19/1754.70 c 1659s| 7130k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 23k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1756.48/1757.02 c 1661s| 7140k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 23k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1758.79/1759.37 c 1663s| 7150k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 23k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1761.19/1761.73 c 1665s| 7160k| 11 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 23k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1763.59/1764.12 c 1667s| 7170k| 11 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 24k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1765.89/1766.49 c 1670s| 7180k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 24k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1768.29/1768.83 c 1672s| 7190k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 24k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1770.69/1771.22 c 1674s| 7200k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 24k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1772.98/1773.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1772.98/1773.54 c 1676s| 7210k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 24k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1775.28/1775.87 c 1679s| 7220k| 11 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 24k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1777.68/1778.23 c 1681s| 7230k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 24k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1779.98/1780.57 c 1683s| 7240k| 11 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 24k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1782.39/1782.91 c 1685s| 7250k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 24k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1784.69/1785.25 c 1687s| 7260k| 13 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 24k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1787.08/1787.60 c 1690s| 7270k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 24k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1789.38/1789.93 c 1692s| 7280k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 24k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1791.67/1792.27 c 1694s| 7290k| 12 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 24k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1794.08/1794.63 c 1696s| 7300k| 14 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 24k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1796.47/1797.01 c 1698s| 7310k| 11 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 24k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1798.77/1799.38 c 1701s| 7320k| 14 | 4179 | 0.0 | 21M| 76 | - | 450 | 17k| 0 | 0 | 196 | 24k| 30 |-3.000000e+01 |-2.300000e+01 | 23.33%
1800.09/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.09/1800.61 c
1800.09/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.61 c Solving Time (sec) : 1701.84
1800.09/1800.61 c Solving Nodes : 7325307
1800.09/1800.61 c Primal Bound : -2.30000000000000e+01 (10 solutions)
1800.09/1800.61 c Dual Bound : -3.00000000000000e+01
1800.09/1800.61 c Gap : 23.33 %
1800.09/1800.62 s SATISFIABLE
1800.09/1800.62 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28
1800.09/1800.62 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53
1800.09/1800.62 v -x54 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79
1800.09/1800.62 v -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103
1800.09/1800.62 v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124
1800.09/1800.62 v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145
1800.09/1800.62 v -x146 -x147 -x148 x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 -x166
1800.09/1800.62 v -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187
1800.09/1800.62 v -x188 -x189 -x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 x206 -x207 -x208
1800.09/1800.62 v -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 x223 -x224 -x225 -x226 -x227 -x228 -x229
1800.09/1800.62 v -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
1800.09/1800.62 v -x251 -x252 -x253 -x254 -x255 -x256 -x257 x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271
1800.09/1800.62 v -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292
1800.09/1800.62 v -x293 -x294 -x295 -x296 -x297 -x298 -x299 x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313
1800.09/1800.62 v -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334
1800.09/1800.62 v -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 -x354 -x355
1800.09/1800.62 v -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376
1800.09/1800.62 v -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397
1800.09/1800.62 v x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418
1800.09/1800.62 v -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439
1800.09/1800.62 v -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450
1800.09/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.62 c Solving Time : 1701.84
1800.09/1800.62 c Original Problem :
1800.09/1800.62 c Problem name : HOME/instance-2667039-1276487950.opb
1800.09/1800.62 c Variables : 450 (450 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.62 c Constraints : 17874 initial, 17874 maximal
1800.09/1800.62 c Presolved Problem :
1800.09/1800.62 c Problem name : t_HOME/instance-2667039-1276487950.opb
1800.09/1800.62 c Variables : 450 (450 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.62 c Constraints : 17874 initial, 17897 maximal
1800.09/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.09/1800.62 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.62 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.62 c implics : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.62 c probing : 0.37 0 0 0 0 0 0 0 0
1800.09/1800.62 c logicor : 0.06 0 0 0 0 0 0 0 0
1800.09/1800.62 c root node : - 0 - - 0 - - - -
1800.09/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.09/1800.62 c integral : 0 0 0 1 0 0 0 0 0 2
1800.09/1800.62 c logicor : 17874+ 22 7657707 0 0 794572 17862305 0 0 0
1800.09/1800.62 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.09/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.09/1800.62 c integral : 25.97 0.00 0.00 25.97 0.00
1800.09/1800.62 c logicor : 579.69 0.04 579.65 0.00 0.00
1800.09/1800.62 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.09/1800.62 c Propagators : Time Calls Cutoffs DomReds
1800.09/1800.62 c vbounds : 5.57 2 0 0
1800.09/1800.62 c rootredcost : 4.71 1 0 0
1800.09/1800.62 c pseudoobj : 423.54 11516963 2766581 4621534
1800.09/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.09/1800.62 c propagation : 291.28 794572 24503 24503 37.2 0 0.0 -
1800.09/1800.62 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.62 c pseudo solution : 36.86 107234 0 0 0.0 0 0.0 -
1800.09/1800.62 c applied globally : - - - 21204 35.2 - - -
1800.09/1800.62 c applied locally : - - - 3299 50.0 - - -
1800.09/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.09/1800.62 c cut pool : 0.01 21 - - 89 - (maximal pool size: 614)
1800.09/1800.62 c redcost : 0.00 22 0 0 0 0
1800.09/1800.62 c impliedbounds : 0.02 22 0 0 0 0
1800.09/1800.62 c intobj : 0.00 0 0 0 0 0
1800.09/1800.62 c cgmip : 0.00 0 0 0 0 0
1800.09/1800.62 c gomory : 9.04 22 0 0 10643 0
1800.09/1800.62 c strongcg : 3.76 20 0 0 9950 0
1800.09/1800.62 c cmir : 1.79 10 0 0 0 0
1800.09/1800.62 c flowcover : 1.92 10 0 0 0 0
1800.09/1800.62 c clique : 0.22 22 0 0 201 0
1800.09/1800.62 c zerohalf : 0.00 0 0 0 0 0
1800.09/1800.62 c mcf : 0.03 1 0 0 0 0
1800.09/1800.62 c rapidlearning : 0.00 0 0 0 0 0
1800.09/1800.62 c Pricers : Time Calls Vars
1800.09/1800.62 c problem variables: 0.00 0 0
1800.09/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.09/1800.62 c relpscost : 25.97 1 0 0 0 0 2
1800.09/1800.62 c pscost : 0.00 0 0 0 0 0 0
1800.09/1800.62 c inference : 31.33 3669620 0 0 0 0 7339240
1800.09/1800.62 c mostinf : 0.00 0 0 0 0 0 0
1800.09/1800.62 c leastinf : 0.00 0 0 0 0 0 0
1800.09/1800.62 c fullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.62 c random : 0.00 0 0 0 0 0 0
1800.09/1800.62 c Primal Heuristics : Time Calls Found
1800.09/1800.62 c LP solutions : 0.00 - 0
1800.09/1800.62 c pseudo solutions : 0.00 - 0
1800.09/1800.62 c crossover : 0.00 0 0
1800.09/1800.62 c oneopt : 4.51 4 2
1800.09/1800.62 c trivial : 0.01 2 3
1800.09/1800.62 c simplerounding : 0.00 23 1
1800.09/1800.62 c zirounding : 0.00 1 1
1800.09/1800.62 c rounding : 0.18 23 1
1800.09/1800.62 c shifting : 0.30 23 1
1800.09/1800.62 c intshifting : 0.00 0 0
1800.09/1800.62 c twoopt : 0.00 0 0
1800.09/1800.62 c fixandinfer : 0.00 0 0
1800.09/1800.62 c feaspump : 0.00 0 0
1800.09/1800.62 c coefdiving : 0.00 0 0
1800.09/1800.62 c pscostdiving : 0.00 0 0
1800.09/1800.62 c fracdiving : 0.00 0 0
1800.09/1800.62 c veclendiving : 0.00 0 0
1800.09/1800.62 c intdiving : 0.00 0 0
1800.09/1800.62 c actconsdiving : 0.00 0 0
1800.09/1800.62 c objpscostdiving : 0.00 0 0
1800.09/1800.62 c rootsoldiving : 0.00 0 0
1800.09/1800.62 c linesearchdiving : 0.00 0 0
1800.09/1800.62 c guideddiving : 0.00 0 0
1800.09/1800.62 c octane : 0.00 0 0
1800.09/1800.62 c rens : 1.28 1 1
1800.09/1800.62 c rins : 0.00 0 0
1800.09/1800.62 c localbranching : 0.00 0 0
1800.09/1800.62 c mutation : 0.00 0 0
1800.09/1800.62 c dins : 0.00 0 0
1800.09/1800.62 c undercover : 0.00 0 0
1800.09/1800.62 c nlp : 3.82 0 0
1800.09/1800.62 c trysol : 2.78 0 0
1800.09/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.09/1800.62 c primal LP : 0.02 0 0 0.00 0.00
1800.09/1800.62 c dual LP : 7.81 23 4179 181.70 535.08
1800.09/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.09/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.09/1800.62 c diving/probing LP: 0.00 0 0 0.00 -
1800.09/1800.62 c strong branching : 25.97 30 12587 419.57 484.67
1800.09/1800.62 c (at root node) : - 30 12587 419.57 -
1800.09/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.09/1800.62 c B&B Tree :
1800.09/1800.62 c number of runs : 1
1800.09/1800.62 c nodes : 7325307
1800.09/1800.62 c nodes (total) : 7325307
1800.09/1800.62 c nodes left : 9
1800.09/1800.62 c max depth : 76
1800.09/1800.62 c max depth (total): 76
1800.09/1800.62 c backtracks : 1086047 (14.8%)
1800.09/1800.62 c delayed cutoffs : 13715
1800.09/1800.62 c repropagations : 16672 (66275 domain reductions, 12701 cutoffs)
1800.09/1800.62 c avg switch length: 2.00
1800.09/1800.62 c switching time : 251.06
1800.09/1800.62 c Solution :
1800.09/1800.62 c Solutions found : 10 (6 improvements)
1800.09/1800.62 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1800.09/1800.62 c Primal Bound : -2.30000000000000e+01 (in run 1, after 1 nodes, 23.78 seconds, depth 0, found by <oneopt>)
1800.09/1800.62 c Dual Bound : -3.00000000000000e+01
1800.09/1800.62 c Gap : 23.33 %
1800.09/1800.62 c Root Dual Bound : -3.00000000000000e+01
1800.09/1800.62 c Root Iterations : 4179
1800.09/1800.70 c Time complete: 1800.18.