Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-2.0 2017-07-28 | SAT (TO) | 199 | 251.94299 | 252.01601 |
Name | Cutstock/Cutstock-zinc-s1/ Cutstock-t04-6.xml |
MD5SUM | 4f6b0364d1c2702efbd3acc25cc5ef4e |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 199 |
Best CPU time to get the best result obtained on this benchmark | 251.94299 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 4704 |
Number of constraints | 246 |
Number of domains | 20 |
Minimum domain size | 2 |
Maximum domain size | 160 |
Distribution of domain sizes | [{"size":2,"count":224},{"size":8,"count":224},{"size":12,"count":224},{"size":36,"count":448},{"size":42,"count":224},{"size":75,"count":224},{"size":79,"count":224},{"size":93,"count":224},{"size":110,"count":224},{"size":117,"count":224},{"size":121,"count":224},{"size":123,"count":224},{"size":126,"count":224},{"size":139,"count":224},{"size":141,"count":224},{"size":142,"count":224},{"size":149,"count":224},{"size":153,"count":224},{"size":158,"count":224},{"size":160,"count":224}] |
Minimum variable degree | 3 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":3,"count":4704}] |
Minimum constraint arity | 21 |
Maximum constraint arity | 4480 |
Distribution of constraint arities | [{"arity":21,"count":224},{"arity":224,"count":21},{"arity":4480,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":244}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.06 c 280717 176.82/176.99 o 224 177.32/177.46 o 223 177.42/177.52 o 222 177.42/177.58 o 221 177.52/177.60 o 220 177.52/177.62 o 219 177.52/177.64 o 218 179.42/179.50 o 217 180.12/180.28 o 216 180.93/181.10 o 215 182.52/182.69 o 214 183.22/183.32 o 213 183.52/183.65 o 212 184.22/184.38 o 211 184.52/184.68 o 210 184.82/184.98 o 209 185.82/185.95 o 208 186.12/186.24 o 207 189.03/189.12 o 206 189.12/189.25 o 205 189.22/189.36 o 204 200.72/200.88 o 203 204.82/205.00 o 202 208.52/208.60 o 201 214.62/214.72 o 200 224.32/224.44 o 199 251.93/252.01 s SATISFIABLE 251.93/252.01 v <instantiation type="solution"> 251.93/252.01 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> 251.93/252.01 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> 251.93/252.01 v </instantiation>
OK 199
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (15374 MiB free) memory of node 1: 16384 MiB (15405 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4258949-1502648956/watcher-4258949-1502648956 -o /tmp/evaluation-result-4258949-1502648956/solver-4258949-1502648956 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502640747-30539 --watchdog 312 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1555222909 HOME/instance-4258949-1502648956.xml running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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 Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=2282, runsolver pid=2279 [startup+0.100202 s]* /proc/loadavg: 2.00 2.05 2.05 3/181 2283 /proc/meminfo: memFree=31511916/32770624 swapFree=67105588/67108860 [pid=2282] ppid=2279 vsize=35348 memory=9744 CPUtime=0.04 cores=0,2,4,6 /proc/2282/stat : 2282 (MistralXCSP) R 2279 2282 12560 0 -1 4202496 2708 0 0 0 4 0 0 0 20 0 1 0 67090964 36196352 2436 18446744073709551615 4194304 7396336 140725605253872 140725605250872 5918613 0 0 1 0 0 0 0 17 4 0 0 6 0 0 9496464 9501696 36556800 140725605257618 140725605257768 140725605257768 140725605261257 0 /proc/2282/statm: 8837 2436 663 782 0 1853 0 Current children cumulated CPU time: 0.04 s Current children cumulated vsize: 35348 KiB Current children cumulated memory: 9744 KiB [startup+0.209608 s]* /proc/loadavg: 2.00 2.05 2.05 3/181 2283 /proc/meminfo: memFree=31499144/32770624 swapFree=67105588/67108860 [pid=2282] ppid=2279 vsize=47828 memory=22316 CPUtime=0.15 cores=0,2,4,6 /proc/2282/stat : 2282 (MistralXCSP) R 2279 2282 12560 0 -1 4202496 6082 0 0 0 14 1 0 0 20 0 1 0 67090964 48975872 5579 18446744073709551615 4194304 7396336 140725605253872 140725605250872 4566039 0 0 1 0 0 0 0 17 4 0 0 6 0 0 9496464 9501696 36556800 140725605257618 140725605257768 140725605257768 140725605261257 0 /proc/2282/statm: 11957 5579 680 782 0 4973 0 Current children cumulated CPU time: 0.15 s Current children cumulated vsize: 47828 KiB Current children cumulated memory: 22316 KiB [startup+0.309571 s]* /proc/loadavg: 2.00 2.05 2.05 3/181 2283 /proc/meminfo: memFree=31491704/32770624 swapFree=67105588/67108860 [pid=2282] ppid=2279 vsize=53928 memory=28284 CPUtime=0.24 cores=0,2,4,6 /proc/2282/stat : 2282 (MistralXCSP) R 2279 2282 12560 0 -1 4202496 7652 0 0 0 23 1 0 0 20 0 1 0 67090964 55222272 7071 18446744073709551615 4194304 7396336 140725605253872 140725605250872 4565880 0 0 1 0 0 0 0 17 4 0 0 6 0 0 9496464 9501696 36556800 140725605257618 140725605257768 140725605257768 140725605261257 0 /proc/2282/statm: 13482 7071 680 782 0 6498 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 53928 KiB Current children cumulated memory: 28284 KiB [startup+0.700415 s] /proc/loadavg: 2.00 2.05 2.05 3/181 2283 /proc/meminfo: memFree=31484264/32770624 swapFree=67105588/67108860 [pid=2282] ppid=2279 vsize=79068 memory=53636 CPUtime=0.63 cores=0,2,4,6 /proc/2282/stat : 2282 (MistralXCSP) R 2279 2282 12560 0 -1 4202496 13653 0 0 0 61 2 0 0 20 0 1 0 67090964 80965632 13409 18446744073709551615 4194304 7396336 140725605253872 140725605250872 4566032 0 0 1 0 0 0 0 17 4 0 0 6 0 0 9496464 9501696 36556800 140725605257618 140725605257768 140725605257768 140725605261257 0 /proc/2282/statm: 19767 13409 680 782 0 12783 0 Current children cumulated CPU time: 0.63 s Current children cumulated vsize: 79068 KiB Current children cumulated memory: 53636 KiB [startup+1.5004 s] /proc/loadavg: 2.00 2.05 2.05 3/181 2283 /proc/meminfo: memFree=31461232/32770624 swapFree=67105588/67108860 [pid=2282] ppid=2279 vsize=88140 memory=62608 CPUtime=1.43 cores=0,2,4,6 /proc/2282/stat : 2282 (MistralXCSP) R 2279 2282 12560 0 -1 4202496 15911 0 0 0 141 2 0 0 20 0 1 0 67090964 90255360 15652 18446744073709551615 4194304 7396336 140725605253872 140725605250872 5165763 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 36556800 140725605257618 140725605257768 140725605257768 140725605261257 0 /proc/2282/statm: 22035 15652 699 782 0 15051 0 Current children cumulated CPU time: 1.43 s Current children cumulated vsize: 88140 KiB Current children cumulated memory: 62608 KiB [startup+3.10969 s] /proc/loadavg: 2.00 2.05 2.05 3/181 2283 /proc/meminfo: memFree=31439936/32770624 swapFree=67105588/67108860 [pid=2282] ppid=2279 vsize=88820 memory=63424 CPUtime=3.04 cores=0,2,4,6 /proc/2282/stat : 2282 (MistralXCSP) R 2279 2282 12560 0 -1 4202496 26872 0 0 0 302 2 0 0 20 0 1 0 67090964 90951680 15856 18446744073709551615 4194304 7396336 140725605253872 140725605248440 4252486 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 36556800 140725605257618 140725605257768 140725605257768 140725605261257 0 /proc/2282/statm: 22205 15856 718 782 0 15221 0 Current children cumulated CPU time: 3.04 s Current children cumulated vsize: 88820 KiB Current children cumulated memory: 63424 KiB [startup+6.30043 s] /proc/loadavg: 1.92 2.03 2.05 3/181 2283 /proc/meminfo: memFree=31417620/32770624 swapFree=67105588/67108860 [pid=2282] ppid=2279 vsize=88820 memory=63492 CPUtime=6.22 cores=0,2,4,6 /proc/2282/stat : 2282 (MistralXCSP) R 2279 2282 12560 0 -1 4202496 37543 0 0 0 620 2 0 0 20 0 1 0 67090964 90951680 15873 18446744073709551615 4194304 7396336 140725605253872 140725605248440 5165796 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 36556800 140725605257618 140725605257768 140725605257768 140725605261257 0 /proc/2282/statm: 22205 15873 718 782 0 15221 0 Current children cumulated CPU time: 6.22 s Current children cumulated vsize: 88820 KiB Current children cumulated memory: 63492 KiB [startup+12.7004 s] /proc/loadavg: 1.93 2.03 2.05 3/181 2283 /proc/meminfo: memFree=31383888/32770624 swapFree=67105588/67108860 [pid=2282] ppid=2279 vsize=88820 memory=63492 CPUtime=12.63 cores=0,2,4,6 /proc/2282/stat : 2282 (MistralXCSP) R 2279 2282 12560 0 -1 4202496 48358 0 0 0 1260 3 0 0 20 0 1 0 67090964 90951680 15873 18446744073709551615 4194304 7396336 140725605253872 140725605248440 5165928 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 36556800 140725605257618 140725605257768 140725605257768 140725605261257 0 /proc/2282/statm: 22205 15873 718 782 0 15221 0 Current children cumulated CPU time: 12.63 s Current children cumulated vsize: 88820 KiB Current children cumulated memory: 63492 KiB [startup+25.5004 s] /proc/loadavg: 1.95 2.03 2.05 3/181 2283 /proc/meminfo: memFree=31338272/32770624 swapFree=67105588/67108860 [pid=2282] ppid=2279 vsize=88820 memory=63496 CPUtime=25.43 cores=0,2,4,6 /proc/2282/stat : 2282 (MistralXCSP) R 2279 2282 12560 0 -1 4202496 69911 0 0 0 2539 4 0 0 20 0 1 0 67090964 90951680 15874 18446744073709551615 4194304 7396336 140725605253872 140725605248440 5576291 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 36556800 140725605257618 140725605257768 140725605257768 140725605261257 0 /proc/2282/statm: 22205 15874 718 782 0 15221 0 Current children cumulated CPU time: 25.43 s Current children cumulated vsize: 88820 KiB Current children cumulated memory: 63496 KiB [startup+51.1095 s] /proc/loadavg: 1.96 2.03 2.05 3/181 2284 /proc/meminfo: memFree=31158932/32770624 swapFree=67105588/67108860 [pid=2282] ppid=2279 vsize=88952 memory=63528 CPUtime=51.04 cores=0,2,4,6 /proc/2282/stat : 2282 (MistralXCSP) R 2279 2282 12560 0 -1 4202496 80823 0 0 0 5099 5 0 0 20 0 1 0 67090964 91086848 15882 18446744073709551615 4194304 7396336 140725605253872 140725605248360 5165796 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 36556800 140725605257618 140725605257768 140725605257768 140725605261257 0 /proc/2282/statm: 22238 15882 720 782 0 15254 0 Current children cumulated CPU time: 51.04 s Current children cumulated vsize: 88952 KiB Current children cumulated memory: 63528 KiB [startup+102.3 s] /proc/loadavg: 1.98 2.02 2.05 3/181 2286 /proc/meminfo: memFree=31143960/32770624 swapFree=67105588/67108860 [pid=2282] ppid=2279 vsize=88952 memory=63548 CPUtime=102.23 cores=0,2,4,6 /proc/2282/stat : 2282 (MistralXCSP) R 2279 2282 12560 0 -1 4202496 91652 0 0 0 10218 5 0 0 20 0 1 0 67090964 91086848 15887 18446744073709551615 4194304 7396336 140725605253872 140725605248360 4249767 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 36556800 140725605257618 140725605257768 140725605257768 140725605261257 0 /proc/2282/statm: 22238 15887 720 782 0 15254 0 Current children cumulated CPU time: 102.23 s Current children cumulated vsize: 88952 KiB Current children cumulated memory: 63548 KiB [startup+162.3 s] /proc/loadavg: 1.99 2.02 2.05 3/181 2288 /proc/meminfo: memFree=31143504/32770624 swapFree=67105588/67108860 [pid=2282] ppid=2279 vsize=88952 memory=63548 CPUtime=162.22 cores=0,2,4,6 /proc/2282/stat : 2282 (MistralXCSP) R 2279 2282 12560 0 -1 4202496 102500 0 0 0 16217 5 0 0 20 0 1 0 67090964 91086848 15887 18446744073709551615 4194304 7396336 140725605253872 140725605248360 5165805 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 36556800 140725605257618 140725605257768 140725605257768 140725605261257 0 /proc/2282/statm: 22238 15887 720 782 0 15254 0 Current children cumulated CPU time: 162.22 s Current children cumulated vsize: 88952 KiB Current children cumulated memory: 63548 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 2290 /proc/meminfo: memFree=31142200/32770624 swapFree=67105588/67108860 [pid=2282] ppid=2279 vsize=90244 memory=64836 CPUtime=222.22 cores=0,2,4,6 /proc/2282/stat : 2282 (MistralXCSP) R 2279 2282 12560 0 -1 4202496 114237 0 0 0 22216 6 0 0 20 0 1 0 67090964 92409856 16209 18446744073709551615 4194304 7396336 140725605253872 140725605248360 5165945 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 36556800 140725605257618 140725605257768 140725605257768 140725605261257 0 /proc/2282/statm: 22561 16209 722 782 0 15577 0 Current children cumulated CPU time: 222.22 s Current children cumulated vsize: 90244 KiB Current children cumulated memory: 64836 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252 s]* /proc/loadavg: 1.92 2.00 2.04 3/181 2354 /proc/meminfo: memFree=31464736/32770624 swapFree=67105588/67108860 [pid=2282] ppid=2279 vsize=90640 memory=65248 CPUtime=251.93 cores=0,2,4,6 /proc/2282/stat : 2282 (MistralXCSP) R 2279 2282 12560 0 -1 4202496 125595 0 0 0 25186 7 0 0 20 0 1 0 67090964 92815360 16312 18446744073709551615 4194304 7396336 140725605253872 140725605248216 5165842 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 36556800 140725605257618 140725605257768 140725605257768 140725605261257 0 /proc/2282/statm: 22660 16312 722 782 0 15676 0 Current children cumulated CPU time: 251.93 s Current children cumulated vsize: 90640 KiB Current children cumulated memory: 65248 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.016 s] # the end of solver process 2282 was just reported to runsolver # cumulated CPU time of all completed processes: user=251.867 s, system=0.075996 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 0 Real time (s): 252.016 CPU time (s): 251.943 CPU user time (s): 251.867 CPU system time (s): 0.075996 CPU usage (%): 99.971 Max. virtual memory (cumulated for all children) (KiB): 90640 Max. memory (cumulated for all children) (KiB): 65248 getrusage(RUSAGE_CHILDREN,...) data: user time used= 251.867 system time used= 0.075996 maximum resident set size= 65320 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 125688 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= 6 involuntary context switches= 91 # summary of solver processes directly reported to runsolver: # pid: 2282 # total CPU time (s): 251.943 # total CPU user time (s): 251.867 # total CPU system time (s): 0.075996 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.08125 second user time and 1.79434 second system time The end
Begin job on node126 at 2017-08-13 20:15:14 IDJOB=4258949 IDBENCH=124189 IDSOLVER=2645 FILE ID=node126/4258949-1502648956 RUNJOBID= node126-1502640747-30539 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-4258949-1502648956/watcher-4258949-1502648956 -o /tmp/evaluation-result-4258949-1502648956/solver-4258949-1502648956 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502640747-30539 --watchdog 312 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1555222909 HOME/instance-4258949-1502648956.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4f6b0364d1c2702efbd3acc25cc5ef4e RANDOM SEED=1555222909 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: 31519112 kB MemAvailable: 31810264 kB Buffers: 272988 kB Cached: 288748 kB SwapCached: 524 kB Active: 593776 kB Inactive: 179720 kB Active(anon): 159768 kB Inactive(anon): 85428 kB Active(file): 434008 kB Inactive(file): 94292 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67105588 kB Dirty: 6004 kB Writeback: 0 kB AnonPages: 211368 kB Mapped: 48020 kB Shmem: 33440 kB Slab: 183672 kB SReclaimable: 157372 kB SUnreclaim: 26300 kB KernelStack: 3232 kB PageTables: 4836 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 490516 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 34816 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-13 20:19:26