0.39/0.40	c best=?? lower=0 upper=15723972 
8.19/8.23	c
8.19/8.23	c This is cosoco 1.0 --  
8.19/8.23	c
8.19/8.23	c enable optimization
8.19/8.23	c ========================================[ Problem Statistics ]===========================================
8.19/8.23	c |                                                                                                       
8.19/8.23	c |  Parse time        :         0.33 s 
8.19/8.23	c |
8.19/8.23	c |               Variables: 6480
8.19/8.23	c |            Domain Sizes: 80..100
8.19/8.23	c |
8.19/8.23	c |             Constraints: 3129
8.19/8.23	c |                   Arity: 3..3127  -- Ternary: 3127
8.19/8.23	c | 
8.19/8.23	c |                   Types: 
8.19/8.23	c |                          All Different: 1
8.19/8.23	c |                          Extension: 3127  (nb tuples: 6320..6320) -- (shared: 3126)
8.19/8.23	c |                          Sum: 1
8.19/8.23	c |                          
8.19/8.23	c =========================================================================================================
8.19/8.23	o 7692307
8.19/8.23	c    1 calls to solver: best=7692307 lower=0 upper=7692306 
1362.62/1362.65	o 7689733
2096.05/2096.04	o 7687952
2096.05/2096.04	c    3 calls to solver: best=7687952 lower=0 upper=7687951 
2400.06/2400.00	
2400.06/2400.00	c *** INTERRUPTED ***
2400.06/2400.00	s SATISFIABLE
2400.06/2400.00	c Best value found: 7687952
2400.06/2400.00	
2400.06/2400.00	
2400.06/2400.00	v <instantiation type='solution' cost='7687952'>
2400.06/2400.00	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.06/2400.00	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-4251918-1500919788/watcher-4251918-1500919788 -o /tmp/evaluation-result-4251918-1500919788/solver-4251918-1500919788 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1500914920-3783 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4251918-1500919788.xml 

pid=5715
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.93 2.00 2.04 3/181 5718
/proc/meminfo: memFree=32094664/32770624 swapFree=5760/114964
[pid=5718] ppid=5715 vsize=27032 CPUtime=0 cores=0,2,4,6
/proc/5718/stat : 5718 (cosoco) R 5715 5718 3752 0 -1 4202496 995 0 0 0 0 0 0 0 20 0 1 0 1630463 27680768 822 33554432000 4194304 5744392 140721745706432 140721745703080 139833109285861 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7841632 7846472 11706368 140721745708225 140721745708355 140721745708355 140721745711054 0
/proc/5718/statm: 6758 822 686 379 0 177 0

[startup+0.100107 s]
/proc/loadavg: 1.93 2.00 2.04 3/181 5718
/proc/meminfo: memFree=32094664/32770624 swapFree=5760/114964
[pid=5718] ppid=5715 vsize=35860 CPUtime=0.09 cores=0,2,4,6
/proc/5718/stat : 5718 (cosoco) R 5715 5718 3752 0 -1 4202496 3184 0 0 0 9 0 0 0 20 0 1 0 1630463 36720640 2963 33554432000 4194304 5744392 140721745706432 140721745703080 5168424 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7841632 7846472 11706368 140721745708225 140721745708355 140721745708355 140721745711054 0
/proc/5718/statm: 8965 2963 698 379 0 2384 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35860

[startup+0.20029 s]
/proc/loadavg: 1.93 2.00 2.04 3/181 5718
/proc/meminfo: memFree=32094664/32770624 swapFree=5760/114964
[pid=5718] ppid=5715 vsize=117456 CPUtime=0.18 cores=0,2,4,6
/proc/5718/stat : 5718 (cosoco) R 5715 5718 3752 0 -1 4202496 23655 0 0 0 16 2 0 0 20 0 1 0 1630463 120274944 23436 33554432000 4194304 5744392 140721745706432 140721745703080 5318130 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7841632 7846472 11706368 140721745708225 140721745708355 140721745708355 140721745711054 0
/proc/5718/statm: 29364 23436 708 379 0 22783 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 117456

