| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| choco-solver 2019-06-14 parallel | SAT | 73.89 | 11.4895 |
| 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 | 2.88246 |
| 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 -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393645-1568425030.xml" -tl '20160s' -p 8 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4393645-1568425030.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 11.78/3.52 c solve instance... 73.76/11.47 s SATISFIABLE 73.76/11.47 v <instantiation> 73.76/11.47 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> 73.76/11.47 v <values>0 1 2 4 8 16 32 64 128 257 3 6 12 24 48 96 192 385 258 5 10 20 40 80 160 320 129 259 7 14 28 56 112 224 449 386 260 9 18 36 72 144 288 65 130 261 11 22 44 88 176 352 193 387 262 13 26 52 104 208 416 321 131 263 15 30 60 120 240 481 450 388 264 17 34 68 136 272 33 66 132 265 19 38 76 152 304 97 194 389 266 21 42 84 168 336 161 322 133 267 23 46 92 184 368 225 451 390 268 25 50 100 200 400 289 67 134 269 27 54 108 216 432 353 195 391 270 29 58 116 232 464 417 323 135 271 31 62 124 248 497 482 452 392 273 35 70 140 280 49 98 196 393 274 37 74 148 296 81 162 324 137 275 39 78 156 312 113 226 453 394 276 41 82 164 328 145 290 69 138 277 43 86 172 344 177 354 197 395 278 45 90 180 360 209 418 325 139 279 47 94 188 376 241 483 454 396 281 51 102 204 408 305 99 198 397 282 53 106 212 424 337 163 326 141 283 55 110 220 440 369 227 455 398 284 57 114 228 456 401 291 71 142 285 59 118 236 472 433 355 199 399 286 61 122 244 488 465 419 327 143 287 63 126 252 505 498 484 457 402 292 73 146 293 75 150 300 89 178 356 201 403 294 77 154 308 105 210 420 329 147 295 79 158 316 121 242 485 458 404 297 83 166 332 153 306 101 202 405 298 85 170 340 169 338 165 330 149 299 87 174 348 185 370 229 459 406 301 91 182 364 217 434 357 203 407 302 93 186 372 233 466 421 331 151 303 95 190 380 249 499 486 460 409 307 103 206 412 313 115 230 461 410 309 107 214 428 345 179 358 205 411 310 109 218 436 361 211 422 333 155 311 111 222 444 377 243 487 462 413 314 117 234 468 425 339 167 334 157 315 119 238 476 441 371 231 463 414 317 123 246 492 473 435 359 207 415 318 125 250 500 489 467 423 335 159 319 127 254 509 506 501 490 469 426 341 171 342 173 346 181 362 213 427 343 175 350 189 378 245 491 470 429 347 183 366 221 442 373 235 471 430 349 187 374 237 474 437 363 215 431 351 191 382 253 507 502 493 475 438 365 219 439 367 223 446 381 251 503 494 477 443 375 239 478 445 379 247 495 479 447 383 255 511 510 508 504 496 480 448 384 256 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 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 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 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 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 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 1 0 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 1 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 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 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 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 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 1 0 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 1 0 1 1 1 0 0 0 1 0 1 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 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 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 1 1 1 0 0 0 1 0 1 1 1 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 1 0 0 1 0 1 1 1 1 0 0 1 0 1 1 1 1 0 0 1 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 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 1 1 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 1 0 0 1 1 1 1 0 1 0 0 1 1 1 1 0 1 0 0 1 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 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 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 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 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 1 1 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 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 1 0 0 1 0 0 1 1 1 1 0 1 0 0 1 1 1 1 0 1 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 1 0 1 1 1 1 0 0 1 0 1 1 1 1 0 0 1 0 1 1 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 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 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 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 1 0 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 0 0 0 1 0 1 1 1 0 0 1 1 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 1 1 1 1 0 0 1 0 1 1 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 1 1 0 0 1 0 1 1 1 1 0 0 1 0 1 1 1 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 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 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 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 0 1 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 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 1 0 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 0 1 0 1 1 1 1 0 0 1 0 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 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 1 0 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 0 1 0 0 1 1 1 1 0 1 0 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 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 1 1 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 0 0 1 1 1 1 0 1 0 0 1 1 1 1 0 1 0 0 1 1 1 1 0 1 0 0 1 1 1 1 0 1 0 0 1 1 1 1 0 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1 0 0 1 0 1 1 1 1 0 1 1 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 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 1 1 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 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 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 1 1 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 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 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 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 256 256 </values> 73.76/11.47 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 (12764 MiB free)
memory of node 1: 16384 MiB (13258 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393645-1568425030/watcher-4393645-1568425030 -o /tmp/evaluation-result-4393645-1568425030/solver-4393645-1568425030 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1568417397-27138 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 447620154 HOME/instance-4393645-1568425030.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=28431, runsolver pid=28428
[startup+0.100155 s]*
/proc/loadavg: 7.06 7.32 7.37 2/213 28452
/proc/meminfo: memFree=26630084/32770624 swapFree=66927260/67108860
[pid=28431] ppid=28428 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/28431/stat : 28431 (xcsp3-exec) S 28428 28431 27111 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418750384 115843072 363 33554432000 4194304 5098028 140733290761360 140733290759464 139807602197116 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19357696 140733290767222 140733290767465 140733290767465 140733290770378 0
/proc/28431/statm: 28282 363 304 221 0 87 0
[pid=28433] ppid=28431 vsize=28227388 memory=29240 CPUtime=0.13 cores=0-7
/proc/28433/stat : 28433 (java) S 28431 28431 27111 0 -1 1077944320 5798 0 0 0 12 1 0 0 20 0 20 0 418750385 28904845312 7310 33554432000 4194304 4196468 140732899369824 140732899352368 140355110272759 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
/proc/28433/statm: 7056847 7310 3115 1 0 7019032 0
[pid=28433/tid=28434] ppid=28431 vsize=28227388 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/28433/task/28434/stat : 28434 (java) R 28431 28431 27111 0 -1 4202560 3684 0 0 0 8 0 0 0 20 0 20 0 418750385 28904845312 7310 33554432000 4194304 4196468 140732899369824 140355114504672 140355110284694 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28435] ppid=28431 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/28433/task/28435/stat : 28435 (java) S 28431 28431 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418750386 28904845312 7310 33554432000 4194304 4196468 140732899369824 140355062893584 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28436] ppid=28431 vsize=28227388 memory=140440150529664 CPUtime=0 cores=0-7
/proc/28433/task/28436/stat : 28436 (java) S 28431 28431 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418750386 28904845312 7310 33554432000 4194304 4196468 140732899369824 140355061841040 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28437] ppid=28431 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28433/task/28437/stat : 28437 (java) S 28431 28431 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418750386 28904845312 7310 33554432000 4194304 4196468 140732899369824 140355060787984 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28438] ppid=28431 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28433/task/28438/stat : 28438 (java) S 28431 28431 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418750386 28904845312 7310 33554432000 4194304 4196468 140732899369824 140355059735440 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28439] ppid=28431 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28433/task/28439/stat : 28439 (java) S 28431 28431 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418750386 28904845312 7310 33554432000 4194304 4196468 140732899369824 140355058682384 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28440] ppid=28431 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/28433/task/28440/stat : 28440 (java) S 28431 28431 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418750386 28904845312 7310 33554432000 4194304 4196468 140732899369824 140355057629840 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28441] ppid=28431 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28433/task/28441/stat : 28441 (java) S 28431 28431 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418750386 28904845312 7310 33554432000 4194304 4196468 140732899369824 140355056576784 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28442] ppid=28431 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28433/task/28442/stat : 28442 (java) S 28431 28431 27111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418750386 28904845312 7310 33554432000 4194304 4196468 140732899369824 140355055524240 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28443] ppid=28431 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28433/task/28443/stat : 28443 (java) S 28431 28431 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418750387 28904845312 7310 33554432000 4194304 4196468 140732899369824 140354159360752 140355110283906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28444] ppid=28431 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28433/task/28444/stat : 28444 (java) S 28431 28431 27111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418750388 28904845312 7310 33554432000 4194304 4196468 140732899369824 140354158306976 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28445] ppid=28431 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28433/task/28445/stat : 28445 (java) S 28431 28431 27111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418750388 28904845312 7310 33554432000 4194304 4196468 140732899369824 140354157253872 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28446] ppid=28431 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28433/task/28446/stat : 28446 (java) S 28431 28431 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418750390 28904845312 7310 33554432000 4194304 4196468 140732899369824 140354156202448 140355110291355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28447] ppid=28431 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28433/task/28447/stat : 28447 (java) S 28431 28431 27111 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 418750390 28904845312 7310 33554432000 4194304 4196468 140732899369824 140354155149552 140355110283906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28448] ppid=28431 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28433/task/28448/stat : 28448 (java) S 28431 28431 27111 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 418750390 28904845312 7310 33554432000 4194304 4196468 140732899369824 140354154097008 140355110283906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28449] ppid=28431 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28433/task/28449/stat : 28449 (java) S 28431 28431 27111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418750390 28904845312 7310 33554432000 4194304 4196468 140732899369824 140354153043952 140355110283906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28450] ppid=28431 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/28433/task/28450/stat : 28450 (java) S 28431 28431 27111 0 -1 1077944384 374 0 0 0 2 0 0 0 20 0 20 0 418750390 28904845312 7310 33554432000 4194304 4196468 140732899369824 140354151991408 140355110283906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28451] ppid=28431 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28433/task/28451/stat : 28451 (java) S 28431 28431 27111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418750391 28904845312 7310 33554432000 4194304 4196468 140732899369824 140354150939616 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28452] ppid=28431 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/28433/task/28452/stat : 28452 (java) S 28431 28431 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418750391 28904845312 7310 33554432000 4194304 4196468 140732899369824 140354149887152 140355110283906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 30692 KiB
[startup+0.210184 s]*
/proc/loadavg: 7.06 7.32 7.37 2/213 28452
/proc/meminfo: memFree=26615952/32770624 swapFree=66927260/67108860
[pid=28431] ppid=28428 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/28431/stat : 28431 (xcsp3-exec) S 28428 28431 27111 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418750384 115843072 363 33554432000 4194304 5098028 140733290761360 140733290759464 139807602197116 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19357696 140733290767222 140733290767465 140733290767465 140733290770378 0
/proc/28431/statm: 28282 363 304 221 0 87 0
[pid=28433] ppid=28431 vsize=28227388 memory=41352 CPUtime=0.33 cores=0-7
/proc/28433/stat : 28433 (java) S 28431 28431 27111 0 -1 1077944320 9532 0 0 0 30 3 0 0 20 0 20 0 418750385 28904845312 10338 33554432000 4194304 4196468 140732899369824 140732899352368 140355110272759 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
/proc/28433/statm: 7056847 10338 3317 1 0 7019032 0
[pid=28433/tid=28434] ppid=28431 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/28433/task/28434/stat : 28434 (java) R 28431 28431 27111 0 -1 4202560 6637 0 0 0 17 2 0 0 20 0 20 0 418750385 28904845312 10338 33554432000 4194304 4196468 140732899369824 140355114502480 140355094353246 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28435] ppid=28431 vsize=28227388 memory=342 CPUtime=0 cores=0-7
/proc/28433/task/28435/stat : 28435 (java) S 28431 28431 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418750386 28904845312 10338 33554432000 4194304 4196468 140732899369824 140355062893584 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28436] ppid=28431 vsize=28227388 memory=3979407394257819296 CPUtime=0 cores=0-7
/proc/28433/task/28436/stat : 28436 (java) S 28431 28431 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418750386 28904845312 10338 33554432000 4194304 4196468 140732899369824 140355061841040 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28437] ppid=28431 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/28433/task/28437/stat : 28437 (java) S 28431 28431 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418750386 28904845312 10338 33554432000 4194304 4196468 140732899369824 140355060787984 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28438] ppid=28431 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28433/task/28438/stat : 28438 (java) S 28431 28431 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418750386 28904845312 10338 33554432000 4194304 4196468 140732899369824 140355059735440 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28439] ppid=28431 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28433/task/28439/stat : 28439 (java) S 28431 28431 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418750386 28904845312 10338 33554432000 4194304 4196468 140732899369824 140355058682384 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28440] ppid=28431 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/28433/task/28440/stat : 28440 (java) S 28431 28431 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418750386 28904845312 10338 33554432000 4194304 4196468 140732899369824 140355057629840 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28441] ppid=28431 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28433/task/28441/stat : 28441 (java) S 28431 28431 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418750386 28904845312 10338 33554432000 4194304 4196468 140732899369824 140355056576784 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28442] ppid=28431 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28433/task/28442/stat : 28442 (java) S 28431 28431 27111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418750386 28904845312 10338 33554432000 4194304 4196468 140732899369824 140355055524240 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28443] ppid=28431 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28433/task/28443/stat : 28443 (java) S 28431 28431 27111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418750387 28904845312 10338 33554432000 4194304 4196468 140732899369824 140354159360752 140355110283906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28444] ppid=28431 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28433/task/28444/stat : 28444 (java) S 28431 28431 27111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418750388 28904845312 10338 33554432000 4194304 4196468 140732899369824 140354158306976 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28445] ppid=28431 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28433/task/28445/stat : 28445 (java) S 28431 28431 27111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418750388 28904845312 10338 33554432000 4194304 4196468 140732899369824 140354157253872 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28446] ppid=28431 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28433/task/28446/stat : 28446 (java) S 28431 28431 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418750390 28904845312 10338 33554432000 4194304 4196468 140732899369824 140354156202448 140355110291355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28447] ppid=28431 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/28433/task/28447/stat : 28447 (java) S 28431 28431 27111 0 -1 1077944384 610 0 0 0 2 0 0 0 20 0 20 0 418750390 28904845312 10338 33554432000 4194304 4196468 140732899369824 140354155149552 140355110283906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28448] ppid=28431 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/28433/task/28448/stat : 28448 (java) S 28431 28431 27111 0 -1 1077944384 207 0 0 0 2 0 0 0 20 0 20 0 418750390 28904845312 10338 33554432000 4194304 4196468 140732899369824 140354154097008 140355110283906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28449] ppid=28431 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/28433/task/28449/stat : 28449 (java) S 28431 28431 27111 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 418750390 28904845312 10338 33554432000 4194304 4196468 140732899369824 140354153043952 140355110283906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28450] ppid=28431 vsize=28227388 memory=-1 CPUtime=0.07 cores=0-7
/proc/28433/task/28450/stat : 28450 (java) R 28431 28431 27111 0 -1 4202560 748 0 0 0 7 0 0 0 20 0 20 0 418750390 28904845312 10338 33554432000 4194304 4196468 140732899369824 140354151991408 140355089290600 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28451] ppid=28431 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28433/task/28451/stat : 28451 (java) S 28431 28431 27111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418750391 28904845312 10338 33554432000 4194304 4196468 140732899369824 140354150939616 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28452] ppid=28431 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/28433/task/28452/stat : 28452 (java) S 28431 28431 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418750391 28904845312 10338 33554432000 4194304 4196468 140732899369824 140354149887152 140355110283906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42804 KiB
[startup+0.309864 s]*
/proc/loadavg: 7.06 7.32 7.37 4/213 28452
/proc/meminfo: memFree=26608816/32770624 swapFree=66927260/67108860
[pid=28431] ppid=28428 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/28431/stat : 28431 (xcsp3-exec) S 28428 28431 27111 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418750384 115843072 363 33554432000 4194304 5098028 140733290761360 140733290759464 139807602197116 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19357696 140733290767222 140733290767465 140733290767465 140733290770378 0
/proc/28431/statm: 28282 363 304 221 0 87 0
[pid=28433] ppid=28431 vsize=28231644 memory=50136 CPUtime=0.52 cores=0-7
/proc/28433/stat : 28433 (java) S 28431 28431 27111 0 -1 1077944320 10892 0 0 0 48 4 0 0 20 0 20 0 418750385 28909203456 12534 33554432000 4194304 4196468 140732899369824 140732899352368 140355110272759 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
/proc/28433/statm: 7057911 12534 3358 1 0 7019032 0
[pid=28433/tid=28434] ppid=28431 vsize=28231644 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/28433/task/28434/stat : 28434 (java) R 28431 28431 27111 0 -1 4202560 7769 0 0 0 26 3 0 0 20 0 20 0 418750385 28909203456 12534 33554432000 4194304 4196468 140732899369824 140355114503872 140355110294685 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28435] ppid=28431 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/28433/task/28435/stat : 28435 (java) S 28431 28431 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418750386 28909203456 12534 33554432000 4194304 4196468 140732899369824 140355062893584 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28436] ppid=28431 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/28433/task/28436/stat : 28436 (java) S 28431 28431 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418750386 28909203456 12534 33554432000 4194304 4196468 140732899369824 140355061841040 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28437] ppid=28431 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/28433/task/28437/stat : 28437 (java) S 28431 28431 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418750386 28909203456 12534 33554432000 4194304 4196468 140732899369824 140355060787984 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28438] ppid=28431 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/28433/task/28438/stat : 28438 (java) S 28431 28431 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418750386 28909203456 12534 33554432000 4194304 4196468 140732899369824 140355059735440 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28439] ppid=28431 vsize=28231644 memory=2244 CPUtime=0 cores=0-7
/proc/28433/task/28439/stat : 28439 (java) S 28431 28431 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418750386 28909203456 12534 33554432000 4194304 4196468 140732899369824 140355058682384 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28440] ppid=28431 vsize=28231644 memory=140439994856367 CPUtime=0 cores=0-7
/proc/28433/task/28440/stat : 28440 (java) S 28431 28431 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418750386 28909203456 12534 33554432000 4194304 4196468 140732899369824 140355057629840 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28441] ppid=28431 vsize=28231644 memory=140439994858672 CPUtime=0 cores=0-7
/proc/28433/task/28441/stat : 28441 (java) S 28431 28431 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418750386 28909203456 12534 33554432000 4194304 4196468 140732899369824 140355056576784 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28442] ppid=28431 vsize=28231644 memory=140439994860976 CPUtime=0 cores=0-7
/proc/28433/task/28442/stat : 28442 (java) S 28431 28431 27111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418750386 28909203456 12534 33554432000 4194304 4196468 140732899369824 140355055524240 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28443] ppid=28431 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/28433/task/28443/stat : 28443 (java) S 28431 28431 27111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418750387 28909203456 12534 33554432000 4194304 4196468 140732899369824 140354159360752 140355110283906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28444] ppid=28431 vsize=28231644 memory=280879989728912 CPUtime=0 cores=0-7
/proc/28433/task/28444/stat : 28444 (java) S 28431 28431 27111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418750388 28909203456 12534 33554432000 4194304 4196468 140732899369824 140354158306976 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28445] ppid=28431 vsize=28231644 memory=280879989735824 CPUtime=0 cores=0-7
/proc/28433/task/28445/stat : 28445 (java) S 28431 28431 27111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418750388 28909203456 12534 33554432000 4194304 4196468 140732899369824 140354157253872 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28446] ppid=28431 vsize=28231644 memory=280879989677104 CPUtime=0 cores=0-7
/proc/28433/task/28446/stat : 28446 (java) S 28431 28431 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418750390 28909203456 12534 33554432000 4194304 4196468 140732899369824 140354156202448 140355110291355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28447] ppid=28431 vsize=28231644 memory=280879989749648 CPUtime=0.03 cores=0-7
/proc/28433/task/28447/stat : 28447 (java) R 28431 28431 27111 0 -1 4202560 718 0 0 0 3 0 0 0 20 0 20 0 418750390 28909203456 12534 33554432000 4194304 4196468 140732899369824 140354155139936 140355110294106 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28448] ppid=28431 vsize=28231644 memory=280879989756560 CPUtime=0.02 cores=0-7
/proc/28433/task/28448/stat : 28448 (java) S 28431 28431 27111 0 -1 1077944384 215 0 0 0 2 0 0 0 20 0 20 0 418750390 28909203456 12534 33554432000 4194304 4196468 140732899369824 140354154097008 140355110283906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28449] ppid=28431 vsize=28231644 memory=280879989754256 CPUtime=0.01 cores=0-7
/proc/28433/task/28449/stat : 28449 (java) S 28431 28431 27111 0 -1 1077944384 43 0 0 0 1 0 0 0 20 0 20 0 418750390 28909203456 12534 33554432000 4194304 4196468 140732899369824 140354153043952 140355110283906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28450] ppid=28431 vsize=28231644 memory=280879989770416 CPUtime=0.12 cores=0-7
/proc/28433/task/28450/stat : 28450 (java) S 28431 28431 27111 0 -1 1077944384 832 0 0 0 12 0 0 0 20 0 20 0 418750390 28909203456 12534 33554432000 4194304 4196468 140732899369824 140354151991408 140355110283906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28451] ppid=28431 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/28433/task/28451/stat : 28451 (java) S 28431 28431 27111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418750391 28909203456 12534 33554432000 4194304 4196468 140732899369824 140354150939616 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28452] ppid=28431 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/28433/task/28452/stat : 28452 (java) S 28431 28431 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418750391 28909203456 12534 33554432000 4194304 4196468 140732899369824 140354149887152 140355110283906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51588 KiB
[startup+0.700947 s]
/proc/loadavg: 7.06 7.32 7.37 6/213 28452
/proc/meminfo: memFree=26586848/32770624 swapFree=66927260/67108860
[pid=28431] ppid=28428 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/28431/stat : 28431 (xcsp3-exec) S 28428 28431 27111 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418750384 115843072 363 33554432000 4194304 5098028 140733290761360 140733290759464 139807602197116 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19357696 140733290767222 140733290767465 140733290767465 140733290770378 0
/proc/28431/statm: 28282 363 304 221 0 87 0
[pid=28433] ppid=28431 vsize=28233768 memory=115780 CPUtime=2.03 cores=0-7
/proc/28433/stat : 28433 (java) S 28431 28431 27111 0 -1 1077944320 15491 0 0 0 196 7 0 0 20 0 20 0 418750385 28911378432 28945 33554432000 4194304 4196468 140732899369824 140732899352368 140355110272759 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
/proc/28433/statm: 7058442 28945 3448 1 0 7019544 0
[pid=28433/tid=28434] ppid=28431 vsize=28233768 memory=280879990128304 CPUtime=0.67 cores=0-7
/proc/28433/task/28434/stat : 28434 (java) R 28431 28431 27111 0 -1 4202560 8428 0 0 0 63 4 0 0 20 0 20 0 418750385 28911378432 28945 33554432000 4194304 4196468 140732899369824 140355114503248 140354720558752 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28435] ppid=28431 vsize=28233768 memory=140439995065200 CPUtime=0 cores=0-7
/proc/28433/task/28435/stat : 28435 (java) S 28431 28431 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418750386 28911378432 28945 33554432000 4194304 4196468 140732899369824 140355062893584 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28436] ppid=28431 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/28433/task/28436/stat : 28436 (java) S 28431 28431 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418750386 28911378432 28945 33554432000 4194304 4196468 140732899369824 140355061841040 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28437] ppid=28431 vsize=28233768 memory=1124 CPUtime=0 cores=0-7
/proc/28433/task/28437/stat : 28437 (java) S 28431 28431 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418750386 28911378432 28945 33554432000 4194304 4196468 140732899369824 140355060787984 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
################
# More data... #
################
[pid=28433/tid=28450] ppid=28431 vsize=28768328 memory=4639341352798146640 CPUtime=1.13 cores=0-7
/proc/28433/task/28450/stat : 28450 (java) S 28431 28431 27111 0 -1 1077944384 6911 0 0 0 111 2 0 0 20 0 28 0 418750390 29458767872 384867 33554432000 4194304 4196468 140732899369824 140354151991408 140355110283906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28451] ppid=28431 vsize=28768328 memory=7083406094798705488 CPUtime=0 cores=0-7
/proc/28433/task/28451/stat : 28451 (java) S 28431 28431 27111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418750391 29458767872 384867 33554432000 4194304 4196468 140732899369824 140354150939616 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28452] ppid=28431 vsize=28768328 memory=6299802978650451056 CPUtime=0 cores=0-7
/proc/28433/task/28452/stat : 28452 (java) S 28431 28431 27111 0 -1 1077944384 252 0 0 0 0 0 0 0 20 0 28 0 418750391 29458767872 384867 33554432000 4194304 4196468 140732899369824 140354149887152 140355110283906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28453] ppid=28431 vsize=28768328 memory=831844 CPUtime=6.03 cores=0-7
/proc/28433/task/28453/stat : 28453 (java) R 28431 28431 27111 0 -1 4202560 478 0 0 0 601 2 0 0 20 0 28 0 418750742 29458767872 384867 33554432000 4194304 4196468 140732899369824 140354138577688 140354727415305 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28454] ppid=28431 vsize=28768328 memory=13318 CPUtime=5.58 cores=0-7
/proc/28433/task/28454/stat : 28454 (java) R 28431 28431 27111 0 -1 4202560 301 0 0 0 557 1 0 0 20 0 28 0 418750742 29458767872 384867 33554432000 4194304 4196468 140732899369824 140354137525960 140354727415267 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28455] ppid=28431 vsize=28768328 memory=25028 CPUtime=5.43 cores=0-7
/proc/28433/task/28455/stat : 28455 (java) R 28431 28431 27111 0 -1 4202560 2256 0 0 0 540 3 0 0 20 0 28 0 418750742 29458767872 384867 33554432000 4194304 4196468 140732899369824 140354136473640 140354729205745 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28456] ppid=28431 vsize=28768328 memory=0 CPUtime=5.91 cores=0-7
/proc/28433/task/28456/stat : 28456 (java) R 28431 28431 27111 0 -1 4202560 818 0 0 0 590 1 0 0 20 0 28 0 418750742 29458767872 384867 33554432000 4194304 4196468 140732899369824 140354135421176 140354727415232 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28457] ppid=28431 vsize=28768328 memory=0 CPUtime=5.96 cores=0-7
/proc/28433/task/28457/stat : 28457 (java) R 28431 28431 27111 0 -1 4202560 947 0 0 0 594 2 0 0 20 0 28 0 418750742 29458767872 384867 33554432000 4194304 4196468 140732899369824 140354134367584 140354728793407 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28458] ppid=28431 vsize=28768328 memory=0 CPUtime=5.94 cores=0-7
/proc/28433/task/28458/stat : 28458 (java) R 28431 28431 27111 0 -1 4202560 1531 0 0 0 592 2 0 0 20 0 28 0 418750742 29458767872 384867 33554432000 4194304 4196468 140732899369824 140354133317128 140354727415899 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28459] ppid=28431 vsize=28768328 memory=0 CPUtime=5.79 cores=0-7
/proc/28433/task/28459/stat : 28459 (java) R 28431 28431 27111 0 -1 4202560 895 0 0 0 578 1 0 0 20 0 28 0 418750742 29458767872 384867 33554432000 4194304 4196468 140732899369824 140354132263160 140354727415286 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28460] ppid=28431 vsize=28768328 memory=0 CPUtime=5.54 cores=0-7
/proc/28433/task/28460/stat : 28460 (java) R 28431 28431 27111 0 -1 4202560 247 0 0 0 553 1 0 0 20 0 28 0 418750742 29458767872 384867 33554432000 4194304 4196468 140732899369824 140354131210480 140354727415305 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
Current children cumulated CPU time: 66.01 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 1540920 KiB
[startup+11.2013 s]
/proc/loadavg: 6.37 7.16 7.32 9/221 28460
/proc/meminfo: memFree=24956156/32770624 swapFree=66927260/67108860
[pid=28431] ppid=28428 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/28431/stat : 28431 (xcsp3-exec) S 28428 28431 27111 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418750384 115843072 363 33554432000 4194304 5098028 140733290761360 140733290759464 139807602197116 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19357696 140733290767222 140733290767465 140733290767465 140733290770378 0
/proc/28431/statm: 28282 363 304 221 0 87 0
[pid=28433] ppid=28431 vsize=28768328 memory=1701904 CPUtime=72.36 cores=0-7
/proc/28433/stat : 28433 (java) S 28431 28431 27111 0 -1 1077944320 60182 0 0 0 7030 206 0 0 20 0 28 0 418750385 29458767872 425476 33554432000 4194304 4196468 140732899369824 140732899352368 140355110272759 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
/proc/28433/statm: 7192082 425476 3539 1 0 7153184 0
[pid=28433/tid=28434] ppid=28431 vsize=28768328 memory=280879990575616 CPUtime=3.26 cores=0-7
/proc/28433/task/28434/stat : 28434 (java) S 28431 28431 27111 0 -1 1077944384 10096 0 0 0 314 12 0 0 20 0 28 0 418750385 29458767872 425476 33554432000 4194304 4196468 140732899369824 140355114513536 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28435] ppid=28431 vsize=28768328 memory=6791534058613427641 CPUtime=0.47 cores=0-7
/proc/28433/task/28435/stat : 28435 (java) S 28431 28431 27111 0 -1 1077944384 544 0 0 0 25 22 0 0 20 0 28 0 418750386 29458767872 425476 33554432000 4194304 4196468 140732899369824 140355062893584 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28436] ppid=28431 vsize=28768328 memory=0 CPUtime=0.42 cores=0-7
/proc/28433/task/28436/stat : 28436 (java) S 28431 28431 27111 0 -1 1077944384 474 0 0 0 22 20 0 0 20 0 28 0 418750386 29458767872 425476 33554432000 4194304 4196468 140732899369824 140355061841040 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28437] ppid=28431 vsize=28768328 memory=0 CPUtime=0.42 cores=0-7
/proc/28433/task/28437/stat : 28437 (java) S 28431 28431 27111 0 -1 1077944384 2009 0 0 0 23 19 0 0 20 0 28 0 418750386 29458767872 425476 33554432000 4194304 4196468 140732899369824 140355060787984 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28438] ppid=28431 vsize=28768328 memory=0 CPUtime=0.41 cores=0-7
/proc/28433/task/28438/stat : 28438 (java) S 28431 28431 27111 0 -1 1077944384 586 0 0 0 22 19 0 0 20 0 28 0 418750386 29458767872 425476 33554432000 4194304 4196468 140732899369824 140355059735440 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28439] ppid=28431 vsize=28768328 memory=0 CPUtime=0.45 cores=0-7
/proc/28433/task/28439/stat : 28439 (java) S 28431 28431 27111 0 -1 1077944384 971 0 0 0 25 20 0 0 20 0 28 0 418750386 29458767872 425476 33554432000 4194304 4196468 140732899369824 140355058682384 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28440] ppid=28431 vsize=28768328 memory=0 CPUtime=0.45 cores=0-7
/proc/28433/task/28440/stat : 28440 (java) S 28431 28431 27111 0 -1 1077944384 509 0 0 0 25 20 0 0 20 0 28 0 418750386 29458767872 425476 33554432000 4194304 4196468 140732899369824 140355057629840 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28441] ppid=28431 vsize=28768328 memory=0 CPUtime=0.46 cores=0-7
/proc/28433/task/28441/stat : 28441 (java) S 28431 28431 27111 0 -1 1077944384 667 0 0 0 24 22 0 0 20 0 28 0 418750386 29458767872 425476 33554432000 4194304 4196468 140732899369824 140355056576784 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28442] ppid=28431 vsize=28768328 memory=0 CPUtime=0.43 cores=0-7
/proc/28433/task/28442/stat : 28442 (java) S 28431 28431 27111 0 -1 1077944384 677 0 0 0 23 20 0 0 20 0 28 0 418750386 29458767872 425476 33554432000 4194304 4196468 140732899369824 140355055524240 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28443] ppid=28431 vsize=28768328 memory=0 CPUtime=0.02 cores=0-7
/proc/28433/task/28443/stat : 28443 (java) S 28431 28431 27111 0 -1 1077944384 1763 0 0 0 2 0 0 0 20 0 28 0 418750387 29458767872 425476 33554432000 4194304 4196468 140732899369824 140354159360752 140355110283906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28444] ppid=28431 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/28433/task/28444/stat : 28444 (java) S 28431 28431 27111 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 418750388 29458767872 425476 33554432000 4194304 4196468 140732899369824 140354158307040 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28445] ppid=28431 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/28433/task/28445/stat : 28445 (java) S 28431 28431 27111 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 418750388 29458767872 425476 33554432000 4194304 4196468 140732899369824 140354157253888 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28446] ppid=28431 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/28433/task/28446/stat : 28446 (java) S 28431 28431 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418750390 29458767872 425476 33554432000 4194304 4196468 140732899369824 140354156202448 140355110291355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28447] ppid=28431 vsize=28768328 memory=0 CPUtime=4.04 cores=0-7
/proc/28433/task/28447/stat : 28447 (java) S 28431 28431 27111 0 -1 1077944384 8618 0 0 0 401 3 0 0 20 0 28 0 418750390 29458767872 425476 33554432000 4194304 4196468 140732899369824 140354155149552 140355110283906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28448] ppid=28431 vsize=28768328 memory=0 CPUtime=4.33 cores=0-7
/proc/28433/task/28448/stat : 28448 (java) S 28431 28431 27111 0 -1 1077944384 8325 0 0 0 430 3 0 0 20 0 28 0 418750390 29458767872 425476 33554432000 4194304 4196468 140732899369824 140354154097008 140355110283906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28449] ppid=28431 vsize=28768328 memory=33 CPUtime=4.1 cores=0-7
/proc/28433/task/28449/stat : 28449 (java) S 28431 28431 27111 0 -1 1077944384 8691 0 0 0 408 2 0 0 20 0 28 0 418750390 29458767872 425476 33554432000 4194304 4196468 140732899369824 140354153043952 140355110283906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28450] ppid=28431 vsize=28768328 memory=7378983446773001072 CPUtime=1.15 cores=0-7
/proc/28433/task/28450/stat : 28450 (java) S 28431 28431 27111 0 -1 1077944384 6968 0 0 0 113 2 0 0 20 0 28 0 418750390 29458767872 425476 33554432000 4194304 4196468 140732899369824 140354151991408 140355110283906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28451] ppid=28431 vsize=28768328 memory=8100376379723829357 CPUtime=0 cores=0-7
/proc/28433/task/28451/stat : 28451 (java) S 28431 28431 27111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418750391 29458767872 425476 33554432000 4194304 4196468 140732899369824 140354150939616 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28452] ppid=28431 vsize=28768328 memory=7374789801751653017 CPUtime=0 cores=0-7
/proc/28433/task/28452/stat : 28452 (java) S 28431 28431 27111 0 -1 1077944384 252 0 0 0 0 0 0 0 20 0 28 0 418750391 29458767872 425476 33554432000 4194304 4196468 140732899369824 140354149887152 140355110283906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28453] ppid=28431 vsize=28768328 memory=29877518614 CPUtime=6.71 cores=0-7
/proc/28433/task/28453/stat : 28453 (java) R 28431 28431 27111 0 -1 4202560 512 0 0 0 669 2 0 0 20 0 28 0 418750742 29458767872 425476 33554432000 4194304 4196468 140732899369824 140354138578520 140354726077073 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28454] ppid=28431 vsize=28768328 memory=2110790602112052 CPUtime=6.28 cores=0-7
/proc/28433/task/28454/stat : 28454 (java) R 28431 28431 27111 0 -1 4202560 316 0 0 0 627 1 0 0 20 0 28 0 418750742 29458767872 425476 33554432000 4194304 4196468 140732899369824 140354137526360 140354727415286 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28455] ppid=28431 vsize=28768328 memory=0 CPUtime=6.12 cores=0-7
/proc/28433/task/28455/stat : 28455 (java) R 28431 28431 27111 0 -1 4202560 2313 0 0 0 609 3 0 0 20 0 28 0 418750742 29458767872 425476 33554432000 4194304 4196468 140732899369824 140354136474968 140354730369723 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28456] ppid=28431 vsize=28768328 memory=0 CPUtime=6.6 cores=0-7
/proc/28433/task/28456/stat : 28456 (java) R 28431 28431 27111 0 -1 4202560 828 0 0 0 659 1 0 0 20 0 28 0 418750742 29458767872 425476 33554432000 4194304 4196468 140732899369824 140354135423048 140354727415232 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28457] ppid=28431 vsize=28768328 memory=0 CPUtime=6.67 cores=0-7
/proc/28433/task/28457/stat : 28457 (java) R 28431 28431 27111 0 -1 4202560 963 0 0 0 665 2 0 0 20 0 28 0 418750742 29458767872 425476 33554432000 4194304 4196468 140732899369824 140354134369752 140354727415711 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28458] ppid=28431 vsize=28768328 memory=825241649 CPUtime=6.65 cores=0-7
/proc/28433/task/28458/stat : 28458 (java) R 28431 28431 27111 0 -1 4202560 1554 0 0 0 663 2 0 0 20 0 28 0 418750742 29458767872 425476 33554432000 4194304 4196468 140732899369824 140354133315800 140354727415096 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28459] ppid=28431 vsize=28768328 memory=0 CPUtime=6.48 cores=0-7
/proc/28433/task/28459/stat : 28459 (java) R 28431 28431 27111 0 -1 4202560 923 0 0 0 647 1 0 0 20 0 28 0 418750742 29458767872 425476 33554432000 4194304 4196468 140732899369824 140354132265576 140354727415890 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28460] ppid=28431 vsize=28768328 memory=0 CPUtime=6.25 cores=0-7
/proc/28433/task/28460/stat : 28460 (java) R 28431 28431 27111 0 -1 4202560 269 0 0 0 624 1 0 0 20 0 28 0 418750742 29458767872 425476 33554432000 4194304 4196468 140732899369824 140354131210616 140354727415247 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
Current children cumulated CPU time: 72.36 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 1703356 KiB
[startup+11.4012 s]
/proc/loadavg: 6.37 7.16 7.32 9/221 28460
/proc/meminfo: memFree=24956156/32770624 swapFree=66927260/67108860
[pid=28431] ppid=28428 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/28431/stat : 28431 (xcsp3-exec) S 28428 28431 27111 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418750384 115843072 363 33554432000 4194304 5098028 140733290761360 140733290759464 139807602197116 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19357696 140733290767222 140733290767465 140733290767465 140733290770378 0
/proc/28431/statm: 28282 363 304 221 0 87 0
[pid=28433] ppid=28431 vsize=28768328 memory=1701904 CPUtime=73.76 cores=0-7
/proc/28433/stat : 28433 (java) S 28431 28431 27111 0 -1 1077944320 60772 0 0 0 7170 206 0 0 20 0 28 0 418750385 29458767872 425476 33554432000 4194304 4196468 140732899369824 140732899352368 140355110272759 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
/proc/28433/statm: 7192082 425476 3539 1 0 7153184 0
[pid=28433/tid=28434] ppid=28431 vsize=28768328 memory=6791534058613427641 CPUtime=3.26 cores=0-7
/proc/28433/task/28434/stat : 28434 (java) S 28431 28431 27111 0 -1 1077944384 10096 0 0 0 314 12 0 0 20 0 28 0 418750385 29458767872 425476 33554432000 4194304 4196468 140732899369824 140355114513536 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28435] ppid=28431 vsize=28768328 memory=7595996225387588968 CPUtime=0.47 cores=0-7
/proc/28433/task/28435/stat : 28435 (java) S 28431 28431 27111 0 -1 1077944384 544 0 0 0 25 22 0 0 20 0 28 0 418750386 29458767872 425476 33554432000 4194304 4196468 140732899369824 140355062893584 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28436] ppid=28431 vsize=28768328 memory=6935649255759568960 CPUtime=0.42 cores=0-7
/proc/28433/task/28436/stat : 28436 (java) S 28431 28431 27111 0 -1 1077944384 474 0 0 0 22 20 0 0 20 0 28 0 418750386 29458767872 425476 33554432000 4194304 4196468 140732899369824 140355061841040 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28437] ppid=28431 vsize=28768328 memory=4641633856488493158 CPUtime=0.42 cores=0-7
/proc/28433/task/28437/stat : 28437 (java) S 28431 28431 27111 0 -1 1077944384 2009 0 0 0 23 19 0 0 20 0 28 0 418750386 29458767872 425476 33554432000 4194304 4196468 140732899369824 140355060787984 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28438] ppid=28431 vsize=28768328 memory=7372784292807927401 CPUtime=0.41 cores=0-7
/proc/28433/task/28438/stat : 28438 (java) S 28431 28431 27111 0 -1 1077944384 586 0 0 0 22 19 0 0 20 0 28 0 418750386 29458767872 425476 33554432000 4194304 4196468 140732899369824 140355059735440 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28439] ppid=28431 vsize=28768328 memory=7956001698648385640 CPUtime=0.45 cores=0-7
/proc/28433/task/28439/stat : 28439 (java) S 28431 28431 27111 0 -1 1077944384 971 0 0 0 25 20 0 0 20 0 28 0 418750386 29458767872 425476 33554432000 4194304 4196468 140732899369824 140355058682384 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28440] ppid=28431 vsize=28768328 memory=4639904328588480592 CPUtime=0.45 cores=0-7
/proc/28433/task/28440/stat : 28440 (java) S 28431 28431 27111 0 -1 1077944384 509 0 0 0 25 20 0 0 20 0 28 0 418750386 29458767872 425476 33554432000 4194304 4196468 140732899369824 140355057629840 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28441] ppid=28431 vsize=28768328 memory=6153436965631978091 CPUtime=0.46 cores=0-7
/proc/28433/task/28441/stat : 28441 (java) S 28431 28431 27111 0 -1 1077944384 667 0 0 0 24 22 0 0 20 0 28 0 418750386 29458767872 425476 33554432000 4194304 4196468 140732899369824 140355056576784 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28442] ppid=28431 vsize=28768328 memory=7085956983654149477 CPUtime=0.43 cores=0-7
/proc/28433/task/28442/stat : 28442 (java) S 28431 28431 27111 0 -1 1077944384 677 0 0 0 23 20 0 0 20 0 28 0 418750386 29458767872 425476 33554432000 4194304 4196468 140732899369824 140355055524240 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28443] ppid=28431 vsize=28768328 memory=7380396284685872232 CPUtime=0.02 cores=0-7
/proc/28433/task/28443/stat : 28443 (java) S 28431 28431 27111 0 -1 1077944384 1763 0 0 0 2 0 0 0 20 0 28 0 418750387 29458767872 425476 33554432000 4194304 4196468 140732899369824 140354159360752 140355110283906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28444] ppid=28431 vsize=28768328 memory=7450749635819956325 CPUtime=0 cores=0-7
/proc/28433/task/28444/stat : 28444 (java) S 28431 28431 27111 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 418750388 29458767872 425476 33554432000 4194304 4196468 140732899369824 140354158307040 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28445] ppid=28431 vsize=28768328 memory=7954879105748526952 CPUtime=0 cores=0-7
/proc/28433/task/28445/stat : 28445 (java) S 28431 28431 27111 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 418750388 29458767872 425476 33554432000 4194304 4196468 140732899369824 140354157253888 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28446] ppid=28431 vsize=28768328 memory=5865493686588565089 CPUtime=0 cores=0-7
/proc/28433/task/28446/stat : 28446 (java) S 28431 28431 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418750390 29458767872 425476 33554432000 4194304 4196468 140732899369824 140354156202448 140355110291355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28447] ppid=28431 vsize=28768328 memory=5865493686588565089 CPUtime=4.04 cores=0-7
/proc/28433/task/28447/stat : 28447 (java) S 28431 28431 27111 0 -1 1077944384 8618 0 0 0 401 3 0 0 20 0 28 0 418750390 29458767872 425476 33554432000 4194304 4196468 140732899369824 140354155149552 140355110283906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28448] ppid=28431 vsize=28768328 memory=7380113796198981969 CPUtime=4.33 cores=0-7
/proc/28433/task/28448/stat : 28448 (java) S 28431 28431 27111 0 -1 1077944384 8325 0 0 0 430 3 0 0 20 0 28 0 418750390 29458767872 425476 33554432000 4194304 4196468 140732899369824 140354154097008 140355110283906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28449] ppid=28431 vsize=28768328 memory=5865493686588565089 CPUtime=4.1 cores=0-7
/proc/28433/task/28449/stat : 28449 (java) S 28431 28431 27111 0 -1 1077944384 8691 0 0 0 408 2 0 0 20 0 28 0 418750390 29458767872 425476 33554432000 4194304 4196468 140732899369824 140354153043952 140355110283906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28450] ppid=28431 vsize=28768328 memory=1716 CPUtime=1.15 cores=0-7
/proc/28433/task/28450/stat : 28450 (java) S 28431 28431 27111 0 -1 1077944384 6968 0 0 0 113 2 0 0 20 0 28 0 418750390 29458767872 425476 33554432000 4194304 4196468 140732899369824 140354151991408 140355110283906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28451] ppid=28431 vsize=28768328 memory=1124 CPUtime=0 cores=0-7
/proc/28433/task/28451/stat : 28451 (java) S 28431 28431 27111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418750391 29458767872 425476 33554432000 4194304 4196468 140732899369824 140354150939616 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28452] ppid=28431 vsize=28768328 memory=5928 CPUtime=0 cores=0-7
/proc/28433/task/28452/stat : 28452 (java) S 28431 28431 27111 0 -1 1077944384 252 0 0 0 0 0 0 0 20 0 28 0 418750391 29458767872 425476 33554432000 4194304 4196468 140732899369824 140354149887152 140355110283906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28453] ppid=28431 vsize=28768328 memory=916 CPUtime=6.87 cores=0-7
/proc/28433/task/28453/stat : 28453 (java) S 28431 28431 27111 0 -1 1077944384 526 0 0 0 685 2 0 0 20 0 28 0 418750742 29458767872 425476 33554432000 4194304 4196468 140732899369824 140354138582768 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28454] ppid=28431 vsize=28768328 memory=1656 CPUtime=6.44 cores=0-7
/proc/28433/task/28454/stat : 28454 (java) S 28431 28431 27111 0 -1 1077944384 861 0 0 0 643 1 0 0 20 0 28 0 418750742 29458767872 425476 33554432000 4194304 4196468 140732899369824 140354137531728 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28455] ppid=28431 vsize=28768328 memory=14004 CPUtime=6.32 cores=0-7
/proc/28433/task/28455/stat : 28455 (java) R 28431 28431 27111 0 -1 4202560 2326 0 0 0 629 3 0 0 20 0 28 0 418750742 29458767872 425476 33554432000 4194304 4196468 140732899369824 140354136474968 140354730369647 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28456] ppid=28431 vsize=28768328 memory=2120 CPUtime=6.76 cores=0-7
/proc/28433/task/28456/stat : 28456 (java) S 28431 28431 27111 0 -1 1077944384 828 0 0 0 675 1 0 0 20 0 28 0 418750742 29458767872 425476 33554432000 4194304 4196468 140732899369824 140354135426128 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28457] ppid=28431 vsize=28768328 memory=22136 CPUtime=6.86 cores=0-7
/proc/28433/task/28457/stat : 28457 (java) S 28431 28431 27111 0 -1 1077944384 965 0 0 0 684 2 0 0 20 0 28 0 418750742 29458767872 425476 33554432000 4194304 4196468 140732899369824 140354134373072 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28458] ppid=28431 vsize=28768328 memory=14068 CPUtime=6.83 cores=0-7
/proc/28433/task/28458/stat : 28458 (java) S 28431 28431 27111 0 -1 1077944384 1559 0 0 0 681 2 0 0 20 0 28 0 418750742 29458767872 425476 33554432000 4194304 4196468 140732899369824 140354133320528 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28459] ppid=28431 vsize=28768328 memory=528 CPUtime=6.65 cores=0-7
/proc/28433/task/28459/stat : 28459 (java) S 28431 28431 27111 0 -1 1077944384 932 0 0 0 664 1 0 0 20 0 28 0 418750742 29458767872 425476 33554432000 4194304 4196468 140732899369824 140354132268496 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
[pid=28433/tid=28460] ppid=28431 vsize=28768328 memory=1560 CPUtime=6.41 cores=0-7
/proc/28433/task/28460/stat : 28460 (java) S 28431 28431 27111 0 -1 1077944384 271 0 0 0 640 1 0 0 20 0 28 0 418750742 29458767872 425476 33554432000 4194304 4196468 140732899369824 140354131215952 140355110282965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 37134336 140732899374058 140732899374230 140732899374230 140732899377103 0
Current children cumulated CPU time: 73.76 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 1703356 KiB
Child status: 0
Real time (s): 11.4895
CPU time (s): 73.89
CPU user time (s): 71.8049
CPU system time (s): 2.08508
CPU usage (%): 643.106
Max. virtual memory (cumulated for all children) (KiB): 28881456
Max. memory (cumulated for all children) (KiB): 1703356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 71.8049
system time used= 2.08508
maximum resident set size= 1702384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61694
page faults= 0
swaps= 0
block input operations= 0
block output operations= 120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5899
involuntary context switches= 1891
# summary of solver processes directly reported to runsolver:
# pid: 28431
# total CPU time (s): 73.89
# total CPU user time (s): 71.8049
# total CPU system time (s): 2.08508
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.136033 second user time and 0.157512 second system time
The end
Begin job on node137 at 2019-09-14 03:36:28 IDJOB=4393645 IDBENCH=125570 IDSOLVER=2841 FILE ID=node137/4393645-1568425030 RUNJOBID= node137-1568417397-27138 PBS_JOBID= 21702274 Free space on /tmp= 61428 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/DeBruijnSequence/DeBruijnSequence-m1-s1/DeBruijnSequence-02-09.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4393645-1568425030/watcher-4393645-1568425030 -o /tmp/evaluation-result-4393645-1568425030/solver-4393645-1568425030 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1568417397-27138 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 447620154 HOME/instance-4393645-1568425030.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 51af40833062bacbe569ad61b7e4d8a4 RANDOM SEED=447620154 node137.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 : 5334.00 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 : 5334.00 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 : 5334.00 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 : 5334.00 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: 26647856 kB MemAvailable: 31802616 kB Buffers: 186040 kB Cached: 5234256 kB SwapCached: 77548 kB Active: 1417672 kB Inactive: 4083128 kB Active(anon): 4352 kB Inactive(anon): 117624 kB Active(file): 1413320 kB Inactive(file): 3965504 kB Unevictable: 108688 kB Mlocked: 108688 kB SwapTotal: 67108860 kB SwapFree: 66927260 kB Dirty: 25920 kB Writeback: 4 kB AnonPages: 115452 kB Mapped: 44688 kB Shmem: 32772 kB Slab: 213288 kB SReclaimable: 183540 kB SUnreclaim: 29748 kB KernelStack: 3552 kB PageTables: 5228 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498104 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 61400 MiB End job on node137 at 2019-09-14 03:36:40