0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280713-1503134889.xml"  -tl '20160s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4280713-1503134889.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.19	c 8 solvers in parallel
0.33/0.26	c parse instance...
10.81/3.54	c solve instance...
126.92/18.28	s SATISFIABLE
126.92/18.28	v <instantiation>
126.92/18.28	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>
126.92/18.28	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>
126.92/18.28	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 (12617 MiB free)
  memory of node 1: 16384 MiB (13790 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280713-1503134889/watcher-4280713-1503134889 -o /tmp/evaluation-result-4280713-1503134889/solver-4280713-1503134889 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1503131349-10806 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 388520009 HOME/instance-4280713-1503134889.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=12542, runsolver pid=12539

[startup+0.100112 s]*
/proc/loadavg: 7.17 7.37 7.86 2/199 12563
/proc/meminfo: memFree=27025120/32770624 swapFree=67108860/67108860
[pid=12542] ppid=12539 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/12542/stat : 12542 (xcsp3-exec) S 12539 12542 10779 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 146576980 9740288 345 33554432000 4194304 5098028 140734329884240 140734329882344 140576556175996 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36458496 140734329885797 140734329886007 140734329886007 140734329888747 0
/proc/12542/statm: 2378 345 289 221 0 87 0
[pid=12544] ppid=12542 vsize=25999808 memory=27160 CPUtime=0.12 cores=0-7
/proc/12544/stat : 12544 (java) S 12542 12542 10779 0 -1 1077944320 5218 0 0 0 11 1 0 0 20 0 20 0 146576980 26623803392 6790 33554432000 4194304 4196468 140735656251728 140735656234272 140610266136311 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
/proc/12544/statm: 6499952 6790 2842 1 0 6488269 0
[pid=12544/tid=12545] ppid=12542 vsize=25999808 memory=8040783992832564635 CPUtime=0.09 cores=0-7
/proc/12544/task/12545/stat : 12545 (java) R 12542 12542 10779 0 -1 4202560 3225 0 0 0 9 0 0 0 20 0 20 0 146576980 26623803392 6790 33554432000 4194304 4196468 140735656251728 140610270362912 140610266148246 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12546] ppid=12542 vsize=25999808 memory=732370575812983781 CPUtime=0 cores=0-7
/proc/12544/task/12546/stat : 12546 (java) S 12542 12542 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146576981 26623803392 6790 33554432000 4194304 4196468 140735656251728 140610188717200 140610266146517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12547] ppid=12542 vsize=25999808 memory=140437475530368 CPUtime=0 cores=0-7
/proc/12544/task/12547/stat : 12547 (java) S 12542 12542 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146576981 26623803392 6790 33554432000 4194304 4196468 140735656251728 140610187664400 140610266146517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12548] ppid=12542 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12544/task/12548/stat : 12548 (java) S 12542 12542 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146576981 26623803392 6790 33554432000 4194304 4196468 140735656251728 140610186611600 140610266146517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12549] ppid=12542 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12544/task/12549/stat : 12549 (java) S 12542 12542 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146576981 26623803392 6790 33554432000 4194304 4196468 140735656251728 140610185558800 140610266146517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12550] ppid=12542 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12544/task/12550/stat : 12550 (java) S 12542 12542 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146576981 26623803392 6790 33554432000 4194304 4196468 140735656251728 140610184506000 140610266146517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12551] ppid=12542 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/12544/task/12551/stat : 12551 (java) S 12542 12542 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146576981 26623803392 6790 33554432000 4194304 4196468 140735656251728 140609819007504 140610266146517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12552] ppid=12542 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12544/task/12552/stat : 12552 (java) S 12542 12542 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146576981 26623803392 6790 33554432000 4194304 4196468 140735656251728 140609817954704 140610266146517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12553] ppid=12542 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12544/task/12553/stat : 12553 (java) S 12542 12542 10779 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146576981 26623803392 6790 33554432000 4194304 4196468 140735656251728 140609816901904 140610266146517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12554] ppid=12542 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12544/task/12554/stat : 12554 (java) S 12542 12542 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146576983 26623803392 6790 33554432000 4194304 4196468 140735656251728 140608806976368 140610266147458 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12555] ppid=12542 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12544/task/12555/stat : 12555 (java) S 12542 12542 10779 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146576983 26623803392 6790 33554432000 4194304 4196468 140735656251728 140608805922336 140610266146517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12556] ppid=12542 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12544/task/12556/stat : 12556 (java) S 12542 12542 10779 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146576983 26623803392 6790 33554432000 4194304 4196468 140735656251728 140608804869488 140610266146517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12557] ppid=12542 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12544/task/12557/stat : 12557 (java) S 12542 12542 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146576986 26623803392 6790 33554432000 4194304 4196468 140735656251728 140608803817808 140610266154907 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12558] ppid=12542 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12544/task/12558/stat : 12558 (java) S 12542 12542 10779 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 146576986 26623803392 6790 33554432000 4194304 4196468 140735656251728 140608802765168 140610266147458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12559] ppid=12542 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12544/task/12559/stat : 12559 (java) S 12542 12542 10779 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 146576986 26623803392 6790 33554432000 4194304 4196468 140735656251728 140608801712368 140610266147458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12560] ppid=12542 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12544/task/12560/stat : 12560 (java) S 12542 12542 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146576986 26623803392 6790 33554432000 4194304 4196468 140735656251728 140608800659568 140610266147458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12561] ppid=12542 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/12544/task/12561/stat : 12561 (java) S 12542 12542 10779 0 -1 1077944384 258 0 0 0 1 0 0 0 20 0 20 0 146576986 26623803392 6790 33554432000 4194304 4196468 140735656251728 140608799606768 140610266147458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12562] ppid=12542 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12544/task/12562/stat : 12562 (java) S 12542 12542 10779 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146576986 26623803392 6790 33554432000 4194304 4196468 140735656251728 140608798555232 140610266146517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12563] ppid=12542 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/12544/task/12563/stat : 12563 (java) S 12542 12542 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146576986 26623803392 6790 33554432000 4194304 4196468 140735656251728 140608797502512 140610266147458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28540 KiB

