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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272370-1502768076/watcher-4272370-1502768076 -o /tmp/evaluation-result-4272370-1502768076/solver-4272370-1502768076 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502649221-29000 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1157060045 HOME/instance-4272370-1502768076.xml 

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

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


[startup+0.100174 s]*
/proc/loadavg: 1.73 1.67 1.69 4/211 23812
/proc/meminfo: memFree=30324180/32770624 swapFree=67108860/67108860
[pid=23802] ppid=23799 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23802/stat : 23802 (xcsp3-exec) S 23799 23802 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 30690236 9740288 345 18446744073709551615 4194304 5098028 140735479484880 140735479482984 140333737214588 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 5 0 0 7196144 7232144 38293504 140735479492985 140735479493190 140735479493190 140735479496683 0
/proc/23802/statm: 2378 345 289 221 0 87 0
[pid=23804] ppid=23802 vsize=13574484 memory=18544 CPUtime=0.04 cores=0,2,4,6
/proc/23804/stat : 23804 (java) S 23802 23802 7968 0 -1 1077944320 4003 0 0 0 4 0 0 0 20 0 9 0 30690242 13900271616 4636 18446744073709551615 4194304 4196468 140735624446256 140735624428800 140300983226103 0 0 1 16800970 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
/proc/23804/statm: 3393621 4636 2138 1 0 3383118 0
[pid=23804/tid=23805] ppid=23802 vsize=13574484 memory=-7666416650606639742 CPUtime=0.03 cores=0,2,4,6
/proc/23804/task/23805/stat : 23805 (java) R 23802 23802 7968 0 -1 4202560 2708 0 0 0 3 0 0 0 20 0 9 0 30690242 13900271616 4636 18446744073709551615 4194304 4196468 140735624446256 140300987461496 140300983248029 0 4 1 16800970 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23806] ppid=23802 vsize=13574484 memory=-6623551257525838759 CPUtime=0 cores=0,2,4,6
/proc/23804/task/23806/stat : 23806 (java) S 23802 23802 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 30690243 13900271616 4636 18446744073709551615 4194304 4196468 140735624446256 140300946332304 140300983236309 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23807] ppid=23802 vsize=13574484 memory=139642456540800 CPUtime=0 cores=0,2,4,6
/proc/23804/task/23807/stat : 23807 (java) S 23802 23802 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 30690243 13900271616 4636 18446744073709551615 4194304 4196468 140735624446256 140300582730256 140300983236309 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23808] ppid=23802 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23804/task/23808/stat : 23808 (java) S 23802 23802 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 30690243 13900271616 4636 18446744073709551615 4194304 4196468 140735624446256 140300581677456 140300983236309 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23809] ppid=23802 vsize=13574484 memory=-1807685287725067907 CPUtime=0 cores=0,2,4,6
/proc/23804/task/23809/stat : 23809 (java) S 23802 23802 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 30690243 13900271616 4636 18446744073709551615 4194304 4196468 140735624446256 140300580624656 140300983236309 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23810] ppid=23802 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23804/task/23810/stat : 23810 (java) S 23802 23802 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 30690244 13900271616 4636 18446744073709551615 4194304 4196468 140735624446256 140299899968368 140300983237250 0 0 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23811] ppid=23802 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23804/task/23811/stat : 23811 (java) S 23802 23802 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 30690245 13900271616 4636 18446744073709551615 4194304 4196468 140735624446256 140299898914336 140300983236309 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23812] ppid=23802 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23804/task/23812/stat : 23812 (java) S 23802 23802 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 30690245 13900271616 4636 18446744073709551615 4194304 4196468 140735624446256 140299897861488 140300983236309 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 19924 KiB

