## ams_version=1.0 Model Main_syn10h { Variable objvar; 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 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 x67 { Range: nonnegative; } Variable x68 { Range: nonnegative; } 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; } Constraint e1 { Definition: { objvar - 5*x8 + 2*x13 - 200*x21 - 250*x22 - 200*x23 - 200*x24 - 500*x25 - 350*x26 + 5*b69 + 8*b70 + 6*b71 + 10*b72 + 6*b73 + 7*b74 + 4*b75 + 5*b76 + 2*b77 + 4*b78 = 0 } } Constraint e2 { Definition: x2 - x3 - x4 = 0; } Constraint e3 { Definition: - x5 - x6 + x7 = 0; } Constraint e4 { Definition: x7 - x8 - x9 = 0; } Constraint e5 { Definition: x9 - x10 - x11 - x12 = 0; } Constraint e6 { Definition: x14 - x17 - x18 = 0; } Constraint e7 { Definition: x16 - x19 - x20 - x21 = 0; } Constraint e8 { Definition: (x31/(1e-6 + b69) - log(1 + x27/(1e-6 + b69)))*(1e-6 + b69) <= 0; } Constraint e9 { Definition: x28 = 0; } Constraint e10 { Definition: x32 = 0; } Constraint e11 { Definition: x3 - x27 - x28 = 0; } Constraint e12 { Definition: x5 - x31 - x32 = 0; } Constraint e13 { Definition: x27 - 10*b69 <= 0; } Constraint e14 { Definition: x28 + 10*b69 <= 10; } Constraint e15 { Definition: x31 - 2.39789527279837*b69 <= 0; } Constraint e16 { Definition: x32 + 2.39789527279837*b69 <= 2.39789527279837; } Constraint e17 { Definition: (x33/(1e-6 + b70) - 1.2*log(1 + x29/(1e-6 + b70)))*(1e-6 + b70) <= 0; } Constraint e18 { Definition: x30 = 0; } Constraint e19 { Definition: x34 = 0; } Constraint e20 { Definition: x4 - x29 - x30 = 0; } Constraint e21 { Definition: x6 - x33 - x34 = 0; } Constraint e22 { Definition: x29 - 10*b70 <= 0; } Constraint e23 { Definition: x30 + 10*b70 <= 10; } Constraint e24 { Definition: x33 - 2.87747432735804*b70 <= 0; } Constraint e25 { Definition: x34 + 2.87747432735804*b70 <= 2.87747432735804; } Constraint e26 { Definition: - 0.75*x35 + x43 = 0; } Constraint e27 { Definition: x36 = 0; } Constraint e28 { Definition: x44 = 0; } Constraint e29 { Definition: x10 - x35 - x36 = 0; } Constraint e30 { Definition: x14 - x43 - x44 = 0; } Constraint e31 { Definition: x35 - 2.87747432735804*b71 <= 0; } Constraint e32 { Definition: x36 + 2.87747432735804*b71 <= 2.87747432735804; } Constraint e33 { Definition: x43 - 2.15810574551853*b71 <= 0; } Constraint e34 { Definition: x44 + 2.15810574551853*b71 <= 2.15810574551853; } Constraint e35 { Definition: (x45/(1e-6 + b72) - 1.5*log(1 + x37/(1e-6 + b72)))*(1e-6 + b72) <= 0; } Constraint e36 { Definition: x38 = 0; } Constraint e37 { Definition: x47 = 0; } Constraint e38 { Definition: x11 - x37 - x38 = 0; } Constraint e39 { Definition: x15 - x45 - x47 = 0; } Constraint e40 { Definition: x37 - 2.87747432735804*b72 <= 0; } Constraint e41 { Definition: x38 + 2.87747432735804*b72 <= 2.87747432735804; } Constraint e42 { Definition: x45 - 2.03277599268042*b72 <= 0; } Constraint e43 { Definition: x47 + 2.03277599268042*b72 <= 2.03277599268042; } Constraint e44 { Definition: - x39 + x49 = 0; } Constraint e45 { Definition: - 0.5*x41 + x49 = 0; } Constraint e46 { Definition: x40 = 0; } Constraint e47 { Definition: x42 = 0; } Constraint e48 { Definition: x50 = 0; } Constraint e49 { Definition: x12 - x39 - x40 = 0; } Constraint e50 { Definition: x13 - x41 - x42 = 0; } Constraint e51 { Definition: x16 - x49 - x50 = 0; } Constraint e52 { Definition: x39 - 2.87747432735804*b73 <= 0; } Constraint e53 { Definition: x40 + 2.87747432735804*b73 <= 2.87747432735804; } Constraint e54 { Definition: x41 - 7*b73 <= 0; } Constraint e55 { Definition: x42 + 7*b73 <= 7; } Constraint e56 { Definition: x49 - 3.5*b73 <= 0; } Constraint e57 { Definition: x50 + 3.5*b73 <= 3.5; } Constraint e58 { Definition: (x59/(1e-6 + b74) - 1.25*log(1 + x51/(1e-6 + b74)))*(1e-6 + b74) <= 0; } Constraint e59 { Definition: x52 = 0; } Constraint e60 { Definition: x60 = 0; } Constraint e61 { Definition: x17 - x51 - x52 = 0; } Constraint e62 { Definition: x22 - x59 - x60 = 0; } Constraint e63 { Definition: x51 - 2.15810574551853*b74 <= 0; } Constraint e64 { Definition: x52 + 2.15810574551853*b74 <= 2.15810574551853; } Constraint e65 { Definition: x59 - 1.43746550029693*b74 <= 0; } Constraint e66 { Definition: x60 + 1.43746550029693*b74 <= 1.43746550029693; } Constraint e67 { Definition: (x61/(1e-6 + b75) - 0.9*log(1 + x53/(1e-6 + b75)))*(1e-6 + b75) <= 0; } Constraint e68 { Definition: x54 = 0; } Constraint e69 { Definition: x62 = 0; } Constraint e70 { Definition: x18 - x53 - x54 = 0; } Constraint e71 { Definition: x23 - x61 - x62 = 0; } Constraint e72 { Definition: x53 - 2.15810574551853*b75 <= 0; } Constraint e73 { Definition: x54 + 2.15810574551853*b75 <= 2.15810574551853; } Constraint e74 { Definition: x61 - 1.03497516021379*b75 <= 0; } Constraint e75 { Definition: x62 + 1.03497516021379*b75 <= 1.03497516021379; } Constraint e76 { Definition: (x63/(1e-6 + b76) - log(1 + x46/(1e-6 + b76)))*(1e-6 + b76) <= 0; } Constraint e77 { Definition: x48 = 0; } Constraint e78 { Definition: x64 = 0; } Constraint e79 { Definition: x15 - x46 - x48 = 0; } Constraint e80 { Definition: x24 - x63 - x64 = 0; } Constraint e81 { Definition: x46 - 2.03277599268042*b76 <= 0; } Constraint e82 { Definition: x48 + 2.03277599268042*b76 <= 2.03277599268042; } Constraint e83 { Definition: x63 - 1.10947836929589*b76 <= 0; } Constraint e84 { Definition: x64 + 1.10947836929589*b76 <= 1.10947836929589; } Constraint e85 { Definition: - 0.9*x55 + x65 = 0; } Constraint e86 { Definition: x56 = 0; } Constraint e87 { Definition: x66 = 0; } Constraint e88 { Definition: x19 - x55 - x56 = 0; } Constraint e89 { Definition: x25 - x65 - x66 = 0; } Constraint e90 { Definition: x55 - 3.5*b77 <= 0; } Constraint e91 { Definition: x56 + 3.5*b77 <= 3.5; } Constraint e92 { Definition: x65 - 3.15*b77 <= 0; } Constraint e93 { Definition: x66 + 3.15*b77 <= 3.15; } Constraint e94 { Definition: - 0.6*x57 + x67 = 0; } Constraint e95 { Definition: x58 = 0; } Constraint e96 { Definition: x68 = 0; } Constraint e97 { Definition: x20 - x57 - x58 = 0; } Constraint e98 { Definition: x26 - x67 - x68 = 0; } Constraint e99 { Definition: x57 - 3.5*b78 <= 0; } Constraint e100 { Definition: x58 + 3.5*b78 <= 3.5; } Constraint e101 { Definition: x67 - 2.1*b78 <= 0; } Constraint e102 { Definition: x68 + 2.1*b78 <= 2.1; } Constraint e103 { Definition: b69 + b70 = 1; } Constraint e104 { Definition: - b71 + b74 + b75 >= 0; } Constraint e105 { Definition: - b72 + b76 >= 0; } Constraint e106 { Definition: b69 + b70 - b71 >= 0; } Constraint e107 { Definition: b69 + b70 - b72 >= 0; } Constraint e108 { Definition: b69 + b70 - b73 >= 0; } Constraint e109 { Definition: b71 - b74 >= 0; } Constraint e110 { Definition: b71 - b75 >= 0; } Constraint e111 { Definition: b72 - b76 >= 0; } Constraint e112 { Definition: b73 - b77 >= 0; } Constraint e113 { Definition: b73 - b78 >= 0; } Procedure MainInitialization { Body: { x2.upper := 10; x13.upper := 7; } } MathematicalProgram syn10h { Objective: objvar; Direction: maximize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve syn10h; } } Procedure MainTermination { Body: { return 1; } } }