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

OK	

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4262279-1502440084/watcher-4262279-1502440084 -o /tmp/evaluation-result-4262279-1502440084/solver-4262279-1502440084 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502411387-7497 --watchdog 2580 bin/concrete HOME/instance-4262279-1502440084.xml 

pid=17109
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.82 1.58 1.51 3/194 17112
/proc/meminfo: memFree=27302352/32770624 swapFree=0/386260
[pid=17112] ppid=17109 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/17112/stat : 17112 (runsolver) D 17109 17112 7434 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 32349132 24240128 106 18446744073709551615 4194304 4338465 140725497969360 140725497967000 139800356172503 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 19161088 140725497974993 140725497975369 140725497975369 140725497978826 0
/proc/17112/statm: 5918 106 53 36 0 2156 0

[startup+0.10009 s]
/proc/loadavg: 1.82 1.58 1.51 3/194 17112
/proc/meminfo: memFree=27302352/32770624 swapFree=0/386260
[pid=17112] ppid=17109 vsize=9376 CPUtime=0 cores=0,2,4,6
/proc/17112/stat : 17112 (bash) R 17109 17112 7434 0 -1 4202496 453 0 0 0 0 0 0 0 20 0 1 0 32349132 9601024 125 18446744073709551615 4194304 5098028 140736158668800 140736158668800 140556730821456 0 0 1 0 0 0 0 17 0 0 0 9 0 0 7196144 7232144 31883264 140736158671380 140736158671465 140736158671465 140736158674922 0
/proc/17112/statm: 2377 125 98 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9376

[startup+0.200262 s]
/proc/loadavg: 1.82 1.58 1.51 3/194 17112
/proc/meminfo: memFree=27302352/32770624 swapFree=0/386260
[pid=17112] ppid=17109 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/17112/stat : 17112 (bash) S 17109 17112 7434 0 -1 4202496 898 6472 0 0 0 0 0 1 20 0 1 0 32349132 9867264 377 18446744073709551615 4194304 5098028 140736158668800 140736158662808 140556730522624 0 0 5 65536 18446744071580971376 0 0 17 0 0 0 9 0 0 7196144 7232144 31883264 140736158671380 140736158671465 140736158671465 140736158674922 0
/proc/17112/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300361 s]
/proc/loadavg: 1.82 1.58 1.51 3/194 17112
/proc/meminfo: memFree=27302352/32770624 swapFree=0/386260
[pid=17112] ppid=17109 vsize=13574488 CPUtime=0.1 cores=0,2,4,6
/proc/17112/stat : 17112 (java) S 17109 17112 7434 0 -1 1077944320 4807 12424 0 0 3 0 5 2 20 0 9 0 32349132 13900275712 4510 18446744073709551615 4194304 4196468 140735149685168 140735149667712 140524642160375 0 0 1 16800970 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
/proc/17112/statm: 3393622 4510 2105 1 0 3383119 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13574488

[startup+0.700324 s]
/proc/loadavg: 1.82 1.58 1.51 3/194 17112
/proc/meminfo: memFree=27302352/32770624 swapFree=0/386260
[pid=17112] ppid=17109 vsize=13974784 CPUtime=0.52 cores=0,2,4,6
/proc/17112/stat : 17112 (java) S 17109 17112 7434 0 -1 1077944320 12857 12424 0 0 42 3 5 2 20 0 15 0 32349132 14310178816 13609 18446744073709551615 4194304 4196468 140735149685168 140735149667712 140524642160375 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
/proc/17112/statm: 3493696 13609 3058 1 0 3482965 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 13974784

[startup+1.50066 s]
/proc/loadavg: 1.82 1.58 1.51 3/209 17175
/proc/meminfo: memFree=27218300/32770624 swapFree=0/386416
[pid=17112] ppid=17109 vsize=13985408 CPUtime=1.76 cores=0,2,4,6
/proc/17112/stat : 17112 (java) S 17109 17112 7434 0 -1 1077944320 26373 12424 0 0 162 7 5 2 20 0 15 0 32349132 14321057792 33142 18446744073709551615 4194304 4196468 140735149685168 140735149667712 140524642160375 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
/proc/17112/statm: 3496352 33142 3341 1 0 3485525 0
[pid=17112/tid=17162] ppid=17109 vsize=13985408 CPUtime=1.21 cores=0,2,4,6
/proc/17112/task/17162/stat : 17162 (java) R 17109 17112 7434 0 -1 4202560 20953 12424 0 0 109 5 5 2 20 0 15 0 32349158 14321057792 33142 18446744073709551615 4194304 4196468 140735149685168 140524646389392 140524642172310 0 4 1 16800974 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17163] ppid=17109 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/17112/task/17163/stat : 17163 (java) S 17109 17112 7434 0 -1 1077944384 1 12424 0 0 0 0 5 2 20 0 15 0 32349158 14321057792 33142 18446744073709551615 4194304 4196468 140735149685168 140524561575056 140524642170581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17164] ppid=17109 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/17112/task/17164/stat : 17164 (java) S 17109 17112 7434 0 -1 1077944384 2 12424 0 0 0 0 5 2 20 0 15 0 32349158 14321057792 33142 18446744073709551615 4194304 4196468 140735149685168 140524560522256 140524642170581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17165] ppid=17109 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/17112/task/17165/stat : 17165 (java) S 17109 17112 7434 0 -1 1077944384 2 12424 0 0 0 0 5 2 20 0 15 0 32349158 14321057792 33142 18446744073709551615 4194304 4196468 140735149685168 140524559469456 140524642170581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17166] ppid=17109 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/17112/task/17166/stat : 17166 (java) S 17109 17112 7434 0 -1 1077944384 2 12424 0 0 0 0 5 2 20 0 15 0 32349158 14321057792 33142 18446744073709551615 4194304 4196468 140735149685168 140524558416656 140524642170581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17167] ppid=17109 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/17112/task/17167/stat : 17167 (java) S 17109 17112 7434 0 -1 1077944384 5 12424 0 0 0 0 5 2 20 0 15 0 32349160 14321057792 33142 18446744073709551615 4194304 4196468 140735149685168 140524120426864 140524642171522 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17168] ppid=17109 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/17112/task/17168/stat : 17168 (java) S 17109 17112 7434 0 -1 1077944384 33 12424 0 0 0 0 5 2 20 0 15 0 32349160 14321057792 33142 18446744073709551615 4194304 4196468 140735149685168 140524119372832 140524642170581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17169] ppid=17109 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/17112/task/17169/stat : 17169 (java) S 17109 17112 7434 0 -1 1077944384 21 12424 0 0 0 0 5 2 20 0 15 0 32349160 14321057792 33142 18446744073709551615 4194304 4196468 140735149685168 140524118319984 140524642170581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17170] ppid=17109 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/17112/task/17170/stat : 17170 (java) S 17109 17112 7434 0 -1 1077944384 3 12424 0 0 0 0 5 2 20 0 15 0 32349163 14321057792 33142 18446744073709551615 4194304 4196468 140735149685168 140524117268304 140524642178971 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17171] ppid=17109 vsize=13985408 CPUtime=0.22 cores=0,2,4,6
/proc/17112/task/17171/stat : 17171 (java) S 17109 17112 7434 0 -1 1077944384 1254 12424 0 0 15 0 5 2 20 0 15 0 32349163 14321057792 33142 18446744073709551615 4194304 4196468 140735149685168 140524116216688 140524642171522 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17172] ppid=17109 vsize=13985408 CPUtime=0.23 cores=0,2,4,6
/proc/17112/task/17172/stat : 17172 (java) S 17109 17112 7434 0 -1 1077944384 709 12424 0 0 16 0 5 2 20 0 15 0 32349163 14321057792 33142 18446744073709551615 4194304 4196468 140735149685168 140524115163888 140524642171522 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17173] ppid=17109 vsize=13985408 CPUtime=0.27 cores=0,2,4,6
/proc/17112/task/17173/stat : 17173 (java) S 17109 17112 7434 0 -1 1077944384 1220 12424 0 0 20 0 5 2 20 0 15 0 32349163 14321057792 33142 18446744073709551615 4194304 4196468 140735149685168 140524114111088 140524642171522 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17174] ppid=17109 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/17112/task/17174/stat : 17174 (java) S 17109 17112 7434 0 -1 1077944384 3 12424 0 0 0 0 5 2 20 0 15 0 32349163 14321057792 33142 18446744073709551615 4194304 4196468 140735149685168 140524113058528 140524642170581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17175] ppid=17109 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/17112/task/17175/stat : 17175 (java) S 17109 17112 7434 0 -1 1077944384 10 12424 0 0 0 0 5 2 20 0 15 0 32349172 14321057792 33142 18446744073709551615 4194304 4196468 140735149685168 140524112005808 140524642171522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
Current children cumulated CPU time (s) 1.76
Current children cumulated vsize (KiB) 13985408

