0.00/0.09	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4282183-1503122844.xml"  -tl '2520s' -p 1 -x 0
0.07/0.29	c [HOME/instance-4282183-1503122844.xml, -tl, 2520s, -p, 1, -x, 0]
0.25/0.34	c simple solver
0.25/0.41	c parse instance...
3.85/1.54	c solve instance...
38.24/31.53	s SATISFIABLE
38.24/31.53	v <instantiation>
38.24/31.53	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>
38.24/31.53	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>
38.24/31.53	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 (15298 MiB free)
  memory of node 1: 16384 MiB (15571 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282183-1503122844/watcher-4282183-1503122844 -o /tmp/evaluation-result-4282183-1503122844/solver-4282183-1503122844 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node131-1503095854-18172 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 2084985249 HOME/instance-4282183-1503122844.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=23943, runsolver pid=23940
Current StackSize limit: 8192 KiB


[startup+0.100127 s]*
/proc/loadavg: 1.90 1.73 1.76 3/198 23945
/proc/meminfo: memFree=31609712/32770624 swapFree=67108860/67108860
[pid=23943] ppid=23940 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23943/stat : 23943 (xcsp3-exec) S 23940 23943 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 10691451 9740288 345 18446744073709551615 4194304 5098028 140722280938864 140722280936968 139850748482172 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 35565568 140722280943993 140722280944198 140722280944198 140722280947691 0
/proc/23943/statm: 2378 345 289 221 0 87 0
[pid=23945] ppid=23943 vsize=13356504 memory=10920 CPUtime=0 cores=1,3,5,7
/proc/23945/stat : 23945 (java) S 23943 23943 18108 0 -1 1077944320 2475 0 0 0 0 0 0 0 20 0 6 0 10691460 13677060096 2730 18446744073709551615 4194304 4196468 140721294744336 140721294726880 140091246771959 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
/proc/23945/statm: 3339126 2730 1261 1 0 3329096 0
[pid=23945/tid=23946] ppid=23943 vsize=13356504 memory=-8713483618642721886 CPUtime=0 cores=1,3,5,7
/proc/23945/task/23946/stat : 23946 (java) R 23943 23943 18108 0 -1 4202560 1235 0 0 0 0 0 0 0 20 0 6 0 10691461 13677060096 2730 18446744073709551615 4194304 4196468 140721294744336 140091251012936 140091232682176 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23947] ppid=23943 vsize=13356504 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23945/task/23947/stat : 23947 (java) S 23943 23943 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 10691461 13677060096 2730 18446744073709551615 4194304 4196468 140721294744336 140091166186512 140091246782165 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23948] ppid=23943 vsize=13356504 memory=140319218869888 CPUtime=0 cores=1,3,5,7
/proc/23945/task/23948/stat : 23948 (java) S 23943 23943 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 10691461 13677060096 2730 18446744073709551615 4194304 4196468 140721294744336 140091165133968 140091246782165 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23949] ppid=23943 vsize=13356504 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23945/task/23949/stat : 23949 (java) S 23943 23943 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 10691461 13677060096 2730 18446744073709551615 4194304 4196468 140721294744336 140091164080912 140091246782165 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23950] ppid=23943 vsize=13356504 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23945/task/23950/stat : 23950 (java) S 23943 23943 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 10691461 13677060096 2730 18446744073709551615 4194304 4196468 140721294744336 140090844113808 140091246782165 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13366016 KiB
Current children cumulated memory: 12300 KiB

[startup+0.212359 s]*
/proc/loadavg: 1.90 1.73 1.76 3/212 23959
/proc/meminfo: memFree=31598696/32770624 swapFree=67108860/67108860
[pid=23943] ppid=23940 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23943/stat : 23943 (xcsp3-exec) S 23940 23943 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 10691451 9740288 345 18446744073709551615 4194304 5098028 140722280938864 140722280936968 139850748482172 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 35565568 140722280943993 140722280944198 140722280944198 140722280947691 0
/proc/23943/statm: 2378 345 289 221 0 87 0
[pid=23945] ppid=23943 vsize=13974352 memory=24536 CPUtime=0.07 cores=1,3,5,7
/proc/23945/stat : 23945 (java) S 23943 23943 18108 0 -1 1077944320 5085 0 0 0 6 1 0 0 20 0 15 0 10691460 14309736448 6134 18446744073709551615 4194304 4196468 140721294744336 140721294726880 140091246771959 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
/proc/23945/statm: 3493588 6134 2716 1 0 3482964 0
[pid=23945/tid=23946] ppid=23943 vsize=13974352 memory=-6871798056524144002 CPUtime=0.05 cores=1,3,5,7
/proc/23945/task/23946/stat : 23946 (java) R 23943 23943 18108 0 -1 4202560 3240 0 0 0 5 0 0 0 20 0 15 0 10691461 14309736448 6134 18446744073709551615 4194304 4196468 140721294744336 140091250997648 140091246793885 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23947] ppid=23943 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23945/task/23947/stat : 23947 (java) S 23943 23943 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10691461 14309736448 6134 18446744073709551615 4194304 4196468 140721294744336 140091166186512 140091246782165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23948] ppid=23943 vsize=13974352 memory=140319218869888 CPUtime=0 cores=1,3,5,7
/proc/23945/task/23948/stat : 23948 (java) S 23943 23943 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10691461 14309736448 6134 18446744073709551615 4194304 4196468 140721294744336 140091165133968 140091246782165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23949] ppid=23943 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23945/task/23949/stat : 23949 (java) S 23943 23943 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10691461 14309736448 6134 18446744073709551615 4194304 4196468 140721294744336 140091164080912 140091246782165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23950] ppid=23943 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23945/task/23950/stat : 23950 (java) S 23943 23943 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10691461 14309736448 6134 18446744073709551615 4194304 4196468 140721294744336 140090844113808 140091246782165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23951] ppid=23943 vsize=13974352 memory=140319218869888 CPUtime=0 cores=1,3,5,7
/proc/23945/task/23951/stat : 23951 (java) S 23943 23943 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10691463 14309736448 6134 18446744073709551615 4194304 4196468 140721294744336 140090725066992 140091246783106 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23952] ppid=23943 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23945/task/23952/stat : 23952 (java) S 23943 23943 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10691463 14309736448 6134 18446744073709551615 4194304 4196468 140721294744336 140090724013216 140091246782165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23953] ppid=23943 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23945/task/23953/stat : 23953 (java) S 23943 23943 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10691463 14309736448 6134 18446744073709551615 4194304 4196468 140721294744336 140090722960112 140091246782165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23954] ppid=23943 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23945/task/23954/stat : 23954 (java) S 23943 23943 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10691466 14309736448 6134 18446744073709551615 4194304 4196468 140721294744336 140090721908688 140091246790555 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23955] ppid=23943 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23945/task/23955/stat : 23955 (java) S 23943 23943 18108 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 10691466 14309736448 6134 18446744073709551615 4194304 4196468 140721294744336 140090720856816 140091246783106 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23956] ppid=23943 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23945/task/23956/stat : 23956 (java) S 23943 23943 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10691466 14309736448 6134 18446744073709551615 4194304 4196468 140721294744336 140090719804272 140091246783106 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23957] ppid=23943 vsize=13974352 memory=140319218869888 CPUtime=0 cores=1,3,5,7
/proc/23945/task/23957/stat : 23957 (java) S 23943 23943 18108 0 -1 1077944384 228 0 0 0 0 0 0 0 20 0 15 0 10691466 14309736448 6134 18446744073709551615 4194304 4196468 140721294744336 140090718751216 140091246783106 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23958] ppid=23943 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23945/task/23958/stat : 23958 (java) S 23943 23943 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10691466 14309736448 6134 18446744073709551615 4194304 4196468 140721294744336 140090717698912 140091246782165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23959] ppid=23943 vsize=13974352 memory=140319218869888 CPUtime=0 cores=1,3,5,7
/proc/23945/task/23959/stat : 23959 (java) S 23943 23943 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10691471 14309736448 6134 18446744073709551615 4194304 4196468 140721294744336 140090716645936 140091246783106 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 25916 KiB

