## ams_version=1.0 Model Main_batch0812 { 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; Variable x14; Variable x15; Variable x16; Variable x17; Variable x18; Variable x19; Variable x20; Variable x21; Variable x22; Variable x23; Variable x24; Variable x25; Variable x26; Variable x27; Variable x28; Variable x29; Variable x30; Variable x31; Variable x32; Variable x33; Variable x34; Variable x35; Variable x36; Variable x37; Variable x38; Variable x39; Variable x40; 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 objvar; Constraint e1 { Definition: { -(250*exp(x1 + 0.6*x13) + 550*exp(x2 + 0.6*x14) + 250*exp(x3 + 0.6*x15) + 1000*exp(x4 + 0.6*x16) + 300*exp(x5 + 0.6*x17) + 800*exp(x6 + 0.6*x18) + 200*exp(x7 + 0.6*x19) + 1200*exp(x8 + 0.6*x20) + 250*exp(x9 + 0.6*x21) + 250*exp(x10 + 0.6*x22) + 450*exp(x11 + 0.6*x23) + 700*exp(x12 + 0.6*x24)) + objvar = 0 } } Constraint e2 { Definition: x13 - x25 >= 2.06686275947298; } Constraint e3 { Definition: x14 - x25 >= 0.693147180559945; } Constraint e4 { Definition: x15 - x25 >= 1.64865862558738; } Constraint e5 { Definition: x16 - x25 >= 1.58923520511658; } Constraint e6 { Definition: x17 - x25 >= 1.80828877117927; } Constraint e7 { Definition: x18 - x25 >= 1.43508452528932; } Constraint e8 { Definition: x19 - x25 >= 1.02961941718116; } Constraint e9 { Definition: x20 - x25 >= 1.19392246847243; } Constraint e10 { Definition: x21 - x25 >= 1.41098697371026; } Constraint e11 { Definition: x22 - x25 >= 1.33500106673234; } Constraint e12 { Definition: x23 - x25 >= 1.02961941718116; } Constraint e13 { Definition: x24 - x25 >= 1.3609765531356; } Constraint e14 { Definition: x13 - x26 >= -0.356674943938732; } Constraint e15 { Definition: x14 - x26 >= -0.22314355131421; } Constraint e16 { Definition: x15 - x26 >= -0.105360515657826; } Constraint e17 { Definition: x16 - x26 >= 1.22377543162212; } Constraint e18 { Definition: x17 - x26 >= 0.741937344729377; } Constraint e19 { Definition: x18 - x26 >= 0.916290731874155; } Constraint e20 { Definition: x19 - x26 >= 1.19392246847243; } Constraint e21 { Definition: x20 - x26 >= 1.09861228866811; } Constraint e22 { Definition: x21 - x26 >= 0.993251773010283; } Constraint e23 { Definition: x22 - x26 >= 0.8754687373539; } Constraint e24 { Definition: x23 - x26 >= 0.78845736036427; } Constraint e25 { Definition: x24 - x26 >= 1.1314021114911; } Constraint e26 { Definition: x13 - x27 >= -0.356674943938732; } Constraint e27 { Definition: x14 - x27 >= 0.955511445027436; } Constraint e28 { Definition: x15 - x27 >= 0.470003629245736; } Constraint e29 { Definition: x16 - x27 >= 1.28093384546206; } Constraint e30 { Definition: x17 - x27 >= 1.16315080980568; } Constraint e31 { Definition: x18 - x27 >= 1.06471073699243; } Constraint e32 { Definition: x19 - x27 >= 0.955511445027436; } Constraint e33 { Definition: x20 - x27 >= 0.78845736036427; } Constraint e34 { Definition: x21 - x27 >= 1.52605630349505; } Constraint e35 { Definition: x22 - x27 >= 1.45861502269952; } Constraint e36 { Definition: x23 - x27 >= 1.43508452528932; } Constraint e37 { Definition: x24 - x27 >= 1.52605630349505; } Constraint e38 { Definition: x13 - x28 >= 1.54756250871601; } Constraint e39 { Definition: x14 - x28 >= 0.832909122935104; } Constraint e40 { Definition: x15 - x28 >= 0.470003629245736; } Constraint e41 { Definition: x16 - x28 >= 0.993251773010283; } Constraint e42 { Definition: x17 - x28 >= 0.182321556793955; } Constraint e43 { Definition: x18 - x28 >= 0.916290731874155; } Constraint e44 { Definition: x19 - x28 >= 0.405465108108164; } Constraint e45 { Definition: x20 - x28 >= 0.405465108108164; } Constraint e46 { Definition: x21 - x28 >= 0.262364264467491; } Constraint e47 { Definition: x22 - x28 >= 0.53062825106217; } Constraint e48 { Definition: x23 - x28 >= 0.405465108108164; } Constraint e49 { Definition: x24 - x28 >= 0.587786664902119; } Constraint e50 { Definition: x13 - x29 >= 0.182321556793955; } Constraint e51 { Definition: x14 - x29 >= 1.28093384546206; } Constraint e52 { Definition: x15 - x29 >= 0.8754687373539; } Constraint e53 { Definition: x16 - x29 >= 1.50407739677627; } Constraint e54 { Definition: x17 - x29 >= 0.470003629245736; } Constraint e55 { Definition: x18 - x29 >= 0.741937344729377; } Constraint e56 { Definition: x19 - x29 >= 0.8754687373539; } Constraint e57 { Definition: x20 - x29 >= 0.993251773010283; } Constraint e58 { Definition: x21 - x29 >= 1.02961941718116; } Constraint e59 { Definition: x22 - x29 >= 1.25276296849537; } Constraint e60 { Definition: x23 - x29 >= 1.25276296849537; } Constraint e61 { Definition: x24 - x29 >= 1.45861502269952; } Constraint e62 { Definition: x13 - x30 >= -0.356674943938732; } Constraint e63 { Definition: x14 - x30 >= 0.8754687373539; } Constraint e64 { Definition: x15 - x30 >= 1.1314021114911; } Constraint e65 { Definition: x16 - x30 >= 0.78845736036427; } Constraint e66 { Definition: x17 - x30 >= 1.30833281965018; } Constraint e67 { Definition: x18 - x30 >= 1.56861591791385; } Constraint e68 { Definition: x19 - x30 >= 1.50407739677627; } Constraint e69 { Definition: x20 - x30 >= 1.64865862558738; } Constraint e70 { Definition: x21 - x30 >= 1.85629799036563; } Constraint e71 { Definition: x22 - x30 >= 1.7404661748405; } Constraint e72 { Definition: x23 - x30 >= 1.85629799036563; } Constraint e73 { Definition: x24 - x30 >= 1.91692261218206; } Constraint e74 { Definition: x13 - x31 >= 0.832909122935104; } Constraint e75 { Definition: x14 - x31 >= 1.54756250871601; } Constraint e76 { Definition: x15 - x31 >= 1.64865862558738; } Constraint e77 { Definition: x16 - x31 >= 1.25276296849537; } Constraint e78 { Definition: x17 - x31 >= 1.06471073699243; } Constraint e79 { Definition: x18 - x31 >= 1.28093384546206; } Constraint e80 { Definition: x19 - x31 >= 1.19392246847243; } Constraint e81 { Definition: x20 - x31 >= 1.16315080980568; } Constraint e82 { Definition: x21 - x31 >= 1.41098697371026; } Constraint e83 { Definition: x22 - x31 >= 1.30833281965018; } Constraint e84 { Definition: x23 - x31 >= 1.22377543162212; } Constraint e85 { Definition: x24 - x31 >= 1.30833281965018; } Constraint e86 { Definition: x13 - x32 >= -0.916290731874155; } Constraint e87 { Definition: x14 - x32 >= -0.105360515657826; } Constraint e88 { Definition: x15 - x32 >= 0.0953101798043249; } Constraint e89 { Definition: x16 - x32 >= 0.336472236621213; } Constraint e90 { Definition: x17 - x32 >= 0.470003629245736; } Constraint e91 { Definition: x18 - x32 >= 0.78845736036427; } Constraint e92 { Definition: x19 - x32 >= 0.693147180559945; } Constraint e93 { Definition: x20 - x32 >= 0.587786664902119; } Constraint e94 { Definition: x21 - x32 >= 0.587786664902119; } Constraint e95 { Definition: x22 - x32 >= 0.470003629245736; } Constraint e96 { Definition: x23 - x32 >= 0.587786664902119; } Constraint e97 { Definition: x24 - x32 >= 0.693147180559945; } Constraint e98 { Definition: x1 + x33 >= 1.85629799036563; } Constraint e99 { Definition: x2 + x33 >= 1.54756250871601; } Constraint e100 { Definition: x3 + x33 >= 2.11625551480255; } Constraint e101 { Definition: x4 + x33 >= 1.3609765531356; } Constraint e102 { Definition: x5 + x33 >= 0.741937344729377; } Constraint e103 { Definition: x6 + x33 >= 0.182321556793955; } Constraint e104 { Definition: x7 + x33 >= -0.22314355131421; } Constraint e105 { Definition: x8 + x33 >= 0.78845736036427; } Constraint e106 { Definition: x9 + x33 >= 0.182321556793955; } Constraint e107 { Definition: x10 + x33 >= 0.916290731874155; } Constraint e108 { Definition: x11 + x33 >= 1.22377543162212; } Constraint e109 { Definition: x12 + x33 >= 1.33500106673234; } Constraint e110 { Definition: x1 + x34 >= 1.91692261218206; } Constraint e111 { Definition: x2 + x34 >= 1.85629799036563; } Constraint e112 { Definition: x3 + x34 >= 1.87180217690159; } Constraint e113 { Definition: x4 + x34 >= 1.48160454092422; } Constraint e114 { Definition: x5 + x34 >= 0.832909122935104; } Constraint e115 { Definition: x6 + x34 >= 1.16315080980568; } Constraint e116 { Definition: x7 + x34 >= -0.916290731874155; } Constraint e117 { Definition: x8 + x34 >= -1.6094379124341; } Constraint e118 { Definition: x9 + x34 >= -0.693147180559945; } Constraint e119 { Definition: x10 + x34 >= 1.19392246847243; } Constraint e120 { Definition: x11 + x34 >= -0.510825623765991; } Constraint e121 { Definition: x12 + x34 >= 0.182321556793955; } Constraint e122 { Definition: x1 + x35 >= 0; } Constraint e123 { Definition: x2 + x35 >= 1.84054963339749; } Constraint e124 { Definition: x3 + x35 >= 1.68639895357023; } Constraint e125 { Definition: x4 + x35 >= 2.47653840011748; } Constraint e126 { Definition: x5 + x35 >= 1.7404661748405; } Constraint e127 { Definition: x6 + x35 >= 1.82454929205105; } Constraint e128 { Definition: x7 + x35 >= 0.0953101798043249; } Constraint e129 { Definition: x8 + x35 >= -0.510825623765991; } Constraint e130 { Definition: x9 + x35 >= 0.182321556793955; } Constraint e131 { Definition: x10 + x35 >= 1.45861502269952; } Constraint e132 { Definition: x11 + x35 >= 1.02961941718116; } Constraint e133 { Definition: x12 + x35 >= 1.64865862558738; } Constraint e134 { Definition: x1 + x36 >= 1.16315080980568; } Constraint e135 { Definition: x2 + x36 >= 1.09861228866811; } Constraint e136 { Definition: x3 + x36 >= 1.25276296849537; } Constraint e137 { Definition: x4 + x36 >= 1.19392246847243; } Constraint e138 { Definition: x5 + x36 >= 1.02961941718116; } Constraint e139 { Definition: x6 + x36 >= 1.22377543162212; } Constraint e140 { Definition: x7 + x36 >= 0.53062825106217; } Constraint e141 { Definition: x8 + x36 >= -0.105360515657826; } Constraint e142 { Definition: x9 + x36 >= 0.78845736036427; } Constraint e143 { Definition: x10 + x36 >= 0.765467842139571; } Constraint e144 { Definition: x11 + x36 >= 0.587786664902119; } Constraint e145 { Definition: x12 + x36 >= 0.916290731874155; } Constraint e146 { Definition: x1 + x37 >= 0.741937344729377; } Constraint e147 { Definition: x2 + x37 >= 0.916290731874155; } Constraint e148 { Definition: x3 + x37 >= 1.43508452528932; } Constraint e149 { Definition: x4 + x37 >= 1.28093384546206; } Constraint e150 { Definition: x5 + x37 >= 1.7404661748405; } Constraint e151 { Definition: x6 + x37 >= 0.78845736036427; } Constraint e152 { Definition: x7 + x37 >= 0.182321556793955; } Constraint e153 { Definition: x8 + x37 >= -0.510825623765991; } Constraint e154 { Definition: x9 + x37 >= 0.139761942375159; } Constraint e155 { Definition: x10 + x37 >= 1.1314021114911; } Constraint e156 { Definition: x11 + x37 >= 1.43508452528932; } Constraint e157 { Definition: x12 + x37 >= 0.470003629245736; } Constraint e158 { Definition: x1 + x38 >= 0.0953101798043249; } Constraint e159 { Definition: x2 + x38 >= -0.22314355131421; } Constraint e160 { Definition: x3 + x38 >= -0.916290731874155; } Constraint e161 { Definition: x4 + x38 >= 0.0953101798043249; } Constraint e162 { Definition: x5 + x38 >= 0.587786664902119; } Constraint e163 { Definition: x6 + x38 >= 0.916290731874155; } Constraint e164 { Definition: x7 + x38 >= -0.693147180559945; } Constraint e165 { Definition: x8 + x38 >= 0.262364264467491; } Constraint e166 { Definition: x9 + x38 >= 0.336472236621213; } Constraint e167 { Definition: x10 + x38 >= 1.44691898293633; } Constraint e168 { Definition: x11 + x38 >= 0.993251773010283; } Constraint e169 { Definition: x12 + x38 >= -0.105360515657826; } Constraint e170 { Definition: x1 + x39 >= 1.43508452528932; } Constraint e171 { Definition: x2 + x39 >= 1.38629436111989; } Constraint e172 { Definition: x3 + x39 >= 0.78845736036427; } Constraint e173 { Definition: x4 + x39 >= -0.693147180559945; } Constraint e174 { Definition: x5 + x39 >= 1.22377543162212; } Constraint e175 { Definition: x6 + x39 >= 0.78845736036427; } Constraint e176 { Definition: x7 + x39 >= 0.336472236621213; } Constraint e177 { Definition: x8 + x39 >= -0.105360515657826; } Constraint e178 { Definition: x9 + x39 >= 0.741937344729377; } Constraint e179 { Definition: x10 + x39 >= 1.48160454092422; } Constraint e180 { Definition: x11 + x39 >= 0.78845736036427; } Constraint e181 { Definition: x12 + x39 >= 1.16315080980568; } Constraint e182 { Definition: x1 + x40 >= 0.993251773010283; } Constraint e183 { Definition: x2 + x40 >= 1.45861502269952; } Constraint e184 { Definition: x3 + x40 >= 0.641853886172395; } Constraint e185 { Definition: x4 + x40 >= 0.693147180559945; } Constraint e186 { Definition: x5 + x40 >= 0.53062825106217; } Constraint e187 { Definition: x6 + x40 >= -0.356674943938732; } Constraint e188 { Definition: x7 + x40 >= -1.20397280432594; } Constraint e189 { Definition: x8 + x40 >= -1.6094379124341; } Constraint e190 { Definition: x9 + x40 >= 0.470003629245736; } Constraint e191 { Definition: x10 + x40 >= 1.25276296849537; } Constraint e192 { Definition: x11 + x40 >= 1.22377543162212; } Constraint e193 { Definition: x12 + x40 >= 0.741937344729377; } Constraint e194 { Definition: { 485000*exp(x33 - x25) + 297000*exp(x34 - x26) + 320000*exp(x35 - x27) + 283000*exp(x36 - x28) + 363000*exp(x37 - x29) + 265000*exp(x38 - x30) + 288000*exp(x39 - x31) + 145000*exp(x40 - x32) <= 6000 } } Constraint e195 { Definition: { x1 - 0.693147180559945*b53 - 1.09861228866811*b65 - 1.38629436111989*b77 - 1.6094379124341*b89 = 0 } } Constraint e196 { Definition: { x2 - 0.693147180559945*b54 - 1.09861228866811*b66 - 1.38629436111989*b78 - 1.6094379124341*b90 = 0 } } Constraint e197 { Definition: { x3 - 0.693147180559945*b55 - 1.09861228866811*b67 - 1.38629436111989*b79 - 1.6094379124341*b91 = 0 } } Constraint e198 { Definition: { x4 - 0.693147180559945*b56 - 1.09861228866811*b68 - 1.38629436111989*b80 - 1.6094379124341*b92 = 0 } } Constraint e199 { Definition: { x5 - 0.693147180559945*b57 - 1.09861228866811*b69 - 1.38629436111989*b81 - 1.6094379124341*b93 = 0 } } Constraint e200 { Definition: { x6 - 0.693147180559945*b58 - 1.09861228866811*b70 - 1.38629436111989*b82 - 1.6094379124341*b94 = 0 } } Constraint e201 { Definition: { x7 - 0.693147180559945*b59 - 1.09861228866811*b71 - 1.38629436111989*b83 - 1.6094379124341*b95 = 0 } } Constraint e202 { Definition: { x8 - 0.693147180559945*b60 - 1.09861228866811*b72 - 1.38629436111989*b84 - 1.6094379124341*b96 = 0 } } Constraint e203 { Definition: { x9 - 0.693147180559945*b61 - 1.09861228866811*b73 - 1.38629436111989*b85 - 1.6094379124341*b97 = 0 } } Constraint e204 { Definition: { x10 - 0.693147180559945*b62 - 1.09861228866811*b74 - 1.38629436111989*b86 - 1.6094379124341*b98 = 0 } } Constraint e205 { Definition: { x11 - 0.693147180559945*b63 - 1.09861228866811*b75 - 1.38629436111989*b87 - 1.6094379124341*b99 = 0 } } Constraint e206 { Definition: { x12 - 0.693147180559945*b64 - 1.09861228866811*b76 - 1.38629436111989*b88 - 1.6094379124341*b100 = 0 } } Constraint e207 { Definition: b41 + b53 + b65 + b77 + b89 = 1; } Constraint e208 { Definition: b42 + b54 + b66 + b78 + b90 = 1; } Constraint e209 { Definition: b43 + b55 + b67 + b79 + b91 = 1; } Constraint e210 { Definition: b44 + b56 + b68 + b80 + b92 = 1; } Constraint e211 { Definition: b45 + b57 + b69 + b81 + b93 = 1; } Constraint e212 { Definition: b46 + b58 + b70 + b82 + b94 = 1; } Constraint e213 { Definition: b47 + b59 + b71 + b83 + b95 = 1; } Constraint e214 { Definition: b48 + b60 + b72 + b84 + b96 = 1; } Constraint e215 { Definition: b49 + b61 + b73 + b85 + b97 = 1; } Constraint e216 { Definition: b50 + b62 + b74 + b86 + b98 = 1; } Constraint e217 { Definition: b51 + b63 + b75 + b87 + b99 = 1; } Constraint e218 { Definition: b52 + b64 + b76 + b88 + b100 = 1; } Procedure MainInitialization { Body: { x1.upper := 1.6094379124341; x2.upper := 1.6094379124341; x3.upper := 1.6094379124341; x4.upper := 1.6094379124341; x5.upper := 1.6094379124341; x6.upper := 1.6094379124341; x7.upper := 1.6094379124341; x8.upper := 1.6094379124341; x9.upper := 1.6094379124341; x10.upper := 1.6094379124341; x11.upper := 1.6094379124341; x12.upper := 1.6094379124341; x13.lower := 5.7037824746562; x13.upper := 8.00636756765025; x14.lower := 5.7037824746562; x14.upper := 8.00636756765025; x15.lower := 5.7037824746562; x15.upper := 8.00636756765025; x16.lower := 5.7037824746562; x16.upper := 8.00636756765025; x17.lower := 5.7037824746562; x17.upper := 8.00636756765025; x18.lower := 5.7037824746562; x18.upper := 8.00636756765025; x19.lower := 5.7037824746562; x19.upper := 8.00636756765025; x20.lower := 5.7037824746562; x20.upper := 8.00636756765025; x21.lower := 5.7037824746562; x21.upper := 8.00636756765025; x22.lower := 5.7037824746562; x22.upper := 8.00636756765025; x23.lower := 5.7037824746562; x23.upper := 8.00636756765025; x24.lower := 5.7037824746562; x24.upper := 8.00636756765025; x25.lower := 4.89920702407788; x25.upper := 5.93950480817727; x26.lower := 4.2094573693226; x26.upper := 6.78259213602813; x27.lower := 4.8436620142491; x27.upper := 6.4803112641552; x28.lower := 3.49701248447645; x28.upper := 6.45880505893423; x29.lower := 4.2336716274432; x29.upper := 6.50229017087397; x30.lower := 3.62545142726039; x30.upper := 6.08944495546819; x31.lower := 3.74336763939801; x31.upper := 6.35770894206286; x32.lower := 3.03415138345794; x32.upper := 7.21791020728598; x33.lower := 0.506817602368452; x33.upper := 2.11625551480255; x34.lower := 0.307484699747961; x34.upper := 1.91692261218206; x35.lower := 0.867100487683383; x35.upper := 2.47653840011748; x36.lower := -0.356674943938732; x36.upper := 1.25276296849537; x37.lower := 0.131028262406404; x37.upper := 1.7404661748405; x38.lower := -0.162518929497775; x38.upper := 1.44691898293633; x39.lower := -0.127833371509885; x39.upper := 1.48160454092422; x40.lower := -0.150822889734584; x40.upper := 1.45861502269952; x36.l := -0.356674943938732; x38.l := -0.162518929497775; x39.l := -0.127833371509885; x40.l := -0.150822889734584; } } MathematicalProgram batch0812 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve batch0812; } } Procedure MainTermination { Body: { return 1; } } }