0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2666850-1276417200.opb>
0.10/0.13 c original problem has 2606 variables (2606 bin, 0 int, 0 impl, 0 cont) and 6509 constraints
0.10/0.13 c problem read
0.10/0.13 c presolving settings loaded
0.10/0.17 c presolving:
0.29/0.32 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.29/0.34 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.36 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.39/0.43 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.44 c (round 5) 53 del vars, 127 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6387 upgd conss, 7082 impls, 0 clqs
0.39/0.47 c (round 6) 53 del vars, 129 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6387 upgd conss, 7082 impls, 0 clqs
0.59/0.64 c (round 7) 103 del vars, 129 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6387 upgd conss, 27270 impls, 0 clqs
0.69/0.78 c (round 8) 153 del vars, 129 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6387 upgd conss, 46726 impls, 0 clqs
0.89/0.92 c (0.7s) probing: 548/2606 (21.0%) - 2 fixings, 183 aggregations, 12557 implications, 0 bound changes
0.89/0.92 c (0.7s) probing aborted: 100/100 successive totally useless probings
0.89/0.92 c (round 9) 188 del vars, 129 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6387 upgd conss, 48328 impls, 0 clqs
0.89/0.94 c (0.7s) probing: 558/2606 (21.4%) - 2 fixings, 183 aggregations, 12557 implications, 0 bound changes
0.89/0.94 c (0.7s) probing aborted: 100/100 successive totally useless probings
0.89/0.95 c presolving (10 rounds):
0.89/0.95 c 188 deleted vars, 129 deleted constraints, 0 tightened bounds, 0 added holes, 122 changed sides, 0 changed coefficients
0.89/0.95 c 48328 implications, 0 cliques
0.89/0.95 c presolved problem has 2418 variables (2418 bin, 0 int, 0 impl, 0 cont) and 6380 constraints
0.89/0.95 c 6380 constraints of type <logicor>
0.89/0.95 c transformed objective value is always integral (scale: 1)
0.89/0.95 c Presolving Time: 0.71
0.89/0.95 c - non default parameters ----------------------------------------------------------------------
0.89/0.95 c # SCIP version 1.2.1.2
0.89/0.95 c
0.89/0.95 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.89/0.95 c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.95 c conflict/interconss = 0
0.89/0.95 c
0.89/0.95 c # should binary conflicts be preferred?
0.89/0.95 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.95 c conflict/preferbinary = TRUE
0.89/0.95 c
0.89/0.95 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.89/0.95 c # [type: int, range: [-1,2147483647], default: 0]
0.89/0.95 c constraints/agelimit = 1
0.89/0.95 c
0.89/0.95 c # should enforcement of pseudo solution be disabled?
0.89/0.95 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.95 c constraints/disableenfops = TRUE
0.89/0.95 c
0.89/0.95 c # frequency for displaying node information lines
0.89/0.95 c # [type: int, range: [-1,2147483647], default: 100]
0.89/0.95 c display/freq = 10000
0.89/0.95 c
0.89/0.95 c # maximal time in seconds to run
0.89/0.95 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.95 c limits/time = 1799.87
0.89/0.95 c
0.89/0.95 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.89/0.95 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.95 c limits/memory = 1620
0.89/0.95 c
0.89/0.95 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.89/0.95 c # [type: int, range: [-1,2147483647], default: 1]
0.89/0.95 c lp/solvefreq = 0
0.89/0.95 c
0.89/0.95 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.89/0.95 c # [type: char, range: {lafpsqd}, default: l]
0.89/0.95 c lp/pricing = a
0.89/0.95 c
0.89/0.95 c # should presolving try to simplify inequalities
0.89/0.95 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.95 c constraints/linear/simplifyinequalities = TRUE
0.89/0.95 c
0.89/0.95 c # should presolving try to simplify knapsacks
0.89/0.95 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.95 c constraints/knapsack/simplifyinequalities = TRUE
0.89/0.95 c
0.89/0.95 c # priority of node selection rule <dfs> in standard mode
0.89/0.95 c # [type: int, range: [-536870912,536870911], default: 0]
0.89/0.95 c nodeselection/dfs/stdpriority = 1000000
0.89/0.95 c
0.89/0.95 c -----------------------------------------------------------------------------------------------
0.89/0.95 c start solving
0.89/0.95 c
4.19/4.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.19/4.23 c 4.0s| 1 | 0 | 4692 | - | 15M| 0 |1673 |2418 |6380 |2418 |6193 | 0 | 0 | 0 | 7.849117e+02 | -- | Inf
15.89/15.97 c 15.6s| 1 | 0 | 13487 | - | 18M| 0 |1419 |2418 |6380 |2418 |7426 |1233 | 0 | 0 | 8.086806e+02 | -- | Inf
17.78/17.89 c 17.5s| 1 | 0 | 14711 | - | 22M| 0 |1820 |2418 |6380 |2418 |7465 |1272 | 0 | 0 | 8.163891e+02 | -- | Inf
19.98/20.03 c 19.6s| 1 | 0 | 16035 | - | 25M| 0 |1511 |2418 |6380 |2418 |7493 |1300 | 0 | 0 | 8.192435e+02 | -- | Inf
22.49/22.58 c 22.1s| 1 | 0 | 17473 | - | 27M| 0 |1464 |2418 |6380 |2418 |7525 |1332 | 0 | 0 | 8.223023e+02 | -- | Inf
24.19/24.26 c 23.8s| 1 | 0 | 18114 | - | 31M| 0 |1448 |2418 |6380 |2418 |7548 |1355 | 0 | 0 | 8.229973e+02 | -- | Inf
27.78/27.84 c 27.3s| 1 | 0 | 20026 | - | 35M| 0 |1503 |2418 |6380 |2418 |7576 |1383 | 0 | 0 | 8.248819e+02 | -- | Inf
30.69/30.76 c 30.2s| 1 | 0 | 21339 | - | 39M| 0 |1528 |2418 |6380 |2418 |7604 |1411 | 0 | 0 | 8.275375e+02 | -- | Inf
33.57/33.68 c 33.1s| 1 | 0 | 22769 | - | 41M| 0 |1476 |2418 |6380 |2418 |7629 |1436 | 0 | 0 | 8.291424e+02 | -- | Inf
38.07/38.16 c 37.5s| 1 | 0 | 25029 | - | 45M| 0 |1818 |2418 |6380 |2418 |7663 |1470 | 0 | 0 | 8.312328e+02 | -- | Inf
42.87/42.97 c 42.3s| 1 | 0 | 27017 | - | 54M| 0 |1533 |2418 |6380 |2418 |7702 |1509 | 0 | 0 | 8.336635e+02 | -- | Inf
46.47/46.51 c 45.8s| 1 | 0 | 28588 | - | 58M| 0 |1527 |2418 |6380 |2418 |6547 |1546 | 0 | 0 | 8.353908e+02 | -- | Inf
49.87/49.94 c 49.2s| 1 | 0 | 29971 | - | 64M| 0 |1559 |2418 |6380 |2418 |6574 |1573 | 0 | 0 | 8.376689e+02 | -- | Inf
57.27/57.30 c 56.5s| 1 | 0 | 32797 | - | 66M| 0 |1625 |2418 |6380 |2418 |6615 |1614 | 0 | 0 | 8.406846e+02 | -- | Inf
64.76/64.86 c 64.0s| 1 | 0 | 35711 | - | 73M| 0 |1520 |2418 |6380 |2418 |6667 |1666 | 0 | 0 | 8.556734e+02 | -- | Inf
72.35/72.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
72.35/72.42 c 71.5s| 1 | 0 | 39167 | - | 76M| 0 |1915 |2418 |6380 |2418 |6717 |1716 | 0 | 0 | 8.739451e+02 | -- | Inf
77.85/77.91 c 76.9s| 1 | 0 | 41384 | - | 80M| 0 |1856 |2418 |6380 |2418 |6756 |1755 | 0 | 0 | 8.810809e+02 | -- | Inf
81.75/81.86 c 80.8s| 1 | 0 | 43230 | - | 84M| 0 |1584 |2418 |6380 |2418 |6681 |1782 | 0 | 0 | 8.831225e+02 | -- | Inf
86.35/86.41 c 85.3s| 1 | 0 | 45288 | - | 88M| 0 |1863 |2418 |6380 |2418 |6739 |1840 | 0 | 0 | 9.017819e+02 | -- | Inf
90.06/90.19 c 89.1s| 1 | 0 | 47057 | - | 92M| 0 |1885 |2418 |6380 |2418 |6769 |1870 | 0 | 0 | 9.038875e+02 | -- | Inf
95.05/95.18 c 94.0s| 1 | 0 | 48859 | - | 96M| 0 |1610 |2418 |6380 |2418 |6815 |1916 | 0 | 0 | 9.090280e+02 | -- | Inf
98.04/98.16 c 97.0s| 1 | 0 | 50138 | - | 97M| 0 |1618 |2418 |6380 |2418 |6854 |1955 | 0 | 0 | 9.106580e+02 | -- | Inf
102.94/103.05 c 102s| 1 | 0 | 52207 | - | 99M| 0 |1664 |2418 |6380 |2418 |6887 |1988 | 0 | 0 | 9.126349e+02 | -- | Inf
108.34/108.42 c 107s| 1 | 0 | 54554 | - | 100M| 0 |1645 |2418 |6380 |2418 |6779 |2034 | 0 | 0 | 9.176673e+02 | -- | Inf
111.54/111.61 c 110s| 1 | 0 | 56140 | - | 102M| 0 |1700 |2418 |6380 |2418 |6818 |2073 | 0 | 0 | 9.198433e+02 | -- | Inf
117.74/117.81 c 116s| 1 | 0 | 58831 | - | 103M| 0 |1708 |2418 |6380 |2418 |6875 |2130 | 0 | 0 | 9.380757e+02 | -- | Inf
121.13/121.25 c 120s| 1 | 0 | 60527 | - | 106M| 0 |1665 |2418 |6380 |2418 |6906 |2161 | 0 | 0 | 9.414769e+02 | -- | Inf
125.73/125.82 c 124s| 1 | 0 | 62923 | - | 108M| 0 |1620 |2418 |6380 |2418 |6941 |2196 | 0 | 0 | 9.430615e+02 | -- | Inf
131.53/131.64 c 130s| 1 | 0 | 65577 | - | 109M| 0 |1587 |2418 |6380 |2418 |6997 |2252 | 0 | 0 | 9.593474e+02 | -- | Inf
137.63/137.76 c 136s| 1 | 0 | 68545 | - | 111M| 0 |1699 |2418 |6380 |2418 |6852 |2284 | 0 | 0 | 9.605964e+02 | -- | Inf
143.83/143.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
143.83/143.96 c 142s| 1 | 0 | 71868 | - | 113M| 0 |1786 |2418 |6380 |2418 |6889 |2321 | 0 | 0 | 9.622129e+02 | -- | Inf
147.13/147.29 c 146s| 1 | 0 | 73611 | - | 115M| 0 |1777 |2418 |6380 |2418 |6920 |2352 | 0 | 0 | 9.658573e+02 | -- | Inf
150.53/150.68 c 149s| 1 | 0 | 75440 | - | 116M| 0 |1793 |2418 |6380 |2418 |6964 |2396 | 0 | 0 | 9.686218e+02 | -- | Inf
157.91/158.07 c 156s| 1 | 0 | 78934 | - | 117M| 0 |1760 |2418 |6380 |2418 |7003 |2435 | 0 | 0 | 9.705038e+02 | -- | Inf
167.41/167.59 c 166s| 1 | 0 | 83104 | - | 119M| 0 |1795 |2418 |6380 |2418 |7056 |2488 | 0 | 0 | 9.752386e+02 | -- | Inf
175.21/175.33 c 173s| 1 | 0 | 86728 | - | 120M| 0 |1856 |2418 |6380 |2418 |6916 |2528 | 0 | 0 | 9.788320e+02 | -- | Inf
181.81/181.98 c 180s| 1 | 0 | 89936 | - | 122M| 0 |1892 |2418 |6380 |2418 |6939 |2551 | 0 | 0 | 9.802812e+02 | -- | Inf
187.50/187.60 c 186s| 1 | 0 | 92148 | - | 123M| 0 |1789 |2418 |6380 |2418 |6991 |2603 | 0 | 0 | 9.864175e+02 | -- | Inf
197.51/197.63 c 196s| 1 | 0 | 96503 | - | 123M| 0 |1707 |2418 |6380 |2418 |7076 |2688 | 0 | 0 | 1.003578e+03 | -- | Inf
201.90/202.01 c 200s| 1 | 0 | 98530 | - | 125M| 0 |1757 |2418 |6380 |2418 |7132 |2744 | 0 | 0 | 1.007799e+03 | -- | Inf
209.40/209.57 c 207s| 1 | 0 |101708 | - | 127M| 0 |1744 |2418 |6380 |2418 |7192 |2804 | 0 | 0 | 1.018362e+03 | -- | Inf
212.40/212.50 c 210s| 1 | 0 |102956 | - | 127M| 0 |1802 |2418 |6380 |2418 |7086 |2849 | 0 | 0 | 1.022220e+03 | -- | Inf
215.69/215.84 c 214s| 1 | 0 |104447 | - | 128M| 0 |1835 |2418 |6380 |2418 |7127 |2890 | 0 | 0 | 1.022766e+03 | -- | Inf
220.19/220.32 c 218s| 1 | 0 |106536 | - | 131M| 0 |1812 |2418 |6380 |2418 |7154 |2917 | 0 | 0 | 1.023928e+03 | -- | Inf
225.99/226.15 c 224s| 1 | 0 |109152 | - | 132M| 0 |1833 |2418 |6380 |2418 |7203 |2966 | 0 | 0 | 1.031300e+03 | -- | Inf
232.69/232.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
232.69/232.84 c 230s| 1 | 0 |112214 | - | 133M| 0 |1831 |2418 |6380 |2418 |7257 |3020 | 0 | 0 | 1.034693e+03 | -- | Inf
235.59/235.72 c 233s| 1 | 0 |113482 | - | 135M| 0 |1845 |2418 |6380 |2418 |7290 |3053 | 0 | 0 | 1.035538e+03 | -- | Inf
240.08/240.23 c 238s| 1 | 0 |115263 | - | 137M| 0 |1864 |2418 |6380 |2418 |7125 |3089 | 0 | 0 | 1.037516e+03 | -- | Inf
244.69/244.83 c 242s| 1 | 0 |117363 | - | 139M| 0 |1814 |2418 |6380 |2418 |7164 |3128 | 0 | 0 | 1.039097e+03 | -- | Inf
248.78/248.92 c 246s| 1 | 0 |119142 | - | 141M| 0 |1923 |2418 |6380 |2418 |7200 |3164 | 0 | 0 | 1.040871e+03 | -- | Inf
256.58/256.70 c 254s| 1 | 0 |122234 | - | 142M| 0 |1835 |2418 |6380 |2418 |7274 |3238 | 0 | 0 | 1.056158e+03 | -- | Inf
260.27/260.48 c 258s| 1 | 0 |124072 | - | 143M| 0 |1840 |2418 |6380 |2418 |7309 |3273 | 0 | 0 | 1.059738e+03 | -- | Inf
263.98/264.19 c 262s| 1 | 0 |125698 | - | 144M| 0 |1896 |2418 |6380 |2418 |7338 |3302 | 0 | 0 | 1.060660e+03 | -- | Inf
270.38/270.53 c 268s| 1 | 0 |127982 | - | 145M| 0 |1766 |2418 |6380 |2418 |7136 |3354 | 0 | 0 | 1.068371e+03 | -- | Inf
275.47/275.61 c 273s| 1 | 0 |130127 | - | 146M| 0 |1851 |2418 |6380 |2418 |7178 |3396 | 0 | 0 | 1.071767e+03 | -- | Inf
279.87/280.06 c 277s| 1 | 0 |132328 | - | 147M| 0 |1759 |2418 |6380 |2418 |7235 |3453 | 0 | 0 | 1.074736e+03 | -- | Inf
284.87/285.00 c 282s| 1 | 0 |134468 | - | 150M| 0 |1721 |2418 |6380 |2418 |7270 |3488 | 0 | 0 | 1.076242e+03 | -- | Inf
290.47/290.68 c 288s| 1 | 0 |137285 | - | 151M| 0 |1752 |2418 |6380 |2418 |7322 |3540 | 0 | 0 | 1.077235e+03 | -- | Inf
297.27/297.45 c 294s| 1 | 0 |140389 | - | 152M| 0 |1916 |2418 |6380 |2418 |7363 |3581 | 0 | 0 | 1.078426e+03 | -- | Inf
304.57/304.80 c 302s| 1 | 0 |143414 | - | 153M| 0 |1952 |2418 |6380 |2418 |7239 |3646 | 0 | 0 | 1.080445e+03 | -- | Inf
312.76/312.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
312.76/312.92 c 310s| 1 | 0 |146566 | - | 155M| 0 |1874 |2418 |6380 |2418 |7294 |3701 | 0 | 0 | 1.089277e+03 | -- | Inf
315.36/315.50 c 312s| 1 | 0 |147582 | - | 156M| 0 |1886 |2418 |6380 |2418 |7337 |3744 | 0 | 0 | 1.091217e+03 | -- | Inf
320.76/320.96 c 318s| 1 | 0 |149914 | - | 157M| 0 |1978 |2418 |6380 |2418 |7375 |3782 | 0 | 0 | 1.092282e+03 | -- | Inf
325.55/325.76 c 323s| 1 | 0 |151606 | - | 159M| 0 |1911 |2418 |6380 |2418 |7419 |3826 | 0 | 0 | 1.094686e+03 | -- | Inf
334.85/335.04 c 332s| 1 | 0 |155451 | - | 161M| 0 |1841 |2418 |6380 |2418 |7455 |3862 | 0 | 0 | 1.098004e+03 | -- | Inf
342.15/342.36 c 339s| 1 | 0 |158578 | - | 163M| 0 |1911 |2418 |6380 |2418 |7257 |3912 | 0 | 0 | 1.102367e+03 | -- | Inf
348.04/348.20 c 345s| 1 | 0 |161496 | - | 164M| 0 |1950 |2418 |6380 |2418 |7302 |3957 | 0 | 0 | 1.105109e+03 | -- | Inf
354.05/354.24 c 351s| 1 | 0 |164034 | - | 165M| 0 |1978 |2418 |6380 |2418 |7356 |4011 | 0 | 0 | 1.108711e+03 | -- | Inf
362.04/362.28 c 359s| 1 | 0 |167766 | - | 166M| 0 |2063 |2418 |6380 |2418 |7392 |4047 | 0 | 0 | 1.110782e+03 | -- | Inf
368.73/368.90 c 365s| 1 | 0 |170577 | - | 168M| 0 |2044 |2418 |6380 |2418 |7424 |4079 | 0 | 0 | 1.112239e+03 | -- | Inf
371.93/372.18 c 369s| 1 | 0 |171677 | - | 169M| 0 |2028 |2418 |6380 |2418 |7458 |4113 | 0 | 0 | 1.112587e+03 | -- | Inf
380.63/380.87 c 377s| 1 | 0 |174919 | - | 171M| 0 |2017 |2418 |6380 |2418 |7271 |4152 | 0 | 0 | 1.114604e+03 | -- | Inf
388.23/388.43 c 385s| 1 | 0 |178135 | - | 171M| 0 |1977 |2418 |6380 |2418 |7327 |4208 | 0 | 0 | 1.120085e+03 | -- | Inf
396.43/396.69 c 393s| 1 | 0 |181614 | - | 172M| 0 |1855 |2418 |6380 |2418 |7389 |4270 | 0 | 0 | 1.128465e+03 | -- | Inf
400.02/400.27 c 396s| 1 | 0 |183432 | - | 173M| 0 |2002 |2418 |6380 |2418 |7432 |4313 | 0 | 0 | 1.130672e+03 | -- | Inf
407.62/407.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
407.62/407.87 c 404s| 1 | 0 |186826 | - | 174M| 0 |1964 |2418 |6380 |2418 |7495 |4376 | 0 | 0 | 1.139159e+03 | -- | Inf
410.52/410.79 c 407s| 1 | 0 |188222 | - | 175M| 0 |2027 |2418 |6380 |2418 |7535 |4416 | 0 | 0 | 1.140974e+03 | -- | Inf
419.72/419.98 c 416s| 1 | 0 |191512 | - | 175M| 0 |2027 |2418 |6380 |2418 |7357 |4464 | 0 | 0 | 1.145822e+03 | -- | Inf
423.11/423.30 c 419s| 1 | 0 |193107 | - | 176M| 0 |1941 |2418 |6380 |2418 |7386 |4493 | 0 | 0 | 1.147262e+03 | -- | Inf
425.21/425.48 c 421s| 1 | 0 |194045 | - | 177M| 0 |1971 |2418 |6380 |2418 |7417 |4524 | 0 | 0 | 1.147986e+03 | -- | Inf
429.51/429.71 c 426s| 1 | 0 |195980 | - | 178M| 0 |2063 |2418 |6380 |2418 |7439 |4546 | 0 | 0 | 1.149001e+03 | -- | Inf
437.61/437.82 c 434s| 1 | 0 |198795 | - | 179M| 0 |2008 |2418 |6380 |2418 |7498 |4605 | 0 | 0 | 1.152715e+03 | -- | Inf
440.31/440.52 c 436s| 1 | 0 |199993 | - | 180M| 0 |1959 |2418 |6380 |2418 |7526 |4633 | 0 | 0 | 1.153159e+03 | -- | Inf
449.00/449.27 c 445s| 1 | 0 |203731 | - | 180M| 0 |1969 |2418 |6380 |2418 |7328 |4675 | 0 | 0 | 1.159574e+03 | -- | Inf
451.11/451.30 c 447s| 1 | 0 |204461 | - | 181M| 0 |2003 |2418 |6380 |2418 |7346 |4693 | 0 | 0 | 1.159930e+03 | -- | Inf
457.49/457.70 c 453s| 1 | 0 |206978 | - | 182M| 0 |2015 |2418 |6380 |2418 |7378 |4725 | 0 | 0 | 1.164415e+03 | -- | Inf
462.39/462.62 c 458s| 1 | 0 |208987 | - | 183M| 0 |2003 |2418 |6380 |2418 |7420 |4767 | 0 | 0 | 1.168030e+03 | -- | Inf
467.59/467.81 c 463s| 1 | 0 |211566 | - | 184M| 0 |1996 |2418 |6380 |2418 |7454 |4801 | 0 | 0 | 1.170543e+03 | -- | Inf
473.49/473.72 c 469s| 1 | 0 |214303 | - | 184M| 0 |2057 |2418 |6380 |2418 |7503 |4850 | 0 | 0 | 1.174651e+03 | -- | Inf
477.29/477.54 c 473s| 1 | 0 |216192 | - | 186M| 0 |2001 |2418 |6380 |2418 |7305 |4882 | 0 | 0 | 1.175845e+03 | -- | Inf
480.68/480.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
480.68/480.96 c 476s| 1 | 0 |218070 | - | 187M| 0 |2048 |2418 |6380 |2418 |7339 |4916 | 0 | 0 | 1.177829e+03 | -- | Inf
484.59/484.81 c 480s| 1 | 0 |219557 | - | 188M| 0 |2012 |2418 |6380 |2418 |7374 |4951 | 0 | 0 | 1.179981e+03 | -- | Inf
486.99/487.29 c 483s| 1 | 0 |220536 | - | 189M| 0 |2063 |2418 |6380 |2418 |7399 |4976 | 0 | 0 | 1.180799e+03 | -- | Inf
492.78/493.08 c 488s| 1 | 0 |222711 | - | 189M| 0 |2033 |2418 |6380 |2418 |7443 |5020 | 0 | 0 | 1.184075e+03 | -- | Inf
497.78/498.06 c 493s| 1 | 0 |224665 | - | 190M| 0 |2060 |2418 |6380 |2418 |7481 |5058 | 0 | 0 | 1.188881e+03 | -- | Inf
502.08/502.33 c 498s| 1 | 0 |226616 | - | 191M| 0 |2002 |2418 |6380 |2418 |7306 |5093 | 0 | 0 | 1.191032e+03 | -- | Inf
504.28/504.52 c 500s| 1 | 0 |227529 | - | 192M| 0 |1983 |2418 |6380 |2418 |7330 |5117 | 0 | 0 | 1.192233e+03 | -- | Inf
506.58/506.82 c 502s| 1 | 0 |228520 | - | 193M| 0 |2004 |2418 |6380 |2418 |7349 |5136 | 0 | 0 | 1.193295e+03 | -- | Inf
510.97/511.27 c 507s| 1 | 0 |229967 | - | 194M| 0 |2088 |2418 |6380 |2418 |7386 |5173 | 0 | 0 | 1.195929e+03 | -- | Inf
516.78/517.03 c 512s| 1 | 0 |231422 | - | 194M| 0 |2068 |2418 |6380 |2418 |7416 |5203 | 0 | 0 | 1.198098e+03 | -- | Inf
518.88/519.11 c 514s| 1 | 0 |231986 | - | 195M| 0 |2061 |2418 |6380 |2418 |7431 |5218 | 0 | 0 | 1.198306e+03 | -- | Inf
524.17/524.48 c 520s| 1 | 0 |233470 | - | 195M| 0 |2040 |2418 |6380 |2418 |7250 |5235 | 0 | 0 | 1.199667e+03 | -- | Inf
527.87/528.16 c 523s| 1 | 0 |234058 | - | 192M| 0 |2014 |2418 |6380 |2418 |7277 |5262 | 0 | 0 | 1.201010e+03 | -- | Inf
531.27/531.58 c 527s| 1 | 0 |234899 | - | 189M| 0 |2021 |2418 |6380 |2418 |7300 |5285 | 0 | 0 | 1.201983e+03 | -- | Inf
535.87/536.10 c 531s| 1 | 0 |236185 | - | 186M| 0 |1996 |2418 |6380 |2418 |7329 |5314 | 0 | 0 | 1.203862e+03 | -- | Inf
540.06/540.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
540.06/540.37 c 535s| 1 | 0 |237408 | - | 185M| 0 |1978 |2418 |6380 |2418 |7355 |5340 | 0 | 0 | 1.205723e+03 | -- | Inf
544.36/544.63 c 540s| 1 | 0 |238691 | - | 182M| 0 |2013 |2418 |6380 |2418 |7384 |5369 | 0 | 0 | 1.207354e+03 | -- | Inf
548.06/548.36 c 543s| 1 | 0 |239112 | - | 178M| 0 |1988 |2418 |6380 |2418 |7241 |5382 | 0 | 0 | 1.207514e+03 | -- | Inf
550.77/551.08 c 546s| 1 | 0 |239541 | - | 174M| 0 |2030 |2418 |6380 |2418 |7251 |5392 | 0 | 0 | 1.208110e+03 | -- | Inf
554.07/554.38 c 549s| 1 | 0 |240078 | - | 172M| 0 |2056 |2418 |6380 |2418 |7259 |5400 | 0 | 0 | 1.208461e+03 | -- | Inf
557.16/557.47 c 552s| 1 | 0 |241491 | - | 168M| 0 |2063 |2418 |6380 |2418 |7274 |5415 | 0 | 0 | 1.209096e+03 | -- | Inf
561.16/561.41 c 556s| 1 | 0 |242598 | - | 160M| 0 |2012 |2418 |6380 |2418 |7301 |5442 | 0 | 0 | 1.209868e+03 | -- | Inf
567.75/568.10 c 563s| 1 | 0 |245417 | - | 156M| 0 |2059 |2418 |6380 |2418 |7343 |5484 | 0 | 0 | 1.213225e+03 | -- | Inf
571.55/571.85 c 567s| 1 | 0 |246244 | - | 151M| 0 |2053 |2418 |6380 |2418 |7231 |5504 | 0 | 0 | 1.213353e+03 | -- | Inf
574.96/575.29 c 570s| 1 | 0 |246853 | - | 149M| 0 |2016 |2418 |6380 |2418 |7248 |5521 | 0 | 0 | 1.214388e+03 | -- | Inf
577.05/577.39 c 572s| 1 | 0 |247340 | - | 142M| 0 |2084 |2418 |6380 |2418 |7260 |5533 | 0 | 0 | 1.215087e+03 | -- | Inf
581.35/581.65 c 576s| 1 | 0 |248297 | - | 139M| 0 |2080 |2418 |6380 |2418 |7272 |5545 | 0 | 0 | 1.215240e+03 | -- | Inf
584.05/584.34 c 579s| 1 | 0 |249335 | - | 136M| 0 |2090 |2418 |6380 |2418 |7284 |5557 | 0 | 0 | 1.215724e+03 | -- | Inf
586.44/586.73 c 581s| 1 | 0 |250338 | - | 133M| 0 |2003 |2418 |6380 |2418 |7299 |5572 | 0 | 0 | 1.215905e+03 | -- | Inf
590.74/591.03 c 586s| 1 | 0 |251889 | - | 129M| 0 |2035 |2418 |6380 |2418 |7205 |5586 | 0 | 0 | 1.217342e+03 | -- | Inf
592.95/593.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
592.95/593.26 c 588s| 1 | 0 |252650 | - | 126M| 0 |2018 |2418 |6380 |2418 |7213 |5594 | 0 | 0 | 1.217654e+03 | -- | Inf
594.85/595.17 c 590s| 1 | 0 |253427 | - | 123M| 0 |2020 |2418 |6380 |2418 |7225 |5606 | 0 | 0 | 1.218121e+03 | -- | Inf
599.14/599.42 c 594s| 1 | 0 |254731 | - | 121M| 0 |2074 |2418 |6380 |2418 |7230 |5611 | 0 | 0 | 1.218961e+03 | -- | Inf
603.65/603.92 c 599s| 1 | 0 |256169 | - | 120M| 0 |2077 |2418 |6380 |2418 |7243 |5624 | 0 | 0 | 1.220088e+03 | -- | Inf
606.33/606.67 c 601s| 1 | 0 |256458 | - | 118M| 0 |2094 |2418 |6380 |2418 |7249 |5630 | 0 | 0 | 1.220120e+03 | -- | Inf
610.25/610.57 c 605s| 1 | 0 |257619 | - | 116M| 0 |2098 |2418 |6380 |2418 |7137 |5635 | 0 | 0 | 1.220167e+03 | -- | Inf
614.03/614.39 c 609s| 1 | 0 |258925 | - | 115M| 0 |2073 |2418 |6380 |2418 |7142 |5640 | 0 | 0 | 1.220220e+03 | -- | Inf
618.13/618.44 c 613s| 1 | 0 |259954 | - | 113M| 0 |2111 |2418 |6380 |2418 |7148 |5646 | 0 | 0 | 1.220361e+03 | -- | Inf
622.03/622.35 c 617s| 1 | 0 |260986 | - | 111M| 0 |2090 |2418 |6380 |2418 |7164 |5662 | 0 | 0 | 1.220760e+03 | -- | Inf
625.93/626.21 c 621s| 1 | 0 |262001 | - | 110M| 0 |2030 |2418 |6380 |2418 |7172 |5670 | 0 | 0 | 1.221032e+03 | -- | Inf
630.04/630.36 c 625s| 1 | 0 |263327 | - | 108M| 0 |2061 |2418 |6380 |2418 |7193 |5691 | 0 | 0 | 1.221431e+03 | -- | Inf
634.13/634.47 c 629s| 1 | 0 |263851 | - | 106M| 0 |2073 |2418 |6380 |2418 |7147 |5700 | 0 | 0 | 1.221671e+03 | -- | Inf
637.52/637.82 c 632s| 1 | 0 |264312 | - | 104M| 0 |2087 |2418 |6380 |2418 |7152 |5705 | 0 | 0 | 1.221698e+03 | -- | Inf
641.22/641.53 c 636s| 1 | 0 |265208 | - | 103M| 0 |2116 |2418 |6380 |2418 |7163 |5716 | 0 | 0 | 1.222375e+03 | -- | Inf
644.72/645.00 c 639s| 1 | 0 |265540 | - | 102M| 0 |2121 |2418 |6380 |2418 |7169 |5722 | 0 | 0 | 1.222436e+03 | -- | Inf
648.42/648.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
648.42/648.79 c 643s| 1 | 0 |265977 | - | 100M| 0 |2111 |2418 |6380 |2418 |7176 |5729 | 0 | 0 | 1.222560e+03 | -- | Inf
651.82/652.20 c 646s| 1 | 0 |266025 | - | 99M| 0 |2119 |2418 |6380 |2418 |7180 |5733 | 0 | 0 | 1.222560e+03 | -- | Inf
670.51/670.85 c 665s| 1 | 2 |266025 | - | 97M| 0 |2119 |2418 |6380 |2418 |7180 |5733 | 0 | 37 | 1.222560e+03 | -- | Inf
729.28/729.65 c 722s| 10000 | 48 |266025 | 0.0 | 98M| 77 | - |2418 |6396 | 0 | 0 |5733 |6693 | 37 | 1.222790e+03 | -- | Inf
783.26/783.65 c 774s| 20000 | 44 |266025 | 0.0 | 98M| 77 | - |2418 |6428 | 0 | 0 |5733 | 13k| 37 | 1.222790e+03 | -- | Inf
836.65/837.01 c 826s| 30000 | 40 |266025 | 0.0 | 98M| 77 | - |2418 |6477 | 0 | 0 |5733 | 20k| 37 | 1.222790e+03 | -- | Inf
891.82/892.26 c 880s| 40000 | 48 |266025 | 0.0 | 98M| 77 | - |2418 |6478 | 0 | 0 |5733 | 27k| 37 | 1.222790e+03 | -- | Inf
953.80/954.20 c 940s| 50000 | 44 |266025 | 0.0 | 99M| 77 | - |2418 |6935 | 0 | 0 |5733 | 34k| 37 | 1.222790e+03 | -- | Inf
1016.67/1017.17 c 1001s| 60000 | 43 |266025 | 0.0 | 99M| 77 | - |2418 |6973 | 0 | 0 |5733 | 41k| 37 | 1.222790e+03 | -- | Inf
1076.14/1076.60 c 1059s| 70000 | 42 |266025 | 0.0 | 99M| 77 | - |2418 |6971 | 0 | 0 |5733 | 48k| 37 | 1.222790e+03 | -- | Inf
1137.32/1137.89 c 1118s| 80000 | 42 |266025 | 0.0 | 99M| 77 | - |2418 |6955 | 0 | 0 |5733 | 54k| 37 | 1.222790e+03 | -- | Inf
1199.19/1199.70 c 1178s| 90000 | 42 |266025 | 0.0 | 99M| 77 | - |2418 |6991 | 0 | 0 |5733 | 61k| 37 | 1.222790e+03 | -- | Inf
1263.27/1263.84 c 1241s|100000 | 39 |266025 | 0.0 | 99M| 77 | - |2418 |7024 | 0 | 0 |5733 | 68k| 37 | 1.222790e+03 | -- | Inf
1325.04/1325.64 c 1301s|110000 | 41 |266025 | 0.0 | 99M| 77 | - |2418 |6993 | 0 | 0 |5733 | 75k| 37 | 1.222790e+03 | -- | Inf
1387.32/1387.90 c 1361s|120000 | 44 |266025 | 0.0 | 99M| 77 | - |2418 |6970 | 0 | 0 |5733 | 81k| 37 | 1.222790e+03 | -- | Inf
1447.59/1448.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1447.59/1448.26 c 1420s|130000 | 46 |266025 | 0.0 | 99M| 77 | - |2418 |6959 | 0 | 0 |5733 | 88k| 37 | 1.222790e+03 | -- | Inf
1511.46/1512.17 c 1482s|140000 | 43 |266025 | 0.0 | 99M| 77 | - |2418 |6994 | 0 | 0 |5733 | 95k| 37 | 1.222790e+03 | -- | Inf
1575.44/1576.19 c 1544s|150000 | 41 |266025 | 0.0 | 99M| 77 | - |2418 |7025 | 0 | 0 |5733 | 101k| 37 | 1.222790e+03 | -- | Inf
1643.91/1644.62 c 1610s|160000 | 46 |266025 | 0.0 | 99M| 77 | - |2418 |7027 | 0 | 0 |5733 | 108k| 37 | 1.222790e+03 | -- | Inf
1705.29/1706.01 c 1670s|170000 | 42 |266025 | 0.0 | 99M| 77 | - |2418 |7067 | 0 | 0 |5733 | 115k| 37 | 1.222790e+03 | -- | Inf
1771.95/1772.70 c 1735s|180000 | 45 |266025 | 0.0 | 99M| 77 | - |2418 |7030 | 0 | 0 |5733 | 121k| 37 | 1.222790e+03 | -- | Inf
1800.05/1800.80 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.80 c
1800.05/1800.80 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.80 c Solving Time (sec) : 1762.33
1800.05/1800.80 c Solving Nodes : 184863
1800.05/1800.80 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.05/1800.80 c Dual Bound : +1.22278984515700e+03
1800.05/1800.80 c Gap : infinite
1800.05/1800.80 s UNKNOWN
1800.05/1800.80 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.80 c Solving Time : 1762.33
1800.05/1800.80 c Original Problem :
1800.05/1800.80 c Problem name : HOME/instance-2666850-1276417200.opb
1800.05/1800.80 c Variables : 2606 (2606 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.80 c Constraints : 6509 initial, 6509 maximal
1800.05/1800.80 c Presolved Problem :
1800.05/1800.80 c Problem name : t_HOME/instance-2666850-1276417200.opb
1800.05/1800.80 c Variables : 2418 (2418 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.80 c Constraints : 6380 initial, 7091 maximal
1800.05/1800.80 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.80 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.80 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.80 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.80 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.80 c implics : 0.01 0 3 0 0 0 0 0 0
1800.05/1800.80 c probing : 0.43 2 183 0 0 0 0 0 0
1800.05/1800.80 c linear : 0.11 0 0 0 0 0 122 122 0
1800.05/1800.80 c logicor : 0.13 0 0 0 0 0 7 0 0
1800.05/1800.80 c root node : - 0 - - 0 - - - -
1800.05/1800.80 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.80 c integral : 0 0 0 1 0 0 0 0 0 2
1800.05/1800.80 c logicor : 6380+ 137 6213542 0 0 122801 42624213 0 0 0
1800.05/1800.80 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.80 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.80 c integral : 15.00 0.00 0.00 15.00 0.00
1800.05/1800.80 c logicor : 266.10 0.16 265.94 0.00 0.00
1800.05/1800.80 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.80 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.80 c vbounds : 2.74 2 0 0
1800.05/1800.80 c rootredcost : 2.61 0 0 0
1800.05/1800.80 c pseudoobj : 577.26 6328516 0 0
1800.05/1800.80 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.80 c propagation : 100.06 122801 122801 122801 44.4 2536 22.0 -
1800.05/1800.80 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.80 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.80 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.80 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.80 c applied globally : - - - 125337 43.9 - - -
1800.05/1800.80 c applied locally : - - - 0 0.0 - - -
1800.05/1800.80 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.80 c cut pool : 6.44 136 - - 5686 - (maximal pool size: 36232)
1800.05/1800.80 c redcost : 0.03 137 0 0 0 0
1800.05/1800.80 c impliedbounds : 0.20 137 0 0 2608 0
1800.05/1800.80 c intobj : 0.00 0 0 0 0 0
1800.05/1800.80 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.80 c gomory : 199.24 137 0 0 58054 0
1800.05/1800.80 c strongcg : 6.88 20 0 0 10000 0
1800.05/1800.80 c cmir : 0.68 10 0 0 0 0
1800.05/1800.80 c flowcover : 0.57 10 0 0 0 0
1800.05/1800.80 c clique : 0.34 137 0 0 38 0
1800.05/1800.80 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.80 c mcf : 0.01 1 0 0 0 0
1800.05/1800.80 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.80 c Pricers : Time Calls Vars
1800.05/1800.80 c problem variables: 0.00 0 0
1800.05/1800.80 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.80 c relpscost : 15.00 1 0 0 0 0 2
1800.05/1800.80 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.80 c inference : 73.42 123494 0 0 0 0 246988
1800.05/1800.80 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.80 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.80 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.80 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.80 c random : 0.00 0 0 0 0 0 0
1800.05/1800.80 c Primal Heuristics : Time Calls Found
1800.05/1800.80 c LP solutions : 0.00 - 0
1800.05/1800.80 c pseudo solutions : 0.00 - 0
1800.05/1800.80 c oneopt : 0.13 0 0
1800.05/1800.80 c crossover : 0.00 0 0
1800.05/1800.80 c trivial : 0.00 2 0
1800.05/1800.80 c simplerounding : 0.00 0 0
1800.05/1800.80 c zirounding : 0.00 1 0
1800.05/1800.80 c rounding : 0.23 100 0
1800.05/1800.80 c shifting : 2.22 100 0
1800.05/1800.80 c intshifting : 0.00 0 0
1800.05/1800.80 c twoopt : 0.00 0 0
1800.05/1800.80 c fixandinfer : 0.00 0 0
1800.05/1800.80 c feaspump : 8.10 1 0
1800.05/1800.80 c coefdiving : 0.00 0 0
1800.05/1800.80 c pscostdiving : 0.00 0 0
1800.05/1800.80 c fracdiving : 0.00 0 0
1800.05/1800.80 c veclendiving : 0.00 0 0
1800.05/1800.80 c intdiving : 0.00 0 0
1800.05/1800.80 c actconsdiving : 0.00 0 0
1800.05/1800.80 c objpscostdiving : 0.00 0 0
1800.05/1800.80 c rootsoldiving : 0.00 0 0
1800.05/1800.80 c linesearchdiving : 0.00 0 0
1800.05/1800.81 c guideddiving : 0.00 0 0
1800.05/1800.81 c octane : 0.00 0 0
1800.05/1800.81 c rens : 0.01 0 0
1800.05/1800.81 c rins : 0.00 0 0
1800.05/1800.81 c localbranching : 0.00 0 0
1800.05/1800.81 c mutation : 0.00 0 0
1800.05/1800.81 c dins : 0.00 0 0
1800.05/1800.81 c undercover : 0.00 0 0
1800.05/1800.81 c nlp : 0.20 0 0
1800.05/1800.81 c trysol : 0.13 0 0
1800.05/1800.81 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.81 c primal LP : 0.29 0 0 0.00 0.00
1800.05/1800.81 c dual LP : 421.48 137 259771 1896.14 616.33
1800.05/1800.81 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.81 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.81 c diving/probing LP: 7.97 24 6254 260.58 784.69
1800.05/1800.81 c strong branching : 15.00 37 9911 267.86 660.73
1800.05/1800.81 c (at root node) : - 37 9911 267.86 -
1800.05/1800.81 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.81 c B&B Tree :
1800.05/1800.81 c number of runs : 1
1800.05/1800.81 c nodes : 184863
1800.05/1800.81 c nodes (total) : 184863
1800.05/1800.81 c nodes left : 40
1800.05/1800.81 c max depth : 77
1800.05/1800.81 c max depth (total): 77
1800.05/1800.81 c backtracks : 61446 (33.2%)
1800.05/1800.81 c delayed cutoffs : 62088
1800.05/1800.81 c repropagations : 180131 (21261788 domain reductions, 61433 cutoffs)
1800.05/1800.81 c avg switch length: 2.63
1800.05/1800.81 c switching time : 105.76
1800.05/1800.81 c Solution :
1800.05/1800.81 c Solutions found : 0 (0 improvements)
1800.05/1800.81 c Primal Bound : -
1800.05/1800.81 c Dual Bound : +1.22278984515700e+03
1800.05/1800.81 c Gap : infinite
1800.05/1800.81 c Root Dual Bound : +1.22255966474857e+03
1800.05/1800.81 c Root Iterations : 266025
1800.15/1800.98 c Time complete: 1800.23.