STS27 milp HiGHS LP short = 1 c2: x1 + x3 + x5 >= 1 c3: x1 + x2 + x6 >= 1 c4: x5 + x6 + x7 >= 1 c5: x4 + x6 + x8 >= 1 c6: x4 + x5 + x9 >= 1 c7: x1 + x8 + x9 >= 1 c8: x2 + x7 + x9 >= 1 c9: x3 + x7 + x8 >= 1 c10: x1 + x4 + x7 >= 1 c11: x2 + x5 + x8 >= 1 c12: x3 + x6 + x9 >= 1 c13: x11 + x12 + x13 >= 1 c14: x10 + x12 + x14 >= 1 c15: x10 + x11 + x15 >= 1 c16: x14 + x15 + x16 >= 1 c17: x13 + x15 + x17 >= 1 c18: x13 + x14 + x18 >= 1 c19: x10 + x17 + x18 >= 1 c20: x11 + x16 + x18 >= 1 c21: x12 + x16 + x17 >= 1 c22: x10 + x13 + x16 >= 1 c23: x11 + x14 + x17 >= 1 c24: x12 + x15 + x18 >= 1 c25: x20 + x21 + x22 >= 1 c26: x19 + x21 + x23 >= 1 c27: x19 + x20 + x24 >= 1 c28: x23 + x24 + x25 >= 1 c29: x22 + x24 + x26 >= 1 c30: x22 + x23 + x27 >= 1 c31: x19 + x26 + x27 >= 1 c32: x20 + x25 + x27 >= 1 c33: x21 + x25 + x26 >= 1 c34: x19 + x22 + x25 >= 1 c35: x20 + x23 + x26 >= 1 c36: x21 + x24 + x27 >= 1 c37: x1 + x10 + x19 >= 1 c38: x1 + x11 + x24 >= 1 c39: x1 + x12 + x23 >= 1 c40: x1 + x13 + x25 >= 1 c41: x1 + x14 + x21 >= 1 c42: x1 + x15 + x20 >= 1 c43: x1 + x16 + x22 >= 1 c44: x1 + x17 + x27 >= 1 c45: x1 + x18 + x26 >= 1 c46: x2 + x10 + x24 >= 1 c47: x2 + x11 + x20 >= 1 c48: x2 + x12 + x22 >= 1 c49: x2 + x13 + x21 >= 1 c50: x2 + x14 + x26 >= 1 c51: x2 + x15 + x19 >= 1 c52: x2 + x16 + x27 >= 1 c53: x2 + x17 + x23 >= 1 c54: x2 + x18 + x25 >= 1 c55: x3 + x10 + x23 >= 1 c56: x3 + x11 + x22 >= 1 c57: x3 + x12 + x21 >= 1 c58: x3 + x13 + x20 >= 1 c59: x3 + x14 + x19 >= 1 c60: x3 + x15 + x27 >= 1 c61: x3 + x16 + x26 >= 1 c62: x3 + x17 + x25 >= 1 c63: x3 + x18 + x24 >= 1 c64: x4 + x10 + x25 >= 1 c65: x4 + x11 + x21 >= 1 c66: x4 + x12 + x20 >= 1 c67: x4 + x13 + x22 >= 1 c68: x4 + x14 + x27 >= 1 c69: x4 + x15 + x26 >= 1 c70: x4 + x16 + x19 >= 1 c71: x4 + x17 + x24 >= 1 c72: x4 + x18 + x23 >= 1 c73: x5 + x10 + x21 >= 1 c74: x5 + x11 + x26 >= 1 c75: x5 + x12 + x19 >= 1 c76: x5 + x13 + x27 >= 1 c77: x5 + x14 + x23 >= 1 c78: x5 + x15 + x25 >= 1 c79: x5 + x16 + x24 >= 1 c80: x5 + x17 + x20 >= 1 c81: x5 + x18 + x22 >= 1 c82: x6 + x10 + x20 >= 1 c83: x6 + x11 + x19 >= 1 c84: x6 + x12 + x27 >= 1 c85: x6 + x13 + x26 >= 1 c86: x6 + x14 + x25 >= 1 c87: x6 + x15 + x24 >= 1 c88: x6 + x16 + x23 >= 1 c89: x6 + x17 + x22 >= 1 c90: x6 + x18 + x21 >= 1 c91: x7 + x10 + x22 >= 1 c92: x7 + x11 + x27 >= 1 c93: x7 + x12 + x26 >= 1 c94: x7 + x13 + x19 >= 1 c95: x7 + x14 + x24 >= 1 c96: x7 + x15 + x23 >= 1 c97: x7 + x16 + x25 >= 1 c98: x7 + x17 + x21 >= 1 c99: x7 + x18 + x20 >= 1 c100: x8 + x10 + x27 >= 1 c101: x8 + x11 + x23 >= 1 c102: x8 + x12 + x25 >= 1 c103: x8 + x13 + x24 >= 1 c104: x8 + x14 + x20 >= 1 c105: x8 + x15 + x22 >= 1 c106: x8 + x16 + x21 >= 1 c107: x8 + x17 + x26 >= 1 c108: x8 + x18 + x19 >= 1 c109: x9 + x10 + x26 >= 1 c110: x9 + x11 + x25 >= 1 c111: x9 + x12 + x24 >= 1 c112: x9 + x13 + x23 >= 1 c113: x9 + x14 + x22 >= 1 c114: x9 + x15 + x21 >= 1 c115: x9 + x16 + x20 >= 1 c116: x9 + x17 + x19 >= 1 c117: x9 + x18 + x27 >= 1 Bounds 0 <= x1 <= 1 0 <= x2 <= 1 0 <= x3 <= 1 0 <= x4 <= 1 0 <= x5 <= 1 0 <= x6 <= 1 0 <= x7 <= 1 0 <= x8 <= 1 0 <= x9 <= 1 0 <= x10 <= 1 0 <= x11 <= 1 0 <= x12 <= 1 0 <= x13 <= 1 0 <= x14 <= 1 0 <= x15 <= 1 0 <= x16 <= 1 0 <= x17 <= 1 0 <= x18 <= 1 0 <= x19 <= 1 0 <= x20 <= 1 0 <= x21 <= 1 0 <= x22 <= 1 0 <= x23 <= 1 0 <= x24 <= 1 0 <= x25 <= 1 0 <= x26 <= 1 0 <= x27 <= 1 Binaries x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 End ]]>