[startup+0.21055 s]*
/proc/loadavg: 1.73 1.67 1.69 4/217 23818
/proc/meminfo: memFree=30317508/32770624 swapFree=67108860/67108860
[pid=23802] ppid=23799 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23802/stat : 23802 (xcsp3-exec) S 23799 23802 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 30690236 9740288 345 18446744073709551615 4194304 5098028 140735479484880 140735479482984 140333737214588 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 5 0 0 7196144 7232144 38293504 140735479492985 140735479493190 140735479493190 140735479496683 0
/proc/23802/statm: 2378 345 289 221 0 87 0
[pid=23804] ppid=23802 vsize=13974352 memory=29160 CPUtime=0.16 cores=0,2,4,6
/proc/23804/stat : 23804 (java) S 23802 23802 7968 0 -1 1077944320 5715 0 0 0 15 1 0 0 20 0 15 0 30690242 14309736448 7290 18446744073709551615 4194304 4196468 140735624446256 140735624428800 140300983226103 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
/proc/23804/statm: 3493588 7290 2952 1 0 3482964 0
[pid=23804/tid=23805] ppid=23802 vsize=13974352 memory=-7666416650606639742 CPUtime=0.11 cores=0,2,4,6
/proc/23804/task/23805/stat : 23805 (java) R 23802 23802 7968 0 -1 4202560 3446 0 0 0 10 1 0 0 20 0 15 0 30690242 14309736448 7290 18446744073709551615 4194304 4196468 140735624446256 140300987456832 140300967306590 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23806] ppid=23802 vsize=13974352 memory=-6623551257525838759 CPUtime=0 cores=0,2,4,6
/proc/23804/task/23806/stat : 23806 (java) S 23802 23802 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 30690243 14309736448 7290 18446744073709551615 4194304 4196468 140735624446256 140300946332304 140300983236309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23807] ppid=23802 vsize=13974352 memory=139642456540800 CPUtime=0 cores=0,2,4,6
/proc/23804/task/23807/stat : 23807 (java) S 23802 23802 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 30690243 14309736448 7290 18446744073709551615 4194304 4196468 140735624446256 140300582730256 140300983236309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23808] ppid=23802 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23804/task/23808/stat : 23808 (java) S 23802 23802 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 30690243 14309736448 7290 18446744073709551615 4194304 4196468 140735624446256 140300581677456 140300983236309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23809] ppid=23802 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23804/task/23809/stat : 23809 (java) S 23802 23802 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 30690243 14309736448 7290 18446744073709551615 4194304 4196468 140735624446256 140300580624656 140300983236309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23810] ppid=23802 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23804/task/23810/stat : 23810 (java) S 23802 23802 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 30690244 14309736448 7290 18446744073709551615 4194304 4196468 140735624446256 140299899968368 140300983237250 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23811] ppid=23802 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23804/task/23811/stat : 23811 (java) S 23802 23802 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 30690245 14309736448 7290 18446744073709551615 4194304 4196468 140735624446256 140299898914336 140300983236309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23812] ppid=23802 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23804/task/23812/stat : 23812 (java) S 23802 23802 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 30690245 14309736448 7290 18446744073709551615 4194304 4196468 140735624446256 140299897861488 140300983236309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23813] ppid=23802 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23804/task/23813/stat : 23813 (java) S 23802 23802 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30690247 14309736448 7290 18446744073709551615 4194304 4196468 140735624446256 140299896809808 140300983244699 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23814] ppid=23802 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23804/task/23814/stat : 23814 (java) S 23802 23802 7968 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 30690248 14309736448 7290 18446744073709551615 4194304 4196468 140735624446256 140299895757168 140300983237250 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23815] ppid=23802 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23804/task/23815/stat : 23815 (java) S 23802 23802 7968 0 -1 1077944384 238 0 0 0 0 0 0 0 20 0 15 0 30690248 14309736448 7290 18446744073709551615 4194304 4196468 140735624446256 140299894704368 140300983237250 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23816] ppid=23802 vsize=13974352 memory=139642456540800 CPUtime=0.02 cores=0,2,4,6
/proc/23804/task/23816/stat : 23816 (java) R 23802 23802 7968 0 -1 4202560 435 0 0 0 2 0 0 0 20 0 15 0 30690248 14309736448 7290 18446744073709551615 4194304 4196468 140735624446256 140299893651696 140300975463230 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23817] ppid=23802 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23804/task/23817/stat : 23817 (java) S 23802 23802 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30690248 14309736448 7290 18446744073709551615 4194304 4196468 140735624446256 140299892599008 140300983236309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23818] ppid=23802 vsize=13974352 memory=139642456540800 CPUtime=0 cores=0,2,4,6
/proc/23804/task/23818/stat : 23818 (java) S 23802 23802 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 30690252 14309736448 7290 18446744073709551615 4194304 4196468 140735624446256 140299891547312 140300983237250 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 30540 KiB

[startup+0.310802 s]*
/proc/loadavg: 1.73 1.67 1.69 4/217 23818
/proc/meminfo: memFree=30304668/32770624 swapFree=67108860/67108860
[pid=23802] ppid=23799 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23802/stat : 23802 (xcsp3-exec) S 23799 23802 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 30690236 9740288 345 18446744073709551615 4194304 5098028 140735479484880 140735479482984 140333737214588 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 5 0 0 7196144 7232144 38293504 140735479492985 140735479493190 140735479493190 140735479496683 0
/proc/23802/statm: 2378 345 289 221 0 87 0
[pid=23804] ppid=23802 vsize=13978608 memory=40504 CPUtime=0.34 cores=0,2,4,6
/proc/23804/stat : 23804 (java) S 23802 23802 7968 0 -1 1077944320 9316 0 0 0 31 3 0 0 20 0 15 0 30690242 14314094592 10126 18446744073709551615 4194304 4196468 140735624446256 140735624428800 140300983226103 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
/proc/23804/statm: 3494652 10126 3054 1 0 3482964 0
[pid=23804/tid=23805] ppid=23802 vsize=13978608 memory=4278483708103473607 CPUtime=0.2 cores=0,2,4,6
/proc/23804/task/23805/stat : 23805 (java) R 23802 23802 7968 0 -1 4202560 6430 0 0 0 18 2 0 0 20 0 15 0 30690242 14314094592 10126 18446744073709551615 4194304 4196468 140735624446256 140300987447096 140300967306590 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23806] ppid=23802 vsize=13978608 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/23804/task/23806/stat : 23806 (java) S 23802 23802 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 30690243 14314094592 10126 18446744073709551615 4194304 4196468 140735624446256 140300946332304 140300983236309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23807] ppid=23802 vsize=13978608 memory=139642456551393 CPUtime=0 cores=0,2,4,6
/proc/23804/task/23807/stat : 23807 (java) S 23802 23802 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 30690243 14314094592 10126 18446744073709551615 4194304 4196468 140735624446256 140300582730256 140300983236309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23808] ppid=23802 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23804/task/23808/stat : 23808 (java) S 23802 23802 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 30690243 14314094592 10126 18446744073709551615 4194304 4196468 140735624446256 140300581677456 140300983236309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23809] ppid=23802 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23804/task/23809/stat : 23809 (java) S 23802 23802 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 30690243 14314094592 10126 18446744073709551615 4194304 4196468 140735624446256 140300580624656 140300983236309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23810] ppid=23802 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23804/task/23810/stat : 23810 (java) S 23802 23802 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 30690244 14314094592 10126 18446744073709551615 4194304 4196468 140735624446256 140299899968368 140300983237250 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23811] ppid=23802 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23804/task/23811/stat : 23811 (java) S 23802 23802 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 30690245 14314094592 10126 18446744073709551615 4194304 4196468 140735624446256 140299898914336 140300983236309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23812] ppid=23802 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23804/task/23812/stat : 23812 (java) S 23802 23802 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 30690245 14314094592 10126 18446744073709551615 4194304 4196468 140735624446256 140299897861488 140300983236309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23813] ppid=23802 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23804/task/23813/stat : 23813 (java) S 23802 23802 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30690247 14314094592 10126 18446744073709551615 4194304 4196468 140735624446256 140299896809808 140300983244699 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23814] ppid=23802 vsize=13978608 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/23804/task/23814/stat : 23814 (java) S 23802 23802 7968 0 -1 1077944384 538 0 0 0 2 0 0 0 20 0 15 0 30690248 14314094592 10126 18446744073709551615 4194304 4196468 140735624446256 140299895757168 140300983237250 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23815] ppid=23802 vsize=13978608 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/23804/task/23815/stat : 23815 (java) R 23802 23802 7968 0 -1 4202560 285 0 0 0 2 0 0 0 20 0 15 0 30690248 14314094592 10126 18446744073709551615 4194304 4196468 140735624446256 140299894704368 140300983247450 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23816] ppid=23802 vsize=13978608 memory=139642456540800 CPUtime=0.07 cores=0,2,4,6
/proc/23804/task/23816/stat : 23816 (java) R 23802 23802 7968 0 -1 4202560 763 0 0 0 7 0 0 0 20 0 15 0 30690248 14314094592 10126 18446744073709551615 4194304 4196468 140735624446256 140299893651568 140300967306590 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23817] ppid=23802 vsize=13978608 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23804/task/23817/stat : 23817 (java) S 23802 23802 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30690248 14314094592 10126 18446744073709551615 4194304 4196468 140735624446256 140299892599008 140300983236309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23818] ppid=23802 vsize=13978608 memory=139642456540800 CPUtime=0 cores=0,2,4,6
/proc/23804/task/23818/stat : 23818 (java) S 23802 23802 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 30690252 14314094592 10126 18446744073709551615 4194304 4196468 140735624446256 140299891547312 140300983237250 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41884 KiB

