\ Equation counts
\ Total E G L N X C B
\ 5 5 0 0 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
\ 13 7 6 0
\
Minimize
obj: 2 x2 + 3 x3 + 0 x4 + 0 x5 + 0 x6 + 0 x7 + [ - 8 x2 * x3 ]/2 + objconstant
Subject To
e2: - x3 + x4 = 0
e3: x3 + x5 = 1
e4: [ x4 * x6 ] = 0
e5: [ x5 * x7 ] = 0
e6: 4 x2 - x6 + x7 = 1
Bounds
x2 <= 1
x4 <= 20
x5 <= 20
x6 = 0
x7 = 0
objconstant = 1
End