...added 100000 constraints in 1 seconds.
...added 200000 constraints in 1 seconds.
...added 300000 constraints in 2 seconds.
...added 400000 constraints in 2 seconds.
...added 500000 constraints in 2 seconds.
...added 600000 constraints in 3 seconds.
...done in 3 seconds.


Writing problem data to `adage.lp'...
1986823 lines were written
GLPK Simplex Optimizer, v4.47
686896 rows, 601 columns, 12563250 non-zeros
*     0: obj =   0.000000000e+00  infeas =  0.000e+00 (0)
*   500: obj =   0.000000000e+00  infeas =  0.000e+00 (0)
*  1000: obj =   0.000000000e+00  infeas =  0.000e+00 (0)
*  1500: obj =   3.333333333e-01  infeas =  1.992e-11 (0)
*  2000: obj =   3.750000000e-01  infeas =  8.937e-12 (0)
*  2500: obj =   3.750000000e-01  infeas =  1.181e-11 (0)
*  3000: obj =   3.750000000e-01  infeas =  5.321e-12 (0)
*  3500: obj =   3.846153846e-01  infeas =  6.471e-12 (0)
*  4000: obj =   3.846153846e-01  infeas =  4.646e-12 (0)
*  4500: obj =   3.884297521e-01  infeas =  8.691e-12 (0)
*  5000: obj =   3.884297521e-01  infeas =  2.299e-10 (0)
*  5500: obj =   3.888888889e-01  infeas =  1.198e-10 (0)
*  5729: obj =   3.888888889e-01  infeas =  3.230e-12 (0)
OPTIMAL SOLUTION FOUND
MAXIMUM Lower Bound: w = 0.3888888889

Values on the Variables:
x[0] =    0 /    1
x[1] =    0 /    1
x[2] =    0 /    1
x[3] =    0 /    1
x[4] =    0 /    1
x[5] =    0 /    1
x[6] =   11 /  201
x[7] =  -15 /  224
x[8] =   -1 /  288
x[9] =  -23 /  224
x[10] =   18 /  955
x[11] =    0 /    1
x[12] =    1 /  504
x[13] =    0 /    1
x[14] =   59 /  983
x[15] = -109 /  672
x[16] =    0 /    1
x[17] =    0 /    1
x[18] =    0 /    1
x[19] =   -1 /   72
x[20] =    0 /    1
x[21] =    0 /    1
x[22] =   31 /  288
x[23] =  -23 /  233
x[24] =  -29 /  288
x[25] = -126 /  653
x[26] =  -38 /  923
x[27] =  -17 /  288
x[28] =  -17 /  126
x[29] =  -17 /   96
x[30] =    0 /    1
x[31] =   -2 /    9
x[32] =    0 /    1
x[33] =    0 /    1
x[34] =    0 /    1
x[35] =    0 /    1
x[36] =    0 /    1
x[37] =   -1 /   72
x[38] =    0 /    1
x[39] =   -2 /    9
x[40] =    0 /    1
x[41] =    0 /    1
x[42] =   57 /  761
x[43] =    0 /    1
x[44] =    0 /    1
x[45] =   -1 /  504
x[46] =   13 /  224
x[47] =  -66 /  445
x[48] =    0 /    1
x[49] =   -5 /   96
x[50] =    0 /    1
x[51] =    0 /    1
x[52] =    0 /    1
x[53] =  -31 /  288
x[54] =    0 /    1
x[55] =   -2 /    9
x[56] =   -7 /   72
x[57] =  -13 /  144
x[58] =    5 /  336
x[59] =  -17 /  288
x[60] =  -61 /  504
x[61] = -142 /  793
x[62] =   -1 /  504
x[63] =   -5 /   24
x[64] =    0 /    1
x[65] =    0 /    1
x[66] =    0 /    1
x[67] =    0 /    1
x[68] =    0 /    1
x[69] =    0 /    1
x[70] =    0 /    1
x[71] =  -14 /  169
x[72] =   -1 /  288
x[73] =  -23 /  224
x[74] =   18 /  955
x[75] =    0 /    1
x[76] =    1 /  504
x[77] =    0 /    1
x[78] =   59 /  983
x[79] = -109 /  672
x[80] =    0 /    1
x[81] =    0 /    1
x[82] =    0 /    1
x[83] =    0 /    1
x[84] =    0 /    1
x[85] =    0 /    1
x[86] =    0 /    1
x[87] =  -23 /  233
x[88] =  -29 /  288
x[89] = -126 /  653
x[90] =  -38 /  923
x[91] =  -49 /  859
x[92] =  -17 /  126
x[93] =  -17 /   96
x[94] =    0 /    1
x[95] =   -2 /    9
x[96] =    0 /    1
x[97] =    0 /    1
x[98] =    0 /    1
x[99] =    0 /    1
x[100] =    0 /    1
x[101] =    0 /    1
x[102] =    0 /    1
x[103] =  -13 /   63
x[104] =    0 /    1
x[105] =    0 /    1
x[106] =   57 /  761
x[107] =    0 /    1
x[108] =    0 /    1
x[109] =    0 /    1
x[110] =   13 /  224
x[111] =  -66 /  445
x[112] =    0 /    1
x[113] =    0 /    1
x[114] =    0 /    1
x[115] =    0 /    1
x[116] =    0 /    1
x[117] =    0 /    1
x[118] =    0 /    1
x[119] =   -7 /   72
x[120] =  -13 /  144
x[121] =    5 /  336
x[122] =  -49 /  859
x[123] =  -61 /  504
x[124] =  -17 /   96
x[125] =   -1 /  504
x[126] =    0 /    1
x[127] =    0 /    1
x[128] =    0 /    1
x[129] =    0 /    1
x[130] =    0 /    1
x[131] =    0 /    1
x[132] =    0 /    1
x[133] =    0 /    1
x[134] =    0 /    1
x[135] =    0 /    1
x[136] =    1 / 1000
x[137] =    0 /    1
x[138] =   97 /  504
x[139] =   97 /  504
x[140] =    7 /   36
x[141] =    0 /    1
x[142] =    0 /    1
x[143] =    0 /    1
x[144] =    0 /    1
x[145] =    0 /    1
x[146] =    0 /    1
x[147] =    0 /    1
x[148] =    0 /    1
x[149] =    0 /    1
x[150] =  -97 /  504
x[151] =  -13 /   72
x[152] =  -97 /  504
x[153] =    0 /    1
x[154] =    0 /    1
x[155] =    0 /    1
x[156] =    0 /    1
x[157] =    0 /    1
x[158] =    0 /    1
x[159] =    0 /    1
x[160] =    0 /    1
x[161] =    0 /    1
x[162] =    0 /    1
x[163] =    0 /    1
x[164] =    0 /    1
x[165] =   -1 / 1000
x[166] =    0 /    1
x[167] =    0 /    1
x[168] =    0 /    1
x[169] =   13 /   72
x[170] =   11 /   72
x[171] =    0 /    1
x[172] =    0 /    1
x[173] =    0 /    1
x[174] =    0 /    1
x[175] =    0 /    1
x[176] =    0 /    1
x[177] =    0 /    1
x[178] =    0 /    1
x[179] =    0 /    1
x[180] =  -97 /  504
x[181] =    0 /    1
x[182] =  -13 /   63
x[183] =    0 /    1
x[184] =   -3 /   56
x[185] =    0 /    1
x[186] =    0 /    1
x[187] =    0 /    1
x[188] =    0 /    1
x[189] =    0 /    1
x[190] =    0 /    1
x[191] =    0 /    1
x[192] =    0 /    1
x[193] =    0 /    1
x[194] =    0 /    1
x[195] =    0 /    1
x[196] =    0 /    1
x[197] =    0 /    1
x[198] =    0 /    1
x[199] =   97 /  504
x[200] =    0 /    1
x[201] =    0 /    1
x[202] =    0 /    1
x[203] =    0 /    1
x[204] =    0 /    1
x[205] =    0 /    1
x[206] =    0 /    1
x[207] =    0 /    1
x[208] =    0 /    1
x[209] =    0 /    1
x[210] =    0 /    1
x[211] =    0 /    1
x[212] =  -13 /   72
x[213] =    0 /    1
x[214] =    0 /    1
x[215] =    0 /    1
x[216] =    0 /    1
x[217] =    0 /    1
x[218] =    0 /    1
x[219] =    0 /    1
x[220] =    0 /    1
x[221] =    0 /    1
x[222] =    0 /    1
x[223] =    0 /    1
x[224] =    0 /    1
x[225] =    0 /    1
x[226] =    0 /    1
x[227] =    0 /    1
x[228] =    0 /    1
x[229] =    0 /    1
x[230] =    0 /    1
x[231] =    0 /    1
x[232] =    0 /    1
x[233] =    0 /    1
x[234] =    0 /    1
x[235] =    0 /    1
x[236] =    0 /    1
x[237] =    0 /    1
x[238] =    0 /    1
x[239] =    0 /    1
x[240] =    0 /    1
x[241] =    0 /    1
x[242] =   -3 /   32
x[243] =   -2 /  109
x[244] =  -23 /  672
x[245] =  -17 /   96
x[246] =    0 /    1
x[247] =    0 /    1
x[248] =    0 /    1
x[249] =    0 /    1
x[250] =  -13 /   72
x[251] =  -13 /   72
x[252] =  -13 /   72
x[253] =  -13 /   72
x[254] =    0 /    1
x[255] =    0 /    1
x[256] =    0 /    1
x[257] =    0 /    1
x[258] =   -3 /   32
x[259] =   -2 /  109
x[260] =  -23 /  672
x[261] =  -17 /   96
x[262] =    0 /    1
x[263] =    0 /    1
x[264] =    0 /    1
x[265] =    0 /    1
x[266] =  -13 /   72
x[267] =  -13 /   72
x[268] =  -13 /   72
x[269] =  -13 /   72
x[270] =    0 /    1
x[271] =    0 /    1
x[272] =    0 /    1
x[273] =    0 /    1
x[274] =    0 /    1
x[275] =  -29 /  672
x[276] =  -66 /  893
x[277] =  -66 /  893
x[278] =    0 /    1
x[279] =    2 /  109
x[280] =    0 /    1
x[281] =   -6 /  205
x[282] =  -11 /   72
x[283] =  -13 /   63
x[284] =  -13 /   63
x[285] =    0 /    1
x[286] =    0 /    1
x[287] =    0 /    1
x[288] =    0 /    1
x[289] =    0 /    1
x[290] =  -29 /  672
x[291] =  -66 /  893
x[292] =  -66 /  893
x[293] =    0 /    1
x[294] =    0 /    1
x[295] =   -2 /  109
x[296] =   -2 /  109
x[297] =  -11 /   72
x[298] =  -13 /   63
x[299] =  -13 /   63
x[300] =    0 /    1
x[301] =    0 /    1
x[302] =    0 /    1
x[303] =    0 /    1
x[304] =   -3 /   32
x[305] =   -2 /  109
x[306] =  -23 /  672
x[307] =  -17 /   96
x[308] =    0 /    1
x[309] =    0 /    1
x[310] =    0 /    1
x[311] =    0 /    1
x[312] =  -13 /   72
x[313] =  -13 /   72
x[314] =  -13 /   72
x[315] =  -13 /   72
x[316] =    0 /    1
x[317] =    0 /    1
x[318] =    0 /    1
x[319] =   -3 /   32
x[320] =   -2 /  109
x[321] =  -23 /  672
x[322] =    0 /    1
x[323] =    0 /    1
x[324] =    0 /    1
x[325] =  -13 /   72
x[326] =  -13 /   72
x[327] =  -13 /   72
x[328] =    0 /    1
x[329] =    0 /    1
x[330] =    0 /    1
x[331] =    0 /    1
x[332] =    0 /    1
x[333] =  -29 /  672
x[334] =  -66 /  893
x[335] =  -66 /  893
x[336] =    0 /    1
x[337] =    0 /    1
x[338] =    0 /    1
x[339] =   -6 /  205
x[340] =  -11 /   72
x[341] =  -13 /   63
x[342] =  -13 /   63
x[343] =    0 /    1
x[344] =    0 /    1
x[345] =    0 /    1
x[346] =    0 /    1
x[347] =  -29 /  672
x[348] =  -66 /  893
x[349] =    0 /    1
x[350] =    0 /    1
x[351] =    0 /    1
x[352] =  -11 /   72
x[353] =  -11 /   72
x[354] =  -11 /   72
x[355] =    0 /    1
x[356] =    0 /    1
x[357] =    0 /    1
x[358] =    0 /    1
x[359] =    0 /    1
x[360] =    0 /    1
x[361] =    0 /    1
x[362] =    0 /    1
x[363] =    0 /    1
x[364] =    0 /    1
x[365] =    0 /    1
x[366] =    0 /    1
x[367] =    1 / 1000
x[368] =    0 /    1
x[369] =    0 /    1
x[370] =    0 /    1
x[371] =    0 /    1
x[372] =    0 /    1
x[373] =    0 /    1
x[374] =    0 /    1
x[375] =    0 /    1
x[376] =    0 /    1
x[377] =    0 /    1
x[378] =    0 /    1
x[379] =    0 /    1
x[380] =    0 /    1
x[381] =    0 /    1
x[382] =    0 /    1
x[383] =  -27 /  224
x[384] =  -27 /  224
x[385] =  -27 /  224
x[386] =  -27 /  224
x[387] =    0 /    1
x[388] =    0 /    1
x[389] =    0 /    1
x[390] =    0 /    1
x[391] =    0 /    1
x[392] =    0 /    1
x[393] =   27 /  224
x[394] =   27 /  224
x[395] =    0 /    1
x[396] =    0 /    1
x[397] =    0 /    1
x[398] =    0 /    1
x[399] =    0 /    1
x[400] =    3 /   56
x[401] =    0 /    1
x[402] =    0 /    1
x[403] =    0 /    1
x[404] =    0 /    1
x[405] =    0 /    1
x[406] =    0 /    1
x[407] =    0 /    1
x[408] =   27 /  224
x[409] =   27 /  224
x[410] =    0 /    1
x[411] =    0 /    1
x[412] =    0 /    1
x[413] =    0 /    1
x[414] =    0 /    1
x[415] =    0 /    1
x[416] =   -1 /   24
x[417] =    0 /    1
x[418] =    0 /    1
x[419] =    0 /    1
x[420] =    0 /    1
x[421] =    0 /    1
x[422] =    0 /    1
x[423] =    0 /    1
x[424] =    0 /    1
x[425] =    0 /    1
x[426] =    0 /    1
x[427] =    0 /    1
x[428] =    0 /    1
x[429] =    0 /    1
x[430] =    0 /    1
x[431] =  -27 /  224
x[432] =  -27 /  224
x[433] =    0 /    1
x[434] =    0 /    1
x[435] =    0 /    1
x[436] =    0 /    1
x[437] =    0 /    1
x[438] =    0 /    1
x[439] =    0 /    1
x[440] =    0 /    1
x[441] =    0 /    1
x[442] =    0 /    1
x[443] =    0 /    1
x[444] =  -27 /  224
x[445] =    0 /    1
x[446] =    0 /    1
x[447] =    0 /    1
x[448] =    0 /    1
x[449] =    0 /    1
x[450] =    0 /    1
x[451] =    0 /    1
x[452] =    0 /    1
x[453] =    0 /    1
x[454] =    0 /    1
x[455] =    0 /    1
x[456] =    0 /    1
x[457] =    0 /    1
x[458] =    0 /    1
x[459] =    0 /    1
x[460] =    0 /    1
x[461] =    0 /    1
x[462] =    0 /    1
x[463] =    0 /    1
x[464] =    0 /    1
x[465] =    0 /    1
x[466] =    0 /    1
x[467] =    0 /    1
x[468] =    0 /    1
x[469] =    0 /    1
x[470] =    0 /    1
x[471] =    0 /    1
x[472] =    0 /    1
x[473] =    0 /    1
x[474] =    0 /    1
x[475] =    0 /    1
x[476] =    0 /    1
x[477] =    0 /    1
x[478] =    0 /    1
x[479] =    0 /    1
x[480] =    0 /    1
x[481] =    0 /    1
x[482] =    0 /    1
x[483] =    0 /    1
x[484] =    0 /    1
x[485] =    0 /    1
x[486] =    0 /    1
x[487] =    0 /    1
x[488] =    0 /    1
x[489] =    0 /    1
x[490] =    0 /    1
x[491] =    0 /    1
x[492] =    0 /    1
x[493] =    0 /    1
x[494] =    0 /    1
x[495] =    0 /    1
x[496] =    0 /    1
x[497] =    0 /    1
x[498] =    0 /    1
x[499] =    0 /    1
x[500] =    0 /    1
x[501] =    0 /    1
x[502] =    0 /    1
x[503] =    0 /    1
x[504] =    0 /    1
x[505] =    1 /   63
x[506] =    0 /    1
x[507] =    0 /    1
x[508] =    1 /   63
x[509] =    0 /    1
x[510] =    0 /    1
x[511] =    0 /    1
x[512] =    0 /    1
x[513] =    0 /    1
x[514] =    0 /    1
x[515] =   -8 /  733
x[516] =    0 /    1
x[517] =    0 /    1
x[518] =    0 /    1
x[519] =   -8 /  733
x[520] =    0 /    1
x[521] =    0 /    1
x[522] =   -8 /  733
x[523] =    0 /    1
x[524] =    0 /    1
x[525] =    0 /    1
x[526] =   -8 /  733
x[527] =    0 /    1
x[528] =    0 /    1
x[529] =    0 /    1
x[530] =    0 /    1
x[531] =    0 /    1
x[532] =    0 /    1
x[533] =    0 /    1
x[534] =    0 /    1
x[535] =    1 /  504
x[536] =    0 /    1
x[537] =    0 /    1
x[538] =    0 /    1
x[539] =    0 /    1
x[540] =    0 /    1
x[541] =    0 /    1
x[542] =   66 /  893
x[543] =   66 /  893
x[544] =  -27 /  224
x[545] =  -35 /  288
x[546] =   66 /  893
x[547] =   66 /  893
x[548] =  -27 /  224
x[549] =  -35 /  288
x[550] =   13 /  224
x[551] =   13 /  224
x[552] =  -27 /  224
x[553] =  -35 /  288
x[554] =   13 /  224
x[555] =   13 /  224
x[556] =  -27 /  224
x[557] =  -35 /  288
x[558] =   29 /  943
x[559] =    0 /    1
x[560] =    0 /    1
x[561] =    0 /    1
x[562] =   29 /  943
x[563] =   29 /  943
x[564] =    0 /    1
x[565] =    0 /    1
x[566] =   29 /  943
x[567] =    0 /    1
x[568] =    0 /    1
x[569] =    0 /    1
x[570] =   29 /  943
x[571] =   29 /  943
x[572] =    0 /    1
x[573] =    0 /    1
x[574] =    0 /    1
x[575] =    0 /    1
x[576] =    0 /    1
x[577] =    0 /    1
x[578] =    0 /    1
x[579] =    0 /    1
x[580] =    0 /    1
x[581] =    0 /    1
x[582] =    0 /    1
x[583] =    0 /    1
x[584] =    0 /    1
x[585] =   -1 /   63
x[586] =    3 /   56
x[587] =   13 /  504
x[588] =    0 /    1
x[589] =   -5 /  168
x[590] =    3 /   56
x[591] =    3 /   56
x[592] =    1 /   63
x[593] =    0 /    1
x[594] =    1 /   24
x[595] =    0 /    1
x[596] =    1 /   63
x[597] =    0 /    1
x[598] =    1 /   36
x[599] =    1 /   24
