0.29/0.33 c SCIP version 1.1.0.7
0.29/0.33 c LP-Solver SoPlex 1.4.1
0.29/0.33 c user parameter file <scip.set> not found - using default parameters
0.29/0.33 c read problem <HOME/instance-3741391-1338771408.opb>
0.29/0.33 c original problem has 7982 variables (7982 bin, 0 int, 0 impl, 0 cont) and 11063 constraints
0.39/0.41 c start presolving problem
0.39/0.41 c presolving:
0.49/0.55 c (round 1) 122 del vars, 6 del conss, 122 chg bounds, 7326 chg sides, 7326 chg coeffs, 0 upgd conss, 112 impls, 1192 clqs
0.59/0.65 c (round 2) 142 del vars, 33 del conss, 142 chg bounds, 7458 chg sides, 7458 chg coeffs, 0 upgd conss, 158 impls, 1190 clqs
0.69/0.71 c (round 3) 214 del vars, 163 del conss, 212 chg bounds, 7467 chg sides, 7467 chg coeffs, 0 upgd conss, 394 impls, 1179 clqs
0.69/0.77 c (round 4) 282 del vars, 269 del conss, 280 chg bounds, 7535 chg sides, 7535 chg coeffs, 0 upgd conss, 564 impls, 1179 clqs
0.79/0.84 c (round 5) 339 del vars, 353 del conss, 337 chg bounds, 7605 chg sides, 7605 chg coeffs, 0 upgd conss, 730 impls, 1179 clqs
0.79/0.90 c (round 6) 390 del vars, 433 del conss, 388 chg bounds, 7675 chg sides, 7675 chg coeffs, 0 upgd conss, 896 impls, 1179 clqs
0.89/0.95 c (round 7) 430 del vars, 496 del conss, 428 chg bounds, 7739 chg sides, 7739 chg coeffs, 0 upgd conss, 1122 impls, 1179 clqs
0.99/1.01 c (round 8) 459 del vars, 538 del conss, 457 chg bounds, 7777 chg sides, 7777 chg coeffs, 0 upgd conss, 1214 impls, 1179 clqs
0.99/1.06 c (round 9) 482 del vars, 567 del conss, 480 chg bounds, 7802 chg sides, 7802 chg coeffs, 0 upgd conss, 1234 impls, 1179 clqs
1.10/1.11 c (round 10) 499 del vars, 588 del conss, 497 chg bounds, 7822 chg sides, 7822 chg coeffs, 0 upgd conss, 1272 impls, 1179 clqs
1.10/1.16 c (round 11) 509 del vars, 599 del conss, 507 chg bounds, 7837 chg sides, 7837 chg coeffs, 0 upgd conss, 1272 impls, 1179 clqs
1.10/1.16 c (round 12) 509 del vars, 599 del conss, 507 chg bounds, 7847 chg sides, 7847 chg coeffs, 0 upgd conss, 1272 impls, 1179 clqs
1.28/1.30 c (round 13) 509 del vars, 599 del conss, 507 chg bounds, 7847 chg sides, 7847 chg coeffs, 10464 upgd conss, 1272 impls, 1179 clqs
2.98/3.01 c (round 14) 509 del vars, 814 del conss, 507 chg bounds, 14667 chg sides, 39476 chg coeffs, 10464 upgd conss, 84828 impls, 1708 clqs
4.49/4.54 c (round 15) 623 del vars, 4368 del conss, 507 chg bounds, 14667 chg sides, 42481 chg coeffs, 10464 upgd conss, 84828 impls, 1694 clqs
6.79/6.85 c (round 16) 623 del vars, 4486 del conss, 507 chg bounds, 14962 chg sides, 46076 chg coeffs, 10464 upgd conss, 84908 impls, 1700 clqs
9.09/9.12 c (round 17) 726 del vars, 4736 del conss, 507 chg bounds, 14962 chg sides, 49026 chg coeffs, 10464 upgd conss, 84908 impls, 1687 clqs
12.19/12.24 c (round 18) 726 del vars, 4832 del conss, 507 chg bounds, 15337 chg sides, 52756 chg coeffs, 10464 upgd conss, 84908 impls, 1692 clqs
14.88/14.94 c (round 19) 817 del vars, 5096 del conss, 507 chg bounds, 15337 chg sides, 55651 chg coeffs, 10464 upgd conss, 84908 impls, 1681 clqs
18.38/18.49 c (round 20) 817 del vars, 5190 del conss, 507 chg bounds, 15701 chg sides, 59322 chg coeffs, 10464 upgd conss, 84908 impls, 1685 clqs
21.58/21.66 c (round 21) 906 del vars, 5439 del conss, 507 chg bounds, 15701 chg sides, 62173 chg coeffs, 10464 upgd conss, 84992 impls, 1666 clqs
25.89/25.93 c (round 22) 956 del vars, 5606 del conss, 507 chg bounds, 16129 chg sides, 65952 chg coeffs, 10464 upgd conss, 84992 impls, 1670 clqs
29.49/29.50 c (round 23) 956 del vars, 5655 del conss, 507 chg bounds, 16129 chg sides, 68759 chg coeffs, 10464 upgd conss, 84992 impls, 1670 clqs
33.08/33.11 c (round 24) 1024 del vars, 5831 del conss, 507 chg bounds, 16129 chg sides, 71566 chg coeffs, 10464 upgd conss, 84992 impls, 1662 clqs
37.88/37.97 c (round 25) 1024 del vars, 5901 del conss, 507 chg bounds, 16498 chg sides, 75216 chg coeffs, 10464 upgd conss, 84992 impls, 1665 clqs
42.38/42.47 c (round 26) 1079 del vars, 6067 del conss, 507 chg bounds, 16498 chg sides, 77937 chg coeffs, 10464 upgd conss, 84992 impls, 1658 clqs
47.88/47.91 c (round 27) 1079 del vars, 6111 del conss, 507 chg bounds, 16915 chg sides, 81511 chg coeffs, 10464 upgd conss, 84992 impls, 1661 clqs
52.79/52.85 c (round 28) 1122 del vars, 6275 del conss, 507 chg bounds, 16915 chg sides, 84095 chg coeffs, 10464 upgd conss, 84992 impls, 1656 clqs
58.08/58.20 c (round 29) 1122 del vars, 6317 del conss, 507 chg bounds, 17225 chg sides, 86699 chg coeffs, 10464 upgd conss, 84992 impls, 1658 clqs
61.98/62.02 c (round 30) 1155 del vars, 6427 del conss, 507 chg bounds, 17225 chg sides, 87308 chg coeffs, 10464 upgd conss, 84992 impls, 1654 clqs
64.08/64.10 c (round 31) 1155 del vars, 6449 del conss, 507 chg bounds, 17567 chg sides, 88114 chg coeffs, 10464 upgd conss, 84992 impls, 1656 clqs
66.18/66.26 c (round 32) 1176 del vars, 6557 del conss, 507 chg bounds, 17567 chg sides, 88528 chg coeffs, 10464 upgd conss, 84992 impls, 1654 clqs
67.48/67.50 c (round 33) 1176 del vars, 6577 del conss, 507 chg bounds, 17754 chg sides, 88939 chg coeffs, 10464 upgd conss, 84992 impls, 1654 clqs
67.58/67.69 c (round 34) 1187 del vars, 6632 del conss, 507 chg bounds, 17754 chg sides, 88939 chg coeffs, 10464 upgd conss, 84992 impls, 1653 clqs
68.19/68.24 c (round 35) 1187 del vars, 6675 del conss, 507 chg bounds, 17957 chg sides, 89366 chg coeffs, 10464 upgd conss, 84992 impls, 1653 clqs
68.28/68.39 c (round 36) 1192 del vars, 6752 del conss, 507 chg bounds, 17957 chg sides, 89366 chg coeffs, 10464 upgd conss, 85034 impls, 1648 clqs
68.38/68.42 c (round 37) 1217 del vars, 6797 del conss, 507 chg bounds, 17957 chg sides, 89366 chg coeffs, 10464 upgd conss, 85034 impls, 1648 clqs
68.38/68.44 c (round 38) 1217 del vars, 6802 del conss, 507 chg bounds, 17957 chg sides, 89366 chg coeffs, 10464 upgd conss, 85034 impls, 1648 clqs
68.48/68.53 c (round 39) 1267 del vars, 6802 del conss, 507 chg bounds, 17957 chg sides, 89366 chg coeffs, 10464 upgd conss, 85034 impls, 1619 clqs
70.78/70.88 c (round 40) 1267 del vars, 6869 del conss, 507 chg bounds, 17957 chg sides, 91835 chg coeffs, 10464 upgd conss, 85034 impls, 1619 clqs
73.27/73.35 c (round 41) 1267 del vars, 6870 del conss, 507 chg bounds, 17957 chg sides, 94304 chg coeffs, 10464 upgd conss, 85034 impls, 1619 clqs
75.68/75.75 c (round 42) 1267 del vars, 6870 del conss, 507 chg bounds, 17957 chg sides, 96768 chg coeffs, 10464 upgd conss, 85034 impls, 1619 clqs
78.28/78.38 c (round 43) 1267 del vars, 6870 del conss, 507 chg bounds, 17957 chg sides, 99232 chg coeffs, 10464 upgd conss, 85034 impls, 1619 clqs
81.28/81.36 c (round 44) 1271 del vars, 6902 del conss, 507 chg bounds, 17957 chg sides, 101694 chg coeffs, 10464 upgd conss, 85076 impls, 1615 clqs
84.38/84.46 c (round 45) 1291 del vars, 6937 del conss, 507 chg bounds, 17957 chg sides, 103967 chg coeffs, 10464 upgd conss, 85076 impls, 1615 clqs
87.38/87.40 c (round 46) 1291 del vars, 6942 del conss, 507 chg bounds, 17957 chg sides, 105542 chg coeffs, 10464 upgd conss, 85076 impls, 1615 clqs
89.18/89.27 c (round 47) 1291 del vars, 6942 del conss, 507 chg bounds, 17957 chg sides, 107106 chg coeffs, 10464 upgd conss, 85076 impls, 1615 clqs
91.18/91.26 c (round 48) 1291 del vars, 6942 del conss, 507 chg bounds, 17957 chg sides, 108670 chg coeffs, 10464 upgd conss, 85076 impls, 1615 clqs
93.27/93.33 c (round 49) 1291 del vars, 6942 del conss, 507 chg bounds, 17957 chg sides, 109808 chg coeffs, 10464 upgd conss, 85076 impls, 1615 clqs
94.77/94.82 c (round 50) 1292 del vars, 6946 del conss, 507 chg bounds, 17957 chg sides, 110868 chg coeffs, 10464 upgd conss, 85118 impls, 1614 clqs
96.17/96.28 c (round 51) 1297 del vars, 6951 del conss, 507 chg bounds, 17957 chg sides, 111928 chg coeffs, 10464 upgd conss, 85118 impls, 1614 clqs
97.78/97.86 c (round 52) 1297 del vars, 6956 del conss, 507 chg bounds, 17957 chg sides, 112985 chg coeffs, 10464 upgd conss, 85118 impls, 1614 clqs
99.47/99.57 c (round 53) 1297 del vars, 6956 del conss, 507 chg bounds, 17957 chg sides, 114042 chg coeffs, 10464 upgd conss, 85118 impls, 1614 clqs
101.27/101.34 c (round 54) 1297 del vars, 6956 del conss, 507 chg bounds, 17957 chg sides, 114577 chg coeffs, 10464 upgd conss, 85118 impls, 1614 clqs
102.18/102.26 c (round 55) 1297 del vars, 6956 del conss, 507 chg bounds, 17957 chg sides, 115112 chg coeffs, 10464 upgd conss, 85118 impls, 1614 clqs
103.17/103.24 c (round 56) 1298 del vars, 6964 del conss, 507 chg bounds, 17957 chg sides, 115263 chg coeffs, 10464 upgd conss, 85160 impls, 1613 clqs
103.47/103.52 c (round 57) 1303 del vars, 6969 del conss, 507 chg bounds, 17957 chg sides, 115263 chg coeffs, 10464 upgd conss, 85160 impls, 1613 clqs
103.47/103.55 c (round 58) 1303 del vars, 6974 del conss, 507 chg bounds, 17957 chg sides, 115263 chg coeffs, 10464 upgd conss, 85160 impls, 1613 clqs
103.57/103.63 c (round 59) 1423 del vars, 6974 del conss, 507 chg bounds, 17957 chg sides, 115263 chg coeffs, 10464 upgd conss, 85162 impls, 1588 clqs
105.38/105.42 c (round 60) 1423 del vars, 7112 del conss, 507 chg bounds, 17957 chg sides, 117133 chg coeffs, 10464 upgd conss, 85162 impls, 1588 clqs
107.28/107.33 c (round 61) 1423 del vars, 7117 del conss, 507 chg bounds, 17957 chg sides, 118998 chg coeffs, 10464 upgd conss, 85162 impls, 1588 clqs
109.17/109.21 c (round 62) 1423 del vars, 7117 del conss, 507 chg bounds, 17957 chg sides, 120854 chg coeffs, 10464 upgd conss, 85162 impls, 1588 clqs
111.27/111.33 c (round 63) 1423 del vars, 7117 del conss, 507 chg bounds, 17957 chg sides, 122704 chg coeffs, 10464 upgd conss, 85162 impls, 1588 clqs
113.57/113.64 c (round 64) 1423 del vars, 7117 del conss, 507 chg bounds, 17957 chg sides, 124544 chg coeffs, 10464 upgd conss, 85162 impls, 1588 clqs
116.08/116.14 c (round 65) 1423 del vars, 7117 del conss, 507 chg bounds, 17957 chg sides, 126376 chg coeffs, 10464 upgd conss, 85162 impls, 1588 clqs
118.78/118.83 c (round 66) 1425 del vars, 7124 del conss, 507 chg bounds, 17957 chg sides, 127743 chg coeffs, 10464 upgd conss, 85204 impls, 1586 clqs
120.77/120.89 c (round 67) 1435 del vars, 7139 del conss, 507 chg bounds, 17957 chg sides, 129056 chg coeffs, 10464 upgd conss, 85204 impls, 1586 clqs
122.97/123.02 c (round 68) 1435 del vars, 7144 del conss, 507 chg bounds, 17957 chg sides, 130359 chg coeffs, 10464 upgd conss, 85204 impls, 1586 clqs
125.17/125.26 c (round 69) 1435 del vars, 7144 del conss, 507 chg bounds, 17957 chg sides, 131317 chg coeffs, 10464 upgd conss, 85204 impls, 1586 clqs
126.87/126.92 c (round 70) 1435 del vars, 7144 del conss, 507 chg bounds, 17957 chg sides, 131776 chg coeffs, 10464 upgd conss, 85204 impls, 1586 clqs
127.67/127.76 c (round 71) 1529 del vars, 7144 del conss, 507 chg bounds, 17957 chg sides, 131776 chg coeffs, 10464 upgd conss, 85206 impls, 1578 clqs
128.68/128.73 c (round 72) 1529 del vars, 7246 del conss, 507 chg bounds, 17957 chg sides, 132644 chg coeffs, 10464 upgd conss, 85206 impls, 1578 clqs
129.67/129.77 c (round 73) 1529 del vars, 7248 del conss, 507 chg bounds, 17957 chg sides, 133505 chg coeffs, 10464 upgd conss, 85206 impls, 1578 clqs
130.67/130.76 c (round 74) 1529 del vars, 7248 del conss, 507 chg bounds, 17957 chg sides, 134358 chg coeffs, 10464 upgd conss, 85206 impls, 1578 clqs
131.67/131.79 c (round 75) 1529 del vars, 7248 del conss, 507 chg bounds, 17957 chg sides, 134834 chg coeffs, 10464 upgd conss, 85206 impls, 1578 clqs
132.17/132.21 c (round 76) 1529 del vars, 7248 del conss, 507 chg bounds, 17957 chg sides, 135234 chg coeffs, 10464 upgd conss, 85206 impls, 1578 clqs
132.57/132.60 c (round 77) 1531 del vars, 7254 del conss, 507 chg bounds, 17957 chg sides, 135624 chg coeffs, 10464 upgd conss, 85248 impls, 1576 clqs
132.98/133.02 c (round 78) 1541 del vars, 7269 del conss, 507 chg bounds, 17957 chg sides, 136004 chg coeffs, 10464 upgd conss, 85248 impls, 1576 clqs
133.37/133.49 c (round 79) 1541 del vars, 7274 del conss, 507 chg bounds, 17957 chg sides, 136374 chg coeffs, 10464 upgd conss, 85248 impls, 1576 clqs
133.97/134.04 c (round 80) 1541 del vars, 7274 del conss, 507 chg bounds, 17957 chg sides, 136734 chg coeffs, 10464 upgd conss, 85248 impls, 1576 clqs
134.57/134.60 c (round 81) 1541 del vars, 7274 del conss, 507 chg bounds, 17957 chg sides, 137084 chg coeffs, 10464 upgd conss, 85248 impls, 1576 clqs
135.07/135.13 c (round 82) 1541 del vars, 7274 del conss, 507 chg bounds, 17957 chg sides, 137424 chg coeffs, 10464 upgd conss, 85248 impls, 1576 clqs
135.56/135.65 c (round 83) 1629 del vars, 7274 del conss, 507 chg bounds, 17957 chg sides, 137424 chg coeffs, 10464 upgd conss, 85250 impls, 1568 clqs
135.77/135.83 c (round 84) 1629 del vars, 7370 del conss, 507 chg bounds, 17957 chg sides, 137814 chg coeffs, 10464 upgd conss, 85250 impls, 1568 clqs
135.97/136.00 c (round 85) 1629 del vars, 7370 del conss, 507 chg bounds, 17957 chg sides, 138194 chg coeffs, 10464 upgd conss, 85250 impls, 1568 clqs
136.07/136.15 c (round 86) 1629 del vars, 7370 del conss, 507 chg bounds, 17957 chg sides, 138564 chg coeffs, 10464 upgd conss, 85250 impls, 1568 clqs
136.27/136.36 c (round 87) 1629 del vars, 7370 del conss, 507 chg bounds, 17957 chg sides, 138924 chg coeffs, 10464 upgd conss, 85250 impls, 1568 clqs
136.57/136.61 c (round 88) 1629 del vars, 7370 del conss, 507 chg bounds, 17957 chg sides, 139274 chg coeffs, 10464 upgd conss, 85250 impls, 1568 clqs
136.87/136.92 c (round 89) 1632 del vars, 7379 del conss, 507 chg bounds, 17957 chg sides, 139614 chg coeffs, 10464 upgd conss, 85292 impls, 1565 clqs
137.17/137.25 c (round 90) 1647 del vars, 7404 del conss, 507 chg bounds, 17957 chg sides, 139944 chg coeffs, 10464 upgd conss, 85292 impls, 1565 clqs
137.57/137.62 c (round 91) 1647 del vars, 7409 del conss, 507 chg bounds, 17957 chg sides, 140266 chg coeffs, 10464 upgd conss, 85292 impls, 1565 clqs
137.96/138.05 c (round 92) 1647 del vars, 7409 del conss, 507 chg bounds, 17957 chg sides, 140577 chg coeffs, 10464 upgd conss, 85292 impls, 1565 clqs
138.37/138.50 c (round 93) 1647 del vars, 7409 del conss, 507 chg bounds, 17957 chg sides, 140877 chg coeffs, 10464 upgd conss, 85292 impls, 1565 clqs
138.87/138.93 c (round 94) 1647 del vars, 7409 del conss, 507 chg bounds, 17957 chg sides, 141167 chg coeffs, 10464 upgd conss, 85292 impls, 1565 clqs
139.27/139.36 c (round 95) 1647 del vars, 7409 del conss, 507 chg bounds, 17957 chg sides, 141447 chg coeffs, 10464 upgd conss, 85292 impls, 1565 clqs
139.77/139.80 c (round 96) 1648 del vars, 7413 del conss, 507 chg bounds, 17957 chg sides, 141447 chg coeffs, 10464 upgd conss, 85334 impls, 1564 clqs
140.17/140.25 c (round 97) 1653 del vars, 7418 del conss, 507 chg bounds, 17957 chg sides, 141447 chg coeffs, 10464 upgd conss, 85334 impls, 1564 clqs
140.56/140.68 c (round 98) 1653 del vars, 7423 del conss, 507 chg bounds, 17957 chg sides, 141449 chg coeffs, 10464 upgd conss, 85334 impls, 1564 clqs
141.07/141.15 c (round 99) 1738 del vars, 7423 del conss, 507 chg bounds, 17957 chg sides, 141449 chg coeffs, 10464 upgd conss, 85336 impls, 1557 clqs
141.27/141.35 c (round 100) 1738 del vars, 7515 del conss, 507 chg bounds, 17957 chg sides, 141836 chg coeffs, 10464 upgd conss, 85336 impls, 1557 clqs
141.47/141.58 c (round 101) 1738 del vars, 7516 del conss, 507 chg bounds, 17957 chg sides, 142215 chg coeffs, 10464 upgd conss, 85336 impls, 1557 clqs
141.66/141.75 c (round 102) 1738 del vars, 7516 del conss, 507 chg bounds, 17957 chg sides, 142585 chg coeffs, 10464 upgd conss, 85336 impls, 1557 clqs
141.88/141.98 c (round 103) 1738 del vars, 7516 del conss, 507 chg bounds, 17957 chg sides, 142945 chg coeffs, 10464 upgd conss, 85336 impls, 1557 clqs
142.17/142.21 c (round 104) 1738 del vars, 7516 del conss, 507 chg bounds, 17957 chg sides, 143295 chg coeffs, 10464 upgd conss, 85336 impls, 1557 clqs
142.47/142.50 c (round 105) 1740 del vars, 7522 del conss, 507 chg bounds, 17957 chg sides, 143635 chg coeffs, 10464 upgd conss, 85378 impls, 1555 clqs
143.17/143.26 c (round 106) 1750 del vars, 7537 del conss, 507 chg bounds, 17957 chg sides, 143965 chg coeffs, 10464 upgd conss, 85378 impls, 1555 clqs
143.97/144.00 c (round 107) 1750 del vars, 7542 del conss, 507 chg bounds, 17957 chg sides, 144288 chg coeffs, 10464 upgd conss, 85378 impls, 1555 clqs
144.77/144.81 c (round 108) 1750 del vars, 7542 del conss, 507 chg bounds, 17957 chg sides, 144600 chg coeffs, 10464 upgd conss, 85378 impls, 1555 clqs
145.17/145.23 c (round 109) 1750 del vars, 7542 del conss, 507 chg bounds, 17957 chg sides, 144900 chg coeffs, 10464 upgd conss, 85378 impls, 1555 clqs
145.57/145.64 c (round 110) 1750 del vars, 7542 del conss, 507 chg bounds, 17957 chg sides, 145190 chg coeffs, 10464 upgd conss, 85378 impls, 1555 clqs
145.97/146.05 c (round 111) 1750 del vars, 7542 del conss, 507 chg bounds, 17957 chg sides, 145470 chg coeffs, 10464 upgd conss, 85378 impls, 1555 clqs
146.36/146.47 c (round 112) 1751 del vars, 7545 del conss, 507 chg bounds, 17957 chg sides, 145470 chg coeffs, 10464 upgd conss, 85420 impls, 1554 clqs
146.86/146.91 c (round 113) 1756 del vars, 7550 del conss, 507 chg bounds, 17957 chg sides, 145470 chg coeffs, 10464 upgd conss, 85420 impls, 1554 clqs
147.28/147.30 c (round 114) 1756 del vars, 7555 del conss, 507 chg bounds, 17957 chg sides, 145474 chg coeffs, 10464 upgd conss, 85420 impls, 1554 clqs
147.67/147.73 c (round 115) 1839 del vars, 7555 del conss, 507 chg bounds, 17957 chg sides, 145474 chg coeffs, 10464 upgd conss, 85422 impls, 1547 clqs
147.87/147.92 c (round 116) 1839 del vars, 7645 del conss, 507 chg bounds, 17957 chg sides, 145849 chg coeffs, 10464 upgd conss, 85422 impls, 1547 clqs
148.06/148.12 c (round 117) 1839 del vars, 7647 del conss, 507 chg bounds, 17957 chg sides, 146216 chg coeffs, 10464 upgd conss, 85422 impls, 1547 clqs
148.17/148.24 c (round 118) 1839 del vars, 7647 del conss, 507 chg bounds, 17957 chg sides, 146575 chg coeffs, 10464 upgd conss, 85422 impls, 1547 clqs
148.27/148.40 c (round 119) 1839 del vars, 7647 del conss, 507 chg bounds, 17957 chg sides, 146925 chg coeffs, 10464 upgd conss, 85422 impls, 1547 clqs
148.47/148.54 c (round 120) 1839 del vars, 7647 del conss, 507 chg bounds, 17957 chg sides, 147265 chg coeffs, 10464 upgd conss, 85422 impls, 1547 clqs
148.67/148.70 c (round 121) 1839 del vars, 7647 del conss, 507 chg bounds, 17957 chg sides, 147595 chg coeffs, 10464 upgd conss, 85422 impls, 1547 clqs
148.77/148.89 c (round 122) 1839 del vars, 7647 del conss, 507 chg bounds, 17957 chg sides, 147915 chg coeffs, 10464 upgd conss, 85422 impls, 1547 clqs
148.97/149.09 c (round 123) 1839 del vars, 7647 del conss, 507 chg bounds, 17957 chg sides, 148225 chg coeffs, 10464 upgd conss, 85422 impls, 1547 clqs
149.26/149.32 c (round 124) 1840 del vars, 7650 del conss, 507 chg bounds, 17957 chg sides, 148525 chg coeffs, 10464 upgd conss, 85464 impls, 1546 clqs
149.86/149.94 c (round 125) 1845 del vars, 7655 del conss, 507 chg bounds, 17957 chg sides, 148815 chg coeffs, 10464 upgd conss, 85464 impls, 1546 clqs
150.47/150.53 c (round 126) 1845 del vars, 7660 del conss, 507 chg bounds, 17957 chg sides, 149098 chg coeffs, 10464 upgd conss, 85464 impls, 1546 clqs
151.07/151.16 c (round 127) 1845 del vars, 7660 del conss, 507 chg bounds, 17957 chg sides, 149368 chg coeffs, 10464 upgd conss, 85464 impls, 1546 clqs
151.37/151.43 c (round 128) 1845 del vars, 7660 del conss, 507 chg bounds, 17957 chg sides, 149628 chg coeffs, 10464 upgd conss, 85464 impls, 1546 clqs
151.87/151.95 c (round 129) 1895 del vars, 7660 del conss, 507 chg bounds, 17957 chg sides, 149628 chg coeffs, 10464 upgd conss, 86952 impls, 1529 clqs
154.46/154.56 c (round 130) 1895 del vars, 7775 del conss, 507 chg bounds, 17957 chg sides, 150425 chg coeffs, 10464 upgd conss, 86952 impls, 1529 clqs
155.86/155.92 c (round 131) 1895 del vars, 7793 del conss, 507 chg bounds, 17957 chg sides, 150875 chg coeffs, 10464 upgd conss, 86952 impls, 1529 clqs
157.17/157.29 c (round 132) 1945 del vars, 7793 del conss, 507 chg bounds, 17957 chg sides, 150876 chg coeffs, 10464 upgd conss, 138342 impls, 1520 clqs
159.06/159.18 c (round 133) 1945 del vars, 7899 del conss, 507 chg bounds, 18935 chg sides, 153388 chg coeffs, 10464 upgd conss, 194732 impls, 1520 clqs
160.77/160.83 c (round 134) 1952 del vars, 8405 del conss, 507 chg bounds, 18935 chg sides, 153904 chg coeffs, 10464 upgd conss, 194732 impls, 1513 clqs
161.06/161.18 c (round 135) 1952 del vars, 8419 del conss, 507 chg bounds, 18935 chg sides, 154380 chg coeffs, 10464 upgd conss, 194732 impls, 1513 clqs
161.46/161.56 c (round 136) 1952 del vars, 8419 del conss, 507 chg bounds, 18935 chg sides, 154817 chg coeffs, 10464 upgd conss, 194732 impls, 1513 clqs
161.87/161.92 c (round 137) 1952 del vars, 8419 del conss, 507 chg bounds, 18935 chg sides, 155217 chg coeffs, 10464 upgd conss, 194732 impls, 1513 clqs
162.17/162.27 c (round 138) 1952 del vars, 8419 del conss, 507 chg bounds, 18935 chg sides, 155582 chg coeffs, 10464 upgd conss, 194732 impls, 1513 clqs
162.56/162.62 c (round 139) 1952 del vars, 8419 del conss, 507 chg bounds, 18935 chg sides, 155771 chg coeffs, 10464 upgd conss, 194732 impls, 1513 clqs
163.17/163.26 c (round 140) 2002 del vars, 8419 del conss, 507 chg bounds, 18935 chg sides, 155771 chg coeffs, 10464 upgd conss, 211048 impls, 1505 clqs
165.06/165.10 c (round 141) 2002 del vars, 8525 del conss, 507 chg bounds, 18935 chg sides, 155900 chg coeffs, 10464 upgd conss, 211048 impls, 1505 clqs
165.26/165.37 c (round 142) 2002 del vars, 8537 del conss, 507 chg bounds, 18935 chg sides, 155900 chg coeffs, 10464 upgd conss, 211048 impls, 1505 clqs
165.97/166.08 c (round 143) 2052 del vars, 8537 del conss, 507 chg bounds, 18935 chg sides, 155900 chg coeffs, 10464 upgd conss, 248502 impls, 1503 clqs
168.17/168.25 c (round 144) 2052 del vars, 8639 del conss, 507 chg bounds, 18935 chg sides, 156066 chg coeffs, 10464 upgd conss, 248502 impls, 1503 clqs
168.46/168.54 c (round 145) 2052 del vars, 8643 del conss, 507 chg bounds, 18935 chg sides, 156068 chg coeffs, 10464 upgd conss, 248502 impls, 1503 clqs
170.97/171.06 c (round 146) 2102 del vars, 8643 del conss, 507 chg bounds, 18935 chg sides, 156069 chg coeffs, 10464 upgd conss, 459656 impls, 1500 clqs
173.07/173.18 c (round 147) 2102 del vars, 8747 del conss, 507 chg bounds, 18937 chg sides, 156329 chg coeffs, 10464 upgd conss, 459656 impls, 1501 clqs
173.77/173.82 c (round 148) 2102 del vars, 8758 del conss, 507 chg bounds, 18953 chg sides, 156513 chg coeffs, 10464 upgd conss, 459656 impls, 1516 clqs
174.16/174.29 c (round 149) 2102 del vars, 8774 del conss, 507 chg bounds, 18953 chg sides, 156513 chg coeffs, 10464 upgd conss, 459656 impls, 1516 clqs
176.77/176.86 c (round 150) 2152 del vars, 8774 del conss, 507 chg bounds, 18953 chg sides, 156513 chg coeffs, 10464 upgd conss, 679832 impls, 1510 clqs
178.96/179.05 c (round 151) 2152 del vars, 8856 del conss, 507 chg bounds, 18963 chg sides, 157010 chg coeffs, 10464 upgd conss, 679832 impls, 1513 clqs
180.67/180.71 c (round 152) 2152 del vars, 8873 del conss, 507 chg bounds, 18974 chg sides, 157156 chg coeffs, 10464 upgd conss, 679832 impls, 1524 clqs
181.06/181.13 c (round 153) 2152 del vars, 8902 del conss, 507 chg bounds, 18977 chg sides, 157189 chg coeffs, 10464 upgd conss, 679832 impls, 1527 clqs
181.46/181.52 c (round 154) 2152 del vars, 8905 del conss, 507 chg bounds, 18977 chg sides, 157189 chg coeffs, 10464 upgd conss, 679832 impls, 1527 clqs
182.26/182.38 c (181.6s) probing: 1000/6765 (14.8%) - 827 fixings, 0 aggregations, 273303 implications, 0 bound changes
183.57/183.66 c (round 155) 2202 del vars, 8905 del conss, 507 chg bounds, 18977 chg sides, 157189 chg coeffs, 10464 upgd conss, 849428 impls, 1504 clqs
185.77/185.80 c (round 156) 2202 del vars, 8942 del conss, 507 chg bounds, 19055 chg sides, 158140 chg coeffs, 10464 upgd conss, 849432 impls, 1534 clqs
187.76/187.88 c (round 157) 2202 del vars, 9033 del conss, 507 chg bounds, 19055 chg sides, 158140 chg coeffs, 10464 upgd conss, 849432 impls, 1534 clqs
189.56/189.66 c (round 158) 2252 del vars, 9033 del conss, 507 chg bounds, 19055 chg sides, 158140 chg coeffs, 10464 upgd conss, 992478 impls, 1505 clqs
191.66/191.79 c (round 159) 2252 del vars, 9084 del conss, 507 chg bounds, 19121 chg sides, 158939 chg coeffs, 10464 upgd conss, 992482 impls, 1526 clqs
193.76/193.82 c (round 160) 2252 del vars, 9170 del conss, 507 chg bounds, 19121 chg sides, 158941 chg coeffs, 10464 upgd conss, 992482 impls, 1526 clqs
195.77/195.85 c (round 161) 2302 del vars, 9170 del conss, 507 chg bounds, 19121 chg sides, 158941 chg coeffs, 10464 upgd conss, 1159678 impls, 1507 clqs
197.87/197.93 c (round 162) 2302 del vars, 9214 del conss, 507 chg bounds, 19163 chg sides, 159423 chg coeffs, 10464 upgd conss, 1159680 impls, 1520 clqs
199.96/200.00 c (round 163) 2302 del vars, 9289 del conss, 507 chg bounds, 19163 chg sides, 159423 chg coeffs, 10464 upgd conss, 1159680 impls, 1520 clqs
202.86/202.92 c (202.1s) probing: 2000/6765 (29.6%) - 1013 fixings, 0 aggregations, 569817 implications, 0 bound changes
203.26/203.34 c (round 164) 2352 del vars, 9289 del conss, 507 chg bounds, 19163 chg sides, 159423 chg coeffs, 10464 upgd conss, 1453706 impls, 1493 clqs
205.25/205.38 c (round 165) 2352 del vars, 9333 del conss, 507 chg bounds, 19193 chg sides, 159783 chg coeffs, 10464 upgd conss, 1453710 impls, 1505 clqs
207.26/207.34 c (round 166) 2352 del vars, 9383 del conss, 507 chg bounds, 19193 chg sides, 159783 chg coeffs, 10464 upgd conss, 1453710 impls, 1505 clqs
211.06/211.19 c (round 167) 2402 del vars, 9383 del conss, 507 chg bounds, 19193 chg sides, 159783 chg coeffs, 10464 upgd conss, 1782900 impls, 1480 clqs
213.16/213.20 c (round 168) 2402 del vars, 9447 del conss, 507 chg bounds, 19222 chg sides, 160150 chg coeffs, 10464 upgd conss, 1782904 impls, 1496 clqs
215.06/215.12 c (round 169) 2402 del vars, 9480 del conss, 507 chg bounds, 19222 chg sides, 160150 chg coeffs, 10464 upgd conss, 1782904 impls, 1496 clqs
218.65/218.73 c (round 170) 2452 del vars, 9481 del conss, 507 chg bounds, 19222 chg sides, 160150 chg coeffs, 10464 upgd conss, 2095222 impls, 1482 clqs
220.66/220.72 c (round 171) 2452 del vars, 9549 del conss, 507 chg bounds, 19256 chg sides, 160573 chg coeffs, 10464 upgd conss, 2095226 impls, 1498 clqs
222.55/222.61 c (round 172) 2452 del vars, 9584 del conss, 507 chg bounds, 19256 chg sides, 160573 chg coeffs, 10464 upgd conss, 2095226 impls, 1498 clqs
222.86/222.99 c (222.1s) probing: 3000/6765 (44.3%) - 1122 fixings, 0 aggregations, 874534 implications, 0 bound changes
225.86/225.94 c (round 173) 2502 del vars, 9584 del conss, 507 chg bounds, 19256 chg sides, 160573 chg coeffs, 10464 upgd conss, 2370044 impls, 1486 clqs
227.76/227.89 c (round 174) 2502 del vars, 9655 del conss, 507 chg bounds, 19282 chg sides, 160903 chg coeffs, 10464 upgd conss, 2370048 impls, 1498 clqs
229.66/229.76 c (round 175) 2502 del vars, 9689 del conss, 507 chg bounds, 19282 chg sides, 160903 chg coeffs, 10464 upgd conss, 2370048 impls, 1498 clqs
231.76/231.81 c (round 176) 2552 del vars, 9689 del conss, 507 chg bounds, 19282 chg sides, 160903 chg coeffs, 10464 upgd conss, 2523058 impls, 1489 clqs
233.66/233.74 c (round 177) 2552 del vars, 9774 del conss, 507 chg bounds, 19305 chg sides, 161197 chg coeffs, 10464 upgd conss, 2523062 impls, 1501 clqs
235.45/235.57 c (round 178) 2552 del vars, 9797 del conss, 507 chg bounds, 19305 chg sides, 161197 chg coeffs, 10464 upgd conss, 2523062 impls, 1501 clqs
236.85/236.96 c (round 179) 2602 del vars, 9797 del conss, 507 chg bounds, 19305 chg sides, 161197 chg coeffs, 10464 upgd conss, 2614060 impls, 1494 clqs
238.76/238.88 c (round 180) 2602 del vars, 9885 del conss, 507 chg bounds, 19319 chg sides, 161375 chg coeffs, 10464 upgd conss, 2614064 impls, 1502 clqs
240.66/240.73 c (round 181) 2602 del vars, 9903 del conss, 507 chg bounds, 19319 chg sides, 161375 chg coeffs, 10464 upgd conss, 2614064 impls, 1502 clqs
241.75/241.88 c (240.9s) probing: 4000/6765 (59.1%) - 1310 fixings, 0 aggregations, 1108745 implications, 0 bound changes
242.05/242.14 c (round 182) 2652 del vars, 9903 del conss, 507 chg bounds, 19319 chg sides, 161375 chg coeffs, 10464 upgd conss, 2707054 impls, 1494 clqs
243.95/244.05 c (round 183) 2652 del vars, 9986 del conss, 507 chg bounds, 19326 chg sides, 161462 chg coeffs, 10464 upgd conss, 2707058 impls, 1498 clqs
245.75/245.87 c (round 184) 2652 del vars, 10001 del conss, 507 chg bounds, 19326 chg sides, 161462 chg coeffs, 10464 upgd conss, 2707058 impls, 1498 clqs
245.85/245.92 c (round 185) 2652 del vars, 10008 del conss, 507 chg bounds, 19326 chg sides, 161462 chg coeffs, 10464 upgd conss, 2707058 impls, 1498 clqs
246.95/247.05 c (round 186) 2702 del vars, 10008 del conss, 507 chg bounds, 19326 chg sides, 161462 chg coeffs, 10464 upgd conss, 2778876 impls, 1489 clqs
248.86/248.94 c (round 187) 2702 del vars, 10092 del conss, 507 chg bounds, 19329 chg sides, 161506 chg coeffs, 10464 upgd conss, 2778876 impls, 1490 clqs
249.35/249.40 c (round 188) 2702 del vars, 10099 del conss, 507 chg bounds, 19329 chg sides, 161506 chg coeffs, 10464 upgd conss, 2778876 impls, 1490 clqs
250.35/250.41 c (round 189) 2752 del vars, 10100 del conss, 507 chg bounds, 19329 chg sides, 161506 chg coeffs, 10464 upgd conss, 2834992 impls, 1481 clqs
252.25/252.32 c (round 190) 2752 del vars, 10187 del conss, 507 chg bounds, 19334 chg sides, 161568 chg coeffs, 10464 upgd conss, 2834996 impls, 1484 clqs
253.75/253.86 c (round 191) 2752 del vars, 10198 del conss, 507 chg bounds, 19334 chg sides, 161568 chg coeffs, 10464 upgd conss, 2834996 impls, 1484 clqs
254.85/254.98 c (round 192) 2802 del vars, 10199 del conss, 507 chg bounds, 19334 chg sides, 161568 chg coeffs, 10464 upgd conss, 2903184 impls, 1477 clqs
256.75/256.85 c (round 193) 2802 del vars, 10281 del conss, 507 chg bounds, 19340 chg sides, 161667 chg coeffs, 10464 upgd conss, 2903184 impls, 1478 clqs
257.35/257.49 c (round 194) 2802 del vars, 10296 del conss, 507 chg bounds, 19340 chg sides, 161667 chg coeffs, 10464 upgd conss, 2903184 impls, 1478 clqs
258.36/258.48 c (round 195) 2852 del vars, 10297 del conss, 507 chg bounds, 19340 chg sides, 161667 chg coeffs, 10464 upgd conss, 2963144 impls, 1464 clqs
260.25/260.37 c (round 196) 2852 del vars, 10375 del conss, 507 chg bounds, 19350 chg sides, 161788 chg coeffs, 10464 upgd conss, 2963148 impls, 1468 clqs
261.85/261.96 c (round 197) 2872 del vars, 10409 del conss, 507 chg bounds, 19350 chg sides, 161788 chg coeffs, 10464 upgd conss, 2963148 impls, 1464 clqs
262.15/262.29 c (round 198) 2872 del vars, 10442 del conss, 507 chg bounds, 19564 chg sides, 162284 chg coeffs, 10464 upgd conss, 2963148 impls, 1464 clqs
262.25/262.37 c (round 199) 2872 del vars, 10460 del conss, 507 chg bounds, 19564 chg sides, 162284 chg coeffs, 10464 upgd conss, 2963148 impls, 1464 clqs
262.35/262.40 c (round 200) 2872 del vars, 10467 del conss, 507 chg bounds, 19564 chg sides, 162284 chg coeffs, 10464 upgd conss, 2963148 impls, 1464 clqs
262.35/262.43 c (round 201) 2872 del vars, 10476 del conss, 507 chg bounds, 19564 chg sides, 162284 chg coeffs, 10464 upgd conss, 2963148 impls, 1464 clqs
262.35/262.44 c (round 202) 2872 del vars, 10485 del conss, 507 chg bounds, 19564 chg sides, 162284 chg coeffs, 10464 upgd conss, 2963148 impls, 1464 clqs
263.35/263.42 c (round 203) 2922 del vars, 10486 del conss, 507 chg bounds, 19564 chg sides, 162284 chg coeffs, 10464 upgd conss, 3028846 impls, 1452 clqs
265.15/265.27 c (round 204) 2922 del vars, 10564 del conss, 507 chg bounds, 19575 chg sides, 162471 chg coeffs, 10464 upgd conss, 3028850 impls, 1457 clqs
266.75/266.86 c (round 205) 2944 del vars, 10605 del conss, 507 chg bounds, 19575 chg sides, 162517 chg coeffs, 10464 upgd conss, 3028850 impls, 1449 clqs
267.05/267.20 c (round 206) 2944 del vars, 10609 del conss, 507 chg bounds, 19757 chg sides, 162927 chg coeffs, 10464 upgd conss, 3028850 impls, 1449 clqs
267.15/267.29 c (round 207) 2944 del vars, 10658 del conss, 507 chg bounds, 19757 chg sides, 162927 chg coeffs, 10464 upgd conss, 3028850 impls, 1449 clqs
267.26/267.32 c (round 208) 2944 del vars, 10659 del conss, 507 chg bounds, 19757 chg sides, 162927 chg coeffs, 10464 upgd conss, 3028850 impls, 1449 clqs
267.26/267.36 c (round 209) 2944 del vars, 10666 del conss, 507 chg bounds, 19757 chg sides, 162927 chg coeffs, 10464 upgd conss, 3028850 impls, 1449 clqs
267.26/267.39 c (round 210) 2944 del vars, 10673 del conss, 507 chg bounds, 19757 chg sides, 162927 chg coeffs, 10464 upgd conss, 3028850 impls, 1449 clqs
267.35/267.43 c (round 211) 2944 del vars, 10680 del conss, 507 chg bounds, 19757 chg sides, 162927 chg coeffs, 10464 upgd conss, 3028850 impls, 1449 clqs
268.55/268.67 c (round 212) 3031 del vars, 10680 del conss, 507 chg bounds, 19757 chg sides, 162927 chg coeffs, 10464 upgd conss, 3113006 impls, 1436 clqs
270.35/270.48 c (round 213) 3031 del vars, 10817 del conss, 507 chg bounds, 19769 chg sides, 163071 chg coeffs, 10464 upgd conss, 3113008 impls, 1438 clqs
271.65/271.75 c (round 214) 3052 del vars, 10863 del conss, 507 chg bounds, 19769 chg sides, 163071 chg coeffs, 10464 upgd conss, 3113008 impls, 1431 clqs
271.95/272.06 c (round 215) 3052 del vars, 10905 del conss, 507 chg bounds, 19929 chg sides, 163279 chg coeffs, 10464 upgd conss, 3113008 impls, 1431 clqs
272.05/272.18 c (round 216) 3064 del vars, 10926 del conss, 507 chg bounds, 19929 chg sides, 163279 chg coeffs, 10464 upgd conss, 3113008 impls, 1427 clqs
272.45/272.51 c (round 217) 3064 del vars, 10930 del conss, 507 chg bounds, 20142 chg sides, 163658 chg coeffs, 10464 upgd conss, 3113008 impls, 1427 clqs
272.54/272.62 c (round 218) 3064 del vars, 10964 del conss, 507 chg bounds, 20142 chg sides, 163658 chg coeffs, 10464 upgd conss, 3113008 impls, 1427 clqs
272.54/272.64 c (round 219) 3064 del vars, 10967 del conss, 507 chg bounds, 20142 chg sides, 163658 chg coeffs, 10464 upgd conss, 3113008 impls, 1427 clqs
272.54/272.65 c (round 220) 3064 del vars, 10970 del conss, 507 chg bounds, 20142 chg sides, 163658 chg coeffs, 10464 upgd conss, 3113008 impls, 1427 clqs
272.54/272.66 c (round 221) 3064 del vars, 10973 del conss, 507 chg bounds, 20142 chg sides, 163658 chg coeffs, 10464 upgd conss, 3113008 impls, 1427 clqs
272.54/272.67 c (round 222) 3064 del vars, 10976 del conss, 507 chg bounds, 20142 chg sides, 163658 chg coeffs, 10464 upgd conss, 3113008 impls, 1427 clqs
272.54/272.68 c (round 223) 3064 del vars, 10979 del conss, 507 chg bounds, 20142 chg sides, 163658 chg coeffs, 10464 upgd conss, 3113008 impls, 1427 clqs
272.65/272.79 c (271.7s) probing: 5000/6765 (73.9%) - 1658 fixings, 0 aggregations, 1272843 implications, 0 bound changes
273.95/274.05 c (round 224) 3114 del vars, 10979 del conss, 507 chg bounds, 20142 chg sides, 163658 chg coeffs, 10464 upgd conss, 3215474 impls, 1412 clqs
275.75/275.81 c (round 225) 3114 del vars, 11006 del conss, 507 chg bounds, 20168 chg sides, 164001 chg coeffs, 10464 upgd conss, 3215494 impls, 1414 clqs
276.85/276.99 c (round 226) 3114 del vars, 11066 del conss, 507 chg bounds, 20168 chg sides, 164003 chg coeffs, 10464 upgd conss, 3215494 impls, 1414 clqs
276.95/277.03 c (round 227) 3114 del vars, 11070 del conss, 507 chg bounds, 20168 chg sides, 164005 chg coeffs, 10464 upgd conss, 3215494 impls, 1414 clqs
277.64/277.75 c (round 228) 3164 del vars, 11070 del conss, 507 chg bounds, 20168 chg sides, 164006 chg coeffs, 10464 upgd conss, 3263082 impls, 1404 clqs
279.35/279.49 c (round 229) 3164 del vars, 11104 del conss, 507 chg bounds, 20200 chg sides, 164433 chg coeffs, 10464 upgd conss, 3263104 impls, 1407 clqs
280.65/280.72 c (round 230) 3165 del vars, 11168 del conss, 507 chg bounds, 20201 chg sides, 164447 chg coeffs, 10464 upgd conss, 3263104 impls, 1405 clqs
280.65/280.73 c (round 231) 3165 del vars, 11171 del conss, 507 chg bounds, 20201 chg sides, 164447 chg coeffs, 10464 upgd conss, 3263104 impls, 1405 clqs
280.65/280.78 c (round 232) 3175 del vars, 11172 del conss, 507 chg bounds, 20201 chg sides, 164447 chg coeffs, 10464 upgd conss, 3263104 impls, 1403 clqs
280.95/281.07 c (round 233) 3175 del vars, 11199 del conss, 507 chg bounds, 20382 chg sides, 164766 chg coeffs, 10464 upgd conss, 3263104 impls, 1404 clqs
281.55/281.63 c (round 234) 3175 del vars, 11211 del conss, 507 chg bounds, 20382 chg sides, 164766 chg coeffs, 10464 upgd conss, 3263104 impls, 1404 clqs
281.55/281.64 c (round 235) 3175 del vars, 11216 del conss, 507 chg bounds, 20382 chg sides, 164766 chg coeffs, 10464 upgd conss, 3263104 impls, 1404 clqs
281.55/281.66 c (round 236) 3175 del vars, 11221 del conss, 507 chg bounds, 20382 chg sides, 164766 chg coeffs, 10464 upgd conss, 3263104 impls, 1404 clqs
281.55/281.67 c (round 237) 3175 del vars, 11226 del conss, 507 chg bounds, 20382 chg sides, 164766 chg coeffs, 10464 upgd conss, 3263104 impls, 1404 clqs
281.55/281.68 c (round 238) 3175 del vars, 11227 del conss, 507 chg bounds, 20382 chg sides, 164766 chg coeffs, 10464 upgd conss, 3263104 impls, 1404 clqs
282.34/282.44 c (round 239) 3225 del vars, 11227 del conss, 507 chg bounds, 20382 chg sides, 164766 chg coeffs, 10464 upgd conss, 3319400 impls, 1392 clqs
284.04/284.14 c (round 240) 3225 del vars, 11268 del conss, 507 chg bounds, 20431 chg sides, 165177 chg coeffs, 10464 upgd conss, 3319422 impls, 1394 clqs
284.85/284.90 c (round 241) 3225 del vars, 11337 del conss, 507 chg bounds, 20431 chg sides, 165177 chg coeffs, 10464 upgd conss, 3319422 impls, 1394 clqs
285.24/285.31 c (round 242) 3275 del vars, 11337 del conss, 507 chg bounds, 20431 chg sides, 165177 chg coeffs, 10464 upgd conss, 3340570 impls, 1380 clqs
287.34/287.42 c (round 243) 3275 del vars, 11362 del conss, 507 chg bounds, 20870 chg sides, 166110 chg coeffs, 10464 upgd conss, 3340592 impls, 1382 clqs
288.15/288.21 c (round 244) 3275 del vars, 11497 del conss, 507 chg bounds, 20873 chg sides, 166195 chg coeffs, 10464 upgd conss, 3340592 impls, 1383 clqs
288.75/288.82 c (round 245) 3275 del vars, 11548 del conss, 507 chg bounds, 20925 chg sides, 166767 chg coeffs, 10464 upgd conss, 3340592 impls, 1384 clqs
288.94/289.04 c (round 246) 3275 del vars, 11557 del conss, 507 chg bounds, 20925 chg sides, 166767 chg coeffs, 10464 upgd conss, 3340592 impls, 1384 clqs
289.44/289.57 c (round 247) 3325 del vars, 11557 del conss, 507 chg bounds, 20925 chg sides, 166767 chg coeffs, 10464 upgd conss, 3373376 impls, 1375 clqs
291.35/291.41 c (round 248) 3325 del vars, 11630 del conss, 507 chg bounds, 21162 chg sides, 167484 chg coeffs, 10464 upgd conss, 3373378 impls, 1375 clqs
291.55/291.63 c (round 249) 3325 del vars, 11698 del conss, 507 chg bounds, 21184 chg sides, 167726 chg coeffs, 10464 upgd conss, 3373378 impls, 1375 clqs
291.64/291.70 c (round 250) 3325 del vars, 11703 del conss, 507 chg bounds, 21184 chg sides, 167726 chg coeffs, 10464 upgd conss, 3373378 impls, 1375 clqs
291.64/291.74 c (round 251) 3325 del vars, 11705 del conss, 507 chg bounds, 21184 chg sides, 167726 chg coeffs, 10464 upgd conss, 3373378 impls, 1375 clqs
292.55/292.66 c (round 252) 3375 del vars, 11705 del conss, 507 chg bounds, 21184 chg sides, 167726 chg coeffs, 10464 upgd conss, 3438264 impls, 1367 clqs
294.15/294.21 c (round 253) 3375 del vars, 11710 del conss, 507 chg bounds, 21270 chg sides, 168692 chg coeffs, 10464 upgd conss, 3438264 impls, 1369 clqs
295.14/295.28 c (round 254) 3376 del vars, 11852 del conss, 507 chg bounds, 21270 chg sides, 168712 chg coeffs, 10464 upgd conss, 3438264 impls, 1367 clqs
295.24/295.32 c (round 255) 3376 del vars, 11854 del conss, 507 chg bounds, 21270 chg sides, 168712 chg coeffs, 10464 upgd conss, 3438264 impls, 1367 clqs
295.45/295.55 c (294.4s) probing: 6000/6765 (88.7%) - 1995 fixings, 0 aggregations, 1385232 implications, 0 bound changes
295.45/295.58 c (round 256) 3426 del vars, 11854 del conss, 507 chg bounds, 21270 chg sides, 168712 chg coeffs, 10464 upgd conss, 3443464 impls, 1351 clqs
297.14/297.22 c (round 257) 3426 del vars, 11856 del conss, 507 chg bounds, 21442 chg sides, 169522 chg coeffs, 10464 upgd conss, 3443464 impls, 1351 clqs
297.44/297.53 c (round 258) 3428 del vars, 12019 del conss, 507 chg bounds, 21449 chg sides, 169592 chg coeffs, 10464 upgd conss, 3443464 impls, 1348 clqs
297.84/297.91 c (round 259) 3428 del vars, 12024 del conss, 507 chg bounds, 21449 chg sides, 169595 chg coeffs, 10464 upgd conss, 3443464 impls, 1348 clqs
297.84/297.96 c (round 260) 3428 del vars, 12038 del conss, 507 chg bounds, 21452 chg sides, 169625 chg coeffs, 10464 upgd conss, 3443464 impls, 1348 clqs
297.95/298.10 c (round 261) 3463 del vars, 12038 del conss, 507 chg bounds, 21452 chg sides, 169625 chg coeffs, 10464 upgd conss, 3443882 impls, 1317 clqs
299.25/299.30 c (round 262) 3463 del vars, 12128 del conss, 507 chg bounds, 21519 chg sides, 170073 chg coeffs, 10464 upgd conss, 3443882 impls, 1317 clqs
299.35/299.45 c (round 263) 3463 del vars, 12182 del conss, 507 chg bounds, 21532 chg sides, 170217 chg coeffs, 10464 upgd conss, 3443882 impls, 1319 clqs
299.85/299.97 c (round 264) 3463 del vars, 12184 del conss, 507 chg bounds, 21532 chg sides, 170217 chg coeffs, 10464 upgd conss, 3443882 impls, 1319 clqs
299.94/300.00 c presolving (265 rounds):
299.94/300.00 c 3463 deleted vars, 12184 deleted constraints, 507 tightened bounds, 0 added holes, 21532 changed sides, 170217 changed coefficients
299.94/300.00 c 3443882 implications, 1319 cliques
299.94/300.00 c presolved problem has 4519 variables (4519 bin, 0 int, 0 impl, 0 cont) and 9146 constraints
299.94/300.00 c 1450 constraints of type <knapsack>
299.94/300.00 c 5662 constraints of type <setppc>
299.94/300.00 c 2034 constraints of type <logicor>
299.94/300.00 c transformed objective value is always integral (scale: 1)
299.94/300.00 c Presolving Time: 298.74
299.94/300.00 c OPT-LIN
299.94/300.00 c -----------------------------------------------------------------------------------------------
299.94/300.00 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
299.94/300.00 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
299.94/300.00 c limits/memory = c 13950
299.94/300.00 c # maximal time in seconds to run
299.94/300.00 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
299.94/300.00 c limits/time = c 1791
299.94/300.00 c # frequency for displaying node information lines
299.94/300.00 c # [type: int, range: [-1,2147483647], default: 100]
299.94/300.00 c display/freq = c 10000
299.94/300.00 c -----------------------------------------------------------------------------------------------
299.94/300.00 c start solving problem
299.94/300.00 c
303.14/303.28 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
303.14/303.28 c 302s| 1 | 0 | 5012 | 153M| 0 | 802 |4519 |9146 |9146 |4519 |9146 | 0 | 0 | 0 | 1.205920e+01 | -- | Inf
332.23/332.38 c 331s| 1 | 0 | 22116 | 154M| 0 | 766 |4519 |9146 |9146 |4519 |9534 | 388 | 0 | 0 | 1.216753e+01 | -- | Inf
335.74/335.81 c 334s| 1 | 0 | 24158 | 154M| 0 | 816 |4519 |9146 |9146 |4519 |9623 | 477 | 0 | 0 | 1.218919e+01 | -- | Inf
340.44/340.55 c 339s| 1 | 0 | 27104 | 154M| 0 | 864 |4519 |9146 |9146 |4519 |9661 | 515 | 0 | 0 | 1.218919e+01 | -- | Inf
352.84/352.92 c 351s| 1 | 0 | 36297 | 154M| 0 | 981 |4519 |9146 |9146 |4519 |9705 | 559 | 0 | 0 | 1.302249e+01 | -- | Inf
359.43/359.58 c 358s| 1 | 0 | 40380 | 154M| 0 | 946 |4519 |9146 |9146 |4519 |9840 | 694 | 0 | 0 | 1.302249e+01 | -- | Inf
367.73/367.84 c 366s| 1 | 0 | 45477 | 154M| 0 | 965 |4519 |9146 |9146 |4519 |9927 | 781 | 0 | 0 | 1.302249e+01 | -- | Inf
377.63/377.72 c 376s| 1 | 0 | 51585 | 155M| 0 |1025 |4519 |9146 |9146 |4519 | 10k| 887 | 0 | 0 | 1.302249e+01 | -- | Inf
386.63/386.75 c 385s| 1 | 0 | 57347 | 155M| 0 |1000 |4519 |9146 |9146 |4519 | 10k| 984 | 0 | 0 | 1.407692e+01 | -- | Inf
424.12/424.27 c 423s| 1 | 0 | 78347 | 155M| 0 | 822 |4519 |9146 |9146 |4519 | 10k|1220 | 0 | 0 | 1.743243e+01 | -- | Inf
443.72/443.86 c 442s| 1 | 0 | 90769 | 156M| 0 | 862 |4519 |9146 |9146 |4519 | 10k|1352 | 0 | 0 | 1.752821e+01 | -- | Inf
452.03/452.13 c 450s| 1 | 0 | 96231 | 160M| 0 | 791 |4519 |9146 |9146 |4519 | 10k|1486 | 0 | 0 | 1.814854e+01 | -- | Inf
457.72/457.83 c 456s| 1 | 0 |100018 | 161M| 0 | 893 |4519 |9146 |9146 |4519 | 10k|1608 | 0 | 0 | 1.814854e+01 | -- | Inf
464.32/464.40 c 463s| 1 | 0 |104087 | 162M| 0 | 856 |4519 |9146 |9146 |4519 | 10k|1683 | 0 | 0 | 1.842676e+01 | -- | Inf
476.22/476.31 c 474s| 1 | 0 |112924 | 162M| 0 | 859 |4519 |9146 |9146 |4519 | 10k|1810 | 0 | 0 | 1.887640e+01 | -- | Inf
480.52/480.61 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
480.52/480.61 c 479s| 1 | 0 |115267 | 162M| 0 | 944 |4519 |9146 |9146 |4519 | 10k|1856 | 0 | 0 | 1.887640e+01 | -- | Inf
527.11/527.22 c 525s| 1 | 0 |144576 | 162M| 0 |1207 |4519 |9146 |9146 |4519 | 10k|1925 | 0 | 0 | 1.900002e+01 | -- | Inf
702.48/702.68 c 700s| 1 | 0 |240526 | 162M| 0 |1400 |4519 |9146 |9146 |4519 | 10k|1983 | 0 | 0 | 1.900002e+01 | -- | Inf
889.94/890.16 c 888s| 1 | 0 |350248 | 162M| 0 |1426 |4519 |9146 |9146 |4519 | 10k|2089 | 0 | 0 | 1.900003e+01 | -- | Inf
984.13/984.36 c 982s| 1 | 0 |411808 | 162M| 0 |1000 |4519 |9146 |9146 |4519 | 10k|2160 | 0 | 0 | 1.900446e+01 | -- | Inf
1002.62/1002.83 c 1000s| 1 | 0 |424310 | 162M| 0 | 907 |4519 |9146 |9146 |4519 | 10k|2250 | 0 | 0 | 1.901403e+01 | -- | Inf
1020.53/1020.72 c 1018s| 1 | 0 |436939 | 162M| 0 | 812 |4519 |9146 |9146 |4519 | 10k|2308 | 0 | 0 | 1.902532e+01 | -- | Inf
1028.92/1029.18 c 1026s| 1 | 0 |443505 | 162M| 0 | 766 |4519 |9146 |9146 |4519 | 10k|2339 | 0 | 0 | 1.902532e+01 | -- | Inf
1039.02/1039.25 c 1036s| 1 | 0 |451636 | 162M| 0 | 804 |4519 |9146 |9146 |4519 | 10k|2362 | 0 | 0 | 1.902532e+01 | -- | Inf
1052.52/1052.75 c 1050s| 1 | 0 |462634 | 163M| 0 | 799 |4519 |9146 |9146 |4519 | 10k|2379 | 0 | 0 | 1.944231e+01 | -- | Inf
1059.32/1059.56 c 1057s| 1 | 0 |468560 | 164M| 0 | 825 |4519 |9146 |9146 |4519 | 10k|2460 | 0 | 0 | 2.036735e+01 | -- | Inf
1081.21/1081.44 c 1079s| 1 | 0 |485269 | 165M| 0 | 859 |4519 |9146 |9146 |4519 | 10k|2519 | 0 | 0 | 2.301746e+01 | -- | Inf
1094.81/1095.01 c 1092s| 1 | 0 |494950 | 165M| 0 | 845 |4519 |9146 |9146 |4519 | 10k|2584 | 0 | 0 | 2.301746e+01 | -- | Inf
1114.41/1114.63 c 1112s| 1 | 0 |509200 | 165M| 0 | 918 |4519 |9146 |9146 |4519 | 10k|2646 | 0 | 0 | 2.303493e+01 | -- | Inf
1123.81/1124.09 c 1121s| 1 | 0 |516511 | 165M| 0 | 853 |4519 |9146 |9146 |4519 |9993 |2690 | 0 | 0 | 2.303493e+01 | -- | Inf
1128.70/1128.91 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1128.70/1128.91 c 1126s| 1 | 0 |519808 | 165M| 0 | 832 |4519 |9146 |9146 |4519 | 10k|2709 | 0 | 0 | 2.303493e+01 | -- | Inf
1140.60/1140.81 c 1138s| 1 | 0 |529568 | 165M| 0 | 836 |4519 |9146 |9146 |4519 | 10k|2740 | 0 | 0 | 2.303493e+01 | -- | Inf
1155.20/1155.44 c 1152s| 1 | 0 |540959 | 165M| 0 | 819 |4519 |9146 |9146 |4519 | 10k|2794 | 0 | 0 | 2.303493e+01 | -- | Inf
1168.90/1169.13 c 1166s| 1 | 0 |551509 | 165M| 0 | 850 |4519 |9146 |9146 |4519 | 10k|2815 | 0 | 0 | 2.303493e+01 | -- | Inf
1194.90/1195.15 c 1192s| 1 | 2 |551509 | 165M| 0 | 850 |4519 |9146 |9146 |4519 | 10k|2815 | 0 | 20 | 2.303493e+01 | -- | Inf
1795.61/1795.92 c
1795.61/1795.92 c SCIP Status : solving was interrupted [time limit reached]
1795.61/1795.92 c Solving Time (sec) : 1791.77
1795.61/1795.92 c Solving Nodes : 64
1795.61/1795.92 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1795.61/1795.92 c Dual Bound : +2.30349264705882e+01
1795.61/1795.92 c Gap : infinite
1795.61/1795.92 c NODE 64
1795.61/1795.92 c DUAL BOUND 23.0349
1795.61/1795.92 c PRIMAL BOUND 1e+20
1795.61/1795.92 c GAP 1e+20
1795.61/1795.92 s UNKNOWN
1795.61/1795.92 c SCIP Status : solving was interrupted [time limit reached]
1795.61/1795.92 c Solving Time : 1791.77
1795.61/1795.92 c Original Problem :
1795.61/1795.92 c Problem name : HOME/instance-3741391-1338771408.opb
1795.61/1795.92 c Variables : 7982 (7982 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.61/1795.92 c Constraints : 11063 initial, 11063 maximal
1795.61/1795.92 c Presolved Problem :
1795.61/1795.92 c Problem name : t_HOME/instance-3741391-1338771408.opb
1795.61/1795.92 c Variables : 4519 (4519 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.61/1795.92 c Constraints : 9146 initial, 9183 maximal
1795.61/1795.92 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1795.61/1795.92 c trivial : 0.10 0 0 0 0 0 0 0 0
1795.61/1795.92 c dualfix : 0.03 0 0 0 0 0 0 0 0
1795.61/1795.92 c boundshift : 0.00 0 0 0 0 0 0 0 0
1795.61/1795.92 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1795.61/1795.92 c implics : 0.15 0 0 0 0 0 0 0 0
1795.61/1795.92 c probing : 42.93 2042 0 0 0 0 0 0 0
1795.61/1795.92 c knapsack : 245.93 0 0 0 0 0 5260 13685 162370
1795.61/1795.92 c setppc : 8.00 912 0 0 0 0 5784 0 0
1795.61/1795.92 c linear : 0.63 507 2 0 507 0 599 7847 7847
1795.61/1795.92 c logicor : 0.43 0 0 0 0 0 541 0 0
1795.61/1795.92 c root node : - 0 - - 0 - - - -
1795.61/1795.92 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1795.61/1795.92 c integral : 0 0 0 59 0 0 9 0 0 108
1795.61/1795.92 c knapsack : 1450 33 43577 0 0 358 2072 306 0 0
1795.61/1795.92 c setppc : 5662 33 43219 0 0 764 5336 0 0 0
1795.61/1795.92 c logicor : 2034+ 33 36813 0 0 74 1119 0 0 0
1795.61/1795.92 c countsols : 0 0 0 0 0 0 0 0 0 0
1795.61/1795.92 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1795.61/1795.92 c integral : 454.88 0.00 0.00 454.88 0.00
1795.61/1795.92 c knapsack : 3.27 0.26 3.01 0.00 0.00
1795.61/1795.92 c setppc : 8.55 0.01 8.54 0.00 0.00
1795.61/1795.92 c logicor : 1.21 0.01 1.20 0.00 0.00
1795.61/1795.92 c countsols : 0.00 0.00 0.00 0.00 0.00
1795.61/1795.92 c Propagators : Time Calls Cutoffs DomReds
1795.61/1795.92 c rootredcost : 0.01 0 0 0
1795.61/1795.92 c pseudoobj : 0.01 386 0 0
1795.61/1795.92 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1795.61/1795.92 c propagation : 0.00 5 5 20 154.8 3 2.3 -
1795.61/1795.92 c infeasible LP : 0.03 7 6 72 403.5 1 2.0 0
1795.61/1795.92 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1795.61/1795.92 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1795.61/1795.92 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1795.61/1795.92 c applied globally : - - - 44 109.4 - - -
1795.61/1795.92 c applied locally : - - - 0 0.0 - - -
1795.61/1795.92 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1795.61/1795.92 c cut pool : 0.06 32 - - 429 - (maximal pool size: 3847)
1795.61/1795.92 c redcost : 0.02 91 0 0 0 0
1795.61/1795.92 c impliedbounds : 0.25 33 0 0 4319 0
1795.61/1795.92 c intobj : 0.00 0 0 0 0 0
1795.61/1795.92 c gomory : 24.99 33 0 0 2351 0
1795.61/1795.92 c strongcg : 15.53 20 0 0 1154 0
1795.61/1795.92 c cmir : 0.87 10 0 0 1 0
1795.61/1795.92 c flowcover : 0.99 10 0 0 26 0
1795.61/1795.92 c clique : 8.59 33 0 0 311 0
1795.61/1795.92 c zerohalf : 0.00 0 0 0 0 0
1795.61/1795.92 c mcf : 0.01 1 0 0 0 0
1795.61/1795.92 c Pricers : Time Calls Vars
1795.61/1795.92 c problem variables: 0.00 0 0
1795.61/1795.92 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1795.61/1795.92 c relpscost : 454.88 59 0 9 0 0 108
1795.61/1795.92 c pscost : 0.00 0 0 0 0 0 0
1795.61/1795.92 c inference : 0.00 0 0 0 0 0 0
1795.61/1795.92 c mostinf : 0.00 0 0 0 0 0 0
1795.61/1795.92 c leastinf : 0.00 0 0 0 0 0 0
1795.61/1795.92 c fullstrong : 0.00 0 0 0 0 0 0
1795.61/1795.92 c allfullstrong : 0.00 0 0 0 0 0 0
1795.61/1795.92 c random : 0.00 0 0 0 0 0 0
1795.61/1795.92 c Primal Heuristics : Time Calls Found
1795.61/1795.92 c LP solutions : 0.00 - 0
1795.61/1795.92 c pseudo solutions : 0.00 - 0
1795.61/1795.92 c oneopt : 0.00 0 0
1795.61/1795.92 c pscostdiving : 0.00 0 0
1795.61/1795.92 c fracdiving : 0.00 0 0
1795.61/1795.92 c veclendiving : 0.00 0 0
1795.61/1795.92 c objpscostdiving : 0.00 0 0
1795.61/1795.92 c rootsoldiving : 0.00 0 0
1795.61/1795.92 c linesearchdiving : 0.00 0 0
1795.61/1795.92 c guideddiving : 0.00 0 0
1795.61/1795.92 c crossover : 0.00 0 0
1795.61/1795.92 c intshifting : 0.00 0 0
1795.61/1795.92 c coefdiving : 0.14 1 0
1795.61/1795.92 c feaspump : 17.58 1 0
1795.61/1795.92 c simplerounding : 0.00 0 0
1795.61/1795.92 c rounding : 0.09 92 0
1795.61/1795.92 c shifting : 0.22 39 0
1795.61/1795.92 c fixandinfer : 0.00 0 0
1795.61/1795.92 c intdiving : 0.00 0 0
1795.61/1795.92 c actconsdiving : 0.00 0 0
1795.61/1795.92 c octane : 0.00 0 0
1795.61/1795.92 c rens : 2.14 1 0
1795.61/1795.92 c rins : 0.00 0 0
1795.61/1795.92 c localbranching : 0.00 0 0
1795.61/1795.92 c mutation : 0.00 0 0
1795.61/1795.92 c dins : 0.00 0 0
1795.61/1795.92 c LP : Time Calls Iterations Iter/call Iter/sec
1795.61/1795.92 c primal LP : 0.06 0 0 0.00 0.00
1795.61/1795.92 c dual LP : 965.79 98 708623 7230.85 733.72
1795.61/1795.92 c barrier LP : 0.00 0 0 0.00 -
1795.61/1795.92 c diving/probing LP: 17.70 10 13127 1312.70 741.64
1795.61/1795.92 c strong branching : 454.85 555 490133 883.12 1077.57
1795.61/1795.92 c (at root node) : - 20 20000 1000.00 -
1795.61/1795.92 c conflict analysis: 0.00 0 0 0.00 -
1795.61/1795.92 c B&B Tree :
1795.61/1795.92 c number of runs : 1
1795.61/1795.92 c nodes : 64
1795.61/1795.92 c nodes (total) : 64
1795.61/1795.92 c nodes left : 45
1795.61/1795.92 c max depth : 33
1795.61/1795.92 c max depth (total): 33
1795.61/1795.92 c backtracks : 2 (3.1%)
1795.61/1795.92 c delayed cutoffs : 0
1795.61/1795.92 c repropagations : 47 (102 domain reductions, 0 cutoffs)
1795.61/1795.92 c avg switch length: 3.02
1795.61/1795.92 c switching time : 0.05
1795.61/1795.92 c Solution :
1795.61/1795.92 c Solutions found : 0 (0 improvements)
1795.61/1795.92 c Primal Bound : -
1795.61/1795.92 c Dual Bound : +2.30349264705882e+01
1795.61/1795.92 c Gap : infinite
1795.61/1795.92 c Root Dual Bound : +2.30349264705882e+01
1795.71/1796.05 c Time complete: 1795.76.