0.29/0.25	c version: 2017-07-26
0.29/0.25	c seed: 544524135
0.29/0.25	c timeout: 20160
0.29/0.25	c memlimit: 11000
0.29/0.25	c nbcore: 8
0.29/0.28	c Parsing instance...
2.43/1.00	c Parsing done, starting search...
19913.67/2520.09	s SATISFIABLE
19914.50/2520.13	v <instantiation>
19914.50/2520.13	v 	<list>
19914.50/2520.13	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] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] bi[0][0] bi[0][1] bi[0][2] bi[0][3] bi[0][4] bi[0][5] bi[1][0] bi[1][1] bi[1][2] bi[1][3] bi[1][4] bi[1][5] bi[2][0] bi[2][1] bi[2][2] bi[2][3] bi[2][4] bi[2][5] bi[3][0] bi[3][1] bi[3][2] bi[3][3] bi[3][4] bi[3][5] bi[4][0] bi[4][1] bi[4][2] bi[4][3] bi[4][4] bi[4][5] bi[5][0] bi[5][1] bi[5][2] bi[5][3] bi[5][4] bi[5][5] bi[6][0] bi[6][1] bi[6][2] bi[6][3] bi[6][4] bi[6][5] bi[7][0] bi[7][1] bi[7][2] bi[7][3] bi[7][4] bi[7][5] bi[8][0] bi[8][1] bi[8][2] bi[8][3] bi[8][4] bi[8][5] bi[9][0] bi[9][1] bi[9][2] bi[9][3] bi[9][4] bi[9][5] bi[10][0] bi[10][1] bi[10][2] bi[10][3] bi[10][4] bi[10][5] bi[11][0] bi[11][1] bi[11][2] bi[11][3] bi[11][4] bi[11][5] bi[12][0] bi[12][1] bi[12][2] bi[12][3] bi[12][4] bi[12][5] bi[13][0] bi[13][1] bi[13][2] bi[13][3] bi[13][4] bi[13][5] bi[14][0] bi[14][1] bi[14][2] bi[14][3] bi[14][4] bi[14][5] bi[15][0] bi[15][1] bi[15][2] bi[15][3] bi[15][4] bi[15][5] bi[16][0] bi[16][1] bi[16][2] bi[16][3] bi[16][4] bi[16][5] bi[17][0] bi[17][1] bi[17][2] bi[17][3] bi[17][4] bi[17][5] bi[18][0] bi[18][1] bi[18][2] bi[18][3] bi[18][4] bi[18][5] bi[19][0] bi[19][1] bi[19][2] bi[19][3] bi[19][4] bi[19][5] bi[20][0] bi[20][1] bi[20][2] bi[20][3] bi[20][4] bi[20][5] bi[21][0] bi[21][1] bi[21][2] bi[21][3] bi[21][4] bi[21][5] bi[22][0] bi[22][1] bi[22][2] bi[22][3] bi[22][4] bi[22][5] bi[23][0] bi[23][1] bi[23][2] bi[23][3] bi[23][4] bi[23][5] bi[24][0] bi[24][1] bi[24][2] bi[24][3] bi[24][4] bi[24][5] bi[25][0] bi[25][1] bi[25][2] bi[25][3] bi[25][4] bi[25][5] bi[26][0] bi[26][1] bi[26][2] bi[26][3] bi[26][4] bi[26][5] bi[27][0] bi[27][1] bi[27][2] bi[27][3] bi[27][4] bi[27][5] bi[28][0] bi[28][1] bi[28][2] bi[28][3] bi[28][4] bi[28][5] bi[29][0] bi[29][1] bi[29][2] bi[29][3] bi[29][4] bi[29][5] bi[30][0] bi[30][1] bi[30][2] bi[30][3] bi[30][4] bi[30][5] bi[31][0] bi[31][1] bi[31][2] bi[31][3] bi[31][4] bi[31][5] bi[32][0] bi[32][1] bi[32][2] bi[32][3] bi[32][4] bi[32][5] bi[33][0] bi[33][1] bi[33][2] bi[33][3] bi[33][4] bi[33][5] bi[34][0] bi[34][1] bi[34][2] bi[34][3] bi[34][4] bi[34][5] bi[35][0] bi[35][1] bi[35][2] bi[35][3] bi[35][4] bi[35][5] bi[36][0] bi[36][1] bi[36][2] bi[36][3] bi[36][4] bi[36][5] bi[37][0] bi[37][1] bi[37][2] bi[37][3] bi[37][4] bi[37][5] bi[38][0] bi[38][1] bi[38][2] bi[38][3] bi[38][4] bi[38][5] bi[39][0] bi[39][1] bi[39][2] bi[39][3] bi[39][4] bi[39][5] bi[40][0] bi[40][1] bi[40][2] bi[40][3] bi[40][4] bi[40][5] bi[41][0] bi[41][1] bi[41][2] bi[41][3] bi[41][4] bi[41][5] bi[42][0] bi[42][1] bi[42][2] bi[42][3] bi[42][4] bi[42][5] bi[43][0] bi[43][1] bi[43][2] bi[43][3] bi[43][4] bi[43][5] bi[44][0] bi[44][1] bi[44][2] bi[44][3] bi[44][4] bi[44][5] bi[45][0] bi[45][1] bi[45][2] bi[45][3] bi[45][4] bi[45][5] bi[46][0] bi[46][1] bi[46][2] bi[46][3] bi[46][4] bi[46][5] bi[47][0] bi[47][1] bi[47][2] bi[47][3] bi[47][4] bi[47][5] bi[48][0] bi[48][1] bi[48][2] bi[48][3] bi[48][4] bi[48][5] bi[49][0] bi[49][1] bi[49][2] bi[49][3] bi[49][4] bi[49][5] bi[50][0] bi[50][1] bi[50][2] bi[50][3] bi[50][4] bi[50][5] bi[51][0] bi[51][1] bi[51][2] bi[51][3] bi[51][4] bi[51][5] bi[52][0] bi[52][1] bi[52][2] bi[52][3] bi[52][4] bi[52][5] bi[53][0] bi[53][1] bi[53][2] bi[53][3] bi[53][4] bi[53][5] bi[54][0] bi[54][1] bi[54][2] bi[54][3] bi[54][4] bi[54][5] bi[55][0] bi[55][1] bi[55][2] bi[55][3] bi[55][4] bi[55][5] bi[56][0] bi[56][1] bi[56][2] bi[56][3] bi[56][4] bi[56][5] bi[57][0] bi[57][1] bi[57][2] bi[57][3] bi[57][4] bi[57][5] bi[58][0] bi[58][1] bi[58][2] bi[58][3] bi[58][4] bi[58][5] bi[59][0] bi[59][1] bi[59][2] bi[59][3] bi[59][4] bi[59][5] bi[60][0] bi[60][1] bi[60][2] bi[60][3] bi[60][4] bi[60][5] bi[61][0] bi[61][1] bi[61][2] bi[61][3] bi[61][4] bi[61][5] bi[62][0] bi[62][1] bi[62][2] bi[62][3] bi[62][4] bi[62][5] bi[63][0] bi[63][1] bi[63][2] bi[63][3] bi[63][4] bi[63][5] bi[64][0] bi[64][1] bi[64][2] bi[64][3] bi[64][4] bi[64][5] bi[65][0] bi[65][1] bi[65][2] bi[65][3] bi[65][4] bi[65][5] bi[66][0] bi[66][1] bi[66][2] bi[66][3] bi[66][4] bi[66][5] bi[67][0] bi[67][1] bi[67][2] bi[67][3] bi[67][4] bi[67][5] bi[68][0] bi[68][1] bi[68][2] bi[68][3] bi[68][4] bi[68][5] bi[69][0] bi[69][1] bi[69][2] bi[69][3] bi[69][4] bi[69][5] bi[70][0] bi[70][1] bi[70][2] bi[70][3] bi[70][4] bi[70][5] bi[71][0] bi[71][1] bi[71][2] bi[71][3] bi[71][4] bi[71][5] bi[72][0] bi[72][1] bi[72][2] bi[72][3] bi[72][4] bi[72][5] bi[73][0] bi[73][1] bi[73][2] bi[73][3] bi[73][4] bi[73][5] bi[74][0] bi[74][1] bi[74][2] bi[74][3] bi[74][4] bi[74][5] bi[75][0] bi[75][1] bi[75][2] bi[75][3] bi[75][4] bi[75][5] bi[76][0] bi[76][1] bi[76][2] bi[76][3] bi[76][4] bi[76][5] bi[77][0] bi[77][1] bi[77][2] bi[77][3] bi[77][4] bi[77][5] bi[78][0] bi[78][1] bi[78][2] bi[78][3] bi[78][4] bi[78][5] bi[79][0] bi[79][1] bi[79][2] bi[79][3] bi[79][4] bi[79][5] bi[80][0] bi[80][1] bi[80][2] bi[80][3] bi[80][4] bi[80][5] bi[81][0] bi[81][1] bi[81][2] bi[81][3] bi[81][4] bi[81][5] bi[82][0] bi[82][1] bi[82][2] bi[82][3] bi[82][4] bi[82][5] bi[83][0] bi[83][1] bi[83][2] bi[83][3] bi[83][4] bi[83][5] bi[84][0] bi[84][1] bi[84][2] bi[84][3] bi[84][4] bi[84][5] bi[85][0] bi[85][1] bi[85][2] bi[85][3] bi[85][4] bi[85][5] bi[86][0] bi[86][1] bi[86][2] bi[86][3] bi[86][4] bi[86][5] bi[87][0] bi[87][1] bi[87][2] bi[87][3] bi[87][4] bi[87][5] bi[88][0] bi[88][1] bi[88][2] bi[88][3] bi[88][4] bi[88][5] bi[89][0] bi[89][1] bi[89][2] bi[89][3] bi[89][4] bi[89][5] bi[90][0] bi[90][1] bi[90][2] bi[90][3] bi[90][4] bi[90][5] bi[91][0] bi[91][1] bi[91][2] bi[91][3] bi[91][4] bi[91][5] bi[92][0] bi[92][1] bi[92][2] bi[92][3] bi[92][4] bi[92][5] bi[93][0] bi[93][1] bi[93][2] bi[93][3] bi[93][4] bi[93][5] bi[94][0] bi[94][1] bi[94][2] bi[94][3] bi[94][4] bi[94][5] bi[95][0] bi[95][1] bi[95][2] bi[95][3] bi[95][4] bi[95][5] bi[96][0] bi[96][1] bi[96][2] bi[96][3] bi[96][4] bi[96][5] bi[97][0] bi[97][1] bi[97][2] bi[97][3] bi[97][4] bi[97][5] bi[98][0] bi[98][1] bi[98][2] bi[98][3] bi[98][4] bi[98][5] bi[99][0] bi[99][1] bi[99][2] bi[99][3] bi[99][4] bi[99][5] bi[100][0] bi[100][1] bi[100][2] bi[100][3] bi[100][4] bi[100][5] bi[101][0] bi[101][1] bi[101][2] bi[101][3] bi[101][4] bi[101][5] bi[102][0] bi[102][1] bi[102][2] bi[102][3] bi[102][4] bi[102][5] bi[103][0] bi[103][1] bi[103][2] bi[103][3] bi[103][4] bi[103][5] bi[104][0] bi[104][1] bi[104][2] bi[104][3] bi[104][4] bi[104][5] bi[105][0] bi[105][1] bi[105][2] bi[105][3] bi[105][4] bi[105][5] bi[106][0] bi[106][1] bi[106][2] bi[106][3] bi[106][4] bi[106][5] bi[107][0] bi[107][1] bi[107][2] bi[107][3] bi[107][4] bi[107][5] bi[108][0] bi[108][1] bi[108][2] bi[108][3] bi[108][4] bi[108][5] bi[109][0] bi[109][1] bi[109][2] bi[109][3] bi[109][4] bi[109][5] bi[110][0] bi[110][1] bi[110][2] bi[110][3] bi[110][4] bi[110][5] bi[111][0] bi[111][1] bi[111][2] bi[111][3] bi[111][4] bi[111][5] bi[112][0] bi[112][1] bi[112][2] bi[112][3] bi[112][4] bi[112][5] bi[113][0] bi[113][1] bi[113][2] bi[113][3] bi[113][4] bi[113][5] bi[114][0] bi[114][1] bi[114][2] bi[114][3] bi[114][4] bi[114][5] bi[115][0] bi[115][1] bi[115][2] bi[115][3] bi[115][4] bi[115][5] bi[116][0] bi[116][1] bi[116][2] bi[116][3] bi[116][4] bi[116][5] bi[117][0] bi[117][1] bi[117][2] bi[117][3] bi[117][4] bi[117][5] bi[118][0] bi[118][1] bi[118][2] bi[118][3] bi[118][4] bi[118][5] bi[119][0] bi[119][1] bi[119][2] bi[119][3] bi[119][4] bi[119][5] bi[120][0] bi[120][1] bi[120][2] bi[120][3] bi[120][4] bi[120][5] bi[121][0] bi[121][1] bi[121][2] bi[121][3] bi[121][4] bi[121][5] bi[122][0] bi[122][1] bi[122][2] bi[122][3] bi[122][4] bi[122][5] bi[123][0] bi[123][1] bi[123][2] bi[123][3] bi[123][4] bi[123][5] bi[124][0] bi[124][1] bi[124][2] bi[124][3] bi[124][4] bi[124][5] bi[125][0] bi[125][1] bi[125][2] bi[125][3] bi[125][4] bi[125][5] bi[126][0] bi[126][1] bi[126][2] bi[126][3] bi[126][4] bi[126][5] bi[127][0] bi[127][1] bi[127][2] bi[127][3] bi[127][4] bi[127][5] bi[128][0] bi[128][1] bi[128][2] bi[128][3] bi[128][4] bi[128][5] bi[129][0] bi[129][1] bi[129][2] bi[129][3] bi[129][4] bi[129][5] bi[130][0] bi[130][1] bi[130][2] bi[130][3] bi[130][4] bi[130][5] bi[131][0] bi[131][1] bi[131][2] bi[131][3] bi[131][4] bi[131][5] bi[132][0] bi[132][1] bi[132][2] bi[132][3] bi[132][4] bi[132][5] bi[133][0] bi[133][1] bi[133][2] bi[133][3] bi[133][4] bi[133][5] bi[134][0] bi[134][1] bi[134][2] bi[134][3] bi[134][4] bi[134][5] bi[135][0] bi[135][1] bi[135][2] bi[135][3] bi[135][4] bi[135][5] bi[136][0] bi[136][1] bi[136][2] bi[136][3] bi[136][4] bi[136][5] bi[137][0] bi[137][1] bi[137][2] bi[137][3] bi[137][4] bi[137][5] bi[138][0] bi[138][1] bi[138][2] bi[138][3] bi[138][4] bi[138][5] bi[139][0] bi[139][1] bi[139][2] bi[139][3] bi[139][4] bi[139][5] bi[140][0] bi[140][1] bi[140][2] bi[140][3] bi[140][4] bi[140][5] bi[141][0] bi[141][1] bi[141][2] bi[141][3] bi[141][4] bi[141][5] bi[142][0] bi[142][1] bi[142][2] bi[142][3] bi[142][4] bi[142][5] bi[143][0] bi[143][1] bi[143][2] bi[143][3] bi[143][4] bi[143][5] bi[144][0] bi[144][1] bi[144][2] bi[144][3] bi[144][4] bi[144][5] bi[145][0] bi[145][1] bi[145][2] bi[145][3] bi[145][4] bi[145][5] bi[146][0] bi[146][1] bi[146][2] bi[146][3] bi[146][4] bi[146][5] bi[147][0] bi[147][1] bi[147][2] bi[147][3] bi[147][4] bi[147][5] bi[148][0] bi[148][1] bi[148][2] bi[148][3] bi[148][4] bi[148][5] bi[149][0] bi[149][1] bi[149][2] bi[149][3] bi[149][4] bi[149][5] bi[150][0] bi[150][1] bi[150][2] bi[150][3] bi[150][4] bi[150][5] bi[151][0] bi[151][1] bi[151][2] bi[151][3] bi[151][4] bi[151][5] bi[152][0] bi[152][1] bi[152][2] bi[152][3] bi[152][4] bi[152][5] bi[153][0] bi[153][1] bi[153][2] bi[153][3] bi[153][4] bi[153][5] bi[154][0] bi[154][1] bi[154][2] bi[154][3] bi[154][4] bi[154][5] bi[155][0] bi[155][1] bi[155][2] bi[155][3] bi[155][4] bi[155][5] bi[156][0] bi[156][1] bi[156][2] bi[156][3] bi[156][4] bi[156][5] bi[157][0] bi[157][1] bi[157][2] bi[157][3] bi[157][4] bi[157][5] bi[158][0] bi[158][1] bi[158][2] bi[158][3] bi[158][4] bi[158][5] bi[159][0] bi[159][1] bi[159][2] bi[159][3] bi[159][4] bi[159][5] bi[160][0] bi[160][1] bi[160][2] bi[160][3] bi[160][4] bi[160][5] bi[161][0] bi[161][1] bi[161][2] bi[161][3] bi[161][4] bi[161][5] bi[162][0] bi[162][1] bi[162][2] bi[162][3] bi[162][4] bi[162][5] bi[163][0] bi[163][1] bi[163][2] bi[163][3] bi[163][4] bi[163][5] bi[164][0] bi[164][1] bi[164][2] bi[164][3] bi[164][4] bi[164][5] bi[165][0] bi[165][1] bi[165][2] bi[165][3] bi[165][4] bi[165][5] bi[166][0] bi[166][1] bi[166][2] bi[166][3] bi[166][4] bi[166][5] bi[167][0] bi[167][1] bi[167][2] bi[167][3] bi[167][4] bi[167][5] bi[168][0] bi[168][1] bi[168][2] bi[168][3] bi[168][4] bi[168][5] bi[169][0] bi[169][1] bi[169][2] bi[169][3] bi[169][4] bi[169][5] bi[170][0] bi[170][1] bi[170][2] bi[170][3] bi[170][4] bi[170][5] bi[171][0] bi[171][1] bi[171][2] bi[171][3] bi[171][4] bi[171][5] bi[172][0] bi[172][1] bi[172][2] bi[172][3] bi[172][4] bi[172][5] bi[173][0] bi[173][1] bi[173][2] bi[173][3] bi[173][4] bi[173][5] bi[174][0] bi[174][1] bi[174][2] bi[174][3] bi[174][4] bi[174][5] bi[175][0] bi[175][1] bi[175][2] bi[175][3] bi[175][4] bi[175][5] bi[176][0] bi[176][1] bi[176][2] bi[176][3] bi[176][4] bi[176][5] bi[177][0] bi[177][1] bi[177][2] bi[177][3] bi[177][4] bi[177][5] bi[178][0] bi[178][1] bi[178][2] bi[178][3] bi[178][4] bi[178][5] bi[179][0] bi[179][1] bi[179][2] bi[179][3] bi[179][4] bi[179][5] bi[180][0] bi[180][1] bi[180][2] bi[180][3] bi[180][4] bi[180][5] bi[181][0] bi[181][1] bi[181][2] bi[181][3] bi[181][4] bi[181][5] bi[182][0] bi[182][1] bi[182][2] bi[182][3] bi[182][4] bi[182][5] bi[183][0] bi[183][1] bi[183][2] bi[183][3] bi[183][4] bi[183][5] bi[184][0] bi[184][1] bi[184][2] bi[184][3] bi[184][4] bi[184][5] bi[185][0] bi[185][1] bi[185][2] bi[185][3] bi[185][4] bi[185][5] bi[186][0] bi[186][1] bi[186][2] bi[186][3] bi[186][4] bi[186][5] bi[187][0] bi[187][1] bi[187][2] bi[187][3] bi[187][4] bi[187][5] bi[188][0] bi[188][1] bi[188][2] bi[188][3] bi[188][4] bi[188][5] bi[189][0] bi[189][1] bi[189][2] bi[189][3] bi[189][4] bi[189][5] bi[190][0] bi[190][1] bi[190][2] bi[190][3] bi[190][4] bi[190][5] bi[191][0] bi[191][1] bi[191][2] bi[191][3] bi[191][4] bi[191][5] bi[192][0] bi[192][1] bi[192][2] bi[192][3] bi[192][4] bi[192][5] bi[193][0] bi[193][1] bi[193][2] bi[193][3] bi[193][4] bi[193][5] bi[194][0] bi[194][1] bi[194][2] bi[194][3] bi[194][4] bi[194][5] bi[195][0] bi[195][1] bi[195][2] bi[195][3] bi[195][4] bi[195][5] bi[196][0] bi[196][1] bi[196][2] bi[196][3] bi[196][4] bi[196][5] bi[197][0] bi[197][1] bi[197][2] bi[197][3] bi[197][4] bi[197][5] bi[198][0] bi[198][1] bi[198][2] bi[198][3] bi[198][4] bi[198][5] bi[199][0] bi[199][1] bi[199][2] bi[199][3] bi[199][4] bi[199][5] bi[200][0] bi[200][1] bi[200][2] bi[200][3] bi[200][4] bi[200][5] bi[201][0] bi[201][1] bi[201][2] bi[201][3] bi[201][4] bi[201][5] bi[202][0] bi[202][1] bi[202][2] bi[202][3] bi[202][4] bi[202][5] bi[203][0] bi[203][1] bi[203][2] bi[203][3] bi[203][4] bi[203][5] bi[204][0] bi[204][1] bi[204][2] bi[204][3] bi[204][4] bi[204][5] bi[205][0] bi[205][1] bi[205][2] bi[205][3] bi[205][4] bi[205][5] bi[206][0] bi[206][1] bi[206][2] bi[206][3] bi[206][4] bi[206][5] bi[207][0] bi[207][1] bi[207][2] bi[207][3] bi[207][4] bi[207][5] bi[208][0] bi[208][1] bi[208][2] bi[208][3] bi[208][4] bi[208][5] bi[209][0] bi[209][1] bi[209][2] bi[209][3] bi[209][4] bi[209][5] bi[210][0] bi[210][1] bi[210][2] bi[210][3] bi[210][4] bi[210][5] bi[211][0] bi[211][1] bi[211][2] bi[211][3] bi[211][4] bi[211][5] bi[212][0] bi[212][1] bi[212][2] bi[212][3] bi[212][4] bi[212][5] bi[213][0] bi[213][1] bi[213][2] bi[213][3] bi[213][4] bi[213][5] bi[214][0] bi[214][1] bi[214][2] bi[214][3] bi[214][4] bi[214][5] bi[215][0] bi[215][1] bi[215][2] bi[215][3] bi[215][4] bi[215][5] bi[216][0] bi[216][1] bi[216][2] bi[216][3] bi[216][4] bi[216][5] bi[217][0] bi[217][1] bi[217][2] bi[217][3] bi[217][4] bi[217][5] bi[218][0] bi[218][1] bi[218][2] bi[218][3] bi[218][4] bi[218][5] bi[219][0] bi[219][1] bi[219][2] bi[219][3] bi[219][4] bi[219][5] bi[220][0] bi[220][1] bi[220][2] bi[220][3] bi[220][4] bi[220][5] bi[221][0] bi[221][1] bi[221][2] bi[221][3] bi[221][4] bi[221][5] bi[222][0] bi[222][1] bi[222][2] bi[222][3] bi[222][4] bi[222][5] bi[223][0] bi[223][1] bi[223][2] bi[223][3] bi[223][4] bi[223][5] bi[224][0] bi[224][1] bi[224][2] bi[224][3] bi[224][4] bi[224][5] bi[225][0] bi[225][1] bi[225][2] bi[225][3] bi[225][4] bi[225][5] bi[226][0] bi[226][1] bi[226][2] bi[226][3] bi[226][4] bi[226][5] bi[227][0] bi[227][1] bi[227][2] bi[227][3] bi[227][4] bi[227][5] bi[228][0] bi[228][1] bi[228][2] bi[228][3] bi[228][4] bi[228][5] bi[229][0] bi[229][1] bi[229][2] bi[229][3] bi[229][4] bi[229][5] bi[230][0] bi[230][1] bi[230][2] bi[230][3] bi[230][4] bi[230][5] bi[231][0] bi[231][1] bi[231][2] bi[231][3] bi[231][4] bi[231][5] bi[232][0] bi[232][1] bi[232][2] bi[232][3] bi[232][4] bi[232][5] bi[233][0] bi[233][1] bi[233][2] bi[233][3] bi[233][4] bi[233][5] bi[234][0] bi[234][1] bi[234][2] bi[234][3] bi[234][4] bi[234][5] bi[235][0] bi[235][1] bi[235][2] bi[235][3] bi[235][4] bi[235][5] bi[236][0] bi[236][1] bi[236][2] bi[236][3] bi[236][4] bi[236][5] bi[237][0] bi[237][1] bi[237][2] bi[237][3] bi[237][4] bi[237][5] bi[238][0] bi[238][1] bi[238][2] bi[238][3] bi[238][4] bi[238][5] bi[239][0] bi[239][1] bi[239][2] bi[239][3] bi[239][4] bi[239][5] bi[240][0] bi[240][1] bi[240][2] bi[240][3] bi[240][4] bi[240][5] bi[241][0] bi[241][1] bi[241][2] bi[241][3] bi[241][4] bi[241][5] bi[242][0] bi[242][1] bi[242][2] bi[242][3] bi[242][4] bi[242][5] bi[243][0] bi[243][1] bi[243][2] bi[243][3] bi[243][4] bi[243][5] bi[244][0] bi[244][1] bi[244][2] bi[244][3] bi[244][4] bi[244][5] bi[245][0] bi[245][1] bi[245][2] bi[245][3] bi[245][4] bi[245][5] bi[246][0] bi[246][1] bi[246][2] bi[246][3] bi[246][4] bi[246][5] bi[247][0] bi[247][1] bi[247][2] bi[247][3] bi[247][4] bi[247][5] bi[248][0] bi[248][1] bi[248][2] bi[248][3] bi[248][4] bi[248][5] bi[249][0] bi[249][1] bi[249][2] bi[249][3] bi[249][4] bi[249][5] bi[250][0] bi[250][1] bi[250][2] bi[250][3] bi[250][4] bi[250][5] bi[251][0] bi[251][1] bi[251][2] bi[251][3] bi[251][4] bi[251][5] bi[252][0] bi[252][1] bi[252][2] bi[252][3] bi[252][4] bi[252][5] bi[253][0] bi[253][1] bi[253][2] bi[253][3] bi[253][4] bi[253][5] bi[254][0] bi[254][1] bi[254][2] bi[254][3] bi[254][4] bi[254][5] bi[255][0] bi[255][1] bi[255][2] bi[255][3] bi[255][4] bi[255][5] bi[256][0] bi[256][1] bi[256][2] bi[256][3] bi[256][4] bi[256][5] bi[257][0] bi[257][1] bi[257][2] bi[257][3] bi[257][4] bi[257][5] bi[258][0] bi[258][1] bi[258][2] bi[258][3] bi[258][4] bi[258][5] bi[259][0] bi[259][1] bi[259][2] bi[259][3] bi[259][4] bi[259][5] bi[260][0] bi[260][1] bi[260][2] bi[260][3] bi[260][4] bi[260][5] bi[261][0] bi[261][1] bi[261][2] bi[261][3] bi[261][4] bi[261][5] bi[262][0] bi[262][1] bi[262][2] bi[262][3] bi[262][4] bi[262][5] bi[263][0] bi[263][1] bi[263][2] bi[263][3] bi[263][4] bi[263][5] bi[264][0] bi[264][1] bi[264][2] bi[264][3] bi[264][4] bi[264][5] bi[265][0] bi[265][1] bi[265][2] bi[265][3] bi[265][4] bi[265][5] bi[266][0] bi[266][1] bi[266][2] bi[266][3] bi[266][4] bi[266][5] bi[267][0] bi[267][1] bi[267][2] bi[267][3] bi[267][4] bi[267][5] bi[268][0] bi[268][1] bi[268][2] bi[268][3] bi[268][4] bi[268][5] bi[269][0] bi[269][1] bi[269][2] bi[269][3] bi[269][4] bi[269][5] bi[270][0] bi[270][1] bi[270][2] bi[270][3] bi[270][4] bi[270][5] bi[271][0] bi[271][1] bi[271][2] bi[271][3] bi[271][4] bi[271][5] bi[272][0] bi[272][1] bi[272][2] bi[272][3] bi[272][4] bi[272][5] bi[273][0] bi[273][1] bi[273][2] bi[273][3] bi[273][4] bi[273][5] bi[274][0] bi[274][1] bi[274][2] bi[274][3] bi[274][4] bi[274][5] bi[275][0] bi[275][1] bi[275][2] bi[275][3] bi[275][4] bi[275][5] bi[276][0] bi[276][1] bi[276][2] bi[276][3] bi[276][4] bi[276][5] bi[277][0] bi[277][1] bi[277][2] bi[277][3] bi[277][4] bi[277][5] bi[278][0] bi[278][1] bi[278][2] bi[278][3] bi[278][4] bi[278][5] bi[279][0] bi[279][1] bi[279][2] bi[279][3] bi[279][4] bi[279][5] bi[280][0] bi[280][1] bi[280][2] bi[280][3] bi[280][4] bi[280][5] bi[281][0] bi[281][1] bi[281][2] bi[281][3] bi[281][4] bi[281][5] bi[282][0] bi[282][1] bi[282][2] bi[282][3] bi[282][4] bi[282][5] bi[283][0] bi[283][1] bi[283][2] bi[283][3] bi[283][4] bi[283][5] bi[284][0] bi[284][1] bi[284][2] bi[284][3] bi[284][4] bi[284][5] bi[285][0] bi[285][1] bi[285][2] bi[285][3] bi[285][4] bi[285][5] bi[286][0] bi[286][1] bi[286][2] bi[286][3] bi[286][4] bi[286][5] bi[287][0] bi[287][1] bi[287][2] bi[287][3] bi[287][4] bi[287][5] bi[288][0] bi[288][1] bi[288][2] bi[288][3] bi[288][4] bi[288][5] bi[289][0] bi[289][1] bi[289][2] bi[289][3] bi[289][4] bi[289][5] bi[290][0] bi[290][1] bi[290][2] bi[290][3] bi[290][4] bi[290][5] bi[291][0] bi[291][1] bi[291][2] bi[291][3] bi[291][4] bi[291][5] bi[292][0] bi[292][1] bi[292][2] bi[292][3] bi[292][4] bi[292][5] bi[293][0] bi[293][1] bi[293][2] bi[293][3] bi[293][4] bi[293][5] bi[294][0] bi[294][1] bi[294][2] bi[294][3] bi[294][4] bi[294][5] bi[295][0] bi[295][1] bi[295][2] bi[295][3] bi[295][4] bi[295][5] bi[296][0] bi[296][1] bi[296][2] bi[296][3] bi[296][4] bi[296][5] bi[297][0] bi[297][1] bi[297][2] bi[297][3] bi[297][4] bi[297][5] bi[298][0] bi[298][1] bi[298][2] bi[298][3] bi[298][4] bi[298][5] bi[299][0] bi[299][1] bi[299][2] bi[299][3] bi[299][4] bi[299][5] bi[300][0] bi[300][1] bi[300][2] bi[300][3] bi[300][4] bi[300][5] bi[301][0] bi[301][1] bi[301][2] bi[301][3] bi[301][4] bi[301][5] bi[302][0] bi[302][1] bi[302][2] bi[302][3] bi[302][4] bi[302][5] bi[303][0] bi[303][1] bi[303][2] bi[303][3] bi[303][4] bi[303][5] bi[304][0] bi[304][1] bi[304][2] bi[304][3] bi[304][4] bi[304][5] bi[305][0] bi[305][1] bi[305][2] bi[305][3] bi[305][4] bi[305][5] bi[306][0] bi[306][1] bi[306][2] bi[306][3] bi[306][4] bi[306][5] bi[307][0] bi[307][1] bi[307][2] bi[307][3] bi[307][4] bi[307][5] bi[308][0] bi[308][1] bi[308][2] bi[308][3] bi[308][4] bi[308][5] bi[309][0] bi[309][1] bi[309][2] bi[309][3] bi[309][4] bi[309][5] bi[310][0] bi[310][1] bi[310][2] bi[310][3] bi[310][4] bi[310][5] bi[311][0] bi[311][1] bi[311][2] bi[311][3] bi[311][4] bi[311][5] bi[312][0] bi[312][1] bi[312][2] bi[312][3] bi[312][4] bi[312][5] bi[313][0] bi[313][1] bi[313][2] bi[313][3] bi[313][4] bi[313][5] bi[314][0] bi[314][1] bi[314][2] bi[314][3] bi[314][4] bi[314][5] bi[315][0] bi[315][1] bi[315][2] bi[315][3] bi[315][4] bi[315][5] bi[316][0] bi[316][1] bi[316][2] bi[316][3] bi[316][4] bi[316][5] bi[317][0] bi[317][1] bi[317][2] bi[317][3] bi[317][4] bi[317][5] bi[318][0] bi[318][1] bi[318][2] bi[318][3] bi[318][4] bi[318][5] bi[319][0] bi[319][1] bi[319][2] bi[319][3] bi[319][4] bi[319][5] bi[320][0] bi[320][1] bi[320][2] bi[320][3] bi[320][4] bi[320][5] bi[321][0] bi[321][1] bi[321][2] bi[321][3] bi[321][4] bi[321][5] bi[322][0] bi[322][1] bi[322][2] bi[322][3] bi[322][4] bi[322][5] bi[323][0] bi[323][1] bi[323][2] bi[323][3] bi[323][4] bi[323][5] bi[324][0] bi[324][1] bi[324][2] bi[324][3] bi[324][4] bi[324][5] bi[325][0] bi[325][1] bi[325][2] bi[325][3] bi[325][4] bi[325][5] bi[326][0] bi[326][1] bi[326][2] bi[326][3] bi[326][4] bi[326][5] bi[327][0] bi[327][1] bi[327][2] bi[327][3] bi[327][4] bi[327][5] bi[328][0] bi[328][1] bi[328][2] bi[328][3] bi[328][4] bi[328][5] bi[329][0] bi[329][1] bi[329][2] bi[329][3] bi[329][4] bi[329][5] bi[330][0] bi[330][1] bi[330][2] bi[330][3] bi[330][4] bi[330][5] bi[331][0] bi[331][1] bi[331][2] bi[331][3] bi[331][4] bi[331][5] bi[332][0] bi[332][1] bi[332][2] bi[332][3] bi[332][4] bi[332][5] bi[333][0] bi[333][1] bi[333][2] bi[333][3] bi[333][4] bi[333][5] bi[334][0] bi[334][1] bi[334][2] bi[334][3] bi[334][4] bi[334][5] bi[335][0] bi[335][1] bi[335][2] bi[335][3] bi[335][4] bi[335][5] bi[336][0] bi[336][1] bi[336][2] bi[336][3] bi[336][4] bi[336][5] bi[337][0] bi[337][1] bi[337][2] bi[337][3] bi[337][4] bi[337][5] bi[338][0] bi[338][1] bi[338][2] bi[338][3] bi[338][4] bi[338][5] bi[339][0] bi[339][1] bi[339][2] bi[339][3] bi[339][4] bi[339][5] bi[340][0] bi[340][1] bi[340][2] bi[340][3] bi[340][4] bi[340][5] bi[341][0] bi[341][1] bi[341][2] bi[341][3] bi[341][4] bi[341][5] bi[342][0] bi[342][1] bi[342][2] bi[342][3] bi[342][4] bi[342][5] bi[343][0] bi[343][1] bi[343][2] bi[343][3] bi[343][4] bi[343][5] bi[344][0] bi[344][1] bi[344][2] bi[344][3] bi[344][4] bi[344][5] bi[345][0] bi[345][1] bi[345][2] bi[345][3] bi[345][4] bi[345][5] bi[346][0] bi[346][1] bi[346][2] bi[346][3] bi[346][4] bi[346][5] bi[347][0] bi[347][1] bi[347][2] bi[347][3] bi[347][4] bi[347][5] bi[348][0] bi[348][1] bi[348][2] bi[348][3] bi[348][4] bi[348][5] bi[349][0] bi[349][1] bi[349][2] bi[349][3] bi[349][4] bi[349][5] bi[350][0] bi[350][1] bi[350][2] bi[350][3] bi[350][4] bi[350][5] bi[351][0] bi[351][1] bi[351][2] bi[351][3] bi[351][4] bi[351][5] bi[352][0] bi[352][1] bi[352][2] bi[352][3] bi[352][4] bi[352][5] bi[353][0] bi[353][1] bi[353][2] bi[353][3] bi[353][4] bi[353][5] bi[354][0] bi[354][1] bi[354][2] bi[354][3] bi[354][4] bi[354][5] bi[355][0] bi[355][1] bi[355][2] bi[355][3] bi[355][4] bi[355][5] bi[356][0] bi[356][1] bi[356][2] bi[356][3] bi[356][4] bi[356][5] bi[357][0] bi[357][1] bi[357][2] bi[357][3] bi[357][4] bi[357][5] bi[358][0] bi[358][1] bi[358][2] bi[358][3] bi[358][4] bi[358][5] bi[359][0] bi[359][1] bi[359][2] bi[359][3] bi[359][4] bi[359][5] bi[360][0] bi[360][1] bi[360][2] bi[360][3] bi[360][4] bi[360][5] bi[361][0] bi[361][1] bi[361][2] bi[361][3] bi[361][4] bi[361][5] bi[362][0] bi[362][1] bi[362][2] bi[362][3] bi[362][4] bi[362][5] bi[363][0] bi[363][1] bi[363][2] bi[363][3] bi[363][4] bi[363][5] bi[364][0] bi[364][1] bi[364][2] bi[364][3] bi[364][4] bi[364][5] bi[365][0] bi[365][1] bi[365][2] bi[365][3] bi[365][4] bi[365][5] bi[366][0] bi[366][1] bi[366][2] bi[366][3] bi[366][4] bi[366][5] bi[367][0] bi[367][1] bi[367][2] bi[367][3] bi[367][4] bi[367][5] bi[368][0] bi[368][1] bi[368][2] bi[368][3] bi[368][4] bi[368][5] bi[369][0] bi[369][1] bi[369][2] bi[369][3] bi[369][4] bi[369][5] bi[370][0] bi[370][1] bi[370][2] bi[370][3] bi[370][4] bi[370][5] bi[371][0] bi[371][1] bi[371][2] bi[371][3] bi[371][4] bi[371][5] bi[372][0] bi[372][1] bi[372][2] bi[372][3] bi[372][4] bi[372][5] bi[373][0] bi[373][1] bi[373][2] bi[373][3] bi[373][4] bi[373][5] bi[374][0] bi[374][1] bi[374][2] bi[374][3] bi[374][4] bi[374][5] bi[375][0] bi[375][1] bi[375][2] bi[375][3] bi[375][4] bi[375][5] bi[376][0] bi[376][1] bi[376][2] bi[376][3] bi[376][4] bi[376][5] bi[377][0] bi[377][1] bi[377][2] bi[377][3] bi[377][4] bi[377][5] bi[378][0] bi[378][1] bi[378][2] bi[378][3] bi[378][4] bi[378][5] bi[379][0] bi[379][1] bi[379][2] bi[379][3] bi[379][4] bi[379][5] bi[380][0] bi[380][1] bi[380][2] bi[380][3] bi[380][4] bi[380][5] bi[381][0] bi[381][1] bi[381][2] bi[381][3] bi[381][4] bi[381][5] bi[382][0] bi[382][1] bi[382][2] bi[382][3] bi[382][4] bi[382][5] bi[383][0] bi[383][1] bi[383][2] bi[383][3] bi[383][4] bi[383][5] bi[384][0] bi[384][1] bi[384][2] bi[384][3] bi[384][4] bi[384][5] bi[385][0] bi[385][1] bi[385][2] bi[385][3] bi[385][4] bi[385][5] bi[386][0] bi[386][1] bi[386][2] bi[386][3] bi[386][4] bi[386][5] bi[387][0] bi[387][1] bi[387][2] bi[387][3] bi[387][4] bi[387][5] bi[388][0] bi[388][1] bi[388][2] bi[388][3] bi[388][4] bi[388][5] bi[389][0] bi[389][1] bi[389][2] bi[389][3] bi[389][4] bi[389][5] bi[390][0] bi[390][1] bi[390][2] bi[390][3] bi[390][4] bi[390][5] bi[391][0] bi[391][1] bi[391][2] bi[391][3] bi[391][4] bi[391][5] bi[392][0] bi[392][1] bi[392][2] bi[392][3] bi[392][4] bi[392][5] bi[393][0] bi[393][1] bi[393][2] bi[393][3] bi[393][4] bi[393][5] bi[394][0] bi[394][1] bi[394][2] bi[394][3] bi[394][4] bi[394][5] bi[395][0] bi[395][1] bi[395][2] bi[395][3] bi[395][4] bi[395][5] bi[396][0] bi[396][1] bi[396][2] bi[396][3] bi[396][4] bi[396][5] bi[397][0] bi[397][1] bi[397][2] bi[397][3] bi[397][4] bi[397][5] bi[398][0] bi[398][1] bi[398][2] bi[398][3] bi[398][4] bi[398][5] bi[399][0] bi[399][1] bi[399][2] bi[399][3] bi[399][4] bi[399][5] bi[400][0] bi[400][1] bi[400][2] bi[400][3] bi[400][4] bi[400][5] bi[401][0] bi[401][1] bi[401][2] bi[401][3] bi[401][4] bi[401][5] bi[402][0] bi[402][1] bi[402][2] bi[402][3] bi[402][4] bi[402][5] bi[403][0] bi[403][1] bi[403][2] bi[403][3] bi[403][4] bi[403][5] bi[404][0] bi[404][1] bi[404][2] bi[404][3] bi[404][4] bi[404][5] bi[405][0] bi[405][1] bi[405][2] bi[405][3] bi[405][4] bi[405][5] bi[406][0] bi[406][1] bi[406][2] bi[406][3] bi[406][4] bi[406][5] bi[407][0] bi[407][1] bi[407][2] bi[407][3] bi[407][4] bi[407][5] bi[408][0] bi[408][1] bi[408][2] bi[408][3] bi[408][4] bi[408][5] bi[409][0] bi[409][1] bi[409][2] bi[409][3] bi[409][4] bi[409][5] bi[410][0] bi[410][1] bi[410][2] bi[410][3] bi[410][4] bi[410][5] bi[411][0] bi[411][1] bi[411][2] bi[411][3] bi[411][4] bi[411][5] bi[412][0] bi[412][1] bi[412][2] bi[412][3] bi[412][4] bi[412][5] bi[413][0] bi[413][1] bi[413][2] bi[413][3] bi[413][4] bi[413][5] bi[414][0] bi[414][1] bi[414][2] bi[414][3] bi[414][4] bi[414][5] bi[415][0] bi[415][1] bi[415][2] bi[415][3] bi[415][4] bi[415][5] bi[416][0] bi[416][1] bi[416][2] bi[416][3] bi[416][4] bi[416][5] bi[417][0] bi[417][1] bi[417][2] bi[417][3] bi[417][4] bi[417][5] bi[418][0] bi[418][1] bi[418][2] bi[418][3] bi[418][4] bi[418][5] bi[419][0] bi[419][1] bi[419][2] bi[419][3] bi[419][4] bi[419][5] bi[420][0] bi[420][1] bi[420][2] bi[420][3] bi[420][4] bi[420][5] bi[421][0] bi[421][1] bi[421][2] bi[421][3] bi[421][4] bi[421][5] bi[422][0] bi[422][1] bi[422][2] bi[422][3] bi[422][4] bi[422][5] bi[423][0] bi[423][1] bi[423][2] bi[423][3] bi[423][4] bi[423][5] bi[424][0] bi[424][1] bi[424][2] bi[424][3] bi[424][4] bi[424][5] bi[425][0] bi[425][1] bi[425][2] bi[425][3] bi[425][4] bi[425][5] bi[426][0] bi[426][1] bi[426][2] bi[426][3] bi[426][4] bi[426][5] bi[427][0] bi[427][1] bi[427][2] bi[427][3] bi[427][4] bi[427][5] bi[428][0] bi[428][1] bi[428][2] bi[428][3] bi[428][4] bi[428][5] bi[429][0] bi[429][1] bi[429][2] bi[429][3] bi[429][4] bi[429][5] bi[430][0] bi[430][1] bi[430][2] bi[430][3] bi[430][4] bi[430][5] bi[431][0] bi[431][1] bi[431][2] bi[431][3] bi[431][4] bi[431][5] bi[432][0] bi[432][1] bi[432][2] bi[432][3] bi[432][4] bi[432][5] bi[433][0] bi[433][1] bi[433][2] bi[433][3] bi[433][4] bi[433][5] bi[434][0] bi[434][1] bi[434][2] bi[434][3] bi[434][4] bi[434][5] bi[435][0] bi[435][1] bi[435][2] bi[435][3] bi[435][4] bi[435][5] bi[436][0] bi[436][1] bi[436][2] bi[436][3] bi[436][4] bi[436][5] bi[437][0] bi[437][1] bi[437][2] bi[437][3] bi[437][4] bi[437][5] bi[438][0] bi[438][1] bi[438][2] bi[438][3] bi[438][4] bi[438][5] bi[439][0] bi[439][1] bi[439][2] bi[439][3] bi[439][4] bi[439][5] bi[440][0] bi[440][1] bi[440][2] bi[440][3] bi[440][4] bi[440][5] bi[441][0] bi[441][1] bi[441][2] bi[441][3] bi[441][4] bi[441][5] bi[442][0] bi[442][1] bi[442][2] bi[442][3] bi[442][4] bi[442][5] bi[443][0] bi[443][1] bi[443][2] bi[443][3] bi[443][4] bi[443][5] bi[444][0] bi[444][1] bi[444][2] bi[444][3] bi[444][4] bi[444][5] bi[445][0] bi[445][1] bi[445][2] bi[445][3] bi[445][4] bi[445][5] bi[446][0] bi[446][1] bi[446][2] bi[446][3] bi[446][4] bi[446][5] bi[447][0] bi[447][1] bi[447][2] bi[447][3] bi[447][4] bi[447][5] bi[448][0] bi[448][1] bi[448][2] bi[448][3] bi[448][4] bi[448][5] bi[449][0] bi[449][1] bi[449][2] bi[449][3] bi[449][4] bi[449][5] bi[450][0] bi[450][1] bi[450][2] bi[450][3] bi[450][4] bi[450][5] bi[451][0] bi[451][1] bi[451][2] bi[451][3] bi[451][4] bi[451][5] bi[452][0] bi[452][1] bi[452][2] bi[452][3] bi[452][4] bi[452][5] bi[453][0] bi[453][1] bi[453][2] bi[453][3] bi[453][4] bi[453][5] bi[454][0] bi[454][1] bi[454][2] bi[454][3] bi[454][4] bi[454][5] bi[455][0] bi[455][1] bi[455][2] bi[455][3] bi[455][4] bi[455][5] bi[456][0] bi[456][1] bi[456][2] bi[456][3] bi[456][4] bi[456][5] bi[457][0] bi[457][1] bi[457][2] bi[457][3] bi[457][4] bi[457][5] bi[458][0] bi[458][1] bi[458][2] bi[458][3] bi[458][4] bi[458][5] bi[459][0] bi[459][1] bi[459][2] bi[459][3] bi[459][4] bi[459][5] bi[460][0] bi[460][1] bi[460][2] bi[460][3] bi[460][4] bi[460][5] bi[461][0] bi[461][1] bi[461][2] bi[461][3] bi[461][4] bi[461][5] bi[462][0] bi[462][1] bi[462][2] bi[462][3] bi[462][4] bi[462][5] bi[463][0] bi[463][1] bi[463][2] bi[463][3] bi[463][4] bi[463][5] bi[464][0] bi[464][1] bi[464][2] bi[464][3] bi[464][4] bi[464][5] bi[465][0] bi[465][1] bi[465][2] bi[465][3] bi[465][4] bi[465][5] bi[466][0] bi[466][1] bi[466][2] bi[466][3] bi[466][4] bi[466][5] bi[467][0] bi[467][1] bi[467][2] bi[467][3] bi[467][4] bi[467][5] bi[468][0] bi[468][1] bi[468][2] bi[468][3] bi[468][4] bi[468][5] bi[469][0] bi[469][1] bi[469][2] bi[469][3] bi[469][4] bi[469][5] bi[470][0] bi[470][1] bi[470][2] bi[470][3] bi[470][4] bi[470][5] bi[471][0] bi[471][1] bi[471][2] bi[471][3] bi[471][4] bi[471][5] bi[472][0] bi[472][1] bi[472][2] bi[472][3] bi[472][4] bi[472][5] bi[473][0] bi[473][1] bi[473][2] bi[473][3] bi[473][4] bi[473][5] bi[474][0] bi[474][1] bi[474][2] bi[474][3] bi[474][4] bi[474][5] bi[475][0] bi[475][1] bi[475][2] bi[475][3] bi[475][4] bi[475][5] bi[476][0] bi[476][1] bi[476][2] bi[476][3] bi[476][4] bi[476][5] bi[477][0] bi[477][1] bi[477][2] bi[477][3] bi[477][4] bi[477][5] bi[478][0] bi[478][1] bi[478][2] bi[478][3] bi[478][4] bi[478][5] bi[479][0] bi[479][1] bi[479][2] bi[479][3] bi[479][4] bi[479][5] bi[480][0] bi[480][1] bi[480][2] bi[480][3] bi[480][4] bi[480][5] bi[481][0] bi[481][1] bi[481][2] bi[481][3] bi[481][4] bi[481][5] bi[482][0] bi[482][1] bi[482][2] bi[482][3] bi[482][4] bi[482][5] bi[483][0] bi[483][1] bi[483][2] bi[483][3] bi[483][4] bi[483][5] bi[484][0] bi[484][1] bi[484][2] bi[484][3] bi[484][4] bi[484][5] bi[485][0] bi[485][1] bi[485][2] bi[485][3] bi[485][4] bi[485][5] bi[486][0] bi[486][1] bi[486][2] bi[486][3] bi[486][4] bi[486][5] bi[487][0] bi[487][1] bi[487][2] bi[487][3] bi[487][4] bi[487][5] bi[488][0] bi[488][1] bi[488][2] bi[488][3] bi[488][4] bi[488][5] bi[489][0] bi[489][1] bi[489][2] bi[489][3] bi[489][4] bi[489][5] bi[490][0] bi[490][1] bi[490][2] bi[490][3] bi[490][4] bi[490][5] bi[491][0] bi[491][1] bi[491][2] bi[491][3] bi[491][4] bi[491][5] bi[492][0] bi[492][1] bi[492][2] bi[492][3] bi[492][4] bi[492][5] bi[493][0] bi[493][1] bi[493][2] bi[493][3] bi[493][4] bi[493][5] bi[494][0] bi[494][1] bi[494][2] bi[494][3] bi[494][4] bi[494][5] bi[495][0] bi[495][1] bi[495][2] bi[495][3] bi[495][4] bi[495][5] bi[496][0] bi[496][1] bi[496][2] bi[496][3] bi[496][4] bi[496][5] bi[497][0] bi[497][1] bi[497][2] bi[497][3] bi[497][4] bi[497][5] bi[498][0] bi[498][1] bi[498][2] bi[498][3] bi[498][4] bi[498][5] bi[499][0] bi[499][1] bi[499][2] bi[499][3] bi[499][4] bi[499][5] bi[500][0] bi[500][1] bi[500][2] bi[500][3] bi[500][4] bi[500][5] bi[501][0] bi[501][1] bi[501][2] bi[501][3] bi[501][4] bi[501][5] bi[502][0] bi[502][1] bi[502][2] bi[502][3] bi[502][4] bi[502][5] bi[503][0] bi[503][1] bi[503][2] bi[503][3] bi[503][4] bi[503][5] bi[504][0] bi[504][1] bi[504][2] bi[504][3] bi[504][4] bi[504][5] bi[505][0] bi[505][1] bi[505][2] bi[505][3] bi[505][4] bi[505][5] bi[506][0] bi[506][1] bi[506][2] bi[506][3] bi[506][4] bi[506][5] bi[507][0] bi[507][1] bi[507][2] bi[507][3] bi[507][4] bi[507][5] bi[508][0] bi[508][1] bi[508][2] bi[508][3] bi[508][4] bi[508][5] bi[509][0] bi[509][1] bi[509][2] bi[509][3] bi[509][4] bi[509][5] bi[510][0] bi[510][1] bi[510][2] bi[510][3] bi[510][4] bi[510][5] bi[511][0] bi[511][1] bi[511][2] bi[511][3] bi[511][4] bi[511][5] bi[512][0] bi[512][1] bi[512][2] bi[512][3] bi[512][4] bi[512][5] bi[513][0] bi[513][1] bi[513][2] bi[513][3] bi[513][4] bi[513][5] bi[514][0] bi[514][1] bi[514][2] bi[514][3] bi[514][4] bi[514][5] bi[515][0] bi[515][1] bi[515][2] bi[515][3] bi[515][4] bi[515][5] bi[516][0] bi[516][1] bi[516][2] bi[516][3] bi[516][4] bi[516][5] bi[517][0] bi[517][1] bi[517][2] bi[517][3] bi[517][4] bi[517][5] bi[518][0] bi[518][1] bi[518][2] bi[518][3] bi[518][4] bi[518][5] bi[519][0] bi[519][1] bi[519][2] bi[519][3] bi[519][4] bi[519][5] bi[520][0] bi[520][1] bi[520][2] bi[520][3] bi[520][4] bi[520][5] bi[521][0] bi[521][1] bi[521][2] bi[521][3] bi[521][4] bi[521][5] bi[522][0] bi[522][1] bi[522][2] bi[522][3] bi[522][4] bi[522][5] bi[523][0] bi[523][1] bi[523][2] bi[523][3] bi[523][4] bi[523][5] bi[524][0] bi[524][1] bi[524][2] bi[524][3] bi[524][4] bi[524][5] bi[525][0] bi[525][1] bi[525][2] bi[525][3] bi[525][4] bi[525][5] bi[526][0] bi[526][1] bi[526][2] bi[526][3] bi[526][4] bi[526][5] bi[527][0] bi[527][1] bi[527][2] bi[527][3] bi[527][4] bi[527][5] bi[528][0] bi[528][1] bi[528][2] bi[528][3] bi[528][4] bi[528][5] bi[529][0] bi[529][1] bi[529][2] bi[529][3] bi[529][4] bi[529][5] bi[530][0] bi[530][1] bi[530][2] bi[530][3] bi[530][4] bi[530][5] bi[531][0] bi[531][1] bi[531][2] bi[531][3] bi[531][4] bi[531][5] bi[532][0] bi[532][1] bi[532][2] bi[532][3] bi[532][4] bi[532][5] bi[533][0] bi[533][1] bi[533][2] bi[533][3] bi[533][4] bi[533][5] bi[534][0] bi[534][1] bi[534][2] bi[534][3] bi[534][4] bi[534][5] bi[535][0] bi[535][1] bi[535][2] bi[535][3] bi[535][4] bi[535][5] bi[536][0] bi[536][1] bi[536][2] bi[536][3] bi[536][4] bi[536][5] bi[537][0] bi[537][1] bi[537][2] bi[537][3] bi[537][4] bi[537][5] bi[538][0] bi[538][1] bi[538][2] bi[538][3] bi[538][4] bi[538][5] bi[539][0] bi[539][1] bi[539][2] bi[539][3] bi[539][4] bi[539][5] bi[540][0] bi[540][1] bi[540][2] bi[540][3] bi[540][4] bi[540][5] bi[541][0] bi[541][1] bi[541][2] bi[541][3] bi[541][4] bi[541][5] bi[542][0] bi[542][1] bi[542][2] bi[542][3] bi[542][4] bi[542][5] bi[543][0] bi[543][1] bi[543][2] bi[543][3] bi[543][4] bi[543][5] bi[544][0] bi[544][1] bi[544][2] bi[544][3] bi[544][4] bi[544][5] bi[545][0] bi[545][1] bi[545][2] bi[545][3] bi[545][4] bi[545][5] bi[546][0] bi[546][1] bi[546][2] bi[546][3] bi[546][4] bi[546][5] bi[547][0] bi[547][1] bi[547][2] bi[547][3] bi[547][4] bi[547][5] bi[548][0] bi[548][1] bi[548][2] bi[548][3] bi[548][4] bi[548][5] bi[549][0] bi[549][1] bi[549][2] bi[549][3] bi[549][4] bi[549][5] bi[550][0] bi[550][1] bi[550][2] bi[550][3] bi[550][4] bi[550][5] bi[551][0] bi[551][1] bi[551][2] bi[551][3] bi[551][4] bi[551][5] bi[552][0] bi[552][1] bi[552][2] bi[552][3] bi[552][4] bi[552][5] bi[553][0] bi[553][1] bi[553][2] bi[553][3] bi[553][4] bi[553][5] bi[554][0] bi[554][1] bi[554][2] bi[554][3] bi[554][4] bi[554][5] bi[555][0] bi[555][1] bi[555][2] bi[555][3] bi[555][4] bi[555][5] bi[556][0] bi[556][1] bi[556][2] bi[556][3] bi[556][4] bi[556][5] bi[557][0] bi[557][1] bi[557][2] bi[557][3] bi[557][4] bi[557][5] bi[558][0] bi[558][1] bi[558][2] bi[558][3] bi[558][4] bi[558][5] bi[559][0] bi[559][1] bi[559][2] bi[559][3] bi[559][4] bi[559][5] bi[560][0] bi[560][1] bi[560][2] bi[560][3] bi[560][4] bi[560][5] bi[561][0] bi[561][1] bi[561][2] bi[561][3] bi[561][4] bi[561][5] bi[562][0] bi[562][1] bi[562][2] bi[562][3] bi[562][4] bi[562][5] bi[563][0] bi[563][1] bi[563][2] bi[563][3] bi[563][4] bi[563][5] bi[564][0] bi[564][1] bi[564][2] bi[564][3] bi[564][4] bi[564][5] bi[565][0] bi[565][1] bi[565][2] bi[565][3] bi[565][4] bi[565][5] bi[566][0] bi[566][1] bi[566][2] bi[566][3] bi[566][4] bi[566][5] bi[567][0] bi[567][1] bi[567][2] bi[567][3] bi[567][4] bi[567][5] bi[568][0] bi[568][1] bi[568][2] bi[568][3] bi[568][4] bi[568][5] bi[569][0] bi[569][1] bi[569][2] bi[569][3] bi[569][4] bi[569][5] bi[570][0] bi[570][1] bi[570][2] bi[570][3] bi[570][4] bi[570][5] bi[571][0] bi[571][1] bi[571][2] bi[571][3] bi[571][4] bi[571][5] bi[572][0] bi[572][1] bi[572][2] bi[572][3] bi[572][4] bi[572][5] bi[573][0] bi[573][1] bi[573][2] bi[573][3] bi[573][4] bi[573][5] bi[574][0] bi[574][1] bi[574][2] bi[574][3] bi[574][4] bi[574][5] bi[575][0] bi[575][1] bi[575][2] bi[575][3] bi[575][4] bi[575][5] bi[576][0] bi[576][1] bi[576][2] bi[576][3] bi[576][4] bi[576][5] bi[577][0] bi[577][1] bi[577][2] bi[577][3] bi[577][4] bi[577][5] bi[578][0] bi[578][1] bi[578][2] bi[578][3] bi[578][4] bi[578][5] bi[579][0] bi[579][1] bi[579][2] bi[579][3] bi[579][4] bi[579][5] bi[580][0] bi[580][1] bi[580][2] bi[580][3] bi[580][4] bi[580][5] bi[581][0] bi[581][1] bi[581][2] bi[581][3] bi[581][4] bi[581][5] bi[582][0] bi[582][1] bi[582][2] bi[582][3] bi[582][4] bi[582][5] bi[583][0] bi[583][1] bi[583][2] bi[583][3] bi[583][4] bi[583][5] bi[584][0] bi[584][1] bi[584][2] bi[584][3] bi[584][4] bi[584][5] bi[585][0] bi[585][1] bi[585][2] bi[585][3] bi[585][4] bi[585][5] bi[586][0] bi[586][1] bi[586][2] bi[586][3] bi[586][4] bi[586][5] bi[587][0] bi[587][1] bi[587][2] bi[587][3] bi[587][4] bi[587][5] bi[588][0] bi[588][1] bi[588][2] bi[588][3] bi[588][4] bi[588][5] bi[589][0] bi[589][1] bi[589][2] bi[589][3] bi[589][4] bi[589][5] bi[590][0] bi[590][1] bi[590][2] bi[590][3] bi[590][4] bi[590][5] bi[591][0] bi[591][1] bi[591][2] bi[591][3] bi[591][4] bi[591][5] bi[592][0] bi[592][1] bi[592][2] bi[592][3] bi[592][4] bi[592][5] bi[593][0] bi[593][1] bi[593][2] bi[593][3] bi[593][4] bi[593][5] bi[594][0] bi[594][1] bi[594][2] bi[594][3] bi[594][4] bi[594][5] bi[595][0] bi[595][1] bi[595][2] bi[595][3] bi[595][4] bi[595][5] bi[596][0] bi[596][1] bi[596][2] bi[596][3] bi[596][4] bi[596][5] bi[597][0] bi[597][1] bi[597][2] bi[597][3] bi[597][4] bi[597][5] bi[598][0] bi[598][1] bi[598][2] bi[598][3] bi[598][4] bi[598][5] bi[599][0] bi[599][1] bi[599][2] bi[599][3] bi[599][4] bi[599][5] bi[600][0] bi[600][1] bi[600][2] bi[600][3] bi[600][4] bi[600][5] bi[601][0] bi[601][1] bi[601][2] bi[601][3] bi[601][4] bi[601][5] bi[602][0] bi[602][1] bi[602][2] bi[602][3] bi[602][4] bi[602][5] bi[603][0] bi[603][1] bi[603][2] bi[603][3] bi[603][4] bi[603][5] bi[604][0] bi[604][1] bi[604][2] bi[604][3] bi[604][4] bi[604][5] bi[605][0] bi[605][1] bi[605][2] bi[605][3] bi[605][4] bi[605][5] bi[606][0] bi[606][1] bi[606][2] bi[606][3] bi[606][4] bi[606][5] bi[607][0] bi[607][1] bi[607][2] bi[607][3] bi[607][4] bi[607][5] bi[608][0] bi[608][1] bi[608][2] bi[608][3] bi[608][4] bi[608][5] bi[609][0] bi[609][1] bi[609][2] bi[609][3] bi[609][4] bi[609][5] bi[610][0] bi[610][1] bi[610][2] bi[610][3] bi[610][4] bi[610][5] bi[611][0] bi[611][1] bi[611][2] bi[611][3] bi[611][4] bi[611][5] bi[612][0] bi[612][1] bi[612][2] bi[612][3] bi[612][4] bi[612][5] bi[613][0] bi[613][1] bi[613][2] bi[613][3] bi[613][4] bi[613][5] bi[614][0] bi[614][1] bi[614][2] bi[614][3] bi[614][4] bi[614][5] bi[615][0] bi[615][1] bi[615][2] bi[615][3] bi[615][4] bi[615][5] bi[616][0] bi[616][1] bi[616][2] bi[616][3] bi[616][4] bi[616][5] bi[617][0] bi[617][1] bi[617][2] bi[617][3] bi[617][4] bi[617][5] bi[618][0] bi[618][1] bi[618][2] bi[618][3] bi[618][4] bi[618][5] bi[619][0] bi[619][1] bi[619][2] bi[619][3] bi[619][4] bi[619][5] bi[620][0] bi[620][1] bi[620][2] bi[620][3] bi[620][4] bi[620][5] bi[621][0] bi[621][1] bi[621][2] bi[621][3] bi[621][4] bi[621][5] bi[622][0] bi[622][1] bi[622][2] bi[622][3] bi[622][4] bi[622][5] bi[623][0] bi[623][1] bi[623][2] bi[623][3] bi[623][4] bi[623][5] bi[624][0] bi[624][1] bi[624][2] bi[624][3] bi[624][4] bi[624][5] bi[625][0] bi[625][1] bi[625][2] bi[625][3] bi[625][4] bi[625][5] bi[626][0] bi[626][1] bi[626][2] bi[626][3] bi[626][4] bi[626][5] bi[627][0] bi[627][1] bi[627][2] bi[627][3] bi[627][4] bi[627][5] bi[628][0] bi[628][1] bi[628][2] bi[628][3] bi[628][4] bi[628][5] bi[629][0] bi[629][1] bi[629][2] bi[629][3] bi[629][4] bi[629][5] bi[630][0] bi[630][1] bi[630][2] bi[630][3] bi[630][4] bi[630][5] bi[631][0] bi[631][1] bi[631][2] bi[631][3] bi[631][4] bi[631][5] bi[632][0] bi[632][1] bi[632][2] bi[632][3] bi[632][4] bi[632][5] bi[633][0] bi[633][1] bi[633][2] bi[633][3] bi[633][4] bi[633][5] bi[634][0] bi[634][1] bi[634][2] bi[634][3] bi[634][4] bi[634][5] bi[635][0] bi[635][1] bi[635][2] bi[635][3] bi[635][4] bi[635][5] bi[636][0] bi[636][1] bi[636][2] bi[636][3] bi[636][4] bi[636][5] bi[637][0] bi[637][1] bi[637][2] bi[637][3] bi[637][4] bi[637][5] bi[638][0] bi[638][1] bi[638][2] bi[638][3] bi[638][4] bi[638][5] bi[639][0] bi[639][1] bi[639][2] bi[639][3] bi[639][4] bi[639][5] bi[640][0] bi[640][1] bi[640][2] bi[640][3] bi[640][4] bi[640][5] bi[641][0] bi[641][1] bi[641][2] bi[641][3] bi[641][4] bi[641][5] bi[642][0] bi[642][1] bi[642][2] bi[642][3] bi[642][4] bi[642][5] bi[643][0] bi[643][1] bi[643][2] bi[643][3] bi[643][4] bi[643][5] bi[644][0] bi[644][1] bi[644][2] bi[644][3] bi[644][4] bi[644][5] bi[645][0] bi[645][1] bi[645][2] bi[645][3] bi[645][4] bi[645][5] bi[646][0] bi[646][1] bi[646][2] bi[646][3] bi[646][4] bi[646][5] bi[647][0] bi[647][1] bi[647][2] bi[647][3] bi[647][4] bi[647][5] bi[648][0] bi[648][1] bi[648][2] bi[648][3] bi[648][4] bi[648][5] bi[649][0] bi[649][1] bi[649][2] bi[649][3] bi[649][4] bi[649][5] bi[650][0] bi[650][1] bi[650][2] bi[650][3] bi[650][4] bi[650][5] bi[651][0] bi[651][1] bi[651][2] bi[651][3] bi[651][4] bi[651][5] bi[652][0] bi[652][1] bi[652][2] bi[652][3] bi[652][4] bi[652][5] bi[653][0] bi[653][1] bi[653][2] bi[653][3] bi[653][4] bi[653][5] bi[654][0] bi[654][1] bi[654][2] bi[654][3] bi[654][4] bi[654][5] bi[655][0] bi[655][1] bi[655][2] bi[655][3] bi[655][4] bi[655][5] bi[656][0] bi[656][1] bi[656][2] bi[656][3] bi[656][4] bi[656][5] bi[657][0] bi[657][1] bi[657][2] bi[657][3] bi[657][4] bi[657][5] bi[658][0] bi[658][1] bi[658][2] bi[658][3] bi[658][4] bi[658][5] bi[659][0] bi[659][1] bi[659][2] bi[659][3] bi[659][4] bi[659][5] bi[660][0] bi[660][1] bi[660][2] bi[660][3] bi[660][4] bi[660][5] bi[661][0] bi[661][1] bi[661][2] bi[661][3] bi[661][4] bi[661][5] bi[662][0] bi[662][1] bi[662][2] bi[662][3] bi[662][4] bi[662][5] bi[663][0] bi[663][1] bi[663][2] bi[663][3] bi[663][4] bi[663][5] bi[664][0] bi[664][1] bi[664][2] bi[664][3] bi[664][4] bi[664][5] bi[665][0] bi[665][1] bi[665][2] bi[665][3] bi[665][4] bi[665][5] bi[666][0] bi[666][1] bi[666][2] bi[666][3] bi[666][4] bi[666][5] bi[667][0] bi[667][1] bi[667][2] bi[667][3] bi[667][4] bi[667][5] bi[668][0] bi[668][1] bi[668][2] bi[668][3] bi[668][4] bi[668][5] bi[669][0] bi[669][1] bi[669][2] bi[669][3] bi[669][4] bi[669][5] bi[670][0] bi[670][1] bi[670][2] bi[670][3] bi[670][4] bi[670][5] bi[671][0] bi[671][1] bi[671][2] bi[671][3] bi[671][4] bi[671][5] bi[672][0] bi[672][1] bi[672][2] bi[672][3] bi[672][4] bi[672][5] bi[673][0] bi[673][1] bi[673][2] bi[673][3] bi[673][4] bi[673][5] bi[674][0] bi[674][1] bi[674][2] bi[674][3] bi[674][4] bi[674][5] bi[675][0] bi[675][1] bi[675][2] bi[675][3] bi[675][4] bi[675][5] bi[676][0] bi[676][1] bi[676][2] bi[676][3] bi[676][4] bi[676][5] bi[677][0] bi[677][1] bi[677][2] bi[677][3] bi[677][4] bi[677][5] bi[678][0] bi[678][1] bi[678][2] bi[678][3] bi[678][4] bi[678][5] bi[679][0] bi[679][1] bi[679][2] bi[679][3] bi[679][4] bi[679][5] bi[680][0] bi[680][1] bi[680][2] bi[680][3] bi[680][4] bi[680][5] bi[681][0] bi[681][1] bi[681][2] bi[681][3] bi[681][4] bi[681][5] bi[682][0] bi[682][1] bi[682][2] bi[682][3] bi[682][4] bi[682][5] bi[683][0] bi[683][1] bi[683][2] bi[683][3] bi[683][4] bi[683][5] bi[684][0] bi[684][1] bi[684][2] bi[684][3] bi[684][4] bi[684][5] bi[685][0] bi[685][1] bi[685][2] bi[685][3] bi[685][4] bi[685][5] bi[686][0] bi[686][1] bi[686][2] bi[686][3] bi[686][4] bi[686][5] bi[687][0] bi[687][1] bi[687][2] bi[687][3] bi[687][4] bi[687][5] bi[688][0] bi[688][1] bi[688][2] bi[688][3] bi[688][4] bi[688][5] bi[689][0] bi[689][1] bi[689][2] bi[689][3] bi[689][4] bi[689][5] bi[690][0] bi[690][1] bi[690][2] bi[690][3] bi[690][4] bi[690][5] bi[691][0] bi[691][1] bi[691][2] bi[691][3] bi[691][4] bi[691][5] bi[692][0] bi[692][1] bi[692][2] bi[692][3] bi[692][4] bi[692][5] bi[693][0] bi[693][1] bi[693][2] bi[693][3] bi[693][4] bi[693][5] bi[694][0] bi[694][1] bi[694][2] bi[694][3] bi[694][4] bi[694][5] bi[695][0] bi[695][1] bi[695][2] bi[695][3] bi[695][4] bi[695][5] bi[696][0] bi[696][1] bi[696][2] bi[696][3] bi[696][4] bi[696][5] bi[697][0] bi[697][1] bi[697][2] bi[697][3] bi[697][4] bi[697][5] bi[698][0] bi[698][1] bi[698][2] bi[698][3] bi[698][4] bi[698][5] bi[699][0] bi[699][1] bi[699][2] bi[699][3] bi[699][4] bi[699][5] bi[700][0] bi[700][1] bi[700][2] bi[700][3] bi[700][4] bi[700][5] bi[701][0] bi[701][1] bi[701][2] bi[701][3] bi[701][4] bi[701][5] bi[702][0] bi[702][1] bi[702][2] bi[702][3] bi[702][4] bi[702][5] bi[703][0] bi[703][1] bi[703][2] bi[703][3] bi[703][4] bi[703][5] bi[704][0] bi[704][1] bi[704][2] bi[704][3] bi[704][4] bi[704][5] bi[705][0] bi[705][1] bi[705][2] bi[705][3] bi[705][4] bi[705][5] bi[706][0] bi[706][1] bi[706][2] bi[706][3] bi[706][4] bi[706][5] bi[707][0] bi[707][1] bi[707][2] bi[707][3] bi[707][4] bi[707][5] bi[708][0] bi[708][1] bi[708][2] bi[708][3] bi[708][4] bi[708][5] bi[709][0] bi[709][1] bi[709][2] bi[709][3] bi[709][4] bi[709][5] bi[710][0] bi[710][1] bi[710][2] bi[710][3] bi[710][4] bi[710][5] bi[711][0] bi[711][1] bi[711][2] bi[711][3] bi[711][4] bi[711][5] bi[712][0] bi[712][1] bi[712][2] bi[712][3] bi[712][4] bi[712][5] bi[713][0] bi[713][1] bi[713][2] bi[713][3] bi[713][4] bi[713][5] bi[714][0] bi[714][1] bi[714][2] bi[714][3] bi[714][4] bi[714][5] bi[715][0] bi[715][1] bi[715][2] bi[715][3] bi[715][4] bi[715][5] bi[716][0] bi[716][1] bi[716][2] bi[716][3] bi[716][4] bi[716][5] bi[717][0] bi[717][1] bi[717][2] bi[717][3] bi[717][4] bi[717][5] bi[718][0] bi[718][1] bi[718][2] bi[718][3] bi[718][4] bi[718][5] bi[719][0] bi[719][1] bi[719][2] bi[719][3] bi[719][4] bi[719][5] bi[720][0] bi[720][1] bi[720][2] bi[720][3] bi[720][4] bi[720][5] bi[721][0] bi[721][1] bi[721][2] bi[721][3] bi[721][4] bi[721][5] bi[722][0] bi[722][1] bi[722][2] bi[722][3] bi[722][4] bi[722][5] bi[723][0] bi[723][1] bi[723][2] bi[723][3] bi[723][4] bi[723][5] bi[724][0] bi[724][1] bi[724][2] bi[724][3] bi[724][4] bi[724][5] bi[725][0] bi[725][1] bi[725][2] bi[725][3] bi[725][4] bi[725][5] bi[726][0] bi[726][1] bi[726][2] bi[726][3] bi[726][4] bi[726][5] bi[727][0] bi[727][1] bi[727][2] bi[727][3] bi[727][4] bi[727][5] bi[728][0] bi[728][1] bi[728][2] bi[728][3] bi[728][4] bi[728][5] g[0] g[1] g[2]
19914.50/2520.14	v 	</list>
19914.50/2520.14	v 	<values>
19914.50/2520.14	v 		0 2 8 25 76 229 687 603 353 330 262 57 172 518 96 288 135 405 487 3 9 27 82 247 13 40 120 360 351 325 246 11 35 105 315 216 648 488 6 20 61 185 555 207 623 411 504 56 168 505 59 177 533 141 425 546 180 541 167 501 46 140 421 534 145 435 576 271 84 254 33 100 300 173 520 103 309 199 597 334 274 95 286 129 387 433 571 255 37 112 336 280 113 339 289 139 418 527 123 369 378 407 494 24 73 219 658 516 92 277 102 306 191 573 263 62 186 558 218 654 506 60 181 543 171 515 89 267 74 222 668 547 183 549 190 572 259 50 151 453 630 432 568 248 16 49 148 446 610 372 388 436 579 281 116 348 317 223 669 550 192 577 275 97 293 150 451 625 417 522 109 329 258 45 136 409 498 36 108 326 250 22 66 198 595 327 253 30 91 273 90 270 81 243 1 4 14 42 128 384 423 542 170 510 72 217 653 502 48 146 438 585 298 165 496 31 94 283 122 366 371 385 427 552 200 601 347 312 209 629 429 560 224 672 559 220 660 524 115 345 308 195 586 301 176 528 126 379 408 495 29 87 261 54 163 490 12 38 114 342 297 164 493 21 63 189 569 249 19 58 175 526 121 364 363 361 354 333 272 88 265 68 204 613 381 414 514 85 256 39 119 358 346 311 205 616 391 444 604 356 340 292 149 448 615 389 440 591 316 221 663 532 138 415 517 93 279 110 332 268 75 226 678 578 276 99 299 169 507 65 197 592 318 227 681 587 304 184 553 201 605 359 349 320 231 694 624 416 519 101 303 182 548 187 561 225 676 570 252 28 86 260 51 153 459 650 492 18 55 166 500 43 131 393 450 622 410 503 52 158 474 695 627 424 544 174 523 111 335 278 106 319 230 691 617 394 454 633 442 598 337 282 117 352 328 257 44 132 397 463 662 529 130 390 441 596 331 264 64 194 584 294 155 467 673 562 228 684 594 324 244 5 15 47 143 430 563 232 696 632 439 589 310 203 611 375 396 461 655 509 70 210 631 437 582 290 142 428 557 213 640 464 664 535 147 443 600 343 302 179 538 157 472 689 609 370 382 419 530 133 399 470 682 590 313 212 636 452 628 426 551 196 588 307 193 581 285 127 383 422 539 161 483 720 703 651 497 34 104 314 215 646 482 718 697 634 445 608 368 377 403 480 713 683 593 323 240 721 705 657 513 83 251 26 79 239 717 693 621 406 489 10 32 98 296 160 481 716 692 618 398 466 670 554 206 620 404 484 724 714 686 602 350 322 238 715 688 606 362 357 344 305 188 565 237 712 679 580 284 124 373 392 447 614 386 431 564 236 709 671 556 211 635 449 619 400 473 690 612 380 413 512 80 242 728 727 723 711 677 575 269 78 234 702 649 491 17 53 159 478 707 665 537 154 462 659 521 107 321 235 706 661 525 118 355 338 287 134 402 477 704 656 511 77 233 699 641 465 667 545 178 536 152 456 639 460 652 499 41 125 376 401 475 698 637 455 638 457 643 471 685 599 341 295 156 468 675 567 245 7 23 71 214 642 469 680 583 291 144 434 574 266 69 208 626 420 531 137 412 508 67 202 607 365 367 374 395 458 645 479 710 674 566 241 725 719 700 644 476 701 647 485 726 722 708 666 540 162 486 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 2 0 0 0 2 2 1 0 0 2 2 1 1 0 2 2 1 1 1 2 2 1 1 1 0 2 1 1 1 0 0 1 1 1 0 0 2 1 1 0 0 2 0 1 0 0 2 0 1 0 0 2 0 1 0 0 2 0 1 0 1 2 0 1 0 1 2 0 1 0 1 2 0 1 0 1 2 0 0 0 1 2 0 0 0 1 2 0 0 0 0 2 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 1 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 0 1 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 2 0 0 1 0 2 2 0 1 0 2 2 0 1 0 2 2 0 0 0 2 2 0 0 0 2 2 0 0 0 0 2 0 0 0 0 2 0 0 0 0 2 0 0 0 0 2 0 2 0 0 2 0 2 1 0 2 0 2 1 2 2 0 2 1 2 0 0 2 1 2 0 0 2 1 2 0 0 2 1 2 0 0 2 0 2 0 0 2 0 0 0 0 2 0 0 2 0 2 0 0 2 0 2 0 0 2 0 1 0 0 2 0 1 2 0 2 0 1 2 0 2 0 1 2 0 2 0 1 2 0 2 0 1 2 0 2 0 2 2 0 2 0 2 0 0 2 0 2 0 0 2 0 2 0 0 1 0 2 0 0 1 2 2 0 0 1 2 0 0 0 1 2 0 1 0 1 2 0 1 2 1 2 0 1 2 1 2 0 1 2 1 0 0 1 2 1 0 1 1 2 1 0 1 0 2 1 0 1 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 0 1 0 2 0 0 1 0 2 0 0 1 0 2 0 1 1 0 2 0 1 0 0 2 0 1 0 2 2 0 1 0 2 1 0 1 0 2 1 1 1 0 2 1 1 0 0 2 1 1 0 1 2 1 1 0 1 0 1 1 0 1 0 1 1 0 1 0 1 1 0 1 0 1 1 2 1 0 1 1 2 1 0 1 1 2 1 0 1 1 2 1 0 0 1 2 1 0 0 1 2 1 0 0 1 1 1 0 0 1 1 0 0 0 1 1 0 1 0 1 1 0 1 1 1 1 0 1 1 0 1 0 1 1 0 1 0 1 1 0 1 2 1 1 0 1 2 0 1 0 1 2 0 1 0 1 2 0 1 1 1 2 0 1 1 1 2 0 1 1 1 2 0 1 1 1 2 0 1 1 1 2 0 0 1 1 2 0 0 0 1 2 0 0 0 2 2 0 0 0 2 2 0 0 0 2 2 0 0 0 2 2 0 1 0 2 2 0 1 0 2 2 0 1 0 1 2 0 1 0 1 0 0 1 0 1 0 2 1 0 1 0 2 1 0 1 0 2 1 0 1 0 2 1 0 0 0 2 1 0 0 2 2 1 0 0 2 0 1 0 0 2 0 2 0 0 2 0 2 2 0 2 0 2 2 0 2 0 2 2 0 0 0 2 2 0 0 2 2 2 0 0 2 0 2 0 0 2 0 2 0 0 2 0 2 0 0 2 0 2 0 1 2 0 2 0 1 0 0 2 0 1 0 0 2 0 1 0 0 2 0 1 0 0 2 2 1 0 0 2 2 0 0 0 2 2 0 2 0 2 2 0 2 0 2 2 0 2 0 2 2 0 2 0 2 1 0 2 0 2 1 0 2 0 2 1 0 0 0 2 1 0 0 1 2 1 0 0 1 2 1 0 0 1 2 1 0 0 1 2 1 2 0 1 2 1 2 1 1 2 1 2 1 0 2 1 2 1 0 0 1 2 1 0 0 0 2 1 0 0 0 1 1 0 0 0 1 2 0 0 0 1 2 1 0 0 1 2 1 1 0 1 2 1 1 1 1 2 1 1 1 2 2 1 1 1 2 1 1 1 1 2 1 0 1 1 2 1 0 1 1 2 1 0 1 1 2 1 0 1 1 0 1 0 1 1 0 2 0 1 1 0 2 2 1 1 0 2 2 0 1 0 2 2 0 2 0 2 2 0 2 1 2 2 0 2 1 0 2 0 2 1 0 1 0 2 1 0 1 0 2 1 0 1 0 1 1 0 1 0 1 2 0 1 0 1 2 1 1 0 1 2 1 2 0 1 2 1 2 0 1 2 1 2 0 1 2 1 2 0 1 1 1 2 0 1 1 0 2 0 1 1 0 0 0 1 1 0 0 1 1 1 0 0 1 2 1 0 0 1 2 0 0 0 1 2 0 0 0 1 2 0 0 1 1 2 0 0 1 1 2 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 2 1 0 0 0 2 1 0 0 0 2 1 1 0 0 2 1 1 0 0 2 1 1 0 0 2 1 1 0 0 1 1 1 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 1 2 0 0 1 1 2 0 0 1 1 2 0 2 1 1 2 0 2 0 1 2 0 2 0 0 2 0 2 0 0 2 0 2 0 0 2 2 2 0 0 2 2 0 0 0 2 2 0 0 0 2 2 0 0 1 2 2 0 0 1 2 2 0 0 1 2 1 0 0 1 2 1 0 0 1 2 1 0 2 1 2 1 0 2 0 2 1 0 2 0 0 1 0 2 0 0 1 0 2 0 0 1 0 2 0 0 1 0 1 0 0 1 0 1 1 0 1 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 2 1 1 1 1 2 0 1 1 1 2 0 2 1 1 2 0 2 1 1 2 0 2 1 1 2 0 2 1 1 0 0 2 1 1 0 2 2 1 1 0 2 1 1 1 0 2 1 2 1 0 2 1 2 0 0 2 1 2 0 2 2 1 2 0 2 2 1 2 0 2 2 0 2 0 2 2 0 2 0 2 2 0 2 2 2 2 0 2 2 0 2 0 2 2 0 1 0 2 2 0 1 1 2 2 0 1 1 0 2 0 1 1 0 2 0 1 1 0 2 1 1 1 0 2 1 0 1 0 2 1 0 2 0 2 1 0 2 0 2 1 0 2 0 1 1 0 2 0 1 1 0 2 0 1 1 2 2 0 1 1 2 0 0 1 1 2 0 0 1 1 2 0 0 1 1 2 0 0 1 0 2 0 0 1 0 0 0 0 1 0 0 2 0 1 0 0 2 0 1 0 0 2 0 0 0 0 2 0 0 0 0 2 0 0 0 1 2 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 2 0 1 1 0 2 0 1 1 0 2 0 0 1 0 2 0 0 0 0 2 0 0 0 2 2 0 0 0 2 1 0 0 0 2 1 0 0 0 2 1 0 0 0 2 1 0 0 0 2 1 0 0 0 2 1 0 0 0 2 0 0 0 0 2 0 1 0 0 2 0 1 1 0 2 0 1 1 1 2 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 1 0 1 1 0 1 0 0 1 0 1 0 0 2 0 1 0 0 2 1 1 0 0 2 1 1 0 0 2 1 1 2 0 2 1 1 2 0 2 1 1 2 0 1 1 1 2 0 1 0 1 2 0 1 0 0 2 0 1 0 0 1 0 1 0 0 1 1 1 0 0 1 1 1 0 0 1 1 1 0 0 1 1 1 0 2 1 1 1 0 2 1 1 1 0 2 1 1 1 0 2 1 1 2 0 2 1 1 2 1 2 1 1 2 1 1 1 1 2 1 1 1 1 2 1 1 1 0 2 1 1 1 0 1 1 1 1 0 1 2 1 1 0 1 2 1 1 0 1 2 1 1 0 1 2 1 1 2 1 2 1 1 2 1 2 1 1 2 1 0 1 1 2 1 0 2 1 2 1 0 2 2 2 1 0 2 2 0 1 0 2 2 0 1 0 2 2 0 1 2 2 2 0 1 2 0 2 0 1 2 0 1 0 1 2 0 1 0 1 2 0 1 0 1 2 0 1 0 1 1 0 1 0 1 1 0 1 0 1 1 0 0 0 1 1 0 0 2 1 1 0 0 2 2 1 0 0 2 2 1 0 0 2 2 1 0 0 2 2 1 0 1 2 2 1 0 1 0 2 1 0 1 0 2 1 0 1 0 2 0 0 1 0 2 0 0 1 0 2 0 0 2 0 2 0 0 2 1 2 0 0 2 1 0 0 0 2 1 0 2 0 2 1 0 2 2 2 1 0 2 2 1 1 0 2 2 1 0 0 2 2 1 0 2 2 2 1 0 2 0 2 1 0 2 0 2 1 0 2 0 2 1 0 2 0 2 1 1 2 0 2 1 1 1 0 2 1 1 1 0 2 1 1 1 0 2 1 1 1 0 2 2 1 1 0 2 2 1 1 0 2 2 1 2 0 2 2 1 2 0 2 2 1 2 0 1 2 1 2 0 1 0 1 2 0 1 0 2 2 0 1 0 2 0 0 1 0 2 0 2 1 0 2 0 2 0 0 2 0 2 0 2 2 0 2 0 2 2 0 2 0 2 2 1 2 0 2 2 1 0 0 2 2 1 0 0 2 2 1 0 0 1 2 1 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 1 2 1 0 0 1 2 2 0 0 1 2 2 0 0 1 2 2 0 0 1 2 2 0 0 0 2 2 0 0 0 2 2 0 0 0 2 0 0 0 0 2 0 0 0 0 2 0 0 1 0 2 0 0 1 1 2 0 0 1 1 2 0 0 1 1 2 1 0 1 1 2 1 2 1 1 2 1 2 0 1 2 1 2 0 0 2 1 2 0 0 1 1 2 0 0 1 2 2 0 0 1 2 2 0 0 1 2 2 1 0 1 2 2 1 2 1 2 2 1 2 0 2 2 1 2 0 2 2 1 2 0 2 0 1 2 0 2 0 1 2 0 2 0 1 1 0 2 0 1 1 0 2 0 1 1 0 1 0 1 1 0 1 0 1 1 0 1 0 2 1 0 1 0 2 2 0 1 0 2 2 1 1 0 2 2 1 1 0 2 2 1 1 2 2 2 1 1 2 1 2 1 1 2 1 2 1 1 2 1 2 1 1 2 1 2 1 1 2 1 2 1 1 0 1 2 1 1 0 1 2 1 1 0 1 1 1 1 0 1 1 1 1 0 1 1 1 0 0 1 1 1 0 0 1 1 1 0 0 1 1 1 0 0 1 1 1 0 0 1 1 2 0 0 1 1 2 2 0 1 1 2 2 0 1 1 2 2 0 1 1 2 2 0 1 1 2 2 0 1 1 2 2 0 1 1 2 1 0 1 1 2 1 1 1 1 2 1 1 0 1 2 1 1 0 0 2 1 1 0 0 2 1 1 0 0 2 1 1 0 0 2 1 0 0 0 2 1 0 1 0 2 1 0 1 2 2 1 0 1 2 2 1 0 1 2 2 0 0 1 2 2 0 2 1 2 2 0 2 2 2 2 0 2 2 1 2 0 2 2 1 1 0 2 2 1 1 0 2 2 1 1 0 0 2 1 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 2 0 0 0 1 2 0 0 0 1 2 0 2 0 1 2 0 2 2 1 2 0 2 2 1 2 0 2 2 1 2 0 2 2 1 2 1 2 2 1 2 1 0 2 1 2 1 0 2 1 2 1 0 2 1 2 1 0 2 1 1 1 0 2 1 1 1 0 2 1 1 1 2 2 1 1 1 2 2 1 1 1 2 2 0 1 1 2 2 0 0 1 2 2 0 0 2 2 2 0 0 2 1 2 0 0 2 1 2 0 0 2 1 2 1 0 2 1 2 1 0 2 1 2 1 0 1 1 2 1 0 1 2 2 1 0 1 2 0 1 0 1 2 0 2 0 1 2 0 2 1 1 2 0 2 1 2 2 0 2 1 2 2 0 2 1 2 2 0 2 1 2 2 0 1 1 2 2 0 1 2 2 2 0 1 2 1 2 0 1 2 1 1 0 1 2 1 1 0 1 2 1 1 0 2 2 1 1 0 2 0 1 1 0 2 0 1 1 0 2 0 1 2 0 2 0 1 2 2 2 0 1 2 2 1 0 1 2 2 1 1 1 2 2 1 1 1 2 2 1 1 1 2 2 1 1 1 2 0 1 1 1 2 0 1 1 1 2 0 1 1 1 2 0 1 1 2 2 0 1 1 2 2 0 1 1 2 2 1 1 1 2 2 1 0 1 2 2 1 0 2 2 2 1 0 2 1 2 1 0 2 1 2 1 0 2 1 2 1 0 2 1 2 1 2 2 1 2 1 2 0 1 2 1 2 0 2 2 1 2 0 2 1 1 2 0 2 1 0 2 0 2 1 0 2 0 2 1 0 2 1 2 1 0 2 1 0 1 0 2 1 0 1 0 2 1 0 1 1 2 1 0 1 1 2 1 0 1 1 2 0 0 1 1 2 0 1 1 1 2 0 1 2 1 2 0 1 2 2 2 0 1 2 2 2 0 1 2 2 2 2 1 2 2 2 2 0 2 2 2 2 0 0 2 2 2 0 0 1 2 2 0 0 1 0 2 0 0 1 0 2 0 0 1 0 2 1 0 1 0 2 1 2 1 0 2 1 2 2 0 2 1 2 2 2 2 1 2 2 2 1 1 2 2 2 1 2 2 2 2 1 2 1 2 2 1 2 1 1 2 1 2 1 1 1 1 2 1 1 1 1 2 1 1 1 1 2 1 1 1 1 2 2 1 1 1 2 2 2 1 1 2 2 2 1 1 2 2 2 1 0 2 2 2 1 0 2 2 2 1 0 2 2 2 1 0 2 2 2 1 0 2 2 2 2 0 2 2 2 2 0 2 2 2 2 0 1 2 2 2 0 1 0 2 2 0 1 0 0 2 0 1 0 0 0 0 1 0 0 0 2 1 0 0 0 2 2 0 0 0 2 2 2 0 0 2 2 2 1 0 2 2 2 1 2 2 2 2 1 2 0 2 2 1 2 0 0 2 1 2 0 0 0 1 2 0 0 0 1 2 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 1 2 0 1 0 1 2 2 1 0 1 2 2 2 0 1 2 2 2 1 1 2 2 2 1 1 2 2 2 1 1 2 2 2 1 1 2 2 2 1 1 2 2 0 1 1 2 2 0 2 1 2 2 0 2 1 2 2 0 2 1 1 2 0 2 1 1 2 0 2 1 1 2 2 2 1 1 2 2 2 1 1 2 2 2 2 1 2 2 2 2 1 2 2 2 2 1 1 2 2 2 1 1 0 2 2 1 1 0 2 2 1 1 0 2 2 1 1 0 2 2 2 1 0 2 2 2 1 0 2 2 2 1 1 2 2 2 1 1 1 2 2 1 1 1 1 2 1 1 1 1 0 1 1 1 1 0 2 1 1 1 0 2 0 1 1 0 2 0 2 1 0 2 0 2 2 0 2 0 2 2 2 2 0 2 2 2 1 0 2 2 2 1 0 2 2 2 1 0 1 2 2 1 0 1 1 2 1 0 1 1 1 1 0 1 1 1 2 0 1 1 1 2 1 1 1 1 2 1 1 1 1 2 1 1 2 1 2 1 1 2 0 2 1 1 2 0 2 1 1 2 0 2 2 1 2 0 2 2 2 2 0 2 2 2 0 0 2 2 2 0 2 2 2 2 0 2 1 2 2 0 2 1 2 2 0 2 1 2 1 0 2 1 2 1 1 2 1 2 1 1 2 1 2 1 1 2 2 2 1 1 2 2 1 1 1 2 2 1 1 1 2 2 1 1 2 2 2 1 1 2 0 2 1 1 2 0 0 1 1 2 0 0 2 1 2 0 0 2 2 2 0 0 2 2 2 0 0 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 1 0 2 2 2 1 0 0 2 2 1 0 0 2 2 1 0 0 2 2 1 0 0 2 2 2 0 0 2 2 2 0 0 2 2 2 0 0 2 2 2 0 0 0 2 2 0 0 0 1 2 0 0 0 1 2 0 0 0 1 2 2 0 0 1 2 2 2 0 1 2 2 2 0 1 2 2 2 0 1 2 2 2 0 1 2 2 2 0 1 2 2 2 0 1 2 2 0 0 1 2 2 0 1 1 2 2 0 1 0 2 2 0 1 0 2 2 0 1 0 2 2 0 1 0 2 2 2 1 0 2 2 2 0 0 2 2 2 0 1 2 2 2 0 1 1 2 2 0 1 1 1 2 0 1 1 1 0 0 1 1 1 0 1 1 1 1 0 1 1 1 1 0 1 1 2 1 0 1 1 2 2 0 1 1 2 2 2 1 1 2 2 2 0 1 2 2 2 0 0 2 2 2 0 0 2 2 2 0 0 2 2 2 0 0 2 2 1 0 0 2 2 1 2 0 2 2 1 2 2 2 2 1 2 2 0 2 1 2 2 0 2 1 2 2 0 2 0 2 2 0 2 0 1 2 0 2 0 1 2 0 2 0 1 2 1 2 0 1 2 1 2 0 1 2 1 2 2 1 2 1 2 2 0 2 1 2 2 0 0 1 2 2 0 0 1 2 2 0 0 1 1 2 0 0 1 1 1 0 0 1 1 1 2 0 1 1 1 2 2 1 1 1 2 2 1 1 1 2 2 1 2 1 2 2 1 2 1 2 2 1 2 1 2 2 1 2 1 2 1 1 2 1 2 1 2 2 1 2 1 2 2 1 2 1 2 2 1 2 1 2 2 1 1 1 2 2 1 1 0 2 2 1 1 0 1 2 1 1 0 1 2 1 1 0 1 2 2 1 0 1 2 2 1 0 1 2 2 1 0 1 2 2 1 0 0 2 2 1 0 0 0 2 1 0 0 0 0 1 0 0 0 0 2 0 0 0 0 2 1 0 0 0 2 1 2 0 0 2 1 2 2 0 2 1 2 2 1 2 1 2 2 1 0 1 2 2 1 0 1 2 2 1 0 1 2 2 1 0 1 2 1 1 0 1 2 1 0 0 1 2 1 0 0 1 2 1 0 0 2 2 1 0 0 2 1 1 0 0 2 1 2 0 0 2 1 2 0 0 2 1 2 0 1 2 1 2 0 1 2 1 2 0 1 2 0 2 0 1 2 0 0 0 1 2 0 0 2 1 2 0 0 2 1 2 0 0 2 1 1 0 0 2 1 1 1 0 2 1 1 1 1 2 1 1 1 1 1 1 1 1 1 1 2 1 1 1 1 2 1 1 1 1 2 1 2 1 1 2 1 2 2 1 2 1 2 2 2 2 1 2 2 2 0 1 2 2 2 0 2 2 2 2 0 2 2 2 2 0 2 2 2 2 0 2 2 2 2 0 2 2 2 2 1 2 2 2 2 1 2 2 2 2 1 2 2 2 2 1 2 2 1 2 1 2 2 1 2 1 2 2 1 2 2 2 2 1 2 2 2 2 1 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 0 2 2 2 2 0 2 2 2 2 0 2 0 2 2 0 2 0 0 2 0 2 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 243 243 243 
19914.50/2520.14	v 	</values>
19914.50/2520.14	v </instantiation>