[startup+0.310104 s]*
/proc/loadavg: 1.90 1.73 1.76 4/212 23959
/proc/meminfo: memFree=31583680/32770624 swapFree=67108860/67108860
[pid=23943] ppid=23940 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23943/stat : 23943 (xcsp3-exec) S 23940 23943 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 10691451 9740288 345 18446744073709551615 4194304 5098028 140722280938864 140722280936968 139850748482172 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 35565568 140722280943993 140722280944198 140722280944198 140722280947691 0
/proc/23943/statm: 2378 345 289 221 0 87 0
[pid=23945] ppid=23943 vsize=13974352 memory=36620 CPUtime=0.25 cores=1,3,5,7
/proc/23945/stat : 23945 (java) S 23943 23943 18108 0 -1 1077944320 8791 0 0 0 23 2 0 0 20 0 15 0 10691460 14309736448 9155 18446744073709551615 4194304 4196468 140721294744336 140721294726880 140091246771959 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
/proc/23945/statm: 3493588 9155 2974 1 0 3482964 0
[pid=23945/tid=23946] ppid=23943 vsize=13974352 memory=-8774313645642428999 CPUtime=0.15 cores=1,3,5,7
/proc/23945/task/23946/stat : 23946 (java) R 23943 23943 18108 0 -1 4202560 6017 0 0 0 14 1 0 0 20 0 15 0 10691461 14309736448 9155 18446744073709551615 4194304 4196468 140721294744336 140091250993488 140091230852446 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23947] ppid=23943 vsize=13974352 memory=140319218876881 CPUtime=0 cores=1,3,5,7
/proc/23945/task/23947/stat : 23947 (java) S 23943 23943 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10691461 14309736448 9155 18446744073709551615 4194304 4196468 140721294744336 140091166186512 140091246782165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23948] ppid=23943 vsize=13974352 memory=7523333994695126377 CPUtime=0 cores=1,3,5,7
/proc/23945/task/23948/stat : 23948 (java) S 23943 23943 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10691461 14309736448 9155 18446744073709551615 4194304 4196468 140721294744336 140091165133968 140091246782165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23949] ppid=23943 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23945/task/23949/stat : 23949 (java) S 23943 23943 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10691461 14309736448 9155 18446744073709551615 4194304 4196468 140721294744336 140091164080912 140091246782165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23950] ppid=23943 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23945/task/23950/stat : 23950 (java) S 23943 23943 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10691461 14309736448 9155 18446744073709551615 4194304 4196468 140721294744336 140090844113808 140091246782165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23951] ppid=23943 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23945/task/23951/stat : 23951 (java) S 23943 23943 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10691463 14309736448 9155 18446744073709551615 4194304 4196468 140721294744336 140090725066992 140091246783106 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23952] ppid=23943 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23945/task/23952/stat : 23952 (java) S 23943 23943 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10691463 14309736448 9155 18446744073709551615 4194304 4196468 140721294744336 140090724013216 140091246782165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23953] ppid=23943 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23945/task/23953/stat : 23953 (java) S 23943 23943 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10691463 14309736448 9155 18446744073709551615 4194304 4196468 140721294744336 140090722960112 140091246782165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23954] ppid=23943 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23945/task/23954/stat : 23954 (java) S 23943 23943 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10691466 14309736448 9155 18446744073709551615 4194304 4196468 140721294744336 140090721908688 140091246790555 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23955] ppid=23943 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/23945/task/23955/stat : 23955 (java) S 23943 23943 18108 0 -1 1077944384 658 0 0 0 1 0 0 0 20 0 15 0 10691466 14309736448 9155 18446744073709551615 4194304 4196468 140721294744336 140090720856816 140091246783106 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23956] ppid=23943 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23945/task/23956/stat : 23956 (java) S 23943 23943 18108 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 15 0 10691466 14309736448 9155 18446744073709551615 4194304 4196468 140721294744336 140090719804272 140091246783106 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23957] ppid=23943 vsize=13974352 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/23945/task/23957/stat : 23957 (java) S 23943 23943 18108 0 -1 1077944384 725 0 0 0 5 0 0 0 20 0 15 0 10691466 14309736448 9155 18446744073709551615 4194304 4196468 140721294744336 140090718751216 140091246783106 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23958] ppid=23943 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23945/task/23958/stat : 23958 (java) S 23943 23943 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10691466 14309736448 9155 18446744073709551615 4194304 4196468 140721294744336 140090717698912 140091246782165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23959] ppid=23943 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23945/task/23959/stat : 23959 (java) S 23943 23943 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10691471 14309736448 9155 18446744073709551615 4194304 4196468 140721294744336 140090716645936 140091246783106 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38000 KiB

