## ams_version=1.0 Model Main_clay0204m { Variable x1; Variable x2; Variable x3; Variable x4; Variable x5; Variable x6; Variable x7; Variable x8; Variable b9 { Range: binary; } Variable b10 { Range: binary; } 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 x41 { Range: nonnegative; } Variable x42 { Range: nonnegative; } Variable x43 { Range: nonnegative; } Variable x44 { Range: nonnegative; } Variable x45 { Range: nonnegative; } Variable x46 { Range: nonnegative; } Variable x47 { Range: nonnegative; } Variable x48 { Range: nonnegative; } Variable x49 { Range: nonnegative; } Variable x50 { Range: nonnegative; } Variable x51 { Range: nonnegative; } Variable x52 { Range: nonnegative; } Variable objvar; Constraint e1 { Definition: { - 300*x41 - 240*x42 - 210*x43 - 100*x44 - 150*x45 - 120*x46 - 300*x47 - 240*x48 - 210*x49 - 100*x50 - 150*x51 - 120*x52 + objvar = 0 } } Constraint e2 { Definition: - x1 + x2 + x41 >= 0; } Constraint e3 { Definition: - x1 + x3 + x42 >= 0; } Constraint e4 { Definition: - x1 + x4 + x43 >= 0; } Constraint e5 { Definition: - x2 + x3 + x44 >= 0; } Constraint e6 { Definition: - x2 + x4 + x45 >= 0; } Constraint e7 { Definition: - x3 + x4 + x46 >= 0; } Constraint e8 { Definition: x1 - x2 + x41 >= 0; } Constraint e9 { Definition: x1 - x3 + x42 >= 0; } Constraint e10 { Definition: x1 - x4 + x43 >= 0; } Constraint e11 { Definition: x2 - x3 + x44 >= 0; } Constraint e12 { Definition: x2 - x4 + x45 >= 0; } Constraint e13 { Definition: x3 - x4 + x46 >= 0; } Constraint e14 { Definition: - x5 + x6 + x47 >= 0; } Constraint e15 { Definition: - x5 + x7 + x48 >= 0; } Constraint e16 { Definition: - x5 + x8 + x49 >= 0; } Constraint e17 { Definition: - x6 + x7 + x50 >= 0; } Constraint e18 { Definition: - x6 + x8 + x51 >= 0; } Constraint e19 { Definition: - x7 + x8 + x52 >= 0; } Constraint e20 { Definition: x5 - x6 + x47 >= 0; } Constraint e21 { Definition: x5 - x7 + x48 >= 0; } Constraint e22 { Definition: x5 - x8 + x49 >= 0; } Constraint e23 { Definition: x6 - x7 + x50 >= 0; } Constraint e24 { Definition: x6 - x8 + x51 >= 0; } Constraint e25 { Definition: x7 - x8 + x52 >= 0; } Constraint e26 { Definition: x1 - x2 + 51*b9 <= 45; } Constraint e27 { Definition: x1 - x3 + 51*b10 <= 47; } Constraint e28 { Definition: x1 - x4 + 51*b11 <= 47.5; } Constraint e29 { Definition: x2 - x3 + 51*b12 <= 46; } Constraint e30 { Definition: x2 - x4 + 51*b13 <= 46.5; } Constraint e31 { Definition: x3 - x4 + 51*b14 <= 48.5; } Constraint e32 { Definition: - x1 + x2 + 51*b15 <= 45; } Constraint e33 { Definition: - x1 + x3 + 51*b16 <= 47; } Constraint e34 { Definition: - x1 + x4 + 51*b17 <= 47.5; } Constraint e35 { Definition: - x2 + x3 + 51*b18 <= 46; } Constraint e36 { Definition: - x2 + x4 + 51*b19 <= 46.5; } Constraint e37 { Definition: - x3 + x4 + 51*b20 <= 48.5; } Constraint e38 { Definition: x5 - x6 + 86*b21 <= 80.5; } Constraint e39 { Definition: x5 - x7 + 86*b22 <= 81.5; } Constraint e40 { Definition: x5 - x8 + 86*b23 <= 81.5; } Constraint e41 { Definition: x6 - x7 + 86*b24 <= 82; } Constraint e42 { Definition: x6 - x8 + 86*b25 <= 82; } Constraint e43 { Definition: x7 - x8 + 86*b26 <= 83; } Constraint e44 { Definition: - x5 + x6 + 86*b27 <= 80.5; } Constraint e45 { Definition: - x5 + x7 + 86*b28 <= 81.5; } Constraint e46 { Definition: - x5 + x8 + 86*b29 <= 81.5; } Constraint e47 { Definition: - x6 + x7 + 86*b30 <= 82; } Constraint e48 { Definition: - x6 + x8 + 86*b31 <= 82; } Constraint e49 { Definition: - x7 + x8 + 86*b32 <= 83; } Constraint e50 { Definition: b9 + b15 + b21 + b27 = 1; } Constraint e51 { Definition: b10 + b16 + b22 + b28 = 1; } Constraint e52 { Definition: b11 + b17 + b23 + b29 = 1; } Constraint e53 { Definition: b12 + b18 + b24 + b30 = 1; } Constraint e54 { Definition: b13 + b19 + b25 + b31 = 1; } Constraint e55 { Definition: b14 + b20 + b26 + b32 = 1; } Constraint e56 { Definition: sqr((-17.5) + x1) + sqr((-7) + x5) + 7964*b33 <= 8000; } Constraint e57 { Definition: sqr((-18.5) + x2) + sqr((-7.5) + x6) + 7808*b34 <= 7844; } Constraint e58 { Definition: sqr((-16.5) + x3) + sqr((-8.5) + x7) + 8128*b35 <= 8164; } Constraint e59 { Definition: sqr((-16) + x4) + sqr((-8.5) + x8) + 8213*b36 <= 8249; } Constraint e60 { Definition: sqr((-52.5) + x1) + sqr((-77) + x5) + 6481*b37 <= 6581; } Constraint e61 { Definition: sqr((-53.5) + x2) + sqr((-77.5) + x6) + 6622*b38 <= 6722; } Constraint e62 { Definition: sqr((-51.5) + x3) + sqr((-78.5) + x7) + 6951.25*b39 <= 7051.25; } Constraint e63 { Definition: sqr((-51) + x4) + sqr((-78.5) + x8) + 6910*b40 <= 7010; } Constraint e64 { Definition: sqr((-17.5) + x1) + sqr((-13) + x5) + 7040*b33 <= 7076; } Constraint e65 { Definition: sqr((-18.5) + x2) + sqr((-12.5) + x6) + 7033*b34 <= 7069; } Constraint e66 { Definition: sqr((-16.5) + x3) + sqr((-11.5) + x7) + 7657*b35 <= 7693; } Constraint e67 { Definition: sqr((-16) + x4) + sqr((-11.5) + x8) + 7742*b36 <= 7778; } Constraint e68 { Definition: sqr((-52.5) + x1) + sqr((-83) + x5) + 7357*b37 <= 7457; } Constraint e69 { Definition: sqr((-53.5) + x2) + sqr((-82.5) + x6) + 7357*b38 <= 7457; } Constraint e70 { Definition: sqr((-51.5) + x3) + sqr((-81.5) + x7) + 7398.25*b39 <= 7498.25; } Constraint e71 { Definition: sqr((-51) + x4) + sqr((-81.5) + x8) + 7357*b40 <= 7457; } Constraint e72 { Definition: sqr((-12.5) + x1) + sqr((-7) + x5) + 8389*b33 <= 8425; } Constraint e73 { Definition: sqr((-11.5) + x2) + sqr((-7.5) + x6) + 8389*b34 <= 8425; } Constraint e74 { Definition: sqr((-13.5) + x3) + sqr((-8.5) + x7) + 8389*b35 <= 8425; } Constraint e75 { Definition: sqr((-14) + x4) + sqr((-8.5) + x8) + 8389*b36 <= 8425; } Constraint e76 { Definition: sqr((-47.5) + x1) + sqr((-77) + x5) + 6096*b37 <= 6196; } Constraint e77 { Definition: sqr((-46.5) + x2) + sqr((-77.5) + x6) + 6097*b38 <= 6197; } Constraint e78 { Definition: sqr((-48.5) + x3) + sqr((-78.5) + x7) + 6711.25*b39 <= 6811.25; } Constraint e79 { Definition: sqr((-49) + x4) + sqr((-78.5) + x8) + 6750*b40 <= 6850; } Constraint e80 { Definition: sqr((-12.5) + x1) + sqr((-13) + x5) + 7465*b33 <= 7501; } Constraint e81 { Definition: sqr((-11.5) + x2) + sqr((-12.5) + x6) + 7614*b34 <= 7650; } Constraint e82 { Definition: sqr((-13.5) + x3) + sqr((-11.5) + x7) + 7918*b35 <= 7954; } Constraint e83 { Definition: sqr((-14) + x4) + sqr((-11.5) + x8) + 7918*b36 <= 7954; } Constraint e84 { Definition: sqr((-47.5) + x1) + sqr((-83) + x5) + 6972*b37 <= 7072; } Constraint e85 { Definition: sqr((-46.5) + x2) + sqr((-82.5) + x6) + 6832*b38 <= 6932; } Constraint e86 { Definition: sqr((-48.5) + x3) + sqr((-81.5) + x7) + 7158.25*b39 <= 7258.25; } Constraint e87 { Definition: sqr((-49) + x4) + sqr((-81.5) + x8) + 7197*b40 <= 7297; } Constraint e88 { Definition: b33 + b37 = 1; } Constraint e89 { Definition: b34 + b38 = 1; } Constraint e90 { Definition: b35 + b39 = 1; } Constraint e91 { Definition: b36 + b40 = 1; } Procedure MainInitialization { Body: { x1.lower := 11.5; x1.upper := 57.5; x2.lower := 12.5; x2.upper := 56.5; x3.lower := 10.5; x3.upper := 58.5; x4.lower := 10; x4.upper := 59; x5.lower := 7; x5.upper := 87; x6.lower := 6.5; x6.upper := 87.5; x7.lower := 5.5; x7.upper := 88.5; x8.lower := 5.5; x8.upper := 88.5; } } MathematicalProgram clay0204m { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve clay0204m; } } Procedure MainTermination { Body: { return 1; } } }