\ 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 \ 615 175 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: .2 x2 - .2 x2 x12 - .32003200320032 x3 x12 - .3840672124824 x4 x12 - .409692183046145 x5 x12 - .409702429449282 x6 x12 - .393314332271309 x7 x12 - .367084193942431 x8 x12 - .335603041715 x9 x12 - .302020066201112 x10 x12 - .268435410656179 x11 x12 = 0 e2: .32003200320032 x3 - .2 x2 x13 - .32003200320032 x3 x13 - .3840672124824 x4 x13 - .409692183046145 x5 x13 - .409702429449282 x6 x13 - .393314332271309 x7 x13 - .367084193942431 x8 x13 - .335603041715 x9 x13 - .302020066201112 x10 x13 - .268435410656179 x11 x13 = 0 e3: 3.99839983998399e-2 x3 - 3.99839983998399e-2 x3 x14 - 9.59807923180794e-2 x4 x14 - .153596150395582 x5 x14 - .204825598716796 x6 x14 - .245821457669569 x7 x14 - .275347581122294 x8 x14 - .2937261297672 x9 x14 - .302133422913057 x10 x14 - .302140983052761 x11 x14 = 0 e4: .3840672124824 x4 - .2 x2 x15 - .32003200320032 x3 x15 - .3840672124824 x4 x15 - .409692183046145 x5 x15 - .409702429449282 x6 x15 - .393314332271309 x7 x15 - .367084193942431 x8 x15 - .335603041715 x9 x15 - .302020066201112 x10 x15 - .268435410656179 x11 x15 = 0 e5: 9.59807923180794e-2 x4 - 3.99839983998399e-2 x3 x16 - 9.59807923180794e-2 x4 x16 - .153596150395582 x5 x16 - .204825598716796 x6 x16 - .245821457669569 x7 x16 - .275347581122294 x8 x16 - .2937261297672 x9 x16 - .302133422913057 x10 x16 - .302140983052761 x11 x16 = 0 e6: 7.99040096048009e-3 x4 - 7.99040096048009e-3 x4 x17 - 2.55769561603844e-2 x5 x17 - 5.11679852758392e-2 x6 x17 - 8.18892538741687e-2 x7 x17 - .114670766025168 x8 x17 - .146807956791712 x9 x17 - .176200402504464 x10 x17 - .201402121569511 x11 x17 = 0 e7: .409692183046145 x5 - .2 x2 x18 - .32003200320032 x3 x18 - .3840672124824 x4 x18 - .409692183046145 x5 x18 - .409702429449282 x6 x18 - .393314332271309 x7 x18 - .367084193942431 x8 x18 - .335603041715 x9 x18 - .302020066201112 x10 x18 - .268435410656179 x11 x18 = 0 e8: .153596150395582 x5 - 3.99839983998399e-2 x3 x19 - 9.59807923180794e-2 x4 x19 - .153596150395582 x5 x19 - .204825598716796 x6 x19 - .245821457669569 x7 x19 - .275347581122294 x8 x19 - .2937261297672 x9 x19 - .302133422913057 x10 x19 - .302140983052761 x11 x19 = 0 e9: 2.55769561603844e-2 x5 - 7.99040096048009e-3 x4 x20 - 2.55769561603844e-2 x5 x20 - 5.11679852758392e-2 x6 x20 - 8.18892538741687e-2 x7 x20 - .114670766025168 x8 x20 - .146807956791712 x9 x20 - .176200402504464 x10 x20 - .201402121569511 x11 x20 = 0 e10: 1.596161920384e-3 x5 - 1.596161920384e-3 x5 x21 - 6.38720256256101e-3 x6 x21 - 1.53350375081317e-2 x7 x21 - 2.86354282546281e-2 x8 x21 - 4.58315860606947e-2 x9 x21 - 6.60172990246554e-2 x10 x21 - 8.80472935145168e-2 x11 x21 = 0 e11: .409702429449282 x6 - .2 x2 x22 - .32003200320032 x3 x22 - .3840672124824 x4 x22 - .409692183046145 x5 x22 - .409702429449282 x6 x22 - .393314332271309 x7 x22 - .367084193942431 x8 x22 - .335603041715 x9 x22 - .302020066201112 x10 x22 - .268435410656179 x11 x22 = 0 e12: .204825598716796 x6 - 3.99839983998399e-2 x3 x23 - 9.59807923180794e-2 x4 x23 - .153596150395582 x5 x23 - .204825598716796 x6 x23 - .245821457669569 x7 x23 - .275347581122294 x8 x23 - .2937261297672 x9 x23 - .302133422913057 x10 x23 - .302140983052761 x11 x23 = 0 e13: 5.11679852758392e-2 x6 - 7.99040096048009e-3 x4 x24 - 2.55769561603844e-2 x5 x24 - 5.11679852758392e-2 x6 x24 - 8.18892538741687e-2 x7 x24 - .114670766025168 x8 x24 - .146807956791712 x9 x24 - .176200402504464 x10 x24 - .201402121569511 x11 x24 = 0 e14: 6.38720256256101e-3 x6 - 1.596161920384e-3 x5 x25 - 6.38720256256101e-3 x6 x25 - 1.53350375081317e-2 x7 x25 - 2.86354282546281e-2 x8 x25 - 4.58315860606947e-2 x9 x25 - 6.60172990246554e-2 x10 x25 - 8.80472935145168e-2 x11 x25 = 0 e15: 3.18721407871794e-4 x6 - 3.18721407871794e-4 x6 x26 - 1.53062807182051e-3 x7 x26 - 4.28779555860749e-3 x8 x26 - 9.15141635884911e-3 x9 x26 - 1.64795558845939e-2 x10 x26 - 2.63778458318911e-2 x11 x26 = 0 e16: .393314332271309 x7 - .2 x2 x27 - .32003200320032 x3 x27 - .3840672124824 x4 x27 - .409692183046145 x5 x27 - .409702429449282 x6 x27 - .393314332271309 x7 x27 - .367084193942431 x8 x27 - .335603041715 x9 x27 - .302020066201112 x10 x27 - .268435410656179 x11 x27 = 0 e17: .245821457669569 x7 - 3.99839983998399e-2 x3 x28 - 9.59807923180794e-2 x4 x28 - .153596150395582 x5 x28 - .204825598716796 x6 x28 - .245821457669569 x7 x28 - .275347581122294 x8 x28 - .2937261297672 x9 x28 - .302133422913057 x10 x28 - .302140983052761 x11 x28 = 0 e18: 8.18892538741687e-2 x7 - 7.99040096048009e-3 x4 x29 - 2.55769561603844e-2 x5 x29 - 5.11679852758392e-2 x6 x29 - 8.18892538741687e-2 x7 x29 - .114670766025168 x8 x29 - .146807956791712 x9 x29 - .176200402504464 x10 x29 - .201402121569511 x11 x29 = 0 e19: 1.53350375081317e-2 x7 - 1.596161920384e-3 x5 x30 - 6.38720256256101e-3 x6 x30 - 1.53350375081317e-2 x7 x30 - 2.86354282546281e-2 x8 x30 - 4.58315860606947e-2 x9 x30 - 6.60172990246554e-2 x10 x30 - 8.80472935145168e-2 x11 x30 = 0 e20: 1.53062807182051e-3 x7 - 3.18721407871794e-4 x6 x31 - 1.53062807182051e-3 x7 x31 - 4.28779555860749e-3 x8 x31 - 9.15141635884911e-3 x9 x31 - 1.64795558845939e-2 x10 x31 - 2.63778458318911e-2 x11 x31 = 0 e21: 6.36167292350403e-5 x7 - 6.36167292350403e-5 x7 x32 - 3.5646756425478e-4 x8 x32 - 1.14135256538535e-3 x9 x32 - 2.74075394854443e-3 x10 x32 - 5.48438828108048e-3 x11 x32 = 0 e22: .367084193942431 x8 - .2 x2 x33 - .32003200320032 x3 x33 - .3840672124824 x4 x33 - .409692183046145 x5 x33 - .409702429449282 x6 x33 - .393314332271309 x7 x33 - .367084193942431 x8 x33 - .335603041715 x9 x33 - .302020066201112 x10 x33 - .268435410656179 x11 x33 = 0 e23: .275347581122294 x8 - 3.99839983998399e-2 x3 x34 - 9.59807923180794e-2 x4 x34 - .153596150395582 x5 x34 - .204825598716796 x6 x34 - .245821457669569 x7 x34 - .275347581122294 x8 x34 - .2937261297672 x9 x34 - .302133422913057 x10 x34 - .302140983052761 x11 x34 = 0 e24: .114670766025168 x8 - 7.99040096048009e-3 x4 x35 - 2.55769561603844e-2 x5 x35 - 5.11679852758392e-2 x6 x35 - 8.18892538741687e-2 x7 x35 - .114670766025168 x8 x35 - .146807956791712 x9 x35 - .176200402504464 x10 x35 - .201402121569511 x11 x35 = 0 e25: 2.86354282546281e-2 x8 - 1.596161920384e-3 x5 x36 - 6.38720256256101e-3 x6 x36 - 1.53350375081317e-2 x7 x36 - 2.86354282546281e-2 x8 x36 - 4.58315860606947e-2 x9 x36 - 6.60172990246554e-2 x10 x36 - 8.80472935145168e-2 x11 x36 = 0 e26: 4.28779555860749e-3 x8 - 3.18721407871794e-4 x6 x37 - 1.53062807182051e-3 x7 x37 - 4.28779555860749e-3 x8 x37 - 9.15141635884911e-3 x9 x37 - 1.64795558845939e-2 x10 x37 - 2.63778458318911e-2 x11 x37 = 0 e27: 3.5646756425478e-4 x8 - 6.36167292350403e-5 x7 x38 - 3.5646756425478e-4 x8 x38 - 1.14135256538535e-3 x9 x38 - 2.74075394854443e-3 x10 x38 - 5.48438828108048e-3 x11 x38 = 0 e28: 1.26927914843577e-5 x8 - 1.26927914843577e-5 x8 x39 - 8.12907690382152e-5 x9 x39 - 2.92844463262116e-4 x10 x39 - 7.81426623017516e-4 x11 x39 = 0 e29: .335603041715 x9 - .2 x2 x40 - .32003200320032 x3 x40 - .3840672124824 x4 x40 - .409692183046145 x5 x40 - .409702429449282 x6 x40 - .393314332271309 x7 x40 - .367084193942431 x8 x40 - .335603041715 x9 x40 - .302020066201112 x10 x40 - .268435410656179 x11 x40 = 0 e30: .2937261297672 x9 - 3.99839983998399e-2 x3 x41 - 9.59807923180794e-2 x4 x41 - .153596150395582 x5 x41 - .204825598716796 x6 x41 - .245821457669569 x7 x41 - .275347581122294 x8 x41 - .2937261297672 x9 x41 - .302133422913057 x10 x41 - .302140983052761 x11 x41 = 0 e31: .146807956791712 x9 - 7.99040096048009e-3 x4 x42 - 2.55769561603844e-2 x5 x42 - 5.11679852758392e-2 x6 x42 - 8.18892538741687e-2 x7 x42 - .114670766025168 x8 x42 - .146807956791712 x9 x42 - .176200402504464 x10 x42 - .201402121569511 x11 x42 = 0 e32: 4.58315860606947e-2 x9 - 1.596161920384e-3 x5 x43 - 6.38720256256101e-3 x6 x43 - 1.53350375081317e-2 x7 x43 - 2.86354282546281e-2 x8 x43 - 4.58315860606947e-2 x9 x43 - 6.60172990246554e-2 x10 x43 - 8.80472935145168e-2 x11 x43 = 0 e33: 9.15141635884911e-3 x9 - 3.18721407871794e-4 x6 x44 - 1.53062807182051e-3 x7 x44 - 4.28779555860749e-3 x8 x44 - 9.15141635884911e-3 x9 x44 - 1.64795558845939e-2 x10 x44 - 2.63778458318911e-2 x11 x44 = 0 e34: 1.14135256538535e-3 x9 - 6.36167292350403e-5 x7 x45 - 3.5646756425478e-4 x8 x45 - 1.14135256538535e-3 x9 x45 - 2.74075394854443e-3 x10 x45 - 5.48438828108048e-3 x11 x45 = 0 e35: 8.12907690382152e-5 x9 - 1.26927914843577e-5 x8 x46 - 8.12907690382152e-5 x9 x46 - 2.92844463262116e-4 x10 x46 - 7.81426623017516e-4 x11 x46 = 0 e36: 2.53144535458066e-6 x9 - 2.53144535458066e-6 x9 x47 - 1.82409993524627e-5 x10 x47 - 7.30205954460765e-5 x11 x47 = 0 e37: .302020066201112 x10 - .2 x2 x48 - .32003200320032 x3 x48 - .3840672124824 x4 x48 - .409692183046145 x5 x48 - .409702429449282 x6 x48 - .393314332271309 x7 x48 - .367084193942431 x8 x48 - .335603041715 x9 x48 - .302020066201112 x10 x48 - .268435410656179 x11 x48 = 0 e38: .302133422913057 x10 - 3.99839983998399e-2 x3 x49 - 9.59807923180794e-2 x4 x49 - .153596150395582 x5 x49 - .204825598716796 x6 x49 - .245821457669569 x7 x49 - .275347581122294 x8 x49 - .2937261297672 x9 x49 - .302133422913057 x10 x49 - .302140983052761 x11 x49 = 0 e39: .176200402504464 x10 - 7.99040096048009e-3 x4 x50 - 2.55769561603844e-2 x5 x50 - 5.11679852758392e-2 x6 x50 - 8.18892538741687e-2 x7 x50 - .114670766025168 x8 x50 - .146807956791712 x9 x50 - .176200402504464 x10 x50 - .201402121569511 x11 x50 = 0 e40: 6.60172990246554e-2 x10 - 1.596161920384e-3 x5 x51 - 6.38720256256101e-3 x6 x51 - 1.53350375081317e-2 x7 x51 - 2.86354282546281e-2 x8 x51 - 4.58315860606947e-2 x9 x51 - 6.60172990246554e-2 x10 x51 - 8.80472935145168e-2 x11 x51 = 0 e41: 1.64795558845939e-2 x10 - 3.18721407871794e-4 x6 x52 - 1.53062807182051e-3 x7 x52 - 4.28779555860749e-3 x8 x52 - 9.15141635884911e-3 x9 x52 - 1.64795558845939e-2 x10 x52 - 2.63778458318911e-2 x11 x52 = 0 e42: 2.74075394854443e-3 x10 - 6.36167292350403e-5 x7 x53 - 3.5646756425478e-4 x8 x53 - 1.14135256538535e-3 x9 x53 - 2.74075394854443e-3 x10 x53 - 5.48438828108048e-3 x11 x53 = 0 e43: 2.92844463262116e-4 x10 - 1.26927914843577e-5 x8 x54 - 8.12907690382152e-5 x9 x54 - 2.92844463262116e-4 x10 x54 - 7.81426623017516e-4 x11 x54 = 0 e44: 1.82409993524627e-5 x10 - 2.53144535458066e-6 x9 x55 - 1.82409993524627e-5 x10 x55 - 7.30205954460765e-5 x11 x55 = 0 e45: 5.04667648751466e-7 x10 - 5.04667648751466e-7 x10 x56 - 4.04097807027501e-6 x11 x56 = 0 e46: .268435410656179 x11 - .2 x2 x57 - .32003200320032 x3 x57 - .3840672124824 x4 x57 - .409692183046145 x5 x57 - .409702429449282 x6 x57 - .393314332271309 x7 x57 - .367084193942431 x8 x57 - .335603041715 x9 x57 - .302020066201112 x10 x57 - .268435410656179 x11 x57 = 0 e47: .302140983052761 x11 - 3.99839983998399e-2 x3 x58 - 9.59807923180794e-2 x4 x58 - .153596150395582 x5 x58 - .204825598716796 x6 x58 - .245821457669569 x7 x58 - .275347581122294 x8 x58 - .2937261297672 x9 x58 - .302133422913057 x10 x58 - .302140983052761 x11 x58 = 0 e48: .201402121569511 x11 - 7.99040096048009e-3 x4 x59 - 2.55769561603844e-2 x5 x59 - 5.11679852758392e-2 x6 x59 - 8.18892538741687e-2 x7 x59 - .114670766025168 x8 x59 - .146807956791712 x9 x59 - .176200402504464 x10 x59 - .201402121569511 x11 x59 = 0 e49: 8.80472935145168e-2 x11 - 1.596161920384e-3 x5 x60 - 6.38720256256101e-3 x6 x60 - 1.53350375081317e-2 x7 x60 - 2.86354282546281e-2 x8 x60 - 4.58315860606947e-2 x9 x60 - 6.60172990246554e-2 x10 x60 - 8.80472935145168e-2 x11 x60 = 0 e50: 2.63778458318911e-2 x11 - 3.18721407871794e-4 x6 x61 - 1.53062807182051e-3 x7 x61 - 4.28779555860749e-3 x8 x61 - 9.15141635884911e-3 x9 x61 - 1.64795558845939e-2 x10 x61 - 2.63778458318911e-2 x11 x61 = 0 e51: 5.48438828108048e-3 x11 - 6.36167292350403e-5 x7 x62 - 3.5646756425478e-4 x8 x62 - 1.14135256538535e-3 x9 x62 - 2.74075394854443e-3 x10 x62 - 5.48438828108048e-3 x11 x62 = 0 e52: 7.81426623017516e-4 x11 - 1.26927914843577e-5 x8 x63 - 8.12907690382152e-5 x9 x63 - 2.92844463262116e-4 x10 x63 - 7.81426623017516e-4 x11 x63 = 0 e53: 7.30205954460765e-5 x11 - 2.53144535458066e-6 x9 x64 - 1.82409993524627e-5 x10 x64 - 7.30205954460765e-5 x11 x64 = 0 e54: 4.04097807027501e-6 x11 - 5.04667648751466e-7 x10 x65 - 4.04097807027501e-6 x11 x65 = 0 e55: 1.0056984172397e-7 x11 - 1.0056984172397e-7 x11 x66 = 0 e56: .200000000000001 x2 - 436 x12 - x67 + x77 = 0 e57: .36001600160016 x3 - 436 x13 - 288 x14 - x68 + x78 = 0 e58: .488038405760964 x4 - 436 x15 - 288 x16 - 185 x17 - x69 + x79 = 0 e59: .590461451522498 x5 - 436 x18 - 288 x19 - 185 x20 - 75 x21 - x70 + x80 = 0 e60: .672401937412355 x6 - 436 x22 - 288 x23 - 185 x24 - 75 x25 - 19 x26 - x71 + x81 = 0 e61: .737954326124241 x7 - 436 x27 - 288 x28 - 185 x29 - 75 x30 - 19 x31 - 4 x32 - x72 + x82 = 0 e62: .790394925258872 x8 - 436 x33 - 288 x34 - 185 x35 - 75 x36 - 19 x37 - 4 x38 - 2 x39 - x73 + x83 = 0 e63: .832345305473249 x9 - 436 x40 - 288 x41 - 185 x42 - 75 x43 - 19 x44 - 4 x45 - 2 x46 - x74 + x84 = 0 e64: .865903090606706 x10 - 436 x48 - 288 x49 - 185 x50 - 75 x51 - 19 x52 - 4 x53 - 2 x54 - x75 + x85 = 0 e65: .892746631672324 x11 - 436 x57 - 288 x58 - 185 x59 - 75 x60 - 19 x61 - 4 x62 - 2 x63 - 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 >= 436 e68: x3 + x4 + x5 + x6 + x7 + x8 + x9 + x10 + x11 >= 288 e69: x4 + x5 + x6 + x7 + x8 + x9 + x10 + x11 >= 185 e70: x5 + x6 + x7 + x8 + x9 + x10 + x11 >= 75 e71: x6 + x7 + x8 + x9 + x10 + x11 >= 19 e72: x7 + x8 + x9 + x10 + x11 >= 4 e73: x8 + x9 + x10 + x11 >= 2 e74: x9 + x10 + x11 >= 0 e75: x10 + x11 >= 0 e76: x11 >= 0 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