[startup+0.701038 s]
/proc/loadavg: 1.90 1.73 1.76 5/212 23959
/proc/meminfo: memFree=31566192/32770624 swapFree=67108860/67108860
[pid=23943] ppid=23940 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23943/stat : 23943 (xcsp3-exec) S 23940 23943 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 10691451 9740288 345 18446744073709551615 4194304 5098028 140722280938864 140722280936968 139850748482172 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 35565568 140722280943993 140722280944198 140722280944198 140722280947691 0
/proc/23943/statm: 2378 345 289 221 0 87 0
[pid=23945] ppid=23943 vsize=13978684 memory=74772 CPUtime=1.29 cores=1,3,5,7
/proc/23945/stat : 23945 (java) S 23943 23943 18108 0 -1 1077944320 13381 0 0 0 125 4 0 0 20 0 15 0 10691460 14314172416 18693 18446744073709551615 4194304 4196468 140721294744336 140721294726880 140091246771959 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
/proc/23945/statm: 3494671 18693 3155 1 0 3482964 0
[pid=23945/tid=23946] ppid=23943 vsize=13978684 memory=7813587196152198965 CPUtime=0.53 cores=1,3,5,7
/proc/23945/task/23946/stat : 23946 (java) R 23943 23943 18108 0 -1 1077944384 7878 0 0 0 50 3 0 0 20 0 15 0 10691461 14314172416 18693 18446744073709551615 4194304 4196468 140721294744336 140091251008400 140091246782165 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23947] ppid=23943 vsize=13978684 memory=5787220505754035008 CPUtime=0 cores=1,3,5,7
/proc/23945/task/23947/stat : 23947 (java) S 23943 23943 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10691461 14314172416 18693 18446744073709551615 4194304 4196468 140721294744336 140091166186512 140091246782165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23948] ppid=23943 vsize=13978684 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/23945/task/23948/stat : 23948 (java) S 23943 23943 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10691461 14314172416 18693 18446744073709551615 4194304 4196468 140721294744336 140091165133968 140091246782165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23949] ppid=23943 vsize=13978684 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/23945/task/23949/stat : 23949 (java) S 23943 23943 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10691461 14314172416 18693 18446744073709551615 4194304 4196468 140721294744336 140091164080912 140091246782165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23950] ppid=23943 vsize=13978684 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/23945/task/23950/stat : 23950 (java) S 23943 23943 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10691461 14314172416 18693 18446744073709551615 4194304 4196468 140721294744336 140090844113808 140091246782165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23951] ppid=23943 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23945/task/23951/stat : 23951 (java) S 23943 23943 18108 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 10691463 14314172416 18693 18446744073709551615 4194304 4196468 140721294744336 140090725066992 140091246783106 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23952] ppid=23943 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23945/task/23952/stat : 23952 (java) S 23943 23943 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10691463 14314172416 18693 18446744073709551615 4194304 4196468 140721294744336 140090724013216 140091246782165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23953] ppid=23943 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23945/task/23953/stat : 23953 (java) S 23943 23943 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10691463 14314172416 18693 18446744073709551615 4194304 4196468 140721294744336 140090722960112 140091246782165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23954] ppid=23943 vsize=13978684 memory=30305 CPUtime=0 cores=1,3,5,7
/proc/23945/task/23954/stat : 23954 (java) S 23943 23943 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10691466 14314172416 18693 18446744073709551615 4194304 4196468 140721294744336 140090721908688 140091246790555 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23955] ppid=23943 vsize=13978684 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/23945/task/23955/stat : 23955 (java) R 23943 23943 18108 0 -1 4202560 1353 0 0 0 21 0 0 0 20 0 15 0 10691466 14314172416 18693 18446744073709551615 4194304 4196468 140721294744336 140090720856944 140091231897840 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23956] ppid=23943 vsize=13978684 memory=-3967418655009478193 CPUtime=0.22 cores=1,3,5,7
/proc/23945/task/23956/stat : 23956 (java) R 23943 23943 18108 0 -1 4202560 1295 0 0 0 22 0 0 0 20 0 15 0 10691466 14314172416 18693 18446744073709551615 4194304 4196468 140721294744336 140090719790496 140091231879415 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23957] ppid=23943 vsize=13978684 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/23945/task/23957/stat : 23957 (java) R 23943 23943 18108 0 -1 4202560 1547 0 0 0 30 0 0 0 20 0 15 0 10691466 14314172416 18693 18446744073709551615 4194304 4196468 140721294744336 140090718751216 140091226697150 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23958] ppid=23943 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23945/task/23958/stat : 23958 (java) S 23943 23943 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10691466 14314172416 18693 18446744073709551615 4194304 4196468 140721294744336 140090717698912 140091246782165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23959] ppid=23943 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23945/task/23959/stat : 23959 (java) S 23943 23943 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10691471 14314172416 18693 18446744073709551615 4194304 4196468 140721294744336 140090716645936 140091246783106 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 76152 KiB

