0.00/0.10	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4282180-1503122825.xml"  -tl '2520s' -p 1 -x 0
0.07/0.28	c [HOME/instance-4282180-1503122825.xml, -tl, 2520s, -p, 1, -x, 0]
0.27/0.34	c simple solver
0.27/0.40	c parse instance...
3.37/1.38	c solve instance...
22.70/16.88	s SATISFIABLE
22.70/16.88	v <instantiation>
22.70/16.88	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] bi[0][0] bi[0][1] bi[0][2] bi[0][3] bi[0][4] bi[0][5] bi[0][6] bi[0][7] bi[0][8] bi[1][0] bi[1][1] bi[1][2] bi[1][3] bi[1][4] bi[1][5] bi[1][6] bi[1][7] bi[1][8] bi[2][0] bi[2][1] bi[2][2] bi[2][3] bi[2][4] bi[2][5] bi[2][6] bi[2][7] bi[2][8] bi[3][0] bi[3][1] bi[3][2] bi[3][3] bi[3][4] bi[3][5] bi[3][6] bi[3][7] bi[3][8] bi[4][0] bi[4][1] bi[4][2] bi[4][3] bi[4][4] bi[4][5] bi[4][6] bi[4][7] bi[4][8] bi[5][0] bi[5][1] bi[5][2] bi[5][3] bi[5][4] bi[5][5] bi[5][6] bi[5][7] bi[5][8] bi[6][0] bi[6][1] bi[6][2] bi[6][3] bi[6][4] bi[6][5] bi[6][6] bi[6][7] bi[6][8] bi[7][0] bi[7][1] bi[7][2] bi[7][3] bi[7][4] bi[7][5] bi[7][6] bi[7][7] bi[7][8] bi[8][0] bi[8][1] bi[8][2] bi[8][3] bi[8][4] bi[8][5] bi[8][6] bi[8][7] bi[8][8] bi[9][0] bi[9][1] bi[9][2] bi[9][3] bi[9][4] bi[9][5] bi[9][6] bi[9][7] bi[9][8] bi[10][0] bi[10][1] bi[10][2] bi[10][3] bi[10][4] bi[10][5] bi[10][6] bi[10][7] bi[10][8] bi[11][0] bi[11][1] bi[11][2] bi[11][3] bi[11][4] bi[11][5] bi[11][6] bi[11][7] bi[11][8] bi[12][0] bi[12][1] bi[12][2] bi[12][3] bi[12][4] bi[12][5] bi[12][6] bi[12][7] bi[12][8] bi[13][0] bi[13][1] bi[13][2] bi[13][3] bi[13][4] bi[13][5] bi[13][6] bi[13][7] bi[13][8] bi[14][0] bi[14][1] bi[14][2] bi[14][3] bi[14][4] bi[14][5] bi[14][6] bi[14][7] bi[14][8] bi[15][0] bi[15][1] bi[15][2] bi[15][3] bi[15][4] bi[15][5] bi[15][6] bi[15][7] bi[15][8] bi[16][0] bi[16][1] bi[16][2] bi[16][3] bi[16][4] bi[16][5] bi[16][6] bi[16][7] bi[16][8] bi[17][0] bi[17][1] bi[17][2] bi[17][3] bi[17][4] bi[17][5] bi[17][6] bi[17][7] bi[17][8] bi[18][0] bi[18][1] bi[18][2] bi[18][3] bi[18][4] bi[18][5] bi[18][6] bi[18][7] bi[18][8] bi[19][0] bi[19][1] bi[19][2] bi[19][3] bi[19][4] bi[19][5] bi[19][6] bi[19][7] bi[19][8] bi[20][0] bi[20][1] bi[20][2] bi[20][3] bi[20][4] bi[20][5] bi[20][6] bi[20][7] bi[20][8] bi[21][0] bi[21][1] bi[21][2] bi[21][3] bi[21][4] bi[21][5] bi[21][6] bi[21][7] bi[21][8] bi[22][0] bi[22][1] bi[22][2] bi[22][3] bi[22][4] bi[22][5] bi[22][6] bi[22][7] bi[22][8] bi[23][0] bi[23][1] bi[23][2] bi[23][3] bi[23][4] bi[23][5] bi[23][6] bi[23][7] bi[23][8] bi[24][0] bi[24][1] bi[24][2] bi[24][3] bi[24][4] bi[24][5] bi[24][6] bi[24][7] bi[24][8] bi[25][0] bi[25][1] bi[25][2] bi[25][3] bi[25][4] bi[25][5] bi[25][6] bi[25][7] bi[25][8] bi[26][0] bi[26][1] bi[26][2] bi[26][3] bi[26][4] bi[26][5] bi[26][6] bi[26][7] bi[26][8] bi[27][0] bi[27][1] bi[27][2] bi[27][3] bi[27][4] bi[27][5] bi[27][6] bi[27][7] bi[27][8] bi[28][0] bi[28][1] bi[28][2] bi[28][3] bi[28][4] bi[28][5] bi[28][6] bi[28][7] bi[28][8] bi[29][0] bi[29][1] bi[29][2] bi[29][3] bi[29][4] bi[29][5] bi[29][6] bi[29][7] bi[29][8] bi[30][0] bi[30][1] bi[30][2] bi[30][3] bi[30][4] bi[30][5] bi[30][6] bi[30][7] bi[30][8] bi[31][0] bi[31][1] bi[31][2] bi[31][3] bi[31][4] bi[31][5] bi[31][6] bi[31][7] bi[31][8] bi[32][0] bi[32][1] bi[32][2] bi[32][3] bi[32][4] bi[32][5] bi[32][6] bi[32][7] bi[32][8] bi[33][0] bi[33][1] bi[33][2] bi[33][3] bi[33][4] bi[33][5] bi[33][6] bi[33][7] bi[33][8] bi[34][0] bi[34][1] bi[34][2] bi[34][3] bi[34][4] bi[34][5] bi[34][6] bi[34][7] bi[34][8] bi[35][0] bi[35][1] bi[35][2] bi[35][3] bi[35][4] bi[35][5] bi[35][6] bi[35][7] bi[35][8] bi[36][0] bi[36][1] bi[36][2] bi[36][3] bi[36][4] bi[36][5] bi[36][6] bi[36][7] bi[36][8] bi[37][0] bi[37][1] bi[37][2] bi[37][3] bi[37][4] bi[37][5] bi[37][6] bi[37][7] bi[37][8] bi[38][0] bi[38][1] bi[38][2] bi[38][3] bi[38][4] bi[38][5] bi[38][6] bi[38][7] bi[38][8] bi[39][0] bi[39][1] bi[39][2] bi[39][3] bi[39][4] bi[39][5] bi[39][6] bi[39][7] bi[39][8] bi[40][0] bi[40][1] bi[40][2] bi[40][3] bi[40][4] bi[40][5] bi[40][6] bi[40][7] bi[40][8] bi[41][0] bi[41][1] bi[41][2] bi[41][3] bi[41][4] bi[41][5] bi[41][6] bi[41][7] bi[41][8] bi[42][0] bi[42][1] bi[42][2] bi[42][3] bi[42][4] bi[42][5] bi[42][6] bi[42][7] bi[42][8] bi[43][0] bi[43][1] bi[43][2] bi[43][3] bi[43][4] bi[43][5] bi[43][6] bi[43][7] bi[43][8] bi[44][0] bi[44][1] bi[44][2] bi[44][3] bi[44][4] bi[44][5] bi[44][6] bi[44][7] bi[44][8] bi[45][0] bi[45][1] bi[45][2] bi[45][3] bi[45][4] bi[45][5] bi[45][6] bi[45][7] bi[45][8] bi[46][0] bi[46][1] bi[46][2] bi[46][3] bi[46][4] bi[46][5] bi[46][6] bi[46][7] bi[46][8] bi[47][0] bi[47][1] bi[47][2] bi[47][3] bi[47][4] bi[47][5] bi[47][6] bi[47][7] bi[47][8] bi[48][0] bi[48][1] bi[48][2] bi[48][3] bi[48][4] bi[48][5] bi[48][6] bi[48][7] bi[48][8] bi[49][0] bi[49][1] bi[49][2] bi[49][3] bi[49][4] bi[49][5] bi[49][6] bi[49][7] bi[49][8] bi[50][0] bi[50][1] bi[50][2] bi[50][3] bi[50][4] bi[50][5] bi[50][6] bi[50][7] bi[50][8] bi[51][0] bi[51][1] bi[51][2] bi[51][3] bi[51][4] bi[51][5] bi[51][6] bi[51][7] bi[51][8] bi[52][0] bi[52][1] bi[52][2] bi[52][3] bi[52][4] bi[52][5] bi[52][6] bi[52][7] bi[52][8] bi[53][0] bi[53][1] bi[53][2] bi[53][3] bi[53][4] bi[53][5] bi[53][6] bi[53][7] bi[53][8] bi[54][0] bi[54][1] bi[54][2] bi[54][3] bi[54][4] bi[54][5] bi[54][6] bi[54][7] bi[54][8] bi[55][0] bi[55][1] bi[55][2] bi[55][3] bi[55][4] bi[55][5] bi[55][6] bi[55][7] bi[55][8] bi[56][0] bi[56][1] bi[56][2] bi[56][3] bi[56][4] bi[56][5] bi[56][6] bi[56][7] bi[56][8] bi[57][0] bi[57][1] bi[57][2] bi[57][3] bi[57][4] bi[57][5] bi[57][6] bi[57][7] bi[57][8] bi[58][0] bi[58][1] bi[58][2] bi[58][3] bi[58][4] bi[58][5] bi[58][6] bi[58][7] bi[58][8] bi[59][0] bi[59][1] bi[59][2] bi[59][3] bi[59][4] bi[59][5] bi[59][6] bi[59][7] bi[59][8] bi[60][0] bi[60][1] bi[60][2] bi[60][3] bi[60][4] bi[60][5] bi[60][6] bi[60][7] bi[60][8] bi[61][0] bi[61][1] bi[61][2] bi[61][3] bi[61][4] bi[61][5] bi[61][6] bi[61][7] bi[61][8] bi[62][0] bi[62][1] bi[62][2] bi[62][3] bi[62][4] bi[62][5] bi[62][6] bi[62][7] bi[62][8] bi[63][0] bi[63][1] bi[63][2] bi[63][3] bi[63][4] bi[63][5] bi[63][6] bi[63][7] bi[63][8] bi[64][0] bi[64][1] bi[64][2] bi[64][3] bi[64][4] bi[64][5] bi[64][6] bi[64][7] bi[64][8] bi[65][0] bi[65][1] bi[65][2] bi[65][3] bi[65][4] bi[65][5] bi[65][6] bi[65][7] bi[65][8] bi[66][0] bi[66][1] bi[66][2] bi[66][3] bi[66][4] bi[66][5] bi[66][6] bi[66][7] bi[66][8] bi[67][0] bi[67][1] bi[67][2] bi[67][3] bi[67][4] bi[67][5] bi[67][6] bi[67][7] bi[67][8] bi[68][0] bi[68][1] bi[68][2] bi[68][3] bi[68][4] bi[68][5] bi[68][6] bi[68][7] bi[68][8] bi[69][0] bi[69][1] bi[69][2] bi[69][3] bi[69][4] bi[69][5] bi[69][6] bi[69][7] bi[69][8] bi[70][0] bi[70][1] bi[70][2] bi[70][3] bi[70][4] bi[70][5] bi[70][6] bi[70][7] bi[70][8] bi[71][0] bi[71][1] bi[71][2] bi[71][3] bi[71][4] bi[71][5] bi[71][6] bi[71][7] bi[71][8] bi[72][0] bi[72][1] bi[72][2] bi[72][3] bi[72][4] bi[72][5] bi[72][6] bi[72][7] bi[72][8] bi[73][0] bi[73][1] bi[73][2] bi[73][3] bi[73][4] bi[73][5] bi[73][6] bi[73][7] bi[73][8] bi[74][0] bi[74][1] bi[74][2] bi[74][3] bi[74][4] bi[74][5] bi[74][6] bi[74][7] bi[74][8] bi[75][0] bi[75][1] bi[75][2] bi[75][3] bi[75][4] bi[75][5] bi[75][6] bi[75][7] bi[75][8] bi[76][0] bi[76][1] bi[76][2] bi[76][3] bi[76][4] bi[76][5] bi[76][6] bi[76][7] bi[76][8] bi[77][0] bi[77][1] bi[77][2] bi[77][3] bi[77][4] bi[77][5] bi[77][6] bi[77][7] bi[77][8] bi[78][0] bi[78][1] bi[78][2] bi[78][3] bi[78][4] bi[78][5] bi[78][6] bi[78][7] bi[78][8] bi[79][0] bi[79][1] bi[79][2] bi[79][3] bi[79][4] bi[79][5] bi[79][6] bi[79][7] bi[79][8] bi[80][0] bi[80][1] bi[80][2] bi[80][3] bi[80][4] bi[80][5] bi[80][6] bi[80][7] bi[80][8] bi[81][0] bi[81][1] bi[81][2] bi[81][3] bi[81][4] bi[81][5] bi[81][6] bi[81][7] bi[81][8] bi[82][0] bi[82][1] bi[82][2] bi[82][3] bi[82][4] bi[82][5] bi[82][6] bi[82][7] bi[82][8] bi[83][0] bi[83][1] bi[83][2] bi[83][3] bi[83][4] bi[83][5] bi[83][6] bi[83][7] bi[83][8] bi[84][0] bi[84][1] bi[84][2] bi[84][3] bi[84][4] bi[84][5] bi[84][6] bi[84][7] bi[84][8] bi[85][0] bi[85][1] bi[85][2] bi[85][3] bi[85][4] bi[85][5] bi[85][6] bi[85][7] bi[85][8] bi[86][0] bi[86][1] bi[86][2] bi[86][3] bi[86][4] bi[86][5] bi[86][6] bi[86][7] bi[86][8] bi[87][0] bi[87][1] bi[87][2] bi[87][3] bi[87][4] bi[87][5] bi[87][6] bi[87][7] bi[87][8] bi[88][0] bi[88][1] bi[88][2] bi[88][3] bi[88][4] bi[88][5] bi[88][6] bi[88][7] bi[88][8] bi[89][0] bi[89][1] bi[89][2] bi[89][3] bi[89][4] bi[89][5] bi[89][6] bi[89][7] bi[89][8] bi[90][0] bi[90][1] bi[90][2] bi[90][3] bi[90][4] bi[90][5] bi[90][6] bi[90][7] bi[90][8] bi[91][0] bi[91][1] bi[91][2] bi[91][3] bi[91][4] bi[91][5] bi[91][6] bi[91][7] bi[91][8] bi[92][0] bi[92][1] bi[92][2] bi[92][3] bi[92][4] bi[92][5] bi[92][6] bi[92][7] bi[92][8] bi[93][0] bi[93][1] bi[93][2] bi[93][3] bi[93][4] bi[93][5] bi[93][6] bi[93][7] bi[93][8] bi[94][0] bi[94][1] bi[94][2] bi[94][3] bi[94][4] bi[94][5] bi[94][6] bi[94][7] bi[94][8] bi[95][0] bi[95][1] bi[95][2] bi[95][3] bi[95][4] bi[95][5] bi[95][6] bi[95][7] bi[95][8] bi[96][0] bi[96][1] bi[96][2] bi[96][3] bi[96][4] bi[96][5] bi[96][6] bi[96][7] bi[96][8] bi[97][0] bi[97][1] bi[97][2] bi[97][3] bi[97][4] bi[97][5] bi[97][6] bi[97][7] bi[97][8] bi[98][0] bi[98][1] bi[98][2] bi[98][3] bi[98][4] bi[98][5] bi[98][6] bi[98][7] bi[98][8] bi[99][0] bi[99][1] bi[99][2] bi[99][3] bi[99][4] bi[99][5] bi[99][6] bi[99][7] bi[99][8] bi[100][0] bi[100][1] bi[100][2] bi[100][3] bi[100][4] bi[100][5] bi[100][6] bi[100][7] bi[100][8] bi[101][0] bi[101][1] bi[101][2] bi[101][3] bi[101][4] bi[101][5] bi[101][6] bi[101][7] bi[101][8] bi[102][0] bi[102][1] bi[102][2] bi[102][3] bi[102][4] bi[102][5] bi[102][6] bi[102][7] bi[102][8] bi[103][0] bi[103][1] bi[103][2] bi[103][3] bi[103][4] bi[103][5] bi[103][6] bi[103][7] bi[103][8] bi[104][0] bi[104][1] bi[104][2] bi[104][3] bi[104][4] bi[104][5] bi[104][6] bi[104][7] bi[104][8] bi[105][0] bi[105][1] bi[105][2] bi[105][3] bi[105][4] bi[105][5] bi[105][6] bi[105][7] bi[105][8] bi[106][0] bi[106][1] bi[106][2] bi[106][3] bi[106][4] bi[106][5] bi[106][6] bi[106][7] bi[106][8] bi[107][0] bi[107][1] bi[107][2] bi[107][3] bi[107][4] bi[107][5] bi[107][6] bi[107][7] bi[107][8] bi[108][0] bi[108][1] bi[108][2] bi[108][3] bi[108][4] bi[108][5] bi[108][6] bi[108][7] bi[108][8] bi[109][0] bi[109][1] bi[109][2] bi[109][3] bi[109][4] bi[109][5] bi[109][6] bi[109][7] bi[109][8] bi[110][0] bi[110][1] bi[110][2] bi[110][3] bi[110][4] bi[110][5] bi[110][6] bi[110][7] bi[110][8] bi[111][0] bi[111][1] bi[111][2] bi[111][3] bi[111][4] bi[111][5] bi[111][6] bi[111][7] bi[111][8] bi[112][0] bi[112][1] bi[112][2] bi[112][3] bi[112][4] bi[112][5] bi[112][6] bi[112][7] bi[112][8] bi[113][0] bi[113][1] bi[113][2] bi[113][3] bi[113][4] bi[113][5] bi[113][6] bi[113][7] bi[113][8] bi[114][0] bi[114][1] bi[114][2] bi[114][3] bi[114][4] bi[114][5] bi[114][6] bi[114][7] bi[114][8] bi[115][0] bi[115][1] bi[115][2] bi[115][3] bi[115][4] bi[115][5] bi[115][6] bi[115][7] bi[115][8] bi[116][0] bi[116][1] bi[116][2] bi[116][3] bi[116][4] bi[116][5] bi[116][6] bi[116][7] bi[116][8] bi[117][0] bi[117][1] bi[117][2] bi[117][3] bi[117][4] bi[117][5] bi[117][6] bi[117][7] bi[117][8] bi[118][0] bi[118][1] bi[118][2] bi[118][3] bi[118][4] bi[118][5] bi[118][6] bi[118][7] bi[118][8] bi[119][0] bi[119][1] bi[119][2] bi[119][3] bi[119][4] bi[119][5] bi[119][6] bi[119][7] bi[119][8] bi[120][0] bi[120][1] bi[120][2] bi[120][3] bi[120][4] bi[120][5] bi[120][6] bi[120][7] bi[120][8] bi[121][0] bi[121][1] bi[121][2] bi[121][3] bi[121][4] bi[121][5] bi[121][6] bi[121][7] bi[121][8] bi[122][0] bi[122][1] bi[122][2] bi[122][3] bi[122][4] bi[122][5] bi[122][6] bi[122][7] bi[122][8] bi[123][0] bi[123][1] bi[123][2] bi[123][3] bi[123][4] bi[123][5] bi[123][6] bi[123][7] bi[123][8] bi[124][0] bi[124][1] bi[124][2] bi[124][3] bi[124][4] bi[124][5] bi[124][6] bi[124][7] bi[124][8] bi[125][0] bi[125][1] bi[125][2] bi[125][3] bi[125][4] bi[125][5] bi[125][6] bi[125][7] bi[125][8] bi[126][0] bi[126][1] bi[126][2] bi[126][3] bi[126][4] bi[126][5] bi[126][6] bi[126][7] bi[126][8] bi[127][0] bi[127][1] bi[127][2] bi[127][3] bi[127][4] bi[127][5] bi[127][6] bi[127][7] bi[127][8] bi[128][0] bi[128][1] bi[128][2] bi[128][3] bi[128][4] bi[128][5] bi[128][6] bi[128][7] bi[128][8] bi[129][0] bi[129][1] bi[129][2] bi[129][3] bi[129][4] bi[129][5] bi[129][6] bi[129][7] bi[129][8] bi[130][0] bi[130][1] bi[130][2] bi[130][3] bi[130][4] bi[130][5] bi[130][6] bi[130][7] bi[130][8] bi[131][0] bi[131][1] bi[131][2] bi[131][3] bi[131][4] bi[131][5] bi[131][6] bi[131][7] bi[131][8] bi[132][0] bi[132][1] bi[132][2] bi[132][3] bi[132][4] bi[132][5] bi[132][6] bi[132][7] bi[132][8] bi[133][0] bi[133][1] bi[133][2] bi[133][3] bi[133][4] bi[133][5] bi[133][6] bi[133][7] bi[133][8] bi[134][0] bi[134][1] bi[134][2] bi[134][3] bi[134][4] bi[134][5] bi[134][6] bi[134][7] bi[134][8] bi[135][0] bi[135][1] bi[135][2] bi[135][3] bi[135][4] bi[135][5] bi[135][6] bi[135][7] bi[135][8] bi[136][0] bi[136][1] bi[136][2] bi[136][3] bi[136][4] bi[136][5] bi[136][6] bi[136][7] bi[136][8] bi[137][0] bi[137][1] bi[137][2] bi[137][3] bi[137][4] bi[137][5] bi[137][6] bi[137][7] bi[137][8] bi[138][0] bi[138][1] bi[138][2] bi[138][3] bi[138][4] bi[138][5] bi[138][6] bi[138][7] bi[138][8] bi[139][0] bi[139][1] bi[139][2] bi[139][3] bi[139][4] bi[139][5] bi[139][6] bi[139][7] bi[139][8] bi[140][0] bi[140][1] bi[140][2] bi[140][3] bi[140][4] bi[140][5] bi[140][6] bi[140][7] bi[140][8] bi[141][0] bi[141][1] bi[141][2] bi[141][3] bi[141][4] bi[141][5] bi[141][6] bi[141][7] bi[141][8] bi[142][0] bi[142][1] bi[142][2] bi[142][3] bi[142][4] bi[142][5] bi[142][6] bi[142][7] bi[142][8] bi[143][0] bi[143][1] bi[143][2] bi[143][3] bi[143][4] bi[143][5] bi[143][6] bi[143][7] bi[143][8] bi[144][0] bi[144][1] bi[144][2] bi[144][3] bi[144][4] bi[144][5] bi[144][6] bi[144][7] bi[144][8] bi[145][0] bi[145][1] bi[145][2] bi[145][3] bi[145][4] bi[145][5] bi[145][6] bi[145][7] bi[145][8] bi[146][0] bi[146][1] bi[146][2] bi[146][3] bi[146][4] bi[146][5] bi[146][6] bi[146][7] bi[146][8] bi[147][0] bi[147][1] bi[147][2] bi[147][3] bi[147][4] bi[147][5] bi[147][6] bi[147][7] bi[147][8] bi[148][0] bi[148][1] bi[148][2] bi[148][3] bi[148][4] bi[148][5] bi[148][6] bi[148][7] bi[148][8] bi[149][0] bi[149][1] bi[149][2] bi[149][3] bi[149][4] bi[149][5] bi[149][6] bi[149][7] bi[149][8] bi[150][0] bi[150][1] bi[150][2] bi[150][3] bi[150][4] bi[150][5] bi[150][6] bi[150][7] bi[150][8] bi[151][0] bi[151][1] bi[151][2] bi[151][3] bi[151][4] bi[151][5] bi[151][6] bi[151][7] bi[151][8] bi[152][0] bi[152][1] bi[152][2] bi[152][3] bi[152][4] bi[152][5] bi[152][6] bi[152][7] bi[152][8] bi[153][0] bi[153][1] bi[153][2] bi[153][3] bi[153][4] bi[153][5] bi[153][6] bi[153][7] bi[153][8] bi[154][0] bi[154][1] bi[154][2] bi[154][3] bi[154][4] bi[154][5] bi[154][6] bi[154][7] bi[154][8] bi[155][0] bi[155][1] bi[155][2] bi[155][3] bi[155][4] bi[155][5] bi[155][6] bi[155][7] bi[155][8] bi[156][0] bi[156][1] bi[156][2] bi[156][3] bi[156][4] bi[156][5] bi[156][6] bi[156][7] bi[156][8] bi[157][0] bi[157][1] bi[157][2] bi[157][3] bi[157][4] bi[157][5] bi[157][6] bi[157][7] bi[157][8] bi[158][0] bi[158][1] bi[158][2] bi[158][3] bi[158][4] bi[158][5] bi[158][6] bi[158][7] bi[158][8] bi[159][0] bi[159][1] bi[159][2] bi[159][3] bi[159][4] bi[159][5] bi[159][6] bi[159][7] bi[159][8] bi[160][0] bi[160][1] bi[160][2] bi[160][3] bi[160][4] bi[160][5] bi[160][6] bi[160][7] bi[160][8] bi[161][0] bi[161][1] bi[161][2] bi[161][3] bi[161][4] bi[161][5] bi[161][6] bi[161][7] bi[161][8] bi[162][0] bi[162][1] bi[162][2] bi[162][3] bi[162][4] bi[162][5] bi[162][6] bi[162][7] bi[162][8] bi[163][0] bi[163][1] bi[163][2] bi[163][3] bi[163][4] bi[163][5] bi[163][6] bi[163][7] bi[163][8] bi[164][0] bi[164][1] bi[164][2] bi[164][3] bi[164][4] bi[164][5] bi[164][6] bi[164][7] bi[164][8] bi[165][0] bi[165][1] bi[165][2] bi[165][3] bi[165][4] bi[165][5] bi[165][6] bi[165][7] bi[165][8] bi[166][0] bi[166][1] bi[166][2] bi[166][3] bi[166][4] bi[166][5] bi[166][6] bi[166][7] bi[166][8] bi[167][0] bi[167][1] bi[167][2] bi[167][3] bi[167][4] bi[167][5] bi[167][6] bi[167][7] bi[167][8] bi[168][0] bi[168][1] bi[168][2] bi[168][3] bi[168][4] bi[168][5] bi[168][6] bi[168][7] bi[168][8] bi[169][0] bi[169][1] bi[169][2] bi[169][3] bi[169][4] bi[169][5] bi[169][6] bi[169][7] bi[169][8] bi[170][0] bi[170][1] bi[170][2] bi[170][3] bi[170][4] bi[170][5] bi[170][6] bi[170][7] bi[170][8] bi[171][0] bi[171][1] bi[171][2] bi[171][3] bi[171][4] bi[171][5] bi[171][6] bi[171][7] bi[171][8] bi[172][0] bi[172][1] bi[172][2] bi[172][3] bi[172][4] bi[172][5] bi[172][6] bi[172][7] bi[172][8] bi[173][0] bi[173][1] bi[173][2] bi[173][3] bi[173][4] bi[173][5] bi[173][6] bi[173][7] bi[173][8] bi[174][0] bi[174][1] bi[174][2] bi[174][3] bi[174][4] bi[174][5] bi[174][6] bi[174][7] bi[174][8] bi[175][0] bi[175][1] bi[175][2] bi[175][3] bi[175][4] bi[175][5] bi[175][6] bi[175][7] bi[175][8] bi[176][0] bi[176][1] bi[176][2] bi[176][3] bi[176][4] bi[176][5] bi[176][6] bi[176][7] bi[176][8] bi[177][0] bi[177][1] bi[177][2] bi[177][3] bi[177][4] bi[177][5] bi[177][6] bi[177][7] bi[177][8] bi[178][0] bi[178][1] bi[178][2] bi[178][3] bi[178][4] bi[178][5] bi[178][6] bi[178][7] bi[178][8] bi[179][0] bi[179][1] bi[179][2] bi[179][3] bi[179][4] bi[179][5] bi[179][6] bi[179][7] bi[179][8] bi[180][0] bi[180][1] bi[180][2] bi[180][3] bi[180][4] bi[180][5] bi[180][6] bi[180][7] bi[180][8] bi[181][0] bi[181][1] bi[181][2] bi[181][3] bi[181][4] bi[181][5] bi[181][6] bi[181][7] bi[181][8] bi[182][0] bi[182][1] bi[182][2] bi[182][3] bi[182][4] bi[182][5] bi[182][6] bi[182][7] bi[182][8] bi[183][0] bi[183][1] bi[183][2] bi[183][3] bi[183][4] bi[183][5] bi[183][6] bi[183][7] bi[183][8] bi[184][0] bi[184][1] bi[184][2] bi[184][3] bi[184][4] bi[184][5] bi[184][6] bi[184][7] bi[184][8] bi[185][0] bi[185][1] bi[185][2] bi[185][3] bi[185][4] bi[185][5] bi[185][6] bi[185][7] bi[185][8] bi[186][0] bi[186][1] bi[186][2] bi[186][3] bi[186][4] bi[186][5] bi[186][6] bi[186][7] bi[186][8] bi[187][0] bi[187][1] bi[187][2] bi[187][3] bi[187][4] bi[187][5] bi[187][6] bi[187][7] bi[187][8] bi[188][0] bi[188][1] bi[188][2] bi[188][3] bi[188][4] bi[188][5] bi[188][6] bi[188][7] bi[188][8] bi[189][0] bi[189][1] bi[189][2] bi[189][3] bi[189][4] bi[189][5] bi[189][6] bi[189][7] bi[189][8] bi[190][0] bi[190][1] bi[190][2] bi[190][3] bi[190][4] bi[190][5] bi[190][6] bi[190][7] bi[190][8] bi[191][0] bi[191][1] bi[191][2] bi[191][3] bi[191][4] bi[191][5] bi[191][6] bi[191][7] bi[191][8] bi[192][0] bi[192][1] bi[192][2] bi[192][3] bi[192][4] bi[192][5] bi[192][6] bi[192][7] bi[192][8] bi[193][0] bi[193][1] bi[193][2] bi[193][3] bi[193][4] bi[193][5] bi[193][6] bi[193][7] bi[193][8] bi[194][0] bi[194][1] bi[194][2] bi[194][3] bi[194][4] bi[194][5] bi[194][6] bi[194][7] bi[194][8] bi[195][0] bi[195][1] bi[195][2] bi[195][3] bi[195][4] bi[195][5] bi[195][6] bi[195][7] bi[195][8] bi[196][0] bi[196][1] bi[196][2] bi[196][3] bi[196][4] bi[196][5] bi[196][6] bi[196][7] bi[196][8] bi[197][0] bi[197][1] bi[197][2] bi[197][3] bi[197][4] bi[197][5] bi[197][6] bi[197][7] bi[197][8] bi[198][0] bi[198][1] bi[198][2] bi[198][3] bi[198][4] bi[198][5] bi[198][6] bi[198][7] bi[198][8] bi[199][0] bi[199][1] bi[199][2] bi[199][3] bi[199][4] bi[199][5] bi[199][6] bi[199][7] bi[199][8] bi[200][0] bi[200][1] bi[200][2] bi[200][3] bi[200][4] bi[200][5] bi[200][6] bi[200][7] bi[200][8] bi[201][0] bi[201][1] bi[201][2] bi[201][3] bi[201][4] bi[201][5] bi[201][6] bi[201][7] bi[201][8] bi[202][0] bi[202][1] bi[202][2] bi[202][3] bi[202][4] bi[202][5] bi[202][6] bi[202][7] bi[202][8] bi[203][0] bi[203][1] bi[203][2] bi[203][3] bi[203][4] bi[203][5] bi[203][6] bi[203][7] bi[203][8] bi[204][0] bi[204][1] bi[204][2] bi[204][3] bi[204][4] bi[204][5] bi[204][6] bi[204][7] bi[204][8] bi[205][0] bi[205][1] bi[205][2] bi[205][3] bi[205][4] bi[205][5] bi[205][6] bi[205][7] bi[205][8] bi[206][0] bi[206][1] bi[206][2] bi[206][3] bi[206][4] bi[206][5] bi[206][6] bi[206][7] bi[206][8] bi[207][0] bi[207][1] bi[207][2] bi[207][3] bi[207][4] bi[207][5] bi[207][6] bi[207][7] bi[207][8] bi[208][0] bi[208][1] bi[208][2] bi[208][3] bi[208][4] bi[208][5] bi[208][6] bi[208][7] bi[208][8] bi[209][0] bi[209][1] bi[209][2] bi[209][3] bi[209][4] bi[209][5] bi[209][6] bi[209][7] bi[209][8] bi[210][0] bi[210][1] bi[210][2] bi[210][3] bi[210][4] bi[210][5] bi[210][6] bi[210][7] bi[210][8] bi[211][0] bi[211][1] bi[211][2] bi[211][3] bi[211][4] bi[211][5] bi[211][6] bi[211][7] bi[211][8] bi[212][0] bi[212][1] bi[212][2] bi[212][3] bi[212][4] bi[212][5] bi[212][6] bi[212][7] bi[212][8] bi[213][0] bi[213][1] bi[213][2] bi[213][3] bi[213][4] bi[213][5] bi[213][6] bi[213][7] bi[213][8] bi[214][0] bi[214][1] bi[214][2] bi[214][3] bi[214][4] bi[214][5] bi[214][6] bi[214][7] bi[214][8] bi[215][0] bi[215][1] bi[215][2] bi[215][3] bi[215][4] bi[215][5] bi[215][6] bi[215][7] bi[215][8] bi[216][0] bi[216][1] bi[216][2] bi[216][3] bi[216][4] bi[216][5] bi[216][6] bi[216][7] bi[216][8] bi[217][0] bi[217][1] bi[217][2] bi[217][3] bi[217][4] bi[217][5] bi[217][6] bi[217][7] bi[217][8] bi[218][0] bi[218][1] bi[218][2] bi[218][3] bi[218][4] bi[218][5] bi[218][6] bi[218][7] bi[218][8] bi[219][0] bi[219][1] bi[219][2] bi[219][3] bi[219][4] bi[219][5] bi[219][6] bi[219][7] bi[219][8] bi[220][0] bi[220][1] bi[220][2] bi[220][3] bi[220][4] bi[220][5] bi[220][6] bi[220][7] bi[220][8] bi[221][0] bi[221][1] bi[221][2] bi[221][3] bi[221][4] bi[221][5] bi[221][6] bi[221][7] bi[221][8] bi[222][0] bi[222][1] bi[222][2] bi[222][3] bi[222][4] bi[222][5] bi[222][6] bi[222][7] bi[222][8] bi[223][0] bi[223][1] bi[223][2] bi[223][3] bi[223][4] bi[223][5] bi[223][6] bi[223][7] bi[223][8] bi[224][0] bi[224][1] bi[224][2] bi[224][3] bi[224][4] bi[224][5] bi[224][6] bi[224][7] bi[224][8] bi[225][0] bi[225][1] bi[225][2] bi[225][3] bi[225][4] bi[225][5] bi[225][6] bi[225][7] bi[225][8] bi[226][0] bi[226][1] bi[226][2] bi[226][3] bi[226][4] bi[226][5] bi[226][6] bi[226][7] bi[226][8] bi[227][0] bi[227][1] bi[227][2] bi[227][3] bi[227][4] bi[227][5] bi[227][6] bi[227][7] bi[227][8] bi[228][0] bi[228][1] bi[228][2] bi[228][3] bi[228][4] bi[228][5] bi[228][6] bi[228][7] bi[228][8] bi[229][0] bi[229][1] bi[229][2] bi[229][3] bi[229][4] bi[229][5] bi[229][6] bi[229][7] bi[229][8] bi[230][0] bi[230][1] bi[230][2] bi[230][3] bi[230][4] bi[230][5] bi[230][6] bi[230][7] bi[230][8] bi[231][0] bi[231][1] bi[231][2] bi[231][3] bi[231][4] bi[231][5] bi[231][6] bi[231][7] bi[231][8] bi[232][0] bi[232][1] bi[232][2] bi[232][3] bi[232][4] bi[232][5] bi[232][6] bi[232][7] bi[232][8] bi[233][0] bi[233][1] bi[233][2] bi[233][3] bi[233][4] bi[233][5] bi[233][6] bi[233][7] bi[233][8] bi[234][0] bi[234][1] bi[234][2] bi[234][3] bi[234][4] bi[234][5] bi[234][6] bi[234][7] bi[234][8] bi[235][0] bi[235][1] bi[235][2] bi[235][3] bi[235][4] bi[235][5] bi[235][6] bi[235][7] bi[235][8] bi[236][0] bi[236][1] bi[236][2] bi[236][3] bi[236][4] bi[236][5] bi[236][6] bi[236][7] bi[236][8] bi[237][0] bi[237][1] bi[237][2] bi[237][3] bi[237][4] bi[237][5] bi[237][6] bi[237][7] bi[237][8] bi[238][0] bi[238][1] bi[238][2] bi[238][3] bi[238][4] bi[238][5] bi[238][6] bi[238][7] bi[238][8] bi[239][0] bi[239][1] bi[239][2] bi[239][3] bi[239][4] bi[239][5] bi[239][6] bi[239][7] bi[239][8] bi[240][0] bi[240][1] bi[240][2] bi[240][3] bi[240][4] bi[240][5] bi[240][6] bi[240][7] bi[240][8] bi[241][0] bi[241][1] bi[241][2] bi[241][3] bi[241][4] bi[241][5] bi[241][6] bi[241][7] bi[241][8] bi[242][0] bi[242][1] bi[242][2] bi[242][3] bi[242][4] bi[242][5] bi[242][6] bi[242][7] bi[242][8] bi[243][0] bi[243][1] bi[243][2] bi[243][3] bi[243][4] bi[243][5] bi[243][6] bi[243][7] bi[243][8] bi[244][0] bi[244][1] bi[244][2] bi[244][3] bi[244][4] bi[244][5] bi[244][6] bi[244][7] bi[244][8] bi[245][0] bi[245][1] bi[245][2] bi[245][3] bi[245][4] bi[245][5] bi[245][6] bi[245][7] bi[245][8] bi[246][0] bi[246][1] bi[246][2] bi[246][3] bi[246][4] bi[246][5] bi[246][6] bi[246][7] bi[246][8] bi[247][0] bi[247][1] bi[247][2] bi[247][3] bi[247][4] bi[247][5] bi[247][6] bi[247][7] bi[247][8] bi[248][0] bi[248][1] bi[248][2] bi[248][3] bi[248][4] bi[248][5] bi[248][6] bi[248][7] bi[248][8] bi[249][0] bi[249][1] bi[249][2] bi[249][3] bi[249][4] bi[249][5] bi[249][6] bi[249][7] bi[249][8] bi[250][0] bi[250][1] bi[250][2] bi[250][3] bi[250][4] bi[250][5] bi[250][6] bi[250][7] bi[250][8] bi[251][0] bi[251][1] bi[251][2] bi[251][3] bi[251][4] bi[251][5] bi[251][6] bi[251][7] bi[251][8] bi[252][0] bi[252][1] bi[252][2] bi[252][3] bi[252][4] bi[252][5] bi[252][6] bi[252][7] bi[252][8] bi[253][0] bi[253][1] bi[253][2] bi[253][3] bi[253][4] bi[253][5] bi[253][6] bi[253][7] bi[253][8] bi[254][0] bi[254][1] bi[254][2] bi[254][3] bi[254][4] bi[254][5] bi[254][6] bi[254][7] bi[254][8] bi[255][0] bi[255][1] bi[255][2] bi[255][3] bi[255][4] bi[255][5] bi[255][6] bi[255][7] bi[255][8] bi[256][0] bi[256][1] bi[256][2] bi[256][3] bi[256][4] bi[256][5] bi[256][6] bi[256][7] bi[256][8] bi[257][0] bi[257][1] bi[257][2] bi[257][3] bi[257][4] bi[257][5] bi[257][6] bi[257][7] bi[257][8] bi[258][0] bi[258][1] bi[258][2] bi[258][3] bi[258][4] bi[258][5] bi[258][6] bi[258][7] bi[258][8] bi[259][0] bi[259][1] bi[259][2] bi[259][3] bi[259][4] bi[259][5] bi[259][6] bi[259][7] bi[259][8] bi[260][0] bi[260][1] bi[260][2] bi[260][3] bi[260][4] bi[260][5] bi[260][6] bi[260][7] bi[260][8] bi[261][0] bi[261][1] bi[261][2] bi[261][3] bi[261][4] bi[261][5] bi[261][6] bi[261][7] bi[261][8] bi[262][0] bi[262][1] bi[262][2] bi[262][3] bi[262][4] bi[262][5] bi[262][6] bi[262][7] bi[262][8] bi[263][0] bi[263][1] bi[263][2] bi[263][3] bi[263][4] bi[263][5] bi[263][6] bi[263][7] bi[263][8] bi[264][0] bi[264][1] bi[264][2] bi[264][3] bi[264][4] bi[264][5] bi[264][6] bi[264][7] bi[264][8] bi[265][0] bi[265][1] bi[265][2] bi[265][3] bi[265][4] bi[265][5] bi[265][6] bi[265][7] bi[265][8] bi[266][0] bi[266][1] bi[266][2] bi[266][3] bi[266][4] bi[266][5] bi[266][6] bi[266][7] bi[266][8] bi[267][0] bi[267][1] bi[267][2] bi[267][3] bi[267][4] bi[267][5] bi[267][6] bi[267][7] bi[267][8] bi[268][0] bi[268][1] bi[268][2] bi[268][3] bi[268][4] bi[268][5] bi[268][6] bi[268][7] bi[268][8] bi[269][0] bi[269][1] bi[269][2] bi[269][3] bi[269][4] bi[269][5] bi[269][6] bi[269][7] bi[269][8] bi[270][0] bi[270][1] bi[270][2] bi[270][3] bi[270][4] bi[270][5] bi[270][6] bi[270][7] bi[270][8] bi[271][0] bi[271][1] bi[271][2] bi[271][3] bi[271][4] bi[271][5] bi[271][6] bi[271][7] bi[271][8] bi[272][0] bi[272][1] bi[272][2] bi[272][3] bi[272][4] bi[272][5] bi[272][6] bi[272][7] bi[272][8] bi[273][0] bi[273][1] bi[273][2] bi[273][3] bi[273][4] bi[273][5] bi[273][6] bi[273][7] bi[273][8] bi[274][0] bi[274][1] bi[274][2] bi[274][3] bi[274][4] bi[274][5] bi[274][6] bi[274][7] bi[274][8] bi[275][0] bi[275][1] bi[275][2] bi[275][3] bi[275][4] bi[275][5] bi[275][6] bi[275][7] bi[275][8] bi[276][0] bi[276][1] bi[276][2] bi[276][3] bi[276][4] bi[276][5] bi[276][6] bi[276][7] bi[276][8] bi[277][0] bi[277][1] bi[277][2] bi[277][3] bi[277][4] bi[277][5] bi[277][6] bi[277][7] bi[277][8] bi[278][0] bi[278][1] bi[278][2] bi[278][3] bi[278][4] bi[278][5] bi[278][6] bi[278][7] bi[278][8] bi[279][0] bi[279][1] bi[279][2] bi[279][3] bi[279][4] bi[279][5] bi[279][6] bi[279][7] bi[279][8] bi[280][0] bi[280][1] bi[280][2] bi[280][3] bi[280][4] bi[280][5] bi[280][6] bi[280][7] bi[280][8] bi[281][0] bi[281][1] bi[281][2] bi[281][3] bi[281][4] bi[281][5] bi[281][6] bi[281][7] bi[281][8] bi[282][0] bi[282][1] bi[282][2] bi[282][3] bi[282][4] bi[282][5] bi[282][6] bi[282][7] bi[282][8] bi[283][0] bi[283][1] bi[283][2] bi[283][3] bi[283][4] bi[283][5] bi[283][6] bi[283][7] bi[283][8] bi[284][0] bi[284][1] bi[284][2] bi[284][3] bi[284][4] bi[284][5] bi[284][6] bi[284][7] bi[284][8] bi[285][0] bi[285][1] bi[285][2] bi[285][3] bi[285][4] bi[285][5] bi[285][6] bi[285][7] bi[285][8] bi[286][0] bi[286][1] bi[286][2] bi[286][3] bi[286][4] bi[286][5] bi[286][6] bi[286][7] bi[286][8] bi[287][0] bi[287][1] bi[287][2] bi[287][3] bi[287][4] bi[287][5] bi[287][6] bi[287][7] bi[287][8] bi[288][0] bi[288][1] bi[288][2] bi[288][3] bi[288][4] bi[288][5] bi[288][6] bi[288][7] bi[288][8] bi[289][0] bi[289][1] bi[289][2] bi[289][3] bi[289][4] bi[289][5] bi[289][6] bi[289][7] bi[289][8] bi[290][0] bi[290][1] bi[290][2] bi[290][3] bi[290][4] bi[290][5] bi[290][6] bi[290][7] bi[290][8] bi[291][0] bi[291][1] bi[291][2] bi[291][3] bi[291][4] bi[291][5] bi[291][6] bi[291][7] bi[291][8] bi[292][0] bi[292][1] bi[292][2] bi[292][3] bi[292][4] bi[292][5] bi[292][6] bi[292][7] bi[292][8] bi[293][0] bi[293][1] bi[293][2] bi[293][3] bi[293][4] bi[293][5] bi[293][6] bi[293][7] bi[293][8] bi[294][0] bi[294][1] bi[294][2] bi[294][3] bi[294][4] bi[294][5] bi[294][6] bi[294][7] bi[294][8] bi[295][0] bi[295][1] bi[295][2] bi[295][3] bi[295][4] bi[295][5] bi[295][6] bi[295][7] bi[295][8] bi[296][0] bi[296][1] bi[296][2] bi[296][3] bi[296][4] bi[296][5] bi[296][6] bi[296][7] bi[296][8] bi[297][0] bi[297][1] bi[297][2] bi[297][3] bi[297][4] bi[297][5] bi[297][6] bi[297][7] bi[297][8] bi[298][0] bi[298][1] bi[298][2] bi[298][3] bi[298][4] bi[298][5] bi[298][6] bi[298][7] bi[298][8] bi[299][0] bi[299][1] bi[299][2] bi[299][3] bi[299][4] bi[299][5] bi[299][6] bi[299][7] bi[299][8] bi[300][0] bi[300][1] bi[300][2] bi[300][3] bi[300][4] bi[300][5] bi[300][6] bi[300][7] bi[300][8] bi[301][0] bi[301][1] bi[301][2] bi[301][3] bi[301][4] bi[301][5] bi[301][6] bi[301][7] bi[301][8] bi[302][0] bi[302][1] bi[302][2] bi[302][3] bi[302][4] bi[302][5] bi[302][6] bi[302][7] bi[302][8] bi[303][0] bi[303][1] bi[303][2] bi[303][3] bi[303][4] bi[303][5] bi[303][6] bi[303][7] bi[303][8] bi[304][0] bi[304][1] bi[304][2] bi[304][3] bi[304][4] bi[304][5] bi[304][6] bi[304][7] bi[304][8] bi[305][0] bi[305][1] bi[305][2] bi[305][3] bi[305][4] bi[305][5] bi[305][6] bi[305][7] bi[305][8] bi[306][0] bi[306][1] bi[306][2] bi[306][3] bi[306][4] bi[306][5] bi[306][6] bi[306][7] bi[306][8] bi[307][0] bi[307][1] bi[307][2] bi[307][3] bi[307][4] bi[307][5] bi[307][6] bi[307][7] bi[307][8] bi[308][0] bi[308][1] bi[308][2] bi[308][3] bi[308][4] bi[308][5] bi[308][6] bi[308][7] bi[308][8] bi[309][0] bi[309][1] bi[309][2] bi[309][3] bi[309][4] bi[309][5] bi[309][6] bi[309][7] bi[309][8] bi[310][0] bi[310][1] bi[310][2] bi[310][3] bi[310][4] bi[310][5] bi[310][6] bi[310][7] bi[310][8] bi[311][0] bi[311][1] bi[311][2] bi[311][3] bi[311][4] bi[311][5] bi[311][6] bi[311][7] bi[311][8] bi[312][0] bi[312][1] bi[312][2] bi[312][3] bi[312][4] bi[312][5] bi[312][6] bi[312][7] bi[312][8] bi[313][0] bi[313][1] bi[313][2] bi[313][3] bi[313][4] bi[313][5] bi[313][6] bi[313][7] bi[313][8] bi[314][0] bi[314][1] bi[314][2] bi[314][3] bi[314][4] bi[314][5] bi[314][6] bi[314][7] bi[314][8] bi[315][0] bi[315][1] bi[315][2] bi[315][3] bi[315][4] bi[315][5] bi[315][6] bi[315][7] bi[315][8] bi[316][0] bi[316][1] bi[316][2] bi[316][3] bi[316][4] bi[316][5] bi[316][6] bi[316][7] bi[316][8] bi[317][0] bi[317][1] bi[317][2] bi[317][3] bi[317][4] bi[317][5] bi[317][6] bi[317][7] bi[317][8] bi[318][0] bi[318][1] bi[318][2] bi[318][3] bi[318][4] bi[318][5] bi[318][6] bi[318][7] bi[318][8] bi[319][0] bi[319][1] bi[319][2] bi[319][3] bi[319][4] bi[319][5] bi[319][6] bi[319][7] bi[319][8] bi[320][0] bi[320][1] bi[320][2] bi[320][3] bi[320][4] bi[320][5] bi[320][6] bi[320][7] bi[320][8] bi[321][0] bi[321][1] bi[321][2] bi[321][3] bi[321][4] bi[321][5] bi[321][6] bi[321][7] bi[321][8] bi[322][0] bi[322][1] bi[322][2] bi[322][3] bi[322][4] bi[322][5] bi[322][6] bi[322][7] bi[322][8] bi[323][0] bi[323][1] bi[323][2] bi[323][3] bi[323][4] bi[323][5] bi[323][6] bi[323][7] bi[323][8] bi[324][0] bi[324][1] bi[324][2] bi[324][3] bi[324][4] bi[324][5] bi[324][6] bi[324][7] bi[324][8] bi[325][0] bi[325][1] bi[325][2] bi[325][3] bi[325][4] bi[325][5] bi[325][6] bi[325][7] bi[325][8] bi[326][0] bi[326][1] bi[326][2] bi[326][3] bi[326][4] bi[326][5] bi[326][6] bi[326][7] bi[326][8] bi[327][0] bi[327][1] bi[327][2] bi[327][3] bi[327][4] bi[327][5] bi[327][6] bi[327][7] bi[327][8] bi[328][0] bi[328][1] bi[328][2] bi[328][3] bi[328][4] bi[328][5] bi[328][6] bi[328][7] bi[328][8] bi[329][0] bi[329][1] bi[329][2] bi[329][3] bi[329][4] bi[329][5] bi[329][6] bi[329][7] bi[329][8] bi[330][0] bi[330][1] bi[330][2] bi[330][3] bi[330][4] bi[330][5] bi[330][6] bi[330][7] bi[330][8] bi[331][0] bi[331][1] bi[331][2] bi[331][3] bi[331][4] bi[331][5] bi[331][6] bi[331][7] bi[331][8] bi[332][0] bi[332][1] bi[332][2] bi[332][3] bi[332][4] bi[332][5] bi[332][6] bi[332][7] bi[332][8] bi[333][0] bi[333][1] bi[333][2] bi[333][3] bi[333][4] bi[333][5] bi[333][6] bi[333][7] bi[333][8] bi[334][0] bi[334][1] bi[334][2] bi[334][3] bi[334][4] bi[334][5] bi[334][6] bi[334][7] bi[334][8] bi[335][0] bi[335][1] bi[335][2] bi[335][3] bi[335][4] bi[335][5] bi[335][6] bi[335][7] bi[335][8] bi[336][0] bi[336][1] bi[336][2] bi[336][3] bi[336][4] bi[336][5] bi[336][6] bi[336][7] bi[336][8] bi[337][0] bi[337][1] bi[337][2] bi[337][3] bi[337][4] bi[337][5] bi[337][6] bi[337][7] bi[337][8] bi[338][0] bi[338][1] bi[338][2] bi[338][3] bi[338][4] bi[338][5] bi[338][6] bi[338][7] bi[338][8] bi[339][0] bi[339][1] bi[339][2] bi[339][3] bi[339][4] bi[339][5] bi[339][6] bi[339][7] bi[339][8] bi[340][0] bi[340][1] bi[340][2] bi[340][3] bi[340][4] bi[340][5] bi[340][6] bi[340][7] bi[340][8] bi[341][0] bi[341][1] bi[341][2] bi[341][3] bi[341][4] bi[341][5] bi[341][6] bi[341][7] bi[341][8] bi[342][0] bi[342][1] bi[342][2] bi[342][3] bi[342][4] bi[342][5] bi[342][6] bi[342][7] bi[342][8] bi[343][0] bi[343][1] bi[343][2] bi[343][3] bi[343][4] bi[343][5] bi[343][6] bi[343][7] bi[343][8] bi[344][0] bi[344][1] bi[344][2] bi[344][3] bi[344][4] bi[344][5] bi[344][6] bi[344][7] bi[344][8] bi[345][0] bi[345][1] bi[345][2] bi[345][3] bi[345][4] bi[345][5] bi[345][6] bi[345][7] bi[345][8] bi[346][0] bi[346][1] bi[346][2] bi[346][3] bi[346][4] bi[346][5] bi[346][6] bi[346][7] bi[346][8] bi[347][0] bi[347][1] bi[347][2] bi[347][3] bi[347][4] bi[347][5] bi[347][6] bi[347][7] bi[347][8] bi[348][0] bi[348][1] bi[348][2] bi[348][3] bi[348][4] bi[348][5] bi[348][6] bi[348][7] bi[348][8] bi[349][0] bi[349][1] bi[349][2] bi[349][3] bi[349][4] bi[349][5] bi[349][6] bi[349][7] bi[349][8] bi[350][0] bi[350][1] bi[350][2] bi[350][3] bi[350][4] bi[350][5] bi[350][6] bi[350][7] bi[350][8] bi[351][0] bi[351][1] bi[351][2] bi[351][3] bi[351][4] bi[351][5] bi[351][6] bi[351][7] bi[351][8] bi[352][0] bi[352][1] bi[352][2] bi[352][3] bi[352][4] bi[352][5] bi[352][6] bi[352][7] bi[352][8] bi[353][0] bi[353][1] bi[353][2] bi[353][3] bi[353][4] bi[353][5] bi[353][6] bi[353][7] bi[353][8] bi[354][0] bi[354][1] bi[354][2] bi[354][3] bi[354][4] bi[354][5] bi[354][6] bi[354][7] bi[354][8] bi[355][0] bi[355][1] bi[355][2] bi[355][3] bi[355][4] bi[355][5] bi[355][6] bi[355][7] bi[355][8] bi[356][0] bi[356][1] bi[356][2] bi[356][3] bi[356][4] bi[356][5] bi[356][6] bi[356][7] bi[356][8] bi[357][0] bi[357][1] bi[357][2] bi[357][3] bi[357][4] bi[357][5] bi[357][6] bi[357][7] bi[357][8] bi[358][0] bi[358][1] bi[358][2] bi[358][3] bi[358][4] bi[358][5] bi[358][6] bi[358][7] bi[358][8] bi[359][0] bi[359][1] bi[359][2] bi[359][3] bi[359][4] bi[359][5] bi[359][6] bi[359][7] bi[359][8] bi[360][0] bi[360][1] bi[360][2] bi[360][3] bi[360][4] bi[360][5] bi[360][6] bi[360][7] bi[360][8] bi[361][0] bi[361][1] bi[361][2] bi[361][3] bi[361][4] bi[361][5] bi[361][6] bi[361][7] bi[361][8] bi[362][0] bi[362][1] bi[362][2] bi[362][3] bi[362][4] bi[362][5] bi[362][6] bi[362][7] bi[362][8] bi[363][0] bi[363][1] bi[363][2] bi[363][3] bi[363][4] bi[363][5] bi[363][6] bi[363][7] bi[363][8] bi[364][0] bi[364][1] bi[364][2] bi[364][3] bi[364][4] bi[364][5] bi[364][6] bi[364][7] bi[364][8] bi[365][0] bi[365][1] bi[365][2] bi[365][3] bi[365][4] bi[365][5] bi[365][6] bi[365][7] bi[365][8] bi[366][0] bi[366][1] bi[366][2] bi[366][3] bi[366][4] bi[366][5] bi[366][6] bi[366][7] bi[366][8] bi[367][0] bi[367][1] bi[367][2] bi[367][3] bi[367][4] bi[367][5] bi[367][6] bi[367][7] bi[367][8] bi[368][0] bi[368][1] bi[368][2] bi[368][3] bi[368][4] bi[368][5] bi[368][6] bi[368][7] bi[368][8] bi[369][0] bi[369][1] bi[369][2] bi[369][3] bi[369][4] bi[369][5] bi[369][6] bi[369][7] bi[369][8] bi[370][0] bi[370][1] bi[370][2] bi[370][3] bi[370][4] bi[370][5] bi[370][6] bi[370][7] bi[370][8] bi[371][0] bi[371][1] bi[371][2] bi[371][3] bi[371][4] bi[371][5] bi[371][6] bi[371][7] bi[371][8] bi[372][0] bi[372][1] bi[372][2] bi[372][3] bi[372][4] bi[372][5] bi[372][6] bi[372][7] bi[372][8] bi[373][0] bi[373][1] bi[373][2] bi[373][3] bi[373][4] bi[373][5] bi[373][6] bi[373][7] bi[373][8] bi[374][0] bi[374][1] bi[374][2] bi[374][3] bi[374][4] bi[374][5] bi[374][6] bi[374][7] bi[374][8] bi[375][0] bi[375][1] bi[375][2] bi[375][3] bi[375][4] bi[375][5] bi[375][6] bi[375][7] bi[375][8] bi[376][0] bi[376][1] bi[376][2] bi[376][3] bi[376][4] bi[376][5] bi[376][6] bi[376][7] bi[376][8] bi[377][0] bi[377][1] bi[377][2] bi[377][3] bi[377][4] bi[377][5] bi[377][6] bi[377][7] bi[377][8] bi[378][0] bi[378][1] bi[378][2] bi[378][3] bi[378][4] bi[378][5] bi[378][6] bi[378][7] bi[378][8] bi[379][0] bi[379][1] bi[379][2] bi[379][3] bi[379][4] bi[379][5] bi[379][6] bi[379][7] bi[379][8] bi[380][0] bi[380][1] bi[380][2] bi[380][3] bi[380][4] bi[380][5] bi[380][6] bi[380][7] bi[380][8] bi[381][0] bi[381][1] bi[381][2] bi[381][3] bi[381][4] bi[381][5] bi[381][6] bi[381][7] bi[381][8] bi[382][0] bi[382][1] bi[382][2] bi[382][3] bi[382][4] bi[382][5] bi[382][6] bi[382][7] bi[382][8] bi[383][0] bi[383][1] bi[383][2] bi[383][3] bi[383][4] bi[383][5] bi[383][6] bi[383][7] bi[383][8] bi[384][0] bi[384][1] bi[384][2] bi[384][3] bi[384][4] bi[384][5] bi[384][6] bi[384][7] bi[384][8] bi[385][0] bi[385][1] bi[385][2] bi[385][3] bi[385][4] bi[385][5] bi[385][6] bi[385][7] bi[385][8] bi[386][0] bi[386][1] bi[386][2] bi[386][3] bi[386][4] bi[386][5] bi[386][6] bi[386][7] bi[386][8] bi[387][0] bi[387][1] bi[387][2] bi[387][3] bi[387][4] bi[387][5] bi[387][6] bi[387][7] bi[387][8] bi[388][0] bi[388][1] bi[388][2] bi[388][3] bi[388][4] bi[388][5] bi[388][6] bi[388][7] bi[388][8] bi[389][0] bi[389][1] bi[389][2] bi[389][3] bi[389][4] bi[389][5] bi[389][6] bi[389][7] bi[389][8] bi[390][0] bi[390][1] bi[390][2] bi[390][3] bi[390][4] bi[390][5] bi[390][6] bi[390][7] bi[390][8] bi[391][0] bi[391][1] bi[391][2] bi[391][3] bi[391][4] bi[391][5] bi[391][6] bi[391][7] bi[391][8] bi[392][0] bi[392][1] bi[392][2] bi[392][3] bi[392][4] bi[392][5] bi[392][6] bi[392][7] bi[392][8] bi[393][0] bi[393][1] bi[393][2] bi[393][3] bi[393][4] bi[393][5] bi[393][6] bi[393][7] bi[393][8] bi[394][0] bi[394][1] bi[394][2] bi[394][3] bi[394][4] bi[394][5] bi[394][6] bi[394][7] bi[394][8] bi[395][0] bi[395][1] bi[395][2] bi[395][3] bi[395][4] bi[395][5] bi[395][6] bi[395][7] bi[395][8] bi[396][0] bi[396][1] bi[396][2] bi[396][3] bi[396][4] bi[396][5] bi[396][6] bi[396][7] bi[396][8] bi[397][0] bi[397][1] bi[397][2] bi[397][3] bi[397][4] bi[397][5] bi[397][6] bi[397][7] bi[397][8] bi[398][0] bi[398][1] bi[398][2] bi[398][3] bi[398][4] bi[398][5] bi[398][6] bi[398][7] bi[398][8] bi[399][0] bi[399][1] bi[399][2] bi[399][3] bi[399][4] bi[399][5] bi[399][6] bi[399][7] bi[399][8] bi[400][0] bi[400][1] bi[400][2] bi[400][3] bi[400][4] bi[400][5] bi[400][6] bi[400][7] bi[400][8] bi[401][0] bi[401][1] bi[401][2] bi[401][3] bi[401][4] bi[401][5] bi[401][6] bi[401][7] bi[401][8] bi[402][0] bi[402][1] bi[402][2] bi[402][3] bi[402][4] bi[402][5] bi[402][6] bi[402][7] bi[402][8] bi[403][0] bi[403][1] bi[403][2] bi[403][3] bi[403][4] bi[403][5] bi[403][6] bi[403][7] bi[403][8] bi[404][0] bi[404][1] bi[404][2] bi[404][3] bi[404][4] bi[404][5] bi[404][6] bi[404][7] bi[404][8] bi[405][0] bi[405][1] bi[405][2] bi[405][3] bi[405][4] bi[405][5] bi[405][6] bi[405][7] bi[405][8] bi[406][0] bi[406][1] bi[406][2] bi[406][3] bi[406][4] bi[406][5] bi[406][6] bi[406][7] bi[406][8] bi[407][0] bi[407][1] bi[407][2] bi[407][3] bi[407][4] bi[407][5] bi[407][6] bi[407][7] bi[407][8] bi[408][0] bi[408][1] bi[408][2] bi[408][3] bi[408][4] bi[408][5] bi[408][6] bi[408][7] bi[408][8] bi[409][0] bi[409][1] bi[409][2] bi[409][3] bi[409][4] bi[409][5] bi[409][6] bi[409][7] bi[409][8] bi[410][0] bi[410][1] bi[410][2] bi[410][3] bi[410][4] bi[410][5] bi[410][6] bi[410][7] bi[410][8] bi[411][0] bi[411][1] bi[411][2] bi[411][3] bi[411][4] bi[411][5] bi[411][6] bi[411][7] bi[411][8] bi[412][0] bi[412][1] bi[412][2] bi[412][3] bi[412][4] bi[412][5] bi[412][6] bi[412][7] bi[412][8] bi[413][0] bi[413][1] bi[413][2] bi[413][3] bi[413][4] bi[413][5] bi[413][6] bi[413][7] bi[413][8] bi[414][0] bi[414][1] bi[414][2] bi[414][3] bi[414][4] bi[414][5] bi[414][6] bi[414][7] bi[414][8] bi[415][0] bi[415][1] bi[415][2] bi[415][3] bi[415][4] bi[415][5] bi[415][6] bi[415][7] bi[415][8] bi[416][0] bi[416][1] bi[416][2] bi[416][3] bi[416][4] bi[416][5] bi[416][6] bi[416][7] bi[416][8] bi[417][0] bi[417][1] bi[417][2] bi[417][3] bi[417][4] bi[417][5] bi[417][6] bi[417][7] bi[417][8] bi[418][0] bi[418][1] bi[418][2] bi[418][3] bi[418][4] bi[418][5] bi[418][6] bi[418][7] bi[418][8] bi[419][0] bi[419][1] bi[419][2] bi[419][3] bi[419][4] bi[419][5] bi[419][6] bi[419][7] bi[419][8] bi[420][0] bi[420][1] bi[420][2] bi[420][3] bi[420][4] bi[420][5] bi[420][6] bi[420][7] bi[420][8] bi[421][0] bi[421][1] bi[421][2] bi[421][3] bi[421][4] bi[421][5] bi[421][6] bi[421][7] bi[421][8] bi[422][0] bi[422][1] bi[422][2] bi[422][3] bi[422][4] bi[422][5] bi[422][6] bi[422][7] bi[422][8] bi[423][0] bi[423][1] bi[423][2] bi[423][3] bi[423][4] bi[423][5] bi[423][6] bi[423][7] bi[423][8] bi[424][0] bi[424][1] bi[424][2] bi[424][3] bi[424][4] bi[424][5] bi[424][6] bi[424][7] bi[424][8] bi[425][0] bi[425][1] bi[425][2] bi[425][3] bi[425][4] bi[425][5] bi[425][6] bi[425][7] bi[425][8] bi[426][0] bi[426][1] bi[426][2] bi[426][3] bi[426][4] bi[426][5] bi[426][6] bi[426][7] bi[426][8] bi[427][0] bi[427][1] bi[427][2] bi[427][3] bi[427][4] bi[427][5] bi[427][6] bi[427][7] bi[427][8] bi[428][0] bi[428][1] bi[428][2] bi[428][3] bi[428][4] bi[428][5] bi[428][6] bi[428][7] bi[428][8] bi[429][0] bi[429][1] bi[429][2] bi[429][3] bi[429][4] bi[429][5] bi[429][6] bi[429][7] bi[429][8] bi[430][0] bi[430][1] bi[430][2] bi[430][3] bi[430][4] bi[430][5] bi[430][6] bi[430][7] bi[430][8] bi[431][0] bi[431][1] bi[431][2] bi[431][3] bi[431][4] bi[431][5] bi[431][6] bi[431][7] bi[431][8] bi[432][0] bi[432][1] bi[432][2] bi[432][3] bi[432][4] bi[432][5] bi[432][6] bi[432][7] bi[432][8] bi[433][0] bi[433][1] bi[433][2] bi[433][3] bi[433][4] bi[433][5] bi[433][6] bi[433][7] bi[433][8] bi[434][0] bi[434][1] bi[434][2] bi[434][3] bi[434][4] bi[434][5] bi[434][6] bi[434][7] bi[434][8] bi[435][0] bi[435][1] bi[435][2] bi[435][3] bi[435][4] bi[435][5] bi[435][6] bi[435][7] bi[435][8] bi[436][0] bi[436][1] bi[436][2] bi[436][3] bi[436][4] bi[436][5] bi[436][6] bi[436][7] bi[436][8] bi[437][0] bi[437][1] bi[437][2] bi[437][3] bi[437][4] bi[437][5] bi[437][6] bi[437][7] bi[437][8] bi[438][0] bi[438][1] bi[438][2] bi[438][3] bi[438][4] bi[438][5] bi[438][6] bi[438][7] bi[438][8] bi[439][0] bi[439][1] bi[439][2] bi[439][3] bi[439][4] bi[439][5] bi[439][6] bi[439][7] bi[439][8] bi[440][0] bi[440][1] bi[440][2] bi[440][3] bi[440][4] bi[440][5] bi[440][6] bi[440][7] bi[440][8] bi[441][0] bi[441][1] bi[441][2] bi[441][3] bi[441][4] bi[441][5] bi[441][6] bi[441][7] bi[441][8] bi[442][0] bi[442][1] bi[442][2] bi[442][3] bi[442][4] bi[442][5] bi[442][6] bi[442][7] bi[442][8] bi[443][0] bi[443][1] bi[443][2] bi[443][3] bi[443][4] bi[443][5] bi[443][6] bi[443][7] bi[443][8] bi[444][0] bi[444][1] bi[444][2] bi[444][3] bi[444][4] bi[444][5] bi[444][6] bi[444][7] bi[444][8] bi[445][0] bi[445][1] bi[445][2] bi[445][3] bi[445][4] bi[445][5] bi[445][6] bi[445][7] bi[445][8] bi[446][0] bi[446][1] bi[446][2] bi[446][3] bi[446][4] bi[446][5] bi[446][6] bi[446][7] bi[446][8] bi[447][0] bi[447][1] bi[447][2] bi[447][3] bi[447][4] bi[447][5] bi[447][6] bi[447][7] bi[447][8] bi[448][0] bi[448][1] bi[448][2] bi[448][3] bi[448][4] bi[448][5] bi[448][6] bi[448][7] bi[448][8] bi[449][0] bi[449][1] bi[449][2] bi[449][3] bi[449][4] bi[449][5] bi[449][6] bi[449][7] bi[449][8] bi[450][0] bi[450][1] bi[450][2] bi[450][3] bi[450][4] bi[450][5] bi[450][6] bi[450][7] bi[450][8] bi[451][0] bi[451][1] bi[451][2] bi[451][3] bi[451][4] bi[451][5] bi[451][6] bi[451][7] bi[451][8] bi[452][0] bi[452][1] bi[452][2] bi[452][3] bi[452][4] bi[452][5] bi[452][6] bi[452][7] bi[452][8] bi[453][0] bi[453][1] bi[453][2] bi[453][3] bi[453][4] bi[453][5] bi[453][6] bi[453][7] bi[453][8] bi[454][0] bi[454][1] bi[454][2] bi[454][3] bi[454][4] bi[454][5] bi[454][6] bi[454][7] bi[454][8] bi[455][0] bi[455][1] bi[455][2] bi[455][3] bi[455][4] bi[455][5] bi[455][6] bi[455][7] bi[455][8] bi[456][0] bi[456][1] bi[456][2] bi[456][3] bi[456][4] bi[456][5] bi[456][6] bi[456][7] bi[456][8] bi[457][0] bi[457][1] bi[457][2] bi[457][3] bi[457][4] bi[457][5] bi[457][6] bi[457][7] bi[457][8] bi[458][0] bi[458][1] bi[458][2] bi[458][3] bi[458][4] bi[458][5] bi[458][6] bi[458][7] bi[458][8] bi[459][0] bi[459][1] bi[459][2] bi[459][3] bi[459][4] bi[459][5] bi[459][6] bi[459][7] bi[459][8] bi[460][0] bi[460][1] bi[460][2] bi[460][3] bi[460][4] bi[460][5] bi[460][6] bi[460][7] bi[460][8] bi[461][0] bi[461][1] bi[461][2] bi[461][3] bi[461][4] bi[461][5] bi[461][6] bi[461][7] bi[461][8] bi[462][0] bi[462][1] bi[462][2] bi[462][3] bi[462][4] bi[462][5] bi[462][6] bi[462][7] bi[462][8] bi[463][0] bi[463][1] bi[463][2] bi[463][3] bi[463][4] bi[463][5] bi[463][6] bi[463][7] bi[463][8] bi[464][0] bi[464][1] bi[464][2] bi[464][3] bi[464][4] bi[464][5] bi[464][6] bi[464][7] bi[464][8] bi[465][0] bi[465][1] bi[465][2] bi[465][3] bi[465][4] bi[465][5] bi[465][6] bi[465][7] bi[465][8] bi[466][0] bi[466][1] bi[466][2] bi[466][3] bi[466][4] bi[466][5] bi[466][6] bi[466][7] bi[466][8] bi[467][0] bi[467][1] bi[467][2] bi[467][3] bi[467][4] bi[467][5] bi[467][6] bi[467][7] bi[467][8] bi[468][0] bi[468][1] bi[468][2] bi[468][3] bi[468][4] bi[468][5] bi[468][6] bi[468][7] bi[468][8] bi[469][0] bi[469][1] bi[469][2] bi[469][3] bi[469][4] bi[469][5] bi[469][6] bi[469][7] bi[469][8] bi[470][0] bi[470][1] bi[470][2] bi[470][3] bi[470][4] bi[470][5] bi[470][6] bi[470][7] bi[470][8] bi[471][0] bi[471][1] bi[471][2] bi[471][3] bi[471][4] bi[471][5] bi[471][6] bi[471][7] bi[471][8] bi[472][0] bi[472][1] bi[472][2] bi[472][3] bi[472][4] bi[472][5] bi[472][6] bi[472][7] bi[472][8] bi[473][0] bi[473][1] bi[473][2] bi[473][3] bi[473][4] bi[473][5] bi[473][6] bi[473][7] bi[473][8] bi[474][0] bi[474][1] bi[474][2] bi[474][3] bi[474][4] bi[474][5] bi[474][6] bi[474][7] bi[474][8] bi[475][0] bi[475][1] bi[475][2] bi[475][3] bi[475][4] bi[475][5] bi[475][6] bi[475][7] bi[475][8] bi[476][0] bi[476][1] bi[476][2] bi[476][3] bi[476][4] bi[476][5] bi[476][6] bi[476][7] bi[476][8] bi[477][0] bi[477][1] bi[477][2] bi[477][3] bi[477][4] bi[477][5] bi[477][6] bi[477][7] bi[477][8] bi[478][0] bi[478][1] bi[478][2] bi[478][3] bi[478][4] bi[478][5] bi[478][6] bi[478][7] bi[478][8] bi[479][0] bi[479][1] bi[479][2] bi[479][3] bi[479][4] bi[479][5] bi[479][6] bi[479][7] bi[479][8] bi[480][0] bi[480][1] bi[480][2] bi[480][3] bi[480][4] bi[480][5] bi[480][6] bi[480][7] bi[480][8] bi[481][0] bi[481][1] bi[481][2] bi[481][3] bi[481][4] bi[481][5] bi[481][6] bi[481][7] bi[481][8] bi[482][0] bi[482][1] bi[482][2] bi[482][3] bi[482][4] bi[482][5] bi[482][6] bi[482][7] bi[482][8] bi[483][0] bi[483][1] bi[483][2] bi[483][3] bi[483][4] bi[483][5] bi[483][6] bi[483][7] bi[483][8] bi[484][0] bi[484][1] bi[484][2] bi[484][3] bi[484][4] bi[484][5] bi[484][6] bi[484][7] bi[484][8] bi[485][0] bi[485][1] bi[485][2] bi[485][3] bi[485][4] bi[485][5] bi[485][6] bi[485][7] bi[485][8] bi[486][0] bi[486][1] bi[486][2] bi[486][3] bi[486][4] bi[486][5] bi[486][6] bi[486][7] bi[486][8] bi[487][0] bi[487][1] bi[487][2] bi[487][3] bi[487][4] bi[487][5] bi[487][6] bi[487][7] bi[487][8] bi[488][0] bi[488][1] bi[488][2] bi[488][3] bi[488][4] bi[488][5] bi[488][6] bi[488][7] bi[488][8] bi[489][0] bi[489][1] bi[489][2] bi[489][3] bi[489][4] bi[489][5] bi[489][6] bi[489][7] bi[489][8] bi[490][0] bi[490][1] bi[490][2] bi[490][3] bi[490][4] bi[490][5] bi[490][6] bi[490][7] bi[490][8] bi[491][0] bi[491][1] bi[491][2] bi[491][3] bi[491][4] bi[491][5] bi[491][6] bi[491][7] bi[491][8] bi[492][0] bi[492][1] bi[492][2] bi[492][3] bi[492][4] bi[492][5] bi[492][6] bi[492][7] bi[492][8] bi[493][0] bi[493][1] bi[493][2] bi[493][3] bi[493][4] bi[493][5] bi[493][6] bi[493][7] bi[493][8] bi[494][0] bi[494][1] bi[494][2] bi[494][3] bi[494][4] bi[494][5] bi[494][6] bi[494][7] bi[494][8] bi[495][0] bi[495][1] bi[495][2] bi[495][3] bi[495][4] bi[495][5] bi[495][6] bi[495][7] bi[495][8] bi[496][0] bi[496][1] bi[496][2] bi[496][3] bi[496][4] bi[496][5] bi[496][6] bi[496][7] bi[496][8] bi[497][0] bi[497][1] bi[497][2] bi[497][3] bi[497][4] bi[497][5] bi[497][6] bi[497][7] bi[497][8] bi[498][0] bi[498][1] bi[498][2] bi[498][3] bi[498][4] bi[498][5] bi[498][6] bi[498][7] bi[498][8] bi[499][0] bi[499][1] bi[499][2] bi[499][3] bi[499][4] bi[499][5] bi[499][6] bi[499][7] bi[499][8] bi[500][0] bi[500][1] bi[500][2] bi[500][3] bi[500][4] bi[500][5] bi[500][6] bi[500][7] bi[500][8] bi[501][0] bi[501][1] bi[501][2] bi[501][3] bi[501][4] bi[501][5] bi[501][6] bi[501][7] bi[501][8] bi[502][0] bi[502][1] bi[502][2] bi[502][3] bi[502][4] bi[502][5] bi[502][6] bi[502][7] bi[502][8] bi[503][0] bi[503][1] bi[503][2] bi[503][3] bi[503][4] bi[503][5] bi[503][6] bi[503][7] bi[503][8] bi[504][0] bi[504][1] bi[504][2] bi[504][3] bi[504][4] bi[504][5] bi[504][6] bi[504][7] bi[504][8] bi[505][0] bi[505][1] bi[505][2] bi[505][3] bi[505][4] bi[505][5] bi[505][6] bi[505][7] bi[505][8] bi[506][0] bi[506][1] bi[506][2] bi[506][3] bi[506][4] bi[506][5] bi[506][6] bi[506][7] bi[506][8] bi[507][0] bi[507][1] bi[507][2] bi[507][3] bi[507][4] bi[507][5] bi[507][6] bi[507][7] bi[507][8] bi[508][0] bi[508][1] bi[508][2] bi[508][3] bi[508][4] bi[508][5] bi[508][6] bi[508][7] bi[508][8] bi[509][0] bi[509][1] bi[509][2] bi[509][3] bi[509][4] bi[509][5] bi[509][6] bi[509][7] bi[509][8] bi[510][0] bi[510][1] bi[510][2] bi[510][3] bi[510][4] bi[510][5] bi[510][6] bi[510][7] bi[510][8] bi[511][0] bi[511][1] bi[511][2] bi[511][3] bi[511][4] bi[511][5] bi[511][6] bi[511][7] bi[511][8] g[0] g[1] </list>
22.70/16.88	v 	<values>0 1 3 6 12 24 48 97 194 388 264 17 34 68 137 274 37 74 149 298 84 168 336 161 322 133 266 21 42 85 170 340 169 339 166 332 153 306 101 202 404 297 83 167 334 156 312 112 224 448 385 259 7 14 28 56 113 226 452 393 275 39 78 157 314 116 233 466 421 331 150 300 88 177 354 197 394 277 43 86 172 345 178 356 201 403 295 79 158 316 120 240 480 449 387 263 15 30 60 121 242 485 458 405 299 87 174 348 185 370 229 459 406 301 91 182 365 219 438 364 216 432 353 195 391 271 31 62 124 249 498 484 456 401 291 71 142 284 57 114 228 457 402 293 75 151 302 93 186 372 232 464 417 323 135 270 29 58 117 234 468 424 337 163 326 140 281 50 100 200 400 288 65 131 262 13 26 52 104 208 416 320 128 257 2 4 8 16 32 64 129 258 5 10 20 40 80 160 321 130 260 9 18 36 72 144 289 67 134 268 25 51 102 204 408 305 98 196 392 273 35 70 141 282 53 107 214 428 344 176 352 193 386 261 11 22 45 90 180 360 209 418 325 139 279 46 92 184 368 225 450 389 267 23 47 95 190 380 248 496 481 451 390 269 27 55 110 221 442 373 235 470 429 346 181 362 213 426 341 171 343 175 350 189 378 244 488 465 419 327 143 287 63 127 254 508 505 499 486 460 409 307 103 206 412 313 115 230 461 411 310 109 218 437 363 215 430 349 187 375 239 478 445 379 246 492 473 435 359 207 414 317 123 247 495 479 446 381 251 502 493 475 439 367 223 447 382 253 506 501 491 471 431 351 191 383 255 511 510 509 507 503 494 476 441 371 231 463 415 318 125 250 500 489 467 422 333 155 311 111 222 444 377 243 487 462 413 315 119 238 477 443 374 237 474 436 361 211 423 335 159 319 126 252 504 497 483 455 398 285 59 118 236 472 433 355 199 399 286 61 122 245 490 469 427 342 173 347 183 366 220 440 369 227 454 396 280 49 99 198 397 283 54 108 217 434 357 203 407 303 94 188 376 241 482 453 395 278 44 89 179 358 205 410 308 105 210 420 329 146 292 73 147 294 77 154 309 106 212 425 338 164 328 145 290 69 138 276 41 82 165 330 148 296 81 162 324 136 272 33 66 132 265 19 38 76 152 304 96 192 384 256 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 1 1 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 1 1 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 1 1 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 1 1 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 1 0 1 0 0 1 1 1 1 0 1 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 1 0 1 1 1 1 0 0 1 0 1 1 1 1 0 0 1 0 1 1 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 0 0 0 1 0 1 1 1 0 0 1 1 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 1 1 1 1 0 0 1 0 1 1 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 0 1 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 1 1 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 1 0 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 1 1 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1 0 0 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 0 0 1 1 1 1 0 1 0 0 1 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 0 1 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 0 1 0 0 1 1 1 1 0 1 0 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 0 0 1 1 1 1 0 1 0 0 1 1 1 1 0 1 0 0 1 1 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 0 1 0 1 1 1 1 0 0 1 0 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 0 0 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 1 1 0 1 0 0 1 1 1 1 0 1 0 0 1 1 1 1 0 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 1 0 0 1 1 1 1 0 1 0 0 1 1 1 1 0 1 0 1 1 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 0 0 0 1 1 1 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 1 1 0 0 1 0 1 1 1 1 0 0 1 0 1 1 1 1 0 0 1 0 1 1 1 1 0 0 1 0 1 1 1 1 0 0 1 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 256 256 </values>
22.70/16.88	v </instantiation>

