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-2704819-1278580180.opb>
1.59/1.67 c original problem has 21105 variables (21105 bin, 0 int, 0 impl, 0 cont) and 100041 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, 130374 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, 161781 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, 161783 impls, 1557 clqs
2.89/2.92 c (round 4) 5421 del vars, 11012 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 0 upgd conss, 161783 impls, 1557 clqs
2.89/2.96 c (round 5) 5443 del vars, 11066 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 0 upgd conss, 161783 impls, 1557 clqs
2.89/3.00 c (round 6) 5454 del vars, 11082 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 0 upgd conss, 161783 impls, 1557 clqs
3.69/3.70 c (round 7) 5461 del vars, 13390 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86618 upgd conss, 161783 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, 86618 upgd conss, 161783 impls, 1557 clqs
3.99/4.01 c (round 9) 5464 del vars, 13394 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 161783 impls, 1557 clqs
12.48/12.55 c (round 10) 5514 del vars, 13394 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 340632 impls, 1557 clqs
12.58/12.61 c (round 11) 5514 del vars, 13516 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 340632 impls, 1557 clqs
22.38/22.44 c (round 12) 5565 del vars, 13519 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 426214 impls, 1556 clqs
22.48/22.55 c (round 13) 5565 del vars, 13569 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 426214 impls, 1556 clqs
22.59/22.68 c (round 14) 5565 del vars, 13661 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 426214 impls, 1556 clqs
27.79/27.86 c (26.2s) probing: 1000/15641 (6.4%) - 4 fixings, 116 aggregations, 65245 implications, 0 bound changes
34.09/34.19 c (round 15) 5615 del vars, 13662 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 451476 impls, 1556 clqs
34.19/34.25 c (round 16) 5615 del vars, 13747 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 451476 impls, 1556 clqs
40.79/40.85 c (round 17) 5666 del vars, 13749 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 461062 impls, 1555 clqs
40.88/40.97 c (round 18) 5666 del vars, 13801 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 461062 impls, 1555 clqs
40.98/41.09 c (round 19) 5666 del vars, 13903 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 461062 impls, 1555 clqs
45.98/46.05 c (round 20) 5716 del vars, 13903 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 481130 impls, 1555 clqs
46.08/46.16 c (round 21) 5716 del vars, 13958 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 481130 impls, 1555 clqs
46.19/46.28 c (round 22) 5716 del vars, 14002 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 481130 impls, 1555 clqs
48.49/48.54 c (46.9s) probing: 2000/15641 (12.8%) - 9 fixings, 247 aggregations, 84209 implications, 0 bound changes
55.88/55.97 c (round 23) 5766 del vars, 14002 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 507226 impls, 1555 clqs
55.98/56.08 c (round 24) 5766 del vars, 14054 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 507226 impls, 1555 clqs
56.19/56.21 c (round 25) 5766 del vars, 14107 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 507226 impls, 1555 clqs
63.28/63.32 c (round 26) 5816 del vars, 14107 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 517054 impls, 1555 clqs
63.38/63.43 c (round 27) 5817 del vars, 14159 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 517056 impls, 1555 clqs
67.28/67.34 c (65.7s) probing: 3000/15641 (19.2%) - 11 fixings, 364 aggregations, 96861 implications, 0 bound changes
72.17/72.23 c (round 28) 5867 del vars, 14160 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 539872 impls, 1554 clqs
72.27/72.34 c (round 29) 5867 del vars, 14207 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 539872 impls, 1554 clqs
72.37/72.48 c (round 30) 5867 del vars, 14320 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 539872 impls, 1554 clqs
80.17/80.29 c (round 31) 5917 del vars, 14320 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 545936 impls, 1554 clqs
80.28/80.40 c (round 32) 5917 del vars, 14370 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 545936 impls, 1554 clqs
80.47/80.52 c (round 33) 5917 del vars, 14420 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 545936 impls, 1554 clqs
85.57/85.63 c (84.0s) probing: 4000/15641 (25.6%) - 12 fixings, 483 aggregations, 110892 implications, 0 bound changes
86.17/86.24 c (round 34) 5967 del vars, 14420 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 551950 impls, 1554 clqs
86.27/86.30 c (round 35) 5967 del vars, 14484 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 551950 impls, 1554 clqs
86.37/86.43 c (round 36) 5967 del vars, 14531 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 551950 impls, 1554 clqs
93.37/93.46 c (round 37) 6017 del vars, 14531 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 559848 impls, 1552 clqs
93.47/93.57 c (round 38) 6017 del vars, 14579 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 559848 impls, 1552 clqs
93.58/93.69 c (round 39) 6017 del vars, 14623 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 559848 impls, 1552 clqs
101.07/101.12 c (round 40) 6067 del vars, 14623 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 571920 impls, 1551 clqs
101.17/101.23 c (round 41) 6067 del vars, 14671 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 571920 impls, 1551 clqs
101.27/101.36 c (round 42) 6067 del vars, 14723 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 571920 impls, 1551 clqs
103.47/103.51 c (101.8s) probing: 5000/15641 (32.0%) - 12 fixings, 599 aggregations, 120693 implications, 0 bound changes
109.86/109.95 c (round 43) 6117 del vars, 14723 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 586592 impls, 1551 clqs
109.97/110.06 c (round 44) 6117 del vars, 14773 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 586592 impls, 1551 clqs
110.07/110.18 c (round 45) 6117 del vars, 14823 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 586592 impls, 1551 clqs
116.76/116.84 c (round 46) 6167 del vars, 14823 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 592516 impls, 1551 clqs
116.86/116.95 c (round 47) 6167 del vars, 14871 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 592516 impls, 1551 clqs
116.96/117.08 c (round 48) 6167 del vars, 14922 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 592516 impls, 1551 clqs
120.86/120.99 c (119.3s) probing: 6000/15641 (38.4%) - 12 fixings, 709 aggregations, 131207 implications, 0 bound changes
123.56/123.65 c (round 49) 6217 del vars, 14922 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 596522 impls, 1551 clqs
123.66/123.76 c (round 50) 6217 del vars, 14971 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 596522 impls, 1551 clqs
123.76/123.89 c (round 51) 6217 del vars, 15020 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 596522 impls, 1551 clqs
123.96/124.07 c (round 52) 6217 del vars, 15065 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 596522 impls, 1551 clqs
129.46/129.55 c (round 53) 6267 del vars, 15065 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 599540 impls, 1550 clqs
129.56/129.66 c (round 54) 6267 del vars, 15114 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 599540 impls, 1550 clqs
129.66/129.79 c (round 55) 6267 del vars, 15164 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 599540 impls, 1550 clqs
135.96/136.06 c (round 56) 6317 del vars, 15164 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 606350 impls, 1550 clqs
136.06/136.17 c (round 57) 6317 del vars, 15212 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 606350 impls, 1550 clqs
136.26/136.30 c (round 58) 6317 del vars, 15268 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 606350 impls, 1550 clqs
138.45/138.55 c (136.9s) probing: 7000/15641 (44.8%) - 12 fixings, 845 aggregations, 137960 implications, 0 bound changes
144.16/144.28 c (round 59) 6367 del vars, 15268 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 611848 impls, 1550 clqs
144.25/144.39 c (round 60) 6367 del vars, 15320 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 611848 impls, 1550 clqs
144.45/144.54 c (round 61) 6367 del vars, 15373 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 611848 impls, 1550 clqs
153.55/153.63 c (round 62) 6417 del vars, 15373 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 617844 impls, 1550 clqs
153.65/153.76 c (round 63) 6417 del vars, 15424 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 617844 impls, 1550 clqs
153.75/153.89 c (round 64) 6417 del vars, 15473 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 617844 impls, 1550 clqs
155.16/155.28 c (153.6s) probing: 8000/15641 (51.1%) - 13 fixings, 938 aggregations, 142939 implications, 0 bound changes
161.65/161.75 c (round 65) 6467 del vars, 15473 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 626396 impls, 1550 clqs
161.75/161.86 c (round 66) 6467 del vars, 15522 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 626396 impls, 1550 clqs
161.85/161.99 c (round 67) 6467 del vars, 15572 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 626396 impls, 1550 clqs
169.94/170.01 c (round 68) 6517 del vars, 15574 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 635224 impls, 1550 clqs
170.04/170.16 c (round 69) 6517 del vars, 15625 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 635224 impls, 1550 clqs
170.14/170.29 c (round 70) 6517 del vars, 15676 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 635224 impls, 1550 clqs
172.24/172.32 c (170.6s) probing: 9000/15641 (57.5%) - 13 fixings, 1053 aggregations, 152579 implications, 0 bound changes
177.34/177.40 c (round 71) 6567 del vars, 15676 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 651394 impls, 1550 clqs
177.44/177.52 c (round 72) 6567 del vars, 15722 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 651394 impls, 1550 clqs
177.54/177.65 c (round 73) 6567 del vars, 15776 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 651394 impls, 1550 clqs
186.34/186.41 c (round 74) 6617 del vars, 15776 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 663276 impls, 1550 clqs
186.44/186.52 c (round 75) 6617 del vars, 15825 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 663276 impls, 1550 clqs
186.54/186.65 c (round 76) 6617 del vars, 15877 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 663276 impls, 1550 clqs
189.14/189.30 c (187.6s) probing: 10000/15641 (63.9%) - 14 fixings, 1151 aggregations, 168126 implications, 0 bound changes
193.34/193.46 c (round 77) 6667 del vars, 15877 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 679720 impls, 1550 clqs
193.45/193.58 c (round 78) 6667 del vars, 15929 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 679720 impls, 1550 clqs
193.65/193.71 c (round 79) 6667 del vars, 15980 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 679720 impls, 1550 clqs
200.04/200.11 c (round 80) 6717 del vars, 15980 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 687990 impls, 1550 clqs
200.04/200.17 c (round 81) 6717 del vars, 16036 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 687990 impls, 1550 clqs
200.15/200.30 c (round 82) 6717 del vars, 16085 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 687990 impls, 1550 clqs
203.74/203.87 c (round 83) 6767 del vars, 16085 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 690378 impls, 1550 clqs
203.84/203.98 c (round 84) 6767 del vars, 16133 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 690378 impls, 1550 clqs
204.04/204.11 c (round 85) 6767 del vars, 16183 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 690378 impls, 1550 clqs
205.84/206.00 c (204.3s) probing: 11000/15641 (70.3%) - 18 fixings, 1305 aggregations, 181582 implications, 0 bound changes
208.84/208.94 c (round 86) 6817 del vars, 16183 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 695140 impls, 1550 clqs
208.95/209.06 c (round 87) 6817 del vars, 16233 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 695140 impls, 1550 clqs
209.05/209.19 c (round 88) 6817 del vars, 16283 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 695140 impls, 1550 clqs
213.14/213.22 c (round 89) 6867 del vars, 16283 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 714428 impls, 1550 clqs
213.24/213.33 c (round 90) 6867 del vars, 16340 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 714428 impls, 1550 clqs
213.34/213.46 c (round 91) 6867 del vars, 16388 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 714428 impls, 1550 clqs
219.04/219.14 c (round 92) 6917 del vars, 16388 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 722908 impls, 1550 clqs
219.14/219.25 c (round 93) 6917 del vars, 16438 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 722908 impls, 1550 clqs
219.24/219.39 c (round 94) 6917 del vars, 16483 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 722908 impls, 1550 clqs
222.74/222.84 c (221.2s) probing: 12000/15641 (76.7%) - 22 fixings, 1474 aggregations, 201290 implications, 0 bound changes
223.04/223.12 c (round 95) 6967 del vars, 16483 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 727604 impls, 1550 clqs
223.14/223.24 c (round 96) 6967 del vars, 16536 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 727604 impls, 1550 clqs
223.24/223.39 c (round 97) 6967 del vars, 16586 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 727604 impls, 1550 clqs
228.13/228.26 c (round 98) 7017 del vars, 16587 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 735944 impls, 1550 clqs
228.23/228.38 c (round 99) 7017 del vars, 16637 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 735944 impls, 1550 clqs
228.43/228.51 c (round 100) 7017 del vars, 16687 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 735944 impls, 1550 clqs
234.83/234.93 c (round 101) 7067 del vars, 16687 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 756570 impls, 1550 clqs
234.93/235.05 c (round 102) 7067 del vars, 16742 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 756570 impls, 1550 clqs
235.13/235.20 c (round 103) 7067 del vars, 16792 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 756570 impls, 1550 clqs
240.43/240.51 c (238.8s) probing: 13000/15641 (83.1%) - 30 fixings, 1610 aggregations, 242333 implications, 0 bound changes
241.93/242.09 c (round 104) 7117 del vars, 16792 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 809484 impls, 1550 clqs
242.13/242.21 c (round 105) 7117 del vars, 16856 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 809484 impls, 1550 clqs
242.23/242.35 c (round 106) 7117 del vars, 16895 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 809484 impls, 1550 clqs
255.52/255.65 c (round 107) 7167 del vars, 16895 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 875946 impls, 1550 clqs
255.62/255.77 c (round 108) 7168 del vars, 16958 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 875948 impls, 1550 clqs
257.53/257.67 c (256.0s) probing: 14000/15641 (89.5%) - 39 fixings, 1661 aggregations, 287133 implications, 0 bound changes
275.62/275.76 c (274.1s) probing: 15000/15641 (95.9%) - 60 fixings, 1675 aggregations, 350769 implications, 0 bound changes
287.03/287.13 c (285.5s) probing: 15611/15641 (99.8%) - 67 fixings, 1675 aggregations, 375468 implications, 0 bound changes
287.03/287.13 c (285.5s) probing aborted: 100/100 successive totally useless probings
287.03/287.13 c (round 109) 7210 del vars, 16959 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 1038542 impls, 1550 clqs
287.03/287.20 c (round 110) 7228 del vars, 17037 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 1038580 impls, 1550 clqs
287.22/287.31 c (round 111) 7228 del vars, 17057 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 1038580 impls, 1550 clqs
287.32/287.45 c (round 112) 7228 del vars, 17109 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86649 upgd conss, 1038580 impls, 1550 clqs
287.62/287.70 c (286.0s) probing: 15621/15641 (99.9%) - 67 fixings, 1675 aggregations, 375468 implications, 0 bound changes
287.62/287.70 c (286.0s) probing aborted: 100/100 successive totally useless probings
287.62/287.70 c presolving (113 rounds):
287.62/287.70 c 7228 deleted vars, 17109 deleted constraints, 47 tightened bounds, 0 added holes, 1 changed sides, 10 changed coefficients
287.62/287.70 c 1038580 implications, 1550 cliques
287.62/287.70 c presolved problem has 13877 variables (13877 bin, 0 int, 0 impl, 0 cont) and 82932 constraints
287.62/287.70 c 23508 constraints of type <setppc>
287.62/287.70 c 59424 constraints of type <logicor>
287.62/287.70 c transformed objective value is always integral (scale: 1)
287.62/287.70 c Presolving Time: 285.66
287.62/287.70 c - non default parameters ----------------------------------------------------------------------
287.62/287.70 c # SCIP version 1.2.1.3
287.62/287.70 c
287.62/287.70 c # frequency for displaying node information lines
287.62/287.70 c # [type: int, range: [-1,2147483647], default: 100]
287.62/287.70 c display/freq = 10000
287.62/287.70 c
287.62/287.70 c # maximal time in seconds to run
287.62/287.70 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
287.62/287.70 c limits/time = 1788.34
287.62/287.70 c
287.62/287.70 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
287.62/287.70 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
287.62/287.70 c limits/memory = 1620
287.62/287.70 c
287.62/287.70 c # default clock type (1: CPU user seconds, 2: wall clock time)
287.62/287.70 c # [type: int, range: [1,2], default: 1]
287.62/287.70 c timing/clocktype = 2
287.62/287.70 c
287.62/287.70 c # should presolving try to simplify inequalities
287.62/287.70 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
287.62/287.70 c constraints/linear/simplifyinequalities = TRUE
287.62/287.70 c
287.62/287.70 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
287.62/287.70 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
287.62/287.70 c constraints/indicator/addCouplingCons = TRUE
287.62/287.70 c
287.62/287.70 c # should presolving try to simplify knapsacks
287.62/287.70 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
287.62/287.70 c constraints/knapsack/simplifyinequalities = TRUE
287.62/287.70 c
287.62/287.70 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
287.62/287.70 c # [type: int, range: [-1,2147483647], default: -1]
287.62/287.70 c separating/rapidlearning/freq = 0
287.62/287.70 c
287.62/287.70 c -----------------------------------------------------------------------------------------------
287.62/287.70 c start solving
287.62/287.72 c
319.31/319.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
319.31/319.45 c 318s| 1 | 2 | 13834 | - | 180M| 0 | - | 13k| 82k| 13k| 78k| 0 | 0 | 0 | 7.136602e+11 | -- | Inf
1790.63/1791.14 c
1790.63/1791.14 c SCIP Status : solving was interrupted [time limit reached]
1790.63/1791.14 c Solving Time (sec) : 1789.46
1790.63/1791.14 c Solving Nodes : 108
1790.63/1791.14 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1790.63/1791.14 c Dual Bound : +7.13660215109000e+11
1790.63/1791.14 c Gap : infinite
1790.63/1791.14 s UNKNOWN
1790.63/1791.14 c SCIP Status : solving was interrupted [time limit reached]
1790.63/1791.14 c Solving Time : 1789.46
1790.63/1791.14 c Original Problem :
1790.63/1791.14 c Problem name : HOME/instance-2704819-1278580180.opb
1790.63/1791.14 c Variables : 21105 (21105 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.63/1791.14 c Constraints : 100041 initial, 100041 maximal
1790.63/1791.14 c Presolved Problem :
1790.63/1791.14 c Problem name : t_HOME/instance-2704819-1278580180.opb
1790.63/1791.14 c Variables : 13877 (13877 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.63/1791.14 c Constraints : 82932 initial, 82934 maximal
1790.63/1791.14 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.63/1791.14 c trivial : 0.32 0 0 0 0 0 0 0 0
1790.63/1791.14 c dualfix : 0.37 4145 0 0 0 0 0 0 0
1790.63/1791.14 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.63/1791.14 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.63/1791.14 c implics : 0.71 0 48 0 0 0 0 0 0
1790.63/1791.14 c probing : 270.91 67 1675 0 0 0 0 0 0
1790.63/1791.14 c setppc : 3.05 0 0 0 0 0 3603 0 0
1790.63/1791.14 c linear : 1.12 47 1246 0 47 0 13392 1 10
1790.63/1791.14 c logicor : 8.75 0 0 0 0 0 114 0 0
1790.63/1791.14 c root node : - 0 - - 0 - - - -
1790.63/1791.14 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.63/1791.14 c integral : 0 0 0 0 0 0 0 0 0 0
1790.63/1791.14 c setppc : 23508 0 47101 0 107 0 3478 0 0 0
1790.63/1791.14 c logicor : 59424+ 0 39692 0 107 66 4405 0 0 0
1790.63/1791.14 c countsols : 0 0 0 0 107 0 0 0 0 0
1790.63/1791.14 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.63/1791.14 c integral : 0.00 0.00 0.00 0.00 0.00
1790.63/1791.14 c setppc : 200.62 0.00 198.77 0.00 1.85
1790.63/1791.14 c logicor : 11.79 0.00 5.59 0.00 6.20
1790.63/1791.14 c countsols : 0.00 0.00 0.00 0.00 0.00
1790.63/1791.14 c Propagators : Time Calls Cutoffs DomReds
1790.63/1791.14 c vbounds : 0.05 2 0 0
1790.63/1791.14 c rootredcost : 0.03 0 0 0
1790.63/1791.14 c pseudoobj : 0.44 318 0 0
1790.63/1791.14 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.63/1791.14 c propagation : 0.00 1 1 2 4.5 0 0.0 -
1790.63/1791.14 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1790.63/1791.14 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.63/1791.14 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.63/1791.14 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.63/1791.14 c applied globally : - - - 2 4.5 - - -
1790.63/1791.14 c applied locally : - - - 0 0.0 - - -
1790.63/1791.14 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.63/1791.14 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1790.63/1791.14 c redcost : 0.00 0 0 0 0 0
1790.63/1791.14 c impliedbounds : 0.00 0 0 0 0 0
1790.63/1791.14 c intobj : 0.00 0 0 0 0 0
1790.63/1791.14 c cgmip : 0.00 0 0 0 0 0
1790.63/1791.14 c gomory : 0.00 0 0 0 0 0
1790.63/1791.14 c strongcg : 0.00 0 0 0 0 0
1790.63/1791.14 c cmir : 0.00 0 0 0 0 0
1790.63/1791.14 c flowcover : 0.00 0 0 0 0 0
1790.63/1791.14 c clique : 0.00 0 0 0 0 0
1790.63/1791.14 c zerohalf : 0.00 0 0 0 0 0
1790.63/1791.14 c mcf : 0.00 0 0 0 0 0
1790.63/1791.14 c rapidlearning : 0.00 0 0 0 0 0
1790.63/1791.14 c Pricers : Time Calls Vars
1790.63/1791.14 c problem variables: 0.00 0 0
1790.63/1791.14 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.63/1791.14 c relpscost : 0.00 0 0 0 0 0 0
1790.63/1791.14 c pscost : 0.00 0 0 0 0 0 0
1790.63/1791.14 c inference : 0.80 107 0 0 0 0 214
1790.63/1791.14 c mostinf : 0.00 0 0 0 0 0 0
1790.63/1791.14 c leastinf : 0.00 0 0 0 0 0 0
1790.63/1791.14 c fullstrong : 0.00 0 0 0 0 0 0
1790.63/1791.14 c allfullstrong : 0.00 0 0 0 0 0 0
1790.63/1791.14 c random : 0.00 0 0 0 0 0 0
1790.63/1791.14 c Primal Heuristics : Time Calls Found
1790.63/1791.14 c LP solutions : 0.00 - 0
1790.63/1791.14 c pseudo solutions : 0.00 - 0
1790.63/1791.14 c oneopt : 0.00 0 0
1790.63/1791.14 c intshifting : 0.00 0 0
1790.63/1791.14 c coefdiving : 0.00 0 0
1790.63/1791.14 c pscostdiving : 0.00 0 0
1790.63/1791.14 c fracdiving : 0.00 0 0
1790.63/1791.14 c veclendiving : 0.00 0 0
1790.63/1791.14 c objpscostdiving : 0.00 0 0
1790.63/1791.14 c rootsoldiving : 0.00 0 0
1790.63/1791.14 c linesearchdiving : 0.00 0 0
1790.63/1791.14 c guideddiving : 0.00 0 0
1790.63/1791.14 c crossover : 0.00 0 0
1790.63/1791.14 c trivial : 0.09 2 0
1790.63/1791.14 c simplerounding : 0.00 0 0
1790.63/1791.14 c zirounding : 0.00 0 0
1790.63/1791.14 c rounding : 0.00 0 0
1790.63/1791.14 c shifting : 0.00 0 0
1790.63/1791.14 c twoopt : 0.00 0 0
1790.63/1791.14 c fixandinfer : 0.00 0 0
1790.63/1791.14 c feaspump : 0.00 0 0
1790.63/1791.14 c intdiving : 0.00 0 0
1790.63/1791.14 c actconsdiving : 0.00 0 0
1790.63/1791.14 c octane : 0.00 0 0
1790.63/1791.14 c rens : 0.00 0 0
1790.63/1791.14 c rins : 0.00 0 0
1790.63/1791.14 c localbranching : 0.00 0 0
1790.63/1791.14 c mutation : 0.00 0 0
1790.63/1791.14 c dins : 0.00 0 0
1790.63/1791.14 c undercover : 0.00 0 0
1790.63/1791.14 c nlp : 0.00 0 0
1790.63/1791.14 c trysol : 0.00 0 0
1790.63/1791.14 c LP : Time Calls Iterations Iter/call Iter/sec
1790.63/1791.14 c primal LP : 0.00 0 0 0.00 -
1790.63/1791.14 c dual LP : 1486.67 164 688296 4196.93 462.98
1790.63/1791.14 c lex dual LP : 0.00 0 0 0.00 -
1790.63/1791.14 c barrier LP : 0.00 0 0 0.00 -
1790.63/1791.14 c diving/probing LP: 0.00 0 0 0.00 -
1790.63/1791.14 c strong branching : 0.00 0 0 0.00 -
1790.63/1791.14 c (at root node) : - 0 0 0.00 -
1790.63/1791.14 c conflict analysis: 0.00 0 0 0.00 -
1790.63/1791.14 c B&B Tree :
1790.63/1791.14 c number of runs : 1
1790.63/1791.14 c nodes : 108
1790.63/1791.14 c nodes (total) : 108
1790.63/1791.14 c nodes left : 107
1790.63/1791.14 c max depth : 21
1790.63/1791.14 c max depth (total): 21
1790.63/1791.14 c backtracks : 10 (9.3%)
1790.63/1791.14 c delayed cutoffs : 0
1790.63/1791.14 c repropagations : 8 (2 domain reductions, 0 cutoffs)
1790.63/1791.14 c avg switch length: 2.03
1790.63/1791.14 c switching time : 0.07
1790.63/1791.14 c Solution :
1790.63/1791.14 c Solutions found : 0 (0 improvements)
1790.63/1791.14 c Primal Bound : -
1790.63/1791.14 c Dual Bound : +7.13660215109000e+11
1790.63/1791.14 c Gap : infinite
1790.63/1791.14 c Root Dual Bound : +7.13660215105000e+11
1790.63/1791.14 c Root Iterations : 13834
1791.23/1791.71 c Time complete: 1791.24.