[startup+3.10153 s]
/proc/loadavg: 1.82 1.58 1.51 6/209 17175
/proc/meminfo: memFree=27131356/32770624 swapFree=0/386524
[pid=17112] ppid=17109 vsize=13995836 CPUtime=5.99 cores=0,2,4,6
/proc/17112/stat : 17112 (java) S 17109 17112 7434 0 -1 1077944320 41635 12424 0 0 578 14 5 2 20 0 15 0 32349132 14331736064 59117 18446744073709551615 4194304 4196468 140735149685168 140735149667712 140524642160375 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
/proc/17112/statm: 3498959 59117 3446 1 0 3487573 0
[pid=17112/tid=17162] ppid=17109 vsize=13995836 CPUtime=2.78 cores=0,2,4,6
/proc/17112/task/17162/stat : 17162 (java) R 17109 17112 7434 0 -1 4202560 27365 12424 0 0 263 8 5 2 20 0 15 0 32349158 14331736064 59117 18446744073709551615 4194304 4196468 140735149685168 140524646392464 140524624028829 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17163] ppid=17109 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/17112/task/17163/stat : 17163 (java) S 17109 17112 7434 0 -1 1077944384 49 12424 0 0 0 0 5 2 20 0 15 0 32349158 14331736064 59117 18446744073709551615 4194304 4196468 140735149685168 140524561575056 140524642170581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17164] ppid=17109 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/17112/task/17164/stat : 17164 (java) S 17109 17112 7434 0 -1 1077944384 65 12424 0 0 1 0 5 2 20 0 15 0 32349158 14331736064 59117 18446744073709551615 4194304 4196468 140735149685168 140524560522256 140524642170581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17165] ppid=17109 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/17112/task/17165/stat : 17165 (java) S 17109 17112 7434 0 -1 1077944384 192 12424 0 0 1 0 5 2 20 0 15 0 32349158 14331736064 59117 18446744073709551615 4194304 4196468 140735149685168 140524559469456 140524642170581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17166] ppid=17109 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/17112/task/17166/stat : 17166 (java) S 17109 17112 7434 0 -1 1077944384 50 12424 0 0 1 0 5 2 20 0 15 0 32349158 14331736064 59117 18446744073709551615 4194304 4196468 140735149685168 140524558416656 140524642170581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17167] ppid=17109 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/17112/task/17167/stat : 17167 (java) S 17109 17112 7434 0 -1 1077944384 1206 12424 0 0 1 0 5 2 20 0 15 0 32349160 14331736064 59117 18446744073709551615 4194304 4196468 140735149685168 140524120426864 140524642171522 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17168] ppid=17109 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/17112/task/17168/stat : 17168 (java) S 17109 17112 7434 0 -1 1077944384 55 12424 0 0 0 0 5 2 20 0 15 0 32349160 14331736064 59117 18446744073709551615 4194304 4196468 140735149685168 140524119372896 140524642170581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17169] ppid=17109 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/17112/task/17169/stat : 17169 (java) S 17109 17112 7434 0 -1 1077944384 44 12424 0 0 0 0 5 2 20 0 15 0 32349160 14331736064 59117 18446744073709551615 4194304 4196468 140735149685168 140524118320000 140524642170581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17170] ppid=17109 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/17112/task/17170/stat : 17170 (java) S 17109 17112 7434 0 -1 1077944384 3 12424 0 0 0 0 5 2 20 0 15 0 32349163 14331736064 59117 18446744073709551615 4194304 4196468 140735149685168 140524117268304 140524642178971 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17171] ppid=17109 vsize=13995836 CPUtime=1.16 cores=0,2,4,6
/proc/17112/task/17171/stat : 17171 (java) R 17109 17112 7434 0 -1 4202560 4782 12424 0 0 109 0 5 2 20 0 15 0 32349163 14331736064 59117 18446744073709551615 4194304 4196468 140735149685168 140524116199408 140524625691907 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17172] ppid=17109 vsize=13995836 CPUtime=1.04 cores=0,2,4,6
/proc/17112/task/17172/stat : 17172 (java) R 17109 17112 7434 0 -1 4202560 1833 12424 0 0 96 1 5 2 20 0 15 0 32349163 14331736064 59117 18446744073709551615 4194304 4196468 140735149685168 140524115149920 140524627089855 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17173] ppid=17109 vsize=13995836 CPUtime=1.11 cores=0,2,4,6
/proc/17112/task/17173/stat : 17173 (java) R 17109 17112 7434 0 -1 4202560 3821 12424 0 0 103 1 5 2 20 0 15 0 32349163 14331736064 59117 18446744073709551615 4194304 4196468 140735149685168 140524114111088 140524621875164 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17174] ppid=17109 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/17112/task/17174/stat : 17174 (java) S 17109 17112 7434 0 -1 1077944384 3 12424 0 0 0 0 5 2 20 0 15 0 32349163 14331736064 59117 18446744073709551615 4194304 4196468 140735149685168 140524113058528 140524642170581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17175] ppid=17109 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/17112/task/17175/stat : 17175 (java) S 17109 17112 7434 0 -1 1077944384 13 12424 0 0 0 0 5 2 20 0 15 0 32349172 14331736064 59117 18446744073709551615 4194304 4196468 140735149685168 140524112005808 140524642171522 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 13995836