[startup+0.210122 s]*
/proc/loadavg: 7.17 7.37 7.86 2/199 12563
/proc/meminfo: memFree=27014204/32770624 swapFree=67108860/67108860
[pid=12542] ppid=12539 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/12542/stat : 12542 (xcsp3-exec) S 12539 12542 10779 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 146576980 9740288 345 33554432000 4194304 5098028 140734329884240 140734329882344 140576556175996 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36458496 140734329885797 140734329886007 140734329886007 140734329888747 0
/proc/12542/statm: 2378 345 289 221 0 87 0
[pid=12544] ppid=12542 vsize=26004064 memory=39400 CPUtime=0.33 cores=0-7
/proc/12544/stat : 12544 (java) S 12542 12542 10779 0 -1 1077944320 7834 0 0 0 31 2 0 0 20 0 20 0 146576980 26628161536 9850 33554432000 4194304 4196468 140735656251728 140735656234272 140610266136311 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
/proc/12544/statm: 6501024 9850 3061 1 0 6488277 0
[pid=12544/tid=12545] ppid=12542 vsize=26004064 memory=0 CPUtime=0.2 cores=0-7
/proc/12544/task/12545/stat : 12545 (java) R 12542 12542 10779 0 -1 1077944384 4966 0 0 0 19 1 0 0 20 0 20 0 146576980 26628161536 9850 33554432000 4194304 4196468 140735656251728 140610270347120 140610258815533 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12546] ppid=12542 vsize=26004064 memory=732370575812983781 CPUtime=0 cores=0-7
/proc/12544/task/12546/stat : 12546 (java) S 12542 12542 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146576981 26628161536 9850 33554432000 4194304 4196468 140735656251728 140610188717200 140610266146517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12547] ppid=12542 vsize=26004096 memory=140437475530368 CPUtime=0 cores=0-7
/proc/12544/task/12547/stat : 12547 (java) S 12542 12542 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146576981 26628194304 9850 33554432000 4194304 4196468 140735656251728 140610187664400 140610266146517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12548] ppid=12542 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/12544/task/12548/stat : 12548 (java) S 12542 12542 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146576981 26628194304 9850 33554432000 4194304 4196468 140735656251728 140610186611600 140610266146517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12549] ppid=12542 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/12544/task/12549/stat : 12549 (java) S 12542 12542 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146576981 26628194304 9850 33554432000 4194304 4196468 140735656251728 140610185558800 140610266146517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12550] ppid=12542 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12544/task/12550/stat : 12550 (java) S 12542 12542 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146576981 26628161536 9850 33554432000 4194304 4196468 140735656251728 140610184506000 140610266146517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12551] ppid=12542 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/12544/task/12551/stat : 12551 (java) S 12542 12542 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146576981 26628161536 9850 33554432000 4194304 4196468 140735656251728 140609819007504 140610266146517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12552] ppid=12542 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12544/task/12552/stat : 12552 (java) S 12542 12542 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146576981 26628161536 9850 33554432000 4194304 4196468 140735656251728 140609817954704 140610266146517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12553] ppid=12542 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12544/task/12553/stat : 12553 (java) S 12542 12542 10779 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146576981 26628161536 9850 33554432000 4194304 4196468 140735656251728 140609816901904 140610266146517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12554] ppid=12542 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12544/task/12554/stat : 12554 (java) S 12542 12542 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146576983 26628161536 9850 33554432000 4194304 4196468 140735656251728 140608806976368 140610266147458 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12555] ppid=12542 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12544/task/12555/stat : 12555 (java) S 12542 12542 10779 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146576983 26628161536 9850 33554432000 4194304 4196468 140735656251728 140608805922336 140610266146517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12556] ppid=12542 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12544/task/12556/stat : 12556 (java) S 12542 12542 10779 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146576983 26628161536 9850 33554432000 4194304 4196468 140735656251728 140608804869488 140610266146517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12557] ppid=12542 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12544/task/12557/stat : 12557 (java) S 12542 12542 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146576986 26628161536 9850 33554432000 4194304 4196468 140735656251728 140608803817808 140610266154907 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12558] ppid=12542 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/12544/task/12558/stat : 12558 (java) S 12542 12542 10779 0 -1 1077944384 405 0 0 0 1 0 0 0 20 0 20 0 146576986 26628161536 9850 33554432000 4194304 4196468 140735656251728 140608802765168 140610266147458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12559] ppid=12542 vsize=26004096 memory=0 CPUtime=0.01 cores=0-7
/proc/12544/task/12559/stat : 12559 (java) S 12542 12542 10779 0 -1 1077944384 146 0 0 0 1 0 0 0 20 0 20 0 146576986 26628194304 9850 33554432000 4194304 4196468 140735656251728 140608801712368 140610266147458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12560] ppid=12542 vsize=26004096 memory=0 CPUtime=0.01 cores=0-7
/proc/12544/task/12560/stat : 12560 (java) S 12542 12542 10779 0 -1 1077944384 285 0 0 0 1 0 0 0 20 0 20 0 146576986 26628194304 9850 33554432000 4194304 4196468 140735656251728 140608800659568 140610266147458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12561] ppid=12542 vsize=26004096 memory=0 CPUtime=0.07 cores=0-7
/proc/12544/task/12561/stat : 12561 (java) S 12542 12542 10779 0 -1 1077944384 732 0 0 0 7 0 0 0 20 0 20 0 146576986 26628194304 9850 33554432000 4194304 4196468 140735656251728 140608799606768 140610266147458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12562] ppid=12542 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12544/task/12562/stat : 12562 (java) S 12542 12542 10779 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146576986 26628161536 9850 33554432000 4194304 4196468 140735656251728 140608798555232 140610266146517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12563] ppid=12542 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/12544/task/12563/stat : 12563 (java) S 12542 12542 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146576986 26628161536 9850 33554432000 4194304 4196468 140735656251728 140608797502512 140610266147458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40780 KiB

