Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 4.0.5 par (2017-08-18) | SAT | 67.580101 | 10.2147 |
Name | DeBruijnSequence/DeBruijnSequence-m1-s1/ DeBruijnSequence-02-09.xml |
MD5SUM | 51af40833062bacbe569ad61b7e4d8a4 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 3.17786 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 5122 |
Number of constraints | 4611 |
Number of domains | 3 |
Minimum domain size | 2 |
Maximum domain size | 513 |
Distribution of domain sizes | [{"size":2,"count":4608},{"size":512,"count":512},{"size":513,"count":2}] |
Minimum variable degree | 1 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":1,"count":2},{"degree":2,"count":512},{"degree":3,"count":4608}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 514 |
Distribution of constraint arities | [{"arity":2,"count":4096},{"arity":10,"count":512},{"arity":512,"count":2},{"arity":514,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 4096 |
Distribution of constraint types | [{"type":"intension","count":4096},{"type":"allDifferent","count":1},{"type":"sum","count":512},{"type":"cardinality","count":1},{"type":"minimum","count":1}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280710-1503134877.xml" -tl '20160s' -p 8 -x 0 0.11/0.15 c [HOME/instance-4280710-1503134877.xml, -tl, 20160s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.32/0.27 c parse instance... 9.68/2.82 c solve instance... 67.11/10.18 s SATISFIABLE 67.11/10.18 v <instantiation> 67.11/10.18 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> 67.11/10.19 v <values>0 1 3 7 15 31 63 127 255 511 510 509 507 503 495 479 447 383 254 508 505 499 487 463 415 319 126 253 506 501 491 471 431 351 191 382 252 504 497 483 455 399 287 62 125 251 502 493 475 439 367 223 446 381 250 500 489 467 423 335 159 318 124 249 498 485 459 407 303 95 190 380 248 496 481 451 391 271 30 61 123 247 494 477 443 375 239 478 445 379 246 492 473 435 359 207 414 317 122 245 490 469 427 343 175 350 189 378 244 488 465 419 327 143 286 60 121 243 486 461 411 311 111 222 444 377 242 484 457 403 295 79 158 316 120 241 482 453 395 279 47 94 188 376 240 480 449 387 263 14 29 59 119 238 476 441 371 231 462 413 315 118 237 474 437 363 215 430 349 187 374 236 472 433 355 199 398 285 58 117 235 470 429 347 183 366 221 442 373 234 468 425 339 167 334 157 314 116 233 466 421 331 151 302 93 186 372 232 464 417 323 135 270 28 57 115 230 460 409 307 103 206 412 313 114 229 458 405 299 87 174 348 185 370 228 456 401 291 71 142 284 56 113 227 454 397 283 55 110 220 440 369 226 452 393 275 39 78 156 312 112 225 450 389 267 23 46 92 184 368 224 448 385 259 6 13 27 54 109 219 438 365 218 436 361 211 422 333 155 310 108 217 434 357 203 406 301 91 182 364 216 432 353 195 390 269 26 53 107 214 428 345 179 358 205 410 309 106 213 426 341 171 342 173 346 181 362 212 424 337 163 326 141 282 52 105 210 420 329 147 294 77 154 308 104 209 418 325 139 278 45 90 180 360 208 416 321 131 262 12 25 51 102 204 408 305 99 198 396 281 50 101 202 404 297 83 166 332 153 306 100 201 402 293 75 150 300 89 178 356 200 400 289 67 134 268 24 49 98 197 394 277 43 86 172 344 177 354 196 392 273 35 70 140 280 48 97 194 388 265 19 38 76 152 304 96 193 386 261 11 22 44 88 176 352 192 384 257 2 5 10 21 42 85 170 340 169 338 165 330 149 298 84 168 336 161 322 133 266 20 41 82 164 328 145 290 69 138 276 40 81 162 324 137 274 37 74 148 296 80 160 320 129 258 4 9 18 36 73 146 292 72 144 288 65 130 260 8 17 34 68 136 272 33 66 132 264 16 32 64 128 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 1 0 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 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 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 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 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 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 0 0 0 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 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 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 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 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 0 0 0 0 1 1 1 1 0 1 0 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 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 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 0 0 1 1 1 1 0 1 0 1 1 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1 0 0 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 0 0 1 1 1 1 0 1 0 0 1 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 1 0 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 0 1 0 1 1 1 1 0 0 1 0 1 1 1 1 0 0 1 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 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 0 1 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 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 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 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 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 1 1 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 1 1 1 0 0 0 1 1 1 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 1 0 1 1 1 0 1 0 1 1 1 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 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 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 0 1 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 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 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 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 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 0 1 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 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 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 0 1 1 0 1 1 1 0 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 0 0 0 1 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 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 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 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 1 0 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 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 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 0 0 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 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 0 0 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 0 0 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 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 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 1 1 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 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 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 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 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 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 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 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 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 0 1 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 1 0 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 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 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 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 0 1 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 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 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 1 1 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 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 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 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 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 0 1 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 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 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 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 0 0 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 0 1 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 0 256 256 </values> 67.11/10.19 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 (12617 MiB free) memory of node 1: 16384 MiB (13790 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280710-1503134877/watcher-4280710-1503134877 -o /tmp/evaluation-result-4280710-1503134877/solver-4280710-1503134877 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1503131349-10806 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 703997920 HOME/instance-4280710-1503134877.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=12448, runsolver pid=12445 Current StackSize limit: 8192 KiB [startup+0.10011 s]* /proc/loadavg: 6.82 7.31 7.85 2/199 12469 /proc/meminfo: memFree=27027472/32770624 swapFree=67108860/67108860 [pid=12448] ppid=12445 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/12448/stat : 12448 (xcsp3-exec) S 12445 12448 10779 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146575806 9740288 346 33554432000 4194304 5098028 140731587878864 140731587876968 140040343581308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34205696 140731587884133 140731587884343 140731587884343 140731587887083 0 /proc/12448/statm: 2378 346 289 221 0 87 0 [pid=12450] ppid=12448 vsize=25999808 memory=25652 CPUtime=0.11 cores=0-7 /proc/12450/stat : 12450 (java) S 12448 12448 10779 0 -1 1077944320 5318 0 0 0 10 1 0 0 20 0 20 0 146575806 26623803392 6413 33554432000 4194304 4196468 140730058604816 140730058587360 139987511877367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 /proc/12450/statm: 6499952 6413 2856 1 0 6488269 0 [pid=12450/tid=12451] ppid=12448 vsize=25999808 memory=7968726398794635676 CPUtime=0.09 cores=0-7 /proc/12450/task/12451/stat : 12451 (java) R 12448 12448 10779 0 -1 4202560 3292 0 0 0 8 1 0 0 20 0 20 0 146575807 26623803392 6413 33554432000 4194304 4196468 140730058604816 139987516109696 139987511889302 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12452] ppid=12448 vsize=25999808 memory=732370161584298981 CPUtime=0 cores=0-7 /proc/12450/task/12452/stat : 12452 (java) S 12448 12448 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146575807 26623803392 6413 33554432000 4194304 4196468 140730058604816 139987481590672 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12453] ppid=12448 vsize=25999808 memory=140023246845568 CPUtime=0 cores=0-7 /proc/12450/task/12453/stat : 12453 (java) S 12448 12448 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146575807 26623803392 6413 33554432000 4194304 4196468 140730058604816 139987068726032 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12454] ppid=12448 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12450/task/12454/stat : 12454 (java) S 12448 12448 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146575807 26623803392 6413 33554432000 4194304 4196468 140730058604816 139987067673744 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12455] ppid=12448 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12450/task/12455/stat : 12455 (java) S 12448 12448 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146575807 26623803392 6413 33554432000 4194304 4196468 140730058604816 139987066620944 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12456] ppid=12448 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12450/task/12456/stat : 12456 (java) S 12448 12448 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146575807 26623803392 6413 33554432000 4194304 4196468 140730058604816 139987065567632 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12457] ppid=12448 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/12450/task/12457/stat : 12457 (java) S 12448 12448 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146575807 26623803392 6413 33554432000 4194304 4196468 140730058604816 139987064514832 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12458] ppid=12448 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12450/task/12458/stat : 12458 (java) S 12448 12448 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146575807 26623803392 6413 33554432000 4194304 4196468 140730058604816 139987063462544 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12459] ppid=12448 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12450/task/12459/stat : 12459 (java) S 12448 12448 10779 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146575807 26623803392 6413 33554432000 4194304 4196468 140730058604816 139987062409744 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12460] ppid=12448 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12450/task/12460/stat : 12460 (java) S 12448 12448 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146575809 26623803392 6413 33554432000 4194304 4196468 140730058604816 139986639268464 139987511888514 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12461] ppid=12448 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12450/task/12461/stat : 12461 (java) S 12448 12448 10779 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146575809 26623803392 6413 33554432000 4194304 4196468 140730058604816 139986638214432 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12462] ppid=12448 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12450/task/12462/stat : 12462 (java) S 12448 12448 10779 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146575810 26623803392 6413 33554432000 4194304 4196468 140730058604816 139986637162096 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12463] ppid=12448 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12450/task/12463/stat : 12463 (java) S 12448 12448 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146575812 26623803392 6413 33554432000 4194304 4196468 140730058604816 139986636110416 139987511895963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12464] ppid=12448 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12450/task/12464/stat : 12464 (java) S 12448 12448 10779 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 146575812 26623803392 6413 33554432000 4194304 4196468 140730058604816 139986635057264 139987511888514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12465] ppid=12448 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12450/task/12465/stat : 12465 (java) S 12448 12448 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146575812 26623803392 6413 33554432000 4194304 4196468 140730058604816 139986634004464 139987511888514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12466] ppid=12448 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12450/task/12466/stat : 12466 (java) S 12448 12448 10779 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 20 0 146575812 26623803392 6413 33554432000 4194304 4196468 140730058604816 139986632952176 139987511888514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12467] ppid=12448 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/12450/task/12467/stat : 12467 (java) R 12448 12448 10779 0 -1 4202560 284 0 0 0 1 0 0 0 20 0 20 0 146575812 26623803392 6413 33554432000 4194304 4196468 140730058604816 139986631899376 139987490577568 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12468] ppid=12448 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12450/task/12468/stat : 12468 (java) S 12448 12448 10779 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146575812 26623803392 6413 33554432000 4194304 4196468 140730058604816 139986630847328 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12469] ppid=12448 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/12450/task/12469/stat : 12469 (java) S 12448 12448 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146575812 26623803392 6413 33554432000 4194304 4196468 140730058604816 139986629794608 139987511888514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 27036 KiB [startup+0.210205 s]* /proc/loadavg: 6.82 7.31 7.85 2/199 12469 /proc/meminfo: memFree=27017928/32770624 swapFree=67108860/67108860 [pid=12448] ppid=12445 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/12448/stat : 12448 (xcsp3-exec) S 12445 12448 10779 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146575806 9740288 346 33554432000 4194304 5098028 140731587878864 140731587876968 140040343581308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34205696 140731587884133 140731587884343 140731587884343 140731587887083 0 /proc/12448/statm: 2378 346 289 221 0 87 0 [pid=12450] ppid=12448 vsize=26004064 memory=37592 CPUtime=0.32 cores=0-7 /proc/12450/stat : 12450 (java) S 12448 12448 10779 0 -1 1077944320 8046 0 0 0 30 2 0 0 20 0 20 0 146575806 26628161536 9398 33554432000 4194304 4196468 140730058604816 140730058587360 139987511877367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 /proc/12450/statm: 6501016 9398 3014 1 0 6488269 0 [pid=12450/tid=12451] ppid=12448 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7 /proc/12450/task/12451/stat : 12451 (java) R 12448 12448 10779 0 -1 4202560 5005 0 0 0 18 1 0 0 20 0 20 0 146575807 26628161536 9398 33554432000 4194304 4196468 140730058604816 139987516090320 139987495957854 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12452] ppid=12448 vsize=26004064 memory=732370161584298981 CPUtime=0 cores=0-7 /proc/12450/task/12452/stat : 12452 (java) S 12448 12448 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146575807 26628161536 9398 33554432000 4194304 4196468 140730058604816 139987481590672 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12453] ppid=12448 vsize=26004064 memory=140023246845568 CPUtime=0 cores=0-7 /proc/12450/task/12453/stat : 12453 (java) S 12448 12448 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146575807 26628161536 9398 33554432000 4194304 4196468 140730058604816 139987068726032 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12454] ppid=12448 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/12450/task/12454/stat : 12454 (java) S 12448 12448 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146575807 26628161536 9398 33554432000 4194304 4196468 140730058604816 139987067673744 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12455] ppid=12448 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/12450/task/12455/stat : 12455 (java) S 12448 12448 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146575807 26628161536 9398 33554432000 4194304 4196468 140730058604816 139987066620944 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12456] ppid=12448 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/12450/task/12456/stat : 12456 (java) S 12448 12448 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146575807 26628161536 9398 33554432000 4194304 4196468 140730058604816 139987065567632 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12457] ppid=12448 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/12450/task/12457/stat : 12457 (java) S 12448 12448 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146575807 26628161536 9398 33554432000 4194304 4196468 140730058604816 139987064514832 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12458] ppid=12448 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/12450/task/12458/stat : 12458 (java) S 12448 12448 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146575807 26628161536 9398 33554432000 4194304 4196468 140730058604816 139987063462544 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12459] ppid=12448 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/12450/task/12459/stat : 12459 (java) S 12448 12448 10779 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146575807 26628161536 9398 33554432000 4194304 4196468 140730058604816 139987062409744 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12460] ppid=12448 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/12450/task/12460/stat : 12460 (java) S 12448 12448 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146575809 26628161536 9398 33554432000 4194304 4196468 140730058604816 139986639268464 139987511888514 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12461] ppid=12448 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/12450/task/12461/stat : 12461 (java) S 12448 12448 10779 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146575809 26628161536 9398 33554432000 4194304 4196468 140730058604816 139986638214432 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12462] ppid=12448 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/12450/task/12462/stat : 12462 (java) S 12448 12448 10779 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146575810 26628161536 9398 33554432000 4194304 4196468 140730058604816 139986637162096 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12463] ppid=12448 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/12450/task/12463/stat : 12463 (java) S 12448 12448 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146575812 26628161536 9398 33554432000 4194304 4196468 140730058604816 139986636110416 139987511895963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12464] ppid=12448 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/12450/task/12464/stat : 12464 (java) S 12448 12448 10779 0 -1 1077944384 390 0 0 0 1 0 0 0 20 0 20 0 146575812 26628161536 9398 33554432000 4194304 4196468 140730058604816 139986635057264 139987511888514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12465] ppid=12448 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/12450/task/12465/stat : 12465 (java) S 12448 12448 10779 0 -1 1077944384 109 0 0 0 1 0 0 0 20 0 20 0 146575812 26628161536 9398 33554432000 4194304 4196468 140730058604816 139986634004464 139987511888514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12466] ppid=12448 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/12450/task/12466/stat : 12466 (java) S 12448 12448 10779 0 -1 1077944384 388 0 0 0 1 0 0 0 20 0 20 0 146575812 26628161536 9398 33554432000 4194304 4196468 140730058604816 139986632952176 139987511888514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12467] ppid=12448 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7 /proc/12450/task/12467/stat : 12467 (java) S 12448 12448 10779 0 -1 1077944384 845 0 0 0 7 0 0 0 20 0 20 0 146575812 26628161536 9398 33554432000 4194304 4196468 140730058604816 139986631899376 139987511888514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12468] ppid=12448 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/12450/task/12468/stat : 12468 (java) S 12448 12448 10779 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146575812 26628161536 9398 33554432000 4194304 4196468 140730058604816 139986630847328 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12469] ppid=12448 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/12450/task/12469/stat : 12469 (java) S 12448 12448 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146575812 26628161536 9398 33554432000 4194304 4196468 140730058604816 139986629794608 139987511888514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 Current children cumulated CPU time: 0.32 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 38976 KiB [startup+0.309375 s]* /proc/loadavg: 6.82 7.31 7.85 4/199 12469 /proc/meminfo: memFree=27011468/32770624 swapFree=67108860/67108860 [pid=12448] ppid=12445 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/12448/stat : 12448 (xcsp3-exec) S 12445 12448 10779 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146575806 9740288 346 33554432000 4194304 5098028 140731587878864 140731587876968 140040343581308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34205696 140731587884133 140731587884343 140731587884343 140731587887083 0 /proc/12448/statm: 2378 346 289 221 0 87 0 [pid=12450] ppid=12448 vsize=26004064 memory=42492 CPUtime=0.5 cores=0-7 /proc/12450/stat : 12450 (java) S 12448 12448 10779 0 -1 1077944320 8958 0 0 0 47 3 0 0 20 0 20 0 146575806 26628161536 10623 33554432000 4194304 4196468 140730058604816 140730058587360 139987511877367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 /proc/12450/statm: 6501016 10623 3043 1 0 6488269 0 [pid=12450/tid=12451] ppid=12448 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/12450/task/12451/stat : 12451 (java) R 12448 12448 10779 0 -1 4202560 5686 0 0 0 27 2 0 0 20 0 20 0 146575807 26628161536 10623 33554432000 4194304 4196468 140730058604816 139987516116704 139987147891045 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12452] ppid=12448 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/12450/task/12452/stat : 12452 (java) S 12448 12448 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146575807 26628161536 10623 33554432000 4194304 4196468 140730058604816 139987481590672 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12453] ppid=12448 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/12450/task/12453/stat : 12453 (java) S 12448 12448 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146575807 26628161536 10623 33554432000 4194304 4196468 140730058604816 139987068726032 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12454] ppid=12448 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/12450/task/12454/stat : 12454 (java) S 12448 12448 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146575807 26628161536 10623 33554432000 4194304 4196468 140730058604816 139987067673744 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12455] ppid=12448 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/12450/task/12455/stat : 12455 (java) S 12448 12448 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146575807 26628161536 10623 33554432000 4194304 4196468 140730058604816 139987066620944 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12456] ppid=12448 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/12450/task/12456/stat : 12456 (java) S 12448 12448 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146575807 26628161536 10623 33554432000 4194304 4196468 140730058604816 139987065567632 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12457] ppid=12448 vsize=26004064 memory=140023114593199 CPUtime=0 cores=0-7 /proc/12450/task/12457/stat : 12457 (java) S 12448 12448 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146575807 26628161536 10623 33554432000 4194304 4196468 140730058604816 139987064514832 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12458] ppid=12448 vsize=26004064 memory=140023114595504 CPUtime=0 cores=0-7 /proc/12450/task/12458/stat : 12458 (java) S 12448 12448 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146575807 26628161536 10623 33554432000 4194304 4196468 140730058604816 139987063462544 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12459] ppid=12448 vsize=26004064 memory=140023114597808 CPUtime=0 cores=0-7 /proc/12450/task/12459/stat : 12459 (java) S 12448 12448 10779 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146575807 26628161536 10623 33554432000 4194304 4196468 140730058604816 139987062409744 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12460] ppid=12448 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/12450/task/12460/stat : 12460 (java) S 12448 12448 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146575809 26628161536 10623 33554432000 4194304 4196468 140730058604816 139986639268464 139987511888514 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12461] ppid=12448 vsize=26004064 memory=280046229202576 CPUtime=0 cores=0-7 /proc/12450/task/12461/stat : 12461 (java) S 12448 12448 10779 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146575809 26628161536 10623 33554432000 4194304 4196468 140730058604816 139986638214432 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12462] ppid=12448 vsize=26004064 memory=280046229209488 CPUtime=0 cores=0-7 /proc/12450/task/12462/stat : 12462 (java) S 12448 12448 10779 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146575810 26628161536 10623 33554432000 4194304 4196468 140730058604816 139986637162096 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12463] ppid=12448 vsize=26004064 memory=280046229150768 CPUtime=0 cores=0-7 /proc/12450/task/12463/stat : 12463 (java) S 12448 12448 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146575812 26628161536 10623 33554432000 4194304 4196468 140730058604816 139986636110416 139987511895963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12464] ppid=12448 vsize=26004064 memory=280046229223312 CPUtime=0.01 cores=0-7 /proc/12450/task/12464/stat : 12464 (java) S 12448 12448 10779 0 -1 1077944384 390 0 0 0 1 0 0 0 20 0 20 0 146575812 26628161536 10623 33554432000 4194304 4196468 140730058604816 139986635057264 139987511888514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12465] ppid=12448 vsize=26004064 memory=280046229230224 CPUtime=0.02 cores=0-7 /proc/12450/task/12465/stat : 12465 (java) R 12448 12448 10779 0 -1 1077944384 192 0 0 0 2 0 0 0 20 0 20 0 146575812 26628161536 10623 33554432000 4194304 4196468 140730058604816 139986634004464 139987511888514 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12466] ppid=12448 vsize=26004064 memory=280046229227920 CPUtime=0.02 cores=0-7 /proc/12450/task/12466/stat : 12466 (java) S 12448 12448 10779 0 -1 1077944384 390 0 0 0 2 0 0 0 20 0 20 0 146575812 26628161536 10623 33554432000 4194304 4196468 140730058604816 139986632952176 139987511888514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12467] ppid=12448 vsize=26004064 memory=280046229244080 CPUtime=0.12 cores=0-7 /proc/12450/task/12467/stat : 12467 (java) R 12448 12448 10779 0 -1 4202560 989 0 0 0 12 0 0 0 20 0 20 0 146575812 26628161536 10623 33554432000 4194304 4196468 140730058604816 139986631894640 139987490243764 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12468] ppid=12448 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/12450/task/12468/stat : 12468 (java) S 12448 12448 10779 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146575812 26628161536 10623 33554432000 4194304 4196468 140730058604816 139986630847328 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12469] ppid=12448 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/12450/task/12469/stat : 12469 (java) S 12448 12448 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146575812 26628161536 10623 33554432000 4194304 4196468 140730058604816 139986629794608 139987511888514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 Current children cumulated CPU time: 0.5 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 43876 KiB [startup+0.700907 s] /proc/loadavg: 6.82 7.31 7.85 6/199 12469 /proc/meminfo: memFree=26986152/32770624 swapFree=67108860/67108860 [pid=12448] ppid=12445 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/12448/stat : 12448 (xcsp3-exec) S 12445 12448 10779 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146575806 9740288 346 33554432000 4194304 5098028 140731587878864 140731587876968 140040343581308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34205696 140731587884133 140731587884343 140731587884343 140731587887083 0 /proc/12448/statm: 2378 346 289 221 0 87 0 [pid=12450] ppid=12448 vsize=26006188 memory=105576 CPUtime=2.06 cores=0-7 /proc/12450/stat : 12450 (java) S 12448 12448 10779 0 -1 1077944320 13330 0 0 0 200 6 0 0 20 0 20 0 146575806 26630336512 26394 33554432000 4194304 4196468 140730058604816 140730058587360 139987511877367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 /proc/12450/statm: 6501547 26394 3201 1 0 6488781 0 [pid=12450/tid=12451] ppid=12448 vsize=26006188 memory=280046229539008 CPUtime=0.67 cores=0-7 /proc/12450/task/12451/stat : 12451 (java) R 12448 12448 10779 0 -1 4202560 6201 0 0 0 64 3 0 0 20 0 20 0 146575807 26630336512 26394 33554432000 4194304 4196468 140730058604816 139987516099104 139987495957854 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12452] ppid=12448 vsize=26006188 memory=1012 CPUtime=0 cores=0-7 /proc/12450/task/12452/stat : 12452 (java) S 12448 12448 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146575807 26630336512 26394 33554432000 4194304 4196468 140730058604816 139987481590672 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12453] ppid=12448 vsize=26006188 memory=1716 CPUtime=0 cores=0-7 /proc/12450/task/12453/stat : 12453 (java) S 12448 12448 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146575807 26630336512 26394 33554432000 4194304 4196468 140730058604816 139987068726032 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12454] ppid=12448 vsize=26006188 memory=5792 CPUtime=0 cores=0-7 /proc/12450/task/12454/stat : 12454 (java) S 12448 12448 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146575807 26630336512 26394 33554432000 4194304 4196468 140730058604816 139987067673744 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 ################ # More data... # ################ [pid=12450/tid=12457] ppid=12448 vsize=26538700 memory=140023114939184 CPUtime=0.27 cores=0-7 /proc/12450/task/12457/stat : 12457 (java) S 12448 12448 10779 0 -1 1077944384 1571 0 0 0 16 11 0 0 20 0 28 0 146575807 27175628800 310252 33554432000 4194304 4196468 140730058604816 139987064514832 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12458] ppid=12448 vsize=26538700 memory=0 CPUtime=0.28 cores=0-7 /proc/12450/task/12458/stat : 12458 (java) S 12448 12448 10779 0 -1 1077944384 370 0 0 0 17 11 0 0 20 0 28 0 146575807 27175628800 310252 33554432000 4194304 4196468 140730058604816 139987063462544 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12459] ppid=12448 vsize=26538700 memory=0 CPUtime=0.24 cores=0-7 /proc/12450/task/12459/stat : 12459 (java) S 12448 12448 10779 0 -1 1077944384 386 0 0 0 15 9 0 0 20 0 28 0 146575807 27175628800 310252 33554432000 4194304 4196468 140730058604816 139987062409744 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12460] ppid=12448 vsize=26538700 memory=0 CPUtime=0.01 cores=0-7 /proc/12450/task/12460/stat : 12460 (java) S 12448 12448 10779 0 -1 1077944384 972 0 0 0 1 0 0 0 20 0 28 0 146575809 27175628800 310252 33554432000 4194304 4196468 140730058604816 139986639268464 139987511888514 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12461] ppid=12448 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/12450/task/12461/stat : 12461 (java) S 12448 12448 10779 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 146575809 27175628800 310252 33554432000 4194304 4196468 140730058604816 139986638214496 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12462] ppid=12448 vsize=26538700 memory=57 CPUtime=0 cores=0-7 /proc/12450/task/12462/stat : 12462 (java) S 12448 12448 10779 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 146575810 27175628800 310252 33554432000 4194304 4196468 140730058604816 139986637162112 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12463] ppid=12448 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/12450/task/12463/stat : 12463 (java) S 12448 12448 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 146575812 27175628800 310252 33554432000 4194304 4196468 140730058604816 139986636110416 139987511895963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12464] ppid=12448 vsize=26538700 memory=0 CPUtime=2.88 cores=0-7 /proc/12450/task/12464/stat : 12464 (java) S 12448 12448 10779 0 -1 1077944384 8236 0 0 0 286 2 0 0 20 0 28 0 146575812 27175628800 310252 33554432000 4194304 4196468 140730058604816 139986635057264 139987511888514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12465] ppid=12448 vsize=26538700 memory=0 CPUtime=2.72 cores=0-7 /proc/12450/task/12465/stat : 12465 (java) S 12448 12448 10779 0 -1 1077944384 5103 0 0 0 271 1 0 0 20 0 28 0 146575812 27175628800 310252 33554432000 4194304 4196468 140730058604816 139986634004464 139987511888514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12466] ppid=12448 vsize=26538700 memory=0 CPUtime=2.97 cores=0-7 /proc/12450/task/12466/stat : 12466 (java) S 12448 12448 10779 0 -1 1077944384 5856 0 0 0 296 1 0 0 20 0 28 0 146575812 27175628800 310252 33554432000 4194304 4196468 140730058604816 139986632952176 139987511888514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12467] ppid=12448 vsize=26538700 memory=0 CPUtime=0.91 cores=0-7 /proc/12450/task/12467/stat : 12467 (java) S 12448 12448 10779 0 -1 1077944384 5805 0 0 0 90 1 0 0 20 0 28 0 146575812 27175628800 310252 33554432000 4194304 4196468 140730058604816 139986631899376 139987511888514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12468] ppid=12448 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/12450/task/12468/stat : 12468 (java) S 12448 12448 10779 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 146575812 27175628800 310252 33554432000 4194304 4196468 140730058604816 139986630847328 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12469] ppid=12448 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/12450/task/12469/stat : 12469 (java) S 12448 12448 10779 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 146575812 27175628800 310252 33554432000 4194304 4196468 140730058604816 139986629794608 139987511888514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12470] ppid=12448 vsize=26538700 memory=0 CPUtime=6.11 cores=0-7 /proc/12450/task/12470/stat : 12470 (java) R 12448 12448 10779 0 -1 4202560 343 0 0 0 610 1 0 0 20 0 28 0 146576091 27175628800 310252 33554432000 4194304 4196468 140730058604816 139986621783400 139987157629770 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12471] ppid=12448 vsize=26538700 memory=1384 CPUtime=6.05 cores=0-7 /proc/12450/task/12471/stat : 12471 (java) R 12448 12448 10779 0 -1 4202560 291 0 0 0 604 1 0 0 20 0 28 0 146576091 27175628800 310252 33554432000 4194304 4196468 140730058604816 139986620731472 139987157752440 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12472] ppid=12448 vsize=26538700 memory=874104 CPUtime=6.14 cores=0-7 /proc/12450/task/12472/stat : 12472 (java) R 12448 12448 10779 0 -1 4202560 563 0 0 0 610 4 0 0 20 0 28 0 146576091 27175628800 310252 33554432000 4194304 4196468 140730058604816 139986619678160 139987156859891 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12473] ppid=12448 vsize=26538700 memory=3 CPUtime=6.12 cores=0-7 /proc/12450/task/12473/stat : 12473 (java) R 12448 12448 10779 0 -1 4202560 565 0 0 0 610 2 0 0 20 0 28 0 146576091 27175628800 310252 33554432000 4194304 4196468 140730058604816 139986618625360 139987157703564 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12474] ppid=12448 vsize=26538700 memory=0 CPUtime=6.15 cores=0-7 /proc/12450/task/12474/stat : 12474 (java) R 12448 12448 10779 0 -1 4202560 302 0 0 0 613 2 0 0 20 0 28 0 146576091 27175628800 310252 33554432000 4194304 4196468 140730058604816 139986617572960 139987157703609 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12475] ppid=12448 vsize=26538700 memory=0 CPUtime=5.88 cores=0-7 /proc/12450/task/12475/stat : 12475 (java) R 12448 12448 10779 0 -1 4202560 829 0 0 0 586 2 0 0 20 0 28 0 146576091 27175628800 310252 33554432000 4194304 4196468 140730058604816 139986616520408 139987158824436 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12476] ppid=12448 vsize=26538700 memory=279 CPUtime=6.13 cores=0-7 /proc/12450/task/12476/stat : 12476 (java) R 12448 12448 10779 0 -1 4202560 330 0 0 0 611 2 0 0 20 0 28 0 146576091 27175628800 310252 33554432000 4194304 4196468 140730058604816 139986615467984 139987157628571 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12477] ppid=12448 vsize=26538700 memory=252 CPUtime=6.08 cores=0-7 /proc/12450/task/12477/stat : 12477 (java) R 12448 12448 10779 0 -1 4202560 462 0 0 0 605 3 0 0 20 0 28 0 146576092 27175628800 310252 33554432000 4194304 4196468 140730058604816 139986614415184 139987157704094 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 Current children cumulated CPU time: 63.09 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 1242392 KiB [startup+10.0015 s]* /proc/loadavg: 6.84 7.31 7.84 11/207 12477 /proc/meminfo: memFree=25677352/32770624 swapFree=67108860/67108860 [pid=12448] ppid=12445 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/12448/stat : 12448 (xcsp3-exec) S 12445 12448 10779 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146575806 9740288 346 33554432000 4194304 5098028 140731587878864 140731587876968 140040343581308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34205696 140731587884133 140731587884343 140731587884343 140731587887083 0 /proc/12448/statm: 2378 346 289 221 0 87 0 [pid=12450] ppid=12448 vsize=26538700 memory=1388668 CPUtime=66.31 cores=0-7 /proc/12450/stat : 12450 (java) S 12448 12448 10779 0 -1 1077944320 49348 0 0 0 6497 134 0 0 20 0 28 0 146575806 27175628800 347167 33554432000 4194304 4196468 140730058604816 140730058587360 139987511877367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 /proc/12450/statm: 6634675 347167 3287 1 0 6621909 0 [pid=12450/tid=12451] ppid=12448 vsize=26538700 memory=6791534058613427641 CPUtime=2.59 cores=0-7 /proc/12450/task/12451/stat : 12451 (java) S 12448 12448 10779 0 -1 1077944384 8924 0 0 0 252 7 0 0 20 0 28 0 146575807 27175628800 347167 33554432000 4194304 4196468 140730058604816 139987516118144 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12452] ppid=12448 vsize=26538700 memory=0 CPUtime=0.28 cores=0-7 /proc/12450/task/12452/stat : 12452 (java) R 12448 12448 10779 0 -1 4202560 327 0 0 0 17 11 0 0 20 0 28 0 146575807 27175628800 347167 33554432000 4194304 4196468 140730058604816 139987481590872 139987495260400 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12453] ppid=12448 vsize=26538700 memory=0 CPUtime=0.29 cores=0-7 /proc/12450/task/12453/stat : 12453 (java) R 12448 12448 10779 0 -1 4202560 398 0 0 0 18 11 0 0 20 0 28 0 146575807 27175628800 347167 33554432000 4194304 4196468 140730058604816 139987068726152 139987504505575 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12454] ppid=12448 vsize=26538700 memory=0 CPUtime=0.3 cores=0-7 /proc/12450/task/12454/stat : 12454 (java) R 12448 12448 10779 0 -1 4202560 516 0 0 0 19 11 0 0 20 0 28 0 146575807 27175628800 347167 33554432000 4194304 4196468 140730058604816 139987067673864 139987495260400 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12455] ppid=12448 vsize=26538700 memory=-7003737579269690708 CPUtime=0.3 cores=0-7 /proc/12450/task/12455/stat : 12455 (java) R 12448 12448 10779 0 -1 4202560 582 0 0 0 18 12 0 0 20 0 28 0 146575807 27175628800 347167 33554432000 4194304 4196468 140730058604816 139987066620944 139987497636184 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12456] ppid=12448 vsize=26538700 memory=2241 CPUtime=0.3 cores=0-7 /proc/12450/task/12456/stat : 12456 (java) R 12448 12448 10779 0 -1 12591168 1959 0 0 0 19 11 0 0 20 0 28 0 146575807 27175628800 347167 33554432000 4194304 4196468 140730058604816 139987065567832 139987496254480 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12457] ppid=12448 vsize=26538700 memory=2244 CPUtime=0.29 cores=0-7 /proc/12450/task/12457/stat : 12457 (java) R 12448 12448 10779 0 -1 4202560 1722 0 0 0 18 11 0 0 20 0 28 0 146575807 27175628800 347167 33554432000 4194304 4196468 140730058604816 139987064515032 139987504980844 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12458] ppid=12448 vsize=26538700 memory=0 CPUtime=0.3 cores=0-7 /proc/12450/task/12458/stat : 12458 (java) R 12448 12448 10779 0 -1 4202560 402 0 0 0 19 11 0 0 20 0 28 0 146575807 27175628800 347167 33554432000 4194304 4196468 140730058604816 139987063462544 139987495260402 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12459] ppid=12448 vsize=26538700 memory=0 CPUtime=0.27 cores=0-7 /proc/12450/task/12459/stat : 12459 (java) R 12448 12448 10779 0 -1 4202560 424 0 0 0 17 10 0 0 20 0 28 0 146575807 27175628800 347167 33554432000 4194304 4196468 140730058604816 139987062409744 139987497636184 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12460] ppid=12448 vsize=26538700 memory=0 CPUtime=0.01 cores=0-7 /proc/12450/task/12460/stat : 12460 (java) S 12448 12448 10779 0 -1 1077944384 1000 0 0 0 1 0 0 0 20 0 28 0 146575809 27175628800 347167 33554432000 4194304 4196468 140730058604816 139986639266976 139987511887573 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12461] ppid=12448 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/12450/task/12461/stat : 12461 (java) S 12448 12448 10779 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 146575809 27175628800 347167 33554432000 4194304 4196468 140730058604816 139986638214496 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12462] ppid=12448 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/12450/task/12462/stat : 12462 (java) S 12448 12448 10779 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 146575810 27175628800 347167 33554432000 4194304 4196468 140730058604816 139986637162112 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12463] ppid=12448 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/12450/task/12463/stat : 12463 (java) S 12448 12448 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 146575812 27175628800 347167 33554432000 4194304 4196468 140730058604816 139986636110416 139987511895963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12464] ppid=12448 vsize=26538700 memory=0 CPUtime=2.88 cores=0-7 /proc/12450/task/12464/stat : 12464 (java) S 12448 12448 10779 0 -1 1077944384 8236 0 0 0 286 2 0 0 20 0 28 0 146575812 27175628800 347167 33554432000 4194304 4196468 140730058604816 139986635057264 139987511888514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12465] ppid=12448 vsize=26538700 memory=0 CPUtime=2.85 cores=0-7 /proc/12450/task/12465/stat : 12465 (java) R 12448 12448 10779 0 -1 4202560 7907 0 0 0 284 1 0 0 20 0 28 0 146575812 27175628800 347167 33554432000 4194304 4196468 140730058604816 139986634004760 139987491123916 0 4 0 16800975 0 0 0 -1 3 0 0 12 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12466] ppid=12448 vsize=26538700 memory=0 CPUtime=2.97 cores=0-7 /proc/12450/task/12466/stat : 12466 (java) S 12448 12448 10779 0 -1 1077944384 5856 0 0 0 296 1 0 0 20 0 28 0 146575812 27175628800 347167 33554432000 4194304 4196468 140730058604816 139986632952176 139987511888514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12467] ppid=12448 vsize=26538700 memory=0 CPUtime=0.92 cores=0-7 /proc/12450/task/12467/stat : 12467 (java) S 12448 12448 10779 0 -1 1077944384 5825 0 0 0 91 1 0 0 20 0 28 0 146575812 27175628800 347167 33554432000 4194304 4196468 140730058604816 139986631899376 139987511888514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12468] ppid=12448 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/12450/task/12468/stat : 12468 (java) S 12448 12448 10779 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 146575812 27175628800 347167 33554432000 4194304 4196468 140730058604816 139986630847328 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12469] ppid=12448 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/12450/task/12469/stat : 12469 (java) S 12448 12448 10779 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 146575812 27175628800 347167 33554432000 4194304 4196468 140730058604816 139986629794608 139987511888514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12470] ppid=12448 vsize=26538700 memory=0 CPUtime=6.46 cores=0-7 /proc/12450/task/12470/stat : 12470 (java) S 12448 12448 10779 0 -1 1077944384 366 0 0 0 644 2 0 0 20 0 28 0 146576091 27175628800 347167 33554432000 4194304 4196468 140730058604816 139986621785680 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12471] ppid=12448 vsize=26538700 memory=0 CPUtime=6.42 cores=0-7 /proc/12450/task/12471/stat : 12471 (java) S 12448 12448 10779 0 -1 1077944384 311 0 0 0 640 2 0 0 20 0 28 0 146576091 27175628800 347167 33554432000 4194304 4196468 140730058604816 139986620731568 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12472] ppid=12448 vsize=26538700 memory=0 CPUtime=6.47 cores=0-7 /proc/12450/task/12472/stat : 12472 (java) S 12448 12448 10779 0 -1 1077944384 598 0 0 0 643 4 0 0 20 0 28 0 146576091 27175628800 347167 33554432000 4194304 4196468 140730058604816 139986619678160 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12473] ppid=12448 vsize=26538700 memory=0 CPUtime=6.45 cores=0-7 /proc/12450/task/12473/stat : 12473 (java) S 12448 12448 10779 0 -1 1077944384 585 0 0 0 642 3 0 0 20 0 28 0 146576091 27175628800 347167 33554432000 4194304 4196468 140730058604816 139986618625536 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12474] ppid=12448 vsize=26538700 memory=0 CPUtime=6.52 cores=0-7 /proc/12450/task/12474/stat : 12474 (java) S 12448 12448 10779 0 -1 1077944384 324 0 0 0 649 3 0 0 20 0 28 0 146576091 27175628800 347167 33554432000 4194304 4196468 140730058604816 139986617573024 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12475] ppid=12448 vsize=26538700 memory=0 CPUtime=6.23 cores=0-7 /proc/12450/task/12475/stat : 12475 (java) S 12448 12448 10779 0 -1 1077944384 855 0 0 0 620 3 0 0 20 0 28 0 146576091 27175628800 347167 33554432000 4194304 4196468 140730058604816 139986616520272 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12476] ppid=12448 vsize=26538700 memory=0 CPUtime=6.52 cores=0-7 /proc/12450/task/12476/stat : 12476 (java) S 12448 12448 10779 0 -1 1077944384 385 0 0 0 649 3 0 0 20 0 28 0 146576091 27175628800 347167 33554432000 4194304 4196468 140730058604816 139986615467984 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12477] ppid=12448 vsize=26538700 memory=0 CPUtime=6.45 cores=0-7 /proc/12450/task/12477/stat : 12477 (java) S 12448 12448 10779 0 -1 1077944384 484 0 0 0 642 3 0 0 20 0 28 0 146576092 27175628800 347167 33554432000 4194304 4196468 140730058604816 139986614415184 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 Current children cumulated CPU time: 66.31 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 1390052 KiB [startup+10.2012 s] /proc/loadavg: 6.84 7.31 7.84 11/207 12477 /proc/meminfo: memFree=25677352/32770624 swapFree=67108860/67108860 [pid=12448] ppid=12445 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/12448/stat : 12448 (xcsp3-exec) S 12445 12448 10779 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146575806 9740288 346 33554432000 4194304 5098028 140731587878864 140731587876968 140040343581308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34205696 140731587884133 140731587884343 140731587884343 140731587887083 0 /proc/12448/statm: 2378 346 289 221 0 87 0 [pid=12450] ppid=12448 vsize=26538700 memory=1390892 CPUtime=67.56 cores=0-7 /proc/12450/stat : 12450 (java) S 12448 12448 10779 0 -1 1077944320 52277 0 0 0 6621 135 0 0 20 0 19 0 146575806 27175628800 347723 33554432000 4194304 4196468 140730058604816 140730058587360 139987511877367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 /proc/12450/statm: 6634675 347723 3289 1 0 6621909 0 [pid=12450/tid=12451] ppid=12448 vsize=26538700 memory=53463752925526 CPUtime=2.61 cores=0-7 /proc/12450/task/12451/stat : 12451 (java) S 12448 12448 10779 0 -1 1077944384 9291 0 0 0 254 7 0 0 20 0 19 0 146575807 27175628800 347723 33554432000 4194304 4196468 140730058604816 139987516120208 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12452] ppid=12448 vsize=26538700 memory=53463752925527 CPUtime=0.29 cores=0-7 /proc/12450/task/12452/stat : 12452 (java) S 12448 12448 10779 0 -1 1077944384 327 0 0 0 18 11 0 0 20 0 19 0 146575807 27175628800 347723 33554432000 4194304 4196468 140730058604816 139987481590672 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12453] ppid=12448 vsize=26538700 memory=53463752925528 CPUtime=0.29 cores=0-7 /proc/12450/task/12453/stat : 12453 (java) S 12448 12448 10779 0 -1 1077944384 398 0 0 0 18 11 0 0 20 0 19 0 146575807 27175628800 347723 33554432000 4194304 4196468 140730058604816 139987068726032 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12454] ppid=12448 vsize=26538700 memory=280046230607408 CPUtime=0.3 cores=0-7 /proc/12450/task/12454/stat : 12454 (java) S 12448 12448 10779 0 -1 1077944384 516 0 0 0 19 11 0 0 20 0 19 0 146575807 27175628800 347723 33554432000 4194304 4196468 140730058604816 139987067673744 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12455] ppid=12448 vsize=26538700 memory=0 CPUtime=0.31 cores=0-7 /proc/12450/task/12455/stat : 12455 (java) S 12448 12448 10779 0 -1 1077944384 582 0 0 0 19 12 0 0 20 0 19 0 146575807 27175628800 347723 33554432000 4194304 4196468 140730058604816 139987066620944 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12456] ppid=12448 vsize=26538700 memory=280046230819616 CPUtime=0.31 cores=0-7 /proc/12450/task/12456/stat : 12456 (java) S 12448 12448 10779 0 -1 1077944384 2226 0 0 0 19 12 0 0 20 0 19 0 146575807 27175628800 347723 33554432000 4194304 4196468 140730058604816 139987065567632 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12457] ppid=12448 vsize=26538700 memory=0 CPUtime=0.29 cores=0-7 /proc/12450/task/12457/stat : 12457 (java) S 12448 12448 10779 0 -1 1077944384 1722 0 0 0 18 11 0 0 20 0 19 0 146575807 27175628800 347764 33554432000 4194304 4196468 140730058604816 139987064514832 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12458] ppid=12448 vsize=26538700 memory=280046230826432 CPUtime=0.31 cores=0-7 /proc/12450/task/12458/stat : 12458 (java) S 12448 12448 10779 0 -1 1077944384 402 0 0 0 20 11 0 0 20 0 18 0 146575807 27175628800 347764 33554432000 4194304 4196468 140730058604816 139987063462544 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12459] ppid=12448 vsize=26538700 memory=288230574492221466 CPUtime=0.28 cores=0-7 /proc/12450/task/12459/stat : 12459 (java) S 12448 12448 10779 0 -1 1077944384 424 0 0 0 18 10 0 0 20 0 18 0 146575807 27175628800 347764 33554432000 4194304 4196468 140730058604816 139987062409744 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12461] ppid=12448 vsize=26538700 memory=14412618299346734 CPUtime=0 cores=0-7 /proc/12450/task/12461/stat : 12461 (java) S 12448 12448 10779 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 18 0 146575809 27175628800 347764 33554432000 4194304 4196468 140730058604816 139986638214496 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12462] ppid=12448 vsize=26538700 memory=162565959 CPUtime=0 cores=0-7 /proc/12450/task/12462/stat : 12462 (java) S 12448 12448 10779 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 18 0 146575810 27175628800 347764 33554432000 4194304 4196468 140730058604816 139986637162112 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12463] ppid=12448 vsize=26538700 memory=7516653190148762257 CPUtime=0 cores=0-7 /proc/12450/task/12463/stat : 12463 (java) S 12448 12448 10779 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 18 0 146575812 27175628800 347736 33554432000 4194304 4196468 140730058604816 139986636110064 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12464] ppid=12448 vsize=26538700 memory=4640231884740912999 CPUtime=2.88 cores=0-7 /proc/12450/task/12464/stat : 12464 (java) S 12448 12448 10779 0 -1 1077944384 8260 0 0 0 286 2 0 0 20 0 17 0 146575812 27175628800 347736 33554432000 4194304 4196468 140730058604816 139986635057264 139987511888514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12465] ppid=12448 vsize=26538700 memory=8099561564667007843 CPUtime=2.99 cores=0-7 /proc/12450/task/12465/stat : 12465 (java) S 12448 12448 10779 0 -1 1077944384 8892 0 0 0 297 2 0 0 20 0 17 0 146575812 27175628800 347736 33554432000 4194304 4196468 140730058604816 139986633989536 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12466] ppid=12448 vsize=26538700 memory=5866611791061346647 CPUtime=2.97 cores=0-7 /proc/12450/task/12466/stat : 12466 (java) S 12448 12448 10779 0 -1 1077944384 5867 0 0 0 296 1 0 0 20 0 17 0 146575812 27175628800 347736 33554432000 4194304 4196468 140730058604816 139986632952176 139987511888514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12467] ppid=12448 vsize=26538700 memory=7809918392997536618 CPUtime=0.93 cores=0-7 /proc/12450/task/12467/stat : 12467 (java) S 12448 12448 10779 0 -1 1077944384 5935 0 0 0 92 1 0 0 20 0 17 0 146575812 27175628800 347736 33554432000 4194304 4196468 140730058604816 139986631894752 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 [pid=12450/tid=12468] ppid=12448 vsize=26538700 memory=-9109213556524817781 CPUtime=0 cores=0-7 /proc/12450/task/12468/stat : 12468 (java) S 12448 12448 10779 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 146575812 27175628800 347736 33554432000 4194304 4196468 140730058604816 139986630847328 139987511887573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22069248 140730058609810 140730058609987 140730058609987 140730058612687 0 Current children cumulated CPU time: 67.56 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 1392276 KiB Child status: 0 Real time (s): 10.2147 CPU time (s): 67.5801 CPU user time (s): 66.2163 CPU system time (s): 1.36381 CPU usage (%): 661.598 Max. virtual memory (cumulated for all children) (KiB): 26548212 Max. memory (cumulated for all children) (KiB): 1392676 getrusage(RUSAGE_CHILDREN,...) data: user time used= 66.2163 system time used= 1.3638 maximum resident set size= 1391388 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 52838 page faults= 0 swaps= 0 block input operations= 0 block output operations= 168 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5149 involuntary context switches= 1379 # summary of solver processes directly reported to runsolver: # pid: 12448 # total CPU time (s): 67.5801 # total CPU user time (s): 66.2163 # total CPU system time (s): 1.36381 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.114033 second user time and 0.153427 second system time The end
Begin job on node103 at 2017-08-19 11:13:37 IDJOB=4280710 IDBENCH=125570 IDSOLVER=2675 FILE ID=node103/4280710-1503134877 RUNJOBID= node103-1503131349-10806 PBS_JOBID= 20630787 Free space on /tmp= 61652 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/DeBruijnSequence/DeBruijnSequence-m1-s1/DeBruijnSequence-02-09.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4280710-1503134877/watcher-4280710-1503134877 -o /tmp/evaluation-result-4280710-1503134877/solver-4280710-1503134877 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1503131349-10806 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 703997920 HOME/instance-4280710-1503134877.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 51af40833062bacbe569ad61b7e4d8a4 RANDOM SEED=703997920 node103.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.56 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.56 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.56 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.56 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: 27042500 kB MemAvailable: 31973188 kB Buffers: 231432 kB Cached: 4993324 kB SwapCached: 0 kB Active: 995772 kB Inactive: 4284076 kB Active(anon): 4472 kB Inactive(anon): 86700 kB Active(file): 991300 kB Inactive(file): 4197376 kB Unevictable: 7496 kB Mlocked: 7496 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8272 kB Writeback: 12 kB AnonPages: 62320 kB Mapped: 50684 kB Shmem: 33420 kB Slab: 142104 kB SReclaimable: 115696 kB SUnreclaim: 26408 kB KernelStack: 3184 kB PageTables: 5132 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 333264 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61644 MiB End job on node103 at 2017-08-19 11:13:48