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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270903-1502717459/watcher-4270903-1502717459 -o /tmp/evaluation-result-4270903-1502717459/solver-4270903-1502717459 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1502714078-1562 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 2136875888 HOME/instance-4270903-1502717459.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=1746, runsolver pid=1743


[startup+0.100156 s]*
/proc/loadavg: 8.68 8.81 8.80 2/199 1767
/proc/meminfo: memFree=28771236/32770624 swapFree=67108860/67108860
[pid=1746] ppid=1743 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/1746/stat : 1746 (xcsp3-exec) S 1743 1746 1535 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 104826929 9740288 346 33554432000 4194304 5098028 140726811225808 140726811223912 140304463991420 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30195712 140726811231332 140726811231543 140726811231543 140726811234283 0
/proc/1746/statm: 2378 346 289 221 0 87 0
[pid=1748] ppid=1746 vsize=25999808 memory=26312 CPUtime=0.11 cores=0-7
/proc/1748/stat : 1748 (java) S 1746 1746 1535 0 -1 1077944320 5496 0 0 0 10 1 0 0 20 0 20 0 104826929 26623803392 6578 33554432000 4194304 4196468 140736782034288 140736782016832 139873836084983 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
/proc/1748/statm: 6499952 6578 2831 1 0 6488269 0
[pid=1748/tid=1749] ppid=1746 vsize=25999808 memory=-7605839032859326147 CPUtime=0.08 cores=0-7
/proc/1748/task/1749/stat : 1749 (java) R 1746 1746 1535 0 -1 4202560 3506 0 0 0 8 0 0 0 20 0 20 0 104826929 26623803392 6643 33554432000 4194304 4196468 140736782034288 139873840311232 139873836096918 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1750] ppid=1746 vsize=25999808 memory=4349475210443476153 CPUtime=0 cores=0-7
/proc/1748/task/1750/stat : 1750 (java) S 1746 1746 1535 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104826930 26623803392 6643 33554432000 4194304 4196468 140736782034288 139873799191184 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1751] ppid=1746 vsize=25999808 memory=139660093589120 CPUtime=0 cores=0-7
/proc/1748/task/1751/stat : 1751 (java) S 1746 1746 1535 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104826930 26623803392 6643 33554432000 4194304 4196468 140736782034288 139873392917008 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1752] ppid=1746 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1748/task/1752/stat : 1752 (java) S 1746 1746 1535 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104826930 26623803392 6643 33554432000 4194304 4196468 140736782034288 139873391864208 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1753] ppid=1746 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1748/task/1753/stat : 1753 (java) S 1746 1746 1535 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104826930 26623803392 6643 33554432000 4194304 4196468 140736782034288 139873390811408 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1754] ppid=1746 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1748/task/1754/stat : 1754 (java) S 1746 1746 1535 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104826930 26623803392 6643 33554432000 4194304 4196468 140736782034288 139873389759632 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1755] ppid=1746 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/1748/task/1755/stat : 1755 (java) S 1746 1746 1535 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104826930 26623803392 6643 33554432000 4194304 4196468 140736782034288 139873388706832 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1756] ppid=1746 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1748/task/1756/stat : 1756 (java) S 1746 1746 1535 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104826930 26623803392 6643 33554432000 4194304 4196468 140736782034288 139873387654032 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1757] ppid=1746 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1748/task/1757/stat : 1757 (java) S 1746 1746 1535 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104826930 26623803392 6643 33554432000 4194304 4196468 140736782034288 139873386601232 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1758] ppid=1746 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1748/task/1758/stat : 1758 (java) S 1746 1746 1535 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104826932 26623803392 6643 33554432000 4194304 4196468 140736782034288 139872510622064 139873836096130 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1759] ppid=1746 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1748/task/1759/stat : 1759 (java) S 1746 1746 1535 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104826932 26623803392 6643 33554432000 4194304 4196468 140736782034288 139872509568032 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1760] ppid=1746 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1748/task/1760/stat : 1760 (java) S 1746 1746 1535 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104826932 26623803392 6643 33554432000 4194304 4196468 140736782034288 139872508515184 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1761] ppid=1746 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1748/task/1761/stat : 1761 (java) S 1746 1746 1535 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104826935 26623803392 6643 33554432000 4194304 4196468 140736782034288 139872507463504 139873836103579 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1762] ppid=1746 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1748/task/1762/stat : 1762 (java) S 1746 1746 1535 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 104826935 26623803392 6643 33554432000 4194304 4196468 140736782034288 139872506411888 139873836096130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1763] ppid=1746 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1748/task/1763/stat : 1763 (java) S 1746 1746 1535 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 104826935 26623803392 6643 33554432000 4194304 4196468 140736782034288 139872505359088 139873836096130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1764] ppid=1746 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1748/task/1764/stat : 1764 (java) S 1746 1746 1535 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104826935 26623803392 6643 33554432000 4194304 4196468 140736782034288 139872504306288 139873836096130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1765] ppid=1746 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/1748/task/1765/stat : 1765 (java) S 1746 1746 1535 0 -1 1077944384 268 0 0 0 1 0 0 0 20 0 20 0 104826935 26623803392 6643 33554432000 4194304 4196468 140736782034288 139872503253488 139873836096130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1766] ppid=1746 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1748/task/1766/stat : 1766 (java) S 1746 1746 1535 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104826935 26623803392 6643 33554432000 4194304 4196468 140736782034288 139872502200928 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1767] ppid=1746 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/1748/task/1767/stat : 1767 (java) S 1746 1746 1535 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104826935 26623803392 6643 33554432000 4194304 4196468 140736782034288 139872501148208 139873836096130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27696 KiB

