0.00/0.09	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4272373-1502768286.xml"  -tl '2520s' -p 1 -x 3
0.08/0.28	c [HOME/instance-4272373-1502768286.xml, -tl, 2520s, -p, 1, -x, 3]
0.25/0.34	c simple solver
0.25/0.41	c parse instance...
3.91/1.56	c solve instance...
250.41/238.09	s SATISFIABLE
250.41/238.09	v <instantiation>
250.41/238.09	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>
250.41/238.09	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>
250.41/238.10	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 (15196 MiB free)
  memory of node 1: 16384 MiB (14538 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272373-1502768286/watcher-4272373-1502768286 -o /tmp/evaluation-result-4272373-1502768286/solver-4272373-1502768286 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502649221-29000 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 588420810 HOME/instance-4272373-1502768286.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
solver pid=23890, runsolver pid=23887
Current StackSize limit: 8192 KiB


[startup+0.100108 s]*
/proc/loadavg: 1.30 1.63 1.67 2/201 23893
/proc/meminfo: memFree=30444836/32770624 swapFree=67108860/67108860
[pid=23890] ppid=23887 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23890/stat : 23890 (xcsp3-exec) S 23887 23890 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 30711206 9740288 345 18446744073709551615 4194304 5098028 140735816323888 140735816321992 140192441504380 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 39202816 140735816331642 140735816331846 140735816331846 140735816335339 0
/proc/23890/statm: 2378 345 289 221 0 87 0
[pid=23892] ppid=23890 vsize=13358712 memory=15884 CPUtime=0 cores=0,2,4,6
/proc/23892/stat : 23892 (java) S 23890 23890 7968 0 -1 1077944320 3263 0 0 0 0 0 0 0 20 0 6 0 30711216 13679321088 3971 18446744073709551615 4194304 4196468 140733305700976 140733305683520 140272443969271 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
/proc/23892/statm: 3339678 3971 1867 1 0 3329175 0
[pid=23892/tid=23893] ppid=23890 vsize=13358712 memory=7078076838863583841 CPUtime=0 cores=0,2,4,6
/proc/23892/task/23893/stat : 23893 (java) R 23890 23890 7968 0 -1 4202560 2028 0 0 0 0 0 0 0 20 0 6 0 30711216 13679321088 3971 18446744073709551615 4194304 4196468 140733305700976 140272448205392 140272443991197 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23894] ppid=23890 vsize=13358712 memory=4123389896250521363 CPUtime=0 cores=0,2,4,6
/proc/23892/task/23894/stat : 23894 (java) S 23890 23890 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 30711217 13679321088 3971 18446744073709551615 4194304 4196468 140733305700976 140272363383440 140272443979477 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23895] ppid=23890 vsize=13358712 memory=140659509945984 CPUtime=0 cores=0,2,4,6
/proc/23892/task/23895/stat : 23895 (java) S 23890 23890 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 30711217 13679321088 4037 18446744073709551615 4194304 4196468 140733305700976 140272362330640 140272443979477 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23896] ppid=23890 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23892/task/23896/stat : 23896 (java) S 23890 23890 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 30711217 13679321088 4037 18446744073709551615 4194304 4196468 140733305700976 140272361277840 140272443979477 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23897] ppid=23890 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23892/task/23897/stat : 23897 (java) S 23890 23890 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 30711217 13679321088 4037 18446744073709551615 4194304 4196468 140733305700976 140272360225040 140272443979477 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 17264 KiB

[startup+0.213042 s]*
/proc/loadavg: 1.30 1.63 1.67 3/214 23906
/proc/meminfo: memFree=30434980/32770624 swapFree=67108860/67108860
[pid=23890] ppid=23887 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23890/stat : 23890 (xcsp3-exec) S 23887 23890 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 30711206 9740288 345 18446744073709551615 4194304 5098028 140735816323888 140735816321992 140192441504380 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 39202816 140735816331642 140735816331846 140735816331846 140735816335339 0
/proc/23890/statm: 2378 345 289 221 0 87 0
[pid=23892] ppid=23890 vsize=13974352 memory=27960 CPUtime=0.08 cores=0,2,4,6
/proc/23892/stat : 23892 (java) S 23890 23890 7968 0 -1 1077944320 4883 0 0 0 6 2 0 0 20 0 15 0 30711216 14309736448 6990 18446744073709551615 4194304 4196468 140733305700976 140733305683520 140272443969271 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
/proc/23892/statm: 3493588 6990 2726 1 0 3482964 0
[pid=23892/tid=23893] ppid=23890 vsize=13974352 memory=7078076838863583841 CPUtime=0.06 cores=0,2,4,6
/proc/23892/task/23893/stat : 23893 (java) R 23890 23890 7968 0 -1 4202560 3047 0 0 0 5 1 0 0 20 0 15 0 30711216 14309736448 6990 18446744073709551615 4194304 4196468 140733305700976 140272448194960 140272437066163 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23894] ppid=23890 vsize=13974352 memory=4123389896250521363 CPUtime=0 cores=0,2,4,6
/proc/23892/task/23894/stat : 23894 (java) S 23890 23890 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 30711217 14309736448 6990 18446744073709551615 4194304 4196468 140733305700976 140272363383440 140272443979477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23895] ppid=23890 vsize=13974352 memory=140659509945984 CPUtime=0 cores=0,2,4,6
/proc/23892/task/23895/stat : 23895 (java) S 23890 23890 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 30711217 14309736448 6990 18446744073709551615 4194304 4196468 140733305700976 140272362330640 140272443979477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23896] ppid=23890 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23892/task/23896/stat : 23896 (java) S 23890 23890 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 30711217 14309736448 6990 18446744073709551615 4194304 4196468 140733305700976 140272361277840 140272443979477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23897] ppid=23890 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23892/task/23897/stat : 23897 (java) S 23890 23890 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 30711217 14309736448 6990 18446744073709551615 4194304 4196468 140733305700976 140272360225040 140272443979477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23898] ppid=23890 vsize=13974352 memory=140659509945984 CPUtime=0 cores=0,2,4,6
/proc/23892/task/23898/stat : 23898 (java) S 23890 23890 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 30711218 14309736448 6990 18446744073709551615 4194304 4196468 140733305700976 140271922158448 140272443980418 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23899] ppid=23890 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23892/task/23899/stat : 23899 (java) S 23890 23890 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 30711218 14309736448 6990 18446744073709551615 4194304 4196468 140733305700976 140271921104416 140272443979477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23900] ppid=23890 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23892/task/23900/stat : 23900 (java) S 23890 23890 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 30711219 14309736448 6990 18446744073709551615 4194304 4196468 140733305700976 140271920051568 140272443979477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23901] ppid=23890 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23892/task/23901/stat : 23901 (java) S 23890 23890 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30711221 14309736448 6990 18446744073709551615 4194304 4196468 140733305700976 140271918999888 140272443987867 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23902] ppid=23890 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23892/task/23902/stat : 23902 (java) R 23890 23890 7968 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 30711221 14309736448 6990 18446744073709551615 4194304 4196468 140733305700976 140271917947248 140272443980418 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23903] ppid=23890 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23892/task/23903/stat : 23903 (java) R 23890 23890 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 30711221 14309736448 6990 18446744073709551615 4194304 4196468 140733305700976 140271916894448 140272443980418 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23904] ppid=23890 vsize=13974352 memory=140659509945984 CPUtime=0 cores=0,2,4,6
/proc/23892/task/23904/stat : 23904 (java) S 23890 23890 7968 0 -1 1077944384 239 0 0 0 0 0 0 0 20 0 15 0 30711221 14309736448 6990 18446744073709551615 4194304 4196468 140733305700976 140271915841648 140272443980418 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23905] ppid=23890 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23892/task/23905/stat : 23905 (java) S 23890 23890 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30711221 14309736448 6990 18446744073709551615 4194304 4196468 140733305700976 140271914789088 140272443979477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23906] ppid=23890 vsize=13974352 memory=140659509945984 CPUtime=0 cores=0,2,4,6
/proc/23892/task/23906/stat : 23906 (java) S 23890 23890 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 30711226 14309736448 6990 18446744073709551615 4194304 4196468 140733305700976 140271913737392 140272443980418 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29340 KiB

