0.39/0.42	c best=?? lower=0 upper=15723972 
8.08/8.19	c
8.08/8.19	c This is cosoco 1.0 --  
8.08/8.19	c
8.08/8.19	c enable optimization
8.08/8.19	c ========================================[ Problem Statistics ]===========================================
8.08/8.19	c |                                                                                                       
8.08/8.19	c |  Parse time        :         0.34 s 
8.08/8.19	c |
8.08/8.19	c |               Variables: 6480
8.08/8.19	c |            Domain Sizes: 80..100
8.08/8.19	c |
8.08/8.19	c |             Constraints: 3129
8.08/8.19	c |                   Arity: 3..3127  -- Ternary: 3127
8.08/8.19	c | 
8.08/8.19	c |                   Types: 
8.08/8.19	c |                          All Different: 1
8.08/8.19	c |                          Extension: 3127  (nb tuples: 6320..6320) -- (shared: 3126)
8.08/8.19	c |                          Sum: 1
8.08/8.19	c |                          
8.08/8.19	c =========================================================================================================
8.08/8.19	o 7692307
8.08/8.19	c    1 calls to solver: best=7692307 lower=0 upper=7692306 
1370.62/1371.17	o 7689733
2112.50/2113.27	o 7687952
2112.50/2113.27	c    3 calls to solver: best=7687952 lower=0 upper=7687951 
2400.04/2400.80	
2400.04/2400.80	c *** INTERRUPTED ***
2400.04/2400.80	s SATISFIABLE
2400.04/2400.80	c Best value found: 7687952
2400.04/2400.80	
2400.04/2400.80	
2400.04/2400.80	v <instantiation type='solution' cost='7687952'>
2400.04/2400.80	v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] d[0][0] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] d[0][30] d[0][31] d[0][32] d[0][33] d[0][34] d[0][35] d[0][36] d[0][37] d[0][38] d[0][39] d[0][40] d[0][41] d[0][42] d[0][43] d[0][44] d[0][45] d[0][46] d[0][47] d[0][48] d[0][49] d[0][50] d[0][51] d[0][52] d[0][53] d[0][54] d[0][55] d[0][56] d[0][57] d[0][58] d[0][59] d[0][60] d[0][61] d[0][62] d[0][63] d[0][64] d[0][65] d[0][66] d[0][67] d[0][68] d[0][69] d[0][70] d[0][71] d[0][72] d[0][73] d[0][74] d[0][75] d[0][76] d[0][77] d[0][78] d[0][79] d[1][0] d[1][1] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[1][30] d[1][31] d[1][32] d[1][33] d[1][34] d[1][35] d[1][36] d[1][37] d[1][38] d[1][39] d[1][40] d[1][41] d[1][42] d[1][43] d[1][44] d[1][45] d[1][46] d[1][47] d[1][48] d[1][49] d[1][50] d[1][51] d[1][52] d[1][53] d[1][54] d[1][55] d[1][56] d[1][57] d[1][58] d[1][59] d[1][60] d[1][61] d[1][62] d[1][63] d[1][64] d[1][65] d[1][66] d[1][67] d[1][68] d[1][69] d[1][70] d[1][71] d[1][72] d[1][73] d[1][74] d[1][75] d[1][76] d[1][77] d[1][78] d[1][79] d[2][0] d[2][1] d[2][2] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][27] d[2][28] d[2][29] d[2][30] d[2][31] d[2][32] d[2][33] d[2][34] d[2][35] d[2][36] d[2][37] d[2][38] d[2][39] d[2][40] d[2][41] d[2][42] d[2][43] d[2][44] d[2][45] d[2][46] d[2][47] d[2][48] d[2][49] d[2][50] d[2][51] d[2][52] d[2][53] d[2][54] d[2][55] d[2][56] d[2][57] d[2][58] d[2][59] d[2][60] d[2][61] d[2][62] d[2][63] d[2][64] d[2][65] d[2][66] d[2][67] d[2][68] d[2][69] d[2][70] d[2][71] d[2][72] d[2][73] d[2][74] d[2][75] d[2][76] d[2][77] d[2][78] d[2][79] d[3][0] d[3][1] d[3][2] d[3][3] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[3][30] d[3][31] d[3][32] d[3][33] d[3][34] d[3][35] d[3][36] d[3][37] d[3][38] d[3][39] d[3][40] d[3][41] d[3][42] d[3][43] d[3][44] d[3][45] d[3][46] d[3][47] d[3][48] d[3][49] d[3][50] d[3][51] d[3][52] d[3][53] d[3][54] d[3][55] d[3][56] d[3][57] d[3][58] d[3][59] d[3][60] d[3][61] d[3][62] d[3][63] d[3][64] d[3][65] d[3][66] d[3][67] d[3][68] d[3][69] d[3][70] d[3][71] d[3][72] d[3][73] d[3][74] d[3][75] d[3][76] d[3][77] d[3][78] d[3][79] d[4][0] d[4][1] d[4][2] d[4][3] d[4][4] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[4][26] d[4][27] d[4][28] d[4][29] d[4][30] d[4][31] d[4][32] d[4][33] d[4][34] d[4][35] d[4][36] d[4][37] d[4][38] d[4][39] d[4][40] d[4][41] d[4][42] d[4][43] d[4][44] d[4][45] d[4][46] d[4][47] d[4][48] d[4][49] d[4][50] d[4][51] d[4][52] d[4][53] d[4][54] d[4][55] d[4][56] d[4][57] d[4][58] d[4][59] d[4][60] d[4][61] d[4][62] d[4][63] d[4][64] d[4][65] d[4][66] d[4][67] d[4][68] d[4][69] d[4][70] d[4][71] d[4][72] d[4][73] d[4][74] d[4][75] d[4][76] d[4][77] d[4][78] d[4][79] d[5][0] d[5][1] d[5][2] d[5][3] d[5][4] d[5][5] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[5][30] d[5][31] d[5][32] d[5][33] d[5][34] d[5][35] d[5][36] d[5][37] d[5][38] d[5][39] d[5][40] d[5][41] d[5][42] d[5][43] d[5][44] d[5][45] d[5][46] d[5][47] d[5][48] d[5][49] d[5][50] d[5][51] d[5][52] d[5][53] d[5][54] d[5][55] d[5][56] d[5][57] d[5][58] d[5][59] d[5][60] d[5][61] d[5][62] d[5][63] d[5][64] d[5][65] d[5][66] d[5][67] d[5][68] d[5][69] d[5][70] d[5][71] d[5][72] d[5][73] d[5][74] d[5][75] d[5][76] d[5][77] d[5][78] d[5][79] d[6][0] d[6][1] d[6][2] d[6][3] d[6][4] d[6][5] d[6][6] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[6][30] d[6][31] d[6][32] d[6][33] d[6][34] d[6][35] d[6][36] d[6][37] d[6][38] d[6][39] d[6][40] d[6][41] d[6][42] d[6][43] d[6][44] d[6][45] d[6][46] d[6][47] d[6][48] d[6][49] d[6][50] d[6][51] d[6][52] d[6][53] d[6][54] d[6][55] d[6][56] d[6][57] d[6][58] d[6][59] d[6][60] d[6][61] d[6][62] d[6][63] d[6][64] d[6][65] d[6][66] d[6][67] d[6][68] d[6][69] d[6][70] d[6][71] d[6][72] d[6][73] d[6][74] d[6][75] d[6][76] d[6][77] d[6][78] d[6][79] d[7][0] d[7][1] d[7][2] d[7][3] d[7][4] d[7][5] d[7][6] d[7][7] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] d[7][26] d[7][27] d[7][28] d[7][29] d[7][30] d[7][31] d[7][32] d[7][33] d[7][34] d[7][35] d[7][36] d[7][37] d[7][38] d[7][39] d[7][40] d[7][41] d[7][42] d[7][43] d[7][44] d[7][45] d[7][46] d[7][47] d[7][48] d[7][49] d[7][50] d[7][51] d[7][52] d[7][53] d[7][54] d[7][55] d[7][56] d[7][57] d[7][58] d[7][59] d[7][60] d[7][61] d[7][62] d[7][63] d[7][64] d[7][65] d[7][66] d[7][67] d[7][68] d[7][69] d[7][70] d[7][71] d[7][72] d[7][73] d[7][74] d[7][75] d[7][76] d[7][77] d[7][78] d[7][79] d[8][0] d[8][1] d[8][2] d[8][3] d[8][4] d[8][5] d[8][6] d[8][7] d[8][8] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[8][30] d[8][31] d[8][32] d[8][33] d[8][34] d[8][35] d[8][36] d[8][37] d[8][38] d[8][39] d[8][40] d[8][41] d[8][42] d[8][43] d[8][44] d[8][45] d[8][46] d[8][47] d[8][48] d[8][49] d[8][50] d[8][51] d[8][52] d[8][53] d[8][54] d[8][55] d[8][56] d[8][57] d[8][58] d[8][59] d[8][60] d[8][61] d[8][62] d[8][63] d[8][64] d[8][65] d[8][66] d[8][67] d[8][68] d[8][69] d[8][70] d[8][71] d[8][72] d[8][73] d[8][74] d[8][75] d[8][76] d[8][77] d[8][78] d[8][79] d[9][0] d[9][1] d[9][2] d[9][3] d[9][4] d[9][5] d[9][6] d[9][7] d[9][8] d[9][9] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][26] d[9][27] d[9][28] d[9][29] d[9][30] d[9][31] d[9][32] d[9][33] d[9][34] d[9][35] d[9][36] d[9][37] d[9][38] d[9][39] d[9][40] d[9][41] d[9][42] d[9][43] d[9][44] d[9][45] d[9][46] d[9][47] d[9][48] d[9][49] d[9][50] d[9][51] d[9][52] d[9][53] d[9][54] d[9][55] d[9][56] d[9][57] d[9][58] d[9][59] d[9][60] d[9][61] d[9][62] d[9][63] d[9][64] d[9][65] d[9][66] d[9][67] d[9][68] d[9][69] d[9][70] d[9][71] d[9][72] d[9][73] d[9][74] d[9][75] d[9][76] d[9][77] d[9][78] d[9][79] d[10][0] d[10][1] d[10][2] d[10][3] d[10][4] d[10][5] d[10][6] d[10][7] d[10][8] d[10][9] d[10][10] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[10][30] d[10][31] d[10][32] d[10][33] d[10][34] d[10][35] d[10][36] d[10][37] d[10][38] d[10][39] d[10][40] d[10][41] d[10][42] d[10][43] d[10][44] d[10][45] d[10][46] d[10][47] d[10][48] d[10][49] d[10][50] d[10][51] d[10][52] d[10][53] d[10][54] d[10][55] d[10][56] d[10][57] d[10][58] d[10][59] d[10][60] d[10][61] d[10][62] d[10][63] d[10][64] d[10][65] d[10][66] d[10][67] d[10][68] d[10][69] d[10][70] d[10][71] d[10][72] d[10][73] d[10][74] d[10][75] d[10][76] d[10][77] d[10][78] d[10][79] d[11][0] d[11][1] d[11][2] d[11][3] d[11][4] d[11][5] d[11][6] d[11][7] d[11][8] d[11][9] d[11][10] d[11][11] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[11][30] d[11][31] d[11][32] d[11][33] d[11][34] d[11][35] d[11][36] d[11][37] d[11][38] d[11][39] d[11][40] d[11][41] d[11][42] d[11][43] d[11][44] d[11][45] d[11][46] d[11][47] d[11][48] d[11][49] d[11][50] d[11][51] d[11][52] d[11][53] d[11][54] d[11][55] d[11][56] d[11][57] d[11][58] d[11][59] d[11][60] d[11][61] d[11][62] d[11][63] d[11][64] d[11][65] d[11][66] d[11][67] d[11][68] d[11][69] d[11][70] d[11][71] d[11][72] d[11][73] d[11][74] d[11][75] d[11][76] d[11][77] d[11][78] d[11][79] d[12][0] d[12][1] d[12][2] d[12][3] d[12][4] d[12][5] d[12][6] d[12][7] d[12][8] d[12][9] d[12][10] d[12][11] d[12][12] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[12][30] d[12][31] d[12][32] d[12][33] d[12][34] d[12][35] d[12][36] d[12][37] d[12][38] d[12][39] d[12][40] d[12][41] d[12][42] d[12][43] d[12][44] d[12][45] d[12][46] d[12][47] d[12][48] d[12][49] d[12][50] d[12][51] d[12][52] d[12][53] d[12][54] d[12][55] d[12][56] d[12][57] d[12][58] d[12][59] d[12][60] d[12][61] d[12][62] d[12][63] d[12][64] d[12][65] d[12][66] d[12][67] d[12][68] d[12][69] d[12][70] d[12][71] d[12][72] d[12][73] d[12][74] d[12][75] d[12][76] d[12][77] d[12][78] d[12][79] d[13][0] d[13][1] d[13][2] d[13][3] d[13][4] d[13][5] d[13][6] d[13][7] d[13][8] d[13][9] d[13][10] d[13][11] d[13][12] d[13][13] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[13][30] d[13][31] d[13][32] d[13][33] d[13][34] d[13][35] d[13][36] d[13][37] d[13][38] d[13][39] d[13][40] d[13][41] d[13][42] d[13][43] d[13][44] d[13][45] d[13][46] d[13][47] d[13][48] d[13][49] d[13][50] d[13][51] d[13][52] d[13][53] d[13][54] d[13][55] d[13][56] d[13][57] d[13][58] d[13][59] d[13][60] d[13][61] d[13][62] d[13][63] d[13][64] d[13][65] d[13][66] d[13][67] d[13][68] d[13][69] d[13][70] d[13][71] d[13][72] d[13][73] d[13][74] d[13][75] d[13][76] d[13][77] d[13][78] d[13][79] d[14][0] d[14][1] d[14][2] d[14][3] d[14][4] d[14][5] d[14][6] d[14][7] d[14][8] d[14][9] d[14][10] d[14][11] d[14][12] d[14][13] d[14][14] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[14][30] d[14][31] d[14][32] d[14][33] d[14][34] d[14][35] d[14][36] d[14][37] d[14][38] d[14][39] d[14][40] d[14][41] d[14][42] d[14][43] d[14][44] d[14][45] d[14][46] d[14][47] d[14][48] d[14][49] d[14][50] d[14][51] d[14][52] d[14][53] d[14][54] d[14][55] d[14][56] d[14][57] d[14][58] d[14][59] d[14][60] d[14][61] d[14][62] d[14][63] d[14][64] d[14][65] d[14][66] d[14][67] d[14][68] d[14][69] d[14][70] d[14][71] d[14][72] d[14][73] d[14][74] d[14][75] d[14][76] d[14][77] d[14][78] d[14][79] d[15][0] d[15][1] d[15][2] d[15][3] d[15][4] d[15][5] d[15][6] d[15][7] d[15][8] d[15][9] d[15][10] d[15][11] d[15][12] d[15][13] d[15][14] d[15][15] d[15][16] d[15][17] d[15][18] d[15][19] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[15][30] d[15][31] d[15][32] d[15][33] d[15][34] d[15][35] d[15][36] d[15][37] d[15][38] d[15][39] d[15][40] d[15][41] d[15][42] d[15][43] d[15][44] d[15][45] d[15][46] d[15][47] d[15][48] d[15][49] d[15][50] d[15][51] d[15][52] d[15][53] d[15][54] d[15][55] d[15][56] d[15][57] d[15][58] d[15][59] d[15][60] d[15][61] d[15][62] d[15][63] d[15][64] d[15][65] d[15][66] d[15][67] d[15][68] d[15][69] d[15][70] d[15][71] d[15][72] d[15][73] d[15][74] d[15][75] d[15][76] d[15][77] d[15][78] d[15][79] d[16][0] d[16][1] d[16][2] d[16][3] d[16][4] d[16][5] d[16][6] d[16][7] d[16][8] d[16][9] d[16][10] d[16][11] d[16][12] d[16][13] d[16][14] d[16][15] d[16][16] d[16][17] d[16][18] d[16][19] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[16][30] d[16][31] d[16][32] d[16][33] d[16][34] d[16][35] d[16][36] d[16][37] d[16][38] d[16][39] d[16][40] d[16][41] d[16][42] d[16][43] d[16][44] d[16][45] d[16][46] d[16][47] d[16][48] d[16][49] d[16][50] d[16][51] d[16][52] d[16][53] d[16][54] d[16][55] d[16][56] d[16][57] d[16][58] d[16][59] d[16][60] d[16][61] d[16][62] d[16][63] d[16][64] d[16][65] d[16][66] d[16][67] d[16][68] d[16][69] d[16][70] d[16][71] d[16][72] d[16][73] d[16][74] d[16][75] d[16][76] d[16][77] d[16][78] d[16][79] d[17][0] d[17][1] d[17][2] d[17][3] d[17][4] d[17][5] d[17][6] d[17][7] d[17][8] d[17][9] d[17][10] d[17][11] d[17][12] d[17][13] d[17][14] d[17][15] d[17][16] d[17][17] d[17][18] d[17][19] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[17][30] d[17][31] d[17][32] d[17][33] d[17][34] d[17][35] d[17][36] d[17][37] d[17][38] d[17][39] d[17][40] d[17][41] d[17][42] d[17][43] d[17][44] d[17][45] d[17][46] d[17][47] d[17][48] d[17][49] d[17][50] d[17][51] d[17][52] d[17][53] d[17][54] d[17][55] d[17][56] d[17][57] d[17][58] d[17][59] d[17][60] d[17][61] d[17][62] d[17][63] d[17][64] d[17][65] d[17][66] d[17][67] d[17][68] d[17][69] d[17][70] d[17][71] d[17][72] d[17][73] d[17][74] d[17][75] d[17][76] d[17][77] d[17][78] d[17][79] d[18][0] d[18][1] d[18][2] d[18][3] d[18][4] d[18][5] d[18][6] d[18][7] d[18][8] d[18][9] d[18][10] d[18][11] d[18][12] d[18][13] d[18][14] d[18][15] d[18][16] d[18][17] d[18][18] d[18][19] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[18][30] d[18][31] d[18][32] d[18][33] d[18][34] d[18][35] d[18][36] d[18][37] d[18][38] d[18][39] d[18][40] d[18][41] d[18][42] d[18][43] d[18][44] d[18][45] d[18][46] d[18][47] d[18][48] d[18][49] d[18][50] d[18][51] d[18][52] d[18][53] d[18][54] d[18][55] d[18][56] d[18][57] d[18][58] d[18][59] d[18][60] d[18][61] d[18][62] d[18][63] d[18][64] d[18][65] d[18][66] d[18][67] d[18][68] d[18][69] d[18][70] d[18][71] d[18][72] d[18][73] d[18][74] d[18][75] d[18][76] d[18][77] d[18][78] d[18][79] d[19][0] d[19][1] d[19][2] d[19][3] d[19][4] d[19][5] d[19][6] d[19][7] d[19][8] d[19][9] d[19][10] d[19][11] d[19][12] d[19][13] d[19][14] d[19][15] d[19][16] d[19][17] d[19][18] d[19][19] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[19][30] d[19][31] d[19][32] d[19][33] d[19][34] d[19][35] d[19][36] d[19][37] d[19][38] d[19][39] d[19][40] d[19][41] d[19][42] d[19][43] d[19][44] d[19][45] d[19][46] d[19][47] d[19][48] d[19][49] d[19][50] d[19][51] d[19][52] d[19][53] d[19][54] d[19][55] d[19][56] d[19][57] d[19][58] d[19][59] d[19][60] d[19][61] d[19][62] d[19][63] d[19][64] d[19][65] d[19][66] d[19][67] d[19][68] d[19][69] d[19][70] d[19][71] d[19][72] d[19][73] d[19][74] d[19][75] d[19][76] d[19][77] d[19][78] d[19][79] d[20][0] d[20][1] d[20][2] d[20][3] d[20][4] d[20][5] d[20][6] d[20][7] d[20][8] d[20][9] d[20][10] d[20][11] d[20][12] d[20][13] d[20][14] d[20][15] d[20][16] d[20][17] d[20][18] d[20][19] d[20][20] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[20][30] d[20][31] d[20][32] d[20][33] d[20][34] d[20][35] d[20][36] d[20][37] d[20][38] d[20][39] d[20][40] d[20][41] d[20][42] d[20][43] d[20][44] d[20][45] d[20][46] d[20][47] d[20][48] d[20][49] d[20][50] d[20][51] d[20][52] d[20][53] d[20][54] d[20][55] d[20][56] d[20][57] d[20][58] d[20][59] d[20][60] d[20][61] d[20][62] d[20][63] d[20][64] d[20][65] d[20][66] d[20][67] d[20][68] d[20][69] d[20][70] d[20][71] d[20][72] d[20][73] d[20][74] d[20][75] d[20][76] d[20][77] d[20][78] d[20][79] d[21][0] d[21][1] d[21][2] d[21][3] d[21][4] d[21][5] d[21][6] d[21][7] d[21][8] d[21][9] d[21][10] d[21][11] d[21][12] d[21][13] d[21][14] d[21][15] d[21][16] d[21][17] d[21][18] d[21][19] d[21][20] d[21][21] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[21][30] d[21][31] d[21][32] d[21][33] d[21][34] d[21][35] d[21][36] d[21][37] d[21][38] d[21][39] d[21][40] d[21][41] d[21][42] d[21][43] d[21][44] d[21][45] d[21][46] d[21][47] d[21][48] d[21][49] d[21][50] d[21][51] d[21][52] d[21][53] d[21][54] d[21][55] d[21][56] d[21][57] d[21][58] d[21][59] d[21][60] d[21][61] d[21][62] d[21][63] d[21][64] d[21][65] d[21][66] d[21][67] d[21][68] d[21][69] d[21][70] d[21][71] d[21][72] d[21][73] d[21][74] d[21][75] d[21][76] d[21][77] d[21][78] d[21][79] d[22][0] d[22][1] d[22][2] d[22][3] d[22][4] d[22][5] d[22][6] d[22][7] d[22][8] d[22][9] d[22][10] d[22][11] d[22][12] d[22][13] d[22][14] d[22][15] d[22][16] d[22][17] d[22][18] d[22][19] d[22][20] d[22][21] d[22][22] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[22][30] d[22][31] d[22][32] d[22][33] d[22][34] d[22][35] d[22][36] d[22][37] d[22][38] d[22][39] d[22][40] d[22][41] d[22][42] d[22][43] d[22][44] d[22][45] d[22][46] d[22][47] d[22][48] d[22][49] d[22][50] d[22][51] d[22][52] d[22][53] d[22][54] d[22][55] d[22][56] d[22][57] d[22][58] d[22][59] d[22][60] d[22][61] d[22][62] d[22][63] d[22][64] d[22][65] d[22][66] d[22][67] d[22][68] d[22][69] d[22][70] d[22][71] d[22][72] d[22][73] d[22][74] d[22][75] d[22][76] d[22][77] d[22][78] d[22][79] d[23][0] d[23][1] d[23][2] d[23][3] d[23][4] d[23][5] d[23][6] d[23][7] d[23][8] d[23][9] d[23][10] d[23][11] d[23][12] d[23][13] d[23][14] d[23][15] d[23][16] d[23][17] d[23][18] d[23][19] d[23][20] d[23][21] d[23][22] d[23][23] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[23][30] d[23][31] d[23][32] d[23][33] d[23][34] d[23][35] d[23][36] d[23][37] d[23][38] d[23][39] d[23][40] d[23][41] d[23][42] d[23][43] d[23][44] d[23][45] d[23][46] d[23][47] d[23][48] d[23][49] d[23][50] d[23][51] d[23][52] d[23][53] d[23][54] d[23][55] d[23][56] d[23][57] d[23][58] d[23][59] d[23][60] d[23][61] d[23][62] d[23][63] d[23][64] d[23][65] d[23][66] d[23][67] d[23][68] d[23][69] d[23][70] d[23][71] d[23][72] d[23][73] d[23][74] d[23][75] d[23][76] d[23][77] d[23][78] d[23][79] d[24][0] d[24][1] d[24][2] d[24][3] d[24][4] d[24][5] d[24][6] d[24][7] d[24][8] d[24][9] d[24][10] d[24][11] d[24][12] d[24][13] d[24][14] d[24][15] d[24][16] d[24][17] d[24][18] d[24][19] d[24][20] d[24][21] d[24][22] d[24][23] d[24][24] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[24][30] d[24][31] d[24][32] d[24][33] d[24][34] d[24][35] d[24][36] d[24][37] d[24][38] d[24][39] d[24][40] d[24][41] d[24][42] d[24][43] d[24][44] d[24][45] d[24][46] d[24][47] d[24][48] d[24][49] d[24][50] d[24][51] d[24][52] d[24][53] d[24][54] d[24][55] d[24][56] d[24][57] d[24][58] d[24][59] d[24][60] d[24][61] d[24][62] d[24][63] d[24][64] d[24][65] d[24][66] d[24][67] d[24][68] d[24][69] d[24][70] d[24][71] d[24][72] d[24][73] d[24][74] d[24][75] d[24][76] d[24][77] d[24][78] d[24][79] d[25][0] d[25][1] d[25][2] d[25][3] d[25][4] d[25][5] d[25][6] d[25][7] d[25][8] d[25][9] d[25][10] d[25][11] d[25][12] d[25][13] d[25][14] d[25][15] d[25][16] d[25][17] d[25][18] d[25][19] d[25][20] d[25][21] d[25][22] d[25][23] d[25][24] d[25][25] d[25][26] d[25][27] d[25][28] d[25][29] d[25][30] d[25][31] d[25][32] d[25][33] d[25][34] d[25][35] d[25][36] d[25][37] d[25][38] d[25][39] d[25][40] d[25][41] d[25][42] d[25][43] d[25][44] d[25][45] d[25][46] d[25][47] d[25][48] d[25][49] d[25][50] d[25][51] d[25][52] d[25][53] d[25][54] d[25][55] d[25][56] d[25][57] d[25][58] d[25][59] d[25][60] d[25][61] d[25][62] d[25][63] d[25][64] d[25][65] d[25][66] d[25][67] d[25][68] d[25][69] d[25][70] d[25][71] d[25][72] d[25][73] d[25][74] d[25][75] d[25][76] d[25][77] d[25][78] d[25][79] d[26][0] d[26][1] d[26][2] d[26][3] d[26][4] d[26][5] d[26][6] d[26][7] d[26][8] d[26][9] d[26][10] d[26][11] d[26][12] d[26][13] d[26][14] d[26][15] d[26][16] d[26][17] d[26][18] d[26][19] d[26][20] d[26][21] d[26][22] d[26][23] d[26][24] d[26][25] d[26][26] d[26][27] d[26][28] d[26][29] d[26][30] d[26][31] d[26][32] d[26][33] d[26][34] d[26][35] d[26][36] d[26][37] d[26][38] d[26][39] d[26][40] d[26][41] d[26][42] d[26][43] d[26][44] d[26][45] d[26][46] d[26][47] d[26][48] d[26][49] d[26][50] d[26][51] d[26][52] d[26][53] d[26][54] d[26][55] d[26][56] d[26][57] d[26][58] d[26][59] d[26][60] d[26][61] d[26][62] d[26][63] d[26][64] d[26][65] d[26][66] d[26][67] d[26][68] d[26][69] d[26][70] d[26][71] d[26][72] d[26][73] d[26][74] d[26][75] d[26][76] d[26][77] d[26][78] d[26][79] d[27][0] d[27][1] d[27][2] d[27][3] d[27][4] d[27][5] d[27][6] d[27][7] d[27][8] d[27][9] d[27][10] d[27][11] d[27][12] d[27][13] d[27][14] d[27][15] d[27][16] d[27][17] d[27][18] d[27][19] d[27][20] d[27][21] d[27][22] d[27][23] d[27][24] d[27][25] d[27][26] d[27][27] d[27][28] d[27][29] d[27][30] d[27][31] d[27][32] d[27][33] d[27][34] d[27][35] d[27][36] d[27][37] d[27][38] d[27][39] d[27][40] d[27][41] d[27][42] d[27][43] d[27][44] d[27][45] d[27][46] d[27][47] d[27][48] d[27][49] d[27][50] d[27][51] d[27][52] d[27][53] d[27][54] d[27][55] d[27][56] d[27][57] d[27][58] d[27][59] d[27][60] d[27][61] d[27][62] d[27][63] d[27][64] d[27][65] d[27][66] d[27][67] d[27][68] d[27][69] d[27][70] d[27][71] d[27][72] d[27][73] d[27][74] d[27][75] d[27][76] d[27][77] d[27][78] d[27][79] d[28][0] d[28][1] d[28][2] d[28][3] d[28][4] d[28][5] d[28][6] d[28][7] d[28][8] d[28][9] d[28][10] d[28][11] d[28][12] d[28][13] d[28][14] d[28][15] d[28][16] d[28][17] d[28][18] d[28][19] d[28][20] d[28][21] d[28][22] d[28][23] d[28][24] d[28][25] d[28][26] d[28][27] d[28][28] d[28][29] d[28][30] d[28][31] d[28][32] d[28][33] d[28][34] d[28][35] d[28][36] d[28][37] d[28][38] d[28][39] d[28][40] d[28][41] d[28][42] d[28][43] d[28][44] d[28][45] d[28][46] d[28][47] d[28][48] d[28][49] d[28][50] d[28][51] d[28][52] d[28][53] d[28][54] d[28][55] d[28][56] d[28][57] d[28][58] d[28][59] d[28][60] d[28][61] d[28][62] d[28][63] d[28][64] d[28][65] d[28][66] d[28][67] d[28][68] d[28][69] d[28][70] d[28][71] d[28][72] d[28][73] d[28][74] d[28][75] d[28][76] d[28][77] d[28][78] d[28][79] d[29][0] d[29][1] d[29][2] d[29][3] d[29][4] d[29][5] d[29][6] d[29][7] d[29][8] d[29][9] d[29][10] d[29][11] d[29][12] d[29][13] d[29][14] d[29][15] d[29][16] d[29][17] d[29][18] d[29][19] d[29][20] d[29][21] d[29][22] d[29][23] d[29][24] d[29][25] d[29][26] d[29][27] d[29][28] d[29][29] d[29][30] d[29][31] d[29][32] d[29][33] d[29][34] d[29][35] d[29][36] d[29][37] d[29][38] d[29][39] d[29][40] d[29][41] d[29][42] d[29][43] d[29][44] d[29][45] d[29][46] d[29][47] d[29][48] d[29][49] d[29][50] d[29][51] d[29][52] d[29][53] d[29][54] d[29][55] d[29][56] d[29][57] d[29][58] d[29][59] d[29][60] d[29][61] d[29][62] d[29][63] d[29][64] d[29][65] d[29][66] d[29][67] d[29][68] d[29][69] d[29][70] d[29][71] d[29][72] d[29][73] d[29][74] d[29][75] d[29][76] d[29][77] d[29][78] d[29][79] d[30][0] d[30][1] d[30][2] d[30][3] d[30][4] d[30][5] d[30][6] d[30][7] d[30][8] d[30][9] d[30][10] d[30][11] d[30][12] d[30][13] d[30][14] d[30][15] d[30][16] d[30][17] d[30][18] d[30][19] d[30][20] d[30][21] d[30][22] d[30][23] d[30][24] d[30][25] d[30][26] d[30][27] d[30][28] d[30][29] d[30][30] d[30][31] d[30][32] d[30][33] d[30][34] d[30][35] d[30][36] d[30][37] d[30][38] d[30][39] d[30][40] d[30][41] d[30][42] d[30][43] d[30][44] d[30][45] d[30][46] d[30][47] d[30][48] d[30][49] d[30][50] d[30][51] d[30][52] d[30][53] d[30][54] d[30][55] d[30][56] d[30][57] d[30][58] d[30][59] d[30][60] d[30][61] d[30][62] d[30][63] d[30][64] d[30][65] d[30][66] d[30][67] d[30][68] d[30][69] d[30][70] d[30][71] d[30][72] d[30][73] d[30][74] d[30][75] d[30][76] d[30][77] d[30][78] d[30][79] d[31][0] d[31][1] d[31][2] d[31][3] d[31][4] d[31][5] d[31][6] d[31][7] d[31][8] d[31][9] d[31][10] d[31][11] d[31][12] d[31][13] d[31][14] d[31][15] d[31][16] d[31][17] d[31][18] d[31][19] d[31][20] d[31][21] d[31][22] d[31][23] d[31][24] d[31][25] d[31][26] d[31][27] d[31][28] d[31][29] d[31][30] d[31][31] d[31][32] d[31][33] d[31][34] d[31][35] d[31][36] d[31][37] d[31][38] d[31][39] d[31][40] d[31][41] d[31][42] d[31][43] d[31][44] d[31][45] d[31][46] d[31][47] d[31][48] d[31][49] d[31][50] d[31][51] d[31][52] d[31][53] d[31][54] d[31][55] d[31][56] d[31][57] d[31][58] d[31][59] d[31][60] d[31][61] d[31][62] d[31][63] d[31][64] d[31][65] d[31][66] d[31][67] d[31][68] d[31][69] d[31][70] d[31][71] d[31][72] d[31][73] d[31][74] d[31][75] d[31][76] d[31][77] d[31][78] d[31][79] d[32][0] d[32][1] d[32][2] d[32][3] d[32][4] d[32][5] d[32][6] d[32][7] d[32][8] d[32][9] d[32][10] d[32][11] d[32][12] d[32][13] d[32][14] d[32][15] d[32][16] d[32][17] d[32][18] d[32][19] d[32][20] d[32][21] d[32][22] d[32][23] d[32][24] d[32][25] d[32][26] d[32][27] d[32][28] d[32][29] d[32][30] d[32][31] d[32][32] d[32][33] d[32][34] d[32][35] d[32][36] d[32][37] d[32][38] d[32][39] d[32][40] d[32][41] d[32][42] d[32][43] d[32][44] d[32][45] d[32][46] d[32][47] d[32][48] d[32][49] d[32][50] d[32][51] d[32][52] d[32][53] d[32][54] d[32][55] d[32][56] d[32][57] d[32][58] d[32][59] d[32][60] d[32][61] d[32][62] d[32][63] d[32][64] d[32][65] d[32][66] d[32][67] d[32][68] d[32][69] d[32][70] d[32][71] d[32][72] d[32][73] d[32][74] d[32][75] d[32][76] d[32][77] d[32][78] d[32][79] d[33][0] d[33][1] d[33][2] d[33][3] d[33][4] d[33][5] d[33][6] d[33][7] d[33][8] d[33][9] d[33][10] d[33][11] d[33][12] d[33][13] d[33][14] d[33][15] d[33][16] d[33][17] d[33][18] d[33][19] d[33][20] d[33][21] d[33][22] d[33][23] d[33][24] d[33][25] d[33][26] d[33][27] d[33][28] d[33][29] d[33][30] d[33][31] d[33][32] d[33][33] d[33][34] d[33][35] d[33][36] d[33][37] d[33][38] d[33][39] d[33][40] d[33][41] d[33][42] d[33][43] d[33][44] d[33][45] d[33][46] d[33][47] d[33][48] d[33][49] d[33][50] d[33][51] d[33][52] d[33][53] d[33][54] d[33][55] d[33][56] d[33][57] d[33][58] d[33][59] d[33][60] d[33][61] d[33][62] d[33][63] d[33][64] d[33][65] d[33][66] d[33][67] d[33][68] d[33][69] d[33][70] d[33][71] d[33][72] d[33][73] d[33][74] d[33][75] d[33][76] d[33][77] d[33][78] d[33][79] d[34][0] d[34][1] d[34][2] d[34][3] d[34][4] d[34][5] d[34][6] d[34][7] d[34][8] d[34][9] d[34][10] d[34][11] d[34][12] d[34][13] d[34][14] d[34][15] d[34][16] d[34][17] d[34][18] d[34][19] d[34][20] d[34][21] d[34][22] d[34][23] d[34][24] d[34][25] d[34][26] d[34][27] d[34][28] d[34][29] d[34][30] d[34][31] d[34][32] d[34][33] d[34][34] d[34][35] d[34][36] d[34][37] d[34][38] d[34][39] d[34][40] d[34][41] d[34][42] d[34][43] d[34][44] d[34][45] d[34][46] d[34][47] d[34][48] d[34][49] d[34][50] d[34][51] d[34][52] d[34][53] d[34][54] d[34][55] d[34][56] d[34][57] d[34][58] d[34][59] d[34][60] d[34][61] d[34][62] d[34][63] d[34][64] d[34][65] d[34][66] d[34][67] d[34][68] d[34][69] d[34][70] d[34][71] d[34][72] d[34][73] d[34][74] d[34][75] d[34][76] d[34][77] d[34][78] d[34][79] d[35][0] d[35][1] d[35][2] d[35][3] d[35][4] d[35][5] d[35][6] d[35][7] d[35][8] d[35][9] d[35][10] d[35][11] d[35][12] d[35][13] d[35][14] d[35][15] d[35][16] d[35][17] d[35][18] d[35][19] d[35][20] d[35][21] d[35][22] d[35][23] d[35][24] d[35][25] d[35][26] d[35][27] d[35][28] d[35][29] d[35][30] d[35][31] d[35][32] d[35][33] d[35][34] d[35][35] d[35][36] d[35][37] d[35][38] d[35][39] d[35][40] d[35][41] d[35][42] d[35][43] d[35][44] d[35][45] d[35][46] d[35][47] d[35][48] d[35][49] d[35][50] d[35][51] d[35][52] d[35][53] d[35][54] d[35][55] d[35][56] d[35][57] d[35][58] d[35][59] d[35][60] d[35][61] d[35][62] d[35][63] d[35][64] d[35][65] d[35][66] d[35][67] d[35][68] d[35][69] d[35][70] d[35][71] d[35][72] d[35][73] d[35][74] d[35][75] d[35][76] d[35][77] d[35][78] d[35][79] d[36][0] d[36][1] d[36][2] d[36][3] d[36][4] d[36][5] d[36][6] d[36][7] d[36][8] d[36][9] d[36][10] d[36][11] d[36][12] d[36][13] d[36][14] d[36][15] d[36][16] d[36][17] d[36][18] d[36][19] d[36][20] d[36][21] d[36][22] d[36][23] d[36][24] d[36][25] d[36][26] d[36][27] d[36][28] d[36][29] d[36][30] d[36][31] d[36][32] d[36][33] d[36][34] d[36][35] d[36][36] d[36][37] d[36][38] d[36][39] d[36][40] d[36][41] d[36][42] d[36][43] d[36][44] d[36][45] d[36][46] d[36][47] d[36][48] d[36][49] d[36][50] d[36][51] d[36][52] d[36][53] d[36][54] d[36][55] d[36][56] d[36][57] d[36][58] d[36][59] d[36][60] d[36][61] d[36][62] d[36][63] d[36][64] d[36][65] d[36][66] d[36][67] d[36][68] d[36][69] d[36][70] d[36][71] d[36][72] d[36][73] d[36][74] d[36][75] d[36][76] d[36][77] d[36][78] d[36][79] d[37][0] d[37][1] d[37][2] d[37][3] d[37][4] d[37][5] d[37][6] d[37][7] d[37][8] d[37][9] d[37][10] d[37][11] d[37][12] d[37][13] d[37][14] d[37][15] d[37][16] d[37][17] d[37][18] d[37][19] d[37][20] d[37][21] d[37][22] d[37][23] d[37][24] d[37][25] d[37][26] d[37][27] d[37][28] d[37][29] d[37][30] d[37][31] d[37][32] d[37][33] d[37][34] d[37][35] d[37][36] d[37][37] d[37][38] d[37][39] d[37][40] d[37][41] d[37][42] d[37][43] d[37][44] d[37][45] d[37][46] d[37][47] d[37][48] d[37][49] d[37][50] d[37][51] d[37][52] d[37][53] d[37][54] d[37][55] d[37][56] d[37][57] d[37][58] d[37][59] d[37][60] d[37][61] d[37][62] d[37][63] d[37][64] d[37][65] d[37][66] d[37][67] d[37][68] d[37][69] d[37][70] d[37][71] d[37][72] d[37][73] d[37][74] d[37][75] d[37][76] d[37][77] d[37][78] d[37][79] d[38][0] d[38][1] d[38][2] d[38][3] d[38][4] d[38][5] d[38][6] d[38][7] d[38][8] d[38][9] d[38][10] d[38][11] d[38][12] d[38][13] d[38][14] d[38][15] d[38][16] d[38][17] d[38][18] d[38][19] d[38][20] d[38][21] d[38][22] d[38][23] d[38][24] d[38][25] d[38][26] d[38][27] d[38][28] d[38][29] d[38][30] d[38][31] d[38][32] d[38][33] d[38][34] d[38][35] d[38][36] d[38][37] d[38][38] d[38][39] d[38][40] d[38][41] d[38][42] d[38][43] d[38][44] d[38][45] d[38][46] d[38][47] d[38][48] d[38][49] d[38][50] d[38][51] d[38][52] d[38][53] d[38][54] d[38][55] d[38][56] d[38][57] d[38][58] d[38][59] d[38][60] d[38][61] d[38][62] d[38][63] d[38][64] d[38][65] d[38][66] d[38][67] d[38][68] d[38][69] d[38][70] d[38][71] d[38][72] d[38][73] d[38][74] d[38][75] d[38][76] d[38][77] d[38][78] d[38][79] d[39][0] d[39][1] d[39][2] d[39][3] d[39][4] d[39][5] d[39][6] d[39][7] d[39][8] d[39][9] d[39][10] d[39][11] d[39][12] d[39][13] d[39][14] d[39][15] d[39][16] d[39][17] d[39][18] d[39][19] d[39][20] d[39][21] d[39][22] d[39][23] d[39][24] d[39][25] d[39][26] d[39][27] d[39][28] d[39][29] d[39][30] d[39][31] d[39][32] d[39][33] d[39][34] d[39][35] d[39][36] d[39][37] d[39][38] d[39][39] d[39][40] d[39][41] d[39][42] d[39][43] d[39][44] d[39][45] d[39][46] d[39][47] d[39][48] d[39][49] d[39][50] d[39][51] d[39][52] d[39][53] d[39][54] d[39][55] d[39][56] d[39][57] d[39][58] d[39][59] d[39][60] d[39][61] d[39][62] d[39][63] d[39][64] d[39][65] d[39][66] d[39][67] d[39][68] d[39][69] d[39][70] d[39][71] d[39][72] d[39][73] d[39][74] d[39][75] d[39][76] d[39][77] d[39][78] d[39][79] d[40][0] d[40][1] d[40][2] d[40][3] d[40][4] d[40][5] d[40][6] d[40][7] d[40][8] d[40][9] d[40][10] d[40][11] d[40][12] d[40][13] d[40][14] d[40][15] d[40][16] d[40][17] d[40][18] d[40][19] d[40][20] d[40][21] d[40][22] d[40][23] d[40][24] d[40][25] d[40][26] d[40][27] d[40][28] d[40][29] d[40][30] d[40][31] d[40][32] d[40][33] d[40][34] d[40][35] d[40][36] d[40][37] d[40][38] d[40][39] d[40][40] d[40][41] d[40][42] d[40][43] d[40][44] d[40][45] d[40][46] d[40][47] d[40][48] d[40][49] d[40][50] d[40][51] d[40][52] d[40][53] d[40][54] d[40][55] d[40][56] d[40][57] d[40][58] d[40][59] d[40][60] d[40][61] d[40][62] d[40][63] d[40][64] d[40][65] d[40][66] d[40][67] d[40][68] d[40][69] d[40][70] d[40][71] d[40][72] d[40][73] d[40][74] d[40][75] d[40][76] d[40][77] d[40][78] d[40][79] d[41][0] d[41][1] d[41][2] d[41][3] d[41][4] d[41][5] d[41][6] d[41][7] d[41][8] d[41][9] d[41][10] d[41][11] d[41][12] d[41][13] d[41][14] d[41][15] d[41][16] d[41][17] d[41][18] d[41][19] d[41][20] d[41][21] d[41][22] d[41][23] d[41][24] d[41][25] d[41][26] d[41][27] d[41][28] d[41][29] d[41][30] d[41][31] d[41][32] d[41][33] d[41][34] d[41][35] d[41][36] d[41][37] d[41][38] d[41][39] d[41][40] d[41][41] d[41][42] d[41][43] d[41][44] d[41][45] d[41][46] d[41][47] d[41][48] d[41][49] d[41][50] d[41][51] d[41][52] d[41][53] d[41][54] d[41][55] d[41][56] d[41][57] d[41][58] d[41][59] d[41][60] d[41][61] d[41][62] d[41][63] d[41][64] d[41][65] d[41][66] d[41][67] d[41][68] d[41][69] d[41][70] d[41][71] d[41][72] d[41][73] d[41][74] d[41][75] d[41][76] d[41][77] d[41][78] d[41][79] d[42][0] d[42][1] d[42][2] d[42][3] d[42][4] d[42][5] d[42][6] d[42][7] d[42][8] d[42][9] d[42][10] d[42][11] d[42][12] d[42][13] d[42][14] d[42][15] d[42][16] d[42][17] d[42][18] d[42][19] d[42][20] d[42][21] d[42][22] d[42][23] d[42][24] d[42][25] d[42][26] d[42][27] d[42][28] d[42][29] d[42][30] d[42][31] d[42][32] d[42][33] d[42][34] d[42][35] d[42][36] d[42][37] d[42][38] d[42][39] d[42][40] d[42][41] d[42][42] d[42][43] d[42][44] d[42][45] d[42][46] d[42][47] d[42][48] d[42][49] d[42][50] d[42][51] d[42][52] d[42][53] d[42][54] d[42][55] d[42][56] d[42][57] d[42][58] d[42][59] d[42][60] d[42][61] d[42][62] d[42][63] d[42][64] d[42][65] d[42][66] d[42][67] d[42][68] d[42][69] d[42][70] d[42][71] d[42][72] d[42][73] d[42][74] d[42][75] d[42][76] d[42][77] d[42][78] d[42][79] d[43][0] d[43][1] d[43][2] d[43][3] d[43][4] d[43][5] d[43][6] d[43][7] d[43][8] d[43][9] d[43][10] d[43][11] d[43][12] d[43][13] d[43][14] d[43][15] d[43][16] d[43][17] d[43][18] d[43][19] d[43][20] d[43][21] d[43][22] d[43][23] d[43][24] d[43][25] d[43][26] d[43][27] d[43][28] d[43][29] d[43][30] d[43][31] d[43][32] d[43][33] d[43][34] d[43][35] d[43][36] d[43][37] d[43][38] d[43][39] d[43][40] d[43][41] d[43][42] d[43][43] d[43][44] d[43][45] d[43][46] d[43][47] d[43][48] d[43][49] d[43][50] d[43][51] d[43][52] d[43][53] d[43][54] d[43][55] d[43][56] d[43][57] d[43][58] d[43][59] d[43][60] d[43][61] d[43][62] d[43][63] d[43][64] d[43][65] d[43][66] d[43][67] d[43][68] d[43][69] d[43][70] d[43][71] d[43][72] d[43][73] d[43][74] d[43][75] d[43][76] d[43][77] d[43][78] d[43][79] d[44][0] d[44][1] d[44][2] d[44][3] d[44][4] d[44][5] d[44][6] d[44][7] d[44][8] d[44][9] d[44][10] d[44][11] d[44][12] d[44][13] d[44][14] d[44][15] d[44][16] d[44][17] d[44][18] d[44][19] d[44][20] d[44][21] d[44][22] d[44][23] d[44][24] d[44][25] d[44][26] d[44][27] d[44][28] d[44][29] d[44][30] d[44][31] d[44][32] d[44][33] d[44][34] d[44][35] d[44][36] d[44][37] d[44][38] d[44][39] d[44][40] d[44][41] d[44][42] d[44][43] d[44][44] d[44][45] d[44][46] d[44][47] d[44][48] d[44][49] d[44][50] d[44][51] d[44][52] d[44][53] d[44][54] d[44][55] d[44][56] d[44][57] d[44][58] d[44][59] d[44][60] d[44][61] d[44][62] d[44][63] d[44][64] d[44][65] d[44][66] d[44][67] d[44][68] d[44][69] d[44][70] d[44][71] d[44][72] d[44][73] d[44][74] d[44][75] d[44][76] d[44][77] d[44][78] d[44][79] d[45][0] d[45][1] d[45][2] d[45][3] d[45][4] d[45][5] d[45][6] d[45][7] d[45][8] d[45][9] d[45][10] d[45][11] d[45][12] d[45][13] d[45][14] d[45][15] d[45][16] d[45][17] d[45][18] d[45][19] d[45][20] d[45][21] d[45][22] d[45][23] d[45][24] d[45][25] d[45][26] d[45][27] d[45][28] d[45][29] d[45][30] d[45][31] d[45][32] d[45][33] d[45][34] d[45][35] d[45][36] d[45][37] d[45][38] d[45][39] d[45][40] d[45][41] d[45][42] d[45][43] d[45][44] d[45][45] d[45][46] d[45][47] d[45][48] d[45][49] d[45][50] d[45][51] d[45][52] d[45][53] d[45][54] d[45][55] d[45][56] d[45][57] d[45][58] d[45][59] d[45][60] d[45][61] d[45][62] d[45][63] d[45][64] d[45][65] d[45][66] d[45][67] d[45][68] d[45][69] d[45][70] d[45][71] d[45][72] d[45][73] d[45][74] d[45][75] d[45][76] d[45][77] d[45][78] d[45][79] d[46][0] d[46][1] d[46][2] d[46][3] d[46][4] d[46][5] d[46][6] d[46][7] d[46][8] d[46][9] d[46][10] d[46][11] d[46][12] d[46][13] d[46][14] d[46][15] d[46][16] d[46][17] d[46][18] d[46][19] d[46][20] d[46][21] d[46][22] d[46][23] d[46][24] d[46][25] d[46][26] d[46][27] d[46][28] d[46][29] d[46][30] d[46][31] d[46][32] d[46][33] d[46][34] d[46][35] d[46][36] d[46][37] d[46][38] d[46][39] d[46][40] d[46][41] d[46][42] d[46][43] d[46][44] d[46][45] d[46][46] d[46][47] d[46][48] d[46][49] d[46][50] d[46][51] d[46][52] d[46][53] d[46][54] d[46][55] d[46][56] d[46][57] d[46][58] d[46][59] d[46][60] d[46][61] d[46][62] d[46][63] d[46][64] d[46][65] d[46][66] d[46][67] d[46][68] d[46][69] d[46][70] d[46][71] d[46][72] d[46][73] d[46][74] d[46][75] d[46][76] d[46][77] d[46][78] d[46][79] d[47][0] d[47][1] d[47][2] d[47][3] d[47][4] d[47][5] d[47][6] d[47][7] d[47][8] d[47][9] d[47][10] d[47][11] d[47][12] d[47][13] d[47][14] d[47][15] d[47][16] d[47][17] d[47][18] d[47][19] d[47][20] d[47][21] d[47][22] d[47][23] d[47][24] d[47][25] d[47][26] d[47][27] d[47][28] d[47][29] d[47][30] d[47][31] d[47][32] d[47][33] d[47][34] d[47][35] d[47][36] d[47][37] d[47][38] d[47][39] d[47][40] d[47][41] d[47][42] d[47][43] d[47][44] d[47][45] d[47][46] d[47][47] d[47][48] d[47][49] d[47][50] d[47][51] d[47][52] d[47][53] d[47][54] d[47][55] d[47][56] d[47][57] d[47][58] d[47][59] d[47][60] d[47][61] d[47][62] d[47][63] d[47][64] d[47][65] d[47][66] d[47][67] d[47][68] d[47][69] d[47][70] d[47][71] d[47][72] d[47][73] d[47][74] d[47][75] d[47][76] d[47][77] d[47][78] d[47][79] d[48][0] d[48][1] d[48][2] d[48][3] d[48][4] d[48][5] d[48][6] d[48][7] d[48][8] d[48][9] d[48][10] d[48][11] d[48][12] d[48][13] d[48][14] d[48][15] d[48][16] d[48][17] d[48][18] d[48][19] d[48][20] d[48][21] d[48][22] d[48][23] d[48][24] d[48][25] d[48][26] d[48][27] d[48][28] d[48][29] d[48][30] d[48][31] d[48][32] d[48][33] d[48][34] d[48][35] d[48][36] d[48][37] d[48][38] d[48][39] d[48][40] d[48][41] d[48][42] d[48][43] d[48][44] d[48][45] d[48][46] d[48][47] d[48][48] d[48][49] d[48][50] d[48][51] d[48][52] d[48][53] d[48][54] d[48][55] d[48][56] d[48][57] d[48][58] d[48][59] d[48][60] d[48][61] d[48][62] d[48][63] d[48][64] d[48][65] d[48][66] d[48][67] d[48][68] d[48][69] d[48][70] d[48][71] d[48][72] d[48][73] d[48][74] d[48][75] d[48][76] d[48][77] d[48][78] d[48][79] d[49][0] d[49][1] d[49][2] d[49][3] d[49][4] d[49][5] d[49][6] d[49][7] d[49][8] d[49][9] d[49][10] d[49][11] d[49][12] d[49][13] d[49][14] d[49][15] d[49][16] d[49][17] d[49][18] d[49][19] d[49][20] d[49][21] d[49][22] d[49][23] d[49][24] d[49][25] d[49][26] d[49][27] d[49][28] d[49][29] d[49][30] d[49][31] d[49][32] d[49][33] d[49][34] d[49][35] d[49][36] d[49][37] d[49][38] d[49][39] d[49][40] d[49][41] d[49][42] d[49][43] d[49][44] d[49][45] d[49][46] d[49][47] d[49][48] d[49][49] d[49][50] d[49][51] d[49][52] d[49][53] d[49][54] d[49][55] d[49][56] d[49][57] d[49][58] d[49][59] d[49][60] d[49][61] d[49][62] d[49][63] d[49][64] d[49][65] d[49][66] d[49][67] d[49][68] d[49][69] d[49][70] d[49][71] d[49][72] d[49][73] d[49][74] d[49][75] d[49][76] d[49][77] d[49][78] d[49][79] d[50][0] d[50][1] d[50][2] d[50][3] d[50][4] d[50][5] d[50][6] d[50][7] d[50][8] d[50][9] d[50][10] d[50][11] d[50][12] d[50][13] d[50][14] d[50][15] d[50][16] d[50][17] d[50][18] d[50][19] d[50][20] d[50][21] d[50][22] d[50][23] d[50][24] d[50][25] d[50][26] d[50][27] d[50][28] d[50][29] d[50][30] d[50][31] d[50][32] d[50][33] d[50][34] d[50][35] d[50][36] d[50][37] d[50][38] d[50][39] d[50][40] d[50][41] d[50][42] d[50][43] d[50][44] d[50][45] d[50][46] d[50][47] d[50][48] d[50][49] d[50][50] d[50][51] d[50][52] d[50][53] d[50][54] d[50][55] d[50][56] d[50][57] d[50][58] d[50][59] d[50][60] d[50][61] d[50][62] d[50][63] d[50][64] d[50][65] d[50][66] d[50][67] d[50][68] d[50][69] d[50][70] d[50][71] d[50][72] d[50][73] d[50][74] d[50][75] d[50][76] d[50][77] d[50][78] d[50][79] d[51][0] d[51][1] d[51][2] d[51][3] d[51][4] d[51][5] d[51][6] d[51][7] d[51][8] d[51][9] d[51][10] d[51][11] d[51][12] d[51][13] d[51][14] d[51][15] d[51][16] d[51][17] d[51][18] d[51][19] d[51][20] d[51][21] d[51][22] d[51][23] d[51][24] d[51][25] d[51][26] d[51][27] d[51][28] d[51][29] d[51][30] d[51][31] d[51][32] d[51][33] d[51][34] d[51][35] d[51][36] d[51][37] d[51][38] d[51][39] d[51][40] d[51][41] d[51][42] d[51][43] d[51][44] d[51][45] d[51][46] d[51][47] d[51][48] d[51][49] d[51][50] d[51][51] d[51][52] d[51][53] d[51][54] d[51][55] d[51][56] d[51][57] d[51][58] d[51][59] d[51][60] d[51][61] d[51][62] d[51][63] d[51][64] d[51][65] d[51][66] d[51][67] d[51][68] d[51][69] d[51][70] d[51][71] d[51][72] d[51][73] d[51][74] d[51][75] d[51][76] d[51][77] d[51][78] d[51][79] d[52][0] d[52][1] d[52][2] d[52][3] d[52][4] d[52][5] d[52][6] d[52][7] d[52][8] d[52][9] d[52][10] d[52][11] d[52][12] d[52][13] d[52][14] d[52][15] d[52][16] d[52][17] d[52][18] d[52][19] d[52][20] d[52][21] d[52][22] d[52][23] d[52][24] d[52][25] d[52][26] d[52][27] d[52][28] d[52][29] d[52][30] d[52][31] d[52][32] d[52][33] d[52][34] d[52][35] d[52][36] d[52][37] d[52][38] d[52][39] d[52][40] d[52][41] d[52][42] d[52][43] d[52][44] d[52][45] d[52][46] d[52][47] d[52][48] d[52][49] d[52][50] d[52][51] d[52][52] d[52][53] d[52][54] d[52][55] d[52][56] d[52][57] d[52][58] d[52][59] d[52][60] d[52][61] d[52][62] d[52][63] d[52][64] d[52][65] d[52][66] d[52][67] d[52][68] d[52][69] d[52][70] d[52][71] d[52][72] d[52][73] d[52][74] d[52][75] d[52][76] d[52][77] d[52][78] d[52][79] d[53][0] d[53][1] d[53][2] d[53][3] d[53][4] d[53][5] d[53][6] d[53][7] d[53][8] d[53][9] d[53][10] d[53][11] d[53][12] d[53][13] d[53][14] d[53][15] d[53][16] d[53][17] d[53][18] d[53][19] d[53][20] d[53][21] d[53][22] d[53][23] d[53][24] d[53][25] d[53][26] d[53][27] d[53][28] d[53][29] d[53][30] d[53][31] d[53][32] d[53][33] d[53][34] d[53][35] d[53][36] d[53][37] d[53][38] d[53][39] d[53][40] d[53][41] d[53][42] d[53][43] d[53][44] d[53][45] d[53][46] d[53][47] d[53][48] d[53][49] d[53][50] d[53][51] d[53][52] d[53][53] d[53][54] d[53][55] d[53][56] d[53][57] d[53][58] d[53][59] d[53][60] d[53][61] d[53][62] d[53][63] d[53][64] d[53][65] d[53][66] d[53][67] d[53][68] d[53][69] d[53][70] d[53][71] d[53][72] d[53][73] d[53][74] d[53][75] d[53][76] d[53][77] d[53][78] d[53][79] d[54][0] d[54][1] d[54][2] d[54][3] d[54][4] d[54][5] d[54][6] d[54][7] d[54][8] d[54][9] d[54][10] d[54][11] d[54][12] d[54][13] d[54][14] d[54][15] d[54][16] d[54][17] d[54][18] d[54][19] d[54][20] d[54][21] d[54][22] d[54][23] d[54][24] d[54][25] d[54][26] d[54][27] d[54][28] d[54][29] d[54][30] d[54][31] d[54][32] d[54][33] d[54][34] d[54][35] d[54][36] d[54][37] d[54][38] d[54][39] d[54][40] d[54][41] d[54][42] d[54][43] d[54][44] d[54][45] d[54][46] d[54][47] d[54][48] d[54][49] d[54][50] d[54][51] d[54][52] d[54][53] d[54][54] d[54][55] d[54][56] d[54][57] d[54][58] d[54][59] d[54][60] d[54][61] d[54][62] d[54][63] d[54][64] d[54][65] d[54][66] d[54][67] d[54][68] d[54][69] d[54][70] d[54][71] d[54][72] d[54][73] d[54][74] d[54][75] d[54][76] d[54][77] d[54][78] d[54][79] d[55][0] d[55][1] d[55][2] d[55][3] d[55][4] d[55][5] d[55][6] d[55][7] d[55][8] d[55][9] d[55][10] d[55][11] d[55][12] d[55][13] d[55][14] d[55][15] d[55][16] d[55][17] d[55][18] d[55][19] d[55][20] d[55][21] d[55][22] d[55][23] d[55][24] d[55][25] d[55][26] d[55][27] d[55][28] d[55][29] d[55][30] d[55][31] d[55][32] d[55][33] d[55][34] d[55][35] d[55][36] d[55][37] d[55][38] d[55][39] d[55][40] d[55][41] d[55][42] d[55][43] d[55][44] d[55][45] d[55][46] d[55][47] d[55][48] d[55][49] d[55][50] d[55][51] d[55][52] d[55][53] d[55][54] d[55][55] d[55][56] d[55][57] d[55][58] d[55][59] d[55][60] d[55][61] d[55][62] d[55][63] d[55][64] d[55][65] d[55][66] d[55][67] d[55][68] d[55][69] d[55][70] d[55][71] d[55][72] d[55][73] d[55][74] d[55][75] d[55][76] d[55][77] d[55][78] d[55][79] d[56][0] d[56][1] d[56][2] d[56][3] d[56][4] d[56][5] d[56][6] d[56][7] d[56][8] d[56][9] d[56][10] d[56][11] d[56][12] d[56][13] d[56][14] d[56][15] d[56][16] d[56][17] d[56][18] d[56][19] d[56][20] d[56][21] d[56][22] d[56][23] d[56][24] d[56][25] d[56][26] d[56][27] d[56][28] d[56][29] d[56][30] d[56][31] d[56][32] d[56][33] d[56][34] d[56][35] d[56][36] d[56][37] d[56][38] d[56][39] d[56][40] d[56][41] d[56][42] d[56][43] d[56][44] d[56][45] d[56][46] d[56][47] d[56][48] d[56][49] d[56][50] d[56][51] d[56][52] d[56][53] d[56][54] d[56][55] d[56][56] d[56][57] d[56][58] d[56][59] d[56][60] d[56][61] d[56][62] d[56][63] d[56][64] d[56][65] d[56][66] d[56][67] d[56][68] d[56][69] d[56][70] d[56][71] d[56][72] d[56][73] d[56][74] d[56][75] d[56][76] d[56][77] d[56][78] d[56][79] d[57][0] d[57][1] d[57][2] d[57][3] d[57][4] d[57][5] d[57][6] d[57][7] d[57][8] d[57][9] d[57][10] d[57][11] d[57][12] d[57][13] d[57][14] d[57][15] d[57][16] d[57][17] d[57][18] d[57][19] d[57][20] d[57][21] d[57][22] d[57][23] d[57][24] d[57][25] d[57][26] d[57][27] d[57][28] d[57][29] d[57][30] d[57][31] d[57][32] d[57][33] d[57][34] d[57][35] d[57][36] d[57][37] d[57][38] d[57][39] d[57][40] d[57][41] d[57][42] d[57][43] d[57][44] d[57][45] d[57][46] d[57][47] d[57][48] d[57][49] d[57][50] d[57][51] d[57][52] d[57][53] d[57][54] d[57][55] d[57][56] d[57][57] d[57][58] d[57][59] d[57][60] d[57][61] d[57][62] d[57][63] d[57][64] d[57][65] d[57][66] d[57][67] d[57][68] d[57][69] d[57][70] d[57][71] d[57][72] d[57][73] d[57][74] d[57][75] d[57][76] d[57][77] d[57][78] d[57][79] d[58][0] d[58][1] d[58][2] d[58][3] d[58][4] d[58][5] d[58][6] d[58][7] d[58][8] d[58][9] d[58][10] d[58][11] d[58][12] d[58][13] d[58][14] d[58][15] d[58][16] d[58][17] d[58][18] d[58][19] d[58][20] d[58][21] d[58][22] d[58][23] d[58][24] d[58][25] d[58][26] d[58][27] d[58][28] d[58][29] d[58][30] d[58][31] d[58][32] d[58][33] d[58][34] d[58][35] d[58][36] d[58][37] d[58][38] d[58][39] d[58][40] d[58][41] d[58][42] d[58][43] d[58][44] d[58][45] d[58][46] d[58][47] d[58][48] d[58][49] d[58][50] d[58][51] d[58][52] d[58][53] d[58][54] d[58][55] d[58][56] d[58][57] d[58][58] d[58][59] d[58][60] d[58][61] d[58][62] d[58][63] d[58][64] d[58][65] d[58][66] d[58][67] d[58][68] d[58][69] d[58][70] d[58][71] d[58][72] d[58][73] d[58][74] d[58][75] d[58][76] d[58][77] d[58][78] d[58][79] d[59][0] d[59][1] d[59][2] d[59][3] d[59][4] d[59][5] d[59][6] d[59][7] d[59][8] d[59][9] d[59][10] d[59][11] d[59][12] d[59][13] d[59][14] d[59][15] d[59][16] d[59][17] d[59][18] d[59][19] d[59][20] d[59][21] d[59][22] d[59][23] d[59][24] d[59][25] d[59][26] d[59][27] d[59][28] d[59][29] d[59][30] d[59][31] d[59][32] d[59][33] d[59][34] d[59][35] d[59][36] d[59][37] d[59][38] d[59][39] d[59][40] d[59][41] d[59][42] d[59][43] d[59][44] d[59][45] d[59][46] d[59][47] d[59][48] d[59][49] d[59][50] d[59][51] d[59][52] d[59][53] d[59][54] d[59][55] d[59][56] d[59][57] d[59][58] d[59][59] d[59][60] d[59][61] d[59][62] d[59][63] d[59][64] d[59][65] d[59][66] d[59][67] d[59][68] d[59][69] d[59][70] d[59][71] d[59][72] d[59][73] d[59][74] d[59][75] d[59][76] d[59][77] d[59][78] d[59][79] d[60][0] d[60][1] d[60][2] d[60][3] d[60][4] d[60][5] d[60][6] d[60][7] d[60][8] d[60][9] d[60][10] d[60][11] d[60][12] d[60][13] d[60][14] d[60][15] d[60][16] d[60][17] d[60][18] d[60][19] d[60][20] d[60][21] d[60][22] d[60][23] d[60][24] d[60][25] d[60][26] d[60][27] d[60][28] d[60][29] d[60][30] d[60][31] d[60][32] d[60][33] d[60][34] d[60][35] d[60][36] d[60][37] d[60][38] d[60][39] d[60][40] d[60][41] d[60][42] d[60][43] d[60][44] d[60][45] d[60][46] d[60][47] d[60][48] d[60][49] d[60][50] d[60][51] d[60][52] d[60][53] d[60][54] d[60][55] d[60][56] d[60][57] d[60][58] d[60][59] d[60][60] d[60][61] d[60][62] d[60][63] d[60][64] d[60][65] d[60][66] d[60][67] d[60][68] d[60][69] d[60][70] d[60][71] d[60][72] d[60][73] d[60][74] d[60][75] d[60][76] d[60][77] d[60][78] d[60][79] d[61][0] d[61][1] d[61][2] d[61][3] d[61][4] d[61][5] d[61][6] d[61][7] d[61][8] d[61][9] d[61][10] d[61][11] d[61][12] d[61][13] d[61][14] d[61][15] d[61][16] d[61][17] d[61][18] d[61][19] d[61][20] d[61][21] d[61][22] d[61][23] d[61][24] d[61][25] d[61][26] d[61][27] d[61][28] d[61][29] d[61][30] d[61][31] d[61][32] d[61][33] d[61][34] d[61][35] d[61][36] d[61][37] d[61][38] d[61][39] d[61][40] d[61][41] d[61][42] d[61][43] d[61][44] d[61][45] d[61][46] d[61][47] d[61][48] d[61][49] d[61][50] d[61][51] d[61][52] d[61][53] d[61][54] d[61][55] d[61][56] d[61][57] d[61][58] d[61][59] d[61][60] d[61][61] d[61][62] d[61][63] d[61][64] d[61][65] d[61][66] d[61][67] d[61][68] d[61][69] d[61][70] d[61][71] d[61][72] d[61][73] d[61][74] d[61][75] d[61][76] d[61][77] d[61][78] d[61][79] d[62][0] d[62][1] d[62][2] d[62][3] d[62][4] d[62][5] d[62][6] d[62][7] d[62][8] d[62][9] d[62][10] d[62][11] d[62][12] d[62][13] d[62][14] d[62][15] d[62][16] d[62][17] d[62][18] d[62][19] d[62][20] d[62][21] d[62][22] d[62][23] d[62][24] d[62][25] d[62][26] d[62][27] d[62][28] d[62][29] d[62][30] d[62][31] d[62][32] d[62][33] d[62][34] d[62][35] d[62][36] d[62][37] d[62][38] d[62][39] d[62][40] d[62][41] d[62][42] d[62][43] d[62][44] d[62][45] d[62][46] d[62][47] d[62][48] d[62][49] d[62][50] d[62][51] d[62][52] d[62][53] d[62][54] d[62][55] d[62][56] d[62][57] d[62][58] d[62][59] d[62][60] d[62][61] d[62][62] d[62][63] d[62][64] d[62][65] d[62][66] d[62][67] d[62][68] d[62][69] d[62][70] d[62][71] d[62][72] d[62][73] d[62][74] d[62][75] d[62][76] d[62][77] d[62][78] d[62][79] d[63][0] d[63][1] d[63][2] d[63][3] d[63][4] d[63][5] d[63][6] d[63][7] d[63][8] d[63][9] d[63][10] d[63][11] d[63][12] d[63][13] d[63][14] d[63][15] d[63][16] d[63][17] d[63][18] d[63][19] d[63][20] d[63][21] d[63][22] d[63][23] d[63][24] d[63][25] d[63][26] d[63][27] d[63][28] d[63][29] d[63][30] d[63][31] d[63][32] d[63][33] d[63][34] d[63][35] d[63][36] d[63][37] d[63][38] d[63][39] d[63][40] d[63][41] d[63][42] d[63][43] d[63][44] d[63][45] d[63][46] d[63][47] d[63][48] d[63][49] d[63][50] d[63][51] d[63][52] d[63][53] d[63][54] d[63][55] d[63][56] d[63][57] d[63][58] d[63][59] d[63][60] d[63][61] d[63][62] d[63][63] d[63][64] d[63][65] d[63][66] d[63][67] d[63][68] d[63][69] d[63][70] d[63][71] d[63][72] d[63][73] d[63][74] d[63][75] d[63][76] d[63][77] d[63][78] d[63][79] d[64][0] d[64][1] d[64][2] d[64][3] d[64][4] d[64][5] d[64][6] d[64][7] d[64][8] d[64][9] d[64][10] d[64][11] d[64][12] d[64][13] d[64][14] d[64][15] d[64][16] d[64][17] d[64][18] d[64][19] d[64][20] d[64][21] d[64][22] d[64][23] d[64][24] d[64][25] d[64][26] d[64][27] d[64][28] d[64][29] d[64][30] d[64][31] d[64][32] d[64][33] d[64][34] d[64][35] d[64][36] d[64][37] d[64][38] d[64][39] d[64][40] d[64][41] d[64][42] d[64][43] d[64][44] d[64][45] d[64][46] d[64][47] d[64][48] d[64][49] d[64][50] d[64][51] d[64][52] d[64][53] d[64][54] d[64][55] d[64][56] d[64][57] d[64][58] d[64][59] d[64][60] d[64][61] d[64][62] d[64][63] d[64][64] d[64][65] d[64][66] d[64][67] d[64][68] d[64][69] d[64][70] d[64][71] d[64][72] d[64][73] d[64][74] d[64][75] d[64][76] d[64][77] d[64][78] d[64][79] d[65][0] d[65][1] d[65][2] d[65][3] d[65][4] d[65][5] d[65][6] d[65][7] d[65][8] d[65][9] d[65][10] d[65][11] d[65][12] d[65][13] d[65][14] d[65][15] d[65][16] d[65][17] d[65][18] d[65][19] d[65][20] d[65][21] d[65][22] d[65][23] d[65][24] d[65][25] d[65][26] d[65][27] d[65][28] d[65][29] d[65][30] d[65][31] d[65][32] d[65][33] d[65][34] d[65][35] d[65][36] d[65][37] d[65][38] d[65][39] d[65][40] d[65][41] d[65][42] d[65][43] d[65][44] d[65][45] d[65][46] d[65][47] d[65][48] d[65][49] d[65][50] d[65][51] d[65][52] d[65][53] d[65][54] d[65][55] d[65][56] d[65][57] d[65][58] d[65][59] d[65][60] d[65][61] d[65][62] d[65][63] d[65][64] d[65][65] d[65][66] d[65][67] d[65][68] d[65][69] d[65][70] d[65][71] d[65][72] d[65][73] d[65][74] d[65][75] d[65][76] d[65][77] d[65][78] d[65][79] d[66][0] d[66][1] d[66][2] d[66][3] d[66][4] d[66][5] d[66][6] d[66][7] d[66][8] d[66][9] d[66][10] d[66][11] d[66][12] d[66][13] d[66][14] d[66][15] d[66][16] d[66][17] d[66][18] d[66][19] d[66][20] d[66][21] d[66][22] d[66][23] d[66][24] d[66][25] d[66][26] d[66][27] d[66][28] d[66][29] d[66][30] d[66][31] d[66][32] d[66][33] d[66][34] d[66][35] d[66][36] d[66][37] d[66][38] d[66][39] d[66][40] d[66][41] d[66][42] d[66][43] d[66][44] d[66][45] d[66][46] d[66][47] d[66][48] d[66][49] d[66][50] d[66][51] d[66][52] d[66][53] d[66][54] d[66][55] d[66][56] d[66][57] d[66][58] d[66][59] d[66][60] d[66][61] d[66][62] d[66][63] d[66][64] d[66][65] d[66][66] d[66][67] d[66][68] d[66][69] d[66][70] d[66][71] d[66][72] d[66][73] d[66][74] d[66][75] d[66][76] d[66][77] d[66][78] d[66][79] d[67][0] d[67][1] d[67][2] d[67][3] d[67][4] d[67][5] d[67][6] d[67][7] d[67][8] d[67][9] d[67][10] d[67][11] d[67][12] d[67][13] d[67][14] d[67][15] d[67][16] d[67][17] d[67][18] d[67][19] d[67][20] d[67][21] d[67][22] d[67][23] d[67][24] d[67][25] d[67][26] d[67][27] d[67][28] d[67][29] d[67][30] d[67][31] d[67][32] d[67][33] d[67][34] d[67][35] d[67][36] d[67][37] d[67][38] d[67][39] d[67][40] d[67][41] d[67][42] d[67][43] d[67][44] d[67][45] d[67][46] d[67][47] d[67][48] d[67][49] d[67][50] d[67][51] d[67][52] d[67][53] d[67][54] d[67][55] d[67][56] d[67][57] d[67][58] d[67][59] d[67][60] d[67][61] d[67][62] d[67][63] d[67][64] d[67][65] d[67][66] d[67][67] d[67][68] d[67][69] d[67][70] d[67][71] d[67][72] d[67][73] d[67][74] d[67][75] d[67][76] d[67][77] d[67][78] d[67][79] d[68][0] d[68][1] d[68][2] d[68][3] d[68][4] d[68][5] d[68][6] d[68][7] d[68][8] d[68][9] d[68][10] d[68][11] d[68][12] d[68][13] d[68][14] d[68][15] d[68][16] d[68][17] d[68][18] d[68][19] d[68][20] d[68][21] d[68][22] d[68][23] d[68][24] d[68][25] d[68][26] d[68][27] d[68][28] d[68][29] d[68][30] d[68][31] d[68][32] d[68][33] d[68][34] d[68][35] d[68][36] d[68][37] d[68][38] d[68][39] d[68][40] d[68][41] d[68][42] d[68][43] d[68][44] d[68][45] d[68][46] d[68][47] d[68][48] d[68][49] d[68][50] d[68][51] d[68][52] d[68][53] d[68][54] d[68][55] d[68][56] d[68][57] d[68][58] d[68][59] d[68][60] d[68][61] d[68][62] d[68][63] d[68][64] d[68][65] d[68][66] d[68][67] d[68][68] d[68][69] d[68][70] d[68][71] d[68][72] d[68][73] d[68][74] d[68][75] d[68][76] d[68][77] d[68][78] d[68][79] d[69][0] d[69][1] d[69][2] d[69][3] d[69][4] d[69][5] d[69][6] d[69][7] d[69][8] d[69][9] d[69][10] d[69][11] d[69][12] d[69][13] d[69][14] d[69][15] d[69][16] d[69][17] d[69][18] d[69][19] d[69][20] d[69][21] d[69][22] d[69][23] d[69][24] d[69][25] d[69][26] d[69][27] d[69][28] d[69][29] d[69][30] d[69][31] d[69][32] d[69][33] d[69][34] d[69][35] d[69][36] d[69][37] d[69][38] d[69][39] d[69][40] d[69][41] d[69][42] d[69][43] d[69][44] d[69][45] d[69][46] d[69][47] d[69][48] d[69][49] d[69][50] d[69][51] d[69][52] d[69][53] d[69][54] d[69][55] d[69][56] d[69][57] d[69][58] d[69][59] d[69][60] d[69][61] d[69][62] d[69][63] d[69][64] d[69][65] d[69][66] d[69][67] d[69][68] d[69][69] d[69][70] d[69][71] d[69][72] d[69][73] d[69][74] d[69][75] d[69][76] d[69][77] d[69][78] d[69][79] d[70][0] d[70][1] d[70][2] d[70][3] d[70][4] d[70][5] d[70][6] d[70][7] d[70][8] d[70][9] d[70][10] d[70][11] d[70][12] d[70][13] d[70][14] d[70][15] d[70][16] d[70][17] d[70][18] d[70][19] d[70][20] d[70][21] d[70][22] d[70][23] d[70][24] d[70][25] d[70][26] d[70][27] d[70][28] d[70][29] d[70][30] d[70][31] d[70][32] d[70][33] d[70][34] d[70][35] d[70][36] d[70][37] d[70][38] d[70][39] d[70][40] d[70][41] d[70][42] d[70][43] d[70][44] d[70][45] d[70][46] d[70][47] d[70][48] d[70][49] d[70][50] d[70][51] d[70][52] d[70][53] d[70][54] d[70][55] d[70][56] d[70][57] d[70][58] d[70][59] d[70][60] d[70][61] d[70][62] d[70][63] d[70][64] d[70][65] d[70][66] d[70][67] d[70][68] d[70][69] d[70][70] d[70][71] d[70][72] d[70][73] d[70][74] d[70][75] d[70][76] d[70][77] d[70][78] d[70][79] d[71][0] d[71][1] d[71][2] d[71][3] d[71][4] d[71][5] d[71][6] d[71][7] d[71][8] d[71][9] d[71][10] d[71][11] d[71][12] d[71][13] d[71][14] d[71][15] d[71][16] d[71][17] d[71][18] d[71][19] d[71][20] d[71][21] d[71][22] d[71][23] d[71][24] d[71][25] d[71][26] d[71][27] d[71][28] d[71][29] d[71][30] d[71][31] d[71][32] d[71][33] d[71][34] d[71][35] d[71][36] d[71][37] d[71][38] d[71][39] d[71][40] d[71][41] d[71][42] d[71][43] d[71][44] d[71][45] d[71][46] d[71][47] d[71][48] d[71][49] d[71][50] d[71][51] d[71][52] d[71][53] d[71][54] d[71][55] d[71][56] d[71][57] d[71][58] d[71][59] d[71][60] d[71][61] d[71][62] d[71][63] d[71][64] d[71][65] d[71][66] d[71][67] d[71][68] d[71][69] d[71][70] d[71][71] d[71][72] d[71][73] d[71][74] d[71][75] d[71][76] d[71][77] d[71][78] d[71][79] d[72][0] d[72][1] d[72][2] d[72][3] d[72][4] d[72][5] d[72][6] d[72][7] d[72][8] d[72][9] d[72][10] d[72][11] d[72][12] d[72][13] d[72][14] d[72][15] d[72][16] d[72][17] d[72][18] d[72][19] d[72][20] d[72][21] d[72][22] d[72][23] d[72][24] d[72][25] d[72][26] d[72][27] d[72][28] d[72][29] d[72][30] d[72][31] d[72][32] d[72][33] d[72][34] d[72][35] d[72][36] d[72][37] d[72][38] d[72][39] d[72][40] d[72][41] d[72][42] d[72][43] d[72][44] d[72][45] d[72][46] d[72][47] d[72][48] d[72][49] d[72][50] d[72][51] d[72][52] d[72][53] d[72][54] d[72][55] d[72][56] d[72][57] d[72][58] d[72][59] d[72][60] d[72][61] d[72][62] d[72][63] d[72][64] d[72][65] d[72][66] d[72][67] d[72][68] d[72][69] d[72][70] d[72][71] d[72][72] d[72][73] d[72][74] d[72][75] d[72][76] d[72][77] d[72][78] d[72][79] d[73][0] d[73][1] d[73][2] d[73][3] d[73][4] d[73][5] d[73][6] d[73][7] d[73][8] d[73][9] d[73][10] d[73][11] d[73][12] d[73][13] d[73][14] d[73][15] d[73][16] d[73][17] d[73][18] d[73][19] d[73][20] d[73][21] d[73][22] d[73][23] d[73][24] d[73][25] d[73][26] d[73][27] d[73][28] d[73][29] d[73][30] d[73][31] d[73][32] d[73][33] d[73][34] d[73][35] d[73][36] d[73][37] d[73][38] d[73][39] d[73][40] d[73][41] d[73][42] d[73][43] d[73][44] d[73][45] d[73][46] d[73][47] d[73][48] d[73][49] d[73][50] d[73][51] d[73][52] d[73][53] d[73][54] d[73][55] d[73][56] d[73][57] d[73][58] d[73][59] d[73][60] d[73][61] d[73][62] d[73][63] d[73][64] d[73][65] d[73][66] d[73][67] d[73][68] d[73][69] d[73][70] d[73][71] d[73][72] d[73][73] d[73][74] d[73][75] d[73][76] d[73][77] d[73][78] d[73][79] d[74][0] d[74][1] d[74][2] d[74][3] d[74][4] d[74][5] d[74][6] d[74][7] d[74][8] d[74][9] d[74][10] d[74][11] d[74][12] d[74][13] d[74][14] d[74][15] d[74][16] d[74][17] d[74][18] d[74][19] d[74][20] d[74][21] d[74][22] d[74][23] d[74][24] d[74][25] d[74][26] d[74][27] d[74][28] d[74][29] d[74][30] d[74][31] d[74][32] d[74][33] d[74][34] d[74][35] d[74][36] d[74][37] d[74][38] d[74][39] d[74][40] d[74][41] d[74][42] d[74][43] d[74][44] d[74][45] d[74][46] d[74][47] d[74][48] d[74][49] d[74][50] d[74][51] d[74][52] d[74][53] d[74][54] d[74][55] d[74][56] d[74][57] d[74][58] d[74][59] d[74][60] d[74][61] d[74][62] d[74][63] d[74][64] d[74][65] d[74][66] d[74][67] d[74][68] d[74][69] d[74][70] d[74][71] d[74][72] d[74][73] d[74][74] d[74][75] d[74][76] d[74][77] d[74][78] d[74][79] d[75][0] d[75][1] d[75][2] d[75][3] d[75][4] d[75][5] d[75][6] d[75][7] d[75][8] d[75][9] d[75][10] d[75][11] d[75][12] d[75][13] d[75][14] d[75][15] d[75][16] d[75][17] d[75][18] d[75][19] d[75][20] d[75][21] d[75][22] d[75][23] d[75][24] d[75][25] d[75][26] d[75][27] d[75][28] d[75][29] d[75][30] d[75][31] d[75][32] d[75][33] d[75][34] d[75][35] d[75][36] d[75][37] d[75][38] d[75][39] d[75][40] d[75][41] d[75][42] d[75][43] d[75][44] d[75][45] d[75][46] d[75][47] d[75][48] d[75][49] d[75][50] d[75][51] d[75][52] d[75][53] d[75][54] d[75][55] d[75][56] d[75][57] d[75][58] d[75][59] d[75][60] d[75][61] d[75][62] d[75][63] d[75][64] d[75][65] d[75][66] d[75][67] d[75][68] d[75][69] d[75][70] d[75][71] d[75][72] d[75][73] d[75][74] d[75][75] d[75][76] d[75][77] d[75][78] d[75][79] d[76][0] d[76][1] d[76][2] d[76][3] d[76][4] d[76][5] d[76][6] d[76][7] d[76][8] d[76][9] d[76][10] d[76][11] d[76][12] d[76][13] d[76][14] d[76][15] d[76][16] d[76][17] d[76][18] d[76][19] d[76][20] d[76][21] d[76][22] d[76][23] d[76][24] d[76][25] d[76][26] d[76][27] d[76][28] d[76][29] d[76][30] d[76][31] d[76][32] d[76][33] d[76][34] d[76][35] d[76][36] d[76][37] d[76][38] d[76][39] d[76][40] d[76][41] d[76][42] d[76][43] d[76][44] d[76][45] d[76][46] d[76][47] d[76][48] d[76][49] d[76][50] d[76][51] d[76][52] d[76][53] d[76][54] d[76][55] d[76][56] d[76][57] d[76][58] d[76][59] d[76][60] d[76][61] d[76][62] d[76][63] d[76][64] d[76][65] d[76][66] d[76][67] d[76][68] d[76][69] d[76][70] d[76][71] d[76][72] d[76][73] d[76][74] d[76][75] d[76][76] d[76][77] d[76][78] d[76][79] d[77][0] d[77][1] d[77][2] d[77][3] d[77][4] d[77][5] d[77][6] d[77][7] d[77][8] d[77][9] d[77][10] d[77][11] d[77][12] d[77][13] d[77][14] d[77][15] d[77][16] d[77][17] d[77][18] d[77][19] d[77][20] d[77][21] d[77][22] d[77][23] d[77][24] d[77][25] d[77][26] d[77][27] d[77][28] d[77][29] d[77][30] d[77][31] d[77][32] d[77][33] d[77][34] d[77][35] d[77][36] d[77][37] d[77][38] d[77][39] d[77][40] d[77][41] d[77][42] d[77][43] d[77][44] d[77][45] d[77][46] d[77][47] d[77][48] d[77][49] d[77][50] d[77][51] d[77][52] d[77][53] d[77][54] d[77][55] d[77][56] d[77][57] d[77][58] d[77][59] d[77][60] d[77][61] d[77][62] d[77][63] d[77][64] d[77][65] d[77][66] d[77][67] d[77][68] d[77][69] d[77][70] d[77][71] d[77][72] d[77][73] d[77][74] d[77][75] d[77][76] d[77][77] d[77][78] d[77][79] d[78][0] d[78][1] d[78][2] d[78][3] d[78][4] d[78][5] d[78][6] d[78][7] d[78][8] d[78][9] d[78][10] d[78][11] d[78][12] d[78][13] d[78][14] d[78][15] d[78][16] d[78][17] d[78][18] d[78][19] d[78][20] d[78][21] d[78][22] d[78][23] d[78][24] d[78][25] d[78][26] d[78][27] d[78][28] d[78][29] d[78][30] d[78][31] d[78][32] d[78][33] d[78][34] d[78][35] d[78][36] d[78][37] d[78][38] d[78][39] d[78][40] d[78][41] d[78][42] d[78][43] d[78][44] d[78][45] d[78][46] d[78][47] d[78][48] d[78][49] d[78][50] d[78][51] d[78][52] d[78][53] d[78][54] d[78][55] d[78][56] d[78][57] d[78][58] d[78][59] d[78][60] d[78][61] d[78][62] d[78][63] d[78][64] d[78][65] d[78][66] d[78][67] d[78][68] d[78][69] d[78][70] d[78][71] d[78][72] d[78][73] d[78][74] d[78][75] d[78][76] d[78][77] d[78][78] d[78][79] d[79][0] d[79][1] d[79][2] d[79][3] d[79][4] d[79][5] d[79][6] d[79][7] d[79][8] d[79][9] d[79][10] d[79][11] d[79][12] d[79][13] d[79][14] d[79][15] d[79][16] d[79][17] d[79][18] d[79][19] d[79][20] d[79][21] d[79][22] d[79][23] d[79][24] d[79][25] d[79][26] d[79][27] d[79][28] d[79][29] d[79][30] d[79][31] d[79][32] d[79][33] d[79][34] d[79][35] d[79][36] d[79][37] d[79][38] d[79][39] d[79][40] d[79][41] d[79][42] d[79][43] d[79][44] d[79][45] d[79][46] d[79][47] d[79][48] d[79][49] d[79][50] d[79][51] d[79][52] d[79][53] d[79][54] d[79][55] d[79][56] d[79][57] d[79][58] d[79][59] d[79][60] d[79][61] d[79][62] d[79][63] d[79][64] d[79][65] d[79][66] d[79][67] d[79][68] d[79][69] d[79][70] d[79][71] d[79][72] d[79][73] d[79][74] d[79][75] d[79][76] d[79][77] d[79][78] d[79][79] </list>
2400.04/2400.80	v <values>53 69 68 47 46 18 67 55 36 0 60 19 66 7 38 5 74 79 25 1 27 33 34 4 8 73 9 51 6 17 43 11 15 56 57 77 20 54 50 58 22 30 42 21 48 64 12 76 29 37 23 70 71 62 26 44 75 59 24 32 28 78 3 61 40 10 65 31 39 49 16 13 35 52 45 72 2 63 41 14 * 67 5 73 58 99 89 50 78 8 49 75 26 55 54 42 84 47 63 2 83 48 49 1 35 8 46 55 85 84 31 53 34 35 31 58 1 37 59 37 97 27 21 91 86 35 16 91 51 26 26 17 17 20 17 * 80 42 25 24 35 4 43 15 32 78 74 42 71 82 74 84 6 13 77 67 3 41 85 47 * * 89 73 57 91 54 64 * 2 0 63 85 30 57 1 33 81 4 59 60 81 17 40 84 3 83 70 67 5 76 84 23 64 6 57 89 52 50 52 55 64 2 6 78 8 53 27 27 32 1 60 22 4 71 86 26 51 7 1 77 20 7 78 51 88 91 30 70 61 82 9 56 81 89 45 21 2 2 17 * * * 44 94 24 22 96 46 85 19 40 31 3 18 33 62 50 92 44 26 88 5 71 82 32 94 * 20 12 85 88 74 54 53 18 67 73 46 52 3 84 21 57 45 43 43 21 72 41 26 52 28 63 79 66 74 85 18 44 78 10 95 94 49 86 * 70 24 47 55 13 8 93 1 85 3 49 69 35 * * * * 14 0 53 72 93 11 48 34 77 80 21 81 57 71 64 56 21 38 33 20 64 56 21 88 68 96 27 89 36 19 22 58 97 81 97 0 17 61 60 61 60 46 97 87 53 87 70 51 24 63 68 12 63 44 1 93 6 66 91 8 90 87 51 61 91 99 39 30 60 29 59 56 6 38 99 78 * * * * * 44 10 24 17 71 52 12 48 35 85 26 37 64 34 99 73 98 25 0 90 17 94 5 33 74 36 46 68 96 62 57 2 90 9 71 99 69 25 65 31 90 38 96 11 9 62 3 20 29 82 63 69 12 33 57 87 76 83 30 22 61 69 71 13 80 75 9 46 90 62 87 21 69 50 68 * * * * * * 12 98 65 35 33 29 33 2 51 24 45 3 72 96 31 74 74 26 40 44 34 33 12 47 73 29 41 61 46 88 27 80 80 15 10 68 5 * 39 84 23 78 37 82 78 45 83 6 49 48 51 4 55 5 63 31 29 66 28 79 82 36 27 53 15 79 57 43 23 85 38 77 85 58 * * * * * * * 63 85 27 37 48 47 56 14 12 42 96 78 89 2 15 19 71 46 45 67 23 12 83 74 53 41 92 2 50 27 72 10 89 55 83 69 69 81 17 30 81 88 74 42 64 51 16 26 5 87 9 94 9 95 10 1 58 58 85 91 67 23 92 81 46 94 99 96 44 33 86 95 80 * * * * * * * * 1 74 15 54 65 91 28 56 64 73 75 72 60 48 4 9 69 23 61 16 47 44 91 47 82 88 48 49 * 82 96 4 94 80 3 35 23 8 96 23 52 74 29 76 85 5 90 1 96 47 44 48 59 74 37 35 21 90 60 69 33 87 39 83 14 51 55 30 8 37 44 5 * * * * * * * * * 59 50 64 9 34 4 99 89 81 70 29 85 41 67 90 * 44 20 97 57 97 38 93 67 87 16 0 33 93 57 17 94 3 27 98 57 20 42 2 10 38 32 17 35 25 40 30 5 9 65 17 52 42 15 7 28 28 14 76 91 85 41 3 31 9 45 1 85 13 21 26 * * * * * * * * * * 40 9 36 25 76 41 11 58 26 21 11 86 45 56 10 35 4 6 6 89 61 6 79 30 89 61 1 77 82 76 84 26 36 85 29 50 44 21 82 18 12 1 15 56 91 36 20 * 0 56 35 80 82 93 18 63 4 69 39 82 0 40 91 71 21 11 95 1 57 75 * * * * * * * * * * * 79 83 13 98 * 55 68 32 86 66 44 25 17 33 96 0 33 28 29 74 14 53 16 47 53 18 71 24 30 56 55 35 58 68 65 13 9 55 84 33 80 38 14 6 92 99 73 30 19 98 48 53 84 98 76 23 37 17 24 88 5 97 78 71 87 87 92 91 93 * * * * * * * * * * * * 21 37 66 58 16 89 80 74 81 9 35 79 36 94 53 82 99 55 40 94 29 19 67 89 42 75 33 42 46 1 42 34 27 87 56 30 54 8 71 97 32 79 15 6 2 63 12 84 21 9 3 10 50 80 13 72 94 29 75 62 21 54 30 73 41 93 37 49 * * * * * * * * * * * * * 42 96 67 77 99 56 14 28 10 20 82 54 77 96 81 34 60 97 27 31 42 87 13 66 61 2 39 40 57 72 37 18 45 26 22 7 32 88 96 26 97 56 97 46 73 34 32 48 54 75 94 39 49 60 89 56 36 18 39 77 92 68 57 68 54 62 61 * * * * * * * * * * * * * * 42 59 3 88 60 94 48 27 49 14 28 42 81 22 56 37 69 58 17 74 82 37 3 56 30 96 20 42 16 43 40 48 99 25 10 50 68 60 81 4 23 97 17 2 35 82 40 26 7 4 33 17 29 83 26 55 57 90 15 76 13 37 58 35 23 70 * * * * * * * * * * * * * * * 45 27 21 31 77 5 3 3 1 6 97 39 13 83 94 79 44 6 70 81 22 6 87 90 95 72 24 26 10 26 17 71 68 58 57 20 44 25 46 87 73 86 11 33 45 12 74 77 56 84 30 47 42 75 17 95 27 21 62 91 29 7 69 58 92 * * * * * * * * * * * * * * * * 67 56 13 44 22 32 3 71 97 86 46 71 72 49 75 12 1 27 56 10 62 91 22 28 94 18 79 49 39 35 91 24 70 34 92 71 72 69 45 83 67 64 63 44 69 46 36 69 96 62 41 1 18 66 22 63 72 58 43 26 40 93 82 70 * * * * * * * * * * * * * * * * * 83 79 0 53 28 27 34 62 75 89 71 52 61 32 85 67 54 90 55 * 62 22 66 33 96 98 35 95 62 49 1 81 99 88 26 39 36 47 1 50 99 40 28 55 99 97 25 54 98 97 78 80 26 99 37 65 37 87 15 30 36 99 59 * * * * * * * * * * * * * * * * * * 53 25 43 55 15 87 85 71 30 92 66 58 24 12 27 28 50 43 22 89 51 54 43 30 79 11 17 19 63 12 60 29 60 76 20 56 39 67 16 61 74 94 69 82 93 9 44 70 13 22 92 28 52 84 24 3 19 23 61 45 55 34 * * * * * * * * * * * * * * * * * * * 14 19 32 33 70 58 9 54 89 47 45 2 95 57 76 52 40 79 45 59 40 57 43 29 9 67 25 3 86 69 76 43 92 98 6 18 26 98 44 44 29 69 18 66 10 * 99 75 64 89 33 44 34 25 45 84 29 30 35 49 8 * * * * * * * * * * * * * * * * * * * * 77 76 91 72 90 6 51 4 85 83 79 48 41 74 46 62 45 60 60 13 40 37 94 65 70 89 29 41 53 11 54 22 57 77 71 2 62 20 83 87 36 46 76 4 87 3 48 26 32 99 15 90 13 56 10 63 21 15 67 66 * * * * * * * * * * * * * * * * * * * * * 81 80 37 43 87 78 27 71 7 91 81 28 94 44 40 54 30 21 97 6 28 46 75 58 99 18 76 80 26 27 34 76 36 12 49 98 94 42 62 56 70 23 5 3 49 83 78 62 3 76 75 13 57 27 64 55 21 26 18 * * * * * * * * * * * * * * * * * * * * * * 35 2 53 38 80 58 15 94 * 67 1 3 92 22 53 15 11 92 22 91 31 80 84 16 97 86 16 65 6 92 45 98 94 30 94 71 61 83 49 0 82 4 29 29 78 79 70 65 57 80 7 44 26 61 40 93 13 9 * * * * * * * * * * * * * * * * * * * * * * * 52 8 77 72 10 99 53 93 54 54 13 46 77 17 77 91 80 19 83 90 34 46 93 52 15 40 91 41 75 24 3 1 12 23 45 67 46 72 36 98 67 38 60 54 8 60 98 79 84 91 46 65 15 69 14 24 3 * * * * * * * * * * * * * * * * * * * * * * * * 20 92 74 84 35 42 19 50 51 21 12 26 98 55 66 65 35 93 94 60 12 2 37 31 67 26 9 93 27 84 21 54 39 7 96 39 37 1 42 51 93 49 27 93 68 11 70 79 26 80 37 93 76 87 7 19 * * * * * * * * * * * * * * * * * * * * * * * * * 92 95 60 69 43 91 53 86 54 87 48 53 47 19 12 59 64 81 34 49 4 62 74 22 92 43 8 29 12 62 37 62 39 50 68 9 22 84 54 95 55 88 46 13 46 43 22 30 93 78 10 30 10 76 44 * * * * * * * * * * * * * * * * * * * * * * * * * * 55 19 64 88 18 18 91 45 79 5 34 37 12 51 44 47 35 85 31 23 35 3 48 41 1 21 19 57 96 13 8 5 38 28 85 41 32 70 22 75 40 20 63 6 77 66 73 32 21 80 25 91 64 54 * * * * * * * * * * * * * * * * * * * * * * * * * * * 13 53 61 32 3 69 8 92 84 98 97 61 33 33 50 19 94 21 44 30 99 78 57 77 28 22 73 71 87 11 73 31 56 8 56 6 16 55 23 55 76 68 20 29 12 26 5 41 78 68 74 71 98 * * * * * * * * * * * * * * * * * * * * * * * * * * * * 99 74 44 63 59 79 77 46 21 39 67 64 63 3 21 91 18 84 83 49 64 42 22 88 52 * 2 0 69 57 27 25 6 11 2 90 75 63 70 10 89 71 45 14 6 57 57 27 44 66 85 31 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 38 46 74 64 90 24 68 51 65 75 79 76 99 8 87 52 4 43 49 81 84 71 24 94 87 9 52 92 70 47 56 20 65 43 19 25 48 21 45 61 28 97 94 64 6 * 10 66 80 41 29 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 64 85 24 64 68 54 29 4 32 38 7 47 25 74 54 85 79 23 98 20 30 55 9 39 13 12 * 35 64 60 96 81 82 11 4 * 79 0 42 44 20 28 6 5 44 49 8 69 30 62 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 84 73 13 69 75 45 50 97 80 17 18 80 13 75 85 36 81 58 35 10 25 23 * 21 51 32 * 9 88 45 23 60 72 26 3 11 2 73 81 49 25 54 21 53 77 17 18 62 64 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 59 17 66 64 79 20 23 60 85 38 55 4 89 5 44 24 56 53 31 63 1 27 * 76 59 86 54 37 11 81 0 52 58 90 37 95 68 5 48 8 88 19 19 26 91 * 98 52 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 69 3 5 7 92 18 24 71 68 86 26 12 98 64 63 24 44 36 56 15 98 16 15 10 94 * 81 1 20 29 66 30 66 30 56 46 65 79 55 22 93 81 63 85 6 0 99 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 38 28 23 50 75 61 24 87 45 62 80 52 27 18 99 62 15 16 8 31 2 25 14 28 11 88 0 49 31 46 0 74 79 89 65 10 0 66 54 59 42 51 16 48 98 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 59 47 87 53 48 32 14 72 31 41 54 48 79 53 63 69 92 1 58 39 69 0 23 72 58 25 88 61 84 25 66 17 12 31 96 81 16 69 44 92 32 1 11 1 44 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 31 36 66 36 3 84 54 91 47 11 55 20 43 8 30 90 85 73 23 75 41 18 81 41 11 66 50 17 21 10 22 9 10 48 31 1 38 98 50 32 33 3 4 99 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 24 76 80 90 19 29 0 39 13 63 52 49 12 9 64 80 97 37 9 18 22 2 29 71 52 3 89 18 28 99 9 9 * 56 63 79 69 81 50 56 52 80 93 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 62 90 6 3 21 56 77 54 91 10 36 2 2 88 49 22 49 18 74 31 59 95 48 42 65 80 30 17 75 93 60 88 87 56 73 32 5 37 62 33 31 96 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 84 14 75 5 77 73 43 60 92 53 8 3 25 36 64 48 * 92 41 * 29 85 51 36 32 80 55 46 12 7 40 15 24 12 15 12 22 82 8 84 6 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 9 91 25 45 26 25 12 * * 83 28 3 0 70 61 18 1 13 91 17 58 13 5 90 89 62 76 23 46 68 54 67 97 77 13 28 91 4 30 86 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 72 24 28 85 93 78 48 19 2 22 81 58 48 73 85 30 39 84 70 1 80 67 76 95 99 47 79 38 78 93 56 5 11 89 29 53 9 93 53 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 84 47 57 76 69 14 81 17 86 74 13 62 15 5 86 48 0 36 79 7 28 9 95 33 99 10 27 4 62 68 66 37 90 17 52 70 51 95 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 85 37 69 31 96 39 1 60 91 43 91 41 59 4 15 27 19 98 67 86 56 5 41 54 67 48 17 90 92 89 31 47 24 58 15 22 8 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 42 24 2 72 35 11 21 50 87 86 49 41 20 25 91 61 37 86 51 7 1 68 6 47 49 33 89 11 75 12 22 63 39 58 47 47 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 15 26 70 97 21 30 84 93 52 68 39 71 94 22 76 36 27 57 79 1 34 84 74 81 10 48 0 18 92 29 25 67 96 19 8 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 17 11 2 45 73 26 30 19 21 23 14 82 57 75 25 67 28 31 81 73 93 25 12 29 65 81 3 77 75 63 7 7 17 94 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 87 50 28 3 26 37 7 2 99 33 17 32 20 89 48 48 35 53 87 59 66 71 31 18 72 81 43 98 93 13 96 87 32 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 96 53 68 67 17 57 32 69 8 69 91 19 66 85 39 3 93 52 23 99 29 26 70 0 25 72 21 * 97 54 64 25 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 67 4 21 50 74 71 31 93 40 90 83 41 12 62 78 4 23 8 99 30 56 6 33 23 77 92 1 85 23 4 4 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 41 70 32 12 31 29 6 70 78 66 55 73 17 83 58 44 19 25 75 30 82 32 46 91 88 48 72 84 10 36 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 22 41 55 17 38 78 61 88 76 56 9 39 21 75 54 89 32 61 49 60 0 55 17 99 66 77 27 46 34 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 55 16 7 3 17 3 17 62 90 85 92 72 26 13 29 89 46 89 20 89 28 * 0 63 90 10 80 45 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 18 70 86 36 84 85 62 23 22 69 58 96 71 34 29 65 63 33 96 79 94 78 20 45 89 40 51 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 45 53 82 9 30 44 46 35 82 11 50 91 87 * 84 26 62 73 72 56 72 78 45 64 40 16 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 51 30 73 24 79 48 35 42 19 57 1 32 87 97 12 41 1 97 66 38 35 58 13 26 86 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 30 91 26 49 59 87 62 63 19 4 79 98 17 61 82 2 96 16 51 99 68 52 95 73 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 29 29 94 54 30 5 94 83 53 25 45 81 32 5 * 85 31 38 55 43 74 47 57 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 32 45 76 73 34 42 22 30 27 72 60 54 80 2 32 84 72 48 39 54 40 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 71 35 85 15 55 21 69 9 13 92 2 37 10 68 38 79 28 50 3 34 39 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 14 80 66 52 13 40 95 95 3 49 51 53 86 36 84 82 53 92 3 80 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 57 62 28 31 63 18 88 7 26 25 62 89 33 22 9 19 79 31 52 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 82 49 79 84 13 16 58 17 33 8 76 80 28 20 35 33 91 87 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 96 26 0 31 76 44 62 94 62 35 2 62 62 75 48 76 59 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 78 0 90 81 15 15 13 98 63 78 28 3 72 92 44 53 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 66 17 70 30 67 94 61 27 20 69 28 46 90 20 94 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 38 99 88 28 59 80 95 10 63 46 78 62 9 20 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 67 23 72 88 86 72 41 40 87 27 48 23 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 66 87 60 51 91 40 3 68 34 87 91 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 66 * 32 81 55 45 28 49 98 66 8 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 84 97 97 10 65 2 26 * 82 40 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 12 34 93 56 20 84 11 12 7 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 40 10 15 30 59 47 27 81 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 43 62 54 12 27 70 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 

