Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
OscaR - Parallel with EPS 2017-07-26 | SAT (TO) | 219 | 1921.34 | 247.256 |
Name | Cutstock/Cutstock-zinc-s1/ Cutstock-t04-1.xml |
MD5SUM | e916ba0c5634620e8924ec581ee284c9 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 217 |
Best CPU time to get the best result obtained on this benchmark | 1990.55 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 5040 |
Number of constraints | 262 |
Number of domains | 17 |
Minimum domain size | 2 |
Maximum domain size | 195 |
Distribution of domain sizes | [{"size":2,"count":240},{"size":4,"count":240},{"size":25,"count":480},{"size":44,"count":240},{"size":45,"count":240},{"size":73,"count":240},{"size":78,"count":240},{"size":87,"count":480},{"size":102,"count":240},{"size":107,"count":240},{"size":130,"count":240},{"size":131,"count":240},{"size":132,"count":480},{"size":139,"count":480},{"size":170,"count":240},{"size":175,"count":240},{"size":195,"count":240}] |
Minimum variable degree | 3 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":3,"count":5040}] |
Minimum constraint arity | 21 |
Maximum constraint arity | 4800 |
Distribution of constraint arities | [{"arity":21,"count":240},{"arity":240,"count":21},{"arity":4800,"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":260}] |
Optimization problem | YES |
Type of objective | min SUM |
0.26/0.37 c version: 2017-07-26 0.26/0.37 c seed: 664943195 0.26/0.37 c timeout: 1920 0.26/0.37 c memlimit: 22000 0.26/0.37 c nbcore: 8 0.26/0.39 c Parsing instance... 1.44/0.85 c Parsing done, starting search... 20.11/7.43 o 240 27.13/8.33 o 239 29.51/8.64 o 238 30.31/8.80 o 237 31.13/8.85 o 233 31.90/8.97 o 229 32.65/9.03 o 225 33.45/9.14 o 222 35.04/9.37 o 219 1920.38/247.17 s SATISFIABLE 1920.38/247.19 v <instantiation> 1920.38/247.19 v <list> 1920.38/247.19 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] p[198] p[199] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] 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] r[198][0] r[198][1] r[198][2] r[198][3] r[198][4] r[198][5] r[198][6] r[198][7] r[198][8] r[198][9] r[198][10] r[198][11] r[198][12] r[198][13] r[198][14] r[198][15] r[198][16] r[198][17] r[198][18] r[198][19] r[199][0] r[199][1] r[199][2] r[199][3] r[199][4] r[199][5] r[199][6] r[199][7] r[199][8] r[199][9] r[199][10] r[199][11] r[199][12] r[199][13] r[199][14] r[199][15] r[199][16] r[199][17] r[199][18] r[199][19] r[200][0] r[200][1] r[200][2] r[200][3] r[200][4] r[200][5] r[200][6] r[200][7] r[200][8] r[200][9] r[200][10] r[200][11] r[200][12] r[200][13] r[200][14] r[200][15] r[200][16] r[200][17] r[200][18] r[200][19] r[201][0] r[201][1] r[201][2] r[201][3] r[201][4] r[201][5] r[201][6] r[201][7] r[201][8] r[201][9] r[201][10] r[201][11] r[201][12] r[201][13] r[201][14] r[201][15] r[201][16] r[201][17] r[201][18] r[201][19] r[202][0] r[202][1] r[202][2] r[202][3] r[202][4] r[202][5] r[202][6] r[202][7] r[202][8] r[202][9] r[202][10] r[202][11] r[202][12] r[202][13] r[202][14] r[202][15] r[202][16] r[202][17] r[202][18] r[202][19] r[203][0] r[203][1] r[203][2] r[203][3] r[203][4] r[203][5] r[203][6] r[203][7] r[203][8] r[203][9] r[203][10] r[203][11] r[203][12] r[203][13] r[203][14] r[203][15] r[203][16] r[203][17] r[203][18] r[203][19] r[204][0] r[204][1] r[204][2] r[204][3] r[204][4] r[204][5] r[204][6] r[204][7] r[204][8] r[204][9] r[204][10] r[204][11] r[204][12] r[204][13] r[204][14] r[204][15] r[204][16] r[204][17] r[204][18] r[204][19] r[205][0] r[205][1] r[205][2] r[205][3] r[205][4] r[205][5] r[205][6] r[205][7] r[205][8] r[205][9] r[205][10] r[205][11] r[205][12] r[205][13] r[205][14] r[205][15] r[205][16] r[205][17] r[205][18] r[205][19] r[206][0] r[206][1] r[206][2] r[206][3] r[206][4] r[206][5] r[206][6] r[206][7] r[206][8] r[206][9] r[206][10] r[206][11] r[206][12] r[206][13] r[206][14] r[206][15] r[206][16] r[206][17] r[206][18] r[206][19] r[207][0] r[207][1] r[207][2] r[207][3] r[207][4] r[207][5] r[207][6] r[207][7] r[207][8] r[207][9] r[207][10] r[207][11] r[207][12] r[207][13] r[207][14] r[207][15] r[207][16] r[207][17] r[207][18] r[207][19] r[208][0] r[208][1] r[208][2] r[208][3] r[208][4] r[208][5] r[208][6] r[208][7] r[208][8] r[208][9] r[208][10] r[208][11] r[208][12] r[208][13] r[208][14] r[208][15] r[208][16] r[208][17] r[208][18] r[208][19] r[209][0] r[209][1] r[209][2] r[209][3] r[209][4] r[209][5] r[209][6] r[209][7] r[209][8] r[209][9] r[209][10] r[209][11] r[209][12] r[209][13] r[209][14] r[209][15] r[209][16] r[209][17] r[209][18] r[209][19] r[210][0] r[210][1] r[210][2] r[210][3] r[210][4] r[210][5] r[210][6] r[210][7] r[210][8] r[210][9] r[210][10] r[210][11] r[210][12] r[210][13] r[210][14] r[210][15] r[210][16] r[210][17] r[210][18] r[210][19] r[211][0] r[211][1] r[211][2] r[211][3] r[211][4] r[211][5] r[211][6] r[211][7] r[211][8] r[211][9] r[211][10] r[211][11] r[211][12] r[211][13] r[211][14] r[211][15] r[211][16] r[211][17] r[211][18] r[211][19] r[212][0] r[212][1] r[212][2] r[212][3] r[212][4] r[212][5] r[212][6] r[212][7] r[212][8] r[212][9] r[212][10] r[212][11] r[212][12] r[212][13] r[212][14] r[212][15] r[212][16] r[212][17] r[212][18] r[212][19] r[213][0] r[213][1] r[213][2] r[213][3] r[213][4] r[213][5] r[213][6] r[213][7] r[213][8] r[213][9] r[213][10] r[213][11] r[213][12] r[213][13] r[213][14] r[213][15] r[213][16] r[213][17] r[213][18] r[213][19] r[214][0] r[214][1] r[214][2] r[214][3] r[214][4] r[214][5] r[214][6] r[214][7] r[214][8] r[214][9] r[214][10] r[214][11] r[214][12] r[214][13] r[214][14] r[214][15] r[214][16] r[214][17] r[214][18] r[214][19] r[215][0] r[215][1] r[215][2] r[215][3] r[215][4] r[215][5] r[215][6] r[215][7] r[215][8] r[215][9] r[215][10] r[215][11] r[215][12] r[215][13] r[215][14] r[215][15] r[215][16] r[215][17] r[215][18] r[215][19] r[216][0] r[216][1] r[216][2] r[216][3] r[216][4] r[216][5] r[216][6] r[216][7] r[216][8] r[216][9] r[216][10] r[216][11] r[216][12] r[216][13] r[216][14] r[216][15] r[216][16] r[216][17] r[216][18] r[216][19] r[217][0] r[217][1] r[217][2] r[217][3] r[217][4] r[217][5] r[217][6] r[217][7] r[217][8] r[217][9] r[217][10] r[217][11] r[217][12] r[217][13] r[217][14] r[217][15] r[217][16] r[217][17] r[217][18] r[217][19] r[218][0] r[218][1] r[218][2] r[218][3] r[218][4] r[218][5] r[218][6] r[218][7] r[218][8] r[218][9] r[218][10] r[218][11] r[218][12] r[218][13] r[218][14] r[218][15] r[218][16] r[218][17] r[218][18] r[218][19] r[219][0] r[219][1] r[219][2] r[219][3] r[219][4] r[219][5] r[219][6] r[219][7] r[219][8] r[219][9] r[219][10] r[219][11] r[219][12] r[219][13] r[219][14] r[219][15] r[219][16] r[219][17] r[219][18] r[219][19] r[220][0] r[220][1] r[220][2] r[220][3] r[220][4] r[220][5] r[220][6] r[220][7] r[220][8] r[220][9] r[220][10] r[220][11] r[220][12] r[220][13] r[220][14] r[220][15] r[220][16] r[220][17] r[220][18] r[220][19] r[221][0] r[221][1] r[221][2] r[221][3] r[221][4] r[221][5] r[221][6] r[221][7] r[221][8] r[221][9] r[221][10] r[221][11] r[221][12] r[221][13] r[221][14] r[221][15] r[221][16] r[221][17] r[221][18] r[221][19] r[222][0] r[222][1] r[222][2] r[222][3] r[222][4] r[222][5] r[222][6] r[222][7] r[222][8] r[222][9] r[222][10] r[222][11] r[222][12] r[222][13] r[222][14] r[222][15] r[222][16] r[222][17] r[222][18] r[222][19] r[223][0] r[223][1] r[223][2] r[223][3] r[223][4] r[223][5] r[223][6] r[223][7] r[223][8] r[223][9] r[223][10] r[223][11] r[223][12] r[223][13] r[223][14] r[223][15] r[223][16] r[223][17] r[223][18] r[223][19] r[224][0] r[224][1] r[224][2] r[224][3] r[224][4] r[224][5] r[224][6] r[224][7] r[224][8] r[224][9] r[224][10] r[224][11] r[224][12] r[224][13] r[224][14] r[224][15] r[224][16] r[224][17] r[224][18] r[224][19] r[225][0] r[225][1] r[225][2] r[225][3] r[225][4] r[225][5] r[225][6] r[225][7] r[225][8] r[225][9] r[225][10] r[225][11] r[225][12] r[225][13] r[225][14] r[225][15] r[225][16] r[225][17] r[225][18] r[225][19] r[226][0] r[226][1] r[226][2] r[226][3] r[226][4] r[226][5] r[226][6] r[226][7] r[226][8] r[226][9] r[226][10] r[226][11] r[226][12] r[226][13] r[226][14] r[226][15] r[226][16] r[226][17] r[226][18] r[226][19] r[227][0] r[227][1] r[227][2] r[227][3] r[227][4] r[227][5] r[227][6] r[227][7] r[227][8] r[227][9] r[227][10] r[227][11] r[227][12] r[227][13] r[227][14] r[227][15] r[227][16] r[227][17] r[227][18] r[227][19] r[228][0] r[228][1] r[228][2] r[228][3] r[228][4] r[228][5] r[228][6] r[228][7] r[228][8] r[228][9] r[228][10] r[228][11] r[228][12] r[228][13] r[228][14] r[228][15] r[228][16] r[228][17] r[228][18] r[228][19] r[229][0] r[229][1] r[229][2] r[229][3] r[229][4] r[229][5] r[229][6] r[229][7] r[229][8] r[229][9] r[229][10] r[229][11] r[229][12] r[229][13] r[229][14] r[229][15] r[229][16] r[229][17] r[229][18] r[229][19] r[230][0] r[230][1] r[230][2] r[230][3] r[230][4] r[230][5] r[230][6] r[230][7] r[230][8] r[230][9] r[230][10] r[230][11] r[230][12] r[230][13] r[230][14] r[230][15] r[230][16] r[230][17] r[230][18] r[230][19] r[231][0] r[231][1] r[231][2] r[231][3] r[231][4] r[231][5] r[231][6] r[231][7] r[231][8] r[231][9] r[231][10] r[231][11] r[231][12] r[231][13] r[231][14] r[231][15] r[231][16] r[231][17] r[231][18] r[231][19] r[232][0] r[232][1] r[232][2] r[232][3] r[232][4] r[232][5] r[232][6] r[232][7] r[232][8] r[232][9] r[232][10] r[232][11] r[232][12] r[232][13] r[232][14] r[232][15] r[232][16] r[232][17] r[232][18] r[232][19] r[233][0] r[233][1] r[233][2] r[233][3] r[233][4] r[233][5] r[233][6] r[233][7] r[233][8] r[233][9] r[233][10] r[233][11] r[233][12] r[233][13] r[233][14] r[233][15] r[233][16] r[233][17] r[233][18] r[233][19] r[234][0] r[234][1] r[234][2] r[234][3] r[234][4] r[234][5] r[234][6] r[234][7] r[234][8] r[234][9] r[234][10] r[234][11] r[234][12] r[234][13] r[234][14] r[234][15] r[234][16] r[234][17] r[234][18] r[234][19] r[235][0] r[235][1] r[235][2] r[235][3] r[235][4] r[235][5] r[235][6] r[235][7] r[235][8] r[235][9] r[235][10] r[235][11] r[235][12] r[235][13] r[235][14] r[235][15] r[235][16] r[235][17] r[235][18] r[235][19] r[236][0] r[236][1] r[236][2] r[236][3] r[236][4] r[236][5] r[236][6] r[236][7] r[236][8] r[236][9] r[236][10] r[236][11] r[236][12] r[236][13] r[236][14] r[236][15] r[236][16] r[236][17] r[236][18] r[236][19] r[237][0] r[237][1] r[237][2] r[237][3] r[237][4] r[237][5] r[237][6] r[237][7] r[237][8] r[237][9] r[237][10] r[237][11] r[237][12] r[237][13] r[237][14] r[237][15] r[237][16] r[237][17] r[237][18] r[237][19] r[238][0] r[238][1] r[238][2] r[238][3] r[238][4] r[238][5] r[238][6] r[238][7] r[238][8] r[238][9] r[238][10] r[238][11] r[238][12] r[238][13] r[238][14] r[238][15] r[238][16] r[238][17] r[238][18] r[238][19] r[239][0] r[239][1] r[239][2] r[239][3] r[239][4] r[239][5] r[239][6] r[239][7] r[239][8] r[239][9] r[239][10] r[239][11] r[239][12] r[239][13] r[239][14] r[239][15] r[239][16] r[239][17] r[239][18] r[239][19] 1920.38/247.20 v </list> 1920.38/247.20 v <values> 1920.38/247.20 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 1 3 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 3 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 3 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 3 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 3 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 3 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 3 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 3 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 3 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 3 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 3 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 3 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 3 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 2 0 0 0 3 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 2 0 0 0 0 0 3 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 4 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 4 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 5 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 5 0 0 0 0 0 0 1 0 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 6 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 6 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 6 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 6 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 6 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 6 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 6 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 6 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 6 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 6 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 6 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 6 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 6 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 6 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 6 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 6 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 6 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 6 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 6 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 6 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 3 0 0 6 0 1 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 7 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 6 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 6 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 5 0 0 1 0 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 5 0 0 0 0 3 0 0 0 0 0 0 0 0 0 1 0 0 0 0 5 0 0 0 0 3 0 0 0 0 0 0 0 0 0 1 0 0 0 0 5 0 0 0 0 3 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 6 0 1 0 0 0 1 0 0 0 0 0 0 0 0 3 0 4 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 3 0 4 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 2 5 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 2 0 0 3 0 3 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 0 0 0 6 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 0 0 0 0 6 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 0 0 6 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 0 0 0 0 6 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 0 0 0 0 6 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 0 0 0 0 6 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 0 0 0 0 6 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 0 0 0 0 6 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 0 0 0 0 6 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 0 0 0 0 6 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 0 0 0 0 6 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 0 0 0 0 6 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 0 0 0 0 6 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 0 0 0 0 6 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 0 0 0 0 6 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 0 0 0 0 6 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 0 0 0 0 6 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 0 0 0 0 6 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 0 0 0 0 6 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 0 0 0 0 6 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 0 0 0 0 6 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 0 0 0 0 6 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 0 0 0 0 6 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 0 0 0 0 6 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 0 0 0 0 6 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 0 0 0 0 6 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 7 0 1 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 0 2 7 0 1 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 0 2 7 0 1 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 0 2 7 0 1 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 0 2 7 0 1 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 0 2 7 0 1 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 0 2 7 0 1 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 0 2 6 2 0 1 0 0 0 0 2 0 0 0 0 0 0 0 0 1 0 2 6 2 0 1 0 0 0 0 2 0 0 0 0 0 0 0 0 1 0 2 0 11 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 0 2 0 11 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 0 1 1 11 0 1 0 0 0 0 2 0 0 0 0 0 0 0 0 1 0 1 0 13 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 0 1 0 13 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 0 1 0 13 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 0 1 0 13 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 0 1 0 13 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 0 1 0 5 10 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 0 1 0 4 11 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 0 1 0 4 0 8 0 0 0 0 2 0 0 0 0 0 0 0 0 1 0 1 0 3 5 8 0 0 0 0 2 0 0 0 0 0 0 0 0 1 0 1 0 3 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 4 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 6 0 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 6 0 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 6 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 6 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 6 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 6 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 6 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 6 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 6 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 6 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 6 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 6 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 6 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 5 0 2 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 4 0 0 0 0 0 0 5 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 4 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 4 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 4 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 4 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 4 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 4 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 4 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 4 2 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 3 4 0 3 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 3 4 0 3 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 3 4 0 3 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 3 4 0 3 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 3 4 0 3 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 3 4 0 3 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 3 3 0 4 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 3 3 0 4 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 3 3 0 4 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 3 3 0 4 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 3 3 0 4 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 3 3 0 4 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 3 3 0 4 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 3 3 0 4 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 3 3 0 4 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 3 3 0 4 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 3 3 0 4 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 3 3 0 4 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 3 3 0 4 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 3 3 0 4 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 3 3 0 4 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 3 3 0 4 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 3 3 0 4 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 3 3 0 4 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 3 3 0 4 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 3 3 0 4 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 3 3 0 4 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 3 3 0 4 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 3 0 0 7 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 3 0 0 7 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 3 0 0 7 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1920.38/247.20 v </values> 1920.38/247.20 v </instantiation>
OK 219
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-4256960-1501682733/watcher-4256960-1501682733 -o /tmp/evaluation-result-4256960-1501682733/solver-4256960-1501682733 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node131-1501676534-24993 --watchdog 324 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 664943195 --timelimit 1920 --memlimit 22000 --nbcore 8 HOME/instance-4256960-1501682733.xml pid=1180 running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1920 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1950 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.04 3.43 5.85 3/173 1183 /proc/meminfo: memFree=31723528/32770624 swapFree=0/254532 [pid=1183] ppid=1180 vsize=23672 CPUtime=0 cores=0-7 /proc/1183/stat : 1183 (runsolver) D 1180 1183 24937 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 16893527 24240128 108 18446744073709551615 4194304 4338465 140728798195920 140728798193560 140651083002583 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 23031808 140728798204004 140728798204483 140728798204483 140728798207946 0 /proc/1183/statm: 5918 108 54 36 0 2156 0 [startup+0.100156 s] /proc/loadavg: 1.04 3.43 5.85 3/173 1183 /proc/meminfo: memFree=31723528/32770624 swapFree=0/254532 [pid=1183] ppid=1180 vsize=25300336 CPUtime=0.01 cores=0-7 /proc/1183/stat : 1183 (java) S 1180 1183 24937 0 -1 1077944320 3528 0 0 0 1 0 0 0 20 0 10 0 16893527 25907544064 3197 18446744073709551615 4194304 4196468 140721407015680 140721406998224 140364731240183 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 /proc/1183/statm: 6325084 3197 1902 1 0 6314589 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 25300336 [startup+0.204858 s] /proc/loadavg: 1.04 3.43 5.85 3/173 1183 /proc/meminfo: memFree=31723528/32770624 swapFree=0/254532 [pid=1183] ppid=1180 vsize=25996604 CPUtime=0.1 cores=0-7 /proc/1183/stat : 1183 (java) S 1180 1183 24937 0 -1 1077944320 7159 0 0 0 9 1 0 0 20 0 20 0 16893527 26620522496 7313 18446744073709551615 4194304 4196468 140721407015680 140721406998224 140364731240183 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 /proc/1183/statm: 6499151 7313 3374 1 0 6487938 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 25996604 [startup+0.300326 s] /proc/loadavg: 1.04 3.43 5.85 3/173 1183 /proc/meminfo: memFree=31723528/32770624 swapFree=0/254532 [pid=1183] ppid=1180 vsize=25996604 CPUtime=0.26 cores=0-7 /proc/1183/stat : 1183 (java) S 1180 1183 24937 0 -1 1077944320 10813 0 0 0 22 4 0 0 20 0 20 0 16893527 26620522496 9479 18446744073709551615 4194304 4196468 140721407015680 140721406998224 140364731240183 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 /proc/1183/statm: 6499151 9479 3508 1 0 6487938 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 25996604 [startup+0.700192 s] /proc/loadavg: 1.04 3.43 5.85 3/173 1183 /proc/meminfo: memFree=31723528/32770624 swapFree=0/254532 [pid=1183] ppid=1180 vsize=25998672 CPUtime=1.13 cores=0-7 /proc/1183/stat : 1183 (java) S 1180 1183 24937 0 -1 1077944320 14180 0 0 0 107 6 0 0 20 0 20 0 16893527 26622640128 16945 18446744073709551615 4194304 4196468 140721407015680 140721406998224 140364731240183 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 /proc/1183/statm: 6499668 16945 3733 1 0 6488450 0 Current children cumulated CPU time (s) 1.13 Current children cumulated vsize (KiB) 25998672 [startup+1.50087 s] /proc/loadavg: 1.04 3.43 5.85 4/193 1203 /proc/meminfo: memFree=31618756/32770624 swapFree=0/254532 [pid=1183] ppid=1180 vsize=26002768 CPUtime=3.87 cores=0-7 /proc/1183/stat : 1183 (java) S 1180 1183 24937 0 -1 1077944320 31933 0 0 0 374 13 0 0 20 0 20 0 16893527 26626834432 48657 18446744073709551615 4194304 4196468 140721407015680 140721406998224 140364731240183 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 /proc/1183/statm: 6500692 48657 3761 1 0 6489474 0 [pid=1183/tid=1185] ppid=1180 vsize=26002768 CPUtime=1.36 cores=0-7 /proc/1183/task/1185/stat : 1185 (java) R 1180 1183 24937 0 -1 4202560 15060 0 0 0 129 7 0 0 20 0 20 0 16893535 26626834432 48657 18446744073709551615 4194304 4196468 140721407015680 140364735473920 140364715578800 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1186] ppid=1180 vsize=26002768 CPUtime=0 cores=0-7 /proc/1183/task/1186/stat : 1186 (java) S 1180 1183 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16893536 26626834432 48657 18446744073709551615 4194304 4196468 140721407015680 140364294150416 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1187] ppid=1180 vsize=26002768 CPUtime=0 cores=0-7 /proc/1183/task/1187/stat : 1187 (java) S 1180 1183 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16893536 26626834432 48657 18446744073709551615 4194304 4196468 140721407015680 140364293097872 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1188] ppid=1180 vsize=26002768 CPUtime=0 cores=0-7 /proc/1183/task/1188/stat : 1188 (java) S 1180 1183 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16893536 26626834432 48657 18446744073709551615 4194304 4196468 140721407015680 140364292045328 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1189] ppid=1180 vsize=26002768 CPUtime=0 cores=0-7 /proc/1183/task/1189/stat : 1189 (java) S 1180 1183 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16893536 26626834432 48657 18446744073709551615 4194304 4196468 140721407015680 140364290992784 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1190] ppid=1180 vsize=26002768 CPUtime=0 cores=0-7 /proc/1183/task/1190/stat : 1190 (java) S 1180 1183 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16893536 26626834432 48657 18446744073709551615 4194304 4196468 140721407015680 140364289940240 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1191] ppid=1180 vsize=26002768 CPUtime=0 cores=0-7 /proc/1183/task/1191/stat : 1191 (java) S 1180 1183 24937 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 16893536 26626834432 48657 18446744073709551615 4194304 4196468 140721407015680 140364288887696 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1192] ppid=1180 vsize=26002768 CPUtime=0 cores=0-7 /proc/1183/task/1192/stat : 1192 (java) S 1180 1183 24937 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 16893536 26626834432 48657 18446744073709551615 4194304 4196468 140721407015680 140364287835152 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1193] ppid=1180 vsize=26002768 CPUtime=0 cores=0-7 /proc/1183/task/1193/stat : 1193 (java) S 1180 1183 24937 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 16893536 26626834432 48657 18446744073709551615 4194304 4196468 140721407015680 140364286782608 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1194] ppid=1180 vsize=26002768 CPUtime=0 cores=0-7 /proc/1183/task/1194/stat : 1194 (java) S 1180 1183 24937 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 20 0 16893537 26626834432 48657 18446744073709551615 4194304 4196468 140721407015680 140363208529904 140364731251330 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1195] ppid=1180 vsize=26002768 CPUtime=0 cores=0-7 /proc/1183/task/1195/stat : 1195 (java) S 1180 1183 24937 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 16893537 26626834432 48657 18446744073709551615 4194304 4196468 140721407015680 140363207476128 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1196] ppid=1180 vsize=26002768 CPUtime=0 cores=0-7 /proc/1183/task/1196/stat : 1196 (java) S 1180 1183 24937 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 16893538 26626834432 48657 18446744073709551615 4194304 4196468 140721407015680 140363206423536 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1197] ppid=1180 vsize=26002768 CPUtime=0 cores=0-7 /proc/1183/task/1197/stat : 1197 (java) S 1180 1183 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16893540 26626834432 48657 18446744073709551615 4194304 4196468 140721407015680 140363205372112 140364731258779 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1198] ppid=1180 vsize=26002768 CPUtime=0.58 cores=0-7 /proc/1183/task/1198/stat : 1198 (java) R 1180 1183 24937 0 -1 4202560 3049 0 0 0 57 1 0 0 20 0 20 0 16893540 26626834432 48657 18446744073709551615 4194304 4196468 140721407015680 140363204300744 140364714740356 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1199] ppid=1180 vsize=26002768 CPUtime=0.67 cores=0-7 /proc/1183/task/1199/stat : 1199 (java) R 1180 1183 24937 0 -1 4202560 2051 0 0 0 67 0 0 0 20 0 20 0 16893540 26626834432 48657 18446744073709551615 4194304 4196468 140721407015680 140363203251312 140364716849180 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1200] ppid=1180 vsize=26002768 CPUtime=0.62 cores=0-7 /proc/1183/task/1200/stat : 1200 (java) R 1180 1183 24937 0 -1 4202560 2713 0 0 0 61 1 0 0 20 0 20 0 16893540 26626834432 48657 18446744073709551615 4194304 4196468 140721407015680 140363202202288 140364712565849 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1201] ppid=1180 vsize=26002768 CPUtime=0.58 cores=0-7 /proc/1183/task/1201/stat : 1201 (java) R 1180 1183 24937 0 -1 4202560 7657 0 0 0 56 2 0 0 20 0 20 0 16893540 26626834432 48657 18446744073709551615 4194304 4196468 140721407015680 140363201162096 140364731261530 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1202] ppid=1180 vsize=26002768 CPUtime=0 cores=0-7 /proc/1183/task/1202/stat : 1202 (java) S 1180 1183 24937 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 16893540 26626834432 48657 18446744073709551615 4194304 4196468 140721407015680 140363200108768 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1203] ppid=1180 vsize=26002768 CPUtime=0 cores=0-7 /proc/1183/task/1203/stat : 1203 (java) S 1180 1183 24937 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 16893544 26626834432 48657 18446744073709551615 4194304 4196468 140721407015680 140363199056304 140364731251330 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 Current children cumulated CPU time (s) 3.87 Current children cumulated vsize (KiB) 26002768 [startup+3.10084 s] /proc/loadavg: 1.04 3.43 5.85 4/193 1203 /proc/meminfo: memFree=31490068/32770624 swapFree=0/254544 [pid=1183] ppid=1180 vsize=26002768 CPUtime=6.83 cores=0-7 /proc/1183/stat : 1183 (java) S 1180 1183 24937 0 -1 1077944320 36472 0 0 0 661 22 0 0 20 0 20 0 16893527 26626834432 80718 18446744073709551615 4194304 4196468 140721407015680 140721406998224 140364731240183 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 /proc/1183/statm: 6500692 80718 3793 1 0 6489474 0 [pid=1183/tid=1185] ppid=1180 vsize=26002768 CPUtime=2.93 cores=0-7 /proc/1183/task/1185/stat : 1185 (java) R 1180 1183 24937 0 -1 4202560 15669 0 0 0 285 8 0 0 20 0 20 0 16893535 26626834432 80718 18446744073709551615 4194304 4196468 140721407015680 140364735473424 140364380602841 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1186] ppid=1180 vsize=26002768 CPUtime=0.01 cores=0-7 /proc/1183/task/1186/stat : 1186 (java) S 1180 1183 24937 0 -1 1077944384 16 0 0 0 1 0 0 0 20 0 20 0 16893536 26626834432 80718 18446744073709551615 4194304 4196468 140721407015680 140364294150416 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1187] ppid=1180 vsize=26002768 CPUtime=0 cores=0-7 /proc/1183/task/1187/stat : 1187 (java) S 1180 1183 24937 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 16893536 26626834432 80718 18446744073709551615 4194304 4196468 140721407015680 140364293097872 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1188] ppid=1180 vsize=26002768 CPUtime=0.01 cores=0-7 /proc/1183/task/1188/stat : 1188 (java) S 1180 1183 24937 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 20 0 16893536 26626834432 80718 18446744073709551615 4194304 4196468 140721407015680 140364292045328 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1189] ppid=1180 vsize=26002768 CPUtime=0 cores=0-7 /proc/1183/task/1189/stat : 1189 (java) S 1180 1183 24937 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 16893536 26626834432 80718 18446744073709551615 4194304 4196468 140721407015680 140364290992784 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1190] ppid=1180 vsize=26002768 CPUtime=0.01 cores=0-7 /proc/1183/task/1190/stat : 1190 (java) S 1180 1183 24937 0 -1 1077944384 75 0 0 0 1 0 0 0 20 0 20 0 16893536 26626834432 80718 18446744073709551615 4194304 4196468 140721407015680 140364289940240 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1191] ppid=1180 vsize=26002768 CPUtime=0 cores=0-7 /proc/1183/task/1191/stat : 1191 (java) S 1180 1183 24937 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 20 0 16893536 26626834432 80718 18446744073709551615 4194304 4196468 140721407015680 140364288887696 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1192] ppid=1180 vsize=26002768 CPUtime=0.01 cores=0-7 /proc/1183/task/1192/stat : 1192 (java) S 1180 1183 24937 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 20 0 16893536 26626834432 80718 18446744073709551615 4194304 4196468 140721407015680 140364287835152 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1193] ppid=1180 vsize=26002768 CPUtime=0 cores=0-7 /proc/1183/task/1193/stat : 1193 (java) S 1180 1183 24937 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 16893536 26626834432 80718 18446744073709551615 4194304 4196468 140721407015680 140364286782608 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1194] ppid=1180 vsize=26002768 CPUtime=0.01 cores=0-7 /proc/1183/task/1194/stat : 1194 (java) S 1180 1183 24937 0 -1 1077944384 166 0 0 0 1 0 0 0 20 0 20 0 16893537 26626834432 80718 18446744073709551615 4194304 4196468 140721407015680 140363208529904 140364731251330 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1195] ppid=1180 vsize=26002768 CPUtime=0 cores=0-7 /proc/1183/task/1195/stat : 1195 (java) S 1180 1183 24937 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 16893537 26626834432 80718 18446744073709551615 4194304 4196468 140721407015680 140363207476192 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1196] ppid=1180 vsize=26002768 CPUtime=0 cores=0-7 /proc/1183/task/1196/stat : 1196 (java) S 1180 1183 24937 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 16893538 26626834432 80718 18446744073709551615 4194304 4196468 140721407015680 140363206423552 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1197] ppid=1180 vsize=26002768 CPUtime=0 cores=0-7 /proc/1183/task/1197/stat : 1197 (java) S 1180 1183 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16893540 26626834432 80718 18446744073709551615 4194304 4196468 140721407015680 140363205372112 140364731258779 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1198] ppid=1180 vsize=26002768 CPUtime=0.91 cores=0-7 /proc/1183/task/1198/stat : 1198 (java) S 1180 1183 24937 0 -1 1077944384 3721 0 0 0 90 1 0 0 20 0 20 0 16893540 26626834432 80718 18446744073709551615 4194304 4196468 140721407015680 140363204319728 140364731251330 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1199] ppid=1180 vsize=26002768 CPUtime=1.19 cores=0-7 /proc/1183/task/1199/stat : 1199 (java) S 1180 1183 24937 0 -1 1077944384 3295 0 0 0 119 0 0 0 20 0 20 0 16893540 26626834432 80718 18446744073709551615 4194304 4196468 140721407015680 140363203267184 140364731251330 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1200] ppid=1180 vsize=26002768 CPUtime=0.93 cores=0-7 /proc/1183/task/1200/stat : 1200 (java) S 1180 1183 24937 0 -1 1077944384 2902 0 0 0 92 1 0 0 20 0 20 0 16893540 26626834432 80718 18446744073709551615 4194304 4196468 140721407015680 140363202214640 140364731251330 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1201] ppid=1180 vsize=26002768 CPUtime=0.65 cores=0-7 /proc/1183/task/1201/stat : 1201 (java) S 1180 1183 24937 0 -1 1077944384 8727 0 0 0 63 2 0 0 20 0 20 0 16893540 26626834432 80718 18446744073709551615 4194304 4196468 140721407015680 140363201162096 140364731251330 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1202] ppid=1180 vsize=26002768 CPUtime=0 cores=0-7 /proc/1183/task/1202/stat : 1202 (java) S 1180 1183 24937 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 16893540 26626834432 80718 18446744073709551615 4194304 4196468 140721407015680 140363200108768 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1203] ppid=1180 vsize=26002768 CPUtime=0 cores=0-7 /proc/1183/task/1203/stat : 1203 (java) S 1180 1183 24937 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 16893544 26626834432 80718 18446744073709551615 4194304 4196468 140721407015680 140363199056304 140364731251330 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 Current children cumulated CPU time (s) 6.83 Current children cumulated vsize (KiB) 26002768 [startup+6.30074 s] /proc/loadavg: 1.03 3.39 5.83 2/193 1203 /proc/meminfo: memFree=31314960/32770624 swapFree=0/254544 [pid=1183] ppid=1180 vsize=26872196 CPUtime=11.66 cores=0-7 /proc/1183/stat : 1183 (java) S 1180 1183 24937 0 -1 1077944320 44454 0 0 0 1123 43 0 0 20 0 33 0 16893527 27517128704 164684 18446744073709551615 4194304 4196468 140721407015680 140721406998224 140364731240183 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 /proc/1183/statm: 6718049 164684 3798 1 0 6706831 0 [pid=1183/tid=1185] ppid=1180 vsize=26872196 CPUtime=5.99 cores=0-7 /proc/1183/task/1185/stat : 1185 (java) S 1180 1183 24937 0 -1 1077944384 18024 0 0 0 586 13 0 0 20 0 33 0 16893535 27517128704 164684 18446744073709551615 4194304 4196468 140721407015680 140364735477568 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1186] ppid=1180 vsize=26872196 CPUtime=0.05 cores=0-7 /proc/1183/task/1186/stat : 1186 (java) S 1180 1183 24937 0 -1 1077944384 46 0 0 0 3 2 0 0 20 0 33 0 16893536 27517128704 164684 18446744073709551615 4194304 4196468 140721407015680 140364294150416 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1187] ppid=1180 vsize=26872196 CPUtime=0.05 cores=0-7 /proc/1183/task/1187/stat : 1187 (java) S 1180 1183 24937 0 -1 1077944384 394 0 0 0 3 2 0 0 20 0 33 0 16893536 27517128704 164684 18446744073709551615 4194304 4196468 140721407015680 140364293097872 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1188] ppid=1180 vsize=26872196 CPUtime=0.05 cores=0-7 /proc/1183/task/1188/stat : 1188 (java) S 1180 1183 24937 0 -1 1077944384 58 0 0 0 3 2 0 0 20 0 33 0 16893536 27517128704 164684 18446744073709551615 4194304 4196468 140721407015680 140364292045328 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1189] ppid=1180 vsize=26872196 CPUtime=0.05 cores=0-7 /proc/1183/task/1189/stat : 1189 (java) S 1180 1183 24937 0 -1 1077944384 673 0 0 0 3 2 0 0 20 0 33 0 16893536 27517128704 164684 18446744073709551615 4194304 4196468 140721407015680 140364290992784 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1190] ppid=1180 vsize=26872196 CPUtime=0.05 cores=0-7 /proc/1183/task/1190/stat : 1190 (java) S 1180 1183 24937 0 -1 1077944384 115 0 0 0 3 2 0 0 20 0 33 0 16893536 27517128704 164684 18446744073709551615 4194304 4196468 140721407015680 140364289940240 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1191] ppid=1180 vsize=26872196 CPUtime=0.05 cores=0-7 /proc/1183/task/1191/stat : 1191 (java) S 1180 1183 24937 0 -1 1077944384 111 0 0 0 3 2 0 0 20 0 33 0 16893536 27517128704 164684 18446744073709551615 4194304 4196468 140721407015680 140364288887696 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1192] ppid=1180 vsize=26872196 CPUtime=0.05 cores=0-7 /proc/1183/task/1192/stat : 1192 (java) S 1180 1183 24937 0 -1 1077944384 60 0 0 0 3 2 0 0 20 0 33 0 16893536 27517128704 164684 18446744073709551615 4194304 4196468 140721407015680 140364287835152 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1193] ppid=1180 vsize=26872196 CPUtime=0.05 cores=0-7 /proc/1183/task/1193/stat : 1193 (java) S 1180 1183 24937 0 -1 1077944384 53 0 0 0 3 2 0 0 20 0 33 0 16893536 27517128704 164684 18446744073709551615 4194304 4196468 140721407015680 140364286782608 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1194] ppid=1180 vsize=26872196 CPUtime=0.02 cores=0-7 /proc/1183/task/1194/stat : 1194 (java) S 1180 1183 24937 0 -1 1077944384 710 0 0 0 2 0 0 0 20 0 33 0 16893537 27517128704 164684 18446744073709551615 4194304 4196468 140721407015680 140363208529904 140364731251330 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1195] ppid=1180 vsize=26872196 CPUtime=0 cores=0-7 /proc/1183/task/1195/stat : 1195 (java) S 1180 1183 24937 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 33 0 16893537 27517128704 164684 18446744073709551615 4194304 4196468 140721407015680 140363207476192 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1196] ppid=1180 vsize=26872196 CPUtime=0 cores=0-7 /proc/1183/task/1196/stat : 1196 (java) S 1180 1183 24937 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 33 0 16893538 27517128704 164684 18446744073709551615 4194304 4196468 140721407015680 140363206423552 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1197] ppid=1180 vsize=26872196 CPUtime=0 cores=0-7 /proc/1183/task/1197/stat : 1197 (java) S 1180 1183 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 33 0 16893540 27517128704 164684 18446744073709551615 4194304 4196468 140721407015680 140363205372112 140364731258779 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1198] ppid=1180 vsize=26872196 CPUtime=1.12 cores=0-7 /proc/1183/task/1198/stat : 1198 (java) R 1180 1183 24937 0 -1 4202560 4434 0 0 0 110 2 0 0 20 0 33 0 16893540 27517128704 164684 18446744073709551615 4194304 4196468 140721407015680 140363204303504 140364714650984 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1199] ppid=1180 vsize=26872196 CPUtime=1.55 cores=0-7 /proc/1183/task/1199/stat : 1199 (java) R 1180 1183 24937 0 -1 4202560 4696 0 0 0 155 0 0 0 20 0 33 0 16893540 27517128704 164684 18446744073709551615 4194304 4196468 140721407015680 140363203258512 140364708987619 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1200] ppid=1180 vsize=26872196 CPUtime=1.19 cores=0-7 /proc/1183/task/1200/stat : 1200 (java) R 1180 1183 24937 0 -1 4202560 3847 0 0 0 117 2 0 0 20 0 33 0 16893540 27517128704 164684 18446744073709551615 4194304 4196468 140721407015680 140363202203440 140364710629477 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1201] ppid=1180 vsize=26872196 CPUtime=0.76 cores=0-7 /proc/1183/task/1201/stat : 1201 (java) R 1180 1183 24937 0 -1 1077944384 9253 0 0 0 74 2 0 0 20 0 33 0 16893540 27517128704 164684 18446744073709551615 4194304 4196468 140721407015680 140363201157136 140364731250389 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1202] ppid=1180 vsize=26872196 CPUtime=0 cores=0-7 ################ # More data... # ################ [pid=1183/tid=1195] ppid=1180 vsize=27739612 CPUtime=0 cores=0-7 /proc/1183/task/1195/stat : 1195 (java) S 1180 1183 24937 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 46 0 16893537 28405362688 1354904 18446744073709551615 4194304 4196468 140721407015680 140363207476192 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1196] ppid=1180 vsize=27739612 CPUtime=0 cores=0-7 /proc/1183/task/1196/stat : 1196 (java) S 1180 1183 24937 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 46 0 16893538 28405362688 1354904 18446744073709551615 4194304 4196468 140721407015680 140363206423552 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1197] ppid=1180 vsize=27739612 CPUtime=0 cores=0-7 /proc/1183/task/1197/stat : 1197 (java) S 1180 1183 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 46 0 16893540 28405362688 1354904 18446744073709551615 4194304 4196468 140721407015680 140363205372112 140364731258779 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1198] ppid=1180 vsize=27739612 CPUtime=2.26 cores=0-7 /proc/1183/task/1198/stat : 1198 (java) S 1180 1183 24937 0 -1 1077944384 8896 0 0 0 223 3 0 0 20 0 46 0 16893540 28405362688 1354904 18446744073709551615 4194304 4196468 140721407015680 140363204319728 140364731251330 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1199] ppid=1180 vsize=27739612 CPUtime=2.9 cores=0-7 /proc/1183/task/1199/stat : 1199 (java) S 1180 1183 24937 0 -1 1077944384 8347 0 0 0 289 1 0 0 20 0 46 0 16893540 28405362688 1354904 18446744073709551615 4194304 4196468 140721407015680 140363203267184 140364731251330 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1200] ppid=1180 vsize=27739612 CPUtime=2.2 cores=0-7 /proc/1183/task/1200/stat : 1200 (java) S 1180 1183 24937 0 -1 1077944384 4777 0 0 0 218 2 0 0 20 0 46 0 16893540 28405362688 1354904 18446744073709551615 4194304 4196468 140721407015680 140363202214640 140364731251330 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1201] ppid=1180 vsize=27739612 CPUtime=1.04 cores=0-7 /proc/1183/task/1201/stat : 1201 (java) S 1180 1183 24937 0 -1 1077944384 10681 0 0 0 101 3 0 0 20 0 46 0 16893540 28405362688 1354904 18446744073709551615 4194304 4196468 140721407015680 140363201162096 140364731251330 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1202] ppid=1180 vsize=27739612 CPUtime=0 cores=0-7 /proc/1183/task/1202/stat : 1202 (java) S 1180 1183 24937 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 16893540 28405362688 1354904 18446744073709551615 4194304 4196468 140721407015680 140363200108768 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1203] ppid=1180 vsize=27739612 CPUtime=0.07 cores=0-7 /proc/1183/task/1203/stat : 1203 (java) S 1180 1183 24937 0 -1 1077944384 1609 0 0 0 3 4 0 0 20 0 46 0 16893544 28405362688 1354904 18446744073709551615 4194304 4196468 140721407015680 140363199056304 140364731251330 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1204] ppid=1180 vsize=27739612 CPUtime=0.02 cores=0-7 /proc/1183/task/1204/stat : 1204 (java) S 1180 1183 24937 0 -1 1077944384 110 0 0 0 2 0 0 0 20 0 46 0 16894124 28405362688 1354904 18446744073709551615 4194304 4196468 140721407015680 140363188769456 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1205] ppid=1180 vsize=27739612 CPUtime=0.65 cores=0-7 /proc/1183/task/1205/stat : 1205 (java) S 1180 1183 24937 0 -1 1077944384 6435 0 0 0 30 35 0 0 20 0 46 0 16894135 28405362688 1354904 18446744073709551615 4194304 4196468 140721407015680 140363185620016 140364731251330 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1206] ppid=1180 vsize=27739612 CPUtime=1.37 cores=0-7 /proc/1183/task/1206/stat : 1206 (java) S 1180 1183 24937 0 -1 1077944384 306 0 0 0 135 2 0 0 20 0 46 0 16894145 28405362688 1354904 18446744073709551615 4194304 4196468 140721407015680 140363182470544 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1207] ppid=1180 vsize=27739612 CPUtime=0.19 cores=0-7 /proc/1183/task/1207/stat : 1207 (java) S 1180 1183 24937 0 -1 1077944384 82 0 0 0 19 0 0 0 20 0 46 0 16894146 28405362688 1354904 18446744073709551615 4194304 4196468 140721407015680 140363181418000 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1208] ppid=1180 vsize=27739612 CPUtime=0.97 cores=0-7 /proc/1183/task/1208/stat : 1208 (java) S 1180 1183 24937 0 -1 1077944384 76 0 0 0 97 0 0 0 20 0 46 0 16894146 28405362688 1354904 18446744073709551615 4194304 4196468 140721407015680 140363180365456 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1210] ppid=1180 vsize=27739612 CPUtime=1.1 cores=0-7 /proc/1183/task/1210/stat : 1210 (java) S 1180 1183 24937 0 -1 1077944384 79 0 0 0 110 0 0 0 20 0 46 0 16894148 28405362688 1354904 18446744073709551615 4194304 4196468 140721407015680 140363179312912 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1211] ppid=1180 vsize=27739612 CPUtime=0.92 cores=0-7 /proc/1183/task/1211/stat : 1211 (java) S 1180 1183 24937 0 -1 1077944384 61 0 0 0 92 0 0 0 20 0 46 0 16894148 28405362688 1354904 18446744073709551615 4194304 4196468 140721407015680 140363178259344 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1212] ppid=1180 vsize=27739612 CPUtime=236.34 cores=0-7 /proc/1183/task/1212/stat : 1212 (java) R 1180 1183 24937 0 -1 4202560 8901 0 0 0 23621 13 0 0 20 0 46 0 16894148 28405362688 1354904 18446744073709551615 4194304 4196468 140721407015680 140363177199936 140364379761350 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1213] ppid=1180 vsize=27739612 CPUtime=0.17 cores=0-7 /proc/1183/task/1213/stat : 1213 (java) S 1180 1183 24937 0 -1 1077944384 43 0 0 0 17 0 0 0 20 0 46 0 16894148 28405362688 1354904 18446744073709551615 4194304 4196468 140721407015680 140363176154256 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1214] ppid=1180 vsize=27739612 CPUtime=1.56 cores=0-7 /proc/1183/task/1214/stat : 1214 (java) S 1180 1183 24937 0 -1 1077944384 99 0 0 0 154 2 0 0 20 0 46 0 16894148 28405362688 1354904 18446744073709551615 4194304 4196468 140721407015680 140363175101712 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1215] ppid=1180 vsize=27739612 CPUtime=236.03 cores=0-7 /proc/1183/task/1215/stat : 1215 (java) R 1180 1183 24937 0 -1 4202560 21241 0 0 0 23565 38 0 0 20 0 46 0 16894148 28405362688 1354904 18446744073709551615 4194304 4196468 140721407015680 140363174045248 140364379204041 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1216] ppid=1180 vsize=27739612 CPUtime=0.1 cores=0-7 /proc/1183/task/1216/stat : 1216 (java) S 1180 1183 24937 0 -1 1077944384 46 0 0 0 10 0 0 0 20 0 46 0 16894149 28405362688 1354904 18446744073709551615 4194304 4196468 140721407015680 140363172996624 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1217] ppid=1180 vsize=27739612 CPUtime=236.73 cores=0-7 /proc/1183/task/1217/stat : 1217 (java) R 1180 1183 24937 0 -1 4202560 20035 0 0 0 23623 50 0 0 20 0 46 0 16894149 28405362688 1354904 18446744073709551615 4194304 4196468 140721407015680 140363171937784 140364384345623 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1218] ppid=1180 vsize=27739612 CPUtime=0.1 cores=0-7 /proc/1183/task/1218/stat : 1218 (java) S 1180 1183 24937 0 -1 1077944384 56 0 0 0 10 0 0 0 20 0 46 0 16894166 28405362688 1354904 18446744073709551615 4194304 4196468 140721407015680 140363170891536 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1219] ppid=1180 vsize=27739612 CPUtime=0.7 cores=0-7 /proc/1183/task/1219/stat : 1219 (java) S 1180 1183 24937 0 -1 1077944384 64 0 0 0 69 1 0 0 20 0 46 0 16894272 28405362688 1354904 18446744073709551615 4194304 4196468 140721407015680 140363167703952 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1220] ppid=1180 vsize=27739612 CPUtime=0.39 cores=0-7 /proc/1183/task/1220/stat : 1220 (java) S 1180 1183 24937 0 -1 1077944384 64 0 0 0 38 1 0 0 20 0 46 0 16894273 28405362688 1354904 18446744073709551615 4194304 4196468 140721407015680 140363166651408 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1221] ppid=1180 vsize=27739612 CPUtime=0.79 cores=0-7 /proc/1183/task/1221/stat : 1221 (java) S 1180 1183 24937 0 -1 1077944384 80 0 0 0 78 1 0 0 20 0 46 0 16894273 28405362688 1354904 18446744073709551615 4194304 4196468 140721407015680 140363165598864 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1222] ppid=1180 vsize=27739612 CPUtime=235.49 cores=0-7 /proc/1183/task/1222/stat : 1222 (java) R 1180 1183 24937 0 -1 4202560 13695 0 0 0 23516 33 0 0 20 0 46 0 16894273 28405362688 1354904 18446744073709551615 4194304 4196468 140721407015680 140363164539568 140364380432152 0 4 1 16800974 0 0 0 -1 6 0 0 6 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1223] ppid=1180 vsize=27739612 CPUtime=0.41 cores=0-7 /proc/1183/task/1223/stat : 1223 (java) S 1180 1183 24937 0 -1 1077944384 54 0 0 0 40 1 0 0 20 0 46 0 16894275 28405362688 1354904 18446744073709551615 4194304 4196468 140721407015680 140363163493776 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1224] ppid=1180 vsize=27739612 CPUtime=235.28 cores=0-7 /proc/1183/task/1224/stat : 1224 (java) R 1180 1183 24937 0 -1 4202560 8387 0 0 0 23511 17 0 0 20 0 46 0 16894277 28405362688 1354904 18446744073709551615 4194304 4196468 140721407015680 140363162434504 140364379204059 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1225] ppid=1180 vsize=27739612 CPUtime=0.06 cores=0-7 /proc/1183/task/1225/stat : 1225 (java) S 1180 1183 24937 0 -1 1077944384 40 0 0 0 6 0 0 0 20 0 46 0 16894280 28405362688 1354904 18446744073709551615 4194304 4196468 140721407015680 140363161388688 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1226] ppid=1180 vsize=27739612 CPUtime=0.09 cores=0-7 /proc/1183/task/1226/stat : 1226 (java) S 1180 1183 24937 0 -1 1077944384 33 0 0 0 9 0 0 0 20 0 46 0 16894284 28405362688 1354904 18446744073709551615 4194304 4196468 140721407015680 140363160336144 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1227] ppid=1180 vsize=27739612 CPUtime=0.38 cores=0-7 /proc/1183/task/1227/stat : 1227 (java) S 1180 1183 24937 0 -1 1077944384 58 0 0 0 38 0 0 0 20 0 46 0 16894286 28405362688 1354904 18446744073709551615 4194304 4196468 140721407015680 140363159282576 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1228] ppid=1180 vsize=27739612 CPUtime=234.66 cores=0-7 /proc/1183/task/1228/stat : 1228 (java) R 1180 1183 24937 0 -1 4202560 9148 0 0 0 23452 14 0 0 20 0 46 0 16894287 28405362688 1354904 18446744073709551615 4194304 4196468 140721407015680 140363158223056 140364379200582 0 4 1 16800974 0 0 0 -1 7 0 0 7 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1229] ppid=1180 vsize=27739612 CPUtime=234.69 cores=0-7 /proc/1183/task/1229/stat : 1229 (java) R 1180 1183 24937 0 -1 4202560 21896 0 0 0 23423 46 0 0 20 0 46 0 16894287 28405362688 1354904 18446744073709551615 4194304 4196468 140721407015680 140363157171056 140364381077694 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1230] ppid=1180 vsize=27739612 CPUtime=235.18 cores=0-7 /proc/1183/task/1230/stat : 1230 (java) R 1180 1183 24937 0 -1 4202560 8012 0 0 0 23503 15 0 0 20 0 46 0 16894288 28405362688 1354904 18446744073709551615 4194304 4196468 140721407015680 140363087992800 140364381653251 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 Current children cumulated CPU time (s) 1920.38 Current children cumulated vsize (KiB) 27739612 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 1183 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+247.216 s] /proc/loadavg: 8.36 6.31 6.49 9/218 1235 /proc/meminfo: memFree=26307172/32770624 swapFree=0/254608 [pid=1183] ppid=1180 vsize=27872740 CPUtime=1921.29 cores=0-7 /proc/1183/stat : 1183 (java) S 1180 1183 24937 0 -1 1077944320 283933 0 0 0 191695 434 0 0 20 0 45 0 16893527 28541685760 1354942 18446744073709551615 4194304 4196468 140721407015680 140721406998224 140364731240183 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 /proc/1183/statm: 6968185 1354942 3813 1 0 6956446 0 [pid=1183/tid=1185] ppid=1180 vsize=27872740 CPUtime=5.99 cores=0-7 /proc/1183/task/1185/stat : 1185 (java) S 1180 1183 24937 0 -1 1077944384 18031 0 0 0 586 13 0 0 20 0 45 0 16893535 28541685760 1354942 18446744073709551615 4194304 4196468 140721407015680 140364735477888 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1186] ppid=1180 vsize=27872740 CPUtime=1.31 cores=0-7 /proc/1183/task/1186/stat : 1186 (java) S 1180 1183 24937 0 -1 1077944384 13115 0 0 0 111 20 0 0 20 0 45 0 16893536 28541685760 1354942 18446744073709551615 4194304 4196468 140721407015680 140364294150416 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1187] ppid=1180 vsize=27872740 CPUtime=1.32 cores=0-7 /proc/1183/task/1187/stat : 1187 (java) S 1180 1183 24937 0 -1 1077944384 7591 0 0 0 112 20 0 0 20 0 45 0 16893536 28541685760 1354942 18446744073709551615 4194304 4196468 140721407015680 140364293097872 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1188] ppid=1180 vsize=27872740 CPUtime=1.31 cores=0-7 /proc/1183/task/1188/stat : 1188 (java) S 1180 1183 24937 0 -1 1077944384 8613 0 0 0 112 19 0 0 20 0 45 0 16893536 28541685760 1354942 18446744073709551615 4194304 4196468 140721407015680 140364292045328 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1189] ppid=1180 vsize=27872740 CPUtime=1.3 cores=0-7 /proc/1183/task/1189/stat : 1189 (java) S 1180 1183 24937 0 -1 1077944384 9493 0 0 0 110 20 0 0 20 0 45 0 16893536 28541685760 1354942 18446744073709551615 4194304 4196468 140721407015680 140364290992784 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1190] ppid=1180 vsize=27872740 CPUtime=1.3 cores=0-7 /proc/1183/task/1190/stat : 1190 (java) S 1180 1183 24937 0 -1 1077944384 10027 0 0 0 111 19 0 0 20 0 45 0 16893536 28541685760 1354942 18446744073709551615 4194304 4196468 140721407015680 140364289940240 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1191] ppid=1180 vsize=27872740 CPUtime=1.3 cores=0-7 /proc/1183/task/1191/stat : 1191 (java) S 1180 1183 24937 0 -1 1077944384 13503 0 0 0 110 20 0 0 20 0 45 0 16893536 28541685760 1354942 18446744073709551615 4194304 4196468 140721407015680 140364288887696 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1192] ppid=1180 vsize=27872740 CPUtime=1.31 cores=0-7 /proc/1183/task/1192/stat : 1192 (java) S 1180 1183 24937 0 -1 1077944384 10093 0 0 0 110 21 0 0 20 0 45 0 16893536 28541685760 1354942 18446744073709551615 4194304 4196468 140721407015680 140364287835152 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1193] ppid=1180 vsize=27872740 CPUtime=1.3 cores=0-7 /proc/1183/task/1193/stat : 1193 (java) S 1180 1183 24937 0 -1 1077944384 9863 0 0 0 110 20 0 0 20 0 45 0 16893536 28541685760 1354942 18446744073709551615 4194304 4196468 140721407015680 140364286782608 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1194] ppid=1180 vsize=27872740 CPUtime=0.72 cores=0-7 /proc/1183/task/1194/stat : 1194 (java) R 1180 1183 24937 0 -1 4202560 27187 0 0 0 63 9 0 0 20 0 45 0 16893537 28541685760 1354942 18446744073709551615 4194304 4196468 140721407015680 140363208529904 140364723957335 0 0 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1195] ppid=1180 vsize=27872740 CPUtime=0 cores=0-7 /proc/1183/task/1195/stat : 1195 (java) S 1180 1183 24937 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 45 0 16893537 28541685760 1354942 18446744073709551615 4194304 4196468 140721407015680 140363207476192 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1196] ppid=1180 vsize=27872740 CPUtime=0 cores=0-7 /proc/1183/task/1196/stat : 1196 (java) S 1180 1183 24937 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 45 0 16893538 28541685760 1354942 18446744073709551615 4194304 4196468 140721407015680 140363206423552 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1198] ppid=1180 vsize=27872740 CPUtime=2.26 cores=0-7 /proc/1183/task/1198/stat : 1198 (java) S 1180 1183 24937 0 -1 1077944384 8896 0 0 0 223 3 0 0 20 0 45 0 16893540 28541685760 1354942 18446744073709551615 4194304 4196468 140721407015680 140363204319728 140364731251330 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1199] ppid=1180 vsize=27872740 CPUtime=2.9 cores=0-7 /proc/1183/task/1199/stat : 1199 (java) S 1180 1183 24937 0 -1 1077944384 8347 0 0 0 289 1 0 0 20 0 45 0 16893540 28541685760 1354942 18446744073709551615 4194304 4196468 140721407015680 140363203267184 140364731251330 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1200] ppid=1180 vsize=27872740 CPUtime=2.2 cores=0-7 /proc/1183/task/1200/stat : 1200 (java) S 1180 1183 24937 0 -1 1077944384 4777 0 0 0 218 2 0 0 20 0 45 0 16893540 28541685760 1354942 18446744073709551615 4194304 4196468 140721407015680 140363202214640 140364731251330 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1201] ppid=1180 vsize=27872740 CPUtime=1.05 cores=0-7 /proc/1183/task/1201/stat : 1201 (java) S 1180 1183 24937 0 -1 1077944384 11644 0 0 0 102 3 0 0 20 0 45 0 16893540 28541685760 1354942 18446744073709551615 4194304 4196468 140721407015680 140363201162096 140364731251330 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1202] ppid=1180 vsize=27872740 CPUtime=0 cores=0-7 /proc/1183/task/1202/stat : 1202 (java) S 1180 1183 24937 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 45 0 16893540 28541685760 1354942 18446744073709551615 4194304 4196468 140721407015680 140363200108768 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1204] ppid=1180 vsize=27872740 CPUtime=0.02 cores=0-7 /proc/1183/task/1204/stat : 1204 (java) S 1180 1183 24937 0 -1 1077944384 110 0 0 0 2 0 0 0 20 0 45 0 16894124 28541685760 1354942 18446744073709551615 4194304 4196468 140721407015680 140363188769456 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1205] ppid=1180 vsize=27872740 CPUtime=0.65 cores=0-7 /proc/1183/task/1205/stat : 1205 (java) S 1180 1183 24937 0 -1 1077944384 6435 0 0 0 30 35 0 0 20 0 45 0 16894135 28541685760 1354942 18446744073709551615 4194304 4196468 140721407015680 140363185619712 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1206] ppid=1180 vsize=27872740 CPUtime=1.37 cores=0-7 /proc/1183/task/1206/stat : 1206 (java) S 1180 1183 24937 0 -1 1077944384 306 0 0 0 135 2 0 0 20 0 45 0 16894145 28541685760 1354942 18446744073709551615 4194304 4196468 140721407015680 140363182470544 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1207] ppid=1180 vsize=27872740 CPUtime=0.19 cores=0-7 /proc/1183/task/1207/stat : 1207 (java) S 1180 1183 24937 0 -1 1077944384 82 0 0 0 19 0 0 0 20 0 45 0 16894146 28541685760 1354942 18446744073709551615 4194304 4196468 140721407015680 140363181418000 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1208] ppid=1180 vsize=27872740 CPUtime=0.97 cores=0-7 /proc/1183/task/1208/stat : 1208 (java) S 1180 1183 24937 0 -1 1077944384 76 0 0 0 97 0 0 0 20 0 45 0 16894146 28541685760 1354942 18446744073709551615 4194304 4196468 140721407015680 140363180365456 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1210] ppid=1180 vsize=27872740 CPUtime=1.1 cores=0-7 /proc/1183/task/1210/stat : 1210 (java) S 1180 1183 24937 0 -1 1077944384 79 0 0 0 110 0 0 0 20 0 45 0 16894148 28541685760 1354942 18446744073709551615 4194304 4196468 140721407015680 140363179312912 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1211] ppid=1180 vsize=27872740 CPUtime=0.92 cores=0-7 /proc/1183/task/1211/stat : 1211 (java) S 1180 1183 24937 0 -1 1077944384 61 0 0 0 92 0 0 0 20 0 45 0 16894148 28541685760 1354942 18446744073709551615 4194304 4196468 140721407015680 140363178259344 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1212] ppid=1180 vsize=27872740 CPUtime=236.44 cores=0-7 /proc/1183/task/1212/stat : 1212 (java) S 1180 1183 24937 0 -1 1077944384 8901 0 0 0 23631 13 0 0 20 0 45 0 16894148 28541685760 1354942 18446744073709551615 4194304 4196468 140721407015680 140363177200688 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1213] ppid=1180 vsize=27872740 CPUtime=0.17 cores=0-7 /proc/1183/task/1213/stat : 1213 (java) S 1180 1183 24937 0 -1 1077944384 43 0 0 0 17 0 0 0 20 0 45 0 16894148 28541685760 1354942 18446744073709551615 4194304 4196468 140721407015680 140363176154256 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1214] ppid=1180 vsize=27872740 CPUtime=1.56 cores=0-7 /proc/1183/task/1214/stat : 1214 (java) S 1180 1183 24937 0 -1 1077944384 99 0 0 0 154 2 0 0 20 0 45 0 16894148 28541685760 1354942 18446744073709551615 4194304 4196468 140721407015680 140363175101712 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1215] ppid=1180 vsize=27872740 CPUtime=236.14 cores=0-7 /proc/1183/task/1215/stat : 1215 (java) S 1180 1183 24937 0 -1 1077944384 21241 0 0 0 23576 38 0 0 20 0 45 0 16894148 28541685760 1354942 18446744073709551615 4194304 4196468 140721407015680 140363174042736 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1216] ppid=1180 vsize=27872740 CPUtime=0.1 cores=0-7 /proc/1183/task/1216/stat : 1216 (java) S 1180 1183 24937 0 -1 1077944384 46 0 0 0 10 0 0 0 20 0 45 0 16894149 28541685760 1354942 18446744073709551615 4194304 4196468 140721407015680 140363172996624 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1217] ppid=1180 vsize=27872740 CPUtime=236.84 cores=0-7 /proc/1183/task/1217/stat : 1217 (java) S 1180 1183 24937 0 -1 1077944384 20035 0 0 0 23634 50 0 0 20 0 45 0 16894149 28541685760 1354942 18446744073709551615 4194304 4196468 140721407015680 140363171937648 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1218] ppid=1180 vsize=27872740 CPUtime=0.1 cores=0-7 /proc/1183/task/1218/stat : 1218 (java) S 1180 1183 24937 0 -1 1077944384 56 0 0 0 10 0 0 0 20 0 45 0 16894166 28541685760 1354942 18446744073709551615 4194304 4196468 140721407015680 140363170891536 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1219] ppid=1180 vsize=27872740 CPUtime=0.7 cores=0-7 /proc/1183/task/1219/stat : 1219 (java) S 1180 1183 24937 0 -1 1077944384 64 0 0 0 69 1 0 0 20 0 45 0 16894272 28541685760 1354942 18446744073709551615 4194304 4196468 140721407015680 140363167703952 140364731250389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1220] ppid=1180 vsize=27872740 CPUtime=0.39 cores=0-7 /proc/1183/task/1220/stat : 1220 (java) S 1180 1183 24937 0 -1 1077944384 64 0 0 0 38 1 0 0 20 0 45 0 16894273 28541685760 1355001 18446744073709551615 4194304 4196468 140721407015680 140363166651408 140364731250389 256 4 1 16800974 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1221] ppid=1180 vsize=27872740 CPUtime=0.79 cores=0-7 /proc/1183/task/1221/stat : 1221 (java) R 1180 1183 24937 0 -1 1077944384 80 0 0 0 78 1 0 0 20 0 39 0 16894273 28541685760 1355046 18446744073709551615 4194304 4196468 140721407015680 140363165598864 140364731250389 256 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1222] ppid=1180 vsize=0 CPUtime=235.61 cores=0-7 /proc/1183/task/1222/stat : 1222 (java) X 1180 1183 24937 0 -1 4195396 13695 0 0 0 23528 33 0 0 20 0 30 0 16894273 0 0 18446744073709551615 0 0 0 0 0 0 4 1 16800974 18446744073709551615 0 0 -1 2 0 0 6 0 0 0 0 0 0 0 0 0 0 [pid=1183/tid=1223] ppid=1180 vsize=27872740 CPUtime=0.41 cores=0-7 /proc/1183/task/1223/stat : 1223 (java) R 1180 1183 24937 0 -1 1077944384 54 0 0 0 40 1 0 0 20 0 26 0 16894275 28541685760 1355176 18446744073709551615 4194304 4196468 140721407015680 140363163493776 140364731250389 256 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1224] ppid=1180 vsize=27872740 CPUtime=235.39 cores=0-7 /proc/1183/task/1224/stat : 1224 (java) R 1180 1183 24937 0 -1 1077944384 8387 0 0 0 23522 17 0 0 20 0 17 0 16894277 28541685760 1355325 18446744073709551615 4194304 4196468 140721407015680 140363162435120 140364731250389 256 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 [pid=1183/tid=1228] ppid=1180 vsize=27872740 CPUtime=234.76 cores=0-7 /proc/1183/task/1228/stat : 1228 (java) R 1180 1183 24937 0 -1 1077944384 9148 0 0 0 23462 14 0 0 20 0 8 0 16894287 28541685760 1355349 18446744073709551615 4194304 4196468 140721407015680 140363158223168 140364731250389 256 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 27287552 140721407017360 140721407017544 140721407017544 140721407021007 0 Current children cumulated CPU time (s) 1921.29 Current children cumulated vsize (KiB) 27872740 Child status: 143 Real time (s): 247.256 CPU time (s): 1921.34 CPU user time (s): 1916.96 CPU system time (s): 4.38787 CPU usage (%): 777.068 Max. virtual memory (cumulated for all children) (KiB): 27872740 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1916.96 system time used= 4.38786 maximum resident set size= 5421520 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 283977 page faults= 0 swaps= 0 block input operations= 0 block output operations= 8 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 74918 involuntary context switches= 40254 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.96116 second user time and 2.93052 second system time The end
Begin job on node131 at 2017-08-02 15:51:35 IDJOB=4256960 IDBENCH=124177 IDSOLVER=2641 FILE ID=node131/4256960-1501682733 RUNJOBID= node131-1501676534-24993 PBS_JOBID= Free space on /tmp= 61944 MiB SOLVER NAME= OscaR - Parallel with EPS 2017-07-26 BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t04-1.xml COMMAND LINE= java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4256960-1501682733/watcher-4256960-1501682733 -o /tmp/evaluation-result-4256960-1501682733/solver-4256960-1501682733 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node131-1501676534-24993 --watchdog 324 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 664943195 --timelimit 1920 --memlimit 22000 --nbcore 8 HOME/instance-4256960-1501682733.xml TIME LIMIT= 1920 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= e916ba0c5634620e8924ec581ee284c9 RANDOM SEED=664943195 node131.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31724060 kB MemAvailable: 32011708 kB Buffers: 135564 kB Cached: 440360 kB SwapCached: 0 kB Active: 362180 kB Inactive: 271256 kB Active(anon): 58048 kB Inactive(anon): 16724 kB Active(file): 304132 kB Inactive(file): 254532 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42300 kB Writeback: 4 kB AnonPages: 57968 kB Mapped: 30832 kB Shmem: 17064 kB Slab: 114240 kB SReclaimable: 89636 kB SUnreclaim: 24604 kB KernelStack: 3088 kB PageTables: 4412 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 290056 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61904 MiB End job on node131 at 2017-08-02 15:55:43