Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 4.0.5 par (2017-08-18) | SAT (TO) | 217 | 20087.1 | 2520.1101 |
| 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.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280317-1503129477.xml" -tl '20160s' -p 8 -x 0 0.12/0.14 c [HOME/instance-4280317-1503129477.xml, -tl, 20160s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.34/0.26 c parse instance... 2.68/0.98 c solve instance... 15.86/2.69 o 240 24.06/3.96 o 239 35.53/5.49 o 238 44.55/6.86 o 237 55.18/8.26 o 236 66.90/9.73 o 235 73.41/10.65 o 234 78.59/11.40 o 233 84.83/12.16 o 232 90.99/12.91 o 231 97.31/13.77 o 230 104.27/14.61 o 229 110.09/15.40 o 228 116.43/16.29 o 227 123.31/17.23 o 226 129.53/18.13 o 225 135.54/19.00 o 224 141.78/19.82 o 223 148.43/20.89 o 222 154.98/21.78 o 221 161.68/22.63 o 220 168.61/23.59 o 219 175.31/24.45 o 218 181.66/25.34 o 217 20086.35/2520.09 s SATISFIABLE 20086.35/2520.09 v <instantiation> 20086.35/2520.09 v <list>p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] 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] </list> 20086.35/2520.10 v <values>1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 1 0 0 0 3 0 0 0 0 0 0 0 3 0 0 0 0 0 1 0 0 0 0 0 3 0 0 0 0 0 0 0 3 0 0 0 0 0 1 0 0 0 0 0 3 0 0 0 0 0 0 0 3 0 0 0 0 0 1 0 0 0 0 0 3 0 0 0 0 0 0 0 3 0 0 0 0 0 1 0 0 0 0 0 3 0 0 0 0 0 0 0 3 0 0 0 0 0 1 0 0 0 0 0 3 0 0 0 0 0 0 0 3 0 0 0 0 0 1 0 0 0 0 0 3 0 0 0 0 0 0 0 3 0 0 0 0 0 1 0 0 0 0 0 3 0 0 0 0 0 0 0 3 0 0 0 0 0 1 0 0 0 0 0 3 0 0 0 0 0 0 0 3 0 0 0 0 0 1 0 0 0 0 0 3 0 0 0 0 0 0 0 3 0 0 0 0 0 1 0 0 0 0 0 3 0 0 0 0 0 0 0 3 0 0 0 0 0 1 0 0 0 0 0 3 0 0 0 0 0 0 0 3 0 0 0 0 0 1 0 0 0 0 0 3 0 0 0 0 0 0 0 3 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 2 3 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 2 0 0 0 0 0 0 0 0 0 0 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 7 0 0 0 0 0 0 0 0 0 0 0 0 1 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 7 0 0 0 0 0 0 0 0 0 0 0 0 1 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 7 0 0 0 0 0 0 0 0 0 0 0 0 1 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 7 0 0 0 0 0 0 0 0 0 0 0 0 1 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 7 0 0 0 0 0 0 0 0 0 0 0 0 1 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 7 0 0 0 0 0 0 0 0 0 0 0 0 1 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 7 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 0 0 1 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 4 4 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 0 6 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 8 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 8 0 0 0 1 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 8 0 0 0 1 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 8 0 0 0 1 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 8 0 0 0 1 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 8 0 0 0 1 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 4 4 1 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 5 6 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 13 0 1 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 13 0 1 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 13 0 1 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 13 0 1 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 13 0 1 0 0 0 0 0 0 0 0 0 0 3 6 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 6 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 23 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 18 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 29 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 13 18 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 32 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values> 20086.35/2520.10 v </instantiation> 20086.35/2520.10 c Unexpected resolution interruption!
OK 217
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 (11248 MiB free)
memory of node 1: 16384 MiB (12240 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280317-1503129477/watcher-4280317-1503129477 -o /tmp/evaluation-result-4280317-1503129477/solver-4280317-1503129477 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1503121039-12355 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1081152292 HOME/instance-4280317-1503129477.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=15920, runsolver pid=15917
[startup+0.100136 s]*
/proc/loadavg: 7.51 8.27 8.32 2/200 15941
/proc/meminfo: memFree=24038112/32770624 swapFree=67108860/67108860
[pid=15920] ppid=15917 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/15920/stat : 15920 (xcsp3-exec) S 15917 15920 12328 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 146035467 9740288 345 33554432000 4194304 5098028 140730056339520 140730056337624 140614157542012 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36937728 140730056340580 140730056340791 140730056340791 140730056343531 0
/proc/15920/statm: 2378 345 289 221 0 87 0
[pid=15922] ppid=15920 vsize=25999808 memory=27560 CPUtime=0.12 cores=0-7
/proc/15922/stat : 15922 (java) S 15920 15920 12328 0 -1 1077944320 5704 0 0 0 11 1 0 0 20 0 20 0 146035467 26623803392 6890 33554432000 4194304 4196468 140720710917200 140720710899744 140151936446199 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
/proc/15922/statm: 6499952 6890 2892 1 0 6488269 0
[pid=15922/tid=15923] ppid=15920 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/15922/task/15923/stat : 15923 (java) R 15920 15920 12328 0 -1 4202560 3700 0 0 0 8 1 0 0 20 0 20 0 146035467 26623803392 6890 33554432000 4194304 4196468 140720710917200 140151940679472 140151936458134 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15924] ppid=15920 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/15922/task/15924/stat : 15924 (java) S 15920 15920 12328 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146035468 26623803392 6890 33554432000 4194304 4196468 140720710917200 140151494196112 140151936456405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15925] ppid=15920 vsize=25999808 memory=140400508176000 CPUtime=0 cores=0-7
/proc/15922/task/15925/stat : 15925 (java) S 15920 15920 12328 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146035468 26623803392 6890 33554432000 4194304 4196468 140720710917200 140151493143312 140151936456405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15926] ppid=15920 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15922/task/15926/stat : 15926 (java) S 15920 15920 12328 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146035468 26623803392 6890 33554432000 4194304 4196468 140720710917200 140151492091024 140151936456405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15927] ppid=15920 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15922/task/15927/stat : 15927 (java) S 15920 15920 12328 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146035468 26623803392 6890 33554432000 4194304 4196468 140720710917200 140151491038224 140151936456405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15928] ppid=15920 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15922/task/15928/stat : 15928 (java) S 15920 15920 12328 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146035468 26623803392 6890 33554432000 4194304 4196468 140720710917200 140151489984912 140151936456405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15929] ppid=15920 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/15922/task/15929/stat : 15929 (java) S 15920 15920 12328 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146035468 26623803392 6890 33554432000 4194304 4196468 140720710917200 140151488932112 140151936456405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15930] ppid=15920 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15922/task/15930/stat : 15930 (java) S 15920 15920 12328 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146035468 26623803392 6890 33554432000 4194304 4196468 140720710917200 140151487879824 140151936456405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15931] ppid=15920 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15922/task/15931/stat : 15931 (java) S 15920 15920 12328 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146035468 26623803392 6890 33554432000 4194304 4196468 140720710917200 140151486827024 140151936456405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15932] ppid=15920 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15922/task/15932/stat : 15932 (java) S 15920 15920 12328 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146035470 26623803392 6890 33554432000 4194304 4196468 140720710917200 140150610807408 140151936457346 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15933] ppid=15920 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15922/task/15933/stat : 15933 (java) S 15920 15920 12328 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146035470 26623803392 6890 33554432000 4194304 4196468 140720710917200 140150609753376 140151936456405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15934] ppid=15920 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15922/task/15934/stat : 15934 (java) S 15920 15920 12328 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146035470 26623803392 6890 33554432000 4194304 4196468 140720710917200 140150608701040 140151936456405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15935] ppid=15920 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15922/task/15935/stat : 15935 (java) S 15920 15920 12328 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146035473 26623803392 6890 33554432000 4194304 4196468 140720710917200 140150607649360 140151936464795 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15936] ppid=15920 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15922/task/15936/stat : 15936 (java) S 15920 15920 12328 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 20 0 146035473 26623803392 6890 33554432000 4194304 4196468 140720710917200 140150606596208 140151936457346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15937] ppid=15920 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15922/task/15937/stat : 15937 (java) S 15920 15920 12328 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146035473 26623803392 6890 33554432000 4194304 4196468 140720710917200 140150605543408 140151936457346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15938] ppid=15920 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15922/task/15938/stat : 15938 (java) S 15920 15920 12328 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146035473 26623803392 6890 33554432000 4194304 4196468 140720710917200 140150604491120 140151936457346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15939] ppid=15920 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/15922/task/15939/stat : 15939 (java) S 15920 15920 12328 0 -1 1077944384 266 0 0 0 1 0 0 0 20 0 20 0 146035473 26623803392 6890 33554432000 4194304 4196468 140720710917200 140150603438320 140151936457346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15940] ppid=15920 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15922/task/15940/stat : 15940 (java) S 15920 15920 12328 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146035473 26623803392 6890 33554432000 4194304 4196468 140720710917200 140150602386272 140151936456405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15941] ppid=15920 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/15922/task/15941/stat : 15941 (java) S 15920 15920 12328 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146035473 26623803392 6890 33554432000 4194304 4196468 140720710917200 140150601333552 140151936457346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28940 KiB
[startup+0.210558 s]*
/proc/loadavg: 7.51 8.27 8.32 3/200 15941
/proc/meminfo: memFree=24026824/32770624 swapFree=67108860/67108860
[pid=15920] ppid=15917 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/15920/stat : 15920 (xcsp3-exec) S 15917 15920 12328 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 146035467 9740288 345 33554432000 4194304 5098028 140730056339520 140730056337624 140614157542012 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36937728 140730056340580 140730056340791 140730056340791 140730056343531 0
/proc/15920/statm: 2378 345 289 221 0 87 0
[pid=15922] ppid=15920 vsize=26004064 memory=39152 CPUtime=0.34 cores=0-7
/proc/15922/stat : 15922 (java) S 15920 15920 12328 0 -1 1077944320 8367 0 0 0 31 3 0 0 20 0 20 0 146035467 26628161536 9788 33554432000 4194304 4196468 140720710917200 140720710899744 140151936446199 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
/proc/15922/statm: 6501016 9788 3049 1 0 6488269 0
[pid=15922/tid=15923] ppid=15920 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/15922/task/15923/stat : 15923 (java) R 15920 15920 12328 0 -1 4202560 5475 0 0 0 18 1 0 0 20 0 20 0 146035467 26628161536 9788 33554432000 4194304 4196468 140720710917200 140151940660208 140151920526686 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15924] ppid=15920 vsize=26004064 memory=331 CPUtime=0 cores=0-7
/proc/15922/task/15924/stat : 15924 (java) S 15920 15920 12328 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146035468 26628161536 9788 33554432000 4194304 4196468 140720710917200 140151494196112 140151936456405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15925] ppid=15920 vsize=26004064 memory=140400508188839 CPUtime=0 cores=0-7
/proc/15922/task/15925/stat : 15925 (java) S 15920 15920 12328 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146035468 26628161536 9788 33554432000 4194304 4196468 140720710917200 140151493143312 140151936456405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15926] ppid=15920 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/15922/task/15926/stat : 15926 (java) S 15920 15920 12328 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146035468 26628161536 9788 33554432000 4194304 4196468 140720710917200 140151492091024 140151936456405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15927] ppid=15920 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15922/task/15927/stat : 15927 (java) S 15920 15920 12328 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146035468 26628161536 9788 33554432000 4194304 4196468 140720710917200 140151491038224 140151936456405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15928] ppid=15920 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15922/task/15928/stat : 15928 (java) S 15920 15920 12328 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146035468 26628161536 9788 33554432000 4194304 4196468 140720710917200 140151489984912 140151936456405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15929] ppid=15920 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/15922/task/15929/stat : 15929 (java) S 15920 15920 12328 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146035468 26628161536 9788 33554432000 4194304 4196468 140720710917200 140151488932112 140151936456405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15930] ppid=15920 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15922/task/15930/stat : 15930 (java) S 15920 15920 12328 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146035468 26628161536 9788 33554432000 4194304 4196468 140720710917200 140151487879824 140151936456405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15931] ppid=15920 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15922/task/15931/stat : 15931 (java) S 15920 15920 12328 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146035468 26628161536 9788 33554432000 4194304 4196468 140720710917200 140151486827024 140151936456405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15932] ppid=15920 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15922/task/15932/stat : 15932 (java) S 15920 15920 12328 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146035470 26628161536 9788 33554432000 4194304 4196468 140720710917200 140150610807408 140151936457346 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15933] ppid=15920 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15922/task/15933/stat : 15933 (java) S 15920 15920 12328 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146035470 26628161536 9788 33554432000 4194304 4196468 140720710917200 140150609753376 140151936456405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15934] ppid=15920 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15922/task/15934/stat : 15934 (java) S 15920 15920 12328 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146035470 26628161536 9788 33554432000 4194304 4196468 140720710917200 140150608701040 140151936456405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15935] ppid=15920 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15922/task/15935/stat : 15935 (java) S 15920 15920 12328 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146035473 26628161536 9788 33554432000 4194304 4196468 140720710917200 140150607649360 140151936464795 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15936] ppid=15920 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/15922/task/15936/stat : 15936 (java) R 15920 15920 12328 0 -1 1077944384 473 0 0 0 1 0 0 0 20 0 20 0 146035473 26628161536 9788 33554432000 4194304 4196468 140720710917200 140150606596208 140151936457346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15937] ppid=15920 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/15922/task/15937/stat : 15937 (java) R 15920 15920 12328 0 -1 1077944384 289 0 0 0 1 0 0 0 20 0 20 0 146035473 26628161536 9788 33554432000 4194304 4196468 140720710917200 140150605543408 140151936457346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15938] ppid=15920 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7
/proc/15922/task/15938/stat : 15938 (java) S 15920 15920 12328 0 -1 1077944384 113 0 0 0 2 0 0 0 20 0 20 0 146035473 26628161536 9788 33554432000 4194304 4196468 140720710917200 140150604491120 140151936457346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15939] ppid=15920 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/15922/task/15939/stat : 15939 (java) R 15920 15920 12328 0 -1 4202560 706 0 0 0 7 0 0 0 20 0 20 0 146035473 26628161536 9788 33554432000 4194304 4196468 140720710917200 140150603438320 140151936458134 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15940] ppid=15920 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15922/task/15940/stat : 15940 (java) S 15920 15920 12328 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146035473 26628161536 9788 33554432000 4194304 4196468 140720710917200 140150602386272 140151936456405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15941] ppid=15920 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/15922/task/15941/stat : 15941 (java) S 15920 15920 12328 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146035473 26628161536 9788 33554432000 4194304 4196468 140720710917200 140150601333552 140151936457346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40532 KiB
[startup+0.310392 s]*
/proc/loadavg: 7.51 8.27 8.32 4/200 15941
/proc/meminfo: memFree=24022420/32770624 swapFree=67108860/67108860
[pid=15920] ppid=15917 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/15920/stat : 15920 (xcsp3-exec) S 15917 15920 12328 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 146035467 9740288 345 33554432000 4194304 5098028 140730056339520 140730056337624 140614157542012 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36937728 140730056340580 140730056340791 140730056340791 140730056343531 0
/proc/15920/statm: 2378 345 289 221 0 87 0
[pid=15922] ppid=15920 vsize=26004064 memory=43524 CPUtime=0.5 cores=0-7
/proc/15922/stat : 15922 (java) S 15920 15920 12328 0 -1 1077944320 9185 0 0 0 47 3 0 0 20 0 20 0 146035467 26628161536 10881 33554432000 4194304 4196468 140720710917200 140720710899744 140151936446199 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
/proc/15922/statm: 6501016 10881 3065 1 0 6488269 0
[pid=15922/tid=15923] ppid=15920 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/15922/task/15923/stat : 15923 (java) R 15920 15920 12328 0 -1 4202560 6141 0 0 0 27 2 0 0 20 0 20 0 146035467 26628161536 10881 33554432000 4194304 4196468 140720710917200 140151940682368 140151573358288 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15924] ppid=15920 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15922/task/15924/stat : 15924 (java) S 15920 15920 12328 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146035468 26628161536 10881 33554432000 4194304 4196468 140720710917200 140151494196112 140151936456405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15925] ppid=15920 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15922/task/15925/stat : 15925 (java) S 15920 15920 12328 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146035468 26628161536 10881 33554432000 4194304 4196468 140720710917200 140151493143312 140151936456405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15926] ppid=15920 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15922/task/15926/stat : 15926 (java) S 15920 15920 12328 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146035468 26628161536 10881 33554432000 4194304 4196468 140720710917200 140151492091024 140151936456405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15927] ppid=15920 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15922/task/15927/stat : 15927 (java) S 15920 15920 12328 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146035468 26628161536 10881 33554432000 4194304 4196468 140720710917200 140151491038224 140151936456405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15928] ppid=15920 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/15922/task/15928/stat : 15928 (java) S 15920 15920 12328 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146035468 26628161536 10881 33554432000 4194304 4196468 140720710917200 140151489984912 140151936456405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15929] ppid=15920 vsize=26004064 memory=140400400626607 CPUtime=0 cores=0-7
/proc/15922/task/15929/stat : 15929 (java) S 15920 15920 12328 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146035468 26628161536 10881 33554432000 4194304 4196468 140720710917200 140151488932112 140151936456405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15930] ppid=15920 vsize=26004064 memory=140400400628912 CPUtime=0 cores=0-7
/proc/15922/task/15930/stat : 15930 (java) S 15920 15920 12328 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146035468 26628161536 10881 33554432000 4194304 4196468 140720710917200 140151487879824 140151936456405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15931] ppid=15920 vsize=26004064 memory=140400400631216 CPUtime=0 cores=0-7
/proc/15922/task/15931/stat : 15931 (java) S 15920 15920 12328 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146035468 26628161536 10881 33554432000 4194304 4196468 140720710917200 140151486827024 140151936456405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15932] ppid=15920 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15922/task/15932/stat : 15932 (java) S 15920 15920 12328 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146035470 26628161536 10881 33554432000 4194304 4196468 140720710917200 140150610807408 140151936457346 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15933] ppid=15920 vsize=26004064 memory=280800801269392 CPUtime=0 cores=0-7
/proc/15922/task/15933/stat : 15933 (java) S 15920 15920 12328 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146035470 26628161536 10881 33554432000 4194304 4196468 140720710917200 140150609753376 140151936456405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15934] ppid=15920 vsize=26004064 memory=280800801276304 CPUtime=0 cores=0-7
/proc/15922/task/15934/stat : 15934 (java) S 15920 15920 12328 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146035470 26628161536 10881 33554432000 4194304 4196468 140720710917200 140150608701040 140151936456405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15935] ppid=15920 vsize=26004064 memory=280800801217584 CPUtime=0 cores=0-7
/proc/15922/task/15935/stat : 15935 (java) S 15920 15920 12328 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146035473 26628161536 10881 33554432000 4194304 4196468 140720710917200 140150607649360 140151936464795 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15936] ppid=15920 vsize=26004064 memory=280800801290128 CPUtime=0.01 cores=0-7
/proc/15922/task/15936/stat : 15936 (java) S 15920 15920 12328 0 -1 1077944384 505 0 0 0 1 0 0 0 20 0 20 0 146035473 26628161536 10881 33554432000 4194304 4196468 140720710917200 140150606596208 140151936457346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15937] ppid=15920 vsize=26004064 memory=280800801297040 CPUtime=0.01 cores=0-7
/proc/15922/task/15937/stat : 15937 (java) S 15920 15920 12328 0 -1 1077944384 318 0 0 0 1 0 0 0 20 0 20 0 146035473 26628161536 10881 33554432000 4194304 4196468 140720710917200 140150605543408 140151936457346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15938] ppid=15920 vsize=26004064 memory=280800801294736 CPUtime=0.03 cores=0-7
/proc/15922/task/15938/stat : 15938 (java) S 15920 15920 12328 0 -1 1077944384 122 0 0 0 3 0 0 0 20 0 20 0 146035473 26628161536 10881 33554432000 4194304 4196468 140720710917200 140150604491120 140151936457346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15939] ppid=15920 vsize=26004064 memory=280800801310896 CPUtime=0.12 cores=0-7
/proc/15922/task/15939/stat : 15939 (java) R 15920 15920 12328 0 -1 4202560 790 0 0 0 12 0 0 0 20 0 20 0 146035473 26628161536 10881 33554432000 4194304 4196468 140720710917200 140150603434080 140151928683326 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15940] ppid=15920 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15922/task/15940/stat : 15940 (java) S 15920 15920 12328 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146035473 26628161536 10881 33554432000 4194304 4196468 140720710917200 140150602386272 140151936456405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15941] ppid=15920 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/15922/task/15941/stat : 15941 (java) S 15920 15920 12328 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146035473 26628161536 10881 33554432000 4194304 4196468 140720710917200 140150601333552 140151936457346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 44904 KiB
[startup+0.701027 s]
/proc/loadavg: 7.51 8.27 8.32 3/200 15941
/proc/meminfo: memFree=24000292/32770624 swapFree=67108860/67108860
[pid=15920] ppid=15917 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/15920/stat : 15920 (xcsp3-exec) S 15917 15920 12328 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 146035467 9740288 345 33554432000 4194304 5098028 140730056339520 140730056337624 140614157542012 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36937728 140730056340580 140730056340791 140730056340791 140730056343531 0
/proc/15920/statm: 2378 345 289 221 0 87 0
[pid=15922] ppid=15920 vsize=26006188 memory=109612 CPUtime=1.84 cores=0-7
/proc/15922/stat : 15922 (java) S 15920 15920 12328 0 -1 1077944320 14495 0 0 0 179 5 0 0 20 0 20 0 146035467 26630336512 27403 33554432000 4194304 4196468 140720710917200 140720710899744 140151936446199 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
/proc/15922/statm: 6501547 27403 3214 1 0 6488781 0
[pid=15922/tid=15923] ppid=15920 vsize=26006188 memory=280800801668784 CPUtime=0.67 cores=0-7
/proc/15922/task/15923/stat : 15923 (java) R 15920 15920 12328 0 -1 4202560 6802 0 0 0 64 3 0 0 20 0 20 0 146035467 26630336512 27403 33554432000 4194304 4196468 140720710917200 140151940683488 140151573573920 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15924] ppid=15920 vsize=26006188 memory=140400400835440 CPUtime=0 cores=0-7
/proc/15922/task/15924/stat : 15924 (java) S 15920 15920 12328 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146035468 26630336512 27403 33554432000 4194304 4196468 140720710917200 140151494196112 140151936456405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15925] ppid=15920 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/15922/task/15925/stat : 15925 (java) S 15920 15920 12328 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146035468 26630336512 27403 33554432000 4194304 4196468 140720710917200 140151493143312 140151936456405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15926] ppid=15920 vsize=26006188 memory=11112 CPUtime=0 cores=0-7
/proc/15922/task/15926/stat : 15926 (java) S 15920 15920 12328 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146035468 26630336512 27403 33554432000 4194304 4196468 140720710917200 140151492091024 140151936456405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
################
# More data... #
################
[pid=15922/tid=16141] ppid=15920 vsize=26538700 memory=4208 CPUtime=2415.98 cores=0-7
/proc/15922/task/16141/stat : 16141 (java) R 15920 15920 12328 0 -1 4202560 1690 0 0 0 241597 1 0 0 20 0 28 0 146038001 27175628800 147224 33554432000 4194304 4196468 140720710917200 140150590660680 140151579972540 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
Current children cumulated CPU time: 19466.3 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 590276 KiB
[startup+2502.3 s]
/proc/loadavg: 8.38 8.35 8.29 9/207 16201
/proc/meminfo: memFree=23478172/32770624 swapFree=67108860/67108860
[pid=15920] ppid=15917 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/15920/stat : 15920 (xcsp3-exec) S 15917 15920 12328 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 146035467 9740288 345 33554432000 4194304 5098028 140730056339520 140730056337624 140614157542012 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36937728 140730056340580 140730056340791 140730056340791 140730056343531 0
/proc/15920/statm: 2378 345 289 221 0 87 0
[pid=15922] ppid=15920 vsize=26538700 memory=588896 CPUtime=19945.1 cores=0-7
/proc/15922/stat : 15922 (java) S 15920 15920 12328 0 -1 1077944320 158491 0 0 0 1994357 148 0 0 20 0 28 0 146035467 27175628800 147224 33554432000 4194304 4196468 140720710917200 140720710899744 140151936446199 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
/proc/15922/statm: 6634675 147224 3286 1 0 6621909 0
[pid=15922/tid=15923] ppid=15920 vsize=26538700 memory=588896 CPUtime=1.01 cores=0-7
/proc/15922/task/15923/stat : 15923 (java) S 15920 15920 12328 0 -1 1077944384 7406 0 0 0 96 5 0 0 20 0 28 0 146035467 27175628800 147224 33554432000 4194304 4196468 140720710917200 140151940686976 140151936456405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15924] ppid=15920 vsize=26538700 memory=588896 CPUtime=0.15 cores=0-7
/proc/15922/task/15924/stat : 15924 (java) S 15920 15920 12328 0 -1 1077944384 2606 0 0 0 11 4 0 0 20 0 28 0 146035468 27175628800 147224 33554432000 4194304 4196468 140720710917200 140151494196112 140151936456405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15925] ppid=15920 vsize=26538700 memory=588896 CPUtime=0.13 cores=0-7
/proc/15922/task/15925/stat : 15925 (java) S 15920 15920 12328 0 -1 1077944384 716 0 0 0 10 3 0 0 20 0 28 0 146035468 27175628800 147224 33554432000 4194304 4196468 140720710917200 140151493143312 140151936456405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15926] ppid=15920 vsize=26538700 memory=1380 CPUtime=0.17 cores=0-7
/proc/15922/task/15926/stat : 15926 (java) S 15920 15920 12328 0 -1 1077944384 1289 0 0 0 12 5 0 0 20 0 28 0 146035468 27175628800 147224 33554432000 4194304 4196468 140720710917200 140151492091024 140151936456405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15927] ppid=15920 vsize=26538700 memory=588896 CPUtime=0.16 cores=0-7
/proc/15922/task/15927/stat : 15927 (java) S 15920 15920 12328 0 -1 1077944384 1825 0 0 0 12 4 0 0 20 0 28 0 146035468 27175628800 147224 33554432000 4194304 4196468 140720710917200 140151491038224 140151936456405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15928] ppid=15920 vsize=26538700 memory=588896 CPUtime=0.12 cores=0-7
/proc/15922/task/15928/stat : 15928 (java) S 15920 15920 12328 0 -1 1077944384 1155 0 0 0 8 4 0 0 20 0 28 0 146035468 27175628800 147224 33554432000 4194304 4196468 140720710917200 140151489984912 140151936456405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15929] ppid=15920 vsize=26538700 memory=588896 CPUtime=0.15 cores=0-7
/proc/15922/task/15929/stat : 15929 (java) S 15920 15920 12328 0 -1 1077944384 1670 0 0 0 11 4 0 0 20 0 28 0 146035468 27175628800 147224 33554432000 4194304 4196468 140720710917200 140151488932112 140151936456405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15930] ppid=15920 vsize=26538700 memory=1380 CPUtime=0.17 cores=0-7
/proc/15922/task/15930/stat : 15930 (java) S 15920 15920 12328 0 -1 1077944384 1029 0 0 0 13 4 0 0 20 0 28 0 146035468 27175628800 147224 33554432000 4194304 4196468 140720710917200 140151487879824 140151936456405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15931] ppid=15920 vsize=26538700 memory=11112 CPUtime=0.14 cores=0-7
/proc/15922/task/15931/stat : 15931 (java) S 15920 15920 12328 0 -1 1077944384 654 0 0 0 10 4 0 0 20 0 28 0 146035468 27175628800 147224 33554432000 4194304 4196468 140720710917200 140151486827024 140151936456405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15932] ppid=15920 vsize=26538700 memory=1228 CPUtime=0.1 cores=0-7
/proc/15922/task/15932/stat : 15932 (java) S 15920 15920 12328 0 -1 1077944384 4762 0 0 0 7 3 0 0 20 0 28 0 146035470 27175628800 147224 33554432000 4194304 4196468 140720710917200 140150610807408 140151936457346 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15933] ppid=15920 vsize=26538700 memory=588896 CPUtime=0 cores=0-7
/proc/15922/task/15933/stat : 15933 (java) S 15920 15920 12328 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 146035470 27175628800 147224 33554432000 4194304 4196468 140720710917200 140150609753440 140151936456405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15934] ppid=15920 vsize=26538700 memory=1380 CPUtime=0 cores=0-7
/proc/15922/task/15934/stat : 15934 (java) S 15920 15920 12328 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 146035470 27175628800 147224 33554432000 4194304 4196468 140720710917200 140150608701056 140151936456405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15935] ppid=15920 vsize=26538700 memory=1380 CPUtime=0 cores=0-7
/proc/15922/task/15935/stat : 15935 (java) S 15920 15920 12328 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 146035473 27175628800 147224 33554432000 4194304 4196468 140720710917200 140150607649360 140151936464795 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15936] ppid=15920 vsize=26538700 memory=4140 CPUtime=3.03 cores=0-7
/proc/15922/task/15936/stat : 15936 (java) S 15920 15920 12328 0 -1 1077944384 28891 0 0 0 297 6 0 0 20 0 28 0 146035473 27175628800 147224 33554432000 4194304 4196468 140720710917200 140150606596208 140151936457346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15937] ppid=15920 vsize=26538700 memory=6791534058613427641 CPUtime=2.32 cores=0-7
/proc/15922/task/15937/stat : 15937 (java) S 15920 15920 12328 0 -1 1077944384 18041 0 0 0 229 3 0 0 20 0 28 0 146035473 27175628800 147224 33554432000 4194304 4196468 140720710917200 140150605543408 140151936457346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15938] ppid=15920 vsize=26538700 memory=4128 CPUtime=2.35 cores=0-7
/proc/15922/task/15938/stat : 15938 (java) S 15920 15920 12328 0 -1 1077944384 19263 0 0 0 232 3 0 0 20 0 28 0 146035473 27175628800 147224 33554432000 4194304 4196468 140720710917200 140150604491120 140151936457346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15939] ppid=15920 vsize=26538700 memory=1380 CPUtime=0.83 cores=0-7
/proc/15922/task/15939/stat : 15939 (java) S 15920 15920 12328 0 -1 1077944384 12309 0 0 0 81 2 0 0 20 0 28 0 146035473 27175628800 147224 33554432000 4194304 4196468 140720710917200 140150603438320 140151936457346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15940] ppid=15920 vsize=26538700 memory=1380 CPUtime=0 cores=0-7
/proc/15922/task/15940/stat : 15940 (java) S 15920 15920 12328 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 146035473 27175628800 147224 33554432000 4194304 4196468 140720710917200 140150602386272 140151936456405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15941] ppid=15920 vsize=26538700 memory=588896 CPUtime=0.87 cores=0-7
/proc/15922/task/15941/stat : 15941 (java) S 15920 15920 12328 0 -1 1077944384 2834 0 0 0 0 87 0 0 20 0 28 0 146035473 27175628800 147224 33554432000 4194304 4196468 140720710917200 140150601333552 140151936457346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=16134] ppid=15920 vsize=26538700 memory=1296 CPUtime=2472.94 cores=0-7
/proc/15922/task/16134/stat : 16134 (java) R 15920 15920 12328 0 -1 4202560 2202 0 0 0 247293 1 0 0 20 0 28 0 146038001 27175628800 147224 33554432000 4194304 4196468 140720710917200 140150592765384 140151579379681 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=16135] ppid=15920 vsize=26538700 memory=1380 CPUtime=2476.22 cores=0-7
/proc/15922/task/16135/stat : 16135 (java) R 15920 15920 12328 0 -1 4202560 1580 0 0 0 247621 1 0 0 20 0 28 0 146038001 27175628800 147224 33554432000 4194304 4196468 140720710917200 140150587503000 140151579972355 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=16136] ppid=15920 vsize=26538700 memory=1380 CPUtime=2471.17 cores=0-7
/proc/15922/task/16136/stat : 16136 (java) R 15920 15920 12328 0 -1 4202560 5145 0 0 0 247115 2 0 0 20 0 28 0 146038001 27175628800 147224 33554432000 4194304 4196468 140720710917200 140150588555640 140151581381692 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=16137] ppid=15920 vsize=26538700 memory=588896 CPUtime=2466.25 cores=0-7
/proc/15922/task/16137/stat : 16137 (java) R 15920 15920 12328 0 -1 4202560 21311 0 0 0 246567 58 0 0 20 0 28 0 146038001 27175628800 147224 33554432000 4194304 4196468 140720710917200 140150591713240 140151579973103 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=16138] ppid=15920 vsize=26538700 memory=588896 CPUtime=2466.37 cores=0-7
/proc/15922/task/16138/stat : 16138 (java) R 15920 15920 12328 0 -1 4202560 5508 0 0 0 246631 6 0 0 20 0 28 0 146038001 27175628800 147224 33554432000 4194304 4196468 140720710917200 140150586449944 140151574368316 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=16139] ppid=15920 vsize=26538700 memory=1380 CPUtime=2454.58 cores=0-7
/proc/15922/task/16139/stat : 16139 (java) R 15920 15920 12328 0 -1 4202560 3554 0 0 0 245457 1 0 0 20 0 28 0 146038001 27175628800 147224 33554432000 4194304 4196468 140720710917200 140150593818272 140151574368372 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=16140] ppid=15920 vsize=26538700 memory=1380 CPUtime=2476.42 cores=0-7
/proc/15922/task/16140/stat : 16140 (java) R 15920 15920 12328 0 -1 4202560 5555 0 0 0 247637 5 0 0 20 0 28 0 146038001 27175628800 147224 33554432000 4194304 4196468 140720710917200 140150589607880 140151579379584 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=16141] ppid=15920 vsize=26538700 memory=588896 CPUtime=2475.58 cores=0-7
/proc/15922/task/16141/stat : 16141 (java) R 15920 15920 12328 0 -1 4202560 1712 0 0 0 247557 1 0 0 20 0 28 0 146038001 27175628800 147224 33554432000 4194304 4196468 140720710917200 140150590660680 140151574368342 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
Current children cumulated CPU time: 19945.1 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 590276 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 8.27 8.33 8.29 9/207 16201
/proc/meminfo: memFree=23478172/32770624 swapFree=67108860/67108860
[pid=15920] ppid=15917 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/15920/stat : 15920 (xcsp3-exec) S 15917 15920 12328 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 146035467 9740288 345 33554432000 4194304 5098028 140730056339520 140730056337624 140614157542012 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36937728 140730056340580 140730056340791 140730056340791 140730056343531 0
/proc/15920/statm: 2378 345 289 221 0 87 0
[pid=15922] ppid=15920 vsize=26538700 memory=588896 CPUtime=20086.3 cores=0-7
/proc/15922/stat : 15922 (java) S 15920 15920 12328 0 -1 1077944320 158536 0 0 0 2008487 148 0 0 20 0 28 0 146035467 27175628800 147224 33554432000 4194304 4196468 140720710917200 140720710899744 140151936446199 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
/proc/15922/statm: 6634675 147224 3286 1 0 6621909 0
[pid=15922/tid=15923] ppid=15920 vsize=26538700 memory=6791534058613427641 CPUtime=1.01 cores=0-7
/proc/15922/task/15923/stat : 15923 (java) S 15920 15920 12328 0 -1 1077944384 7406 0 0 0 96 5 0 0 20 0 28 0 146035467 27175628800 147224 33554432000 4194304 4196468 140720710917200 140151940686976 140151936456405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15924] ppid=15920 vsize=26538700 memory=1380 CPUtime=0.15 cores=0-7
/proc/15922/task/15924/stat : 15924 (java) S 15920 15920 12328 0 -1 1077944384 2606 0 0 0 11 4 0 0 20 0 28 0 146035468 27175628800 147224 33554432000 4194304 4196468 140720710917200 140151494196112 140151936456405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15925] ppid=15920 vsize=26538700 memory=1380 CPUtime=0.13 cores=0-7
/proc/15922/task/15925/stat : 15925 (java) S 15920 15920 12328 0 -1 1077944384 716 0 0 0 10 3 0 0 20 0 28 0 146035468 27175628800 147224 33554432000 4194304 4196468 140720710917200 140151493143312 140151936456405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15926] ppid=15920 vsize=26538700 memory=588896 CPUtime=0.17 cores=0-7
/proc/15922/task/15926/stat : 15926 (java) S 15920 15920 12328 0 -1 1077944384 1289 0 0 0 12 5 0 0 20 0 28 0 146035468 27175628800 147224 33554432000 4194304 4196468 140720710917200 140151492091024 140151936456405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15927] ppid=15920 vsize=26538700 memory=4872558044660077418 CPUtime=0.16 cores=0-7
/proc/15922/task/15927/stat : 15927 (java) S 15920 15920 12328 0 -1 1077944384 1825 0 0 0 12 4 0 0 20 0 28 0 146035468 27175628800 147224 33554432000 4194304 4196468 140720710917200 140151491038224 140151936456405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15928] ppid=15920 vsize=26538700 memory=588896 CPUtime=0.12 cores=0-7
/proc/15922/task/15928/stat : 15928 (java) S 15920 15920 12328 0 -1 1077944384 1155 0 0 0 8 4 0 0 20 0 28 0 146035468 27175628800 147224 33554432000 4194304 4196468 140720710917200 140151489984912 140151936456405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15929] ppid=15920 vsize=26538700 memory=2428 CPUtime=0.15 cores=0-7
/proc/15922/task/15929/stat : 15929 (java) S 15920 15920 12328 0 -1 1077944384 1670 0 0 0 11 4 0 0 20 0 28 0 146035468 27175628800 147224 33554432000 4194304 4196468 140720710917200 140151488932112 140151936456405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15930] ppid=15920 vsize=26538700 memory=1728 CPUtime=0.17 cores=0-7
/proc/15922/task/15930/stat : 15930 (java) S 15920 15920 12328 0 -1 1077944384 1029 0 0 0 13 4 0 0 20 0 28 0 146035468 27175628800 147224 33554432000 4194304 4196468 140720710917200 140151487879824 140151936456405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15931] ppid=15920 vsize=26538700 memory=1716 CPUtime=0.14 cores=0-7
/proc/15922/task/15931/stat : 15931 (java) S 15920 15920 12328 0 -1 1077944384 654 0 0 0 10 4 0 0 20 0 28 0 146035468 27175628800 147224 33554432000 4194304 4196468 140720710917200 140151486827024 140151936456405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15932] ppid=15920 vsize=26538700 memory=1952 CPUtime=0.1 cores=0-7
/proc/15922/task/15932/stat : 15932 (java) S 15920 15920 12328 0 -1 1077944384 4762 0 0 0 7 3 0 0 20 0 28 0 146035470 27175628800 147224 33554432000 4194304 4196468 140720710917200 140150610807408 140151936457346 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15933] ppid=15920 vsize=26538700 memory=1200 CPUtime=0 cores=0-7
/proc/15922/task/15933/stat : 15933 (java) S 15920 15920 12328 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 146035470 27175628800 147224 33554432000 4194304 4196468 140720710917200 140150609753440 140151936456405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15934] ppid=15920 vsize=26538700 memory=8604 CPUtime=0 cores=0-7
/proc/15922/task/15934/stat : 15934 (java) S 15920 15920 12328 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 146035470 27175628800 147224 33554432000 4194304 4196468 140720710917200 140150608701056 140151936456405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15935] ppid=15920 vsize=26538700 memory=5784 CPUtime=0 cores=0-7
/proc/15922/task/15935/stat : 15935 (java) S 15920 15920 12328 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 146035473 27175628800 147224 33554432000 4194304 4196468 140720710917200 140150607649360 140151936464795 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15936] ppid=15920 vsize=26538700 memory=4616 CPUtime=3.03 cores=0-7
/proc/15922/task/15936/stat : 15936 (java) S 15920 15920 12328 0 -1 1077944384 28891 0 0 0 297 6 0 0 20 0 28 0 146035473 27175628800 147224 33554432000 4194304 4196468 140720710917200 140150606596208 140151936457346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15937] ppid=15920 vsize=26538700 memory=1008 CPUtime=2.32 cores=0-7
/proc/15922/task/15937/stat : 15937 (java) S 15920 15920 12328 0 -1 1077944384 18041 0 0 0 229 3 0 0 20 0 28 0 146035473 27175628800 147224 33554432000 4194304 4196468 140720710917200 140150605543408 140151936457346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15938] ppid=15920 vsize=26538700 memory=11112 CPUtime=2.35 cores=0-7
/proc/15922/task/15938/stat : 15938 (java) S 15920 15920 12328 0 -1 1077944384 19263 0 0 0 232 3 0 0 20 0 28 0 146035473 27175628800 147224 33554432000 4194304 4196468 140720710917200 140150604491120 140151936457346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15939] ppid=15920 vsize=26538700 memory=1228 CPUtime=0.83 cores=0-7
/proc/15922/task/15939/stat : 15939 (java) S 15920 15920 12328 0 -1 1077944384 12309 0 0 0 81 2 0 0 20 0 28 0 146035473 27175628800 147224 33554432000 4194304 4196468 140720710917200 140150603438320 140151936457346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15940] ppid=15920 vsize=26538700 memory=1420 CPUtime=0 cores=0-7
/proc/15922/task/15940/stat : 15940 (java) S 15920 15920 12328 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 146035473 27175628800 147224 33554432000 4194304 4196468 140720710917200 140150602386272 140151936456405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=15941] ppid=15920 vsize=26538700 memory=15876 CPUtime=0.88 cores=0-7
/proc/15922/task/15941/stat : 15941 (java) S 15920 15920 12328 0 -1 1077944384 2836 0 0 0 0 88 0 0 20 0 28 0 146035473 27175628800 147224 33554432000 4194304 4196468 140720710917200 140150601333552 140151936457346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=16134] ppid=15920 vsize=26538700 memory=16448 CPUtime=2490.65 cores=0-7
/proc/15922/task/16134/stat : 16134 (java) R 15920 15920 12328 0 -1 4202560 2202 0 0 0 249064 1 0 0 20 0 28 0 146038001 27175628800 147224 33554432000 4194304 4196468 140720710917200 140150592765384 140151574368376 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=16135] ppid=15920 vsize=26538700 memory=22564 CPUtime=2493.93 cores=0-7
/proc/15922/task/16135/stat : 16135 (java) R 15920 15920 12328 0 -1 4202560 1581 0 0 0 249392 1 0 0 20 0 28 0 146038001 27175628800 147224 33554432000 4194304 4196468 140720710917200 140150587503000 140151574368316 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=16136] ppid=15920 vsize=26538700 memory=4048 CPUtime=2488.88 cores=0-7
/proc/15922/task/16136/stat : 16136 (java) R 15920 15920 12328 0 -1 4202560 5145 0 0 0 248886 2 0 0 20 0 28 0 146038001 27175628800 147224 33554432000 4194304 4196468 140720710917200 140150588555640 140151579972679 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=16137] ppid=15920 vsize=26538700 memory=1236 CPUtime=2483.75 cores=0-7
/proc/15922/task/16137/stat : 16137 (java) R 15920 15920 12328 0 -1 4202560 21315 0 0 0 248317 58 0 0 20 0 28 0 146038001 27175628800 147224 33554432000 4194304 4196468 140720710917200 140150591713240 140151579972640 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=16138] ppid=15920 vsize=26538700 memory=644 CPUtime=2484.08 cores=0-7
/proc/15922/task/16138/stat : 16138 (java) R 15920 15920 12328 0 -1 4202560 5541 0 0 0 248401 7 0 0 20 0 28 0 146038001 27175628800 147224 33554432000 4194304 4196468 140720710917200 140150586449944 140151579972694 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=16139] ppid=15920 vsize=26538700 memory=1788 CPUtime=2472.28 cores=0-7
/proc/15922/task/16139/stat : 16139 (java) R 15920 15920 12328 0 -1 4202560 3555 0 0 0 247227 1 0 0 20 0 28 0 146038001 27175628800 147224 33554432000 4194304 4196468 140720710917200 140150593818272 140151574368316 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=16140] ppid=15920 vsize=26538700 memory=952 CPUtime=2494.12 cores=0-7
/proc/15922/task/16140/stat : 16140 (java) R 15920 15920 12328 0 -1 4202560 5558 0 0 0 249407 5 0 0 20 0 28 0 146038001 27175628800 147224 33554432000 4194304 4196468 140720710917200 140150589607880 140151579972375 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
[pid=15922/tid=16141] ppid=15920 vsize=26538700 memory=2424 CPUtime=2493.13 cores=0-7
/proc/15922/task/16141/stat : 16141 (java) R 15920 15920 12328 0 -1 4202560 1713 0 0 0 249312 1 0 0 20 0 28 0 146038001 27175628800 147224 33554432000 4194304 4196468 140720710917200 140150590660680 140151574368316 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 39178240 140720710923410 140720710923587 140720710923587 140720710926287 0
Current children cumulated CPU time: 20086.3 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 590276 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.04 s]
# the end of solver process 15920 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001009 s, system=0.001009 s
[startup+2520.11 s]
# the end of solver process 15922 was just reported to runsolver
# cumulated CPU time of all completed processes: user=20085.6 s, system=1.4957 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2520.11
CPU time (s): 20087.1
CPU user time (s): 20085.6
CPU system time (s): 1.4957
CPU usage (%): 797.073
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 683632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20085.6
system time used= 1.4957
maximum resident set size= 691704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 159449
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 63116
involuntary context switches= 201874
# summary of solver processes directly reported to runsolver:
# pid: 15920,15922
# total CPU time (s): 20087.1
# total CPU user time (s): 20085.6
# total CPU system time (s): 1.4957
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.6583 second user time and 30.5571 second system time
The end
Begin job on node104 at 2017-08-19 09:43:37 IDJOB=4280317 IDBENCH=124177 IDSOLVER=2675 FILE ID=node104/4280317-1503129477 RUNJOBID= node104-1503121039-12355 PBS_JOBID= 20630772 Free space on /tmp= 61784 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t04-1.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4280317-1503129477/watcher-4280317-1503129477 -o /tmp/evaluation-result-4280317-1503129477/solver-4280317-1503129477 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1503121039-12355 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1081152292 HOME/instance-4280317-1503129477.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= e916ba0c5634620e8924ec581ee284c9 RANDOM SEED=1081152292 node104.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.43 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.43 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.43 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.43 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: 24052944 kB MemAvailable: 31963376 kB Buffers: 271368 kB Cached: 7918972 kB SwapCached: 0 kB Active: 3248280 kB Inactive: 4993992 kB Active(anon): 54848 kB Inactive(anon): 33192 kB Active(file): 3193432 kB Inactive(file): 4960800 kB Unevictable: 7828 kB Mlocked: 7828 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8028 kB Writeback: 0 kB AnonPages: 184960 kB Mapped: 50184 kB Shmem: 33420 kB Slab: 169960 kB SReclaimable: 144072 kB SUnreclaim: 25888 kB KernelStack: 3744 kB PageTables: 5152 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 333252 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 131072 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 61776 MiB End job on node104 at 2017-08-19 10:25:37