...done in 0 seconds.


Writing problem data to `adage.lp'...
6554 lines were written
GLPK Simplex Optimizer, v4.47
2624 rows, 256 columns, 34730 non-zeros
*     0: obj =   0.000000000e+00  infeas =  0.000e+00 (0)
*   309: obj =   2.500000000e-01  infeas =  3.282e-14 (0)
OPTIMAL SOLUTION FOUND
MAXIMUM Lower Bound: w = 0.2500000000

Values on the Variables:
x[0] =    0 /    1 == 0.0000000000
x[1] =    0 /    1 == 0.0000000000
x[2] =    0 /    1 == 0.0000000000
x[3] =    0 /    1 == 0.0000000000
x[4] =   -1 /   24 == -0.0416666667
x[5] =    0 /    1 == 0.0000000000
x[6] =    0 /    1 == 0.0000000000
x[7] =    0 /    1 == 0.0000000000
x[8] =    0 /    1 == 0.0000000000
x[9] =    0 /    1 == 0.0000000000
x[10] =    0 /    1 == -0.0000000000
x[11] =    0 /    1 == 0.0000000000
x[12] =   -5 /   48 == -0.1041666667
x[13] =   -1 /   12 == -0.0833333333
x[14] =    0 /    1 == 0.0000000000
x[15] =    0 /    1 == 0.0000000000
x[16] =   -1 /   24 == -0.0416666667
x[17] =    0 /    1 == 0.0000000000
x[18] =    0 /    1 == 0.0000000000
x[19] =    0 /    1 == 0.0000000000
x[20] =   -1 /   24 == -0.0416666667
x[21] =    1 /   24 == 0.0416666667
x[22] =    0 /    1 == 0.0000000000
x[23] =    0 /    1 == 0.0000000000
x[24] =   -7 /   48 == -0.1458333333
x[25] =   -1 /   24 == -0.0416666667
x[26] =    0 /    1 == 0.0000000000
x[27] =    0 /    1 == 0.0000000000
x[28] =    0 /    1 == 0.0000000000
x[29] =    0 /    1 == 0.0000000000
x[30] =   -1 /   24 == -0.0416666667
x[31] =   -1 /   24 == -0.0416666667
x[32] =    0 /    1 == 0.0000000000
x[33] =   -7 /   48 == -0.1458333333
x[34] =   -1 /   12 == -0.0833333333
x[35] =    1 /   24 == 0.0416666667
x[36] =    1 /   48 == 0.0208333333
x[37] =   -5 /   48 == -0.1041666667
x[38] =    0 /    1 == 0.0000000000
x[39] =    0 /    1 == 0.0000000000
x[40] =   -1 /   24 == -0.0416666667
x[41] =    1 /   24 == 0.0416666667
x[42] =    0 /    1 == 0.0000000000
x[43] =   -1 /   48 == -0.0208333333
x[44] =   -1 /   12 == -0.0833333333
x[45] =   -5 /   48 == -0.1041666667
x[46] =    0 /    1 == 0.0000000000
x[47] =   -1 /   24 == -0.0416666667
x[48] =   -1 /   48 == -0.0208333333
x[49] =    0 /    1 == 0.0000000000
x[50] =    0 /    1 == 0.0000000000
x[51] =    1 /   48 == 0.0208333333
x[52] =   -7 /   48 == -0.1458333333
x[53] =   -7 /   48 == -0.1458333333
x[54] =    0 /    1 == 0.0000000000
x[55] =    1 /   16 == 0.0625000000
x[56] =   -7 /   48 == -0.1458333333
x[57] =    1 /   48 == 0.0208333333
x[58] =    0 /    1 == 0.0000000000
x[59] =   -5 /   48 == -0.1041666667
x[60] =    0 /    1 == 0.0000000000
x[61] =    0 /    1 == 0.0000000000
x[62] =    0 /    1 == 0.0000000000
x[63] =    1 /   24 == 0.0416666667
x[64] =    0 /    1 == 0.0000000000
x[65] =    0 /    1 == 0.0000000000
x[66] =    1 /   12 == 0.0833333333
x[67] =    0 /    1 == 0.0000000000
x[68] =    0 /    1 == 0.0000000000
x[69] =    0 /    1 == 0.0000000000
x[70] =    0 /    1 == 0.0000000000
x[71] =    0 /    1 == 0.0000000000
x[72] =    1 /   24 == 0.0416666667
x[73] =    1 /   24 == 0.0416666667
x[74] =    0 /    1 == 0.0000000000
x[75] =    0 /    1 == 0.0000000000
x[76] =    0 /    1 == 0.0000000000
x[77] =    1 /   24 == 0.0416666667
x[78] =    1 /   24 == 0.0416666667
x[79] =    5 /   24 == 0.2083333333
x[80] =   -1 /   48 == -0.0208333333
x[81] =   -1 /   12 == -0.0833333333
x[82] =   -1 /   48 == -0.0208333333
x[83] =    0 /    1 == 0.0000000000
x[84] =    0 /    1 == 0.0000000000
x[85] =    0 /    1 == 0.0000000000
x[86] =    1 /   12 == 0.0833333333
x[87] =    0 /    1 == -0.0000000000
x[88] =    0 /    1 == 0.0000000000
x[89] =    1 /   24 == 0.0416666667
x[90] =    1 /   24 == 0.0416666667
x[91] =    0 /    1 == 0.0000000000
x[92] =    0 /    1 == 0.0000000000
x[93] =    1 /    8 == 0.1250000000
x[94] =    0 /    1 == 0.0000000000
x[95] =   -1 /   48 == -0.0208333333
x[96] =    1 /   24 == 0.0416666667
x[97] =    1 /   48 == 0.0208333333
x[98] =    1 /   12 == 0.0833333333
x[99] =   -1 /   24 == -0.0416666667
x[100] =    5 /   24 == 0.2083333333
x[101] =   -1 /   16 == -0.0625000000
x[102] =   -1 /   24 == -0.0416666667
x[103] =    1 /   48 == 0.0208333333
x[104] =    1 /   16 == 0.0625000000
x[105] =    1 /   48 == 0.0208333333
x[106] =    0 /    1 == 0.0000000000
x[107] =    0 /    1 == 0.0000000000
x[108] =    0 /    1 == 0.0000000000
x[109] =    0 /    1 == 0.0000000000
x[110] =    1 /   12 == 0.0833333333
x[111] =    0 /    1 == 0.0000000000
x[112] =    1 /   24 == 0.0416666667
x[113] =    0 /    1 == 0.0000000000
x[114] =   -1 /   16 == -0.0625000000
x[115] =    0 /    1 == 0.0000000000
x[116] =    5 /   24 == 0.2083333333
x[117] =   -1 /   48 == -0.0208333333
x[118] =   -1 /   16 == -0.0625000000
x[119] =    1 /    6 == 0.1666666667
x[120] =   -1 /   48 == -0.0208333333
x[121] =    0 /    1 == 0.0000000000
x[122] =    1 /    8 == 0.1250000000
x[123] =    0 /    1 == 0.0000000000
x[124] =   -1 /   24 == -0.0416666667
x[125] =    0 /    1 == 0.0000000000
x[126] =    0 /    1 == 0.0000000000
x[127] =    0 /    1 == 0.0000000000
x[128] =    0 /    1 == 0.0000000000
x[129] =    0 /    1 == 0.0000000000
x[130] =    0 /    1 == 0.0000000000
x[131] =   -1 /   24 == -0.0416666667
x[132] =    0 /    1 == 0.0000000000
x[133] =    0 /    1 == 0.0000000000
x[134] =    0 /    1 == 0.0000000000
x[135] =    0 /    1 == 0.0000000000
x[136] =    0 /    1 == 0.0000000000
x[137] =    0 /    1 == 0.0000000000
x[138] =   -1 /   24 == -0.0416666667
x[139] =    0 /    1 == 0.0000000000
x[140] =   -1 /   24 == -0.0416666667
x[141] =   -1 /   24 == -0.0416666667
x[142] =    0 /    1 == 0.0000000000
x[143] =    0 /    1 == 0.0000000000
x[144] =    0 /    1 == 0.0000000000
x[145] =    0 /    1 == 0.0000000000
x[146] =    0 /    1 == 0.0000000000
x[147] =   -1 /   48 == -0.0208333333
x[148] =    0 /    1 == 0.0000000000
x[149] =    1 /   48 == 0.0208333333
x[150] =    0 /    1 == 0.0000000000
x[151] =    0 /    1 == 0.0000000000
x[152] =   -1 /   24 == -0.0416666667
x[153] =    0 /    1 == 0.0000000000
x[154] =    0 /    1 == 0.0000000000
x[155] =    0 /    1 == 0.0000000000
x[156] =    0 /    1 == 0.0000000000
x[157] =    0 /    1 == 0.0000000000
x[158] =   -1 /   24 == -0.0416666667
x[159] =    0 /    1 == 0.0000000000
x[160] =    1 /   24 == 0.0416666667
x[161] =   -1 /   24 == -0.0416666667
x[162] =    0 /    1 == 0.0000000000
x[163] =   -1 /   24 == -0.0416666667
x[164] =    0 /    1 == 0.0000000000
x[165] =    0 /    1 == 0.0000000000
x[166] =   -1 /   12 == -0.0833333333
x[167] =    0 /    1 == 0.0000000000
x[168] =    1 /   48 == 0.0208333333
x[169] =    0 /    1 == 0.0000000000
x[170] =   -1 /   12 == -0.0833333333
x[171] =   -1 /   48 == -0.0208333333
x[172] =    0 /    1 == 0.0000000000
x[173] =   -1 /   24 == -0.0416666667
x[174] =    0 /    1 == 0.0000000000
x[175] =    0 /    1 == 0.0000000000
x[176] =    0 /    1 == 0.0000000000
x[177] =   -1 /   24 == -0.0416666667
x[178] =    0 /    1 == 0.0000000000
x[179] =    0 /    1 == 0.0000000000
x[180] =    0 /    1 == 0.0000000000
x[181] =   -1 /   24 == -0.0416666667
x[182] =   -1 /   24 == -0.0416666667
x[183] =   -1 /    8 == -0.1250000000
x[184] =    0 /    1 == 0.0000000000
x[185] =   -1 /    8 == -0.1250000000
x[186] =    0 /    1 == 0.0000000000
x[187] =   -5 /   24 == -0.2083333333
x[188] =    0 /    1 == 0.0000000000
x[189] =    0 /    1 == 0.0000000000
x[190] =   -1 /    6 == -0.1666666667
x[191] =    1 /   24 == 0.0416666667
x[192] =    0 /    1 == 0.0000000000
x[193] =    0 /    1 == 0.0000000000
x[194] =    0 /    1 == 0.0000000000
x[195] =    0 /    1 == 0.0000000000
x[196] =    1 /   12 == 0.0833333333
x[197] =    1 /   24 == 0.0416666667
x[198] =    0 /    1 == 0.0000000000
x[199] =    0 /    1 == 0.0000000000
x[200] =    0 /    1 == 0.0000000000
x[201] =    1 /   24 == 0.0416666667
x[202] =    0 /    1 == 0.0000000000
x[203] =    1 /   24 == 0.0416666667
x[204] =    0 /    1 == 0.0000000000
x[205] =   -1 /   24 == -0.0416666667
x[206] =    1 /    8 == 0.1250000000
x[207] =    1 /   24 == 0.0416666667
x[208] =    0 /    1 == 0.0000000000
x[209] =    0 /    1 == 0.0000000000
x[210] =    0 /    1 == 0.0000000000
x[211] =    1 /   24 == 0.0416666667
x[212] =    0 /    1 == 0.0000000000
x[213] =   -1 /   48 == -0.0208333333
x[214] =    1 /   48 == 0.0208333333
x[215] =    0 /    1 == 0.0000000000
x[216] =    0 /    1 == 0.0000000000
x[217] =    0 /    1 == 0.0000000000
x[218] =    1 /   24 == 0.0416666667
x[219] =    0 /    1 == 0.0000000000
x[220] =    0 /    1 == 0.0000000000
x[221] =    1 /   24 == 0.0416666667
x[222] =    0 /    1 == 0.0000000000
x[223] =    0 /    1 == 0.0000000000
x[224] =    0 /    1 == 0.0000000000
x[225] =    0 /    1 == 0.0000000000
x[226] =    0 /    1 == 0.0000000000
x[227] =    0 /    1 == 0.0000000000
x[228] =   -1 /   24 == -0.0416666667
x[229] =    0 /    1 == 0.0000000000
x[230] =   -1 /   24 == -0.0416666667
x[231] =    0 /    1 == 0.0000000000
x[232] =    1 /   24 == 0.0416666667
x[233] =    1 /   24 == 0.0416666667
x[234] =    0 /    1 == 0.0000000000
x[235] =    0 /    1 == 0.0000000000
x[236] =    0 /    1 == 0.0000000000
x[237] =    0 /    1 == 0.0000000000
x[238] =    0 /    1 == 0.0000000000
x[239] =   -1 /   24 == -0.0416666667
x[240] =    1 /   24 == 0.0416666667
x[241] =    0 /    1 == 0.0000000000
x[242] =    0 /    1 == 0.0000000000
x[243] =    0 /    1 == 0.0000000000
x[244] =    0 /    1 == -0.0000000000
x[245] =    0 /    1 == 0.0000000000
x[246] =    0 /    1 == -0.0000000000
x[247] =    1 /   24 == 0.0416666667
x[248] =    0 /    1 == 0.0000000000
x[249] =    0 /    1 == 0.0000000000
x[250] =    1 /   24 == 0.0416666667
x[251] =    0 /    1 == -0.0000000000
x[252] =    1 /   24 == 0.0416666667
x[253] =    1 /   24 == 0.0416666667
x[254] =    0 /    1 == 0.0000000000
LP took 0 seconds.