OK	

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (13891 MiB free)
  memory of node 1: 16384 MiB (14185 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4275313-1502717478/watcher-4275313-1502717478 -o /tmp/evaluation-result-4275313-1502717478/solver-4275313-1502717478 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1502714078-1562 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 544524135 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275313-1502717478.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=1840, runsolver pid=1837

[startup+0.100135 s]*
/proc/loadavg: 8.67 8.79 8.79 2/198 1861
/proc/meminfo: memFree=28732580/32770624 swapFree=67108860/67108860
[pid=1840] ppid=1837 vsize=14325320 memory=33040 CPUtime=0.12 cores=0-7
/proc/1840/stat : 1840 (java) S 1837 1840 1535 0 -1 1077944320 8173 0 0 0 11 1 0 0 20 0 20 0 104828868 14669127680 8260 33554432000 4194304 4196468 140723631682464 140723631665008 139833711677175 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
/proc/1840/statm: 3581330 8260 3404 1 0 3569050 0
[pid=1840/tid=1843] ppid=1837 vsize=14325320 memory=-3975169645217720909 CPUtime=0.09 cores=0-7
/proc/1840/task/1843/stat : 1843 (java) R 1837 1840 1535 0 -1 4202560 6116 0 0 0 8 1 0 0 20 0 20 0 104828868 14669127680 8260 33554432000 4194304 4196468 140723631682464 139833715874128 139833695757662 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1844] ppid=1837 vsize=14325320 memory=281136748036336 CPUtime=0 cores=0-7
/proc/1840/task/1844/stat : 1844 (java) S 1837 1840 1535 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104828869 14669127680 8260 33554432000 4194304 4196468 140723631682464 139833668230288 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1845] ppid=1837 vsize=14325320 memory=140568490587776 CPUtime=0 cores=0-7
/proc/1840/task/1845/stat : 1845 (java) S 1837 1840 1535 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104828869 14669127680 8260 33554432000 4194304 4196468 140723631682464 139833305918480 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1846] ppid=1837 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/1840/task/1846/stat : 1846 (java) S 1837 1840 1535 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104828869 14669127680 8260 33554432000 4194304 4196468 140723631682464 139833304865680 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1847] ppid=1837 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/1840/task/1847/stat : 1847 (java) S 1837 1840 1535 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104828869 14669127680 8260 33554432000 4194304 4196468 140723631682464 139833303812880 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1848] ppid=1837 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/1840/task/1848/stat : 1848 (java) S 1837 1840 1535 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104828869 14669127680 8260 33554432000 4194304 4196468 140723631682464 139833302760080 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1849] ppid=1837 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/1840/task/1849/stat : 1849 (java) S 1837 1840 1535 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104828869 14669127680 8260 33554432000 4194304 4196468 140723631682464 139833301707280 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1850] ppid=1837 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/1840/task/1850/stat : 1850 (java) S 1837 1840 1535 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104828869 14669127680 8260 33554432000 4194304 4196468 140723631682464 139833300654480 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1851] ppid=1837 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/1840/task/1851/stat : 1851 (java) S 1837 1840 1535 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104828869 14669127680 8260 33554432000 4194304 4196468 140723631682464 139833299601680 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1852] ppid=1837 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/1840/task/1852/stat : 1852 (java) S 1837 1840 1535 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104828871 14669127680 8260 33554432000 4194304 4196468 140723631682464 139832833493872 139833711688322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1853] ppid=1837 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/1840/task/1853/stat : 1853 (java) S 1837 1840 1535 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104828871 14669127680 8260 33554432000 4194304 4196468 140723631682464 139832832439840 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1854] ppid=1837 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/1840/task/1854/stat : 1854 (java) S 1837 1840 1535 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104828871 14669127680 8260 33554432000 4194304 4196468 140723631682464 139832831386992 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1855] ppid=1837 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/1840/task/1855/stat : 1855 (java) S 1837 1840 1535 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104828874 14669127680 8260 33554432000 4194304 4196468 140723631682464 139832830335312 139833711695771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1856] ppid=1837 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/1840/task/1856/stat : 1856 (java) S 1837 1840 1535 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 104828874 14669127680 8260 33554432000 4194304 4196468 140723631682464 139832829282672 139833711688322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1857] ppid=1837 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/1840/task/1857/stat : 1857 (java) S 1837 1840 1535 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 104828874 14669127680 8260 33554432000 4194304 4196468 140723631682464 139832828229872 139833711688322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1858] ppid=1837 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/1840/task/1858/stat : 1858 (java) S 1837 1840 1535 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104828874 14669127680 8260 33554432000 4194304 4196468 140723631682464 139832827177072 139833711688322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1859] ppid=1837 vsize=14325320 memory=0 CPUtime=0.02 cores=0-7
/proc/1840/task/1859/stat : 1859 (java) S 1837 1840 1535 0 -1 1077944384 377 0 0 0 2 0 0 0 20 0 20 0 104828874 14669127680 8260 33554432000 4194304 4196468 140723631682464 139832826124272 139833711688322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1860] ppid=1837 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/1840/task/1860/stat : 1860 (java) S 1837 1840 1535 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104828874 14669127680 8260 33554432000 4194304 4196468 140723631682464 139832825072736 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1861] ppid=1837 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/1840/task/1861/stat : 1861 (java) S 1837 1840 1535 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104828874 14669127680 8260 33554432000 4194304 4196468 140723631682464 139832824020016 139833711688322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 33040 KiB