OK	

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282180-1503122825/watcher-4282180-1503122825 -o /tmp/evaluation-result-4282180-1503122825/solver-4282180-1503122825 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node131-1503095854-18172 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1041223420 HOME/instance-4282180-1503122825.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=23867, runsolver pid=23864

[startup+0.100175 s]*
/proc/loadavg: 1.60 1.66 1.74 3/198 23869
/proc/meminfo: memFree=31611276/32770624 swapFree=67108860/67108860
[pid=23867] ppid=23864 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23867/stat : 23867 (xcsp3-exec) S 23864 23867 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 10689561 9740288 345 18446744073709551615 4194304 5098028 140725541593424 140725541591528 140189890499196 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 25866240 140725541601657 140725541601862 140725541601862 140725541605355 0
/proc/23867/statm: 2378 345 289 221 0 87 0
[pid=23869] ppid=23867 vsize=11659680 memory=9816 CPUtime=0 cores=1,3,5,7
/proc/23869/stat : 23869 (java) S 23867 23867 18108 0 -1 1077944320 2189 0 0 0 0 0 0 0 20 0 4 0 10689571 11939512320 2388 18446744073709551615 4194304 4196468 140731206740448 140731206722992 139906838220535 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
/proc/23869/statm: 2915177 2454 1162 1 0 2905147 0
[pid=23869/tid=23870] ppid=23867 vsize=11661736 memory=-8713483618642590044 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23870/stat : 23870 (java) R 23867 23867 18108 0 -1 1077944384 960 0 0 0 0 0 0 0 20 0 6 0 10689571 11941617664 2454 18446744073709551615 4194304 4196468 140731206740448 139906842461904 139906838230741 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23871] ppid=23867 vsize=11661736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23871/stat : 23871 (java) R 23867 23867 18108 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 6 0 10689572 11941617664 2454 18446744073709551615 4194304 4196468 140731206740448 139906757634912 139906838230741 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23872] ppid=23867 vsize=12211204 memory=140510006478464 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23872/stat : 23872 (java) R 23867 23867 18108 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 6 0 10689572 12504272896 2454 18446744073709551615 4194304 4196468 140731206740448 139906756581512 139906830937639 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23873] ppid=23867 vsize=12233204 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23873/stat : 23873 (java) R 23867 23867 18108 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 6 0 10689572 12526800896 2468 18446744073709551615 4194304 4196468 140731206740448 139906755528456 139906830937498 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23874] ppid=23867 vsize=12364276 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23874/stat : 23874 (java) R 23867 23867 18108 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 6 0 10689572 12661018624 2468 18446744073709551615 4194304 4196468 140731206740448 139906754475960 139906830448355 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 11669192 KiB
Current children cumulated memory: 11196 KiB