[startup+0.309546 s]*
/proc/loadavg: 7.17 7.37 7.86 3/199 12563
/proc/meminfo: memFree=27010172/32770624 swapFree=67108860/67108860
[pid=12542] ppid=12539 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/12542/stat : 12542 (xcsp3-exec) S 12539 12542 10779 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 146576980 9740288 345 33554432000 4194304 5098028 140734329884240 140734329882344 140576556175996 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36458496 140734329885797 140734329886007 140734329886007 140734329888747 0
/proc/12542/statm: 2378 345 289 221 0 87 0
[pid=12544] ppid=12542 vsize=26004064 memory=44192 CPUtime=0.5 cores=0-7
/proc/12544/stat : 12544 (java) S 12542 12542 10779 0 -1 1077944320 8672 0 0 0 47 3 0 0 20 0 20 0 146576980 26628161536 11048 33554432000 4194304 4196468 140735656251728 140735656234272 140610266136311 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
/proc/12544/statm: 6501016 11048 3104 1 0 6488269 0
[pid=12544/tid=12545] ppid=12542 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/12544/task/12545/stat : 12545 (java) R 12542 12542 10779 0 -1 4202560 5599 0 0 0 27 2 0 0 20 0 20 0 146576980 26628161536 11048 33554432000 4194304 4196468 140735656251728 140610270367408 140610266148246 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12546] ppid=12542 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12544/task/12546/stat : 12546 (java) S 12542 12542 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146576981 26628161536 11048 33554432000 4194304 4196468 140735656251728 140610188717200 140610266146517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12547] ppid=12542 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12544/task/12547/stat : 12547 (java) S 12542 12542 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146576981 26628161536 11048 33554432000 4194304 4196468 140735656251728 140610187664400 140610266146517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12548] ppid=12542 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12544/task/12548/stat : 12548 (java) S 12542 12542 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146576981 26628161536 11048 33554432000 4194304 4196468 140735656251728 140610186611600 140610266146517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12549] ppid=12542 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12544/task/12549/stat : 12549 (java) S 12542 12542 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146576981 26628161536 11048 33554432000 4194304 4196468 140735656251728 140610185558800 140610266146517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12550] ppid=12542 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/12544/task/12550/stat : 12550 (java) S 12542 12542 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146576981 26628161536 11048 33554432000 4194304 4196468 140735656251728 140610184506000 140610266146517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12551] ppid=12542 vsize=26004064 memory=140437377610671 CPUtime=0 cores=0-7
/proc/12544/task/12551/stat : 12551 (java) S 12542 12542 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146576981 26628161536 11048 33554432000 4194304 4196468 140735656251728 140609819007504 140610266146517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12552] ppid=12542 vsize=26004064 memory=140437377612976 CPUtime=0 cores=0-7
/proc/12544/task/12552/stat : 12552 (java) S 12542 12542 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146576981 26628161536 11048 33554432000 4194304 4196468 140735656251728 140609817954704 140610266146517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12553] ppid=12542 vsize=26004064 memory=140437377615280 CPUtime=0 cores=0-7
/proc/12544/task/12553/stat : 12553 (java) S 12542 12542 10779 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146576981 26628161536 11048 33554432000 4194304 4196468 140735656251728 140609816901904 140610266146517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12554] ppid=12542 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12544/task/12554/stat : 12554 (java) S 12542 12542 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146576983 26628161536 11048 33554432000 4194304 4196468 140735656251728 140608806976368 140610266147458 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12555] ppid=12542 vsize=26004064 memory=280874755237520 CPUtime=0 cores=0-7
/proc/12544/task/12555/stat : 12555 (java) S 12542 12542 10779 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146576983 26628161536 11048 33554432000 4194304 4196468 140735656251728 140608805922336 140610266146517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12556] ppid=12542 vsize=26004064 memory=280874755244432 CPUtime=0 cores=0-7
/proc/12544/task/12556/stat : 12556 (java) S 12542 12542 10779 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146576983 26628161536 11048 33554432000 4194304 4196468 140735656251728 140608804869488 140610266146517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12557] ppid=12542 vsize=26004064 memory=280874755185712 CPUtime=0 cores=0-7
/proc/12544/task/12557/stat : 12557 (java) S 12542 12542 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146576986 26628161536 11048 33554432000 4194304 4196468 140735656251728 140608803817808 140610266154907 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12558] ppid=12542 vsize=26004064 memory=280874755258256 CPUtime=0.01 cores=0-7
/proc/12544/task/12558/stat : 12558 (java) S 12542 12542 10779 0 -1 1077944384 411 0 0 0 1 0 0 0 20 0 20 0 146576986 26628161536 11048 33554432000 4194304 4196468 140735656251728 140608802765168 140610266147458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12559] ppid=12542 vsize=26004064 memory=280874755265168 CPUtime=0.01 cores=0-7
/proc/12544/task/12559/stat : 12559 (java) S 12542 12542 10779 0 -1 1077944384 147 0 0 0 1 0 0 0 20 0 20 0 146576986 26628161536 11048 33554432000 4194304 4196468 140735656251728 140608801712368 140610266147458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12560] ppid=12542 vsize=26004064 memory=280874755262864 CPUtime=0.03 cores=0-7
/proc/12544/task/12560/stat : 12560 (java) S 12542 12542 10779 0 -1 1077944384 346 0 0 0 3 0 0 0 20 0 20 0 146576986 26628161536 11048 33554432000 4194304 4196468 140735656251728 140608800659568 140610266147458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12561] ppid=12542 vsize=26004064 memory=280874755279024 CPUtime=0.12 cores=0-7
/proc/12544/task/12561/stat : 12561 (java) R 12542 12542 10779 0 -1 4202560 861 0 0 0 12 0 0 0 20 0 20 0 146576986 26628161536 11048 33554432000 4194304 4196468 140735656251728 140608799604560 140610244933853 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12562] ppid=12542 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12544/task/12562/stat : 12562 (java) S 12542 12542 10779 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146576986 26628161536 11048 33554432000 4194304 4196468 140735656251728 140608798555232 140610266146517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12563] ppid=12542 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/12544/task/12563/stat : 12563 (java) S 12542 12542 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146576986 26628161536 11048 33554432000 4194304 4196468 140735656251728 140608797502512 140610266147458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45572 KiB

