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

OK	

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283653-1503200259/watcher-4283653-1503200259 -o /tmp/evaluation-result-4283653-1503200259/solver-4283653-1503200259 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1503172173-21712 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 62833358 HOME/instance-4283653-1503200259.xml 

running on 4 cores: 0,2,4,6

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
Current StackSize limit: 8192 KiB

solver pid=27312, runsolver pid=27309

[startup+0.100114 s]*
/proc/loadavg: 1.29 1.56 1.63 2/200 27315
/proc/meminfo: memFree=30768956/32770624 swapFree=67105588/67108860
[pid=27312] ppid=27309 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27312/stat : 27312 (xcsp3-exec) S 27309 27312 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 122220917 9740288 345 18446744073709551615 4194304 5098028 140720418136096 140720418134200 140252511945340 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 34410496 140720418140538 140720418140741 140720418140741 140720418144235 0
/proc/27312/statm: 2378 345 289 221 0 87 0
[pid=27314] ppid=27312 vsize=13358712 memory=13840 CPUtime=0 cores=0,2,4,6
/proc/27314/stat : 27314 (java) S 27312 27312 8557 0 -1 1077944320 3238 0 0 0 0 0 0 0 20 0 6 0 122220927 13679321088 3460 18446744073709551615 4194304 4196468 140721073417744 140721073400288 139660798861047 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
/proc/27314/statm: 3339678 3460 1867 1 0 3329175 0
[pid=27314/tid=27315] ppid=27312 vsize=13358712 memory=-8713483618642852700 CPUtime=0 cores=0,2,4,6
/proc/27314/task/27315/stat : 27315 (java) R 27312 27312 8557 0 -1 4202560 2013 0 0 0 0 0 0 0 20 0 6 0 122220927 13679321088 3460 18446744073709551615 4194304 4196468 140721073417744 139660803097168 139660798882973 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27316] ppid=27312 vsize=13358712 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/27314/task/27316/stat : 27316 (java) S 27312 27312 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 122220928 13679321088 3460 18446744073709551615 4194304 4196468 140721073417744 139660733295504 139660798871253 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27317] ppid=27312 vsize=13358712 memory=139684252706432 CPUtime=0 cores=0,2,4,6
/proc/27314/task/27317/stat : 27317 (java) S 27312 27312 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 122220928 13679321088 3460 18446744073709551615 4194304 4196468 140721073417744 139660732242704 139660798871253 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27318] ppid=27312 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27314/task/27318/stat : 27318 (java) S 27312 27312 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 122220928 13679321088 3460 18446744073709551615 4194304 4196468 140721073417744 139660731190416 139660798871253 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27319] ppid=27312 vsize=13358712 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27314/task/27319/stat : 27319 (java) S 27312 27312 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 122220928 13679321088 3460 18446744073709551615 4194304 4196468 140721073417744 139660730137616 139660798871253 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 15220 KiB

[startup+0.210235 s]*
/proc/loadavg: 1.29 1.56 1.63 2/212 27327
/proc/meminfo: memFree=30759608/32770624 swapFree=67105588/67108860
[pid=27312] ppid=27309 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27312/stat : 27312 (xcsp3-exec) S 27309 27312 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 122220917 9740288 345 18446744073709551615 4194304 5098028 140720418136096 140720418134200 140252511945340 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 34410496 140720418140538 140720418140741 140720418140741 140720418144235 0
/proc/27312/statm: 2378 345 289 221 0 87 0
[pid=27314] ppid=27312 vsize=13907304 memory=22140 CPUtime=0.05 cores=0,2,4,6
/proc/27314/stat : 27314 (java) S 27312 27312 8557 0 -1 1077944320 4923 0 0 0 5 0 0 0 20 0 14 0 122220927 14241079296 5535 18446744073709551615 4194304 4196468 140721073417744 140721073400288 139660798861047 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
/proc/27314/statm: 3476826 5535 2576 1 0 3466323 0
[pid=27314/tid=27315] ppid=27312 vsize=13907304 memory=7311146985107750967 CPUtime=0.04 cores=0,2,4,6
/proc/27314/task/27315/stat : 27315 (java) D 27312 27312 8557 0 -1 4202560 3103 0 0 0 4 0 0 0 20 0 14 0 122220927 14241079296 5535 18446744073709551615 4194304 4196468 140721073417744 139660803098528 139660798883069 0 4 1 16800974 18446744071580418449 0 0 -1 0 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27316] ppid=27312 vsize=13907304 memory=8893 CPUtime=0 cores=0,2,4,6
/proc/27314/task/27316/stat : 27316 (java) S 27312 27312 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 122220928 14241079296 5535 18446744073709551615 4194304 4196468 140721073417744 139660733295504 139660798871253 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27317] ppid=27312 vsize=13907304 memory=3618555718216935072 CPUtime=0 cores=0,2,4,6
/proc/27314/task/27317/stat : 27317 (java) S 27312 27312 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 122220928 14241079296 5535 18446744073709551615 4194304 4196468 140721073417744 139660732242704 139660798871253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27318] ppid=27312 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27314/task/27318/stat : 27318 (java) S 27312 27312 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 122220928 14241079296 5535 18446744073709551615 4194304 4196468 140721073417744 139660731190416 139660798871253 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27319] ppid=27312 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27314/task/27319/stat : 27319 (java) S 27312 27312 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 122220928 14241079296 5535 18446744073709551615 4194304 4196468 140721073417744 139660730137616 139660798871253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27320] ppid=27312 vsize=13907304 memory=139684252706432 CPUtime=0 cores=0,2,4,6
/proc/27314/task/27320/stat : 27320 (java) S 27312 27312 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 122220929 14241079296 5535 18446744073709551615 4194304 4196468 140721073417744 139660277434480 139660798872194 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27321] ppid=27312 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27314/task/27321/stat : 27321 (java) S 27312 27312 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 122220930 14241079296 5535 18446744073709551615 4194304 4196468 140721073417744 139660276380448 139660798871253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27322] ppid=27312 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27314/task/27322/stat : 27322 (java) S 27312 27312 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 122220930 14241079296 5535 18446744073709551615 4194304 4196468 140721073417744 139660275328112 139660798871253 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27323] ppid=27312 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27314/task/27323/stat : 27323 (java) S 27312 27312 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 122220932 14241079296 5535 18446744073709551615 4194304 4196468 140721073417744 139660274276432 139660798879643 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27324] ppid=27312 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27314/task/27324/stat : 27324 (java) S 27312 27312 8557 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 14 0 122220932 14241079296 5535 18446744073709551615 4194304 4196468 140721073417744 139660273224304 139660798872194 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27325] ppid=27312 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27314/task/27325/stat : 27325 (java) S 27312 27312 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 122220932 14241079296 5535 18446744073709551615 4194304 4196468 140721073417744 139660272171504 139660798872194 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27326] ppid=27312 vsize=13907304 memory=139684252706432 CPUtime=0 cores=0,2,4,6
/proc/27314/task/27326/stat : 27326 (java) S 27312 27312 8557 0 -1 1077944384 205 0 0 0 0 0 0 0 20 0 14 0 122220932 14241079296 5535 18446744073709551615 4194304 4196468 140721073417744 139660271119216 139660798872194 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27327] ppid=27312 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27314/task/27327/stat : 27327 (java) S 27312 27312 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 122220932 14241079296 5535 18446744073709551615 4194304 4196468 140721073417744 139660270066656 139660798871253 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 23520 KiB

