\ Equation counts \ Total E G L N X C B \ 284 7 114 163 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 88 52 36 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 1628 686 942 0 \ Minimize obj: 0 b1 + 0 b2 + 0 b3 + 0 b4 + 0 b5 + 0 b6 + 0 b7 + 0 b8 + 0 b9 + 0 b10 + 0 b11 + 0 b12 + 0 b13 + 0 b14 + 0 b15 + 0 b16 + 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 x37 + 0 x38 + 0 x39 + 0 x40 + 0 x41 + 0 x42 + 0 x43 + 0 x44 + 0 x45 + 0 x46 + 0 x47 + 0 x48 + 0 x49 + 0 x50 + 0 x51 + 0 x52 + 0 x53 + 0 x54 + 0 x55 + 0 x56 + 0 x57 + 0 x58 + 0 x59 + 0 x60 + 0 x61 + 0 x62 + 0 x63 + 0 x64 + 0 x65 + 0 x66 + 0 x67 + 0 x68 + 0 x69 + 0 x70 + 0 x71 + 0 x72 + 0 x73 + 0 x74 + 0 x75 + 0 x76 + 0 x77 + 0 x78 + 0 x79 + 0 x80 + 0 x81 + 0 x82 + 0 x83 + 0 x84 + 0 x85 + 0 x86 + 0 x87 + objvar Subject To e1: 1e3 b1 + [ x61 * x87 ] <= 1000.024 e2: 1e3 b2 + [ x63 * x87 ] <= 1000.024 e3: 1e3 b3 + [ x65 * x87 ] <= 1000.024 e4: 1e3 b4 + [ x67 * x87 ] <= 1000.024 e5: 1e3 b5 + [ x69 * x87 ] <= 1000.024 e6: 1e3 b6 + [ x71 * x87 ] <= 1000.024 e7: 1e3 b7 + [ x73 * x87 ] <= 1000.024 e8: 1e3 b8 + [ x75 * x87 ] <= 1000.024 e9: 1e3 b9 + [ x77 * x87 ] <= 1000.024 e10: 1e3 b10 + [ x79 * x87 ] <= 1000.024 e11: 1e3 b11 + [ x81 * x87 ] <= 1000.024 e12: 1e3 b12 + [ x83 * x87 ] <= 1000.024 e13: - 1e3 b2 - 80 b14 + 1e3 b26 + [ 100 b14 * x39 + 100 b15 * x39 - 100 b15 * x41 + 100 b16 * x39 - 100 b16 * x41 + 100 b17 * x39 - 100 b17 * x41 + 100 b18 * x39 - 100 b18 * x41 + 100 b19 * x39 - 100 b19 * x41 + 100 b20 * x39 - 100 b20 * x41 + 100 b21 * x39 - 100 b21 * x41 + 100 b22 * x39 - 100 b22 * x41 + 100 b23 * x39 - 100 b23 * x41 + 100 b24 * x39 - 100 b24 * x41 + x39 * x85 - x41 * x85 - x61 * x86 + x63 * x86 ] <= 1e3 e14: - 1e3 b2 - 20 b14 + 1e3 b26 + [ 100 b14 * x40 + 100 b15 * x40 - 100 b15 * x42 + 100 b16 * x40 - 100 b16 * x42 + 100 b17 * x40 - 100 b17 * x42 + 100 b18 * x40 - 100 b18 * x42 + 100 b19 * x40 - 100 b19 * x42 + 100 b20 * x40 - 100 b20 * x42 + 100 b21 * x40 - 100 b21 * x42 + 100 b22 * x40 - 100 b22 * x42 + 100 b23 * x40 - 100 b23 * x42 + 100 b24 * x40 - 100 b24 * x42 + x40 * x85 - x42 * x85 - x62 * x86 + x64 * x86 ] <= 1e3 e15: - 1e3 b3 - 80 b15 + 1e3 b27 + [ 100 b15 * x41 + 100 b16 * x41 - 100 b16 * x43 + 100 b17 * x41 - 100 b17 * x43 + 100 b18 * x41 - 100 b18 * x43 + 100 b19 * x41 - 100 b19 * x43 + 100 b20 * x41 - 100 b20 * x43 + 100 b21 * x41 - 100 b21 * x43 + 100 b22 * x41 - 100 b22 * x43 + 100 b23 * x41 - 100 b23 * x43 + 100 b24 * x41 - 100 b24 * x43 + x41 * x85 - x43 * x85 - x63 * x86 + x65 * x86 ] <= 1e3 e16: - 1e3 b3 - 20 b15 + 1e3 b27 + [ 100 b15 * x42 + 100 b16 * x42 - 100 b16 * x44 + 100 b17 * x42 - 100 b17 * x44 + 100 b18 * x42 - 100 b18 * x44 + 100 b19 * x42 - 100 b19 * x44 + 100 b20 * x42 - 100 b20 * x44 + 100 b21 * x42 - 100 b21 * x44 + 100 b22 * x42 - 100 b22 * x44 + 100 b23 * x42 - 100 b23 * x44 + 100 b24 * x42 - 100 b24 * x44 + x42 * x85 - x44 * x85 - x64 * x86 + x66 * x86 ] <= 1e3 e17: - 1e3 b4 - 80 b16 + 1e3 b28 + [ 100 b16 * x43 + 100 b17 * x43 - 100 b17 * x45 + 100 b18 * x43 - 100 b18 * x45 + 100 b19 * x43 - 100 b19 * x45 + 100 b20 * x43 - 100 b20 * x45 + 100 b21 * x43 - 100 b21 * x45 + 100 b22 * x43 - 100 b22 * x45 + 100 b23 * x43 - 100 b23 * x45 + 100 b24 * x43 - 100 b24 * x45 + x43 * x85 - x45 * x85 - x65 * x86 + x67 * x86 ] <= 1e3 e18: - 1e3 b4 - 20 b16 + 1e3 b28 + [ 100 b16 * x44 + 100 b17 * x44 - 100 b17 * x46 + 100 b18 * x44 - 100 b18 * x46 + 100 b19 * x44 - 100 b19 * x46 + 100 b20 * x44 - 100 b20 * x46 + 100 b21 * x44 - 100 b21 * x46 + 100 b22 * x44 - 100 b22 * x46 + 100 b23 * x44 - 100 b23 * x46 + 100 b24 * x44 - 100 b24 * x46 + x44 * x85 - x46 * x85 - x66 * x86 + x68 * x86 ] <= 1e3 e19: - 1e3 b5 - 80 b17 + 1e3 b29 + [ 100 b17 * x45 + 100 b18 * x45 - 100 b18 * x47 + 100 b19 * x45 - 100 b19 * x47 + 100 b20 * x45 - 100 b20 * x47 + 100 b21 * x45 - 100 b21 * x47 + 100 b22 * x45 - 100 b22 * x47 + 100 b23 * x45 - 100 b23 * x47 + 100 b24 * x45 - 100 b24 * x47 + x45 * x85 - x47 * x85 - x67 * x86 + x69 * x86 ] <= 1e3 e20: - 1e3 b5 - 20 b17 + 1e3 b29 + [ 100 b17 * x46 + 100 b18 * x46 - 100 b18 * x48 + 100 b19 * x46 - 100 b19 * x48 + 100 b20 * x46 - 100 b20 * x48 + 100 b21 * x46 - 100 b21 * x48 + 100 b22 * x46 - 100 b22 * x48 + 100 b23 * x46 - 100 b23 * x48 + 100 b24 * x46 - 100 b24 * x48 + x46 * x85 - x48 * x85 - x68 * x86 + x70 * x86 ] <= 1e3 e21: - 1e3 b6 - 80 b18 + 1e3 b30 + [ 100 b18 * x47 + 100 b19 * x47 - 100 b19 * x49 + 100 b20 * x47 - 100 b20 * x49 + 100 b21 * x47 - 100 b21 * x49 + 100 b22 * x47 - 100 b22 * x49 + 100 b23 * x47 - 100 b23 * x49 + 100 b24 * x47 - 100 b24 * x49 + x47 * x85 - x49 * x85 - x69 * x86 + x71 * x86 ] <= 1e3 e22: - 1e3 b6 - 20 b18 + 1e3 b30 + [ 100 b18 * x48 + 100 b19 * x48 - 100 b19 * x50 + 100 b20 * x48 - 100 b20 * x50 + 100 b21 * x48 - 100 b21 * x50 + 100 b22 * x48 - 100 b22 * x50 + 100 b23 * x48 - 100 b23 * x50 + 100 b24 * x48 - 100 b24 * x50 + x48 * x85 - x50 * x85 - x70 * x86 + x72 * x86 ] <= 1e3 e23: - 1e3 b7 - 80 b19 + 1e3 b31 + [ 100 b19 * x49 + 100 b20 * x49 - 100 b20 * x51 + 100 b21 * x49 - 100 b21 * x51 + 100 b22 * x49 - 100 b22 * x51 + 100 b23 * x49 - 100 b23 * x51 + 100 b24 * x49 - 100 b24 * x51 + x49 * x85 - x51 * x85 - x71 * x86 + x73 * x86 ] <= 1e3 e24: - 1e3 b7 - 20 b19 + 1e3 b31 + [ 100 b19 * x50 + 100 b20 * x50 - 100 b20 * x52 + 100 b21 * x50 - 100 b21 * x52 + 100 b22 * x50 - 100 b22 * x52 + 100 b23 * x50 - 100 b23 * x52 + 100 b24 * x50 - 100 b24 * x52 + x50 * x85 - x52 * x85 - x72 * x86 + x74 * x86 ] <= 1e3 e25: - 1e3 b8 - 80 b20 + 1e3 b32 + [ 100 b20 * x51 + 100 b21 * x51 - 100 b21 * x53 + 100 b22 * x51 - 100 b22 * x53 + 100 b23 * x51 - 100 b23 * x53 + 100 b24 * x51 - 100 b24 * x53 + x51 * x85 - x53 * x85 - x73 * x86 + x75 * x86 ] <= 1e3 e26: - 1e3 b8 - 20 b20 + 1e3 b32 + [ 100 b20 * x52 + 100 b21 * x52 - 100 b21 * x54 + 100 b22 * x52 - 100 b22 * x54 + 100 b23 * x52 - 100 b23 * x54 + 100 b24 * x52 - 100 b24 * x54 + x52 * x85 - x54 * x85 - x74 * x86 + x76 * x86 ] <= 1e3 e27: - 1e3 b9 - 80 b21 + 1e3 b33 + [ 100 b21 * x53 + 100 b22 * x53 - 100 b22 * x55 + 100 b23 * x53 - 100 b23 * x55 + 100 b24 * x53 - 100 b24 * x55 + x53 * x85 - x55 * x85 - x75 * x86 + x77 * x86 ] <= 1e3 e28: - 1e3 b9 - 20 b21 + 1e3 b33 + [ 100 b21 * x54 + 100 b22 * x54 - 100 b22 * x56 + 100 b23 * x54 - 100 b23 * x56 + 100 b24 * x54 - 100 b24 * x56 + x54 * x85 - x56 * x85 - x76 * x86 + x78 * x86 ] <= 1e3 e29: - 1e3 b10 - 80 b22 + 1e3 b34 + [ 100 b22 * x55 + 100 b23 * x55 - 100 b23 * x57 + 100 b24 * x55 - 100 b24 * x57 + x55 * x85 - x57 * x85 - x77 * x86 + x79 * x86 ] <= 1e3 e30: - 1e3 b10 - 20 b22 + 1e3 b34 + [ 100 b22 * x56 + 100 b23 * x56 - 100 b23 * x58 + 100 b24 * x56 - 100 b24 * x58 + x56 * x85 - x58 * x85 - x78 * x86 + x80 * x86 ] <= 1e3 e31: - 1e3 b11 - 80 b23 + 1e3 b35 + [ 100 b23 * x57 + 100 b24 * x57 - 100 b24 * x59 + x57 * x85 - x59 * x85 - x79 * x86 + x81 * x86 ] <= 1e3 e32: - 1e3 b11 - 20 b23 + 1e3 b35 + [ 100 b23 * x58 + 100 b24 * x58 - 100 b24 * x60 + x58 * x85 - x60 * x85 - x80 * x86 + x82 * x86 ] <= 1e3 e33: 80 x37 - 100 x39 + [ - x39 * x85 + x61 * x86 ] = 0 e34: 80 x38 - 100 x40 + [ - x40 * x85 + x62 * x86 ] = 0 e35: - 1e3 b2 - 80 b14 + 1e3 b26 + [ 100 b14 * x39 + 100 b15 * x39 - 100 b15 * x41 + 100 b16 * x39 - 100 b16 * x41 + 100 b17 * x39 - 100 b17 * x41 + 100 b18 * x39 - 100 b18 * x41 + 100 b19 * x39 - 100 b19 * x41 + 100 b20 * x39 - 100 b20 * x41 + 100 b21 * x39 - 100 b21 * x41 + 100 b22 * x39 - 100 b22 * x41 + 100 b23 * x39 - 100 b23 * x41 + 100 b24 * x39 - 100 b24 * x41 + x39 * x85 - x41 * x85 - x61 * x86 + x63 * x86 ] >= 1e3 e36: - 1e3 b2 - 20 b14 + 1e3 b26 + [ 100 b14 * x40 + 100 b15 * x40 - 100 b15 * x42 + 100 b16 * x40 - 100 b16 * x42 + 100 b17 * x40 - 100 b17 * x42 + 100 b18 * x40 - 100 b18 * x42 + 100 b19 * x40 - 100 b19 * x42 + 100 b20 * x40 - 100 b20 * x42 + 100 b21 * x40 - 100 b21 * x42 + 100 b22 * x40 - 100 b22 * x42 + 100 b23 * x40 - 100 b23 * x42 + 100 b24 * x40 - 100 b24 * x42 + x40 * x85 - x42 * x85 - x62 * x86 + x64 * x86 ] >= 1e3 e37: - 1e3 b3 - 80 b15 + 1e3 b27 + [ 100 b15 * x41 + 100 b16 * x41 - 100 b16 * x43 + 100 b17 * x41 - 100 b17 * x43 + 100 b18 * x41 - 100 b18 * x43 + 100 b19 * x41 - 100 b19 * x43 + 100 b20 * x41 - 100 b20 * x43 + 100 b21 * x41 - 100 b21 * x43 + 100 b22 * x41 - 100 b22 * x43 + 100 b23 * x41 - 100 b23 * x43 + 100 b24 * x41 - 100 b24 * x43 + x41 * x85 - x43 * x85 - x63 * x86 + x65 * x86 ] >= 1e3 e38: - 1e3 b3 - 20 b15 + 1e3 b27 + [ 100 b15 * x42 + 100 b16 * x42 - 100 b16 * x44 + 100 b17 * x42 - 100 b17 * x44 + 100 b18 * x42 - 100 b18 * x44 + 100 b19 * x42 - 100 b19 * x44 + 100 b20 * x42 - 100 b20 * x44 + 100 b21 * x42 - 100 b21 * x44 + 100 b22 * x42 - 100 b22 * x44 + 100 b23 * x42 - 100 b23 * x44 + 100 b24 * x42 - 100 b24 * x44 + x42 * x85 - x44 * x85 - x64 * x86 + x66 * x86 ] >= 1e3 e39: - 1e3 b4 - 80 b16 + 1e3 b28 + [ 100 b16 * x43 + 100 b17 * x43 - 100 b17 * x45 + 100 b18 * x43 - 100 b18 * x45 + 100 b19 * x43 - 100 b19 * x45 + 100 b20 * x43 - 100 b20 * x45 + 100 b21 * x43 - 100 b21 * x45 + 100 b22 * x43 - 100 b22 * x45 + 100 b23 * x43 - 100 b23 * x45 + 100 b24 * x43 - 100 b24 * x45 + x43 * x85 - x45 * x85 - x65 * x86 + x67 * x86 ] >= 1e3 e40: - 1e3 b4 - 20 b16 + 1e3 b28 + [ 100 b16 * x44 + 100 b17 * x44 - 100 b17 * x46 + 100 b18 * x44 - 100 b18 * x46 + 100 b19 * x44 - 100 b19 * x46 + 100 b20 * x44 - 100 b20 * x46 + 100 b21 * x44 - 100 b21 * x46 + 100 b22 * x44 - 100 b22 * x46 + 100 b23 * x44 - 100 b23 * x46 + 100 b24 * x44 - 100 b24 * x46 + x44 * x85 - x46 * x85 - x66 * x86 + x68 * x86 ] >= 1e3 e41: - 1e3 b5 - 80 b17 + 1e3 b29 + [ 100 b17 * x45 + 100 b18 * x45 - 100 b18 * x47 + 100 b19 * x45 - 100 b19 * x47 + 100 b20 * x45 - 100 b20 * x47 + 100 b21 * x45 - 100 b21 * x47 + 100 b22 * x45 - 100 b22 * x47 + 100 b23 * x45 - 100 b23 * x47 + 100 b24 * x45 - 100 b24 * x47 + x45 * x85 - x47 * x85 - x67 * x86 + x69 * x86 ] >= 1e3 e42: - 1e3 b5 - 20 b17 + 1e3 b29 + [ 100 b17 * x46 + 100 b18 * x46 - 100 b18 * x48 + 100 b19 * x46 - 100 b19 * x48 + 100 b20 * x46 - 100 b20 * x48 + 100 b21 * x46 - 100 b21 * x48 + 100 b22 * x46 - 100 b22 * x48 + 100 b23 * x46 - 100 b23 * x48 + 100 b24 * x46 - 100 b24 * x48 + x46 * x85 - x48 * x85 - x68 * x86 + x70 * x86 ] >= 1e3 e43: - 1e3 b6 - 80 b18 + 1e3 b30 + [ 100 b18 * x47 + 100 b19 * x47 - 100 b19 * x49 + 100 b20 * x47 - 100 b20 * x49 + 100 b21 * x47 - 100 b21 * x49 + 100 b22 * x47 - 100 b22 * x49 + 100 b23 * x47 - 100 b23 * x49 + 100 b24 * x47 - 100 b24 * x49 + x47 * x85 - x49 * x85 - x69 * x86 + x71 * x86 ] >= 1e3 e44: - 1e3 b6 - 20 b18 + 1e3 b30 + [ 100 b18 * x48 + 100 b19 * x48 - 100 b19 * x50 + 100 b20 * x48 - 100 b20 * x50 + 100 b21 * x48 - 100 b21 * x50 + 100 b22 * x48 - 100 b22 * x50 + 100 b23 * x48 - 100 b23 * x50 + 100 b24 * x48 - 100 b24 * x50 + x48 * x85 - x50 * x85 - x70 * x86 + x72 * x86 ] >= 1e3 e45: - 1e3 b7 - 80 b19 + 1e3 b31 + [ 100 b19 * x49 + 100 b20 * x49 - 100 b20 * x51 + 100 b21 * x49 - 100 b21 * x51 + 100 b22 * x49 - 100 b22 * x51 + 100 b23 * x49 - 100 b23 * x51 + 100 b24 * x49 - 100 b24 * x51 + x49 * x85 - x51 * x85 - x71 * x86 + x73 * x86 ] >= 1e3 e46: - 1e3 b7 - 20 b19 + 1e3 b31 + [ 100 b19 * x50 + 100 b20 * x50 - 100 b20 * x52 + 100 b21 * x50 - 100 b21 * x52 + 100 b22 * x50 - 100 b22 * x52 + 100 b23 * x50 - 100 b23 * x52 + 100 b24 * x50 - 100 b24 * x52 + x50 * x85 - x52 * x85 - x72 * x86 + x74 * x86 ] >= 1e3 e47: - 1e3 b8 - 80 b20 + 1e3 b32 + [ 100 b20 * x51 + 100 b21 * x51 - 100 b21 * x53 + 100 b22 * x51 - 100 b22 * x53 + 100 b23 * x51 - 100 b23 * x53 + 100 b24 * x51 - 100 b24 * x53 + x51 * x85 - x53 * x85 - x73 * x86 + x75 * x86 ] >= 1e3 e48: - 1e3 b8 - 20 b20 + 1e3 b32 + [ 100 b20 * x52 + 100 b21 * x52 - 100 b21 * x54 + 100 b22 * x52 - 100 b22 * x54 + 100 b23 * x52 - 100 b23 * x54 + 100 b24 * x52 - 100 b24 * x54 + x52 * x85 - x54 * x85 - x74 * x86 + x76 * x86 ] >= 1e3 e49: - 1e3 b9 - 80 b21 + 1e3 b33 + [ 100 b21 * x53 + 100 b22 * x53 - 100 b22 * x55 + 100 b23 * x53 - 100 b23 * x55 + 100 b24 * x53 - 100 b24 * x55 + x53 * x85 - x55 * x85 - x75 * x86 + x77 * x86 ] >= 1e3 e50: - 1e3 b9 - 20 b21 + 1e3 b33 + [ 100 b21 * x54 + 100 b22 * x54 - 100 b22 * x56 + 100 b23 * x54 - 100 b23 * x56 + 100 b24 * x54 - 100 b24 * x56 + x54 * x85 - x56 * x85 - x76 * x86 + x78 * x86 ] >= 1e3 e51: - 1e3 b10 - 80 b22 + 1e3 b34 + [ 100 b22 * x55 + 100 b23 * x55 - 100 b23 * x57 + 100 b24 * x55 - 100 b24 * x57 + x55 * x85 - x57 * x85 - x77 * x86 + x79 * x86 ] >= 1e3 e52: - 1e3 b10 - 20 b22 + 1e3 b34 + [ 100 b22 * x56 + 100 b23 * x56 - 100 b23 * x58 + 100 b24 * x56 - 100 b24 * x58 + x56 * x85 - x58 * x85 - x78 * x86 + x80 * x86 ] >= 1e3 e53: - 1e3 b11 - 80 b23 + 1e3 b35 + [ 100 b23 * x57 + 100 b24 * x57 - 100 b24 * x59 + x57 * x85 - x59 * x85 - x79 * x86 + x81 * x86 ] >= 1e3 e54: - 1e3 b11 - 20 b23 + 1e3 b35 + [ 100 b23 * x58 + 100 b24 * x58 - 100 b24 * x60 + x58 * x85 - x60 * x85 - x80 * x86 + x82 * x86 ] >= 1e3 e55: 1e3 b2 + [ x39 * x85 - x61 * x86 + x63 * x87 ] <= 1e3 e56: 1e3 b2 + [ x40 * x85 - x62 * x86 + x64 * x87 ] <= 1e3 e57: 1e3 b3 + [ x41 * x85 - x63 * x86 + x65 * x87 ] <= 1e3 e58: 1e3 b3 + [ x42 * x85 - x64 * x86 + x66 * x87 ] <= 1e3 e59: 1e3 b4 + [ x43 * x85 - x65 * x86 + x67 * x87 ] <= 1e3 e60: 1e3 b4 + [ x44 * x85 - x66 * x86 + x68 * x87 ] <= 1e3 e61: 1e3 b5 + [ x45 * x85 - x67 * x86 + x69 * x87 ] <= 1e3 e62: 1e3 b5 + [ x46 * x85 - x68 * x86 + x70 * x87 ] <= 1e3 e63: 1e3 b6 + [ x47 * x85 - x69 * x86 + x71 * x87 ] <= 1e3 e64: 1e3 b6 + [ x48 * x85 - x70 * x86 + x72 * x87 ] <= 1e3 e65: 1e3 b7 + [ x49 * x85 - x71 * x86 + x73 * x87 ] <= 1e3 e66: 1e3 b7 + [ x50 * x85 - x72 * x86 + x74 * x87 ] <= 1e3 e67: 1e3 b8 + [ x51 * x85 - x73 * x86 + x75 * x87 ] <= 1e3 e68: 1e3 b8 + [ x52 * x85 - x74 * x86 + x76 * x87 ] <= 1e3 e69: 1e3 b9 + [ x53 * x85 - x75 * x86 + x77 * x87 ] <= 1e3 e70: 1e3 b9 + [ x54 * x85 - x76 * x86 + x78 * x87 ] <= 1e3 e71: 1e3 b10 + [ x55 * x85 - x77 * x86 + x79 * x87 ] <= 1e3 e72: 1e3 b10 + [ x56 * x85 - x78 * x86 + x80 * x87 ] <= 1e3 e73: 1e3 b11 + [ x57 * x85 - x79 * x86 + x81 * x87 ] <= 1e3 e74: 1e3 b11 + [ x58 * x85 - x80 * x86 + x82 * x87 ] <= 1e3 e75: 1e3 b12 + [ x59 * x85 - x81 * x86 + x83 * x87 ] <= 1e3 e76: 1e3 b12 + [ x60 * x85 - x82 * x86 + x84 * x87 ] <= 1e3 e77: - 1e3 b2 + [ x39 * x85 - x61 * x86 + x63 * x87 ] >= -1e3 e78: - 1e3 b2 + [ x40 * x85 - x62 * x86 + x64 * x87 ] >= -1e3 e79: - 1e3 b3 + [ x41 * x85 - x63 * x86 + x65 * x87 ] >= -1e3 e80: - 1e3 b3 + [ x42 * x85 - x64 * x86 + x66 * x87 ] >= -1e3 e81: - 1e3 b4 + [ x43 * x85 - x65 * x86 + x67 * x87 ] >= -1e3 e82: - 1e3 b4 + [ x44 * x85 - x66 * x86 + x68 * x87 ] >= -1e3 e83: - 1e3 b5 + [ x45 * x85 - x67 * x86 + x69 * x87 ] >= -1e3 e84: - 1e3 b5 + [ x46 * x85 - x68 * x86 + x70 * x87 ] >= -1e3 e85: - 1e3 b6 + [ x47 * x85 - x69 * x86 + x71 * x87 ] >= -1e3 e86: - 1e3 b6 + [ x48 * x85 - x70 * x86 + x72 * x87 ] >= -1e3 e87: - 1e3 b7 + [ x49 * x85 - x71 * x86 + x73 * x87 ] >= -1e3 e88: - 1e3 b7 + [ x50 * x85 - x72 * x86 + x74 * x87 ] >= -1e3 e89: - 1e3 b8 + [ x51 * x85 - x73 * x86 + x75 * x87 ] >= -1e3 e90: - 1e3 b8 + [ x52 * x85 - x74 * x86 + x76 * x87 ] >= -1e3 e91: - 1e3 b9 + [ x53 * x85 - x75 * x86 + x77 * x87 ] >= -1e3 e92: - 1e3 b9 + [ x54 * x85 - x76 * x86 + x78 * x87 ] >= -1e3 e93: - 1e3 b10 + [ x55 * x85 - x77 * x86 + x79 * x87 ] >= -1e3 e94: - 1e3 b10 + [ x56 * x85 - x78 * x86 + x80 * x87 ] >= -1e3 e95: - 1e3 b11 + [ x57 * x85 - x79 * x86 + x81 * x87 ] >= -1e3 e96: - 1e3 b11 + [ x58 * x85 - x80 * x86 + x82 * x87 ] >= -1e3 e97: - 1e3 b12 + [ x59 * x85 - x81 * x86 + x83 * x87 ] >= -1e3 e98: - 1e3 b12 + [ x60 * x85 - x82 * x86 + x84 * x87 ] >= -1e3 e99: x85 + [ - x87 * objvar ] = 0 e100: b13 + b14 + b15 + b16 + b17 + b18 + b19 + b20 + b21 + b22 + b23 + b24 = 1 e101: b1 + b2 + b3 + b4 + b5 + b6 + b7 + b8 + b9 + b10 + b11 + b12 = 1 e102: b25 + b26 + b27 + b28 + b29 + b30 + b31 + b32 + b33 + b34 + b35 + b36 = 12 e103: b1 + 2 b2 + 3 b3 + 4 b4 + 5 b5 + 6 b6 + 7 b7 + 8 b8 + 9 b9 + 10 b10 + 11 b11 + 12 b12 = 12 e104: - b1 - 2 b2 - 3 b3 - 4 b4 - 5 b5 - 6 b6 - 7 b7 - 8 b8 - 9 b9 - 10 b10 - 11 b11 - 12 b12 + b13 + 2 b14 + 3 b15 + 4 b16 + 5 b17 + 6 b18 + 7 b19 + 8 b20 + 9 b21 + 10 b22 + 11 b23 + 12 b24 <= 0 e105: b1 - b25 <= 0 e106: b2 - b26 <= 0 e107: b3 - b27 <= 0 e108: b4 - b28 <= 0 e109: b5 - b29 <= 0 e110: b6 - b30 <= 0 e111: b7 - b31 <= 0 e112: b8 - b32 <= 0 e113: b9 - b33 <= 0 e114: b10 - b34 <= 0 e115: b11 - b35 <= 0 e116: b12 - b36 <= 0 e117: b13 - b25 <= 0 e118: b14 - b26 <= 0 e119: b15 - b27 <= 0 e120: b16 - b28 <= 0 e121: b17 - b29 <= 0 e122: b18 - b30 <= 0 e123: b19 - b31 <= 0 e124: b20 - b32 <= 0 e125: b21 - b33 <= 0 e126: b22 - b34 <= 0 e127: b23 - b35 <= 0 e128: b24 - b36 <= 0 e129: - b1 - b2 - b3 - b4 - b5 - b6 - b7 - b8 - b9 - b10 - b11 - b12 + b25 <= 0 e130: - b2 - b3 - b4 - b5 - b6 - b7 - b8 - b9 - b10 - b11 - b12 + b26 <= 0 e131: - b3 - b4 - b5 - b6 - b7 - b8 - b9 - b10 - b11 - b12 + b27 <= 0 e132: - b4 - b5 - b6 - b7 - b8 - b9 - b10 - b11 - b12 + b28 <= 0 e133: - b5 - b6 - b7 - b8 - b9 - b10 - b11 - b12 + b29 <= 0 e134: - b6 - b7 - b8 - b9 - b10 - b11 - b12 + b30 <= 0 e135: - b7 - b8 - b9 - b10 - b11 - b12 + b31 <= 0 e136: - b8 - b9 - b10 - b11 - b12 + b32 <= 0 e137: - b9 - b10 - b11 - b12 + b33 <= 0 e138: - b10 - b11 - b12 + b34 <= 0 e139: - b11 - b12 + b35 <= 0 e140: - b12 + b36 <= 0 e141: - b25 - x61 - x62 <= 0 e142: - b26 - x63 - x64 <= 0 e143: - b27 - x65 - x66 <= 0 e144: - b28 - x67 - x68 <= 0 e145: - b29 - x69 - x70 <= 0 e146: - b30 - x71 - x72 <= 0 e147: - b31 - x73 - x74 <= 0 e148: - b32 - x75 - x76 <= 0 e149: - b33 - x77 - x78 <= 0 e150: - b34 - x79 - x80 <= 0 e151: - b35 - x81 - x82 <= 0 e152: - b36 - x83 - x84 <= 0 e153: b25 - x61 - x62 <= 0 e154: b26 - x63 - x64 <= 0 e155: b27 - x65 - x66 <= 0 e156: b28 - x67 - x68 <= 0 e157: b29 - x69 - x70 <= 0 e158: b30 - x71 - x72 <= 0 e159: b31 - x73 - x74 <= 0 e160: b32 - x75 - x76 <= 0 e161: b33 - x77 - x78 <= 0 e162: b34 - x79 - x80 <= 0 e163: b35 - x81 - x82 <= 0 e164: b36 - x83 - x84 <= 0 e165: - b25 - x37 - x38 <= 0 e166: - b26 - x39 - x40 <= 0 e167: - b27 - x41 - x42 <= 0 e168: - b28 - x43 - x44 <= 0 e169: - b29 - x45 - x46 <= 0 e170: - b30 - x47 - x48 <= 0 e171: - b31 - x49 - x50 <= 0 e172: - b32 - x51 - x52 <= 0 e173: - b33 - x53 - x54 <= 0 e174: - b34 - x55 - x56 <= 0 e175: - b35 - x57 - x58 <= 0 e176: - b36 - x59 - x60 <= 0 e177: b25 - x37 - x38 <= 0 e178: b26 - x39 - x40 <= 0 e179: b27 - x41 - x42 <= 0 e180: b28 - x43 - x44 <= 0 e181: b29 - x45 - x46 <= 0 e182: b30 - x47 - x48 <= 0 e183: b31 - x49 - x50 <= 0 e184: b32 - x51 - x52 <= 0 e185: b33 - x53 - x54 <= 0 e186: b34 - x55 - x56 <= 0 e187: b35 - x57 - x58 <= 0 e188: b36 - x59 - x60 <= 0 e189: - b25 - x61 - x62 >= -2 e190: - b26 - x63 - x64 >= -2 e191: - b27 - x65 - x66 >= -2 e192: - b28 - x67 - x68 >= -2 e193: - b29 - x69 - x70 >= -2 e194: - b30 - x71 - x72 >= -2 e195: - b31 - x73 - x74 >= -2 e196: - b32 - x75 - x76 >= -2 e197: - b33 - x77 - x78 >= -2 e198: - b34 - x79 - x80 >= -2 e199: - b35 - x81 - x82 >= -2 e200: - b36 - x83 - x84 >= -2 e201: b25 - x61 - x62 >= -2 e202: b26 - x63 - x64 >= -2 e203: b27 - x65 - x66 >= -2 e204: b28 - x67 - x68 >= -2 e205: b29 - x69 - x70 >= -2 e206: b30 - x71 - x72 >= -2 e207: b31 - x73 - x74 >= -2 e208: b32 - x75 - x76 >= -2 e209: b33 - x77 - x78 >= -2 e210: b34 - x79 - x80 >= -2 e211: b35 - x81 - x82 >= -2 e212: b36 - x83 - x84 >= -2 e213: - b25 - x37 - x38 >= -2 e214: - b26 - x39 - x40 >= -2 e215: - b27 - x41 - x42 >= -2 e216: - b28 - x43 - x44 >= -2 e217: - b29 - x45 - x46 >= -2 e218: - b30 - x47 - x48 >= -2 e219: - b31 - x49 - x50 >= -2 e220: - b32 - x51 - x52 >= -2 e221: - b33 - x53 - x54 >= -2 e222: - b34 - x55 - x56 >= -2 e223: - b35 - x57 - x58 >= -2 e224: - b36 - x59 - x60 >= -2 e225: b25 - x37 - x38 >= -2 e226: b26 - x39 - x40 >= -2 e227: b27 - x41 - x42 >= -2 e228: b28 - x43 - x44 >= -2 e229: b29 - x45 - x46 >= -2 e230: b30 - x47 - x48 >= -2 e231: b31 - x49 - x50 >= -2 e232: b32 - x51 - x52 >= -2 e233: b33 - x53 - x54 >= -2 e234: b34 - x55 - x56 >= -2 e235: b35 - x57 - x58 >= -2 e236: b36 - x59 - x60 >= -2 e237: 1e3 b25 - x37 + [ x37 * x61 + 5.13435 x38 * x61 ] <= 1e3 e238: 1e3 b25 - 5.13435 x38 + [ x37 * x62 + 5.13435 x38 * x62 ] <= 1e3 e239: 1e3 b26 - x39 + [ x39 * x63 + 5.13435 x40 * x63 ] <= 1e3 e240: 1e3 b26 - 5.13435 x40 + [ x39 * x64 + 5.13435 x40 * x64 ] <= 1e3 e241: 1e3 b27 - x41 + [ x41 * x65 + 5.13435 x42 * x65 ] <= 1e3 e242: 1e3 b27 - 5.13435 x42 + [ x41 * x66 + 5.13435 x42 * x66 ] <= 1e3 e243: 1e3 b28 - x43 + [ x43 * x67 + 5.13435 x44 * x67 ] <= 1e3 e244: 1e3 b28 - 5.13435 x44 + [ x43 * x68 + 5.13435 x44 * x68 ] <= 1e3 e245: 1e3 b29 - x45 + [ x45 * x69 + 5.13435 x46 * x69 ] <= 1e3 e246: 1e3 b29 - 5.13435 x46 + [ x45 * x70 + 5.13435 x46 * x70 ] <= 1e3 e247: 1e3 b30 - x47 + [ x47 * x71 + 5.13435 x48 * x71 ] <= 1e3 e248: 1e3 b30 - 5.13435 x48 + [ x47 * x72 + 5.13435 x48 * x72 ] <= 1e3 e249: 1e3 b31 - x49 + [ x49 * x73 + 5.13435 x50 * x73 ] <= 1e3 e250: 1e3 b31 - 5.13435 x50 + [ x49 * x74 + 5.13435 x50 * x74 ] <= 1e3 e251: 1e3 b32 - x51 + [ x51 * x75 + 5.13435 x52 * x75 ] <= 1e3 e252: 1e3 b32 - 5.13435 x52 + [ x51 * x76 + 5.13435 x52 * x76 ] <= 1e3 e253: 1e3 b33 - x53 + [ x53 * x77 + 5.13435 x54 * x77 ] <= 1e3 e254: 1e3 b33 - 5.13435 x54 + [ x53 * x78 + 5.13435 x54 * x78 ] <= 1e3 e255: 1e3 b34 - x55 + [ x55 * x79 + 5.13435 x56 * x79 ] <= 1e3 e256: 1e3 b34 - 5.13435 x56 + [ x55 * x80 + 5.13435 x56 * x80 ] <= 1e3 e257: 1e3 b35 - x57 + [ x57 * x81 + 5.13435 x58 * x81 ] <= 1e3 e258: 1e3 b35 - 5.13435 x58 + [ x57 * x82 + 5.13435 x58 * x82 ] <= 1e3 e259: 1e3 b36 - x59 + [ x59 * x83 + 5.13435 x60 * x83 ] <= 1e3 e260: 1e3 b36 - 5.13435 x60 + [ x59 * x84 + 5.13435 x60 * x84 ] <= 1e3 e261: - 1e3 b25 - x37 + [ x37 * x61 + 5.13435 x38 * x61 ] >= -1e3 e262: - 1e3 b25 - 5.13435 x38 + [ x37 * x62 + 5.13435 x38 * x62 ] >= -1e3 e263: - 1e3 b26 - x39 + [ x39 * x63 + 5.13435 x40 * x63 ] >= -1e3 e264: - 1e3 b26 - 5.13435 x40 + [ x39 * x64 + 5.13435 x40 * x64 ] >= -1e3 e265: - 1e3 b27 - x41 + [ x41 * x65 + 5.13435 x42 * x65 ] >= -1e3 e266: - 1e3 b27 - 5.13435 x42 + [ x41 * x66 + 5.13435 x42 * x66 ] >= -1e3 e267: - 1e3 b28 - x43 + [ x43 * x67 + 5.13435 x44 * x67 ] >= -1e3 e268: - 1e3 b28 - 5.13435 x44 + [ x43 * x68 + 5.13435 x44 * x68 ] >= -1e3 e269: - 1e3 b29 - x45 + [ x45 * x69 + 5.13435 x46 * x69 ] >= -1e3 e270: - 1e3 b29 - 5.13435 x46 + [ x45 * x70 + 5.13435 x46 * x70 ] >= -1e3 e271: - 1e3 b30 - x47 + [ x47 * x71 + 5.13435 x48 * x71 ] >= -1e3 e272: - 1e3 b30 - 5.13435 x48 + [ x47 * x72 + 5.13435 x48 * x72 ] >= -1e3 e273: - 1e3 b31 - x49 + [ x49 * x73 + 5.13435 x50 * x73 ] >= -1e3 e274: - 1e3 b31 - 5.13435 x50 + [ x49 * x74 + 5.13435 x50 * x74 ] >= -1e3 e275: - 1e3 b32 - x51 + [ x51 * x75 + 5.13435 x52 * x75 ] >= -1e3 e276: - 1e3 b32 - 5.13435 x52 + [ x51 * x76 + 5.13435 x52 * x76 ] >= -1e3 e277: - 1e3 b33 - x53 + [ x53 * x77 + 5.13435 x54 * x77 ] >= -1e3 e278: - 1e3 b33 - 5.13435 x54 + [ x53 * x78 + 5.13435 x54 * x78 ] >= -1e3 e279: - 1e3 b34 - x55 + [ x55 * x79 + 5.13435 x56 * x79 ] >= -1e3 e280: - 1e3 b34 - 5.13435 x56 + [ x55 * x80 + 5.13435 x56 * x80 ] >= -1e3 e281: - 1e3 b35 - x57 + [ x57 * x81 + 5.13435 x58 * x81 ] >= -1e3 e282: - 1e3 b35 - 5.13435 x58 + [ x57 * x82 + 5.13435 x58 * x82 ] >= -1e3 e283: - 1e3 b36 - x59 + [ x59 * x83 + 5.13435 x60 * x83 ] >= -1e3 e284: - 1e3 b36 - 5.13435 x60 + [ x59 * x84 + 5.13435 x60 * x84 ] >= -1e3 Bounds x37 <= 1 x38 <= 1 x39 <= 1 x40 <= 1 x41 <= 1 x42 <= 1 x43 <= 1 x44 <= 1 x45 <= 1 x46 <= 1 x47 <= 1 x48 <= 1 x49 <= 1 x50 <= 1 x51 <= 1 x52 <= 1 x53 <= 1 x54 <= 1 x55 <= 1 x56 <= 1 x57 <= 1 x58 <= 1 x59 <= 1 x60 <= 1 x61 <= 1 x62 <= 1 x63 <= 1 x64 <= 1 x65 <= 1 x66 <= 1 x67 <= 1 x68 <= 1 x69 <= 1 x70 <= 1 x71 <= 1 x72 <= 1 x73 <= 1 x74 <= 1 x75 <= 1 x76 <= 1 x77 <= 1 x78 <= 1 x79 <= 1 x80 <= 1 x81 <= 1 x82 <= 1 x83 <= 1 x84 <= 1 x87 <= 100 objvar <= 5 Binary b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16 b17 b18 b19 b20 b21 b22 b23 b24 b25 b26 b27 b28 b29 b30 b31 b32 b33 b34 b35 b36 End