[startup+1.50083 s]
/proc/loadavg: 1.90 1.73 1.76 5/212 23959
/proc/meminfo: memFree=31502340/32770624 swapFree=67108860/67108860
[pid=23943] ppid=23940 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23943/stat : 23943 (xcsp3-exec) S 23940 23943 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 10691451 9740288 345 18446744073709551615 4194304 5098028 140722280938864 140722280936968 139850748482172 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 35565568 140722280943993 140722280944198 140722280944198 140722280947691 0
/proc/23943/statm: 2378 345 289 221 0 87 0
[pid=23945] ppid=23943 vsize=13980732 memory=224664 CPUtime=3.85 cores=1,3,5,7
/proc/23945/stat : 23945 (java) S 23943 23943 18108 0 -1 1077944320 22132 0 0 0 374 11 0 0 20 0 15 0 10691460 14316269568 56166 18446744073709551615 4194304 4196468 140721294744336 140721294726880 140091246771959 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
/proc/23945/statm: 3495183 56166 3225 1 0 3483476 0
[pid=23945/tid=23946] ppid=23943 vsize=13980732 memory=0 CPUtime=1.29 cores=1,3,5,7
/proc/23945/task/23946/stat : 23946 (java) R 23943 23943 18108 0 -1 4202560 9662 0 0 0 125 4 0 0 20 0 15 0 10691461 14316269568 56166 18446744073709551615 4194304 4196468 140721294744336 140091251006384 140090849951123 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23947] ppid=23943 vsize=13980732 memory=4498716170645055337 CPUtime=0.02 cores=1,3,5,7
/proc/23945/task/23947/stat : 23947 (java) S 23943 23943 18108 0 -1 1077944384 268 0 0 0 1 1 0 0 20 0 15 0 10691461 14316269568 56166 18446744073709551615 4194304 4196468 140721294744336 140091166186512 140091246782165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23948] ppid=23943 vsize=13980732 memory=6298127275634944816 CPUtime=0.03 cores=1,3,5,7
/proc/23945/task/23948/stat : 23948 (java) S 23943 23943 18108 0 -1 1077944384 66 0 0 0 2 1 0 0 20 0 15 0 10691461 14316269568 56166 18446744073709551615 4194304 4196468 140721294744336 140091165133968 140091246782165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23949] ppid=23943 vsize=13980732 memory=7161407743589705504 CPUtime=0.02 cores=1,3,5,7
/proc/23945/task/23949/stat : 23949 (java) S 23943 23943 18108 0 -1 1077944384 423 0 0 0 1 1 0 0 20 0 15 0 10691461 14316269568 56166 18446744073709551615 4194304 4196468 140721294744336 140091164080912 140091246782165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23950] ppid=23943 vsize=13980732 memory=4128 CPUtime=0.03 cores=1,3,5,7
/proc/23945/task/23950/stat : 23950 (java) S 23943 23943 18108 0 -1 1077944384 133 0 0 0 2 1 0 0 20 0 15 0 10691461 14316269568 56166 18446744073709551615 4194304 4196468 140721294744336 140090844113808 140091246782165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23951] ppid=23943 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23945/task/23951/stat : 23951 (java) S 23943 23943 18108 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 10691463 14316269568 56166 18446744073709551615 4194304 4196468 140721294744336 140090725066992 140091246783106 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23952] ppid=23943 vsize=13980732 memory=140319064834176 CPUtime=0 cores=1,3,5,7
/proc/23945/task/23952/stat : 23952 (java) S 23943 23943 18108 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 10691463 14316269568 56166 18446744073709551615 4194304 4196468 140721294744336 140090724013216 140091246782165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23953] ppid=23943 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7

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

