#  MINLP written by GAMS Convert at 01/12/18 13:43:48
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        175       16       33      126        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#         91       61       30        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#        448      439        9        0
# 
#  Reformulation has removed 1 variable and 1 equation


var x2 >= 0, <= 40;
var x3 >= 0, <= 40;
var x4 >= 0, <= 40;
var x5 >= 0;
var x6 >= 0;
var x7 >= 0;
var x8 >= 0;
var x9 >= 0;
var x10 >= 0;
var x11 >= 0;
var x12 >= 0;
var x13 >= 0;
var x14 >= 0;
var x15 >= 0;
var x16 >= 0;
var x17 >= 0;
var x18 >= 0;
var x19 >= 0;
var x20 >= 0;
var x21 >= 0;
var x22 >= 0;
var x23 >= 0;
var x24 >= 0;
var x25 >= 0;
var x26 >= 0;
var x27 >= 0;
var x28 >= 0;
var x29 >= 0;
var x30 >= 0;
var x31 >= 0;
var x32 >= 0;
var x33 >= 0;
var x34 >= 0;
var x35 >= 0, <= 30;
var x36 >= 0, <= 30;
var x37 >= 0, <= 30;
var x38 >= 0;
var x39 >= 0;
var x40 >= 0;
var x41 >= 0;
var x42 >= 0;
var x43 >= 0;
var x44 >= 0;
var x45 >= 0;
var x46 >= 0;
var b47 binary >= 0, <= 1;
var b48 binary >= 0, <= 1;
var b49 binary >= 0, <= 1;
var b50 binary >= 0, <= 1;
var b51 binary >= 0, <= 1;
var b52 binary >= 0, <= 1;
var b53 binary >= 0, <= 1;
var b54 binary >= 0, <= 1;
var b55 binary >= 0, <= 1;
var b56 binary >= 0, <= 1;
var b57 binary >= 0, <= 1;
var b58 binary >= 0, <= 1;
var b59 binary >= 0, <= 1;
var b60 binary >= 0, <= 1;
var b61 binary >= 0, <= 1;
var b62 binary >= 0, <= 1;
var b63 binary >= 0, <= 1;
var b64 binary >= 0, <= 1;
var b65 binary >= 0, <= 1;
var b66 binary >= 0, <= 1;
var b67 binary >= 0, <= 1;
var b68 binary >= 0, <= 1;
var b69 binary >= 0, <= 1;
var b70 binary >= 0, <= 1;
var b71 binary >= 0, <= 1;
var b72 binary >= 0, <= 1;
var b73 binary >= 0, <= 1;
var b74 binary >= 0, <= 1;
var b75 binary >= 0, <= 1;
var b76 binary >= 0, <= 1;
var x77;
var x78;
var x79;
var x80;
var x81;
var x82;
var x83;
var x84;
var x85;
var x86;
var x87;
var x88;
var x89;
var x90;
var x91;

maximize obj:  - x2 - x3 - x4 + 5*x20 + 10*x21 + 5*x22 - 2*x35 - x36 - 2*x37
     + 80*x38 + 90*x39 + 120*x40 + 285*x41 + 390*x42 + 350*x43 + 290*x44
     + 405*x45 + 190*x46 - 5*b62 - 4*b63 - 6*b64 - 8*b65 - 7*b66 - 6*b67
     - 6*b68 - 9*b69 - 4*b70 - 10*b71 - 9*b72 - 5*b73 - 6*b74 - 10*b75 - 6*b76;

subject to

e2:    x2 - x5 - x8 = 0;

e3:    x3 - x6 - x9 = 0;

e4:    x4 - x7 - x10 = 0;

e5:  - x11 - x14 + x17 = 0;

e6:  - x12 - x15 + x18 = 0;

e7:  - x13 - x16 + x19 = 0;

e8:    x17 - x20 - x23 = 0;

e9:    x18 - x21 - x24 = 0;

e10:    x19 - x22 - x25 = 0;

e11:    x23 - x26 - x29 - x32 = 0;

e12:    x24 - x27 - x30 - x33 = 0;

e13:    x25 - x28 - x31 - x34 = 0;

e14: -log(1 + x5) + x11 + b47 <= 1;

e15: -log(1 + x6) + x12 + b48 <= 1;

