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

OK	

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269433-1502770487/watcher-4269433-1502770487 -o /tmp/evaluation-result-4269433-1502770487/solver-4269433-1502770487 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502673801-14690 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 941172023 HOME/instance-4269433-1502770487.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=1456, runsolver pid=1453
Current StackSize limit: 8192 KiB


[startup+0.100425 s]*
/proc/loadavg: 2.01 1.67 1.62 3/205 1463
/proc/meminfo: memFree=29660380/32770624 swapFree=67108860/67108860
[pid=1456] ppid=1453 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/1456/stat : 1456 (xcsp3-exec) S 1453 1456 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 65389392 9740288 344 18446744073709551615 4194304 5098028 140735786335472 140735786333576 140363737293436 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 36368384 140735786336633 140735786336837 140735786336837 140735786340331 0
/proc/1456/statm: 2378 344 289 221 0 87 0
[pid=1458] ppid=1456 vsize=13358712 memory=16148 CPUtime=0.01 cores=1,3,5,7
/proc/1458/stat : 1458 (java) S 1456 1456 11586 0 -1 1077944320 3319 0 0 0 1 0 0 0 20 0 6 0 65389401 13679321088 4037 18446744073709551615 4194304 4196468 140733559848928 140733559831472 139912205676279 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
/proc/1458/statm: 3339678 4037 1901 1 0 3329175 0
[pid=1458/tid=1459] ppid=1456 vsize=13358712 memory=7077796292425249400 CPUtime=0.01 cores=1,3,5,7
/proc/1458/task/1459/stat : 1459 (java) R 1456 1456 11586 0 -1 4202560 2134 0 0 0 1 0 0 0 20 0 6 0 65389401 13679321088 4103 18446744073709551615 4194304 4196468 140733559848928 139912209912400 139912190113164 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1460] ppid=1456 vsize=13358712 memory=-5738297875903123798 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1460/stat : 1460 (java) S 1456 1456 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 65389402 13679321088 4103 18446744073709551615 4194304 4196468 140733559848928 139912125090704 139912205686485 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1461] ppid=1456 vsize=13358712 memory=140378509174400 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1461/stat : 1461 (java) S 1456 1456 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 65389402 13679321088 4103 18446744073709551615 4194304 4196468 140733559848928 139912124037904 139912205686485 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1462] ppid=1456 vsize=13358712 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1462/stat : 1462 (java) S 1456 1456 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 65389402 13679321088 4103 18446744073709551615 4194304 4196468 140733559848928 139912122985616 139912205686485 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1463] ppid=1456 vsize=13358712 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1463/stat : 1463 (java) S 1456 1456 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 65389402 13679321088 4103 18446744073709551615 4194304 4196468 140733559848928 139912121932816 139912205686485 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 17524 KiB

[startup+0.20994 s]*
/proc/loadavg: 2.01 1.67 1.62 2/213 1471
/proc/meminfo: memFree=29658348/32770624 swapFree=67108860/67108860
[pid=1456] ppid=1453 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/1456/stat : 1456 (xcsp3-exec) S 1453 1456 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 65389392 9740288 344 18446744073709551615 4194304 5098028 140735786335472 140735786333576 140363737293436 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 36368384 140735786336633 140735786336837 140735786336837 140735786340331 0
/proc/1456/statm: 2378 344 289 221 0 87 0
[pid=1458] ppid=1456 vsize=13974352 memory=23224 CPUtime=0.06 cores=1,3,5,7
/proc/1458/stat : 1458 (java) S 1456 1456 11586 0 -1 1077944320 4759 0 0 0 5 1 0 0 20 0 15 0 65389401 14309736448 5806 18446744073709551615 4194304 4196468 140733559848928 140733559831472 139912205676279 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
/proc/1458/statm: 3493588 5806 2659 1 0 3482964 0
[pid=1458/tid=1459] ppid=1456 vsize=13974352 memory=8390339637985935414 CPUtime=0.05 cores=1,3,5,7
/proc/1458/task/1459/stat : 1459 (java) R 1456 1456 11586 0 -1 4202560 2940 0 0 0 5 0 0 0 20 0 15 0 65389401 14309736448 5872 18446744073709551615 4194304 4196468 140733559848928 139912209918560 139912205698205 0 4 1 16800974 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1460] ppid=1456 vsize=13974352 memory=288230596118054247 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1460/stat : 1460 (java) S 1456 1456 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65389402 14309736448 5872 18446744073709551615 4194304 4196468 140733559848928 139912125090704 139912205686485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1461] ppid=1456 vsize=13974352 memory=288370754660886144 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1461/stat : 1461 (java) S 1456 1456 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65389402 14309736448 5872 18446744073709551615 4194304 4196468 140733559848928 139912124037904 139912205686485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1462] ppid=1456 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1462/stat : 1462 (java) S 1456 1456 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65389402 14309736448 5872 18446744073709551615 4194304 4196468 140733559848928 139912122985616 139912205686485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1463] ppid=1456 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1463/stat : 1463 (java) S 1456 1456 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65389402 14309736448 5872 18446744073709551615 4194304 4196468 140733559848928 139912121932816 139912205686485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1464] ppid=1456 vsize=13974352 memory=140378509174400 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1464/stat : 1464 (java) S 1456 1456 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65389403 14309736448 5872 18446744073709551615 4194304 4196468 140733559848928 139911683881072 139912205687426 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1465] ppid=1456 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1465/stat : 1465 (java) S 1456 1456 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 65389403 14309736448 5872 18446744073709551615 4194304 4196468 140733559848928 139911682827040 139912205686485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1466] ppid=1456 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1466/stat : 1466 (java) S 1456 1456 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 65389404 14309736448 5872 18446744073709551615 4194304 4196468 140733559848928 139911681774704 139912205686485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1467] ppid=1456 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1467/stat : 1467 (java) S 1456 1456 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65389406 14309736448 5872 18446744073709551615 4194304 4196468 140733559848928 139911680723024 139912205694875 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1468] ppid=1456 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1468/stat : 1468 (java) S 1456 1456 11586 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 65389406 14309736448 5872 18446744073709551615 4194304 4196468 140733559848928 139911679670896 139912205687426 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1469] ppid=1456 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1469/stat : 1469 (java) R 1456 1456 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65389406 14309736448 5872 18446744073709551615 4194304 4196468 140733559848928 139911678618096 139912205687426 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1470] ppid=1456 vsize=13974352 memory=140378509174400 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1470/stat : 1470 (java) S 1456 1456 11586 0 -1 1077944384 226 0 0 0 0 0 0 0 20 0 15 0 65389406 14309736448 5872 18446744073709551615 4194304 4196468 140733559848928 139911677565808 139912205687426 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1471] ppid=1456 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1471/stat : 1471 (java) S 1456 1456 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65389406 14309736448 5872 18446744073709551615 4194304 4196468 140733559848928 139911676513248 139912205686485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1472] ppid=1456 vsize=13974352 memory=140378509174400 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1472/stat : 1472 (java) S 1456 1456 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65389413 14309736448 5872 18446744073709551615 4194304 4196468 140733559848928 139911675460016 139912205687426 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 24600 KiB

