Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| OscaR - Parallel with EPS 2017-08-22 | SAT (TO) | 218 | 19858.1 | 2520.2 |
| 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 | 20087.1 |
| 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.29/0.26 c version: 2017-08-22 0.29/0.26 c seed: 1762780371 0.29/0.26 c timeout: 20160 0.29/0.26 c memlimit: 22000 0.29/0.26 c nbcore: 8 0.29/0.28 c Parsing instance... 1.43/0.75 c Parsing done, starting search... 19.17/7.24 o 240 25.46/8.06 o 239 27.79/8.35 o 238 28.55/8.47 o 233 29.36/8.58 o 230 29.36/8.60 o 225 31.74/8.88 o 224 32.54/8.92 o 218 19856.84/2520.11 s SATISFIABLE 19857.85/2520.14 v <instantiation> 19857.85/2520.14 v <list> 19857.85/2520.14 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] 19857.85/2520.16 v </list> 19857.85/2520.16 v <values> 19857.85/2520.16 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 3 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 3 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 3 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 3 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 3 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 3 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 3 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 3 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 0 3 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 4 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 4 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 1 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 0 1 0 0 0 1 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 4 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 4 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 3 2 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 3 2 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 3 2 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 3 2 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 3 2 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 3 2 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 3 2 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 3 2 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 3 2 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 3 2 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 3 2 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 3 2 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 3 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 3 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 3 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 5 0 0 0 0 0 0 1 0 0 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 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 3 0 0 0 3 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 2 4 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 4 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 4 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 4 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 4 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 4 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 4 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 4 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 4 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2 4 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2 4 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2 4 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2 4 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2 4 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2 4 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2 4 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2 4 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2 4 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2 4 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2 3 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 2 3 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 2 3 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 2 3 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 2 3 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 2 3 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 2 3 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 2 3 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 2 3 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 2 3 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 2 3 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 2 3 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 2 3 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 2 3 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 3 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 3 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 3 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 4 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 4 0 0 0 3 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 4 0 0 0 0 0 3 0 0 0 0 1 0 0 0 0 0 0 0 1 2 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 5 0 0 0 0 0 0 0 0 0 1 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 1 0 6 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 5 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 5 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 5 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 4 2 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 4 2 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 4 2 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 4 2 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 4 0 2 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 4 0 2 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 4 0 0 2 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 4 0 0 2 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 4 0 0 2 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 4 0 0 2 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 4 0 0 2 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 4 0 0 2 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 4 0 0 2 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 4 0 0 2 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 6 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 6 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 6 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 6 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 6 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 6 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 6 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 6 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 6 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 6 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 6 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 6 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 6 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 6 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 6 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 6 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 6 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 6 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 6 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 6 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 6 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 2 0 5 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 6 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 6 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 6 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 6 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 6 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 6 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 6 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 6 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 6 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 6 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 6 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 6 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 6 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 7 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 7 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 7 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 7 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 2 0 6 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 2 0 6 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 2 0 6 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 2 0 6 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 2 0 6 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 2 0 6 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 2 0 6 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 2 0 6 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 2 0 6 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 2 0 6 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 2 0 6 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 2 0 6 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 6 0 2 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 8 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 7 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 7 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 7 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 7 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 7 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 7 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 7 0 1 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 7 0 1 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 7 0 1 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 3 0 6 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 3 0 6 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 3 0 0 7 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 3 0 0 7 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 3 0 0 7 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 3 0 0 7 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 2 8 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 10 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 15 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 17 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 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 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 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 0 0 0 2 6 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 26 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 28 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 9 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 2 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 3 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 3 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 1 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 1 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 1 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 1 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 18 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 6 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 19857.85/2520.16 v </values> 19857.85/2520.16 v </instantiation>
OK 218
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (12312 MiB free)
memory of node 1: 16384 MiB (9110 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284727-1503424457/watcher-4284727-1503424457 -o /tmp/evaluation-result-4284727-1503424457/solver-4284727-1503424457 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1503423567-5157 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1762780371 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4284727-1503424457.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=5841, runsolver pid=5838
[startup+0.100139 s]*
/proc/loadavg: 7.27 8.09 7.35 3/198 5861
/proc/meminfo: memFree=21920600/32770624 swapFree=67108860/67108860
[pid=5841] ppid=5838 vsize=26000852 memory=32536 CPUtime=0.12 cores=0-7
/proc/5841/stat : 5841 (java) S 5838 5841 5130 0 -1 1077944320 8534 0 0 0 10 2 0 0 20 0 20 0 175526522 26624872448 8134 33554432000 4194304 4196468 140722749811936 140722749794480 139936182079223 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
/proc/5841/statm: 6500213 8134 3405 1 0 6487932 0
[pid=5841/tid=5843] ppid=5838 vsize=26000852 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/5841/task/5843/stat : 5843 (java) R 5838 5841 5130 0 -1 4202560 6472 0 0 0 7 1 0 0 20 0 20 0 175526523 26624872448 8134 33554432000 4194304 4196468 140722749811936 139936186295904 139936163474426 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5844] ppid=5838 vsize=26000852 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/5841/task/5844/stat : 5844 (java) S 5838 5841 5130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175526523 26624872448 8134 33554432000 4194304 4196468 140722749811936 139936143039504 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5845] ppid=5838 vsize=26000852 memory=139762215720576 CPUtime=0 cores=0-7
/proc/5841/task/5845/stat : 5845 (java) S 5838 5841 5130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175526523 26624872448 8134 33554432000 4194304 4196468 140722749811936 139935739198608 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5846] ppid=5838 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5841/task/5846/stat : 5846 (java) S 5838 5841 5130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175526523 26624872448 8134 33554432000 4194304 4196468 140722749811936 139935738145552 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5847] ppid=5838 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5841/task/5847/stat : 5847 (java) S 5838 5841 5130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175526523 26624872448 8134 33554432000 4194304 4196468 140722749811936 139935737093008 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5848] ppid=5838 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5841/task/5848/stat : 5848 (java) S 5838 5841 5130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175526523 26624872448 8134 33554432000 4194304 4196468 140722749811936 139935736039952 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5849] ppid=5838 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/5841/task/5849/stat : 5849 (java) S 5838 5841 5130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175526523 26624872448 8134 33554432000 4194304 4196468 140722749811936 139935734987408 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5850] ppid=5838 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5841/task/5850/stat : 5850 (java) S 5838 5841 5130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175526523 26624872448 8134 33554432000 4194304 4196468 140722749811936 139935733934352 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5851] ppid=5838 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5841/task/5851/stat : 5851 (java) S 5838 5841 5130 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175526523 26624872448 8134 33554432000 4194304 4196468 140722749811936 139935732881808 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5852] ppid=5838 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5841/task/5852/stat : 5852 (java) S 5838 5841 5130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175526525 26624872448 8143 33554432000 4194304 4196468 140722749811936 139935309781744 139936182090370 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5853] ppid=5838 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5841/task/5853/stat : 5853 (java) S 5838 5841 5130 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 175526525 26624872448 8143 33554432000 4194304 4196468 140722749811936 139935308727968 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5854] ppid=5838 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5841/task/5854/stat : 5854 (java) S 5838 5841 5130 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 175526526 26624872448 8143 33554432000 4194304 4196468 140722749811936 139935307674864 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5855] ppid=5838 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5841/task/5855/stat : 5855 (java) S 5838 5841 5130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175526528 26624872448 8143 33554432000 4194304 4196468 140722749811936 139935306623440 139936182097819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5856] ppid=5838 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5841/task/5856/stat : 5856 (java) S 5838 5841 5130 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 175526528 26624872448 8143 33554432000 4194304 4196468 140722749811936 139935305570544 139936182090370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5857] ppid=5838 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5841/task/5857/stat : 5857 (java) S 5838 5841 5130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175526528 26624872448 8143 33554432000 4194304 4196468 140722749811936 139935304518000 139936182090370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5858] ppid=5838 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5841/task/5858/stat : 5858 (java) S 5838 5841 5130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175526528 26624872448 8143 33554432000 4194304 4196468 140722749811936 139935303464944 139936182090370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5859] ppid=5838 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/5841/task/5859/stat : 5859 (java) R 5838 5841 5130 0 -1 4202560 367 0 0 0 1 0 0 0 20 0 20 0 175526528 26624872448 8143 33554432000 4194304 4196468 140722749811936 139935302412400 139936182100570 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5860] ppid=5838 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5841/task/5860/stat : 5860 (java) S 5838 5841 5130 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175526529 26624872448 8143 33554432000 4194304 4196468 140722749811936 139935301360608 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5861] ppid=5838 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/5841/task/5861/stat : 5861 (java) S 5838 5841 5130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175526529 26624872448 8143 33554432000 4194304 4196468 140722749811936 139935300308144 139936182090370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 32536 KiB
[startup+0.209885 s]*
/proc/loadavg: 7.27 8.09 7.35 2/198 5861
/proc/meminfo: memFree=21912288/32770624 swapFree=67108860/67108860
[pid=5841] ppid=5838 vsize=26000852 memory=41460 CPUtime=0.29 cores=0-7
/proc/5841/stat : 5841 (java) S 5838 5841 5130 0 -1 1077944320 9508 0 0 0 26 3 0 0 20 0 20 0 175526522 26624872448 10365 33554432000 4194304 4196468 140722749811936 140722749794480 139936182079223 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
/proc/5841/statm: 6500213 10365 3605 1 0 6487932 0
[pid=5841/tid=5843] ppid=5838 vsize=26000852 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/5841/task/5843/stat : 5843 (java) R 5838 5841 5130 0 -1 4202560 7096 0 0 0 18 1 0 0 20 0 20 0 175526523 26624872448 10365 33554432000 4194304 4196468 140722749811936 139936186306112 139936182101149 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5844] ppid=5838 vsize=26000852 memory=13941 CPUtime=0 cores=0-7
/proc/5841/task/5844/stat : 5844 (java) S 5838 5841 5130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175526523 26624872448 10365 33554432000 4194304 4196468 140722749811936 139936143039504 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5845] ppid=5838 vsize=26000852 memory=139762215725041 CPUtime=0 cores=0-7
/proc/5841/task/5845/stat : 5845 (java) S 5838 5841 5130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175526523 26624872448 10365 33554432000 4194304 4196468 140722749811936 139935739198608 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5846] ppid=5838 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/5841/task/5846/stat : 5846 (java) S 5838 5841 5130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175526523 26624872448 10365 33554432000 4194304 4196468 140722749811936 139935738145552 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5847] ppid=5838 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5841/task/5847/stat : 5847 (java) S 5838 5841 5130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175526523 26624872448 10365 33554432000 4194304 4196468 140722749811936 139935737093008 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5848] ppid=5838 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5841/task/5848/stat : 5848 (java) S 5838 5841 5130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175526523 26624872448 10365 33554432000 4194304 4196468 140722749811936 139935736039952 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5849] ppid=5838 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/5841/task/5849/stat : 5849 (java) S 5838 5841 5130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175526523 26624872448 10365 33554432000 4194304 4196468 140722749811936 139935734987408 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5850] ppid=5838 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5841/task/5850/stat : 5850 (java) S 5838 5841 5130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175526523 26624872448 10365 33554432000 4194304 4196468 140722749811936 139935733934352 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5851] ppid=5838 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5841/task/5851/stat : 5851 (java) S 5838 5841 5130 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175526523 26624872448 10365 33554432000 4194304 4196468 140722749811936 139935732881808 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5852] ppid=5838 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5841/task/5852/stat : 5852 (java) S 5838 5841 5130 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 175526525 26624872448 10365 33554432000 4194304 4196468 140722749811936 139935309781744 139936182090370 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5853] ppid=5838 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5841/task/5853/stat : 5853 (java) S 5838 5841 5130 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 175526525 26624872448 10365 33554432000 4194304 4196468 140722749811936 139935308727968 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5854] ppid=5838 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5841/task/5854/stat : 5854 (java) S 5838 5841 5130 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 175526526 26624872448 10365 33554432000 4194304 4196468 140722749811936 139935307674864 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5855] ppid=5838 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5841/task/5855/stat : 5855 (java) S 5838 5841 5130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175526528 26624872448 10365 33554432000 4194304 4196468 140722749811936 139935306623440 139936182097819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5856] ppid=5838 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/5841/task/5856/stat : 5856 (java) S 5838 5841 5130 0 -1 1077944384 561 0 0 0 1 0 0 0 20 0 20 0 175526528 26624872448 10365 33554432000 4194304 4196468 140722749811936 139935305570544 139936182090370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5857] ppid=5838 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5841/task/5857/stat : 5857 (java) S 5838 5841 5130 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 20 0 175526528 26624872448 10365 33554432000 4194304 4196468 140722749811936 139935304518000 139936182090370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5858] ppid=5838 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5841/task/5858/stat : 5858 (java) S 5838 5841 5130 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 20 0 175526528 26624872448 10365 33554432000 4194304 4196468 140722749811936 139935303464944 139936182090370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5859] ppid=5838 vsize=26000852 memory=0 CPUtime=0.05 cores=0-7
/proc/5841/task/5859/stat : 5859 (java) S 5838 5841 5130 0 -1 1077944384 385 0 0 0 5 0 0 0 20 0 20 0 175526528 26624872448 10365 33554432000 4194304 4196468 140722749811936 139935302412400 139936182090370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5860] ppid=5838 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5841/task/5860/stat : 5860 (java) S 5838 5841 5130 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175526529 26624872448 10365 33554432000 4194304 4196468 140722749811936 139935301360608 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5861] ppid=5838 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/5841/task/5861/stat : 5861 (java) S 5838 5841 5130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175526529 26624872448 10365 33554432000 4194304 4196468 140722749811936 139935300308144 139936182090370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 41460 KiB
[startup+0.309624 s]*
/proc/loadavg: 7.27 8.09 7.35 2/198 5861
/proc/meminfo: memFree=21902812/32770624 swapFree=67108860/67108860
[pid=5841] ppid=5838 vsize=26000872 memory=49368 CPUtime=0.46 cores=0-7
/proc/5841/stat : 5841 (java) S 5838 5841 5130 0 -1 1077944320 10627 0 0 0 43 3 0 0 20 0 20 0 175526522 26624892928 12342 33554432000 4194304 4196468 140722749811936 140722749794480 139936182079223 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
/proc/5841/statm: 6500218 12342 3715 1 0 6487932 0
[pid=5841/tid=5843] ppid=5838 vsize=26000872 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/5841/task/5843/stat : 5843 (java) R 5838 5841 5130 0 -1 4202560 7701 0 0 0 27 2 0 0 20 0 20 0 175526523 26624892928 12342 33554432000 4194304 4196468 140722749811936 139936186307632 139936166159710 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5844] ppid=5838 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/5841/task/5844/stat : 5844 (java) S 5838 5841 5130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175526523 26624892928 12342 33554432000 4194304 4196468 140722749811936 139936143039504 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5845] ppid=5838 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/5841/task/5845/stat : 5845 (java) S 5838 5841 5130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175526523 26624892928 12342 33554432000 4194304 4196468 140722749811936 139935739198608 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5846] ppid=5838 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/5841/task/5846/stat : 5846 (java) S 5838 5841 5130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175526523 26624892928 12342 33554432000 4194304 4196468 140722749811936 139935738145552 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5847] ppid=5838 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/5841/task/5847/stat : 5847 (java) S 5838 5841 5130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175526523 26624892928 12342 33554432000 4194304 4196468 140722749811936 139935737093008 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5848] ppid=5838 vsize=26000872 memory=2244 CPUtime=0 cores=0-7
/proc/5841/task/5848/stat : 5848 (java) S 5838 5841 5130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175526523 26624892928 12342 33554432000 4194304 4196468 140722749811936 139935736039952 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5849] ppid=5838 vsize=26000872 memory=139762061112239 CPUtime=0 cores=0-7
/proc/5841/task/5849/stat : 5849 (java) S 5838 5841 5130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175526523 26624892928 12342 33554432000 4194304 4196468 140722749811936 139935734987408 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5850] ppid=5838 vsize=26000872 memory=139762061114544 CPUtime=0 cores=0-7
/proc/5841/task/5850/stat : 5850 (java) S 5838 5841 5130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175526523 26624892928 12342 33554432000 4194304 4196468 140722749811936 139935733934352 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5851] ppid=5838 vsize=26000872 memory=139762061116848 CPUtime=0 cores=0-7
/proc/5841/task/5851/stat : 5851 (java) S 5838 5841 5130 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175526523 26624892928 12342 33554432000 4194304 4196468 140722749811936 139935732881808 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5852] ppid=5838 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/5841/task/5852/stat : 5852 (java) S 5838 5841 5130 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 175526525 26624892928 12342 33554432000 4194304 4196468 140722749811936 139935309781744 139936182090370 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5853] ppid=5838 vsize=26000872 memory=279524122240656 CPUtime=0 cores=0-7
/proc/5841/task/5853/stat : 5853 (java) S 5838 5841 5130 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 175526525 26624892928 12342 33554432000 4194304 4196468 140722749811936 139935308727968 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5854] ppid=5838 vsize=26000872 memory=279524122247568 CPUtime=0 cores=0-7
/proc/5841/task/5854/stat : 5854 (java) S 5838 5841 5130 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 175526526 26624892928 12342 33554432000 4194304 4196468 140722749811936 139935307674864 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5855] ppid=5838 vsize=26000872 memory=279524122188848 CPUtime=0 cores=0-7
/proc/5841/task/5855/stat : 5855 (java) S 5838 5841 5130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175526528 26624892928 12342 33554432000 4194304 4196468 140722749811936 139935306623440 139936182097819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5856] ppid=5838 vsize=26000872 memory=279524122261392 CPUtime=0.03 cores=0-7
/proc/5841/task/5856/stat : 5856 (java) S 5838 5841 5130 0 -1 1077944384 784 0 0 0 3 0 0 0 20 0 20 0 175526528 26624892928 12342 33554432000 4194304 4196468 140722749811936 139935305570544 139936182090370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5857] ppid=5838 vsize=26000872 memory=279524122268304 CPUtime=0.02 cores=0-7
/proc/5841/task/5857/stat : 5857 (java) S 5838 5841 5130 0 -1 1077944384 120 0 0 0 2 0 0 0 20 0 20 0 175526528 26624892928 12342 33554432000 4194304 4196468 140722749811936 139935304518000 139936182090370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5858] ppid=5838 vsize=26000872 memory=279524122266000 CPUtime=0.02 cores=0-7
/proc/5841/task/5858/stat : 5858 (java) S 5838 5841 5130 0 -1 1077944384 213 0 0 0 2 0 0 0 20 0 20 0 175526528 26624892928 12342 33554432000 4194304 4196468 140722749811936 139935303464944 139936182090370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5859] ppid=5838 vsize=26000872 memory=279524122282608 CPUtime=0.08 cores=0-7
/proc/5841/task/5859/stat : 5859 (java) S 5838 5841 5130 0 -1 1077944384 429 0 0 0 8 0 0 0 20 0 20 0 175526528 26624892928 12342 33554432000 4194304 4196468 140722749811936 139935302412400 139936182090370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5860] ppid=5838 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/5841/task/5860/stat : 5860 (java) S 5838 5841 5130 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175526529 26624892928 12342 33554432000 4194304 4196468 140722749811936 139935301360608 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5861] ppid=5838 vsize=26000872 memory=-1 CPUtime=0 cores=0-7
/proc/5841/task/5861/stat : 5861 (java) S 5838 5841 5130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175526529 26624892928 12342 33554432000 4194304 4196468 140722749811936 139935300308144 139936182090370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 26000872 KiB
Current children cumulated memory: 49368 KiB
[startup+0.700915 s]
/proc/loadavg: 7.27 8.09 7.35 3/198 5861
/proc/meminfo: memFree=21887476/32770624 swapFree=67108860/67108860
[pid=5841] ppid=5838 vsize=26002920 memory=85616 CPUtime=1.43 cores=0-7
/proc/5841/stat : 5841 (java) S 5838 5841 5130 0 -1 1077944320 14066 0 0 0 137 6 0 0 20 0 20 0 175526522 26626990080 21404 33554432000 4194304 4196468 140722749811936 140722749794480 139936182079223 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
/proc/5841/statm: 6500730 21404 3789 1 0 6488444 0
[pid=5841/tid=5843] ppid=5838 vsize=26002920 memory=0 CPUtime=0.67 cores=0-7
/proc/5841/task/5843/stat : 5843 (java) R 5838 5841 5130 0 -1 4202560 8672 0 0 0 64 3 0 0 20 0 20 0 175526523 26626990080 21404 33554432000 4194304 4196468 140722749811936 139936186315888 139935818312986 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5844] ppid=5838 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/5841/task/5844/stat : 5844 (java) S 5838 5841 5130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175526523 26626990080 21404 33554432000 4194304 4196468 140722749811936 139936143039504 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5845] ppid=5838 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/5841/task/5845/stat : 5845 (java) S 5838 5841 5130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175526523 26626990080 21404 33554432000 4194304 4196468 140722749811936 139935739198608 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5846] ppid=5838 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/5841/task/5846/stat : 5846 (java) S 5838 5841 5130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175526523 26626990080 21404 33554432000 4194304 4196468 140722749811936 139935738145552 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5847] ppid=5838 vsize=26002920 memory=792 CPUtime=0 cores=0-7
/proc/5841/task/5847/stat : 5847 (java) S 5838 5841 5130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175526523 26626990080 21404 33554432000 4194304 4196468 140722749811936 139935737093008 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5848] ppid=5838 vsize=26002920 memory=1204 CPUtime=0 cores=0-7
/proc/5841/task/5848/stat : 5848 (java) S 5838 5841 5130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175526523 26626990080 21404 33554432000 4194304 4196468 140722749811936 139935736039952 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5849] ppid=5838 vsize=26002920 memory=1728 CPUtime=0 cores=0-7
/proc/5841/task/5849/stat : 5849 (java) S 5838 5841 5130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175526523 26626990080 21404 33554432000 4194304 4196468 140722749811936 139935734987408 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5850] ppid=5838 vsize=26002920 memory=1440 CPUtime=0 cores=0-7
/proc/5841/task/5850/stat : 5850 (java) S 5838 5841 5130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175526523 26626990080 21404 33554432000 4194304 4196468 140722749811936 139935733934352 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5851] ppid=5838 vsize=26002920 memory=15880 CPUtime=0 cores=0-7
/proc/5841/task/5851/stat : 5851 (java) S 5838 5841 5130 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175526523 26626990080 21404 33554432000 4194304 4196468 140722749811936 139935732881808 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5852] ppid=5838 vsize=26002920 memory=16432 CPUtime=0 cores=0-7
/proc/5841/task/5852/stat : 5852 (java) S 5838 5841 5130 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 175526525 26626990080 21404 33554432000 4194304 4196468 140722749811936 139935309781744 139936182090370 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
################
# More data... #
################
/proc/5841/task/5873/stat : 5873 (java) R 5838 5841 5130 0 -1 1077944384 120051 0 0 0 246493 120 0 0 20 0 46 0 175527134 28409712640 1462743 33554432000 4194304 4196468 140722749811936 139935282658224 139936182089429 0 4 0 16800975 0 0 0 -1 7 0 0 63 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5874] ppid=5838 vsize=27743860 memory=792 CPUtime=0.9 cores=0-7
/proc/5841/task/5874/stat : 5874 (java) S 5838 5841 5130 0 -1 1077944384 92 0 0 0 90 0 0 0 20 0 46 0 175527134 28409712640 1462743 33554432000 4194304 4196468 140722749811936 139935281611664 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5875] ppid=5838 vsize=27743860 memory=1204 CPUtime=0.75 cores=0-7
/proc/5841/task/5875/stat : 5875 (java) S 5838 5841 5130 0 -1 1077944384 97 0 0 0 75 0 0 0 20 0 46 0 175527136 28409712640 1462743 33554432000 4194304 4196468 140722749811936 139935280559120 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5876] ppid=5838 vsize=27743860 memory=1728 CPUtime=1.46 cores=0-7
/proc/5841/task/5876/stat : 5876 (java) S 5838 5841 5130 0 -1 1077944384 537 0 0 0 146 0 0 0 20 0 46 0 175527137 28409712640 1462743 33554432000 4194304 4196468 140722749811936 139935279507088 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5877] ppid=5838 vsize=27743860 memory=1440 CPUtime=0.12 cores=0-7
/proc/5841/task/5877/stat : 5877 (java) S 5838 5841 5130 0 -1 1077944384 44 0 0 0 12 0 0 0 20 0 46 0 175527137 28409712640 1462743 33554432000 4194304 4196468 140722749811936 139935278454544 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5878] ppid=5838 vsize=27743860 memory=15880 CPUtime=0.59 cores=0-7
/proc/5841/task/5878/stat : 5878 (java) S 5838 5841 5130 0 -1 1077944384 77 0 0 0 58 1 0 0 20 0 46 0 175527137 28409712640 1462743 33554432000 4194304 4196468 140722749811936 139935277401488 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5879] ppid=5838 vsize=27743860 memory=16432 CPUtime=0.13 cores=0-7
/proc/5841/task/5879/stat : 5879 (java) S 5838 5841 5130 0 -1 1077944384 51 0 0 0 13 0 0 0 20 0 46 0 175527137 28409712640 1462743 33554432000 4194304 4196468 140722749811936 139935276348944 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5880] ppid=5838 vsize=27743860 memory=27800 CPUtime=1.27 cores=0-7
/proc/5841/task/5880/stat : 5880 (java) S 5838 5841 5130 0 -1 1077944384 179 0 0 0 126 1 0 0 20 0 46 0 175527137 28409712640 1462743 33554432000 4194304 4196468 140722749811936 139935275295888 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5881] ppid=5838 vsize=27743860 memory=4044 CPUtime=2466.61 cores=0-7
/proc/5841/task/5881/stat : 5881 (java) R 5838 5841 5130 0 -1 4202560 127942 0 0 0 246545 116 0 0 20 0 46 0 175527137 28409712640 1462743 33554432000 4194304 4196468 140722749811936 139935274237248 139935822011638 0 4 0 16800975 0 0 0 -1 4 0 0 64 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5882] ppid=5838 vsize=27743860 memory=1792 CPUtime=0.62 cores=0-7
/proc/5841/task/5882/stat : 5882 (java) S 5838 5841 5130 0 -1 1077944384 83 0 0 0 62 0 0 0 20 0 46 0 175527137 28409712640 1462743 33554432000 4194304 4196468 140722749811936 139935273190288 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5883] ppid=5838 vsize=27743860 memory=636 CPUtime=0.68 cores=0-7
/proc/5841/task/5883/stat : 5883 (java) S 5838 5841 5130 0 -1 1077944384 39 0 0 0 68 0 0 0 20 0 46 0 175527137 28409712640 1462743 33554432000 4194304 4196468 140722749811936 139935272137744 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5884] ppid=5838 vsize=27743860 memory=1236 CPUtime=0.1 cores=0-7
/proc/5841/task/5884/stat : 5884 (java) S 5838 5841 5130 0 -1 1077944384 29 0 0 0 10 0 0 0 20 0 46 0 175527153 28409712640 1462743 33554432000 4194304 4196468 140722749811936 139935271085712 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5885] ppid=5838 vsize=27743860 memory=960 CPUtime=2462.8 cores=0-7
/proc/5841/task/5885/stat : 5885 (java) R 5838 5841 5130 0 -1 4202560 113461 0 0 0 246165 115 0 0 20 0 46 0 175527153 28409712640 1462743 33554432000 4194304 4196468 140722749811936 139935199741664 139935824069287 0 4 0 16800975 0 0 0 -1 0 0 0 62 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5886] ppid=5838 vsize=27743860 memory=2240 CPUtime=0.51 cores=0-7
/proc/5841/task/5886/stat : 5886 (java) S 5838 5841 5130 0 -1 1077944384 88 0 0 0 50 1 0 0 20 0 46 0 175527153 28409712640 1462743 33554432000 4194304 4196468 140722749811936 139935198692752 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5887] ppid=5838 vsize=27743860 memory=2464 CPUtime=2465.7 cores=0-7
/proc/5841/task/5887/stat : 5887 (java) R 5838 5841 5130 0 -1 4202560 128134 0 0 0 246427 143 0 0 20 0 46 0 175527153 28409712640 1462743 33554432000 4194304 4196468 140722749811936 139935197633744 139935826581773 0 4 0 16800975 0 0 0 -1 5 0 0 52 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5888] ppid=5838 vsize=27743860 memory=4080 CPUtime=2456.5 cores=0-7
/proc/5841/task/5888/stat : 5888 (java) R 5838 5841 5130 0 -1 4202560 93101 0 0 0 245544 106 0 0 20 0 46 0 175527247 28409712640 1462743 33554432000 4194304 4196468 140722749811936 139935196580032 139935824069549 0 4 0 16800975 0 0 0 -1 1 0 0 59 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5889] ppid=5838 vsize=27743860 memory=932 CPUtime=0.09 cores=0-7
/proc/5841/task/5889/stat : 5889 (java) S 5838 5841 5130 0 -1 1077944384 63 0 0 0 9 0 0 0 20 0 46 0 175527250 28409712640 1462743 33554432000 4194304 4196468 140722749811936 139935195534608 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5890] ppid=5838 vsize=27743860 memory=1584 CPUtime=2458.34 cores=0-7
/proc/5841/task/5890/stat : 5890 (java) R 5838 5841 5130 0 -1 4202560 93765 0 0 0 245739 95 0 0 20 0 46 0 175527251 28409712640 1462743 33554432000 4194304 4196468 140722749811936 139935194478432 139935824069363 0 4 0 16800975 0 0 0 -1 2 0 0 61 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5891] ppid=5838 vsize=27743860 memory=2196 CPUtime=0.47 cores=0-7
/proc/5841/task/5891/stat : 5891 (java) S 5838 5841 5130 0 -1 1077944384 62 0 0 0 46 1 0 0 20 0 46 0 175527252 28409712640 1462743 33554432000 4194304 4196468 140722749811936 139935193429008 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5892] ppid=5838 vsize=27743860 memory=8052 CPUtime=0.54 cores=0-7
/proc/5841/task/5892/stat : 5892 (java) S 5838 5841 5130 0 -1 1077944384 82 0 0 0 53 1 0 0 20 0 46 0 175527252 28409712640 1462743 33554432000 4194304 4196468 140722749811936 139935192376976 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5893] ppid=5838 vsize=27743860 memory=5865336 CPUtime=2461.57 cores=0-7
/proc/5841/task/5893/stat : 5893 (java) R 5838 5841 5130 0 -1 4202560 107691 0 0 0 246041 116 0 0 20 0 46 0 175527252 28409712640 1462743 33554432000 4194304 4196468 140722749811936 139935191318336 139935824070132 0 4 0 16800975 0 0 0 -1 6 0 0 61 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5894] ppid=5838 vsize=27743860 memory=8112282956445269571 CPUtime=0.09 cores=0-7
/proc/5841/task/5894/stat : 5894 (java) S 5838 5841 5130 0 -1 1077944384 23 0 0 0 9 0 0 0 20 0 46 0 175527253 28409712640 1462743 33554432000 4194304 4196468 140722749811936 139935190271376 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5895] ppid=5838 vsize=27743860 memory=5854560 CPUtime=2465.04 cores=0-7
/proc/5841/task/5895/stat : 5895 (java) R 5838 5841 5130 0 -1 4202560 123253 0 0 0 246387 117 0 0 20 0 46 0 175527257 28409712640 1462743 33554432000 4194304 4196468 140722749811936 139935189212656 139935824069061 0 4 0 16800975 0 0 0 -1 3 0 0 60 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
Current children cumulated CPU time: 19856.8 s
Current children cumulated vsize: 27743860 KiB
Current children cumulated memory: 5850972 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.2 s]
# the end of solver process 5841 was just reported to runsolver
# cumulated CPU time of all completed processes: user=19841.2 s, system=16.919 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2520.14 s]
/proc/loadavg: 8.75 8.80 8.71 6/226 5951
/proc/meminfo: memFree=16084244/32770624 swapFree=67108860/67108860
[pid=5841] ppid=5838 vsize=27876988 memory=5851220 CPUtime=19857.8 cores=0-7
/proc/5841/stat : 5841 (java) S 5838 5841 5130 0 -1 1077944320 2127436 0 0 0 1984097 1688 0 0 20 0 48 0 175526522 28546035712 1462805 33554432000 4194304 4196468 140722749811936 140722749794480 139936182079223 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
/proc/5841/statm: 6969247 1462805 3864 1 0 6956440 0
[pid=5841/tid=5843] ppid=5838 vsize=27876988 memory=5858152 CPUtime=5.99 cores=0-7
/proc/5841/task/5843/stat : 5843 (java) S 5838 5841 5130 0 -1 1077944384 14350 0 0 0 591 8 0 0 20 0 48 0 175526523 28546035712 1462805 33554432000 4194304 4196468 140722749811936 139936186316928 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5844] ppid=5838 vsize=27876988 memory=5858664 CPUtime=14.12 cores=0-7
/proc/5841/task/5844/stat : 5844 (java) S 5838 5841 5130 0 -1 1077944384 101471 0 0 0 1334 78 0 0 20 0 48 0 175526523 28546035712 1462805 33554432000 4194304 4196468 140722749811936 139936143039504 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5845] ppid=5838 vsize=27876988 memory=5859692 CPUtime=14.05 cores=0-7
/proc/5841/task/5845/stat : 5845 (java) S 5838 5841 5130 0 -1 1077944384 100537 0 0 0 1324 81 0 0 20 0 48 0 175526523 28546035712 1462805 33554432000 4194304 4196468 140722749811936 139935739198608 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 14 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5846] ppid=5838 vsize=27876988 memory=3472328296227679313 CPUtime=14.07 cores=0-7
/proc/5841/task/5846/stat : 5846 (java) S 5838 5841 5130 0 -1 1077944384 119578 0 0 0 1333 74 0 0 20 0 48 0 175526523 28546035712 1462805 33554432000 4194304 4196468 140722749811936 139935738145552 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 14 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5847] ppid=5838 vsize=27876988 memory=5861232 CPUtime=14.13 cores=0-7
/proc/5841/task/5847/stat : 5847 (java) S 5838 5841 5130 0 -1 1077944384 107469 0 0 0 1339 74 0 0 20 0 48 0 175526523 28546035712 1462805 33554432000 4194304 4196468 140722749811936 139935737093008 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 15 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5848] ppid=5838 vsize=27876988 memory=5858152 CPUtime=14.11 cores=0-7
/proc/5841/task/5848/stat : 5848 (java) S 5838 5841 5130 0 -1 1077944384 109660 0 0 0 1332 79 0 0 20 0 48 0 175526523 28546035712 1462805 33554432000 4194304 4196468 140722749811936 139935736039952 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5849] ppid=5838 vsize=27876988 memory=5851484 CPUtime=14.06 cores=0-7
/proc/5841/task/5849/stat : 5849 (java) S 5838 5841 5130 0 -1 1077944384 101980 0 0 0 1328 78 0 0 20 0 48 0 175526523 28546035712 1462805 33554432000 4194304 4196468 140722749811936 139935734987408 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5850] ppid=5838 vsize=27876988 memory=5851484 CPUtime=14.13 cores=0-7
/proc/5841/task/5850/stat : 5850 (java) S 5838 5841 5130 0 -1 1077944384 101607 0 0 0 1337 76 0 0 20 0 48 0 175526523 28546035712 1462805 33554432000 4194304 4196468 140722749811936 139935733934352 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5851] ppid=5838 vsize=27876988 memory=55 CPUtime=14.11 cores=0-7
/proc/5841/task/5851/stat : 5851 (java) S 5838 5841 5130 0 -1 1077944384 108335 0 0 0 1336 75 0 0 20 0 48 0 175526523 28546035712 1462805 33554432000 4194304 4196468 140722749811936 139935732881808 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5852] ppid=5838 vsize=27876988 memory=139762062849304 CPUtime=11.48 cores=0-7
/proc/5841/task/5852/stat : 5852 (java) S 5838 5841 5130 0 -1 1077944384 275188 0 0 0 988 160 0 0 20 0 48 0 175526525 28546035712 1462805 33554432000 4194304 4196468 140722749811936 139935309781744 139936182090370 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5853] ppid=5838 vsize=27876988 memory=5873544 CPUtime=0 cores=0-7
/proc/5841/task/5853/stat : 5853 (java) S 5838 5841 5130 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 48 0 175526525 28546035712 1462805 33554432000 4194304 4196468 140722749811936 139935308728032 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5854] ppid=5838 vsize=27876988 memory=4096 CPUtime=0 cores=0-7
/proc/5841/task/5854/stat : 5854 (java) S 5838 5841 5130 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 48 0 175526526 28546035712 1462805 33554432000 4194304 4196468 140722749811936 139935307674880 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5855] ppid=5838 vsize=27876988 memory=0 CPUtime=0 cores=0-7
/proc/5841/task/5855/stat : 5855 (java) S 5838 5841 5130 0 -1 1077944384 223 0 0 0 0 0 0 0 20 0 48 0 175526528 28546035712 1462805 33554432000 4194304 4196468 140722749811936 139935306623440 139936182097819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5856] ppid=5838 vsize=27876988 memory=7156589670649974864 CPUtime=2.24 cores=0-7
/proc/5841/task/5856/stat : 5856 (java) S 5838 5841 5130 0 -1 1077944384 8068 0 0 0 222 2 0 0 20 0 48 0 175526528 28546035712 1462805 33554432000 4194304 4196468 140722749811936 139935305570544 139936182090370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5857] ppid=5838 vsize=27876988 memory=840 CPUtime=2.53 cores=0-7
/proc/5841/task/5857/stat : 5857 (java) S 5838 5841 5130 0 -1 1077944384 11136 0 0 0 251 2 0 0 20 0 48 0 175526528 28546035712 1462805 33554432000 4194304 4196468 140722749811936 139935304518000 139936182090370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5858] ppid=5838 vsize=27876988 memory=4104 CPUtime=2.3 cores=0-7
/proc/5841/task/5858/stat : 5858 (java) S 5838 5841 5130 0 -1 1077944384 6676 0 0 0 227 3 0 0 20 0 48 0 175526528 28546035712 1462805 33554432000 4194304 4196468 140722749811936 139935303464944 139936182090370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5859] ppid=5838 vsize=27876988 memory=0 CPUtime=1.05 cores=0-7
/proc/5841/task/5859/stat : 5859 (java) R 5838 5841 5130 0 -1 1077944384 15477 0 0 0 102 3 0 0 20 0 48 0 175526528 28546035712 1462805 33554432000 4194304 4196468 140722749811936 139935302412400 139936182090370 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5860] ppid=5838 vsize=27876988 memory=6935649255759568960 CPUtime=0 cores=0-7
/proc/5841/task/5860/stat : 5860 (java) S 5838 5841 5130 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 48 0 175526529 28546035712 1462805 33554432000 4194304 4196468 140722749811936 139935301360608 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5861] ppid=5838 vsize=27876988 memory=1004 CPUtime=0.86 cores=0-7
/proc/5841/task/5861/stat : 5861 (java) S 5838 5841 5130 0 -1 1077944384 10724 0 0 0 17 69 0 0 20 0 48 0 175526529 28546035712 1462805 33554432000 4194304 4196468 140722749811936 139935300308144 139936182090370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5870] ppid=5838 vsize=27876988 memory=1228 CPUtime=0.02 cores=0-7
/proc/5841/task/5870/stat : 5870 (java) S 5838 5841 5130 0 -1 1077944384 52 0 0 0 2 0 0 0 20 0 48 0 175527112 28546035712 1462805 33554432000 4194304 4196468 140722749811936 139935290016688 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5871] ppid=5838 vsize=27876988 memory=5855076 CPUtime=4.83 cores=0-7
/proc/5841/task/5871/stat : 5871 (java) S 5838 5841 5130 0 -1 1077944384 23991 0 0 0 226 257 0 0 20 0 48 0 175527124 28546035712 1462805 33554432000 4194304 4196468 140722749811936 139935286867360 139936182090370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5872] ppid=5838 vsize=27876988 memory=5855588 CPUtime=1.35 cores=0-7
/proc/5841/task/5872/stat : 5872 (java) S 5838 5841 5130 0 -1 1077944384 160 0 0 0 134 1 0 0 20 0 48 0 175527133 28546035712 1462805 33554432000 4194304 4196468 140722749811936 139935283717264 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5873] ppid=5838 vsize=27876988 memory=5854048 CPUtime=2466.23 cores=0-7
/proc/5841/task/5873/stat : 5873 (java) R 5838 5841 5130 0 -1 4202560 120051 0 0 0 246503 120 0 0 20 0 48 0 175527134 28546035712 1462805 33554432000 4194304 4196468 140722749811936 139935282658112 139935821706972 0 4 0 16800975 0 0 0 -1 7 0 0 63 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5874] ppid=5838 vsize=27876988 memory=5853024 CPUtime=0.9 cores=0-7
/proc/5841/task/5874/stat : 5874 (java) S 5838 5841 5130 0 -1 1077944384 92 0 0 0 90 0 0 0 20 0 48 0 175527134 28546035712 1462805 33554432000 4194304 4196468 140722749811936 139935281611664 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5875] ppid=5838 vsize=27876988 memory=1292 CPUtime=0.75 cores=0-7
/proc/5841/task/5875/stat : 5875 (java) S 5838 5841 5130 0 -1 1077944384 97 0 0 0 75 0 0 0 20 0 48 0 175527136 28546035712 1462805 33554432000 4194304 4196468 140722749811936 139935280559120 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5876] ppid=5838 vsize=27876988 memory=1728 CPUtime=1.46 cores=0-7
/proc/5841/task/5876/stat : 5876 (java) S 5838 5841 5130 0 -1 1077944384 537 0 0 0 146 0 0 0 20 0 48 0 175527137 28546035712 1462805 33554432000 4194304 4196468 140722749811936 139935279507088 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5877] ppid=5838 vsize=27876988 memory=56 CPUtime=0.12 cores=0-7
/proc/5841/task/5877/stat : 5877 (java) S 5838 5841 5130 0 -1 1077944384 44 0 0 0 12 0 0 0 20 0 48 0 175527137 28546035712 1462805 33554432000 4194304 4196468 140722749811936 139935278454544 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5878] ppid=5838 vsize=27876988 memory=5938342964313150550 CPUtime=0.59 cores=0-7
/proc/5841/task/5878/stat : 5878 (java) S 5838 5841 5130 0 -1 1077944384 77 0 0 0 58 1 0 0 20 0 48 0 175527137 28546035712 1462805 33554432000 4194304 4196468 140722749811936 139935277401488 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5879] ppid=5838 vsize=27876988 memory=4639059877604708710 CPUtime=0.13 cores=0-7
/proc/5841/task/5879/stat : 5879 (java) S 5838 5841 5130 0 -1 1077944384 51 0 0 0 13 0 0 0 20 0 48 0 175527137 28546035712 1462805 33554432000 4194304 4196468 140722749811936 139935276348944 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5880] ppid=5838 vsize=27876988 memory=8112282956445269571 CPUtime=1.27 cores=0-7
/proc/5841/task/5880/stat : 5880 (java) S 5838 5841 5130 0 -1 1077944384 179 0 0 0 126 1 0 0 20 0 48 0 175527137 28546035712 1462805 33554432000 4194304 4196468 140722749811936 139935275295888 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5881] ppid=5838 vsize=27876988 memory=1004 CPUtime=2466.74 cores=0-7
/proc/5841/task/5881/stat : 5881 (java) R 5838 5841 5130 0 -1 4202560 127942 0 0 0 246558 116 0 0 20 0 48 0 175527137 28546035712 1462805 33554432000 4194304 4196468 140722749811936 139935274237384 139935822011211 0 4 0 16800975 0 0 0 -1 4 0 0 64 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5882] ppid=5838 vsize=27876988 memory=4096 CPUtime=0.62 cores=0-7
/proc/5841/task/5882/stat : 5882 (java) S 5838 5841 5130 0 -1 1077944384 83 0 0 0 62 0 0 0 20 0 48 0 175527137 28546035712 1462805 33554432000 4194304 4196468 140722749811936 139935273190288 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5883] ppid=5838 vsize=27876988 memory=49208 CPUtime=0.68 cores=0-7
/proc/5841/task/5883/stat : 5883 (java) S 5838 5841 5130 0 -1 1077944384 39 0 0 0 68 0 0 0 20 0 48 0 175527137 28546035712 1462805 33554432000 4194304 4196468 140722749811936 139935272137744 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5884] ppid=5838 vsize=27876988 memory=8112282956445269571 CPUtime=0.1 cores=0-7
/proc/5841/task/5884/stat : 5884 (java) S 5838 5841 5130 0 -1 1077944384 29 0 0 0 10 0 0 0 20 0 48 0 175527153 28546035712 1462805 33554432000 4194304 4196468 140722749811936 139935271085712 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5885] ppid=5838 vsize=27876988 memory=5856612 CPUtime=2462.92 cores=0-7
/proc/5841/task/5885/stat : 5885 (java) R 5838 5841 5130 0 -1 4202560 113461 0 0 0 246177 115 0 0 20 0 48 0 175527153 28546035712 1462805 33554432000 4194304 4196468 140722749811936 139935199741832 139935824069291 0 4 0 16800975 0 0 0 -1 0 0 0 62 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5886] ppid=5838 vsize=27876988 memory=636 CPUtime=0.51 cores=0-7
/proc/5841/task/5886/stat : 5886 (java) S 5838 5841 5130 0 -1 1077944384 88 0 0 0 50 1 0 0 20 0 48 0 175527153 28546035712 1462805 33554432000 4194304 4196468 140722749811936 139935198692752 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5887] ppid=5838 vsize=27876988 memory=1236 CPUtime=2465.82 cores=0-7
/proc/5841/task/5887/stat : 5887 (java) R 5838 5841 5130 0 -1 4202560 128134 0 0 0 246439 143 0 0 20 0 48 0 175527153 28546035712 1462805 33554432000 4194304 4196468 140722749811936 139935197633880 139935823965197 0 4 0 16800975 0 0 0 -1 5 0 0 52 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5888] ppid=5838 vsize=27876988 memory=8112282956445269571 CPUtime=2456.62 cores=0-7
/proc/5841/task/5888/stat : 5888 (java) R 5838 5841 5130 0 -1 4202560 93101 0 0 0 245556 106 0 0 20 0 48 0 175527247 28546035712 1462805 33554432000 4194304 4196468 140722749811936 139935196580168 139935823532434 0 4 0 16800975 0 0 0 -1 1 0 0 59 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5889] ppid=5838 vsize=27876988 memory=-7948225011707063210 CPUtime=0.09 cores=0-7
/proc/5841/task/5889/stat : 5889 (java) S 5838 5841 5130 0 -1 1077944384 63 0 0 0 9 0 0 0 20 0 48 0 175527250 28546035712 1462805 33554432000 4194304 4196468 140722749811936 139935195534608 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5890] ppid=5838 vsize=27876988 memory=6368492738575493738 CPUtime=2458.47 cores=0-7
/proc/5841/task/5890/stat : 5890 (java) R 5838 5841 5130 0 -1 4202560 93765 0 0 0 245752 95 0 0 20 0 48 0 175527251 28546035712 1462805 33554432000 4194304 4196468 140722749811936 139935194478320 139935824807604 0 4 0 16800975 0 0 0 -1 2 0 0 61 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5891] ppid=5838 vsize=27876988 memory=5886880 CPUtime=0.47 cores=0-7
/proc/5841/task/5891/stat : 5891 (java) S 5838 5841 5130 0 -1 1077944384 62 0 0 0 46 1 0 0 20 0 48 0 175527252 28546035712 1462805 33554432000 4194304 4196468 140722749811936 139935193429008 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5892] ppid=5838 vsize=27876988 memory=8112282956445269571 CPUtime=0.54 cores=0-7
/proc/5841/task/5892/stat : 5892 (java) S 5838 5841 5130 0 -1 1077944384 82 0 0 0 53 1 0 0 20 0 48 0 175527252 28546035712 1462805 33554432000 4194304 4196468 140722749811936 139935192376976 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5893] ppid=5838 vsize=27876988 memory=1728 CPUtime=2461.7 cores=0-7
/proc/5841/task/5893/stat : 5893 (java) R 5838 5841 5130 0 -1 4202560 107691 0 0 0 246054 116 0 0 20 0 48 0 175527252 28546035712 1462805 33554432000 4194304 4196468 140722749811936 139935191318472 139935819374215 0 4 0 16800975 0 0 0 -1 6 0 0 61 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5894] ppid=5838 vsize=27876988 memory=5853536 CPUtime=0.09 cores=0-7
/proc/5841/task/5894/stat : 5894 (java) S 5838 5841 5130 0 -1 1077944384 23 0 0 0 9 0 0 0 20 0 48 0 175527253 28546035712 1462805 33554432000 4194304 4196468 140722749811936 139935190271376 139936182089429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
[pid=5841/tid=5895] ppid=5838 vsize=27876988 memory=15880 CPUtime=2465.16 cores=0-7
/proc/5841/task/5895/stat : 5895 (java) R 5838 5841 5130 0 -1 4202560 123253 0 0 0 246399 117 0 0 20 0 48 0 175527257 28546035712 1462805 33554432000 4194304 4196468 140722749811936 139935189212792 139935826482821 0 4 0 16800975 0 0 0 -1 3 0 0 60 0 0 6293624 6294260 34840576 140722749817953 140722749818139 140722749818139 140722749820879 0
Current children cumulated CPU time: 19857.9 s
Current children cumulated vsize: 27876988 KiB
Current children cumulated memory: 5851220 KiB
Child status: 143
Real time (s): 2520.2
CPU time (s): 19858.1
CPU user time (s): 19841.2
CPU system time (s): 16.919
CPU usage (%): 787.959
Max. virtual memory (cumulated for all children) (KiB): 27876988
Max. memory (cumulated for all children) (KiB): 7136236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19841.2
system time used= 16.919
maximum resident set size= 7136236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2128574
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 959753
involuntary context switches= 433637
# summary of solver processes directly reported to runsolver:
# pid: 5841
# total CPU time (s): 19858.1
# total CPU user time (s): 19841.2
# total CPU system time (s): 16.919
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.7314 second user time and 40.7742 second system time
The end
Begin job on node148 at 2017-08-22 19:39:56 IDJOB=4284727 IDBENCH=124177 IDSOLVER=2681 FILE ID=node148/4284727-1503424457 RUNJOBID= node148-1503423567-5157 PBS_JOBID= 20632130 Free space on /tmp= 61644 MiB SOLVER NAME= OscaR - Parallel with EPS 2017-08-22 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-4284727-1503424457/watcher-4284727-1503424457 -o /tmp/evaluation-result-4284727-1503424457/solver-4284727-1503424457 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1503423567-5157 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1762780371 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4284727-1503424457.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= e916ba0c5634620e8924ec581ee284c9 RANDOM SEED=1762780371 node148.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.19 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.19 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.19 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.19 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: 21938160 kB MemAvailable: 31943260 kB Buffers: 305200 kB Cached: 9978812 kB SwapCached: 0 kB Active: 1722088 kB Inactive: 8614728 kB Active(anon): 4384 kB Inactive(anon): 92788 kB Active(file): 1717704 kB Inactive(file): 8521940 kB Unevictable: 7760 kB Mlocked: 7760 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42696 kB Writeback: 0 kB AnonPages: 59788 kB Mapped: 55296 kB Shmem: 41608 kB Slab: 189420 kB SReclaimable: 162584 kB SUnreclaim: 26836 kB KernelStack: 3216 kB PageTables: 4776 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 341380 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 61600 MiB End job on node148 at 2017-08-22 20:21:57