0.00/0.05	c 280717
175.61/175.71	o 224
175.92/176.08	o 223
176.02/176.13	o 222
176.02/176.18	o 221
176.11/176.20	o 220
176.11/176.21	o 219
176.11/176.23	o 218
177.51/177.69	o 217
178.22/178.31	o 216
178.81/178.96	o 215
180.11/180.21	o 214
180.61/180.71	o 213
180.81/180.98	o 212
181.42/181.56	o 211
181.71/181.80	o 210
181.91/182.03	o 209
182.71/182.81	o 208
182.91/183.04	o 207
185.21/185.37	o 206
185.31/185.47	o 205
185.41/185.55	o 204
195.01/195.19	o 203
198.31/198.46	o 202
201.22/201.32	o 201
206.01/206.19	o 200
213.81/213.96	o 199
2519.80/2520.00	s SATISFIABLE
2519.80/2520.00	v <instantiation type="solution">
2519.80/2520.00	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] 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] </list>
2519.80/2520.00	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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 1 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 1 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 4 0 0 0 0 0 0 0 0 0 0 2 0 0 0 1 0 1 0 0 4 0 0 0 0 0 0 0 0 0 0 2 0 0 0 1 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 1 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 1 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 1 0 0 0 0 5 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 5 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 5 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 5 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 4 1 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 4 1 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 4 1 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 4 1 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 4 1 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 4 1 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 4 1 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 4 1 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 4 1 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 4 1 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 4 1 0 0 0 0 0 3 2 0 0 0 0 0 0 0 1 2 0 0 0 1 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 5 0 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 4 2 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 4 2 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 4 0 0 0 3 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 3 0 4 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 2 2 3 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 2 2 3 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 2 2 3 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 2 2 3 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 2 2 3 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 2 2 3 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 2 2 3 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 2 2 0 0 4 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 2 0 0 0 0 1 0 9 0 0 0 1 0 0 0 0 0 0 0 2 2 0 0 0 0 1 0 9 0 0 0 1 0 0 0 0 0 0 0 2 2 0 0 0 0 1 0 9 0 0 0 1 0 0 0 0 0 0 0 2 2 0 0 0 0 1 0 9 0 0 0 1 0 0 0 0 0 0 0 2 2 0 0 0 0 1 0 9 0 0 0 1 0 0 0 0 0 0 0 2 2 0 0 0 0 1 0 9 0 0 0 1 0 0 0 0 0 0 0 2 0 3 2 0 0 0 0 0 0 2 1 1 0 0 0 0 0 0 0 2 0 0 1 5 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 2 0 0 1 5 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 2 0 0 1 0 0 0 8 1 0 1 0 1 0 0 0 0 0 0 0 2 0 0 0 6 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 2 0 0 0 6 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 6 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 6 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 6 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 6 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 6 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 6 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 6 0 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 1 3 0 0 0 6 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 7 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 7 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 7 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 7 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 7 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 7 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 7 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 8 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 8 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 8 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 2 1 5 2 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 2 0 7 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 0 0 2 0 7 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 0 0 1 0 8 0 0 0 0 0 3 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 0 4 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 4 0 2 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 4 0 2 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 4 0 2 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 4 0 2 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 4 0 2 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 4 0 1 1 0 0 0 0 0 0 0 0 0 1 0 2 0 0 0 0 4 0 1 1 0 0 0 0 0 0 0 0 0 1 0 2 0 0 0 0 4 0 1 1 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 4 0 1 1 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 0 4 0 0 1 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 4 0 0 1 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 4 0 0 1 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 4 0 0 1 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 4 0 0 1 0 0 0 0 0 0 2 0 0 4 0 0 0 0 0 0 4 0 0 0 0 2 0 0 1 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 2 0 0 1 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 2 0 0 1 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 2 0 0 1 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 1 0 0 0 0 0 0 4 0 1 0 0 0 0 0 2 4 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 2 4 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 2 1 0 3 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 2 1 0 3 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 2 1 0 0 3 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 2 1 0 0 3 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 2 1 0 0 3 0 0 0 0 0 0 2 0 0 0 0 1 0 0 0 2 1 0 0 3 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 1 0 0 3 0 0 0 0 0 0 0 0 0 0 4 2 0 0 0 2 1 0 0 3 0 0 0 0 0 0 0 0 0 0 3 3 0 0 0 2 0 3 0 0 0 0 2 0 0 0 0 0 0 0 0 3 0 0 0 1 5 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 5 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 1 5 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 1 4 1 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 1 3 2 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 3 2 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 3 2 0 0 0 0 0 0 0 0 0 0 2 0 2 0 0 0 0 1 3 0 2 0 0 0 0 0 0 0 0 2 0 0 0 1 0 0 0 1 2 0 3 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 2 0 2 1 0 0 0 1 0 0 0 0 0 0 0 2 0 0 0 1 2 0 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 5 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 1 0 0 1 5 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 1 0 0 1 5 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 1 0 0 1 5 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 1 0 0 1 4 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 1 0 0 1 4 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 1 0 0 1 3 0 0 0 0 0 5 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 5 0 0 0 2 0 0 1 0 4 0 0 0 1 0 0 1 0 0 0 5 0 0 0 2 0 0 0 0 6 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 1 0 3 0 0 0 0 0 2 0 4 0 0 0 0 0 0 1 0 0 2 0 1 0 0 0 0 0 1 5 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 5 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 1 1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 4 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 6 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 6 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 6 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 6 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 5 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 1 0 1 5 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 1 0 1 2 1 0 2 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 4 4 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 3 8 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 2 9 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 2 9 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 2 9 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 11 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 12 1 0 0 0 0 0 0 0 1 0 0 0 0 2 0 3 0 0 0 5 0 0 5 0 0 0 0 0 1 0 0 0 0 2 0 0 1 5 0 5 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 12 2 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 3 11 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 3 11 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 3 10 0 4 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 3 0 0 23 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 14 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 15 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 15 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 14 0 0 0 0 4 0 0 0 0 1 0 0 0 0 0 0 0 0 0 14 0 0 0 0 3 0 0 0 0 0 0 1 6 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 0 0 0 1 6 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 0 0 0 1 5 0 0 0 0 0 0 3 0 0 0 1 0 0 0 0 0 0 0 1 3 0 1 0 3 0 0 0 0 0 0 0 4 0 0 0 0 0 0 1 3 0 1 0 3 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 1 0 0 0 9 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 9 0 0 4 0 2 2 0 0 0 0 0 0 0 0 2 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 8 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 1 6 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 2 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 6 0 0 5 2 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 6 0 0 5 2 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 8 4 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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>
2519.80/2520.00	v </instantiation>