[startup+0.209878 s]*
/proc/loadavg: 1.60 1.66 1.74 3/212 23883
/proc/meminfo: memFree=31598940/32770624 swapFree=67108860/67108860
[pid=23867] ppid=23864 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23867/stat : 23867 (xcsp3-exec) S 23864 23867 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 10689561 9740288 345 18446744073709551615 4194304 5098028 140725541593424 140725541591528 140189890499196 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 25866240 140725541601657 140725541601862 140725541601862 140725541605355 0
/proc/23867/statm: 2378 345 289 221 0 87 0
[pid=23869] ppid=23867 vsize=13974352 memory=25068 CPUtime=0.07 cores=1,3,5,7
/proc/23869/stat : 23869 (java) S 23867 23867 18108 0 -1 1077944320 5170 0 0 0 6 1 0 0 20 0 15 0 10689571 14309736448 6267 18446744073709551615 4194304 4196468 140731206740448 140731206722992 139906838220535 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
/proc/23869/statm: 3493588 6267 2728 1 0 3482964 0
[pid=23869/tid=23870] ppid=23867 vsize=13974352 memory=-6871798056524144002 CPUtime=0.06 cores=1,3,5,7
/proc/23869/task/23870/stat : 23870 (java) R 23867 23867 18108 0 -1 4202560 3340 0 0 0 5 1 0 0 20 0 15 0 10689571 14309736448 6267 18446744073709551615 4194304 4196468 140731206740448 139906842446224 139906824453421 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23871] ppid=23867 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23871/stat : 23871 (java) S 23867 23867 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10689572 14309736448 6267 18446744073709551615 4194304 4196468 140731206740448 139906757634576 139906838230741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23872] ppid=23867 vsize=13974352 memory=140510006478464 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23872/stat : 23872 (java) S 23867 23867 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10689572 14309736448 6267 18446744073709551615 4194304 4196468 140731206740448 139906756582032 139906838230741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23873] ppid=23867 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23873/stat : 23873 (java) S 23867 23867 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10689572 14309736448 6267 18446744073709551615 4194304 4196468 140731206740448 139906755528976 139906838230741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23874] ppid=23867 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23874/stat : 23874 (java) S 23867 23867 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10689572 14309736448 6267 18446744073709551615 4194304 4196468 140731206740448 139906754476432 139906838230741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23875] ppid=23867 vsize=13974352 memory=140510006478464 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23875/stat : 23875 (java) S 23867 23867 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10689573 14309736448 6267 18446744073709551615 4194304 4196468 140731206740448 139906023500528 139906838231682 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23876] ppid=23867 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23876/stat : 23876 (java) S 23867 23867 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10689573 14309736448 6267 18446744073709551615 4194304 4196468 140731206740448 139906022446752 139906838230741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23877] ppid=23867 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23877/stat : 23877 (java) S 23867 23867 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10689574 14309736448 6267 18446744073709551615 4194304 4196468 140731206740448 139906021393648 139906838230741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23878] ppid=23867 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23878/stat : 23878 (java) S 23867 23867 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10689576 14309736448 6267 18446744073709551615 4194304 4196468 140731206740448 139906020342224 139906838239131 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23879] ppid=23867 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23879/stat : 23879 (java) S 23867 23867 18108 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 10689576 14309736448 6267 18446744073709551615 4194304 4196468 140731206740448 139906019289328 139906838231682 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23880] ppid=23867 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23880/stat : 23880 (java) S 23867 23867 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10689576 14309736448 6267 18446744073709551615 4194304 4196468 140731206740448 139906018236784 139906838231682 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23881] ppid=23867 vsize=13974352 memory=140510006478464 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23881/stat : 23881 (java) S 23867 23867 18108 0 -1 1077944384 234 0 0 0 0 0 0 0 20 0 15 0 10689576 14309736448 6267 18446744073709551615 4194304 4196468 140731206740448 139906017183728 139906838231682 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23882] ppid=23867 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23882/stat : 23882 (java) S 23867 23867 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10689576 14309736448 6267 18446744073709551615 4194304 4196468 140731206740448 139906016131424 139906838230741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23883] ppid=23867 vsize=13974352 memory=140510006478464 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23883/stat : 23883 (java) S 23867 23867 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10689581 14309736448 6267 18446744073709551615 4194304 4196468 140731206740448 139906015079472 139906838231682 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 26448 KiB

