0.09/0.11 c SCIP version 1.1.0.7
0.09/0.11 c LP-Solver SoPlex 1.4.1
0.09/0.11 c user parameter file <scip.set> not found - using default parameters
0.09/0.11 c read problem <HOME/instance-1869144-1245160681.opb>
0.09/0.11 c original problem has 2678 variables (2678 bin, 0 int, 0 impl, 0 cont) and 6689 constraints
0.09/0.14 c start presolving problem
0.09/0.14 c presolving:
0.19/0.28 c (round 1) 0 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6565 upgd conss, 5654 impls, 0 clqs
0.29/0.30 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.32 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.29/0.38 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.29/0.38 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.41 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.49/0.57 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.59/0.69 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.79/0.83 c (0.7s) probing: 548/2678 (20.5%) - 2 fixings, 183 aggregations, 12557 implications, 0 bound changes
0.79/0.83 c (0.7s) probing aborted: 100/100 successive totally useless probings
0.79/0.83 c (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.79/0.85 c (0.7s) probing: 558/2678 (20.8%) - 2 fixings, 183 aggregations, 12557 implications, 0 bound changes
0.79/0.85 c (0.7s) probing aborted: 100/100 successive totally useless probings
0.79/0.85 c presolving (10 rounds):
0.79/0.85 c 188 deleted vars, 129 deleted constraints, 0 tightened bounds, 0 added holes, 122 changed sides, 0 changed coefficients
0.79/0.85 c 48400 implications, 0 cliques
0.79/0.85 c presolved problem has 2490 variables (2490 bin, 0 int, 0 impl, 0 cont) and 6560 constraints
0.79/0.85 c 6560 constraints of type <logicor>
0.79/0.85 c transformed objective value is always integral (scale: 1)
0.79/0.85 c Presolving Time: 0.65
0.79/0.85 c strange?!, PURESAT with obj
0.79/0.85 c -----------------------------------------------------------------------------------------------
0.79/0.85 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.79/0.85 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.85 c limits/memory = c 1620
0.79/0.85 c # maximal time in seconds to run
0.79/0.85 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.85 c limits/time = c 1791
0.79/0.85 c # frequency for displaying node information lines
0.79/0.85 c # [type: int, range: [-1,2147483647], default: 100]
0.79/0.85 c display/freq = c 10000
0.79/0.85 c -----------------------------------------------------------------------------------------------
0.79/0.85 c start solving problem
0.79/0.85 c
5.35/6.78 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.35/6.78 c 5.2s| 1 | 0 | 5139 | 15M| 0 |2045 |2490 |6560 |6560 |2490 |6373 | 0 | 0 | 0 | 8.022358e+02 | -- | Inf
17.65/19.08 c 17.4s| 1 | 0 | 15966 | 19M| 0 |1600 |2490 |6560 |6560 |2490 |7054 | 681 | 0 | 0 | 8.274708e+02 | -- | Inf
20.25/21.61 c 19.9s| 1 | 0 | 17810 | 21M| 0 |1649 |2490 |6560 |6560 |2490 |7091 | 718 | 0 | 0 | 8.343987e+02 | -- | Inf
23.25/24.64 c 22.9s| 1 | 0 | 19584 | 25M| 0 |1570 |2490 |6560 |6560 |2490 |7124 | 751 | 0 | 0 | 8.425929e+02 | -- | Inf
25.25/26.69 c 25.0s| 1 | 0 | 20691 | 29M| 0 |1564 |2490 |6560 |6560 |2490 |7153 | 780 | 0 | 0 | 8.451038e+02 | -- | Inf
28.04/29.41 c 27.7s| 1 | 0 | 22370 | 33M| 0 |1572 |2490 |6560 |6560 |2490 |7190 | 817 | 0 | 0 | 8.483582e+02 | -- | Inf
31.35/32.73 c 31.0s| 1 | 0 | 24280 | 35M| 0 |1617 |2490 |6560 |6560 |2490 |7235 | 862 | 0 | 0 | 8.506530e+02 | -- | Inf
35.05/36.42 c 34.7s| 1 | 0 | 25996 | 41M| 0 |1648 |2490 |6560 |6560 |2490 |7262 | 889 | 0 | 0 | 8.520890e+02 | -- | Inf
41.74/43.13 c 41.3s| 1 | 0 | 29038 | 44M| 0 |1611 |2490 |6560 |6560 |2490 |7293 | 920 | 0 | 0 | 8.592533e+02 | -- | Inf
44.62/46.04 c 44.2s| 1 | 0 | 30141 | 48M| 0 |1584 |2490 |6560 |6560 |2490 |7326 | 953 | 0 | 0 | 8.611732e+02 | -- | Inf
49.42/50.81 c 49.0s| 1 | 0 | 32031 | 52M| 0 |1615 |2490 |6560 |6560 |2490 |7374 |1001 | 0 | 0 | 8.673108e+02 | -- | Inf
54.03/55.44 c 53.6s| 1 | 0 | 34012 | 55M| 0 |1611 |2490 |6560 |6560 |2490 |7416 |1043 | 0 | 0 | 8.709197e+02 | -- | Inf
59.13/60.56 c 58.6s| 1 | 0 | 35661 | 61M| 0 |1851 |2490 |6560 |6560 |2490 |6823 |1103 | 0 | 0 | 8.848098e+02 | -- | Inf
64.53/65.99 c 64.0s| 1 | 0 | 38207 | 65M| 0 |1653 |2490 |6560 |6560 |2490 |6875 |1155 | 0 | 0 | 8.899093e+02 | -- | Inf
68.22/69.66 c 67.7s| 1 | 0 | 40169 | 68M| 0 |1644 |2490 |6560 |6560 |2490 |6915 |1195 | 0 | 0 | 8.935988e+02 | -- | Inf
71.72/73.19 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
71.72/73.19 c 71.2s| 1 | 0 | 41899 | 72M| 0 |1660 |2490 |6560 |6560 |2490 |6964 |1244 | 0 | 0 | 9.003116e+02 | -- | Inf
77.62/79.05 c 77.0s| 1 | 0 | 44697 | 76M| 0 |1709 |2490 |6560 |6560 |2490 |7014 |1294 | 0 | 0 | 9.053098e+02 | -- | Inf
82.22/83.65 c 81.6s| 1 | 0 | 47055 | 79M| 0 |1724 |2490 |6560 |6560 |2490 |7055 |1335 | 0 | 0 | 9.076264e+02 | -- | Inf
90.61/92.07 c 90.0s| 1 | 0 | 50830 | 80M| 0 |1963 |2490 |6560 |6560 |2490 |6959 |1372 | 0 | 0 | 9.096879e+02 | -- | Inf
99.01/100.44 c 98.4s| 1 | 0 | 54415 | 84M| 0 |1883 |2490 |6560 |6560 |2490 |7011 |1424 | 0 | 0 | 9.183216e+02 | -- | Inf
106.80/108.20 c 106s| 1 | 0 | 57758 | 88M| 0 |1701 |2490 |6560 |6560 |2490 |7064 |1477 | 0 | 0 | 9.244690e+02 | -- | Inf
112.41/113.85 c 112s| 1 | 0 | 60390 | 89M| 0 |1920 |2490 |6560 |6560 |2490 |7116 |1529 | 0 | 0 | 9.276750e+02 | -- | Inf
119.21/120.68 c 119s| 1 | 0 | 63482 | 91M| 0 |1948 |2490 |6560 |6560 |2490 |7155 |1568 | 0 | 0 | 9.310473e+02 | -- | Inf
132.10/133.59 c 131s| 1 | 0 | 68610 | 92M| 0 |1947 |2490 |6560 |6560 |2490 |7202 |1615 | 0 | 0 | 9.348690e+02 | -- | Inf
144.20/145.69 c 143s| 1 | 0 | 73471 | 93M| 0 |1939 |2490 |6560 |6560 |2490 |7059 |1664 | 0 | 0 | 9.398721e+02 | -- | Inf
151.60/153.03 c 151s| 1 | 0 | 76447 | 94M| 0 |2081 |2490 |6560 |6560 |2490 |7099 |1704 | 0 | 0 | 9.427788e+02 | -- | Inf
158.69/160.19 c 158s| 1 | 0 | 79713 | 98M| 0 |1993 |2490 |6560 |6560 |2490 |7131 |1736 | 0 | 0 | 9.439665e+02 | -- | Inf
172.49/173.91 c 172s| 1 | 0 | 85190 | 99M| 0 |1774 |2490 |6560 |6560 |2490 |7215 |1820 | 0 | 0 | 9.650036e+02 | -- | Inf
180.97/182.48 c 180s| 1 | 0 | 89179 | 100M| 0 |1773 |2490 |6560 |6560 |2490 |7269 |1874 | 0 | 0 | 9.702389e+02 | -- | Inf
187.17/188.65 c 186s| 1 | 0 | 92210 | 103M| 0 |1961 |2490 |6560 |6560 |2490 |7313 |1918 | 0 | 0 | 9.725250e+02 | -- | Inf
194.17/195.69 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
194.17/195.69 c 193s| 1 | 0 | 95228 | 104M| 0 |1966 |2490 |6560 |6560 |2490 |7166 |1962 | 0 | 0 | 9.745457e+02 | -- | Inf
200.46/201.94 c 200s| 1 | 0 | 98060 | 105M| 0 |1806 |2490 |6560 |6560 |2490 |7211 |2007 | 0 | 0 | 9.770086e+02 | -- | Inf
207.17/208.70 c 206s| 1 | 0 |101174 | 106M| 0 |1853 |2490 |6560 |6560 |2490 |7265 |2061 | 0 | 0 | 9.794907e+02 | -- | Inf
214.46/215.96 c 214s| 1 | 0 |104061 | 108M| 0 |1896 |2490 |6560 |6560 |2490 |7319 |2115 | 0 | 0 | 9.820550e+02 | -- | Inf
225.26/226.79 c 224s| 1 | 0 |108244 | 108M| 0 |1868 |2490 |6560 |6560 |2490 |7390 |2186 | 0 | 0 | 9.949320e+02 | -- | Inf
230.76/232.25 c 230s| 1 | 0 |110496 | 109M| 0 |1849 |2490 |6560 |6560 |2490 |7440 |2236 | 0 | 0 | 9.982483e+02 | -- | Inf
238.75/240.27 c 238s| 1 | 0 |113918 | 111M| 0 |2030 |2490 |6560 |6560 |2490 |7336 |2286 | 0 | 0 | 1.001560e+03 | -- | Inf
247.75/249.28 c 247s| 1 | 0 |117290 | 112M| 0 |2046 |2490 |6560 |6560 |2490 |7399 |2349 | 0 | 0 | 1.004187e+03 | -- | Inf
259.15/260.69 c 258s| 1 | 0 |121460 | 113M| 0 |1857 |2490 |6560 |6560 |2490 |7454 |2404 | 0 | 0 | 1.015155e+03 | -- | Inf
264.25/265.71 c 263s| 1 | 0 |123558 | 114M| 0 |2071 |2490 |6560 |6560 |2490 |7495 |2445 | 0 | 0 | 1.016756e+03 | -- | Inf
278.54/280.07 c 277s| 1 | 0 |128683 | 115M| 0 |2074 |2490 |6560 |6560 |2490 |7542 |2492 | 0 | 0 | 1.021336e+03 | -- | Inf
287.84/289.34 c 287s| 1 | 0 |132235 | 117M| 0 |1886 |2490 |6560 |6560 |2490 |7586 |2536 | 0 | 0 | 1.025935e+03 | -- | Inf
293.24/294.71 c 292s| 1 | 0 |134353 | 119M| 0 |2032 |2490 |6560 |6560 |2490 |7362 |2583 | 0 | 0 | 1.026807e+03 | -- | Inf
301.53/303.05 c 300s| 1 | 0 |137739 | 119M| 0 |1905 |2490 |6560 |6560 |2490 |7439 |2660 | 0 | 0 | 1.041778e+03 | -- | Inf
309.84/311.36 c 309s| 1 | 0 |141034 | 120M| 0 |1952 |2490 |6560 |6560 |2490 |7508 |2729 | 0 | 0 | 1.052892e+03 | -- | Inf
318.43/319.97 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
318.43/319.97 c 317s| 1 | 0 |144610 | 122M| 0 |1931 |2490 |6560 |6560 |2490 |7548 |2769 | 0 | 0 | 1.057395e+03 | -- | Inf
321.94/323.40 c 321s| 1 | 0 |146024 | 124M| 0 |1995 |2490 |6560 |6560 |2490 |7594 |2815 | 0 | 0 | 1.059307e+03 | -- | Inf
329.43/330.94 c 328s| 1 | 0 |149091 | 126M| 0 |1969 |2490 |6560 |6560 |2490 |7635 |2856 | 0 | 0 | 1.060855e+03 | -- | Inf
337.03/338.58 c 336s| 1 | 0 |152077 | 128M| 0 |2091 |2490 |6560 |6560 |2490 |7403 |2911 | 0 | 0 | 1.062595e+03 | -- | Inf
348.43/349.97 c 347s| 1 | 0 |156258 | 128M| 0 |1981 |2490 |6560 |6560 |2490 |7479 |2987 | 0 | 0 | 1.071884e+03 | -- | Inf
355.22/356.79 c 354s| 1 | 0 |158737 | 129M| 0 |1937 |2490 |6560 |6560 |2490 |7533 |3041 | 0 | 0 | 1.076682e+03 | -- | Inf
359.82/361.32 c 358s| 1 | 0 |160553 | 130M| 0 |1945 |2490 |6560 |6560 |2490 |7602 |3110 | 0 | 0 | 1.079056e+03 | -- | Inf
366.12/367.66 c 365s| 1 | 0 |163064 | 132M| 0 |2014 |2490 |6560 |6560 |2490 |7646 |3154 | 0 | 0 | 1.080211e+03 | -- | Inf
377.81/379.31 c 376s| 1 | 0 |167443 | 133M| 0 |1881 |2490 |6560 |6560 |2490 |7710 |3218 | 0 | 0 | 1.091410e+03 | -- | Inf
384.11/385.65 c 383s| 1 | 0 |170161 | 134M| 0 |1938 |2490 |6560 |6560 |2490 |7497 |3273 | 0 | 0 | 1.094889e+03 | -- | Inf
391.51/393.06 c 390s| 1 | 0 |173745 | 135M| 0 |1984 |2490 |6560 |6560 |2490 |7536 |3312 | 0 | 0 | 1.097716e+03 | -- | Inf
397.31/398.89 c 396s| 1 | 0 |176673 | 137M| 0 |2015 |2490 |6560 |6560 |2490 |7579 |3355 | 0 | 0 | 1.100317e+03 | -- | Inf
404.11/405.61 c 403s| 1 | 0 |179555 | 138M| 0 |1942 |2490 |6560 |6560 |2490 |7611 |3387 | 0 | 0 | 1.103291e+03 | -- | Inf
411.01/412.57 c 410s| 1 | 0 |182847 | 141M| 0 |1956 |2490 |6560 |6560 |2490 |7645 |3421 | 0 | 0 | 1.105637e+03 | -- | Inf
422.21/423.72 c 421s| 1 | 0 |187079 | 142M| 0 |2047 |2490 |6560 |6560 |2490 |7696 |3472 | 0 | 0 | 1.108619e+03 | -- | Inf
440.00/441.53 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
440.00/441.53 c 438s| 1 | 0 |193620 | 143M| 0 |2019 |2490 |6560 |6560 |2490 |7502 |3534 | 0 | 0 | 1.122266e+03 | -- | Inf
446.29/447.81 c 445s| 1 | 0 |196019 | 143M| 0 |1916 |2490 |6560 |6560 |2490 |7555 |3587 | 0 | 0 | 1.134319e+03 | -- | Inf
451.89/453.43 c 450s| 1 | 0 |198980 | 144M| 0 |1969 |2490 |6560 |6560 |2490 |7586 |3618 | 0 | 0 | 1.138314e+03 | -- | Inf
457.60/459.19 c 456s| 1 | 0 |201674 | 145M| 0 |2042 |2490 |6560 |6560 |2490 |7631 |3663 | 0 | 0 | 1.141532e+03 | -- | Inf
464.89/466.42 c 463s| 1 | 0 |204587 | 147M| 0 |2043 |2490 |6560 |6560 |2490 |7663 |3695 | 0 | 0 | 1.143238e+03 | -- | Inf
476.49/478.00 c 475s| 1 | 0 |209240 | 148M| 0 |2062 |2490 |6560 |6560 |2490 |7696 |3728 | 0 | 0 | 1.144206e+03 | -- | Inf
487.68/489.27 c 486s| 1 | 0 |213816 | 149M| 0 |2033 |2490 |6560 |6560 |2490 |7464 |3770 | 0 | 0 | 1.147544e+03 | -- | Inf
491.19/492.72 c 489s| 1 | 0 |215402 | 152M| 0 |2024 |2490 |6560 |6560 |2490 |7496 |3802 | 0 | 0 | 1.148155e+03 | -- | Inf
496.98/498.51 c 495s| 1 | 0 |217933 | 153M| 0 |2107 |2490 |6560 |6560 |2490 |7534 |3840 | 0 | 0 | 1.149241e+03 | -- | Inf
501.78/503.30 c 500s| 1 | 0 |219777 | 154M| 0 |2016 |2490 |6560 |6560 |2490 |7574 |3880 | 0 | 0 | 1.149844e+03 | -- | Inf
507.88/509.46 c 506s| 1 | 0 |222593 | 155M| 0 |2126 |2490 |6560 |6560 |2490 |7607 |3913 | 0 | 0 | 1.152294e+03 | -- | Inf
521.18/522.72 c 519s| 1 | 0 |227830 | 156M| 0 |2111 |2490 |6560 |6560 |2490 |7667 |3973 | 0 | 0 | 1.160504e+03 | -- | Inf
532.78/534.39 c 531s| 1 | 0 |233248 | 157M| 0 |2098 |2490 |6560 |6560 |2490 |7502 |4009 | 0 | 0 | 1.163279e+03 | -- | Inf
537.07/538.69 c 535s| 1 | 0 |235320 | 159M| 0 |2016 |2490 |6560 |6560 |2490 |7528 |4035 | 0 | 0 | 1.163547e+03 | -- | Inf
542.47/544.08 c 541s| 1 | 0 |238012 | 161M| 0 |2111 |2490 |6560 |6560 |2490 |7553 |4060 | 0 | 0 | 1.163830e+03 | -- | Inf
549.87/551.40 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
549.87/551.40 c 548s| 1 | 0 |240607 | 163M| 0 |2102 |2490 |6560 |6560 |2490 |7591 |4098 | 0 | 0 | 1.166193e+03 | -- | Inf
558.67/560.26 c 557s| 1 | 0 |243858 | 164M| 0 |2140 |2490 |6560 |6560 |2490 |7633 |4140 | 0 | 0 | 1.169470e+03 | -- | Inf
567.76/569.34 c 566s| 1 | 0 |247126 | 164M| 0 |2112 |2490 |6560 |6560 |2490 |7673 |4180 | 0 | 0 | 1.174205e+03 | -- | Inf
573.67/575.29 c 572s| 1 | 0 |249812 | 166M| 0 |2187 |2490 |6560 |6560 |2490 |7504 |4208 | 0 | 0 | 1.175109e+03 | -- | Inf
577.96/579.53 c 576s| 1 | 0 |251773 | 168M| 0 |2211 |2490 |6560 |6560 |2490 |7530 |4234 | 0 | 0 | 1.175555e+03 | -- | Inf
582.26/583.81 c 580s| 1 | 0 |253434 | 170M| 0 |2202 |2490 |6560 |6560 |2490 |7543 |4247 | 0 | 0 | 1.175845e+03 | -- | Inf
592.05/593.61 c 590s| 1 | 0 |256927 | 170M| 0 |2067 |2490 |6560 |6560 |2490 |7591 |4295 | 0 | 0 | 1.180533e+03 | -- | Inf
599.16/600.78 c 597s| 1 | 0 |260650 | 172M| 0 |2119 |2490 |6560 |6560 |2490 |7632 |4336 | 0 | 0 | 1.182125e+03 | -- | Inf
604.56/606.17 c 603s| 1 | 0 |263494 | 173M| 0 |2173 |2490 |6560 |6560 |2490 |7659 |4363 | 0 | 0 | 1.183126e+03 | -- | Inf
609.35/610.91 c 607s| 1 | 0 |265720 | 175M| 0 |2071 |2490 |6560 |6560 |2490 |7470 |4401 | 0 | 0 | 1.184140e+03 | -- | Inf
616.85/618.49 c 615s| 1 | 0 |269423 | 176M| 0 |2144 |2490 |6560 |6560 |2490 |7491 |4422 | 0 | 0 | 1.184793e+03 | -- | Inf
621.05/622.60 c 619s| 1 | 0 |271465 | 178M| 0 |2100 |2490 |6560 |6560 |2490 |7517 |4448 | 0 | 0 | 1.185063e+03 | -- | Inf
626.94/628.58 c 625s| 1 | 0 |274113 | 178M| 0 |2171 |2490 |6560 |6560 |2490 |7563 |4494 | 0 | 0 | 1.188428e+03 | -- | Inf
632.75/634.39 c 631s| 1 | 0 |276756 | 179M| 0 |2204 |2490 |6560 |6560 |2490 |7603 |4534 | 0 | 0 | 1.190432e+03 | -- | Inf
646.04/647.64 c 644s| 1 | 0 |282250 | 179M| 0 |2166 |2490 |6560 |6560 |2490 |7640 |4571 | 0 | 0 | 1.194536e+03 | -- | Inf
651.74/653.34 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
651.74/653.34 c 650s| 1 | 0 |285217 | 180M| 0 |2188 |2490 |6560 |6560 |2490 |7499 |4607 | 0 | 0 | 1.195370e+03 | -- | Inf
658.23/659.84 c 656s| 1 | 0 |288348 | 181M| 0 |2201 |2490 |6560 |6560 |2490 |7532 |4640 | 0 | 0 | 1.196434e+03 | -- | Inf
667.73/669.35 c 666s| 1 | 0 |292828 | 182M| 0 |2150 |2490 |6560 |6560 |2490 |7563 |4671 | 0 | 0 | 1.197365e+03 | -- | Inf
679.03/680.62 c 677s| 1 | 0 |298081 | 183M| 0 |2157 |2490 |6560 |6560 |2490 |7600 |4708 | 0 | 0 | 1.198294e+03 | -- | Inf
689.43/691.01 c 687s| 1 | 0 |302834 | 183M| 0 |2145 |2490 |6560 |6560 |2490 |7649 |4757 | 0 | 0 | 1.202264e+03 | -- | Inf
696.73/698.39 c 694s| 1 | 0 |306331 | 184M| 0 |2104 |2490 |6560 |6560 |2490 |7708 |4816 | 0 | 0 | 1.206011e+03 | -- | Inf
701.12/702.74 c 699s| 1 | 0 |308516 | 184M| 0 |2111 |2490 |6560 |6560 |2490 |7573 |4853 | 0 | 0 | 1.207401e+03 | -- | Inf
704.63/706.27 c 702s| 1 | 0 |310090 | 185M| 0 |2154 |2490 |6560 |6560 |2490 |7611 |4891 | 0 | 0 | 1.208064e+03 | -- | Inf
708.72/710.39 c 706s| 1 | 0 |312189 | 187M| 0 |2126 |2490 |6560 |6560 |2490 |7644 |4924 | 0 | 0 | 1.208418e+03 | -- | Inf
716.02/717.64 c 714s| 1 | 0 |315405 | 187M| 0 |2155 |2490 |6560 |6560 |2490 |7717 |4997 | 0 | 0 | 1.213147e+03 | -- | Inf
720.82/722.40 c 718s| 1 | 0 |318168 | 188M| 0 |2134 |2490 |6560 |6560 |2490 |7760 |5040 | 0 | 0 | 1.214602e+03 | -- | Inf
725.92/727.56 c 724s| 1 | 0 |320943 | 189M| 0 |2139 |2490 |6560 |6560 |2490 |7789 |5069 | 0 | 0 | 1.215520e+03 | -- | Inf
735.92/737.57 c 734s| 1 | 0 |325269 | 185M| 0 |2099 |2490 |6560 |6560 |2490 |7649 |5096 | 0 | 0 | 1.218232e+03 | -- | Inf
742.31/743.92 c 740s| 1 | 0 |328201 | 184M| 0 |2145 |2490 |6560 |6560 |2490 |7680 |5127 | 0 | 0 | 1.219460e+03 | -- | Inf
748.41/750.08 c 746s| 1 | 0 |330618 | 181M| 0 |2142 |2490 |6560 |6560 |2490 |7714 |5161 | 0 | 0 | 1.224231e+03 | -- | Inf
754.51/756.18 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
754.51/756.18 c 752s| 1 | 0 |332967 | 178M| 0 |2119 |2490 |6560 |6560 |2490 |7751 |5198 | 0 | 0 | 1.225662e+03 | -- | Inf
757.11/758.75 c 755s| 1 | 0 |333793 | 175M| 0 |2080 |2490 |6560 |6560 |2490 |7781 |5228 | 0 | 0 | 1.226853e+03 | -- | Inf
762.51/764.18 c 760s| 1 | 0 |336091 | 173M| 0 |2044 |2490 |6560 |6560 |2490 |7818 |5265 | 0 | 0 | 1.229149e+03 | -- | Inf
766.41/768.06 c 764s| 1 | 0 |338112 | 168M| 0 |2110 |2490 |6560 |6560 |2490 |7615 |5300 | 0 | 0 | 1.229631e+03 | -- | Inf
770.61/772.24 c 768s| 1 | 0 |339882 | 166M| 0 |2157 |2490 |6560 |6560 |2490 |7637 |5322 | 0 | 0 | 1.230341e+03 | -- | Inf
775.40/777.01 c 773s| 1 | 0 |341314 | 163M| 0 |2164 |2490 |6560 |6560 |2490 |7661 |5346 | 0 | 0 | 1.231523e+03 | -- | Inf
781.11/782.75 c 779s| 1 | 0 |343272 | 159M| 0 |2169 |2490 |6560 |6560 |2490 |7685 |5370 | 0 | 0 | 1.232585e+03 | -- | Inf
789.69/791.32 c 787s| 1 | 0 |347302 | 155M| 0 |2091 |2490 |6560 |6560 |2490 |7706 |5391 | 0 | 0 | 1.234279e+03 | -- | Inf
793.90/795.59 c 791s| 1 | 0 |348986 | 150M| 0 |2172 |2490 |6560 |6560 |2490 |7738 |5423 | 0 | 0 | 1.234984e+03 | -- | Inf
798.99/800.61 c 796s| 1 | 0 |350409 | 146M| 0 |2199 |2490 |6560 |6560 |2490 |7507 |5440 | 0 | 0 | 1.235707e+03 | -- | Inf
803.60/805.29 c 801s| 1 | 0 |351789 | 143M| 0 |2161 |2490 |6560 |6560 |2490 |7524 |5457 | 0 | 0 | 1.236339e+03 | -- | Inf
805.90/807.52 c 803s| 1 | 0 |352678 | 141M| 0 |2141 |2490 |6560 |6560 |2490 |7542 |5475 | 0 | 0 | 1.236685e+03 | -- | Inf
810.99/812.61 c 808s| 1 | 0 |354812 | 137M| 0 |2025 |2490 |6560 |6560 |2490 |7572 |5505 | 0 | 0 | 1.238620e+03 | -- | Inf
812.39/814.09 c 810s| 1 | 0 |355452 | 135M| 0 |2057 |2490 |6560 |6560 |2490 |7597 |5530 | 0 | 0 | 1.238906e+03 | -- | Inf
814.99/816.67 c 812s| 1 | 0 |356894 | 134M| 0 |2059 |2490 |6560 |6560 |2490 |7629 |5562 | 0 | 0 | 1.239510e+03 | -- | Inf
818.59/820.29 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
818.59/820.29 c 816s| 1 | 0 |358800 | 132M| 0 |2041 |2490 |6560 |6560 |2490 |7495 |5590 | 0 | 0 | 1.240567e+03 | -- | Inf
824.99/826.60 c 822s| 1 | 0 |362227 | 128M| 0 |2089 |2490 |6560 |6560 |2490 |7528 |5623 | 0 | 0 | 1.242791e+03 | -- | Inf
828.69/830.37 c 826s| 1 | 0 |364232 | 128M| 0 |2081 |2490 |6560 |6560 |2490 |7570 |5665 | 0 | 0 | 1.243355e+03 | -- | Inf
835.09/836.73 c 832s| 1 | 0 |367793 | 127M| 0 |2125 |2490 |6560 |6560 |2490 |7597 |5692 | 0 | 0 | 1.244593e+03 | -- | Inf
837.98/839.68 c 835s| 1 | 0 |369182 | 128M| 0 |2127 |2490 |6560 |6560 |2490 |7629 |5724 | 0 | 0 | 1.245458e+03 | -- | Inf
847.09/848.80 c 844s| 1 | 0 |373326 | 127M| 0 |2063 |2490 |6560 |6560 |2490 |7670 |5765 | 0 | 0 | 1.247831e+03 | -- | Inf
851.38/853.07 c 849s| 1 | 0 |375496 | 126M| 0 |2082 |2490 |6560 |6560 |2490 |7556 |5789 | 0 | 0 | 1.249223e+03 | -- | Inf
855.48/857.12 c 853s| 1 | 0 |377206 | 124M| 0 |2114 |2490 |6560 |6560 |2490 |7584 |5817 | 0 | 0 | 1.249494e+03 | -- | Inf
862.38/864.01 c 860s| 1 | 0 |380050 | 124M| 0 |2074 |2490 |6560 |6560 |2490 |7618 |5851 | 0 | 0 | 1.251940e+03 | -- | Inf
865.67/867.37 c 863s| 1 | 0 |381800 | 123M| 0 |2110 |2490 |6560 |6560 |2490 |7643 |5876 | 0 | 0 | 1.253001e+03 | -- | Inf
868.38/870.06 c 866s| 1 | 0 |382917 | 121M| 0 |2098 |2490 |6560 |6560 |2490 |7663 |5896 | 0 | 0 | 1.254070e+03 | -- | Inf
871.18/872.83 c 868s| 1 | 0 |384366 | 120M| 0 |2137 |2490 |6560 |6560 |2490 |7686 |5919 | 0 | 0 | 1.254516e+03 | -- | Inf
878.47/880.12 c 876s| 1 | 0 |387918 | 120M| 0 |2172 |2490 |6560 |6560 |2490 |7551 |5945 | 0 | 0 | 1.255409e+03 | -- | Inf
884.37/886.01 c 881s| 1 | 0 |390179 | 119M| 0 |2111 |2490 |6560 |6560 |2490 |7567 |5961 | 0 | 0 | 1.256993e+03 | -- | Inf
891.37/893.01 c 888s| 1 | 0 |393067 | 119M| 0 |2089 |2490 |6560 |6560 |2490 |7598 |5992 | 0 | 0 | 1.259517e+03 | -- | Inf
897.67/899.36 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
897.67/899.36 c 895s| 1 | 0 |396328 | 119M| 0 |2154 |2490 |6560 |6560 |2490 |7615 |6009 | 0 | 0 | 1.259733e+03 | -- | Inf
902.87/904.53 c 900s| 1 | 0 |398939 | 119M| 0 |2156 |2490 |6560 |6560 |2490 |7636 |6030 | 0 | 0 | 1.260866e+03 | -- | Inf
909.26/910.98 c 906s| 1 | 0 |401859 | 118M| 0 |2143 |2490 |6560 |6560 |2490 |7660 |6054 | 0 | 0 | 1.261070e+03 | -- | Inf
917.26/918.96 c 914s| 1 | 0 |404853 | 117M| 0 |2137 |2490 |6560 |6560 |2490 |7517 |6069 | 0 | 0 | 1.261397e+03 | -- | Inf
921.16/922.83 c 918s| 1 | 0 |405580 | 116M| 0 |2174 |2490 |6560 |6560 |2490 |7528 |6080 | 0 | 0 | 1.261535e+03 | -- | Inf
924.76/926.45 c 922s| 1 | 0 |406303 | 115M| 0 |2186 |2490 |6560 |6560 |2490 |7547 |6099 | 0 | 0 | 1.261572e+03 | -- | Inf
927.87/929.57 c 925s| 1 | 0 |406721 | 114M| 0 |2154 |2490 |6560 |6560 |2490 |7557 |6109 | 0 | 0 | 1.261634e+03 | -- | Inf
932.26/933.99 c 929s| 1 | 0 |407851 | 112M| 0 |2139 |2490 |6560 |6560 |2490 |7571 |6123 | 0 | 0 | 1.262310e+03 | -- | Inf
936.86/938.52 c 934s| 1 | 0 |408792 | 110M| 0 |2147 |2490 |6560 |6560 |2490 |7592 |6144 | 0 | 0 | 1.262977e+03 | -- | Inf
940.06/941.71 c 937s| 1 | 0 |409001 | 110M| 0 |2157 |2490 |6560 |6560 |2490 |7475 |6153 | 0 | 0 | 1.263202e+03 | -- | Inf
944.66/946.35 c 942s| 1 | 0 |409841 | 110M| 0 |2136 |2490 |6560 |6560 |2490 |7482 |6160 | 0 | 0 | 1.263577e+03 | -- | Inf
948.26/949.92 c 945s| 1 | 0 |409859 | 108M| 0 |2133 |2490 |6560 |6560 |2490 |7484 |6162 | 0 | 0 | 1.263577e+03 | -- | Inf
951.85/953.58 c 949s| 1 | 0 |409951 | 106M| 0 |2127 |2490 |6560 |6560 |2490 |7488 |6166 | 0 | 0 | 1.263577e+03 | -- | Inf
955.35/957.05 c 952s| 1 | 0 |410006 | 105M| 0 |2133 |2490 |6560 |6560 |2490 |7492 |6170 | 0 | 0 | 1.263577e+03 | -- | Inf
958.76/960.41 c 956s| 1 | 0 |410120 | 103M| 0 |2137 |2490 |6560 |6560 |2490 |7497 |6175 | 0 | 0 | 1.263577e+03 | -- | Inf
960.35/962.09 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
960.35/962.09 c 957s| 1 | 0 |410294 | 103M| 0 |2138 |2490 |6560 |6560 |2490 |7416 |6177 | 0 | 0 | 1.263577e+03 | -- | Inf
981.95/983.63 c 979s| 1 | 2 |410294 | 103M| 0 |2138 |2490 |6560 |6560 |2490 |7416 |6177 | 0 | 32 | 1.263577e+03 | -- | Inf
1796.32/1798.20 c
1796.32/1798.20 c SCIP Status : solving was interrupted [time limit reached]
1796.32/1798.20 c Solving Time (sec) : 1791.00
1796.32/1798.20 c Solving Nodes : 62
1796.32/1798.20 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.32/1798.20 c Dual Bound : +1.26768067311737e+03
1796.32/1798.20 c Gap : infinite
1796.32/1798.20 c NODE 62
1796.32/1798.20 c DUAL BOUND 1267.68
1796.32/1798.20 c PRIMAL BOUND 1e+20
1796.32/1798.20 c GAP 1e+20
1796.32/1798.20 s UNKNOWN
1796.32/1798.20 c SCIP Status : solving was interrupted [time limit reached]
1796.32/1798.20 c Solving Time : 1791.00
1796.32/1798.20 c Original Problem :
1796.32/1798.20 c Problem name : HOME/instance-1869144-1245160681.opb
1796.32/1798.20 c Variables : 2678 (2678 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.32/1798.20 c Constraints : 6689 initial, 6689 maximal
1796.32/1798.20 c Presolved Problem :
1796.32/1798.20 c Problem name : t_HOME/instance-1869144-1245160681.opb
1796.32/1798.20 c Variables : 2490 (2490 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.32/1798.20 c Constraints : 6560 initial, 6756 maximal
1796.32/1798.20 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1796.32/1798.20 c trivial : 0.00 0 0 0 0 0 0 0 0
1796.32/1798.20 c dualfix : 0.00 0 0 0 0 0 0 0 0
1796.32/1798.20 c boundshift : 0.00 0 0 0 0 0 0 0 0
1796.32/1798.20 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1796.32/1798.20 c implics : 0.00 0 3 0 0 0 0 0 0
1796.32/1798.20 c probing : 0.41 2 183 0 0 0 0 0 0
1796.32/1798.20 c linear : 0.10 0 0 0 0 0 122 122 0
1796.32/1798.20 c logicor : 0.13 0 0 0 0 0 7 0 0
1796.32/1798.20 c root node : - 0 - - 0 - - - -
1796.32/1798.20 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1796.32/1798.20 c integral : 0 0 0 62 0 0 0 0 0 124
1796.32/1798.20 c logicor : 6560+ 150 15337 0 0 46 169 0 0 0
1796.32/1798.20 c countsols : 0 0 0 0 0 0 0 0 0 0
1796.32/1798.20 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1796.32/1798.20 c integral : 444.06 0.00 0.00 444.06 0.00
1796.32/1798.20 c logicor : 0.38 0.18 0.20 0.00 0.00
1796.32/1798.20 c countsols : 0.00 0.00 0.00 0.00 0.00
1796.32/1798.20 c Propagators : Time Calls Cutoffs DomReds
1796.32/1798.20 c rootredcost : 0.00 0 0 0
1796.32/1798.20 c pseudoobj : 0.85 9286 0 0
1796.32/1798.20 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.32/1798.20 c propagation : 0.01 44 44 117 18.9 14 3.6 -
1796.32/1798.20 c infeasible LP : 0.05 22 22 113 31.0 6 4.0 0
1796.32/1798.20 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.32/1798.20 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.32/1798.20 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.32/1798.20 c applied globally : - - - 205 20.8 - - -
1796.32/1798.20 c applied locally : - - - 0 0.0 - - -
1796.32/1798.20 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.32/1798.20 c cut pool : 7.04 149 - - 5890 - (maximal pool size: 36979)
1796.32/1798.20 c redcost : 0.04 211 0 0 0 0
1796.32/1798.20 c impliedbounds : 0.19 150 0 0 1612 0
1796.32/1798.20 c intobj : 0.00 0 0 0 0 0
1796.32/1798.20 c gomory : 210.47 150 0 0 68788 0
1796.32/1798.20 c strongcg : 7.39 20 0 0 10000 0
1796.32/1798.20 c cmir : 0.86 10 0 0 0 0
1796.32/1798.20 c flowcover : 0.68 10 0 0 0 0
1796.32/1798.20 c clique : 0.45 150 0 0 96 0
1796.32/1798.20 c zerohalf : 0.00 0 0 0 0 0
1796.32/1798.20 c mcf : 0.02 1 0 0 0 0
1796.32/1798.20 c Pricers : Time Calls Vars
1796.32/1798.20 c problem variables: 0.00 0 0
1796.32/1798.20 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.32/1798.20 c relpscost : 444.06 62 0 0 0 0 124
1796.32/1798.20 c pscost : 0.00 0 0 0 0 0 0
1796.32/1798.20 c inference : 0.00 0 0 0 0 0 0
1796.32/1798.20 c mostinf : 0.00 0 0 0 0 0 0
1796.32/1798.20 c leastinf : 0.00 0 0 0 0 0 0
1796.32/1798.20 c fullstrong : 0.00 0 0 0 0 0 0
1796.32/1798.20 c allfullstrong : 0.00 0 0 0 0 0 0
1796.32/1798.20 c random : 0.00 0 0 0 0 0 0
1796.32/1798.20 c Primal Heuristics : Time Calls Found
1796.32/1798.20 c LP solutions : 0.00 - 0
1796.32/1798.20 c pseudo solutions : 0.00 - 0
1796.32/1798.20 c oneopt : 0.00 0 0
1796.32/1798.20 c simplerounding : 0.00 0 0
1796.32/1798.20 c rounding : 0.33 131 0
1796.32/1798.20 c shifting : 2.28 100 0
1796.32/1798.20 c intshifting : 0.00 0 0
1796.32/1798.20 c fixandinfer : 0.00 0 0
1796.32/1798.20 c feaspump : 6.67 1 0
1796.32/1798.20 c coefdiving : 15.67 2 0
1796.32/1798.20 c pscostdiving : 24.42 3 0
1796.32/1798.20 c fracdiving : 21.89 4 0
1796.32/1798.20 c veclendiving : 50.54 7 0
1796.32/1798.20 c intdiving : 0.00 0 0
1796.32/1798.20 c actconsdiving : 0.00 0 0
1796.32/1798.20 c objpscostdiving : 84.46 1 0
1796.32/1798.20 c rootsoldiving : 63.98 2 0
1796.32/1798.20 c linesearchdiving : 63.83 12 0
1796.32/1798.20 c guideddiving : 0.00 0 0
1796.32/1798.20 c octane : 0.00 0 0
1796.32/1798.20 c rens : 0.01 0 0
1796.32/1798.20 c rins : 0.00 0 0
1796.32/1798.20 c localbranching : 0.00 0 0
1796.32/1798.20 c mutation : 0.00 0 0
1796.32/1798.20 c crossover : 0.00 0 0
1796.32/1798.20 c dins : 0.00 0 0
1796.32/1798.20 c LP : Time Calls Iterations Iter/call Iter/sec
1796.32/1798.20 c primal LP : 0.37 0 0 0.00 0.00
1796.32/1798.20 c dual LP : 781.84 212 457967 2160.22 585.76
1796.32/1798.20 c barrier LP : 0.00 0 0 0.00 -
1796.32/1798.20 c diving/probing LP: 320.22 3095 228442 73.81 713.39
1796.32/1798.20 c strong branching : 443.96 647 346463 535.49 780.39
1796.32/1798.20 c (at root node) : - 32 12747 398.34 -
1796.32/1798.20 c conflict analysis: 0.00 0 0 0.00 -
1796.32/1798.20 c B&B Tree :
1796.32/1798.20 c number of runs : 1
1796.32/1798.20 c nodes : 62
1796.32/1798.20 c nodes (total) : 62
1796.32/1798.20 c nodes left : 63
1796.32/1798.20 c max depth : 8
1796.32/1798.20 c max depth (total): 8
1796.32/1798.20 c backtracks : 46 (74.2%)
1796.32/1798.20 c delayed cutoffs : 0
1796.32/1798.20 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.32/1798.20 c avg switch length: 3.90
1796.32/1798.20 c switching time : 0.02
1796.32/1798.20 c Solution :
1796.32/1798.20 c Solutions found : 0 (0 improvements)
1796.32/1798.20 c Primal Bound : -
1796.32/1798.20 c Dual Bound : +1.26768067311737e+03
1796.32/1798.20 c Gap : infinite
1796.32/1798.20 c Root Dual Bound : +1.26357704473197e+03
1796.42/1798.39 c Time complete: 1796.52.