\ Equation counts \ Total E G L N X C B \ 129 5 0 124 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 95 45 50 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 518 368 150 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 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 x51 + 0 x52 + x53 + 0 x54 + 0 x55 + x56 + 0 x57 + 0 x58 + x59 + 0 x60 + x61 + 0 x62 + x63 + 0 x64 + x65 + 0 x66 + x67 + 0 x68 + x69 + 0 x70 + x71 + 0 x72 + x73 + 0 x74 + x75 + 0 x76 + x77 + x78 + x79 + x80 + x81 + x82 + x83 + x84 + x85 + x86 + x87 + x88 + x89 + x90 + x91 + x92 + x93 + x94 + x95 Subject To e1: x51 - x52 - x53 <= 0 e2: - x51 + x52 - x53 <= 0 e3: x54 - x55 - x56 <= 0 e4: - x54 + x55 - x56 <= 0 e5: x57 - x58 - x59 <= 0 e6: - x57 + x58 - x59 <= 0 e7: x51 - x60 - x61 <= 0 e8: - x51 + x60 - x61 <= 0 e9: x54 - x62 - x63 <= 0 e10: - x54 + x62 - x63 <= 0 e11: x57 - x64 - x65 <= 0 e12: - x57 + x64 - x65 <= 0 e13: x51 - x66 - x67 <= 0 e14: - x51 + x66 - x67 <= 0 e15: x54 - x68 - x69 <= 0 e16: - x54 + x68 - x69 <= 0 e17: x57 - x70 - x71 <= 0 e18: - x57 + x70 - x71 <= 0 e19: x51 - x72 - x73 <= 0 e20: - x51 + x72 - x73 <= 0 e21: x54 - x74 - x75 <= 0 e22: - x54 + x74 - x75 <= 0 e23: x57 - x76 - x77 <= 0 e24: - x57 + x76 - x77 <= 0 e25: x52 - x60 - x78 <= 0 e26: - x52 + x60 - x78 <= 0 e27: x55 - x62 - x79 <= 0 e28: - x55 + x62 - x79 <= 0 e29: x58 - x64 - x80 <= 0 e30: - x58 + x64 - x80 <= 0 e31: x52 - x66 - x81 <= 0 e32: - x52 + x66 - x81 <= 0 e33: x55 - x68 - x82 <= 0 e34: - x55 + x68 - x82 <= 0 e35: x58 - x70 - x83 <= 0 e36: - x58 + x70 - x83 <= 0 e37: x52 - x72 - x84 <= 0 e38: - x52 + x72 - x84 <= 0 e39: x55 - x74 - x85 <= 0 e40: - x55 + x74 - x85 <= 0 e41: x58 - x76 - x86 <= 0 e42: - x58 + x76 - x86 <= 0 e43: x60 - x66 - x87 <= 0 e44: - x60 + x66 - x87 <= 0 e45: x62 - x68 - x88 <= 0 e46: - x62 + x68 - x88 <= 0 e47: x64 - x70 - x89 <= 0 e48: - x64 + x70 - x89 <= 0 e49: x60 - x72 - x90 <= 0 e50: - x60 + x72 - x90 <= 0 e51: x62 - x74 - x91 <= 0 e52: - x62 + x74 - x91 <= 0 e53: x64 - x76 - x92 <= 0 e54: - x64 + x76 - x92 <= 0 e55: x66 - x72 - x93 <= 0 e56: - x66 + x72 - x93 <= 0 e57: x68 - x74 - x94 <= 0 e58: - x68 + x74 - x94 <= 0 e59: x70 - x76 - x95 <= 0 e60: - x70 + x76 - x95 <= 0 e61: 128.415159268527 b1 - 7.10883061544894 x51 - 5.3176799623912 x54 - 10.33426785605338 x57 + [ x51^2 + x54^2 + x57^2 ] <= 83.0125880129722 e62: 136.27463320812 b2 - 17.64188091883292 x51 - 19.03632670186114 x54 - 1.789541519494666 x57 + [ x51^2 + x54^2 + x57^2 ] <= -31.930405667946957 e63: 79.4930138069821 b3 - 13.72459183946076 x51 - 9.49331419473802 x54 - 2.29303165550766 x57 + [ x51^2 + x54^2 + x57^2 ] <= 9.556656373740225 e64: 124.602073729487 b4 - 14.27760575011132 x51 - 1.847278398496648 x54 - 10.13813588020586 x57 + [ x51^2 + x54^2 + x57^2 ] <= 48.091008088816594 e65: 152.575845479968 b5 - 19.09746950260244 x51 - 19.461417189988 x54 - 1.013364202540072 x57 + [ x51^2 + x54^2 + x57^2 ] <= -32.54590638317711 e66: 115.609943222472 b6 - 5.20591151952382 x51 - 19.21050618728188 x54 - 10.66119447008174 x57 + [ x51^2 + x54^2 + x57^2 ] <= -10.841589339929925 e67: 102.276439512632 b7 - 17.4978479394554 x51 - 12.84837811127134 x54 - 13.07529053999766 x57 + [ x51^2 + x54^2 + x57^2 ] <= -57.27824181433108 e68: 134.705801750617 b8 - 5.96139502225564 x51 - 2.9827430273012 x54 - 4.0997513412695 x57 + [ x51^2 + x54^2 + x57^2 ] <= 120.39506484098467 e69: 138.925429422844 b9 - 3.31583991131482 x51 - 12.34645303888584 x54 - 14.02824439975138 x57 + [ x51^2 + x54^2 + x57^2 ] <= 49.87009494833458 e70: 152.575845479968 b10 - 4.83907053942758 x51 - 2.19001947259414 x54 - 5.20379190097678 x57 + [ x51^2 + x54^2 + x57^2 ] <= 139.75278569882576 e71: b1 + b2 + b3 + b4 + b5 + b6 + b7 + b8 + b9 + b10 = 1 e72: 128.415159268527 b11 - 7.10883061544894 x52 - 5.3176799623912 x55 - 10.33426785605338 x58 + [ x52^2 + x55^2 + x58^2 ] <= 83.0125880129722 e73: 136.27463320812 b12 - 17.64188091883292 x52 - 19.03632670186114 x55 - 1.789541519494666 x58 + [ x52^2 + x55^2 + x58^2 ] <= -31.930405667946957 e74: 79.4930138069821 b13 - 13.72459183946076 x52 - 9.49331419473802 x55 - 2.29303165550766 x58 + [ x52^2 + x55^2 + x58^2 ] <= 9.556656373740225 e75: 124.602073729487 b14 - 14.27760575011132 x52 - 1.847278398496648 x55 - 10.13813588020586 x58 + [ x52^2 + x55^2 + x58^2 ] <= 48.091008088816594 e76: 152.575845479968 b15 - 19.09746950260244 x52 - 19.461417189988 x55 - 1.013364202540072 x58 + [ x52^2 + x55^2 + x58^2 ] <= -32.54590638317711 e77: 115.609943222472 b16 - 5.20591151952382 x52 - 19.21050618728188 x55 - 10.66119447008174 x58 + [ x52^2 + x55^2 + x58^2 ] <= -10.841589339929925 e78: 102.276439512632 b17 - 17.4978479394554 x52 - 12.84837811127134 x55 - 13.07529053999766 x58 + [ x52^2 + x55^2 + x58^2 ] <= -57.27824181433108 e79: 134.705801750617 b18 - 5.96139502225564 x52 - 2.9827430273012 x55 - 4.0997513412695 x58 + [ x52^2 + x55^2 + x58^2 ] <= 120.39506484098467 e80: 138.925429422844 b19 - 3.31583991131482 x52 - 12.34645303888584 x55 - 14.02824439975138 x58 + [ x52^2 + x55^2 + x58^2 ] <= 49.87009494833458 e81: 152.575845479968 b20 - 4.83907053942758 x52 - 2.19001947259414 x55 - 5.20379190097678 x58 + [ x52^2 + x55^2 + x58^2 ] <= 139.75278569882576 e82: b11 + b12 + b13 + b14 + b15 + b16 + b17 + b18 + b19 + b20 = 1 e83: 128.415159268527 b21 - 7.10883061544894 x60 - 5.3176799623912 x62 - 10.33426785605338 x64 + [ x60^2 + x62^2 + x64^2 ] <= 83.0125880129722 e84: 136.27463320812 b22 - 17.64188091883292 x60 - 19.03632670186114 x62 - 1.789541519494666 x64 + [ x60^2 + x62^2 + x64^2 ] <= -31.930405667946957 e85: 79.4930138069821 b23 - 13.72459183946076 x60 - 9.49331419473802 x62 - 2.29303165550766 x64 + [ x60^2 + x62^2 + x64^2 ] <= 9.556656373740225 e86: 124.602073729487 b24 - 14.27760575011132 x60 - 1.847278398496648 x62 - 10.13813588020586 x64 + [ x60^2 + x62^2 + x64^2 ] <= 48.091008088816594 e87: 152.575845479968 b25 - 19.09746950260244 x60 - 19.461417189988 x62 - 1.013364202540072 x64 + [ x60^2 + x62^2 + x64^2 ] <= -32.54590638317711 e88: 115.609943222472 b26 - 5.20591151952382 x60 - 19.21050618728188 x62 - 10.66119447008174 x64 + [ x60^2 + x62^2 + x64^2 ] <= -10.841589339929925 e89: 102.276439512632 b27 - 17.4978479394554 x60 - 12.84837811127134 x62 - 13.07529053999766 x64 + [ x60^2 + x62^2 + x64^2 ] <= -57.27824181433108 e90: 134.705801750617 b28 - 5.96139502225564 x60 - 2.9827430273012 x62 - 4.0997513412695 x64 + [ x60^2 + x62^2 + x64^2 ] <= 120.39506484098467 e91: 138.925429422844 b29 - 3.31583991131482 x60 - 12.34645303888584 x62 - 14.02824439975138 x64 + [ x60^2 + x62^2 + x64^2 ] <= 49.87009494833458 e92: 152.575845479968 b30 - 4.83907053942758 x60 - 2.19001947259414 x62 - 5.20379190097678 x64 + [ x60^2 + x62^2 + x64^2 ] <= 139.75278569882576 e93: b21 + b22 + b23 + b24 + b25 + b26 + b27 + b28 + b29 + b30 = 1 e94: 128.415159268527 b31 - 7.10883061544894 x66 - 5.3176799623912 x68 - 10.33426785605338 x70 + [ x66^2 + x68^2 + x70^2 ] <= 83.0125880129722 e95: 136.27463320812 b32 - 17.64188091883292 x66 - 19.03632670186114 x68 - 1.789541519494666 x70 + [ x66^2 + x68^2 + x70^2 ] <= -31.930405667946957 e96: 79.4930138069821 b33 - 13.72459183946076 x66 - 9.49331419473802 x68 - 2.29303165550766 x70 + [ x66^2 + x68^2 + x70^2 ] <= 9.556656373740225 e97: 124.602073729487 b34 - 14.27760575011132 x66 - 1.847278398496648 x68 - 10.13813588020586 x70 + [ x66^2 + x68^2 + x70^2 ] <= 48.091008088816594 e98: 152.575845479968 b35 - 19.09746950260244 x66 - 19.461417189988 x68 - 1.013364202540072 x70 + [ x66^2 + x68^2 + x70^2 ] <= -32.54590638317711 e99: 115.609943222472 b36 - 5.20591151952382 x66 - 19.21050618728188 x68 - 10.66119447008174 x70 + [ x66^2 + x68^2 + x70^2 ] <= -10.841589339929925 e100: 102.276439512632 b37 - 17.4978479394554 x66 - 12.84837811127134 x68 - 13.07529053999766 x70 + [ x66^2 + x68^2 + x70^2 ] <= -57.27824181433108 e101: 134.705801750617 b38 - 5.96139502225564 x66 - 2.9827430273012 x68 - 4.0997513412695 x70 + [ x66^2 + x68^2 + x70^2 ] <= 120.39506484098467 e102: 138.925429422844 b39 - 3.31583991131482 x66 - 12.34645303888584 x68 - 14.02824439975138 x70 + [ x66^2 + x68^2 + x70^2 ] <= 49.87009494833458 e103: 152.575845479968 b40 - 4.83907053942758 x66 - 2.19001947259414 x68 - 5.20379190097678 x70 + [ x66^2 + x68^2 + x70^2 ] <= 139.75278569882576 e104: b31 + b32 + b33 + b34 + b35 + b36 + b37 + b38 + b39 + b40 = 1 e105: 128.415159268527 b41 - 7.10883061544894 x72 - 5.3176799623912 x74 - 10.33426785605338 x76 + [ x72^2 + x74^2 + x76^2 ] <= 83.0125880129722 e106: 136.27463320812 b42 - 17.64188091883292 x72 - 19.03632670186114 x74 - 1.789541519494666 x76 + [ x72^2 + x74^2 + x76^2 ] <= -31.930405667946957 e107: 79.4930138069821 b43 - 13.72459183946076 x72 - 9.49331419473802 x74 - 2.29303165550766 x76 + [ x72^2 + x74^2 + x76^2 ] <= 9.556656373740225 e108: 124.602073729487 b44 - 14.27760575011132 x72 - 1.847278398496648 x74 - 10.13813588020586 x76 + [ x72^2 + x74^2 + x76^2 ] <= 48.091008088816594 e109: 152.575845479968 b45 - 19.09746950260244 x72 - 19.461417189988 x74 - 1.013364202540072 x76 + [ x72^2 + x74^2 + x76^2 ] <= -32.54590638317711 e110: 115.609943222472 b46 - 5.20591151952382 x72 - 19.21050618728188 x74 - 10.66119447008174 x76 + [ x72^2 + x74^2 + x76^2 ] <= -10.841589339929925 e111: 102.276439512632 b47 - 17.4978479394554 x72 - 12.84837811127134 x74 - 13.07529053999766 x76 + [ x72^2 + x74^2 + x76^2 ] <= -57.27824181433108 e112: 134.705801750617 b48 - 5.96139502225564 x72 - 2.9827430273012 x74 - 4.0997513412695 x76 + [ x72^2 + x74^2 + x76^2 ] <= 120.39506484098467 e113: 138.925429422844 b49 - 3.31583991131482 x72 - 12.34645303888584 x74 - 14.02824439975138 x76 + [ x72^2 + x74^2 + x76^2 ] <= 49.87009494833458 e114: 152.575845479968 b50 - 4.83907053942758 x72 - 2.19001947259414 x74 - 5.20379190097678 x76 + [ x72^2 + x74^2 + x76^2 ] <= 139.75278569882576 e115: b41 + b42 + b43 + b44 + b45 + b46 + b47 + b48 + b49 + b50 = 1 e116: b1 + b11 + b21 + b31 + b41 <= 1 e117: b2 + b12 + b22 + b32 + b42 <= 1 e118: b3 + b13 + b23 + b33 + b43 <= 1 e119: b4 + b14 + b24 + b34 + b44 <= 1 e120: b5 + b15 + b25 + b35 + b45 <= 1 e121: b6 + b16 + b26 + b36 + b46 <= 1 e122: b7 + b17 + b27 + b37 + b47 <= 1 e123: b8 + b18 + b28 + b38 + b48 <= 1 e124: b9 + b19 + b29 + b39 + b49 <= 1 e125: b10 + b20 + b30 + b40 + b50 <= 1 e126: x51 - x52 <= 0 e127: x52 - x60 <= 0 e128: x60 - x66 <= 0 e129: x66 - x72 <= 0 Bounds x51 <= 10 x52 <= 10 x53 <= 10 x54 <= 10 x55 <= 10 x56 <= 10 x57 <= 10 x58 <= 10 x59 <= 10 x60 <= 10 x61 <= 10 x62 <= 10 x63 <= 10 x64 <= 10 x65 <= 10 x66 <= 10 x67 <= 10 x68 <= 10 x69 <= 10 x70 <= 10 x71 <= 10 x72 <= 10 x73 <= 10 x74 <= 10 x75 <= 10 x76 <= 10 x77 <= 10 x78 <= 10 x79 <= 10 x80 <= 10 x81 <= 10 x82 <= 10 x83 <= 10 x84 <= 10 x85 <= 10 x86 <= 10 x87 <= 10 x88 <= 10 x89 <= 10 x90 <= 10 x91 <= 10 x92 <= 10 x93 <= 10 x94 <= 10 x95 <= 10 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 b37 b38 b39 b40 b41 b42 b43 b44 b45 b46 b47 b48 b49 b50 End