[startup+6.30141 s]
/proc/loadavg: 1.83 1.58 1.51 3/209 17175
/proc/meminfo: memFree=26945796/32770624 swapFree=0/386544
[pid=17112] ppid=17109 vsize=14001980 CPUtime=15.28 cores=0,2,4,6
/proc/17112/stat : 17112 (java) S 17109 17112 7434 0 -1 1077944320 71928 12424 0 0 1491 30 5 2 20 0 15 0 32349132 14338027520 98957 18446744073709551615 4194304 4196468 140735149685168 140735149667712 140524642160375 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
/proc/17112/statm: 3500495 98957 3480 1 0 3489109 0
[pid=17112/tid=17162] ppid=17109 vsize=14001980 CPUtime=5.81 cores=0,2,4,6
/proc/17112/task/17162/stat : 17162 (java) R 17109 17112 7434 0 -1 4202560 32532 12424 0 0 564 10 5 2 20 0 15 0 32349158 14338027520 98957 18446744073709551615 4194304 4196468 140735149685168 140524646390000 140524233294868 0 4 1 16800974 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17163] ppid=17109 vsize=14001980 CPUtime=0.17 cores=0,2,4,6
/proc/17112/task/17163/stat : 17163 (java) S 17109 17112 7434 0 -1 1077944384 195 12424 0 0 8 2 5 2 20 0 15 0 32349158 14338027520 98957 18446744073709551615 4194304 4196468 140735149685168 140524561575056 140524642170581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17164] ppid=17109 vsize=14001980 CPUtime=0.17 cores=0,2,4,6
/proc/17112/task/17164/stat : 17164 (java) S 17109 17112 7434 0 -1 1077944384 1196 12424 0 0 8 2 5 2 20 0 15 0 32349158 14338027520 98957 18446744073709551615 4194304 4196468 140735149685168 140524560522256 140524642170581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17165] ppid=17109 vsize=14001980 CPUtime=0.18 cores=0,2,4,6
/proc/17112/task/17165/stat : 17165 (java) S 17109 17112 7434 0 -1 1077944384 328 12424 0 0 9 2 5 2 20 0 15 0 32349158 14338027520 98957 18446744073709551615 4194304 4196468 140735149685168 140524559469456 140524642170581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17166] ppid=17109 vsize=14001980 CPUtime=0.19 cores=0,2,4,6
/proc/17112/task/17166/stat : 17166 (java) S 17109 17112 7434 0 -1 1077944384 373 12424 0 0 10 2 5 2 20 0 15 0 32349158 14338027520 98957 18446744073709551615 4194304 4196468 140735149685168 140524558416656 140524642170581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17167] ppid=17109 vsize=14001980 CPUtime=0.11 cores=0,2,4,6
/proc/17112/task/17167/stat : 17167 (java) S 17109 17112 7434 0 -1 1077944384 6497 12424 0 0 4 0 5 2 20 0 15 0 32349160 14338027520 98957 18446744073709551615 4194304 4196468 140735149685168 140524120426864 140524642171522 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17168] ppid=17109 vsize=14001980 CPUtime=0.07 cores=0,2,4,6
/proc/17112/task/17168/stat : 17168 (java) S 17109 17112 7434 0 -1 1077944384 58 12424 0 0 0 0 5 2 20 0 15 0 32349160 14338027520 98957 18446744073709551615 4194304 4196468 140735149685168 140524119372896 140524642170581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17169] ppid=17109 vsize=14001980 CPUtime=0.07 cores=0,2,4,6
/proc/17112/task/17169/stat : 17169 (java) S 17109 17112 7434 0 -1 1077944384 46 12424 0 0 0 0 5 2 20 0 15 0 32349160 14338027520 98957 18446744073709551615 4194304 4196468 140735149685168 140524118320000 140524642170581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17170] ppid=17109 vsize=14001980 CPUtime=0.07 cores=0,2,4,6
/proc/17112/task/17170/stat : 17170 (java) S 17109 17112 7434 0 -1 1077944384 3 12424 0 0 0 0 5 2 20 0 15 0 32349163 14338027520 98957 18446744073709551615 4194304 4196468 140735149685168 140524117268304 140524642178971 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17171] ppid=17109 vsize=14001980 CPUtime=3.66 cores=0,2,4,6
/proc/17112/task/17171/stat : 17171 (java) R 17109 17112 7434 0 -1 4202560 10615 12424 0 0 355 4 5 2 20 0 15 0 32349163 14338027520 98957 18446744073709551615 4194304 4196468 140735149685168 140524116199040 140524625691858 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17172] ppid=17109 vsize=14001980 CPUtime=3.51 cores=0,2,4,6
/proc/17112/task/17172/stat : 17172 (java) R 17109 17112 7434 0 -1 4202560 9267 12424 0 0 343 1 5 2 20 0 15 0 32349163 14338027520 98957 18446744073709551615 4194304 4196468 140735149685168 140524115150128 140524623704593 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17173] ppid=17109 vsize=14001980 CPUtime=1.93 cores=0,2,4,6
/proc/17112/task/17173/stat : 17173 (java) S 17109 17112 7434 0 -1 1077944384 8631 12424 0 0 184 2 5 2 20 0 15 0 32349163 14338027520 98957 18446744073709551615 4194304 4196468 140735149685168 140524114111088 140524642171522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17174] ppid=17109 vsize=14001980 CPUtime=0.07 cores=0,2,4,6
/proc/17112/task/17174/stat : 17174 (java) S 17109 17112 7434 0 -1 1077944384 3 12424 0 0 0 0 5 2 20 0 15 0 32349163 14338027520 98957 18446744073709551615 4194304 4196468 140735149685168 140524113058528 140524642170581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17175] ppid=17109 vsize=14001980 CPUtime=0.07 cores=0,2,4,6
/proc/17112/task/17175/stat : 17175 (java) S 17109 17112 7434 0 -1 1077944384 29 12424 0 0 0 0 5 2 20 0 15 0 32349172 14338027520 98957 18446744073709551615 4194304 4196468 140735149685168 140524112005808 140524642171522 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
Current children cumulated CPU time (s) 15.28
Current children cumulated vsize (KiB) 14001980