[startup+0.310357 s]*
/proc/loadavg: 1.30 1.63 1.67 4/214 23906
/proc/meminfo: memFree=30421204/32770624 swapFree=67108860/67108860
[pid=23890] ppid=23887 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23890/stat : 23890 (xcsp3-exec) S 23887 23890 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 30711206 9740288 345 18446744073709551615 4194304 5098028 140735816323888 140735816321992 140192441504380 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 39202816 140735816331642 140735816331846 140735816331846 140735816335339 0
/proc/23890/statm: 2378 345 289 221 0 87 0
[pid=23892] ppid=23890 vsize=13974352 memory=37312 CPUtime=0.25 cores=0,2,4,6
/proc/23892/stat : 23892 (java) S 23890 23890 7968 0 -1 1077944320 8347 0 0 0 22 3 0 0 20 0 15 0 30711216 14309736448 9328 18446744073709551615 4194304 4196468 140733305700976 140733305683520 140272443969271 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
/proc/23892/statm: 3493588 9328 2982 1 0 3482964 0
[pid=23892/tid=23893] ppid=23890 vsize=13974352 memory=4278483708103473607 CPUtime=0.16 cores=0,2,4,6
/proc/23892/task/23893/stat : 23893 (java) R 23890 23890 7968 0 -1 4202560 5686 0 0 0 14 2 0 0 20 0 15 0 30711216 14309736448 9328 18446744073709551615 4194304 4196468 140733305700976 140272448183936 140272443991197 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23894] ppid=23890 vsize=13974352 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/23892/task/23894/stat : 23894 (java) S 23890 23890 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 30711217 14309736448 9328 18446744073709551615 4194304 4196468 140733305700976 140272363383440 140272443979477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23895] ppid=23890 vsize=13974352 memory=140659509956577 CPUtime=0 cores=0,2,4,6
/proc/23892/task/23895/stat : 23895 (java) S 23890 23890 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 30711217 14309736448 9328 18446744073709551615 4194304 4196468 140733305700976 140272362330640 140272443979477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23896] ppid=23890 vsize=13974352 memory=7019536576739567725 CPUtime=0 cores=0,2,4,6
/proc/23892/task/23896/stat : 23896 (java) S 23890 23890 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 30711217 14309736448 9328 18446744073709551615 4194304 4196468 140733305700976 140272361277840 140272443979477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23897] ppid=23890 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23892/task/23897/stat : 23897 (java) S 23890 23890 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 30711217 14309736448 9328 18446744073709551615 4194304 4196468 140733305700976 140272360225040 140272443979477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23898] ppid=23890 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23892/task/23898/stat : 23898 (java) S 23890 23890 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 30711218 14309736448 9328 18446744073709551615 4194304 4196468 140733305700976 140271922158448 140272443980418 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23899] ppid=23890 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23892/task/23899/stat : 23899 (java) S 23890 23890 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 30711218 14309736448 9328 18446744073709551615 4194304 4196468 140733305700976 140271921104416 140272443979477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23900] ppid=23890 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23892/task/23900/stat : 23900 (java) S 23890 23890 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 30711219 14309736448 9328 18446744073709551615 4194304 4196468 140733305700976 140271920051568 140272443979477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23901] ppid=23890 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23892/task/23901/stat : 23901 (java) S 23890 23890 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30711221 14309736448 9328 18446744073709551615 4194304 4196468 140733305700976 140271918999888 140272443987867 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23902] ppid=23890 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/23892/task/23902/stat : 23902 (java) S 23890 23890 7968 0 -1 1077944384 601 0 0 0 1 0 0 0 20 0 15 0 30711221 14309736448 9328 18446744073709551615 4194304 4196468 140733305700976 140271917947248 140272443980418 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23903] ppid=23890 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/23892/task/23903/stat : 23903 (java) R 23890 23890 7968 0 -1 4202560 71 0 0 0 1 0 0 0 20 0 15 0 30711221 14309736448 9328 18446744073709551615 4194304 4196468 140733305700976 140271916894448 140272424669886 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23904] ppid=23890 vsize=13974352 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/23892/task/23904/stat : 23904 (java) S 23890 23890 7968 0 -1 1077944384 686 0 0 0 5 0 0 0 20 0 15 0 30711221 14309736448 9328 18446744073709551615 4194304 4196468 140733305700976 140271915841648 140272443980418 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23905] ppid=23890 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23892/task/23905/stat : 23905 (java) S 23890 23890 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30711221 14309736448 9328 18446744073709551615 4194304 4196468 140733305700976 140271914789088 140272443979477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23906] ppid=23890 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23892/task/23906/stat : 23906 (java) S 23890 23890 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 30711226 14309736448 9328 18446744073709551615 4194304 4196468 140733305700976 140271913737392 140272443980418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38692 KiB

