## ams_version=1.0 Model Main_ortez { Variable x1 { Range: nonnegative; } 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 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 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 b66 { Range: binary; } Variable x67; Variable x68; Variable x69; Variable x70; Variable x71; Variable x72; Variable x73; Variable x74; Variable x75; Variable x76; Variable x77; Variable x78; Variable x79; Variable x80; Variable x81; Variable x82; Variable x83; Variable x84; Variable x85; Variable x86; Variable x87; Variable objvar; Constraint e1 { Definition: b58 + b61 + b64 <= 1; } Constraint e2 { Definition: b59 + b62 + b65 <= 1; } Constraint e3 { Definition: b60 + b63 + b66 <= 1; } Constraint e4 { Definition: x4 + x5 + x6 + x13 + x14 + x15 = 1; } Constraint e5 { Definition: x7 + x8 + x9 + x16 + x17 + x18 = 1; } Constraint e6 { Definition: x10 + x11 + x12 + x19 + x20 + x21 = 1; } Constraint e7 { Definition: { - 3.16363636363636*x4 - 3.16363636363636*x5 - 3.16363636363636*x6 + 56.3636363636364*b58 + 43.2*b61 + 33.8181818181818*b64 - x85 + x86 <= 0 } } Constraint e8 { Definition: { - 3.16363636363636*x7 - 3.16363636363636*x8 - 3.16363636363636*x9 + 56.3636363636364*b59 + 43.2*b62 + 33.8181818181818*b65 - x86 + x87 <= 0 } } Constraint e9 { Definition: -6.353*x1**0.172*x40 + x22 + x23 + x24 <= 0; } Constraint e10 { Definition: -6.353*x2**0.172*x41 + x25 + x26 + x27 <= 0; } Constraint e11 { Definition: -6.353*x3**0.172*x42 + x28 + x29 + x30 <= 0; } Constraint e12 { Definition: -0.32*x1**0.617*x43 + x31 + x32 + x33 <= 0; } Constraint e13 { Definition: -0.32*x2**0.617*x44 + x34 + x35 + x36 <= 0; } Constraint e14 { Definition: -0.32*x3**0.617*x45 + x37 + x38 + x39 <= 0; } Constraint e15 { Definition: x22 + x31 - 50*b58 <= 0; } Constraint e16 { Definition: x25 + x34 - 50*b59 <= 0; } Constraint e17 { Definition: x28 + x37 - 50*b60 <= 0; } Constraint e18 { Definition: x23 + x32 - 50*b61 <= 0; } Constraint e19 { Definition: x26 + x35 - 50*b62 <= 0; } Constraint e20 { Definition: x29 + x38 - 50*b63 <= 0; } Constraint e21 { Definition: x24 + x33 - 50*b64 <= 0; } Constraint e22 { Definition: x27 + x36 - 50*b65 <= 0; } Constraint e23 { Definition: x30 + x39 - 50*b66 <= 0; } Constraint e24 { Definition: x4 + x13 - b58 <= 0; } Constraint e25 { Definition: x7 + x16 - b59 <= 0; } Constraint e26 { Definition: x10 + x19 - b60 <= 0; } Constraint e27 { Definition: x5 + x14 - b61 <= 0; } Constraint e28 { Definition: x8 + x17 - b62 <= 0; } Constraint e29 { Definition: x11 + x20 - b63 <= 0; } Constraint e30 { Definition: x6 + x15 - b64 <= 0; } Constraint e31 { Definition: x9 + x18 - b65 <= 0; } Constraint e32 { Definition: x12 + x21 - b66 <= 0; } Constraint e33 { Definition: - 200*b52 + x85 >= 0; } Constraint e34 { Definition: - 200*b53 + x86 >= 0; } Constraint e35 { Definition: - 200*b54 + x87 >= 0; } Constraint e36 { Definition: - 200*b55 + x85 >= 0; } Constraint e37 { Definition: - 200*b56 + x86 >= 0; } Constraint e38 { Definition: - 200*b57 + x87 >= 0; } Constraint e39 { Definition: - x40 + b52 >= 0; } Constraint e40 { Definition: - x41 + b53 >= 0; } Constraint e41 { Definition: - x42 + b54 >= 0; } Constraint e42 { Definition: - x43 + b55 >= 0; } Constraint e43 { Definition: - x44 + b56 >= 0; } Constraint e44 { Definition: - x45 + b57 >= 0; } Constraint e45 { Definition: - x46 + b49 = 0; } Constraint e46 { Definition: - x47 + b50 = 0; } Constraint e47 { Definition: - x48 + b51 = 0; } Constraint e48 { Definition: x85*(1 - x46) - x1 >= -0.001; } Constraint e49 { Definition: x86*(1 - x47) - x2 >= -0.001; } Constraint e50 { Definition: x87*(1 - x48) - x3 >= -0.001; } Constraint e51 { Definition: 508*b49 + x85 >= 200; } Constraint e52 { Definition: 508*b50 + x86 >= 200; } Constraint e53 { Definition: 508*b51 + x87 >= 200; } Constraint e54 { Definition: 508*b49 + x85 <= 708; } Constraint e55 { Definition: 508*b50 + x86 <= 708; } Constraint e56 { Definition: 508*b51 + x87 <= 708; } Constraint e57 { Definition: -81.9*x40*x4 + x67 = 0; } Constraint e58 { Definition: -81.9*x41*x7 + x70 = 0; } Constraint e59 { Definition: -81.9*x42*x10 + x73 = 0; } Constraint e60 { Definition: -81.9*x40*x5 + x68 = 0; } Constraint e61 { Definition: -81.9*x41*x8 + x71 = 0; } Constraint e62 { Definition: -81.9*x42*x11 + x74 = 0; } Constraint e63 { Definition: -54.6*x40*x6 + x69 = 0; } Constraint e64 { Definition: -54.6*x41*x9 + x72 = 0; } Constraint e65 { Definition: -54.6*x42*x12 + x75 = 0; } Constraint e66 { Definition: -136.62*x40*x13 + x76 = 0; } Constraint e67 { Definition: -136.62*x41*x16 + x79 = 0; } Constraint e68 { Definition: -136.62*x42*x19 + x82 = 0; } Constraint e69 { Definition: -136.62*x40*x14 + x77 = 0; } Constraint e70 { Definition: -136.62*x41*x17 + x80 = 0; } Constraint e71 { Definition: -136.62*x42*x20 + x83 = 0; } Constraint e72 { Definition: -91.08*x40*x15 + x78 = 0; } Constraint e73 { Definition: -91.08*x41*x18 + x81 = 0; } Constraint e74 { Definition: -91.08*x42*x21 + x84 = 0; } Constraint e75 { Definition: { - 300.544*x22 - 225.408*x23 - 150.272*x24 - 300.544*x25 - 225.408*x26 - 150.272*x27 - 300.544*x28 - 225.408*x29 - 150.272*x30 - 2.66666666666667*x31 - 4*x32 - 5.33333333333333*x33 - 2.66666666666667*x34 - 4*x35 - 5.33333333333333*x36 - 2.66666666666667*x37 - 4*x38 - 5.33333333333333*x39 + 1.33333333333333*x67 + x68 + x69 + 1.33333333333333*x70 + x71 + x72 + 1.33333333333333*x73 + x74 + x75 + 1.33333333333333*x76 + x77 + x78 + 1.33333333333333*x79 + x80 + x81 + 1.33333333333333*x82 + x83 + x84 - objvar = 0 } } Procedure MainInitialization { Body: { x1.upper := 254.001; x2.upper := 254.001; x3.upper := 254.001; x85.lower := 254; x85.upper := 254; x1.l := 254; x2.l := 254; x3.l := 254; x86.l := 254; x87.l := 254; } } MathematicalProgram ortez { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve ortez; } } Procedure MainTermination { Body: { return 1; } } }