[startup+0.310281 s]*
/proc/loadavg: 1.60 1.66 1.74 3/212 23883
/proc/meminfo: memFree=31583664/32770624 swapFree=67108860/67108860
[pid=23867] ppid=23864 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23867/stat : 23867 (xcsp3-exec) S 23864 23867 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 10689561 9740288 345 18446744073709551615 4194304 5098028 140725541593424 140725541591528 140189890499196 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 25866240 140725541601657 140725541601862 140725541601862 140725541605355 0
/proc/23867/statm: 2378 345 289 221 0 87 0
[pid=23869] ppid=23867 vsize=13974352 memory=37212 CPUtime=0.27 cores=1,3,5,7
/proc/23869/stat : 23869 (java) S 23867 23867 18108 0 -1 1077944320 8900 0 0 0 24 3 0 0 20 0 15 0 10689571 14309736448 9303 18446744073709551615 4194304 4196468 140731206740448 140731206722992 139906838220535 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
/proc/23869/statm: 3493588 9303 2981 1 0 3482964 0
[pid=23869/tid=23870] ppid=23867 vsize=13974352 memory=-8774313645642428999 CPUtime=0.16 cores=1,3,5,7
/proc/23869/task/23870/stat : 23870 (java) R 23867 23867 18108 0 -1 4202560 6094 0 0 0 14 2 0 0 20 0 15 0 10689571 14309736448 9303 18446744073709551615 4194304 4196468 140731206740448 139906842454464 139906822301022 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23871] ppid=23867 vsize=13974352 memory=140510006485457 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23871/stat : 23871 (java) S 23867 23867 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10689572 14309736448 9303 18446744073709551615 4194304 4196468 140731206740448 139906757634576 139906838230741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23872] ppid=23867 vsize=13974352 memory=7012483300278037349 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23872/stat : 23872 (java) S 23867 23867 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10689572 14309736448 9303 18446744073709551615 4194304 4196468 140731206740448 139906756582032 139906838230741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23873] ppid=23867 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23873/stat : 23873 (java) S 23867 23867 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10689572 14309736448 9303 18446744073709551615 4194304 4196468 140731206740448 139906755528976 139906838230741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23874] ppid=23867 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23874/stat : 23874 (java) S 23867 23867 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10689572 14309736448 9303 18446744073709551615 4194304 4196468 140731206740448 139906754476432 139906838230741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23875] ppid=23867 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23875/stat : 23875 (java) S 23867 23867 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10689573 14309736448 9303 18446744073709551615 4194304 4196468 140731206740448 139906023500528 139906838231682 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23876] ppid=23867 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23876/stat : 23876 (java) S 23867 23867 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10689573 14309736448 9303 18446744073709551615 4194304 4196468 140731206740448 139906022446752 139906838230741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23877] ppid=23867 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23877/stat : 23877 (java) S 23867 23867 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10689574 14309736448 9303 18446744073709551615 4194304 4196468 140731206740448 139906021393648 139906838230741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23878] ppid=23867 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23878/stat : 23878 (java) S 23867 23867 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10689576 14309736448 9303 18446744073709551615 4194304 4196468 140731206740448 139906020342224 139906838239131 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23879] ppid=23867 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/23869/task/23879/stat : 23879 (java) S 23867 23867 18108 0 -1 1077944384 449 0 0 0 2 0 0 0 20 0 15 0 10689576 14309736448 9303 18446744073709551615 4194304 4196468 140731206740448 139906019289328 139906838231682 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23880] ppid=23867 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/23869/task/23880/stat : 23880 (java) S 23867 23867 18108 0 -1 1077944384 341 0 0 0 1 0 0 0 20 0 15 0 10689576 14309736448 9303 18446744073709551615 4194304 4196468 140731206740448 139906018236784 139906838231682 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23881] ppid=23867 vsize=13974352 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/23869/task/23881/stat : 23881 (java) R 23867 23867 18108 0 -1 4202560 711 0 0 0 5 0 0 0 20 0 15 0 10689576 14309736448 9303 18446744073709551615 4194304 4196468 140731206740448 139906017183648 139906838241882 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23882] ppid=23867 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23882/stat : 23882 (java) S 23867 23867 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10689576 14309736448 9303 18446744073709551615 4194304 4196468 140731206740448 139906016131424 139906838230741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23883] ppid=23867 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23883/stat : 23883 (java) S 23867 23867 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10689581 14309736448 9303 18446744073709551615 4194304 4196468 140731206740448 139906015079472 139906838231682 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38592 KiB

