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-2667099-1276463567.opb>
0.01/0.07 c original problem has 1020 variables (1020 bin, 0 int, 0 impl, 0 cont) and 3575 constraints
0.01/0.07 c problem read
0.01/0.07 c presolving settings loaded
0.01/0.09 c presolving:
0.09/0.12 c (round 1) 20 del vars, 20 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22220 impls, 0 clqs
0.09/0.16 c (round 2) 20 del vars, 30 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3195 upgd conss, 22220 impls, 0 clqs
0.09/0.18 c (round 3) 20 del vars, 30 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3545 upgd conss, 22220 impls, 0 clqs
0.19/0.23 c (0.1s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.23 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.23 c presolving (4 rounds):
0.19/0.23 c 20 deleted vars, 30 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.23 c 22220 implications, 0 cliques
0.19/0.23 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 3545 constraints
0.19/0.23 c 3545 constraints of type <logicor>
0.19/0.23 c transformed objective value is always integral (scale: 1)
0.19/0.23 c Presolving Time: 0.12
0.19/0.23 c - non default parameters ----------------------------------------------------------------------
0.19/0.23 c # SCIP version 1.2.1.2
0.19/0.23 c
0.19/0.23 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.19/0.23 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.23 c conflict/interconss = 0
0.19/0.23 c
0.19/0.23 c # should binary conflicts be preferred?
0.19/0.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.23 c conflict/preferbinary = TRUE
0.19/0.23 c
0.19/0.23 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.19/0.23 c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.23 c constraints/agelimit = 1
0.19/0.23 c
0.19/0.23 c # should enforcement of pseudo solution be disabled?
0.19/0.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.23 c constraints/disableenfops = TRUE
0.19/0.23 c
0.19/0.23 c # frequency for displaying node information lines
0.19/0.23 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.23 c display/freq = 10000
0.19/0.23 c
0.19/0.23 c # maximal time in seconds to run
0.19/0.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.23 c limits/time = 1799.94
0.19/0.23 c
0.19/0.23 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.23 c limits/memory = 1620
0.19/0.23 c
0.19/0.23 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.23 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.23 c lp/solvefreq = 0
0.19/0.23 c
0.19/0.23 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.19/0.23 c # [type: char, range: {lafpsqd}, default: l]
0.19/0.23 c lp/pricing = a
0.19/0.23 c
0.19/0.23 c # should presolving try to simplify inequalities
0.19/0.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.23 c constraints/linear/simplifyinequalities = TRUE
0.19/0.23 c
0.19/0.23 c # should presolving try to simplify knapsacks
0.19/0.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.23 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.23 c
0.19/0.23 c # priority of node selection rule <dfs> in standard mode
0.19/0.23 c # [type: int, range: [-536870912,536870911], default: 0]
0.19/0.23 c nodeselection/dfs/stdpriority = 1000000
0.19/0.23 c
0.19/0.23 c -----------------------------------------------------------------------------------------------
0.19/0.23 c start solving
0.19/0.23 c
0.49/0.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.49/0.55 c 0.4s| 1 | 0 | 1510 | - |7369k| 0 | 720 |1000 |3545 |1000 |3545 | 0 | 0 | 0 | 2.362500e+02 | -- | Inf
1.39/1.43 c 1.3s| 1 | 0 | 4196 | - |7456k| 0 | 712 |1000 |3545 |1000 |3556 | 11 | 0 | 0 | 2.450000e+02 | -- | Inf
1.59/1.63 c 1.5s| 1 | 0 | 4280 | - |7554k| 0 | 711 |1000 |3545 |1000 |3567 | 22 | 0 | 0 | 2.457500e+02 | -- | Inf
1.79/1.87 c 1.7s| 1 | 0 | 4472 | - |7650k| 0 | 708 |1000 |3545 |1000 |3579 | 34 | 0 | 0 | 2.477428e+02 | -- | Inf
2.09/2.16 c 2.0s| 1 | 0 | 4776 | - |7803k| 0 | 697 |1000 |3545 |1000 |3591 | 46 | 0 | 0 | 2.525848e+02 | -- | Inf
2.39/2.45 c 2.3s| 1 | 0 | 5070 | - |7975k| 0 | 704 |1000 |3545 |1000 |3611 | 66 | 0 | 0 | 2.574997e+02 | -- | Inf
2.78/2.81 c 2.6s| 1 | 0 | 5496 | - |8209k| 0 | 692 |1000 |3545 |1000 |3628 | 83 | 0 | 0 | 2.606325e+02 | -- | Inf
3.09/3.14 c 3.0s| 1 | 0 | 5838 | - |8602k| 0 | 698 |1000 |3545 |1000 |3650 | 105 | 0 | 0 | 2.633964e+02 | -- | Inf
3.49/3.56 c 3.4s| 1 | 0 | 6238 | - |8957k| 0 | 691 |1000 |3545 |1000 |3667 | 122 | 0 | 0 | 2.653089e+02 | -- | Inf
3.99/4.02 c 3.8s| 1 | 0 | 6642 | - |9336k| 0 | 691 |1000 |3545 |1000 |3682 | 137 | 0 | 0 | 2.663255e+02 | -- | Inf
4.49/4.57 c 4.3s| 1 | 0 | 7100 | - |9649k| 0 | 679 |1000 |3545 |1000 |3698 | 153 | 0 | 0 | 2.675421e+02 | -- | Inf
5.09/5.14 c 4.9s| 1 | 0 | 7565 | - |9993k| 0 | 694 |1000 |3545 |1000 |3710 | 165 | 0 | 0 | 2.680991e+02 | -- | Inf
5.79/5.85 c 5.6s| 1 | 0 | 7946 | - | 10M| 0 | 703 |1000 |3545 |1000 |3715 | 175 | 0 | 0 | 2.687193e+02 | -- | Inf
6.60/6.61 c 6.3s| 1 | 0 | 8333 | - | 10M| 0 | 697 |1000 |3545 |1000 |3724 | 184 | 0 | 0 | 2.689940e+02 | -- | Inf
7.38/7.40 c 7.1s| 1 | 0 | 8637 | - | 10M| 0 | 699 |1000 |3545 |1000 |3732 | 192 | 0 | 0 | 2.698419e+02 | -- | Inf
8.09/8.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.09/8.16 c 7.9s| 1 | 0 | 8903 | - | 10M| 0 | 696 |1000 |3545 |1000 |3743 | 203 | 0 | 0 | 2.699293e+02 | -- | Inf
8.88/8.92 c 8.6s| 1 | 0 | 9202 | - | 11M| 0 | 698 |1000 |3545 |1000 |3751 | 211 | 0 | 0 | 2.700512e+02 | -- | Inf
9.59/9.67 c 9.3s| 1 | 0 | 9505 | - | 11M| 0 | 701 |1000 |3545 |1000 |3759 | 219 | 0 | 0 | 2.701140e+02 | -- | Inf
10.39/10.48 c 10.1s| 1 | 0 | 9817 | - | 11M| 0 | 701 |1000 |3545 |1000 |3741 | 228 | 0 | 0 | 2.701951e+02 | -- | Inf
11.09/11.17 c 10.8s| 1 | 0 | 9898 | - | 11M| 0 | 703 |1000 |3545 |1000 |3745 | 232 | 0 | 0 | 2.702156e+02 | -- | Inf
11.79/11.88 c 11.5s| 1 | 0 | 10045 | - | 11M| 0 | 698 |1000 |3545 |1000 |3747 | 234 | 0 | 0 | 2.703582e+02 | -- | Inf
12.19/12.26 c 11.9s| 1 | 0 | 10062 | - | 11M| 0 | 696 |1000 |3545 |1000 |3748 | 235 | 0 | 0 | 2.703582e+02 | -- | Inf
14.68/14.71 c 14.2s| 1 | 2 | 10062 | - | 11M| 0 | 696 |1000 |3545 |1000 |3748 | 235 | 0 | 21 | 2.703582e+02 | -- | Inf
14.78/14.81 o 448
14.78/14.81 c *14.3s| 238 | 168 | 10062 | 0.0 | 11M| 198 | - |1000 |3549 | 0 | 0 | 235 | 18 | 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
17.28/17.39 c 16.7s| 10000 | 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3549 | 0 | 0 | 235 | 278 | 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
19.99/20.03 c 19.2s| 20000 | 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3549 | 0 | 0 | 235 | 509 | 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
22.59/22.66 c 21.6s| 30000 | 158 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 812 | 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
25.58/25.62 c 24.4s| 40000 | 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 |1258 | 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
28.38/28.45 c 27.0s| 50000 | 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3549 | 0 | 0 | 235 |1596 | 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
30.97/31.05 c 29.4s| 60000 | 160 | 10062 | 0.0 | 11M| 198 | - |1000 |3549 | 0 | 0 | 235 |1801 | 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
33.77/33.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
33.77/33.84 c 32.0s| 70000 | 162 | 10062 | 0.0 | 11M| 198 | - |1000 |3549 | 0 | 0 | 235 |2122 | 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
36.47/36.58 c 34.6s| 80000 | 159 | 10062 | 0.0 | 11M| 198 | - |1000 |3549 | 0 | 0 | 235 |2422 | 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
39.27/39.31 c 37.1s| 90000 | 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3549 | 0 | 0 | 235 |2706 | 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
42.47/42.50 c 40.1s|100000 | 158 | 10062 | 0.0 | 11M| 198 | - |1000 |3561 | 0 | 0 | 235 |3367 | 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
45.37/45.46 c 42.9s|110000 | 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3555 | 0 | 0 | 235 |3825 | 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
49.07/49.17 c 46.4s|120000 | 161 | 10062 | 0.0 | 11M| 198 | - |1000 |3549 | 0 | 0 | 235 |4829 | 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
52.18/52.26 c 49.3s|130000 | 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 |5378 | 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
54.98/55.07 c 51.9s|140000 | 158 | 10062 | 0.0 | 11M| 198 | - |1000 |3549 | 0 | 0 | 235 |5693 | 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
58.06/58.15 c 54.8s|150000 | 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3549 | 0 | 0 | 235 |6177 | 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
61.37/61.41 c 57.8s|160000 | 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3557 | 0 | 0 | 235 |6841 | 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
65.16/65.25 c 61.5s|170000 | 160 | 10062 | 0.0 | 11M| 198 | - |1000 |3553 | 0 | 0 | 235 |7977 | 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
68.27/68.38 c 64.4s|180000 | 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3557 | 0 | 0 | 235 |8454 | 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
71.66/71.77 c 67.5s|190000 | 158 | 10062 | 0.0 | 11M| 198 | - |1000 |3549 | 0 | 0 | 235 |9166 | 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
75.06/75.13 c 70.7s|200000 | 159 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 |9853 | 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
78.56/78.62 c 74.0s|210000 | 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3556 | 0 | 0 | 235 | 10k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
81.96/82.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
81.96/82.08 c 77.2s|220000 | 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3557 | 0 | 0 | 235 | 11k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
84.96/85.08 c 80.0s|230000 | 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 11k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
87.65/87.74 c 82.5s|240000 | 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 11k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
90.56/90.60 c 85.1s|250000 | 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 12k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
93.16/93.22 c 87.5s|260000 | 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3553 | 0 | 0 | 235 | 12k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
95.85/95.92 c 90.1s|270000 | 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3553 | 0 | 0 | 235 | 12k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
98.65/98.72 c 92.7s|280000 | 158 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 12k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
101.35/101.41 c 95.2s|290000 | 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 12k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
104.25/104.31 c 97.9s|300000 | 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 13k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
106.85/106.97 c 100s|310000 | 158 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 13k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
109.54/109.64 c 103s|320000 | 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 13k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
112.34/112.41 c 105s|330000 | 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 13k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
115.55/115.67 c 109s|340000 | 158 | 10062 | 0.0 | 11M| 198 | - |1000 |3549 | 0 | 0 | 235 | 14k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
118.44/118.50 c 111s|350000 | 158 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 14k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
121.44/121.51 c 114s|360000 | 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 15k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
124.54/124.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
124.54/124.69 c 117s|370000 | 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 15k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
127.45/127.53 c 120s|380000 | 160 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 16k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
130.24/130.36 c 122s|390000 | 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 16k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
133.24/133.39 c 125s|400000 | 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 16k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
136.14/136.28 c 128s|410000 | 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 17k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
138.84/138.94 c 130s|420000 | 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 17k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
142.34/142.48 c 134s|430000 | 159 | 10062 | 0.0 | 11M| 198 | - |1000 |3549 | 0 | 0 | 235 | 18k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
145.64/145.73 c 137s|440000 | 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3549 | 0 | 0 | 235 | 18k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
148.23/148.38 c 139s|450000 | 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3549 | 0 | 0 | 235 | 19k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
151.64/151.70 c 142s|460000 | 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3558 | 0 | 0 | 235 | 19k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
154.42/154.53 c 145s|470000 | 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3549 | 0 | 0 | 235 | 20k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
157.63/157.78 c 148s|480000 | 158 | 10062 | 0.0 | 11M| 198 | - |1000 |3549 | 0 | 0 | 235 | 20k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
161.33/161.41 c 151s|490000 | 158 | 10062 | 0.0 | 11M| 198 | - |1000 |3549 | 0 | 0 | 235 | 21k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
164.94/165.08 c 155s|500000 | 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3549 | 0 | 0 | 235 | 22k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
167.83/167.93 c 158s|510000 | 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3549 | 0 | 0 | 235 | 23k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
173.03/173.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
173.03/173.13 c 162s|520000 | 159 | 10062 | 0.0 | 11M| 198 | - |1000 |3561 | 0 | 0 | 235 | 25k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
175.83/175.93 c 165s|530000 | 160 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 25k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
179.82/179.97 c 169s|540000 | 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3555 | 0 | 0 | 235 | 27k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
183.12/183.24 c 172s|550000 | 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3549 | 0 | 0 | 235 | 28k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
186.12/186.29 c 175s|560000 | 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 28k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
189.21/189.35 c 178s|570000 | 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 29k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
192.61/192.79 c 181s|580000 | 159 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 30k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
196.91/197.04 c 185s|590000 | 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3563 | 0 | 0 | 235 | 31k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
200.91/201.09 c 189s|600000 | 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3557 | 0 | 0 | 235 | 32k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
205.81/205.97 c 194s|610000 | 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3555 | 0 | 0 | 235 | 34k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
210.21/210.30 c 198s|620000 | 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3568 | 0 | 0 | 235 | 36k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
213.81/213.90 c 201s|630000 | 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3562 | 0 | 0 | 235 | 37k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
216.51/216.64 c 204s|640000 | 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3561 | 0 | 0 | 235 | 37k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
219.20/219.40 c 206s|650000 | 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3560 | 0 | 0 | 235 | 38k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
222.30/222.43 c 209s|660000 | 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3561 | 0 | 0 | 235 | 38k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
225.31/225.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
225.31/225.41 c 212s|670000 | 158 | 10062 | 0.0 | 11M| 198 | - |1000 |3549 | 0 | 0 | 235 | 39k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
228.20/228.33 c 215s|680000 | 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 39k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
230.70/230.87 c 217s|690000 | 158 | 10062 | 0.0 | 11M| 198 | - |1000 |3549 | 0 | 0 | 235 | 39k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
233.50/233.68 c 220s|700000 | 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3549 | 0 | 0 | 235 | 39k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
236.10/236.28 c 222s|710000 | 162 | 10062 | 0.0 | 11M| 198 | - |1000 |3549 | 0 | 0 | 235 | 40k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
239.10/239.24 c 225s|720000 | 158 | 10062 | 0.0 | 11M| 198 | - |1000 |3549 | 0 | 0 | 235 | 40k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
242.00/242.18 c 227s|730000 | 159 | 10062 | 0.0 | 11M| 198 | - |1000 |3554 | 0 | 0 | 235 | 40k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
245.00/245.14 c 230s|740000 | 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 41k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
247.70/247.83 c 233s|750000 | 161 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 41k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
250.29/250.40 c 235s|760000 | 158 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 41k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
253.29/253.43 c 238s|770000 | 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 42k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
255.89/256.03 c 240s|780000 | 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3549 | 0 | 0 | 235 | 42k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
258.70/258.89 c 243s|790000 | 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 42k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
261.69/261.85 c 246s|800000 | 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3549 | 0 | 0 | 235 | 43k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
264.69/264.84 c 249s|810000 | 158 | 10062 | 0.0 | 11M| 198 | - |1000 |3560 | 0 | 0 | 235 | 43k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
268.89/269.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
268.89/269.08 c 253s|820000 | 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3558 | 0 | 0 | 235 | 44k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
271.69/271.86 c 255s|830000 | 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 45k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
275.19/275.30 c 258s|840000 | 161 | 10062 | 0.0 | 11M| 198 | - |1000 |3558 | 0 | 0 | 235 | 46k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
277.99/278.11 c 261s|850000 | 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3549 | 0 | 0 | 235 | 46k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
281.08/281.23 c 264s|860000 | 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3555 | 0 | 0 | 235 | 47k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
285.68/285.83 c 268s|870000 | 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3560 | 0 | 0 | 235 | 48k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
288.79/288.98 c 271s|880000 | 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 49k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
291.78/291.90 c 274s|890000 | 158 | 10062 | 0.0 | 11M| 198 | - |1000 |3549 | 0 | 0 | 235 | 49k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
295.69/295.82 c 278s|900000 | 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3549 | 0 | 0 | 235 | 50k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
298.48/298.65 c 280s|910000 | 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3549 | 0 | 0 | 235 | 51k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
303.08/303.28 c 285s|920000 | 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 53k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
306.17/306.37 c 288s|930000 | 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3553 | 0 | 0 | 235 | 53k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
308.88/309.07 c 290s|940000 | 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3549 | 0 | 0 | 235 | 53k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
311.57/311.74 c 293s|950000 | 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3549 | 0 | 0 | 235 | 53k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
314.77/314.92 c 296s|960000 | 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3555 | 0 | 0 | 235 | 54k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
317.78/317.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
317.78/317.94 c 298s|970000 | 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3555 | 0 | 0 | 235 | 54k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
320.57/320.78 c 301s|980000 | 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3549 | 0 | 0 | 235 | 55k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
323.57/323.75 c 304s|990000 | 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3557 | 0 | 0 | 235 | 55k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
326.47/326.61 c 307s| 1000k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3549 | 0 | 0 | 235 | 56k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
329.17/329.30 c 309s| 1010k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 56k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
331.87/332.02 c 312s| 1020k| 158 | 10062 | 0.0 | 11M| 198 | - |1000 |3549 | 0 | 0 | 235 | 56k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
334.56/334.79 c 314s| 1030k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3549 | 0 | 0 | 235 | 56k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
337.26/337.44 c 317s| 1040k| 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3549 | 0 | 0 | 235 | 57k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
339.96/340.19 c 319s| 1050k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 57k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
342.66/342.84 c 322s| 1060k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3549 | 0 | 0 | 235 | 57k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
345.27/345.41 c 324s| 1070k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3549 | 0 | 0 | 235 | 57k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
347.85/348.08 c 327s| 1080k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3549 | 0 | 0 | 235 | 57k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
351.05/351.28 c 330s| 1090k| 158 | 10062 | 0.0 | 11M| 198 | - |1000 |3549 | 0 | 0 | 235 | 58k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
354.66/354.81 c 333s| 1100k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 59k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
357.36/357.58 c 336s| 1110k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 59k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
360.15/360.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
360.15/360.33 c 338s| 1120k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 59k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
363.06/363.26 c 341s| 1130k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3549 | 0 | 0 | 235 | 60k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
366.06/366.22 c 344s| 1140k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 60k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
369.15/369.30 c 346s| 1150k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3549 | 0 | 0 | 235 | 61k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
372.06/372.28 c 349s| 1160k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3549 | 0 | 0 | 235 | 61k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
375.25/375.48 c 352s| 1170k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3549 | 0 | 0 | 235 | 62k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
378.15/378.38 c 355s| 1180k| 159 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 62k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
380.94/381.13 c 358s| 1190k| 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 62k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
384.94/385.16 c 361s| 1200k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3556 | 0 | 0 | 235 | 64k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
387.84/388.08 c 364s| 1210k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 64k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
390.75/390.97 c 367s| 1220k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 64k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
393.55/393.75 c 369s| 1230k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3549 | 0 | 0 | 235 | 65k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
396.35/396.53 c 372s| 1240k| 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 65k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
399.44/399.60 c 375s| 1250k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 65k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
402.15/402.39 c 377s| 1260k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 66k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
404.84/405.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
404.84/405.08 c 380s| 1270k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3549 | 0 | 0 | 235 | 66k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
407.64/407.87 c 383s| 1280k| 151 | 10062 | 0.0 | 11M| 198 | - |1000 |3549 | 0 | 0 | 235 | 66k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
410.94/411.14 c 386s| 1290k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3549 | 0 | 0 | 235 | 67k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
414.03/414.25 c 389s| 1300k| 151 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 67k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
416.83/417.01 c 391s| 1310k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3549 | 0 | 0 | 235 | 68k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
419.54/419.75 c 394s| 1320k| 152 | 10062 | 0.0 | 11M| 198 | - |1000 |3549 | 0 | 0 | 235 | 68k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
422.83/423.04 c 397s| 1330k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3559 | 0 | 0 | 235 | 69k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
427.74/427.95 c 402s| 1340k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3572 | 0 | 0 | 235 | 71k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
437.13/437.36 c 411s| 1350k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3579 | 0 | 0 | 235 | 76k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
448.23/448.46 c 421s| 1360k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3603 | 0 | 0 | 235 | 83k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
459.42/459.65 c 432s| 1370k| 152 | 10062 | 0.0 | 11M| 198 | - |1000 |3641 | 0 | 0 | 235 | 89k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
470.52/470.75 c 443s| 1380k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3583 | 0 | 0 | 235 | 96k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
481.71/481.91 c 454s| 1390k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3593 | 0 | 0 | 235 | 102k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
492.91/493.10 c 465s| 1400k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3618 | 0 | 0 | 235 | 109k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
501.90/502.14 c 473s| 1410k| 158 | 10062 | 0.0 | 11M| 198 | - |1000 |3566 | 0 | 0 | 235 | 114k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
504.61/504.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
504.61/504.85 c 476s| 1420k| 158 | 10062 | 0.0 | 11M| 198 | - |1000 |3565 | 0 | 0 | 235 | 114k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
507.30/507.55 c 478s| 1430k| 158 | 10062 | 0.0 | 11M| 198 | - |1000 |3565 | 0 | 0 | 235 | 114k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
510.00/510.28 c 481s| 1440k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3565 | 0 | 0 | 235 | 114k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
512.80/513.03 c 483s| 1450k| 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3565 | 0 | 0 | 235 | 115k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
515.50/515.71 c 486s| 1460k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3565 | 0 | 0 | 235 | 115k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
518.20/518.43 c 488s| 1470k| 152 | 10062 | 0.0 | 11M| 198 | - |1000 |3566 | 0 | 0 | 235 | 115k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
521.11/521.30 c 491s| 1480k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3565 | 0 | 0 | 235 | 115k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
523.89/524.10 c 494s| 1490k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3565 | 0 | 0 | 235 | 115k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
526.50/526.77 c 496s| 1500k| 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3565 | 0 | 0 | 235 | 115k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
529.30/529.59 c 499s| 1510k| 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3565 | 0 | 0 | 235 | 116k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
532.10/532.37 c 501s| 1520k| 152 | 10062 | 0.0 | 11M| 198 | - |1000 |3565 | 0 | 0 | 235 | 116k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
534.89/535.15 c 504s| 1530k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3565 | 0 | 0 | 235 | 116k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
537.70/537.95 c 507s| 1540k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3565 | 0 | 0 | 235 | 116k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
540.39/540.63 c 509s| 1550k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3565 | 0 | 0 | 235 | 116k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
543.10/543.33 c 512s| 1560k| 158 | 10062 | 0.0 | 11M| 198 | - |1000 |3565 | 0 | 0 | 235 | 116k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
545.89/546.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
545.89/546.16 c 514s| 1570k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3565 | 0 | 0 | 235 | 117k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
548.69/548.98 c 517s| 1580k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3565 | 0 | 0 | 235 | 117k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
551.39/551.67 c 519s| 1590k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3566 | 0 | 0 | 235 | 117k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
554.09/554.36 c 522s| 1600k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3565 | 0 | 0 | 235 | 117k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
556.88/557.14 c 524s| 1610k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3565 | 0 | 0 | 235 | 117k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
559.59/559.85 c 527s| 1620k| 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3565 | 0 | 0 | 235 | 117k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
562.28/562.55 c 529s| 1630k| 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3565 | 0 | 0 | 235 | 118k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
564.98/565.29 c 532s| 1640k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3566 | 0 | 0 | 235 | 118k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
567.88/568.17 c 535s| 1650k| 160 | 10062 | 0.0 | 11M| 198 | - |1000 |3559 | 0 | 0 | 235 | 118k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
571.48/571.72 c 538s| 1660k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 119k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
576.67/576.91 c 543s| 1670k| 158 | 10062 | 0.0 | 11M| 198 | - |1000 |3562 | 0 | 0 | 235 | 121k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
579.77/580.01 c 546s| 1680k| 160 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 121k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
584.77/585.03 c 551s| 1690k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3559 | 0 | 0 | 235 | 123k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
589.87/590.13 c 556s| 1700k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3554 | 0 | 0 | 235 | 125k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
593.67/593.96 c 559s| 1710k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 127k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
597.07/597.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
597.07/597.37 c 562s| 1720k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3558 | 0 | 0 | 235 | 127k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
600.87/601.17 c 566s| 1730k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 128k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
604.07/604.35 c 569s| 1740k| 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 129k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
607.06/607.33 c 572s| 1750k| 152 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 129k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
611.86/612.14 c 576s| 1760k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3558 | 0 | 0 | 235 | 131k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
616.36/616.64 c 581s| 1770k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 133k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
620.77/621.05 c 585s| 1780k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3554 | 0 | 0 | 235 | 134k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
623.66/623.92 c 587s| 1790k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 134k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
627.36/627.61 c 591s| 1800k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3567 | 0 | 0 | 235 | 135k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
633.06/633.33 c 596s| 1810k| 151 | 10062 | 0.0 | 11M| 198 | - |1000 |3609 | 0 | 0 | 235 | 138k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
635.85/636.15 c 599s| 1820k| 151 | 10062 | 0.0 | 11M| 198 | - |1000 |3563 | 0 | 0 | 235 | 138k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
639.65/639.95 c 603s| 1830k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3559 | 0 | 0 | 235 | 139k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
643.55/643.84 c 606s| 1840k| 150 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 140k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
646.46/646.79 c 609s| 1850k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3554 | 0 | 0 | 235 | 141k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
654.85/655.10 c 617s| 1860k| 158 | 10062 | 0.0 | 11M| 198 | - |1000 |3564 | 0 | 0 | 235 | 145k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
657.65/657.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
657.65/657.92 c 620s| 1870k| 150 | 10062 | 0.0 | 11M| 198 | - |1000 |3564 | 0 | 0 | 235 | 145k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
660.76/661.01 c 623s| 1880k| 158 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 146k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
663.44/663.71 c 625s| 1890k| 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 146k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
666.15/666.45 c 628s| 1900k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 146k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
669.65/669.96 c 631s| 1910k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3576 | 0 | 0 | 235 | 147k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
673.34/673.62 c 634s| 1920k| 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 148k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
676.04/676.38 c 637s| 1930k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 148k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
678.95/679.20 c 640s| 1940k| 159 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 148k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
681.84/682.14 c 642s| 1950k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 149k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
684.74/685.00 c 645s| 1960k| 152 | 10062 | 0.0 | 11M| 198 | - |1000 |3559 | 0 | 0 | 235 | 149k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
687.64/687.94 c 648s| 1970k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 149k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
690.33/690.61 c 650s| 1980k| 152 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 149k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
693.43/693.78 c 653s| 1990k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3561 | 0 | 0 | 235 | 150k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
697.53/697.84 c 657s| 2000k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 151k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
700.73/701.08 c 660s| 2010k| 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 152k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
704.04/704.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
704.04/704.38 c 663s| 2020k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 152k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
706.94/707.23 c 666s| 2030k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 153k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
713.82/714.15 c 673s| 2040k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3597 | 0 | 0 | 235 | 156k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
717.42/717.73 c 676s| 2050k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3565 | 0 | 0 | 235 | 157k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
720.23/720.52 c 679s| 2060k| 151 | 10062 | 0.0 | 11M| 198 | - |1000 |3565 | 0 | 0 | 235 | 157k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
723.43/723.78 c 682s| 2070k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3565 | 0 | 0 | 235 | 158k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
727.52/727.85 c 685s| 2080k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 159k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
730.72/731.06 c 688s| 2090k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 160k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
738.72/739.00 c 696s| 2100k| 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3565 | 0 | 0 | 235 | 164k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
741.52/741.85 c 699s| 2110k| 151 | 10062 | 0.0 | 11M| 198 | - |1000 |3565 | 0 | 0 | 235 | 164k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
744.62/744.97 c 702s| 2120k| 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3562 | 0 | 0 | 235 | 164k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
747.72/748.08 c 705s| 2130k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 165k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
751.72/752.07 c 708s| 2140k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 166k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
754.51/754.81 c 711s| 2150k| 159 | 10062 | 0.0 | 11M| 198 | - |1000 |3553 | 0 | 0 | 235 | 166k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
758.52/758.84 c 715s| 2160k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3563 | 0 | 0 | 235 | 167k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
762.02/762.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
762.02/762.38 c 718s| 2170k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 168k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
764.91/765.25 c 721s| 2180k| 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 168k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
767.91/768.28 c 724s| 2190k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 169k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
770.72/771.10 c 726s| 2200k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 169k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
774.31/774.62 c 729s| 2210k| 152 | 10062 | 0.0 | 11M| 198 | - |1000 |3561 | 0 | 0 | 235 | 170k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
777.01/777.33 c 732s| 2220k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 170k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
780.20/780.55 c 735s| 2230k| 151 | 10062 | 0.0 | 11M| 198 | - |1000 |3559 | 0 | 0 | 235 | 171k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
784.30/784.63 c 739s| 2240k| 150 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 172k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
787.10/787.47 c 741s| 2250k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 172k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
790.30/790.67 c 744s| 2260k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 173k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
793.91/794.21 c 748s| 2270k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3561 | 0 | 0 | 235 | 174k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
797.80/798.18 c 752s| 2280k| 152 | 10062 | 0.0 | 11M| 198 | - |1000 |3558 | 0 | 0 | 235 | 175k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
802.50/802.85 c 756s| 2290k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 176k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
805.80/806.10 c 759s| 2300k| 151 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 177k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
813.20/813.51 c 766s| 2310k| 152 | 10062 | 0.0 | 11M| 198 | - |1000 |3605 | 0 | 0 | 235 | 181k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
821.69/822.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
821.69/822.07 c 774s| 2320k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3566 | 0 | 0 | 235 | 185k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
824.59/824.92 c 777s| 2330k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3566 | 0 | 0 | 235 | 186k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
827.39/827.72 c 780s| 2340k| 152 | 10062 | 0.0 | 11M| 198 | - |1000 |3566 | 0 | 0 | 235 | 186k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
830.19/830.52 c 782s| 2350k| 152 | 10062 | 0.0 | 11M| 198 | - |1000 |3566 | 0 | 0 | 235 | 186k| 21 | 2.705968e+02 | 4.480000e+02 | 65.56%
831.69/832.04 o 447
831.69/832.04 c * 784s| 2355k| 164 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 186k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
833.98/834.33 c 786s| 2360k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3571 | 0 | 0 | 235 | 187k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
838.69/839.01 c 790s| 2370k| 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3559 | 0 | 0 | 235 | 189k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
841.98/842.39 c 794s| 2380k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 190k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
845.08/845.47 c 796s| 2390k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3554 | 0 | 0 | 235 | 190k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
848.79/849.11 c 800s| 2400k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 191k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
852.28/852.68 c 803s| 2410k| 159 | 10062 | 0.0 | 11M| 198 | - |1000 |3555 | 0 | 0 | 235 | 192k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
859.67/860.00 c 810s| 2420k| 159 | 10062 | 0.0 | 11M| 198 | - |1000 |3563 | 0 | 0 | 235 | 196k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
862.48/862.83 c 813s| 2430k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3563 | 0 | 0 | 235 | 196k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
865.17/865.54 c 815s| 2440k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3564 | 0 | 0 | 235 | 196k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
867.87/868.28 c 818s| 2450k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3563 | 0 | 0 | 235 | 196k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
871.27/871.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
871.27/871.70 c 821s| 2460k| 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 197k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
874.57/874.99 c 824s| 2470k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 198k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
878.47/878.83 c 828s| 2480k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3558 | 0 | 0 | 235 | 199k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
883.17/883.58 c 832s| 2490k| 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3561 | 0 | 0 | 235 | 200k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
886.67/887.10 c 836s| 2500k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3558 | 0 | 0 | 235 | 201k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
890.46/890.80 c 839s| 2510k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3558 | 0 | 0 | 235 | 202k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
893.56/893.98 c 842s| 2520k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3561 | 0 | 0 | 235 | 203k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
896.66/897.09 c 845s| 2530k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 203k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
899.76/900.14 c 848s| 2540k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 204k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
905.66/906.05 c 854s| 2550k| 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3586 | 0 | 0 | 235 | 206k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
916.85/917.27 c 864s| 2560k| 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3590 | 0 | 0 | 235 | 213k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
928.15/928.53 c 875s| 2570k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3623 | 0 | 0 | 235 | 220k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
931.95/932.32 c 879s| 2580k| 152 | 10062 | 0.0 | 11M| 198 | - |1000 |3565 | 0 | 0 | 235 | 221k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
934.85/935.21 c 882s| 2590k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3565 | 0 | 0 | 235 | 221k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
937.55/937.95 c 884s| 2600k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3565 | 0 | 0 | 235 | 221k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
940.24/940.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
940.24/940.69 c 887s| 2610k| 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3565 | 0 | 0 | 235 | 221k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
943.14/943.53 c 889s| 2620k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3565 | 0 | 0 | 235 | 221k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
945.85/946.25 c 892s| 2630k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3565 | 0 | 0 | 235 | 222k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
948.54/948.99 c 894s| 2640k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3565 | 0 | 0 | 235 | 222k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
951.54/951.97 c 897s| 2650k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 222k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
954.24/954.64 c 900s| 2660k| 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 222k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
957.04/957.40 c 902s| 2670k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 223k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
959.85/960.24 c 905s| 2680k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 223k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
963.14/963.53 c 908s| 2690k| 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 224k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
965.83/966.23 c 910s| 2700k| 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 224k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
968.93/969.32 c 913s| 2710k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 224k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
972.13/972.56 c 916s| 2720k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 225k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
975.13/975.51 c 919s| 2730k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 225k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
977.83/978.25 c 922s| 2740k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 225k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
984.13/984.51 c 928s| 2750k| 152 | 10062 | 0.0 | 11M| 198 | - |1000 |3599 | 0 | 0 | 235 | 228k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
987.23/987.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
987.23/987.67 c 931s| 2760k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3563 | 0 | 0 | 235 | 229k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
990.13/990.55 c 933s| 2770k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3563 | 0 | 0 | 235 | 229k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
993.13/993.51 c 936s| 2780k| 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 229k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
995.93/996.37 c 939s| 2790k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 229k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
999.13/999.54 c 942s| 2800k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 230k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1001.82/1002.22 c 944s| 2810k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 230k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1004.72/1005.15 c 947s| 2820k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3557 | 0 | 0 | 235 | 231k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1008.33/1008.75 c 950s| 2830k| 152 | 10062 | 0.0 | 11M| 198 | - |1000 |3559 | 0 | 0 | 235 | 231k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1011.12/1011.57 c 953s| 2840k| 160 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 232k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1014.22/1014.65 c 956s| 2850k| 159 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 232k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1017.22/1017.63 c 959s| 2860k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 232k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1020.42/1020.86 c 962s| 2870k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 233k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1023.72/1024.19 c 965s| 2880k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 234k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1026.52/1027.00 c 967s| 2890k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 234k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1029.32/1029.76 c 970s| 2900k| 159 | 10062 | 0.0 | 11M| 198 | - |1000 |3557 | 0 | 0 | 235 | 234k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1032.61/1033.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1032.61/1033.09 c 973s| 2910k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3555 | 0 | 0 | 235 | 235k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1036.72/1037.10 c 977s| 2920k| 152 | 10062 | 0.0 | 11M| 198 | - |1000 |3560 | 0 | 0 | 235 | 236k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1039.41/1039.87 c 980s| 2930k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 236k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1042.81/1043.25 c 983s| 2940k| 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 237k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1046.21/1046.68 c 986s| 2950k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3560 | 0 | 0 | 235 | 238k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1049.41/1049.88 c 989s| 2960k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3571 | 0 | 0 | 235 | 238k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1052.40/1052.80 c 992s| 2970k| 159 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 239k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1056.30/1056.78 c 995s| 2980k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3560 | 0 | 0 | 235 | 240k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1059.51/1059.96 c 998s| 2990k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 240k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1062.51/1062.99 c 1001s| 3000k| 158 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 241k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1065.20/1065.60 c 1004s| 3010k| 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 241k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1067.80/1068.28 c 1006s| 3020k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 241k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1070.50/1070.97 c 1009s| 3030k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 241k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1073.21/1073.64 c 1011s| 3040k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 241k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1075.89/1076.34 c 1014s| 3050k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 242k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1079.20/1079.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1079.20/1079.64 c 1017s| 3060k| 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3562 | 0 | 0 | 235 | 242k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1083.80/1084.27 c 1021s| 3070k| 158 | 10062 | 0.0 | 11M| 198 | - |1000 |3558 | 0 | 0 | 235 | 244k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1087.10/1087.52 c 1024s| 3080k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 245k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1090.20/1090.68 c 1027s| 3090k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3555 | 0 | 0 | 235 | 245k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1094.00/1094.48 c 1031s| 3100k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3558 | 0 | 0 | 235 | 246k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1097.99/1098.47 c 1034s| 3110k| 158 | 10062 | 0.0 | 11M| 198 | - |1000 |3557 | 0 | 0 | 235 | 247k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1101.19/1101.62 c 1037s| 3120k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 248k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1104.59/1105.08 c 1041s| 3130k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3561 | 0 | 0 | 235 | 249k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1107.79/1108.27 c 1044s| 3140k| 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3554 | 0 | 0 | 235 | 249k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1111.28/1111.78 c 1047s| 3150k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3556 | 0 | 0 | 235 | 250k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1114.89/1115.32 c 1050s| 3160k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3558 | 0 | 0 | 235 | 251k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1117.79/1118.20 c 1053s| 3170k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3556 | 0 | 0 | 235 | 251k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1120.98/1121.45 c 1056s| 3180k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 252k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1123.79/1124.28 c 1059s| 3190k| 149 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 252k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1127.18/1127.64 c 1062s| 3200k| 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 253k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1130.18/1130.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1130.18/1130.68 c 1065s| 3210k| 152 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 253k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1133.88/1134.34 c 1068s| 3220k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3559 | 0 | 0 | 235 | 254k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1137.18/1137.67 c 1071s| 3230k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 255k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1140.18/1140.68 c 1074s| 3240k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 255k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1144.77/1145.27 c 1078s| 3250k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3558 | 0 | 0 | 235 | 257k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1147.98/1148.48 c 1081s| 3260k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 258k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1151.38/1151.83 c 1085s| 3270k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3553 | 0 | 0 | 235 | 258k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1154.87/1155.34 c 1088s| 3280k| 152 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 259k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1158.17/1158.61 c 1091s| 3290k| 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3570 | 0 | 0 | 235 | 260k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1161.37/1161.83 c 1094s| 3300k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3564 | 0 | 0 | 235 | 260k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1165.66/1166.19 c 1098s| 3310k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3555 | 0 | 0 | 235 | 262k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1169.06/1169.55 c 1101s| 3320k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3557 | 0 | 0 | 235 | 262k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1173.56/1174.04 c 1106s| 3330k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3559 | 0 | 0 | 235 | 264k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1178.26/1178.76 c 1110s| 3340k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3561 | 0 | 0 | 235 | 266k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1181.16/1181.65 c 1113s| 3350k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3557 | 0 | 0 | 235 | 266k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1184.46/1184.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1184.46/1184.97 c 1116s| 3360k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3553 | 0 | 0 | 235 | 267k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1188.15/1188.62 c 1119s| 3370k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3562 | 0 | 0 | 235 | 268k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1191.66/1192.15 c 1123s| 3380k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3553 | 0 | 0 | 235 | 268k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1195.06/1195.59 c 1126s| 3390k| 152 | 10062 | 0.0 | 11M| 198 | - |1000 |3560 | 0 | 0 | 235 | 269k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1200.35/1200.88 c 1131s| 3400k| 150 | 10062 | 0.0 | 11M| 198 | - |1000 |3565 | 0 | 0 | 235 | 271k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1203.55/1204.03 c 1134s| 3410k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3553 | 0 | 0 | 235 | 272k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1208.05/1208.51 c 1138s| 3420k| 151 | 10062 | 0.0 | 11M| 198 | - |1000 |3562 | 0 | 0 | 235 | 273k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1211.95/1212.42 c 1142s| 3430k| 152 | 10062 | 0.0 | 11M| 198 | - |1000 |3559 | 0 | 0 | 235 | 274k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1217.15/1217.63 c 1147s| 3440k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3589 | 0 | 0 | 235 | 277k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1222.84/1223.39 c 1152s| 3450k| 148 | 10062 | 0.0 | 11M| 198 | - |1000 |3566 | 0 | 0 | 235 | 279k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1225.85/1226.31 c 1155s| 3460k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3566 | 0 | 0 | 235 | 279k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1228.64/1229.14 c 1158s| 3470k| 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 279k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1231.24/1231.79 c 1160s| 3480k| 158 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 280k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1234.24/1234.78 c 1163s| 3490k| 158 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 280k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1236.84/1237.36 c 1165s| 3500k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 280k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1239.74/1240.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1239.74/1240.26 c 1168s| 3510k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3557 | 0 | 0 | 235 | 281k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1242.45/1242.94 c 1171s| 3520k| 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 281k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1245.64/1246.11 c 1174s| 3530k| 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 282k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1248.24/1248.80 c 1176s| 3540k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 282k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1251.44/1251.90 c 1179s| 3550k| 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3555 | 0 | 0 | 235 | 282k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1254.54/1255.09 c 1182s| 3560k| 152 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 283k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1257.23/1257.73 c 1184s| 3570k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 283k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1260.83/1261.31 c 1188s| 3580k| 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 284k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1263.63/1264.14 c 1190s| 3590k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3556 | 0 | 0 | 235 | 284k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1266.63/1267.18 c 1193s| 3600k| 151 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 285k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1269.53/1270.07 c 1196s| 3610k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 285k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1272.73/1273.28 c 1199s| 3620k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 286k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1276.03/1276.54 c 1202s| 3630k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3557 | 0 | 0 | 235 | 286k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1279.02/1279.54 c 1205s| 3640k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 287k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1282.13/1282.63 c 1208s| 3650k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 287k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1285.22/1285.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1285.22/1285.75 c 1211s| 3660k| 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 288k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1287.82/1288.32 c 1213s| 3670k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 288k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1290.62/1291.18 c 1216s| 3680k| 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 288k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1293.62/1294.17 c 1219s| 3690k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 289k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1296.33/1296.85 c 1221s| 3700k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3554 | 0 | 0 | 235 | 289k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1299.02/1299.52 c 1224s| 3710k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 289k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1302.01/1302.55 c 1226s| 3720k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 290k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1304.82/1305.36 c 1229s| 3730k| 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 290k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1307.61/1308.13 c 1232s| 3740k| 151 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 290k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1310.51/1311.03 c 1234s| 3750k| 151 | 10062 | 0.0 | 11M| 198 | - |1000 |3556 | 0 | 0 | 235 | 291k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1313.51/1314.02 c 1237s| 3760k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 291k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1316.61/1317.16 c 1240s| 3770k| 151 | 10062 | 0.0 | 11M| 198 | - |1000 |3553 | 0 | 0 | 235 | 292k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1319.71/1320.24 c 1243s| 3780k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 292k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1322.31/1322.87 c 1245s| 3790k| 149 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 292k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1325.51/1326.08 c 1248s| 3800k| 158 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 293k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1328.61/1329.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1328.61/1329.11 c 1251s| 3810k| 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 293k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1331.71/1332.24 c 1254s| 3820k| 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 294k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1334.70/1335.23 c 1257s| 3830k| 150 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 294k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1338.11/1338.68 c 1260s| 3840k| 149 | 10062 | 0.0 | 11M| 198 | - |1000 |3559 | 0 | 0 | 235 | 295k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1341.10/1341.69 c 1263s| 3850k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 296k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1344.81/1345.36 c 1266s| 3860k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3560 | 0 | 0 | 235 | 296k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1348.01/1348.58 c 1270s| 3870k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 297k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1351.09/1351.66 c 1272s| 3880k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 298k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1354.20/1354.76 c 1275s| 3890k| 152 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 298k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1357.60/1358.15 c 1278s| 3900k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3556 | 0 | 0 | 235 | 299k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1360.60/1361.12 c 1281s| 3910k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 299k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1363.50/1364.09 c 1284s| 3920k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 300k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1366.40/1366.91 c 1287s| 3930k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 300k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1369.49/1370.06 c 1290s| 3940k| 151 | 10062 | 0.0 | 11M| 198 | - |1000 |3560 | 0 | 0 | 235 | 301k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1372.29/1372.86 c 1292s| 3950k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3553 | 0 | 0 | 235 | 301k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1375.09/1375.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1375.09/1375.61 c 1295s| 3960k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 301k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1377.88/1378.40 c 1297s| 3970k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 301k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1380.68/1381.27 c 1300s| 3980k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 302k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1383.39/1383.91 c 1302s| 3990k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 302k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1386.28/1386.83 c 1305s| 4000k| 150 | 10062 | 0.0 | 11M| 198 | - |1000 |3553 | 0 | 0 | 235 | 302k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1391.58/1392.18 c 1310s| 4010k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3562 | 0 | 0 | 235 | 305k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1394.69/1395.28 c 1313s| 4020k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 305k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1397.89/1398.42 c 1316s| 4030k| 152 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 305k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1400.58/1401.14 c 1319s| 4040k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 306k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1404.58/1405.18 c 1322s| 4050k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 307k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1407.39/1407.92 c 1325s| 4060k| 152 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 307k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1410.57/1411.14 c 1328s| 4070k| 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3558 | 0 | 0 | 235 | 308k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1413.78/1414.31 c 1331s| 4080k| 150 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 308k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1416.48/1417.09 c 1334s| 4090k| 151 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 308k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1420.18/1420.70 c 1337s| 4100k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3558 | 0 | 0 | 235 | 309k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1424.68/1425.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1424.68/1425.22 c 1341s| 4110k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3555 | 0 | 0 | 235 | 311k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1428.28/1428.84 c 1345s| 4120k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 312k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1431.58/1432.13 c 1348s| 4130k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 312k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1434.77/1435.38 c 1351s| 4140k| 151 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 313k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1439.07/1439.68 c 1355s| 4150k| 158 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 315k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1442.57/1443.11 c 1358s| 4160k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 315k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1445.16/1445.74 c 1361s| 4170k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 315k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1447.96/1448.56 c 1363s| 4180k| 149 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 316k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1450.77/1451.38 c 1366s| 4190k| 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3556 | 0 | 0 | 235 | 316k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1453.86/1454.40 c 1369s| 4200k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 316k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1456.96/1457.55 c 1372s| 4210k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3553 | 0 | 0 | 235 | 317k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1460.06/1460.61 c 1375s| 4220k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 317k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1463.06/1463.66 c 1377s| 4230k| 150 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 318k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1466.26/1466.81 c 1380s| 4240k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3553 | 0 | 0 | 235 | 318k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1470.26/1470.89 c 1384s| 4250k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3564 | 0 | 0 | 235 | 320k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1474.15/1474.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1474.15/1474.78 c 1388s| 4260k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3559 | 0 | 0 | 235 | 321k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1477.86/1478.47 c 1391s| 4270k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3558 | 0 | 0 | 235 | 322k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1481.65/1482.24 c 1395s| 4280k| 152 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 323k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1484.46/1485.05 c 1398s| 4290k| 151 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 323k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1488.85/1489.45 c 1402s| 4300k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3554 | 0 | 0 | 235 | 324k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1492.35/1492.97 c 1405s| 4310k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 325k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1496.34/1496.94 c 1409s| 4320k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 326k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1501.14/1501.70 c 1413s| 4330k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3561 | 0 | 0 | 235 | 328k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1503.94/1504.56 c 1416s| 4340k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3561 | 0 | 0 | 235 | 328k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1507.55/1508.12 c 1419s| 4350k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 329k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1510.75/1511.36 c 1422s| 4360k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 330k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1516.14/1516.79 c 1428s| 4370k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3562 | 0 | 0 | 235 | 332k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1519.94/1520.59 c 1431s| 4380k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3557 | 0 | 0 | 235 | 333k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1523.94/1524.54 c 1435s| 4390k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3558 | 0 | 0 | 235 | 334k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1529.33/1529.98 c 1440s| 4400k| 152 | 10062 | 0.0 | 11M| 198 | - |1000 |3560 | 0 | 0 | 235 | 336k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1532.23/1532.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1532.23/1532.81 c 1443s| 4410k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 337k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1535.33/1535.93 c 1446s| 4420k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3560 | 0 | 0 | 235 | 337k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1538.23/1538.82 c 1448s| 4430k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 337k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1541.13/1541.75 c 1451s| 4440k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 338k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1544.12/1544.71 c 1454s| 4450k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3559 | 0 | 0 | 235 | 338k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1548.42/1549.09 c 1458s| 4460k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 339k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1551.53/1552.14 c 1461s| 4470k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 340k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1554.33/1554.96 c 1464s| 4480k| 152 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 340k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1557.92/1558.52 c 1467s| 4490k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 341k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1560.92/1561.52 c 1470s| 4500k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 341k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1563.62/1564.27 c 1472s| 4510k| 149 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 342k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1567.22/1567.87 c 1476s| 4520k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 343k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1571.33/1571.99 c 1480s| 4530k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3572 | 0 | 0 | 235 | 344k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1582.61/1583.28 c 1490s| 4540k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3607 | 0 | 0 | 235 | 350k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1594.01/1594.61 c 1501s| 4550k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3604 | 0 | 0 | 235 | 357k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1599.41/1600.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1599.41/1600.02 c 1507s| 4560k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3567 | 0 | 0 | 235 | 359k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1602.21/1602.81 c 1509s| 4570k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3567 | 0 | 0 | 235 | 359k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1604.91/1605.60 c 1512s| 4580k| 152 | 10062 | 0.0 | 11M| 198 | - |1000 |3567 | 0 | 0 | 235 | 360k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1607.61/1608.29 c 1514s| 4590k| 152 | 10062 | 0.0 | 11M| 198 | - |1000 |3567 | 0 | 0 | 235 | 360k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1610.40/1611.09 c 1517s| 4600k| 150 | 10062 | 0.0 | 11M| 198 | - |1000 |3567 | 0 | 0 | 235 | 360k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1613.20/1613.83 c 1519s| 4610k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3567 | 0 | 0 | 235 | 360k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1615.80/1616.48 c 1522s| 4620k| 152 | 10062 | 0.0 | 11M| 198 | - |1000 |3567 | 0 | 0 | 235 | 360k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1618.51/1619.20 c 1524s| 4630k| 150 | 10062 | 0.0 | 11M| 198 | - |1000 |3567 | 0 | 0 | 235 | 360k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1621.10/1621.71 c 1527s| 4640k| 158 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 360k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1623.20/1623.87 c 1529s| 4650k| 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 361k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1625.60/1626.21 c 1531s| 4660k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 361k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1627.80/1628.40 c 1533s| 4670k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 361k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1629.90/1630.57 c 1535s| 4680k| 158 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 361k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1632.10/1632.78 c 1537s| 4690k| 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 361k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1634.39/1635.00 c 1539s| 4700k| 158 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 361k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1636.59/1637.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1636.59/1637.25 c 1541s| 4710k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 361k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1638.89/1639.53 c 1543s| 4720k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 361k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1641.09/1641.80 c 1545s| 4730k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 361k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1643.39/1644.02 c 1547s| 4740k| 159 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 362k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1645.59/1646.21 c 1549s| 4750k| 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 362k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1647.79/1648.42 c 1552s| 4760k| 158 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 362k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1649.99/1650.62 c 1554s| 4770k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 362k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1652.09/1652.79 c 1556s| 4780k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 362k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1654.39/1655.09 c 1558s| 4790k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 362k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1656.68/1657.34 c 1560s| 4800k| 158 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 362k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1658.98/1659.60 c 1562s| 4810k| 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 362k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1661.29/1661.94 c 1564s| 4820k| 158 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 362k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1663.69/1664.37 c 1566s| 4830k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 363k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1666.19/1666.84 c 1569s| 4840k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 363k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1668.58/1669.23 c 1571s| 4850k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 363k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1670.98/1671.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1670.98/1671.66 c 1573s| 4860k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 363k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1673.28/1673.94 c 1575s| 4870k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 363k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1675.69/1676.32 c 1577s| 4880k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 364k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1678.08/1678.71 c 1580s| 4890k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 364k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1680.38/1681.04 c 1582s| 4900k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 364k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1682.68/1683.38 c 1584s| 4910k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 364k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1685.07/1685.74 c 1586s| 4920k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 364k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1687.48/1688.13 c 1588s| 4930k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 364k| 21 | 2.705968e+02 | 4.470000e+02 | 65.19%
1687.78/1688.41 o 446
1687.78/1688.41 c *1589s| 4931k| 164 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 364k| 21 | 2.705968e+02 | 4.460000e+02 | 64.82%
1688.38/1689.02 o 445
1688.38/1689.02 c *1589s| 4933k| 159 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 364k| 21 | 2.705968e+02 | 4.450000e+02 | 64.45%
1689.58/1690.28 c 1590s| 4940k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 364k| 21 | 2.705968e+02 | 4.450000e+02 | 64.45%
1691.77/1692.42 c 1592s| 4950k| 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 364k| 21 | 2.705968e+02 | 4.450000e+02 | 64.45%
1693.87/1694.51 c 1594s| 4960k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 364k| 21 | 2.705968e+02 | 4.450000e+02 | 64.45%
1695.87/1696.59 c 1596s| 4970k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 365k| 21 | 2.705968e+02 | 4.450000e+02 | 64.45%
1697.87/1698.57 c 1598s| 4980k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 365k| 21 | 2.705968e+02 | 4.450000e+02 | 64.45%
1699.98/1700.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1699.98/1700.69 c 1600s| 4990k| 152 | 10062 | 0.0 | 11M| 198 | - |1000 |3554 | 0 | 0 | 235 | 365k| 21 | 2.705968e+02 | 4.450000e+02 | 64.45%
1702.07/1702.80 c 1602s| 5000k| 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 365k| 21 | 2.705968e+02 | 4.450000e+02 | 64.45%
1704.28/1704.92 c 1604s| 5010k| 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 365k| 21 | 2.705968e+02 | 4.450000e+02 | 64.45%
1706.27/1706.93 c 1606s| 5020k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 365k| 21 | 2.705968e+02 | 4.450000e+02 | 64.45%
1708.26/1708.94 c 1608s| 5030k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3553 | 0 | 0 | 235 | 365k| 21 | 2.705968e+02 | 4.450000e+02 | 64.45%
1710.37/1711.05 c 1610s| 5040k| 158 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 365k| 21 | 2.705968e+02 | 4.450000e+02 | 64.45%
1712.47/1713.18 c 1612s| 5050k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 365k| 21 | 2.705968e+02 | 4.450000e+02 | 64.45%
1714.56/1715.21 c 1613s| 5060k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 365k| 21 | 2.705968e+02 | 4.450000e+02 | 64.45%
1716.77/1717.41 c 1616s| 5070k| 159 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 366k| 21 | 2.705968e+02 | 4.450000e+02 | 64.45%
1718.97/1719.60 c 1618s| 5080k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 366k| 21 | 2.705968e+02 | 4.450000e+02 | 64.45%
1721.06/1721.72 c 1620s| 5090k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 366k| 21 | 2.705968e+02 | 4.450000e+02 | 64.45%
1723.17/1723.81 c 1621s| 5100k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 366k| 21 | 2.705968e+02 | 4.450000e+02 | 64.45%
1725.17/1725.84 c 1623s| 5110k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 366k| 21 | 2.705968e+02 | 4.450000e+02 | 64.45%
1727.26/1727.91 c 1625s| 5120k| 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 366k| 21 | 2.705968e+02 | 4.450000e+02 | 64.45%
1729.36/1730.07 c 1627s| 5130k| 151 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 366k| 21 | 2.705968e+02 | 4.450000e+02 | 64.45%
1731.56/1732.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1731.56/1732.22 c 1629s| 5140k| 149 | 10062 | 0.0 | 11M| 198 | - |1000 |3553 | 0 | 0 | 235 | 367k| 21 | 2.705968e+02 | 4.450000e+02 | 64.45%
1733.76/1734.41 c 1631s| 5150k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 367k| 21 | 2.705968e+02 | 4.450000e+02 | 64.45%
1735.86/1736.50 c 1633s| 5160k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3554 | 0 | 0 | 235 | 367k| 21 | 2.705968e+02 | 4.450000e+02 | 64.45%
1737.75/1738.48 c 1635s| 5170k| 159 | 10062 | 0.0 | 11M| 198 | - |1000 |3554 | 0 | 0 | 235 | 367k| 21 | 2.705968e+02 | 4.450000e+02 | 64.45%
1739.96/1740.60 c 1637s| 5180k| 160 | 10062 | 0.0 | 11M| 198 | - |1000 |3554 | 0 | 0 | 235 | 367k| 21 | 2.705968e+02 | 4.450000e+02 | 64.45%
1741.86/1742.57 c 1639s| 5190k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 367k| 21 | 2.705968e+02 | 4.450000e+02 | 64.45%
1744.16/1744.81 c 1641s| 5200k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3553 | 0 | 0 | 235 | 368k| 21 | 2.705968e+02 | 4.450000e+02 | 64.45%
1746.36/1747.05 c 1643s| 5210k| 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3553 | 0 | 0 | 235 | 368k| 21 | 2.705968e+02 | 4.450000e+02 | 64.45%
1748.56/1749.20 c 1645s| 5220k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3553 | 0 | 0 | 235 | 368k| 21 | 2.705968e+02 | 4.450000e+02 | 64.45%
1750.75/1751.43 c 1647s| 5230k| 152 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 368k| 21 | 2.705968e+02 | 4.450000e+02 | 64.45%
1752.95/1753.63 c 1649s| 5240k| 150 | 10062 | 0.0 | 11M| 198 | - |1000 |3553 | 0 | 0 | 235 | 368k| 21 | 2.705968e+02 | 4.450000e+02 | 64.45%
1755.25/1755.93 c 1651s| 5250k| 151 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 368k| 21 | 2.705968e+02 | 4.450000e+02 | 64.45%
1757.55/1758.23 c 1653s| 5260k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 368k| 21 | 2.705968e+02 | 4.450000e+02 | 64.45%
1759.85/1760.54 c 1656s| 5270k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3555 | 0 | 0 | 235 | 369k| 21 | 2.705968e+02 | 4.450000e+02 | 64.45%
1762.05/1762.79 c 1658s| 5280k| 156 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 369k| 21 | 2.705968e+02 | 4.450000e+02 | 64.45%
1764.25/1764.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1764.25/1764.94 c 1660s| 5290k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 369k| 21 | 2.705968e+02 | 4.450000e+02 | 64.45%
1766.45/1767.13 c 1662s| 5300k| 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 369k| 21 | 2.705968e+02 | 4.450000e+02 | 64.45%
1768.65/1769.32 c 1664s| 5310k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 369k| 21 | 2.705968e+02 | 4.450000e+02 | 64.45%
1770.75/1771.47 c 1666s| 5320k| 159 | 10062 | 0.0 | 11M| 198 | - |1000 |3554 | 0 | 0 | 235 | 369k| 21 | 2.705968e+02 | 4.450000e+02 | 64.45%
1773.05/1773.78 c 1668s| 5330k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 370k| 21 | 2.705968e+02 | 4.450000e+02 | 64.45%
1775.25/1775.91 c 1670s| 5340k| 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 370k| 21 | 2.705968e+02 | 4.450000e+02 | 64.45%
1777.35/1778.08 c 1672s| 5350k| 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 370k| 21 | 2.705968e+02 | 4.450000e+02 | 64.45%
1779.44/1780.19 c 1674s| 5360k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 370k| 21 | 2.705968e+02 | 4.450000e+02 | 64.45%
1781.64/1782.33 c 1676s| 5370k| 153 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 370k| 21 | 2.705968e+02 | 4.450000e+02 | 64.45%
1783.84/1784.50 c 1678s| 5380k| 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3556 | 0 | 0 | 235 | 371k| 21 | 2.705968e+02 | 4.450000e+02 | 64.45%
1786.04/1786.70 c 1680s| 5390k| 155 | 10062 | 0.0 | 11M| 198 | - |1000 |3550 | 0 | 0 | 235 | 371k| 21 | 2.705968e+02 | 4.450000e+02 | 64.45%
1788.24/1788.93 c 1682s| 5400k| 151 | 10062 | 0.0 | 11M| 198 | - |1000 |3552 | 0 | 0 | 235 | 371k| 21 | 2.705968e+02 | 4.450000e+02 | 64.45%
1790.24/1790.99 c 1684s| 5410k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 371k| 21 | 2.705968e+02 | 4.450000e+02 | 64.45%
1792.53/1793.27 c 1686s| 5420k| 149 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 371k| 21 | 2.705968e+02 | 4.450000e+02 | 64.45%
1794.74/1795.41 c 1688s| 5430k| 157 | 10062 | 0.0 | 11M| 198 | - |1000 |3551 | 0 | 0 | 235 | 371k| 21 | 2.705968e+02 | 4.450000e+02 | 64.45%
1796.74/1797.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1796.74/1797.44 c 1690s| 5440k| 154 | 10062 | 0.0 | 11M| 198 | - |1000 |3554 | 0 | 0 | 235 | 372k| 21 | 2.705968e+02 | 4.450000e+02 | 64.45%
1798.84/1799.52 c 1692s| 5450k| 152 | 10062 | 0.0 | 11M| 198 | - |1000 |3553 | 0 | 0 | 235 | 372k| 21 | 2.705968e+02 | 4.450000e+02 | 64.45%
1800.05/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.71 c
1800.05/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.71 c Solving Time (sec) : 1692.95
1800.05/1800.71 c Solving Nodes : 5455501
1800.05/1800.71 c Primal Bound : +4.45000000000000e+02 (4 solutions)
1800.05/1800.71 c Dual Bound : +2.70596767481736e+02
1800.05/1800.71 c Gap : 64.45 %
1800.05/1800.71 s SATISFIABLE
1800.05/1800.71 v x1020 -x1019 x1018 -x1017 x1016 -x1015 -x1014 -x1013 -x1012 x1011 x1010 -x1009 x1008 -x1007 x1006 -x1005 x1004 -x1003 x1002 -x1001
1800.05/1800.71 v -x1000 x999 x998 -x997 x996 -x995 x994 -x993 -x992 -x991 x990 -x989 x988 -x987 x986 -x985 x984 -x983 x982 -x981 x980 -x979
1800.05/1800.71 v x978 -x977 x976 -x975 -x974 -x973 -x972 x971 x970 -x969 x968 -x967 x966 -x965 x964 -x963 x962 -x961 x960 -x959 x958 -x957 x956
1800.05/1800.71 v -x955 x954 -x953 -x952 x951 x950 -x949 x948 -x947 x946 -x945 x944 -x943 x942 -x941 x940 -x939 x938 -x937 x936 -x935 x934
1800.05/1800.71 v -x933 -x932 x931 x930 -x929 x928 -x927 x926 -x925 x924 -x923 x922 -x921 x920 -x919 x918 -x917 x916 -x915 -x914 x913 x912 -x911
1800.05/1800.71 v x910 -x909 x908 -x907 x906 -x905 x904 -x903 x902 -x901 x900 -x899 x898 -x897 x896 -x895 x894 -x893 -x892 -x891 x890 -x889 -x888
1800.05/1800.71 v x887 x886 -x885 x884 -x883 x882 -x881 x880 -x879 x878 -x877 x876 -x875 x874 -x873 -x872 x871 x870 -x869 x868 -x867 x866
1800.05/1800.71 v -x865 x864 -x863 x862 -x861 x860 -x859 x858 -x857 x856 -x855 x854 -x853 -x852 x851 x850 -x849 x848 -x847 x846 -x845 x844 -x843
1800.05/1800.71 v x842 -x841 x840 -x839 x838 -x837 x836 -x835 -x834 -x833 -x832 x831 x830 -x829 x828 -x827 x826 -x825 x824 -x823 x822 -x821 x820
1800.05/1800.71 v -x819 x818 -x817 x816 -x815 x814 -x813 -x812 x811 x810 -x809 x808 -x807 x806 -x805 x804 -x803 x802 -x801 x800 -x799 x798
1800.05/1800.71 v -x797 x796 -x795 -x794 -x793 -x792 x791 x790 -x789 x788 -x787 x786 -x785 x784 -x783 x782 -x781 -x780 -x779 -x778 -x777 x776 -x775
1800.05/1800.71 v x774 -x773 -x772 -x771 x770 -x769 -x768 -x767 x766 -x765 -x764 -x763 -x762 x761 x760 -x759 x758 -x757 x756 -x755 -x754 x753
1800.05/1800.71 v x752 -x751 x750 -x749 x748 -x747 x746 -x745 x744 -x743 x742 -x741 x740 -x739 x738 -x737 x736 -x735 x734 -x733 -x732 x731
1800.05/1800.71 v x730 -x729 x728 -x727 x726 -x725 x724 -x723 x722 -x721 x720 -x719 x718 -x717 x716 -x715 -x714 x713 x712 -x711 x710 -x709 x708
1800.05/1800.71 v -x707 x706 -x705 x704 -x703 x702 -x701 x700 -x699 x698 -x697 x696 -x695 -x694 x693 x692 -x691 x690 -x689 x688 -x687 x686 -x685
1800.05/1800.71 v x684 -x683 x682 -x681 x680 -x679 x678 -x677 x676 -x675 -x674 x673 x672 -x671 x670 -x669 x668 -x667 x666 -x665 x664 -x663 x662
1800.05/1800.71 v -x661 x660 -x659 x658 -x657 x656 -x655 -x654 x653 -x652 -x651 x650 -x649 x648 -x647 x646 -x645 x644 -x643 x642 -x641 x640
1800.05/1800.71 v -x639 x638 -x637 x636 -x635 -x634 x633 x632 -x631 x630 -x629 x628 -x627 x626 -x625 x624 -x623 x622 -x621 x620 -x619 x618 -x617
1800.05/1800.71 v x616 -x615 -x614 x613 x612 -x611 x610 -x609 x608 -x607 x606 -x605 x604 -x603 x602 -x601 x600 -x599 x598 -x597 x596 -x595 x594
1800.05/1800.71 v -x593 -x592 x591 x590 -x589 x588 -x587 x586 -x585 x584 -x583 x582 -x581 x580 -x579 x578 -x577 x576 -x575 x574 -x573 -x572
1800.05/1800.71 v x571 x570 -x569 x568 -x567 x566 -x565 x564 -x563 x562 -x561 x560 -x559 x558 -x557 x556 -x555 -x554 x553 x552 -x551 x550 -x549
1800.05/1800.71 v x548 -x547 x546 -x545 x544 -x543 x542 -x541 x540 -x539 x538 -x537 x536 -x535 x534 -x533 -x532 x531 x530 -x529 x528 -x527 x526
1800.05/1800.71 v -x525 x524 -x523 x522 -x521 x520 -x519 x518 -x517 x516 -x515 -x514 -x513 -x512 x511 x510 -x509 x508 -x507 x506 -x505 x504
1800.05/1800.71 v -x503 x502 -x501 -x500 -x499 -x498 -x497 x496 -x495 x494 -x493 -x492 -x491 x490 -x489 -x488 -x487 x486 -x485 -x484 x483 -x482
1800.05/1800.71 v -x481 x480 -x479 x478 -x477 x476 -x475 x474 -x473 -x472 x471 x470 -x469 x468 -x467 x466 -x465 x464 -x463 x462 -x461 x460 -x459
1800.05/1800.71 v x458 -x457 x456 -x455 -x454 x453 -x452 -x451 x450 -x449 x448 -x447 x446 -x445 x444 -x443 x442 -x441 -x440 x439 x438 -x437
1800.05/1800.71 v x436 -x435 x434 -x433 -x432 -x431 x430 -x429 x428 -x427 x426 -x425 x424 -x423 x422 -x421 x420 -x419 x418 -x417 x416 -x415 -x414
1800.05/1800.71 v x413 x412 -x411 x410 -x409 x408 -x407 x406 -x405 x404 -x403 x402 -x401 x400 -x399 x398 -x397 x396 -x395 -x394 -x393 -x392
1800.05/1800.71 v x391 x390 -x389 x388 -x387 x386 -x385 x384 -x383 x382 -x381 x380 -x379 x378 -x377 x376 -x375 x374 -x373 -x372 x371 x370 -x369
1800.05/1800.71 v x368 -x367 x366 -x365 x364 -x363 x362 -x361 x360 -x359 x358 -x357 x356 -x355 -x354 x353 x352 -x351 x350 -x349 x348 -x347 x346
1800.05/1800.71 v -x345 x344 -x343 x342 -x341 x340 -x339 x338 -x337 x336 -x335 x334 -x333 -x332 x331 x330 -x329 x328 -x327 x326 -x325 x324 -x323
1800.05/1800.71 v x322 -x321 x320 -x319 -x318 x317 -x316 -x315 -x314 x313 -x312 x311 -x310 x309 -x308 x307 -x306 -x305 -x304 x303 -x302 -x301
1800.05/1800.71 v -x300 -x299 -x298 x297 -x296 x295 -x294 x293 x292 -x291 -x290 x289 x288 -x287 -x286 x285 -x284 -x283 -x282 x281 -x280 x279
1800.05/1800.71 v -x278 -x277 -x276 x275 -x274 -x273 -x272 x271 -x270 -x269 -x268 -x267 -x266 x265 -x264 x263 -x262 -x261 x260 -x259 -x258 x257
1800.05/1800.71 v x256 -x255 -x254 x253 -x252 -x251 -x250 x249 -x248 -x247 -x246 x245 -x244 x243 -x242 -x241 -x240 -x239 -x238 x237 -x236 x235
1800.05/1800.71 v -x234 -x233 -x232 x231 -x230 -x229 x228 -x227 -x226 x225 -x224 x223 -x222 x221 -x220 x219 x218 -x217 -x216 x215 -x214 x213
1800.05/1800.71 v -x212 x211 -x210 x209 -x208 x207 -x206 x205 -x204 x203 -x202 x201 -x200 x199 -x198 x197 -x196 x195 -x194 x193 -x192 x191 -x190
1800.05/1800.71 v x189 -x188 x187 -x186 x185 -x184 x183 -x182 x181 -x180 x179 x178 -x177 -x176 x175 -x174 x173 -x172 x171 -x170 x169 -x168 x167
1800.05/1800.71 v -x166 x165 -x164 x163 -x162 x161 x160 -x159 -x158 x157 -x156 x155 -x154 -x153 -x152 x151 -x150 -x149 -x148 x147 -x146 -x145
1800.05/1800.71 v -x144 x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 x135 -x134 -x133 x132 -x131 -x130 x129 x128 -x127 -x126 x125 -x124 -x123
1800.05/1800.71 v -x122 x121 -x120 x119 x118 -x117 -x116 x115 -x114 -x113 -x112 x111 -x110 -x109 -x108 -x107 -x106 x105 -x104 x103 -x102 x101
1800.05/1800.71 v -x100 x99 -x98 x97 x96 -x95 -x94 x93 -x92 x91 -x90 -x89 -x88 x87 -x86 -x85 -x84 x83 -x82 -x81 -x80 x79 -x78 -x77 -x76 x75 -x74
1800.05/1800.71 v -x73 -x72 x71 -x70 -x69 x68 -x67 -x66 x65 x64 -x63 -x62 x61 -x60 -x59 -x58 x57 -x56 x55 -x54 -x53 -x52 x51 -x50 -x49 -x48
1800.05/1800.71 v x47 -x46 -x45 -x44 -x43 -x42 x41 -x40 x39 -x38 -x37 x36 -x35 -x34 x33 x32 -x31 -x30 x29 -x28 -x27 -x26 x25 -x24 x23 -x22 -x21
1800.05/1800.71 v -x20 x19 -x18 -x17 -x16 x15 -x14 -x13 -x12 -x11 -x10 x9 -x8 x7 -x6 -x5 x4 -x3 -x2 x1
1800.05/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.71 c Solving Time : 1692.95
1800.05/1800.71 c Original Problem :
1800.05/1800.71 c Problem name : HOME/instance-2667099-1276463567.opb
1800.05/1800.71 c Variables : 1020 (1020 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.71 c Constraints : 3575 initial, 3575 maximal
1800.05/1800.71 c Presolved Problem :
1800.05/1800.71 c Problem name : t_HOME/instance-2667099-1276463567.opb
1800.05/1800.72 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.72 c Constraints : 3545 initial, 3669 maximal
1800.05/1800.72 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.72 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.72 c dualfix : 0.01 20 0 0 0 0 0 0 0
1800.05/1800.72 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.72 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.72 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.72 c probing : 0.03 0 0 0 0 0 0 0 0
1800.05/1800.72 c linear : 0.05 0 0 0 0 0 30 0 0
1800.05/1800.72 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.05/1800.72 c root node : - 0 - - 0 - - - -
1800.05/1800.72 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.72 c integral : 0 0 0 1 0 0 0 0 0 2
1800.05/1800.72 c logicor : 3545+ 22 7509314 0 4 372231 6326702 0 0 0
1800.05/1800.72 c countsols : 0 0 0 0 4 0 0 0 0 0
1800.05/1800.72 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.72 c integral : 2.00 0.00 0.00 2.00 0.00
1800.05/1800.72 c logicor : 376.96 0.02 376.94 0.00 0.00
1800.05/1800.72 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.72 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.72 c vbounds : 7.98 2 0 0
1800.05/1800.72 c rootredcost : 7.97 4 0 0
1800.05/1800.72 c pseudoobj : 943.24 18415493 2433975 47623458
1800.05/1800.72 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.72 c propagation : 318.89 372231 372231 372231 79.9 0 0.0 -
1800.05/1800.72 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.72 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.72 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.72 c pseudo solution : 1.11 2516 0 0 0.0 0 0.0 -
1800.05/1800.72 c applied globally : - - - 372231 79.9 - - -
1800.05/1800.72 c applied locally : - - - 0 0.0 - - -
1800.05/1800.72 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.72 c cut pool : 0.02 21 - - 667 - (maximal pool size: 2168)
1800.05/1800.72 c redcost : 0.00 22 0 0 0 0
1800.05/1800.72 c impliedbounds : 0.04 22 0 0 0 0
1800.05/1800.72 c intobj : 0.00 0 0 0 0 0
1800.05/1800.72 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.72 c gomory : 4.50 22 0 0 6351 0
1800.05/1800.72 c strongcg : 3.15 20 0 0 7737 0
1800.05/1800.72 c cmir : 0.26 10 0 0 1 0
1800.05/1800.72 c flowcover : 0.22 10 0 0 1 0
1800.05/1800.72 c clique : 0.01 1 0 0 0 0
1800.05/1800.72 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.72 c mcf : 0.01 1 0 0 0 0
1800.05/1800.72 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.72 c Pricers : Time Calls Vars
1800.05/1800.72 c problem variables: 0.00 0 0
1800.05/1800.72 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.72 c relpscost : 2.00 1 0 0 0 0 2
1800.05/1800.72 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.72 c inference : 40.75 2812929 0 0 0 0 5625858
1800.05/1800.72 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.72 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.72 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.72 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.72 c random : 0.00 0 0 0 0 0 0
1800.05/1800.72 c Primal Heuristics : Time Calls Found
1800.05/1800.72 c LP solutions : 0.00 - 0
1800.05/1800.72 c pseudo solutions : 0.00 - 4
1800.05/1800.72 c oneopt : 3.92 0 0
1800.05/1800.72 c crossover : 0.00 0 0
1800.05/1800.72 c trivial : 0.00 2 0
1800.05/1800.72 c simplerounding : 0.00 0 0
1800.05/1800.72 c zirounding : 0.00 1 0
1800.05/1800.72 c rounding : 0.02 22 0
1800.05/1800.72 c shifting : 0.40 22 0
1800.05/1800.72 c intshifting : 0.00 0 0
1800.05/1800.72 c twoopt : 0.00 0 0
1800.05/1800.72 c fixandinfer : 0.00 0 0
1800.05/1800.72 c feaspump : 0.64 1 0
1800.05/1800.72 c coefdiving : 0.00 0 0
1800.05/1800.72 c pscostdiving : 0.00 0 0
1800.05/1800.72 c fracdiving : 0.00 0 0
1800.05/1800.72 c veclendiving : 0.00 0 0
1800.05/1800.72 c intdiving : 0.00 0 0
1800.05/1800.72 c actconsdiving : 0.00 0 0
1800.05/1800.72 c objpscostdiving : 0.00 0 0
1800.05/1800.72 c rootsoldiving : 0.00 0 0
1800.05/1800.72 c linesearchdiving : 0.00 0 0
1800.05/1800.72 c guideddiving : 0.00 0 0
1800.05/1800.72 c octane : 0.00 0 0
1800.05/1800.72 c rens : 0.00 0 0
1800.05/1800.72 c rins : 0.00 0 0
1800.05/1800.72 c localbranching : 0.00 0 0
1800.05/1800.72 c mutation : 0.00 0 0
1800.05/1800.72 c dins : 0.00 0 0
1800.05/1800.72 c undercover : 0.00 0 0
1800.05/1800.72 c nlp : 2.08 0 0
1800.05/1800.72 c trysol : 2.96 0 0
1800.05/1800.72 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.72 c primal LP : 0.02 0 0 0.00 0.00
1800.05/1800.72 c dual LP : 2.69 22 7476 339.82 2779.18
1800.05/1800.72 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.72 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.72 c diving/probing LP: 0.56 35 2586 73.89 4617.86
1800.05/1800.72 c strong branching : 2.00 21 3538 168.48 1769.00
1800.05/1800.72 c (at root node) : - 21 3538 168.48 -
1800.05/1800.72 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.72 c B&B Tree :
1800.05/1800.72 c number of runs : 1
1800.05/1800.72 c nodes : 5455501
1800.05/1800.72 c nodes (total) : 5455501
1800.05/1800.72 c nodes left : 151
1800.05/1800.72 c max depth : 198
1800.05/1800.72 c max depth (total): 198
1800.05/1800.72 c backtracks : 1598383 (29.3%)
1800.05/1800.72 c delayed cutoffs : 170171
1800.05/1800.72 c repropagations : 426896 (5832831 domain reductions, 166155 cutoffs)
1800.05/1800.72 c avg switch length: 2.04
1800.05/1800.72 c switching time : 101.86
1800.05/1800.72 c Solution :
1800.05/1800.72 c Solutions found : 4 (4 improvements)
1800.05/1800.72 c First Solution : +4.48000000000000e+02 (in run 1, after 238 nodes, 14.34 seconds, depth 198, found by <relaxation>)
1800.05/1800.72 c Primal Bound : +4.45000000000000e+02 (in run 1, after 4933313 nodes, 1589.24 seconds, depth 170, found by <relaxation>)
1800.05/1800.72 c Dual Bound : +2.70596767481736e+02
1800.05/1800.72 c Gap : 64.45 %
1800.05/1800.72 c Root Dual Bound : +2.70358224404808e+02
1800.05/1800.72 c Root Iterations : 10062
1800.05/1800.75 c Time complete: 1800.09.