0.00/0.00	c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4246464-1500687491.xml"  -tl '2400s' -p 8 -x 0
0.00/0.19	c [HOME/instance-4246464-1500687491.xml, -tl, 2400s, -p, 8, -x, 0]
0.00/0.24	c 8 solvers in parallel
0.00/0.31	c parse instance...
28.27/12.27	c solve instance...
160.98/29.08	s SATISFIABLE
160.98/29.08	v <instantiation>
160.98/29.08	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>
160.98/29.08	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>
160.98/29.08	v </instantiation>

OK	

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4246464-1500687491/watcher-4246464-1500687491 -o /tmp/evaluation-result-4246464-1500687491/solver-4246464-1500687491 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500682387-16505 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 146266229 HOME/instance-4246464-1500687491.xml 

pid=31093
running on 8 cores: 1,3,5,7,9,11,13,15

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


[startup+0 s]
/proc/loadavg: 15.97 15.62 14.75 10/271 31096
/proc/meminfo: memFree=28373488/32770624 swapFree=5736/256244
[pid=31096] ppid=31093 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31096/stat : 31096 (xcsp3-exec) S 31093 31096 16473 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4018240 9740288 345 33554432000 4194304 5098028 140726989171488 140726989169592 139677333373564 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 37085184 140726989173903 140726989174112 140726989174112 140726989176811 0
/proc/31096/statm: 2378 345 289 221 0 87 0

[startup+0.100102 s]
/proc/loadavg: 15.97 15.62 14.75 10/271 31096
/proc/meminfo: memFree=28373488/32770624 swapFree=5736/256244
[pid=31096] ppid=31093 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31096/stat : 31096 (xcsp3-exec) S 31093 31096 16473 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4018240 9740288 345 33554432000 4194304 5098028 140726989171488 140726989169592 139677333373564 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 37085184 140726989173903 140726989174112 140726989174112 140726989176811 0
/proc/31096/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200279 s]
/proc/loadavg: 15.97 15.62 14.75 10/271 31096
/proc/meminfo: memFree=28373488/32770624 swapFree=5736/256244
[pid=31096] ppid=31093 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31096/stat : 31096 (xcsp3-exec) S 31093 31096 16473 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4018240 9740288 345 33554432000 4194304 5098028 140726989171488 140726989169592 139677333373564 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 37085184 140726989173903 140726989174112 140726989174112 140726989176811 0
/proc/31096/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300241 s]
/proc/loadavg: 15.97 15.62 14.75 10/271 31096
/proc/meminfo: memFree=28373488/32770624 swapFree=5736/256244
[pid=31096] ppid=31093 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31096/stat : 31096 (xcsp3-exec) S 31093 31096 16473 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4018240 9740288 345 33554432000 4194304 5098028 140726989171488 140726989169592 139677333373564 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 37085184 140726989173903 140726989174112 140726989174112 140726989176811 0
/proc/31096/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700213 s]
/proc/loadavg: 15.97 15.62 14.75 10/271 31096
/proc/meminfo: memFree=28373488/32770624 swapFree=5736/256244
[pid=31096] ppid=31093 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31096/stat : 31096 (xcsp3-exec) S 31093 31096 16473 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4018240 9740288 345 33554432000 4194304 5098028 140726989171488 140726989169592 139677333373564 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 37085184 140726989173903 140726989174112 140726989174112 140726989176811 0
/proc/31096/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50079 s]
/proc/loadavg: 15.66 15.56 14.74 10/292 31117
/proc/meminfo: memFree=28248628/32770624 swapFree=5736/256308
[pid=31096] ppid=31093 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31096/stat : 31096 (xcsp3-exec) S 31093 31096 16473 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4018240 9740288 345 33554432000 4194304 5098028 140726989171488 140726989169592 139677333373564 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 37085184 140726989173903 140726989174112 140726989174112 140726989176811 0
/proc/31096/statm: 2378 345 289 221 0 87 0
[pid=31097] ppid=31096 vsize=13269256 CPUtime=3.56 cores=1,3,5,7,9,11,13,15
/proc/31097/stat : 31097 (java) S 31096 31096 16473 0 -1 1077944320 16628 0 0 0 341 15 0 0 20 0 20 0 4018241 13587718144 49209 33554432000 4194304 4196468 140734931147632 140734931130176 140280865816311 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
/proc/31097/statm: 3317314 49209 3217 1 0 3304547 0
[pid=31097/tid=31098] ppid=31096 vsize=13269256 CPUtime=1.45 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31098/stat : 31098 (java) S 31096 31096 16473 0 -1 1077944384 7111 0 0 0 141 4 0 0 20 0 20 0 4018241 13587718144 49209 33554432000 4194304 4196468 140734931147632 140280870053280 140280865826517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31100] ppid=31096 vsize=13269256 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31100/stat : 31100 (java) R 31096 31096 16473 0 -1 4202560 40 0 0 0 0 1 0 0 20 0 20 0 4018242 13587718144 49209 33554432000 4194304 4196468 140734931147632 140280818437336 140280850844167 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31101] ppid=31096 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31101/stat : 31101 (java) R 31096 31096 16473 0 -1 4202560 134 0 0 0 0 0 0 0 20 0 20 0 4018242 13587718144 49209 33554432000 4194304 4196468 140734931147632 140280817384792 140280858921983 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31102] ppid=31096 vsize=13269256 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31102/stat : 31102 (java) R 31096 31096 16473 0 -1 4202560 34 0 0 0 0 1 0 0 20 0 20 0 4018242 13587718144 49209 33554432000 4194304 4196468 140734931147632 140280816331736 140280858921983 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31103] ppid=31096 vsize=13269256 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31103/stat : 31103 (java) R 31096 31096 16473 0 -1 4202560 54 0 0 0 0 1 0 0 20 0 20 0 4018242 13587718144 49209 33554432000 4194304 4196468 140734931147632 140280815279192 140280858922877 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31104] ppid=31096 vsize=13269256 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31104/stat : 31104 (java) R 31096 31096 16473 0 -1 4202560 51 0 0 0 0 1 0 0 20 0 20 0 4018242 13587718144 49209 33554432000 4194304 4196468 140734931147632 140280814223632 140280850844176 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31105] ppid=31096 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31105/stat : 31105 (java) R 31096 31096 16473 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 20 0 4018242 13587718144 49209 33554432000 4194304 4196468 140734931147632 140280459621032 140280850844185 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31106] ppid=31096 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31106/stat : 31106 (java) R 31096 31096 16473 0 -1 4202560 68 0 0 0 0 0 0 0 20 0 20 0 4018242 13587718144 49209 33554432000 4194304 4196468 140734931147632 140280458570200 140280858913147 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31107] ppid=31096 vsize=13269256 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31107/stat : 31107 (java) R 31096 31096 16473 0 -1 4202560 21 0 0 0 0 1 0 0 20 0 20 0 4018242 13587718144 49209 33554432000 4194304 4196468 140734931147632 140280457517344 140280850838432 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31108] ppid=31096 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31108/stat : 31108 (java) S 31096 31096 16473 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 20 0 4018244 13587718144 49721 33554432000 4194304 4196468 140734931147632 140280328029472 140280865826517 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31109] ppid=31096 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31109/stat : 31109 (java) S 31096 31096 16473 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4018245 13587718144 49721 33554432000 4194304 4196468 140734931147632 140280326977184 140280865826517 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31110] ppid=31096 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31110/stat : 31110 (java) S 31096 31096 16473 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4018245 13587718144 49721 33554432000 4194304 4196468 140734931147632 140280325924080 140280865826517 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31111] ppid=31096 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31111/stat : 31111 (java) S 31096 31096 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4018249 13587718144 49721 33554432000 4194304 4196468 140734931147632 140280324872656 140280865834907 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31112] ppid=31096 vsize=13269256 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31112/stat : 31112 (java) S 31096 31096 16473 0 -1 1077944384 2236 0 0 0 47 0 0 0 20 0 20 0 4018249 13587718144 49721 33554432000 4194304 4196468 140734931147632 140280323819760 140280865827458 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31113] ppid=31096 vsize=13269256 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31113/stat : 31113 (java) S 31096 31096 16473 0 -1 1077944384 1419 0 0 0 50 0 0 0 20 0 20 0 4018249 13587718144 49721 33554432000 4194304 4196468 140734931147632 140280322767216 140280865827458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31114] ppid=31096 vsize=13269256 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31114/stat : 31114 (java) S 31096 31096 16473 0 -1 1077944384 1516 0 0 0 48 0 0 0 20 0 20 0 4018249 13587718144 49721 33554432000 4194304 4196468 140734931147632 140280321714160 140280865827458 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31115] ppid=31096 vsize=13269256 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31115/stat : 31115 (java) S 31096 31096 16473 0 -1 1077944384 2593 0 0 0 48 0 0 0 20 0 20 0 4018249 13587718144 49721 33554432000 4194304 4196468 140734931147632 140280320661616 140280865827458 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31116] ppid=31096 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31116/stat : 31116 (java) S 31096 31096 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4018249 13587718144 49721 33554432000 4194304 4196468 140734931147632 140280319609824 140280865826517 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31117] ppid=31096 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31117/stat : 31117 (java) S 31096 31096 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4018250 13587718144 49721 33554432000 4194304 4196468 140734931147632 140280318557360 140280865827458 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
Current children cumulated CPU time (s) 3.56
Current children cumulated vsize (KiB) 13278768