[startup+0.210302 s]*
/proc/loadavg: 8.68 8.81 8.80 3/199 1767
/proc/meminfo: memFree=28759452/32770624 swapFree=67108860/67108860
[pid=1746] ppid=1743 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/1746/stat : 1746 (xcsp3-exec) S 1743 1746 1535 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 104826929 9740288 346 33554432000 4194304 5098028 140726811225808 140726811223912 140304463991420 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30195712 140726811231332 140726811231543 140726811231543 140726811234283 0
/proc/1746/statm: 2378 346 289 221 0 87 0
[pid=1748] ppid=1746 vsize=26004064 memory=39208 CPUtime=0.32 cores=0-7
/proc/1748/stat : 1748 (java) S 1746 1746 1535 0 -1 1077944320 8362 0 0 0 30 2 0 0 20 0 20 0 104826929 26628161536 9802 33554432000 4194304 4196468 140736782034288 140736782016832 139873836084983 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
/proc/1748/statm: 6501016 9802 3056 1 0 6488269 0
[pid=1748/tid=1749] ppid=1746 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7
/proc/1748/task/1749/stat : 1749 (java) R 1746 1746 1535 0 -1 4202560 5423 0 0 0 18 1 0 0 20 0 20 0 104826929 26628161536 9802 33554432000 4194304 4196468 140736782034288 139873840305976 139873828762997 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1750] ppid=1746 vsize=26004064 memory=4349475210443476153 CPUtime=0 cores=0-7
/proc/1748/task/1750/stat : 1750 (java) S 1746 1746 1535 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104826930 26628161536 9802 33554432000 4194304 4196468 140736782034288 139873799191184 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1751] ppid=1746 vsize=26004064 memory=139660093589120 CPUtime=0 cores=0-7
/proc/1748/task/1751/stat : 1751 (java) S 1746 1746 1535 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104826930 26628161536 9802 33554432000 4194304 4196468 140736782034288 139873392917008 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1752] ppid=1746 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1748/task/1752/stat : 1752 (java) S 1746 1746 1535 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104826930 26628161536 9802 33554432000 4194304 4196468 140736782034288 139873391864208 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1753] ppid=1746 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1748/task/1753/stat : 1753 (java) S 1746 1746 1535 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104826930 26628161536 9802 33554432000 4194304 4196468 140736782034288 139873390811408 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1754] ppid=1746 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1748/task/1754/stat : 1754 (java) S 1746 1746 1535 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104826930 26628161536 9802 33554432000 4194304 4196468 140736782034288 139873389759632 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1755] ppid=1746 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/1748/task/1755/stat : 1755 (java) S 1746 1746 1535 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104826930 26628161536 9802 33554432000 4194304 4196468 140736782034288 139873388706832 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1756] ppid=1746 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1748/task/1756/stat : 1756 (java) S 1746 1746 1535 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104826930 26628161536 9802 33554432000 4194304 4196468 140736782034288 139873387654032 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1757] ppid=1746 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1748/task/1757/stat : 1757 (java) S 1746 1746 1535 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104826930 26628161536 9802 33554432000 4194304 4196468 140736782034288 139873386601232 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1758] ppid=1746 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1748/task/1758/stat : 1758 (java) S 1746 1746 1535 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104826932 26628161536 9802 33554432000 4194304 4196468 140736782034288 139872510622064 139873836096130 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1759] ppid=1746 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1748/task/1759/stat : 1759 (java) S 1746 1746 1535 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104826932 26628161536 9802 33554432000 4194304 4196468 140736782034288 139872509568032 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1760] ppid=1746 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1748/task/1760/stat : 1760 (java) S 1746 1746 1535 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104826932 26628161536 9802 33554432000 4194304 4196468 140736782034288 139872508515184 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1761] ppid=1746 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1748/task/1761/stat : 1761 (java) S 1746 1746 1535 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104826935 26628161536 9802 33554432000 4194304 4196468 140736782034288 139872507463504 139873836103579 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1762] ppid=1746 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/1748/task/1762/stat : 1762 (java) S 1746 1746 1535 0 -1 1077944384 545 0 0 0 1 0 0 0 20 0 20 0 104826935 26628161536 9802 33554432000 4194304 4196468 140736782034288 139872506411888 139873836096130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1763] ppid=1746 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/1748/task/1763/stat : 1763 (java) S 1746 1746 1535 0 -1 1077944384 242 0 0 0 1 0 0 0 20 0 20 0 104826935 26628161536 9802 33554432000 4194304 4196468 140736782034288 139872505359088 139873836096130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1764] ppid=1746 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/1748/task/1764/stat : 1764 (java) S 1746 1746 1535 0 -1 1077944384 99 0 0 0 1 0 0 0 20 0 20 0 104826935 26628161536 9802 33554432000 4194304 4196468 140736782034288 139872504306288 139873836096130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1765] ppid=1746 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/1748/task/1765/stat : 1765 (java) R 1746 1746 1535 0 -1 4202560 751 0 0 0 7 0 0 0 20 0 20 0 104826935 26628161536 9802 33554432000 4194304 4196468 140736782034288 139872503253488 139873814750909 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1766] ppid=1746 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1748/task/1766/stat : 1766 (java) S 1746 1746 1535 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104826935 26628161536 9802 33554432000 4194304 4196468 140736782034288 139872502200928 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1767] ppid=1746 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/1748/task/1767/stat : 1767 (java) S 1746 1746 1535 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104826935 26628161536 9802 33554432000 4194304 4196468 140736782034288 139872501148208 139873836096130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40592 KiB

