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-2703431-1278553620.opb>
0.10/0.11 c original problem has 2606 variables (2606 bin, 0 int, 0 impl, 0 cont) and 6509 constraints
0.10/0.11 c problem read
0.10/0.11 c presolving settings loaded
0.10/0.15 c presolving:
0.19/0.27 c (round 1) 0 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6385 upgd conss, 5582 impls, 0 clqs
0.19/0.29 c (round 2) 0 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6386 upgd conss, 5582 impls, 0 clqs
0.29/0.30 c (round 3) 0 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6387 upgd conss, 5582 impls, 0 clqs
0.29/0.38 c (round 4) 50 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6387 upgd conss, 7044 impls, 0 clqs
0.39/0.40 c (round 5) 53 del vars, 177 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6387 upgd conss, 7082 impls, 0 clqs
0.39/0.41 c (round 6) 53 del vars, 179 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6387 upgd conss, 7082 impls, 0 clqs
0.59/0.61 c (round 7) 103 del vars, 179 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6387 upgd conss, 27270 impls, 0 clqs
0.59/0.62 c (round 8) 103 del vars, 229 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6387 upgd conss, 27270 impls, 0 clqs
0.69/0.77 c (round 9) 153 del vars, 229 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6387 upgd conss, 46726 impls, 0 clqs
0.69/0.78 c (round 10) 153 del vars, 279 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6387 upgd conss, 46726 impls, 0 clqs
0.89/0.93 c (0.8s) probing: 548/2606 (21.0%) - 2 fixings, 183 aggregations, 12557 implications, 0 bound changes
0.89/0.93 c (0.8s) probing aborted: 100/100 successive totally useless probings
0.89/0.93 c (round 11) 188 del vars, 279 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6387 upgd conss, 48328 impls, 0 clqs
0.89/0.94 c (round 12) 188 del vars, 314 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6387 upgd conss, 48328 impls, 0 clqs
0.89/0.96 c (0.8s) probing: 558/2606 (21.4%) - 2 fixings, 183 aggregations, 12557 implications, 0 bound changes
0.89/0.96 c (0.9s) probing aborted: 100/100 successive totally useless probings
0.89/0.96 c presolving (13 rounds):
0.89/0.96 c 188 deleted vars, 314 deleted constraints, 0 tightened bounds, 0 added holes, 122 changed sides, 0 changed coefficients
0.89/0.96 c 48328 implications, 0 cliques
0.89/0.96 c presolved problem has 2418 variables (2418 bin, 0 int, 0 impl, 0 cont) and 6195 constraints
0.89/0.96 c 1485 constraints of type <setppc>
0.89/0.96 c 4710 constraints of type <logicor>
0.89/0.96 c transformed objective value is always integral (scale: 1)
0.89/0.96 c Presolving Time: 0.82
0.89/0.96 c - non default parameters ----------------------------------------------------------------------
0.89/0.96 c # SCIP version 1.2.1.3
0.89/0.96 c
0.89/0.96 c # frequency for displaying node information lines
0.89/0.96 c # [type: int, range: [-1,2147483647], default: 100]
0.89/0.96 c display/freq = 10000
0.89/0.96 c
0.89/0.96 c # maximal time in seconds to run
0.89/0.96 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.96 c limits/time = 1789.89
0.89/0.96 c
0.89/0.96 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.89/0.96 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.96 c limits/memory = 1620
0.89/0.96 c
0.89/0.96 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.89/0.96 c # [type: int, range: [1,2], default: 1]
0.89/0.96 c timing/clocktype = 2
0.89/0.96 c
0.89/0.96 c # should presolving try to simplify inequalities
0.89/0.96 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.96 c constraints/linear/simplifyinequalities = TRUE
0.89/0.96 c
0.89/0.96 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.89/0.96 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.96 c constraints/indicator/addCouplingCons = TRUE
0.89/0.96 c
0.89/0.96 c # should presolving try to simplify knapsacks
0.89/0.96 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.96 c constraints/knapsack/simplifyinequalities = TRUE
0.89/0.96 c
0.89/0.96 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.89/0.96 c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.96 c separating/rapidlearning/freq = 0
0.89/0.96 c
0.89/0.96 c -----------------------------------------------------------------------------------------------
0.89/0.96 c start solving
0.89/0.96 c
4.50/4.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.50/4.57 c 4.5s| 1 | 0 | 4791 | - | 13M| 0 |1619 |2418 |6195 |2418 |6193 | 0 | 0 | 0 | 7.849117e+02 | -- | Inf
22.78/22.82 c 22.7s| 1 | 0 | 15428 | - | 19M| 0 |2202 |2418 |7115 |2418 |7251 |1058 | 0 | 0 | 8.108475e+02 | -- | Inf
25.49/25.54 c 25.4s| 1 | 0 | 16522 | - | 27M| 0 |1625 |2418 |7115 |2418 |7274 |1081 | 0 | 0 | 8.142485e+02 | -- | Inf
28.09/28.13 c 28.0s| 1 | 0 | 18162 | - | 29M| 0 |1636 |2418 |7115 |2418 |7307 |1114 | 0 | 0 | 8.180038e+02 | -- | Inf
30.69/30.72 c 30.6s| 1 | 0 | 19408 | - | 33M| 0 |1632 |2418 |7115 |2418 |7342 |1149 | 0 | 0 | 8.209769e+02 | -- | Inf
33.88/33.94 c 33.8s| 1 | 0 | 20960 | - | 36M| 0 |1610 |2418 |7115 |2418 |7378 |1185 | 0 | 0 | 8.260515e+02 | -- | Inf
36.48/36.57 c 36.5s| 1 | 0 | 22252 | - | 37M| 0 |2065 |2418 |7115 |2418 |7415 |1222 | 0 | 0 | 8.293713e+02 | -- | Inf
39.28/39.39 c 39.3s| 1 | 0 | 23894 | - | 40M| 0 |2014 |2418 |7115 |2418 |7438 |1245 | 0 | 0 | 8.326068e+02 | -- | Inf
46.38/46.46 c 46.4s| 1 | 0 | 27504 | - | 45M| 0 |1669 |2418 |7115 |2418 |7482 |1289 | 0 | 0 | 8.448191e+02 | -- | Inf
49.78/49.86 c 49.7s| 1 | 0 | 29101 | - | 49M| 0 |1852 |2418 |7115 |2418 |7515 |1322 | 0 | 0 | 8.482071e+02 | -- | Inf
54.08/54.14 c 54.0s| 1 | 0 | 30625 | - | 53M| 0 |1584 |2418 |7115 |2418 |7552 |1359 | 0 | 0 | 8.507398e+02 | -- | Inf
57.48/57.50 c 57.4s| 1 | 0 | 32014 | - | 55M| 0 |1651 |2418 |7115 |2418 |7598 |1405 | 0 | 0 | 8.544020e+02 | -- | Inf
61.58/61.65 c 61.5s| 1 | 0 | 33578 | - | 59M| 0 |1623 |2418 |7115 |2418 |7638 |1445 | 0 | 0 | 8.576396e+02 | -- | Inf
65.67/65.76 c 65.6s| 1 | 0 | 35693 | - | 61M| 0 |1612 |2418 |7115 |2418 |7666 |1473 | 0 | 0 | 8.611350e+02 | -- | Inf
68.87/68.91 c 68.8s| 1 | 0 | 37200 | - | 65M| 0 |1636 |2418 |7115 |2418 |7696 |1503 | 0 | 0 | 8.633050e+02 | -- | Inf
72.87/72.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
72.87/72.99 c 72.9s| 1 | 0 | 39078 | - | 69M| 0 |1713 |2418 |7115 |2418 |6659 |1538 | 0 | 0 | 8.642882e+02 | -- | Inf
78.57/78.69 c 78.6s| 1 | 0 | 41373 | - | 72M| 0 |1654 |2418 |7115 |2418 |6690 |1569 | 0 | 0 | 8.656841e+02 | -- | Inf
86.98/87.02 c 86.9s| 1 | 0 | 44554 | - | 75M| 0 |1944 |2418 |7115 |2418 |6722 |1601 | 0 | 0 | 8.690523e+02 | -- | Inf
96.16/96.25 c 96.1s| 1 | 0 | 47742 | - | 77M| 0 |1741 |2418 |7115 |2418 |6756 |1635 | 0 | 0 | 8.724205e+02 | -- | Inf
103.97/104.03 c 104s| 1 | 0 | 50651 | - | 77M| 0 |1713 |2418 |7115 |2418 |6814 |1693 | 0 | 0 | 8.856366e+02 | -- | Inf
111.67/111.77 c 112s| 1 | 0 | 54085 | - | 82M| 0 |1719 |2418 |7115 |2418 |6857 |1736 | 0 | 0 | 8.903365e+02 | -- | Inf
117.26/117.37 c 117s| 1 | 0 | 56574 | - | 83M| 0 |1690 |2418 |7115 |2418 |6739 |1777 | 0 | 0 | 8.934999e+02 | -- | Inf
122.26/122.32 c 122s| 1 | 0 | 58823 | - | 85M| 0 |1690 |2418 |7115 |2418 |6782 |1820 | 0 | 0 | 8.959978e+02 | -- | Inf
127.06/127.14 c 127s| 1 | 0 | 61265 | - | 87M| 0 |1740 |2418 |7115 |2418 |6816 |1854 | 0 | 0 | 8.966205e+02 | -- | Inf
133.86/133.98 c 134s| 1 | 0 | 64146 | - | 88M| 0 |1731 |2418 |7115 |2418 |6864 |1902 | 0 | 0 | 8.984318e+02 | -- | Inf
140.86/140.97 c 141s| 1 | 0 | 67195 | - | 90M| 0 |1742 |2418 |7115 |2418 |6913 |1951 | 0 | 0 | 9.041457e+02 | -- | Inf
148.65/148.76 c 149s| 1 | 0 | 70420 | - | 91M| 0 |1766 |2418 |7115 |2418 |6948 |1986 | 0 | 0 | 9.075336e+02 | -- | Inf
156.95/157.03 c 157s| 1 | 0 | 73763 | - | 92M| 0 |1706 |2418 |7115 |2418 |6872 |2043 | 0 | 0 | 9.222064e+02 | -- | Inf
163.35/163.48 c 163s| 1 | 0 | 77078 | - | 93M| 0 |1813 |2418 |7115 |2418 |6903 |2074 | 0 | 0 | 9.268319e+02 | -- | Inf
168.45/168.51 c 168s| 1 | 0 | 79487 | - | 94M| 0 |1703 |2418 |7115 |2418 |6940 |2111 | 0 | 0 | 9.300635e+02 | -- | Inf
176.45/176.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
176.45/176.50 c 176s| 1 | 0 | 83097 | - | 97M| 0 |1860 |2418 |7115 |2418 |6981 |2152 | 0 | 0 | 9.359562e+02 | -- | Inf
181.05/181.19 c 181s| 1 | 0 | 85343 | - | 98M| 0 |1751 |2418 |7115 |2418 |7032 |2203 | 0 | 0 | 9.391335e+02 | -- | Inf
189.55/189.64 c 190s| 1 | 0 | 88947 | - | 99M| 0 |1727 |2418 |7115 |2418 |7083 |2254 | 0 | 0 | 9.467830e+02 | -- | Inf
199.84/199.99 c 200s| 1 | 0 | 93731 | - | 99M| 0 |1928 |2418 |7115 |2418 |6983 |2315 | 0 | 0 | 9.588642e+02 | -- | Inf
209.44/209.57 c 209s| 1 | 0 | 98261 | - | 102M| 0 |1932 |2418 |7115 |2418 |7021 |2353 | 0 | 0 | 9.603934e+02 | -- | Inf
213.54/213.64 c 214s| 1 | 0 | 99958 | - | 102M| 0 |1837 |2418 |7115 |2418 |7070 |2402 | 0 | 0 | 9.651500e+02 | -- | Inf
218.23/218.34 c 218s| 1 | 0 |102172 | - | 104M| 0 |1904 |2418 |7115 |2418 |7107 |2439 | 0 | 0 | 9.678734e+02 | -- | Inf
224.14/224.23 c 224s| 1 | 0 |104931 | - | 106M| 0 |1913 |2418 |7115 |2418 |7140 |2472 | 0 | 0 | 9.685524e+02 | -- | Inf
228.74/228.90 c 229s| 1 | 0 |107072 | - | 107M| 0 |1814 |2418 |7115 |2418 |7173 |2505 | 0 | 0 | 9.704800e+02 | -- | Inf
238.33/238.44 c 238s| 1 | 0 |111089 | - | 108M| 0 |1845 |2418 |7115 |2418 |7023 |2567 | 0 | 0 | 9.838616e+02 | -- | Inf
243.94/244.03 c 244s| 1 | 0 |113939 | - | 109M| 0 |1900 |2418 |7115 |2418 |7083 |2627 | 0 | 0 | 9.959504e+02 | -- | Inf
249.64/249.73 c 250s| 1 | 0 |116007 | - | 109M| 0 |1693 |2418 |7115 |2418 |7149 |2693 | 0 | 0 | 1.006467e+03 | -- | Inf
254.13/254.26 c 254s| 1 | 0 |118581 | - | 111M| 0 |1701 |2418 |7115 |2418 |7185 |2729 | 0 | 0 | 1.008492e+03 | -- | Inf
259.63/259.74 c 260s| 1 | 0 |121373 | - | 113M| 0 |1867 |2418 |7115 |2418 |7227 |2771 | 0 | 0 | 1.009332e+03 | -- | Inf
265.13/265.23 c 265s| 1 | 0 |123878 | - | 114M| 0 |1909 |2418 |7115 |2418 |7287 |2831 | 0 | 0 | 1.012627e+03 | -- | Inf
273.32/273.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
273.32/273.46 c 273s| 1 | 0 |126999 | - | 114M| 0 |1880 |2418 |7115 |2418 |7127 |2908 | 0 | 0 | 1.024427e+03 | -- | Inf
279.53/279.63 c 280s| 1 | 0 |129672 | - | 115M| 0 |1893 |2418 |7115 |2418 |7179 |2960 | 0 | 0 | 1.032597e+03 | -- | Inf
284.93/285.05 c 285s| 1 | 0 |131862 | - | 116M| 0 |1884 |2418 |7115 |2418 |7223 |3004 | 0 | 0 | 1.034892e+03 | -- | Inf
289.62/289.74 c 290s| 1 | 0 |134035 | - | 119M| 0 |1826 |2418 |7115 |2418 |7257 |3038 | 0 | 0 | 1.035586e+03 | -- | Inf
293.32/293.41 c 293s| 1 | 0 |135512 | - | 121M| 0 |1967 |2418 |7115 |2418 |7291 |3072 | 0 | 0 | 1.035870e+03 | -- | Inf
301.22/301.39 c 301s| 1 | 0 |138550 | - | 121M| 0 |1856 |2418 |7115 |2418 |7346 |3127 | 0 | 0 | 1.039402e+03 | -- | Inf
308.82/308.96 c 309s| 1 | 0 |141852 | - | 123M| 0 |1909 |2418 |7115 |2418 |7127 |3170 | 0 | 0 | 1.044874e+03 | -- | Inf
313.11/313.27 c 313s| 1 | 0 |143795 | - | 125M| 0 |1965 |2418 |7115 |2418 |7169 |3212 | 0 | 0 | 1.046100e+03 | -- | Inf
318.31/318.48 c 318s| 1 | 0 |145802 | - | 125M| 0 |2008 |2418 |7115 |2418 |7212 |3255 | 0 | 0 | 1.047610e+03 | -- | Inf
326.21/326.31 c 326s| 1 | 0 |148883 | - | 126M| 0 |1913 |2418 |7115 |2418 |7286 |3329 | 0 | 0 | 1.057932e+03 | -- | Inf
330.51/330.65 c 331s| 1 | 0 |150720 | - | 129M| 0 |1868 |2418 |7115 |2418 |7322 |3365 | 0 | 0 | 1.061598e+03 | -- | Inf
335.01/335.11 c 335s| 1 | 0 |152960 | - | 130M| 0 |1892 |2418 |7115 |2418 |7356 |3399 | 0 | 0 | 1.062948e+03 | -- | Inf
341.50/341.65 c 342s| 1 | 0 |155731 | - | 132M| 0 |2031 |2418 |7115 |2418 |7175 |3444 | 0 | 0 | 1.066555e+03 | -- | Inf
346.71/346.86 c 347s| 1 | 0 |157861 | - | 133M| 0 |2041 |2418 |7115 |2418 |7214 |3483 | 0 | 0 | 1.067499e+03 | -- | Inf
355.31/355.46 c 355s| 1 | 0 |161150 | - | 133M| 0 |1884 |2418 |7115 |2418 |7294 |3563 | 0 | 0 | 1.078123e+03 | -- | Inf
361.11/361.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
361.11/361.21 c 361s| 1 | 0 |163644 | - | 135M| 0 |1943 |2418 |7115 |2418 |7343 |3612 | 0 | 0 | 1.080074e+03 | -- | Inf
366.50/366.69 c 367s| 1 | 0 |166320 | - | 137M| 0 |1889 |2418 |7115 |2418 |7389 |3658 | 0 | 0 | 1.082230e+03 | -- | Inf
375.30/375.42 c 375s| 1 | 0 |170387 | - | 138M| 0 |1928 |2418 |7115 |2418 |7431 |3700 | 0 | 0 | 1.084539e+03 | -- | Inf
379.90/380.01 c 380s| 1 | 0 |172599 | - | 140M| 0 |1966 |2418 |7115 |2418 |7264 |3738 | 0 | 0 | 1.086783e+03 | -- | Inf
385.90/386.06 c 386s| 1 | 0 |175387 | - | 140M| 0 |1839 |2418 |7115 |2418 |7318 |3792 | 0 | 0 | 1.095868e+03 | -- | Inf
390.60/390.73 c 391s| 1 | 0 |177667 | - | 141M| 0 |1833 |2418 |7115 |2418 |7380 |3854 | 0 | 0 | 1.098674e+03 | -- | Inf
394.50/394.61 c 394s| 1 | 0 |179619 | - | 142M| 0 |1881 |2418 |7115 |2418 |7426 |3900 | 0 | 0 | 1.100903e+03 | -- | Inf
399.39/399.54 c 399s| 1 | 0 |182163 | - | 144M| 0 |1977 |2418 |7115 |2418 |7465 |3939 | 0 | 0 | 1.102893e+03 | -- | Inf
403.79/403.90 c 404s| 1 | 0 |184092 | - | 145M| 0 |1818 |2418 |7115 |2418 |7498 |3972 | 0 | 0 | 1.104005e+03 | -- | Inf
407.19/407.38 c 407s| 1 | 0 |185693 | - | 148M| 0 |1958 |2418 |7115 |2418 |7261 |4002 | 0 | 0 | 1.104548e+03 | -- | Inf
415.09/415.21 c 415s| 1 | 0 |189233 | - | 149M| 0 |1916 |2418 |7115 |2418 |7312 |4053 | 0 | 0 | 1.109513e+03 | -- | Inf
420.29/420.43 c 420s| 1 | 0 |191914 | - | 151M| 0 |1976 |2418 |7115 |2418 |7341 |4082 | 0 | 0 | 1.110451e+03 | -- | Inf
425.19/425.39 c 425s| 1 | 0 |194462 | - | 152M| 0 |1964 |2418 |7115 |2418 |7368 |4109 | 0 | 0 | 1.111352e+03 | -- | Inf
431.58/431.78 c 432s| 1 | 0 |197667 | - | 154M| 0 |2048 |2418 |7115 |2418 |7402 |4143 | 0 | 0 | 1.113198e+03 | -- | Inf
436.88/437.04 c 437s| 1 | 0 |200204 | - | 155M| 0 |2044 |2418 |7115 |2418 |7428 |4169 | 0 | 0 | 1.114092e+03 | -- | Inf
445.68/445.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
445.68/445.83 c 446s| 1 | 0 |204035 | - | 156M| 0 |1988 |2418 |7115 |2418 |7257 |4226 | 0 | 0 | 1.121528e+03 | -- | Inf
449.68/449.90 c 450s| 1 | 0 |205998 | - | 157M| 0 |2029 |2418 |7115 |2418 |7287 |4256 | 0 | 0 | 1.122558e+03 | -- | Inf
453.68/453.84 c 454s| 1 | 0 |208019 | - | 158M| 0 |2013 |2418 |7115 |2418 |7325 |4294 | 0 | 0 | 1.123465e+03 | -- | Inf
460.48/460.62 c 461s| 1 | 0 |210981 | - | 159M| 0 |1940 |2418 |7115 |2418 |7375 |4344 | 0 | 0 | 1.130381e+03 | -- | Inf
464.67/464.83 c 465s| 1 | 0 |213179 | - | 160M| 0 |1919 |2418 |7115 |2418 |7420 |4389 | 0 | 0 | 1.133543e+03 | -- | Inf
470.18/470.33 c 470s| 1 | 0 |216149 | - | 161M| 0 |1939 |2418 |7115 |2418 |7468 |4437 | 0 | 0 | 1.136012e+03 | -- | Inf
474.08/474.22 c 474s| 1 | 0 |218059 | - | 164M| 0 |1926 |2418 |7115 |2418 |7309 |4476 | 0 | 0 | 1.137431e+03 | -- | Inf
480.97/481.18 c 481s| 1 | 0 |221651 | - | 165M| 0 |2075 |2418 |7115 |2418 |7348 |4515 | 0 | 0 | 1.139744e+03 | -- | Inf
489.87/490.04 c 490s| 1 | 0 |225073 | - | 165M| 0 |2050 |2418 |7115 |2418 |7410 |4577 | 0 | 0 | 1.144515e+03 | -- | Inf
495.77/495.93 c 496s| 1 | 0 |227127 | - | 165M| 0 |1901 |2418 |7115 |2418 |7451 |4618 | 0 | 0 | 1.149126e+03 | -- | Inf
499.77/499.92 c 500s| 1 | 0 |229104 | - | 167M| 0 |1992 |2418 |7115 |2418 |7488 |4655 | 0 | 0 | 1.151155e+03 | -- | Inf
503.47/503.63 c 504s| 1 | 0 |230757 | - | 168M| 0 |2049 |2418 |7115 |2418 |7511 |4678 | 0 | 0 | 1.152239e+03 | -- | Inf
511.96/512.18 c 512s| 1 | 0 |234487 | - | 169M| 0 |1970 |2418 |7115 |2418 |7354 |4712 | 0 | 0 | 1.156326e+03 | -- | Inf
516.87/517.04 c 517s| 1 | 0 |236811 | - | 169M| 0 |1882 |2418 |7115 |2418 |7406 |4764 | 0 | 0 | 1.161835e+03 | -- | Inf
519.76/519.93 c 520s| 1 | 0 |238557 | - | 170M| 0 |1827 |2418 |7115 |2418 |7446 |4804 | 0 | 0 | 1.163953e+03 | -- | Inf
525.67/525.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
525.67/525.87 c 526s| 1 | 0 |242089 | - | 172M| 0 |1916 |2418 |7115 |2418 |7473 |4831 | 0 | 0 | 1.165167e+03 | -- | Inf
533.85/534.00 c 534s| 1 | 0 |246595 | - | 173M| 0 |1936 |2418 |7115 |2418 |7509 |4867 | 0 | 0 | 1.166267e+03 | -- | Inf
544.85/545.00 c 545s| 1 | 0 |252113 | - | 174M| 0 |1921 |2418 |7115 |2418 |7552 |4910 | 0 | 0 | 1.167326e+03 | -- | Inf
554.36/554.53 c 554s| 1 | 0 |256886 | - | 176M| 0 |1988 |2418 |7115 |2418 |7363 |4944 | 0 | 0 | 1.168451e+03 | -- | Inf
560.46/560.65 c 561s| 1 | 0 |259591 | - | 177M| 0 |2012 |2418 |7115 |2418 |7402 |4983 | 0 | 0 | 1.171697e+03 | -- | Inf
564.05/564.21 c 564s| 1 | 0 |261243 | - | 178M| 0 |1995 |2418 |7115 |2418 |7436 |5017 | 0 | 0 | 1.172470e+03 | -- | Inf
570.05/570.25 c 570s| 1 | 0 |264133 | - | 178M| 0 |1960 |2418 |7115 |2418 |7465 |5046 | 0 | 0 | 1.176026e+03 | -- | Inf
573.05/573.28 c 573s| 1 | 0 |265735 | - | 179M| 0 |2033 |2418 |7115 |2418 |7500 |5081 | 0 | 0 | 1.176851e+03 | -- | Inf
576.95/577.14 c 577s| 1 | 0 |267664 | - | 181M| 0 |2002 |2418 |7115 |2418 |7527 |5108 | 0 | 0 | 1.177223e+03 | -- | Inf
581.55/581.77 c 582s| 1 | 0 |269965 | - | 181M| 0 |1966 |2418 |7115 |2418 |7376 |5137 | 0 | 0 | 1.177976e+03 | -- | Inf
586.65/586.80 c 587s| 1 | 0 |272838 | - | 182M| 0 |1972 |2418 |7115 |2418 |7410 |5171 | 0 | 0 | 1.178966e+03 | -- | Inf
594.15/594.35 c 594s| 1 | 0 |276492 | - | 183M| 0 |2003 |2418 |7115 |2418 |7449 |5210 | 0 | 0 | 1.182196e+03 | -- | Inf
598.35/598.57 c 598s| 1 | 0 |278712 | - | 180M| 0 |2053 |2418 |7115 |2418 |7485 |5246 | 0 | 0 | 1.185004e+03 | -- | Inf
601.94/602.13 c 602s| 1 | 0 |280326 | - | 174M| 0 |2064 |2418 |7115 |2418 |7508 |5269 | 0 | 0 | 1.185603e+03 | -- | Inf
605.04/605.21 c 605s| 1 | 0 |281496 | - | 172M| 0 |2079 |2418 |7115 |2418 |7526 |5287 | 0 | 0 | 1.185965e+03 | -- | Inf
611.74/611.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
611.74/611.96 c 612s| 1 | 0 |283987 | - | 169M| 0 |1977 |2418 |7115 |2418 |7328 |5313 | 0 | 0 | 1.187368e+03 | -- | Inf
614.54/614.70 c 615s| 1 | 0 |285463 | - | 168M| 0 |2026 |2418 |7115 |2418 |7341 |5326 | 0 | 0 | 1.187643e+03 | -- | Inf
616.44/616.68 c 617s| 1 | 0 |286032 | - | 168M| 0 |2028 |2418 |7115 |2418 |7357 |5342 | 0 | 0 | 1.187691e+03 | -- | Inf
622.44/622.65 c 623s| 1 | 0 |288343 | - | 165M| 0 |1992 |2418 |7115 |2418 |7396 |5381 | 0 | 0 | 1.189901e+03 | -- | Inf
628.04/628.26 c 628s| 1 | 0 |290647 | - | 162M| 0 |1980 |2418 |7115 |2418 |7420 |5405 | 0 | 0 | 1.191585e+03 | -- | Inf
631.34/631.59 c 631s| 1 | 0 |291690 | - | 158M| 0 |1977 |2418 |7115 |2418 |7450 |5435 | 0 | 0 | 1.192687e+03 | -- | Inf
635.43/635.65 c 636s| 1 | 0 |293874 | - | 155M| 0 |1978 |2418 |7115 |2418 |7277 |5448 | 0 | 0 | 1.192953e+03 | -- | Inf
640.44/640.65 c 641s| 1 | 0 |296373 | - | 154M| 0 |2025 |2418 |7115 |2418 |7312 |5483 | 0 | 0 | 1.194619e+03 | -- | Inf
647.93/648.11 c 648s| 1 | 0 |300309 | - | 151M| 0 |1979 |2418 |7115 |2418 |7343 |5514 | 0 | 0 | 1.196152e+03 | -- | Inf
652.53/652.77 c 653s| 1 | 0 |302622 | - | 150M| 0 |1986 |2418 |7115 |2418 |7384 |5555 | 0 | 0 | 1.197715e+03 | -- | Inf
657.33/657.59 c 657s| 1 | 0 |305071 | - | 146M| 0 |2012 |2418 |7115 |2418 |7411 |5582 | 0 | 0 | 1.198002e+03 | -- | Inf
662.43/662.68 c 663s| 1 | 0 |307408 | - | 142M| 0 |2016 |2418 |7115 |2418 |7440 |5611 | 0 | 0 | 1.199237e+03 | -- | Inf
668.03/668.24 c 668s| 1 | 0 |309699 | - | 140M| 0 |1996 |2418 |7115 |2418 |7338 |5630 | 0 | 0 | 1.200173e+03 | -- | Inf
674.92/675.16 c 675s| 1 | 0 |313755 | - | 137M| 0 |2075 |2418 |7115 |2418 |7365 |5657 | 0 | 0 | 1.200673e+03 | -- | Inf
685.13/685.35 c 685s| 1 | 0 |318316 | - | 137M| 0 |2056 |2418 |7115 |2418 |7396 |5688 | 0 | 0 | 1.201476e+03 | -- | Inf
692.82/693.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
692.82/693.06 c 693s| 1 | 0 |321980 | - | 136M| 0 |1954 |2418 |7115 |2418 |7441 |5733 | 0 | 0 | 1.203343e+03 | -- | Inf
700.01/700.20 c 700s| 1 | 0 |326412 | - | 133M| 0 |1938 |2418 |7115 |2418 |7468 |5760 | 0 | 0 | 1.204577e+03 | -- | Inf
703.31/703.59 c 703s| 1 | 0 |328309 | - | 132M| 0 |1931 |2418 |7115 |2418 |7491 |5783 | 0 | 0 | 1.205321e+03 | -- | Inf
706.42/706.69 c 707s| 1 | 0 |329974 | - | 133M| 0 |1936 |2418 |7115 |2418 |7403 |5812 | 0 | 0 | 1.205766e+03 | -- | Inf
711.82/712.04 c 712s| 1 | 0 |332483 | - | 131M| 0 |1910 |2418 |7115 |2418 |7433 |5842 | 0 | 0 | 1.206630e+03 | -- | Inf
715.32/715.52 c 715s| 1 | 0 |334459 | - | 131M| 0 |2051 |2418 |7115 |2418 |7452 |5861 | 0 | 0 | 1.206877e+03 | -- | Inf
720.91/721.14 c 721s| 1 | 0 |336459 | - | 129M| 0 |1948 |2418 |7115 |2418 |7472 |5881 | 0 | 0 | 1.207330e+03 | -- | Inf
728.61/728.89 c 729s| 1 | 0 |340057 | - | 129M| 0 |1987 |2418 |7115 |2418 |7499 |5908 | 0 | 0 | 1.208311e+03 | -- | Inf
736.31/736.52 c 736s| 1 | 0 |343872 | - | 128M| 0 |1967 |2418 |7115 |2418 |7533 |5942 | 0 | 0 | 1.209515e+03 | -- | Inf
743.30/743.59 c 743s| 1 | 0 |347406 | - | 127M| 0 |2005 |2418 |7115 |2418 |7408 |5982 | 0 | 0 | 1.211338e+03 | -- | Inf
749.71/749.97 c 750s| 1 | 0 |350694 | - | 127M| 0 |2034 |2418 |7115 |2418 |7441 |6015 | 0 | 0 | 1.212446e+03 | -- | Inf
754.51/754.74 c 755s| 1 | 0 |352675 | - | 124M| 0 |2038 |2418 |7115 |2418 |7456 |6030 | 0 | 0 | 1.212663e+03 | -- | Inf
758.50/758.73 c 759s| 1 | 0 |354045 | - | 123M| 0 |2052 |2418 |7115 |2418 |7474 |6048 | 0 | 0 | 1.213093e+03 | -- | Inf
763.70/763.92 c 764s| 1 | 0 |355954 | - | 122M| 0 |2046 |2418 |7115 |2418 |7493 |6067 | 0 | 0 | 1.213602e+03 | -- | Inf
772.40/772.65 c 773s| 1 | 0 |359491 | - | 122M| 0 |2054 |2418 |7115 |2418 |7506 |6080 | 0 | 0 | 1.213993e+03 | -- | Inf
778.80/779.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
778.80/779.03 c 779s| 1 | 0 |361898 | - | 120M| 0 |2053 |2418 |7115 |2418 |7357 |6104 | 0 | 0 | 1.214162e+03 | -- | Inf
782.01/782.29 c 782s| 1 | 0 |363007 | - | 119M| 0 |1991 |2418 |7115 |2418 |7370 |6117 | 0 | 0 | 1.214466e+03 | -- | Inf
785.30/785.52 c 785s| 1 | 0 |364587 | - | 119M| 0 |2031 |2418 |7115 |2418 |7380 |6127 | 0 | 0 | 1.214755e+03 | -- | Inf
789.70/789.91 c 790s| 1 | 0 |365875 | - | 117M| 0 |2028 |2418 |7115 |2418 |7393 |6140 | 0 | 0 | 1.215456e+03 | -- | Inf
791.30/791.52 c 791s| 1 | 0 |366151 | - | 116M| 0 |2042 |2418 |7115 |2418 |7401 |6148 | 0 | 0 | 1.215561e+03 | -- | Inf
796.30/796.53 c 796s| 1 | 0 |368553 | - | 115M| 0 |2012 |2418 |7115 |2418 |7419 |6166 | 0 | 0 | 1.216242e+03 | -- | Inf
798.09/798.39 c 798s| 1 | 0 |369362 | - | 115M| 0 |2013 |2418 |7115 |2418 |7281 |6183 | 0 | 0 | 1.216442e+03 | -- | Inf
803.49/803.78 c 804s| 1 | 0 |371816 | - | 115M| 0 |2043 |2418 |7115 |2418 |7301 |6203 | 0 | 0 | 1.217657e+03 | -- | Inf
808.80/809.02 c 809s| 1 | 0 |373902 | - | 113M| 0 |2011 |2418 |7115 |2418 |7319 |6221 | 0 | 0 | 1.218687e+03 | -- | Inf
812.70/812.97 c 813s| 1 | 0 |375332 | - | 112M| 0 |2007 |2418 |7115 |2418 |7329 |6231 | 0 | 0 | 1.218879e+03 | -- | Inf
817.19/817.41 c 817s| 1 | 0 |377635 | - | 111M| 0 |2024 |2418 |7115 |2418 |7362 |6264 | 0 | 0 | 1.219918e+03 | -- | Inf
821.39/821.68 c 822s| 1 | 0 |379261 | - | 111M| 0 |2015 |2418 |7115 |2418 |7381 |6283 | 0 | 0 | 1.220484e+03 | -- | Inf
825.59/825.86 c 826s| 1 | 0 |380579 | - | 111M| 0 |2043 |2418 |7115 |2418 |7279 |6293 | 0 | 0 | 1.221061e+03 | -- | Inf
827.59/827.83 c 828s| 1 | 0 |380710 | - | 110M| 0 |2059 |2418 |7115 |2418 |7287 |6301 | 0 | 0 | 1.221061e+03 | -- | Inf
829.68/829.91 c 830s| 1 | 0 |380717 | - | 107M| 0 |2061 |2418 |7115 |2418 |7289 |6303 | 0 | 0 | 1.221061e+03 | -- | Inf
831.89/832.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
831.89/832.18 c 832s| 1 | 0 |380885 | - | 106M| 0 |2047 |2418 |7115 |2418 |7291 |6305 | 0 | 0 | 1.221080e+03 | -- | Inf
835.99/836.22 c 836s| 1 | 0 |382378 | - | 105M| 0 |2027 |2418 |7115 |2418 |7295 |6309 | 0 | 0 | 1.221725e+03 | -- | Inf
838.58/838.86 c 839s| 1 | 0 |382589 | - | 103M| 0 |2025 |2418 |7115 |2418 |7304 |6318 | 0 | 0 | 1.221725e+03 | -- | Inf
841.28/841.60 c 841s| 1 | 0 |382810 | - | 101M| 0 |2029 |2418 |7115 |2418 |7215 |6319 | 0 | 0 | 1.221783e+03 | -- | Inf
843.77/844.05 c 844s| 1 | 0 |382888 | - | 100M| 0 |2029 |2418 |7115 |2418 |7216 |6320 | 0 | 0 | 1.221795e+03 | -- | Inf
852.46/852.75 c 853s| 1 | 2 |382888 | - | 100M| 0 |2029 |2418 |7115 |2418 |7216 |6320 | 0 | 15 | 1.221795e+03 | -- | Inf
1789.55/1790.14 c
1789.55/1790.14 c SCIP Status : solving was interrupted [time limit reached]
1789.55/1790.14 c Solving Time (sec) : 1790.03
1789.55/1790.14 c Solving Nodes : 202
1789.55/1790.14 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.55/1790.14 c Dual Bound : +1.22924965397818e+03
1789.55/1790.14 c Gap : infinite
1789.55/1790.14 s UNKNOWN
1789.55/1790.14 c SCIP Status : solving was interrupted [time limit reached]
1789.55/1790.14 c Solving Time : 1790.03
1789.55/1790.14 c Original Problem :
1789.55/1790.14 c Problem name : HOME/instance-2703431-1278553620.opb
1789.55/1790.14 c Variables : 2606 (2606 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.55/1790.14 c Constraints : 6509 initial, 6509 maximal
1789.55/1790.14 c Presolved Problem :
1789.55/1790.14 c Problem name : t_HOME/instance-2703431-1278553620.opb
1789.55/1790.14 c Variables : 2418 (2418 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.55/1790.14 c Constraints : 6195 initial, 7473 maximal
1789.55/1790.14 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.55/1790.14 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.55/1790.14 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.55/1790.14 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.55/1790.14 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.55/1790.14 c implics : 0.01 0 3 0 0 0 0 0 0
1789.55/1790.14 c probing : 0.51 2 183 0 0 0 0 0 0
1789.55/1790.14 c setppc : 0.04 0 0 0 0 0 190 0 0
1789.55/1790.14 c linear : 0.10 0 0 0 0 0 122 122 0
1789.55/1790.14 c logicor : 0.13 0 0 0 0 0 2 0 0
1789.55/1790.14 c root node : - 0 - - 0 - - - -
1789.55/1790.14 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.55/1790.14 c integral : 0 0 0 202 0 0 0 0 0 404
1789.55/1790.14 c setppc : 1485 155 15961 0 0 51 230 0 0 0
1789.55/1790.14 c linear : 0+ 155 12104 0 0 0 0 54 0 0
1789.55/1790.14 c logicor : 4710+ 155 10754 0 0 20 248 0 0 0
1789.55/1790.14 c countsols : 0 0 0 0 0 0 0 0 0 0
1789.55/1790.14 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.55/1790.14 c integral : 403.69 0.00 0.00 403.69 0.00
1789.55/1790.14 c setppc : 1.34 0.04 1.30 0.00 0.00
1789.55/1790.14 c linear : 0.65 0.27 0.37 0.00 0.00
1789.55/1790.14 c logicor : 0.28 0.10 0.18 0.00 0.00
1789.55/1790.14 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.55/1790.14 c Propagators : Time Calls Cutoffs DomReds
1789.55/1790.14 c vbounds : 0.01 2 0 0
1789.55/1790.14 c rootredcost : 0.01 0 0 0
1789.55/1790.14 c pseudoobj : 1.12 12315 0 0
1789.55/1790.14 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.55/1790.14 c propagation : 0.00 71 71 113 11.2 22 5.5 -
1789.55/1790.14 c infeasible LP : 0.13 80 80 455 38.4 14 4.3 0
1789.55/1790.14 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.55/1790.14 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.55/1790.14 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.55/1790.15 c applied globally : - - - 427 27.4 - - -
1789.55/1790.15 c applied locally : - - - 0 0.0 - - -
1789.55/1790.15 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.55/1790.15 c cut pool : 6.74 154 - - 5497 - (maximal pool size: 36927)
1789.55/1790.15 c redcost : 0.06 356 0 0 0 0
1789.55/1790.15 c impliedbounds : 0.19 155 0 0 2339 0
1789.55/1790.15 c intobj : 0.00 0 0 0 0 0
1789.55/1790.15 c cgmip : 0.00 0 0 0 0 0
1789.55/1790.15 c gomory : 213.73 155 0 0 68123 0
1789.55/1790.15 c strongcg : 11.05 20 0 0 10000 0
1789.55/1790.15 c cmir : 0.78 10 0 0 0 0
1789.55/1790.15 c flowcover : 0.80 10 0 0 0 0
1789.55/1790.15 c clique : 0.37 155 0 0 108 0
1789.55/1790.15 c zerohalf : 0.00 0 0 0 0 0
1789.55/1790.15 c mcf : 0.01 1 0 0 0 0
1789.55/1790.15 c rapidlearning : 4.86 1 0 0 0 920
1789.55/1790.15 c Pricers : Time Calls Vars
1789.55/1790.15 c problem variables: 0.00 0 0
1789.55/1790.15 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.55/1790.15 c relpscost : 403.69 202 0 0 0 0 404
1789.55/1790.15 c pscost : 0.00 0 0 0 0 0 0
1789.55/1790.15 c inference : 0.00 0 0 0 0 0 0
1789.55/1790.15 c mostinf : 0.00 0 0 0 0 0 0
1789.55/1790.15 c leastinf : 0.00 0 0 0 0 0 0
1789.55/1790.15 c fullstrong : 0.00 0 0 0 0 0 0
1789.55/1790.15 c allfullstrong : 0.00 0 0 0 0 0 0
1789.55/1790.15 c random : 0.00 0 0 0 0 0 0
1789.55/1790.15 c Primal Heuristics : Time Calls Found
1789.55/1790.15 c LP solutions : 0.00 - 0
1789.55/1790.15 c pseudo solutions : 0.00 - 0
1789.55/1790.15 c oneopt : 0.00 0 0
1789.55/1790.15 c crossover : 0.00 0 0
1789.55/1790.15 c intshifting : 0.00 0 0
1789.55/1790.15 c trivial : 0.01 2 0
1789.55/1790.15 c simplerounding : 0.00 0 0
1789.55/1790.15 c zirounding : 0.22 202 0
1789.55/1790.15 c rounding : 0.43 201 0
1789.55/1790.15 c shifting : 2.32 110 0
1789.55/1790.15 c twoopt : 0.00 0 0
1789.55/1790.15 c fixandinfer : 0.00 0 0
1789.55/1790.15 c feaspump : 9.77 1 0
1789.55/1790.15 c coefdiving : 57.92 13 0
1789.55/1790.15 c pscostdiving : 30.09 6 0
1789.55/1790.15 c fracdiving : 46.61 11 0
1789.55/1790.15 c veclendiving : 54.78 9 0
1789.55/1790.15 c intdiving : 0.00 0 0
1789.55/1790.15 c actconsdiving : 0.00 0 0
1789.55/1790.15 c objpscostdiving : 94.66 2 0
1789.55/1790.15 c rootsoldiving : 52.39 3 0
1789.55/1790.15 c linesearchdiving : 55.29 15 0
1789.55/1790.15 c guideddiving : 0.00 0 0
1789.55/1790.15 c octane : 0.00 0 0
1789.55/1790.15 c rens : 0.01 0 0
1789.55/1790.15 c rins : 0.00 0 0
1789.55/1790.15 c localbranching : 0.00 0 0
1789.55/1790.15 c mutation : 0.00 0 0
1789.55/1790.15 c dins : 0.00 0 0
1789.55/1790.15 c undercover : 0.00 0 0
1789.55/1790.15 c nlp : 0.00 0 0
1789.55/1790.15 c trysol : 0.00 0 0
1789.55/1790.15 c LP : Time Calls Iterations Iter/call Iter/sec
1789.55/1790.15 c primal LP : 0.33 0 0 0.00 0.00
1789.55/1790.15 c dual LP : 738.03 356 524751 1474.02 711.02
1789.55/1790.15 c lex dual LP : 0.00 0 0 0.00 -
1789.55/1790.15 c barrier LP : 0.00 0 0 0.00 -
1789.55/1790.15 c diving/probing LP: 384.73 4708 338486 71.90 879.81
1789.55/1790.15 c strong branching : 403.47 1084 373956 344.98 926.85
1789.55/1790.15 c (at root node) : - 15 4773 318.20 -
1789.55/1790.15 c conflict analysis: 0.00 0 0 0.00 -
1789.55/1790.15 c B&B Tree :
1789.55/1790.15 c number of runs : 1
1789.55/1790.15 c nodes : 202
1789.55/1790.15 c nodes (total) : 202
1789.55/1790.15 c nodes left : 203
1789.55/1790.15 c max depth : 15
1789.55/1790.15 c max depth (total): 15
1789.55/1790.15 c backtracks : 81 (40.1%)
1789.55/1790.15 c delayed cutoffs : 0
1789.55/1790.15 c repropagations : 4 (1 domain reductions, 0 cutoffs)
1789.55/1790.15 c avg switch length: 4.67
1789.55/1790.15 c switching time : 0.15
1789.55/1790.15 c Solution :
1789.55/1790.15 c Solutions found : 0 (0 improvements)
1789.55/1790.15 c Primal Bound : -
1789.55/1790.15 c Dual Bound : +1.22924965397818e+03
1789.55/1790.15 c Gap : infinite
1789.55/1790.15 c Root Dual Bound : +1.22179496382274e+03
1789.55/1790.15 c Root Iterations : 382888
1789.74/1790.31 c Time complete: 1789.76.