[startup+3.10122 s]
/proc/loadavg: 15.66 15.56 14.74 14/292 31117
/proc/meminfo: memFree=28135232/32770624 swapFree=5736/256276
[pid=31096] ppid=31093 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31096/stat : 31096 (xcsp3-exec) S 31093 31096 16473 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4018240 9740288 345 33554432000 4194304 5098028 140726989171488 140726989169592 139677333373564 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 37085184 140726989173903 140726989174112 140726989174112 140726989176811 0
/proc/31096/statm: 2378 345 289 221 0 87 0
[pid=31097] ppid=31096 vsize=13269256 CPUtime=7.79 cores=1,3,5,7,9,11,13,15
/proc/31097/stat : 31097 (java) S 31096 31096 16473 0 -1 1077944320 29019 0 0 0 706 73 0 0 20 0 20 0 4018241 13587718144 86739 33554432000 4194304 4196468 140734931147632 140734931130176 140280865816311 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
/proc/31097/statm: 3317314 86739 3263 1 0 3304547 0
[pid=31097/tid=31098] ppid=31096 vsize=13269256 CPUtime=2.91 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31098/stat : 31098 (java) R 31096 31096 16473 0 -1 4202560 8776 0 0 0 286 5 0 0 20 0 20 0 4018241 13587718144 86739 33554432000 4194304 4196468 140734931147632 140280870051496 140280498442705 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31100] ppid=31096 vsize=13269256 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31100/stat : 31100 (java) S 31096 31096 16473 0 -1 1077944384 187 0 0 0 6 6 0 0 20 0 20 0 4018242 13587718144 86739 33554432000 4194304 4196468 140734931147632 140280818437136 140280865826517 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31101] ppid=31096 vsize=13269256 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31101/stat : 31101 (java) S 31096 31096 16473 0 -1 1077944384 213 0 0 0 5 7 0 0 20 0 20 0 4018242 13587718144 86739 33554432000 4194304 4196468 140734931147632 140280817384592 140280865826517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31102] ppid=31096 vsize=13269256 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31102/stat : 31102 (java) S 31096 31096 16473 0 -1 1077944384 121 0 0 0 6 8 0 0 20 0 20 0 4018242 13587718144 86739 33554432000 4194304 4196468 140734931147632 140280816331536 140280865826517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31103] ppid=31096 vsize=13269256 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31103/stat : 31103 (java) S 31096 31096 16473 0 -1 1077944384 150 0 0 0 6 8 0 0 20 0 20 0 4018242 13587718144 86739 33554432000 4194304 4196468 140734931147632 140280815278992 140280865826517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31104] ppid=31096 vsize=13269256 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31104/stat : 31104 (java) S 31096 31096 16473 0 -1 1077944384 117 0 0 0 4 8 0 0 20 0 20 0 4018242 13587718144 86739 33554432000 4194304 4196468 140734931147632 140280814225936 140280865826517 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31105] ppid=31096 vsize=13269256 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31105/stat : 31105 (java) S 31096 31096 16473 0 -1 1077944384 96 0 0 0 4 6 0 0 20 0 20 0 4018242 13587718144 86739 33554432000 4194304 4196468 140734931147632 140280459623056 140280865826517 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31106] ppid=31096 vsize=13269256 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31106/stat : 31106 (java) S 31096 31096 16473 0 -1 1077944384 137 0 0 0 3 6 0 0 20 0 20 0 4018242 13587718144 86739 33554432000 4194304 4196468 140734931147632 140280458570000 140280865826517 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31107] ppid=31096 vsize=13269256 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31107/stat : 31107 (java) S 31096 31096 16473 0 -1 1077944384 96 0 0 0 5 9 0 0 20 0 20 0 4018242 13587718144 86739 33554432000 4194304 4196468 140734931147632 140280457517456 140280865826517 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31108] ppid=31096 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31108/stat : 31108 (java) S 31096 31096 16473 0 -1 1077944384 559 0 0 0 0 0 0 0 20 0 20 0 4018244 13587718144 86739 33554432000 4194304 4196468 140734931147632 140280328030960 140280865827458 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31109] ppid=31096 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31109/stat : 31109 (java) S 31096 31096 16473 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 4018245 13587718144 86739 33554432000 4194304 4196468 140734931147632 140280326977248 140280865826517 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31110] ppid=31096 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31110/stat : 31110 (java) S 31096 31096 16473 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 20 0 4018245 13587718144 86739 33554432000 4194304 4196468 140734931147632 140280325924096 140280865826517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31111] ppid=31096 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31111/stat : 31111 (java) S 31096 31096 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4018249 13587718144 86739 33554432000 4194304 4196468 140734931147632 140280324872656 140280865834907 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31112] ppid=31096 vsize=13269256 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31112/stat : 31112 (java) S 31096 31096 16473 0 -1 1077944384 3944 0 0 0 98 1 0 0 20 0 20 0 4018249 13587718144 86739 33554432000 4194304 4196468 140734931147632 140280323819760 140280865827458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31113] ppid=31096 vsize=13269256 CPUtime=1.14 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31113/stat : 31113 (java) S 31096 31096 16473 0 -1 1077944384 4349 0 0 0 113 1 0 0 20 0 20 0 4018249 13587718144 86739 33554432000 4194304 4196468 140734931147632 140280322767216 140280865827458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31114] ppid=31096 vsize=13269256 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31114/stat : 31114 (java) S 31096 31096 16473 0 -1 1077944384 3371 0 0 0 93 1 0 0 20 0 20 0 4018249 13587718144 86739 33554432000 4194304 4196468 140734931147632 140280321714160 140280865827458 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31115] ppid=31096 vsize=13269256 CPUtime=0.7 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31115/stat : 31115 (java) S 31096 31096 16473 0 -1 1077944384 5546 0 0 0 69 1 0 0 20 0 20 0 4018249 13587718144 86739 33554432000 4194304 4196468 140734931147632 140280320661616 140280865827458 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31116] ppid=31096 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31116/stat : 31116 (java) S 31096 31096 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4018249 13587718144 86739 33554432000 4194304 4196468 140734931147632 140280319609824 140280865826517 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31117] ppid=31096 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31117/stat : 31117 (java) S 31096 31096 16473 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 4018250 13587718144 86739 33554432000 4194304 4196468 140734931147632 140280318557360 140280865827458 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
Current children cumulated CPU time (s) 7.79
Current children cumulated vsize (KiB) 13278768

