## ams_version=1.0 Model Main_sssd12_05 { Variable b1 { Range: binary; } Variable b2 { Range: binary; } Variable b3 { Range: binary; } Variable b4 { Range: binary; } Variable b5 { Range: binary; } Variable b6 { Range: binary; } Variable b7 { Range: binary; } Variable b8 { Range: binary; } Variable b9 { Range: binary; } Variable b10 { Range: binary; } Variable b11 { Range: binary; } Variable b12 { Range: binary; } Variable b13 { Range: binary; } Variable b14 { Range: binary; } Variable b15 { Range: binary; } Variable b16 { Range: binary; } Variable b17 { Range: binary; } Variable b18 { Range: binary; } Variable b19 { Range: binary; } Variable b20 { Range: binary; } Variable b21 { Range: binary; } Variable b22 { Range: binary; } Variable b23 { Range: binary; } Variable b24 { Range: binary; } Variable b25 { Range: binary; } Variable b26 { Range: binary; } Variable b27 { Range: binary; } Variable b28 { Range: binary; } Variable b29 { Range: binary; } Variable b30 { Range: binary; } Variable b31 { Range: binary; } Variable b32 { Range: binary; } Variable b33 { Range: binary; } Variable b34 { Range: binary; } Variable b35 { Range: binary; } Variable b36 { Range: binary; } Variable b37 { Range: binary; } Variable b38 { Range: binary; } Variable b39 { Range: binary; } Variable b40 { Range: binary; } Variable b41 { Range: binary; } Variable b42 { Range: binary; } Variable b43 { Range: binary; } Variable b44 { Range: binary; } Variable b45 { Range: binary; } Variable b46 { Range: binary; } Variable b47 { Range: binary; } Variable b48 { Range: binary; } 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 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 x76 { Range: nonnegative; } Variable x77 { Range: nonnegative; } Variable x78 { Range: nonnegative; } Variable x79 { Range: nonnegative; } Variable x80 { Range: nonnegative; } Variable x81 { Range: nonnegative; } Variable x82 { Range: nonnegative; } Variable x83 { Range: nonnegative; } Variable x84 { Range: nonnegative; } 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 x91 { Range: nonnegative; } Variable x92 { Range: nonnegative; } Variable x93 { Range: nonnegative; } Variable x94 { Range: nonnegative; } Variable x95 { Range: nonnegative; } Variable objvar; Constraint e1 { Definition: { - 301.899928098152*b1 - 282.051473607022*b2 - 151.594044960674*b3 - 114.784185877557*b4 - 213.364530716922*b5 - 772.653148294131*b6 - 697.676211791334*b7 - 146.306371684975*b8 - 390.583393857486*b9 - 208.147527440482*b10 - 662.892902187869*b11 - 577.461337631217*b12 - 221.10047354739*b13 - 425.919826737657*b14 - 123.074770812851*b15 - 333.28129673946*b16 - 248.380746723092*b17 - 249.162942146638*b18 - 164.598799150643*b19 - 280.957171099846*b20 - 308.552481034871*b21 - 270.059605282374*b22 - 104.633483616243*b23 - 79.6631898566695*b24 - 170.696237801571*b25 - 237.754076296143*b26 - 189.862911729786*b27 - 107.217531395173*b28 - 131.358715293396*b29 - 103.406777059692*b30 - 626.417763832299*b31 - 487.184730842973*b32 - 502.300580630229*b33 - 506.426352475088*b34 - 463.185748318154*b35 - 358.178221555384*b36 - 281.629247221142*b37 - 230.4203839171*b38 - 251.915433121165*b39 - 209.261088879339*b40 - 303.899003044044*b41 - 243.197489456663*b42 - 237.390965850675*b43 - 57.1385835039462*b44 - 301.733744039334*b45 - 30.6123768510861*b46 - 21.3396948414106*b47 - 278.520865043453*b48 - 162.122145724483*b49 - 304.508803157003*b50 - 252.516206195527*b51 - 178.796029580139*b52 - 319.145634893211*b53 - 257.755103285795*b54 - 317.996864520235*b55 - 936.171150833806*b56 - 887.611963724196*b57 - 419.760722838682*b58 - 519.981401235063*b59 - 524.621957902125*b60 - 326.37044675*b61 - 119.610927362864*b62 - 76.800859418795*b63 - 338.15311375*b64 - 113.101546866718*b65 - 69.3762358590679*b66 - 313.6973235*b67 - 116.266585440261*b68 - 75.0744657614982*b69 - 401.4402965*b70 - 138.599587312691*b71 - 86.376825937843*b72 - 456.70672375*b73 - 150.554161322115*b74 - 91.6821859840903*b75 - 93617.1150833806*x76 - 93617.1150833806*x77 - 93617.1150833806*x78 - 93617.1150833806*x79 - 93617.1150833806*x80 + objvar = 0 } } Constraint e2 { Definition: { 0.609376132*b1 + 1.180016336*b6 + 0.967493052*b11 + 1.004918785*b16 + 0.698898063*b21 + 0.540292599*b26 + 1.460452986*b31 + 0.811980791*b36 + 0.973180988*b41 + 0.544914116*b46 + 0.78515855*b51 + 1.312281472*b56 - 2.0080698912*x81 - 4.0161397824*x82 - 6.0242096736*x83 = 0 } } Constraint e3 { Definition: { 0.609376132*b2 + 1.180016336*b7 + 0.967493052*b12 + 1.004918785*b17 + 0.698898063*b22 + 0.540292599*b27 + 1.460452986*b32 + 0.811980791*b37 + 0.973180988*b42 + 0.544914116*b47 + 0.78515855*b52 + 1.312281472*b57 - 1.581486777*x84 - 3.162973554*x85 - 4.744460331*x86 = 0 } } Constraint e4 { Definition: { 0.609376132*b3 + 1.180016336*b8 + 0.967493052*b13 + 1.004918785*b18 + 0.698898063*b23 + 0.540292599*b28 + 1.460452986*b33 + 0.811980791*b38 + 0.973180988*b43 + 0.544914116*b48 + 0.78515855*b53 + 1.312281472*b58 - 1.9963246902*x87 - 3.9926493804*x88 - 5.9889740706*x89 = 0 } } Constraint e5 { Definition: { 0.609376132*b4 + 1.180016336*b9 + 0.967493052*b14 + 1.004918785*b19 + 0.698898063*b24 + 0.540292599*b29 + 1.460452986*b34 + 0.811980791*b39 + 0.973180988*b44 + 0.544914116*b49 + 0.78515855*b54 + 1.312281472*b59 - 2.065052076*x90 - 4.130104152*x91 - 6.195156228*x92 = 0 } } Constraint e6 { Definition: { 0.609376132*b5 + 1.180016336*b10 + 0.967493052*b15 + 1.004918785*b20 + 0.698898063*b25 + 0.540292599*b30 + 1.460452986*b35 + 0.811980791*b40 + 0.973180988*b45 + 0.544914116*b50 + 0.78515855*b55 + 1.312281472*b60 - 2.0449844238*x93 - 4.0899688476*x94 - 6.1349532714*x95 = 0 } } Constraint e7 { Definition: b1 + b2 + b3 + b4 + b5 = 1; } Constraint e8 { Definition: b6 + b7 + b8 + b9 + b10 = 1; } Constraint e9 { Definition: b11 + b12 + b13 + b14 + b15 = 1; } Constraint e10 { Definition: b16 + b17 + b18 + b19 + b20 = 1; } Constraint e11 { Definition: b21 + b22 + b23 + b24 + b25 = 1; } Constraint e12 { Definition: b26 + b27 + b28 + b29 + b30 = 1; } Constraint e13 { Definition: b31 + b32 + b33 + b34 + b35 = 1; } Constraint e14 { Definition: b36 + b37 + b38 + b39 + b40 = 1; } Constraint e15 { Definition: b41 + b42 + b43 + b44 + b45 = 1; } Constraint e16 { Definition: b46 + b47 + b48 + b49 + b50 = 1; } Constraint e17 { Definition: b51 + b52 + b53 + b54 + b55 = 1; } Constraint e18 { Definition: b56 + b57 + b58 + b59 + b60 = 1; } Constraint e19 { Definition: b61 + b62 + b63 <= 1; } Constraint e20 { Definition: b64 + b65 + b66 <= 1; } Constraint e21 { Definition: b67 + b68 + b69 <= 1; } Constraint e22 { Definition: b70 + b71 + b72 <= 1; } Constraint e23 { Definition: b73 + b74 + b75 <= 1; } Constraint e24 { Definition: - b61 + x81 <= 0; } Constraint e25 { Definition: - b62 + x82 <= 0; } Constraint e26 { Definition: - b63 + x83 <= 0; } Constraint e27 { Definition: - b64 + x84 <= 0; } Constraint e28 { Definition: - b65 + x85 <= 0; } Constraint e29 { Definition: - b66 + x86 <= 0; } Constraint e30 { Definition: - b67 + x87 <= 0; } Constraint e31 { Definition: - b68 + x88 <= 0; } Constraint e32 { Definition: - b69 + x89 <= 0; } Constraint e33 { Definition: - b70 + x90 <= 0; } Constraint e34 { Definition: - b71 + x91 <= 0; } Constraint e35 { Definition: - b72 + x92 <= 0; } Constraint e36 { Definition: - b73 + x93 <= 0; } Constraint e37 { Definition: - b74 + x94 <= 0; } Constraint e38 { Definition: - b75 + x95 <= 0; } Constraint e39 { Definition: -x76/(1 + x76) + x81 <= 0; } Constraint e40 { Definition: -x76/(1 + x76) + x82 <= 0; } Constraint e41 { Definition: -x76/(1 + x76) + x83 <= 0; } Constraint e42 { Definition: -x77/(1 + x77) + x84 <= 0; } Constraint e43 { Definition: -x77/(1 + x77) + x85 <= 0; } Constraint e44 { Definition: -x77/(1 + x77) + x86 <= 0; } Constraint e45 { Definition: -x78/(1 + x78) + x87 <= 0; } Constraint e46 { Definition: -x78/(1 + x78) + x88 <= 0; } Constraint e47 { Definition: -x78/(1 + x78) + x89 <= 0; } Constraint e48 { Definition: -x79/(1 + x79) + x90 <= 0; } Constraint e49 { Definition: -x79/(1 + x79) + x91 <= 0; } Constraint e50 { Definition: -x79/(1 + x79) + x92 <= 0; } Constraint e51 { Definition: -x80/(1 + x80) + x93 <= 0; } Constraint e52 { Definition: -x80/(1 + x80) + x94 <= 0; } Constraint e53 { Definition: -x80/(1 + x80) + x95 <= 0; } Procedure MainInitialization; MathematicalProgram sssd12_05 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve sssd12_05; } } Procedure MainTermination { Body: { return 1; } } }