/proc/23943/stat : 23943 (xcsp3-exec) S 23940 23943 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 10691451 9740288 345 18446744073709551615 4194304 5098028 140722280938864 140722280936968 139850748482172 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 35565568 140722280943993 140722280944198 140722280944198 140722280947691 0
/proc/23943/statm: 2378 345 289 221 0 87 0
[pid=23945] ppid=23943 vsize=13980732 memory=682568 CPUtime=35.63 cores=1,3,5,7
/proc/23945/stat : 23945 (java) S 23943 23943 18108 0 -1 1077944320 35438 0 0 0 3529 34 0 0 20 0 15 0 10691460 14316269568 170642 18446744073709551615 4194304 4196468 140721294744336 140721294726880 140091246771959 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
/proc/23945/statm: 3495183 170642 3244 1 0 3483476 0
[pid=23945/tid=23946] ppid=23943 vsize=13980732 memory=9208 CPUtime=28.52 cores=1,3,5,7
/proc/23945/task/23946/stat : 23946 (java) R 23943 23943 18108 0 -1 4202560 13054 0 0 0 2842 10 0 0 20 0 15 0 10691461 14316269568 170642 18446744073709551615 4194304 4196468 140721294744336 140091251010928 140090851730258 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23947] ppid=23943 vsize=13980732 memory=-8774313645642428999 CPUtime=0.12 cores=1,3,5,7
/proc/23945/task/23947/stat : 23947 (java) S 23943 23943 18108 0 -1 1077944384 456 0 0 0 8 4 0 0 20 0 15 0 10691461 14316269568 170642 18446744073709551615 4194304 4196468 140721294744336 140091166186512 140091246782165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23948] ppid=23943 vsize=13980732 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/23945/task/23948/stat : 23948 (java) S 23943 23943 18108 0 -1 1077944384 235 0 0 0 7 4 0 0 20 0 15 0 10691461 14316269568 170642 18446744073709551615 4194304 4196468 140721294744336 140091165133968 140091246782165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23949] ppid=23943 vsize=13980732 memory=102 CPUtime=0.11 cores=1,3,5,7
/proc/23945/task/23949/stat : 23949 (java) S 23943 23943 18108 0 -1 1077944384 1404 0 0 0 7 4 0 0 20 0 15 0 10691461 14316269568 170642 18446744073709551615 4194304 4196468 140721294744336 140091164080912 140091246782165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23950] ppid=23943 vsize=13980732 memory=19 CPUtime=0.12 cores=1,3,5,7
/proc/23945/task/23950/stat : 23950 (java) S 23943 23943 18108 0 -1 1077944384 673 0 0 0 7 5 0 0 20 0 15 0 10691461 14316269568 170642 18446744073709551615 4194304 4196468 140721294744336 140090844113808 140091246782165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23951] ppid=23943 vsize=13980732 memory=1380 CPUtime=0.01 cores=1,3,5,7
/proc/23945/task/23951/stat : 23951 (java) S 23943 23943 18108 0 -1 1077944384 934 0 0 0 1 0 0 0 20 0 15 0 10691463 14316269568 170642 18446744073709551615 4194304 4196468 140721294744336 140090725066992 140091246783106 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23952] ppid=23943 vsize=13980732 memory=659488 CPUtime=0 cores=1,3,5,7
/proc/23945/task/23952/stat : 23952 (java) S 23943 23943 18108 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 10691463 14316269568 170642 18446744073709551615 4194304 4196468 140721294744336 140090724013280 140091246782165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23953] ppid=23943 vsize=13980732 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/23945/task/23953/stat : 23953 (java) S 23943 23943 18108 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 10691463 14316269568 170642 18446744073709551615 4194304 4196468 140721294744336 140090722960128 140091246782165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23954] ppid=23943 vsize=13980732 memory=4300 CPUtime=0 cores=1,3,5,7
/proc/23945/task/23954/stat : 23954 (java) S 23943 23943 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10691466 14316269568 170642 18446744073709551615 4194304 4196468 140721294744336 140090721908688 140091246790555 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23955] ppid=23943 vsize=13980732 memory=1440 CPUtime=2.81 cores=1,3,5,7
/proc/23945/task/23955/stat : 23955 (java) S 23943 23943 18108 0 -1 1077944384 6763 0 0 0 280 1 0 0 20 0 15 0 10691466 14316269568 170642 18446744073709551615 4194304 4196468 140721294744336 140090720856816 140091246783106 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23956] ppid=23943 vsize=13980732 memory=4616 CPUtime=2.93 cores=1,3,5,7
/proc/23945/task/23956/stat : 23956 (java) S 23943 23943 18108 0 -1 1077944384 5834 0 0 0 292 1 0 0 20 0 15 0 10691466 14316269568 170642 18446744073709551615 4194304 4196468 140721294744336 140090719804272 140091246783106 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23957] ppid=23943 vsize=13980732 memory=1012 CPUtime=0.81 cores=1,3,5,7
/proc/23945/task/23957/stat : 23957 (java) S 23943 23943 18108 0 -1 1077944384 4624 0 0 0 80 1 0 0 20 0 15 0 10691466 14316269568 170642 18446744073709551615 4194304 4196468 140721294744336 140090718751216 140091246783106 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23958] ppid=23943 vsize=13980732 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/23945/task/23958/stat : 23958 (java) S 23943 23943 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10691466 14316269568 170642 18446744073709551615 4194304 4196468 140721294744336 140090717698912 140091246782165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23959] ppid=23943 vsize=13980732 memory=15876 CPUtime=0.01 cores=1,3,5,7
/proc/23945/task/23959/stat : 23959 (java) S 23943 23943 18108 0 -1 1077944384 80 0 0 0 0 1 0 0 20 0 15 0 10691471 14316269568 170642 18446744073709551615 4194304 4196468 140721294744336 140090716645936 140091246783106 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
Current children cumulated CPU time: 35.63 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 683948 KiB