[startup+0.701003 s]
/proc/loadavg: 7.17 7.37 7.86 6/199 12563
/proc/meminfo: memFree=26983468/32770624 swapFree=67108860/67108860
[pid=12542] ppid=12539 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/12542/stat : 12542 (xcsp3-exec) S 12539 12542 10779 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 146576980 9740288 345 33554432000 4194304 5098028 140734329884240 140734329882344 140576556175996 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36458496 140734329885797 140734329886007 140734329886007 140734329888747 0
/proc/12542/statm: 2378 345 289 221 0 87 0
[pid=12544] ppid=12542 vsize=26006188 memory=108368 CPUtime=2.03 cores=0-7
/proc/12544/stat : 12544 (java) S 12542 12542 10779 0 -1 1077944320 13026 0 0 0 199 4 0 0 20 0 20 0 146576980 26630336512 27092 33554432000 4194304 4196468 140735656251728 140735656234272 140610266136311 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
/proc/12544/statm: 6501547 27092 3200 1 0 6488781 0
[pid=12544/tid=12545] ppid=12542 vsize=26006188 memory=280874755573952 CPUtime=0.67 cores=0-7
/proc/12544/task/12545/stat : 12545 (java) R 12542 12542 10779 0 -1 4202560 6068 0 0 0 65 2 0 0 20 0 20 0 146576980 26630336512 27092 33554432000 4194304 4196468 140735656251728 140610270372256 140609868686991 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12546] ppid=12542 vsize=26006188 memory=1012 CPUtime=0 cores=0-7
/proc/12544/task/12546/stat : 12546 (java) S 12542 12542 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146576981 26630336512 27092 33554432000 4194304 4196468 140735656251728 140610188717200 140610266146517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12547] ppid=12542 vsize=26006188 memory=1716 CPUtime=0 cores=0-7
/proc/12544/task/12547/stat : 12547 (java) S 12542 12542 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146576981 26630336512 27092 33554432000 4194304 4196468 140735656251728 140610187664400 140610266146517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12548] ppid=12542 vsize=26006188 memory=5792 CPUtime=0 cores=0-7
/proc/12544/task/12548/stat : 12548 (java) S 12542 12542 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146576981 26630336512 27092 33554432000 4194304 4196468 140735656251728 140610186611600 140610266146517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0

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

[pid=12544/tid=12566] ppid=12542 vsize=26538700 memory=1742328 CPUtime=12.78 cores=0-7
/proc/12544/task/12566/stat : 12566 (java) R 12542 12542 10779 0 -1 4202560 2590 0 0 0 1270 8 0 0 20 0 28 0 146577337 27175628800 435586 33554432000 4194304 4196468 140735656251728 140608787387912 140609875773900 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12567] ppid=12542 vsize=26538700 memory=22576 CPUtime=12.91 cores=0-7
/proc/12544/task/12567/stat : 12567 (java) R 12542 12542 10779 0 -1 4202560 865 0 0 0 1289 2 0 0 20 0 28 0 146577337 27175628800 435586 33554432000 4194304 4196468 140735656251728 140608786335752 140609873951866 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12568] ppid=12542 vsize=26538700 memory=4040 CPUtime=12.8 cores=0-7
/proc/12544/task/12568/stat : 12568 (java) R 12542 12542 10779 0 -1 4202560 995 0 0 0 1275 5 0 0 20 0 28 0 146577337 27175628800 435586 33554432000 4194304 4196468 140735656251728 140608785280648 140609875774227 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12569] ppid=12542 vsize=26538700 memory=1236 CPUtime=12.98 cores=0-7
/proc/12544/task/12569/stat : 12569 (java) R 12542 12542 10779 0 -1 4202560 970 0 0 0 1295 3 0 0 20 0 28 0 146577337 27175628800 435586 33554432000 4194304 4196468 140735656251728 140608784228120 140609873951072 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12570] ppid=12542 vsize=26538700 memory=644 CPUtime=12.72 cores=0-7
/proc/12544/task/12570/stat : 12570 (java) R 12542 12542 10779 0 -1 4202560 657 0 0 0 1268 4 0 0 20 0 28 0 146577337 27175628800 435586 33554432000 4194304 4196468 140735656251728 140608783175992 140609873373064 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12571] ppid=12542 vsize=26538700 memory=1788 CPUtime=12.8 cores=0-7
/proc/12544/task/12571/stat : 12571 (java) R 12542 12542 10779 0 -1 4202560 1241 0 0 0 1276 4 0 0 20 0 28 0 146577337 27175628800 435586 33554432000 4194304 4196468 140735656251728 140608782123056 140609875697812 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
Current children cumulated CPU time: 122.16 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1743724 KiB