[startup+0.310115 s]*
/proc/loadavg: 8.68 8.81 8.80 3/199 1767
/proc/meminfo: memFree=28754784/32770624 swapFree=67108860/67108860
[pid=1746] ppid=1743 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/1746/stat : 1746 (xcsp3-exec) S 1743 1746 1535 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 104826929 9740288 346 33554432000 4194304 5098028 140726811225808 140726811223912 140304463991420 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30195712 140726811231332 140726811231543 140726811231543 140726811234283 0
/proc/1746/statm: 2378 346 289 221 0 87 0
[pid=1748] ppid=1746 vsize=26004064 memory=43844 CPUtime=0.49 cores=0-7
/proc/1748/stat : 1748 (java) S 1746 1746 1535 0 -1 1077944320 9203 0 0 0 46 3 0 0 20 0 20 0 104826929 26628161536 10961 33554432000 4194304 4196468 140736782034288 140736782016832 139873836084983 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
/proc/1748/statm: 6501016 10961 3092 1 0 6488269 0
[pid=1748/tid=1749] ppid=1746 vsize=26004064 memory=1399051139730258233 CPUtime=0.29 cores=0-7
/proc/1748/task/1749/stat : 1749 (java) R 1746 1746 1535 0 -1 4202560 6097 0 0 0 27 2 0 0 20 0 20 0 104826929 26628161536 10961 33554432000 4194304 4196468 140736782034288 139873840320832 139873836096918 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1750] ppid=1746 vsize=26004064 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/1748/task/1750/stat : 1750 (java) S 1746 1746 1535 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104826930 26628161536 10961 33554432000 4194304 4196468 140736782034288 139873799191184 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1751] ppid=1746 vsize=26004064 memory=1716 CPUtime=0 cores=0-7
/proc/1748/task/1751/stat : 1751 (java) S 1746 1746 1535 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104826930 26628161536 10961 33554432000 4194304 4196468 140736782034288 139873392917008 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1752] ppid=1746 vsize=26004064 memory=1440 CPUtime=0 cores=0-7
/proc/1748/task/1752/stat : 1752 (java) S 1746 1746 1535 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104826930 26628161536 10961 33554432000 4194304 4196468 140736782034288 139873391864208 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1753] ppid=1746 vsize=26004064 memory=15876 CPUtime=0 cores=0-7
/proc/1748/task/1753/stat : 1753 (java) S 1746 1746 1535 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104826930 26628161536 10961 33554432000 4194304 4196468 140736782034288 139873390811408 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1754] ppid=1746 vsize=26004064 memory=16432 CPUtime=0 cores=0-7
/proc/1748/task/1754/stat : 1754 (java) S 1746 1746 1535 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104826930 26628161536 10961 33554432000 4194304 4196468 140736782034288 139873389759632 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1755] ppid=1746 vsize=26004064 memory=17856 CPUtime=0 cores=0-7
/proc/1748/task/1755/stat : 1755 (java) S 1746 1746 1535 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104826930 26628161536 10961 33554432000 4194304 4196468 140736782034288 139873388706832 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1756] ppid=1746 vsize=26004064 memory=4044 CPUtime=0 cores=0-7
/proc/1748/task/1756/stat : 1756 (java) S 1746 1746 1535 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104826930 26628161536 10961 33554432000 4194304 4196468 140736782034288 139873387654032 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1757] ppid=1746 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1748/task/1757/stat : 1757 (java) S 1746 1746 1535 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104826930 26628161536 10961 33554432000 4194304 4196468 140736782034288 139873386601232 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1758] ppid=1746 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1748/task/1758/stat : 1758 (java) S 1746 1746 1535 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104826932 26628161536 10961 33554432000 4194304 4196468 140736782034288 139872510622064 139873836096130 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1759] ppid=1746 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1748/task/1759/stat : 1759 (java) S 1746 1746 1535 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104826932 26628161536 10961 33554432000 4194304 4196468 140736782034288 139872509568032 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1760] ppid=1746 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1748/task/1760/stat : 1760 (java) S 1746 1746 1535 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104826932 26628161536 10961 33554432000 4194304 4196468 140736782034288 139872508515184 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1761] ppid=1746 vsize=26004064 memory=139659988534735 CPUtime=0 cores=0-7
/proc/1748/task/1761/stat : 1761 (java) S 1746 1746 1535 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104826935 26628161536 10961 33554432000 4194304 4196468 140736782034288 139872507463504 139873836103579 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1762] ppid=1746 vsize=26004064 memory=67 CPUtime=0.02 cores=0-7
/proc/1748/task/1762/stat : 1762 (java) S 1746 1746 1535 0 -1 1077944384 551 0 0 0 2 0 0 0 20 0 20 0 104826935 26628161536 10961 33554432000 4194304 4196468 140736782034288 139872506411888 139873836096130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1763] ppid=1746 vsize=26004064 memory=51172 CPUtime=0.01 cores=0-7
/proc/1748/task/1763/stat : 1763 (java) S 1746 1746 1535 0 -1 1077944384 242 0 0 0 1 0 0 0 20 0 20 0 104826935 26628161536 10961 33554432000 4194304 4196468 140736782034288 139872505359088 139873836096130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1764] ppid=1746 vsize=26004064 memory=53476 CPUtime=0.02 cores=0-7
/proc/1748/task/1764/stat : 1764 (java) R 1746 1746 1535 0 -1 1077944384 148 0 0 0 2 0 0 0 20 0 20 0 104826935 26628161536 10961 33554432000 4194304 4196468 140736782034288 139872504306288 139873836096130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1765] ppid=1746 vsize=26004064 memory=55780 CPUtime=0.12 cores=0-7
/proc/1748/task/1765/stat : 1765 (java) R 1746 1746 1535 0 -1 4202560 857 0 0 0 12 0 0 0 20 0 20 0 104826935 26628161536 10961 33554432000 4194304 4196468 140736782034288 139872503249856 139873815219459 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1766] ppid=1746 vsize=26004064 memory=110297088 CPUtime=0 cores=0-7
/proc/1748/task/1766/stat : 1766 (java) S 1746 1746 1535 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104826935 26628161536 10961 33554432000 4194304 4196468 140736782034288 139872502200928 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1767] ppid=1746 vsize=26004064 memory=9740287 CPUtime=0 cores=0-7
/proc/1748/task/1767/stat : 1767 (java) S 1746 1746 1535 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104826935 26628161536 10961 33554432000 4194304 4196468 140736782034288 139872501148208 139873836096130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45228 KiB

