\ Equation counts \ Total E G L N X C B \ 169 5 0 164 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 130 30 100 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 648 448 200 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 b51 + 0 b52 + 0 b53 + 0 b54 + 0 b55 + 0 b56 + 0 b57 + 0 b58 + 0 b59 + 0 b60 + 0 b61 + 0 b62 + 0 b63 + 0 b64 + 0 b65 + 0 b66 + 0 b67 + 0 b68 + 0 b69 + 0 b70 + 0 b71 + 0 b72 + 0 b73 + 0 b74 + 0 b75 + 0 b76 + 0 b77 + 0 b78 + 0 b79 + 0 b80 + 0 b81 + 0 b82 + 0 b83 + 0 b84 + 0 b85 + 0 b86 + 0 b87 + 0 b88 + 0 b89 + 0 b90 + 0 b91 + 0 b92 + 0 b93 + 0 b94 + 0 b95 + 0 b96 + 0 b97 + 0 b98 + 0 b99 + 0 b100 + 0 x101 + 0 x102 + x103 + 0 x104 + 0 x105 + x106 + 0 x107 + x108 + 0 x109 + x110 + 0 x111 + x112 + 0 x113 + x114 + 0 x115 + x116 + 0 x117 + x118 + x119 + x120 + x121 + x122 + x123 + x124 + x125 + x126 + x127 + x128 + x129 + x130 Subject To e1: x101 - x102 - x103 <= 0 e2: - x101 + x102 - x103 <= 0 e3: x104 - x105 - x106 <= 0 e4: - x104 + x105 - x106 <= 0 e5: x101 - x107 - x108 <= 0 e6: - x101 + x107 - x108 <= 0 e7: x104 - x109 - x110 <= 0 e8: - x104 + x109 - x110 <= 0 e9: x101 - x111 - x112 <= 0 e10: - x101 + x111 - x112 <= 0 e11: x104 - x113 - x114 <= 0 e12: - x104 + x113 - x114 <= 0 e13: x101 - x115 - x116 <= 0 e14: - x101 + x115 - x116 <= 0 e15: x104 - x117 - x118 <= 0 e16: - x104 + x117 - x118 <= 0 e17: x102 - x107 - x119 <= 0 e18: - x102 + x107 - x119 <= 0 e19: x105 - x109 - x120 <= 0 e20: - x105 + x109 - x120 <= 0 e21: x102 - x111 - x121 <= 0 e22: - x102 + x111 - x121 <= 0 e23: x105 - x113 - x122 <= 0 e24: - x105 + x113 - x122 <= 0 e25: x102 - x115 - x123 <= 0 e26: - x102 + x115 - x123 <= 0 e27: x105 - x117 - x124 <= 0 e28: - x105 + x117 - x124 <= 0 e29: x107 - x111 - x125 <= 0 e30: - x107 + x111 - x125 <= 0 e31: x109 - x113 - x126 <= 0 e32: - x109 + x113 - x126 <= 0 e33: x107 - x115 - x127 <= 0 e34: - x107 + x115 - x127 <= 0 e35: x109 - x117 - x128 <= 0 e36: - x109 + x117 - x128 <= 0 e37: x111 - x115 - x129 <= 0 e38: - x111 + x115 - x129 <= 0 e39: x113 - x117 - x130 <= 0 e40: - x113 + x117 - x130 <= 0 e41: 133.598318045686 b1 - 4.7350772673207e-2 x101 - 1.723876936391702 x104 + x101^2 + x104^2 <= 133.854819598812 e42: 94.8544563231416 b2 - 2.86191782875626 x101 - 10.2166325165755 x104 + x101^2 + x104^2 <= 67.71191791381641 e43: 87.4797735261255 b3 - 2.42758726555134 x101 - 6.00865697080466 x104 + x101^2 + x104^2 <= 77.98048889495888 e44: 103.126413671578 b4 - 17.68886435643618 x101 - .76913281116287 x104 + x101^2 + x104^2 <= 25.754541796176582 e45: 95.2983106051005 b5 - 11.76728174590456 x101 - 14.88940382677278 x104 + x101^2 + x104^2 <= 6.257494104046856 e46: 105.43767414173 b6 - 16.14193596084676 x101 - 11.11430373938354 x104 + x101^2 + x104^2 <= 10.415213097891822 e47: 118.60294806901 b7 - 19.21223230444158 x101 - 6.98016858944742 x104 + x101^2 + x104^2 <= 15.144792154775743 e48: 65.8153811229109 b8 - 7.7657307933958 x101 - 11.13254942851766 x104 + x101^2 + x104^2 <= 20.755323239439747 e49: 81.404902491826 b9 - 6.95418342153458 x101 - 2.03178346940586 x104 + x101^2 + x104^2 <= 69.28269971010167 e50: 58.2801217051105 b10 - 6.5947594867287 x101 - 8.28221844596674 x104 + x101^2 + x104^2 <= 31.25862293648303 e51: 133.598318045686 b11 - 16.56691766848954 x101 - 15.01612917514778 x104 + x101^2 + x104^2 <= 9.611593935877181 e52: 93.8794468182122 b12 - 10.8169933941176 x101 - 15.49368884534716 x104 + x101^2 + x104^2 <= 5.614011787007499 e53: 103.126413671578 b13 - 6.8658485062849 x101 - 15.6598716079132 x104 + x101^2 + x104^2 <= 31.033550049682873 e54: 86.2293028346251 b14 - 16.70008895810024 x101 - 2.66526908296188 x104 + x101^2 + x104^2 <= 15.730145211361602 e55: 90.5806541970954 b15 - 5.30840900607036 x101 - 12.62192643784898 x104 + x101^2 + x104^2 <= 44.70759590254541 e56: 112.431237492188 b16 - 11.6688631982702 x101 - 17.13368281727288 x104 + x101^2 + x104^2 <= 5.999873686473848 e57: 95.3905990097055 b17 - 8.21915314639648 x101 - 15.6467668422448 x104 + x101^2 + x104^2 <= 18.296651244832887 e58: 72.1079233169562 b18 - 14.78948114006108 x101 - 4.99477105291608 x104 + x101^2 + x104^2 <= 12.188800751138515 e59: 55.1492512196064 b19 - 12.28443038480434 x101 - 6.07182406224868 x104 + x101^2 + x104^2 <= 9.205681889104852 e60: 97.1056389080134 b20 - 16.53948771881332 x101 - 8.44647628641748 x104 + x101^2 + x104^2 <= 11.88123499356604 e61: b1 + b2 + b3 + b4 + b5 + b6 + b7 + b8 + b9 + b10 + b11 + b12 + b13 + b14 + b15 + b16 + b17 + b18 + b19 + b20 = 1 e62: 133.598318045686 b21 - 4.7350772673207e-2 x102 - 1.723876936391702 x105 + x102^2 + x105^2 <= 133.854819598812 e63: 94.8544563231416 b22 - 2.86191782875626 x102 - 10.2166325165755 x105 + x102^2 + x105^2 <= 67.71191791381641 e64: 87.4797735261255 b23 - 2.42758726555134 x102 - 6.00865697080466 x105 + x102^2 + x105^2 <= 77.98048889495888 e65: 103.126413671578 b24 - 17.68886435643618 x102 - .76913281116287 x105 + x102^2 + x105^2 <= 25.754541796176582 e66: 95.2983106051005 b25 - 11.76728174590456 x102 - 14.88940382677278 x105 + x102^2 + x105^2 <= 6.257494104046856 e67: 105.43767414173 b26 - 16.14193596084676 x102 - 11.11430373938354 x105 + x102^2 + x105^2 <= 10.415213097891822 e68: 118.60294806901 b27 - 19.21223230444158 x102 - 6.98016858944742 x105 + x102^2 + x105^2 <= 15.144792154775743 e69: 65.8153811229109 b28 - 7.7657307933958 x102 - 11.13254942851766 x105 + x102^2 + x105^2 <= 20.755323239439747 e70: 81.404902491826 b29 - 6.95418342153458 x102 - 2.03178346940586 x105 + x102^2 + x105^2 <= 69.28269971010167 e71: 58.2801217051105 b30 - 6.5947594867287 x102 - 8.28221844596674 x105 + x102^2 + x105^2 <= 31.25862293648303 e72: 133.598318045686 b31 - 16.56691766848954 x102 - 15.01612917514778 x105 + x102^2 + x105^2 <= 9.611593935877181 e73: 93.8794468182122 b32 - 10.8169933941176 x102 - 15.49368884534716 x105 + x102^2 + x105^2 <= 5.614011787007499 e74: 103.126413671578 b33 - 6.8658485062849 x102 - 15.6598716079132 x105 + x102^2 + x105^2 <= 31.033550049682873 e75: 86.2293028346251 b34 - 16.70008895810024 x102 - 2.66526908296188 x105 + x102^2 + x105^2 <= 15.730145211361602 e76: 90.5806541970954 b35 - 5.30840900607036 x102 - 12.62192643784898 x105 + x102^2 + x105^2 <= 44.70759590254541 e77: 112.431237492188 b36 - 11.6688631982702 x102 - 17.13368281727288 x105 + x102^2 + x105^2 <= 5.999873686473848 e78: 95.3905990097055 b37 - 8.21915314639648 x102 - 15.6467668422448 x105 + x102^2 + x105^2 <= 18.296651244832887 e79: 72.1079233169562 b38 - 14.78948114006108 x102 - 4.99477105291608 x105 + x102^2 + x105^2 <= 12.188800751138515 e80: 55.1492512196064 b39 - 12.28443038480434 x102 - 6.07182406224868 x105 + x102^2 + x105^2 <= 9.205681889104852 e81: 97.1056389080134 b40 - 16.53948771881332 x102 - 8.44647628641748 x105 + x102^2 + x105^2 <= 11.88123499356604 e82: b21 + b22 + b23 + b24 + b25 + b26 + b27 + b28 + b29 + b30 + b31 + b32 + b33 + b34 + b35 + b36 + b37 + b38 + b39 + b40 = 1 e83: 133.598318045686 b41 - 4.7350772673207e-2 x107 - 1.723876936391702 x109 + x107^2 + x109^2 <= 133.854819598812 e84: 94.8544563231416 b42 - 2.86191782875626 x107 - 10.2166325165755 x109 + x107^2 + x109^2 <= 67.71191791381641 e85: 87.4797735261255 b43 - 2.42758726555134 x107 - 6.00865697080466 x109 + x107^2 + x109^2 <= 77.98048889495888 e86: 103.126413671578 b44 - 17.68886435643618 x107 - .76913281116287 x109 + x107^2 + x109^2 <= 25.754541796176582 e87: 95.2983106051005 b45 - 11.76728174590456 x107 - 14.88940382677278 x109 + x107^2 + x109^2 <= 6.257494104046856 e88: 105.43767414173 b46 - 16.14193596084676 x107 - 11.11430373938354 x109 + x107^2 + x109^2 <= 10.415213097891822 e89: 118.60294806901 b47 - 19.21223230444158 x107 - 6.98016858944742 x109 + x107^2 + x109^2 <= 15.144792154775743 e90: 65.8153811229109 b48 - 7.7657307933958 x107 - 11.13254942851766 x109 + x107^2 + x109^2 <= 20.755323239439747 e91: 81.404902491826 b49 - 6.95418342153458 x107 - 2.03178346940586 x109 + x107^2 + x109^2 <= 69.28269971010167 e92: 58.2801217051105 b50 - 6.5947594867287 x107 - 8.28221844596674 x109 + x107^2 + x109^2 <= 31.25862293648303 e93: 133.598318045686 b51 - 16.56691766848954 x107 - 15.01612917514778 x109 + x107^2 + x109^2 <= 9.611593935877181 e94: 93.8794468182122 b52 - 10.8169933941176 x107 - 15.49368884534716 x109 + x107^2 + x109^2 <= 5.614011787007499 e95: 103.126413671578 b53 - 6.8658485062849 x107 - 15.6598716079132 x109 + x107^2 + x109^2 <= 31.033550049682873 e96: 86.2293028346251 b54 - 16.70008895810024 x107 - 2.66526908296188 x109 + x107^2 + x109^2 <= 15.730145211361602 e97: 90.5806541970954 b55 - 5.30840900607036 x107 - 12.62192643784898 x109 + x107^2 + x109^2 <= 44.70759590254541 e98: 112.431237492188 b56 - 11.6688631982702 x107 - 17.13368281727288 x109 + x107^2 + x109^2 <= 5.999873686473848 e99: 95.3905990097055 b57 - 8.21915314639648 x107 - 15.6467668422448 x109 + x107^2 + x109^2 <= 18.296651244832887 e100: 72.1079233169562 b58 - 14.78948114006108 x107 - 4.99477105291608 x109 + x107^2 + x109^2 <= 12.188800751138515 e101: 55.1492512196064 b59 - 12.28443038480434 x107 - 6.07182406224868 x109 + x107^2 + x109^2 <= 9.205681889104852 e102: 97.1056389080134 b60 - 16.53948771881332 x107 - 8.44647628641748 x109 + x107^2 + x109^2 <= 11.88123499356604 e103: b41 + b42 + b43 + b44 + b45 + b46 + b47 + b48 + b49 + b50 + b51 + b52 + b53 + b54 + b55 + b56 + b57 + b58 + b59 + b60 = 1 e104: 133.598318045686 b61 - 4.7350772673207e-2 x111 - 1.723876936391702 x113 + x111^2 + x113^2 <= 133.854819598812 e105: 94.8544563231416 b62 - 2.86191782875626 x111 - 10.2166325165755 x113 + x111^2 + x113^2 <= 67.71191791381641 e106: 87.4797735261255 b63 - 2.42758726555134 x111 - 6.00865697080466 x113 + x111^2 + x113^2 <= 77.98048889495888 e107: 103.126413671578 b64 - 17.68886435643618 x111 - .76913281116287 x113 + x111^2 + x113^2 <= 25.754541796176582 e108: 95.2983106051005 b65 - 11.76728174590456 x111 - 14.88940382677278 x113 + x111^2 + x113^2 <= 6.257494104046856 e109: 105.43767414173 b66 - 16.14193596084676 x111 - 11.11430373938354 x113 + x111^2 + x113^2 <= 10.415213097891822 e110: 118.60294806901 b67 - 19.21223230444158 x111 - 6.98016858944742 x113 + x111^2 + x113^2 <= 15.144792154775743 e111: 65.8153811229109 b68 - 7.7657307933958 x111 - 11.13254942851766 x113 + x111^2 + x113^2 <= 20.755323239439747 e112: 81.404902491826 b69 - 6.95418342153458 x111 - 2.03178346940586 x113 + x111^2 + x113^2 <= 69.28269971010167 e113: 58.2801217051105 b70 - 6.5947594867287 x111 - 8.28221844596674 x113 + x111^2 + x113^2 <= 31.25862293648303 e114: 133.598318045686 b71 - 16.56691766848954 x111 - 15.01612917514778 x113 + x111^2 + x113^2 <= 9.611593935877181 e115: 93.8794468182122 b72 - 10.8169933941176 x111 - 15.49368884534716 x113 + x111^2 + x113^2 <= 5.614011787007499 e116: 103.126413671578 b73 - 6.8658485062849 x111 - 15.6598716079132 x113 + x111^2 + x113^2 <= 31.033550049682873 e117: 86.2293028346251 b74 - 16.70008895810024 x111 - 2.66526908296188 x113 + x111^2 + x113^2 <= 15.730145211361602 e118: 90.5806541970954 b75 - 5.30840900607036 x111 - 12.62192643784898 x113 + x111^2 + x113^2 <= 44.70759590254541 e119: 112.431237492188 b76 - 11.6688631982702 x111 - 17.13368281727288 x113 + x111^2 + x113^2 <= 5.999873686473848 e120: 95.3905990097055 b77 - 8.21915314639648 x111 - 15.6467668422448 x113 + x111^2 + x113^2 <= 18.296651244832887 e121: 72.1079233169562 b78 - 14.78948114006108 x111 - 4.99477105291608 x113 + x111^2 + x113^2 <= 12.188800751138515 e122: 55.1492512196064 b79 - 12.28443038480434 x111 - 6.07182406224868 x113 + x111^2 + x113^2 <= 9.205681889104852 e123: 97.1056389080134 b80 - 16.53948771881332 x111 - 8.44647628641748 x113 + x111^2 + x113^2 <= 11.88123499356604 e124: b61 + b62 + b63 + b64 + b65 + b66 + b67 + b68 + b69 + b70 + b71 + b72 + b73 + b74 + b75 + b76 + b77 + b78 + b79 + b80 = 1 e125: 133.598318045686 b81 - 4.7350772673207e-2 x115 - 1.723876936391702 x117 + x115^2 + x117^2 <= 133.854819598812 e126: 94.8544563231416 b82 - 2.86191782875626 x115 - 10.2166325165755 x117 + x115^2 + x117^2 <= 67.71191791381641 e127: 87.4797735261255 b83 - 2.42758726555134 x115 - 6.00865697080466 x117 + x115^2 + x117^2 <= 77.98048889495888 e128: 103.126413671578 b84 - 17.68886435643618 x115 - .76913281116287 x117 + x115^2 + x117^2 <= 25.754541796176582 e129: 95.2983106051005 b85 - 11.76728174590456 x115 - 14.88940382677278 x117 + x115^2 + x117^2 <= 6.257494104046856 e130: 105.43767414173 b86 - 16.14193596084676 x115 - 11.11430373938354 x117 + x115^2 + x117^2 <= 10.415213097891822 e131: 118.60294806901 b87 - 19.21223230444158 x115 - 6.98016858944742 x117 + x115^2 + x117^2 <= 15.144792154775743 e132: 65.8153811229109 b88 - 7.7657307933958 x115 - 11.13254942851766 x117 + x115^2 + x117^2 <= 20.755323239439747 e133: 81.404902491826 b89 - 6.95418342153458 x115 - 2.03178346940586 x117 + x115^2 + x117^2 <= 69.28269971010167 e134: 58.2801217051105 b90 - 6.5947594867287 x115 - 8.28221844596674 x117 + x115^2 + x117^2 <= 31.25862293648303 e135: 133.598318045686 b91 - 16.56691766848954 x115 - 15.01612917514778 x117 + x115^2 + x117^2 <= 9.611593935877181 e136: 93.8794468182122 b92 - 10.8169933941176 x115 - 15.49368884534716 x117 + x115^2 + x117^2 <= 5.614011787007499 e137: 103.126413671578 b93 - 6.8658485062849 x115 - 15.6598716079132 x117 + x115^2 + x117^2 <= 31.033550049682873 e138: 86.2293028346251 b94 - 16.70008895810024 x115 - 2.66526908296188 x117 + x115^2 + x117^2 <= 15.730145211361602 e139: 90.5806541970954 b95 - 5.30840900607036 x115 - 12.62192643784898 x117 + x115^2 + x117^2 <= 44.70759590254541 e140: 112.431237492188 b96 - 11.6688631982702 x115 - 17.13368281727288 x117 + x115^2 + x117^2 <= 5.999873686473848 e141: 95.3905990097055 b97 - 8.21915314639648 x115 - 15.6467668422448 x117 + x115^2 + x117^2 <= 18.296651244832887 e142: 72.1079233169562 b98 - 14.78948114006108 x115 - 4.99477105291608 x117 + x115^2 + x117^2 <= 12.188800751138515 e143: 55.1492512196064 b99 - 12.28443038480434 x115 - 6.07182406224868 x117 + x115^2 + x117^2 <= 9.205681889104852 e144: 97.1056389080134 b100 - 16.53948771881332 x115 - 8.44647628641748 x117 + x115^2 + x117^2 <= 11.88123499356604 e145: b81 + b82 + b83 + b84 + b85 + b86 + b87 + b88 + b89 + b90 + b91 + b92 + b93 + b94 + b95 + b96 + b97 + b98 + b99 + b100 = 1 e146: b1 + b21 + b41 + b61 + b81 <= 1 e147: b2 + b22 + b42 + b62 + b82 <= 1 e148: b3 + b23 + b43 + b63 + b83 <= 1 e149: b4 + b24 + b44 + b64 + b84 <= 1 e150: b5 + b25 + b45 + b65 + b85 <= 1 e151: b6 + b26 + b46 + b66 + b86 <= 1 e152: b7 + b27 + b47 + b67 + b87 <= 1 e153: b8 + b28 + b48 + b68 + b88 <= 1 e154: b9 + b29 + b49 + b69 + b89 <= 1 e155: b10 + b30 + b50 + b70 + b90 <= 1 e156: b11 + b31 + b51 + b71 + b91 <= 1 e157: b12 + b32 + b52 + b72 + b92 <= 1 e158: b13 + b33 + b53 + b73 + b93 <= 1 e159: b14 + b34 + b54 + b74 + b94 <= 1 e160: b15 + b35 + b55 + b75 + b95 <= 1 e161: b16 + b36 + b56 + b76 + b96 <= 1 e162: b17 + b37 + b57 + b77 + b97 <= 1 e163: b18 + b38 + b58 + b78 + b98 <= 1 e164: b19 + b39 + b59 + b79 + b99 <= 1 e165: b20 + b40 + b60 + b80 + b100 <= 1 e166: x101 - x102 <= 0 e167: x102 - x107 <= 0 e168: x107 - x111 <= 0 e169: x111 - x115 <= 0 Bounds x101 <= 10 x102 <= 10 x103 <= 10 x104 <= 10 x105 <= 10 x106 <= 10 x107 <= 10 x108 <= 10 x109 <= 10 x110 <= 10 x111 <= 10 x112 <= 10 x113 <= 10 x114 <= 10 x115 <= 10 x116 <= 10 x117 <= 10 x118 <= 10 x119 <= 10 x120 <= 10 x121 <= 10 x122 <= 10 x123 <= 10 x124 <= 10 x125 <= 10 x126 <= 10 x127 <= 10 x128 <= 10 x129 <= 10 x130 <= 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 b51 b52 b53 b54 b55 b56 b57 b58 b59 b60 b61 b62 b63 b64 b65 b66 b67 b68 b69 b70 b71 b72 b73 b74 b75 b76 b77 b78 b79 b80 b81 b82 b83 b84 b85 b86 b87 b88 b89 b90 b91 b92 b93 b94 b95 b96 b97 b98 b99 b100 End