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-2704817-1278580160.opb>
1.59/1.67 c original problem has 21109 variables (21109 bin, 0 int, 0 impl, 0 cont) and 100072 constraints
1.59/1.67 c problem read
1.59/1.67 c presolving settings loaded
2.09/2.19 c presolving:
2.59/2.68 c (round 1) 2374 del vars, 4174 del conss, 36 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 130394 impls, 1557 clqs
2.69/2.77 c (round 2) 2421 del vars, 5020 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 0 upgd conss, 161809 impls, 1557 clqs
2.79/2.82 c (round 3) 2496 del vars, 5146 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 0 upgd conss, 161819 impls, 1557 clqs
2.89/2.91 c (round 4) 5421 del vars, 11012 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 0 upgd conss, 161819 impls, 1557 clqs
2.89/2.95 c (round 5) 5443 del vars, 11066 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 0 upgd conss, 161819 impls, 1557 clqs
2.89/2.99 c (round 6) 5454 del vars, 11082 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 0 upgd conss, 161819 impls, 1557 clqs
3.59/3.69 c (round 7) 5461 del vars, 13390 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86650 upgd conss, 161819 impls, 1557 clqs
3.79/3.87 c (round 8) 5464 del vars, 13393 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86650 upgd conss, 161819 impls, 1557 clqs
3.99/4.00 c (round 9) 5464 del vars, 13394 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 161819 impls, 1557 clqs
12.29/12.35 c (round 10) 5514 del vars, 13394 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 318615 impls, 1557 clqs
12.39/12.41 c (round 11) 5514 del vars, 14592 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 318615 impls, 1557 clqs
20.09/20.11 c (round 12) 5565 del vars, 14595 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 379411 impls, 1556 clqs
20.19/20.22 c (round 13) 5566 del vars, 14654 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 379413 impls, 1556 clqs
26.79/26.82 c (25.2s) probing: 1000/15645 (6.4%) - 10 fixings, 118 aggregations, 43515 implications, 0 bound changes
31.18/31.28 c (round 14) 5616 del vars, 14656 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 404693 impls, 1556 clqs
31.38/31.40 c (round 15) 5616 del vars, 14719 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 404693 impls, 1556 clqs
37.18/37.21 c (round 16) 5667 del vars, 14721 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 416325 impls, 1555 clqs
37.18/37.27 c (round 17) 5667 del vars, 14777 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 416325 impls, 1555 clqs
37.28/37.39 c (round 18) 5667 del vars, 14956 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 416325 impls, 1555 clqs
41.57/41.67 c (round 19) 5717 del vars, 14958 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 428021 impls, 1555 clqs
41.67/41.78 c (round 20) 5717 del vars, 15013 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 428021 impls, 1555 clqs
41.87/41.90 c (round 21) 5717 del vars, 15058 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 428021 impls, 1555 clqs
46.18/46.21 c (44.5s) probing: 2000/15645 (12.8%) - 17 fixings, 256 aggregations, 62025 implications, 0 bound changes
50.37/50.49 c (round 22) 5767 del vars, 15058 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 454921 impls, 1553 clqs
50.47/50.56 c (round 23) 5771 del vars, 15123 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 455961 impls, 1553 clqs
50.58/50.69 c (round 24) 5771 del vars, 15171 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 455961 impls, 1553 clqs
59.07/59.17 c (round 25) 5822 del vars, 15171 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 468085 impls, 1552 clqs
59.17/59.24 c (round 26) 5824 del vars, 15225 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 468213 impls, 1552 clqs
63.87/63.93 c (62.3s) probing: 3000/15645 (19.2%) - 23 fixings, 366 aggregations, 78535 implications, 0 bound changes
65.97/66.03 c (round 27) 5874 del vars, 15227 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 494191 impls, 1551 clqs
65.97/66.09 c (round 28) 5874 del vars, 15289 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 494191 impls, 1551 clqs
66.17/66.21 c (round 29) 5874 del vars, 15392 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 494191 impls, 1551 clqs
73.67/73.75 c (round 30) 5924 del vars, 15392 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 501297 impls, 1551 clqs
73.76/73.81 c (round 31) 5924 del vars, 15470 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 501297 impls, 1551 clqs
73.86/73.93 c (round 32) 5924 del vars, 15521 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 501297 impls, 1551 clqs
80.06/80.16 c (round 33) 5974 del vars, 15521 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 507479 impls, 1550 clqs
80.16/80.22 c (round 34) 5974 del vars, 15585 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 507479 impls, 1550 clqs
80.27/80.35 c (round 35) 5974 del vars, 15629 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 507479 impls, 1550 clqs
81.26/81.30 c (79.6s) probing: 4000/15645 (25.6%) - 30 fixings, 476 aggregations, 88605 implications, 0 bound changes
86.96/87.05 c (round 36) 6024 del vars, 15629 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 516883 impls, 1550 clqs
87.06/87.11 c (round 37) 6024 del vars, 15686 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 516883 impls, 1550 clqs
87.16/87.24 c (round 38) 6024 del vars, 15733 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 516883 impls, 1550 clqs
93.85/93.99 c (round 39) 6074 del vars, 15735 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 526407 impls, 1549 clqs
93.95/94.10 c (round 40) 6074 del vars, 15785 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 526407 impls, 1549 clqs
94.15/94.22 c (round 41) 6074 del vars, 15832 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 526407 impls, 1549 clqs
97.86/97.97 c (96.3s) probing: 5000/15645 (32.0%) - 33 fixings, 601 aggregations, 102699 implications, 0 bound changes
99.85/99.99 c (round 42) 6124 del vars, 15832 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 538754 impls, 1549 clqs
99.95/100.10 c (round 43) 6124 del vars, 15881 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 538754 impls, 1549 clqs
100.15/100.22 c (round 44) 6124 del vars, 15929 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 538754 impls, 1549 clqs
106.55/106.62 c (round 45) 6174 del vars, 15929 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 545626 impls, 1548 clqs
106.66/106.73 c (round 46) 6174 del vars, 15976 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 545626 impls, 1548 clqs
106.75/106.86 c (round 47) 6174 del vars, 16026 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 545626 impls, 1548 clqs
114.36/114.47 c (round 48) 6224 del vars, 16026 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 553030 impls, 1548 clqs
114.45/114.58 c (round 49) 6224 del vars, 16076 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 553030 impls, 1548 clqs
114.65/114.71 c (round 50) 6224 del vars, 16126 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 553030 impls, 1548 clqs
114.75/114.85 c (113.2s) probing: 6000/15645 (38.4%) - 33 fixings, 718 aggregations, 110059 implications, 0 bound changes
121.95/122.00 c (round 51) 6274 del vars, 16126 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 557406 impls, 1548 clqs
122.05/122.11 c (round 52) 6274 del vars, 16182 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 557406 impls, 1548 clqs
122.15/122.23 c (round 53) 6274 del vars, 16227 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 557406 impls, 1548 clqs
129.24/129.32 c (round 54) 6324 del vars, 16227 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 560430 impls, 1548 clqs
129.34/129.42 c (round 55) 6324 del vars, 16281 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 560430 impls, 1548 clqs
129.44/129.55 c (round 56) 6324 del vars, 16328 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 560430 impls, 1548 clqs
130.64/130.71 c (129.0s) probing: 7000/15645 (44.7%) - 37 fixings, 820 aggregations, 113313 implications, 0 bound changes
135.94/136.09 c (round 57) 6374 del vars, 16328 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 565162 impls, 1547 clqs
136.14/136.20 c (round 58) 6374 del vars, 16377 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 565162 impls, 1547 clqs
136.24/136.33 c (round 59) 6374 del vars, 16428 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 565162 impls, 1547 clqs
136.44/136.50 c (round 60) 6374 del vars, 16473 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 565162 impls, 1547 clqs
141.34/141.41 c (round 61) 6424 del vars, 16473 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 566892 impls, 1547 clqs
141.44/141.52 c (round 62) 6424 del vars, 16521 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 566892 impls, 1547 clqs
141.54/141.64 c (round 63) 6424 del vars, 16571 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 566892 impls, 1547 clqs
145.84/145.98 c (round 64) 6474 del vars, 16571 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 573272 impls, 1547 clqs
145.94/146.09 c (round 65) 6474 del vars, 16621 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 573272 impls, 1547 clqs
146.14/146.22 c (round 66) 6474 del vars, 16671 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 573272 impls, 1547 clqs
146.84/146.94 c (145.3s) probing: 8000/15645 (51.1%) - 37 fixings, 968 aggregations, 120024 implications, 0 bound changes
151.94/152.07 c (round 67) 6524 del vars, 16671 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 581716 impls, 1547 clqs
152.04/152.18 c (round 68) 6524 del vars, 16719 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 581716 impls, 1547 clqs
152.24/152.32 c (round 69) 6524 del vars, 16778 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 581716 impls, 1547 clqs
157.84/157.92 c (round 70) 6574 del vars, 16778 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 591180 impls, 1546 clqs
157.84/157.98 c (round 71) 6575 del vars, 16828 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 591184 impls, 1546 clqs
158.04/158.12 c (round 72) 6575 del vars, 16878 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 591184 impls, 1546 clqs
162.64/162.71 c (161.0s) probing: 9000/15645 (57.5%) - 38 fixings, 1102 aggregations, 131315 implications, 0 bound changes
164.73/164.90 c (round 73) 6625 del vars, 16880 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 599314 impls, 1546 clqs
164.94/165.01 c (round 74) 6625 del vars, 16929 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 599314 impls, 1546 clqs
165.03/165.13 c (round 75) 6625 del vars, 16981 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 599314 impls, 1546 clqs
171.83/171.99 c (round 76) 6675 del vars, 16981 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 612886 impls, 1546 clqs
172.03/172.10 c (round 77) 6675 del vars, 17039 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 612886 impls, 1546 clqs
172.13/172.25 c (round 78) 6675 del vars, 17089 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 612886 impls, 1546 clqs
177.33/177.46 c (round 79) 6725 del vars, 17092 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 621104 impls, 1546 clqs
177.43/177.57 c (round 80) 6725 del vars, 17135 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 621104 impls, 1546 clqs
177.63/177.70 c (round 81) 6725 del vars, 17192 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 621104 impls, 1546 clqs
178.84/178.92 c (177.3s) probing: 10000/15645 (63.9%) - 40 fixings, 1216 aggregations, 144992 implications, 0 bound changes
183.54/183.63 c (round 82) 6775 del vars, 17192 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 625482 impls, 1546 clqs
183.65/183.74 c (round 83) 6775 del vars, 17239 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 625482 impls, 1546 clqs
183.74/183.87 c (round 84) 6775 del vars, 17290 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 625482 impls, 1546 clqs
186.95/187.06 c (round 85) 6825 del vars, 17290 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 629934 impls, 1546 clqs
187.04/187.17 c (round 86) 6825 del vars, 17339 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 629934 impls, 1546 clqs
187.14/187.30 c (round 87) 6825 del vars, 17389 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 629934 impls, 1546 clqs
193.84/193.99 c (round 88) 6875 del vars, 17389 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 644074 impls, 1546 clqs
194.04/194.11 c (round 89) 6875 del vars, 17442 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 644074 impls, 1546 clqs
194.14/194.24 c (round 90) 6875 del vars, 17490 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 644074 impls, 1546 clqs
195.04/195.17 c (193.5s) probing: 11000/15645 (70.3%) - 41 fixings, 1363 aggregations, 157835 implications, 0 bound changes
198.94/199.05 c (round 91) 6925 del vars, 17490 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 653610 impls, 1546 clqs
199.04/199.16 c (round 92) 6925 del vars, 17546 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 653610 impls, 1546 clqs
199.13/199.29 c (round 93) 6925 del vars, 17594 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 653610 impls, 1546 clqs
203.83/203.97 c (round 94) 6975 del vars, 17594 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 661086 impls, 1546 clqs
203.93/204.09 c (round 95) 6975 del vars, 17644 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 661086 impls, 1546 clqs
204.13/204.22 c (round 96) 6975 del vars, 17693 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 661086 impls, 1546 clqs
210.23/210.30 c (round 97) 7025 del vars, 17693 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 669280 impls, 1546 clqs
210.33/210.41 c (round 98) 7025 del vars, 17745 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 669280 impls, 1546 clqs
210.43/210.55 c (round 99) 7025 del vars, 17792 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 669280 impls, 1546 clqs
211.23/211.30 c (209.6s) probing: 12000/15645 (76.7%) - 46 fixings, 1507 aggregations, 173115 implications, 0 bound changes
213.53/213.68 c (round 100) 7075 del vars, 17792 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 673354 impls, 1546 clqs
213.63/213.80 c (round 101) 7075 del vars, 17842 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 673354 impls, 1546 clqs
213.83/213.93 c (round 102) 7075 del vars, 17892 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 673354 impls, 1546 clqs
220.93/221.09 c (round 103) 7125 del vars, 17892 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 708214 impls, 1546 clqs
221.13/221.21 c (round 104) 7125 del vars, 17952 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 708214 impls, 1546 clqs
221.23/221.34 c (round 105) 7125 del vars, 17998 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 708214 impls, 1546 clqs
227.73/227.87 c (226.2s) probing: 13000/15645 (83.1%) - 56 fixings, 1629 aggregations, 217930 implications, 0 bound changes
230.53/230.67 c (round 106) 7175 del vars, 17999 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 755442 impls, 1546 clqs
230.73/230.80 c (round 107) 7175 del vars, 18070 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 755442 impls, 1546 clqs
230.83/230.94 c (round 108) 7175 del vars, 18108 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 755442 impls, 1546 clqs
243.92/244.04 c (242.4s) probing: 14000/15645 (89.5%) - 65 fixings, 1677 aggregations, 256954 implications, 0 bound changes
250.92/251.03 c (round 109) 7225 del vars, 18108 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 876946 impls, 1546 clqs
251.02/251.14 c (round 110) 7232 del vars, 18174 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 876966 impls, 1546 clqs
261.32/261.48 c (259.8s) probing: 15000/15645 (95.9%) - 84 fixings, 1686 aggregations, 311511 implications, 0 bound changes
272.12/272.28 c (270.6s) probing: 15605/15645 (99.7%) - 92 fixings, 1686 aggregations, 336131 implications, 0 bound changes
272.12/272.28 c (270.6s) probing aborted: 100/100 successive totally useless probings
272.12/272.28 c (round 111) 7259 del vars, 18182 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 964754 impls, 1546 clqs
272.22/272.34 c (round 112) 7273 del vars, 18234 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 964782 impls, 1546 clqs
272.32/272.46 c (round 113) 7273 del vars, 18248 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 964782 impls, 1546 clqs
272.41/272.59 c (round 114) 7273 del vars, 18286 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 964782 impls, 1546 clqs
272.72/272.85 c (271.2s) probing: 15615/15645 (99.8%) - 92 fixings, 1686 aggregations, 336131 implications, 0 bound changes
272.72/272.85 c (271.2s) probing aborted: 100/100 successive totally useless probings
272.72/272.86 c presolving (115 rounds):
272.72/272.86 c 7273 deleted vars, 18287 deleted constraints, 47 tightened bounds, 0 added holes, 1 changed sides, 10 changed coefficients
272.72/272.86 c 964782 implications, 1546 cliques
272.72/272.86 c presolved problem has 13836 variables (13836 bin, 0 int, 0 impl, 0 cont) and 81785 constraints
272.72/272.86 c 22382 constraints of type <setppc>
272.72/272.86 c 59403 constraints of type <logicor>
272.72/272.86 c transformed objective value is always integral (scale: 1)
272.72/272.86 c Presolving Time: 270.82
272.72/272.86 c - non default parameters ----------------------------------------------------------------------
272.72/272.86 c # SCIP version 1.2.1.3
272.72/272.86 c
272.72/272.86 c # frequency for displaying node information lines
272.72/272.86 c # [type: int, range: [-1,2147483647], default: 100]
272.72/272.86 c display/freq = 10000
272.72/272.86 c
272.72/272.86 c # maximal time in seconds to run
272.72/272.86 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
272.72/272.86 c limits/time = 1788.34
272.72/272.86 c
272.72/272.86 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
272.72/272.86 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
272.72/272.86 c limits/memory = 1620
272.72/272.86 c
272.72/272.86 c # default clock type (1: CPU user seconds, 2: wall clock time)
272.72/272.86 c # [type: int, range: [1,2], default: 1]
272.72/272.86 c timing/clocktype = 2
272.72/272.86 c
272.72/272.86 c # should presolving try to simplify inequalities
272.72/272.86 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
272.72/272.86 c constraints/linear/simplifyinequalities = TRUE
272.72/272.86 c
272.72/272.86 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
272.72/272.86 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
272.72/272.86 c constraints/indicator/addCouplingCons = TRUE
272.72/272.86 c
272.72/272.86 c # should presolving try to simplify knapsacks
272.72/272.86 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
272.72/272.86 c constraints/knapsack/simplifyinequalities = TRUE
272.72/272.86 c
272.72/272.86 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
272.72/272.86 c # [type: int, range: [-1,2147483647], default: -1]
272.72/272.86 c separating/rapidlearning/freq = 0
272.72/272.86 c
272.72/272.86 c -----------------------------------------------------------------------------------------------
272.72/272.86 c start solving
272.72/272.88 c
303.51/303.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
303.51/303.69 c 302s| 1 | 2 | 13882 | - | 177M| 0 | - | 13k| 81k| 13k| 76k| 0 | 0 | 0 | 7.141587e+11 | -- | Inf
1790.38/1790.87 c
1790.38/1790.87 c SCIP Status : solving was interrupted [time limit reached]
1790.38/1790.87 c Solving Time (sec) : 1789.20
1790.38/1790.87 c Solving Nodes : 111
1790.38/1790.87 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1790.38/1790.87 c Dual Bound : +7.14158675717000e+11
1790.38/1790.87 c Gap : infinite
1790.38/1790.87 s UNKNOWN
1790.38/1790.87 c SCIP Status : solving was interrupted [time limit reached]
1790.38/1790.87 c Solving Time : 1789.20
1790.38/1790.87 c Original Problem :
1790.38/1790.87 c Problem name : HOME/instance-2704817-1278580160.opb
1790.38/1790.87 c Variables : 21109 (21109 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.38/1790.87 c Constraints : 100072 initial, 100072 maximal
1790.38/1790.87 c Presolved Problem :
1790.38/1790.87 c Problem name : t_HOME/instance-2704817-1278580160.opb
1790.38/1790.87 c Variables : 13836 (13836 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.38/1790.87 c Constraints : 81785 initial, 81787 maximal
1790.38/1790.87 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.38/1790.87 c trivial : 0.33 0 0 0 0 0 0 0 0
1790.38/1790.87 c dualfix : 0.37 4145 0 0 0 0 0 0 0
1790.38/1790.87 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.38/1790.87 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.38/1790.87 c implics : 0.69 0 57 0 0 0 0 0 0
1790.38/1790.87 c probing : 256.30 92 1686 0 0 0 0 0 0
1790.38/1790.87 c setppc : 3.02 0 0 0 0 0 4735 0 0
1790.38/1790.87 c linear : 1.12 47 1246 0 47 0 13392 1 10
1790.38/1790.87 c logicor : 8.57 0 0 0 0 0 160 0 0
1790.38/1790.87 c root node : - 0 - - 0 - - - -
1790.38/1790.87 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.38/1790.87 c integral : 0 0 0 0 0 0 0 0 0 0
1790.38/1790.87 c setppc : 22382 0 47076 0 110 0 3201 0 0 0
1790.38/1790.87 c logicor : 59403+ 0 39609 0 110 89 3984 0 0 0
1790.38/1790.87 c countsols : 0 0 0 0 110 0 0 0 0 0
1790.38/1790.87 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.38/1790.87 c integral : 0.00 0.00 0.00 0.00 0.00
1790.38/1790.87 c setppc : 189.77 0.00 187.87 0.00 1.90
1790.38/1790.87 c logicor : 11.61 0.00 5.31 0.00 6.30
1790.38/1790.87 c countsols : 0.00 0.00 0.00 0.00 0.00
1790.38/1790.87 c Propagators : Time Calls Cutoffs DomReds
1790.38/1790.87 c vbounds : 0.05 2 0 0
1790.38/1790.87 c rootredcost : 0.04 0 0 0
1790.38/1790.87 c pseudoobj : 0.45 330 0 0
1790.38/1790.87 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.38/1790.87 c propagation : 0.00 1 1 2 4.5 0 0.0 -
1790.38/1790.87 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1790.38/1790.87 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.38/1790.87 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.38/1790.87 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.38/1790.87 c applied globally : - - - 2 4.5 - - -
1790.38/1790.87 c applied locally : - - - 0 0.0 - - -
1790.38/1790.87 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.38/1790.87 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1790.38/1790.87 c redcost : 0.00 0 0 0 0 0
1790.38/1790.87 c impliedbounds : 0.00 0 0 0 0 0
1790.38/1790.87 c intobj : 0.00 0 0 0 0 0
1790.38/1790.87 c cgmip : 0.00 0 0 0 0 0
1790.38/1790.87 c gomory : 0.00 0 0 0 0 0
1790.38/1790.87 c strongcg : 0.00 0 0 0 0 0
1790.38/1790.87 c cmir : 0.00 0 0 0 0 0
1790.38/1790.87 c flowcover : 0.00 0 0 0 0 0
1790.38/1790.87 c clique : 0.00 0 0 0 0 0
1790.38/1790.87 c zerohalf : 0.00 0 0 0 0 0
1790.38/1790.87 c mcf : 0.00 0 0 0 0 0
1790.38/1790.87 c rapidlearning : 0.00 0 0 0 0 0
1790.38/1790.87 c Pricers : Time Calls Vars
1790.38/1790.87 c problem variables: 0.00 0 0
1790.38/1790.87 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.38/1790.87 c relpscost : 0.00 0 0 0 0 0 0
1790.38/1790.87 c pscost : 0.00 0 0 0 0 0 0
1790.38/1790.87 c inference : 0.81 110 0 0 0 0 220
1790.38/1790.87 c mostinf : 0.00 0 0 0 0 0 0
1790.38/1790.87 c leastinf : 0.00 0 0 0 0 0 0
1790.38/1790.87 c fullstrong : 0.00 0 0 0 0 0 0
1790.38/1790.87 c allfullstrong : 0.00 0 0 0 0 0 0
1790.38/1790.87 c random : 0.00 0 0 0 0 0 0
1790.38/1790.87 c Primal Heuristics : Time Calls Found
1790.38/1790.87 c LP solutions : 0.00 - 0
1790.38/1790.87 c pseudo solutions : 0.00 - 0
1790.38/1790.87 c oneopt : 0.00 0 0
1790.38/1790.87 c intshifting : 0.00 0 0
1790.38/1790.87 c coefdiving : 0.00 0 0
1790.38/1790.87 c pscostdiving : 0.00 0 0
1790.38/1790.87 c fracdiving : 0.00 0 0
1790.38/1790.87 c veclendiving : 0.00 0 0
1790.38/1790.87 c objpscostdiving : 0.00 0 0
1790.38/1790.87 c rootsoldiving : 0.00 0 0
1790.38/1790.87 c linesearchdiving : 0.00 0 0
1790.38/1790.87 c guideddiving : 0.00 0 0
1790.38/1790.87 c crossover : 0.00 0 0
1790.38/1790.87 c trivial : 0.09 2 0
1790.38/1790.87 c simplerounding : 0.00 0 0
1790.38/1790.87 c zirounding : 0.00 0 0
1790.38/1790.87 c rounding : 0.00 0 0
1790.38/1790.87 c shifting : 0.00 0 0
1790.38/1790.87 c twoopt : 0.00 0 0
1790.38/1790.87 c fixandinfer : 0.00 0 0
1790.38/1790.87 c feaspump : 0.00 0 0
1790.38/1790.87 c intdiving : 0.00 0 0
1790.38/1790.87 c actconsdiving : 0.00 0 0
1790.38/1790.87 c octane : 0.00 0 0
1790.38/1790.87 c rens : 0.00 0 0
1790.38/1790.87 c rins : 0.00 0 0
1790.38/1790.87 c localbranching : 0.00 0 0
1790.38/1790.87 c mutation : 0.00 0 0
1790.38/1790.87 c dins : 0.00 0 0
1790.38/1790.87 c undercover : 0.00 0 0
1790.38/1790.87 c nlp : 0.00 0 0
1790.38/1790.87 c trysol : 0.00 0 0
1790.38/1790.87 c LP : Time Calls Iterations Iter/call Iter/sec
1790.38/1790.87 c primal LP : 0.00 0 0 0.00 -
1790.38/1790.87 c dual LP : 1500.95 178 715477 4019.53 476.68
1790.38/1790.87 c lex dual LP : 0.00 0 0 0.00 -
1790.38/1790.87 c barrier LP : 0.00 0 0 0.00 -
1790.38/1790.87 c diving/probing LP: 0.00 0 0 0.00 -
1790.38/1790.87 c strong branching : 0.00 0 0 0.00 -
1790.38/1790.87 c (at root node) : - 0 0 0.00 -
1790.38/1790.87 c conflict analysis: 0.00 0 0 0.00 -
1790.38/1790.87 c B&B Tree :
1790.38/1790.87 c number of runs : 1
1790.38/1790.87 c nodes : 111
1790.38/1790.87 c nodes (total) : 111
1790.38/1790.87 c nodes left : 110
1790.38/1790.87 c max depth : 19
1790.38/1790.87 c max depth (total): 19
1790.38/1790.87 c backtracks : 11 (9.9%)
1790.38/1790.87 c delayed cutoffs : 0
1790.38/1790.87 c repropagations : 7 (2 domain reductions, 0 cutoffs)
1790.38/1790.87 c avg switch length: 2.15
1790.38/1790.87 c switching time : 0.06
1790.38/1790.87 c Solution :
1790.38/1790.87 c Solutions found : 0 (0 improvements)
1790.38/1790.87 c Primal Bound : -
1790.38/1790.87 c Dual Bound : +7.14158675717000e+11
1790.38/1790.87 c Gap : infinite
1790.38/1790.87 c Root Dual Bound : +7.14158675704000e+11
1790.38/1790.87 c Root Iterations : 13882
1790.98/1791.43 c Time complete: 1791.01.