[startup+0.701003 s]
/proc/loadavg: 8.22 8.71 8.77 6/199 1767
/proc/meminfo: memFree=28727180/32770624 swapFree=67108860/67108860
[pid=1746] ppid=1743 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/1746/stat : 1746 (xcsp3-exec) S 1743 1746 1535 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 104826929 9740288 346 33554432000 4194304 5098028 140726811225808 140726811223912 140304463991420 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30195712 140726811231332 140726811231543 140726811231543 140726811234283 0
/proc/1746/statm: 2378 346 289 221 0 87 0
[pid=1748] ppid=1746 vsize=26006188 memory=110216 CPUtime=2.05 cores=0-7
/proc/1748/stat : 1748 (java) S 1746 1746 1535 0 -1 1077944320 13975 0 0 0 200 5 0 0 20 0 20 0 104826929 26630336512 27554 33554432000 4194304 4196468 140736782034288 140736782016832 139873836084983 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
/proc/1748/statm: 6501547 27554 3200 1 0 6488781 0
[pid=1748/tid=1749] ppid=1746 vsize=26006188 memory=12064 CPUtime=0.66 cores=0-7
/proc/1748/task/1749/stat : 1749 (java) R 1746 1746 1535 0 -1 4202560 6584 0 0 0 63 3 0 0 20 0 20 0 104826929 26630336512 27554 33554432000 4194304 4196468 140736782034288 139873840320928 139873476512650 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1750] ppid=1746 vsize=26006188 memory=1004 CPUtime=0 cores=0-7
/proc/1748/task/1750/stat : 1750 (java) S 1746 1746 1535 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104826930 26630336512 27554 33554432000 4194304 4196468 140736782034288 139873799191184 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1751] ppid=1746 vsize=26006188 memory=1228 CPUtime=0 cores=0-7
/proc/1748/task/1751/stat : 1751 (java) S 1746 1746 1535 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104826930 26630336512 27554 33554432000 4194304 4196468 140736782034288 139873392917008 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1752] ppid=1746 vsize=26006188 memory=1952 CPUtime=0 cores=0-7
/proc/1748/task/1752/stat : 1752 (java) S 1746 1746 1535 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104826930 26630336512 27554 33554432000 4194304 4196468 140736782034288 139873391864208 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0

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

[pid=1748/tid=1765] ppid=1746 vsize=26538700 memory=8836 CPUtime=0.94 cores=0-7
/proc/1748/task/1765/stat : 1765 (java) S 1746 1746 1535 0 -1 1077944384 8290 0 0 0 92 2 0 0 20 0 28 0 104826935 27175628800 430352 33554432000 4194304 4196468 140736782034288 139872503253488 139873836096130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1766] ppid=1746 vsize=26538700 memory=11044 CPUtime=0 cores=0-7
/proc/1748/task/1766/stat : 1766 (java) S 1746 1746 1535 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 104826935 27175628800 430352 33554432000 4194304 4196468 140736782034288 139872502200928 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1767] ppid=1746 vsize=26538700 memory=13252 CPUtime=0 cores=0-7
/proc/1748/task/1767/stat : 1767 (java) S 1746 1746 1535 0 -1 1077944384 106 0 0 0 0 0 0 0 20 0 28 0 104826935 27175628800 430352 33554432000 4194304 4196468 140736782034288 139872501148208 139873836096130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1768] ppid=1746 vsize=26538700 memory=15460 CPUtime=11.97 cores=0-7
/proc/1748/task/1768/stat : 1768 (java) R 1746 1746 1535 0 -1 4202560 505 0 0 0 1193 4 0 0 20 0 28 0 104827290 27175628800 430352 33554432000 4194304 4196468 140736782034288 139872493138920 139873481743068 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1769] ppid=1746 vsize=26538700 memory=17668 CPUtime=12.05 cores=0-7
/proc/1748/task/1769/stat : 1769 (java) R 1746 1746 1535 0 -1 4202560 461 0 0 0 1201 4 0 0 20 0 28 0 104827290 27175628800 430352 33554432000 4194304 4196468 140736782034288 139872492084712 139873481742093 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1770] ppid=1746 vsize=26538700 memory=19876 CPUtime=12.15 cores=0-7
/proc/1748/task/1770/stat : 1770 (java) R 1746 1746 1535 0 -1 4202560 1608 0 0 0 1210 5 0 0 20 0 28 0 104827290 27175628800 430352 33554432000 4194304 4196468 140736782034288 139872491032784 139873481158023 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1771] ppid=1746 vsize=26538700 memory=22084 CPUtime=12.11 cores=0-7
/proc/1748/task/1771/stat : 1771 (java) R 1746 1746 1535 0 -1 4202560 605 0 0 0 1209 2 0 0 20 0 28 0 104827290 27175628800 430352 33554432000 4194304 4196468 140736782034288 139872489982472 139873483030592 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1772] ppid=1746 vsize=26538700 memory=24292 CPUtime=11.67 cores=0-7
/proc/1748/task/1772/stat : 1772 (java) R 1746 1746 1535 0 -1 4202560 790 0 0 0 1163 4 0 0 20 0 28 0 104827290 27175628800 430352 33554432000 4194304 4196468 140736782034288 139872488927088 139873483404733 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1773] ppid=1746 vsize=26538700 memory=6625 CPUtime=12.13 cores=0-7
/proc/1748/task/1773/stat : 1773 (java) R 1746 1746 1535 0 -1 4202560 550 0 0 0 1210 3 0 0 20 0 28 0 104827290 27175628800 430352 33554432000 4194304 4196468 140736782034288 139872487874552 139873481742289 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1774] ppid=1746 vsize=26538700 memory=4420 CPUtime=12.33 cores=0-7
/proc/1748/task/1774/stat : 1774 (java) R 1746 1746 1535 0 -1 4202560 789 0 0 0 1229 4 0 0 20 0 28 0 104827290 27175628800 430352 33554432000 4194304 4196468 140736782034288 139872486821752 139873481743086 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1775] ppid=1746 vsize=26538700 memory=6628 CPUtime=12 cores=0-7
/proc/1748/task/1775/stat : 1775 (java) R 1746 1746 1535 0 -1 4202560 447 0 0 0 1196 4 0 0 20 0 28 0 104827290 27175628800 430352 33554432000 4194304 4196468 140736782034288 139872485768816 139873483615135 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
Current children cumulated CPU time: 115.69 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1722792 KiB