[startup+0.210277 s]*
/proc/loadavg: 8.67 8.79 8.79 3/198 1861
/proc/meminfo: memFree=28723768/32770624 swapFree=67108860/67108860
[pid=1840] ppid=1837 vsize=14325320 memory=42372 CPUtime=0.29 cores=0-7
/proc/1840/stat : 1840 (java) S 1837 1840 1535 0 -1 1077944320 9226 0 0 0 26 3 0 0 20 0 20 0 104828868 14669127680 10593 33554432000 4194304 4196468 140723631682464 140723631665008 139833711677175 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
/proc/1840/statm: 3581330 10593 3585 1 0 3569050 0
[pid=1840/tid=1843] ppid=1837 vsize=14325320 memory=32758254098972862 CPUtime=0.19 cores=0-7
/proc/1840/task/1843/stat : 1843 (java) R 1837 1840 1535 0 -1 4202560 6792 0 0 0 18 1 0 0 20 0 20 0 104828868 14669127680 10593 33554432000 4194304 4196468 140723631682464 139833715886576 139833695757662 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1844] ppid=1837 vsize=14325320 memory=288230604674433047 CPUtime=0 cores=0-7
/proc/1840/task/1844/stat : 1844 (java) S 1837 1840 1535 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104828869 14669127680 10593 33554432000 4194304 4196468 140723631682464 139833668230288 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1845] ppid=1837 vsize=14325320 memory=15117236355643032 CPUtime=0 cores=0-7
/proc/1840/task/1845/stat : 1845 (java) S 1837 1840 1535 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104828869 14669127680 10593 33554432000 4194304 4196468 140723631682464 139833305918480 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1846] ppid=1837 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/1840/task/1846/stat : 1846 (java) S 1837 1840 1535 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104828869 14669127680 10593 33554432000 4194304 4196468 140723631682464 139833304865680 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1847] ppid=1837 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/1840/task/1847/stat : 1847 (java) S 1837 1840 1535 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104828869 14669127680 10593 33554432000 4194304 4196468 140723631682464 139833303812880 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1848] ppid=1837 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/1840/task/1848/stat : 1848 (java) S 1837 1840 1535 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104828869 14669127680 10593 33554432000 4194304 4196468 140723631682464 139833302760080 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1849] ppid=1837 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/1840/task/1849/stat : 1849 (java) S 1837 1840 1535 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104828869 14669127680 10593 33554432000 4194304 4196468 140723631682464 139833301707280 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1850] ppid=1837 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/1840/task/1850/stat : 1850 (java) S 1837 1840 1535 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104828869 14669127680 10593 33554432000 4194304 4196468 140723631682464 139833300654480 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1851] ppid=1837 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/1840/task/1851/stat : 1851 (java) S 1837 1840 1535 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104828869 14669127680 10593 33554432000 4194304 4196468 140723631682464 139833299601680 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1852] ppid=1837 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/1840/task/1852/stat : 1852 (java) S 1837 1840 1535 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 104828871 14669127680 10593 33554432000 4194304 4196468 140723631682464 139832833493872 139833711688322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1853] ppid=1837 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/1840/task/1853/stat : 1853 (java) S 1837 1840 1535 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104828871 14669127680 10593 33554432000 4194304 4196468 140723631682464 139832832439840 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1854] ppid=1837 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/1840/task/1854/stat : 1854 (java) S 1837 1840 1535 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104828871 14669127680 10593 33554432000 4194304 4196468 140723631682464 139832831386992 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1855] ppid=1837 vsize=14325352 memory=0 CPUtime=0 cores=0-7
/proc/1840/task/1855/stat : 1855 (java) S 1837 1840 1535 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104828874 14669160448 10593 33554432000 4194304 4196468 140723631682464 139832830335312 139833711695771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1856] ppid=1837 vsize=14325352 memory=0 CPUtime=0.01 cores=0-7
/proc/1840/task/1856/stat : 1856 (java) S 1837 1840 1535 0 -1 1077944384 366 0 0 0 1 0 0 0 20 0 20 0 104828874 14669160448 10593 33554432000 4194304 4196468 140723631682464 139832829282672 139833711688322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1857] ppid=1837 vsize=14325352 memory=0 CPUtime=0 cores=0-7
/proc/1840/task/1857/stat : 1857 (java) S 1837 1840 1535 0 -1 1077944384 162 0 0 0 0 0 0 0 20 0 20 0 104828874 14669160448 10593 33554432000 4194304 4196468 140723631682464 139832828229872 139833711688322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1858] ppid=1837 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/1840/task/1858/stat : 1858 (java) S 1837 1840 1535 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 20 0 104828874 14669127680 10638 33554432000 4194304 4196468 140723631682464 139832827177072 139833711688322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1859] ppid=1837 vsize=14325320 memory=0 CPUtime=0.05 cores=0-7
/proc/1840/task/1859/stat : 1859 (java) S 1837 1840 1535 0 -1 1077944384 415 0 0 0 5 0 0 0 20 0 20 0 104828874 14669127680 10638 33554432000 4194304 4196468 140723631682464 139832826124272 139833711688322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1860] ppid=1837 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/1840/task/1860/stat : 1860 (java) S 1837 1840 1535 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104828874 14669127680 10638 33554432000 4194304 4196468 140723631682464 139832825072736 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1861] ppid=1837 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/1840/task/1861/stat : 1861 (java) S 1837 1840 1535 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104828874 14669127680 10638 33554432000 4194304 4196468 140723631682464 139832824020016 139833711688322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 42372 KiB