[startup+12.7015 s]
/proc/loadavg: 1.93 1.61 1.52 4/209 17175
/proc/meminfo: memFree=26576580/32770624 swapFree=0/386544
[pid=17112] ppid=17109 vsize=14069564 CPUtime=32.97 cores=0,2,4,6
/proc/17112/stat : 17112 (java) S 17109 17112 7434 0 -1 1077944320 111501 12424 0 0 3242 48 5 2 20 0 15 0 32349132 14407233536 217385 18446744073709551615 4194304 4196468 140735149685168 140735149667712 140524642160375 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
/proc/17112/statm: 3517391 217385 3492 1 0 3506005 0
[pid=17112/tid=17162] ppid=17109 vsize=14069564 CPUtime=12.15 cores=0,2,4,6
/proc/17112/task/17162/stat : 17162 (java) R 17109 17112 7434 0 -1 4202560 51841 12424 0 0 1189 19 5 2 20 0 15 0 32349158 14407233536 217385 18446744073709551615 4194304 4196468 140735149685168 140524646392976 140524253488512 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17163] ppid=17109 vsize=14069564 CPUtime=0.23 cores=0,2,4,6
/proc/17112/task/17163/stat : 17163 (java) S 17109 17112 7434 0 -1 1077944384 322 12424 0 0 12 4 5 2 20 0 15 0 32349158 14407233536 217385 18446744073709551615 4194304 4196468 140735149685168 140524561575056 140524642170581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17164] ppid=17109 vsize=14069564 CPUtime=0.22 cores=0,2,4,6
/proc/17112/task/17164/stat : 17164 (java) S 17109 17112 7434 0 -1 1077944384 2039 12424 0 0 12 3 5 2 20 0 15 0 32349158 14407233536 217385 18446744073709551615 4194304 4196468 140735149685168 140524560522256 140524642170581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17165] ppid=17109 vsize=14069564 CPUtime=0.24 cores=0,2,4,6
/proc/17112/task/17165/stat : 17165 (java) S 17109 17112 7434 0 -1 1077944384 682 12424 0 0 13 4 5 2 20 0 15 0 32349158 14407233536 217385 18446744073709551615 4194304 4196468 140735149685168 140524559469456 140524642170581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17166] ppid=17109 vsize=14069564 CPUtime=0.22 cores=0,2,4,6
/proc/17112/task/17166/stat : 17166 (java) S 17109 17112 7434 0 -1 1077944384 425 12424 0 0 12 3 5 2 20 0 15 0 32349158 14407233536 217385 18446744073709551615 4194304 4196468 140735149685168 140524558416656 140524642170581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17167] ppid=17109 vsize=14069564 CPUtime=0.13 cores=0,2,4,6
/proc/17112/task/17167/stat : 17167 (java) S 17109 17112 7434 0 -1 1077944384 6970 12424 0 0 5 1 5 2 20 0 15 0 32349160 14407233536 217385 18446744073709551615 4194304 4196468 140735149685168 140524120426864 140524642171522 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17168] ppid=17109 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/17112/task/17168/stat : 17168 (java) S 17109 17112 7434 0 -1 1077944384 58 12424 0 0 0 0 5 2 20 0 15 0 32349160 14407233536 217385 18446744073709551615 4194304 4196468 140735149685168 140524119372896 140524642170581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17169] ppid=17109 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/17112/task/17169/stat : 17169 (java) S 17109 17112 7434 0 -1 1077944384 47 12424 0 0 0 0 5 2 20 0 15 0 32349160 14407233536 217385 18446744073709551615 4194304 4196468 140735149685168 140524118320000 140524642170581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17170] ppid=17109 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/17112/task/17170/stat : 17170 (java) S 17109 17112 7434 0 -1 1077944384 3 12424 0 0 0 0 5 2 20 0 15 0 32349163 14407233536 217385 18446744073709551615 4194304 4196468 140735149685168 140524117268304 140524642178971 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0

################
# More data... #
################

/proc/17112/task/17167/stat : 17167 (java) S 17109 17112 7434 0 -1 1077944384 7448 12424 0 0 6 1 5 2 20 0 15 0 32349160 14407233536 349025 18446744073709551615 4194304 4196468 140735149685168 140524120426864 140524642171522 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17168] ppid=17109 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/17112/task/17168/stat : 17168 (java) S 17109 17112 7434 0 -1 1077944384 58 12424 0 0 0 0 5 2 20 0 15 0 32349160 14407233536 349025 18446744073709551615 4194304 4196468 140735149685168 140524119372896 140524642170581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17169] ppid=17109 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/17112/task/17169/stat : 17169 (java) S 17109 17112 7434 0 -1 1077944384 47 12424 0 0 0 0 5 2 20 0 15 0 32349160 14407233536 349025 18446744073709551615 4194304 4196468 140735149685168 140524118320000 140524642170581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17170] ppid=17109 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/17112/task/17170/stat : 17170 (java) S 17109 17112 7434 0 -1 1077944384 3 12424 0 0 0 0 5 2 20 0 15 0 32349163 14407233536 349025 18446744073709551615 4194304 4196468 140735149685168 140524117268304 140524642178971 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17171] ppid=17109 vsize=14069564 CPUtime=20.96 cores=0,2,4,6
/proc/17112/task/17171/stat : 17171 (java) S 17109 17112 7434 0 -1 1077944384 24279 12424 0 0 2083 6 5 2 20 0 15 0 32349163 14407233536 349025 18446744073709551615 4194304 4196468 140735149685168 140524116216688 140524642171522 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17172] ppid=17109 vsize=14069564 CPUtime=20.1 cores=0,2,4,6
/proc/17112/task/17172/stat : 17172 (java) R 17109 17112 7434 0 -1 4202560 18486 12424 0 0 2000 3 5 2 20 0 15 0 32349163 14407233536 349025 18446744073709551615 4194304 4196468 140735149685168 140524115163888 140524623684634 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17173] ppid=17109 vsize=14069564 CPUtime=6.36 cores=0,2,4,6
/proc/17112/task/17173/stat : 17173 (java) S 17109 17112 7434 0 -1 1077944384 20705 12424 0 0 624 5 5 2 20 0 15 0 32349163 14407233536 349025 18446744073709551615 4194304 4196468 140735149685168 140524114111088 140524642171522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17174] ppid=17109 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/17112/task/17174/stat : 17174 (java) S 17109 17112 7434 0 -1 1077944384 3 12424 0 0 0 0 5 2 20 0 15 0 32349163 14407233536 349025 18446744073709551615 4194304 4196468 140735149685168 140524113058528 140524642170581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17175] ppid=17109 vsize=14069564 CPUtime=0.09 cores=0,2,4,6
/proc/17112/task/17175/stat : 17175 (java) S 17109 17112 7434 0 -1 1077944384 515 12424 0 0 1 1 5 2 20 0 15 0 32349172 14407233536 349025 18446744073709551615 4194304 4196468 140735149685168 140524112005808 140524642171522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
Current children cumulated CPU time (s) 81.25
Current children cumulated vsize (KiB) 14069564