[startup+0.318001 s]*
/proc/loadavg: 2.01 1.67 1.62 3/214 1472
/proc/meminfo: memFree=29640188/32770624 swapFree=67108860/67108860
[pid=1456] ppid=1453 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/1456/stat : 1456 (xcsp3-exec) S 1453 1456 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 65389392 9740288 344 18446744073709551615 4194304 5098028 140735786335472 140735786333576 140363737293436 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 36368384 140735786336633 140735786336837 140735786336837 140735786340331 0
/proc/1456/statm: 2378 344 289 221 0 87 0
[pid=1458] ppid=1456 vsize=13974352 memory=37588 CPUtime=0.25 cores=1,3,5,7
/proc/1458/stat : 1458 (java) S 1456 1456 11586 0 -1 1077944320 8443 0 0 0 23 2 0 0 20 0 15 0 65389401 14309736448 9397 18446744073709551615 4194304 4196468 140733559848928 140733559831472 139912205676279 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
/proc/1458/statm: 3493588 9397 2982 1 0 3482964 0
[pid=1458/tid=1459] ppid=1456 vsize=13974352 memory=8390339637985935414 CPUtime=0.15 cores=1,3,5,7
/proc/1458/task/1459/stat : 1459 (java) R 1456 1456 11586 0 -1 4202560 5685 0 0 0 14 1 0 0 20 0 15 0 65389401 14309736448 9397 18446744073709551615 4194304 4196468 140733559848928 139912209890944 139912205698205 0 4 1 16800974 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1460] ppid=1456 vsize=13974352 memory=301741395000165735 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1460/stat : 1460 (java) S 1456 1456 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65389402 14309736448 9397 18446744073709551615 4194304 4196468 140733559848928 139912125090704 139912205686485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1461] ppid=1456 vsize=13974352 memory=300808637161182848 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1461/stat : 1461 (java) S 1456 1456 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65389402 14309736448 9397 18446744073709551615 4194304 4196468 140733559848928 139912124037904 139912205686485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1462] ppid=1456 vsize=13974352 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1462/stat : 1462 (java) S 1456 1456 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65389402 14309736448 9397 18446744073709551615 4194304 4196468 140733559848928 139912122985616 139912205686485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1463] ppid=1456 vsize=13974352 memory=3472328279047811119 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1463/stat : 1463 (java) S 1456 1456 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65389402 14309736448 9397 18446744073709551615 4194304 4196468 140733559848928 139912121932816 139912205686485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1464] ppid=1456 vsize=13974352 memory=8392726254266472673 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1464/stat : 1464 (java) S 1456 1456 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65389403 14309736448 9397 18446744073709551615 4194304 4196468 140733559848928 139911683881072 139912205687426 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1465] ppid=1456 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1465/stat : 1465 (java) S 1456 1456 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 65389403 14309736448 9397 18446744073709551615 4194304 4196468 140733559848928 139911682827040 139912205686485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1466] ppid=1456 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1466/stat : 1466 (java) S 1456 1456 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 65389404 14309736448 9397 18446744073709551615 4194304 4196468 140733559848928 139911681774704 139912205686485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1467] ppid=1456 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1467/stat : 1467 (java) S 1456 1456 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65389406 14309736448 9397 18446744073709551615 4194304 4196468 140733559848928 139911680723024 139912205694875 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1468] ppid=1456 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/1458/task/1468/stat : 1468 (java) S 1456 1456 11586 0 -1 1077944384 531 0 0 0 1 0 0 0 20 0 15 0 65389406 14309736448 9397 18446744073709551615 4194304 4196468 140733559848928 139911679670896 139912205687426 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1469] ppid=1456 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/1458/task/1469/stat : 1469 (java) S 1456 1456 11586 0 -1 1077944384 249 0 0 0 1 0 0 0 20 0 15 0 65389406 14309736448 9397 18446744073709551615 4194304 4196468 140733559848928 139911678618096 139912205687426 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1470] ppid=1456 vsize=13974352 memory=140378509174400 CPUtime=0.05 cores=1,3,5,7
/proc/1458/task/1470/stat : 1470 (java) S 1456 1456 11586 0 -1 1077944384 683 0 0 0 5 0 0 0 20 0 15 0 65389406 14309736448 9397 18446744073709551615 4194304 4196468 140733559848928 139911677565808 139912205687426 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1471] ppid=1456 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1471/stat : 1471 (java) S 1456 1456 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65389406 14309736448 9397 18446744073709551615 4194304 4196468 140733559848928 139911676513248 139912205686485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1472] ppid=1456 vsize=13974352 memory=140378509174400 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1472/stat : 1472 (java) S 1456 1456 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65389413 14309736448 9397 18446744073709551615 4194304 4196468 140733559848928 139911675460016 139912205687426 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38964 KiB