[startup+0.311097 s]*
/proc/loadavg: 1.35 1.57 1.64 8/213 27328
/proc/meminfo: memFree=30745336/32770624 swapFree=67105588/67108860
[pid=27312] ppid=27309 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27312/stat : 27312 (xcsp3-exec) S 27309 27312 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 122220917 9740288 345 18446744073709551615 4194304 5098028 140720418136096 140720418134200 140252511945340 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 34410496 140720418140538 140720418140741 140720418140741 140720418144235 0
/proc/27312/statm: 2378 345 289 221 0 87 0
[pid=27314] ppid=27312 vsize=13974352 memory=32064 CPUtime=0.22 cores=0,2,4,6
/proc/27314/stat : 27314 (java) S 27312 27312 8557 0 -1 1077944320 6396 0 0 0 21 1 0 0 20 0 15 0 122220927 14309736448 7951 18446744073709551615 4194304 4196468 140721073417744 140721073400288 139660798861047 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
/proc/27314/statm: 3493588 8016 2983 1 0 3482964 0
[pid=27314/tid=27315] ppid=27312 vsize=13974352 memory=-8774313645642428999 CPUtime=0.13 cores=0,2,4,6
/proc/27314/task/27315/stat : 27315 (java) R 27312 27312 8557 0 -1 4202560 3632 0 0 0 13 0 0 0 20 0 15 0 122220927 14309736448 8016 18446744073709551615 4194304 4196468 140721073417744 139660803096592 139660791539061 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27316] ppid=27312 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/27314/task/27316/stat : 27316 (java) S 27312 27312 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122220928 14309736448 8016 18446744073709551615 4194304 4196468 140721073417744 139660733295504 139660798871253 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27317] ppid=27312 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27314/task/27317/stat : 27317 (java) S 27312 27312 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122220928 14309736448 8016 18446744073709551615 4194304 4196468 140721073417744 139660732242704 139660798871253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27318] ppid=27312 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27314/task/27318/stat : 27318 (java) S 27312 27312 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122220928 14309736448 8016 18446744073709551615 4194304 4196468 140721073417744 139660731190416 139660798871253 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27319] ppid=27312 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27314/task/27319/stat : 27319 (java) S 27312 27312 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122220928 14309736448 8016 18446744073709551615 4194304 4196468 140721073417744 139660730137616 139660798871253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27320] ppid=27312 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27314/task/27320/stat : 27320 (java) S 27312 27312 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122220929 14309736448 8016 18446744073709551615 4194304 4196468 140721073417744 139660277434480 139660798872194 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27321] ppid=27312 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27314/task/27321/stat : 27321 (java) S 27312 27312 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 122220930 14309736448 8016 18446744073709551615 4194304 4196468 140721073417744 139660276380448 139660798871253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27322] ppid=27312 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27314/task/27322/stat : 27322 (java) S 27312 27312 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 122220930 14309736448 8016 18446744073709551615 4194304 4196468 140721073417744 139660275328112 139660798871253 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27323] ppid=27312 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27314/task/27323/stat : 27323 (java) S 27312 27312 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122220932 14309736448 8016 18446744073709551615 4194304 4196468 140721073417744 139660274276432 139660798879643 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27324] ppid=27312 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/27314/task/27324/stat : 27324 (java) S 27312 27312 8557 0 -1 1077944384 436 0 0 0 1 0 0 0 20 0 15 0 122220932 14309736448 8016 18446744073709551615 4194304 4196468 140721073417744 139660273224304 139660798872194 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27325] ppid=27312 vsize=13974352 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/27314/task/27325/stat : 27325 (java) S 27312 27312 8557 0 -1 1077944384 340 0 0 0 1 0 0 0 20 0 15 0 122220932 14309736448 8016 18446744073709551615 4194304 4196468 140721073417744 139660272171504 139660798872194 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27326] ppid=27312 vsize=13974352 memory=-1 CPUtime=0.05 cores=0,2,4,6
/proc/27314/task/27326/stat : 27326 (java) R 27312 27312 8557 0 -1 4202560 685 0 0 0 5 0 0 0 20 0 15 0 122220932 14309736448 8016 18446744073709551615 4194304 4196468 140721073417744 139660271119216 139660791578199 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27327] ppid=27312 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27314/task/27327/stat : 27327 (java) S 27312 27312 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122220932 14309736448 8016 18446744073709551615 4194304 4196468 140721073417744 139660270066656 139660798871253 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27328] ppid=27312 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27314/task/27328/stat : 27328 (java) S 27312 27312 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122220941 14309736448 8016 18446744073709551615 4194304 4196468 140721073417744 139660269013424 139660798872194 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 33444 KiB

