## ams_version=1.0 Model Main_syn05h { Variable objvar; 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 x37 { Range: nonnegative; } Variable x38 { Range: nonnegative; } Variable b39 { Range: binary; } Variable b40 { Range: binary; } Variable b41 { Range: binary; } Variable b42 { Range: binary; } Variable b43 { Range: binary; } Constraint e1 { Definition: { objvar - 5*x8 + 2*x13 - 200*x14 - 250*x15 - 300*x16 + 5*b39 + 8*b40 + 6*b41 + 10*b42 + 6*b43 = 0 } } Constraint e2 { Definition: x2 - x3 - x4 = 0; } Constraint e3 { Definition: - x5 - x6 + x7 = 0; } Constraint e4 { Definition: x7 - x8 - x9 = 0; } Constraint e5 { Definition: x9 - x10 - x11 - x12 = 0; } Constraint e6 { Definition: (x21/(1e-6 + b39) - log(1 + x17/(1e-6 + b39)))*(1e-6 + b39) <= 0; } Constraint e7 { Definition: x18 = 0; } Constraint e8 { Definition: x22 = 0; } Constraint e9 { Definition: x3 - x17 - x18 = 0; } Constraint e10 { Definition: x5 - x21 - x22 = 0; } Constraint e11 { Definition: x17 - 10*b39 <= 0; } Constraint e12 { Definition: x18 + 10*b39 <= 10; } Constraint e13 { Definition: x21 - 2.39789527279837*b39 <= 0; } Constraint e14 { Definition: x22 + 2.39789527279837*b39 <= 2.39789527279837; } Constraint e15 { Definition: (x23/(1e-6 + b40) - 1.2*log(1 + x19/(1e-6 + b40)))*(1e-6 + b40) <= 0; } Constraint e16 { Definition: x20 = 0; } Constraint e17 { Definition: x24 = 0; } Constraint e18 { Definition: x4 - x19 - x20 = 0; } Constraint e19 { Definition: x6 - x23 - x24 = 0; } Constraint e20 { Definition: x19 - 10*b40 <= 0; } Constraint e21 { Definition: x20 + 10*b40 <= 10; } Constraint e22 { Definition: x23 - 2.87747432735804*b40 <= 0; } Constraint e23 { Definition: x24 + 2.87747432735804*b40 <= 2.87747432735804; } Constraint e24 { Definition: - 0.75*x25 + x33 = 0; } Constraint e25 { Definition: x26 = 0; } Constraint e26 { Definition: x34 = 0; } Constraint e27 { Definition: x10 - x25 - x26 = 0; } Constraint e28 { Definition: x14 - x33 - x34 = 0; } Constraint e29 { Definition: x25 - 2.87747432735804*b41 <= 0; } Constraint e30 { Definition: x26 + 2.87747432735804*b41 <= 2.87747432735804; } Constraint e31 { Definition: x33 - 2.15810574551853*b41 <= 0; } Constraint e32 { Definition: x34 + 2.15810574551853*b41 <= 2.15810574551853; } Constraint e33 { Definition: (x35/(1e-6 + b42) - 1.5*log(1 + x27/(1e-6 + b42)))*(1e-6 + b42) <= 0; } Constraint e34 { Definition: x28 = 0; } Constraint e35 { Definition: x36 = 0; } Constraint e36 { Definition: x11 - x27 - x28 = 0; } Constraint e37 { Definition: x15 - x35 - x36 = 0; } Constraint e38 { Definition: x27 - 2.87747432735804*b42 <= 0; } Constraint e39 { Definition: x28 + 2.87747432735804*b42 <= 2.87747432735804; } Constraint e40 { Definition: x35 - 2.03277599268042*b42 <= 0; } Constraint e41 { Definition: x36 + 2.03277599268042*b42 <= 2.03277599268042; } Constraint e42 { Definition: - x29 + x37 = 0; } Constraint e43 { Definition: - 0.5*x31 + x37 = 0; } Constraint e44 { Definition: x30 = 0; } Constraint e45 { Definition: x32 = 0; } Constraint e46 { Definition: x38 = 0; } Constraint e47 { Definition: x12 - x29 - x30 = 0; } Constraint e48 { Definition: x13 - x31 - x32 = 0; } Constraint e49 { Definition: x16 - x37 - x38 = 0; } Constraint e50 { Definition: x29 - 2.87747432735804*b43 <= 0; } Constraint e51 { Definition: x30 + 2.87747432735804*b43 <= 2.87747432735804; } Constraint e52 { Definition: x31 - 7*b43 <= 0; } Constraint e53 { Definition: x32 + 7*b43 <= 7; } Constraint e54 { Definition: x37 - 3.5*b43 <= 0; } Constraint e55 { Definition: x38 + 3.5*b43 <= 3.5; } Constraint e56 { Definition: b39 + b40 = 1; } Constraint e57 { Definition: b39 + b40 - b41 >= 0; } Constraint e58 { Definition: b39 + b40 - b42 >= 0; } Constraint e59 { Definition: b39 + b40 - b43 >= 0; } Procedure MainInitialization { Body: { x2.upper := 10; x13.upper := 7; } } MathematicalProgram syn05h { Objective: objvar; Direction: maximize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve syn05h; } } Procedure MainTermination { Body: { return 1; } } }