\ Equation counts \ Total E G L N X C B \ 54 2 21 31 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 18 18 0 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 150 64 86 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 + objvar Subject To e1: - x1 + objvar = -6.25176938064369 e2: x1 + [ - x16 * x17 ] = 0 e3: [ x2^2 - 2 x2 * x4 + x3^2 - 2 x3 * x5 + x4^2 + x5^2 ] >= 1 e4: [ x2^2 - 2 x2 * x6 + x3^2 - 2 x3 * x7 + x6^2 + x7^2 ] >= 1 e5: [ x2^2 - 2 x2 * x8 + x3^2 - 2 x3 * x9 + x8^2 + x9^2 ] >= 1 e6: [ x2^2 - 2 x2 * x10 + x3^2 - 2 x3 * x11 + x10^2 + x11^2 ] >= 1 e7: [ x2^2 - 2 x2 * x12 + x3^2 - 2 x3 * x13 + x12^2 + x13^2 ] >= 1 e8: [ x2^2 - 2 x2 * x14 + x3^2 - 2 x3 * x15 + x14^2 + x15^2 ] >= 1.44 e9: [ x4^2 - 2 x4 * x6 + x5^2 - 2 x5 * x7 + x6^2 + x7^2 ] >= 1 e10: [ x4^2 - 2 x4 * x8 + x5^2 - 2 x5 * x9 + x8^2 + x9^2 ] >= 1 e11: [ x4^2 - 2 x4 * x10 + x5^2 - 2 x5 * x11 + x10^2 + x11^2 ] >= 1 e12: [ x4^2 - 2 x4 * x12 + x5^2 - 2 x5 * x13 + x12^2 + x13^2 ] >= 1 e13: [ x4^2 - 2 x4 * x14 + x5^2 - 2 x5 * x15 + x14^2 + x15^2 ] >= 1.44 e14: [ x6^2 - 2 x6 * x8 + x7^2 - 2 x7 * x9 + x8^2 + x9^2 ] >= 1 e15: [ x6^2 - 2 x6 * x10 + x7^2 - 2 x7 * x11 + x10^2 + x11^2 ] >= 1 e16: [ x6^2 - 2 x6 * x12 + x7^2 - 2 x7 * x13 + x12^2 + x13^2 ] >= 1 e17: [ x6^2 - 2 x6 * x14 + x7^2 - 2 x7 * x15 + x14^2 + x15^2 ] >= 1.44 e18: [ x8^2 - 2 x8 * x10 + x9^2 - 2 x9 * x11 + x10^2 + x11^2 ] >= 1 e19: [ x8^2 - 2 x8 * x12 + x9^2 - 2 x9 * x13 + x12^2 + x13^2 ] >= 1 e20: [ x8^2 - 2 x8 * x14 + x9^2 - 2 x9 * x15 + x14^2 + x15^2 ] >= 1.44 e21: [ x10^2 - 2 x10 * x12 + x11^2 - 2 x11 * x13 + x12^2 + x13^2 ] >= 1 e22: [ x10^2 - 2 x10 * x14 + x11^2 - 2 x11 * x15 + x14^2 + x15^2 ] >= 1.44 e23: [ x12^2 - 2 x12 * x14 + x13^2 - 2 x13 * x15 + x14^2 + x15^2 ] >= 1.44 e24: x2 - x16 <= -.5 e25: x3 - x17 <= -.5 e26: x4 - x16 <= -.5 e27: x5 - x17 <= -.5 e28: x6 - x16 <= -.5 e29: x7 - x17 <= -.5 e30: x8 - x16 <= -.5 e31: x9 - x17 <= -.5 e32: x10 - x16 <= -.5 e33: x11 - x17 <= -.5 e34: x12 - x16 <= -.5 e35: x13 - x17 <= -.5 e36: x14 - x16 <= -.7 e37: x15 - x17 <= -.7 e38: x2 <= 4 e39: x3 <= 1.45 e40: x2 - x4 <= 0 e41: x2 - x6 <= 0 e42: x2 - x8 <= 0 e43: x2 - x10 <= 0 e44: x2 - x12 <= 0 e45: x4 - x6 <= 0 e46: x4 - x8 <= 0 e47: x4 - x10 <= 0 e48: x4 - x12 <= 0 e49: x6 - x8 <= 0 e50: x6 - x10 <= 0 e51: x6 - x12 <= 0 e52: x8 - x10 <= 0 e53: x8 - x12 <= 0 e54: x10 - x12 <= 0 Bounds .49 <= x1 <= 23.2 .5 <= x2 <= 7.5 .5 <= x3 <= 2.4 .5 <= x4 <= 7.5 .5 <= x5 <= 2.4 .5 <= x6 <= 7.5 .5 <= x7 <= 2.4 .5 <= x8 <= 7.5 .5 <= x9 <= 2.4 .5 <= x10 <= 7.5 .5 <= x11 <= 2.4 .5 <= x12 <= 7.5 .5 <= x13 <= 2.4 .7 <= x14 <= 7.3 .7 <= x15 <= 2.2 x16 <= 8 x17 <= 2.9 objvar <= 23.2 End