## ams_version=1.0 Model Main_clay0305m { 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 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 x66 { Range: nonnegative; } Variable x67 { Range: nonnegative; } Variable x68 { Range: nonnegative; } Variable x69 { Range: nonnegative; } Variable x70 { Range: nonnegative; } Variable x71 { Range: nonnegative; } Variable x72 { Range: nonnegative; } Variable x73 { Range: nonnegative; } Variable x74 { Range: nonnegative; } Variable x75 { Range: nonnegative; } Variable x76 { Range: nonnegative; } Variable x77 { Range: nonnegative; } Variable x78 { Range: nonnegative; } Variable x79 { Range: nonnegative; } Variable x80 { Range: nonnegative; } Variable x81 { Range: nonnegative; } Variable x82 { Range: nonnegative; } Variable x83 { Range: nonnegative; } Variable x84 { Range: nonnegative; } Variable x85 { Range: nonnegative; } Variable objvar; Constraint e1 { Definition: { - 300*x66 - 240*x67 - 210*x68 - 50*x69 - 100*x70 - 150*x71 - 30*x72 - 120*x73 - 25*x74 - 60*x75 - 300*x76 - 240*x77 - 210*x78 - 50*x79 - 100*x80 - 150*x81 - 30*x82 - 120*x83 - 25*x84 - 60*x85 + objvar = 0 } } Constraint e2 { Definition: - x1 + x2 + x66 >= 0; } Constraint e3 { Definition: - x1 + x3 + x67 >= 0; } Constraint e4 { Definition: - x1 + x4 + x68 >= 0; } Constraint e5 { Definition: - x1 + x5 + x69 >= 0; } Constraint e6 { Definition: - x2 + x3 + x70 >= 0; } Constraint e7 { Definition: - x2 + x4 + x71 >= 0; } Constraint e8 { Definition: - x2 + x5 + x72 >= 0; } Constraint e9 { Definition: - x3 + x4 + x73 >= 0; } Constraint e10 { Definition: - x3 + x5 + x74 >= 0; } Constraint e11 { Definition: - x4 + x5 + x75 >= 0; } Constraint e12 { Definition: x1 - x2 + x66 >= 0; } Constraint e13 { Definition: x1 - x3 + x67 >= 0; } Constraint e14 { Definition: x1 - x4 + x68 >= 0; } Constraint e15 { Definition: x1 - x5 + x69 >= 0; } Constraint e16 { Definition: x2 - x3 + x70 >= 0; } Constraint e17 { Definition: x2 - x4 + x71 >= 0; } Constraint e18 { Definition: x2 - x5 + x72 >= 0; } Constraint e19 { Definition: x3 - x4 + x73 >= 0; } Constraint e20 { Definition: x3 - x5 + x74 >= 0; } Constraint e21 { Definition: x4 - x5 + x75 >= 0; } Constraint e22 { Definition: - x6 + x7 + x76 >= 0; } Constraint e23 { Definition: - x6 + x8 + x77 >= 0; } Constraint e24 { Definition: - x6 + x9 + x78 >= 0; } Constraint e25 { Definition: - x6 + x10 + x79 >= 0; } Constraint e26 { Definition: - x7 + x8 + x80 >= 0; } Constraint e27 { Definition: - x7 + x9 + x81 >= 0; } Constraint e28 { Definition: - x7 + x10 + x82 >= 0; } Constraint e29 { Definition: - x8 + x9 + x83 >= 0; } Constraint e30 { Definition: - x8 + x10 + x84 >= 0; } Constraint e31 { Definition: - x9 + x10 + x85 >= 0; } Constraint e32 { Definition: x6 - x7 + x76 >= 0; } Constraint e33 { Definition: x6 - x8 + x77 >= 0; } Constraint e34 { Definition: x6 - x9 + x78 >= 0; } Constraint e35 { Definition: x6 - x10 + x79 >= 0; } Constraint e36 { Definition: x7 - x8 + x80 >= 0; } Constraint e37 { Definition: x7 - x9 + x81 >= 0; } Constraint e38 { Definition: x7 - x10 + x82 >= 0; } Constraint e39 { Definition: x8 - x9 + x83 >= 0; } Constraint e40 { Definition: x8 - x10 + x84 >= 0; } Constraint e41 { Definition: x9 - x10 + x85 >= 0; } Constraint e42 { Definition: x1 - x2 + 51*b11 <= 45; } Constraint e43 { Definition: x1 - x3 + 51*b12 <= 47; } Constraint e44 { Definition: x1 - x4 + 51*b13 <= 47.5; } Constraint e45 { Definition: x1 - x5 + 51*b14 <= 44; } Constraint e46 { Definition: x2 - x3 + 51*b15 <= 46; } Constraint e47 { Definition: x2 - x4 + 51*b16 <= 46.5; } Constraint e48 { Definition: x2 - x5 + 51*b17 <= 43; } Constraint e49 { Definition: x3 - x4 + 51*b18 <= 48.5; } Constraint e50 { Definition: x3 - x5 + 51*b19 <= 45; } Constraint e51 { Definition: x4 - x5 + 51*b20 <= 45.5; } Constraint e52 { Definition: - x1 + x2 + 51*b21 <= 45; } Constraint e53 { Definition: - x1 + x3 + 51*b22 <= 47; } Constraint e54 { Definition: - x1 + x4 + 51*b23 <= 47.5; } Constraint e55 { Definition: - x1 + x5 + 51*b24 <= 44; } Constraint e56 { Definition: - x2 + x3 + 51*b25 <= 46; } Constraint e57 { Definition: - x2 + x4 + 51*b26 <= 46.5; } Constraint e58 { Definition: - x2 + x5 + 51*b27 <= 43; } Constraint e59 { Definition: - x3 + x4 + 51*b28 <= 48.5; } Constraint e60 { Definition: - x3 + x5 + 51*b29 <= 45; } Constraint e61 { Definition: - x4 + x5 + 51*b30 <= 45.5; } Constraint e62 { Definition: x6 - x7 + 86*b31 <= 80.5; } Constraint e63 { Definition: x6 - x8 + 86*b32 <= 81.5; } Constraint e64 { Definition: x6 - x9 + 86*b33 <= 81.5; } Constraint e65 { Definition: x6 - x10 + 86*b34 <= 79.5; } Constraint e66 { Definition: x7 - x8 + 86*b35 <= 82; } Constraint e67 { Definition: x7 - x9 + 86*b36 <= 82; } Constraint e68 { Definition: x7 - x10 + 86*b37 <= 80; } Constraint e69 { Definition: x8 - x9 + 86*b38 <= 83; } Constraint e70 { Definition: x8 - x10 + 86*b39 <= 81; } Constraint e71 { Definition: x9 - x10 + 86*b40 <= 81; } Constraint e72 { Definition: - x6 + x7 + 86*b41 <= 80.5; } Constraint e73 { Definition: - x6 + x8 + 86*b42 <= 81.5; } Constraint e74 { Definition: - x6 + x9 + 86*b43 <= 81.5; } Constraint e75 { Definition: - x6 + x10 + 86*b44 <= 79.5; } Constraint e76 { Definition: - x7 + x8 + 86*b45 <= 82; } Constraint e77 { Definition: - x7 + x9 + 86*b46 <= 82; } Constraint e78 { Definition: - x7 + x10 + 86*b47 <= 80; } Constraint e79 { Definition: - x8 + x9 + 86*b48 <= 83; } Constraint e80 { Definition: - x8 + x10 + 86*b49 <= 81; } Constraint e81 { Definition: - x9 + x10 + 86*b50 <= 81; } 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; } Constraint e92 { Definition: sqr((-17.5) + x1) + sqr((-7) + x6) + 7964*b51 <= 8000; } Constraint e93 { Definition: sqr((-18.5) + x2) + sqr((-7.5) + x7) + 7808*b52 <= 7844; } Constraint e94 { Definition: sqr((-16.5) + x3) + sqr((-8.5) + x8) + 8128*b53 <= 8164; } Constraint e95 { Definition: sqr((-16) + x4) + sqr((-8.5) + x9) + 8213*b54 <= 8249; } Constraint e96 { Definition: sqr((-19.5) + x5) + sqr((-6.5) + x10) + 7660*b55 <= 7696; } Constraint e97 { Definition: sqr((-52.5) + x1) + sqr((-77) + x6) + 6481*b56 <= 6581; } Constraint e98 { Definition: sqr((-53.5) + x2) + sqr((-77.5) + x7) + 6622*b57 <= 6722; } Constraint e99 { Definition: sqr((-51.5) + x3) + sqr((-78.5) + x8) + 6910*b58 <= 7010; } Constraint e100 { Definition: sqr((-51) + x4) + sqr((-78.5) + x9) + 6910*b59 <= 7010; } Constraint e101 { Definition: sqr((-54.5) + x5) + sqr((-76.5) + x10) + 6342*b60 <= 6442; } Constraint e102 { Definition: sqr((-32.5) + x1) + sqr((-47) + x6) + 2209*b61 <= 2225; } Constraint e103 { Definition: sqr((-33.5) + x2) + sqr((-47.5) + x7) + 2194*b62 <= 2210; } Constraint e104 { Definition: sqr((-31.5) + x3) + sqr((-48.5) + x8) + 2562*b63 <= 2578; } Constraint e105 { Definition: sqr((-31) + x4) + sqr((-48.5) + x9) + 2617*b64 <= 2633; } Constraint e106 { Definition: sqr((-34.5) + x5) + sqr((-46.5) + x10) + 2025*b65 <= 2041; } Constraint e107 { Definition: sqr((-17.5) + x1) + sqr((-13) + x6) + 7040*b51 <= 7076; } Constraint e108 { Definition: sqr((-18.5) + x2) + sqr((-12.5) + x7) + 7033*b52 <= 7069; } Constraint e109 { Definition: sqr((-16.5) + x3) + sqr((-11.5) + x8) + 7657*b53 <= 7693; } Constraint e110 { Definition: sqr((-16) + x4) + sqr((-11.5) + x9) + 7742*b54 <= 7778; } Constraint e111 { Definition: sqr((-19.5) + x5) + sqr((-13.5) + x10) + 6589*b55 <= 6625; } Constraint e112 { Definition: sqr((-52.5) + x1) + sqr((-83) + x6) + 7357*b56 <= 7457; } Constraint e113 { Definition: sqr((-53.5) + x2) + sqr((-82.5) + x7) + 7357*b57 <= 7457; } Constraint e114 { Definition: sqr((-51.5) + x3) + sqr((-81.5) + x8) + 7357*b58 <= 7457; } Constraint e115 { Definition: sqr((-51) + x4) + sqr((-81.5) + x9) + 7357*b59 <= 7457; } Constraint e116 { Definition: sqr((-54.5) + x5) + sqr((-83.5) + x10) + 7357*b60 <= 7457; } Constraint e117 { Definition: sqr((-32.5) + x1) + sqr((-53) + x6) + 2725*b61 <= 2741; } Constraint e118 { Definition: sqr((-33.5) + x2) + sqr((-52.5) + x7) + 2629*b62 <= 2645; } Constraint e119 { Definition: sqr((-31.5) + x3) + sqr((-51.5) + x8) + 2829*b63 <= 2845; } Constraint e120 { Definition: sqr((-31) + x4) + sqr((-51.5) + x9) + 2884*b64 <= 2900; } Constraint e121 { Definition: sqr((-34.5) + x5) + sqr((-53.5) + x10) + 2541*b65 <= 2557; } Constraint e122 { Definition: sqr((-12.5) + x1) + sqr((-7) + x6) + 8389*b51 <= 8425; } Constraint e123 { Definition: sqr((-11.5) + x2) + sqr((-7.5) + x7) + 8389*b52 <= 8425; } Constraint e124 { Definition: sqr((-13.5) + x3) + sqr((-8.5) + x8) + 8389*b53 <= 8425; } Constraint e125 { Definition: sqr((-14) + x4) + sqr((-8.5) + x9) + 8389*b54 <= 8425; } Constraint e126 { Definition: sqr((-10.5) + x5) + sqr((-6.5) + x10) + 8389*b55 <= 8425; } Constraint e127 { Definition: sqr((-47.5) + x1) + sqr((-77) + x6) + 6096*b56 <= 6196; } Constraint e128 { Definition: sqr((-46.5) + x2) + sqr((-77.5) + x7) + 6097*b57 <= 6197; } Constraint e129 { Definition: sqr((-48.5) + x3) + sqr((-78.5) + x8) + 6673*b58 <= 6773; } Constraint e130 { Definition: sqr((-49) + x4) + sqr((-78.5) + x9) + 6750*b59 <= 6850; } Constraint e131 { Definition: sqr((-45.5) + x5) + sqr((-76.5) + x10) + 5685*b60 <= 5785; } Constraint e132 { Definition: sqr((-27.5) + x1) + sqr((-47) + x6) + 2484*b61 <= 2500; } Constraint e133 { Definition: sqr((-26.5) + x2) + sqr((-47.5) + x7) + 2565*b62 <= 2581; } Constraint e134 { Definition: sqr((-28.5) + x3) + sqr((-48.5) + x8) + 2733*b63 <= 2749; } Constraint e135 { Definition: sqr((-29) + x4) + sqr((-48.5) + x9) + 2733*b64 <= 2749; } Constraint e136 { Definition: sqr((-25.5) + x5) + sqr((-46.5) + x10) + 2484*b65 <= 2500; } Constraint e137 { Definition: sqr((-12.5) + x1) + sqr((-13) + x6) + 7465*b51 <= 7501; } Constraint e138 { Definition: sqr((-11.5) + x2) + sqr((-12.5) + x7) + 7614*b52 <= 7650; } Constraint e139 { Definition: sqr((-13.5) + x3) + sqr((-11.5) + x8) + 7918*b53 <= 7954; } Constraint e140 { Definition: sqr((-14) + x4) + sqr((-11.5) + x9) + 7918*b54 <= 7954; } Constraint e141 { Definition: sqr((-10.5) + x5) + sqr((-13.5) + x10) + 7318*b55 <= 7354; } Constraint e142 { Definition: sqr((-47.5) + x1) + sqr((-83) + x6) + 6972*b56 <= 7072; } Constraint e143 { Definition: sqr((-46.5) + x2) + sqr((-82.5) + x7) + 6832*b57 <= 6932; } Constraint e144 { Definition: sqr((-48.5) + x3) + sqr((-81.5) + x8) + 7120*b58 <= 7220; } Constraint e145 { Definition: sqr((-49) + x4) + sqr((-81.5) + x9) + 7197*b59 <= 7297; } Constraint e146 { Definition: sqr((-45.5) + x5) + sqr((-83.5) + x10) + 6700*b60 <= 6800; } Constraint e147 { Definition: sqr((-27.5) + x1) + sqr((-53) + x6) + 3000*b61 <= 3016; } Constraint e148 { Definition: sqr((-26.5) + x2) + sqr((-52.5) + x7) + 3000*b62 <= 3016; } Constraint e149 { Definition: sqr((-28.5) + x3) + sqr((-51.5) + x8) + 3000*b63 <= 3016; } Constraint e150 { Definition: sqr((-29) + x4) + sqr((-51.5) + x9) + 3000*b64 <= 3016; } Constraint e151 { Definition: sqr((-25.5) + x5) + sqr((-53.5) + x10) + 3000*b65 <= 3016; } Constraint e152 { Definition: b51 + b56 + b61 = 1; } Constraint e153 { Definition: b52 + b57 + b62 = 1; } Constraint e154 { Definition: b53 + b58 + b63 = 1; } Constraint e155 { Definition: b54 + b59 + b64 = 1; } Constraint e156 { Definition: b55 + b60 + b65 = 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 := 13.5; x5.upper := 55.5; x6.lower := 7; x6.upper := 87; x7.lower := 6.5; x7.upper := 87.5; x8.lower := 5.5; x8.upper := 88.5; x9.lower := 5.5; x9.upper := 88.5; x10.lower := 7.5; x10.upper := 86.5; } } MathematicalProgram clay0305m { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve clay0305m; } } Procedure MainTermination { Body: { return 1; } } }