0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2665426-1276450975.opb>
0.09/0.13 c original problem has 2630 variables (2630 bin, 0 int, 0 impl, 0 cont) and 6569 constraints
0.09/0.13 c problem read
0.09/0.13 c presolving settings loaded
0.09/0.17 c presolving:
0.29/0.32 c (round 1) 0 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6445 upgd conss, 5606 impls, 0 clqs
0.29/0.34 c (round 2) 0 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6446 upgd conss, 5606 impls, 0 clqs
0.29/0.36 c (round 3) 0 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6447 upgd conss, 5606 impls, 0 clqs
0.39/0.43 c (round 4) 50 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6447 upgd conss, 7068 impls, 0 clqs
0.39/0.44 c (round 5) 53 del vars, 127 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6447 upgd conss, 7106 impls, 0 clqs
0.39/0.46 c (round 6) 53 del vars, 129 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6447 upgd conss, 7106 impls, 0 clqs
0.59/0.64 c (round 7) 103 del vars, 129 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6447 upgd conss, 27294 impls, 0 clqs
0.69/0.77 c (round 8) 153 del vars, 129 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6447 upgd conss, 46750 impls, 0 clqs
0.89/0.91 c (0.7s) probing: 548/2630 (20.8%) - 2 fixings, 183 aggregations, 12557 implications, 0 bound changes
0.89/0.91 c (0.7s) probing aborted: 100/100 successive totally useless probings
0.89/0.92 c (round 9) 188 del vars, 129 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6447 upgd conss, 48352 impls, 0 clqs
0.89/0.94 c (0.7s) probing: 558/2630 (21.2%) - 2 fixings, 183 aggregations, 12557 implications, 0 bound changes
0.89/0.94 c (0.7s) probing aborted: 100/100 successive totally useless probings
0.89/0.94 c presolving (10 rounds):
0.89/0.94 c 188 deleted vars, 129 deleted constraints, 0 tightened bounds, 0 added holes, 122 changed sides, 0 changed coefficients
0.89/0.94 c 48352 implications, 0 cliques
0.89/0.94 c presolved problem has 2442 variables (2442 bin, 0 int, 0 impl, 0 cont) and 6440 constraints
0.89/0.94 c 6440 constraints of type <logicor>
0.89/0.94 c transformed objective value is always integral (scale: 1)
0.89/0.94 c Presolving Time: 0.70
0.89/0.94 c - non default parameters ----------------------------------------------------------------------
0.89/0.94 c # SCIP version 1.2.1.2
0.89/0.94 c
0.89/0.94 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.89/0.94 c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.94 c conflict/interconss = 0
0.89/0.94 c
0.89/0.94 c # should binary conflicts be preferred?
0.89/0.94 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.94 c conflict/preferbinary = TRUE
0.89/0.94 c
0.89/0.94 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.89/0.94 c # [type: int, range: [-1,2147483647], default: 0]
0.89/0.94 c constraints/agelimit = 1
0.89/0.94 c
0.89/0.94 c # should enforcement of pseudo solution be disabled?
0.89/0.94 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.94 c constraints/disableenfops = TRUE
0.89/0.94 c
0.89/0.94 c # frequency for displaying node information lines
0.89/0.94 c # [type: int, range: [-1,2147483647], default: 100]
0.89/0.94 c display/freq = 10000
0.89/0.94 c
0.89/0.94 c # maximal time in seconds to run
0.89/0.94 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.94 c limits/time = 1799.87
0.89/0.94 c
0.89/0.94 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.89/0.94 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.94 c limits/memory = 1620
0.89/0.94 c
0.89/0.94 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.89/0.94 c # [type: int, range: [-1,2147483647], default: 1]
0.89/0.94 c lp/solvefreq = 0
0.89/0.94 c
0.89/0.94 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.89/0.94 c # [type: char, range: {lafpsqd}, default: l]
0.89/0.94 c lp/pricing = a
0.89/0.94 c
0.89/0.94 c # should presolving try to simplify inequalities
0.89/0.94 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.94 c constraints/linear/simplifyinequalities = TRUE
0.89/0.94 c
0.89/0.94 c # should presolving try to simplify knapsacks
0.89/0.94 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.94 c constraints/knapsack/simplifyinequalities = TRUE
0.89/0.94 c
0.89/0.94 c # priority of node selection rule <dfs> in standard mode
0.89/0.94 c # [type: int, range: [-536870912,536870911], default: 0]
0.89/0.94 c nodeselection/dfs/stdpriority = 1000000
0.89/0.94 c
0.89/0.94 c -----------------------------------------------------------------------------------------------
0.89/0.94 c start solving
0.89/0.94 c
2.89/2.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.89/2.90 c 2.6s| 1 | 0 | 4380 | - | 15M| 0 |1725 |2442 |6440 |2442 |6253 | 0 | 0 | 0 | 7.898000e+02 | -- | Inf
5.69/5.77 c 5.5s| 1 | 0 | 7445 | - | 18M| 0 |2072 |2442 |6440 |2442 |6812 | 559 | 0 | 0 | 8.147556e+02 | -- | Inf
7.09/7.16 c 6.8s| 1 | 0 | 8898 | - | 20M| 0 |2033 |2442 |6440 |2442 |6842 | 589 | 0 | 0 | 8.194907e+02 | -- | Inf
8.49/8.57 c 8.2s| 1 | 0 | 10255 | - | 21M| 0 |1670 |2442 |6440 |2442 |6869 | 616 | 0 | 0 | 8.221025e+02 | -- | Inf
9.99/10.02 c 9.7s| 1 | 0 | 11608 | - | 24M| 0 |1680 |2442 |6440 |2442 |6896 | 643 | 0 | 0 | 8.248016e+02 | -- | Inf
12.29/12.30 c 11.9s| 1 | 0 | 13398 | - | 26M| 0 |2061 |2442 |6440 |2442 |6943 | 690 | 0 | 0 | 8.359742e+02 | -- | Inf
14.09/14.18 c 13.8s| 1 | 0 | 14952 | - | 28M| 0 |1643 |2442 |6440 |2442 |6972 | 719 | 0 | 0 | 8.380737e+02 | -- | Inf
16.09/16.11 c 15.7s| 1 | 0 | 16317 | - | 32M| 0 |1633 |2442 |6440 |2442 |6999 | 746 | 0 | 0 | 8.402434e+02 | -- | Inf
18.08/18.15 c 17.7s| 1 | 0 | 17675 | - | 36M| 0 |1608 |2442 |6440 |2442 |7039 | 786 | 0 | 0 | 8.417678e+02 | -- | Inf
20.38/20.44 c 19.9s| 1 | 0 | 19214 | - | 41M| 0 |1714 |2442 |6440 |2442 |7063 | 810 | 0 | 0 | 8.430560e+02 | -- | Inf
23.09/23.12 c 22.6s| 1 | 0 | 21056 | - | 45M| 0 |1718 |2442 |6440 |2442 |7089 | 836 | 0 | 0 | 8.441357e+02 | -- | Inf
25.59/25.62 c 25.1s| 1 | 0 | 22678 | - | 48M| 0 |1668 |2442 |6440 |2442 |6589 | 859 | 0 | 0 | 8.453614e+02 | -- | Inf
28.28/28.31 c 27.7s| 1 | 0 | 24152 | - | 51M| 0 |1697 |2442 |6440 |2442 |6620 | 890 | 0 | 0 | 8.470535e+02 | -- | Inf
31.97/32.09 c 31.4s| 1 | 0 | 26126 | - | 55M| 0 |1733 |2442 |6440 |2442 |6657 | 927 | 0 | 0 | 8.529726e+02 | -- | Inf
35.08/35.16 c 34.5s| 1 | 0 | 28093 | - | 57M| 0 |1688 |2442 |6440 |2442 |6693 | 963 | 0 | 0 | 8.556974e+02 | -- | Inf
37.68/37.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.68/37.70 c 37.0s| 1 | 0 | 29561 | - | 61M| 0 |1758 |2442 |6440 |2442 |6715 | 985 | 0 | 0 | 8.572693e+02 | -- | Inf
41.87/41.97 c 41.2s| 1 | 0 | 31841 | - | 63M| 0 |1753 |2442 |6440 |2442 |6751 |1021 | 0 | 0 | 8.641309e+02 | -- | Inf
45.57/45.63 c 44.8s| 1 | 0 | 34039 | - | 67M| 0 |1643 |2442 |6440 |2442 |6664 |1042 | 0 | 0 | 8.672087e+02 | -- | Inf
48.47/48.50 c 47.6s| 1 | 0 | 35657 | - | 73M| 0 |1681 |2442 |6440 |2442 |6694 |1072 | 0 | 0 | 8.727908e+02 | -- | Inf
50.67/50.72 c 49.8s| 1 | 0 | 37096 | - | 78M| 0 |1723 |2442 |6440 |2442 |6717 |1095 | 0 | 0 | 8.737490e+02 | -- | Inf
53.37/53.46 c 52.5s| 1 | 0 | 38748 | - | 80M| 0 |1704 |2442 |6440 |2442 |6747 |1125 | 0 | 0 | 8.753197e+02 | -- | Inf
57.86/57.94 c 57.0s| 1 | 0 | 41387 | - | 81M| 0 |1733 |2442 |6440 |2442 |6798 |1176 | 0 | 0 | 8.828389e+02 | -- | Inf
61.58/61.68 c 60.6s| 1 | 0 | 43587 | - | 82M| 0 |1729 |2442 |6440 |2442 |6860 |1238 | 0 | 0 | 8.896655e+02 | -- | Inf
64.67/64.78 c 63.7s| 1 | 0 | 45314 | - | 82M| 0 |1735 |2442 |6440 |2442 |6775 |1294 | 0 | 0 | 8.945840e+02 | -- | Inf
68.56/68.68 c 67.6s| 1 | 0 | 47336 | - | 84M| 0 |1726 |2442 |6440 |2442 |6807 |1326 | 0 | 0 | 8.976299e+02 | -- | Inf
71.47/71.57 c 70.4s| 1 | 0 | 48852 | - | 86M| 0 |1769 |2442 |6440 |2442 |6833 |1352 | 0 | 0 | 9.005227e+02 | -- | Inf
75.06/75.16 c 74.0s| 1 | 0 | 50433 | - | 88M| 0 |1745 |2442 |6440 |2442 |6872 |1391 | 0 | 0 | 9.067794e+02 | -- | Inf
77.86/77.95 c 76.7s| 1 | 0 | 51998 | - | 90M| 0 |1801 |2442 |6440 |2442 |6907 |1426 | 0 | 0 | 9.108890e+02 | -- | Inf
81.07/81.14 c 79.9s| 1 | 0 | 53650 | - | 93M| 0 |1789 |2442 |6440 |2442 |6938 |1457 | 0 | 0 | 9.164812e+02 | -- | Inf
83.86/83.99 c 82.7s| 1 | 0 | 55072 | - | 95M| 0 |1700 |2442 |6440 |2442 |6858 |1499 | 0 | 0 | 9.238635e+02 | -- | Inf
86.47/86.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
86.47/86.50 c 85.2s| 1 | 0 | 56692 | - | 96M| 0 |1746 |2442 |6440 |2442 |6896 |1537 | 0 | 0 | 9.277543e+02 | -- | Inf
88.66/88.77 c 87.4s| 1 | 0 | 57910 | - | 98M| 0 |1784 |2442 |6440 |2442 |6950 |1591 | 0 | 0 | 9.340985e+02 | -- | Inf
91.27/91.37 c 90.0s| 1 | 0 | 59304 | - | 98M| 0 |1729 |2442 |6440 |2442 |7009 |1650 | 0 | 0 | 9.404438e+02 | -- | Inf
94.36/94.40 c 93.0s| 1 | 0 | 61031 | - | 100M| 0 |1685 |2442 |6440 |2442 |7058 |1699 | 0 | 0 | 9.457551e+02 | -- | Inf
96.85/96.95 c 95.5s| 1 | 0 | 62520 | - | 101M| 0 |1768 |2442 |6440 |2442 |7113 |1754 | 0 | 0 | 9.537510e+02 | -- | Inf
100.16/100.22 c 98.7s| 1 | 0 | 64582 | - | 102M| 0 |1797 |2442 |6440 |2442 |7006 |1823 | 0 | 0 | 9.639349e+02 | -- | Inf
102.66/102.71 c 101s| 1 | 0 | 66270 | - | 103M| 0 |1932 |2442 |6440 |2442 |7057 |1874 | 0 | 0 | 9.689452e+02 | -- | Inf
105.36/105.43 c 104s| 1 | 0 | 68020 | - | 106M| 0 |1891 |2442 |6440 |2442 |7109 |1926 | 0 | 0 | 9.745940e+02 | -- | Inf
109.25/109.39 c 108s| 1 | 0 | 70689 | - | 106M| 0 |1892 |2442 |6440 |2442 |7169 |1986 | 0 | 0 | 9.810790e+02 | -- | Inf
111.85/111.96 c 110s| 1 | 0 | 72341 | - | 108M| 0 |1821 |2442 |6440 |2442 |7223 |2040 | 0 | 0 | 9.871949e+02 | -- | Inf
114.65/114.79 c 113s| 1 | 0 | 74269 | - | 109M| 0 |1864 |2442 |6440 |2442 |7276 |2093 | 0 | 0 | 9.920850e+02 | -- | Inf
117.15/117.28 c 116s| 1 | 0 | 75925 | - | 110M| 0 |1820 |2442 |6440 |2442 |7128 |2136 | 0 | 0 | 9.960902e+02 | -- | Inf
119.36/119.43 c 118s| 1 | 0 | 77514 | - | 111M| 0 |1963 |2442 |6440 |2442 |7166 |2174 | 0 | 0 | 9.989110e+02 | -- | Inf
122.65/122.73 c 121s| 1 | 0 | 79660 | - | 112M| 0 |1851 |2442 |6440 |2442 |7228 |2236 | 0 | 0 | 1.006047e+03 | -- | Inf
126.25/126.31 c 124s| 1 | 0 | 82092 | - | 114M| 0 |1813 |2442 |6440 |2442 |7302 |2310 | 0 | 0 | 1.012876e+03 | -- | Inf
129.94/130.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
129.94/130.10 c 128s| 1 | 0 | 84560 | - | 115M| 0 |1929 |2442 |6440 |2442 |7366 |2374 | 0 | 0 | 1.018869e+03 | -- | Inf
132.55/132.60 c 131s| 1 | 0 | 86214 | - | 117M| 0 |1906 |2442 |6440 |2442 |7417 |2425 | 0 | 0 | 1.023100e+03 | -- | Inf
136.35/136.47 c 135s| 1 | 0 | 88867 | - | 117M| 0 |1964 |2442 |6440 |2442 |7257 |2509 | 0 | 0 | 1.030237e+03 | -- | Inf
139.05/139.19 c 137s| 1 | 0 | 90865 | - | 119M| 0 |1919 |2442 |6440 |2442 |7310 |2562 | 0 | 0 | 1.033504e+03 | -- | Inf
142.05/142.15 c 140s| 1 | 0 | 92822 | - | 120M| 0 |2024 |2442 |6440 |2442 |7363 |2615 | 0 | 0 | 1.036326e+03 | -- | Inf
146.35/146.41 c 144s| 1 | 0 | 95392 | - | 121M| 0 |2073 |2442 |6440 |2442 |7453 |2705 | 0 | 0 | 1.042651e+03 | -- | Inf
150.14/150.25 c 148s| 1 | 0 | 97802 | - | 122M| 0 |2097 |2442 |6440 |2442 |7519 |2771 | 0 | 0 | 1.047102e+03 | -- | Inf
154.95/155.02 c 153s| 1 | 0 |100488 | - | 123M| 0 |2026 |2442 |6440 |2442 |7585 |2837 | 0 | 0 | 1.051877e+03 | -- | Inf
160.14/160.27 c 158s| 1 | 0 |103192 | - | 124M| 0 |2067 |2442 |6440 |2442 |7407 |2908 | 0 | 0 | 1.059279e+03 | -- | Inf
164.34/164.46 c 162s| 1 | 0 |105662 | - | 124M| 0 |1998 |2442 |6440 |2442 |7467 |2968 | 0 | 0 | 1.062604e+03 | -- | Inf
169.54/169.68 c 167s| 1 | 0 |108360 | - | 126M| 0 |2113 |2442 |6440 |2442 |7535 |3036 | 0 | 0 | 1.070434e+03 | -- | Inf
173.54/173.69 c 171s| 1 | 0 |110972 | - | 127M| 0 |2159 |2442 |6440 |2442 |7585 |3086 | 0 | 0 | 1.074015e+03 | -- | Inf
178.64/178.77 c 176s| 1 | 0 |113613 | - | 128M| 0 |2054 |2442 |6440 |2442 |7638 |3139 | 0 | 0 | 1.081242e+03 | -- | Inf
183.14/183.24 c 181s| 1 | 0 |116336 | - | 129M| 0 |1976 |2442 |6440 |2442 |7707 |3208 | 0 | 0 | 1.088740e+03 | -- | Inf
185.53/185.64 c 183s| 1 | 0 |117966 | - | 131M| 0 |2067 |2442 |6440 |2442 |7466 |3242 | 0 | 0 | 1.090455e+03 | -- | Inf
189.63/189.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
189.63/189.71 c 187s| 1 | 0 |120485 | - | 131M| 0 |1979 |2442 |6440 |2442 |7546 |3322 | 0 | 0 | 1.095462e+03 | -- | Inf
192.94/193.10 c 190s| 1 | 0 |122325 | - | 133M| 0 |2080 |2442 |6440 |2442 |7596 |3372 | 0 | 0 | 1.098056e+03 | -- | Inf
197.34/197.42 c 195s| 1 | 0 |124786 | - | 134M| 0 |2086 |2442 |6440 |2442 |7671 |3447 | 0 | 0 | 1.102044e+03 | -- | Inf
201.13/201.26 c 199s| 1 | 0 |127015 | - | 135M| 0 |2013 |2442 |6440 |2442 |7719 |3495 | 0 | 0 | 1.106343e+03 | -- | Inf
203.44/203.56 c 201s| 1 | 0 |128120 | - | 137M| 0 |2051 |2442 |6440 |2442 |7762 |3538 | 0 | 0 | 1.108399e+03 | -- | Inf
207.93/208.05 c 205s| 1 | 0 |129814 | - | 138M| 0 |1977 |2442 |6440 |2442 |7496 |3597 | 0 | 0 | 1.111646e+03 | -- | Inf
211.13/211.29 c 209s| 1 | 0 |131825 | - | 139M| 0 |2089 |2442 |6440 |2442 |7550 |3651 | 0 | 0 | 1.113717e+03 | -- | Inf
214.72/214.87 c 212s| 1 | 0 |133622 | - | 139M| 0 |2092 |2442 |6440 |2442 |7622 |3723 | 0 | 0 | 1.117504e+03 | -- | Inf
218.93/219.05 c 216s| 1 | 0 |135892 | - | 140M| 0 |1959 |2442 |6440 |2442 |7708 |3809 | 0 | 0 | 1.124249e+03 | -- | Inf
221.72/221.81 c 219s| 1 | 0 |137511 | - | 141M| 0 |2039 |2442 |6440 |2442 |7757 |3858 | 0 | 0 | 1.126020e+03 | -- | Inf
225.73/225.82 c 223s| 1 | 0 |139959 | - | 142M| 0 |2134 |2442 |6440 |2442 |7811 |3912 | 0 | 0 | 1.131714e+03 | -- | Inf
229.52/229.62 c 227s| 1 | 0 |141614 | - | 143M| 0 |2088 |2442 |6440 |2442 |7564 |3957 | 0 | 0 | 1.135420e+03 | -- | Inf
235.93/236.08 c 233s| 1 | 0 |144616 | - | 144M| 0 |2103 |2442 |6440 |2442 |7634 |4027 | 0 | 0 | 1.140876e+03 | -- | Inf
240.22/240.33 c 237s| 1 | 0 |146951 | - | 145M| 0 |2084 |2442 |6440 |2442 |7703 |4096 | 0 | 0 | 1.144064e+03 | -- | Inf
243.03/243.16 c 240s| 1 | 0 |148731 | - | 146M| 0 |2074 |2442 |6440 |2442 |7745 |4138 | 0 | 0 | 1.146108e+03 | -- | Inf
247.52/247.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
247.52/247.62 c 245s| 1 | 0 |150231 | - | 147M| 0 |2067 |2442 |6440 |2442 |7807 |4200 | 0 | 0 | 1.151990e+03 | -- | Inf
250.82/250.91 c 248s| 1 | 0 |151787 | - | 148M| 0 |2148 |2442 |6440 |2442 |7854 |4247 | 0 | 0 | 1.155227e+03 | -- | Inf
257.22/257.35 c 254s| 1 | 0 |154415 | - | 148M| 0 |2088 |2442 |6440 |2442 |7619 |4288 | 0 | 0 | 1.158842e+03 | -- | Inf
260.52/260.69 c 257s| 1 | 0 |156035 | - | 148M| 0 |1986 |2442 |6440 |2442 |7679 |4348 | 0 | 0 | 1.163425e+03 | -- | Inf
262.31/262.46 c 259s| 1 | 0 |157282 | - | 149M| 0 |1990 |2442 |6440 |2442 |7725 |4394 | 0 | 0 | 1.166015e+03 | -- | Inf
264.41/264.57 c 261s| 1 | 0 |158879 | - | 150M| 0 |2085 |2442 |6440 |2442 |7777 |4446 | 0 | 0 | 1.167226e+03 | -- | Inf
267.81/267.90 c 265s| 1 | 0 |160694 | - | 151M| 0 |2123 |2442 |6440 |2442 |7822 |4491 | 0 | 0 | 1.168665e+03 | -- | Inf
269.82/269.99 c 267s| 1 | 0 |161982 | - | 152M| 0 |2063 |2442 |6440 |2442 |7866 |4535 | 0 | 0 | 1.170818e+03 | -- | Inf
273.72/273.85 c 270s| 1 | 0 |163739 | - | 152M| 0 |2096 |2442 |6440 |2442 |7601 |4592 | 0 | 0 | 1.173599e+03 | -- | Inf
277.61/277.71 c 274s| 1 | 0 |165403 | - | 152M| 0 |2063 |2442 |6440 |2442 |7645 |4636 | 0 | 0 | 1.176593e+03 | -- | Inf
279.22/279.38 c 276s| 1 | 0 |166335 | - | 154M| 0 |2105 |2442 |6440 |2442 |7684 |4675 | 0 | 0 | 1.177325e+03 | -- | Inf
281.81/281.99 c 279s| 1 | 0 |167616 | - | 155M| 0 |2105 |2442 |6440 |2442 |7725 |4716 | 0 | 0 | 1.179192e+03 | -- | Inf
284.51/284.63 c 281s| 1 | 0 |169156 | - | 156M| 0 |2094 |2442 |6440 |2442 |7764 |4755 | 0 | 0 | 1.180758e+03 | -- | Inf
287.21/287.36 c 284s| 1 | 0 |170708 | - | 157M| 0 |2104 |2442 |6440 |2442 |7804 |4795 | 0 | 0 | 1.183461e+03 | -- | Inf
292.61/292.76 c 289s| 1 | 0 |172483 | - | 157M| 0 |2097 |2442 |6440 |2442 |7568 |4828 | 0 | 0 | 1.185653e+03 | -- | Inf
298.31/298.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
298.31/298.43 c 295s| 1 | 0 |173343 | - | 157M| 0 |2111 |2442 |6440 |2442 |7607 |4867 | 0 | 0 | 1.187602e+03 | -- | Inf
302.41/302.57 c 299s| 1 | 0 |174569 | - | 158M| 0 |2087 |2442 |6440 |2442 |7641 |4901 | 0 | 0 | 1.189855e+03 | -- | Inf
305.71/305.81 c 302s| 1 | 0 |176003 | - | 158M| 0 |2139 |2442 |6440 |2442 |7674 |4934 | 0 | 0 | 1.191384e+03 | -- | Inf
309.80/309.93 c 306s| 1 | 0 |177350 | - | 158M| 0 |2082 |2442 |6440 |2442 |7713 |4973 | 0 | 0 | 1.192343e+03 | -- | Inf
315.20/315.31 c 312s| 1 | 0 |178636 | - | 159M| 0 |2081 |2442 |6440 |2442 |7744 |5004 | 0 | 0 | 1.194680e+03 | -- | Inf
318.81/319.00 c 315s| 1 | 0 |179815 | - | 159M| 0 |2041 |2442 |6440 |2442 |7569 |5056 | 0 | 0 | 1.197714e+03 | -- | Inf
321.20/321.36 c 318s| 1 | 0 |181416 | - | 159M| 0 |2065 |2442 |6440 |2442 |7606 |5093 | 0 | 0 | 1.200807e+03 | -- | Inf
324.70/324.80 c 321s| 1 | 0 |182134 | - | 160M| 0 |2049 |2442 |6440 |2442 |7650 |5137 | 0 | 0 | 1.202725e+03 | -- | Inf
327.10/327.23 c 323s| 1 | 0 |182924 | - | 160M| 0 |2063 |2442 |6440 |2442 |7677 |5164 | 0 | 0 | 1.204926e+03 | -- | Inf
330.79/330.96 c 327s| 1 | 0 |184015 | - | 161M| 0 |2012 |2442 |6440 |2442 |7700 |5187 | 0 | 0 | 1.206059e+03 | -- | Inf
333.40/333.55 c 330s| 1 | 0 |185042 | - | 161M| 0 |2037 |2442 |6440 |2442 |7732 |5219 | 0 | 0 | 1.207344e+03 | -- | Inf
338.19/338.39 c 335s| 1 | 0 |186594 | - | 161M| 0 |2068 |2442 |6440 |2442 |7568 |5263 | 0 | 0 | 1.210917e+03 | -- | Inf
343.00/343.12 c 339s| 1 | 0 |187673 | - | 159M| 0 |2074 |2442 |6440 |2442 |7601 |5296 | 0 | 0 | 1.212481e+03 | -- | Inf
346.49/346.65 c 343s| 1 | 0 |188676 | - | 157M| 0 |2070 |2442 |6440 |2442 |7631 |5326 | 0 | 0 | 1.213861e+03 | -- | Inf
348.50/348.61 c 345s| 1 | 0 |190170 | - | 156M| 0 |2062 |2442 |6440 |2442 |7661 |5356 | 0 | 0 | 1.215551e+03 | -- | Inf
350.59/350.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
350.59/350.73 c 347s| 1 | 0 |191628 | - | 154M| 0 |2073 |2442 |6440 |2442 |7703 |5398 | 0 | 0 | 1.217952e+03 | -- | Inf
353.79/353.99 c 350s| 1 | 0 |193272 | - | 153M| 0 |2107 |2442 |6440 |2442 |7753 |5448 | 0 | 0 | 1.220829e+03 | -- | Inf
357.30/357.44 c 353s| 1 | 0 |194907 | - | 151M| 0 |2078 |2442 |6440 |2442 |7579 |5484 | 0 | 0 | 1.222284e+03 | -- | Inf
361.09/361.20 c 357s| 1 | 0 |196411 | - | 148M| 0 |2061 |2442 |6440 |2442 |7600 |5505 | 0 | 0 | 1.224246e+03 | -- | Inf
365.68/365.81 c 362s| 1 | 0 |197265 | - | 144M| 0 |2087 |2442 |6440 |2442 |7620 |5525 | 0 | 0 | 1.225199e+03 | -- | Inf
370.60/370.77 c 367s| 1 | 0 |198096 | - | 140M| 0 |2065 |2442 |6440 |2442 |7643 |5548 | 0 | 0 | 1.226184e+03 | -- | Inf
375.49/375.65 c 372s| 1 | 0 |198945 | - | 135M| 0 |2042 |2442 |6440 |2442 |7662 |5567 | 0 | 0 | 1.226493e+03 | -- | Inf
379.39/379.51 c 375s| 1 | 0 |200365 | - | 132M| 0 |2044 |2442 |6440 |2442 |7688 |5593 | 0 | 0 | 1.227878e+03 | -- | Inf
383.98/384.15 c 380s| 1 | 0 |201085 | - | 130M| 0 |2046 |2442 |6440 |2442 |7545 |5612 | 0 | 0 | 1.228488e+03 | -- | Inf
385.78/385.98 c 382s| 1 | 0 |202023 | - | 127M| 0 |2044 |2442 |6440 |2442 |7570 |5637 | 0 | 0 | 1.229160e+03 | -- | Inf
387.58/387.74 c 384s| 1 | 0 |202667 | - | 124M| 0 |2039 |2442 |6440 |2442 |7595 |5662 | 0 | 0 | 1.229965e+03 | -- | Inf
389.88/390.00 c 386s| 1 | 0 |203627 | - | 121M| 0 |2045 |2442 |6440 |2442 |7625 |5692 | 0 | 0 | 1.230368e+03 | -- | Inf
394.08/394.20 c 390s| 1 | 0 |204915 | - | 120M| 0 |2059 |2442 |6440 |2442 |7657 |5724 | 0 | 0 | 1.230932e+03 | -- | Inf
396.68/396.84 c 393s| 1 | 0 |206377 | - | 115M| 0 |2045 |2442 |6440 |2442 |7686 |5753 | 0 | 0 | 1.231966e+03 | -- | Inf
400.68/400.85 c 397s| 1 | 0 |207510 | - | 110M| 0 |2008 |2442 |6440 |2442 |7569 |5793 | 0 | 0 | 1.234573e+03 | -- | Inf
402.78/402.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
402.78/402.90 c 399s| 1 | 0 |208961 | - | 105M| 0 |2033 |2442 |6440 |2442 |7594 |5818 | 0 | 0 | 1.235774e+03 | -- | Inf
406.18/406.34 c 402s| 1 | 0 |210264 | - | 104M| 0 |2032 |2442 |6440 |2442 |7626 |5850 | 0 | 0 | 1.236761e+03 | -- | Inf
408.28/408.49 c 404s| 1 | 0 |211547 | - | 104M| 0 |2104 |2442 |6440 |2442 |7665 |5889 | 0 | 0 | 1.238885e+03 | -- | Inf
411.87/412.09 c 408s| 1 | 0 |212741 | - | 103M| 0 |2052 |2442 |6440 |2442 |7694 |5918 | 0 | 0 | 1.241338e+03 | -- | Inf
413.57/413.72 c 409s| 1 | 0 |213898 | - | 102M| 0 |2038 |2442 |6440 |2442 |7721 |5945 | 0 | 0 | 1.242841e+03 | -- | Inf
415.58/415.80 c 411s| 1 | 0 |214901 | - | 102M| 0 |2061 |2442 |6440 |2442 |7633 |5969 | 0 | 0 | 1.243815e+03 | -- | Inf
417.97/418.12 c 414s| 1 | 0 |216535 | - | 100M| 0 |2080 |2442 |6440 |2442 |7654 |5990 | 0 | 0 | 1.245486e+03 | -- | Inf
421.28/421.47 c 417s| 1 | 0 |217579 | - | 98M| 0 |2094 |2442 |6440 |2442 |7678 |6014 | 0 | 0 | 1.246762e+03 | -- | Inf
424.58/424.73 c 420s| 1 | 0 |218161 | - | 96M| 0 |2087 |2442 |6440 |2442 |7697 |6033 | 0 | 0 | 1.247413e+03 | -- | Inf
428.57/428.74 c 424s| 1 | 0 |218562 | - | 93M| 0 |2078 |2442 |6440 |2442 |7704 |6040 | 0 | 0 | 1.247630e+03 | -- | Inf
432.27/432.49 c 428s| 1 | 0 |220097 | - | 92M| 0 |2093 |2442 |6440 |2442 |7717 |6053 | 0 | 0 | 1.248667e+03 | -- | Inf
434.97/435.11 c 431s| 1 | 0 |221005 | - | 91M| 0 |2105 |2442 |6440 |2442 |7569 |6081 | 0 | 0 | 1.249156e+03 | -- | Inf
438.37/438.59 c 434s| 1 | 0 |221942 | - | 89M| 0 |2126 |2442 |6440 |2442 |7582 |6094 | 0 | 0 | 1.249716e+03 | -- | Inf
441.17/441.32 c 437s| 1 | 0 |222593 | - | 88M| 0 |2106 |2442 |6440 |2442 |7598 |6110 | 0 | 0 | 1.250368e+03 | -- | Inf
443.87/444.01 c 439s| 1 | 0 |223396 | - | 87M| 0 |2112 |2442 |6440 |2442 |7610 |6122 | 0 | 0 | 1.251286e+03 | -- | Inf
446.67/446.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
446.67/446.82 c 442s| 1 | 0 |224676 | - | 86M| 0 |2094 |2442 |6440 |2442 |7640 |6152 | 0 | 0 | 1.252291e+03 | -- | Inf
450.77/450.95 c 446s| 1 | 0 |225220 | - | 86M| 0 |2115 |2442 |6440 |2442 |7663 |6175 | 0 | 0 | 1.252707e+03 | -- | Inf
454.96/455.18 c 450s| 1 | 0 |225621 | - | 85M| 0 |2089 |2442 |6440 |2442 |7527 |6185 | 0 | 0 | 1.252840e+03 | -- | Inf
458.86/459.01 c 454s| 1 | 0 |225947 | - | 82M| 0 |2028 |2442 |6440 |2442 |7531 |6189 | 0 | 0 | 1.253090e+03 | -- | Inf
460.67/460.87 c 456s| 1 | 0 |225996 | - | 82M| 0 |2030 |2442 |6440 |2442 |7533 |6191 | 0 | 0 | 1.253095e+03 | -- | Inf
462.97/463.19 c 458s| 1 | 0 |226094 | - | 80M| 0 |2033 |2442 |6440 |2442 |7535 |6193 | 0 | 0 | 1.253137e+03 | -- | Inf
473.77/473.98 c 469s| 1 | 2 |226094 | - | 79M| 0 |2033 |2442 |6440 |2442 |7535 |6193 | 0 | 43 | 1.253137e+03 | -- | Inf
554.74/554.99 c 548s| 10000 | 42 |226094 | 0.0 | 80M| 78 | - |2442 |6504 | 0 | 0 |6193 |6588 | 43 | 1.253716e+03 | -- | Inf
639.42/639.63 c 630s| 20000 | 38 |226094 | 0.0 | 80M| 78 | - |2442 |6475 | 0 | 0 |6193 | 13k| 43 | 1.253716e+03 | -- | Inf
722.89/723.13 c 712s| 30000 | 41 |226094 | 0.0 | 80M| 78 | - |2442 |6486 | 0 | 0 |6193 | 19k| 43 | 1.253716e+03 | -- | Inf
807.88/808.18 c 795s| 40000 | 41 |226094 | 0.0 | 80M| 78 | - |2442 |6494 | 0 | 0 |6193 | 26k| 43 | 1.253716e+03 | -- | Inf
893.05/893.36 c 878s| 50000 | 38 |226094 | 0.0 | 80M| 78 | - |2442 |6491 | 0 | 0 |6193 | 33k| 43 | 1.253716e+03 | -- | Inf
974.03/974.39 c 957s| 60000 | 41 |226094 | 0.0 | 81M| 78 | - |2442 |6556 | 0 | 0 |6193 | 39k| 43 | 1.253716e+03 | -- | Inf
1091.49/1091.86 c 1071s| 70000 | 42 |226094 | 0.0 | 81M| 78 | - |2442 |6577 | 0 | 0 |6193 | 46k| 43 | 1.253716e+03 | -- | Inf
1175.26/1175.69 c 1152s| 80000 | 39 |226094 | 0.0 | 81M| 78 | - |2442 |6594 | 0 | 0 |6193 | 53k| 43 | 1.253716e+03 | -- | Inf
1267.44/1267.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1267.44/1267.86 c 1242s| 90000 | 43 |226094 | 0.0 | 81M| 78 | - |2442 |6564 | 0 | 0 |6193 | 60k| 43 | 1.253716e+03 | -- | Inf
1359.72/1360.18 c 1332s|100000 | 41 |226094 | 0.0 | 81M| 78 | - |2442 |6595 | 0 | 0 |6193 | 67k| 43 | 1.253716e+03 | -- | Inf
1459.80/1460.20 c 1429s|110000 | 43 |226094 | 0.0 | 81M| 78 | - |2442 |6624 | 0 | 0 |6193 | 74k| 43 | 1.253716e+03 | -- | Inf
1553.97/1554.42 c 1520s|120000 | 40 |226094 | 0.0 | 81M| 78 | - |2442 |6648 | 0 | 0 |6193 | 81k| 43 | 1.253716e+03 | -- | Inf
1652.75/1653.20 c 1617s|130000 | 40 |226094 | 0.0 | 81M| 78 | - |2442 |6516 | 0 | 0 |6193 | 88k| 43 | 1.253716e+03 | -- | Inf
1739.02/1739.56 c 1700s|140000 | 42 |226094 | 0.0 | 81M| 78 | - |2442 |6519 | 0 | 0 |6193 | 95k| 43 | 1.253716e+03 | -- | Inf
1800.02/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.50 c
1800.02/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.50 c Solving Time (sec) : 1759.63
1800.02/1800.50 c Solving Nodes : 147113
1800.02/1800.50 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.02/1800.50 c Dual Bound : +1.25371614956498e+03
1800.02/1800.50 c Gap : infinite
1800.02/1800.50 s UNKNOWN
1800.02/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.50 c Solving Time : 1759.63
1800.02/1800.50 c Original Problem :
1800.02/1800.50 c Problem name : HOME/instance-2665426-1276450975.opb
1800.02/1800.50 c Variables : 2630 (2630 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.50 c Constraints : 6569 initial, 6569 maximal
1800.02/1800.50 c Presolved Problem :
1800.02/1800.50 c Problem name : t_HOME/instance-2665426-1276450975.opb
1800.02/1800.50 c Variables : 2442 (2442 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.50 c Constraints : 6440 initial, 6685 maximal
1800.02/1800.50 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.50 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.50 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.50 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.50 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.50 c implics : 0.01 0 3 0 0 0 0 0 0
1800.02/1800.50 c probing : 0.41 2 183 0 0 0 0 0 0
1800.02/1800.50 c linear : 0.11 0 0 0 0 0 122 122 0
1800.02/1800.50 c logicor : 0.15 0 0 0 0 0 7 0 0
1800.02/1800.50 c root node : - 0 - - 0 - - - -
1800.02/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.51 c integral : 0 0 0 1 0 0 0 0 0 2
1800.02/1800.51 c logicor : 6440+ 141 7045269 0 0 97752 61750936 0 0 0
1800.02/1800.51 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.51 c integral : 8.33 0.00 0.00 8.33 0.00
1800.02/1800.51 c logicor : 315.93 0.09 315.84 0.00 0.00
1800.02/1800.51 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.51 c vbounds : 3.34 2 0 0
1800.02/1800.51 c rootredcost : 3.10 0 0 0
1800.02/1800.51 c pseudoobj : 670.65 7134338 0 0
1800.02/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.51 c propagation : 76.89 97752 97752 97752 40.0 2275 36.6 -
1800.02/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.02/1800.51 c applied globally : - - - 100027 40.0 - - -
1800.02/1800.51 c applied locally : - - - 0 0.0 - - -
1800.02/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.51 c cut pool : 5.50 140 - - 6256 - (maximal pool size: 36012)
1800.02/1800.51 c redcost : 0.00 141 0 0 0 0
1800.02/1800.51 c impliedbounds : 0.26 141 0 0 1295 0
1800.02/1800.51 c intobj : 0.00 0 0 0 0 0
1800.02/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.51 c gomory : 218.78 141 0 0 61893 0
1800.02/1800.51 c strongcg : 6.22 20 0 0 10000 0
1800.02/1800.51 c cmir : 0.70 10 0 0 0 0
1800.02/1800.51 c flowcover : 0.58 10 0 0 0 0
1800.02/1800.51 c clique : 0.35 141 0 0 56 0
1800.02/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.51 c mcf : 0.01 1 0 0 0 0
1800.02/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.51 c Pricers : Time Calls Vars
1800.02/1800.51 c problem variables: 0.00 0 0
1800.02/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.51 c relpscost : 8.33 1 0 0 0 0 2
1800.02/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.51 c inference : 59.33 98141 0 0 0 0 196282
1800.02/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.51 c random : 0.00 0 0 0 0 0 0
1800.02/1800.51 c Primal Heuristics : Time Calls Found
1800.02/1800.51 c LP solutions : 0.00 - 0
1800.02/1800.51 c pseudo solutions : 0.00 - 0
1800.02/1800.51 c oneopt : 0.11 0 0
1800.02/1800.51 c crossover : 0.00 0 0
1800.02/1800.51 c trivial : 0.01 2 0
1800.02/1800.51 c simplerounding : 0.00 0 0
1800.02/1800.51 c zirounding : 0.00 1 0
1800.02/1800.51 c rounding : 0.20 100 0
1800.02/1800.51 c shifting : 2.12 100 0
1800.02/1800.51 c intshifting : 0.00 0 0
1800.02/1800.51 c twoopt : 0.00 0 0
1800.02/1800.51 c fixandinfer : 0.00 0 0
1800.02/1800.51 c feaspump : 0.07 1 0
1800.02/1800.51 c coefdiving : 0.00 0 0
1800.02/1800.51 c pscostdiving : 0.00 0 0
1800.02/1800.51 c fracdiving : 0.00 0 0
1800.02/1800.51 c veclendiving : 0.00 0 0
1800.02/1800.51 c intdiving : 0.00 0 0
1800.02/1800.51 c actconsdiving : 0.00 0 0
1800.02/1800.51 c objpscostdiving : 0.00 0 0
1800.02/1800.51 c rootsoldiving : 0.00 0 0
1800.02/1800.51 c linesearchdiving : 0.00 0 0
1800.02/1800.51 c guideddiving : 0.00 0 0
1800.02/1800.51 c octane : 0.00 0 0
1800.02/1800.51 c rens : 0.01 0 0
1800.02/1800.51 c rins : 0.00 0 0
1800.02/1800.51 c localbranching : 0.00 0 0
1800.02/1800.51 c mutation : 0.00 0 0
1800.02/1800.51 c dins : 0.00 0 0
1800.02/1800.51 c undercover : 0.00 0 0
1800.02/1800.51 c nlp : 0.08 0 0
1800.02/1800.51 c trysol : 0.10 0 0
1800.02/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.51 c primal LP : 0.38 0 0 0.00 0.00
1800.02/1800.51 c dual LP : 222.59 141 226094 1603.50 1015.74
1800.02/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.51 c diving/probing LP: 0.06 0 0 0.00 0.00
1800.02/1800.51 c strong branching : 8.33 43 9311 216.53 1117.77
1800.02/1800.51 c (at root node) : - 43 9311 216.53 -
1800.02/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.51 c B&B Tree :
1800.02/1800.51 c number of runs : 1
1800.02/1800.51 c nodes : 147113
1800.02/1800.51 c nodes (total) : 147113
1800.02/1800.51 c nodes left : 45
1800.02/1800.51 c max depth : 78
1800.02/1800.51 c max depth (total): 78
1800.02/1800.51 c backtracks : 49075 (33.4%)
1800.02/1800.51 c delayed cutoffs : 49127
1800.02/1800.51 c repropagations : 143090 (30859014 domain reductions, 48781 cutoffs)
1800.02/1800.51 c avg switch length: 2.63
1800.02/1800.51 c switching time : 154.70
1800.02/1800.51 c Solution :
1800.02/1800.51 c Solutions found : 0 (0 improvements)
1800.02/1800.51 c Primal Bound : -
1800.02/1800.51 c Dual Bound : +1.25371614956498e+03
1800.02/1800.51 c Gap : infinite
1800.02/1800.51 c Root Dual Bound : +1.25313684285604e+03
1800.02/1800.51 c Root Iterations : 226094
1800.12/1800.68 c Time complete: 1800.19.