## ams_version=1.0 Model Main_sssd15_06 { 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 b76 { Range: binary; } Variable b77 { Range: binary; } Variable b78 { Range: binary; } Variable b79 { Range: binary; } Variable b80 { Range: binary; } Variable b81 { Range: binary; } Variable b82 { Range: binary; } Variable b83 { Range: binary; } Variable b84 { Range: binary; } Variable b85 { Range: binary; } Variable b86 { Range: binary; } Variable b87 { Range: binary; } Variable b88 { Range: binary; } Variable b89 { Range: binary; } Variable b90 { Range: binary; } Variable b91 { Range: binary; } Variable b92 { Range: binary; } Variable b93 { Range: binary; } Variable b94 { Range: binary; } Variable b95 { Range: binary; } Variable b96 { Range: binary; } Variable b97 { Range: binary; } Variable b98 { Range: binary; } Variable b99 { Range: binary; } Variable b100 { Range: binary; } Variable b101 { Range: binary; } Variable b102 { Range: binary; } Variable b103 { Range: binary; } Variable b104 { Range: binary; } Variable b105 { Range: binary; } Variable b106 { Range: binary; } Variable b107 { Range: binary; } Variable b108 { Range: binary; } Variable x109 { Range: nonnegative; } Variable x110 { Range: nonnegative; } Variable x111 { Range: nonnegative; } Variable x112 { Range: nonnegative; } Variable x113 { Range: nonnegative; } Variable x114 { Range: nonnegative; } Variable x115 { Range: nonnegative; } Variable x116 { Range: nonnegative; } Variable x117 { Range: nonnegative; } Variable x118 { Range: nonnegative; } Variable x119 { Range: nonnegative; } Variable x120 { Range: nonnegative; } Variable x121 { Range: nonnegative; } Variable x122 { Range: nonnegative; } Variable x123 { Range: nonnegative; } Variable x124 { Range: nonnegative; } Variable x125 { Range: nonnegative; } Variable x126 { Range: nonnegative; } Variable x127 { Range: nonnegative; } Variable x128 { Range: nonnegative; } Variable x129 { Range: nonnegative; } Variable x130 { Range: nonnegative; } Variable x131 { Range: nonnegative; } Variable x132 { Range: nonnegative; } Variable objvar; Constraint e1 { Definition: { - 442.063529622557*b1 - 366.945276949078*b2 - 361.844037620352*b3 - 254.615285920205*b4 - 409.806064932284*b5 - 370.944913736794*b6 - 917.905907756872*b7 - 854.714984393962*b8 - 230.026275257868*b9 - 657.995431103635*b10 - 881.870778772793*b11 - 729.302338156532*b12 - 293.220680634507*b13 - 234.88505640483*b14 - 306.589119028639*b15 - 212.604635867499*b16 - 268.277773733309*b17 - 306.054716297049*b18 - 282.784475761168*b19 - 198.595458779145*b20 - 587.147485855927*b21 - 280.762101897659*b22 - 260.072754182405*b23 - 385.710083699727*b24 - 1022.14187585538*b25 - 926.621742504607*b26 - 974.3712565818*b27 - 398.695186748816*b28 - 997.178402424156*b29 - 262.577539485453*b30 - 278.200204540222*b31 - 203.400321375105*b32 - 542.235016479437*b33 - 232.29811336384*b34 - 259.100413925782*b35 - 322.702146186956*b36 - 585.3932113854*b37 - 489.124324719191*b38 - 596.315128001653*b39 - 78.8410167536545*b40 - 554.500116548826*b41 - 215.082206281639*b42 - 272.649920146241*b43 - 246.781768566014*b44 - 59.9005909177966*b45 - 210.385716981595*b46 - 257.413123058575*b47 - 255.90843580668*b48 - 182.000435693263*b49 - 217.705997253011*b50 - 525.920916259861*b51 - 595.991352847666*b52 - 173.098787504103*b53 - 704.023805695798*b54 - 348.910381017493*b55 - 315.546938168662*b56 - 81.3458727613443*b57 - 246.930651630931*b58 - 330.394908673519*b59 - 298.153509072106*b60 - 269.030948304878*b61 - 247.330257721078*b62 - 595.374260868798*b63 - 321.838418502709*b64 - 273.302652187602*b65 - 347.519560747871*b66 - 239.965056365958*b67 - 225.918110477132*b68 - 821.704586939783*b69 - 517.548613279649*b70 - 252.40296214282*b71 - 591.78966905405*b72 - 497.076717281293*b73 - 427.025244750595*b74 - 710.446278907083*b75 - 201.293936746268*b76 - 483.702115167666*b77 - 205.105793016246*b78 - 144.308693458219*b79 - 82.7493748423842*b80 - 445.417000840525*b81 - 270.153852594662*b82 - 128.431590169631*b83 - 347.590895267443*b84 - 880.088095965037*b85 - 803.815832561014*b86 - 643.566550614291*b87 - 383.258000970235*b88 - 854.384284117996*b89 - 324.364518048663*b90 - 447.27297125*b91 - 149.951518778611*b92 - 92.0883310907824*b93 - 387.55659475*b94 - 137.706485799464*b95 - 87.0620787543829*b96 - 387.78996175*b97 - 131.949558973922*b98 - 81.6353681987649*b99 - 379.407193*b100 - 122.763219198849*b101 - 74.0651688912662*b102 - 388.31994525*b103 - 136.076111741735*b104 - 85.4363925392073*b105 - 391.38973275*b106 - 135.992919927791*b107 - 85.0226413744402*b108 - 102214.187585538*x109 - 102214.187585538*x110 - 102214.187585538*x111 - 102214.187585538*x112 - 102214.187585538*x113 - 102214.187585538*x114 + objvar = 0 } } Constraint e2 { Definition: { 1.272106132*b1 + 1.387058696*b7 + 0.986800572*b13 + 1.270704755*b19 + 1.453458083*b25 + 1.140913439*b31 + 1.447691326*b37 + 0.587485071*b43 + 1.163969038*b49 + 0.710009506*b55 + 0.80768006*b61 + 1.246716252*b67 + 1.166104962*b73 + 0.934997655*b79 + 1.153921397*b85 - 2.10665801875*x115 - 4.2133160375*x116 - 6.31997405625*x117 = 0 } } Constraint e3 { Definition: { 1.272106132*b2 + 1.387058696*b8 + 0.986800572*b14 + 1.270704755*b20 + 1.453458083*b26 + 1.140913439*b32 + 1.447691326*b38 + 0.587485071*b44 + 1.163969038*b50 + 0.710009506*b56 + 0.80768006*b62 + 1.246716252*b68 + 1.166104962*b74 + 0.934997655*b80 + 1.153921397*b86 - 2.173103564375*x118 - 4.34620712875*x119 - 6.519310693125*x120 = 0 } } Constraint e4 { Definition: { 1.272106132*b3 + 1.387058696*b9 + 0.986800572*b15 + 1.270704755*b21 + 1.453458083*b27 + 1.140913439*b33 + 1.447691326*b39 + 0.587485071*b45 + 1.163969038*b51 + 0.710009506*b57 + 0.80768006*b63 + 1.246716252*b69 + 1.166104962*b75 + 0.934997655*b81 + 1.153921397*b87 - 1.909491104375*x121 - 3.81898220875*x122 - 5.728473313125*x123 = 0 } } Constraint e5 { Definition: { 1.272106132*b4 + 1.387058696*b10 + 0.986800572*b16 + 1.270704755*b22 + 1.453458083*b28 + 1.140913439*b34 + 1.447691326*b40 + 0.587485071*b46 + 1.163969038*b52 + 0.710009506*b58 + 0.80768006*b64 + 1.246716252*b70 + 1.166104962*b76 + 0.934997655*b82 + 1.153921397*b88 - 1.606497171875*x124 - 3.21299434375*x125 - 4.819491515625*x126 = 0 } } Constraint e6 { Definition: { 1.272106132*b5 + 1.387058696*b11 + 0.986800572*b17 + 1.270704755*b23 + 1.453458083*b29 + 1.140913439*b35 + 1.447691326*b41 + 0.587485071*b47 + 1.163969038*b53 + 0.710009506*b59 + 0.80768006*b65 + 1.246716252*b71 + 1.166104962*b77 + 0.934997655*b83 + 1.153921397*b89 - 2.08859194*x127 - 4.17718388*x128 - 6.26577582*x129 = 0 } } Constraint e7 { Definition: { 1.272106132*b6 + 1.387058696*b12 + 0.986800572*b18 + 1.270704755*b24 + 1.453458083*b30 + 1.140913439*b36 + 1.447691326*b42 + 0.587485071*b48 + 1.163969038*b54 + 0.710009506*b60 + 0.80768006*b66 + 1.246716252*b72 + 1.166104962*b78 + 0.934997655*b84 + 1.153921397*b90 - 2.05218849125*x130 - 4.1043769825*x131 - 6.15656547375*x132 = 0 } } Constraint e8 { Definition: b1 + b2 + b3 + b4 + b5 + b6 = 1; } Constraint e9 { Definition: b7 + b8 + b9 + b10 + b11 + b12 = 1; } Constraint e10 { Definition: b13 + b14 + b15 + b16 + b17 + b18 = 1; } Constraint e11 { Definition: b19 + b20 + b21 + b22 + b23 + b24 = 1; } Constraint e12 { Definition: b25 + b26 + b27 + b28 + b29 + b30 = 1; } Constraint e13 { Definition: b31 + b32 + b33 + b34 + b35 + b36 = 1; } Constraint e14 { Definition: b37 + b38 + b39 + b40 + b41 + b42 = 1; } Constraint e15 { Definition: b43 + b44 + b45 + b46 + b47 + b48 = 1; } Constraint e16 { Definition: b49 + b50 + b51 + b52 + b53 + b54 = 1; } Constraint e17 { Definition: b55 + b56 + b57 + b58 + b59 + b60 = 1; } Constraint e18 { Definition: b61 + b62 + b63 + b64 + b65 + b66 = 1; } Constraint e19 { Definition: b67 + b68 + b69 + b70 + b71 + b72 = 1; } Constraint e20 { Definition: b73 + b74 + b75 + b76 + b77 + b78 = 1; } Constraint e21 { Definition: b79 + b80 + b81 + b82 + b83 + b84 = 1; } Constraint e22 { Definition: b85 + b86 + b87 + b88 + b89 + b90 = 1; } Constraint e23 { Definition: b91 + b92 + b93 <= 1; } Constraint e24 { Definition: b94 + b95 + b96 <= 1; } Constraint e25 { Definition: b97 + b98 + b99 <= 1; } Constraint e26 { Definition: b100 + b101 + b102 <= 1; } Constraint e27 { Definition: b103 + b104 + b105 <= 1; } Constraint e28 { Definition: b106 + b107 + b108 <= 1; } Constraint e29 { Definition: - b91 + x115 <= 0; } Constraint e30 { Definition: - b92 + x116 <= 0; } Constraint e31 { Definition: - b93 + x117 <= 0; } Constraint e32 { Definition: - b94 + x118 <= 0; } Constraint e33 { Definition: - b95 + x119 <= 0; } Constraint e34 { Definition: - b96 + x120 <= 0; } Constraint e35 { Definition: - b97 + x121 <= 0; } Constraint e36 { Definition: - b98 + x122 <= 0; } Constraint e37 { Definition: - b99 + x123 <= 0; } Constraint e38 { Definition: - b100 + x124 <= 0; } Constraint e39 { Definition: - b101 + x125 <= 0; } Constraint e40 { Definition: - b102 + x126 <= 0; } Constraint e41 { Definition: - b103 + x127 <= 0; } Constraint e42 { Definition: - b104 + x128 <= 0; } Constraint e43 { Definition: - b105 + x129 <= 0; } Constraint e44 { Definition: - b106 + x130 <= 0; } Constraint e45 { Definition: - b107 + x131 <= 0; } Constraint e46 { Definition: - b108 + x132 <= 0; } Constraint e47 { Definition: -x109/(1 + x109) + x115 <= 0; } Constraint e48 { Definition: -x109/(1 + x109) + x116 <= 0; } Constraint e49 { Definition: -x109/(1 + x109) + x117 <= 0; } Constraint e50 { Definition: -x110/(1 + x110) + x118 <= 0; } Constraint e51 { Definition: -x110/(1 + x110) + x119 <= 0; } Constraint e52 { Definition: -x110/(1 + x110) + x120 <= 0; } Constraint e53 { Definition: -x111/(1 + x111) + x121 <= 0; } Constraint e54 { Definition: -x111/(1 + x111) + x122 <= 0; } Constraint e55 { Definition: -x111/(1 + x111) + x123 <= 0; } Constraint e56 { Definition: -x112/(1 + x112) + x124 <= 0; } Constraint e57 { Definition: -x112/(1 + x112) + x125 <= 0; } Constraint e58 { Definition: -x112/(1 + x112) + x126 <= 0; } Constraint e59 { Definition: -x113/(1 + x113) + x127 <= 0; } Constraint e60 { Definition: -x113/(1 + x113) + x128 <= 0; } Constraint e61 { Definition: -x113/(1 + x113) + x129 <= 0; } Constraint e62 { Definition: -x114/(1 + x114) + x130 <= 0; } Constraint e63 { Definition: -x114/(1 + x114) + x131 <= 0; } Constraint e64 { Definition: -x114/(1 + x114) + x132 <= 0; } Procedure MainInitialization; MathematicalProgram sssd15_06 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve sssd15_06; } } Procedure MainTermination { Body: { return 1; } } }