[startup+0.704879 s]
/proc/loadavg: 1.30 1.63 1.67 5/214 23906
/proc/meminfo: memFree=30408328/32770624 swapFree=67108860/67108860
[pid=23890] ppid=23887 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23890/stat : 23890 (xcsp3-exec) S 23887 23890 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 30711206 9740288 345 18446744073709551615 4194304 5098028 140735816323888 140735816321992 140192441504380 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 39202816 140735816331642 140735816331846 140735816331846 140735816335339 0
/proc/23890/statm: 2378 345 289 221 0 87 0
[pid=23892] ppid=23890 vsize=13978684 memory=79416 CPUtime=1.37 cores=0,2,4,6
/proc/23892/stat : 23892 (java) S 23890 23890 7968 0 -1 1077944320 13491 0 0 0 130 7 0 0 20 0 15 0 30711216 14314172416 19854 18446744073709551615 4194304 4196468 140733305700976 140733305683520 140272443969271 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
/proc/23892/statm: 3494671 19854 3161 1 0 3482964 0
[pid=23892/tid=23893] ppid=23890 vsize=13978684 memory=1249 CPUtime=0.54 cores=0,2,4,6
/proc/23892/task/23893/stat : 23893 (java) R 23890 23890 7968 0 -1 4202560 7414 0 0 0 50 4 0 0 20 0 15 0 30711216 14314172416 19854 18446744073709551615 4194304 4196468 140733305700976 140272448201696 140272443990618 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23894] ppid=23890 vsize=13978684 memory=662364497384251448 CPUtime=0 cores=0,2,4,6
/proc/23892/task/23894/stat : 23894 (java) S 23890 23890 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 30711217 14314172416 19854 18446744073709551615 4194304 4196468 140733305700976 140272363383440 140272443979477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23895] ppid=23890 vsize=13978684 memory=662364497384251440 CPUtime=0 cores=0,2,4,6
/proc/23892/task/23895/stat : 23895 (java) S 23890 23890 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 30711217 14314172416 19854 18446744073709551615 4194304 4196468 140733305700976 140272362330640 140272443979477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23896] ppid=23890 vsize=13978684 memory=140659373679856 CPUtime=0 cores=0,2,4,6
/proc/23892/task/23896/stat : 23896 (java) S 23890 23890 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 30711217 14314172416 19854 18446744073709551615 4194304 4196468 140733305700976 140272361277840 140272443979477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23897] ppid=23890 vsize=13978684 memory=4124 CPUtime=0 cores=0,2,4,6
/proc/23892/task/23897/stat : 23897 (java) S 23890 23890 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 30711217 14314172416 19854 18446744073709551615 4194304 4196468 140733305700976 140272360225040 140272443979477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23898] ppid=23890 vsize=13978684 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/23892/task/23898/stat : 23898 (java) S 23890 23890 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 30711218 14314172416 19854 18446744073709551615 4194304 4196468 140733305700976 140271922158448 140272443980418 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23899] ppid=23890 vsize=13978684 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/23892/task/23899/stat : 23899 (java) S 23890 23890 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 30711218 14314172416 19854 18446744073709551615 4194304 4196468 140733305700976 140271921104416 140272443979477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23900] ppid=23890 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23892/task/23900/stat : 23900 (java) S 23890 23890 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 30711219 14314172416 19854 18446744073709551615 4194304 4196468 140733305700976 140271920051568 140272443979477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23901] ppid=23890 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23892/task/23901/stat : 23901 (java) S 23890 23890 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30711221 14314172416 19854 18446744073709551615 4194304 4196468 140733305700976 140271918999888 140272443987867 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23902] ppid=23890 vsize=13978684 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/23892/task/23902/stat : 23902 (java) R 23890 23890 7968 0 -1 4202560 1734 0 0 0 24 0 0 0 20 0 15 0 30711221 14314172416 19854 18446744073709551615 4194304 4196468 140733305700976 140271917928080 140272423658373 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23903] ppid=23890 vsize=13978684 memory=30305 CPUtime=0.23 cores=0,2,4,6
/proc/23892/task/23903/stat : 23903 (java) R 23890 23890 7968 0 -1 4202560 1102 0 0 0 23 0 0 0 20 0 15 0 30711221 14314172416 19854 18446744073709551615 4194304 4196468 140733305700976 140271916881296 140272436258725 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23904] ppid=23890 vsize=13978684 memory=0 CPUtime=0.32 cores=0,2,4,6
/proc/23892/task/23904/stat : 23904 (java) R 23890 23890 7968 0 -1 1077944384 1933 0 0 0 31 1 0 0 20 0 15 0 30711221 14314172416 19854 18446744073709551615 4194304 4196468 140733305700976 140271915840048 140272443979477 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23905] ppid=23890 vsize=13978684 memory=3533419649945857448 CPUtime=0 cores=0,2,4,6
/proc/23892/task/23905/stat : 23905 (java) S 23890 23890 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30711221 14314172416 19854 18446744073709551615 4194304 4196468 140733305700976 140271914789088 140272443979477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23906] ppid=23890 vsize=13978684 memory=4206186544037388384 CPUtime=0 cores=0,2,4,6
/proc/23892/task/23906/stat : 23906 (java) S 23890 23890 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 30711226 14314172416 19854 18446744073709551615 4194304 4196468 140733305700976 140271913737392 140272443980418 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
Current children cumulated CPU time: 1.37 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 80796 KiB