[startup+0.705191 s]
/proc/loadavg: 1.35 1.57 1.64 6/213 27328
/proc/meminfo: memFree=30727064/32770624 swapFree=67105588/67108860
[pid=27312] ppid=27309 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27312/stat : 27312 (xcsp3-exec) S 27309 27312 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 122220917 9740288 345 18446744073709551615 4194304 5098028 140720418136096 140720418134200 140252511945340 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 34410496 140720418140538 140720418140741 140720418140741 140720418144235 0
/proc/27312/statm: 2378 345 289 221 0 87 0
[pid=27314] ppid=27312 vsize=13978684 memory=72024 CPUtime=1.2 cores=0,2,4,6
/proc/27314/stat : 27314 (java) S 27312 27312 8557 0 -1 1077944320 13181 0 0 0 115 5 0 0 20 0 15 0 122220927 14314172416 18006 18446744073709551615 4194304 4196468 140721073417744 140721073400288 139660798861047 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
/proc/27314/statm: 3494671 18006 3151 1 0 3482964 0
[pid=27314/tid=27315] ppid=27312 vsize=13978684 memory=279368295523680 CPUtime=0.51 cores=0,2,4,6
/proc/27314/task/27315/stat : 27315 (java) R 27312 27312 8557 0 -1 4202560 7913 0 0 0 47 4 0 0 20 0 15 0 122220927 14314172416 18006 18446744073709551615 4194304 4196468 140721073417744 139660803097408 139660410801137 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27316] ppid=27312 vsize=13978684 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/27314/task/27316/stat : 27316 (java) S 27312 27312 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122220928 14314172416 18006 18446744073709551615 4194304 4196468 140721073417744 139660733295504 139660798871253 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27317] ppid=27312 vsize=13978684 memory=7667219384991705433 CPUtime=0 cores=0,2,4,6
/proc/27314/task/27317/stat : 27317 (java) S 27312 27312 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122220928 14314172416 18006 18446744073709551615 4194304 4196468 140721073417744 139660732242704 139660798871253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27318] ppid=27312 vsize=13978684 memory=8243672427592313170 CPUtime=0 cores=0,2,4,6
/proc/27314/task/27318/stat : 27318 (java) S 27312 27312 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122220928 14314172416 18006 18446744073709551615 4194304 4196468 140721073417744 139660731190416 139660798871253 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27319] ppid=27312 vsize=13978684 memory=13801542016 CPUtime=0 cores=0,2,4,6
/proc/27314/task/27319/stat : 27319 (java) S 27312 27312 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122220928 14314172416 18006 18446744073709551615 4194304 4196468 140721073417744 139660730137616 139660798871253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27320] ppid=27312 vsize=13978684 memory=557 CPUtime=0 cores=0,2,4,6
/proc/27314/task/27320/stat : 27320 (java) S 27312 27312 8557 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 122220929 14314172416 18006 18446744073709551615 4194304 4196468 140721073417744 139660277434480 139660798872194 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27321] ppid=27312 vsize=13978684 memory=222 CPUtime=0 cores=0,2,4,6
/proc/27314/task/27321/stat : 27321 (java) S 27312 27312 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 122220930 14314172416 18006 18446744073709551615 4194304 4196468 140721073417744 139660276380448 139660798871253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27322] ppid=27312 vsize=13978684 memory=4182 CPUtime=0 cores=0,2,4,6
/proc/27314/task/27322/stat : 27322 (java) S 27312 27312 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 122220930 14314172416 18006 18446744073709551615 4194304 4196468 140721073417744 139660275328112 139660798871253 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27323] ppid=27312 vsize=13978684 memory=468 CPUtime=0 cores=0,2,4,6
/proc/27314/task/27323/stat : 27323 (java) S 27312 27312 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122220932 14314172416 18006 18446744073709551615 4194304 4196468 140721073417744 139660274276432 139660798879643 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27324] ppid=27312 vsize=13978684 memory=6 CPUtime=0.2 cores=0,2,4,6
/proc/27314/task/27324/stat : 27324 (java) R 27312 27312 8557 0 -1 4202560 1446 0 0 0 20 0 0 0 20 0 15 0 122220932 14314172416 18006 18446744073709551615 4194304 4196468 140721073417744 139660273206032 139660782357573 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27325] ppid=27312 vsize=13978684 memory=640 CPUtime=0.17 cores=0,2,4,6
/proc/27314/task/27325/stat : 27325 (java) R 27312 27312 8557 0 -1 1077944384 830 0 0 0 17 0 0 0 20 0 15 0 122220932 14314172416 18006 18446744073709551615 4194304 4196468 140721073417744 139660272158352 139660798871253 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27326] ppid=27312 vsize=13978684 memory=49936 CPUtime=0.29 cores=0,2,4,6
/proc/27314/task/27326/stat : 27326 (java) R 27312 27312 8557 0 -1 4202560 1685 0 0 0 29 0 0 0 20 0 15 0 122220932 14314172416 18006 18446744073709551615 4194304 4196468 140721073417744 139660271114944 139660798872982 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27327] ppid=27312 vsize=13978684 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/27314/task/27327/stat : 27327 (java) S 27312 27312 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122220932 14314172416 18006 18446744073709551615 4194304 4196468 140721073417744 139660270066656 139660798871253 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27328] ppid=27312 vsize=13978684 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/27314/task/27328/stat : 27328 (java) S 27312 27312 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122220941 14314172416 18006 18446744073709551615 4194304 4196468 140721073417744 139660269013424 139660798872194 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
Current children cumulated CPU time: 1.2 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 73404 KiB