[startup+34.4085 s]
/proc/loadavg: 2.38 1.74 1.56 4/209 17176
/proc/meminfo: memFree=25904808/32770624 swapFree=0/386552
[pid=17112] ppid=17109 vsize=14069564 CPUtime=83.08 cores=0,2,4,6
/proc/17112/stat : 17112 (java) S 17109 17112 7434 0 -1 1077944320 133557 12424 0 0 8231 70 5 2 20 0 15 0 32349132 14407233536 349135 18446744073709551615 4194304 4196468 140735149685168 140735149667712 140524642160375 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
/proc/17112/statm: 3517391 349135 3493 1 0 3506005 0
[pid=17112/tid=17162] ppid=17109 vsize=14069564 CPUtime=33.76 cores=0,2,4,6
/proc/17112/task/17162/stat : 17162 (java) R 17109 17112 7434 0 -1 4202560 54796 12424 0 0 3342 27 5 2 20 0 15 0 32349158 14407233536 349135 18446744073709551615 4194304 4196468 140735149685168 140524646391784 140524253361516 0 4 1 16800974 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17163] ppid=17109 vsize=14069564 CPUtime=0.29 cores=0,2,4,6
/proc/17112/task/17163/stat : 17163 (java) S 17109 17112 7434 0 -1 1077944384 381 12424 0 0 16 6 5 2 20 0 15 0 32349158 14407233536 349135 18446744073709551615 4194304 4196468 140735149685168 140524561575056 140524642170581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17164] ppid=17109 vsize=14069564 CPUtime=0.28 cores=0,2,4,6
/proc/17112/task/17164/stat : 17164 (java) S 17109 17112 7434 0 -1 1077944384 3072 12424 0 0 16 5 5 2 20 0 15 0 32349158 14407233536 349135 18446744073709551615 4194304 4196468 140735149685168 140524560522256 140524642170581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17165] ppid=17109 vsize=14069564 CPUtime=0.3 cores=0,2,4,6
/proc/17112/task/17165/stat : 17165 (java) S 17109 17112 7434 0 -1 1077944384 741 12424 0 0 17 6 5 2 20 0 15 0 32349158 14407233536 349135 18446744073709551615 4194304 4196468 140735149685168 140524559469456 140524642170581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17166] ppid=17109 vsize=14069564 CPUtime=0.29 cores=0,2,4,6
/proc/17112/task/17166/stat : 17166 (java) S 17109 17112 7434 0 -1 1077944384 863 12424 0 0 16 6 5 2 20 0 15 0 32349158 14407233536 349135 18446744073709551615 4194304 4196468 140735149685168 140524558416656 140524642170581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17167] ppid=17109 vsize=14069564 CPUtime=0.14 cores=0,2,4,6
/proc/17112/task/17167/stat : 17167 (java) S 17109 17112 7434 0 -1 1077944384 7449 12424 0 0 6 1 5 2 20 0 15 0 32349160 14407233536 349135 18446744073709551615 4194304 4196468 140735149685168 140524120426864 140524642171522 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17168] ppid=17109 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/17112/task/17168/stat : 17168 (java) S 17109 17112 7434 0 -1 1077944384 58 12424 0 0 0 0 5 2 20 0 15 0 32349160 14407233536 349135 18446744073709551615 4194304 4196468 140735149685168 140524119372896 140524642170581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17169] ppid=17109 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/17112/task/17169/stat : 17169 (java) S 17109 17112 7434 0 -1 1077944384 47 12424 0 0 0 0 5 2 20 0 15 0 32349160 14407233536 349135 18446744073709551615 4194304 4196468 140735149685168 140524118320000 140524642170581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17170] ppid=17109 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/17112/task/17170/stat : 17170 (java) S 17109 17112 7434 0 -1 1077944384 3 12424 0 0 0 0 5 2 20 0 15 0 32349163 14407233536 349135 18446744073709551615 4194304 4196468 140735149685168 140524117268304 140524642178971 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17171] ppid=17109 vsize=14069564 CPUtime=21.42 cores=0,2,4,6
/proc/17112/task/17171/stat : 17171 (java) S 17109 17112 7434 0 -1 1077944384 24279 12424 0 0 2128 7 5 2 20 0 15 0 32349163 14407233536 349135 18446744073709551615 4194304 4196468 140735149685168 140524116216688 140524642171522 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17172] ppid=17109 vsize=14069564 CPUtime=20.54 cores=0,2,4,6
/proc/17112/task/17172/stat : 17172 (java) S 17109 17112 7434 0 -1 1077944384 18487 12424 0 0 2044 3 5 2 20 0 15 0 32349163 14407233536 349135 18446744073709551615 4194304 4196468 140735149685168 140524115163888 140524642171522 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17173] ppid=17109 vsize=14069564 CPUtime=6.52 cores=0,2,4,6
/proc/17112/task/17173/stat : 17173 (java) R 17109 17112 7434 0 -1 4202560 20708 12424 0 0 639 6 5 2 20 0 15 0 32349163 14407233536 349135 18446744073709551615 4194304 4196468 140735149685168 140524114111384 140524620288192 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17174] ppid=17109 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/17112/task/17174/stat : 17174 (java) S 17109 17112 7434 0 -1 1077944384 3 12424 0 0 0 0 5 2 20 0 15 0 32349163 14407233536 349135 18446744073709551615 4194304 4196468 140735149685168 140524113058528 140524642170581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17175] ppid=17109 vsize=14069564 CPUtime=0.09 cores=0,2,4,6
/proc/17112/task/17175/stat : 17175 (java) S 17109 17112 7434 0 -1 1077944384 515 12424 0 0 1 1 5 2 20 0 15 0 32349172 14407233536 349135 18446744073709551615 4194304 4196468 140735149685168 140524112005808 140524642171522 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
Current children cumulated CPU time (s) 83.08
Current children cumulated vsize (KiB) 14069564