[startup+6.30088 s]
/proc/loadavg: 15.66 15.56 14.74 13/292 31117
/proc/meminfo: memFree=27725504/32770624 swapFree=5736/256276
[pid=31096] ppid=31093 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31096/stat : 31096 (xcsp3-exec) S 31093 31096 16473 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4018240 9740288 345 33554432000 4194304 5098028 140726989171488 140726989169592 139677333373564 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 37085184 140726989173903 140726989174112 140726989174112 140726989176811 0
/proc/31096/statm: 2378 345 289 221 0 87 0
[pid=31097] ppid=31096 vsize=13269256 CPUtime=14.95 cores=1,3,5,7,9,11,13,15
/proc/31097/stat : 31097 (java) S 31096 31096 16473 0 -1 1077944320 31539 0 0 0 1318 177 0 0 20 0 20 0 4018241 13587718144 164241 33554432000 4194304 4196468 140734931147632 140734931130176 140280865816311 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
/proc/31097/statm: 3317314 164241 3278 1 0 3304547 0
[pid=31097/tid=31098] ppid=31096 vsize=13269256 CPUtime=5.7 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31098/stat : 31098 (java) R 31096 31096 16473 0 -1 4202560 8924 0 0 0 562 8 0 0 20 0 20 0 4018241 13587718144 164241 33554432000 4194304 4196468 140734931147632 140280870053112 140280498442697 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31100] ppid=31096 vsize=13269256 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31100/stat : 31100 (java) S 31096 31096 16473 0 -1 1077944384 332 0 0 0 31 18 0 0 20 0 20 0 4018242 13587718144 164241 33554432000 4194304 4196468 140734931147632 140280818437136 140280865826517 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31101] ppid=31096 vsize=13269256 CPUtime=0.51 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31101/stat : 31101 (java) S 31096 31096 16473 0 -1 1077944384 378 0 0 0 31 20 0 0 20 0 20 0 4018242 13587718144 164241 33554432000 4194304 4196468 140734931147632 140280817384592 140280865826517 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31102] ppid=31096 vsize=13269256 CPUtime=0.53 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31102/stat : 31102 (java) S 31096 31096 16473 0 -1 1077944384 463 0 0 0 32 21 0 0 20 0 20 0 4018242 13587718144 164241 33554432000 4194304 4196468 140734931147632 140280816331536 140280865826517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31103] ppid=31096 vsize=13269256 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31103/stat : 31103 (java) S 31096 31096 16473 0 -1 1077944384 319 0 0 0 33 21 0 0 20 0 20 0 4018242 13587718144 164241 33554432000 4194304 4196468 140734931147632 140280815278992 140280865826517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31104] ppid=31096 vsize=13269256 CPUtime=0.52 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31104/stat : 31104 (java) S 31096 31096 16473 0 -1 1077944384 286 0 0 0 31 21 0 0 20 0 20 0 4018242 13587718144 164241 33554432000 4194304 4196468 140734931147632 140280814225936 140280865826517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31105] ppid=31096 vsize=13269256 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31105/stat : 31105 (java) S 31096 31096 16473 0 -1 1077944384 271 0 0 0 30 19 0 0 20 0 20 0 4018242 13587718144 164241 33554432000 4194304 4196468 140734931147632 140280459623056 140280865826517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31106] ppid=31096 vsize=13269256 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31106/stat : 31106 (java) S 31096 31096 16473 0 -1 1077944384 287 0 0 0 30 19 0 0 20 0 20 0 4018242 13587718144 164241 33554432000 4194304 4196468 140734931147632 140280458570000 140280865826517 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31107] ppid=31096 vsize=13269256 CPUtime=0.52 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31107/stat : 31107 (java) S 31096 31096 16473 0 -1 1077944384 242 0 0 0 31 21 0 0 20 0 20 0 4018242 13587718144 164241 33554432000 4194304 4196468 140734931147632 140280457517456 140280865826517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31108] ppid=31096 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31108/stat : 31108 (java) S 31096 31096 16473 0 -1 1077944384 1266 0 0 0 2 0 0 0 20 0 20 0 4018244 13587718144 164241 33554432000 4194304 4196468 140734931147632 140280328030960 140280865827458 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31109] ppid=31096 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31109/stat : 31109 (java) S 31096 31096 16473 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 4018245 13587718144 164241 33554432000 4194304 4196468 140734931147632 140280326977248 140280865826517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31110] ppid=31096 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31110/stat : 31110 (java) S 31096 31096 16473 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 20 0 4018245 13587718144 164241 33554432000 4194304 4196468 140734931147632 140280325924096 140280865826517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31111] ppid=31096 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31111/stat : 31111 (java) S 31096 31096 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4018249 13587718144 164241 33554432000 4194304 4196468 140734931147632 140280324872656 140280865834907 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0

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