[startup+0.309901 s]*
/proc/loadavg: 8.67 8.79 8.79 2/198 1861
/proc/meminfo: memFree=28715332/32770624 swapFree=67108860/67108860
[pid=1840] ppid=1837 vsize=14325340 memory=50448 CPUtime=0.48 cores=0-7
/proc/1840/stat : 1840 (java) S 1837 1840 1535 0 -1 1077944320 10493 0 0 0 45 3 0 0 20 0 20 0 104828868 14669148160 12612 33554432000 4194304 4196468 140723631682464 140723631665008 139833711677175 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
/proc/1840/statm: 3581335 12612 3675 1 0 3569050 0
[pid=1840/tid=1843] ppid=1837 vsize=14325340 memory=1399051139730258233 CPUtime=0.29 cores=0-7
/proc/1840/task/1843/stat : 1843 (java) R 1837 1840 1535 0 -1 4202560 7558 0 0 0 27 2 0 0 20 0 20 0 104828868 14669148160 12612 33554432000 4194304 4196468 140723631682464 139833715907632 139833711689110 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1844] ppid=1837 vsize=14325340 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/1840/task/1844/stat : 1844 (java) S 1837 1840 1535 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104828869 14669148160 12612 33554432000 4194304 4196468 140723631682464 139833668230288 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1845] ppid=1837 vsize=14325340 memory=1716 CPUtime=0 cores=0-7
/proc/1840/task/1845/stat : 1845 (java) S 1837 1840 1535 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104828869 14669148160 12612 33554432000 4194304 4196468 140723631682464 139833305918480 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1846] ppid=1837 vsize=14325340 memory=1440 CPUtime=0 cores=0-7
/proc/1840/task/1846/stat : 1846 (java) S 1837 1840 1535 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104828869 14669148160 12612 33554432000 4194304 4196468 140723631682464 139833304865680 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1847] ppid=1837 vsize=14325340 memory=15876 CPUtime=0 cores=0-7
/proc/1840/task/1847/stat : 1847 (java) S 1837 1840 1535 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104828869 14669148160 12612 33554432000 4194304 4196468 140723631682464 139833303812880 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1848] ppid=1837 vsize=14325340 memory=16432 CPUtime=0 cores=0-7
/proc/1840/task/1848/stat : 1848 (java) S 1837 1840 1535 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104828869 14669148160 12612 33554432000 4194304 4196468 140723631682464 139833302760080 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1849] ppid=1837 vsize=14325340 memory=17856 CPUtime=0 cores=0-7
/proc/1840/task/1849/stat : 1849 (java) S 1837 1840 1535 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104828869 14669148160 12612 33554432000 4194304 4196468 140723631682464 139833301707280 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1850] ppid=1837 vsize=14325340 memory=4044 CPUtime=0 cores=0-7
/proc/1840/task/1850/stat : 1850 (java) S 1837 1840 1535 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104828869 14669148160 12612 33554432000 4194304 4196468 140723631682464 139833300654480 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1851] ppid=1837 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/1840/task/1851/stat : 1851 (java) S 1837 1840 1535 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104828869 14669148160 12612 33554432000 4194304 4196468 140723631682464 139833299601680 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1852] ppid=1837 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/1840/task/1852/stat : 1852 (java) S 1837 1840 1535 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 104828871 14669148160 12612 33554432000 4194304 4196468 140723631682464 139832833493872 139833711688322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1853] ppid=1837 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/1840/task/1853/stat : 1853 (java) S 1837 1840 1535 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104828871 14669148160 12612 33554432000 4194304 4196468 140723631682464 139832832439840 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1854] ppid=1837 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/1840/task/1854/stat : 1854 (java) S 1837 1840 1535 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104828871 14669148160 12612 33554432000 4194304 4196468 140723631682464 139832831386992 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1855] ppid=1837 vsize=14325340 memory=140568374117839 CPUtime=0 cores=0-7
/proc/1840/task/1855/stat : 1855 (java) S 1837 1840 1535 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104828874 14669148160 12612 33554432000 4194304 4196468 140723631682464 139832830335312 139833711695771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1856] ppid=1837 vsize=14325340 memory=67 CPUtime=0.04 cores=0-7
/proc/1840/task/1856/stat : 1856 (java) S 1837 1840 1535 0 -1 1077944384 589 0 0 0 4 0 0 0 20 0 20 0 104828874 14669148160 12612 33554432000 4194304 4196468 140723631682464 139832829282672 139833711688322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1857] ppid=1837 vsize=14325340 memory=51172 CPUtime=0.02 cores=0-7
/proc/1840/task/1857/stat : 1857 (java) S 1837 1840 1535 0 -1 1077944384 326 0 0 0 2 0 0 0 20 0 20 0 104828874 14669148160 12612 33554432000 4194304 4196468 140723631682464 139832828229872 139833711688322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1858] ppid=1837 vsize=14325340 memory=53476 CPUtime=0.01 cores=0-7
/proc/1840/task/1858/stat : 1858 (java) S 1837 1840 1535 0 -1 1077944384 126 0 0 0 1 0 0 0 20 0 20 0 104828874 14669148160 12612 33554432000 4194304 4196468 140723631682464 139832827177072 139833711688322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1859] ppid=1837 vsize=14325340 memory=55780 CPUtime=0.08 cores=0-7
/proc/1840/task/1859/stat : 1859 (java) R 1837 1840 1535 0 -1 4202560 516 0 0 0 8 0 0 0 20 0 20 0 104828874 14669148160 12612 33554432000 4194304 4196468 140723631682464 139832826122672 139833711698522 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1860] ppid=1837 vsize=14325340 memory=110297088 CPUtime=0 cores=0-7
/proc/1840/task/1860/stat : 1860 (java) S 1837 1840 1535 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104828874 14669148160 12612 33554432000 4194304 4196468 140723631682464 139832825072736 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1861] ppid=1837 vsize=14325340 memory=14669127679 CPUtime=0 cores=0-7
/proc/1840/task/1861/stat : 1861 (java) S 1837 1840 1535 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104828874 14669148160 12612 33554432000 4194304 4196468 140723631682464 139832824020016 139833711688322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 14325340 KiB
Current children cumulated memory: 50448 KiB