ERROR: no instantiation found

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-4240505-1500638336/watcher-4240505-1500638336 -o /tmp/evaluation-result-4240505-1500638336/solver-4240505-1500638336 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1500635929-6889 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4240505-1500638336.xml 

pid=7304
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: 1.92 2.00 2.04 3/186 7307
/proc/meminfo: memFree=31649812/32770624 swapFree=6716/331424
[pid=7307] ppid=7304 vsize=27252 CPUtime=0 cores=0,2,4,6
/proc/7307/stat : 7307 (cosoco) R 7304 7307 4933 0 -1 4202496 1010 0 0 0 0 0 0 0 20 0 1 0 17273590 27906048 840 33554432000 4194304 5970956 140730703492640 140730703489288 139871286258661 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34222080 140730703496385 140730703496515 140730703496515 140730703499214 0
/proc/7307/statm: 6813 840 703 434 0 177 0

[startup+0.100119 s]
/proc/loadavg: 1.92 2.00 2.04 3/186 7307
/proc/meminfo: memFree=31649812/32770624 swapFree=6716/331424
[pid=7307] ppid=7304 vsize=35884 CPUtime=0.09 cores=0,2,4,6
/proc/7307/stat : 7307 (cosoco) R 7304 7307 4933 0 -1 4202496 3166 0 0 0 9 0 0 0 20 0 1 0 17273590 36745216 2947 33554432000 4194304 5970956 140730703492640 140730703489240 139871287179152 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34222080 140730703496385 140730703496515 140730703496515 140730703499214 0
/proc/7307/statm: 8971 2947 715 434 0 2335 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35884

