## ams_version=1.0 Model Main_ex1266 { Variable x1 { Range: nonnegative; } Variable x2 { Range: nonnegative; } Variable x3 { Range: nonnegative; } Variable x4 { Range: nonnegative; } Variable x5 { Range: nonnegative; } Variable x6 { Range: nonnegative; } Variable x7 { Range: nonnegative; } Variable x8 { Range: nonnegative; } Variable x9 { Range: nonnegative; } Variable x10 { Range: nonnegative; } Variable x11 { Range: nonnegative; } Variable x12 { Range: nonnegative; } Variable x13 { Range: nonnegative; } Variable x14 { Range: nonnegative; } Variable x15 { Range: nonnegative; } Variable x16 { Range: nonnegative; } Variable x17 { Range: nonnegative; } Variable x18 { Range: nonnegative; } Variable x19 { Range: nonnegative; } Variable x20 { Range: nonnegative; } Variable x21 { Range: nonnegative; } Variable x22 { Range: nonnegative; } Variable x23 { Range: nonnegative; } Variable x24 { Range: nonnegative; } Variable x25 { Range: nonnegative; } Variable x26 { Range: nonnegative; } Variable x27 { Range: nonnegative; } Variable x28 { Range: nonnegative; } Variable x29 { Range: nonnegative; } Variable x30 { Range: nonnegative; } Variable x31 { Range: nonnegative; } Variable x32 { Range: nonnegative; } Variable x33 { Range: nonnegative; } Variable x34 { Range: nonnegative; } Variable x35 { Range: nonnegative; } Variable x36 { Range: nonnegative; } Variable b37 { Range: binary; } Variable b38 { Range: binary; } Variable b39 { Range: binary; } Variable b40 { Range: binary; } Variable b41 { Range: binary; } Variable b42 { Range: binary; } Variable b43 { Range: binary; } Variable b44 { Range: binary; } Variable b45 { Range: binary; } Variable b46 { Range: binary; } Variable b47 { Range: binary; } Variable b48 { Range: binary; } Variable b49 { Range: binary; } Variable b50 { Range: binary; } Variable b51 { Range: binary; } Variable b52 { Range: binary; } Variable b53 { Range: binary; } Variable b54 { Range: binary; } Variable b55 { Range: binary; } Variable b56 { Range: binary; } Variable b57 { Range: binary; } Variable b58 { Range: binary; } Variable b59 { Range: binary; } Variable b60 { Range: binary; } Variable b61 { Range: binary; } Variable b62 { Range: binary; } Variable b63 { Range: binary; } Variable b64 { Range: binary; } Variable b65 { Range: binary; } Variable b66 { Range: binary; } Variable b67 { Range: binary; } Variable b68 { Range: binary; } Variable b69 { Range: binary; } Variable b70 { Range: binary; } Variable b71 { Range: binary; } Variable b72 { Range: binary; } Variable b73 { Range: binary; } Variable b74 { Range: binary; } Variable b75 { Range: binary; } Variable b76 { Range: binary; } Variable b77 { Range: binary; } Variable b78 { Range: binary; } Variable b79 { Range: binary; } Variable b80 { Range: binary; } Variable b81 { Range: binary; } Variable b82 { Range: binary; } Variable b83 { Range: binary; } Variable b84 { Range: binary; } Variable b85 { Range: binary; } Variable b86 { Range: binary; } Variable b87 { Range: binary; } Variable b88 { Range: binary; } Variable b89 { Range: binary; } Variable b90 { Range: binary; } Variable b91 { Range: binary; } Variable b92 { Range: binary; } Variable b93 { Range: binary; } Variable b94 { Range: binary; } Variable b95 { Range: binary; } Variable b96 { Range: binary; } Variable b97 { Range: binary; } Variable b98 { Range: binary; } Variable b99 { Range: binary; } Variable b100 { Range: binary; } Variable b101 { Range: binary; } Variable b102 { Range: binary; } Variable b103 { Range: binary; } Variable b104 { Range: binary; } Variable b105 { Range: binary; } Variable b106 { Range: binary; } Variable b107 { Range: binary; } Variable b108 { Range: binary; } Variable b109 { Range: binary; } Variable b110 { Range: binary; } Variable b111 { Range: binary; } Variable b112 { Range: binary; } Variable b113 { Range: binary; } Variable b114 { Range: binary; } Variable b115 { Range: binary; } Variable b116 { Range: binary; } Variable b117 { Range: binary; } Variable b118 { Range: binary; } Variable b119 { Range: binary; } Variable b120 { Range: binary; } Variable b121 { Range: binary; } Variable b122 { Range: binary; } Variable b123 { Range: binary; } Variable b124 { Range: binary; } Variable b125 { Range: binary; } Variable b126 { Range: binary; } Variable b127 { Range: binary; } Variable b128 { Range: binary; } Variable b129 { Range: binary; } Variable b130 { Range: binary; } Variable b131 { Range: binary; } Variable b132 { Range: binary; } Variable b133 { Range: binary; } Variable b134 { Range: binary; } Variable b135 { Range: binary; } Variable b136 { Range: binary; } Variable b137 { Range: binary; } Variable b138 { Range: binary; } Variable b139 { Range: binary; } Variable b140 { Range: binary; } Variable b141 { Range: binary; } Variable b142 { Range: binary; } Variable b143 { Range: binary; } Variable b144 { Range: binary; } Variable b145 { Range: binary; } Variable b146 { Range: binary; } Variable b147 { Range: binary; } Variable b148 { Range: binary; } Variable b149 { Range: binary; } Variable b150 { Range: binary; } Variable x151 { Range: nonnegative; } Variable x152 { Range: nonnegative; } Variable x153 { Range: nonnegative; } Variable x154 { Range: nonnegative; } Variable x155 { Range: nonnegative; } Variable x156 { Range: nonnegative; } Variable b157 { Range: binary; } Variable b158 { Range: binary; } Variable b159 { Range: binary; } Variable b160 { Range: binary; } Variable b161 { Range: binary; } Variable b162 { Range: binary; } Variable b163 { Range: binary; } Variable b164 { Range: binary; } Variable b165 { Range: binary; } Variable b166 { Range: binary; } Variable b167 { Range: binary; } Variable b168 { Range: binary; } Variable b169 { Range: binary; } Variable b170 { Range: binary; } Variable b171 { Range: binary; } Variable b172 { Range: binary; } Variable b173 { Range: binary; } Variable b174 { Range: binary; } Variable b175 { Range: binary; } Variable b176 { Range: binary; } Variable b177 { Range: binary; } Variable b178 { Range: binary; } Variable b179 { Range: binary; } Variable b180 { Range: binary; } Variable objvar; Constraint e1 { Definition: { - 0.1*b145 - 0.2*b146 - 0.3*b147 - 0.4*b148 - 0.5*b149 - x151 - x152 - x153 - x154 - x155 - x156 + objvar = 0 } } Constraint e2 { Definition: x151*x1 + x152*x2 + x153*x3 + x154*x4 + x155*x5 + x156*x6 >= 8; } Constraint e3 { Definition: x151*x7 + x152*x8 + x153*x9 + x154*x10 + x155*x11 + x156*x12 >= 16; } Constraint e4 { Definition: x151*x13 + x152*x14 + x153*x15 + x154*x16 + x155*x17 + x156*x18 >= 12; } Constraint e5 { Definition: x151*x19 + x152*x20 + x153*x21 + x154*x22 + x155*x23 + x156*x24 >= 7; } Constraint e6 { Definition: x151*x25 + x152*x26 + x153*x27 + x154*x28 + x155*x29 + x156*x30 >= 14; } Constraint e7 { Definition: x151*x31 + x152*x32 + x153*x33 + x154*x34 + x155*x35 + x156*x36 >= 16; } Constraint e8 { Definition: { - 330*x1 - 360*x7 - 380*x13 - 430*x19 - 490*x25 - 530*x31 + 2100*b145 <= 0 } } Constraint e9 { Definition: { - 330*x2 - 360*x8 - 380*x14 - 430*x20 - 490*x26 - 530*x32 + 2100*b146 <= 0 } } Constraint e10 { Definition: { - 330*x3 - 360*x9 - 380*x15 - 430*x21 - 490*x27 - 530*x33 + 2100*b147 <= 0 } } Constraint e11 { Definition: { - 330*x4 - 360*x10 - 380*x16 - 430*x22 - 490*x28 - 530*x34 + 2100*b148 <= 0 } } Constraint e12 { Definition: { - 330*x5 - 360*x11 - 380*x17 - 430*x23 - 490*x29 - 530*x35 + 2100*b149 <= 0 } } Constraint e13 { Definition: { - 330*x6 - 360*x12 - 380*x18 - 430*x24 - 490*x30 - 530*x36 + 2100*b150 <= 0 } } Constraint e14 { Definition: { 330*x1 + 360*x7 + 380*x13 + 430*x19 + 490*x25 + 530*x31 - 2200*b145 <= 0 } } Constraint e15 { Definition: { 330*x2 + 360*x8 + 380*x14 + 430*x20 + 490*x26 + 530*x32 - 2200*b146 <= 0 } } Constraint e16 { Definition: { 330*x3 + 360*x9 + 380*x15 + 430*x21 + 490*x27 + 530*x33 - 2200*b147 <= 0 } } Constraint e17 { Definition: { 330*x4 + 360*x10 + 380*x16 + 430*x22 + 490*x28 + 530*x34 - 2200*b148 <= 0 } } Constraint e18 { Definition: { 330*x5 + 360*x11 + 380*x17 + 430*x23 + 490*x29 + 530*x35 - 2200*b149 <= 0 } } Constraint e19 { Definition: { 330*x6 + 360*x12 + 380*x18 + 430*x24 + 490*x30 + 530*x36 - 2200*b150 <= 0 } } Constraint e20 { Definition: - x1 - x7 - x13 - x19 - x25 - x31 + b145 <= 0; } Constraint e21 { Definition: - x2 - x8 - x14 - x20 - x26 - x32 + b146 <= 0; } Constraint e22 { Definition: - x3 - x9 - x15 - x21 - x27 - x33 + b147 <= 0; } Constraint e23 { Definition: - x4 - x10 - x16 - x22 - x28 - x34 + b148 <= 0; } Constraint e24 { Definition: - x5 - x11 - x17 - x23 - x29 - x35 + b149 <= 0; } Constraint e25 { Definition: - x6 - x12 - x18 - x24 - x30 - x36 + b150 <= 0; } Constraint e26 { Definition: x1 + x7 + x13 + x19 + x25 + x31 - 5*b145 <= 0; } Constraint e27 { Definition: x2 + x8 + x14 + x20 + x26 + x32 - 5*b146 <= 0; } Constraint e28 { Definition: x3 + x9 + x15 + x21 + x27 + x33 - 5*b147 <= 0; } Constraint e29 { Definition: x4 + x10 + x16 + x22 + x28 + x34 - 5*b148 <= 0; } Constraint e30 { Definition: x5 + x11 + x17 + x23 + x29 + x35 - 5*b149 <= 0; } Constraint e31 { Definition: x6 + x12 + x18 + x24 + x30 + x36 - 5*b150 <= 0; } Constraint e32 { Definition: b145 - x151 <= 0; } Constraint e33 { Definition: b146 - x152 <= 0; } Constraint e34 { Definition: b147 - x153 <= 0; } Constraint e35 { Definition: b148 - x154 <= 0; } Constraint e36 { Definition: b149 - x155 <= 0; } Constraint e37 { Definition: b150 - x156 <= 0; } Constraint e38 { Definition: - 15*b145 + x151 <= 0; } Constraint e39 { Definition: - 12*b146 + x152 <= 0; } Constraint e40 { Definition: - 8*b147 + x153 <= 0; } Constraint e41 { Definition: - 7*b148 + x154 <= 0; } Constraint e42 { Definition: - 4*b149 + x155 <= 0; } Constraint e43 { Definition: - 2*b150 + x156 <= 0; } Constraint e44 { Definition: x151 + x152 + x153 + x154 + x155 + x156 >= 16; } Constraint e45 { Definition: - b145 + b146 <= 0; } Constraint e46 { Definition: - b146 + b147 <= 0; } Constraint e47 { Definition: - b147 + b148 <= 0; } Constraint e48 { Definition: - b148 + b149 <= 0; } Constraint e49 { Definition: - b149 + b150 <= 0; } Constraint e50 { Definition: - x151 + x152 <= 0; } Constraint e51 { Definition: - x152 + x153 <= 0; } Constraint e52 { Definition: - x153 + x154 <= 0; } Constraint e53 { Definition: - x154 + x155 <= 0; } Constraint e54 { Definition: - x155 + x156 <= 0; } Constraint e55 { Definition: x1 - b37 - 2*b38 - 4*b39 = 0; } Constraint e56 { Definition: x2 - b40 - 2*b41 - 4*b42 = 0; } Constraint e57 { Definition: x3 - b43 - 2*b44 - 4*b45 = 0; } Constraint e58 { Definition: x4 - b46 - 2*b47 - 4*b48 = 0; } Constraint e59 { Definition: x5 - b49 - 2*b50 - 4*b51 = 0; } Constraint e60 { Definition: x6 - b52 - 2*b53 - 4*b54 = 0; } Constraint e61 { Definition: x7 - b55 - 2*b56 - 4*b57 = 0; } Constraint e62 { Definition: x8 - b58 - 2*b59 - 4*b60 = 0; } Constraint e63 { Definition: x9 - b61 - 2*b62 - 4*b63 = 0; } Constraint e64 { Definition: x10 - b64 - 2*b65 - 4*b66 = 0; } Constraint e65 { Definition: x11 - b67 - 2*b68 - 4*b69 = 0; } Constraint e66 { Definition: x12 - b70 - 2*b71 - 4*b72 = 0; } Constraint e67 { Definition: x13 - b73 - 2*b74 - 4*b75 = 0; } Constraint e68 { Definition: x14 - b76 - 2*b77 - 4*b78 = 0; } Constraint e69 { Definition: x15 - b79 - 2*b80 - 4*b81 = 0; } Constraint e70 { Definition: x16 - b82 - 2*b83 - 4*b84 = 0; } Constraint e71 { Definition: x17 - b85 - 2*b86 - 4*b87 = 0; } Constraint e72 { Definition: x18 - b88 - 2*b89 - 4*b90 = 0; } Constraint e73 { Definition: x19 - b91 - 2*b92 - 4*b93 = 0; } Constraint e74 { Definition: x20 - b94 - 2*b95 - 4*b96 = 0; } Constraint e75 { Definition: x21 - b97 - 2*b98 - 4*b99 = 0; } Constraint e76 { Definition: x22 - b100 - 2*b101 - 4*b102 = 0; } Constraint e77 { Definition: x23 - b103 - 2*b104 - 4*b105 = 0; } Constraint e78 { Definition: x24 - b106 - 2*b107 - 4*b108 = 0; } Constraint e79 { Definition: x25 - b109 - 2*b110 - 4*b111 = 0; } Constraint e80 { Definition: x26 - b112 - 2*b113 - 4*b114 = 0; } Constraint e81 { Definition: x27 - b115 - 2*b116 - 4*b117 = 0; } Constraint e82 { Definition: x28 - b118 - 2*b119 - 4*b120 = 0; } Constraint e83 { Definition: x29 - b121 - 2*b122 - 4*b123 = 0; } Constraint e84 { Definition: x30 - b124 - 2*b125 - 4*b126 = 0; } Constraint e85 { Definition: x31 - b127 - 2*b128 - 4*b129 = 0; } Constraint e86 { Definition: x32 - b130 - 2*b131 - 4*b132 = 0; } Constraint e87 { Definition: x33 - b133 - 2*b134 - 4*b135 = 0; } Constraint e88 { Definition: x34 - b136 - 2*b137 - 4*b138 = 0; } Constraint e89 { Definition: x35 - b139 - 2*b140 - 4*b141 = 0; } Constraint e90 { Definition: x36 - b142 - 2*b143 - 4*b144 = 0; } Constraint e91 { Definition: x151 - b157 - 2*b158 - 4*b159 - 8*b160 = 0; } Constraint e92 { Definition: x152 - b161 - 2*b162 - 4*b163 - 8*b164 = 0; } Constraint e93 { Definition: x153 - b165 - 2*b166 - 4*b167 - 8*b168 = 0; } Constraint e94 { Definition: x154 - b169 - 2*b170 - 4*b171 - 8*b172 = 0; } Constraint e95 { Definition: x155 - b173 - 2*b174 - 4*b175 - 8*b176 = 0; } Constraint e96 { Definition: x156 - b177 - 2*b178 - 4*b179 - 8*b180 = 0; } Procedure MainInitialization { Body: { x1.upper := 5; x2.upper := 5; x3.upper := 5; x4.upper := 5; x5.upper := 5; x6.upper := 5; x7.upper := 5; x8.upper := 5; x9.upper := 5; x10.upper := 5; x11.upper := 5; x12.upper := 5; x13.upper := 5; x14.upper := 5; x15.upper := 5; x16.upper := 5; x17.upper := 5; x18.upper := 5; x19.upper := 5; x20.upper := 5; x21.upper := 5; x22.upper := 5; x23.upper := 5; x24.upper := 5; x25.upper := 5; x26.upper := 5; x27.upper := 5; x28.upper := 5; x29.upper := 5; x30.upper := 5; x31.upper := 5; x32.upper := 5; x33.upper := 5; x34.upper := 5; x35.upper := 5; x36.upper := 5; x151.upper := 15; x152.upper := 12; x153.upper := 8; x154.upper := 7; x155.upper := 4; x156.upper := 2; x1.l := 1; x7.l := 2; x14.l := 2; x20.l := 1; x26.l := 2; x31.l := 1; x151.l := 8; x152.l := 7; } } MathematicalProgram ex1266 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve ex1266; } } Procedure MainTermination { Body: { return 1; } } }