\ Equation counts \ Total E G L N X C B \ 6 4 0 2 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 6 6 0 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 33 23 10 0 \ Minimize obj: 0 x1 + 0 x2 + 0 x3 + 0 x4 + 0 x5 + x6 Subject To e2: 2 x1 + x2 + x3 + x4 + x5 = 6 e3: x1 + 2 x2 + x3 + x4 + x5 = 6 e4: x1 + x2 + 2 x3 + x4 + x5 = 6 e5: x1 + x2 + x3 + 2 x4 + x5 = 6 e6: - x6 + x1 x2 x3 x4 x5 <= 1 e7: - x6 - x1 x2 x3 x4 x5 <= -1 Bounds -2 <= x1 <= 2 -2 <= x2 <= 2 -2 <= x3 <= 2 -2 <= x4 <= 2 -2 <= x5 <= 2 x6 Free End