[startup+0.70089 s]
/proc/loadavg: 1.73 1.67 1.69 5/217 23818
/proc/meminfo: memFree=30283452/32770624 swapFree=67108860/67108860
[pid=23802] ppid=23799 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23802/stat : 23802 (xcsp3-exec) S 23799 23802 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 30690236 9740288 345 18446744073709551615 4194304 5098028 140735479484880 140735479482984 140333737214588 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 5 0 0 7196144 7232144 38293504 140735479492985 140735479493190 140735479493190 140735479496683 0
/proc/23802/statm: 2378 345 289 221 0 87 0
[pid=23804] ppid=23802 vsize=13978684 memory=97644 CPUtime=1.46 cores=0,2,4,6
/proc/23804/stat : 23804 (java) S 23802 23802 7968 0 -1 1077944320 13969 0 0 0 141 5 0 0 20 0 15 0 30690242 14314172416 24411 18446744073709551615 4194304 4196468 140735624446256 140735624428800 140300983226103 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
/proc/23804/statm: 3494671 24411 3169 1 0 3482964 0
[pid=23804/tid=23805] ppid=23802 vsize=13978684 memory=0 CPUtime=0.58 cores=0,2,4,6
/proc/23804/task/23805/stat : 23805 (java) R 23802 23802 7968 0 -1 4202560 7904 0 0 0 54 4 0 0 20 0 15 0 30690242 14314172416 24411 18446744073709551615 4194304 4196468 140735624446256 140300987461232 140300627954330 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23806] ppid=23802 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23804/task/23806/stat : 23806 (java) S 23802 23802 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 30690243 14314172416 24411 18446744073709551615 4194304 4196468 140735624446256 140300946332304 140300983236309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23807] ppid=23802 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23804/task/23807/stat : 23807 (java) S 23802 23802 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 30690243 14314172416 24411 18446744073709551615 4194304 4196468 140735624446256 140300582730256 140300983236309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23808] ppid=23802 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23804/task/23808/stat : 23808 (java) S 23802 23802 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 30690243 14314172416 24411 18446744073709551615 4194304 4196468 140735624446256 140300581677456 140300983236309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23809] ppid=23802 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23804/task/23809/stat : 23809 (java) S 23802 23802 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 30690243 14314172416 24411 18446744073709551615 4194304 4196468 140735624446256 140300580624656 140300983236309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23810] ppid=23802 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23804/task/23810/stat : 23810 (java) S 23802 23802 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 30690244 14314172416 24411 18446744073709551615 4194304 4196468 140735624446256 140299899968368 140300983237250 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23811] ppid=23802 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23804/task/23811/stat : 23811 (java) S 23802 23802 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 30690245 14314172416 24411 18446744073709551615 4194304 4196468 140735624446256 140299898914336 140300983236309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23812] ppid=23802 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23804/task/23812/stat : 23812 (java) S 23802 23802 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 30690245 14314172416 24411 18446744073709551615 4194304 4196468 140735624446256 140299897861488 140300983236309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23813] ppid=23802 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23804/task/23813/stat : 23813 (java) S 23802 23802 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30690247 14314172416 24411 18446744073709551615 4194304 4196468 140735624446256 140299896809808 140300983244699 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23814] ppid=23802 vsize=13978684 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/23804/task/23814/stat : 23814 (java) R 23802 23802 7968 0 -1 4202560 1591 0 0 0 27 0 0 0 20 0 15 0 30690248 14314172416 24411 18446744073709551615 4194304 4196468 140735624446256 140299895743192 140300960820961 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23815] ppid=23802 vsize=13978684 memory=8315171486948655189 CPUtime=0.27 cores=0,2,4,6
/proc/23804/task/23815/stat : 23815 (java) R 23802 23802 7968 0 -1 4202560 1211 0 0 0 27 0 0 0 20 0 15 0 30690248 14314172416 24411 18446744073709551615 4194304 4196468 140735624446256 140299894689520 140300962472430 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23816] ppid=23802 vsize=13978684 memory=25786 CPUtime=0.31 cores=0,2,4,6
/proc/23804/task/23816/stat : 23816 (java) S 23802 23802 7968 0 -1 1077944384 1956 0 0 0 31 0 0 0 20 0 15 0 30690248 14314172416 24411 18446744073709551615 4194304 4196468 140735624446256 140299893651568 140300983237250 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23817] ppid=23802 vsize=13978684 memory=4409082516326318112 CPUtime=0 cores=0,2,4,6
/proc/23804/task/23817/stat : 23817 (java) S 23802 23802 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30690248 14314172416 24411 18446744073709551615 4194304 4196468 140735624446256 140299892599008 140300983236309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23818] ppid=23802 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23804/task/23818/stat : 23818 (java) S 23802 23802 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 30690252 14314172416 24411 18446744073709551615 4194304 4196468 140735624446256 140299891547312 140300983237250 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 99024 KiB