/proc/31097/task/31116/stat : 31116 (java) S 31096 31096 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4018249 14133010432 641512 33554432000 4194304 4196468 140734931147632 140280319609824 140280865826517 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31117] ppid=31096 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31117/stat : 31117 (java) S 31096 31096 16473 0 -1 1077944384 173 0 0 0 0 0 0 0 20 0 28 0 4018250 14133010432 641512 33554432000 4194304 4196468 140734931147632 140280318557360 140280865827458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31118] ppid=31096 vsize=13801768 CPUtime=13.74 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31118/stat : 31118 (java) R 31096 31096 16473 0 -1 4202560 1137 0 0 0 1373 1 0 0 20 0 28 0 4019469 14133010432 641512 33554432000 4194304 4196468 140734931147632 140280310541336 140280498233895 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31119] ppid=31096 vsize=13801768 CPUtime=13.91 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31119/stat : 31119 (java) R 31096 31096 16473 0 -1 4202560 2401 0 0 0 1391 0 0 0 20 0 28 0 4019470 14133010432 641512 33554432000 4194304 4196468 140734931147632 140280309489472 140280498752007 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31120] ppid=31096 vsize=13801768 CPUtime=13.71 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31120/stat : 31120 (java) R 31096 31096 16473 0 -1 4202560 2215 0 0 0 1370 1 0 0 20 0 28 0 4019470 14133010432 641512 33554432000 4194304 4196468 140734931147632 140280308436504 140280500169151 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31121] ppid=31096 vsize=13801768 CPUtime=13.29 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31121/stat : 31121 (java) R 31096 31096 16473 0 -1 4202560 1185 0 0 0 1328 1 0 0 20 0 28 0 4019470 14133010432 641512 33554432000 4194304 4196468 140734931147632 140280307386408 140280496683219 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31122] ppid=31096 vsize=13801768 CPUtime=13.6 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31122/stat : 31122 (java) R 31096 31096 16473 0 -1 4202560 1092 0 0 0 1359 1 0 0 20 0 28 0 4019470 14133010432 641512 33554432000 4194304 4196468 140734931147632 140280306331536 140280498751936 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31123] ppid=31096 vsize=13801768 CPUtime=13.66 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31123/stat : 31123 (java) R 31096 31096 16473 0 -1 4202560 699 0 0 0 1366 0 0 0 20 0 28 0 4019470 14133010432 641512 33554432000 4194304 4196468 140734931147632 140280305278072 140280497230208 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31124] ppid=31096 vsize=13801768 CPUtime=13.38 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31124/stat : 31124 (java) R 31096 31096 16473 0 -1 4202560 1395 0 0 0 1338 0 0 0 20 0 28 0 4019470 14133010432 641512 33554432000 4194304 4196468 140734931147632 140280304226504 140280498752007 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31125] ppid=31096 vsize=13801768 CPUtime=13.58 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31125/stat : 31125 (java) R 31096 31096 16473 0 -1 4202560 932 0 0 0 1357 1 0 0 20 0 28 0 4019470 14133010432 641512 33554432000 4194304 4196468 140734931147632 140280303174040 140280497011677 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
Current children cumulated CPU time (s) 153.04
Current children cumulated vsize (KiB) 13811280

