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-09) | SAT (TO) | 217 | 1990.55 | 252.12 |
| Name | Cutstock/Cutstock-zinc-s1/ Cutstock-t04-1.xml |
| MD5SUM | e916ba0c5634620e8924ec581ee284c9 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 217 |
| Best CPU time to get the best result obtained on this benchmark | 1990.55 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 5040 |
| Number of constraints | 262 |
| Number of domains | 17 |
| Minimum domain size | 2 |
| Maximum domain size | 195 |
| Distribution of domain sizes | [{"size":2,"count":240},{"size":4,"count":240},{"size":25,"count":480},{"size":44,"count":240},{"size":45,"count":240},{"size":73,"count":240},{"size":78,"count":240},{"size":87,"count":480},{"size":102,"count":240},{"size":107,"count":240},{"size":130,"count":240},{"size":131,"count":240},{"size":132,"count":480},{"size":139,"count":480},{"size":170,"count":240},{"size":175,"count":240},{"size":195,"count":240}] |
| Minimum variable degree | 3 |
| Maximum variable degree | 3 |
| Distribution of variable degrees | [{"degree":3,"count":5040}] |
| Minimum constraint arity | 21 |
| Maximum constraint arity | 4800 |
| Distribution of constraint arities | [{"arity":21,"count":240},{"arity":240,"count":21},{"arity":4800,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":260}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271497-1502641456.xml" -tl '2016s' -p 8 -x 0 0.11/0.14 c [HOME/instance-4271497-1502641456.xml, -tl, 2016s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.32/0.26 c parse instance... 2.69/0.99 c solve instance... 16.59/2.79 o 240 24.07/4.05 o 239 33.55/5.39 o 238 43.86/6.73 o 237 52.30/7.88 o 236 60.98/9.00 o 235 68.77/9.91 o 234 75.17/10.84 o 233 82.42/11.84 o 232 88.49/12.63 o 231 94.74/13.43 o 230 102.60/14.63 o 229 109.42/15.61 o 228 115.67/16.45 o 227 122.34/17.34 o 226 128.50/18.20 o 225 135.26/19.04 o 224 141.47/19.83 o 223 147.73/20.64 o 222 154.70/21.59 o 221 161.56/22.49 o 220 168.09/23.49 o 219 173.83/24.23 o 218 179.61/25.10 o 217 1989.74/252.09 s SATISFIABLE 1989.74/252.09 v <instantiation> 1989.74/252.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> 1989.74/252.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> 1989.74/252.10 v </instantiation> 1989.74/252.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 (13951 MiB free)
memory of node 1: 16384 MiB (14245 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271497-1502641456/watcher-4271497-1502641456 -o /tmp/evaluation-result-4271497-1502641456/solver-4271497-1502641456 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node148-1502640088-19295 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1476537604 HOME/instance-4271497-1502641456.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
solver pid=20324, runsolver pid=20321
Current StackSize limit: 8192 KiB
[startup+0.100154 s]*
/proc/loadavg: 7.92 7.24 5.26 2/199 20345
/proc/meminfo: memFree=28859996/32770624 swapFree=67108860/67108860
[pid=20324] ppid=20321 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/20324/stat : 20324 (xcsp3-exec) S 20321 20324 19268 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97226667 9740288 346 33554432000 4194304 5098028 140730343999504 140730343997608 140611653956220 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29167616 140730344002666 140730344002876 140730344002876 140730344005611 0
/proc/20324/statm: 2378 346 289 221 0 87 0
[pid=20326] ppid=20324 vsize=25999808 memory=26092 CPUtime=0.11 cores=0-7
/proc/20326/stat : 20326 (java) S 20324 20324 19268 0 -1 1077944320 5478 0 0 0 10 1 0 0 20 0 20 0 97226667 26623803392 6523 33554432000 4194304 4196468 140729364999968 140729364982512 140562279546615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
/proc/20326/statm: 6499952 6523 2845 1 0 6488269 0
[pid=20326/tid=20327] ppid=20324 vsize=25999808 memory=7896106954314915737 CPUtime=0.08 cores=0-7
/proc/20326/task/20327/stat : 20327 (java) R 20324 20324 19268 0 -1 4202560 3485 0 0 0 8 0 0 0 20 0 20 0 97226668 26623803392 6589 33554432000 4194304 4196468 140729364999968 140562283762768 140562279558550 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20328] ppid=20324 vsize=25999808 memory=732370108559461349 CPUtime=0 cores=0-7
/proc/20326/task/20328/stat : 20328 (java) S 20324 20324 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97226669 26623803392 6589 33554432000 4194304 4196468 140729364999968 140562202126736 140562279556821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20329] ppid=20324 vsize=25999808 memory=139970222007936 CPUtime=0 cores=0-7
/proc/20326/task/20329/stat : 20329 (java) S 20324 20324 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97226669 26623803392 6589 33554432000 4194304 4196468 140729364999968 140562201073936 140562279556821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20330] ppid=20324 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20326/task/20330/stat : 20330 (java) S 20324 20324 19268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97226669 26623803392 6589 33554432000 4194304 4196468 140729364999968 140561836169872 140562279556821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20331] ppid=20324 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20326/task/20331/stat : 20331 (java) S 20324 20324 19268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97226669 26623803392 6589 33554432000 4194304 4196468 140729364999968 140561835117072 140562279556821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20332] ppid=20324 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20326/task/20332/stat : 20332 (java) S 20324 20324 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97226669 26623803392 6589 33554432000 4194304 4196468 140729364999968 140561834064784 140562279556821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20333] ppid=20324 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/20326/task/20333/stat : 20333 (java) S 20324 20324 19268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97226669 26623803392 6589 33554432000 4194304 4196468 140729364999968 140561833011984 140562279556821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20334] ppid=20324 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20326/task/20334/stat : 20334 (java) S 20324 20324 19268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97226669 26623803392 6589 33554432000 4194304 4196468 140729364999968 140561831959696 140562279556821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20335] ppid=20324 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20326/task/20335/stat : 20335 (java) S 20324 20324 19268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97226669 26623803392 6589 33554432000 4194304 4196468 140729364999968 140561830906896 140562279556821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20336] ppid=20324 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20326/task/20336/stat : 20336 (java) S 20324 20324 19268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97226670 26623803392 6589 33554432000 4194304 4196468 140729364999968 140561674651760 140562279557762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20337] ppid=20324 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20326/task/20337/stat : 20337 (java) S 20324 20324 19268 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97226671 26623803392 6589 33554432000 4194304 4196468 140729364999968 140561673597728 140562279556821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20338] ppid=20324 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20326/task/20338/stat : 20338 (java) S 20324 20324 19268 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97226671 26623803392 6589 33554432000 4194304 4196468 140729364999968 140561672545392 140562279556821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20339] ppid=20324 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20326/task/20339/stat : 20339 (java) S 20324 20324 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97226673 26623803392 6589 33554432000 4194304 4196468 140729364999968 140561671493712 140562279565211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20340] ppid=20324 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20326/task/20340/stat : 20340 (java) S 20324 20324 19268 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 97226673 26623803392 6589 33554432000 4194304 4196468 140729364999968 140561670441584 140562279557762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20341] ppid=20324 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20326/task/20341/stat : 20341 (java) S 20324 20324 19268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97226673 26623803392 6589 33554432000 4194304 4196468 140729364999968 140561669388784 140562279557762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20342] ppid=20324 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20326/task/20342/stat : 20342 (java) S 20324 20324 19268 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 97226673 26623803392 6589 33554432000 4194304 4196468 140729364999968 140561668336496 140562279557762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20343] ppid=20324 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/20326/task/20343/stat : 20343 (java) R 20324 20324 19268 0 -1 4202560 259 0 0 0 1 0 0 0 20 0 20 0 97226673 26623803392 6589 33554432000 4194304 4196468 140729364999968 140561667283696 140562263627102 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20344] ppid=20324 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20326/task/20344/stat : 20344 (java) S 20324 20324 19268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97226673 26623803392 6589 33554432000 4194304 4196468 140729364999968 140561666230624 140562279556821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20345] ppid=20324 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/20326/task/20345/stat : 20345 (java) S 20324 20324 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97226674 26623803392 6589 33554432000 4194304 4196468 140729364999968 140561665177904 140562279557762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27476 KiB
[startup+0.210114 s]*
/proc/loadavg: 7.92 7.24 5.26 2/199 20345
/proc/meminfo: memFree=28848696/32770624 swapFree=67108860/67108860
[pid=20324] ppid=20321 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/20324/stat : 20324 (xcsp3-exec) S 20321 20324 19268 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97226667 9740288 346 33554432000 4194304 5098028 140730343999504 140730343997608 140611653956220 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29167616 140730344002666 140730344002876 140730344002876 140730344005611 0
/proc/20324/statm: 2378 346 289 221 0 87 0
[pid=20326] ppid=20324 vsize=26004064 memory=38840 CPUtime=0.32 cores=0-7
/proc/20326/stat : 20326 (java) S 20324 20324 19268 0 -1 1077944320 8304 0 0 0 30 2 0 0 20 0 20 0 97226667 26628161536 9710 33554432000 4194304 4196468 140729364999968 140729364982512 140562279546615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
/proc/20326/statm: 6501016 9710 3027 1 0 6488269 0
[pid=20326/tid=20327] ppid=20324 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7
/proc/20326/task/20327/stat : 20327 (java) R 20324 20324 19268 0 -1 4202560 5396 0 0 0 18 1 0 0 20 0 20 0 97226668 26628161536 9710 33554432000 4194304 4196468 140729364999968 140562283767608 140562272224629 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20328] ppid=20324 vsize=26004064 memory=732370108559461349 CPUtime=0 cores=0-7
/proc/20326/task/20328/stat : 20328 (java) S 20324 20324 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97226669 26628161536 9710 33554432000 4194304 4196468 140729364999968 140562202126736 140562279556821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20329] ppid=20324 vsize=26004064 memory=139970222007936 CPUtime=0 cores=0-7
/proc/20326/task/20329/stat : 20329 (java) S 20324 20324 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97226669 26628161536 9710 33554432000 4194304 4196468 140729364999968 140562201073936 140562279556821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20330] ppid=20324 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20326/task/20330/stat : 20330 (java) S 20324 20324 19268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97226669 26628161536 9710 33554432000 4194304 4196468 140729364999968 140561836169872 140562279556821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20331] ppid=20324 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20326/task/20331/stat : 20331 (java) S 20324 20324 19268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97226669 26628161536 9710 33554432000 4194304 4196468 140729364999968 140561835117072 140562279556821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20332] ppid=20324 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20326/task/20332/stat : 20332 (java) S 20324 20324 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97226669 26628161536 9710 33554432000 4194304 4196468 140729364999968 140561834064784 140562279556821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20333] ppid=20324 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/20326/task/20333/stat : 20333 (java) S 20324 20324 19268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97226669 26628161536 9710 33554432000 4194304 4196468 140729364999968 140561833011984 140562279556821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20334] ppid=20324 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20326/task/20334/stat : 20334 (java) S 20324 20324 19268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97226669 26628161536 9710 33554432000 4194304 4196468 140729364999968 140561831959696 140562279556821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20335] ppid=20324 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20326/task/20335/stat : 20335 (java) S 20324 20324 19268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97226669 26628161536 9710 33554432000 4194304 4196468 140729364999968 140561830906896 140562279556821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20336] ppid=20324 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20326/task/20336/stat : 20336 (java) S 20324 20324 19268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97226670 26628161536 9710 33554432000 4194304 4196468 140729364999968 140561674651760 140562279557762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20337] ppid=20324 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20326/task/20337/stat : 20337 (java) S 20324 20324 19268 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97226671 26628161536 9710 33554432000 4194304 4196468 140729364999968 140561673597728 140562279556821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20338] ppid=20324 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20326/task/20338/stat : 20338 (java) S 20324 20324 19268 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97226671 26628161536 9710 33554432000 4194304 4196468 140729364999968 140561672545392 140562279556821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20339] ppid=20324 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20326/task/20339/stat : 20339 (java) S 20324 20324 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97226673 26628161536 9710 33554432000 4194304 4196468 140729364999968 140561671493712 140562279565211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20340] ppid=20324 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/20326/task/20340/stat : 20340 (java) S 20324 20324 19268 0 -1 1077944384 368 0 0 0 1 0 0 0 20 0 20 0 97226673 26628161536 9710 33554432000 4194304 4196468 140729364999968 140561670441584 140562279557762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20341] ppid=20324 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20326/task/20341/stat : 20341 (java) S 20324 20324 19268 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 97226673 26628161536 9710 33554432000 4194304 4196468 140729364999968 140561669388784 140562279557762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20342] ppid=20324 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/20326/task/20342/stat : 20342 (java) S 20324 20324 19268 0 -1 1077944384 384 0 0 0 2 0 0 0 20 0 20 0 97226673 26628161536 9710 33554432000 4194304 4196468 140729364999968 140561668336496 140562279557762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20343] ppid=20324 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/20326/task/20343/stat : 20343 (java) R 20324 20324 19268 0 -1 4202560 802 0 0 0 7 0 0 0 20 0 20 0 97226673 26628161536 9710 33554432000 4194304 4196468 140729364999968 140561667281232 140562258251473 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20344] ppid=20324 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20326/task/20344/stat : 20344 (java) S 20324 20324 19268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97226673 26628161536 9710 33554432000 4194304 4196468 140729364999968 140561666230624 140562279556821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20345] ppid=20324 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/20326/task/20345/stat : 20345 (java) S 20324 20324 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97226674 26628161536 9710 33554432000 4194304 4196468 140729364999968 140561665177904 140562279557762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40224 KiB
[startup+0.309427 s]*
/proc/loadavg: 7.92 7.24 5.26 3/199 20345
/proc/meminfo: memFree=28843920/32770624 swapFree=67108860/67108860
[pid=20324] ppid=20321 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/20324/stat : 20324 (xcsp3-exec) S 20321 20324 19268 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97226667 9740288 346 33554432000 4194304 5098028 140730343999504 140730343997608 140611653956220 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29167616 140730344002666 140730344002876 140730344002876 140730344005611 0
/proc/20324/statm: 2378 346 289 221 0 87 0
[pid=20326] ppid=20324 vsize=26004064 memory=43480 CPUtime=0.5 cores=0-7
/proc/20326/stat : 20326 (java) S 20324 20324 19268 0 -1 1077944320 9179 0 0 0 47 3 0 0 20 0 20 0 97226667 26628161536 10870 33554432000 4194304 4196468 140729364999968 140729364982512 140562279546615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
/proc/20326/statm: 6501016 10870 3066 1 0 6488269 0
[pid=20326/tid=20327] ppid=20324 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/20326/task/20327/stat : 20327 (java) R 20324 20324 19268 0 -1 4202560 6063 0 0 0 27 2 0 0 20 0 20 0 97226668 26628161536 10870 33554432000 4194304 4196468 140729364999968 140562283782864 140562263627102 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20328] ppid=20324 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20326/task/20328/stat : 20328 (java) S 20324 20324 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97226669 26628161536 10870 33554432000 4194304 4196468 140729364999968 140562202126736 140562279556821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20329] ppid=20324 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20326/task/20329/stat : 20329 (java) S 20324 20324 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97226669 26628161536 10870 33554432000 4194304 4196468 140729364999968 140562201073936 140562279556821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20330] ppid=20324 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20326/task/20330/stat : 20330 (java) S 20324 20324 19268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97226669 26628161536 10870 33554432000 4194304 4196468 140729364999968 140561836169872 140562279556821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20331] ppid=20324 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20326/task/20331/stat : 20331 (java) S 20324 20324 19268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97226669 26628161536 10870 33554432000 4194304 4196468 140729364999968 140561835117072 140562279556821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20332] ppid=20324 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/20326/task/20332/stat : 20332 (java) S 20324 20324 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97226669 26628161536 10870 33554432000 4194304 4196468 140729364999968 140561834064784 140562279556821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20333] ppid=20324 vsize=26004064 memory=139970098590639 CPUtime=0 cores=0-7
/proc/20326/task/20333/stat : 20333 (java) S 20324 20324 19268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97226669 26628161536 10870 33554432000 4194304 4196468 140729364999968 140561833011984 140562279556821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20334] ppid=20324 vsize=26004064 memory=139970098592944 CPUtime=0 cores=0-7
/proc/20326/task/20334/stat : 20334 (java) S 20324 20324 19268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97226669 26628161536 10870 33554432000 4194304 4196468 140729364999968 140561831959696 140562279556821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20335] ppid=20324 vsize=26004064 memory=139970098595248 CPUtime=0 cores=0-7
/proc/20326/task/20335/stat : 20335 (java) S 20324 20324 19268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97226669 26628161536 10870 33554432000 4194304 4196468 140729364999968 140561830906896 140562279556821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20336] ppid=20324 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20326/task/20336/stat : 20336 (java) S 20324 20324 19268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97226670 26628161536 10870 33554432000 4194304 4196468 140729364999968 140561674651760 140562279557762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20337] ppid=20324 vsize=26004064 memory=279940197197456 CPUtime=0 cores=0-7
/proc/20326/task/20337/stat : 20337 (java) S 20324 20324 19268 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97226671 26628161536 10870 33554432000 4194304 4196468 140729364999968 140561673597728 140562279556821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20338] ppid=20324 vsize=26004064 memory=279940197204368 CPUtime=0 cores=0-7
/proc/20326/task/20338/stat : 20338 (java) S 20324 20324 19268 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97226671 26628161536 10870 33554432000 4194304 4196468 140729364999968 140561672545392 140562279556821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20339] ppid=20324 vsize=26004064 memory=279940197145648 CPUtime=0 cores=0-7
/proc/20326/task/20339/stat : 20339 (java) S 20324 20324 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97226673 26628161536 10870 33554432000 4194304 4196468 140729364999968 140561671493712 140562279565211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20340] ppid=20324 vsize=26004064 memory=279940197218192 CPUtime=0.02 cores=0-7
/proc/20326/task/20340/stat : 20340 (java) S 20324 20324 19268 0 -1 1077944384 435 0 0 0 2 0 0 0 20 0 20 0 97226673 26628161536 10870 33554432000 4194304 4196468 140729364999968 140561670441584 140562279557762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20341] ppid=20324 vsize=26004064 memory=279940197225104 CPUtime=0.01 cores=0-7
/proc/20326/task/20341/stat : 20341 (java) S 20324 20324 19268 0 -1 1077944384 60 0 0 0 1 0 0 0 20 0 20 0 97226673 26628161536 10870 33554432000 4194304 4196468 140729364999968 140561669388784 140562279557762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20342] ppid=20324 vsize=26004064 memory=279940197222800 CPUtime=0.03 cores=0-7
/proc/20326/task/20342/stat : 20342 (java) S 20324 20324 19268 0 -1 1077944384 390 0 0 0 3 0 0 0 20 0 20 0 97226673 26628161536 10870 33554432000 4194304 4196468 140729364999968 140561668336496 140562279557762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20343] ppid=20324 vsize=26004064 memory=279940197238960 CPUtime=0.12 cores=0-7
/proc/20326/task/20343/stat : 20343 (java) R 20324 20324 19268 0 -1 4202560 920 0 0 0 12 0 0 0 20 0 20 0 97226673 26628161536 10870 33554432000 4194304 4196468 140729364999968 140561667280064 140562265241624 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20344] ppid=20324 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20326/task/20344/stat : 20344 (java) S 20324 20324 19268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97226673 26628161536 10870 33554432000 4194304 4196468 140729364999968 140561666230624 140562279556821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20345] ppid=20324 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/20326/task/20345/stat : 20345 (java) S 20324 20324 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97226674 26628161536 10870 33554432000 4194304 4196468 140729364999968 140561665177904 140562279557762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 44864 KiB
[startup+0.700909 s]
/proc/loadavg: 7.92 7.24 5.26 4/199 20345
/proc/meminfo: memFree=28823568/32770624 swapFree=67108860/67108860
[pid=20324] ppid=20321 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/20324/stat : 20324 (xcsp3-exec) S 20321 20324 19268 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97226667 9740288 346 33554432000 4194304 5098028 140730343999504 140730343997608 140611653956220 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29167616 140730344002666 140730344002876 140730344002876 140730344005611 0
/proc/20324/statm: 2378 346 289 221 0 87 0
[pid=20326] ppid=20324 vsize=26006188 memory=103832 CPUtime=1.84 cores=0-7
/proc/20326/stat : 20326 (java) S 20324 20324 19268 0 -1 1077944320 13449 0 0 0 179 5 0 0 20 0 20 0 97226667 26630336512 25958 33554432000 4194304 4196468 140729364999968 140729364982512 140562279546615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
/proc/20326/statm: 6501547 25958 3218 1 0 6488781 0
[pid=20326/tid=20327] ppid=20324 vsize=26006188 memory=279940197533888 CPUtime=0.67 cores=0-7
/proc/20326/task/20327/stat : 20327 (java) R 20324 20324 19268 0 -1 4202560 6662 0 0 0 64 3 0 0 20 0 20 0 97226668 26630336512 25958 33554432000 4194304 4196468 140729364999968 140562283783408 140561884324383 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20328] ppid=20324 vsize=26006188 memory=4964982195330 CPUtime=0 cores=0-7
/proc/20326/task/20328/stat : 20328 (java) S 20324 20324 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97226669 26630336512 25958 33554432000 4194304 4196468 140729364999968 140562202126736 140562279556821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20329] ppid=20324 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/20326/task/20329/stat : 20329 (java) S 20324 20324 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97226669 26630336512 25958 33554432000 4194304 4196468 140729364999968 140562201073936 140562279556821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20330] ppid=20324 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/20326/task/20330/stat : 20330 (java) S 20324 20324 19268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97226669 26630336512 25958 33554432000 4194304 4196468 140729364999968 140561836169872 140562279556821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
################
# More data... #
################
[pid=20326/tid=20554] ppid=20324 vsize=26538700 memory=1384 CPUtime=136.87 cores=0-7
/proc/20326/task/20554/stat : 20554 (java) R 20324 20324 19268 0 -1 4202560 1383 0 0 0 13687 0 0 0 20 0 28 0 97229178 27175628800 123516 33554432000 4194304 4196468 140729364999968 140561453232136 140561888072200 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
Current children cumulated CPU time: 1274 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 495448 KiB
[startup+222.302 s]
/proc/loadavg: 8.10 7.64 5.83 9/209 20554
/proc/meminfo: memFree=28367056/32770624 swapFree=67108860/67108860
[pid=20324] ppid=20321 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/20324/stat : 20324 (xcsp3-exec) S 20321 20324 19268 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97226667 9740288 346 33554432000 4194304 5098028 140730343999504 140730343997608 140611653956220 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29167616 140730344002666 140730344002876 140730344002876 140730344005611 0
/proc/20324/statm: 2378 346 289 221 0 87 0
[pid=20326] ppid=20324 vsize=26538700 memory=527416 CPUtime=1752.74 cores=0-7
/proc/20326/stat : 20326 (java) S 20324 20324 19268 0 -1 1077944320 95824 0 0 0 175208 66 0 0 20 0 28 0 97226667 27175628800 131854 33554432000 4194304 4196468 140729364999968 140729364982512 140562279546615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
/proc/20326/statm: 6634675 131854 3285 1 0 6621909 0
[pid=20326/tid=20327] ppid=20324 vsize=26538700 memory=523320 CPUtime=1.02 cores=0-7
/proc/20326/task/20327/stat : 20327 (java) S 20324 20324 19268 0 -1 1077944384 7289 0 0 0 98 4 0 0 20 0 28 0 97226668 27175628800 131854 33554432000 4194304 4196468 140729364999968 140562283787392 140562279556821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20328] ppid=20324 vsize=26538700 memory=523320 CPUtime=0.08 cores=0-7
/proc/20326/task/20328/stat : 20328 (java) S 20324 20324 19268 0 -1 1077944384 210 0 0 0 5 3 0 0 20 0 28 0 97226669 27175628800 131854 33554432000 4194304 4196468 140729364999968 140562202126736 140562279556821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20329] ppid=20324 vsize=26538700 memory=523320 CPUtime=0.09 cores=0-7
/proc/20326/task/20329/stat : 20329 (java) S 20324 20324 19268 0 -1 1077944384 458 0 0 0 6 3 0 0 20 0 28 0 97226669 27175628800 131854 33554432000 4194304 4196468 140729364999968 140562201073936 140562279556821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20330] ppid=20324 vsize=26538700 memory=525368 CPUtime=0.09 cores=0-7
/proc/20326/task/20330/stat : 20330 (java) S 20324 20324 19268 0 -1 1077944384 137 0 0 0 6 3 0 0 20 0 28 0 97226669 27175628800 131854 33554432000 4194304 4196468 140729364999968 140561836169872 140562279556821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20331] ppid=20324 vsize=26538700 memory=1384 CPUtime=0.09 cores=0-7
/proc/20326/task/20331/stat : 20331 (java) S 20324 20324 19268 0 -1 1077944384 1223 0 0 0 6 3 0 0 20 0 28 0 97226669 27175628800 131854 33554432000 4194304 4196468 140729364999968 140561835117072 140562279556821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20332] ppid=20324 vsize=26538700 memory=1384 CPUtime=0.09 cores=0-7
/proc/20326/task/20332/stat : 20332 (java) S 20324 20324 19268 0 -1 1077944384 954 0 0 0 6 3 0 0 20 0 28 0 97226669 27175628800 131854 33554432000 4194304 4196468 140729364999968 140561834064784 140562279556821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20333] ppid=20324 vsize=26538700 memory=525368 CPUtime=0.09 cores=0-7
/proc/20326/task/20333/stat : 20333 (java) S 20324 20324 19268 0 -1 1077944384 167 0 0 0 6 3 0 0 20 0 28 0 97226669 27175628800 131854 33554432000 4194304 4196468 140729364999968 140561833011984 140562279556821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20334] ppid=20324 vsize=26538700 memory=4616 CPUtime=0.07 cores=0-7
/proc/20326/task/20334/stat : 20334 (java) S 20324 20324 19268 0 -1 1077944384 85 0 0 0 5 2 0 0 20 0 28 0 97226669 27175628800 131854 33554432000 4194304 4196468 140729364999968 140561831959696 140562279556821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20335] ppid=20324 vsize=26538700 memory=8584 CPUtime=0.09 cores=0-7
/proc/20326/task/20335/stat : 20335 (java) S 20324 20324 19268 0 -1 1077944384 190 0 0 0 6 3 0 0 20 0 28 0 97226669 27175628800 131854 33554432000 4194304 4196468 140729364999968 140561830906896 140562279556821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20336] ppid=20324 vsize=26538700 memory=1384 CPUtime=0.03 cores=0-7
/proc/20326/task/20336/stat : 20336 (java) S 20324 20324 19268 0 -1 1077944384 1583 0 0 0 2 1 0 0 20 0 28 0 97226670 27175628800 131854 33554432000 4194304 4196468 140729364999968 140561674651760 140562279557762 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20337] ppid=20324 vsize=26538700 memory=510936 CPUtime=0 cores=0-7
/proc/20326/task/20337/stat : 20337 (java) S 20324 20324 19268 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 97226671 27175628800 131854 33554432000 4194304 4196468 140729364999968 140561673597792 140562279556821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20338] ppid=20324 vsize=26538700 memory=515032 CPUtime=0 cores=0-7
/proc/20326/task/20338/stat : 20338 (java) S 20324 20324 19268 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 97226671 27175628800 131854 33554432000 4194304 4196468 140729364999968 140561672545408 140562279556821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20339] ppid=20324 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/20326/task/20339/stat : 20339 (java) S 20324 20324 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97226673 27175628800 131854 33554432000 4194304 4196468 140729364999968 140561671493712 140562279565211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20340] ppid=20324 vsize=26538700 memory=1384 CPUtime=2.34 cores=0-7
/proc/20326/task/20340/stat : 20340 (java) S 20324 20324 19268 0 -1 1077944384 14400 0 0 0 230 4 0 0 20 0 28 0 97226673 27175628800 131854 33554432000 4194304 4196468 140729364999968 140561670441584 140562279557762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20341] ppid=20324 vsize=26538700 memory=4096 CPUtime=2.5 cores=0-7
/proc/20326/task/20341/stat : 20341 (java) S 20324 20324 19268 0 -1 1077944384 18361 0 0 0 249 1 0 0 20 0 28 0 97226673 27175628800 131854 33554432000 4194304 4196468 140729364999968 140561669388784 140562279557762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20342] ppid=20324 vsize=26538700 memory=1384 CPUtime=2.7 cores=0-7
/proc/20326/task/20342/stat : 20342 (java) S 20324 20324 19268 0 -1 1077944384 20216 0 0 0 266 4 0 0 20 0 28 0 97226673 27175628800 131854 33554432000 4194304 4196468 140729364999968 140561668336496 140562279557762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20343] ppid=20324 vsize=26538700 memory=512984 CPUtime=0.8 cores=0-7
/proc/20326/task/20343/stat : 20343 (java) S 20324 20324 19268 0 -1 1077944384 9935 0 0 0 78 2 0 0 20 0 28 0 97226673 27175628800 131854 33554432000 4194304 4196468 140729364999968 140561667283696 140562279557762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20344] ppid=20324 vsize=26538700 memory=494064 CPUtime=0 cores=0-7
/proc/20326/task/20344/stat : 20344 (java) S 20324 20324 19268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97226673 27175628800 131854 33554432000 4194304 4196468 140729364999968 140561666230624 140562279556821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20345] ppid=20324 vsize=26538700 memory=1384 CPUtime=0.09 cores=0-7
/proc/20326/task/20345/stat : 20345 (java) S 20324 20324 19268 0 -1 1077944384 2611 0 0 0 0 9 0 0 20 0 28 0 97226674 27175628800 131854 33554432000 4194304 4196468 140729364999968 140561665177904 140562279557762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20547] ppid=20324 vsize=26538700 memory=1292 CPUtime=196.78 cores=0-7
/proc/20326/task/20547/stat : 20547 (java) R 20324 20324 19268 0 -1 4202560 677 0 0 0 19678 0 0 0 20 0 28 0 97229178 27175628800 131854 33554432000 4194304 4196468 140729364999968 140561449020248 140561888588570 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20548] ppid=20324 vsize=26538700 memory=1728 CPUtime=195.77 cores=0-7
/proc/20326/task/20548/stat : 20548 (java) R 20324 20324 19268 0 -1 4202560 353 0 0 0 19577 0 0 0 20 0 28 0 97229178 27175628800 131854 33554432000 4194304 4196468 140729364999968 140561454284616 140561882371911 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20549] ppid=20324 vsize=26538700 memory=12064 CPUtime=195.56 cores=0-7
/proc/20326/task/20549/stat : 20549 (java) R 20324 20324 19268 0 -1 4202560 1687 0 0 0 19556 0 0 0 20 0 28 0 97229178 27175628800 131854 33554432000 4194304 4196468 140729364999968 140561455337688 140561887790286 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20550] ppid=20324 vsize=26538700 memory=1440 CPUtime=196.51 cores=0-7
/proc/20326/task/20550/stat : 20550 (java) R 20324 20324 19268 0 -1 4202560 2371 0 0 0 19648 3 0 0 20 0 28 0 97229178 27175628800 131854 33554432000 4194304 4196468 140729364999968 140561452179528 140561882371960 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20551] ppid=20324 vsize=26538700 memory=15876 CPUtime=196.14 cores=0-7
/proc/20326/task/20551/stat : 20551 (java) R 20324 20324 19268 0 -1 4202560 2191 0 0 0 19613 1 0 0 20 0 28 0 97229178 27175628800 131854 33554432000 4194304 4196468 140729364999968 140561450074808 140561888072189 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20552] ppid=20324 vsize=26538700 memory=16432 CPUtime=196.19 cores=0-7
/proc/20326/task/20552/stat : 20552 (java) R 20324 20324 19268 0 -1 4202560 1132 0 0 0 19619 0 0 0 20 0 28 0 97229178 27175628800 131854 33554432000 4194304 4196468 140729364999968 140561451127112 140561882371900 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20553] ppid=20324 vsize=26538700 memory=16868 CPUtime=196.13 cores=0-7
/proc/20326/task/20553/stat : 20553 (java) R 20324 20324 19268 0 -1 4202560 444 0 0 0 19613 0 0 0 20 0 28 0 97229178 27175628800 131854 33554432000 4194304 4196468 140729364999968 140561447968456 140561888072101 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20554] ppid=20324 vsize=26538700 memory=4044 CPUtime=196.79 cores=0-7
/proc/20326/task/20554/stat : 20554 (java) R 20324 20324 19268 0 -1 4202560 1422 0 0 0 19678 1 0 0 20 0 28 0 97229178 27175628800 131854 33554432000 4194304 4196468 140729364999968 140561453231160 140561882371900 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
Current children cumulated CPU time: 1752.74 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 528800 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+252.002 s]*
/proc/loadavg: 8.06 7.67 5.90 9/209 20554
/proc/meminfo: memFree=28359552/32770624 swapFree=67108860/67108860
[pid=20324] ppid=20321 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/20324/stat : 20324 (xcsp3-exec) S 20321 20324 19268 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97226667 9740288 346 33554432000 4194304 5098028 140730343999504 140730343997608 140611653956220 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29167616 140730344002666 140730344002876 140730344002876 140730344005611 0
/proc/20324/statm: 2378 346 289 221 0 87 0
[pid=20326] ppid=20324 vsize=26538700 memory=533560 CPUtime=1989.74 cores=0-7
/proc/20326/stat : 20326 (java) S 20324 20324 19268 0 -1 1077944320 98226 0 0 0 198907 67 0 0 20 0 28 0 97226667 27175628800 133390 33554432000 4194304 4196468 140729364999968 140729364982512 140562279546615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
/proc/20326/statm: 6634675 133390 3285 1 0 6621909 0
[pid=20326/tid=20327] ppid=20324 vsize=26538700 memory=6791534058613427641 CPUtime=1.02 cores=0-7
/proc/20326/task/20327/stat : 20327 (java) S 20324 20324 19268 0 -1 1077944384 7289 0 0 0 98 4 0 0 20 0 28 0 97226668 27175628800 133390 33554432000 4194304 4196468 140729364999968 140562283787392 140562279556821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20328] ppid=20324 vsize=26538700 memory=-7003737579269690708 CPUtime=0.08 cores=0-7
/proc/20326/task/20328/stat : 20328 (java) S 20324 20324 19268 0 -1 1077944384 210 0 0 0 5 3 0 0 20 0 28 0 97226669 27175628800 133390 33554432000 4194304 4196468 140729364999968 140562202126736 140562279556821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20329] ppid=20324 vsize=26538700 memory=2428 CPUtime=0.09 cores=0-7
/proc/20326/task/20329/stat : 20329 (java) S 20324 20324 19268 0 -1 1077944384 458 0 0 0 6 3 0 0 20 0 28 0 97226669 27175628800 133390 33554432000 4194304 4196468 140729364999968 140562201073936 140562279556821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20330] ppid=20324 vsize=26538700 memory=1292 CPUtime=0.09 cores=0-7
/proc/20326/task/20330/stat : 20330 (java) S 20324 20324 19268 0 -1 1077944384 137 0 0 0 6 3 0 0 20 0 28 0 97226669 27175628800 133390 33554432000 4194304 4196468 140729364999968 140561836169872 140562279556821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20331] ppid=20324 vsize=26538700 memory=1728 CPUtime=0.09 cores=0-7
/proc/20326/task/20331/stat : 20331 (java) S 20324 20324 19268 0 -1 1077944384 1223 0 0 0 6 3 0 0 20 0 28 0 97226669 27175628800 133390 33554432000 4194304 4196468 140729364999968 140561835117072 140562279556821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20332] ppid=20324 vsize=26538700 memory=6508 CPUtime=0.09 cores=0-7
/proc/20326/task/20332/stat : 20332 (java) S 20324 20324 19268 0 -1 1077944384 954 0 0 0 6 3 0 0 20 0 28 0 97226669 27175628800 133390 33554432000 4194304 4196468 140729364999968 140561834064784 140562279556821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20333] ppid=20324 vsize=26538700 memory=840 CPUtime=0.09 cores=0-7
/proc/20326/task/20333/stat : 20333 (java) S 20324 20324 19268 0 -1 1077944384 167 0 0 0 6 3 0 0 20 0 28 0 97226669 27175628800 133390 33554432000 4194304 4196468 140729364999968 140561833011984 140562279556821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20334] ppid=20324 vsize=26538700 memory=4096 CPUtime=0.07 cores=0-7
/proc/20326/task/20334/stat : 20334 (java) S 20324 20324 19268 0 -1 1077944384 85 0 0 0 5 2 0 0 20 0 28 0 97226669 27175628800 133390 33554432000 4194304 4196468 140729364999968 140561831959696 140562279556821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20335] ppid=20324 vsize=26538700 memory=1696 CPUtime=0.09 cores=0-7
/proc/20326/task/20335/stat : 20335 (java) S 20324 20324 19268 0 -1 1077944384 190 0 0 0 6 3 0 0 20 0 28 0 97226669 27175628800 133390 33554432000 4194304 4196468 140729364999968 140561830906896 140562279556821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20336] ppid=20324 vsize=26538700 memory=920 CPUtime=0.03 cores=0-7
/proc/20326/task/20336/stat : 20336 (java) S 20324 20324 19268 0 -1 1077944384 1641 0 0 0 2 1 0 0 20 0 28 0 97226670 27175628800 133390 33554432000 4194304 4196468 140729364999968 140561674651760 140562279557762 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20337] ppid=20324 vsize=26538700 memory=4128 CPUtime=0 cores=0-7
/proc/20326/task/20337/stat : 20337 (java) S 20324 20324 19268 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 97226671 27175628800 133390 33554432000 4194304 4196468 140729364999968 140561673597792 140562279556821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20338] ppid=20324 vsize=26538700 memory=792 CPUtime=0 cores=0-7
/proc/20326/task/20338/stat : 20338 (java) S 20324 20324 19268 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 97226671 27175628800 133390 33554432000 4194304 4196468 140729364999968 140561672545408 140562279556821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20339] ppid=20324 vsize=26538700 memory=1204 CPUtime=0 cores=0-7
/proc/20326/task/20339/stat : 20339 (java) S 20324 20324 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97226673 27175628800 133390 33554432000 4194304 4196468 140729364999968 140561671493712 140562279565211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20340] ppid=20324 vsize=26538700 memory=1716 CPUtime=2.34 cores=0-7
/proc/20326/task/20340/stat : 20340 (java) S 20324 20324 19268 0 -1 1077944384 14586 0 0 0 230 4 0 0 20 0 28 0 97226673 27175628800 133390 33554432000 4194304 4196468 140729364999968 140561670441584 140562279557762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20341] ppid=20324 vsize=26538700 memory=1440 CPUtime=2.5 cores=0-7
/proc/20326/task/20341/stat : 20341 (java) S 20324 20324 19268 0 -1 1077944384 18364 0 0 0 249 1 0 0 20 0 28 0 97226673 27175628800 133390 33554432000 4194304 4196468 140729364999968 140561669388784 140562279557762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20342] ppid=20324 vsize=26538700 memory=15876 CPUtime=2.71 cores=0-7
/proc/20326/task/20342/stat : 20342 (java) S 20324 20324 19268 0 -1 1077944384 20923 0 0 0 267 4 0 0 20 0 28 0 97226673 27175628800 133390 33554432000 4194304 4196468 140729364999968 140561668336496 140562279557762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20343] ppid=20324 vsize=26538700 memory=16432 CPUtime=0.8 cores=0-7
/proc/20326/task/20343/stat : 20343 (java) S 20324 20324 19268 0 -1 1077944384 10613 0 0 0 78 2 0 0 20 0 28 0 97226673 27175628800 133390 33554432000 4194304 4196468 140729364999968 140561667283696 140562279557762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20344] ppid=20324 vsize=26538700 memory=16868 CPUtime=0 cores=0-7
/proc/20326/task/20344/stat : 20344 (java) S 20324 20324 19268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97226673 27175628800 133390 33554432000 4194304 4196468 140729364999968 140561666230624 140562279556821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20345] ppid=20324 vsize=26538700 memory=7679373425970869011 CPUtime=0.1 cores=0-7
/proc/20326/task/20345/stat : 20345 (java) S 20324 20324 19268 0 -1 1077944384 2669 0 0 0 0 10 0 0 20 0 28 0 97226674 27175628800 133390 33554432000 4194304 4196468 140729364999968 140561665177904 140562279557762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20547] ppid=20324 vsize=26538700 memory=-7966001967441022560 CPUtime=226.48 cores=0-7
/proc/20326/task/20547/stat : 20547 (java) R 20324 20324 19268 0 -1 4202560 711 0 0 0 22648 0 0 0 20 0 28 0 97229178 27175628800 133390 33554432000 4194304 4196468 140729364999968 140561449020248 140561882371926 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20548] ppid=20324 vsize=26538700 memory=-6237260532469557610 CPUtime=225.44 cores=0-7
/proc/20326/task/20548/stat : 20548 (java) R 20324 20324 19268 0 -1 4202560 390 0 0 0 22544 0 0 0 20 0 28 0 97229178 27175628800 133390 33554432000 4194304 4196468 140729364999968 140561454284368 140561888072373 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20549] ppid=20324 vsize=26538700 memory=7679373425970869011 CPUtime=224.85 cores=0-7
/proc/20326/task/20549/stat : 20549 (java) R 20324 20324 19268 0 -1 4202560 1759 0 0 0 22485 0 0 0 20 0 28 0 97229178 27175628800 133390 33554432000 4194304 4196468 140729364999968 140561455337672 140561887790229 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20550] ppid=20324 vsize=26538700 memory=-3975649505123405620 CPUtime=226.22 cores=0-7
/proc/20326/task/20550/stat : 20550 (java) R 20324 20324 19268 0 -1 4202560 2410 0 0 0 22619 3 0 0 20 0 28 0 97229178 27175628800 133390 33554432000 4194304 4196468 140729364999968 140561452179528 140561887790220 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20551] ppid=20324 vsize=26538700 memory=-4061837134419248030 CPUtime=225.85 cores=0-7
/proc/20326/task/20551/stat : 20551 (java) R 20324 20324 19268 0 -1 4202560 2470 0 0 0 22583 2 0 0 20 0 28 0 97229178 27175628800 133390 33554432000 4194304 4196468 140729364999968 140561450074568 140561887790286 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20552] ppid=20324 vsize=26538700 memory=-7595718148000617580 CPUtime=225.9 cores=0-7
/proc/20326/task/20552/stat : 20552 (java) R 20324 20324 19268 0 -1 4202560 1252 0 0 0 22589 1 0 0 20 0 28 0 97229178 27175628800 133390 33554432000 4194304 4196468 140729364999968 140561451127112 140561887790268 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20553] ppid=20324 vsize=26538700 memory=8187704045996132563 CPUtime=225.61 cores=0-7
/proc/20326/task/20553/stat : 20553 (java) R 20324 20324 19268 0 -1 4202560 468 0 0 0 22561 0 0 0 20 0 28 0 97229178 27175628800 133390 33554432000 4194304 4196468 140729364999968 140561447968456 140561882371926 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
[pid=20326/tid=20554] ppid=20324 vsize=26538700 memory=-7737903650269872488 CPUtime=226.5 cores=0-7
/proc/20326/task/20554/stat : 20554 (java) R 20324 20324 19268 0 -1 4202560 1529 0 0 0 22649 1 0 0 20 0 28 0 97229178 27175628800 133390 33554432000 4194304 4196468 140729364999968 140561453232312 140561887790249 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7716864 140729365001368 140729365001544 140729365001544 140729365004239 0
Current children cumulated CPU time: 1989.74 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 534944 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+252.04 s]
# the end of solver process 20324 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000967 s, system=0.000967 s
[startup+252.12 s]
# the end of solver process 20326 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1989.87 s, system=0.681775 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): 252.12
CPU time (s): 1990.55
CPU user time (s): 1989.87
CPU system time (s): 0.681775
CPU usage (%): 789.525
Max. virtual memory (cumulated for all children) (KiB): 26550088
Max. memory (cumulated for all children) (KiB): 534944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1989.87
system time used= 0.681775
maximum resident set size= 540184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99214
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13014
involuntary context switches= 21410
# summary of solver processes directly reported to runsolver:
# pid: 20324,20326
# total CPU time (s): 1990.55
# total CPU user time (s): 1989.87
# total CPU system time (s): 0.681775
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.14318 second user time and 3.10683 second system time
The end
Begin job on node148 at 2017-08-13 18:09:58 IDJOB=4271497 IDBENCH=124177 IDSOLVER=2663 FILE ID=node148/4271497-1502641456 RUNJOBID= node148-1502640088-19295 PBS_JOBID= 20628333 Free space on /tmp= 61616 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-4271497-1502641456/watcher-4271497-1502641456 -o /tmp/evaluation-result-4271497-1502641456/solver-4271497-1502641456 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node148-1502640088-19295 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1476537604 HOME/instance-4271497-1502641456.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= e916ba0c5634620e8924ec581ee284c9 RANDOM SEED=1476537604 node148.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.19 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.19 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.19 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.19 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 28873704 kB MemAvailable: 31986444 kB Buffers: 206660 kB Cached: 3195120 kB SwapCached: 0 kB Active: 754584 kB Inactive: 2700448 kB Active(anon): 4484 kB Inactive(anon): 76688 kB Active(file): 750100 kB Inactive(file): 2623760 kB Unevictable: 6208 kB Mlocked: 6208 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7948 kB Writeback: 0 kB AnonPages: 194596 kB Mapped: 44048 kB Shmem: 25224 kB Slab: 135756 kB SReclaimable: 109428 kB SUnreclaim: 26328 kB KernelStack: 3680 kB PageTables: 5088 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323408 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 141312 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 61608 MiB End job on node148 at 2017-08-13 18:14:10