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-2665434-1276469379.opb>
0.09/0.13 c original problem has 2678 variables (2678 bin, 0 int, 0 impl, 0 cont) and 6689 constraints
0.09/0.13 c problem read
0.09/0.13 c presolving settings loaded
0.09/0.18 c presolving:
0.29/0.32 c (round 1) 0 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6565 upgd conss, 5654 impls, 0 clqs
0.29/0.34 c (round 2) 0 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6566 upgd conss, 5654 impls, 0 clqs
0.29/0.36 c (round 3) 0 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6567 upgd conss, 5654 impls, 0 clqs
0.39/0.43 c (round 4) 50 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6567 upgd conss, 7116 impls, 0 clqs
0.39/0.44 c (round 5) 53 del vars, 127 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6567 upgd conss, 7154 impls, 0 clqs
0.39/0.47 c (round 6) 53 del vars, 129 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6567 upgd conss, 7154 impls, 0 clqs
0.59/0.65 c (round 7) 103 del vars, 129 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6567 upgd conss, 27342 impls, 0 clqs
0.69/0.78 c (round 8) 153 del vars, 129 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6567 upgd conss, 46798 impls, 0 clqs
0.89/0.93 c (0.7s) probing: 548/2678 (20.5%) - 2 fixings, 183 aggregations, 12557 implications, 0 bound changes
0.89/0.93 c (0.7s) probing aborted: 100/100 successive totally useless probings
0.89/0.93 c (round 9) 188 del vars, 129 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6567 upgd conss, 48400 impls, 0 clqs
0.89/0.95 c (0.7s) probing: 558/2678 (20.8%) - 2 fixings, 183 aggregations, 12557 implications, 0 bound changes
0.89/0.95 c (0.7s) probing aborted: 100/100 successive totally useless probings
0.89/0.95 c presolving (10 rounds):
0.89/0.95 c 188 deleted vars, 129 deleted constraints, 0 tightened bounds, 0 added holes, 122 changed sides, 0 changed coefficients
0.89/0.95 c 48400 implications, 0 cliques
0.89/0.95 c presolved problem has 2490 variables (2490 bin, 0 int, 0 impl, 0 cont) and 6560 constraints
0.89/0.95 c 6560 constraints of type <logicor>
0.89/0.95 c transformed objective value is always integral (scale: 1)
0.89/0.95 c Presolving Time: 0.69
0.89/0.95 c - non default parameters ----------------------------------------------------------------------
0.89/0.95 c # SCIP version 1.2.1.2
0.89/0.95 c
0.89/0.95 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.89/0.95 c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.95 c conflict/interconss = 0
0.89/0.95 c
0.89/0.95 c # should binary conflicts be preferred?
0.89/0.95 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.95 c conflict/preferbinary = TRUE
0.89/0.95 c
0.89/0.95 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.89/0.95 c # [type: int, range: [-1,2147483647], default: 0]
0.89/0.95 c constraints/agelimit = 1
0.89/0.95 c
0.89/0.95 c # should enforcement of pseudo solution be disabled?
0.89/0.95 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.95 c constraints/disableenfops = TRUE
0.89/0.95 c
0.89/0.95 c # frequency for displaying node information lines
0.89/0.95 c # [type: int, range: [-1,2147483647], default: 100]
0.89/0.95 c display/freq = 10000
0.89/0.95 c
0.89/0.95 c # maximal time in seconds to run
0.89/0.95 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.95 c limits/time = 1799.87
0.89/0.95 c
0.89/0.95 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.89/0.95 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.95 c limits/memory = 1620
0.89/0.95 c
0.89/0.95 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.89/0.95 c # [type: int, range: [-1,2147483647], default: 1]
0.89/0.95 c lp/solvefreq = 0
0.89/0.95 c
0.89/0.95 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.89/0.95 c # [type: char, range: {lafpsqd}, default: l]
0.89/0.95 c lp/pricing = a
0.89/0.95 c
0.89/0.95 c # should presolving try to simplify inequalities
0.89/0.95 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.95 c constraints/linear/simplifyinequalities = TRUE
0.89/0.95 c
0.89/0.95 c # should presolving try to simplify knapsacks
0.89/0.95 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.95 c constraints/knapsack/simplifyinequalities = TRUE
0.89/0.95 c
0.89/0.95 c # priority of node selection rule <dfs> in standard mode
0.89/0.95 c # [type: int, range: [-536870912,536870911], default: 0]
0.89/0.95 c nodeselection/dfs/stdpriority = 1000000
0.89/0.95 c
0.89/0.95 c -----------------------------------------------------------------------------------------------
0.89/0.95 c start solving
0.89/0.96 c
2.99/3.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.99/3.05 c 2.8s| 1 | 0 | 4633 | - | 15M| 0 |2049 |2490 |6560 |2490 |6373 | 0 | 0 | 0 | 8.022358e+02 | -- | Inf
5.99/6.01 c 5.7s| 1 | 0 | 7432 | - | 19M| 0 |1993 |2490 |6560 |2490 |7106 | 733 | 0 | 0 | 8.349917e+02 | -- | Inf
7.09/7.12 c 6.8s| 1 | 0 | 8585 | - | 21M| 0 |2013 |2490 |6560 |2490 |7138 | 765 | 0 | 0 | 8.403294e+02 | -- | Inf
8.29/8.31 c 7.9s| 1 | 0 | 9675 | - | 23M| 0 |2049 |2490 |6560 |2490 |7163 | 790 | 0 | 0 | 8.424815e+02 | -- | Inf
9.79/9.82 c 9.4s| 1 | 0 | 11042 | - | 26M| 0 |2021 |2490 |6560 |2490 |7188 | 815 | 0 | 0 | 8.445856e+02 | -- | Inf
10.99/11.08 c 10.7s| 1 | 0 | 11975 | - | 29M| 0 |1756 |2490 |6560 |2490 |7211 | 838 | 0 | 0 | 8.465979e+02 | -- | Inf
12.69/12.79 c 12.4s| 1 | 0 | 13277 | - | 31M| 0 |1738 |2490 |6560 |2490 |7233 | 860 | 0 | 0 | 8.485280e+02 | -- | Inf
14.58/14.61 c 14.2s| 1 | 0 | 14773 | - | 33M| 0 |1786 |2490 |6560 |2490 |7263 | 890 | 0 | 0 | 8.496379e+02 | -- | Inf
16.68/16.79 c 16.3s| 1 | 0 | 16107 | - | 36M| 0 |1764 |2490 |6560 |2490 |7291 | 918 | 0 | 0 | 8.519518e+02 | -- | Inf
19.79/19.88 c 19.4s| 1 | 0 | 18065 | - | 40M| 0 |1789 |2490 |6560 |2490 |7333 | 960 | 0 | 0 | 8.571738e+02 | -- | Inf
22.48/22.51 c 22.0s| 1 | 0 | 19697 | - | 45M| 0 |1778 |2490 |6560 |2490 |7358 | 985 | 0 | 0 | 8.584014e+02 | -- | Inf
25.88/25.92 c 25.3s| 1 | 0 | 21954 | - | 47M| 0 |1774 |2490 |6560 |2490 |6722 |1034 | 0 | 0 | 8.642529e+02 | -- | Inf
27.28/27.37 c 26.8s| 1 | 0 | 23027 | - | 49M| 0 |1846 |2490 |6560 |2490 |6747 |1059 | 0 | 0 | 8.653297e+02 | -- | Inf
30.47/30.59 c 29.9s| 1 | 0 | 24816 | - | 52M| 0 |1784 |2490 |6560 |2490 |6795 |1107 | 0 | 0 | 8.729456e+02 | -- | Inf
32.88/32.93 c 32.3s| 1 | 0 | 26464 | - | 54M| 0 |1781 |2490 |6560 |2490 |6821 |1133 | 0 | 0 | 8.742112e+02 | -- | Inf
36.88/36.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
36.88/36.90 c 36.2s| 1 | 0 | 28702 | - | 57M| 0 |1735 |2490 |6560 |2490 |6864 |1176 | 0 | 0 | 8.791274e+02 | -- | Inf
40.07/40.17 c 39.4s| 1 | 0 | 30671 | - | 60M| 0 |1717 |2490 |6560 |2490 |6896 |1208 | 0 | 0 | 8.808454e+02 | -- | Inf
42.47/42.55 c 41.8s| 1 | 0 | 32225 | - | 63M| 0 |1747 |2490 |6560 |2490 |6826 |1235 | 0 | 0 | 8.834515e+02 | -- | Inf
46.47/46.58 c 45.7s| 1 | 0 | 34504 | - | 68M| 0 |1931 |2490 |6560 |2490 |6872 |1281 | 0 | 0 | 8.912691e+02 | -- | Inf
49.87/49.94 c 49.1s| 1 | 0 | 36375 | - | 71M| 0 |1869 |2490 |6560 |2490 |6916 |1325 | 0 | 0 | 8.969557e+02 | -- | Inf
51.68/51.78 c 50.9s| 1 | 0 | 37248 | - | 73M| 0 |1844 |2490 |6560 |2490 |6944 |1353 | 0 | 0 | 8.978153e+02 | -- | Inf
53.87/53.99 c 53.0s| 1 | 0 | 38641 | - | 74M| 0 |1867 |2490 |6560 |2490 |6991 |1400 | 0 | 0 | 9.033860e+02 | -- | Inf
55.87/55.97 c 55.0s| 1 | 0 | 39856 | - | 75M| 0 |1845 |2490 |6560 |2490 |7016 |1425 | 0 | 0 | 9.041634e+02 | -- | Inf
57.67/57.74 c 56.7s| 1 | 0 | 40707 | - | 76M| 0 |1884 |2490 |6560 |2490 |6876 |1447 | 0 | 0 | 9.048360e+02 | -- | Inf
61.48/61.56 c 60.5s| 1 | 0 | 43291 | - | 77M| 0 |1981 |2490 |6560 |2490 |6915 |1486 | 0 | 0 | 9.078757e+02 | -- | Inf
64.78/64.86 c 63.8s| 1 | 0 | 45340 | - | 78M| 0 |1843 |2490 |6560 |2490 |6965 |1536 | 0 | 0 | 9.149929e+02 | -- | Inf
67.57/67.68 c 66.5s| 1 | 0 | 46952 | - | 79M| 0 |1826 |2490 |6560 |2490 |7016 |1587 | 0 | 0 | 9.192246e+02 | -- | Inf
70.27/70.35 c 69.2s| 1 | 0 | 48680 | - | 80M| 0 |1891 |2490 |6560 |2490 |7064 |1635 | 0 | 0 | 9.246387e+02 | -- | Inf
72.77/72.82 c 71.6s| 1 | 0 | 50140 | - | 82M| 0 |1945 |2490 |6560 |2490 |7105 |1676 | 0 | 0 | 9.271513e+02 | -- | Inf
77.17/77.22 c 76.0s| 1 | 0 | 52481 | - | 83M| 0 |1872 |2490 |6560 |2490 |7004 |1734 | 0 | 0 | 9.324322e+02 | -- | Inf
80.36/80.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
80.36/80.44 c 79.2s| 1 | 0 | 54401 | - | 83M| 0 |1994 |2490 |6560 |2490 |7047 |1777 | 0 | 0 | 9.371613e+02 | -- | Inf
84.26/84.30 c 83.0s| 1 | 0 | 56599 | - | 85M| 0 |2018 |2490 |6560 |2490 |7097 |1827 | 0 | 0 | 9.402979e+02 | -- | Inf
87.86/88.00 c 86.6s| 1 | 0 | 58600 | - | 86M| 0 |1914 |2490 |6560 |2490 |7143 |1873 | 0 | 0 | 9.435176e+02 | -- | Inf
91.66/91.70 c 90.3s| 1 | 0 | 60975 | - | 87M| 0 |2064 |2490 |6560 |2490 |7178 |1908 | 0 | 0 | 9.449228e+02 | -- | Inf
96.85/96.90 c 95.4s| 1 | 0 | 63850 | - | 87M| 0 |2143 |2490 |6560 |2490 |7234 |1964 | 0 | 0 | 9.489528e+02 | -- | Inf
102.35/102.49 c 101s| 1 | 0 | 66362 | - | 88M| 0 |2065 |2490 |6560 |2490 |7137 |2029 | 0 | 0 | 9.582959e+02 | -- | Inf
106.74/106.85 c 105s| 1 | 0 | 68870 | - | 90M| 0 |1998 |2490 |6560 |2490 |7188 |2080 | 0 | 0 | 9.616281e+02 | -- | Inf
110.85/110.91 c 109s| 1 | 0 | 71337 | - | 91M| 0 |1963 |2490 |6560 |2490 |7248 |2140 | 0 | 0 | 9.658509e+02 | -- | Inf
114.26/114.37 c 113s| 1 | 0 | 73284 | - | 93M| 0 |1931 |2490 |6560 |2490 |7301 |2193 | 0 | 0 | 9.749110e+02 | -- | Inf
117.05/117.12 c 115s| 1 | 0 | 74766 | - | 94M| 0 |1954 |2490 |6560 |2490 |7353 |2245 | 0 | 0 | 9.796029e+02 | -- | Inf
121.73/121.87 c 120s| 1 | 0 | 77252 | - | 95M| 0 |1938 |2490 |6560 |2490 |7402 |2294 | 0 | 0 | 9.851049e+02 | -- | Inf
125.84/125.97 c 124s| 1 | 0 | 79570 | - | 96M| 0 |1931 |2490 |6560 |2490 |7226 |2335 | 0 | 0 | 9.894819e+02 | -- | Inf
129.33/129.47 c 128s| 1 | 0 | 81536 | - | 97M| 0 |1924 |2490 |6560 |2490 |7287 |2396 | 0 | 0 | 9.941054e+02 | -- | Inf
133.34/133.48 c 132s| 1 | 0 | 83583 | - | 98M| 0 |1978 |2490 |6560 |2490 |7356 |2465 | 0 | 0 | 1.001928e+03 | -- | Inf
136.94/137.05 c 135s| 1 | 0 | 85450 | - | 99M| 0 |2049 |2490 |6560 |2490 |7416 |2525 | 0 | 0 | 1.006988e+03 | -- | Inf
142.64/142.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
142.64/142.76 c 141s| 1 | 0 | 88168 | - | 100M| 0 |2018 |2490 |6560 |2490 |7483 |2592 | 0 | 0 | 1.016105e+03 | -- | Inf
147.43/147.59 c 145s| 1 | 0 | 90760 | - | 101M| 0 |2110 |2490 |6560 |2490 |7555 |2664 | 0 | 0 | 1.020187e+03 | -- | Inf
152.84/152.90 c 151s| 1 | 0 | 92942 | - | 102M| 0 |2046 |2490 |6560 |2490 |7383 |2731 | 0 | 0 | 1.031998e+03 | -- | Inf
155.33/155.44 c 153s| 1 | 0 | 94345 | - | 103M| 0 |2071 |2490 |6560 |2490 |7438 |2786 | 0 | 0 | 1.035892e+03 | -- | Inf
158.82/158.99 c 157s| 1 | 0 | 96415 | - | 104M| 0 |2066 |2490 |6560 |2490 |7496 |2844 | 0 | 0 | 1.039771e+03 | -- | Inf
163.43/163.58 c 161s| 1 | 0 | 99069 | - | 105M| 0 |2048 |2490 |6560 |2490 |7561 |2909 | 0 | 0 | 1.044458e+03 | -- | Inf
169.02/169.16 c 167s| 1 | 0 |102139 | - | 106M| 0 |2083 |2490 |6560 |2490 |7630 |2978 | 0 | 0 | 1.051082e+03 | -- | Inf
174.62/174.72 c 172s| 1 | 0 |104789 | - | 106M| 0 |2101 |2490 |6560 |2490 |7696 |3044 | 0 | 0 | 1.058659e+03 | -- | Inf
177.92/178.07 c 176s| 1 | 0 |106535 | - | 107M| 0 |2154 |2490 |6560 |2490 |7496 |3104 | 0 | 0 | 1.062517e+03 | -- | Inf
181.32/181.50 c 179s| 1 | 0 |108268 | - | 108M| 0 |2140 |2490 |6560 |2490 |7557 |3165 | 0 | 0 | 1.067140e+03 | -- | Inf
185.42/185.54 c 183s| 1 | 0 |110342 | - | 109M| 0 |2102 |2490 |6560 |2490 |7608 |3216 | 0 | 0 | 1.071196e+03 | -- | Inf
189.82/189.95 c 187s| 1 | 0 |112370 | - | 110M| 0 |2113 |2490 |6560 |2490 |7671 |3279 | 0 | 0 | 1.075393e+03 | -- | Inf
193.81/193.90 c 191s| 1 | 0 |114585 | - | 112M| 0 |2188 |2490 |6560 |2490 |7723 |3331 | 0 | 0 | 1.078309e+03 | -- | Inf
200.81/200.95 c 198s| 1 | 0 |117463 | - | 112M| 0 |2177 |2490 |6560 |2490 |7795 |3403 | 0 | 0 | 1.088172e+03 | -- | Inf
205.21/205.39 c 203s| 1 | 0 |119416 | - | 112M| 0 |2171 |2490 |6560 |2490 |7570 |3485 | 0 | 0 | 1.097372e+03 | -- | Inf
209.91/210.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
209.91/210.07 c 207s| 1 | 0 |122050 | - | 114M| 0 |2117 |2490 |6560 |2490 |7647 |3562 | 0 | 0 | 1.104784e+03 | -- | Inf
212.50/212.69 c 210s| 1 | 0 |123683 | - | 115M| 0 |2169 |2490 |6560 |2490 |7712 |3627 | 0 | 0 | 1.107740e+03 | -- | Inf
215.80/215.96 c 213s| 1 | 0 |125489 | - | 116M| 0 |2189 |2490 |6560 |2490 |7775 |3690 | 0 | 0 | 1.110454e+03 | -- | Inf
220.10/220.23 c 217s| 1 | 0 |127802 | - | 116M| 0 |2138 |2490 |6560 |2490 |7848 |3763 | 0 | 0 | 1.114212e+03 | -- | Inf
225.81/225.90 c 223s| 1 | 0 |130502 | - | 117M| 0 |2218 |2490 |6560 |2490 |7945 |3860 | 0 | 0 | 1.119684e+03 | -- | Inf
231.00/231.15 c 228s| 1 | 0 |132772 | - | 117M| 0 |2188 |2490 |6560 |2490 |7725 |3926 | 0 | 0 | 1.124892e+03 | -- | Inf
235.40/235.53 c 232s| 1 | 0 |134645 | - | 118M| 0 |2126 |2490 |6560 |2490 |7781 |3982 | 0 | 0 | 1.130044e+03 | -- | Inf
238.51/238.68 c 236s| 1 | 0 |136319 | - | 119M| 0 |2195 |2490 |6560 |2490 |7838 |4039 | 0 | 0 | 1.132645e+03 | -- | Inf
243.20/243.37 c 240s| 1 | 0 |138456 | - | 120M| 0 |2187 |2490 |6560 |2490 |7896 |4097 | 0 | 0 | 1.137702e+03 | -- | Inf
245.70/245.81 c 243s| 1 | 0 |139731 | - | 122M| 0 |2207 |2490 |6560 |2490 |7951 |4152 | 0 | 0 | 1.140299e+03 | -- | Inf
249.69/249.80 c 247s| 1 | 0 |141594 | - | 123M| 0 |2210 |2490 |6560 |2490 |8023 |4224 | 0 | 0 | 1.145234e+03 | -- | Inf
252.39/252.57 c 249s| 1 | 0 |143238 | - | 124M| 0 |2214 |2490 |6560 |2490 |7709 |4274 | 0 | 0 | 1.147743e+03 | -- | Inf
256.20/256.33 c 253s| 1 | 0 |144773 | - | 125M| 0 |2204 |2490 |6560 |2490 |7747 |4312 | 0 | 0 | 1.151953e+03 | -- | Inf
260.50/260.65 c 257s| 1 | 0 |146867 | - | 126M| 0 |2152 |2490 |6560 |2490 |7802 |4367 | 0 | 0 | 1.156828e+03 | -- | Inf
262.99/263.18 c 260s| 1 | 0 |148676 | - | 126M| 0 |2185 |2490 |6560 |2490 |7872 |4437 | 0 | 0 | 1.158296e+03 | -- | Inf
267.10/267.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
267.10/267.23 c 264s| 1 | 0 |151036 | - | 127M| 0 |2259 |2490 |6560 |2490 |7932 |4497 | 0 | 0 | 1.160549e+03 | -- | Inf
274.48/274.66 c 271s| 1 | 0 |154146 | - | 127M| 0 |2172 |2490 |6560 |2490 |8010 |4575 | 0 | 0 | 1.166000e+03 | -- | Inf
277.98/278.14 c 275s| 1 | 0 |156182 | - | 128M| 0 |2154 |2490 |6560 |2490 |7718 |4628 | 0 | 0 | 1.167425e+03 | -- | Inf
283.69/283.83 c 280s| 1 | 0 |159029 | - | 128M| 0 |2166 |2490 |6560 |2490 |7756 |4666 | 0 | 0 | 1.170870e+03 | -- | Inf
286.99/287.11 c 283s| 1 | 0 |161150 | - | 130M| 0 |2169 |2490 |6560 |2490 |7807 |4717 | 0 | 0 | 1.173796e+03 | -- | Inf
291.18/291.33 c 288s| 1 | 0 |163641 | - | 130M| 0 |2152 |2490 |6560 |2490 |7864 |4774 | 0 | 0 | 1.177030e+03 | -- | Inf
294.88/295.04 c 291s| 1 | 0 |165642 | - | 131M| 0 |2113 |2490 |6560 |2490 |7921 |4831 | 0 | 0 | 1.178874e+03 | -- | Inf
298.98/299.14 c 295s| 1 | 0 |167523 | - | 132M| 0 |2172 |2490 |6560 |2490 |7976 |4886 | 0 | 0 | 1.180253e+03 | -- | Inf
304.58/304.75 c 301s| 1 | 0 |169595 | - | 132M| 0 |2090 |2490 |6560 |2490 |7761 |4951 | 0 | 0 | 1.184547e+03 | -- | Inf
308.47/308.69 c 305s| 1 | 0 |171336 | - | 133M| 0 |2064 |2490 |6560 |2490 |7821 |5011 | 0 | 0 | 1.189454e+03 | -- | Inf
311.27/311.47 c 308s| 1 | 0 |172759 | - | 133M| 0 |2008 |2490 |6560 |2490 |7879 |5069 | 0 | 0 | 1.190567e+03 | -- | Inf
314.07/314.22 c 310s| 1 | 0 |174172 | - | 134M| 0 |2128 |2490 |6560 |2490 |7933 |5123 | 0 | 0 | 1.192796e+03 | -- | Inf
316.87/317.07 c 313s| 1 | 0 |175623 | - | 135M| 0 |2084 |2490 |6560 |2490 |7978 |5168 | 0 | 0 | 1.194553e+03 | -- | Inf
319.37/319.56 c 316s| 1 | 0 |177401 | - | 136M| 0 |2092 |2490 |6560 |2490 |8020 |5210 | 0 | 0 | 1.195671e+03 | -- | Inf
322.97/323.12 c 319s| 1 | 0 |179630 | - | 136M| 0 |2170 |2490 |6560 |2490 |7807 |5279 | 0 | 0 | 1.198840e+03 | -- | Inf
327.06/327.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
327.06/327.24 c 323s| 1 | 0 |181509 | - | 137M| 0 |2149 |2490 |6560 |2490 |7883 |5355 | 0 | 0 | 1.203419e+03 | -- | Inf
330.97/331.15 c 327s| 1 | 0 |183409 | - | 138M| 0 |2147 |2490 |6560 |2490 |7934 |5406 | 0 | 0 | 1.205006e+03 | -- | Inf
335.56/335.78 c 332s| 1 | 0 |185623 | - | 138M| 0 |2017 |2490 |6560 |2490 |7994 |5466 | 0 | 0 | 1.209469e+03 | -- | Inf
337.76/337.98 c 334s| 1 | 0 |187290 | - | 138M| 0 |2028 |2490 |6560 |2490 |8057 |5529 | 0 | 0 | 1.211935e+03 | -- | Inf
339.77/339.94 c 336s| 1 | 0 |188818 | - | 139M| 0 |2155 |2490 |6560 |2490 |8108 |5580 | 0 | 0 | 1.214298e+03 | -- | Inf
344.06/344.24 c 340s| 1 | 0 |190622 | - | 140M| 0 |2057 |2490 |6560 |2490 |7863 |5637 | 0 | 0 | 1.217103e+03 | -- | Inf
345.75/345.97 c 342s| 1 | 0 |191788 | - | 140M| 0 |2094 |2490 |6560 |2490 |7902 |5676 | 0 | 0 | 1.218371e+03 | -- | Inf
348.96/349.13 c 345s| 1 | 0 |193471 | - | 140M| 0 |2118 |2490 |6560 |2490 |7966 |5740 | 0 | 0 | 1.222295e+03 | -- | Inf
350.35/350.57 c 346s| 1 | 0 |194364 | - | 141M| 0 |2161 |2490 |6560 |2490 |7990 |5764 | 0 | 0 | 1.222748e+03 | -- | Inf
354.56/354.73 c 350s| 1 | 0 |195076 | - | 141M| 0 |2142 |2490 |6560 |2490 |8020 |5794 | 0 | 0 | 1.224374e+03 | -- | Inf
358.36/358.58 c 354s| 1 | 0 |197058 | - | 142M| 0 |2099 |2490 |6560 |2490 |8053 |5827 | 0 | 0 | 1.226624e+03 | -- | Inf
360.56/360.80 c 356s| 1 | 0 |198685 | - | 143M| 0 |2136 |2490 |6560 |2490 |7785 |5859 | 0 | 0 | 1.227388e+03 | -- | Inf
363.75/363.95 c 359s| 1 | 0 |199842 | - | 139M| 0 |2098 |2490 |6560 |2490 |7800 |5874 | 0 | 0 | 1.228228e+03 | -- | Inf
366.65/366.88 c 362s| 1 | 0 |200497 | - | 138M| 0 |2159 |2490 |6560 |2490 |7822 |5896 | 0 | 0 | 1.228534e+03 | -- | Inf
369.85/370.01 c 366s| 1 | 0 |201298 | - | 136M| 0 |2139 |2490 |6560 |2490 |7843 |5917 | 0 | 0 | 1.229648e+03 | -- | Inf
373.34/373.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
373.34/373.58 c 369s| 1 | 0 |202278 | - | 133M| 0 |2112 |2490 |6560 |2490 |7856 |5930 | 0 | 0 | 1.230013e+03 | -- | Inf
376.24/376.44 c 372s| 1 | 0 |203145 | - | 131M| 0 |2102 |2490 |6560 |2490 |7869 |5943 | 0 | 0 | 1.230405e+03 | -- | Inf
379.05/379.22 c 375s| 1 | 0 |204487 | - | 129M| 0 |2146 |2490 |6560 |2490 |7584 |5955 | 0 | 0 | 1.231426e+03 | -- | Inf
382.35/382.55 c 378s| 1 | 0 |205025 | - | 127M| 0 |2131 |2490 |6560 |2490 |7607 |5978 | 0 | 0 | 1.231594e+03 | -- | Inf
387.54/387.75 c 383s| 1 | 0 |206173 | - | 125M| 0 |2157 |2490 |6560 |2490 |7626 |5997 | 0 | 0 | 1.232847e+03 | -- | Inf
390.74/390.96 c 386s| 1 | 0 |207198 | - | 121M| 0 |2142 |2490 |6560 |2490 |7643 |6014 | 0 | 0 | 1.233516e+03 | -- | Inf
394.24/394.47 c 390s| 1 | 0 |208238 | - | 117M| 0 |2128 |2490 |6560 |2490 |7664 |6035 | 0 | 0 | 1.234104e+03 | -- | Inf
399.05/399.28 c 395s| 1 | 0 |209490 | - | 115M| 0 |2152 |2490 |6560 |2490 |7685 |6056 | 0 | 0 | 1.234777e+03 | -- | Inf
403.94/404.19 c 399s| 1 | 0 |210709 | - | 112M| 0 |2100 |2490 |6560 |2490 |7572 |6085 | 0 | 0 | 1.236550e+03 | -- | Inf
405.83/406.07 c 401s| 1 | 0 |211887 | - | 110M| 0 |2078 |2490 |6560 |2490 |7604 |6117 | 0 | 0 | 1.237779e+03 | -- | Inf
409.93/410.13 c 405s| 1 | 0 |213722 | - | 108M| 0 |2120 |2490 |6560 |2490 |7660 |6173 | 0 | 0 | 1.239671e+03 | -- | Inf
412.93/413.19 c 408s| 1 | 0 |214902 | - | 106M| 0 |2094 |2490 |6560 |2490 |7691 |6204 | 0 | 0 | 1.240831e+03 | -- | Inf
416.43/416.66 c 412s| 1 | 0 |215880 | - | 103M| 0 |2095 |2490 |6560 |2490 |7710 |6223 | 0 | 0 | 1.242348e+03 | -- | Inf
420.23/420.44 c 416s| 1 | 0 |216552 | - | 100M| 0 |2088 |2490 |6560 |2490 |7723 |6236 | 0 | 0 | 1.242514e+03 | -- | Inf
424.33/424.54 c 420s| 1 | 0 |217968 | - | 96M| 0 |2090 |2490 |6560 |2490 |7675 |6271 | 0 | 0 | 1.243500e+03 | -- | Inf
427.74/427.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
427.74/427.97 c 423s| 1 | 0 |218873 | - | 94M| 0 |2059 |2490 |6560 |2490 |7704 |6300 | 0 | 0 | 1.244545e+03 | -- | Inf
429.83/430.05 c 425s| 1 | 0 |220133 | - | 92M| 0 |2089 |2490 |6560 |2490 |7744 |6340 | 0 | 0 | 1.246056e+03 | -- | Inf
433.52/433.77 c 429s| 1 | 0 |221124 | - | 91M| 0 |2073 |2490 |6560 |2490 |7767 |6363 | 0 | 0 | 1.247107e+03 | -- | Inf
436.73/436.90 c 432s| 1 | 0 |221648 | - | 90M| 0 |2069 |2490 |6560 |2490 |7782 |6378 | 0 | 0 | 1.247779e+03 | -- | Inf
439.73/439.91 c 435s| 1 | 0 |222216 | - | 89M| 0 |2049 |2490 |6560 |2490 |7792 |6388 | 0 | 0 | 1.248203e+03 | -- | Inf
443.12/443.33 c 438s| 1 | 0 |223139 | - | 88M| 0 |2049 |2490 |6560 |2490 |7662 |6400 | 0 | 0 | 1.248717e+03 | -- | Inf
445.52/445.77 c 441s| 1 | 0 |223998 | - | 87M| 0 |2042 |2490 |6560 |2490 |7675 |6413 | 0 | 0 | 1.249362e+03 | -- | Inf
447.01/447.22 c 442s| 1 | 0 |224874 | - | 87M| 0 |2052 |2490 |6560 |2490 |7697 |6435 | 0 | 0 | 1.250059e+03 | -- | Inf
450.02/450.22 c 445s| 1 | 0 |226573 | - | 87M| 0 |2027 |2490 |6560 |2490 |7745 |6483 | 0 | 0 | 1.251365e+03 | -- | Inf
452.42/452.66 c 448s| 1 | 0 |228289 | - | 86M| 0 |2079 |2490 |6560 |2490 |7782 |6520 | 0 | 0 | 1.252919e+03 | -- | Inf
456.41/456.61 c 452s| 1 | 0 |229401 | - | 85M| 0 |2136 |2490 |6560 |2490 |7814 |6552 | 0 | 0 | 1.253960e+03 | -- | Inf
458.31/458.56 c 453s| 1 | 0 |230447 | - | 85M| 0 |2091 |2490 |6560 |2490 |7716 |6589 | 0 | 0 | 1.255025e+03 | -- | Inf
460.02/460.25 c 455s| 1 | 0 |231481 | - | 84M| 0 |2149 |2490 |6560 |2490 |7759 |6632 | 0 | 0 | 1.255714e+03 | -- | Inf
464.41/464.69 c 460s| 1 | 0 |233342 | - | 84M| 0 |2162 |2490 |6560 |2490 |7793 |6666 | 0 | 0 | 1.257816e+03 | -- | Inf
468.91/469.14 c 464s| 1 | 0 |234935 | - | 83M| 0 |2124 |2490 |6560 |2490 |7848 |6721 | 0 | 0 | 1.260735e+03 | -- | Inf
470.71/470.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
470.71/470.94 c 466s| 1 | 0 |236076 | - | 83M| 0 |2072 |2490 |6560 |2490 |7886 |6759 | 0 | 0 | 1.261682e+03 | -- | Inf
473.31/473.51 c 468s| 1 | 0 |237713 | - | 83M| 0 |2025 |2490 |6560 |2490 |7926 |6799 | 0 | 0 | 1.263893e+03 | -- | Inf
474.51/474.77 c 469s| 1 | 0 |238694 | - | 82M| 0 |2174 |2490 |6560 |2490 |7886 |6833 | 0 | 0 | 1.265326e+03 | -- | Inf
476.91/477.19 c 472s| 1 | 0 |239813 | - | 81M| 0 |2138 |2490 |6560 |2490 |7923 |6870 | 0 | 0 | 1.267905e+03 | -- | Inf
478.70/478.96 c 474s| 1 | 0 |240903 | - | 80M| 0 |2100 |2490 |6560 |2490 |7952 |6899 | 0 | 0 | 1.268915e+03 | -- | Inf
480.61/480.80 c 475s| 1 | 0 |242050 | - | 79M| 0 |2077 |2490 |6560 |2490 |7984 |6931 | 0 | 0 | 1.270330e+03 | -- | Inf
481.71/481.93 c 477s| 1 | 0 |242806 | - | 79M| 0 |2079 |2490 |6560 |2490 |8014 |6961 | 0 | 0 | 1.270783e+03 | -- | Inf
483.41/483.63 c 478s| 1 | 0 |244008 | - | 78M| 0 |2103 |2490 |6560 |2490 |8030 |6977 | 0 | 0 | 1.271126e+03 | -- | Inf
487.01/487.27 c 482s| 1 | 0 |244973 | - | 77M| 0 |2117 |2490 |6560 |2490 |7868 |7004 | 0 | 0 | 1.271726e+03 | -- | Inf
489.01/489.21 c 484s| 1 | 0 |246235 | - | 77M| 0 |2153 |2490 |6560 |2490 |7892 |7028 | 0 | 0 | 1.272629e+03 | -- | Inf
492.90/493.20 c 488s| 1 | 0 |247174 | - | 77M| 0 |2154 |2490 |6560 |2490 |7915 |7051 | 0 | 0 | 1.272973e+03 | -- | Inf
497.09/497.36 c 492s| 1 | 0 |248336 | - | 76M| 0 |2169 |2490 |6560 |2490 |7938 |7074 | 0 | 0 | 1.273756e+03 | -- | Inf
499.60/499.89 c 494s| 1 | 0 |249194 | - | 75M| 0 |2169 |2490 |6560 |2490 |7951 |7087 | 0 | 0 | 1.273869e+03 | -- | Inf
502.00/502.21 c 497s| 1 | 0 |250847 | - | 74M| 0 |2115 |2490 |6560 |2490 |7971 |7107 | 0 | 0 | 1.274486e+03 | -- | Inf
504.90/505.12 c 500s| 1 | 0 |252577 | - | 74M| 0 |2109 |2490 |6560 |2490 |7826 |7143 | 0 | 0 | 1.275948e+03 | -- | Inf
506.29/506.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
506.29/506.58 c 501s| 1 | 0 |253589 | - | 73M| 0 |2140 |2490 |6560 |2490 |7856 |7173 | 0 | 0 | 1.276738e+03 | -- | Inf
508.69/508.94 c 503s| 1 | 0 |254278 | - | 73M| 0 |2153 |2490 |6560 |2490 |7878 |7195 | 0 | 0 | 1.277591e+03 | -- | Inf
512.30/512.59 c 507s| 1 | 0 |255825 | - | 73M| 0 |2121 |2490 |6560 |2490 |7903 |7220 | 0 | 0 | 1.279167e+03 | -- | Inf
514.99/515.27 c 510s| 1 | 0 |256274 | - | 72M| 0 |2146 |2490 |6560 |2490 |7923 |7240 | 0 | 0 | 1.279292e+03 | -- | Inf
519.39/519.62 c 514s| 1 | 0 |257495 | - | 71M| 0 |2118 |2490 |6560 |2490 |7934 |7251 | 0 | 0 | 1.280100e+03 | -- | Inf
523.69/523.95 c 518s| 1 | 0 |258853 | - | 71M| 0 |2141 |2490 |6560 |2490 |7842 |7278 | 0 | 0 | 1.280644e+03 | -- | Inf
526.59/526.83 c 521s| 1 | 0 |259686 | - | 70M| 0 |2114 |2490 |6560 |2490 |7864 |7300 | 0 | 0 | 1.281869e+03 | -- | Inf
528.99/529.25 c 524s| 1 | 0 |260276 | - | 69M| 0 |2109 |2490 |6560 |2490 |7886 |7322 | 0 | 0 | 1.282719e+03 | -- | Inf
530.88/531.16 c 525s| 1 | 0 |261067 | - | 68M| 0 |2039 |2490 |6560 |2490 |7912 |7348 | 0 | 0 | 1.283056e+03 | -- | Inf
532.29/532.58 c 527s| 1 | 0 |262069 | - | 68M| 0 |2090 |2490 |6560 |2490 |7948 |7384 | 0 | 0 | 1.283844e+03 | -- | Inf
533.89/534.12 c 528s| 1 | 0 |262973 | - | 69M| 0 |2084 |2490 |6560 |2490 |7975 |7411 | 0 | 0 | 1.285348e+03 | -- | Inf
535.89/536.10 c 530s| 1 | 0 |264401 | - | 69M| 0 |2087 |2490 |6560 |2490 |7872 |7432 | 0 | 0 | 1.286500e+03 | -- | Inf
538.48/538.71 c 533s| 1 | 0 |265448 | - | 68M| 0 |2066 |2490 |6560 |2490 |7890 |7450 | 0 | 0 | 1.287279e+03 | -- | Inf
539.89/540.14 c 534s| 1 | 0 |265991 | - | 68M| 0 |2076 |2490 |6560 |2490 |7914 |7474 | 0 | 0 | 1.287437e+03 | -- | Inf
542.39/542.64 c 537s| 1 | 0 |266729 | - | 68M| 0 |2079 |2490 |6560 |2490 |7926 |7486 | 0 | 0 | 1.287588e+03 | -- | Inf
544.68/544.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
544.68/544.93 c 539s| 1 | 0 |267321 | - | 67M| 0 |2108 |2490 |6560 |2490 |7955 |7515 | 0 | 0 | 1.288155e+03 | -- | Inf
546.88/547.13 c 541s| 1 | 0 |267723 | - | 66M| 0 |2084 |2490 |6560 |2490 |7964 |7524 | 0 | 0 | 1.288553e+03 | -- | Inf
549.08/549.34 c 543s| 1 | 0 |268103 | - | 66M| 0 |2081 |2490 |6560 |2490 |7869 |7541 | 0 | 0 | 1.288695e+03 | -- | Inf
551.38/551.60 c 546s| 1 | 0 |268605 | - | 66M| 0 |2070 |2490 |6560 |2490 |7884 |7556 | 0 | 0 | 1.288995e+03 | -- | Inf
553.48/553.73 c 548s| 1 | 0 |268989 | - | 65M| 0 |2063 |2490 |6560 |2490 |7895 |7567 | 0 | 0 | 1.289179e+03 | -- | Inf
555.67/555.94 c 550s| 1 | 0 |269367 | - | 65M| 0 |2070 |2490 |6560 |2490 |7905 |7577 | 0 | 0 | 1.289595e+03 | -- | Inf
557.68/557.90 c 552s| 1 | 0 |269822 | - | 63M| 0 |2075 |2490 |6560 |2490 |7916 |7588 | 0 | 0 | 1.289983e+03 | -- | Inf
559.48/559.75 c 554s| 1 | 0 |270382 | - | 62M| 0 |2054 |2490 |6560 |2490 |7927 |7599 | 0 | 0 | 1.291409e+03 | -- | Inf
561.68/561.95 c 556s| 1 | 0 |270810 | - | 61M| 0 |2067 |2490 |6560 |2490 |7806 |7609 | 0 | 0 | 1.291608e+03 | -- | Inf
563.99/564.21 c 558s| 1 | 0 |271225 | - | 60M| 0 |2057 |2490 |6560 |2490 |7814 |7617 | 0 | 0 | 1.292057e+03 | -- | Inf
565.98/566.20 c 560s| 1 | 0 |271402 | - | 60M| 0 |2038 |2490 |6560 |2490 |7822 |7625 | 0 | 0 | 1.292097e+03 | -- | Inf
567.97/568.28 c 562s| 1 | 0 |271590 | - | 59M| 0 |2040 |2490 |6560 |2490 |7827 |7630 | 0 | 0 | 1.292097e+03 | -- | Inf
569.87/570.13 c 564s| 1 | 0 |271751 | - | 59M| 0 |2036 |2490 |6560 |2490 |7829 |7632 | 0 | 0 | 1.292097e+03 | -- | Inf
572.08/572.38 c 566s| 1 | 0 |272036 | - | 59M| 0 |2034 |2490 |6560 |2490 |7831 |7634 | 0 | 0 | 1.292097e+03 | -- | Inf
574.27/574.50 c 568s| 1 | 0 |272157 | - | 58M| 0 |2042 |2490 |6560 |2490 |7761 |7636 | 0 | 0 | 1.292097e+03 | -- | Inf
580.97/581.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
580.97/581.26 c 575s| 1 | 2 |272157 | - | 58M| 0 |2042 |2490 |6560 |2490 |7761 |7636 | 0 | 27 | 1.292097e+03 | -- | Inf
676.04/676.39 c 668s| 10000 | 47 |272157 | 0.0 | 60M| 70 | - |2490 |8943 | 0 | 0 |7636 |8977 | 27 | 1.292138e+03 | -- | Inf
791.97/792.38 c 781s| 20000 | 50 |272157 | 0.0 | 60M| 70 | - |2490 |8933 | 0 | 0 |7636 | 15k| 27 | 1.292138e+03 | -- | Inf
901.82/902.23 c 888s| 30000 | 47 |272157 | 0.0 | 60M| 70 | - |2490 |9858 | 0 | 0 |7636 | 23k| 27 | 1.292138e+03 | -- | Inf
979.30/979.72 c 964s| 40000 | 43 |272157 | 0.0 | 62M| 70 | - |2490 | 16k| 0 | 0 |7636 | 36k| 27 | 1.292138e+03 | -- | Inf
1057.77/1058.23 c 1040s| 50000 | 49 |272157 | 0.0 | 62M| 70 | - |2490 | 18k| 0 | 0 |7636 | 45k| 27 | 1.292138e+03 | -- | Inf
1133.83/1134.36 c 1114s| 60000 | 49 |272157 | 0.0 | 63M| 70 | - |2490 | 21k| 0 | 0 |7636 | 54k| 27 | 1.292138e+03 | -- | Inf
1217.50/1218.08 c 1196s| 70000 | 45 |272157 | 0.0 | 63M| 70 | - |2490 | 21k| 0 | 0 |7636 | 61k| 27 | 1.292138e+03 | -- | Inf
1316.67/1317.22 c 1292s| 80000 | 45 |272157 | 0.0 | 63M| 70 | - |2490 | 21k| 0 | 0 |7636 | 68k| 27 | 1.292138e+03 | -- | Inf
1416.23/1416.90 c 1389s| 90000 | 45 |272157 | 0.0 | 63M| 70 | - |2490 | 21k| 0 | 0 |7636 | 75k| 27 | 1.292138e+03 | -- | Inf
1490.10/1490.70 c 1461s|100000 | 46 |272157 | 0.0 | 63M| 70 | - |2490 | 21k| 0 | 0 |7636 | 81k| 27 | 1.292138e+03 | -- | Inf
1571.76/1572.41 c 1541s|110000 | 44 |272157 | 0.0 | 63M| 70 | - |2490 | 21k| 0 | 0 |7636 | 88k| 27 | 1.292138e+03 | -- | Inf
1628.84/1629.50 c 1596s|120000 | 47 |272157 | 0.0 | 63M| 70 | - |2490 | 21k| 0 | 0 |7636 | 95k| 27 | 1.292138e+03 | -- | Inf
1685.13/1685.84 c 1651s|130000 | 44 |272157 | 0.0 | 63M| 70 | - |2490 | 21k| 0 | 0 |7636 | 102k| 27 | 1.292138e+03 | -- | Inf
1741.50/1742.20 c 1706s|140000 | 45 |272157 | 0.0 | 63M| 70 | - |2490 | 21k| 0 | 0 |7636 | 109k| 27 | 1.292138e+03 | -- | Inf
1800.08/1800.80 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.80 c
1800.08/1800.80 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.80 c Solving Time (sec) : 1763.20
1800.08/1800.80 c Solving Nodes : 147706
1800.08/1800.80 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.08/1800.80 c Dual Bound : +1.29213838464278e+03
1800.08/1800.80 c Gap : infinite
1800.08/1800.80 s UNKNOWN
1800.08/1800.80 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.80 c Solving Time : 1763.20
1800.08/1800.80 c Original Problem :
1800.08/1800.80 c Problem name : HOME/instance-2665434-1276469379.opb
1800.08/1800.80 c Variables : 2678 (2678 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.80 c Constraints : 6689 initial, 6689 maximal
1800.08/1800.80 c Presolved Problem :
1800.08/1800.80 c Problem name : t_HOME/instance-2665434-1276469379.opb
1800.08/1800.80 c Variables : 2490 (2490 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.80 c Constraints : 6560 initial, 21736 maximal
1800.08/1800.80 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.08/1800.80 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.80 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.80 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.80 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.80 c implics : 0.00 0 3 0 0 0 0 0 0
1800.08/1800.80 c probing : 0.43 2 183 0 0 0 0 0 0
1800.08/1800.80 c linear : 0.11 0 0 0 0 0 122 122 0
1800.08/1800.80 c logicor : 0.12 0 0 0 0 0 7 0 0
1800.08/1800.80 c root node : - 0 - - 0 - - - -
1800.08/1800.80 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.08/1800.80 c integral : 0 0 0 1 0 0 0 0 0 2
1800.08/1800.80 c logicor : 6560+ 179 5894853 0 0 98393 58260636 0 0 0
1800.08/1800.80 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.08/1800.80 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.08/1800.80 c integral : 6.59 0.00 0.00 6.59 0.00
1800.08/1800.80 c logicor : 305.97 0.19 305.78 0.00 0.00
1800.08/1800.80 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.80 c Propagators : Time Calls Cutoffs DomReds
1800.08/1800.80 c vbounds : 3.22 2 0 0
1800.08/1800.80 c rootredcost : 2.47 0 0 0
1800.08/1800.80 c pseudoobj : 588.47 5986664 0 0
1800.08/1800.80 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.08/1800.80 c propagation : 77.50 98391 98391 98391 44.4 16565 2.9 -
1800.08/1800.80 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.81 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.81 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.81 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.08/1800.81 c applied globally : - - - 114895 38.4 - - -
1800.08/1800.81 c applied locally : - - - 0 0.0 - - -
1800.08/1800.81 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.08/1800.81 c cut pool : 6.05 178 - - 8225 - (maximal pool size: 35351)
1800.08/1800.81 c redcost : 0.03 179 0 0 0 0
1800.08/1800.81 c impliedbounds : 0.23 179 0 0 1649 0
1800.08/1800.81 c intobj : 0.00 0 0 0 0 0
1800.08/1800.81 c cgmip : 0.00 0 0 0 0 0
1800.08/1800.81 c gomory : 266.13 179 0 0 76766 0
1800.08/1800.81 c strongcg : 6.28 20 0 0 10000 0
1800.08/1800.81 c cmir : 0.70 10 0 0 0 0
1800.08/1800.81 c flowcover : 0.61 10 0 0 0 0
1800.08/1800.81 c clique : 0.34 179 0 0 61 0
1800.08/1800.81 c zerohalf : 0.00 0 0 0 0 0
1800.08/1800.81 c mcf : 0.02 1 0 0 0 0
1800.08/1800.81 c rapidlearning : 0.00 0 0 0 0 0
1800.08/1800.81 c Pricers : Time Calls Vars
1800.08/1800.81 c problem variables: 0.00 0 0
1800.08/1800.81 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.08/1800.81 c relpscost : 6.59 1 0 0 0 0 2
1800.08/1800.81 c pscost : 0.00 0 0 0 0 0 0
1800.08/1800.81 c inference : 63.22 98517 0 0 0 0 197034
1800.08/1800.81 c mostinf : 0.00 0 0 0 0 0 0
1800.08/1800.81 c leastinf : 0.00 0 0 0 0 0 0
1800.08/1800.81 c fullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.81 c allfullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.81 c random : 0.00 0 0 0 0 0 0
1800.08/1800.81 c Primal Heuristics : Time Calls Found
1800.08/1800.81 c LP solutions : 0.00 - 0
1800.08/1800.81 c pseudo solutions : 0.00 - 0
1800.08/1800.81 c oneopt : 0.13 0 0
1800.08/1800.81 c crossover : 0.00 0 0
1800.08/1800.81 c trivial : 0.01 2 0
1800.08/1800.81 c simplerounding : 0.00 0 0
1800.08/1800.81 c zirounding : 0.00 1 0
1800.08/1800.81 c rounding : 0.21 100 0
1800.08/1800.81 c shifting : 2.25 100 0
1800.08/1800.81 c intshifting : 0.00 0 0
1800.08/1800.81 c twoopt : 0.00 0 0
1800.08/1800.81 c fixandinfer : 0.00 0 0
1800.08/1800.81 c feaspump : 0.08 1 0
1800.08/1800.81 c coefdiving : 0.00 0 0
1800.08/1800.81 c pscostdiving : 0.00 0 0
1800.08/1800.81 c fracdiving : 0.00 0 0
1800.08/1800.81 c veclendiving : 0.00 0 0
1800.08/1800.81 c intdiving : 0.00 0 0
1800.08/1800.81 c actconsdiving : 0.00 0 0
1800.08/1800.81 c objpscostdiving : 0.00 0 0
1800.08/1800.81 c rootsoldiving : 0.00 0 0
1800.08/1800.81 c linesearchdiving : 0.00 0 0
1800.08/1800.81 c guideddiving : 0.00 0 0
1800.08/1800.81 c octane : 0.00 0 0
1800.08/1800.81 c rens : 0.00 0 0
1800.08/1800.81 c rins : 0.00 0 0
1800.08/1800.81 c localbranching : 0.00 0 0
1800.08/1800.81 c mutation : 0.00 0 0
1800.08/1800.81 c dins : 0.00 0 0
1800.08/1800.81 c undercover : 0.00 0 0
1800.08/1800.81 c nlp : 0.20 0 0
1800.08/1800.81 c trysol : 0.08 0 0
1800.08/1800.81 c LP : Time Calls Iterations Iter/call Iter/sec
1800.08/1800.81 c primal LP : 0.47 0 0 0.00 0.00
1800.08/1800.81 c dual LP : 281.70 180 272157 1511.98 966.12
1800.08/1800.81 c lex dual LP : 0.00 0 0 0.00 -
1800.08/1800.81 c barrier LP : 0.00 0 0 0.00 -
1800.08/1800.81 c diving/probing LP: 0.06 0 0 0.00 0.00
1800.08/1800.81 c strong branching : 6.58 27 7287 269.89 1107.45
1800.08/1800.81 c (at root node) : - 27 7287 269.89 -
1800.08/1800.81 c conflict analysis: 0.00 0 0 0.00 -
1800.08/1800.81 c B&B Tree :
1800.08/1800.81 c number of runs : 1
1800.08/1800.81 c nodes : 147706
1800.08/1800.81 c nodes (total) : 147706
1800.08/1800.81 c nodes left : 44
1800.08/1800.81 c max depth : 70
1800.08/1800.81 c max depth (total): 70
1800.08/1800.81 c backtracks : 49219 (33.3%)
1800.08/1800.81 c delayed cutoffs : 49287
1800.08/1800.81 c repropagations : 146286 (29083414 domain reductions, 49203 cutoffs)
1800.08/1800.81 c avg switch length: 2.65
1800.08/1800.81 c switching time : 148.63
1800.08/1800.81 c Solution :
1800.08/1800.81 c Solutions found : 0 (0 improvements)
1800.08/1800.81 c Primal Bound : -
1800.08/1800.81 c Dual Bound : +1.29213838464278e+03
1800.08/1800.81 c Gap : infinite
1800.08/1800.81 c Root Dual Bound : +1.29209682085687e+03
1800.08/1800.81 c Root Iterations : 272157
1800.18/1800.97 c Time complete: 1800.25.