[startup+0.700769 s]
/proc/loadavg: 2.01 1.67 1.62 5/214 1472
/proc/meminfo: memFree=29624336/32770624 swapFree=67108860/67108860
[pid=1456] ppid=1453 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/1456/stat : 1456 (xcsp3-exec) S 1453 1456 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 65389392 9740288 344 18446744073709551615 4194304 5098028 140735786335472 140735786333576 140363737293436 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 36368384 140735786336633 140735786336837 140735786336837 140735786340331 0
/proc/1456/statm: 2378 344 289 221 0 87 0
[pid=1458] ppid=1456 vsize=13978684 memory=78020 CPUtime=1.3 cores=1,3,5,7
/proc/1458/stat : 1458 (java) S 1456 1456 11586 0 -1 1077944320 13736 0 0 0 126 4 0 0 20 0 15 0 65389401 14314172416 19505 18446744073709551615 4194304 4196468 140733559848928 140733559831472 139912205676279 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
/proc/1458/statm: 3494671 19505 3165 1 0 3482964 0
[pid=1458/tid=1459] ppid=1456 vsize=13978684 memory=2372 CPUtime=0.53 cores=1,3,5,7
/proc/1458/task/1459/stat : 1459 (java) R 1456 1456 11586 0 -1 4202560 7417 0 0 0 50 3 0 0 20 0 15 0 65389401 14314172416 19505 18446744073709551615 4194304 4196468 140733559848928 139912209910928 139912186518519 0 4 1 16800974 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1460] ppid=1456 vsize=13978684 memory=140378509173345 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1460/stat : 1460 (java) S 1456 1456 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65389402 14314172416 19505 18446744073709551615 4194304 4196468 140733559848928 139912125090704 139912205686485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1461] ppid=1456 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1461/stat : 1461 (java) S 1456 1456 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65389402 14314172416 19505 18446744073709551615 4194304 4196468 140733559848928 139912124037904 139912205686485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1462] ppid=1456 vsize=13978684 memory=140378388928496 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1462/stat : 1462 (java) S 1456 1456 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65389402 14314172416 19505 18446744073709551615 4194304 4196468 140733559848928 139912122985616 139912205686485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1463] ppid=1456 vsize=13978684 memory=1914956 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1463/stat : 1463 (java) S 1456 1456 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65389402 14314172416 19571 18446744073709551615 4194304 4196468 140733559848928 139912121932816 139912205686485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1464] ppid=1456 vsize=13978684 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1464/stat : 1464 (java) S 1456 1456 11586 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 65389403 14314172416 19571 18446744073709551615 4194304 4196468 140733559848928 139911683881072 139912205687426 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1465] ppid=1456 vsize=13978684 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1465/stat : 1465 (java) S 1456 1456 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 65389403 14314172416 19571 18446744073709551615 4194304 4196468 140733559848928 139911682827040 139912205686485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1466] ppid=1456 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1466/stat : 1466 (java) S 1456 1456 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 65389404 14314172416 19571 18446744073709551615 4194304 4196468 140733559848928 139911681774704 139912205686485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1467] ppid=1456 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1467/stat : 1467 (java) S 1456 1456 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65389406 14314172416 19571 18446744073709551615 4194304 4196468 140733559848928 139911680723024 139912205694875 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1468] ppid=1456 vsize=13978684 memory=6656426216303648864 CPUtime=0.22 cores=1,3,5,7
/proc/1458/task/1468/stat : 1468 (java) R 1456 1456 11586 0 -1 4202560 1757 0 0 0 22 0 0 0 20 0 15 0 65389406 14314172416 19571 18446744073709551615 4194304 4196468 140733559848928 139911679657080 139912187220002 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1469] ppid=1456 vsize=13978684 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/1458/task/1469/stat : 1469 (java) R 1456 1456 11586 0 -1 4202560 1229 0 0 0 21 0 0 0 20 0 15 0 65389406 14314172416 19571 18446744073709551615 4194304 4196468 140733559848928 139911678604944 139912190781695 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1470] ppid=1456 vsize=13978684 memory=0 CPUtime=0.31 cores=1,3,5,7
/proc/1458/task/1470/stat : 1470 (java) R 1456 1456 11586 0 -1 1077944384 2043 0 0 0 31 0 0 0 20 0 15 0 65389406 14314172416 19571 18446744073709551615 4194304 4196468 140733559848928 139911677565808 139912205687426 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1471] ppid=1456 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1471/stat : 1471 (java) S 1456 1456 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65389406 14314172416 19571 18446744073709551615 4194304 4196468 140733559848928 139911676513248 139912205686485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1472] ppid=1456 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1472/stat : 1472 (java) S 1456 1456 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65389413 14314172416 19571 18446744073709551615 4194304 4196468 140733559848928 139911675460016 139912205687426 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
Current children cumulated CPU time: 1.3 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 79396 KiB

