0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
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-2703437-1278554113.opb>
0.09/0.12 c original problem has 2630 variables (2630 bin, 0 int, 0 impl, 0 cont) and 6569 constraints
0.09/0.12 c problem read
0.09/0.12 c presolving settings loaded
0.09/0.16 c presolving:
0.19/0.28 c (round 1) 0 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6445 upgd conss, 5606 impls, 0 clqs
0.29/0.30 c (round 2) 0 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6446 upgd conss, 5606 impls, 0 clqs
0.29/0.32 c (round 3) 0 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6447 upgd conss, 5606 impls, 0 clqs
0.39/0.40 c (round 4) 50 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6447 upgd conss, 7068 impls, 0 clqs
0.39/0.42 c (round 5) 53 del vars, 177 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6447 upgd conss, 7106 impls, 0 clqs
0.39/0.43 c (round 6) 53 del vars, 179 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6447 upgd conss, 7106 impls, 0 clqs
0.59/0.64 c (round 7) 103 del vars, 179 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6447 upgd conss, 27294 impls, 0 clqs
0.59/0.65 c (round 8) 103 del vars, 229 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6447 upgd conss, 27294 impls, 0 clqs
0.79/0.80 c (round 9) 153 del vars, 229 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6447 upgd conss, 46750 impls, 0 clqs
0.79/0.82 c (round 10) 153 del vars, 279 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6447 upgd conss, 46750 impls, 0 clqs
0.89/0.97 c (0.9s) probing: 548/2630 (20.8%) - 2 fixings, 183 aggregations, 12557 implications, 0 bound changes
0.89/0.97 c (0.9s) probing aborted: 100/100 successive totally useless probings
0.89/0.97 c (round 11) 188 del vars, 279 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6447 upgd conss, 48352 impls, 0 clqs
0.89/0.98 c (round 12) 188 del vars, 314 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6447 upgd conss, 48352 impls, 0 clqs
1.00/1.00 c (0.9s) probing: 558/2630 (21.2%) - 2 fixings, 183 aggregations, 12557 implications, 0 bound changes
1.00/1.00 c (0.9s) probing aborted: 100/100 successive totally useless probings
1.00/1.00 c presolving (13 rounds):
1.00/1.00 c 188 deleted vars, 314 deleted constraints, 0 tightened bounds, 0 added holes, 122 changed sides, 0 changed coefficients
1.00/1.00 c 48352 implications, 0 cliques
1.00/1.00 c presolved problem has 2442 variables (2442 bin, 0 int, 0 impl, 0 cont) and 6255 constraints
1.00/1.00 c 1497 constraints of type <setppc>
1.00/1.00 c 4758 constraints of type <logicor>
1.00/1.00 c transformed objective value is always integral (scale: 1)
1.00/1.00 c Presolving Time: 0.86
1.00/1.00 c - non default parameters ----------------------------------------------------------------------
1.00/1.00 c # SCIP version 1.2.1.3
1.00/1.00 c
1.00/1.00 c # frequency for displaying node information lines
1.00/1.00 c # [type: int, range: [-1,2147483647], default: 100]
1.00/1.00 c display/freq = 10000
1.00/1.00 c
1.00/1.00 c # maximal time in seconds to run
1.00/1.00 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.00/1.01 c limits/time = 1789.89
1.00/1.01 c
1.00/1.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.00/1.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.00/1.01 c limits/memory = 1620
1.00/1.01 c
1.00/1.01 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.00/1.01 c # [type: int, range: [1,2], default: 1]
1.00/1.01 c timing/clocktype = 2
1.00/1.01 c
1.00/1.01 c # should presolving try to simplify inequalities
1.00/1.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.01 c constraints/linear/simplifyinequalities = TRUE
1.00/1.01 c
1.00/1.01 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.00/1.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.01 c constraints/indicator/addCouplingCons = TRUE
1.00/1.01 c
1.00/1.01 c # should presolving try to simplify knapsacks
1.00/1.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.01 c constraints/knapsack/simplifyinequalities = TRUE
1.00/1.01 c
1.00/1.01 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.00/1.01 c # [type: int, range: [-1,2147483647], default: -1]
1.00/1.01 c separating/rapidlearning/freq = 0
1.00/1.01 c
1.00/1.01 c -----------------------------------------------------------------------------------------------
1.00/1.01 c start solving
1.00/1.01 c
4.09/4.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.09/4.14 c 4.0s| 1 | 0 | 4788 | - | 13M| 0 |1695 |2442 |6255 |2442 |6253 | 0 | 0 | 0 | 7.898000e+02 | -- | Inf
18.38/18.49 c 18.4s| 1 | 0 | 14014 | - | 19M| 0 |2209 |2442 |7205 |2442 |7088 | 835 | 0 | 0 | 8.156440e+02 | -- | Inf
20.69/20.79 c 20.7s| 1 | 0 | 15410 | - | 23M| 0 |1519 |2442 |7205 |2442 |7121 | 868 | 0 | 0 | 8.209308e+02 | -- | Inf
22.79/22.81 c 22.7s| 1 | 0 | 16497 | - | 25M| 0 |1542 |2442 |7205 |2442 |7152 | 899 | 0 | 0 | 8.249182e+02 | -- | Inf
25.29/25.34 c 25.2s| 1 | 0 | 17876 | - | 28M| 0 |1570 |2442 |7205 |2442 |7192 | 939 | 0 | 0 | 8.279200e+02 | -- | Inf
28.08/28.17 c 28.1s| 1 | 0 | 19421 | - | 29M| 0 |1632 |2442 |7205 |2442 |7227 | 974 | 0 | 0 | 8.309069e+02 | -- | Inf
31.08/31.14 c 31.0s| 1 | 0 | 20976 | - | 31M| 0 |1597 |2442 |7205 |2442 |7259 |1006 | 0 | 0 | 8.336094e+02 | -- | Inf
35.57/35.69 c 35.6s| 1 | 0 | 23354 | - | 35M| 0 |1629 |2442 |7205 |2442 |7300 |1047 | 0 | 0 | 8.353822e+02 | -- | Inf
38.57/38.62 c 38.5s| 1 | 0 | 24544 | - | 40M| 0 |1653 |2442 |7205 |2442 |7317 |1064 | 0 | 0 | 8.362974e+02 | -- | Inf
44.57/44.65 c 44.5s| 1 | 0 | 26329 | - | 44M| 0 |1737 |2442 |7205 |2442 |7338 |1085 | 0 | 0 | 8.382793e+02 | -- | Inf
49.96/50.02 c 49.9s| 1 | 0 | 28338 | - | 45M| 0 |2057 |2442 |7205 |2442 |7370 |1117 | 0 | 0 | 8.419373e+02 | -- | Inf
56.86/56.96 c 56.8s| 1 | 0 | 30521 | - | 47M| 0 |2075 |2442 |7205 |2442 |7403 |1150 | 0 | 0 | 8.448342e+02 | -- | Inf
65.86/65.94 c 65.8s| 1 | 0 | 33053 | - | 49M| 0 |2053 |2442 |7205 |2442 |7432 |1179 | 0 | 0 | 8.489736e+02 | -- | Inf
72.66/72.79 c 72.7s| 1 | 0 | 35393 | - | 54M| 0 |1616 |2442 |7205 |2442 |7458 |1205 | 0 | 0 | 8.505441e+02 | -- | Inf
84.15/84.20 c 84.1s| 1 | 0 | 39935 | - | 59M| 0 |1723 |2442 |7205 |2442 |6664 |1238 | 0 | 0 | 8.531956e+02 | -- | Inf
90.75/90.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
90.75/90.83 c 90.7s| 1 | 0 | 42863 | - | 60M| 0 |1666 |2442 |7205 |2442 |6699 |1273 | 0 | 0 | 8.549478e+02 | -- | Inf
97.85/97.96 c 97.8s| 1 | 0 | 45995 | - | 63M| 0 |1763 |2442 |7205 |2442 |6729 |1303 | 0 | 0 | 8.565812e+02 | -- | Inf
103.85/103.96 c 104s| 1 | 0 | 48508 | - | 68M| 0 |1706 |2442 |7205 |2442 |6759 |1333 | 0 | 0 | 8.582714e+02 | -- | Inf
111.94/112.07 c 112s| 1 | 0 | 51586 | - | 71M| 0 |1759 |2442 |7205 |2442 |6795 |1369 | 0 | 0 | 8.596570e+02 | -- | Inf
122.94/123.10 c 123s| 1 | 0 | 56077 | - | 76M| 0 |1756 |2442 |7205 |2442 |6829 |1403 | 0 | 0 | 8.624027e+02 | -- | Inf
135.93/136.05 c 136s| 1 | 0 | 60230 | - | 77M| 0 |1698 |2442 |7205 |2442 |6772 |1463 | 0 | 0 | 8.816104e+02 | -- | Inf
139.03/139.13 c 139s| 1 | 0 | 61970 | - | 79M| 0 |1652 |2442 |7205 |2442 |6804 |1495 | 0 | 0 | 8.835558e+02 | -- | Inf
142.13/142.29 c 142s| 1 | 0 | 63522 | - | 81M| 0 |1711 |2442 |7205 |2442 |6833 |1524 | 0 | 0 | 8.846635e+02 | -- | Inf
147.92/148.05 c 148s| 1 | 0 | 65848 | - | 82M| 0 |1707 |2442 |7205 |2442 |6876 |1567 | 0 | 0 | 8.880933e+02 | -- | Inf
155.23/155.33 c 155s| 1 | 0 | 68741 | - | 84M| 0 |1699 |2442 |7205 |2442 |6917 |1608 | 0 | 0 | 8.978503e+02 | -- | Inf
163.13/163.29 c 163s| 1 | 0 | 71871 | - | 86M| 0 |1715 |2442 |7205 |2442 |6957 |1648 | 0 | 0 | 9.043246e+02 | -- | Inf
173.02/173.16 c 173s| 1 | 0 | 75795 | - | 87M| 0 |1689 |2442 |7205 |2442 |6857 |1699 | 0 | 0 | 9.098102e+02 | -- | Inf
179.42/179.51 c 179s| 1 | 0 | 78601 | - | 87M| 0 |1776 |2442 |7205 |2442 |6921 |1763 | 0 | 0 | 9.233769e+02 | -- | Inf
184.02/184.12 c 184s| 1 | 0 | 80467 | - | 89M| 0 |1743 |2442 |7205 |2442 |6957 |1799 | 0 | 0 | 9.261549e+02 | -- | Inf
187.92/188.03 c 188s| 1 | 0 | 82345 | - | 90M| 0 |1764 |2442 |7205 |2442 |7007 |1849 | 0 | 0 | 9.292724e+02 | -- | Inf
195.82/195.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
195.82/195.96 c 196s| 1 | 0 | 86070 | - | 90M| 0 |1958 |2442 |7205 |2442 |7059 |1901 | 0 | 0 | 9.347358e+02 | -- | Inf
201.21/201.33 c 201s| 1 | 0 | 88274 | - | 92M| 0 |1951 |2442 |7205 |2442 |7085 |1927 | 0 | 0 | 9.365244e+02 | -- | Inf
211.91/212.02 c 212s| 1 | 0 | 92752 | - | 93M| 0 |1888 |2442 |7205 |2442 |6999 |1995 | 0 | 0 | 9.514420e+02 | -- | Inf
215.90/216.08 c 216s| 1 | 0 | 94594 | - | 93M| 0 |1902 |2442 |7205 |2442 |7040 |2036 | 0 | 0 | 9.531512e+02 | -- | Inf
222.20/222.36 c 222s| 1 | 0 | 97809 | - | 95M| 0 |1968 |2442 |7205 |2442 |7077 |2073 | 0 | 0 | 9.540828e+02 | -- | Inf
230.40/230.57 c 230s| 1 | 0 |101151 | - | 96M| 0 |1764 |2442 |7205 |2442 |7126 |2122 | 0 | 0 | 9.653257e+02 | -- | Inf
234.70/234.85 c 235s| 1 | 0 |103006 | - | 97M| 0 |1753 |2442 |7205 |2442 |7182 |2178 | 0 | 0 | 9.707357e+02 | -- | Inf
240.10/240.28 c 240s| 1 | 0 |105366 | - | 98M| 0 |1798 |2442 |7205 |2442 |7241 |2237 | 0 | 0 | 9.744288e+02 | -- | Inf
246.50/246.64 c 247s| 1 | 0 |107679 | - | 99M| 0 |1836 |2442 |7205 |2442 |7062 |2283 | 0 | 0 | 9.806354e+02 | -- | Inf
252.90/253.09 c 253s| 1 | 0 |110271 | - | 100M| 0 |1829 |2442 |7205 |2442 |7100 |2321 | 0 | 0 | 9.823281e+02 | -- | Inf
259.40/259.58 c 259s| 1 | 0 |113039 | - | 102M| 0 |1900 |2442 |7205 |2442 |7135 |2356 | 0 | 0 | 9.830648e+02 | -- | Inf
267.20/267.31 c 267s| 1 | 0 |116175 | - | 103M| 0 |1968 |2442 |7205 |2442 |7194 |2415 | 0 | 0 | 9.875909e+02 | -- | Inf
274.58/274.77 c 275s| 1 | 0 |119456 | - | 104M| 0 |1968 |2442 |7205 |2442 |7239 |2460 | 0 | 0 | 9.901629e+02 | -- | Inf
280.19/280.35 c 280s| 1 | 0 |121892 | - | 107M| 0 |1974 |2442 |7205 |2442 |7270 |2491 | 0 | 0 | 9.911012e+02 | -- | Inf
288.49/288.69 c 289s| 1 | 0 |125088 | - | 107M| 0 |2010 |2442 |7205 |2442 |7100 |2541 | 0 | 0 | 9.944266e+02 | -- | Inf
298.88/299.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
298.88/299.01 c 299s| 1 | 0 |129367 | - | 108M| 0 |1993 |2442 |7205 |2442 |7167 |2608 | 0 | 0 | 1.007380e+03 | -- | Inf
307.08/307.23 c 307s| 1 | 0 |133010 | - | 109M| 0 |1878 |2442 |7205 |2442 |7219 |2660 | 0 | 0 | 1.013612e+03 | -- | Inf
312.07/312.29 c 312s| 1 | 0 |135472 | - | 111M| 0 |1913 |2442 |7205 |2442 |7264 |2705 | 0 | 0 | 1.016103e+03 | -- | Inf
317.67/317.84 c 318s| 1 | 0 |138037 | - | 113M| 0 |1943 |2442 |7205 |2442 |7305 |2746 | 0 | 0 | 1.017838e+03 | -- | Inf
326.48/326.60 c 326s| 1 | 0 |141452 | - | 114M| 0 |1918 |2442 |7205 |2442 |7370 |2811 | 0 | 0 | 1.026477e+03 | -- | Inf
332.67/332.84 c 333s| 1 | 0 |144308 | - | 115M| 0 |1950 |2442 |7205 |2442 |7186 |2851 | 0 | 0 | 1.028669e+03 | -- | Inf
338.16/338.37 c 338s| 1 | 0 |146763 | - | 116M| 0 |2040 |2442 |7205 |2442 |7219 |2884 | 0 | 0 | 1.030196e+03 | -- | Inf
348.45/348.66 c 349s| 1 | 0 |150875 | - | 117M| 0 |1914 |2442 |7205 |2442 |7279 |2944 | 0 | 0 | 1.042488e+03 | -- | Inf
352.85/353.05 c 353s| 1 | 0 |152681 | - | 118M| 0 |1895 |2442 |7205 |2442 |7314 |2979 | 0 | 0 | 1.043737e+03 | -- | Inf
359.84/360.05 c 360s| 1 | 0 |156177 | - | 120M| 0 |1850 |2442 |7205 |2442 |7348 |3013 | 0 | 0 | 1.045485e+03 | -- | Inf
364.54/364.76 c 365s| 1 | 0 |158500 | - | 121M| 0 |1893 |2442 |7205 |2442 |7394 |3059 | 0 | 0 | 1.048264e+03 | -- | Inf
370.14/370.30 c 370s| 1 | 0 |160781 | - | 123M| 0 |1937 |2442 |7205 |2442 |7201 |3096 | 0 | 0 | 1.049722e+03 | -- | Inf
376.24/376.49 c 376s| 1 | 0 |163645 | - | 124M| 0 |1955 |2442 |7205 |2442 |7250 |3145 | 0 | 0 | 1.051722e+03 | -- | Inf
387.04/387.25 c 387s| 1 | 0 |168122 | - | 126M| 0 |2023 |2442 |7205 |2442 |7303 |3198 | 0 | 0 | 1.055403e+03 | -- | Inf
395.63/395.84 c 396s| 1 | 0 |171810 | - | 129M| 0 |1983 |2442 |7205 |2442 |7354 |3249 | 0 | 0 | 1.059283e+03 | -- | Inf
402.22/402.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
402.22/402.49 c 402s| 1 | 0 |174259 | - | 130M| 0 |1982 |2442 |7205 |2442 |7401 |3296 | 0 | 0 | 1.061750e+03 | -- | Inf
407.22/407.42 c 407s| 1 | 0 |176036 | - | 132M| 0 |1987 |2442 |7205 |2442 |7453 |3348 | 0 | 0 | 1.065034e+03 | -- | Inf
415.55/415.98 c 416s| 1 | 0 |179050 | - | 133M| 0 |2019 |2442 |7205 |2442 |7271 |3403 | 0 | 0 | 1.068449e+03 | -- | Inf
420.95/421.35 c 421s| 1 | 0 |181692 | - | 134M| 0 |1873 |2442 |7205 |2442 |7313 |3445 | 0 | 0 | 1.069314e+03 | -- | Inf
430.04/430.46 c 430s| 1 | 0 |185707 | - | 136M| 0 |1980 |2442 |7205 |2442 |7372 |3504 | 0 | 0 | 1.078779e+03 | -- | Inf
436.35/436.74 c 437s| 1 | 0 |188472 | - | 137M| 0 |1895 |2442 |7205 |2442 |7417 |3549 | 0 | 0 | 1.081928e+03 | -- | Inf
446.33/446.70 c 447s| 1 | 0 |193082 | - | 139M| 0 |1902 |2442 |7205 |2442 |7456 |3588 | 0 | 0 | 1.084254e+03 | -- | Inf
454.73/455.12 c 455s| 1 | 0 |196595 | - | 140M| 0 |2052 |2442 |7205 |2442 |7498 |3630 | 0 | 0 | 1.086509e+03 | -- | Inf
465.22/465.65 c 466s| 1 | 0 |200954 | - | 141M| 0 |1899 |2442 |7205 |2442 |7361 |3693 | 0 | 0 | 1.100509e+03 | -- | Inf
471.02/471.40 c 471s| 1 | 0 |203271 | - | 141M| 0 |1995 |2442 |7205 |2442 |7404 |3736 | 0 | 0 | 1.101700e+03 | -- | Inf
478.52/478.90 c 479s| 1 | 0 |206429 | - | 142M| 0 |2112 |2442 |7205 |2442 |7452 |3784 | 0 | 0 | 1.103140e+03 | -- | Inf
487.41/487.86 c 488s| 1 | 0 |209959 | - | 143M| 0 |2051 |2442 |7205 |2442 |7485 |3817 | 0 | 0 | 1.106579e+03 | -- | Inf
494.22/494.69 c 495s| 1 | 0 |212889 | - | 146M| 0 |2081 |2442 |7205 |2442 |7521 |3853 | 0 | 0 | 1.108914e+03 | -- | Inf
501.52/501.95 c 502s| 1 | 0 |215485 | - | 147M| 0 |2071 |2442 |7205 |2442 |7564 |3896 | 0 | 0 | 1.109923e+03 | -- | Inf
511.31/511.77 c 512s| 1 | 0 |219150 | - | 148M| 0 |1945 |2442 |7205 |2442 |7352 |3947 | 0 | 0 | 1.116647e+03 | -- | Inf
515.70/516.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
515.70/516.18 c 516s| 1 | 0 |221277 | - | 150M| 0 |2012 |2442 |7205 |2442 |7395 |3990 | 0 | 0 | 1.117662e+03 | -- | Inf
520.60/521.09 c 521s| 1 | 0 |223601 | - | 151M| 0 |2038 |2442 |7205 |2442 |7433 |4028 | 0 | 0 | 1.118013e+03 | -- | Inf
526.10/526.55 c 526s| 1 | 0 |226084 | - | 151M| 0 |1979 |2442 |7205 |2442 |7482 |4077 | 0 | 0 | 1.121524e+03 | -- | Inf
531.91/532.36 c 532s| 1 | 0 |228757 | - | 153M| 0 |2064 |2442 |7205 |2442 |7527 |4122 | 0 | 0 | 1.122490e+03 | -- | Inf
540.60/541.06 c 541s| 1 | 0 |232449 | - | 154M| 0 |1985 |2442 |7205 |2442 |7576 |4171 | 0 | 0 | 1.127513e+03 | -- | Inf
549.90/550.34 c 550s| 1 | 0 |236794 | - | 155M| 0 |2013 |2442 |7205 |2442 |7378 |4211 | 0 | 0 | 1.129785e+03 | -- | Inf
557.30/557.77 c 558s| 1 | 0 |240018 | - | 155M| 0 |1918 |2442 |7205 |2442 |7429 |4262 | 0 | 0 | 1.134027e+03 | -- | Inf
566.89/567.37 c 567s| 1 | 0 |245112 | - | 157M| 0 |1967 |2442 |7205 |2442 |7484 |4317 | 0 | 0 | 1.137171e+03 | -- | Inf
575.29/575.70 c 576s| 1 | 0 |248760 | - | 158M| 0 |1987 |2442 |7205 |2442 |7536 |4369 | 0 | 0 | 1.140871e+03 | -- | Inf
581.68/582.12 c 582s| 1 | 0 |251556 | - | 159M| 0 |2117 |2442 |7205 |2442 |7581 |4414 | 0 | 0 | 1.143915e+03 | -- | Inf
591.18/591.63 c 592s| 1 | 0 |255425 | - | 159M| 0 |2112 |2442 |7205 |2442 |7635 |4468 | 0 | 0 | 1.149265e+03 | -- | Inf
597.07/597.54 c 597s| 1 | 0 |257964 | - | 160M| 0 |2108 |2442 |7205 |2442 |7443 |4500 | 0 | 0 | 1.152112e+03 | -- | Inf
602.08/602.51 c 602s| 1 | 0 |260886 | - | 161M| 0 |2132 |2442 |7205 |2442 |7478 |4535 | 0 | 0 | 1.153592e+03 | -- | Inf
608.88/609.31 c 609s| 1 | 0 |263615 | - | 161M| 0 |2011 |2442 |7205 |2442 |7520 |4577 | 0 | 0 | 1.157527e+03 | -- | Inf
613.97/614.49 c 614s| 1 | 0 |266328 | - | 162M| 0 |2002 |2442 |7205 |2442 |7568 |4625 | 0 | 0 | 1.159680e+03 | -- | Inf
619.17/619.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
619.17/619.63 c 620s| 1 | 0 |269094 | - | 163M| 0 |2081 |2442 |7205 |2442 |7613 |4670 | 0 | 0 | 1.161105e+03 | -- | Inf
625.16/625.63 c 626s| 1 | 0 |272247 | - | 164M| 0 |2096 |2442 |7205 |2442 |7642 |4699 | 0 | 0 | 1.162006e+03 | -- | Inf
634.37/634.82 c 635s| 1 | 0 |276577 | - | 164M| 0 |2123 |2442 |7205 |2442 |7407 |4725 | 0 | 0 | 1.162272e+03 | -- | Inf
639.16/639.67 c 640s| 1 | 0 |278309 | - | 165M| 0 |1986 |2442 |7205 |2442 |7438 |4756 | 0 | 0 | 1.163684e+03 | -- | Inf
643.57/644.02 c 644s| 1 | 0 |280782 | - | 166M| 0 |1999 |2442 |7205 |2442 |7476 |4794 | 0 | 0 | 1.164212e+03 | -- | Inf
655.36/655.83 c 656s| 1 | 0 |285829 | - | 167M| 0 |2074 |2442 |7205 |2442 |7516 |4834 | 0 | 0 | 1.166250e+03 | -- | Inf
664.45/664.98 c 665s| 1 | 0 |290142 | - | 167M| 0 |2029 |2442 |7205 |2442 |7561 |4879 | 0 | 0 | 1.168074e+03 | -- | Inf
672.85/673.32 c 673s| 1 | 0 |293829 | - | 168M| 0 |2090 |2442 |7205 |2442 |7599 |4917 | 0 | 0 | 1.170951e+03 | -- | Inf
683.05/683.56 c 683s| 1 | 0 |298783 | - | 169M| 0 |2085 |2442 |7205 |2442 |7399 |4949 | 0 | 0 | 1.172763e+03 | -- | Inf
687.14/687.67 c 688s| 1 | 0 |301154 | - | 169M| 0 |2088 |2442 |7205 |2442 |7428 |4978 | 0 | 0 | 1.173474e+03 | -- | Inf
694.15/694.63 c 695s| 1 | 0 |304603 | - | 171M| 0 |2029 |2442 |7205 |2442 |7456 |5006 | 0 | 0 | 1.175270e+03 | -- | Inf
701.14/701.64 c 702s| 1 | 0 |308078 | - | 171M| 0 |1977 |2442 |7205 |2442 |7504 |5054 | 0 | 0 | 1.178014e+03 | -- | Inf
705.34/705.85 c 706s| 1 | 0 |310569 | - | 169M| 0 |2032 |2442 |7205 |2442 |7552 |5102 | 0 | 0 | 1.179650e+03 | -- | Inf
712.34/712.84 c 713s| 1 | 0 |313944 | - | 166M| 0 |2093 |2442 |7205 |2442 |7589 |5139 | 0 | 0 | 1.182500e+03 | -- | Inf
717.64/718.18 c 718s| 1 | 0 |317087 | - | 165M| 0 |2066 |2442 |7205 |2442 |7479 |5174 | 0 | 0 | 1.184795e+03 | -- | Inf
723.84/724.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
723.84/724.34 c 724s| 1 | 0 |319259 | - | 163M| 0 |1993 |2442 |7205 |2442 |7524 |5219 | 0 | 0 | 1.188587e+03 | -- | Inf
727.14/727.64 c 728s| 1 | 0 |321025 | - | 163M| 0 |2012 |2442 |7205 |2442 |7549 |5244 | 0 | 0 | 1.189334e+03 | -- | Inf
732.23/732.71 c 733s| 1 | 0 |323327 | - | 161M| 0 |2064 |2442 |7205 |2442 |7576 |5271 | 0 | 0 | 1.190419e+03 | -- | Inf
740.13/740.66 c 741s| 1 | 0 |327024 | - | 158M| 0 |2044 |2442 |7205 |2442 |7627 |5322 | 0 | 0 | 1.193350e+03 | -- | Inf
744.53/745.01 c 745s| 1 | 0 |329370 | - | 154M| 0 |2007 |2442 |7205 |2442 |7668 |5363 | 0 | 0 | 1.196463e+03 | -- | Inf
749.23/749.70 c 750s| 1 | 0 |331665 | - | 151M| 0 |2003 |2442 |7205 |2442 |7486 |5384 | 0 | 0 | 1.197454e+03 | -- | Inf
753.63/754.10 c 754s| 1 | 0 |333870 | - | 151M| 0 |2013 |2442 |7205 |2442 |7518 |5416 | 0 | 0 | 1.198439e+03 | -- | Inf
759.12/759.69 c 760s| 1 | 0 |336782 | - | 150M| 0 |2027 |2442 |7205 |2442 |7543 |5441 | 0 | 0 | 1.199812e+03 | -- | Inf
763.93/764.43 c 764s| 1 | 0 |338745 | - | 150M| 0 |1982 |2442 |7205 |2442 |7573 |5471 | 0 | 0 | 1.200641e+03 | -- | Inf
771.93/772.40 c 772s| 1 | 0 |342582 | - | 145M| 0 |2007 |2442 |7205 |2442 |7618 |5516 | 0 | 0 | 1.203149e+03 | -- | Inf
777.82/778.36 c 778s| 1 | 0 |345856 | - | 141M| 0 |2081 |2442 |7205 |2442 |7650 |5548 | 0 | 0 | 1.204572e+03 | -- | Inf
781.81/782.33 c 782s| 1 | 0 |347790 | - | 140M| 0 |2100 |2442 |7205 |2442 |7466 |5572 | 0 | 0 | 1.205303e+03 | -- | Inf
787.61/788.16 c 788s| 1 | 0 |350259 | - | 138M| 0 |2065 |2442 |7205 |2442 |7488 |5594 | 0 | 0 | 1.206298e+03 | -- | Inf
793.01/793.59 c 793s| 1 | 0 |352463 | - | 133M| 0 |2078 |2442 |7205 |2442 |7522 |5628 | 0 | 0 | 1.207247e+03 | -- | Inf
797.51/798.09 c 798s| 1 | 0 |354343 | - | 131M| 0 |2024 |2442 |7205 |2442 |7540 |5646 | 0 | 0 | 1.208238e+03 | -- | Inf
803.41/803.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
803.41/803.97 c 804s| 1 | 0 |356912 | - | 126M| 0 |2056 |2442 |7205 |2442 |7574 |5680 | 0 | 0 | 1.209938e+03 | -- | Inf
808.11/808.66 c 809s| 1 | 0 |358802 | - | 125M| 0 |1974 |2442 |7205 |2442 |7598 |5704 | 0 | 0 | 1.211362e+03 | -- | Inf
811.31/811.89 c 812s| 1 | 0 |360476 | - | 124M| 0 |2030 |2442 |7205 |2442 |7425 |5709 | 0 | 0 | 1.211526e+03 | -- | Inf
816.60/817.11 c 817s| 1 | 0 |362813 | - | 122M| 0 |2056 |2442 |7205 |2442 |7441 |5725 | 0 | 0 | 1.212754e+03 | -- | Inf
821.01/821.51 c 821s| 1 | 0 |364216 | - | 121M| 0 |2072 |2442 |7205 |2442 |7460 |5744 | 0 | 0 | 1.213273e+03 | -- | Inf
825.51/826.10 c 826s| 1 | 0 |366039 | - | 120M| 0 |2037 |2442 |7205 |2442 |7485 |5769 | 0 | 0 | 1.213791e+03 | -- | Inf
831.60/832.15 c 832s| 1 | 0 |369011 | - | 119M| 0 |2003 |2442 |7205 |2442 |7516 |5800 | 0 | 0 | 1.214818e+03 | -- | Inf
836.90/837.49 c 837s| 1 | 0 |371904 | - | 118M| 0 |1927 |2442 |7205 |2442 |7541 |5825 | 0 | 0 | 1.216167e+03 | -- | Inf
840.29/840.89 c 841s| 1 | 0 |373719 | - | 118M| 0 |2026 |2442 |7205 |2442 |7404 |5854 | 0 | 0 | 1.217144e+03 | -- | Inf
845.31/845.88 c 846s| 1 | 0 |376214 | - | 117M| 0 |1986 |2442 |7205 |2442 |7440 |5890 | 0 | 0 | 1.219043e+03 | -- | Inf
847.90/848.46 c 848s| 1 | 0 |377698 | - | 117M| 0 |2010 |2442 |7205 |2442 |7469 |5919 | 0 | 0 | 1.219643e+03 | -- | Inf
853.40/853.97 c 854s| 1 | 0 |380703 | - | 118M| 0 |2009 |2442 |7205 |2442 |7495 |5945 | 0 | 0 | 1.220619e+03 | -- | Inf
859.59/860.10 c 860s| 1 | 0 |383998 | - | 116M| 0 |2021 |2442 |7205 |2442 |7532 |5982 | 0 | 0 | 1.223966e+03 | -- | Inf
865.69/866.23 c 866s| 1 | 0 |387260 | - | 116M| 0 |2083 |2442 |7205 |2442 |7562 |6012 | 0 | 0 | 1.226464e+03 | -- | Inf
873.49/874.04 c 874s| 1 | 0 |391371 | - | 116M| 0 |2090 |2442 |7205 |2442 |7489 |6037 | 0 | 0 | 1.226905e+03 | -- | Inf
878.29/878.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
878.29/878.82 c 879s| 1 | 0 |392931 | - | 115M| 0 |2098 |2442 |7205 |2442 |7521 |6069 | 0 | 0 | 1.227913e+03 | -- | Inf
884.38/884.96 c 885s| 1 | 0 |395287 | - | 114M| 0 |2031 |2442 |7205 |2442 |7542 |6090 | 0 | 0 | 1.228420e+03 | -- | Inf
890.28/890.83 c 891s| 1 | 0 |397852 | - | 113M| 0 |2083 |2442 |7205 |2442 |7568 |6116 | 0 | 0 | 1.228937e+03 | -- | Inf
896.48/897.04 c 897s| 1 | 0 |400454 | - | 113M| 0 |2110 |2442 |7205 |2442 |7590 |6138 | 0 | 0 | 1.230487e+03 | -- | Inf
902.18/902.77 c 903s| 1 | 0 |402830 | - | 112M| 0 |2048 |2442 |7205 |2442 |7617 |6165 | 0 | 0 | 1.231556e+03 | -- | Inf
909.77/910.37 c 910s| 1 | 0 |405950 | - | 111M| 0 |2003 |2442 |7205 |2442 |7518 |6188 | 0 | 0 | 1.232277e+03 | -- | Inf
914.17/914.78 c 915s| 1 | 0 |408072 | - | 110M| 0 |2046 |2442 |7205 |2442 |7542 |6212 | 0 | 0 | 1.233482e+03 | -- | Inf
919.77/920.36 c 920s| 1 | 0 |409793 | - | 109M| 0 |2035 |2442 |7205 |2442 |7553 |6223 | 0 | 0 | 1.233788e+03 | -- | Inf
926.17/926.76 c 927s| 1 | 0 |412598 | - | 108M| 0 |2068 |2442 |7205 |2442 |7576 |6246 | 0 | 0 | 1.234599e+03 | -- | Inf
930.26/930.86 c 931s| 1 | 0 |413672 | - | 106M| 0 |2052 |2442 |7205 |2442 |7585 |6255 | 0 | 0 | 1.234925e+03 | -- | Inf
937.97/938.51 c 938s| 1 | 0 |416987 | - | 105M| 0 |2082 |2442 |7205 |2442 |7609 |6279 | 0 | 0 | 1.235772e+03 | -- | Inf
948.46/949.02 c 949s| 1 | 0 |421777 | - | 105M| 0 |2119 |2442 |7205 |2442 |7511 |6313 | 0 | 0 | 1.237617e+03 | -- | Inf
954.46/955.04 c 955s| 1 | 0 |423600 | - | 104M| 0 |2091 |2442 |7205 |2442 |7523 |6325 | 0 | 0 | 1.238000e+03 | -- | Inf
960.95/961.56 c 961s| 1 | 0 |425453 | - | 102M| 0 |2083 |2442 |7205 |2442 |7535 |6337 | 0 | 0 | 1.238540e+03 | -- | Inf
964.56/965.10 c 965s| 1 | 0 |425623 | - | 101M| 0 |2084 |2442 |7205 |2442 |7542 |6344 | 0 | 0 | 1.238540e+03 | -- | Inf
968.26/968.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
968.26/968.88 c 969s| 1 | 0 |425672 | - | 100M| 0 |2080 |2442 |7205 |2442 |7545 |6347 | 0 | 0 | 1.238540e+03 | -- | Inf
971.76/972.40 c 972s| 1 | 0 |425765 | - | 99M| 0 |2080 |2442 |7205 |2442 |7549 |6351 | 0 | 0 | 1.238540e+03 | -- | Inf
975.25/975.84 c 976s| 1 | 0 |425766 | - | 97M| 0 |2080 |2442 |7205 |2442 |7432 |6352 | 0 | 0 | 1.238540e+03 | -- | Inf
979.15/979.75 c 980s| 1 | 0 |426038 | - | 96M| 0 |2086 |2442 |7205 |2442 |7433 |6353 | 0 | 0 | 1.238540e+03 | -- | Inf
985.85/986.47 c 986s| 1 | 2 |426038 | - | 96M| 0 |2086 |2442 |7205 |2442 |7433 |6353 | 0 | 11 | 1.238540e+03 | -- | Inf
1789.18/1790.02 c
1789.18/1790.02 c SCIP Status : solving was interrupted [time limit reached]
1789.18/1790.02 c Solving Time (sec) : 1789.90
1789.18/1790.02 c Solving Nodes : 66
1789.18/1790.02 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.18/1790.02 c Dual Bound : +1.23863803383309e+03
1789.18/1790.02 c Gap : infinite
1789.18/1790.02 s UNKNOWN
1789.18/1790.02 c SCIP Status : solving was interrupted [time limit reached]
1789.18/1790.02 c Solving Time : 1789.90
1789.18/1790.02 c Original Problem :
1789.18/1790.02 c Problem name : HOME/instance-2703437-1278554113.opb
1789.18/1790.02 c Variables : 2630 (2630 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.18/1790.02 c Constraints : 6569 initial, 6569 maximal
1789.18/1790.02 c Presolved Problem :
1789.18/1790.02 c Problem name : t_HOME/instance-2703437-1278554113.opb
1789.18/1790.02 c Variables : 2442 (2442 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.18/1790.02 c Constraints : 6255 initial, 7292 maximal
1789.18/1790.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.18/1790.02 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.18/1790.02 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.18/1790.02 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.18/1790.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.18/1790.02 c implics : 0.01 0 3 0 0 0 0 0 0
1789.18/1790.02 c probing : 0.53 2 183 0 0 0 0 0 0
1789.18/1790.02 c setppc : 0.04 0 0 0 0 0 190 0 0
1789.18/1790.02 c linear : 0.10 0 0 0 0 0 122 122 0
1789.18/1790.02 c logicor : 0.14 0 0 0 0 0 2 0 0
1789.18/1790.02 c root node : - 0 - - 0 - - - -
1789.18/1790.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.18/1790.02 c integral : 0 0 0 64 0 1 0 0 0 126
1789.18/1790.02 c setppc : 1497 153 7234 0 0 23 833 0 0 0
1789.18/1790.02 c linear : 0+ 153 3405 0 0 0 0 89 0 0
1789.18/1790.02 c logicor : 4758+ 153 5164 0 0 5 876 0 0 0
1789.18/1790.02 c countsols : 0 0 0 0 0 0 0 0 0 0
1789.18/1790.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.18/1790.02 c integral : 411.20 0.00 0.00 411.20 0.00
1789.18/1790.02 c setppc : 0.55 0.04 0.51 0.00 0.00
1789.18/1790.02 c linear : 0.48 0.27 0.21 0.00 0.00
1789.18/1790.02 c logicor : 0.17 0.10 0.07 0.00 0.00
1789.18/1790.02 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.18/1790.02 c Propagators : Time Calls Cutoffs DomReds
1789.18/1790.02 c vbounds : 0.00 2 0 0
1789.18/1790.02 c rootredcost : 0.00 0 0 0
1789.18/1790.02 c pseudoobj : 0.43 3579 0 0
1789.18/1790.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.18/1790.02 c propagation : 0.00 28 28 59 19.7 11 8.4 -
1789.18/1790.02 c infeasible LP : 0.01 8 8 26 22.7 0 0.0 0
1789.18/1790.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.18/1790.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.18/1790.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.18/1790.02 c applied globally : - - - 87 17.8 - - -
1789.18/1790.02 c applied locally : - - - 0 0.0 - - -
1789.18/1790.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.18/1790.02 c cut pool : 6.63 152 - - 4905 - (maximal pool size: 35428)
1789.18/1790.02 c redcost : 0.04 216 0 0 0 0
1789.18/1790.02 c impliedbounds : 0.19 153 0 0 1977 0
1789.18/1790.02 c intobj : 0.00 0 0 0 0 0
1789.18/1790.02 c cgmip : 0.00 0 0 0 0 0
1789.18/1790.02 c gomory : 236.77 153 0 0 68898 0
1789.18/1790.02 c strongcg : 14.39 20 0 0 10000 0
1789.18/1790.02 c cmir : 0.84 10 0 0 0 0
1789.18/1790.02 c flowcover : 0.85 10 0 0 0 0
1789.18/1790.02 c clique : 0.38 153 0 0 138 0
1789.18/1790.02 c zerohalf : 0.00 0 0 0 0 0
1789.18/1790.02 c mcf : 0.01 1 0 0 0 0
1789.18/1790.02 c rapidlearning : 3.84 1 0 0 0 950
1789.18/1790.02 c Pricers : Time Calls Vars
1789.18/1790.02 c problem variables: 0.00 0 0
1789.18/1790.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.18/1790.02 c relpscost : 411.20 64 1 0 0 0 126
1789.18/1790.02 c pscost : 0.00 0 0 0 0 0 0
1789.18/1790.02 c inference : 0.00 0 0 0 0 0 0
1789.18/1790.02 c mostinf : 0.00 0 0 0 0 0 0
1789.18/1790.02 c leastinf : 0.00 0 0 0 0 0 0
1789.18/1790.02 c fullstrong : 0.00 0 0 0 0 0 0
1789.18/1790.02 c allfullstrong : 0.00 0 0 0 0 0 0
1789.18/1790.02 c random : 0.00 0 0 0 0 0 0
1789.18/1790.02 c Primal Heuristics : Time Calls Found
1789.18/1790.02 c LP solutions : 0.00 - 0
1789.18/1790.02 c pseudo solutions : 0.00 - 0
1789.18/1790.02 c oneopt : 0.00 0 0
1789.18/1790.02 c crossover : 0.00 0 0
1789.18/1790.02 c linesearchdiving : 11.32 3 0
1789.18/1790.02 c objpscostdiving : 199.01 2 0
1789.18/1790.02 c trivial : 0.01 2 0
1789.18/1790.02 c simplerounding : 0.00 0 0
1789.18/1790.02 c zirounding : 0.07 63 0
1789.18/1790.02 c rounding : 0.30 131 0
1789.18/1790.02 c shifting : 2.30 100 0
1789.18/1790.02 c intshifting : 0.00 0 0
1789.18/1790.02 c twoopt : 0.00 0 0
1789.18/1790.02 c fixandinfer : 0.00 0 0
1789.18/1790.02 c feaspump : 6.37 1 0
1789.18/1790.02 c coefdiving : 9.92 2 0
1789.18/1790.02 c pscostdiving : 28.52 3 0
1789.18/1790.02 c fracdiving : 16.43 3 0
1789.18/1790.02 c veclendiving : 24.67 3 0
1789.18/1790.02 c intdiving : 0.00 0 0
1789.18/1790.02 c actconsdiving : 0.00 0 0
1789.18/1790.02 c rootsoldiving : 39.46 2 0
1789.18/1790.02 c guideddiving : 0.00 0 0
1789.18/1790.02 c octane : 0.00 0 0
1789.18/1790.02 c rens : 0.01 0 0
1789.18/1790.02 c rins : 0.00 0 0
1789.18/1790.02 c localbranching : 0.00 0 0
1789.18/1790.02 c mutation : 0.00 0 0
1789.18/1790.02 c dins : 0.00 0 0
1789.18/1790.02 c undercover : 0.00 0 0
1789.18/1790.02 c nlp : 0.00 0 0
1789.18/1790.02 c trysol : 0.00 0 0
1789.18/1790.02 c LP : Time Calls Iterations Iter/call Iter/sec
1789.18/1790.02 c primal LP : 0.33 0 0 0.00 0.00
1789.18/1790.02 c dual LP : 772.05 217 480437 2214.00 622.29
1789.18/1790.02 c lex dual LP : 0.00 0 0 0.00 -
1789.18/1790.02 c barrier LP : 0.00 0 0 0.00 -
1789.18/1790.02 c diving/probing LP: 330.41 1380 217611 157.69 658.60
1789.18/1790.02 c strong branching : 411.11 679 352528 519.19 857.51
1789.18/1790.02 c (at root node) : - 11 4132 375.64 -
1789.18/1790.02 c conflict analysis: 0.00 0 0 0.00 -
1789.18/1790.02 c B&B Tree :
1789.18/1790.02 c number of runs : 1
1789.18/1790.02 c nodes : 66
1789.18/1790.02 c nodes (total) : 66
1789.18/1790.02 c nodes left : 60
1789.18/1790.02 c max depth : 11
1789.18/1790.02 c max depth (total): 11
1789.18/1790.02 c backtracks : 20 (30.3%)
1789.18/1790.02 c delayed cutoffs : 1
1789.18/1790.02 c repropagations : 3 (10 domain reductions, 1 cutoffs)
1789.18/1790.02 c avg switch length: 3.00
1789.18/1790.02 c switching time : 0.05
1789.18/1790.02 c Solution :
1789.18/1790.02 c Solutions found : 0 (0 improvements)
1789.18/1790.02 c Primal Bound : -
1789.18/1790.02 c Dual Bound : +1.23863803383309e+03
1789.18/1790.02 c Gap : infinite
1789.18/1790.02 c Root Dual Bound : +1.23854047041078e+03
1789.18/1790.02 c Root Iterations : 426038
1789.28/1790.18 c Time complete: 1789.36.