OK	199

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4260897-1502355044/watcher-4260897-1502355044 -o /tmp/evaluation-result-4260897-1502355044/solver-4260897-1502355044 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502333727-2686 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 396356609 HOME/instance-4260897-1502355044.xml 

pid=6449
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.08 2.03 2.05 3/180 6452
/proc/meminfo: memFree=31347860/32770624 swapFree=0/223424
[pid=6452] ppid=6449 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/6452/stat : 6452 (runsolver) D 6449 6452 15981 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 37700028 24240128 106 18446744073709551615 4194304 4338465 140724687743632 140724687741272 140215058756311 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 27873280 140724687745165 140724687745610 140724687745610 140724687749066 0
/proc/6452/statm: 5918 106 53 36 0 2156 0

[startup+0.1002 s]
/proc/loadavg: 2.08 2.03 2.05 3/180 6452
/proc/meminfo: memFree=31347860/32770624 swapFree=0/223424
[pid=6452] ppid=6449 vsize=35348 CPUtime=0.04 cores=0,2,4,6
/proc/6452/stat : 6452 (MistralXCSP) R 6449 6452 15981 0 -1 4202496 2712 0 0 0 4 0 0 0 20 0 1 0 37700028 36196352 2436 18446744073709551615 4194304 7396336 140736663708560 140736663705560 140118378728421 0 0 1 0 0 0 0 17 4 0 0 5 0 0 9496464 9501696 34283520 140736663716276 140736663716425 140736663716425 140736663719881 0
/proc/6452/statm: 8837 2436 663 782 0 1853 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 35348

[startup+0.200387 s]
/proc/loadavg: 2.08 2.03 2.05 3/180 6452
/proc/meminfo: memFree=31347860/32770624 swapFree=0/223424
[pid=6452] ppid=6449 vsize=47412 CPUtime=0.14 cores=0,2,4,6
/proc/6452/stat : 6452 (MistralXCSP) R 6449 6452 15981 0 -1 4202496 5964 0 0 0 14 0 0 0 20 0 1 0 37700028 48549888 5446 18446744073709551615 4194304 7396336 140736663708560 140736663705560 4565880 0 0 1 0 0 0 0 17 4 0 0 5 0 0 9496464 9501696 34283520 140736663716276 140736663716425 140736663716425 140736663719881 0
/proc/6452/statm: 11853 5446 680 782 0 4869 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 47412

[startup+0.300387 s]
/proc/loadavg: 2.08 2.03 2.05 3/180 6452
/proc/meminfo: memFree=31347860/32770624 swapFree=0/223424
[pid=6452] ppid=6449 vsize=53760 CPUtime=0.23 cores=0,2,4,6
/proc/6452/stat : 6452 (MistralXCSP) R 6449 6452 15981 0 -1 4202496 7592 0 0 0 23 0 0 0 20 0 1 0 37700028 55050240 7004 18446744073709551615 4194304 7396336 140736663708560 140736663705560 4566039 0 0 1 0 0 0 0 17 4 0 0 5 0 0 9496464 9501696 34283520 140736663716276 140736663716425 140736663716425 140736663719881 0
/proc/6452/statm: 13440 7004 680 782 0 6456 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 53760