[startup+1.50234 s]
/proc/loadavg: 2.01 1.67 1.62 5/214 1472
/proc/meminfo: memFree=29556704/32770624 swapFree=67108860/67108860
[pid=1456] ppid=1453 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/1456/stat : 1456 (xcsp3-exec) S 1453 1456 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 65389392 9740288 344 18446744073709551615 4194304 5098028 140735786335472 140735786333576 140363737293436 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 36368384 140735786336633 140735786336837 140735786336837 140735786340331 0
/proc/1456/statm: 2378 344 289 221 0 87 0
[pid=1458] ppid=1456 vsize=13980732 memory=230240 CPUtime=3.97 cores=1,3,5,7
/proc/1458/stat : 1458 (java) S 1456 1456 11586 0 -1 1077944320 22873 0 0 0 384 13 0 0 20 0 15 0 65389401 14316269568 57560 18446744073709551615 4194304 4196468 140733559848928 140733559831472 139912205676279 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
/proc/1458/statm: 3495183 57560 3225 1 0 3483476 0
[pid=1458/tid=1459] ppid=1456 vsize=13980732 memory=6944656575208382560 CPUtime=1.29 cores=1,3,5,7
/proc/1458/task/1459/stat : 1459 (java) R 1456 1456 11586 0 -1 4202560 8872 0 0 0 124 5 0 0 20 0 15 0 65389401 14316269568 57560 18446744073709551615 4194304 4196468 140733559848928 139912209909008 139911803394822 0 4 1 16800974 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1460] ppid=1456 vsize=13980732 memory=280756777791984 CPUtime=0.02 cores=1,3,5,7
/proc/1458/task/1460/stat : 1460 (java) S 1456 1456 11586 0 -1 1077944384 107 0 0 0 1 1 0 0 20 0 15 0 65389402 14316269568 57560 18446744073709551615 4194304 4196468 140733559848928 139912125090704 139912205686485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1461] ppid=1456 vsize=13980732 memory=590024538733965329 CPUtime=0.02 cores=1,3,5,7
/proc/1458/task/1461/stat : 1461 (java) S 1456 1456 11586 0 -1 1077944384 252 0 0 0 1 1 0 0 20 0 15 0 65389402 14316269568 57560 18446744073709551615 4194304 4196468 140733559848928 139912124037904 139912205686485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1462] ppid=1456 vsize=13980732 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/1458/task/1462/stat : 1462 (java) S 1456 1456 11586 0 -1 1077944384 68 0 0 0 1 1 0 0 20 0 15 0 65389402 14316269568 57560 18446744073709551615 4194304 4196468 140733559848928 139912122985616 139912205686485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1463] ppid=1456 vsize=13980732 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/1458/task/1463/stat : 1463 (java) S 1456 1456 11586 0 -1 1077944384 420 0 0 0 1 1 0 0 20 0 15 0 65389402 14316269568 57560 18446744073709551615 4194304 4196468 140733559848928 139912121932816 139912205686485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1464] ppid=1456 vsize=13980732 memory=280756777715008 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1464/stat : 1464 (java) S 1456 1456 11586 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 15 0 65389403 14316269568 57560 18446744073709551615 4194304 4196468 140733559848928 139911683881072 139912205687426 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1465] ppid=1456 vsize=13980732 memory=7517785336758666416 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1465/stat : 1465 (java) S 1456 1456 11586 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 65389403 14316269568 57560 18446744073709551615 4194304 4196468 140733559848928 139911682827040 139912205686485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1466] ppid=1456 vsize=13980732 memory=4638778398332698727 CPUtime=0 cores=1,3,5,7

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