[startup+18.0015 s]*
/proc/loadavg: 6.88 7.29 7.82 9/207 12571
/proc/meminfo: memFree=25225988/32770624 swapFree=67108860/67108860
[pid=12542] ppid=12539 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/12542/stat : 12542 (xcsp3-exec) S 12539 12542 10779 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 146576980 9740288 345 33554432000 4194304 5098028 140734329884240 140734329882344 140576556175996 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36458496 140734329885797 140734329886007 140734329886007 140734329888747 0
/proc/12542/statm: 2378 345 289 221 0 87 0
[pid=12544] ppid=12542 vsize=26538700 memory=1826232 CPUtime=125.41 cores=0-7
/proc/12544/stat : 12544 (java) S 12542 12542 10779 0 -1 1077944320 66053 0 0 0 12358 183 0 0 20 0 28 0 146576980 27175628800 456558 33554432000 4194304 4196468 140735656251728 140735656234272 140610266136311 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
/proc/12544/statm: 6634675 456558 3299 1 0 6621909 0
[pid=12544/tid=12545] ppid=12542 vsize=26538700 memory=6791534058613427641 CPUtime=3.26 cores=0-7
/proc/12544/task/12545/stat : 12545 (java) S 12542 12542 10779 0 -1 1077944384 8164 0 0 0 319 7 0 0 20 0 28 0 146576980 27175628800 456558 33554432000 4194304 4196468 140735656251728 140610270377088 140610266146517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12546] ppid=12542 vsize=26538700 memory=0 CPUtime=0.64 cores=0-7
/proc/12544/task/12546/stat : 12546 (java) S 12542 12542 10779 0 -1 1077944384 521 0 0 0 49 15 0 0 20 0 28 0 146576981 27175628800 456558 33554432000 4194304 4196468 140735656251728 140610188717200 140610266146517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12547] ppid=12542 vsize=26538700 memory=3617551796267921439 CPUtime=0.64 cores=0-7
/proc/12544/task/12547/stat : 12547 (java) S 12542 12542 10779 0 -1 1077944384 1082 0 0 0 49 15 0 0 20 0 28 0 146576981 27175628800 456558 33554432000 4194304 4196468 140735656251728 140610187664400 140610266146517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12548] ppid=12542 vsize=26538700 memory=7306316804797196914 CPUtime=0.64 cores=0-7
/proc/12544/task/12548/stat : 12548 (java) S 12542 12542 10779 0 -1 1077944384 1564 0 0 0 47 17 0 0 20 0 28 0 146576981 27175628800 456558 33554432000 4194304 4196468 140735656251728 140610186611600 140610266146517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12549] ppid=12542 vsize=26538700 memory=7523376918531162212 CPUtime=0.6 cores=0-7
/proc/12544/task/12549/stat : 12549 (java) S 12542 12542 10779 0 -1 1077944384 494 0 0 0 46 14 0 0 20 0 28 0 146576981 27175628800 456558 33554432000 4194304 4196468 140735656251728 140610185558800 140610266146517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12550] ppid=12542 vsize=26538700 memory=6154002217791022695 CPUtime=0.62 cores=0-7
/proc/12544/task/12550/stat : 12550 (java) S 12542 12542 10779 0 -1 1077944384 719 0 0 0 47 15 0 0 20 0 28 0 146576981 27175628800 456558 33554432000 4194304 4196468 140735656251728 140610184506000 140610266146517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12551] ppid=12542 vsize=26538700 memory=2320515099073655092 CPUtime=0.66 cores=0-7
/proc/12544/task/12551/stat : 12551 (java) S 12542 12542 10779 0 -1 1077944384 575 0 0 0 51 15 0 0 20 0 28 0 146576981 27175628800 456558 33554432000 4194304 4196468 140735656251728 140609819007504 140610266146517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12552] ppid=12542 vsize=26538700 memory=107949708042796 CPUtime=0.64 cores=0-7
/proc/12544/task/12552/stat : 12552 (java) S 12542 12542 10779 0 -1 1077944384 1638 0 0 0 49 15 0 0 20 0 28 0 146576981 27175628800 456558 33554432000 4194304 4196468 140735656251728 140609817954704 140610266146517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12553] ppid=12542 vsize=26538700 memory=4282199335234659430 CPUtime=0.63 cores=0-7
/proc/12544/task/12553/stat : 12553 (java) S 12542 12542 10779 0 -1 1077944384 478 0 0 0 47 16 0 0 20 0 28 0 146576981 27175628800 456558 33554432000 4194304 4196468 140735656251728 140609816901904 140610266146517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12554] ppid=12542 vsize=26538700 memory=280874755900424 CPUtime=0.04 cores=0-7
/proc/12544/task/12554/stat : 12554 (java) S 12542 12542 10779 0 -1 1077944384 2504 0 0 0 4 0 0 0 20 0 28 0 146576983 27175628800 456558 33554432000 4194304 4196468 140735656251728 140608806976368 140610266147458 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12555] ppid=12542 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/12544/task/12555/stat : 12555 (java) S 12542 12542 10779 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 146576983 27175628800 456558 33554432000 4194304 4196468 140735656251728 140608805922400 140610266146517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12556] ppid=12542 vsize=26538700 memory=5859271421084194152 CPUtime=0 cores=0-7
/proc/12544/task/12556/stat : 12556 (java) S 12542 12542 10779 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 146576983 27175628800 456558 33554432000 4194304 4196468 140735656251728 140608804869504 140610266146517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12557] ppid=12542 vsize=26538700 memory=7588936274343911762 CPUtime=0 cores=0-7
/proc/12544/task/12557/stat : 12557 (java) S 12542 12542 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 146576986 27175628800 456558 33554432000 4194304 4196468 140735656251728 140608803817808 140610266154907 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12558] ppid=12542 vsize=26538700 memory=37121 CPUtime=3.48 cores=0-7
/proc/12544/task/12558/stat : 12558 (java) S 12542 12542 10779 0 -1 1077944384 9806 0 0 0 345 3 0 0 20 0 28 0 146576986 27175628800 456558 33554432000 4194304 4196468 140735656251728 140608802765168 140610266147458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12559] ppid=12542 vsize=26538700 memory=280874756184592 CPUtime=3.39 cores=0-7
/proc/12544/task/12559/stat : 12559 (java) S 12542 12542 10779 0 -1 1077944384 9925 0 0 0 337 2 0 0 20 0 28 0 146576986 27175628800 456558 33554432000 4194304 4196468 140735656251728 140608801712368 140610266147458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12560] ppid=12542 vsize=26538700 memory=2110787985493524 CPUtime=2.92 cores=0-7
/proc/12544/task/12560/stat : 12560 (java) S 12542 12542 10779 0 -1 1077944384 8887 0 0 0 291 1 0 0 20 0 28 0 146576986 27175628800 456558 33554432000 4194304 4196468 140735656251728 140608800659568 140610266147458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12561] ppid=12542 vsize=26538700 memory=54804 CPUtime=0.96 cores=0-7
/proc/12544/task/12561/stat : 12561 (java) S 12542 12542 10779 0 -1 1077944384 7752 0 0 0 95 1 0 0 20 0 28 0 146576986 27175628800 456558 33554432000 4194304 4196468 140735656251728 140608799606768 140610266147458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12562] ppid=12542 vsize=26538700 memory=57012 CPUtime=0 cores=0-7
/proc/12544/task/12562/stat : 12562 (java) S 12542 12542 10779 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 146576986 27175628800 456558 33554432000 4194304 4196468 140735656251728 140608798555232 140610266146517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12563] ppid=12542 vsize=26538700 memory=59220 CPUtime=0 cores=0-7
/proc/12544/task/12563/stat : 12563 (java) S 12542 12542 10779 0 -1 1077944384 666 0 0 0 0 0 0 0 20 0 28 0 146576986 27175628800 456558 33554432000 4194304 4196468 140735656251728 140608797502512 140610266147458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12564] ppid=12542 vsize=26538700 memory=0 CPUtime=13.55 cores=0-7
/proc/12544/task/12564/stat : 12564 (java) R 12542 12542 10779 0 -1 4202560 1280 0 0 0 1351 4 0 0 20 0 28 0 146577337 27175628800 456558 33554432000 4194304 4196468 140735656251728 140608789492912 140609873951129 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12565] ppid=12542 vsize=26538700 memory=0 CPUtime=13.23 cores=0-7
/proc/12544/task/12565/stat : 12565 (java) R 12542 12542 10779 0 -1 4202560 710 0 0 0 1319 4 0 0 20 0 28 0 146577337 27175628800 456558 33554432000 4194304 4196468 140735656251728 140608788439064 140609873951117 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12566] ppid=12542 vsize=26538700 memory=0 CPUtime=13.16 cores=0-7
/proc/12544/task/12566/stat : 12566 (java) R 12542 12542 10779 0 -1 4202560 3116 0 0 0 1308 8 0 0 20 0 28 0 146577337 27175628800 456558 33554432000 4194304 4196468 140735656251728 140608787386000 140609873951866 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12567] ppid=12542 vsize=26538700 memory=0 CPUtime=13.29 cores=0-7
/proc/12544/task/12567/stat : 12567 (java) R 12542 12542 10779 0 -1 4202560 884 0 0 0 1327 2 0 0 20 0 28 0 146577337 27175628800 456558 33554432000 4194304 4196468 140735656251728 140608786334024 140609875773872 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12568] ppid=12542 vsize=26538700 memory=0 CPUtime=13.17 cores=0-7
/proc/12544/task/12568/stat : 12568 (java) R 12542 12542 10779 0 -1 4202560 1012 0 0 0 1312 5 0 0 20 0 28 0 146577337 27175628800 456558 33554432000 4194304 4196468 140735656251728 140608785280648 140609873952154 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12569] ppid=12542 vsize=26538700 memory=0 CPUtime=13.37 cores=0-7
/proc/12544/task/12569/stat : 12569 (java) R 12542 12542 10779 0 -1 4202560 984 0 0 0 1334 3 0 0 20 0 28 0 146577337 27175628800 456558 33554432000 4194304 4196468 140735656251728 140608784227864 140609875774356 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12570] ppid=12542 vsize=26538700 memory=33 CPUtime=13.09 cores=0-7
/proc/12544/task/12570/stat : 12570 (java) R 12542 12542 10779 0 -1 4202560 665 0 0 0 1305 4 0 0 20 0 28 0 146577337 27175628800 456558 33554432000 4194304 4196468 140735656251728 140608783175992 140609874641429 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12571] ppid=12542 vsize=26538700 memory=4420 CPUtime=13.19 cores=0-7
/proc/12544/task/12571/stat : 12571 (java) R 12542 12542 10779 0 -1 4202560 1257 0 0 0 1315 4 0 0 20 0 28 0 146577337 27175628800 456558 33554432000 4194304 4196468 140735656251728 140608782123288 140609875696928 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
Current children cumulated CPU time: 125.41 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1827612 KiB