[startup+30.5009 s]
/proc/loadavg: 1.74 1.71 1.75 3/212 23960
/proc/meminfo: memFree=30938724/32770624 swapFree=67108860/67108860
[pid=23943] ppid=23940 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23943/stat : 23943 (xcsp3-exec) S 23940 23943 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 10691451 9740288 345 18446744073709551615 4194304 5098028 140722280938864 140722280936968 139850748482172 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 35565568 140722280943993 140722280944198 140722280944198 140722280947691 0
/proc/23943/statm: 2378 345 289 221 0 87 0
[pid=23945] ppid=23943 vsize=13980732 memory=682600 CPUtime=37.24 cores=1,3,5,7
/proc/23945/stat : 23945 (java) S 23943 23943 18108 0 -1 1077944320 35788 0 0 0 3689 35 0 0 20 0 15 0 10691460 14316269568 170650 18446744073709551615 4194304 4196468 140721294744336 140721294726880 140091246771959 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
/proc/23945/statm: 3495183 170650 3244 1 0 3483476 0
[pid=23945/tid=23946] ppid=23943 vsize=13980732 memory=682568 CPUtime=30.12 cores=1,3,5,7
/proc/23945/task/23946/stat : 23946 (java) R 23943 23943 18108 0 -1 4202560 13098 0 0 0 3002 10 0 0 20 0 15 0 10691461 14316269568 170650 18446744073709551615 4194304 4196468 140721294744336 140091251008624 140090851731406 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23947] ppid=23943 vsize=13980732 memory=3908 CPUtime=0.12 cores=1,3,5,7
/proc/23945/task/23947/stat : 23947 (java) S 23943 23943 18108 0 -1 1077944384 456 0 0 0 8 4 0 0 20 0 15 0 10691461 14316269568 170650 18446744073709551615 4194304 4196468 140721294744336 140091166186512 140091246782165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23948] ppid=23943 vsize=13980732 memory=-8774313645642428999 CPUtime=0.11 cores=1,3,5,7
/proc/23945/task/23948/stat : 23948 (java) S 23943 23943 18108 0 -1 1077944384 235 0 0 0 7 4 0 0 20 0 15 0 10691461 14316269568 170650 18446744073709551615 4194304 4196468 140721294744336 140091165133968 140091246782165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23949] ppid=23943 vsize=13980732 memory=659488 CPUtime=0.11 cores=1,3,5,7
/proc/23945/task/23949/stat : 23949 (java) S 23943 23943 18108 0 -1 1077944384 1404 0 0 0 7 4 0 0 20 0 15 0 10691461 14316269568 170650 18446744073709551615 4194304 4196468 140721294744336 140091164080912 140091246782165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23950] ppid=23943 vsize=13980732 memory=4128 CPUtime=0.12 cores=1,3,5,7
/proc/23945/task/23950/stat : 23950 (java) S 23943 23943 18108 0 -1 1077944384 673 0 0 0 7 5 0 0 20 0 15 0 10691461 14316269568 170650 18446744073709551615 4194304 4196468 140721294744336 140090844113808 140091246782165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23951] ppid=23943 vsize=13980732 memory=9208 CPUtime=0.01 cores=1,3,5,7
/proc/23945/task/23951/stat : 23951 (java) S 23943 23943 18108 0 -1 1077944384 975 0 0 0 1 0 0 0 20 0 15 0 10691463 14316269568 170650 18446744073709551615 4194304 4196468 140721294744336 140090725066992 140091246783106 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23952] ppid=23943 vsize=13980732 memory=10936 CPUtime=0 cores=1,3,5,7
/proc/23945/task/23952/stat : 23952 (java) S 23943 23943 18108 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 10691463 14316269568 170650 18446744073709551615 4194304 4196468 140721294744336 140090724013280 140091246782165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23953] ppid=23943 vsize=13980732 memory=1700 CPUtime=0 cores=1,3,5,7
/proc/23945/task/23953/stat : 23953 (java) S 23943 23943 18108 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 10691463 14316269568 170650 18446744073709551615 4194304 4196468 140721294744336 140090722960128 140091246782165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23954] ppid=23943 vsize=13980732 memory=5408 CPUtime=0 cores=1,3,5,7
/proc/23945/task/23954/stat : 23954 (java) S 23943 23943 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10691466 14316269568 170650 18446744073709551615 4194304 4196468 140721294744336 140090721908688 140091246790555 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23955] ppid=23943 vsize=13980732 memory=8672 CPUtime=2.81 cores=1,3,5,7
/proc/23945/task/23955/stat : 23955 (java) S 23943 23943 18108 0 -1 1077944384 6766 0 0 0 280 1 0 0 20 0 15 0 10691466 14316269568 170650 18446744073709551615 4194304 4196468 140721294744336 140090720856816 140091246783106 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23956] ppid=23943 vsize=13980732 memory=1228 CPUtime=2.93 cores=1,3,5,7
/proc/23945/task/23956/stat : 23956 (java) S 23943 23943 18108 0 -1 1077944384 5837 0 0 0 292 1 0 0 20 0 15 0 10691466 14316269568 170650 18446744073709551615 4194304 4196468 140721294744336 140090719804272 140091246783106 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23957] ppid=23943 vsize=13980732 memory=792 CPUtime=0.81 cores=1,3,5,7
/proc/23945/task/23957/stat : 23957 (java) S 23943 23943 18108 0 -1 1077944384 4797 0 0 0 80 1 0 0 20 0 15 0 10691466 14316269568 170650 18446744073709551615 4194304 4196468 140721294744336 140090718751216 140091246783106 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23958] ppid=23943 vsize=13980732 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/23945/task/23958/stat : 23958 (java) S 23943 23943 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10691466 14316269568 170650 18446744073709551615 4194304 4196468 140721294744336 140090717698912 140091246782165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23959] ppid=23943 vsize=13980732 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/23945/task/23959/stat : 23959 (java) S 23943 23943 18108 0 -1 1077944384 166 0 0 0 0 1 0 0 20 0 15 0 10691471 14316269568 170650 18446744073709551615 4194304 4196468 140721294744336 140090716645936 140091246783106 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
Current children cumulated CPU time: 37.24 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 683980 KiB