/proc/1456/stat : 1456 (xcsp3-exec) S 1453 1456 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 65389392 9740288 344 18446744073709551615 4194304 5098028 140735786335472 140735786333576 140363737293436 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 36368384 140735786336633 140735786336837 140735786336837 140735786340331 0
/proc/1456/statm: 2378 344 289 221 0 87 0
[pid=1458] ppid=1456 vsize=13980732 memory=684468 CPUtime=35.74 cores=1,3,5,7
/proc/1458/stat : 1458 (java) S 1456 1456 11586 0 -1 1077944320 39406 0 0 0 3540 34 0 0 20 0 15 0 65389401 14316269568 171117 18446744073709551615 4194304 4196468 140733559848928 140733559831472 139912205676279 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
/proc/1458/statm: 3495183 171117 3236 1 0 3483476 0
[pid=1458/tid=1459] ppid=1456 vsize=13980732 memory=1 CPUtime=28.47 cores=1,3,5,7
/proc/1458/task/1459/stat : 1459 (java) R 1456 1456 11586 0 -1 4202560 12286 0 0 0 2837 10 0 0 20 0 15 0 65389401 14316269568 171117 18446744073709551615 4194304 4196468 140733559848928 139912209915184 139911805515998 0 4 1 16800974 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1460] ppid=1456 vsize=13980732 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/1458/task/1460/stat : 1460 (java) S 1456 1456 11586 0 -1 1077944384 319 0 0 0 8 4 0 0 20 0 15 0 65389402 14316269568 171117 18446744073709551615 4194304 4196468 140733559848928 139912125090704 139912205686485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1461] ppid=1456 vsize=13980732 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/1458/task/1461/stat : 1461 (java) S 1456 1456 11586 0 -1 1077944384 1650 0 0 0 7 5 0 0 20 0 15 0 65389402 14316269568 171117 18446744073709551615 4194304 4196468 140733559848928 139912124037904 139912205686485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1462] ppid=1456 vsize=13980732 memory=1376 CPUtime=0.12 cores=1,3,5,7
/proc/1458/task/1462/stat : 1462 (java) S 1456 1456 11586 0 -1 1077944384 805 0 0 0 8 4 0 0 20 0 15 0 65389402 14316269568 171117 18446744073709551615 4194304 4196468 140733559848928 139912122985616 139912205686485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1463] ppid=1456 vsize=13980732 memory=684468 CPUtime=0.11 cores=1,3,5,7
/proc/1458/task/1463/stat : 1463 (java) S 1456 1456 11586 0 -1 1077944384 1555 0 0 0 7 4 0 0 20 0 15 0 65389402 14316269568 171117 18446744073709551615 4194304 4196468 140733559848928 139912121932816 139912205686485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1464] ppid=1456 vsize=13980732 memory=2784 CPUtime=0.01 cores=1,3,5,7
/proc/1458/task/1464/stat : 1464 (java) S 1456 1456 11586 0 -1 1077944384 1123 0 0 0 1 0 0 0 20 0 15 0 65389403 14316269568 171117 18446744073709551615 4194304 4196468 140733559848928 139911683881072 139912205687426 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1465] ppid=1456 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1465/stat : 1465 (java) S 1456 1456 11586 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 65389403 14316269568 171117 18446744073709551615 4194304 4196468 140733559848928 139911682827104 139912205686485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1466] ppid=1456 vsize=13980732 memory=662816 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1466/stat : 1466 (java) S 1456 1456 11586 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 65389404 14316269568 171117 18446744073709551615 4194304 4196468 140733559848928 139911681774720 139912205686485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1467] ppid=1456 vsize=13980732 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1467/stat : 1467 (java) S 1456 1456 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65389406 14316269568 171117 18446744073709551615 4194304 4196468 140733559848928 139911680723024 139912205694875 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1468] ppid=1456 vsize=13980732 memory=2244 CPUtime=3.04 cores=1,3,5,7
/proc/1458/task/1468/stat : 1468 (java) S 1456 1456 11586 0 -1 1077944384 7599 0 0 0 303 1 0 0 20 0 15 0 65389406 14316269568 171117 18446744073709551615 4194304 4196468 140733559848928 139911679670896 139912205687426 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1469] ppid=1456 vsize=13980732 memory=1376 CPUtime=2.78 cores=1,3,5,7
/proc/1458/task/1469/stat : 1469 (java) S 1456 1456 11586 0 -1 1077944384 7020 0 0 0 278 0 0 0 20 0 15 0 65389406 14316269568 171117 18446744073709551615 4194304 4196468 140733559848928 139911678618096 139912205687426 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1470] ppid=1456 vsize=13980732 memory=662732 CPUtime=0.85 cores=1,3,5,7
/proc/1458/task/1470/stat : 1470 (java) S 1456 1456 11586 0 -1 1077944384 5372 0 0 0 84 1 0 0 20 0 15 0 65389406 14316269568 171117 18446744073709551615 4194304 4196468 140733559848928 139911677565808 139912205687426 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1471] ppid=1456 vsize=13980732 memory=1580 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1471/stat : 1471 (java) S 1456 1456 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65389406 14316269568 171117 18446744073709551615 4194304 4196468 140733559848928 139911676513248 139912205686485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1472] ppid=1456 vsize=13980732 memory=2168 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1472/stat : 1472 (java) S 1456 1456 11586 0 -1 1077944384 330 0 0 0 0 0 0 0 20 0 15 0 65389413 14316269568 171117 18446744073709551615 4194304 4196468 140733559848928 139911675460016 139912205687426 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
Current children cumulated CPU time: 35.74 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 685844 KiB