[startup+1.50071 s]
/proc/loadavg: 1.73 1.67 1.69 5/217 23818
/proc/meminfo: memFree=30217988/32770624 swapFree=67108860/67108860
[pid=23802] ppid=23799 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23802/stat : 23802 (xcsp3-exec) S 23799 23802 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 30690236 9740288 345 18446744073709551615 4194304 5098028 140735479484880 140735479482984 140333737214588 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 5 0 0 7196144 7232144 38293504 140735479492985 140735479493190 140735479493190 140735479496683 0
/proc/23802/statm: 2378 345 289 221 0 87 0
[pid=23804] ppid=23802 vsize=13980732 memory=217152 CPUtime=4.07 cores=0,2,4,6
/proc/23804/stat : 23804 (java) S 23802 23802 7968 0 -1 1077944320 20440 0 0 0 395 12 0 0 20 0 15 0 30690242 14316269568 54288 18446744073709551615 4194304 4196468 140735624446256 140735624428800 140300983226103 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
/proc/23804/statm: 3495183 54288 3216 1 0 3483476 0
[pid=23804/tid=23805] ppid=23802 vsize=13980732 memory=0 CPUtime=1.35 cores=0,2,4,6
/proc/23804/task/23805/stat : 23805 (java) R 23802 23802 7968 0 -1 4202560 9239 0 0 0 129 6 0 0 20 0 15 0 30690242 14316269568 54288 18446744073709551615 4194304 4196468 140735624446256 140300987462928 140300629104194 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23806] ppid=23802 vsize=13980732 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/23804/task/23806/stat : 23806 (java) S 23802 23802 7968 0 -1 1077944384 52 0 0 0 1 1 0 0 20 0 15 0 30690243 14316269568 54288 18446744073709551615 4194304 4196468 140735624446256 140300946332304 140300983236309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23807] ppid=23802 vsize=13980732 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/23804/task/23807/stat : 23807 (java) S 23802 23802 7968 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 15 0 30690243 14316269568 54288 18446744073709551615 4194304 4196468 140735624446256 140300582730256 140300983236309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23808] ppid=23802 vsize=13980732 memory=8747226831578988619 CPUtime=0.02 cores=0,2,4,6
/proc/23804/task/23808/stat : 23808 (java) S 23802 23802 7968 0 -1 1077944384 37 0 0 0 1 1 0 0 20 0 15 0 30690243 14316269568 54288 18446744073709551615 4194304 4196468 140735624446256 140300581677456 140300983236309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23809] ppid=23802 vsize=13980732 memory=288283372609088908 CPUtime=0.01 cores=0,2,4,6

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

/proc/23802/stat : 23802 (xcsp3-exec) S 23799 23802 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 30690236 9740288 345 18446744073709551615 4194304 5098028 140735479484880 140735479482984 140333737214588 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 5 0 0 7196144 7232144 38293504 140735479492985 140735479493190 140735479493190 140735479496683 0
/proc/23802/statm: 2378 345 289 221 0 87 0
[pid=23804] ppid=23802 vsize=13982780 memory=329364 CPUtime=219.17 cores=0,2,4,6
/proc/23804/stat : 23804 (java) S 23802 23802 7968 0 -1 1077944320 88538 0 0 0 21855 62 0 0 20 0 15 0 30690242 14318366720 82341 18446744073709551615 4194304 4196468 140735624446256 140735624428800 140300983226103 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
/proc/23804/statm: 3495695 82341 3237 1 0 3483988 0
[pid=23804/tid=23805] ppid=23802 vsize=13982780 memory=319080 CPUtime=205.51 cores=0,2,4,6
/proc/23804/task/23805/stat : 23805 (java) R 23802 23802 7968 0 -1 4202560 19799 0 0 0 20538 13 0 0 20 0 15 0 30690242 14318366720 82341 18446744073709551615 4194304 4196468 140735624446256 140300987465040 140300631628112 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23806] ppid=23802 vsize=13982780 memory=4304 CPUtime=0.43 cores=0,2,4,6
/proc/23804/task/23806/stat : 23806 (java) S 23802 23802 7968 0 -1 1077944384 1228 0 0 0 34 9 0 0 20 0 15 0 30690243 14318366720 82341 18446744073709551615 4194304 4196468 140735624446256 140300946332304 140300983236309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23807] ppid=23802 vsize=13982780 memory=1588 CPUtime=0.43 cores=0,2,4,6
/proc/23804/task/23807/stat : 23807 (java) S 23802 23802 7968 0 -1 1077944384 2721 0 0 0 34 9 0 0 20 0 15 0 30690243 14318366720 82341 18446744073709551615 4194304 4196468 140735624446256 140300582730256 140300983236309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23808] ppid=23802 vsize=13982780 memory=3868 CPUtime=0.43 cores=0,2,4,6
/proc/23804/task/23808/stat : 23808 (java) S 23802 23802 7968 0 -1 1077944384 1073 0 0 0 34 9 0 0 20 0 15 0 30690243 14318366720 82341 18446744073709551615 4194304 4196468 140735624446256 140300581677456 140300983236309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23809] ppid=23802 vsize=13982780 memory=3904 CPUtime=0.43 cores=0,2,4,6
/proc/23804/task/23809/stat : 23809 (java) S 23802 23802 7968 0 -1 1077944384 1325 0 0 0 33 10 0 0 20 0 15 0 30690243 14318366720 82341 18446744073709551615 4194304 4196468 140735624446256 140300580624656 140300983236309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23810] ppid=23802 vsize=13982780 memory=1152 CPUtime=0.13 cores=0,2,4,6
/proc/23804/task/23810/stat : 23810 (java) S 23802 23802 7968 0 -1 1077944384 1521 0 0 0 11 2 0 0 20 0 15 0 30690244 14318366720 82341 18446744073709551615 4194304 4196468 140735624446256 140299899968368 140300983237250 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23811] ppid=23802 vsize=13982780 memory=3328 CPUtime=0 cores=0,2,4,6
/proc/23804/task/23811/stat : 23811 (java) S 23802 23802 7968 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 30690245 14318366720 82341 18446744073709551615 4194304 4196468 140735624446256 140299898914400 140300983236309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23812] ppid=23802 vsize=13982780 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23804/task/23812/stat : 23812 (java) S 23802 23802 7968 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 30690245 14318366720 82341 18446744073709551615 4194304 4196468 140735624446256 140299897861488 140300983236309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23813] ppid=23802 vsize=13982780 memory=315452 CPUtime=0 cores=0,2,4,6
/proc/23804/task/23813/stat : 23813 (java) S 23802 23802 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30690247 14318366720 82341 18446744073709551615 4194304 4196468 140735624446256 140299896809808 140300983244699 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23814] ppid=23802 vsize=13982780 memory=856196 CPUtime=5.17 cores=0,2,4,6
/proc/23804/task/23814/stat : 23814 (java) S 23802 23802 7968 0 -1 1077944384 25063 0 0 0 515 2 0 0 20 0 15 0 30690248 14318366720 82341 18446744073709551615 4194304 4196468 140735624446256 140299895757168 140300983237250 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23815] ppid=23802 vsize=13982780 memory=4064 CPUtime=5.39 cores=0,2,4,6
/proc/23804/task/23815/stat : 23815 (java) S 23802 23802 7968 0 -1 1077944384 20737 0 0 0 537 2 0 0 20 0 15 0 30690248 14318366720 82341 18446744073709551615 4194304 4196468 140735624446256 140299894704368 140300983237250 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23816] ppid=23802 vsize=13982780 memory=1156 CPUtime=1.09 cores=0,2,4,6
/proc/23804/task/23816/stat : 23816 (java) S 23802 23802 7968 0 -1 1077944384 12878 0 0 0 107 2 0 0 20 0 15 0 30690248 14318366720 82341 18446744073709551615 4194304 4196468 140735624446256 140299893651568 140300983237250 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23817] ppid=23802 vsize=13982780 memory=300884 CPUtime=0 cores=0,2,4,6
/proc/23804/task/23817/stat : 23817 (java) S 23802 23802 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30690248 14318366720 82341 18446744073709551615 4194304 4196468 140735624446256 140299892599008 140300983236309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23818] ppid=23802 vsize=13982780 memory=1380 CPUtime=0.07 cores=0,2,4,6
/proc/23804/task/23818/stat : 23818 (java) S 23802 23802 7968 0 -1 1077944384 853 0 0 0 4 3 0 0 20 0 15 0 30690252 14318366720 82341 18446744073709551615 4194304 4196468 140735624446256 140299891547312 140300983237250 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
Current children cumulated CPU time: 219.17 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 330744 KiB