[startup+31.3008 s]
/proc/loadavg: 1.74 1.71 1.75 3/212 23960
/proc/meminfo: memFree=30938724/32770624 swapFree=67108860/67108860
[pid=23943] ppid=23940 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23943/stat : 23943 (xcsp3-exec) S 23940 23943 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 10691451 9740288 345 18446744073709551615 4194304 5098028 140722280938864 140722280936968 139850748482172 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 35565568 140722280943993 140722280944198 140722280944198 140722280947691 0
/proc/23943/statm: 2378 345 289 221 0 87 0
[pid=23945] ppid=23943 vsize=13980732 memory=682600 CPUtime=38.04 cores=1,3,5,7
/proc/23945/stat : 23945 (java) S 23943 23943 18108 0 -1 1077944320 35816 0 0 0 3769 35 0 0 20 0 15 0 10691460 14316269568 170650 18446744073709551615 4194304 4196468 140721294744336 140721294726880 140091246771959 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
/proc/23945/statm: 3495183 170650 3244 1 0 3483476 0
[pid=23945/tid=23946] ppid=23943 vsize=13980732 memory=1440 CPUtime=30.92 cores=1,3,5,7
/proc/23945/task/23946/stat : 23946 (java) R 23943 23943 18108 0 -1 4202560 13124 0 0 0 3082 10 0 0 20 0 15 0 10691461 14316269568 170650 18446744073709551615 4194304 4196468 140721294744336 140091251008624 140090851730537 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23947] ppid=23943 vsize=13980732 memory=4616 CPUtime=0.12 cores=1,3,5,7
/proc/23945/task/23947/stat : 23947 (java) S 23943 23943 18108 0 -1 1077944384 456 0 0 0 8 4 0 0 20 0 15 0 10691461 14316269568 170650 18446744073709551615 4194304 4196468 140721294744336 140091166186512 140091246782165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23948] ppid=23943 vsize=13980732 memory=1012 CPUtime=0.11 cores=1,3,5,7
/proc/23945/task/23948/stat : 23948 (java) S 23943 23943 18108 0 -1 1077944384 235 0 0 0 7 4 0 0 20 0 15 0 10691461 14316269568 170650 18446744073709551615 4194304 4196468 140721294744336 140091165133968 140091246782165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23949] ppid=23943 vsize=13980732 memory=1200 CPUtime=0.11 cores=1,3,5,7
/proc/23945/task/23949/stat : 23949 (java) S 23943 23943 18108 0 -1 1077944384 1404 0 0 0 7 4 0 0 20 0 15 0 10691461 14316269568 170650 18446744073709551615 4194304 4196468 140721294744336 140091164080912 140091246782165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23950] ppid=23943 vsize=13980732 memory=15876 CPUtime=0.12 cores=1,3,5,7
/proc/23945/task/23950/stat : 23950 (java) S 23943 23943 18108 0 -1 1077944384 673 0 0 0 7 5 0 0 20 0 15 0 10691461 14316269568 170650 18446744073709551615 4194304 4196468 140721294744336 140090844113808 140091246782165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23951] ppid=23943 vsize=13980732 memory=6264 CPUtime=0.01 cores=1,3,5,7
/proc/23945/task/23951/stat : 23951 (java) S 23943 23943 18108 0 -1 1077944384 975 0 0 0 1 0 0 0 20 0 15 0 10691463 14316269568 170650 18446744073709551615 4194304 4196468 140721294744336 140090725066992 140091246783106 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23952] ppid=23943 vsize=13980732 memory=18488 CPUtime=0 cores=1,3,5,7
/proc/23945/task/23952/stat : 23952 (java) S 23943 23943 18108 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 10691463 14316269568 170650 18446744073709551615 4194304 4196468 140721294744336 140090724013280 140091246782165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23953] ppid=23943 vsize=13980732 memory=4044 CPUtime=0 cores=1,3,5,7
/proc/23945/task/23953/stat : 23953 (java) S 23943 23943 18108 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 10691463 14316269568 170650 18446744073709551615 4194304 4196468 140721294744336 140090722960128 140091246782165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23954] ppid=23943 vsize=13980732 memory=682600 CPUtime=0 cores=1,3,5,7
/proc/23945/task/23954/stat : 23954 (java) S 23943 23943 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10691466 14316269568 170650 18446744073709551615 4194304 4196468 140721294744336 140090721908688 140091246790555 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23955] ppid=23943 vsize=13980732 memory=1380 CPUtime=2.81 cores=1,3,5,7
/proc/23945/task/23955/stat : 23955 (java) S 23943 23943 18108 0 -1 1077944384 6766 0 0 0 280 1 0 0 20 0 15 0 10691466 14316269568 170650 18446744073709551615 4194304 4196468 140721294744336 140090720856816 140091246783106 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23956] ppid=23943 vsize=13980732 memory=1440 CPUtime=2.93 cores=1,3,5,7
/proc/23945/task/23956/stat : 23956 (java) S 23943 23943 18108 0 -1 1077944384 5837 0 0 0 292 1 0 0 20 0 15 0 10691466 14316269568 170650 18446744073709551615 4194304 4196468 140721294744336 140090719804272 140091246783106 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23957] ppid=23943 vsize=13980732 memory=4616 CPUtime=0.81 cores=1,3,5,7
/proc/23945/task/23957/stat : 23957 (java) S 23943 23943 18108 0 -1 1077944384 4797 0 0 0 80 1 0 0 20 0 15 0 10691466 14316269568 170650 18446744073709551615 4194304 4196468 140721294744336 140090718751216 140091246783106 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23958] ppid=23943 vsize=13980732 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/23945/task/23958/stat : 23958 (java) S 23943 23943 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10691466 14316269568 170650 18446744073709551615 4194304 4196468 140721294744336 140090717698912 140091246782165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23959] ppid=23943 vsize=13980732 memory=1200 CPUtime=0.01 cores=1,3,5,7
/proc/23945/task/23959/stat : 23959 (java) S 23943 23943 18108 0 -1 1077944384 168 0 0 0 0 1 0 0 20 0 15 0 10691471 14316269568 170650 18446744073709551615 4194304 4196468 140721294744336 140090716645936 140091246783106 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
Current children cumulated CPU time: 38.04 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 683980 KiB

