0.00/0.00	c Mistral-2017-06-28
155.13/155.23	o 224
155.53/155.60	o 223
155.53/155.65	o 222
155.63/155.70	o 221
155.63/155.72	o 220
155.63/155.74	o 219
155.63/155.75	o 218
157.13/157.22	o 217
157.73/157.85	o 216
158.33/158.50	o 215
159.63/159.76	o 214
160.13/160.26	o 213
160.42/160.53	o 212
161.02/161.11	o 211
161.22/161.35	o 210
161.42/161.59	o 209
162.22/162.37	o 208
162.52/162.60	o 207
164.82/164.94	o 206
164.93/165.04	o 205
165.03/165.13	o 204
174.72/174.87	o 203
178.03/178.16	o 202
180.93/181.04	o 201
185.83/185.95	o 200
193.63/193.76	o 199
2400.05/2400.50	s SATISFIABLE
2400.05/2400.50	v <instantiation type="solution">
2400.05/2400.50	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>
2400.05/2400.50	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>
2400.05/2400.50	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-4240813-1500641919/watcher-4240813-1500641919 -o /tmp/evaluation-result-4240813-1500641919/solver-4240813-1500641919 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1500623787-2244 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1327952534 HOME/instance-4240813-1500641919.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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.03 2.04 2.05 3/186 4796
/proc/meminfo: memFree=31483292/32770624 swapFree=6244/345412
[pid=4796] ppid=4793 vsize=28672 CPUtime=0 cores=0,2,4,6
/proc/4796/stat : 4796 (MistralXCSP) R 4793 4796 2213 0 -1 4202496 891 0 0 0 0 0 0 0 20 0 1 0 17469344 29360128 669 33554432000 4194304 7402444 140721405018112 140721405015160 139861631029632 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 21176320 140721405019304 140721405019454 140721405019454 140721405022153 0
/proc/4796/statm: 7168 669 524 784 0 182 0

[startup+0.100176 s]
/proc/loadavg: 2.03 2.04 2.05 3/186 4796
/proc/meminfo: memFree=31483292/32770624 swapFree=6244/345412
[pid=4796] ppid=4793 vsize=36612 CPUtime=0.09 cores=0,2,4,6
/proc/4796/stat : 4796 (MistralXCSP) R 4793 4796 2213 0 -1 4202496 3021 0 0 0 9 0 0 0 20 0 1 0 17469344 37490688 2711 33554432000 4194304 7402444 140721405018112 140721405006712 139861624728549 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 21176320 140721405019304 140721405019454 140721405019454 140721405022153 0
/proc/4796/statm: 9153 2711 676 784 0 2167 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36612

[startup+0.20041 s]
/proc/loadavg: 2.03 2.04 2.05 3/186 4796
/proc/meminfo: memFree=31483292/32770624 swapFree=6244/345412
[pid=4796] ppid=4793 vsize=47560 CPUtime=0.18 cores=0,2,4,6
/proc/4796/stat : 4796 (MistralXCSP) R 4793 4796 2213 0 -1 4202496 6022 0 0 0 18 0 0 0 20 0 1 0 17469344 48701440 5516 33554432000 4194304 7402444 140721405018112 140721405009384 139861624728549 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 21176320 140721405019304 140721405019454 140721405019454 140721405022153 0
/proc/4796/statm: 11890 5516 684 784 0 4904 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 47560

[startup+0.30038 s]
/proc/loadavg: 2.03 2.04 2.05 3/186 4796
/proc/meminfo: memFree=31483292/32770624 swapFree=6244/345412
[pid=4796] ppid=4793 vsize=53768 CPUtime=0.28 cores=0,2,4,6
/proc/4796/stat : 4796 (MistralXCSP) R 4793 4796 2213 0 -1 4202496 7618 0 0 0 28 0 0 0 20 0 1 0 17469344 55058432 7074 33554432000 4194304 7402444 140721405018112 140721405009384 4731639 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 21176320 140721405019304 140721405019454 140721405019454 140721405022153 0
/proc/4796/statm: 13442 7074 684 784 0 6456 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 53768