[startup+207.201 s]
/proc/loadavg: 1.33 1.64 1.68 3/214 23830
/proc/meminfo: memFree=30115504/32770624 swapFree=67108860/67108860
[pid=23802] ppid=23799 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23802/stat : 23802 (xcsp3-exec) S 23799 23802 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 30690236 9740288 345 18446744073709551615 4194304 5098028 140735479484880 140735479482984 140333737214588 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 5 0 0 7196144 7232144 38293504 140735479492985 140735479493190 140735479493190 140735479496683 0
/proc/23802/statm: 2378 345 289 221 0 87 0
[pid=23804] ppid=23802 vsize=13982780 memory=356020 CPUtime=220.02 cores=0,2,4,6
/proc/23804/stat : 23804 (java) S 23802 23802 7968 0 -1 1077944320 88619 0 0 0 21938 64 0 0 20 0 15 0 30690242 14318366720 89005 18446744073709551615 4194304 4196468 140735624446256 140735624428800 140300983226103 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
/proc/23804/statm: 3495695 89005 3237 1 0 3483988 0
[pid=23804/tid=23805] ppid=23802 vsize=13982780 memory=337588 CPUtime=206.29 cores=0,2,4,6
/proc/23804/task/23805/stat : 23805 (java) R 23802 23802 7968 0 -1 4202560 19801 0 0 0 20616 13 0 0 20 0 15 0 30690242 14318366720 89005 18446744073709551615 4194304 4196468 140735624446256 140300987465040 140300632002107 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23806] ppid=23802 vsize=13982780 memory=16444 CPUtime=0.44 cores=0,2,4,6
/proc/23804/task/23806/stat : 23806 (java) S 23802 23802 7968 0 -1 1077944384 1247 0 0 0 35 9 0 0 20 0 15 0 30690243 14318366720 89005 18446744073709551615 4194304 4196468 140735624446256 140300946332304 140300983236309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23807] ppid=23802 vsize=13982780 memory=12056 CPUtime=0.45 cores=0,2,4,6
/proc/23804/task/23807/stat : 23807 (java) S 23802 23802 7968 0 -1 1077944384 2739 0 0 0 35 10 0 0 20 0 15 0 30690243 14318366720 89005 18446744073709551615 4194304 4196468 140735624446256 140300582730256 140300983236309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23808] ppid=23802 vsize=13982780 memory=1228 CPUtime=0.44 cores=0,2,4,6
/proc/23804/task/23808/stat : 23808 (java) S 23802 23802 7968 0 -1 1077944384 1097 0 0 0 35 9 0 0 20 0 15 0 30690243 14318366720 89005 18446744073709551615 4194304 4196468 140735624446256 140300581677456 140300983236309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23809] ppid=23802 vsize=13982780 memory=1000 CPUtime=0.45 cores=0,2,4,6
/proc/23804/task/23809/stat : 23809 (java) S 23802 23802 7968 0 -1 1077944384 1342 0 0 0 34 11 0 0 20 0 15 0 30690243 14318366720 89005 18446744073709551615 4194304 4196468 140735624446256 140300580624656 140300983236309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23810] ppid=23802 vsize=13982780 memory=2012 CPUtime=0.13 cores=0,2,4,6
/proc/23804/task/23810/stat : 23810 (java) S 23802 23802 7968 0 -1 1077944384 1522 0 0 0 11 2 0 0 20 0 15 0 30690244 14318366720 89005 18446744073709551615 4194304 4196468 140735624446256 140299899968368 140300983237250 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23811] ppid=23802 vsize=13982780 memory=5520 CPUtime=0 cores=0,2,4,6
/proc/23804/task/23811/stat : 23811 (java) S 23802 23802 7968 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 30690245 14318366720 89005 18446744073709551615 4194304 4196468 140735624446256 140299898914400 140300983236309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23812] ppid=23802 vsize=13982780 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/23804/task/23812/stat : 23812 (java) S 23802 23802 7968 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 30690245 14318366720 89005 18446744073709551615 4194304 4196468 140735624446256 140299897861488 140300983236309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23813] ppid=23802 vsize=13982780 memory=792 CPUtime=0 cores=0,2,4,6
/proc/23804/task/23813/stat : 23813 (java) S 23802 23802 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30690247 14318366720 89005 18446744073709551615 4194304 4196468 140735624446256 140299896809808 140300983244699 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23814] ppid=23802 vsize=13982780 memory=8696 CPUtime=5.17 cores=0,2,4,6
/proc/23804/task/23814/stat : 23814 (java) S 23802 23802 7968 0 -1 1077944384 25063 0 0 0 515 2 0 0 20 0 15 0 30690248 14318366720 89005 18446744073709551615 4194304 4196468 140735624446256 140299895757168 140300983237250 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23815] ppid=23802 vsize=13982780 memory=1440 CPUtime=5.39 cores=0,2,4,6
/proc/23804/task/23815/stat : 23815 (java) S 23802 23802 7968 0 -1 1077944384 20737 0 0 0 537 2 0 0 20 0 15 0 30690248 14318366720 89005 18446744073709551615 4194304 4196468 140735624446256 140299894704368 140300983237250 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23816] ppid=23802 vsize=13982780 memory=9916 CPUtime=1.09 cores=0,2,4,6
/proc/23804/task/23816/stat : 23816 (java) S 23802 23802 7968 0 -1 1077944384 12878 0 0 0 107 2 0 0 20 0 15 0 30690248 14318366720 89005 18446744073709551615 4194304 4196468 140735624446256 140299893651568 140300983237250 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23817] ppid=23802 vsize=13982780 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/23804/task/23817/stat : 23817 (java) S 23802 23802 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30690248 14318366720 89005 18446744073709551615 4194304 4196468 140735624446256 140299892599008 140300983236309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23818] ppid=23802 vsize=13982780 memory=19128 CPUtime=0.07 cores=0,2,4,6
/proc/23804/task/23818/stat : 23818 (java) S 23802 23802 7968 0 -1 1077944384 853 0 0 0 4 3 0 0 20 0 15 0 30690252 14318366720 89005 18446744073709551615 4194304 4196468 140735624446256 140299891547312 140300983237250 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
Current children cumulated CPU time: 220.02 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 357400 KiB