[startup+18.2015 s]
/proc/loadavg: 6.88 7.29 7.82 9/207 12571
/proc/meminfo: memFree=25225988/32770624 swapFree=67108860/67108860
[pid=12542] ppid=12539 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/12542/stat : 12542 (xcsp3-exec) S 12539 12542 10779 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 146576980 9740288 345 33554432000 4194304 5098028 140734329884240 140734329882344 140576556175996 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36458496 140734329885797 140734329886007 140734329886007 140734329888747 0
/proc/12542/statm: 2378 345 289 221 0 87 0
[pid=12544] ppid=12542 vsize=26538700 memory=1826252 CPUtime=126.92 cores=0-7
/proc/12544/stat : 12544 (java) S 12542 12542 10779 0 -1 1077944320 66615 0 0 0 12509 183 0 0 20 0 28 0 146576980 27175628800 456563 33554432000 4194304 4196468 140735656251728 140735656234272 140610266136311 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
/proc/12544/statm: 6634675 456563 3299 1 0 6621909 0
[pid=12544/tid=12545] ppid=12542 vsize=26538700 memory=13846361271997967 CPUtime=3.26 cores=0-7
/proc/12544/task/12545/stat : 12545 (java) S 12542 12542 10779 0 -1 1077944384 8164 0 0 0 319 7 0 0 20 0 28 0 146576980 27175628800 456563 33554432000 4194304 4196468 140735656251728 140610270377088 140610266146517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12546] ppid=12542 vsize=26538700 memory=4638778398332698720 CPUtime=0.64 cores=0-7
/proc/12544/task/12546/stat : 12546 (java) S 12542 12542 10779 0 -1 1077944384 521 0 0 0 49 15 0 0 20 0 28 0 146576981 27175628800 456563 33554432000 4194304 4196468 140735656251728 140610188717200 140610266146517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12547] ppid=12542 vsize=26538700 memory=6935649255759568960 CPUtime=0.64 cores=0-7
/proc/12544/task/12547/stat : 12547 (java) S 12542 12542 10779 0 -1 1077944384 1082 0 0 0 49 15 0 0 20 0 28 0 146576981 27175628800 456563 33554432000 4194304 4196468 140735656251728 140610187664400 140610266146517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12548] ppid=12542 vsize=26538700 memory=5787213827164104036 CPUtime=0.64 cores=0-7
/proc/12544/task/12548/stat : 12548 (java) S 12542 12542 10779 0 -1 1077944384 1564 0 0 0 47 17 0 0 20 0 28 0 146576981 27175628800 456563 33554432000 4194304 4196468 140735656251728 140610186611600 140610266146517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12549] ppid=12542 vsize=26538700 memory=7445971257119958630 CPUtime=0.6 cores=0-7
/proc/12544/task/12549/stat : 12549 (java) S 12542 12542 10779 0 -1 1077944384 494 0 0 0 46 14 0 0 20 0 28 0 146576981 27175628800 456563 33554432000 4194304 4196468 140735656251728 140610185558800 140610266146517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12550] ppid=12542 vsize=26538700 memory=-9062862659931694204 CPUtime=0.62 cores=0-7
/proc/12544/task/12550/stat : 12550 (java) S 12542 12542 10779 0 -1 1077944384 719 0 0 0 47 15 0 0 20 0 28 0 146576981 27175628800 456563 33554432000 4194304 4196468 140735656251728 140610184506000 140610266146517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12551] ppid=12542 vsize=26538700 memory=140437475546353 CPUtime=0.66 cores=0-7
/proc/12544/task/12551/stat : 12551 (java) S 12542 12542 10779 0 -1 1077944384 575 0 0 0 51 15 0 0 20 0 28 0 146576981 27175628800 456563 33554432000 4194304 4196468 140735656251728 140609819007504 140610266146517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12552] ppid=12542 vsize=26538700 memory=-5090692217916121395 CPUtime=0.64 cores=0-7
/proc/12544/task/12552/stat : 12552 (java) S 12542 12542 10779 0 -1 1077944384 1638 0 0 0 49 15 0 0 20 0 28 0 146576981 27175628800 456563 33554432000 4194304 4196468 140735656251728 140609817954704 140610266146517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12553] ppid=12542 vsize=26538700 memory=-6234758880078832264 CPUtime=0.63 cores=0-7
/proc/12544/task/12553/stat : 12553 (java) S 12542 12542 10779 0 -1 1077944384 478 0 0 0 47 16 0 0 20 0 28 0 146576981 27175628800 456563 33554432000 4194304 4196468 140735656251728 140609816901904 140610266146517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12554] ppid=12542 vsize=26538700 memory=1400242874264906928 CPUtime=0.04 cores=0-7
/proc/12544/task/12554/stat : 12554 (java) S 12542 12542 10779 0 -1 1077944384 2504 0 0 0 4 0 0 0 20 0 28 0 146576983 27175628800 456563 33554432000 4194304 4196468 140735656251728 140608806976368 140610266147458 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12555] ppid=12542 vsize=26538700 memory=-2537689246120445521 CPUtime=0 cores=0-7
/proc/12544/task/12555/stat : 12555 (java) S 12542 12542 10779 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 146576983 27175628800 456563 33554432000 4194304 4196468 140735656251728 140608805922400 140610266146517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12556] ppid=12542 vsize=26538700 memory=-8316900901535099443 CPUtime=0 cores=0-7
/proc/12544/task/12556/stat : 12556 (java) S 12542 12542 10779 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 146576983 27175628800 456563 33554432000 4194304 4196468 140735656251728 140608804869504 140610266146517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12557] ppid=12542 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/12544/task/12557/stat : 12557 (java) S 12542 12542 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 146576986 27175628800 456563 33554432000 4194304 4196468 140735656251728 140608803817808 140610266154907 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12558] ppid=12542 vsize=26538700 memory=5792 CPUtime=3.5 cores=0-7
/proc/12544/task/12558/stat : 12558 (java) R 12542 12542 10779 0 -1 4202560 9890 0 0 0 347 3 0 0 20 0 28 0 146576986 27175628800 456563 33554432000 4194304 4196468 140735656251728 140608802753760 140610249547126 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12559] ppid=12542 vsize=26538700 memory=4616 CPUtime=3.4 cores=0-7
/proc/12544/task/12559/stat : 12559 (java) S 12542 12542 10779 0 -1 1077944384 9928 0 0 0 338 2 0 0 20 0 28 0 146576986 27175628800 456563 33554432000 4194304 4196468 140735656251728 140608801712368 140610266147458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12560] ppid=12542 vsize=26538700 memory=288230574492221466 CPUtime=2.98 cores=0-7
/proc/12544/task/12560/stat : 12560 (java) S 12542 12542 10779 0 -1 1077944384 9296 0 0 0 297 1 0 0 20 0 28 0 146576986 27175628800 456563 33554432000 4194304 4196468 140735656251728 140608800659568 140610266147458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12561] ppid=12542 vsize=26538700 memory=0 CPUtime=0.96 cores=0-7
/proc/12544/task/12561/stat : 12561 (java) R 12542 12542 10779 0 -1 1077944384 7770 0 0 0 95 1 0 0 20 0 28 0 146576986 27175628800 456563 33554432000 4194304 4196468 140735656251728 140608799606768 140610266147458 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12562] ppid=12542 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/12544/task/12562/stat : 12562 (java) S 12542 12542 10779 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 146576986 27175628800 456563 33554432000 4194304 4196468 140735656251728 140608798555232 140610266146517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12563] ppid=12542 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/12544/task/12563/stat : 12563 (java) S 12542 12542 10779 0 -1 1077944384 666 0 0 0 0 0 0 0 20 0 28 0 146576986 27175628800 456563 33554432000 4194304 4196468 140735656251728 140608797502512 140610266147458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12564] ppid=12542 vsize=26538700 memory=56833 CPUtime=13.73 cores=0-7
/proc/12544/task/12564/stat : 12564 (java) R 12542 12542 10779 0 -1 4202560 1286 0 0 0 1369 4 0 0 20 0 28 0 146577337 27175628800 456563 33554432000 4194304 4196468 140735656251728 140608789492912 140609874857267 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12565] ppid=12542 vsize=26538700 memory=6656426216303648864 CPUtime=13.42 cores=0-7
/proc/12544/task/12565/stat : 12565 (java) R 12542 12542 10779 0 -1 4202560 717 0 0 0 1338 4 0 0 20 0 28 0 146577337 27175628800 456563 33554432000 4194304 4196468 140735656251728 140608788439064 140609875566178 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12566] ppid=12542 vsize=26538700 memory=0 CPUtime=13.35 cores=0-7
/proc/12544/task/12566/stat : 12566 (java) R 12542 12542 10779 0 -1 4202560 3120 0 0 0 1327 8 0 0 20 0 28 0 146577337 27175628800 456563 33554432000 4194304 4196468 140735656251728 140608787386000 140609875566299 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12567] ppid=12542 vsize=26538700 memory=0 CPUtime=13.48 cores=0-7
/proc/12544/task/12567/stat : 12567 (java) R 12542 12542 10779 0 -1 4202560 894 0 0 0 1346 2 0 0 20 0 28 0 146577337 27175628800 456563 33554432000 4194304 4196468 140735656251728 140608786333752 140609873952053 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12568] ppid=12542 vsize=26538700 memory=6791534058613427641 CPUtime=13.35 cores=0-7
/proc/12544/task/12568/stat : 12568 (java) R 12542 12542 10779 0 -1 4202560 1014 0 0 0 1330 5 0 0 20 0 28 0 146577337 27175628800 456563 33554432000 4194304 4196468 140735656251728 140608785280168 140609873952098 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12569] ppid=12542 vsize=26538700 memory=0 CPUtime=13.51 cores=0-7
/proc/12544/task/12569/stat : 12569 (java) R 12542 12542 10779 0 -1 4202560 993 0 0 0 1348 3 0 0 20 0 28 0 146577337 27175628800 456563 33554432000 4194304 4196468 140735656251728 140608784230040 140609865653449 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12570] ppid=12542 vsize=26538700 memory=0 CPUtime=13.28 cores=0-7
/proc/12544/task/12570/stat : 12570 (java) R 12542 12542 10779 0 -1 4202560 669 0 0 0 1324 4 0 0 20 0 28 0 146577337 27175628800 456563 33554432000 4194304 4196468 140735656251728 140608783175992 140609875566299 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
[pid=12544/tid=12571] ppid=12542 vsize=26538700 memory=0 CPUtime=13.35 cores=0-7
/proc/12544/task/12571/stat : 12571 (java) R 12542 12542 10779 0 -1 4202560 1263 0 0 0 1331 4 0 0 20 0 28 0 146577337 27175628800 456563 33554432000 4194304 4196468 140735656251728 140608782123288 140609875774243 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19128320 140735656260754 140735656260931 140735656260931 140735656263631 0
Current children cumulated CPU time: 126.92 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1827632 KiB