[startup+1.50137 s]
/proc/loadavg: 1.30 1.63 1.67 5/214 23906
/proc/meminfo: memFree=30341588/32770624 swapFree=67108860/67108860
[pid=23890] ppid=23887 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23890/stat : 23890 (xcsp3-exec) S 23887 23890 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 30711206 9740288 345 18446744073709551615 4194304 5098028 140735816323888 140735816321992 140192441504380 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 39202816 140735816331642 140735816331846 140735816331846 140735816335339 0
/proc/23890/statm: 2378 345 289 221 0 87 0
[pid=23892] ppid=23890 vsize=13980732 memory=227048 CPUtime=3.91 cores=0,2,4,6
/proc/23892/stat : 23892 (java) S 23890 23890 7968 0 -1 1077944320 21940 0 0 0 377 14 0 0 20 0 15 0 30711216 14316269568 56762 18446744073709551615 4194304 4196468 140733305700976 140733305683520 140272443969271 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
/proc/23892/statm: 3495183 56762 3217 1 0 3483476 0
[pid=23892/tid=23893] ppid=23890 vsize=13980732 memory=502 CPUtime=1.29 cores=0,2,4,6
/proc/23892/task/23893/stat : 23893 (java) R 23890 23890 7968 0 -1 4202560 8951 0 0 0 123 6 0 0 20 0 15 0 30711216 14316269568 56762 18446744073709551615 4194304 4196468 140733305700976 140272448206464 140272443990618 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23894] ppid=23890 vsize=13980732 memory=245 CPUtime=0.02 cores=0,2,4,6
/proc/23892/task/23894/stat : 23894 (java) S 23890 23890 7968 0 -1 1077944384 30 0 0 0 1 1 0 0 20 0 15 0 30711217 14316269568 56762 18446744073709551615 4194304 4196468 140733305700976 140272363383440 140272443979477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23895] ppid=23890 vsize=13980732 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/23892/task/23895/stat : 23895 (java) S 23890 23890 7968 0 -1 1077944384 126 0 0 0 2 1 0 0 20 0 15 0 30711217 14316269568 56762 18446744073709551615 4194304 4196468 140733305700976 140272362330640 140272443979477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23896] ppid=23890 vsize=13980732 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/23892/task/23896/stat : 23896 (java) S 23890 23890 7968 0 -1 1077944384 491 0 0 0 2 1 0 0 20 0 15 0 30711217 14316269568 56762 18446744073709551615 4194304 4196468 140733305700976 140272361277840 140272443979477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23897] ppid=23890 vsize=13980732 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/23892/task/23897/stat : 23897 (java) S 23890 23890 7968 0 -1 1077944384 220 0 0 0 1 1 0 0 20 0 15 0 30711217 14316269568 56762 18446744073709551615 4194304 4196468 140733305700976 140272360225040 140272443979477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23898] ppid=23890 vsize=13980732 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/23892/task/23898/stat : 23898 (java) S 23890 23890 7968 0 -1 1077944384 283 0 0 0 0 0 0 0 20 0 15 0 30711218 14316269568 56762 18446744073709551615 4194304 4196468 140733305700976 140271922158448 140272443980418 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23899] ppid=23890 vsize=13980732 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/23892/task/23899/stat : 23899 (java) S 23890 23890 7968 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 30711218 14316269568 56762 18446744073709551615 4194304 4196468 140733305700976 140271921104416 140272443979477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23900] ppid=23890 vsize=13980732 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6

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