[startup+207.601 s]
/proc/loadavg: 1.33 1.64 1.68 3/214 23830
/proc/meminfo: memFree=30115504/32770624 swapFree=67108860/67108860
[pid=23802] ppid=23799 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23802/stat : 23802 (xcsp3-exec) S 23799 23802 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 30690236 9740288 345 18446744073709551615 4194304 5098028 140735479484880 140735479482984 140333737214588 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 5 0 0 7196144 7232144 38293504 140735479492985 140735479493190 140735479493190 140735479496683 0
/proc/23802/statm: 2378 345 289 221 0 87 0
[pid=23804] ppid=23802 vsize=13982780 memory=366420 CPUtime=220.45 cores=0,2,4,6
/proc/23804/stat : 23804 (java) S 23802 23802 7968 0 -1 1077944320 88690 0 0 0 21980 65 0 0 20 0 15 0 30690242 14318366720 91605 18446744073709551615 4194304 4196468 140735624446256 140735624428800 140300983226103 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
/proc/23804/statm: 3495695 91605 3237 1 0 3483988 0
[pid=23804/tid=23805] ppid=23802 vsize=13982780 memory=1296 CPUtime=206.68 cores=0,2,4,6
/proc/23804/task/23805/stat : 23805 (java) R 23802 23802 7968 0 -1 4202560 19802 0 0 0 20655 13 0 0 20 0 15 0 30690242 14318366720 91605 18446744073709551615 4194304 4196468 140735624446256 140300987465280 140300632002811 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23806] ppid=23802 vsize=13982780 memory=1732 CPUtime=0.45 cores=0,2,4,6
/proc/23804/task/23806/stat : 23806 (java) S 23802 23802 7968 0 -1 1077944384 1281 0 0 0 36 9 0 0 20 0 15 0 30690243 14318366720 91605 18446744073709551615 4194304 4196468 140735624446256 140300946332304 140300983236309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23807] ppid=23802 vsize=13982780 memory=-8774313645642428999 CPUtime=0.46 cores=0,2,4,6
/proc/23804/task/23807/stat : 23807 (java) S 23802 23802 7968 0 -1 1077944384 2753 0 0 0 36 10 0 0 20 0 15 0 30690243 14318366720 91605 18446744073709551615 4194304 4196468 140735624446256 140300582730256 140300983236309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23808] ppid=23802 vsize=13982780 memory=2164 CPUtime=0.46 cores=0,2,4,6
/proc/23804/task/23808/stat : 23808 (java) S 23802 23802 7968 0 -1 1077944384 1104 0 0 0 36 10 0 0 20 0 15 0 30690243 14318366720 91605 18446744073709551615 4194304 4196468 140735624446256 140300581677456 140300983236309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23809] ppid=23802 vsize=13982780 memory=840 CPUtime=0.46 cores=0,2,4,6
/proc/23804/task/23809/stat : 23809 (java) S 23802 23802 7968 0 -1 1077944384 1348 0 0 0 35 11 0 0 20 0 15 0 30690243 14318366720 91605 18446744073709551615 4194304 4196468 140735624446256 140300580624656 140300983236309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23810] ppid=23802 vsize=13982780 memory=3880 CPUtime=0.13 cores=0,2,4,6
/proc/23804/task/23810/stat : 23810 (java) S 23802 23802 7968 0 -1 1077944384 1531 0 0 0 11 2 0 0 20 0 15 0 30690244 14318366720 91605 18446744073709551615 4194304 4196468 140735624446256 140299899968368 140300983237250 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23811] ppid=23802 vsize=13982780 memory=3868 CPUtime=0 cores=0,2,4,6
/proc/23804/task/23811/stat : 23811 (java) S 23802 23802 7968 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 30690245 14318366720 91605 18446744073709551615 4194304 4196468 140735624446256 140299898914400 140300983236309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23812] ppid=23802 vsize=13982780 memory=3904 CPUtime=0 cores=0,2,4,6
/proc/23804/task/23812/stat : 23812 (java) S 23802 23802 7968 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 30690245 14318366720 91605 18446744073709551615 4194304 4196468 140735624446256 140299897861488 140300983236309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23813] ppid=23802 vsize=13982780 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23804/task/23813/stat : 23813 (java) S 23802 23802 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30690247 14318366720 91605 18446744073709551615 4194304 4196468 140735624446256 140299896809808 140300983244699 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23814] ppid=23802 vsize=13982780 memory=319080 CPUtime=5.17 cores=0,2,4,6
/proc/23804/task/23814/stat : 23814 (java) S 23802 23802 7968 0 -1 1077944384 25063 0 0 0 515 2 0 0 20 0 15 0 30690248 14318366720 91605 18446744073709551615 4194304 4196468 140735624446256 140299895757168 140300983237250 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23815] ppid=23802 vsize=13982780 memory=3056 CPUtime=5.39 cores=0,2,4,6
/proc/23804/task/23815/stat : 23815 (java) S 23802 23802 7968 0 -1 1077944384 20737 0 0 0 537 2 0 0 20 0 15 0 30690248 14318366720 91605 18446744073709551615 4194304 4196468 140735624446256 140299894704368 140300983237250 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23816] ppid=23802 vsize=13982780 memory=2816 CPUtime=1.09 cores=0,2,4,6
/proc/23804/task/23816/stat : 23816 (java) S 23802 23802 7968 0 -1 1077944384 12878 0 0 0 107 2 0 0 20 0 15 0 30690248 14318366720 91605 18446744073709551615 4194304 4196468 140735624446256 140299893651568 140300983237250 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23817] ppid=23802 vsize=13982780 memory=4278483708103473607 CPUtime=0 cores=0,2,4,6
/proc/23804/task/23817/stat : 23817 (java) S 23802 23802 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30690248 14318366720 91605 18446744073709551615 4194304 4196468 140735624446256 140299892599008 140300983236309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23818] ppid=23802 vsize=13982780 memory=1380 CPUtime=0.07 cores=0,2,4,6
/proc/23804/task/23818/stat : 23818 (java) S 23802 23802 7968 0 -1 1077944384 853 0 0 0 4 3 0 0 20 0 15 0 30690252 14318366720 91605 18446744073709551615 4194304 4196468 140735624446256 140299891547312 140300983237250 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
Current children cumulated CPU time: 220.45 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 367800 KiB