[startup+28.8015 s]
/proc/loadavg: 14.67 15.31 14.67 17/300 31125
/proc/meminfo: memFree=25812840/32770624 swapFree=5736/256276
[pid=31096] ppid=31093 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31096/stat : 31096 (xcsp3-exec) S 31093 31096 16473 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4018240 9740288 345 33554432000 4194304 5098028 140726989171488 140726989169592 139677333373564 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 37085184 140726989173903 140726989174112 140726989174112 140726989176811 0
/proc/31096/statm: 2378 345 289 221 0 87 0
[pid=31097] ppid=31096 vsize=13801768 CPUtime=159.39 cores=1,3,5,7,9,11,13,15
/proc/31097/stat : 31097 (java) S 31096 31096 16473 0 -1 1077944320 74742 0 0 0 14959 980 0 0 20 0 28 0 4018241 14133010432 641513 33554432000 4194304 4196468 140734931147632 140734931130176 140280865816311 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
/proc/31097/statm: 3450442 641513 3302 1 0 3437675 0
[pid=31097/tid=31098] ppid=31096 vsize=13801768 CPUtime=10.74 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31098/stat : 31098 (java) S 31096 31096 16473 0 -1 1077944384 9419 0 0 0 1064 10 0 0 20 0 28 0 4018241 14133010432 641513 33554432000 4194304 4196468 140734931147632 140280870057088 140280865826517 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31100] ppid=31096 vsize=13801768 CPUtime=2.57 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31100/stat : 31100 (java) S 31096 31096 16473 0 -1 1077944384 1812 0 0 0 143 114 0 0 20 0 28 0 4018242 14133010432 641513 33554432000 4194304 4196468 140734931147632 140280818437136 140280865826517 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31101] ppid=31096 vsize=13801768 CPUtime=2.64 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31101/stat : 31101 (java) S 31096 31096 16473 0 -1 1077944384 1636 0 0 0 147 117 0 0 20 0 28 0 4018242 14133010432 641513 33554432000 4194304 4196468 140734931147632 140280817384592 140280865826517 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31102] ppid=31096 vsize=13801768 CPUtime=2.66 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31102/stat : 31102 (java) S 31096 31096 16473 0 -1 1077944384 1871 0 0 0 145 121 0 0 20 0 28 0 4018242 14133010432 641513 33554432000 4194304 4196468 140734931147632 140280816331536 140280865826517 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31103] ppid=31096 vsize=13801768 CPUtime=2.69 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31103/stat : 31103 (java) S 31096 31096 16473 0 -1 1077944384 2291 0 0 0 150 119 0 0 20 0 28 0 4018242 14133010432 641513 33554432000 4194304 4196468 140734931147632 140280815278992 140280865826517 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31104] ppid=31096 vsize=13801768 CPUtime=2.67 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31104/stat : 31104 (java) S 31096 31096 16473 0 -1 1077944384 1436 0 0 0 146 121 0 0 20 0 28 0 4018242 14133010432 641513 33554432000 4194304 4196468 140734931147632 140280814225936 140280865826517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31105] ppid=31096 vsize=13801768 CPUtime=2.57 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31105/stat : 31105 (java) S 31096 31096 16473 0 -1 1077944384 1563 0 0 0 143 114 0 0 20 0 28 0 4018242 14133010432 641513 33554432000 4194304 4196468 140734931147632 140280459623056 140280865826517 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31106] ppid=31096 vsize=13801768 CPUtime=2.64 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31106/stat : 31106 (java) S 31096 31096 16473 0 -1 1077944384 1621 0 0 0 144 120 0 0 20 0 28 0 4018242 14133010432 641513 33554432000 4194304 4196468 140734931147632 140280458570000 140280865826517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31107] ppid=31096 vsize=13801768 CPUtime=2.65 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31107/stat : 31107 (java) S 31096 31096 16473 0 -1 1077944384 1918 0 0 0 147 118 0 0 20 0 28 0 4018242 14133010432 641513 33554432000 4194304 4196468 140734931147632 140280457517456 140280865826517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31108] ppid=31096 vsize=13801768 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31108/stat : 31108 (java) S 31096 31096 16473 0 -1 1077944384 3207 0 0 0 5 2 0 0 20 0 28 0 4018244 14133010432 641513 33554432000 4194304 4196468 140734931147632 140280328030960 140280865827458 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31109] ppid=31096 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31109/stat : 31109 (java) S 31096 31096 16473 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 4018245 14133010432 641513 33554432000 4194304 4196468 140734931147632 140280326977248 140280865826517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31110] ppid=31096 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31110/stat : 31110 (java) S 31096 31096 16473 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 4018245 14133010432 641513 33554432000 4194304 4196468 140734931147632 140280325924096 140280865826517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31111] ppid=31096 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31111/stat : 31111 (java) S 31096 31096 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4018249 14133010432 641513 33554432000 4194304 4196468 140734931147632 140280324872656 140280865834907 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31112] ppid=31096 vsize=13801768 CPUtime=3.63 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31112/stat : 31112 (java) S 31096 31096 16473 0 -1 1077944384 8591 0 0 0 362 1 0 0 20 0 28 0 4018249 14133010432 641513 33554432000 4194304 4196468 140734931147632 140280323819760 140280865827458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31113] ppid=31096 vsize=13801768 CPUtime=3.68 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31113/stat : 31113 (java) S 31096 31096 16473 0 -1 1077944384 8599 0 0 0 367 1 0 0 20 0 28 0 4018249 14133010432 641513 33554432000 4194304 4196468 140734931147632 140280322767216 140280865827458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31114] ppid=31096 vsize=13801768 CPUtime=3.58 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31114/stat : 31114 (java) S 31096 31096 16473 0 -1 1077944384 8749 0 0 0 356 2 0 0 20 0 28 0 4018249 14133010432 641513 33554432000 4194304 4196468 140734931147632 140280321714160 140280865827458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31115] ppid=31096 vsize=13801768 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31115/stat : 31115 (java) S 31096 31096 16473 0 -1 1077944384 8624 0 0 0 114 2 0 0 20 0 28 0 4018249 14133010432 641513 33554432000 4194304 4196468 140734931147632 140280320661616 140280865827458 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31116] ppid=31096 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31116/stat : 31116 (java) S 31096 31096 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4018249 14133010432 641513 33554432000 4194304 4196468 140734931147632 140280319609824 140280865826517 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31117] ppid=31096 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31117/stat : 31117 (java) S 31096 31096 16473 0 -1 1077944384 173 0 0 0 0 0 0 0 20 0 28 0 4018250 14133010432 641513 33554432000 4194304 4196468 140734931147632 140280318557360 140280865827458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31118] ppid=31096 vsize=13801768 CPUtime=14.54 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31118/stat : 31118 (java) R 31096 31096 16473 0 -1 4202560 1192 0 0 0 1453 1 0 0 20 0 28 0 4019469 14133010432 641513 33554432000 4194304 4196468 140734931147632 140280310541336 140280497230208 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31119] ppid=31096 vsize=13801768 CPUtime=14.7 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31119/stat : 31119 (java) R 31096 31096 16473 0 -1 4202560 2633 0 0 0 1470 0 0 0 20 0 28 0 4019470 14133010432 641513 33554432000 4194304 4196468 140734931147632 140280309489552 140280498751851 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31120] ppid=31096 vsize=13801768 CPUtime=14.5 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31120/stat : 31120 (java) R 31096 31096 16473 0 -1 4202560 2310 0 0 0 1449 1 0 0 20 0 28 0 4019470 14133010432 641513 33554432000 4194304 4196468 140734931147632 140280308438416 140280496185535 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31121] ppid=31096 vsize=13801768 CPUtime=14.08 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31121/stat : 31121 (java) R 31096 31096 16473 0 -1 4202560 1204 0 0 0 1407 1 0 0 20 0 28 0 4019470 14133010432 641513 33554432000 4194304 4196468 140734931147632 140280307384120 140280498751869 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31122] ppid=31096 vsize=13801768 CPUtime=14.4 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31122/stat : 31122 (java) R 31096 31096 16473 0 -1 4202560 1234 0 0 0 1439 1 0 0 20 0 28 0 4019470 14133010432 641513 33554432000 4194304 4196468 140734931147632 140280306331064 140280499632467 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31123] ppid=31096 vsize=13801768 CPUtime=14.46 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31123/stat : 31123 (java) R 31096 31096 16473 0 -1 4202560 740 0 0 0 1446 0 0 0 20 0 28 0 4019470 14133010432 641513 33554432000 4194304 4196468 140734931147632 140280305278536 140280494106718 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31124] ppid=31096 vsize=13801768 CPUtime=14.15 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31124/stat : 31124 (java) R 31096 31096 16473 0 -1 4202560 1591 0 0 0 1415 0 0 0 20 0 28 0 4019470 14133010432 641513 33554432000 4194304 4196468 140734931147632 140280304226504 140280498752007 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31125] ppid=31096 vsize=13801768 CPUtime=14.37 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31125/stat : 31125 (java) R 31096 31096 16473 0 -1 4202560 949 0 0 0 1436 1 0 0 20 0 28 0 4019470 14133010432 641513 33554432000 4194304 4196468 140734931147632 140280303173960 140280498752007 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
Current children cumulated CPU time (s) 159.39
Current children cumulated vsize (KiB) 13811280