e16: -log(1 + x7) + x13 + b49 <= 1;

e17:    x5 - 40*b47 <= 0;

e18:    x6 - 40*b48 <= 0;

e19:    x7 - 40*b49 <= 0;

e20:    x11 - 3.71357206670431*b47 <= 0;

e21:    x12 - 3.71357206670431*b48 <= 0;

e22:    x13 - 3.71357206670431*b49 <= 0;

e23: -1.2*log(1 + x8) + x14 + b50 <= 1;

e24: -1.2*log(1 + x9) + x15 + b51 <= 1;

e25: -1.2*log(1 + x10) + x16 + b52 <= 1;

e26:    x8 - 40*b50 <= 0;

e27:    x9 - 40*b51 <= 0;

e28:    x10 - 40*b52 <= 0;

e29:    x14 - 4.45628648004517*b50 <= 0;

e30:    x15 - 4.45628648004517*b51 <= 0;

e31:    x16 - 4.45628648004517*b52 <= 0;

e32:  - 0.75*x26 + x38 + b53 <= 1;

e33:  - 0.75*x27 + x39 + b54 <= 1;

e34:  - 0.75*x28 + x40 + b55 <= 1;

e35:  - 0.75*x26 + x38 - b53 >= -1;

e36:  - 0.75*x27 + x39 - b54 >= -1;

e37:  - 0.75*x28 + x40 - b55 >= -1;

e38:    x26 - 4.45628648004517*b53 <= 0;

e39:    x27 - 4.45628648004517*b54 <= 0;

e40:    x28 - 4.45628648004517*b55 <= 0;

e41:    x38 - 3.34221486003388*b53 <= 0;

e42:    x39 - 3.34221486003388*b54 <= 0;

e43:    x40 - 3.34221486003388*b55 <= 0;

e44: -1.5*log(1 + x29) + x41 + b56 <= 1;

e45: -1.5*log(1 + x30) + x42 + b57 <= 1;

e46: -1.5*log(1 + x31) + x43 + b58 <= 1;

e47:    x29 - 4.45628648004517*b56 <= 0;

e48:    x30 - 4.45628648004517*b57 <= 0;

e49:    x31 - 4.45628648004517*b58 <= 0;

e50:    x41 - 2.54515263975353*b56 <= 0;

e51:    x42 - 2.54515263975353*b57 <= 0;

e52:    x43 - 2.54515263975353*b58 <= 0;

e53:  - x32 + x44 + b59 <= 1;

e54:  - x33 + x45 + b60 <= 1;

e55:  - x34 + x46 + b61 <= 1;

e56:  - x32 + x44 - b59 >= -1;

e57:  - x33 + x45 - b60 >= -1;

e58:  - x34 + x46 - b61 >= -1;

e59:  - 0.5*x35 + x44 + b59 <= 1;

e60:  - 0.5*x36 + x45 + b60 <= 1;

e61:  - 0.5*x37 + x46 + b61 <= 1;

e62:  - 0.5*x35 + x44 - b59 >= -1;

e63:  - 0.5*x36 + x45 - b60 >= -1;

e64:  - 0.5*x37 + x46 - b61 >= -1;

e65:    x32 - 4.45628648004517*b59 <= 0;

e66:    x33 - 4.45628648004517*b60 <= 0;

e67:    x34 - 4.45628648004517*b61 <= 0;

e68:    x35 - 30*b59 <= 0;

e69:    x36 - 30*b60 <= 0;

e70:    x37 - 30*b61 <= 0;

e71:    x44 - 15*b59 <= 0;

e72:    x45 - 15*b60 <= 0;

e73:    x46 - 15*b61 <= 0;

e74:    5*b62 + x77 <= 0;

e75:    4*b63 + x78 <= 0;

e76:    6*b64 + x79 <= 0;

e77:    8*b65 + x80 <= 0;

e78:    7*b66 + x81 <= 0;

e79:    6*b67 + x82 <= 0;

e80:    6*b68 + x83 <= 0;

e81:    9*b69 + x84 <= 0;

e82:    4*b70 + x85 <= 0;

e83:    10*b71 + x86 <= 0;

e84:    9*b72 + x87 <= 0;