[startup+207.701 s]
/proc/loadavg: 1.33 1.64 1.68 3/214 23830
/proc/meminfo: memFree=30115504/32770624 swapFree=67108860/67108860
[pid=23802] ppid=23799 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23802/stat : 23802 (xcsp3-exec) S 23799 23802 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 30690236 9740288 345 18446744073709551615 4194304 5098028 140735479484880 140735479482984 140333737214588 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 5 0 0 7196144 7232144 38293504 140735479492985 140735479493190 140735479493190 140735479496683 0
/proc/23802/statm: 2378 345 289 221 0 87 0
[pid=23804] ppid=23802 vsize=13982780 memory=366420 CPUtime=220.55 cores=0,2,4,6
/proc/23804/stat : 23804 (java) S 23802 23802 7968 0 -1 1077944320 88690 0 0 0 21990 65 0 0 20 0 15 0 30690242 14318366720 91605 18446744073709551615 4194304 4196468 140735624446256 140735624428800 140300983226103 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
/proc/23804/statm: 3495695 91605 3237 1 0 3483988 0
[pid=23804/tid=23805] ppid=23802 vsize=13982780 memory=356020 CPUtime=206.78 cores=0,2,4,6
/proc/23804/task/23805/stat : 23805 (java) R 23802 23802 7968 0 -1 4202560 19802 0 0 0 20665 13 0 0 20 0 15 0 30690242 14318366720 91605 18446744073709551615 4194304 4196468 140735624446256 140300987465280 140300632002720 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23806] ppid=23802 vsize=13982780 memory=1380 CPUtime=0.45 cores=0,2,4,6
/proc/23804/task/23806/stat : 23806 (java) S 23802 23802 7968 0 -1 1077944384 1281 0 0 0 36 9 0 0 20 0 15 0 30690243 14318366720 91605 18446744073709551615 4194304 4196468 140735624446256 140300946332304 140300983236309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23807] ppid=23802 vsize=13982780 memory=1380 CPUtime=0.46 cores=0,2,4,6
/proc/23804/task/23807/stat : 23807 (java) S 23802 23802 7968 0 -1 1077944384 2753 0 0 0 36 10 0 0 20 0 15 0 30690243 14318366720 91605 18446744073709551615 4194304 4196468 140735624446256 140300582730256 140300983236309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23808] ppid=23802 vsize=13982780 memory=356020 CPUtime=0.46 cores=0,2,4,6
/proc/23804/task/23808/stat : 23808 (java) S 23802 23802 7968 0 -1 1077944384 1104 0 0 0 36 10 0 0 20 0 15 0 30690243 14318366720 91605 18446744073709551615 4194304 4196468 140735624446256 140300581677456 140300983236309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23809] ppid=23802 vsize=13982780 memory=300832 CPUtime=0.46 cores=0,2,4,6
/proc/23804/task/23809/stat : 23809 (java) S 23802 23802 7968 0 -1 1077944384 1348 0 0 0 35 11 0 0 20 0 15 0 30690243 14318366720 91605 18446744073709551615 4194304 4196468 140735624446256 140300580624656 140300983236309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23810] ppid=23802 vsize=13982780 memory=1380 CPUtime=0.13 cores=0,2,4,6
/proc/23804/task/23810/stat : 23810 (java) S 23802 23802 7968 0 -1 1077944384 1531 0 0 0 11 2 0 0 20 0 15 0 30690244 14318366720 91605 18446744073709551615 4194304 4196468 140735624446256 140299899968368 140300983237250 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23811] ppid=23802 vsize=13982780 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23804/task/23811/stat : 23811 (java) S 23802 23802 7968 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 30690245 14318366720 91605 18446744073709551615 4194304 4196468 140735624446256 140299898914400 140300983236309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23812] ppid=23802 vsize=13982780 memory=301876 CPUtime=0 cores=0,2,4,6
/proc/23804/task/23812/stat : 23812 (java) S 23802 23802 7968 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 30690245 14318366720 91605 18446744073709551615 4194304 4196468 140735624446256 140299897861488 140300983236309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23813] ppid=23802 vsize=13982780 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23804/task/23813/stat : 23813 (java) S 23802 23802 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30690247 14318366720 91605 18446744073709551615 4194304 4196468 140735624446256 140299896809808 140300983244699 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23814] ppid=23802 vsize=13982780 memory=19128 CPUtime=5.17 cores=0,2,4,6
/proc/23804/task/23814/stat : 23814 (java) S 23802 23802 7968 0 -1 1077944384 25063 0 0 0 515 2 0 0 20 0 15 0 30690248 14318366720 91605 18446744073709551615 4194304 4196468 140735624446256 140299895757168 140300983237250 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23815] ppid=23802 vsize=13982780 memory=4124 CPUtime=5.39 cores=0,2,4,6
/proc/23804/task/23815/stat : 23815 (java) S 23802 23802 7968 0 -1 1077944384 20737 0 0 0 537 2 0 0 20 0 15 0 30690248 14318366720 91605 18446744073709551615 4194304 4196468 140735624446256 140299894704368 140300983237250 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23816] ppid=23802 vsize=13982780 memory=19128 CPUtime=1.09 cores=0,2,4,6
/proc/23804/task/23816/stat : 23816 (java) S 23802 23802 7968 0 -1 1077944384 12878 0 0 0 107 2 0 0 20 0 15 0 30690248 14318366720 91605 18446744073709551615 4194304 4196468 140735624446256 140299893651568 140300983237250 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23817] ppid=23802 vsize=13982780 memory=12056 CPUtime=0 cores=0,2,4,6
/proc/23804/task/23817/stat : 23817 (java) S 23802 23802 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30690248 14318366720 91605 18446744073709551615 4194304 4196468 140735624446256 140299892599008 140300983236309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
[pid=23804/tid=23818] ppid=23802 vsize=13982780 memory=1236 CPUtime=0.07 cores=0,2,4,6
/proc/23804/task/23818/stat : 23818 (java) S 23802 23802 7968 0 -1 1077944384 853 0 0 0 4 3 0 0 20 0 15 0 30690252 14318366720 91605 18446744073709551615 4194304 4196468 140735624446256 140299891547312 140300983237250 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140735624454578 140735624454754 140735624454754 140735624458191 0
Current children cumulated CPU time: 220.55 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 367800 KiB