[startup+0.700833 s]
/proc/loadavg: 1.60 1.66 1.74 5/212 23883
/proc/meminfo: memFree=31566684/32770624 swapFree=67108860/67108860
[pid=23867] ppid=23864 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23867/stat : 23867 (xcsp3-exec) S 23864 23867 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 10689561 9740288 345 18446744073709551615 4194304 5098028 140725541593424 140725541591528 140189890499196 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 25866240 140725541601657 140725541601862 140725541601862 140725541605355 0
/proc/23867/statm: 2378 345 289 221 0 87 0
[pid=23869] ppid=23867 vsize=13978684 memory=80268 CPUtime=1.34 cores=1,3,5,7
/proc/23869/stat : 23869 (java) S 23867 23867 18108 0 -1 1077944320 13227 0 0 0 129 5 0 0 20 0 15 0 10689571 14314172416 20067 18446744073709551615 4194304 4196468 140731206740448 140731206722992 139906838220535 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
/proc/23869/statm: 3494671 20067 3168 1 0 3482964 0
[pid=23869/tid=23870] ppid=23867 vsize=13978684 memory=7813587196152198965 CPUtime=0.54 cores=1,3,5,7
/proc/23869/task/23870/stat : 23870 (java) R 23867 23867 18108 0 -1 4202560 7912 0 0 0 51 3 0 0 20 0 15 0 10689571 14314172416 20067 18446744073709551615 4194304 4196468 140731206740448 139906842453376 139906432497876 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23871] ppid=23867 vsize=13978684 memory=5787220505754035008 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23871/stat : 23871 (java) S 23867 23867 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10689572 14314172416 20067 18446744073709551615 4194304 4196468 140731206740448 139906757634576 139906838230741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23872] ppid=23867 vsize=13978684 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23872/stat : 23872 (java) S 23867 23867 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10689572 14314172416 20067 18446744073709551615 4194304 4196468 140731206740448 139906756582032 139906838230741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23873] ppid=23867 vsize=13978684 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23873/stat : 23873 (java) S 23867 23867 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10689572 14314172416 20067 18446744073709551615 4194304 4196468 140731206740448 139906755528976 139906838230741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23874] ppid=23867 vsize=13978684 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23874/stat : 23874 (java) S 23867 23867 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10689572 14314172416 20067 18446744073709551615 4194304 4196468 140731206740448 139906754476432 139906838230741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23875] ppid=23867 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23875/stat : 23875 (java) S 23867 23867 18108 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 10689573 14314172416 20067 18446744073709551615 4194304 4196468 140731206740448 139906023500528 139906838231682 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23876] ppid=23867 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23876/stat : 23876 (java) S 23867 23867 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10689573 14314172416 20067 18446744073709551615 4194304 4196468 140731206740448 139906022446752 139906838230741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23877] ppid=23867 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23877/stat : 23877 (java) S 23867 23867 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10689574 14314172416 20067 18446744073709551615 4194304 4196468 140731206740448 139906021393648 139906838230741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23878] ppid=23867 vsize=13978684 memory=30305 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23878/stat : 23878 (java) S 23867 23867 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10689576 14314172416 20067 18446744073709551615 4194304 4196468 140731206740448 139906020342224 139906838239131 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23879] ppid=23867 vsize=13978684 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/23869/task/23879/stat : 23879 (java) R 23867 23867 18108 0 -1 4202560 1401 0 0 0 24 0 0 0 20 0 15 0 10689576 14314172416 20579 18446744073709551615 4194304 4196468 140731206740448 139906019277680 139906816457221 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23880] ppid=23867 vsize=13978684 memory=-3967418655009478193 CPUtime=0.23 cores=1,3,5,7
/proc/23869/task/23880/stat : 23880 (java) R 23867 23867 18108 0 -1 4202560 1054 0 0 0 23 0 0 0 20 0 15 0 10689576 14314172416 20579 18446744073709551615 4194304 4196468 140731206740448 139906018235680 139906821607246 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23881] ppid=23867 vsize=13978684 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/23869/task/23881/stat : 23881 (java) R 23867 23867 18108 0 -1 1077944384 1551 0 0 0 30 0 0 0 20 0 15 0 10689576 14314172416 20579 18446744073709551615 4194304 4196468 140731206740448 139906017183728 139906838231682 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23882] ppid=23867 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23882/stat : 23882 (java) S 23867 23867 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10689576 14314172416 20579 18446744073709551615 4194304 4196468 140731206740448 139906016131424 139906838230741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23883] ppid=23867 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23883/stat : 23883 (java) S 23867 23867 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10689581 14314172416 20579 18446744073709551615 4194304 4196468 140731206740448 139906015079472 139906838231682 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
Current children cumulated CPU time: 1.34 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 81648 KiB

