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-1869031-1245155173.opb>
0.09/0.11 c original problem has 2666 variables (2666 bin, 0 int, 0 impl, 0 cont) and 6659 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, 6535 upgd conss, 5642 impls, 0 clqs
0.28/0.30 c (round 2) 0 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6536 upgd conss, 5642 impls, 0 clqs
0.28/0.32 c (round 3) 0 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6537 upgd conss, 5642 impls, 0 clqs
0.28/0.38 c (round 4) 50 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6537 upgd conss, 7104 impls, 0 clqs
0.28/0.39 c (round 5) 53 del vars, 127 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6537 upgd conss, 7142 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, 6537 upgd conss, 7142 impls, 0 clqs
0.49/0.57 c (round 7) 103 del vars, 129 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6537 upgd conss, 27330 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, 6537 upgd conss, 46786 impls, 0 clqs
0.79/0.83 c (0.6s) probing: 548/2666 (20.6%) - 2 fixings, 183 aggregations, 12557 implications, 0 bound changes
0.79/0.83 c (0.6s) 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, 6537 upgd conss, 48388 impls, 0 clqs
0.79/0.85 c (0.7s) probing: 558/2666 (20.9%) - 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 48388 implications, 0 cliques
0.79/0.85 c presolved problem has 2478 variables (2478 bin, 0 int, 0 impl, 0 cont) and 6530 constraints
0.79/0.85 c 6530 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.64
0.79/0.85 c strange?!, PURESAT with obj
0.79/0.85 c -----------------------------------------------------------------------------------------------
0.79/0.85 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.79/0.85 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.85 c limits/memory = c 1620
0.79/0.85 c # maximal time in seconds to run
0.79/0.85 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.85 c limits/time = c 1791
0.79/0.85 c # frequency for displaying node information lines
0.79/0.85 c # [type: int, range: [-1,2147483647], default: 100]
0.79/0.85 c display/freq = c 10000
0.79/0.85 c -----------------------------------------------------------------------------------------------
0.79/0.85 c start solving problem
0.79/0.85 c
2.79/2.82 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.79/2.82 c 2.6s| 1 | 0 | 4422 | 15M| 0 |1735 |2478 |6530 |6530 |2478 |6343 | 0 | 0 | 0 | 7.986569e+02 | -- | Inf
10.22/10.50 c 10.0s| 1 | 0 | 18598 | 18M| 0 |2132 |2478 |6530 |6530 |2478 |6542 | 199 | 0 | 0 | 8.210111e+02 | -- | Inf
11.03/11.38 c 10.9s| 1 | 0 | 19363 | 19M| 0 |2115 |2478 |6530 |6530 |2478 |6572 | 229 | 0 | 0 | 8.261723e+02 | -- | Inf
12.32/12.63 c 12.1s| 1 | 0 | 20502 | 21M| 0 |2044 |2478 |6530 |6530 |2478 |6597 | 254 | 0 | 0 | 8.298293e+02 | -- | Inf
13.62/13.95 c 13.4s| 1 | 0 | 21466 | 25M| 0 |1684 |2478 |6530 |6530 |2478 |6619 | 276 | 0 | 0 | 8.308533e+02 | -- | Inf
14.93/15.24 c 14.7s| 1 | 0 | 22348 | 30M| 0 |1683 |2478 |6530 |6530 |2478 |6642 | 299 | 0 | 0 | 8.316522e+02 | -- | Inf
16.62/16.92 c 16.4s| 1 | 0 | 23432 | 32M| 0 |1798 |2478 |6530 |6530 |2478 |6671 | 328 | 0 | 0 | 8.330627e+02 | -- | Inf
19.02/19.30 c 18.7s| 1 | 0 | 24988 | 34M| 0 |1696 |2478 |6530 |6530 |2478 |6711 | 368 | 0 | 0 | 8.379050e+02 | -- | Inf
21.12/21.40 c 20.8s| 1 | 0 | 26428 | 38M| 0 |1681 |2478 |6530 |6530 |2478 |6735 | 392 | 0 | 0 | 8.388845e+02 | -- | Inf
23.92/24.26 c 23.6s| 1 | 0 | 27984 | 41M| 0 |1621 |2478 |6530 |6530 |2478 |6768 | 425 | 0 | 0 | 8.437847e+02 | -- | Inf
26.71/27.01 c 26.4s| 1 | 0 | 29457 | 46M| 0 |1652 |2478 |6530 |6530 |2478 |6795 | 452 | 0 | 0 | 8.501175e+02 | -- | Inf
29.62/29.96 c 29.3s| 1 | 0 | 31198 | 51M| 0 |1699 |2478 |6530 |6530 |2478 |6827 | 484 | 0 | 0 | 8.583980e+02 | -- | Inf
31.82/32.15 c 31.5s| 1 | 0 | 32502 | 56M| 0 |1706 |2478 |6530 |6530 |2478 |6851 | 508 | 0 | 0 | 8.633572e+02 | -- | Inf
34.31/34.63 c 34.0s| 1 | 0 | 34239 | 60M| 0 |1732 |2478 |6530 |6530 |2478 |6875 | 532 | 0 | 0 | 8.667805e+02 | -- | Inf
37.52/37.81 c 37.1s| 1 | 0 | 36394 | 63M| 0 |1733 |2478 |6530 |6530 |2478 |6915 | 572 | 0 | 0 | 8.707861e+02 | -- | Inf
41.31/41.67 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.31/41.67 c 41.0s| 1 | 0 | 38569 | 68M| 0 |1719 |2478 |6530 |6530 |2478 |6959 | 616 | 0 | 0 | 8.799385e+02 | -- | Inf
44.51/44.82 c 44.1s| 1 | 0 | 40140 | 72M| 0 |1704 |2478 |6530 |6530 |2478 |6741 | 642 | 0 | 0 | 8.816499e+02 | -- | Inf
47.90/48.27 c 47.5s| 1 | 0 | 41764 | 74M| 0 |1805 |2478 |6530 |6530 |2478 |6795 | 696 | 0 | 0 | 8.908016e+02 | -- | Inf
52.20/52.51 c 51.7s| 1 | 0 | 43625 | 77M| 0 |1822 |2478 |6530 |6530 |2478 |6844 | 745 | 0 | 0 | 8.989235e+02 | -- | Inf
56.11/56.43 c 55.6s| 1 | 0 | 45605 | 79M| 0 |1813 |2478 |6530 |6530 |2478 |6882 | 783 | 0 | 0 | 9.019642e+02 | -- | Inf
60.91/61.25 c 60.4s| 1 | 0 | 47876 | 81M| 0 |1844 |2478 |6530 |6530 |2478 |6931 | 832 | 0 | 0 | 9.059889e+02 | -- | Inf
64.71/65.05 c 64.2s| 1 | 0 | 49809 | 81M| 0 |1805 |2478 |6530 |6530 |2478 |6986 | 887 | 0 | 0 | 9.131152e+02 | -- | Inf
68.70/69.03 c 68.2s| 1 | 0 | 51629 | 82M| 0 |1847 |2478 |6530 |6530 |2478 |6916 | 938 | 0 | 0 | 9.176107e+02 | -- | Inf
71.70/72.06 c 71.2s| 1 | 0 | 53482 | 84M| 0 |1832 |2478 |6530 |6530 |2478 |6959 | 981 | 0 | 0 | 9.221356e+02 | -- | Inf
74.81/75.10 c 74.2s| 1 | 0 | 54793 | 85M| 0 |1834 |2478 |6530 |6530 |2478 |7022 |1044 | 0 | 0 | 9.306287e+02 | -- | Inf
77.80/78.15 c 77.2s| 1 | 0 | 56601 | 87M| 0 |1871 |2478 |6530 |6530 |2478 |7064 |1086 | 0 | 0 | 9.353812e+02 | -- | Inf
80.60/80.98 c 80.1s| 1 | 0 | 58251 | 88M| 0 |1880 |2478 |6530 |6530 |2478 |7109 |1131 | 0 | 0 | 9.424650e+02 | -- | Inf
83.59/83.99 c 83.0s| 1 | 0 | 59672 | 89M| 0 |1885 |2478 |6530 |6530 |2478 |7166 |1188 | 0 | 0 | 9.488920e+02 | -- | Inf
87.80/88.15 c 87.2s| 1 | 0 | 61881 | 90M| 0 |1976 |2478 |6530 |6530 |2478 |7069 |1249 | 0 | 0 | 9.547403e+02 | -- | Inf
91.39/91.74 c 90.8s| 1 | 0 | 63524 | 90M| 0 |1887 |2478 |6530 |6530 |2478 |7135 |1315 | 0 | 0 | 9.643900e+02 | -- | Inf
94.40/94.73 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
94.40/94.74 c 93.7s| 1 | 0 | 65287 | 92M| 0 |1908 |2478 |6530 |6530 |2478 |7170 |1350 | 0 | 0 | 9.677135e+02 | -- | Inf
97.79/98.11 c 97.1s| 1 | 0 | 67163 | 93M| 0 |1941 |2478 |6530 |6530 |2478 |7225 |1405 | 0 | 0 | 9.749998e+02 | -- | Inf
100.60/100.99 c 100s| 1 | 0 | 69054 | 94M| 0 |1880 |2478 |6530 |6530 |2478 |7264 |1444 | 0 | 0 | 9.802230e+02 | -- | Inf
103.60/103.96 c 103s| 1 | 0 | 70838 | 96M| 0 |1900 |2478 |6530 |6530 |2478 |7314 |1494 | 0 | 0 | 9.854445e+02 | -- | Inf
106.89/107.21 c 106s| 1 | 0 | 72730 | 97M| 0 |2013 |2478 |6530 |6530 |2478 |7146 |1544 | 0 | 0 | 9.926438e+02 | -- | Inf
109.89/110.21 c 109s| 1 | 0 | 74587 | 97M| 0 |1995 |2478 |6530 |6530 |2478 |7221 |1619 | 0 | 0 | 1.001507e+03 | -- | Inf
113.19/113.53 c 112s| 1 | 0 | 76690 | 98M| 0 |2033 |2478 |6530 |6530 |2478 |7292 |1690 | 0 | 0 | 1.008025e+03 | -- | Inf
114.99/115.38 c 114s| 1 | 0 | 78030 | 98M| 0 |1983 |2478 |6530 |6530 |2478 |7332 |1730 | 0 | 0 | 1.010598e+03 | -- | Inf
117.50/117.88 c 117s| 1 | 0 | 79691 | 100M| 0 |1982 |2478 |6530 |6530 |2478 |7372 |1770 | 0 | 0 | 1.015237e+03 | -- | Inf
119.49/119.83 c 119s| 1 | 0 | 80927 | 101M| 0 |1976 |2478 |6530 |6530 |2478 |7410 |1808 | 0 | 0 | 1.018600e+03 | -- | Inf
122.29/122.65 c 122s| 1 | 0 | 82465 | 103M| 0 |1975 |2478 |6530 |6530 |2478 |7218 |1845 | 0 | 0 | 1.021638e+03 | -- | Inf
126.08/126.48 c 125s| 1 | 0 | 84400 | 103M| 0 |1978 |2478 |6530 |6530 |2478 |7308 |1935 | 0 | 0 | 1.032201e+03 | -- | Inf
129.59/129.96 c 129s| 1 | 0 | 86347 | 104M| 0 |2010 |2478 |6530 |6530 |2478 |7401 |2028 | 0 | 0 | 1.039640e+03 | -- | Inf
133.39/133.80 c 133s| 1 | 0 | 88270 | 105M| 0 |2024 |2478 |6530 |6530 |2478 |7490 |2117 | 0 | 0 | 1.051208e+03 | -- | Inf
136.58/136.99 c 136s| 1 | 0 | 90029 | 106M| 0 |2083 |2478 |6530 |6530 |2478 |7557 |2184 | 0 | 0 | 1.058345e+03 | -- | Inf
139.88/140.29 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
139.88/140.29 c 139s| 1 | 0 | 91623 | 108M| 0 |2102 |2478 |6530 |6530 |2478 |7612 |2239 | 0 | 0 | 1.063796e+03 | -- | Inf
143.59/143.90 c 143s| 1 | 0 | 93146 | 109M| 0 |2023 |2478 |6530 |6530 |2478 |7439 |2307 | 0 | 0 | 1.071889e+03 | -- | Inf
146.59/146.98 c 146s| 1 | 0 | 94819 | 111M| 0 |2109 |2478 |6530 |6530 |2478 |7500 |2368 | 0 | 0 | 1.076060e+03 | -- | Inf
149.68/150.08 c 149s| 1 | 0 | 96390 | 112M| 0 |2134 |2478 |6530 |6530 |2478 |7544 |2412 | 0 | 0 | 1.079777e+03 | -- | Inf
154.68/155.10 c 154s| 1 | 0 | 98509 | 113M| 0 |2074 |2478 |6530 |6530 |2478 |7607 |2475 | 0 | 0 | 1.087443e+03 | -- | Inf
159.07/159.42 c 158s| 1 | 0 |100505 | 114M| 0 |2145 |2478 |6530 |6530 |2478 |7672 |2540 | 0 | 0 | 1.091622e+03 | -- | Inf
164.28/164.66 c 163s| 1 | 0 |102706 | 114M| 0 |2128 |2478 |6530 |6530 |2478 |7725 |2593 | 0 | 0 | 1.097177e+03 | -- | Inf
170.48/170.89 c 170s| 1 | 0 |105232 | 115M| 0 |2187 |2478 |6530 |6530 |2478 |7542 |2657 | 0 | 0 | 1.104921e+03 | -- | Inf
174.97/175.37 c 174s| 1 | 0 |107709 | 116M| 0 |2211 |2478 |6530 |6530 |2478 |7613 |2728 | 0 | 0 | 1.112379e+03 | -- | Inf
181.27/181.65 c 180s| 1 | 0 |110236 | 116M| 0 |2081 |2478 |6530 |6530 |2478 |7669 |2784 | 0 | 0 | 1.117397e+03 | -- | Inf
185.07/185.43 c 184s| 1 | 0 |112909 | 117M| 0 |2113 |2478 |6530 |6530 |2478 |7730 |2845 | 0 | 0 | 1.121796e+03 | -- | Inf
189.07/189.44 c 188s| 1 | 0 |115381 | 118M| 0 |2160 |2478 |6530 |6530 |2478 |7796 |2911 | 0 | 0 | 1.126077e+03 | -- | Inf
194.16/194.56 c 193s| 1 | 0 |117786 | 118M| 0 |2121 |2478 |6530 |6530 |2478 |7866 |2981 | 0 | 0 | 1.132169e+03 | -- | Inf
197.17/197.55 c 196s| 1 | 0 |119497 | 119M| 0 |2149 |2478 |6530 |6530 |2478 |7614 |3016 | 0 | 0 | 1.133754e+03 | -- | Inf
201.06/201.41 c 200s| 1 | 0 |121462 | 120M| 0 |2222 |2478 |6530 |6530 |2478 |7677 |3079 | 0 | 0 | 1.138185e+03 | -- | Inf
205.86/206.26 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
205.86/206.26 c 205s| 1 | 0 |123388 | 120M| 0 |2168 |2478 |6530 |6530 |2478 |7747 |3149 | 0 | 0 | 1.144252e+03 | -- | Inf
210.66/211.03 c 210s| 1 | 0 |124755 | 120M| 0 |2180 |2478 |6530 |6530 |2478 |7799 |3201 | 0 | 0 | 1.147198e+03 | -- | Inf
215.37/215.78 c 214s| 1 | 0 |126398 | 121M| 0 |2173 |2478 |6530 |6530 |2478 |7850 |3252 | 0 | 0 | 1.151191e+03 | -- | Inf
220.96/221.36 c 220s| 1 | 0 |127795 | 121M| 0 |2170 |2478 |6530 |6530 |2478 |7899 |3301 | 0 | 0 | 1.155120e+03 | -- | Inf
223.46/223.85 c 223s| 1 | 0 |128533 | 122M| 0 |2133 |2478 |6530 |6530 |2478 |7615 |3329 | 0 | 0 | 1.156210e+03 | -- | Inf
227.15/227.51 c 226s| 1 | 0 |130106 | 122M| 0 |2121 |2478 |6530 |6530 |2478 |7666 |3380 | 0 | 0 | 1.160397e+03 | -- | Inf
230.05/230.43 c 229s| 1 | 0 |131015 | 122M| 0 |2156 |2478 |6530 |6530 |2478 |7717 |3431 | 0 | 0 | 1.162417e+03 | -- | Inf
234.05/234.47 c 233s| 1 | 0 |132577 | 123M| 0 |2119 |2478 |6530 |6530 |2478 |7773 |3487 | 0 | 0 | 1.165794e+03 | -- | Inf
236.95/237.31 c 236s| 1 | 0 |134067 | 123M| 0 |2127 |2478 |6530 |6530 |2478 |7833 |3547 | 0 | 0 | 1.170803e+03 | -- | Inf
239.05/239.44 c 238s| 1 | 0 |135714 | 125M| 0 |2161 |2478 |6530 |6530 |2478 |7885 |3599 | 0 | 0 | 1.174113e+03 | -- | Inf
242.45/242.82 c 241s| 1 | 0 |137455 | 125M| 0 |2106 |2478 |6530 |6530 |2478 |7604 |3646 | 0 | 0 | 1.177665e+03 | -- | Inf
245.25/245.63 c 244s| 1 | 0 |139253 | 126M| 0 |2162 |2478 |6530 |6530 |2478 |7654 |3696 | 0 | 0 | 1.180763e+03 | -- | Inf
247.55/247.97 c 247s| 1 | 0 |140375 | 126M| 0 |2178 |2478 |6530 |6530 |2478 |7697 |3739 | 0 | 0 | 1.182574e+03 | -- | Inf
252.94/253.37 c 252s| 1 | 0 |142130 | 126M| 0 |2099 |2478 |6530 |6530 |2478 |7736 |3778 | 0 | 0 | 1.185483e+03 | -- | Inf
254.25/254.64 c 253s| 1 | 0 |143061 | 127M| 0 |2149 |2478 |6530 |6530 |2478 |7766 |3808 | 0 | 0 | 1.185961e+03 | -- | Inf
259.04/259.48 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
259.04/259.48 c 258s| 1 | 0 |144844 | 127M| 0 |2152 |2478 |6530 |6530 |2478 |7805 |3847 | 0 | 0 | 1.189334e+03 | -- | Inf
263.34/263.79 c 262s| 1 | 0 |146951 | 127M| 0 |2190 |2478 |6530 |6530 |2478 |7569 |3889 | 0 | 0 | 1.192784e+03 | -- | Inf
267.84/268.29 c 267s| 1 | 0 |148895 | 128M| 0 |2188 |2478 |6530 |6530 |2478 |7606 |3926 | 0 | 0 | 1.195689e+03 | -- | Inf
272.44/272.83 c 271s| 1 | 0 |150008 | 128M| 0 |2178 |2478 |6530 |6530 |2478 |7646 |3966 | 0 | 0 | 1.196907e+03 | -- | Inf
277.44/277.83 c 276s| 1 | 0 |151475 | 128M| 0 |2159 |2478 |6530 |6530 |2478 |7674 |3994 | 0 | 0 | 1.198921e+03 | -- | Inf
279.44/279.82 c 278s| 1 | 0 |152278 | 129M| 0 |2164 |2478 |6530 |6530 |2478 |7694 |4014 | 0 | 0 | 1.199867e+03 | -- | Inf
284.54/285.00 c 283s| 1 | 0 |153370 | 129M| 0 |2152 |2478 |6530 |6530 |2478 |7729 |4049 | 0 | 0 | 1.201038e+03 | -- | Inf
290.73/291.19 c 290s| 1 | 0 |154874 | 129M| 0 |2175 |2478 |6530 |6530 |2478 |7494 |4081 | 0 | 0 | 1.204101e+03 | -- | Inf
295.33/295.73 c 294s| 1 | 0 |155934 | 129M| 0 |2140 |2478 |6530 |6530 |2478 |7519 |4106 | 0 | 0 | 1.205531e+03 | -- | Inf
300.93/301.36 c 300s| 1 | 0 |156630 | 129M| 0 |2116 |2478 |6530 |6530 |2478 |7539 |4126 | 0 | 0 | 1.206467e+03 | -- | Inf
305.13/305.59 c 304s| 1 | 0 |157564 | 129M| 0 |2130 |2478 |6530 |6530 |2478 |7561 |4148 | 0 | 0 | 1.207858e+03 | -- | Inf
310.63/311.01 c 309s| 1 | 0 |158027 | 129M| 0 |2125 |2478 |6530 |6530 |2478 |7580 |4167 | 0 | 0 | 1.208717e+03 | -- | Inf
316.23/316.61 c 315s| 1 | 0 |158709 | 129M| 0 |2137 |2478 |6530 |6530 |2478 |7597 |4184 | 0 | 0 | 1.209940e+03 | -- | Inf
322.53/322.94 c 321s| 1 | 0 |159606 | 129M| 0 |2128 |2478 |6530 |6530 |2478 |7438 |4207 | 0 | 0 | 1.211548e+03 | -- | Inf
328.53/328.98 c 327s| 1 | 0 |160815 | 129M| 0 |2106 |2478 |6530 |6530 |2478 |7455 |4224 | 0 | 0 | 1.213268e+03 | -- | Inf
332.62/333.03 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
332.62/333.03 c 331s| 1 | 0 |161785 | 129M| 0 |2135 |2478 |6530 |6530 |2478 |7479 |4248 | 0 | 0 | 1.215912e+03 | -- | Inf
336.42/336.86 c 335s| 1 | 0 |162675 | 129M| 0 |2116 |2478 |6530 |6530 |2478 |7518 |4287 | 0 | 0 | 1.219685e+03 | -- | Inf
340.02/340.47 c 339s| 1 | 0 |163793 | 130M| 0 |2129 |2478 |6530 |6530 |2478 |7542 |4311 | 0 | 0 | 1.221668e+03 | -- | Inf
344.12/344.57 c 343s| 1 | 0 |165114 | 130M| 0 |2096 |2478 |6530 |6530 |2478 |7564 |4333 | 0 | 0 | 1.224425e+03 | -- | Inf
347.92/348.31 c 347s| 1 | 0 |165681 | 130M| 0 |2083 |2478 |6530 |6530 |2478 |7439 |4356 | 0 | 0 | 1.225944e+03 | -- | Inf
350.82/351.25 c 350s| 1 | 0 |165973 | 130M| 0 |2084 |2478 |6530 |6530 |2478 |7450 |4367 | 0 | 0 | 1.226309e+03 | -- | Inf
354.32/354.71 c 353s| 1 | 0 |166791 | 130M| 0 |2106 |2478 |6530 |6530 |2478 |7469 |4386 | 0 | 0 | 1.227918e+03 | -- | Inf
358.92/359.30 c 358s| 1 | 0 |167588 | 131M| 0 |2080 |2478 |6530 |6530 |2478 |7495 |4412 | 0 | 0 | 1.228741e+03 | -- | Inf
362.62/363.06 c 361s| 1 | 0 |168181 | 131M| 0 |2096 |2478 |6530 |6530 |2478 |7513 |4430 | 0 | 0 | 1.229546e+03 | -- | Inf
366.32/366.76 c 365s| 1 | 0 |168697 | 131M| 0 |2096 |2478 |6530 |6530 |2478 |7525 |4442 | 0 | 0 | 1.229660e+03 | -- | Inf
369.22/369.64 c 368s| 1 | 0 |169524 | 131M| 0 |2084 |2478 |6530 |6530 |2478 |7431 |4459 | 0 | 0 | 1.230446e+03 | -- | Inf
372.21/372.64 c 371s| 1 | 0 |169827 | 131M| 0 |2081 |2478 |6530 |6530 |2478 |7448 |4476 | 0 | 0 | 1.230460e+03 | -- | Inf
376.31/376.75 c 375s| 1 | 0 |171305 | 128M| 0 |2065 |2478 |6530 |6530 |2478 |7464 |4492 | 0 | 0 | 1.231704e+03 | -- | Inf
379.22/379.63 c 378s| 1 | 0 |172780 | 128M| 0 |2085 |2478 |6530 |6530 |2478 |7491 |4519 | 0 | 0 | 1.233038e+03 | -- | Inf
381.21/381.69 c 380s| 1 | 0 |173736 | 126M| 0 |2059 |2478 |6530 |6530 |2478 |7514 |4542 | 0 | 0 | 1.234012e+03 | -- | Inf
384.61/385.06 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
384.61/385.06 c 383s| 1 | 0 |174460 | 122M| 0 |2054 |2478 |6530 |6530 |2478 |7535 |4563 | 0 | 0 | 1.234734e+03 | -- | Inf
387.92/388.40 c 387s| 1 | 0 |174827 | 118M| 0 |2075 |2478 |6530 |6530 |2478 |7433 |4577 | 0 | 0 | 1.234887e+03 | -- | Inf
391.61/392.06 c 390s| 1 | 0 |175657 | 115M| 0 |2089 |2478 |6530 |6530 |2478 |7443 |4587 | 0 | 0 | 1.234972e+03 | -- | Inf
395.30/395.75 c 394s| 1 | 0 |176875 | 114M| 0 |2098 |2478 |6530 |6530 |2478 |7460 |4604 | 0 | 0 | 1.235903e+03 | -- | Inf
398.80/399.26 c 397s| 1 | 0 |177393 | 111M| 0 |2070 |2478 |6530 |6530 |2478 |7474 |4618 | 0 | 0 | 1.236403e+03 | -- | Inf
403.00/403.43 c 402s| 1 | 0 |178714 | 107M| 0 |2083 |2478 |6530 |6530 |2478 |7488 |4632 | 0 | 0 | 1.237827e+03 | -- | Inf
404.50/404.95 c 403s| 1 | 0 |179639 | 103M| 0 |1994 |2478 |6530 |6530 |2478 |7518 |4662 | 0 | 0 | 1.239511e+03 | -- | Inf
407.30/407.79 c 406s| 1 | 0 |180945 | 99M| 0 |2028 |2478 |6530 |6530 |2478 |7457 |4696 | 0 | 0 | 1.241254e+03 | -- | Inf
410.00/410.47 c 409s| 1 | 0 |181960 | 95M| 0 |1993 |2478 |6530 |6530 |2478 |7498 |4737 | 0 | 0 | 1.242502e+03 | -- | Inf
412.11/412.54 c 411s| 1 | 0 |183807 | 91M| 0 |2066 |2478 |6530 |6530 |2478 |7526 |4765 | 0 | 0 | 1.245195e+03 | -- | Inf
414.50/414.90 c 413s| 1 | 0 |185262 | 89M| 0 |2100 |2478 |6530 |6530 |2478 |7569 |4808 | 0 | 0 | 1.247978e+03 | -- | Inf
417.80/418.23 c 416s| 1 | 0 |186132 | 84M| 0 |2003 |2478 |6530 |6530 |2478 |7595 |4834 | 0 | 0 | 1.249279e+03 | -- | Inf
419.29/419.78 c 418s| 1 | 0 |187196 | 80M| 0 |2086 |2478 |6530 |6530 |2478 |7627 |4866 | 0 | 0 | 1.250610e+03 | -- | Inf
421.30/421.72 c 420s| 1 | 0 |188159 | 79M| 0 |2042 |2478 |6530 |6530 |2478 |7575 |4899 | 0 | 0 | 1.252087e+03 | -- | Inf
423.90/424.35 c 422s| 1 | 0 |189401 | 77M| 0 |2066 |2478 |6530 |6530 |2478 |7605 |4929 | 0 | 0 | 1.253334e+03 | -- | Inf
425.40/425.90 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
425.40/425.90 c 424s| 1 | 0 |190450 | 75M| 0 |2072 |2478 |6530 |6530 |2478 |7640 |4964 | 0 | 0 | 1.254119e+03 | -- | Inf
428.60/429.02 c 427s| 1 | 0 |191320 | 74M| 0 |2010 |2478 |6530 |6530 |2478 |7668 |4992 | 0 | 0 | 1.255127e+03 | -- | Inf
430.30/430.70 c 429s| 1 | 0 |192234 | 74M| 0 |2034 |2478 |6530 |6530 |2478 |7700 |5024 | 0 | 0 | 1.255862e+03 | -- | Inf
433.69/434.12 c 432s| 1 | 0 |193693 | 73M| 0 |2009 |2478 |6530 |6530 |2478 |7730 |5054 | 0 | 0 | 1.257310e+03 | -- | Inf
436.30/436.70 c 435s| 1 | 0 |195366 | 72M| 0 |2067 |2478 |6530 |6530 |2478 |7604 |5081 | 0 | 0 | 1.259195e+03 | -- | Inf
438.50/438.95 c 437s| 1 | 0 |196909 | 72M| 0 |2051 |2478 |6530 |6530 |2478 |7635 |5112 | 0 | 0 | 1.260907e+03 | -- | Inf
441.19/441.69 c 440s| 1 | 0 |197906 | 70M| 0 |2022 |2478 |6530 |6530 |2478 |7660 |5137 | 0 | 0 | 1.262179e+03 | -- | Inf
443.59/444.02 c 442s| 1 | 0 |199005 | 70M| 0 |2005 |2478 |6530 |6530 |2478 |7701 |5178 | 0 | 0 | 1.263775e+03 | -- | Inf
445.29/445.74 c 444s| 1 | 0 |200152 | 69M| 0 |2001 |2478 |6530 |6530 |2478 |7729 |5206 | 0 | 0 | 1.267005e+03 | -- | Inf
446.79/447.20 c 445s| 1 | 0 |201095 | 69M| 0 |2018 |2478 |6530 |6530 |2478 |7758 |5235 | 0 | 0 | 1.268269e+03 | -- | Inf
448.39/448.87 c 447s| 1 | 0 |201894 | 69M| 0 |2006 |2478 |6530 |6530 |2478 |7619 |5257 | 0 | 0 | 1.269150e+03 | -- | Inf
449.49/449.93 c 448s| 1 | 0 |202402 | 68M| 0 |2009 |2478 |6530 |6530 |2478 |7647 |5285 | 0 | 0 | 1.270057e+03 | -- | Inf
452.69/453.19 c 451s| 1 | 0 |203875 | 67M| 0 |2041 |2478 |6530 |6530 |2478 |7670 |5308 | 0 | 0 | 1.270849e+03 | -- | Inf
455.89/456.35 c 454s| 1 | 0 |205260 | 66M| 0 |2046 |2478 |6530 |6530 |2478 |7689 |5327 | 0 | 0 | 1.271692e+03 | -- | Inf
458.69/459.18 c 457s| 1 | 0 |206076 | 66M| 0 |2049 |2478 |6530 |6530 |2478 |7711 |5349 | 0 | 0 | 1.272167e+03 | -- | Inf
462.08/462.51 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
462.08/462.51 c 461s| 1 | 0 |207074 | 65M| 0 |2025 |2478 |6530 |6530 |2478 |7733 |5371 | 0 | 0 | 1.272684e+03 | -- | Inf
465.69/466.11 c 464s| 1 | 0 |207775 | 64M| 0 |2007 |2478 |6530 |6530 |2478 |7596 |5386 | 0 | 0 | 1.273149e+03 | -- | Inf
469.08/469.56 c 468s| 1 | 0 |208211 | 64M| 0 |2002 |2478 |6530 |6530 |2478 |7612 |5402 | 0 | 0 | 1.273626e+03 | -- | Inf
471.78/472.28 c 470s| 1 | 0 |208855 | 64M| 0 |1964 |2478 |6530 |6530 |2478 |7630 |5420 | 0 | 0 | 1.274098e+03 | -- | Inf
473.48/473.91 c 472s| 1 | 0 |209418 | 64M| 0 |2013 |2478 |6530 |6530 |2478 |7647 |5437 | 0 | 0 | 1.274301e+03 | -- | Inf
476.18/476.64 c 475s| 1 | 0 |210075 | 63M| 0 |2020 |2478 |6530 |6530 |2478 |7659 |5449 | 0 | 0 | 1.275153e+03 | -- | Inf
479.38/479.83 c 478s| 1 | 0 |210280 | 61M| 0 |2021 |2478 |6530 |6530 |2478 |7672 |5462 | 0 | 0 | 1.275577e+03 | -- | Inf
482.77/483.29 c 481s| 1 | 0 |210483 | 61M| 0 |2025 |2478 |6530 |6530 |2478 |7542 |5469 | 0 | 0 | 1.275633e+03 | -- | Inf
485.78/486.26 c 484s| 1 | 0 |210999 | 61M| 0 |2025 |2478 |6530 |6530 |2478 |7551 |5478 | 0 | 0 | 1.276371e+03 | -- | Inf
489.47/489.90 c 488s| 1 | 0 |211508 | 61M| 0 |2013 |2478 |6530 |6530 |2478 |7556 |5483 | 0 | 0 | 1.276581e+03 | -- | Inf
492.88/493.37 c 491s| 1 | 0 |211768 | 59M| 0 |2011 |2478 |6530 |6530 |2478 |7561 |5488 | 0 | 0 | 1.276598e+03 | -- | Inf
495.77/496.20 c 494s| 1 | 0 |211769 | 57M| 0 |2011 |2478 |6530 |6530 |2478 |7562 |5489 | 0 | 0 | 1.276598e+03 | -- | Inf
504.58/505.02 c 503s| 1 | 2 |211769 | 56M| 0 |2011 |2478 |6530 |6530 |2478 |7562 |5489 | 0 | 27 | 1.276598e+03 | -- | Inf
1794.82/1795.63 c
1794.82/1795.63 c SCIP Status : solving was interrupted [time limit reached]
1794.82/1795.63 c Solving Time (sec) : 1791.01
1794.82/1795.63 c Solving Nodes : 1380
1794.82/1795.63 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1794.82/1795.63 c Dual Bound : +1.28620769209175e+03
1794.82/1795.63 c Gap : infinite
1794.82/1795.63 c NODE 1380
1794.82/1795.63 c DUAL BOUND 1286.21
1794.82/1795.63 c PRIMAL BOUND 1e+20
1794.82/1795.63 c GAP 1e+20
1794.82/1795.63 s UNKNOWN
1794.82/1795.63 c SCIP Status : solving was interrupted [time limit reached]
1794.82/1795.63 c Solving Time : 1791.01
1794.82/1795.63 c Original Problem :
1794.82/1795.63 c Problem name : HOME/instance-1869031-1245155173.opb
1794.82/1795.63 c Variables : 2666 (2666 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.82/1795.63 c Constraints : 6659 initial, 6659 maximal
1794.82/1795.63 c Presolved Problem :
1794.82/1795.63 c Problem name : t_HOME/instance-1869031-1245155173.opb
1794.82/1795.63 c Variables : 2478 (2478 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.82/1795.63 c Constraints : 6530 initial, 7177 maximal
1794.82/1795.63 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1794.82/1795.63 c trivial : 0.02 0 0 0 0 0 0 0 0
1794.82/1795.63 c dualfix : 0.00 0 0 0 0 0 0 0 0
1794.82/1795.63 c boundshift : 0.00 0 0 0 0 0 0 0 0
1794.82/1795.63 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1794.82/1795.63 c implics : 0.02 0 3 0 0 0 0 0 0
1794.82/1795.63 c probing : 0.38 2 183 0 0 0 0 0 0
1794.82/1795.63 c linear : 0.10 0 0 0 0 0 122 122 0
1794.82/1795.63 c logicor : 0.11 0 0 0 0 0 7 0 0
1794.82/1795.63 c root node : - 0 - - 0 - - - -
1794.82/1795.63 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1794.82/1795.63 c integral : 0 0 0 1020 0 5 10 0 0 2016
1794.82/1795.63 c logicor : 6530+ 147 69127 0 0 357 395142 0 0 0
1794.82/1795.63 c countsols : 0 0 0 0 0 0 0 0 0 0
1794.82/1795.63 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1794.82/1795.63 c integral : 405.65 0.00 0.00 405.65 0.00
1794.82/1795.63 c logicor : 2.57 0.18 2.39 0.00 0.00
1794.82/1795.63 c countsols : 0.00 0.00 0.00 0.00 0.00
1794.82/1795.63 c Propagators : Time Calls Cutoffs DomReds
1794.82/1795.63 c rootredcost : 0.03 0 0 0
1794.82/1795.63 c pseudoobj : 7.64 63662 0 0
1794.82/1795.63 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1794.82/1795.63 c propagation : 0.10 355 345 1570 29.8 58 4.9 -
1794.82/1795.63 c infeasible LP : 0.20 349 0 0 0.0 0 0.0 0
1794.82/1795.63 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1794.82/1795.63 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1794.82/1795.63 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1794.82/1795.63 c applied globally : - - - 1234 26.7 - - -
1794.82/1795.63 c applied locally : - - - 0 0.0 - - -
1794.82/1795.63 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1794.82/1795.63 c cut pool : 4.86 146 - - 6362 - (maximal pool size: 29948)
1794.82/1795.63 c redcost : 0.14 1166 0 0 0 0
1794.82/1795.63 c impliedbounds : 0.16 147 0 0 555 0
1794.82/1795.63 c intobj : 0.00 0 0 0 0 0
1794.82/1795.63 c gomory : 272.68 147 0 0 59816 0
1794.82/1795.63 c strongcg : 8.38 20 0 0 10000 0
1794.82/1795.63 c cmir : 0.82 10 0 0 0 0
1794.82/1795.63 c flowcover : 0.66 10 0 0 0 0
1794.82/1795.63 c clique : 0.41 147 0 0 37 0
1794.82/1795.63 c zerohalf : 0.00 0 0 0 0 0
1794.82/1795.63 c mcf : 0.02 1 0 0 0 0
1794.82/1795.63 c Pricers : Time Calls Vars
1794.82/1795.63 c problem variables: 0.00 0 0
1794.82/1795.63 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1794.82/1795.63 c relpscost : 405.64 1020 5 10 0 0 2016
1794.82/1795.63 c pscost : 0.00 0 0 0 0 0 0
1794.82/1795.63 c inference : 0.00 0 0 0 0 0 0
1794.82/1795.63 c mostinf : 0.00 0 0 0 0 0 0
1794.82/1795.63 c leastinf : 0.00 0 0 0 0 0 0
1794.82/1795.63 c fullstrong : 0.00 0 0 0 0 0 0
1794.82/1795.63 c allfullstrong : 0.00 0 0 0 0 0 0
1794.82/1795.63 c random : 0.00 0 0 0 0 0 0
1794.82/1795.63 c Primal Heuristics : Time Calls Found
1794.82/1795.63 c LP solutions : 0.00 - 0
1794.82/1795.63 c pseudo solutions : 0.00 - 0
1794.82/1795.63 c oneopt : 0.00 0 0
1794.82/1795.63 c crossover : 0.00 0 0
1794.82/1795.63 c guideddiving : 0.00 0 0
1794.82/1795.63 c fracdiving : 71.14 19 0
1794.82/1795.63 c linesearchdiving : 59.09 19 0
1794.82/1795.63 c coefdiving : 58.64 20 0
1794.82/1795.63 c simplerounding : 0.01 0 0
1794.82/1795.63 c rounding : 1.14 430 0
1794.82/1795.63 c shifting : 2.77 200 0
1794.82/1795.63 c intshifting : 0.00 0 0
1794.82/1795.63 c fixandinfer : 0.00 0 0
1794.82/1795.63 c feaspump : 33.17 5 0
1794.82/1795.63 c pscostdiving : 56.78 20 0
1794.82/1795.63 c veclendiving : 47.90 19 0
1794.82/1795.63 c intdiving : 0.00 0 0
1794.82/1795.63 c actconsdiving : 0.00 0 0
1794.82/1795.63 c objpscostdiving : 45.17 3 0
1794.82/1795.63 c rootsoldiving : 57.03 3 0
1794.82/1795.63 c octane : 0.00 0 0
1794.82/1795.63 c rens : 0.01 0 0
1794.82/1795.63 c rins : 0.00 0 0
1794.82/1795.63 c localbranching : 0.00 0 0
1794.82/1795.63 c mutation : 0.00 0 0
1794.82/1795.63 c dins : 0.00 0 0
1794.82/1795.63 c LP : Time Calls Iterations Iter/call Iter/sec
1794.82/1795.63 c primal LP : 7.69 0 0 0.00 0.00
1794.82/1795.63 c dual LP : 641.95 1427 1027320 719.92 1600.31
1794.82/1795.63 c barrier LP : 0.00 0 0 0.00 -
1794.82/1795.63 c diving/probing LP: 400.26 9217 413901 44.91 1034.08
1794.82/1795.63 c strong branching : 404.54 2532 626005 247.24 1547.45
1794.82/1795.63 c (at root node) : - 27 6513 241.22 -
1794.82/1795.63 c conflict analysis: 0.00 0 0 0.00 -
1794.82/1795.63 c B&B Tree :
1794.82/1795.63 c number of runs : 1
1794.82/1795.63 c nodes : 1380
1794.82/1795.63 c nodes (total) : 1380
1794.82/1795.63 c nodes left : 536
1794.82/1795.63 c max depth : 37
1794.82/1795.63 c max depth (total): 37
1794.82/1795.63 c backtracks : 461 (33.4%)
1794.82/1795.63 c delayed cutoffs : 101
1794.82/1795.63 c repropagations : 284 (70013 domain reductions, 86 cutoffs)
1794.82/1795.63 c avg switch length: 4.58
1794.82/1795.63 c switching time : 1.63
1794.82/1795.63 c Solution :
1794.82/1795.63 c Solutions found : 0 (0 improvements)
1794.82/1795.63 c Primal Bound : -
1794.82/1795.63 c Dual Bound : +1.28620769209175e+03
1794.82/1795.63 c Gap : infinite
1794.82/1795.63 c Root Dual Bound : +1.27659837886012e+03
1794.92/1795.78 c Time complete: 1795.01.