/proc/meminfo: memFree=29575396/32770624 swapFree=67108860/67108860
[pid=23890] ppid=23887 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23890/stat : 23890 (xcsp3-exec) S 23887 23890 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 30711206 9740288 345 18446744073709551615 4194304 5098028 140735816323888 140735816321992 140192441504380 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 39202816 140735816331642 140735816331846 140735816331846 140735816335339 0
/proc/23890/statm: 2378 345 289 221 0 87 0
[pid=23892] ppid=23890 vsize=13982780 memory=665560 CPUtime=249.2 cores=0,2,4,6
/proc/23892/stat : 23892 (java) S 23890 23890 7968 0 -1 1077944320 80858 0 0 0 24827 93 0 0 20 0 15 0 30711216 14318366720 166390 18446744073709551615 4194304 4196468 140733305700976 140733305683520 140272443969271 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
/proc/23892/statm: 3495695 166390 3263 1 0 3483988 0
[pid=23892/tid=23893] ppid=23890 vsize=13982780 memory=754720 CPUtime=235.8 cores=0,2,4,6
/proc/23892/task/23893/stat : 23893 (java) R 23890 23890 7968 0 -1 4202560 23964 0 0 0 23559 21 0 0 20 0 15 0 30711216 14318366720 166390 18446744073709551615 4194304 4196468 140733305700976 140272448208280 140272045958042 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23894] ppid=23890 vsize=13982780 memory=1380 CPUtime=0.6 cores=0,2,4,6
/proc/23892/task/23894/stat : 23894 (java) S 23890 23890 7968 0 -1 1077944384 1745 0 0 0 46 14 0 0 20 0 15 0 30711217 14318366720 166390 18446744073709551615 4194304 4196468 140733305700976 140272363383440 140272443979477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23895] ppid=23890 vsize=13982780 memory=2424 CPUtime=0.61 cores=0,2,4,6
/proc/23892/task/23895/stat : 23895 (java) S 23890 23890 7968 0 -1 1077944384 2610 0 0 0 46 15 0 0 20 0 15 0 30711217 14318366720 166390 18446744073709551615 4194304 4196468 140733305700976 140272362330640 140272443979477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23896] ppid=23890 vsize=13982780 memory=1296 CPUtime=0.6 cores=0,2,4,6
/proc/23892/task/23896/stat : 23896 (java) S 23890 23890 7968 0 -1 1077944384 1356 0 0 0 46 14 0 0 20 0 15 0 30711217 14318366720 166390 18446744073709551615 4194304 4196468 140733305700976 140272361277840 140272443979477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23897] ppid=23890 vsize=13982780 memory=1732 CPUtime=0.61 cores=0,2,4,6
/proc/23892/task/23897/stat : 23897 (java) S 23890 23890 7968 0 -1 1077944384 3557 0 0 0 46 15 0 0 20 0 15 0 30711217 14318366720 166390 18446744073709551615 4194304 4196468 140733305700976 140272360225040 140272443979477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23898] ppid=23890 vsize=13982780 memory=1380 CPUtime=0.15 cores=0,2,4,6
/proc/23892/task/23898/stat : 23898 (java) S 23890 23890 7968 0 -1 1077944384 3185 0 0 0 13 2 0 0 20 0 15 0 30711218 14318366720 166390 18446744073709551615 4194304 4196468 140733305700976 140271922158448 140272443980418 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23899] ppid=23890 vsize=13982780 memory=801348 CPUtime=0 cores=0,2,4,6
/proc/23892/task/23899/stat : 23899 (java) S 23890 23890 7968 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 30711218 14318366720 166390 18446744073709551615 4194304 4196468 140733305700976 140271921104480 140272443979477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23900] ppid=23890 vsize=13982780 memory=3076 CPUtime=0 cores=0,2,4,6
/proc/23892/task/23900/stat : 23900 (java) S 23890 23890 7968 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 30711219 14318366720 166390 18446744073709551615 4194304 4196468 140733305700976 140271920051584 140272443979477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23901] ppid=23890 vsize=13982780 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/23892/task/23901/stat : 23901 (java) S 23890 23890 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30711221 14318366720 166390 18446744073709551615 4194304 4196468 140733305700976 140271918999888 140272443987867 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23902] ppid=23890 vsize=13982780 memory=1440 CPUtime=4.91 cores=0,2,4,6
/proc/23892/task/23902/stat : 23902 (java) S 23890 23890 7968 0 -1 1077944384 14380 0 0 0 489 2 0 0 20 0 15 0 30711221 14318366720 166390 18446744073709551615 4194304 4196468 140733305700976 140271917947248 140272443980418 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23903] ppid=23890 vsize=13982780 memory=1380 CPUtime=4.63 cores=0,2,4,6
/proc/23892/task/23903/stat : 23903 (java) S 23890 23890 7968 0 -1 1077944384 14808 0 0 0 462 1 0 0 20 0 15 0 30711221 14318366720 166390 18446744073709551615 4194304 4196468 140733305700976 140271916894448 140272443980418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23904] ppid=23890 vsize=13982780 memory=4124 CPUtime=1.09 cores=0,2,4,6
/proc/23892/task/23904/stat : 23904 (java) S 23890 23890 7968 0 -1 1077944384 12953 0 0 0 107 2 0 0 20 0 15 0 30711221 14318366720 166390 18446744073709551615 4194304 4196468 140733305700976 140271915841648 140272443980418 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23905] ppid=23890 vsize=13982780 memory=19132 CPUtime=0 cores=0,2,4,6
/proc/23892/task/23905/stat : 23905 (java) S 23890 23890 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30711221 14318366720 166390 18446744073709551615 4194304 4196468 140733305700976 140271914789088 140272443979477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23906] ppid=23890 vsize=13982780 memory=1380 CPUtime=0.09 cores=0,2,4,6
/proc/23892/task/23906/stat : 23906 (java) S 23890 23890 7968 0 -1 1077944384 929 0 0 0 4 5 0 0 20 0 15 0 30711226 14318366720 166390 18446744073709551615 4194304 4196468 140733305700976 140271913737392 140272443980418 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
Current children cumulated CPU time: 249.2 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 666940 KiB