[startup+34.8007 s]
/proc/loadavg: 2.38 1.74 1.56 4/209 17176
/proc/meminfo: memFree=25904808/32770624 swapFree=0/386552
[pid=17112] ppid=17109 vsize=14069564 CPUtime=83.93 cores=0,2,4,6
/proc/17112/stat : 17112 (java) S 17109 17112 7434 0 -1 1077944320 133705 12424 0 0 8316 70 5 2 20 0 15 0 32349132 14407233536 349138 18446744073709551615 4194304 4196468 140735149685168 140735149667712 140524642160375 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
/proc/17112/statm: 3517391 349138 3493 1 0 3506005 0
[pid=17112/tid=17162] ppid=17109 vsize=14069564 CPUtime=34.15 cores=0,2,4,6
/proc/17112/task/17162/stat : 17162 (java) R 17109 17112 7434 0 -1 4202560 54812 12424 0 0 3381 27 5 2 20 0 15 0 32349158 14407233536 349138 18446744073709551615 4194304 4196468 140735149685168 140524646391784 140524247112555 0 4 1 16800974 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17163] ppid=17109 vsize=14069564 CPUtime=0.29 cores=0,2,4,6
/proc/17112/task/17163/stat : 17163 (java) S 17109 17112 7434 0 -1 1077944384 381 12424 0 0 16 6 5 2 20 0 15 0 32349158 14407233536 349138 18446744073709551615 4194304 4196468 140735149685168 140524561575056 140524642170581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17164] ppid=17109 vsize=14069564 CPUtime=0.28 cores=0,2,4,6
/proc/17112/task/17164/stat : 17164 (java) S 17109 17112 7434 0 -1 1077944384 3072 12424 0 0 16 5 5 2 20 0 15 0 32349158 14407233536 349138 18446744073709551615 4194304 4196468 140735149685168 140524560522256 140524642170581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17165] ppid=17109 vsize=14069564 CPUtime=0.3 cores=0,2,4,6
/proc/17112/task/17165/stat : 17165 (java) S 17109 17112 7434 0 -1 1077944384 741 12424 0 0 17 6 5 2 20 0 15 0 32349158 14407233536 349138 18446744073709551615 4194304 4196468 140735149685168 140524559469456 140524642170581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17166] ppid=17109 vsize=14069564 CPUtime=0.29 cores=0,2,4,6
/proc/17112/task/17166/stat : 17166 (java) S 17109 17112 7434 0 -1 1077944384 863 12424 0 0 16 6 5 2 20 0 15 0 32349158 14407233536 349138 18446744073709551615 4194304 4196468 140735149685168 140524558416656 140524642170581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17167] ppid=17109 vsize=14069564 CPUtime=0.14 cores=0,2,4,6
/proc/17112/task/17167/stat : 17167 (java) S 17109 17112 7434 0 -1 1077944384 7449 12424 0 0 6 1 5 2 20 0 15 0 32349160 14407233536 349138 18446744073709551615 4194304 4196468 140735149685168 140524120426864 140524642171522 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17168] ppid=17109 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/17112/task/17168/stat : 17168 (java) S 17109 17112 7434 0 -1 1077944384 58 12424 0 0 0 0 5 2 20 0 15 0 32349160 14407233536 349138 18446744073709551615 4194304 4196468 140735149685168 140524119372896 140524642170581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17169] ppid=17109 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/17112/task/17169/stat : 17169 (java) S 17109 17112 7434 0 -1 1077944384 47 12424 0 0 0 0 5 2 20 0 15 0 32349160 14407233536 349138 18446744073709551615 4194304 4196468 140735149685168 140524118320000 140524642170581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17170] ppid=17109 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/17112/task/17170/stat : 17170 (java) S 17109 17112 7434 0 -1 1077944384 3 12424 0 0 0 0 5 2 20 0 15 0 32349163 14407233536 349138 18446744073709551615 4194304 4196468 140735149685168 140524117268304 140524642178971 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17171] ppid=17109 vsize=14069564 CPUtime=21.62 cores=0,2,4,6
/proc/17112/task/17171/stat : 17171 (java) S 17109 17112 7434 0 -1 1077944384 24282 12424 0 0 2148 7 5 2 20 0 15 0 32349163 14407233536 349138 18446744073709551615 4194304 4196468 140735149685168 140524116216688 140524642171522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17172] ppid=17109 vsize=14069564 CPUtime=20.72 cores=0,2,4,6
/proc/17112/task/17172/stat : 17172 (java) S 17109 17112 7434 0 -1 1077944384 18487 12424 0 0 2062 3 5 2 20 0 15 0 32349163 14407233536 349138 18446744073709551615 4194304 4196468 140735149685168 140524115163888 140524642171522 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17173] ppid=17109 vsize=14069564 CPUtime=6.59 cores=0,2,4,6
/proc/17112/task/17173/stat : 17173 (java) R 17109 17112 7434 0 -1 4202560 20837 12424 0 0 646 6 5 2 20 0 15 0 32349163 14407233536 349138 18446744073709551615 4194304 4196468 140735149685168 140524114111088 140524620815618 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17174] ppid=17109 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/17112/task/17174/stat : 17174 (java) S 17109 17112 7434 0 -1 1077944384 3 12424 0 0 0 0 5 2 20 0 15 0 32349163 14407233536 349138 18446744073709551615 4194304 4196468 140735149685168 140524113058528 140524642170581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17175] ppid=17109 vsize=14069564 CPUtime=0.09 cores=0,2,4,6
/proc/17112/task/17175/stat : 17175 (java) S 17109 17112 7434 0 -1 1077944384 515 12424 0 0 1 1 5 2 20 0 15 0 32349172 14407233536 349138 18446744073709551615 4194304 4196468 140735149685168 140524112005808 140524642171522 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
Current children cumulated CPU time (s) 83.93
Current children cumulated vsize (KiB) 14069564