[startup+1.50073 s]
/proc/loadavg: 1.87 1.71 1.76 5/212 23883
/proc/meminfo: memFree=31498676/32770624 swapFree=67108860/67108860
[pid=23867] ppid=23864 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23867/stat : 23867 (xcsp3-exec) S 23864 23867 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 10689561 9740288 345 18446744073709551615 4194304 5098028 140725541593424 140725541591528 140189890499196 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 25866240 140725541601657 140725541601862 140725541601862 140725541605355 0
/proc/23867/statm: 2378 345 289 221 0 87 0
[pid=23869] ppid=23867 vsize=13980732 memory=183636 CPUtime=3.95 cores=1,3,5,7
/proc/23869/stat : 23869 (java) S 23867 23867 18108 0 -1 1077944320 20351 0 0 0 388 7 0 0 20 0 15 0 10689571 14316269568 45909 18446744073709551615 4194304 4196468 140731206740448 140731206722992 139906838220535 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
/proc/23869/statm: 3495183 45909 3199 1 0 3483476 0
[pid=23869/tid=23870] ppid=23867 vsize=13980732 memory=0 CPUtime=1.33 cores=1,3,5,7
/proc/23869/task/23870/stat : 23870 (java) R 23867 23867 18108 0 -1 4202560 9729 0 0 0 129 4 0 0 20 0 15 0 10689571 14316269568 45909 18446744073709551615 4194304 4196468 140731206740448 139906842459168 139906428992144 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23871] ppid=23867 vsize=13980732 memory=4498716170645055337 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23871/stat : 23871 (java) S 23867 23867 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10689572 14316269568 45909 18446744073709551615 4194304 4196468 140731206740448 139906757634576 139906838230741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23872] ppid=23867 vsize=13980732 memory=5793152375718504497 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23872/stat : 23872 (java) S 23867 23867 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10689572 14316269568 45909 18446744073709551615 4194304 4196468 140731206740448 139906756582032 139906838230741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23873] ppid=23867 vsize=13980732 memory=7595155215274829856 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23873/stat : 23873 (java) S 23867 23867 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10689572 14316269568 45909 18446744073709551615 4194304 4196468 140731206740448 139906755528976 139906838230741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23874] ppid=23867 vsize=13980732 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23874/stat : 23874 (java) S 23867 23867 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10689572 14316269568 45909 18446744073709551615 4194304 4196468 140731206740448 139906754476432 139906838230741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23875] ppid=23867 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23875/stat : 23875 (java) S 23867 23867 18108 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 10689573 14316269568 45909 18446744073709551615 4194304 4196468 140731206740448 139906023500528 139906838231682 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23876] ppid=23867 vsize=13980732 memory=140509855334528 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23876/stat : 23876 (java) S 23867 23867 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10689573 14316269568 45909 18446744073709551615 4194304 4196468 140731206740448 139906022446752 139906838230741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23877] ppid=23867 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7

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

