Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | OPT | 161 | 96.9954 | 13.3683 |
Name | Cutstock/Cutstock-zinc-s1/ Cutstock-t09-7.xml |
MD5SUM | 2318da7117aad88e4beeaec86ff9c63e |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 161 |
Best CPU time to get the best result obtained on this benchmark | 9.75422 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 4074 |
Number of constraints | 216 |
Number of domains | 11 |
Minimum domain size | 2 |
Maximum domain size | 20 |
Distribution of domain sizes | [{"size":2,"count":776},{"size":3,"count":582},{"size":5,"count":194},{"size":8,"count":194},{"size":11,"count":194},{"size":12,"count":388},{"size":14,"count":388},{"size":17,"count":388},{"size":18,"count":194},{"size":19,"count":582},{"size":20,"count":194}] |
Minimum variable degree | 3 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":3,"count":4074}] |
Minimum constraint arity | 21 |
Maximum constraint arity | 3880 |
Distribution of constraint arities | [{"arity":21,"count":194},{"arity":194,"count":21},{"arity":3880,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":214}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393976-1568423751.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4393976-1568423751.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 2.62/0.94 c solve instance... 96.58/13.15 o 161 96.90/13.35 s OPTIMUM FOUND 96.90/13.35 v <instantiation> 96.90/13.35 v <list>p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] r[0][0] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[0][10] r[0][11] r[0][12] r[0][13] r[0][14] r[0][15] r[0][16] r[0][17] r[0][18] r[0][19] r[1][0] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[1][10] r[1][11] r[1][12] r[1][13] r[1][14] r[1][15] r[1][16] r[1][17] r[1][18] r[1][19] r[2][0] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[2][10] r[2][11] r[2][12] r[2][13] r[2][14] r[2][15] r[2][16] r[2][17] r[2][18] r[2][19] r[3][0] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[3][10] r[3][11] r[3][12] r[3][13] r[3][14] r[3][15] r[3][16] r[3][17] r[3][18] r[3][19] r[4][0] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[4][10] r[4][11] r[4][12] r[4][13] r[4][14] r[4][15] r[4][16] r[4][17] r[4][18] r[4][19] r[5][0] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[5][10] r[5][11] r[5][12] r[5][13] r[5][14] r[5][15] r[5][16] r[5][17] r[5][18] r[5][19] r[6][0] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[6][10] r[6][11] r[6][12] r[6][13] r[6][14] r[6][15] r[6][16] r[6][17] r[6][18] r[6][19] r[7][0] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[7][10] r[7][11] r[7][12] r[7][13] r[7][14] r[7][15] r[7][16] r[7][17] r[7][18] r[7][19] r[8][0] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[8][10] r[8][11] r[8][12] r[8][13] r[8][14] r[8][15] r[8][16] r[8][17] r[8][18] r[8][19] r[9][0] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] r[9][10] r[9][11] r[9][12] r[9][13] r[9][14] r[9][15] r[9][16] r[9][17] r[9][18] r[9][19] r[10][0] r[10][1] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[10][10] r[10][11] r[10][12] r[10][13] r[10][14] r[10][15] r[10][16] r[10][17] r[10][18] r[10][19] r[11][0] r[11][1] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[11][10] r[11][11] r[11][12] r[11][13] r[11][14] r[11][15] r[11][16] r[11][17] r[11][18] r[11][19] r[12][0] r[12][1] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[12][10] r[12][11] r[12][12] r[12][13] r[12][14] r[12][15] r[12][16] r[12][17] r[12][18] r[12][19] r[13][0] r[13][1] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[13][10] r[13][11] r[13][12] r[13][13] r[13][14] r[13][15] r[13][16] r[13][17] r[13][18] r[13][19] r[14][0] r[14][1] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[14][10] r[14][11] r[14][12] r[14][13] r[14][14] r[14][15] r[14][16] r[14][17] r[14][18] r[14][19] r[15][0] r[15][1] r[15][2] r[15][3] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[15][10] r[15][11] r[15][12] r[15][13] r[15][14] r[15][15] r[15][16] r[15][17] r[15][18] r[15][19] r[16][0] r[16][1] r[16][2] r[16][3] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[16][10] r[16][11] r[16][12] r[16][13] r[16][14] r[16][15] r[16][16] r[16][17] r[16][18] r[16][19] r[17][0] r[17][1] r[17][2] r[17][3] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[17][10] r[17][11] r[17][12] r[17][13] r[17][14] r[17][15] r[17][16] r[17][17] r[17][18] r[17][19] r[18][0] r[18][1] r[18][2] r[18][3] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[18][10] r[18][11] r[18][12] r[18][13] r[18][14] r[18][15] r[18][16] r[18][17] r[18][18] r[18][19] r[19][0] r[19][1] r[19][2] r[19][3] r[19][4] r[19][5] r[19][6] r[19][7] r[19][8] r[19][9] r[19][10] r[19][11] r[19][12] r[19][13] r[19][14] r[19][15] r[19][16] r[19][17] r[19][18] r[19][19] r[20][0] r[20][1] r[20][2] r[20][3] r[20][4] r[20][5] r[20][6] r[20][7] r[20][8] r[20][9] r[20][10] r[20][11] r[20][12] r[20][13] r[20][14] r[20][15] r[20][16] r[20][17] r[20][18] r[20][19] r[21][0] r[21][1] r[21][2] r[21][3] r[21][4] r[21][5] r[21][6] r[21][7] r[21][8] r[21][9] r[21][10] r[21][11] r[21][12] r[21][13] r[21][14] r[21][15] r[21][16] r[21][17] r[21][18] r[21][19] r[22][0] r[22][1] r[22][2] r[22][3] r[22][4] r[22][5] r[22][6] r[22][7] r[22][8] r[22][9] r[22][10] r[22][11] r[22][12] r[22][13] r[22][14] r[22][15] r[22][16] r[22][17] r[22][18] r[22][19] r[23][0] r[23][1] r[23][2] r[23][3] r[23][4] r[23][5] r[23][6] r[23][7] r[23][8] r[23][9] r[23][10] r[23][11] r[23][12] r[23][13] r[23][14] r[23][15] r[23][16] r[23][17] r[23][18] r[23][19] r[24][0] r[24][1] r[24][2] r[24][3] r[24][4] r[24][5] r[24][6] r[24][7] r[24][8] r[24][9] r[24][10] r[24][11] r[24][12] r[24][13] r[24][14] r[24][15] r[24][16] r[24][17] r[24][18] r[24][19] r[25][0] r[25][1] r[25][2] r[25][3] r[25][4] r[25][5] r[25][6] r[25][7] r[25][8] r[25][9] r[25][10] r[25][11] r[25][12] r[25][13] r[25][14] r[25][15] r[25][16] r[25][17] r[25][18] r[25][19] r[26][0] r[26][1] r[26][2] r[26][3] r[26][4] r[26][5] r[26][6] r[26][7] r[26][8] r[26][9] r[26][10] r[26][11] r[26][12] r[26][13] r[26][14] r[26][15] r[26][16] r[26][17] r[26][18] r[26][19] r[27][0] r[27][1] r[27][2] r[27][3] r[27][4] r[27][5] r[27][6] r[27][7] r[27][8] r[27][9] r[27][10] r[27][11] r[27][12] r[27][13] r[27][14] r[27][15] r[27][16] r[27][17] r[27][18] r[27][19] r[28][0] r[28][1] r[28][2] r[28][3] r[28][4] r[28][5] r[28][6] r[28][7] r[28][8] r[28][9] r[28][10] r[28][11] r[28][12] r[28][13] r[28][14] r[28][15] r[28][16] r[28][17] r[28][18] r[28][19] r[29][0] r[29][1] r[29][2] r[29][3] r[29][4] r[29][5] r[29][6] r[29][7] r[29][8] r[29][9] r[29][10] r[29][11] r[29][12] r[29][13] r[29][14] r[29][15] r[29][16] r[29][17] r[29][18] r[29][19] r[30][0] r[30][1] r[30][2] r[30][3] r[30][4] r[30][5] r[30][6] r[30][7] r[30][8] r[30][9] r[30][10] r[30][11] r[30][12] r[30][13] r[30][14] r[30][15] r[30][16] r[30][17] r[30][18] r[30][19] r[31][0] r[31][1] r[31][2] r[31][3] r[31][4] r[31][5] r[31][6] r[31][7] r[31][8] r[31][9] r[31][10] r[31][11] r[31][12] r[31][13] r[31][14] r[31][15] r[31][16] r[31][17] r[31][18] r[31][19] r[32][0] r[32][1] r[32][2] r[32][3] r[32][4] r[32][5] r[32][6] r[32][7] r[32][8] r[32][9] r[32][10] r[32][11] r[32][12] r[32][13] r[32][14] r[32][15] r[32][16] r[32][17] r[32][18] r[32][19] r[33][0] r[33][1] r[33][2] r[33][3] r[33][4] r[33][5] r[33][6] r[33][7] r[33][8] r[33][9] r[33][10] r[33][11] r[33][12] r[33][13] r[33][14] r[33][15] r[33][16] r[33][17] r[33][18] r[33][19] r[34][0] r[34][1] r[34][2] r[34][3] r[34][4] r[34][5] r[34][6] r[34][7] r[34][8] r[34][9] r[34][10] r[34][11] r[34][12] r[34][13] r[34][14] r[34][15] r[34][16] r[34][17] r[34][18] r[34][19] r[35][0] r[35][1] r[35][2] r[35][3] r[35][4] r[35][5] r[35][6] r[35][7] r[35][8] r[35][9] r[35][10] r[35][11] r[35][12] r[35][13] r[35][14] r[35][15] r[35][16] r[35][17] r[35][18] r[35][19] r[36][0] r[36][1] r[36][2] r[36][3] r[36][4] r[36][5] r[36][6] r[36][7] r[36][8] r[36][9] r[36][10] r[36][11] r[36][12] r[36][13] r[36][14] r[36][15] r[36][16] r[36][17] r[36][18] r[36][19] r[37][0] r[37][1] r[37][2] r[37][3] r[37][4] r[37][5] r[37][6] r[37][7] r[37][8] r[37][9] r[37][10] r[37][11] r[37][12] r[37][13] r[37][14] r[37][15] r[37][16] r[37][17] r[37][18] r[37][19] r[38][0] r[38][1] r[38][2] r[38][3] r[38][4] r[38][5] r[38][6] r[38][7] r[38][8] r[38][9] r[38][10] r[38][11] r[38][12] r[38][13] r[38][14] r[38][15] r[38][16] r[38][17] r[38][18] r[38][19] r[39][0] r[39][1] r[39][2] r[39][3] r[39][4] r[39][5] r[39][6] r[39][7] r[39][8] r[39][9] r[39][10] r[39][11] r[39][12] r[39][13] r[39][14] r[39][15] r[39][16] r[39][17] r[39][18] r[39][19] r[40][0] r[40][1] r[40][2] r[40][3] r[40][4] r[40][5] r[40][6] r[40][7] r[40][8] r[40][9] r[40][10] r[40][11] r[40][12] r[40][13] r[40][14] r[40][15] r[40][16] r[40][17] r[40][18] r[40][19] r[41][0] r[41][1] r[41][2] r[41][3] r[41][4] r[41][5] r[41][6] r[41][7] r[41][8] r[41][9] r[41][10] r[41][11] r[41][12] r[41][13] r[41][14] r[41][15] r[41][16] r[41][17] r[41][18] r[41][19] r[42][0] r[42][1] r[42][2] r[42][3] r[42][4] r[42][5] r[42][6] r[42][7] r[42][8] r[42][9] r[42][10] r[42][11] r[42][12] r[42][13] r[42][14] r[42][15] r[42][16] r[42][17] r[42][18] r[42][19] r[43][0] r[43][1] r[43][2] r[43][3] r[43][4] r[43][5] r[43][6] r[43][7] r[43][8] r[43][9] r[43][10] r[43][11] r[43][12] r[43][13] r[43][14] r[43][15] r[43][16] r[43][17] r[43][18] r[43][19] r[44][0] r[44][1] r[44][2] r[44][3] r[44][4] r[44][5] r[44][6] r[44][7] r[44][8] r[44][9] r[44][10] r[44][11] r[44][12] r[44][13] r[44][14] r[44][15] r[44][16] r[44][17] r[44][18] r[44][19] r[45][0] r[45][1] r[45][2] r[45][3] r[45][4] r[45][5] r[45][6] r[45][7] r[45][8] r[45][9] r[45][10] r[45][11] r[45][12] r[45][13] r[45][14] r[45][15] r[45][16] r[45][17] r[45][18] r[45][19] r[46][0] r[46][1] r[46][2] r[46][3] r[46][4] r[46][5] r[46][6] r[46][7] r[46][8] r[46][9] r[46][10] r[46][11] r[46][12] r[46][13] r[46][14] r[46][15] r[46][16] r[46][17] r[46][18] r[46][19] r[47][0] r[47][1] r[47][2] r[47][3] r[47][4] r[47][5] r[47][6] r[47][7] r[47][8] r[47][9] r[47][10] r[47][11] r[47][12] r[47][13] r[47][14] r[47][15] r[47][16] r[47][17] r[47][18] r[47][19] r[48][0] r[48][1] r[48][2] r[48][3] r[48][4] r[48][5] r[48][6] r[48][7] r[48][8] r[48][9] r[48][10] r[48][11] r[48][12] r[48][13] r[48][14] r[48][15] r[48][16] r[48][17] r[48][18] r[48][19] r[49][0] r[49][1] r[49][2] r[49][3] r[49][4] r[49][5] r[49][6] r[49][7] r[49][8] r[49][9] r[49][10] r[49][11] r[49][12] r[49][13] r[49][14] r[49][15] r[49][16] r[49][17] r[49][18] r[49][19] r[50][0] r[50][1] r[50][2] r[50][3] r[50][4] r[50][5] r[50][6] r[50][7] r[50][8] r[50][9] r[50][10] r[50][11] r[50][12] r[50][13] r[50][14] r[50][15] r[50][16] r[50][17] r[50][18] r[50][19] r[51][0] r[51][1] r[51][2] r[51][3] r[51][4] r[51][5] r[51][6] r[51][7] r[51][8] r[51][9] r[51][10] r[51][11] r[51][12] r[51][13] r[51][14] r[51][15] r[51][16] r[51][17] r[51][18] r[51][19] r[52][0] r[52][1] r[52][2] r[52][3] r[52][4] r[52][5] r[52][6] r[52][7] r[52][8] r[52][9] r[52][10] r[52][11] r[52][12] r[52][13] r[52][14] r[52][15] r[52][16] r[52][17] r[52][18] r[52][19] r[53][0] r[53][1] r[53][2] r[53][3] r[53][4] r[53][5] r[53][6] r[53][7] r[53][8] r[53][9] r[53][10] r[53][11] r[53][12] r[53][13] r[53][14] r[53][15] r[53][16] r[53][17] r[53][18] r[53][19] r[54][0] r[54][1] r[54][2] r[54][3] r[54][4] r[54][5] r[54][6] r[54][7] r[54][8] r[54][9] r[54][10] r[54][11] r[54][12] r[54][13] r[54][14] r[54][15] r[54][16] r[54][17] r[54][18] r[54][19] r[55][0] r[55][1] r[55][2] r[55][3] r[55][4] r[55][5] r[55][6] r[55][7] r[55][8] r[55][9] r[55][10] r[55][11] r[55][12] r[55][13] r[55][14] r[55][15] r[55][16] r[55][17] r[55][18] r[55][19] r[56][0] r[56][1] r[56][2] r[56][3] r[56][4] r[56][5] r[56][6] r[56][7] r[56][8] r[56][9] r[56][10] r[56][11] r[56][12] r[56][13] r[56][14] r[56][15] r[56][16] r[56][17] r[56][18] r[56][19] r[57][0] r[57][1] r[57][2] r[57][3] r[57][4] r[57][5] r[57][6] r[57][7] r[57][8] r[57][9] r[57][10] r[57][11] r[57][12] r[57][13] r[57][14] r[57][15] r[57][16] r[57][17] r[57][18] r[57][19] r[58][0] r[58][1] r[58][2] r[58][3] r[58][4] r[58][5] r[58][6] r[58][7] r[58][8] r[58][9] r[58][10] r[58][11] r[58][12] r[58][13] r[58][14] r[58][15] r[58][16] r[58][17] r[58][18] r[58][19] r[59][0] r[59][1] r[59][2] r[59][3] r[59][4] r[59][5] r[59][6] r[59][7] r[59][8] r[59][9] r[59][10] r[59][11] r[59][12] r[59][13] r[59][14] r[59][15] r[59][16] r[59][17] r[59][18] r[59][19] r[60][0] r[60][1] r[60][2] r[60][3] r[60][4] r[60][5] r[60][6] r[60][7] r[60][8] r[60][9] r[60][10] r[60][11] r[60][12] r[60][13] r[60][14] r[60][15] r[60][16] r[60][17] r[60][18] r[60][19] r[61][0] r[61][1] r[61][2] r[61][3] r[61][4] r[61][5] r[61][6] r[61][7] r[61][8] r[61][9] r[61][10] r[61][11] r[61][12] r[61][13] r[61][14] r[61][15] r[61][16] r[61][17] r[61][18] r[61][19] r[62][0] r[62][1] r[62][2] r[62][3] r[62][4] r[62][5] r[62][6] r[62][7] r[62][8] r[62][9] r[62][10] r[62][11] r[62][12] r[62][13] r[62][14] r[62][15] r[62][16] r[62][17] r[62][18] r[62][19] r[63][0] r[63][1] r[63][2] r[63][3] r[63][4] r[63][5] r[63][6] r[63][7] r[63][8] r[63][9] r[63][10] r[63][11] r[63][12] r[63][13] r[63][14] r[63][15] r[63][16] r[63][17] r[63][18] r[63][19] r[64][0] r[64][1] r[64][2] r[64][3] r[64][4] r[64][5] r[64][6] r[64][7] r[64][8] r[64][9] r[64][10] r[64][11] r[64][12] r[64][13] r[64][14] r[64][15] r[64][16] r[64][17] r[64][18] r[64][19] r[65][0] r[65][1] r[65][2] r[65][3] r[65][4] r[65][5] r[65][6] r[65][7] r[65][8] r[65][9] r[65][10] r[65][11] r[65][12] r[65][13] r[65][14] r[65][15] r[65][16] r[65][17] r[65][18] r[65][19] r[66][0] r[66][1] r[66][2] r[66][3] r[66][4] r[66][5] r[66][6] r[66][7] r[66][8] r[66][9] r[66][10] r[66][11] r[66][12] r[66][13] r[66][14] r[66][15] r[66][16] r[66][17] r[66][18] r[66][19] r[67][0] r[67][1] r[67][2] r[67][3] r[67][4] r[67][5] r[67][6] r[67][7] r[67][8] r[67][9] r[67][10] r[67][11] r[67][12] r[67][13] r[67][14] r[67][15] r[67][16] r[67][17] r[67][18] r[67][19] r[68][0] r[68][1] r[68][2] r[68][3] r[68][4] r[68][5] r[68][6] r[68][7] r[68][8] r[68][9] r[68][10] r[68][11] r[68][12] r[68][13] r[68][14] r[68][15] r[68][16] r[68][17] r[68][18] r[68][19] r[69][0] r[69][1] r[69][2] r[69][3] r[69][4] r[69][5] r[69][6] r[69][7] r[69][8] r[69][9] r[69][10] r[69][11] r[69][12] r[69][13] r[69][14] r[69][15] r[69][16] r[69][17] r[69][18] r[69][19] r[70][0] r[70][1] r[70][2] r[70][3] r[70][4] r[70][5] r[70][6] r[70][7] r[70][8] r[70][9] r[70][10] r[70][11] r[70][12] r[70][13] r[70][14] r[70][15] r[70][16] r[70][17] r[70][18] r[70][19] r[71][0] r[71][1] r[71][2] r[71][3] r[71][4] r[71][5] r[71][6] r[71][7] r[71][8] r[71][9] r[71][10] r[71][11] r[71][12] r[71][13] r[71][14] r[71][15] r[71][16] r[71][17] r[71][18] r[71][19] r[72][0] r[72][1] r[72][2] r[72][3] r[72][4] r[72][5] r[72][6] r[72][7] r[72][8] r[72][9] r[72][10] r[72][11] r[72][12] r[72][13] r[72][14] r[72][15] r[72][16] r[72][17] r[72][18] r[72][19] r[73][0] r[73][1] r[73][2] r[73][3] r[73][4] r[73][5] r[73][6] r[73][7] r[73][8] r[73][9] r[73][10] r[73][11] r[73][12] r[73][13] r[73][14] r[73][15] r[73][16] r[73][17] r[73][18] r[73][19] r[74][0] r[74][1] r[74][2] r[74][3] r[74][4] r[74][5] r[74][6] r[74][7] r[74][8] r[74][9] r[74][10] r[74][11] r[74][12] r[74][13] r[74][14] r[74][15] r[74][16] r[74][17] r[74][18] r[74][19] r[75][0] r[75][1] r[75][2] r[75][3] r[75][4] r[75][5] r[75][6] r[75][7] r[75][8] r[75][9] r[75][10] r[75][11] r[75][12] r[75][13] r[75][14] r[75][15] r[75][16] r[75][17] r[75][18] r[75][19] r[76][0] r[76][1] r[76][2] r[76][3] r[76][4] r[76][5] r[76][6] r[76][7] r[76][8] r[76][9] r[76][10] r[76][11] r[76][12] r[76][13] r[76][14] r[76][15] r[76][16] r[76][17] r[76][18] r[76][19] r[77][0] r[77][1] r[77][2] r[77][3] r[77][4] r[77][5] r[77][6] r[77][7] r[77][8] r[77][9] r[77][10] r[77][11] r[77][12] r[77][13] r[77][14] r[77][15] r[77][16] r[77][17] r[77][18] r[77][19] r[78][0] r[78][1] r[78][2] r[78][3] r[78][4] r[78][5] r[78][6] r[78][7] r[78][8] r[78][9] r[78][10] r[78][11] r[78][12] r[78][13] r[78][14] r[78][15] r[78][16] r[78][17] r[78][18] r[78][19] r[79][0] r[79][1] r[79][2] r[79][3] r[79][4] r[79][5] r[79][6] r[79][7] r[79][8] r[79][9] r[79][10] r[79][11] r[79][12] r[79][13] r[79][14] r[79][15] r[79][16] r[79][17] r[79][18] r[79][19] r[80][0] r[80][1] r[80][2] r[80][3] r[80][4] r[80][5] r[80][6] r[80][7] r[80][8] r[80][9] r[80][10] r[80][11] r[80][12] r[80][13] r[80][14] r[80][15] r[80][16] r[80][17] r[80][18] r[80][19] r[81][0] r[81][1] r[81][2] r[81][3] r[81][4] r[81][5] r[81][6] r[81][7] r[81][8] r[81][9] r[81][10] r[81][11] r[81][12] r[81][13] r[81][14] r[81][15] r[81][16] r[81][17] r[81][18] r[81][19] r[82][0] r[82][1] r[82][2] r[82][3] r[82][4] r[82][5] r[82][6] r[82][7] r[82][8] r[82][9] r[82][10] r[82][11] r[82][12] r[82][13] r[82][14] r[82][15] r[82][16] r[82][17] r[82][18] r[82][19] r[83][0] r[83][1] r[83][2] r[83][3] r[83][4] r[83][5] r[83][6] r[83][7] r[83][8] r[83][9] r[83][10] r[83][11] r[83][12] r[83][13] r[83][14] r[83][15] r[83][16] r[83][17] r[83][18] r[83][19] r[84][0] r[84][1] r[84][2] r[84][3] r[84][4] r[84][5] r[84][6] r[84][7] r[84][8] r[84][9] r[84][10] r[84][11] r[84][12] r[84][13] r[84][14] r[84][15] r[84][16] r[84][17] r[84][18] r[84][19] r[85][0] r[85][1] r[85][2] r[85][3] r[85][4] r[85][5] r[85][6] r[85][7] r[85][8] r[85][9] r[85][10] r[85][11] r[85][12] r[85][13] r[85][14] r[85][15] r[85][16] r[85][17] r[85][18] r[85][19] r[86][0] r[86][1] r[86][2] r[86][3] r[86][4] r[86][5] r[86][6] r[86][7] r[86][8] r[86][9] r[86][10] r[86][11] r[86][12] r[86][13] r[86][14] r[86][15] r[86][16] r[86][17] r[86][18] r[86][19] r[87][0] r[87][1] r[87][2] r[87][3] r[87][4] r[87][5] r[87][6] r[87][7] r[87][8] r[87][9] r[87][10] r[87][11] r[87][12] r[87][13] r[87][14] r[87][15] r[87][16] r[87][17] r[87][18] r[87][19] r[88][0] r[88][1] r[88][2] r[88][3] r[88][4] r[88][5] r[88][6] r[88][7] r[88][8] r[88][9] r[88][10] r[88][11] r[88][12] r[88][13] r[88][14] r[88][15] r[88][16] r[88][17] r[88][18] r[88][19] r[89][0] r[89][1] r[89][2] r[89][3] r[89][4] r[89][5] r[89][6] r[89][7] r[89][8] r[89][9] r[89][10] r[89][11] r[89][12] r[89][13] r[89][14] r[89][15] r[89][16] r[89][17] r[89][18] r[89][19] r[90][0] r[90][1] r[90][2] r[90][3] r[90][4] r[90][5] r[90][6] r[90][7] r[90][8] r[90][9] r[90][10] r[90][11] r[90][12] r[90][13] r[90][14] r[90][15] r[90][16] r[90][17] r[90][18] r[90][19] r[91][0] r[91][1] r[91][2] r[91][3] r[91][4] r[91][5] r[91][6] r[91][7] r[91][8] r[91][9] r[91][10] r[91][11] r[91][12] r[91][13] r[91][14] r[91][15] r[91][16] r[91][17] r[91][18] r[91][19] r[92][0] r[92][1] r[92][2] r[92][3] r[92][4] r[92][5] r[92][6] r[92][7] r[92][8] r[92][9] r[92][10] r[92][11] r[92][12] r[92][13] r[92][14] r[92][15] r[92][16] r[92][17] r[92][18] r[92][19] r[93][0] r[93][1] r[93][2] r[93][3] r[93][4] r[93][5] r[93][6] r[93][7] r[93][8] r[93][9] r[93][10] r[93][11] r[93][12] r[93][13] r[93][14] r[93][15] r[93][16] r[93][17] r[93][18] r[93][19] r[94][0] r[94][1] r[94][2] r[94][3] r[94][4] r[94][5] r[94][6] r[94][7] r[94][8] r[94][9] r[94][10] r[94][11] r[94][12] r[94][13] r[94][14] r[94][15] r[94][16] r[94][17] r[94][18] r[94][19] r[95][0] r[95][1] r[95][2] r[95][3] r[95][4] r[95][5] r[95][6] r[95][7] r[95][8] r[95][9] r[95][10] r[95][11] r[95][12] r[95][13] r[95][14] r[95][15] r[95][16] r[95][17] r[95][18] r[95][19] r[96][0] r[96][1] r[96][2] r[96][3] r[96][4] r[96][5] r[96][6] r[96][7] r[96][8] r[96][9] r[96][10] r[96][11] r[96][12] r[96][13] r[96][14] r[96][15] r[96][16] r[96][17] r[96][18] r[96][19] r[97][0] r[97][1] r[97][2] r[97][3] r[97][4] r[97][5] r[97][6] r[97][7] r[97][8] r[97][9] r[97][10] r[97][11] r[97][12] r[97][13] r[97][14] r[97][15] r[97][16] r[97][17] r[97][18] r[97][19] r[98][0] r[98][1] r[98][2] r[98][3] r[98][4] r[98][5] r[98][6] r[98][7] r[98][8] r[98][9] r[98][10] r[98][11] r[98][12] r[98][13] r[98][14] r[98][15] r[98][16] r[98][17] r[98][18] r[98][19] r[99][0] r[99][1] r[99][2] r[99][3] r[99][4] r[99][5] r[99][6] r[99][7] r[99][8] r[99][9] r[99][10] r[99][11] r[99][12] r[99][13] r[99][14] r[99][15] r[99][16] r[99][17] r[99][18] r[99][19] r[100][0] r[100][1] r[100][2] r[100][3] r[100][4] r[100][5] r[100][6] r[100][7] r[100][8] r[100][9] r[100][10] r[100][11] r[100][12] r[100][13] r[100][14] r[100][15] r[100][16] r[100][17] r[100][18] r[100][19] r[101][0] r[101][1] r[101][2] r[101][3] r[101][4] r[101][5] r[101][6] r[101][7] r[101][8] r[101][9] r[101][10] r[101][11] r[101][12] r[101][13] r[101][14] r[101][15] r[101][16] r[101][17] r[101][18] r[101][19] r[102][0] r[102][1] r[102][2] r[102][3] r[102][4] r[102][5] r[102][6] r[102][7] r[102][8] r[102][9] r[102][10] r[102][11] r[102][12] r[102][13] r[102][14] r[102][15] r[102][16] r[102][17] r[102][18] r[102][19] r[103][0] r[103][1] r[103][2] r[103][3] r[103][4] r[103][5] r[103][6] r[103][7] r[103][8] r[103][9] r[103][10] r[103][11] r[103][12] r[103][13] r[103][14] r[103][15] r[103][16] r[103][17] r[103][18] r[103][19] r[104][0] r[104][1] r[104][2] r[104][3] r[104][4] r[104][5] r[104][6] r[104][7] r[104][8] r[104][9] r[104][10] r[104][11] r[104][12] r[104][13] r[104][14] r[104][15] r[104][16] r[104][17] r[104][18] r[104][19] r[105][0] r[105][1] r[105][2] r[105][3] r[105][4] r[105][5] r[105][6] r[105][7] r[105][8] r[105][9] r[105][10] r[105][11] r[105][12] r[105][13] r[105][14] r[105][15] r[105][16] r[105][17] r[105][18] r[105][19] r[106][0] r[106][1] r[106][2] r[106][3] r[106][4] r[106][5] r[106][6] r[106][7] r[106][8] r[106][9] r[106][10] r[106][11] r[106][12] r[106][13] r[106][14] r[106][15] r[106][16] r[106][17] r[106][18] r[106][19] r[107][0] r[107][1] r[107][2] r[107][3] r[107][4] r[107][5] r[107][6] r[107][7] r[107][8] r[107][9] r[107][10] r[107][11] r[107][12] r[107][13] r[107][14] r[107][15] r[107][16] r[107][17] r[107][18] r[107][19] r[108][0] r[108][1] r[108][2] r[108][3] r[108][4] r[108][5] r[108][6] r[108][7] r[108][8] r[108][9] r[108][10] r[108][11] r[108][12] r[108][13] r[108][14] r[108][15] r[108][16] r[108][17] r[108][18] r[108][19] r[109][0] r[109][1] r[109][2] r[109][3] r[109][4] r[109][5] r[109][6] r[109][7] r[109][8] r[109][9] r[109][10] r[109][11] r[109][12] r[109][13] r[109][14] r[109][15] r[109][16] r[109][17] r[109][18] r[109][19] r[110][0] r[110][1] r[110][2] r[110][3] r[110][4] r[110][5] r[110][6] r[110][7] r[110][8] r[110][9] r[110][10] r[110][11] r[110][12] r[110][13] r[110][14] r[110][15] r[110][16] r[110][17] r[110][18] r[110][19] r[111][0] r[111][1] r[111][2] r[111][3] r[111][4] r[111][5] r[111][6] r[111][7] r[111][8] r[111][9] r[111][10] r[111][11] r[111][12] r[111][13] r[111][14] r[111][15] r[111][16] r[111][17] r[111][18] r[111][19] r[112][0] r[112][1] r[112][2] r[112][3] r[112][4] r[112][5] r[112][6] r[112][7] r[112][8] r[112][9] r[112][10] r[112][11] r[112][12] r[112][13] r[112][14] r[112][15] r[112][16] r[112][17] r[112][18] r[112][19] r[113][0] r[113][1] r[113][2] r[113][3] r[113][4] r[113][5] r[113][6] r[113][7] r[113][8] r[113][9] r[113][10] r[113][11] r[113][12] r[113][13] r[113][14] r[113][15] r[113][16] r[113][17] r[113][18] r[113][19] r[114][0] r[114][1] r[114][2] r[114][3] r[114][4] r[114][5] r[114][6] r[114][7] r[114][8] r[114][9] r[114][10] r[114][11] r[114][12] r[114][13] r[114][14] r[114][15] r[114][16] r[114][17] r[114][18] r[114][19] r[115][0] r[115][1] r[115][2] r[115][3] r[115][4] r[115][5] r[115][6] r[115][7] r[115][8] r[115][9] r[115][10] r[115][11] r[115][12] r[115][13] r[115][14] r[115][15] r[115][16] r[115][17] r[115][18] r[115][19] r[116][0] r[116][1] r[116][2] r[116][3] r[116][4] r[116][5] r[116][6] r[116][7] r[116][8] r[116][9] r[116][10] r[116][11] r[116][12] r[116][13] r[116][14] r[116][15] r[116][16] r[116][17] r[116][18] r[116][19] r[117][0] r[117][1] r[117][2] r[117][3] r[117][4] r[117][5] r[117][6] r[117][7] r[117][8] r[117][9] r[117][10] r[117][11] r[117][12] r[117][13] r[117][14] r[117][15] r[117][16] r[117][17] r[117][18] r[117][19] r[118][0] r[118][1] r[118][2] r[118][3] r[118][4] r[118][5] r[118][6] r[118][7] r[118][8] r[118][9] r[118][10] r[118][11] r[118][12] r[118][13] r[118][14] r[118][15] r[118][16] r[118][17] r[118][18] r[118][19] r[119][0] r[119][1] r[119][2] r[119][3] r[119][4] r[119][5] r[119][6] r[119][7] r[119][8] r[119][9] r[119][10] r[119][11] r[119][12] r[119][13] r[119][14] r[119][15] r[119][16] r[119][17] r[119][18] r[119][19] r[120][0] r[120][1] r[120][2] r[120][3] r[120][4] r[120][5] r[120][6] r[120][7] r[120][8] r[120][9] r[120][10] r[120][11] r[120][12] r[120][13] r[120][14] r[120][15] r[120][16] r[120][17] r[120][18] r[120][19] r[121][0] r[121][1] r[121][2] r[121][3] r[121][4] r[121][5] r[121][6] r[121][7] r[121][8] r[121][9] r[121][10] r[121][11] r[121][12] r[121][13] r[121][14] r[121][15] r[121][16] r[121][17] r[121][18] r[121][19] r[122][0] r[122][1] r[122][2] r[122][3] r[122][4] r[122][5] r[122][6] r[122][7] r[122][8] r[122][9] r[122][10] r[122][11] r[122][12] r[122][13] r[122][14] r[122][15] r[122][16] r[122][17] r[122][18] r[122][19] r[123][0] r[123][1] r[123][2] r[123][3] r[123][4] r[123][5] r[123][6] r[123][7] r[123][8] r[123][9] r[123][10] r[123][11] r[123][12] r[123][13] r[123][14] r[123][15] r[123][16] r[123][17] r[123][18] r[123][19] r[124][0] r[124][1] r[124][2] r[124][3] r[124][4] r[124][5] r[124][6] r[124][7] r[124][8] r[124][9] r[124][10] r[124][11] r[124][12] r[124][13] r[124][14] r[124][15] r[124][16] r[124][17] r[124][18] r[124][19] r[125][0] r[125][1] r[125][2] r[125][3] r[125][4] r[125][5] r[125][6] r[125][7] r[125][8] r[125][9] r[125][10] r[125][11] r[125][12] r[125][13] r[125][14] r[125][15] r[125][16] r[125][17] r[125][18] r[125][19] r[126][0] r[126][1] r[126][2] r[126][3] r[126][4] r[126][5] r[126][6] r[126][7] r[126][8] r[126][9] r[126][10] r[126][11] r[126][12] r[126][13] r[126][14] r[126][15] r[126][16] r[126][17] r[126][18] r[126][19] r[127][0] r[127][1] r[127][2] r[127][3] r[127][4] r[127][5] r[127][6] r[127][7] r[127][8] r[127][9] r[127][10] r[127][11] r[127][12] r[127][13] r[127][14] r[127][15] r[127][16] r[127][17] r[127][18] r[127][19] r[128][0] r[128][1] r[128][2] r[128][3] r[128][4] r[128][5] r[128][6] r[128][7] r[128][8] r[128][9] r[128][10] r[128][11] r[128][12] r[128][13] r[128][14] r[128][15] r[128][16] r[128][17] r[128][18] r[128][19] r[129][0] r[129][1] r[129][2] r[129][3] r[129][4] r[129][5] r[129][6] r[129][7] r[129][8] r[129][9] r[129][10] r[129][11] r[129][12] r[129][13] r[129][14] r[129][15] r[129][16] r[129][17] r[129][18] r[129][19] r[130][0] r[130][1] r[130][2] r[130][3] r[130][4] r[130][5] r[130][6] r[130][7] r[130][8] r[130][9] r[130][10] r[130][11] r[130][12] r[130][13] r[130][14] r[130][15] r[130][16] r[130][17] r[130][18] r[130][19] r[131][0] r[131][1] r[131][2] r[131][3] r[131][4] r[131][5] r[131][6] r[131][7] r[131][8] r[131][9] r[131][10] r[131][11] r[131][12] r[131][13] r[131][14] r[131][15] r[131][16] r[131][17] r[131][18] r[131][19] r[132][0] r[132][1] r[132][2] r[132][3] r[132][4] r[132][5] r[132][6] r[132][7] r[132][8] r[132][9] r[132][10] r[132][11] r[132][12] r[132][13] r[132][14] r[132][15] r[132][16] r[132][17] r[132][18] r[132][19] r[133][0] r[133][1] r[133][2] r[133][3] r[133][4] r[133][5] r[133][6] r[133][7] r[133][8] r[133][9] r[133][10] r[133][11] r[133][12] r[133][13] r[133][14] r[133][15] r[133][16] r[133][17] r[133][18] r[133][19] r[134][0] r[134][1] r[134][2] r[134][3] r[134][4] r[134][5] r[134][6] r[134][7] r[134][8] r[134][9] r[134][10] r[134][11] r[134][12] r[134][13] r[134][14] r[134][15] r[134][16] r[134][17] r[134][18] r[134][19] r[135][0] r[135][1] r[135][2] r[135][3] r[135][4] r[135][5] r[135][6] r[135][7] r[135][8] r[135][9] r[135][10] r[135][11] r[135][12] r[135][13] r[135][14] r[135][15] r[135][16] r[135][17] r[135][18] r[135][19] r[136][0] r[136][1] r[136][2] r[136][3] r[136][4] r[136][5] r[136][6] r[136][7] r[136][8] r[136][9] r[136][10] r[136][11] r[136][12] r[136][13] r[136][14] r[136][15] r[136][16] r[136][17] r[136][18] r[136][19] r[137][0] r[137][1] r[137][2] r[137][3] r[137][4] r[137][5] r[137][6] r[137][7] r[137][8] r[137][9] r[137][10] r[137][11] r[137][12] r[137][13] r[137][14] r[137][15] r[137][16] r[137][17] r[137][18] r[137][19] r[138][0] r[138][1] r[138][2] r[138][3] r[138][4] r[138][5] r[138][6] r[138][7] r[138][8] r[138][9] r[138][10] r[138][11] r[138][12] r[138][13] r[138][14] r[138][15] r[138][16] r[138][17] r[138][18] r[138][19] r[139][0] r[139][1] r[139][2] r[139][3] r[139][4] r[139][5] r[139][6] r[139][7] r[139][8] r[139][9] r[139][10] r[139][11] r[139][12] r[139][13] r[139][14] r[139][15] r[139][16] r[139][17] r[139][18] r[139][19] r[140][0] r[140][1] r[140][2] r[140][3] r[140][4] r[140][5] r[140][6] r[140][7] r[140][8] r[140][9] r[140][10] r[140][11] r[140][12] r[140][13] r[140][14] r[140][15] r[140][16] r[140][17] r[140][18] r[140][19] r[141][0] r[141][1] r[141][2] r[141][3] r[141][4] r[141][5] r[141][6] r[141][7] r[141][8] r[141][9] r[141][10] r[141][11] r[141][12] r[141][13] r[141][14] r[141][15] r[141][16] r[141][17] r[141][18] r[141][19] r[142][0] r[142][1] r[142][2] r[142][3] r[142][4] r[142][5] r[142][6] r[142][7] r[142][8] r[142][9] r[142][10] r[142][11] r[142][12] r[142][13] r[142][14] r[142][15] r[142][16] r[142][17] r[142][18] r[142][19] r[143][0] r[143][1] r[143][2] r[143][3] r[143][4] r[143][5] r[143][6] r[143][7] r[143][8] r[143][9] r[143][10] r[143][11] r[143][12] r[143][13] r[143][14] r[143][15] r[143][16] r[143][17] r[143][18] r[143][19] r[144][0] r[144][1] r[144][2] r[144][3] r[144][4] r[144][5] r[144][6] r[144][7] r[144][8] r[144][9] r[144][10] r[144][11] r[144][12] r[144][13] r[144][14] r[144][15] r[144][16] r[144][17] r[144][18] r[144][19] r[145][0] r[145][1] r[145][2] r[145][3] r[145][4] r[145][5] r[145][6] r[145][7] r[145][8] r[145][9] r[145][10] r[145][11] r[145][12] r[145][13] r[145][14] r[145][15] r[145][16] r[145][17] r[145][18] r[145][19] r[146][0] r[146][1] r[146][2] r[146][3] r[146][4] r[146][5] r[146][6] r[146][7] r[146][8] r[146][9] r[146][10] r[146][11] r[146][12] r[146][13] r[146][14] r[146][15] r[146][16] r[146][17] r[146][18] r[146][19] r[147][0] r[147][1] r[147][2] r[147][3] r[147][4] r[147][5] r[147][6] r[147][7] r[147][8] r[147][9] r[147][10] r[147][11] r[147][12] r[147][13] r[147][14] r[147][15] r[147][16] r[147][17] r[147][18] r[147][19] r[148][0] r[148][1] r[148][2] r[148][3] r[148][4] r[148][5] r[148][6] r[148][7] r[148][8] r[148][9] r[148][10] r[148][11] r[148][12] r[148][13] r[148][14] r[148][15] r[148][16] r[148][17] r[148][18] r[148][19] r[149][0] r[149][1] r[149][2] r[149][3] r[149][4] r[149][5] r[149][6] r[149][7] r[149][8] r[149][9] r[149][10] r[149][11] r[149][12] r[149][13] r[149][14] r[149][15] r[149][16] r[149][17] r[149][18] r[149][19] r[150][0] r[150][1] r[150][2] r[150][3] r[150][4] r[150][5] r[150][6] r[150][7] r[150][8] r[150][9] r[150][10] r[150][11] r[150][12] r[150][13] r[150][14] r[150][15] r[150][16] r[150][17] r[150][18] r[150][19] r[151][0] r[151][1] r[151][2] r[151][3] r[151][4] r[151][5] r[151][6] r[151][7] r[151][8] r[151][9] r[151][10] r[151][11] r[151][12] r[151][13] r[151][14] r[151][15] r[151][16] r[151][17] r[151][18] r[151][19] r[152][0] r[152][1] r[152][2] r[152][3] r[152][4] r[152][5] r[152][6] r[152][7] r[152][8] r[152][9] r[152][10] r[152][11] r[152][12] r[152][13] r[152][14] r[152][15] r[152][16] r[152][17] r[152][18] r[152][19] r[153][0] r[153][1] r[153][2] r[153][3] r[153][4] r[153][5] r[153][6] r[153][7] r[153][8] r[153][9] r[153][10] r[153][11] r[153][12] r[153][13] r[153][14] r[153][15] r[153][16] r[153][17] r[153][18] r[153][19] r[154][0] r[154][1] r[154][2] r[154][3] r[154][4] r[154][5] r[154][6] r[154][7] r[154][8] r[154][9] r[154][10] r[154][11] r[154][12] r[154][13] r[154][14] r[154][15] r[154][16] r[154][17] r[154][18] r[154][19] r[155][0] r[155][1] r[155][2] r[155][3] r[155][4] r[155][5] r[155][6] r[155][7] r[155][8] r[155][9] r[155][10] r[155][11] r[155][12] r[155][13] r[155][14] r[155][15] r[155][16] r[155][17] r[155][18] r[155][19] r[156][0] r[156][1] r[156][2] r[156][3] r[156][4] r[156][5] r[156][6] r[156][7] r[156][8] r[156][9] r[156][10] r[156][11] r[156][12] r[156][13] r[156][14] r[156][15] r[156][16] r[156][17] r[156][18] r[156][19] r[157][0] r[157][1] r[157][2] r[157][3] r[157][4] r[157][5] r[157][6] r[157][7] r[157][8] r[157][9] r[157][10] r[157][11] r[157][12] r[157][13] r[157][14] r[157][15] r[157][16] r[157][17] r[157][18] r[157][19] r[158][0] r[158][1] r[158][2] r[158][3] r[158][4] r[158][5] r[158][6] r[158][7] r[158][8] r[158][9] r[158][10] r[158][11] r[158][12] r[158][13] r[158][14] r[158][15] r[158][16] r[158][17] r[158][18] r[158][19] r[159][0] r[159][1] r[159][2] r[159][3] r[159][4] r[159][5] r[159][6] r[159][7] r[159][8] r[159][9] r[159][10] r[159][11] r[159][12] r[159][13] r[159][14] r[159][15] r[159][16] r[159][17] r[159][18] r[159][19] r[160][0] r[160][1] r[160][2] r[160][3] r[160][4] r[160][5] r[160][6] r[160][7] r[160][8] r[160][9] r[160][10] r[160][11] r[160][12] r[160][13] r[160][14] r[160][15] r[160][16] r[160][17] r[160][18] r[160][19] r[161][0] r[161][1] r[161][2] r[161][3] r[161][4] r[161][5] r[161][6] r[161][7] r[161][8] r[161][9] r[161][10] r[161][11] r[161][12] r[161][13] r[161][14] r[161][15] r[161][16] r[161][17] r[161][18] r[161][19] r[162][0] r[162][1] r[162][2] r[162][3] r[162][4] r[162][5] r[162][6] r[162][7] r[162][8] r[162][9] r[162][10] r[162][11] r[162][12] r[162][13] r[162][14] r[162][15] r[162][16] r[162][17] r[162][18] r[162][19] r[163][0] r[163][1] r[163][2] r[163][3] r[163][4] r[163][5] r[163][6] r[163][7] r[163][8] r[163][9] r[163][10] r[163][11] r[163][12] r[163][13] r[163][14] r[163][15] r[163][16] r[163][17] r[163][18] r[163][19] r[164][0] r[164][1] r[164][2] r[164][3] r[164][4] r[164][5] r[164][6] r[164][7] r[164][8] r[164][9] r[164][10] r[164][11] r[164][12] r[164][13] r[164][14] r[164][15] r[164][16] r[164][17] r[164][18] r[164][19] r[165][0] r[165][1] r[165][2] r[165][3] r[165][4] r[165][5] r[165][6] r[165][7] r[165][8] r[165][9] r[165][10] r[165][11] r[165][12] r[165][13] r[165][14] r[165][15] r[165][16] r[165][17] r[165][18] r[165][19] r[166][0] r[166][1] r[166][2] r[166][3] r[166][4] r[166][5] r[166][6] r[166][7] r[166][8] r[166][9] r[166][10] r[166][11] r[166][12] r[166][13] r[166][14] r[166][15] r[166][16] r[166][17] r[166][18] r[166][19] r[167][0] r[167][1] r[167][2] r[167][3] r[167][4] r[167][5] r[167][6] r[167][7] r[167][8] r[167][9] r[167][10] r[167][11] r[167][12] r[167][13] r[167][14] r[167][15] r[167][16] r[167][17] r[167][18] r[167][19] r[168][0] r[168][1] r[168][2] r[168][3] r[168][4] r[168][5] r[168][6] r[168][7] r[168][8] r[168][9] r[168][10] r[168][11] r[168][12] r[168][13] r[168][14] r[168][15] r[168][16] r[168][17] r[168][18] r[168][19] r[169][0] r[169][1] r[169][2] r[169][3] r[169][4] r[169][5] r[169][6] r[169][7] r[169][8] r[169][9] r[169][10] r[169][11] r[169][12] r[169][13] r[169][14] r[169][15] r[169][16] r[169][17] r[169][18] r[169][19] r[170][0] r[170][1] r[170][2] r[170][3] r[170][4] r[170][5] r[170][6] r[170][7] r[170][8] r[170][9] r[170][10] r[170][11] r[170][12] r[170][13] r[170][14] r[170][15] r[170][16] r[170][17] r[170][18] r[170][19] r[171][0] r[171][1] r[171][2] r[171][3] r[171][4] r[171][5] r[171][6] r[171][7] r[171][8] r[171][9] r[171][10] r[171][11] r[171][12] r[171][13] r[171][14] r[171][15] r[171][16] r[171][17] r[171][18] r[171][19] r[172][0] r[172][1] r[172][2] r[172][3] r[172][4] r[172][5] r[172][6] r[172][7] r[172][8] r[172][9] r[172][10] r[172][11] r[172][12] r[172][13] r[172][14] r[172][15] r[172][16] r[172][17] r[172][18] r[172][19] r[173][0] r[173][1] r[173][2] r[173][3] r[173][4] r[173][5] r[173][6] r[173][7] r[173][8] r[173][9] r[173][10] r[173][11] r[173][12] r[173][13] r[173][14] r[173][15] r[173][16] r[173][17] r[173][18] r[173][19] r[174][0] r[174][1] r[174][2] r[174][3] r[174][4] r[174][5] r[174][6] r[174][7] r[174][8] r[174][9] r[174][10] r[174][11] r[174][12] r[174][13] r[174][14] r[174][15] r[174][16] r[174][17] r[174][18] r[174][19] r[175][0] r[175][1] r[175][2] r[175][3] r[175][4] r[175][5] r[175][6] r[175][7] r[175][8] r[175][9] r[175][10] r[175][11] r[175][12] r[175][13] r[175][14] r[175][15] r[175][16] r[175][17] r[175][18] r[175][19] r[176][0] r[176][1] r[176][2] r[176][3] r[176][4] r[176][5] r[176][6] r[176][7] r[176][8] r[176][9] r[176][10] r[176][11] r[176][12] r[176][13] r[176][14] r[176][15] r[176][16] r[176][17] r[176][18] r[176][19] r[177][0] r[177][1] r[177][2] r[177][3] r[177][4] r[177][5] r[177][6] r[177][7] r[177][8] r[177][9] r[177][10] r[177][11] r[177][12] r[177][13] r[177][14] r[177][15] r[177][16] r[177][17] r[177][18] r[177][19] r[178][0] r[178][1] r[178][2] r[178][3] r[178][4] r[178][5] r[178][6] r[178][7] r[178][8] r[178][9] r[178][10] r[178][11] r[178][12] r[178][13] r[178][14] r[178][15] r[178][16] r[178][17] r[178][18] r[178][19] r[179][0] r[179][1] r[179][2] r[179][3] r[179][4] r[179][5] r[179][6] r[179][7] r[179][8] r[179][9] r[179][10] r[179][11] r[179][12] r[179][13] r[179][14] r[179][15] r[179][16] r[179][17] r[179][18] r[179][19] r[180][0] r[180][1] r[180][2] r[180][3] r[180][4] r[180][5] r[180][6] r[180][7] r[180][8] r[180][9] r[180][10] r[180][11] r[180][12] r[180][13] r[180][14] r[180][15] r[180][16] r[180][17] r[180][18] r[180][19] r[181][0] r[181][1] r[181][2] r[181][3] r[181][4] r[181][5] r[181][6] r[181][7] r[181][8] r[181][9] r[181][10] r[181][11] r[181][12] r[181][13] r[181][14] r[181][15] r[181][16] r[181][17] r[181][18] r[181][19] r[182][0] r[182][1] r[182][2] r[182][3] r[182][4] r[182][5] r[182][6] r[182][7] r[182][8] r[182][9] r[182][10] r[182][11] r[182][12] r[182][13] r[182][14] r[182][15] r[182][16] r[182][17] r[182][18] r[182][19] r[183][0] r[183][1] r[183][2] r[183][3] r[183][4] r[183][5] r[183][6] r[183][7] r[183][8] r[183][9] r[183][10] r[183][11] r[183][12] r[183][13] r[183][14] r[183][15] r[183][16] r[183][17] r[183][18] r[183][19] r[184][0] r[184][1] r[184][2] r[184][3] r[184][4] r[184][5] r[184][6] r[184][7] r[184][8] r[184][9] r[184][10] r[184][11] r[184][12] r[184][13] r[184][14] r[184][15] r[184][16] r[184][17] r[184][18] r[184][19] r[185][0] r[185][1] r[185][2] r[185][3] r[185][4] r[185][5] r[185][6] r[185][7] r[185][8] r[185][9] r[185][10] r[185][11] r[185][12] r[185][13] r[185][14] r[185][15] r[185][16] r[185][17] r[185][18] r[185][19] r[186][0] r[186][1] r[186][2] r[186][3] r[186][4] r[186][5] r[186][6] r[186][7] r[186][8] r[186][9] r[186][10] r[186][11] r[186][12] r[186][13] r[186][14] r[186][15] r[186][16] r[186][17] r[186][18] r[186][19] r[187][0] r[187][1] r[187][2] r[187][3] r[187][4] r[187][5] r[187][6] r[187][7] r[187][8] r[187][9] r[187][10] r[187][11] r[187][12] r[187][13] r[187][14] r[187][15] r[187][16] r[187][17] r[187][18] r[187][19] r[188][0] r[188][1] r[188][2] r[188][3] r[188][4] r[188][5] r[188][6] r[188][7] r[188][8] r[188][9] r[188][10] r[188][11] r[188][12] r[188][13] r[188][14] r[188][15] r[188][16] r[188][17] r[188][18] r[188][19] r[189][0] r[189][1] r[189][2] r[189][3] r[189][4] r[189][5] r[189][6] r[189][7] r[189][8] r[189][9] r[189][10] r[189][11] r[189][12] r[189][13] r[189][14] r[189][15] r[189][16] r[189][17] r[189][18] r[189][19] r[190][0] r[190][1] r[190][2] r[190][3] r[190][4] r[190][5] r[190][6] r[190][7] r[190][8] r[190][9] r[190][10] r[190][11] r[190][12] r[190][13] r[190][14] r[190][15] r[190][16] r[190][17] r[190][18] r[190][19] r[191][0] r[191][1] r[191][2] r[191][3] r[191][4] r[191][5] r[191][6] r[191][7] r[191][8] r[191][9] r[191][10] r[191][11] r[191][12] r[191][13] r[191][14] r[191][15] r[191][16] r[191][17] r[191][18] r[191][19] r[192][0] r[192][1] r[192][2] r[192][3] r[192][4] r[192][5] r[192][6] r[192][7] r[192][8] r[192][9] r[192][10] r[192][11] r[192][12] r[192][13] r[192][14] r[192][15] r[192][16] r[192][17] r[192][18] r[192][19] r[193][0] r[193][1] r[193][2] r[193][3] r[193][4] r[193][5] r[193][6] r[193][7] r[193][8] r[193][9] r[193][10] r[193][11] r[193][12] r[193][13] r[193][14] r[193][15] r[193][16] r[193][17] r[193][18] r[193][19] </list> 96.90/13.35 v <values>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 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 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 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 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 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 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values> 96.90/13.35 v </instantiation>
OK 161
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 (15281 MiB free) memory of node 1: 16384 MiB (15620 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393976-1568423751/watcher-4393976-1568423751 -o /tmp/evaluation-result-4393976-1568423751/solver-4393976-1568423751 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node132-1568417633-3009 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 729988226 HOME/instance-4393976-1568423751.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=4958, runsolver pid=4955 [startup+0.100114 s]* /proc/loadavg: 6.46 4.57 3.88 3/218 4979 /proc/meminfo: memFree=31626272/32770624 swapFree=67009580/67108860 [pid=4958] ppid=4955 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/4958/stat : 4958 (xcsp3-exec) S 4955 4958 2982 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418297784 115843072 363 33554432000 4194304 5098028 140734009384720 140734009382824 139869745169020 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7811072 140734009385846 140734009386089 140734009386089 140734009389002 0 /proc/4958/statm: 28282 363 305 221 0 87 0 [pid=4960] ppid=4958 vsize=28227388 memory=30352 CPUtime=0.12 cores=0-7 /proc/4960/stat : 4960 (java) S 4958 4958 2982 0 -1 1077944320 5623 0 0 0 10 2 0 0 20 0 20 0 418297784 28904845312 7588 33554432000 4194304 4196468 140725536646848 140725536629392 140110684753655 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 /proc/4960/statm: 7056847 7588 3112 1 0 7019032 0 [pid=4960/tid=4961] ppid=4958 vsize=28227388 memory=-7024592270288534718 CPUtime=0.08 cores=0-7 /proc/4960/task/4961/stat : 4961 (java) R 4958 4958 2982 0 -1 4202560 3537 0 0 0 8 0 0 0 20 0 20 0 418297785 28904845312 7588 33554432000 4194304 4196468 140725536646848 140110688986928 140110684775581 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4962] ppid=4958 vsize=28227388 memory=6735269665564437106 CPUtime=0 cores=0-7 /proc/4960/task/4962/stat : 4962 (java) S 4958 4958 2982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418297785 28904845312 7588 33554432000 4194304 4196468 140725536646848 140110637374608 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4963] ppid=4958 vsize=28227388 memory=140009042470528 CPUtime=0 cores=0-7 /proc/4960/task/4963/stat : 4963 (java) S 4958 4958 2982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418297785 28904845312 7588 33554432000 4194304 4196468 140725536646848 140110636321808 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4964] ppid=4958 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4960/task/4964/stat : 4964 (java) S 4958 4958 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418297785 28904845312 7588 33554432000 4194304 4196468 140725536646848 140110635269008 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4965] ppid=4958 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4960/task/4965/stat : 4965 (java) S 4958 4958 2982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418297785 28904845312 7588 33554432000 4194304 4196468 140725536646848 140110634216208 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4966] ppid=4958 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4960/task/4966/stat : 4966 (java) S 4958 4958 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418297785 28904845312 7588 33554432000 4194304 4196468 140725536646848 140110633163408 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4967] ppid=4958 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/4960/task/4967/stat : 4967 (java) S 4958 4958 2982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418297785 28904845312 7588 33554432000 4194304 4196468 140725536646848 140110632110608 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4968] ppid=4958 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4960/task/4968/stat : 4968 (java) S 4958 4958 2982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418297785 28904845312 7588 33554432000 4194304 4196468 140725536646848 140110631057808 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4969] ppid=4958 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4960/task/4969/stat : 4969 (java) S 4958 4958 2982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418297786 28904845312 7588 33554432000 4194304 4196468 140725536646848 140110630005008 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4970] ppid=4958 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4960/task/4970/stat : 4970 (java) S 4958 4958 2982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418297787 28904845312 7588 33554432000 4194304 4196468 140725536646848 140109013838704 140110684764802 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4971] ppid=4958 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4960/task/4971/stat : 4971 (java) S 4958 4958 2982 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418297787 28904845312 7588 33554432000 4194304 4196468 140725536646848 140109012784672 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4972] ppid=4958 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4960/task/4972/stat : 4972 (java) S 4958 4958 2982 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418297788 28904845312 7588 33554432000 4194304 4196468 140725536646848 140109011731824 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4973] ppid=4958 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4960/task/4973/stat : 4973 (java) S 4958 4958 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418297790 28904845312 7588 33554432000 4194304 4196468 140725536646848 140109010680144 140110684772251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4974] ppid=4958 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4960/task/4974/stat : 4974 (java) S 4958 4958 2982 0 -1 1077944384 322 0 0 0 0 0 0 0 20 0 20 0 418297790 28904845312 7588 33554432000 4194304 4196468 140725536646848 140109009627504 140110684764802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4975] ppid=4958 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4960/task/4975/stat : 4975 (java) S 4958 4958 2982 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 418297790 28904845312 7588 33554432000 4194304 4196468 140725536646848 140109008574704 140110684764802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4976] ppid=4958 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4960/task/4976/stat : 4976 (java) S 4958 4958 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418297790 28904845312 7588 33554432000 4194304 4196468 140725536646848 140109007521904 140110684764802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4977] ppid=4958 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/4960/task/4977/stat : 4977 (java) R 4958 4958 2982 0 -1 4202560 329 0 0 0 1 0 0 0 20 0 20 0 418297790 28904845312 7588 33554432000 4194304 4196468 140725536646848 140109006469104 140110684775002 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4978] ppid=4958 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4960/task/4978/stat : 4978 (java) S 4958 4958 2982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418297790 28904845312 7588 33554432000 4194304 4196468 140725536646848 140109005417568 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4979] ppid=4958 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/4960/task/4979/stat : 4979 (java) S 4958 4958 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418297791 28904845312 7588 33554432000 4194304 4196468 140725536646848 140109004364848 140110684764802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 31804 KiB [startup+0.210828 s]* /proc/loadavg: 6.46 4.57 3.88 2/218 4979 /proc/meminfo: memFree=31613476/32770624 swapFree=67009580/67108860 [pid=4958] ppid=4955 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/4958/stat : 4958 (xcsp3-exec) S 4955 4958 2982 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418297784 115843072 363 33554432000 4194304 5098028 140734009384720 140734009382824 139869745169020 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7811072 140734009385846 140734009386089 140734009386089 140734009389002 0 /proc/4958/statm: 28282 363 305 221 0 87 0 [pid=4960] ppid=4958 vsize=28227388 memory=42708 CPUtime=0.34 cores=0-7 /proc/4960/stat : 4960 (java) S 4958 4958 2982 0 -1 1077944320 9385 0 0 0 30 4 0 0 20 0 20 0 418297784 28904845312 10677 33554432000 4194304 4196468 140725536646848 140725536629392 140110684753655 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 /proc/4960/statm: 7056847 10677 3311 1 0 7019032 0 [pid=4960/tid=4961] ppid=4958 vsize=28227388 memory=8390339637985935414 CPUtime=0.19 cores=0-7 /proc/4960/task/4961/stat : 4961 (java) R 4958 4958 2982 0 -1 4202560 6533 0 0 0 17 2 0 0 20 0 20 0 418297785 28904845312 10677 33554432000 4194304 4196468 140725536646848 140110688983376 140110668834142 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4962] ppid=4958 vsize=28227388 memory=288230613314710904 CPUtime=0 cores=0-7 /proc/4960/task/4962/stat : 4962 (java) S 4958 4958 2982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418297785 28904845312 10677 33554432000 4194304 4196468 140725536646848 140110637374608 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4963] ppid=4958 vsize=28227388 memory=288370385194182272 CPUtime=0 cores=0-7 /proc/4960/task/4963/stat : 4963 (java) S 4958 4958 2982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418297785 28904845312 10677 33554432000 4194304 4196468 140725536646848 140110636321808 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4964] ppid=4958 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/4960/task/4964/stat : 4964 (java) S 4958 4958 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418297785 28904845312 10677 33554432000 4194304 4196468 140725536646848 140110635269008 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4965] ppid=4958 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4960/task/4965/stat : 4965 (java) S 4958 4958 2982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418297785 28904845312 10677 33554432000 4194304 4196468 140725536646848 140110634216208 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4966] ppid=4958 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4960/task/4966/stat : 4966 (java) S 4958 4958 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418297785 28904845312 10677 33554432000 4194304 4196468 140725536646848 140110633163408 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4967] ppid=4958 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/4960/task/4967/stat : 4967 (java) S 4958 4958 2982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418297785 28904845312 10677 33554432000 4194304 4196468 140725536646848 140110632110608 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4968] ppid=4958 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4960/task/4968/stat : 4968 (java) S 4958 4958 2982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418297785 28904845312 10677 33554432000 4194304 4196468 140725536646848 140110631057808 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4969] ppid=4958 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4960/task/4969/stat : 4969 (java) S 4958 4958 2982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418297786 28904845312 10677 33554432000 4194304 4196468 140725536646848 140110630005008 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4970] ppid=4958 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4960/task/4970/stat : 4970 (java) S 4958 4958 2982 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418297787 28904845312 10677 33554432000 4194304 4196468 140725536646848 140109013838704 140110684764802 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4971] ppid=4958 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4960/task/4971/stat : 4971 (java) S 4958 4958 2982 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418297787 28904845312 10677 33554432000 4194304 4196468 140725536646848 140109012784672 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4972] ppid=4958 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4960/task/4972/stat : 4972 (java) S 4958 4958 2982 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418297788 28904845312 10677 33554432000 4194304 4196468 140725536646848 140109011731824 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4973] ppid=4958 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4960/task/4973/stat : 4973 (java) S 4958 4958 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418297790 28904845312 10677 33554432000 4194304 4196468 140725536646848 140109010680144 140110684772251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4974] ppid=4958 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/4960/task/4974/stat : 4974 (java) S 4958 4958 2982 0 -1 1077944384 611 0 0 0 2 0 0 0 20 0 20 0 418297790 28904845312 10677 33554432000 4194304 4196468 140725536646848 140109009627504 140110684764802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4975] ppid=4958 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/4960/task/4975/stat : 4975 (java) S 4958 4958 2982 0 -1 1077944384 181 0 0 0 1 0 0 0 20 0 20 0 418297790 28904845312 10677 33554432000 4194304 4196468 140725536646848 140109008574704 140110684764802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4976] ppid=4958 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4960/task/4976/stat : 4976 (java) S 4958 4958 2982 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 418297790 28904845312 10677 33554432000 4194304 4196468 140725536646848 140109007521904 140110684764802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4977] ppid=4958 vsize=28227388 memory=0 CPUtime=0.07 cores=0-7 /proc/4960/task/4977/stat : 4977 (java) R 4958 4958 2982 0 -1 4202560 741 0 0 0 7 0 0 0 20 0 20 0 418297790 28904845312 10677 33554432000 4194304 4196468 140725536646848 140109006469104 140110663771516 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4978] ppid=4958 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4960/task/4978/stat : 4978 (java) S 4958 4958 2982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418297790 28904845312 10677 33554432000 4194304 4196468 140725536646848 140109005417568 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4979] ppid=4958 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/4960/task/4979/stat : 4979 (java) S 4958 4958 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418297791 28904845312 10677 33554432000 4194304 4196468 140725536646848 140109004364848 140110684764802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 44160 KiB [startup+0.310344 s]* /proc/loadavg: 6.46 4.57 3.88 5/218 4979 /proc/meminfo: memFree=31606084/32770624 swapFree=67009580/67108860 [pid=4958] ppid=4955 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/4958/stat : 4958 (xcsp3-exec) S 4955 4958 2982 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418297784 115843072 363 33554432000 4194304 5098028 140734009384720 140734009382824 139869745169020 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7811072 140734009385846 140734009386089 140734009386089 140734009389002 0 /proc/4958/statm: 28282 363 305 221 0 87 0 [pid=4960] ppid=4958 vsize=28231644 memory=51944 CPUtime=0.52 cores=0-7 /proc/4960/stat : 4960 (java) S 4958 4958 2982 0 -1 1077944320 10762 0 0 0 47 5 0 0 20 0 20 0 418297784 28909203456 12957 33554432000 4194304 4196468 140725536646848 140725536629392 140110684753655 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 /proc/4960/statm: 7057911 12986 3370 1 0 7019032 0 [pid=4960/tid=4961] ppid=4958 vsize=28231644 memory=1398722017469774279 CPUtime=0.3 cores=0-7 /proc/4960/task/4961/stat : 4961 (java) R 4958 4958 2982 0 -1 4202560 7680 0 0 0 27 3 0 0 20 0 20 0 418297785 28909203456 12986 33554432000 4194304 4196468 140725536646848 140110688984768 140110668834142 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4962] ppid=4958 vsize=28231644 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/4960/task/4962/stat : 4962 (java) S 4958 4958 2982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418297785 28909203456 12986 33554432000 4194304 4196468 140725536646848 140110637374608 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4963] ppid=4958 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/4960/task/4963/stat : 4963 (java) S 4958 4958 2982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418297785 28909203456 12986 33554432000 4194304 4196468 140725536646848 140110636321808 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4964] ppid=4958 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/4960/task/4964/stat : 4964 (java) S 4958 4958 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418297785 28909203456 12986 33554432000 4194304 4196468 140725536646848 140110635269008 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4965] ppid=4958 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/4960/task/4965/stat : 4965 (java) S 4958 4958 2982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418297785 28909203456 12986 33554432000 4194304 4196468 140725536646848 140110634216208 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4966] ppid=4958 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/4960/task/4966/stat : 4966 (java) S 4958 4958 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418297785 28909203456 12986 33554432000 4194304 4196468 140725536646848 140110633163408 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4967] ppid=4958 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/4960/task/4967/stat : 4967 (java) S 4958 4958 2982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418297785 28909203456 12986 33554432000 4194304 4196468 140725536646848 140110632110608 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4968] ppid=4958 vsize=28231644 memory=2244 CPUtime=0 cores=0-7 /proc/4960/task/4968/stat : 4968 (java) S 4958 4958 2982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418297785 28909203456 12986 33554432000 4194304 4196468 140725536646848 140110631057808 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4969] ppid=4958 vsize=28231644 memory=2244 CPUtime=0 cores=0-7 /proc/4960/task/4969/stat : 4969 (java) S 4958 4958 2982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418297786 28909203456 12986 33554432000 4194304 4196468 140725536646848 140110630005008 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4970] ppid=4958 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/4960/task/4970/stat : 4970 (java) S 4958 4958 2982 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418297787 28909203456 12986 33554432000 4194304 4196468 140725536646848 140109013838704 140110684764802 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4971] ppid=4958 vsize=28231644 memory=140008887509455 CPUtime=0 cores=0-7 /proc/4960/task/4971/stat : 4971 (java) S 4958 4958 2982 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418297787 28909203456 12986 33554432000 4194304 4196468 140725536646848 140109012784672 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4972] ppid=4958 vsize=28231644 memory=280017775046544 CPUtime=0 cores=0-7 /proc/4960/task/4972/stat : 4972 (java) S 4958 4958 2982 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418297788 28909203456 12986 33554432000 4194304 4196468 140725536646848 140109011731824 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4973] ppid=4958 vsize=28231644 memory=280017775044240 CPUtime=0 cores=0-7 /proc/4960/task/4973/stat : 4973 (java) S 4958 4958 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418297790 28909203456 12986 33554432000 4194304 4196468 140725536646848 140109010680144 140110684772251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4974] ppid=4958 vsize=28231644 memory=280017775051152 CPUtime=0.04 cores=0-7 /proc/4960/task/4974/stat : 4974 (java) R 4958 4958 2982 0 -1 4202560 697 0 0 0 4 0 0 0 20 0 20 0 418297790 28909203456 12986 33554432000 4194304 4196468 140725536646848 140109009627504 140110662351952 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4975] ppid=4958 vsize=28231644 memory=280017774992432 CPUtime=0.03 cores=0-7 /proc/4960/task/4975/stat : 4975 (java) S 4958 4958 2982 0 -1 1077944384 199 0 0 0 3 0 0 0 20 0 20 0 418297790 28909203456 12986 33554432000 4194304 4196468 140725536646848 140109008574704 140110684764802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4976] ppid=4958 vsize=28231644 memory=280017775064976 CPUtime=0.01 cores=0-7 /proc/4960/task/4976/stat : 4976 (java) S 4958 4958 2982 0 -1 1077944384 34 0 0 0 1 0 0 0 20 0 20 0 418297790 28909203456 12986 33554432000 4194304 4196468 140725536646848 140109007521904 140110684764802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4977] ppid=4958 vsize=28231644 memory=280017775071856 CPUtime=0.12 cores=0-7 /proc/4960/task/4977/stat : 4977 (java) S 4958 4958 2982 0 -1 1077944384 860 0 0 0 12 0 0 0 20 0 20 0 418297790 28909203456 12986 33554432000 4194304 4196468 140725536646848 140109006469104 140110684764802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4978] ppid=4958 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/4960/task/4978/stat : 4978 (java) S 4958 4958 2982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418297790 28909203456 12986 33554432000 4194304 4196468 140725536646848 140109005417568 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4979] ppid=4958 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/4960/task/4979/stat : 4979 (java) S 4958 4958 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418297791 28909203456 12986 33554432000 4194304 4196468 140725536646848 140109004364848 140110684764802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 53396 KiB [startup+0.70096 s] /proc/loadavg: 6.46 4.57 3.88 4/218 4979 /proc/meminfo: memFree=31593292/32770624 swapFree=67009580/67108860 [pid=4958] ppid=4955 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/4958/stat : 4958 (xcsp3-exec) S 4955 4958 2982 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418297784 115843072 363 33554432000 4194304 5098028 140734009384720 140734009382824 139869745169020 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7811072 140734009385846 140734009386089 140734009386089 140734009389002 0 /proc/4958/statm: 28282 363 305 221 0 87 0 [pid=4960] ppid=4958 vsize=28233768 memory=100744 CPUtime=1.77 cores=0-7 /proc/4960/stat : 4960 (java) S 4958 4958 2982 0 -1 1077944320 15422 0 0 0 168 9 0 0 20 0 20 0 418297784 28911378432 25186 33554432000 4194304 4196468 140725536646848 140725536629392 140110684753655 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 /proc/4960/statm: 7058442 25186 3462 1 0 7019544 0 [pid=4960/tid=4961] ppid=4958 vsize=28233768 memory=2244 CPUtime=0.67 cores=0-7 /proc/4960/task/4961/stat : 4961 (java) R 4958 4958 2982 0 -1 4202560 9009 0 0 0 63 4 0 0 20 0 20 0 418297785 28911378432 25186 33554432000 4194304 4196468 140725536646848 140110688991120 140110309903334 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4962] ppid=4958 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/4960/task/4962/stat : 4962 (java) S 4958 4958 2982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418297785 28911378432 25251 33554432000 4194304 4196468 140725536646848 140110637374608 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4963] ppid=4958 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/4960/task/4963/stat : 4963 (java) S 4958 4958 2982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418297785 28911378432 25251 33554432000 4194304 4196468 140725536646848 140110636321808 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4964] ppid=4958 vsize=28233768 memory=14008 CPUtime=0 cores=0-7 /proc/4960/task/4964/stat : 4964 (java) S 4958 4958 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418297785 28911378432 25251 33554432000 4194304 4196468 140725536646848 140110635269008 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 ################ # More data... # ################ [pid=4960/tid=4961] ppid=4958 vsize=28768328 memory=8112282956445269571 CPUtime=0.96 cores=0-7 /proc/4960/task/4961/stat : 4961 (java) S 4958 4958 2982 0 -1 1077944384 9214 0 0 0 90 6 0 0 20 0 28 0 418297785 29458767872 172468 33554432000 4194304 4196468 140725536646848 140110688994432 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4962] ppid=4958 vsize=28768328 memory=274464 CPUtime=0.1 cores=0-7 /proc/4960/task/4962/stat : 4962 (java) S 4958 4958 2982 0 -1 1077944384 260 0 0 0 6 4 0 0 20 0 28 0 418297785 29458767872 172468 33554432000 4194304 4196468 140725536646848 140110637374608 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4963] ppid=4958 vsize=28768328 memory=1052 CPUtime=0.11 cores=0-7 /proc/4960/task/4963/stat : 4963 (java) S 4958 4958 2982 0 -1 1077944384 271 0 0 0 7 4 0 0 20 0 28 0 418297785 29458767872 172468 33554432000 4194304 4196468 140725536646848 140110636321808 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4964] ppid=4958 vsize=28768328 memory=33 CPUtime=0.08 cores=0-7 /proc/4960/task/4964/stat : 4964 (java) S 4958 4958 2982 0 -1 1077944384 226 0 0 0 5 3 0 0 20 0 28 0 418297785 29458767872 172468 33554432000 4194304 4196468 140725536646848 140110635269008 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4965] ppid=4958 vsize=28768328 memory=0 CPUtime=0.08 cores=0-7 /proc/4960/task/4965/stat : 4965 (java) S 4958 4958 2982 0 -1 1077944384 385 0 0 0 5 3 0 0 20 0 28 0 418297785 29458767872 172468 33554432000 4194304 4196468 140725536646848 140110634216208 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4966] ppid=4958 vsize=28768328 memory=180 CPUtime=0.08 cores=0-7 /proc/4960/task/4966/stat : 4966 (java) S 4958 4958 2982 0 -1 1077944384 1021 0 0 0 5 3 0 0 20 0 28 0 418297785 29458767872 172468 33554432000 4194304 4196468 140725536646848 140110633163408 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4967] ppid=4958 vsize=28768328 memory=6944656592455359580 CPUtime=0.11 cores=0-7 /proc/4960/task/4967/stat : 4967 (java) S 4958 4958 2982 0 -1 1077944384 552 0 0 0 7 4 0 0 20 0 28 0 418297785 29458767872 172468 33554432000 4194304 4196468 140725536646848 140110632110608 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4968] ppid=4958 vsize=28768328 memory=1764 CPUtime=0.1 cores=0-7 /proc/4960/task/4968/stat : 4968 (java) S 4958 4958 2982 0 -1 1077944384 1572 0 0 0 7 3 0 0 20 0 28 0 418297785 29458767872 172468 33554432000 4194304 4196468 140725536646848 140110631057808 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4969] ppid=4958 vsize=28768328 memory=111632 CPUtime=0.09 cores=0-7 /proc/4960/task/4969/stat : 4969 (java) S 4958 4958 2982 0 -1 1077944384 157 0 0 0 6 3 0 0 20 0 28 0 418297786 29458767872 172468 33554432000 4194304 4196468 140725536646848 140110630005008 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4970] ppid=4958 vsize=28768328 memory=1808 CPUtime=0.01 cores=0-7 /proc/4960/task/4970/stat : 4970 (java) S 4958 4958 2982 0 -1 1077944384 765 0 0 0 1 0 0 0 20 0 28 0 418297787 29458767872 172468 33554432000 4194304 4196468 140725536646848 140109013838704 140110684764802 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4971] ppid=4958 vsize=28768328 memory=924 CPUtime=0 cores=0-7 /proc/4960/task/4971/stat : 4971 (java) S 4958 4958 2982 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 418297787 29458767872 172468 33554432000 4194304 4196468 140725536646848 140109012784736 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4972] ppid=4958 vsize=28768328 memory=4548 CPUtime=0 cores=0-7 /proc/4960/task/4972/stat : 4972 (java) S 4958 4958 2982 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 418297788 29458767872 172468 33554432000 4194304 4196468 140725536646848 140109011731824 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4973] ppid=4958 vsize=28768328 memory=4104 CPUtime=0 cores=0-7 /proc/4960/task/4973/stat : 4973 (java) S 4958 4958 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418297790 29458767872 172468 33554432000 4194304 4196468 140725536646848 140109010680144 140110684772251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4974] ppid=4958 vsize=28768328 memory=1412 CPUtime=2.83 cores=0-7 /proc/4960/task/4974/stat : 4974 (java) S 4958 4958 2982 0 -1 1077944384 6313 0 0 0 281 2 0 0 20 0 28 0 418297790 29458767872 172468 33554432000 4194304 4196468 140725536646848 140109009627504 140110684764802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 48 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4975] ppid=4958 vsize=28768328 memory=2908 CPUtime=3.15 cores=0-7 /proc/4960/task/4975/stat : 4975 (java) S 4958 4958 2982 0 -1 1077944384 6229 0 0 0 312 3 0 0 20 0 28 0 418297790 29458767872 172468 33554432000 4194304 4196468 140725536646848 140109008574704 140110684764802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4976] ppid=4958 vsize=28768328 memory=1452 CPUtime=3.17 cores=0-7 /proc/4960/task/4976/stat : 4976 (java) S 4958 4958 2982 0 -1 1077944384 6096 0 0 0 316 1 0 0 20 0 28 0 418297790 29458767872 172468 33554432000 4194304 4196468 140725536646848 140109007521904 140110684764802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4977] ppid=4958 vsize=28768328 memory=638704 CPUtime=0.95 cores=0-7 /proc/4960/task/4977/stat : 4977 (java) S 4958 4958 2982 0 -1 1077944384 4148 0 0 0 93 2 0 0 20 0 28 0 418297790 29458767872 172468 33554432000 4194304 4196468 140725536646848 140109006469104 140110684764802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 47 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4978] ppid=4958 vsize=28768328 memory=1792 CPUtime=0 cores=0-7 /proc/4960/task/4978/stat : 4978 (java) S 4958 4958 2982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418297790 29458767872 172468 33554432000 4194304 4196468 140725536646848 140109005417568 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4979] ppid=4958 vsize=28768328 memory=2200 CPUtime=0 cores=0-7 /proc/4960/task/4979/stat : 4979 (java) S 4958 4958 2982 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 28 0 418297791 29458767872 172468 33554432000 4194304 4196468 140725536646848 140109004364848 140110684764802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 47 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4980] ppid=4958 vsize=28768328 memory=1600 CPUtime=10.26 cores=0-7 /proc/4960/task/4980/stat : 4980 (java) S 4958 4958 2982 0 -1 1077944384 252 0 0 0 1026 0 0 0 20 0 28 0 418297882 29458767872 172468 33554432000 4194304 4196468 140725536646848 140108995395520 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4981] ppid=4958 vsize=28768328 memory=280017775896952 CPUtime=10.84 cores=0-7 /proc/4960/task/4981/stat : 4981 (java) S 4958 4958 2982 0 -1 1077944384 553 0 0 0 1084 0 0 0 20 0 28 0 418297883 29458767872 172468 33554432000 4194304 4196468 140725536646848 140108994344144 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4982] ppid=4958 vsize=28768328 memory=4150481913601 CPUtime=9.98 cores=0-7 /proc/4960/task/4982/stat : 4982 (java) R 4958 4958 2982 0 -1 4202560 1725 0 0 0 990 8 0 0 20 0 28 0 418297883 29458767872 172468 33554432000 4194304 4196468 140725536646848 140108993286312 140110315836641 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4983] ppid=4958 vsize=28768328 memory=4176251717377 CPUtime=10.36 cores=0-7 /proc/4960/task/4983/stat : 4983 (java) S 4958 4958 2982 0 -1 1077944384 703 0 0 0 1032 4 0 0 20 0 28 0 418297883 29458767872 172468 33554432000 4194304 4196468 140725536646848 140108992238544 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4984] ppid=4958 vsize=28768328 memory=4352345376513 CPUtime=10.38 cores=0-7 /proc/4960/task/4984/stat : 4984 (java) S 4958 4958 2982 0 -1 1077944384 250 0 0 0 1038 0 0 0 20 0 28 0 418297883 29458767872 172468 33554432000 4194304 4196468 140725536646848 140108991185744 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4985] ppid=4958 vsize=28768328 memory=5700965107457 CPUtime=10.83 cores=0-7 /proc/4960/task/4985/stat : 4985 (java) S 4958 4958 2982 0 -1 1077944384 349 0 0 0 1083 0 0 0 20 0 28 0 418297886 29458767872 172468 33554432000 4194304 4196468 140725536646848 140108990132944 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4986] ppid=4958 vsize=28768328 memory=7676650063617 CPUtime=10.81 cores=0-7 /proc/4960/task/4986/stat : 4986 (java) S 4958 4958 2982 0 -1 1077944384 291 0 0 0 1081 0 0 0 20 0 28 0 418297886 29458767872 172468 33554432000 4194304 4196468 140725536646848 140108989081168 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4987] ppid=4958 vsize=28768328 memory=7693829932801 CPUtime=10.76 cores=0-7 /proc/4960/task/4987/stat : 4987 (java) S 4958 4958 2982 0 -1 1077944384 306 0 0 0 1076 0 0 0 20 0 28 0 418297886 29458767872 172468 33554432000 4194304 4196468 140725536646848 140108988028368 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 Current children cumulated CPU time: 96.27 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 691324 KiB [startup+13.2012 s] /proc/loadavg: 6.55 4.65 3.92 2/225 4987 /proc/meminfo: memFree=30966800/32770624 swapFree=67009580/67108860 [pid=4958] ppid=4955 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/4958/stat : 4958 (xcsp3-exec) S 4955 4958 2982 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418297784 115843072 363 33554432000 4194304 5098028 140734009384720 140734009382824 139869745169020 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7811072 140734009385846 140734009386089 140734009386089 140734009389002 0 /proc/4958/statm: 28282 363 305 221 0 87 0 [pid=4960] ppid=4958 vsize=28768328 memory=689364 CPUtime=96.77 cores=0-7 /proc/4960/stat : 4960 (java) S 4958 4958 2982 0 -1 1077944320 44019 0 0 0 9614 63 0 0 20 0 28 0 418297784 29458767872 172341 33554432000 4194304 4196468 140725536646848 140725536629392 140110684753655 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 /proc/4960/statm: 7192082 172341 3532 1 0 7153184 0 [pid=4960/tid=4961] ppid=4958 vsize=28768328 memory=14413709221038509 CPUtime=0.97 cores=0-7 /proc/4960/task/4961/stat : 4961 (java) S 4958 4958 2982 0 -1 1077944384 9403 0 0 0 91 6 0 0 20 0 28 0 418297785 29458767872 172341 33554432000 4194304 4196468 140725536646848 140110688994432 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4962] ppid=4958 vsize=28768328 memory=7988 CPUtime=0.1 cores=0-7 /proc/4960/task/4962/stat : 4962 (java) S 4958 4958 2982 0 -1 1077944384 260 0 0 0 6 4 0 0 20 0 28 0 418297785 29458767872 172341 33554432000 4194304 4196468 140725536646848 140110637374608 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4963] ppid=4958 vsize=28768328 memory=1584 CPUtime=0.11 cores=0-7 /proc/4960/task/4963/stat : 4963 (java) S 4958 4958 2982 0 -1 1077944384 271 0 0 0 7 4 0 0 20 0 28 0 418297785 29458767872 172341 33554432000 4194304 4196468 140725536646848 140110636321808 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4964] ppid=4958 vsize=28768328 memory=14008 CPUtime=0.08 cores=0-7 /proc/4960/task/4964/stat : 4964 (java) S 4958 4958 2982 0 -1 1077944384 226 0 0 0 5 3 0 0 20 0 28 0 418297785 29458767872 172341 33554432000 4194304 4196468 140725536646848 140110635269008 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4965] ppid=4958 vsize=28768328 memory=6156 CPUtime=0.08 cores=0-7 /proc/4960/task/4965/stat : 4965 (java) S 4958 4958 2982 0 -1 1077944384 385 0 0 0 5 3 0 0 20 0 28 0 418297785 29458767872 172341 33554432000 4194304 4196468 140725536646848 140110634216208 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4966] ppid=4958 vsize=28768328 memory=13948 CPUtime=0.08 cores=0-7 /proc/4960/task/4966/stat : 4966 (java) S 4958 4958 2982 0 -1 1077944384 1021 0 0 0 5 3 0 0 20 0 28 0 418297785 29458767872 172341 33554432000 4194304 4196468 140725536646848 140110633163408 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4967] ppid=4958 vsize=28768328 memory=2120 CPUtime=0.11 cores=0-7 /proc/4960/task/4967/stat : 4967 (java) S 4958 4958 2982 0 -1 1077944384 552 0 0 0 7 4 0 0 20 0 28 0 418297785 29458767872 172341 33554432000 4194304 4196468 140725536646848 140110632110608 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4968] ppid=4958 vsize=28768328 memory=520 CPUtime=0.1 cores=0-7 /proc/4960/task/4968/stat : 4968 (java) S 4958 4958 2982 0 -1 1077944384 1572 0 0 0 7 3 0 0 20 0 28 0 418297785 29458767872 172341 33554432000 4194304 4196468 140725536646848 140110631057808 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4969] ppid=4958 vsize=28768328 memory=1560 CPUtime=0.09 cores=0-7 /proc/4960/task/4969/stat : 4969 (java) S 4958 4958 2982 0 -1 1077944384 157 0 0 0 6 3 0 0 20 0 28 0 418297786 29458767872 172341 33554432000 4194304 4196468 140725536646848 140110630005008 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4970] ppid=4958 vsize=28768328 memory=928 CPUtime=0.01 cores=0-7 /proc/4960/task/4970/stat : 4970 (java) S 4958 4958 2982 0 -1 1077944384 765 0 0 0 1 0 0 0 20 0 28 0 418297787 29458767872 172341 33554432000 4194304 4196468 140725536646848 140109013838704 140110684764802 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4971] ppid=4958 vsize=28768328 memory=1616 CPUtime=0 cores=0-7 /proc/4960/task/4971/stat : 4971 (java) S 4958 4958 2982 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 418297787 29458767872 172341 33554432000 4194304 4196468 140725536646848 140109012784736 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4972] ppid=4958 vsize=28768328 memory=1452 CPUtime=0 cores=0-7 /proc/4960/task/4972/stat : 4972 (java) S 4958 4958 2982 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 418297788 29458767872 172341 33554432000 4194304 4196468 140725536646848 140109011731824 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4973] ppid=4958 vsize=28768328 memory=7307742819872367202 CPUtime=0 cores=0-7 /proc/4960/task/4973/stat : 4973 (java) S 4958 4958 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418297790 29458767872 172341 33554432000 4194304 4196468 140725536646848 140109010680144 140110684772251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4974] ppid=4958 vsize=28768328 memory=7377829019559083116 CPUtime=2.85 cores=0-7 /proc/4960/task/4974/stat : 4974 (java) S 4958 4958 2982 0 -1 1077944384 6396 0 0 0 282 3 0 0 20 0 28 0 418297790 29458767872 172341 33554432000 4194304 4196468 140725536646848 140109009627504 140110684764802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 48 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4975] ppid=4958 vsize=28768328 memory=-8774310252001467288 CPUtime=3.16 cores=0-7 /proc/4960/task/4975/stat : 4975 (java) S 4958 4958 2982 0 -1 1077944384 6285 0 0 0 313 3 0 0 20 0 28 0 418297790 29458767872 172341 33554432000 4194304 4196468 140725536646848 140109008574704 140110684764802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4976] ppid=4958 vsize=28768328 memory=4642248711309203847 CPUtime=3.19 cores=0-7 /proc/4960/task/4976/stat : 4976 (java) S 4958 4958 2982 0 -1 1077944384 6189 0 0 0 318 1 0 0 20 0 28 0 418297790 29458767872 172341 33554432000 4194304 4196468 140725536646848 140109007521904 140110684764802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4977] ppid=4958 vsize=28768328 memory=7306052883366114214 CPUtime=0.96 cores=0-7 /proc/4960/task/4977/stat : 4977 (java) S 4958 4958 2982 0 -1 1077944384 4212 0 0 0 94 2 0 0 20 0 28 0 418297790 29458767872 172341 33554432000 4194304 4196468 140725536646848 140109006469104 140110684764802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 47 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4978] ppid=4958 vsize=28768328 memory=7232886972902039648 CPUtime=0 cores=0-7 /proc/4960/task/4978/stat : 4978 (java) S 4958 4958 2982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418297790 29458767872 172341 33554432000 4194304 4196468 140725536646848 140109005417568 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4979] ppid=4958 vsize=28768328 memory=-9001734043636558696 CPUtime=0 cores=0-7 /proc/4960/task/4979/stat : 4979 (java) S 4958 4958 2982 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 28 0 418297791 29458767872 172341 33554432000 4194304 4196468 140725536646848 140109004364848 140110684764802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 47 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 Current children cumulated CPU time: 96.77 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 690816 KiB [startup+13.301 s] /proc/loadavg: 6.55 4.65 3.92 2/225 4987 /proc/meminfo: memFree=30966800/32770624 swapFree=67009580/67108860 [pid=4958] ppid=4955 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/4958/stat : 4958 (xcsp3-exec) S 4955 4958 2982 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418297784 115843072 363 33554432000 4194304 5098028 140734009384720 140734009382824 139869745169020 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7811072 140734009385846 140734009386089 140734009386089 140734009389002 0 /proc/4958/statm: 28282 363 305 221 0 87 0 [pid=4960] ppid=4958 vsize=28768328 memory=689368 CPUtime=96.9 cores=0-7 /proc/4960/stat : 4960 (java) S 4958 4958 2982 0 -1 1077944320 44602 0 0 0 9627 63 0 0 20 0 28 0 418297784 29458767872 172342 33554432000 4194304 4196468 140725536646848 140725536629392 140110684753655 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 /proc/4960/statm: 7192082 172342 3532 1 0 7153184 0 [pid=4960/tid=4961] ppid=4958 vsize=28768328 memory=-7379263974327284928 CPUtime=0.97 cores=0-7 /proc/4960/task/4961/stat : 4961 (java) S 4958 4958 2982 0 -1 1077944384 9403 0 0 0 91 6 0 0 20 0 28 0 418297785 29458767872 172342 33554432000 4194304 4196468 140725536646848 140110688994432 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4962] ppid=4958 vsize=28768328 memory=8112282956445269571 CPUtime=0.1 cores=0-7 /proc/4960/task/4962/stat : 4962 (java) S 4958 4958 2982 0 -1 1077944384 260 0 0 0 6 4 0 0 20 0 28 0 418297785 29458767872 172342 33554432000 4194304 4196468 140725536646848 140110637374608 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4963] ppid=4958 vsize=28768328 memory=1980 CPUtime=0.11 cores=0-7 /proc/4960/task/4963/stat : 4963 (java) S 4958 4958 2982 0 -1 1077944384 271 0 0 0 7 4 0 0 20 0 28 0 418297785 29458767872 172342 33554432000 4194304 4196468 140725536646848 140110636321808 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4964] ppid=4958 vsize=28768328 memory=2452 CPUtime=0.08 cores=0-7 /proc/4960/task/4964/stat : 4964 (java) S 4958 4958 2982 0 -1 1077944384 226 0 0 0 5 3 0 0 20 0 28 0 418297785 29458767872 172342 33554432000 4194304 4196468 140725536646848 140110635269008 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4965] ppid=4958 vsize=28768328 memory=1764 CPUtime=0.08 cores=0-7 /proc/4960/task/4965/stat : 4965 (java) S 4958 4958 2982 0 -1 1077944384 385 0 0 0 5 3 0 0 20 0 28 0 418297785 29458767872 172342 33554432000 4194304 4196468 140725536646848 140110634216208 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4966] ppid=4958 vsize=28768328 memory=0 CPUtime=0.08 cores=0-7 /proc/4960/task/4966/stat : 4966 (java) S 4958 4958 2982 0 -1 1077944384 1021 0 0 0 5 3 0 0 20 0 28 0 418297785 29458767872 172342 33554432000 4194304 4196468 140725536646848 140110633163408 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4967] ppid=4958 vsize=28768328 memory=0 CPUtime=0.11 cores=0-7 /proc/4960/task/4967/stat : 4967 (java) S 4958 4958 2982 0 -1 1077944384 552 0 0 0 7 4 0 0 20 0 28 0 418297785 29458767872 172342 33554432000 4194304 4196468 140725536646848 140110632110608 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4968] ppid=4958 vsize=28768328 memory=0 CPUtime=0.1 cores=0-7 /proc/4960/task/4968/stat : 4968 (java) S 4958 4958 2982 0 -1 1077944384 1572 0 0 0 7 3 0 0 20 0 28 0 418297785 29458767872 172342 33554432000 4194304 4196468 140725536646848 140110631057808 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4969] ppid=4958 vsize=28768328 memory=0 CPUtime=0.09 cores=0-7 /proc/4960/task/4969/stat : 4969 (java) S 4958 4958 2982 0 -1 1077944384 157 0 0 0 6 3 0 0 20 0 28 0 418297786 29458767872 172342 33554432000 4194304 4196468 140725536646848 140110630005008 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4970] ppid=4958 vsize=28768328 memory=1 CPUtime=0.01 cores=0-7 /proc/4960/task/4970/stat : 4970 (java) S 4958 4958 2982 0 -1 1077944384 765 0 0 0 1 0 0 0 20 0 28 0 418297787 29458767872 172342 33554432000 4194304 4196468 140725536646848 140109013838704 140110684764802 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4971] ppid=4958 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/4960/task/4971/stat : 4971 (java) S 4958 4958 2982 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 418297787 29458767872 172342 33554432000 4194304 4196468 140725536646848 140109012784736 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4972] ppid=4958 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/4960/task/4972/stat : 4972 (java) S 4958 4958 2982 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 418297788 29458767872 172342 33554432000 4194304 4196468 140725536646848 140109011731824 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4973] ppid=4958 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/4960/task/4973/stat : 4973 (java) S 4958 4958 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418297790 29458767872 172342 33554432000 4194304 4196468 140725536646848 140109010680144 140110684772251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4974] ppid=4958 vsize=28768328 memory=280017775615440 CPUtime=2.86 cores=0-7 /proc/4960/task/4974/stat : 4974 (java) S 4958 4958 2982 0 -1 1077944384 6399 0 0 0 283 3 0 0 20 0 28 0 418297790 29458767872 172342 33554432000 4194304 4196468 140725536646848 140109009627504 140110684764802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 48 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4975] ppid=4958 vsize=28768328 memory=28829630602021044 CPUtime=3.19 cores=0-7 /proc/4960/task/4975/stat : 4975 (java) R 4958 4958 2982 0 -1 4202560 6855 0 0 0 316 3 0 0 20 0 28 0 418297790 29458767872 172342 33554432000 4194304 4196468 140725536646848 140109008574704 140110666271545 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4976] ppid=4958 vsize=28768328 memory=288286666949677133 CPUtime=3.19 cores=0-7 /proc/4960/task/4976/stat : 4976 (java) S 4958 4958 2982 0 -1 1077944384 6189 0 0 0 318 1 0 0 20 0 28 0 418297790 29458767872 172342 33554432000 4194304 4196468 140725536646848 140109007521904 140110684764802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4977] ppid=4958 vsize=28768328 memory=7954878002094363493 CPUtime=0.96 cores=0-7 /proc/4960/task/4977/stat : 4977 (java) S 4958 4958 2982 0 -1 1077944384 4212 0 0 0 94 2 0 0 20 0 28 0 418297790 29458767872 172342 33554432000 4194304 4196468 140725536646848 140109006469104 140110684764802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 47 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4978] ppid=4958 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/4960/task/4978/stat : 4978 (java) S 4958 4958 2982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418297790 29458767872 172342 33554432000 4194304 4196468 140725536646848 140109005417568 140110684763861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 [pid=4960/tid=4979] ppid=4958 vsize=28768328 memory=6154848828556269427 CPUtime=0 cores=0-7 /proc/4960/task/4979/stat : 4979 (java) S 4958 4958 2982 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 28 0 418297791 29458767872 172342 33554432000 4194304 4196468 140725536646848 140109004364848 140110684764802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 47 0 0 6293624 6294260 26767360 140725536650218 140725536650390 140725536650390 140725536653263 0 Current children cumulated CPU time: 96.9 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 690820 KiB Child status: 0 Real time (s): 13.3683 CPU time (s): 96.9954 CPU user time (s): 96.3443 CPU system time (s): 0.651098 CPU usage (%): 725.564 Max. virtual memory (cumulated for all children) (KiB): 28881456 Max. memory (cumulated for all children) (KiB): 691324 getrusage(RUSAGE_CHILDREN,...) data: user time used= 96.3443 system time used= 0.651098 maximum resident set size= 689900 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 45384 page faults= 0 swaps= 0 block input operations= 0 block output operations= 136 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4909 involuntary context switches= 2395 # summary of solver processes directly reported to runsolver: # pid: 4958 # total CPU time (s): 96.9954 # total CPU user time (s): 96.3443 # total CPU system time (s): 0.651098 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.134075 second user time and 0.210986 second system time The end
Begin job on node132 at 2019-09-14 03:15:01 IDJOB=4393976 IDBENCH=124153 IDSOLVER=2841 FILE ID=node132/4393976-1568423751 RUNJOBID= node132-1568417633-3009 PBS_JOBID= 21702279 Free space on /tmp= 61624 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t09-7.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4393976-1568423751/watcher-4393976-1568423751 -o /tmp/evaluation-result-4393976-1568423751/solver-4393976-1568423751 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node132-1568417633-3009 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 729988226 HOME/instance-4393976-1568423751.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 2318da7117aad88e4beeaec86ff9c63e RANDOM SEED=729988226 node132.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.95 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.95 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.95 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.95 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: 31644872 kB MemAvailable: 31917320 kB Buffers: 62408 kB Cached: 489400 kB SwapCached: 6292 kB Active: 388364 kB Inactive: 170912 kB Active(anon): 4196 kB Inactive(anon): 31316 kB Active(file): 384168 kB Inactive(file): 139596 kB Unevictable: 109584 kB Mlocked: 109584 kB SwapTotal: 67108860 kB SwapFree: 67009580 kB Dirty: 26172 kB Writeback: 0 kB AnonPages: 113016 kB Mapped: 31780 kB Shmem: 19428 kB Slab: 158092 kB SReclaimable: 129040 kB SUnreclaim: 29052 kB KernelStack: 3504 kB PageTables: 5344 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 476196 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 136576 kB DirectMap2M: 33409024 kB Free space on /tmp at the end= 61596 MiB End job on node132 at 2019-09-14 03:15:15