\ Equation counts
\ Total E G L N X C B
\ 77 42 0 35 0 0 0 0
\
\ Variable counts
\ x b i s1s s2s sc si
\ Total cont binary integer sos1 sos2 scont sint
\ 58 58 0 0 0 0 0 0
\
\ Nonzero counts
\ Total const NL DLL
\ 430 350 80 0
\
Minimize
obj: 0 x2 + 0 x3 + 0 x4 + 0 x5 + 0 x6 + 0 x7 + 0 x8 + 0 x9 + 0 x10 + 0 x11 + 0 x12 + 0 x13 + 0 x14 + 0 x15
+ 0 x16 + 0 x17 + 0 x18 + 0 x19 + 5 x20 - 10 x21 - 15 x22 + 9 x23 + 5 x24 - 3 x25 - 18 x26 - 23 x27
+ x28 - 3 x29 - 6 x30 - 21 x31 - 26 x32 - 2 x33 - 6 x34 - 5 x35 - 20 x36 - 25 x37 - x38 - 5 x39 - 4 x40
- 19 x41 - 24 x42 + 0 x43 - 4 x44 - 7 x45 - 22 x46 - 27 x47 - 3 x48 - 7 x49 - 5 x50 - 20 x51 - 25 x52
- x53 - 5 x54 - 5 x55 - 20 x56 - 25 x57 - x58 - 5 x59
Subject To
e2: x20 + x21 + x22 + x23 + x24 <= 85
e3: x25 + x26 + x27 + x28 + x29 <= 85
e4: x30 + x31 + x32 + x33 + x34 <= 85
e5: x35 + x36 + x37 + x38 + x39 <= 85
e6: x40 + x41 + x42 + x43 + x44 <= 85
e7: x45 + x46 + x47 + x48 + x49 <= 85
e8: x50 + x51 + x52 + x53 + x54 <= 85
e9: x55 + x56 + x57 + x58 + x59 <= 85
e10: x20 + x21 + x22 + x23 + x24 + x25 + x26 + x27 + x28 + x29 + x30 + x31 + x32 + x33 + x34 + x35 + x36
+ x37 + x38 + x39 <= 85
e11: x40 + x41 + x42 + x43 + x44 + x45 + x46 + x47 + x48 + x49 + x50 + x51 + x52 + x53 + x54 + x55 + x56
+ x57 + x58 + x59 <= 85
e12: x20 + x25 + x30 + x35 + x40 + x45 + x50 + x55 <= 15
e13: x21 + x26 + x31 + x36 + x41 + x46 + x51 + x56 <= 25
e14: x22 + x27 + x32 + x37 + x42 + x47 + x52 + x57 <= 10
e15: x23 + x28 + x33 + x38 + x43 + x48 + x53 + x58 <= 20
e16: x24 + x29 + x34 + x39 + x44 + x49 + x54 + x59 <= 15
e17: - .7 x20 + .2 x25 + .3 x35 + .4 x40 + .3 x50 + .2 x55 <= 0
e18: .2 x20 + .1 x25 + .2 x30 - .5 x35 + .1 x40 - .6 x45 - .2 x50 - 9.99999999999999e-2 x55 <= 0
e19: - 9.99999999999999e-2 x20 + .3 x25 + .3 x35 + .2 x40 + .1 x50 - .2 x55 <= 0
e20: - .7 x20 - 9.99999999999999e-2 x25 - .3 x30 - .4 x35 + .3 x40 + .3 x45 - .2 x50 - 9.99999999999999e-2 x55
<= 0
e21: - .9 x21 - .2 x31 + .1 x36 + .2 x41 - .2 x46 + .1 x51 <= 0
e22: .6 x21 + .5 x26 + .6 x31 - .1 x36 + .5 x41 - .2 x46 + .2 x51 + .3 x56 <= 0
e23: - .5 x21 - .1 x26 - .4 x31 - .1 x36 - .2 x41 - .4 x46 - .3 x51 - .6 x56 <= 0
e24: - .4 x21 + .2 x26 - 9.99999999999999e-2 x36 + .6 x41 + .6 x46 + .1 x51 + .2 x56 <= 0
e25: - .8 x22 + 9.99999999999999e-2 x27 - .1 x32 + .2 x37 + .3 x42 - .1 x47 + .2 x52 + 9.99999999999999e-2 x57
<= 0
e26: .6 x22 + .5 x27 + .6 x32 - .1 x37 + .5 x42 - .2 x47 + .2 x52 + .3 x57 <= 0
e27: - .6 x22 - .2 x27 - .5 x32 - .2 x37 - .3 x42 - .5 x47 - .4 x52 - .7 x57 <= 0
e28: - .9 x22 - .3 x27 - .5 x32 - .6 x37 + .1 x42 + .1 x47 - .4 x52 - .3 x57 <= 0
e29: - .7 x23 + .2 x28 + .3 x38 + .4 x43 + .3 x53 + .2 x58 <= 0
e30: .8 x23 + .7 x28 + .8 x33 + 9.99999999999999e-2 x38 + .7 x43 + .4 x53 + .5 x58 <= 0
e31: - .4 x23 - .3 x33 - 9.99999999999999e-2 x43 - .3 x48 - .2 x53 - .5 x58 <= 0
e32: - .6 x23 - .2 x33 - .3 x38 + .4 x43 + .4 x48 - .1 x53 <= 0
e33: - 1.1 x24 - .2 x29 - .4 x34 - .1 x39 - .4 x49 - .1 x54 - .2 x59 <= 0
e34: - 9.99999999999999e-2 x29 - .7 x39 - 9.99999999999999e-2 x44 - .8 x49 - .4 x54 - .3 x59 <= 0
e35: - .7 x24 - .3 x29 - .6 x34 - .3 x39 - .4 x44 - .6 x49 - .5 x54 - .8 x59 <= 0
e36: - 1.5 x24 - .9 x29 - 1.1 x34 - 1.2 x39 - .5 x44 - .5 x49 - x54 - .9 x59 <= 0
e37: x2 + x3 + x4 + x5 = 1
e38: x6 + x7 + x8 + x9 = 1
e39: x20 - x2 x10 = 0
e40: x21 - x2 x11 = 0
e41: x22 - x2 x12 = 0
e42: x23 - x2 x13 = 0
e43: x24 - x2 x14 = 0
e44: x25 - x3 x10 = 0
e45: x26 - x3 x11 = 0
e46: x27 - x3 x12 = 0
e47: x28 - x3 x13 = 0
e48: x29 - x3 x14 = 0
e49: x30 - x4 x10 = 0
e50: x31 - x4 x11 = 0
e51: x32 - x4 x12 = 0
e52: x33 - x4 x13 = 0
e53: x34 - x4 x14 = 0
e54: x35 - x5 x10 = 0
e55: x36 - x5 x11 = 0
e56: x37 - x5 x12 = 0
e57: x38 - x5 x13 = 0
e58: x39 - x5 x14 = 0
e59: x40 - x6 x15 = 0
e60: x41 - x6 x16 = 0
e61: x42 - x6 x17 = 0
e62: x43 - x6 x18 = 0
e63: x44 - x6 x19 = 0
e64: x45 - x7 x15 = 0
e65: x46 - x7 x16 = 0
e66: x47 - x7 x17 = 0
e67: x48 - x7 x18 = 0
e68: x49 - x7 x19 = 0
e69: x50 - x8 x15 = 0
e70: x51 - x8 x16 = 0
e71: x52 - x8 x17 = 0
e72: x53 - x8 x18 = 0
e73: x54 - x8 x19 = 0
e74: x55 - x9 x15 = 0
e75: x56 - x9 x16 = 0
e76: x57 - x9 x17 = 0
e77: x58 - x9 x18 = 0
e78: x59 - x9 x19 = 0
Bounds
x2 <= 1
x3 <= 1
x4 <= 1
x5 <= 1
x6 <= 1
x7 <= 1
x8 <= 1
x9 <= 1
x10 <= 15
x11 <= 25
x12 <= 10
x13 <= 20
x14 <= 15
x15 <= 15
x16 <= 25
x17 <= 10
x18 <= 20
x19 <= 15
x20 <= 15
x21 <= 25
x22 <= 10
x23 <= 20
x24 <= 15
x25 <= 15
x26 <= 25
x27 <= 10
x28 <= 20
x29 <= 15
x30 <= 15
x31 <= 25
x32 <= 10
x33 <= 20
x34 <= 15
x35 <= 15
x36 <= 25
x37 <= 10
x38 <= 20
x39 <= 15
x40 <= 15
x41 <= 25
x42 <= 10
x43 <= 20
x44 <= 15
x45 <= 15
x46 <= 25
x47 <= 10
x48 <= 20
x49 <= 15
x50 <= 15
x51 <= 25
x52 <= 10
x53 <= 20
x54 <= 15
x55 <= 15
x56 <= 25
x57 <= 10
x58 <= 20
x59 <= 15
End