\ Equation counts \ Total E G L N X C B \ 48 36 0 12 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 43 43 0 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 156 114 42 0 \ Minimize obj: 0 x1 + 0 x2 + 0 x3 + 0 x4 + 0 x5 + 0 x6 + 0 x7 + 0 x8 + 0 x9 + 0 x10 + 0 x11 + 0 x12 + 0 x13 + 0 x14 + 0 x15 + 0 x16 + 0 x17 + 0 x18 + 0 x19 + 0 x20 + 0 x21 + 0 x22 + 0 x23 + 0 x24 + 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 + objvar Subject To e1: - x1 + objvar = -1.16039816339745 e2: x1 + [ - x41 * x42 ] = 0 e3: x29 - x41 <= -.5 e4: x30 - x42 <= -.5 e5: - .25 x31 - .25 x33 - .25 x35 - .25 x37 + x39 = 0 e6: - .25 x32 - .25 x34 - .25 x36 - .25 x38 + x40 = 0 e7: [ x2^2 + x3^2 ] = 1 e8: x31 - x41 <= 0 e9: x32 - x42 <= 0 e10: x33 - x41 <= 0 e11: x34 - x42 <= 0 e12: x35 - x41 <= 0 e13: x36 - x42 <= 0 e14: x37 - x41 <= 0 e15: x38 - x42 <= 0 e16: .25 x2 + .375 x3 + x31 - x39 = 0 e17: - .25 x2 + .375 x3 + x33 - x39 = 0 e18: - .25 x2 - .375 x3 + x35 - x39 = 0 e19: .25 x2 - .375 x3 + x37 - x39 = 0 e20: - .375 x2 + .25 x3 + x32 - x40 = 0 e21: - .375 x2 - .25 x3 + x34 - x40 = 0 e22: .375 x2 - .25 x3 + x36 - x40 = 0 e23: .375 x2 + .25 x3 + x38 - x40 = 0 e24: [ x15^2 + x16^2 ] = 1 e25: - x16 + x17 = 0 e26: x15 + x18 = 0 e27: x4 + x19 - x31 + [ x10 * x15 ] = 0 e28: x5 + x20 - x32 + [ x10 * x16 ] = 0 e29: x4 + x21 - x33 + [ x11 * x15 ] = 0 e30: x5 + x22 - x34 + [ x11 * x16 ] = 0 e31: x4 + x23 - x35 + [ x12 * x15 ] = 0 e32: x5 + x24 - x36 + [ x12 * x16 ] = 0 e33: x4 + x25 - x37 + [ x13 * x15 ] = 0 e34: x5 + x26 - x38 + [ x13 * x16 ] = 0 e35: x4 + x27 - x29 + [ x14 * x15 ] = 0 e36: x5 + x28 - x30 + [ x14 * x16 ] = 0 e37: x19 + [ - x6 * x17 ] = 0 e38: x20 + [ - x6 * x18 ] = 0 e39: x21 + [ - x7 * x17 ] = 0 e40: x22 + [ - x7 * x18 ] = 0 e41: x23 + [ - x8 * x17 ] = 0 e42: x24 + [ - x8 * x18 ] = 0 e43: x25 + [ - x9 * x17 ] = 0 e44: x26 + [ - x9 * x18 ] = 0 e45: .5 x17 + x27 = 0 e46: .5 x18 + x28 = 0 e47: x29 <= 1.5 e48: x30 <= 1.25 Bounds .25 <= x1 <= 7.5 -1 <= x2 <= 1 -1 <= x3 <= 1 x4 <= 3 x5 <= 2.5 x6 <= 3.90512483795333 x7 <= 3.90512483795333 x8 <= 3.90512483795333 x9 <= 3.90512483795333 -3.90512483795333 <= x10 <= 3.90512483795333 -3.90512483795333 <= x11 <= 3.90512483795333 -3.90512483795333 <= x12 <= 3.90512483795333 -3.90512483795333 <= x13 <= 3.90512483795333 -3.90512483795333 <= x14 <= 3.90512483795333 -1 <= x15 <= 1 -1 <= x16 <= 1 -1 <= x17 <= 1 -1 <= x18 <= 1 -3.90512483795333 <= x19 <= 3.90512483795333 -3.90512483795333 <= x20 <= 3.90512483795333 -3.90512483795333 <= x21 <= 3.90512483795333 -3.90512483795333 <= x22 <= 3.90512483795333 -3.90512483795333 <= x23 <= 3.90512483795333 -3.90512483795333 <= x24 <= 3.90512483795333 -3.90512483795333 <= x25 <= 3.90512483795333 -3.90512483795333 <= x26 <= 3.90512483795333 -3.90512483795333 <= x27 <= 3.90512483795333 -3.90512483795333 <= x28 <= 3.90512483795333 .5 <= x29 <= 2.5 .5 <= x30 <= 2 x31 <= 3 x32 <= 2.5 x33 <= 3 x34 <= 2.5 x35 <= 3 x36 <= 2.5 x37 <= 3 x38 <= 2.5 x39 <= 3 x40 <= 2.5 x41 <= 3 x42 <= 2.5 objvar <= 7.5 End