[startup+237.601 s]
/proc/loadavg: 1.67 1.65 1.68 3/213 23923
/proc/meminfo: memFree=29553844/32770624 swapFree=67108860/67108860
[pid=23890] ppid=23887 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23890/stat : 23890 (xcsp3-exec) S 23887 23890 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 30711206 9740288 345 18446744073709551615 4194304 5098028 140735816323888 140735816321992 140192441504380 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 39202816 140735816331642 140735816331846 140735816331846 140735816335339 0
/proc/23890/statm: 2378 345 289 221 0 87 0
[pid=23892] ppid=23890 vsize=13982780 memory=665560 CPUtime=250 cores=0,2,4,6
/proc/23892/stat : 23892 (java) S 23890 23890 7968 0 -1 1077944320 80859 0 0 0 24907 93 0 0 20 0 15 0 30711216 14318366720 166390 18446744073709551615 4194304 4196468 140733305700976 140733305683520 140272443969271 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
/proc/23892/statm: 3495695 166390 3263 1 0 3483988 0
[pid=23892/tid=23893] ppid=23890 vsize=13982780 memory=1228 CPUtime=236.6 cores=0,2,4,6
/proc/23892/task/23893/stat : 23893 (java) R 23890 23890 7968 0 -1 4202560 23965 0 0 0 23639 21 0 0 20 0 15 0 30711216 14318366720 166390 18446744073709551615 4194304 4196468 140733305700976 140272448208280 140272042432325 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23894] ppid=23890 vsize=13982780 memory=1000 CPUtime=0.6 cores=0,2,4,6
/proc/23892/task/23894/stat : 23894 (java) S 23890 23890 7968 0 -1 1077944384 1745 0 0 0 46 14 0 0 20 0 15 0 30711217 14318366720 166390 18446744073709551615 4194304 4196468 140733305700976 140272363383440 140272443979477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23895] ppid=23890 vsize=13982780 memory=2012 CPUtime=0.61 cores=0,2,4,6
/proc/23892/task/23895/stat : 23895 (java) S 23890 23890 7968 0 -1 1077944384 2610 0 0 0 46 15 0 0 20 0 15 0 30711217 14318366720 166390 18446744073709551615 4194304 4196468 140733305700976 140272362330640 140272443979477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23896] ppid=23890 vsize=13982780 memory=5520 CPUtime=0.6 cores=0,2,4,6
/proc/23892/task/23896/stat : 23896 (java) S 23890 23890 7968 0 -1 1077944384 1356 0 0 0 46 14 0 0 20 0 15 0 30711217 14318366720 166390 18446744073709551615 4194304 4196468 140733305700976 140272361277840 140272443979477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23897] ppid=23890 vsize=13982780 memory=4612 CPUtime=0.61 cores=0,2,4,6
/proc/23892/task/23897/stat : 23897 (java) S 23890 23890 7968 0 -1 1077944384 3557 0 0 0 46 15 0 0 20 0 15 0 30711217 14318366720 166390 18446744073709551615 4194304 4196468 140733305700976 140272360225040 140272443979477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23898] ppid=23890 vsize=13982780 memory=792 CPUtime=0.15 cores=0,2,4,6
/proc/23892/task/23898/stat : 23898 (java) S 23890 23890 7968 0 -1 1077944384 3185 0 0 0 13 2 0 0 20 0 15 0 30711218 14318366720 166390 18446744073709551615 4194304 4196468 140733305700976 140271922158448 140272443980418 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23899] ppid=23890 vsize=13982780 memory=8696 CPUtime=0 cores=0,2,4,6
/proc/23892/task/23899/stat : 23899 (java) S 23890 23890 7968 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 30711218 14318366720 166390 18446744073709551615 4194304 4196468 140733305700976 140271921104480 140272443979477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23900] ppid=23890 vsize=13982780 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/23892/task/23900/stat : 23900 (java) S 23890 23890 7968 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 30711219 14318366720 166390 18446744073709551615 4194304 4196468 140733305700976 140271920051584 140272443979477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23901] ppid=23890 vsize=13982780 memory=9916 CPUtime=0 cores=0,2,4,6
/proc/23892/task/23901/stat : 23901 (java) S 23890 23890 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30711221 14318366720 166390 18446744073709551615 4194304 4196468 140733305700976 140271918999888 140272443987867 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23902] ppid=23890 vsize=13982780 memory=1200 CPUtime=4.91 cores=0,2,4,6
/proc/23892/task/23902/stat : 23902 (java) S 23890 23890 7968 0 -1 1077944384 14380 0 0 0 489 2 0 0 20 0 15 0 30711221 14318366720 166390 18446744073709551615 4194304 4196468 140733305700976 140271917947248 140272443980418 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23903] ppid=23890 vsize=13982780 memory=15872 CPUtime=4.63 cores=0,2,4,6
/proc/23892/task/23903/stat : 23903 (java) S 23890 23890 7968 0 -1 1077944384 14808 0 0 0 462 1 0 0 20 0 15 0 30711221 14318366720 166390 18446744073709551615 4194304 4196468 140733305700976 140271916894448 140272443980418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23904] ppid=23890 vsize=13982780 memory=4040 CPUtime=1.09 cores=0,2,4,6
/proc/23892/task/23904/stat : 23904 (java) S 23890 23890 7968 0 -1 1077944384 12953 0 0 0 107 2 0 0 20 0 15 0 30711221 14318366720 166390 18446744073709551615 4194304 4196468 140733305700976 140271915841648 140272443980418 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23905] ppid=23890 vsize=13982780 memory=16444 CPUtime=0 cores=0,2,4,6
/proc/23892/task/23905/stat : 23905 (java) S 23890 23890 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30711221 14318366720 166390 18446744073709551615 4194304 4196468 140733305700976 140271914789088 140272443979477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23906] ppid=23890 vsize=13982780 memory=12064 CPUtime=0.09 cores=0,2,4,6
/proc/23892/task/23906/stat : 23906 (java) S 23890 23890 7968 0 -1 1077944384 929 0 0 0 4 5 0 0 20 0 15 0 30711226 14318366720 166390 18446744073709551615 4194304 4196468 140733305700976 140271913737392 140272443980418 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
Current children cumulated CPU time: 250 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 666940 KiB

