Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-18) | SAT (TO) | 217 | 1995.03 | 252.103 |
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-4281307-1503185123.xml" -tl '2016s' -p 8 -x 0 0.12/0.14 c [HOME/instance-4281307-1503185123.xml, -tl, 2016s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.32/0.26 c parse instance... 2.69/0.99 c solve instance... 17.29/2.87 o 240 27.45/4.24 o 239 37.91/5.65 o 238 46.13/6.70 o 237 54.03/7.72 o 236 63.45/9.00 o 235 72.49/10.14 o 234 77.73/10.89 o 233 83.77/11.60 o 232 90.74/12.52 o 231 96.21/13.28 o 230 102.49/14.03 o 229 107.82/14.77 o 228 113.32/15.49 o 227 119.64/16.31 o 226 125.16/17.09 o 225 131.62/17.93 o 224 137.76/18.76 o 223 144.60/19.74 o 222 150.66/20.57 o 221 156.94/21.51 o 220 162.39/22.29 o 219 169.23/23.15 o 218 175.69/24.02 o 217 1994.35/252.08 s SATISFIABLE 1994.35/252.08 v <instantiation> 1994.35/252.08 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> 1994.35/252.09 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> 1994.35/252.09 v </instantiation> 1994.35/252.09 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 (12774 MiB free) memory of node 1: 16384 MiB (12130 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281307-1503185123/watcher-4281307-1503185123 -o /tmp/evaluation-result-4281307-1503185123/solver-4281307-1503185123 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node148-1503175375-6738 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1009036328 HOME/instance-4281307-1503185123.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 Current StackSize limit: 8192 KiB solver pid=11710, runsolver pid=11707 [startup+0.100117 s]* /proc/loadavg: 8.13 8.31 8.15 2/200 11731 /proc/meminfo: memFree=25487756/32770624 swapFree=67108860/67108860 [pid=11710] ppid=11707 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/11710/stat : 11710 (xcsp3-exec) S 11707 11710 6711 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151593217 9740288 345 33554432000 4194304 5098028 140726199937792 140726199935896 139688712290940 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28958720 140726199940202 140726199940412 140726199940412 140726199943147 0 /proc/11710/statm: 2378 345 289 221 0 87 0 [pid=11712] ppid=11710 vsize=25999808 memory=26324 CPUtime=0.12 cores=0-7 /proc/11712/stat : 11712 (java) S 11710 11710 6711 0 -1 1077944320 5481 0 0 0 11 1 0 0 20 0 20 0 151593217 26623803392 6581 33554432000 4194304 4196468 140720889319248 140720889301792 140218687352567 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 /proc/11712/statm: 6499952 6581 2854 1 0 6488269 0 [pid=11712/tid=11713] ppid=11710 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/11712/task/11713/stat : 11713 (java) R 11710 11710 6711 0 -1 4202560 3482 0 0 0 8 0 0 0 20 0 20 0 151593218 26623803392 6581 33554432000 4194304 4196468 140720889319248 140218691584496 140218671433054 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11714] ppid=11710 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/11712/task/11714/stat : 11714 (java) S 11710 11710 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151593219 26623803392 6581 33554432000 4194304 4196468 140720889319248 140218609933456 140218687362773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11715] ppid=11710 vsize=25999808 memory=140580310468224 CPUtime=0 cores=0-7 /proc/11712/task/11715/stat : 11715 (java) S 11710 11710 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151593219 26623803392 6581 33554432000 4194304 4196468 140720889319248 140218608880656 140218687362773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11716] ppid=11710 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11712/task/11716/stat : 11716 (java) S 11710 11710 6711 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151593219 26623803392 6581 33554432000 4194304 4196468 140720889319248 140218607827856 140218687362773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11717] ppid=11710 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11712/task/11717/stat : 11717 (java) S 11710 11710 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151593219 26623803392 6581 33554432000 4194304 4196468 140720889319248 140218606775056 140218687362773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11718] ppid=11710 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11712/task/11718/stat : 11718 (java) S 11710 11710 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151593219 26623803392 6581 33554432000 4194304 4196468 140720889319248 140218605722256 140218687362773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11719] ppid=11710 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/11712/task/11719/stat : 11719 (java) S 11710 11710 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151593219 26623803392 6581 33554432000 4194304 4196468 140720889319248 140218604669456 140218687362773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11720] ppid=11710 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11712/task/11720/stat : 11720 (java) S 11710 11710 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151593219 26623803392 6581 33554432000 4194304 4196468 140720889319248 140218238785936 140218687362773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11721] ppid=11710 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11712/task/11721/stat : 11721 (java) S 11710 11710 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151593219 26623803392 6581 33554432000 4194304 4196468 140720889319248 140218237733136 140218687362773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11722] ppid=11710 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11712/task/11722/stat : 11722 (java) S 11710 11710 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151593220 26623803392 6581 33554432000 4194304 4196468 140720889319248 140218082532208 140218687363714 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11723] ppid=11710 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11712/task/11723/stat : 11723 (java) S 11710 11710 6711 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151593220 26623803392 6581 33554432000 4194304 4196468 140720889319248 140218081478176 140218687362773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11724] ppid=11710 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11712/task/11724/stat : 11724 (java) S 11710 11710 6711 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151593221 26623803392 6581 33554432000 4194304 4196468 140720889319248 140218080425328 140218687362773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11725] ppid=11710 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11712/task/11725/stat : 11725 (java) S 11710 11710 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151593223 26623803392 6581 33554432000 4194304 4196468 140720889319248 140218079373648 140218687371163 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11726] ppid=11710 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11712/task/11726/stat : 11726 (java) S 11710 11710 6711 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 20 0 151593223 26623803392 6581 33554432000 4194304 4196468 140720889319248 140218078321008 140218687363714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11727] ppid=11710 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11712/task/11727/stat : 11727 (java) S 11710 11710 6711 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 151593223 26623803392 6581 33554432000 4194304 4196468 140720889319248 140218077268208 140218687363714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11728] ppid=11710 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11712/task/11728/stat : 11728 (java) S 11710 11710 6711 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151593223 26623803392 6581 33554432000 4194304 4196468 140720889319248 140218076215408 140218687363714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11729] ppid=11710 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/11712/task/11729/stat : 11729 (java) S 11710 11710 6711 0 -1 1077944384 259 0 0 0 1 0 0 0 20 0 20 0 151593223 26623803392 6581 33554432000 4194304 4196468 140720889319248 140218075162608 140218687363714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11730] ppid=11710 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11712/task/11730/stat : 11730 (java) S 11710 11710 6711 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151593223 26623803392 6581 33554432000 4194304 4196468 140720889319248 140218074111072 140218687362773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11731] ppid=11710 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/11712/task/11731/stat : 11731 (java) S 11710 11710 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151593224 26623803392 6581 33554432000 4194304 4196468 140720889319248 140218073058352 140218687363714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 27704 KiB [startup+0.210121 s]* /proc/loadavg: 8.13 8.31 8.15 2/200 11731 /proc/meminfo: memFree=25475552/32770624 swapFree=67108860/67108860 [pid=11710] ppid=11707 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/11710/stat : 11710 (xcsp3-exec) S 11707 11710 6711 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151593217 9740288 345 33554432000 4194304 5098028 140726199937792 140726199935896 139688712290940 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28958720 140726199940202 140726199940412 140726199940412 140726199943147 0 /proc/11710/statm: 2378 345 289 221 0 87 0 [pid=11712] ppid=11710 vsize=26004064 memory=39072 CPUtime=0.32 cores=0-7 /proc/11712/stat : 11712 (java) S 11710 11710 6711 0 -1 1077944320 8341 0 0 0 31 1 0 0 20 0 20 0 151593217 26628161536 9768 33554432000 4194304 4196468 140720889319248 140720889301792 140218687352567 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 /proc/11712/statm: 6501016 9768 3050 1 0 6488269 0 [pid=11712/tid=11713] ppid=11710 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/11712/task/11713/stat : 11713 (java) R 11710 11710 6711 0 -1 4202560 5387 0 0 0 19 1 0 0 20 0 20 0 151593218 26628161536 9768 33554432000 4194304 4196468 140720889319248 140218691575472 140218687374493 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11714] ppid=11710 vsize=26004064 memory=330 CPUtime=0 cores=0-7 /proc/11712/task/11714/stat : 11714 (java) S 11710 11710 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151593219 26628161536 9768 33554432000 4194304 4196468 140720889319248 140218609933456 140218687362773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11715] ppid=11710 vsize=26004064 memory=140580311226089 CPUtime=0 cores=0-7 /proc/11712/task/11715/stat : 11715 (java) S 11710 11710 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151593219 26628161536 9768 33554432000 4194304 4196468 140720889319248 140218608880656 140218687362773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11716] ppid=11710 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/11712/task/11716/stat : 11716 (java) S 11710 11710 6711 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151593219 26628161536 9768 33554432000 4194304 4196468 140720889319248 140218607827856 140218687362773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11717] ppid=11710 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11712/task/11717/stat : 11717 (java) S 11710 11710 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151593219 26628161536 9768 33554432000 4194304 4196468 140720889319248 140218606775056 140218687362773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11718] ppid=11710 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11712/task/11718/stat : 11718 (java) S 11710 11710 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151593219 26628161536 9768 33554432000 4194304 4196468 140720889319248 140218605722256 140218687362773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11719] ppid=11710 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/11712/task/11719/stat : 11719 (java) S 11710 11710 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151593219 26628161536 9768 33554432000 4194304 4196468 140720889319248 140218604669456 140218687362773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11720] ppid=11710 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11712/task/11720/stat : 11720 (java) S 11710 11710 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151593219 26628161536 9768 33554432000 4194304 4196468 140720889319248 140218238785936 140218687362773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11721] ppid=11710 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11712/task/11721/stat : 11721 (java) S 11710 11710 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151593219 26628161536 9768 33554432000 4194304 4196468 140720889319248 140218237733136 140218687362773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11722] ppid=11710 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11712/task/11722/stat : 11722 (java) S 11710 11710 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151593220 26628161536 9768 33554432000 4194304 4196468 140720889319248 140218082532208 140218687363714 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11723] ppid=11710 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11712/task/11723/stat : 11723 (java) S 11710 11710 6711 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151593220 26628161536 9768 33554432000 4194304 4196468 140720889319248 140218081478176 140218687362773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11724] ppid=11710 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11712/task/11724/stat : 11724 (java) S 11710 11710 6711 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151593221 26628161536 9768 33554432000 4194304 4196468 140720889319248 140218080425328 140218687362773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11725] ppid=11710 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11712/task/11725/stat : 11725 (java) S 11710 11710 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151593223 26628161536 9768 33554432000 4194304 4196468 140720889319248 140218079373648 140218687371163 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11726] ppid=11710 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/11712/task/11726/stat : 11726 (java) R 11710 11710 6711 0 -1 1077944384 357 0 0 0 1 0 0 0 20 0 20 0 151593223 26628161536 9768 33554432000 4194304 4196468 140720889319248 140218078321008 140218687363714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11727] ppid=11710 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/11712/task/11727/stat : 11727 (java) R 11710 11710 6711 0 -1 1077944384 379 0 0 0 1 0 0 0 20 0 20 0 151593223 26628161536 9768 33554432000 4194304 4196468 140720889319248 140218077268208 140218687363714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11728] ppid=11710 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7 /proc/11712/task/11728/stat : 11728 (java) R 11710 11710 6711 0 -1 1077944384 168 0 0 0 1 0 0 0 20 0 20 0 151593223 26628161536 9768 33554432000 4194304 4196468 140720889319248 140218076215408 140218687363714 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11729] ppid=11710 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7 /proc/11712/task/11729/stat : 11729 (java) R 11710 11710 6711 0 -1 4202560 742 0 0 0 7 0 0 0 20 0 20 0 151593223 26628161536 9768 33554432000 4194304 4196468 140720889319248 140218075162608 140218667692456 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11730] ppid=11710 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11712/task/11730/stat : 11730 (java) S 11710 11710 6711 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151593223 26628161536 9768 33554432000 4194304 4196468 140720889319248 140218074111072 140218687362773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11731] ppid=11710 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/11712/task/11731/stat : 11731 (java) S 11710 11710 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151593224 26628161536 9768 33554432000 4194304 4196468 140720889319248 140218073058352 140218687363714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 Current children cumulated CPU time: 0.32 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40452 KiB [startup+0.309411 s]* /proc/loadavg: 8.13 8.31 8.15 3/200 11731 /proc/meminfo: memFree=25471024/32770624 swapFree=67108860/67108860 [pid=11710] ppid=11707 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/11710/stat : 11710 (xcsp3-exec) S 11707 11710 6711 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151593217 9740288 345 33554432000 4194304 5098028 140726199937792 140726199935896 139688712290940 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28958720 140726199940202 140726199940412 140726199940412 140726199943147 0 /proc/11710/statm: 2378 345 289 221 0 87 0 [pid=11712] ppid=11710 vsize=26004064 memory=43716 CPUtime=0.5 cores=0-7 /proc/11712/stat : 11712 (java) S 11710 11710 6711 0 -1 1077944320 9147 0 0 0 48 2 0 0 20 0 20 0 151593217 26628161536 10929 33554432000 4194304 4196468 140720889319248 140720889301792 140218687352567 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 /proc/11712/statm: 6501016 10929 3085 1 0 6488269 0 [pid=11712/tid=11713] ppid=11710 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/11712/task/11713/stat : 11713 (java) R 11710 11710 6711 0 -1 4202560 6054 0 0 0 28 1 0 0 20 0 20 0 151593218 26628161536 10929 33554432000 4194304 4196468 140720889319248 140218691590096 140218671433054 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11714] ppid=11710 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11712/task/11714/stat : 11714 (java) S 11710 11710 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151593219 26628161536 10929 33554432000 4194304 4196468 140720889319248 140218609933456 140218687362773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11715] ppid=11710 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11712/task/11715/stat : 11715 (java) S 11710 11710 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151593219 26628161536 10929 33554432000 4194304 4196468 140720889319248 140218608880656 140218687362773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11716] ppid=11710 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11712/task/11716/stat : 11716 (java) S 11710 11710 6711 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151593219 26628161536 10929 33554432000 4194304 4196468 140720889319248 140218607827856 140218687362773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11717] ppid=11710 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11712/task/11717/stat : 11717 (java) S 11710 11710 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151593219 26628161536 10929 33554432000 4194304 4196468 140720889319248 140218606775056 140218687362773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11718] ppid=11710 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/11712/task/11718/stat : 11718 (java) S 11710 11710 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151593219 26628161536 10929 33554432000 4194304 4196468 140720889319248 140218605722256 140218687362773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11719] ppid=11710 vsize=26004064 memory=140580185273263 CPUtime=0 cores=0-7 /proc/11712/task/11719/stat : 11719 (java) S 11710 11710 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151593219 26628161536 10929 33554432000 4194304 4196468 140720889319248 140218604669456 140218687362773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11720] ppid=11710 vsize=26004064 memory=140580185275568 CPUtime=0 cores=0-7 /proc/11712/task/11720/stat : 11720 (java) S 11710 11710 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151593219 26628161536 10929 33554432000 4194304 4196468 140720889319248 140218238785936 140218687362773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11721] ppid=11710 vsize=26004064 memory=140580185277872 CPUtime=0 cores=0-7 /proc/11712/task/11721/stat : 11721 (java) S 11710 11710 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151593219 26628161536 10929 33554432000 4194304 4196468 140720889319248 140218237733136 140218687362773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11722] ppid=11710 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11712/task/11722/stat : 11722 (java) S 11710 11710 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151593220 26628161536 10929 33554432000 4194304 4196468 140720889319248 140218082532208 140218687363714 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11723] ppid=11710 vsize=26004064 memory=281160370562704 CPUtime=0 cores=0-7 /proc/11712/task/11723/stat : 11723 (java) S 11710 11710 6711 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151593220 26628161536 10929 33554432000 4194304 4196468 140720889319248 140218081478176 140218687362773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11724] ppid=11710 vsize=26004064 memory=281160370569616 CPUtime=0 cores=0-7 /proc/11712/task/11724/stat : 11724 (java) S 11710 11710 6711 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151593221 26628161536 10929 33554432000 4194304 4196468 140720889319248 140218080425328 140218687362773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11725] ppid=11710 vsize=26004064 memory=281160370510896 CPUtime=0 cores=0-7 /proc/11712/task/11725/stat : 11725 (java) S 11710 11710 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151593223 26628161536 10929 33554432000 4194304 4196468 140720889319248 140218079373648 140218687371163 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11726] ppid=11710 vsize=26004064 memory=281160370583440 CPUtime=0.02 cores=0-7 /proc/11712/task/11726/stat : 11726 (java) S 11710 11710 6711 0 -1 1077944384 368 0 0 0 2 0 0 0 20 0 20 0 151593223 26628161536 10929 33554432000 4194304 4196468 140720889319248 140218078321008 140218687363714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11727] ppid=11710 vsize=26004064 memory=281160370590352 CPUtime=0.02 cores=0-7 /proc/11712/task/11727/stat : 11727 (java) S 11710 11710 6711 0 -1 1077944384 399 0 0 0 2 0 0 0 20 0 20 0 151593223 26628161536 10929 33554432000 4194304 4196468 140720889319248 140218077268208 140218687363714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11728] ppid=11710 vsize=26004064 memory=281160370588048 CPUtime=0.02 cores=0-7 /proc/11712/task/11728/stat : 11728 (java) S 11710 11710 6711 0 -1 1077944384 168 0 0 0 2 0 0 0 20 0 20 0 151593223 26628161536 10929 33554432000 4194304 4196468 140720889319248 140218076215408 140218687363714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11729] ppid=11710 vsize=26004064 memory=281160370604208 CPUtime=0.12 cores=0-7 /proc/11712/task/11729/stat : 11729 (java) R 11710 11710 6711 0 -1 4202560 852 0 0 0 12 0 0 0 20 0 20 0 151593223 26628161536 10929 33554432000 4194304 4196468 140720889319248 140218075156952 140218671433054 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11730] ppid=11710 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11712/task/11730/stat : 11730 (java) S 11710 11710 6711 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151593223 26628161536 10929 33554432000 4194304 4196468 140720889319248 140218074111072 140218687362773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11731] ppid=11710 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/11712/task/11731/stat : 11731 (java) S 11710 11710 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151593224 26628161536 10929 33554432000 4194304 4196468 140720889319248 140218073058352 140218687363714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 Current children cumulated CPU time: 0.5 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 45096 KiB [startup+0.700897 s] /proc/loadavg: 8.13 8.31 8.15 4/200 11731 /proc/meminfo: memFree=25450160/32770624 swapFree=67108860/67108860 [pid=11710] ppid=11707 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/11710/stat : 11710 (xcsp3-exec) S 11707 11710 6711 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151593217 9740288 345 33554432000 4194304 5098028 140726199937792 140726199935896 139688712290940 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28958720 140726199940202 140726199940412 140726199940412 140726199943147 0 /proc/11710/statm: 2378 345 289 221 0 87 0 [pid=11712] ppid=11710 vsize=26006188 memory=106268 CPUtime=1.84 cores=0-7 /proc/11712/stat : 11712 (java) S 11710 11710 6711 0 -1 1077944320 14066 0 0 0 180 4 0 0 20 0 20 0 151593217 26630336512 26567 33554432000 4194304 4196468 140720889319248 140720889301792 140218687352567 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 /proc/11712/statm: 6501547 26567 3221 1 0 6488781 0 [pid=11712/tid=11713] ppid=11710 vsize=26006188 memory=281160370962096 CPUtime=0.67 cores=0-7 /proc/11712/task/11713/stat : 11713 (java) R 11710 11710 6711 0 -1 4202560 6657 0 0 0 64 3 0 0 20 0 20 0 151593218 26630336512 26567 33554432000 4194304 4196468 140720889319248 140218691587944 140218669815232 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11714] ppid=11710 vsize=26006188 memory=140580185482096 CPUtime=0 cores=0-7 /proc/11712/task/11714/stat : 11714 (java) S 11710 11710 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151593219 26630336512 26567 33554432000 4194304 4196468 140720889319248 140218609933456 140218687362773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11715] ppid=11710 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/11712/task/11715/stat : 11715 (java) S 11710 11710 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151593219 26630336512 26567 33554432000 4194304 4196468 140720889319248 140218608880656 140218687362773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11716] ppid=11710 vsize=26006188 memory=1204 CPUtime=0 cores=0-7 /proc/11712/task/11716/stat : 11716 (java) S 11710 11710 6711 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151593219 26630336512 26567 33554432000 4194304 4196468 140720889319248 140218607827856 140218687362773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 ################ # More data... # ################ [pid=11712/tid=11931] ppid=11710 vsize=26538700 memory=42580 CPUtime=138.02 cores=0-7 /proc/11712/task/11931/stat : 11931 (java) R 11710 11710 6711 0 -1 4202560 1408 0 0 0 13802 0 0 0 20 0 28 0 151595620 27175628800 171900 33554432000 4194304 4196468 140720889319248 140217862312152 140218290764046 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 Current children cumulated CPU time: 1278.57 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 688980 KiB [startup+222.301 s] /proc/loadavg: 8.00 8.14 8.12 9/208 11931 /proc/meminfo: memFree=24844960/32770624 swapFree=67108860/67108860 [pid=11710] ppid=11707 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/11710/stat : 11710 (xcsp3-exec) S 11707 11710 6711 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151593217 9740288 345 33554432000 4194304 5098028 140726199937792 140726199935896 139688712290940 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28958720 140726199940202 140726199940412 140726199940412 140726199943147 0 /proc/11710/statm: 2378 345 289 221 0 87 0 [pid=11712] ppid=11710 vsize=26538700 memory=672220 CPUtime=1757.3 cores=0-7 /proc/11712/stat : 11712 (java) S 11710 11710 6711 0 -1 1077944320 103488 0 0 0 175651 79 0 0 20 0 28 0 151593217 27175628800 168055 33554432000 4194304 4196468 140720889319248 140720889301792 140218687352567 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 /proc/11712/statm: 6634675 168055 3287 1 0 6621909 0 [pid=11712/tid=11713] ppid=11710 vsize=26538700 memory=687604 CPUtime=1.01 cores=0-7 /proc/11712/task/11713/stat : 11713 (java) S 11710 11710 6711 0 -1 1077944384 7178 0 0 0 97 4 0 0 20 0 28 0 151593218 27175628800 168055 33554432000 4194304 4196468 140720889319248 140218691593344 140218687362773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11714] ppid=11710 vsize=26538700 memory=672220 CPUtime=0.13 cores=0-7 /proc/11712/task/11714/stat : 11714 (java) S 11710 11710 6711 0 -1 1077944384 352 0 0 0 9 4 0 0 20 0 28 0 151593219 27175628800 168055 33554432000 4194304 4196468 140720889319248 140218609933456 140218687362773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11715] ppid=11710 vsize=26538700 memory=672220 CPUtime=0.13 cores=0-7 /proc/11712/task/11715/stat : 11715 (java) S 11710 11710 6711 0 -1 1077944384 794 0 0 0 10 3 0 0 20 0 28 0 151593219 27175628800 168055 33554432000 4194304 4196468 140720889319248 140218608880656 140218687362773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11716] ppid=11710 vsize=26538700 memory=672220 CPUtime=0.13 cores=0-7 /proc/11712/task/11716/stat : 11716 (java) S 11710 11710 6711 0 -1 1077944384 996 0 0 0 9 4 0 0 20 0 28 0 151593219 27175628800 168055 33554432000 4194304 4196468 140720889319248 140218607827856 140218687362773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11717] ppid=11710 vsize=26538700 memory=672220 CPUtime=0.12 cores=0-7 /proc/11712/task/11717/stat : 11717 (java) S 11710 11710 6711 0 -1 1077944384 796 0 0 0 9 3 0 0 20 0 28 0 151593219 27175628800 168055 33554432000 4194304 4196468 140720889319248 140218606775056 140218687362773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11718] ppid=11710 vsize=26538700 memory=672220 CPUtime=0.13 cores=0-7 /proc/11712/task/11718/stat : 11718 (java) S 11710 11710 6711 0 -1 1077944384 410 0 0 0 10 3 0 0 20 0 28 0 151593219 27175628800 168055 33554432000 4194304 4196468 140720889319248 140218605722256 140218687362773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11719] ppid=11710 vsize=26538700 memory=6791534058613427641 CPUtime=0.14 cores=0-7 /proc/11712/task/11719/stat : 11719 (java) S 11710 11710 6711 0 -1 1077944384 2277 0 0 0 10 4 0 0 20 0 28 0 151593219 27175628800 168055 33554432000 4194304 4196468 140720889319248 140218604669456 140218687362773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11720] ppid=11710 vsize=26538700 memory=1440 CPUtime=0.13 cores=0-7 /proc/11712/task/11720/stat : 11720 (java) S 11710 11710 6711 0 -1 1077944384 499 0 0 0 10 3 0 0 20 0 28 0 151593219 27175628800 168055 33554432000 4194304 4196468 140720889319248 140218238785936 140218687362773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11721] ppid=11710 vsize=26538700 memory=1380 CPUtime=0.13 cores=0-7 /proc/11712/task/11721/stat : 11721 (java) S 11710 11710 6711 0 -1 1077944384 382 0 0 0 10 3 0 0 20 0 28 0 151593219 27175628800 168055 33554432000 4194304 4196468 140720889319248 140218237733136 140218687362773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11722] ppid=11710 vsize=26538700 memory=1380 CPUtime=0.05 cores=0-7 /proc/11712/task/11722/stat : 11722 (java) S 11710 11710 6711 0 -1 1077944384 2429 0 0 0 4 1 0 0 20 0 28 0 151593220 27175628800 168055 33554432000 4194304 4196468 140720889319248 140218082532208 140218687363714 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11723] ppid=11710 vsize=26538700 memory=164 CPUtime=0 cores=0-7 /proc/11712/task/11723/stat : 11723 (java) S 11710 11710 6711 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 151593220 27175628800 168055 33554432000 4194304 4196468 140720889319248 140218081478240 140218687362773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11724] ppid=11710 vsize=26538700 memory=7523089898851035232 CPUtime=0 cores=0-7 /proc/11712/task/11724/stat : 11724 (java) S 11710 11710 6711 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 151593221 27175628800 168055 33554432000 4194304 4196468 140720889319248 140218080425344 140218687362773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11725] ppid=11710 vsize=26538700 memory=1380 CPUtime=0 cores=0-7 /proc/11712/task/11725/stat : 11725 (java) S 11710 11710 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151593223 27175628800 168055 33554432000 4194304 4196468 140720889319248 140218079373648 140218687371163 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11726] ppid=11710 vsize=26538700 memory=672220 CPUtime=2.65 cores=0-7 /proc/11712/task/11726/stat : 11726 (java) S 11710 11710 6711 0 -1 1077944384 17817 0 0 0 260 5 0 0 20 0 28 0 151593223 27175628800 168055 33554432000 4194304 4196468 140720889319248 140218078321008 140218687363714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11727] ppid=11710 vsize=26538700 memory=792 CPUtime=2.77 cores=0-7 /proc/11712/task/11727/stat : 11727 (java) S 11710 11710 6711 0 -1 1077944384 15066 0 0 0 274 3 0 0 20 0 28 0 151593223 27175628800 168055 33554432000 4194304 4196468 140720889319248 140218077268208 140218687363714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11728] ppid=11710 vsize=26538700 memory=1204 CPUtime=2.29 cores=0-7 /proc/11712/task/11728/stat : 11728 (java) S 11710 11710 6711 0 -1 1077944384 13207 0 0 0 227 2 0 0 20 0 28 0 151593223 27175628800 168055 33554432000 4194304 4196468 140720889319248 140218076215408 140218687363714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11729] ppid=11710 vsize=26538700 memory=1380 CPUtime=0.84 cores=0-7 /proc/11712/task/11729/stat : 11729 (java) S 11710 11710 6711 0 -1 1077944384 11168 0 0 0 82 2 0 0 20 0 28 0 151593223 27175628800 168055 33554432000 4194304 4196468 140720889319248 140218075162608 140218687363714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11730] ppid=11710 vsize=26538700 memory=672220 CPUtime=0 cores=0-7 /proc/11712/task/11730/stat : 11730 (java) S 11710 11710 6711 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151593223 27175628800 168055 33554432000 4194304 4196468 140720889319248 140218074111072 140218687362773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11731] ppid=11710 vsize=26538700 memory=672220 CPUtime=0.08 cores=0-7 /proc/11712/task/11731/stat : 11731 (java) S 11710 11710 6711 0 -1 1077944384 1204 0 0 0 0 8 0 0 20 0 28 0 151593224 27175628800 168055 33554432000 4194304 4196468 140720889319248 140218073058352 140218687363714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11924] ppid=11710 vsize=26538700 memory=4096 CPUtime=198.11 cores=0-7 /proc/11712/task/11924/stat : 11924 (java) R 11710 11710 6711 0 -1 4202560 1106 0 0 0 19811 0 0 0 20 0 28 0 151595619 27175628800 168055 33554432000 4194304 4196468 140720889319248 140218067639272 140218284988231 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11925] ppid=11710 vsize=26538700 memory=6791534058613427641 CPUtime=196.63 cores=0-7 /proc/11712/task/11925/stat : 11925 (java) R 11710 11710 6711 0 -1 4202560 707 0 0 0 19663 0 0 0 20 0 28 0 151595619 27175628800 168055 33554432000 4194304 4196468 140720889319248 140217858101288 140218290992031 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11926] ppid=11710 vsize=26538700 memory=1380 CPUtime=197.28 cores=0-7 /proc/11712/task/11926/stat : 11926 (java) R 11710 11710 6711 0 -1 4202560 2643 0 0 0 19727 1 0 0 20 0 28 0 151595619 27175628800 168055 33554432000 4194304 4196468 140720889319248 140217857048568 140218290741658 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11927] ppid=11710 vsize=26538700 memory=672220 CPUtime=197.88 cores=0-7 /proc/11712/task/11927/stat : 11927 (java) R 11710 11710 6711 0 -1 4202560 9639 0 0 0 19773 15 0 0 20 0 28 0 151595619 27175628800 168055 33554432000 4194304 4196468 140720889319248 140217855995608 140218290763989 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11928] ppid=11710 vsize=26538700 memory=1380 CPUtime=196.96 cores=0-7 /proc/11712/task/11928/stat : 11928 (java) R 11710 11710 6711 0 -1 4202560 2401 0 0 0 19695 1 0 0 20 0 28 0 151595619 27175628800 168055 33554432000 4194304 4196468 140720889319248 140217861258920 140218290764023 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11929] ppid=11710 vsize=26538700 memory=2428 CPUtime=198.02 cores=0-7 /proc/11712/task/11929/stat : 11929 (java) R 11710 11710 6711 0 -1 4202560 1898 0 0 0 19801 1 0 0 20 0 28 0 151595619 27175628800 168055 33554432000 4194304 4196468 140720889319248 140217860205792 140218290618112 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11930] ppid=11710 vsize=26538700 memory=1292 CPUtime=196.66 cores=0-7 /proc/11712/task/11930/stat : 11930 (java) R 11710 11710 6711 0 -1 4202560 809 0 0 0 19666 0 0 0 20 0 28 0 151595619 27175628800 168055 33554432000 4194304 4196468 140720889319248 140217859154344 140218290992015 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11931] ppid=11710 vsize=26538700 memory=672220 CPUtime=197.99 cores=0-7 /proc/11712/task/11931/stat : 11931 (java) R 11710 11710 6711 0 -1 4202560 1811 0 0 0 19799 0 0 0 20 0 28 0 151595620 27175628800 168055 33554432000 4194304 4196468 140720889319248 140217862312152 140218284988231 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 Current children cumulated CPU time: 1757.3 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 673600 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252.001 s]* /proc/loadavg: 8.00 8.13 8.12 9/207 11931 /proc/meminfo: memFree=24841528/32770624 swapFree=67108860/67108860 [pid=11710] ppid=11707 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/11710/stat : 11710 (xcsp3-exec) S 11707 11710 6711 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151593217 9740288 345 33554432000 4194304 5098028 140726199937792 140726199935896 139688712290940 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28958720 140726199940202 140726199940412 140726199940412 140726199943147 0 /proc/11710/statm: 2378 345 289 221 0 87 0 [pid=11712] ppid=11710 vsize=26538700 memory=676504 CPUtime=1994.35 cores=0-7 /proc/11712/stat : 11712 (java) S 11710 11710 6711 0 -1 1077944320 105896 0 0 0 199355 80 0 0 20 0 28 0 151593217 27175628800 169126 33554432000 4194304 4196468 140720889319248 140720889301792 140218687352567 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 /proc/11712/statm: 6634675 169126 3287 1 0 6621909 0 [pid=11712/tid=11713] ppid=11710 vsize=26538700 memory=6791534058613427641 CPUtime=1.01 cores=0-7 /proc/11712/task/11713/stat : 11713 (java) S 11710 11710 6711 0 -1 1077944384 7178 0 0 0 97 4 0 0 20 0 28 0 151593218 27175628800 169126 33554432000 4194304 4196468 140720889319248 140218691593344 140218687362773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11714] ppid=11710 vsize=26538700 memory=4126316290023845779 CPUtime=0.13 cores=0-7 /proc/11712/task/11714/stat : 11714 (java) S 11710 11710 6711 0 -1 1077944384 352 0 0 0 9 4 0 0 20 0 28 0 151593219 27175628800 169126 33554432000 4194304 4196468 140720889319248 140218609933456 140218687362773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11715] ppid=11710 vsize=26538700 memory=1696 CPUtime=0.13 cores=0-7 /proc/11712/task/11715/stat : 11715 (java) S 11710 11710 6711 0 -1 1077944384 794 0 0 0 10 3 0 0 20 0 28 0 151593219 27175628800 169126 33554432000 4194304 4196468 140720889319248 140218608880656 140218687362773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11716] ppid=11710 vsize=26538700 memory=920 CPUtime=0.13 cores=0-7 /proc/11712/task/11716/stat : 11716 (java) S 11710 11710 6711 0 -1 1077944384 996 0 0 0 9 4 0 0 20 0 28 0 151593219 27175628800 169126 33554432000 4194304 4196468 140720889319248 140218607827856 140218687362773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11717] ppid=11710 vsize=26538700 memory=4500 CPUtime=0.12 cores=0-7 /proc/11712/task/11717/stat : 11717 (java) S 11710 11710 6711 0 -1 1077944384 796 0 0 0 9 3 0 0 20 0 28 0 151593219 27175628800 169126 33554432000 4194304 4196468 140720889319248 140218606775056 140218687362773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11718] ppid=11710 vsize=26538700 memory=4100 CPUtime=0.13 cores=0-7 /proc/11712/task/11718/stat : 11718 (java) S 11710 11710 6711 0 -1 1077944384 410 0 0 0 10 3 0 0 20 0 28 0 151593219 27175628800 169126 33554432000 4194304 4196468 140720889319248 140218605722256 140218687362773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11719] ppid=11710 vsize=26538700 memory=1160 CPUtime=0.14 cores=0-7 /proc/11712/task/11719/stat : 11719 (java) S 11710 11710 6711 0 -1 1077944384 2277 0 0 0 10 4 0 0 20 0 28 0 151593219 27175628800 169126 33554432000 4194304 4196468 140720889319248 140218604669456 140218687362773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11720] ppid=11710 vsize=26538700 memory=4616 CPUtime=0.13 cores=0-7 /proc/11712/task/11720/stat : 11720 (java) S 11710 11710 6711 0 -1 1077944384 499 0 0 0 10 3 0 0 20 0 28 0 151593219 27175628800 169126 33554432000 4194304 4196468 140720889319248 140218238785936 140218687362773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11721] ppid=11710 vsize=26538700 memory=8620 CPUtime=0.13 cores=0-7 /proc/11712/task/11721/stat : 11721 (java) S 11710 11710 6711 0 -1 1077944384 382 0 0 0 10 3 0 0 20 0 28 0 151593219 27175628800 169126 33554432000 4194304 4196468 140720889319248 140218237733136 140218687362773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11722] ppid=11710 vsize=26538700 memory=792 CPUtime=0.05 cores=0-7 /proc/11712/task/11722/stat : 11722 (java) S 11710 11710 6711 0 -1 1077944384 2431 0 0 0 4 1 0 0 20 0 28 0 151593220 27175628800 169126 33554432000 4194304 4196468 140720889319248 140218082532208 140218687363714 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11723] ppid=11710 vsize=26538700 memory=1204 CPUtime=0 cores=0-7 /proc/11712/task/11723/stat : 11723 (java) S 11710 11710 6711 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 151593220 27175628800 169126 33554432000 4194304 4196468 140720889319248 140218081478240 140218687362773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11724] ppid=11710 vsize=26538700 memory=1728 CPUtime=0 cores=0-7 /proc/11712/task/11724/stat : 11724 (java) S 11710 11710 6711 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 151593221 27175628800 169126 33554432000 4194304 4196468 140720889319248 140218080425344 140218687362773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11725] ppid=11710 vsize=26538700 memory=1440 CPUtime=0 cores=0-7 /proc/11712/task/11725/stat : 11725 (java) S 11710 11710 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151593223 27175628800 169126 33554432000 4194304 4196468 140720889319248 140218079373648 140218687371163 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11726] ppid=11710 vsize=26538700 memory=15880 CPUtime=2.65 cores=0-7 /proc/11712/task/11726/stat : 11726 (java) S 11710 11710 6711 0 -1 1077944384 17817 0 0 0 260 5 0 0 20 0 28 0 151593223 27175628800 169126 33554432000 4194304 4196468 140720889319248 140218078321008 140218687363714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11727] ppid=11710 vsize=26538700 memory=16432 CPUtime=2.77 cores=0-7 /proc/11712/task/11727/stat : 11727 (java) S 11710 11710 6711 0 -1 1077944384 15066 0 0 0 274 3 0 0 20 0 28 0 151593223 27175628800 169126 33554432000 4194304 4196468 140720889319248 140218077268208 140218687363714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11728] ppid=11710 vsize=26538700 memory=24236 CPUtime=2.41 cores=0-7 /proc/11712/task/11728/stat : 11728 (java) S 11710 11710 6711 0 -1 1077944384 15495 0 0 0 239 2 0 0 20 0 28 0 151593223 27175628800 169126 33554432000 4194304 4196468 140720889319248 140218076215408 140218687363714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11729] ppid=11710 vsize=26538700 memory=4044 CPUtime=0.84 cores=0-7 /proc/11712/task/11729/stat : 11729 (java) S 11710 11710 6711 0 -1 1077944384 11179 0 0 0 82 2 0 0 20 0 28 0 151593223 27175628800 169126 33554432000 4194304 4196468 140720889319248 140218075162608 140218687363714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11730] ppid=11710 vsize=26538700 memory=1792 CPUtime=0 cores=0-7 /proc/11712/task/11730/stat : 11730 (java) S 11710 11710 6711 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151593223 27175628800 169126 33554432000 4194304 4196468 140720889319248 140218074111072 140218687362773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11731] ppid=11710 vsize=26538700 memory=636 CPUtime=0.09 cores=0-7 /proc/11712/task/11731/stat : 11731 (java) S 11710 11710 6711 0 -1 1077944384 1206 0 0 0 0 9 0 0 20 0 28 0 151593224 27175628800 169126 33554432000 4194304 4196468 140720889319248 140218073058352 140218687363714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11924] ppid=11710 vsize=26538700 memory=8052 CPUtime=227.82 cores=0-7 /proc/11712/task/11924/stat : 11924 (java) R 11710 11710 6711 0 -1 4202560 1107 0 0 0 22782 0 0 0 20 0 28 0 151595619 27175628800 169126 33554432000 4194304 4196468 140720889319248 140218067639224 140218284988224 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11925] ppid=11710 vsize=26538700 memory=840 CPUtime=226.34 cores=0-7 /proc/11712/task/11925/stat : 11925 (java) R 11710 11710 6711 0 -1 4202560 708 0 0 0 22634 0 0 0 20 0 28 0 151595619 27175628800 169126 33554432000 4194304 4196468 140720889319248 140217858101288 140218290621581 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11926] ppid=11710 vsize=26538700 memory=1696 CPUtime=226.99 cores=0-7 /proc/11712/task/11926/stat : 11926 (java) R 11710 11710 6711 0 -1 4202560 2646 0 0 0 22698 1 0 0 20 0 28 0 151595619 27175628800 169126 33554432000 4194304 4196468 140720889319248 140217857048488 140218290763989 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11927] ppid=11710 vsize=26538700 memory=920 CPUtime=227.59 cores=0-7 /proc/11712/task/11927/stat : 11927 (java) R 11710 11710 6711 0 -1 4202560 9727 0 0 0 22744 15 0 0 20 0 28 0 151595619 27175628800 169126 33554432000 4194304 4196468 140720889319248 140217855995688 140218291803644 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11928] ppid=11710 vsize=26538700 memory=4500 CPUtime=226.65 cores=0-7 /proc/11712/task/11928/stat : 11928 (java) R 11710 11710 6711 0 -1 4202560 2403 0 0 0 22664 1 0 0 20 0 28 0 151595619 27175628800 169126 33554432000 4194304 4196468 140720889319248 140217861258920 140218290618112 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11929] ppid=11710 vsize=26538700 memory=4100 CPUtime=227.6 cores=0-7 /proc/11712/task/11929/stat : 11929 (java) R 11710 11710 6711 0 -1 4202560 1899 0 0 0 22759 1 0 0 20 0 28 0 151595619 27175628800 169126 33554432000 4194304 4196468 140720889319248 140217860205872 140218290559635 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11930] ppid=11710 vsize=26538700 memory=1160 CPUtime=225.76 cores=0-7 /proc/11712/task/11930/stat : 11930 (java) R 11710 11710 6711 0 -1 4202560 809 0 0 0 22576 0 0 0 20 0 28 0 151595619 27175628800 169126 33554432000 4194304 4196468 140720889319248 140217859154344 140218284988220 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 [pid=11712/tid=11931] ppid=11710 vsize=26538700 memory=1204 CPUtime=227.7 cores=0-7 /proc/11712/task/11931/stat : 11931 (java) R 11710 11710 6711 0 -1 4202560 1820 0 0 0 22770 0 0 0 20 0 28 0 151595620 27175628800 169126 33554432000 4194304 4196468 140720889319248 140217862311976 140218284988280 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37646336 140720889320600 140720889320776 140720889320776 140720889323471 0 Current children cumulated CPU time: 1994.35 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 677884 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.045 s] # the end of solver process 11710 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.000972 s, system=0.000972 s [startup+252.103 s] # the end of solver process 11712 was just reported to runsolver # cumulated CPU time of all completed processes: user=1994.22 s, system=0.812771 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.103 CPU time (s): 1995.03 CPU user time (s): 1994.22 CPU system time (s): 0.812771 CPU usage (%): 791.355 Max. virtual memory (cumulated for all children) (KiB): 26548212 Max. memory (cumulated for all children) (KiB): 688984 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1994.22 system time used= 0.812771 maximum resident set size= 701444 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 106778 page faults= 0 swaps= 0 block input operations= 0 block output operations= 472 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 13526 involuntary context switches= 21581 # summary of solver processes directly reported to runsolver: # pid: 11710,11712 # total CPU time (s): 1995.03 # total CPU user time (s): 1994.22 # total CPU system time (s): 0.812771 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.24024 second user time and 2.94304 second system time The end
Begin job on node148 at 2017-08-20 01:11:03 IDJOB=4281307 IDBENCH=124177 IDSOLVER=2676 FILE ID=node148/4281307-1503185123 RUNJOBID= node148-1503175375-6738 PBS_JOBID= 20630845 Free space on /tmp= 61948 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-4281307-1503185123/watcher-4281307-1503185123 -o /tmp/evaluation-result-4281307-1503185123/solver-4281307-1503185123 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node148-1503175375-6738 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1009036328 HOME/instance-4281307-1503185123.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= e916ba0c5634620e8924ec581ee284c9 RANDOM SEED=1009036328 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: 25503600 kB MemAvailable: 31975900 kB Buffers: 295876 kB Cached: 6470432 kB SwapCached: 0 kB Active: 1169804 kB Inactive: 5649700 kB Active(anon): 4928 kB Inactive(anon): 84704 kB Active(file): 1164876 kB Inactive(file): 5564996 kB Unevictable: 7784 kB Mlocked: 7784 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8384 kB Writeback: 0 kB AnonPages: 72512 kB Mapped: 51832 kB Shmem: 33416 kB Slab: 143044 kB SReclaimable: 116528 kB SUnreclaim: 26516 kB KernelStack: 3536 kB PageTables: 4800 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 333596 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 18432 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= 61940 MiB End job on node148 at 2017-08-20 01:15:15