[startup+0.300293 s]
/proc/loadavg: 1.93 2.00 2.04 3/181 5718
/proc/meminfo: memFree=32094664/32770624 swapFree=5760/114964
[pid=5718] ppid=5715 vsize=133268 CPUtime=0.29 cores=0,2,4,6
/proc/5718/stat : 5718 (cosoco) R 5715 5718 3752 0 -1 4202496 27602 0 0 0 26 3 0 0 20 0 1 0 1630463 136466432 27395 33554432000 4194304 5744392 140721745706432 140721745703080 4891013 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7841632 7846472 11706368 140721745708225 140721745708355 140721745708355 140721745711054 0
/proc/5718/statm: 33317 27395 715 379 0 26736 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 133268

[startup+0.700235 s]
/proc/loadavg: 1.93 2.00 2.04 3/181 5718
/proc/meminfo: memFree=32094664/32770624 swapFree=5760/114964
[pid=5718] ppid=5715 vsize=279300 CPUtime=0.69 cores=0,2,4,6
/proc/5718/stat : 5718 (cosoco) R 5715 5718 3752 0 -1 4202496 64184 0 0 0 62 7 0 0 20 0 1 0 1630463 286003200 63959 33554432000 4194304 5744392 140721745706432 140721745703080 4892830 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 11706368 140721745708225 140721745708355 140721745708355 140721745711054 0
/proc/5718/statm: 69825 63959 733 379 0 63244 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 279300

[startup+1.50025 s]
/proc/loadavg: 1.93 2.00 2.04 3/182 5719
/proc/meminfo: memFree=31841172/32770624 swapFree=5760/114976
[pid=5718] ppid=5715 vsize=279300 CPUtime=1.49 cores=0,2,4,6
/proc/5718/stat : 5718 (cosoco) R 5715 5718 3752 0 -1 4202496 64186 0 0 0 142 7 0 0 20 0 1 0 1630463 286003200 63959 33554432000 4194304 5744392 140721745706432 140721745693800 4892991 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 11706368 140721745708225 140721745708355 140721745708355 140721745711054 0
/proc/5718/statm: 69825 63959 733 379 0 63244 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 279300

[startup+3.10024 s]
/proc/loadavg: 1.93 2.00 2.04 3/182 5719
/proc/meminfo: memFree=31840684/32770624 swapFree=5760/114976
[pid=5718] ppid=5715 vsize=279440 CPUtime=3.09 cores=0,2,4,6
/proc/5718/stat : 5718 (cosoco) R 5715 5718 3752 0 -1 4202496 106560 0 0 0 300 9 0 0 20 0 1 0 1630463 286146560 64000 33554432000 4194304 5744392 140721745706432 140721745703448 4892830 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 11706368 140721745708225 140721745708355 140721745708355 140721745711054 0
/proc/5718/statm: 69860 64000 761 379 0 63279 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 279440

[startup+6.30024 s]
/proc/loadavg: 1.94 2.00 2.04 3/182 5719
/proc/meminfo: memFree=31836300/32770624 swapFree=5760/114976
[pid=5718] ppid=5715 vsize=287756 CPUtime=6.29 cores=0,2,4,6
/proc/5718/stat : 5718 (cosoco) R 5715 5718 3752 0 -1 4202496 143501 0 0 0 619 10 0 0 20 0 1 0 1630463 294662144 66080 33554432000 4194304 5744392 140721745706432 140721745703384 4893020 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 11706368 140721745708225 140721745708355 140721745708355 140721745711054 0
/proc/5718/statm: 71939 66080 761 379 0 65358 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 287756

[startup+12.7002 s]
/proc/loadavg: 1.95 2.00 2.04 3/182 5719
/proc/meminfo: memFree=31783064/32770624 swapFree=5760/114992
[pid=5718] ppid=5715 vsize=337284 CPUtime=12.69 cores=0,2,4,6
/proc/5718/stat : 5718 (cosoco) R 5715 5718 3752 0 -1 4202496 207075 0 0 0 1254 15 0 0 20 0 1 0 1630463 345378816 78321 33554432000 4194304 5744392 140721745706432 140721745693784 4892791 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 11706368 140721745708225 140721745708355 140721745708355 140721745711054 0
/proc/5718/statm: 84321 78321 762 379 0 77740 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 337284