[startup+238.001 s]*
/proc/loadavg: 1.67 1.65 1.68 3/213 23923
/proc/meminfo: memFree=29553556/32770624 swapFree=67108860/67108860
[pid=23890] ppid=23887 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23890/stat : 23890 (xcsp3-exec) S 23887 23890 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 30711206 9740288 345 18446744073709551615 4194304 5098028 140735816323888 140735816321992 140192441504380 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 39202816 140735816331642 140735816331846 140735816331846 140735816335339 0
/proc/23890/statm: 2378 345 289 221 0 87 0
[pid=23892] ppid=23890 vsize=13982780 memory=665560 CPUtime=250.41 cores=0,2,4,6
/proc/23892/stat : 23892 (java) S 23890 23890 7968 0 -1 1077944320 80866 0 0 0 24948 93 0 0 20 0 15 0 30711216 14318366720 166390 18446744073709551615 4194304 4196468 140733305700976 140733305683520 140272443969271 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
/proc/23892/statm: 3495695 166390 3263 1 0 3483988 0
[pid=23892/tid=23893] ppid=23890 vsize=13982780 memory=1700 CPUtime=237.01 cores=0,2,4,6
/proc/23892/task/23893/stat : 23893 (java) R 23890 23890 7968 0 -1 4202560 23965 0 0 0 23680 21 0 0 20 0 15 0 30711216 14318366720 166390 18446744073709551615 4194304 4196468 140733305700976 140272448208280 140272045292583 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23894] ppid=23890 vsize=13982780 memory=-7003737579269690708 CPUtime=0.6 cores=0,2,4,6
/proc/23892/task/23894/stat : 23894 (java) S 23890 23890 7968 0 -1 1077944384 1745 0 0 0 46 14 0 0 20 0 15 0 30711217 14318366720 166390 18446744073709551615 4194304 4196468 140733305700976 140272363383440 140272443979477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23895] ppid=23890 vsize=13982780 memory=665560 CPUtime=0.61 cores=0,2,4,6
/proc/23892/task/23895/stat : 23895 (java) S 23890 23890 7968 0 -1 1077944384 2610 0 0 0 46 15 0 0 20 0 15 0 30711217 14318366720 166390 18446744073709551615 4194304 4196468 140733305700976 140272362330640 140272443979477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23896] ppid=23890 vsize=13982780 memory=9916 CPUtime=0.6 cores=0,2,4,6
/proc/23892/task/23896/stat : 23896 (java) S 23890 23890 7968 0 -1 1077944384 1356 0 0 0 46 14 0 0 20 0 15 0 30711217 14318366720 166390 18446744073709551615 4194304 4196468 140733305700976 140272361277840 140272443979477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23897] ppid=23890 vsize=13982780 memory=1200 CPUtime=0.61 cores=0,2,4,6
/proc/23892/task/23897/stat : 23897 (java) S 23890 23890 7968 0 -1 1077944384 3557 0 0 0 46 15 0 0 20 0 15 0 30711217 14318366720 166390 18446744073709551615 4194304 4196468 140733305700976 140272360225040 140272443979477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23898] ppid=23890 vsize=13982780 memory=1380 CPUtime=0.15 cores=0,2,4,6
/proc/23892/task/23898/stat : 23898 (java) S 23890 23890 7968 0 -1 1077944384 3185 0 0 0 13 2 0 0 20 0 15 0 30711218 14318366720 166390 18446744073709551615 4194304 4196468 140733305700976 140271922158448 140272443980418 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23899] ppid=23890 vsize=13982780 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/23892/task/23899/stat : 23899 (java) S 23890 23890 7968 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 30711218 14318366720 166390 18446744073709551615 4194304 4196468 140733305700976 140271921104480 140272443979477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23900] ppid=23890 vsize=13982780 memory=281318748927296 CPUtime=0 cores=0,2,4,6
/proc/23892/task/23900/stat : 23900 (java) S 23890 23890 7968 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 30711219 14318366720 166390 18446744073709551615 4194304 4196468 140733305700976 140271920051584 140272443979477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23901] ppid=23890 vsize=13982780 memory=288230617509003574 CPUtime=0 cores=0,2,4,6
/proc/23892/task/23901/stat : 23901 (java) S 23890 23890 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30711221 14318366720 166390 18446744073709551615 4194304 4196468 140733305700976 140271918999888 140272443987867 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23902] ppid=23890 vsize=13982780 memory=14410436439181270 CPUtime=4.92 cores=0,2,4,6
/proc/23892/task/23902/stat : 23902 (java) S 23890 23890 7968 0 -1 1077944384 14384 0 0 0 490 2 0 0 20 0 15 0 30711221 14318366720 166390 18446744073709551615 4194304 4196468 140733305700976 140271917947248 140272443980418 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23903] ppid=23890 vsize=13982780 memory=1296 CPUtime=4.63 cores=0,2,4,6
/proc/23892/task/23903/stat : 23903 (java) S 23890 23890 7968 0 -1 1077944384 14811 0 0 0 462 1 0 0 20 0 15 0 30711221 14318366720 166390 18446744073709551615 4194304 4196468 140733305700976 140271916894448 140272443980418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23904] ppid=23890 vsize=13982780 memory=1732 CPUtime=1.09 cores=0,2,4,6
/proc/23892/task/23904/stat : 23904 (java) S 23890 23890 7968 0 -1 1077944384 12953 0 0 0 107 2 0 0 20 0 15 0 30711221 14318366720 166390 18446744073709551615 4194304 4196468 140733305700976 140271915841648 140272443980418 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23905] ppid=23890 vsize=13982780 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23892/task/23905/stat : 23905 (java) S 23890 23890 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30711221 14318366720 166390 18446744073709551615 4194304 4196468 140733305700976 140271914789088 140272443979477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23906] ppid=23890 vsize=13982780 memory=709060 CPUtime=0.09 cores=0,2,4,6
/proc/23892/task/23906/stat : 23906 (java) S 23890 23890 7968 0 -1 1077944384 929 0 0 0 4 5 0 0 20 0 15 0 30711226 14318366720 166390 18446744073709551615 4194304 4196468 140733305700976 140271913737392 140272443980418 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
Current children cumulated CPU time: 250.41 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 666940 KiB