[startup+0.20033 s]
/proc/loadavg: 1.92 2.00 2.04 3/186 7307
/proc/meminfo: memFree=31649812/32770624 swapFree=6716/331424
[pid=7307] ppid=7304 vsize=112876 CPUtime=0.19 cores=0,2,4,6
/proc/7307/stat : 7307 (cosoco) R 7304 7307 4933 0 -1 4202496 22412 0 0 0 17 2 0 0 20 0 1 0 17273590 115585024 22219 33554432000 4194304 5970956 140730703492640 140730703487096 139871286306720 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34222080 140730703496385 140730703496515 140730703496515 140730703499214 0
/proc/7307/statm: 28252 22219 722 434 0 21616 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 112876

[startup+0.300291 s]
/proc/loadavg: 1.92 2.00 2.04 3/186 7307
/proc/meminfo: memFree=31649812/32770624 swapFree=6716/331424
[pid=7307] ppid=7304 vsize=117656 CPUtime=0.28 cores=0,2,4,6
/proc/7307/stat : 7307 (cosoco) R 7304 7307 4933 0 -1 4202496 23683 0 0 0 26 2 0 0 20 0 1 0 17273590 120479744 23451 33554432000 4194304 5970956 140730703492640 140730703489240 5109873 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34222080 140730703496385 140730703496515 140730703496515 140730703499214 0
/proc/7307/statm: 29414 23451 722 434 0 22778 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 117656