[startup+25.5003 s]
/proc/loadavg: 1.96 2.00 2.04 3/182 5726
/proc/meminfo: memFree=31770532/32770624 swapFree=5760/115016
[pid=5718] ppid=5715 vsize=349420 CPUtime=25.49 cores=0,2,4,6
/proc/5718/stat : 5718 (cosoco) R 5715 5718 3752 0 -1 4202496 274479 0 0 0 2531 18 0 0 20 0 1 0 1630463 357806080 81357 33554432000 4194304 5744392 140721745706432 140721745703224 4889070 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 11706368 140721745708225 140721745708355 140721745708355 140721745711054 0
/proc/5718/statm: 87355 81357 762 379 0 80774 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 349420

[startup+51.1002 s]
/proc/loadavg: 1.97 2.00 2.04 3/182 5726
/proc/meminfo: memFree=31762008/32770624 swapFree=5760/115044
[pid=5718] ppid=5715 vsize=357884 CPUtime=51.09 cores=0,2,4,6
/proc/5718/stat : 5718 (cosoco) R 5715 5718 3752 0 -1 4202496 338605 0 0 0 5089 20 0 0 20 0 1 0 1630463 366473216 83415 33554432000 4194304 5744392 140721745706432 140721745703224 4947896 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 11706368 140721745708225 140721745708355 140721745708355 140721745711054 0
/proc/5718/statm: 89471 83415 762 379 0 82890 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 357884