[startup+238.11 s]
/proc/loadavg: 1.67 1.65 1.68 3/213 23923
/proc/meminfo: memFree=29553556/32770624 swapFree=67108860/67108860
[pid=23890] ppid=23887 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23890/stat : 23890 (xcsp3-exec) S 23887 23890 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 30711206 9740288 345 18446744073709551615 4194304 5098028 140735816323888 140735816321992 140192441504380 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 39202816 140735816331642 140735816331846 140735816331846 140735816335339 0
/proc/23890/statm: 2378 345 289 221 0 87 0
[pid=23892] ppid=23890 vsize=13982780 memory=665592 CPUtime=250.57 cores=0,2,4,6
/proc/23892/stat : 23892 (java) S 23890 23890 7968 0 -1 1077944320 80980 0 0 0 24963 94 0 0 20 0 14 0 30711216 14318366720 166398 18446744073709551615 4194304 4196468 140733305700976 140733305683520 140272443969271 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
/proc/23892/statm: 3495695 166398 3265 1 0 3483988 0
[pid=23892/tid=23893] ppid=23890 vsize=13982780 memory=665560 CPUtime=237.1 cores=0,2,4,6
/proc/23892/task/23893/stat : 23893 (java) S 23890 23890 7968 0 -1 1077944384 23980 0 0 0 23689 21 0 0 20 0 14 0 30711216 14318366720 166398 18446744073709551615 4194304 4196468 140733305700976 140272448212112 140272443979477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23894] ppid=23890 vsize=13982780 memory=1380 CPUtime=0.6 cores=0,2,4,6
/proc/23892/task/23894/stat : 23894 (java) S 23890 23890 7968 0 -1 1077944384 1745 0 0 0 46 14 0 0 20 0 14 0 30711217 14318366720 166398 18446744073709551615 4194304 4196468 140733305700976 140272363383440 140272443979477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23895] ppid=23890 vsize=13982780 memory=853052 CPUtime=0.61 cores=0,2,4,6
/proc/23892/task/23895/stat : 23895 (java) S 23890 23890 7968 0 -1 1077944384 2610 0 0 0 46 15 0 0 20 0 14 0 30711217 14318366720 166398 18446744073709551615 4194304 4196468 140733305700976 140272362330640 140272443979477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23896] ppid=23890 vsize=13982780 memory=1380 CPUtime=0.6 cores=0,2,4,6
/proc/23892/task/23896/stat : 23896 (java) S 23890 23890 7968 0 -1 1077944384 1356 0 0 0 46 14 0 0 20 0 14 0 30711217 14318366720 166398 18446744073709551615 4194304 4196468 140733305700976 140272361277840 140272443979477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23897] ppid=23890 vsize=13982780 memory=1236 CPUtime=0.61 cores=0,2,4,6
/proc/23892/task/23897/stat : 23897 (java) S 23890 23890 7968 0 -1 1077944384 3557 0 0 0 46 15 0 0 20 0 14 0 30711217 14318366720 166398 18446744073709551615 4194304 4196468 140733305700976 140272360225040 140272443979477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23898] ppid=23890 vsize=13982780 memory=1296 CPUtime=0.15 cores=0,2,4,6
/proc/23892/task/23898/stat : 23898 (java) S 23890 23890 7968 0 -1 1077944384 3185 0 0 0 13 2 0 0 20 0 14 0 30711218 14318366720 166398 18446744073709551615 4194304 4196468 140733305700976 140271922158656 140272443980418 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23899] ppid=23890 vsize=13982780 memory=1732 CPUtime=0 cores=0,2,4,6
/proc/23892/task/23899/stat : 23899 (java) S 23890 23890 7968 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 14 0 30711218 14318366720 166398 18446744073709551615 4194304 4196468 140733305700976 140271921104480 140272443979477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23900] ppid=23890 vsize=13982780 memory=754720 CPUtime=0 cores=0,2,4,6
/proc/23892/task/23900/stat : 23900 (java) S 23890 23890 7968 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 14 0 30711219 14318366720 166398 18446744073709551615 4194304 4196468 140733305700976 140271920051584 140272443979477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23901] ppid=23890 vsize=13982780 memory=4124 CPUtime=0 cores=0,2,4,6
/proc/23892/task/23901/stat : 23901 (java) S 23890 23890 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 14 0 30711221 14318366720 166398 18446744073709551615 4194304 4196468 140733305700976 140271918999536 140272443979477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23902] ppid=23890 vsize=13982780 memory=761376 CPUtime=4.94 cores=0,2,4,6
/proc/23892/task/23902/stat : 23902 (java) S 23890 23890 7968 0 -1 1077944384 14425 0 0 0 492 2 0 0 20 0 14 0 30711221 14318366720 166398 18446744073709551615 4194304 4196468 140733305700976 140271917926032 140272443979477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23903] ppid=23890 vsize=13982780 memory=1380 CPUtime=4.66 cores=0,2,4,6
/proc/23892/task/23903/stat : 23903 (java) S 23890 23890 7968 0 -1 1077944384 14838 0 0 0 465 1 0 0 20 0 14 0 30711221 14318366720 166398 18446744073709551615 4194304 4196468 140733305700976 140271916878960 140272443979477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23904] ppid=23890 vsize=13982780 memory=4124 CPUtime=1.11 cores=0,2,4,6
/proc/23892/task/23904/stat : 23904 (java) S 23890 23890 7968 0 -1 1077944384 12972 0 0 0 108 3 0 0 20 0 14 0 30711221 14318366720 166398 18446744073709551615 4194304 4196468 140733305700976 140271915837024 140272443979477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
[pid=23892/tid=23905] ppid=23890 vsize=13982780 memory=19148 CPUtime=0 cores=0,2,4,6
/proc/23892/task/23905/stat : 23905 (java) S 23890 23890 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 30711221 14318366720 166398 18446744073709551615 4194304 4196468 140733305700976 140271914789088 140272443979477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24190976 140733305708978 140733305709154 140733305709154 140733305712591 0
Current children cumulated CPU time: 250.57 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 666972 KiB

Child status: 0
Real time (s): 238.119
CPU time (s): 250.59
CPU user time (s): 249.641
CPU system time (s): 0.948679
CPU usage (%): 105.237
Max. virtual memory (cumulated for all children) (KiB): 13992292
Max. memory (cumulated for all children) (KiB): 1169144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 249.641
system time used= 0.948679
maximum resident set size= 1181680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81533
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= 10051
involuntary context switches= 682


# summary of solver processes directly reported to runsolver:
#   pid: 23890
#   total CPU time (s): 250.59
#   total CPU user time (s): 249.641
#   total CPU system time (s): 0.948679

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.54901 second user time and 2.29884 second system time

The end

Begin job on node128 at 2017-08-15 05:24:08
IDJOB=4272373
IDBENCH=125571
IDSOLVER=2664
FILE ID=node128/4272373-1502768286
RUNJOBID= node128-1502649221-29000
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-4272373-1502768286/watcher-4272373-1502768286 -o /tmp/evaluation-result-4272373-1502768286/solver-4272373-1502768286 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502649221-29000 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 588420810 HOME/instance-4272373-1502768286.xml

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

MD5SUM BENCH= a0d270dd535955910725fddfcfa0cde8
RANDOM SEED=588420810

node128.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.94
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.94
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.94
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.94
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:        30448792 kB
MemAvailable:   31304540 kB
Buffers:          215460 kB
Cached:           924392 kB
SwapCached:            0 kB
Active:          1066732 kB
Inactive:         837100 kB
Active(anon):     764068 kB
Inactive(anon):    16764 kB
Active(file):     302664 kB
Inactive(file):   820336 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8256 kB
Writeback:             0 kB
AnonPages:        763444 kB
Mapped:            49204 kB
Shmem:             17116 kB
Slab:             122480 kB
SReclaimable:      97168 kB
SUnreclaim:        25312 kB
KernelStack:        3504 kB
PageTables:         6960 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1328152 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    694272 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 62016 MiB
End job on node128 at 2017-08-15 05:28:07