[startup+0.700929 s]
/proc/loadavg: 8.67 8.79 8.79 5/198 1861
/proc/meminfo: memFree=28697092/32770624 swapFree=67108860/67108860
[pid=1840] ppid=1837 vsize=14327388 memory=104612 CPUtime=1.62 cores=0-7
/proc/1840/stat : 1840 (java) S 1837 1840 1535 0 -1 1077944320 15206 0 0 0 156 6 0 0 20 0 20 0 104828868 14671245312 26153 33554432000 4194304 4196468 140723631682464 140723631665008 139833711677175 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
/proc/1840/statm: 3581847 26153 3777 1 0 3569562 0
[pid=1840/tid=1843] ppid=1837 vsize=14327388 memory=0 CPUtime=0.67 cores=0-7
/proc/1840/task/1843/stat : 1843 (java) R 1837 1840 1535 0 -1 4202560 8321 0 0 0 64 3 0 0 20 0 20 0 104828868 14671245312 26153 33554432000 4194304 4196468 140723631682464 139833715911360 139833348535487 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1844] ppid=1837 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/1840/task/1844/stat : 1844 (java) S 1837 1840 1535 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104828869 14671245312 26153 33554432000 4194304 4196468 140723631682464 139833668230288 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1845] ppid=1837 vsize=14327388 memory=2353 CPUtime=0 cores=0-7
/proc/1840/task/1845/stat : 1845 (java) S 1837 1840 1535 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104828869 14671245312 26153 33554432000 4194304 4196468 140723631682464 139833305918480 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1846] ppid=1837 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/1840/task/1846/stat : 1846 (java) S 1837 1840 1535 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104828869 14671245312 26153 33554432000 4194304 4196468 140723631682464 139833304865680 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1847] ppid=1837 vsize=14327388 memory=8584 CPUtime=0 cores=0-7
/proc/1840/task/1847/stat : 1847 (java) S 1837 1840 1535 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104828869 14671245312 26153 33554432000 4194304 4196468 140723631682464 139833303812880 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1848] ppid=1837 vsize=14327388 memory=792 CPUtime=0 cores=0-7
/proc/1840/task/1848/stat : 1848 (java) S 1837 1840 1535 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104828869 14671245312 26153 33554432000 4194304 4196468 140723631682464 139833302760080 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1849] ppid=1837 vsize=14327388 memory=1204 CPUtime=0 cores=0-7
/proc/1840/task/1849/stat : 1849 (java) S 1837 1840 1535 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104828869 14671245312 26153 33554432000 4194304 4196468 140723631682464 139833301707280 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1850] ppid=1837 vsize=14327388 memory=1716 CPUtime=0 cores=0-7
/proc/1840/task/1850/stat : 1850 (java) S 1837 1840 1535 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104828869 14671245312 26153 33554432000 4194304 4196468 140723631682464 139833300654480 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1851] ppid=1837 vsize=14327388 memory=1440 CPUtime=0 cores=0-7
/proc/1840/task/1851/stat : 1851 (java) S 1837 1840 1535 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104828869 14671245312 26153 33554432000 4194304 4196468 140723631682464 139833299601680 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1852] ppid=1837 vsize=14327388 memory=15876 CPUtime=0 cores=0-7
/proc/1840/task/1852/stat : 1852 (java) S 1837 1840 1535 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 104828871 14671245312 26153 33554432000 4194304 4196468 140723631682464 139832833493872 139833711688322 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0

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