[startup+1.50114 s]
/proc/loadavg: 1.35 1.57 1.64 6/213 27328
/proc/meminfo: memFree=30659552/32770624 swapFree=67105588/67108860
[pid=27312] ppid=27309 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27312/stat : 27312 (xcsp3-exec) S 27309 27312 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 122220917 9740288 345 18446744073709551615 4194304 5098028 140720418136096 140720418134200 140252511945340 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 34410496 140720418140538 140720418140741 140720418140741 140720418144235 0
/proc/27312/statm: 2378 345 289 221 0 87 0
[pid=27314] ppid=27312 vsize=13980732 memory=225992 CPUtime=3.82 cores=0,2,4,6
/proc/27314/stat : 27314 (java) S 27312 27312 8557 0 -1 1077944320 22156 0 0 0 369 13 0 0 20 0 15 0 122220927 14316269568 56498 18446744073709551615 4194304 4196468 140721073417744 140721073400288 139660798861047 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
/proc/27314/statm: 3495183 56498 3213 1 0 3483476 0
[pid=27314/tid=27315] ppid=27312 vsize=13980732 memory=0 CPUtime=1.26 cores=0,2,4,6
/proc/27314/task/27315/stat : 27315 (java) R 27312 27312 8557 0 -1 4202560 9716 0 0 0 121 5 0 0 20 0 15 0 122220927 14316269568 56498 18446744073709551615 4194304 4196468 140721073417744 139660803096240 139660413868064 0 4 1 16800974 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27316] ppid=27312 vsize=13980732 memory=7739276948478388072 CPUtime=0.02 cores=0,2,4,6
/proc/27314/task/27316/stat : 27316 (java) S 27312 27312 8557 0 -1 1077944384 111 0 0 0 1 1 0 0 20 0 15 0 122220928 14316269568 56498 18446744073709551615 4194304 4196468 140721073417744 139660733295504 139660798871253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27317] ppid=27312 vsize=13980732 memory=7522515949369780822 CPUtime=0.02 cores=0,2,4,6
/proc/27314/task/27317/stat : 27317 (java) S 27312 27312 8557 0 -1 1077944384 69 0 0 0 1 1 0 0 20 0 15 0 122220928 14316269568 56498 18446744073709551615 4194304 4196468 140721073417744 139660732242704 139660798871253 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27318] ppid=27312 vsize=13980732 memory=7588679005786104145 CPUtime=0.02 cores=0,2,4,6
/proc/27314/task/27318/stat : 27318 (java) S 27312 27312 8557 0 -1 1077944384 271 0 0 0 1 1 0 0 20 0 15 0 122220928 14316269568 56498 18446744073709551615 4194304 4196468 140721073417744 139660731190416 139660798871253 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27319] ppid=27312 vsize=13980732 memory=6298115120925856353 CPUtime=0.02 cores=0,2,4,6
/proc/27314/task/27319/stat : 27319 (java) S 27312 27312 8557 0 -1 1077944384 405 0 0 0 1 1 0 0 20 0 15 0 122220928 14316269568 56498 18446744073709551615 4194304 4196468 140721073417744 139660730137616 139660798871253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27320] ppid=27312 vsize=13980732 memory=6370718175913076330 CPUtime=0 cores=0,2,4,6
/proc/27314/task/27320/stat : 27320 (java) S 27312 27312 8557 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 15 0 122220929 14316269568 56498 18446744073709551615 4194304 4196468 140721073417744 139660277434480 139660798872194 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27321] ppid=27312 vsize=13980732 memory=7740110391227081837 CPUtime=0 cores=0,2,4,6
/proc/27314/task/27321/stat : 27321 (java) S 27312 27312 8557 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 122220930 14316269568 56498 18446744073709551615 4194304 4196468 140721073417744 139660276380448 139660798871253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27322] ppid=27312 vsize=13980732 memory=4639924115538006630 CPUtime=0 cores=0,2,4,6
/proc/27314/task/27322/stat : 27322 (java) S 27312 27312 8557 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 122220930 14316269568 56498 18446744073709551615 4194304 4196468 140721073417744 139660275328112 139660798871253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27323] ppid=27312 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6

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

