\ 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 x3 x5 x1 x4 x2 <= 1
e7: - x6 - x2 x3 x5 x1 x4 <= -1
Bounds
-2 <= x1 <= 2
-2 <= x2 <= 2
-2 <= x3 <= 2
-2 <= x4 <= 2
-2 <= x5 <= 2
x6 Free
End