| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| R1: choco-solver 5a (2017-07-05) | SAT | 171.184 | 30.3886 |
| 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.00/0.00 c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4246465-1500687757.xml" -tl '2400s' -p 8 -x 3 0.00/0.21 c [HOME/instance-4246465-1500687757.xml, -tl, 2400s, -p, 8, -x, 3] 0.00/0.27 c 8 solvers in parallel 0.00/0.34 c parse instance... 29.10/12.42 c solve instance... 170.96/30.35 s SATISFIABLE 170.96/30.35 v <instantiation> 170.96/30.35 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] bi[0][0] bi[0][1] bi[0][2] bi[0][3] bi[0][4] bi[0][5] bi[1][0] bi[1][1] bi[1][2] bi[1][3] bi[1][4] bi[1][5] bi[2][0] bi[2][1] bi[2][2] bi[2][3] bi[2][4] bi[2][5] bi[3][0] bi[3][1] bi[3][2] bi[3][3] bi[3][4] bi[3][5] bi[4][0] bi[4][1] bi[4][2] bi[4][3] bi[4][4] bi[4][5] bi[5][0] bi[5][1] bi[5][2] bi[5][3] bi[5][4] bi[5][5] bi[6][0] bi[6][1] bi[6][2] bi[6][3] bi[6][4] bi[6][5] bi[7][0] bi[7][1] bi[7][2] bi[7][3] bi[7][4] bi[7][5] bi[8][0] bi[8][1] bi[8][2] bi[8][3] bi[8][4] bi[8][5] bi[9][0] bi[9][1] bi[9][2] bi[9][3] bi[9][4] bi[9][5] bi[10][0] bi[10][1] bi[10][2] bi[10][3] bi[10][4] bi[10][5] bi[11][0] bi[11][1] bi[11][2] bi[11][3] bi[11][4] bi[11][5] bi[12][0] bi[12][1] bi[12][2] bi[12][3] bi[12][4] bi[12][5] bi[13][0] bi[13][1] bi[13][2] bi[13][3] bi[13][4] bi[13][5] bi[14][0] bi[14][1] bi[14][2] bi[14][3] bi[14][4] bi[14][5] bi[15][0] bi[15][1] bi[15][2] bi[15][3] bi[15][4] bi[15][5] bi[16][0] bi[16][1] bi[16][2] bi[16][3] bi[16][4] bi[16][5] bi[17][0] bi[17][1] bi[17][2] bi[17][3] bi[17][4] bi[17][5] bi[18][0] bi[18][1] bi[18][2] bi[18][3] bi[18][4] bi[18][5] bi[19][0] bi[19][1] bi[19][2] bi[19][3] bi[19][4] bi[19][5] bi[20][0] bi[20][1] bi[20][2] bi[20][3] bi[20][4] bi[20][5] bi[21][0] bi[21][1] bi[21][2] bi[21][3] bi[21][4] bi[21][5] bi[22][0] bi[22][1] bi[22][2] bi[22][3] bi[22][4] bi[22][5] bi[23][0] bi[23][1] bi[23][2] bi[23][3] bi[23][4] bi[23][5] bi[24][0] bi[24][1] bi[24][2] bi[24][3] bi[24][4] bi[24][5] bi[25][0] bi[25][1] bi[25][2] bi[25][3] bi[25][4] bi[25][5] bi[26][0] bi[26][1] bi[26][2] bi[26][3] bi[26][4] bi[26][5] bi[27][0] bi[27][1] bi[27][2] bi[27][3] bi[27][4] bi[27][5] bi[28][0] bi[28][1] bi[28][2] bi[28][3] bi[28][4] bi[28][5] bi[29][0] bi[29][1] bi[29][2] bi[29][3] bi[29][4] bi[29][5] bi[30][0] bi[30][1] bi[30][2] bi[30][3] bi[30][4] bi[30][5] bi[31][0] bi[31][1] bi[31][2] bi[31][3] bi[31][4] bi[31][5] bi[32][0] bi[32][1] bi[32][2] bi[32][3] bi[32][4] bi[32][5] bi[33][0] bi[33][1] bi[33][2] bi[33][3] bi[33][4] bi[33][5] bi[34][0] bi[34][1] bi[34][2] bi[34][3] bi[34][4] bi[34][5] bi[35][0] bi[35][1] bi[35][2] bi[35][3] bi[35][4] bi[35][5] bi[36][0] bi[36][1] bi[36][2] bi[36][3] bi[36][4] bi[36][5] bi[37][0] bi[37][1] bi[37][2] bi[37][3] bi[37][4] bi[37][5] bi[38][0] bi[38][1] bi[38][2] bi[38][3] bi[38][4] bi[38][5] bi[39][0] bi[39][1] bi[39][2] bi[39][3] bi[39][4] bi[39][5] bi[40][0] bi[40][1] bi[40][2] bi[40][3] bi[40][4] bi[40][5] bi[41][0] bi[41][1] bi[41][2] bi[41][3] bi[41][4] bi[41][5] bi[42][0] bi[42][1] bi[42][2] bi[42][3] bi[42][4] bi[42][5] bi[43][0] bi[43][1] bi[43][2] bi[43][3] bi[43][4] bi[43][5] bi[44][0] bi[44][1] bi[44][2] bi[44][3] bi[44][4] bi[44][5] bi[45][0] bi[45][1] bi[45][2] bi[45][3] bi[45][4] bi[45][5] bi[46][0] bi[46][1] bi[46][2] bi[46][3] bi[46][4] bi[46][5] bi[47][0] bi[47][1] bi[47][2] bi[47][3] bi[47][4] bi[47][5] bi[48][0] bi[48][1] bi[48][2] bi[48][3] bi[48][4] bi[48][5] bi[49][0] bi[49][1] bi[49][2] bi[49][3] bi[49][4] bi[49][5] bi[50][0] bi[50][1] bi[50][2] bi[50][3] bi[50][4] bi[50][5] bi[51][0] bi[51][1] bi[51][2] bi[51][3] bi[51][4] bi[51][5] bi[52][0] bi[52][1] bi[52][2] bi[52][3] bi[52][4] bi[52][5] bi[53][0] bi[53][1] bi[53][2] bi[53][3] bi[53][4] bi[53][5] bi[54][0] bi[54][1] bi[54][2] bi[54][3] bi[54][4] bi[54][5] bi[55][0] bi[55][1] bi[55][2] bi[55][3] bi[55][4] bi[55][5] bi[56][0] bi[56][1] bi[56][2] bi[56][3] bi[56][4] bi[56][5] bi[57][0] bi[57][1] bi[57][2] bi[57][3] bi[57][4] bi[57][5] bi[58][0] bi[58][1] bi[58][2] bi[58][3] bi[58][4] bi[58][5] bi[59][0] bi[59][1] bi[59][2] bi[59][3] bi[59][4] bi[59][5] bi[60][0] bi[60][1] bi[60][2] bi[60][3] bi[60][4] bi[60][5] bi[61][0] bi[61][1] bi[61][2] bi[61][3] bi[61][4] bi[61][5] bi[62][0] bi[62][1] bi[62][2] bi[62][3] bi[62][4] bi[62][5] bi[63][0] bi[63][1] bi[63][2] bi[63][3] bi[63][4] bi[63][5] bi[64][0] bi[64][1] bi[64][2] bi[64][3] bi[64][4] bi[64][5] bi[65][0] bi[65][1] bi[65][2] bi[65][3] bi[65][4] bi[65][5] bi[66][0] bi[66][1] bi[66][2] bi[66][3] bi[66][4] bi[66][5] bi[67][0] bi[67][1] bi[67][2] bi[67][3] bi[67][4] bi[67][5] bi[68][0] bi[68][1] bi[68][2] bi[68][3] bi[68][4] bi[68][5] bi[69][0] bi[69][1] bi[69][2] bi[69][3] bi[69][4] bi[69][5] bi[70][0] bi[70][1] bi[70][2] bi[70][3] bi[70][4] bi[70][5] bi[71][0] bi[71][1] bi[71][2] bi[71][3] bi[71][4] bi[71][5] bi[72][0] bi[72][1] bi[72][2] bi[72][3] bi[72][4] bi[72][5] bi[73][0] bi[73][1] bi[73][2] bi[73][3] bi[73][4] bi[73][5] bi[74][0] bi[74][1] bi[74][2] bi[74][3] bi[74][4] bi[74][5] bi[75][0] bi[75][1] bi[75][2] bi[75][3] bi[75][4] bi[75][5] bi[76][0] bi[76][1] bi[76][2] bi[76][3] bi[76][4] bi[76][5] bi[77][0] bi[77][1] bi[77][2] bi[77][3] bi[77][4] bi[77][5] bi[78][0] bi[78][1] bi[78][2] bi[78][3] bi[78][4] bi[78][5] bi[79][0] bi[79][1] bi[79][2] bi[79][3] bi[79][4] bi[79][5] bi[80][0] bi[80][1] bi[80][2] bi[80][3] bi[80][4] bi[80][5] bi[81][0] bi[81][1] bi[81][2] bi[81][3] bi[81][4] bi[81][5] bi[82][0] bi[82][1] bi[82][2] bi[82][3] bi[82][4] bi[82][5] bi[83][0] bi[83][1] bi[83][2] bi[83][3] bi[83][4] bi[83][5] bi[84][0] bi[84][1] bi[84][2] bi[84][3] bi[84][4] bi[84][5] bi[85][0] bi[85][1] bi[85][2] bi[85][3] bi[85][4] bi[85][5] bi[86][0] bi[86][1] bi[86][2] bi[86][3] bi[86][4] bi[86][5] bi[87][0] bi[87][1] bi[87][2] bi[87][3] bi[87][4] bi[87][5] bi[88][0] bi[88][1] bi[88][2] bi[88][3] bi[88][4] bi[88][5] bi[89][0] bi[89][1] bi[89][2] bi[89][3] bi[89][4] bi[89][5] bi[90][0] bi[90][1] bi[90][2] bi[90][3] bi[90][4] bi[90][5] bi[91][0] bi[91][1] bi[91][2] bi[91][3] bi[91][4] bi[91][5] bi[92][0] bi[92][1] bi[92][2] bi[92][3] bi[92][4] bi[92][5] bi[93][0] bi[93][1] bi[93][2] bi[93][3] bi[93][4] bi[93][5] bi[94][0] bi[94][1] bi[94][2] bi[94][3] bi[94][4] bi[94][5] bi[95][0] bi[95][1] bi[95][2] bi[95][3] bi[95][4] bi[95][5] bi[96][0] bi[96][1] bi[96][2] bi[96][3] bi[96][4] bi[96][5] bi[97][0] bi[97][1] bi[97][2] bi[97][3] bi[97][4] bi[97][5] bi[98][0] bi[98][1] bi[98][2] bi[98][3] bi[98][4] bi[98][5] bi[99][0] bi[99][1] bi[99][2] bi[99][3] bi[99][4] bi[99][5] bi[100][0] bi[100][1] bi[100][2] bi[100][3] bi[100][4] bi[100][5] bi[101][0] bi[101][1] bi[101][2] bi[101][3] bi[101][4] bi[101][5] bi[102][0] bi[102][1] bi[102][2] bi[102][3] bi[102][4] bi[102][5] bi[103][0] bi[103][1] bi[103][2] bi[103][3] bi[103][4] bi[103][5] bi[104][0] bi[104][1] bi[104][2] bi[104][3] bi[104][4] bi[104][5] bi[105][0] bi[105][1] bi[105][2] bi[105][3] bi[105][4] bi[105][5] bi[106][0] bi[106][1] bi[106][2] bi[106][3] bi[106][4] bi[106][5] bi[107][0] bi[107][1] bi[107][2] bi[107][3] bi[107][4] bi[107][5] bi[108][0] bi[108][1] bi[108][2] bi[108][3] bi[108][4] bi[108][5] bi[109][0] bi[109][1] bi[109][2] bi[109][3] bi[109][4] bi[109][5] bi[110][0] bi[110][1] bi[110][2] bi[110][3] bi[110][4] bi[110][5] bi[111][0] bi[111][1] bi[111][2] bi[111][3] bi[111][4] bi[111][5] bi[112][0] bi[112][1] bi[112][2] bi[112][3] bi[112][4] bi[112][5] bi[113][0] bi[113][1] bi[113][2] bi[113][3] bi[113][4] bi[113][5] bi[114][0] bi[114][1] bi[114][2] bi[114][3] bi[114][4] bi[114][5] bi[115][0] bi[115][1] bi[115][2] bi[115][3] bi[115][4] bi[115][5] bi[116][0] bi[116][1] bi[116][2] bi[116][3] bi[116][4] bi[116][5] bi[117][0] bi[117][1] bi[117][2] bi[117][3] bi[117][4] bi[117][5] bi[118][0] bi[118][1] bi[118][2] bi[118][3] bi[118][4] bi[118][5] bi[119][0] bi[119][1] bi[119][2] bi[119][3] bi[119][4] bi[119][5] bi[120][0] bi[120][1] bi[120][2] bi[120][3] bi[120][4] bi[120][5] bi[121][0] bi[121][1] bi[121][2] bi[121][3] bi[121][4] bi[121][5] bi[122][0] bi[122][1] bi[122][2] bi[122][3] bi[122][4] bi[122][5] bi[123][0] bi[123][1] bi[123][2] bi[123][3] bi[123][4] bi[123][5] bi[124][0] bi[124][1] bi[124][2] bi[124][3] bi[124][4] bi[124][5] bi[125][0] bi[125][1] bi[125][2] bi[125][3] bi[125][4] bi[125][5] bi[126][0] bi[126][1] bi[126][2] bi[126][3] bi[126][4] bi[126][5] bi[127][0] bi[127][1] bi[127][2] bi[127][3] bi[127][4] bi[127][5] bi[128][0] bi[128][1] bi[128][2] bi[128][3] bi[128][4] bi[128][5] bi[129][0] bi[129][1] bi[129][2] bi[129][3] bi[129][4] bi[129][5] bi[130][0] bi[130][1] bi[130][2] bi[130][3] bi[130][4] bi[130][5] bi[131][0] bi[131][1] bi[131][2] bi[131][3] bi[131][4] bi[131][5] bi[132][0] bi[132][1] bi[132][2] bi[132][3] bi[132][4] bi[132][5] bi[133][0] bi[133][1] bi[133][2] bi[133][3] bi[133][4] bi[133][5] bi[134][0] bi[134][1] bi[134][2] bi[134][3] bi[134][4] bi[134][5] bi[135][0] bi[135][1] bi[135][2] bi[135][3] bi[135][4] bi[135][5] bi[136][0] bi[136][1] bi[136][2] bi[136][3] bi[136][4] bi[136][5] bi[137][0] bi[137][1] bi[137][2] bi[137][3] bi[137][4] bi[137][5] bi[138][0] bi[138][1] bi[138][2] bi[138][3] bi[138][4] bi[138][5] bi[139][0] bi[139][1] bi[139][2] bi[139][3] bi[139][4] bi[139][5] bi[140][0] bi[140][1] bi[140][2] bi[140][3] bi[140][4] bi[140][5] bi[141][0] bi[141][1] bi[141][2] bi[141][3] bi[141][4] bi[141][5] bi[142][0] bi[142][1] bi[142][2] bi[142][3] bi[142][4] bi[142][5] bi[143][0] bi[143][1] bi[143][2] bi[143][3] bi[143][4] bi[143][5] bi[144][0] bi[144][1] bi[144][2] bi[144][3] bi[144][4] bi[144][5] bi[145][0] bi[145][1] bi[145][2] bi[145][3] bi[145][4] bi[145][5] bi[146][0] bi[146][1] bi[146][2] bi[146][3] bi[146][4] bi[146][5] bi[147][0] bi[147][1] bi[147][2] bi[147][3] bi[147][4] bi[147][5] bi[148][0] bi[148][1] bi[148][2] bi[148][3] bi[148][4] bi[148][5] bi[149][0] bi[149][1] bi[149][2] bi[149][3] bi[149][4] bi[149][5] bi[150][0] bi[150][1] bi[150][2] bi[150][3] bi[150][4] bi[150][5] bi[151][0] bi[151][1] bi[151][2] bi[151][3] bi[151][4] bi[151][5] bi[152][0] bi[152][1] bi[152][2] bi[152][3] bi[152][4] bi[152][5] bi[153][0] bi[153][1] bi[153][2] bi[153][3] bi[153][4] bi[153][5] bi[154][0] bi[154][1] bi[154][2] bi[154][3] bi[154][4] bi[154][5] bi[155][0] bi[155][1] bi[155][2] bi[155][3] bi[155][4] bi[155][5] bi[156][0] bi[156][1] bi[156][2] bi[156][3] bi[156][4] bi[156][5] bi[157][0] bi[157][1] bi[157][2] bi[157][3] bi[157][4] bi[157][5] bi[158][0] bi[158][1] bi[158][2] bi[158][3] bi[158][4] bi[158][5] bi[159][0] bi[159][1] bi[159][2] bi[159][3] bi[159][4] bi[159][5] bi[160][0] bi[160][1] bi[160][2] bi[160][3] bi[160][4] bi[160][5] bi[161][0] bi[161][1] bi[161][2] bi[161][3] bi[161][4] bi[161][5] bi[162][0] bi[162][1] bi[162][2] bi[162][3] bi[162][4] bi[162][5] bi[163][0] bi[163][1] bi[163][2] bi[163][3] bi[163][4] bi[163][5] bi[164][0] bi[164][1] bi[164][2] bi[164][3] bi[164][4] bi[164][5] bi[165][0] bi[165][1] bi[165][2] bi[165][3] bi[165][4] bi[165][5] bi[166][0] bi[166][1] bi[166][2] bi[166][3] bi[166][4] bi[166][5] bi[167][0] bi[167][1] bi[167][2] bi[167][3] bi[167][4] bi[167][5] bi[168][0] bi[168][1] bi[168][2] bi[168][3] bi[168][4] bi[168][5] bi[169][0] bi[169][1] bi[169][2] bi[169][3] bi[169][4] bi[169][5] bi[170][0] bi[170][1] bi[170][2] bi[170][3] bi[170][4] bi[170][5] bi[171][0] bi[171][1] bi[171][2] bi[171][3] bi[171][4] bi[171][5] bi[172][0] bi[172][1] bi[172][2] bi[172][3] bi[172][4] bi[172][5] bi[173][0] bi[173][1] bi[173][2] bi[173][3] bi[173][4] bi[173][5] bi[174][0] bi[174][1] bi[174][2] bi[174][3] bi[174][4] bi[174][5] bi[175][0] bi[175][1] bi[175][2] bi[175][3] bi[175][4] bi[175][5] bi[176][0] bi[176][1] bi[176][2] bi[176][3] bi[176][4] bi[176][5] bi[177][0] bi[177][1] bi[177][2] bi[177][3] bi[177][4] bi[177][5] bi[178][0] bi[178][1] bi[178][2] bi[178][3] bi[178][4] bi[178][5] bi[179][0] bi[179][1] bi[179][2] bi[179][3] bi[179][4] bi[179][5] bi[180][0] bi[180][1] bi[180][2] bi[180][3] bi[180][4] bi[180][5] bi[181][0] bi[181][1] bi[181][2] bi[181][3] bi[181][4] bi[181][5] bi[182][0] bi[182][1] bi[182][2] bi[182][3] bi[182][4] bi[182][5] bi[183][0] bi[183][1] bi[183][2] bi[183][3] bi[183][4] bi[183][5] bi[184][0] bi[184][1] bi[184][2] bi[184][3] bi[184][4] bi[184][5] bi[185][0] bi[185][1] bi[185][2] bi[185][3] bi[185][4] bi[185][5] bi[186][0] bi[186][1] bi[186][2] bi[186][3] bi[186][4] bi[186][5] bi[187][0] bi[187][1] bi[187][2] bi[187][3] bi[187][4] bi[187][5] bi[188][0] bi[188][1] bi[188][2] bi[188][3] bi[188][4] bi[188][5] bi[189][0] bi[189][1] bi[189][2] bi[189][3] bi[189][4] bi[189][5] bi[190][0] bi[190][1] bi[190][2] bi[190][3] bi[190][4] bi[190][5] bi[191][0] bi[191][1] bi[191][2] bi[191][3] bi[191][4] bi[191][5] bi[192][0] bi[192][1] bi[192][2] bi[192][3] bi[192][4] bi[192][5] bi[193][0] bi[193][1] bi[193][2] bi[193][3] bi[193][4] bi[193][5] bi[194][0] bi[194][1] bi[194][2] bi[194][3] bi[194][4] bi[194][5] bi[195][0] bi[195][1] bi[195][2] bi[195][3] bi[195][4] bi[195][5] bi[196][0] bi[196][1] bi[196][2] bi[196][3] bi[196][4] bi[196][5] bi[197][0] bi[197][1] bi[197][2] bi[197][3] bi[197][4] bi[197][5] bi[198][0] bi[198][1] bi[198][2] bi[198][3] bi[198][4] bi[198][5] bi[199][0] bi[199][1] bi[199][2] bi[199][3] bi[199][4] bi[199][5] bi[200][0] bi[200][1] bi[200][2] bi[200][3] bi[200][4] bi[200][5] bi[201][0] bi[201][1] bi[201][2] bi[201][3] bi[201][4] bi[201][5] bi[202][0] bi[202][1] bi[202][2] bi[202][3] bi[202][4] bi[202][5] bi[203][0] bi[203][1] bi[203][2] bi[203][3] bi[203][4] bi[203][5] bi[204][0] bi[204][1] bi[204][2] bi[204][3] bi[204][4] bi[204][5] bi[205][0] bi[205][1] bi[205][2] bi[205][3] bi[205][4] bi[205][5] bi[206][0] bi[206][1] bi[206][2] bi[206][3] bi[206][4] bi[206][5] bi[207][0] bi[207][1] bi[207][2] bi[207][3] bi[207][4] bi[207][5] bi[208][0] bi[208][1] bi[208][2] bi[208][3] bi[208][4] bi[208][5] bi[209][0] bi[209][1] bi[209][2] bi[209][3] bi[209][4] bi[209][5] bi[210][0] bi[210][1] bi[210][2] bi[210][3] bi[210][4] bi[210][5] bi[211][0] bi[211][1] bi[211][2] bi[211][3] bi[211][4] bi[211][5] bi[212][0] bi[212][1] bi[212][2] bi[212][3] bi[212][4] bi[212][5] bi[213][0] bi[213][1] bi[213][2] bi[213][3] bi[213][4] bi[213][5] bi[214][0] bi[214][1] bi[214][2] bi[214][3] bi[214][4] bi[214][5] bi[215][0] bi[215][1] bi[215][2] bi[215][3] bi[215][4] bi[215][5] bi[216][0] bi[216][1] bi[216][2] bi[216][3] bi[216][4] bi[216][5] bi[217][0] bi[217][1] bi[217][2] bi[217][3] bi[217][4] bi[217][5] bi[218][0] bi[218][1] bi[218][2] bi[218][3] bi[218][4] bi[218][5] bi[219][0] bi[219][1] bi[219][2] bi[219][3] bi[219][4] bi[219][5] bi[220][0] bi[220][1] bi[220][2] bi[220][3] bi[220][4] bi[220][5] bi[221][0] bi[221][1] bi[221][2] bi[221][3] bi[221][4] bi[221][5] bi[222][0] bi[222][1] bi[222][2] bi[222][3] bi[222][4] bi[222][5] bi[223][0] bi[223][1] bi[223][2] bi[223][3] bi[223][4] bi[223][5] bi[224][0] bi[224][1] bi[224][2] bi[224][3] bi[224][4] bi[224][5] bi[225][0] bi[225][1] bi[225][2] bi[225][3] bi[225][4] bi[225][5] bi[226][0] bi[226][1] bi[226][2] bi[226][3] bi[226][4] bi[226][5] bi[227][0] bi[227][1] bi[227][2] bi[227][3] bi[227][4] bi[227][5] bi[228][0] bi[228][1] bi[228][2] bi[228][3] bi[228][4] bi[228][5] bi[229][0] bi[229][1] bi[229][2] bi[229][3] bi[229][4] bi[229][5] bi[230][0] bi[230][1] bi[230][2] bi[230][3] bi[230][4] bi[230][5] bi[231][0] bi[231][1] bi[231][2] bi[231][3] bi[231][4] bi[231][5] bi[232][0] bi[232][1] bi[232][2] bi[232][3] bi[232][4] bi[232][5] bi[233][0] bi[233][1] bi[233][2] bi[233][3] bi[233][4] bi[233][5] bi[234][0] bi[234][1] bi[234][2] bi[234][3] bi[234][4] bi[234][5] bi[235][0] bi[235][1] bi[235][2] bi[235][3] bi[235][4] bi[235][5] bi[236][0] bi[236][1] bi[236][2] bi[236][3] bi[236][4] bi[236][5] bi[237][0] bi[237][1] bi[237][2] bi[237][3] bi[237][4] bi[237][5] bi[238][0] bi[238][1] bi[238][2] bi[238][3] bi[238][4] bi[238][5] bi[239][0] bi[239][1] bi[239][2] bi[239][3] bi[239][4] bi[239][5] bi[240][0] bi[240][1] bi[240][2] bi[240][3] bi[240][4] bi[240][5] bi[241][0] bi[241][1] bi[241][2] bi[241][3] bi[241][4] bi[241][5] bi[242][0] bi[242][1] bi[242][2] bi[242][3] bi[242][4] bi[242][5] bi[243][0] bi[243][1] bi[243][2] bi[243][3] bi[243][4] bi[243][5] bi[244][0] bi[244][1] bi[244][2] bi[244][3] bi[244][4] bi[244][5] bi[245][0] bi[245][1] bi[245][2] bi[245][3] bi[245][4] bi[245][5] bi[246][0] bi[246][1] bi[246][2] bi[246][3] bi[246][4] bi[246][5] bi[247][0] bi[247][1] bi[247][2] bi[247][3] bi[247][4] bi[247][5] bi[248][0] bi[248][1] bi[248][2] bi[248][3] bi[248][4] bi[248][5] bi[249][0] bi[249][1] bi[249][2] bi[249][3] bi[249][4] bi[249][5] bi[250][0] bi[250][1] bi[250][2] bi[250][3] bi[250][4] bi[250][5] bi[251][0] bi[251][1] bi[251][2] bi[251][3] bi[251][4] bi[251][5] bi[252][0] bi[252][1] bi[252][2] bi[252][3] bi[252][4] bi[252][5] bi[253][0] bi[253][1] bi[253][2] bi[253][3] bi[253][4] bi[253][5] bi[254][0] bi[254][1] bi[254][2] bi[254][3] bi[254][4] bi[254][5] bi[255][0] bi[255][1] bi[255][2] bi[255][3] bi[255][4] bi[255][5] bi[256][0] bi[256][1] bi[256][2] bi[256][3] bi[256][4] bi[256][5] bi[257][0] bi[257][1] bi[257][2] bi[257][3] bi[257][4] bi[257][5] bi[258][0] bi[258][1] bi[258][2] bi[258][3] bi[258][4] bi[258][5] bi[259][0] bi[259][1] bi[259][2] bi[259][3] bi[259][4] bi[259][5] bi[260][0] bi[260][1] bi[260][2] bi[260][3] bi[260][4] bi[260][5] bi[261][0] bi[261][1] bi[261][2] bi[261][3] bi[261][4] bi[261][5] bi[262][0] bi[262][1] bi[262][2] bi[262][3] bi[262][4] bi[262][5] bi[263][0] bi[263][1] bi[263][2] bi[263][3] bi[263][4] bi[263][5] bi[264][0] bi[264][1] bi[264][2] bi[264][3] bi[264][4] bi[264][5] bi[265][0] bi[265][1] bi[265][2] bi[265][3] bi[265][4] bi[265][5] bi[266][0] bi[266][1] bi[266][2] bi[266][3] bi[266][4] bi[266][5] bi[267][0] bi[267][1] bi[267][2] bi[267][3] bi[267][4] bi[267][5] bi[268][0] bi[268][1] bi[268][2] bi[268][3] bi[268][4] bi[268][5] bi[269][0] bi[269][1] bi[269][2] bi[269][3] bi[269][4] bi[269][5] bi[270][0] bi[270][1] bi[270][2] bi[270][3] bi[270][4] bi[270][5] bi[271][0] bi[271][1] bi[271][2] bi[271][3] bi[271][4] bi[271][5] bi[272][0] bi[272][1] bi[272][2] bi[272][3] bi[272][4] bi[272][5] bi[273][0] bi[273][1] bi[273][2] bi[273][3] bi[273][4] bi[273][5] bi[274][0] bi[274][1] bi[274][2] bi[274][3] bi[274][4] bi[274][5] bi[275][0] bi[275][1] bi[275][2] bi[275][3] bi[275][4] bi[275][5] bi[276][0] bi[276][1] bi[276][2] bi[276][3] bi[276][4] bi[276][5] bi[277][0] bi[277][1] bi[277][2] bi[277][3] bi[277][4] bi[277][5] bi[278][0] bi[278][1] bi[278][2] bi[278][3] bi[278][4] bi[278][5] bi[279][0] bi[279][1] bi[279][2] bi[279][3] bi[279][4] bi[279][5] bi[280][0] bi[280][1] bi[280][2] bi[280][3] bi[280][4] bi[280][5] bi[281][0] bi[281][1] bi[281][2] bi[281][3] bi[281][4] bi[281][5] bi[282][0] bi[282][1] bi[282][2] bi[282][3] bi[282][4] bi[282][5] bi[283][0] bi[283][1] bi[283][2] bi[283][3] bi[283][4] bi[283][5] bi[284][0] bi[284][1] bi[284][2] bi[284][3] bi[284][4] bi[284][5] bi[285][0] bi[285][1] bi[285][2] bi[285][3] bi[285][4] bi[285][5] bi[286][0] bi[286][1] bi[286][2] bi[286][3] bi[286][4] bi[286][5] bi[287][0] bi[287][1] bi[287][2] bi[287][3] bi[287][4] bi[287][5] bi[288][0] bi[288][1] bi[288][2] bi[288][3] bi[288][4] bi[288][5] bi[289][0] bi[289][1] bi[289][2] bi[289][3] bi[289][4] bi[289][5] bi[290][0] bi[290][1] bi[290][2] bi[290][3] bi[290][4] bi[290][5] bi[291][0] bi[291][1] bi[291][2] bi[291][3] bi[291][4] bi[291][5] bi[292][0] bi[292][1] bi[292][2] bi[292][3] bi[292][4] bi[292][5] bi[293][0] bi[293][1] bi[293][2] bi[293][3] bi[293][4] bi[293][5] bi[294][0] bi[294][1] bi[294][2] bi[294][3] bi[294][4] bi[294][5] bi[295][0] bi[295][1] bi[295][2] bi[295][3] bi[295][4] bi[295][5] bi[296][0] bi[296][1] bi[296][2] bi[296][3] bi[296][4] bi[296][5] bi[297][0] bi[297][1] bi[297][2] bi[297][3] bi[297][4] bi[297][5] bi[298][0] bi[298][1] bi[298][2] bi[298][3] bi[298][4] bi[298][5] bi[299][0] bi[299][1] bi[299][2] bi[299][3] bi[299][4] bi[299][5] bi[300][0] bi[300][1] bi[300][2] bi[300][3] bi[300][4] bi[300][5] bi[301][0] bi[301][1] bi[301][2] bi[301][3] bi[301][4] bi[301][5] bi[302][0] bi[302][1] bi[302][2] bi[302][3] bi[302][4] bi[302][5] bi[303][0] bi[303][1] bi[303][2] bi[303][3] bi[303][4] bi[303][5] bi[304][0] bi[304][1] bi[304][2] bi[304][3] bi[304][4] bi[304][5] bi[305][0] bi[305][1] bi[305][2] bi[305][3] bi[305][4] bi[305][5] bi[306][0] bi[306][1] bi[306][2] bi[306][3] bi[306][4] bi[306][5] bi[307][0] bi[307][1] bi[307][2] bi[307][3] bi[307][4] bi[307][5] bi[308][0] bi[308][1] bi[308][2] bi[308][3] bi[308][4] bi[308][5] bi[309][0] bi[309][1] bi[309][2] bi[309][3] bi[309][4] bi[309][5] bi[310][0] bi[310][1] bi[310][2] bi[310][3] bi[310][4] bi[310][5] bi[311][0] bi[311][1] bi[311][2] bi[311][3] bi[311][4] bi[311][5] bi[312][0] bi[312][1] bi[312][2] bi[312][3] bi[312][4] bi[312][5] bi[313][0] bi[313][1] bi[313][2] bi[313][3] bi[313][4] bi[313][5] bi[314][0] bi[314][1] bi[314][2] bi[314][3] bi[314][4] bi[314][5] bi[315][0] bi[315][1] bi[315][2] bi[315][3] bi[315][4] bi[315][5] bi[316][0] bi[316][1] bi[316][2] bi[316][3] bi[316][4] bi[316][5] bi[317][0] bi[317][1] bi[317][2] bi[317][3] bi[317][4] bi[317][5] bi[318][0] bi[318][1] bi[318][2] bi[318][3] bi[318][4] bi[318][5] bi[319][0] bi[319][1] bi[319][2] bi[319][3] bi[319][4] bi[319][5] bi[320][0] bi[320][1] bi[320][2] bi[320][3] bi[320][4] bi[320][5] bi[321][0] bi[321][1] bi[321][2] bi[321][3] bi[321][4] bi[321][5] bi[322][0] bi[322][1] bi[322][2] bi[322][3] bi[322][4] bi[322][5] bi[323][0] bi[323][1] bi[323][2] bi[323][3] bi[323][4] bi[323][5] bi[324][0] bi[324][1] bi[324][2] bi[324][3] bi[324][4] bi[324][5] bi[325][0] bi[325][1] bi[325][2] bi[325][3] bi[325][4] bi[325][5] bi[326][0] bi[326][1] bi[326][2] bi[326][3] bi[326][4] bi[326][5] bi[327][0] bi[327][1] bi[327][2] bi[327][3] bi[327][4] bi[327][5] bi[328][0] bi[328][1] bi[328][2] bi[328][3] bi[328][4] bi[328][5] bi[329][0] bi[329][1] bi[329][2] bi[329][3] bi[329][4] bi[329][5] bi[330][0] bi[330][1] bi[330][2] bi[330][3] bi[330][4] bi[330][5] bi[331][0] bi[331][1] bi[331][2] bi[331][3] bi[331][4] bi[331][5] bi[332][0] bi[332][1] bi[332][2] bi[332][3] bi[332][4] bi[332][5] bi[333][0] bi[333][1] bi[333][2] bi[333][3] bi[333][4] bi[333][5] bi[334][0] bi[334][1] bi[334][2] bi[334][3] bi[334][4] bi[334][5] bi[335][0] bi[335][1] bi[335][2] bi[335][3] bi[335][4] bi[335][5] bi[336][0] bi[336][1] bi[336][2] bi[336][3] bi[336][4] bi[336][5] bi[337][0] bi[337][1] bi[337][2] bi[337][3] bi[337][4] bi[337][5] bi[338][0] bi[338][1] bi[338][2] bi[338][3] bi[338][4] bi[338][5] bi[339][0] bi[339][1] bi[339][2] bi[339][3] bi[339][4] bi[339][5] bi[340][0] bi[340][1] bi[340][2] bi[340][3] bi[340][4] bi[340][5] bi[341][0] bi[341][1] bi[341][2] bi[341][3] bi[341][4] bi[341][5] bi[342][0] bi[342][1] bi[342][2] bi[342][3] bi[342][4] bi[342][5] bi[343][0] bi[343][1] bi[343][2] bi[343][3] bi[343][4] bi[343][5] bi[344][0] bi[344][1] bi[344][2] bi[344][3] bi[344][4] bi[344][5] bi[345][0] bi[345][1] bi[345][2] bi[345][3] bi[345][4] bi[345][5] bi[346][0] bi[346][1] bi[346][2] bi[346][3] bi[346][4] bi[346][5] bi[347][0] bi[347][1] bi[347][2] bi[347][3] bi[347][4] bi[347][5] bi[348][0] bi[348][1] bi[348][2] bi[348][3] bi[348][4] bi[348][5] bi[349][0] bi[349][1] bi[349][2] bi[349][3] bi[349][4] bi[349][5] bi[350][0] bi[350][1] bi[350][2] bi[350][3] bi[350][4] bi[350][5] bi[351][0] bi[351][1] bi[351][2] bi[351][3] bi[351][4] bi[351][5] bi[352][0] bi[352][1] bi[352][2] bi[352][3] bi[352][4] bi[352][5] bi[353][0] bi[353][1] bi[353][2] bi[353][3] bi[353][4] bi[353][5] bi[354][0] bi[354][1] bi[354][2] bi[354][3] bi[354][4] bi[354][5] bi[355][0] bi[355][1] bi[355][2] bi[355][3] bi[355][4] bi[355][5] bi[356][0] bi[356][1] bi[356][2] bi[356][3] bi[356][4] bi[356][5] bi[357][0] bi[357][1] bi[357][2] bi[357][3] bi[357][4] bi[357][5] bi[358][0] bi[358][1] bi[358][2] bi[358][3] bi[358][4] bi[358][5] bi[359][0] bi[359][1] bi[359][2] bi[359][3] bi[359][4] bi[359][5] bi[360][0] bi[360][1] bi[360][2] bi[360][3] bi[360][4] bi[360][5] bi[361][0] bi[361][1] bi[361][2] bi[361][3] bi[361][4] bi[361][5] bi[362][0] bi[362][1] bi[362][2] bi[362][3] bi[362][4] bi[362][5] bi[363][0] bi[363][1] bi[363][2] bi[363][3] bi[363][4] bi[363][5] bi[364][0] bi[364][1] bi[364][2] bi[364][3] bi[364][4] bi[364][5] bi[365][0] bi[365][1] bi[365][2] bi[365][3] bi[365][4] bi[365][5] bi[366][0] bi[366][1] bi[366][2] bi[366][3] bi[366][4] bi[366][5] bi[367][0] bi[367][1] bi[367][2] bi[367][3] bi[367][4] bi[367][5] bi[368][0] bi[368][1] bi[368][2] bi[368][3] bi[368][4] bi[368][5] bi[369][0] bi[369][1] bi[369][2] bi[369][3] bi[369][4] bi[369][5] bi[370][0] bi[370][1] bi[370][2] bi[370][3] bi[370][4] bi[370][5] bi[371][0] bi[371][1] bi[371][2] bi[371][3] bi[371][4] bi[371][5] bi[372][0] bi[372][1] bi[372][2] bi[372][3] bi[372][4] bi[372][5] bi[373][0] bi[373][1] bi[373][2] bi[373][3] bi[373][4] bi[373][5] bi[374][0] bi[374][1] bi[374][2] bi[374][3] bi[374][4] bi[374][5] bi[375][0] bi[375][1] bi[375][2] bi[375][3] bi[375][4] bi[375][5] bi[376][0] bi[376][1] bi[376][2] bi[376][3] bi[376][4] bi[376][5] bi[377][0] bi[377][1] bi[377][2] bi[377][3] bi[377][4] bi[377][5] bi[378][0] bi[378][1] bi[378][2] bi[378][3] bi[378][4] bi[378][5] bi[379][0] bi[379][1] bi[379][2] bi[379][3] bi[379][4] bi[379][5] bi[380][0] bi[380][1] bi[380][2] bi[380][3] bi[380][4] bi[380][5] bi[381][0] bi[381][1] bi[381][2] bi[381][3] bi[381][4] bi[381][5] bi[382][0] bi[382][1] bi[382][2] bi[382][3] bi[382][4] bi[382][5] bi[383][0] bi[383][1] bi[383][2] bi[383][3] bi[383][4] bi[383][5] bi[384][0] bi[384][1] bi[384][2] bi[384][3] bi[384][4] bi[384][5] bi[385][0] bi[385][1] bi[385][2] bi[385][3] bi[385][4] bi[385][5] bi[386][0] bi[386][1] bi[386][2] bi[386][3] bi[386][4] bi[386][5] bi[387][0] bi[387][1] bi[387][2] bi[387][3] bi[387][4] bi[387][5] bi[388][0] bi[388][1] bi[388][2] bi[388][3] bi[388][4] bi[388][5] bi[389][0] bi[389][1] bi[389][2] bi[389][3] bi[389][4] bi[389][5] bi[390][0] bi[390][1] bi[390][2] bi[390][3] bi[390][4] bi[390][5] bi[391][0] bi[391][1] bi[391][2] bi[391][3] bi[391][4] bi[391][5] bi[392][0] bi[392][1] bi[392][2] bi[392][3] bi[392][4] bi[392][5] bi[393][0] bi[393][1] bi[393][2] bi[393][3] bi[393][4] bi[393][5] bi[394][0] bi[394][1] bi[394][2] bi[394][3] bi[394][4] bi[394][5] bi[395][0] bi[395][1] bi[395][2] bi[395][3] bi[395][4] bi[395][5] bi[396][0] bi[396][1] bi[396][2] bi[396][3] bi[396][4] bi[396][5] bi[397][0] bi[397][1] bi[397][2] bi[397][3] bi[397][4] bi[397][5] bi[398][0] bi[398][1] bi[398][2] bi[398][3] bi[398][4] bi[398][5] bi[399][0] bi[399][1] bi[399][2] bi[399][3] bi[399][4] bi[399][5] bi[400][0] bi[400][1] bi[400][2] bi[400][3] bi[400][4] bi[400][5] bi[401][0] bi[401][1] bi[401][2] bi[401][3] bi[401][4] bi[401][5] bi[402][0] bi[402][1] bi[402][2] bi[402][3] bi[402][4] bi[402][5] bi[403][0] bi[403][1] bi[403][2] bi[403][3] bi[403][4] bi[403][5] bi[404][0] bi[404][1] bi[404][2] bi[404][3] bi[404][4] bi[404][5] bi[405][0] bi[405][1] bi[405][2] bi[405][3] bi[405][4] bi[405][5] bi[406][0] bi[406][1] bi[406][2] bi[406][3] bi[406][4] bi[406][5] bi[407][0] bi[407][1] bi[407][2] bi[407][3] bi[407][4] bi[407][5] bi[408][0] bi[408][1] bi[408][2] bi[408][3] bi[408][4] bi[408][5] bi[409][0] bi[409][1] bi[409][2] bi[409][3] bi[409][4] bi[409][5] bi[410][0] bi[410][1] bi[410][2] bi[410][3] bi[410][4] bi[410][5] bi[411][0] bi[411][1] bi[411][2] bi[411][3] bi[411][4] bi[411][5] bi[412][0] bi[412][1] bi[412][2] bi[412][3] bi[412][4] bi[412][5] bi[413][0] bi[413][1] bi[413][2] bi[413][3] bi[413][4] bi[413][5] bi[414][0] bi[414][1] bi[414][2] bi[414][3] bi[414][4] bi[414][5] bi[415][0] bi[415][1] bi[415][2] bi[415][3] bi[415][4] bi[415][5] bi[416][0] bi[416][1] bi[416][2] bi[416][3] bi[416][4] bi[416][5] bi[417][0] bi[417][1] bi[417][2] bi[417][3] bi[417][4] bi[417][5] bi[418][0] bi[418][1] bi[418][2] bi[418][3] bi[418][4] bi[418][5] bi[419][0] bi[419][1] bi[419][2] bi[419][3] bi[419][4] bi[419][5] bi[420][0] bi[420][1] bi[420][2] bi[420][3] bi[420][4] bi[420][5] bi[421][0] bi[421][1] bi[421][2] bi[421][3] bi[421][4] bi[421][5] bi[422][0] bi[422][1] bi[422][2] bi[422][3] bi[422][4] bi[422][5] bi[423][0] bi[423][1] bi[423][2] bi[423][3] bi[423][4] bi[423][5] bi[424][0] bi[424][1] bi[424][2] bi[424][3] bi[424][4] bi[424][5] bi[425][0] bi[425][1] bi[425][2] bi[425][3] bi[425][4] bi[425][5] bi[426][0] bi[426][1] bi[426][2] bi[426][3] bi[426][4] bi[426][5] bi[427][0] bi[427][1] bi[427][2] bi[427][3] bi[427][4] bi[427][5] bi[428][0] bi[428][1] bi[428][2] bi[428][3] bi[428][4] bi[428][5] bi[429][0] bi[429][1] bi[429][2] bi[429][3] bi[429][4] bi[429][5] bi[430][0] bi[430][1] bi[430][2] bi[430][3] bi[430][4] bi[430][5] bi[431][0] bi[431][1] bi[431][2] bi[431][3] bi[431][4] bi[431][5] bi[432][0] bi[432][1] bi[432][2] bi[432][3] bi[432][4] bi[432][5] bi[433][0] bi[433][1] bi[433][2] bi[433][3] bi[433][4] bi[433][5] bi[434][0] bi[434][1] bi[434][2] bi[434][3] bi[434][4] bi[434][5] bi[435][0] bi[435][1] bi[435][2] bi[435][3] bi[435][4] bi[435][5] bi[436][0] bi[436][1] bi[436][2] bi[436][3] bi[436][4] bi[436][5] bi[437][0] bi[437][1] bi[437][2] bi[437][3] bi[437][4] bi[437][5] bi[438][0] bi[438][1] bi[438][2] bi[438][3] bi[438][4] bi[438][5] bi[439][0] bi[439][1] bi[439][2] bi[439][3] bi[439][4] bi[439][5] bi[440][0] bi[440][1] bi[440][2] bi[440][3] bi[440][4] bi[440][5] bi[441][0] bi[441][1] bi[441][2] bi[441][3] bi[441][4] bi[441][5] bi[442][0] bi[442][1] bi[442][2] bi[442][3] bi[442][4] bi[442][5] bi[443][0] bi[443][1] bi[443][2] bi[443][3] bi[443][4] bi[443][5] bi[444][0] bi[444][1] bi[444][2] bi[444][3] bi[444][4] bi[444][5] bi[445][0] bi[445][1] bi[445][2] bi[445][3] bi[445][4] bi[445][5] bi[446][0] bi[446][1] bi[446][2] bi[446][3] bi[446][4] bi[446][5] bi[447][0] bi[447][1] bi[447][2] bi[447][3] bi[447][4] bi[447][5] bi[448][0] bi[448][1] bi[448][2] bi[448][3] bi[448][4] bi[448][5] bi[449][0] bi[449][1] bi[449][2] bi[449][3] bi[449][4] bi[449][5] bi[450][0] bi[450][1] bi[450][2] bi[450][3] bi[450][4] bi[450][5] bi[451][0] bi[451][1] bi[451][2] bi[451][3] bi[451][4] bi[451][5] bi[452][0] bi[452][1] bi[452][2] bi[452][3] bi[452][4] bi[452][5] bi[453][0] bi[453][1] bi[453][2] bi[453][3] bi[453][4] bi[453][5] bi[454][0] bi[454][1] bi[454][2] bi[454][3] bi[454][4] bi[454][5] bi[455][0] bi[455][1] bi[455][2] bi[455][3] bi[455][4] bi[455][5] bi[456][0] bi[456][1] bi[456][2] bi[456][3] bi[456][4] bi[456][5] bi[457][0] bi[457][1] bi[457][2] bi[457][3] bi[457][4] bi[457][5] bi[458][0] bi[458][1] bi[458][2] bi[458][3] bi[458][4] bi[458][5] bi[459][0] bi[459][1] bi[459][2] bi[459][3] bi[459][4] bi[459][5] bi[460][0] bi[460][1] bi[460][2] bi[460][3] bi[460][4] bi[460][5] bi[461][0] bi[461][1] bi[461][2] bi[461][3] bi[461][4] bi[461][5] bi[462][0] bi[462][1] bi[462][2] bi[462][3] bi[462][4] bi[462][5] bi[463][0] bi[463][1] bi[463][2] bi[463][3] bi[463][4] bi[463][5] bi[464][0] bi[464][1] bi[464][2] bi[464][3] bi[464][4] bi[464][5] bi[465][0] bi[465][1] bi[465][2] bi[465][3] bi[465][4] bi[465][5] bi[466][0] bi[466][1] bi[466][2] bi[466][3] bi[466][4] bi[466][5] bi[467][0] bi[467][1] bi[467][2] bi[467][3] bi[467][4] bi[467][5] bi[468][0] bi[468][1] bi[468][2] bi[468][3] bi[468][4] bi[468][5] bi[469][0] bi[469][1] bi[469][2] bi[469][3] bi[469][4] bi[469][5] bi[470][0] bi[470][1] bi[470][2] bi[470][3] bi[470][4] bi[470][5] bi[471][0] bi[471][1] bi[471][2] bi[471][3] bi[471][4] bi[471][5] bi[472][0] bi[472][1] bi[472][2] bi[472][3] bi[472][4] bi[472][5] bi[473][0] bi[473][1] bi[473][2] bi[473][3] bi[473][4] bi[473][5] bi[474][0] bi[474][1] bi[474][2] bi[474][3] bi[474][4] bi[474][5] bi[475][0] bi[475][1] bi[475][2] bi[475][3] bi[475][4] bi[475][5] bi[476][0] bi[476][1] bi[476][2] bi[476][3] bi[476][4] bi[476][5] bi[477][0] bi[477][1] bi[477][2] bi[477][3] bi[477][4] bi[477][5] bi[478][0] bi[478][1] bi[478][2] bi[478][3] bi[478][4] bi[478][5] bi[479][0] bi[479][1] bi[479][2] bi[479][3] bi[479][4] bi[479][5] bi[480][0] bi[480][1] bi[480][2] bi[480][3] bi[480][4] bi[480][5] bi[481][0] bi[481][1] bi[481][2] bi[481][3] bi[481][4] bi[481][5] bi[482][0] bi[482][1] bi[482][2] bi[482][3] bi[482][4] bi[482][5] bi[483][0] bi[483][1] bi[483][2] bi[483][3] bi[483][4] bi[483][5] bi[484][0] bi[484][1] bi[484][2] bi[484][3] bi[484][4] bi[484][5] bi[485][0] bi[485][1] bi[485][2] bi[485][3] bi[485][4] bi[485][5] bi[486][0] bi[486][1] bi[486][2] bi[486][3] bi[486][4] bi[486][5] bi[487][0] bi[487][1] bi[487][2] bi[487][3] bi[487][4] bi[487][5] bi[488][0] bi[488][1] bi[488][2] bi[488][3] bi[488][4] bi[488][5] bi[489][0] bi[489][1] bi[489][2] bi[489][3] bi[489][4] bi[489][5] bi[490][0] bi[490][1] bi[490][2] bi[490][3] bi[490][4] bi[490][5] bi[491][0] bi[491][1] bi[491][2] bi[491][3] bi[491][4] bi[491][5] bi[492][0] bi[492][1] bi[492][2] bi[492][3] bi[492][4] bi[492][5] bi[493][0] bi[493][1] bi[493][2] bi[493][3] bi[493][4] bi[493][5] bi[494][0] bi[494][1] bi[494][2] bi[494][3] bi[494][4] bi[494][5] bi[495][0] bi[495][1] bi[495][2] bi[495][3] bi[495][4] bi[495][5] bi[496][0] bi[496][1] bi[496][2] bi[496][3] bi[496][4] bi[496][5] bi[497][0] bi[497][1] bi[497][2] bi[497][3] bi[497][4] bi[497][5] bi[498][0] bi[498][1] bi[498][2] bi[498][3] bi[498][4] bi[498][5] bi[499][0] bi[499][1] bi[499][2] bi[499][3] bi[499][4] bi[499][5] bi[500][0] bi[500][1] bi[500][2] bi[500][3] bi[500][4] bi[500][5] bi[501][0] bi[501][1] bi[501][2] bi[501][3] bi[501][4] bi[501][5] bi[502][0] bi[502][1] bi[502][2] bi[502][3] bi[502][4] bi[502][5] bi[503][0] bi[503][1] bi[503][2] bi[503][3] bi[503][4] bi[503][5] bi[504][0] bi[504][1] bi[504][2] bi[504][3] bi[504][4] bi[504][5] bi[505][0] bi[505][1] bi[505][2] bi[505][3] bi[505][4] bi[505][5] bi[506][0] bi[506][1] bi[506][2] bi[506][3] bi[506][4] bi[506][5] bi[507][0] bi[507][1] bi[507][2] bi[507][3] bi[507][4] bi[507][5] bi[508][0] bi[508][1] bi[508][2] bi[508][3] bi[508][4] bi[508][5] bi[509][0] bi[509][1] bi[509][2] bi[509][3] bi[509][4] bi[509][5] bi[510][0] bi[510][1] bi[510][2] bi[510][3] bi[510][4] bi[510][5] bi[511][0] bi[511][1] bi[511][2] bi[511][3] bi[511][4] bi[511][5] bi[512][0] bi[512][1] bi[512][2] bi[512][3] bi[512][4] bi[512][5] bi[513][0] bi[513][1] bi[513][2] bi[513][3] bi[513][4] bi[513][5] bi[514][0] bi[514][1] bi[514][2] bi[514][3] bi[514][4] bi[514][5] bi[515][0] bi[515][1] bi[515][2] bi[515][3] bi[515][4] bi[515][5] bi[516][0] bi[516][1] bi[516][2] bi[516][3] bi[516][4] bi[516][5] bi[517][0] bi[517][1] bi[517][2] bi[517][3] bi[517][4] bi[517][5] bi[518][0] bi[518][1] bi[518][2] bi[518][3] bi[518][4] bi[518][5] bi[519][0] bi[519][1] bi[519][2] bi[519][3] bi[519][4] bi[519][5] bi[520][0] bi[520][1] bi[520][2] bi[520][3] bi[520][4] bi[520][5] bi[521][0] bi[521][1] bi[521][2] bi[521][3] bi[521][4] bi[521][5] bi[522][0] bi[522][1] bi[522][2] bi[522][3] bi[522][4] bi[522][5] bi[523][0] bi[523][1] bi[523][2] bi[523][3] bi[523][4] bi[523][5] bi[524][0] bi[524][1] bi[524][2] bi[524][3] bi[524][4] bi[524][5] bi[525][0] bi[525][1] bi[525][2] bi[525][3] bi[525][4] bi[525][5] bi[526][0] bi[526][1] bi[526][2] bi[526][3] bi[526][4] bi[526][5] bi[527][0] bi[527][1] bi[527][2] bi[527][3] bi[527][4] bi[527][5] bi[528][0] bi[528][1] bi[528][2] bi[528][3] bi[528][4] bi[528][5] bi[529][0] bi[529][1] bi[529][2] bi[529][3] bi[529][4] bi[529][5] bi[530][0] bi[530][1] bi[530][2] bi[530][3] bi[530][4] bi[530][5] bi[531][0] bi[531][1] bi[531][2] bi[531][3] bi[531][4] bi[531][5] bi[532][0] bi[532][1] bi[532][2] bi[532][3] bi[532][4] bi[532][5] bi[533][0] bi[533][1] bi[533][2] bi[533][3] bi[533][4] bi[533][5] bi[534][0] bi[534][1] bi[534][2] bi[534][3] bi[534][4] bi[534][5] bi[535][0] bi[535][1] bi[535][2] bi[535][3] bi[535][4] bi[535][5] bi[536][0] bi[536][1] bi[536][2] bi[536][3] bi[536][4] bi[536][5] bi[537][0] bi[537][1] bi[537][2] bi[537][3] bi[537][4] bi[537][5] bi[538][0] bi[538][1] bi[538][2] bi[538][3] bi[538][4] bi[538][5] bi[539][0] bi[539][1] bi[539][2] bi[539][3] bi[539][4] bi[539][5] bi[540][0] bi[540][1] bi[540][2] bi[540][3] bi[540][4] bi[540][5] bi[541][0] bi[541][1] bi[541][2] bi[541][3] bi[541][4] bi[541][5] bi[542][0] bi[542][1] bi[542][2] bi[542][3] bi[542][4] bi[542][5] bi[543][0] bi[543][1] bi[543][2] bi[543][3] bi[543][4] bi[543][5] bi[544][0] bi[544][1] bi[544][2] bi[544][3] bi[544][4] bi[544][5] bi[545][0] bi[545][1] bi[545][2] bi[545][3] bi[545][4] bi[545][5] bi[546][0] bi[546][1] bi[546][2] bi[546][3] bi[546][4] bi[546][5] bi[547][0] bi[547][1] bi[547][2] bi[547][3] bi[547][4] bi[547][5] bi[548][0] bi[548][1] bi[548][2] bi[548][3] bi[548][4] bi[548][5] bi[549][0] bi[549][1] bi[549][2] bi[549][3] bi[549][4] bi[549][5] bi[550][0] bi[550][1] bi[550][2] bi[550][3] bi[550][4] bi[550][5] bi[551][0] bi[551][1] bi[551][2] bi[551][3] bi[551][4] bi[551][5] bi[552][0] bi[552][1] bi[552][2] bi[552][3] bi[552][4] bi[552][5] bi[553][0] bi[553][1] bi[553][2] bi[553][3] bi[553][4] bi[553][5] bi[554][0] bi[554][1] bi[554][2] bi[554][3] bi[554][4] bi[554][5] bi[555][0] bi[555][1] bi[555][2] bi[555][3] bi[555][4] bi[555][5] bi[556][0] bi[556][1] bi[556][2] bi[556][3] bi[556][4] bi[556][5] bi[557][0] bi[557][1] bi[557][2] bi[557][3] bi[557][4] bi[557][5] bi[558][0] bi[558][1] bi[558][2] bi[558][3] bi[558][4] bi[558][5] bi[559][0] bi[559][1] bi[559][2] bi[559][3] bi[559][4] bi[559][5] bi[560][0] bi[560][1] bi[560][2] bi[560][3] bi[560][4] bi[560][5] bi[561][0] bi[561][1] bi[561][2] bi[561][3] bi[561][4] bi[561][5] bi[562][0] bi[562][1] bi[562][2] bi[562][3] bi[562][4] bi[562][5] bi[563][0] bi[563][1] bi[563][2] bi[563][3] bi[563][4] bi[563][5] bi[564][0] bi[564][1] bi[564][2] bi[564][3] bi[564][4] bi[564][5] bi[565][0] bi[565][1] bi[565][2] bi[565][3] bi[565][4] bi[565][5] bi[566][0] bi[566][1] bi[566][2] bi[566][3] bi[566][4] bi[566][5] bi[567][0] bi[567][1] bi[567][2] bi[567][3] bi[567][4] bi[567][5] bi[568][0] bi[568][1] bi[568][2] bi[568][3] bi[568][4] bi[568][5] bi[569][0] bi[569][1] bi[569][2] bi[569][3] bi[569][4] bi[569][5] bi[570][0] bi[570][1] bi[570][2] bi[570][3] bi[570][4] bi[570][5] bi[571][0] bi[571][1] bi[571][2] bi[571][3] bi[571][4] bi[571][5] bi[572][0] bi[572][1] bi[572][2] bi[572][3] bi[572][4] bi[572][5] bi[573][0] bi[573][1] bi[573][2] bi[573][3] bi[573][4] bi[573][5] bi[574][0] bi[574][1] bi[574][2] bi[574][3] bi[574][4] bi[574][5] bi[575][0] bi[575][1] bi[575][2] bi[575][3] bi[575][4] bi[575][5] bi[576][0] bi[576][1] bi[576][2] bi[576][3] bi[576][4] bi[576][5] bi[577][0] bi[577][1] bi[577][2] bi[577][3] bi[577][4] bi[577][5] bi[578][0] bi[578][1] bi[578][2] bi[578][3] bi[578][4] bi[578][5] bi[579][0] bi[579][1] bi[579][2] bi[579][3] bi[579][4] bi[579][5] bi[580][0] bi[580][1] bi[580][2] bi[580][3] bi[580][4] bi[580][5] bi[581][0] bi[581][1] bi[581][2] bi[581][3] bi[581][4] bi[581][5] bi[582][0] bi[582][1] bi[582][2] bi[582][3] bi[582][4] bi[582][5] bi[583][0] bi[583][1] bi[583][2] bi[583][3] bi[583][4] bi[583][5] bi[584][0] bi[584][1] bi[584][2] bi[584][3] bi[584][4] bi[584][5] bi[585][0] bi[585][1] bi[585][2] bi[585][3] bi[585][4] bi[585][5] bi[586][0] bi[586][1] bi[586][2] bi[586][3] bi[586][4] bi[586][5] bi[587][0] bi[587][1] bi[587][2] bi[587][3] bi[587][4] bi[587][5] bi[588][0] bi[588][1] bi[588][2] bi[588][3] bi[588][4] bi[588][5] bi[589][0] bi[589][1] bi[589][2] bi[589][3] bi[589][4] bi[589][5] bi[590][0] bi[590][1] bi[590][2] bi[590][3] bi[590][4] bi[590][5] bi[591][0] bi[591][1] bi[591][2] bi[591][3] bi[591][4] bi[591][5] bi[592][0] bi[592][1] bi[592][2] bi[592][3] bi[592][4] bi[592][5] bi[593][0] bi[593][1] bi[593][2] bi[593][3] bi[593][4] bi[593][5] bi[594][0] bi[594][1] bi[594][2] bi[594][3] bi[594][4] bi[594][5] bi[595][0] bi[595][1] bi[595][2] bi[595][3] bi[595][4] bi[595][5] bi[596][0] bi[596][1] bi[596][2] bi[596][3] bi[596][4] bi[596][5] bi[597][0] bi[597][1] bi[597][2] bi[597][3] bi[597][4] bi[597][5] bi[598][0] bi[598][1] bi[598][2] bi[598][3] bi[598][4] bi[598][5] bi[599][0] bi[599][1] bi[599][2] bi[599][3] bi[599][4] bi[599][5] bi[600][0] bi[600][1] bi[600][2] bi[600][3] bi[600][4] bi[600][5] bi[601][0] bi[601][1] bi[601][2] bi[601][3] bi[601][4] bi[601][5] bi[602][0] bi[602][1] bi[602][2] bi[602][3] bi[602][4] bi[602][5] bi[603][0] bi[603][1] bi[603][2] bi[603][3] bi[603][4] bi[603][5] bi[604][0] bi[604][1] bi[604][2] bi[604][3] bi[604][4] bi[604][5] bi[605][0] bi[605][1] bi[605][2] bi[605][3] bi[605][4] bi[605][5] bi[606][0] bi[606][1] bi[606][2] bi[606][3] bi[606][4] bi[606][5] bi[607][0] bi[607][1] bi[607][2] bi[607][3] bi[607][4] bi[607][5] bi[608][0] bi[608][1] bi[608][2] bi[608][3] bi[608][4] bi[608][5] bi[609][0] bi[609][1] bi[609][2] bi[609][3] bi[609][4] bi[609][5] bi[610][0] bi[610][1] bi[610][2] bi[610][3] bi[610][4] bi[610][5] bi[611][0] bi[611][1] bi[611][2] bi[611][3] bi[611][4] bi[611][5] bi[612][0] bi[612][1] bi[612][2] bi[612][3] bi[612][4] bi[612][5] bi[613][0] bi[613][1] bi[613][2] bi[613][3] bi[613][4] bi[613][5] bi[614][0] bi[614][1] bi[614][2] bi[614][3] bi[614][4] bi[614][5] bi[615][0] bi[615][1] bi[615][2] bi[615][3] bi[615][4] bi[615][5] bi[616][0] bi[616][1] bi[616][2] bi[616][3] bi[616][4] bi[616][5] bi[617][0] bi[617][1] bi[617][2] bi[617][3] bi[617][4] bi[617][5] bi[618][0] bi[618][1] bi[618][2] bi[618][3] bi[618][4] bi[618][5] bi[619][0] bi[619][1] bi[619][2] bi[619][3] bi[619][4] bi[619][5] bi[620][0] bi[620][1] bi[620][2] bi[620][3] bi[620][4] bi[620][5] bi[621][0] bi[621][1] bi[621][2] bi[621][3] bi[621][4] bi[621][5] bi[622][0] bi[622][1] bi[622][2] bi[622][3] bi[622][4] bi[622][5] bi[623][0] bi[623][1] bi[623][2] bi[623][3] bi[623][4] bi[623][5] bi[624][0] bi[624][1] bi[624][2] bi[624][3] bi[624][4] bi[624][5] bi[625][0] bi[625][1] bi[625][2] bi[625][3] bi[625][4] bi[625][5] bi[626][0] bi[626][1] bi[626][2] bi[626][3] bi[626][4] bi[626][5] bi[627][0] bi[627][1] bi[627][2] bi[627][3] bi[627][4] bi[627][5] bi[628][0] bi[628][1] bi[628][2] bi[628][3] bi[628][4] bi[628][5] bi[629][0] bi[629][1] bi[629][2] bi[629][3] bi[629][4] bi[629][5] bi[630][0] bi[630][1] bi[630][2] bi[630][3] bi[630][4] bi[630][5] bi[631][0] bi[631][1] bi[631][2] bi[631][3] bi[631][4] bi[631][5] bi[632][0] bi[632][1] bi[632][2] bi[632][3] bi[632][4] bi[632][5] bi[633][0] bi[633][1] bi[633][2] bi[633][3] bi[633][4] bi[633][5] bi[634][0] bi[634][1] bi[634][2] bi[634][3] bi[634][4] bi[634][5] bi[635][0] bi[635][1] bi[635][2] bi[635][3] bi[635][4] bi[635][5] bi[636][0] bi[636][1] bi[636][2] bi[636][3] bi[636][4] bi[636][5] bi[637][0] bi[637][1] bi[637][2] bi[637][3] bi[637][4] bi[637][5] bi[638][0] bi[638][1] bi[638][2] bi[638][3] bi[638][4] bi[638][5] bi[639][0] bi[639][1] bi[639][2] bi[639][3] bi[639][4] bi[639][5] bi[640][0] bi[640][1] bi[640][2] bi[640][3] bi[640][4] bi[640][5] bi[641][0] bi[641][1] bi[641][2] bi[641][3] bi[641][4] bi[641][5] bi[642][0] bi[642][1] bi[642][2] bi[642][3] bi[642][4] bi[642][5] bi[643][0] bi[643][1] bi[643][2] bi[643][3] bi[643][4] bi[643][5] bi[644][0] bi[644][1] bi[644][2] bi[644][3] bi[644][4] bi[644][5] bi[645][0] bi[645][1] bi[645][2] bi[645][3] bi[645][4] bi[645][5] bi[646][0] bi[646][1] bi[646][2] bi[646][3] bi[646][4] bi[646][5] bi[647][0] bi[647][1] bi[647][2] bi[647][3] bi[647][4] bi[647][5] bi[648][0] bi[648][1] bi[648][2] bi[648][3] bi[648][4] bi[648][5] bi[649][0] bi[649][1] bi[649][2] bi[649][3] bi[649][4] bi[649][5] bi[650][0] bi[650][1] bi[650][2] bi[650][3] bi[650][4] bi[650][5] bi[651][0] bi[651][1] bi[651][2] bi[651][3] bi[651][4] bi[651][5] bi[652][0] bi[652][1] bi[652][2] bi[652][3] bi[652][4] bi[652][5] bi[653][0] bi[653][1] bi[653][2] bi[653][3] bi[653][4] bi[653][5] bi[654][0] bi[654][1] bi[654][2] bi[654][3] bi[654][4] bi[654][5] bi[655][0] bi[655][1] bi[655][2] bi[655][3] bi[655][4] bi[655][5] bi[656][0] bi[656][1] bi[656][2] bi[656][3] bi[656][4] bi[656][5] bi[657][0] bi[657][1] bi[657][2] bi[657][3] bi[657][4] bi[657][5] bi[658][0] bi[658][1] bi[658][2] bi[658][3] bi[658][4] bi[658][5] bi[659][0] bi[659][1] bi[659][2] bi[659][3] bi[659][4] bi[659][5] bi[660][0] bi[660][1] bi[660][2] bi[660][3] bi[660][4] bi[660][5] bi[661][0] bi[661][1] bi[661][2] bi[661][3] bi[661][4] bi[661][5] bi[662][0] bi[662][1] bi[662][2] bi[662][3] bi[662][4] bi[662][5] bi[663][0] bi[663][1] bi[663][2] bi[663][3] bi[663][4] bi[663][5] bi[664][0] bi[664][1] bi[664][2] bi[664][3] bi[664][4] bi[664][5] bi[665][0] bi[665][1] bi[665][2] bi[665][3] bi[665][4] bi[665][5] bi[666][0] bi[666][1] bi[666][2] bi[666][3] bi[666][4] bi[666][5] bi[667][0] bi[667][1] bi[667][2] bi[667][3] bi[667][4] bi[667][5] bi[668][0] bi[668][1] bi[668][2] bi[668][3] bi[668][4] bi[668][5] bi[669][0] bi[669][1] bi[669][2] bi[669][3] bi[669][4] bi[669][5] bi[670][0] bi[670][1] bi[670][2] bi[670][3] bi[670][4] bi[670][5] bi[671][0] bi[671][1] bi[671][2] bi[671][3] bi[671][4] bi[671][5] bi[672][0] bi[672][1] bi[672][2] bi[672][3] bi[672][4] bi[672][5] bi[673][0] bi[673][1] bi[673][2] bi[673][3] bi[673][4] bi[673][5] bi[674][0] bi[674][1] bi[674][2] bi[674][3] bi[674][4] bi[674][5] bi[675][0] bi[675][1] bi[675][2] bi[675][3] bi[675][4] bi[675][5] bi[676][0] bi[676][1] bi[676][2] bi[676][3] bi[676][4] bi[676][5] bi[677][0] bi[677][1] bi[677][2] bi[677][3] bi[677][4] bi[677][5] bi[678][0] bi[678][1] bi[678][2] bi[678][3] bi[678][4] bi[678][5] bi[679][0] bi[679][1] bi[679][2] bi[679][3] bi[679][4] bi[679][5] bi[680][0] bi[680][1] bi[680][2] bi[680][3] bi[680][4] bi[680][5] bi[681][0] bi[681][1] bi[681][2] bi[681][3] bi[681][4] bi[681][5] bi[682][0] bi[682][1] bi[682][2] bi[682][3] bi[682][4] bi[682][5] bi[683][0] bi[683][1] bi[683][2] bi[683][3] bi[683][4] bi[683][5] bi[684][0] bi[684][1] bi[684][2] bi[684][3] bi[684][4] bi[684][5] bi[685][0] bi[685][1] bi[685][2] bi[685][3] bi[685][4] bi[685][5] bi[686][0] bi[686][1] bi[686][2] bi[686][3] bi[686][4] bi[686][5] bi[687][0] bi[687][1] bi[687][2] bi[687][3] bi[687][4] bi[687][5] bi[688][0] bi[688][1] bi[688][2] bi[688][3] bi[688][4] bi[688][5] bi[689][0] bi[689][1] bi[689][2] bi[689][3] bi[689][4] bi[689][5] bi[690][0] bi[690][1] bi[690][2] bi[690][3] bi[690][4] bi[690][5] bi[691][0] bi[691][1] bi[691][2] bi[691][3] bi[691][4] bi[691][5] bi[692][0] bi[692][1] bi[692][2] bi[692][3] bi[692][4] bi[692][5] bi[693][0] bi[693][1] bi[693][2] bi[693][3] bi[693][4] bi[693][5] bi[694][0] bi[694][1] bi[694][2] bi[694][3] bi[694][4] bi[694][5] bi[695][0] bi[695][1] bi[695][2] bi[695][3] bi[695][4] bi[695][5] bi[696][0] bi[696][1] bi[696][2] bi[696][3] bi[696][4] bi[696][5] bi[697][0] bi[697][1] bi[697][2] bi[697][3] bi[697][4] bi[697][5] bi[698][0] bi[698][1] bi[698][2] bi[698][3] bi[698][4] bi[698][5] bi[699][0] bi[699][1] bi[699][2] bi[699][3] bi[699][4] bi[699][5] bi[700][0] bi[700][1] bi[700][2] bi[700][3] bi[700][4] bi[700][5] bi[701][0] bi[701][1] bi[701][2] bi[701][3] bi[701][4] bi[701][5] bi[702][0] bi[702][1] bi[702][2] bi[702][3] bi[702][4] bi[702][5] bi[703][0] bi[703][1] bi[703][2] bi[703][3] bi[703][4] bi[703][5] bi[704][0] bi[704][1] bi[704][2] bi[704][3] bi[704][4] bi[704][5] bi[705][0] bi[705][1] bi[705][2] bi[705][3] bi[705][4] bi[705][5] bi[706][0] bi[706][1] bi[706][2] bi[706][3] bi[706][4] bi[706][5] bi[707][0] bi[707][1] bi[707][2] bi[707][3] bi[707][4] bi[707][5] bi[708][0] bi[708][1] bi[708][2] bi[708][3] bi[708][4] bi[708][5] bi[709][0] bi[709][1] bi[709][2] bi[709][3] bi[709][4] bi[709][5] bi[710][0] bi[710][1] bi[710][2] bi[710][3] bi[710][4] bi[710][5] bi[711][0] bi[711][1] bi[711][2] bi[711][3] bi[711][4] bi[711][5] bi[712][0] bi[712][1] bi[712][2] bi[712][3] bi[712][4] bi[712][5] bi[713][0] bi[713][1] bi[713][2] bi[713][3] bi[713][4] bi[713][5] bi[714][0] bi[714][1] bi[714][2] bi[714][3] bi[714][4] bi[714][5] bi[715][0] bi[715][1] bi[715][2] bi[715][3] bi[715][4] bi[715][5] bi[716][0] bi[716][1] bi[716][2] bi[716][3] bi[716][4] bi[716][5] bi[717][0] bi[717][1] bi[717][2] bi[717][3] bi[717][4] bi[717][5] bi[718][0] bi[718][1] bi[718][2] bi[718][3] bi[718][4] bi[718][5] bi[719][0] bi[719][1] bi[719][2] bi[719][3] bi[719][4] bi[719][5] bi[720][0] bi[720][1] bi[720][2] bi[720][3] bi[720][4] bi[720][5] bi[721][0] bi[721][1] bi[721][2] bi[721][3] bi[721][4] bi[721][5] bi[722][0] bi[722][1] bi[722][2] bi[722][3] bi[722][4] bi[722][5] bi[723][0] bi[723][1] bi[723][2] bi[723][3] bi[723][4] bi[723][5] bi[724][0] bi[724][1] bi[724][2] bi[724][3] bi[724][4] bi[724][5] bi[725][0] bi[725][1] bi[725][2] bi[725][3] bi[725][4] bi[725][5] bi[726][0] bi[726][1] bi[726][2] bi[726][3] bi[726][4] bi[726][5] bi[727][0] bi[727][1] bi[727][2] bi[727][3] bi[727][4] bi[727][5] bi[728][0] bi[728][1] bi[728][2] bi[728][3] bi[728][4] bi[728][5] g[0] g[1] g[2] </list> 170.96/30.36 v <values>0 1 3 9 27 81 243 2 6 18 54 162 487 4 12 36 108 324 244 5 15 45 135 405 488 7 21 63 189 567 245 8 24 72 216 649 489 10 30 90 270 82 246 11 33 99 297 163 490 13 39 117 351 325 247 14 42 126 378 406 491 16 48 144 432 568 248 17 51 153 459 650 492 19 57 171 513 83 249 20 60 180 540 164 493 22 66 198 594 326 250 23 69 207 621 407 494 25 75 225 675 569 251 26 78 234 703 651 495 28 84 252 29 87 261 55 165 496 31 93 279 109 327 253 32 96 288 136 408 497 34 102 306 190 570 254 35 105 315 217 652 498 37 111 333 271 85 255 38 114 342 298 166 499 40 120 360 352 328 256 41 123 369 379 409 500 43 129 387 433 571 257 44 132 396 460 653 501 46 138 414 514 86 258 47 141 423 541 167 502 49 147 441 595 329 259 50 150 450 622 410 503 52 156 468 676 572 260 53 159 477 704 654 504 56 168 505 58 174 522 110 330 262 59 177 531 137 411 506 61 183 549 191 573 263 62 186 558 218 655 507 64 192 576 272 88 264 65 195 585 299 169 508 67 201 603 353 331 265 68 204 612 380 412 509 70 210 630 434 574 266 71 213 639 461 656 510 73 219 657 515 89 267 74 222 666 542 170 511 76 228 684 596 332 268 77 231 693 623 413 512 79 237 711 677 575 269 80 240 721 705 658 516 91 273 92 276 100 300 172 517 94 282 118 354 334 274 95 285 127 381 415 518 97 291 145 435 577 275 98 294 154 462 659 519 101 303 181 543 173 520 103 309 199 597 335 277 104 312 208 624 416 521 106 318 226 678 578 278 107 321 235 706 660 523 112 336 280 113 339 289 139 417 524 115 345 307 193 579 281 116 348 316 220 661 525 119 357 343 301 175 526 121 363 361 355 337 283 122 366 370 382 418 527 124 372 388 436 580 284 125 375 397 463 662 528 128 384 424 544 176 529 130 390 442 598 338 286 131 393 451 625 419 530 133 399 469 679 581 287 134 402 478 707 663 532 140 420 533 142 426 550 194 582 290 143 429 559 221 664 534 146 438 586 302 178 535 148 444 604 356 340 292 149 447 613 383 421 536 151 453 631 437 583 293 152 456 640 464 665 537 155 465 667 545 179 538 157 471 685 599 341 295 158 474 694 626 422 539 160 480 712 680 584 296 161 483 722 708 668 546 182 547 184 552 200 600 344 304 185 555 209 627 425 548 187 561 227 681 587 305 188 564 236 709 669 551 196 588 308 197 591 317 223 670 553 202 606 362 358 346 310 203 609 371 385 427 554 205 615 389 439 589 311 206 618 398 466 671 556 211 633 443 601 347 313 212 636 452 628 428 557 214 642 470 682 590 314 215 645 479 710 672 560 224 673 562 229 687 605 359 349 319 230 690 614 386 430 563 232 696 632 440 592 320 233 699 641 467 674 565 238 714 686 602 350 322 239 717 695 629 431 566 241 723 713 683 593 323 242 727 724 715 688 607 364 365 367 373 391 445 608 368 376 400 472 689 610 374 394 454 634 446 611 377 403 481 716 691 616 392 448 617 395 457 643 473 692 619 401 475 697 635 449 620 404 484 725 718 698 637 455 638 458 646 482 719 700 644 476 701 647 485 728 726 720 702 648 486 0 0 0 0 0 0 0 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 0 1 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 2 0 0 0 0 2 0 0 0 0 2 0 0 0 0 2 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 2 0 0 0 1 2 0 0 0 1 2 0 0 0 1 2 0 0 0 1 2 0 0 0 0 2 0 0 0 0 2 0 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 0 1 0 0 0 0 2 0 0 0 0 2 2 0 0 0 2 2 0 0 0 2 2 0 0 0 2 2 0 0 0 2 2 0 0 0 1 2 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 2 0 0 1 0 2 0 0 1 0 2 0 0 1 0 2 0 0 0 0 2 0 0 0 1 2 0 0 0 1 1 0 0 0 1 1 1 0 0 1 1 1 0 0 1 1 1 0 0 1 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 2 0 0 1 1 2 0 0 1 1 2 0 0 1 1 2 0 0 0 1 2 0 0 0 1 2 0 0 0 1 2 0 0 0 1 2 1 0 0 1 2 1 0 0 1 2 1 0 0 1 2 1 0 0 0 2 1 0 0 0 1 1 0 0 0 1 2 0 0 0 1 2 2 0 0 1 2 2 0 0 1 2 2 0 0 1 2 2 0 0 0 2 2 0 0 0 2 2 0 0 0 2 0 0 0 0 2 0 1 0 0 2 0 1 0 0 2 0 1 0 0 2 0 1 0 0 0 0 1 0 0 0 2 1 0 0 0 2 0 0 0 0 2 0 2 0 0 2 0 2 0 0 2 0 2 0 0 2 0 2 0 0 0 0 2 0 0 0 2 2 0 0 0 2 1 0 0 0 2 1 1 0 0 2 1 1 0 0 2 1 1 0 0 2 1 1 0 0 0 1 1 0 0 0 2 1 0 0 0 2 1 0 0 0 2 1 2 0 0 2 1 2 0 0 2 1 2 0 0 2 1 2 0 0 0 1 2 0 0 0 2 2 0 0 0 2 2 0 0 0 2 2 1 0 0 2 2 1 0 0 2 2 1 0 0 2 2 1 0 0 0 2 1 0 0 0 2 1 0 0 0 2 2 0 0 0 2 2 2 0 0 2 2 2 0 0 2 2 2 0 0 2 2 2 0 0 1 2 2 0 0 1 0 2 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 2 0 1 0 0 2 0 1 0 0 2 0 0 0 0 2 0 0 1 0 2 0 0 1 0 2 0 0 1 0 1 0 0 1 0 1 1 0 1 0 1 1 0 1 0 1 1 0 0 0 1 1 0 0 1 1 1 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 2 0 1 0 1 2 0 1 0 1 2 0 0 0 1 2 0 0 1 1 2 0 0 1 0 2 0 0 1 0 2 0 0 1 0 2 1 0 1 0 2 1 0 1 0 2 1 0 0 0 2 1 0 0 1 2 1 0 0 1 0 1 0 0 1 0 2 0 0 1 0 2 2 0 1 0 2 2 0 1 0 2 2 0 0 0 2 2 0 0 1 2 2 0 0 1 1 2 0 0 1 1 0 0 0 1 1 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 0 1 0 0 1 0 1 0 0 1 1 1 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 1 0 2 0 0 1 1 2 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 1 1 1 0 0 1 1 1 0 0 1 1 1 0 0 1 1 1 2 0 1 1 1 2 0 1 1 1 2 0 0 1 1 2 0 0 1 1 2 0 0 1 1 2 0 0 1 1 2 0 0 1 1 2 1 0 1 1 2 1 0 1 1 2 1 0 0 1 2 1 0 0 1 2 1 0 0 1 1 1 0 0 1 1 2 0 0 1 1 2 2 0 1 1 2 2 0 1 1 2 2 0 0 1 2 2 0 0 1 2 2 0 0 1 2 2 0 0 1 2 0 0 0 1 2 0 1 0 1 2 0 1 0 1 2 0 1 0 0 2 0 1 0 0 1 0 1 0 0 1 2 1 0 0 1 2 0 0 0 1 2 0 2 0 1 2 0 2 0 1 2 0 2 0 0 2 0 2 0 0 1 0 2 0 0 1 2 2 0 0 1 2 1 0 0 1 2 1 1 0 1 2 1 1 0 1 2 1 1 0 0 2 1 1 0 0 1 1 1 0 0 1 2 1 0 0 1 2 1 0 0 1 2 1 2 0 1 2 1 2 0 1 2 1 2 0 0 2 1 2 0 0 1 1 2 0 0 1 2 2 0 0 1 2 2 0 0 1 2 2 1 0 1 2 2 1 0 1 2 2 1 0 0 2 2 1 0 0 1 2 1 0 0 1 2 1 0 0 1 2 2 0 0 1 2 2 2 0 1 2 2 2 0 1 2 2 2 0 0 2 2 2 0 0 2 2 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 1 0 2 0 1 1 0 2 0 1 1 0 0 0 1 1 0 0 2 1 1 0 0 2 0 1 0 0 2 0 1 0 0 2 0 1 2 0 2 0 1 2 0 2 0 1 2 0 0 0 1 2 0 0 2 1 2 0 0 2 0 2 0 0 2 0 2 0 0 2 0 2 1 0 2 0 2 1 0 2 0 2 1 0 0 0 2 1 0 0 2 2 1 0 0 2 0 1 0 0 2 0 2 0 0 2 0 2 2 0 2 0 2 2 0 2 0 2 2 0 0 0 2 2 0 0 2 2 2 0 0 2 1 2 0 0 2 1 0 0 0 2 1 0 1 0 2 1 0 1 0 2 1 0 1 0 0 1 0 1 0 0 2 0 1 0 0 2 1 1 0 0 2 1 0 0 0 2 1 0 2 0 2 1 0 2 0 2 1 0 2 0 0 1 0 2 0 0 2 0 2 0 0 2 1 2 0 0 2 1 1 0 0 2 1 1 1 0 2 1 1 1 0 2 1 1 1 0 0 1 1 1 0 0 2 1 1 0 0 2 1 1 0 0 2 1 1 0 0 2 1 1 2 0 2 1 1 2 0 2 1 1 2 0 0 1 1 2 0 0 2 1 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 0 1 2 1 0 0 2 2 1 0 0 2 1 1 0 0 2 1 2 0 0 2 1 2 2 0 2 1 2 2 0 2 1 2 2 0 0 1 2 2 0 0 2 2 2 0 0 2 2 2 0 0 2 2 0 0 0 2 2 0 1 0 2 2 0 1 0 2 2 0 1 0 0 2 0 1 0 0 2 0 1 0 0 2 2 1 0 0 2 2 0 0 0 2 2 0 2 0 2 2 0 2 0 2 2 0 2 0 0 2 0 2 0 0 2 0 2 0 0 2 2 2 0 0 2 2 1 0 0 2 2 1 1 0 2 2 1 1 0 2 2 1 1 0 0 2 1 1 0 0 2 1 1 0 0 2 2 1 0 0 2 2 1 0 0 2 2 1 2 0 2 2 1 2 0 2 2 1 2 0 0 2 1 2 0 0 2 1 2 0 0 2 2 2 0 0 2 2 2 0 0 2 2 2 1 0 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 2 0 2 2 2 2 0 2 2 2 2 0 1 2 2 2 0 1 0 2 2 0 1 0 1 2 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 2 1 0 1 0 2 0 0 1 0 2 0 1 1 0 2 0 1 0 0 2 0 1 0 1 2 0 1 0 1 1 0 1 0 1 1 1 1 0 1 1 1 0 0 1 1 1 0 1 1 1 1 0 1 0 1 1 0 1 0 1 1 0 1 0 1 1 0 1 0 1 1 2 1 0 1 1 2 0 0 1 1 2 0 1 1 1 2 0 1 0 1 2 0 1 0 1 2 0 1 0 1 2 0 1 0 1 2 1 1 0 1 2 1 0 0 1 2 1 0 1 1 2 1 0 1 0 2 1 0 1 0 1 1 0 1 0 1 2 0 1 0 1 2 2 1 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 0 0 1 0 2 0 2 1 0 2 0 2 0 0 2 0 2 0 1 2 0 2 0 1 0 0 2 0 1 0 2 2 0 1 0 2 1 0 1 0 2 1 1 1 0 2 1 1 0 0 2 1 1 0 1 2 1 1 0 1 0 1 1 0 1 0 2 1 0 1 0 2 1 0 1 0 2 1 2 1 0 2 1 2 0 0 2 1 2 0 1 2 1 2 0 1 0 1 2 0 1 0 2 2 0 1 0 2 2 0 1 0 2 2 1 1 0 2 2 1 0 0 2 2 1 0 1 2 2 1 0 1 0 2 1 0 1 0 2 1 0 1 0 2 2 0 1 0 2 2 2 1 0 2 2 2 0 0 2 2 2 0 1 2 2 2 0 1 1 2 2 0 1 1 0 2 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 0 2 0 1 1 0 2 0 1 1 0 2 1 1 1 0 2 1 0 1 0 2 1 0 1 0 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 1 0 2 2 0 1 1 2 2 0 1 1 1 2 0 1 1 1 0 0 1 1 1 0 2 1 1 1 0 2 0 1 1 0 2 0 1 1 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 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 2 1 1 1 1 2 0 1 1 1 2 0 1 1 1 2 0 1 1 1 2 0 1 1 1 2 0 1 1 1 2 0 1 1 1 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 1 1 0 1 1 1 2 0 1 1 1 2 2 1 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 0 0 1 1 2 0 2 1 1 2 0 2 0 1 2 0 2 0 1 2 0 2 0 1 1 0 2 0 1 1 2 2 0 1 1 2 1 0 1 1 2 1 1 1 1 2 1 1 0 1 2 1 1 0 1 2 1 1 0 1 1 1 1 0 1 1 2 1 0 1 1 2 1 0 1 1 2 1 2 1 1 2 1 2 0 1 2 1 2 0 1 2 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 1 2 2 1 0 1 1 2 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 1 2 2 2 0 1 2 2 2 0 1 2 0 2 0 1 2 0 1 0 1 2 0 1 2 1 2 0 1 2 0 2 0 1 2 0 2 0 1 2 0 2 1 1 2 0 2 1 0 2 0 2 1 0 1 0 2 1 0 1 2 2 1 0 1 2 0 1 0 1 2 0 2 0 1 2 0 2 2 1 2 0 2 2 0 2 0 2 2 0 1 0 2 2 0 1 2 2 2 0 1 2 1 2 0 1 2 1 0 0 1 2 1 0 2 1 2 1 0 2 0 2 1 0 2 0 1 1 0 2 0 1 2 0 2 0 1 2 1 2 0 1 2 1 1 0 1 2 1 1 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 0 2 1 1 2 0 1 1 1 2 0 1 2 1 2 0 1 2 1 2 0 1 2 1 2 0 1 2 1 2 1 1 2 1 2 1 0 2 1 2 1 0 1 1 2 1 0 1 2 2 1 0 1 2 1 1 0 1 2 1 2 0 1 2 1 2 2 1 2 1 2 2 0 2 1 2 2 0 1 1 2 2 0 1 2 2 2 0 1 2 2 2 0 1 2 2 0 0 1 2 2 0 2 1 2 2 0 2 0 2 2 0 2 0 1 2 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 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 2 1 2 2 1 2 0 2 2 1 2 0 1 2 1 2 0 1 2 1 2 0 1 2 2 2 0 1 2 2 2 0 1 2 2 2 1 1 2 2 2 1 0 2 2 2 1 0 1 2 2 1 0 1 2 2 1 0 1 2 2 1 0 1 2 2 2 0 1 2 2 2 2 1 2 2 2 2 0 2 2 2 2 0 2 2 2 2 0 2 0 2 2 0 2 0 2 2 0 2 0 2 0 0 2 0 2 0 2 2 0 2 0 2 1 0 2 0 2 1 1 2 0 2 1 1 0 0 2 1 1 0 2 2 1 1 0 2 0 1 1 0 2 0 2 1 0 2 0 2 1 0 2 0 2 1 2 2 0 2 1 2 0 0 2 1 2 0 2 2 1 2 0 2 0 1 2 0 2 0 2 2 0 2 0 2 2 0 2 0 2 2 1 2 0 2 2 1 0 0 2 2 1 0 2 2 2 1 0 2 0 2 1 0 2 0 2 1 0 2 0 2 2 0 2 0 2 2 2 2 0 2 2 2 0 0 2 2 2 0 2 2 2 2 0 2 1 2 2 0 2 1 0 2 0 2 1 0 2 0 2 1 0 2 1 2 1 0 2 1 0 1 0 2 1 0 2 0 2 1 0 2 2 2 1 0 2 2 0 1 0 2 2 0 2 0 2 2 0 2 1 2 2 0 2 1 1 2 0 2 1 1 1 0 2 1 1 1 1 2 1 1 1 1 0 1 1 1 1 0 2 1 1 1 0 2 1 1 1 0 2 1 1 1 0 2 1 1 1 0 2 1 1 1 2 2 1 1 1 2 0 1 1 1 2 0 2 1 1 2 0 2 1 1 2 0 2 1 1 2 0 2 1 1 2 0 2 1 1 2 1 2 1 1 2 1 0 1 1 2 1 0 2 1 2 1 0 2 1 2 1 0 2 1 1 1 0 2 1 1 2 0 2 1 1 2 2 2 1 1 2 2 0 1 1 2 2 0 2 1 2 2 0 2 1 2 2 0 2 1 2 2 0 2 1 2 1 0 2 1 2 1 1 2 1 2 1 1 0 1 2 1 1 0 2 2 1 1 0 2 1 1 1 0 2 1 2 1 0 2 1 2 1 0 2 1 2 1 2 2 1 2 1 2 0 1 2 1 2 0 2 2 1 2 0 2 1 1 2 0 2 1 2 2 0 2 1 2 2 0 2 1 2 2 1 2 1 2 2 1 0 1 2 2 1 0 2 2 2 1 0 2 1 2 1 0 2 1 2 1 0 2 1 2 2 0 2 1 2 2 2 2 1 2 2 2 0 1 2 2 2 0 2 2 2 2 0 2 2 2 2 0 2 2 0 2 0 2 2 0 2 0 2 2 0 2 2 2 2 0 2 2 1 2 0 2 2 1 1 0 2 2 1 1 1 2 2 1 1 1 0 2 1 1 1 0 2 1 1 1 0 2 2 1 1 0 2 2 1 1 0 2 2 1 1 0 2 2 1 1 2 2 2 1 1 2 0 2 1 1 2 0 2 1 1 2 0 2 2 1 2 0 2 2 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 2 2 1 0 2 2 1 1 0 2 2 1 2 0 2 2 1 2 2 2 2 1 2 2 0 2 1 2 2 0 2 1 2 2 0 2 2 2 2 0 2 2 2 2 0 2 2 2 1 0 2 2 2 1 1 2 2 2 1 1 0 2 2 1 1 0 2 2 1 1 0 2 2 1 1 0 2 2 2 1 0 2 2 2 1 0 2 2 2 1 2 2 2 2 1 2 0 2 2 1 2 0 2 2 1 2 0 2 2 1 2 0 2 2 2 2 0 2 2 2 2 0 2 2 2 2 1 2 2 2 2 1 0 2 2 2 1 0 2 2 2 1 0 2 2 2 1 0 2 2 2 1 0 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 1 1 2 2 2 1 1 1 2 2 1 1 1 1 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 1 1 1 1 2 1 1 1 1 2 1 1 1 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 1 1 1 2 2 1 1 1 2 2 1 1 1 2 2 1 1 1 2 2 1 1 1 2 1 1 1 1 2 1 2 1 1 2 1 2 1 1 2 1 2 1 1 2 1 2 1 1 1 1 2 1 1 1 2 2 1 1 1 2 2 1 1 1 2 2 2 1 1 2 2 2 1 1 2 2 2 1 1 2 2 2 1 1 2 2 2 1 1 2 1 2 1 1 2 1 1 1 1 2 1 1 2 1 2 1 1 2 1 2 1 1 2 1 2 1 1 2 1 2 2 1 2 1 2 2 1 2 1 2 2 1 1 1 2 2 1 1 2 2 2 1 1 2 2 2 1 1 2 2 1 1 1 2 2 1 2 1 2 2 1 2 1 2 2 1 2 1 1 2 1 2 1 1 2 1 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 2 2 2 2 1 2 1 2 2 1 2 1 2 2 1 2 1 2 1 1 2 1 2 1 2 2 1 2 1 2 2 1 2 1 2 2 2 2 1 2 2 2 1 1 2 2 2 1 2 2 2 2 1 2 2 2 2 1 2 2 1 2 1 2 2 1 2 1 2 2 1 2 2 2 2 1 2 2 2 2 1 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 2 2 2 2 0 0 2 2 2 0 0 0 2 2 0 0 0 0 2 0 0 0 0 0 243 243 243 </values> 170.96/30.36 v </instantiation>
OK
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4246465-1500687757/watcher-4246465-1500687757 -o /tmp/evaluation-result-4246465-1500687757/solver-4246465-1500687757 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500682620-7802 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 310411335 HOME/instance-4246465-1500687757.xml pid=21272 running on 8 cores: 1,3,5,7,9,11,13,15 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 14.88 15.33 14.12 2/241 21275 /proc/meminfo: memFree=31862732/32770624 swapFree=5860/273376 [pid=21275] ppid=21272 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21275/stat : 21275 (xcsp3-exec) S 21272 21275 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4043123 9740288 346 33554432000 4194304 5098028 140731987194832 140731987192936 140158106899068 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 31236096 140731987203215 140731987203424 140731987203424 140731987206123 0 /proc/21275/statm: 2378 346 289 221 0 87 0 [startup+0.100154 s] /proc/loadavg: 14.88 15.33 14.12 2/241 21275 /proc/meminfo: memFree=31862732/32770624 swapFree=5860/273376 [pid=21275] ppid=21272 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21275/stat : 21275 (xcsp3-exec) S 21272 21275 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4043123 9740288 346 33554432000 4194304 5098028 140731987194832 140731987192936 140158106899068 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 31236096 140731987203215 140731987203424 140731987203424 140731987206123 0 /proc/21275/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.20027 s] /proc/loadavg: 14.88 15.33 14.12 2/241 21275 /proc/meminfo: memFree=31862732/32770624 swapFree=5860/273376 [pid=21275] ppid=21272 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21275/stat : 21275 (xcsp3-exec) S 21272 21275 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4043123 9740288 346 33554432000 4194304 5098028 140731987194832 140731987192936 140158106899068 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 31236096 140731987203215 140731987203424 140731987203424 140731987206123 0 /proc/21275/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.30038 s] /proc/loadavg: 14.88 15.33 14.12 2/241 21275 /proc/meminfo: memFree=31862732/32770624 swapFree=5860/273376 [pid=21275] ppid=21272 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21275/stat : 21275 (xcsp3-exec) S 21272 21275 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4043123 9740288 346 33554432000 4194304 5098028 140731987194832 140731987192936 140158106899068 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 31236096 140731987203215 140731987203424 140731987203424 140731987206123 0 /proc/21275/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.700268 s] /proc/loadavg: 14.88 15.33 14.12 2/241 21275 /proc/meminfo: memFree=31862732/32770624 swapFree=5860/273376 [pid=21275] ppid=21272 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21275/stat : 21275 (xcsp3-exec) S 21272 21275 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4043123 9740288 346 33554432000 4194304 5098028 140731987194832 140731987192936 140158106899068 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 31236096 140731987203215 140731987203424 140731987203424 140731987206123 0 /proc/21275/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50106 s] /proc/loadavg: 14.88 15.33 14.12 4/285 21348 /proc/meminfo: memFree=31672392/32770624 swapFree=5860/273448 [pid=21275] ppid=21272 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21275/stat : 21275 (xcsp3-exec) S 21272 21275 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4043123 9740288 346 33554432000 4194304 5098028 140731987194832 140731987192936 140158106899068 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 31236096 140731987203215 140731987203424 140731987203424 140731987206123 0 /proc/21275/statm: 2378 346 289 221 0 87 0 [pid=21276] ppid=21275 vsize=13269256 CPUtime=3.37 cores=1,3,5,7,9,11,13,15 /proc/21276/stat : 21276 (java) S 21275 21275 7411 0 -1 1077944320 15523 0 0 0 329 8 0 0 20 0 20 0 4043123 13587718144 44071 33554432000 4194304 4196468 140726081091104 140726081073648 139984415325943 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 /proc/21276/statm: 3317314 44071 3215 1 0 3304547 0 [pid=21276/tid=21277] ppid=21275 vsize=13269256 CPUtime=1.47 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21277/stat : 21277 (java) R 21275 21275 7411 0 -1 4202560 6907 0 0 0 142 5 0 0 20 0 20 0 4043124 13587718144 44071 33554432000 4194304 4196468 140726081091104 139984419561016 139984011633807 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21279] ppid=21275 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21279/stat : 21279 (java) S 21275 21275 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4043125 13587718144 44071 33554432000 4194304 4196468 140726081091104 139984333806224 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21280] ppid=21275 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21280/stat : 21280 (java) S 21275 21275 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4043125 13587718144 44071 33554432000 4194304 4196468 140726081091104 139984332753424 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21281] ppid=21275 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21281/stat : 21281 (java) S 21275 21275 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4043125 13587718144 44071 33554432000 4194304 4196468 140726081091104 139984331700624 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21282] ppid=21275 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21282/stat : 21282 (java) S 21275 21275 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4043125 13587718144 44071 33554432000 4194304 4196468 140726081091104 139984330647824 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21283] ppid=21275 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21283/stat : 21283 (java) S 21275 21275 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4043125 13587718144 44071 33554432000 4194304 4196468 140726081091104 139984329596048 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21284] ppid=21275 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21284/stat : 21284 (java) S 21275 21275 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4043125 13587718144 44071 33554432000 4194304 4196468 140726081091104 139984328543248 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21285] ppid=21275 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21285/stat : 21285 (java) S 21275 21275 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4043125 13587718144 44071 33554432000 4194304 4196468 140726081091104 139984327490448 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21286] ppid=21275 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21286/stat : 21286 (java) S 21275 21275 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4043125 13587718144 44071 33554432000 4194304 4196468 140726081091104 139984006802192 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21290] ppid=21275 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21290/stat : 21290 (java) S 21275 21275 7411 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 4043127 13587718144 44071 33554432000 4194304 4196468 140726081091104 139983080151408 139984415337090 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21291] ppid=21275 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21291/stat : 21291 (java) S 21275 21275 7411 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4043128 13587718144 44071 33554432000 4194304 4196468 140726081091104 139983079097376 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21292] ppid=21275 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21292/stat : 21292 (java) S 21275 21275 7411 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4043128 13587718144 44071 33554432000 4194304 4196468 140726081091104 139983078044528 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21305] ppid=21275 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21305/stat : 21305 (java) S 21275 21275 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4043132 13587718144 44071 33554432000 4194304 4196468 140726081091104 139983076992848 139984415344539 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21306] ppid=21275 vsize=13269256 CPUtime=0.45 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21306/stat : 21306 (java) S 21275 21275 7411 0 -1 1077944384 1962 0 0 0 45 0 0 0 20 0 20 0 4043132 13587718144 44071 33554432000 4194304 4196468 140726081091104 139983075941232 139984415337090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21307] ppid=21275 vsize=13269256 CPUtime=0.44 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21307/stat : 21307 (java) S 21275 21275 7411 0 -1 1077944384 1214 0 0 0 44 0 0 0 20 0 20 0 4043132 13587718144 44071 33554432000 4194304 4196468 140726081091104 139983074888432 139984415337090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21308] ppid=21275 vsize=13269256 CPUtime=0.47 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21308/stat : 21308 (java) S 21275 21275 7411 0 -1 1077944384 1726 0 0 0 47 0 0 0 20 0 20 0 4043132 13587718144 44071 33554432000 4194304 4196468 140726081091104 139983073835632 139984415337090 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21309] ppid=21275 vsize=13269256 CPUtime=0.5 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21309/stat : 21309 (java) S 21275 21275 7411 0 -1 1077944384 2402 0 0 0 49 1 0 0 20 0 20 0 4043132 13587718144 44071 33554432000 4194304 4196468 140726081091104 139983072782832 139984415337090 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21311] ppid=21275 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21311/stat : 21311 (java) S 21275 21275 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4043132 13587718144 44071 33554432000 4194304 4196468 140726081091104 139983071730272 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21312] ppid=21275 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21312/stat : 21312 (java) S 21275 21275 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4043132 13587718144 44071 33554432000 4194304 4196468 140726081091104 139983070677552 139984415337090 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 Current children cumulated CPU time (s) 3.37 Current children cumulated vsize (KiB) 13278768 [startup+3.10111 s] /proc/loadavg: 14.09 15.16 14.07 16/293 21356 /proc/meminfo: memFree=31414000/32770624 swapFree=5860/273448 [pid=21275] ppid=21272 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21275/stat : 21275 (xcsp3-exec) S 21272 21275 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4043123 9740288 346 33554432000 4194304 5098028 140731987194832 140731987192936 140158106899068 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 31236096 140731987203215 140731987203424 140731987203424 140731987206123 0 /proc/21275/statm: 2378 346 289 221 0 87 0 [pid=21276] ppid=21275 vsize=13269256 CPUtime=7.43 cores=1,3,5,7,9,11,13,15 /proc/21276/stat : 21276 (java) S 21275 21275 7411 0 -1 1077944320 25015 0 0 0 658 85 0 0 20 0 20 0 4043123 13587718144 83726 33554432000 4194304 4196468 140726081091104 140726081073648 139984415325943 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 /proc/21276/statm: 3317314 83726 3268 1 0 3304547 0 [pid=21276/tid=21277] ppid=21275 vsize=13269256 CPUtime=2.9 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21277/stat : 21277 (java) R 21275 21275 7411 0 -1 4202560 9228 0 0 0 285 5 0 0 20 0 20 0 4043124 13587718144 83726 33554432000 4194304 4196468 140726081091104 139984419561080 139984011633801 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21279] ppid=21275 vsize=13269256 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21279/stat : 21279 (java) S 21275 21275 7411 0 -1 1077944384 251 0 0 0 4 8 0 0 20 0 20 0 4043125 13587718144 83726 33554432000 4194304 4196468 140726081091104 139984333806224 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21280] ppid=21275 vsize=13269256 CPUtime=0.15 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21280/stat : 21280 (java) S 21275 21275 7411 0 -1 1077944384 113 0 0 0 7 8 0 0 20 0 20 0 4043125 13587718144 83726 33554432000 4194304 4196468 140726081091104 139984332753424 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21281] ppid=21275 vsize=13269256 CPUtime=0.15 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21281/stat : 21281 (java) S 21275 21275 7411 0 -1 1077944384 88 0 0 0 5 10 0 0 20 0 20 0 4043125 13587718144 83726 33554432000 4194304 4196468 140726081091104 139984331700624 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21282] ppid=21275 vsize=13269256 CPUtime=0.15 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21282/stat : 21282 (java) S 21275 21275 7411 0 -1 1077944384 181 0 0 0 5 10 0 0 20 0 20 0 4043125 13587718144 83726 33554432000 4194304 4196468 140726081091104 139984330647824 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21283] ppid=21275 vsize=13269256 CPUtime=0.11 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21283/stat : 21283 (java) S 21275 21275 7411 0 -1 1077944384 93 0 0 0 4 7 0 0 20 0 20 0 4043125 13587718144 83726 33554432000 4194304 4196468 140726081091104 139984329596048 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21284] ppid=21275 vsize=13269256 CPUtime=0.14 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21284/stat : 21284 (java) S 21275 21275 7411 0 -1 1077944384 150 0 0 0 5 9 0 0 20 0 20 0 4043125 13587718144 83726 33554432000 4194304 4196468 140726081091104 139984328543248 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21285] ppid=21275 vsize=13269256 CPUtime=0.14 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21285/stat : 21285 (java) S 21275 21275 7411 0 -1 1077944384 87 0 0 0 5 9 0 0 20 0 20 0 4043125 13587718144 83726 33554432000 4194304 4196468 140726081091104 139984327490448 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21286] ppid=21275 vsize=13269256 CPUtime=0.15 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21286/stat : 21286 (java) S 21275 21275 7411 0 -1 1077944384 168 0 0 0 6 9 0 0 20 0 20 0 4043125 13587718144 83726 33554432000 4194304 4196468 140726081091104 139984006802192 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21290] ppid=21275 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21290/stat : 21290 (java) S 21275 21275 7411 0 -1 1077944384 414 0 0 0 0 0 0 0 20 0 20 0 4043127 13587718144 83726 33554432000 4194304 4196468 140726081091104 139983080151408 139984415337090 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21291] ppid=21275 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21291/stat : 21291 (java) S 21275 21275 7411 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 4043128 13587718144 83726 33554432000 4194304 4196468 140726081091104 139983079097440 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21292] ppid=21275 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21292/stat : 21292 (java) S 21275 21275 7411 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 4043128 13587718144 83726 33554432000 4194304 4196468 140726081091104 139983078044528 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21305] ppid=21275 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21305/stat : 21305 (java) S 21275 21275 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4043132 13587718144 83726 33554432000 4194304 4196468 140726081091104 139983076992848 139984415344539 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21306] ppid=21275 vsize=13269256 CPUtime=0.85 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21306/stat : 21306 (java) S 21275 21275 7411 0 -1 1077944384 3150 0 0 0 84 1 0 0 20 0 20 0 4043132 13587718144 83726 33554432000 4194304 4196468 140726081091104 139983075941232 139984415337090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21307] ppid=21275 vsize=13269256 CPUtime=0.87 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21307/stat : 21307 (java) S 21275 21275 7411 0 -1 1077944384 2371 0 0 0 87 0 0 0 20 0 20 0 4043132 13587718144 83726 33554432000 4194304 4196468 140726081091104 139983074888432 139984415337090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21308] ppid=21275 vsize=13269256 CPUtime=0.84 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21308/stat : 21308 (java) S 21275 21275 7411 0 -1 1077944384 2932 0 0 0 84 0 0 0 20 0 20 0 4043132 13587718144 83726 33554432000 4194304 4196468 140726081091104 139983073835632 139984415337090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21309] ppid=21275 vsize=13269256 CPUtime=0.7 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21309/stat : 21309 (java) S 21275 21275 7411 0 -1 1077944384 4437 0 0 0 69 1 0 0 20 0 20 0 4043132 13587718144 83726 33554432000 4194304 4196468 140726081091104 139983072782832 139984415337090 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21311] ppid=21275 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21311/stat : 21311 (java) S 21275 21275 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4043132 13587718144 83726 33554432000 4194304 4196468 140726081091104 139983071730272 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21312] ppid=21275 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21312/stat : 21312 (java) S 21275 21275 7411 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 4043132 13587718144 83726 33554432000 4194304 4196468 140726081091104 139983070677552 139984415337090 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 Current children cumulated CPU time (s) 7.43 Current children cumulated vsize (KiB) 13278768 [startup+6.30082 s] /proc/loadavg: 14.09 15.16 14.07 6/259 21411 /proc/meminfo: memFree=31192896/32770624 swapFree=5860/301008 [pid=21275] ppid=21272 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21275/stat : 21275 (xcsp3-exec) S 21272 21275 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4043123 9740288 346 33554432000 4194304 5098028 140731987194832 140731987192936 140158106899068 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 31236096 140731987203215 140731987203424 140731987203424 140731987206123 0 /proc/21275/statm: 2378 346 289 221 0 87 0 [pid=21276] ppid=21275 vsize=13269256 CPUtime=14.81 cores=1,3,5,7,9,11,13,15 /proc/21276/stat : 21276 (java) S 21275 21275 7411 0 -1 1077944320 30846 0 0 0 1285 196 0 0 20 0 20 0 4043123 13587718144 164563 33554432000 4194304 4196468 140726081091104 140726081073648 139984415325943 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 /proc/21276/statm: 3317314 164563 3279 1 0 3304547 0 [pid=21276/tid=21277] ppid=21275 vsize=13269256 CPUtime=5.66 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21277/stat : 21277 (java) R 21275 21275 7411 0 -1 4202560 9377 0 0 0 559 7 0 0 20 0 20 0 4043124 13587718144 164563 33554432000 4194304 4196468 140726081091104 139984419562792 139984011633744 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21279] ppid=21275 vsize=13269256 CPUtime=0.54 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21279/stat : 21279 (java) S 21275 21275 7411 0 -1 1077944384 587 0 0 0 32 22 0 0 20 0 20 0 4043125 13587718144 164563 33554432000 4194304 4196468 140726081091104 139984333806224 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21280] ppid=21275 vsize=13269256 CPUtime=0.57 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21280/stat : 21280 (java) S 21275 21275 7411 0 -1 1077944384 272 0 0 0 35 22 0 0 20 0 20 0 4043125 13587718144 164563 33554432000 4194304 4196468 140726081091104 139984332753424 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21281] ppid=21275 vsize=13269256 CPUtime=0.55 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21281/stat : 21281 (java) S 21275 21275 7411 0 -1 1077944384 230 0 0 0 31 24 0 0 20 0 20 0 4043125 13587718144 164563 33554432000 4194304 4196468 140726081091104 139984331700624 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21282] ppid=21275 vsize=13269256 CPUtime=0.55 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21282/stat : 21282 (java) S 21275 21275 7411 0 -1 1077944384 353 0 0 0 31 24 0 0 20 0 20 0 4043125 13587718144 164563 33554432000 4194304 4196468 140726081091104 139984330647824 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21283] ppid=21275 vsize=13269256 CPUtime=0.52 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21283/stat : 21283 (java) S 21275 21275 7411 0 -1 1077944384 259 0 0 0 32 20 0 0 20 0 20 0 4043125 13587718144 164563 33554432000 4194304 4196468 140726081091104 139984329596048 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21284] ppid=21275 vsize=13269256 CPUtime=0.55 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21284/stat : 21284 (java) S 21275 21275 7411 0 -1 1077944384 288 0 0 0 32 23 0 0 20 0 20 0 4043125 13587718144 164563 33554432000 4194304 4196468 140726081091104 139984328543248 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21285] ppid=21275 vsize=13269256 CPUtime=0.54 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21285/stat : 21285 (java) S 21275 21275 7411 0 -1 1077944384 206 0 0 0 32 22 0 0 20 0 20 0 4043125 13587718144 164563 33554432000 4194304 4196468 140726081091104 139984327490448 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21286] ppid=21275 vsize=13269256 CPUtime=0.57 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21286/stat : 21286 (java) S 21275 21275 7411 0 -1 1077944384 297 0 0 0 34 23 0 0 20 0 20 0 4043125 13587718144 164563 33554432000 4194304 4196468 140726081091104 139984006802192 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21290] ppid=21275 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21290/stat : 21290 (java) S 21275 21275 7411 0 -1 1077944384 1254 0 0 0 2 0 0 0 20 0 20 0 4043127 13587718144 164563 33554432000 4194304 4196468 140726081091104 139983080151408 139984415337090 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21291] ppid=21275 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21291/stat : 21291 (java) S 21275 21275 7411 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 4043128 13587718144 164563 33554432000 4194304 4196468 140726081091104 139983079097440 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21292] ppid=21275 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21292/stat : 21292 (java) S 21275 21275 7411 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 4043128 13587718144 164563 33554432000 4194304 4196468 140726081091104 139983078044544 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21305] ppid=21275 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21305/stat : 21305 (java) S 21275 21275 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4043132 13587718144 164563 33554432000 4194304 4196468 140726081091104 139983076992848 139984415344539 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 ################ # More data... # ################ /proc/21276/task/21291/stat : 21291 (java) S 21275 21275 7411 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 4043128 14133010432 643553 33554432000 4194304 4196468 140726081091104 139983079097440 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21292] ppid=21275 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21292/stat : 21292 (java) S 21275 21275 7411 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 28 0 4043128 14133010432 643553 33554432000 4194304 4196468 140726081091104 139983078044544 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21305] ppid=21275 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21305/stat : 21305 (java) S 21275 21275 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4043132 14133010432 643553 33554432000 4194304 4196468 140726081091104 139983076992848 139984415344539 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21306] ppid=21275 vsize=13801768 CPUtime=3.75 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21306/stat : 21306 (java) R 21275 21275 7411 0 -1 4202560 11435 0 0 0 372 3 0 0 20 0 28 0 4043132 14133010432 643553 33554432000 4194304 4196468 140726081091104 139983075927328 139984396845628 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21307] ppid=21275 vsize=13801768 CPUtime=3.57 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21307/stat : 21307 (java) S 21275 21275 7411 0 -1 1077944384 8160 0 0 0 356 1 0 0 20 0 28 0 4043132 14133010432 643553 33554432000 4194304 4196468 140726081091104 139983074888432 139984415337090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21308] ppid=21275 vsize=13801768 CPUtime=3.58 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21308/stat : 21308 (java) S 21275 21275 7411 0 -1 1077944384 9901 0 0 0 356 2 0 0 20 0 28 0 4043132 14133010432 643553 33554432000 4194304 4196468 140726081091104 139983073835632 139984415337090 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21309] ppid=21275 vsize=13801768 CPUtime=1.19 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21309/stat : 21309 (java) S 21275 21275 7411 0 -1 1077944384 8779 0 0 0 117 2 0 0 20 0 28 0 4043132 14133010432 643553 33554432000 4194304 4196468 140726081091104 139983072782832 139984415337090 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21311] ppid=21275 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21311/stat : 21311 (java) S 21275 21275 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4043132 14133010432 643553 33554432000 4194304 4196468 140726081091104 139983071730272 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21312] ppid=21275 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21312/stat : 21312 (java) S 21275 21275 7411 0 -1 1077944384 424 0 0 0 1 0 0 0 20 0 28 0 4043132 14133010432 643553 33554432000 4194304 4196468 140726081091104 139983070677552 139984415337090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21443] ppid=21275 vsize=13801768 CPUtime=15.63 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21443/stat : 21443 (java) R 21275 21275 7411 0 -1 4202560 2611 0 0 0 1562 1 0 0 20 0 28 0 4044367 14133010432 644065 33554432000 4194304 4196468 140726081091104 139983062661464 139984010125981 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21444] ppid=21275 vsize=13801768 CPUtime=15.35 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21444/stat : 21444 (java) R 21275 21275 7411 0 -1 4202560 6147 0 0 0 1534 1 0 0 20 0 28 0 4044368 14133010432 644065 33554432000 4194304 4196468 140726081091104 139983061609712 139984010125981 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21445] ppid=21275 vsize=13801768 CPUtime=15.34 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21445/stat : 21445 (java) R 21275 21275 7411 0 -1 4202560 1630 0 0 0 1532 2 0 0 20 0 28 0 4044368 14133010432 644065 33554432000 4194304 4196468 140726081091104 139983060558792 139984010127409 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21446] ppid=21275 vsize=13801768 CPUtime=15.47 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21446/stat : 21446 (java) R 21275 21275 7411 0 -1 4202560 1085 0 0 0 1546 1 0 0 20 0 28 0 4044368 14133010432 644065 33554432000 4194304 4196468 140726081091104 139983059505520 139984010125448 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21447] ppid=21275 vsize=13801768 CPUtime=15.12 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21447/stat : 21447 (java) R 21275 21275 7411 0 -1 4202560 1398 0 0 0 1511 1 0 0 20 0 28 0 4044368 14133010432 644065 33554432000 4194304 4196468 140726081091104 139983058452520 139984010125824 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21448] ppid=21275 vsize=13801768 CPUtime=15.44 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21448/stat : 21448 (java) R 21275 21275 7411 0 -1 4202560 801 0 0 0 1543 1 0 0 20 0 28 0 4044368 14133010432 644065 33554432000 4194304 4196468 140726081091104 139983057399320 139984009970083 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21449] ppid=21275 vsize=13801768 CPUtime=15.26 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21449/stat : 21449 (java) R 21275 21275 7411 0 -1 4202560 1123 0 0 0 1526 0 0 0 20 0 28 0 4044368 14133010432 644065 33554432000 4194304 4196468 140726081091104 139983056347384 139984015499552 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21450] ppid=21275 vsize=13801768 CPUtime=15.61 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21450/stat : 21450 (java) R 21275 21275 7411 0 -1 4202560 981 0 0 0 1560 1 0 0 20 0 28 0 4044368 14133010432 644065 33554432000 4194304 4196468 140726081091104 139983055294136 139984401394062 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 Current children cumulated CPU time (s) 168.59 Current children cumulated vsize (KiB) 13811280 [startup+30.2015 s] /proc/loadavg: 11.59 14.47 13.87 10/293 21450 /proc/meminfo: memFree=24859552/32770624 swapFree=5860/274368 [pid=21275] ppid=21272 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21275/stat : 21275 (xcsp3-exec) S 21272 21275 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4043123 9740288 346 33554432000 4194304 5098028 140731987194832 140731987192936 140158106899068 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 31236096 140731987203215 140731987203424 140731987203424 140731987206123 0 /proc/21275/statm: 2378 346 289 221 0 87 0 [pid=21276] ppid=21275 vsize=13801768 CPUtime=170.18 cores=1,3,5,7,9,11,13,15 /proc/21276/stat : 21276 (java) S 21275 21275 7411 0 -1 1077944320 85487 0 0 0 16012 1006 0 0 20 0 28 0 4043123 14133010432 654444 33554432000 4194304 4196468 140726081091104 140726081073648 139984415325943 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 /proc/21276/statm: 3450442 654444 3302 1 0 3437675 0 [pid=21276/tid=21277] ppid=21275 vsize=13801768 CPUtime=10.74 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21277/stat : 21277 (java) S 21275 21275 7411 0 -1 1077944384 10015 0 0 0 1065 9 0 0 20 0 28 0 4043124 14133010432 654444 33554432000 4194304 4196468 140726081091104 139984419566720 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21279] ppid=21275 vsize=13801768 CPUtime=2.81 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21279/stat : 21279 (java) S 21275 21275 7411 0 -1 1077944384 1846 0 0 0 160 121 0 0 20 0 28 0 4043125 14133010432 654444 33554432000 4194304 4196468 140726081091104 139984333806224 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21280] ppid=21275 vsize=13801768 CPUtime=2.87 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21280/stat : 21280 (java) S 21275 21275 7411 0 -1 1077944384 2018 0 0 0 166 121 0 0 20 0 28 0 4043125 14133010432 654444 33554432000 4194304 4196468 140726081091104 139984332753424 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21281] ppid=21275 vsize=13801768 CPUtime=2.83 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21281/stat : 21281 (java) S 21275 21275 7411 0 -1 1077944384 1705 0 0 0 161 122 0 0 20 0 28 0 4043125 14133010432 654444 33554432000 4194304 4196468 140726081091104 139984331700624 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21282] ppid=21275 vsize=13801768 CPUtime=2.79 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21282/stat : 21282 (java) S 21275 21275 7411 0 -1 1077944384 1650 0 0 0 157 122 0 0 20 0 28 0 4043125 14133010432 654444 33554432000 4194304 4196468 140726081091104 139984330647824 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21283] ppid=21275 vsize=13801768 CPUtime=2.78 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21283/stat : 21283 (java) S 21275 21275 7411 0 -1 1077944384 2716 0 0 0 161 117 0 0 20 0 28 0 4043125 14133010432 654444 33554432000 4194304 4196468 140726081091104 139984329596048 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21284] ppid=21275 vsize=13801768 CPUtime=2.81 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21284/stat : 21284 (java) S 21275 21275 7411 0 -1 1077944384 2241 0 0 0 160 121 0 0 20 0 28 0 4043125 14133010432 654444 33554432000 4194304 4196468 140726081091104 139984328543248 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21285] ppid=21275 vsize=13801768 CPUtime=2.85 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21285/stat : 21285 (java) S 21275 21275 7411 0 -1 1077944384 1817 0 0 0 162 123 0 0 20 0 28 0 4043125 14133010432 654444 33554432000 4194304 4196468 140726081091104 139984327490448 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21286] ppid=21275 vsize=13801768 CPUtime=2.86 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21286/stat : 21286 (java) S 21275 21275 7411 0 -1 1077944384 1578 0 0 0 164 122 0 0 20 0 28 0 4043125 14133010432 654444 33554432000 4194304 4196468 140726081091104 139984006802192 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21290] ppid=21275 vsize=13801768 CPUtime=0.07 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21290/stat : 21290 (java) S 21275 21275 7411 0 -1 1077944384 3530 0 0 0 5 2 0 0 20 0 28 0 4043127 14133010432 654444 33554432000 4194304 4196468 140726081091104 139983080151408 139984415337090 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21291] ppid=21275 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21291/stat : 21291 (java) S 21275 21275 7411 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 4043128 14133010432 654444 33554432000 4194304 4196468 140726081091104 139983079097440 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21292] ppid=21275 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21292/stat : 21292 (java) S 21275 21275 7411 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 28 0 4043128 14133010432 654444 33554432000 4194304 4196468 140726081091104 139983078044544 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21305] ppid=21275 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21305/stat : 21305 (java) S 21275 21275 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4043132 14133010432 654444 33554432000 4194304 4196468 140726081091104 139983076992848 139984415344539 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21306] ppid=21275 vsize=13801768 CPUtime=3.81 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21306/stat : 21306 (java) R 21275 21275 7411 0 -1 4202560 11463 0 0 0 378 3 0 0 20 0 28 0 4043132 14133010432 654444 33554432000 4194304 4196468 140726081091104 139983075922640 139984393742298 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21307] ppid=21275 vsize=13801768 CPUtime=3.59 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21307/stat : 21307 (java) S 21275 21275 7411 0 -1 1077944384 8163 0 0 0 358 1 0 0 20 0 28 0 4043132 14133010432 654444 33554432000 4194304 4196468 140726081091104 139983074888432 139984415337090 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21308] ppid=21275 vsize=13801768 CPUtime=3.6 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21308/stat : 21308 (java) R 21275 21275 7411 0 -1 4202560 9984 0 0 0 358 2 0 0 20 0 28 0 4043132 14133010432 654444 33554432000 4194304 4196468 140726081091104 139983073835632 139984395202812 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21309] ppid=21275 vsize=13801768 CPUtime=1.2 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21309/stat : 21309 (java) S 21275 21275 7411 0 -1 1077944384 8855 0 0 0 118 2 0 0 20 0 28 0 4043132 14133010432 654444 33554432000 4194304 4196468 140726081091104 139983072782832 139984415337090 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21311] ppid=21275 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21311/stat : 21311 (java) S 21275 21275 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4043132 14133010432 654444 33554432000 4194304 4196468 140726081091104 139983071730272 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21312] ppid=21275 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21312/stat : 21312 (java) S 21275 21275 7411 0 -1 1077944384 432 0 0 0 1 0 0 0 20 0 28 0 4043132 14133010432 654444 33554432000 4194304 4196468 140726081091104 139983070677552 139984415337090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21443] ppid=21275 vsize=13801768 CPUtime=15.79 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21443/stat : 21443 (java) R 21275 21275 7411 0 -1 4202560 2615 0 0 0 1578 1 0 0 20 0 28 0 4044367 14133010432 654444 33554432000 4194304 4196468 140726081091104 139983062661608 139984011420709 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21444] ppid=21275 vsize=13801768 CPUtime=15.51 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21444/stat : 21444 (java) R 21275 21275 7411 0 -1 4202560 6155 0 0 0 1550 1 0 0 20 0 28 0 4044368 14133010432 654444 33554432000 4194304 4196468 140726081091104 139983061612208 139984010125981 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21445] ppid=21275 vsize=13801768 CPUtime=15.47 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21445/stat : 21445 (java) R 21275 21275 7411 0 -1 4202560 1646 0 0 0 1545 2 0 0 20 0 28 0 4044368 14133010432 654444 33554432000 4194304 4196468 140726081091104 139983060558320 139984010967935 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21446] ppid=21275 vsize=13801768 CPUtime=15.61 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21446/stat : 21446 (java) R 21275 21275 7411 0 -1 4202560 1089 0 0 0 1560 1 0 0 20 0 28 0 4044368 14133010432 654444 33554432000 4194304 4196468 140726081091104 139983059505336 139984013407198 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21447] ppid=21275 vsize=13801768 CPUtime=15.25 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21447/stat : 21447 (java) R 21275 21275 7411 0 -1 4202560 1403 0 0 0 1524 1 0 0 20 0 28 0 4044368 14133010432 654444 33554432000 4194304 4196468 140726081091104 139983058452520 139984010321391 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21448] ppid=21275 vsize=13801768 CPUtime=15.56 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21448/stat : 21448 (java) R 21275 21275 7411 0 -1 4202560 813 0 0 0 1555 1 0 0 20 0 28 0 4044368 14133010432 654444 33554432000 4194304 4196468 140726081091104 139983057399832 139984006884672 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21449] ppid=21275 vsize=13801768 CPUtime=15.41 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21449/stat : 21449 (java) R 21275 21275 7411 0 -1 4202560 1127 0 0 0 1540 1 0 0 20 0 28 0 4044368 14133010432 654444 33554432000 4194304 4196468 140726081091104 139983056347032 139984010125754 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21450] ppid=21275 vsize=13801768 CPUtime=15.76 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21450/stat : 21450 (java) R 21275 21275 7411 0 -1 4202560 1239 0 0 0 1575 1 0 0 20 0 28 0 4044368 14133010432 654444 33554432000 4194304 4196468 140726081091104 139983055293832 139984009972502 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 Current children cumulated CPU time (s) 170.18 Current children cumulated vsize (KiB) 13811280 [startup+30.3015 s] /proc/loadavg: 11.59 14.47 13.87 10/293 21450 /proc/meminfo: memFree=24859552/32770624 swapFree=5860/274368 [pid=21275] ppid=21272 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21275/stat : 21275 (xcsp3-exec) S 21272 21275 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4043123 9740288 346 33554432000 4194304 5098028 140731987194832 140731987192936 140158106899068 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 31236096 140731987203215 140731987203424 140731987203424 140731987206123 0 /proc/21275/statm: 2378 346 289 221 0 87 0 [pid=21276] ppid=21275 vsize=13801768 CPUtime=170.96 cores=1,3,5,7,9,11,13,15 /proc/21276/stat : 21276 (java) S 21275 21275 7411 0 -1 1077944320 85971 0 0 0 16090 1006 0 0 20 0 28 0 4043123 14133010432 654457 33554432000 4194304 4196468 140726081091104 140726081073648 139984415325943 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 /proc/21276/statm: 3450442 654457 3302 1 0 3437675 0 [pid=21276/tid=21277] ppid=21275 vsize=13801768 CPUtime=10.74 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21277/stat : 21277 (java) S 21275 21275 7411 0 -1 1077944384 10015 0 0 0 1065 9 0 0 20 0 28 0 4043124 14133010432 654457 33554432000 4194304 4196468 140726081091104 139984419566720 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21279] ppid=21275 vsize=13801768 CPUtime=2.81 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21279/stat : 21279 (java) S 21275 21275 7411 0 -1 1077944384 1846 0 0 0 160 121 0 0 20 0 28 0 4043125 14133010432 654457 33554432000 4194304 4196468 140726081091104 139984333806224 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21280] ppid=21275 vsize=13801768 CPUtime=2.87 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21280/stat : 21280 (java) S 21275 21275 7411 0 -1 1077944384 2018 0 0 0 166 121 0 0 20 0 28 0 4043125 14133010432 654457 33554432000 4194304 4196468 140726081091104 139984332753424 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21281] ppid=21275 vsize=13801768 CPUtime=2.83 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21281/stat : 21281 (java) S 21275 21275 7411 0 -1 1077944384 1705 0 0 0 161 122 0 0 20 0 28 0 4043125 14133010432 654457 33554432000 4194304 4196468 140726081091104 139984331700624 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21282] ppid=21275 vsize=13801768 CPUtime=2.79 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21282/stat : 21282 (java) S 21275 21275 7411 0 -1 1077944384 1650 0 0 0 157 122 0 0 20 0 28 0 4043125 14133010432 654457 33554432000 4194304 4196468 140726081091104 139984330647824 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21283] ppid=21275 vsize=13801768 CPUtime=2.78 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21283/stat : 21283 (java) S 21275 21275 7411 0 -1 1077944384 2716 0 0 0 161 117 0 0 20 0 28 0 4043125 14133010432 654457 33554432000 4194304 4196468 140726081091104 139984329596048 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21284] ppid=21275 vsize=13801768 CPUtime=2.81 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21284/stat : 21284 (java) S 21275 21275 7411 0 -1 1077944384 2241 0 0 0 160 121 0 0 20 0 28 0 4043125 14133010432 654457 33554432000 4194304 4196468 140726081091104 139984328543248 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21285] ppid=21275 vsize=13801768 CPUtime=2.85 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21285/stat : 21285 (java) S 21275 21275 7411 0 -1 1077944384 1817 0 0 0 162 123 0 0 20 0 28 0 4043125 14133010432 654457 33554432000 4194304 4196468 140726081091104 139984327490448 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21286] ppid=21275 vsize=13801768 CPUtime=2.86 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21286/stat : 21286 (java) S 21275 21275 7411 0 -1 1077944384 1578 0 0 0 164 122 0 0 20 0 28 0 4043125 14133010432 654457 33554432000 4194304 4196468 140726081091104 139984006802192 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21290] ppid=21275 vsize=13801768 CPUtime=0.07 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21290/stat : 21290 (java) S 21275 21275 7411 0 -1 1077944384 3530 0 0 0 5 2 0 0 20 0 28 0 4043127 14133010432 654457 33554432000 4194304 4196468 140726081091104 139983080151408 139984415337090 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21291] ppid=21275 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21291/stat : 21291 (java) S 21275 21275 7411 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 4043128 14133010432 654457 33554432000 4194304 4196468 140726081091104 139983079097440 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21292] ppid=21275 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21292/stat : 21292 (java) S 21275 21275 7411 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 28 0 4043128 14133010432 654457 33554432000 4194304 4196468 140726081091104 139983078044544 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21305] ppid=21275 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21305/stat : 21305 (java) S 21275 21275 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4043132 14133010432 654457 33554432000 4194304 4196468 140726081091104 139983076992848 139984415344539 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21306] ppid=21275 vsize=13801768 CPUtime=3.84 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21306/stat : 21306 (java) S 21275 21275 7411 0 -1 1077944384 11497 0 0 0 381 3 0 0 20 0 28 0 4043132 14133010432 654457 33554432000 4194304 4196468 140726081091104 139983075941232 139984415337090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21307] ppid=21275 vsize=13801768 CPUtime=3.63 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21307/stat : 21307 (java) S 21275 21275 7411 0 -1 1077944384 8169 0 0 0 362 1 0 0 20 0 28 0 4043132 14133010432 654457 33554432000 4194304 4196468 140726081091104 139983074888432 139984415337090 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21308] ppid=21275 vsize=13801768 CPUtime=3.66 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21308/stat : 21308 (java) R 21275 21275 7411 0 -1 4202560 10363 0 0 0 364 2 0 0 20 0 28 0 4043132 14133010432 654457 33554432000 4194304 4196468 140726081091104 139983073824112 139984395294719 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21309] ppid=21275 vsize=13801768 CPUtime=1.21 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21309/stat : 21309 (java) S 21275 21275 7411 0 -1 1077944384 8888 0 0 0 119 2 0 0 20 0 28 0 4043132 14133010432 654457 33554432000 4194304 4196468 140726081091104 139983072782832 139984415337090 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21311] ppid=21275 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21311/stat : 21311 (java) S 21275 21275 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4043132 14133010432 654457 33554432000 4194304 4196468 140726081091104 139983071730272 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21312] ppid=21275 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21312/stat : 21312 (java) S 21275 21275 7411 0 -1 1077944384 432 0 0 0 1 0 0 0 20 0 28 0 4043132 14133010432 654457 33554432000 4194304 4196468 140726081091104 139983070677552 139984415337090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21443] ppid=21275 vsize=13801768 CPUtime=15.89 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21443/stat : 21443 (java) R 21275 21275 7411 0 -1 4202560 2617 0 0 0 1588 1 0 0 20 0 28 0 4044367 14133010432 654457 33554432000 4194304 4196468 140726081091104 139983062661608 139984015498993 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21444] ppid=21275 vsize=13801768 CPUtime=15.6 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21444/stat : 21444 (java) S 21275 21275 7411 0 -1 1077944384 6160 0 0 0 1559 1 0 0 20 0 28 0 4044368 14133010432 654457 33554432000 4194304 4196468 140726081091104 139983061615312 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21445] ppid=21275 vsize=13801768 CPUtime=15.54 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21445/stat : 21445 (java) R 21275 21275 7411 0 -1 4202560 1646 0 0 0 1552 2 0 0 20 0 28 0 4044368 14133010432 654457 33554432000 4194304 4196468 140726081091104 139983060558320 139984014219047 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21446] ppid=21275 vsize=13801768 CPUtime=15.69 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21446/stat : 21446 (java) R 21275 21275 7411 0 -1 4202560 1090 0 0 0 1568 1 0 0 20 0 28 0 4044368 14133010432 654457 33554432000 4194304 4196468 140726081091104 139983059505896 139984010321777 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21447] ppid=21275 vsize=13801768 CPUtime=15.34 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21447/stat : 21447 (java) S 21275 21275 7411 0 -1 1077944384 1404 0 0 0 1533 1 0 0 20 0 28 0 4044368 14133010432 654457 33554432000 4194304 4196468 140726081091104 139983058457936 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21448] ppid=21275 vsize=13801768 CPUtime=15.62 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21448/stat : 21448 (java) S 21275 21275 7411 0 -1 1077944384 831 0 0 0 1561 1 0 0 20 0 28 0 4044368 14133010432 654457 33554432000 4194304 4196468 140726081091104 139983057405136 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21449] ppid=21275 vsize=13801768 CPUtime=15.5 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21449/stat : 21449 (java) S 21275 21275 7411 0 -1 1077944384 1131 0 0 0 1549 1 0 0 20 0 28 0 4044368 14133010432 654457 33554432000 4194304 4196468 140726081091104 139983056352336 139984415336149 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 [pid=21276/tid=21450] ppid=21275 vsize=13801768 CPUtime=15.82 cores=1,3,5,7,9,11,13,15 /proc/21276/task/21450/stat : 21450 (java) R 21275 21275 7411 0 -1 4202560 1241 0 0 0 1581 1 0 0 20 0 28 0 4044368 14133010432 654457 33554432000 4194304 4196468 140726081091104 139983055293832 139984010321649 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37076992 140726081094844 140726081095020 140726081095020 140726081097679 0 Current children cumulated CPU time (s) 170.96 Current children cumulated vsize (KiB) 13811280 Child status: 0 Real time (s): 30.3886 CPU time (s): 171.184 CPU user time (s): 161.097 CPU system time (s): 10.0871 CPU usage (%): 563.317 Max. virtual memory (cumulated for all children) (KiB): 13811280 getrusage(RUSAGE_CHILDREN,...) data: user time used= 161.097 system time used= 10.0871 maximum resident set size= 2617868 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 87244 page faults= 0 swaps= 0 block input operations= 0 block output operations= 112 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7359 involuntary context switches= 12384 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.338625 second user time and 0.419301 second system time The end
Begin job on node131 at 2017-07-22 03:42:37 IDJOB=4246465 IDBENCH=125571 IDSOLVER=2626 FILE ID=node131/4246465-1500687757 RUNJOBID= node131-1500682620-7802 PBS_JOBID= 20623041 Free space on /tmp= 62012 MiB SOLVER NAME= choco-solver 5a BENCH NAME= XCSP17/DeBruijnSequence/DeBruijnSequence-m1-s1/DeBruijnSequence-03-06.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246465-1500687757/watcher-4246465-1500687757 -o /tmp/evaluation-result-4246465-1500687757/solver-4246465-1500687757 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500682620-7802 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 310411335 HOME/instance-4246465-1500687757.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= a0d270dd535955910725fddfcfa0cde8 RANDOM SEED=310411335 node131.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 2667.000 cache size : 8192 KB physical id : 0 siblings : 8 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 : 5334.06 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 : 1733.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 8 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 : 5334.06 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 : 1867.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 2667.000 cache size : 8192 KB physical id : 0 siblings : 8 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 : 5334.06 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 8 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 : 5334.06 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1867.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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 : 5334.06 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2133.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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 : 5334.06 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1867.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 12 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 : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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 : 5334.06 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2267.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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 : 5334.06 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 31863088 kB MemAvailable: 32011524 kB Buffers: 107692 kB Cached: 323252 kB SwapCached: 0 kB Active: 199844 kB Inactive: 282056 kB Active(anon): 53324 kB Inactive(anon): 8680 kB Active(file): 146520 kB Inactive(file): 273376 kB Unevictable: 5860 kB Mlocked: 5860 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8192 kB Writeback: 0 kB AnonPages: 131084 kB Mapped: 30256 kB Shmem: 8844 kB Slab: 122844 kB SReclaimable: 88748 kB SUnreclaim: 34096 kB KernelStack: 4864 kB PageTables: 4964 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 319228 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 77824 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 61972 MiB End job on node131 at 2017-07-22 03:43:07