\ Equation counts \ Total E G L N X C B \ 135 81 28 26 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 112 88 24 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 313 299 14 0 \ Minimize obj: 0 b1 + 0 b2 + 0 b3 + 0 b4 + 0 b5 + 0 b6 + 0 b7 + 0 b8 + 0 b9 + 0 b10 + 0 b11 + 0 b12 + 0 b13 + 0 b14 + 0 b15 + 0 b16 + 0 b17 + 0 b18 + 0 b19 + 0 b20 + 0 b21 + 0 b22 + 0 b23 + 0 b24 + 0 x25 + 0 x26 + 0 x27 + 0 x28 + 0 x29 + 0 x30 + 0 x31 + 0 x32 + 0 x33 + 0 x34 + 0 x35 + 0 x36 + 0 x37 + 0 x38 + 0 x39 + 0 x40 + 0 x41 + 0 x42 + 0 x43 + 0 x44 + 0 x45 + 0 x46 + 0 x47 + 0 x48 + 0 x49 + 0 x50 + 0 x51 + 0 x52 + 0 x53 + 0 x54 + 0 x55 + 0 x56 + 0 x57 + 0 x58 + 0 x59 + 0 x60 + 0 x61 + 0 x62 + 0 x63 + 0 x64 + 0 x65 + 0 x66 + 0 x67 + 0 x68 + 0 x69 + 0 x70 + 0 x71 + 0 x72 + 0 x73 + 0 x74 + 0 x75 + 0 x76 + 0 x77 + 0 x78 + 0 x79 + 0 x80 + 0 x81 + 0 x82 + 0 x83 + 0 x84 + 0 x85 + 0 x86 + 0 x87 + 0 x88 + 0 x89 + 0 x90 + 0 x91 + 0 x92 + 0 x93 + 0 x94 + 0 x95 + 0 x96 + 0 x97 + 0 x98 + 0 x99 + 0 x100 + 0 x101 + 0 x102 + 0 x103 + 0 x104 + 0 x105 + 0 x106 + 0 x107 + 0 x108 + 0 x109 + 0 x110 + 0 x111 - x112 Subject To e1: - x25 + x27 + [ - x31 * x36 ] = 0 e2: - x26 + x28 + [ - x32 * x36 ] = 0 e3: - x25 + x29 + [ - x31 * x37 - x33 * x35 ] = 0 e4: - x26 + x30 + [ - x32 * x37 - x34 * x35 ] = 0 e5: [ x31^2 + x32^2 ] = 1 e6: x32 + x33 = 0 e7: - x31 + x34 = 0 e8: - x36 + x112 <= 0 e9: - x35 + x112 <= 0 e10: - x25 - x50 = 0 e11: - x25 + x39 = 1 e12: - x25 + .8944 x40 - .4472 x52 = 1 e13: - x25 - .8944 x41 - .4772 x53 = 1 e14: - x27 - x54 = 0 e15: - x27 + x43 = 1 e16: - x27 + .8944 x44 - .4472 x56 = 1 e17: - x27 - .8944 x45 - .4772 x57 = 1 e18: - x29 - x58 = 0 e19: - x29 + x47 = 1 e20: - x29 + .8944 x48 - .4472 x60 = 1 e21: - x29 - .8944 x49 - .4772 x61 = 1 e22: - x26 + x38 = 1 e23: - x26 + x51 = 0 e24: - x26 + .4472 x40 + .8944 x52 = 0 e25: - x26 + .4772 x41 - .8944 x53 = 0 e26: - x28 + x42 = 1 e27: - x28 + x55 = 0 e28: - x28 + .4472 x44 + .8944 x56 = 0 e29: - x28 + .4772 x45 - .8944 x57 = 0 e30: - x30 + x46 = 1 e31: - x30 + x59 = 0 e32: - x30 + .4472 x48 + .8944 x60 = 0 e33: - x30 + .4772 x49 - .8944 x61 = 0 e34: - 3.5 b1 - x62 <= 0 e35: - 3.5 b3 - x64 <= 0 e36: - 3.5 b5 - x66 <= 0 e37: - 3.5 b7 - x68 <= 0 e38: - 3.5 b9 - x70 <= 0 e39: - 3.5 b11 - x72 <= 0 e40: - 3.5 b13 - x74 <= 0 e41: - 3.5 b15 - x76 <= 0 e42: - 3.5 b17 - x78 <= 0 e43: - 3.5 b19 - x80 <= 0 e44: - 3.5 b21 - x82 <= 0 e45: - 3.5 b23 - x84 <= 0 e46: - x63 <= 0 e47: - x65 <= 0 e48: - x67 <= 0 e49: - x69 <= 0 e50: - x71 <= 0 e51: - x73 <= 0 e52: - x75 <= 0 e53: - x77 <= 0 e54: - x79 <= 0 e55: - x81 <= 0 e56: - x83 <= 0 e57: - x85 <= 0 e58: - x62 >= 0 e59: - x64 >= 0 e60: - x66 >= 0 e61: - x68 >= 0 e62: - x70 >= 0 e63: - x72 >= 0 e64: - x74 >= 0 e65: - x76 >= 0 e66: - x78 >= 0 e67: - x80 >= 0 e68: - x82 >= 0 e69: - x84 >= 0 e70: 3.5 b2 - x63 >= 0 e71: 3.5 b4 - x65 >= 0 e72: 3.5 b6 - x67 >= 0 e73: 3.5 b8 - x69 >= 0 e74: 3.5 b10 - x71 >= 0 e75: 3.5 b12 - x73 >= 0 e76: 3.5 b14 - x75 >= 0 e77: 3.5 b16 - x77 >= 0 e78: 3.5 b18 - x79 >= 0 e79: 3.5 b20 - x81 >= 0 e80: 3.5 b22 - x83 >= 0 e81: 3.5 b24 - x85 >= 0 e82: b1 + b2 = 1 e83: b3 + b4 = 1 e84: b5 + b6 = 1 e85: b7 + b8 = 1 e86: b9 + b10 = 1 e87: b11 + b12 = 1 e88: b13 + b14 = 1 e89: b15 + b16 = 1 e90: b17 + b18 = 1 e91: b19 + b20 = 1 e92: b21 + b22 = 1 e93: b23 + b24 = 1 e94: x50 - x62 - x63 = 0 e95: x51 - x64 - x65 = 0 e96: x52 - x66 - x67 = 0 e97: x53 - x68 - x69 = 0 e98: x54 - x70 - x71 = 0 e99: x55 - x72 - x73 = 0 e100: x56 - x74 - x75 = 0 e101: x57 - x76 - x77 = 0 e102: x58 - x78 - x79 = 0 e103: x59 - x80 - x81 = 0 e104: x60 - x82 - x83 = 0 e105: x61 - x84 - x85 = 0 e106: - x63 + x86 = 0 e107: - x65 + x87 = 0 e108: - x67 + x88 = 0 e109: - x69 + x89 = 0 e110: - x71 + x90 = 0 e111: - x73 + x91 = 0 e112: - x75 + x92 = 0 e113: - x77 + x93 = 0 e114: - x79 + x94 = 0 e115: - x81 + x95 = 0 e116: - x83 + x96 = 0 e117: - x85 + x97 = 0 e118: - x50 - x54 - x58 + x98 = 0 e119: - x51 - x55 - x59 + x99 = 0 e120: - x52 - x56 - x60 + x100 = 0 e121: - x53 - x57 - x61 + x101 = 0 e122: - x86 - x90 - x94 + x102 = 0 e123: - x87 - x91 - x95 + x103 = 0 e124: - x88 - x92 - x96 + x104 = 0 e125: - x89 - x93 - x97 + x105 = 0 e126: x102 >= 0 e127: x103 >= 0 e128: x104 >= 0 e129: x105 >= 0 e130: - x50 - x51 - x52 - x53 + x106 = 0 e131: - x54 - x55 - x56 - x57 + x107 = 0 e132: - x58 - x59 - x60 - x61 + x108 = 0 e133: - x86 - x87 - x88 - x89 + x109 = 0 e134: - x90 - x91 - x92 - x93 + x110 = 0 e135: - x94 - x95 - x96 - x97 + x111 = 0 Bounds -1 <= x25 <= 1 -1 <= x26 <= 1 -1 <= x27 <= 1 -1 <= x28 <= 1 -1 <= x29 <= 1 -1 <= x30 <= 1 -1 <= x31 <= 1 -1 <= x32 <= 1 -1 <= x33 <= 1 -1 <= x34 <= 1 x35 <= 3 x36 <= 3 x37 <= 3 -3 <= x38 <= 3 -3 <= x39 <= 3 -3 <= x40 <= 3 -3 <= x41 <= 3 -3 <= x42 <= 3 -3 <= x43 <= 3 -3 <= x44 <= 3 -inf <= x45 <= 3 -3 <= x46 <= 3 -3 <= x47 <= 3 -3 <= x48 <= 3 -3 <= x49 <= 3 -3 <= x50 <= 3 -3 <= x51 <= 3 -3 <= x52 <= 3 -3 <= x53 <= 3 -3 <= x54 <= 3 -3 <= x55 <= 3 -3 <= x56 <= 3 -inf <= x57 <= 3 -3 <= x58 <= 3 -3 <= x59 <= 3 -3 <= x60 <= 3 -3 <= x61 <= 3 -3 <= x62 <= 0 x63 <= 3 -3 <= x64 <= 0 x65 <= 3 -3 <= x66 <= 0 x67 <= 3 -3 <= x68 <= 0 x69 <= 3 -3 <= x70 <= 0 x71 <= 3 -3 <= x72 <= 0 x73 <= 3 -3 <= x74 <= 0 x75 <= 3 -3 <= x76 <= 0 x77 <= 3 -3 <= x78 <= 0 x79 <= 3 -3 <= x80 <= 0 x81 <= 3 -3 <= x82 <= 0 x83 <= 3 -3 <= x84 <= 0 x85 <= 3 x86 <= 3 x87 <= 3 x88 <= 3 x89 <= 3 x90 <= 3 x91 <= 3 x92 <= 3 x93 <= 3 x94 <= 3 x95 <= 3 x96 <= 3 x97 <= 3 -6 <= x98 <= 6 -6 <= x99 <= 6 -6 <= x100 -6 <= x101 x102 <= 6 x103 <= 6 -6 <= x106 <= 6 -6 <= x107 <= 6 -6 <= x108 <= 6 x109 <= 6 x110 <= 6 x111 <= 6 x112 <= 3 Binary b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16 b17 b18 b19 b20 b21 b22 b23 b24 End