[startup+29.0014 s]
/proc/loadavg: 14.67 15.31 14.67 17/300 31125
/proc/meminfo: memFree=25812840/32770624 swapFree=5736/256276
[pid=31096] ppid=31093 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31096/stat : 31096 (xcsp3-exec) S 31093 31096 16473 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4018240 9740288 345 33554432000 4194304 5098028 140726989171488 140726989169592 139677333373564 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 37085184 140726989173903 140726989174112 140726989174112 140726989176811 0
/proc/31096/statm: 2378 345 289 221 0 87 0
[pid=31097] ppid=31096 vsize=13801768 CPUtime=160.98 cores=1,3,5,7,9,11,13,15
/proc/31097/stat : 31097 (java) S 31096 31096 16473 0 -1 1077944320 76970 0 0 0 15118 980 0 0 20 0 28 0 4018241 14133010432 641513 33554432000 4194304 4196468 140734931147632 140734931130176 140280865816311 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
/proc/31097/statm: 3450442 641513 3302 1 0 3437675 0
[pid=31097/tid=31098] ppid=31096 vsize=13801768 CPUtime=10.74 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31098/stat : 31098 (java) S 31096 31096 16473 0 -1 1077944384 9419 0 0 0 1064 10 0 0 20 0 28 0 4018241 14133010432 641513 33554432000 4194304 4196468 140734931147632 140280870057088 140280865826517 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31100] ppid=31096 vsize=13801768 CPUtime=2.57 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31100/stat : 31100 (java) S 31096 31096 16473 0 -1 1077944384 1812 0 0 0 143 114 0 0 20 0 28 0 4018242 14133010432 641513 33554432000 4194304 4196468 140734931147632 140280818437136 140280865826517 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31101] ppid=31096 vsize=13801768 CPUtime=2.64 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31101/stat : 31101 (java) S 31096 31096 16473 0 -1 1077944384 1636 0 0 0 147 117 0 0 20 0 28 0 4018242 14133010432 641513 33554432000 4194304 4196468 140734931147632 140280817384592 140280865826517 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31102] ppid=31096 vsize=13801768 CPUtime=2.66 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31102/stat : 31102 (java) S 31096 31096 16473 0 -1 1077944384 1871 0 0 0 145 121 0 0 20 0 28 0 4018242 14133010432 641513 33554432000 4194304 4196468 140734931147632 140280816331536 140280865826517 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31103] ppid=31096 vsize=13801768 CPUtime=2.69 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31103/stat : 31103 (java) S 31096 31096 16473 0 -1 1077944384 2291 0 0 0 150 119 0 0 20 0 28 0 4018242 14133010432 641513 33554432000 4194304 4196468 140734931147632 140280815278992 140280865826517 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31104] ppid=31096 vsize=13801768 CPUtime=2.67 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31104/stat : 31104 (java) S 31096 31096 16473 0 -1 1077944384 1436 0 0 0 146 121 0 0 20 0 28 0 4018242 14133010432 641513 33554432000 4194304 4196468 140734931147632 140280814225936 140280865826517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31105] ppid=31096 vsize=13801768 CPUtime=2.57 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31105/stat : 31105 (java) S 31096 31096 16473 0 -1 1077944384 1563 0 0 0 143 114 0 0 20 0 28 0 4018242 14133010432 641513 33554432000 4194304 4196468 140734931147632 140280459623056 140280865826517 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31106] ppid=31096 vsize=13801768 CPUtime=2.64 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31106/stat : 31106 (java) S 31096 31096 16473 0 -1 1077944384 1621 0 0 0 144 120 0 0 20 0 28 0 4018242 14133010432 641513 33554432000 4194304 4196468 140734931147632 140280458570000 140280865826517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31107] ppid=31096 vsize=13801768 CPUtime=2.65 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31107/stat : 31107 (java) S 31096 31096 16473 0 -1 1077944384 1918 0 0 0 147 118 0 0 20 0 28 0 4018242 14133010432 641513 33554432000 4194304 4196468 140734931147632 140280457517456 140280865826517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31108] ppid=31096 vsize=13801768 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31108/stat : 31108 (java) S 31096 31096 16473 0 -1 1077944384 3207 0 0 0 5 2 0 0 20 0 28 0 4018244 14133010432 641513 33554432000 4194304 4196468 140734931147632 140280328030960 140280865827458 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31109] ppid=31096 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31109/stat : 31109 (java) S 31096 31096 16473 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 4018245 14133010432 641513 33554432000 4194304 4196468 140734931147632 140280326977248 140280865826517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31110] ppid=31096 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31110/stat : 31110 (java) S 31096 31096 16473 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 4018245 14133010432 641513 33554432000 4194304 4196468 140734931147632 140280325924096 140280865826517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31111] ppid=31096 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31111/stat : 31111 (java) S 31096 31096 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4018249 14133010432 641513 33554432000 4194304 4196468 140734931147632 140280324872656 140280865834907 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31112] ppid=31096 vsize=13801768 CPUtime=3.67 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31112/stat : 31112 (java) R 31096 31096 16473 0 -1 4202560 9090 0 0 0 366 1 0 0 20 0 28 0 4018249 14133010432 641513 33554432000 4194304 4196468 140734931147632 140280323819760 140280850213147 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31113] ppid=31096 vsize=13801768 CPUtime=3.76 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31113/stat : 31113 (java) R 31096 31096 16473 0 -1 4202560 9433 0 0 0 374 2 0 0 20 0 28 0 4018249 14133010432 641513 33554432000 4194304 4196468 140734931147632 140280322757280 140280846516608 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31114] ppid=31096 vsize=13801768 CPUtime=3.61 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31114/stat : 31114 (java) R 31096 31096 16473 0 -1 4202560 8981 0 0 0 359 2 0 0 20 0 28 0 4018249 14133010432 641513 33554432000 4194304 4196468 140734931147632 140280321714456 140280849373749 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31115] ppid=31096 vsize=13801768 CPUtime=1.17 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31115/stat : 31115 (java) S 31096 31096 16473 0 -1 1077944384 9225 0 0 0 115 2 0 0 20 0 28 0 4018249 14133010432 641513 33554432000 4194304 4196468 140734931147632 140280320661616 140280865827458 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31116] ppid=31096 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31116/stat : 31116 (java) S 31096 31096 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4018249 14133010432 641513 33554432000 4194304 4196468 140734931147632 140280319609824 140280865826517 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31117] ppid=31096 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31117/stat : 31117 (java) S 31096 31096 16473 0 -1 1077944384 173 0 0 0 0 0 0 0 20 0 28 0 4018250 14133010432 641513 33554432000 4194304 4196468 140734931147632 140280318557360 140280865827458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31118] ppid=31096 vsize=13801768 CPUtime=14.72 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31118/stat : 31118 (java) R 31096 31096 16473 0 -1 4202560 1205 0 0 0 1471 1 0 0 20 0 28 0 4019469 14133010432 641513 33554432000 4194304 4196468 140734931147632 140280310541336 140280502644192 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31119] ppid=31096 vsize=13801768 CPUtime=14.88 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31119/stat : 31119 (java) R 31096 31096 16473 0 -1 4202560 2679 0 0 0 1488 0 0 0 20 0 28 0 4019470 14133010432 641513 33554432000 4194304 4196468 140734931147632 140280309489744 140280865837658 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31120] ppid=31096 vsize=13801768 CPUtime=14.64 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31120/stat : 31120 (java) R 31096 31096 16473 0 -1 4202560 2332 0 0 0 1463 1 0 0 20 0 28 0 4019470 14133010432 641513 33554432000 4194304 4196468 140734931147632 140280308438416 140280500169239 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31121] ppid=31096 vsize=13801768 CPUtime=14.25 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31121/stat : 31121 (java) R 31096 31096 16473 0 -1 4202560 1211 0 0 0 1424 1 0 0 20 0 28 0 4019470 14133010432 641513 33554432000 4194304 4196468 140734931147632 140280307384120 140280498752007 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31122] ppid=31096 vsize=13801768 CPUtime=14.56 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31122/stat : 31122 (java) R 31096 31096 16473 0 -1 4202560 1238 0 0 0 1455 1 0 0 20 0 28 0 4019470 14133010432 641513 33554432000 4194304 4196468 140734931147632 140280306331064 140280502645047 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31123] ppid=31096 vsize=13801768 CPUtime=14.66 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31123/stat : 31123 (java) R 31096 31096 16473 0 -1 4202560 752 0 0 0 1466 0 0 0 20 0 28 0 4019470 14133010432 641513 33554432000 4194304 4196468 140734931147632 140280305278856 140280498752007 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31124] ppid=31096 vsize=13801768 CPUtime=14.35 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31124/stat : 31124 (java) R 31096 31096 16473 0 -1 4202560 1609 0 0 0 1435 0 0 0 20 0 28 0 4019470 14133010432 641513 33554432000 4194304 4196468 140734931147632 140280304226504 140280497831203 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
[pid=31097/tid=31125] ppid=31096 vsize=13801768 CPUtime=14.57 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31125/stat : 31125 (java) R 31096 31096 16473 0 -1 4202560 957 0 0 0 1456 1 0 0 20 0 28 0 4019470 14133010432 641513 33554432000 4194304 4196468 140734931147632 140280303173960 140280498752007 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 21536768 140734931154108 140734931154284 140734931154284 140734931156943 0
Current children cumulated CPU time (s) 160.98
Current children cumulated vsize (KiB) 13811280