/proc/27312/stat : 27312 (xcsp3-exec) S 27309 27312 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 122220917 9740288 345 18446744073709551615 4194304 5098028 140720418136096 140720418134200 140252511945340 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 34410496 140720418140538 140720418140741 140720418140741 140720418144235 0
/proc/27312/statm: 2378 345 289 221 0 87 0
[pid=27314] ppid=27312 vsize=13980732 memory=669948 CPUtime=251.31 cores=0,2,4,6
/proc/27314/stat : 27314 (java) S 27312 27312 8557 0 -1 1077944320 86691 0 0 0 25043 88 0 0 20 0 15 0 122220927 14316269568 167487 18446744073709551615 4194304 4196468 140721073417744 140721073400288 139660798861047 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
/proc/27314/statm: 3495183 167487 3260 1 0 3483476 0
[pid=27314/tid=27315] ppid=27312 vsize=13980732 memory=1164 CPUtime=237.33 cores=0,2,4,6
/proc/27314/task/27315/stat : 27315 (java) R 27312 27312 8557 0 -1 4202560 24899 0 0 0 23715 18 0 0 20 0 15 0 122220927 14316269568 167487 18446744073709551615 4194304 4196468 140721073417744 139660803100112 139660417179351 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27316] ppid=27312 vsize=13980732 memory=7344 CPUtime=0.61 cores=0,2,4,6
/proc/27314/task/27316/stat : 27316 (java) S 27312 27312 8557 0 -1 1077944384 2702 0 0 0 48 13 0 0 20 0 15 0 122220928 14316269568 167487 18446744073709551615 4194304 4196468 140721073417744 139660733295504 139660798871253 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27317] ppid=27312 vsize=13980732 memory=1628 CPUtime=0.6 cores=0,2,4,6
/proc/27314/task/27317/stat : 27317 (java) S 27312 27312 8557 0 -1 1077944384 1483 0 0 0 46 14 0 0 20 0 15 0 122220928 14316269568 167487 18446744073709551615 4194304 4196468 140721073417744 139660732242704 139660798871253 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27318] ppid=27312 vsize=13980732 memory=14340 CPUtime=0.61 cores=0,2,4,6
/proc/27314/task/27318/stat : 27318 (java) S 27312 27312 8557 0 -1 1077944384 2781 0 0 0 47 14 0 0 20 0 15 0 122220928 14316269568 167487 18446744073709551615 4194304 4196468 140721073417744 139660731190416 139660798871253 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27319] ppid=27312 vsize=13980732 memory=1380 CPUtime=0.59 cores=0,2,4,6
/proc/27314/task/27319/stat : 27319 (java) S 27312 27312 8557 0 -1 1077944384 2806 0 0 0 46 13 0 0 20 0 15 0 122220928 14316269568 167487 18446744073709551615 4194304 4196468 140721073417744 139660730137616 139660798871253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27320] ppid=27312 vsize=13980732 memory=646340 CPUtime=0.16 cores=0,2,4,6
/proc/27314/task/27320/stat : 27320 (java) S 27312 27312 8557 0 -1 1077944384 3474 0 0 0 14 2 0 0 20 0 15 0 122220929 14316269568 167487 18446744073709551615 4194304 4196468 140721073417744 139660277434480 139660798872194 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27321] ppid=27312 vsize=13980732 memory=1740 CPUtime=0 cores=0,2,4,6
/proc/27314/task/27321/stat : 27321 (java) S 27312 27312 8557 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 122220930 14316269568 167487 18446744073709551615 4194304 4196468 140721073417744 139660276380512 139660798871253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27322] ppid=27312 vsize=13980732 memory=956 CPUtime=0 cores=0,2,4,6
/proc/27314/task/27322/stat : 27322 (java) S 27312 27312 8557 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 122220930 14316269568 167487 18446744073709551615 4194304 4196468 140721073417744 139660275328128 139660798871253 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27323] ppid=27312 vsize=13980732 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/27314/task/27323/stat : 27323 (java) S 27312 27312 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122220932 14316269568 167487 18446744073709551615 4194304 4196468 140721073417744 139660274276432 139660798879643 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27324] ppid=27312 vsize=13980732 memory=-8774313645642428999 CPUtime=4.99 cores=0,2,4,6
/proc/27314/task/27324/stat : 27324 (java) S 27312 27312 8557 0 -1 1077944384 17390 0 0 0 497 2 0 0 20 0 15 0 122220932 14316269568 167487 18446744073709551615 4194304 4196468 140721073417744 139660273224304 139660798872194 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27325] ppid=27312 vsize=13980732 memory=646340 CPUtime=5.13 cores=0,2,4,6
/proc/27314/task/27325/stat : 27325 (java) S 27312 27312 8557 0 -1 1077944384 17491 0 0 0 511 2 0 0 20 0 15 0 122220932 14316269568 167487 18446744073709551615 4194304 4196468 140721073417744 139660272171504 139660798872194 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27326] ppid=27312 vsize=13980732 memory=1152 CPUtime=1.09 cores=0,2,4,6
/proc/27314/task/27326/stat : 27326 (java) S 27312 27312 8557 0 -1 1077944384 11155 0 0 0 107 2 0 0 20 0 15 0 122220932 14316269568 167487 18446744073709551615 4194304 4196468 140721073417744 139660271119216 139660798872194 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27327] ppid=27312 vsize=13980732 memory=3076 CPUtime=0 cores=0,2,4,6
/proc/27314/task/27327/stat : 27327 (java) S 27312 27312 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122220932 14316269568 167487 18446744073709551615 4194304 4196468 140721073417744 139660270066656 139660798871253 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27328] ppid=27312 vsize=13980732 memory=1380 CPUtime=0.08 cores=0,2,4,6
/proc/27314/task/27328/stat : 27328 (java) S 27312 27312 8557 0 -1 1077944384 1145 0 0 0 4 4 0 0 20 0 15 0 122220941 14316269568 167487 18446744073709551615 4194304 4196468 140721073417744 139660269013424 139660798872194 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
Current children cumulated CPU time: 251.31 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 671328 KiB