[startup+31.5008 s]
/proc/loadavg: 1.74 1.71 1.75 3/212 23960
/proc/meminfo: memFree=30938724/32770624 swapFree=67108860/67108860
[pid=23943] ppid=23940 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23943/stat : 23943 (xcsp3-exec) S 23940 23943 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 10691451 9740288 345 18446744073709551615 4194304 5098028 140722280938864 140722280936968 139850748482172 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 35565568 140722280943993 140722280944198 140722280944198 140722280947691 0
/proc/23943/statm: 2378 345 289 221 0 87 0
[pid=23945] ppid=23943 vsize=13980732 memory=682708 CPUtime=38.24 cores=1,3,5,7
/proc/23945/stat : 23945 (java) S 23943 23943 18108 0 -1 1077944320 36220 0 0 0 3789 35 0 0 20 0 15 0 10691460 14316269568 170677 18446744073709551615 4194304 4196468 140721294744336 140721294726880 140091246771959 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
/proc/23945/statm: 3495183 170677 3245 1 0 3483476 0
[pid=23945/tid=23946] ppid=23943 vsize=13980732 memory=18488 CPUtime=31.12 cores=1,3,5,7
/proc/23945/task/23946/stat : 23946 (java) R 23943 23943 18108 0 -1 4202560 13270 0 0 0 3102 10 0 0 20 0 15 0 10691461 14316269568 170677 18446744073709551615 4194304 4196468 140721294744336 140091251008624 140090844227713 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23947] ppid=23943 vsize=13980732 memory=4044 CPUtime=0.12 cores=1,3,5,7
/proc/23945/task/23947/stat : 23947 (java) S 23943 23943 18108 0 -1 1077944384 456 0 0 0 8 4 0 0 20 0 15 0 10691461 14316269568 170677 18446744073709551615 4194304 4196468 140721294744336 140091166186512 140091246782165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23948] ppid=23943 vsize=13980732 memory=640 CPUtime=0.11 cores=1,3,5,7
/proc/23945/task/23948/stat : 23948 (java) S 23943 23943 18108 0 -1 1077944384 235 0 0 0 7 4 0 0 20 0 15 0 10691461 14316269568 170677 18446744073709551615 4194304 4196468 140721294744336 140091165133968 140091246782165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23949] ppid=23943 vsize=13980732 memory=1796 CPUtime=0.11 cores=1,3,5,7
/proc/23945/task/23949/stat : 23949 (java) S 23943 23943 18108 0 -1 1077944384 1404 0 0 0 7 4 0 0 20 0 15 0 10691461 14316269568 170677 18446744073709551615 4194304 4196468 140721294744336 140091164080912 140091246782165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23950] ppid=23943 vsize=13980732 memory=952 CPUtime=0.12 cores=1,3,5,7
/proc/23945/task/23950/stat : 23950 (java) S 23943 23943 18108 0 -1 1077944384 673 0 0 0 7 5 0 0 20 0 15 0 10691461 14316269568 170677 18446744073709551615 4194304 4196468 140721294744336 140090844113808 140091246782165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23951] ppid=23943 vsize=13980732 memory=1236 CPUtime=0.01 cores=1,3,5,7
/proc/23945/task/23951/stat : 23951 (java) S 23943 23943 18108 0 -1 1077944384 975 0 0 0 1 0 0 0 20 0 15 0 10691463 14316269568 170677 18446744073709551615 4194304 4196468 140721294744336 140090725066992 140091246783106 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23952] ppid=23943 vsize=13980732 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/23945/task/23952/stat : 23952 (java) S 23943 23943 18108 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 10691463 14316269568 170677 18446744073709551615 4194304 4196468 140721294744336 140090724013280 140091246782165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23953] ppid=23943 vsize=13980732 memory=4300 CPUtime=0 cores=1,3,5,7
/proc/23945/task/23953/stat : 23953 (java) S 23943 23943 18108 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 10691463 14316269568 170677 18446744073709551615 4194304 4196468 140721294744336 140090722960128 140091246782165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23954] ppid=23943 vsize=13980732 memory=1584 CPUtime=0 cores=1,3,5,7
/proc/23945/task/23954/stat : 23954 (java) S 23943 23943 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10691466 14316269568 170677 18446744073709551615 4194304 4196468 140721294744336 140090721908688 140091246790555 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23955] ppid=23943 vsize=13980732 memory=928 CPUtime=2.81 cores=1,3,5,7
/proc/23945/task/23955/stat : 23955 (java) R 23943 23943 18108 0 -1 4202560 6833 0 0 0 280 1 0 0 20 0 15 0 10691466 14316269568 170677 18446744073709551615 4194304 4196468 140721294744336 140090720856816 140091231165835 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23956] ppid=23943 vsize=13980732 memory=2160 CPUtime=2.93 cores=1,3,5,7
/proc/23945/task/23956/stat : 23956 (java) S 23943 23943 18108 0 -1 1077944384 6010 0 0 0 292 1 0 0 20 0 15 0 10691466 14316269568 170677 18446744073709551615 4194304 4196468 140721294744336 140090719804272 140091246783106 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23957] ppid=23943 vsize=13980732 memory=844 CPUtime=0.81 cores=1,3,5,7
/proc/23945/task/23957/stat : 23957 (java) S 23943 23943 18108 0 -1 1077944384 4838 0 0 0 80 1 0 0 20 0 15 0 10691466 14316269568 170677 18446744073709551615 4194304 4196468 140721294744336 140090718751216 140091246783106 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23958] ppid=23943 vsize=13980732 memory=3908 CPUtime=0 cores=1,3,5,7
/proc/23945/task/23958/stat : 23958 (java) S 23943 23943 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10691466 14316269568 170677 18446744073709551615 4194304 4196468 140721294744336 140090717698912 140091246782165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
[pid=23945/tid=23959] ppid=23943 vsize=13980732 memory=3032 CPUtime=0.01 cores=1,3,5,7
/proc/23945/task/23959/stat : 23959 (java) S 23943 23943 18108 0 -1 1077944384 168 0 0 0 0 1 0 0 20 0 15 0 10691471 14316269568 170677 18446744073709551615 4194304 4196468 140721294744336 140090716645936 140091246783106 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 31707136 140721294750130 140721294750306 140721294750306 140721294753743 0
Current children cumulated CPU time: 38.24 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 684088 KiB

Child status: 0
Real time (s): 31.556
CPU time (s): 38.3607
CPU user time (s): 37.9985
CPU system time (s): 0.362179
CPU usage (%): 121.564
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 684088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 37.9985
system time used= 0.362179
maximum resident set size= 684100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39076
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3709
involuntary context switches= 68


# summary of solver processes directly reported to runsolver:
#   pid: 23943
#   total CPU time (s): 38.3607
#   total CPU user time (s): 37.9985
#   total CPU system time (s): 0.362179

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.226905 second user time and 0.340358 second system time

The end

Begin job on node131 at 2017-08-19 07:53:44
IDJOB=4282183
IDBENCH=125571
IDSOLVER=2677
FILE ID=node131/4282183-1503122844
RUNJOBID= node131-1503095854-18172
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-4282183-1503122844/watcher-4282183-1503122844 -o /tmp/evaluation-result-4282183-1503122844/solver-4282183-1503122844 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node131-1503095854-18172 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 2084985249 HOME/instance-4282183-1503122844.xml

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

MD5SUM BENCH= a0d270dd535955910725fddfcfa0cde8
RANDOM SEED=2084985249

node131.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.69
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.69
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.69
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.69
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:        31611332 kB
MemAvailable:   31885212 kB
Buffers:          161544 kB
Cached:           393248 kB
SwapCached:            0 kB
Active:           360164 kB
Inactive:         391396 kB
Active(anon):     197088 kB
Inactive(anon):     8556 kB
Active(file):     163076 kB
Inactive(file):   382840 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8416 kB
Writeback:             0 kB
AnonPages:        141920 kB
Mapped:            43396 kB
Shmem:              8868 kB
Slab:             112632 kB
SReclaimable:      87600 kB
SUnreclaim:        25032 kB
KernelStack:        3728 kB
PageTables:         5244 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1130732 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     77824 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 62016 MiB
End job on node131 at 2017-08-19 07:54:15