/proc/23867/stat : 23867 (xcsp3-exec) S 23864 23867 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 10689561 9740288 345 18446744073709551615 4194304 5098028 140725541593424 140725541591528 140189890499196 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 25866240 140725541601657 140725541601862 140725541601862 140725541605355 0
/proc/23867/statm: 2378 345 289 221 0 87 0
[pid=23869] ppid=23867 vsize=13980732 memory=394580 CPUtime=20.26 cores=1,3,5,7
/proc/23869/stat : 23869 (java) S 23867 23867 18108 0 -1 1077944320 32826 0 0 0 2005 21 0 0 20 0 15 0 10689571 14316269568 98645 18446744073709551615 4194304 4196468 140731206740448 140731206722992 139906838220535 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
/proc/23869/statm: 3495183 98645 3233 1 0 3483476 0
[pid=23869/tid=23870] ppid=23867 vsize=13980732 memory=9208 CPUtime=14.15 cores=1,3,5,7
/proc/23869/task/23870/stat : 23870 (java) R 23867 23867 18108 0 -1 4202560 11766 0 0 0 1409 6 0 0 20 0 15 0 10689571 14316269568 98645 18446744073709551615 4194304 4196468 140731206740448 139906842459736 139906436351018 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23871] ppid=23867 vsize=13980732 memory=-8774313645642428999 CPUtime=0.06 cores=1,3,5,7
/proc/23869/task/23871/stat : 23871 (java) S 23867 23867 18108 0 -1 1077944384 1217 0 0 0 4 2 0 0 20 0 15 0 10689572 14316269568 98645 18446744073709551615 4194304 4196468 140731206740448 139906757634576 139906838230741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23872] ppid=23867 vsize=13980732 memory=394580 CPUtime=0.05 cores=1,3,5,7
/proc/23869/task/23872/stat : 23872 (java) S 23867 23867 18108 0 -1 1077944384 168 0 0 0 3 2 0 0 20 0 15 0 10689572 14316269568 98645 18446744073709551615 4194304 4196468 140731206740448 139906756582032 139906838230741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23873] ppid=23867 vsize=13980732 memory=15876 CPUtime=0.06 cores=1,3,5,7
/proc/23869/task/23873/stat : 23873 (java) S 23867 23867 18108 0 -1 1077944384 1222 0 0 0 4 2 0 0 20 0 15 0 10689572 14316269568 98645 18446744073709551615 4194304 4196468 140731206740448 139906755528976 139906838230741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23874] ppid=23867 vsize=13980732 memory=6264 CPUtime=0.06 cores=1,3,5,7
/proc/23869/task/23874/stat : 23874 (java) S 23867 23867 18108 0 -1 1077944384 343 0 0 0 4 2 0 0 20 0 15 0 10689572 14316269568 98645 18446744073709551615 4194304 4196468 140731206740448 139906754476432 139906838230741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23875] ppid=23867 vsize=13980732 memory=18488 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23875/stat : 23875 (java) S 23867 23867 18108 0 -1 1077944384 564 0 0 0 0 0 0 0 20 0 15 0 10689573 14316269568 98645 18446744073709551615 4194304 4196468 140731206740448 139906023500528 139906838231682 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23876] ppid=23867 vsize=13980732 memory=9208 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23876/stat : 23876 (java) S 23867 23867 18108 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 10689573 14316269568 98645 18446744073709551615 4194304 4196468 140731206740448 139906022446816 139906838230741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23877] ppid=23867 vsize=13980732 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23877/stat : 23877 (java) S 23867 23867 18108 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 10689574 14316269568 98645 18446744073709551615 4194304 4196468 140731206740448 139906021393664 139906838230741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23878] ppid=23867 vsize=13980732 memory=2436 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23878/stat : 23878 (java) S 23867 23867 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10689576 14316269568 98645 18446744073709551615 4194304 4196468 140731206740448 139906020342224 139906838239131 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23879] ppid=23867 vsize=13980732 memory=1732 CPUtime=2.46 cores=1,3,5,7
/proc/23869/task/23879/stat : 23879 (java) S 23867 23867 18108 0 -1 1077944384 5894 0 0 0 246 0 0 0 20 0 15 0 10689576 14316269568 98645 18446744073709551615 4194304 4196468 140731206740448 139906019289328 139906838231682 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23880] ppid=23867 vsize=13980732 memory=2004 CPUtime=2.53 cores=1,3,5,7
/proc/23869/task/23880/stat : 23880 (java) S 23867 23867 18108 0 -1 1077944384 4964 0 0 0 252 1 0 0 20 0 15 0 10689576 14316269568 98645 18446744073709551615 4194304 4196468 140731206740448 139906018236784 139906838231682 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23881] ppid=23867 vsize=13980732 memory=10936 CPUtime=0.79 cores=1,3,5,7
/proc/23869/task/23881/stat : 23881 (java) S 23867 23867 18108 0 -1 1077944384 5211 0 0 0 78 1 0 0 20 0 15 0 10689576 14316269568 98645 18446744073709551615 4194304 4196468 140731206740448 139906017183728 139906838231682 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23882] ppid=23867 vsize=13980732 memory=1700 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23882/stat : 23882 (java) S 23867 23867 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10689576 14316269568 98645 18446744073709551615 4194304 4196468 140731206740448 139906016131424 139906838230741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23883] ppid=23867 vsize=13980732 memory=5408 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23883/stat : 23883 (java) S 23867 23867 18108 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 15 0 10689581 14316269568 98645 18446744073709551615 4194304 4196468 140731206740448 139906015079472 139906838231682 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
Current children cumulated CPU time: 20.26 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 395960 KiB

[startup+16.0008 s]*
/proc/loadavg: 1.90 1.73 1.76 3/212 23883
/proc/meminfo: memFree=31245696/32770624 swapFree=67108860/67108860
[pid=23867] ppid=23864 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23867/stat : 23867 (xcsp3-exec) S 23864 23867 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 10689561 9740288 345 18446744073709551615 4194304 5098028 140725541593424 140725541591528 140189890499196 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 25866240 140725541601657 140725541601862 140725541601862 140725541605355 0
/proc/23867/statm: 2378 345 289 221 0 87 0
[pid=23869] ppid=23867 vsize=13980732 memory=376140 CPUtime=21.91 cores=1,3,5,7
/proc/23869/stat : 23869 (java) S 23867 23867 18108 0 -1 1077944320 33077 0 0 0 2170 21 0 0 20 0 15 0 10689571 14316269568 94035 18446744073709551615 4194304 4196468 140731206740448 140731206722992 139906838220535 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
/proc/23869/statm: 3495183 94035 3233 1 0 3483476 0
[pid=23869/tid=23870] ppid=23867 vsize=13980732 memory=-8774313645642428999 CPUtime=15.74 cores=1,3,5,7
/proc/23869/task/23870/stat : 23870 (java) R 23867 23867 18108 0 -1 4202560 11961 0 0 0 1568 6 0 0 20 0 15 0 10689571 14316269568 94035 18446744073709551615 4194304 4196468 140731206740448 139906842459520 139906436351246 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23871] ppid=23867 vsize=13980732 memory=51 CPUtime=0.07 cores=1,3,5,7
/proc/23869/task/23871/stat : 23871 (java) S 23867 23867 18108 0 -1 1077944384 1241 0 0 0 5 2 0 0 20 0 15 0 10689572 14316269568 94035 18446744073709551615 4194304 4196468 140731206740448 139906757634576 139906838230741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23872] ppid=23867 vsize=13980732 memory=69 CPUtime=0.06 cores=1,3,5,7
/proc/23869/task/23872/stat : 23872 (java) S 23867 23867 18108 0 -1 1077944384 169 0 0 0 4 2 0 0 20 0 15 0 10689572 14316269568 94035 18446744073709551615 4194304 4196468 140731206740448 139906756582032 139906838230741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23873] ppid=23867 vsize=13980732 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23869/task/23873/stat : 23873 (java) S 23867 23867 18108 0 -1 1077944384 1229 0 0 0 5 2 0 0 20 0 15 0 10689572 14316269568 94035 18446744073709551615 4194304 4196468 140731206740448 139906755528976 139906838230741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23874] ppid=23867 vsize=13980732 memory=53 CPUtime=0.07 cores=1,3,5,7
/proc/23869/task/23874/stat : 23874 (java) S 23867 23867 18108 0 -1 1077944384 363 0 0 0 5 2 0 0 20 0 15 0 10689572 14316269568 94035 18446744073709551615 4194304 4196468 140731206740448 139906754476432 139906838230741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23875] ppid=23867 vsize=13980732 memory=367 CPUtime=0.01 cores=1,3,5,7
/proc/23869/task/23875/stat : 23875 (java) S 23867 23867 18108 0 -1 1077944384 564 0 0 0 1 0 0 0 20 0 15 0 10689573 14316269568 94035 18446744073709551615 4194304 4196468 140731206740448 139906023500528 139906838231682 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23876] ppid=23867 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23876/stat : 23876 (java) S 23867 23867 18108 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 10689573 14316269568 94035 18446744073709551615 4194304 4196468 140731206740448 139906022446816 139906838230741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23877] ppid=23867 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23877/stat : 23877 (java) S 23867 23867 18108 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 10689574 14316269568 94035 18446744073709551615 4194304 4196468 140731206740448 139906021393664 139906838230741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23878] ppid=23867 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23878/stat : 23878 (java) S 23867 23867 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10689576 14316269568 94035 18446744073709551615 4194304 4196468 140731206740448 139906020342224 139906838239131 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23879] ppid=23867 vsize=13980732 memory=0 CPUtime=2.47 cores=1,3,5,7
/proc/23869/task/23879/stat : 23879 (java) S 23867 23867 18108 0 -1 1077944384 5897 0 0 0 247 0 0 0 20 0 15 0 10689576 14316269568 94035 18446744073709551615 4194304 4196468 140731206740448 139906019289328 139906838231682 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23880] ppid=23867 vsize=13980732 memory=1380 CPUtime=2.53 cores=1,3,5,7
/proc/23869/task/23880/stat : 23880 (java) S 23867 23867 18108 0 -1 1077944384 4964 0 0 0 252 1 0 0 20 0 15 0 10689576 14316269568 94035 18446744073709551615 4194304 4196468 140731206740448 139906018236784 139906838231682 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23881] ppid=23867 vsize=13980732 memory=394580 CPUtime=0.79 cores=1,3,5,7
/proc/23869/task/23881/stat : 23881 (java) S 23867 23867 18108 0 -1 1077944384 5212 0 0 0 78 1 0 0 20 0 15 0 10689576 14316269568 94035 18446744073709551615 4194304 4196468 140731206740448 139906017183728 139906838231682 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23882] ppid=23867 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23882/stat : 23882 (java) S 23867 23867 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10689576 14316269568 94035 18446744073709551615 4194304 4196468 140731206740448 139906016131424 139906838230741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23883] ppid=23867 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23883/stat : 23883 (java) S 23867 23867 18108 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 15 0 10689581 14316269568 94035 18446744073709551615 4194304 4196468 140731206740448 139906015079472 139906838231682 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
Current children cumulated CPU time: 21.91 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 377520 KiB