[startup+0.700337 s]
/proc/loadavg: 2.08 2.03 2.05 3/180 6452
/proc/meminfo: memFree=31347860/32770624 swapFree=0/223424
[pid=6452] ppid=6449 vsize=79068 CPUtime=0.64 cores=0,2,4,6
/proc/6452/stat : 6452 (MistralXCSP) R 6449 6452 15981 0 -1 4202496 13138 0 0 0 63 1 0 0 20 0 1 0 37700028 80965632 13408 18446744073709551615 4194304 7396336 140736663708560 140736663699832 4565872 0 0 1 0 0 0 0 17 4 0 0 5 0 0 9496464 9501696 34283520 140736663716276 140736663716425 140736663716425 140736663719881 0
/proc/6452/statm: 19767 13408 680 782 0 12783 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 79068

[startup+1.50033 s]
/proc/loadavg: 2.07 2.03 2.05 3/181 6453
/proc/meminfo: memFree=31296260/32770624 swapFree=0/223568
[pid=6452] ppid=6449 vsize=88140 CPUtime=1.43 cores=0,2,4,6
/proc/6452/stat : 6452 (MistralXCSP) R 6449 6452 15981 0 -1 4202496 15396 0 0 0 142 1 0 0 20 0 1 0 37700028 90255360 15651 18446744073709551615 4194304 7396336 140736663708560 140736663699832 5165928 0 0 1 16386 0 0 0 17 4 0 0 5 0 0 9496464 9501696 34283520 140736663716276 140736663716425 140736663716425 140736663719881 0
/proc/6452/statm: 22035 15651 699 782 0 15051 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 88140

[startup+3.10035 s]
/proc/loadavg: 2.07 2.03 2.05 3/181 6453
/proc/meminfo: memFree=31288128/32770624 swapFree=0/223568
[pid=6452] ppid=6449 vsize=88820 CPUtime=3.04 cores=0,2,4,6
/proc/6452/stat : 6452 (MistralXCSP) R 6449 6452 15981 0 -1 4202496 26341 0 0 0 302 2 0 0 20 0 1 0 37700028 90951680 15855 18446744073709551615 4194304 7396336 140736663708560 140736663699832 5165928 0 0 1 16386 0 0 0 17 4 0 0 5 0 0 9496464 9501696 34283520 140736663716276 140736663716425 140736663716425 140736663719881 0
/proc/6452/statm: 22205 15855 718 782 0 15221 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 88820

[startup+6.30034 s]
/proc/loadavg: 2.06 2.03 2.05 3/181 6453
/proc/meminfo: memFree=31286900/32770624 swapFree=0/223180
[pid=6452] ppid=6449 vsize=88820 CPUtime=6.24 cores=0,2,4,6
/proc/6452/stat : 6452 (MistralXCSP) R 6449 6452 15981 0 -1 4202496 36698 0 0 0 621 3 0 0 20 0 1 0 37700028 90951680 15872 18446744073709551615 4194304 7396336 140736663708560 140736663703128 5165945 0 0 1 16386 0 0 0 17 4 0 0 5 0 0 9496464 9501696 34283520 140736663716276 140736663716425 140736663716425 140736663719881 0
/proc/6452/statm: 22205 15872 718 782 0 15221 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 88820

[startup+12.7003 s]
/proc/loadavg: 2.06 2.03 2.05 3/181 6453
/proc/meminfo: memFree=31286900/32770624 swapFree=0/223180
[pid=6452] ppid=6449 vsize=88820 CPUtime=12.64 cores=0,2,4,6
/proc/6452/stat : 6452 (MistralXCSP) R 6449 6452 15981 0 -1 4202496 47365 0 0 0 1261 3 0 0 20 0 1 0 37700028 90951680 15872 18446744073709551615 4194304 7396336 140736663708560 140736663703128 5165796 0 0 1 16386 0 0 0 17 4 0 0 5 0 0 9496464 9501696 34283520 140736663716276 140736663716425 140736663716425 140736663719881 0
/proc/6452/statm: 22205 15872 718 782 0 15221 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 88820