Child status: 0
Real time (s): 207.778
CPU time (s): 220.701
CPU user time (s): 220.035
CPU system time (s): 0.665556
CPU usage (%): 106.22
Max. virtual memory (cumulated for all children) (KiB): 13992812
Max. memory (cumulated for all children) (KiB): 680840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 220.035
system time used= 0.665556
maximum resident set size= 681508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90099
page faults= 0
swaps= 0
block input operations= 0
block output operations= 352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10621
involuntary context switches= 466


# summary of solver processes directly reported to runsolver:
#   pid: 23802
#   total CPU time (s): 220.701
#   total CPU user time (s): 220.035
#   total CPU system time (s): 0.665556

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.66942 second user time and 1.70573 second system time

The end

Begin job on node128 at 2017-08-15 05:20:39
IDJOB=4272370
IDBENCH=125570
IDSOLVER=2664
FILE ID=node128/4272370-1502768076
RUNJOBID= node128-1502649221-29000
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/DeBruijnSequence/DeBruijnSequence-m1-s1/DeBruijnSequence-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-4272370-1502768076/watcher-4272370-1502768076 -o /tmp/evaluation-result-4272370-1502768076/solver-4272370-1502768076 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502649221-29000 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1157060045 HOME/instance-4272370-1502768076.xml

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

MD5SUM BENCH= 51af40833062bacbe569ad61b7e4d8a4
RANDOM SEED=1157060045

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30334392 kB
MemAvailable:   31189416 kB
Buffers:          215348 kB
Cached:           924244 kB
SwapCached:            0 kB
Active:          1180532 kB
Inactive:         836932 kB
Active(anon):     878416 kB
Inactive(anon):    16764 kB
Active(file):     302116 kB
Inactive(file):   820168 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7824 kB
Writeback:            16 kB
AnonPages:        877220 kB
Mapped:            50320 kB
Shmem:             17116 kB
Slab:             122368 kB
SReclaimable:      97148 kB
SUnreclaim:        25220 kB
KernelStack:        3552 kB
PageTables:         7544 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1446944 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    800768 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

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