Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
OscaR - Parallel with EPS 2017-08-22 | SAT | 98.423698 | 30.882299 |
Name | DeBruijnSequence/DeBruijnSequence-m1-s1/ DeBruijnSequence-03-06.xml |
MD5SUM | a0d270dd535955910725fddfcfa0cde8 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 3.1519499 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 5106 |
Number of constraints | 4377 |
Number of domains | 3 |
Minimum domain size | 3 |
Maximum domain size | 730 |
Distribution of domain sizes | [{"size":3,"count":4374},{"size":729,"count":729},{"size":730,"count":3}] |
Minimum variable degree | 1 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":1,"count":3},{"degree":2,"count":729},{"degree":3,"count":4374}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 732 |
Distribution of constraint arities | [{"arity":2,"count":3645},{"arity":7,"count":729},{"arity":729,"count":2},{"arity":732,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 3645 |
Distribution of constraint types | [{"type":"intension","count":3645},{"type":"allDifferent","count":1},{"type":"sum","count":729},{"type":"cardinality","count":1},{"type":"minimum","count":1}] |
Optimization problem | NO |
Type of objective |
0.29/0.25 c version: 2017-08-22 0.29/0.25 c seed: 1650300289 0.29/0.25 c timeout: 20160 0.29/0.25 c memlimit: 22000 0.29/0.25 c nbcore: 8 0.29/0.28 c Parsing instance... 2.84/1.02 c Parsing done, starting search... 98.27/30.83 s SATISFIABLE 98.27/30.83 v <instantiation> 98.27/30.83 v <list> 98.27/30.83 v 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] 98.27/30.83 v </list> 98.27/30.83 v <values> 98.27/30.83 v 0 2 8 25 76 229 687 603 353 330 262 57 172 518 96 288 135 405 487 3 9 27 82 247 13 40 120 360 351 325 246 11 35 105 315 216 648 488 6 20 61 185 555 207 623 411 504 56 168 505 59 177 533 141 425 546 180 541 167 501 46 140 421 534 145 435 576 271 84 254 33 100 300 173 520 103 309 199 597 334 274 95 286 129 387 433 571 255 37 112 336 280 113 339 289 139 418 527 123 369 378 407 494 24 73 219 658 516 92 277 102 306 191 573 263 62 186 558 218 654 506 60 181 543 171 515 89 267 74 222 668 547 183 549 190 572 259 50 151 453 630 432 568 248 16 49 148 446 610 372 388 436 579 281 116 348 317 223 669 550 192 577 275 97 293 150 451 625 417 522 109 329 258 45 136 409 498 36 108 326 250 22 66 198 595 327 253 30 91 273 90 270 81 243 1 4 14 42 128 384 423 542 170 510 72 217 653 502 48 146 438 585 298 165 496 31 94 283 122 366 371 385 427 552 200 601 347 312 209 629 429 560 224 672 559 220 660 524 115 345 308 195 586 301 176 528 126 379 408 495 29 87 261 54 163 490 12 38 114 342 297 164 493 21 63 189 569 249 19 58 175 526 121 364 363 361 354 333 272 88 265 68 204 613 381 414 514 85 256 39 119 358 346 311 205 616 391 444 604 356 340 292 149 448 615 389 440 591 316 221 663 532 138 415 517 93 279 110 332 268 75 226 678 578 276 99 299 169 507 65 197 592 318 227 681 587 304 184 553 201 605 359 349 320 231 694 624 416 519 101 303 182 548 187 561 225 676 570 252 28 86 260 51 153 459 650 492 18 55 166 500 43 131 393 450 622 410 503 52 158 474 695 627 424 544 174 523 111 335 278 106 319 230 691 617 394 454 633 442 598 337 282 117 352 328 257 44 132 397 463 662 529 130 390 441 596 331 264 64 194 584 294 155 467 673 562 228 684 594 324 244 5 15 47 143 430 563 232 696 632 439 589 310 203 611 375 396 461 655 509 70 210 631 437 582 290 142 428 557 213 640 464 664 535 147 443 600 343 302 179 538 157 472 689 609 370 382 419 530 133 399 470 682 590 313 212 636 452 628 426 551 196 588 307 193 581 285 127 383 422 539 161 483 720 703 651 497 34 104 314 215 646 482 718 697 634 445 608 368 377 403 480 713 683 593 323 240 721 705 657 513 83 251 26 79 239 717 693 621 406 489 10 32 98 296 160 481 716 692 618 398 466 670 554 206 620 404 484 724 714 686 602 350 322 238 715 688 606 362 357 344 305 188 565 237 712 679 580 284 124 373 392 447 614 386 431 564 236 709 671 556 211 635 449 619 400 473 690 612 380 413 512 80 242 728 727 723 711 677 575 269 78 234 702 649 491 17 53 159 478 707 665 537 154 462 659 521 107 321 235 706 661 525 118 355 338 287 134 402 477 704 656 511 77 233 699 641 465 667 545 178 536 152 456 639 460 652 499 41 125 376 401 475 698 637 455 638 457 643 471 685 599 341 295 156 468 675 567 245 7 23 71 214 642 469 680 583 291 144 434 574 266 69 208 626 420 531 137 412 508 67 202 607 365 367 374 395 458 645 479 710 674 566 241 725 719 700 644 476 701 647 485 726 722 708 666 540 162 486 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 2 0 0 0 2 2 1 0 0 2 2 1 1 0 2 2 1 1 1 2 2 1 1 1 0 2 1 1 1 0 0 1 1 1 0 0 2 1 1 0 0 2 0 1 0 0 2 0 1 0 0 2 0 1 0 0 2 0 1 0 1 2 0 1 0 1 2 0 1 0 1 2 0 1 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 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 1 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 0 1 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 0 0 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 0 2 2 0 0 0 0 2 0 0 0 0 2 0 0 0 0 2 0 0 0 0 2 0 2 0 0 2 0 2 1 0 2 0 2 1 2 2 0 2 1 2 0 0 2 1 2 0 0 2 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 2 0 1 2 0 2 0 1 2 0 2 0 2 2 0 2 0 2 0 0 2 0 2 0 0 2 0 2 0 0 1 0 2 0 0 1 2 2 0 0 1 2 0 0 0 1 2 0 1 0 1 2 0 1 2 1 2 0 1 2 1 2 0 1 2 1 0 0 1 2 1 0 1 1 2 1 0 1 0 2 1 0 1 0 0 1 0 1 0 0 1 0 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 0 0 2 0 1 0 2 2 0 1 0 2 1 0 1 0 2 1 1 1 0 2 1 1 0 0 2 1 1 0 1 2 1 1 0 1 0 1 1 0 1 0 1 1 0 1 0 1 1 0 1 0 1 1 2 1 0 1 1 2 1 0 1 1 2 1 0 1 1 2 1 0 0 1 2 1 0 0 1 2 1 0 0 1 1 1 0 0 1 1 0 0 0 1 1 0 1 0 1 1 0 1 1 1 1 0 1 1 0 1 0 1 1 0 1 0 1 1 0 1 2 1 1 0 1 2 0 1 0 1 2 0 1 0 1 2 0 1 1 1 2 0 1 1 1 2 0 1 1 1 2 0 1 1 1 2 0 1 1 1 2 0 0 1 1 2 0 0 0 1 2 0 0 0 2 2 0 0 0 2 2 0 0 0 2 2 0 0 0 2 2 0 1 0 2 2 0 1 0 2 2 0 1 0 1 2 0 1 0 1 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 2 2 1 0 0 2 0 1 0 0 2 0 2 0 0 2 0 2 2 0 2 0 2 2 0 2 0 2 2 0 0 0 2 2 0 0 2 2 2 0 0 2 0 2 0 0 2 0 2 0 0 2 0 2 0 0 2 0 2 0 1 2 0 2 0 1 0 0 2 0 1 0 0 2 0 1 0 0 2 0 1 0 0 2 2 1 0 0 2 2 0 0 0 2 2 0 2 0 2 2 0 2 0 2 2 0 2 0 2 2 0 2 0 2 1 0 2 0 2 1 0 2 0 2 1 0 0 0 2 1 0 0 1 2 1 0 0 1 2 1 0 0 1 2 1 0 0 1 2 1 2 0 1 2 1 2 1 1 2 1 2 1 0 2 1 2 1 0 0 1 2 1 0 0 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 1 1 2 1 1 1 2 2 1 1 1 2 1 1 1 1 2 1 0 1 1 2 1 0 1 1 2 1 0 1 1 2 1 0 1 1 0 1 0 1 1 0 2 0 1 1 0 2 2 1 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 1 0 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 2 0 1 2 1 2 0 1 2 1 2 0 1 2 1 2 0 1 1 1 2 0 1 1 0 2 0 1 1 0 0 0 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 1 1 2 0 0 1 1 2 0 0 1 1 0 0 0 1 1 0 0 0 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 0 1 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 0 1 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 1 0 0 0 1 1 2 0 0 1 1 2 0 0 1 1 2 0 2 1 1 2 0 2 0 1 2 0 2 0 0 2 0 2 0 0 2 0 2 0 0 2 2 2 0 0 2 2 0 0 0 2 2 0 0 0 2 2 0 0 1 2 2 0 0 1 2 2 0 0 1 2 1 0 0 1 2 1 0 0 1 2 1 0 2 1 2 1 0 2 0 2 1 0 2 0 0 1 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 1 1 0 1 1 1 1 0 1 1 1 1 2 1 1 1 1 2 0 1 1 1 2 0 2 1 1 2 0 2 1 1 2 0 2 1 1 2 0 2 1 1 0 0 2 1 1 0 2 2 1 1 0 2 1 1 1 0 2 1 2 1 0 2 1 2 0 0 2 1 2 0 2 2 1 2 0 2 2 1 2 0 2 2 0 2 0 2 2 0 2 0 2 2 0 2 2 2 2 0 2 2 0 2 0 2 2 0 1 0 2 2 0 1 1 2 2 0 1 1 0 2 0 1 1 0 2 0 1 1 0 2 1 1 1 0 2 1 0 1 0 2 1 0 2 0 2 1 0 2 0 2 1 0 2 0 1 1 0 2 0 1 1 0 2 0 1 1 2 2 0 1 1 2 0 0 1 1 2 0 0 1 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 1 2 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 2 0 1 1 0 2 0 1 1 0 2 0 0 1 0 2 0 0 0 0 2 0 0 0 2 2 0 0 0 2 1 0 0 0 2 1 0 0 0 2 1 0 0 0 2 1 0 0 0 2 1 0 0 0 2 1 0 0 0 2 0 0 0 0 2 0 1 0 0 2 0 1 1 0 2 0 1 1 1 2 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 1 0 1 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 2 0 2 1 1 2 0 2 1 1 2 0 1 1 1 2 0 1 0 1 2 0 1 0 0 2 0 1 0 0 1 0 1 0 0 1 1 1 0 0 1 1 1 0 0 1 1 1 0 0 1 1 1 0 2 1 1 1 0 2 1 1 1 0 2 1 1 1 0 2 1 1 2 0 2 1 1 2 1 2 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 2 1 2 1 1 2 1 2 1 1 2 1 0 1 1 2 1 0 2 1 2 1 0 2 2 2 1 0 2 2 0 1 0 2 2 0 1 0 2 2 0 1 2 2 2 0 1 2 0 2 0 1 2 0 1 0 1 2 0 1 0 1 2 0 1 0 1 2 0 1 0 1 1 0 1 0 1 1 0 1 0 1 1 0 0 0 1 1 0 0 2 1 1 0 0 2 2 1 0 0 2 2 1 0 0 2 2 1 0 0 2 2 1 0 1 2 2 1 0 1 0 2 1 0 1 0 2 1 0 1 0 2 0 0 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 2 2 1 0 2 2 1 1 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 1 0 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 2 0 2 2 1 2 0 2 2 1 2 0 1 2 1 2 0 1 0 1 2 0 1 0 2 2 0 1 0 2 0 0 1 0 2 0 2 1 0 2 0 2 0 0 2 0 2 0 2 2 0 2 0 2 2 0 2 0 2 2 1 2 0 2 2 1 0 0 2 2 1 0 0 2 2 1 0 0 1 2 1 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 1 2 1 0 0 1 2 2 0 0 1 2 2 0 0 1 2 2 0 0 1 2 2 0 0 0 2 2 0 0 0 2 2 0 0 0 2 0 0 0 0 2 0 0 0 0 2 0 0 1 0 2 0 0 1 1 2 0 0 1 1 2 0 0 1 1 2 1 0 1 1 2 1 2 1 1 2 1 2 0 1 2 1 2 0 0 2 1 2 0 0 1 1 2 0 0 1 2 2 0 0 1 2 2 0 0 1 2 2 1 0 1 2 2 1 2 1 2 2 1 2 0 2 2 1 2 0 2 2 1 2 0 2 0 1 2 0 2 0 1 2 0 2 0 1 1 0 2 0 1 1 0 2 0 1 1 0 1 0 1 1 0 1 0 1 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 2 1 1 2 1 2 1 1 2 1 2 1 1 2 1 2 1 1 0 1 2 1 1 0 1 2 1 1 0 1 1 1 1 0 1 1 1 1 0 1 1 1 0 0 1 1 1 0 0 1 1 1 0 0 1 1 1 0 0 1 1 1 0 0 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 1 2 2 0 1 1 2 2 0 1 1 2 1 0 1 1 2 1 1 1 1 2 1 1 0 1 2 1 1 0 0 2 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 2 2 1 0 1 2 2 1 0 1 2 2 0 0 1 2 2 0 2 1 2 2 0 2 2 2 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 0 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 2 0 0 0 1 2 0 0 0 1 2 0 2 0 1 2 0 2 2 1 2 0 2 2 1 2 0 2 2 1 2 0 2 2 1 2 1 2 2 1 2 1 0 2 1 2 1 0 2 1 2 1 0 2 1 2 1 0 2 1 1 1 0 2 1 1 1 0 2 1 1 1 2 2 1 1 1 2 2 1 1 1 2 2 0 1 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 1 0 2 1 2 1 0 2 1 2 1 0 1 1 2 1 0 1 2 2 1 0 1 2 0 1 0 1 2 0 2 0 1 2 0 2 1 1 2 0 2 1 2 2 0 2 1 2 2 0 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 1 0 1 2 1 1 0 1 2 1 1 0 2 2 1 1 0 2 0 1 1 0 2 0 1 1 0 2 0 1 2 0 2 0 1 2 2 2 0 1 2 2 1 0 1 2 2 1 1 1 2 2 1 1 1 2 2 1 1 1 2 2 1 1 1 2 0 1 1 1 2 0 1 1 1 2 0 1 1 1 2 0 1 1 2 2 0 1 1 2 2 0 1 1 2 2 1 1 1 2 2 1 0 1 2 2 1 0 2 2 2 1 0 2 1 2 1 0 2 1 2 1 0 2 1 2 1 0 2 1 2 1 2 2 1 2 1 2 0 1 2 1 2 0 2 2 1 2 0 2 1 1 2 0 2 1 0 2 0 2 1 0 2 0 2 1 0 2 1 2 1 0 2 1 0 1 0 2 1 0 1 0 2 1 0 1 1 2 1 0 1 1 2 1 0 1 1 2 0 0 1 1 2 0 1 1 1 2 0 1 2 1 2 0 1 2 2 2 0 1 2 2 2 0 1 2 2 2 2 1 2 2 2 2 0 2 2 2 2 0 0 2 2 2 0 0 1 2 2 0 0 1 0 2 0 0 1 0 2 0 0 1 0 2 1 0 1 0 2 1 2 1 0 2 1 2 2 0 2 1 2 2 2 2 1 2 2 2 1 1 2 2 2 1 2 2 2 2 1 2 1 2 2 1 2 1 1 2 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 2 1 1 2 2 2 1 1 2 2 2 1 0 2 2 2 1 0 2 2 2 1 0 2 2 2 1 0 2 2 2 1 0 2 2 2 2 0 2 2 2 2 0 2 2 2 2 0 1 2 2 2 0 1 0 2 2 0 1 0 0 2 0 1 0 0 0 0 1 0 0 0 2 1 0 0 0 2 2 0 0 0 2 2 2 0 0 2 2 2 1 0 2 2 2 1 2 2 2 2 1 2 0 2 2 1 2 0 0 2 1 2 0 0 0 1 2 0 0 0 1 2 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 1 2 0 1 0 1 2 2 1 0 1 2 2 2 0 1 2 2 2 1 1 2 2 2 1 1 2 2 2 1 1 2 2 2 1 1 2 2 2 1 1 2 2 0 1 1 2 2 0 2 1 2 2 0 2 1 2 2 0 2 1 1 2 0 2 1 1 2 0 2 1 1 2 2 2 1 1 2 2 2 1 1 2 2 2 2 1 2 2 2 2 1 2 2 2 2 1 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 1 2 1 1 1 1 0 1 1 1 1 0 2 1 1 1 0 2 0 1 1 0 2 0 2 1 0 2 0 2 2 0 2 0 2 2 2 2 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 1 1 0 1 1 1 2 0 1 1 1 2 1 1 1 1 2 1 1 1 1 2 1 1 2 1 2 1 1 2 0 2 1 1 2 0 2 1 1 2 0 2 2 1 2 0 2 2 2 2 0 2 2 2 0 0 2 2 2 0 2 2 2 2 0 2 1 2 2 0 2 1 2 2 0 2 1 2 1 0 2 1 2 1 1 2 1 2 1 1 2 1 2 1 1 2 2 2 1 1 2 2 1 1 1 2 2 1 1 1 2 2 1 1 2 2 2 1 1 2 0 2 1 1 2 0 0 1 1 2 0 0 2 1 2 0 0 2 2 2 0 0 2 2 2 0 0 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 1 0 2 2 2 1 0 0 2 2 1 0 0 2 2 1 0 0 2 2 1 0 0 2 2 2 0 0 2 2 2 0 0 2 2 2 0 0 2 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 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 0 1 2 2 0 0 1 2 2 0 1 1 2 2 0 1 0 2 2 0 1 0 2 2 0 1 0 2 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 1 2 0 1 1 1 0 0 1 1 1 0 1 1 1 1 0 1 1 1 1 0 1 1 2 1 0 1 1 2 2 0 1 1 2 2 2 1 1 2 2 2 0 1 2 2 2 0 0 2 2 2 0 0 2 2 2 0 0 2 2 2 0 0 2 2 1 0 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 0 2 2 0 2 0 1 2 0 2 0 1 2 0 2 0 1 2 1 2 0 1 2 1 2 0 1 2 1 2 2 1 2 1 2 2 0 2 1 2 2 0 0 1 2 2 0 0 1 2 2 0 0 1 1 2 0 0 1 1 1 0 0 1 1 1 2 0 1 1 1 2 2 1 1 1 2 2 1 1 1 2 2 1 2 1 2 2 1 2 1 2 2 1 2 1 2 2 1 2 1 2 1 1 2 1 2 1 2 2 1 2 1 2 2 1 2 1 2 2 1 2 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 0 1 2 2 1 0 0 2 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 2 0 0 2 1 2 2 0 2 1 2 2 1 2 1 2 2 1 0 1 2 2 1 0 1 2 2 1 0 1 2 2 1 0 1 2 1 1 0 1 2 1 0 0 1 2 1 0 0 1 2 1 0 0 2 2 1 0 0 2 1 1 0 0 2 1 2 0 0 2 1 2 0 0 2 1 2 0 1 2 1 2 0 1 2 1 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 1 0 2 1 1 1 1 2 1 1 1 1 1 1 1 1 1 1 2 1 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 2 2 2 2 0 2 2 2 2 0 2 2 2 2 0 2 2 2 2 0 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 0 2 2 2 2 0 2 2 2 2 0 2 0 2 2 0 2 0 0 2 0 2 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 243 243 243 98.27/30.83 v </values> 98.27/30.83 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 (8933 MiB free) memory of node 1: 16384 MiB (9840 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4285123-1503429336/watcher-4285123-1503429336 -o /tmp/evaluation-result-4285123-1503429336/solver-4285123-1503429336 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1503428475-6978 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1650300289 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285123-1503429336.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=6995, runsolver pid=6992 [startup+0.100141 s]* /proc/loadavg: 9.21 8.68 8.30 2/199 7015 /proc/meminfo: memFree=19206736/32770624 swapFree=67108860/67108860 [pid=6995] ppid=6992 vsize=26000852 memory=32228 CPUtime=0.13 cores=0-7 /proc/6995/stat : 6995 (java) S 6992 6995 6951 0 -1 1077944320 8482 0 0 0 12 1 0 0 20 0 20 0 176004973 26624872448 8057 33554432000 4194304 4196468 140726707770176 140726707752720 140493882978039 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 /proc/6995/statm: 6500213 8057 3406 1 0 6487932 0 [pid=6995/tid=6997] ppid=6992 vsize=26000852 memory=4788340645954745244 CPUtime=0.09 cores=0-7 /proc/6995/task/6997/stat : 6997 (java) R 6992 6995 6951 0 -1 4202560 6416 0 0 0 9 0 0 0 20 0 20 0 176004973 26624872448 8057 33554432000 4194304 4196468 140726707770176 140493887184032 140493882999965 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=6998] ppid=6992 vsize=26000852 memory=732370367325088741 CPUtime=0 cores=0-7 /proc/6995/task/6998/stat : 6998 (java) S 6992 6995 6951 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176004974 26624872448 8057 33554432000 4194304 4196468 140726707770176 140493835598608 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=6999] ppid=6992 vsize=26000852 memory=140228987635328 CPUtime=0 cores=0-7 /proc/6995/task/6999/stat : 6999 (java) S 6992 6995 6951 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176004974 26624872448 8057 33554432000 4194304 4196468 140726707770176 140493834546064 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7000] ppid=6992 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/6995/task/7000/stat : 7000 (java) S 6992 6995 6951 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176004974 26624872448 8057 33554432000 4194304 4196468 140726707770176 140493833493520 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7001] ppid=6992 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/6995/task/7001/stat : 7001 (java) S 6992 6995 6951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004974 26624872448 8057 33554432000 4194304 4196468 140726707770176 140493832440976 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7002] ppid=6992 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/6995/task/7002/stat : 7002 (java) S 6992 6995 6951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004974 26624872448 8057 33554432000 4194304 4196468 140726707770176 140493831387408 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7003] ppid=6992 vsize=26000852 memory=-1 CPUtime=0 cores=0-7 /proc/6995/task/7003/stat : 7003 (java) S 6992 6995 6951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004974 26624872448 8057 33554432000 4194304 4196468 140726707770176 140493830334864 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7004] ppid=6992 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/6995/task/7004/stat : 7004 (java) S 6992 6995 6951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004974 26624872448 8057 33554432000 4194304 4196468 140726707770176 140493829282320 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7005] ppid=6992 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/6995/task/7005/stat : 7005 (java) S 6992 6995 6951 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176004974 26624872448 8057 33554432000 4194304 4196468 140726707770176 140493828229776 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7006] ppid=6992 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/6995/task/7006/stat : 7006 (java) S 6992 6995 6951 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176004976 26624872448 8057 33554432000 4194304 4196468 140726707770176 140492875487728 140493882989186 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7007] ppid=6992 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/6995/task/7007/stat : 7007 (java) S 6992 6995 6951 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 176004976 26624872448 8057 33554432000 4194304 4196468 140726707770176 140492874433952 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7008] ppid=6992 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/6995/task/7008/stat : 7008 (java) S 6992 6995 6951 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 176004976 26624872448 8057 33554432000 4194304 4196468 140726707770176 140492873381360 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7009] ppid=6992 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/6995/task/7009/stat : 7009 (java) S 6992 6995 6951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004979 26624872448 8057 33554432000 4194304 4196468 140726707770176 140492872329936 140493882996635 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7010] ppid=6992 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/6995/task/7010/stat : 7010 (java) S 6992 6995 6951 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 176004979 26624872448 8057 33554432000 4194304 4196468 140726707770176 140492871276528 140493882989186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7011] ppid=6992 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/6995/task/7011/stat : 7011 (java) S 6992 6995 6951 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176004979 26624872448 8057 33554432000 4194304 4196468 140726707770176 140492870223984 140493882989186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7012] ppid=6992 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/6995/task/7012/stat : 7012 (java) S 6992 6995 6951 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 176004979 26624872448 8057 33554432000 4194304 4196468 140726707770176 140492869171440 140493882989186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7013] ppid=6992 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7 /proc/6995/task/7013/stat : 7013 (java) S 6992 6995 6951 0 -1 1077944384 372 0 0 0 1 0 0 0 20 0 20 0 176004979 26624872448 8057 33554432000 4194304 4196468 140726707770176 140492868118896 140493882989186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7014] ppid=6992 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/6995/task/7014/stat : 7014 (java) S 6992 6995 6951 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176004979 26624872448 8057 33554432000 4194304 4196468 140726707770176 140492867066592 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7015] ppid=6992 vsize=26000852 memory=-1 CPUtime=0 cores=0-7 /proc/6995/task/7015/stat : 7015 (java) S 6992 6995 6951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004979 26624872448 8057 33554432000 4194304 4196468 140726707770176 140492866014128 140493882989186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 26000852 KiB Current children cumulated memory: 32228 KiB [startup+0.2097 s]* /proc/loadavg: 9.21 8.68 8.30 3/199 7015 /proc/meminfo: memFree=19198608/32770624 swapFree=67108860/67108860 [pid=6995] ppid=6992 vsize=26000852 memory=41640 CPUtime=0.29 cores=0-7 /proc/6995/stat : 6995 (java) S 6992 6995 6951 0 -1 1077944320 9497 0 0 0 28 1 0 0 20 0 20 0 176004973 26624872448 10410 33554432000 4194304 4196468 140726707770176 140726707752720 140493882978039 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 /proc/6995/statm: 6500213 10410 3631 1 0 6487932 0 [pid=6995/tid=6997] ppid=6992 vsize=26000852 memory=32758254098972862 CPUtime=0.19 cores=0-7 /proc/6995/task/6997/stat : 6997 (java) R 6992 6995 6951 0 -1 4202560 7038 0 0 0 18 1 0 0 20 0 20 0 176004973 26624872448 10410 33554432000 4194304 4196468 140726707770176 140493887183344 140493882999965 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=6998] ppid=6992 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/6995/task/6998/stat : 6998 (java) S 6992 6995 6951 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176004974 26624872448 10410 33554432000 4194304 4196468 140726707770176 140493835598608 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=6999] ppid=6992 vsize=26000852 memory=140228988483869 CPUtime=0 cores=0-7 /proc/6995/task/6999/stat : 6999 (java) S 6992 6995 6951 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176004974 26624872448 10410 33554432000 4194304 4196468 140726707770176 140493834546064 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7000] ppid=6992 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/6995/task/7000/stat : 7000 (java) S 6992 6995 6951 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176004974 26624872448 10410 33554432000 4194304 4196468 140726707770176 140493833493520 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7001] ppid=6992 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/6995/task/7001/stat : 7001 (java) S 6992 6995 6951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004974 26624872448 10410 33554432000 4194304 4196468 140726707770176 140493832440976 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7002] ppid=6992 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/6995/task/7002/stat : 7002 (java) S 6992 6995 6951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004974 26624872448 10410 33554432000 4194304 4196468 140726707770176 140493831387408 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7003] ppid=6992 vsize=26000852 memory=-1 CPUtime=0 cores=0-7 /proc/6995/task/7003/stat : 7003 (java) S 6992 6995 6951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004974 26624872448 10410 33554432000 4194304 4196468 140726707770176 140493830334864 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7004] ppid=6992 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/6995/task/7004/stat : 7004 (java) S 6992 6995 6951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004974 26624872448 10410 33554432000 4194304 4196468 140726707770176 140493829282320 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7005] ppid=6992 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/6995/task/7005/stat : 7005 (java) S 6992 6995 6951 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176004974 26624872448 10410 33554432000 4194304 4196468 140726707770176 140493828229776 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7006] ppid=6992 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/6995/task/7006/stat : 7006 (java) S 6992 6995 6951 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 176004976 26624872448 10410 33554432000 4194304 4196468 140726707770176 140492875487728 140493882989186 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7007] ppid=6992 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/6995/task/7007/stat : 7007 (java) S 6992 6995 6951 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 176004976 26624872448 10410 33554432000 4194304 4196468 140726707770176 140492874433952 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7008] ppid=6992 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/6995/task/7008/stat : 7008 (java) S 6992 6995 6951 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 176004976 26624872448 10410 33554432000 4194304 4196468 140726707770176 140492873381360 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7009] ppid=6992 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/6995/task/7009/stat : 7009 (java) S 6992 6995 6951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004979 26624872448 10410 33554432000 4194304 4196468 140726707770176 140492872329936 140493882996635 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7010] ppid=6992 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7 /proc/6995/task/7010/stat : 7010 (java) S 6992 6995 6951 0 -1 1077944384 335 0 0 0 1 0 0 0 20 0 20 0 176004979 26624872448 10410 33554432000 4194304 4196468 140726707770176 140492871276528 140493882989186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7011] ppid=6992 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/6995/task/7011/stat : 7011 (java) S 6992 6995 6951 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 176004979 26624872448 10410 33554432000 4194304 4196468 140726707770176 140492870223984 140493882989186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7012] ppid=6992 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7 /proc/6995/task/7012/stat : 7012 (java) S 6992 6995 6951 0 -1 1077944384 299 0 0 0 1 0 0 0 20 0 20 0 176004979 26624872448 10410 33554432000 4194304 4196468 140726707770176 140492869171440 140493882989186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7013] ppid=6992 vsize=26000852 memory=0 CPUtime=0.05 cores=0-7 /proc/6995/task/7013/stat : 7013 (java) R 6992 6995 6951 0 -1 4202560 406 0 0 0 5 0 0 0 20 0 20 0 176004979 26624872448 10410 33554432000 4194304 4196468 140726707770176 140492868118896 140493861590769 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7014] ppid=6992 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/6995/task/7014/stat : 7014 (java) S 6992 6995 6951 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176004979 26624872448 10410 33554432000 4194304 4196468 140726707770176 140492867066592 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7015] ppid=6992 vsize=26000852 memory=-1 CPUtime=0 cores=0-7 /proc/6995/task/7015/stat : 7015 (java) S 6992 6995 6951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004979 26624872448 10410 33554432000 4194304 4196468 140726707770176 140492866014128 140493882989186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 Current children cumulated CPU time: 0.29 s Current children cumulated vsize: 26000852 KiB Current children cumulated memory: 41640 KiB [startup+0.309421 s]* /proc/loadavg: 9.21 8.68 8.30 3/199 7015 /proc/meminfo: memFree=19190964/32770624 swapFree=67108860/67108860 [pid=6995] ppid=6992 vsize=26000872 memory=49588 CPUtime=0.48 cores=0-7 /proc/6995/stat : 6995 (java) S 6992 6995 6951 0 -1 1077944320 10645 0 0 0 46 2 0 0 20 0 20 0 176004973 26624892928 12397 33554432000 4194304 4196468 140726707770176 140726707752720 140493882978039 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 /proc/6995/statm: 6500218 12397 3696 1 0 6487932 0 [pid=6995/tid=6997] ppid=6992 vsize=26000872 memory=8112282956445269571 CPUtime=0.28 cores=0-7 /proc/6995/task/6997/stat : 6997 (java) R 6992 6995 6951 0 -1 4202560 7714 0 0 0 27 1 0 0 20 0 20 0 176004973 26624892928 12397 33554432000 4194304 4196468 140726707770176 140493887195008 140493867021669 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=6998] ppid=6992 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/6995/task/6998/stat : 6998 (java) S 6992 6995 6951 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176004974 26624892928 12397 33554432000 4194304 4196468 140726707770176 140493835598608 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=6999] ppid=6992 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/6995/task/6999/stat : 6999 (java) S 6992 6995 6951 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176004974 26624892928 12397 33554432000 4194304 4196468 140726707770176 140493834546064 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7000] ppid=6992 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/6995/task/7000/stat : 7000 (java) S 6992 6995 6951 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176004974 26624892928 12397 33554432000 4194304 4196468 140726707770176 140493833493520 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7001] ppid=6992 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/6995/task/7001/stat : 7001 (java) S 6992 6995 6951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004974 26624892928 12397 33554432000 4194304 4196468 140726707770176 140493832440976 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7002] ppid=6992 vsize=26000872 memory=2244 CPUtime=0 cores=0-7 /proc/6995/task/7002/stat : 7002 (java) S 6992 6995 6951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004974 26624892928 12397 33554432000 4194304 4196468 140726707770176 140493831387408 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7003] ppid=6992 vsize=26000872 memory=140228870370223 CPUtime=0 cores=0-7 /proc/6995/task/7003/stat : 7003 (java) S 6992 6995 6951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004974 26624892928 12397 33554432000 4194304 4196468 140726707770176 140493830334864 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7004] ppid=6992 vsize=26000872 memory=140228870372528 CPUtime=0 cores=0-7 /proc/6995/task/7004/stat : 7004 (java) S 6992 6995 6951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004974 26624892928 12397 33554432000 4194304 4196468 140726707770176 140493829282320 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7005] ppid=6992 vsize=26000872 memory=140228870374832 CPUtime=0 cores=0-7 /proc/6995/task/7005/stat : 7005 (java) S 6992 6995 6951 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176004974 26624892928 12397 33554432000 4194304 4196468 140726707770176 140493828229776 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7006] ppid=6992 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/6995/task/7006/stat : 7006 (java) S 6992 6995 6951 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 176004976 26624892928 12397 33554432000 4194304 4196468 140726707770176 140492875487728 140493882989186 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7007] ppid=6992 vsize=26000872 memory=280457740756624 CPUtime=0 cores=0-7 /proc/6995/task/7007/stat : 7007 (java) S 6992 6995 6951 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 176004976 26624892928 12397 33554432000 4194304 4196468 140726707770176 140492874433952 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7008] ppid=6992 vsize=26000872 memory=280457740763536 CPUtime=0 cores=0-7 /proc/6995/task/7008/stat : 7008 (java) S 6992 6995 6951 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 176004976 26624892928 12397 33554432000 4194304 4196468 140726707770176 140492873381360 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7009] ppid=6992 vsize=26000872 memory=280457740704816 CPUtime=0 cores=0-7 /proc/6995/task/7009/stat : 7009 (java) S 6992 6995 6951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004979 26624892928 12397 33554432000 4194304 4196468 140726707770176 140492872329936 140493882996635 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7010] ppid=6992 vsize=26000872 memory=280457740777360 CPUtime=0.03 cores=0-7 /proc/6995/task/7010/stat : 7010 (java) S 6992 6995 6951 0 -1 1077944384 479 0 0 0 3 0 0 0 20 0 20 0 176004979 26624892928 12397 33554432000 4194304 4196468 140726707770176 140492871276528 140493882989186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7011] ppid=6992 vsize=26000872 memory=280457740784272 CPUtime=0.01 cores=0-7 /proc/6995/task/7011/stat : 7011 (java) S 6992 6995 6951 0 -1 1077944384 56 0 0 0 1 0 0 0 20 0 20 0 176004979 26624892928 12397 33554432000 4194304 4196468 140726707770176 140492870223984 140493882989186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7012] ppid=6992 vsize=26000872 memory=280457740781968 CPUtime=0.04 cores=0-7 /proc/6995/task/7012/stat : 7012 (java) S 6992 6995 6951 0 -1 1077944384 469 0 0 0 4 0 0 0 20 0 20 0 176004979 26624892928 12397 33554432000 4194304 4196468 140726707770176 140492869171440 140493882989186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7013] ppid=6992 vsize=26000872 memory=280457740798528 CPUtime=0.08 cores=0-7 /proc/6995/task/7013/stat : 7013 (java) S 6992 6995 6951 0 -1 1077944384 541 0 0 0 8 0 0 0 20 0 20 0 176004979 26624892928 12397 33554432000 4194304 4196468 140726707770176 140492868118896 140493882989186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7014] ppid=6992 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/6995/task/7014/stat : 7014 (java) S 6992 6995 6951 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176004979 26624892928 12397 33554432000 4194304 4196468 140726707770176 140492867066592 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7015] ppid=6992 vsize=26000872 memory=-1 CPUtime=0 cores=0-7 /proc/6995/task/7015/stat : 7015 (java) S 6992 6995 6951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004979 26624892928 12397 33554432000 4194304 4196468 140726707770176 140492866014128 140493882989186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 Current children cumulated CPU time: 0.48 s Current children cumulated vsize: 26000872 KiB Current children cumulated memory: 49588 KiB [startup+0.700808 s] /proc/loadavg: 9.21 8.68 8.30 4/199 7015 /proc/meminfo: memFree=19174500/32770624 swapFree=67108860/67108860 [pid=6995] ppid=6992 vsize=26002920 memory=98924 CPUtime=1.62 cores=0-7 /proc/6995/stat : 6995 (java) S 6992 6995 6951 0 -1 1077944320 15292 0 0 0 158 4 0 0 20 0 20 0 176004973 26626990080 24731 33554432000 4194304 4196468 140726707770176 140726707752720 140493882978039 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 /proc/6995/statm: 6500730 24731 3777 1 0 6488444 0 [pid=6995/tid=6997] ppid=6992 vsize=26002920 memory=7086247164461474644 CPUtime=0.67 cores=0-7 /proc/6995/task/6997/stat : 6997 (java) R 6992 6995 6951 0 -1 4202560 8464 0 0 0 65 2 0 0 20 0 20 0 176004973 26626990080 24731 33554432000 4194304 4196468 140726707770176 140493887212064 140493500404731 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=6998] ppid=6992 vsize=26002920 memory=30124900628172 CPUtime=0 cores=0-7 /proc/6995/task/6998/stat : 6998 (java) S 6992 6995 6951 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176004974 26626990080 24731 33554432000 4194304 4196468 140726707770176 140493835598608 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=6999] ppid=6992 vsize=26002920 memory=140228870379404 CPUtime=0 cores=0-7 /proc/6995/task/6999/stat : 6999 (java) S 6992 6995 6951 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176004974 26626990080 24731 33554432000 4194304 4196468 140726707770176 140493834546064 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7000] ppid=6992 vsize=26002920 memory=0 CPUtime=0 cores=0-7 /proc/6995/task/7000/stat : 7000 (java) S 6992 6995 6951 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176004974 26626990080 24731 33554432000 4194304 4196468 140726707770176 140493833493520 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7001] ppid=6992 vsize=26002920 memory=0 CPUtime=0 cores=0-7 /proc/6995/task/7001/stat : 7001 (java) S 6992 6995 6951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004974 26626990080 24731 33554432000 4194304 4196468 140726707770176 140493832440976 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7002] ppid=6992 vsize=26002920 memory=0 CPUtime=0 cores=0-7 /proc/6995/task/7002/stat : 7002 (java) S 6992 6995 6951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004974 26626990080 24731 33554432000 4194304 4196468 140726707770176 140493831387408 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7003] ppid=6992 vsize=26002920 memory=0 CPUtime=0 cores=0-7 /proc/6995/task/7003/stat : 7003 (java) S 6992 6995 6951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004974 26626990080 24731 33554432000 4194304 4196468 140726707770176 140493830334864 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7004] ppid=6992 vsize=26002920 memory=0 CPUtime=0 cores=0-7 /proc/6995/task/7004/stat : 7004 (java) S 6992 6995 6951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004974 26626990080 24731 33554432000 4194304 4196468 140726707770176 140493829282320 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7005] ppid=6992 vsize=26002920 memory=1840 CPUtime=0 cores=0-7 /proc/6995/task/7005/stat : 7005 (java) S 6992 6995 6951 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176004974 26626990080 24731 33554432000 4194304 4196468 140726707770176 140493828229776 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7006] ppid=6992 vsize=26002920 memory=12136 CPUtime=0 cores=0-7 /proc/6995/task/7006/stat : 7006 (java) S 6992 6995 6951 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 176004976 26626990080 24731 33554432000 4194304 4196468 140726707770176 140492875487728 140493882989186 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 ################ # More data... # ################ [pid=6995/tid=6998] ppid=6992 vsize=27411040 memory=0 CPUtime=0.37 cores=0-7 /proc/6995/task/6998/stat : 6998 (java) S 6992 6995 6951 0 -1 1077944384 890 0 0 0 26 11 0 0 20 0 41 0 176004974 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140493835598608 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=6999] ppid=6992 vsize=27411040 memory=0 CPUtime=0.38 cores=0-7 /proc/6995/task/6999/stat : 6999 (java) S 6992 6995 6951 0 -1 1077944384 661 0 0 0 24 14 0 0 20 0 41 0 176004974 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140493834546064 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7000] ppid=6992 vsize=27411040 memory=0 CPUtime=0.38 cores=0-7 /proc/6995/task/7000/stat : 7000 (java) S 6992 6995 6951 0 -1 1077944384 630 0 0 0 26 12 0 0 20 0 41 0 176004974 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140493833493520 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7001] ppid=6992 vsize=27411040 memory=6919736 CPUtime=0.4 cores=0-7 /proc/6995/task/7001/stat : 7001 (java) S 6992 6995 6951 0 -1 1077944384 690 0 0 0 27 13 0 0 20 0 41 0 176004974 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140493832440976 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7002] ppid=6992 vsize=27411040 memory=6919524 CPUtime=0.4 cores=0-7 /proc/6995/task/7002/stat : 7002 (java) S 6992 6995 6951 0 -1 1077944384 1067 0 0 0 27 13 0 0 20 0 41 0 176004974 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140493831387408 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7003] ppid=6992 vsize=27411040 memory=0 CPUtime=0.38 cores=0-7 /proc/6995/task/7003/stat : 7003 (java) S 6992 6995 6951 0 -1 1077944384 2295 0 0 0 25 13 0 0 20 0 41 0 176004974 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140493830334864 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7004] ppid=6992 vsize=27411040 memory=0 CPUtime=0.4 cores=0-7 /proc/6995/task/7004/stat : 7004 (java) S 6992 6995 6951 0 -1 1077944384 678 0 0 0 27 13 0 0 20 0 41 0 176004974 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140493829282320 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7005] ppid=6992 vsize=27411040 memory=0 CPUtime=0.39 cores=0-7 /proc/6995/task/7005/stat : 7005 (java) S 6992 6995 6951 0 -1 1077944384 867 0 0 0 27 12 0 0 20 0 41 0 176004974 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140493828229776 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7006] ppid=6992 vsize=27411040 memory=0 CPUtime=0.07 cores=0-7 /proc/6995/task/7006/stat : 7006 (java) R 6992 6995 6951 0 -1 4202560 7599 0 0 0 5 2 0 0 20 0 41 0 176004976 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492875486240 140493867678672 0 0 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7007] ppid=6992 vsize=27411040 memory=32 CPUtime=0 cores=0-7 /proc/6995/task/7007/stat : 7007 (java) S 6992 6995 6951 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 41 0 176004976 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492874434016 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7008] ppid=6992 vsize=27411040 memory=2 CPUtime=0 cores=0-7 /proc/6995/task/7008/stat : 7008 (java) S 6992 6995 6951 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 41 0 176004976 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492873381376 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7009] ppid=6992 vsize=27411040 memory=0 CPUtime=0 cores=0-7 /proc/6995/task/7009/stat : 7009 (java) S 6992 6995 6951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 41 0 176004979 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492872329936 140493882996635 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7010] ppid=6992 vsize=27411040 memory=0 CPUtime=2.45 cores=0-7 /proc/6995/task/7010/stat : 7010 (java) S 6992 6995 6951 0 -1 1077944384 6147 0 0 0 243 2 0 0 20 0 41 0 176004979 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492871261520 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7011] ppid=6992 vsize=27411040 memory=0 CPUtime=2.88 cores=0-7 /proc/6995/task/7011/stat : 7011 (java) S 6992 6995 6951 0 -1 1077944384 7992 0 0 0 287 1 0 0 20 0 41 0 176004979 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492870205552 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7012] ppid=6992 vsize=27411040 memory=0 CPUtime=2.71 cores=0-7 /proc/6995/task/7012/stat : 7012 (java) S 6992 6995 6951 0 -1 1077944384 6094 0 0 0 269 2 0 0 20 0 41 0 176004979 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492869161152 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7013] ppid=6992 vsize=27411040 memory=19 CPUtime=1.17 cores=0-7 /proc/6995/task/7013/stat : 7013 (java) S 6992 6995 6951 0 -1 1077944384 9766 0 0 0 115 2 0 0 20 0 41 0 176004979 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492868112928 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7014] ppid=6992 vsize=27411040 memory=0 CPUtime=0 cores=0-7 /proc/6995/task/7014/stat : 7014 (java) S 6992 6995 6951 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 41 0 176004979 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492867066592 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7015] ppid=6992 vsize=27411040 memory=6919524 CPUtime=0 cores=0-7 /proc/6995/task/7015/stat : 7015 (java) S 6992 6995 6951 0 -1 1077944384 190 0 0 0 0 0 0 0 20 0 41 0 176004979 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492866014128 140493882989186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7016] ppid=6992 vsize=27411040 memory=5784 CPUtime=0 cores=0-7 /proc/6995/task/7016/stat : 7016 (java) S 6992 6995 6951 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 41 0 176007137 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492855719984 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7017] ppid=6992 vsize=27411040 memory=4616 CPUtime=0.02 cores=0-7 /proc/6995/task/7017/stat : 7017 (java) S 6992 6995 6951 0 -1 1077944384 865 0 0 0 1 1 0 0 20 0 41 0 176007149 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492852573408 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7018] ppid=6992 vsize=27411040 memory=1928 CPUtime=7.97 cores=0-7 /proc/6995/task/7018/stat : 7018 (java) S 6992 6995 6951 0 -1 1077944384 1303 0 0 0 788 9 0 0 20 0 41 0 176007158 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492849423024 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7019] ppid=6992 vsize=27411040 memory=1428 CPUtime=7.93 cores=0-7 /proc/6995/task/7019/stat : 7019 (java) S 6992 6995 6951 0 -1 1077944384 1290 0 0 0 784 9 0 0 20 0 41 0 176007159 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492848365440 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7020] ppid=6992 vsize=27411040 memory=1196 CPUtime=0.48 cores=0-7 /proc/6995/task/7020/stat : 7020 (java) S 6992 6995 6951 0 -1 1077944384 229 0 0 0 48 0 0 0 20 0 41 0 176007159 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492847313856 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7021] ppid=6992 vsize=27411040 memory=10836 CPUtime=8.23 cores=0-7 /proc/6995/task/7021/stat : 7021 (java) S 6992 6995 6951 0 -1 1077944384 1084 0 0 0 805 18 0 0 20 0 41 0 176007162 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492846265392 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7022] ppid=6992 vsize=27411040 memory=15880 CPUtime=0.48 cores=0-7 /proc/6995/task/7022/stat : 7022 (java) S 6992 6995 6951 0 -1 1077944384 38 0 0 0 48 0 0 0 20 0 41 0 176007162 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492845212368 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7023] ppid=6992 vsize=27411040 memory=26528 CPUtime=8.06 cores=0-7 /proc/6995/task/7023/stat : 7023 (java) S 6992 6995 6951 0 -1 1077944384 2938 0 0 0 796 10 0 0 20 0 41 0 176007162 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492844153696 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7024] ppid=6992 vsize=27411040 memory=16432 CPUtime=8.11 cores=0-7 /proc/6995/task/7024/stat : 7024 (java) S 6992 6995 6951 0 -1 1077944384 1220 0 0 0 787 24 0 0 20 0 41 0 176007162 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492843107760 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7025] ppid=6992 vsize=27411040 memory=4040 CPUtime=0.45 cores=0-7 /proc/6995/task/7025/stat : 7025 (java) S 6992 6995 6951 0 -1 1077944384 140 0 0 0 45 0 0 0 20 0 41 0 176007162 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492842052704 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7026] ppid=6992 vsize=27411040 memory=280457742628112 CPUtime=7.33 cores=0-7 /proc/6995/task/7026/stat : 7026 (java) S 6992 6995 6951 0 -1 1077944384 1171 0 0 0 720 13 0 0 20 0 41 0 176007162 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492841001648 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7027] ppid=6992 vsize=27411040 memory=0 CPUtime=0 cores=0-7 /proc/6995/task/7027/stat : 7027 (java) S 6992 6995 6951 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 41 0 176007162 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492839938800 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7028] ppid=6992 vsize=27411040 memory=0 CPUtime=0 cores=0-7 /proc/6995/task/7028/stat : 7028 (java) S 6992 6995 6951 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 41 0 176007236 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492838896560 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7029] ppid=6992 vsize=27411040 memory=0 CPUtime=7.51 cores=0-7 /proc/6995/task/7029/stat : 7029 (java) S 6992 6995 6951 0 -1 1077944384 1155 0 0 0 741 10 0 0 20 0 41 0 176007236 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492837844016 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7030] ppid=6992 vsize=27411040 memory=0 CPUtime=7.3 cores=0-7 /proc/6995/task/7030/stat : 7030 (java) S 6992 6995 6951 0 -1 1077944384 981 0 0 0 713 17 0 0 20 0 41 0 176007236 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492836791472 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7031] ppid=6992 vsize=27411040 memory=0 CPUtime=0 cores=0-7 /proc/6995/task/7031/stat : 7031 (java) S 6992 6995 6951 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 41 0 176007236 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492835738928 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7032] ppid=6992 vsize=27411040 memory=0 CPUtime=0 cores=0-7 /proc/6995/task/7032/stat : 7032 (java) S 6992 6995 6951 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 41 0 176007236 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492834681008 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7033] ppid=6992 vsize=27411040 memory=0 CPUtime=0 cores=0-7 /proc/6995/task/7033/stat : 7033 (java) S 6992 6995 6951 0 -1 1077944384 395 0 0 0 0 0 0 0 20 0 41 0 176007236 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492833633840 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 Current children cumulated CPU time: 98.17 s Current children cumulated vsize: 27411040 KiB Current children cumulated memory: 7003456 KiB [startup+30.8014 s] /proc/loadavg: 7.37 8.26 8.16 10/217 7033 /proc/meminfo: memFree=12308436/32770624 swapFree=67108860/67108860 [pid=6995] ppid=6992 vsize=27411040 memory=7003456 CPUtime=98.27 cores=0-7 /proc/6995/stat : 6995 (java) S 6992 6995 6951 0 -1 1077944320 78037 0 0 0 9531 296 0 0 20 0 41 0 176004973 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140726707752720 140493882978039 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 /proc/6995/statm: 6852760 1750864 3865 1 0 6839953 0 [pid=6995/tid=6997] ppid=6992 vsize=27411040 memory=6919520 CPUtime=21.64 cores=0-7 /proc/6995/task/6997/stat : 6997 (java) S 6992 6995 6951 0 -1 1077944384 17728 0 0 0 2100 64 0 0 20 0 41 0 176004973 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140493887215744 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=6998] ppid=6992 vsize=27411040 memory=6986756 CPUtime=0.37 cores=0-7 /proc/6995/task/6998/stat : 6998 (java) S 6992 6995 6951 0 -1 1077944384 890 0 0 0 26 11 0 0 20 0 41 0 176004974 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140493835598608 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=6999] ppid=6992 vsize=27411040 memory=27 CPUtime=0.38 cores=0-7 /proc/6995/task/6999/stat : 6999 (java) S 6992 6995 6951 0 -1 1077944384 661 0 0 0 24 14 0 0 20 0 41 0 176004974 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140493834546064 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7000] ppid=6992 vsize=27411040 memory=0 CPUtime=0.38 cores=0-7 /proc/6995/task/7000/stat : 7000 (java) S 6992 6995 6951 0 -1 1077944384 630 0 0 0 26 12 0 0 20 0 41 0 176004974 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140493833493520 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7001] ppid=6992 vsize=27411040 memory=0 CPUtime=0.4 cores=0-7 /proc/6995/task/7001/stat : 7001 (java) S 6992 6995 6951 0 -1 1077944384 690 0 0 0 27 13 0 0 20 0 41 0 176004974 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140493832440976 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7002] ppid=6992 vsize=27411040 memory=6919520 CPUtime=0.4 cores=0-7 /proc/6995/task/7002/stat : 7002 (java) S 6992 6995 6951 0 -1 1077944384 1067 0 0 0 27 13 0 0 20 0 41 0 176004974 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140493831387408 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7003] ppid=6992 vsize=27411040 memory=6919520 CPUtime=0.38 cores=0-7 /proc/6995/task/7003/stat : 7003 (java) S 6992 6995 6951 0 -1 1077944384 2295 0 0 0 25 13 0 0 20 0 41 0 176004974 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140493830334864 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7004] ppid=6992 vsize=27411040 memory=4525008 CPUtime=0.4 cores=0-7 /proc/6995/task/7004/stat : 7004 (java) S 6992 6995 6951 0 -1 1077944384 678 0 0 0 27 13 0 0 20 0 41 0 176004974 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140493829282320 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7005] ppid=6992 vsize=27411040 memory=2103 CPUtime=0.39 cores=0-7 /proc/6995/task/7005/stat : 7005 (java) S 6992 6995 6951 0 -1 1077944384 867 0 0 0 27 12 0 0 20 0 41 0 176004974 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140493828229776 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7006] ppid=6992 vsize=27411040 memory=809 CPUtime=0.17 cores=0-7 /proc/6995/task/7006/stat : 7006 (java) R 6992 6995 6951 0 -1 4202560 7608 0 0 0 15 2 0 0 20 0 41 0 176004976 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492875486240 140493867678696 0 0 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7007] ppid=6992 vsize=27411040 memory=0 CPUtime=0 cores=0-7 /proc/6995/task/7007/stat : 7007 (java) S 6992 6995 6951 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 41 0 176004976 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492874434016 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7008] ppid=6992 vsize=27411040 memory=280457741085952 CPUtime=0 cores=0-7 /proc/6995/task/7008/stat : 7008 (java) S 6992 6995 6951 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 41 0 176004976 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492873381376 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7009] ppid=6992 vsize=27411040 memory=-4866526891258710369 CPUtime=0 cores=0-7 /proc/6995/task/7009/stat : 7009 (java) S 6992 6995 6951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 41 0 176004979 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492872329936 140493882996635 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7010] ppid=6992 vsize=27411040 memory=-6948055166404804227 CPUtime=2.45 cores=0-7 /proc/6995/task/7010/stat : 7010 (java) S 6992 6995 6951 0 -1 1077944384 6147 0 0 0 243 2 0 0 20 0 41 0 176004979 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492871261520 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7011] ppid=6992 vsize=27411040 memory=48480 CPUtime=2.88 cores=0-7 /proc/6995/task/7011/stat : 7011 (java) S 6992 6995 6951 0 -1 1077944384 7992 0 0 0 287 1 0 0 20 0 41 0 176004979 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492870205552 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7012] ppid=6992 vsize=27411040 memory=1296 CPUtime=2.71 cores=0-7 /proc/6995/task/7012/stat : 7012 (java) S 6992 6995 6951 0 -1 1077944384 6094 0 0 0 269 2 0 0 20 0 41 0 176004979 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492869161152 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7013] ppid=6992 vsize=27411040 memory=2400 CPUtime=1.17 cores=0-7 /proc/6995/task/7013/stat : 7013 (java) S 6992 6995 6951 0 -1 1077944384 9766 0 0 0 115 2 0 0 20 0 41 0 176004979 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492868112928 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7014] ppid=6992 vsize=27411040 memory=1840 CPUtime=0 cores=0-7 /proc/6995/task/7014/stat : 7014 (java) S 6992 6995 6951 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 41 0 176004979 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492867066592 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7015] ppid=6992 vsize=27411040 memory=8112282956445269571 CPUtime=0 cores=0-7 /proc/6995/task/7015/stat : 7015 (java) S 6992 6995 6951 0 -1 1077944384 190 0 0 0 0 0 0 0 20 0 41 0 176004979 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492866014128 140493882989186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7016] ppid=6992 vsize=27411040 memory=1428 CPUtime=0 cores=0-7 /proc/6995/task/7016/stat : 7016 (java) S 6992 6995 6951 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 41 0 176007137 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492855719984 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7017] ppid=6992 vsize=27411040 memory=1196 CPUtime=0.02 cores=0-7 /proc/6995/task/7017/stat : 7017 (java) S 6992 6995 6951 0 -1 1077944384 865 0 0 0 1 1 0 0 20 0 41 0 176007149 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492852573408 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7018] ppid=6992 vsize=27411040 memory=10836 CPUtime=7.97 cores=0-7 /proc/6995/task/7018/stat : 7018 (java) S 6992 6995 6951 0 -1 1077944384 1303 0 0 0 788 9 0 0 20 0 41 0 176007158 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492849423024 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7019] ppid=6992 vsize=27411040 memory=4369128 CPUtime=7.93 cores=0-7 /proc/6995/task/7019/stat : 7019 (java) S 6992 6995 6951 0 -1 1077944384 1290 0 0 0 784 9 0 0 20 0 41 0 176007159 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492848365440 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7020] ppid=6992 vsize=27411040 memory=4365512 CPUtime=0.48 cores=0-7 /proc/6995/task/7020/stat : 7020 (java) S 6992 6995 6951 0 -1 1077944384 229 0 0 0 48 0 0 0 20 0 41 0 176007159 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492847313856 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7021] ppid=6992 vsize=27411040 memory=6919520 CPUtime=8.23 cores=0-7 /proc/6995/task/7021/stat : 7021 (java) S 6992 6995 6951 0 -1 1077944384 1084 0 0 0 805 18 0 0 20 0 41 0 176007162 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492846265392 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7022] ppid=6992 vsize=27411040 memory=6 CPUtime=0.48 cores=0-7 /proc/6995/task/7022/stat : 7022 (java) S 6992 6995 6951 0 -1 1077944384 38 0 0 0 48 0 0 0 20 0 41 0 176007162 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492845212368 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7023] ppid=6992 vsize=27411040 memory=0 CPUtime=8.06 cores=0-7 /proc/6995/task/7023/stat : 7023 (java) S 6992 6995 6951 0 -1 1077944384 2938 0 0 0 796 10 0 0 20 0 41 0 176007162 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492844153696 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7024] ppid=6992 vsize=27411040 memory=140228870700673 CPUtime=8.11 cores=0-7 /proc/6995/task/7024/stat : 7024 (java) S 6992 6995 6951 0 -1 1077944384 1220 0 0 0 787 24 0 0 20 0 41 0 176007162 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492843107760 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7025] ppid=6992 vsize=27411040 memory=6944652177228980320 CPUtime=0.45 cores=0-7 /proc/6995/task/7025/stat : 7025 (java) S 6992 6995 6951 0 -1 1077944384 140 0 0 0 45 0 0 0 20 0 41 0 176007162 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492842052704 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7026] ppid=6992 vsize=27411040 memory=6656426216303648864 CPUtime=7.33 cores=0-7 /proc/6995/task/7026/stat : 7026 (java) S 6992 6995 6951 0 -1 1077944384 1171 0 0 0 720 13 0 0 20 0 41 0 176007162 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492841001648 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7027] ppid=6992 vsize=27411040 memory=7512114543601282100 CPUtime=0 cores=0-7 /proc/6995/task/7027/stat : 7027 (java) S 6992 6995 6951 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 41 0 176007162 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492839938800 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7028] ppid=6992 vsize=27411040 memory=4639939496134862132 CPUtime=0 cores=0-7 /proc/6995/task/7028/stat : 7028 (java) S 6992 6995 6951 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 41 0 176007236 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492838896560 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7029] ppid=6992 vsize=27411040 memory=6919736 CPUtime=7.51 cores=0-7 /proc/6995/task/7029/stat : 7029 (java) S 6992 6995 6951 0 -1 1077944384 1155 0 0 0 741 10 0 0 20 0 41 0 176007236 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492837844016 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7030] ppid=6992 vsize=27411040 memory=4012 CPUtime=7.3 cores=0-7 /proc/6995/task/7030/stat : 7030 (java) S 6992 6995 6951 0 -1 1077944384 981 0 0 0 713 17 0 0 20 0 41 0 176007236 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492836791472 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7031] ppid=6992 vsize=27411040 memory=48480 CPUtime=0 cores=0-7 /proc/6995/task/7031/stat : 7031 (java) S 6992 6995 6951 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 41 0 176007236 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492835738928 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7032] ppid=6992 vsize=27411040 memory=1296 CPUtime=0 cores=0-7 /proc/6995/task/7032/stat : 7032 (java) S 6992 6995 6951 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 41 0 176007236 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492834681008 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 [pid=6995/tid=7033] ppid=6992 vsize=27411040 memory=2400 CPUtime=0 cores=0-7 /proc/6995/task/7033/stat : 7033 (java) S 6992 6995 6951 0 -1 1077944384 395 0 0 0 0 0 0 0 20 0 41 0 176007236 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492833633840 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0 Current children cumulated CPU time: 98.27 s Current children cumulated vsize: 27411040 KiB Current children cumulated memory: 7003456 KiB Child status: 0 Real time (s): 30.8823 CPU time (s): 98.4237 CPU user time (s): 95.4137 CPU system time (s): 3.00999 CPU usage (%): 318.706 Max. virtual memory (cumulated for all children) (KiB): 27411040 Max. memory (cumulated for all children) (KiB): 7003456 getrusage(RUSAGE_CHILDREN,...) data: user time used= 95.4137 system time used= 3.00999 maximum resident set size= 7003940 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 78932 page faults= 0 swaps= 0 block input operations= 0 block output operations= 136 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 9945 involuntary context switches= 1867 # summary of solver processes directly reported to runsolver: # pid: 6995 # total CPU time (s): 98.4237 # total CPU user time (s): 95.4137 # total CPU system time (s): 3.00999 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.260619 second user time and 0.346673 second system time The end
Begin job on node105 at 2017-08-22 21:01:15 IDJOB=4285123 IDBENCH=125571 IDSOLVER=2681 FILE ID=node105/4285123-1503429336 RUNJOBID= node105-1503428475-6978 PBS_JOBID= 20632140 Free space on /tmp= 60032 MiB SOLVER NAME= OscaR - Parallel with EPS 2017-08-22 BENCH NAME= XCSP17/DeBruijnSequence/DeBruijnSequence-m1-s1/DeBruijnSequence-03-06.xml COMMAND LINE= java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4285123-1503429336/watcher-4285123-1503429336 -o /tmp/evaluation-result-4285123-1503429336/solver-4285123-1503429336 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1503428475-6978 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1650300289 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285123-1503429336.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= a0d270dd535955910725fddfcfa0cde8 RANDOM SEED=1650300289 node105.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.17 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.17 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.17 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.17 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: 19225048 kB MemAvailable: 31932488 kB Buffers: 252300 kB Cached: 12724312 kB SwapCached: 0 kB Active: 3246380 kB Inactive: 9784052 kB Active(anon): 3912 kB Inactive(anon): 94016 kB Active(file): 3242468 kB Inactive(file): 9690036 kB Unevictable: 7328 kB Mlocked: 7328 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42312 kB Writeback: 0 kB AnonPages: 60612 kB Mapped: 54820 kB Shmem: 41612 kB Slab: 208364 kB SReclaimable: 181544 kB SUnreclaim: 26820 kB KernelStack: 3104 kB PageTables: 5200 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 340476 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 59988 MiB End job on node105 at 2017-08-22 21:01:46