[startup+0.700231 s]
/proc/loadavg: 1.92 2.00 2.04 3/186 7307
/proc/meminfo: memFree=31649812/32770624 swapFree=6716/331424
[pid=7307] ppid=7304 vsize=279524 CPUtime=0.69 cores=0,2,4,6
/proc/7307/stat : 7307 (cosoco) R 7304 7307 4933 0 -1 4202496 64204 0 0 0 62 7 0 0 20 0 1 0 17273590 286232576 63974 33554432000 4194304 5970956 140730703492640 140730703479960 4934354 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34222080 140730703496385 140730703496515 140730703496515 140730703499214 0
/proc/7307/statm: 69881 63974 748 434 0 63245 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 279524

[startup+1.50024 s]
/proc/loadavg: 1.92 2.00 2.04 3/187 7308
/proc/meminfo: memFree=31396308/32770624 swapFree=6716/331248
[pid=7307] ppid=7304 vsize=279524 CPUtime=1.49 cores=0,2,4,6
/proc/7307/stat : 7307 (cosoco) R 7304 7307 4933 0 -1 4202496 64205 0 0 0 142 7 0 0 20 0 1 0 17273590 286232576 63974 33554432000 4194304 5970956 140730703492640 140730703479960 4934327 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34222080 140730703496385 140730703496515 140730703496515 140730703499214 0
/proc/7307/statm: 69881 63974 748 434 0 63245 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 279524

