\ Equation counts \ Total E G L N X C B \ 72 0 0 72 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 168 0 12 156 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 792 504 288 0 \ Minimize obj: .1 b1 + .2 b2 + .3 b3 + .4 b4 + .5 b5 + .6 b6 + .7 b7 + .8 b8 + .9 b9 + b10 + 1.1 b11 + 1.2 b12 + i13 + i14 + i15 + i16 + i17 + i18 + i19 + i20 + i21 + i22 + i23 + i24 + 0 i25 + 0 i26 + 0 i27 + 0 i28 + 0 i29 + 0 i30 + 0 i31 + 0 i32 + 0 i33 + 0 i34 + 0 i35 + 0 i36 + 0 i37 + 0 i38 + 0 i39 + 0 i40 + 0 i41 + 0 i42 + 0 i43 + 0 i44 + 0 i45 + 0 i46 + 0 i47 + 0 i48 + 0 i49 + 0 i50 + 0 i51 + 0 i52 + 0 i53 + 0 i54 + 0 i55 + 0 i56 + 0 i57 + 0 i58 + 0 i59 + 0 i60 + 0 i61 + 0 i62 + 0 i63 + 0 i64 + 0 i65 + 0 i66 + 0 i67 + 0 i68 + 0 i69 + 0 i70 + 0 i71 + 0 i72 + 0 i73 + 0 i74 + 0 i75 + 0 i76 + 0 i77 + 0 i78 + 0 i79 + 0 i80 + 0 i81 + 0 i82 + 0 i83 + 0 i84 + 0 i85 + 0 i86 + 0 i87 + 0 i88 + 0 i89 + 0 i90 + 0 i91 + 0 i92 + 0 i93 + 0 i94 + 0 i95 + 0 i96 + 0 i97 + 0 i98 + 0 i99 + 0 i100 + 0 i101 + 0 i102 + 0 i103 + 0 i104 + 0 i105 + 0 i106 + 0 i107 + 0 i108 + 0 i109 + 0 i110 + 0 i111 + 0 i112 + 0 i113 + 0 i114 + 0 i115 + 0 i116 + 0 i117 + 0 i118 + 0 i119 + 0 i120 + 0 i121 + 0 i122 + 0 i123 + 0 i124 + 0 i125 + 0 i126 + 0 i127 + 0 i128 + 0 i129 + 0 i130 + 0 i131 + 0 i132 + 0 i133 + 0 i134 + 0 i135 + 0 i136 + 0 i137 + 0 i138 + 0 i139 + 0 i140 + 0 i141 + 0 i142 + 0 i143 + 0 i144 + 0 i145 + 0 i146 + 0 i147 + 0 i148 + 0 i149 + 0 i150 + 0 i151 + 0 i152 + 0 i153 + 0 i154 + 0 i155 + 0 i156 + 0 i157 + 0 i158 + 0 i159 + 0 i160 + 0 i161 + 0 i162 + 0 i163 + 0 i164 + 0 i165 + 0 i166 + 0 i167 + 0 i168 Subject To e2: 3.5e2 i25 + 4.5e2 i37 + 5.5e2 i49 + 6.5e2 i61 + 700 i73 + 7.4e2 i85 + 800 i97 + 8.4e2 i109 + 9.1e2 i121 + 9.6e2 i133 + 1.01e3 i145 + 1.06e3 i157 <= 2.1e3 e3: 3.5e2 i26 + 4.5e2 i38 + 5.5e2 i50 + 6.5e2 i62 + 700 i74 + 7.4e2 i86 + 800 i98 + 8.4e2 i110 + 9.1e2 i122 + 9.6e2 i134 + 1.01e3 i146 + 1.06e3 i158 <= 2.1e3 e4: 3.5e2 i27 + 4.5e2 i39 + 5.5e2 i51 + 6.5e2 i63 + 700 i75 + 7.4e2 i87 + 800 i99 + 8.4e2 i111 + 9.1e2 i123 + 9.6e2 i135 + 1.01e3 i147 + 1.06e3 i159 <= 2.1e3 e5: 3.5e2 i28 + 4.5e2 i40 + 5.5e2 i52 + 6.5e2 i64 + 700 i76 + 7.4e2 i88 + 800 i100 + 8.4e2 i112 + 9.1e2 i124 + 9.6e2 i136 + 1.01e3 i148 + 1.06e3 i160 <= 2.1e3 e6: 3.5e2 i29 + 4.5e2 i41 + 5.5e2 i53 + 6.5e2 i65 + 700 i77 + 7.4e2 i89 + 800 i101 + 8.4e2 i113 + 9.1e2 i125 + 9.6e2 i137 + 1.01e3 i149 + 1.06e3 i161 <= 2.1e3 e7: 3.5e2 i30 + 4.5e2 i42 + 5.5e2 i54 + 6.5e2 i66 + 700 i78 + 7.4e2 i90 + 800 i102 + 8.4e2 i114 + 9.1e2 i126 + 9.6e2 i138 + 1.01e3 i150 + 1.06e3 i162 <= 2.1e3 e8: 3.5e2 i31 + 4.5e2 i43 + 5.5e2 i55 + 6.5e2 i67 + 700 i79 + 7.4e2 i91 + 800 i103 + 8.4e2 i115 + 9.1e2 i127 + 9.6e2 i139 + 1.01e3 i151 + 1.06e3 i163 <= 2.1e3 e9: 3.5e2 i32 + 4.5e2 i44 + 5.5e2 i56 + 6.5e2 i68 + 700 i80 + 7.4e2 i92 + 800 i104 + 8.4e2 i116 + 9.1e2 i128 + 9.6e2 i140 + 1.01e3 i152 + 1.06e3 i164 <= 2.1e3 e10: 3.5e2 i33 + 4.5e2 i45 + 5.5e2 i57 + 6.5e2 i69 + 700 i81 + 7.4e2 i93 + 800 i105 + 8.4e2 i117 + 9.1e2 i129 + 9.6e2 i141 + 1.01e3 i153 + 1.06e3 i165 <= 2.1e3 e11: 3.5e2 i34 + 4.5e2 i46 + 5.5e2 i58 + 6.5e2 i70 + 700 i82 + 7.4e2 i94 + 800 i106 + 8.4e2 i118 + 9.1e2 i130 + 9.6e2 i142 + 1.01e3 i154 + 1.06e3 i166 <= 2.1e3 e12: 3.5e2 i35 + 4.5e2 i47 + 5.5e2 i59 + 6.5e2 i71 + 700 i83 + 7.4e2 i95 + 800 i107 + 8.4e2 i119 + 9.1e2 i131 + 9.6e2 i143 + 1.01e3 i155 + 1.06e3 i167 <= 2.1e3 e13: 3.5e2 i36 + 4.5e2 i48 + 5.5e2 i60 + 6.5e2 i72 + 700 i84 + 7.4e2 i96 + 800 i108 + 8.4e2 i120 + 9.1e2 i132 + 9.6e2 i144 + 1.01e3 i156 + 1.06e3 i168 <= 2.1e3 e14: - 3.5e2 i25 - 4.5e2 i37 - 5.5e2 i49 - 6.5e2 i61 - 700 i73 - 7.4e2 i85 - 800 i97 - 8.4e2 i109 - 9.1e2 i121 - 9.6e2 i133 - 1.01e3 i145 - 1.06e3 i157 <= -2e3 e15: - 3.5e2 i26 - 4.5e2 i38 - 5.5e2 i50 - 6.5e2 i62 - 700 i74 - 7.4e2 i86 - 800 i98 - 8.4e2 i110 - 9.1e2 i122 - 9.6e2 i134 - 1.01e3 i146 - 1.06e3 i158 <= -2e3 e16: - 3.5e2 i27 - 4.5e2 i39 - 5.5e2 i51 - 6.5e2 i63 - 700 i75 - 7.4e2 i87 - 800 i99 - 8.4e2 i111 - 9.1e2 i123 - 9.6e2 i135 - 1.01e3 i147 - 1.06e3 i159 <= -2e3 e17: - 3.5e2 i28 - 4.5e2 i40 - 5.5e2 i52 - 6.5e2 i64 - 700 i76 - 7.4e2 i88 - 800 i100 - 8.4e2 i112 - 9.1e2 i124 - 9.6e2 i136 - 1.01e3 i148 - 1.06e3 i160 <= -2e3 e18: - 3.5e2 i29 - 4.5e2 i41 - 5.5e2 i53 - 6.5e2 i65 - 700 i77 - 7.4e2 i89 - 800 i101 - 8.4e2 i113 - 9.1e2 i125 - 9.6e2 i137 - 1.01e3 i149 - 1.06e3 i161 <= -2e3 e19: - 3.5e2 i30 - 4.5e2 i42 - 5.5e2 i54 - 6.5e2 i66 - 700 i78 - 7.4e2 i90 - 800 i102 - 8.4e2 i114 - 9.1e2 i126 - 9.6e2 i138 - 1.01e3 i150 - 1.06e3 i162 <= -2e3 e20: - 3.5e2 i31 - 4.5e2 i43 - 5.5e2 i55 - 6.5e2 i67 - 700 i79 - 7.4e2 i91 - 800 i103 - 8.4e2 i115 - 9.1e2 i127 - 9.6e2 i139 - 1.01e3 i151 - 1.06e3 i163 <= -2e3 e21: - 3.5e2 i32 - 4.5e2 i44 - 5.5e2 i56 - 6.5e2 i68 - 700 i80 - 7.4e2 i92 - 800 i104 - 8.4e2 i116 - 9.1e2 i128 - 9.6e2 i140 - 1.01e3 i152 - 1.06e3 i164 <= -2e3 e22: - 3.5e2 i33 - 4.5e2 i45 - 5.5e2 i57 - 6.5e2 i69 - 700 i81 - 7.4e2 i93 - 800 i105 - 8.4e2 i117 - 9.1e2 i129 - 9.6e2 i141 - 1.01e3 i153 - 1.06e3 i165 <= -2e3 e23: - 3.5e2 i34 - 4.5e2 i46 - 5.5e2 i58 - 6.5e2 i70 - 700 i82 - 7.4e2 i94 - 800 i106 - 8.4e2 i118 - 9.1e2 i130 - 9.6e2 i142 - 1.01e3 i154 - 1.06e3 i166 <= -2e3 e24: - 3.5e2 i35 - 4.5e2 i47 - 5.5e2 i59 - 6.5e2 i71 - 700 i83 - 7.4e2 i95 - 800 i107 - 8.4e2 i119 - 9.1e2 i131 - 9.6e2 i143 - 1.01e3 i155 - 1.06e3 i167 <= -2e3 e25: - 3.5e2 i36 - 4.5e2 i48 - 5.5e2 i60 - 6.5e2 i72 - 700 i84 - 7.4e2 i96 - 800 i108 - 8.4e2 i120 - 9.1e2 i132 - 9.6e2 i144 - 1.01e3 i156 - 1.06e3 i168 <= -2e3 e26: i25 + i37 + i49 + i61 + i73 + i85 + i97 + i109 + i121 + i133 + i145 + i157 <= 5 e27: i26 + i38 + i50 + i62 + i74 + i86 + i98 + i110 + i122 + i134 + i146 + i158 <= 5 e28: i27 + i39 + i51 + i63 + i75 + i87 + i99 + i111 + i123 + i135 + i147 + i159 <= 5 e29: i28 + i40 + i52 + i64 + i76 + i88 + i100 + i112 + i124 + i136 + i148 + i160 <= 5 e30: i29 + i41 + i53 + i65 + i77 + i89 + i101 + i113 + i125 + i137 + i149 + i161 <= 5 e31: i30 + i42 + i54 + i66 + i78 + i90 + i102 + i114 + i126 + i138 + i150 + i162 <= 5 e32: i31 + i43 + i55 + i67 + i79 + i91 + i103 + i115 + i127 + i139 + i151 + i163 <= 5 e33: i32 + i44 + i56 + i68 + i80 + i92 + i104 + i116 + i128 + i140 + i152 + i164 <= 5 e34: i33 + i45 + i57 + i69 + i81 + i93 + i105 + i117 + i129 + i141 + i153 + i165 <= 5 e35: i34 + i46 + i58 + i70 + i82 + i94 + i106 + i118 + i130 + i142 + i154 + i166 <= 5 e36: i35 + i47 + i59 + i71 + i83 + i95 + i107 + i119 + i131 + i143 + i155 + i167 <= 5 e37: i36 + i48 + i60 + i72 + i84 + i96 + i108 + i120 + i132 + i144 + i156 + i168 <= 5 e38: b1 - i13 <= 0 e39: b2 - i14 <= 0 e40: b3 - i15 <= 0 e41: b4 - i16 <= 0 e42: b5 - i17 <= 0 e43: b6 - i18 <= 0 e44: b7 - i19 <= 0 e45: b8 - i20 <= 0 e46: b9 - i21 <= 0 e47: b10 - i22 <= 0 e48: b11 - i23 <= 0 e49: b12 - i24 <= 0 e50: - 48 b1 + i13 <= 0 e51: - 48 b2 + i14 <= 0 e52: - 48 b3 + i15 <= 0 e53: - 48 b4 + i16 <= 0 e54: - 48 b5 + i17 <= 0 e55: - 48 b6 + i18 <= 0 e56: - 48 b7 + i19 <= 0 e57: - 48 b8 + i20 <= 0 e58: - 48 b9 + i21 <= 0 e59: - 48 b10 + i22 <= 0 e60: - 48 b11 + i23 <= 0 e61: - 48 b12 + i24 <= 0 e62: [ - i13 * i25 - i14 * i26 - i15 * i27 - i16 * i28 - i17 * i29 - i18 * i30 - i19 * i31 - i20 * i32 - i21 * i33 - i22 * i34 - i23 * i35 - i24 * i36 ] <= -10 e63: [ - i13 * i37 - i14 * i38 - i15 * i39 - i16 * i40 - i17 * i41 - i18 * i42 - i19 * i43 - i20 * i44 - i21 * i45 - i22 * i46 - i23 * i47 - i24 * i48 ] <= -28 e64: [ - i13 * i49 - i14 * i50 - i15 * i51 - i16 * i52 - i17 * i53 - i18 * i54 - i19 * i55 - i20 * i56 - i21 * i57 - i22 * i58 - i23 * i59 - i24 * i60 ] <= -48 e65: [ - i13 * i61 - i14 * i62 - i15 * i63 - i16 * i64 - i17 * i65 - i18 * i66 - i19 * i67 - i20 * i68 - i21 * i69 - i22 * i70 - i23 * i71 - i24 * i72 ] <= -28 e66: [ - i13 * i73 - i14 * i74 - i15 * i75 - i16 * i76 - i17 * i77 - i18 * i78 - i19 * i79 - i20 * i80 - i21 * i81 - i22 * i82 - i23 * i83 - i24 * i84 ] <= -40 e67: [ - i13 * i85 - i14 * i86 - i15 * i87 - i16 * i88 - i17 * i89 - i18 * i90 - i19 * i91 - i20 * i92 - i21 * i93 - i22 * i94 - i23 * i95 - i24 * i96 ] <= -30 e68: [ - i13 * i97 - i14 * i98 - i15 * i99 - i16 * i100 - i17 * i101 - i18 * i102 - i19 * i103 - i20 * i104 - i21 * i105 - i22 * i106 - i23 * i107 - i24 * i108 ] <= -21 e69: [ - i13 * i109 - i14 * i110 - i15 * i111 - i16 * i112 - i17 * i113 - i18 * i114 - i19 * i115 - i20 * i116 - i21 * i117 - i22 * i118 - i23 * i119 - i24 * i120 ] <= -22 e70: [ - i13 * i121 - i14 * i122 - i15 * i123 - i16 * i124 - i17 * i125 - i18 * i126 - i19 * i127 - i20 * i128 - i21 * i129 - i22 * i130 - i23 * i131 - i24 * i132 ] <= -8 e71: [ - i13 * i133 - i14 * i134 - i15 * i135 - i16 * i136 - i17 * i137 - i18 * i138 - i19 * i139 - i20 * i140 - i21 * i141 - i22 * i142 - i23 * i143 - i24 * i144 ] <= -8 e72: [ - i13 * i145 - i14 * i146 - i15 * i147 - i16 * i148 - i17 * i149 - i18 * i150 - i19 * i151 - i20 * i152 - i21 * i153 - i22 * i154 - i23 * i155 - i24 * i156 ] <= -9 e73: [ - i13 * i157 - i14 * i158 - i15 * i159 - i16 * i160 - i17 * i161 - i18 * i162 - i19 * i163 - i20 * i164 - i21 * i165 - i22 * i166 - i23 * i167 - i24 * i168 ] <= -8 Bounds i13 <= 48 i14 <= 48 i15 <= 48 i16 <= 48 i17 <= 48 i18 <= 48 i19 <= 48 i20 <= 48 i21 <= 48 i22 <= 48 i23 <= 48 i24 <= 48 i25 <= 5 i26 <= 5 i27 <= 5 i28 <= 5 i29 <= 5 i30 <= 5 i31 <= 5 i32 <= 5 i33 <= 5 i34 <= 5 i35 <= 5 i36 <= 5 i37 <= 5 i38 <= 5 i39 <= 5 i40 <= 5 i41 <= 5 i42 <= 5 i43 <= 5 i44 <= 5 i45 <= 5 i46 <= 5 i47 <= 5 i48 <= 5 i49 <= 5 i50 <= 5 i51 <= 5 i52 <= 5 i53 <= 5 i54 <= 5 i55 <= 5 i56 <= 5 i57 <= 5 i58 <= 5 i59 <= 5 i60 <= 5 i61 <= 5 i62 <= 5 i63 <= 5 i64 <= 5 i65 <= 5 i66 <= 5 i67 <= 5 i68 <= 5 i69 <= 5 i70 <= 5 i71 <= 5 i72 <= 5 i73 <= 5 i74 <= 5 i75 <= 5 i76 <= 5 i77 <= 5 i78 <= 5 i79 <= 5 i80 <= 5 i81 <= 5 i82 <= 5 i83 <= 5 i84 <= 5 i85 <= 5 i86 <= 5 i87 <= 5 i88 <= 5 i89 <= 5 i90 <= 5 i91 <= 5 i92 <= 5 i93 <= 5 i94 <= 5 i95 <= 5 i96 <= 5 i97 <= 5 i98 <= 5 i99 <= 5 i100 <= 5 i101 <= 5 i102 <= 5 i103 <= 5 i104 <= 5 i105 <= 5 i106 <= 5 i107 <= 5 i108 <= 5 i109 <= 5 i110 <= 5 i111 <= 5 i112 <= 5 i113 <= 5 i114 <= 5 i115 <= 5 i116 <= 5 i117 <= 5 i118 <= 5 i119 <= 5 i120 <= 5 i121 <= 5 i122 <= 5 i123 <= 5 i124 <= 5 i125 <= 5 i126 <= 5 i127 <= 5 i128 <= 5 i129 <= 5 i130 <= 5 i131 <= 5 i132 <= 5 i133 <= 5 i134 <= 5 i135 <= 5 i136 <= 5 i137 <= 5 i138 <= 5 i139 <= 5 i140 <= 5 i141 <= 5 i142 <= 5 i143 <= 5 i144 <= 5 i145 <= 5 i146 <= 5 i147 <= 5 i148 <= 5 i149 <= 5 i150 <= 5 i151 <= 5 i152 <= 5 i153 <= 5 i154 <= 5 i155 <= 5 i156 <= 5 i157 <= 5 i158 <= 5 i159 <= 5 i160 <= 5 i161 <= 5 i162 <= 5 i163 <= 5 i164 <= 5 i165 <= 5 i166 <= 5 i167 <= 5 i168 <= 5 Binary b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 General i13 i14 i15 i16 i17 i18 i19 i20 i21 i22 i23 i24 i25 i26 i27 i28 i29 i30 i31 i32 i33 i34 i35 i36 i37 i38 i39 i40 i41 i42 i43 i44 i45 i46 i47 i48 i49 i50 i51 i52 i53 i54 i55 i56 i57 i58 i59 i60 i61 i62 i63 i64 i65 i66 i67 i68 i69 i70 i71 i72 i73 i74 i75 i76 i77 i78 i79 i80 i81 i82 i83 i84 i85 i86 i87 i88 i89 i90 i91 i92 i93 i94 i95 i96 i97 i98 i99 i100 i101 i102 i103 i104 i105 i106 i107 i108 i109 i110 i111 i112 i113 i114 i115 i116 i117 i118 i119 i120 i121 i122 i123 i124 i125 i126 i127 i128 i129 i130 i131 i132 i133 i134 i135 i136 i137 i138 i139 i140 i141 i142 i143 i144 i145 i146 i147 i148 i149 i150 i151 i152 i153 i154 i155 i156 i157 i158 i159 i160 i161 i162 i163 i164 i165 i166 i167 i168 End