\ Equation counts \ Total E G L N X C B \ 10 0 10 0 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 10 0 0 10 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 110 0 110 0 \ Minimize obj: 37.6 i1 + 19.6 i2 - 5.6 i3 - 26 i4 - 125 i5 - 79.6 i6 - 104.2 i7 - 4.6 i8 - 22.8 i9 + 9 i10 + [ 14 i1^2 - 12 i1 * i3 + 4 i1 * i4 - 8 i1 * i5 + 4 i1 * i6 - 4 i1 * i7 - 8 i1 * i8 - 4 i1 * i9 - 8 i1 * i10 + 12 i2^2 + 8 i2 * i3 - 4 i2 * i5 - 8 i2 * i6 - 12 i2 * i7 - 4 i2 * i8 - 8 i2 * i9 - 12 i2 * i10 + 16 i3^2 + 4 i3 * i4 - 12 i3 * i5 - 8 i3 * i6 - 4 i3 * i7 + 12 i3 * i8 + 8 i3 * i9 + 4 i3 * i10 + 12 i4^2 - 4 i4 * i6 + 8 i4 * i8 + 8 i4 * i9 - 8 i4 * i10 + 14 i5^2 + 12 i5 * i6 + 8 i5 * i7 - 8 i5 * i8 - 8 i5 * i9 + 4 i5 * i10 + 8 i6^2 + 8 i6 * i7 - 4 i6 * i8 - 8 i6 * i9 + 4 i6 * i10 + 12 i7^2 + 8 i7 * i8 + 16 i7 * i9 - 4 i7 * i10 + 14 i8^2 + 8 i8 * i9 - 8 i8 * i10 + 16 i9^2 - 4 i9 * i10 + 12 i10^2 ]/2 Subject To e1: [ - 9 i1^2 - 10 i1 * i2 - 6 i1 * i3 - 10 i1 * i4 - 6 i1 * i6 + 6 i1 * i7 - 2 i1 * i8 + 2 i1 * i10 - 8 i2^2 - 10 i2 * i3 - 6 i2 * i4 - 2 i2 * i5 - 2 i2 * i6 + 2 i2 * i7 - 6 i2 * i8 + 2 i2 * i10 - 5 i3^2 - 2 i3 * i4 + 4 i3 * i7 - 2 i3 * i8 + 2 i3 * i9 - 7 i4^2 - 2 i4 * i6 + 2 i4 * i7 - 4 i4 * i9 - 2 i4 * i10 - 7 i5^2 - 4 i5 * i7 + 6 i5 * i8 + 8 i5 * i9 + 2 i5 * i10 - 5 i6^2 + 4 i6 * i7 + 4 i6 * i9 - 2 i6 * i10 - 8 i7^2 - 2 i7 * i8 - 6 i8^2 - 6 i8 * i9 - 2 i8 * i10 - 6 i9^2 - 6 i9 * i10 - 8 i10^2 ] >= -1.93e3 e2: [ - 6 i1^2 - 8 i1 * i2 - 2 i1 * i3 + 2 i1 * i4 - 2 i1 * i5 - 6 i1 * i7 - 2 i1 * i8 - 2 i1 * i9 + 4 i1 * i10 - 6 i2^2 - 2 i2 * i3 + 10 i2 * i4 - 6 i2 * i5 - 2 i2 * i6 - 10 i2 * i7 - 4 i2 * i8 - 2 i2 * i9 - 4 i3^2 + 8 i3 * i6 - 2 i3 * i7 - 2 i3 * i8 - 2 i3 * i10 - 8 i4^2 + 6 i4 * i5 + 2 i4 * i6 + 10 i4 * i7 + 4 i4 * i10 + 7 i5^2 - 4 i5 * i6 - 10 i5 * i7 - 8 i5 * i8 - 8 i6^2 + 4 i6 * i9 + 6 i6 * i10 - 8 i7^2 - 8 i7 * i8 + 2 i7 * i9 - 2 i7 * i10 - 5 i8^2 - 2 i8 * i10 - 6 i9^2 - 6 i10^2 ] >= -3.14e3 e3: [ - 9 i1^2 + 2 i1 * i2 + 4 i1 * i4 - 6 i1 * i5 + 2 i1 * i6 - 2 i1 * i8 + 10 i1 * i9 - 6 i2^2 + 2 i2 * i3 + 4 i2 * i4 - 2 i2 * i5 + 4 i2 * i6 + 2 i2 * i7 + 6 i2 * i9 - 4 i2 * i10 - 8 i3^2 - 2 i3 * i4 - 4 i3 * i7 + 4 i3 * i8 - 4 i3 * i9 + 2 i3 * i10 - 6 i4^2 + 4 i4 * i5 - 6 i4 * i6 + 2 i4 * i8 - 10 i4 * i9 + 4 i4 * i10 + 6 i5^2 - 2 i5 * i6 - 6 i5 * i7 + 8 i5 * i9 + 6 i5 * i10 - 5 i6^2 - 4 i6 * i7 - 6 i6 * i9 + 4 i6 * i10 - 7 i7^2 - 2 i7 * i9 + 2 i7 * i10 - 4 i8^2 - 2 i8 * i10 - 8 i9^2 + 2 i9 * i10 - 7 i10^2 ] >= -1.6e3 e4: [ - 8 i1^2 - 2 i1 * i2 - 2 i1 * i3 + 6 i1 * i4 - 6 i1 * i5 - 10 i1 * i6 + 6 i1 * i7 + 4 i1 * i8 - 4 i1 * i9 + 8 i1 * i10 - 4 i2^2 - 4 i2 * i3 + 2 i2 * i4 - 4 i2 * i5 - 2 i2 * i7 - 4 i2 * i8 + 4 i2 * i9 + 4 i2 * i10 - 9 i3^2 - 2 i3 * i4 - 2 i3 * i5 - 10 i3 * i6 - 2 i3 * i7 + 2 i3 * i8 + 6 i3 * i9 + 2 i3 * i10 - 7 i4^2 + 6 i4 * i5 + 4 i4 * i6 - 4 i4 * i8 - 2 i4 * i9 + 2 i4 * i10 + 6 i5^2 - 2 i5 * i6 + 6 i5 * i7 - 4 i5 * i8 - 7 i6^2 + 2 i6 * i7 + 14 i6 * i8 + 2 i6 * i9 + 4 i6 * i10 - 6 i7^2 + 8 i7 * i9 - 8 i8^2 - 4 i8 * i9 - 10 i9^2 - 6 i10^2 ] >= -1.26e3 e5: [ - 4 i1^2 + 2 i1 * i2 - 6 i1 * i3 - 2 i1 * i4 - 4 i1 * i5 + 4 i1 * i6 + 4 i1 * i7 - 2 i1 * i8 - 5 i2^2 + 6 i2 * i4 + 2 i2 * i5 - 4 i2 * i6 - 4 i2 * i7 - 2 i2 * i9 - 8 i3^2 - 2 i3 * i4 - 6 i3 * i5 + 6 i3 * i6 - 4 i3 * i7 + 4 i3 * i9 - 6 i3 * i10 - 6 i4^2 - 8 i4 * i5 + 4 i4 * i7 + 4 i4 * i8 + 4 i4 * i9 - 2 i4 * i10 - 7 i5^2 + 4 i5 * i6 + 4 i5 * i7 - 2 i5 * i9 - 4 i5 * i10 - 7 i6^2 + 4 i6 * i7 + 2 i6 * i8 + 2 i6 * i9 - 8 i7^2 + 2 i7 * i8 + 6 i7 * i9 - 4 i8^2 - 6 i8 * i9 + 2 i8 * i10 - 7 i9^2 - 4 i9 * i10 - 8 i10^2 ] >= -1.43e3 e6: [ - 7 i1^2 + 2 i1 * i2 - 6 i1 * i3 - 2 i1 * i4 - 2 i1 * i5 + 2 i1 * i6 + 4 i1 * i8 - 4 i1 * i9 + 2 i1 * i10 - 7 i2^2 - 2 i2 * i3 + 2 i2 * i4 - 4 i2 * i6 + 4 i2 * i7 + 8 i2 * i8 - 6 i3^2 - 2 i3 * i4 - 4 i3 * i5 + 4 i3 * i6 - 4 i3 * i7 + 2 i3 * i8 - 5 i4^2 + 2 i4 * i5 + 2 i4 * i6 + 4 i4 * i7 - 4 i4 * i8 + 2 i4 * i9 - 5 i5^2 + 6 i5 * i6 - 4 i5 * i7 - 2 i5 * i8 + 6 i5 * i9 - 2 i5 * i10 - 9 i6^2 + 8 i6 * i7 + 4 i6 * i8 - 4 i6 * i9 - 4 i6 * i10 - 6 i7^2 - 2 i7 * i9 + 2 i7 * i10 - 9 i8^2 + 2 i8 * i9 + 2 i8 * i10 - 6 i9^2 + 6 i9 * i10 - 5 i10^2 ] >= -1.02e3 e7: [ - 9 i1^2 - 4 i1 * i2 + 4 i1 * i3 + 4 i1 * i4 - 2 i1 * i5 - 8 i1 * i6 - 4 i1 * i7 - 2 i1 * i8 + 4 i1 * i9 + 6 i1 * i10 - 8 i2^2 + 2 i2 * i3 - 12 i2 * i5 + 2 i2 * i6 - 6 i2 * i7 + 2 i2 * i8 + 2 i2 * i9 - 7 i3^2 + 4 i3 * i4 - 4 i3 * i5 - 2 i3 * i7 + 2 i3 * i8 + 4 i3 * i9 - 6 i3 * i10 - 7 i4^2 + 10 i4 * i7 + 2 i4 * i8 + 4 i4 * i9 + 10 i4 * i10 - 8 i5^2 - 2 i5 * i6 - 2 i5 * i7 + 2 i5 * i9 - 6 i6^2 + 2 i6 * i7 - 6 i6 * i8 - 2 i6 * i9 + 6 i6 * i10 - 7 i7^2 - 2 i7 * i8 - 8 i7 * i10 - 6 i8^2 - 9 i9^2 - 4 i9 * i10 - 8 i10^2 ] >= -2.86e3 e8: [ - 7 i1^2 + 4 i1 * i2 + 4 i1 * i3 + 4 i1 * i4 - 2 i1 * i6 - 2 i1 * i7 + 2 i1 * i8 + 4 i1 * i9 - 2 i1 * i10 - 8 i2^2 + 8 i2 * i4 - 2 i2 * i5 - 2 i2 * i6 + 8 i2 * i7 - 6 i2 * i8 - 6 i2 * i9 - 2 i2 * i10 - 8 i3^2 - 6 i3 * i4 - 2 i3 * i7 + 6 i3 * i8 + 2 i3 * i9 - 4 i3 * i10 - 7 i4^2 + 2 i4 * i5 + 4 i4 * i6 - 2 i4 * i7 + 4 i4 * i8 - 2 i4 * i9 - 5 i5^2 - 4 i5 * i6 + 6 i5 * i7 + 2 i5 * i8 + 2 i5 * i9 + 4 i5 * i10 - 7 i6^2 + 2 i6 * i7 - 4 i6 * i8 + 6 i6 * i9 + 4 i6 * i10 - 7 i7^2 + 2 i7 * i9 - 6 i8^2 - 4 i8 * i9 + 2 i8 * i10 - 6 i9^2 - 4 i9 * i10 - 6 i10^2 ] >= -8.8e2 e9: [ - 4 i1^2 + 2 i1 * i2 + 8 i1 * i3 - 2 i1 * i4 + 4 i1 * i5 + 4 i1 * i9 + 2 i1 * i10 - 7 i2^2 - 4 i2 * i3 - 4 i2 * i4 + 2 i2 * i5 - 2 i2 * i7 + 2 i2 * i8 + 2 i2 * i9 + 2 i2 * i10 - 9 i3^2 - 2 i3 * i4 + 4 i3 * i5 + 4 i3 * i6 - 4 i3 * i7 - 4 i3 * i8 - 10 i3 * i9 + 4 i3 * i10 - 6 i4^2 + 6 i4 * i5 - 6 i4 * i6 + 2 i4 * i8 + 8 i4 * i10 - 6 i5^2 + 4 i5 * i7 + 2 i5 * i8 + 2 i5 * i9 - 4 i5 * i10 - 7 i6^2 + 8 i6 * i7 + 2 i6 * i9 - 2 i6 * i10 - 7 i7^2 + 6 i7 * i8 + 2 i7 * i10 - 7 i8^2 - 8 i8 * i9 - 2 i8 * i10 - 6 i9^2 + 2 i9 * i10 - 8 i10^2 ] >= -700 e10: [ - 7 i1^2 + 6 i1 * i2 - 10 i1 * i3 + 4 i1 * i4 - 2 i1 * i5 + 4 i1 * i6 - 2 i1 * i7 - 2 i1 * i8 + 4 i1 * i9 - 6 i2^2 + 6 i2 * i3 + 2 i2 * i4 + 2 i2 * i5 + 2 i2 * i7 + 2 i2 * i8 - 4 i2 * i9 + 2 i2 * i10 - 8 i3^2 + 2 i3 * i4 + 2 i3 * i6 - 4 i3 * i7 - 6 i3 * i8 - 4 i3 * i10 - 8 i4^2 + 8 i4 * i5 - 4 i4 * i6 + 2 i4 * i7 + 6 i4 * i8 - 10 i4 * i9 + 2 i4 * i10 - 4 i5^2 + 2 i5 * i6 + 2 i5 * i7 - 2 i5 * i8 + 6 i5 * i9 - 2 i5 * i10 - 2 i6^2 + 2 i6 * i7 + 2 i6 * i8 - 2 i6 * i9 + 2 i6 * i10 - 6 i7^2 - 4 i7 * i8 + 2 i7 * i9 + 4 i7 * i10 - 5 i8^2 + 4 i8 * i9 - 6 i8 * i10 - 6 i9^2 + 2 i9 * i10 - 7 i10^2 ] >= -3.6e2 Bounds i1 <= 200 i2 <= 200 i3 <= 200 i4 <= 200 i5 <= 200 i6 <= 200 i7 <= 200 i8 <= 200 i9 <= 200 i10 <= 200 General i1 i2 i3 i4 i5 i6 i7 i8 i9 i10 End