## ams_version=1.0 Model Main_pooling_foulds2stp { 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; } Constraint e1 { Definition: { objvar - x4 + 5*x5 - 4*x6 + 2*x7 + 2*x10 + 8*x11 - x12 + 5*x13 + 3*x34 + 9*x35 + 6*x37 - 7*x38 - x39 - 10*x40 - 4*x41 + 6*x42 + 12*x43 + 3*x44 + 9*x45 - 4*x46 + 2*x47 - 7*x48 - x49 = 0 } } Constraint e2 { Definition: x34 + x35 + x36 + x37 <= 600; } Constraint e3 { Definition: x38 + x39 + x40 + x41 <= 600; } Constraint e4 { Definition: x4 + x5 + x6 + x7 <= 600; } Constraint e5 { Definition: x42 + x43 + x44 + x45 <= 600; } Constraint e6 { Definition: x46 + x47 + x48 + x49 <= 600; } Constraint e7 { Definition: x10 + x11 + x12 + x13 <= 600; } Constraint e8 { Definition: x34 + x35 + x36 + x37 + x38 + x39 + x40 + x41 <= 600; } Constraint e9 { Definition: x42 + x43 + x44 + x45 + x46 + x47 + x48 + x49 <= 600; } Constraint e10 { Definition: x4 + x10 + x34 + x38 + x42 + x46 <= 100; } Constraint e11 { Definition: x5 + x11 + x35 + x39 + x43 + x47 <= 200; } Constraint e12 { Definition: x6 + x12 + x36 + x40 + x44 + x48 <= 100; } Constraint e13 { Definition: x7 + x13 + x37 + x41 + x45 + x49 <= 200; } Constraint e14 { Definition: - 0.5*x4 + 0.5*x34 - 1.5*x38 + x42 - x46 <= 0; } Constraint e15 { Definition: 0.5*x5 + x11 + 1.5*x35 - 0.5*x39 + 2*x43 <= 0; } Constraint e16 { Definition: - x6 - 0.5*x12 - 2*x40 + 0.5*x44 - 1.5*x48 <= 0; } Constraint e17 { Definition: 0.5*x13 + x37 - x41 + 1.5*x45 - 0.5*x49 <= 0; } Constraint e18 { Definition: x22 + x23 = 1; } Constraint e19 { Definition: x24 + x25 = 1; } Constraint e20 { Definition: x26 + x27 + x28 + x29 = 1; } Constraint e21 { Definition: x30 + x31 + x32 + x33 = 1; } Constraint e22 { Definition: -x22*x14 + x34 = 0; } Constraint e23 { Definition: -x22*x15 + x35 = 0; } Constraint e24 { Definition: -x22*x16 + x36 = 0; } Constraint e25 { Definition: -x22*x17 + x37 = 0; } Constraint e26 { Definition: -x23*x14 + x38 = 0; } Constraint e27 { Definition: -x23*x15 + x39 = 0; } Constraint e28 { Definition: -x23*x16 + x40 = 0; } Constraint e29 { Definition: -x23*x17 + x41 = 0; } Constraint e30 { Definition: -x24*x18 + x42 = 0; } Constraint e31 { Definition: -x24*x19 + x43 = 0; } Constraint e32 { Definition: -x24*x20 + x44 = 0; } Constraint e33 { Definition: -x24*x21 + x45 = 0; } Constraint e34 { Definition: -x25*x18 + x46 = 0; } Constraint e35 { Definition: -x25*x19 + x47 = 0; } Constraint e36 { Definition: -x25*x20 + x48 = 0; } Constraint e37 { Definition: -x25*x21 + x49 = 0; } Constraint e38 { Definition: -x26*x2 + x34 = 0; } Constraint e39 { Definition: -x27*x2 + x35 = 0; } Constraint e40 { Definition: -x28*x2 + x36 = 0; } Constraint e41 { Definition: -x29*x2 + x37 = 0; } Constraint e42 { Definition: -x26*x3 + x38 = 0; } Constraint e43 { Definition: -x27*x3 + x39 = 0; } Constraint e44 { Definition: -x28*x3 + x40 = 0; } Constraint e45 { Definition: -x29*x3 + x41 = 0; } Constraint e46 { Definition: -x30*x8 + x42 = 0; } Constraint e47 { Definition: -x31*x8 + x43 = 0; } Constraint e48 { Definition: -x32*x8 + x44 = 0; } Constraint e49 { Definition: -x33*x8 + x45 = 0; } Constraint e50 { Definition: -x30*x9 + x46 = 0; } Constraint e51 { Definition: -x31*x9 + x47 = 0; } Constraint e52 { Definition: -x32*x9 + x48 = 0; } Constraint e53 { Definition: -x33*x9 + x49 = 0; } Procedure MainInitialization { Body: { x2.upper := 600; x3.upper := 600; x4.upper := 100; x5.upper := 200; x6.upper := 100; x7.upper := 200; x8.upper := 600; x9.upper := 600; x10.upper := 100; x11.upper := 200; x12.upper := 100; x13.upper := 200; x14.upper := 100; x15.upper := 200; x16.upper := 100; x17.upper := 200; x18.upper := 100; x19.upper := 200; x20.upper := 100; x21.upper := 200; x22.upper := 1; x23.upper := 1; x24.upper := 1; x25.upper := 1; x26.upper := 1; x27.upper := 1; x28.upper := 1; x29.upper := 1; x30.upper := 1; x31.upper := 1; x32.upper := 1; x33.upper := 1; x34.upper := 100; x35.upper := 200; x36.upper := 100; x37.upper := 200; x38.upper := 100; x39.upper := 200; x40.upper := 100; x41.upper := 200; x42.upper := 100; x43.upper := 200; x44.upper := 100; x45.upper := 200; x46.upper := 100; x47.upper := 200; x48.upper := 100; x49.upper := 200; } } MathematicalProgram pooling_foulds2stp { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: NLP; } Procedure MainExecution { Body: { solve pooling_foulds2stp; } } Procedure MainTermination { Body: { return 1; } } }