[startup+16.4008 s]
/proc/loadavg: 1.90 1.73 1.76 3/212 23883
/proc/meminfo: memFree=31245696/32770624 swapFree=67108860/67108860
[pid=23867] ppid=23864 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23867/stat : 23867 (xcsp3-exec) S 23864 23867 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 10689561 9740288 345 18446744073709551615 4194304 5098028 140725541593424 140725541591528 140189890499196 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 25866240 140725541601657 140725541601862 140725541601862 140725541605355 0
/proc/23867/statm: 2378 345 289 221 0 87 0
[pid=23869] ppid=23867 vsize=13980732 memory=376140 CPUtime=22.3 cores=1,3,5,7
/proc/23869/stat : 23869 (java) S 23867 23867 18108 0 -1 1077944320 33094 0 0 0 2209 21 0 0 20 0 15 0 10689571 14316269568 94035 18446744073709551615 4194304 4196468 140731206740448 140731206722992 139906838220535 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
/proc/23869/statm: 3495183 94035 3233 1 0 3483476 0
[pid=23869/tid=23870] ppid=23867 vsize=13980732 memory=2820 CPUtime=16.13 cores=1,3,5,7
/proc/23869/task/23870/stat : 23870 (java) R 23867 23867 18108 0 -1 4202560 11978 0 0 0 1607 6 0 0 20 0 15 0 10689571 14316269568 94035 18446744073709551615 4194304 4196468 140731206740448 139906842459520 139906436349729 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23871] ppid=23867 vsize=13980732 memory=4072 CPUtime=0.07 cores=1,3,5,7
/proc/23869/task/23871/stat : 23871 (java) S 23867 23867 18108 0 -1 1077944384 1241 0 0 0 5 2 0 0 20 0 15 0 10689572 14316269568 94035 18446744073709551615 4194304 4196468 140731206740448 139906757634576 139906838230741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23872] ppid=23867 vsize=13980732 memory=1152 CPUtime=0.06 cores=1,3,5,7
/proc/23869/task/23872/stat : 23872 (java) S 23867 23867 18108 0 -1 1077944384 169 0 0 0 4 2 0 0 20 0 15 0 10689572 14316269568 94035 18446744073709551615 4194304 4196468 140731206740448 139906756582032 139906838230741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23873] ppid=23867 vsize=13980732 memory=3296 CPUtime=0.07 cores=1,3,5,7
/proc/23869/task/23873/stat : 23873 (java) S 23867 23867 18108 0 -1 1077944384 1229 0 0 0 5 2 0 0 20 0 15 0 10689572 14316269568 94035 18446744073709551615 4194304 4196468 140731206740448 139906755528976 139906838230741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23874] ppid=23867 vsize=13980732 memory=1376 CPUtime=0.07 cores=1,3,5,7
/proc/23869/task/23874/stat : 23874 (java) S 23867 23867 18108 0 -1 1077944384 363 0 0 0 5 2 0 0 20 0 15 0 10689572 14316269568 94035 18446744073709551615 4194304 4196468 140731206740448 139906754476432 139906838230741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23875] ppid=23867 vsize=13980732 memory=153880 CPUtime=0.01 cores=1,3,5,7
/proc/23869/task/23875/stat : 23875 (java) S 23867 23867 18108 0 -1 1077944384 564 0 0 0 1 0 0 0 20 0 15 0 10689573 14316269568 94035 18446744073709551615 4194304 4196468 140731206740448 139906023500528 139906838231682 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23876] ppid=23867 vsize=13980732 memory=1156 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23876/stat : 23876 (java) S 23867 23867 18108 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 10689573 14316269568 94035 18446744073709551615 4194304 4196468 140731206740448 139906022446816 139906838230741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23877] ppid=23867 vsize=13980732 memory=2648 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23877/stat : 23877 (java) S 23867 23867 18108 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 10689574 14316269568 94035 18446744073709551615 4194304 4196468 140731206740448 139906021393664 139906838230741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23878] ppid=23867 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23878/stat : 23878 (java) S 23867 23867 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10689576 14316269568 94035 18446744073709551615 4194304 4196468 140731206740448 139906020342224 139906838239131 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23879] ppid=23867 vsize=13980732 memory=394580 CPUtime=2.47 cores=1,3,5,7
/proc/23869/task/23879/stat : 23879 (java) S 23867 23867 18108 0 -1 1077944384 5897 0 0 0 247 0 0 0 20 0 15 0 10689576 14316269568 94035 18446744073709551615 4194304 4196468 140731206740448 139906019289328 139906838231682 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23880] ppid=23867 vsize=13980732 memory=-8774313645642428999 CPUtime=2.53 cores=1,3,5,7
/proc/23869/task/23880/stat : 23880 (java) S 23867 23867 18108 0 -1 1077944384 4964 0 0 0 252 1 0 0 20 0 15 0 10689576 14316269568 94035 18446744073709551615 4194304 4196468 140731206740448 139906018236784 139906838231682 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23881] ppid=23867 vsize=13980732 memory=288230574492221466 CPUtime=0.79 cores=1,3,5,7
/proc/23869/task/23881/stat : 23881 (java) S 23867 23867 18108 0 -1 1077944384 5212 0 0 0 78 1 0 0 20 0 15 0 10689576 14316269568 94035 18446744073709551615 4194304 4196468 140731206740448 139906017183728 139906838231682 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23882] ppid=23867 vsize=13980732 memory=288230604624101684 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23882/stat : 23882 (java) S 23867 23867 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10689576 14316269568 94035 18446744073709551615 4194304 4196468 140731206740448 139906016131424 139906838230741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23883] ppid=23867 vsize=13980732 memory=13573678025672028 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23883/stat : 23883 (java) S 23867 23867 18108 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 15 0 10689581 14316269568 94035 18446744073709551615 4194304 4196468 140731206740448 139906015079472 139906838231682 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
Current children cumulated CPU time: 22.3 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 377520 KiB

[startup+16.8008 s]
/proc/loadavg: 1.90 1.73 1.76 3/212 23883
/proc/meminfo: memFree=31245696/32770624 swapFree=67108860/67108860
[pid=23867] ppid=23864 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23867/stat : 23867 (xcsp3-exec) S 23864 23867 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 10689561 9740288 345 18446744073709551615 4194304 5098028 140725541593424 140725541591528 140189890499196 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 25866240 140725541601657 140725541601862 140725541601862 140725541605355 0
/proc/23867/statm: 2378 345 289 221 0 87 0
[pid=23869] ppid=23867 vsize=13980732 memory=376140 CPUtime=22.7 cores=1,3,5,7
/proc/23869/stat : 23869 (java) S 23867 23867 18108 0 -1 1077944320 33102 0 0 0 2249 21 0 0 20 0 15 0 10689571 14316269568 94035 18446744073709551615 4194304 4196468 140731206740448 140731206722992 139906838220535 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
/proc/23869/statm: 3495183 94035 3233 1 0 3483476 0
[pid=23869/tid=23870] ppid=23867 vsize=13980732 memory=-8774313645642428999 CPUtime=16.53 cores=1,3,5,7
/proc/23869/task/23870/stat : 23870 (java) R 23867 23867 18108 0 -1 4202560 11986 0 0 0 1647 6 0 0 20 0 15 0 10689571 14316269568 94035 18446744073709551615 4194304 4196468 140731206740448 139906842459408 139906436351023 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23871] ppid=23867 vsize=13980732 memory=394584 CPUtime=0.07 cores=1,3,5,7
/proc/23869/task/23871/stat : 23871 (java) S 23867 23867 18108 0 -1 1077944384 1241 0 0 0 5 2 0 0 20 0 15 0 10689572 14316269568 94035 18446744073709551615 4194304 4196468 140731206740448 139906757634576 139906838230741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23872] ppid=23867 vsize=13980732 memory=792 CPUtime=0.06 cores=1,3,5,7
/proc/23869/task/23872/stat : 23872 (java) S 23867 23867 18108 0 -1 1077944384 169 0 0 0 4 2 0 0 20 0 15 0 10689572 14316269568 94035 18446744073709551615 4194304 4196468 140731206740448 139906756582032 139906838230741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23873] ppid=23867 vsize=13980732 memory=1440 CPUtime=0.07 cores=1,3,5,7
/proc/23869/task/23873/stat : 23873 (java) S 23867 23867 18108 0 -1 1077944384 1229 0 0 0 5 2 0 0 20 0 15 0 10689572 14316269568 94035 18446744073709551615 4194304 4196468 140731206740448 139906755528976 139906838230741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23874] ppid=23867 vsize=13980732 memory=4616 CPUtime=0.07 cores=1,3,5,7
/proc/23869/task/23874/stat : 23874 (java) S 23867 23867 18108 0 -1 1077944384 363 0 0 0 5 2 0 0 20 0 15 0 10689572 14316269568 94035 18446744073709551615 4194304 4196468 140731206740448 139906754476432 139906838230741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23875] ppid=23867 vsize=13980732 memory=1380 CPUtime=0.01 cores=1,3,5,7
/proc/23869/task/23875/stat : 23875 (java) S 23867 23867 18108 0 -1 1077944384 564 0 0 0 1 0 0 0 20 0 15 0 10689573 14316269568 94035 18446744073709551615 4194304 4196468 140731206740448 139906023500528 139906838231682 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23876] ppid=23867 vsize=13980732 memory=376140 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23876/stat : 23876 (java) S 23867 23867 18108 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 10689573 14316269568 94035 18446744073709551615 4194304 4196468 140731206740448 139906022446816 139906838230741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23877] ppid=23867 vsize=13980732 memory=10936 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23877/stat : 23877 (java) S 23867 23867 18108 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 10689574 14316269568 94035 18446744073709551615 4194304 4196468 140731206740448 139906021393664 139906838230741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23878] ppid=23867 vsize=13980732 memory=1700 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23878/stat : 23878 (java) S 23867 23867 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10689576 14316269568 94035 18446744073709551615 4194304 4196468 140731206740448 139906020342224 139906838239131 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23879] ppid=23867 vsize=13980732 memory=5408 CPUtime=2.47 cores=1,3,5,7
/proc/23869/task/23879/stat : 23879 (java) S 23867 23867 18108 0 -1 1077944384 5897 0 0 0 247 0 0 0 20 0 15 0 10689576 14316269568 94035 18446744073709551615 4194304 4196468 140731206740448 139906019289328 139906838231682 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23880] ppid=23867 vsize=13980732 memory=8672 CPUtime=2.53 cores=1,3,5,7
/proc/23869/task/23880/stat : 23880 (java) S 23867 23867 18108 0 -1 1077944384 4964 0 0 0 252 1 0 0 20 0 15 0 10689576 14316269568 94035 18446744073709551615 4194304 4196468 140731206740448 139906018236784 139906838231682 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23881] ppid=23867 vsize=13980732 memory=1228 CPUtime=0.79 cores=1,3,5,7
/proc/23869/task/23881/stat : 23881 (java) S 23867 23867 18108 0 -1 1077944384 5212 0 0 0 78 1 0 0 20 0 15 0 10689576 14316269568 94035 18446744073709551615 4194304 4196468 140731206740448 139906017183728 139906838231682 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23882] ppid=23867 vsize=13980732 memory=792 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23882/stat : 23882 (java) S 23867 23867 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10689576 14316269568 94035 18446744073709551615 4194304 4196468 140731206740448 139906016131424 139906838230741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
[pid=23869/tid=23883] ppid=23867 vsize=13980732 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/23869/task/23883/stat : 23883 (java) S 23867 23867 18108 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 15 0 10689581 14316269568 94035 18446744073709551615 4194304 4196468 140731206740448 139906015079472 139906838231682 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 23662592 140731206746546 140731206746722 140731206746722 140731206750159 0
Current children cumulated CPU time: 22.7 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 377520 KiB

Child status: 0
Real time (s): 16.9005
CPU time (s): 22.8605
CPU user time (s): 22.6357
CPU system time (s): 0.224732
CPU usage (%): 135.265
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 395980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.6357
system time used= 0.224732
maximum resident set size= 396648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34300
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= 2895
involuntary context switches= 36


# summary of solver processes directly reported to runsolver:
#   pid: 23867
#   total CPU time (s): 22.8605
#   total CPU user time (s): 22.6357
#   total CPU system time (s): 0.224732

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.111864 second user time and 0.219935 second system time

The end

Begin job on node131 at 2017-08-19 07:53:25
IDJOB=4282180
IDBENCH=125570
IDSOLVER=2677
FILE ID=node131/4282180-1503122825
RUNJOBID= node131-1503095854-18172
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= choco-solver 4.0.5 seq
BENCH NAME= XCSP17/DeBruijnSequence/DeBruijnSequence-m1-s1/DeBruijnSequence-02-09.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4282180-1503122825/watcher-4282180-1503122825 -o /tmp/evaluation-result-4282180-1503122825/solver-4282180-1503122825 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node131-1503095854-18172 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1041223420 HOME/instance-4282180-1503122825.xml

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

MD5SUM BENCH= 51af40833062bacbe569ad61b7e4d8a4
RANDOM SEED=1041223420

node131.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31611288 kB
MemAvailable:   31884900 kB
Buffers:          161520 kB
Cached:           393252 kB
SwapCached:            0 kB
Active:           360288 kB
Inactive:         391364 kB
Active(anon):     197452 kB
Inactive(anon):     8556 kB
Active(file):     162836 kB
Inactive(file):   382808 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7868 kB
Writeback:            12 kB
AnonPages:        239656 kB
Mapped:            43276 kB
Shmem:              8868 kB
Slab:             112436 kB
SReclaimable:      87608 kB
SUnreclaim:        24828 kB
KernelStack:        3552 kB
PageTables:         5252 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1130564 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    176128 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

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