0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2704812-1278580134.opb>
1.59/1.67 c original problem has 21111 variables (21111 bin, 0 int, 0 impl, 0 cont) and 100057 constraints
1.59/1.67 c problem read
1.59/1.67 c presolving settings loaded
2.10/2.20 c presolving:
2.59/2.69 c (round 1) 2378 del vars, 4182 del conss, 36 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 130386 impls, 1557 clqs
2.69/2.78 c (round 2) 2425 del vars, 5028 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 0 upgd conss, 161790 impls, 1557 clqs
2.79/2.83 c (round 3) 2501 del vars, 5152 del conss, 48 chg bounds, 0 chg sides, 9 chg coeffs, 0 upgd conss, 161793 impls, 1557 clqs
2.89/2.92 c (round 4) 5427 del vars, 11020 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 0 upgd conss, 161795 impls, 1557 clqs
2.89/2.96 c (round 5) 5449 del vars, 11076 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 0 upgd conss, 161795 impls, 1557 clqs
2.99/3.00 c (round 6) 5460 del vars, 11092 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 0 upgd conss, 161795 impls, 1557 clqs
3.69/3.70 c (round 7) 5467 del vars, 13402 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86622 upgd conss, 161795 impls, 1557 clqs
3.79/3.88 c (round 8) 5470 del vars, 13405 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86622 upgd conss, 161795 impls, 1557 clqs
3.99/4.01 c (round 9) 5470 del vars, 13406 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 161795 impls, 1557 clqs
9.29/9.35 c (round 10) 5560 del vars, 13406 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 303611 impls, 1537 clqs
9.39/9.42 c (round 11) 5574 del vars, 13938 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 304267 impls, 1537 clqs
9.39/9.48 c (round 12) 5575 del vars, 13980 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 304267 impls, 1537 clqs
9.59/9.61 c (round 13) 5575 del vars, 14005 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 304267 impls, 1537 clqs
19.79/19.82 c (round 14) 5625 del vars, 14005 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 422857 impls, 1536 clqs
19.79/19.88 c (round 15) 5625 del vars, 14064 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 422861 impls, 1536 clqs
19.98/20.00 c (round 16) 5625 del vars, 14111 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 422861 impls, 1536 clqs
28.28/28.36 c (26.7s) probing: 1000/15641 (6.4%) - 63 fixings, 106 aggregations, 77724 implications, 0 bound changes
32.78/32.86 c (round 17) 5675 del vars, 14112 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 460255 impls, 1535 clqs
32.89/32.97 c (round 18) 5675 del vars, 14160 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 460255 impls, 1535 clqs
33.08/33.10 c (round 19) 5675 del vars, 14217 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 460255 impls, 1535 clqs
39.08/39.15 c (round 20) 5725 del vars, 14217 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 469859 impls, 1534 clqs
39.18/39.26 c (round 21) 5725 del vars, 14267 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 469859 impls, 1534 clqs
39.28/39.39 c (round 22) 5725 del vars, 14315 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 469859 impls, 1534 clqs
44.88/44.94 c (round 23) 5775 del vars, 14315 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 491756 impls, 1533 clqs
44.98/45.00 c (round 24) 5775 del vars, 14368 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 491756 impls, 1533 clqs
45.08/45.13 c (round 25) 5775 del vars, 14416 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 491756 impls, 1533 clqs
48.87/48.98 c (47.3s) probing: 2000/15641 (12.8%) - 66 fixings, 244 aggregations, 98824 implications, 0 bound changes
55.47/55.58 c (round 26) 5825 del vars, 14416 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 519028 impls, 1531 clqs
55.57/55.64 c (round 27) 5826 del vars, 14499 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 519042 impls, 1531 clqs
55.67/55.78 c (round 28) 5826 del vars, 14549 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 519042 impls, 1531 clqs
62.37/62.47 c (round 29) 5876 del vars, 14549 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 531246 impls, 1531 clqs
62.47/62.58 c (round 30) 5876 del vars, 14600 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 531246 impls, 1531 clqs
62.68/62.71 c (round 31) 5876 del vars, 14647 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 531246 impls, 1531 clqs
67.97/68.01 c (66.3s) probing: 3000/15641 (19.2%) - 69 fixings, 354 aggregations, 117628 implications, 0 bound changes
69.67/69.74 c (round 32) 5926 del vars, 14647 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 547302 impls, 1530 clqs
69.77/69.80 c (round 33) 5926 del vars, 14713 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 547302 impls, 1530 clqs
69.87/69.94 c (round 34) 5926 del vars, 14780 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 547302 impls, 1530 clqs
77.76/77.88 c (round 35) 5976 del vars, 14780 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 556362 impls, 1530 clqs
77.86/77.99 c (round 36) 5976 del vars, 14828 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 556362 impls, 1530 clqs
78.07/78.12 c (round 37) 5976 del vars, 14880 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 556362 impls, 1530 clqs
83.57/83.66 c (round 38) 6026 del vars, 14880 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 561370 impls, 1529 clqs
83.66/83.72 c (round 39) 6026 del vars, 14944 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 561370 impls, 1529 clqs
83.76/83.84 c (round 40) 6026 del vars, 14991 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 561370 impls, 1529 clqs
86.16/86.25 c (84.6s) probing: 4000/15641 (25.6%) - 70 fixings, 491 aggregations, 125438 implications, 0 bound changes
89.76/89.90 c (round 41) 6076 del vars, 14991 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 566960 impls, 1528 clqs
89.96/90.01 c (round 42) 6076 del vars, 15040 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 566960 impls, 1528 clqs
90.06/90.13 c (round 43) 6076 del vars, 15088 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 566960 impls, 1528 clqs
98.56/98.61 c (round 44) 6126 del vars, 15088 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 576456 impls, 1528 clqs
98.66/98.72 c (round 45) 6126 del vars, 15131 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 576456 impls, 1528 clqs
98.76/98.85 c (round 46) 6126 del vars, 15182 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 576456 impls, 1528 clqs
103.75/103.89 c (102.2s) probing: 5000/15641 (32.0%) - 73 fixings, 600 aggregations, 135005 implications, 0 bound changes
106.85/106.94 c (round 47) 6176 del vars, 15182 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 587856 impls, 1527 clqs
106.95/107.00 c (round 48) 6176 del vars, 15251 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 587856 impls, 1527 clqs
107.05/107.13 c (round 49) 6176 del vars, 15297 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 587856 impls, 1527 clqs
114.55/114.67 c (round 50) 6226 del vars, 15297 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 601784 impls, 1526 clqs
114.65/114.78 c (round 51) 6226 del vars, 15345 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 601784 impls, 1526 clqs
114.85/114.91 c (round 52) 6226 del vars, 15401 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 601784 impls, 1526 clqs
121.55/121.62 c (119.9s) probing: 6000/15641 (38.4%) - 73 fixings, 712 aggregations, 147440 implications, 0 bound changes
122.15/122.29 c (round 53) 6276 del vars, 15401 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 608982 impls, 1526 clqs
122.35/122.40 c (round 54) 6276 del vars, 15451 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 608982 impls, 1526 clqs
122.45/122.53 c (round 55) 6276 del vars, 15501 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 608982 impls, 1526 clqs
127.45/127.58 c (round 56) 6326 del vars, 15501 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 613184 impls, 1526 clqs
127.55/127.69 c (round 57) 6326 del vars, 15547 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 613184 impls, 1526 clqs
127.74/127.82 c (round 58) 6326 del vars, 15598 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 613184 impls, 1526 clqs
133.74/133.81 c (round 59) 6376 del vars, 15601 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 615484 impls, 1526 clqs
133.84/133.92 c (round 60) 6376 del vars, 15648 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 615484 impls, 1526 clqs
133.94/134.05 c (round 61) 6376 del vars, 15698 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 615484 impls, 1526 clqs
138.84/138.95 c (137.3s) probing: 7000/15641 (44.8%) - 73 fixings, 841 aggregations, 152600 implications, 0 bound changes
142.64/142.72 c (round 62) 6426 del vars, 15698 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 622200 impls, 1526 clqs
142.74/142.84 c (round 63) 6426 del vars, 15746 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 622200 impls, 1526 clqs
142.85/142.96 c (round 64) 6426 del vars, 15797 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 622200 impls, 1526 clqs
150.64/150.73 c (round 65) 6476 del vars, 15797 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 627308 impls, 1526 clqs
150.74/150.84 c (round 66) 6476 del vars, 15842 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 627308 impls, 1526 clqs
150.84/150.97 c (round 67) 6476 del vars, 15897 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 627308 impls, 1526 clqs
155.73/155.83 c (154.2s) probing: 8000/15641 (51.1%) - 74 fixings, 931 aggregations, 160873 implications, 0 bound changes
161.73/161.80 c (round 68) 6526 del vars, 15897 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 639098 impls, 1526 clqs
161.83/161.91 c (round 69) 6526 del vars, 15945 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 639098 impls, 1526 clqs
161.93/162.04 c (round 70) 6526 del vars, 15995 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 639098 impls, 1526 clqs
169.13/169.28 c (round 71) 6576 del vars, 15995 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 650654 impls, 1526 clqs
169.24/169.40 c (round 72) 6576 del vars, 16044 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 650654 impls, 1526 clqs
169.43/169.53 c (round 73) 6576 del vars, 16092 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 650654 impls, 1526 clqs
172.83/172.99 c (171.3s) probing: 9000/15641 (57.5%) - 74 fixings, 1037 aggregations, 171140 implications, 0 bound changes
178.62/178.79 c (round 74) 6626 del vars, 16092 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 662572 impls, 1526 clqs
178.83/178.91 c (round 75) 6626 del vars, 16141 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 662572 impls, 1526 clqs
178.93/179.04 c (round 76) 6626 del vars, 16191 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 662572 impls, 1526 clqs
185.33/185.41 c (round 77) 6676 del vars, 16191 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 675782 impls, 1526 clqs
185.43/185.52 c (round 78) 6676 del vars, 16241 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 675782 impls, 1526 clqs
185.53/185.65 c (round 79) 6676 del vars, 16291 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 675782 impls, 1526 clqs
189.63/189.71 c (188.0s) probing: 10000/15641 (63.9%) - 74 fixings, 1152 aggregations, 186604 implications, 0 bound changes
191.43/191.59 c (round 80) 6726 del vars, 16291 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 700016 impls, 1526 clqs
191.63/191.70 c (round 81) 6726 del vars, 16340 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 700016 impls, 1526 clqs
191.73/191.83 c (round 82) 6726 del vars, 16392 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 700016 impls, 1526 clqs
197.63/197.78 c (round 83) 6776 del vars, 16392 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 710776 impls, 1526 clqs
197.73/197.89 c (round 84) 6776 del vars, 16435 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 710776 impls, 1526 clqs
197.93/198.02 c (round 85) 6776 del vars, 16489 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 710776 impls, 1526 clqs
203.23/203.38 c (round 86) 6826 del vars, 16489 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 720556 impls, 1526 clqs
203.33/203.49 c (round 87) 6826 del vars, 16533 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 720556 impls, 1526 clqs
203.53/203.63 c (round 88) 6826 del vars, 16583 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 720556 impls, 1526 clqs
206.32/206.48 c (204.8s) probing: 11000/15641 (70.3%) - 74 fixings, 1306 aggregations, 208442 implications, 0 bound changes
207.12/207.26 c (round 89) 6876 del vars, 16583 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 724054 impls, 1526 clqs
207.22/207.38 c (round 90) 6876 del vars, 16631 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 724054 impls, 1526 clqs
207.42/207.51 c (round 91) 6876 del vars, 16681 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 724054 impls, 1526 clqs
212.82/212.95 c (round 92) 6926 del vars, 16681 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 742222 impls, 1526 clqs
212.92/213.06 c (round 93) 6926 del vars, 16731 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 742222 impls, 1526 clqs
213.12/213.20 c (round 94) 6926 del vars, 16781 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 742222 impls, 1526 clqs
217.32/217.47 c (round 95) 6976 del vars, 16781 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 759618 impls, 1526 clqs
217.42/217.59 c (round 96) 6976 del vars, 16834 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 759618 impls, 1526 clqs
217.62/217.72 c (round 97) 6976 del vars, 16883 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 759618 impls, 1526 clqs
223.62/223.77 c (222.1s) probing: 12000/15641 (76.7%) - 75 fixings, 1455 aggregations, 239061 implications, 0 bound changes
224.12/224.22 c (round 98) 7026 del vars, 16883 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 778314 impls, 1526 clqs
224.22/224.34 c (round 99) 7026 del vars, 16931 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 778314 impls, 1526 clqs
224.32/224.47 c (round 100) 7026 del vars, 16979 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 778314 impls, 1526 clqs
230.41/230.53 c (round 101) 7076 del vars, 16979 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 789888 impls, 1526 clqs
230.51/230.65 c (round 102) 7076 del vars, 17032 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 789888 impls, 1526 clqs
230.61/230.78 c (round 103) 7076 del vars, 17081 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 789888 impls, 1526 clqs
234.61/234.72 c (round 104) 7126 del vars, 17081 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 796510 impls, 1526 clqs
234.71/234.87 c (round 105) 7126 del vars, 17132 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 796510 impls, 1526 clqs
234.91/235.01 c (round 106) 7126 del vars, 17182 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 796510 impls, 1526 clqs
241.82/241.96 c (240.3s) probing: 13000/15641 (83.1%) - 76 fixings, 1603 aggregations, 309666 implications, 0 bound changes
244.31/244.46 c (round 107) 7176 del vars, 17182 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 956078 impls, 1526 clqs
244.41/244.58 c (round 108) 7176 del vars, 17230 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 956078 impls, 1526 clqs
244.61/244.72 c (round 109) 7176 del vars, 17281 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 956078 impls, 1526 clqs
260.80/260.92 c (259.2s) probing: 14000/15641 (89.5%) - 77 fixings, 1649 aggregations, 419687 implications, 0 bound changes
266.80/266.96 c (round 110) 7226 del vars, 17281 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 1162622 impls, 1526 clqs
267.00/267.10 c (round 111) 7226 del vars, 17335 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 1162622 impls, 1526 clqs
267.10/267.24 c (round 112) 7226 del vars, 17383 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 1162622 impls, 1526 clqs
280.89/281.06 c (279.4s) probing: 15000/15641 (95.9%) - 80 fixings, 1667 aggregations, 546840 implications, 0 bound changes
290.69/290.87 c (289.2s) probing: 15547/15641 (99.4%) - 83 fixings, 1667 aggregations, 571695 implications, 0 bound changes
290.69/290.87 c (289.2s) probing aborted: 100/100 successive totally useless probings
290.69/290.88 c (round 113) 7236 del vars, 17383 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 1374466 impls, 1526 clqs
290.89/291.00 c (round 114) 7241 del vars, 17395 del conss, 48 chg bounds, 1 chg sides, 10 chg coeffs, 86653 upgd conss, 1374476 impls, 1526 clqs
291.09/291.23 c presolving (115 rounds):
291.09/291.23 c 7241 deleted vars, 17400 deleted constraints, 48 tightened bounds, 0 added holes, 1 changed sides, 10 changed coefficients
291.09/291.23 c 1374476 implications, 1526 cliques
291.09/291.23 c presolved problem has 13870 variables (13870 bin, 0 int, 0 impl, 0 cont) and 82658 constraints
291.09/291.23 c 23555 constraints of type <setppc>
291.09/291.23 c 59103 constraints of type <logicor>
291.09/291.23 c transformed objective value is always integral (scale: 1)
291.09/291.23 c Presolving Time: 289.18
291.09/291.23 c - non default parameters ----------------------------------------------------------------------
291.09/291.23 c # SCIP version 1.2.1.3
291.09/291.23 c
291.09/291.23 c # frequency for displaying node information lines
291.09/291.23 c # [type: int, range: [-1,2147483647], default: 100]
291.09/291.23 c display/freq = 10000
291.09/291.23 c
291.09/291.23 c # maximal time in seconds to run
291.09/291.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
291.09/291.23 c limits/time = 1788.33
291.09/291.23 c
291.09/291.23 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
291.09/291.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
291.09/291.23 c limits/memory = 1620
291.09/291.23 c
291.09/291.23 c # default clock type (1: CPU user seconds, 2: wall clock time)
291.09/291.23 c # [type: int, range: [1,2], default: 1]
291.09/291.23 c timing/clocktype = 2
291.09/291.23 c
291.09/291.23 c # should presolving try to simplify inequalities
291.09/291.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
291.09/291.23 c constraints/linear/simplifyinequalities = TRUE
291.09/291.23 c
291.09/291.23 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
291.09/291.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
291.09/291.23 c constraints/indicator/addCouplingCons = TRUE
291.09/291.23 c
291.09/291.23 c # should presolving try to simplify knapsacks
291.09/291.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
291.09/291.23 c constraints/knapsack/simplifyinequalities = TRUE
291.09/291.23 c
291.09/291.23 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
291.09/291.23 c # [type: int, range: [-1,2147483647], default: -1]
291.09/291.23 c separating/rapidlearning/freq = 0
291.09/291.23 c
291.09/291.23 c -----------------------------------------------------------------------------------------------
291.09/291.23 c start solving
291.09/291.25 c
321.18/321.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
321.18/321.30 c 320s| 1 | 2 | 13401 | - | 189M| 0 | - | 13k| 82k| 13k| 80k| 0 | 0 | 0 | 1.032242e+12 | -- | Inf
1790.57/1791.29 c
1790.57/1791.29 c SCIP Status : solving was interrupted [time limit reached]
1790.57/1791.29 c Solving Time (sec) : 1789.62
1790.57/1791.29 c Solving Nodes : 110
1790.57/1791.29 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1790.57/1791.29 c Dual Bound : +1.03224181471900e+12
1790.57/1791.29 c Gap : infinite
1790.57/1791.29 s UNKNOWN
1790.57/1791.29 c SCIP Status : solving was interrupted [time limit reached]
1790.57/1791.29 c Solving Time : 1789.62
1790.57/1791.29 c Original Problem :
1790.57/1791.29 c Problem name : HOME/instance-2704812-1278580134.opb
1790.57/1791.29 c Variables : 21111 (21111 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.57/1791.29 c Constraints : 100057 initial, 100057 maximal
1790.57/1791.29 c Presolved Problem :
1790.57/1791.29 c Problem name : t_HOME/instance-2704812-1278580134.opb
1790.57/1791.29 c Variables : 13870 (13870 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.57/1791.29 c Constraints : 82658 initial, 82658 maximal
1790.57/1791.29 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.57/1791.29 c trivial : 0.33 0 0 0 0 0 0 0 0
1790.57/1791.29 c dualfix : 0.37 4146 0 0 0 0 0 0 0
1790.57/1791.29 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.57/1791.29 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.57/1791.29 c implics : 0.74 0 48 0 0 0 0 0 0
1790.57/1791.29 c probing : 274.27 83 1667 0 0 0 0 0 0
1790.57/1791.29 c setppc : 3.20 0 0 0 0 0 3557 0 0
1790.57/1791.29 c linear : 1.12 48 1249 0 48 0 13404 1 10
1790.57/1791.29 c logicor : 8.74 0 0 0 0 0 439 0 0
1790.57/1791.29 c root node : - 0 - - 0 - - - -
1790.57/1791.29 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.57/1791.29 c integral : 0 0 0 0 0 0 0 0 0 0
1790.57/1791.29 c setppc : 23555 0 47029 0 110 0 2172 0 0 0
1790.57/1791.29 c logicor : 59103 0 39847 0 110 19 2905 0 0 0
1790.57/1791.29 c countsols : 0 0 0 0 110 0 0 0 0 0
1790.57/1791.29 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.57/1791.29 c integral : 0.00 0.00 0.00 0.00 0.00
1790.57/1791.29 c setppc : 197.99 0.00 196.14 0.00 1.84
1790.57/1791.29 c logicor : 12.36 0.00 6.51 0.00 5.85
1790.57/1791.29 c countsols : 0.00 0.00 0.00 0.00 0.00
1790.57/1791.29 c Propagators : Time Calls Cutoffs DomReds
1790.57/1791.29 c vbounds : 0.04 2 0 0
1790.57/1791.29 c rootredcost : 0.03 0 0 0
1790.57/1791.29 c pseudoobj : 0.30 225 0 0
1790.57/1791.29 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.57/1791.29 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1790.57/1791.29 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1790.57/1791.29 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.57/1791.29 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.57/1791.29 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.57/1791.29 c applied globally : - - - 0 0.0 - - -
1790.57/1791.29 c applied locally : - - - 0 0.0 - - -
1790.57/1791.29 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.57/1791.29 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1790.57/1791.29 c redcost : 0.00 0 0 0 0 0
1790.57/1791.29 c impliedbounds : 0.00 0 0 0 0 0
1790.57/1791.29 c intobj : 0.00 0 0 0 0 0
1790.57/1791.29 c cgmip : 0.00 0 0 0 0 0
1790.57/1791.29 c gomory : 0.00 0 0 0 0 0
1790.57/1791.29 c strongcg : 0.00 0 0 0 0 0
1790.57/1791.29 c cmir : 0.00 0 0 0 0 0
1790.57/1791.29 c flowcover : 0.00 0 0 0 0 0
1790.57/1791.29 c clique : 0.00 0 0 0 0 0
1790.57/1791.29 c zerohalf : 0.00 0 0 0 0 0
1790.57/1791.29 c mcf : 0.00 0 0 0 0 0
1790.57/1791.29 c rapidlearning : 0.00 0 0 0 0 0
1790.57/1791.29 c Pricers : Time Calls Vars
1790.57/1791.29 c problem variables: 0.00 0 0
1790.57/1791.29 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.57/1791.29 c relpscost : 0.00 0 0 0 0 0 0
1790.57/1791.29 c pscost : 0.00 0 0 0 0 0 0
1790.57/1791.29 c inference : 0.80 110 0 0 0 0 220
1790.57/1791.29 c mostinf : 0.00 0 0 0 0 0 0
1790.57/1791.29 c leastinf : 0.00 0 0 0 0 0 0
1790.57/1791.29 c fullstrong : 0.00 0 0 0 0 0 0
1790.57/1791.29 c allfullstrong : 0.00 0 0 0 0 0 0
1790.57/1791.29 c random : 0.00 0 0 0 0 0 0
1790.57/1791.29 c Primal Heuristics : Time Calls Found
1790.57/1791.29 c LP solutions : 0.00 - 0
1790.57/1791.29 c pseudo solutions : 0.00 - 0
1790.57/1791.29 c oneopt : 0.00 0 0
1790.57/1791.29 c trivial : 0.08 2 0
1790.57/1791.29 c simplerounding : 0.00 0 0
1790.57/1791.29 c zirounding : 0.00 0 0
1790.57/1791.29 c rounding : 0.00 0 0
1790.57/1791.29 c shifting : 0.00 0 0
1790.57/1791.29 c intshifting : 0.00 0 0
1790.57/1791.29 c twoopt : 0.00 0 0
1790.57/1791.29 c fixandinfer : 0.00 0 0
1790.57/1791.29 c feaspump : 0.00 0 0
1790.57/1791.29 c coefdiving : 0.00 0 0
1790.57/1791.29 c pscostdiving : 0.00 0 0
1790.57/1791.29 c fracdiving : 0.00 0 0
1790.57/1791.29 c veclendiving : 0.00 0 0
1790.57/1791.29 c intdiving : 0.00 0 0
1790.57/1791.29 c actconsdiving : 0.00 0 0
1790.57/1791.29 c objpscostdiving : 0.00 0 0
1790.57/1791.29 c rootsoldiving : 0.00 0 0
1790.57/1791.29 c linesearchdiving : 0.00 0 0
1790.57/1791.29 c guideddiving : 0.00 0 0
1790.57/1791.29 c octane : 0.00 0 0
1790.57/1791.29 c rens : 0.00 0 0
1790.57/1791.29 c rins : 0.00 0 0
1790.57/1791.29 c localbranching : 0.00 0 0
1790.57/1791.29 c mutation : 0.00 0 0
1790.57/1791.29 c crossover : 0.00 0 0
1790.57/1791.29 c dins : 0.00 0 0
1790.57/1791.29 c undercover : 0.00 0 0
1790.57/1791.29 c nlp : 0.00 0 0
1790.57/1791.29 c trysol : 0.00 0 0
1790.57/1791.29 c LP : Time Calls Iterations Iter/call Iter/sec
1790.57/1791.29 c primal LP : 0.00 0 0 0.00 -
1790.57/1791.29 c dual LP : 1483.92 142 691531 4869.94 466.01
1790.57/1791.29 c lex dual LP : 0.00 0 0 0.00 -
1790.57/1791.29 c barrier LP : 0.00 0 0 0.00 -
1790.57/1791.29 c diving/probing LP: 0.00 0 0 0.00 -
1790.57/1791.29 c strong branching : 0.00 0 0 0.00 -
1790.57/1791.29 c (at root node) : - 0 0 0.00 -
1790.57/1791.29 c conflict analysis: 0.00 0 0 0.00 -
1790.57/1791.29 c B&B Tree :
1790.57/1791.29 c number of runs : 1
1790.57/1791.29 c nodes : 110
1790.57/1791.29 c nodes (total) : 110
1790.57/1791.29 c nodes left : 111
1790.57/1791.29 c max depth : 39
1790.57/1791.29 c max depth (total): 39
1790.57/1791.29 c backtracks : 7 (6.4%)
1790.57/1791.29 c delayed cutoffs : 0
1790.57/1791.29 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1790.57/1791.29 c avg switch length: 1.89
1790.57/1791.29 c switching time : 0.04
1790.57/1791.29 c Solution :
1790.57/1791.29 c Solutions found : 0 (0 improvements)
1790.57/1791.29 c Primal Bound : -
1790.57/1791.29 c Dual Bound : +1.03224181471900e+12
1790.57/1791.29 c Gap : infinite
1790.57/1791.29 c Root Dual Bound : +1.03224181471900e+12
1790.57/1791.29 c Root Iterations : 13401
1791.18/1791.87 c Time complete: 1791.23.