[startup+29.6008 s]
/proc/loadavg: 1.91 1.68 1.63 3/214 1473
/proc/meminfo: memFree=28991360/32770624 swapFree=67108860/67108860
[pid=1456] ppid=1453 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/1456/stat : 1456 (xcsp3-exec) S 1453 1456 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 65389392 9740288 344 18446744073709551615 4194304 5098028 140735786335472 140735786333576 140363737293436 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 36368384 140735786336633 140735786336837 140735786336837 140735786340331 0
/proc/1456/statm: 2378 344 289 221 0 87 0
[pid=1458] ppid=1456 vsize=13980732 memory=684488 CPUtime=36.54 cores=1,3,5,7
/proc/1458/stat : 1458 (java) S 1456 1456 11586 0 -1 1077944320 39471 0 0 0 3620 34 0 0 20 0 15 0 65389401 14316269568 171122 18446744073709551615 4194304 4196468 140733559848928 140733559831472 139912205676279 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
/proc/1458/statm: 3495183 171122 3236 1 0 3483476 0
[pid=1458/tid=1459] ppid=1456 vsize=13980732 memory=33 CPUtime=29.27 cores=1,3,5,7
/proc/1458/task/1459/stat : 1459 (java) R 1456 1456 11586 0 -1 4202560 12303 0 0 0 2917 10 0 0 20 0 15 0 65389401 14316269568 171122 18446744073709551615 4194304 4196468 140733559848928 139912209912944 139911805516510 0 4 1 16800974 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1460] ppid=1456 vsize=13980732 memory=7228952860419057216 CPUtime=0.12 cores=1,3,5,7
/proc/1458/task/1460/stat : 1460 (java) S 1456 1456 11586 0 -1 1077944384 319 0 0 0 8 4 0 0 20 0 15 0 65389402 14316269568 171122 18446744073709551615 4194304 4196468 140733559848928 139912125090704 139912205686485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1461] ppid=1456 vsize=13980732 memory=5788630088553161816 CPUtime=0.12 cores=1,3,5,7
/proc/1458/task/1461/stat : 1461 (java) S 1456 1456 11586 0 -1 1077944384 1650 0 0 0 7 5 0 0 20 0 15 0 65389402 14316269568 171122 18446744073709551615 4194304 4196468 140733559848928 139912124037904 139912205686485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1462] ppid=1456 vsize=13980732 memory=7680170660397595203 CPUtime=0.12 cores=1,3,5,7
/proc/1458/task/1462/stat : 1462 (java) S 1456 1456 11586 0 -1 1077944384 805 0 0 0 8 4 0 0 20 0 15 0 65389402 14316269568 171122 18446744073709551615 4194304 4196468 140733559848928 139912122985616 139912205686485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1463] ppid=1456 vsize=13980732 memory=1296 CPUtime=0.11 cores=1,3,5,7
/proc/1458/task/1463/stat : 1463 (java) S 1456 1456 11586 0 -1 1077944384 1555 0 0 0 7 4 0 0 20 0 15 0 65389402 14316269568 171122 18446744073709551615 4194304 4196468 140733559848928 139912121932816 139912205686485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1464] ppid=1456 vsize=13980732 memory=1728 CPUtime=0.01 cores=1,3,5,7
/proc/1458/task/1464/stat : 1464 (java) S 1456 1456 11586 0 -1 1077944384 1124 0 0 0 1 0 0 0 20 0 15 0 65389403 14316269568 171122 18446744073709551615 4194304 4196468 140733559848928 139911683881072 139912205687426 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1465] ppid=1456 vsize=13980732 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1465/stat : 1465 (java) S 1456 1456 11586 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 65389403 14316269568 171122 18446744073709551615 4194304 4196468 140733559848928 139911682827104 139912205686485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1466] ppid=1456 vsize=13980732 memory=1996 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1466/stat : 1466 (java) S 1456 1456 11586 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 65389404 14316269568 171122 18446744073709551615 4194304 4196468 140733559848928 139911681774720 139912205686485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1467] ppid=1456 vsize=13980732 memory=796 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1467/stat : 1467 (java) S 1456 1456 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65389406 14316269568 171122 18446744073709551615 4194304 4196468 140733559848928 139911680723024 139912205694875 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1468] ppid=1456 vsize=13980732 memory=9992 CPUtime=3.04 cores=1,3,5,7
/proc/1458/task/1468/stat : 1468 (java) S 1456 1456 11586 0 -1 1077944384 7599 0 0 0 303 1 0 0 20 0 15 0 65389406 14316269568 171122 18446744073709551615 4194304 4196468 140733559848928 139911679670896 139912205687426 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1469] ppid=1456 vsize=13980732 memory=1716 CPUtime=2.79 cores=1,3,5,7
/proc/1458/task/1469/stat : 1469 (java) S 1456 1456 11586 0 -1 1077944384 7060 0 0 0 279 0 0 0 20 0 15 0 65389406 14316269568 171122 18446744073709551615 4194304 4196468 140733559848928 139911678618096 139912205687426 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1470] ppid=1456 vsize=13980732 memory=1008 CPUtime=0.85 cores=1,3,5,7
/proc/1458/task/1470/stat : 1470 (java) S 1456 1456 11586 0 -1 1077944384 5379 0 0 0 84 1 0 0 20 0 15 0 65389406 14316269568 171122 18446744073709551615 4194304 4196468 140733559848928 139911677565808 139912205687426 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1471] ppid=1456 vsize=13980732 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1471/stat : 1471 (java) S 1456 1456 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65389406 14316269568 171122 18446744073709551615 4194304 4196468 140733559848928 139911676513248 139912205686485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1472] ppid=1456 vsize=13980732 memory=8956 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1472/stat : 1472 (java) S 1456 1456 11586 0 -1 1077944384 330 0 0 0 0 0 0 0 20 0 15 0 65389413 14316269568 171122 18446744073709551615 4194304 4196468 140733559848928 139911675460016 139912205687426 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
Current children cumulated CPU time: 36.54 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 685864 KiB

