Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
R1: OscaR - Hybrid 2017-06-30 | OPT | 171 | 9.56262 | 4.35165 |
Name | Cutstock/Cutstock-zinc-s1/ Cutstock-t15-7.xml |
MD5SUM | 2ebe21d5d08c670f23069b27b9adbcc2 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 171 |
Best CPU time to get the best result obtained on this benchmark | 8.3614998 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 4158 |
Number of constraints | 220 |
Number of domains | 11 |
Minimum domain size | 2 |
Maximum domain size | 20 |
Distribution of domain sizes | [{"size":2,"count":792},{"size":3,"count":594},{"size":5,"count":198},{"size":8,"count":198},{"size":11,"count":198},{"size":12,"count":396},{"size":14,"count":396},{"size":17,"count":396},{"size":18,"count":198},{"size":19,"count":594},{"size":20,"count":198}] |
Minimum variable degree | 3 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":3,"count":4158}] |
Minimum constraint arity | 21 |
Maximum constraint arity | 3960 |
Distribution of constraint arities | [{"arity":21,"count":198},{"arity":198,"count":21},{"arity":3960,"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":218}] |
Optimization problem | YES |
Type of objective | min SUM |
0.42/0.30 c version: 2017-06-30 0.42/0.30 c seed: 326595241 0.42/0.30 c timeout: 2400 0.42/0.30 c memlimit: 15500 0.42/0.30 c nbcore: 8 0.42/0.32 c Parsing instance... 2.19/1.05 c Parsing done, starting first complete search... 8.61/3.65 o 198 8.61/3.69 o 197 8.81/3.72 o 196 8.81/3.72 o 195 8.81/3.74 o 194 8.81/3.77 o 193 8.99/3.80 o 192 8.99/3.83 o 191 8.99/3.85 o 190 8.99/3.86 o 189 8.99/3.88 o 188 9.09/3.91 o 187 9.09/3.94 o 186 9.09/3.96 o 185 9.09/3.98 o 184 9.09/3.99 o 183 9.09/3.99 o 182 9.19/4.02 o 181 9.19/4.05 o 180 9.19/4.07 o 179 9.29/4.10 o 178 9.29/4.11 o 177 9.29/4.14 o 176 9.29/4.14 o 175 9.29/4.15 o 174 9.29/4.15 o 173 9.29/4.15 o 172 9.29/4.16 o 171 9.50/4.32 s OPTIMUM FOUND 9.50/4.33 v <instantiation> 9.50/4.33 v <list> 9.50/4.33 v 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] p[194] p[195] p[196] p[197] 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] r[194][0] r[194][1] r[194][2] r[194][3] r[194][4] r[194][5] r[194][6] r[194][7] r[194][8] r[194][9] r[194][10] r[194][11] r[194][12] r[194][13] r[194][14] r[194][15] r[194][16] r[194][17] r[194][18] r[194][19] r[195][0] r[195][1] r[195][2] r[195][3] r[195][4] r[195][5] r[195][6] r[195][7] r[195][8] r[195][9] r[195][10] r[195][11] r[195][12] r[195][13] r[195][14] r[195][15] r[195][16] r[195][17] r[195][18] r[195][19] r[196][0] r[196][1] r[196][2] r[196][3] r[196][4] r[196][5] r[196][6] r[196][7] r[196][8] r[196][9] r[196][10] r[196][11] r[196][12] r[196][13] r[196][14] r[196][15] r[196][16] r[196][17] r[196][18] r[196][19] r[197][0] r[197][1] r[197][2] r[197][3] r[197][4] r[197][5] r[197][6] r[197][7] r[197][8] r[197][9] r[197][10] r[197][11] r[197][12] r[197][13] r[197][14] r[197][15] r[197][16] r[197][17] r[197][18] r[197][19] 9.50/4.33 v </list> 9.50/4.33 v <values> 9.50/4.33 v 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 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 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 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 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 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 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 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 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 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 1 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 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 0 1 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 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 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9.50/4.33 v </values> 9.50/4.33 v </instantiation>
OK 171
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4246128-1500700461/watcher-4246128-1500700461 -o /tmp/evaluation-result-4246128-1500700461/solver-4246128-1500700461 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1500684084-16345 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 326595241 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4246128-1500700461.xml pid=18469 running on 8 cores: 0,2,4,6,8,10,12,14 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.18 1.29 1.37 3/262 18472 /proc/meminfo: memFree=31170448/32770624 swapFree=6568/134004 [pid=18472] ppid=18469 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18472/stat : 18472 (java) S 18469 18472 14955 0 -1 1077944320 1718 0 0 0 0 0 0 0 20 0 2 0 5311055 369864704 1925 33554432000 4194304 4196468 140725395749360 140725395731904 140712139542263 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 /proc/18472/statm: 90299 1925 1072 1 0 79210 0 [pid=18472/tid=18473] ppid=18469 vsize=10621200 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18473/stat : 18473 (java) R 18469 18472 14955 0 -1 4202560 466 0 0 0 0 0 0 0 20 0 2 0 5311055 10876108800 2037 33554432000 4194304 4196468 140725395749360 140712143784352 140712131831645 0 4 0 16784584 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [startup+0.100119 s] /proc/loadavg: 1.18 1.29 1.37 3/262 18472 /proc/meminfo: memFree=31170448/32770624 swapFree=6568/134004 [pid=18472] ppid=18469 vsize=13261040 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/18472/stat : 18472 (java) S 18469 18472 14955 0 -1 1077944320 5810 0 0 0 8 1 0 0 20 0 20 0 5311055 13579304960 5565 33554432000 4194304 4196468 140725395749360 140725395731904 140712139542263 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 /proc/18472/statm: 3315260 5565 2621 1 0 3303698 0 [pid=18472/tid=18473] ppid=18469 vsize=13261040 CPUtime=0.08 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18473/stat : 18473 (java) R 18469 18472 14955 0 -1 4202560 3871 0 0 0 7 1 0 0 20 0 20 0 5311055 13579304960 5565 33554432000 4194304 4196468 140725395749360 140712143780272 140712139564189 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13261040 [startup+0.200318 s] /proc/loadavg: 1.18 1.29 1.37 3/262 18472 /proc/meminfo: memFree=31170448/32770624 swapFree=6568/134004 [pid=18472] ppid=18469 vsize=13263912 CPUtime=0.26 cores=0,2,4,6,8,10,12,14 /proc/18472/stat : 18472 (java) S 18469 18472 14955 0 -1 1077944320 8909 0 0 0 24 2 0 0 20 0 20 0 5311055 13582245888 8869 33554432000 4194304 4196468 140725395749360 140725395731904 140712139542263 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 /proc/18472/statm: 3315978 8869 3537 1 0 3303698 0 [pid=18472/tid=18473] ppid=18469 vsize=13263912 CPUtime=0.17 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18473/stat : 18473 (java) R 18469 18472 14955 0 -1 4202560 6614 0 0 0 16 1 0 0 20 0 20 0 5311055 13582245888 8869 33554432000 4194304 4196468 140725395749360 140712143770640 140712123622750 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 13263912 [startup+0.300303 s] /proc/loadavg: 1.18 1.29 1.37 3/262 18472 /proc/meminfo: memFree=31170448/32770624 swapFree=6568/134004 [pid=18472] ppid=18469 vsize=13263912 CPUtime=0.42 cores=0,2,4,6,8,10,12,14 /proc/18472/stat : 18472 (java) S 18469 18472 14955 0 -1 1077944320 9947 0 0 0 39 3 0 0 20 0 20 0 5311055 13582245888 11162 33554432000 4194304 4196468 140725395749360 140725395731904 140712139542263 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 /proc/18472/statm: 3315978 11162 3656 1 0 3303698 0 [pid=18472/tid=18473] ppid=18469 vsize=13263912 CPUtime=0.27 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18473/stat : 18473 (java) R 18469 18472 14955 0 -1 4202560 7342 0 0 0 25 2 0 0 20 0 20 0 5311055 13582245888 11162 33554432000 4194304 4196468 140725395749360 140712143764416 140712139554198 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 Current children cumulated CPU time (s) 0.42 Current children cumulated vsize (KiB) 13263912 [startup+0.700301 s] /proc/loadavg: 1.18 1.29 1.37 3/262 18472 /proc/meminfo: memFree=31170448/32770624 swapFree=6568/134004 [pid=18472] ppid=18469 vsize=13265980 CPUtime=1.31 cores=0,2,4,6,8,10,12,14 /proc/18472/stat : 18472 (java) S 18469 18472 14955 0 -1 1077944320 12383 0 0 0 126 5 0 0 20 0 20 0 5311055 13584363520 18242 33554432000 4194304 4196468 140725395749360 140725395731904 140712139542263 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 /proc/18472/statm: 3316495 18242 3762 1 0 3304210 0 [pid=18472/tid=18473] ppid=18469 vsize=13265980 CPUtime=0.67 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18473/stat : 18473 (java) R 18469 18472 14955 0 -1 4202560 8600 0 0 0 64 3 0 0 20 0 20 0 5311055 13584363520 18242 33554432000 4194304 4196468 140725395749360 140712143762576 140712123622750 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 Current children cumulated CPU time (s) 1.31 Current children cumulated vsize (KiB) 13265980 [startup+1.50111 s] /proc/loadavg: 1.25 1.30 1.38 5/282 18492 /proc/meminfo: memFree=31061884/32770624 swapFree=6568/134072 [pid=18472] ppid=18469 vsize=13268028 CPUtime=4.17 cores=0,2,4,6,8,10,12,14 /proc/18472/stat : 18472 (java) S 18469 18472 14955 0 -1 1077944320 32984 0 0 0 402 15 0 0 20 0 20 0 5311055 13586460672 60819 33554432000 4194304 4196468 140725395749360 140725395731904 140712139542263 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 /proc/18472/statm: 3317007 60819 3813 1 0 3304722 0 [pid=18472/tid=18473] ppid=18469 vsize=13268028 CPUtime=1.45 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18473/stat : 18473 (java) R 18469 18472 14955 0 -1 4202560 10904 0 0 0 139 6 0 0 20 0 20 0 5311055 13586460672 60819 33554432000 4194304 4196468 140725395749360 140712143780632 140711741817936 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18475] ppid=18469 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18475/stat : 18475 (java) S 18469 18472 14955 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 20 0 5311056 13586460672 60819 33554432000 4194304 4196468 140725395749360 140712058023056 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18476] ppid=18469 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18476/stat : 18476 (java) S 18469 18472 14955 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 20 0 5311056 13586460672 60819 33554432000 4194304 4196468 140725395749360 140712056970256 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18477] ppid=18469 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18477/stat : 18477 (java) S 18469 18472 14955 0 -1 1077944384 269 0 0 0 0 0 0 0 20 0 20 0 5311056 13586460672 60819 33554432000 4194304 4196468 140725395749360 140712055917456 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18478] ppid=18469 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18478/stat : 18478 (java) S 18469 18472 14955 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 5311056 13586460672 60819 33554432000 4194304 4196468 140725395749360 140711735323408 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18479] ppid=18469 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18479/stat : 18479 (java) S 18469 18472 14955 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 5311056 13586460672 60819 33554432000 4194304 4196468 140725395749360 140711734270608 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18480] ppid=18469 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18480/stat : 18480 (java) S 18469 18472 14955 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 5311056 13586460672 60819 33554432000 4194304 4196468 140725395749360 140711733217808 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18481] ppid=18469 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18481/stat : 18481 (java) S 18469 18472 14955 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 5311056 13586460672 60819 33554432000 4194304 4196468 140725395749360 140711732165008 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18482] ppid=18469 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18482/stat : 18482 (java) S 18469 18472 14955 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 5311056 13586460672 60819 33554432000 4194304 4196468 140725395749360 140711731112208 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18483] ppid=18469 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18483/stat : 18483 (java) S 18469 18472 14955 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 20 0 5311058 13586460672 60819 33554432000 4194304 4196468 140725395749360 140710872202096 140712139553410 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18484] ppid=18469 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18484/stat : 18484 (java) S 18469 18472 14955 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 5311059 13586460672 60819 33554432000 4194304 4196468 140725395749360 140710871148128 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18485] ppid=18469 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18485/stat : 18485 (java) R 18469 18472 14955 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 20 0 5311059 13586460672 60819 33554432000 4194304 4196468 140725395749360 140710870095216 140711735464004 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18486] ppid=18469 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18486/stat : 18486 (java) S 18469 18472 14955 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5311063 13586460672 60819 33554432000 4194304 4196468 140725395749360 140710869043536 140712139560859 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18487] ppid=18469 vsize=13268028 CPUtime=0.65 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18487/stat : 18487 (java) R 18469 18472 14955 0 -1 4202560 5080 0 0 0 64 1 0 0 20 0 20 0 5311063 13586460672 60819 33554432000 4194304 4196468 140725395749360 140710867973664 140712125572362 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18488] ppid=18469 vsize=13268028 CPUtime=0.69 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18488/stat : 18488 (java) R 18469 18472 14955 0 -1 4202560 4682 0 0 0 69 0 0 0 20 0 20 0 5311063 13586460672 60819 33554432000 4194304 4196468 140725395749360 140710866919200 140712123448429 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18489] ppid=18469 vsize=13268028 CPUtime=0.69 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18489/stat : 18489 (java) R 18469 18472 14955 0 -1 4202560 4848 0 0 0 68 1 0 0 20 0 20 0 5311063 13586460672 60819 33554432000 4194304 4196468 140725395749360 140710865878320 140712123526355 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18490] ppid=18469 vsize=13268028 CPUtime=0.57 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18490/stat : 18490 (java) R 18469 18472 14955 0 -1 1077944384 5426 0 0 0 56 1 0 0 20 0 20 0 5311063 13586460672 60819 33554432000 4194304 4196468 140725395749360 140710864832624 140712139552469 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18491] ppid=18469 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18491/stat : 18491 (java) S 18469 18472 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5311063 13586460672 60819 33554432000 4194304 4196468 140725395749360 140710863780960 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18492] ppid=18469 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18492/stat : 18492 (java) S 18469 18472 14955 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 5311063 13586460672 60819 33554432000 4194304 4196468 140725395749360 140710862728240 140712139553410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 Current children cumulated CPU time (s) 4.17 Current children cumulated vsize (KiB) 13268028 [startup+3.10075 s] /proc/loadavg: 1.25 1.30 1.38 3/282 18492 /proc/meminfo: memFree=30928972/32770624 swapFree=6568/134072 [pid=18472] ppid=18469 vsize=13268028 CPUtime=7.93 cores=0,2,4,6,8,10,12,14 /proc/18472/stat : 18472 (java) S 18469 18472 14955 0 -1 1077944320 36486 0 0 0 774 19 0 0 20 0 20 0 5311055 13586460672 77470 33554432000 4194304 4196468 140725395749360 140725395731904 140712139542263 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 /proc/18472/statm: 3317007 77470 3820 1 0 3304722 0 [pid=18472/tid=18473] ppid=18469 vsize=13268028 CPUtime=3.04 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18473/stat : 18473 (java) R 18469 18472 14955 0 -1 4202560 11471 0 0 0 297 7 0 0 20 0 20 0 5311055 13586460672 77470 33554432000 4194304 4196468 140725395749360 140712143778392 140711743192851 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18475] ppid=18469 vsize=13268028 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18475/stat : 18475 (java) S 18469 18472 14955 0 -1 1077944384 65 0 0 0 1 0 0 0 20 0 20 0 5311056 13586460672 77470 33554432000 4194304 4196468 140725395749360 140712058023056 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18476] ppid=18469 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18476/stat : 18476 (java) S 18469 18472 14955 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 20 0 5311056 13586460672 77470 33554432000 4194304 4196468 140725395749360 140712056970256 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18477] ppid=18469 vsize=13268028 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18477/stat : 18477 (java) S 18469 18472 14955 0 -1 1077944384 297 0 0 0 1 1 0 0 20 0 20 0 5311056 13586460672 77470 33554432000 4194304 4196468 140725395749360 140712055917456 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18478] ppid=18469 vsize=13268028 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18478/stat : 18478 (java) S 18469 18472 14955 0 -1 1077944384 688 0 0 0 1 0 0 0 20 0 20 0 5311056 13586460672 77470 33554432000 4194304 4196468 140725395749360 140711735323408 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18479] ppid=18469 vsize=13268028 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18479/stat : 18479 (java) S 18469 18472 14955 0 -1 1077944384 19 0 0 0 1 1 0 0 20 0 20 0 5311056 13586460672 77470 33554432000 4194304 4196468 140725395749360 140711734270608 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18480] ppid=18469 vsize=13268028 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18480/stat : 18480 (java) S 18469 18472 14955 0 -1 1077944384 103 0 0 0 0 1 0 0 20 0 20 0 5311056 13586460672 77470 33554432000 4194304 4196468 140725395749360 140711733217808 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18481] ppid=18469 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18481/stat : 18481 (java) S 18469 18472 14955 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 20 0 5311056 13586460672 77470 33554432000 4194304 4196468 140725395749360 140711732165008 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18482] ppid=18469 vsize=13268028 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18482/stat : 18482 (java) S 18469 18472 14955 0 -1 1077944384 61 0 0 0 0 1 0 0 20 0 20 0 5311056 13586460672 77470 33554432000 4194304 4196468 140725395749360 140711731112208 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18483] ppid=18469 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18483/stat : 18483 (java) S 18469 18472 14955 0 -1 1077944384 331 0 0 0 0 0 0 0 20 0 20 0 5311058 13586460672 77470 33554432000 4194304 4196468 140725395749360 140710872202096 140712139553410 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18484] ppid=18469 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18484/stat : 18484 (java) S 18469 18472 14955 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 5311059 13586460672 77470 33554432000 4194304 4196468 140725395749360 140710871148128 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18485] ppid=18469 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18485/stat : 18485 (java) S 18469 18472 14955 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 5311059 13586460672 77470 33554432000 4194304 4196468 140725395749360 140710870095232 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18486] ppid=18469 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18486/stat : 18486 (java) S 18469 18472 14955 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5311063 13586460672 77470 33554432000 4194304 4196468 140725395749360 140710869043536 140712139560859 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18487] ppid=18469 vsize=13268028 CPUtime=1.31 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18487/stat : 18487 (java) S 18469 18472 14955 0 -1 1077944384 5425 0 0 0 130 1 0 0 20 0 20 0 5311063 13586460672 77470 33554432000 4194304 4196468 140725395749360 140710867990896 140712139553410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18488] ppid=18469 vsize=13268028 CPUtime=1.37 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18488/stat : 18488 (java) S 18469 18472 14955 0 -1 1077944384 5347 0 0 0 137 0 0 0 20 0 20 0 5311063 13586460672 77470 33554432000 4194304 4196468 140725395749360 140710866938096 140712139553410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18489] ppid=18469 vsize=13268028 CPUtime=1.38 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18489/stat : 18489 (java) S 18469 18472 14955 0 -1 1077944384 5297 0 0 0 137 1 0 0 20 0 20 0 5311063 13586460672 77470 33554432000 4194304 4196468 140725395749360 140710865885296 140712139553410 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18490] ppid=18469 vsize=13268028 CPUtime=0.62 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18490/stat : 18490 (java) S 18469 18472 14955 0 -1 1077944384 5857 0 0 0 61 1 0 0 20 0 20 0 5311063 13586460672 77470 33554432000 4194304 4196468 140725395749360 140710864832496 140712139553410 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18491] ppid=18469 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18491/stat : 18491 (java) S 18469 18472 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5311063 13586460672 77470 33554432000 4194304 4196468 140725395749360 140710863780960 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18492] ppid=18469 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18492/stat : 18492 (java) S 18469 18472 14955 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 5311063 13586460672 77470 33554432000 4194304 4196468 140725395749360 140710862728240 140712139553410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 Current children cumulated CPU time (s) 7.93 Current children cumulated vsize (KiB) 13268028 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 18472 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+3.20095 s] /proc/loadavg: 1.25 1.30 1.38 3/282 18492 /proc/meminfo: memFree=30928972/32770624 swapFree=6568/134072 [pid=18472] ppid=18469 vsize=13268028 CPUtime=8.02 cores=0,2,4,6,8,10,12,14 /proc/18472/stat : 18472 (java) S 18469 18472 14955 0 -1 1077944320 36505 0 0 0 783 19 0 0 20 0 20 0 5311055 13586460672 82078 33554432000 4194304 4196468 140725395749360 140725395731904 140712139542263 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 /proc/18472/statm: 3317007 82078 3820 1 0 3304722 0 [pid=18472/tid=18473] ppid=18469 vsize=13268028 CPUtime=3.14 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18473/stat : 18473 (java) R 18469 18472 14955 0 -1 4202560 11490 0 0 0 307 7 0 0 20 0 20 0 5311055 13586460672 82078 33554432000 4194304 4196468 140725395749360 140712143777440 140711743390059 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18475] ppid=18469 vsize=13268028 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18475/stat : 18475 (java) S 18469 18472 14955 0 -1 1077944384 65 0 0 0 1 0 0 0 20 0 20 0 5311056 13586460672 82078 33554432000 4194304 4196468 140725395749360 140712058023056 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18476] ppid=18469 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18476/stat : 18476 (java) S 18469 18472 14955 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 20 0 5311056 13586460672 82078 33554432000 4194304 4196468 140725395749360 140712056970256 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18477] ppid=18469 vsize=13268028 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18477/stat : 18477 (java) S 18469 18472 14955 0 -1 1077944384 297 0 0 0 1 1 0 0 20 0 20 0 5311056 13586460672 82078 33554432000 4194304 4196468 140725395749360 140712055917456 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18478] ppid=18469 vsize=13268028 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18478/stat : 18478 (java) S 18469 18472 14955 0 -1 1077944384 688 0 0 0 1 0 0 0 20 0 20 0 5311056 13586460672 82078 33554432000 4194304 4196468 140725395749360 140711735323408 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18479] ppid=18469 vsize=13268028 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18479/stat : 18479 (java) S 18469 18472 14955 0 -1 1077944384 19 0 0 0 1 1 0 0 20 0 20 0 5311056 13586460672 82078 33554432000 4194304 4196468 140725395749360 140711734270608 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18480] ppid=18469 vsize=13268028 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18480/stat : 18480 (java) S 18469 18472 14955 0 -1 1077944384 103 0 0 0 0 1 0 0 20 0 20 0 5311056 13586460672 82078 33554432000 4194304 4196468 140725395749360 140711733217808 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18481] ppid=18469 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18481/stat : 18481 (java) S 18469 18472 14955 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 20 0 5311056 13586460672 82078 33554432000 4194304 4196468 140725395749360 140711732165008 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18482] ppid=18469 vsize=13268028 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18482/stat : 18482 (java) S 18469 18472 14955 0 -1 1077944384 61 0 0 0 0 1 0 0 20 0 20 0 5311056 13586460672 82078 33554432000 4194304 4196468 140725395749360 140711731112208 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18483] ppid=18469 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18483/stat : 18483 (java) S 18469 18472 14955 0 -1 1077944384 331 0 0 0 0 0 0 0 20 0 20 0 5311058 13586460672 82078 33554432000 4194304 4196468 140725395749360 140710872202096 140712139553410 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18484] ppid=18469 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18484/stat : 18484 (java) S 18469 18472 14955 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 5311059 13586460672 82078 33554432000 4194304 4196468 140725395749360 140710871148128 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18485] ppid=18469 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18485/stat : 18485 (java) S 18469 18472 14955 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 5311059 13586460672 82078 33554432000 4194304 4196468 140725395749360 140710870095232 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18486] ppid=18469 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18486/stat : 18486 (java) S 18469 18472 14955 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5311063 13586460672 82078 33554432000 4194304 4196468 140725395749360 140710869043536 140712139560859 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18487] ppid=18469 vsize=13268028 CPUtime=1.31 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18487/stat : 18487 (java) S 18469 18472 14955 0 -1 1077944384 5425 0 0 0 130 1 0 0 20 0 20 0 5311063 13586460672 82078 33554432000 4194304 4196468 140725395749360 140710867990896 140712139553410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18488] ppid=18469 vsize=13268028 CPUtime=1.37 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18488/stat : 18488 (java) S 18469 18472 14955 0 -1 1077944384 5347 0 0 0 137 0 0 0 20 0 20 0 5311063 13586460672 82078 33554432000 4194304 4196468 140725395749360 140710866938096 140712139553410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18489] ppid=18469 vsize=13268028 CPUtime=1.38 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18489/stat : 18489 (java) S 18469 18472 14955 0 -1 1077944384 5297 0 0 0 137 1 0 0 20 0 20 0 5311063 13586460672 82078 33554432000 4194304 4196468 140725395749360 140710865885296 140712139553410 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18490] ppid=18469 vsize=13268028 CPUtime=0.62 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18490/stat : 18490 (java) S 18469 18472 14955 0 -1 1077944384 5857 0 0 0 61 1 0 0 20 0 20 0 5311063 13586460672 82078 33554432000 4194304 4196468 140725395749360 140710864832496 140712139553410 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18491] ppid=18469 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18491/stat : 18491 (java) S 18469 18472 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5311063 13586460672 82078 33554432000 4194304 4196468 140725395749360 140710863780960 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18492] ppid=18469 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18492/stat : 18492 (java) S 18469 18472 14955 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 5311063 13586460672 82078 33554432000 4194304 4196468 140725395749360 140710862728240 140712139553410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 Current children cumulated CPU time (s) 8.02 Current children cumulated vsize (KiB) 13268028 [startup+4.00075 s] /proc/loadavg: 1.25 1.30 1.38 3/282 18492 /proc/meminfo: memFree=30841256/32770624 swapFree=6568/134072 [pid=18472] ppid=18469 vsize=13270076 CPUtime=9.19 cores=0,2,4,6,8,10,12,14 /proc/18472/stat : 18472 (java) S 18469 18472 14955 0 -1 1077944320 37284 0 0 0 894 25 0 0 20 0 20 0 5311055 13588557824 95530 33554432000 4194304 4196468 140725395749360 140725395731904 140712139542263 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 /proc/18472/statm: 3317519 95530 3821 1 0 3305234 0 [pid=18472/tid=18473] ppid=18469 vsize=13270076 CPUtime=3.93 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18473/stat : 18473 (java) R 18469 18472 14955 0 -1 4202560 11944 0 0 0 384 9 0 0 20 0 20 0 5311055 13588557824 95530 33554432000 4194304 4196468 140725395749360 140712143771920 140711742600644 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18475] ppid=18469 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18475/stat : 18475 (java) S 18469 18472 14955 0 -1 1077944384 65 0 0 0 1 0 0 0 20 0 20 0 5311056 13588557824 95530 33554432000 4194304 4196468 140725395749360 140712058023056 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18476] ppid=18469 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18476/stat : 18476 (java) S 18469 18472 14955 0 -1 1077944384 56 0 0 0 0 1 0 0 20 0 20 0 5311056 13588557824 95530 33554432000 4194304 4196468 140725395749360 140712056970256 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18477] ppid=18469 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18477/stat : 18477 (java) S 18469 18472 14955 0 -1 1077944384 301 0 0 0 1 1 0 0 20 0 20 0 5311056 13588557824 95530 33554432000 4194304 4196468 140725395749360 140712055917456 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18478] ppid=18469 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18478/stat : 18478 (java) S 18469 18472 14955 0 -1 1077944384 693 0 0 0 1 1 0 0 20 0 20 0 5311056 13588557824 95530 33554432000 4194304 4196468 140725395749360 140711735323408 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18479] ppid=18469 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18479/stat : 18479 (java) S 18469 18472 14955 0 -1 1077944384 24 0 0 0 1 1 0 0 20 0 20 0 5311056 13588557824 95530 33554432000 4194304 4196468 140725395749360 140711734270608 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18480] ppid=18469 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18480/stat : 18480 (java) S 18469 18472 14955 0 -1 1077944384 120 0 0 0 1 1 0 0 20 0 20 0 5311056 13588557824 95530 33554432000 4194304 4196468 140725395749360 140711733217808 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18481] ppid=18469 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18481/stat : 18481 (java) S 18469 18472 14955 0 -1 1077944384 35 0 0 0 1 1 0 0 20 0 20 0 5311056 13588557824 95530 33554432000 4194304 4196468 140725395749360 140711732165008 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18482] ppid=18469 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18482/stat : 18482 (java) S 18469 18472 14955 0 -1 1077944384 66 0 0 0 1 1 0 0 20 0 20 0 5311056 13588557824 95530 33554432000 4194304 4196468 140725395749360 140711731112208 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18483] ppid=18469 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18483/stat : 18483 (java) S 18469 18472 14955 0 -1 1077944384 458 0 0 0 1 0 0 0 20 0 20 0 5311058 13588557824 95530 33554432000 4194304 4196468 140725395749360 140710872202096 140712139553410 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18484] ppid=18469 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18484/stat : 18484 (java) S 18469 18472 14955 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 5311059 13588557824 95530 33554432000 4194304 4196468 140725395749360 140710871148128 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18485] ppid=18469 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18485/stat : 18485 (java) S 18469 18472 14955 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 5311059 13588557824 95530 33554432000 4194304 4196468 140725395749360 140710870095232 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18486] ppid=18469 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18486/stat : 18486 (java) S 18469 18472 14955 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5311063 13588557824 95530 33554432000 4194304 4196468 140725395749360 140710869043536 140712139560859 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18487] ppid=18469 vsize=13270076 CPUtime=1.43 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18487/stat : 18487 (java) S 18469 18472 14955 0 -1 1077944384 5476 0 0 0 142 1 0 0 20 0 20 0 5311063 13588557824 95530 33554432000 4194304 4196468 140725395749360 140710867990896 140712139553410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18488] ppid=18469 vsize=13270076 CPUtime=1.49 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18488/stat : 18488 (java) D 18469 18472 14955 0 -1 4202560 5380 0 0 0 149 0 0 0 20 0 20 0 5311063 13588557824 95530 33554432000 4194304 4196468 140725395749360 140710866938392 140712119466399 0 4 0 16800975 18446744072100363397 0 0 -1 6 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18489] ppid=18469 vsize=13270076 CPUtime=1.44 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18489/stat : 18489 (java) S 18469 18472 14955 0 -1 1077944384 5318 0 0 0 143 1 0 0 20 0 20 0 5311063 13588557824 95530 33554432000 4194304 4196468 140725395749360 140710865885296 140712139553410 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18490] ppid=18469 vsize=13270076 CPUtime=0.63 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18490/stat : 18490 (java) D 18469 18472 14955 0 -1 4202560 5906 0 0 0 62 1 0 0 20 0 20 0 5311063 13588557824 95530 33554432000 4194304 4196468 140725395749360 140710864832416 140712119466399 0 4 0 16800975 18446744072100363397 0 0 -1 4 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18491] ppid=18469 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18491/stat : 18491 (java) S 18469 18472 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5311063 13588557824 95530 33554432000 4194304 4196468 140725395749360 140710863780960 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18492] ppid=18469 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18492/stat : 18492 (java) D 18469 18472 14955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 20 0 5311063 13588557824 95530 33554432000 4194304 4196468 140725395749360 140710862728160 140712124398350 0 4 0 16800975 18446744072100363397 0 0 -1 4 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 Current children cumulated CPU time (s) 9.19 Current children cumulated vsize (KiB) 13270076 [startup+4.20074 s] /proc/loadavg: 1.25 1.30 1.38 3/282 18492 /proc/meminfo: memFree=30841256/32770624 swapFree=6568/134072 [pid=18472] ppid=18469 vsize=13270076 CPUtime=9.39 cores=0,2,4,6,8,10,12,14 /proc/18472/stat : 18472 (java) S 18469 18472 14955 0 -1 1077944320 37284 0 0 0 913 26 0 0 20 0 20 0 5311055 13588557824 95530 33554432000 4194304 4196468 140725395749360 140725395731904 140712139542263 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 /proc/18472/statm: 3317519 95530 3821 1 0 3305234 0 [pid=18472/tid=18473] ppid=18469 vsize=13270076 CPUtime=4.13 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18473/stat : 18473 (java) R 18469 18472 14955 0 -1 4202560 11944 0 0 0 403 10 0 0 20 0 20 0 5311055 13588557824 95530 33554432000 4194304 4196468 140725395749360 140712143771920 140711743390095 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18475] ppid=18469 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18475/stat : 18475 (java) S 18469 18472 14955 0 -1 1077944384 65 0 0 0 1 0 0 0 20 0 20 0 5311056 13588557824 95530 33554432000 4194304 4196468 140725395749360 140712058023056 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18476] ppid=18469 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18476/stat : 18476 (java) S 18469 18472 14955 0 -1 1077944384 56 0 0 0 0 1 0 0 20 0 20 0 5311056 13588557824 95530 33554432000 4194304 4196468 140725395749360 140712056970256 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18477] ppid=18469 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18477/stat : 18477 (java) S 18469 18472 14955 0 -1 1077944384 301 0 0 0 1 1 0 0 20 0 20 0 5311056 13588557824 95530 33554432000 4194304 4196468 140725395749360 140712055917456 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18478] ppid=18469 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18478/stat : 18478 (java) S 18469 18472 14955 0 -1 1077944384 693 0 0 0 1 1 0 0 20 0 20 0 5311056 13588557824 95530 33554432000 4194304 4196468 140725395749360 140711735323408 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18479] ppid=18469 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18479/stat : 18479 (java) S 18469 18472 14955 0 -1 1077944384 24 0 0 0 1 1 0 0 20 0 20 0 5311056 13588557824 95530 33554432000 4194304 4196468 140725395749360 140711734270608 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18480] ppid=18469 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18480/stat : 18480 (java) S 18469 18472 14955 0 -1 1077944384 120 0 0 0 1 1 0 0 20 0 20 0 5311056 13588557824 95530 33554432000 4194304 4196468 140725395749360 140711733217808 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18481] ppid=18469 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18481/stat : 18481 (java) S 18469 18472 14955 0 -1 1077944384 35 0 0 0 1 1 0 0 20 0 20 0 5311056 13588557824 95530 33554432000 4194304 4196468 140725395749360 140711732165008 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18482] ppid=18469 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18482/stat : 18482 (java) S 18469 18472 14955 0 -1 1077944384 66 0 0 0 1 1 0 0 20 0 20 0 5311056 13588557824 95530 33554432000 4194304 4196468 140725395749360 140711731112208 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18483] ppid=18469 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18483/stat : 18483 (java) S 18469 18472 14955 0 -1 1077944384 458 0 0 0 1 0 0 0 20 0 20 0 5311058 13588557824 95530 33554432000 4194304 4196468 140725395749360 140710872202096 140712139553410 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18484] ppid=18469 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18484/stat : 18484 (java) S 18469 18472 14955 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 5311059 13588557824 95530 33554432000 4194304 4196468 140725395749360 140710871148128 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18485] ppid=18469 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18485/stat : 18485 (java) S 18469 18472 14955 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 5311059 13588557824 95530 33554432000 4194304 4196468 140725395749360 140710870095232 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18486] ppid=18469 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18486/stat : 18486 (java) S 18469 18472 14955 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5311063 13588557824 95530 33554432000 4194304 4196468 140725395749360 140710869043536 140712139560859 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18487] ppid=18469 vsize=13270076 CPUtime=1.43 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18487/stat : 18487 (java) S 18469 18472 14955 0 -1 1077944384 5476 0 0 0 142 1 0 0 20 0 20 0 5311063 13588557824 95530 33554432000 4194304 4196468 140725395749360 140710867990896 140712139553410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18488] ppid=18469 vsize=13270076 CPUtime=1.49 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18488/stat : 18488 (java) D 18469 18472 14955 0 -1 4202560 5380 0 0 0 149 0 0 0 20 0 20 0 5311063 13588557824 95530 33554432000 4194304 4196468 140725395749360 140710866938392 140712119466399 0 4 0 16800975 18446744072100363397 0 0 -1 6 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18489] ppid=18469 vsize=13270076 CPUtime=1.44 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18489/stat : 18489 (java) S 18469 18472 14955 0 -1 1077944384 5318 0 0 0 143 1 0 0 20 0 20 0 5311063 13588557824 95530 33554432000 4194304 4196468 140725395749360 140710865885296 140712139553410 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18490] ppid=18469 vsize=13270076 CPUtime=0.63 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18490/stat : 18490 (java) D 18469 18472 14955 0 -1 4202560 5906 0 0 0 62 1 0 0 20 0 20 0 5311063 13588557824 95530 33554432000 4194304 4196468 140725395749360 140710864832416 140712119466399 0 4 0 16800975 18446744072100363397 0 0 -1 4 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18491] ppid=18469 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18491/stat : 18491 (java) S 18469 18472 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5311063 13588557824 95530 33554432000 4194304 4196468 140725395749360 140710863780960 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18492] ppid=18469 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18492/stat : 18492 (java) D 18469 18472 14955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 20 0 5311063 13588557824 95530 33554432000 4194304 4196468 140725395749360 140710862728160 140712124398350 0 4 0 16800975 18446744072100363397 0 0 -1 4 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 Current children cumulated CPU time (s) 9.39 Current children cumulated vsize (KiB) 13270076 [startup+4.30073 s] /proc/loadavg: 1.25 1.30 1.38 3/282 18492 /proc/meminfo: memFree=30841256/32770624 swapFree=6568/134072 [pid=18472] ppid=18469 vsize=13270076 CPUtime=9.5 cores=0,2,4,6,8,10,12,14 /proc/18472/stat : 18472 (java) S 18469 18472 14955 0 -1 1077944320 37322 0 0 0 924 26 0 0 20 0 20 0 5311055 13588557824 95534 33554432000 4194304 4196468 140725395749360 140725395731904 140712139542263 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 /proc/18472/statm: 3317519 95534 3821 1 0 3305234 0 [pid=18472/tid=18473] ppid=18469 vsize=13270076 CPUtime=4.23 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18473/stat : 18473 (java) R 18469 18472 14955 0 -1 4202560 11944 0 0 0 413 10 0 0 20 0 20 0 5311055 13588557824 95534 33554432000 4194304 4196468 140725395749360 140712143771920 140711742797046 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18475] ppid=18469 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18475/stat : 18475 (java) S 18469 18472 14955 0 -1 1077944384 65 0 0 0 1 0 0 0 20 0 20 0 5311056 13588557824 95534 33554432000 4194304 4196468 140725395749360 140712058023056 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18476] ppid=18469 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18476/stat : 18476 (java) S 18469 18472 14955 0 -1 1077944384 56 0 0 0 0 1 0 0 20 0 20 0 5311056 13588557824 95534 33554432000 4194304 4196468 140725395749360 140712056970256 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18477] ppid=18469 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18477/stat : 18477 (java) S 18469 18472 14955 0 -1 1077944384 301 0 0 0 1 1 0 0 20 0 20 0 5311056 13588557824 95534 33554432000 4194304 4196468 140725395749360 140712055917456 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18478] ppid=18469 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18478/stat : 18478 (java) S 18469 18472 14955 0 -1 1077944384 693 0 0 0 1 1 0 0 20 0 20 0 5311056 13588557824 95534 33554432000 4194304 4196468 140725395749360 140711735323408 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18479] ppid=18469 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18479/stat : 18479 (java) S 18469 18472 14955 0 -1 1077944384 24 0 0 0 1 1 0 0 20 0 20 0 5311056 13588557824 95534 33554432000 4194304 4196468 140725395749360 140711734270608 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18480] ppid=18469 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18480/stat : 18480 (java) S 18469 18472 14955 0 -1 1077944384 120 0 0 0 1 1 0 0 20 0 20 0 5311056 13588557824 95534 33554432000 4194304 4196468 140725395749360 140711733217808 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18481] ppid=18469 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18481/stat : 18481 (java) S 18469 18472 14955 0 -1 1077944384 35 0 0 0 1 1 0 0 20 0 20 0 5311056 13588557824 95534 33554432000 4194304 4196468 140725395749360 140711732165008 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18482] ppid=18469 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18482/stat : 18482 (java) S 18469 18472 14955 0 -1 1077944384 66 0 0 0 1 1 0 0 20 0 20 0 5311056 13588557824 95534 33554432000 4194304 4196468 140725395749360 140711731112208 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18483] ppid=18469 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18483/stat : 18483 (java) S 18469 18472 14955 0 -1 1077944384 458 0 0 0 1 0 0 0 20 0 20 0 5311058 13588557824 95534 33554432000 4194304 4196468 140725395749360 140710872202096 140712139553410 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18484] ppid=18469 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18484/stat : 18484 (java) S 18469 18472 14955 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 5311059 13588557824 95534 33554432000 4194304 4196468 140725395749360 140710871148128 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18485] ppid=18469 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18485/stat : 18485 (java) S 18469 18472 14955 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 5311059 13588557824 95534 33554432000 4194304 4196468 140725395749360 140710870095232 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18486] ppid=18469 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18486/stat : 18486 (java) S 18469 18472 14955 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5311063 13588557824 95534 33554432000 4194304 4196468 140725395749360 140710869043536 140712139560859 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18487] ppid=18469 vsize=13270076 CPUtime=1.43 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18487/stat : 18487 (java) S 18469 18472 14955 0 -1 1077944384 5476 0 0 0 142 1 0 0 20 0 20 0 5311063 13588557824 95534 33554432000 4194304 4196468 140725395749360 140710867990896 140712139553410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18488] ppid=18469 vsize=13270076 CPUtime=1.5 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18488/stat : 18488 (java) S 18469 18472 14955 0 -1 1077944384 5381 0 0 0 150 0 0 0 20 0 20 0 5311063 13588557824 95534 33554432000 4194304 4196468 140725395749360 140710866938096 140712139553410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 28 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18489] ppid=18469 vsize=13270076 CPUtime=1.44 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18489/stat : 18489 (java) S 18469 18472 14955 0 -1 1077944384 5318 0 0 0 143 1 0 0 20 0 20 0 5311063 13588557824 95534 33554432000 4194304 4196468 140725395749360 140710865885296 140712139553410 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18490] ppid=18469 vsize=13270076 CPUtime=0.63 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18490/stat : 18490 (java) S 18469 18472 14955 0 -1 1077944384 5941 0 0 0 62 1 0 0 20 0 20 0 5311063 13588557824 95534 33554432000 4194304 4196468 140725395749360 140710864832496 140712139553410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 39 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18491] ppid=18469 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18491/stat : 18491 (java) S 18469 18472 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5311063 13588557824 95534 33554432000 4194304 4196468 140725395749360 140710863780960 140712139552469 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 [pid=18472/tid=18492] ppid=18469 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18472/task/18492/stat : 18492 (java) S 18469 18472 14955 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 5311063 13588557824 95534 33554432000 4194304 4196468 140725395749360 140710862728240 140712139553410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 38 0 0 6293624 6294260 7802880 140725395756174 140725395756356 140725395756356 140725395759055 0 Current children cumulated CPU time (s) 9.5 Current children cumulated vsize (KiB) 13270076 Child status: 0 Real time (s): 4.35165 CPU time (s): 9.56262 CPU user time (s): 9.29433 CPU system time (s): 0.26829 CPU usage (%): 219.747 Max. virtual memory (cumulated for all children) (KiB): 13270076 getrusage(RUSAGE_CHILDREN,...) data: user time used= 9.29433 system time used= 0.26829 maximum resident set size= 383144 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 37537 page faults= 0 swaps= 0 block input operations= 0 block output operations= 152 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4254 involuntary context switches= 692 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.033811 second user time and 0.059169 second system time The end
Begin job on node148 at 2017-07-22 07:14:21 IDJOB=4246128 IDBENCH=124179 IDSOLVER=2629 FILE ID=node148/4246128-1500700461 RUNJOBID= node148-1500684084-16345 PBS_JOBID= 20623032 Free space on /tmp= 61988 MiB SOLVER NAME= OscaR - Hybrid 2017-06-30 BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t15-7.xml COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246128-1500700461/watcher-4246128-1500700461 -o /tmp/evaluation-result-4246128-1500700461/solver-4246128-1500700461 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1500684084-16345 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 326595241 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4246128-1500700461.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 2ebe21d5d08c670f23069b27b9adbcc2 RANDOM SEED=326595241 node148.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 2667.000 cache size : 8192 KB physical id : 0 siblings : 8 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.21 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.21 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 : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.21 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.21 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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.21 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2267.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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.21 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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.21 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2133.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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.21 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 31170600 kB MemAvailable: 31358500 kB Buffers: 137228 kB Cached: 320188 kB SwapCached: 0 kB Active: 945584 kB Inactive: 195548 kB Active(anon): 633672 kB Inactive(anon): 61544 kB Active(file): 311912 kB Inactive(file): 134004 kB Unevictable: 6568 kB Mlocked: 6568 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 41972 kB Writeback: 0 kB AnonPages: 689676 kB Mapped: 45260 kB Shmem: 8848 kB Slab: 149124 kB SReclaimable: 115640 kB SUnreclaim: 33484 kB KernelStack: 4864 kB PageTables: 7492 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1438932 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 602112 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 61948 MiB End job on node148 at 2017-07-22 07:14:25