0.09/0.11 c SCIP version 1.1.0.7
0.09/0.11 c LP-Solver Clp 1.8.2
0.09/0.11 c user parameter file <scip.set> not found - using default parameters
0.09/0.11 c read problem <HOME/instance-1869145-1245160688.opb>
0.09/0.11 c original problem has 2678 variables (2678 bin, 0 int, 0 impl, 0 cont) and 6689 constraints
0.09/0.15 c start presolving problem
0.09/0.15 c presolving:
0.19/0.28 c (round 1) 0 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6565 upgd conss, 5654 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, 6566 upgd conss, 5654 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, 6567 upgd conss, 5654 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, 6567 upgd conss, 7116 impls, 0 clqs
0.29/0.39 c (round 5) 53 del vars, 127 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6567 upgd conss, 7154 impls, 0 clqs
0.39/0.41 c (round 6) 53 del vars, 129 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6567 upgd conss, 7154 impls, 0 clqs
0.50/0.57 c (round 7) 103 del vars, 129 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6567 upgd conss, 27342 impls, 0 clqs
0.59/0.69 c (round 8) 153 del vars, 129 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6567 upgd conss, 46798 impls, 0 clqs
0.79/0.83 c (0.7s) probing: 548/2678 (20.5%) - 2 fixings, 183 aggregations, 12557 implications, 0 bound changes
0.79/0.83 c (0.7s) probing aborted: 100/100 successive totally useless probings
0.79/0.83 c (round 9) 188 del vars, 129 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6567 upgd conss, 48400 impls, 0 clqs
0.79/0.85 c (0.7s) probing: 558/2678 (20.8%) - 2 fixings, 183 aggregations, 12557 implications, 0 bound changes
0.79/0.85 c (0.7s) probing aborted: 100/100 successive totally useless probings
0.79/0.85 c presolving (10 rounds):
0.79/0.85 c 188 deleted vars, 129 deleted constraints, 0 tightened bounds, 0 added holes, 122 changed sides, 0 changed coefficients
0.79/0.85 c 48400 implications, 0 cliques
0.79/0.85 c presolved problem has 2490 variables (2490 bin, 0 int, 0 impl, 0 cont) and 6560 constraints
0.79/0.85 c 6560 constraints of type <logicor>
0.79/0.85 c transformed objective value is always integral (scale: 1)
0.79/0.85 c Presolving Time: 0.66
0.79/0.86 c strange?!, PURESAT with obj
0.79/0.86 c -----------------------------------------------------------------------------------------------
0.79/0.86 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.79/0.86 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.86 c limits/memory = c 1620
0.79/0.86 c # maximal time in seconds to run
0.79/0.86 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.86 c limits/time = c 1791
0.79/0.86 c # frequency for displaying node information lines
0.79/0.86 c # [type: int, range: [-1,2147483647], default: 100]
0.79/0.86 c display/freq = c 10000
0.79/0.86 c -----------------------------------------------------------------------------------------------
0.79/0.86 c start solving problem
0.79/0.86 c
2.99/3.01 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.99/3.01 c 2.8s| 1 | 0 | 4657 | 15M| 0 |2095 |2490 |6560 |6560 |2490 |6373 | 0 | 0 | 0 | 8.022358e+02 | -- | Inf
8.98/9.03 c 8.8s| 1 | 0 | 15377 | 18M| 0 |1581 |2490 |6560 |6560 |2490 |6591 | 218 | 0 | 0 | 8.344069e+02 | -- | Inf
10.39/10.44 c 10.2s| 1 | 0 | 16873 | 21M| 0 |2035 |2490 |6560 |6560 |2490 |6614 | 241 | 0 | 0 | 8.376443e+02 | -- | Inf
11.69/11.72 c 11.5s| 1 | 0 | 17682 | 25M| 0 |1993 |2490 |6560 |6560 |2490 |6636 | 263 | 0 | 0 | 8.406940e+02 | -- | Inf
13.29/13.30 c 13.0s| 1 | 0 | 18774 | 29M| 0 |1670 |2490 |6560 |6560 |2490 |6658 | 285 | 0 | 0 | 8.444556e+02 | -- | Inf
14.68/14.72 c 14.4s| 1 | 0 | 19913 | 31M| 0 |1665 |2490 |6560 |6560 |2490 |6682 | 309 | 0 | 0 | 8.474294e+02 | -- | Inf
16.39/16.41 c 16.1s| 1 | 0 | 21261 | 33M| 0 |1767 |2490 |6560 |6560 |2490 |6704 | 331 | 0 | 0 | 8.498250e+02 | -- | Inf
17.89/17.96 c 17.7s| 1 | 0 | 22555 | 37M| 0 |1742 |2490 |6560 |6560 |2490 |6727 | 354 | 0 | 0 | 8.516208e+02 | -- | Inf
20.29/20.39 c 20.1s| 1 | 0 | 24377 | 42M| 0 |1727 |2490 |6560 |6560 |2490 |6772 | 399 | 0 | 0 | 8.611147e+02 | -- | Inf
21.68/21.79 c 21.5s| 1 | 0 | 25201 | 44M| 0 |1655 |2490 |6560 |6560 |2490 |6794 | 421 | 0 | 0 | 8.621310e+02 | -- | Inf
23.38/23.41 c 23.1s| 1 | 0 | 26164 | 48M| 0 |1761 |2490 |6560 |6560 |2490 |6818 | 445 | 0 | 0 | 8.645097e+02 | -- | Inf
25.98/26.03 c 25.7s| 1 | 0 | 27856 | 52M| 0 |1711 |2490 |6560 |6560 |2490 |6858 | 485 | 0 | 0 | 8.709679e+02 | -- | Inf
26.99/27.02 c 26.7s| 1 | 0 | 28548 | 55M| 0 |1619 |2490 |6560 |6560 |2490 |6879 | 506 | 0 | 0 | 8.721030e+02 | -- | Inf
28.18/28.25 c 27.9s| 1 | 0 | 29418 | 57M| 0 |1715 |2490 |6560 |6560 |2490 |6896 | 523 | 0 | 0 | 8.729910e+02 | -- | Inf
29.98/30.02 c 29.7s| 1 | 0 | 30490 | 59M| 0 |1707 |2490 |6560 |6560 |2490 |6703 | 550 | 0 | 0 | 8.736397e+02 | -- | Inf
31.59/31.68 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.59/31.68 c 31.3s| 1 | 0 | 31569 | 62M| 0 |1676 |2490 |6560 |6560 |2490 |6736 | 583 | 0 | 0 | 8.760830e+02 | -- | Inf
33.78/33.80 c 33.4s| 1 | 0 | 33076 | 65M| 0 |1683 |2490 |6560 |6560 |2490 |6772 | 619 | 0 | 0 | 8.809248e+02 | -- | Inf
35.98/36.01 c 35.6s| 1 | 0 | 34655 | 66M| 0 |1645 |2490 |6560 |6560 |2490 |6807 | 654 | 0 | 0 | 8.843506e+02 | -- | Inf
38.08/38.14 c 37.7s| 1 | 0 | 35996 | 69M| 0 |1592 |2490 |6560 |6560 |2490 |6841 | 688 | 0 | 0 | 8.928143e+02 | -- | Inf
39.77/39.87 c 39.5s| 1 | 0 | 37139 | 71M| 0 |1740 |2490 |6560 |6560 |2490 |6868 | 715 | 0 | 0 | 8.956213e+02 | -- | Inf
42.08/42.10 c 41.7s| 1 | 0 | 38262 | 73M| 0 |1687 |2490 |6560 |6560 |2490 |6796 | 748 | 0 | 0 | 9.003120e+02 | -- | Inf
43.47/43.57 c 43.1s| 1 | 0 | 39396 | 74M| 0 |1724 |2490 |6560 |6560 |2490 |6816 | 768 | 0 | 0 | 9.008704e+02 | -- | Inf
46.28/46.34 c 45.9s| 1 | 0 | 41584 | 75M| 0 |1776 |2490 |6560 |6560 |2490 |6867 | 819 | 0 | 0 | 9.075251e+02 | -- | Inf
48.17/48.26 c 47.8s| 1 | 0 | 42971 | 76M| 0 |1710 |2490 |6560 |6560 |2490 |6898 | 850 | 0 | 0 | 9.082851e+02 | -- | Inf
51.17/51.28 c 50.8s| 1 | 0 | 45258 | 77M| 0 |1677 |2490 |6560 |6560 |2490 |6944 | 896 | 0 | 0 | 9.149190e+02 | -- | Inf
53.28/53.31 c 52.9s| 1 | 0 | 46753 | 78M| 0 |1678 |2490 |6560 |6560 |2490 |6977 | 929 | 0 | 0 | 9.178023e+02 | -- | Inf
55.97/56.01 c 55.5s| 1 | 0 | 48506 | 80M| 0 |1724 |2490 |6560 |6560 |2490 |6883 | 976 | 0 | 0 | 9.224929e+02 | -- | Inf
57.67/57.74 c 57.3s| 1 | 0 | 49731 | 81M| 0 |1789 |2490 |6560 |6560 |2490 |6910 |1003 | 0 | 0 | 9.241828e+02 | -- | Inf
60.27/60.34 c 59.9s| 1 | 0 | 51622 | 82M| 0 |1780 |2490 |6560 |6560 |2490 |6955 |1048 | 0 | 0 | 9.293080e+02 | -- | Inf
63.97/64.04 c 63.5s| 1 | 0 | 54445 | 83M| 0 |1772 |2490 |6560 |6560 |2490 |6998 |1091 | 0 | 0 | 9.323850e+02 | -- | Inf
66.77/66.82 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
66.77/66.82 c 66.3s| 1 | 0 | 56332 | 85M| 0 |1798 |2490 |6560 |6560 |2490 |7049 |1142 | 0 | 0 | 9.397259e+02 | -- | Inf
68.47/68.56 c 68.0s| 1 | 0 | 57513 | 86M| 0 |1788 |2490 |6560 |6560 |2490 |7080 |1173 | 0 | 0 | 9.405745e+02 | -- | Inf
71.87/71.98 c 71.4s| 1 | 0 | 59524 | 88M| 0 |1846 |2490 |6560 |6560 |2490 |6986 |1217 | 0 | 0 | 9.478602e+02 | -- | Inf
75.17/75.28 c 74.7s| 1 | 0 | 61787 | 89M| 0 |1903 |2490 |6560 |6560 |2490 |7039 |1270 | 0 | 0 | 9.547603e+02 | -- | Inf
78.46/78.54 c 78.0s| 1 | 0 | 63854 | 90M| 0 |1913 |2490 |6560 |6560 |2490 |7092 |1323 | 0 | 0 | 9.614694e+02 | -- | Inf
82.67/82.78 c 82.2s| 1 | 0 | 66605 | 91M| 0 |1971 |2490 |6560 |6560 |2490 |7148 |1379 | 0 | 0 | 9.668281e+02 | -- | Inf
85.77/85.82 c 85.2s| 1 | 0 | 68550 | 92M| 0 |1878 |2490 |6560 |6560 |2490 |7203 |1434 | 0 | 0 | 9.753718e+02 | -- | Inf
89.46/89.57 c 88.9s| 1 | 0 | 70887 | 93M| 0 |1943 |2490 |6560 |6560 |2490 |7268 |1499 | 0 | 0 | 9.853579e+02 | -- | Inf
92.37/92.43 c 91.8s| 1 | 0 | 72584 | 94M| 0 |1886 |2490 |6560 |6560 |2490 |7146 |1551 | 0 | 0 | 9.913988e+02 | -- | Inf
94.76/94.81 c 94.2s| 1 | 0 | 74324 | 94M| 0 |1932 |2490 |6560 |6560 |2490 |7196 |1601 | 0 | 0 | 9.965535e+02 | -- | Inf
97.96/98.05 c 97.4s| 1 | 0 | 76613 | 96M| 0 |1975 |2490 |6560 |6560 |2490 |7249 |1654 | 0 | 0 | 1.000241e+03 | -- | Inf
100.25/100.36 c 99.7s| 1 | 0 | 78385 | 97M| 0 |1876 |2490 |6560 |6560 |2490 |7305 |1710 | 0 | 0 | 1.002983e+03 | -- | Inf
102.96/103.02 c 102s| 1 | 0 | 80234 | 99M| 0 |1903 |2490 |6560 |6560 |2490 |7353 |1758 | 0 | 0 | 1.007074e+03 | -- | Inf
105.96/106.03 c 105s| 1 | 0 | 82218 | 101M| 0 |1964 |2490 |6560 |6560 |2490 |7397 |1802 | 0 | 0 | 1.011214e+03 | -- | Inf
109.25/109.40 c 109s| 1 | 0 | 84210 | 103M| 0 |1887 |2490 |6560 |6560 |2490 |7274 |1868 | 0 | 0 | 1.017344e+03 | -- | Inf
111.36/111.47 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
111.36/111.47 c 111s| 1 | 0 | 85923 | 104M| 0 |1973 |2490 |6560 |6560 |2490 |7313 |1907 | 0 | 0 | 1.019888e+03 | -- | Inf
114.15/114.25 c 114s| 1 | 0 | 87656 | 104M| 0 |1949 |2490 |6560 |6560 |2490 |7389 |1983 | 0 | 0 | 1.024059e+03 | -- | Inf
118.06/118.17 c 117s| 1 | 0 | 89920 | 105M| 0 |2002 |2490 |6560 |6560 |2490 |7473 |2067 | 0 | 0 | 1.031434e+03 | -- | Inf
122.45/122.52 c 122s| 1 | 0 | 92120 | 106M| 0 |2028 |2490 |6560 |6560 |2490 |7560 |2154 | 0 | 0 | 1.040794e+03 | -- | Inf
126.05/126.19 c 125s| 1 | 0 | 93987 | 107M| 0 |2046 |2490 |6560 |6560 |2490 |7625 |2219 | 0 | 0 | 1.047833e+03 | -- | Inf
131.55/131.63 c 131s| 1 | 0 | 95947 | 108M| 0 |2021 |2490 |6560 |6560 |2490 |7460 |2298 | 0 | 0 | 1.055324e+03 | -- | Inf
135.15/135.22 c 134s| 1 | 0 | 97723 | 108M| 0 |2024 |2490 |6560 |6560 |2490 |7521 |2359 | 0 | 0 | 1.060052e+03 | -- | Inf
138.24/138.33 c 138s| 1 | 0 | 99578 | 109M| 0 |2135 |2490 |6560 |6560 |2490 |7592 |2430 | 0 | 0 | 1.067858e+03 | -- | Inf
140.84/140.94 c 140s| 1 | 0 |100939 | 111M| 0 |2120 |2490 |6560 |6560 |2490 |7639 |2477 | 0 | 0 | 1.071808e+03 | -- | Inf
144.44/144.59 c 144s| 1 | 0 |102754 | 112M| 0 |2102 |2490 |6560 |6560 |2490 |7690 |2528 | 0 | 0 | 1.075224e+03 | -- | Inf
147.94/148.00 c 147s| 1 | 0 |104669 | 113M| 0 |2199 |2490 |6560 |6560 |2490 |7747 |2585 | 0 | 0 | 1.078800e+03 | -- | Inf
154.64/154.71 c 154s| 1 | 0 |106988 | 113M| 0 |2173 |2490 |6560 |6560 |2490 |7610 |2673 | 0 | 0 | 1.090056e+03 | -- | Inf
158.54/158.68 c 158s| 1 | 0 |108802 | 115M| 0 |2127 |2490 |6560 |6560 |2490 |7663 |2726 | 0 | 0 | 1.095383e+03 | -- | Inf
162.94/163.00 c 162s| 1 | 0 |110694 | 115M| 0 |2180 |2490 |6560 |6560 |2490 |7733 |2796 | 0 | 0 | 1.100369e+03 | -- | Inf
167.44/167.51 c 167s| 1 | 0 |112321 | 116M| 0 |2155 |2490 |6560 |6560 |2490 |7792 |2855 | 0 | 0 | 1.106959e+03 | -- | Inf
171.74/171.87 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
171.74/171.87 c 171s| 1 | 0 |114251 | 117M| 0 |2138 |2490 |6560 |6560 |2490 |7841 |2904 | 0 | 0 | 1.110818e+03 | -- | Inf
176.33/176.49 c 176s| 1 | 0 |115817 | 118M| 0 |2147 |2490 |6560 |6560 |2490 |7887 |2950 | 0 | 0 | 1.115803e+03 | -- | Inf
183.02/183.15 c 182s| 1 | 0 |117621 | 118M| 0 |2156 |2490 |6560 |6560 |2490 |7610 |3005 | 0 | 0 | 1.119602e+03 | -- | Inf
187.93/188.06 c 187s| 1 | 0 |119187 | 119M| 0 |2159 |2490 |6560 |6560 |2490 |7682 |3077 | 0 | 0 | 1.123960e+03 | -- | Inf
192.82/192.99 c 192s| 1 | 0 |120764 | 119M| 0 |2153 |2490 |6560 |6560 |2490 |7741 |3136 | 0 | 0 | 1.129338e+03 | -- | Inf
198.61/198.72 c 198s| 1 | 0 |122353 | 119M| 0 |2132 |2490 |6560 |6560 |2490 |7785 |3180 | 0 | 0 | 1.133507e+03 | -- | Inf
202.02/202.10 c 201s| 1 | 0 |123752 | 120M| 0 |2121 |2490 |6560 |6560 |2490 |7838 |3233 | 0 | 0 | 1.138355e+03 | -- | Inf
204.42/204.56 c 204s| 1 | 0 |125710 | 121M| 0 |2148 |2490 |6560 |6560 |2490 |7885 |3280 | 0 | 0 | 1.140198e+03 | -- | Inf
208.41/208.50 c 207s| 1 | 0 |127599 | 122M| 0 |2190 |2490 |6560 |6560 |2490 |7635 |3328 | 0 | 0 | 1.143676e+03 | -- | Inf
213.51/213.63 c 213s| 1 | 0 |129390 | 123M| 0 |2173 |2490 |6560 |6560 |2490 |7698 |3391 | 0 | 0 | 1.149731e+03 | -- | Inf
217.31/217.40 c 216s| 1 | 0 |131377 | 124M| 0 |2223 |2490 |6560 |6560 |2490 |7771 |3464 | 0 | 0 | 1.153931e+03 | -- | Inf
223.01/223.11 c 222s| 1 | 0 |133259 | 124M| 0 |2177 |2490 |6560 |6560 |2490 |7830 |3523 | 0 | 0 | 1.158372e+03 | -- | Inf
225.11/225.28 c 224s| 1 | 0 |134473 | 125M| 0 |2141 |2490 |6560 |6560 |2490 |7869 |3562 | 0 | 0 | 1.160361e+03 | -- | Inf
227.81/227.92 c 227s| 1 | 0 |135969 | 127M| 0 |2126 |2490 |6560 |6560 |2490 |7905 |3598 | 0 | 0 | 1.162105e+03 | -- | Inf
231.61/231.77 c 231s| 1 | 0 |137607 | 128M| 0 |2220 |2490 |6560 |6560 |2490 |7659 |3649 | 0 | 0 | 1.164925e+03 | -- | Inf
238.01/238.15 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
238.01/238.15 c 237s| 1 | 0 |139320 | 128M| 0 |2202 |2490 |6560 |6560 |2490 |7718 |3708 | 0 | 0 | 1.169270e+03 | -- | Inf
241.81/241.95 c 241s| 1 | 0 |141064 | 129M| 0 |2205 |2490 |6560 |6560 |2490 |7766 |3756 | 0 | 0 | 1.170855e+03 | -- | Inf
248.30/248.50 c 247s| 1 | 0 |142711 | 129M| 0 |2175 |2490 |6560 |6560 |2490 |7830 |3820 | 0 | 0 | 1.175140e+03 | -- | Inf
252.81/252.91 c 252s| 1 | 0 |144119 | 130M| 0 |2185 |2490 |6560 |6560 |2490 |7876 |3866 | 0 | 0 | 1.179158e+03 | -- | Inf
255.59/255.77 c 255s| 1 | 0 |145781 | 131M| 0 |2214 |2490 |6560 |6560 |2490 |7904 |3894 | 0 | 0 | 1.180727e+03 | -- | Inf
259.60/259.70 c 258s| 1 | 0 |147342 | 132M| 0 |2198 |2490 |6560 |6560 |2490 |7656 |3933 | 0 | 0 | 1.183311e+03 | -- | Inf
263.80/263.98 c 263s| 1 | 0 |148671 | 132M| 0 |2191 |2490 |6560 |6560 |2490 |7697 |3974 | 0 | 0 | 1.186136e+03 | -- | Inf
268.89/269.01 c 268s| 1 | 0 |150201 | 133M| 0 |2184 |2490 |6560 |6560 |2490 |7746 |4023 | 0 | 0 | 1.189637e+03 | -- | Inf
272.79/272.95 c 272s| 1 | 0 |151103 | 133M| 0 |2208 |2490 |6560 |6560 |2490 |7789 |4066 | 0 | 0 | 1.191953e+03 | -- | Inf
277.19/277.36 c 276s| 1 | 0 |152094 | 133M| 0 |2155 |2490 |6560 |6560 |2490 |7831 |4108 | 0 | 0 | 1.193945e+03 | -- | Inf
279.39/279.56 c 278s| 1 | 0 |153096 | 135M| 0 |2167 |2490 |6560 |6560 |2490 |7865 |4142 | 0 | 0 | 1.195530e+03 | -- | Inf
282.89/283.01 c 282s| 1 | 0 |154680 | 135M| 0 |2152 |2490 |6560 |6560 |2490 |7676 |4190 | 0 | 0 | 1.198581e+03 | -- | Inf
285.79/285.91 c 285s| 1 | 0 |156177 | 136M| 0 |2190 |2490 |6560 |6560 |2490 |7723 |4237 | 0 | 0 | 1.201286e+03 | -- | Inf
290.29/290.46 c 289s| 1 | 0 |157724 | 137M| 0 |2139 |2490 |6560 |6560 |2490 |7772 |4286 | 0 | 0 | 1.203767e+03 | -- | Inf
293.98/294.10 c 293s| 1 | 0 |159423 | 138M| 0 |2124 |2490 |6560 |6560 |2490 |7815 |4329 | 0 | 0 | 1.206698e+03 | -- | Inf
297.19/297.35 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
297.19/297.35 c 296s| 1 | 0 |160938 | 138M| 0 |2178 |2490 |6560 |6560 |2490 |7852 |4366 | 0 | 0 | 1.208595e+03 | -- | Inf
303.09/303.28 c 302s| 1 | 0 |162442 | 139M| 0 |2167 |2490 |6560 |6560 |2490 |7897 |4411 | 0 | 0 | 1.211118e+03 | -- | Inf
309.78/309.95 c 309s| 1 | 0 |163642 | 139M| 0 |2179 |2490 |6560 |6560 |2490 |7658 |4433 | 0 | 0 | 1.212356e+03 | -- | Inf
315.48/315.64 c 314s| 1 | 0 |164369 | 139M| 0 |2154 |2490 |6560 |6560 |2490 |7690 |4465 | 0 | 0 | 1.215045e+03 | -- | Inf
322.18/322.39 c 321s| 1 | 0 |165997 | 139M| 0 |2157 |2490 |6560 |6560 |2490 |7736 |4511 | 0 | 0 | 1.218083e+03 | -- | Inf
328.87/329.04 c 328s| 1 | 0 |167196 | 139M| 0 |2180 |2490 |6560 |6560 |2490 |7769 |4544 | 0 | 0 | 1.220110e+03 | -- | Inf
333.48/333.60 c 332s| 1 | 0 |168158 | 139M| 0 |2168 |2490 |6560 |6560 |2490 |7793 |4568 | 0 | 0 | 1.221647e+03 | -- | Inf
338.77/338.95 c 338s| 1 | 0 |168649 | 139M| 0 |2171 |2490 |6560 |6560 |2490 |7799 |4574 | 0 | 0 | 1.221834e+03 | -- | Inf
344.27/344.43 c 343s| 1 | 0 |169305 | 139M| 0 |2149 |2490 |6560 |6560 |2490 |7585 |4587 | 0 | 0 | 1.222626e+03 | -- | Inf
347.77/347.93 c 347s| 1 | 0 |170141 | 140M| 0 |2157 |2490 |6560 |6560 |2490 |7596 |4598 | 0 | 0 | 1.222971e+03 | -- | Inf
352.37/352.59 c 351s| 1 | 0 |170787 | 140M| 0 |2164 |2490 |6560 |6560 |2490 |7608 |4610 | 0 | 0 | 1.223837e+03 | -- | Inf
355.96/356.18 c 355s| 1 | 0 |172107 | 141M| 0 |2132 |2490 |6560 |6560 |2490 |7636 |4638 | 0 | 0 | 1.225673e+03 | -- | Inf
358.36/358.55 c 357s| 1 | 0 |172377 | 138M| 0 |2137 |2490 |6560 |6560 |2490 |7651 |4653 | 0 | 0 | 1.225869e+03 | -- | Inf
360.76/360.96 c 360s| 1 | 0 |172897 | 136M| 0 |2145 |2490 |6560 |6560 |2490 |7675 |4677 | 0 | 0 | 1.226803e+03 | -- | Inf
365.86/366.04 c 365s| 1 | 0 |173713 | 132M| 0 |2181 |2490 |6560 |6560 |2490 |7501 |4700 | 0 | 0 | 1.227694e+03 | -- | Inf
370.46/370.69 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
370.46/370.69 c 369s| 1 | 0 |174689 | 128M| 0 |2147 |2490 |6560 |6560 |2490 |7515 |4714 | 0 | 0 | 1.228307e+03 | -- | Inf
375.75/375.96 c 374s| 1 | 0 |175737 | 126M| 0 |2144 |2490 |6560 |6560 |2490 |7539 |4738 | 0 | 0 | 1.228863e+03 | -- | Inf
381.35/381.59 c 380s| 1 | 0 |176316 | 124M| 0 |2118 |2490 |6560 |6560 |2490 |7569 |4768 | 0 | 0 | 1.229522e+03 | -- | Inf
386.15/386.30 c 385s| 1 | 0 |177064 | 121M| 0 |2146 |2490 |6560 |6560 |2490 |7591 |4790 | 0 | 0 | 1.230727e+03 | -- | Inf
390.75/390.91 c 389s| 1 | 0 |177991 | 116M| 0 |2155 |2490 |6560 |6560 |2490 |7623 |4822 | 0 | 0 | 1.231389e+03 | -- | Inf
396.25/396.46 c 395s| 1 | 0 |178598 | 114M| 0 |2159 |2490 |6560 |6560 |2490 |7550 |4844 | 0 | 0 | 1.231573e+03 | -- | Inf
401.45/401.69 c 400s| 1 | 0 |180281 | 111M| 0 |2137 |2490 |6560 |6560 |2490 |7566 |4860 | 0 | 0 | 1.232688e+03 | -- | Inf
405.95/406.16 c 405s| 1 | 0 |181329 | 106M| 0 |2113 |2490 |6560 |6560 |2490 |7611 |4905 | 0 | 0 | 1.235006e+03 | -- | Inf
409.54/409.76 c 408s| 1 | 0 |182768 | 104M| 0 |2138 |2490 |6560 |6560 |2490 |7655 |4949 | 0 | 0 | 1.236589e+03 | -- | Inf
413.94/414.15 c 413s| 1 | 0 |184438 | 103M| 0 |2107 |2490 |6560 |6560 |2490 |7702 |4996 | 0 | 0 | 1.239952e+03 | -- | Inf
419.04/419.22 c 418s| 1 | 0 |185954 | 100M| 0 |2076 |2490 |6560 |6560 |2490 |7746 |5040 | 0 | 0 | 1.241605e+03 | -- | Inf
422.44/422.68 c 421s| 1 | 0 |187460 | 98M| 0 |2097 |2490 |6560 |6560 |2490 |7677 |5080 | 0 | 0 | 1.244460e+03 | -- | Inf
425.34/425.54 c 424s| 1 | 0 |189062 | 96M| 0 |2072 |2490 |6560 |6560 |2490 |7715 |5118 | 0 | 0 | 1.247092e+03 | -- | Inf
427.54/427.73 c 426s| 1 | 0 |190119 | 96M| 0 |2070 |2490 |6560 |6560 |2490 |7754 |5157 | 0 | 0 | 1.248028e+03 | -- | Inf
430.03/430.27 c 429s| 1 | 0 |191429 | 93M| 0 |2090 |2490 |6560 |6560 |2490 |7780 |5183 | 0 | 0 | 1.249393e+03 | -- | Inf
433.54/433.73 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
433.54/433.73 c 432s| 1 | 0 |192644 | 92M| 0 |1998 |2490 |6560 |6560 |2490 |7827 |5230 | 0 | 0 | 1.251754e+03 | -- | Inf
435.23/435.49 c 434s| 1 | 0 |193935 | 90M| 0 |2051 |2490 |6560 |6560 |2490 |7870 |5273 | 0 | 0 | 1.253074e+03 | -- | Inf
438.34/438.53 c 437s| 1 | 0 |195685 | 90M| 0 |2071 |2490 |6560 |6560 |2490 |7764 |5313 | 0 | 0 | 1.256221e+03 | -- | Inf
440.73/440.94 c 439s| 1 | 0 |197085 | 89M| 0 |2093 |2490 |6560 |6560 |2490 |7813 |5362 | 0 | 0 | 1.258489e+03 | -- | Inf
443.83/444.04 c 442s| 1 | 0 |198967 | 89M| 0 |2132 |2490 |6560 |6560 |2490 |7850 |5399 | 0 | 0 | 1.259737e+03 | -- | Inf
448.73/448.93 c 447s| 1 | 0 |199887 | 88M| 0 |2134 |2490 |6560 |6560 |2490 |7871 |5420 | 0 | 0 | 1.260520e+03 | -- | Inf
453.83/454.00 c 452s| 1 | 0 |200581 | 87M| 0 |2106 |2490 |6560 |6560 |2490 |7893 |5442 | 0 | 0 | 1.260900e+03 | -- | Inf
459.53/459.78 c 458s| 1 | 0 |202072 | 86M| 0 |2113 |2490 |6560 |6560 |2490 |7905 |5454 | 0 | 0 | 1.261585e+03 | -- | Inf
465.52/465.79 c 464s| 1 | 0 |202992 | 84M| 0 |2120 |2490 |6560 |6560 |2490 |7720 |5463 | 0 | 0 | 1.261755e+03 | -- | Inf
470.63/470.86 c 469s| 1 | 0 |203895 | 84M| 0 |2132 |2490 |6560 |6560 |2490 |7742 |5485 | 0 | 0 | 1.262252e+03 | -- | Inf
475.51/475.78 c 474s| 1 | 0 |204603 | 83M| 0 |2082 |2490 |6560 |6560 |2490 |7753 |5496 | 0 | 0 | 1.262476e+03 | -- | Inf
480.72/480.98 c 479s| 1 | 0 |205012 | 81M| 0 |2090 |2490 |6560 |6560 |2490 |7764 |5507 | 0 | 0 | 1.262572e+03 | -- | Inf
485.51/485.75 c 484s| 1 | 0 |205786 | 80M| 0 |2074 |2490 |6560 |6560 |2490 |7778 |5521 | 0 | 0 | 1.263097e+03 | -- | Inf
489.82/490.02 c 488s| 1 | 0 |205975 | 79M| 0 |2065 |2490 |6560 |6560 |2490 |7785 |5528 | 0 | 0 | 1.263284e+03 | -- | Inf
492.91/493.11 c 491s| 1 | 0 |206449 | 79M| 0 |2055 |2490 |6560 |6560 |2490 |7571 |5534 | 0 | 0 | 1.263658e+03 | -- | Inf
495.21/495.50 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
495.21/495.50 c 494s| 1 | 0 |206870 | 78M| 0 |2071 |2490 |6560 |6560 |2490 |7582 |5545 | 0 | 0 | 1.264093e+03 | -- | Inf
497.31/497.58 c 496s| 1 | 0 |207222 | 78M| 0 |2055 |2490 |6560 |6560 |2490 |7594 |5557 | 0 | 0 | 1.264242e+03 | -- | Inf
502.21/502.46 c 501s| 1 | 0 |207870 | 77M| 0 |2045 |2490 |6560 |6560 |2490 |7603 |5566 | 0 | 0 | 1.264738e+03 | -- | Inf
505.00/505.25 c 503s| 1 | 0 |208129 | 77M| 0 |2059 |2490 |6560 |6560 |2490 |7613 |5576 | 0 | 0 | 1.264871e+03 | -- | Inf
510.01/510.22 c 508s| 1 | 0 |208398 | 76M| 0 |2015 |2490 |6560 |6560 |2490 |7617 |5580 | 0 | 0 | 1.265016e+03 | -- | Inf
513.40/513.60 c 512s| 1 | 0 |208698 | 76M| 0 |2030 |2490 |6560 |6560 |2490 |7544 |5588 | 0 | 0 | 1.265315e+03 | -- | Inf
518.00/518.25 c 516s| 1 | 0 |208997 | 75M| 0 |1985 |2490 |6560 |6560 |2490 |7546 |5590 | 0 | 0 | 1.265778e+03 | -- | Inf
522.50/522.77 c 521s| 1 | 0 |209652 | 74M| 0 |1969 |2490 |6560 |6560 |2490 |7563 |5607 | 0 | 0 | 1.266380e+03 | -- | Inf
526.80/527.04 c 525s| 1 | 0 |210720 | 73M| 0 |2010 |2490 |6560 |6560 |2490 |7582 |5626 | 0 | 0 | 1.267054e+03 | -- | Inf
529.20/529.44 c 528s| 1 | 0 |211892 | 71M| 0 |2016 |2490 |6560 |6560 |2490 |7605 |5649 | 0 | 0 | 1.268288e+03 | -- | Inf
531.80/532.01 c 530s| 1 | 0 |213239 | 70M| 0 |1980 |2490 |6560 |6560 |2490 |7632 |5676 | 0 | 0 | 1.269633e+03 | -- | Inf
534.99/535.22 c 533s| 1 | 0 |214601 | 70M| 0 |2048 |2490 |6560 |6560 |2490 |7623 |5724 | 0 | 0 | 1.271126e+03 | -- | Inf
540.30/540.51 c 539s| 1 | 0 |216029 | 69M| 0 |2033 |2490 |6560 |6560 |2490 |7673 |5774 | 0 | 0 | 1.272880e+03 | -- | Inf
542.00/542.22 c 540s| 1 | 0 |216900 | 70M| 0 |2036 |2490 |6560 |6560 |2490 |7696 |5797 | 0 | 0 | 1.273233e+03 | -- | Inf
544.70/544.94 c 543s| 1 | 0 |217623 | 70M| 0 |2042 |2490 |6560 |6560 |2490 |7707 |5808 | 0 | 0 | 1.273905e+03 | -- | Inf
550.39/550.63 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
550.39/550.63 c 549s| 1 | 0 |218366 | 69M| 0 |2041 |2490 |6560 |6560 |2490 |7724 |5825 | 0 | 0 | 1.274329e+03 | -- | Inf
553.69/553.90 c 552s| 1 | 0 |219756 | 69M| 0 |2078 |2490 |6560 |6560 |2490 |7747 |5848 | 0 | 0 | 1.275652e+03 | -- | Inf
556.39/556.63 c 555s| 1 | 0 |220435 | 69M| 0 |2040 |2490 |6560 |6560 |2490 |7724 |5879 | 0 | 0 | 1.276859e+03 | -- | Inf
558.99/559.22 c 557s| 1 | 0 |221391 | 70M| 0 |2070 |2490 |6560 |6560 |2490 |7736 |5891 | 0 | 0 | 1.277021e+03 | -- | Inf
563.19/563.44 c 562s| 1 | 0 |221971 | 69M| 0 |2089 |2490 |6560 |6560 |2490 |7757 |5912 | 0 | 0 | 1.277037e+03 | -- | Inf
568.28/568.50 c 567s| 1 | 0 |223269 | 68M| 0 |2113 |2490 |6560 |6560 |2490 |7772 |5927 | 0 | 0 | 1.277599e+03 | -- | Inf
575.38/575.63 c 574s| 1 | 0 |225041 | 68M| 0 |2093 |2490 |6560 |6560 |2490 |7785 |5940 | 0 | 0 | 1.277984e+03 | -- | Inf
582.58/582.80 c 581s| 1 | 0 |226591 | 67M| 0 |2090 |2490 |6560 |6560 |2490 |7803 |5958 | 0 | 0 | 1.278638e+03 | -- | Inf
589.48/589.78 c 588s| 1 | 0 |228192 | 66M| 0 |2042 |2490 |6560 |6560 |2490 |7667 |5966 | 0 | 0 | 1.278675e+03 | -- | Inf
594.58/594.83 c 593s| 1 | 0 |228663 | 66M| 0 |2078 |2490 |6560 |6560 |2490 |7676 |5975 | 0 | 0 | 1.278675e+03 | -- | Inf
600.38/600.61 c 599s| 1 | 0 |229404 | 65M| 0 |2061 |2490 |6560 |6560 |2490 |7683 |5982 | 0 | 0 | 1.278758e+03 | -- | Inf
604.97/605.28 c 603s| 1 | 0 |229827 | 64M| 0 |2079 |2490 |6560 |6560 |2490 |7688 |5987 | 0 | 0 | 1.278768e+03 | -- | Inf
610.47/610.70 c 609s| 1 | 0 |230343 | 64M| 0 |2068 |2490 |6560 |6560 |2490 |7692 |5991 | 0 | 0 | 1.278798e+03 | -- | Inf
614.67/614.95 c 613s| 1 | 0 |230912 | 64M| 0 |2066 |2490 |6560 |6560 |2490 |7696 |5995 | 0 | 0 | 1.278868e+03 | -- | Inf
619.07/619.33 c 617s| 1 | 0 |230936 | 63M| 0 |2065 |2490 |6560 |6560 |2490 |7614 |5997 | 0 | 0 | 1.278869e+03 | -- | Inf
623.26/623.57 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
623.26/623.57 c 622s| 1 | 0 |231590 | 63M| 0 |2067 |2490 |6560 |6560 |2490 |7616 |5999 | 0 | 0 | 1.278995e+03 | -- | Inf
626.97/627.22 c 625s| 1 | 0 |231617 | 63M| 0 |2075 |2490 |6560 |6560 |2490 |7622 |6005 | 0 | 0 | 1.278995e+03 | -- | Inf
634.06/634.39 c 632s| 1 | 2 |231617 | 62M| 0 |2075 |2490 |6560 |6560 |2490 |7622 |6005 | 0 | 21 | 1.278995e+03 | -- | Inf
1794.67/1795.32 c
1794.67/1795.32 c SCIP Status : solving was interrupted [time limit reached]
1794.67/1795.32 c Solving Time (sec) : 1791.01
1794.67/1795.32 c Solving Nodes : 1581
1794.67/1795.32 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1794.67/1795.32 c Dual Bound : +1.29317100445476e+03
1794.67/1795.32 c Gap : infinite
1794.67/1795.32 c NODE 1581
1794.67/1795.32 c DUAL BOUND 1293.17
1794.67/1795.32 c PRIMAL BOUND 1e+20
1794.67/1795.32 c GAP 1e+20
1794.67/1795.32 s UNKNOWN
1794.67/1795.32 c SCIP Status : solving was interrupted [time limit reached]
1794.67/1795.32 c Solving Time : 1791.01
1794.67/1795.32 c Original Problem :
1794.67/1795.32 c Problem name : HOME/instance-1869145-1245160688.opb
1794.67/1795.32 c Variables : 2678 (2678 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.67/1795.32 c Constraints : 6689 initial, 6689 maximal
1794.67/1795.32 c Presolved Problem :
1794.67/1795.32 c Problem name : t_HOME/instance-1869145-1245160688.opb
1794.67/1795.32 c Variables : 2490 (2490 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.67/1795.32 c Constraints : 6560 initial, 7841 maximal
1794.67/1795.32 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1794.67/1795.32 c trivial : 0.01 0 0 0 0 0 0 0 0
1794.67/1795.32 c dualfix : 0.00 0 0 0 0 0 0 0 0
1794.67/1795.32 c boundshift : 0.00 0 0 0 0 0 0 0 0
1794.67/1795.32 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1794.67/1795.32 c implics : 0.01 0 3 0 0 0 0 0 0
1794.67/1795.32 c probing : 0.40 2 183 0 0 0 0 0 0
1794.67/1795.32 c linear : 0.10 0 0 0 0 0 122 122 0
1794.67/1795.32 c logicor : 0.12 0 0 0 0 0 7 0 0
1794.67/1795.32 c root node : - 0 - - 0 - - - -
1794.67/1795.32 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1794.67/1795.32 c integral : 0 0 0 1237 0 2 18 0 0 2456
1794.67/1795.32 c logicor : 6560+ 167 55955 0 1 759 233996 0 0 0
1794.67/1795.32 c countsols : 0 0 0 0 1 0 0 0 0 0
1794.67/1795.32 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1794.67/1795.32 c integral : 396.09 0.00 0.00 396.09 0.00
1794.67/1795.32 c logicor : 2.41 0.16 2.24 0.00 0.01
1794.67/1795.32 c countsols : 0.00 0.00 0.00 0.00 0.00
1794.67/1795.32 c Propagators : Time Calls Cutoffs DomReds
1794.67/1795.32 c rootredcost : 0.01 0 0 0
1794.67/1795.32 c pseudoobj : 5.62 50944 0 0
1794.67/1795.32 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1794.67/1795.32 c propagation : 0.52 757 755 9342 41.5 79 8.7 -
1794.67/1795.32 c infeasible LP : 0.05 68 0 0 0.0 0 0.0 0
1794.67/1795.32 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1794.67/1795.32 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1794.67/1795.32 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1794.67/1795.32 c applied globally : - - - 3112 29.9 - - -
1794.67/1795.32 c applied locally : - - - 0 0.0 - - -
1794.67/1795.32 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1794.67/1795.32 c cut pool : 5.67 166 - - 8120 - (maximal pool size: 33028)
1794.67/1795.32 c redcost : 0.24 1403 0 0 0 0
1794.67/1795.32 c impliedbounds : 0.16 167 0 0 596 0
1794.67/1795.32 c intobj : 0.00 0 0 0 0 0
1794.67/1795.32 c gomory : 373.75 167 0 0 69712 0
1794.67/1795.32 c strongcg : 5.12 20 0 0 10000 0
1794.67/1795.32 c cmir : 0.84 10 0 0 0 0
1794.67/1795.32 c flowcover : 0.70 10 0 0 0 0
1794.67/1795.32 c clique : 0.44 167 0 0 48 0
1794.67/1795.32 c zerohalf : 0.00 0 0 0 0 0
1794.67/1795.32 c mcf : 0.01 1 0 0 0 0
1794.67/1795.32 c Pricers : Time Calls Vars
1794.67/1795.32 c problem variables: 0.00 0 0
1794.67/1795.32 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1794.67/1795.32 c relpscost : 396.08 1237 2 18 0 0 2456
1794.67/1795.32 c pscost : 0.00 0 0 0 0 0 0
1794.67/1795.32 c inference : 0.00 1 0 0 0 0 2
1794.67/1795.32 c mostinf : 0.00 0 0 0 0 0 0
1794.67/1795.32 c leastinf : 0.00 0 0 0 0 0 0
1794.67/1795.32 c fullstrong : 0.00 0 0 0 0 0 0
1794.67/1795.32 c allfullstrong : 0.00 0 0 0 0 0 0
1794.67/1795.32 c random : 0.00 0 0 0 0 0 0
1794.67/1795.32 c Primal Heuristics : Time Calls Found
1794.67/1795.32 c LP solutions : 0.00 - 0
1794.67/1795.32 c pseudo solutions : 0.00 - 0
1794.67/1795.32 c oneopt : 0.00 0 0
1794.67/1795.32 c crossover : 0.00 0 0
1794.67/1795.32 c guideddiving : 0.00 0 0
1794.67/1795.32 c intshifting : 0.00 0 0
1794.67/1795.32 c objpscostdiving : 27.53 2 0
1794.67/1795.32 c rootsoldiving : 67.45 3 0
1794.67/1795.32 c feaspump : 46.06 4 0
1794.67/1795.32 c veclendiving : 44.16 12 0
1794.67/1795.32 c coefdiving : 40.52 12 0
1794.67/1795.32 c linesearchdiving : 47.74 13 0
1794.67/1795.32 c pscostdiving : 50.39 13 0
1794.67/1795.32 c fracdiving : 51.16 13 0
1794.67/1795.32 c simplerounding : 0.00 0 0
1794.67/1795.32 c rounding : 1.07 469 0
1794.67/1795.32 c shifting : 2.53 164 0
1794.67/1795.32 c fixandinfer : 0.00 0 0
1794.67/1795.32 c intdiving : 0.00 0 0
1794.67/1795.32 c actconsdiving : 0.00 0 0
1794.67/1795.32 c octane : 0.00 0 0
1794.67/1795.32 c rens : 0.01 0 0
1794.67/1795.32 c rins : 0.00 0 0
1794.67/1795.32 c localbranching : 0.00 0 0
1794.67/1795.32 c mutation : 0.00 0 0
1794.67/1795.32 c dins : 0.00 0 0
1794.67/1795.32 c LP : Time Calls Iterations Iter/call Iter/sec
1794.67/1795.32 c primal LP : 10.79 0 0 0.00 0.00
1794.67/1795.32 c dual LP : 605.53 1427 859932 602.62 1420.13
1794.67/1795.32 c barrier LP : 0.00 0 0 0.00 -
1794.67/1795.32 c diving/probing LP: 355.01 6461 372226 57.61 1048.49
1794.67/1795.32 c strong branching : 395.11 2049 538756 262.94 1363.56
1794.67/1795.32 c (at root node) : - 21 3323 158.24 -
1794.67/1795.32 c conflict analysis: 0.00 0 0 0.00 -
1794.67/1795.32 c B&B Tree :
1794.67/1795.32 c number of runs : 1
1794.67/1795.32 c nodes : 1581
1794.67/1795.32 c nodes (total) : 1581
1794.67/1795.32 c nodes left : 321
1794.67/1795.32 c max depth : 57
1794.67/1795.32 c max depth (total): 57
1794.67/1795.32 c backtracks : 459 (29.0%)
1794.67/1795.32 c delayed cutoffs : 557
1794.67/1795.32 c repropagations : 1213 (112050 domain reductions, 328 cutoffs)
1794.67/1795.32 c avg switch length: 4.59
1794.67/1795.32 c switching time : 1.65
1794.67/1795.32 c Solution :
1794.67/1795.32 c Solutions found : 0 (0 improvements)
1794.67/1795.32 c Primal Bound : -
1794.67/1795.32 c Dual Bound : +1.29317100445476e+03
1794.67/1795.32 c Gap : infinite
1794.67/1795.32 c Root Dual Bound : +1.27899543041861e+03
1794.76/1795.47 c Time complete: 1794.84.