[startup+35.2105 s]
/proc/loadavg: 2.38 1.74 1.56 6/209 17176
/proc/meminfo: memFree=25871792/32770624 swapFree=0/386552
[pid=17112] ppid=17109 vsize=14069564 CPUtime=85.14 cores=0,2,4,6
/proc/17112/stat : 17112 (java) S 17109 17112 7434 0 -1 1077944320 140445 12424 0 0 8434 73 5 2 20 0 15 0 32349132 14407233536 357452 18446744073709551615 4194304 4196468 140735149685168 140735149667712 140524642160375 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
/proc/17112/statm: 3517391 357452 3493 1 0 3506005 0
[pid=17112/tid=17162] ppid=17109 vsize=14069564 CPUtime=34.24 cores=0,2,4,6
/proc/17112/task/17162/stat : 17162 (java) S 17109 17112 7434 0 -1 1077944384 55478 12424 0 0 3390 27 5 2 20 0 15 0 32349158 14407233536 357452 18446744073709551615 4194304 4196468 140735149685168 140524646398064 140524642170581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17163] ppid=17109 vsize=14069564 CPUtime=0.53 cores=0,2,4,6
/proc/17112/task/17163/stat : 17163 (java) R 17109 17112 7434 0 -1 4202560 424 12424 0 0 40 6 5 2 20 0 15 0 32349158 14407233536 357452 18446744073709551615 4194304 4196468 140735149685168 140524561575056 140524626858127 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17164] ppid=17109 vsize=14069564 CPUtime=0.52 cores=0,2,4,6
/proc/17112/task/17164/stat : 17164 (java) R 17109 17112 7434 0 -1 4202560 3234 12424 0 0 39 6 5 2 20 0 15 0 32349158 14407233536 357452 18446744073709551615 4194304 4196468 140735149685168 140524560522256 140524626614393 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17165] ppid=17109 vsize=14069564 CPUtime=0.53 cores=0,2,4,6
/proc/17112/task/17165/stat : 17165 (java) R 17109 17112 7434 0 -1 4202560 768 12424 0 0 40 6 5 2 20 0 15 0 32349158 14407233536 357452 18446744073709551615 4194304 4196468 140735149685168 140524559469456 140524627111072 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17166] ppid=17109 vsize=14069564 CPUtime=0.52 cores=0,2,4,6
/proc/17112/task/17166/stat : 17166 (java) R 17109 17112 7434 0 -1 4202560 920 12424 0 0 39 6 5 2 20 0 15 0 32349158 14407233536 357452 18446744073709551615 4194304 4196468 140735149685168 140524558416856 140524623756192 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17167] ppid=17109 vsize=14069564 CPUtime=0.23 cores=0,2,4,6
/proc/17112/task/17167/stat : 17167 (java) S 17109 17112 7434 0 -1 1077944384 13132 12424 0 0 15 1 5 2 20 0 15 0 32349160 14407233536 357452 18446744073709551615 4194304 4196468 140735149685168 140524120425264 140524642170581 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17168] ppid=17109 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/17112/task/17168/stat : 17168 (java) S 17109 17112 7434 0 -1 1077944384 63 12424 0 0 0 0 5 2 20 0 15 0 32349160 14407233536 357452 18446744073709551615 4194304 4196468 140735149685168 140524119372400 140524642170581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17169] ppid=17109 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/17112/task/17169/stat : 17169 (java) S 17109 17112 7434 0 -1 1077944384 47 12424 0 0 0 0 5 2 20 0 15 0 32349160 14407233536 357452 18446744073709551615 4194304 4196468 140735149685168 140524118320000 140524642170581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17170] ppid=17109 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/17112/task/17170/stat : 17170 (java) S 17109 17112 7434 0 -1 1077944384 3 12424 0 0 0 0 5 2 20 0 15 0 32349163 14407233536 357452 18446744073709551615 4194304 4196468 140735149685168 140524117268304 140524642178971 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17171] ppid=17109 vsize=14069564 CPUtime=21.63 cores=0,2,4,6
/proc/17112/task/17171/stat : 17171 (java) S 17109 17112 7434 0 -1 1077944384 24294 12424 0 0 2149 7 5 2 20 0 15 0 32349163 14407233536 357452 18446744073709551615 4194304 4196468 140735149685168 140524116216688 140524642171522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17172] ppid=17109 vsize=14069564 CPUtime=20.78 cores=0,2,4,6
/proc/17112/task/17172/stat : 17172 (java) S 17109 17112 7434 0 -1 1077944384 18522 12424 0 0 2068 3 5 2 20 0 15 0 32349163 14407233536 357452 18446744073709551615 4194304 4196468 140735149685168 140524115163888 140524642171522 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17173] ppid=17109 vsize=14069564 CPUtime=6.61 cores=0,2,4,6
/proc/17112/task/17173/stat : 17173 (java) S 17109 17112 7434 0 -1 1077944384 20887 12424 0 0 648 6 5 2 20 0 15 0 32349163 14407233536 357452 18446744073709551615 4194304 4196468 140735149685168 140524114111088 140524642171522 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17174] ppid=17109 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/17112/task/17174/stat : 17174 (java) S 17109 17112 7434 0 -1 1077944384 3 12424 0 0 0 0 5 2 20 0 15 0 32349163 14407233536 357452 18446744073709551615 4194304 4196468 140735149685168 140524113058528 140524642170581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17175] ppid=17109 vsize=14069564 CPUtime=0.09 cores=0,2,4,6
/proc/17112/task/17175/stat : 17175 (java) S 17109 17112 7434 0 -1 1077944384 515 12424 0 0 1 1 5 2 20 0 15 0 32349172 14407233536 357452 18446744073709551615 4194304 4196468 140735149685168 140524112005808 140524642171522 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
Current children cumulated CPU time (s) 85.14
Current children cumulated vsize (KiB) 14069564

