0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
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-2703445-1278554995.opb>
0.09/0.12 c original problem has 2678 variables (2678 bin, 0 int, 0 impl, 0 cont) and 6689 constraints
0.09/0.12 c problem read
0.09/0.12 c presolving settings loaded
0.09/0.16 c presolving:
0.19/0.29 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.31 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.33 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.41 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.43 c (round 5) 53 del vars, 177 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6567 upgd conss, 7154 impls, 0 clqs
0.39/0.44 c (round 6) 53 del vars, 179 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6567 upgd conss, 7154 impls, 0 clqs
0.59/0.66 c (round 7) 103 del vars, 179 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6567 upgd conss, 27342 impls, 0 clqs
0.59/0.67 c (round 8) 103 del vars, 229 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6567 upgd conss, 27342 impls, 0 clqs
0.79/0.83 c (round 9) 153 del vars, 229 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6567 upgd conss, 46798 impls, 0 clqs
0.79/0.84 c (round 10) 153 del vars, 279 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6567 upgd conss, 46798 impls, 0 clqs
1.00/1.00 c (0.9s) probing: 548/2678 (20.5%) - 2 fixings, 183 aggregations, 12557 implications, 0 bound changes
1.00/1.00 c (0.9s) probing aborted: 100/100 successive totally useless probings
1.00/1.00 c (round 11) 188 del vars, 279 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6567 upgd conss, 48400 impls, 0 clqs
1.00/1.02 c (round 12) 188 del vars, 314 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6567 upgd conss, 48400 impls, 0 clqs
1.00/1.04 c (0.9s) probing: 558/2678 (20.8%) - 2 fixings, 183 aggregations, 12557 implications, 0 bound changes
1.00/1.04 c (0.9s) probing aborted: 100/100 successive totally useless probings
1.00/1.04 c presolving (13 rounds):
1.00/1.04 c 188 deleted vars, 314 deleted constraints, 0 tightened bounds, 0 added holes, 122 changed sides, 0 changed coefficients
1.00/1.04 c 48400 implications, 0 cliques
1.00/1.04 c presolved problem has 2490 variables (2490 bin, 0 int, 0 impl, 0 cont) and 6375 constraints
1.00/1.04 c 1521 constraints of type <setppc>
1.00/1.04 c 4854 constraints of type <logicor>
1.00/1.04 c transformed objective value is always integral (scale: 1)
1.00/1.04 c Presolving Time: 0.89
1.00/1.04 c - non default parameters ----------------------------------------------------------------------
1.00/1.04 c # SCIP version 1.2.1.3
1.00/1.04 c
1.00/1.04 c # frequency for displaying node information lines
1.00/1.04 c # [type: int, range: [-1,2147483647], default: 100]
1.00/1.04 c display/freq = 10000
1.00/1.04 c
1.00/1.04 c # maximal time in seconds to run
1.00/1.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.00/1.04 c limits/time = 1789.88
1.00/1.04 c
1.00/1.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.00/1.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.00/1.04 c limits/memory = 1620
1.00/1.04 c
1.00/1.04 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.00/1.04 c # [type: int, range: [1,2], default: 1]
1.00/1.04 c timing/clocktype = 2
1.00/1.04 c
1.00/1.04 c # should presolving try to simplify inequalities
1.00/1.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.04 c constraints/linear/simplifyinequalities = TRUE
1.00/1.04 c
1.00/1.04 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.00/1.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.04 c constraints/indicator/addCouplingCons = TRUE
1.00/1.04 c
1.00/1.04 c # should presolving try to simplify knapsacks
1.00/1.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.04 c constraints/knapsack/simplifyinequalities = TRUE
1.00/1.04 c
1.00/1.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.00/1.04 c # [type: int, range: [-1,2147483647], default: -1]
1.00/1.04 c separating/rapidlearning/freq = 0
1.00/1.04 c
1.00/1.04 c -----------------------------------------------------------------------------------------------
1.00/1.04 c start solving
1.00/1.04 c
5.28/5.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.28/5.37 c 5.2s| 1 | 0 | 5128 | - | 13M| 0 |2117 |2490 |6375 |2490 |6373 | 0 | 0 | 0 | 8.022358e+02 | -- | Inf
23.10/23.19 c 23.1s| 1 | 0 | 14971 | - | 19M| 0 |1985 |2490 |7382 |2490 |7043 | 670 | 0 | 0 | 8.298299e+02 | -- | Inf
25.48/25.52 c 25.4s| 1 | 0 | 16486 | - | 22M| 0 |2036 |2490 |7382 |2490 |7089 | 716 | 0 | 0 | 8.354240e+02 | -- | Inf
28.68/28.73 c 28.6s| 1 | 0 | 18583 | - | 24M| 0 |1725 |2490 |7382 |2490 |7128 | 755 | 0 | 0 | 8.396113e+02 | -- | Inf
32.09/32.15 c 32.0s| 1 | 0 | 20479 | - | 27M| 0 |1674 |2490 |7382 |2490 |7174 | 801 | 0 | 0 | 8.443068e+02 | -- | Inf
35.67/35.74 c 35.6s| 1 | 0 | 22277 | - | 30M| 0 |1701 |2490 |7382 |2490 |7208 | 835 | 0 | 0 | 8.470433e+02 | -- | Inf
39.77/39.88 c 39.8s| 1 | 0 | 24125 | - | 33M| 0 |1725 |2490 |7382 |2490 |7242 | 869 | 0 | 0 | 8.507134e+02 | -- | Inf
42.37/42.48 c 42.4s| 1 | 0 | 25140 | - | 36M| 0 |1691 |2490 |7382 |2490 |7279 | 906 | 0 | 0 | 8.523794e+02 | -- | Inf
47.27/47.39 c 47.3s| 1 | 0 | 27367 | - | 40M| 0 |1725 |2490 |7382 |2490 |7311 | 938 | 0 | 0 | 8.531973e+02 | -- | Inf
55.56/55.67 c 55.6s| 1 | 0 | 30578 | - | 43M| 0 |1792 |2490 |7382 |2490 |7354 | 981 | 0 | 0 | 8.563156e+02 | -- | Inf
62.07/62.10 c 62.0s| 1 | 0 | 33025 | - | 45M| 0 |1810 |2490 |7382 |2490 |7386 |1013 | 0 | 0 | 8.596992e+02 | -- | Inf
71.07/71.13 c 71.0s| 1 | 0 | 36117 | - | 47M| 0 |1839 |2490 |7382 |2490 |7414 |1041 | 0 | 0 | 8.639984e+02 | -- | Inf
79.86/79.92 c 79.8s| 1 | 0 | 38460 | - | 49M| 0 |1826 |2490 |7382 |2490 |7452 |1079 | 0 | 0 | 8.744603e+02 | -- | Inf
88.15/88.20 c 88.1s| 1 | 0 | 41503 | - | 54M| 0 |1823 |2490 |7382 |2490 |7480 |1107 | 0 | 0 | 8.763413e+02 | -- | Inf
96.25/96.33 c 96.2s| 1 | 0 | 43805 | - | 58M| 0 |1992 |2490 |7382 |2490 |7511 |1138 | 0 | 0 | 8.812007e+02 | -- | Inf
104.65/104.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
104.65/104.77 c 105s| 1 | 0 | 46623 | - | 61M| 0 |1787 |2490 |7382 |2490 |7559 |1186 | 0 | 0 | 8.857321e+02 | -- | Inf
110.75/110.83 c 111s| 1 | 0 | 49022 | - | 66M| 0 |1990 |2490 |7382 |2490 |6870 |1223 | 0 | 0 | 8.890417e+02 | -- | Inf
116.94/117.00 c 117s| 1 | 0 | 51106 | - | 72M| 0 |1772 |2490 |7382 |2490 |6921 |1274 | 0 | 0 | 8.983253e+02 | -- | Inf
124.05/124.12 c 124s| 1 | 0 | 53980 | - | 76M| 0 |1804 |2490 |7382 |2490 |6966 |1319 | 0 | 0 | 9.031226e+02 | -- | Inf
131.14/131.22 c 131s| 1 | 0 | 56772 | - | 80M| 0 |1836 |2490 |7382 |2490 |7007 |1360 | 0 | 0 | 9.058456e+02 | -- | Inf
139.45/139.60 c 139s| 1 | 0 | 59334 | - | 81M| 0 |1997 |2490 |7382 |2490 |7068 |1421 | 0 | 0 | 9.103453e+02 | -- | Inf
147.35/147.40 c 147s| 1 | 0 | 62415 | - | 82M| 0 |1967 |2490 |7382 |2490 |7108 |1461 | 0 | 0 | 9.150540e+02 | -- | Inf
155.63/155.74 c 156s| 1 | 0 | 65534 | - | 83M| 0 |1758 |2490 |7382 |2490 |7022 |1511 | 0 | 0 | 9.213197e+02 | -- | Inf
160.23/160.36 c 160s| 1 | 0 | 67491 | - | 85M| 0 |1825 |2490 |7382 |2490 |7047 |1536 | 0 | 0 | 9.241304e+02 | -- | Inf
168.14/168.23 c 168s| 1 | 0 | 71163 | - | 86M| 0 |1802 |2490 |7382 |2490 |7097 |1586 | 0 | 0 | 9.267296e+02 | -- | Inf
173.64/173.80 c 174s| 1 | 0 | 73970 | - | 88M| 0 |1843 |2490 |7382 |2490 |7142 |1631 | 0 | 0 | 9.317238e+02 | -- | Inf
181.53/181.65 c 182s| 1 | 0 | 77458 | - | 89M| 0 |1785 |2490 |7382 |2490 |7192 |1681 | 0 | 0 | 9.344575e+02 | -- | Inf
189.93/190.04 c 190s| 1 | 0 | 81196 | - | 90M| 0 |1955 |2490 |7382 |2490 |7247 |1736 | 0 | 0 | 9.398053e+02 | -- | Inf
196.43/196.50 c 196s| 1 | 0 | 84055 | - | 93M| 0 |1886 |2490 |7382 |2490 |7106 |1768 | 0 | 0 | 9.438265e+02 | -- | Inf
204.72/204.87 c 205s| 1 | 0 | 87547 | - | 94M| 0 |1812 |2490 |7382 |2490 |7182 |1844 | 0 | 0 | 9.587722e+02 | -- | Inf
211.32/211.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
211.32/211.40 c 211s| 1 | 0 | 90571 | - | 97M| 0 |1867 |2490 |7382 |2490 |7231 |1893 | 0 | 0 | 9.663691e+02 | -- | Inf
220.42/220.57 c 220s| 1 | 0 | 95027 | - | 99M| 0 |1979 |2490 |7382 |2490 |7269 |1931 | 0 | 0 | 9.705763e+02 | -- | Inf
226.82/226.95 c 227s| 1 | 0 | 98171 | - | 101M| 0 |1944 |2490 |7382 |2490 |7307 |1969 | 0 | 0 | 9.735669e+02 | -- | Inf
232.72/232.84 c 233s| 1 | 0 |100705 | - | 103M| 0 |1990 |2490 |7382 |2490 |7361 |2023 | 0 | 0 | 9.772788e+02 | -- | Inf
242.72/242.83 c 243s| 1 | 0 |104995 | - | 105M| 0 |2013 |2490 |7382 |2490 |7204 |2058 | 0 | 0 | 9.801717e+02 | -- | Inf
248.52/248.62 c 248s| 1 | 0 |107583 | - | 107M| 0 |1779 |2490 |7382 |2490 |7251 |2105 | 0 | 0 | 9.837897e+02 | -- | Inf
253.61/253.76 c 254s| 1 | 0 |109767 | - | 108M| 0 |1831 |2490 |7382 |2490 |7305 |2159 | 0 | 0 | 9.867202e+02 | -- | Inf
258.90/259.08 c 259s| 1 | 0 |112098 | - | 109M| 0 |1807 |2490 |7382 |2490 |7351 |2205 | 0 | 0 | 9.881088e+02 | -- | Inf
269.41/269.52 c 269s| 1 | 0 |116417 | - | 111M| 0 |1847 |2490 |7382 |2490 |7396 |2250 | 0 | 0 | 9.905585e+02 | -- | Inf
279.50/279.62 c 280s| 1 | 0 |120216 | - | 113M| 0 |1922 |2490 |7382 |2490 |7443 |2297 | 0 | 0 | 9.963730e+02 | -- | Inf
289.40/289.59 c 289s| 1 | 0 |123839 | - | 114M| 0 |1863 |2490 |7382 |2490 |7266 |2369 | 0 | 0 | 1.006980e+03 | -- | Inf
296.69/296.83 c 297s| 1 | 0 |126743 | - | 115M| 0 |1894 |2490 |7382 |2490 |7324 |2427 | 0 | 0 | 1.012265e+03 | -- | Inf
303.50/303.67 c 304s| 1 | 0 |129262 | - | 116M| 0 |2029 |2490 |7382 |2490 |7368 |2471 | 0 | 0 | 1.013909e+03 | -- | Inf
313.60/313.75 c 314s| 1 | 0 |133011 | - | 116M| 0 |1909 |2490 |7382 |2490 |7431 |2534 | 0 | 0 | 1.022092e+03 | -- | Inf
323.30/323.48 c 323s| 1 | 0 |137102 | - | 118M| 0 |2015 |2490 |7382 |2490 |7481 |2584 | 0 | 0 | 1.022929e+03 | -- | Inf
332.88/333.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
332.88/333.04 c 333s| 1 | 0 |140553 | - | 119M| 0 |1956 |2490 |7382 |2490 |7538 |2641 | 0 | 0 | 1.036897e+03 | -- | Inf
340.49/340.69 c 341s| 1 | 0 |143038 | - | 120M| 0 |2009 |2490 |7382 |2490 |7413 |2706 | 0 | 0 | 1.046546e+03 | -- | Inf
345.29/345.49 c 345s| 1 | 0 |145056 | - | 121M| 0 |2011 |2490 |7382 |2490 |7450 |2743 | 0 | 0 | 1.048884e+03 | -- | Inf
352.68/352.84 c 353s| 1 | 0 |148047 | - | 122M| 0 |1968 |2490 |7382 |2490 |7493 |2786 | 0 | 0 | 1.054123e+03 | -- | Inf
357.98/358.11 c 358s| 1 | 0 |150785 | - | 123M| 0 |2009 |2490 |7382 |2490 |7533 |2826 | 0 | 0 | 1.055823e+03 | -- | Inf
364.38/364.51 c 364s| 1 | 0 |153006 | - | 124M| 0 |1985 |2490 |7382 |2490 |7602 |2895 | 0 | 0 | 1.065463e+03 | -- | Inf
370.78/370.93 c 371s| 1 | 0 |156050 | - | 125M| 0 |1949 |2490 |7382 |2490 |7646 |2939 | 0 | 0 | 1.067698e+03 | -- | Inf
376.28/376.41 c 376s| 1 | 0 |158557 | - | 127M| 0 |2044 |2490 |7382 |2490 |7416 |2979 | 0 | 0 | 1.068970e+03 | -- | Inf
380.88/381.03 c 381s| 1 | 0 |160360 | - | 129M| 0 |1986 |2490 |7382 |2490 |7450 |3013 | 0 | 0 | 1.070051e+03 | -- | Inf
385.98/386.17 c 386s| 1 | 0 |162832 | - | 131M| 0 |2041 |2490 |7382 |2490 |7489 |3052 | 0 | 0 | 1.071205e+03 | -- | Inf
390.97/391.16 c 391s| 1 | 0 |164930 | - | 133M| 0 |2059 |2490 |7382 |2490 |7525 |3088 | 0 | 0 | 1.072420e+03 | -- | Inf
402.87/403.04 c 403s| 1 | 0 |169022 | - | 133M| 0 |2066 |2490 |7382 |2490 |7591 |3154 | 0 | 0 | 1.082072e+03 | -- | Inf
409.86/410.05 c 410s| 1 | 0 |171823 | - | 134M| 0 |2017 |2490 |7382 |2490 |7657 |3220 | 0 | 0 | 1.088239e+03 | -- | Inf
415.27/415.40 c 415s| 1 | 0 |174380 | - | 135M| 0 |2023 |2490 |7382 |2490 |7409 |3270 | 0 | 0 | 1.091168e+03 | -- | Inf
420.36/420.52 c 420s| 1 | 0 |176608 | - | 137M| 0 |2056 |2490 |7382 |2490 |7454 |3315 | 0 | 0 | 1.092645e+03 | -- | Inf
429.57/429.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
429.57/429.70 c 430s| 1 | 0 |180307 | - | 137M| 0 |1984 |2490 |7382 |2490 |7531 |3392 | 0 | 0 | 1.105010e+03 | -- | Inf
432.56/432.79 c 433s| 1 | 0 |181883 | - | 139M| 0 |1918 |2490 |7382 |2490 |7582 |3443 | 0 | 0 | 1.106097e+03 | -- | Inf
437.06/437.28 c 437s| 1 | 0 |184006 | - | 141M| 0 |1838 |2490 |7382 |2490 |7618 |3479 | 0 | 0 | 1.107801e+03 | -- | Inf
441.16/441.38 c 441s| 1 | 0 |185942 | - | 144M| 0 |1907 |2490 |7382 |2490 |7656 |3517 | 0 | 0 | 1.111027e+03 | -- | Inf
447.96/448.10 c 448s| 1 | 0 |188992 | - | 146M| 0 |1987 |2490 |7382 |2490 |7510 |3551 | 0 | 0 | 1.111608e+03 | -- | Inf
459.96/460.14 c 460s| 1 | 0 |194017 | - | 148M| 0 |2104 |2490 |7382 |2490 |7559 |3600 | 0 | 0 | 1.113065e+03 | -- | Inf
469.56/469.72 c 470s| 1 | 0 |197672 | - | 148M| 0 |2022 |2490 |7382 |2490 |7645 |3686 | 0 | 0 | 1.123533e+03 | -- | Inf
476.95/477.13 c 477s| 1 | 0 |201037 | - | 150M| 0 |2025 |2490 |7382 |2490 |7682 |3723 | 0 | 0 | 1.124792e+03 | -- | Inf
487.05/487.28 c 487s| 1 | 0 |205059 | - | 150M| 0 |2042 |2490 |7382 |2490 |7759 |3800 | 0 | 0 | 1.133864e+03 | -- | Inf
492.45/492.63 c 493s| 1 | 0 |207676 | - | 152M| 0 |2086 |2490 |7382 |2490 |7819 |3860 | 0 | 0 | 1.137771e+03 | -- | Inf
498.94/499.13 c 499s| 1 | 0 |210540 | - | 154M| 0 |2095 |2490 |7382 |2490 |7565 |3892 | 0 | 0 | 1.139294e+03 | -- | Inf
505.95/506.18 c 506s| 1 | 0 |213942 | - | 155M| 0 |2073 |2490 |7382 |2490 |7612 |3939 | 0 | 0 | 1.141728e+03 | -- | Inf
518.54/518.79 c 519s| 1 | 0 |219120 | - | 155M| 0 |1958 |2490 |7382 |2490 |7687 |4014 | 0 | 0 | 1.149729e+03 | -- | Inf
525.23/525.41 c 525s| 1 | 0 |222295 | - | 156M| 0 |2052 |2490 |7382 |2490 |7726 |4053 | 0 | 0 | 1.152816e+03 | -- | Inf
533.35/533.53 c 533s| 1 | 0 |226248 | - | 158M| 0 |2106 |2490 |7382 |2490 |7753 |4080 | 0 | 0 | 1.154753e+03 | -- | Inf
543.03/543.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
543.03/543.23 c 543s| 1 | 0 |230252 | - | 159M| 0 |2043 |2490 |7382 |2490 |7803 |4130 | 0 | 0 | 1.161260e+03 | -- | Inf
548.64/548.83 c 549s| 1 | 0 |232894 | - | 159M| 0 |2055 |2490 |7382 |2490 |7548 |4170 | 0 | 0 | 1.163192e+03 | -- | Inf
553.72/553.98 c 554s| 1 | 0 |235636 | - | 160M| 0 |2063 |2490 |7382 |2490 |7586 |4208 | 0 | 0 | 1.163985e+03 | -- | Inf
561.12/561.33 c 561s| 1 | 0 |239103 | - | 162M| 0 |2091 |2490 |7382 |2490 |7624 |4246 | 0 | 0 | 1.164914e+03 | -- | Inf
567.02/567.24 c 567s| 1 | 0 |241609 | - | 163M| 0 |2176 |2490 |7382 |2490 |7661 |4283 | 0 | 0 | 1.165791e+03 | -- | Inf
575.22/575.42 c 575s| 1 | 0 |244133 | - | 163M| 0 |2200 |2490 |7382 |2490 |7712 |4334 | 0 | 0 | 1.167909e+03 | -- | Inf
584.02/584.23 c 584s| 1 | 0 |247218 | - | 164M| 0 |2077 |2490 |7382 |2490 |7757 |4379 | 0 | 0 | 1.173132e+03 | -- | Inf
591.11/591.39 c 591s| 1 | 0 |250101 | - | 165M| 0 |2098 |2490 |7382 |2490 |7554 |4419 | 0 | 0 | 1.175616e+03 | -- | Inf
598.91/599.18 c 599s| 1 | 0 |253370 | - | 165M| 0 |2122 |2490 |7382 |2490 |7594 |4459 | 0 | 0 | 1.181432e+03 | -- | Inf
603.11/603.37 c 603s| 1 | 0 |255305 | - | 166M| 0 |2135 |2490 |7382 |2490 |7635 |4500 | 0 | 0 | 1.182403e+03 | -- | Inf
611.42/611.69 c 612s| 1 | 0 |258406 | - | 167M| 0 |1992 |2490 |7382 |2490 |7692 |4557 | 0 | 0 | 1.185435e+03 | -- | Inf
616.21/616.40 c 616s| 1 | 0 |260416 | - | 169M| 0 |2127 |2490 |7382 |2490 |7727 |4592 | 0 | 0 | 1.186269e+03 | -- | Inf
622.70/622.99 c 623s| 1 | 0 |263172 | - | 172M| 0 |2099 |2490 |7382 |2490 |7755 |4620 | 0 | 0 | 1.187172e+03 | -- | Inf
631.70/631.98 c 632s| 1 | 0 |267700 | - | 174M| 0 |2193 |2490 |7382 |2490 |7584 |4658 | 0 | 0 | 1.188545e+03 | -- | Inf
639.70/639.99 c 640s| 1 | 0 |271093 | - | 175M| 0 |2110 |2490 |7382 |2490 |7608 |4682 | 0 | 0 | 1.190278e+03 | -- | Inf
647.20/647.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
647.20/647.46 c 647s| 1 | 0 |274044 | - | 176M| 0 |2070 |2490 |7382 |2490 |7662 |4736 | 0 | 0 | 1.195496e+03 | -- | Inf
651.40/651.61 c 651s| 1 | 0 |276358 | - | 177M| 0 |2015 |2490 |7382 |2490 |7700 |4774 | 0 | 0 | 1.197402e+03 | -- | Inf
657.39/657.67 c 658s| 1 | 0 |279086 | - | 178M| 0 |2066 |2490 |7382 |2490 |7740 |4814 | 0 | 0 | 1.198391e+03 | -- | Inf
662.29/662.53 c 662s| 1 | 0 |281314 | - | 179M| 0 |2122 |2490 |7382 |2490 |7764 |4838 | 0 | 0 | 1.199762e+03 | -- | Inf
668.60/668.89 c 669s| 1 | 0 |283679 | - | 179M| 0 |2015 |2490 |7382 |2490 |7577 |4873 | 0 | 0 | 1.200988e+03 | -- | Inf
674.39/674.60 c 674s| 1 | 0 |285938 | - | 180M| 0 |2044 |2490 |7382 |2490 |7608 |4904 | 0 | 0 | 1.202658e+03 | -- | Inf
681.98/682.21 c 682s| 1 | 0 |288993 | - | 180M| 0 |2037 |2490 |7382 |2490 |7653 |4949 | 0 | 0 | 1.206159e+03 | -- | Inf
687.39/687.60 c 687s| 1 | 0 |291339 | - | 181M| 0 |2046 |2490 |7382 |2490 |7687 |4983 | 0 | 0 | 1.208643e+03 | -- | Inf
692.58/692.88 c 693s| 1 | 0 |293556 | - | 182M| 0 |2108 |2490 |7382 |2490 |7717 |5013 | 0 | 0 | 1.209277e+03 | -- | Inf
697.68/697.91 c 698s| 1 | 0 |295386 | - | 182M| 0 |2072 |2490 |7382 |2490 |7750 |5046 | 0 | 0 | 1.210841e+03 | -- | Inf
709.68/709.92 c 710s| 1 | 0 |300474 | - | 182M| 0 |2160 |2490 |7382 |2490 |7564 |5079 | 0 | 0 | 1.212100e+03 | -- | Inf
716.08/716.37 c 716s| 1 | 0 |302893 | - | 183M| 0 |2120 |2490 |7382 |2490 |7587 |5102 | 0 | 0 | 1.213121e+03 | -- | Inf
722.39/722.66 c 723s| 1 | 0 |304674 | - | 180M| 0 |2137 |2490 |7382 |2490 |7612 |5127 | 0 | 0 | 1.214365e+03 | -- | Inf
727.77/728.06 c 728s| 1 | 0 |306562 | - | 178M| 0 |1996 |2490 |7382 |2490 |7621 |5136 | 0 | 0 | 1.215243e+03 | -- | Inf
732.97/733.29 c 733s| 1 | 0 |308998 | - | 176M| 0 |2064 |2490 |7382 |2490 |7643 |5158 | 0 | 0 | 1.217110e+03 | -- | Inf
737.06/737.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
737.06/737.36 c 737s| 1 | 0 |311272 | - | 175M| 0 |1957 |2490 |7382 |2490 |7671 |5186 | 0 | 0 | 1.218025e+03 | -- | Inf
747.27/747.57 c 747s| 1 | 0 |316011 | - | 172M| 0 |2141 |2490 |7382 |2490 |7525 |5212 | 0 | 0 | 1.218439e+03 | -- | Inf
754.66/754.93 c 755s| 1 | 0 |319797 | - | 171M| 0 |2111 |2490 |7382 |2490 |7552 |5239 | 0 | 0 | 1.220278e+03 | -- | Inf
758.56/758.86 c 759s| 1 | 0 |321342 | - | 168M| 0 |2132 |2490 |7382 |2490 |7575 |5262 | 0 | 0 | 1.221466e+03 | -- | Inf
763.17/763.48 c 763s| 1 | 0 |322826 | - | 165M| 0 |2080 |2490 |7382 |2490 |7590 |5277 | 0 | 0 | 1.221649e+03 | -- | Inf
769.16/769.49 c 769s| 1 | 0 |325986 | - | 163M| 0 |2110 |2490 |7382 |2490 |7614 |5301 | 0 | 0 | 1.222449e+03 | -- | Inf
774.36/774.65 c 775s| 1 | 0 |328862 | - | 162M| 0 |2163 |2490 |7382 |2490 |7646 |5333 | 0 | 0 | 1.223129e+03 | -- | Inf
783.16/783.47 c 783s| 1 | 0 |331948 | - | 160M| 0 |2148 |2490 |7382 |2490 |7452 |5343 | 0 | 0 | 1.223426e+03 | -- | Inf
792.96/793.27 c 793s| 1 | 0 |336047 | - | 158M| 0 |2138 |2490 |7382 |2490 |7479 |5370 | 0 | 0 | 1.224048e+03 | -- | Inf
798.15/798.48 c 798s| 1 | 0 |338713 | - | 154M| 0 |2115 |2490 |7382 |2490 |7508 |5399 | 0 | 0 | 1.225539e+03 | -- | Inf
805.35/805.67 c 806s| 1 | 0 |341436 | - | 150M| 0 |2098 |2490 |7382 |2490 |7541 |5432 | 0 | 0 | 1.226720e+03 | -- | Inf
813.95/814.22 c 814s| 1 | 0 |345402 | - | 148M| 0 |2161 |2490 |7382 |2490 |7580 |5471 | 0 | 0 | 1.228683e+03 | -- | Inf
820.14/820.43 c 820s| 1 | 0 |347774 | - | 143M| 0 |2123 |2490 |7382 |2490 |7608 |5499 | 0 | 0 | 1.230358e+03 | -- | Inf
825.85/826.12 c 826s| 1 | 0 |350062 | - | 137M| 0 |2108 |2490 |7382 |2490 |7531 |5530 | 0 | 0 | 1.231287e+03 | -- | Inf
831.65/831.95 c 832s| 1 | 0 |352235 | - | 134M| 0 |1998 |2490 |7382 |2490 |7558 |5557 | 0 | 0 | 1.233763e+03 | -- | Inf
837.24/837.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
837.24/837.59 c 837s| 1 | 0 |354340 | - | 131M| 0 |2127 |2490 |7382 |2490 |7582 |5581 | 0 | 0 | 1.234839e+03 | -- | Inf
841.44/841.79 c 842s| 1 | 0 |355377 | - | 130M| 0 |2119 |2490 |7382 |2490 |7607 |5606 | 0 | 0 | 1.235479e+03 | -- | Inf
845.65/845.92 c 846s| 1 | 0 |356156 | - | 129M| 0 |2116 |2490 |7382 |2490 |7614 |5613 | 0 | 0 | 1.235570e+03 | -- | Inf
849.84/850.18 c 850s| 1 | 0 |356999 | - | 128M| 0 |2141 |2490 |7382 |2490 |7621 |5620 | 0 | 0 | 1.235607e+03 | -- | Inf
852.94/853.20 c 853s| 1 | 0 |357123 | - | 126M| 0 |2143 |2490 |7382 |2490 |7513 |5625 | 0 | 0 | 1.235607e+03 | -- | Inf
857.74/858.01 c 858s| 1 | 0 |358410 | - | 124M| 0 |2122 |2490 |7382 |2490 |7516 |5628 | 0 | 0 | 1.235820e+03 | -- | Inf
862.54/862.82 c 863s| 1 | 0 |360489 | - | 124M| 0 |1976 |2490 |7382 |2490 |7539 |5651 | 0 | 0 | 1.236739e+03 | -- | Inf
868.23/868.50 c 868s| 1 | 0 |363646 | - | 124M| 0 |2137 |2490 |7382 |2490 |7564 |5676 | 0 | 0 | 1.237737e+03 | -- | Inf
870.84/871.17 c 871s| 1 | 0 |364889 | - | 124M| 0 |2122 |2490 |7382 |2490 |7590 |5702 | 0 | 0 | 1.238175e+03 | -- | Inf
876.73/877.01 c 877s| 1 | 0 |367021 | - | 121M| 0 |2114 |2490 |7382 |2490 |7625 |5737 | 0 | 0 | 1.239850e+03 | -- | Inf
882.73/883.00 c 883s| 1 | 0 |369288 | - | 120M| 0 |2115 |2490 |7382 |2490 |7491 |5769 | 0 | 0 | 1.241603e+03 | -- | Inf
887.12/887.46 c 887s| 1 | 0 |371210 | - | 118M| 0 |1938 |2490 |7382 |2490 |7517 |5795 | 0 | 0 | 1.242747e+03 | -- | Inf
891.03/891.31 c 891s| 1 | 0 |373025 | - | 117M| 0 |2025 |2490 |7382 |2490 |7542 |5820 | 0 | 0 | 1.243297e+03 | -- | Inf
894.42/894.72 c 895s| 1 | 0 |374320 | - | 116M| 0 |2007 |2490 |7382 |2490 |7559 |5837 | 0 | 0 | 1.243603e+03 | -- | Inf
900.63/900.93 c 901s| 1 | 0 |376870 | - | 114M| 0 |2071 |2490 |7382 |2490 |7595 |5873 | 0 | 0 | 1.246632e+03 | -- | Inf
904.42/904.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
904.42/904.73 c 905s| 1 | 0 |378409 | - | 113M| 0 |2056 |2490 |7382 |2490 |7623 |5901 | 0 | 0 | 1.247502e+03 | -- | Inf
907.42/907.71 c 908s| 1 | 0 |379461 | - | 112M| 0 |2118 |2490 |7382 |2490 |7578 |5935 | 0 | 0 | 1.247818e+03 | -- | Inf
914.72/915.01 c 915s| 1 | 0 |381999 | - | 111M| 0 |2069 |2490 |7382 |2490 |7634 |5991 | 0 | 0 | 1.250113e+03 | -- | Inf
918.42/918.71 c 919s| 1 | 0 |383360 | - | 110M| 0 |2032 |2490 |7382 |2490 |7665 |6022 | 0 | 0 | 1.251525e+03 | -- | Inf
924.21/924.52 c 924s| 1 | 0 |386811 | - | 109M| 0 |2123 |2490 |7382 |2490 |7686 |6043 | 0 | 0 | 1.252368e+03 | -- | Inf
928.61/928.95 c 929s| 1 | 0 |388183 | - | 108M| 0 |2077 |2490 |7382 |2490 |7704 |6061 | 0 | 0 | 1.253253e+03 | -- | Inf
934.62/934.96 c 935s| 1 | 0 |390795 | - | 108M| 0 |2171 |2490 |7382 |2490 |7723 |6080 | 0 | 0 | 1.254987e+03 | -- | Inf
937.71/938.05 c 938s| 1 | 0 |392363 | - | 107M| 0 |2148 |2490 |7382 |2490 |7604 |6111 | 0 | 0 | 1.255648e+03 | -- | Inf
941.71/942.01 c 942s| 1 | 0 |394080 | - | 107M| 0 |2141 |2490 |7382 |2490 |7626 |6133 | 0 | 0 | 1.256509e+03 | -- | Inf
948.11/948.49 c 948s| 1 | 0 |396854 | - | 107M| 0 |2150 |2490 |7382 |2490 |7658 |6165 | 0 | 0 | 1.257250e+03 | -- | Inf
954.01/954.36 c 954s| 1 | 0 |399239 | - | 105M| 0 |2121 |2490 |7382 |2490 |7682 |6189 | 0 | 0 | 1.257727e+03 | -- | Inf
958.11/958.41 c 958s| 1 | 0 |400919 | - | 105M| 0 |2144 |2490 |7382 |2490 |7697 |6204 | 0 | 0 | 1.258345e+03 | -- | Inf
963.00/963.36 c 963s| 1 | 0 |402338 | - | 104M| 0 |2143 |2490 |7382 |2490 |7708 |6215 | 0 | 0 | 1.258552e+03 | -- | Inf
968.72/969.03 c 969s| 1 | 0 |404217 | - | 103M| 0 |2127 |2490 |7382 |2490 |7536 |6233 | 0 | 0 | 1.258737e+03 | -- | Inf
973.50/973.85 c 974s| 1 | 0 |405735 | - | 102M| 0 |2113 |2490 |7382 |2490 |7544 |6241 | 0 | 0 | 1.258842e+03 | -- | Inf
978.50/978.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
978.50/978.87 c 979s| 1 | 0 |407521 | - | 101M| 0 |2163 |2490 |7382 |2490 |7565 |6262 | 0 | 0 | 1.259474e+03 | -- | Inf
983.60/983.94 c 984s| 1 | 0 |409252 | - | 100M| 0 |2208 |2490 |7382 |2490 |7581 |6278 | 0 | 0 | 1.259666e+03 | -- | Inf
988.61/988.96 c 989s| 1 | 0 |411178 | - | 100M| 0 |2096 |2490 |7382 |2490 |7598 |6295 | 0 | 0 | 1.260564e+03 | -- | Inf
992.40/992.71 c 993s| 1 | 0 |412738 | - | 98M| 0 |2185 |2490 |7382 |2490 |7627 |6324 | 0 | 0 | 1.261346e+03 | -- | Inf
996.10/996.49 c 996s| 1 | 0 |414536 | - | 96M| 0 |2183 |2490 |7382 |2490 |7519 |6340 | 0 | 0 | 1.261923e+03 | -- | Inf
998.79/999.19 c 999s| 1 | 0 |415826 | - | 95M| 0 |2184 |2490 |7382 |2490 |7533 |6354 | 0 | 0 | 1.262502e+03 | -- | Inf
1002.29/1002.68 c 1003s| 1 | 0 |417556 | - | 95M| 0 |2163 |2490 |7382 |2490 |7553 |6374 | 0 | 0 | 1.262964e+03 | -- | Inf
1006.60/1006.91 c 1007s| 1 | 0 |418980 | - | 94M| 0 |2160 |2490 |7382 |2490 |7567 |6388 | 0 | 0 | 1.263571e+03 | -- | Inf
1011.49/1011.87 c 1012s| 1 | 0 |421146 | - | 94M| 0 |2173 |2490 |7382 |2490 |7582 |6403 | 0 | 0 | 1.264509e+03 | -- | Inf
1015.99/1016.40 c 1016s| 1 | 0 |422533 | - | 94M| 0 |2139 |2490 |7382 |2490 |7593 |6414 | 0 | 0 | 1.264592e+03 | -- | Inf
1020.19/1020.55 c 1020s| 1 | 0 |424066 | - | 92M| 0 |2141 |2490 |7382 |2490 |7537 |6425 | 0 | 0 | 1.264767e+03 | -- | Inf
1024.80/1025.11 c 1025s| 1 | 0 |425942 | - | 91M| 0 |2136 |2490 |7382 |2490 |7555 |6443 | 0 | 0 | 1.265201e+03 | -- | Inf
1028.19/1028.57 c 1028s| 1 | 0 |427625 | - | 91M| 0 |2122 |2490 |7382 |2490 |7574 |6462 | 0 | 0 | 1.265756e+03 | -- | Inf
1032.49/1032.87 c 1033s| 1 | 0 |429352 | - | 90M| 0 |2164 |2490 |7382 |2490 |7583 |6471 | 0 | 0 | 1.266118e+03 | -- | Inf
1038.99/1039.31 c 1039s| 1 | 0 |431671 | - | 88M| 0 |2202 |2490 |7382 |2490 |7589 |6477 | 0 | 0 | 1.266645e+03 | -- | Inf
1045.88/1046.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1045.88/1046.26 c 1046s| 1 | 0 |434450 | - | 85M| 0 |2093 |2490 |7382 |2490 |7606 |6494 | 0 | 0 | 1.267469e+03 | -- | Inf
1052.07/1052.44 c 1052s| 1 | 0 |436597 | - | 84M| 0 |2076 |2490 |7382 |2490 |7522 |6506 | 0 | 0 | 1.267567e+03 | -- | Inf
1055.97/1056.33 c 1056s| 1 | 0 |437645 | - | 82M| 0 |2068 |2490 |7382 |2490 |7540 |6524 | 0 | 0 | 1.268397e+03 | -- | Inf
1059.08/1059.47 c 1059s| 1 | 0 |438175 | - | 82M| 0 |2067 |2490 |7382 |2490 |7552 |6536 | 0 | 0 | 1.268731e+03 | -- | Inf
1062.38/1062.77 c 1063s| 1 | 0 |438959 | - | 81M| 0 |2065 |2490 |7382 |2490 |7555 |6539 | 0 | 0 | 1.268895e+03 | -- | Inf
1065.78/1066.15 c 1066s| 1 | 0 |439880 | - | 81M| 0 |2045 |2490 |7382 |2490 |7589 |6573 | 0 | 0 | 1.269543e+03 | -- | Inf
1069.17/1069.58 c 1069s| 1 | 0 |440306 | - | 79M| 0 |2042 |2490 |7382 |2490 |7603 |6587 | 0 | 0 | 1.270575e+03 | -- | Inf
1072.57/1072.99 c 1073s| 1 | 0 |440877 | - | 78M| 0 |2033 |2490 |7382 |2490 |7521 |6596 | 0 | 0 | 1.271713e+03 | -- | Inf
1075.48/1075.84 c 1076s| 1 | 0 |441487 | - | 76M| 0 |2039 |2490 |7382 |2490 |7531 |6606 | 0 | 0 | 1.271779e+03 | -- | Inf
1081.27/1081.65 c 1082s| 1 | 0 |443928 | - | 76M| 0 |2095 |2490 |7382 |2490 |7556 |6631 | 0 | 0 | 1.272657e+03 | -- | Inf
1086.87/1087.29 c 1087s| 1 | 0 |447029 | - | 76M| 0 |2065 |2490 |7382 |2490 |7585 |6660 | 0 | 0 | 1.273559e+03 | -- | Inf
1090.77/1091.14 c 1091s| 1 | 0 |448434 | - | 74M| 0 |2172 |2490 |7382 |2490 |7607 |6682 | 0 | 0 | 1.273661e+03 | -- | Inf
1098.26/1098.62 c 1098s| 1 | 0 |451533 | - | 74M| 0 |2180 |2490 |7382 |2490 |7617 |6692 | 0 | 0 | 1.274020e+03 | -- | Inf
1102.47/1102.83 c 1103s| 1 | 0 |453323 | - | 73M| 0 |2159 |2490 |7382 |2490 |7554 |6711 | 0 | 0 | 1.274622e+03 | -- | Inf
1106.17/1106.55 c 1106s| 1 | 0 |454906 | - | 73M| 0 |2183 |2490 |7382 |2490 |7573 |6730 | 0 | 0 | 1.274882e+03 | -- | Inf
1112.56/1112.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1112.56/1112.96 c 1113s| 1 | 0 |457891 | - | 72M| 0 |2176 |2490 |7382 |2490 |7593 |6750 | 0 | 0 | 1.275450e+03 | -- | Inf
1117.16/1117.52 c 1117s| 1 | 0 |459377 | - | 71M| 0 |2156 |2490 |7382 |2490 |7602 |6759 | 0 | 0 | 1.275549e+03 | -- | Inf
1121.96/1122.31 c 1122s| 1 | 0 |461172 | - | 71M| 0 |2153 |2490 |7382 |2490 |7632 |6789 | 0 | 0 | 1.276048e+03 | -- | Inf
1127.26/1127.67 c 1128s| 1 | 0 |463885 | - | 71M| 0 |2048 |2490 |7382 |2490 |7662 |6819 | 0 | 0 | 1.277517e+03 | -- | Inf
1131.76/1132.17 c 1132s| 1 | 0 |465770 | - | 70M| 0 |2194 |2490 |7382 |2490 |7581 |6828 | 0 | 0 | 1.277676e+03 | -- | Inf
1136.15/1136.59 c 1136s| 1 | 0 |467090 | - | 70M| 0 |2028 |2490 |7382 |2490 |7597 |6844 | 0 | 0 | 1.277736e+03 | -- | Inf
1140.46/1140.87 c 1141s| 1 | 0 |468570 | - | 69M| 0 |2023 |2490 |7382 |2490 |7601 |6848 | 0 | 0 | 1.277773e+03 | -- | Inf
1146.25/1146.61 c 1146s| 1 | 0 |471003 | - | 69M| 0 |2100 |2490 |7382 |2490 |7613 |6860 | 0 | 0 | 1.277943e+03 | -- | Inf
1150.65/1151.01 c 1151s| 1 | 0 |472489 | - | 67M| 0 |2155 |2490 |7382 |2490 |7630 |6877 | 0 | 0 | 1.278043e+03 | -- | Inf
1153.65/1154.07 c 1154s| 1 | 0 |472769 | - | 64M| 0 |2127 |2490 |7382 |2490 |7636 |6883 | 0 | 0 | 1.278063e+03 | -- | Inf
1156.45/1156.83 c 1157s| 1 | 0 |472856 | - | 61M| 0 |2131 |2490 |7382 |2490 |7540 |6900 | 0 | 0 | 1.278063e+03 | -- | Inf
1159.15/1159.59 c 1159s| 1 | 0 |472966 | - | 60M| 0 |2139 |2490 |7382 |2490 |7549 |6909 | 0 | 0 | 1.278063e+03 | -- | Inf
1164.64/1165.00 c 1165s| 1 | 2 |472966 | - | 60M| 0 |2139 |2490 |7382 |2490 |7549 |6909 | 0 | 10 | 1.278063e+03 | -- | Inf
1790.28/1790.82 c
1790.28/1790.82 c SCIP Status : solving was interrupted [time limit reached]
1790.28/1790.82 c Solving Time (sec) : 1790.70
1790.28/1790.82 c Solving Nodes : 80
1790.28/1790.82 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1790.28/1790.82 c Dual Bound : +1.27811486827852e+03
1790.28/1790.82 c Gap : infinite
1790.28/1790.82 s UNKNOWN
1790.28/1790.82 c SCIP Status : solving was interrupted [time limit reached]
1790.28/1790.82 c Solving Time : 1790.70
1790.28/1790.82 c Original Problem :
1790.28/1790.82 c Problem name : HOME/instance-2703445-1278554995.opb
1790.28/1790.82 c Variables : 2678 (2678 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.28/1790.82 c Constraints : 6689 initial, 6689 maximal
1790.28/1790.82 c Presolved Problem :
1790.28/1790.82 c Problem name : t_HOME/instance-2703445-1278554995.opb
1790.28/1790.82 c Variables : 2490 (2490 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.28/1790.82 c Constraints : 6375 initial, 7415 maximal
1790.28/1790.82 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.28/1790.82 c trivial : 0.00 0 0 0 0 0 0 0 0
1790.28/1790.82 c dualfix : 0.00 0 0 0 0 0 0 0 0
1790.28/1790.82 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.28/1790.82 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.28/1790.82 c implics : 0.01 0 3 0 0 0 0 0 0
1790.28/1790.82 c probing : 0.55 2 183 0 0 0 0 0 0
1790.28/1790.82 c setppc : 0.05 0 0 0 0 0 190 0 0
1790.28/1790.82 c linear : 0.10 0 0 0 0 0 122 122 0
1790.28/1790.82 c logicor : 0.14 0 0 0 0 0 2 0 0
1790.28/1790.82 c root node : - 0 - - 0 - - - -
1790.28/1790.82 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.28/1790.82 c integral : 0 0 0 80 0 1 0 0 0 158
1790.28/1790.82 c setppc : 1521 192 6814 0 0 19 53 0 0 0
1790.28/1790.82 c linear : 0+ 192 2909 0 0 0 0 78 0 0
1790.28/1790.82 c logicor : 4854+ 192 4782 0 0 3 85 0 0 0
1790.28/1790.82 c countsols : 0 0 0 0 0 0 0 0 0 0
1790.28/1790.82 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.28/1790.82 c integral : 420.89 0.00 0.00 420.89 0.00
1790.28/1790.82 c setppc : 0.56 0.07 0.49 0.00 0.00
1790.28/1790.82 c linear : 0.66 0.49 0.18 0.00 0.00
1790.28/1790.82 c logicor : 0.19 0.14 0.06 0.00 0.00
1790.28/1790.82 c countsols : 0.00 0.00 0.00 0.00 0.00
1790.28/1790.82 c Propagators : Time Calls Cutoffs DomReds
1790.28/1790.82 c vbounds : 0.00 2 0 0
1790.28/1790.82 c rootredcost : 0.01 0 0 0
1790.28/1790.82 c pseudoobj : 0.40 3119 0 0
1790.28/1790.82 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.28/1790.82 c propagation : 0.00 20 20 21 5.0 7 3.9 -
1790.28/1790.82 c infeasible LP : 0.01 4 4 5 16.6 0 0.0 0
1790.28/1790.82 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.28/1790.82 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.28/1790.82 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.28/1790.82 c applied globally : - - - 33 6.5 - - -
1790.28/1790.82 c applied locally : - - - 0 0.0 - - -
1790.28/1790.82 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.28/1790.82 c cut pool : 8.17 191 - - 6974 - (maximal pool size: 36350)
1790.28/1790.82 c redcost : 0.06 271 0 0 0 0
1790.28/1790.82 c impliedbounds : 0.24 192 0 0 1601 0
1790.28/1790.82 c intobj : 0.00 0 0 0 0 0
1790.28/1790.82 c cgmip : 0.00 0 0 0 0 0
1790.28/1790.82 c gomory : 339.67 192 0 0 79683 0
1790.28/1790.82 c strongcg : 16.94 20 0 0 10000 0
1790.28/1790.82 c cmir : 0.87 10 0 0 0 0
1790.28/1790.82 c flowcover : 0.89 10 0 0 0 0
1790.28/1790.82 c clique : 0.46 192 0 0 120 0
1790.28/1790.82 c zerohalf : 0.00 0 0 0 0 0
1790.28/1790.82 c mcf : 0.01 1 0 0 0 0
1790.28/1790.82 c rapidlearning : 5.43 1 0 0 0 1007
1790.28/1790.82 c Pricers : Time Calls Vars
1790.28/1790.82 c problem variables: 0.00 0 0
1790.28/1790.82 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.28/1790.82 c relpscost : 420.89 80 1 0 0 0 158
1790.28/1790.82 c pscost : 0.00 0 0 0 0 0 0
1790.28/1790.82 c inference : 0.00 0 0 0 0 0 0
1790.28/1790.82 c mostinf : 0.00 0 0 0 0 0 0
1790.28/1790.82 c leastinf : 0.00 0 0 0 0 0 0
1790.28/1790.82 c fullstrong : 0.00 0 0 0 0 0 0
1790.28/1790.82 c allfullstrong : 0.00 0 0 0 0 0 0
1790.28/1790.82 c random : 0.00 0 0 0 0 0 0
1790.28/1790.82 c Primal Heuristics : Time Calls Found
1790.28/1790.82 c LP solutions : 0.00 - 0
1790.28/1790.82 c pseudo solutions : 0.00 - 0
1790.28/1790.82 c oneopt : 0.00 0 0
1790.28/1790.82 c crossover : 0.00 0 0
1790.28/1790.82 c linesearchdiving : 5.26 1 0
1790.28/1790.82 c rootsoldiving : 17.94 1 0
1790.28/1790.82 c objpscostdiving : 72.98 1 0
1790.28/1790.82 c coefdiving : 16.42 2 0
1790.28/1790.82 c pscostdiving : 14.01 2 0
1790.28/1790.82 c fracdiving : 13.38 2 0
1790.28/1790.82 c trivial : 0.01 2 0
1790.28/1790.82 c simplerounding : 0.00 0 0
1790.28/1790.82 c zirounding : 0.08 80 0
1790.28/1790.82 c rounding : 0.32 140 0
1790.28/1790.82 c shifting : 2.51 104 0
1790.28/1790.82 c intshifting : 0.00 0 0
1790.28/1790.82 c twoopt : 0.00 0 0
1790.28/1790.82 c fixandinfer : 0.00 0 0
1790.28/1790.82 c feaspump : 7.56 1 0
1790.28/1790.82 c veclendiving : 9.13 2 0
1790.28/1790.82 c intdiving : 0.00 0 0
1790.28/1790.82 c actconsdiving : 0.00 0 0
1790.28/1790.82 c guideddiving : 0.00 0 0
1790.28/1790.82 c octane : 0.00 0 0
1790.28/1790.82 c rens : 0.01 0 0
1790.28/1790.82 c rins : 0.00 0 0
1790.28/1790.82 c localbranching : 0.00 0 0
1790.28/1790.82 c mutation : 0.00 0 0
1790.28/1790.82 c dins : 0.00 0 0
1790.28/1790.82 c undercover : 0.00 0 0
1790.28/1790.82 c nlp : 0.00 0 0
1790.28/1790.82 c trysol : 0.00 0 0
1790.28/1790.82 c LP : Time Calls Iterations Iter/call Iter/sec
1790.28/1790.82 c primal LP : 0.43 0 0 0.00 0.00
1790.28/1790.82 c dual LP : 832.19 271 521096 1922.86 626.17
1790.28/1790.82 c lex dual LP : 0.00 0 0 0.00 -
1790.28/1790.82 c barrier LP : 0.00 0 0 0.00 -
1790.28/1790.82 c diving/probing LP: 151.68 1295 120983 93.42 797.63
1790.28/1790.82 c strong branching : 420.76 1039 362596 348.99 861.77
1790.28/1790.82 c (at root node) : - 10 1890 189.00 -
1790.28/1790.82 c conflict analysis: 0.00 0 0 0.00 -
1790.28/1790.82 c B&B Tree :
1790.28/1790.82 c number of runs : 1
1790.28/1790.82 c nodes : 80
1790.28/1790.82 c nodes (total) : 80
1790.28/1790.82 c nodes left : 79
1790.28/1790.82 c max depth : 13
1790.28/1790.82 c max depth (total): 13
1790.28/1790.82 c backtracks : 11 (13.8%)
1790.28/1790.82 c delayed cutoffs : 0
1790.28/1790.82 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1790.28/1790.82 c avg switch length: 2.34
1790.28/1790.82 c switching time : 0.04
1790.28/1790.82 c Solution :
1790.28/1790.82 c Solutions found : 0 (0 improvements)
1790.28/1790.82 c Primal Bound : -
1790.28/1790.82 c Dual Bound : +1.27811486827852e+03
1790.28/1790.82 c Gap : infinite
1790.28/1790.82 c Root Dual Bound : +1.27806277047851e+03
1790.28/1790.82 c Root Iterations : 472966
1790.37/1790.96 c Time complete: 1790.44.