[startup+2520.01 s]*
/proc/loadavg: 8.44 8.63 8.64 11/211 1913
/proc/meminfo: memFree=25424756/32770624 swapFree=67108860/67108860
[pid=1840] ppid=1837 vsize=15202996 memory=3332200 CPUtime=19913.7 cores=0-7
/proc/1840/stat : 1840 (java) S 1837 1840 1535 0 -1 1077944320 919574 0 0 0 1990686 681 0 0 20 0 33 0 104828868 15567867904 833050 33554432000 4194304 4196468 140723631682464 140723631665008 139833711677175 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
/proc/1840/statm: 3800749 833050 3867 1 0 3787943 0
[pid=1840/tid=1843] ppid=1837 vsize=15202996 memory=1399051139730258233 CPUtime=22.02 cores=0-7
/proc/1840/task/1843/stat : 1843 (java) S 1837 1840 1535 0 -1 1077944384 18120 0 0 0 2143 59 0 0 20 0 33 0 104828868 15567867904 833050 33554432000 4194304 4196468 140723631682464 139833715914880 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1844] ppid=1837 vsize=15202996 memory=-7003737579269690708 CPUtime=10.31 cores=0-7
/proc/1840/task/1844/stat : 1844 (java) S 1837 1840 1535 0 -1 1077944384 46804 0 0 0 1002 29 0 0 20 0 33 0 104828869 15567867904 833050 33554432000 4194304 4196468 140723631682464 139833668230288 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 16 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1845] ppid=1837 vsize=15202996 memory=4080 CPUtime=10.31 cores=0-7
/proc/1840/task/1845/stat : 1845 (java) S 1837 1840 1535 0 -1 1077944384 49698 0 0 0 1005 26 0 0 20 0 33 0 104828869 15567867904 833050 33554432000 4194304 4196468 140723631682464 139833305918480 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1846] ppid=1837 vsize=15202996 memory=932 CPUtime=10.26 cores=0-7
/proc/1840/task/1846/stat : 1846 (java) S 1837 1840 1535 0 -1 1077944384 57203 0 0 0 994 32 0 0 20 0 33 0 104828869 15567867904 833050 33554432000 4194304 4196468 140723631682464 139833304865680 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 15 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1847] ppid=1837 vsize=15202996 memory=281136749642064 CPUtime=10.32 cores=0-7
/proc/1840/task/1847/stat : 1847 (java) S 1837 1840 1535 0 -1 1077944384 58530 0 0 0 1003 29 0 0 20 0 33 0 104828869 15567867904 833050 33554432000 4194304 4196468 140723631682464 139833303812880 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1848] ppid=1837 vsize=15202996 memory=3337844 CPUtime=10.31 cores=0-7
/proc/1840/task/1848/stat : 1848 (java) S 1837 1840 1535 0 -1 1077944384 51383 0 0 0 1002 29 0 0 20 0 33 0 104828869 15567867904 833050 33554432000 4194304 4196468 140723631682464 139833302760080 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1849] ppid=1837 vsize=15202996 memory=3334252 CPUtime=10.28 cores=0-7
/proc/1840/task/1849/stat : 1849 (java) S 1837 1840 1535 0 -1 1077944384 56656 0 0 0 999 29 0 0 20 0 33 0 104828869 15567867904 833050 33554432000 4194304 4196468 140723631682464 139833301707280 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 17 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1850] ppid=1837 vsize=15202996 memory=3332200 CPUtime=10.3 cores=0-7
/proc/1840/task/1850/stat : 1850 (java) S 1837 1840 1535 0 -1 1077944384 51909 0 0 0 1001 29 0 0 20 0 33 0 104828869 15567867904 833050 33554432000 4194304 4196468 140723631682464 139833300654480 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 15 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1851] ppid=1837 vsize=15202996 memory=3332716 CPUtime=10.33 cores=0-7
/proc/1840/task/1851/stat : 1851 (java) S 1837 1840 1535 0 -1 1077944384 50939 0 0 0 1003 30 0 0 20 0 33 0 104828869 15567867904 833050 33554432000 4194304 4196468 140723631682464 139833299601680 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1852] ppid=1837 vsize=15202996 memory=1952 CPUtime=2.51 cores=0-7
/proc/1840/task/1852/stat : 1852 (java) S 1837 1840 1535 0 -1 1077944384 99502 0 0 0 209 42 0 0 20 0 33 0 104828871 15567867904 833050 33554432000 4194304 4196468 140723631682464 139832833493872 139833711688322 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 19 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1853] ppid=1837 vsize=15202996 memory=5796 CPUtime=0 cores=0-7
/proc/1840/task/1853/stat : 1853 (java) S 1837 1840 1535 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 33 0 104828871 15567867904 833050 33554432000 4194304 4196468 140723631682464 139832832439904 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1854] ppid=1837 vsize=15202996 memory=4616 CPUtime=0 cores=0-7
/proc/1840/task/1854/stat : 1854 (java) S 1837 1840 1535 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 33 0 104828871 15567867904 833050 33554432000 4194304 4196468 140723631682464 139832831387008 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1855] ppid=1837 vsize=15202996 memory=8584 CPUtime=0 cores=0-7
/proc/1840/task/1855/stat : 1855 (java) S 1837 1840 1535 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 33 0 104828874 15567867904 833050 33554432000 4194304 4196468 140723631682464 139832830335312 139833711695771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1856] ppid=1837 vsize=15202996 memory=792 CPUtime=3.03 cores=0-7
/proc/1840/task/1856/stat : 1856 (java) S 1837 1840 1535 0 -1 1077944384 12971 0 0 0 301 2 0 0 20 0 33 0 104828874 15567867904 833050 33554432000 4194304 4196468 140723631682464 139832829282672 139833711688322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1857] ppid=1837 vsize=15202996 memory=3333228 CPUtime=2.84 cores=0-7
/proc/1840/task/1857/stat : 1857 (java) S 1837 1840 1535 0 -1 1077944384 17532 0 0 0 280 4 0 0 20 0 33 0 104828874 15567867904 833050 33554432000 4194304 4196468 140723631682464 139832828229872 139833711688322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 47 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1858] ppid=1837 vsize=15202996 memory=8112282956445269571 CPUtime=2.93 cores=0-7
/proc/1840/task/1858/stat : 1858 (java) S 1837 1840 1535 0 -1 1077944384 12647 0 0 0 289 4 0 0 20 0 33 0 104828874 15567867904 833050 33554432000 4194304 4196468 140723631682464 139832827177072 139833711688322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1859] ppid=1837 vsize=15202996 memory=1228 CPUtime=1.34 cores=0-7
/proc/1840/task/1859/stat : 1859 (java) S 1837 1840 1535 0 -1 1077944384 31354 0 0 0 129 5 0 0 20 0 33 0 104828874 15567867904 833050 33554432000 4194304 4196468 140723631682464 139832826124272 139833711688322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1860] ppid=1837 vsize=15202996 memory=3332716 CPUtime=0 cores=0-7
/proc/1840/task/1860/stat : 1860 (java) S 1837 1840 1535 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 33 0 104828874 15567867904 833050 33554432000 4194304 4196468 140723631682464 139832825072736 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1861] ppid=1837 vsize=15202996 memory=0 CPUtime=0.44 cores=0-7
/proc/1840/task/1861/stat : 1861 (java) S 1837 1840 1535 0 -1 1077944384 5868 0 0 0 14 30 0 0 20 0 33 0 104828874 15567867904 833050 33554432000 4194304 4196468 140723631682464 139832824020016 139833711688322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 48 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1862] ppid=1837 vsize=15202996 memory=-4061837134419248030 CPUtime=0.03 cores=0-7
/proc/1840/task/1862/stat : 1862 (java) S 1837 1840 1535 0 -1 1077944384 5053 0 0 0 0 3 0 0 20 0 33 0 104831090 15567867904 833050 33554432000 4194304 4196468 140723631682464 139832813732944 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1863] ppid=1837 vsize=15202996 memory=-7595718148000617580 CPUtime=1.61 cores=0-7
/proc/1840/task/1863/stat : 1863 (java) R 1837 1840 1535 0 -1 1077944384 12893 0 0 0 69 92 0 0 20 0 33 0 104831102 15567867904 833050 33554432000 4194304 4196468 140723631682464 139832810583328 139833711688322 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1864] ppid=1837 vsize=15202996 memory=-7966001734603266090 CPUtime=2472.63 cores=0-7
/proc/1840/task/1864/stat : 1864 (java) R 1837 1840 1535 0 -1 4202560 36460 0 0 0 247218 45 0 0 20 0 33 0 104831111 15567867904 833050 33554432000 4194304 4196468 140723631682464 139832807426632 139833350190759 0 4 0 16800975 0 0 0 -1 0 0 0 20 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1865] ppid=1837 vsize=15202996 memory=-6876588627878947929 CPUtime=2474.07 cores=0-7
/proc/1840/task/1865/stat : 1865 (java) R 1837 1840 1535 0 -1 4202560 39445 0 0 0 247352 55 0 0 20 0 33 0 104831112 15567867904 833050 33554432000 4194304 4196468 140723631682464 139832806374152 139833355352684 0 4 0 16800975 0 0 0 -1 3 0 0 15 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1866] ppid=1837 vsize=15202996 memory=1414351094373861289 CPUtime=2476.27 cores=0-7
/proc/1840/task/1866/stat : 1866 (java) R 1837 1840 1535 0 -1 4202560 39287 0 0 0 247591 36 0 0 20 0 33 0 104831113 15567867904 833050 33554432000 4194304 4196468 140723631682464 139832805321032 139833358151055 0 4 0 16800975 0 0 0 -1 7 0 0 16 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1868] ppid=1837 vsize=15202996 memory=-7966001967407402336 CPUtime=2474.27 cores=0-7
/proc/1840/task/1868/stat : 1868 (java) R 1837 1840 1535 0 -1 4202560 31623 0 0 0 247392 35 0 0 20 0 33 0 104831115 15567867904 833050 33554432000 4194304 4196468 140723631682464 139832804268552 139833350112259 0 4 0 16800975 0 0 0 -1 4 0 0 12 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1869] ppid=1837 vsize=15202996 memory=-7966001967407402336 CPUtime=2470.4 cores=0-7
/proc/1840/task/1869/stat : 1869 (java) R 1837 1840 1535 0 -1 4202560 32885 0 0 0 246997 43 0 0 20 0 33 0 104831115 15567867904 833050 33554432000 4194304 4196468 140723631682464 139832803216728 139833358295650 0 4 0 16800975 0 0 0 -1 5 0 0 18 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1870] ppid=1837 vsize=15202996 memory=-7966001967407402336 CPUtime=0.53 cores=0-7
/proc/1840/task/1870/stat : 1870 (java) S 1837 1840 1535 0 -1 1077944384 49 0 0 0 53 0 0 0 20 0 33 0 104831115 15567867904 833050 33554432000 4194304 4196468 140723631682464 139832802170288 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1871] ppid=1837 vsize=15202996 memory=8292148123324110535 CPUtime=2477.73 cores=0-7
/proc/1840/task/1871/stat : 1871 (java) R 1837 1840 1535 0 -1 4202560 31193 0 0 0 247740 33 0 0 20 0 33 0 104831115 15567867904 833050 33554432000 4194304 4196468 140723631682464 139832801114032 139833355353358 0 4 0 16800975 0 0 0 -1 2 0 0 12 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1872] ppid=1837 vsize=15202996 memory=-7966001967407402336 CPUtime=2471.91 cores=0-7
/proc/1840/task/1872/stat : 1872 (java) R 1837 1840 1535 0 -1 4202560 33190 0 0 0 247143 48 0 0 20 0 33 0 104831116 15567867904 833050 33554432000 4194304 4196468 140723631682464 139832800058152 139833358295634 0 4 0 16800975 0 0 0 -1 6 0 0 21 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1873] ppid=1837 vsize=15202996 memory=-3975649505123405620 CPUtime=0.43 cores=0-7
/proc/1840/task/1873/stat : 1873 (java) S 1837 1840 1535 0 -1 1077944384 6030 0 0 0 43 0 0 0 20 0 33 0 104831116 15567867904 833050 33554432000 4194304 4196468 140723631682464 139832799012096 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1874] ppid=1837 vsize=15202996 memory=4468 CPUtime=0 cores=0-7
/proc/1840/task/1874/stat : 1874 (java) S 1837 1840 1535 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 33 0 104831117 15567867904 833050 33554432000 4194304 4196468 140723631682464 139832797959088 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1875] ppid=1837 vsize=15202996 memory=1152 CPUtime=2475.99 cores=0-7
/proc/1840/task/1875/stat : 1875 (java) R 1837 1840 1535 0 -1 4202560 28894 0 0 0 247571 28 0 0 20 0 33 0 104831118 15567867904 833050 33554432000 4194304 4196468 140723631682464 139832796899704 139833350190670 0 4 0 16800975 0 0 0 -1 1 0 0 14 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
Current children cumulated CPU time: 19913.7 s
Current children cumulated vsize: 15202996 KiB
Current children cumulated memory: 3332200 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2520.16 s]
# the end of solver process 1840 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19907.9 s, system=6.8299 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2520.12 s]
/proc/loadavg: 8.44 8.63 8.64 11/211 1913
/proc/meminfo: memFree=25424756/32770624 swapFree=67108860/67108860
[pid=1840] ppid=1837 vsize=15336124 memory=3332464 CPUtime=19914.5 cores=0-7
/proc/1840/stat : 1840 (java) S 1837 1840 1535 0 -1 1077944320 920580 0 0 0 1990769 681 0 0 20 0 35 0 104828868 15704190976 833116 33554432000 4194304 4196468 140723631682464 140723631665008 139833711677175 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
/proc/1840/statm: 3834031 833116 3867 1 0 3821225 0
[pid=1840/tid=1843] ppid=1837 vsize=15336124 memory=3333228 CPUtime=22.02 cores=0-7
/proc/1840/task/1843/stat : 1843 (java) S 1837 1840 1535 0 -1 1077944384 18120 0 0 0 2143 59 0 0 20 0 35 0 104828868 15704190976 833116 33554432000 4194304 4196468 140723631682464 139833715914880 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1844] ppid=1837 vsize=15336124 memory=3332716 CPUtime=10.31 cores=0-7
/proc/1840/task/1844/stat : 1844 (java) S 1837 1840 1535 0 -1 1077944384 46804 0 0 0 1002 29 0 0 20 0 35 0 104828869 15704190976 833116 33554432000 4194304 4196468 140723631682464 139833668230288 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 16 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1845] ppid=1837 vsize=15336124 memory=3332200 CPUtime=10.31 cores=0-7
/proc/1840/task/1845/stat : 1845 (java) S 1837 1840 1535 0 -1 1077944384 49698 0 0 0 1005 26 0 0 20 0 35 0 104828869 15704190976 833116 33554432000 4194304 4196468 140723631682464 139833305918480 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1846] ppid=1837 vsize=15336124 memory=3333740 CPUtime=10.26 cores=0-7
/proc/1840/task/1846/stat : 1846 (java) S 1837 1840 1535 0 -1 1077944384 57203 0 0 0 994 32 0 0 20 0 35 0 104828869 15704190976 833116 33554432000 4194304 4196468 140723631682464 139833304865680 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 15 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1847] ppid=1837 vsize=15336124 memory=3352720 CPUtime=10.32 cores=0-7
/proc/1840/task/1847/stat : 1847 (java) S 1837 1840 1535 0 -1 1077944384 58530 0 0 0 1003 29 0 0 20 0 35 0 104828869 15704190976 833116 33554432000 4194304 4196468 140723631682464 139833303812880 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1848] ppid=1837 vsize=15336124 memory=932 CPUtime=10.31 cores=0-7
/proc/1840/task/1848/stat : 1848 (java) S 1837 1840 1535 0 -1 1077944384 51383 0 0 0 1002 29 0 0 20 0 35 0 104828869 15704190976 833116 33554432000 4194304 4196468 140723631682464 139833302760080 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1849] ppid=1837 vsize=15336124 memory=1584 CPUtime=10.28 cores=0-7
/proc/1840/task/1849/stat : 1849 (java) S 1837 1840 1535 0 -1 1077944384 56656 0 0 0 999 29 0 0 20 0 35 0 104828869 15704190976 833116 33554432000 4194304 4196468 140723631682464 139833301707280 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 17 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1850] ppid=1837 vsize=15336124 memory=1716 CPUtime=10.3 cores=0-7
/proc/1840/task/1850/stat : 1850 (java) S 1837 1840 1535 0 -1 1077944384 51909 0 0 0 1001 29 0 0 20 0 35 0 104828869 15704190976 833116 33554432000 4194304 4196468 140723631682464 139833300654480 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 15 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1851] ppid=1837 vsize=15336124 memory=1440 CPUtime=10.33 cores=0-7
/proc/1840/task/1851/stat : 1851 (java) S 1837 1840 1535 0 -1 1077944384 50939 0 0 0 1003 30 0 0 20 0 35 0 104828869 15704190976 833116 33554432000 4194304 4196468 140723631682464 139833299601680 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1852] ppid=1837 vsize=15336124 memory=15876 CPUtime=2.51 cores=0-7
/proc/1840/task/1852/stat : 1852 (java) S 1837 1840 1535 0 -1 1077944384 99502 0 0 0 209 42 0 0 20 0 35 0 104828871 15704190976 833116 33554432000 4194304 4196468 140723631682464 139832833493872 139833711688322 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 19 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1853] ppid=1837 vsize=15336124 memory=3332716 CPUtime=0 cores=0-7
/proc/1840/task/1853/stat : 1853 (java) S 1837 1840 1535 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 35 0 104828871 15704190976 833116 33554432000 4194304 4196468 140723631682464 139832832439904 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1854] ppid=1837 vsize=15336124 memory=920 CPUtime=0 cores=0-7
/proc/1840/task/1854/stat : 1854 (java) S 1837 1840 1535 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 35 0 104828871 15704190976 833116 33554432000 4194304 4196468 140723631682464 139832831387008 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1855] ppid=1837 vsize=15336124 memory=4468 CPUtime=0 cores=0-7
/proc/1840/task/1855/stat : 1855 (java) S 1837 1840 1535 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 35 0 104828874 15704190976 833116 33554432000 4194304 4196468 140723631682464 139832830335312 139833711695771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1856] ppid=1837 vsize=15336124 memory=1152 CPUtime=3.03 cores=0-7
/proc/1840/task/1856/stat : 1856 (java) R 1837 1840 1535 0 -1 1077944384 12971 0 0 0 301 2 0 0 20 0 35 0 104828874 15704190976 833116 33554432000 4194304 4196468 140723631682464 139832829282672 139833711688322 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1857] ppid=1837 vsize=15336124 memory=4040 CPUtime=2.84 cores=0-7
/proc/1840/task/1857/stat : 1857 (java) S 1837 1840 1535 0 -1 1077944384 17532 0 0 0 280 4 0 0 20 0 35 0 104828874 15704190976 833116 33554432000 4194304 4196468 140723631682464 139832828229872 139833711688322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 47 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1858] ppid=1837 vsize=15336124 memory=3333740 CPUtime=2.93 cores=0-7
/proc/1840/task/1858/stat : 1858 (java) S 1837 1840 1535 0 -1 1077944384 12647 0 0 0 289 4 0 0 20 0 35 0 104828874 15704190976 833116 33554432000 4194304 4196468 140723631682464 139832827177072 139833711688322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1859] ppid=1837 vsize=15336124 memory=3334252 CPUtime=1.34 cores=0-7
/proc/1840/task/1859/stat : 1859 (java) S 1837 1840 1535 0 -1 1077944384 32022 0 0 0 129 5 0 0 20 0 35 0 104828874 15704190976 833116 33554432000 4194304 4196468 140723631682464 139832826124272 139833711688322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1860] ppid=1837 vsize=15336124 memory=3334252 CPUtime=0 cores=0-7
/proc/1840/task/1860/stat : 1860 (java) S 1837 1840 1535 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 35 0 104828874 15704190976 833116 33554432000 4194304 4196468 140723631682464 139832825072736 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1861] ppid=1837 vsize=15336124 memory=30540 CPUtime=0.44 cores=0-7
/proc/1840/task/1861/stat : 1861 (java) S 1837 1840 1535 0 -1 1077944384 5868 0 0 0 14 30 0 0 20 0 35 0 104828874 15704190976 833116 33554432000 4194304 4196468 140723631682464 139832824020016 139833711688322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 48 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1862] ppid=1837 vsize=15336124 memory=8112282956445269571 CPUtime=0.03 cores=0-7
/proc/1840/task/1862/stat : 1862 (java) S 1837 1840 1535 0 -1 1077944384 5053 0 0 0 0 3 0 0 20 0 35 0 104831090 15704190976 833116 33554432000 4194304 4196468 140723631682464 139832813732944 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1863] ppid=1837 vsize=15336124 memory=2428 CPUtime=1.61 cores=0-7
/proc/1840/task/1863/stat : 1863 (java) R 1837 1840 1535 0 -1 1077944384 12893 0 0 0 69 92 0 0 20 0 35 0 104831102 15704190976 833116 33554432000 4194304 4196468 140723631682464 139832810583328 139833711688322 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1864] ppid=1837 vsize=15336124 memory=3332716 CPUtime=2472.73 cores=0-7
/proc/1840/task/1864/stat : 1864 (java) R 1837 1840 1535 0 -1 4202560 36460 0 0 0 247228 45 0 0 20 0 35 0 104831111 15704190976 833116 33554432000 4194304 4196468 140723631682464 139832807426632 139833358295667 0 4 0 16800975 0 0 0 -1 0 0 0 20 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1865] ppid=1837 vsize=15336124 memory=4580 CPUtime=2474.18 cores=0-7
/proc/1840/task/1865/stat : 1865 (java) R 1837 1840 1535 0 -1 4202560 39445 0 0 0 247363 55 0 0 20 0 35 0 104831112 15704190976 833116 33554432000 4194304 4196468 140723631682464 139832806374152 139833358151057 0 4 0 16800975 0 0 0 -1 3 0 0 15 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1866] ppid=1837 vsize=15336124 memory=7518026630507423080 CPUtime=2476.37 cores=0-7
/proc/1840/task/1866/stat : 1866 (java) R 1837 1840 1535 0 -1 4202560 39287 0 0 0 247601 36 0 0 20 0 35 0 104831113 15704190976 833116 33554432000 4194304 4196468 140723631682464 139832805321032 139833358295634 0 4 0 16800975 0 0 0 -1 7 0 0 16 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1868] ppid=1837 vsize=15336124 memory=6368464305419557033 CPUtime=2474.37 cores=0-7
/proc/1840/task/1868/stat : 1868 (java) R 1837 1840 1535 0 -1 4202560 31623 0 0 0 247402 35 0 0 20 0 35 0 104831115 15704190976 833116 33554432000 4194304 4196468 140723631682464 139832804268552 139833358295650 0 4 0 16800975 0 0 0 -1 4 0 0 12 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1869] ppid=1837 vsize=15336124 memory=33 CPUtime=2470.5 cores=0-7
/proc/1840/task/1869/stat : 1869 (java) R 1837 1840 1535 0 -1 4202560 32885 0 0 0 247007 43 0 0 20 0 35 0 104831115 15704190976 833116 33554432000 4194304 4196468 140723631682464 139832803216728 139833358151009 0 4 0 16800975 0 0 0 -1 5 0 0 18 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1870] ppid=1837 vsize=15336124 memory=0 CPUtime=0.53 cores=0-7
/proc/1840/task/1870/stat : 1870 (java) S 1837 1840 1535 0 -1 1077944384 49 0 0 0 53 0 0 0 20 0 35 0 104831115 15704190976 833116 33554432000 4194304 4196468 140723631682464 139832802170288 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1871] ppid=1837 vsize=15336124 memory=3345028 CPUtime=2477.83 cores=0-7
/proc/1840/task/1871/stat : 1871 (java) R 1837 1840 1535 0 -1 4202560 31193 0 0 0 247750 33 0 0 20 0 35 0 104831115 15704190976 833116 33554432000 4194304 4196468 140723631682464 139832801114032 139833354152260 0 4 0 16800975 0 0 0 -1 2 0 0 12 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1872] ppid=1837 vsize=15336124 memory=3332200 CPUtime=2472.01 cores=0-7
/proc/1840/task/1872/stat : 1872 (java) R 1837 1840 1535 0 -1 4202560 33190 0 0 0 247153 48 0 0 20 0 35 0 104831116 15704190976 833116 33554432000 4194304 4196468 140723631682464 139832800058152 139833358826913 0 4 0 16800975 0 0 0 -1 6 0 0 21 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1873] ppid=1837 vsize=15336124 memory=3332200 CPUtime=0.43 cores=0-7
/proc/1840/task/1873/stat : 1873 (java) S 1837 1840 1535 0 -1 1077944384 6030 0 0 0 43 0 0 0 20 0 35 0 104831116 15704190976 833116 33554432000 4194304 4196468 140723631682464 139832799012096 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1874] ppid=1837 vsize=15336124 memory=3333228 CPUtime=0 cores=0-7
/proc/1840/task/1874/stat : 1874 (java) S 1837 1840 1535 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 35 0 104831117 15704190976 833116 33554432000 4194304 4196468 140723631682464 139832797959088 139833711687381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
[pid=1840/tid=1875] ppid=1837 vsize=15336124 memory=3332716 CPUtime=2476.07 cores=0-7
/proc/1840/task/1875/stat : 1875 (java) R 1837 1840 1535 0 -1 4202560 28894 0 0 0 247579 28 0 0 20 0 35 0 104831118 15704190976 833116 33554432000 4194304 4196468 140723631682464 139832796899704 139833354125421 0 4 0 16800975 0 0 0 -1 1 0 0 14 0 0 6293624 6294260 23519232 140723631686754 140723631686939 140723631686939 140723631689679 0
Current children cumulated CPU time: 19914.5 s
Current children cumulated vsize: 15336124 KiB
Current children cumulated memory: 3332464 KiB

