Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-20 parallel | SAT | 62.0753 | 9.85375 |
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-4404405-1568997271.xml" -tl '20160s' -p 8 0.13/0.18 c Choco 3fb4b153 0.13/0.18 c [HOME/instance-4404405-1568997271.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 11.59/3.42 c solve instance... 61.95/9.82 s SATISFIABLE 61.95/9.82 v <instantiation> 61.95/9.82 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> 61.95/9.82 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> 61.95/9.82 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 (7042 MiB free) memory of node 1: 16384 MiB (8382 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404405-1568997271/watcher-4404405-1568997271 -o /var/tmp/evaluation-result-4404405-1568997271/solver-4404405-1568997271 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node124-1568994707-9278 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1523365411 HOME/instance-4404405-1568997271.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=9624, runsolver pid=9621 [startup+0.103496 s]* /proc/loadavg: 7.82 8.20 8.15 3/212 9645 /proc/meminfo: memFree=15777900/32770624 swapFree=66976740/67108860 [pid=9624] ppid=9621 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/9624/stat : 9624 (xcsp3-exec) S 9621 9624 9251 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 475667186 115843072 363 33554432000 4194304 5098028 140726444927408 140726444925512 140019935584892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28372992 140726444933969 140726444934229 140726444934229 140726444937158 0 /proc/9624/statm: 28282 363 304 221 0 87 0 [pid=9626] ppid=9624 vsize=28227396 memory=29172 CPUtime=0.13 cores=0-7 /proc/9626/stat : 9626 (java) S 9624 9624 9251 0 -1 1077944320 5712 0 0 0 12 1 0 0 20 0 20 0 475667186 28904853504 7293 33554432000 4194304 4196468 140727914138368 140727914120912 140259872440055 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 /proc/9626/statm: 7056849 7293 3150 1 0 7019032 0 [pid=9626/tid=9627] ppid=9624 vsize=28227396 memory=4134692831991783777 CPUtime=0.09 cores=0-7 /proc/9626/task/9627/stat : 9627 (java) R 9624 9624 9251 0 -1 4202560 3621 0 0 0 9 0 0 0 20 0 20 0 475667186 28904853504 7293 33554432000 4194304 4196468 140727914138368 140259876665888 140259856483685 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9628] ppid=9624 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/9626/task/9628/stat : 9628 (java) S 9624 9624 9251 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475667187 28904853504 7293 33554432000 4194304 4196468 140727914138368 140259825060752 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9629] ppid=9624 vsize=28227396 memory=139723536881280 CPUtime=0 cores=0-7 /proc/9626/task/9629/stat : 9629 (java) S 9624 9624 9251 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475667187 28904853504 7293 33554432000 4194304 4196468 140727914138368 140259824007952 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9630] ppid=9624 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9626/task/9630/stat : 9630 (java) S 9624 9624 9251 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475667187 28904853504 7293 33554432000 4194304 4196468 140727914138368 140259822955664 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9631] ppid=9624 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9626/task/9631/stat : 9631 (java) S 9624 9624 9251 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475667187 28904853504 7293 33554432000 4194304 4196468 140727914138368 140259821902864 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9632] ppid=9624 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9626/task/9632/stat : 9632 (java) S 9624 9624 9251 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475667187 28904853504 7293 33554432000 4194304 4196468 140727914138368 140259820849552 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9633] ppid=9624 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/9626/task/9633/stat : 9633 (java) S 9624 9624 9251 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475667187 28904853504 7293 33554432000 4194304 4196468 140727914138368 140259819796752 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9634] ppid=9624 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9626/task/9634/stat : 9634 (java) S 9624 9624 9251 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475667187 28904853504 7293 33554432000 4194304 4196468 140727914138368 140259818744464 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9635] ppid=9624 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9626/task/9635/stat : 9635 (java) S 9624 9624 9251 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475667187 28904853504 7293 33554432000 4194304 4196468 140727914138368 140259817691664 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9636] ppid=9624 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9626/task/9636/stat : 9636 (java) S 9624 9624 9251 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475667188 28904853504 7293 33554432000 4194304 4196468 140727914138368 140258336385648 140259872451202 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9637] ppid=9624 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9626/task/9637/stat : 9637 (java) S 9624 9624 9251 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475667189 28904853504 7293 33554432000 4194304 4196468 140727914138368 140258335331616 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9638] ppid=9624 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9626/task/9638/stat : 9638 (java) S 9624 9624 9251 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475667189 28904853504 7293 33554432000 4194304 4196468 140727914138368 140258334279280 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9639] ppid=9624 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9626/task/9639/stat : 9639 (java) S 9624 9624 9251 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475667192 28904853504 7293 33554432000 4194304 4196468 140727914138368 140258333227600 140259872458651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9640] ppid=9624 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9626/task/9640/stat : 9640 (java) S 9624 9624 9251 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 20 0 475667192 28904853504 7293 33554432000 4194304 4196468 140727914138368 140258332174448 140259872451202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9641] ppid=9624 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9626/task/9641/stat : 9641 (java) R 9624 9624 9251 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475667192 28904853504 7293 33554432000 4194304 4196468 140727914138368 140258129733616 140259872451202 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9642] ppid=9624 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9626/task/9642/stat : 9642 (java) R 9624 9624 9251 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 20 0 475667192 28904853504 7293 33554432000 4194304 4196468 140727914138368 140258128681328 140259855875793 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9643] ppid=9624 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/9626/task/9643/stat : 9643 (java) R 9624 9624 9251 0 -1 4202560 360 0 0 0 2 0 0 0 20 0 20 0 475667192 28904853504 7293 33554432000 4194304 4196468 140727914138368 140258127628528 140259856520542 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9644] ppid=9624 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9626/task/9644/stat : 9644 (java) S 9624 9624 9251 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475667192 28904853504 7293 33554432000 4194304 4196468 140727914138368 140258126576480 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9645] ppid=9624 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/9626/task/9645/stat : 9645 (java) S 9624 9624 9251 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475667192 28904853504 7293 33554432000 4194304 4196468 140727914138368 140258125523760 140259872451202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30624 KiB [startup+0.213737 s]* /proc/loadavg: 7.82 8.20 8.15 2/212 9645 /proc/meminfo: memFree=15764416/32770624 swapFree=66976740/67108860 [pid=9624] ppid=9621 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/9624/stat : 9624 (xcsp3-exec) S 9621 9624 9251 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 475667186 115843072 363 33554432000 4194304 5098028 140726444927408 140726444925512 140019935584892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28372992 140726444933969 140726444934229 140726444934229 140726444937158 0 /proc/9624/statm: 28282 363 304 221 0 87 0 [pid=9626] ppid=9624 vsize=28227396 memory=41280 CPUtime=0.34 cores=0-7 /proc/9626/stat : 9626 (java) S 9624 9624 9251 0 -1 1077944320 9556 0 0 0 31 3 0 0 20 0 20 0 475667186 28904853504 10320 33554432000 4194304 4196468 140727914138368 140727914120912 140259872440055 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 /proc/9626/statm: 7056849 10320 3287 1 0 7019032 0 [pid=9626/tid=9627] ppid=9624 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/9626/task/9627/stat : 9627 (java) R 9624 9624 9251 0 -1 4202560 6649 0 0 0 18 2 0 0 20 0 20 0 475667186 28904853504 10320 33554432000 4194304 4196468 140727914138368 140259876675040 140259856520542 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9628] ppid=9624 vsize=28227396 memory=331 CPUtime=0 cores=0-7 /proc/9626/task/9628/stat : 9628 (java) S 9624 9624 9251 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475667187 28904853504 10320 33554432000 4194304 4196468 140727914138368 140259825060752 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9629] ppid=9624 vsize=28227396 memory=3474448261694903968 CPUtime=0 cores=0-7 /proc/9626/task/9629/stat : 9629 (java) S 9624 9624 9251 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475667187 28904853504 10320 33554432000 4194304 4196468 140727914138368 140259824007952 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9630] ppid=9624 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/9626/task/9630/stat : 9630 (java) S 9624 9624 9251 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475667187 28904853504 10320 33554432000 4194304 4196468 140727914138368 140259822955664 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9631] ppid=9624 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9626/task/9631/stat : 9631 (java) S 9624 9624 9251 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475667187 28904853504 10320 33554432000 4194304 4196468 140727914138368 140259821902864 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9632] ppid=9624 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9626/task/9632/stat : 9632 (java) S 9624 9624 9251 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475667187 28904853504 10320 33554432000 4194304 4196468 140727914138368 140259820849552 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9633] ppid=9624 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/9626/task/9633/stat : 9633 (java) S 9624 9624 9251 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475667187 28904853504 10320 33554432000 4194304 4196468 140727914138368 140259819796752 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9634] ppid=9624 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9626/task/9634/stat : 9634 (java) S 9624 9624 9251 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475667187 28904853504 10320 33554432000 4194304 4196468 140727914138368 140259818744464 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9635] ppid=9624 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9626/task/9635/stat : 9635 (java) S 9624 9624 9251 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475667187 28904853504 10320 33554432000 4194304 4196468 140727914138368 140259817691664 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9636] ppid=9624 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9626/task/9636/stat : 9636 (java) S 9624 9624 9251 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475667188 28904853504 10320 33554432000 4194304 4196468 140727914138368 140258336385648 140259872451202 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9637] ppid=9624 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9626/task/9637/stat : 9637 (java) S 9624 9624 9251 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475667189 28904853504 10320 33554432000 4194304 4196468 140727914138368 140258335331616 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9638] ppid=9624 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9626/task/9638/stat : 9638 (java) S 9624 9624 9251 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475667189 28904853504 10320 33554432000 4194304 4196468 140727914138368 140258334279280 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9639] ppid=9624 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9626/task/9639/stat : 9639 (java) S 9624 9624 9251 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475667192 28904853504 10320 33554432000 4194304 4196468 140727914138368 140258333227600 140259872458651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9640] ppid=9624 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/9626/task/9640/stat : 9640 (java) S 9624 9624 9251 0 -1 1077944384 463 0 0 0 1 0 0 0 20 0 20 0 475667192 28904853504 10320 33554432000 4194304 4196468 140727914138368 140258332174448 140259872451202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9641] ppid=9624 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/9626/task/9641/stat : 9641 (java) S 9624 9624 9251 0 -1 1077944384 340 0 0 0 1 0 0 0 20 0 20 0 475667192 28904853504 10320 33554432000 4194304 4196468 140727914138368 140258129733616 140259872451202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9642] ppid=9624 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/9626/task/9642/stat : 9642 (java) S 9624 9624 9251 0 -1 1077944384 62 0 0 0 1 0 0 0 20 0 20 0 475667192 28904853504 10320 33554432000 4194304 4196468 140727914138368 140258128681328 140259872451202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9643] ppid=9624 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/9626/task/9643/stat : 9643 (java) R 9624 9624 9251 0 -1 4202560 737 0 0 0 7 0 0 0 20 0 20 0 475667192 28904853504 10320 33554432000 4194304 4196468 140727914138368 140258127628528 140259872451990 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9644] ppid=9624 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9626/task/9644/stat : 9644 (java) S 9624 9624 9251 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475667192 28904853504 10320 33554432000 4194304 4196468 140727914138368 140258126576480 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9645] ppid=9624 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/9626/task/9645/stat : 9645 (java) S 9624 9624 9251 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475667192 28904853504 10320 33554432000 4194304 4196468 140727914138368 140258125523760 140259872451202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42732 KiB [startup+0.311382 s]* /proc/loadavg: 7.82 8.20 8.15 3/212 9645 /proc/meminfo: memFree=15756536/32770624 swapFree=66976740/67108860 [pid=9624] ppid=9621 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/9624/stat : 9624 (xcsp3-exec) S 9621 9624 9251 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 475667186 115843072 363 33554432000 4194304 5098028 140726444927408 140726444925512 140019935584892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28372992 140726444933969 140726444934229 140726444934229 140726444937158 0 /proc/9624/statm: 28282 363 304 221 0 87 0 [pid=9626] ppid=9624 vsize=28231652 memory=50248 CPUtime=0.53 cores=0-7 /proc/9626/stat : 9626 (java) S 9624 9624 9251 0 -1 1077944320 10915 0 0 0 49 4 0 0 20 0 20 0 475667186 28909211648 12562 33554432000 4194304 4196468 140727914138368 140727914120912 140259872440055 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 /proc/9626/statm: 7057913 12562 3365 1 0 7019032 0 [pid=9626/tid=9627] ppid=9624 vsize=28231652 memory=8112282956445269571 CPUtime=0.3 cores=0-7 /proc/9626/task/9627/stat : 9627 (java) R 9624 9624 9251 0 -1 4202560 7822 0 0 0 27 3 0 0 20 0 20 0 475667186 28909211648 12630 33554432000 4194304 4196468 140727914138368 140259876677680 140259857613088 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9628] ppid=9624 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9626/task/9628/stat : 9628 (java) S 9624 9624 9251 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475667187 28909211648 12630 33554432000 4194304 4196468 140727914138368 140259825060752 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9629] ppid=9624 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9626/task/9629/stat : 9629 (java) S 9624 9624 9251 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475667187 28909211648 12630 33554432000 4194304 4196468 140727914138368 140259824007952 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9630] ppid=9624 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9626/task/9630/stat : 9630 (java) S 9624 9624 9251 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475667187 28909211648 12630 33554432000 4194304 4196468 140727914138368 140259822955664 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9631] ppid=9624 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9626/task/9631/stat : 9631 (java) S 9624 9624 9251 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475667187 28909211648 12630 33554432000 4194304 4196468 140727914138368 140259821902864 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9632] ppid=9624 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/9626/task/9632/stat : 9632 (java) S 9624 9624 9251 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475667187 28909211648 12630 33554432000 4194304 4196468 140727914138368 140259820849552 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9633] ppid=9624 vsize=28231652 memory=139723406406575 CPUtime=0 cores=0-7 /proc/9626/task/9633/stat : 9633 (java) S 9624 9624 9251 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475667187 28909211648 12630 33554432000 4194304 4196468 140727914138368 140259819796752 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9634] ppid=9624 vsize=28231652 memory=139723406408880 CPUtime=0 cores=0-7 /proc/9626/task/9634/stat : 9634 (java) S 9624 9624 9251 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475667187 28909211648 12630 33554432000 4194304 4196468 140727914138368 140259818744464 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9635] ppid=9624 vsize=28231652 memory=139723406411184 CPUtime=0 cores=0-7 /proc/9626/task/9635/stat : 9635 (java) S 9624 9624 9251 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475667187 28909211648 12630 33554432000 4194304 4196468 140727914138368 140259817691664 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9636] ppid=9624 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9626/task/9636/stat : 9636 (java) S 9624 9624 9251 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475667188 28909211648 12630 33554432000 4194304 4196468 140727914138368 140258336385648 140259872451202 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9637] ppid=9624 vsize=28231652 memory=279446812829328 CPUtime=0 cores=0-7 /proc/9626/task/9637/stat : 9637 (java) S 9624 9624 9251 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475667189 28909211648 12630 33554432000 4194304 4196468 140727914138368 140258335331616 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9638] ppid=9624 vsize=28231652 memory=279446812836240 CPUtime=0 cores=0-7 /proc/9626/task/9638/stat : 9638 (java) S 9624 9624 9251 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475667189 28909211648 12630 33554432000 4194304 4196468 140727914138368 140258334279280 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9639] ppid=9624 vsize=28231652 memory=279446812777520 CPUtime=0 cores=0-7 /proc/9626/task/9639/stat : 9639 (java) S 9624 9624 9251 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475667192 28909211648 12630 33554432000 4194304 4196468 140727914138368 140258333227600 140259872458651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9640] ppid=9624 vsize=28231652 memory=279446812850064 CPUtime=0.02 cores=0-7 /proc/9626/task/9640/stat : 9640 (java) S 9624 9624 9251 0 -1 1077944384 466 0 0 0 2 0 0 0 20 0 20 0 475667192 28909211648 12630 33554432000 4194304 4196468 140727914138368 140258332174448 140259872451202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9641] ppid=9624 vsize=28231652 memory=279446812856976 CPUtime=0.04 cores=0-7 /proc/9626/task/9641/stat : 9641 (java) R 9624 9624 9251 0 -1 4202560 430 0 0 0 4 0 0 0 20 0 20 0 475667192 28909211648 12630 33554432000 4194304 4196468 140727914138368 140258129723728 140259849701312 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9642] ppid=9624 vsize=28231652 memory=279446812854672 CPUtime=0.02 cores=0-7 /proc/9626/task/9642/stat : 9642 (java) S 9624 9624 9251 0 -1 1077944384 86 0 0 0 2 0 0 0 20 0 20 0 475667192 28909211648 12630 33554432000 4194304 4196468 140727914138368 140258128681328 140259872451202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9643] ppid=9624 vsize=28231652 memory=279446812870832 CPUtime=0.12 cores=0-7 /proc/9626/task/9643/stat : 9643 (java) S 9624 9624 9251 0 -1 1077944384 814 0 0 0 12 0 0 0 20 0 20 0 475667192 28909211648 12630 33554432000 4194304 4196468 140727914138368 140258127628528 140259872451202 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9644] ppid=9624 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9626/task/9644/stat : 9644 (java) S 9624 9624 9251 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475667192 28909211648 12630 33554432000 4194304 4196468 140727914138368 140258126576480 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9645] ppid=9624 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/9626/task/9645/stat : 9645 (java) S 9624 9624 9251 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475667192 28909211648 12630 33554432000 4194304 4196468 140727914138368 140258125523760 140259872451202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51700 KiB [startup+0.701057 s] /proc/loadavg: 7.82 8.20 8.15 6/212 9645 /proc/meminfo: memFree=15733160/32770624 swapFree=66976740/67108860 [pid=9624] ppid=9621 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/9624/stat : 9624 (xcsp3-exec) S 9621 9624 9251 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 475667186 115843072 363 33554432000 4194304 5098028 140726444927408 140726444925512 140019935584892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28372992 140726444933969 140726444934229 140726444934229 140726444937158 0 /proc/9624/statm: 28282 363 304 221 0 87 0 [pid=9626] ppid=9624 vsize=28233776 memory=113896 CPUtime=2.05 cores=0-7 /proc/9626/stat : 9626 (java) S 9624 9624 9251 0 -1 1077944320 15575 0 0 0 198 7 0 0 20 0 20 0 475667186 28911386624 28474 33554432000 4194304 4196468 140727914138368 140727914120912 140259872440055 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 /proc/9626/statm: 7058444 28474 3449 1 0 7019544 0 [pid=9626/tid=9627] ppid=9624 vsize=28233776 memory=279446813228720 CPUtime=0.67 cores=0-7 /proc/9626/task/9627/stat : 9627 (java) R 9624 9624 9251 0 -1 4202560 8415 0 0 0 64 3 0 0 20 0 20 0 475667186 28911386624 28474 33554432000 4194304 4196468 140727914138368 140259876675728 140259872461402 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9628] ppid=9624 vsize=28233776 memory=139723406615408 CPUtime=0 cores=0-7 /proc/9626/task/9628/stat : 9628 (java) S 9624 9624 9251 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475667187 28911386624 28474 33554432000 4194304 4196468 140727914138368 140259825060752 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9629] ppid=9624 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/9626/task/9629/stat : 9629 (java) S 9624 9624 9251 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475667187 28911386624 28474 33554432000 4194304 4196468 140727914138368 140259824007952 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9630] ppid=9624 vsize=28233776 memory=1060 CPUtime=0 cores=0-7 /proc/9626/task/9630/stat : 9630 (java) S 9624 9624 9251 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475667187 28911386624 28474 33554432000 4194304 4196468 140727914138368 140259822955664 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 ################ # More data... # ################ [pid=9626/tid=9643] ppid=9624 vsize=28768336 memory=2244 CPUtime=0.98 cores=0-7 /proc/9626/task/9643/stat : 9643 (java) S 9624 9624 9251 0 -1 1077944384 3937 0 0 0 96 2 0 0 20 0 28 0 475667192 29458776064 221061 33554432000 4194304 4196468 140727914138368 140258127628528 140259872451202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9644] ppid=9624 vsize=28768336 memory=3472328296227679313 CPUtime=0 cores=0-7 /proc/9626/task/9644/stat : 9644 (java) S 9624 9624 9251 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475667192 29458776064 221061 33554432000 4194304 4196468 140727914138368 140258126576480 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9645] ppid=9624 vsize=28768336 memory=3055200201538420838 CPUtime=0 cores=0-7 /proc/9626/task/9645/stat : 9645 (java) S 9624 9624 9251 0 -1 1077944384 883 0 0 0 0 0 0 0 20 0 28 0 475667192 29458776064 221061 33554432000 4194304 4196468 140727914138368 140258125523760 140259872451202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9646] ppid=9624 vsize=28768336 memory=6940425714476859492 CPUtime=5.13 cores=0-7 /proc/9626/task/9646/stat : 9646 (java) R 9624 9624 9251 0 -1 4202560 522 0 0 0 512 1 0 0 20 0 28 0 475667531 29458776064 221061 33554432000 4194304 4196468 140727914138368 140258114207768 140259489032944 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9647] ppid=9624 vsize=28768336 memory=4279353494052299584 CPUtime=5.25 cores=0-7 /proc/9626/task/9647/stat : 9647 (java) R 9624 9624 9251 0 -1 4202560 228 0 0 0 524 1 0 0 20 0 28 0 475667531 29458776064 221061 33554432000 4194304 4196468 140727914138368 140258113155368 140259499346960 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9648] ppid=9624 vsize=28768336 memory=-2746958450906831424 CPUtime=4.97 cores=0-7 /proc/9626/task/9648/stat : 9648 (java) R 9624 9624 9251 0 -1 4202560 1277 0 0 0 496 1 0 0 20 0 28 0 475667531 29458776064 221061 33554432000 4194304 4196468 140727914138368 140258112102824 140259500688438 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9649] ppid=9624 vsize=28768336 memory=6944656592455359580 CPUtime=5.08 cores=0-7 /proc/9626/task/9649/stat : 9649 (java) R 9624 9624 9251 0 -1 4202560 291 0 0 0 507 1 0 0 20 0 28 0 475667531 29458776064 221061 33554432000 4194304 4196468 140727914138368 140258111049720 140259498922792 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9650] ppid=9624 vsize=28768336 memory=6944656592455360604 CPUtime=5.08 cores=0-7 /proc/9626/task/9650/stat : 9650 (java) R 9624 9624 9251 0 -1 4202560 401 0 0 0 508 0 0 0 20 0 28 0 475667531 29458776064 221061 33554432000 4194304 4196468 140727914138368 140258109997816 140259499345704 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9651] ppid=9624 vsize=28768336 memory=6944656592455359580 CPUtime=5.48 cores=0-7 /proc/9626/task/9651/stat : 9651 (java) R 9624 9624 9251 0 -1 4202560 238 0 0 0 547 1 0 0 20 0 28 0 475667531 29458776064 221061 33554432000 4194304 4196468 140727914138368 140258108944168 140259499345530 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9652] ppid=9624 vsize=28768336 memory=-7812193691855986592 CPUtime=5.05 cores=0-7 /proc/9626/task/9652/stat : 9652 (java) R 9624 9624 9251 0 -1 4202560 494 0 0 0 505 0 0 0 20 0 28 0 475667531 29458776064 221061 33554432000 4194304 4196468 140727914138368 140258107892232 140259499345564 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9653] ppid=9624 vsize=28768336 memory=-7087961436404378774 CPUtime=5.26 cores=0-7 /proc/9626/task/9653/stat : 9653 (java) R 9624 9624 9251 0 -1 4202560 419 0 0 0 525 1 0 0 20 0 28 0 475667531 29458776064 221061 33554432000 4194304 4196468 140727914138368 140258106841928 140259499345744 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 Current children cumulated CPU time: 58.01 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 885696 KiB [startup+9.70192 s] /proc/loadavg: 7.60 8.15 8.13 9/220 9653 /proc/meminfo: memFree=14921984/32770624 swapFree=66976740/67108860 [pid=9624] ppid=9621 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/9624/stat : 9624 (xcsp3-exec) S 9621 9624 9251 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 475667186 115843072 363 33554432000 4194304 5098028 140726444927408 140726444925512 140019935584892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28372992 140726444933969 140726444934229 140726444934229 140726444937158 0 /proc/9624/statm: 28282 363 304 221 0 87 0 [pid=9626] ppid=9624 vsize=28768336 memory=893388 CPUtime=61.19 cores=0-7 /proc/9626/stat : 9626 (java) S 9624 9624 9251 0 -1 1077944320 47945 0 0 0 6011 108 0 0 20 0 28 0 475667186 29458776064 223347 33554432000 4194304 4196468 140727914138368 140727914120912 140259872440055 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 /proc/9626/statm: 7192084 223347 3534 1 0 7153184 0 [pid=9626/tid=9627] ppid=9624 vsize=28768336 memory=0 CPUtime=3.15 cores=0-7 /proc/9626/task/9627/stat : 9627 (java) S 9624 9624 9251 0 -1 1077944384 9982 0 0 0 305 10 0 0 20 0 28 0 475667186 29458776064 223347 33554432000 4194304 4196468 140727914138368 140259876680832 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9628] ppid=9624 vsize=28768336 memory=0 CPUtime=0.28 cores=0-7 /proc/9626/task/9628/stat : 9628 (java) S 9624 9624 9251 0 -1 1077944384 1852 0 0 0 18 10 0 0 20 0 28 0 475667187 29458776064 223347 33554432000 4194304 4196468 140727914138368 140259825060752 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9629] ppid=9624 vsize=28768336 memory=1452 CPUtime=0.25 cores=0-7 /proc/9626/task/9629/stat : 9629 (java) S 9624 9624 9251 0 -1 1077944384 214 0 0 0 16 9 0 0 20 0 28 0 475667187 29458776064 223347 33554432000 4194304 4196468 140727914138368 140259824007952 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9630] ppid=9624 vsize=28768336 memory=883976 CPUtime=0.26 cores=0-7 /proc/9626/task/9630/stat : 9630 (java) S 9624 9624 9251 0 -1 1077944384 414 0 0 0 17 9 0 0 20 0 28 0 475667187 29458776064 223347 33554432000 4194304 4196468 140727914138368 140259822955664 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9631] ppid=9624 vsize=28768336 memory=0 CPUtime=0.27 cores=0-7 /proc/9626/task/9631/stat : 9631 (java) S 9624 9624 9251 0 -1 1077944384 267 0 0 0 17 10 0 0 20 0 28 0 475667187 29458776064 223347 33554432000 4194304 4196468 140727914138368 140259821902864 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9632] ppid=9624 vsize=28768336 memory=152 CPUtime=0.26 cores=0-7 /proc/9626/task/9632/stat : 9632 (java) S 9624 9624 9251 0 -1 1077944384 242 0 0 0 18 8 0 0 20 0 28 0 475667187 29458776064 223347 33554432000 4194304 4196468 140727914138368 140259820849552 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9633] ppid=9624 vsize=28768336 memory=148 CPUtime=0.27 cores=0-7 /proc/9626/task/9633/stat : 9633 (java) S 9624 9624 9251 0 -1 1077944384 295 0 0 0 18 9 0 0 20 0 28 0 475667187 29458776064 223347 33554432000 4194304 4196468 140727914138368 140259819796752 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9634] ppid=9624 vsize=28768336 memory=145 CPUtime=0.27 cores=0-7 /proc/9626/task/9634/stat : 9634 (java) S 9624 9624 9251 0 -1 1077944384 281 0 0 0 17 10 0 0 20 0 28 0 475667187 29458776064 223347 33554432000 4194304 4196468 140727914138368 140259818744464 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9635] ppid=9624 vsize=28768336 memory=68 CPUtime=0.23 cores=0-7 /proc/9626/task/9635/stat : 9635 (java) S 9624 9624 9251 0 -1 1077944384 234 0 0 0 15 8 0 0 20 0 28 0 475667187 29458776064 223347 33554432000 4194304 4196468 140727914138368 140259817691664 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9636] ppid=9624 vsize=28768336 memory=0 CPUtime=0.02 cores=0-7 /proc/9626/task/9636/stat : 9636 (java) S 9624 9624 9251 0 -1 1077944384 808 0 0 0 1 1 0 0 20 0 28 0 475667188 29458776064 223347 33554432000 4194304 4196468 140727914138368 140258336385648 140259872451202 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9637] ppid=9624 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/9626/task/9637/stat : 9637 (java) S 9624 9624 9251 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 475667189 29458776064 223347 33554432000 4194304 4196468 140727914138368 140258335331680 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9638] ppid=9624 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/9626/task/9638/stat : 9638 (java) S 9624 9624 9251 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 475667189 29458776064 223347 33554432000 4194304 4196468 140727914138368 140258334279296 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9639] ppid=9624 vsize=28768336 memory=2209 CPUtime=0 cores=0-7 /proc/9626/task/9639/stat : 9639 (java) S 9624 9624 9251 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475667192 29458776064 223347 33554432000 4194304 4196468 140727914138368 140258333227600 140259872458651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9640] ppid=9624 vsize=28768336 memory=4580 CPUtime=3.54 cores=0-7 /proc/9626/task/9640/stat : 9640 (java) R 9624 9624 9251 0 -1 4202560 8910 0 0 0 351 3 0 0 20 0 28 0 475667192 29458776064 223347 33554432000 4194304 4196468 140727914138368 140258332174744 140259855938865 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9641] ppid=9624 vsize=28768336 memory=0 CPUtime=3.28 cores=0-7 /proc/9626/task/9641/stat : 9641 (java) S 9624 9624 9251 0 -1 1077944384 8462 0 0 0 326 2 0 0 20 0 28 0 475667192 29458776064 223347 33554432000 4194304 4196468 140727914138368 140258129733616 140259872451202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9642] ppid=9624 vsize=28768336 memory=0 CPUtime=3.52 cores=0-7 /proc/9626/task/9642/stat : 9642 (java) S 9624 9624 9251 0 -1 1077944384 5293 0 0 0 351 1 0 0 20 0 28 0 475667192 29458776064 223347 33554432000 4194304 4196468 140727914138368 140258128681328 140259872451202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9643] ppid=9624 vsize=28768336 memory=0 CPUtime=0.98 cores=0-7 /proc/9626/task/9643/stat : 9643 (java) S 9624 9624 9251 0 -1 1077944384 3937 0 0 0 96 2 0 0 20 0 28 0 475667192 29458776064 223347 33554432000 4194304 4196468 140727914138368 140258127628528 140259872451202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9644] ppid=9624 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/9626/task/9644/stat : 9644 (java) S 9624 9624 9251 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475667192 29458776064 223347 33554432000 4194304 4196468 140727914138368 140258126576480 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9645] ppid=9624 vsize=28768336 memory=8112282956445269571 CPUtime=0 cores=0-7 /proc/9626/task/9645/stat : 9645 (java) S 9624 9624 9251 0 -1 1077944384 883 0 0 0 0 0 0 0 20 0 28 0 475667192 29458776064 223347 33554432000 4194304 4196468 140727914138368 140258125523760 140259872451202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9646] ppid=9624 vsize=28768336 memory=-6076356270862155719 CPUtime=5.46 cores=0-7 /proc/9626/task/9646/stat : 9646 (java) R 9624 9624 9251 0 -1 4202560 555 0 0 0 545 1 0 0 20 0 28 0 475667531 29458776064 223347 33554432000 4194304 4196468 140727914138368 140258114206848 140259499345855 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9647] ppid=9624 vsize=28768336 memory=5450916406782758442 CPUtime=5.65 cores=0-7 /proc/9626/task/9647/stat : 9647 (java) R 9624 9624 9251 0 -1 4202560 247 0 0 0 564 1 0 0 20 0 28 0 475667531 29458776064 223347 33554432000 4194304 4196468 140727914138368 140258113155200 140259500397221 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9648] ppid=9624 vsize=28768336 memory=-7310165311724740915 CPUtime=5.36 cores=0-7 /proc/9626/task/9648/stat : 9648 (java) R 9624 9624 9251 0 -1 4202560 1295 0 0 0 535 1 0 0 20 0 28 0 475667531 29458776064 223347 33554432000 4194304 4196468 140727914138368 140258112102184 140259498288400 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9649] ppid=9624 vsize=28768336 memory=139723536892385 CPUtime=5.47 cores=0-7 /proc/9626/task/9649/stat : 9649 (java) R 9624 9624 9251 0 -1 4202560 821 0 0 0 546 1 0 0 20 0 28 0 475667531 29458776064 223347 33554432000 4194304 4196468 140727914138368 140258111049352 140259500599535 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9650] ppid=9624 vsize=28768336 memory=6944656575208382560 CPUtime=5.48 cores=0-7 /proc/9626/task/9650/stat : 9650 (java) R 9624 9624 9251 0 -1 4202560 419 0 0 0 548 0 0 0 20 0 28 0 475667531 29458776064 223347 33554432000 4194304 4196468 140727914138368 140258109997096 140259500397622 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9651] ppid=9624 vsize=28768336 memory=7301858164987948385 CPUtime=5.88 cores=0-7 /proc/9626/task/9651/stat : 9651 (java) R 9624 9624 9251 0 -1 4202560 259 0 0 0 587 1 0 0 20 0 28 0 475667531 29458776064 223347 33554432000 4194304 4196468 140727914138368 140258108944136 140259499345704 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9652] ppid=9624 vsize=28768336 memory=4641335875633763438 CPUtime=5.45 cores=0-7 /proc/9626/task/9652/stat : 9652 (java) R 9624 9624 9251 0 -1 4202560 504 0 0 0 545 0 0 0 20 0 28 0 475667531 29458776064 223347 33554432000 4194304 4196468 140727914138368 140258107892376 140259499345744 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9653] ppid=9624 vsize=28768336 memory=1060 CPUtime=5.65 cores=0-7 /proc/9626/task/9653/stat : 9653 (java) R 9624 9624 9251 0 -1 4202560 433 0 0 0 564 1 0 0 20 0 28 0 475667531 29458776064 223347 33554432000 4194304 4196468 140727914138368 140258106838744 140259500468124 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 Current children cumulated CPU time: 61.19 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 894840 KiB [startup+9.80115 s] /proc/loadavg: 7.60 8.15 8.13 9/220 9653 /proc/meminfo: memFree=14921984/32770624 swapFree=66976740/67108860 [pid=9624] ppid=9621 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/9624/stat : 9624 (xcsp3-exec) S 9621 9624 9251 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 475667186 115843072 363 33554432000 4194304 5098028 140726444927408 140726444925512 140019935584892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28372992 140726444933969 140726444934229 140726444934229 140726444937158 0 /proc/9624/statm: 28282 363 304 221 0 87 0 [pid=9626] ppid=9624 vsize=28768336 memory=895440 CPUtime=61.95 cores=0-7 /proc/9626/stat : 9626 (java) S 9624 9624 9251 0 -1 1077944320 48582 0 0 0 6087 108 0 0 20 0 28 0 475667186 29458776064 223860 33554432000 4194304 4196468 140727914138368 140727914120912 140259872440055 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 /proc/9626/statm: 7192084 223860 3534 1 0 7153184 0 [pid=9626/tid=9627] ppid=9624 vsize=28768336 memory=889024 CPUtime=3.15 cores=0-7 /proc/9626/task/9627/stat : 9627 (java) S 9624 9624 9251 0 -1 1077944384 9982 0 0 0 305 10 0 0 20 0 28 0 475667186 29458776064 223860 33554432000 4194304 4196468 140727914138368 140259876680832 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9628] ppid=9624 vsize=28768336 memory=884244 CPUtime=0.28 cores=0-7 /proc/9626/task/9628/stat : 9628 (java) S 9624 9624 9251 0 -1 1077944384 1852 0 0 0 18 10 0 0 20 0 28 0 475667187 29458776064 223860 33554432000 4194304 4196468 140727914138368 140259825060752 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9629] ppid=9624 vsize=28768336 memory=2241 CPUtime=0.25 cores=0-7 /proc/9626/task/9629/stat : 9629 (java) S 9624 9624 9251 0 -1 1077944384 214 0 0 0 16 9 0 0 20 0 28 0 475667187 29458776064 223860 33554432000 4194304 4196468 140727914138368 140259824007952 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9630] ppid=9624 vsize=28768336 memory=55 CPUtime=0.26 cores=0-7 /proc/9626/task/9630/stat : 9630 (java) S 9624 9624 9251 0 -1 1077944384 414 0 0 0 17 9 0 0 20 0 28 0 475667187 29458776064 223860 33554432000 4194304 4196468 140727914138368 140259822955664 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9631] ppid=9624 vsize=28768336 memory=1966187 CPUtime=0.27 cores=0-7 /proc/9626/task/9631/stat : 9631 (java) S 9624 9624 9251 0 -1 1077944384 267 0 0 0 17 10 0 0 20 0 28 0 475667187 29458776064 223860 33554432000 4194304 4196468 140727914138368 140259821902864 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9632] ppid=9624 vsize=28768336 memory=1967578 CPUtime=0.26 cores=0-7 /proc/9626/task/9632/stat : 9632 (java) S 9624 9624 9251 0 -1 1077944384 242 0 0 0 18 8 0 0 20 0 28 0 475667187 29458776064 223860 33554432000 4194304 4196468 140727914138368 140259820849552 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9633] ppid=9624 vsize=28768336 memory=3636 CPUtime=0.27 cores=0-7 /proc/9626/task/9633/stat : 9633 (java) S 9624 9624 9251 0 -1 1077944384 295 0 0 0 18 9 0 0 20 0 28 0 475667187 29458776064 223860 33554432000 4194304 4196468 140727914138368 140259819796752 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9634] ppid=9624 vsize=28768336 memory=776 CPUtime=0.27 cores=0-7 /proc/9626/task/9634/stat : 9634 (java) S 9624 9624 9251 0 -1 1077944384 281 0 0 0 17 10 0 0 20 0 28 0 475667187 29458776064 223860 33554432000 4194304 4196468 140727914138368 140259818744464 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9635] ppid=9624 vsize=28768336 memory=1564 CPUtime=0.23 cores=0-7 /proc/9626/task/9635/stat : 9635 (java) S 9624 9624 9251 0 -1 1077944384 234 0 0 0 15 8 0 0 20 0 28 0 475667187 29458776064 223860 33554432000 4194304 4196468 140727914138368 140259817691664 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9636] ppid=9624 vsize=28768336 memory=6088 CPUtime=0.02 cores=0-7 /proc/9626/task/9636/stat : 9636 (java) S 9624 9624 9251 0 -1 1077944384 808 0 0 0 1 1 0 0 20 0 28 0 475667188 29458776064 223860 33554432000 4194304 4196468 140727914138368 140258336385648 140259872451202 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9637] ppid=9624 vsize=28768336 memory=1452 CPUtime=0 cores=0-7 /proc/9626/task/9637/stat : 9637 (java) S 9624 9624 9251 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 475667189 29458776064 223860 33554432000 4194304 4196468 140727914138368 140258335331680 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9638] ppid=9624 vsize=28768336 memory=883844 CPUtime=0 cores=0-7 /proc/9626/task/9638/stat : 9638 (java) S 9624 9624 9251 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 475667189 29458776064 223860 33554432000 4194304 4196468 140727914138368 140258334279296 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9639] ppid=9624 vsize=28768336 memory=6788 CPUtime=0 cores=0-7 /proc/9626/task/9639/stat : 9639 (java) S 9624 9624 9251 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475667192 29458776064 223860 33554432000 4194304 4196468 140727914138368 140258333227600 140259872458651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9640] ppid=9624 vsize=28768336 memory=6628 CPUtime=3.58 cores=0-7 /proc/9626/task/9640/stat : 9640 (java) R 9624 9624 9251 0 -1 4202560 9348 0 0 0 355 3 0 0 20 0 28 0 475667192 29458776064 223860 33554432000 4194304 4196468 140727914138368 140258332174744 140259856829656 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9641] ppid=9624 vsize=28768336 memory=580 CPUtime=3.28 cores=0-7 /proc/9626/task/9641/stat : 9641 (java) S 9624 9624 9251 0 -1 1077944384 8462 0 0 0 326 2 0 0 20 0 28 0 475667192 29458776064 223860 33554432000 4194304 4196468 140727914138368 140258129733616 140259872451202 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9642] ppid=9624 vsize=28768336 memory=1716 CPUtime=3.52 cores=0-7 /proc/9626/task/9642/stat : 9642 (java) S 9624 9624 9251 0 -1 1077944384 5296 0 0 0 351 1 0 0 20 0 28 0 475667192 29458776064 223860 33554432000 4194304 4196468 140727914138368 140258128681328 140259872451202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9643] ppid=9624 vsize=28768336 memory=10604 CPUtime=0.98 cores=0-7 /proc/9626/task/9643/stat : 9643 (java) S 9624 9624 9251 0 -1 1077944384 3989 0 0 0 96 2 0 0 20 0 28 0 475667192 29458776064 223860 33554432000 4194304 4196468 140727914138368 140258127628528 140259872451202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9644] ppid=9624 vsize=28768336 memory=3636 CPUtime=0 cores=0-7 /proc/9626/task/9644/stat : 9644 (java) S 9624 9624 9251 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475667192 29458776064 223860 33554432000 4194304 4196468 140727914138368 140258126576480 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9645] ppid=9624 vsize=28768336 memory=776 CPUtime=0 cores=0-7 /proc/9626/task/9645/stat : 9645 (java) S 9624 9624 9251 0 -1 1077944384 883 0 0 0 0 0 0 0 20 0 28 0 475667192 29458776064 223860 33554432000 4194304 4196468 140727914138368 140258125523760 140259872451202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9646] ppid=9624 vsize=28768336 memory=1564 CPUtime=5.55 cores=0-7 /proc/9626/task/9646/stat : 9646 (java) S 9624 9624 9251 0 -1 1077944384 567 0 0 0 554 1 0 0 20 0 28 0 475667531 29458776064 223860 33554432000 4194304 4196468 140727914138368 140258114211952 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9647] ppid=9624 vsize=28768336 memory=0 CPUtime=5.7 cores=0-7 /proc/9626/task/9647/stat : 9647 (java) S 9624 9624 9251 0 -1 1077944384 373 0 0 0 569 1 0 0 20 0 28 0 475667531 29458776064 223860 33554432000 4194304 4196468 140727914138368 140258113160656 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9648] ppid=9624 vsize=28768336 memory=-7091624348563251104 CPUtime=5.45 cores=0-7 /proc/9626/task/9648/stat : 9648 (java) S 9624 9624 9251 0 -1 1077944384 1297 0 0 0 544 1 0 0 20 0 28 0 475667531 29458776064 223860 33554432000 4194304 4196468 140727914138368 140258112107344 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9649] ppid=9624 vsize=28768336 memory=-7674914008656224160 CPUtime=5.57 cores=0-7 /proc/9626/task/9649/stat : 9649 (java) S 9624 9624 9251 0 -1 1077944384 823 0 0 0 556 1 0 0 20 0 28 0 475667531 29458776064 223860 33554432000 4194304 4196468 140727914138368 140258111054544 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9650] ppid=9624 vsize=28768336 memory=4206186544037388384 CPUtime=5.57 cores=0-7 /proc/9626/task/9650/stat : 9650 (java) S 9624 9624 9251 0 -1 1077944384 421 0 0 0 557 0 0 0 20 0 28 0 475667531 29458776064 223860 33554432000 4194304 4196468 140727914138368 140258110002256 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9651] ppid=9624 vsize=28768336 memory=-3252517613199061085 CPUtime=5.97 cores=0-7 /proc/9626/task/9651/stat : 9651 (java) S 9624 9624 9251 0 -1 1077944384 259 0 0 0 596 1 0 0 20 0 28 0 475667531 29458776064 223860 33554432000 4194304 4196468 140727914138368 140258108949456 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9652] ppid=9624 vsize=28768336 memory=-8096454439705354400 CPUtime=5.54 cores=0-7 /proc/9626/task/9652/stat : 9652 (java) R 9624 9624 9251 0 -1 4202560 504 0 0 0 554 0 0 0 20 0 28 0 475667531 29458776064 223860 33554432000 4194304 4196468 140727914138368 140258107892376 140259499345811 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 [pid=9626/tid=9653] ppid=9624 vsize=28768336 memory=9023629670928638048 CPUtime=5.75 cores=0-7 /proc/9626/task/9653/stat : 9653 (java) S 9624 9624 9251 0 -1 1077944384 435 0 0 0 574 1 0 0 20 0 28 0 475667531 29458776064 223860 33554432000 4194304 4196468 140727914138368 140258106844368 140259872450261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9986048 140727914144726 140727914144902 140727914144902 140727914147791 0 Current children cumulated CPU time: 61.95 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 896892 KiB Child status: 0 Real time (s): 9.85375 CPU time (s): 62.0753 CPU user time (s): 60.9738 CPU system time (s): 1.10144 CPU usage (%): 629.966 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 896892 getrusage(RUSAGE_CHILDREN,...) data: user time used= 60.9738 system time used= 1.10144 maximum resident set size= 901648 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 51021 page faults= 0 swaps= 0 block input operations= 0 block output operations= 144 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5017 involuntary context switches= 1444 # summary of solver processes directly reported to runsolver: # pid: 9624 # total CPU time (s): 62.0753 # total CPU user time (s): 60.9738 # total CPU system time (s): 1.10144 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.097804 second user time and 0.155348 second system time The end
Begin job on node124 at 2019-09-20 18:33:50 IDJOB=4404405 IDBENCH=125570 IDSOLVER=2865 FILE ID=node124/4404405-1568997271 RUNJOBID= node124-1568994707-9278 PBS_JOBID= 21704729 Free space on /var/tmp= 13512 MiB SOLVER NAME= choco-solver 2019-09-20 parallel 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 /var/tmp/evaluation-result-4404405-1568997271/watcher-4404405-1568997271 -o /var/tmp/evaluation-result-4404405-1568997271/solver-4404405-1568997271 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node124-1568994707-9278 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1523365411 HOME/instance-4404405-1568997271.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 51af40833062bacbe569ad61b7e4d8a4 RANDOM SEED=1523365411 node124.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 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: 15794744 kB MemAvailable: 31822412 kB Buffers: 134100 kB Cached: 15839476 kB SwapCached: 28940 kB Active: 7954816 kB Inactive: 8053116 kB Active(anon): 3452 kB Inactive(anon): 80488 kB Active(file): 7951364 kB Inactive(file): 7972628 kB Unevictable: 108092 kB Mlocked: 108092 kB SwapTotal: 67108860 kB SwapFree: 66976740 kB Dirty: 26136 kB Writeback: 0 kB AnonPages: 115196 kB Mapped: 52452 kB Shmem: 40884 kB Slab: 560652 kB SReclaimable: 532136 kB SUnreclaim: 28516 kB KernelStack: 3440 kB PageTables: 5180 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506228 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: 112000 kB DirectMap2M: 33433600 kB Free space on /var/tmp at the end= 13484 MiB End job on node124 at 2019-09-20 18:34:00