[startup+0.700341 s]
/proc/loadavg: 2.03 2.04 2.05 3/186 4796
/proc/meminfo: memFree=31483292/32770624 swapFree=6244/345412
[pid=4796] ppid=4793 vsize=79076 CPUtime=0.68 cores=0,2,4,6
/proc/4796/stat : 4796 (MistralXCSP) R 4793 4796 2213 0 -1 4202496 13151 0 0 0 67 1 0 0 20 0 1 0 17469344 80973824 13412 33554432000 4194304 7402444 140721405018112 140721405009224 4731639 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 21176320 140721405019304 140721405019454 140721405019454 140721405022153 0
/proc/4796/statm: 19769 13412 684 784 0 12783 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 79076

[startup+1.50033 s]
/proc/loadavg: 2.03 2.04 2.05 3/187 4797
/proc/meminfo: memFree=31431556/32770624 swapFree=6244/345432
[pid=4796] ppid=4793 vsize=88148 CPUtime=1.49 cores=0,2,4,6
/proc/4796/stat : 4796 (MistralXCSP) R 4793 4796 2213 0 -1 4202496 15409 0 0 0 147 2 0 0 20 0 1 0 17469344 90263552 15655 33554432000 4194304 7402444 140721405018112 140721405013464 5327336 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 21176320 140721405019304 140721405019454 140721405019454 140721405022153 0
/proc/4796/statm: 22037 15655 703 784 0 15051 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 88148

[startup+3.10035 s]
/proc/loadavg: 2.02 2.04 2.05 3/187 4797
/proc/meminfo: memFree=31421912/32770624 swapFree=6244/345440
[pid=4796] ppid=4793 vsize=88828 CPUtime=3.08 cores=0,2,4,6
/proc/4796/stat : 4796 (MistralXCSP) R 4793 4796 2213 0 -1 4202496 26359 0 0 0 306 2 0 0 20 0 1 0 17469344 90959872 15862 33554432000 4194304 7402444 140721405018112 140721405012712 5327193 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 21176320 140721405019304 140721405019454 140721405019454 140721405022153 0
/proc/4796/statm: 22207 15862 725 784 0 15221 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 88828

[startup+6.30034 s]
/proc/loadavg: 2.02 2.04 2.05 3/187 4797
/proc/meminfo: memFree=31421496/32770624 swapFree=6244/345440
[pid=4796] ppid=4793 vsize=88828 CPUtime=6.29 cores=0,2,4,6
/proc/4796/stat : 4796 (MistralXCSP) R 4793 4796 2213 0 -1 4202496 36783 0 0 0 626 3 0 0 20 0 1 0 17469344 90959872 15880 33554432000 4194304 7402444 140721405018112 140721405012712 5327213 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 21176320 140721405019304 140721405019454 140721405019454 140721405022153 0
/proc/4796/statm: 22207 15880 726 784 0 15221 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 88828

[startup+12.7004 s]
/proc/loadavg: 2.02 2.04 2.05 3/187 4797
/proc/meminfo: memFree=31420876/32770624 swapFree=6244/345440
[pid=4796] ppid=4793 vsize=88828 CPUtime=12.68 cores=0,2,4,6
/proc/4796/stat : 4796 (MistralXCSP) R 4793 4796 2213 0 -1 4202496 47383 0 0 0 1265 3 0 0 20 0 1 0 17469344 90959872 15880 33554432000 4194304 7402444 140721405018112 140721405012712 5747600 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 21176320 140721405019304 140721405019454 140721405019454 140721405022153 0
/proc/4796/statm: 22207 15880 726 784 0 15221 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 88828

[startup+25.5004 s]
/proc/loadavg: 2.02 2.04 2.05 3/187 4797
/proc/meminfo: memFree=31421000/32770624 swapFree=6244/345448
[pid=4796] ppid=4793 vsize=88828 CPUtime=25.48 cores=0,2,4,6
/proc/4796/stat : 4796 (MistralXCSP) R 4793 4796 2213 0 -1 4202496 68691 0 0 0 2544 4 0 0 20 0 1 0 17469344 90959872 15881 33554432000 4194304 7402444 140721405018112 140721405012712 5327213 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 21176320 140721405019304 140721405019454 140721405019454 140721405022153 0
/proc/4796/statm: 22207 15881 726 784 0 15221 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 88828