[startup+29.1095 s]
/proc/loadavg: 14.67 15.31 14.67 17/300 31125
/proc/meminfo: memFree=25812840/32770624 swapFree=5736/256276
[pid=31096] ppid=31093 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31096/stat : 31096 (xcsp3-exec) S 31093 31096 16473 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4018240 9740288 345 33554432000 4194304 5098028 140726989171488 140726989169592 139677333373564 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 37085184 140726989173903 140726989174112 140726989174112 140726989176811 0
/proc/31096/statm: 2378 345 289 221 0 87 0
[pid=31097] ppid=31096 vsize=0 CPUtime=161.51 cores=1,3,5,7,9,11,13,15
/proc/31097/stat : 31097 (java) Z 31096 31096 16473 0 -1 4227084 78285 0 0 0 15169 982 0 0 20 0 2 0 4018241 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/31097/statm: 0 0 0 0 0 0 0
[pid=31097/tid=31111] ppid=31096 vsize=0 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31097/task/31111/stat : 31111 (java) R 31096 31096 16473 0 -1 4203588 23 0 0 0 0 0 0 0 20 0 2 0 4018249 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 161.51
Current children cumulated vsize (KiB) 9512

Child status: 0
Real time (s): 29.1136
CPU time (s): 161.522
CPU user time (s): 151.695
CPU system time (s): 9.82692
CPU usage (%): 554.8
Max. virtual memory (cumulated for all children) (KiB): 13811280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 151.695
system time used= 9.82692
maximum resident set size= 2566208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78812
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6804
involuntary context switches= 11006

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.332015 second user time and 0.406379 second system time

