## ams_version=1.0 Model Main_cvxnonsep_psig30r { Variable i1 { Range: integer; } Variable i2 { Range: integer; } Variable i3 { Range: integer; } Variable i4 { Range: integer; } Variable i5 { Range: integer; } Variable i6 { Range: integer; } Variable i7 { Range: integer; } Variable i8 { Range: integer; } Variable i9 { Range: integer; } Variable i10 { Range: integer; } Variable i11 { Range: integer; } Variable i12 { Range: integer; } Variable i13 { Range: integer; } Variable i14 { Range: integer; } Variable i15 { Range: integer; } Variable x16; Variable x17; Variable x18; Variable x19; Variable x20; Variable x21; Variable x22; Variable x23; Variable x24; Variable x25; Variable x26; Variable x27; Variable x28; Variable x29; Variable x30; Variable objvar; Variable x32 { Range: nonpositive; } Variable x33 { Range: nonpositive; } Variable x34 { Range: nonpositive; } Variable x35 { Range: nonpositive; } Variable x36 { Range: nonpositive; } Variable x37 { Range: nonpositive; } Variable x38 { Range: nonpositive; } Variable x39 { Range: nonpositive; } Variable x40 { Range: nonpositive; } Variable x41 { Range: nonpositive; } Variable x42 { Range: nonpositive; } Variable x43 { Range: nonpositive; } Variable x44 { Range: nonpositive; } Variable x45 { Range: nonpositive; } Variable x46 { Range: nonpositive; } Variable x47 { Range: nonpositive; } Variable x48 { Range: nonpositive; } Variable x49 { Range: nonpositive; } Variable x50 { Range: nonpositive; } Variable x51 { Range: nonpositive; } Variable x52 { Range: nonpositive; } Variable x53 { Range: nonpositive; } Variable x54 { Range: nonpositive; } Variable x55 { Range: nonpositive; } Variable x56 { Range: nonpositive; } Variable x57 { Range: nonpositive; } Variable x58 { Range: nonpositive; } Variable x59 { Range: nonpositive; } Variable x60 { Range: nonpositive; } Variable x61 { Range: nonpositive; } Variable x62; Variable x63; Constraint e1 { Definition: { i1 + i2 + i3 + i4 + i5 + i6 + i7 + i8 + i9 + i10 + i11 + i12 + i13 + i14 + i15 + x16 + x17 + x18 + x19 + x20 + x21 + x22 + x23 + x24 + x25 + x26 + x27 + x28 + x29 + x30 - objvar + 30000*x63 = 0 } } Constraint e2 { Definition: { x32 + x33 + x34 + x35 + x36 + x37 + x38 + x39 + x40 + x41 + x42 + x43 + x44 + x45 + x46 + x47 + x48 + x49 + x50 + x51 + x52 + x53 + x54 + x55 + x56 + x57 + x58 + x59 + x60 + x61 + x62 <= 0 } } Constraint e3 { Definition: -0.48*log(i1) - x32 <= 0; } Constraint e4 { Definition: -0.275*log(i2) - x33 <= 0; } Constraint e5 { Definition: -0.26*log(i3) - x34 <= 0; } Constraint e6 { Definition: -0.215*log(i4) - x35 <= 0; } Constraint e7 { Definition: -0.245*log(i5) - x36 <= 0; } Constraint e8 { Definition: -0.31*log(i6) - x37 <= 0; } Constraint e9 { Definition: -0.34*log(i7) - x38 <= 0; } Constraint e10 { Definition: -0.2*log(i8) - x39 <= 0; } Constraint e11 { Definition: -0.185*log(i9) - x40 <= 0; } Constraint e12 { Definition: -0.495*log(i10) - x41 <= 0; } Constraint e13 { Definition: -0.02*log(i11) - x42 <= 0; } Constraint e14 { Definition: -0.445*log(i12) - x43 <= 0; } Constraint e15 { Definition: -0.455*log(i13) - x44 <= 0; } Constraint e16 { Definition: -0.4*log(i14) - x45 <= 0; } Constraint e17 { Definition: -0.05*log(i15) - x46 <= 0; } Constraint e18 { Definition: -0.13*log(x16) - x47 <= 0; } Constraint e19 { Definition: -0.17*log(x17) - x48 <= 0; } Constraint e20 { Definition: -0.34*log(x18) - x49 <= 0; } Constraint e21 { Definition: -0.07*log(x19) - x50 <= 0; } Constraint e22 { Definition: -0.36*log(x20) - x51 <= 0; } Constraint e23 { Definition: -0.05*log(x21) - x52 <= 0; } Constraint e24 { Definition: -0.325*log(x22) - x53 <= 0; } Constraint e25 { Definition: -0.245*log(x23) - x54 <= 0; } Constraint e26 { Definition: -0.39*log(x24) - x55 <= 0; } Constraint e27 { Definition: -0.36*log(x25) - x56 <= 0; } Constraint e28 { Definition: -0.45*log(x26) - x57 <= 0; } Constraint e29 { Definition: -0.445*log(x27) - x58 <= 0; } Constraint e30 { Definition: -0.165*log(x28) - x59 <= 0; } Constraint e31 { Definition: -0.35*log(x29) - x60 <= 0; } Constraint e32 { Definition: -0.1*log(x30) - x61 <= 0; } Constraint e33 { Definition: -log(x63) - x62 <= 0; } Procedure MainInitialization { Body: { i1.lower := 1; i1.upper := 10; i2.lower := 1; i2.upper := 10; i3.lower := 1; i3.upper := 10; i4.lower := 1; i4.upper := 10; i5.lower := 1; i5.upper := 10; i6.lower := 1; i6.upper := 10; i7.lower := 1; i7.upper := 10; i8.lower := 1; i8.upper := 10; i9.lower := 1; i9.upper := 10; i10.lower := 1; i10.upper := 10; i11.lower := 1; i11.upper := 10; i12.lower := 1; i12.upper := 10; i13.lower := 1; i13.upper := 10; i14.lower := 1; i14.upper := 10; i15.lower := 1; i15.upper := 10; x16.lower := 1; x16.upper := 10; x17.lower := 1; x17.upper := 10; x18.lower := 1; x18.upper := 10; x19.lower := 1; x19.upper := 10; x20.lower := 1; x20.upper := 10; x21.lower := 1; x21.upper := 10; x22.lower := 1; x22.upper := 10; x23.lower := 1; x23.upper := 10; x24.lower := 1; x24.upper := 10; x25.lower := 1; x25.upper := 10; x26.lower := 1; x26.upper := 10; x27.lower := 1; x27.upper := 10; x28.lower := 1; x28.upper := 10; x29.lower := 1; x29.upper := 10; x30.lower := 1; x30.upper := 10; x63.lower := 1E-10; } } MathematicalProgram cvxnonsep_psig30r { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve cvxnonsep_psig30r; } } Procedure MainTermination { Body: { return 1; } } }