[startup+239.201 s]
/proc/loadavg: 1.50 1.61 1.65 3/211 27336
/proc/meminfo: memFree=29985172/32770624 swapFree=67105588/67108860
[pid=27312] ppid=27309 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27312/stat : 27312 (xcsp3-exec) S 27309 27312 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 122220917 9740288 345 18446744073709551615 4194304 5098028 140720418136096 140720418134200 140252511945340 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 34410496 140720418140538 140720418140741 140720418140741 140720418144235 0
/proc/27312/statm: 2378 345 289 221 0 87 0
[pid=27314] ppid=27312 vsize=13980732 memory=669948 CPUtime=252.11 cores=0,2,4,6
/proc/27314/stat : 27314 (java) S 27312 27312 8557 0 -1 1077944320 86691 0 0 0 25123 88 0 0 20 0 15 0 122220927 14316269568 167487 18446744073709551615 4194304 4196468 140721073417744 140721073400288 139660798861047 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
/proc/27314/statm: 3495183 167487 3260 1 0 3483476 0
[pid=27314/tid=27315] ppid=27312 vsize=13980732 memory=1160 CPUtime=238.13 cores=0,2,4,6
/proc/27314/task/27315/stat : 27315 (java) R 27312 27312 8557 0 -1 4202560 24899 0 0 0 23795 18 0 0 20 0 15 0 122220927 14316269568 167487 18446744073709551615 4194304 4196468 140721073417744 139660803100000 139660415671473 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27316] ppid=27312 vsize=13980732 memory=-8774313645642428999 CPUtime=0.61 cores=0,2,4,6
/proc/27314/task/27316/stat : 27316 (java) S 27312 27312 8557 0 -1 1077944384 2702 0 0 0 48 13 0 0 20 0 15 0 122220928 14316269568 167487 18446744073709551615 4194304 4196468 140721073417744 139660733295504 139660798871253 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27317] ppid=27312 vsize=13980732 memory=5768 CPUtime=0.6 cores=0,2,4,6
/proc/27314/task/27317/stat : 27317 (java) S 27312 27312 8557 0 -1 1077944384 1483 0 0 0 46 14 0 0 20 0 15 0 122220928 14316269568 167487 18446744073709551615 4194304 4196468 140721073417744 139660732242704 139660798871253 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27318] ppid=27312 vsize=13980732 memory=4584 CPUtime=0.61 cores=0,2,4,6
/proc/27314/task/27318/stat : 27318 (java) S 27312 27312 8557 0 -1 1077944384 2781 0 0 0 47 14 0 0 20 0 15 0 122220928 14316269568 167487 18446744073709551615 4194304 4196468 140721073417744 139660731190416 139660798871253 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27319] ppid=27312 vsize=13980732 memory=872 CPUtime=0.59 cores=0,2,4,6
/proc/27314/task/27319/stat : 27319 (java) S 27312 27312 8557 0 -1 1077944384 2806 0 0 0 46 13 0 0 20 0 15 0 122220928 14316269568 167487 18446744073709551615 4194304 4196468 140721073417744 139660730137616 139660798871253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27320] ppid=27312 vsize=13980732 memory=1992 CPUtime=0.16 cores=0,2,4,6
/proc/27314/task/27320/stat : 27320 (java) S 27312 27312 8557 0 -1 1077944384 3474 0 0 0 14 2 0 0 20 0 15 0 122220929 14316269568 167487 18446744073709551615 4194304 4196468 140721073417744 139660277434480 139660798872194 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27321] ppid=27312 vsize=13980732 memory=669948 CPUtime=0 cores=0,2,4,6
/proc/27314/task/27321/stat : 27321 (java) S 27312 27312 8557 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 122220930 14316269568 167487 18446744073709551615 4194304 4196468 140721073417744 139660276380512 139660798871253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27322] ppid=27312 vsize=13980732 memory=4144 CPUtime=0 cores=0,2,4,6
/proc/27314/task/27322/stat : 27322 (java) S 27312 27312 8557 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 122220930 14316269568 167487 18446744073709551615 4194304 4196468 140721073417744 139660275328128 139660798871253 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27323] ppid=27312 vsize=13980732 memory=65828 CPUtime=0 cores=0,2,4,6
/proc/27314/task/27323/stat : 27323 (java) S 27312 27312 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122220932 14316269568 167487 18446744073709551615 4194304 4196468 140721073417744 139660274276432 139660798879643 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27324] ppid=27312 vsize=13980732 memory=1240 CPUtime=4.99 cores=0,2,4,6
/proc/27314/task/27324/stat : 27324 (java) S 27312 27312 8557 0 -1 1077944384 17390 0 0 0 497 2 0 0 20 0 15 0 122220932 14316269568 167487 18446744073709551615 4194304 4196468 140721073417744 139660273224304 139660798872194 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27325] ppid=27312 vsize=13980732 memory=2384 CPUtime=5.13 cores=0,2,4,6
/proc/27314/task/27325/stat : 27325 (java) S 27312 27312 8557 0 -1 1077944384 17491 0 0 0 511 2 0 0 20 0 15 0 122220932 14316269568 167487 18446744073709551615 4194304 4196468 140721073417744 139660272171504 139660798872194 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27326] ppid=27312 vsize=13980732 memory=1164 CPUtime=1.09 cores=0,2,4,6
/proc/27314/task/27326/stat : 27326 (java) S 27312 27312 8557 0 -1 1077944384 11155 0 0 0 107 2 0 0 20 0 15 0 122220932 14316269568 167487 18446744073709551615 4194304 4196468 140721073417744 139660271119216 139660798872194 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27327] ppid=27312 vsize=13980732 memory=7344 CPUtime=0 cores=0,2,4,6
/proc/27314/task/27327/stat : 27327 (java) S 27312 27312 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122220932 14316269568 167487 18446744073709551615 4194304 4196468 140721073417744 139660270066656 139660798871253 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27328] ppid=27312 vsize=13980732 memory=1628 CPUtime=0.09 cores=0,2,4,6
/proc/27314/task/27328/stat : 27328 (java) S 27312 27312 8557 0 -1 1077944384 1145 0 0 0 5 4 0 0 20 0 15 0 122220941 14316269568 167487 18446744073709551615 4194304 4196468 140721073417744 139660269013424 139660798872194 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
Current children cumulated CPU time: 252.11 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 671328 KiB