[startup+3.10024 s]
/proc/loadavg: 1.92 2.00 2.04 3/187 7308
/proc/meminfo: memFree=31396060/32770624 swapFree=6716/331248
[pid=7307] ppid=7304 vsize=279664 CPUtime=3.09 cores=0,2,4,6
/proc/7307/stat : 7307 (cosoco) R 7304 7307 4933 0 -1 4202496 106591 0 0 0 300 9 0 0 20 0 1 0 17273590 286375936 64008 33554432000 4194304 5970956 140730703492640 140730703489592 4934651 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34222080 140730703496385 140730703496515 140730703496515 140730703499214 0
/proc/7307/statm: 69916 64008 779 434 0 63280 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 279664

[startup+6.30024 s]
/proc/loadavg: 1.93 2.00 2.04 3/187 7308
/proc/meminfo: memFree=31391400/32770624 swapFree=6716/331260
[pid=7307] ppid=7304 vsize=286000 CPUtime=6.28 cores=0,2,4,6
/proc/7307/stat : 7307 (cosoco) R 7304 7307 4933 0 -1 4202496 143755 0 0 0 617 11 0 0 20 0 1 0 17273590 292864000 65580 33554432000 4194304 5970956 140730703492640 140730703489352 139871286258661 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34222080 140730703496385 140730703496515 140730703496515 140730703499214 0
/proc/7307/statm: 71500 65580 779 434 0 64864 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 286000