[startup+17.6016 s]
/proc/loadavg: 8.67 8.79 8.79 9/207 1775
/proc/meminfo: memFree=27075240/32770624 swapFree=67108860/67108860
[pid=1746] ppid=1743 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/1746/stat : 1746 (xcsp3-exec) S 1743 1746 1535 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 104826929 9740288 346 33554432000 4194304 5098028 140726811225808 140726811223912 140304463991420 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30195712 140726811231332 140726811231543 140726811231543 140726811234283 0
/proc/1746/statm: 2378 346 289 221 0 87 0
[pid=1748] ppid=1746 vsize=26538700 memory=1809440 CPUtime=122.06 cores=0-7
/proc/1748/stat : 1748 (java) S 1746 1746 1535 0 -1 1077944320 56180 0 0 0 12021 185 0 0 20 0 28 0 104826929 27175628800 452360 33554432000 4194304 4196468 140736782034288 140736782016832 139873836084983 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
/proc/1748/statm: 6634675 452360 3307 1 0 6621909 0
[pid=1748/tid=1749] ppid=1746 vsize=26538700 memory=1440 CPUtime=3.31 cores=0-7
/proc/1748/task/1749/stat : 1749 (java) S 1746 1746 1535 0 -1 1077944384 8836 0 0 0 324 7 0 0 20 0 28 0 104826929 27175628800 452360 33554432000 4194304 4196468 140736782034288 139873840325760 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1750] ppid=1746 vsize=26538700 memory=15876 CPUtime=0.68 cores=0-7
/proc/1748/task/1750/stat : 1750 (java) S 1746 1746 1535 0 -1 1077944384 595 0 0 0 52 16 0 0 20 0 28 0 104826930 27175628800 452360 33554432000 4194304 4196468 140736782034288 139873799191184 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1751] ppid=1746 vsize=26538700 memory=16432 CPUtime=0.67 cores=0-7
/proc/1748/task/1751/stat : 1751 (java) S 1746 1746 1535 0 -1 1077944384 475 0 0 0 51 16 0 0 20 0 28 0 104826930 27175628800 452360 33554432000 4194304 4196468 140736782034288 139873392917008 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1752] ppid=1746 vsize=26538700 memory=17856 CPUtime=0.68 cores=0-7
/proc/1748/task/1752/stat : 1752 (java) S 1746 1746 1535 0 -1 1077944384 597 0 0 0 52 16 0 0 20 0 28 0 104826930 27175628800 452360 33554432000 4194304 4196468 140736782034288 139873391864208 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1753] ppid=1746 vsize=26538700 memory=1384 CPUtime=0.68 cores=0-7
/proc/1748/task/1753/stat : 1753 (java) S 1746 1746 1535 0 -1 1077944384 461 0 0 0 52 16 0 0 20 0 28 0 104826930 27175628800 452360 33554432000 4194304 4196468 140736782034288 139873390811408 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1754] ppid=1746 vsize=26538700 memory=329 CPUtime=0.66 cores=0-7
/proc/1748/task/1754/stat : 1754 (java) S 1746 1746 1535 0 -1 1077944384 842 0 0 0 50 16 0 0 20 0 28 0 104826930 27175628800 452360 33554432000 4194304 4196468 140736782034288 139873389759632 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1755] ppid=1746 vsize=26538700 memory=321 CPUtime=0.67 cores=0-7
/proc/1748/task/1755/stat : 1755 (java) S 1746 1746 1535 0 -1 1077944384 1324 0 0 0 51 16 0 0 20 0 28 0 104826930 27175628800 452360 33554432000 4194304 4196468 140736782034288 139873388706832 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1756] ppid=1746 vsize=26538700 memory=290 CPUtime=0.69 cores=0-7
/proc/1748/task/1756/stat : 1756 (java) S 1746 1746 1535 0 -1 1077944384 951 0 0 0 51 18 0 0 20 0 28 0 104826930 27175628800 452360 33554432000 4194304 4196468 140736782034288 139873387654032 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1757] ppid=1746 vsize=26538700 memory=92 CPUtime=0.67 cores=0-7
/proc/1748/task/1757/stat : 1757 (java) S 1746 1746 1535 0 -1 1077944384 656 0 0 0 51 16 0 0 20 0 28 0 104826930 27175628800 452360 33554432000 4194304 4196468 140736782034288 139873386601232 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1758] ppid=1746 vsize=26538700 memory=0 CPUtime=0.05 cores=0-7
/proc/1748/task/1758/stat : 1758 (java) S 1746 1746 1535 0 -1 1077944384 2042 0 0 0 4 1 0 0 20 0 28 0 104826932 27175628800 452360 33554432000 4194304 4196468 140736782034288 139872510622064 139873836096130 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1759] ppid=1746 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/1748/task/1759/stat : 1759 (java) S 1746 1746 1535 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 104826932 27175628800 452360 33554432000 4194304 4196468 140736782034288 139872509568096 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1760] ppid=1746 vsize=26538700 memory=1037 CPUtime=0 cores=0-7
/proc/1748/task/1760/stat : 1760 (java) S 1746 1746 1535 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 104826932 27175628800 452360 33554432000 4194304 4196468 140736782034288 139872508515200 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1761] ppid=1746 vsize=26538700 memory=1047 CPUtime=0 cores=0-7
/proc/1748/task/1761/stat : 1761 (java) S 1746 1746 1535 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 104826935 27175628800 452360 33554432000 4194304 4196468 140736782034288 139872507463504 139873836103579 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1762] ppid=1746 vsize=26538700 memory=1055 CPUtime=3.34 cores=0-7
/proc/1748/task/1762/stat : 1762 (java) S 1746 1746 1535 0 -1 1077944384 8488 0 0 0 333 1 0 0 20 0 28 0 104826935 27175628800 452360 33554432000 4194304 4196468 140736782034288 139872506411888 139873836096130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1763] ppid=1746 vsize=26538700 memory=1058 CPUtime=3.23 cores=0-7
/proc/1748/task/1763/stat : 1763 (java) S 1746 1746 1535 0 -1 1077944384 5992 0 0 0 322 1 0 0 20 0 28 0 104826935 27175628800 452360 33554432000 4194304 4196468 140736782034288 139872505359088 139873836096130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1764] ppid=1746 vsize=26538700 memory=1009 CPUtime=2.97 cores=0-7
/proc/1748/task/1764/stat : 1764 (java) S 1746 1746 1535 0 -1 1077944384 8724 0 0 0 296 1 0 0 20 0 28 0 104826935 27175628800 452360 33554432000 4194304 4196468 140736782034288 139872504306288 139873836096130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1765] ppid=1746 vsize=26538700 memory=1056 CPUtime=0.94 cores=0-7
/proc/1748/task/1765/stat : 1765 (java) S 1746 1746 1535 0 -1 1077944384 8290 0 0 0 92 2 0 0 20 0 28 0 104826935 27175628800 452360 33554432000 4194304 4196468 140736782034288 139872503253488 139873836096130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1766] ppid=1746 vsize=26538700 memory=1074 CPUtime=0 cores=0-7
/proc/1748/task/1766/stat : 1766 (java) S 1746 1746 1535 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 104826935 27175628800 452360 33554432000 4194304 4196468 140736782034288 139872502200928 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1767] ppid=1746 vsize=26538700 memory=1043 CPUtime=0 cores=0-7
/proc/1748/task/1767/stat : 1767 (java) S 1746 1746 1535 0 -1 1077944384 106 0 0 0 0 0 0 0 20 0 28 0 104826935 27175628800 452360 33554432000 4194304 4196468 140736782034288 139872501148208 139873836096130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1768] ppid=1746 vsize=26538700 memory=2240 CPUtime=12.75 cores=0-7
/proc/1748/task/1768/stat : 1768 (java) R 1746 1746 1535 0 -1 4202560 536 0 0 0 1271 4 0 0 20 0 28 0 104827290 27175628800 452360 33554432000 4194304 4196468 140736782034288 139872493136408 139873483615331 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1769] ppid=1746 vsize=26538700 memory=2340 CPUtime=12.8 cores=0-7
/proc/1748/task/1769/stat : 1769 (java) R 1746 1746 1535 0 -1 4202560 497 0 0 0 1276 4 0 0 20 0 28 0 104827290 27175628800 452360 33554432000 4194304 4196468 140736782034288 139872492084360 139873481742329 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1770] ppid=1746 vsize=26538700 memory=4080 CPUtime=12.92 cores=0-7
/proc/1748/task/1770/stat : 1770 (java) R 1746 1746 1535 0 -1 4202560 1689 0 0 0 1287 5 0 0 20 0 28 0 104827290 27175628800 452360 33554432000 4194304 4196468 140736782034288 139872491033496 139873483615087 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1771] ppid=1746 vsize=26538700 memory=4096 CPUtime=12.89 cores=0-7
/proc/1748/task/1771/stat : 1771 (java) R 1746 1746 1535 0 -1 4202560 927 0 0 0 1287 2 0 0 20 0 28 0 104827290 27175628800 452360 33554432000 4194304 4196468 140736782034288 139872489979496 139873481743068 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1772] ppid=1746 vsize=26538700 memory=30488 CPUtime=12.45 cores=0-7
/proc/1748/task/1772/stat : 1772 (java) R 1746 1746 1535 0 -1 4202560 874 0 0 0 1240 5 0 0 20 0 28 0 104827290 27175628800 452360 33554432000 4194304 4196468 140736782034288 139872488927088 139873483405647 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1773] ppid=1746 vsize=26538700 memory=2428 CPUtime=12.9 cores=0-7
/proc/1748/task/1773/stat : 1773 (java) R 1746 1746 1535 0 -1 4202560 594 0 0 0 1287 3 0 0 20 0 28 0 104827290 27175628800 452360 33554432000 4194304 4196468 140736782034288 139872487874552 139873481742425 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1774] ppid=1746 vsize=26538700 memory=1292 CPUtime=13.09 cores=0-7
/proc/1748/task/1774/stat : 1774 (java) R 1746 1746 1535 0 -1 4202560 846 0 0 0 1305 4 0 0 20 0 28 0 104827290 27175628800 452360 33554432000 4194304 4196468 140736782034288 139872486821720 139873481743068 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1775] ppid=1746 vsize=26538700 memory=1728 CPUtime=12.78 cores=0-7
/proc/1748/task/1775/stat : 1775 (java) R 1746 1746 1535 0 -1 4202560 477 0 0 0 1274 4 0 0 20 0 28 0 104827290 27175628800 452360 33554432000 4194304 4196468 140736782034288 139872485768920 139873481743068 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
Current children cumulated CPU time: 122.06 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1810824 KiB