[startup+239.601 s]
/proc/loadavg: 1.50 1.61 1.65 3/211 27336
/proc/meminfo: memFree=29985172/32770624 swapFree=67105588/67108860
[pid=27312] ppid=27309 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27312/stat : 27312 (xcsp3-exec) S 27309 27312 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 122220917 9740288 345 18446744073709551615 4194304 5098028 140720418136096 140720418134200 140252511945340 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 34410496 140720418140538 140720418140741 140720418140741 140720418144235 0
/proc/27312/statm: 2378 345 289 221 0 87 0
[pid=27314] ppid=27312 vsize=13980732 memory=669948 CPUtime=252.52 cores=0,2,4,6
/proc/27314/stat : 27314 (java) S 27312 27312 8557 0 -1 1077944320 86695 0 0 0 25164 88 0 0 20 0 15 0 122220927 14316269568 167487 18446744073709551615 4194304 4196468 140721073417744 140721073400288 139660798861047 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
/proc/27314/statm: 3495183 167487 3260 1 0 3483476 0
[pid=27314/tid=27315] ppid=27312 vsize=13980732 memory=65828 CPUtime=238.53 cores=0,2,4,6
/proc/27314/task/27315/stat : 27315 (java) R 27312 27312 8557 0 -1 4202560 24899 0 0 0 23835 18 0 0 20 0 15 0 122220927 14316269568 167487 18446744073709551615 4194304 4196468 140721073417744 139660803098216 139660412394478 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27316] ppid=27312 vsize=13980732 memory=1240 CPUtime=0.61 cores=0,2,4,6
/proc/27314/task/27316/stat : 27316 (java) S 27312 27312 8557 0 -1 1077944384 2702 0 0 0 48 13 0 0 20 0 15 0 122220928 14316269568 167487 18446744073709551615 4194304 4196468 140721073417744 139660733295504 139660798871253 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27317] ppid=27312 vsize=13980732 memory=2384 CPUtime=0.6 cores=0,2,4,6
/proc/27314/task/27317/stat : 27317 (java) S 27312 27312 8557 0 -1 1077944384 1483 0 0 0 46 14 0 0 20 0 15 0 122220928 14316269568 167487 18446744073709551615 4194304 4196468 140721073417744 139660732242704 139660798871253 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27318] ppid=27312 vsize=13980732 memory=-8774313645642428999 CPUtime=0.61 cores=0,2,4,6
/proc/27314/task/27318/stat : 27318 (java) S 27312 27312 8557 0 -1 1077944384 2781 0 0 0 47 14 0 0 20 0 15 0 122220928 14316269568 167487 18446744073709551615 4194304 4196468 140721073417744 139660731190416 139660798871253 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27319] ppid=27312 vsize=13980732 memory=832 CPUtime=0.59 cores=0,2,4,6
/proc/27314/task/27319/stat : 27319 (java) S 27312 27312 8557 0 -1 1077944384 2806 0 0 0 46 13 0 0 20 0 15 0 122220928 14316269568 167487 18446744073709551615 4194304 4196468 140721073417744 139660730137616 139660798871253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27320] ppid=27312 vsize=13980732 memory=16436 CPUtime=0.16 cores=0,2,4,6
/proc/27314/task/27320/stat : 27320 (java) S 27312 27312 8557 0 -1 1077944384 3474 0 0 0 14 2 0 0 20 0 15 0 122220929 14316269568 167487 18446744073709551615 4194304 4196468 140721073417744 139660277434480 139660798872194 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27321] ppid=27312 vsize=13980732 memory=3904 CPUtime=0 cores=0,2,4,6
/proc/27314/task/27321/stat : 27321 (java) S 27312 27312 8557 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 122220930 14316269568 167487 18446744073709551615 4194304 4196468 140721073417744 139660276380512 139660798871253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27322] ppid=27312 vsize=13980732 memory=2856 CPUtime=0 cores=0,2,4,6
/proc/27314/task/27322/stat : 27322 (java) S 27312 27312 8557 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 122220930 14316269568 167487 18446744073709551615 4194304 4196468 140721073417744 139660275328128 139660798871253 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27323] ppid=27312 vsize=13980732 memory=2752 CPUtime=0 cores=0,2,4,6
/proc/27314/task/27323/stat : 27323 (java) S 27312 27312 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122220932 14316269568 167487 18446744073709551615 4194304 4196468 140721073417744 139660274276432 139660798879643 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27324] ppid=27312 vsize=13980732 memory=4068 CPUtime=4.99 cores=0,2,4,6
/proc/27314/task/27324/stat : 27324 (java) S 27312 27312 8557 0 -1 1077944384 17394 0 0 0 497 2 0 0 20 0 15 0 122220932 14316269568 167487 18446744073709551615 4194304 4196468 140721073417744 139660273224304 139660798872194 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27325] ppid=27312 vsize=13980732 memory=1160 CPUtime=5.13 cores=0,2,4,6
/proc/27314/task/27325/stat : 27325 (java) R 27312 27312 8557 0 -1 4202560 17493 0 0 0 511 2 0 0 20 0 15 0 122220932 14316269568 167487 18446744073709551615 4194304 4196468 140721073417744 139660272171504 139660783257748 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27326] ppid=27312 vsize=13980732 memory=3304 CPUtime=1.09 cores=0,2,4,6
/proc/27314/task/27326/stat : 27326 (java) S 27312 27312 8557 0 -1 1077944384 11155 0 0 0 107 2 0 0 20 0 15 0 122220932 14316269568 167487 18446744073709551615 4194304 4196468 140721073417744 139660271119216 139660798872194 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27327] ppid=27312 vsize=13980732 memory=1672 CPUtime=0 cores=0,2,4,6
/proc/27314/task/27327/stat : 27327 (java) S 27312 27312 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122220932 14316269568 167487 18446744073709551615 4194304 4196468 140721073417744 139660270066656 139660798871253 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27328] ppid=27312 vsize=13980732 memory=5768 CPUtime=0.09 cores=0,2,4,6
/proc/27314/task/27328/stat : 27328 (java) S 27312 27312 8557 0 -1 1077944384 1145 0 0 0 5 4 0 0 20 0 15 0 122220941 14316269568 167487 18446744073709551615 4194304 4196468 140721073417744 139660269013424 139660798872194 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
Current children cumulated CPU time: 252.52 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 671328 KiB