The end

Begin job on node114 at 2017-07-22 03:38:11
IDJOB=4246464
IDBENCH=125571
IDSOLVER=2625
FILE ID=node114/4246464-1500687491
RUNJOBID= node114-1500682387-16505
PBS_JOBID= 20623324
Free space on /tmp= 62004 MiB

SOLVER NAME= choco-solver 4.0.5
BENCH NAME= XCSP17/DeBruijnSequence/DeBruijnSequence-m1-s1/DeBruijnSequence-03-06.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246464-1500687491/watcher-4246464-1500687491 -o /tmp/evaluation-result-4246464-1500687491/solver-4246464-1500687491 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500682387-16505 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 146266229 HOME/instance-4246464-1500687491.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= a0d270dd535955910725fddfcfa0cde8
RANDOM SEED=146266229

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

/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	: 8
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.60
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		: 1867.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 8
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.60
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		: 1733.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 8
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.60
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 8
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.60
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		: 2267.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

processor	: 8
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	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 10
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	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 12
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	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 14
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	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        28373488 kB
MemAvailable:   28530412 kB
Buffers:          113532 kB
Cached:           325348 kB
SwapCached:            0 kB
Active:          3693840 kB
Inactive:         265056 kB
Active(anon):    3523388 kB
Inactive(anon):     8812 kB
Active(file):     170452 kB
Inactive(file):   256244 kB
Unevictable:        5736 kB
Mlocked:            5736 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7856 kB
Writeback:             0 kB
AnonPages:       3532700 kB
Mapped:            43108 kB
Shmem:              8848 kB
Slab:             125948 kB
SReclaimable:      92124 kB
SUnreclaim:        33824 kB
KernelStack:        5008 kB
PageTables:        12092 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4412000 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3401728 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 61996 MiB
End job on node114 at 2017-07-22 03:38:40