0.00/0.01 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.01 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-2667486-1276411226.opb>
0.00/0.07 c original problem has 464 variables (464 bin, 0 int, 0 impl, 0 cont) and 845 constraints
0.00/0.07 c problem read
0.00/0.07 c presolving settings loaded
0.07/0.09 o 464
0.07/0.09 o 459
0.07/0.09 c feasible solution found by trivial heuristic, objective value 4.590000e+02
0.07/0.09 c presolving:
0.09/0.11 c (round 1) 1 del vars, 2 del conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2 impls, 0 clqs
0.09/0.17 c (round 2) 1 del vars, 91 del conss, 1 chg bounds, 5 chg sides, 0 chg coeffs, 827 upgd conss, 2 impls, 0 clqs
0.09/0.17 c (round 3) 1 del vars, 91 del conss, 1 chg bounds, 5 chg sides, 0 chg coeffs, 830 upgd conss, 2 impls, 0 clqs
0.09/0.18 c (round 4) 1 del vars, 91 del conss, 1 chg bounds, 5 chg sides, 0 chg coeffs, 833 upgd conss, 2 impls, 0 clqs
0.09/0.18 c (0.1s) probing: 101/463 (21.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.18 c presolving (5 rounds):
0.09/0.18 c 1 deleted vars, 91 deleted constraints, 1 tightened bounds, 0 added holes, 5 changed sides, 0 changed coefficients
0.09/0.18 c 2 implications, 0 cliques
0.09/0.18 c presolved problem has 463 variables (463 bin, 0 int, 0 impl, 0 cont) and 754 constraints
0.09/0.18 c 754 constraints of type <logicor>
0.09/0.18 c transformed objective value is always integral (scale: 1)
0.09/0.18 c Presolving Time: 0.09
0.09/0.18 c - non default parameters ----------------------------------------------------------------------
0.09/0.18 c # SCIP version 1.2.1.2
0.09/0.18 c
0.09/0.18 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.19 c conflict/interconss = 0
0.09/0.19 c
0.09/0.19 c # should binary conflicts be preferred?
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c conflict/preferbinary = TRUE
0.09/0.19 c
0.09/0.19 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.19 c constraints/agelimit = 1
0.09/0.19 c
0.09/0.19 c # should enforcement of pseudo solution be disabled?
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c constraints/disableenfops = TRUE
0.09/0.19 c
0.09/0.19 c # frequency for displaying node information lines
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.19 c display/freq = 10000
0.09/0.19 c
0.09/0.19 c # maximal time in seconds to run
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19 c limits/time = 1799.94
0.09/0.19 c
0.09/0.19 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19 c limits/memory = 1620
0.09/0.19 c
0.09/0.19 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.19 c lp/solvefreq = 0
0.09/0.19 c
0.09/0.19 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.09/0.19 c # [type: char, range: {lafpsqd}, default: l]
0.09/0.19 c lp/pricing = a
0.09/0.19 c
0.09/0.19 c # should presolving try to simplify inequalities
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c constraints/linear/simplifyinequalities = TRUE
0.09/0.19 c
0.09/0.19 c # should presolving try to simplify knapsacks
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.19 c
0.09/0.19 c # priority of node selection rule <dfs> in standard mode
0.09/0.19 c # [type: int, range: [-536870912,536870911], default: 0]
0.09/0.19 c nodeselection/dfs/stdpriority = 1000000
0.09/0.19 c
0.09/0.19 c -----------------------------------------------------------------------------------------------
0.09/0.19 c start solving
0.09/0.19 c
0.19/0.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.23 c t 0.1s| 1 | 0 | 143 | - |4770k| 0 | 40 | 463 | 754 | 463 | 754 | 0 | 0 | 0 | 1.014062e+01 | 4.590000e+02 |4426.35%
0.19/0.23 o 36
0.19/0.23 c R 0.1s| 1 | 0 | 143 | - |4781k| 0 | 40 | 463 | 754 | 463 | 754 | 0 | 0 | 0 | 1.014062e+01 | 3.600000e+01 | 255.01%
0.59/0.63 c 0.5s| 1 | 0 | 172 | - |5711k| 0 | 41 | 463 | 754 | 463 | 756 | 2 | 0 | 0 | 1.028192e+01 | 3.600000e+01 | 250.13%
0.59/0.63 o 17
0.59/0.63 c b 0.5s| 1 | 0 | 172 | - |5722k| 0 | 41 | 463 | 754 | 463 | 756 | 2 | 0 | 0 | 1.028192e+01 | 1.700000e+01 | 65.34%
0.79/0.89 c 0.8s| 1 | 0 | 220 | - |6059k| 0 | 44 | 463 | 754 | 463 | 758 | 4 | 0 | 0 | 1.047191e+01 | 1.700000e+01 | 62.34%
1.19/1.28 c 1.2s| 1 | 0 | 297 | - |6611k| 0 | 36 | 463 | 754 | 463 | 759 | 5 | 0 | 0 | 1.054336e+01 | 1.700000e+01 | 61.24%
1.49/1.53 c 1.4s| 1 | 0 | 327 | - |6709k| 0 | 46 | 463 | 754 | 463 | 760 | 6 | 0 | 0 | 1.100000e+01 | 1.700000e+01 | 54.55%
1.79/1.84 c 1.7s| 1 | 0 | 381 | - |6821k| 0 | 55 | 463 | 754 | 463 | 761 | 7 | 0 | 0 | 1.100000e+01 | 1.700000e+01 | 54.55%
2.39/2.46 o 13
2.39/2.46 c E 2.3s| 1 | 0 | 381 | - |6826k| 0 | 55 | 463 | 754 | 463 | 761 | 7 | 0 | 0 | 1.100000e+01 | 1.300000e+01 | 18.18%
2.39/2.47 c 2.3s| 1 | 0 | 381 | - |6826k| 0 | 55 | 463 | 754 | 463 | 761 | 7 | 0 | 0 | 1.100000e+01 | 1.300000e+01 | 18.18%
5.09/5.19 c 5.0s| 1 | 0 | 393 | - |6826k| 0 | 54 | 463 | 753 | 463 | 761 | 7 | 0 | 41 | 1.100000e+01 | 1.300000e+01 | 18.18%
5.50/5.54 c 5.3s| 1 | 0 | 433 | - |6855k| 0 | 63 | 463 | 753 | 463 | 763 | 9 | 0 | 41 | 1.100000e+01 | 1.300000e+01 | 18.18%
6.50/6.59 c 6.4s| 1 | 0 | 440 | - |6855k| 0 | 60 | 463 | 753 | 463 | 763 | 9 | 0 | 59 | 1.100000e+01 | 1.300000e+01 | 18.18%
6.88/6.97 c 6.7s| 1 | 0 | 456 | - |6893k| 0 | 61 | 463 | 753 | 463 | 764 | 10 | 0 | 59 | 1.100000e+01 | 1.300000e+01 | 18.18%
7.99/8.06 c 7.8s| 1 | 0 | 467 | - |6890k| 0 | 61 | 463 | 749 | 463 | 764 | 10 | 0 | 75 | 1.100000e+01 | 1.300000e+01 | 18.18%
8.39/8.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.39/8.45 c 8.2s| 1 | 0 | 501 | - |6911k| 0 | 62 | 463 | 749 | 463 | 765 | 11 | 0 | 75 | 1.100000e+01 | 1.300000e+01 | 18.18%
9.09/9.11 c 8.8s| 1 | 0 | 514 | - |6911k| 0 | 59 | 463 | 749 | 463 | 765 | 11 | 0 | 86 | 1.100000e+01 | 1.300000e+01 | 18.18%
9.49/9.51 c 9.2s| 1 | 0 | 515 | - |6911k| 0 | 59 | 463 | 749 | 463 | 765 | 11 | 0 | 87 | 1.100000e+01 | 1.300000e+01 | 18.18%
9.80/9.90 c 9.6s| 1 | 2 | 515 | - |6911k| 0 | 59 | 463 | 749 | 463 | 765 | 11 | 0 | 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
13.88/13.93 c 13.4s| 10000 | 265 | 515 | 0.0 |7138k| 333 | - | 463 | 749 | 0 | 0 | 11 |5656 | 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
18.29/18.34 c 17.5s| 20000 | 265 | 515 | 0.0 |7152k| 333 | - | 463 | 754 | 0 | 0 | 11 | 11k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
22.68/22.71 c 21.6s| 30000 | 259 | 515 | 0.0 |7143k| 333 | - | 463 | 750 | 0 | 0 | 11 | 16k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
27.29/27.38 c 26.0s| 40000 | 282 | 515 | 0.0 |7157k| 333 | - | 463 | 750 | 0 | 0 | 11 | 22k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
32.98/33.05 c 31.2s| 50000 | 261 | 515 | 0.0 |7185k| 333 | - | 463 | 785 | 0 | 0 | 11 | 28k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
39.37/39.41 c 37.1s| 60000 | 264 | 515 | 0.0 |7179k| 333 | - | 463 | 777 | 0 | 0 | 11 | 35k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
45.27/45.37 c 42.6s| 70000 | 261 | 515 | 0.0 |7180k| 333 | - | 463 | 758 | 0 | 0 | 11 | 42k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
51.36/51.46 c 48.2s| 80000 | 281 | 515 | 0.0 |7182k| 333 | - | 463 | 751 | 0 | 0 | 11 | 48k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
56.08/56.17 c 52.6s| 90000 | 273 | 515 | 0.0 |7174k| 333 | - | 463 | 752 | 0 | 0 | 11 | 54k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
60.76/60.88 c 57.0s|100000 | 274 | 515 | 0.0 |7175k| 333 | - | 463 | 751 | 0 | 0 | 11 | 60k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
66.36/66.49 c 62.1s|110000 | 248 | 515 | 0.0 |7186k| 333 | - | 463 | 763 | 0 | 0 | 11 | 67k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
71.86/71.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
71.86/71.91 c 67.1s|120000 | 252 | 515 | 0.0 |7191k| 333 | - | 463 | 757 | 0 | 0 | 11 | 73k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
77.75/77.89 c 72.7s|130000 | 260 | 515 | 0.0 |7206k| 333 | - | 463 | 749 | 0 | 0 | 11 | 80k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
82.76/82.87 c 77.3s|140000 | 244 | 515 | 0.0 |7186k| 333 | - | 463 | 752 | 0 | 0 | 11 | 86k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
88.56/88.62 c 82.6s|150000 | 241 | 515 | 0.0 |7180k| 333 | - | 463 | 749 | 0 | 0 | 11 | 92k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
94.25/94.31 c 87.8s|160000 | 250 | 515 | 0.0 |7188k| 333 | - | 463 | 758 | 0 | 0 | 11 | 99k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
100.55/100.60 c 93.7s|170000 | 242 | 515 | 0.0 |7181k| 333 | - | 463 | 749 | 0 | 0 | 11 | 105k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
106.15/106.20 c 99.0s|180000 | 257 | 515 | 0.0 |7186k| 333 | - | 463 | 749 | 0 | 0 | 11 | 112k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
112.34/112.46 c 105s|190000 | 275 | 515 | 0.0 |7195k| 333 | - | 463 | 749 | 0 | 0 | 11 | 118k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
117.95/118.06 c 110s|200000 | 266 | 515 | 0.0 |7189k| 333 | - | 463 | 749 | 0 | 0 | 11 | 124k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
123.84/123.96 c 115s|210000 | 237 | 515 | 0.0 |7198k| 333 | - | 463 | 754 | 0 | 0 | 11 | 131k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
131.14/131.26 c 122s|220000 | 248 | 515 | 0.0 |7198k| 333 | - | 463 | 756 | 0 | 0 | 11 | 138k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
137.24/137.33 c 128s|230000 | 251 | 515 | 0.0 |7190k| 333 | - | 463 | 761 | 0 | 0 | 11 | 144k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
143.14/143.23 c 133s|240000 | 257 | 515 | 0.0 |7190k| 333 | - | 463 | 750 | 0 | 0 | 11 | 150k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
149.44/149.55 c 139s|250000 | 248 | 515 | 0.0 |7189k| 333 | - | 463 | 752 | 0 | 0 | 11 | 157k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
155.13/155.25 c 144s|260000 | 244 | 515 | 0.0 |7187k| 333 | - | 463 | 749 | 0 | 0 | 11 | 163k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
160.73/160.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
160.73/160.87 c 150s|270000 | 237 | 515 | 0.0 |7187k| 333 | - | 463 | 751 | 0 | 0 | 11 | 169k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
166.73/166.84 c 155s|280000 | 256 | 515 | 0.0 |7192k| 333 | - | 463 | 749 | 0 | 0 | 11 | 176k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
173.12/173.21 c 161s|290000 | 239 | 515 | 0.0 |7212k| 333 | - | 463 | 809 | 0 | 0 | 11 | 182k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
178.43/178.55 c 166s|300000 | 247 | 515 | 0.0 |7192k| 333 | - | 463 | 751 | 0 | 0 | 11 | 188k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
184.53/184.63 c 172s|310000 | 266 | 515 | 0.0 |7196k| 333 | - | 463 | 749 | 0 | 0 | 11 | 194k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
190.23/190.35 c 177s|320000 | 261 | 515 | 0.0 |7200k| 333 | - | 463 | 749 | 0 | 0 | 11 | 200k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
196.61/196.74 c 183s|330000 | 254 | 515 | 0.0 |7194k| 333 | - | 463 | 749 | 0 | 0 | 11 | 207k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
202.23/202.35 c 188s|340000 | 247 | 515 | 0.0 |7193k| 333 | - | 463 | 751 | 0 | 0 | 11 | 213k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
208.32/208.47 c 194s|350000 | 250 | 515 | 0.0 |7196k| 333 | - | 463 | 749 | 0 | 0 | 11 | 220k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
214.01/214.11 c 199s|360000 | 252 | 515 | 0.0 |7200k| 333 | - | 463 | 749 | 0 | 0 | 11 | 226k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
218.91/219.00 c 203s|370000 | 237 | 515 | 0.0 |7196k| 333 | - | 463 | 749 | 0 | 0 | 11 | 232k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
223.91/224.07 c 208s|380000 | 285 | 515 | 0.0 |7209k| 333 | - | 463 | 749 | 0 | 0 | 11 | 238k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
228.71/228.84 c 213s|390000 | 231 | 515 | 0.0 |7203k| 333 | - | 463 | 753 | 0 | 0 | 11 | 244k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
233.60/233.75 c 217s|400000 | 239 | 515 | 0.0 |7200k| 333 | - | 463 | 754 | 0 | 0 | 11 | 250k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
238.40/238.53 c 222s|410000 | 236 | 515 | 0.0 |7211k| 333 | - | 463 | 750 | 0 | 0 | 11 | 256k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
243.01/243.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
243.01/243.17 c 226s|420000 | 228 | 515 | 0.0 |7199k| 333 | - | 463 | 759 | 0 | 0 | 11 | 262k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
249.90/250.02 c 232s|430000 | 246 | 515 | 0.0 |7214k| 333 | - | 463 | 763 | 0 | 0 | 11 | 269k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
256.60/256.76 c 239s|440000 | 250 | 515 | 0.0 |7203k| 333 | - | 463 | 749 | 0 | 0 | 11 | 276k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
262.40/262.58 c 244s|450000 | 252 | 515 | 0.0 |7205k| 333 | - | 463 | 752 | 0 | 0 | 11 | 282k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
268.30/268.49 c 249s|460000 | 259 | 515 | 0.0 |7205k| 333 | - | 463 | 749 | 0 | 0 | 11 | 289k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
274.40/274.55 c 255s|470000 | 257 | 515 | 0.0 |7207k| 333 | - | 463 | 751 | 0 | 0 | 11 | 295k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
279.89/280.09 c 260s|480000 | 262 | 515 | 0.0 |7207k| 333 | - | 463 | 750 | 0 | 0 | 11 | 301k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
285.80/285.99 c 266s|490000 | 258 | 515 | 0.0 |7212k| 333 | - | 463 | 758 | 0 | 0 | 11 | 308k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
291.49/291.64 c 271s|500000 | 256 | 515 | 0.0 |7214k| 333 | - | 463 | 759 | 0 | 0 | 11 | 314k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
297.78/297.95 c 277s|510000 | 252 | 515 | 0.0 |7211k| 333 | - | 463 | 765 | 0 | 0 | 11 | 321k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
303.49/303.63 c 282s|520000 | 245 | 515 | 0.0 |7210k| 333 | - | 463 | 758 | 0 | 0 | 11 | 327k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
308.48/308.69 c 287s|530000 | 243 | 515 | 0.0 |7207k| 333 | - | 463 | 758 | 0 | 0 | 11 | 333k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
314.39/314.50 c 292s|540000 | 253 | 515 | 0.0 |7205k| 333 | - | 463 | 749 | 0 | 0 | 11 | 340k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
320.17/320.40 c 298s|550000 | 273 | 515 | 0.0 |7212k| 333 | - | 463 | 751 | 0 | 0 | 11 | 346k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
325.78/325.97 c 303s|560000 | 226 | 515 | 0.0 |7199k| 333 | - | 463 | 749 | 0 | 0 | 11 | 352k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
331.38/331.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
331.38/331.50 c 308s|570000 | 251 | 515 | 0.0 |7209k| 333 | - | 463 | 756 | 0 | 0 | 11 | 358k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
337.07/337.28 c 314s|580000 | 242 | 515 | 0.0 |7206k| 333 | - | 463 | 752 | 0 | 0 | 11 | 364k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
342.98/343.15 c 319s|590000 | 231 | 515 | 0.0 |7213k| 333 | - | 463 | 755 | 0 | 0 | 11 | 370k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
348.77/348.94 c 325s|600000 | 269 | 515 | 0.0 |7212k| 333 | - | 463 | 749 | 0 | 0 | 11 | 377k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
355.67/355.83 c 331s|610000 | 245 | 515 | 0.0 |7215k| 333 | - | 463 | 771 | 0 | 0 | 11 | 384k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
361.67/361.86 c 337s|620000 | 256 | 515 | 0.0 |7219k| 333 | - | 463 | 755 | 0 | 0 | 11 | 390k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
366.96/367.19 c 342s|630000 | 238 | 515 | 0.0 |7206k| 333 | - | 463 | 752 | 0 | 0 | 11 | 396k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
373.06/373.28 c 347s|640000 | 254 | 515 | 0.0 |7209k| 333 | - | 463 | 750 | 0 | 0 | 11 | 403k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
378.36/378.56 c 352s|650000 | 260 | 515 | 0.0 |7213k| 333 | - | 463 | 751 | 0 | 0 | 11 | 409k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
383.86/384.08 c 357s|660000 | 240 | 515 | 0.0 |7208k| 333 | - | 463 | 757 | 0 | 0 | 11 | 415k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
390.26/390.48 c 363s|670000 | 267 | 515 | 0.0 |7213k| 333 | - | 463 | 751 | 0 | 0 | 11 | 421k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
396.86/397.10 c 369s|680000 | 253 | 515 | 0.0 |7220k| 333 | - | 463 | 768 | 0 | 0 | 11 | 428k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
403.46/403.65 c 375s|690000 | 254 | 515 | 0.0 |7212k| 333 | - | 463 | 752 | 0 | 0 | 11 | 435k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
409.45/409.67 c 381s|700000 | 260 | 515 | 0.0 |7213k| 333 | - | 463 | 750 | 0 | 0 | 11 | 442k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
416.35/416.52 c 387s|710000 | 268 | 515 | 0.0 |7215k| 333 | - | 463 | 750 | 0 | 0 | 11 | 448k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
421.94/422.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
421.94/422.19 c 393s|720000 | 236 | 515 | 0.0 |7207k| 333 | - | 463 | 750 | 0 | 0 | 11 | 455k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
427.94/428.17 c 398s|730000 | 272 | 515 | 0.0 |7231k| 333 | - | 463 | 764 | 0 | 0 | 11 | 461k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
433.54/433.76 c 404s|740000 | 235 | 515 | 0.0 |7219k| 333 | - | 463 | 760 | 0 | 0 | 11 | 467k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
438.94/439.16 c 409s|750000 | 263 | 515 | 0.0 |7221k| 333 | - | 463 | 757 | 0 | 0 | 11 | 473k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
444.25/444.46 c 414s|760000 | 233 | 515 | 0.0 |7208k| 333 | - | 463 | 751 | 0 | 0 | 11 | 479k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
449.44/449.68 c 418s|770000 | 267 | 515 | 0.0 |7216k| 333 | - | 463 | 750 | 0 | 0 | 11 | 485k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
455.63/455.83 c 424s|780000 | 242 | 515 | 0.0 |7212k| 333 | - | 463 | 755 | 0 | 0 | 11 | 492k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
461.13/461.36 c 429s|790000 | 244 | 515 | 0.0 |7212k| 333 | - | 463 | 752 | 0 | 0 | 11 | 498k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
467.23/467.45 c 435s|800000 | 251 | 515 | 0.0 |7221k| 333 | - | 463 | 753 | 0 | 0 | 11 | 505k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
472.73/472.95 c 440s|810000 | 260 | 515 | 0.0 |7215k| 333 | - | 463 | 750 | 0 | 0 | 11 | 511k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
479.13/479.39 c 446s|820000 | 263 | 515 | 0.0 |7219k| 333 | - | 463 | 749 | 0 | 0 | 11 | 517k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
485.02/485.22 c 452s|830000 | 239 | 515 | 0.0 |7212k| 333 | - | 463 | 754 | 0 | 0 | 11 | 524k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
490.43/490.63 c 457s|840000 | 250 | 515 | 0.0 |7213k| 333 | - | 463 | 750 | 0 | 0 | 11 | 530k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
495.93/496.17 c 462s|850000 | 240 | 515 | 0.0 |7215k| 333 | - | 463 | 751 | 0 | 0 | 11 | 536k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
501.52/501.78 c 467s|860000 | 283 | 515 | 0.0 |7226k| 333 | - | 463 | 756 | 0 | 0 | 11 | 542k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
506.72/506.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
506.72/506.94 c 472s|870000 | 251 | 515 | 0.0 |7217k| 333 | - | 463 | 752 | 0 | 0 | 11 | 548k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
511.81/512.00 c 476s|880000 | 240 | 515 | 0.0 |7213k| 333 | - | 463 | 753 | 0 | 0 | 11 | 554k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
516.82/517.09 c 481s|890000 | 245 | 515 | 0.0 |7217k| 333 | - | 463 | 756 | 0 | 0 | 11 | 560k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
522.71/522.97 c 487s|900000 | 227 | 515 | 0.0 |7210k| 333 | - | 463 | 751 | 0 | 0 | 11 | 567k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
528.71/528.92 c 492s|910000 | 241 | 515 | 0.0 |7213k| 333 | - | 463 | 749 | 0 | 0 | 11 | 573k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
534.11/534.32 c 497s|920000 | 234 | 515 | 0.0 |7223k| 333 | - | 463 | 756 | 0 | 0 | 11 | 579k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
539.51/539.75 c 502s|930000 | 224 | 515 | 0.0 |7216k| 333 | - | 463 | 764 | 0 | 0 | 11 | 586k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
544.80/545.02 c 507s|940000 | 267 | 515 | 0.0 |7224k| 333 | - | 463 | 755 | 0 | 0 | 11 | 592k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
550.30/550.51 c 513s|950000 | 237 | 515 | 0.0 |7216k| 333 | - | 463 | 751 | 0 | 0 | 11 | 598k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
555.50/555.74 c 517s|960000 | 238 | 515 | 0.0 |7237k| 333 | - | 463 | 755 | 0 | 0 | 11 | 604k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
561.39/561.62 c 523s|970000 | 250 | 515 | 0.0 |7217k| 333 | - | 463 | 749 | 0 | 0 | 11 | 610k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
567.20/567.46 c 528s|980000 | 247 | 515 | 0.0 |7228k| 333 | - | 463 | 759 | 0 | 0 | 11 | 616k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
572.59/572.86 c 533s|990000 | 254 | 515 | 0.0 |7219k| 333 | - | 463 | 750 | 0 | 0 | 11 | 623k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
578.39/578.65 c 539s| 1000k| 235 | 515 | 0.0 |7215k| 333 | - | 463 | 751 | 0 | 0 | 11 | 629k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
583.68/583.99 c 544s| 1010k| 266 | 515 | 0.0 |7223k| 333 | - | 463 | 749 | 0 | 0 | 11 | 635k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
589.29/589.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
589.29/589.50 c 549s| 1020k| 255 | 515 | 0.0 |7222k| 333 | - | 463 | 751 | 0 | 0 | 11 | 641k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
595.29/595.52 c 554s| 1030k| 239 | 515 | 0.0 |7236k| 333 | - | 463 | 762 | 0 | 0 | 11 | 648k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
601.68/601.99 c 560s| 1040k| 256 | 515 | 0.0 |7230k| 333 | - | 463 | 752 | 0 | 0 | 11 | 654k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
608.38/608.66 c 566s| 1050k| 238 | 515 | 0.0 |7221k| 333 | - | 463 | 760 | 0 | 0 | 11 | 661k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
614.38/614.65 c 572s| 1060k| 235 | 515 | 0.0 |7220k| 333 | - | 463 | 758 | 0 | 0 | 11 | 668k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
619.38/619.66 c 577s| 1070k| 236 | 515 | 0.0 |7217k| 333 | - | 463 | 750 | 0 | 0 | 11 | 674k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
624.38/624.65 c 581s| 1080k| 239 | 515 | 0.0 |7226k| 333 | - | 463 | 754 | 0 | 0 | 11 | 680k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
629.87/630.20 c 586s| 1090k| 241 | 515 | 0.0 |7219k| 333 | - | 463 | 752 | 0 | 0 | 11 | 686k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
634.58/634.86 c 591s| 1100k| 234 | 515 | 0.0 |7222k| 333 | - | 463 | 749 | 0 | 0 | 11 | 692k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
639.88/640.14 c 596s| 1110k| 234 | 515 | 0.0 |7226k| 333 | - | 463 | 753 | 0 | 0 | 11 | 699k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
644.86/645.15 c 600s| 1120k| 222 | 515 | 0.0 |7213k| 333 | - | 463 | 750 | 0 | 0 | 11 | 705k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
650.47/650.72 c 606s| 1130k| 235 | 515 | 0.0 |7219k| 333 | - | 463 | 753 | 0 | 0 | 11 | 711k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
655.77/656.01 c 610s| 1140k| 237 | 515 | 0.0 |7219k| 333 | - | 463 | 753 | 0 | 0 | 11 | 717k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
661.06/661.31 c 616s| 1150k| 229 | 515 | 0.0 |7224k| 333 | - | 463 | 769 | 0 | 0 | 11 | 723k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
666.86/667.18 c 621s| 1160k| 234 | 515 | 0.0 |7216k| 333 | - | 463 | 749 | 0 | 0 | 11 | 729k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
673.56/673.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
673.56/673.81 c 627s| 1170k| 236 | 515 | 0.0 |7233k| 333 | - | 463 | 750 | 0 | 0 | 11 | 736k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
679.47/679.73 c 633s| 1180k| 286 | 515 | 0.0 |7233k| 333 | - | 463 | 750 | 0 | 0 | 11 | 742k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
685.06/685.36 c 638s| 1190k| 242 | 515 | 0.0 |7221k| 333 | - | 463 | 750 | 0 | 0 | 11 | 749k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
691.05/691.31 c 644s| 1200k| 245 | 515 | 0.0 |7223k| 333 | - | 463 | 751 | 0 | 0 | 11 | 755k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
696.75/697.09 c 649s| 1210k| 237 | 515 | 0.0 |7225k| 333 | - | 463 | 759 | 0 | 0 | 11 | 762k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
702.75/703.01 c 654s| 1220k| 228 | 515 | 0.0 |7231k| 333 | - | 463 | 762 | 0 | 0 | 11 | 768k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
708.35/708.64 c 660s| 1230k| 232 | 515 | 0.0 |7222k| 333 | - | 463 | 754 | 0 | 0 | 11 | 775k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
714.24/714.54 c 665s| 1240k| 220 | 515 | 0.0 |7231k| 333 | - | 463 | 754 | 0 | 0 | 11 | 781k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
720.54/720.88 c 671s| 1250k| 245 | 515 | 0.0 |7227k| 333 | - | 463 | 752 | 0 | 0 | 11 | 787k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
726.04/726.30 c 676s| 1260k| 237 | 515 | 0.0 |7226k| 333 | - | 463 | 755 | 0 | 0 | 11 | 793k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
732.25/732.51 c 682s| 1270k| 257 | 515 | 0.0 |7229k| 333 | - | 463 | 750 | 0 | 0 | 11 | 800k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
738.33/738.67 c 687s| 1280k| 231 | 515 | 0.0 |7222k| 333 | - | 463 | 750 | 0 | 0 | 11 | 807k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
744.34/744.65 c 693s| 1290k| 269 | 515 | 0.0 |7240k| 333 | - | 463 | 749 | 0 | 0 | 11 | 814k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
749.04/749.30 c 697s| 1300k| 244 | 515 | 0.0 |7227k| 333 | - | 463 | 752 | 0 | 0 | 11 | 820k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
754.54/754.84 c 703s| 1310k| 226 | 515 | 0.0 |7221k| 333 | - | 463 | 749 | 0 | 0 | 11 | 827k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
760.53/760.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
760.53/760.83 c 708s| 1320k| 245 | 515 | 0.0 |7235k| 333 | - | 463 | 766 | 0 | 0 | 11 | 833k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
766.23/766.51 c 714s| 1330k| 227 | 515 | 0.0 |7231k| 333 | - | 463 | 772 | 0 | 0 | 11 | 839k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
771.23/771.55 c 718s| 1340k| 250 | 515 | 0.0 |7227k| 333 | - | 463 | 749 | 0 | 0 | 11 | 845k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
776.23/776.60 c 723s| 1350k| 238 | 515 | 0.0 |7225k| 333 | - | 463 | 749 | 0 | 0 | 11 | 851k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
781.62/781.92 c 728s| 1360k| 246 | 515 | 0.0 |7227k| 333 | - | 463 | 749 | 0 | 0 | 11 | 858k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
786.72/787.05 c 733s| 1370k| 237 | 515 | 0.0 |7226k| 333 | - | 463 | 753 | 0 | 0 | 11 | 864k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
792.22/792.50 c 738s| 1380k| 223 | 515 | 0.0 |7221k| 333 | - | 463 | 750 | 0 | 0 | 11 | 871k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
798.12/798.41 c 743s| 1390k| 233 | 515 | 0.0 |7228k| 333 | - | 463 | 750 | 0 | 0 | 11 | 877k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
803.82/804.12 c 749s| 1400k| 238 | 515 | 0.0 |7224k| 333 | - | 463 | 749 | 0 | 0 | 11 | 884k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
809.42/809.71 c 754s| 1410k| 243 | 515 | 0.0 |7232k| 333 | - | 463 | 753 | 0 | 0 | 11 | 890k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
814.51/814.80 c 759s| 1420k| 240 | 515 | 0.0 |7230k| 333 | - | 463 | 760 | 0 | 0 | 11 | 896k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
819.41/819.73 c 763s| 1430k| 250 | 515 | 0.0 |7228k| 333 | - | 463 | 749 | 0 | 0 | 11 | 902k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
824.41/824.72 c 768s| 1440k| 230 | 515 | 0.0 |7223k| 333 | - | 463 | 749 | 0 | 0 | 11 | 908k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
829.51/829.84 c 773s| 1450k| 236 | 515 | 0.0 |7229k| 333 | - | 463 | 752 | 0 | 0 | 11 | 914k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
834.62/834.95 c 778s| 1460k| 246 | 515 | 0.0 |7228k| 333 | - | 463 | 749 | 0 | 0 | 11 | 920k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
840.20/840.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
840.20/840.57 c 783s| 1470k| 226 | 515 | 0.0 |7222k| 333 | - | 463 | 750 | 0 | 0 | 11 | 926k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
845.70/846.01 c 788s| 1480k| 223 | 515 | 0.0 |7224k| 333 | - | 463 | 756 | 0 | 0 | 11 | 933k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
851.80/852.11 c 794s| 1490k| 238 | 515 | 0.0 |7230k| 333 | - | 463 | 759 | 0 | 0 | 11 | 939k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
857.10/857.46 c 799s| 1500k| 240 | 515 | 0.0 |7226k| 333 | - | 463 | 749 | 0 | 0 | 11 | 946k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
862.19/862.57 c 803s| 1510k| 233 | 515 | 0.0 |7228k| 333 | - | 463 | 756 | 0 | 0 | 11 | 952k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
866.90/867.20 c 808s| 1520k| 232 | 515 | 0.0 |7233k| 333 | - | 463 | 758 | 0 | 0 | 11 | 958k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
871.49/871.86 c 812s| 1530k| 228 | 515 | 0.0 |7234k| 333 | - | 463 | 755 | 0 | 0 | 11 | 964k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
876.09/876.49 c 816s| 1540k| 223 | 515 | 0.0 |7229k| 333 | - | 463 | 755 | 0 | 0 | 11 | 970k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
880.89/881.22 c 821s| 1550k| 236 | 515 | 0.0 |7226k| 333 | - | 463 | 750 | 0 | 0 | 11 | 976k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
885.89/886.22 c 826s| 1560k| 248 | 515 | 0.0 |7230k| 333 | - | 463 | 752 | 0 | 0 | 11 | 982k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
890.69/891.07 c 830s| 1570k| 237 | 515 | 0.0 |7233k| 333 | - | 463 | 751 | 0 | 0 | 11 | 988k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
895.69/896.06 c 835s| 1580k| 232 | 515 | 0.0 |7227k| 333 | - | 463 | 755 | 0 | 0 | 11 | 994k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
901.69/902.05 c 840s| 1590k| 237 | 515 | 0.0 |7226k| 333 | - | 463 | 750 | 0 | 0 | 11 |1000k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
907.88/908.25 c 846s| 1600k| 242 | 515 | 0.0 |7228k| 333 | - | 463 | 749 | 0 | 0 | 11 |1007k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
913.28/913.67 c 851s| 1610k| 222 | 515 | 0.0 |7224k| 333 | - | 463 | 751 | 0 | 0 | 11 |1013k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
918.77/919.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
918.77/919.17 c 856s| 1620k| 238 | 515 | 0.0 |7249k| 333 | - | 463 | 800 | 0 | 0 | 11 |1019k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
924.47/924.83 c 861s| 1630k| 237 | 515 | 0.0 |7229k| 333 | - | 463 | 752 | 0 | 0 | 11 |1025k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
931.18/931.51 c 867s| 1640k| 235 | 515 | 0.0 |7227k| 333 | - | 463 | 750 | 0 | 0 | 11 |1032k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
937.47/937.85 c 873s| 1650k| 241 | 515 | 0.0 |7239k| 333 | - | 463 | 776 | 0 | 0 | 11 |1039k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
943.67/944.01 c 879s| 1660k| 229 | 515 | 0.0 |7227k| 333 | - | 463 | 752 | 0 | 0 | 11 |1045k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
949.07/949.40 c 884s| 1670k| 233 | 515 | 0.0 |7229k| 333 | - | 463 | 753 | 0 | 0 | 11 |1051k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
954.47/954.85 c 889s| 1680k| 221 | 515 | 0.0 |7228k| 333 | - | 463 | 758 | 0 | 0 | 11 |1057k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
960.16/960.57 c 894s| 1690k| 234 | 515 | 0.0 |7227k| 333 | - | 463 | 749 | 0 | 0 | 11 |1064k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
965.56/965.90 c 899s| 1700k| 227 | 515 | 0.0 |7227k| 333 | - | 463 | 749 | 0 | 0 | 11 |1070k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
970.66/971.01 c 904s| 1710k| 228 | 515 | 0.0 |7234k| 333 | - | 463 | 750 | 0 | 0 | 11 |1076k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
975.76/976.18 c 909s| 1720k| 236 | 515 | 0.0 |7229k| 333 | - | 463 | 752 | 0 | 0 | 11 |1082k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
981.46/981.82 c 914s| 1730k| 229 | 515 | 0.0 |7226k| 333 | - | 463 | 749 | 0 | 0 | 11 |1088k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
988.46/988.88 c 921s| 1740k| 239 | 515 | 0.0 |7233k| 333 | - | 463 | 759 | 0 | 0 | 11 |1095k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
994.06/994.41 c 926s| 1750k| 227 | 515 | 0.0 |7229k| 333 | - | 463 | 757 | 0 | 0 | 11 |1102k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
998.95/999.38 c 931s| 1760k| 234 | 515 | 0.0 |7231k| 333 | - | 463 | 755 | 0 | 0 | 11 |1108k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1003.65/1004.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1003.65/1004.02 c 935s| 1770k| 224 | 515 | 0.0 |7236k| 333 | - | 463 | 754 | 0 | 0 | 11 |1113k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1008.64/1009.00 c 940s| 1780k| 228 | 515 | 0.0 |7233k| 333 | - | 463 | 767 | 0 | 0 | 11 |1119k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1013.86/1014.22 c 945s| 1790k| 242 | 515 | 0.0 |7232k| 333 | - | 463 | 753 | 0 | 0 | 11 |1125k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1019.14/1019.55 c 949s| 1800k| 223 | 515 | 0.0 |7231k| 333 | - | 463 | 761 | 0 | 0 | 11 |1131k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1025.34/1025.77 c 955s| 1810k| 230 | 515 | 0.0 |7228k| 333 | - | 463 | 751 | 0 | 0 | 11 |1138k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1031.84/1032.28 c 961s| 1820k| 249 | 515 | 0.0 |7233k| 333 | - | 463 | 750 | 0 | 0 | 11 |1144k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1037.94/1038.33 c 967s| 1830k| 248 | 515 | 0.0 |7234k| 333 | - | 463 | 754 | 0 | 0 | 11 |1151k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1044.34/1044.73 c 973s| 1840k| 244 | 515 | 0.0 |7238k| 333 | - | 463 | 750 | 0 | 0 | 11 |1157k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1050.83/1051.24 c 979s| 1850k| 225 | 515 | 0.0 |7229k| 333 | - | 463 | 757 | 0 | 0 | 11 |1164k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1056.34/1056.78 c 984s| 1860k| 246 | 515 | 0.0 |7233k| 333 | - | 463 | 753 | 0 | 0 | 11 |1170k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1063.03/1063.45 c 990s| 1870k| 227 | 515 | 0.0 |7228k| 333 | - | 463 | 751 | 0 | 0 | 11 |1177k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1070.63/1071.00 c 997s| 1880k| 249 | 515 | 0.0 |7233k| 333 | - | 463 | 750 | 0 | 0 | 11 |1184k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1076.63/1077.02 c 1003s| 1890k| 242 | 515 | 0.0 |7231k| 333 | - | 463 | 750 | 0 | 0 | 11 |1191k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1081.42/1081.81 c 1007s| 1900k| 219 | 515 | 0.0 |7241k| 333 | - | 463 | 761 | 0 | 0 | 11 |1197k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1087.12/1087.59 c 1012s| 1910k| 278 | 515 | 0.0 |7244k| 333 | - | 463 | 750 | 0 | 0 | 11 |1203k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1092.72/1093.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1092.72/1093.11 c 1018s| 1920k| 221 | 515 | 0.0 |7230k| 333 | - | 463 | 756 | 0 | 0 | 11 |1209k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1098.42/1098.81 c 1023s| 1930k| 227 | 515 | 0.0 |7228k| 333 | - | 463 | 750 | 0 | 0 | 11 |1215k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1104.72/1105.16 c 1029s| 1940k| 235 | 515 | 0.0 |7231k| 333 | - | 463 | 753 | 0 | 0 | 11 |1222k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1112.42/1112.81 c 1036s| 1950k| 229 | 515 | 0.0 |7232k| 333 | - | 463 | 757 | 0 | 0 | 11 |1229k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1117.71/1118.15 c 1041s| 1960k| 230 | 515 | 0.0 |7232k| 333 | - | 463 | 751 | 0 | 0 | 11 |1235k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1123.21/1123.67 c 1046s| 1970k| 235 | 515 | 0.0 |7240k| 333 | - | 463 | 755 | 0 | 0 | 11 |1241k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1129.60/1130.06 c 1052s| 1980k| 272 | 515 | 0.0 |7244k| 333 | - | 463 | 754 | 0 | 0 | 11 |1248k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1134.91/1135.39 c 1057s| 1990k| 244 | 515 | 0.0 |7232k| 333 | - | 463 | 749 | 0 | 0 | 11 |1254k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1139.91/1140.31 c 1061s| 2000k| 231 | 515 | 0.0 |7231k| 333 | - | 463 | 754 | 0 | 0 | 11 |1260k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1144.90/1145.39 c 1066s| 2010k| 216 | 515 | 0.0 |7227k| 333 | - | 463 | 752 | 0 | 0 | 11 |1266k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1149.90/1150.37 c 1071s| 2020k| 269 | 515 | 0.0 |7238k| 333 | - | 463 | 749 | 0 | 0 | 11 |1272k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1155.00/1155.46 c 1076s| 2030k| 222 | 515 | 0.0 |7228k| 333 | - | 463 | 751 | 0 | 0 | 11 |1278k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1160.29/1160.76 c 1081s| 2040k| 228 | 515 | 0.0 |7232k| 333 | - | 463 | 752 | 0 | 0 | 11 |1284k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1165.50/1165.96 c 1086s| 2050k| 209 | 515 | 0.0 |7233k| 333 | - | 463 | 755 | 0 | 0 | 11 |1290k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1171.99/1172.50 c 1092s| 2060k| 223 | 515 | 0.0 |7248k| 333 | - | 463 | 751 | 0 | 0 | 11 |1297k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1180.19/1180.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1180.19/1180.69 c 1099s| 2070k| 225 | 515 | 0.0 |7228k| 333 | - | 463 | 751 | 0 | 0 | 11 |1304k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1185.29/1185.80 c 1104s| 2080k| 225 | 515 | 0.0 |7228k| 333 | - | 463 | 751 | 0 | 0 | 11 |1310k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1190.39/1190.89 c 1109s| 2090k| 222 | 515 | 0.0 |7236k| 333 | - | 463 | 757 | 0 | 0 | 11 |1316k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1195.88/1196.33 c 1114s| 2100k| 222 | 515 | 0.0 |7233k| 333 | - | 463 | 750 | 0 | 0 | 11 |1323k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1201.49/1201.90 c 1119s| 2110k| 224 | 515 | 0.0 |7241k| 333 | - | 463 | 752 | 0 | 0 | 11 |1329k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1208.28/1208.71 c 1125s| 2120k| 207 | 515 | 0.0 |7224k| 333 | - | 463 | 752 | 0 | 0 | 11 |1335k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1213.68/1214.18 c 1130s| 2130k| 223 | 515 | 0.0 |7227k| 333 | - | 463 | 749 | 0 | 0 | 11 |1342k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1218.67/1219.17 c 1135s| 2140k| 215 | 515 | 0.0 |7225k| 333 | - | 463 | 749 | 0 | 0 | 11 |1348k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1223.79/1224.24 c 1140s| 2150k| 222 | 515 | 0.0 |7228k| 333 | - | 463 | 751 | 0 | 0 | 11 |1354k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1229.08/1229.50 c 1145s| 2160k| 221 | 515 | 0.0 |7227k| 333 | - | 463 | 751 | 0 | 0 | 11 |1360k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1234.68/1235.17 c 1150s| 2170k| 220 | 515 | 0.0 |7229k| 333 | - | 463 | 755 | 0 | 0 | 11 |1366k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1240.76/1241.28 c 1156s| 2180k| 240 | 515 | 0.0 |7234k| 333 | - | 463 | 749 | 0 | 0 | 11 |1372k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1246.35/1246.81 c 1161s| 2190k| 214 | 515 | 0.0 |7228k| 333 | - | 463 | 751 | 0 | 0 | 11 |1378k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1251.65/1252.11 c 1166s| 2200k| 209 | 515 | 0.0 |7227k| 333 | - | 463 | 756 | 0 | 0 | 11 |1384k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1256.86/1257.38 c 1171s| 2210k| 226 | 515 | 0.0 |7242k| 333 | - | 463 | 756 | 0 | 0 | 11 |1390k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1262.95/1263.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1262.95/1263.49 c 1176s| 2220k| 236 | 515 | 0.0 |7240k| 333 | - | 463 | 753 | 0 | 0 | 11 |1397k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1268.54/1269.04 c 1182s| 2230k| 232 | 515 | 0.0 |7240k| 333 | - | 463 | 757 | 0 | 0 | 11 |1403k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1274.45/1274.90 c 1187s| 2240k| 241 | 515 | 0.0 |7233k| 333 | - | 463 | 749 | 0 | 0 | 11 |1410k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1280.04/1280.59 c 1192s| 2250k| 255 | 515 | 0.0 |7237k| 333 | - | 463 | 749 | 0 | 0 | 11 |1416k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1285.34/1285.84 c 1197s| 2260k| 232 | 515 | 0.0 |7231k| 333 | - | 463 | 749 | 0 | 0 | 11 |1422k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1290.14/1290.63 c 1202s| 2270k| 236 | 515 | 0.0 |7243k| 333 | - | 463 | 751 | 0 | 0 | 11 |1428k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1295.53/1296.04 c 1207s| 2280k| 210 | 515 | 0.0 |7226k| 333 | - | 463 | 751 | 0 | 0 | 11 |1434k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1300.93/1301.43 c 1212s| 2290k| 214 | 515 | 0.0 |7245k| 333 | - | 463 | 749 | 0 | 0 | 11 |1440k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1306.13/1306.70 c 1217s| 2300k| 226 | 515 | 0.0 |7235k| 333 | - | 463 | 753 | 0 | 0 | 11 |1446k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1311.13/1311.62 c 1221s| 2310k| 225 | 515 | 0.0 |7230k| 333 | - | 463 | 749 | 0 | 0 | 11 |1452k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1316.03/1316.51 c 1226s| 2320k| 220 | 515 | 0.0 |7229k| 333 | - | 463 | 750 | 0 | 0 | 11 |1458k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1321.63/1322.16 c 1231s| 2330k| 235 | 515 | 0.0 |7233k| 333 | - | 463 | 749 | 0 | 0 | 11 |1464k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1327.52/1328.07 c 1237s| 2340k| 237 | 515 | 0.0 |7233k| 333 | - | 463 | 749 | 0 | 0 | 11 |1470k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1333.12/1333.61 c 1242s| 2350k| 229 | 515 | 0.0 |7232k| 333 | - | 463 | 751 | 0 | 0 | 11 |1477k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1338.82/1339.33 c 1247s| 2360k| 215 | 515 | 0.0 |7235k| 333 | - | 463 | 757 | 0 | 0 | 11 |1483k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1344.32/1344.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1344.32/1344.81 c 1253s| 2370k| 224 | 515 | 0.0 |7244k| 333 | - | 463 | 778 | 0 | 0 | 11 |1490k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1351.02/1351.51 c 1259s| 2380k| 222 | 515 | 0.0 |7247k| 333 | - | 463 | 755 | 0 | 0 | 11 |1496k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1357.93/1358.50 c 1265s| 2390k| 262 | 515 | 0.0 |7241k| 333 | - | 463 | 749 | 0 | 0 | 11 |1503k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1364.21/1364.72 c 1271s| 2400k| 228 | 515 | 0.0 |7241k| 333 | - | 463 | 773 | 0 | 0 | 11 |1509k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1369.91/1370.49 c 1276s| 2410k| 214 | 515 | 0.0 |7230k| 333 | - | 463 | 749 | 0 | 0 | 11 |1515k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1376.00/1376.56 c 1282s| 2420k| 240 | 515 | 0.0 |7242k| 333 | - | 463 | 750 | 0 | 0 | 11 |1522k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1381.41/1381.97 c 1287s| 2430k| 210 | 515 | 0.0 |7227k| 333 | - | 463 | 750 | 0 | 0 | 11 |1528k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1387.01/1387.55 c 1292s| 2440k| 210 | 515 | 0.0 |7228k| 333 | - | 463 | 752 | 0 | 0 | 11 |1535k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1392.60/1393.19 c 1298s| 2450k| 212 | 515 | 0.0 |7231k| 333 | - | 463 | 757 | 0 | 0 | 11 |1541k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1398.40/1398.93 c 1303s| 2460k| 210 | 515 | 0.0 |7230k| 333 | - | 463 | 749 | 0 | 0 | 11 |1547k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1403.90/1404.45 c 1308s| 2470k| 216 | 515 | 0.0 |7235k| 333 | - | 463 | 762 | 0 | 0 | 11 |1554k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1409.30/1409.87 c 1313s| 2480k| 235 | 515 | 0.0 |7235k| 333 | - | 463 | 750 | 0 | 0 | 11 |1560k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1414.80/1415.32 c 1318s| 2490k| 243 | 515 | 0.0 |7237k| 333 | - | 463 | 751 | 0 | 0 | 11 |1566k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1421.29/1421.80 c 1324s| 2500k| 212 | 515 | 0.0 |7231k| 333 | - | 463 | 756 | 0 | 0 | 11 |1572k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1427.59/1428.15 c 1330s| 2510k| 219 | 515 | 0.0 |7233k| 333 | - | 463 | 755 | 0 | 0 | 11 |1579k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1432.89/1433.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1432.89/1433.43 c 1335s| 2520k| 218 | 515 | 0.0 |7232k| 333 | - | 463 | 749 | 0 | 0 | 11 |1585k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1438.69/1439.22 c 1341s| 2530k| 213 | 515 | 0.0 |7229k| 333 | - | 463 | 749 | 0 | 0 | 11 |1591k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1444.19/1444.70 c 1346s| 2540k| 221 | 515 | 0.0 |7240k| 333 | - | 463 | 751 | 0 | 0 | 11 |1598k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1449.68/1450.28 c 1351s| 2550k| 216 | 515 | 0.0 |7236k| 333 | - | 463 | 754 | 0 | 0 | 11 |1604k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1455.68/1456.20 c 1357s| 2560k| 225 | 515 | 0.0 |7234k| 333 | - | 463 | 750 | 0 | 0 | 11 |1610k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1461.98/1462.53 c 1363s| 2570k| 217 | 515 | 0.0 |7233k| 333 | - | 463 | 754 | 0 | 0 | 11 |1616k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1467.77/1468.33 c 1368s| 2580k| 243 | 515 | 0.0 |7239k| 333 | - | 463 | 750 | 0 | 0 | 11 |1623k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1474.08/1474.62 c 1374s| 2590k| 222 | 515 | 0.0 |7233k| 333 | - | 463 | 749 | 0 | 0 | 11 |1629k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1480.57/1481.16 c 1380s| 2600k| 227 | 515 | 0.0 |7235k| 333 | - | 463 | 752 | 0 | 0 | 11 |1636k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1486.18/1486.71 c 1385s| 2610k| 203 | 515 | 0.0 |7230k| 333 | - | 463 | 754 | 0 | 0 | 11 |1642k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1491.08/1491.67 c 1390s| 2620k| 225 | 515 | 0.0 |7234k| 333 | - | 463 | 750 | 0 | 0 | 11 |1648k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1496.17/1496.73 c 1394s| 2630k| 207 | 515 | 0.0 |7230k| 333 | - | 463 | 750 | 0 | 0 | 11 |1654k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1501.47/1502.06 c 1399s| 2640k| 267 | 515 | 0.0 |7246k| 333 | - | 463 | 751 | 0 | 0 | 11 |1659k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1505.57/1506.19 c 1403s| 2650k| 246 | 515 | 0.0 |7240k| 333 | - | 463 | 749 | 0 | 0 | 11 |1666k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1510.27/1510.82 c 1408s| 2660k| 248 | 515 | 0.0 |7241k| 333 | - | 463 | 750 | 0 | 0 | 11 |1672k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1514.86/1515.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1514.86/1515.46 c 1412s| 2670k| 246 | 515 | 0.0 |7246k| 333 | - | 463 | 760 | 0 | 0 | 11 |1678k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1519.96/1520.51 c 1417s| 2680k| 243 | 515 | 0.0 |7243k| 333 | - | 463 | 757 | 0 | 0 | 11 |1684k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1524.56/1525.10 c 1421s| 2690k| 244 | 515 | 0.0 |7243k| 333 | - | 463 | 753 | 0 | 0 | 11 |1690k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1529.26/1529.87 c 1425s| 2700k| 235 | 515 | 0.0 |7249k| 333 | - | 463 | 755 | 0 | 0 | 11 |1696k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1533.97/1534.57 c 1430s| 2710k| 247 | 515 | 0.0 |7244k| 333 | - | 463 | 756 | 0 | 0 | 11 |1702k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1538.75/1539.36 c 1434s| 2720k| 257 | 515 | 0.0 |7246k| 333 | - | 463 | 758 | 0 | 0 | 11 |1708k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1543.05/1543.65 c 1438s| 2730k| 246 | 515 | 0.0 |7245k| 333 | - | 463 | 758 | 0 | 0 | 11 |1714k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1547.56/1548.16 c 1442s| 2740k| 240 | 515 | 0.0 |7247k| 333 | - | 463 | 752 | 0 | 0 | 11 |1720k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1552.35/1552.93 c 1447s| 2750k| 239 | 515 | 0.0 |7245k| 333 | - | 463 | 750 | 0 | 0 | 11 |1726k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1557.06/1557.61 c 1451s| 2760k| 235 | 515 | 0.0 |7238k| 333 | - | 463 | 749 | 0 | 0 | 11 |1732k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1561.74/1562.35 c 1456s| 2770k| 241 | 515 | 0.0 |7251k| 333 | - | 463 | 755 | 0 | 0 | 11 |1738k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1566.35/1566.92 c 1460s| 2780k| 235 | 515 | 0.0 |7240k| 333 | - | 463 | 752 | 0 | 0 | 11 |1745k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1571.04/1571.63 c 1464s| 2790k| 226 | 515 | 0.0 |7236k| 333 | - | 463 | 750 | 0 | 0 | 11 |1751k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1575.54/1576.13 c 1469s| 2800k| 235 | 515 | 0.0 |7243k| 333 | - | 463 | 752 | 0 | 0 | 11 |1757k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1580.34/1580.98 c 1473s| 2810k| 232 | 515 | 0.0 |7237k| 333 | - | 463 | 749 | 0 | 0 | 11 |1763k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1584.94/1585.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1584.94/1585.57 c 1478s| 2820k| 225 | 515 | 0.0 |7237k| 333 | - | 463 | 749 | 0 | 0 | 11 |1769k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1589.54/1590.18 c 1482s| 2830k| 230 | 515 | 0.0 |7243k| 333 | - | 463 | 752 | 0 | 0 | 11 |1775k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1594.54/1595.10 c 1486s| 2840k| 225 | 515 | 0.0 |7244k| 333 | - | 463 | 754 | 0 | 0 | 11 |1781k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1599.85/1600.45 c 1491s| 2850k| 232 | 515 | 0.0 |7241k| 333 | - | 463 | 758 | 0 | 0 | 11 |1787k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1605.14/1605.72 c 1496s| 2860k| 229 | 515 | 0.0 |7245k| 333 | - | 463 | 754 | 0 | 0 | 11 |1793k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1611.13/1611.78 c 1502s| 2870k| 276 | 515 | 0.0 |7249k| 333 | - | 463 | 750 | 0 | 0 | 11 |1800k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1616.33/1617.00 c 1507s| 2880k| 226 | 515 | 0.0 |7235k| 333 | - | 463 | 749 | 0 | 0 | 11 |1806k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1621.63/1622.22 c 1512s| 2890k| 223 | 515 | 0.0 |7249k| 333 | - | 463 | 766 | 0 | 0 | 11 |1812k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1627.53/1628.15 c 1517s| 2900k| 237 | 515 | 0.0 |7251k| 333 | - | 463 | 758 | 0 | 0 | 11 |1818k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1633.32/1633.98 c 1523s| 2910k| 226 | 515 | 0.0 |7244k| 333 | - | 463 | 750 | 0 | 0 | 11 |1825k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1638.72/1639.39 c 1528s| 2920k| 230 | 515 | 0.0 |7236k| 333 | - | 463 | 749 | 0 | 0 | 11 |1831k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1643.83/1644.46 c 1533s| 2930k| 225 | 515 | 0.0 |7237k| 333 | - | 463 | 749 | 0 | 0 | 11 |1837k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1649.22/1649.87 c 1538s| 2940k| 214 | 515 | 0.0 |7235k| 333 | - | 463 | 755 | 0 | 0 | 11 |1844k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1654.12/1654.72 c 1542s| 2950k| 217 | 515 | 0.0 |7244k| 333 | - | 463 | 752 | 0 | 0 | 11 |1850k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1659.61/1660.21 c 1547s| 2960k| 219 | 515 | 0.0 |7234k| 333 | - | 463 | 751 | 0 | 0 | 11 |1856k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1665.41/1666.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1665.41/1666.06 c 1553s| 2970k| 232 | 515 | 0.0 |7246k| 333 | - | 463 | 751 | 0 | 0 | 11 |1863k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1670.81/1671.46 c 1558s| 2980k| 226 | 515 | 0.0 |7242k| 333 | - | 463 | 767 | 0 | 0 | 11 |1869k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1675.91/1676.53 c 1563s| 2990k| 227 | 515 | 0.0 |7237k| 333 | - | 463 | 750 | 0 | 0 | 11 |1875k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1680.90/1681.53 c 1567s| 3000k| 220 | 515 | 0.0 |7234k| 333 | - | 463 | 749 | 0 | 0 | 11 |1881k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1686.41/1687.02 c 1572s| 3010k| 244 | 515 | 0.0 |7249k| 333 | - | 463 | 756 | 0 | 0 | 11 |1887k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1691.60/1692.26 c 1577s| 3020k| 212 | 515 | 0.0 |7243k| 333 | - | 463 | 758 | 0 | 0 | 11 |1892k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1697.00/1697.64 c 1582s| 3030k| 241 | 515 | 0.0 |7259k| 333 | - | 463 | 769 | 0 | 0 | 11 |1898k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1703.70/1704.32 c 1589s| 3040k| 222 | 515 | 0.0 |7237k| 333 | - | 463 | 755 | 0 | 0 | 11 |1905k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1709.20/1709.88 c 1594s| 3050k| 224 | 515 | 0.0 |7235k| 333 | - | 463 | 750 | 0 | 0 | 11 |1911k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1714.80/1715.40 c 1599s| 3060k| 228 | 515 | 0.0 |7241k| 333 | - | 463 | 759 | 0 | 0 | 11 |1917k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1720.69/1721.35 c 1604s| 3070k| 229 | 515 | 0.0 |7238k| 333 | - | 463 | 752 | 0 | 0 | 11 |1924k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1725.89/1726.58 c 1609s| 3080k| 216 | 515 | 0.0 |7233k| 333 | - | 463 | 749 | 0 | 0 | 11 |1930k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1730.89/1731.55 c 1614s| 3090k| 227 | 515 | 0.0 |7237k| 333 | - | 463 | 751 | 0 | 0 | 11 |1936k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1736.39/1737.08 c 1619s| 3100k| 222 | 515 | 0.0 |7239k| 333 | - | 463 | 755 | 0 | 0 | 11 |1943k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1741.69/1742.38 c 1624s| 3110k| 216 | 515 | 0.0 |7236k| 333 | - | 463 | 753 | 0 | 0 | 11 |1949k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1747.49/1748.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1747.49/1748.19 c 1630s| 3120k| 232 | 515 | 0.0 |7237k| 333 | - | 463 | 749 | 0 | 0 | 11 |1955k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1753.48/1754.12 c 1635s| 3130k| 211 | 515 | 0.0 |7232k| 333 | - | 463 | 750 | 0 | 0 | 11 |1961k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1758.78/1759.42 c 1640s| 3140k| 234 | 515 | 0.0 |7249k| 333 | - | 463 | 781 | 0 | 0 | 11 |1967k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1764.98/1765.60 c 1646s| 3150k| 207 | 515 | 0.0 |7241k| 333 | - | 463 | 772 | 0 | 0 | 11 |1973k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1771.57/1772.28 c 1652s| 3160k| 205 | 515 | 0.0 |7231k| 333 | - | 463 | 751 | 0 | 0 | 11 |1980k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1777.27/1777.95 c 1657s| 3170k| 212 | 515 | 0.0 |7238k| 333 | - | 463 | 756 | 0 | 0 | 11 |1986k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1782.97/1783.60 c 1662s| 3180k| 236 | 515 | 0.0 |7239k| 333 | - | 463 | 751 | 0 | 0 | 11 |1992k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1788.37/1789.06 c 1668s| 3190k| 221 | 515 | 0.0 |7235k| 333 | - | 463 | 750 | 0 | 0 | 11 |1999k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1794.26/1794.93 c 1673s| 3200k| 236 | 515 | 0.0 |7243k| 333 | - | 463 | 755 | 0 | 0 | 11 |2005k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1799.37/1800.06 c 1678s| 3210k| 208 | 515 | 0.0 |7232k| 333 | - | 463 | 749 | 0 | 0 | 11 |2012k| 88 | 1.100000e+01 | 1.300000e+01 | 18.18%
1800.08/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.71 c
1800.08/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.71 c Solving Time (sec) : 1678.34
1800.08/1800.71 c Solving Nodes : 3211329
1800.08/1800.71 c Primal Bound : +1.30000000000000e+01 (6 solutions)
1800.08/1800.71 c Dual Bound : +1.10000000000000e+01
1800.08/1800.71 c Gap : 18.18 %
1800.08/1800.72 s SATISFIABLE
1800.08/1800.72 v -x464 x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443
1800.08/1800.72 v -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422
1800.08/1800.72 v -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402
1800.08/1800.72 v -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381
1800.08/1800.72 v -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360
1800.08/1800.72 v -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339
1800.08/1800.72 v -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318
1800.08/1800.72 v x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297
1800.08/1800.72 v -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 x278 -x277 -x276
1800.08/1800.72 v -x275 -x274 -x273 -x272 -x271 -x270 -x269 x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255
1800.08/1800.72 v -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234
1800.08/1800.72 v -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213
1800.08/1800.72 v -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193
1800.08/1800.72 v -x192 -x191 x190 -x189 x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171
1800.08/1800.72 v -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151
1800.08/1800.72 v -x150 -x149 -x148 -x147 -x146 x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 x130 -x129
1800.08/1800.72 v -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109
1800.08/1800.72 v -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85
1800.08/1800.72 v -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 x72 -x71 x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60
1800.08/1800.72 v -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35
1800.08/1800.72 v -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10
1800.08/1800.72 v -x9 -x8 x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.08/1800.72 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.72 c Solving Time : 1678.34
1800.08/1800.72 c Original Problem :
1800.08/1800.72 c Problem name : HOME/instance-2667486-1276411226.opb
1800.08/1800.72 c Variables : 464 (464 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.72 c Constraints : 845 initial, 845 maximal
1800.08/1800.72 c Presolved Problem :
1800.08/1800.72 c Problem name : t_HOME/instance-2667486-1276411226.opb
1800.08/1800.72 c Variables : 463 (463 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.72 c Constraints : 754 initial, 1069 maximal
1800.08/1800.72 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.08/1800.72 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.72 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.72 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.72 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.72 c implics : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.72 c probing : 0.01 0 0 0 0 0 0 0 0
1800.08/1800.72 c linear : 0.05 1 0 0 1 0 12 5 0
1800.08/1800.72 c logicor : 0.03 0 0 0 0 0 79 0 0
1800.08/1800.72 c root node : - 13 - - 13 - - - -
1800.08/1800.72 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.08/1800.72 c integral : 0 0 0 6 0 0 13 0 0 2
1800.08/1800.72 c logicor : 754+ 11 10188063 0 0 1707337 6038865 0 0 0
1800.08/1800.72 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.08/1800.72 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.08/1800.72 c integral : 5.21 0.00 0.00 5.21 0.00
1800.08/1800.72 c logicor : 438.01 0.00 438.01 0.00 0.00
1800.08/1800.72 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.72 c Propagators : Time Calls Cutoffs DomReds
1800.08/1800.72 c vbounds : 9.00 2 0 0
1800.08/1800.72 c rootredcost : 9.34 0 0 0
1800.08/1800.72 c pseudoobj : 682.21 20845164 287049 189958756
1800.08/1800.72 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.08/1800.72 c propagation : 309.64 1994143 1994143 1994143 42.8 64205 71.2 -
1800.08/1800.72 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.72 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.72 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.72 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.08/1800.72 c applied globally : - - - 1272760 22.5 - - -
1800.08/1800.72 c applied locally : - - - 740244 77.5 - - -
1800.08/1800.72 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.08/1800.72 c cut pool : 0.00 10 - - 9 - (maximal pool size: 191)
1800.08/1800.72 c redcost : 0.00 12 0 0 0 0
1800.08/1800.72 c impliedbounds : 0.00 12 0 0 0 0
1800.08/1800.72 c intobj : 0.00 0 0 0 0 0
1800.08/1800.72 c cgmip : 0.00 0 0 0 0 0
1800.08/1800.72 c gomory : 1.82 12 0 0 1108 0
1800.08/1800.72 c strongcg : 1.71 12 0 0 1637 0
1800.08/1800.72 c cmir : 0.15 10 0 0 0 0
1800.08/1800.72 c flowcover : 0.24 10 0 0 0 0
1800.08/1800.72 c clique : 0.00 1 0 0 0 0
1800.08/1800.72 c zerohalf : 0.00 0 0 0 0 0
1800.08/1800.72 c mcf : 0.00 1 0 0 0 0
1800.08/1800.72 c rapidlearning : 0.00 0 0 0 0 0
1800.08/1800.72 c Pricers : Time Calls Vars
1800.08/1800.72 c problem variables: 0.00 0 0
1800.08/1800.72 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.08/1800.72 c relpscost : 5.21 6 0 13 0 0 2
1800.08/1800.72 c pscost : 0.00 0 0 0 0 0 0
1800.08/1800.72 c inference : 94.26 2419497 0 0 0 0 4838994
1800.08/1800.72 c mostinf : 0.00 0 0 0 0 0 0
1800.08/1800.72 c leastinf : 0.00 0 0 0 0 0 0
1800.08/1800.72 c fullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.72 c allfullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.72 c random : 0.00 0 0 0 0 0 0
1800.08/1800.72 c Primal Heuristics : Time Calls Found
1800.08/1800.72 c LP solutions : 0.00 - 0
1800.08/1800.72 c pseudo solutions : 0.00 - 0
1800.08/1800.72 c crossover : 0.00 0 0
1800.08/1800.72 c oneopt : 1.71 3 1
1800.08/1800.72 c trivial : 0.00 2 3
1800.08/1800.72 c simplerounding : 0.00 14 0
1800.08/1800.72 c zirounding : 0.00 1 0
1800.08/1800.72 c rounding : 0.00 14 1
1800.08/1800.72 c shifting : 0.00 14 0
1800.08/1800.72 c intshifting : 0.00 0 0
1800.08/1800.72 c twoopt : 0.00 0 0
1800.08/1800.72 c fixandinfer : 0.00 0 0
1800.08/1800.72 c feaspump : 0.00 0 0
1800.08/1800.72 c coefdiving : 0.00 0 0
1800.08/1800.72 c pscostdiving : 0.00 0 0
1800.08/1800.72 c fracdiving : 0.00 0 0
1800.08/1800.72 c veclendiving : 0.00 0 0
1800.08/1800.72 c intdiving : 0.00 0 0
1800.08/1800.72 c actconsdiving : 0.00 0 0
1800.08/1800.72 c objpscostdiving : 0.00 0 0
1800.08/1800.72 c rootsoldiving : 0.00 0 0
1800.08/1800.72 c linesearchdiving : 0.00 0 0
1800.08/1800.72 c guideddiving : 0.00 0 0
1800.08/1800.72 c octane : 0.00 0 0
1800.08/1800.72 c rens : 0.24 1 1
1800.08/1800.72 c rins : 0.00 0 0
1800.08/1800.72 c localbranching : 0.00 0 0
1800.08/1800.72 c mutation : 0.00 0 0
1800.08/1800.72 c dins : 0.00 0 0
1800.08/1800.72 c undercover : 0.00 0 0
1800.08/1800.72 c nlp : 1.69 0 0
1800.08/1800.72 c trysol : 1.17 0 0
1800.08/1800.72 c LP : Time Calls Iterations Iter/call Iter/sec
1800.08/1800.72 c primal LP : 0.00 0 0 0.00 -
1800.08/1800.72 c dual LP : 0.11 14 515 36.79 4681.82
1800.08/1800.72 c lex dual LP : 0.00 0 0 0.00 -
1800.08/1800.72 c barrier LP : 0.00 0 0 0.00 -
1800.08/1800.72 c diving/probing LP: 0.00 0 0 0.00 -
1800.08/1800.72 c strong branching : 5.21 88 17653 200.60 3388.29
1800.08/1800.72 c (at root node) : - 88 17653 200.60 -
1800.08/1800.72 c conflict analysis: 0.00 0 0 0.00 -
1800.08/1800.72 c B&B Tree :
1800.08/1800.72 c number of runs : 1
1800.08/1800.72 c nodes : 3211329
1800.08/1800.72 c nodes (total) : 3211329
1800.08/1800.72 c nodes left : 224
1800.08/1800.72 c max depth : 333
1800.08/1800.72 c max depth (total): 333
1800.08/1800.72 c backtracks : 1708118 (53.2%)
1800.08/1800.72 c delayed cutoffs : 1627444
1800.08/1800.72 c repropagations : 11601277 (122149788 domain reductions, 1202555 cutoffs)
1800.08/1800.72 c avg switch length: 8.09
1800.08/1800.72 c switching time : 219.81
1800.08/1800.72 c Solution :
1800.08/1800.72 c Solutions found : 6 (5 improvements)
1800.08/1800.72 c First Solution : +4.64000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.08/1800.72 c Primal Bound : +1.30000000000000e+01 (in run 1, after 1 nodes, 2.29 seconds, depth 0, found by <rens>)
1800.08/1800.72 c Dual Bound : +1.10000000000000e+01
1800.08/1800.72 c Gap : 18.18 %
1800.08/1800.72 c Root Dual Bound : +1.10000000000000e+01
1800.08/1800.72 c Root Iterations : 515
1800.08/1800.74 c Time complete: 1800.1.