## ams_version=1.0 Model Main_ex1265 { 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 b26 { Range: binary; } Variable b27 { Range: binary; } Variable b28 { Range: binary; } Variable b29 { Range: binary; } Variable b30 { Range: binary; } Variable b31 { Range: binary; } Variable b32 { Range: binary; } Variable b33 { Range: binary; } Variable b34 { Range: binary; } Variable b35 { Range: binary; } Variable b36 { Range: binary; } 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 x106 { Range: nonnegative; } Variable x107 { Range: nonnegative; } Variable x108 { Range: nonnegative; } Variable x109 { Range: nonnegative; } Variable x110 { Range: nonnegative; } 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 objvar; Constraint e1 { Definition: { - 0.1*b101 - 0.2*b102 - 0.3*b103 - 0.4*b104 - 0.5*b105 - x106 - x107 - x108 - x109 - x110 + objvar = 0 } } Constraint e2 { Definition: x106*x1 + x107*x2 + x108*x3 + x109*x4 + x110*x5 >= 12; } Constraint e3 { Definition: x106*x6 + x107*x7 + x108*x8 + x109*x9 + x110*x10 >= 6; } Constraint e4 { Definition: x106*x11 + x107*x12 + x108*x13 + x109*x14 + x110*x15 >= 15; } Constraint e5 { Definition: x106*x16 + x107*x17 + x108*x18 + x109*x19 + x110*x20 >= 6; } Constraint e6 { Definition: x106*x21 + x107*x22 + x108*x23 + x109*x24 + x110*x25 >= 9; } Constraint e7 { Definition: - 330*x1 - 360*x6 - 370*x11 - 415*x16 - 435*x21 + 1800*b101 <= 0; } Constraint e8 { Definition: - 330*x2 - 360*x7 - 370*x12 - 415*x17 - 435*x22 + 1800*b102 <= 0; } Constraint e9 { Definition: - 330*x3 - 360*x8 - 370*x13 - 415*x18 - 435*x23 + 1800*b103 <= 0; } Constraint e10 { Definition: - 330*x4 - 360*x9 - 370*x14 - 415*x19 - 435*x24 + 1800*b104 <= 0; } Constraint e11 { Definition: - 330*x5 - 360*x10 - 370*x15 - 415*x20 - 435*x25 + 1800*b105 <= 0; } Constraint e12 { Definition: 330*x1 + 360*x6 + 370*x11 + 415*x16 + 435*x21 - 2000*b101 <= 0; } Constraint e13 { Definition: 330*x2 + 360*x7 + 370*x12 + 415*x17 + 435*x22 - 2000*b102 <= 0; } Constraint e14 { Definition: 330*x3 + 360*x8 + 370*x13 + 415*x18 + 435*x23 - 2000*b103 <= 0; } Constraint e15 { Definition: 330*x4 + 360*x9 + 370*x14 + 415*x19 + 435*x24 - 2000*b104 <= 0; } Constraint e16 { Definition: 330*x5 + 360*x10 + 370*x15 + 415*x20 + 435*x25 - 2000*b105 <= 0; } Constraint e17 { Definition: - x1 - x6 - x11 - x16 - x21 + b101 <= 0; } Constraint e18 { Definition: - x2 - x7 - x12 - x17 - x22 + b102 <= 0; } Constraint e19 { Definition: - x3 - x8 - x13 - x18 - x23 + b103 <= 0; } Constraint e20 { Definition: - x4 - x9 - x14 - x19 - x24 + b104 <= 0; } Constraint e21 { Definition: - x5 - x10 - x15 - x20 - x25 + b105 <= 0; } Constraint e22 { Definition: x1 + x6 + x11 + x16 + x21 - 5*b101 <= 0; } Constraint e23 { Definition: x2 + x7 + x12 + x17 + x22 - 5*b102 <= 0; } Constraint e24 { Definition: x3 + x8 + x13 + x18 + x23 - 5*b103 <= 0; } Constraint e25 { Definition: x4 + x9 + x14 + x19 + x24 - 5*b104 <= 0; } Constraint e26 { Definition: x5 + x10 + x15 + x20 + x25 - 5*b105 <= 0; } Constraint e27 { Definition: b101 - x106 <= 0; } Constraint e28 { Definition: b102 - x107 <= 0; } Constraint e29 { Definition: b103 - x108 <= 0; } Constraint e30 { Definition: b104 - x109 <= 0; } Constraint e31 { Definition: b105 - x110 <= 0; } Constraint e32 { Definition: - 15*b101 + x106 <= 0; } Constraint e33 { Definition: - 12*b102 + x107 <= 0; } Constraint e34 { Definition: - 9*b103 + x108 <= 0; } Constraint e35 { Definition: - 6*b104 + x109 <= 0; } Constraint e36 { Definition: - 6*b105 + x110 <= 0; } Constraint e37 { Definition: x106 + x107 + x108 + x109 + x110 >= 10; } Constraint e38 { Definition: - b101 + b102 <= 0; } Constraint e39 { Definition: - b102 + b103 <= 0; } Constraint e40 { Definition: - b103 + b104 <= 0; } Constraint e41 { Definition: - b104 + b105 <= 0; } Constraint e42 { Definition: - x106 + x107 <= 0; } Constraint e43 { Definition: - x107 + x108 <= 0; } Constraint e44 { Definition: - x108 + x109 <= 0; } Constraint e45 { Definition: - x109 + x110 <= 0; } Constraint e46 { Definition: x1 - b26 - 2*b27 - 4*b28 = 0; } Constraint e47 { Definition: x2 - b29 - 2*b30 - 4*b31 = 0; } Constraint e48 { Definition: x3 - b32 - 2*b33 - 4*b34 = 0; } Constraint e49 { Definition: x4 - b35 - 2*b36 - 4*b37 = 0; } Constraint e50 { Definition: x5 - b38 - 2*b39 - 4*b40 = 0; } Constraint e51 { Definition: x6 - b41 - 2*b42 - 4*b43 = 0; } Constraint e52 { Definition: x7 - b44 - 2*b45 - 4*b46 = 0; } Constraint e53 { Definition: x8 - b47 - 2*b48 - 4*b49 = 0; } Constraint e54 { Definition: x9 - b50 - 2*b51 - 4*b52 = 0; } Constraint e55 { Definition: x10 - b53 - 2*b54 - 4*b55 = 0; } Constraint e56 { Definition: x11 - b56 - 2*b57 - 4*b58 = 0; } Constraint e57 { Definition: x12 - b59 - 2*b60 - 4*b61 = 0; } Constraint e58 { Definition: x13 - b62 - 2*b63 - 4*b64 = 0; } Constraint e59 { Definition: x14 - b65 - 2*b66 - 4*b67 = 0; } Constraint e60 { Definition: x15 - b68 - 2*b69 - 4*b70 = 0; } Constraint e61 { Definition: x16 - b71 - 2*b72 - 4*b73 = 0; } Constraint e62 { Definition: x17 - b74 - 2*b75 - 4*b76 = 0; } Constraint e63 { Definition: x18 - b77 - 2*b78 - 4*b79 = 0; } Constraint e64 { Definition: x19 - b80 - 2*b81 - 4*b82 = 0; } Constraint e65 { Definition: x20 - b83 - 2*b84 - 4*b85 = 0; } Constraint e66 { Definition: x21 - b86 - 2*b87 - 4*b88 = 0; } Constraint e67 { Definition: x22 - b89 - 2*b90 - 4*b91 = 0; } Constraint e68 { Definition: x23 - b92 - 2*b93 - 4*b94 = 0; } Constraint e69 { Definition: x24 - b95 - 2*b96 - 4*b97 = 0; } Constraint e70 { Definition: x25 - b98 - 2*b99 - 4*b100 = 0; } Constraint e71 { Definition: x106 - b111 - 2*b112 - 4*b113 - 8*b114 = 0; } Constraint e72 { Definition: x107 - b115 - 2*b116 - 4*b117 - 8*b118 = 0; } Constraint e73 { Definition: x108 - b119 - 2*b120 - 4*b121 - 8*b122 = 0; } Constraint e74 { Definition: x109 - b123 - 2*b124 - 4*b125 - 8*b126 = 0; } Constraint e75 { Definition: x110 - b127 - 2*b128 - 4*b129 - 8*b130 = 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; x106.upper := 15; x107.upper := 12; x108.upper := 9; x109.upper := 6; x110.upper := 6; } } MathematicalProgram ex1265 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve ex1265; } } Procedure MainTermination { Body: { return 1; } } }