[startup+12.7002 s]
/proc/loadavg: 1.93 2.00 2.04 3/187 7308
/proc/meminfo: memFree=31337436/32770624 swapFree=6716/331268
[pid=7307] ppid=7304 vsize=337808 CPUtime=12.68 cores=0,2,4,6
/proc/7307/stat : 7307 (cosoco) R 7304 7307 4933 0 -1 4202496 205877 0 0 0 1252 16 0 0 20 0 1 0 17273590 345915392 78390 33554432000 4194304 5970956 140730703492640 140730703479944 4933151 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34222080 140730703496385 140730703496515 140730703496515 140730703499214 0
/proc/7307/statm: 84452 78390 781 434 0 77816 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 337808

[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 2.04 3/187 7308
/proc/meminfo: memFree=31324852/32770624 swapFree=6716/331272
[pid=7307] ppid=7304 vsize=349700 CPUtime=25.47 cores=0,2,4,6
/proc/7307/stat : 7307 (cosoco) R 7304 7307 4933 0 -1 4202496 271982 0 0 0 2527 20 0 0 20 0 1 0 17273590 358092800 81399 33554432000 4194304 5970956 140730703492640 140730703489352 4934366 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34222080 140730703496385 140730703496515 140730703496515 140730703499214 0
/proc/7307/statm: 87425 81399 781 434 0 80789 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 349700

[startup+51.1003 s]
/proc/loadavg: 1.97 2.00 2.04 3/187 7308
/proc/meminfo: memFree=31315256/32770624 swapFree=6716/331292
[pid=7307] ppid=7304 vsize=358136 CPUtime=51.05 cores=0,2,4,6
/proc/7307/stat : 7307 (cosoco) R 7304 7307 4933 0 -1 4202496 332337 0 0 0 5082 23 0 0 20 0 1 0 17273590 366731264 83458 33554432000 4194304 5970956 140730703492640 140730703489512 4934366 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34222080 140730703496385 140730703496515 140730703496515 140730703499214 0
/proc/7307/statm: 89534 83458 781 434 0 82898 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 358136

[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/187 7316
/proc/meminfo: memFree=31295184/32770624 swapFree=6716/331336
[pid=7307] ppid=7304 vsize=368420 CPUtime=102.23 cores=0,2,4,6
/proc/7307/stat : 7307 (cosoco) R 7304 7307 4933 0 -1 4202496 395328 0 0 0 10196 27 0 0 20 0 1 0 17273590 377262080 86010 33554432000 4194304 5970956 140730703492640 140730703489352 4934366 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34222080 140730703496385 140730703496515 140730703496515 140730703499214 0
/proc/7307/statm: 92105 86010 781 434 0 85469 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 368420

[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/187 7339
/proc/meminfo: memFree=31292240/32770624 swapFree=6716/331380
[pid=7307] ppid=7304 vsize=372152 CPUtime=162.2 cores=0,2,4,6
/proc/7307/stat : 7307 (cosoco) R 7304 7307 4933 0 -1 4202496 437781 0 0 0 16190 30 0 0 20 0 1 0 17273590 381083648 86954 33554432000 4194304 5970956 140730703492640 140730703489512 5047532 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34222080 140730703496385 140730703496515 140730703496515 140730703499214 0
/proc/7307/statm: 93038 86954 781 434 0 86402 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 372152

[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 7340
/proc/meminfo: memFree=31290176/32770624 swapFree=6716/331416
[pid=7307] ppid=7304 vsize=373392 CPUtime=222.17 cores=0,2,4,6
/proc/7307/stat : 7307 (cosoco) R 7304 7307 4933 0 -1 4202496 446331 0 0 0 22187 30 0 0 20 0 1 0 17273590 382353408 87424 33554432000 4194304 5970956 140730703492640 140730703489352 5047048 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34222080 140730703496385 140730703496515 140730703496515 140730703499214 0
/proc/7307/statm: 93348 87424 781 434 0 86712 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 373392

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 7341
/proc/meminfo: memFree=31290204/32770624 swapFree=6716/331444
[pid=7307] ppid=7304 vsize=373524 CPUtime=282.15 cores=0,2,4,6
/proc/7307/stat : 7307 (cosoco) R 7304 7307 4933 0 -1 4202496 447271 0 0 0 28185 30 0 0 20 0 1 0 17273590 382488576 87479 33554432000 4194304 5970956 140730703492640 140730703489512 5045736 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34222080 140730703496385 140730703496515 140730703496515 140730703499214 0
/proc/7307/statm: 93381 87479 781 434 0 86745 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 373524

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 7342
/proc/meminfo: memFree=31290908/32770624 swapFree=6716/331476
[pid=7307] ppid=7304 vsize=373524 CPUtime=342.14 cores=0,2,4,6
/proc/7307/stat : 7307 (cosoco) R 7304 7307 4933 0 -1 4202496 448343 0 0 0 34184 30 0 0 20 0 1 0 17273590 382488576 87499 33554432000 4194304 5970956 140730703492640 140730703489512 4930611 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34222080 140730703496385 140730703496515 140730703496515 140730703499214 0
/proc/7307/statm: 93381 87499 781 434 0 86745 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 373524

[startup+402.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/187 7343
/proc/meminfo: memFree=31291048/32770624 swapFree=6716/331504
[pid=7307] ppid=7304 vsize=373800 CPUtime=402.13 cores=0,2,4,6
/proc/7307/stat : 7307 (cosoco) R 7304 7307 4933 0 -1 4202496 449438 0 0 0 40182 31 0 0 20 0 1 0 17273590 382771200 87536 33554432000 4194304 5970956 140730703492640 140730703489352 5098896 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34222080 140730703496385 140730703496515 140730703496515 140730703499214 0
/proc/7307/statm: 93450 87536 781 434 0 86814 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 373800

[startup+462.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/187 7344
/proc/meminfo: memFree=31291332/32770624 swapFree=6716/331552
[pid=7307] ppid=7304 vsize=373800 CPUtime=462.11 cores=0,2,4,6
/proc/7307/stat : 7307 (cosoco) R 7304 7307 4933 0 -1 4202496 449908 0 0 0 46180 31 0 0 20 0 1 0 17273590 382771200 87536 33554432000 4194304 5970956 140730703492640 140730703489352 5047532 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34222080 140730703496385 140730703496515 140730703496515 140730703499214 0
/proc/7307/statm: 93450 87536 781 434 0 86814 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 373800

[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 7345
/proc/meminfo: memFree=31291476/32770624 swapFree=6716/331576
[pid=7307] ppid=7304 vsize=373800 CPUtime=522.08 cores=0,2,4,6
/proc/7307/stat : 7307 (cosoco) R 7304 7307 4933 0 -1 4202496 450176 0 0 0 52177 31 0 0 20 0 1 0 17273590 382771200 87541 33554432000 4194304 5970956 140730703492640 140730703489352 5047480 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34222080 140730703496385 140730703496515 140730703496515 140730703499214 0
/proc/7307/statm: 93450 87541 781 434 0 86814 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 373800

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7346
/proc/meminfo: memFree=31291316/32770624 swapFree=6716/331612
[pid=7307] ppid=7304 vsize=373800 CPUtime=582.06 cores=0,2,4,6
/proc/7307/stat : 7307 (cosoco) R 7304 7307 4933 0 -1 4202496 450444 0 0 0 58175 31 0 0 20 0 1 0 17273590 382771200 87541 33554432000 4194304 5970956 140730703492640 140730703489352 5047480 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34222080 140730703496385 140730703496515 140730703496515 140730703499214 0
/proc/7307/statm: 93450 87541 781 434 0 86814 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 373800


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


[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 7378
/proc/meminfo: memFree=31291208/32770624 swapFree=6716/332116
[pid=7307] ppid=7304 vsize=374076 CPUtime=1481.79 cores=0,2,4,6
/proc/7307/stat : 7307 (cosoco) R 7304 7307 4933 0 -1 4202496 457295 0 0 0 148147 32 0 0 20 0 1 0 17273590 383053824 87630 33554432000 4194304 5970956 140730703492640 140730703490200 5045308 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34222080 140730703496385 140730703496515 140730703496515 140730703499214 0
/proc/7307/statm: 93519 87630 781 434 0 86883 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 374076

[startup+1542.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 7379
/proc/meminfo: memFree=31291128/32770624 swapFree=6716/332144
[pid=7307] ppid=7304 vsize=374076 CPUtime=1541.79 cores=0,2,4,6
/proc/7307/stat : 7307 (cosoco) R 7304 7307 4933 0 -1 4202496 457900 0 0 0 154147 32 0 0 20 0 1 0 17273590 383053824 87630 33554432000 4194304 5970956 140730703492640 140730703490200 5047507 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34222080 140730703496385 140730703496515 140730703496515 140730703499214 0
/proc/7307/statm: 93519 87630 781 434 0 86883 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 374076

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7381
/proc/meminfo: memFree=31291560/32770624 swapFree=6716/332184
[pid=7307] ppid=7304 vsize=374076 CPUtime=1601.77 cores=0,2,4,6
/proc/7307/stat : 7307 (cosoco) R 7304 7307 4933 0 -1 4202496 458517 0 0 0 160145 32 0 0 20 0 1 0 17273590 383053824 87630 33554432000 4194304 5970956 140730703492640 140730703490200 5327383 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34222080 140730703496385 140730703496515 140730703496515 140730703499214 0
/proc/7307/statm: 93519 87630 781 434 0 86883 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 374076

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7382
/proc/meminfo: memFree=31291376/32770624 swapFree=6716/332228
[pid=7307] ppid=7304 vsize=374216 CPUtime=1661.75 cores=0,2,4,6
/proc/7307/stat : 7307 (cosoco) R 7304 7307 4933 0 -1 4202496 459089 0 0 0 166143 32 0 0 20 0 1 0 17273590 383197184 87643 33554432000 4194304 5970956 140730703492640 140730703489512 4934366 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34222080 140730703496385 140730703496515 140730703496515 140730703499214 0
/proc/7307/statm: 93554 87643 781 434 0 86918 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 374216

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7383
/proc/meminfo: memFree=31291288/32770624 swapFree=6716/332256
[pid=7307] ppid=7304 vsize=374216 CPUtime=1721.73 cores=0,2,4,6
/proc/7307/stat : 7307 (cosoco) R 7304 7307 4933 0 -1 4202496 459356 0 0 0 172141 32 0 0 20 0 1 0 17273590 383197184 87643 33554432000 4194304 5970956 140730703492640 140730703489512 4934651 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34222080 140730703496385 140730703496515 140730703496515 140730703499214 0
/proc/7307/statm: 93554 87643 781 434 0 86918 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 374216

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7385
/proc/meminfo: memFree=31291680/32770624 swapFree=6716/332296
[pid=7307] ppid=7304 vsize=374216 CPUtime=1781.7 cores=0,2,4,6
/proc/7307/stat : 7307 (cosoco) R 7304 7307 4933 0 -1 4202496 459623 0 0 0 178138 32 0 0 20 0 1 0 17273590 383197184 87643 33554432000 4194304 5970956 140730703492640 140730703489512 4934320 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34222080 140730703496385 140730703496515 140730703496515 140730703499214 0
/proc/7307/statm: 93554 87643 781 434 0 86918 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 374216

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7386
/proc/meminfo: memFree=31291340/32770624 swapFree=6716/332324
[pid=7307] ppid=7304 vsize=374216 CPUtime=1841.67 cores=0,2,4,6
/proc/7307/stat : 7307 (cosoco) R 7304 7307 4933 0 -1 4202496 459890 0 0 0 184135 32 0 0 20 0 1 0 17273590 383197184 87643 33554432000 4194304 5970956 140730703492640 140730703489512 4934318 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34222080 140730703496385 140730703496515 140730703496515 140730703499214 0
/proc/7307/statm: 93554 87643 781 434 0 86918 0
Current children cumulated CPU time (s) 1841.67
Current children cumulated vsize (KiB) 374216

[startup+1902.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 7394
/proc/meminfo: memFree=31290852/32770624 swapFree=6716/332364
[pid=7307] ppid=7304 vsize=374216 CPUtime=1901.66 cores=0,2,4,6
/proc/7307/stat : 7307 (cosoco) R 7304 7307 4933 0 -1 4202496 460157 0 0 0 190133 33 0 0 20 0 1 0 17273590 383197184 87643 33554432000 4194304 5970956 140730703492640 140730703489512 4933153 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34222080 140730703496385 140730703496515 140730703496515 140730703499214 0
/proc/7307/statm: 93554 87643 781 434 0 86918 0
Current children cumulated CPU time (s) 1901.66
Current children cumulated vsize (KiB) 374216

[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 7395
/proc/meminfo: memFree=31291384/32770624 swapFree=6716/332400
[pid=7307] ppid=7304 vsize=374216 CPUtime=1961.63 cores=0,2,4,6
/proc/7307/stat : 7307 (cosoco) R 7304 7307 4933 0 -1 4202496 460424 0 0 0 196130 33 0 0 20 0 1 0 17273590 383197184 87643 33554432000 4194304 5970956 140730703492640 140730703489512 4934366 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34222080 140730703496385 140730703496515 140730703496515 140730703499214 0
/proc/7307/statm: 93554 87643 781 434 0 86918 0
Current children cumulated CPU time (s) 1961.63
Current children cumulated vsize (KiB) 374216

[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 4/187 7396
/proc/meminfo: memFree=31291544/32770624 swapFree=6716/332428
[pid=7307] ppid=7304 vsize=374216 CPUtime=2021.61 cores=0,2,4,6
/proc/7307/stat : 7307 (cosoco) R 7304 7307 4933 0 -1 4202496 460975 0 0 0 202128 33 0 0 20 0 1 0 17273590 383197184 87643 33554432000 4194304 5970956 140730703492640 140730703489512 5322040 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34222080 140730703496385 140730703496515 140730703496515 140730703499214 0
/proc/7307/statm: 93554 87643 781 434 0 86918 0
Current children cumulated CPU time (s) 2021.61
Current children cumulated vsize (KiB) 374216

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7397
/proc/meminfo: memFree=31291576/32770624 swapFree=6716/332456
[pid=7307] ppid=7304 vsize=374216 CPUtime=2081.6 cores=0,2,4,6
/proc/7307/stat : 7307 (cosoco) R 7304 7307 4933 0 -1 4202496 461248 0 0 0 208127 33 0 0 20 0 1 0 17273590 383197184 87643 33554432000 4194304 5970956 140730703492640 140730703489512 4930650 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34222080 140730703496385 140730703496515 140730703496515 140730703499214 0
/proc/7307/statm: 93554 87643 781 434 0 86918 0
Current children cumulated CPU time (s) 2081.6
Current children cumulated vsize (KiB) 374216

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7398
/proc/meminfo: memFree=31291624/32770624 swapFree=6716/332492
[pid=7307] ppid=7304 vsize=374364 CPUtime=2141.59 cores=0,2,4,6
/proc/7307/stat : 7307 (cosoco) R 7304 7307 4933 0 -1 4202496 462242 0 0 0 214126 33 0 0 20 0 1 0 17273590 383348736 87683 33554432000 4194304 5970956 140730703492640 140730703479944 5045736 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34222080 140730703496385 140730703496515 140730703496515 140730703499214 0
/proc/7307/statm: 93591 87683 781 434 0 86955 0
Current children cumulated CPU time (s) 2141.59
Current children cumulated vsize (KiB) 374364

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7399
/proc/meminfo: memFree=31291292/32770624 swapFree=6716/332524
[pid=7307] ppid=7304 vsize=374364 CPUtime=2201.58 cores=0,2,4,6
/proc/7307/stat : 7307 (cosoco) R 7304 7307 4933 0 -1 4202496 462520 0 0 0 220125 33 0 0 20 0 1 0 17273590 383348736 87683 33554432000 4194304 5970956 140730703492640 140730703479944 4930611 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34222080 140730703496385 140730703496515 140730703496515 140730703499214 0
/proc/7307/statm: 93591 87683 781 434 0 86955 0
Current children cumulated CPU time (s) 2201.58
Current children cumulated vsize (KiB) 374364

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7400
/proc/meminfo: memFree=31291572/32770624 swapFree=6716/332560
[pid=7307] ppid=7304 vsize=374364 CPUtime=2261.57 cores=0,2,4,6
/proc/7307/stat : 7307 (cosoco) R 7304 7307 4933 0 -1 4202496 463212 0 0 0 226124 33 0 0 20 0 1 0 17273590 383348736 87683 33554432000 4194304 5970956 140730703492640 140730703479944 5047532 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34222080 140730703496385 140730703496515 140730703496515 140730703499214 0
/proc/7307/statm: 93591 87683 781 434 0 86955 0
Current children cumulated CPU time (s) 2261.57
Current children cumulated vsize (KiB) 374364

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7401
/proc/meminfo: memFree=31291740/32770624 swapFree=6716/332596
[pid=7307] ppid=7304 vsize=374364 CPUtime=2321.55 cores=0,2,4,6
/proc/7307/stat : 7307 (cosoco) R 7304 7307 4933 0 -1 4202496 463801 0 0 0 232122 33 0 0 20 0 1 0 17273590 383348736 87683 33554432000 4194304 5970956 140730703492640 140730703479944 4934327 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34222080 140730703496385 140730703496515 140730703496515 140730703499214 0
/proc/7307/statm: 93591 87683 781 434 0 86955 0
Current children cumulated CPU time (s) 2321.55
Current children cumulated vsize (KiB) 374364

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7402
/proc/meminfo: memFree=31291236/32770624 swapFree=6716/332620
[pid=7307] ppid=7304 vsize=374364 CPUtime=2381.54 cores=0,2,4,6
/proc/7307/stat : 7307 (cosoco) R 7304 7307 4933 0 -1 4202496 464229 0 0 0 238121 33 0 0 20 0 1 0 17273590 383348736 87683 33554432000 4194304 5970956 140730703492640 140730703479944 5045308 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34222080 140730703496385 140730703496515 140730703496515 140730703499214 0
/proc/7307/statm: 93591 87683 781 434 0 86955 0
Current children cumulated CPU time (s) 2381.54
Current children cumulated vsize (KiB) 374364



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.8 s]
/proc/loadavg: 1.92 2.00 2.04 3/187 7463
/proc/meminfo: memFree=31181824/32770624 swapFree=6716/332664
[pid=7307] ppid=7304 vsize=374364 CPUtime=2400.04 cores=0,2,4,6
/proc/7307/stat : 7307 (cosoco) R 7304 7307 4933 0 -1 4202496 464430 0 0 0 239971 33 0 0 20 0 1 0 17273590 383348736 87683 33554432000 4194304 5970956 140730703492640 140730703479944 5045736 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34222080 140730703496385 140730703496515 140730703496515 140730703499214 0
/proc/7307/statm: 93591 87683 781 434 0 86955 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 374364

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

Child status: 1
Real time (s): 2400.8
CPU time (s): 2400.06
CPU user time (s): 2399.72
CPU system time (s): 0.340901
CPU usage (%): 99.9689
Max. virtual memory (cumulated for all children) (KiB): 374364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.72
system time used= 0.340901
maximum resident set size= 350780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 464465
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= 85
involuntary context switches= 122708

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.12617 second user time and 9.35474 second system time

The end

Begin job on node137 at 2017-07-21 13:58:56
IDJOB=4240505
IDBENCH=123023
IDSOLVER=2620
FILE ID=node137/4240505-1500638336
RUNJOBID= node137-1500635929-6889
PBS_JOBID= 20622996
Free space on /tmp= 62020 MiB

SOLVER NAME= cosoco 1.1
BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-tai80a.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4240505-1500638336/watcher-4240505-1500638336 -o /tmp/evaluation-result-4240505-1500638336/solver-4240505-1500638336 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1500635929-6889 --watchdog 2560  HOME/cosoco -lc -model -restarts HOME/instance-4240505-1500638336.xml

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

MD5SUM BENCH= c9a66f606132a3c8760ec6756f0c4250
RANDOM SEED=903451087

node137.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		: 1600.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.14
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.14
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		: 2267.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.14
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		: 1600.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.14
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		: 1600.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:        31649916 kB
MemAvailable:   32016196 kB
Buffers:          159036 kB
Cached:           487264 kB
SwapCached:            0 kB
Active:           361328 kB
Inactive:         340264 kB
Active(anon):      57572 kB
Inactive(anon):     8840 kB
Active(file):     303756 kB
Inactive(file):   331424 kB
Unevictable:        6716 kB
Mlocked:            6716 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2788 kB
Writeback:             0 kB
AnonPages:         61516 kB
Mapped:            34660 kB
Shmem:              8852 kB
Slab:             119072 kB
SReclaimable:      93868 kB
SUnreclaim:        25204 kB
KernelStack:        3264 kB
PageTables:         4944 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     332752 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 62020 MiB
End job on node137 at 2017-07-21 14:38:57