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-2704818-1278580193.opb>
1.59/1.67 c original problem has 21101 variables (21101 bin, 0 int, 0 impl, 0 cont) and 100032 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.69 c (round 1) 2374 del vars, 4174 del conss, 36 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 130362 impls, 1557 clqs
2.69/2.78 c (round 2) 2437 del vars, 5046 del conss, 61 chg bounds, 0 chg sides, 9 chg coeffs, 0 upgd conss, 161983 impls, 1554 clqs
2.80/2.83 c (round 3) 2522 del vars, 6072 del conss, 70 chg bounds, 2 chg sides, 11 chg coeffs, 0 upgd conss, 162181 impls, 1554 clqs
2.90/2.93 c (round 4) 5515 del vars, 12284 del conss, 127 chg bounds, 8 chg sides, 17 chg coeffs, 0 upgd conss, 162722 impls, 1537 clqs
2.90/2.98 c (round 5) 5559 del vars, 13262 del conss, 139 chg bounds, 8 chg sides, 17 chg coeffs, 0 upgd conss, 163408 impls, 1537 clqs
3.00/3.03 c (round 6) 5579 del vars, 16020 del conss, 139 chg bounds, 10 chg sides, 26 chg coeffs, 0 upgd conss, 163458 impls, 1537 clqs
3.00/3.07 c (round 7) 5587 del vars, 16025 del conss, 139 chg bounds, 10 chg sides, 26 chg coeffs, 0 upgd conss, 163458 impls, 1537 clqs
3.69/3.77 c (round 8) 5587 del vars, 18378 del conss, 139 chg bounds, 10 chg sides, 26 chg coeffs, 81607 upgd conss, 163458 impls, 1537 clqs
3.89/3.95 c (round 9) 5590 del vars, 18381 del conss, 139 chg bounds, 10 chg sides, 26 chg coeffs, 81607 upgd conss, 163458 impls, 1537 clqs
3.99/4.09 c (round 10) 5590 del vars, 18382 del conss, 139 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 163458 impls, 1537 clqs
4.99/5.07 c (round 11) 5658 del vars, 18383 del conss, 145 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 178949 impls, 1532 clqs
5.09/5.14 c (round 12) 5666 del vars, 19524 del conss, 152 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 179560 impls, 1532 clqs
5.19/5.20 c (round 13) 5674 del vars, 19550 del conss, 152 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 179560 impls, 1532 clqs
5.29/5.33 c (round 14) 5674 del vars, 19610 del conss, 152 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 179560 impls, 1532 clqs
9.69/9.70 c (round 15) 5725 del vars, 19610 del conss, 152 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 255200 impls, 1529 clqs
9.69/9.76 c (round 16) 5727 del vars, 19831 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 255233 impls, 1529 clqs
9.80/9.82 c (round 17) 5729 del vars, 19838 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 255233 impls, 1529 clqs
9.90/9.95 c (round 18) 5729 del vars, 19873 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 255233 impls, 1529 clqs
15.69/15.73 c (round 19) 5779 del vars, 19873 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 276402 impls, 1529 clqs
15.78/15.85 c (round 20) 5780 del vars, 19934 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 276404 impls, 1529 clqs
22.18/22.23 c (round 21) 5831 del vars, 19935 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 288554 impls, 1525 clqs
22.18/22.29 c (round 22) 5831 del vars, 20009 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 288562 impls, 1525 clqs
23.18/23.24 c (21.6s) probing: 1000/15510 (6.4%) - 85 fixings, 136 aggregations, 23249 implications, 6 bound changes
27.98/28.02 c (round 23) 5882 del vars, 20012 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 315086 impls, 1525 clqs
28.08/28.14 c (round 24) 5882 del vars, 20072 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 315086 impls, 1525 clqs
28.18/28.26 c (round 25) 5882 del vars, 20198 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 315086 impls, 1525 clqs
37.98/38.06 c (round 26) 5932 del vars, 20200 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 336326 impls, 1525 clqs
38.08/38.17 c (round 27) 5932 del vars, 20268 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 336326 impls, 1525 clqs
38.28/38.30 c (round 28) 5932 del vars, 20326 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 336326 impls, 1525 clqs
40.78/40.83 c (39.2s) probing: 2000/15510 (12.9%) - 90 fixings, 261 aggregations, 43650 implications, 6 bound changes
44.38/44.48 c (round 29) 5982 del vars, 20326 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 348530 impls, 1525 clqs
44.48/44.59 c (round 30) 5982 del vars, 20376 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 348530 impls, 1525 clqs
44.68/44.72 c (round 31) 5982 del vars, 20425 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 348530 impls, 1525 clqs
51.37/51.43 c (round 32) 6032 del vars, 20425 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 356895 impls, 1524 clqs
51.37/51.49 c (round 33) 6032 del vars, 20482 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 356895 impls, 1524 clqs
51.58/51.62 c (round 34) 6032 del vars, 20535 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 356895 impls, 1524 clqs
57.37/57.47 c (55.8s) probing: 3000/15510 (19.3%) - 96 fixings, 370 aggregations, 52185 implications, 6 bound changes
57.47/57.57 c (round 35) 6082 del vars, 20535 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 363297 impls, 1523 clqs
57.57/57.64 c (round 36) 6083 del vars, 20596 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 363297 impls, 1523 clqs
62.97/63.01 c (round 37) 6133 del vars, 20598 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 366999 impls, 1522 clqs
62.97/63.07 c (round 38) 6133 del vars, 20661 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 366999 impls, 1522 clqs
63.17/63.20 c (round 39) 6133 del vars, 20745 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 366999 impls, 1522 clqs
69.77/69.82 c (round 40) 6183 del vars, 20745 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 376691 impls, 1520 clqs
69.77/69.88 c (round 41) 6185 del vars, 20826 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 376721 impls, 1520 clqs
73.38/73.41 c (71.7s) probing: 4000/15510 (25.8%) - 103 fixings, 487 aggregations, 60069 implications, 6 bound changes
77.28/77.37 c (round 42) 6235 del vars, 20829 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 383677 impls, 1518 clqs
77.38/77.44 c (round 43) 6236 del vars, 20891 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 383683 impls, 1518 clqs
77.48/77.57 c (round 44) 6236 del vars, 20982 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 383683 impls, 1518 clqs
83.27/83.32 c (round 45) 6286 del vars, 20982 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 394045 impls, 1518 clqs
83.27/83.38 c (round 46) 6286 del vars, 21056 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 394045 impls, 1518 clqs
83.48/83.51 c (round 47) 6286 del vars, 21100 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 394045 impls, 1518 clqs
88.87/88.98 c (87.3s) probing: 5000/15510 (32.2%) - 109 fixings, 607 aggregations, 68256 implications, 6 bound changes
89.47/89.51 c (round 48) 6336 del vars, 21100 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 398309 impls, 1517 clqs
89.47/89.58 c (round 49) 6337 del vars, 21152 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 398383 impls, 1517 clqs
89.67/89.72 c (round 50) 6337 del vars, 21203 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 398383 impls, 1517 clqs
96.47/96.55 c (round 51) 6387 del vars, 21203 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 404855 impls, 1517 clqs
96.57/96.67 c (round 52) 6387 del vars, 21252 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 404855 impls, 1517 clqs
96.68/96.80 c (round 53) 6387 del vars, 21301 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 404855 impls, 1517 clqs
104.27/104.32 c (102.6s) probing: 6000/15510 (38.7%) - 110 fixings, 701 aggregations, 74618 implications, 6 bound changes
105.67/105.77 c (round 54) 6437 del vars, 21301 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 412547 impls, 1515 clqs
105.77/105.83 c (round 55) 6438 del vars, 21356 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 412553 impls, 1515 clqs
105.87/105.97 c (round 56) 6438 del vars, 21407 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 412553 impls, 1515 clqs
113.17/113.26 c (round 57) 6488 del vars, 21407 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 415573 impls, 1515 clqs
113.28/113.38 c (round 58) 6488 del vars, 21454 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 415573 impls, 1515 clqs
113.47/113.52 c (round 59) 6488 del vars, 21510 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 415573 impls, 1515 clqs
119.37/119.41 c (117.7s) probing: 7000/15510 (45.1%) - 110 fixings, 808 aggregations, 77526 implications, 6 bound changes
119.47/119.54 c (round 60) 6538 del vars, 21510 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 418467 impls, 1515 clqs
119.57/119.65 c (round 61) 6538 del vars, 21560 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 418467 impls, 1515 clqs
119.67/119.79 c (round 62) 6538 del vars, 21610 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 418467 impls, 1515 clqs
123.86/123.92 c (round 63) 6588 del vars, 21610 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 420497 impls, 1515 clqs
123.96/124.04 c (round 64) 6588 del vars, 21658 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 420497 impls, 1515 clqs
124.06/124.18 c (round 65) 6588 del vars, 21708 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 420497 impls, 1515 clqs
128.96/129.00 c (round 66) 6638 del vars, 21708 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 426863 impls, 1515 clqs
129.16/129.21 c (round 67) 6639 del vars, 21802 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 426879 impls, 1515 clqs
133.86/133.98 c (round 68) 6689 del vars, 21803 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 433205 impls, 1515 clqs
133.96/134.09 c (round 69) 6689 del vars, 21853 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 433205 impls, 1515 clqs
134.17/134.21 c (round 70) 6689 del vars, 21953 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 433205 impls, 1515 clqs
134.96/135.05 c (133.4s) probing: 8000/15510 (51.6%) - 111 fixings, 961 aggregations, 85234 implications, 6 bound changes
139.36/139.40 c (round 71) 6739 del vars, 21953 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 435851 impls, 1515 clqs
139.46/139.52 c (round 72) 6739 del vars, 22001 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 435851 impls, 1515 clqs
139.57/139.65 c (round 73) 6739 del vars, 22053 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 435851 impls, 1515 clqs
143.66/143.71 c (round 74) 6789 del vars, 22053 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 437737 impls, 1515 clqs
143.76/143.83 c (round 75) 6789 del vars, 22114 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 437737 impls, 1515 clqs
143.86/143.99 c (round 76) 6789 del vars, 22167 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 437737 impls, 1515 clqs
149.06/149.19 c (round 77) 6839 del vars, 22167 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 442029 impls, 1515 clqs
149.26/149.33 c (round 78) 6839 del vars, 22235 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 442029 impls, 1515 clqs
149.36/149.47 c (round 79) 6839 del vars, 22279 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 442029 impls, 1515 clqs
150.36/150.45 c (148.8s) probing: 9000/15510 (58.0%) - 117 fixings, 1112 aggregations, 89517 implications, 6 bound changes
155.75/155.85 c (round 80) 6889 del vars, 22279 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 451519 impls, 1515 clqs
155.85/155.98 c (round 81) 6889 del vars, 22325 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 451519 impls, 1515 clqs
156.06/156.12 c (round 82) 6889 del vars, 22377 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 451519 impls, 1515 clqs
161.05/161.13 c (round 83) 6939 del vars, 22379 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 455245 impls, 1515 clqs
161.25/161.30 c (round 84) 6939 del vars, 22427 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 455245 impls, 1515 clqs
161.35/161.44 c (round 85) 6939 del vars, 22482 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 455245 impls, 1515 clqs
164.75/164.81 c (round 86) 6989 del vars, 22482 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 463017 impls, 1515 clqs
164.86/164.93 c (round 87) 6989 del vars, 22531 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 463017 impls, 1515 clqs
164.96/165.07 c (round 88) 6989 del vars, 22581 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 463017 impls, 1515 clqs
165.96/166.05 c (164.4s) probing: 10000/15510 (64.5%) - 117 fixings, 1258 aggregations, 101155 implications, 6 bound changes
168.35/168.41 c (round 89) 7039 del vars, 22581 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 464831 impls, 1515 clqs
168.45/168.53 c (round 90) 7039 del vars, 22628 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 464831 impls, 1515 clqs
168.55/168.67 c (round 91) 7039 del vars, 22679 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 464831 impls, 1515 clqs
173.66/173.70 c (round 92) 7089 del vars, 22679 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 478759 impls, 1514 clqs
173.66/173.76 c (round 93) 7090 del vars, 22740 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 478763 impls, 1514 clqs
173.85/173.91 c (round 94) 7090 del vars, 22784 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 478763 impls, 1514 clqs
179.45/179.57 c (round 95) 7140 del vars, 22784 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 495401 impls, 1514 clqs
179.65/179.70 c (round 96) 7140 del vars, 22848 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 495401 impls, 1514 clqs
179.75/179.84 c (round 97) 7140 del vars, 22892 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 495401 impls, 1514 clqs
181.35/181.46 c (179.8s) probing: 11000/15510 (70.9%) - 127 fixings, 1412 aggregations, 118694 implications, 6 bound changes
183.55/183.61 c (round 98) 7190 del vars, 22892 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 496557 impls, 1513 clqs
183.55/183.68 c (round 99) 7191 del vars, 22946 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 496561 impls, 1513 clqs
183.75/183.83 c (round 100) 7191 del vars, 22994 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 496561 impls, 1513 clqs
188.05/188.18 c (round 101) 7241 del vars, 22994 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 499909 impls, 1513 clqs
188.25/188.31 c (round 102) 7242 del vars, 23045 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 499911 impls, 1513 clqs
192.54/192.66 c (round 103) 7292 del vars, 23046 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 508877 impls, 1513 clqs
192.64/192.79 c (round 104) 7292 del vars, 23098 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 508877 impls, 1513 clqs
192.84/192.93 c (round 105) 7292 del vars, 23193 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 508877 impls, 1513 clqs
196.44/196.55 c (194.9s) probing: 12000/15510 (77.4%) - 134 fixings, 1578 aggregations, 129487 implications, 6 bound changes
196.94/197.09 c (round 106) 7342 del vars, 23193 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 520825 impls, 1513 clqs
197.14/197.22 c (round 107) 7342 del vars, 23257 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 520825 impls, 1513 clqs
197.24/197.36 c (round 108) 7342 del vars, 23302 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 520825 impls, 1513 clqs
202.94/203.09 c (round 109) 7392 del vars, 23302 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 529337 impls, 1513 clqs
203.14/203.22 c (round 110) 7392 del vars, 23382 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 529337 impls, 1513 clqs
203.24/203.36 c (round 111) 7392 del vars, 23410 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 529337 impls, 1513 clqs
209.64/209.80 c (round 112) 7442 del vars, 23411 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 553973 impls, 1513 clqs
209.84/209.95 c (round 113) 7443 del vars, 23489 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 553989 impls, 1513 clqs
211.84/211.93 c (210.3s) probing: 13000/15510 (83.8%) - 162 fixings, 1661 aggregations, 153262 implications, 6 bound changes
226.94/227.04 c (225.4s) probing: 14000/15510 (90.3%) - 184 fixings, 1682 aggregations, 182369 implications, 6 bound changes
227.64/227.79 c (round 114) 7493 del vars, 23490 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 614771 impls, 1513 clqs
227.83/227.92 c (round 115) 7502 del vars, 23580 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 614821 impls, 1513 clqs
227.93/228.05 c (round 116) 7502 del vars, 23589 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 614821 impls, 1513 clqs
228.03/228.19 c (round 117) 7502 del vars, 23642 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 614821 impls, 1513 clqs
242.94/243.07 c (241.4s) probing: 15000/15510 (96.7%) - 207 fixings, 1699 aggregations, 203513 implications, 6 bound changes
247.23/247.38 c (round 118) 7552 del vars, 23643 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 664079 impls, 1513 clqs
247.34/247.44 c (round 119) 7576 del vars, 23732 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 664137 impls, 1513 clqs
247.43/247.55 c (round 120) 7576 del vars, 23757 del conss, 153 chg bounds, 11 chg sides, 26 chg coeffs, 81651 upgd conss, 664137 impls, 1513 clqs
249.23/249.38 c (247.7s) probing: 15386/15510 (99.2%) - 221 fixings, 1699 aggregations, 212478 implications, 6 bound changes
249.23/249.38 c (247.7s) probing aborted: 100/100 successive totally useless probings
249.23/249.38 c presolving (121 rounds):
249.23/249.38 c 7577 deleted vars, 23763 deleted constraints, 153 tightened bounds, 0 added holes, 11 changed sides, 26 changed coefficients
249.23/249.38 c 665025 implications, 1513 cliques
249.23/249.38 c presolved problem has 13524 variables (13524 bin, 0 int, 0 impl, 0 cont) and 76270 constraints
249.23/249.38 c 20554 constraints of type <setppc>
249.23/249.38 c 55716 constraints of type <logicor>
249.23/249.38 c transformed objective value is always integral (scale: 1)
249.23/249.38 c Presolving Time: 247.34
249.23/249.38 c - non default parameters ----------------------------------------------------------------------
249.23/249.38 c # SCIP version 1.2.1.3
249.23/249.38 c
249.23/249.38 c # frequency for displaying node information lines
249.23/249.38 c # [type: int, range: [-1,2147483647], default: 100]
249.23/249.38 c display/freq = 10000
249.23/249.38 c
249.23/249.38 c # maximal time in seconds to run
249.23/249.38 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
249.23/249.38 c limits/time = 1788.34
249.23/249.38 c
249.23/249.38 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
249.23/249.38 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
249.23/249.38 c limits/memory = 1620
249.23/249.38 c
249.23/249.38 c # default clock type (1: CPU user seconds, 2: wall clock time)
249.23/249.38 c # [type: int, range: [1,2], default: 1]
249.23/249.38 c timing/clocktype = 2
249.23/249.38 c
249.23/249.38 c # should presolving try to simplify inequalities
249.23/249.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
249.23/249.38 c constraints/linear/simplifyinequalities = TRUE
249.23/249.38 c
249.23/249.38 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
249.23/249.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
249.23/249.38 c constraints/indicator/addCouplingCons = TRUE
249.23/249.38 c
249.23/249.38 c # should presolving try to simplify knapsacks
249.23/249.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
249.23/249.38 c constraints/knapsack/simplifyinequalities = TRUE
249.23/249.38 c
249.23/249.38 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
249.23/249.38 c # [type: int, range: [-1,2147483647], default: -1]
249.23/249.38 c separating/rapidlearning/freq = 0
249.23/249.38 c
249.23/249.38 c -----------------------------------------------------------------------------------------------
249.23/249.38 c start solving
249.33/249.41 c
275.62/275.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
275.62/275.74 c 274s| 1 | 2 | 12922 | - | 165M| 0 | - | 13k| 76k| 13k| 70k| 0 | 0 | 0 | 7.131620e+11 | -- | Inf
1790.55/1791.00 c
1790.55/1791.00 c SCIP Status : solving was interrupted [time limit reached]
1790.55/1791.00 c Solving Time (sec) : 1789.33
1790.55/1791.00 c Solving Nodes : 143
1790.55/1791.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1790.55/1791.00 c Dual Bound : +7.13291115708000e+11
1790.55/1791.00 c Gap : infinite
1790.55/1791.00 s UNKNOWN
1790.55/1791.00 c SCIP Status : solving was interrupted [time limit reached]
1790.55/1791.00 c Solving Time : 1789.33
1790.55/1791.00 c Original Problem :
1790.55/1791.00 c Problem name : HOME/instance-2704818-1278580193.opb
1790.55/1791.00 c Variables : 21101 (21101 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.55/1791.00 c Constraints : 100032 initial, 100032 maximal
1790.55/1791.00 c Presolved Problem :
1790.55/1791.00 c Problem name : t_HOME/instance-2704818-1278580193.opb
1790.55/1791.00 c Variables : 13524 (13524 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.55/1791.00 c Constraints : 76270 initial, 76270 maximal
1790.55/1791.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.55/1791.00 c trivial : 0.34 8 0 0 0 0 0 0 0
1790.55/1791.00 c dualfix : 0.39 4144 0 0 0 0 0 0 0
1790.55/1791.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.55/1791.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.55/1791.00 c implics : 0.64 0 97 0 0 0 0 0 0
1790.55/1791.00 c probing : 231.56 221 1699 0 6 0 0 0 0
1790.55/1791.00 c setppc : 3.11 0 0 0 0 0 4876 0 0
1790.55/1791.00 c linear : 1.17 139 1269 0 139 0 18381 11 26
1790.55/1791.00 c logicor : 9.65 0 0 0 8 0 506 0 0
1790.55/1791.00 c root node : - 0 - - 0 - - - -
1790.55/1791.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.55/1791.00 c integral : 0 0 0 0 0 0 0 0 0 0
1790.55/1791.00 c setppc : 20554 0 45450 0 142 20 3122 0 0 0
1790.55/1791.00 c logicor : 55716+ 0 38405 0 142 118 2693 0 0 0
1790.55/1791.00 c countsols : 0 0 0 0 142 0 0 0 0 0
1790.55/1791.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.55/1791.00 c integral : 0.00 0.00 0.00 0.00 0.00
1790.55/1791.00 c setppc : 172.34 0.00 169.86 0.00 2.48
1790.55/1791.00 c logicor : 11.28 0.00 3.76 0.00 7.52
1790.55/1791.00 c countsols : 0.00 0.00 0.00 0.00 0.00
1790.55/1791.00 c Propagators : Time Calls Cutoffs DomReds
1790.55/1791.00 c vbounds : 0.05 2 0 0
1790.55/1791.00 c rootredcost : 0.04 0 0 0
1790.55/1791.00 c pseudoobj : 0.44 333 0 0
1790.55/1791.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.55/1791.00 c propagation : 0.00 1 1 1 3.0 0 0.0 -
1790.55/1791.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1790.55/1791.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.55/1791.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.55/1791.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.55/1791.00 c applied globally : - - - 1 3.0 - - -
1790.55/1791.00 c applied locally : - - - 0 0.0 - - -
1790.55/1791.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.55/1791.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1790.55/1791.00 c redcost : 0.00 0 0 0 0 0
1790.55/1791.00 c impliedbounds : 0.00 0 0 0 0 0
1790.55/1791.00 c intobj : 0.00 0 0 0 0 0
1790.55/1791.00 c cgmip : 0.00 0 0 0 0 0
1790.55/1791.00 c gomory : 0.00 0 0 0 0 0
1790.55/1791.00 c strongcg : 0.00 0 0 0 0 0
1790.55/1791.00 c cmir : 0.00 0 0 0 0 0
1790.55/1791.00 c flowcover : 0.00 0 0 0 0 0
1790.55/1791.00 c clique : 0.00 0 0 0 0 0
1790.55/1791.00 c zerohalf : 0.00 0 0 0 0 0
1790.55/1791.00 c mcf : 0.00 0 0 0 0 0
1790.55/1791.00 c rapidlearning : 0.00 0 0 0 0 0
1790.55/1791.00 c Pricers : Time Calls Vars
1790.55/1791.00 c problem variables: 0.00 0 0
1790.55/1791.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.55/1791.00 c relpscost : 0.00 0 0 0 0 0 0
1790.55/1791.00 c pscost : 0.00 0 0 0 0 0 0
1790.55/1791.00 c inference : 1.04 142 0 0 0 0 284
1790.55/1791.00 c mostinf : 0.00 0 0 0 0 0 0
1790.55/1791.00 c leastinf : 0.00 0 0 0 0 0 0
1790.55/1791.00 c fullstrong : 0.00 0 0 0 0 0 0
1790.55/1791.00 c allfullstrong : 0.00 0 0 0 0 0 0
1790.55/1791.00 c random : 0.00 0 0 0 0 0 0
1790.55/1791.00 c Primal Heuristics : Time Calls Found
1790.55/1791.00 c LP solutions : 0.00 - 0
1790.55/1791.00 c pseudo solutions : 0.00 - 0
1790.55/1791.00 c oneopt : 0.00 0 0
1790.55/1791.00 c trivial : 0.08 2 0
1790.55/1791.00 c simplerounding : 0.00 0 0
1790.55/1791.00 c zirounding : 0.00 0 0
1790.55/1791.00 c rounding : 0.00 0 0
1790.55/1791.00 c shifting : 0.00 0 0
1790.55/1791.00 c intshifting : 0.00 0 0
1790.55/1791.00 c twoopt : 0.00 0 0
1790.55/1791.00 c fixandinfer : 0.00 0 0
1790.55/1791.00 c feaspump : 0.00 0 0
1790.55/1791.00 c coefdiving : 0.00 0 0
1790.55/1791.00 c pscostdiving : 0.00 0 0
1790.55/1791.00 c fracdiving : 0.00 0 0
1790.55/1791.00 c veclendiving : 0.00 0 0
1790.55/1791.00 c intdiving : 0.00 0 0
1790.55/1791.00 c actconsdiving : 0.00 0 0
1790.55/1791.00 c objpscostdiving : 0.00 0 0
1790.55/1791.00 c rootsoldiving : 0.00 0 0
1790.55/1791.00 c linesearchdiving : 0.00 0 0
1790.55/1791.00 c guideddiving : 0.00 0 0
1790.55/1791.00 c octane : 0.00 0 0
1790.55/1791.00 c rens : 0.00 0 0
1790.55/1791.00 c rins : 0.00 0 0
1790.55/1791.00 c localbranching : 0.00 0 0
1790.55/1791.00 c mutation : 0.00 0 0
1790.55/1791.00 c crossover : 0.00 0 0
1790.55/1791.00 c dins : 0.00 0 0
1790.55/1791.00 c undercover : 0.00 0 0
1790.55/1791.00 c nlp : 0.00 0 0
1790.55/1791.00 c trysol : 0.00 0 0
1790.55/1791.00 c LP : Time Calls Iterations Iter/call Iter/sec
1790.55/1791.00 c primal LP : 0.00 0 0 0.00 -
1790.55/1791.00 c dual LP : 1521.43 205 827989 4038.97 544.22
1790.55/1791.00 c lex dual LP : 0.00 0 0 0.00 -
1790.55/1791.00 c barrier LP : 0.00 0 0 0.00 -
1790.55/1791.00 c diving/probing LP: 0.00 0 0 0.00 -
1790.55/1791.00 c strong branching : 0.00 0 0 0.00 -
1790.55/1791.00 c (at root node) : - 0 0 0.00 -
1790.55/1791.00 c conflict analysis: 0.00 0 0 0.00 -
1790.55/1791.00 c B&B Tree :
1790.55/1791.00 c number of runs : 1
1790.55/1791.00 c nodes : 143
1790.55/1791.00 c nodes (total) : 143
1790.55/1791.00 c nodes left : 142
1790.55/1791.00 c max depth : 27
1790.55/1791.00 c max depth (total): 27
1790.55/1791.00 c backtracks : 11 (7.7%)
1790.55/1791.00 c delayed cutoffs : 0
1790.55/1791.00 c repropagations : 5 (1 domain reductions, 0 cutoffs)
1790.55/1791.00 c avg switch length: 1.98
1790.55/1791.00 c switching time : 0.05
1790.55/1791.00 c Solution :
1790.55/1791.00 c Solutions found : 0 (0 improvements)
1790.55/1791.00 c Primal Bound : -
1790.55/1791.00 c Dual Bound : +7.13291115708000e+11
1790.55/1791.00 c Gap : infinite
1790.55/1791.00 c Root Dual Bound : +7.13161986533000e+11
1790.55/1791.00 c Root Iterations : 12922
1791.05/1791.55 c Time complete: 1791.1.