## ams_version=1.0 Model Main_clay0203hfsg { Variable x1; Variable x2; Variable x3; Variable x4; Variable x5; Variable x6; 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 x39 { Range: nonnegative; } Variable x40 { Range: nonnegative; } 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 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 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 x85 { Range: nonnegative; } Variable x86 { Range: nonnegative; } Variable x87 { Range: nonnegative; } Variable x88 { Range: nonnegative; } Variable x89 { Range: nonnegative; } Variable x90 { Range: nonnegative; } Variable objvar; Constraint e1 { Definition: { - 300*x85 - 240*x86 - 100*x87 - 300*x88 - 240*x89 - 100*x90 + objvar = 0 } } Constraint e2 { Definition: - x1 + x2 + x85 >= 0; } Constraint e3 { Definition: - x1 + x3 + x86 >= 0; } Constraint e4 { Definition: - x2 + x3 + x87 >= 0; } Constraint e5 { Definition: x1 - x2 + x85 >= 0; } Constraint e6 { Definition: x1 - x3 + x86 >= 0; } Constraint e7 { Definition: x2 - x3 + x87 >= 0; } Constraint e8 { Definition: - x4 + x5 + x88 >= 0; } Constraint e9 { Definition: - x4 + x6 + x89 >= 0; } Constraint e10 { Definition: - x5 + x6 + x90 >= 0; } Constraint e11 { Definition: x4 - x5 + x88 >= 0; } Constraint e12 { Definition: x4 - x6 + x89 >= 0; } Constraint e13 { Definition: x5 - x6 + x90 >= 0; } Constraint e14 { Definition: x1 - x7 - x9 - x11 - x13 = 0; } Constraint e15 { Definition: x1 - x8 - x10 - x12 - x14 = 0; } Constraint e16 { Definition: x2 - x15 - x17 - x19 - x21 = 0; } Constraint e17 { Definition: x2 - x16 - x18 - x20 - x22 = 0; } Constraint e18 { Definition: x3 - x23 - x25 - x27 - x29 = 0; } Constraint e19 { Definition: x3 - x24 - x26 - x28 - x30 = 0; } Constraint e20 { Definition: x4 - x31 - x33 - x35 - x37 = 0; } Constraint e21 { Definition: x4 - x32 - x34 - x36 - x38 = 0; } Constraint e22 { Definition: x5 - x39 - x41 - x43 - x45 = 0; } Constraint e23 { Definition: x5 - x40 - x42 - x44 - x46 = 0; } Constraint e24 { Definition: x6 - x47 - x49 - x51 - x53 = 0; } Constraint e25 { Definition: x6 - x48 - x50 - x52 - x54 = 0; } Constraint e26 { Definition: x7 - 52.5*b67 <= 0; } Constraint e27 { Definition: x8 - 52.5*b68 <= 0; } Constraint e28 { Definition: x9 - 52.5*b70 <= 0; } Constraint e29 { Definition: x10 - 52.5*b71 <= 0; } Constraint e30 { Definition: x11 - 52.5*b73 <= 0; } Constraint e31 { Definition: x12 - 52.5*b74 <= 0; } Constraint e32 { Definition: x13 - 52.5*b76 <= 0; } Constraint e33 { Definition: x14 - 52.5*b77 <= 0; } Constraint e34 { Definition: x15 - 52.5*b67 <= 0; } Constraint e35 { Definition: x16 - 51.5*b69 <= 0; } Constraint e36 { Definition: x17 - 52.5*b70 <= 0; } Constraint e37 { Definition: x18 - 51.5*b72 <= 0; } Constraint e38 { Definition: x19 - 52.5*b73 <= 0; } Constraint e39 { Definition: x20 - 51.5*b75 <= 0; } Constraint e40 { Definition: x21 - 52.5*b76 <= 0; } Constraint e41 { Definition: x22 - 51.5*b78 <= 0; } Constraint e42 { Definition: x23 - 52.5*b68 <= 0; } Constraint e43 { Definition: x24 - 51.5*b69 <= 0; } Constraint e44 { Definition: x25 - 52.5*b71 <= 0; } Constraint e45 { Definition: x26 - 51.5*b72 <= 0; } Constraint e46 { Definition: x27 - 52.5*b74 <= 0; } Constraint e47 { Definition: x28 - 51.5*b75 <= 0; } Constraint e48 { Definition: x29 - 52.5*b77 <= 0; } Constraint e49 { Definition: x30 - 51.5*b78 <= 0; } Constraint e50 { Definition: x31 - 82*b67 <= 0; } Constraint e51 { Definition: x32 - 82*b68 <= 0; } Constraint e52 { Definition: x33 - 82*b70 <= 0; } Constraint e53 { Definition: x34 - 82*b71 <= 0; } Constraint e54 { Definition: x35 - 82*b73 <= 0; } Constraint e55 { Definition: x36 - 82*b74 <= 0; } Constraint e56 { Definition: x37 - 82*b76 <= 0; } Constraint e57 { Definition: x38 - 82*b77 <= 0; } Constraint e58 { Definition: x39 - 82*b67 <= 0; } Constraint e59 { Definition: x40 - 82.5*b69 <= 0; } Constraint e60 { Definition: x41 - 82*b70 <= 0; } Constraint e61 { Definition: x42 - 82.5*b72 <= 0; } Constraint e62 { Definition: x43 - 82*b73 <= 0; } Constraint e63 { Definition: x44 - 82.5*b75 <= 0; } Constraint e64 { Definition: x45 - 82*b76 <= 0; } Constraint e65 { Definition: x46 - 82.5*b78 <= 0; } Constraint e66 { Definition: x47 - 82*b68 <= 0; } Constraint e67 { Definition: x48 - 82.5*b69 <= 0; } Constraint e68 { Definition: x49 - 82*b71 <= 0; } Constraint e69 { Definition: x50 - 82.5*b72 <= 0; } Constraint e70 { Definition: x51 - 82*b74 <= 0; } Constraint e71 { Definition: x52 - 82.5*b75 <= 0; } Constraint e72 { Definition: x53 - 82*b77 <= 0; } Constraint e73 { Definition: x54 - 82.5*b78 <= 0; } Constraint e74 { Definition: x7 - x15 + 6*b67 <= 0; } Constraint e75 { Definition: x8 - x23 + 4*b68 <= 0; } Constraint e76 { Definition: x16 - x24 + 5*b69 <= 0; } Constraint e77 { Definition: - x9 + x17 + 6*b70 <= 0; } Constraint e78 { Definition: - x10 + x25 + 4*b71 <= 0; } Constraint e79 { Definition: - x18 + x26 + 5*b72 <= 0; } Constraint e80 { Definition: x35 - x43 + 5.5*b73 <= 0; } Constraint e81 { Definition: x36 - x51 + 4.5*b74 <= 0; } Constraint e82 { Definition: x44 - x52 + 4*b75 <= 0; } Constraint e83 { Definition: - x37 + x45 + 5.5*b76 <= 0; } Constraint e84 { Definition: - x38 + x53 + 4.5*b77 <= 0; } Constraint e85 { Definition: - x46 + x54 + 4*b78 <= 0; } Constraint e86 { Definition: b67 + b70 + b73 + b76 = 1; } Constraint e87 { Definition: b68 + b71 + b74 + b77 = 1; } Constraint e88 { Definition: b69 + b72 + b75 + b78 = 1; } Constraint e89 { Definition: x1 - x55 - x58 = 0; } Constraint e90 { Definition: x2 - x56 - x59 = 0; } Constraint e91 { Definition: x3 - x57 - x60 = 0; } Constraint e92 { Definition: x4 - x61 - x64 = 0; } Constraint e93 { Definition: x5 - x62 - x65 = 0; } Constraint e94 { Definition: x6 - x63 - x66 = 0; } Constraint e95 { Definition: x55 - 18.5*b79 <= 0; } Constraint e96 { Definition: x56 - 17.5*b80 <= 0; } Constraint e97 { Definition: x57 - 19.5*b81 <= 0; } Constraint e98 { Definition: x58 - 52.5*b82 <= 0; } Constraint e99 { Definition: x59 - 51.5*b83 <= 0; } Constraint e100 { Definition: x60 - 53.5*b84 <= 0; } Constraint e101 { Definition: x61 - 13*b79 <= 0; } Constraint e102 { Definition: x62 - 13.5*b80 <= 0; } Constraint e103 { Definition: x63 - 14.5*b81 <= 0; } Constraint e104 { Definition: x64 - 82*b82 <= 0; } Constraint e105 { Definition: x65 - 82.5*b83 <= 0; } Constraint e106 { Definition: x66 - 83.5*b84 <= 0; } Constraint e107 { Definition: { (sqr(x55/(0.001 + 0.999*b79)) - 35*x55/(0.001 + 0.999*b79) + sqr(x61/( 0.001 + 0.999*b79)) - 14*x61/(0.001 + 0.999*b79))*(0.001 + 0.999*b79) + 306.25*b79 + 49*b79 - 36*b79 <= 0 } } Constraint e108 { Definition: { (sqr(x56/(0.001 + 0.999*b80)) - 37*x56/(0.001 + 0.999*b80) + sqr(x62/( 0.001 + 0.999*b80)) - 15*x62/(0.001 + 0.999*b80))*(0.001 + 0.999*b80) + 342.25*b80 + 56.25*b80 - 36*b80 <= 0 } } Constraint e109 { Definition: { (sqr(x57/(0.001 + 0.999*b81)) - 33*x57/(0.001 + 0.999*b81) + sqr(x63/( 0.001 + 0.999*b81)) - 17*x63/(0.001 + 0.999*b81))*(0.001 + 0.999*b81) + 272.25*b81 + 72.25*b81 - 36*b81 <= 0 } } Constraint e110 { Definition: { (sqr(x58/(0.001 + 0.999*b82)) - 105*x58/(0.001 + 0.999*b82) + sqr(x64/( 0.001 + 0.999*b82)) - 154*x64/(0.001 + 0.999*b82))*(0.001 + 0.999*b82) + 2756.25*b82 + 5929*b82 - 25*b82 <= 0 } } Constraint e111 { Definition: { (sqr(x59/(0.001 + 0.999*b83)) - 107*x59/(0.001 + 0.999*b83) + sqr(x65/( 0.001 + 0.999*b83)) - 155*x65/(0.001 + 0.999*b83))*(0.001 + 0.999*b83) + 2862.25*b83 + 6006.25*b83 - 25*b83 <= 0 } } Constraint e112 { Definition: { (sqr(x60/(0.001 + 0.999*b84)) - 103*x60/(0.001 + 0.999*b84) + sqr(x66/( 0.001 + 0.999*b84)) - 157*x66/(0.001 + 0.999*b84))*(0.001 + 0.999*b84) + 2652.25*b84 + 6162.25*b84 - 25*b84 <= 0 } } Constraint e113 { Definition: { (sqr(x55/(0.001 + 0.999*b79)) - 35*x55/(0.001 + 0.999*b79) + sqr(x61/( 0.001 + 0.999*b79)) - 26*x61/(0.001 + 0.999*b79))*(0.001 + 0.999*b79) + 306.25*b79 + 169*b79 - 36*b79 <= 0 } } Constraint e114 { Definition: { (sqr(x56/(0.001 + 0.999*b80)) - 37*x56/(0.001 + 0.999*b80) + sqr(x62/( 0.001 + 0.999*b80)) - 25*x62/(0.001 + 0.999*b80))*(0.001 + 0.999*b80) + 342.25*b80 + 156.25*b80 - 36*b80 <= 0 } } Constraint e115 { Definition: { (sqr(x57/(0.001 + 0.999*b81)) - 33*x57/(0.001 + 0.999*b81) + sqr(x63/( 0.001 + 0.999*b81)) - 23*x63/(0.001 + 0.999*b81))*(0.001 + 0.999*b81) + 272.25*b81 + 132.25*b81 - 36*b81 <= 0 } } Constraint e116 { Definition: { (sqr(x58/(0.001 + 0.999*b82)) - 105*x58/(0.001 + 0.999*b82) + sqr(x64/( 0.001 + 0.999*b82)) - 166*x64/(0.001 + 0.999*b82))*(0.001 + 0.999*b82) + 2756.25*b82 + 6889*b82 - 25*b82 <= 0 } } Constraint e117 { Definition: { (sqr(x59/(0.001 + 0.999*b83)) - 107*x59/(0.001 + 0.999*b83) + sqr(x65/( 0.001 + 0.999*b83)) - 165*x65/(0.001 + 0.999*b83))*(0.001 + 0.999*b83) + 2862.25*b83 + 6806.25*b83 - 25*b83 <= 0 } } Constraint e118 { Definition: { (sqr(x60/(0.001 + 0.999*b84)) - 103*x60/(0.001 + 0.999*b84) + sqr(x66/( 0.001 + 0.999*b84)) - 163*x66/(0.001 + 0.999*b84))*(0.001 + 0.999*b84) + 2652.25*b84 + 6642.25*b84 - 25*b84 <= 0 } } Constraint e119 { Definition: { (sqr(x55/(0.001 + 0.999*b79)) - 25*x55/(0.001 + 0.999*b79) + sqr(x61/( 0.001 + 0.999*b79)) - 14*x61/(0.001 + 0.999*b79))*(0.001 + 0.999*b79) + 156.25*b79 + 49*b79 - 36*b79 <= 0 } } Constraint e120 { Definition: { (sqr(x56/(0.001 + 0.999*b80)) - 23*x56/(0.001 + 0.999*b80) + sqr(x62/( 0.001 + 0.999*b80)) - 15*x62/(0.001 + 0.999*b80))*(0.001 + 0.999*b80) + 132.25*b80 + 56.25*b80 - 36*b80 <= 0 } } Constraint e121 { Definition: { (sqr(x57/(0.001 + 0.999*b81)) - 27*x57/(0.001 + 0.999*b81) + sqr(x63/( 0.001 + 0.999*b81)) - 17*x63/(0.001 + 0.999*b81))*(0.001 + 0.999*b81) + 182.25*b81 + 72.25*b81 - 36*b81 <= 0 } } Constraint e122 { Definition: { (sqr(x58/(0.001 + 0.999*b82)) - 95*x58/(0.001 + 0.999*b82) + sqr(x64/( 0.001 + 0.999*b82)) - 154*x64/(0.001 + 0.999*b82))*(0.001 + 0.999*b82) + 2256.25*b82 + 5929*b82 - 25*b82 <= 0 } } Constraint e123 { Definition: { (sqr(x59/(0.001 + 0.999*b83)) - 93*x59/(0.001 + 0.999*b83) + sqr(x65/( 0.001 + 0.999*b83)) - 155*x65/(0.001 + 0.999*b83))*(0.001 + 0.999*b83) + 2162.25*b83 + 6006.25*b83 - 25*b83 <= 0 } } Constraint e124 { Definition: { (sqr(x60/(0.001 + 0.999*b84)) - 97*x60/(0.001 + 0.999*b84) + sqr(x66/( 0.001 + 0.999*b84)) - 157*x66/(0.001 + 0.999*b84))*(0.001 + 0.999*b84) + 2352.25*b84 + 6162.25*b84 - 25*b84 <= 0 } } Constraint e125 { Definition: { (sqr(x55/(0.001 + 0.999*b79)) - 25*x55/(0.001 + 0.999*b79) + sqr(x61/( 0.001 + 0.999*b79)) - 26*x61/(0.001 + 0.999*b79))*(0.001 + 0.999*b79) + 156.25*b79 + 169*b79 - 36*b79 <= 0 } } Constraint e126 { Definition: { (sqr(x56/(0.001 + 0.999*b80)) - 23*x56/(0.001 + 0.999*b80) + sqr(x62/( 0.001 + 0.999*b80)) - 25*x62/(0.001 + 0.999*b80))*(0.001 + 0.999*b80) + 132.25*b80 + 156.25*b80 - 36*b80 <= 0 } } Constraint e127 { Definition: { (sqr(x57/(0.001 + 0.999*b81)) - 27*x57/(0.001 + 0.999*b81) + sqr(x63/( 0.001 + 0.999*b81)) - 23*x63/(0.001 + 0.999*b81))*(0.001 + 0.999*b81) + 182.25*b81 + 132.25*b81 - 36*b81 <= 0 } } Constraint e128 { Definition: { (sqr(x58/(0.001 + 0.999*b82)) - 95*x58/(0.001 + 0.999*b82) + sqr(x64/( 0.001 + 0.999*b82)) - 166*x64/(0.001 + 0.999*b82))*(0.001 + 0.999*b82) + 2256.25*b82 + 6889*b82 - 25*b82 <= 0 } } Constraint e129 { Definition: { (sqr(x59/(0.001 + 0.999*b83)) - 93*x59/(0.001 + 0.999*b83) + sqr(x65/( 0.001 + 0.999*b83)) - 165*x65/(0.001 + 0.999*b83))*(0.001 + 0.999*b83) + 2162.25*b83 + 6806.25*b83 - 25*b83 <= 0 } } Constraint e130 { Definition: { (sqr(x60/(0.001 + 0.999*b84)) - 97*x60/(0.001 + 0.999*b84) + sqr(x66/( 0.001 + 0.999*b84)) - 163*x66/(0.001 + 0.999*b84))*(0.001 + 0.999*b84) + 2352.25*b84 + 6642.25*b84 - 25*b84 <= 0 } } Constraint e131 { Definition: b79 + b82 = 1; } Constraint e132 { Definition: b80 + b83 = 1; } Constraint e133 { Definition: b81 + b84 = 1; } Procedure MainInitialization { Body: { x1.lower := 11.5; x1.upper := 52.5; x2.lower := 12.5; x2.upper := 51.5; x3.lower := 10.5; x3.upper := 53.5; x4.lower := 7; x4.upper := 82; x5.lower := 6.5; x5.upper := 82.5; x6.lower := 5.5; x6.upper := 83.5; } } MathematicalProgram clay0203hfsg { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve clay0203hfsg; } } Procedure MainTermination { Body: { return 1; } } }