[startup+17.8012 s]
/proc/loadavg: 8.67 8.79 8.79 9/207 1775
/proc/meminfo: memFree=27075240/32770624 swapFree=67108860/67108860
[pid=1746] ppid=1743 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/1746/stat : 1746 (xcsp3-exec) S 1743 1746 1535 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 104826929 9740288 346 33554432000 4194304 5098028 140726811225808 140726811223912 140304463991420 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30195712 140726811231332 140726811231543 140726811231543 140726811234283 0
/proc/1746/statm: 2378 346 289 221 0 87 0
[pid=1748] ppid=1746 vsize=26538700 memory=1809484 CPUtime=123.42 cores=0-7
/proc/1748/stat : 1748 (java) S 1746 1746 1535 0 -1 1077944320 58113 0 0 0 12157 185 0 0 20 0 28 0 104826929 27175628800 452371 33554432000 4194304 4196468 140736782034288 140736782016832 139873836084983 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
/proc/1748/statm: 6634675 452371 3307 1 0 6621909 0
[pid=1748/tid=1749] ppid=1746 vsize=26538700 memory=1228 CPUtime=3.31 cores=0-7
/proc/1748/task/1749/stat : 1749 (java) S 1746 1746 1535 0 -1 1077944384 8836 0 0 0 324 7 0 0 20 0 28 0 104826929 27175628800 452371 33554432000 4194304 4196468 140736782034288 139873840325760 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1750] ppid=1746 vsize=26538700 memory=1952 CPUtime=0.68 cores=0-7
/proc/1748/task/1750/stat : 1750 (java) S 1746 1746 1535 0 -1 1077944384 595 0 0 0 52 16 0 0 20 0 28 0 104826930 27175628800 452371 33554432000 4194304 4196468 140736782034288 139873799191184 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1751] ppid=1746 vsize=26538700 memory=5796 CPUtime=0.67 cores=0-7
/proc/1748/task/1751/stat : 1751 (java) S 1746 1746 1535 0 -1 1077944384 475 0 0 0 51 16 0 0 20 0 28 0 104826930 27175628800 452371 33554432000 4194304 4196468 140736782034288 139873392917008 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1752] ppid=1746 vsize=26538700 memory=4616 CPUtime=0.68 cores=0-7
/proc/1748/task/1752/stat : 1752 (java) S 1746 1746 1535 0 -1 1077944384 597 0 0 0 52 16 0 0 20 0 28 0 104826930 27175628800 452371 33554432000 4194304 4196468 140736782034288 139873391864208 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1753] ppid=1746 vsize=26538700 memory=8584 CPUtime=0.68 cores=0-7
/proc/1748/task/1753/stat : 1753 (java) S 1746 1746 1535 0 -1 1077944384 461 0 0 0 52 16 0 0 20 0 28 0 104826930 27175628800 452371 33554432000 4194304 4196468 140736782034288 139873390811408 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1754] ppid=1746 vsize=26538700 memory=792 CPUtime=0.66 cores=0-7
/proc/1748/task/1754/stat : 1754 (java) S 1746 1746 1535 0 -1 1077944384 842 0 0 0 50 16 0 0 20 0 28 0 104826930 27175628800 452371 33554432000 4194304 4196468 140736782034288 139873389759632 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1755] ppid=1746 vsize=26538700 memory=1204 CPUtime=0.67 cores=0-7
/proc/1748/task/1755/stat : 1755 (java) S 1746 1746 1535 0 -1 1077944384 1324 0 0 0 51 16 0 0 20 0 28 0 104826930 27175628800 452371 33554432000 4194304 4196468 140736782034288 139873388706832 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1756] ppid=1746 vsize=26538700 memory=1716 CPUtime=0.69 cores=0-7
/proc/1748/task/1756/stat : 1756 (java) S 1746 1746 1535 0 -1 1077944384 951 0 0 0 51 18 0 0 20 0 28 0 104826930 27175628800 452371 33554432000 4194304 4196468 140736782034288 139873387654032 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1757] ppid=1746 vsize=26538700 memory=1440 CPUtime=0.67 cores=0-7
/proc/1748/task/1757/stat : 1757 (java) S 1746 1746 1535 0 -1 1077944384 656 0 0 0 51 16 0 0 20 0 28 0 104826930 27175628800 452371 33554432000 4194304 4196468 140736782034288 139873386601232 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1758] ppid=1746 vsize=26538700 memory=15876 CPUtime=0.05 cores=0-7
/proc/1748/task/1758/stat : 1758 (java) S 1746 1746 1535 0 -1 1077944384 2042 0 0 0 4 1 0 0 20 0 28 0 104826932 27175628800 452371 33554432000 4194304 4196468 140736782034288 139872510622064 139873836096130 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1759] ppid=1746 vsize=26538700 memory=16432 CPUtime=0 cores=0-7
/proc/1748/task/1759/stat : 1759 (java) S 1746 1746 1535 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 104826932 27175628800 452371 33554432000 4194304 4196468 140736782034288 139872509568096 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1760] ppid=1746 vsize=26538700 memory=17856 CPUtime=0 cores=0-7
/proc/1748/task/1760/stat : 1760 (java) S 1746 1746 1535 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 104826932 27175628800 452371 33554432000 4194304 4196468 140736782034288 139872508515200 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1761] ppid=1746 vsize=26538700 memory=4044 CPUtime=0 cores=0-7
/proc/1748/task/1761/stat : 1761 (java) S 1746 1746 1535 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 104826935 27175628800 452371 33554432000 4194304 4196468 140736782034288 139872507463504 139873836103579 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1762] ppid=1746 vsize=26538700 memory=1792 CPUtime=3.35 cores=0-7
/proc/1748/task/1762/stat : 1762 (java) S 1746 1746 1535 0 -1 1077944384 8609 0 0 0 334 1 0 0 20 0 28 0 104826935 27175628800 452371 33554432000 4194304 4196468 140736782034288 139872506411888 139873836096130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1763] ppid=1746 vsize=26538700 memory=636 CPUtime=3.26 cores=0-7
/proc/1748/task/1763/stat : 1763 (java) S 1746 1746 1535 0 -1 1077944384 6659 0 0 0 325 1 0 0 20 0 28 0 104826935 27175628800 452371 33554432000 4194304 4196468 140736782034288 139872505359088 139873836096130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1764] ppid=1746 vsize=26538700 memory=0 CPUtime=2.98 cores=0-7
/proc/1748/task/1764/stat : 1764 (java) S 1746 1746 1535 0 -1 1077944384 8791 0 0 0 297 1 0 0 20 0 28 0 104826935 27175628800 452371 33554432000 4194304 4196468 140736782034288 139872504306288 139873836096130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1765] ppid=1746 vsize=26538700 memory=26660 CPUtime=0.95 cores=0-7
/proc/1748/task/1765/stat : 1765 (java) S 1746 1746 1535 0 -1 1077944384 8920 0 0 0 93 2 0 0 20 0 28 0 104826935 27175628800 452371 33554432000 4194304 4196468 140736782034288 139872503253488 139873836096130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1766] ppid=1746 vsize=26538700 memory=4280 CPUtime=0 cores=0-7
/proc/1748/task/1766/stat : 1766 (java) S 1746 1746 1535 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 104826935 27175628800 452371 33554432000 4194304 4196468 140736782034288 139872502200928 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1767] ppid=1746 vsize=26538700 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/1748/task/1767/stat : 1767 (java) S 1746 1746 1535 0 -1 1077944384 108 0 0 0 0 0 0 0 20 0 28 0 104826935 27175628800 452371 33554432000 4194304 4196468 140736782034288 139872501148208 139873836096130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1768] ppid=1746 vsize=26538700 memory=2968 CPUtime=12.91 cores=0-7
/proc/1748/task/1768/stat : 1768 (java) S 1746 1746 1535 0 -1 1077944384 567 0 0 0 1287 4 0 0 20 0 28 0 104827290 27175628800 452371 33554432000 4194304 4196468 140736782034288 139872493141552 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1769] ppid=1746 vsize=26538700 memory=1384 CPUtime=12.95 cores=0-7
/proc/1748/task/1769/stat : 1769 (java) S 1746 1746 1535 0 -1 1077944384 600 0 0 0 1291 4 0 0 20 0 28 0 104827290 27175628800 452371 33554432000 4194304 4196468 140736782034288 139872492090064 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1770] ppid=1746 vsize=26538700 memory=1721036 CPUtime=13.09 cores=0-7
/proc/1748/task/1770/stat : 1770 (java) S 1746 1746 1535 0 -1 1077944384 1742 0 0 0 1304 5 0 0 20 0 28 0 104827290 27175628800 452371 33554432000 4194304 4196468 140736782034288 139872491038288 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1771] ppid=1746 vsize=26538700 memory=65 CPUtime=13.08 cores=0-7
/proc/1748/task/1771/stat : 1771 (java) R 1746 1746 1535 0 -1 4202560 988 0 0 0 1306 2 0 0 20 0 28 0 104827290 27175628800 452371 33554432000 4194304 4196468 140736782034288 139872489982440 139873483654760 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1772] ppid=1746 vsize=26538700 memory=4 CPUtime=12.62 cores=0-7
/proc/1748/task/1772/stat : 1772 (java) S 1746 1746 1535 0 -1 1077944384 904 0 0 0 1257 5 0 0 20 0 28 0 104827290 27175628800 452371 33554432000 4194304 4196468 140736782034288 139872488932688 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1773] ppid=1746 vsize=26538700 memory=0 CPUtime=13.04 cores=0-7
/proc/1748/task/1773/stat : 1773 (java) S 1746 1746 1535 0 -1 1077944384 615 0 0 0 1301 3 0 0 20 0 28 0 104827290 27175628800 452371 33554432000 4194304 4196468 140736782034288 139872487879888 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1774] ppid=1746 vsize=26538700 memory=0 CPUtime=13.25 cores=0-7
/proc/1748/task/1774/stat : 1774 (java) S 1746 1746 1535 0 -1 1077944384 965 0 0 0 1321 4 0 0 20 0 28 0 104827290 27175628800 452371 33554432000 4194304 4196468 140736782034288 139872486827088 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
[pid=1748/tid=1775] ppid=1746 vsize=26538700 memory=0 CPUtime=12.94 cores=0-7
/proc/1748/task/1775/stat : 1775 (java) S 1746 1746 1535 0 -1 1077944384 505 0 0 0 1290 4 0 0 20 0 28 0 104827290 27175628800 452371 33554432000 4194304 4196468 140736782034288 139872485774288 139873836095189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28069888 140736782038162 140736782038339 140736782038339 140736782041039 0
Current children cumulated CPU time: 123.42 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1810868 KiB