[startup+25.5004 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 6453
/proc/meminfo: memFree=31286900/32770624 swapFree=0/223180
[pid=6452] ppid=6449 vsize=88820 CPUtime=25.43 cores=0,2,4,6
/proc/6452/stat : 6452 (MistralXCSP) R 6449 6452 15981 0 -1 4202496 68574 0 0 0 2539 4 0 0 20 0 1 0 37700028 90951680 15873 18446744073709551615 4194304 7396336 140736663708560 140736663703128 5165842 0 0 1 16386 0 0 0 17 4 0 0 5 0 0 9496464 9501696 34283520 140736663716276 140736663716425 140736663716425 140736663719881 0
/proc/6452/statm: 22205 15873 718 782 0 15221 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 88820

[startup+51.1004 s]
/proc/loadavg: 2.10 2.04 2.05 3/181 6453
/proc/meminfo: memFree=31286288/32770624 swapFree=0/223188
[pid=6452] ppid=6449 vsize=88952 CPUtime=51.03 cores=0,2,4,6
/proc/6452/stat : 6452 (MistralXCSP) R 6449 6452 15981 0 -1 4202496 79549 0 0 0 5099 4 0 0 20 0 1 0 37700028 91086848 15878 18446744073709551615 4194304 7396336 140736663708560 140736663703048 5165763 0 0 1 16386 0 0 0 17 4 0 0 5 0 0 9496464 9501696 34283520 140736663716276 140736663716425 140736663716425 140736663719881 0
/proc/6452/statm: 22238 15878 720 782 0 15254 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 88952

[startup+102.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/181 6455
/proc/meminfo: memFree=31286180/32770624 swapFree=0/223228
[pid=6452] ppid=6449 vsize=88952 CPUtime=102.24 cores=0,2,4,6
/proc/6452/stat : 6452 (MistralXCSP) R 6449 6452 15981 0 -1 4202496 90300 0 0 0 10219 5 0 0 20 0 1 0 37700028 91086848 15881 18446744073709551615 4194304 7396336 140736663708560 140736663703048 5165805 0 0 1 16386 0 0 0 17 4 0 0 5 0 0 9496464 9501696 34283520 140736663716276 140736663716425 140736663716425 140736663719881 0
/proc/6452/statm: 22238 15881 720 782 0 15254 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 88952

[startup+162.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/181 6457
/proc/meminfo: memFree=31284092/32770624 swapFree=0/223240
[pid=6452] ppid=6449 vsize=88952 CPUtime=162.21 cores=0,2,4,6
/proc/6452/stat : 6452 (MistralXCSP) R 6449 6452 15981 0 -1 4202496 101082 0 0 0 16216 5 0 0 20 0 1 0 37700028 91086848 15916 18446744073709551615 4194304 7396336 140736663708560 140736663703048 5165945 0 0 1 16386 0 0 0 17 4 0 0 5 0 0 9496464 9501696 34283520 140736663716276 140736663716425 140736663716425 140736663719881 0
/proc/6452/statm: 22238 15916 720 782 0 15254 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 88952

[startup+222.306 s]
/proc/loadavg: 2.02 2.04 2.05 3/184 6473
/proc/meminfo: memFree=31278960/32770624 swapFree=0/223288
[pid=6452] ppid=6449 vsize=90508 CPUtime=222.21 cores=0,2,4,6
/proc/6452/stat : 6452 (MistralXCSP) R 6449 6452 15981 0 -1 4202496 102508 0 0 0 22215 6 0 0 20 0 1 0 37700028 92680192 16267 18446744073709551615 4194304 7396336 140736663708560 140736663703048 5165805 0 0 1 16386 0 0 0 17 4 0 0 5 0 0 9496464 9501696 34283520 140736663716276 140736663716425 140736663716425 140736663719881 0
/proc/6452/statm: 22627 16267 722 782 0 15643 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 90508

[startup+282.3 s]
/proc/loadavg: 2.14 2.09 2.06 3/184 6538
/proc/meminfo: memFree=31471208/32770624 swapFree=0/223320
[pid=6452] ppid=6449 vsize=90904 CPUtime=282.2 cores=0,2,4,6
/proc/6452/stat : 6452 (MistralXCSP) R 6449 6452 15981 0 -1 4202496 103781 0 0 0 28214 6 0 0 20 0 1 0 37700028 93085696 16385 18446744073709551615 4194304 7396336 140736663708560 140736663702920 5165805 0 0 1 16386 0 0 0 17 4 0 0 5 0 0 9496464 9501696 34283520 140736663716276 140736663716425 140736663716425 140736663719881 0
/proc/6452/statm: 22726 16385 722 782 0 15742 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 90904

[startup+342.3 s]
/proc/loadavg: 2.02 2.06 2.05 3/181 6540
/proc/meminfo: memFree=31474604/32770624 swapFree=0/223348
[pid=6452] ppid=6449 vsize=91168 CPUtime=342.2 cores=0,2,4,6
/proc/6452/stat : 6452 (MistralXCSP) R 6449 6452 15981 0 -1 4202496 104803 0 0 0 34214 6 0 0 20 0 1 0 37700028 93356032 16456 18446744073709551615 4194304 7396336 140736663708560 140736663702904 5165752 0 0 1 16386 0 0 0 17 4 0 0 5 0 0 9496464 9501696 34283520 140736663716276 140736663716425 140736663716425 140736663719881 0
/proc/6452/statm: 22792 16456 722 782 0 15808 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 91168

[startup+402.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/181 6542
/proc/meminfo: memFree=31474604/32770624 swapFree=0/223364
[pid=6452] ppid=6449 vsize=91300 CPUtime=402.19 cores=0,2,4,6
/proc/6452/stat : 6452 (MistralXCSP) R 6449 6452 15981 0 -1 4202496 105835 0 0 0 40213 6 0 0 20 0 1 0 37700028 93491200 16494 18446744073709551615 4194304 7396336 140736663708560 140736663702904 5165805 0 0 1 16386 0 0 0 17 4 0 0 5 0 0 9496464 9501696 34283520 140736663716276 140736663716425 140736663716425 140736663719881 0
/proc/6452/statm: 22825 16494 722 782 0 15841 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 91300

[startup+462.3 s]
/proc/loadavg: 2.08 2.06 2.05 3/181 6544
/proc/meminfo: memFree=31474652/32770624 swapFree=0/223356
[pid=6452] ppid=6449 vsize=91300 CPUtime=462.19 cores=0,2,4,6
/proc/6452/stat : 6452 (MistralXCSP) R 6449 6452 15981 0 -1 4202496 106862 0 0 0 46213 6 0 0 20 0 1 0 37700028 93491200 16500 18446744073709551615 4194304 7396336 140736663708560 140736663702920 5165928 0 0 1 16386 0 0 0 17 4 0 0 5 0 0 9496464 9501696 34283520 140736663716276 140736663716425 140736663716425 140736663719881 0
/proc/6452/statm: 22825 16500 722 782 0 15841 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 91300

[startup+522.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/181 6546
/proc/meminfo: memFree=31474612/32770624 swapFree=0/223364
[pid=6452] ppid=6449 vsize=91300 CPUtime=522.19 cores=0,2,4,6
/proc/6452/stat : 6452 (MistralXCSP) R 6449 6452 15981 0 -1 4202496 107897 0 0 0 52213 6 0 0 20 0 1 0 37700028 93491200 16514 18446744073709551615 4194304 7396336 140736663708560 140736663702920 5165805 0 0 1 16386 0 0 0 17 4 0 0 5 0 0 9496464 9501696 34283520 140736663716276 140736663716425 140736663716425 140736663719881 0
/proc/6452/statm: 22825 16514 722 782 0 15841 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 91300

[startup+582.3 s]
/proc/loadavg: 2.05 2.05 2.05 3/181 6548
/proc/meminfo: memFree=31475052/32770624 swapFree=0/223404
[pid=6452] ppid=6449 vsize=91432 CPUtime=582.19 cores=0,2,4,6
/proc/6452/stat : 6452 (MistralXCSP) R 6449 6452 15981 0 -1 4202496 108938 0 0 0 58212 7 0 0 20 0 1 0 37700028 93626368 16528 18446744073709551615 4194304 7396336 140736663708560 140736663702920 5165928 0 0 1 16386 0 0 0 17 4 0 0 5 0 0 9496464 9501696 34283520 140736663716276 140736663716425 140736663716425 140736663719881 0
/proc/6452/statm: 22858 16528 722 782 0 15874 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 91432


################
# More data... #
################


[startup+1602.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 6637
/proc/meminfo: memFree=31471508/32770624 swapFree=0/223744
[pid=6452] ppid=6449 vsize=91868 CPUtime=1602.15 cores=0,2,4,6
/proc/6452/stat : 6452 (MistralXCSP) R 6449 6452 15981 0 -1 4202496 127491 0 0 0 160207 8 0 0 20 0 1 0 37700028 94072832 16648 18446744073709551615 4194304 7396336 140736663708560 140736663703048 4542704 0 0 1 16386 0 0 0 17 4 0 0 5 0 0 9496464 9501696 34283520 140736663716276 140736663716425 140736663716425 140736663719881 0
/proc/6452/statm: 22967 16648 722 782 0 15983 0
Current children cumulated CPU time (s) 1602.15
Current children cumulated vsize (KiB) 91868

[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 6639
/proc/meminfo: memFree=31472068/32770624 swapFree=0/223748
[pid=6452] ppid=6449 vsize=91868 CPUtime=1662.14 cores=0,2,4,6
/proc/6452/stat : 6452 (MistralXCSP) R 6449 6452 15981 0 -1 4202496 128618 0 0 0 166206 8 0 0 20 0 1 0 37700028 94072832 16653 18446744073709551615 4194304 7396336 140736663708560 140736663703048 5165805 0 0 1 16386 0 0 0 17 4 0 0 5 0 0 9496464 9501696 34283520 140736663716276 140736663716425 140736663716425 140736663719881 0
/proc/6452/statm: 22967 16653 722 782 0 15983 0
Current children cumulated CPU time (s) 1662.14
Current children cumulated vsize (KiB) 91868

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6641
/proc/meminfo: memFree=31470888/32770624 swapFree=0/223752
[pid=6452] ppid=6449 vsize=91868 CPUtime=1722.14 cores=0,2,4,6
/proc/6452/stat : 6452 (MistralXCSP) R 6449 6452 15981 0 -1 4202496 129263 0 0 0 172206 8 0 0 20 0 1 0 37700028 94072832 16657 18446744073709551615 4194304 7396336 140736663708560 140736663703048 5165771 0 0 1 16386 0 0 0 17 4 0 0 5 0 0 9496464 9501696 34283520 140736663716276 140736663716425 140736663716425 140736663719881 0
/proc/6452/statm: 22967 16657 722 782 0 15983 0
Current children cumulated CPU time (s) 1722.14
Current children cumulated vsize (KiB) 91868

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 6643
/proc/meminfo: memFree=31472280/32770624 swapFree=0/223804
[pid=6452] ppid=6449 vsize=91868 CPUtime=1782.14 cores=0,2,4,6
/proc/6452/stat : 6452 (MistralXCSP) R 6449 6452 15981 0 -1 4202496 129913 0 0 0 178206 8 0 0 20 0 1 0 37700028 94072832 16658 18446744073709551615 4194304 7396336 140736663708560 140736663703048 4249495 0 0 1 16386 0 0 0 17 4 0 0 5 0 0 9496464 9501696 34283520 140736663716276 140736663716425 140736663716425 140736663719881 0
/proc/6452/statm: 22967 16658 722 782 0 15983 0
Current children cumulated CPU time (s) 1782.14
Current children cumulated vsize (KiB) 91868

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 6645
/proc/meminfo: memFree=31472084/32770624 swapFree=0/223812
[pid=6452] ppid=6449 vsize=91868 CPUtime=1842.13 cores=0,2,4,6
/proc/6452/stat : 6452 (MistralXCSP) R 6449 6452 15981 0 -1 4202496 130573 0 0 0 184205 8 0 0 20 0 1 0 37700028 94072832 16665 18446744073709551615 4194304 7396336 140736663708560 140736663703048 5165805 0 0 1 16386 0 0 0 17 4 0 0 5 0 0 9496464 9501696 34283520 140736663716276 140736663716425 140736663716425 140736663719881 0
/proc/6452/statm: 22967 16665 722 782 0 15983 0
Current children cumulated CPU time (s) 1842.13
Current children cumulated vsize (KiB) 91868

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 6647
/proc/meminfo: memFree=31472828/32770624 swapFree=0/223832
[pid=6452] ppid=6449 vsize=91868 CPUtime=1902.13 cores=0,2,4,6
/proc/6452/stat : 6452 (MistralXCSP) R 6449 6452 15981 0 -1 4202496 131224 0 0 0 190205 8 0 0 20 0 1 0 37700028 94072832 16665 18446744073709551615 4194304 7396336 140736663708560 140736663703048 4249440 0 0 1 16386 0 0 0 17 4 0 0 5 0 0 9496464 9501696 34283520 140736663716276 140736663716425 140736663716425 140736663719881 0
/proc/6452/statm: 22967 16665 722 782 0 15983 0
Current children cumulated CPU time (s) 1902.13
Current children cumulated vsize (KiB) 91868

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 6649
/proc/meminfo: memFree=31472472/32770624 swapFree=0/223856
[pid=6452] ppid=6449 vsize=91868 CPUtime=1962.13 cores=0,2,4,6
/proc/6452/stat : 6452 (MistralXCSP) R 6449 6452 15981 0 -1 4202496 131876 0 0 0 196205 8 0 0 20 0 1 0 37700028 94072832 16666 18446744073709551615 4194304 7396336 140736663708560 140736663703048 4249767 0 0 1 16386 0 0 0 17 4 0 0 5 0 0 9496464 9501696 34283520 140736663716276 140736663716425 140736663716425 140736663719881 0
/proc/6452/statm: 22967 16666 722 782 0 15983 0
Current children cumulated CPU time (s) 1962.13
Current children cumulated vsize (KiB) 91868

[startup+2022.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/184 6665
/proc/meminfo: memFree=31468248/32770624 swapFree=0/223884
[pid=6452] ppid=6449 vsize=92000 CPUtime=2022.13 cores=0,2,4,6
/proc/6452/stat : 6452 (MistralXCSP) R 6449 6452 15981 0 -1 4202496 132552 0 0 0 202205 8 0 0 20 0 1 0 37700028 94208000 16674 18446744073709551615 4194304 7396336 140736663708560 140736663703000 5588137 0 0 1 16386 0 0 0 17 4 0 0 5 0 0 9496464 9501696 34283520 140736663716276 140736663716425 140736663716425 140736663719881 0
/proc/6452/statm: 23000 16674 722 782 0 16016 0
Current children cumulated CPU time (s) 2022.13
Current children cumulated vsize (KiB) 92000

[startup+2082.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/184 6667
/proc/meminfo: memFree=31468100/32770624 swapFree=0/223900
[pid=6452] ppid=6449 vsize=92000 CPUtime=2082.13 cores=0,2,4,6
/proc/6452/stat : 6452 (MistralXCSP) R 6449 6452 15981 0 -1 4202496 133214 0 0 0 208205 8 0 0 20 0 1 0 37700028 94208000 16674 18446744073709551615 4194304 7396336 140736663708560 140736663703000 5165928 0 0 1 16386 0 0 0 17 4 0 0 5 0 0 9496464 9501696 34283520 140736663716276 140736663716425 140736663716425 140736663719881 0
/proc/6452/statm: 23000 16674 722 782 0 16016 0
Current children cumulated CPU time (s) 2082.13
Current children cumulated vsize (KiB) 92000

[startup+2142.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/181 6669
/proc/meminfo: memFree=31471496/32770624 swapFree=0/223912
[pid=6452] ppid=6449 vsize=92000 CPUtime=2142.12 cores=0,2,4,6
/proc/6452/stat : 6452 (MistralXCSP) R 6449 6452 15981 0 -1 4202496 133879 0 0 0 214204 8 0 0 20 0 1 0 37700028 94208000 16677 18446744073709551615 4194304 7396336 140736663708560 140736663703000 4249751 0 0 1 16386 0 0 0 17 4 0 0 5 0 0 9496464 9501696 34283520 140736663716276 140736663716425 140736663716425 140736663719881 0
/proc/6452/statm: 23000 16677 722 782 0 16016 0
Current children cumulated CPU time (s) 2142.12
Current children cumulated vsize (KiB) 92000

[startup+2202.31 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 6671
/proc/meminfo: memFree=31471600/32770624 swapFree=0/223912
[pid=6452] ppid=6449 vsize=92000 CPUtime=2202.13 cores=0,2,4,6
/proc/6452/stat : 6452 (MistralXCSP) R 6449 6452 15981 0 -1 4202496 134541 0 0 0 220205 8 0 0 20 0 1 0 37700028 94208000 16681 18446744073709551615 4194304 7396336 140736663708560 140736663703000 5649755 0 0 1 16386 0 0 0 17 4 0 0 5 0 0 9496464 9501696 34283520 140736663716276 140736663716425 140736663716425 140736663719881 0
/proc/6452/statm: 23000 16681 722 782 0 16016 0
Current children cumulated CPU time (s) 2202.13
Current children cumulated vsize (KiB) 92000

[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 6673
/proc/meminfo: memFree=31472452/32770624 swapFree=0/223936
[pid=6452] ppid=6449 vsize=92000 CPUtime=2262.12 cores=0,2,4,6
/proc/6452/stat : 6452 (MistralXCSP) R 6449 6452 15981 0 -1 4202496 135210 0 0 0 226204 8 0 0 20 0 1 0 37700028 94208000 16681 18446744073709551615 4194304 7396336 140736663708560 140736663703000 4246600 0 0 1 16386 0 0 0 17 4 0 0 5 0 0 9496464 9501696 34283520 140736663716276 140736663716425 140736663716425 140736663719881 0
/proc/6452/statm: 23000 16681 722 782 0 16016 0
Current children cumulated CPU time (s) 2262.12
Current children cumulated vsize (KiB) 92000

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 6675
/proc/meminfo: memFree=31472452/32770624 swapFree=0/223948
[pid=6452] ppid=6449 vsize=92000 CPUtime=2322.11 cores=0,2,4,6
/proc/6452/stat : 6452 (MistralXCSP) R 6449 6452 15981 0 -1 4202496 135879 0 0 0 232203 8 0 0 20 0 1 0 37700028 94208000 16685 18446744073709551615 4194304 7396336 140736663708560 140736663703000 4252532 0 0 1 16386 0 0 0 17 4 0 0 5 0 0 9496464 9501696 34283520 140736663716276 140736663716425 140736663716425 140736663719881 0
/proc/6452/statm: 23000 16685 722 782 0 16016 0
Current children cumulated CPU time (s) 2322.11
Current children cumulated vsize (KiB) 92000

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 6677
/proc/meminfo: memFree=31472468/32770624 swapFree=0/223964
[pid=6452] ppid=6449 vsize=92000 CPUtime=2382.11 cores=0,2,4,6
/proc/6452/stat : 6452 (MistralXCSP) R 6449 6452 15981 0 -1 4202496 136573 0 0 0 238203 8 0 0 20 0 1 0 37700028 94208000 16688 18446744073709551615 4194304 7396336 140736663708560 140736663703000 5772768 0 0 1 16386 0 0 0 17 4 0 0 5 0 0 9496464 9501696 34283520 140736663716276 140736663716425 140736663716425 140736663719881 0
/proc/6452/statm: 23000 16688 722 782 0 16016 0
Current children cumulated CPU time (s) 2382.11
Current children cumulated vsize (KiB) 92000

[startup+2442.3 s]
/proc/loadavg: 2.12 2.06 2.06 3/181 6679
/proc/meminfo: memFree=31471972/32770624 swapFree=0/223984
[pid=6452] ppid=6449 vsize=92000 CPUtime=2442.11 cores=0,2,4,6
/proc/6452/stat : 6452 (MistralXCSP) R 6449 6452 15981 0 -1 4202496 137248 0 0 0 244203 8 0 0 20 0 1 0 37700028 94208000 16691 18446744073709551615 4194304 7396336 140736663708560 140736663703000 5165805 0 0 1 16386 0 0 0 17 4 0 0 5 0 0 9496464 9501696 34283520 140736663716276 140736663716425 140736663716425 140736663719881 0
/proc/6452/statm: 23000 16691 722 782 0 16016 0
Current children cumulated CPU time (s) 2442.11
Current children cumulated vsize (KiB) 92000

[startup+2502.3 s]
/proc/loadavg: 2.08 2.06 2.06 3/181 6681
/proc/meminfo: memFree=31472236/32770624 swapFree=0/223996
[pid=6452] ppid=6449 vsize=92000 CPUtime=2502.11 cores=0,2,4,6
/proc/6452/stat : 6452 (MistralXCSP) R 6449 6452 15981 0 -1 4202496 137924 0 0 0 250203 8 0 0 20 0 1 0 37700028 94208000 16692 18446744073709551615 4194304 7396336 140736663708560 140736663703000 4246577 0 0 1 16386 0 0 0 17 4 0 0 5 0 0 9496464 9501696 34283520 140736663716276 140736663716425 140736663716425 140736663719881 0
/proc/6452/statm: 23000 16692 722 782 0 16016 0
Current children cumulated CPU time (s) 2502.11
Current children cumulated vsize (KiB) 92000



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 2.06 2.06 2.06 3/181 6681
/proc/meminfo: memFree=31472236/32770624 swapFree=0/224000
[pid=6452] ppid=6449 vsize=92000 CPUtime=2519.8 cores=0,2,4,6
/proc/6452/stat : 6452 (MistralXCSP) R 6449 6452 15981 0 -1 4202496 138594 0 0 0 251972 8 0 0 20 0 1 0 37700028 94208000 16692 18446744073709551615 4194304 7396336 140736663708560 140736663703000 5165805 0 0 1 16386 0 0 0 17 4 0 0 5 0 0 9496464 9501696 34283520 140736663716276 140736663716425 140736663716425 140736663719881 0
/proc/6452/statm: 23000 16692 722 782 0 16016 0
Current children cumulated CPU time (s) 2519.8
Current children cumulated vsize (KiB) 92000

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 6452 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 0
Real time (s): 2520
CPU time (s): 2519.82
CPU user time (s): 2519.73
CPU system time (s): 0.090996
CPU usage (%): 99.9928
Max. virtual memory (cumulated for all children) (KiB): 92000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.73
system time used= 0.090996
maximum resident set size= 66796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 138632
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32
involuntary context switches= 880

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.40606 second user time and 10.1147 second system time

The end

Begin job on node126 at 2017-08-10 10:36:45
IDJOB=4260897
IDBENCH=124189
IDSOLVER=2649
FILE ID=node126/4260897-1502355044
RUNJOBID= node126-1502333727-2686
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= Mistral-2.0 2017-07-28
BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t04-6.xml
COMMAND LINE= MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4260897-1502355044/watcher-4260897-1502355044 -o /tmp/evaluation-result-4260897-1502355044/solver-4260897-1502355044 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502333727-2686 --watchdog 2580  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 396356609 HOME/instance-4260897-1502355044.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 4f6b0364d1c2702efbd3acc25cc5ef4e
RANDOM SEED=396356609

node126.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.81
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.81
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.81
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.81
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:        31348440 kB
MemAvailable:   31776672 kB
Buffers:          248176 kB
Cached:           453728 kB
SwapCached:          524 kB
Active:           675060 kB
Inactive:         294760 kB
Active(anon):     221400 kB
Inactive(anon):    71336 kB
Active(file):     453660 kB
Inactive(file):   223424 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67105588 kB
Dirty:              5556 kB
Writeback:             0 kB
AnonPages:        266760 kB
Mapped:            39992 kB
Shmem:             25248 kB
Slab:             159468 kB
SReclaimable:     133964 kB
SUnreclaim:        25504 kB
KernelStack:        3232 kB
PageTables:         4828 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     528104 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    217088 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 62020 MiB
End job on node126 at 2017-08-10 11:18:45