\ Equation counts \ Total E G L N X C B \ 21 6 0 15 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 \ 96 12 84 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 - x13 - x14 - x15 - x16 - x17 - x18 Subject To e1: [ x1^2 - 2 x1 * x2 + x2^2 + x7^2 - 2 x7 * x8 + x8^2 ] <= 1 e2: [ x1^2 - 2 x1 * x3 + x3^2 + x7^2 - 2 x7 * x9 + x9^2 ] <= 1 e3: [ x1^2 - 2 x1 * x4 + x4^2 + x7^2 - 2 x7 * x10 + x10^2 ] <= 1 e4: [ x1^2 - 2 x1 * x5 + x5^2 + x7^2 - 2 x7 * x11 + x11^2 ] <= 1 e5: [ x1^2 - 2 x1 * x6 + x6^2 + x7^2 - 2 x7 * x12 + x12^2 ] <= 1 e6: [ x2^2 - 2 x2 * x3 + x3^2 + x8^2 - 2 x8 * x9 + x9^2 ] <= 1 e7: [ x2^2 - 2 x2 * x4 + x4^2 + x8^2 - 2 x8 * x10 + x10^2 ] <= 1 e8: [ x2^2 - 2 x2 * x5 + x5^2 + x8^2 - 2 x8 * x11 + x11^2 ] <= 1 e9: [ x2^2 - 2 x2 * x6 + x6^2 + x8^2 - 2 x8 * x12 + x12^2 ] <= 1 e10: [ x3^2 - 2 x3 * x4 + x4^2 + x9^2 - 2 x9 * x10 + x10^2 ] <= 1 e11: [ x3^2 - 2 x3 * x5 + x5^2 + x9^2 - 2 x9 * x11 + x11^2 ] <= 1 e12: [ x3^2 - 2 x3 * x6 + x6^2 + x9^2 - 2 x9 * x12 + x12^2 ] <= 1 e13: [ x4^2 - 2 x4 * x5 + x5^2 + x10^2 - 2 x10 * x11 + x11^2 ] <= 1 e14: [ x4^2 - 2 x4 * x6 + x6^2 + x10^2 - 2 x10 * x12 + x12^2 ] <= 1 e15: [ x5^2 - 2 x5 * x6 + x6^2 + x11^2 - 2 x11 * x12 + x12^2 ] <= 1 e17: x13 + [ - .5 x1 * x8 + .5 x2 * x7 ] = 0 e18: x14 + [ - .5 x2 * x9 + .5 x3 * x8 ] = 0 e19: x15 + [ - .5 x3 * x10 + .5 x4 * x9 ] = 0 e20: x16 + [ - .5 x4 * x11 + .5 x5 * x10 ] = 0 e21: x17 + [ - .5 x5 * x12 + .5 x6 * x11 ] = 0 e22: x18 + [ .5 x1 * x12 - .5 x6 * x7 ] = 0 Bounds x1 = 0 x2 Free x3 Free x4 Free x5 Free x6 Free x7 = 0 x8 = 0 x9 Free x10 Free x11 Free x12 Free x13 Free x14 Free x15 Free x16 Free x17 Free x18 Free End