[startup+18.3012 s]
/proc/loadavg: 6.88 7.29 7.82 9/207 12571
/proc/meminfo: memFree=25225988/32770624 swapFree=67108860/67108860
[pid=12542] ppid=12539 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/12542/stat : 12542 (xcsp3-exec) S 12539 12542 10779 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 146576980 9740288 345 33554432000 4194304 5098028 140734329884240 140734329882344 140576556175996 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36458496 140734329885797 140734329886007 140734329886007 140734329888747 0
/proc/12542/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1380 KiB

Child status: 0
Real time (s): 18.3114
CPU time (s): 127.372
CPU user time (s): 125.52
CPU system time (s): 1.85236
CPU usage (%): 695.587
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 1827632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 125.52
system time used= 1.85236
maximum resident set size= 1826340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68507
page faults= 0
swaps= 0
block input operations= 0
block output operations= 168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6156
involuntary context switches= 2359


# summary of solver processes directly reported to runsolver:
#   pid: 12542
#   total CPU time (s): 127.372
#   total CPU user time (s): 125.52
#   total CPU system time (s): 1.85236

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.168627 second user time and 0.266815 second system time

The end

Begin job on node103 at 2017-08-19 11:13:49
IDJOB=4280713
IDBENCH=125571
IDSOLVER=2675
FILE ID=node103/4280713-1503134889
RUNJOBID= node103-1503131349-10806
PBS_JOBID= 20630787
Free space on /tmp= 61652 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-4280713-1503134889/watcher-4280713-1503134889 -o /tmp/evaluation-result-4280713-1503134889/solver-4280713-1503134889 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1503131349-10806 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 388520009 HOME/instance-4280713-1503134889.xml

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

MD5SUM BENCH= a0d270dd535955910725fddfcfa0cde8
RANDOM SEED=388520009

node103.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.56
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.56
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.56
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.56
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:        27042548 kB
MemAvailable:   31972708 kB
Buffers:          231448 kB
Cached:          4992764 kB
SwapCached:            0 kB
Active:           994748 kB
Inactive:        4284116 kB
Active(anon):       4024 kB
Inactive(anon):    86700 kB
Active(file):     990724 kB
Inactive(file):  4197416 kB
Unevictable:        7496 kB
Mlocked:            7496 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7784 kB
Writeback:             0 kB
AnonPages:         62192 kB
Mapped:            50684 kB
Shmem:             33420 kB
Slab:             142264 kB
SReclaimable:     115712 kB
SUnreclaim:        26552 kB
KernelStack:        3168 kB
PageTables:         4708 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     333264 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61644 MiB
End job on node103 at 2017-08-19 11:14:08