Child status: 0
Real time (s): 17.8492
CPU time (s): 123.5
CPU user time (s): 121.629
CPU system time (s): 1.87181
CPU usage (%): 691.91
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 1810868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 121.629
system time used= 1.87181
maximum resident set size= 1809512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59385
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6175
involuntary context switches= 2114


# summary of solver processes directly reported to runsolver:
#   pid: 1746
#   total CPU time (s): 123.5
#   total CPU user time (s): 121.629
#   total CPU system time (s): 1.87181

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.164829 second user time and 0.250374 second system time

The end

Begin job on node148 at 2017-08-14 15:16:40
IDJOB=4270903
IDBENCH=125571
IDSOLVER=2662
FILE ID=node148/4270903-1502717459
RUNJOBID= node148-1502714078-1562
PBS_JOBID= 20629028
Free space on /tmp= 61616 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/DeBruijnSequence/DeBruijnSequence-m1-s1/DeBruijnSequence-03-06.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4270903-1502717459/watcher-4270903-1502717459 -o /tmp/evaluation-result-4270903-1502717459/solver-4270903-1502717459 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1502714078-1562 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 2136875888 HOME/instance-4270903-1502717459.xml

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

MD5SUM BENCH= a0d270dd535955910725fddfcfa0cde8
RANDOM SEED=2136875888

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:        28786624 kB
MemAvailable:   31987124 kB
Buffers:          235012 kB
Cached:          3253456 kB
SwapCached:            0 kB
Active:           815208 kB
Inactive:        2725408 kB
Active(anon):       3588 kB
Inactive(anon):    76664 kB
Active(file):     811620 kB
Inactive(file):  2648744 kB
Unevictable:        6208 kB
Mlocked:            6208 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8064 kB
Writeback:             0 kB
AnonPages:         58804 kB
Mapped:            44900 kB
Shmem:             25224 kB
Slab:             138200 kB
SReclaimable:     111944 kB
SUnreclaim:        26256 kB
KernelStack:        3168 kB
PageTables:         4792 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323472 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 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= 61608 MiB
End job on node148 at 2017-08-14 15:16:58