[startup+35.3066 s]
/proc/loadavg: 2.38 1.74 1.56 6/209 17176
/proc/meminfo: memFree=25871792/32770624 swapFree=0/386552
[pid=17112] ppid=17109 vsize=14069564 CPUtime=85.37 cores=0,2,4,6
/proc/17112/stat : 17112 (java) S 17109 17112 7434 0 -1 1077944320 140698 12424 0 0 8457 73 5 2 20 0 15 0 32349132 14407233536 357497 18446744073709551615 4194304 4196468 140735149685168 140735149667712 140524642160375 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
/proc/17112/statm: 3517391 357497 3493 1 0 3506005 0
[pid=17112/tid=17162] ppid=17109 vsize=14069564 CPUtime=34.29 cores=0,2,4,6
/proc/17112/task/17162/stat : 17162 (java) R 17109 17112 7434 0 -1 4202560 55635 12424 0 0 3395 27 5 2 20 0 15 0 32349158 14407233536 357497 18446744073709551615 4194304 4196468 140735149685168 140524646393872 140524248377478 0 4 1 16800974 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17163] ppid=17109 vsize=14069564 CPUtime=0.54 cores=0,2,4,6
/proc/17112/task/17163/stat : 17163 (java) S 17109 17112 7434 0 -1 1077944384 424 12424 0 0 41 6 5 2 20 0 15 0 32349158 14407233536 357497 18446744073709551615 4194304 4196468 140735149685168 140524561575056 140524642170581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17164] ppid=17109 vsize=14069564 CPUtime=0.53 cores=0,2,4,6
/proc/17112/task/17164/stat : 17164 (java) S 17109 17112 7434 0 -1 1077944384 3234 12424 0 0 40 6 5 2 20 0 15 0 32349158 14407233536 357497 18446744073709551615 4194304 4196468 140735149685168 140524560522256 140524642170581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17165] ppid=17109 vsize=14069564 CPUtime=0.54 cores=0,2,4,6
/proc/17112/task/17165/stat : 17165 (java) S 17109 17112 7434 0 -1 1077944384 768 12424 0 0 41 6 5 2 20 0 15 0 32349158 14407233536 357497 18446744073709551615 4194304 4196468 140735149685168 140524559469456 140524642170581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17166] ppid=17109 vsize=14069564 CPUtime=0.53 cores=0,2,4,6
/proc/17112/task/17166/stat : 17166 (java) S 17109 17112 7434 0 -1 1077944384 920 12424 0 0 40 6 5 2 20 0 15 0 32349158 14407233536 357497 18446744073709551615 4194304 4196468 140735149685168 140524558416656 140524642170581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17167] ppid=17109 vsize=14069564 CPUtime=0.25 cores=0,2,4,6
/proc/17112/task/17167/stat : 17167 (java) S 17109 17112 7434 0 -1 1077944384 13136 12424 0 0 17 1 5 2 20 0 15 0 32349160 14407233536 357497 18446744073709551615 4194304 4196468 140735149685168 140524120426864 140524642171522 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17168] ppid=17109 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/17112/task/17168/stat : 17168 (java) S 17109 17112 7434 0 -1 1077944384 64 12424 0 0 0 0 5 2 20 0 15 0 32349160 14407233536 357497 18446744073709551615 4194304 4196468 140735149685168 140524119372896 140524642170581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17169] ppid=17109 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/17112/task/17169/stat : 17169 (java) S 17109 17112 7434 0 -1 1077944384 49 12424 0 0 0 0 5 2 20 0 15 0 32349160 14407233536 357497 18446744073709551615 4194304 4196468 140735149685168 140524118320000 140524642170581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17170] ppid=17109 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/17112/task/17170/stat : 17170 (java) S 17109 17112 7434 0 -1 1077944384 3 12424 0 0 0 0 5 2 20 0 15 0 32349163 14407233536 357497 18446744073709551615 4194304 4196468 140735149685168 140524117268304 140524642178971 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17171] ppid=17109 vsize=14069564 CPUtime=21.67 cores=0,2,4,6
/proc/17112/task/17171/stat : 17171 (java) R 17109 17112 7434 0 -1 4202560 24306 12424 0 0 2153 7 5 2 20 0 15 0 32349163 14407233536 357497 18446744073709551615 4194304 4196468 140735149685168 140524116203504 140524626550245 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17172] ppid=17109 vsize=14069564 CPUtime=20.82 cores=0,2,4,6
/proc/17112/task/17172/stat : 17172 (java) R 17109 17112 7434 0 -1 4202560 18573 12424 0 0 2072 3 5 2 20 0 15 0 32349163 14407233536 357497 18446744073709551615 4194304 4196468 140735149685168 140524115152560 140524623683295 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17173] ppid=17109 vsize=14069564 CPUtime=6.62 cores=0,2,4,6
/proc/17112/task/17173/stat : 17173 (java) S 17109 17112 7434 0 -1 1077944384 20913 12424 0 0 649 6 5 2 20 0 15 0 32349163 14407233536 357497 18446744073709551615 4194304 4196468 140735149685168 140524114111088 140524642171522 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17174] ppid=17109 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/17112/task/17174/stat : 17174 (java) S 17109 17112 7434 0 -1 1077944384 3 12424 0 0 0 0 5 2 20 0 15 0 32349163 14407233536 357497 18446744073709551615 4194304 4196468 140735149685168 140524113058528 140524642170581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
[pid=17112/tid=17175] ppid=17109 vsize=14069564 CPUtime=0.09 cores=0,2,4,6
/proc/17112/task/17175/stat : 17175 (java) S 17109 17112 7434 0 -1 1077944384 515 12424 0 0 1 1 5 2 20 0 15 0 32349172 14407233536 357497 18446744073709551615 4194304 4196468 140735149685168 140524112005808 140524642171522 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6938624 140735149692880 140735149695665 140735149695665 140735149699023 0
Current children cumulated CPU time (s) 85.37
Current children cumulated vsize (KiB) 14069564

Child status: 0
Real time (s): 35.3914
CPU time (s): 85.6153
CPU user time (s): 84.8318
CPU system time (s): 0.78357
CPU usage (%): 241.91
Max. virtual memory (cumulated for all children) (KiB): 14069564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 84.8318
system time used= 0.78357
maximum resident set size= 1430744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153314
page faults= 0
swaps= 0
block input operations= 0
block output operations= 224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16164
involuntary context switches= 252

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.16895 second user time and 0.216734 second system time

The end

Begin job on node124 at 2017-08-11 10:13:49
IDJOB=4262279
IDBENCH=125570
IDSOLVER=2650
FILE ID=node124/4262279-1502440084
RUNJOBID= node124-1502411387-7497
PBS_JOBID= 
Free space on /tmp= 62008 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/DeBruijnSequence/DeBruijnSequence-m1-s1/DeBruijnSequence-02-09.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4262279-1502440084/watcher-4262279-1502440084 -o /tmp/evaluation-result-4262279-1502440084/solver-4262279-1502440084 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502411387-7497 --watchdog 2580  bin/concrete HOME/instance-4262279-1502440084.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 51af40833062bacbe569ad61b7e4d8a4
RANDOM SEED=1595211301

node124.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        27303168 kB
MemAvailable:   27715904 kB
Buffers:          201648 kB
Cached:           498552 kB
SwapCached:            0 kB
Active:          4645296 kB
Inactive:         403028 kB
Active(anon):    4348644 kB
Inactive(anon):    16768 kB
Active(file):     296652 kB
Inactive(file):   386260 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24436 kB
Writeback:             4 kB
AnonPages:       4347908 kB
Mapped:            50532 kB
Shmem:             17128 kB
Slab:             116984 kB
SReclaimable:      91316 kB
SUnreclaim:        25668 kB
KernelStack:        3408 kB
PageTables:        13320 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5052968 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4220928 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61984 MiB
End job on node124 at 2017-08-11 10:14:24