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-1868913-1245149672.opb>
0.09/0.11 c original problem has 2606 variables (2606 bin, 0 int, 0 impl, 0 cont) and 6509 constraints
0.09/0.14 c start presolving problem
0.09/0.14 c presolving:
0.19/0.28 c (round 1) 0 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6385 upgd conss, 5582 impls, 0 clqs
0.19/0.29 c (round 2) 0 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6386 upgd conss, 5582 impls, 0 clqs
0.29/0.31 c (round 3) 0 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6387 upgd conss, 5582 impls, 0 clqs
0.29/0.37 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.29/0.38 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.40 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.49/0.55 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.59/0.68 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.79/0.81 c (0.6s) probing: 548/2606 (21.0%) - 2 fixings, 183 aggregations, 12557 implications, 0 bound changes
0.79/0.81 c (0.6s) probing aborted: 100/100 successive totally useless probings
0.79/0.81 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.79/0.83 c (0.7s) probing: 558/2606 (21.4%) - 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 presolving (10 rounds):
0.79/0.83 c 188 deleted vars, 129 deleted constraints, 0 tightened bounds, 0 added holes, 122 changed sides, 0 changed coefficients
0.79/0.83 c 48328 implications, 0 cliques
0.79/0.83 c presolved problem has 2418 variables (2418 bin, 0 int, 0 impl, 0 cont) and 6380 constraints
0.79/0.83 c 6380 constraints of type <logicor>
0.79/0.83 c transformed objective value is always integral (scale: 1)
0.79/0.83 c Presolving Time: 0.64
0.79/0.83 c strange?!, PURESAT with obj
0.79/0.83 c -----------------------------------------------------------------------------------------------
0.79/0.83 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.79/0.83 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.83 c limits/memory = c 1620
0.79/0.83 c # maximal time in seconds to run
0.79/0.83 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.83 c limits/time = c 1791
0.79/0.83 c # frequency for displaying node information lines
0.79/0.83 c # [type: int, range: [-1,2147483647], default: 100]
0.79/0.83 c display/freq = c 10000
0.79/0.83 c -----------------------------------------------------------------------------------------------
0.79/0.83 c start solving problem
0.79/0.83 c
2.89/2.91 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.89/2.91 c 2.7s| 1 | 0 | 4661 | 14M| 0 |1743 |2418 |6380 |6380 |2418 |6193 | 0 | 0 | 0 | 7.849117e+02 | -- | Inf
7.99/8.05 c 7.8s| 1 | 0 | 15401 | 16M| 0 |2075 |2418 |6380 |6380 |2418 |6396 | 203 | 0 | 0 | 8.078556e+02 | -- | Inf
8.98/9.05 c 8.8s| 1 | 0 | 16164 | 18M| 0 |1737 |2418 |6380 |6380 |2418 |6426 | 233 | 0 | 0 | 8.139311e+02 | -- | Inf
10.09/10.10 c 9.9s| 1 | 0 | 17029 | 21M| 0 |1594 |2418 |6380 |6380 |2418 |6452 | 259 | 0 | 0 | 8.177121e+02 | -- | Inf
11.29/11.32 c 11.1s| 1 | 0 | 17997 | 23M| 0 |1632 |2418 |6380 |6380 |2418 |6487 | 294 | 0 | 0 | 8.203860e+02 | -- | Inf
12.69/12.70 c 12.5s| 1 | 0 | 19058 | 25M| 0 |1636 |2418 |6380 |6380 |2418 |6516 | 323 | 0 | 0 | 8.224872e+02 | -- | Inf
14.69/14.76 c 14.5s| 1 | 0 | 20662 | 27M| 0 |1708 |2418 |6380 |6380 |2418 |6552 | 359 | 0 | 0 | 8.252615e+02 | -- | Inf
17.38/17.50 c 17.2s| 1 | 0 | 22615 | 29M| 0 |1671 |2418 |6380 |6380 |2418 |6588 | 395 | 0 | 0 | 8.288936e+02 | -- | Inf
19.39/19.48 c 19.2s| 1 | 0 | 23893 | 32M| 0 |1686 |2418 |6380 |6380 |2418 |6624 | 431 | 0 | 0 | 8.310436e+02 | -- | Inf
21.59/21.69 c 21.4s| 1 | 0 | 25295 | 35M| 0 |1628 |2418 |6380 |6380 |2418 |6653 | 460 | 0 | 0 | 8.335491e+02 | -- | Inf
23.48/23.59 c 23.3s| 1 | 0 | 26335 | 38M| 0 |1631 |2418 |6380 |6380 |2418 |6679 | 486 | 0 | 0 | 8.347952e+02 | -- | Inf
25.98/26.02 c 25.7s| 1 | 0 | 27876 | 40M| 0 |1709 |2418 |6380 |6380 |2418 |6709 | 516 | 0 | 0 | 8.366354e+02 | -- | Inf
28.79/28.86 c 28.5s| 1 | 0 | 29731 | 42M| 0 |1717 |2418 |6380 |6380 |2418 |6744 | 551 | 0 | 0 | 8.406691e+02 | -- | Inf
31.18/31.24 c 30.9s| 1 | 0 | 31452 | 45M| 0 |1698 |2418 |6380 |6380 |2418 |6777 | 584 | 0 | 0 | 8.427327e+02 | -- | Inf
33.38/33.48 c 33.1s| 1 | 0 | 32724 | 48M| 0 |1717 |2418 |6380 |6380 |2418 |6806 | 613 | 0 | 0 | 8.446286e+02 | -- | Inf
37.88/37.95 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.88/37.95 c 37.6s| 1 | 0 | 35370 | 51M| 0 |1672 |2418 |6380 |6380 |2418 |6604 | 651 | 0 | 0 | 8.481055e+02 | -- | Inf
40.86/40.95 c 40.5s| 1 | 0 | 37409 | 53M| 0 |1652 |2418 |6380 |6380 |2418 |6648 | 695 | 0 | 0 | 8.511666e+02 | -- | Inf
44.67/44.79 c 44.4s| 1 | 0 | 39266 | 55M| 0 |1687 |2418 |6380 |6380 |2418 |6696 | 743 | 0 | 0 | 8.586654e+02 | -- | Inf
47.86/47.96 c 47.5s| 1 | 0 | 40899 | 58M| 0 |1673 |2418 |6380 |6380 |2418 |6727 | 774 | 0 | 0 | 8.626501e+02 | -- | Inf
50.67/50.79 c 50.3s| 1 | 0 | 42531 | 60M| 0 |1673 |2418 |6380 |6380 |2418 |6762 | 809 | 0 | 0 | 8.655403e+02 | -- | Inf
57.56/57.63 c 57.1s| 1 | 0 | 46737 | 63M| 0 |1666 |2418 |6380 |6380 |2418 |6808 | 855 | 0 | 0 | 8.679457e+02 | -- | Inf
61.66/61.71 c 61.2s| 1 | 0 | 49235 | 65M| 0 |1737 |2418 |6380 |6380 |2418 |6699 | 908 | 0 | 0 | 8.756768e+02 | -- | Inf
63.86/63.97 c 63.4s| 1 | 0 | 50960 | 65M| 0 |1765 |2418 |6380 |6380 |2418 |6758 | 967 | 0 | 0 | 8.824629e+02 | -- | Inf
65.66/65.80 c 65.2s| 1 | 0 | 52325 | 66M| 0 |1843 |2418 |6380 |6380 |2418 |6795 |1004 | 0 | 0 | 8.855983e+02 | -- | Inf
67.87/67.98 c 67.4s| 1 | 0 | 53807 | 68M| 0 |1993 |2418 |6380 |6380 |2418 |6836 |1045 | 0 | 0 | 8.913021e+02 | -- | Inf
70.06/70.14 c 69.5s| 1 | 0 | 55437 | 69M| 0 |1909 |2418 |6380 |6380 |2418 |6873 |1082 | 0 | 0 | 8.933245e+02 | -- | Inf
72.86/72.91 c 72.3s| 1 | 0 | 57354 | 71M| 0 |2014 |2418 |6380 |6380 |2418 |6919 |1128 | 0 | 0 | 8.953318e+02 | -- | Inf
77.36/77.41 c 76.8s| 1 | 0 | 59958 | 72M| 0 |1776 |2418 |6380 |6380 |2418 |6796 |1177 | 0 | 0 | 8.990126e+02 | -- | Inf
79.16/79.28 c 78.6s| 1 | 0 | 61298 | 73M| 0 |1803 |2418 |6380 |6380 |2418 |6834 |1215 | 0 | 0 | 9.059864e+02 | -- | Inf
81.85/81.97 c 81.3s| 1 | 0 | 63064 | 74M| 0 |1846 |2418 |6380 |6380 |2418 |6888 |1269 | 0 | 0 | 9.144618e+02 | -- | Inf
83.56/83.64 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
83.56/83.64 c 83.0s| 1 | 0 | 64275 | 75M| 0 |1889 |2418 |6380 |6380 |2418 |6926 |1307 | 0 | 0 | 9.173340e+02 | -- | Inf
86.95/87.00 c 86.3s| 1 | 0 | 66570 | 76M| 0 |1819 |2418 |6380 |6380 |2418 |6986 |1367 | 0 | 0 | 9.277313e+02 | -- | Inf
89.66/89.70 c 89.0s| 1 | 0 | 68475 | 76M| 0 |2021 |2418 |6380 |6380 |2418 |7057 |1438 | 0 | 0 | 9.335198e+02 | -- | Inf
92.75/92.80 c 92.1s| 1 | 0 | 70572 | 78M| 0 |2045 |2418 |6380 |6380 |2418 |6925 |1488 | 0 | 0 | 9.385323e+02 | -- | Inf
95.15/95.27 c 94.6s| 1 | 0 | 72559 | 80M| 0 |1990 |2418 |6380 |6380 |2418 |6964 |1527 | 0 | 0 | 9.435544e+02 | -- | Inf
97.65/97.72 c 97.0s| 1 | 0 | 74345 | 82M| 0 |1985 |2418 |6380 |6380 |2418 |7007 |1570 | 0 | 0 | 9.486059e+02 | -- | Inf
100.25/100.34 c 99.6s| 1 | 0 | 76151 | 84M| 0 |1985 |2418 |6380 |6380 |2418 |7040 |1603 | 0 | 0 | 9.520092e+02 | -- | Inf
102.95/103.04 c 102s| 1 | 0 | 77618 | 85M| 0 |1887 |2418 |6380 |6380 |2418 |7108 |1671 | 0 | 0 | 9.646431e+02 | -- | Inf
104.85/104.91 c 104s| 1 | 0 | 78820 | 86M| 0 |1878 |2418 |6380 |6380 |2418 |7152 |1715 | 0 | 0 | 9.682290e+02 | -- | Inf
107.45/107.55 c 107s| 1 | 0 | 80494 | 88M| 0 |1905 |2418 |6380 |6380 |2418 |6996 |1761 | 0 | 0 | 9.721219e+02 | -- | Inf
109.35/109.41 c 109s| 1 | 0 | 81909 | 90M| 0 |1920 |2418 |6380 |6380 |2418 |7047 |1812 | 0 | 0 | 9.757936e+02 | -- | Inf
111.94/112.08 c 111s| 1 | 0 | 83907 | 92M| 0 |2005 |2418 |6380 |6380 |2418 |7094 |1859 | 0 | 0 | 9.783979e+02 | -- | Inf
115.35/115.44 c 115s| 1 | 0 | 85843 | 93M| 0 |1933 |2418 |6380 |6380 |2418 |7160 |1925 | 0 | 0 | 9.876574e+02 | -- | Inf
117.25/117.31 c 116s| 1 | 0 | 86861 | 95M| 0 |1949 |2418 |6380 |6380 |2418 |7205 |1970 | 0 | 0 | 9.911212e+02 | -- | Inf
120.05/120.14 c 119s| 1 | 0 | 88684 | 96M| 0 |1965 |2418 |6380 |6380 |2418 |7260 |2025 | 0 | 0 | 9.943226e+02 | -- | Inf
124.15/124.23 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
124.15/124.23 c 123s| 1 | 0 | 90197 | 97M| 0 |2022 |2418 |6380 |6380 |2418 |7121 |2093 | 0 | 0 | 1.002739e+03 | -- | Inf
127.74/127.84 c 127s| 1 | 0 | 92683 | 98M| 0 |2079 |2418 |6380 |6380 |2418 |7176 |2148 | 0 | 0 | 1.007505e+03 | -- | Inf
131.24/131.33 c 130s| 1 | 0 | 94923 | 99M| 0 |2099 |2418 |6380 |6380 |2418 |7243 |2215 | 0 | 0 | 1.010845e+03 | -- | Inf
137.04/137.15 c 136s| 1 | 0 | 98231 | 100M| 0 |2002 |2418 |6380 |6380 |2418 |7327 |2299 | 0 | 0 | 1.022801e+03 | -- | Inf
140.14/140.22 c 139s| 1 | 0 |100138 | 101M| 0 |1953 |2418 |6380 |6380 |2418 |7380 |2352 | 0 | 0 | 1.029727e+03 | -- | Inf
144.34/144.45 c 144s| 1 | 0 |102406 | 102M| 0 |2027 |2418 |6380 |6380 |2418 |7448 |2420 | 0 | 0 | 1.036526e+03 | -- | Inf
149.14/149.25 c 148s| 1 | 0 |104742 | 104M| 0 |2130 |2418 |6380 |6380 |2418 |7306 |2470 | 0 | 0 | 1.039562e+03 | -- | Inf
153.24/153.32 c 152s| 1 | 0 |107127 | 105M| 0 |2079 |2418 |6380 |6380 |2418 |7353 |2517 | 0 | 0 | 1.042802e+03 | -- | Inf
156.53/156.62 c 156s| 1 | 0 |108813 | 107M| 0 |2106 |2418 |6380 |6380 |2418 |7402 |2566 | 0 | 0 | 1.045892e+03 | -- | Inf
160.64/160.77 c 160s| 1 | 0 |111257 | 107M| 0 |2046 |2418 |6380 |6380 |2418 |7466 |2630 | 0 | 0 | 1.051803e+03 | -- | Inf
163.53/163.69 c 163s| 1 | 0 |113003 | 108M| 0 |2036 |2418 |6380 |6380 |2418 |7532 |2696 | 0 | 0 | 1.055411e+03 | -- | Inf
167.43/167.56 c 167s| 1 | 0 |115068 | 109M| 0 |2091 |2418 |6380 |6380 |2418 |7600 |2764 | 0 | 0 | 1.058210e+03 | -- | Inf
172.83/172.97 c 172s| 1 | 0 |117715 | 109M| 0 |2079 |2418 |6380 |6380 |2418 |7405 |2844 | 0 | 0 | 1.063920e+03 | -- | Inf
176.84/176.90 c 176s| 1 | 0 |119916 | 111M| 0 |2152 |2418 |6380 |6380 |2418 |7469 |2908 | 0 | 0 | 1.067961e+03 | -- | Inf
182.93/183.07 c 182s| 1 | 0 |122376 | 111M| 0 |2088 |2418 |6380 |6380 |2418 |7538 |2977 | 0 | 0 | 1.075674e+03 | -- | Inf
186.72/186.82 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
186.72/186.82 c 186s| 1 | 0 |124480 | 112M| 0 |2156 |2418 |6380 |6380 |2418 |7608 |3047 | 0 | 0 | 1.079100e+03 | -- | Inf
191.92/192.08 c 191s| 1 | 0 |126171 | 112M| 0 |2132 |2418 |6380 |6380 |2418 |7670 |3109 | 0 | 0 | 1.085821e+03 | -- | Inf
195.83/195.92 c 195s| 1 | 0 |128089 | 113M| 0 |2084 |2418 |6380 |6380 |2418 |7726 |3165 | 0 | 0 | 1.089859e+03 | -- | Inf
198.83/198.94 c 198s| 1 | 0 |129603 | 114M| 0 |2146 |2418 |6380 |6380 |2418 |7486 |3208 | 0 | 0 | 1.091251e+03 | -- | Inf
201.92/202.08 c 201s| 1 | 0 |131996 | 115M| 0 |2159 |2418 |6380 |6380 |2418 |7540 |3262 | 0 | 0 | 1.095317e+03 | -- | Inf
206.63/206.78 c 206s| 1 | 0 |133778 | 115M| 0 |2084 |2418 |6380 |6380 |2418 |7596 |3318 | 0 | 0 | 1.099971e+03 | -- | Inf
209.12/209.24 c 208s| 1 | 0 |135542 | 116M| 0 |2020 |2418 |6380 |6380 |2418 |7649 |3371 | 0 | 0 | 1.102625e+03 | -- | Inf
211.93/212.03 c 211s| 1 | 0 |137415 | 117M| 0 |2041 |2418 |6380 |6380 |2418 |7694 |3416 | 0 | 0 | 1.105660e+03 | -- | Inf
215.13/215.27 c 214s| 1 | 0 |139048 | 118M| 0 |2118 |2418 |6380 |6380 |2418 |7741 |3463 | 0 | 0 | 1.108522e+03 | -- | Inf
222.02/222.12 c 221s| 1 | 0 |141241 | 119M| 0 |2079 |2418 |6380 |6380 |2418 |7437 |3506 | 0 | 0 | 1.111889e+03 | -- | Inf
225.52/225.65 c 225s| 1 | 0 |142705 | 120M| 0 |2006 |2418 |6380 |6380 |2418 |7476 |3545 | 0 | 0 | 1.114225e+03 | -- | Inf
228.31/228.41 c 227s| 1 | 0 |144564 | 121M| 0 |2123 |2418 |6380 |6380 |2418 |7531 |3600 | 0 | 0 | 1.117125e+03 | -- | Inf
234.31/234.44 c 233s| 1 | 0 |146849 | 121M| 0 |2085 |2418 |6380 |6380 |2418 |7596 |3665 | 0 | 0 | 1.121581e+03 | -- | Inf
236.82/236.98 c 236s| 1 | 0 |147994 | 123M| 0 |2038 |2418 |6380 |6380 |2418 |7636 |3705 | 0 | 0 | 1.124553e+03 | -- | Inf
239.22/239.32 c 238s| 1 | 0 |149153 | 124M| 0 |2080 |2418 |6380 |6380 |2418 |7675 |3744 | 0 | 0 | 1.126966e+03 | -- | Inf
245.31/245.46 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
245.31/245.46 c 244s| 1 | 0 |151196 | 124M| 0 |2091 |2418 |6380 |6380 |2418 |7435 |3812 | 0 | 0 | 1.131477e+03 | -- | Inf
248.31/248.46 c 247s| 1 | 0 |152578 | 125M| 0 |2115 |2418 |6380 |6380 |2418 |7471 |3848 | 0 | 0 | 1.133091e+03 | -- | Inf
252.42/252.51 c 251s| 1 | 0 |154161 | 126M| 0 |2071 |2418 |6380 |6380 |2418 |7503 |3880 | 0 | 0 | 1.134768e+03 | -- | Inf
254.91/255.02 c 254s| 1 | 0 |156022 | 127M| 0 |2091 |2418 |6380 |6380 |2418 |7537 |3914 | 0 | 0 | 1.136281e+03 | -- | Inf
257.61/257.77 c 257s| 1 | 0 |157694 | 128M| 0 |2119 |2418 |6380 |6380 |2418 |7585 |3962 | 0 | 0 | 1.138675e+03 | -- | Inf
261.01/261.18 c 260s| 1 | 0 |159073 | 130M| 0 |2084 |2418 |6380 |6380 |2418 |7619 |3996 | 0 | 0 | 1.139517e+03 | -- | Inf
265.31/265.48 c 264s| 1 | 0 |161065 | 131M| 0 |2109 |2418 |6380 |6380 |2418 |7431 |4042 | 0 | 0 | 1.141112e+03 | -- | Inf
267.91/268.03 c 267s| 1 | 0 |162840 | 133M| 0 |2138 |2418 |6380 |6380 |2418 |7462 |4073 | 0 | 0 | 1.142265e+03 | -- | Inf
272.00/272.18 c 271s| 1 | 0 |164919 | 134M| 0 |2091 |2418 |6380 |6380 |2418 |7506 |4117 | 0 | 0 | 1.144651e+03 | -- | Inf
277.01/277.18 c 276s| 1 | 0 |166838 | 134M| 0 |2013 |2418 |6380 |6380 |2418 |7557 |4168 | 0 | 0 | 1.147092e+03 | -- | Inf
279.60/279.73 c 278s| 1 | 0 |168261 | 136M| 0 |2066 |2418 |6380 |6380 |2418 |7597 |4208 | 0 | 0 | 1.148296e+03 | -- | Inf
282.61/282.79 c 282s| 1 | 0 |169869 | 136M| 0 |2090 |2418 |6380 |6380 |2418 |7631 |4242 | 0 | 0 | 1.149264e+03 | -- | Inf
286.91/287.05 c 286s| 1 | 0 |171006 | 137M| 0 |2077 |2418 |6380 |6380 |2418 |7418 |4281 | 0 | 0 | 1.150452e+03 | -- | Inf
290.41/290.51 c 289s| 1 | 0 |172364 | 138M| 0 |2102 |2418 |6380 |6380 |2418 |7448 |4311 | 0 | 0 | 1.152618e+03 | -- | Inf
296.70/296.82 c 296s| 1 | 0 |174313 | 138M| 0 |2111 |2418 |6380 |6380 |2418 |7503 |4366 | 0 | 0 | 1.154786e+03 | -- | Inf
302.20/302.31 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
302.20/302.31 c 301s| 1 | 0 |175767 | 138M| 0 |2058 |2418 |6380 |6380 |2418 |7536 |4399 | 0 | 0 | 1.158162e+03 | -- | Inf
305.40/305.55 c 304s| 1 | 0 |176970 | 138M| 0 |2107 |2418 |6380 |6380 |2418 |7573 |4436 | 0 | 0 | 1.159134e+03 | -- | Inf
309.40/309.58 c 308s| 1 | 0 |178225 | 139M| 0 |2073 |2418 |6380 |6380 |2418 |7608 |4471 | 0 | 0 | 1.160492e+03 | -- | Inf
313.49/313.66 c 312s| 1 | 0 |179757 | 139M| 0 |2068 |2418 |6380 |6380 |2418 |7442 |4514 | 0 | 0 | 1.162720e+03 | -- | Inf
318.60/318.71 c 317s| 1 | 0 |181460 | 139M| 0 |2111 |2418 |6380 |6380 |2418 |7474 |4546 | 0 | 0 | 1.164589e+03 | -- | Inf
323.59/323.75 c 322s| 1 | 0 |182345 | 139M| 0 |2060 |2418 |6380 |6380 |2418 |7502 |4574 | 0 | 0 | 1.165363e+03 | -- | Inf
325.49/325.64 c 324s| 1 | 0 |183207 | 140M| 0 |2106 |2418 |6380 |6380 |2418 |7518 |4590 | 0 | 0 | 1.166226e+03 | -- | Inf
327.29/327.44 c 326s| 1 | 0 |184346 | 142M| 0 |2058 |2418 |6380 |6380 |2418 |7539 |4611 | 0 | 0 | 1.167072e+03 | -- | Inf
331.29/331.49 c 330s| 1 | 0 |185518 | 142M| 0 |2106 |2418 |6380 |6380 |2418 |7575 |4647 | 0 | 0 | 1.168512e+03 | -- | Inf
333.48/333.64 c 332s| 1 | 0 |186660 | 143M| 0 |2108 |2418 |6380 |6380 |2418 |7386 |4676 | 0 | 0 | 1.169525e+03 | -- | Inf
337.49/337.67 c 336s| 1 | 0 |188104 | 144M| 0 |2082 |2418 |6380 |6380 |2418 |7421 |4711 | 0 | 0 | 1.171082e+03 | -- | Inf
342.39/342.56 c 341s| 1 | 0 |190237 | 144M| 0 |1964 |2418 |6380 |6380 |2418 |7466 |4756 | 0 | 0 | 1.175505e+03 | -- | Inf
344.59/344.79 c 343s| 1 | 0 |191762 | 143M| 0 |2070 |2418 |6380 |6380 |2418 |7503 |4793 | 0 | 0 | 1.178970e+03 | -- | Inf
346.29/346.50 c 345s| 1 | 0 |192791 | 142M| 0 |2103 |2418 |6380 |6380 |2418 |7529 |4819 | 0 | 0 | 1.179798e+03 | -- | Inf
349.78/349.97 c 349s| 1 | 0 |193704 | 141M| 0 |2100 |2418 |6380 |6380 |2418 |7553 |4843 | 0 | 0 | 1.181774e+03 | -- | Inf
353.58/353.78 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
353.58/353.78 c 352s| 1 | 0 |194578 | 139M| 0 |2070 |2418 |6380 |6380 |2418 |7386 |4859 | 0 | 0 | 1.182848e+03 | -- | Inf
356.59/356.75 c 355s| 1 | 0 |195970 | 137M| 0 |2069 |2418 |6380 |6380 |2418 |7413 |4886 | 0 | 0 | 1.184686e+03 | -- | Inf
359.88/360.00 c 359s| 1 | 0 |196848 | 136M| 0 |2051 |2418 |6380 |6380 |2418 |7447 |4920 | 0 | 0 | 1.187013e+03 | -- | Inf
361.49/361.69 c 360s| 1 | 0 |197644 | 135M| 0 |2049 |2418 |6380 |6380 |2418 |7476 |4949 | 0 | 0 | 1.188730e+03 | -- | Inf
363.78/363.90 c 362s| 1 | 0 |198761 | 132M| 0 |2077 |2418 |6380 |6380 |2418 |7503 |4976 | 0 | 0 | 1.189672e+03 | -- | Inf
366.98/367.14 c 366s| 1 | 0 |199714 | 130M| 0 |2083 |2418 |6380 |6380 |2418 |7520 |4993 | 0 | 0 | 1.190636e+03 | -- | Inf
370.58/370.71 c 369s| 1 | 0 |201013 | 127M| 0 |2034 |2418 |6380 |6380 |2418 |7386 |5022 | 0 | 0 | 1.193095e+03 | -- | Inf
371.68/371.83 c 370s| 1 | 0 |201394 | 126M| 0 |2048 |2418 |6380 |6380 |2418 |7404 |5040 | 0 | 0 | 1.193975e+03 | -- | Inf
374.38/374.55 c 373s| 1 | 0 |202445 | 125M| 0 |2064 |2418 |6380 |6380 |2418 |7424 |5060 | 0 | 0 | 1.195170e+03 | -- | Inf
377.47/377.68 c 376s| 1 | 0 |203271 | 122M| 0 |2057 |2418 |6380 |6380 |2418 |7438 |5074 | 0 | 0 | 1.196079e+03 | -- | Inf
380.18/380.38 c 379s| 1 | 0 |204266 | 119M| 0 |2016 |2418 |6380 |6380 |2418 |7453 |5089 | 0 | 0 | 1.197455e+03 | -- | Inf
382.68/382.87 c 381s| 1 | 0 |205028 | 117M| 0 |2049 |2418 |6380 |6380 |2418 |7461 |5097 | 0 | 0 | 1.197580e+03 | -- | Inf
386.67/386.89 c 385s| 1 | 0 |205548 | 116M| 0 |2026 |2418 |6380 |6380 |2418 |7327 |5108 | 0 | 0 | 1.197771e+03 | -- | Inf
391.67/391.82 c 390s| 1 | 0 |206763 | 113M| 0 |2031 |2418 |6380 |6380 |2418 |7341 |5122 | 0 | 0 | 1.198311e+03 | -- | Inf
393.97/394.12 c 393s| 1 | 0 |206795 | 110M| 0 |2030 |2418 |6380 |6380 |2418 |7350 |5131 | 0 | 0 | 1.198311e+03 | -- | Inf
396.47/396.63 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
396.47/396.63 c 395s| 1 | 0 |207081 | 108M| 0 |1982 |2418 |6380 |6380 |2418 |7352 |5133 | 0 | 0 | 1.198329e+03 | -- | Inf
398.57/398.75 c 397s| 1 | 0 |207823 | 107M| 0 |2036 |2418 |6380 |6380 |2418 |7371 |5152 | 0 | 0 | 1.198542e+03 | -- | Inf
400.96/401.12 c 400s| 1 | 0 |208770 | 105M| 0 |2030 |2418 |6380 |6380 |2418 |7380 |5161 | 0 | 0 | 1.198761e+03 | -- | Inf
405.26/405.41 c 404s| 1 | 0 |210073 | 105M| 0 |2046 |2418 |6380 |6380 |2418 |7281 |5172 | 0 | 0 | 1.199619e+03 | -- | Inf
409.36/409.54 c 408s| 1 | 0 |210565 | 103M| 0 |2018 |2418 |6380 |6380 |2418 |7291 |5182 | 0 | 0 | 1.199935e+03 | -- | Inf
412.07/412.27 c 411s| 1 | 0 |211200 | 102M| 0 |2027 |2418 |6380 |6380 |2418 |7320 |5211 | 0 | 0 | 1.200271e+03 | -- | Inf
414.96/415.19 c 414s| 1 | 0 |212420 | 101M| 0 |2046 |2418 |6380 |6380 |2418 |7351 |5242 | 0 | 0 | 1.200708e+03 | -- | Inf
418.76/418.92 c 417s| 1 | 0 |213689 | 100M| 0 |2044 |2418 |6380 |6380 |2418 |7374 |5265 | 0 | 0 | 1.201929e+03 | -- | Inf
421.97/422.10 c 420s| 1 | 0 |214579 | 98M| 0 |2005 |2418 |6380 |6380 |2418 |7393 |5284 | 0 | 0 | 1.202786e+03 | -- | Inf
424.26/424.40 c 423s| 1 | 0 |215245 | 98M| 0 |2002 |2418 |6380 |6380 |2418 |7341 |5306 | 0 | 0 | 1.203678e+03 | -- | Inf
427.46/427.62 c 426s| 1 | 0 |216544 | 97M| 0 |2015 |2418 |6380 |6380 |2418 |7376 |5341 | 0 | 0 | 1.205788e+03 | -- | Inf
430.46/430.63 c 429s| 1 | 0 |217510 | 97M| 0 |2022 |2418 |6380 |6380 |2418 |7402 |5367 | 0 | 0 | 1.207019e+03 | -- | Inf
433.36/433.58 c 432s| 1 | 0 |218131 | 97M| 0 |2028 |2418 |6380 |6380 |2418 |7415 |5380 | 0 | 0 | 1.207546e+03 | -- | Inf
437.36/437.59 c 436s| 1 | 0 |218686 | 96M| 0 |2039 |2418 |6380 |6380 |2418 |7429 |5394 | 0 | 0 | 1.208348e+03 | -- | Inf
439.16/439.30 c 438s| 1 | 0 |219697 | 95M| 0 |2001 |2418 |6380 |6380 |2418 |7462 |5427 | 0 | 0 | 1.209679e+03 | -- | Inf
441.86/442.01 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
441.86/442.01 c 440s| 1 | 0 |220610 | 94M| 0 |1960 |2418 |6380 |6380 |2418 |7418 |5453 | 0 | 0 | 1.211370e+03 | -- | Inf
443.07/443.24 c 442s| 1 | 0 |221497 | 92M| 0 |1980 |2418 |6380 |6380 |2418 |7445 |5480 | 0 | 0 | 1.213674e+03 | -- | Inf
444.96/445.11 c 443s| 1 | 0 |223071 | 91M| 0 |2025 |2418 |6380 |6380 |2418 |7494 |5529 | 0 | 0 | 1.216114e+03 | -- | Inf
446.66/446.87 c 445s| 1 | 0 |224184 | 91M| 0 |1979 |2418 |6380 |6380 |2418 |7529 |5564 | 0 | 0 | 1.218030e+03 | -- | Inf
448.36/448.56 c 447s| 1 | 0 |225356 | 90M| 0 |2020 |2418 |6380 |6380 |2418 |7570 |5605 | 0 | 0 | 1.218810e+03 | -- | Inf
450.16/450.39 c 449s| 1 | 0 |226416 | 90M| 0 |2023 |2418 |6380 |6380 |2418 |7600 |5635 | 0 | 0 | 1.219844e+03 | -- | Inf
452.45/452.60 c 451s| 1 | 0 |227579 | 89M| 0 |2062 |2418 |6380 |6380 |2418 |7497 |5657 | 0 | 0 | 1.221434e+03 | -- | Inf
454.56/454.70 c 453s| 1 | 0 |227925 | 88M| 0 |2047 |2418 |6380 |6380 |2418 |7514 |5674 | 0 | 0 | 1.222228e+03 | -- | Inf
457.25/457.41 c 456s| 1 | 0 |228987 | 87M| 0 |2058 |2418 |6380 |6380 |2418 |7528 |5688 | 0 | 0 | 1.223033e+03 | -- | Inf
460.85/461.07 c 459s| 1 | 0 |229828 | 85M| 0 |2031 |2418 |6380 |6380 |2418 |7536 |5696 | 0 | 0 | 1.223839e+03 | -- | Inf
465.55/465.72 c 464s| 1 | 0 |231309 | 84M| 0 |2057 |2418 |6380 |6380 |2418 |7564 |5724 | 0 | 0 | 1.225550e+03 | -- | Inf
469.55/469.70 c 468s| 1 | 0 |232164 | 84M| 0 |2050 |2418 |6380 |6380 |2418 |7576 |5736 | 0 | 0 | 1.225713e+03 | -- | Inf
473.95/474.13 c 472s| 1 | 0 |232608 | 83M| 0 |2058 |2418 |6380 |6380 |2418 |7442 |5747 | 0 | 0 | 1.225853e+03 | -- | Inf
478.45/478.60 c 477s| 1 | 0 |234035 | 83M| 0 |2037 |2418 |6380 |6380 |2418 |7458 |5763 | 0 | 0 | 1.226409e+03 | -- | Inf
482.24/482.44 c 481s| 1 | 0 |234533 | 82M| 0 |2035 |2418 |6380 |6380 |2418 |7474 |5779 | 0 | 0 | 1.226497e+03 | -- | Inf
485.85/486.06 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
485.85/486.06 c 484s| 1 | 0 |235171 | 81M| 0 |2034 |2418 |6380 |6380 |2418 |7496 |5801 | 0 | 0 | 1.226687e+03 | -- | Inf
488.04/488.30 c 487s| 1 | 0 |236008 | 81M| 0 |1979 |2418 |6380 |6380 |2418 |7515 |5820 | 0 | 0 | 1.227249e+03 | -- | Inf
491.34/491.51 c 490s| 1 | 0 |237130 | 79M| 0 |2000 |2418 |6380 |6380 |2418 |7539 |5844 | 0 | 0 | 1.228299e+03 | -- | Inf
494.35/494.54 c 493s| 1 | 0 |237825 | 79M| 0 |2015 |2418 |6380 |6380 |2418 |7440 |5863 | 0 | 0 | 1.228971e+03 | -- | Inf
497.44/497.66 c 496s| 1 | 0 |238428 | 78M| 0 |1991 |2418 |6380 |6380 |2418 |7453 |5876 | 0 | 0 | 1.230537e+03 | -- | Inf
501.14/501.31 c 500s| 1 | 0 |238911 | 78M| 0 |1995 |2418 |6380 |6380 |2418 |7467 |5890 | 0 | 0 | 1.231002e+03 | -- | Inf
503.65/503.84 c 502s| 1 | 0 |239394 | 78M| 0 |1991 |2418 |6380 |6380 |2418 |7489 |5912 | 0 | 0 | 1.232028e+03 | -- | Inf
506.54/506.71 c 505s| 1 | 0 |240081 | 78M| 0 |2033 |2418 |6380 |6380 |2418 |7508 |5931 | 0 | 0 | 1.232764e+03 | -- | Inf
510.44/510.69 c 509s| 1 | 0 |240689 | 77M| 0 |2023 |2418 |6380 |6380 |2418 |7528 |5951 | 0 | 0 | 1.233448e+03 | -- | Inf
514.34/514.58 c 513s| 1 | 0 |241348 | 76M| 0 |1999 |2418 |6380 |6380 |2418 |7460 |5965 | 0 | 0 | 1.234097e+03 | -- | Inf
518.03/518.26 c 516s| 1 | 0 |242233 | 76M| 0 |1997 |2418 |6380 |6380 |2418 |7473 |5978 | 0 | 0 | 1.234421e+03 | -- | Inf
521.94/522.14 c 520s| 1 | 0 |243275 | 76M| 0 |1986 |2418 |6380 |6380 |2418 |7487 |5992 | 0 | 0 | 1.235102e+03 | -- | Inf
525.03/525.27 c 523s| 1 | 0 |243743 | 76M| 0 |1983 |2418 |6380 |6380 |2418 |7499 |6004 | 0 | 0 | 1.235170e+03 | -- | Inf
528.53/528.76 c 527s| 1 | 0 |244262 | 75M| 0 |1987 |2418 |6380 |6380 |2418 |7506 |6011 | 0 | 0 | 1.235441e+03 | -- | Inf
530.74/530.92 c 529s| 1 | 0 |244608 | 75M| 0 |1982 |2418 |6380 |6380 |2418 |7517 |6022 | 0 | 0 | 1.235666e+03 | -- | Inf
534.83/535.03 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
534.83/535.03 c 533s| 1 | 0 |245061 | 74M| 0 |1970 |2418 |6380 |6380 |2418 |7428 |6031 | 0 | 0 | 1.235806e+03 | -- | Inf
538.13/538.39 c 537s| 1 | 0 |245425 | 74M| 0 |1968 |2418 |6380 |6380 |2418 |7436 |6039 | 0 | 0 | 1.235981e+03 | -- | Inf
541.84/542.10 c 540s| 1 | 0 |245873 | 73M| 0 |1982 |2418 |6380 |6380 |2418 |7444 |6047 | 0 | 0 | 1.236277e+03 | -- | Inf
545.33/545.58 c 544s| 1 | 0 |246325 | 73M| 0 |1996 |2418 |6380 |6380 |2418 |7450 |6053 | 0 | 0 | 1.236330e+03 | -- | Inf
549.43/549.62 c 548s| 1 | 0 |246817 | 72M| 0 |1983 |2418 |6380 |6380 |2418 |7453 |6056 | 0 | 0 | 1.236902e+03 | -- | Inf
553.04/553.27 c 551s| 1 | 0 |247471 | 72M| 0 |1985 |2418 |6380 |6380 |2418 |7464 |6067 | 0 | 0 | 1.237031e+03 | -- | Inf
557.03/557.27 c 555s| 1 | 0 |248040 | 71M| 0 |1950 |2418 |6380 |6380 |2418 |7372 |6074 | 0 | 0 | 1.237486e+03 | -- | Inf
560.42/560.65 c 559s| 1 | 0 |248428 | 70M| 0 |1954 |2418 |6380 |6380 |2418 |7386 |6088 | 0 | 0 | 1.238902e+03 | -- | Inf
563.62/563.86 c 562s| 1 | 0 |248489 | 69M| 0 |1963 |2418 |6380 |6380 |2418 |7391 |6093 | 0 | 0 | 1.238902e+03 | -- | Inf
566.83/567.06 c 565s| 1 | 0 |248504 | 69M| 0 |1965 |2418 |6380 |6380 |2418 |7393 |6095 | 0 | 0 | 1.238902e+03 | -- | Inf
570.83/571.09 c 569s| 1 | 0 |248942 | 68M| 0 |1964 |2418 |6380 |6380 |2418 |7395 |6097 | 0 | 0 | 1.238902e+03 | -- | Inf
577.62/577.85 c 576s| 1 | 2 |248942 | 67M| 0 |1964 |2418 |6380 |6380 |2418 |7395 |6097 | 0 | 21 | 1.238902e+03 | -- | Inf
1794.42/1794.91 c
1794.42/1794.91 c SCIP Status : solving was interrupted [time limit reached]
1794.42/1794.91 c Solving Time (sec) : 1791.00
1794.42/1794.91 c Solving Nodes : 1309
1794.42/1794.91 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1794.42/1794.91 c Dual Bound : +1.24921547049043e+03
1794.42/1794.91 c Gap : infinite
1794.42/1794.91 c NODE 1309
1794.42/1794.91 c DUAL BOUND 1249.22
1794.42/1794.91 c PRIMAL BOUND 1e+20
1794.42/1794.91 c GAP 1e+20
1794.42/1794.91 s UNKNOWN
1794.42/1794.91 c SCIP Status : solving was interrupted [time limit reached]
1794.42/1794.91 c Solving Time : 1791.00
1794.42/1794.91 c Original Problem :
1794.42/1794.91 c Problem name : HOME/instance-1868913-1245149672.opb
1794.42/1794.91 c Variables : 2606 (2606 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.42/1794.91 c Constraints : 6509 initial, 6509 maximal
1794.42/1794.91 c Presolved Problem :
1794.42/1794.91 c Problem name : t_HOME/instance-1868913-1245149672.opb
1794.42/1794.91 c Variables : 2418 (2418 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.42/1794.91 c Constraints : 6380 initial, 7802 maximal
1794.42/1794.91 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1794.42/1794.91 c trivial : 0.00 0 0 0 0 0 0 0 0
1794.42/1794.91 c dualfix : 0.00 0 0 0 0 0 0 0 0
1794.42/1794.91 c boundshift : 0.00 0 0 0 0 0 0 0 0
1794.42/1794.91 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1794.42/1794.91 c implics : 0.00 0 3 0 0 0 0 0 0
1794.42/1794.91 c probing : 0.38 2 183 0 0 0 0 0 0
1794.42/1794.91 c linear : 0.10 0 0 0 0 0 122 122 0
1794.42/1794.91 c logicor : 0.15 0 0 0 0 0 7 0 0
1794.42/1794.91 c root node : - 0 - - 0 - - - -
1794.42/1794.91 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1794.42/1794.91 c integral : 0 0 0 979 0 2 14 0 0 1940
1794.42/1794.91 c logicor : 6380+ 176 53111 0 1 413 124696 0 0 0
1794.42/1794.91 c countsols : 0 0 0 0 1 0 0 0 0 0
1794.42/1794.91 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1794.42/1794.91 c integral : 386.77 0.00 0.00 386.77 0.00
1794.42/1794.91 c logicor : 1.49 0.22 1.27 0.00 0.00
1794.42/1794.91 c countsols : 0.00 0.00 0.00 0.00 0.00
1794.42/1794.91 c Propagators : Time Calls Cutoffs DomReds
1794.42/1794.91 c rootredcost : 0.06 0 0 0
1794.42/1794.91 c pseudoobj : 5.01 48383 0 0
1794.42/1794.91 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1794.42/1794.91 c propagation : 0.18 413 413 4782 37.9 51 7.3 -
1794.42/1794.91 c infeasible LP : 0.18 269 0 0 0.0 0 0.0 0
1794.42/1794.91 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1794.42/1794.91 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1794.42/1794.91 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1794.42/1794.91 c applied globally : - - - 1926 28.3 - - -
1794.42/1794.91 c applied locally : - - - 0 0.0 - - -
1794.42/1794.91 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1794.42/1794.91 c cut pool : 6.14 175 - - 7410 - (maximal pool size: 34416)
1794.42/1794.91 c redcost : 0.14 1154 0 0 0 0
1794.42/1794.91 c impliedbounds : 0.18 176 0 0 623 0
1794.42/1794.91 c intobj : 0.00 0 0 0 0 0
1794.42/1794.91 c gomory : 310.00 176 0 0 75624 0
1794.42/1794.91 c strongcg : 5.77 20 0 0 10000 0
1794.42/1794.91 c cmir : 0.80 10 0 0 0 0
1794.42/1794.91 c flowcover : 0.66 10 0 0 0 0
1794.42/1794.91 c clique : 0.40 176 0 0 55 0
1794.42/1794.91 c zerohalf : 0.00 0 0 0 0 0
1794.42/1794.91 c mcf : 0.02 1 0 0 0 0
1794.42/1794.91 c Pricers : Time Calls Vars
1794.42/1794.91 c problem variables: 0.00 0 0
1794.42/1794.91 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1794.42/1794.91 c relpscost : 386.76 979 2 14 0 0 1940
1794.42/1794.91 c pscost : 0.00 0 0 0 0 0 0
1794.42/1794.91 c inference : 0.00 1 0 0 0 0 2
1794.42/1794.91 c mostinf : 0.00 0 0 0 0 0 0
1794.42/1794.91 c leastinf : 0.00 0 0 0 0 0 0
1794.42/1794.91 c fullstrong : 0.00 0 0 0 0 0 0
1794.42/1794.91 c allfullstrong : 0.00 0 0 0 0 0 0
1794.42/1794.91 c random : 0.00 0 0 0 0 0 0
1794.42/1794.91 c Primal Heuristics : Time Calls Found
1794.42/1794.91 c LP solutions : 0.00 - 0
1794.42/1794.91 c pseudo solutions : 0.00 - 0
1794.42/1794.91 c oneopt : 0.00 0 0
1794.42/1794.91 c crossover : 0.00 0 0
1794.42/1794.91 c feaspump : 38.78 4 0
1794.42/1794.91 c objpscostdiving : 24.44 4 0
1794.42/1794.91 c pscostdiving : 64.29 17 0
1794.42/1794.91 c veclendiving : 45.34 18 0
1794.42/1794.91 c coefdiving : 64.11 19 0
1794.42/1794.91 c fracdiving : 66.98 19 0
1794.42/1794.91 c linesearchdiving : 60.35 19 0
1794.42/1794.91 c simplerounding : 0.01 0 0
1794.42/1794.91 c rounding : 0.91 410 0
1794.42/1794.91 c shifting : 2.58 164 0
1794.42/1794.91 c intshifting : 0.00 0 0
1794.42/1794.91 c fixandinfer : 0.00 0 0
1794.42/1794.91 c intdiving : 0.00 0 0
1794.42/1794.91 c actconsdiving : 0.00 0 0
1794.42/1794.91 c rootsoldiving : 62.53 3 0
1794.42/1794.91 c guideddiving : 0.01 0 0
1794.42/1794.91 c octane : 0.00 0 0
1794.42/1794.91 c rens : 0.01 0 0
1794.42/1794.91 c rins : 0.00 0 0
1794.42/1794.91 c localbranching : 0.00 0 0
1794.42/1794.91 c mutation : 0.00 0 0
1794.42/1794.91 c dins : 0.00 0 0
1794.42/1794.91 c LP : Time Calls Iterations Iter/call Iter/sec
1794.42/1794.91 c primal LP : 8.80 0 0 0.00 0.00
1794.42/1794.91 c dual LP : 630.46 1361 931236 684.23 1477.07
1794.42/1794.91 c barrier LP : 0.00 0 0 0.00 -
1794.42/1794.91 c diving/probing LP: 399.48 8993 419164 46.61 1049.27
1794.42/1794.91 c strong branching : 385.96 2266 573989 253.30 1487.17
1794.42/1794.91 c (at root node) : - 21 4392 209.14 -
1794.42/1794.91 c conflict analysis: 0.00 0 0 0.00 -
1794.42/1794.91 c B&B Tree :
1794.42/1794.91 c number of runs : 1
1794.42/1794.91 c nodes : 1309
1794.42/1794.91 c nodes (total) : 1309
1794.42/1794.91 c nodes left : 458
1794.42/1794.91 c max depth : 51
1794.42/1794.91 c max depth (total): 51
1794.42/1794.91 c backtracks : 369 (28.2%)
1794.42/1794.91 c delayed cutoffs : 176
1794.42/1794.91 c repropagations : 378 (47305 domain reductions, 127 cutoffs)
1794.42/1794.91 c avg switch length: 4.12
1794.42/1794.91 c switching time : 0.91
1794.42/1794.91 c Solution :
1794.42/1794.91 c Solutions found : 0 (0 improvements)
1794.42/1794.91 c Primal Bound : -
1794.42/1794.91 c Dual Bound : +1.24921547049043e+03
1794.42/1794.91 c Gap : infinite
1794.42/1794.91 c Root Dual Bound : +1.23890188623865e+03
1794.52/1795.06 c Time complete: 1794.58.