\ Equation counts \ Total E G L N X C B \ 55 20 5 30 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 88 20 68 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 236 204 32 0 \ Minimize obj: 0 x1 + 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 b17 + 0 b18 + 0 b19 + 0 b20 + 0 b21 + 0 b22 + 0 b23 + 0 b24 + 0 b25 + 0 b26 + 0 b27 + 0 b28 + 0 b29 + 0 b30 + 0 b31 + 0 b32 + 0 b33 + 0 b34 + 0 b35 + 0 b36 + 0 b37 + 0 b38 + 0 b39 + 0 b40 + 0 b41 + 0 b42 + 0 b43 + 0 b44 + 0 b45 + 0 b46 + 0 b47 + 0 b48 + 0 b49 + 0 b50 + 0 b51 + 0 b52 + 0 b53 + 0 b54 + 0 b55 + 0 b56 + 0 b57 + 0 b58 + 0 b59 + 0 b60 + 0 b61 + 0 b62 + 0 b63 + 0 b64 + .1 b65 + .2 b66 + .3 b67 + .4 b68 + x69 + x70 + x71 + x72 + 0 b73 + 0 b74 + 0 b75 + 0 b76 + 0 b77 + 0 b78 + 0 b79 + 0 b80 + 0 b81 + 0 b82 + 0 b83 + 0 b84 + 0 b85 + 0 b86 + 0 b87 + 0 b88 Subject To e2: [ x1 * x69 + x2 * x70 + x3 * x71 + x4 * x72 ] >= 9 e3: [ x5 * x69 + x6 * x70 + x7 * x71 + x8 * x72 ] >= 7 e4: [ x9 * x69 + x10 * x70 + x11 * x71 + x12 * x72 ] >= 12 e5: [ x13 * x69 + x14 * x70 + x15 * x71 + x16 * x72 ] >= 11 e6: - 3.3e2 x1 - 3.6e2 x5 - 385 x9 - 415 x13 + 1.7e3 b65 <= 0 e7: - 3.3e2 x2 - 3.6e2 x6 - 385 x10 - 415 x14 + 1.7e3 b66 <= 0 e8: - 3.3e2 x3 - 3.6e2 x7 - 385 x11 - 415 x15 + 1.7e3 b67 <= 0 e9: - 3.3e2 x4 - 3.6e2 x8 - 385 x12 - 415 x16 + 1.7e3 b68 <= 0 e10: 3.3e2 x1 + 3.6e2 x5 + 385 x9 + 415 x13 - 1.9e3 b65 <= 0 e11: 3.3e2 x2 + 3.6e2 x6 + 385 x10 + 415 x14 - 1.9e3 b66 <= 0 e12: 3.3e2 x3 + 3.6e2 x7 + 385 x11 + 415 x15 - 1.9e3 b67 <= 0 e13: 3.3e2 x4 + 3.6e2 x8 + 385 x12 + 415 x16 - 1.9e3 b68 <= 0 e14: - x1 - x5 - x9 - x13 + b65 <= 0 e15: - x2 - x6 - x10 - x14 + b66 <= 0 e16: - x3 - x7 - x11 - x15 + b67 <= 0 e17: - x4 - x8 - x12 - x16 + b68 <= 0 e18: x1 + x5 + x9 + x13 - 5 b65 <= 0 e19: x2 + x6 + x10 + x14 - 5 b66 <= 0 e20: x3 + x7 + x11 + x15 - 5 b67 <= 0 e21: x4 + x8 + x12 + x16 - 5 b68 <= 0 e22: b65 - x69 <= 0 e23: b66 - x70 <= 0 e24: b67 - x71 <= 0 e25: b68 - x72 <= 0 e26: - 15 b65 + x69 <= 0 e27: - 12 b66 + x70 <= 0 e28: - 9 b67 + x71 <= 0 e29: - 6 b68 + x72 <= 0 e30: x69 + x70 + x71 + x72 >= 8 e31: - b65 + b66 <= 0 e32: - b66 + b67 <= 0 e33: - b67 + b68 <= 0 e34: - x69 + x70 <= 0 e35: - x70 + x71 <= 0 e36: - x71 + x72 <= 0 e37: x1 - b17 - 2 b18 - 4 b19 = 0 e38: x2 - b20 - 2 b21 - 4 b22 = 0 e39: x3 - b23 - 2 b24 - 4 b25 = 0 e40: x4 - b26 - 2 b27 - 4 b28 = 0 e41: x5 - b29 - 2 b30 - 4 b31 = 0 e42: x6 - b32 - 2 b33 - 4 b34 = 0 e43: x7 - b35 - 2 b36 - 4 b37 = 0 e44: x8 - b38 - 2 b39 - 4 b40 = 0 e45: x9 - b41 - 2 b42 - 4 b43 = 0 e46: x10 - b44 - 2 b45 - 4 b46 = 0 e47: x11 - b47 - 2 b48 - 4 b49 = 0 e48: x12 - b50 - 2 b51 - 4 b52 = 0 e49: x13 - b53 - 2 b54 - 4 b55 = 0 e50: x14 - b56 - 2 b57 - 4 b58 = 0 e51: x15 - b59 - 2 b60 - 4 b61 = 0 e52: x16 - b62 - 2 b63 - 4 b64 = 0 e53: x69 - b73 - 2 b74 - 4 b75 - 8 b76 = 0 e54: x70 - b77 - 2 b78 - 4 b79 - 8 b80 = 0 e55: x71 - b81 - 2 b82 - 4 b83 - 8 b84 = 0 e56: x72 - b85 - 2 b86 - 4 b87 - 8 b88 = 0 Bounds x1 <= 5 x2 <= 5 x3 <= 5 x4 <= 5 x5 <= 5 x6 <= 5 x7 <= 5 x8 <= 5 x9 <= 5 x10 <= 5 x11 <= 5 x12 <= 5 x13 <= 5 x14 <= 5 x15 <= 5 x16 <= 5 x69 <= 15 x70 <= 12 x71 <= 9 x72 <= 6 Binary b17 b18 b19 b20 b21 b22 b23 b24 b25 b26 b27 b28 b29 b30 b31 b32 b33 b34 b35 b36 b37 b38 b39 b40 b41 b42 b43 b44 b45 b46 b47 b48 b49 b50 b51 b52 b53 b54 b55 b56 b57 b58 b59 b60 b61 b62 b63 b64 b65 b66 b67 b68 b73 b74 b75 b76 b77 b78 b79 b80 b81 b82 b83 b84 b85 b86 b87 b88 End