[startup+239.801 s]
/proc/loadavg: 1.50 1.61 1.65 3/211 27336
/proc/meminfo: memFree=29985172/32770624 swapFree=67105588/67108860
[pid=27312] ppid=27309 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27312/stat : 27312 (xcsp3-exec) S 27309 27312 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 122220917 9740288 345 18446744073709551615 4194304 5098028 140720418136096 140720418134200 140252511945340 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 34410496 140720418140538 140720418140741 140720418140741 140720418144235 0
/proc/27312/statm: 2378 345 289 221 0 87 0
[pid=27314] ppid=27312 vsize=13980732 memory=669948 CPUtime=252.72 cores=0,2,4,6
/proc/27314/stat : 27314 (java) S 27312 27312 8557 0 -1 1077944320 86702 0 0 0 25184 88 0 0 20 0 15 0 122220927 14316269568 167487 18446744073709551615 4194304 4196468 140721073417744 140721073400288 139660798861047 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
/proc/27314/statm: 3495183 167487 3260 1 0 3483476 0
[pid=27314/tid=27315] ppid=27312 vsize=13980732 memory=1992 CPUtime=238.73 cores=0,2,4,6
/proc/27314/task/27315/stat : 27315 (java) R 27312 27312 8557 0 -1 4202560 24899 0 0 0 23855 18 0 0 20 0 15 0 122220927 14316269568 167487 18446744073709551615 4194304 4196468 140721073417744 139660803098216 139660408183852 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27316] ppid=27312 vsize=13980732 memory=1164 CPUtime=0.61 cores=0,2,4,6
/proc/27314/task/27316/stat : 27316 (java) S 27312 27312 8557 0 -1 1077944384 2702 0 0 0 48 13 0 0 20 0 15 0 122220928 14316269568 167487 18446744073709551615 4194304 4196468 140721073417744 139660733295504 139660798871253 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27317] ppid=27312 vsize=13980732 memory=7344 CPUtime=0.6 cores=0,2,4,6
/proc/27314/task/27317/stat : 27317 (java) S 27312 27312 8557 0 -1 1077944384 1483 0 0 0 46 14 0 0 20 0 15 0 122220928 14316269568 167487 18446744073709551615 4194304 4196468 140721073417744 139660732242704 139660798871253 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27318] ppid=27312 vsize=13980732 memory=1628 CPUtime=0.61 cores=0,2,4,6
/proc/27314/task/27318/stat : 27318 (java) S 27312 27312 8557 0 -1 1077944384 2781 0 0 0 47 14 0 0 20 0 15 0 122220928 14316269568 167487 18446744073709551615 4194304 4196468 140721073417744 139660731190416 139660798871253 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27319] ppid=27312 vsize=13980732 memory=14340 CPUtime=0.59 cores=0,2,4,6
/proc/27314/task/27319/stat : 27319 (java) S 27312 27312 8557 0 -1 1077944384 2806 0 0 0 46 13 0 0 20 0 15 0 122220928 14316269568 167487 18446744073709551615 4194304 4196468 140721073417744 139660730137616 139660798871253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27320] ppid=27312 vsize=13980732 memory=796 CPUtime=0.16 cores=0,2,4,6
/proc/27314/task/27320/stat : 27320 (java) S 27312 27312 8557 0 -1 1077944384 3474 0 0 0 14 2 0 0 20 0 15 0 122220929 14316269568 167487 18446744073709551615 4194304 4196468 140721073417744 139660277434480 139660798872194 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27321] ppid=27312 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27314/task/27321/stat : 27321 (java) S 27312 27312 8557 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 122220930 14316269568 167487 18446744073709551615 4194304 4196468 140721073417744 139660276380512 139660798871253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27322] ppid=27312 vsize=13980732 memory=669948 CPUtime=0 cores=0,2,4,6
/proc/27314/task/27322/stat : 27322 (java) S 27312 27312 8557 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 122220930 14316269568 167487 18446744073709551615 4194304 4196468 140721073417744 139660275328128 139660798871253 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27323] ppid=27312 vsize=13980732 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/27314/task/27323/stat : 27323 (java) S 27312 27312 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122220932 14316269568 167487 18446744073709551615 4194304 4196468 140721073417744 139660274276432 139660798879643 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27324] ppid=27312 vsize=13980732 memory=2384 CPUtime=4.99 cores=0,2,4,6
/proc/27314/task/27324/stat : 27324 (java) S 27312 27312 8557 0 -1 1077944384 17394 0 0 0 497 2 0 0 20 0 15 0 122220932 14316269568 167487 18446744073709551615 4194304 4196468 140721073417744 139660273224304 139660798872194 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27325] ppid=27312 vsize=13980732 memory=1672 CPUtime=5.13 cores=0,2,4,6
/proc/27314/task/27325/stat : 27325 (java) S 27312 27312 8557 0 -1 1077944384 17497 0 0 0 511 2 0 0 20 0 15 0 122220932 14316269568 167487 18446744073709551615 4194304 4196468 140721073417744 139660272171504 139660798872194 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27326] ppid=27312 vsize=13980732 memory=5768 CPUtime=1.09 cores=0,2,4,6
/proc/27314/task/27326/stat : 27326 (java) S 27312 27312 8557 0 -1 1077944384 11156 0 0 0 107 2 0 0 20 0 15 0 122220932 14316269568 167487 18446744073709551615 4194304 4196468 140721073417744 139660271119216 139660798872194 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27327] ppid=27312 vsize=13980732 memory=16436 CPUtime=0 cores=0,2,4,6
/proc/27314/task/27327/stat : 27327 (java) S 27312 27312 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122220932 14316269568 167487 18446744073709551615 4194304 4196468 140721073417744 139660270066656 139660798871253 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
[pid=27314/tid=27328] ppid=27312 vsize=13980732 memory=3904 CPUtime=0.09 cores=0,2,4,6
/proc/27314/task/27328/stat : 27328 (java) S 27312 27312 8557 0 -1 1077944384 1145 0 0 0 5 4 0 0 20 0 15 0 122220941 14316269568 167487 18446744073709551615 4194304 4196468 140721073417744 139660269013424 139660798872194 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10461184 140721073422769 140721073422945 140721073422945 140721073426383 0
Current children cumulated CPU time: 252.72 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 671328 KiB

Child status: 0
Real time (s): 239.848
CPU time (s): 252.817
CPU user time (s): 251.927
CPU system time (s): 0.890519
CPU usage (%): 105.407
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 1169144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.927
system time used= 0.890519
maximum resident set size= 1179072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87345
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10003
involuntary context switches= 420


# summary of solver processes directly reported to runsolver:
#   pid: 27312
#   total CPU time (s): 252.817
#   total CPU user time (s): 251.927
#   total CPU system time (s): 0.890519

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.26852 second user time and 2.57112 second system time

The end

Begin job on node126 at 2017-08-20 05:23:33
IDJOB=4283653
IDBENCH=125571
IDSOLVER=2679
FILE ID=node126/4283653-1503200259
RUNJOBID= node126-1503172173-21712
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= choco-solver 5a
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-4283653-1503200259/watcher-4283653-1503200259 -o /tmp/evaluation-result-4283653-1503200259/solver-4283653-1503200259 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1503172173-21712 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 62833358 HOME/instance-4283653-1503200259.xml

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

MD5SUM BENCH= a0d270dd535955910725fddfcfa0cde8
RANDOM SEED=62833358

node126.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.81
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.81
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.81
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.81
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:        30773392 kB
MemAvailable:   31382708 kB
Buffers:          317900 kB
Cached:           581552 kB
SwapCached:          524 kB
Active:          1145768 kB
Inactive:         379060 kB
Active(anon):     580944 kB
Inactive(anon):    93904 kB
Active(file):     564824 kB
Inactive(file):   285156 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67105588 kB
Dirty:              8180 kB
Writeback:             0 kB
AnonPages:        624336 kB
Mapped:            72316 kB
Shmem:             49824 kB
Slab:             177228 kB
SReclaimable:     150344 kB
SUnreclaim:        26884 kB
KernelStack:        3456 kB
PageTables:         6648 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1221368 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    559104 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 62016 MiB
End job on node126 at 2017-08-20 05:27:33