Child status: 143
Real time (s): 2520.16
CPU time (s): 19914.7
CPU user time (s): 19907.9
CPU system time (s): 6.8299
CPU usage (%): 790.215
Max. virtual memory (cumulated for all children) (KiB): 15336124
Max. memory (cumulated for all children) (KiB): 4107584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19907.9
system time used= 6.8299
maximum resident set size= 4107584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 920956
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 421094
involuntary context switches= 418408


# summary of solver processes directly reported to runsolver:
#   pid: 1840
#   total CPU time (s): 19914.7
#   total CPU user time (s): 19907.9
#   total CPU system time (s): 6.8299

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.8067 second user time and 29.3753 second system time

The end

Begin job on node148 at 2017-08-14 15:17:00
IDJOB=4275313
IDBENCH=125571
IDSOLVER=2668
FILE ID=node148/4275313-1502717478
RUNJOBID= node148-1502714078-1562
PBS_JOBID= 20629028
Free space on /tmp= 61616 MiB

SOLVER NAME= OscaR - Parallel with EPS 2017-07-26
BENCH NAME= XCSP17/DeBruijnSequence/DeBruijnSequence-m1-s1/DeBruijnSequence-03-06.xml
COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4275313-1502717478/watcher-4275313-1502717478 -o /tmp/evaluation-result-4275313-1502717478/solver-4275313-1502717478 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1502714078-1562 --watchdog 2580  java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 544524135 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275313-1502717478.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= a0d270dd535955910725fddfcfa0cde8
RANDOM SEED=544524135

node148.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.19
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.19
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.19
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.19
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:        28751136 kB
MemAvailable:   31986600 kB
Buffers:          235028 kB
Cached:          3287656 kB
SwapCached:            0 kB
Active:           851312 kB
Inactive:        2725452 kB
Active(anon):       4728 kB
Inactive(anon):    76664 kB
Active(file):     846584 kB
Inactive(file):  2648788 kB
Unevictable:        6208 kB
Mlocked:            6208 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42640 kB
Writeback:             0 kB
AnonPages:         85204 kB
Mapped:            44648 kB
Shmem:             25224 kB
Slab:             138236 kB
SReclaimable:     111856 kB
SUnreclaim:        26380 kB
KernelStack:        3520 kB
PageTables:         4804 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323852 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     32768 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 61576 MiB
End job on node148 at 2017-08-14 15:59:00