\ Equation counts \ Total E G L N X C B \ 77 67 10 0 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 86 86 0 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 621 181 440 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 x17 + 0 x18 + 0 x19 + 0 x20 + 0 x21 + 0 x22 + 0 x23 + 0 x24 + 0 x25 + 0 x26 + 0 x27 + 0 x28 + 0 x29 + 0 x30 + 0 x31 + 0 x32 + 0 x33 + 0 x34 + 0 x35 + 0 x36 + 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 + x67 + x68 + x69 + x70 + x71 + x72 + x73 + x74 + x75 + x76 + x77 + x78 + x79 + x80 + x81 + x82 + x83 + x84 + x85 + x86 Subject To e1: .5 x2 - .5 x2 x12 - .5000500050005 x3 x12 - .375037503750375 x4 x12 - .249999992497001 x5 x12 - .156218732806561 x6 x12 - 9.37031062453125e-2 x7 x12 - 5.46382681253312e-2 x8 x12 - 3.12062456311301e-2 x9 x12 - 1.7542972627178e-2 x10 x12 - 9.73926749128362e-3 x11 x12 = 0 e2: .5000500050005 x3 - .5 x2 x13 - .5000500050005 x3 x13 - .375037503750375 x4 x13 - .249999992497001 x5 x13 - .156218732806561 x6 x13 - 9.37031062453125e-2 x7 x13 - 5.46382681253312e-2 x8 x13 - 3.12062456311301e-2 x9 x13 - 1.7542972627178e-2 x10 x13 - 9.73926749128362e-3 x11 x13 = 0 e3: .24997499749975 x3 - .24997499749975 x3 x14 - .375037503750375 x4 x14 - .375075018755251 x5 x14 - .312562515629377 x6 x14 - .234398432806401 x7 x14 - .164046067482601 x8 x14 - .109331212792365 x9 x14 - 7.02562148313726e-2 x10 x14 - 4.38881594251137e-2 x11 x14 = 0 e4: .375037503750375 x4 - .5 x2 x15 - .5000500050005 x3 x15 - .375037503750375 x4 x15 - .249999992497001 x5 x15 - .156218732806561 x6 x15 - 9.37031062453125e-2 x7 x15 - 5.46382681253312e-2 x8 x15 - 3.12062456311301e-2 x9 x15 - 1.7542972627178e-2 x10 x15 - 9.73926749128362e-3 x11 x15 = 0 e5: .375037503750375 x4 - .24997499749975 x3 x16 - .375037503750375 x4 x16 - .375075018755251 x5 x16 - .312562515629377 x6 x16 - .234398432806401 x7 x16 - .164046067482601 x8 x16 - .109331212792365 x9 x16 - 7.02562148313726e-2 x10 x16 - 4.38881594251137e-2 x11 x16 = 0 e6: .124962496249625 x4 - .124962496249625 x4 x17 - .249999992497001 x5 x17 - .312562515629377 x6 x17 - .312593787516885 x7 x17 - .273519564077274 x8 x17 - .218793754368866 x9 x17 - .164062470437224 x10 x17 - .117152290970943 x11 x17 = 0 e7: .249999992497001 x5 - .5 x2 x18 - .5000500050005 x3 x18 - .375037503750375 x4 x18 - .249999992497001 x5 x18 - .156218732806561 x6 x18 - 9.37031062453125e-2 x7 x18 - 5.46382681253312e-2 x8 x18 - 3.12062456311301e-2 x9 x18 - 1.7542972627178e-2 x10 x18 - 9.73926749128362e-3 x11 x18 = 0 e8: .375075018755251 x5 - .24997499749975 x3 x19 - .375037503750375 x4 x19 - .375075018755251 x5 x19 - .312562515629377 x6 x19 - .234398432806401 x7 x19 - .164046067482601 x8 x19 - .109331212792365 x9 x19 - 7.02562148313726e-2 x10 x19 - 4.38881594251137e-2 x11 x19 = 0 e9: .249999992497001 x5 - .124962496249625 x4 x20 - .249999992497001 x5 x20 - .312562515629377 x6 x20 - .312593787516885 x7 x20 - .273519564077274 x8 x20 - .218793754368866 x9 x20 - .164062470437224 x10 x20 - .117152290970943 x11 x20 = 0 e10: 6.24624981253751e-2 x5 - 6.24624981253751e-2 x5 x21 - .156218732806561 x6 x21 - .234398432806401 x7 x21 - .273519564077274 x8 x21 - .273546935193458 x9 x21 - .246192241674115 x10 x21 - .205139666893903 x11 x21 = 0 e11: .156218732806561 x6 - .5 x2 x22 - .5000500050005 x3 x22 - .375037503750375 x4 x22 - .249999992497001 x5 x22 - .156218732806561 x6 x22 - 9.37031062453125e-2 x7 x22 - 5.46382681253312e-2 x8 x22 - 3.12062456311301e-2 x9 x22 - 1.7542972627178e-2 x10 x22 - 9.73926749128362e-3 x11 x22 = 0 e12: .312562515629377 x6 - .24997499749975 x3 x23 - .375037503750375 x4 x23 - .375075018755251 x5 x23 - .312562515629377 x6 x23 - .234398432806401 x7 x23 - .164046067482601 x8 x23 - .109331212792365 x9 x23 - 7.02562148313726e-2 x10 x23 - 4.38881594251137e-2 x11 x23 = 0 e13: .312562515629377 x6 - .124962496249625 x4 x24 - .249999992497001 x5 x24 - .312562515629377 x6 x24 - .312593787516885 x7 x24 - .273519564077274 x8 x24 - .218793754368866 x9 x24 - .164062470437224 x10 x24 - .117152290970943 x11 x24 = 0 e14: .156218732806561 x6 - 6.24624981253751e-2 x5 x25 - .156218732806561 x6 x25 - .234398432806401 x7 x25 - .273519564077274 x8 x25 - .273546935193458 x9 x25 - .246192241674115 x10 x25 - .205139666893903 x11 x25 = 0 e15: 3.12187515640633e-2 x6 - 3.12187515640633e-2 x6 x26 - 9.37031062453125e-2 x7 x26 - .164046067482601 x8 x26 - .218793754368866 x9 x26 - .246192241674115 x10 x26 - .246216883075546 x11 x26 = 0 e16: 9.37031062453125e-2 x7 - .5 x2 x27 - .5000500050005 x3 x27 - .375037503750375 x4 x27 - .249999992497001 x5 x27 - .156218732806561 x6 x27 - 9.37031062453125e-2 x7 x27 - 5.46382681253312e-2 x8 x27 - 3.12062456311301e-2 x9 x27 - 1.7542972627178e-2 x10 x27 - 9.73926749128362e-3 x11 x27 = 0 e17: .234398432806401 x7 - .24997499749975 x3 x28 - .375037503750375 x4 x28 - .375075018755251 x5 x28 - .312562515629377 x6 x28 - .234398432806401 x7 x28 - .164046067482601 x8 x28 - .109331212792365 x9 x28 - 7.02562148313726e-2 x10 x28 - 4.38881594251137e-2 x11 x28 = 0 e18: .312593787516885 x7 - .124962496249625 x4 x29 - .249999992497001 x5 x29 - .312562515629377 x6 x29 - .312593787516885 x7 x29 - .273519564077274 x8 x29 - .218793754368866 x9 x29 - .164062470437224 x10 x29 - .117152290970943 x11 x29 = 0 e19: .234398432806401 x7 - 6.24624981253751e-2 x5 x30 - .156218732806561 x6 x30 - .234398432806401 x7 x30 - .273519564077274 x8 x30 - .273546935193458 x9 x30 - .246192241674115 x10 x30 - .205139666893903 x11 x30 = 0 e20: 9.37031062453125e-2 x7 - 3.12187515640633e-2 x6 x31 - 9.37031062453125e-2 x7 x31 - .164046067482601 x8 x31 - .218793754368866 x9 x31 - .246192241674115 x10 x31 - .246216883075546 x11 x31 = 0 e21: 1.56015671898445e-2 x7 - 1.56015671898445e-2 x7 x32 - 5.46382681253312e-2 x8 x32 - .109331212792365 x9 x32 - .164062470437224 x10 x32 - .205139666893903 x11 x32 = 0 e22: 5.46382681253312e-2 x8 - .5 x2 x33 - .5000500050005 x3 x33 - .375037503750375 x4 x33 - .249999992497001 x5 x33 - .156218732806561 x6 x33 - 9.37031062453125e-2 x7 x33 - 5.46382681253312e-2 x8 x33 - 3.12062456311301e-2 x9 x33 - 1.7542972627178e-2 x10 x33 - 9.73926749128362e-3 x11 x33 = 0 e23: .164046067482601 x8 - .24997499749975 x3 x34 - .375037503750375 x4 x34 - .375075018755251 x5 x34 - .312562515629377 x6 x34 - .234398432806401 x7 x34 - .164046067482601 x8 x34 - .109331212792365 x9 x34 - 7.02562148313726e-2 x10 x34 - 4.38881594251137e-2 x11 x34 = 0 e24: .273519564077274 x8 - .124962496249625 x4 x35 - .249999992497001 x5 x35 - .312562515629377 x6 x35 - .312593787516885 x7 x35 - .273519564077274 x8 x35 - .218793754368866 x9 x35 - .164062470437224 x10 x35 - .117152290970943 x11 x35 = 0 e25: .273519564077274 x8 - 6.24624981253751e-2 x5 x36 - .156218732806561 x6 x36 - .234398432806401 x7 x36 - .273519564077274 x8 x36 - .273546935193458 x9 x36 - .246192241674115 x10 x36 - .205139666893903 x11 x36 = 0 e26: .164046067482601 x8 - 3.12187515640633e-2 x6 x37 - 9.37031062453125e-2 x7 x37 - .164046067482601 x8 x37 - .218793754368866 x9 x37 - .246192241674115 x10 x37 - .246216883075546 x11 x37 = 0 e27: 5.46382681253312e-2 x8 - 1.56015671898445e-2 x7 x38 - 5.46382681253312e-2 x8 x38 - .109331212792365 x9 x38 - .164062470437224 x10 x38 - .205139666893903 x11 x38 = 0 e28: 7.79610031479713e-3 x8 - 7.79610031479713e-3 x8 x39 - 3.12062456311301e-2 x9 x39 - 7.02562148313726e-2 x10 x39 - .117152290970943 x11 x39 = 0 e29: 3.12062456311301e-2 x9 - .5 x2 x40 - .5000500050005 x3 x40 - .375037503750375 x4 x40 - .249999992497001 x5 x40 - .156218732806561 x6 x40 - 9.37031062453125e-2 x7 x40 - 5.46382681253312e-2 x8 x40 - 3.12062456311301e-2 x9 x40 - 1.7542972627178e-2 x10 x40 - 9.73926749128362e-3 x11 x40 = 0 e30: .109331212792365 x9 - .24997499749975 x3 x41 - .375037503750375 x4 x41 - .375075018755251 x5 x41 - .312562515629377 x6 x41 - .234398432806401 x7 x41 - .164046067482601 x8 x41 - .109331212792365 x9 x41 - 7.02562148313726e-2 x10 x41 - 4.38881594251137e-2 x11 x41 = 0 e31: .218793754368866 x9 - .124962496249625 x4 x42 - .249999992497001 x5 x42 - .312562515629377 x6 x42 - .312593787516885 x7 x42 - .273519564077274 x8 x42 - .218793754368866 x9 x42 - .164062470437224 x10 x42 - .117152290970943 x11 x42 = 0 e32: .273546935193458 x9 - 6.24624981253751e-2 x5 x43 - .156218732806561 x6 x43 - .234398432806401 x7 x43 - .273519564077274 x8 x43 - .273546935193458 x9 x43 - .246192241674115 x10 x43 - .205139666893903 x11 x43 = 0 e33: .218793754368866 x9 - 3.12187515640633e-2 x6 x44 - 9.37031062453125e-2 x7 x44 - .164046067482601 x8 x44 - .218793754368866 x9 x44 - .246192241674115 x10 x44 - .246216883075546 x11 x44 = 0 e34: .109331212792365 x9 - 1.56015671898445e-2 x7 x45 - 5.46382681253312e-2 x8 x45 - .109331212792365 x9 x45 - .164062470437224 x10 x45 - .205139666893903 x11 x45 = 0 e35: 3.12062456311301e-2 x9 - 7.79610031479713e-3 x8 x46 - 3.12062456311301e-2 x9 x46 - 7.02562148313726e-2 x10 x46 - .117152290970943 x11 x46 = 0 e36: 3.89531961090585e-3 x9 - 3.89531961090585e-3 x9 x47 - 1.7542972627178e-2 x10 x47 - 4.38881594251137e-2 x11 x47 = 0 e37: 1.7542972627178e-2 x10 - .5 x2 x48 - .5000500050005 x3 x48 - .375037503750375 x4 x48 - .249999992497001 x5 x48 - .156218732806561 x6 x48 - 9.37031062453125e-2 x7 x48 - 5.46382681253312e-2 x8 x48 - 3.12062456311301e-2 x9 x48 - 1.7542972627178e-2 x10 x48 - 9.73926749128362e-3 x11 x48 = 0 e38: 7.02562148313726e-2 x10 - .24997499749975 x3 x49 - .375037503750375 x4 x49 - .375075018755251 x5 x49 - .312562515629377 x6 x49 - .234398432806401 x7 x49 - .164046067482601 x8 x49 - .109331212792365 x9 x49 - 7.02562148313726e-2 x10 x49 - 4.38881594251137e-2 x11 x49 = 0 e39: .164062470437224 x10 - .124962496249625 x4 x50 - .249999992497001 x5 x50 - .312562515629377 x6 x50 - .312593787516885 x7 x50 - .273519564077274 x8 x50 - .218793754368866 x9 x50 - .164062470437224 x10 x50 - .117152290970943 x11 x50 = 0 e40: .246192241674115 x10 - 6.24624981253751e-2 x5 x51 - .156218732806561 x6 x51 - .234398432806401 x7 x51 - .273519564077274 x8 x51 - .273546935193458 x9 x51 - .246192241674115 x10 x51 - .205139666893903 x11 x51 = 0 e41: .246192241674115 x10 - 3.12187515640633e-2 x6 x52 - 9.37031062453125e-2 x7 x52 - .164046067482601 x8 x52 - .218793754368866 x9 x52 - .246192241674115 x10 x52 - .246216883075546 x11 x52 = 0 e42: .164062470437224 x10 - 1.56015671898445e-2 x7 x53 - 5.46382681253312e-2 x8 x53 - .109331212792365 x9 x53 - .164062470437224 x10 x53 - .205139666893903 x11 x53 = 0 e43: 7.02562148313726e-2 x10 - 7.79610031479713e-3 x8 x54 - 3.12062456311301e-2 x9 x54 - 7.02562148313726e-2 x10 x54 - .117152290970943 x11 x54 = 0 e44: 1.7542972627178e-2 x10 - 3.89531961090585e-3 x9 x55 - 1.7542972627178e-2 x10 x55 - 4.38881594251137e-2 x11 x55 = 0 e45: 1.94610043010828e-3 x10 - 1.94610043010828e-3 x10 x56 - 9.73926749128362e-3 x11 x56 = 0 e46: 9.73926749128362e-3 x11 - .5 x2 x57 - .5000500050005 x3 x57 - .375037503750375 x4 x57 - .249999992497001 x5 x57 - .156218732806561 x6 x57 - 9.37031062453125e-2 x7 x57 - 5.46382681253312e-2 x8 x57 - 3.12062456311301e-2 x9 x57 - 1.7542972627178e-2 x10 x57 - 9.73926749128362e-3 x11 x57 = 0 e47: 4.38881594251137e-2 x11 - .24997499749975 x3 x58 - .375037503750375 x4 x58 - .375075018755251 x5 x58 - .312562515629377 x6 x58 - .234398432806401 x7 x58 - .164046067482601 x8 x58 - .109331212792365 x9 x58 - 7.02562148313726e-2 x10 x58 - 4.38881594251137e-2 x11 x58 = 0 e48: .117152290970943 x11 - .124962496249625 x4 x59 - .249999992497001 x5 x59 - .312562515629377 x6 x59 - .312593787516885 x7 x59 - .273519564077274 x8 x59 - .218793754368866 x9 x59 - .164062470437224 x10 x59 - .117152290970943 x11 x59 = 0 e49: .205139666893903 x11 - 6.24624981253751e-2 x5 x60 - .156218732806561 x6 x60 - .234398432806401 x7 x60 - .273519564077274 x8 x60 - .273546935193458 x9 x60 - .246192241674115 x10 x60 - .205139666893903 x11 x60 = 0 e50: .246216883075546 x11 - 3.12187515640633e-2 x6 x61 - 9.37031062453125e-2 x7 x61 - .164046067482601 x8 x61 - .218793754368866 x9 x61 - .246192241674115 x10 x61 - .246216883075546 x11 x61 = 0 e51: .205139666893903 x11 - 1.56015671898445e-2 x7 x62 - 5.46382681253312e-2 x8 x62 - .109331212792365 x9 x62 - .164062470437224 x10 x62 - .205139666893903 x11 x62 = 0 e52: .117152290970943 x11 - 7.79610031479713e-3 x8 x63 - 3.12062456311301e-2 x9 x63 - 7.02562148313726e-2 x10 x63 - .117152290970943 x11 x63 = 0 e53: 4.38881594251137e-2 x11 - 3.89531961090585e-3 x9 x64 - 1.7542972627178e-2 x10 x64 - 4.38881594251137e-2 x11 x64 = 0 e54: 9.73926749128362e-3 x11 - 1.94610043010828e-3 x10 x65 - 9.73926749128362e-3 x11 x65 = 0 e55: 9.72173680979933e-4 x11 - 9.72173680979933e-4 x11 x66 = 0 e56: .5 x2 - 513 x12 - x67 + x77 = 0 e57: .75002500250025 x3 - 513 x13 - 41 x14 - x68 + x78 = 0 e58: .875037503750375 x4 - 513 x15 - 41 x16 - 100 x17 - x69 + x79 = 0 e59: .937537501874625 x5 - 513 x18 - 41 x19 - 100 x20 - 182 x21 - x70 + x80 = 0 e60: .968781248435937 x6 - 513 x22 - 41 x23 - 100 x24 - 182 x25 - 248 x26 - x71 + x81 = 0 e61: .984398432810156 x7 - 513 x27 - 41 x28 - 100 x29 - 182 x30 - 248 x31 - 167 x32 - x72 + x82 = 0 e62: .992203899685203 x8 - 513 x33 - 41 x34 - 100 x35 - 182 x36 - 248 x37 - 167 x38 - 89 x39 - x73 + x83 = 0 e63: .996104680389094 x9 - 513 x40 - 41 x41 - 100 x42 - 182 x43 - 248 x44 - 167 x45 - 89 x46 - 48 x47 - x74 + x84 = 0 e64: .998053899569892 x10 - 513 x48 - 41 x49 - 100 x50 - 182 x51 - 248 x52 - 167 x53 - 89 x54 - 48 x55 - 12 x56 - x75 + x85 = 0 e65: .99902782631902 x11 - 513 x57 - 41 x58 - 100 x59 - 182 x60 - 248 x61 - 167 x62 - 89 x63 - 48 x64 - 12 x65 - 2 x66 - x76 + x86 = 0 e66: x2 + 2 x3 + 3 x4 + 4 x5 + 5 x6 + 6 x7 + 7 x8 + 8 x9 + 9 x10 + 10 x11 = 1e4 e67: x2 + x3 + x4 + x5 + x6 + x7 + x8 + x9 + x10 + x11 >= 513 e68: x3 + x4 + x5 + x6 + x7 + x8 + x9 + x10 + x11 >= 41 e69: x4 + x5 + x6 + x7 + x8 + x9 + x10 + x11 >= 100 e70: x5 + x6 + x7 + x8 + x9 + x10 + x11 >= 182 e71: x6 + x7 + x8 + x9 + x10 + x11 >= 248 e72: x7 + x8 + x9 + x10 + x11 >= 167 e73: x8 + x9 + x10 + x11 >= 89 e74: x9 + x10 + x11 >= 48 e75: x10 + x11 >= 12 e76: x11 >= 2 e77: - x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x9 + x10 + x11 = 0 Bounds x2 <= 1e4 x3 <= 1e4 x4 <= 1e4 x5 <= 1e4 x6 <= 1e4 x7 <= 1e4 x8 <= 1e4 x9 <= 1e4 x10 <= 1e4 x11 <= 1e4 x12 <= 1 x13 <= 1 x14 <= 1 x15 <= 1 x16 <= 1 x17 <= 1 x18 <= 1 x19 <= 1 x20 <= 1 x21 <= 1 x22 <= 1 x23 <= 1 x24 <= 1 x25 <= 1 x26 <= 1 x27 <= 1 x28 <= 1 x29 <= 1 x30 <= 1 x31 <= 1 x32 <= 1 x33 <= 1 x34 <= 1 x35 <= 1 x36 <= 1 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 <= 1e3 x68 <= 1e3 x69 <= 1e3 x70 <= 1e3 x71 <= 1e3 x72 <= 1e3 x73 <= 1e3 x74 <= 1e3 x75 <= 1e3 x76 <= 1e3 x77 <= 1e3 x78 <= 1e3 x79 <= 1e3 x80 <= 1e3 x81 <= 1e3 x82 <= 1e3 x83 <= 1e3 x84 <= 1e3 x85 <= 1e3 x86 <= 1e3 End