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-2704810-1278580134.opb>
1.59/1.67 c original problem has 21160 variables (21160 bin, 0 int, 0 impl, 0 cont) and 100329 constraints
1.59/1.67 c problem read
1.59/1.67 c presolving settings loaded
2.20/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, 130910 impls, 1562 clqs
2.69/2.78 c (round 2) 2428 del vars, 5030 del conss, 48 chg bounds, 0 chg sides, 9 chg coeffs, 0 upgd conss, 162552 impls, 1562 clqs
2.79/2.83 c (round 3) 2504 del vars, 5161 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 0 upgd conss, 162734 impls, 1562 clqs
2.89/2.92 c (round 4) 5429 del vars, 11029 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 0 upgd conss, 162734 impls, 1562 clqs
2.89/2.96 c (round 5) 5451 del vars, 11083 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 0 upgd conss, 162734 impls, 1562 clqs
2.99/3.00 c (round 6) 5462 del vars, 11099 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 0 upgd conss, 162734 impls, 1562 clqs
3.69/3.70 c (round 7) 5469 del vars, 13421 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86876 upgd conss, 162734 impls, 1562 clqs
3.79/3.88 c (round 8) 5472 del vars, 13424 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86876 upgd conss, 162734 impls, 1562 clqs
3.99/4.01 c (round 9) 5472 del vars, 13425 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 162734 impls, 1562 clqs
9.48/9.59 c (round 10) 5522 del vars, 13425 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 295379 impls, 1562 clqs
9.58/9.65 c (round 11) 5522 del vars, 14798 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 295379 impls, 1562 clqs
9.68/9.78 c (round 12) 5522 del vars, 14824 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 295379 impls, 1562 clqs
18.79/18.88 c (round 13) 5573 del vars, 14824 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 372791 impls, 1562 clqs
18.98/19.00 c (round 14) 5573 del vars, 14930 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 372791 impls, 1562 clqs
25.88/25.90 c (24.2s) probing: 1000/15688 (6.4%) - 14 fixings, 123 aggregations, 42398 implications, 0 bound changes
28.18/28.20 c (round 15) 5625 del vars, 14933 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 402831 impls, 1561 clqs
28.29/28.31 c (round 16) 5625 del vars, 14982 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 402831 impls, 1561 clqs
28.39/28.44 c (round 17) 5625 del vars, 15085 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 402831 impls, 1561 clqs
35.29/35.37 c (round 18) 5675 del vars, 15085 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 413885 impls, 1560 clqs
35.39/35.43 c (round 19) 5675 del vars, 15154 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 413885 impls, 1560 clqs
39.18/39.26 c (round 20) 5726 del vars, 15157 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 421006 impls, 1560 clqs
39.28/39.37 c (round 21) 5727 del vars, 15214 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 421008 impls, 1560 clqs
44.68/44.72 c (43.0s) probing: 2000/15688 (12.7%) - 26 fixings, 272 aggregations, 59942 implications, 0 bound changes
45.09/45.14 c (round 22) 5777 del vars, 15216 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 443140 impls, 1558 clqs
45.19/45.21 c (round 23) 5782 del vars, 15281 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 444434 impls, 1558 clqs
45.28/45.34 c (round 24) 5782 del vars, 15411 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 444434 impls, 1558 clqs
55.18/55.24 c (round 25) 5832 del vars, 15411 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 461772 impls, 1556 clqs
55.28/55.30 c (round 26) 5833 del vars, 15473 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 462046 impls, 1556 clqs
55.38/55.44 c (round 27) 5833 del vars, 15515 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 462046 impls, 1556 clqs
60.98/61.09 c (round 28) 5883 del vars, 15515 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 475155 impls, 1556 clqs
61.08/61.15 c (round 29) 5884 del vars, 15588 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 475157 impls, 1556 clqs
61.98/62.08 c (60.4s) probing: 3000/15688 (19.1%) - 36 fixings, 378 aggregations, 71207 implications, 0 bound changes
66.08/66.15 c (round 30) 5934 del vars, 15590 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 480448 impls, 1555 clqs
66.18/66.21 c (round 31) 5934 del vars, 15694 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 480448 impls, 1555 clqs
66.28/66.33 c (round 32) 5934 del vars, 15778 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 480448 impls, 1555 clqs
73.07/73.10 c (round 33) 5984 del vars, 15778 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 489672 impls, 1555 clqs
73.07/73.16 c (round 34) 5984 del vars, 15836 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 489672 impls, 1555 clqs
73.17/73.28 c (round 35) 5984 del vars, 15882 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 489672 impls, 1555 clqs
78.37/78.45 c (round 36) 6034 del vars, 15882 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 492190 impls, 1554 clqs
78.47/78.52 c (round 37) 6034 del vars, 15948 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 492190 impls, 1554 clqs
78.57/78.64 c (round 38) 6034 del vars, 15990 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 492190 impls, 1554 clqs
79.07/79.18 c (77.5s) probing: 4000/15688 (25.5%) - 51 fixings, 501 aggregations, 78754 implications, 0 bound changes
85.78/85.90 c (round 39) 6084 del vars, 15990 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 504366 impls, 1554 clqs
85.88/85.96 c (round 40) 6084 del vars, 16044 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 504366 impls, 1554 clqs
85.97/86.09 c (round 41) 6084 del vars, 16092 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 504366 impls, 1554 clqs
91.87/92.00 c (round 42) 6134 del vars, 16094 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 508664 impls, 1553 clqs
92.07/92.11 c (round 43) 6135 del vars, 16158 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 508666 impls, 1553 clqs
95.47/95.58 c (93.9s) probing: 5000/15688 (31.9%) - 59 fixings, 624 aggregations, 87363 implications, 0 bound changes
97.57/97.65 c (round 44) 6185 del vars, 16159 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 514566 impls, 1553 clqs
97.67/97.76 c (round 45) 6185 del vars, 16206 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 514566 impls, 1553 clqs
97.77/97.88 c (round 46) 6185 del vars, 16297 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 514566 impls, 1553 clqs
103.86/103.94 c (round 47) 6235 del vars, 16297 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 518528 impls, 1552 clqs
103.96/104.05 c (round 48) 6235 del vars, 16346 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 518528 impls, 1552 clqs
104.06/104.17 c (round 49) 6235 del vars, 16396 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 518528 impls, 1552 clqs
111.07/111.12 c (round 50) 6285 del vars, 16396 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 526038 impls, 1552 clqs
111.17/111.22 c (round 51) 6285 del vars, 16445 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 526038 impls, 1552 clqs
111.26/111.35 c (round 52) 6285 del vars, 16495 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 526038 impls, 1552 clqs
111.96/112.08 c (110.4s) probing: 6000/15688 (38.2%) - 59 fixings, 745 aggregations, 94419 implications, 0 bound changes
118.06/118.12 c (round 53) 6335 del vars, 16495 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 529082 impls, 1552 clqs
118.16/118.23 c (round 54) 6335 del vars, 16556 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 529082 impls, 1552 clqs
118.26/118.35 c (round 55) 6335 del vars, 16598 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 529082 impls, 1552 clqs
125.26/125.37 c (round 56) 6385 del vars, 16598 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 532062 impls, 1552 clqs
125.36/125.48 c (round 57) 6385 del vars, 16654 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 532062 impls, 1552 clqs
125.56/125.60 c (round 58) 6385 del vars, 16700 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 532062 impls, 1552 clqs
127.66/127.78 c (126.1s) probing: 7000/15688 (44.6%) - 68 fixings, 845 aggregations, 97089 implications, 0 bound changes
132.15/132.29 c (round 59) 6435 del vars, 16700 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 535632 impls, 1552 clqs
132.35/132.40 c (round 60) 6435 del vars, 16751 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 535632 impls, 1552 clqs
132.45/132.53 c (round 61) 6435 del vars, 16801 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 535632 impls, 1552 clqs
136.85/136.99 c (round 62) 6485 del vars, 16801 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 537164 impls, 1551 clqs
137.05/137.15 c (round 63) 6486 del vars, 16895 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 537166 impls, 1551 clqs
141.45/141.55 c (round 64) 6536 del vars, 16896 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 538636 impls, 1551 clqs
141.55/141.66 c (round 65) 6536 del vars, 16949 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 538636 impls, 1551 clqs
141.65/141.78 c (round 66) 6536 del vars, 17048 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 538636 impls, 1551 clqs
143.45/143.59 c (141.9s) probing: 8000/15688 (51.0%) - 70 fixings, 1002 aggregations, 100110 implications, 0 bound changes
144.75/144.85 c (round 67) 6586 del vars, 17048 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 540424 impls, 1551 clqs
144.85/144.96 c (round 68) 6587 del vars, 17102 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 540446 impls, 1551 clqs
150.35/150.50 c (round 69) 6637 del vars, 17103 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 542334 impls, 1550 clqs
150.45/150.56 c (round 70) 6638 del vars, 17163 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 542338 impls, 1550 clqs
150.55/150.69 c (round 71) 6638 del vars, 17259 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 542338 impls, 1550 clqs
155.34/155.40 c (round 72) 6688 del vars, 17259 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 544790 impls, 1550 clqs
155.44/155.51 c (round 73) 6688 del vars, 17318 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 544790 impls, 1550 clqs
155.54/155.66 c (round 74) 6688 del vars, 17368 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 544790 impls, 1550 clqs
159.34/159.42 c (157.7s) probing: 9000/15688 (57.4%) - 86 fixings, 1149 aggregations, 103958 implications, 0 bound changes
162.75/162.82 c (round 75) 6738 del vars, 17370 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 550978 impls, 1550 clqs
162.85/162.93 c (round 76) 6738 del vars, 17434 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 550978 impls, 1550 clqs
162.94/163.06 c (round 77) 6738 del vars, 17475 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 550978 impls, 1550 clqs
167.74/167.87 c (round 78) 6788 del vars, 17475 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 553156 impls, 1550 clqs
167.84/167.98 c (round 79) 6788 del vars, 17526 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 553156 impls, 1550 clqs
168.04/168.12 c (round 80) 6788 del vars, 17581 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 553156 impls, 1550 clqs
170.84/170.95 c (round 81) 6838 del vars, 17584 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 554740 impls, 1550 clqs
170.94/171.06 c (round 82) 6838 del vars, 17633 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 554740 impls, 1550 clqs
171.04/171.19 c (round 83) 6838 del vars, 17683 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 554740 impls, 1550 clqs
174.73/174.83 c (round 84) 6888 del vars, 17683 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 560754 impls, 1550 clqs
174.84/174.94 c (round 85) 6888 del vars, 17731 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 560754 impls, 1550 clqs
174.94/175.07 c (round 86) 6888 del vars, 17783 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 560754 impls, 1550 clqs
175.53/175.67 c (174.0s) probing: 10000/15688 (63.7%) - 88 fixings, 1314 aggregations, 111321 implications, 0 bound changes
180.13/180.24 c (round 87) 6938 del vars, 17783 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 569116 impls, 1550 clqs
180.24/180.36 c (round 88) 6938 del vars, 17838 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 569116 impls, 1550 clqs
180.35/180.48 c (round 89) 6938 del vars, 17885 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 569116 impls, 1550 clqs
185.44/185.59 c (round 90) 6988 del vars, 17885 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 572274 impls, 1550 clqs
185.64/185.70 c (round 91) 6988 del vars, 17957 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 572274 impls, 1550 clqs
185.74/185.83 c (round 92) 6988 del vars, 17996 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 572274 impls, 1550 clqs
189.14/189.22 c (round 93) 7038 del vars, 17996 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 574622 impls, 1550 clqs
189.24/189.33 c (round 94) 7038 del vars, 18040 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 574622 impls, 1550 clqs
189.34/189.46 c (round 95) 7038 del vars, 18095 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 574622 impls, 1550 clqs
191.34/191.45 c (189.8s) probing: 11000/15688 (70.1%) - 99 fixings, 1483 aggregations, 118573 implications, 0 bound changes
192.74/192.88 c (round 96) 7088 del vars, 18095 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 576054 impls, 1550 clqs
192.94/193.00 c (round 97) 7088 del vars, 18148 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 576054 impls, 1550 clqs
193.04/193.14 c (round 98) 7088 del vars, 18196 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 576054 impls, 1550 clqs
200.73/200.83 c (round 99) 7138 del vars, 18196 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 579878 impls, 1550 clqs
200.83/200.95 c (round 100) 7138 del vars, 18247 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 579878 impls, 1550 clqs
200.93/201.09 c (round 101) 7138 del vars, 18295 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 579878 impls, 1550 clqs
206.53/206.69 c (205.0s) probing: 12000/15688 (76.5%) - 104 fixings, 1597 aggregations, 125095 implications, 0 bound changes
206.63/206.74 c (round 102) 7188 del vars, 18295 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 587320 impls, 1550 clqs
206.74/206.86 c (round 103) 7188 del vars, 18351 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 587320 impls, 1550 clqs
206.84/206.99 c (round 104) 7188 del vars, 18399 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 587320 impls, 1550 clqs
210.93/211.00 c (round 105) 7238 del vars, 18399 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 602896 impls, 1550 clqs
211.03/211.12 c (round 106) 7238 del vars, 18468 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 602896 impls, 1550 clqs
211.14/211.25 c (round 107) 7238 del vars, 18508 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 602896 impls, 1550 clqs
218.03/218.15 c (round 108) 7288 del vars, 18509 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 627684 impls, 1550 clqs
218.13/218.29 c (round 109) 7288 del vars, 18586 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 627684 impls, 1550 clqs
218.33/218.42 c (round 110) 7288 del vars, 18612 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 627684 impls, 1550 clqs
223.13/223.28 c (221.6s) probing: 13000/15688 (82.9%) - 137 fixings, 1694 aggregations, 150351 implications, 0 bound changes
230.03/230.15 c (round 111) 7338 del vars, 18612 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 650984 impls, 1550 clqs
230.13/230.27 c (round 112) 7343 del vars, 18687 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 650994 impls, 1550 clqs
239.02/239.18 c (237.5s) probing: 14000/15688 (89.2%) - 146 fixings, 1718 aggregations, 177523 implications, 0 bound changes
248.82/248.98 c (round 113) 7393 del vars, 18692 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 713798 impls, 1550 clqs
248.92/249.09 c (round 114) 7405 del vars, 18801 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 713824 impls, 1550 clqs
249.12/249.21 c (round 115) 7405 del vars, 18814 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 713824 impls, 1550 clqs
249.22/249.36 c (round 116) 7405 del vars, 18853 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 713824 impls, 1550 clqs
255.92/256.05 c (254.4s) probing: 15000/15688 (95.6%) - 181 fixings, 1732 aggregations, 204567 implications, 0 bound changes
266.51/266.67 c (265.0s) probing: 15611/15688 (99.5%) - 192 fixings, 1732 aggregations, 228144 implications, 0 bound changes
266.51/266.67 c (265.0s) probing aborted: 100/100 successive totally useless probings
266.51/266.67 c (round 117) 7427 del vars, 18853 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 771814 impls, 1550 clqs
266.61/266.73 c (round 118) 7445 del vars, 18891 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 771856 impls, 1550 clqs
266.71/266.85 c (round 119) 7445 del vars, 18910 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 771856 impls, 1550 clqs
266.91/267.09 c (265.4s) probing: 15621/15688 (99.6%) - 192 fixings, 1732 aggregations, 228144 implications, 0 bound changes
266.91/267.09 c (265.4s) probing aborted: 100/100 successive totally useless probings
267.01/267.10 c presolving (120 rounds):
267.01/267.10 c 7445 deleted vars, 18916 deleted constraints, 48 tightened bounds, 0 added holes, 2 changed sides, 11 changed coefficients
267.01/267.10 c 771856 implications, 1550 cliques
267.01/267.10 c presolved problem has 13715 variables (13715 bin, 0 int, 0 impl, 0 cont) and 81413 constraints
267.01/267.10 c 21873 constraints of type <setppc>
267.01/267.10 c 59540 constraints of type <logicor>
267.01/267.10 c transformed objective value is always integral (scale: 1)
267.01/267.10 c Presolving Time: 265.05
267.01/267.10 c - non default parameters ----------------------------------------------------------------------
267.01/267.10 c # SCIP version 1.2.1.3
267.01/267.10 c
267.01/267.10 c # frequency for displaying node information lines
267.01/267.10 c # [type: int, range: [-1,2147483647], default: 100]
267.01/267.10 c display/freq = 10000
267.01/267.10 c
267.01/267.10 c # maximal time in seconds to run
267.01/267.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
267.01/267.10 c limits/time = 1788.33
267.01/267.10 c
267.01/267.10 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
267.01/267.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
267.01/267.10 c limits/memory = 1620
267.01/267.10 c
267.01/267.10 c # default clock type (1: CPU user seconds, 2: wall clock time)
267.01/267.10 c # [type: int, range: [1,2], default: 1]
267.01/267.10 c timing/clocktype = 2
267.01/267.10 c
267.01/267.10 c # should presolving try to simplify inequalities
267.01/267.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
267.01/267.10 c constraints/linear/simplifyinequalities = TRUE
267.01/267.10 c
267.01/267.10 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
267.01/267.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
267.01/267.10 c constraints/indicator/addCouplingCons = TRUE
267.01/267.10 c
267.01/267.10 c # should presolving try to simplify knapsacks
267.01/267.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
267.01/267.10 c constraints/knapsack/simplifyinequalities = TRUE
267.01/267.10 c
267.01/267.10 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
267.01/267.10 c # [type: int, range: [-1,2147483647], default: -1]
267.01/267.10 c separating/rapidlearning/freq = 0
267.01/267.10 c
267.01/267.10 c -----------------------------------------------------------------------------------------------
267.01/267.10 c start solving
267.01/267.12 c
296.30/296.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
296.30/296.48 c 295s| 1 | 2 | 13701 | - | 172M| 0 | - | 13k| 81k| 13k| 73k| 0 | 0 | 0 | 7.202140e+11 | -- | Inf
1790.46/1791.06 c
1790.46/1791.06 c SCIP Status : solving was interrupted [time limit reached]
1790.46/1791.06 c Solving Time (sec) : 1789.39
1790.46/1791.06 c Solving Nodes : 119
1790.46/1791.06 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1790.46/1791.06 c Dual Bound : +7.20214020545000e+11
1790.46/1791.06 c Gap : infinite
1790.46/1791.06 s UNKNOWN
1790.46/1791.06 c SCIP Status : solving was interrupted [time limit reached]
1790.46/1791.06 c Solving Time : 1789.39
1790.46/1791.06 c Original Problem :
1790.46/1791.06 c Problem name : HOME/instance-2704810-1278580134.opb
1790.46/1791.06 c Variables : 21160 (21160 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.46/1791.06 c Constraints : 100329 initial, 100329 maximal
1790.46/1791.06 c Presolved Problem :
1790.46/1791.06 c Problem name : t_HOME/instance-2704810-1278580134.opb
1790.46/1791.06 c Variables : 13715 (13715 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.46/1791.06 c Constraints : 81413 initial, 81415 maximal
1790.46/1791.06 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.46/1791.06 c trivial : 0.34 0 0 0 0 0 0 0 0
1790.46/1791.06 c dualfix : 0.38 4147 0 0 0 0 0 0 0
1790.46/1791.06 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.46/1791.06 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.46/1791.06 c implics : 0.70 0 77 0 0 0 0 0 0
1790.46/1791.06 c probing : 250.00 192 1732 0 0 0 0 0 0
1790.46/1791.06 c setppc : 3.07 0 0 0 0 0 5306 0 0
1790.46/1791.06 c linear : 1.12 48 1249 0 48 0 13423 2 11
1790.46/1791.06 c logicor : 8.99 0 0 0 0 0 187 0 0
1790.46/1791.06 c root node : - 0 - - 0 - - - -
1790.46/1791.06 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.46/1791.06 c integral : 0 0 0 0 0 0 0 0 0 0
1790.46/1791.06 c setppc : 21873 0 46641 0 118 1 3648 0 0 0
1790.46/1791.06 c logicor : 59540+ 0 39251 0 118 174 4294 0 0 0
1790.46/1791.06 c countsols : 0 0 0 0 118 0 0 0 0 0
1790.46/1791.06 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.46/1791.06 c integral : 0.00 0.00 0.00 0.00 0.00
1790.46/1791.06 c setppc : 185.93 0.00 183.91 0.00 2.01
1790.46/1791.06 c logicor : 11.27 0.00 4.66 0.00 6.61
1790.46/1791.06 c countsols : 0.00 0.00 0.00 0.00 0.00
1790.46/1791.06 c Propagators : Time Calls Cutoffs DomReds
1790.46/1791.06 c vbounds : 0.04 2 0 0
1790.46/1791.06 c rootredcost : 0.03 0 0 0
1790.46/1791.06 c pseudoobj : 0.49 374 0 0
1790.46/1791.06 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.46/1791.06 c propagation : 0.00 1 1 2 4.5 0 0.0 -
1790.46/1791.06 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1790.46/1791.06 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.46/1791.06 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.46/1791.06 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.46/1791.06 c applied globally : - - - 2 4.5 - - -
1790.46/1791.06 c applied locally : - - - 0 0.0 - - -
1790.46/1791.06 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.46/1791.06 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1790.46/1791.06 c redcost : 0.00 0 0 0 0 0
1790.46/1791.06 c impliedbounds : 0.00 0 0 0 0 0
1790.46/1791.06 c intobj : 0.00 0 0 0 0 0
1790.46/1791.06 c cgmip : 0.00 0 0 0 0 0
1790.46/1791.06 c gomory : 0.00 0 0 0 0 0
1790.46/1791.06 c strongcg : 0.00 0 0 0 0 0
1790.46/1791.06 c cmir : 0.00 0 0 0 0 0
1790.46/1791.06 c flowcover : 0.00 0 0 0 0 0
1790.46/1791.06 c clique : 0.00 0 0 0 0 0
1790.46/1791.06 c zerohalf : 0.00 0 0 0 0 0
1790.46/1791.06 c mcf : 0.00 0 0 0 0 0
1790.46/1791.06 c rapidlearning : 0.00 0 0 0 0 0
1790.46/1791.06 c Pricers : Time Calls Vars
1790.46/1791.06 c problem variables: 0.00 0 0
1790.46/1791.06 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.46/1791.06 c relpscost : 0.00 0 0 0 0 0 0
1790.46/1791.06 c pscost : 0.00 0 0 0 0 0 0
1790.46/1791.06 c inference : 0.90 118 0 0 0 0 236
1790.46/1791.06 c mostinf : 0.00 0 0 0 0 0 0
1790.46/1791.06 c leastinf : 0.00 0 0 0 0 0 0
1790.46/1791.06 c fullstrong : 0.00 0 0 0 0 0 0
1790.46/1791.06 c allfullstrong : 0.00 0 0 0 0 0 0
1790.46/1791.06 c random : 0.00 0 0 0 0 0 0
1790.46/1791.06 c Primal Heuristics : Time Calls Found
1790.46/1791.06 c LP solutions : 0.00 - 0
1790.46/1791.06 c pseudo solutions : 0.00 - 0
1790.46/1791.06 c oneopt : 0.00 0 0
1790.46/1791.06 c intshifting : 0.00 0 0
1790.46/1791.06 c coefdiving : 0.00 0 0
1790.46/1791.06 c pscostdiving : 0.00 0 0
1790.46/1791.06 c fracdiving : 0.00 0 0
1790.46/1791.06 c veclendiving : 0.00 0 0
1790.46/1791.06 c objpscostdiving : 0.00 0 0
1790.46/1791.06 c rootsoldiving : 0.00 0 0
1790.46/1791.06 c linesearchdiving : 0.00 0 0
1790.46/1791.06 c guideddiving : 0.00 0 0
1790.46/1791.06 c crossover : 0.00 0 0
1790.46/1791.06 c trivial : 0.08 2 0
1790.46/1791.06 c simplerounding : 0.00 0 0
1790.46/1791.06 c zirounding : 0.00 0 0
1790.46/1791.06 c rounding : 0.00 0 0
1790.46/1791.06 c shifting : 0.00 0 0
1790.46/1791.06 c twoopt : 0.00 0 0
1790.46/1791.06 c fixandinfer : 0.00 0 0
1790.46/1791.06 c feaspump : 0.00 0 0
1790.46/1791.06 c intdiving : 0.00 0 0
1790.46/1791.06 c actconsdiving : 0.00 0 0
1790.46/1791.06 c octane : 0.00 0 0
1790.46/1791.06 c rens : 0.00 0 0
1790.46/1791.06 c rins : 0.00 0 0
1790.46/1791.06 c localbranching : 0.00 0 0
1790.46/1791.06 c mutation : 0.00 0 0
1790.46/1791.06 c dins : 0.00 0 0
1790.46/1791.06 c undercover : 0.00 0 0
1790.46/1791.06 c nlp : 0.00 0 0
1790.46/1791.06 c trysol : 0.00 0 0
1790.46/1791.06 c LP : Time Calls Iterations Iter/call Iter/sec
1790.46/1791.06 c primal LP : 0.00 0 0 0.00 -
1790.46/1791.06 c dual LP : 1505.97 189 751206 3974.63 498.82
1790.46/1791.06 c lex dual LP : 0.00 0 0 0.00 -
1790.46/1791.06 c barrier LP : 0.00 0 0 0.00 -
1790.46/1791.06 c diving/probing LP: 0.00 0 0 0.00 -
1790.46/1791.06 c strong branching : 0.00 0 0 0.00 -
1790.46/1791.06 c (at root node) : - 0 0 0.00 -
1790.46/1791.06 c conflict analysis: 0.00 0 0 0.00 -
1790.46/1791.06 c B&B Tree :
1790.46/1791.06 c number of runs : 1
1790.46/1791.06 c nodes : 119
1790.46/1791.06 c nodes (total) : 119
1790.46/1791.06 c nodes left : 118
1790.46/1791.06 c max depth : 19
1790.46/1791.06 c max depth (total): 19
1790.46/1791.06 c backtracks : 12 (10.1%)
1790.46/1791.06 c delayed cutoffs : 0
1790.46/1791.06 c repropagations : 6 (2 domain reductions, 0 cutoffs)
1790.46/1791.06 c avg switch length: 2.17
1790.46/1791.06 c switching time : 0.07
1790.46/1791.06 c Solution :
1790.46/1791.06 c Solutions found : 0 (0 improvements)
1790.46/1791.06 c Primal Bound : -
1790.46/1791.06 c Dual Bound : +7.20214020545000e+11
1790.46/1791.06 c Gap : infinite
1790.46/1791.06 c Root Dual Bound : +7.20214020531000e+11
1790.46/1791.06 c Root Iterations : 13701
1791.05/1791.61 c Time complete: 1791.07.