## ams_version=1.0 Model Main_slay05m { Variable x1; Variable x2; Variable x3; Variable x4; Variable x5; Variable x6; Variable x7; Variable x8; Variable x9; Variable x10; Variable b11 { Range: binary; } Variable b12 { Range: binary; } Variable b13 { Range: binary; } Variable b14 { Range: binary; } Variable b15 { Range: binary; } Variable b16 { Range: binary; } Variable b17 { Range: binary; } Variable b18 { Range: binary; } Variable b19 { Range: binary; } Variable b20 { Range: binary; } Variable b21 { Range: binary; } Variable b22 { Range: binary; } Variable b23 { Range: binary; } Variable b24 { Range: binary; } Variable b25 { Range: binary; } 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 x51 { Range: nonnegative; } Variable x52 { Range: nonnegative; } Variable x53 { Range: nonnegative; } Variable x54 { Range: nonnegative; } Variable x55 { Range: nonnegative; } Variable x56 { Range: nonnegative; } Variable x57 { Range: nonnegative; } Variable x58 { Range: nonnegative; } Variable x59 { Range: nonnegative; } Variable x60 { Range: nonnegative; } Variable x61 { Range: nonnegative; } Variable x62 { Range: nonnegative; } Variable x63 { Range: nonnegative; } Variable x64 { Range: nonnegative; } Variable x65 { Range: nonnegative; } Variable x66 { Range: nonnegative; } Variable x67 { Range: nonnegative; } Variable x68 { Range: nonnegative; } Variable x69 { Range: nonnegative; } Variable x70 { Range: nonnegative; } Variable objvar; Constraint e1 { Definition: { -(150*(sqr((-4) + x1) + sqr((-10) + x6)) + 390*(sqr((-10) + x2) + sqr((-15 ) + x7)) + 240*(sqr((-7) + x3) + sqr((-9) + x8)) + 70*(sqr((-3) + x4) + sqr((-3) + x9)) + 165*(sqr((-20) + x5) + sqr((-17) + x10))) - 300*x51 - 240*x52 - 210*x53 - 140*x54 - 100*x55 - 150*x56 - 220*x57 - 120*x58 - 300*x59 - 100*x60 - 300*x61 - 240*x62 - 210*x63 - 140*x64 - 100*x65 - 150*x66 - 220*x67 - 120*x68 - 300*x69 - 100*x70 + objvar = 0 } } Constraint e2 { Definition: - x1 + x2 + x51 >= 0; } Constraint e3 { Definition: - x1 + x3 + x52 >= 0; } Constraint e4 { Definition: - x1 + x4 + x53 >= 0; } Constraint e5 { Definition: - x1 + x5 + x54 >= 0; } Constraint e6 { Definition: - x2 + x3 + x55 >= 0; } Constraint e7 { Definition: - x2 + x4 + x56 >= 0; } Constraint e8 { Definition: - x2 + x5 + x57 >= 0; } Constraint e9 { Definition: - x3 + x4 + x58 >= 0; } Constraint e10 { Definition: - x3 + x5 + x59 >= 0; } Constraint e11 { Definition: - x4 + x5 + x60 >= 0; } Constraint e12 { Definition: x1 - x2 + x51 >= 0; } Constraint e13 { Definition: x1 - x3 + x52 >= 0; } Constraint e14 { Definition: x1 - x4 + x53 >= 0; } Constraint e15 { Definition: x1 - x5 + x54 >= 0; } Constraint e16 { Definition: x2 - x3 + x55 >= 0; } Constraint e17 { Definition: x2 - x4 + x56 >= 0; } Constraint e18 { Definition: x2 - x5 + x57 >= 0; } Constraint e19 { Definition: x3 - x4 + x58 >= 0; } Constraint e20 { Definition: x3 - x5 + x59 >= 0; } Constraint e21 { Definition: x4 - x5 + x60 >= 0; } Constraint e22 { Definition: - x6 + x7 + x61 >= 0; } Constraint e23 { Definition: - x6 + x8 + x62 >= 0; } Constraint e24 { Definition: - x6 + x9 + x63 >= 0; } Constraint e25 { Definition: - x6 + x10 + x64 >= 0; } Constraint e26 { Definition: - x7 + x8 + x65 >= 0; } Constraint e27 { Definition: - x7 + x9 + x66 >= 0; } Constraint e28 { Definition: - x7 + x10 + x67 >= 0; } Constraint e29 { Definition: - x8 + x9 + x68 >= 0; } Constraint e30 { Definition: - x8 + x10 + x69 >= 0; } Constraint e31 { Definition: - x9 + x10 + x70 >= 0; } Constraint e32 { Definition: x6 - x7 + x61 >= 0; } Constraint e33 { Definition: x6 - x8 + x62 >= 0; } Constraint e34 { Definition: x6 - x9 + x63 >= 0; } Constraint e35 { Definition: x6 - x10 + x64 >= 0; } Constraint e36 { Definition: x7 - x8 + x65 >= 0; } Constraint e37 { Definition: x7 - x9 + x66 >= 0; } Constraint e38 { Definition: x7 - x10 + x67 >= 0; } Constraint e39 { Definition: x8 - x9 + x68 >= 0; } Constraint e40 { Definition: x8 - x10 + x69 >= 0; } Constraint e41 { Definition: x9 - x10 + x70 >= 0; } Constraint e42 { Definition: x1 - x2 + 30*b11 <= 24; } Constraint e43 { Definition: x1 - x3 + 30*b12 <= 26; } Constraint e44 { Definition: x1 - x4 + 30*b13 <= 26.5; } Constraint e45 { Definition: x1 - x5 + 30*b14 <= 25.5; } Constraint e46 { Definition: x2 - x3 + 30*b15 <= 25; } Constraint e47 { Definition: x2 - x4 + 30*b16 <= 25.5; } Constraint e48 { Definition: x2 - x5 + 30*b17 <= 24.5; } Constraint e49 { Definition: x3 - x4 + 30*b18 <= 27.5; } Constraint e50 { Definition: x3 - x5 + 30*b19 <= 26.5; } Constraint e51 { Definition: x4 - x5 + 30*b20 <= 27; } Constraint e52 { Definition: - x1 + x2 + 30*b21 <= 24; } Constraint e53 { Definition: - x1 + x3 + 30*b22 <= 26; } Constraint e54 { Definition: - x1 + x4 + 30*b23 <= 26.5; } Constraint e55 { Definition: - x1 + x5 + 30*b24 <= 25.5; } Constraint e56 { Definition: - x2 + x3 + 30*b25 <= 25; } Constraint e57 { Definition: - x2 + x4 + 30*b26 <= 25.5; } Constraint e58 { Definition: - x2 + x5 + 30*b27 <= 24.5; } Constraint e59 { Definition: - x3 + x4 + 30*b28 <= 27.5; } Constraint e60 { Definition: - x3 + x5 + 30*b29 <= 26.5; } Constraint e61 { Definition: - x4 + x5 + 30*b30 <= 27; } Constraint e62 { Definition: x6 - x7 + 30*b31 <= 24.5; } Constraint e63 { Definition: x6 - x8 + 30*b32 <= 25.5; } Constraint e64 { Definition: x6 - x9 + 30*b33 <= 25.5; } Constraint e65 { Definition: x6 - x10 + 30*b34 <= 25; } Constraint e66 { Definition: x7 - x8 + 30*b35 <= 26; } Constraint e67 { Definition: x7 - x9 + 30*b36 <= 26; } Constraint e68 { Definition: x7 - x10 + 30*b37 <= 25.5; } Constraint e69 { Definition: x8 - x9 + 30*b38 <= 27; } Constraint e70 { Definition: x8 - x10 + 30*b39 <= 26.5; } Constraint e71 { Definition: x9 - x10 + 30*b40 <= 26.5; } Constraint e72 { Definition: - x6 + x7 + 30*b41 <= 24.5; } Constraint e73 { Definition: - x6 + x8 + 30*b42 <= 25.5; } Constraint e74 { Definition: - x6 + x9 + 30*b43 <= 25.5; } Constraint e75 { Definition: - x6 + x10 + 30*b44 <= 25; } Constraint e76 { Definition: - x7 + x8 + 30*b45 <= 26; } Constraint e77 { Definition: - x7 + x9 + 30*b46 <= 26; } Constraint e78 { Definition: - x7 + x10 + 30*b47 <= 25.5; } Constraint e79 { Definition: - x8 + x9 + 30*b48 <= 27; } Constraint e80 { Definition: - x8 + x10 + 30*b49 <= 26.5; } Constraint e81 { Definition: - x9 + x10 + 30*b50 <= 26.5; } Constraint e82 { Definition: b11 + b21 + b31 + b41 = 1; } Constraint e83 { Definition: b12 + b22 + b32 + b42 = 1; } Constraint e84 { Definition: b13 + b23 + b33 + b43 = 1; } Constraint e85 { Definition: b14 + b24 + b34 + b44 = 1; } Constraint e86 { Definition: b15 + b25 + b35 + b45 = 1; } Constraint e87 { Definition: b16 + b26 + b36 + b46 = 1; } Constraint e88 { Definition: b17 + b27 + b37 + b47 = 1; } Constraint e89 { Definition: b18 + b28 + b38 + b48 = 1; } Constraint e90 { Definition: b19 + b29 + b39 + b49 = 1; } Constraint e91 { Definition: b20 + b30 + b40 + b50 = 1; } Procedure MainInitialization { Body: { x1.lower := 2.5; x1.upper := 27.5; x2.lower := 3.5; x2.upper := 26.5; x3.lower := 1.5; x3.upper := 28.5; x4.lower := 1; x4.upper := 29; x5.lower := 2; x5.upper := 28; x6.lower := 3; x6.upper := 27; x7.lower := 2.5; x7.upper := 27.5; x8.lower := 1.5; x8.upper := 28.5; x9.lower := 1.5; x9.upper := 28.5; x10.lower := 2; x10.upper := 28; } } MathematicalProgram slay05m { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve slay05m; } } Procedure MainTermination { Body: { return 1; } } }