6.89/6.93 c SCIP version 1.1.0.7
6.89/6.93 c LP-Solver Clp 1.8.2
6.89/6.93 c user parameter file <scip.set> not found - using default parameters
6.89/6.93 c read problem <HOME/instance-1885718-1245269076.opb>
6.89/6.93 c original problem has 104479 variables (104479 bin, 0 int, 0 impl, 0 cont) and 500869 constraints
8.79/8.81 c No objective function, only one solution is needed.
8.79/8.81 c start presolving problem
8.79/8.81 c presolving:
30.08/30.13 c (round 1) 6194 del vars, 5838 del conss, 5498 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16132782 impls, 0 clqs
32.78/32.82 c (round 2) 17615 del vars, 85141 del conss, 16730 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16198855 impls, 0 clqs
34.48/34.54 c (round 3) 18802 del vars, 109013 del conss, 17818 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16667908 impls, 0 clqs
36.19/36.23 c (round 4) 23018 del vars, 132122 del conss, 21938 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16681566 impls, 0 clqs
36.58/36.65 c (round 5) 23240 del vars, 132832 del conss, 22088 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16698608 impls, 0 clqs
36.98/37.07 c (round 6) 23466 del vars, 133560 del conss, 22238 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16715308 impls, 0 clqs
37.39/37.50 c (round 7) 23697 del vars, 134320 del conss, 22388 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16734934 impls, 0 clqs
37.88/37.91 c (round 8) 23912 del vars, 135030 del conss, 22532 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16751216 impls, 0 clqs
38.28/38.34 c (round 9) 24130 del vars, 135762 del conss, 22671 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16769773 impls, 0 clqs
38.67/38.76 c (round 10) 24332 del vars, 136430 del conss, 22805 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16788714 impls, 0 clqs
39.08/39.18 c (round 11) 24536 del vars, 137118 del conss, 22935 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16808184 impls, 0 clqs
39.48/39.60 c (round 12) 24725 del vars, 137758 del conss, 23059 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16826618 impls, 0 clqs
39.98/40.02 c (round 13) 24909 del vars, 138366 del conss, 23178 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16847036 impls, 0 clqs
40.38/40.44 c (round 14) 25084 del vars, 138961 del conss, 23292 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16867230 impls, 0 clqs
40.78/40.86 c (round 15) 25252 del vars, 139513 del conss, 23401 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16889186 impls, 0 clqs
41.18/41.27 c (round 16) 25413 del vars, 140067 del conss, 23505 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16908808 impls, 0 clqs
41.58/41.68 c (round 17) 25567 del vars, 140580 del conss, 23605 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16925964 impls, 0 clqs
41.97/42.09 c (round 18) 25721 del vars, 141092 del conss, 23705 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16943989 impls, 0 clqs
42.37/42.50 c (round 19) 25876 del vars, 141609 del conss, 23805 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16963075 impls, 0 clqs
42.88/42.90 c (round 20) 26030 del vars, 142120 del conss, 23905 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16980399 impls, 0 clqs
43.28/43.31 c (round 21) 26184 del vars, 142631 del conss, 24004 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16999789 impls, 0 clqs
43.68/43.72 c (round 22) 26329 del vars, 143130 del conss, 24098 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17018626 impls, 0 clqs
44.08/44.13 c (round 23) 26470 del vars, 143606 del conss, 24187 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17036268 impls, 0 clqs
44.48/44.53 c (round 24) 26601 del vars, 144063 del conss, 24271 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17054014 impls, 0 clqs
44.88/44.94 c (round 25) 26727 del vars, 144494 del conss, 24351 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17072094 impls, 0 clqs
45.28/45.34 c (round 26) 26853 del vars, 144924 del conss, 24431 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17089172 impls, 0 clqs
45.68/45.74 c (round 27) 26979 del vars, 145353 del conss, 24511 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17106878 impls, 0 clqs
46.08/46.15 c (round 28) 27105 del vars, 145782 del conss, 24591 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17124726 impls, 0 clqs
46.48/46.55 c (round 29) 27231 del vars, 146212 del conss, 24671 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17141564 impls, 0 clqs
46.88/46.95 c (round 30) 27357 del vars, 146642 del conss, 24751 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17159108 impls, 0 clqs
47.28/47.36 c (round 31) 27483 del vars, 147071 del conss, 24831 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17178708 impls, 0 clqs
47.67/47.76 c (round 32) 27609 del vars, 147500 del conss, 24911 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17196024 impls, 0 clqs
48.08/48.17 c (round 33) 27735 del vars, 147930 del conss, 24991 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17213602 impls, 0 clqs
48.47/48.57 c (round 34) 27861 del vars, 148360 del conss, 25071 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17231464 impls, 0 clqs
48.88/48.98 c (round 35) 27995 del vars, 148837 del conss, 25151 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17247886 impls, 0 clqs
49.27/49.38 c (round 36) 28119 del vars, 149244 del conss, 25231 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17263920 impls, 0 clqs
49.68/49.78 c (round 37) 28255 del vars, 149723 del conss, 25315 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17282799 impls, 0 clqs
50.08/50.18 c (round 38) 28385 del vars, 150186 del conss, 25398 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17298359 impls, 0 clqs
50.48/50.59 c (round 39) 28521 del vars, 150681 del conss, 25482 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17315086 impls, 0 clqs
50.87/50.99 c (round 40) 28651 del vars, 151145 del conss, 25565 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17332972 impls, 0 clqs
51.28/51.39 c (round 41) 28787 del vars, 151648 del conss, 25649 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17349533 impls, 0 clqs
51.68/51.79 c (round 42) 28917 del vars, 152107 del conss, 25732 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17364859 impls, 0 clqs
52.07/52.19 c (round 43) 29053 del vars, 152608 del conss, 25816 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17383340 impls, 0 clqs
52.47/52.59 c (round 44) 29183 del vars, 153073 del conss, 25899 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17399012 impls, 0 clqs
52.88/52.99 c (round 45) 29319 del vars, 153570 del conss, 25983 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17415499 impls, 0 clqs
53.28/53.40 c (round 46) 29449 del vars, 154042 del conss, 26066 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17432113 impls, 0 clqs
53.67/53.80 c (round 47) 29585 del vars, 154538 del conss, 26150 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17449758 impls, 0 clqs
54.08/54.19 c (round 48) 29715 del vars, 154999 del conss, 26233 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17465674 impls, 0 clqs
54.57/54.60 c (round 49) 29852 del vars, 155509 del conss, 26318 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17483345 impls, 0 clqs
54.88/54.99 c (round 50) 29982 del vars, 155975 del conss, 26401 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17499501 impls, 0 clqs
55.27/55.40 c (round 51) 30119 del vars, 156480 del conss, 26486 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17517936 impls, 0 clqs
55.77/55.80 c (round 52) 30250 del vars, 156956 del conss, 26570 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17535856 impls, 0 clqs
56.17/56.20 c (round 53) 30387 del vars, 157472 del conss, 26654 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17554501 impls, 0 clqs
56.47/56.59 c (round 54) 30510 del vars, 157938 del conss, 26733 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17570269 impls, 0 clqs
56.87/56.99 c (round 55) 30632 del vars, 158405 del conss, 26806 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17588728 impls, 0 clqs
57.27/57.38 c (round 56) 30740 del vars, 158818 del conss, 26874 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17604756 impls, 0 clqs
57.67/57.77 c (round 57) 30843 del vars, 159215 del conss, 26936 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17623627 impls, 0 clqs
58.08/58.15 c (round 58) 30936 del vars, 159574 del conss, 26993 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17636999 impls, 0 clqs
58.47/58.53 c (round 59) 31025 del vars, 159917 del conss, 27048 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17650942 impls, 0 clqs
58.87/58.91 c (round 60) 31114 del vars, 160275 del conss, 27102 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17663934 impls, 0 clqs
59.18/59.29 c (round 61) 31203 del vars, 160623 del conss, 27155 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17677619 impls, 0 clqs
59.58/59.66 c (round 62) 31291 del vars, 160966 del conss, 27208 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17689819 impls, 0 clqs
59.97/60.04 c (round 63) 31380 del vars, 161300 del conss, 27263 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17704174 impls, 0 clqs
60.38/60.41 c (round 64) 31468 del vars, 161645 del conss, 27316 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17716090 impls, 0 clqs
60.68/60.79 c (round 65) 31557 del vars, 161995 del conss, 27369 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17729347 impls, 0 clqs
61.07/61.17 c (round 66) 31645 del vars, 162326 del conss, 27422 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17742981 impls, 0 clqs
61.47/61.54 c (round 67) 31734 del vars, 162673 del conss, 27477 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17756976 impls, 0 clqs
61.88/61.92 c (round 68) 31824 del vars, 163031 del conss, 27532 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17769946 impls, 0 clqs
62.28/62.30 c (round 69) 31912 del vars, 163380 del conss, 27584 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17784633 impls, 0 clqs
62.58/62.67 c (round 70) 32002 del vars, 163724 del conss, 27639 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17797477 impls, 0 clqs
62.98/63.05 c (round 71) 32090 del vars, 164069 del conss, 27693 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17813710 impls, 0 clqs
63.37/63.43 c (round 72) 32176 del vars, 164397 del conss, 27746 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17829238 impls, 0 clqs
63.78/63.81 c (round 73) 32264 del vars, 164739 del conss, 27798 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17845086 impls, 0 clqs
64.07/64.18 c (round 74) 32349 del vars, 165049 del conss, 27851 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17861932 impls, 0 clqs
64.47/64.57 c (round 75) 32439 del vars, 165397 del conss, 27907 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17882308 impls, 0 clqs
64.88/64.95 c (round 76) 32521 del vars, 165715 del conss, 27959 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17899424 impls, 0 clqs
65.27/65.33 c (round 77) 32610 del vars, 166050 del conss, 28012 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17917070 impls, 0 clqs
65.67/65.70 c (round 78) 32692 del vars, 166354 del conss, 28064 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17934960 impls, 0 clqs
65.98/66.09 c (round 79) 32781 del vars, 166687 del conss, 28119 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17954804 impls, 0 clqs
66.38/66.46 c (round 80) 32863 del vars, 166986 del conss, 28171 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17970640 impls, 0 clqs
66.78/66.85 c (round 81) 32952 del vars, 167332 del conss, 28223 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17991700 impls, 0 clqs
67.17/67.23 c (round 82) 33026 del vars, 167623 del conss, 28270 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18010885 impls, 0 clqs
67.57/67.61 c (round 83) 33094 del vars, 167878 del conss, 28313 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18031449 impls, 0 clqs
67.87/67.99 c (round 84) 33163 del vars, 168136 del conss, 28356 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18051021 impls, 0 clqs
68.27/68.37 c (round 85) 33229 del vars, 168380 del conss, 28398 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18069773 impls, 0 clqs
68.67/68.74 c (round 86) 33301 del vars, 168666 del conss, 28442 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18088333 impls, 0 clqs
69.07/69.12 c (round 87) 33367 del vars, 168907 del conss, 28483 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18108987 impls, 0 clqs
69.37/69.49 c (round 88) 33427 del vars, 169158 del conss, 28520 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18126534 impls, 0 clqs
69.77/69.86 c (round 89) 33475 del vars, 169333 del conss, 28551 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18145511 impls, 0 clqs
70.17/70.23 c (round 90) 33523 del vars, 169501 del conss, 28582 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18162524 impls, 0 clqs
70.57/70.60 c (round 91) 33571 del vars, 169665 del conss, 28613 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18181725 impls, 0 clqs
70.87/70.97 c (round 92) 33619 del vars, 169831 del conss, 28644 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18199626 impls, 0 clqs
71.27/71.34 c (round 93) 33667 del vars, 169997 del conss, 28675 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18218443 impls, 0 clqs
71.67/71.71 c (round 94) 33715 del vars, 170169 del conss, 28706 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18237490 impls, 0 clqs
71.97/72.08 c (round 95) 33763 del vars, 170333 del conss, 28737 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18256103 impls, 0 clqs
72.37/72.45 c (round 96) 33812 del vars, 170508 del conss, 28769 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18275054 impls, 0 clqs
72.77/72.82 c (round 97) 33860 del vars, 170680 del conss, 28800 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18291831 impls, 0 clqs
73.07/73.18 c (round 98) 33909 del vars, 170853 del conss, 28832 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18310508 impls, 0 clqs
73.46/73.56 c (round 99) 33957 del vars, 171022 del conss, 28862 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18331391 impls, 0 clqs
73.87/73.92 c (round 100) 33997 del vars, 171184 del conss, 28888 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18343978 impls, 0 clqs
74.17/74.27 c (round 101) 34031 del vars, 171312 del conss, 28909 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18354891 impls, 0 clqs
74.57/74.62 c (round 102) 34066 del vars, 171448 del conss, 28931 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18366450 impls, 0 clqs
74.87/74.98 c (round 103) 34100 del vars, 171577 del conss, 28952 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18377093 impls, 0 clqs
75.27/75.33 c (round 104) 34134 del vars, 171706 del conss, 28973 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18388476 impls, 0 clqs
75.57/75.68 c (round 105) 34168 del vars, 171831 del conss, 28994 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18399721 impls, 0 clqs
75.97/76.04 c (round 106) 34202 del vars, 171958 del conss, 29015 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18411456 impls, 0 clqs
76.26/76.39 c (round 107) 34236 del vars, 172081 del conss, 29036 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18422353 impls, 0 clqs
76.67/76.74 c (round 108) 34270 del vars, 172210 del conss, 29057 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18433928 impls, 0 clqs
76.97/77.09 c (round 109) 34304 del vars, 172331 del conss, 29078 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18444501 impls, 0 clqs
77.37/77.44 c (round 110) 34338 del vars, 172463 del conss, 29099 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18454718 impls, 0 clqs
77.67/77.79 c (round 111) 34372 del vars, 172585 del conss, 29120 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18465257 impls, 0 clqs
78.07/78.14 c (round 112) 34407 del vars, 172719 del conss, 29142 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18476106 impls, 0 clqs
78.37/78.49 c (round 113) 34441 del vars, 172850 del conss, 29163 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18486257 impls, 0 clqs
78.76/78.83 c (round 114) 34476 del vars, 172985 del conss, 29185 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18496662 impls, 0 clqs
79.07/79.18 c (round 115) 34510 del vars, 173111 del conss, 29206 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18507215 impls, 0 clqs
79.47/79.53 c (round 116) 34545 del vars, 173245 del conss, 29228 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18517632 impls, 0 clqs
79.77/79.88 c (round 117) 34579 del vars, 173372 del conss, 29249 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18528237 impls, 0 clqs
80.18/80.23 c (round 118) 34614 del vars, 173504 del conss, 29271 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18538862 impls, 0 clqs
80.47/80.58 c (round 119) 34648 del vars, 173638 del conss, 29292 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18549115 impls, 0 clqs
80.87/80.92 c (round 120) 34682 del vars, 173767 del conss, 29313 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18559696 impls, 0 clqs
81.16/81.27 c (round 121) 34716 del vars, 173891 del conss, 29334 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18569751 impls, 0 clqs
81.57/81.62 c (round 122) 34750 del vars, 174015 del conss, 29355 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18579239 impls, 0 clqs
81.87/81.96 c (round 123) 34778 del vars, 174106 del conss, 29375 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18589453 impls, 0 clqs
82.27/82.31 c (round 124) 34806 del vars, 174188 del conss, 29395 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18598309 impls, 0 clqs
82.57/82.65 c (round 125) 34834 del vars, 174270 del conss, 29415 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18607693 impls, 0 clqs
82.97/83.00 c (round 126) 34862 del vars, 174352 del conss, 29435 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18616895 impls, 0 clqs
83.27/83.34 c (round 127) 34890 del vars, 174434 del conss, 29455 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18626805 impls, 0 clqs
83.57/83.69 c (round 128) 34918 del vars, 174516 del conss, 29475 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18636721 impls, 0 clqs
83.96/84.04 c (round 129) 34946 del vars, 174598 del conss, 29495 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18647453 impls, 0 clqs
84.27/84.38 c (round 130) 34974 del vars, 174680 del conss, 29515 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18657081 impls, 0 clqs
84.67/84.73 c (round 131) 35002 del vars, 174762 del conss, 29535 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18667585 impls, 0 clqs
84.97/85.07 c (round 132) 35030 del vars, 174844 del conss, 29555 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18677647 impls, 0 clqs
85.36/85.42 c (round 133) 35058 del vars, 174926 del conss, 29575 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18687635 impls, 0 clqs
85.67/85.76 c (round 134) 35088 del vars, 175023 del conss, 29595 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18696661 impls, 0 clqs
86.07/86.11 c (round 135) 35116 del vars, 175105 del conss, 29615 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18707533 impls, 0 clqs
86.37/86.46 c (round 136) 35146 del vars, 175201 del conss, 29635 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18717226 impls, 0 clqs
86.77/86.80 c (round 137) 35175 del vars, 175291 del conss, 29655 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18726866 impls, 0 clqs
87.06/87.15 c (round 138) 35205 del vars, 175388 del conss, 29675 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18737024 impls, 0 clqs
87.47/87.51 c (round 139) 35235 del vars, 175485 del conss, 29695 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18747058 impls, 0 clqs
87.76/87.85 c (round 140) 35265 del vars, 175581 del conss, 29715 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18757013 impls, 0 clqs
88.17/88.20 c (round 141) 35294 del vars, 175671 del conss, 29735 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18767925 impls, 0 clqs
88.47/88.55 c (round 142) 35324 del vars, 175768 del conss, 29755 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18777597 impls, 0 clqs
88.87/88.90 c (round 143) 35354 del vars, 175865 del conss, 29775 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18788065 impls, 0 clqs
89.17/89.25 c (round 144) 35384 del vars, 175961 del conss, 29795 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18798217 impls, 0 clqs
89.57/89.60 c (round 145) 35414 del vars, 176057 del conss, 29815 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18808939 impls, 0 clqs
89.86/89.95 c (round 146) 35444 del vars, 176154 del conss, 29835 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18818865 impls, 0 clqs
90.26/90.30 c (round 147) 35474 del vars, 176251 del conss, 29855 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18828519 impls, 0 clqs
90.57/90.64 c (round 148) 35504 del vars, 176347 del conss, 29875 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18837383 impls, 0 clqs
90.86/90.99 c (round 149) 35534 del vars, 176443 del conss, 29895 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18846759 impls, 0 clqs
91.27/91.34 c (round 150) 35564 del vars, 176540 del conss, 29915 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18856083 impls, 0 clqs
91.57/91.69 c (round 151) 35594 del vars, 176637 del conss, 29935 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18866655 impls, 0 clqs
91.96/92.03 c (round 152) 35624 del vars, 176733 del conss, 29955 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18876695 impls, 0 clqs
92.26/92.35 c (round 153) 35626 del vars, 176777 del conss, 29955 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18876727 impls, 0 clqs
95.47/95.59 c (round 154) 35626 del vars, 192525 del conss, 29955 chg bounds, 0 chg sides, 0 chg coeffs, 308344 upgd conss, 18876727 impls, 0 clqs
96.16/96.29 c presolving (155 rounds):
96.16/96.29 c 35626 deleted vars, 192525 deleted constraints, 29955 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
96.16/96.29 c 18876727 implications, 0 cliques
96.16/96.29 c presolved problem has 68853 variables (68853 bin, 0 int, 0 impl, 0 cont) and 308344 constraints
96.16/96.29 c 308344 constraints of type <logicor>
96.16/96.29 c transformed objective value is always integral (scale: 1)
96.16/96.29 c Presolving Time: 67.03
96.16/96.29 c PURESAT
96.16/96.29 c -----------------------------------------------------------------------------------------------
96.16/96.29 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
96.16/96.29 c # [type: int, range: [-1,2147483647], default: 0]
96.16/96.29 c separating/flowcover/freq = c -1
96.16/96.29 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
96.16/96.29 c # [type: int, range: [-1,2147483647], default: 0]
96.16/96.29 c separating/cmir/freq = c -1
96.16/96.29 c # additional number of allowed LP iterations
96.16/96.29 c # [type: int, range: [0,2147483647], default: 1000]
96.16/96.29 c heuristics/veclendiving/maxlpiterofs = c 1500
96.16/96.29 c # maximal fraction of diving LP iterations compared to node LP iterations
96.16/96.29 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
96.16/96.29 c heuristics/veclendiving/maxlpiterquot = c 0.075
96.16/96.29 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
96.16/96.29 c # [type: int, range: [-1,2147483647], default: 10]
96.16/96.29 c heuristics/veclendiving/freq = c -1
96.16/96.29 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
96.16/96.29 c # [type: int, range: [-1,2147483647], default: 1]
96.16/96.29 c heuristics/simplerounding/freq = c -1
96.16/96.29 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
96.16/96.29 c # [type: int, range: [-1,2147483647], default: 10]
96.16/96.29 c heuristics/shifting/freq = c -1
96.16/96.29 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
96.16/96.29 c # [type: int, range: [-1,2147483647], default: 1]
96.16/96.29 c heuristics/rounding/freq = c -1
96.16/96.29 c # additional number of allowed LP iterations
96.16/96.29 c # [type: int, range: [0,2147483647], default: 1000]
96.16/96.29 c heuristics/rootsoldiving/maxlpiterofs = c 1500
96.16/96.29 c # maximal fraction of diving LP iterations compared to node LP iterations
96.16/96.29 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
96.16/96.29 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
96.16/96.29 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
96.16/96.29 c # [type: int, range: [-1,2147483647], default: 20]
96.16/96.29 c heuristics/rootsoldiving/freq = c -1
96.16/96.29 c # number of nodes added to the contingent of the total nodes
96.16/96.29 c # [type: longint, range: [0,9223372036854775807], default: 500]
96.16/96.29 c heuristics/rens/nodesofs = c 2000
96.16/96.29 c # minimum percentage of integer variables that have to be fixable
96.16/96.29 c # [type: real, range: [0,1], default: 0.5]
96.16/96.29 c heuristics/rens/minfixingrate = c 0.3
96.16/96.29 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
96.16/96.29 c # [type: int, range: [-1,2147483647], default: 0]
96.16/96.29 c heuristics/rens/freq = c -1
96.16/96.29 c # additional number of allowed LP iterations
96.16/96.29 c # [type: int, range: [0,2147483647], default: 1000]
96.16/96.29 c heuristics/pscostdiving/maxlpiterofs = c 1500
96.16/96.29 c # maximal fraction of diving LP iterations compared to node LP iterations
96.16/96.29 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
96.16/96.29 c heuristics/pscostdiving/maxlpiterquot = c 0.075
96.16/96.29 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
96.16/96.29 c # [type: int, range: [-1,2147483647], default: 10]
96.16/96.29 c heuristics/pscostdiving/freq = c -1
96.16/96.29 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
96.16/96.29 c # [type: int, range: [-1,2147483647], default: 1]
96.16/96.29 c heuristics/oneopt/freq = c -1
96.16/96.29 c # additional number of allowed LP iterations
96.16/96.29 c # [type: int, range: [0,2147483647], default: 1000]
96.16/96.29 c heuristics/objpscostdiving/maxlpiterofs = c 1500
96.16/96.29 c # maximal fraction of diving LP iterations compared to total iteration number
96.16/96.29 c # [type: real, range: [0,1], default: 0.01]
96.16/96.29 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
96.16/96.29 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
96.16/96.29 c # [type: int, range: [-1,2147483647], default: 20]
96.16/96.29 c heuristics/objpscostdiving/freq = c -1
96.16/96.29 c # additional number of allowed LP iterations
96.16/96.29 c # [type: int, range: [0,2147483647], default: 1000]
96.16/96.29 c heuristics/linesearchdiving/maxlpiterofs = c 1500
96.16/96.29 c # maximal fraction of diving LP iterations compared to node LP iterations
96.16/96.29 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
96.16/96.29 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
96.16/96.30 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
96.16/96.30 c # [type: int, range: [-1,2147483647], default: 10]
96.16/96.30 c heuristics/linesearchdiving/freq = c -1
96.16/96.30 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
96.16/96.30 c # [type: int, range: [-1,2147483647], default: 10]
96.16/96.30 c heuristics/intshifting/freq = c -1
96.16/96.30 c # maximal fraction of diving LP iterations compared to node LP iterations
96.16/96.30 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
96.16/96.30 c heuristics/intdiving/maxlpiterquot = c 0.075
96.16/96.30 c # additional number of allowed LP iterations
96.16/96.30 c # [type: int, range: [0,2147483647], default: 1000]
96.16/96.30 c heuristics/guideddiving/maxlpiterofs = c 1500
96.16/96.30 c # maximal fraction of diving LP iterations compared to node LP iterations
96.16/96.30 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
96.16/96.30 c heuristics/guideddiving/maxlpiterquot = c 0.075
96.16/96.30 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
96.16/96.30 c # [type: int, range: [-1,2147483647], default: 10]
96.16/96.30 c heuristics/guideddiving/freq = c -1
96.16/96.30 c # additional number of allowed LP iterations
96.16/96.30 c # [type: int, range: [0,2147483647], default: 1000]
96.16/96.30 c heuristics/fracdiving/maxlpiterofs = c 1500
96.16/96.30 c # maximal fraction of diving LP iterations compared to node LP iterations
96.16/96.30 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
96.16/96.30 c heuristics/fracdiving/maxlpiterquot = c 0.075
96.16/96.30 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
96.16/96.30 c # [type: int, range: [-1,2147483647], default: 10]
96.16/96.30 c heuristics/fracdiving/freq = c -1
96.16/96.30 c # additional number of allowed LP iterations
96.16/96.30 c # [type: int, range: [0,2147483647], default: 1000]
96.16/96.30 c heuristics/feaspump/maxlpiterofs = c 2000
96.16/96.30 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
96.16/96.30 c # [type: int, range: [-1,2147483647], default: 20]
96.16/96.30 c heuristics/feaspump/freq = c -1
96.16/96.30 c # minimum percentage of integer variables that have to be fixed
96.16/96.30 c # [type: real, range: [0,1], default: 0.666]
96.16/96.30 c heuristics/crossover/minfixingrate = c 0.5
96.16/96.30 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
96.16/96.30 c # [type: real, range: [0,1], default: 0.1]
96.16/96.30 c heuristics/crossover/nodesquot = c 0.15
96.16/96.30 c # number of nodes without incumbent change that heuristic should wait
96.16/96.30 c # [type: longint, range: [0,9223372036854775807], default: 200]
96.16/96.30 c heuristics/crossover/nwaitingnodes = c 100
96.16/96.30 c # number of nodes added to the contingent of the total nodes
96.16/96.30 c # [type: longint, range: [0,9223372036854775807], default: 500]
96.16/96.30 c heuristics/crossover/nodesofs = c 750
96.16/96.30 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
96.16/96.30 c # [type: int, range: [-1,2147483647], default: 30]
96.16/96.30 c heuristics/crossover/freq = c -1
96.16/96.30 c # additional number of allowed LP iterations
96.16/96.30 c # [type: int, range: [0,2147483647], default: 1000]
96.16/96.30 c heuristics/coefdiving/maxlpiterofs = c 1500
96.16/96.30 c # maximal fraction of diving LP iterations compared to node LP iterations
96.16/96.30 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
96.16/96.30 c heuristics/coefdiving/maxlpiterquot = c 0.075
96.16/96.30 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
96.16/96.30 c # [type: int, range: [-1,2147483647], default: 10]
96.16/96.30 c heuristics/coefdiving/freq = c -1
96.16/96.30 c # priority of node selection rule <dfs> in standard mode
96.16/96.30 c # [type: int, range: [-536870912,536870911], default: 0]
96.16/96.30 c nodeselection/dfs/stdpriority = c 1000000
96.16/96.30 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
96.16/96.30 c # [type: int, range: [-1,2147483647], default: -1]
96.16/96.30 c presolving/probing/maxrounds = c 0
96.16/96.30 c # should presolving try to simplify knapsacks
96.16/96.30 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
96.16/96.30 c constraints/knapsack/simplifyinequalities = c TRUE
96.16/96.30 c # should disaggregation of knapsack constraints be allowed in preprocessing?
96.16/96.30 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
96.16/96.30 c constraints/knapsack/disaggregation = c FALSE
96.16/96.30 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
96.26/96.38 c # [type: int, range: [-1,2147483647], default: -1]
96.26/96.38 c constraints/knapsack/maxnumcardlift = c 0
96.26/96.38 c # should presolving try to simplify inequalities
96.26/96.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
96.26/96.38 c constraints/linear/simplifyinequalities = c TRUE
96.26/96.38 c # maximal number of separation rounds in the root node (-1: unlimited)
96.26/96.38 c # [type: int, range: [-1,2147483647], default: -1]
96.26/96.38 c separating/maxroundsroot = c 5
96.26/96.38 c # maximal number of separation rounds per node (-1: unlimited)
96.26/96.38 c # [type: int, range: [-1,2147483647], default: 5]
96.26/96.38 c separating/maxrounds = c 1
96.26/96.38 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)
96.26/96.38 c # [type: char, range: {lafpsqd}, default: l]
96.26/96.38 c lp/pricing = c a
96.26/96.38 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
96.26/96.38 c # [type: int, range: [-1,2147483647], default: 1]
96.26/96.38 c lp/solvefreq = c 0
96.26/96.38 c # solving stops, if the given number of solutions were found (-1: no limit)
96.26/96.38 c # [type: int, range: [-1,2147483647], default: -1]
96.26/96.38 c limits/solutions = c 1
96.26/96.38 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
96.26/96.38 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
96.26/96.38 c limits/memory = c 1620
96.26/96.38 c # maximal time in seconds to run
96.26/96.38 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
96.26/96.38 c limits/time = c 1791
96.26/96.38 c # frequency for displaying node information lines
96.26/96.38 c # [type: int, range: [-1,2147483647], default: 100]
96.26/96.38 c display/freq = c 10000
96.26/96.38 c # should enforcement of pseudo solution be disabled?
96.26/96.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
96.26/96.38 c constraints/disableenfops = c TRUE
96.26/96.38 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
96.26/96.38 c # [type: int, range: [-1,2147483647], default: 0]
96.26/96.38 c constraints/agelimit = c 1
96.26/96.38 c # should binary conflicts be preferred?
96.26/96.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
96.26/96.38 c conflict/preferbinary = c TRUE
96.26/96.38 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
96.26/96.38 c # [type: int, range: [-1,2147483647], default: -1]
96.26/96.38 c conflict/interconss = c 0
96.26/96.38 c -----------------------------------------------------------------------------------------------
96.26/96.38 c start solving problem
96.26/96.38 c
429.66/429.83 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
429.66/429.83 c 401s| 1 | 0 | 37938 | 942M| 0 | 10k| 68k| 308k| 308k| 68k| 308k| 0 | 0 | 0 | 3.437640e+03 | -- | Inf
1366.40/1366.80 c 1335s| 1 | 0 | 60648 | 942M| 0 | 11k| 68k| 308k| 308k| 68k| 308k| 12 | 0 | 0 | 3.441204e+03 | -- | Inf