[startup+30.4008 s]
/proc/loadavg: 1.91 1.68 1.63 3/214 1497
/proc/meminfo: memFree=28988776/32770624 swapFree=67108860/67108860
[pid=1456] ppid=1453 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/1456/stat : 1456 (xcsp3-exec) S 1453 1456 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 65389392 9740288 344 18446744073709551615 4194304 5098028 140735786335472 140735786333576 140363737293436 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 36368384 140735786336633 140735786336837 140735786336837 140735786340331 0
/proc/1456/statm: 2378 344 289 221 0 87 0
[pid=1458] ppid=1456 vsize=13980732 memory=684488 CPUtime=37.34 cores=1,3,5,7
/proc/1458/stat : 1458 (java) S 1456 1456 11586 0 -1 1077944320 39487 0 0 0 3700 34 0 0 20 0 15 0 65389401 14316269568 171122 18446744073709551615 4194304 4196468 140733559848928 140733559831472 139912205676279 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
/proc/1458/statm: 3495183 171122 3236 1 0 3483476 0
[pid=1458/tid=1459] ppid=1456 vsize=13980732 memory=2384 CPUtime=30.07 cores=1,3,5,7
/proc/1458/task/1459/stat : 1459 (java) R 1456 1456 11586 0 -1 4202560 12311 0 0 0 2997 10 0 0 20 0 15 0 65389401 14316269568 171122 18446744073709551615 4194304 4196468 140733559848928 139912209912832 139911804851815 0 4 1 16800974 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1460] ppid=1456 vsize=13980732 memory=684488 CPUtime=0.12 cores=1,3,5,7
/proc/1458/task/1460/stat : 1460 (java) S 1456 1456 11586 0 -1 1077944384 319 0 0 0 8 4 0 0 20 0 15 0 65389402 14316269568 171122 18446744073709551615 4194304 4196468 140733559848928 139912125090704 139912205686485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1461] ppid=1456 vsize=13980732 memory=1204 CPUtime=0.12 cores=1,3,5,7
/proc/1458/task/1461/stat : 1461 (java) S 1456 1456 11586 0 -1 1077944384 1650 0 0 0 7 5 0 0 20 0 15 0 65389402 14316269568 171122 18446744073709551615 4194304 4196468 140733559848928 139912124037904 139912205686485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1462] ppid=1456 vsize=13980732 memory=15880 CPUtime=0.12 cores=1,3,5,7
/proc/1458/task/1462/stat : 1462 (java) S 1456 1456 11586 0 -1 1077944384 805 0 0 0 8 4 0 0 20 0 15 0 65389402 14316269568 171122 18446744073709551615 4194304 4196468 140733559848928 139912122985616 139912205686485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1463] ppid=1456 vsize=13980732 memory=16240 CPUtime=0.11 cores=1,3,5,7
/proc/1458/task/1463/stat : 1463 (java) S 1456 1456 11586 0 -1 1077944384 1555 0 0 0 7 4 0 0 20 0 15 0 65389402 14316269568 171122 18446744073709551615 4194304 4196468 140733559848928 139912121932816 139912205686485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1464] ppid=1456 vsize=13980732 memory=1376 CPUtime=0.01 cores=1,3,5,7
/proc/1458/task/1464/stat : 1464 (java) S 1456 1456 11586 0 -1 1077944384 1124 0 0 0 1 0 0 0 20 0 15 0 65389403 14316269568 171122 18446744073709551615 4194304 4196468 140733559848928 139911683881072 139912205687426 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1465] ppid=1456 vsize=13980732 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1465/stat : 1465 (java) S 1456 1456 11586 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 65389403 14316269568 171122 18446744073709551615 4194304 4196468 140733559848928 139911682827104 139912205686485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1466] ppid=1456 vsize=13980732 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1466/stat : 1466 (java) S 1456 1456 11586 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 65389404 14316269568 171122 18446744073709551615 4194304 4196468 140733559848928 139911681774720 139912205686485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1467] ppid=1456 vsize=13980732 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1467/stat : 1467 (java) S 1456 1456 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65389406 14316269568 171122 18446744073709551615 4194304 4196468 140733559848928 139911680723024 139912205694875 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1468] ppid=1456 vsize=13980732 memory=1996 CPUtime=3.04 cores=1,3,5,7
/proc/1458/task/1468/stat : 1468 (java) S 1456 1456 11586 0 -1 1077944384 7599 0 0 0 303 1 0 0 20 0 15 0 65389406 14316269568 171122 18446744073709551615 4194304 4196468 140733559848928 139911679670896 139912205687426 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1469] ppid=1456 vsize=13980732 memory=796 CPUtime=2.79 cores=1,3,5,7
/proc/1458/task/1469/stat : 1469 (java) S 1456 1456 11586 0 -1 1077944384 7060 0 0 0 279 0 0 0 20 0 15 0 65389406 14316269568 171122 18446744073709551615 4194304 4196468 140733559848928 139911678618096 139912205687426 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1470] ppid=1456 vsize=13980732 memory=9992 CPUtime=0.85 cores=1,3,5,7
/proc/1458/task/1470/stat : 1470 (java) S 1456 1456 11586 0 -1 1077944384 5379 0 0 0 84 1 0 0 20 0 15 0 65389406 14316269568 171122 18446744073709551615 4194304 4196468 140733559848928 139911677565808 139912205687426 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1471] ppid=1456 vsize=13980732 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1471/stat : 1471 (java) S 1456 1456 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65389406 14316269568 171122 18446744073709551615 4194304 4196468 140733559848928 139911676513248 139912205686485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1472] ppid=1456 vsize=13980732 memory=1008 CPUtime=0.01 cores=1,3,5,7
/proc/1458/task/1472/stat : 1472 (java) S 1456 1456 11586 0 -1 1077944384 338 0 0 0 0 1 0 0 20 0 15 0 65389413 14316269568 171122 18446744073709551615 4194304 4196468 140733559848928 139911675460016 139912205687426 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
Current children cumulated CPU time: 37.34 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 685864 KiB

