0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2665642-1276596452.opb>
0.09/0.13 c original problem has 1226 variables (1226 bin, 0 int, 0 impl, 0 cont) and 4208 constraints
0.09/0.13 c problem read
0.09/0.13 c presolving settings loaded
0.09/0.16 o 1226
0.09/0.16 o 949
0.09/0.16 c feasible solution found by trivial heuristic, objective value 9.490000e+02
0.09/0.16 c presolving:
0.19/0.28 c (round 1) 0 del vars, 34 del conss, 0 chg bounds, 2 chg sides, 0 chg coeffs, 4110 upgd conss, 1822 impls, 0 clqs
0.29/0.30 c (round 2) 0 del vars, 34 del conss, 0 chg bounds, 2 chg sides, 0 chg coeffs, 4142 upgd conss, 1822 impls, 0 clqs
0.29/0.32 c (round 3) 0 del vars, 34 del conss, 0 chg bounds, 2 chg sides, 0 chg coeffs, 4174 upgd conss, 1822 impls, 0 clqs
0.29/0.36 c (0.2s) probing: 101/1226 (8.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.29/0.36 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.29/0.36 c presolving (4 rounds):
0.29/0.36 c 0 deleted vars, 34 deleted constraints, 0 tightened bounds, 0 added holes, 2 changed sides, 0 changed coefficients
0.29/0.36 c 1822 implications, 0 cliques
0.29/0.36 c presolved problem has 1226 variables (1226 bin, 0 int, 0 impl, 0 cont) and 4174 constraints
0.29/0.36 c 4174 constraints of type <logicor>
0.29/0.36 c transformed objective value is always integral (scale: 1)
0.29/0.36 c Presolving Time: 0.18
0.29/0.36 c - non default parameters ----------------------------------------------------------------------
0.29/0.36 c # SCIP version 1.2.1.2
0.29/0.36 c
0.29/0.36 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.29/0.36 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.36 c conflict/interconss = 0
0.29/0.36 c
0.29/0.36 c # should binary conflicts be preferred?
0.29/0.36 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.36 c conflict/preferbinary = TRUE
0.29/0.36 c
0.29/0.36 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.29/0.36 c # [type: int, range: [-1,2147483647], default: 0]
0.29/0.36 c constraints/agelimit = 1
0.29/0.36 c
0.29/0.36 c # should enforcement of pseudo solution be disabled?
0.29/0.36 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.36 c constraints/disableenfops = TRUE
0.29/0.36 c
0.29/0.36 c # frequency for displaying node information lines
0.29/0.36 c # [type: int, range: [-1,2147483647], default: 100]
0.29/0.36 c display/freq = 10000
0.29/0.36 c
0.29/0.36 c # maximal time in seconds to run
0.29/0.36 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.36 c limits/time = 1799.88
0.29/0.36 c
0.29/0.36 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.36 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.36 c limits/memory = 1620
0.29/0.36 c
0.29/0.36 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.29/0.36 c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.36 c lp/solvefreq = 0
0.29/0.36 c
0.29/0.36 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.29/0.36 c # [type: char, range: {lafpsqd}, default: l]
0.29/0.36 c lp/pricing = a
0.29/0.36 c
0.29/0.36 c # should presolving try to simplify inequalities
0.29/0.36 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.36 c constraints/linear/simplifyinequalities = TRUE
0.29/0.36 c
0.29/0.36 c # should presolving try to simplify knapsacks
0.29/0.36 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.36 c constraints/knapsack/simplifyinequalities = TRUE
0.29/0.36 c
0.29/0.36 c # priority of node selection rule <dfs> in standard mode
0.29/0.36 c # [type: int, range: [-536870912,536870911], default: 0]
0.29/0.36 c nodeselection/dfs/stdpriority = 1000000
0.29/0.36 c
0.29/0.36 c -----------------------------------------------------------------------------------------------
0.29/0.36 c start solving
0.29/0.36 c
0.29/0.37 o 833
0.29/0.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.29/0.37 c t 0.2s| 1 | 0 | 0 | - |7116k| 0 | - |1226 |4174 | 0 | 0 | 0 | 0 | 0 | -- | 8.330000e+02 | Inf
0.39/0.41 o 129
0.39/0.41 c b 0.2s| 1 | 0 | 0 | - | 10M| 0 | - |1226 |4174 |1226 |4174 | 0 | 0 | 0 | -- | 1.290000e+02 | Inf
0.69/0.76 c 0.6s| 1 | 0 | 1069 | - | 10M| 0 | 300 |1226 |4174 |1226 |4174 | 0 | 0 | 0 | 5.808062e+01 | 1.290000e+02 | 122.11%
0.69/0.77 o 124
0.69/0.77 c b 0.6s| 1 | 0 | 1069 | - | 10M| 0 | 300 |1226 |4174 |1226 |4174 | 0 | 0 | 0 | 5.808062e+01 | 1.240000e+02 | 113.50%
1.39/1.44 c 1.2s| 1 | 0 | 1715 | - | 12M| 0 | 305 |1226 |4174 |1226 |4177 | 3 | 0 | 0 | 5.905155e+01 | 1.240000e+02 | 109.99%
3.39/3.44 c 3.2s| 1 | 0 | 2175 | - | 13M| 0 | 299 |1226 |4174 |1226 |4180 | 6 | 0 | 0 | 5.943474e+01 | 1.240000e+02 | 108.63%
5.79/5.88 c 5.7s| 1 | 0 | 2535 | - | 13M| 0 | 310 |1226 |4174 |1226 |4183 | 9 | 0 | 0 | 5.963364e+01 | 1.240000e+02 | 107.94%
6.79/6.83 c 6.6s| 1 | 0 | 3126 | - | 15M| 0 | 299 |1226 |4174 |1226 |4187 | 13 | 0 | 0 | 5.989366e+01 | 1.240000e+02 | 107.03%
7.89/7.90 c 7.6s| 1 | 0 | 3839 | - | 17M| 0 | 315 |1226 |4174 |1226 |4195 | 21 | 0 | 0 | 6.018509e+01 | 1.240000e+02 | 106.03%
10.29/10.33 c 10.1s| 1 | 0 | 4314 | - | 18M| 0 | 320 |1226 |4174 |1226 |4199 | 25 | 0 | 0 | 6.024218e+01 | 1.240000e+02 | 105.84%
11.38/11.43 c 11.1s| 1 | 0 | 4704 | - | 20M| 0 | 310 |1226 |4174 |1226 |4202 | 28 | 0 | 0 | 6.048274e+01 | 1.240000e+02 | 105.02%
12.28/12.36 c 12.1s| 1 | 0 | 4898 | - | 22M| 0 | 285 |1226 |4174 |1226 |4205 | 31 | 0 | 0 | 6.050244e+01 | 1.240000e+02 | 104.95%
16.58/16.66 c 16.3s| 1 | 0 | 5903 | - | 22M| 0 | 326 |1226 |4174 |1226 |4207 | 33 | 0 | 0 | 6.065419e+01 | 1.240000e+02 | 104.44%
19.69/19.72 c 19.4s| 1 | 0 | 6063 | - | 22M| 0 | 318 |1226 |4174 |1226 |4209 | 35 | 0 | 0 | 6.065419e+01 | 1.240000e+02 | 104.44%
22.28/22.36 c 22.0s| 1 | 0 | 6360 | - | 22M| 0 | 311 |1226 |4174 |1226 |4211 | 38 | 0 | 0 | 6.065706e+01 | 1.240000e+02 | 104.43%
24.69/24.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
24.69/24.71 c 24.4s| 1 | 0 | 6988 | - | 22M| 0 | 322 |1226 |4174 |1226 |4214 | 41 | 0 | 0 | 6.079754e+01 | 1.240000e+02 | 103.96%
28.49/28.51 c 28.1s| 1 | 0 | 7323 | - | 22M| 0 | 304 |1226 |4174 |1226 |4217 | 44 | 0 | 0 | 6.083676e+01 | 1.240000e+02 | 103.82%
36.19/36.21 o 76
36.19/36.21 c E35.5s| 1 | 0 | 7323 | - | 22M| 0 | 304 |1226 |4174 |1226 |4217 | 44 | 0 | 0 | 6.083676e+01 | 7.600000e+01 | 24.92%
36.19/36.23 c 35.6s| 1 | 0 | 7323 | - | 22M| 0 | 304 |1226 |4174 |1226 |4217 | 44 | 0 | 0 | 6.083676e+01 | 7.600000e+01 | 24.92%
44.28/44.38 c 43.6s| 1 | 2 | 7323 | - | 22M| 0 | 304 |1226 |4174 |1226 |4217 | 44 | 0 | 18 | 6.083676e+01 | 7.600000e+01 | 24.92%
51.97/52.08 c 51.1s| 10000 | 285 | 7323 | 0.0 | 23M| 306 | - |1226 |4978 | 0 | 0 | 44 |6834 | 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
60.27/60.31 c 59.0s| 20000 | 284 | 7323 | 0.0 | 23M| 306 | - |1226 |5530 | 0 | 0 | 44 | 13k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
68.67/68.76 c 67.2s| 30000 | 285 | 7323 | 0.0 | 24M| 306 | - |1226 |5859 | 0 | 0 | 44 | 20k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
76.98/77.02 c 75.2s| 40000 | 282 | 7323 | 0.0 | 24M| 306 | - |1226 |6564 | 0 | 0 | 44 | 27k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
85.06/85.10 c 83.0s| 50000 | 280 | 7323 | 0.0 | 24M| 306 | - |1226 |6844 | 0 | 0 | 44 | 33k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
93.87/93.93 c 91.6s| 60000 | 279 | 7323 | 0.0 | 24M| 306 | - |1226 |7832 | 0 | 0 | 44 | 41k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
102.17/102.27 c 99.7s| 70000 | 275 | 7323 | 0.0 | 24M| 306 | - |1226 |8356 | 0 | 0 | 44 | 48k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
110.45/110.58 c 108s| 80000 | 275 | 7323 | 0.0 | 25M| 306 | - |1226 |8790 | 0 | 0 | 44 | 54k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
118.96/119.06 c 116s| 90000 | 276 | 7323 | 0.0 | 25M| 306 | - |1226 | 10k| 0 | 0 | 44 | 63k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
127.35/127.46 c 124s|100000 | 277 | 7323 | 0.0 | 25M| 306 | - |1226 | 10k| 0 | 0 | 44 | 70k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
135.65/135.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
135.65/135.76 c 132s|110000 | 277 | 7323 | 0.0 | 26M| 306 | - |1226 | 11k| 0 | 0 | 44 | 77k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
144.25/144.30 c 140s|120000 | 280 | 7323 | 0.0 | 26M| 306 | - |1226 | 13k| 0 | 0 | 44 | 85k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
152.54/152.62 c 148s|130000 | 278 | 7323 | 0.0 | 26M| 306 | - |1226 | 13k| 0 | 0 | 44 | 91k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
160.85/160.98 c 157s|140000 | 273 | 7323 | 0.0 | 26M| 306 | - |1226 | 13k| 0 | 0 | 44 | 98k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
169.74/169.85 c 165s|150000 | 279 | 7323 | 0.0 | 27M| 306 | - |1226 | 14k| 0 | 0 | 44 | 106k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
178.24/178.31 c 173s|160000 | 274 | 7323 | 0.0 | 27M| 306 | - |1226 | 15k| 0 | 0 | 44 | 112k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
186.74/186.89 c 182s|170000 | 273 | 7323 | 0.0 | 27M| 306 | - |1226 | 16k| 0 | 0 | 44 | 120k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
195.34/195.42 c 190s|180000 | 273 | 7323 | 0.0 | 28M| 306 | - |1226 | 17k| 0 | 0 | 44 | 128k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
203.94/204.01 c 198s|190000 | 276 | 7323 | 0.0 | 29M| 306 | - |1226 | 20k| 0 | 0 | 44 | 138k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
212.43/212.51 c 206s|200000 | 274 | 7323 | 0.0 | 29M| 306 | - |1226 | 21k| 0 | 0 | 44 | 145k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
220.73/220.86 c 215s|210000 | 275 | 7323 | 0.0 | 29M| 306 | - |1226 | 22k| 0 | 0 | 44 | 153k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
229.03/229.19 c 223s|220000 | 277 | 7323 | 0.0 | 30M| 306 | - |1226 | 23k| 0 | 0 | 44 | 160k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
237.63/237.76 c 231s|230000 | 273 | 7323 | 0.0 | 30M| 306 | - |1226 | 24k| 0 | 0 | 44 | 167k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
246.33/246.43 c 239s|240000 | 271 | 7323 | 0.0 | 30M| 306 | - |1226 | 24k| 0 | 0 | 44 | 174k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
254.92/255.01 c 248s|250000 | 276 | 7323 | 0.0 | 30M| 306 | - |1226 | 25k| 0 | 0 | 44 | 182k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
263.02/263.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
263.02/263.17 c 256s|260000 | 271 | 7323 | 0.0 | 31M| 306 | - |1226 | 26k| 0 | 0 | 44 | 189k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
271.41/271.53 c 264s|270000 | 275 | 7323 | 0.0 | 31M| 306 | - |1226 | 27k| 0 | 0 | 44 | 196k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
280.01/280.10 c 272s|280000 | 270 | 7323 | 0.0 | 31M| 306 | - |1226 | 27k| 0 | 0 | 44 | 203k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
288.61/288.75 c 280s|290000 | 268 | 7323 | 0.0 | 31M| 306 | - |1226 | 28k| 0 | 0 | 44 | 210k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
297.01/297.15 c 288s|300000 | 271 | 7323 | 0.0 | 31M| 306 | - |1226 | 28k| 0 | 0 | 44 | 217k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
305.11/305.23 c 296s|310000 | 270 | 7323 | 0.0 | 32M| 306 | - |1226 | 29k| 0 | 0 | 44 | 224k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
313.21/313.32 c 304s|320000 | 276 | 7323 | 0.0 | 32M| 306 | - |1226 | 31k| 0 | 0 | 44 | 232k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
321.50/321.65 c 312s|330000 | 271 | 7323 | 0.0 | 32M| 306 | - |1226 | 31k| 0 | 0 | 44 | 239k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
329.50/329.62 c 320s|340000 | 272 | 7323 | 0.0 | 33M| 306 | - |1226 | 32k| 0 | 0 | 44 | 246k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
337.40/337.53 c 328s|350000 | 275 | 7323 | 0.0 | 33M| 306 | - |1226 | 33k| 0 | 0 | 44 | 253k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
345.49/345.63 c 335s|360000 | 273 | 7323 | 0.0 | 33M| 306 | - |1226 | 34k| 0 | 0 | 44 | 261k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
353.80/353.99 c 344s|370000 | 268 | 7323 | 0.0 | 34M| 306 | - |1226 | 35k| 0 | 0 | 44 | 268k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
362.30/362.46 c 352s|380000 | 271 | 7323 | 0.0 | 34M| 306 | - |1226 | 36k| 0 | 0 | 44 | 275k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
370.79/370.98 c 360s|390000 | 270 | 7323 | 0.0 | 34M| 306 | - |1226 | 38k| 0 | 0 | 44 | 283k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
378.99/379.15 c 368s|400000 | 271 | 7323 | 0.0 | 35M| 306 | - |1226 | 39k| 0 | 0 | 44 | 291k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
387.00/387.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
387.00/387.11 c 376s|410000 | 269 | 7323 | 0.0 | 36M| 306 | - |1226 | 41k| 0 | 0 | 44 | 299k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
395.29/395.46 c 384s|420000 | 269 | 7323 | 0.0 | 36M| 306 | - |1226 | 42k| 0 | 0 | 44 | 306k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
403.29/403.47 c 391s|430000 | 275 | 7323 | 0.0 | 36M| 306 | - |1226 | 43k| 0 | 0 | 44 | 313k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
411.68/411.88 c 400s|440000 | 270 | 7323 | 0.0 | 37M| 306 | - |1226 | 44k| 0 | 0 | 44 | 321k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
419.78/419.98 c 407s|450000 | 268 | 7323 | 0.0 | 37M| 306 | - |1226 | 45k| 0 | 0 | 44 | 328k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
427.88/428.06 c 415s|460000 | 274 | 7323 | 0.0 | 37M| 306 | - |1226 | 46k| 0 | 0 | 44 | 335k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
435.78/436.00 c 423s|470000 | 271 | 7323 | 0.0 | 38M| 306 | - |1226 | 47k| 0 | 0 | 44 | 343k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
443.97/444.15 c 431s|480000 | 274 | 7323 | 0.0 | 38M| 306 | - |1226 | 48k| 0 | 0 | 44 | 350k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
452.07/452.25 c 439s|490000 | 272 | 7323 | 0.0 | 38M| 306 | - |1226 | 48k| 0 | 0 | 44 | 356k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
460.68/460.81 c 447s|500000 | 269 | 7323 | 0.0 | 39M| 306 | - |1226 | 50k| 0 | 0 | 44 | 364k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
469.26/469.42 c 455s|510000 | 266 | 7323 | 0.0 | 39M| 306 | - |1226 | 51k| 0 | 0 | 44 | 372k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
477.56/477.70 c 463s|520000 | 272 | 7323 | 0.0 | 39M| 306 | - |1226 | 51k| 0 | 0 | 44 | 379k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
485.36/485.52 c 471s|530000 | 269 | 7323 | 0.0 | 40M| 306 | - |1226 | 53k| 0 | 0 | 44 | 387k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
493.36/493.57 c 479s|540000 | 273 | 7323 | 0.0 | 40M| 306 | - |1226 | 54k| 0 | 0 | 44 | 395k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
501.46/501.61 c 486s|550000 | 267 | 7323 | 0.0 | 41M| 306 | - |1226 | 56k| 0 | 0 | 44 | 403k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
509.66/509.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
509.66/509.80 c 494s|560000 | 269 | 7323 | 0.0 | 42M| 306 | - |1226 | 58k| 0 | 0 | 44 | 411k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
517.87/518.01 c 502s|570000 | 270 | 7323 | 0.0 | 42M| 306 | - |1226 | 59k| 0 | 0 | 44 | 419k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
526.05/526.27 c 510s|580000 | 268 | 7323 | 0.0 | 43M| 306 | - |1226 | 62k| 0 | 0 | 44 | 428k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
534.65/534.83 c 519s|590000 | 268 | 7323 | 0.0 | 43M| 306 | - |1226 | 64k| 0 | 0 | 44 | 436k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
542.92/543.11 c 527s|600000 | 271 | 7323 | 0.0 | 43M| 306 | - |1226 | 64k| 0 | 0 | 44 | 443k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
551.22/551.47 c 535s|610000 | 272 | 7323 | 0.0 | 44M| 306 | - |1226 | 67k| 0 | 0 | 44 | 452k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
559.21/559.50 c 542s|620000 | 266 | 7323 | 0.0 | 45M| 306 | - |1226 | 69k| 0 | 0 | 44 | 461k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
567.21/567.41 c 550s|630000 | 274 | 7323 | 0.0 | 46M| 306 | - |1226 | 71k| 0 | 0 | 44 | 468k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
575.31/575.59 c 558s|640000 | 270 | 7323 | 0.0 | 46M| 306 | - |1226 | 71k| 0 | 0 | 44 | 475k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
583.41/583.63 c 566s|650000 | 271 | 7323 | 0.0 | 46M| 306 | - |1226 | 72k| 0 | 0 | 44 | 483k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
591.51/591.77 c 574s|660000 | 270 | 7323 | 0.0 | 47M| 306 | - |1226 | 73k| 0 | 0 | 44 | 490k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
599.50/599.76 c 581s|670000 | 270 | 7323 | 0.0 | 47M| 306 | - |1226 | 75k| 0 | 0 | 44 | 497k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
607.60/607.87 c 589s|680000 | 271 | 7323 | 0.0 | 47M| 306 | - |1226 | 76k| 0 | 0 | 44 | 505k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
615.70/615.96 c 597s|690000 | 269 | 7323 | 0.0 | 48M| 306 | - |1226 | 77k| 0 | 0 | 44 | 511k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
623.80/624.02 c 605s|700000 | 270 | 7323 | 0.0 | 48M| 306 | - |1226 | 78k| 0 | 0 | 44 | 519k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
631.79/632.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
631.79/632.01 c 613s|710000 | 272 | 7323 | 0.0 | 48M| 306 | - |1226 | 78k| 0 | 0 | 44 | 525k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
639.79/640.05 c 620s|720000 | 267 | 7323 | 0.0 | 48M| 306 | - |1226 | 78k| 0 | 0 | 44 | 531k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
647.99/648.20 c 628s|730000 | 273 | 7323 | 0.0 | 48M| 306 | - |1226 | 78k| 0 | 0 | 44 | 538k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
655.98/656.20 c 636s|740000 | 271 | 7323 | 0.0 | 49M| 306 | - |1226 | 79k| 0 | 0 | 44 | 545k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
663.78/664.05 c 644s|750000 | 270 | 7323 | 0.0 | 49M| 306 | - |1226 | 82k| 0 | 0 | 44 | 554k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
671.99/672.27 c 652s|760000 | 268 | 7323 | 0.0 | 51M| 306 | - |1226 | 85k| 0 | 0 | 44 | 563k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
680.08/680.34 c 659s|770000 | 270 | 7323 | 0.0 | 51M| 306 | - |1226 | 87k| 0 | 0 | 44 | 572k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
688.17/688.40 c 667s|780000 | 271 | 7323 | 0.0 | 52M| 306 | - |1226 | 89k| 0 | 0 | 44 | 580k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
695.98/696.21 c 675s|790000 | 268 | 7323 | 0.0 | 53M| 306 | - |1226 | 91k| 0 | 0 | 44 | 588k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
704.28/704.59 c 683s|800000 | 271 | 7323 | 0.0 | 53M| 306 | - |1226 | 92k| 0 | 0 | 44 | 595k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
712.48/712.74 c 691s|810000 | 272 | 7323 | 0.0 | 53M| 306 | - |1226 | 92k| 0 | 0 | 44 | 601k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
720.37/720.69 c 698s|820000 | 271 | 7323 | 0.0 | 53M| 306 | - |1226 | 92k| 0 | 0 | 44 | 607k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
728.66/728.97 c 706s|830000 | 271 | 7323 | 0.0 | 53M| 306 | - |1226 | 92k| 0 | 0 | 44 | 613k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
736.97/737.24 c 714s|840000 | 269 | 7323 | 0.0 | 53M| 306 | - |1226 | 92k| 0 | 0 | 44 | 619k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
745.27/745.58 c 723s|850000 | 273 | 7323 | 0.0 | 53M| 306 | - |1226 | 92k| 0 | 0 | 44 | 626k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
753.27/753.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
753.27/753.51 c 730s|860000 | 269 | 7323 | 0.0 | 53M| 306 | - |1226 | 94k| 0 | 0 | 44 | 634k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
761.46/761.71 c 738s|870000 | 276 | 7323 | 0.0 | 54M| 306 | - |1226 | 96k| 0 | 0 | 44 | 642k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
769.35/769.67 c 746s|880000 | 266 | 7323 | 0.0 | 55M| 306 | - |1226 | 97k| 0 | 0 | 44 | 649k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
777.56/777.89 c 754s|890000 | 267 | 7323 | 0.0 | 55M| 306 | - |1226 | 99k| 0 | 0 | 44 | 657k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
785.65/785.90 c 762s|900000 | 268 | 7323 | 0.0 | 56M| 306 | - |1226 | 101k| 0 | 0 | 44 | 666k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
793.45/793.74 c 769s|910000 | 276 | 7323 | 0.0 | 57M| 306 | - |1226 | 103k| 0 | 0 | 44 | 674k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
801.35/801.64 c 777s|920000 | 271 | 7323 | 0.0 | 57M| 306 | - |1226 | 104k| 0 | 0 | 44 | 681k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
809.54/809.85 c 785s|930000 | 269 | 7323 | 0.0 | 58M| 306 | - |1226 | 106k| 0 | 0 | 44 | 689k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
817.75/818.02 c 793s|940000 | 268 | 7323 | 0.0 | 58M| 306 | - |1226 | 107k| 0 | 0 | 44 | 697k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
825.75/826.04 c 800s|950000 | 269 | 7323 | 0.0 | 59M| 306 | - |1226 | 109k| 0 | 0 | 44 | 704k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
834.04/834.31 c 808s|960000 | 266 | 7323 | 0.0 | 59M| 306 | - |1226 | 111k| 0 | 0 | 44 | 712k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
842.54/842.83 c 817s|970000 | 269 | 7323 | 0.0 | 60M| 306 | - |1226 | 113k| 0 | 0 | 44 | 721k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
850.54/850.86 c 824s|980000 | 273 | 7323 | 0.0 | 60M| 306 | - |1226 | 114k| 0 | 0 | 44 | 728k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
858.84/859.11 c 832s|990000 | 268 | 7323 | 0.0 | 61M| 306 | - |1226 | 116k| 0 | 0 | 44 | 736k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
867.14/867.42 c 840s| 1000k| 268 | 7323 | 0.0 | 61M| 306 | - |1226 | 116k| 0 | 0 | 44 | 743k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
874.94/875.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
874.94/875.29 c 848s| 1010k| 270 | 7323 | 0.0 | 62M| 306 | - |1226 | 117k| 0 | 0 | 44 | 750k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
883.03/883.30 c 856s| 1020k| 267 | 7323 | 0.0 | 62M| 306 | - |1226 | 119k| 0 | 0 | 44 | 758k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
891.03/891.35 c 864s| 1030k| 265 | 7323 | 0.0 | 63M| 306 | - |1226 | 122k| 0 | 0 | 44 | 767k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
899.33/899.61 c 872s| 1040k| 266 | 7323 | 0.0 | 64M| 306 | - |1226 | 124k| 0 | 0 | 44 | 775k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
907.33/907.63 c 879s| 1050k| 264 | 7323 | 0.0 | 64M| 306 | - |1226 | 125k| 0 | 0 | 44 | 783k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
916.03/916.36 c 888s| 1060k| 272 | 7323 | 0.0 | 64M| 306 | - |1226 | 125k| 0 | 0 | 44 | 790k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
924.12/924.47 c 896s| 1070k| 268 | 7323 | 0.0 | 64M| 306 | - |1226 | 125k| 0 | 0 | 44 | 796k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
932.52/932.82 c 904s| 1080k| 269 | 7323 | 0.0 | 64M| 306 | - |1226 | 125k| 0 | 0 | 44 | 803k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
941.01/941.30 c 912s| 1090k| 273 | 7323 | 0.0 | 64M| 306 | - |1226 | 125k| 0 | 0 | 44 | 809k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
949.41/949.76 c 920s| 1100k| 275 | 7323 | 0.0 | 64M| 306 | - |1226 | 125k| 0 | 0 | 44 | 816k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
958.01/958.31 c 928s| 1110k| 273 | 7323 | 0.0 | 64M| 306 | - |1226 | 125k| 0 | 0 | 44 | 822k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
966.41/966.70 c 937s| 1120k| 269 | 7323 | 0.0 | 64M| 306 | - |1226 | 125k| 0 | 0 | 44 | 829k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
974.71/975.06 c 945s| 1130k| 267 | 7323 | 0.0 | 65M| 306 | - |1226 | 126k| 0 | 0 | 44 | 836k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
983.51/983.84 c 953s| 1140k| 274 | 7323 | 0.0 | 64M| 306 | - |1226 | 125k| 0 | 0 | 44 | 843k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
992.20/992.53 c 962s| 1150k| 265 | 7323 | 0.0 | 64M| 306 | - |1226 | 125k| 0 | 0 | 44 | 849k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1000.61/1000.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1000.61/1000.93 c 970s| 1160k| 275 | 7323 | 0.0 | 64M| 306 | - |1226 | 125k| 0 | 0 | 44 | 855k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1008.60/1008.97 c 978s| 1170k| 269 | 7323 | 0.0 | 64M| 306 | - |1226 | 125k| 0 | 0 | 44 | 862k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1016.80/1017.15 c 986s| 1180k| 274 | 7323 | 0.0 | 64M| 306 | - |1226 | 125k| 0 | 0 | 44 | 868k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1024.99/1025.30 c 993s| 1190k| 267 | 7323 | 0.0 | 64M| 306 | - |1226 | 125k| 0 | 0 | 44 | 874k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1033.29/1033.67 c 1002s| 1200k| 269 | 7323 | 0.0 | 64M| 306 | - |1226 | 125k| 0 | 0 | 44 | 881k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1041.69/1042.08 c 1010s| 1210k| 270 | 7323 | 0.0 | 64M| 306 | - |1226 | 125k| 0 | 0 | 44 | 887k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1050.38/1050.76 c 1018s| 1220k| 271 | 7323 | 0.0 | 64M| 306 | - |1226 | 125k| 0 | 0 | 44 | 893k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1059.08/1059.49 c 1027s| 1230k| 269 | 7323 | 0.0 | 64M| 306 | - |1226 | 125k| 0 | 0 | 44 | 900k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1067.58/1067.98 c 1035s| 1240k| 268 | 7323 | 0.0 | 64M| 306 | - |1226 | 125k| 0 | 0 | 44 | 906k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1075.98/1076.40 c 1043s| 1250k| 272 | 7323 | 0.0 | 64M| 306 | - |1226 | 125k| 0 | 0 | 44 | 913k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1084.68/1085.02 c 1051s| 1260k| 268 | 7323 | 0.0 | 64M| 306 | - |1226 | 125k| 0 | 0 | 44 | 919k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1092.58/1092.91 c 1059s| 1270k| 273 | 7323 | 0.0 | 64M| 306 | - |1226 | 125k| 0 | 0 | 44 | 925k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1100.57/1100.97 c 1067s| 1280k| 275 | 7323 | 0.0 | 64M| 306 | - |1226 | 125k| 0 | 0 | 44 | 932k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1108.57/1108.99 c 1075s| 1290k| 270 | 7323 | 0.0 | 64M| 306 | - |1226 | 125k| 0 | 0 | 44 | 938k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1116.67/1117.06 c 1082s| 1300k| 270 | 7323 | 0.0 | 64M| 306 | - |1226 | 126k| 0 | 0 | 44 | 945k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1124.67/1125.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1124.67/1125.02 c 1090s| 1310k| 271 | 7323 | 0.0 | 64M| 306 | - |1226 | 125k| 0 | 0 | 44 | 952k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1132.87/1133.26 c 1098s| 1320k| 271 | 7323 | 0.0 | 64M| 306 | - |1226 | 125k| 0 | 0 | 44 | 958k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1140.96/1141.37 c 1106s| 1330k| 271 | 7323 | 0.0 | 64M| 306 | - |1226 | 125k| 0 | 0 | 44 | 964k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1148.76/1149.12 c 1113s| 1340k| 268 | 7323 | 0.0 | 64M| 306 | - |1226 | 125k| 0 | 0 | 44 | 971k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1156.87/1157.29 c 1121s| 1350k| 270 | 7323 | 0.0 | 64M| 306 | - |1226 | 125k| 0 | 0 | 44 | 977k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1165.06/1165.43 c 1129s| 1360k| 270 | 7323 | 0.0 | 64M| 306 | - |1226 | 125k| 0 | 0 | 44 | 983k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1173.37/1173.77 c 1137s| 1370k| 269 | 7323 | 0.0 | 64M| 306 | - |1226 | 125k| 0 | 0 | 44 | 990k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1181.65/1182.05 c 1145s| 1380k| 270 | 7323 | 0.0 | 64M| 306 | - |1226 | 125k| 0 | 0 | 44 | 996k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1189.95/1190.37 c 1153s| 1390k| 269 | 7323 | 0.0 | 64M| 306 | - |1226 | 125k| 0 | 0 | 44 |1002k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1198.25/1198.60 c 1161s| 1400k| 265 | 7323 | 0.0 | 64M| 306 | - |1226 | 125k| 0 | 0 | 44 |1009k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1206.65/1207.05 c 1170s| 1410k| 272 | 7323 | 0.0 | 65M| 306 | - |1226 | 127k| 0 | 0 | 44 |1018k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1214.94/1215.35 c 1178s| 1420k| 269 | 7323 | 0.0 | 66M| 306 | - |1226 | 130k| 0 | 0 | 44 |1027k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1222.64/1223.00 c 1185s| 1430k| 276 | 7323 | 0.0 | 66M| 306 | - |1226 | 132k| 0 | 0 | 44 |1035k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1230.75/1231.19 c 1193s| 1440k| 275 | 7323 | 0.0 | 67M| 306 | - |1226 | 135k| 0 | 0 | 44 |1044k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1240.14/1240.58 c 1202s| 1450k| 271 | 7323 | 0.0 | 68M| 306 | - |1226 | 138k| 0 | 0 | 44 |1054k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1248.64/1249.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1248.64/1249.02 c 1210s| 1460k| 267 | 7323 | 0.0 | 68M| 306 | - |1226 | 138k| 0 | 0 | 44 |1063k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1256.84/1257.23 c 1218s| 1470k| 268 | 7323 | 0.0 | 70M| 306 | - |1226 | 140k| 0 | 0 | 44 |1071k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1264.93/1265.35 c 1226s| 1480k| 271 | 7323 | 0.0 | 70M| 306 | - |1226 | 141k| 0 | 0 | 44 |1078k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1273.44/1273.86 c 1234s| 1490k| 269 | 7323 | 0.0 | 70M| 306 | - |1226 | 141k| 0 | 0 | 44 |1085k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1281.93/1282.36 c 1243s| 1500k| 276 | 7323 | 0.0 | 70M| 306 | - |1226 | 141k| 0 | 0 | 44 |1091k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1290.13/1290.54 c 1250s| 1510k| 271 | 7323 | 0.0 | 70M| 306 | - |1226 | 141k| 0 | 0 | 44 |1097k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1298.53/1298.99 c 1259s| 1520k| 268 | 7323 | 0.0 | 70M| 306 | - |1226 | 141k| 0 | 0 | 44 |1104k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1306.12/1306.59 c 1266s| 1530k| 274 | 7323 | 0.0 | 71M| 306 | - |1226 | 144k| 0 | 0 | 44 |1113k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1314.03/1314.46 c 1274s| 1540k| 272 | 7323 | 0.0 | 72M| 306 | - |1226 | 146k| 0 | 0 | 44 |1122k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1322.01/1322.44 c 1281s| 1550k| 270 | 7323 | 0.0 | 72M| 306 | - |1226 | 149k| 0 | 0 | 44 |1131k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1330.11/1330.53 c 1289s| 1560k| 270 | 7323 | 0.0 | 73M| 306 | - |1226 | 152k| 0 | 0 | 44 |1140k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1338.22/1338.60 c 1297s| 1570k| 275 | 7323 | 0.0 | 75M| 306 | - |1226 | 156k| 0 | 0 | 44 |1151k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1346.41/1346.83 c 1305s| 1580k| 270 | 7323 | 0.0 | 76M| 306 | - |1226 | 161k| 0 | 0 | 44 |1161k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1354.31/1354.76 c 1313s| 1590k| 269 | 7323 | 0.0 | 77M| 306 | - |1226 | 163k| 0 | 0 | 44 |1170k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1362.71/1363.19 c 1321s| 1600k| 273 | 7323 | 0.0 | 77M| 306 | - |1226 | 165k| 0 | 0 | 44 |1179k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1370.90/1371.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1370.90/1371.32 c 1329s| 1610k| 269 | 7323 | 0.0 | 79M| 306 | - |1226 | 167k| 0 | 0 | 44 |1187k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1379.11/1379.50 c 1337s| 1620k| 271 | 7323 | 0.0 | 80M| 306 | - |1226 | 169k| 0 | 0 | 44 |1195k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1387.20/1387.61 c 1345s| 1630k| 271 | 7323 | 0.0 | 80M| 306 | - |1226 | 172k| 0 | 0 | 44 |1204k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1395.41/1395.88 c 1353s| 1640k| 267 | 7323 | 0.0 | 80M| 306 | - |1226 | 172k| 0 | 0 | 44 |1211k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1403.70/1404.15 c 1361s| 1650k| 268 | 7323 | 0.0 | 81M| 306 | - |1226 | 173k| 0 | 0 | 44 |1219k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1411.69/1412.17 c 1368s| 1660k| 271 | 7323 | 0.0 | 81M| 306 | - |1226 | 176k| 0 | 0 | 44 |1227k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1420.00/1420.42 c 1376s| 1670k| 272 | 7323 | 0.0 | 82M| 306 | - |1226 | 178k| 0 | 0 | 44 |1236k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1428.29/1428.71 c 1384s| 1680k| 270 | 7323 | 0.0 | 82M| 306 | - |1226 | 179k| 0 | 0 | 44 |1243k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1436.59/1437.03 c 1392s| 1690k| 266 | 7323 | 0.0 | 83M| 306 | - |1226 | 180k| 0 | 0 | 44 |1250k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1444.79/1445.20 c 1400s| 1700k| 266 | 7323 | 0.0 | 83M| 306 | - |1226 | 182k| 0 | 0 | 44 |1259k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1453.08/1453.50 c 1408s| 1710k| 266 | 7323 | 0.0 | 84M| 306 | - |1226 | 184k| 0 | 0 | 44 |1267k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1461.18/1461.68 c 1416s| 1720k| 266 | 7323 | 0.0 | 84M| 306 | - |1226 | 185k| 0 | 0 | 44 |1275k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1469.58/1470.03 c 1424s| 1730k| 268 | 7323 | 0.0 | 85M| 306 | - |1226 | 187k| 0 | 0 | 44 |1283k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1477.99/1478.45 c 1432s| 1740k| 268 | 7323 | 0.0 | 86M| 306 | - |1226 | 189k| 0 | 0 | 44 |1292k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1486.07/1486.58 c 1440s| 1750k| 266 | 7323 | 0.0 | 86M| 306 | - |1226 | 190k| 0 | 0 | 44 |1300k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1494.38/1494.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1494.38/1494.80 c 1448s| 1760k| 273 | 7323 | 0.0 | 87M| 306 | - |1226 | 193k| 0 | 0 | 44 |1309k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1502.57/1503.05 c 1456s| 1770k| 271 | 7323 | 0.0 | 88M| 306 | - |1226 | 195k| 0 | 0 | 44 |1318k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1510.87/1511.32 c 1464s| 1780k| 266 | 7323 | 0.0 | 88M| 306 | - |1226 | 197k| 0 | 0 | 44 |1326k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1518.97/1519.42 c 1472s| 1790k| 267 | 7323 | 0.0 | 90M| 306 | - |1226 | 199k| 0 | 0 | 44 |1334k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1527.17/1527.61 c 1480s| 1800k| 275 | 7323 | 0.0 | 90M| 306 | - |1226 | 199k| 0 | 0 | 44 |1341k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1535.57/1536.05 c 1488s| 1810k| 268 | 7323 | 0.0 | 90M| 306 | - |1226 | 199k| 0 | 0 | 44 |1347k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1543.66/1544.13 c 1496s| 1820k| 271 | 7323 | 0.0 | 90M| 306 | - |1226 | 199k| 0 | 0 | 44 |1353k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1551.96/1552.44 c 1504s| 1830k| 267 | 7323 | 0.0 | 90M| 306 | - |1226 | 199k| 0 | 0 | 44 |1359k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1559.96/1560.47 c 1512s| 1840k| 270 | 7323 | 0.0 | 90M| 306 | - |1226 | 199k| 0 | 0 | 44 |1366k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1568.07/1568.51 c 1520s| 1850k| 270 | 7323 | 0.0 | 90M| 306 | - |1226 | 199k| 0 | 0 | 44 |1372k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1576.16/1576.67 c 1527s| 1860k| 269 | 7323 | 0.0 | 90M| 306 | - |1226 | 199k| 0 | 0 | 44 |1378k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1584.35/1584.89 c 1535s| 1870k| 278 | 7323 | 0.0 | 90M| 306 | - |1226 | 199k| 0 | 0 | 44 |1385k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1592.05/1592.53 c 1543s| 1880k| 267 | 7323 | 0.0 | 90M| 306 | - |1226 | 199k| 0 | 0 | 44 |1391k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1600.06/1600.50 c 1551s| 1890k| 277 | 7323 | 0.0 | 90M| 306 | - |1226 | 199k| 0 | 0 | 44 |1397k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1607.85/1608.37 c 1558s| 1900k| 270 | 7323 | 0.0 | 90M| 306 | - |1226 | 199k| 0 | 0 | 44 |1403k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1616.15/1616.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1616.15/1616.61 c 1566s| 1910k| 275 | 7323 | 0.0 | 90M| 306 | - |1226 | 199k| 0 | 0 | 44 |1410k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1624.15/1624.62 c 1574s| 1920k| 271 | 7323 | 0.0 | 90M| 306 | - |1226 | 201k| 0 | 0 | 44 |1418k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1632.14/1632.69 c 1582s| 1930k| 268 | 7323 | 0.0 | 91M| 306 | - |1226 | 203k| 0 | 0 | 44 |1427k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1640.34/1640.83 c 1590s| 1940k| 269 | 7323 | 0.0 | 92M| 306 | - |1226 | 205k| 0 | 0 | 44 |1435k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1648.03/1648.55 c 1597s| 1950k| 276 | 7323 | 0.0 | 93M| 306 | - |1226 | 208k| 0 | 0 | 44 |1444k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1655.73/1656.23 c 1605s| 1960k| 270 | 7323 | 0.0 | 94M| 306 | - |1226 | 212k| 0 | 0 | 44 |1454k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1663.64/1664.18 c 1612s| 1970k| 268 | 7323 | 0.0 | 95M| 306 | - |1226 | 215k| 0 | 0 | 44 |1464k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1671.93/1672.49 c 1620s| 1980k| 272 | 7323 | 0.0 | 96M| 306 | - |1226 | 218k| 0 | 0 | 44 |1472k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1680.24/1680.74 c 1628s| 1990k| 267 | 7323 | 0.0 | 96M| 306 | - |1226 | 220k| 0 | 0 | 44 |1480k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1688.13/1688.64 c 1636s| 2000k| 267 | 7323 | 0.0 | 97M| 306 | - |1226 | 221k| 0 | 0 | 44 |1489k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1696.43/1696.93 c 1644s| 2010k| 271 | 7323 | 0.0 | 97M| 306 | - |1226 | 224k| 0 | 0 | 44 |1497k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1704.32/1704.87 c 1652s| 2020k| 273 | 7323 | 0.0 | 98M| 306 | - |1226 | 226k| 0 | 0 | 44 |1506k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1712.02/1712.58 c 1659s| 2030k| 268 | 7323 | 0.0 | 99M| 306 | - |1226 | 228k| 0 | 0 | 44 |1515k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1720.02/1720.53 c 1667s| 2040k| 270 | 7323 | 0.0 | 99M| 306 | - |1226 | 230k| 0 | 0 | 44 |1523k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1727.82/1728.31 c 1674s| 2050k| 267 | 7323 | 0.0 | 100M| 306 | - |1226 | 233k| 0 | 0 | 44 |1532k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1735.61/1736.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1735.61/1736.18 c 1682s| 2060k| 270 | 7323 | 0.0 | 101M| 306 | - |1226 | 235k| 0 | 0 | 44 |1540k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1743.92/1744.50 c 1690s| 2070k| 267 | 7323 | 0.0 | 102M| 306 | - |1226 | 237k| 0 | 0 | 44 |1549k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1752.01/1752.55 c 1698s| 2080k| 269 | 7323 | 0.0 | 104M| 306 | - |1226 | 240k| 0 | 0 | 44 |1558k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1760.20/1760.71 c 1706s| 2090k| 266 | 7323 | 0.0 | 105M| 306 | - |1226 | 244k| 0 | 0 | 44 |1569k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1768.40/1768.99 c 1714s| 2100k| 271 | 7323 | 0.0 | 106M| 306 | - |1226 | 247k| 0 | 0 | 44 |1577k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1776.80/1777.31 c 1722s| 2110k| 267 | 7323 | 0.0 | 106M| 306 | - |1226 | 248k| 0 | 0 | 44 |1585k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1785.10/1785.60 c 1730s| 2120k| 271 | 7323 | 0.0 | 107M| 306 | - |1226 | 251k| 0 | 0 | 44 |1594k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1793.30/1793.83 c 1738s| 2130k| 268 | 7323 | 0.0 | 108M| 306 | - |1226 | 253k| 0 | 0 | 44 |1603k| 18 | 6.093293e+01 | 7.600000e+01 | 24.73%
1800.01/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.50 c
1800.01/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.50 c Solving Time (sec) : 1744.25
1800.01/1800.50 c Solving Nodes : 2138294
1800.01/1800.50 c Primal Bound : +7.60000000000000e+01 (7 solutions)
1800.01/1800.50 c Dual Bound : +6.09329284489753e+01
1800.01/1800.50 c Gap : 24.73 %
1800.01/1800.51 s SATISFIABLE
1800.01/1800.51 v -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208
1800.01/1800.51 v -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190
1800.01/1800.51 v -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 x1176 -x1175 -x1174 -x1173 -x1172
1800.01/1800.51 v -x1171 -x1170 -x1169 -x1168 -x1167 x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 x1154
1800.01/1800.51 v -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136
1800.01/1800.51 v x1135 x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118
1800.01/1800.51 v -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100
1800.01/1800.51 v -x1099 x1098 -x1097 -x1096 -x1095 -x1094 -x1093 x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 x1083 -x1082
1800.01/1800.51 v -x1081 -x1080 -x1079 -x1078 -x1077 x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064
1800.01/1800.51 v -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046
1800.01/1800.51 v -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028
1800.01/1800.51 v -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010
1800.01/1800.51 v -x1009 -x1008 -x1007 x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990
1800.01/1800.51 v -x989 -x988 -x987 -x986 -x985 -x984 x983 -x982 -x981 -x980 -x979 x978 -x977 -x976 -x975 -x974 -x973 -x972 x971 -x970 x969
1800.01/1800.51 v -x968 x967 -x966 x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948
1800.01/1800.51 v -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 x929 -x928 -x927
1800.01/1800.51 v -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906
1800.01/1800.51 v -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 x888 -x887 -x886 -x885
1800.01/1800.51 v -x884 -x883 x882 -x881 -x880 -x879 x878 -x877 -x876 x875 -x874 -x873 -x872 x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863
1800.01/1800.51 v -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843
1800.01/1800.51 v -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822
1800.01/1800.51 v -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801
1800.01/1800.51 v x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 x791 -x790 -x789 x788 -x787 x786 -x785 -x784 x783 -x782 -x781 -x780 -x779
1800.01/1800.51 v -x778 x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758
1800.01/1800.51 v x757 -x756 -x755 x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 x742 -x741 -x740 -x739 -x738 -x737
1800.01/1800.51 v -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716
1800.01/1800.51 v -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 x695
1800.01/1800.51 v -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674
1800.01/1800.51 v -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653
1800.01/1800.51 v -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633
1800.01/1800.51 v -x632 -x631 -x630 -x629 -x628 -x627 -x626 x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 x612 -x611
1800.01/1800.51 v -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 x590
1800.01/1800.51 v -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569
1800.01/1800.51 v -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 x551 -x550 -x549 -x548
1800.01/1800.51 v -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528
1800.01/1800.51 v -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507
1800.01/1800.51 v -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 x488 -x487 -x486
1800.01/1800.51 v -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465
1800.01/1800.51 v -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444
1800.01/1800.51 v -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423
1800.01/1800.51 v -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 x404 -x403 -x402
1800.01/1800.51 v -x401 -x400 -x399 -x398 -x397 -x396 x395 -x394 -x393 x392 -x391 -x390 -x389 x388 -x387 -x386 x385 -x384 -x383 -x382 -x381
1800.01/1800.51 v -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 x370 -x369 x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360
1800.01/1800.51 v -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339
1800.01/1800.51 v -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 x321 -x320 -x319 -x318
1800.01/1800.51 v -x317 -x316 -x315 -x314 -x313 x312 -x311 -x310 -x309 -x308 -x307 x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296
1800.01/1800.51 v -x295 -x294 -x293 -x292 -x291 x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275
1800.01/1800.51 v -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255
1800.01/1800.51 v -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234
1800.01/1800.51 v -x233 -x232 -x231 x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 x218 -x217 -x216 -x215 -x214 -x213
1800.01/1800.51 v -x212 -x211 -x210 -x209 -x208 x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 x199 -x198 -x197 -x196 x195 -x194 -x193 -x192 -x191
1800.01/1800.51 v -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 x178 -x177 -x176 x175 -x174 -x173 x172 -x171 -x170
1800.01/1800.51 v x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149
1800.01/1800.51 v -x148 x147 x146 -x145 -x144 x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 -x127
1800.01/1800.51 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107
1800.01/1800.51 v -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83
1800.01/1800.51 v -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 x60 -x59 -x58
1800.01/1800.51 v -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 x35 -x34 -x33
1800.01/1800.51 v -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 x21 -x20 -x19 -x18 x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 x9 -x8 -x7 -x6
1800.01/1800.51 v -x5 x4 -x3 -x2 -x1
1800.01/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.51 c Solving Time : 1744.25
1800.01/1800.51 c Original Problem :
1800.01/1800.51 c Problem name : HOME/instance-2665642-1276596452.opb
1800.01/1800.51 c Variables : 1226 (1226 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.51 c Constraints : 4208 initial, 4208 maximal
1800.01/1800.51 c Presolved Problem :
1800.01/1800.51 c Problem name : t_HOME/instance-2665642-1276596452.opb
1800.01/1800.51 c Variables : 1226 (1226 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.51 c Constraints : 4174 initial, 255559 maximal
1800.01/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c probing : 0.02 0 0 0 0 0 0 0 0
1800.01/1800.51 c linear : 0.06 0 0 0 0 0 34 2 0
1800.01/1800.51 c logicor : 0.08 0 0 0 0 0 0 0 0
1800.01/1800.51 c root node : - 0 - - 0 - - - -
1800.01/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.51 c integral : 0 0 0 1 0 0 0 0 0 2
1800.01/1800.51 c logicor : 4174+ 14 4940082 0 0 808226 6568420 0 0 0
1800.01/1800.51 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.51 c integral : 4.87 0.00 0.00 4.87 0.00
1800.01/1800.51 c logicor : 651.36 0.00 651.36 0.00 0.00
1800.01/1800.51 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.51 c vbounds : 3.94 2 0 0
1800.01/1800.51 c rootredcost : 3.58 0 0 0
1800.01/1800.51 c pseudoobj : 799.55 8196210 530627 23263072
1800.01/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.51 c propagation : 935.37 1338853 1338853 1338853 136.3 268489 17.1 -
1800.01/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.51 c pseudo solution : 2.99 3752 3752 3752 132.2 829 19.5 -
1800.01/1800.51 c applied globally : - - - 465985 58.9 - - -
1800.01/1800.51 c applied locally : - - - 1144276 139.8 - - -
1800.01/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.51 c cut pool : 0.04 13 - - 164 - (maximal pool size: 915)
1800.01/1800.51 c redcost : 0.00 15 0 0 0 0
1800.01/1800.51 c impliedbounds : 0.01 15 0 0 0 0
1800.01/1800.51 c intobj : 0.00 0 0 0 0 0
1800.01/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.51 c gomory : 17.11 15 0 0 3765 0
1800.01/1800.51 c strongcg : 12.13 15 0 0 5003 0
1800.01/1800.51 c cmir : 0.36 10 0 0 1 0
1800.01/1800.51 c flowcover : 0.61 10 0 0 0 0
1800.01/1800.51 c clique : 0.00 1 0 0 0 0
1800.01/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.51 c mcf : 0.01 1 0 0 0 0
1800.01/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.01/1800.51 c Pricers : Time Calls Vars
1800.01/1800.51 c problem variables: 0.00 0 0
1800.01/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.51 c relpscost : 4.87 1 0 0 0 0 2
1800.01/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.51 c inference : 36.91 1488262 0 0 0 0 2976524
1800.01/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.51 c random : 0.00 0 0 0 0 0 0
1800.01/1800.51 c Primal Heuristics : Time Calls Found
1800.01/1800.51 c LP solutions : 0.00 - 0
1800.01/1800.51 c pseudo solutions : 0.00 - 0
1800.01/1800.51 c crossover : 0.00 0 0
1800.01/1800.51 c oneopt : 1.12 4 2
1800.01/1800.51 c trivial : 0.01 2 4
1800.01/1800.51 c simplerounding : 0.00 0 0
1800.01/1800.51 c zirounding : 0.00 1 0
1800.01/1800.51 c rounding : 0.06 14 0
1800.01/1800.51 c shifting : 0.06 14 0
1800.01/1800.51 c intshifting : 0.00 0 0
1800.01/1800.51 c twoopt : 0.00 0 0
1800.01/1800.51 c fixandinfer : 0.00 0 0
1800.01/1800.51 c feaspump : 0.00 0 0
1800.01/1800.51 c coefdiving : 0.00 0 0
1800.01/1800.51 c pscostdiving : 0.00 0 0
1800.01/1800.51 c fracdiving : 0.00 0 0
1800.01/1800.51 c veclendiving : 0.00 0 0
1800.01/1800.51 c intdiving : 0.00 0 0
1800.01/1800.51 c actconsdiving : 0.00 0 0
1800.01/1800.51 c objpscostdiving : 0.00 0 0
1800.01/1800.51 c rootsoldiving : 0.00 0 0
1800.01/1800.51 c linesearchdiving : 0.00 0 0
1800.01/1800.51 c guideddiving : 0.00 0 0
1800.01/1800.51 c octane : 0.00 0 0
1800.01/1800.51 c rens : 4.27 1 1
1800.01/1800.51 c rins : 0.00 0 0
1800.01/1800.51 c localbranching : 0.00 0 0
1800.01/1800.51 c mutation : 0.00 0 0
1800.01/1800.51 c dins : 0.00 0 0
1800.01/1800.51 c undercover : 0.00 0 0
1800.01/1800.51 c nlp : 1.35 0 0
1800.01/1800.51 c trysol : 0.98 0 0
1800.01/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.51 c primal LP : 0.01 0 0 0.00 0.00
1800.01/1800.51 c dual LP : 3.73 14 7323 523.07 1963.27
1800.01/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.01/1800.51 c strong branching : 4.87 18 9031 501.72 1854.41
1800.01/1800.51 c (at root node) : - 18 9031 501.72 -
1800.01/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.51 c B&B Tree :
1800.01/1800.51 c number of runs : 1
1800.01/1800.51 c nodes : 2138294
1800.01/1800.51 c nodes (total) : 2138294
1800.01/1800.51 c nodes left : 267
1800.01/1800.51 c max depth : 306
1800.01/1800.51 c max depth (total): 306
1800.01/1800.51 c backtracks : 793787 (37.1%)
1800.01/1800.51 c delayed cutoffs : 830496
1800.01/1800.51 c repropagations : 1723344 (15209471 domain reductions, 692574 cutoffs)
1800.01/1800.51 c avg switch length: 2.53
1800.01/1800.51 c switching time : 72.58
1800.01/1800.51 c Solution :
1800.01/1800.51 c Solutions found : 7 (6 improvements)
1800.01/1800.51 c First Solution : +1.22600000000000e+03 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.01/1800.51 c Primal Bound : +7.60000000000000e+01 (in run 1, after 1 nodes, 35.55 seconds, depth 0, found by <rens>)
1800.01/1800.51 c Dual Bound : +6.09329284489753e+01
1800.01/1800.51 c Gap : 24.73 %
1800.01/1800.51 c Root Dual Bound : +6.08367603505778e+01
1800.01/1800.51 c Root Iterations : 7323
1800.30/1800.83 c Time complete: 1800.34.