\ 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 \ 606 166 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: 9.97999999999999e-2 x2 - 9.97999999999999e-2 x2 x12 - .179697889788979 x3 x12 - .242667639426474 x4 x12 - .291288553877934 x5 x12 - .32779432977535 x6 x12 - .354116263650056 x7 x12 - .371921288913631 x8 x12 - .382645442102839 x9 x12 - .387523290700504 x10 x12 - .387613794254864 x11 x12 = 0 e2: .179697889788979 x3 - 9.97999999999999e-2 x2 x13 - .179697889788979 x3 x13 - .242667639426474 x4 x13 - .291288553877934 x5 x13 - .32779432977535 x6 x13 - .354116263650056 x7 x13 - .371921288913631 x8 x13 - .382645442102839 x9 x13 - .387523290700504 x10 x13 - .387613794254864 x11 x13 = 0 e3: 9.95105510551053e-3 x3 - 9.95105510551053e-3 x3 x14 - 2.68791952569931e-2 x4 x14 - 4.84024480360498e-2 x5 x14 - 7.26327251441325e-2 x6 x14 - 9.8092330200907e-2 x7 x14 - .123643056034308 x8 x14 - .148426108294561 x9 x14 - .171811326660768 x10 x14 - .193354379355624 x11 x14 = 0 e4: .242667639426474 x4 - 9.97999999999999e-2 x2 x15 - .179697889788979 x3 x15 - .242667639426474 x4 x15 - .291288553877934 x5 x15 - .32779432977535 x6 x15 - .354116263650056 x7 x15 - .371921288913631 x8 x15 - .382645442102839 x9 x15 - .387523290700504 x10 x15 - .387613794254864 x11 x15 = 0 e5: 2.68791952569931e-2 x4 - 9.95105510551053e-3 x3 x16 - 2.68791952569931e-2 x4 x16 - 4.84024480360498e-2 x5 x16 - 7.26327251441325e-2 x6 x16 - 9.8092330200907e-2 x7 x16 - .123643056034308 x8 x16 - .148426108294561 x9 x16 - .171811326660768 x10 x16 - .193354379355624 x11 x16 = 0 e6: 9.91323353179483e-4 x4 - 9.91323353179483e-4 x4 x17 - 3.57062831862428e-3 x5 x17 - 8.03802158261731e-3 x6 x17 - 1.44756766870547e-2 x7 x17 - 2.28103437449379e-2 x8 x17 - 3.28625995023637e-2 x9 x17 - 4.43852293418879e-2 x10 x17 - 5.70927439209041e-2 x11 x17 = 0 e7: .291288553877934 x5 - 9.97999999999999e-2 x2 x18 - .179697889788979 x3 x18 - .242667639426474 x4 x18 - .291288553877934 x5 x18 - .32779432977535 x6 x18 - .354116263650056 x7 x18 - .371921288913631 x8 x18 - .382645442102839 x9 x18 - .387523290700504 x10 x18 - .387613794254864 x11 x18 = 0 e8: 4.84024480360498e-2 x5 - 9.95105510551053e-3 x3 x19 - 2.68791952569931e-2 x4 x19 - 4.84024480360498e-2 x5 x19 - 7.26327251441325e-2 x6 x19 - 9.8092330200907e-2 x7 x19 - .123643056034308 x8 x19 - .148426108294561 x9 x19 - .171811326660768 x10 x19 - .193354379355624 x11 x19 = 0 e9: 3.57062831862428e-3 x5 - 9.91323353179483e-4 x4 x20 - 3.57062831862428e-3 x5 x20 - 8.03802158261731e-3 x6 x20 - 1.44756766870547e-2 x7 x20 - 2.28103437449379e-2 x8 x20 - 3.28625995023637e-2 x9 x20 - 4.43852293418879e-2 x10 x20 - 5.70927439209041e-2 x11 x20 = 0 e10: 9.86662735234163e-5 x5 - 9.86662735234163e-5 x5 x21 - 4.44274606971685e-4 x6 x21 - 1.20027485863495e-3 x7 x21 - 2.52209045740786e-3 x8 x21 - 4.54243811192095e-3 x9 x21 - 7.36300486748561e-3 x10 x21 - 1.10507714931385e-2 x11 x21 = 0 e11: .32779432977535 x6 - 9.97999999999999e-2 x2 x22 - .179697889788979 x3 x22 - .242667639426474 x4 x22 - .291288553877934 x5 x22 - .32779432977535 x6 x22 - .354116263650056 x7 x22 - .371921288913631 x8 x22 - .382645442102839 x9 x22 - .387523290700504 x10 x22 - .387613794254864 x11 x22 = 0 e12: 7.26327251441325e-2 x6 - 9.95105510551053e-3 x3 x23 - 2.68791952569931e-2 x4 x23 - 4.84024480360498e-2 x5 x23 - 7.26327251441325e-2 x6 x23 - 9.8092330200907e-2 x7 x23 - .123643056034308 x8 x23 - .148426108294561 x9 x23 - .171811326660768 x10 x23 - .193354379355624 x11 x23 = 0 e13: 8.03802158261731e-3 x6 - 9.91323353179483e-4 x4 x24 - 3.57062831862428e-3 x5 x24 - 8.03802158261731e-3 x6 x24 - 1.44756766870547e-2 x7 x24 - 2.28103437449379e-2 x8 x24 - 3.28625995023637e-2 x9 x24 - 4.43852293418879e-2 x10 x24 - 5.70927439209041e-2 x11 x24 = 0 e14: 4.44274606971685e-4 x6 - 9.86662735234163e-5 x5 x25 - 4.44274606971685e-4 x6 x25 - 1.20027485863495e-3 x7 x25 - 2.52209045740786e-3 x8 x25 - 4.54243811192095e-3 x9 x25 - 7.36300486748561e-3 x10 x25 - 1.10507714931385e-2 x11 x25 = 0 e15: 9.81135212907916e-6 x6 - 9.81135212907916e-6 x6 x26 - 5.30195849120382e-5 x7 x26 - 1.67130527644226e-4 x8 x26 - 4.01394242315761e-4 x9 x26 - 8.13383733972072e-4 x10 x26 - 1.46508394320501e-3 x11 x26 = 0 e16: .354116263650056 x7 - 9.97999999999999e-2 x2 x27 - .179697889788979 x3 x27 - .242667639426474 x4 x27 - .291288553877934 x5 x27 - .32779432977535 x6 x27 - .354116263650056 x7 x27 - .371921288913631 x8 x27 - .382645442102839 x9 x27 - .387523290700504 x10 x27 - .387613794254864 x11 x27 = 0 e17: 9.8092330200907e-2 x7 - 9.95105510551053e-3 x3 x28 - 2.68791952569931e-2 x4 x28 - 4.84024480360498e-2 x5 x28 - 7.26327251441325e-2 x6 x28 - 9.8092330200907e-2 x7 x28 - .123643056034308 x8 x28 - .148426108294561 x9 x28 - .171811326660768 x10 x28 - .193354379355624 x11 x28 = 0 e18: 1.44756766870547e-2 x7 - 9.91323353179483e-4 x4 x29 - 3.57062831862428e-3 x5 x29 - 8.03802158261731e-3 x6 x29 - 1.44756766870547e-2 x7 x29 - 2.28103437449379e-2 x8 x29 - 3.28625995023637e-2 x9 x29 - 4.43852293418879e-2 x10 x29 - 5.70927439209041e-2 x11 x29 = 0 e19: 1.20027485863495e-3 x7 - 9.86662735234163e-5 x5 x30 - 4.44274606971685e-4 x6 x30 - 1.20027485863495e-3 x7 x30 - 2.52209045740786e-3 x8 x30 - 4.54243811192095e-3 x9 x30 - 7.36300486748561e-3 x10 x30 - 1.10507714931385e-2 x11 x30 = 0 e20: 5.30195849120382e-5 x7 - 9.81135212907916e-6 x6 x31 - 5.30195849120382e-5 x7 x31 - 1.67130527644226e-4 x8 x31 - 4.01394242315761e-4 x9 x31 - 8.13383733972072e-4 x10 x31 - 1.46508394320501e-3 x11 x31 = 0 e21: 9.74754643739431e-7 x7 - 9.74754643739431e-7 x7 x32 - 6.14600651596926e-6 x8 x32 - 2.21435823677529e-5 x9 x32 - 5.9835540825593e-5 x10 x32 - 1.34736270615932e-4 x11 x32 = 0 e22: .371921288913631 x8 - 9.97999999999999e-2 x2 x33 - .179697889788979 x3 x33 - .242667639426474 x4 x33 - .291288553877934 x5 x33 - .32779432977535 x6 x33 - .354116263650056 x7 x33 - .371921288913631 x8 x33 - .382645442102839 x9 x33 - .387523290700504 x10 x33 - .387613794254864 x11 x33 = 0 e23: .123643056034308 x8 - 9.95105510551053e-3 x3 x34 - 2.68791952569931e-2 x4 x34 - 4.84024480360498e-2 x5 x34 - 7.26327251441325e-2 x6 x34 - 9.8092330200907e-2 x7 x34 - .123643056034308 x8 x34 - .148426108294561 x9 x34 - .171811326660768 x10 x34 - .193354379355624 x11 x34 = 0 e24: 2.28103437449379e-2 x8 - 9.91323353179483e-4 x4 x35 - 3.57062831862428e-3 x5 x35 - 8.03802158261731e-3 x6 x35 - 1.44756766870547e-2 x7 x35 - 2.28103437449379e-2 x8 x35 - 3.28625995023637e-2 x9 x35 - 4.43852293418879e-2 x10 x35 - 5.70927439209041e-2 x11 x35 = 0 e25: 2.52209045740786e-3 x8 - 9.86662735234163e-5 x5 x36 - 4.44274606971685e-4 x6 x36 - 1.20027485863495e-3 x7 x36 - 2.52209045740786e-3 x8 x36 - 4.54243811192095e-3 x9 x36 - 7.36300486748561e-3 x10 x36 - 1.10507714931385e-2 x11 x36 = 0 e26: 1.67130527644226e-4 x8 - 9.81135212907916e-6 x6 x37 - 5.30195849120382e-5 x7 x37 - 1.67130527644226e-4 x8 x37 - 4.01394242315761e-4 x9 x37 - 8.13383733972072e-4 x10 x37 - 1.46508394320501e-3 x11 x37 = 0 e27: 6.14600651596926e-6 x8 - 9.74754643739431e-7 x7 x38 - 6.14600651596926e-6 x8 x38 - 2.21435823677529e-5 x9 x38 - 5.9835540825593e-5 x10 x38 - 1.34736270615932e-4 x11 x38 = 0 e28: 9.67537128866831e-8 x8 - 9.67537128866831e-8 x8 x39 - 6.97269627463954e-7 x9 x39 - 2.82651697614227e-6 x10 x39 - 8.48718939888591e-6 x11 x39 = 0 e29: .382645442102839 x9 - 9.97999999999999e-2 x2 x40 - .179697889788979 x3 x40 - .242667639426474 x4 x40 - .291288553877934 x5 x40 - .32779432977535 x6 x40 - .354116263650056 x7 x40 - .371921288913631 x8 x40 - .382645442102839 x9 x40 - .387523290700504 x10 x40 - .387613794254864 x11 x40 = 0 e30: .148426108294561 x9 - 9.95105510551053e-3 x3 x41 - 2.68791952569931e-2 x4 x41 - 4.84024480360498e-2 x5 x41 - 7.26327251441325e-2 x6 x41 - 9.8092330200907e-2 x7 x41 - .123643056034308 x8 x41 - .148426108294561 x9 x41 - .171811326660768 x10 x41 - .193354379355624 x11 x41 = 0 e31: 3.28625995023637e-2 x9 - 9.91323353179483e-4 x4 x42 - 3.57062831862428e-3 x5 x42 - 8.03802158261731e-3 x6 x42 - 1.44756766870547e-2 x7 x42 - 2.28103437449379e-2 x8 x42 - 3.28625995023637e-2 x9 x42 - 4.43852293418879e-2 x10 x42 - 5.70927439209041e-2 x11 x42 = 0 e32: 4.54243811192095e-3 x9 - 9.86662735234163e-5 x5 x43 - 4.44274606971685e-4 x6 x43 - 1.20027485863495e-3 x7 x43 - 2.52209045740786e-3 x8 x43 - 4.54243811192095e-3 x9 x43 - 7.36300486748561e-3 x10 x43 - 1.10507714931385e-2 x11 x43 = 0 e33: 4.01394242315761e-4 x9 - 9.81135212907916e-6 x6 x44 - 5.30195849120382e-5 x7 x44 - 1.67130527644226e-4 x8 x44 - 4.01394242315761e-4 x9 x44 - 8.13383733972072e-4 x10 x44 - 1.46508394320501e-3 x11 x44 = 0 e34: 2.21435823677529e-5 x9 - 9.74754643739431e-7 x7 x45 - 6.14600651596926e-6 x8 x45 - 2.21435823677529e-5 x9 x45 - 5.9835540825593e-5 x10 x45 - 1.34736270615932e-4 x11 x45 = 0 e35: 6.97269627463954e-7 x9 - 9.67537128866831e-8 x8 x46 - 6.97269627463954e-7 x9 x46 - 2.82651697614227e-6 x10 x46 - 8.48718939888591e-6 x11 x46 = 0 e36: 9.59500945368779e-9 x9 - 9.59500945368779e-9 x9 x47 - 7.77990868613764e-8 x10 x47 - 3.50450195595659e-7 x11 x47 = 0 e37: .387523290700504 x10 - 9.97999999999999e-2 x2 x48 - .179697889788979 x3 x48 - .242667639426474 x4 x48 - .291288553877934 x5 x48 - .32779432977535 x6 x48 - .354116263650056 x7 x48 - .371921288913631 x8 x48 - .382645442102839 x9 x48 - .387523290700504 x10 x48 - .387613794254864 x11 x48 = 0 e38: .171811326660768 x10 - 9.95105510551053e-3 x3 x49 - 2.68791952569931e-2 x4 x49 - 4.84024480360498e-2 x5 x49 - 7.26327251441325e-2 x6 x49 - 9.8092330200907e-2 x7 x49 - .123643056034308 x8 x49 - .148426108294561 x9 x49 - .171811326660768 x10 x49 - .193354379355624 x11 x49 = 0 e39: 4.43852293418879e-2 x10 - 9.91323353179483e-4 x4 x50 - 3.57062831862428e-3 x5 x50 - 8.03802158261731e-3 x6 x50 - 1.44756766870547e-2 x7 x50 - 2.28103437449379e-2 x8 x50 - 3.28625995023637e-2 x9 x50 - 4.43852293418879e-2 x10 x50 - 5.70927439209041e-2 x11 x50 = 0 e40: 7.36300486748561e-3 x10 - 9.86662735234163e-5 x5 x51 - 4.44274606971685e-4 x6 x51 - 1.20027485863495e-3 x7 x51 - 2.52209045740786e-3 x8 x51 - 4.54243811192095e-3 x9 x51 - 7.36300486748561e-3 x10 x51 - 1.10507714931385e-2 x11 x51 = 0 e41: 8.13383733972072e-4 x10 - 9.81135212907916e-6 x6 x52 - 5.30195849120382e-5 x7 x52 - 1.67130527644226e-4 x8 x52 - 4.01394242315761e-4 x9 x52 - 8.13383733972072e-4 x10 x52 - 1.46508394320501e-3 x11 x52 = 0 e42: 5.9835540825593e-5 x10 - 9.74754643739431e-7 x7 x53 - 6.14600651596926e-6 x8 x53 - 2.21435823677529e-5 x9 x53 - 5.9835540825593e-5 x10 x53 - 1.34736270615932e-4 x11 x53 = 0 e43: 2.82651697614227e-6 x10 - 9.67537128866831e-8 x8 x54 - 6.97269627463954e-7 x9 x54 - 2.82651697614227e-6 x10 x54 - 8.48718939888591e-6 x11 x54 = 0 e44: 7.77990868613764e-8 x10 - 9.59500945368779e-9 x9 x55 - 7.77990868613764e-8 x10 x55 - 3.50450195595659e-7 x11 x55 = 0 e45: 9.5066646909036e-10 x10 - 9.5066646909036e-10 x10 x56 - 8.56560860249376e-9 x11 x56 = 0 e46: .387613794254864 x11 - 9.97999999999999e-2 x2 x57 - .179697889788979 x3 x57 - .242667639426474 x4 x57 - .291288553877934 x5 x57 - .32779432977535 x6 x57 - .354116263650056 x7 x57 - .371921288913631 x8 x57 - .382645442102839 x9 x57 - .387523290700504 x10 x57 - .387613794254864 x11 x57 = 0 e47: .193354379355624 x11 - 9.95105510551053e-3 x3 x58 - 2.68791952569931e-2 x4 x58 - 4.84024480360498e-2 x5 x58 - 7.26327251441325e-2 x6 x58 - 9.8092330200907e-2 x7 x58 - .123643056034308 x8 x58 - .148426108294561 x9 x58 - .171811326660768 x10 x58 - .193354379355624 x11 x58 = 0 e48: 5.70927439209041e-2 x11 - 9.91323353179483e-4 x4 x59 - 3.57062831862428e-3 x5 x59 - 8.03802158261731e-3 x6 x59 - 1.44756766870547e-2 x7 x59 - 2.28103437449379e-2 x8 x59 - 3.28625995023637e-2 x9 x59 - 4.43852293418879e-2 x10 x59 - 5.70927439209041e-2 x11 x59 = 0 e49: 1.10507714931385e-2 x11 - 9.86662735234163e-5 x5 x60 - 4.44274606971685e-4 x6 x60 - 1.20027485863495e-3 x7 x60 - 2.52209045740786e-3 x8 x60 - 4.54243811192095e-3 x9 x60 - 7.36300486748561e-3 x10 x60 - 1.10507714931385e-2 x11 x60 = 0 e50: 1.46508394320501e-3 x11 - 9.81135212907916e-6 x6 x61 - 5.30195849120382e-5 x7 x61 - 1.67130527644226e-4 x8 x61 - 4.01394242315761e-4 x9 x61 - 8.13383733972072e-4 x10 x61 - 1.46508394320501e-3 x11 x61 = 0 e51: 1.34736270615932e-4 x11 - 9.74754643739431e-7 x7 x62 - 6.14600651596926e-6 x8 x62 - 2.21435823677529e-5 x9 x62 - 5.9835540825593e-5 x10 x62 - 1.34736270615932e-4 x11 x62 = 0 e52: 8.48718939888591e-6 x11 - 9.67537128866831e-8 x8 x63 - 6.97269627463954e-7 x9 x63 - 2.82651697614227e-6 x10 x63 - 8.48718939888591e-6 x11 x63 = 0 e53: 3.50450195595659e-7 x11 - 9.59500945368779e-9 x9 x64 - 7.77990868613764e-8 x10 x64 - 3.50450195595659e-7 x11 x64 = 0 e54: 8.56560860249376e-9 x11 - 9.5066646909036e-10 x10 x65 - 8.56560860249376e-9 x11 x65 = 0 e55: 9.41056088409932e-11 x11 - 9.41056088409932e-11 x11 x66 = 0 e56: 9.98000000000008e-2 x2 - 449 x12 - x67 + x77 = 0 e57: .189648944894492 x3 - 449 x13 - 174 x14 - x68 + x78 = 0 e58: .27053815803665 x4 - 449 x15 - 174 x16 - 52 x17 - x69 + x79 = 0 e59: .343360296506133 x5 - 449 x18 - 174 x19 - 52 x20 - 10 x21 - x70 + x80 = 0 e60: .408919162461202 x6 - 449 x22 - 174 x23 - 52 x24 - 10 x25 - x26 - x71 + x81 = 0 e61: .467938539736214 x7 - 449 x27 - 174 x28 - 52 x29 - 10 x30 - x31 - x72 + x82 = 0 e62: .52107015243816 x8 - 449 x33 - 174 x34 - 52 x35 - 10 x36 - x37 - x73 + x83 = 0 e63: .568900832701015 x9 - 449 x40 - 174 x41 - 52 x42 - 10 x43 - x44 - x74 + x84 = 0 e64: .611958976112189 x10 - 449 x48 - 174 x49 - 52 x50 - 10 x51 - x52 - x75 + x85 = 0 e65: .650720355537673 x11 - 449 x57 - 174 x58 - 52 x59 - 10 x60 - x61 - 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 >= 449 e68: x3 + x4 + x5 + x6 + x7 + x8 + x9 + x10 + x11 >= 174 e69: x4 + x5 + x6 + x7 + x8 + x9 + x10 + x11 >= 52 e70: x5 + x6 + x7 + x8 + x9 + x10 + x11 >= 10 e71: x6 + x7 + x8 + x9 + x10 + x11 >= 1 e72: x7 + x8 + x9 + x10 + x11 >= 0 e73: x8 + x9 + x10 + x11 >= 0 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