[startup+51.1004 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 4797
/proc/meminfo: memFree=31421060/32770624 swapFree=6244/345468
[pid=4796] ppid=4793 vsize=88960 CPUtime=51.07 cores=0,2,4,6
/proc/4796/stat : 4796 (MistralXCSP) R 4793 4796 2213 0 -1 4202496 79572 0 0 0 5103 4 0 0 20 0 1 0 17469344 91095040 15886 33554432000 4194304 7402444 140721405018112 140721405012632 4248742 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 21176320 140721405019304 140721405019454 140721405019454 140721405022153 0
/proc/4796/statm: 22240 15886 728 784 0 15254 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 88960

[startup+102.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/187 4805
/proc/meminfo: memFree=31419972/32770624 swapFree=6244/345524
[pid=4796] ppid=4793 vsize=88960 CPUtime=102.25 cores=0,2,4,6
/proc/4796/stat : 4796 (MistralXCSP) R 4793 4796 2213 0 -1 4202496 82030 0 0 0 10221 4 0 0 20 0 1 0 17469344 91095040 15923 33554432000 4194304 7402444 140721405018112 140721405012632 5327213 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 21176320 140721405019304 140721405019454 140721405019454 140721405022153 0
/proc/4796/statm: 22240 15923 728 784 0 15254 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 88960

[startup+162.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/187 4828
/proc/meminfo: memFree=31418924/32770624 swapFree=6244/345560
[pid=4796] ppid=4793 vsize=89592 CPUtime=162.22 cores=0,2,4,6
/proc/4796/stat : 4796 (MistralXCSP) R 4793 4796 2213 0 -1 4202496 83209 0 0 0 16218 4 0 0 20 0 1 0 17469344 91742208 16059 33554432000 4194304 7402444 140721405018112 140721405013128 5327213 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 21176320 140721405019304 140721405019454 140721405019454 140721405022153 0
/proc/4796/statm: 22398 16059 730 784 0 15412 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 89592

[startup+222.306 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 4829
/proc/meminfo: memFree=31418728/32770624 swapFree=6244/345612
[pid=4796] ppid=4793 vsize=90648 CPUtime=222.22 cores=0,2,4,6
/proc/4796/stat : 4796 (MistralXCSP) R 4793 4796 2213 0 -1 4202496 84636 0 0 0 22217 5 0 0 20 0 1 0 17469344 92823552 16337 33554432000 4194304 7402444 140721405018112 140721405012456 5327250 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 21176320 140721405019304 140721405019454 140721405019454 140721405022153 0
/proc/4796/statm: 22662 16337 730 784 0 15676 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 90648

[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 4830
/proc/meminfo: memFree=31418936/32770624 swapFree=6244/345656
[pid=4796] ppid=4793 vsize=91044 CPUtime=282.21 cores=0,2,4,6
/proc/4796/stat : 4796 (MistralXCSP) R 4793 4796 2213 0 -1 4202496 85641 0 0 0 28216 5 0 0 20 0 1 0 17469344 93229056 16414 33554432000 4194304 7402444 140721405018112 140721405012328 5327193 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 21176320 140721405019304 140721405019454 140721405019454 140721405022153 0
/proc/4796/statm: 22761 16414 730 784 0 15775 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 91044

[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 4831
/proc/meminfo: memFree=31418204/32770624 swapFree=6244/345688
[pid=4796] ppid=4793 vsize=91176 CPUtime=342.19 cores=0,2,4,6
/proc/4796/stat : 4796 (MistralXCSP) R 4793 4796 2213 0 -1 4202496 86658 0 0 0 34214 5 0 0 20 0 1 0 17469344 93364224 16477 33554432000 4194304 7402444 140721405018112 140721405012456 5753494 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 21176320 140721405019304 140721405019454 140721405019454 140721405022153 0
/proc/4796/statm: 22794 16477 730 784 0 15808 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 91176

[startup+402.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/187 4832
/proc/meminfo: memFree=31418348/32770624 swapFree=6244/345720
[pid=4796] ppid=4793 vsize=91308 CPUtime=402.18 cores=0,2,4,6
/proc/4796/stat : 4796 (MistralXCSP) R 4793 4796 2213 0 -1 4202496 87693 0 0 0 40213 5 0 0 20 0 1 0 17469344 93499392 16491 33554432000 4194304 7402444 140721405018112 140721405012504 5327254 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 21176320 140721405019304 140721405019454 140721405019454 140721405022153 0
/proc/4796/statm: 22827 16491 730 784 0 15841 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 91308

[startup+462.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/187 4833
/proc/meminfo: memFree=31417852/32770624 swapFree=6244/345756
[pid=4796] ppid=4793 vsize=91308 CPUtime=462.17 cores=0,2,4,6
/proc/4796/stat : 4796 (MistralXCSP) R 4793 4796 2213 0 -1 4202496 88713 0 0 0 46212 5 0 0 20 0 1 0 17469344 93499392 16514 33554432000 4194304 7402444 140721405018112 140721405012504 5327250 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 21176320 140721405019304 140721405019454 140721405019454 140721405022153 0
/proc/4796/statm: 22827 16514 730 784 0 15841 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 91308

[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 4834
/proc/meminfo: memFree=31417364/32770624 swapFree=6244/345788
[pid=4796] ppid=4793 vsize=91308 CPUtime=522.16 cores=0,2,4,6
/proc/4796/stat : 4796 (MistralXCSP) R 4793 4796 2213 0 -1 4202496 89750 0 0 0 52211 5 0 0 20 0 1 0 17469344 93499392 16531 33554432000 4194304 7402444 140721405018112 140721405012504 5327254 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 21176320 140721405019304 140721405019454 140721405019454 140721405022153 0
/proc/4796/statm: 22827 16531 730 784 0 15841 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 91308

[startup+582.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/187 4957
/proc/meminfo: memFree=31308624/32770624 swapFree=6244/345904
[pid=4796] ppid=4793 vsize=91440 CPUtime=582.15 cores=0,2,4,6
/proc/4796/stat : 4796 (MistralXCSP) R 4793 4796 2213 0 -1 4202496 90796 0 0 0 58210 5 0 0 20 0 1 0 17469344 93634560 16534 33554432000 4194304 7402444 140721405018112 140721405012504 5327238 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 21176320 140721405019304 140721405019454 140721405019454 140721405022153 0
/proc/4796/statm: 22860 16534 730 784 0 15874 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 91440


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


[startup+1542.31 s]
/proc/loadavg: 2.08 2.05 2.05 3/188 4990
/proc/meminfo: memFree=31148832/32770624 swapFree=6244/346448
[pid=4796] ppid=4793 vsize=91876 CPUtime=1542 cores=0,2,4,6
/proc/4796/stat : 4796 (MistralXCSP) R 4793 4796 2213 0 -1 4202496 108009 0 0 0 154194 6 0 0 20 0 1 0 17469344 94081024 16653 33554432000 4194304 7402444 140721405018112 140721405012632 4463708 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 21176320 140721405019304 140721405019454 140721405019454 140721405022153 0
/proc/4796/statm: 22969 16653 730 784 0 15983 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 91876

[startup+1602.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/187 4992
/proc/meminfo: memFree=31149328/32770624 swapFree=6244/346488
[pid=4796] ppid=4793 vsize=91876 CPUtime=1601.98 cores=0,2,4,6
/proc/4796/stat : 4796 (MistralXCSP) R 4793 4796 2213 0 -1 4202496 109100 0 0 0 160192 6 0 0 20 0 1 0 17469344 94081024 16657 33554432000 4194304 7402444 140721405018112 140721405012632 5327336 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 21176320 140721405019304 140721405019454 140721405019454 140721405022153 0
/proc/4796/statm: 22969 16657 730 784 0 15983 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 91876

[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 4993
/proc/meminfo: memFree=31149256/32770624 swapFree=6244/346516
[pid=4796] ppid=4793 vsize=91876 CPUtime=1661.97 cores=0,2,4,6
/proc/4796/stat : 4796 (MistralXCSP) R 4793 4796 2213 0 -1 4202496 110193 0 0 0 166191 6 0 0 20 0 1 0 17469344 94081024 16662 33554432000 4194304 7402444 140721405018112 140721405012632 5327213 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 21176320 140721405019304 140721405019454 140721405019454 140721405022153 0
/proc/4796/statm: 22969 16662 730 784 0 15983 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 91876

[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 4994
/proc/meminfo: memFree=31149052/32770624 swapFree=6244/346540
[pid=4796] ppid=4793 vsize=91876 CPUtime=1721.96 cores=0,2,4,6
/proc/4796/stat : 4796 (MistralXCSP) R 4793 4796 2213 0 -1 4202496 111290 0 0 0 172190 6 0 0 20 0 1 0 17469344 94081024 16663 33554432000 4194304 7402444 140721405018112 140721405012632 5327213 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 21176320 140721405019304 140721405019454 140721405019454 140721405022153 0
/proc/4796/statm: 22969 16663 730 784 0 15983 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 91876

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 4996
/proc/meminfo: memFree=31148688/32770624 swapFree=6244/346588
[pid=4796] ppid=4793 vsize=91876 CPUtime=1781.95 cores=0,2,4,6
/proc/4796/stat : 4796 (MistralXCSP) R 4793 4796 2213 0 -1 4202496 112404 0 0 0 178189 6 0 0 20 0 1 0 17469344 94081024 16666 33554432000 4194304 7402444 140721405018112 140721405012632 5877644 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 21176320 140721405019304 140721405019454 140721405019454 140721405022153 0
/proc/4796/statm: 22969 16666 730 784 0 15983 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 91876

[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 4997
/proc/meminfo: memFree=31148536/32770624 swapFree=6244/346620
[pid=4796] ppid=4793 vsize=91876 CPUtime=1841.94 cores=0,2,4,6
/proc/4796/stat : 4796 (MistralXCSP) R 4793 4796 2213 0 -1 4202496 113504 0 0 0 184188 6 0 0 20 0 1 0 17469344 94081024 16673 33554432000 4194304 7402444 140721405018112 140721405012632 5327213 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 21176320 140721405019304 140721405019454 140721405019454 140721405022153 0
/proc/4796/statm: 22969 16673 730 784 0 15983 0
Current children cumulated CPU time (s) 1841.94
Current children cumulated vsize (KiB) 91876

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 5006
/proc/meminfo: memFree=31147748/32770624 swapFree=6244/346660
[pid=4796] ppid=4793 vsize=91876 CPUtime=1901.93 cores=0,2,4,6
/proc/4796/stat : 4796 (MistralXCSP) R 4793 4796 2213 0 -1 4202496 114610 0 0 0 190187 6 0 0 20 0 1 0 17469344 94081024 16673 33554432000 4194304 7402444 140721405018112 140721405012632 5750775 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 21176320 140721405019304 140721405019454 140721405019454 140721405022153 0
/proc/4796/statm: 22969 16673 730 784 0 15983 0
Current children cumulated CPU time (s) 1901.93
Current children cumulated vsize (KiB) 91876

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 5007
/proc/meminfo: memFree=31148476/32770624 swapFree=6244/346688
[pid=4796] ppid=4793 vsize=92008 CPUtime=1961.92 cores=0,2,4,6
/proc/4796/stat : 4796 (MistralXCSP) R 4793 4796 2213 0 -1 4202496 115731 0 0 0 196186 6 0 0 20 0 1 0 17469344 94216192 16674 33554432000 4194304 7402444 140721405018112 140721405012584 5327213 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 21176320 140721405019304 140721405019454 140721405019454 140721405022153 0
/proc/4796/statm: 23002 16674 730 784 0 16016 0
Current children cumulated CPU time (s) 1961.92
Current children cumulated vsize (KiB) 92008

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 5008
/proc/meminfo: memFree=31148328/32770624 swapFree=6244/346720
[pid=4796] ppid=4793 vsize=92008 CPUtime=2021.91 cores=0,2,4,6
/proc/4796/stat : 4796 (MistralXCSP) R 4793 4796 2213 0 -1 4202496 116842 0 0 0 202185 6 0 0 20 0 1 0 17469344 94216192 16682 33554432000 4194304 7402444 140721405018112 140721405012584 5327250 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 21176320 140721405019304 140721405019454 140721405019454 140721405022153 0
/proc/4796/statm: 23002 16682 730 784 0 16016 0
Current children cumulated CPU time (s) 2021.91
Current children cumulated vsize (KiB) 92008

[startup+2082.3 s]
/proc/loadavg: 2.14 2.05 2.05 3/188 5009
/proc/meminfo: memFree=31148468/32770624 swapFree=6244/346756
[pid=4796] ppid=4793 vsize=92008 CPUtime=2081.91 cores=0,2,4,6
/proc/4796/stat : 4796 (MistralXCSP) R 4793 4796 2213 0 -1 4202496 117955 0 0 0 208184 7 0 0 20 0 1 0 17469344 94216192 16682 33554432000 4194304 7402444 140721405018112 140721405012584 4708318 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 21176320 140721405019304 140721405019454 140721405019454 140721405022153 0
/proc/4796/statm: 23002 16682 730 784 0 16016 0
Current children cumulated CPU time (s) 2081.91
Current children cumulated vsize (KiB) 92008

[startup+2142.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/188 5010
/proc/meminfo: memFree=31148388/32770624 swapFree=6244/346784
[pid=4796] ppid=4793 vsize=92008 CPUtime=2141.9 cores=0,2,4,6
/proc/4796/stat : 4796 (MistralXCSP) R 4793 4796 2213 0 -1 4202496 119074 0 0 0 214183 7 0 0 20 0 1 0 17469344 94216192 16688 33554432000 4194304 7402444 140721405018112 140721405012584 4466802 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 21176320 140721405019304 140721405019454 140721405019454 140721405022153 0
/proc/4796/statm: 23002 16688 730 784 0 16016 0
Current children cumulated CPU time (s) 2141.9
Current children cumulated vsize (KiB) 92008

[startup+2202.31 s]
/proc/loadavg: 2.02 2.03 2.05 3/187 5011
/proc/meminfo: memFree=31148692/32770624 swapFree=6244/346808
[pid=4796] ppid=4793 vsize=92008 CPUtime=2201.89 cores=0,2,4,6
/proc/4796/stat : 4796 (MistralXCSP) R 4793 4796 2213 0 -1 4202496 120186 0 0 0 220182 7 0 0 20 0 1 0 17469344 94216192 16689 33554432000 4194304 7402444 140721405018112 140721405012584 5750772 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 21176320 140721405019304 140721405019454 140721405019454 140721405022153 0
/proc/4796/statm: 23002 16689 730 784 0 16016 0
Current children cumulated CPU time (s) 2201.89
Current children cumulated vsize (KiB) 92008

[startup+2262.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 5012
/proc/meminfo: memFree=31148724/32770624 swapFree=6244/346836
[pid=4796] ppid=4793 vsize=92008 CPUtime=2261.88 cores=0,2,4,6
/proc/4796/stat : 4796 (MistralXCSP) R 4793 4796 2213 0 -1 4202496 121308 0 0 0 226181 7 0 0 20 0 1 0 17469344 94216192 16689 33554432000 4194304 7402444 140721405018112 140721405012584 5327204 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 21176320 140721405019304 140721405019454 140721405019454 140721405022153 0
/proc/4796/statm: 23002 16689 730 784 0 16016 0
Current children cumulated CPU time (s) 2261.88
Current children cumulated vsize (KiB) 92008

[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 5013
/proc/meminfo: memFree=31148296/32770624 swapFree=6244/346868
[pid=4796] ppid=4793 vsize=92008 CPUtime=2321.86 cores=0,2,4,6
/proc/4796/stat : 4796 (MistralXCSP) R 4793 4796 2213 0 -1 4202496 122439 0 0 0 232179 7 0 0 20 0 1 0 17469344 94216192 16693 33554432000 4194304 7402444 140721405018112 140721405012584 5871010 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 21176320 140721405019304 140721405019454 140721405019454 140721405022153 0
/proc/4796/statm: 23002 16693 730 784 0 16016 0
Current children cumulated CPU time (s) 2321.86
Current children cumulated vsize (KiB) 92008

[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 5014
/proc/meminfo: memFree=31147712/32770624 swapFree=6244/346904
[pid=4796] ppid=4793 vsize=92008 CPUtime=2381.86 cores=0,2,4,6
/proc/4796/stat : 4796 (MistralXCSP) R 4793 4796 2213 0 -1 4202496 123577 0 0 0 238179 7 0 0 20 0 1 0 17469344 94216192 16697 33554432000 4194304 7402444 140721405018112 140721405012584 5327179 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 21176320 140721405019304 140721405019454 140721405019454 140721405022153 0
/proc/4796/statm: 23002 16697 730 784 0 16016 0
Current children cumulated CPU time (s) 2381.86
Current children cumulated vsize (KiB) 92008



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.5 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5014
/proc/meminfo: memFree=31147884/32770624 swapFree=6244/346912
[pid=4796] ppid=4793 vsize=92008 CPUtime=2400.05 cores=0,2,4,6
/proc/4796/stat : 4796 (MistralXCSP) R 4793 4796 2213 0 -1 4202496 124679 0 0 0 239998 7 0 0 20 0 1 0 17469344 94216192 16699 33554432000 4194304 7402444 140721405018112 140721405012584 4464363 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 21176320 140721405019304 140721405019454 140721405019454 140721405022153 0
/proc/4796/statm: 23002 16699 730 784 0 16016 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 92008

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 4796 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2400.5 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5014
/proc/meminfo: memFree=31147884/32770624 swapFree=6244/346912
[pid=4796] ppid=4793 vsize=92008 CPUtime=2400.05 cores=0,2,4,6
/proc/4796/stat : 4796 (MistralXCSP) R 4793 4796 2213 0 -1 4202496 124679 0 0 0 239998 7 0 0 20 0 1 0 17469344 94216192 16699 33554432000 4194304 7402444 140721405018112 140721405012584 4464363 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 21176320 140721405019304 140721405019454 140721405019454 140721405022153 0
/proc/4796/statm: 23002 16699 730 784 0 16016 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 92008

Child status: 0
Real time (s): 2400.5
CPU time (s): 2400.06
CPU user time (s): 2399.99
CPU system time (s): 0.075986
CPU usage (%): 99.9817
Max. virtual memory (cumulated for all children) (KiB): 92008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.99
system time used= 0.075986
maximum resident set size= 66828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124713
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= 33
involuntary context switches= 120717

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.07606 second user time and 9.89936 second system time

The end

Begin job on node123 at 2017-07-21 14:58:39
IDJOB=4240813
IDBENCH=124189
IDSOLVER=2622
FILE ID=node123/4240813-1500641919
RUNJOBID= node123-1500623787-2244
PBS_JOBID= 20623010
Free space on /tmp= 62020 MiB

SOLVER NAME= Mistral-2.0 2017-06-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-4240813-1500641919/watcher-4240813-1500641919 -o /tmp/evaluation-result-4240813-1500641919/solver-4240813-1500641919 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1500623787-2244 --watchdog 2560  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1327952534 HOME/instance-4240813-1500641919.xml

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

MD5SUM BENCH= 4f6b0364d1c2702efbd3acc25cc5ef4e
RANDOM SEED=1327952534

node123.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/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		: 2133.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.46
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		: 1600.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.46
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		: 1600.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		: 1867.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.46
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		: 1600.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		: 2133.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.46
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		: 1733.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:        31483780 kB
MemAvailable:   31923400 kB
Buffers:          161780 kB
Cached:           566588 kB
SwapCached:            0 kB
Active:           506056 kB
Inactive:         362404 kB
Active(anon):     142608 kB
Inactive(anon):    16992 kB
Active(file):     363448 kB
Inactive(file):   345412 kB
Unevictable:        6244 kB
Mlocked:            6244 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              5824 kB
Writeback:             0 kB
AnonPages:        262380 kB
Mapped:            34156 kB
Shmem:             17040 kB
Slab:             118036 kB
SReclaimable:      93188 kB
SUnreclaim:        24848 kB
KernelStack:        3360 kB
PageTables:         4856 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     420208 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    202752 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 62012 MiB
End job on node123 at 2017-07-21 15:38:40