[startup+30.6008 s]
/proc/loadavg: 1.91 1.68 1.63 3/214 1497
/proc/meminfo: memFree=28988776/32770624 swapFree=67108860/67108860
[pid=1456] ppid=1453 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/1456/stat : 1456 (xcsp3-exec) S 1453 1456 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 65389392 9740288 344 18446744073709551615 4194304 5098028 140735786335472 140735786333576 140363737293436 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 36368384 140735786336633 140735786336837 140735786336837 140735786340331 0
/proc/1456/statm: 2378 344 289 221 0 87 0
[pid=1458] ppid=1456 vsize=13980732 memory=684488 CPUtime=37.55 cores=1,3,5,7
/proc/1458/stat : 1458 (java) S 1456 1456 11586 0 -1 1077944320 39520 0 0 0 3721 34 0 0 20 0 15 0 65389401 14316269568 171122 18446744073709551615 4194304 4196468 140733559848928 140733559831472 139912205676279 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
/proc/1458/statm: 3495183 171122 3236 1 0 3483476 0
[pid=1458/tid=1459] ppid=1456 vsize=13980732 memory=4616 CPUtime=30.27 cores=1,3,5,7
/proc/1458/task/1459/stat : 1459 (java) R 1456 1456 11586 0 -1 4202560 12319 0 0 0 3017 10 0 0 20 0 15 0 65389401 14316269568 171122 18446744073709551615 4194304 4196468 140733559848928 139912209912832 139911805516646 0 4 1 16800974 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1460] ppid=1456 vsize=13980732 memory=7680170660397595203 CPUtime=0.12 cores=1,3,5,7
/proc/1458/task/1460/stat : 1460 (java) S 1456 1456 11586 0 -1 1077944384 319 0 0 0 8 4 0 0 20 0 15 0 65389402 14316269568 171122 18446744073709551615 4194304 4196468 140733559848928 139912125090704 139912205686485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1461] ppid=1456 vsize=13980732 memory=4080 CPUtime=0.12 cores=1,3,5,7
/proc/1458/task/1461/stat : 1461 (java) S 1456 1456 11586 0 -1 1077944384 1650 0 0 0 7 5 0 0 20 0 15 0 65389402 14316269568 171122 18446744073709551615 4194304 4196468 140733559848928 139912124037904 139912205686485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1462] ppid=1456 vsize=13980732 memory=4584 CPUtime=0.12 cores=1,3,5,7
/proc/1458/task/1462/stat : 1462 (java) S 1456 1456 11586 0 -1 1077944384 805 0 0 0 8 4 0 0 20 0 15 0 65389402 14316269568 171122 18446744073709551615 4194304 4196468 140733559848928 139912122985616 139912205686485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1463] ppid=1456 vsize=13980732 memory=1152 CPUtime=0.11 cores=1,3,5,7
/proc/1458/task/1463/stat : 1463 (java) S 1456 1456 11586 0 -1 1077944384 1555 0 0 0 7 4 0 0 20 0 15 0 65389402 14316269568 171122 18446744073709551615 4194304 4196468 140733559848928 139912121932816 139912205686485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1464] ppid=1456 vsize=13980732 memory=2768 CPUtime=0.01 cores=1,3,5,7
/proc/1458/task/1464/stat : 1464 (java) S 1456 1456 11586 0 -1 1077944384 1124 0 0 0 1 0 0 0 20 0 15 0 65389403 14316269568 171122 18446744073709551615 4194304 4196468 140733559848928 139911683881072 139912205687426 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1465] ppid=1456 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1465/stat : 1465 (java) S 1456 1456 11586 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 65389403 14316269568 171122 18446744073709551615 4194304 4196468 140733559848928 139911682827104 139912205686485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1466] ppid=1456 vsize=13980732 memory=684468 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1466/stat : 1466 (java) S 1456 1456 11586 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 65389404 14316269568 171122 18446744073709551615 4194304 4196468 140733559848928 139911681774720 139912205686485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1467] ppid=1456 vsize=13980732 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1467/stat : 1467 (java) S 1456 1456 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65389406 14316269568 171122 18446744073709551615 4194304 4196468 140733559848928 139911680723024 139912205694875 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1468] ppid=1456 vsize=13980732 memory=2244 CPUtime=3.04 cores=1,3,5,7
/proc/1458/task/1468/stat : 1468 (java) S 1456 1456 11586 0 -1 1077944384 7624 0 0 0 303 1 0 0 20 0 15 0 65389406 14316269568 171122 18446744073709551615 4194304 4196468 140733559848928 139911679670896 139912205687426 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1469] ppid=1456 vsize=13980732 memory=1440 CPUtime=2.79 cores=1,3,5,7
/proc/1458/task/1469/stat : 1469 (java) S 1456 1456 11586 0 -1 1077944384 7060 0 0 0 279 0 0 0 20 0 15 0 65389406 14316269568 171122 18446744073709551615 4194304 4196468 140733559848928 139911678618096 139912205687426 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1470] ppid=1456 vsize=13980732 memory=1204 CPUtime=0.85 cores=1,3,5,7
/proc/1458/task/1470/stat : 1470 (java) S 1456 1456 11586 0 -1 1077944384 5379 0 0 0 84 1 0 0 20 0 15 0 65389406 14316269568 171122 18446744073709551615 4194304 4196468 140733559848928 139911677565808 139912205687426 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1471] ppid=1456 vsize=13980732 memory=15880 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1471/stat : 1471 (java) S 1456 1456 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65389406 14316269568 171122 18446744073709551615 4194304 4196468 140733559848928 139911676513248 139912205686485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
[pid=1458/tid=1472] ppid=1456 vsize=13980732 memory=16240 CPUtime=0.01 cores=1,3,5,7
/proc/1458/task/1472/stat : 1472 (java) S 1456 1456 11586 0 -1 1077944384 338 0 0 0 0 1 0 0 20 0 15 0 65389413 14316269568 171122 18446744073709551615 4194304 4196468 140733559848928 139911675460016 139912205687426 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11644928 140733559857585 140733559857761 140733559857761 140733559861199 0
Current children cumulated CPU time: 37.55 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 685864 KiB

Child status: 0
Real time (s): 30.6921
CPU time (s): 37.7252
CPU user time (s): 37.3691
CPU system time (s): 0.356016
CPU usage (%): 122.915
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 685864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 37.3691
system time used= 0.356016
maximum resident set size= 685532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41486
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= 3493
involuntary context switches= 53


# summary of solver processes directly reported to runsolver:
#   pid: 1456
#   total CPU time (s): 37.7252
#   total CPU user time (s): 37.3691
#   total CPU system time (s): 0.356016

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.237501 second user time and 0.31489 second system time

The end

Begin job on node124 at 2017-08-15 06:00:31
IDJOB=4269433
IDBENCH=125571
IDSOLVER=2660
FILE ID=node124/4269433-1502770487
RUNJOBID= node124-1502673801-14690
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= choco-solver 4.0.5 seq
BENCH NAME= XCSP17/DeBruijnSequence/DeBruijnSequence-m1-s1/DeBruijnSequence-03-06.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4269433-1502770487/watcher-4269433-1502770487 -o /tmp/evaluation-result-4269433-1502770487/solver-4269433-1502770487 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502673801-14690 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 941172023 HOME/instance-4269433-1502770487.xml

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

MD5SUM BENCH= a0d270dd535955910725fddfcfa0cde8
RANDOM SEED=941172023

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        29668276 kB
MemAvailable:   30071536 kB
Buffers:          232284 kB
Cached:           458520 kB
SwapCached:            0 kB
Active:          2369660 kB
Inactive:         279920 kB
Active(anon):    1910428 kB
Inactive(anon):    81952 kB
Active(file):     459232 kB
Inactive(file):   197968 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8412 kB
Writeback:             4 kB
AnonPages:       1958204 kB
Mapped:            60056 kB
Shmem:             33512 kB
Slab:             150328 kB
SReclaimable:     123792 kB
SUnreclaim:        26536 kB
KernelStack:        3488 kB
PageTables:         9096 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2525904 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1871872 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 62016 MiB
End job on node124 at 2017-08-15 06:01:02