[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/182 5727
/proc/meminfo: memFree=31752372/32770624 swapFree=5760/115096
[pid=5718] ppid=5715 vsize=367072 CPUtime=102.29 cores=0,2,4,6
/proc/5718/stat : 5718 (cosoco) R 5715 5718 3752 0 -1 4202496 405665 0 0 0 10204 25 0 0 20 0 1 0 1630463 375881728 85707 33554432000 4194304 5744392 140721745706432 140721745703224 4947896 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 11706368 140721745708225 140721745708355 140721745708355 140721745711054 0
/proc/5718/statm: 91768 85707 762 379 0 85187 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 367072

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 5728
/proc/meminfo: memFree=31747404/32770624 swapFree=5760/115140
[pid=5718] ppid=5715 vsize=371992 CPUtime=162.28 cores=0,2,4,6
/proc/5718/stat : 5718 (cosoco) R 5715 5718 3752 0 -1 4202496 469084 0 0 0 16199 29 0 0 20 0 1 0 1630463 380919808 86926 33554432000 4194304 5744392 140721745706432 140721745703224 4892791 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 11706368 140721745708225 140721745708355 140721745708355 140721745711054 0
/proc/5718/statm: 92998 86926 762 379 0 86417 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 371992

[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 5729
/proc/meminfo: memFree=31745396/32770624 swapFree=5760/115188
[pid=5718] ppid=5715 vsize=373100 CPUtime=222.28 cores=0,2,4,6
/proc/5718/stat : 5718 (cosoco) R 5715 5718 3752 0 -1 4202496 506463 0 0 0 22197 31 0 0 20 0 1 0 1630463 382054400 87187 33554432000 4194304 5744392 140721745706432 140721745703224 4889024 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 11706368 140721745708225 140721745708355 140721745708355 140721745711054 0
/proc/5718/statm: 93275 87187 762 379 0 86694 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 373100

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 5730
/proc/meminfo: memFree=31744148/32770624 swapFree=5760/115232
[pid=5718] ppid=5715 vsize=373364 CPUtime=282.27 cores=0,2,4,6
/proc/5718/stat : 5718 (cosoco) R 5715 5718 3752 0 -1 4202496 509821 0 0 0 28196 31 0 0 20 0 1 0 1630463 382324736 87467 33554432000 4194304 5744392 140721745706432 140721745703368 5131600 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 11706368 140721745708225 140721745708355 140721745708355 140721745711054 0
/proc/5718/statm: 93341 87467 762 379 0 86760 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 373364

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 5731
/proc/meminfo: memFree=31742472/32770624 swapFree=5760/115268
[pid=5718] ppid=5715 vsize=373496 CPUtime=342.27 cores=0,2,4,6
/proc/5718/stat : 5718 (cosoco) R 5715 5718 3752 0 -1 4202496 510410 0 0 0 34196 31 0 0 20 0 1 0 1630463 382459904 87510 33554432000 4194304 5744392 140721745706432 140721745703224 4946584 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 11706368 140721745708225 140721745708355 140721745708355 140721745711054 0
/proc/5718/statm: 93374 87510 762 379 0 86793 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 373496

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 5732
/proc/meminfo: memFree=31742100/32770624 swapFree=5760/115304
[pid=5718] ppid=5715 vsize=373628 CPUtime=402.28 cores=0,2,4,6
/proc/5718/stat : 5718 (cosoco) R 5715 5718 3752 0 -1 4202496 511018 0 0 0 40197 31 0 0 20 0 1 0 1630463 382595072 87530 33554432000 4194304 5744392 140721745706432 140721745703368 5131600 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 11706368 140721745708225 140721745708355 140721745708355 140721745711054 0
/proc/5718/statm: 93407 87530 762 379 0 86826 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 373628

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 5733
/proc/meminfo: memFree=31742224/32770624 swapFree=5760/115336
[pid=5718] ppid=5715 vsize=373628 CPUtime=462.28 cores=0,2,4,6
/proc/5718/stat : 5718 (cosoco) R 5715 5718 3752 0 -1 4202496 511301 0 0 0 46197 31 0 0 20 0 1 0 1630463 382595072 87530 33554432000 4194304 5744392 140721745706432 140721745703368 4948380 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 11706368 140721745708225 140721745708355 140721745708355 140721745711054 0
/proc/5718/statm: 93407 87530 762 379 0 86826 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 373628

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 5734
/proc/meminfo: memFree=31742108/32770624 swapFree=5760/115364
[pid=5718] ppid=5715 vsize=373628 CPUtime=522.28 cores=0,2,4,6
/proc/5718/stat : 5718 (cosoco) R 5715 5718 3752 0 -1 4202496 511545 0 0 0 52197 31 0 0 20 0 1 0 1630463 382595072 87530 33554432000 4194304 5744392 140721745706432 140721745703368 4948358 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 11706368 140721745708225 140721745708355 140721745708355 140721745711054 0
/proc/5718/statm: 93407 87530 762 379 0 86826 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 373628

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 5735
/proc/meminfo: memFree=31741984/32770624 swapFree=5760/115408
[pid=5718] ppid=5715 vsize=373628 CPUtime=582.28 cores=0,2,4,6
/proc/5718/stat : 5718 (cosoco) R 5715 5718 3752 0 -1 4202496 511789 0 0 0 58197 31 0 0 20 0 1 0 1630463 382595072 87530 33554432000 4194304 5744392 140721745706432 140721745703368 4948358 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 11706368 140721745708225 140721745708355 140721745708355 140721745711054 0
/proc/5718/statm: 93407 87530 762 379 0 86826 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 373628


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


[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/183 5767
/proc/meminfo: memFree=31740152/32770624 swapFree=5760/115948
[pid=5718] ppid=5715 vsize=374040 CPUtime=1482.33 cores=0,2,4,6
/proc/5718/stat : 5718 (cosoco) R 5715 5718 3752 0 -1 4202496 516166 0 0 0 148201 32 0 0 20 0 1 0 1630463 383016960 87645 33554432000 4194304 5744392 140721745706432 140721745703224 4892818 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 11706368 140721745708225 140721745708355 140721745708355 140721745711054 0
/proc/5718/statm: 93510 87645 762 379 0 86929 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 374040

[startup+1542.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 5768
/proc/meminfo: memFree=31740256/32770624 swapFree=5760/115988
[pid=5718] ppid=5715 vsize=374040 CPUtime=1542.33 cores=0,2,4,6
/proc/5718/stat : 5718 (cosoco) R 5715 5718 3752 0 -1 4202496 516379 0 0 0 154201 32 0 0 20 0 1 0 1630463 383016960 87645 33554432000 4194304 5744392 140721745706432 140721745703224 4948375 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 11706368 140721745708225 140721745708355 140721745708355 140721745711054 0
/proc/5718/statm: 93510 87645 762 379 0 86929 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 374040

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5769
/proc/meminfo: memFree=31740132/32770624 swapFree=5760/116016
[pid=5718] ppid=5715 vsize=374040 CPUtime=1602.33 cores=0,2,4,6
/proc/5718/stat : 5718 (cosoco) R 5715 5718 3752 0 -1 4202496 516640 0 0 0 160201 32 0 0 20 0 1 0 1630463 383016960 87645 33554432000 4194304 5744392 140721745706432 140721745703224 4946156 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 11706368 140721745708225 140721745708355 140721745708355 140721745711054 0
/proc/5718/statm: 93510 87645 762 379 0 86929 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 374040

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5770
/proc/meminfo: memFree=31740256/32770624 swapFree=5760/116044
[pid=5718] ppid=5715 vsize=374040 CPUtime=1662.33 cores=0,2,4,6
/proc/5718/stat : 5718 (cosoco) R 5715 5718 3752 0 -1 4202496 516886 0 0 0 166201 32 0 0 20 0 1 0 1630463 383016960 87665 33554432000 4194304 5744392 140721745706432 140721745703224 4946152 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 11706368 140721745708225 140721745708355 140721745708355 140721745711054 0
/proc/5718/statm: 93510 87665 762 379 0 86929 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 374040

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 5771
/proc/meminfo: memFree=31741512/32770624 swapFree=5760/116076
[pid=5718] ppid=5715 vsize=374040 CPUtime=1722.34 cores=0,2,4,6
/proc/5718/stat : 5718 (cosoco) R 5715 5718 3752 0 -1 4202496 517078 0 0 0 172202 32 0 0 20 0 1 0 1630463 383016960 87665 33554432000 4194304 5744392 140721745706432 140721745703224 4892913 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 11706368 140721745708225 140721745708355 140721745708355 140721745711054 0
/proc/5718/statm: 93510 87665 762 379 0 86929 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 374040

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5773
/proc/meminfo: memFree=31740820/32770624 swapFree=5760/116112
[pid=5718] ppid=5715 vsize=374040 CPUtime=1782.34 cores=0,2,4,6
/proc/5718/stat : 5718 (cosoco) R 5715 5718 3752 0 -1 4202496 517270 0 0 0 178202 32 0 0 20 0 1 0 1630463 383016960 87665 33554432000 4194304 5744392 140721745706432 140721745703224 4892830 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 11706368 140721745708225 140721745708355 140721745708355 140721745711054 0
/proc/5718/statm: 93510 87665 762 379 0 86929 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 374040

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5781
/proc/meminfo: memFree=31739968/32770624 swapFree=5760/116160
[pid=5718] ppid=5715 vsize=374040 CPUtime=1842.34 cores=0,2,4,6
/proc/5718/stat : 5718 (cosoco) R 5715 5718 3752 0 -1 4202496 517462 0 0 0 184202 32 0 0 20 0 1 0 1630463 383016960 87665 33554432000 4194304 5744392 140721745706432 140721745703224 4892821 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 11706368 140721745708225 140721745708355 140721745708355 140721745711054 0
/proc/5718/statm: 93510 87665 762 379 0 86929 0
Current children cumulated CPU time (s) 1842.34
Current children cumulated vsize (KiB) 374040

[startup+1902.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 5782
/proc/meminfo: memFree=31740092/32770624 swapFree=5760/116188
[pid=5718] ppid=5715 vsize=374040 CPUtime=1902.34 cores=0,2,4,6
/proc/5718/stat : 5718 (cosoco) R 5715 5718 3752 0 -1 4202496 517654 0 0 0 190202 32 0 0 20 0 1 0 1630463 383016960 87665 33554432000 4194304 5744392 140721745706432 140721745703224 4891617 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 11706368 140721745708225 140721745708355 140721745708355 140721745711054 0
/proc/5718/statm: 93510 87665 762 379 0 86929 0
Current children cumulated CPU time (s) 1902.34
Current children cumulated vsize (KiB) 374040

[startup+1962.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 5783
/proc/meminfo: memFree=31739836/32770624 swapFree=5760/116220
[pid=5718] ppid=5715 vsize=374040 CPUtime=1962.35 cores=0,2,4,6
/proc/5718/stat : 5718 (cosoco) R 5715 5718 3752 0 -1 4202496 517846 0 0 0 196203 32 0 0 20 0 1 0 1630463 383016960 87665 33554432000 4194304 5744392 140721745706432 140721745703224 4892791 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 11706368 140721745708225 140721745708355 140721745708355 140721745711054 0
/proc/5718/statm: 93510 87665 762 379 0 86929 0
Current children cumulated CPU time (s) 1962.35
Current children cumulated vsize (KiB) 374040

[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 5784
/proc/meminfo: memFree=31739820/32770624 swapFree=5760/116256
[pid=5718] ppid=5715 vsize=374040 CPUtime=2022.35 cores=0,2,4,6
/proc/5718/stat : 5718 (cosoco) R 5715 5718 3752 0 -1 4202496 518083 0 0 0 202203 32 0 0 20 0 1 0 1630463 383016960 87665 33554432000 4194304 5744392 140721745706432 140721745703224 4946584 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 11706368 140721745708225 140721745708355 140721745708355 140721745711054 0
/proc/5718/statm: 93510 87665 762 379 0 86929 0
Current children cumulated CPU time (s) 2022.35
Current children cumulated vsize (KiB) 374040

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5785
/proc/meminfo: memFree=31739804/32770624 swapFree=5760/116292
[pid=5718] ppid=5715 vsize=374040 CPUtime=2082.36 cores=0,2,4,6
/proc/5718/stat : 5718 (cosoco) R 5715 5718 3752 0 -1 4202496 518274 0 0 0 208204 32 0 0 20 0 1 0 1630463 383016960 87665 33554432000 4194304 5744392 140721745706432 140721745703224 4947935 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 11706368 140721745708225 140721745708355 140721745708355 140721745711054 0
/proc/5718/statm: 93510 87665 762 379 0 86929 0
Current children cumulated CPU time (s) 2082.36
Current children cumulated vsize (KiB) 374040

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5786
/proc/meminfo: memFree=31739292/32770624 swapFree=5760/116324
[pid=5718] ppid=5715 vsize=374328 CPUtime=2142.35 cores=0,2,4,6
/proc/5718/stat : 5718 (cosoco) R 5715 5718 3752 0 -1 4202496 518619 0 0 0 214203 32 0 0 20 0 1 0 1630463 383311872 87718 33554432000 4194304 5744392 140721745706432 140721745693784 4946584 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 11706368 140721745708225 140721745708355 140721745708355 140721745711054 0
/proc/5718/statm: 93582 87718 762 379 0 87001 0
Current children cumulated CPU time (s) 2142.35
Current children cumulated vsize (KiB) 374328

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5787
/proc/meminfo: memFree=31739696/32770624 swapFree=5760/116360
[pid=5718] ppid=5715 vsize=374328 CPUtime=2202.36 cores=0,2,4,6
/proc/5718/stat : 5718 (cosoco) R 5715 5718 3752 0 -1 4202496 518816 0 0 0 220204 32 0 0 20 0 1 0 1630463 383311872 87718 33554432000 4194304 5744392 140721745706432 140721745693784 4946584 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 11706368 140721745708225 140721745708355 140721745708355 140721745711054 0
/proc/5718/statm: 93582 87718 762 379 0 87001 0
Current children cumulated CPU time (s) 2202.36
Current children cumulated vsize (KiB) 374328

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5788
/proc/meminfo: memFree=31739640/32770624 swapFree=5760/116388
[pid=5718] ppid=5715 vsize=374328 CPUtime=2262.36 cores=0,2,4,6
/proc/5718/stat : 5718 (cosoco) R 5715 5718 3752 0 -1 4202496 519105 0 0 0 226204 32 0 0 20 0 1 0 1630463 383311872 87718 33554432000 4194304 5744392 140721745706432 140721745693784 4946584 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 11706368 140721745708225 140721745708355 140721745708355 140721745711054 0
/proc/5718/statm: 93582 87718 762 379 0 87001 0
Current children cumulated CPU time (s) 2262.36
Current children cumulated vsize (KiB) 374328

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5789
/proc/meminfo: memFree=31739392/32770624 swapFree=5760/116416
[pid=5718] ppid=5715 vsize=374328 CPUtime=2322.36 cores=0,2,4,6
/proc/5718/stat : 5718 (cosoco) R 5715 5718 3752 0 -1 4202496 519414 0 0 0 232204 32 0 0 20 0 1 0 1630463 383311872 87718 33554432000 4194304 5744392 140721745706432 140721745693784 4948328 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 11706368 140721745708225 140721745708355 140721745708355 140721745711054 0
/proc/5718/statm: 93582 87718 762 379 0 87001 0
Current children cumulated CPU time (s) 2322.36
Current children cumulated vsize (KiB) 374328

[startup+2382.3 s]
/proc/loadavg: 2.13 2.04 2.05 3/182 5851
/proc/meminfo: memFree=31766316/32770624 swapFree=5760/116516
[pid=5718] ppid=5715 vsize=374328 CPUtime=2382.36 cores=0,2,4,6
/proc/5718/stat : 5718 (cosoco) R 5715 5718 3752 0 -1 4202496 519628 0 0 0 238204 32 0 0 20 0 1 0 1630463 383311872 87718 33554432000 4194304 5744392 140721745706432 140721745693784 4946156 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 11706368 140721745708225 140721745708355 140721745708355 140721745711054 0
/proc/5718/statm: 93582 87718 762 379 0 87001 0
Current children cumulated CPU time (s) 2382.36
Current children cumulated vsize (KiB) 374328



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400 s]
/proc/loadavg: 2.10 2.04 2.05 3/182 5851
/proc/meminfo: memFree=31766440/32770624 swapFree=5760/116536
[pid=5718] ppid=5715 vsize=374328 CPUtime=2400.06 cores=0,2,4,6
/proc/5718/stat : 5718 (cosoco) R 5715 5718 3752 0 -1 4202496 519777 0 0 0 239974 32 0 0 20 0 1 0 1630463 383311872 87718 33554432000 4194304 5744392 140721745706432 140721745693784 4946584 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 11706368 140721745708225 140721745708355 140721745708355 140721745711054 0
/proc/5718/statm: 93582 87718 762 379 0 87001 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 374328

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

Child status: 1
Real time (s): 2400
CPU time (s): 2400.07
CPU user time (s): 2399.75
CPU system time (s): 0.325013
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 374328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.75
system time used= 0.325013
maximum resident set size= 350920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 519811
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= 60
involuntary context switches= 2046

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.04815 second user time and 9.11477 second system time

The end

Begin job on node149 at 2017-07-24 20:09:48
IDJOB=4251918
IDBENCH=123023
IDSOLVER=2633
FILE ID=node149/4251918-1500919788
RUNJOBID= node149-1500914920-3783
PBS_JOBID= 20625398
Free space on /tmp= 61904 MiB

SOLVER NAME= cosoco-mini 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-4251918-1500919788/watcher-4251918-1500919788 -o /tmp/evaluation-result-4251918-1500919788/solver-4251918-1500919788 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1500914920-3783 --watchdog 2560  HOME/cosoco -lc -model -restarts HOME/instance-4251918-1500919788.xml

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

MD5SUM BENCH= c9a66f606132a3c8760ec6756f0c4250
RANDOM SEED=1449087717

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        32095532 kB
MemAvailable:   32032880 kB
Buffers:           32096 kB
Cached:           220044 kB
SwapCached:            0 kB
Active:           199084 kB
Inactive:         123624 kB
Active(anon):      73780 kB
Inactive(anon):     8660 kB
Active(file):     125304 kB
Inactive(file):   114964 kB
Unevictable:        5760 kB
Mlocked:            5760 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2756 kB
Writeback:             0 kB
AnonPages:         45868 kB
Mapped:            29304 kB
Shmem:              8844 kB
Slab:              50856 kB
SReclaimable:      25832 kB
SUnreclaim:        25024 kB
KernelStack:        3488 kB
PageTables:         4460 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     311080 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61904 MiB
End job on node149 at 2017-07-24 20:49:48