minimize
z: -0.067526 x1 -0.443697 x2 -0.245652 x3 -0.039244 x4 -0.170053 x5 -0.107182 x6 -0.164309 x7 -0.079877 x8 -0.083525 x9 -0.042542 x10 -0.149721 x11 -0.073411 x12 -0.062683 x13 -0.041302 x14 -0.090979 x15 -0.046144 x16 -0.025028 x17 
subject to
bw: 9 x1 + 8 x2 + 8 x3 + 8 x4 + 8 x5 + 8 x6 + 8 x7 + 8 x8 + 8 x9 + 8 x10 + 8 x11 + 8 x12 + 8 x13 + 8 x14 + 8 x15 + 8 x16 + 8 x17  >= 9
r_1: x1 + x2  <= 1
r_2: x1 + x3  <= 1
r_3: x1 + x4  <= 1
r_4: x1 + x5  <= 1
r_5: x1 + x6  <= 1
r_6: x1 + x7  <= 1
r_7: x1 + x9  <= 1
r_8: x1 + x10  <= 1
r_9: x1 + x11  <= 1
r_10: x1 + x12  <= 1
r_11: x1 + x13  <= 1
r_12: x1 + x14  <= 1
r_13: x1 + x15  <= 1
r_14: x1 + x16  <= 1
r_15: x1 + x17  <= 1
r_16: x2 + x3  <= 1
r_17: x2 + x4  <= 1
r_18: x2 + x5  <= 1
r_19: x2 + x8  <= 1
r_20: x2 + x10  <= 1
r_21: x2 + x12  <= 1
r_22: x2 + x13  <= 1
r_23: x2 + x16  <= 1
r_24: x2 + x17  <= 1
r_25: x3 + x4  <= 1
r_26: x3 + x6  <= 1
r_27: x3 + x7  <= 1
r_28: x3 + x8  <= 1
r_29: x3 + x9  <= 1
r_30: x3 + x10  <= 1
r_31: x3 + x11  <= 1
r_32: x3 + x12  <= 1
r_33: x3 + x14  <= 1
r_34: x3 + x15  <= 1
r_35: x3 + x16  <= 1
r_36: x4 + x5  <= 1
r_37: x4 + x6  <= 1
r_38: x4 + x7  <= 1
r_39: x4 + x8  <= 1
r_40: x4 + x9  <= 1
r_41: x4 + x10  <= 1
r_42: x4 + x11  <= 1
r_43: x4 + x12  <= 1
r_44: x4 + x13  <= 1
r_45: x4 + x14  <= 1
r_46: x4 + x15  <= 1
r_47: x4 + x16  <= 1
r_48: x4 + x17  <= 1
r_49: x5 + x6  <= 1
r_50: x5 + x8  <= 1
r_51: x5 + x9  <= 1
r_52: x5 + x10  <= 1
r_53: x5 + x11  <= 1
r_54: x5 + x12  <= 1
r_55: x5 + x13  <= 1
r_56: x5 + x14  <= 1
r_57: x5 + x16  <= 1
r_58: x5 + x17  <= 1
r_59: x6 + x7  <= 1
r_60: x6 + x8  <= 1
r_61: x6 + x9  <= 1
r_62: x6 + x10  <= 1
r_63: x6 + x11  <= 1
r_64: x6 + x12  <= 1
r_65: x6 + x13  <= 1
r_66: x6 + x14  <= 1
r_67: x6 + x15  <= 1
r_68: x6 + x16  <= 1
r_69: x6 + x17  <= 1
r_70: x7 + x8  <= 1
r_71: x7 + x9  <= 1
r_72: x7 + x10  <= 1
r_73: x7 + x11  <= 1
r_74: x7 + x13  <= 1
r_75: x7 + x14  <= 1
r_76: x7 + x15  <= 1
r_77: x7 + x16  <= 1
r_78: x7 + x17  <= 1
r_79: x8 + x9  <= 1
r_80: x8 + x10  <= 1
r_81: x8 + x12  <= 1
r_82: x8 + x13  <= 1
r_83: x8 + x14  <= 1
r_84: x8 + x15  <= 1
r_85: x8 + x16  <= 1
r_86: x8 + x17  <= 1
r_87: x9 + x10  <= 1
r_88: x9 + x11  <= 1
r_89: x9 + x12  <= 1
r_90: x9 + x13  <= 1
r_91: x9 + x14  <= 1
r_92: x9 + x15  <= 1
r_93: x9 + x16  <= 1
r_94: x9 + x17  <= 1
r_95: x10 + x11  <= 1
r_96: x10 + x12  <= 1
r_97: x10 + x13  <= 1
r_98: x10 + x14  <= 1
r_99: x10 + x15  <= 1
r_100: x10 + x16  <= 1
r_101: x10 + x17  <= 1
r_102: x11 + x12  <= 1
r_103: x11 + x13  <= 1
r_104: x11 + x14  <= 1
r_105: x11 + x15  <= 1
r_106: x11 + x16  <= 1
r_107: x11 + x17  <= 1
r_108: x12 + x13  <= 1
r_109: x12 + x14  <= 1
r_110: x12 + x15  <= 1
r_111: x12 + x16  <= 1
r_112: x12 + x17  <= 1
r_113: x13 + x14  <= 1
r_114: x13 + x15  <= 1
r_115: x13 + x16  <= 1
r_116: x13 + x17  <= 1
r_117: x14 + x15  <= 1
r_118: x14 + x16  <= 1
r_119: x14 + x17  <= 1
r_120: x15 + x16  <= 1
r_121: x15 + x17  <= 1
r_122: x16 + x17  <= 1
bin x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 

End