e85:    5*b73 + x88 <= 0;

e86:    6*b74 + x89 <= 0;

e87:    10*b75 + x90 <= 0;

e88:    6*b76 + x91 <= 0;

e89:    5*b62 + x77 >= 0;

e90:    4*b63 + x78 >= 0;

e91:    6*b64 + x79 >= 0;

e92:    8*b65 + x80 >= 0;

e93:    7*b66 + x81 >= 0;

e94:    6*b67 + x82 >= 0;

e95:    6*b68 + x83 >= 0;

e96:    9*b69 + x84 >= 0;

e97:    4*b70 + x85 >= 0;

e98:    10*b71 + x86 >= 0;

e99:    9*b72 + x87 >= 0;

e100:    5*b73 + x88 >= 0;

e101:    6*b74 + x89 >= 0;

e102:    10*b75 + x90 >= 0;

e103:    6*b76 + x91 >= 0;

e104:    b47 - b48 <= 0;

e105:    b47 - b49 <= 0;

e106:    b48 - b49 <= 0;

e107:    b50 - b51 <= 0;

e108:    b50 - b52 <= 0;

e109:    b51 - b52 <= 0;

e110:    b53 - b54 <= 0;

e111:    b53 - b55 <= 0;

e112:    b54 - b55 <= 0;

e113:    b56 - b57 <= 0;

e114:    b56 - b58 <= 0;

e115:    b57 - b58 <= 0;

e116:    b59 - b60 <= 0;

e117:    b59 - b61 <= 0;

e118:    b60 - b61 <= 0;

e119:    b62 + b63 <= 1;

e120:    b62 + b64 <= 1;

e121:    b62 + b63 <= 1;

e122:    b63 + b64 <= 1;

e123:    b62 + b64 <= 1;

e124:    b63 + b64 <= 1;

e125:    b65 + b66 <= 1;

e126:    b65 + b67 <= 1;

e127:    b65 + b66 <= 1;

e128:    b66 + b67 <= 1;

e129:    b65 + b67 <= 1;

e130:    b66 + b67 <= 1;

e131:    b68 + b69 <= 1;

e132:    b68 + b70 <= 1;

e133:    b68 + b69 <= 1;

e134:    b69 + b70 <= 1;

e135:    b68 + b70 <= 1;

e136:    b69 + b70 <= 1;

e137:    b71 + b72 <= 1;

e138:    b71 + b73 <= 1;

e139:    b71 + b72 <= 1;

e140:    b72 + b73 <= 1;

e141:    b71 + b73 <= 1;

e142:    b72 + b73 <= 1;

e143:    b74 + b75 <= 1;

e144:    b74 + b76 <= 1;

e145:    b74 + b75 <= 1;

e146:    b75 + b76 <= 1;

e147:    b74 + b76 <= 1;

e148:    b75 + b76 <= 1;

e149:    b47 - b62 <= 0;

e150:  - b47 + b48 - b63 <= 0;

e151:  - b47 - b48 + b49 - b64 <= 0;

e152:    b50 - b65 <= 0;

e153:  - b50 + b51 - b66 <= 0;

e154:  - b50 - b51 + b52 - b67 <= 0;

e155:    b53 - b68 <= 0;

e156:  - b53 + b54 - b69 <= 0;

e157:  - b53 - b54 + b55 - b70 <= 0;

e158:    b56 - b71 <= 0;

e159:  - b56 + b57 - b72 <= 0;

e160:  - b56 - b57 + b58 - b73 <= 0;

e161:    b59 - b74 <= 0;

e162:  - b59 + b60 - b75 <= 0;

e163:  - b59 - b60 + b61 - b76 <= 0;

e164:    b47 + b50 = 1;

e165:    b48 + b51 = 1;

e166:    b49 + b52 = 1;

e167:    b47 + b50 - b53 >= 0;

e168:    b48 + b51 - b54 >= 0;

e169:    b49 + b52 - b55 >= 0;

e170:    b47 + b50 - b56 >= 0;

e171:    b48 + b51 - b57 >= 0;

e172:    b49 + b52 - b58 >= 0;

e173:    b47 + b50 - b59 >= 0;

e174:    b48 + b51 - b60 >= 0;

e175:    b49 + b52 - b61 >= 0;