2.49/2.52 c SCIP version 1.1.0.7
2.49/2.52 c LP-Solver SoPlex 1.4.1
2.49/2.52 c user parameter file <scip.set> not found - using default parameters
2.49/2.52 c read problem <HOME/instance-1884487-1245258801.opb>
2.49/2.52 c original problem has 59265 variables (59265 bin, 0 int, 0 impl, 0 cont) and 170983 constraints
3.19/3.29 c No objective function, only one solution is needed.
3.19/3.29 c start presolving problem
3.19/3.29 c presolving:
4.89/5.00 c (round 1) 2443 del vars, 3777 del conss, 1064 chg bounds, 0 chg sides, 402 chg coeffs, 0 upgd conss, 1945937 impls, 0 clqs
5.09/5.18 c (round 2) 2617 del vars, 7291 del conss, 1185 chg bounds, 0 chg sides, 402 chg coeffs, 0 upgd conss, 1946953 impls, 0 clqs
5.29/5.35 c (round 3) 2814 del vars, 7740 del conss, 1329 chg bounds, 0 chg sides, 402 chg coeffs, 0 upgd conss, 1949945 impls, 0 clqs
5.49/5.52 c (round 4) 3009 del vars, 8211 del conss, 1471 chg bounds, 0 chg sides, 402 chg coeffs, 0 upgd conss, 1952875 impls, 0 clqs
5.59/5.68 c (round 5) 3205 del vars, 8682 del conss, 1614 chg bounds, 0 chg sides, 402 chg coeffs, 0 upgd conss, 1955623 impls, 0 clqs
5.79/5.84 c (round 6) 3396 del vars, 9139 del conss, 1751 chg bounds, 0 chg sides, 402 chg coeffs, 0 upgd conss, 1958271 impls, 0 clqs
5.99/6.01 c (round 7) 3594 del vars, 9610 del conss, 1889 chg bounds, 0 chg sides, 402 chg coeffs, 0 upgd conss, 1961565 impls, 0 clqs
6.09/6.18 c (round 8) 3776 del vars, 10069 del conss, 2025 chg bounds, 0 chg sides, 402 chg coeffs, 0 upgd conss, 1965846 impls, 0 clqs
6.28/6.36 c (round 9) 4023 del vars, 10629 del conss, 2201 chg bounds, 0 chg sides, 402 chg coeffs, 0 upgd conss, 1971864 impls, 0 clqs
6.49/6.53 c (round 10) 4235 del vars, 11174 del conss, 2356 chg bounds, 0 chg sides, 402 chg coeffs, 0 upgd conss, 1976100 impls, 0 clqs
6.69/6.71 c (round 11) 4587 del vars, 11940 del conss, 2579 chg bounds, 0 chg sides, 402 chg coeffs, 0 upgd conss, 1981563 impls, 0 clqs
6.79/6.88 c (round 12) 4777 del vars, 12617 del conss, 2718 chg bounds, 0 chg sides, 402 chg coeffs, 0 upgd conss, 1986067 impls, 0 clqs
6.98/7.04 c (round 13) 5061 del vars, 13224 del conss, 2919 chg bounds, 0 chg sides, 402 chg coeffs, 0 upgd conss, 1990225 impls, 0 clqs
7.19/7.23 c (round 14) 5326 del vars, 13932 del conss, 3086 chg bounds, 0 chg sides, 402 chg coeffs, 0 upgd conss, 2004567 impls, 0 clqs
7.39/7.41 c (round 15) 5833 del vars, 15046 del conss, 3428 chg bounds, 0 chg sides, 402 chg coeffs, 0 upgd conss, 2011043 impls, 0 clqs
7.48/7.59 c (round 16) 6184 del vars, 16156 del conss, 3670 chg bounds, 0 chg sides, 402 chg coeffs, 0 upgd conss, 2013185 impls, 0 clqs
7.69/7.75 c (round 17) 6464 del vars, 16975 del conss, 3866 chg bounds, 0 chg sides, 402 chg coeffs, 0 upgd conss, 2015313 impls, 0 clqs
7.89/7.91 c (round 18) 6751 del vars, 17710 del conss, 4068 chg bounds, 0 chg sides, 402 chg coeffs, 0 upgd conss, 2017909 impls, 0 clqs
7.99/8.06 c (round 19) 6931 del vars, 18275 del conss, 4203 chg bounds, 0 chg sides, 402 chg coeffs, 0 upgd conss, 2019999 impls, 0 clqs
8.19/8.24 c (round 20) 7271 del vars, 18984 del conss, 4431 chg bounds, 0 chg sides, 402 chg coeffs, 0 upgd conss, 2032645 impls, 0 clqs
8.39/8.40 c (round 21) 7568 del vars, 19800 del conss, 4642 chg bounds, 0 chg sides, 402 chg coeffs, 0 upgd conss, 2037032 impls, 0 clqs
8.49/8.56 c (round 22) 7756 del vars, 20405 del conss, 4784 chg bounds, 0 chg sides, 402 chg coeffs, 0 upgd conss, 2040068 impls, 0 clqs
8.69/8.72 c (round 23) 7943 del vars, 20849 del conss, 4922 chg bounds, 0 chg sides, 402 chg coeffs, 0 upgd conss, 2043628 impls, 0 clqs
8.79/8.88 c (round 24) 8123 del vars, 21268 del conss, 5057 chg bounds, 0 chg sides, 402 chg coeffs, 0 upgd conss, 2046966 impls, 0 clqs
8.99/9.04 c (round 25) 8259 del vars, 21675 del conss, 5147 chg bounds, 0 chg sides, 402 chg coeffs, 0 upgd conss, 2049656 impls, 0 clqs
9.19/9.20 c (round 26) 8412 del vars, 22022 del conss, 5240 chg bounds, 0 chg sides, 402 chg coeffs, 0 upgd conss, 2056748 impls, 0 clqs
9.29/9.37 c (round 27) 8589 del vars, 22422 del conss, 5333 chg bounds, 0 chg sides, 402 chg coeffs, 0 upgd conss, 2064190 impls, 0 clqs
9.49/9.59 c (round 28) 9616 del vars, 24322 del conss, 5907 chg bounds, 0 chg sides, 402 chg coeffs, 0 upgd conss, 2092157 impls, 0 clqs
9.79/9.81 c (round 29) 10778 del vars, 27795 del conss, 6567 chg bounds, 0 chg sides, 402 chg coeffs, 0 upgd conss, 2114289 impls, 0 clqs
9.90/9.99 c (round 30) 11211 del vars, 29809 del conss, 6812 chg bounds, 6 chg sides, 409 chg coeffs, 0 upgd conss, 2122317 impls, 0 clqs
10.09/10.14 c (round 31) 11380 del vars, 30528 del conss, 6910 chg bounds, 12 chg sides, 421 chg coeffs, 0 upgd conss, 2125801 impls, 0 clqs
10.19/10.29 c (round 32) 11547 del vars, 30917 del conss, 7008 chg bounds, 17 chg sides, 432 chg coeffs, 0 upgd conss, 2128538 impls, 0 clqs
10.39/10.44 c (round 33) 11704 del vars, 31314 del conss, 7103 chg bounds, 17 chg sides, 437 chg coeffs, 0 upgd conss, 2130861 impls, 0 clqs
10.48/10.59 c (round 34) 11858 del vars, 31717 del conss, 7201 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2133487 impls, 0 clqs
10.69/10.74 c (round 35) 12003 del vars, 32085 del conss, 7299 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2136587 impls, 0 clqs
10.79/10.89 c (round 36) 12184 del vars, 32488 del conss, 7409 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2140859 impls, 0 clqs
10.99/11.04 c (round 37) 12323 del vars, 32875 del conss, 7505 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2144033 impls, 0 clqs
11.08/11.19 c (round 38) 12475 del vars, 33203 del conss, 7594 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2149451 impls, 0 clqs
11.29/11.34 c (round 39) 12636 del vars, 33605 del conss, 7691 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2152849 impls, 0 clqs
11.38/11.48 c (round 40) 12757 del vars, 33990 del conss, 7769 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2154201 impls, 0 clqs
11.59/11.62 c (round 41) 12833 del vars, 34226 del conss, 7815 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2154929 impls, 0 clqs
11.69/11.76 c (round 42) 12902 del vars, 34390 del conss, 7860 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2155759 impls, 0 clqs
11.89/11.90 c (round 43) 12967 del vars, 34547 del conss, 7904 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2156527 impls, 0 clqs
11.99/12.04 c (round 44) 13033 del vars, 34699 del conss, 7948 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2157333 impls, 0 clqs
12.09/12.18 c (round 45) 13099 del vars, 34852 del conss, 7992 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2158139 impls, 0 clqs
12.28/12.31 c (round 46) 13165 del vars, 35007 del conss, 8036 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2158945 impls, 0 clqs
12.38/12.45 c (round 47) 13231 del vars, 35161 del conss, 8080 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2159751 impls, 0 clqs
12.48/12.59 c (round 48) 13295 del vars, 35311 del conss, 8124 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2160505 impls, 0 clqs
12.68/12.73 c (round 49) 13361 del vars, 35461 del conss, 8168 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2161287 impls, 0 clqs
12.79/12.86 c (round 50) 13427 del vars, 35615 del conss, 8212 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2162065 impls, 0 clqs
12.99/13.00 c (round 51) 13493 del vars, 35769 del conss, 8256 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2162493 impls, 0 clqs
13.09/13.14 c (round 52) 13559 del vars, 35924 del conss, 8300 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2162817 impls, 0 clqs
13.19/13.27 c (round 53) 13626 del vars, 36078 del conss, 8344 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2163179 impls, 0 clqs
13.38/13.41 c (round 54) 13692 del vars, 36235 del conss, 8388 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2163469 impls, 0 clqs
13.49/13.55 c (round 55) 13758 del vars, 36389 del conss, 8432 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2163791 impls, 0 clqs
13.58/13.68 c (round 56) 13824 del vars, 36543 del conss, 8476 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2164141 impls, 0 clqs
13.79/13.82 c (round 57) 13890 del vars, 36698 del conss, 8520 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2165211 impls, 0 clqs
13.89/13.96 c (round 58) 13956 del vars, 36851 del conss, 8564 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2166257 impls, 0 clqs
13.99/14.09 c (round 59) 14024 del vars, 37009 del conss, 8608 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2166655 impls, 0 clqs
14.19/14.23 c (round 60) 14089 del vars, 37165 del conss, 8652 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2166969 impls, 0 clqs
14.29/14.36 c (round 61) 14139 del vars, 37285 del conss, 8696 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2167085 impls, 0 clqs
14.48/14.50 c (round 62) 14183 del vars, 37407 del conss, 8740 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2167129 impls, 0 clqs
14.58/14.63 c (round 63) 14227 del vars, 37516 del conss, 8784 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2167171 impls, 0 clqs
14.68/14.76 c (round 64) 14271 del vars, 37626 del conss, 8828 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2167213 impls, 0 clqs
14.89/14.90 c (round 65) 14315 del vars, 37736 del conss, 8872 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2167257 impls, 0 clqs
14.99/15.03 c (round 66) 14359 del vars, 37846 del conss, 8916 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2167301 impls, 0 clqs
15.08/15.17 c (round 67) 14452 del vars, 38046 del conss, 9011 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2168392 impls, 0 clqs
15.29/15.31 c (round 68) 14645 del vars, 38514 del conss, 9140 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2169026 impls, 0 clqs
15.39/15.44 c (round 69) 14710 del vars, 38781 del conss, 9194 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2169412 impls, 0 clqs
15.48/15.58 c (round 70) 14759 del vars, 38903 del conss, 9241 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2169628 impls, 0 clqs
15.68/15.71 c (round 71) 14803 del vars, 39019 del conss, 9285 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2169754 impls, 0 clqs
15.78/15.84 c (round 72) 14847 del vars, 39130 del conss, 9329 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2169840 impls, 0 clqs
15.89/15.97 c (round 73) 14891 del vars, 39240 del conss, 9373 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2169930 impls, 0 clqs
16.08/16.11 c (round 74) 14935 del vars, 39350 del conss, 9417 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2170146 impls, 0 clqs
16.19/16.25 c (round 75) 14979 del vars, 39460 del conss, 9461 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2170336 impls, 0 clqs
16.29/16.38 c (round 76) 15023 del vars, 39570 del conss, 9505 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2170514 impls, 0 clqs
16.49/16.51 c (round 77) 15067 del vars, 39680 del conss, 9549 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2170588 impls, 0 clqs
16.58/16.64 c (round 78) 15111 del vars, 39790 del conss, 9593 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2170638 impls, 0 clqs
16.68/16.77 c (round 79) 15155 del vars, 39900 del conss, 9637 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2170708 impls, 0 clqs
16.88/16.91 c (round 80) 15199 del vars, 40009 del conss, 9681 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2170786 impls, 0 clqs
16.99/17.04 c (round 81) 15243 del vars, 40120 del conss, 9725 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2170896 impls, 0 clqs
17.09/17.17 c (round 82) 15287 del vars, 40229 del conss, 9769 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2170958 impls, 0 clqs
17.29/17.30 c (round 83) 15331 del vars, 40340 del conss, 9813 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2171004 impls, 0 clqs
17.38/17.43 c (round 84) 15375 del vars, 40450 del conss, 9857 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2171050 impls, 0 clqs
17.49/17.56 c (round 85) 15419 del vars, 40559 del conss, 9901 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2171094 impls, 0 clqs
17.59/17.69 c (round 86) 15463 del vars, 40670 del conss, 9945 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2171136 impls, 0 clqs
17.79/17.82 c (round 87) 15507 del vars, 40779 del conss, 9989 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2171178 impls, 0 clqs
17.88/17.95 c (round 88) 15551 del vars, 40889 del conss, 10033 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2171222 impls, 0 clqs
17.98/18.08 c (round 89) 15595 del vars, 41000 del conss, 10077 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2171266 impls, 0 clqs
18.18/18.22 c (round 90) 15639 del vars, 41110 del conss, 10121 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2171312 impls, 0 clqs
18.29/18.34 c (round 91) 15683 del vars, 41219 del conss, 10165 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2171356 impls, 0 clqs
18.38/18.47 c (round 92) 15727 del vars, 41329 del conss, 10209 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2171398 impls, 0 clqs
18.59/18.60 c (round 93) 15771 del vars, 41439 del conss, 10253 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2171440 impls, 0 clqs
18.68/18.73 c (round 94) 15815 del vars, 41548 del conss, 10297 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2171484 impls, 0 clqs
18.79/18.86 c (round 95) 15859 del vars, 41659 del conss, 10341 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2171530 impls, 0 clqs
18.88/18.99 c (round 96) 15903 del vars, 41769 del conss, 10385 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2171574 impls, 0 clqs
19.09/19.12 c (round 97) 15947 del vars, 41880 del conss, 10429 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2171618 impls, 0 clqs
19.19/19.25 c (round 98) 15991 del vars, 41989 del conss, 10473 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2171662 impls, 0 clqs
19.28/19.38 c (round 99) 16035 del vars, 42100 del conss, 10517 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2171706 impls, 0 clqs
19.49/19.51 c (round 100) 16079 del vars, 42209 del conss, 10561 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2171752 impls, 0 clqs
19.59/19.63 c (round 101) 16123 del vars, 42318 del conss, 10605 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2171796 impls, 0 clqs
19.68/19.76 c (round 102) 16167 del vars, 42429 del conss, 10649 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2171840 impls, 0 clqs
19.79/19.89 c (round 103) 16211 del vars, 42524 del conss, 10693 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2171912 impls, 0 clqs
19.99/20.02 c (round 104) 16211 del vars, 42612 del conss, 10693 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2171940 impls, 0 clqs
21.28/21.36 c (round 105) 16211 del vars, 42660 del conss, 10693 chg bounds, 22 chg sides, 442 chg coeffs, 128132 upgd conss, 2171940 impls, 0 clqs
21.58/21.66 c (round 106) 16211 del vars, 42660 del conss, 10693 chg bounds, 22 chg sides, 442 chg coeffs, 128323 upgd conss, 2171940 impls, 0 clqs
21.88/21.95 c presolving (107 rounds):
21.88/21.95 c 16211 deleted vars, 42660 deleted constraints, 10693 tightened bounds, 0 added holes, 22 changed sides, 442 changed coefficients
21.88/21.95 c 2171940 implications, 0 cliques
21.88/21.95 c presolved problem has 43054 variables (43054 bin, 0 int, 0 impl, 0 cont) and 128323 constraints
21.88/21.95 c 128323 constraints of type <logicor>
21.88/21.95 c transformed objective value is always integral (scale: 1)
21.88/21.95 c Presolving Time: 12.73
21.88/21.95 c PURESAT
21.88/21.95 c -----------------------------------------------------------------------------------------------
21.88/21.95 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
21.88/21.95 c # [type: int, range: [-1,2147483647], default: 0]
21.88/21.95 c separating/flowcover/freq = c -1
21.88/21.95 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
21.88/21.95 c # [type: int, range: [-1,2147483647], default: 0]
21.88/21.95 c separating/cmir/freq = c -1
21.88/21.95 c # additional number of allowed LP iterations
21.88/21.95 c # [type: int, range: [0,2147483647], default: 1000]
21.88/21.95 c heuristics/veclendiving/maxlpiterofs = c 1500
21.88/21.95 c # maximal fraction of diving LP iterations compared to node LP iterations
21.88/21.95 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
21.88/21.95 c heuristics/veclendiving/maxlpiterquot = c 0.075
21.88/21.95 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
21.88/21.95 c # [type: int, range: [-1,2147483647], default: 10]
21.88/21.95 c heuristics/veclendiving/freq = c -1
21.88/21.95 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
21.88/21.95 c # [type: int, range: [-1,2147483647], default: 1]
21.88/21.95 c heuristics/simplerounding/freq = c -1
21.88/21.95 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
21.88/21.95 c # [type: int, range: [-1,2147483647], default: 10]
21.88/21.95 c heuristics/shifting/freq = c -1
21.88/21.95 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
21.88/21.95 c # [type: int, range: [-1,2147483647], default: 1]
21.88/21.95 c heuristics/rounding/freq = c -1
21.88/21.95 c # additional number of allowed LP iterations
21.88/21.95 c # [type: int, range: [0,2147483647], default: 1000]
21.88/21.95 c heuristics/rootsoldiving/maxlpiterofs = c 1500
21.88/21.95 c # maximal fraction of diving LP iterations compared to node LP iterations
21.88/21.95 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
21.88/21.95 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
21.88/21.95 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
21.88/21.95 c # [type: int, range: [-1,2147483647], default: 20]
21.88/21.95 c heuristics/rootsoldiving/freq = c -1
21.88/21.95 c # number of nodes added to the contingent of the total nodes
21.88/21.95 c # [type: longint, range: [0,9223372036854775807], default: 500]
21.88/21.95 c heuristics/rens/nodesofs = c 2000
21.88/21.95 c # minimum percentage of integer variables that have to be fixable
21.88/21.95 c # [type: real, range: [0,1], default: 0.5]
21.88/21.95 c heuristics/rens/minfixingrate = c 0.3
21.88/21.95 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
21.88/21.95 c # [type: int, range: [-1,2147483647], default: 0]
21.88/21.95 c heuristics/rens/freq = c -1
21.88/21.95 c # additional number of allowed LP iterations
21.88/21.95 c # [type: int, range: [0,2147483647], default: 1000]
21.88/21.95 c heuristics/pscostdiving/maxlpiterofs = c 1500
21.88/21.95 c # maximal fraction of diving LP iterations compared to node LP iterations
21.88/21.95 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
21.88/21.95 c heuristics/pscostdiving/maxlpiterquot = c 0.075
21.88/21.95 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
21.88/21.95 c # [type: int, range: [-1,2147483647], default: 10]
21.88/21.95 c heuristics/pscostdiving/freq = c -1
21.88/21.95 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
21.88/21.95 c # [type: int, range: [-1,2147483647], default: 1]
21.88/21.95 c heuristics/oneopt/freq = c -1
21.88/21.95 c # additional number of allowed LP iterations
21.88/21.95 c # [type: int, range: [0,2147483647], default: 1000]
21.88/21.95 c heuristics/objpscostdiving/maxlpiterofs = c 1500
21.88/21.95 c # maximal fraction of diving LP iterations compared to total iteration number
21.88/21.95 c # [type: real, range: [0,1], default: 0.01]
21.88/21.95 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
21.88/21.95 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
21.88/21.95 c # [type: int, range: [-1,2147483647], default: 20]
21.88/21.95 c heuristics/objpscostdiving/freq = c -1
21.88/21.95 c # additional number of allowed LP iterations
21.88/21.95 c # [type: int, range: [0,2147483647], default: 1000]
21.88/21.95 c heuristics/linesearchdiving/maxlpiterofs = c 1500
21.88/21.95 c # maximal fraction of diving LP iterations compared to node LP iterations
21.88/21.95 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
21.88/21.95 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
21.88/21.95 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
21.88/21.95 c # [type: int, range: [-1,2147483647], default: 10]
21.88/21.95 c heuristics/linesearchdiving/freq = c -1
21.88/21.95 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
21.88/21.95 c # [type: int, range: [-1,2147483647], default: 10]
21.88/21.95 c heuristics/intshifting/freq = c -1
21.88/21.95 c # maximal fraction of diving LP iterations compared to node LP iterations
21.88/21.95 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
21.88/21.95 c heuristics/intdiving/maxlpiterquot = c 0.075
21.88/21.95 c # additional number of allowed LP iterations
21.88/21.95 c # [type: int, range: [0,2147483647], default: 1000]
21.88/21.95 c heuristics/guideddiving/maxlpiterofs = c 1500
21.88/21.95 c # maximal fraction of diving LP iterations compared to node LP iterations
21.88/21.95 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
21.88/21.95 c heuristics/guideddiving/maxlpiterquot = c 0.075
21.88/21.95 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
21.88/21.95 c # [type: int, range: [-1,2147483647], default: 10]
21.88/21.95 c heuristics/guideddiving/freq = c -1
21.88/21.95 c # additional number of allowed LP iterations
21.88/21.95 c # [type: int, range: [0,2147483647], default: 1000]
21.88/21.95 c heuristics/fracdiving/maxlpiterofs = c 1500
21.88/21.95 c # maximal fraction of diving LP iterations compared to node LP iterations
21.88/21.95 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
21.88/21.95 c heuristics/fracdiving/maxlpiterquot = c 0.075
21.88/21.95 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
21.88/21.95 c # [type: int, range: [-1,2147483647], default: 10]
21.88/21.95 c heuristics/fracdiving/freq = c -1
21.88/21.95 c # additional number of allowed LP iterations
21.88/21.95 c # [type: int, range: [0,2147483647], default: 1000]
21.88/21.95 c heuristics/feaspump/maxlpiterofs = c 2000
21.88/21.95 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
21.88/21.95 c # [type: int, range: [-1,2147483647], default: 20]
21.88/21.95 c heuristics/feaspump/freq = c -1
21.88/21.95 c # minimum percentage of integer variables that have to be fixed
21.88/21.95 c # [type: real, range: [0,1], default: 0.666]
21.88/21.95 c heuristics/crossover/minfixingrate = c 0.5
21.88/21.95 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
21.88/21.95 c # [type: real, range: [0,1], default: 0.1]
21.88/21.95 c heuristics/crossover/nodesquot = c 0.15
21.88/21.95 c # number of nodes without incumbent change that heuristic should wait
21.88/21.95 c # [type: longint, range: [0,9223372036854775807], default: 200]
21.88/21.95 c heuristics/crossover/nwaitingnodes = c 100
21.88/21.95 c # number of nodes added to the contingent of the total nodes
21.88/21.95 c # [type: longint, range: [0,9223372036854775807], default: 500]
21.88/21.95 c heuristics/crossover/nodesofs = c 750
21.88/21.95 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
21.88/21.95 c # [type: int, range: [-1,2147483647], default: 30]
21.88/21.95 c heuristics/crossover/freq = c -1
21.88/21.95 c # additional number of allowed LP iterations
21.88/21.95 c # [type: int, range: [0,2147483647], default: 1000]
21.88/21.95 c heuristics/coefdiving/maxlpiterofs = c 1500
21.88/21.95 c # maximal fraction of diving LP iterations compared to node LP iterations
21.88/21.95 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
21.88/21.95 c heuristics/coefdiving/maxlpiterquot = c 0.075
21.88/21.95 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
21.88/21.95 c # [type: int, range: [-1,2147483647], default: 10]
21.88/21.95 c heuristics/coefdiving/freq = c -1
21.88/21.95 c # priority of node selection rule <dfs> in standard mode
21.88/21.95 c # [type: int, range: [-536870912,536870911], default: 0]
21.88/21.95 c nodeselection/dfs/stdpriority = c 1000000
21.88/21.95 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
21.88/21.95 c # [type: int, range: [-1,2147483647], default: -1]
21.88/21.95 c presolving/probing/maxrounds = c 0
21.88/21.95 c # should presolving try to simplify knapsacks
21.88/21.95 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
21.88/21.95 c constraints/knapsack/simplifyinequalities = c TRUE
21.88/21.95 c # should disaggregation of knapsack constraints be allowed in preprocessing?
21.88/21.95 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
21.88/21.95 c constraints/knapsack/disaggregation = c FALSE
21.88/21.95 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
21.98/22.00 c # [type: int, range: [-1,2147483647], default: -1]
21.98/22.00 c constraints/knapsack/maxnumcardlift = c 0
21.98/22.00 c # should presolving try to simplify inequalities
21.98/22.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
21.98/22.00 c constraints/linear/simplifyinequalities = c TRUE
21.98/22.00 c # maximal number of separation rounds in the root node (-1: unlimited)
21.98/22.00 c # [type: int, range: [-1,2147483647], default: -1]
21.98/22.00 c separating/maxroundsroot = c 5
21.98/22.00 c # maximal number of separation rounds per node (-1: unlimited)
21.98/22.00 c # [type: int, range: [-1,2147483647], default: 5]
21.98/22.00 c separating/maxrounds = c 1
21.98/22.00 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)
21.98/22.00 c # [type: char, range: {lafpsqd}, default: l]
21.98/22.00 c lp/pricing = c a
21.98/22.00 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
21.98/22.00 c # [type: int, range: [-1,2147483647], default: 1]
21.98/22.00 c lp/solvefreq = c 0
21.98/22.00 c # solving stops, if the given number of solutions were found (-1: no limit)
21.98/22.00 c # [type: int, range: [-1,2147483647], default: -1]
21.98/22.00 c limits/solutions = c 1
21.98/22.00 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
21.98/22.00 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
21.98/22.00 c limits/memory = c 1620
21.98/22.00 c # maximal time in seconds to run
21.98/22.00 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
21.98/22.00 c limits/time = c 1791
21.98/22.00 c # frequency for displaying node information lines
21.98/22.00 c # [type: int, range: [-1,2147483647], default: 100]
21.98/22.00 c display/freq = c 10000
21.98/22.00 c # should enforcement of pseudo solution be disabled?
21.98/22.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
21.98/22.00 c constraints/disableenfops = c TRUE
21.98/22.00 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
21.98/22.00 c # [type: int, range: [-1,2147483647], default: 0]
21.98/22.00 c constraints/agelimit = c 1
21.98/22.00 c # should binary conflicts be preferred?
21.98/22.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
21.98/22.00 c conflict/preferbinary = c TRUE
21.98/22.00 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
21.98/22.00 c # [type: int, range: [-1,2147483647], default: -1]
21.98/22.00 c conflict/interconss = c 0
21.98/22.00 c -----------------------------------------------------------------------------------------------
21.98/22.00 c start solving problem
21.98/22.00 c
404.36/404.53 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
404.36/404.53 c 395s| 1 | 0 | 39890 | 323M| 0 | 21k| 43k| 128k| 128k| 43k| 128k| 0 | 0 | 0 | 1.839390e+04 | -- | Inf
486.03/486.20 c 476s| 1 | 0 | 43383 | 325M| 0 | 21k| 43k| 128k| 128k| 43k| 128k| 58 | 0 | 0 | 1.842447e+04 | -- | Inf
562.20/562.48 c 553s| 1 | 0 | 47106 | 325M| 0 | 21k| 43k| 128k| 128k| 43k| 128k| 161 | 0 | 0 | 1.844508e+04 | -- | Inf
650.37/650.66 c 641s| 1 | 0 | 51288 | 326M| 0 | 21k| 43k| 128k| 128k| 43k| 128k| 243 | 0 | 0 | 1.847105e+04 | -- | Inf
775.33/775.66 c 766s| 1 | 0 | 56201 | 327M| 0 | 22k| 43k| 128k| 128k| 43k| 128k| 306 | 0 | 0 | 1.849299e+04 | -- | Inf
888.79/889.10 c 879s| 1 | 0 | 60999 | 328M| 0 | 22k| 43k| 128k| 128k| 43k| 128k| 356 | 0 | 0 | 1.850820e+04 | -- | Inf
1412.71/1413.29 c 1403s| 1 | 2 | 60999 | 328M| 0 | 22k| 43k| 128k| 128k| 43k| 128k| 356 | 0 | 26 | 1.850820e+04 | -- | Inf
1800.09/1800.77 c
1800.09/1800.77 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.77 c Solving Time (sec) : 1790.03
1800.09/1800.77 c Solving Nodes : 2608
1800.09/1800.77 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.09/1800.77 c Dual Bound : +1.85081978795176e+04
1800.09/1800.77 c Gap : infinite
1800.09/1800.77 c NODE 2608
1800.09/1800.77 c DUAL BOUND 18508.2
1800.09/1800.77 c PRIMAL BOUND 1e+20
1800.09/1800.77 c GAP 1e+20
1800.09/1800.77 s UNKNOWN
1800.09/1800.77 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.77 c Solving Time : 1790.03
1800.09/1800.77 c Original Problem :
1800.09/1800.77 c Problem name : HOME/instance-1884487-1245258801.opb
1800.09/1800.77 c Variables : 59265 (59265 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.77 c Constraints : 170983 initial, 170983 maximal
1800.09/1800.77 c Presolved Problem :
1800.09/1800.77 c Problem name : t_HOME/instance-1884487-1245258801.opb
1800.09/1800.77 c Variables : 43054 (43054 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.77 c Constraints : 128323 initial, 128339 maximal
1800.09/1800.77 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.09/1800.77 c trivial : 1.10 35 0 0 0 0 0 0 0
1800.09/1800.77 c dualfix : 0.98 71 0 0 0 0 0 0 0
1800.09/1800.77 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.77 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.77 c implics : 2.32 0 5233 0 0 0 0 0 0
1800.09/1800.77 c probing : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.77 c linear : 7.12 10664 208 0 10693 0 42660 22 442
1800.09/1800.77 c logicor : 0.68 0 0 0 0 0 0 0 0
1800.09/1800.77 c root node : - 67 - - 67 - - - -
1800.09/1800.77 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.09/1800.77 c integral : 0 0 0 1 0 0 0 0 0 2
1800.09/1800.77 c logicor : 128323+ 5 37597 0 0 306 303416 0 0 0
1800.09/1800.77 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.09/1800.77 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.09/1800.77 c integral : 523.80 0.00 0.00 523.80 0.00
1800.09/1800.77 c logicor : 5.88 0.09 5.79 0.00 0.00
1800.09/1800.77 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.09/1800.77 c Propagators : Time Calls Cutoffs DomReds
1800.09/1800.77 c rootredcost : 0.07 0 0 0
1800.09/1800.77 c pseudoobj : 335.68 43746 0 0
1800.09/1800.77 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.09/1800.77 c propagation : 0.14 306 306 306 6.7 239 7.3 -
1800.09/1800.77 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.77 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.77 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.77 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.09/1800.77 c applied globally : - - - 545 7.0 - - -
1800.09/1800.77 c applied locally : - - - 0 0.0 - - -
1800.09/1800.77 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.09/1800.77 c cut pool : 0.01 4 - - 79 - (maximal pool size: 1551)
1800.09/1800.77 c redcost : 0.03 5 0 0 0 0
1800.09/1800.77 c impliedbounds : 0.32 5 0 0 0 0
1800.09/1800.77 c intobj : 0.00 0 0 0 0 0
1800.09/1800.77 c gomory : 14.47 5 0 0 2500 0
1800.09/1800.77 c strongcg : 13.05 5 0 0 2500 0
1800.09/1800.77 c cmir : 0.00 0 0 0 0 0
1800.09/1800.77 c flowcover : 0.00 0 0 0 0 0
1800.09/1800.77 c clique : 33.56 5 0 0 38 0
1800.09/1800.77 c zerohalf : 0.00 0 0 0 0 0
1800.09/1800.77 c mcf : 2.15 1 0 0 0 0
1800.09/1800.77 c Pricers : Time Calls Vars
1800.09/1800.77 c problem variables: 0.00 0 0
1800.09/1800.77 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.09/1800.77 c relpscost : 523.80 1 0 0 0 0 2
1800.09/1800.77 c pscost : 0.00 0 0 0 0 0 0
1800.09/1800.77 c inference : 38.51 2408 0 0 0 0 4816
1800.09/1800.77 c mostinf : 0.00 0 0 0 0 0 0
1800.09/1800.77 c leastinf : 0.00 0 0 0 0 0 0
1800.09/1800.77 c fullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.77 c allfullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.77 c random : 0.00 0 0 0 0 0 0
1800.09/1800.77 c Primal Heuristics : Time Calls Found
1800.09/1800.77 c LP solutions : 0.00 - 0
1800.09/1800.77 c pseudo solutions : 0.00 - 0
1800.09/1800.77 c simplerounding : 0.00 0 0
1800.09/1800.77 c rounding : 0.00 0 0
1800.09/1800.77 c shifting : 0.00 0 0
1800.09/1800.77 c intshifting : 0.00 0 0
1800.09/1800.77 c oneopt : 0.00 0 0
1800.09/1800.77 c fixandinfer : 0.00 0 0
1800.09/1800.77 c feaspump : 0.00 0 0
1800.09/1800.77 c coefdiving : 0.00 0 0
1800.09/1800.77 c pscostdiving : 0.00 0 0
1800.09/1800.77 c fracdiving : 0.00 0 0
1800.09/1800.77 c veclendiving : 0.00 0 0
1800.09/1800.77 c intdiving : 0.00 0 0
1800.09/1800.77 c actconsdiving : 0.00 0 0
1800.09/1800.77 c objpscostdiving : 0.00 0 0
1800.09/1800.77 c rootsoldiving : 0.00 0 0
1800.09/1800.77 c linesearchdiving : 0.00 0 0
1800.09/1800.77 c guideddiving : 0.00 0 0
1800.09/1800.77 c octane : 0.00 0 0
1800.09/1800.77 c rens : 0.00 0 0
1800.09/1800.77 c rins : 0.00 0 0
1800.09/1800.77 c localbranching : 0.00 0 0
1800.09/1800.77 c mutation : 0.00 0 0
1800.09/1800.77 c crossover : 0.00 0 0
1800.09/1800.77 c dins : 0.00 0 0
1800.09/1800.77 c LP : Time Calls Iterations Iter/call Iter/sec
1800.09/1800.77 c primal LP : 0.18 0 0 0.00 0.00
1800.09/1800.77 c dual LP : 800.75 6 60999 10166.50 76.18
1800.09/1800.77 c barrier LP : 0.00 0 0 0.00 -
1800.09/1800.77 c diving/probing LP: 0.00 0 0 0.00 -
1800.09/1800.77 c strong branching : 523.78 26 25744 990.15 49.15
1800.09/1800.77 c (at root node) : - 26 25744 990.15 -
1800.09/1800.77 c conflict analysis: 0.00 0 0 0.00 -
1800.09/1800.77 c B&B Tree :
1800.09/1800.77 c number of runs : 1
1800.09/1800.77 c nodes : 2608
1800.09/1800.77 c nodes (total) : 2608
1800.09/1800.77 c nodes left : 327
1800.09/1800.77 c max depth : 478
1800.09/1800.77 c max depth (total): 478
1800.09/1800.77 c backtracks : 144 (5.5%)
1800.09/1800.77 c delayed cutoffs : 1884
1800.09/1800.77 c repropagations : 9887 (92446 domain reductions, 107 cutoffs)
1800.09/1800.77 c avg switch length: 9.23
1800.09/1800.77 c switching time : 5.77
1800.09/1800.77 c Solution :
1800.09/1800.77 c Solutions found : 0 (0 improvements)
1800.09/1800.77 c Primal Bound : -
1800.09/1800.77 c Dual Bound : +1.85081978795176e+04
1800.09/1800.77 c Gap : infinite
1800.09/1800.77 c Root Dual Bound : +1.85081978795176e+04
1801.28/1801.92 c Time complete: 1801.31.