0.38/0.41	c best=?? lower=0 upper=194400 
12.38/12.44	c
12.38/12.44	c This is cosoco 1.0 --  
12.38/12.44	c
12.38/12.44	c enable optimization
12.38/12.44	c ========================================[ Problem Statistics ]===========================================
12.38/12.44	c |                                                                                                       
12.38/12.44	c |  Parse time        :         0.34 s 
12.38/12.44	c |
12.38/12.44	c |               Variables: 6642
12.38/12.44	c |            Domain Sizes: 8..81
12.38/12.44	c |
12.38/12.44	c |             Constraints: 3242
12.38/12.44	c |                   Arity: 3..3240  -- Ternary: 3240
12.38/12.44	c | 
12.38/12.44	c |                   Types: 
12.38/12.44	c |                          All Different: 1
12.38/12.44	c |                          Extension: 3240  (nb tuples: 6480..6480) -- (shared: 3239)
12.38/12.44	c |                          Sum: 1
12.38/12.44	c |                          
12.38/12.44	c =========================================================================================================
12.38/12.44	o 53776
12.38/12.44	c    1 calls to solver: best=53776 lower=0 upper=53775 
45.97/46.05	o 53549
128.30/128.42	o 53545
128.30/128.42	c    3 calls to solver: best=53545 lower=0 upper=53544 
961.60/962.22	o 53487
2400.01/2401.40	
2400.01/2401.40	c *** INTERRUPTED ***
2400.01/2401.40	s SATISFIABLE
2400.01/2401.40	c Best value found: 53487
2400.01/2401.40	
2400.01/2401.40	
2400.01/2401.40	v <instantiation type='solution' cost='53487'>
2400.01/2401.40	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] x[80] 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[0][80] 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[1][80] 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[2][80] 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[3][80] 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[4][80] 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[5][80] 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[6][80] 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[7][80] 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[8][80] 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[9][80] 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[10][80] 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[11][80] 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[12][80] 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[13][80] 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[14][80] 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[15][80] 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[16][80] 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[17][80] 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[18][80] 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[19][80] 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[20][80] 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[21][80] 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[22][80] 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[23][80] 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[24][80] 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[25][80] 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[26][80] 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[27][80] 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[28][80] 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[29][80] 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[30][80] 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[31][80] 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[32][80] 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[33][80] 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[34][80] 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[35][80] 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[36][80] 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[37][80] 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[38][80] 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[39][80] 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[40][80] 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[41][80] 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[42][80] 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[43][80] 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[44][80] 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[45][80] 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[46][80] 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[47][80] 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[48][80] 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[49][80] 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[50][80] 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[51][80] 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[52][80] 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[53][80] 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[54][80] 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[55][80] 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[56][80] 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[57][80] 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[58][80] 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[59][80] 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[60][80] 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[61][80] 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[62][80] 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[63][80] 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[64][80] 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[65][80] 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[66][80] 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[67][80] 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[68][80] 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[69][80] 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[70][80] 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[71][80] 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[72][80] 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[73][80] 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[74][80] 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[75][80] 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[76][80] 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[77][80] 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[78][80] 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] d[79][80] d[80][0] d[80][1] d[80][2] d[80][3] d[80][4] d[80][5] d[80][6] d[80][7] d[80][8] d[80][9] d[80][10] d[80][11] d[80][12] d[80][13] d[80][14] d[80][15] d[80][16] d[80][17] d[80][18] d[80][19] d[80][20] d[80][21] d[80][22] d[80][23] d[80][24] d[80][25] d[80][26] d[80][27] d[80][28] d[80][29] d[80][30] d[80][31] d[80][32] d[80][33] d[80][34] d[80][35] d[80][36] d[80][37] d[80][38] d[80][39] d[80][40] d[80][41] d[80][42] d[80][43] d[80][44] d[80][45] d[80][46] d[80][47] d[80][48] d[80][49] d[80][50] d[80][51] d[80][52] d[80][53] d[80][54] d[80][55] d[80][56] d[80][57] d[80][58] d[80][59] d[80][60] d[80][61] d[80][62] d[80][63] d[80][64] d[80][65] d[80][66] d[80][67] d[80][68] d[80][69] d[80][70] d[80][71] d[80][72] d[80][73] d[80][74] d[80][75] d[80][76] d[80][77] d[80][78] d[80][79] d[80][80] </list>
2400.01/2401.40	v <values>46 15 47 24 26 21 37 5 2 56 79 43 4 58 66 50 44 51 28 27 41 33 71 38 77 25 80 8 59 34 52 17 11 54 69 49 16 12 10 57 48 67 32 39 72 36 6 20 70 22 0 23 74 14 76 13 55 63 9 7 31 65 61 35 45 3 40 30 78 62 73 19 68 64 53 29 75 60 42 18 1 * 5 1 1 0 1 5 1 5 2 0 0 2 5 0 1 1 3 1 1 1 0 0 2 2 2 0 2 5 0 0 1 2 1 1 0 1 2 0 2 0 0 0 6 1 2 10 5 1 3 0 10 10 1 10 0 0 0 10 0 0 0 0 6 0 0 0 2 0 5 1 2 3 0 2 5 2 0 0 2 4 * * 0 0 0 0 3 5 3 1 1 10 5 4 2 0 2 0 0 1 1 5 0 0 2 2 0 0 2 2 3 5 0 2 5 1 0 2 2 1 5 3 0 0 2 5 2 1 0 1 10 3 1 5 1 3 5 5 0 5 0 0 0 10 10 0 0 1 10 2 0 10 2 1 5 0 10 5 1 0 4 * * * 5 2 0 2 6 5 10 0 0 5 5 0 0 2 1 2 3 5 0 3 2 0 2 2 10 0 2 3 0 2 5 10 10 10 0 1 0 2 0 10 0 4 5 2 0 0 0 4 0 0 5 1 5 10 2 0 0 0 5 5 10 0 5 2 2 2 1 0 0 0 2 0 0 10 2 0 1 0 * * * * 1 5 4 0 5 0 4 0 0 5 2 0 0 0 5 6 0 6 4 2 0 10 1 5 0 0 0 1 1 0 0 5 5 3 0 2 2 5 5 1 4 3 0 2 2 5 4 5 2 0 1 5 0 0 5 2 4 1 1 2 5 0 3 0 0 10 5 5 2 0 0 5 1 5 0 0 5 * * * * * 0 1 1 5 4 5 0 1 5 1 10 10 0 10 0 0 0 3 1 5 1 0 10 5 2 1 10 1 5 2 1 2 5 0 10 1 10 4 0 2 1 5 4 2 4 2 2 1 0 0 0 2 0 5 1 0 2 10 1 5 3 2 1 0 5 6 5 2 0 5 2 1 0 1 5 5 * * * * * * 4 1 1 5 0 0 0 5 0 0 10 0 10 0 6 1 5 0 5 5 1 0 0 5 1 0 0 10 0 0 0 1 0 4 10 0 1 0 5 3 0 5 5 5 5 2 10 3 3 0 6 5 0 0 1 5 2 2 0 5 10 0 5 2 0 5 0 0 0 0 0 4 10 2 0 * * * * * * * 1 1 0 6 5 1 2 0 2 2 4 0 1 0 0 2 5 5 0 5 3 5 5 1 0 3 5 5 0 5 2 2 10 10 0 10 1 3 1 5 0 0 0 1 1 5 0 6 2 2 0 0 2 3 0 0 2 2 10 10 10 2 2 0 0 0 1 5 10 2 5 5 5 1 * * * * * * * * 5 0 0 5 10 2 5 2 3 5 5 10 0 2 0 5 6 2 10 5 5 5 2 5 2 2 5 5 10 0 5 5 3 0 0 2 5 2 5 10 2 2 0 1 0 1 1 5 5 2 2 0 0 1 0 10 0 10 10 5 2 2 1 0 2 2 0 0 0 3 0 0 0 * * * * * * * * * 0 2 0 6 0 0 4 0 0 2 2 0 1 4 1 2 6 1 2 2 0 1 0 0 1 5 2 0 6 2 0 5 0 5 5 2 0 2 10 0 2 5 0 5 1 1 1 10 0 0 0 5 10 2 1 1 5 6 5 3 0 6 1 5 3 0 1 0 5 1 5 5 * * * * * * * * * * 0 4 1 1 0 0 0 2 2 1 2 0 5 2 5 5 0 1 2 2 0 2 5 0 10 0 5 0 5 4 1 10 0 0 2 5 5 2 1 2 2 2 0 5 5 0 2 5 2 0 0 5 10 2 2 0 10 2 0 2 2 4 1 1 0 0 10 1 1 0 0 * * * * * * * * * * * 2 5 10 5 2 0 0 5 3 0 3 1 2 2 1 5 0 2 5 2 0 6 1 5 0 1 0 5 1 3 1 0 5 10 3 0 0 5 5 1 0 5 0 5 0 3 1 4 0 1 0 0 0 0 2 1 2 5 6 5 0 0 1 0 10 0 1 2 5 5 * * * * * * * * * * * * 0 5 0 5 5 6 2 0 0 3 3 3 10 2 1 2 2 1 1 0 10 2 0 1 4 2 10 10 10 5 2 0 0 5 0 10 0 0 5 5 0 3 5 2 2 2 5 6 2 5 2 0 1 0 10 4 0 0 5 5 0 5 4 1 2 0 0 5 10 * * * * * * * * * * * * * 2 0 2 5 2 0 1 5 2 5 2 2 3 5 5 0 1 2 4 2 5 4 5 5 5 5 10 1 0 0 0 3 0 0 1 10 0 10 5 1 0 4 3 0 2 0 2 4 1 10 2 1 0 5 5 10 2 2 0 2 0 0 1 2 1 10 0 10 * * * * * * * * * * * * * * 0 10 0 0 0 3 2 0 0 0 10 5 0 5 1 0 4 2 0 4 0 0 2 5 5 1 5 4 1 10 6 5 10 2 5 0 5 10 10 0 2 5 2 3 1 0 5 6 5 5 0 0 2 5 0 2 0 2 0 2 5 0 5 1 10 5 5 * * * * * * * * * * * * * * * 2 1 0 0 0 0 5 0 2 2 1 10 5 0 4 5 2 0 5 2 2 0 5 0 10 0 2 5 3 2 2 0 5 0 10 0 4 5 0 1 2 6 1 1 0 3 1 2 5 0 3 2 2 2 4 0 3 5 5 5 2 0 1 0 0 5 * * * * * * * * * * * * * * * * 5 0 2 2 0 5 0 3 2 10 5 0 1 2 0 10 10 1 0 5 0 0 5 5 10 5 5 0 4 10 0 5 1 1 5 10 2 0 2 2 5 5 0 5 0 2 1 1 10 0 0 1 10 2 5 4 10 4 4 0 5 5 0 0 0 * * * * * * * * * * * * * * * * * 10 2 3 4 0 10 0 10 1 0 1 0 5 2 2 5 4 5 5 10 5 0 2 1 10 0 0 1 1 5 0 1 5 10 1 5 1 0 1 0 0 5 2 0 5 10 3 0 0 0 4 1 0 10 5 5 3 2 2 0 0 2 5 5 * * * * * * * * * * * * * * * * * * 2 0 10 1 0 0 1 0 0 0 0 3 5 0 0 2 4 2 5 10 6 10 2 4 0 1 0 5 1 4 0 2 0 3 5 4 2 10 10 1 5 2 5 0 10 1 10 0 0 2 1 5 0 0 2 0 0 0 5 5 3 1 0 * * * * * * * * * * * * * * * * * * * 5 0 10 5 0 3 0 6 0 1 2 1 0 5 10 5 3 4 0 3 5 0 0 0 6 2 5 0 0 5 0 4 5 5 2 1 0 0 2 0 1 0 0 3 4 10 0 5 4 6 5 2 1 0 0 1 10 2 0 1 0 0 * * * * * * * * * * * * * * * * * * * * 5 0 10 2 5 0 10 0 1 3 6 0 5 0 1 0 2 0 2 2 2 0 2 2 2 4 10 0 2 0 0 0 2 5 2 2 0 5 10 2 0 0 0 10 10 2 5 5 4 2 0 5 0 5 3 0 6 4 0 0 5 * * * * * * * * * * * * * * * * * * * * * 5 2 5 5 5 0 0 1 5 2 10 2 1 5 2 10 5 4 2 2 3 3 2 4 0 1 1 2 10 5 4 5 5 0 2 10 2 1 1 5 0 2 2 1 5 2 4 10 0 0 1 0 5 5 1 1 5 2 0 0 * * * * * * * * * * * * * * * * * * * * * * 2 0 0 10 1 5 4 0 2 10 0 1 10 0 0 2 5 1 2 5 5 5 2 10 0 5 0 0 2 0 5 5 1 2 1 0 0 1 2 0 0 0 0 2 0 2 2 5 2 0 5 10 5 2 10 2 0 0 0 * * * * * * * * * * * * * * * * * * * * * * * 5 2 0 0 5 1 2 2 5 5 3 2 0 1 1 2 5 0 3 0 3 5 2 0 5 5 5 1 2 10 0 2 2 5 0 3 10 2 5 4 0 10 1 2 2 2 3 1 2 0 2 0 1 3 5 0 5 2 * * * * * * * * * * * * * * * * * * * * * * * * 10 5 5 0 2 2 0 5 0 2 10 0 1 5 5 0 1 0 0 2 0 4 10 1 0 5 2 2 5 10 1 5 0 3 10 1 5 0 1 0 4 5 0 1 3 2 5 2 0 0 1 5 4 5 3 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * 2 5 10 0 2 5 5 2 2 5 2 0 0 1 5 1 5 5 1 5 2 2 1 1 0 2 2 1 0 1 2 0 0 0 2 0 0 5 2 1 1 1 2 0 2 5 10 2 5 1 2 0 0 2 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * 10 5 1 1 0 5 5 1 5 2 2 0 4 1 1 0 2 0 5 0 0 4 1 0 0 1 2 0 2 2 2 5 0 1 6 2 0 5 0 5 2 5 5 2 5 10 0 5 10 0 0 0 0 5 10 * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 5 5 2 0 2 2 5 5 6 4 1 6 2 0 0 2 1 0 1 4 0 2 5 2 1 3 0 10 0 1 5 2 10 4 1 0 3 2 4 5 0 0 2 2 0 2 2 0 0 0 0 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 1 1 1 0 2 2 10 6 0 10 0 10 2 0 1 1 1 5 2 2 2 2 0 0 0 0 10 0 3 0 10 2 4 5 0 2 0 1 10 1 0 0 0 0 3 1 1 2 5 0 5 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 3 1 5 2 2 1 10 3 0 0 2 10 5 3 0 10 0 0 2 10 2 0 0 0 0 0 0 5 3 5 0 0 5 0 5 5 0 0 3 2 0 5 0 0 5 0 10 0 0 10 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 5 5 0 10 0 2 1 0 5 5 3 2 1 2 0 0 3 0 5 5 6 10 5 0 10 0 5 5 0 2 0 0 5 0 0 4 5 5 5 0 0 2 0 0 2 3 2 1 1 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 0 2 0 1 2 10 0 0 6 0 0 0 5 0 1 5 6 0 5 4 5 0 6 5 3 1 10 0 0 0 0 2 5 2 1 0 2 0 0 1 0 1 10 0 2 3 5 5 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 5 1 5 0 5 1 5 0 1 5 1 2 10 10 0 2 0 1 0 10 5 2 2 5 5 5 2 1 1 3 2 0 3 5 5 5 10 0 10 0 2 0 0 2 2 5 10 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 5 0 0 2 1 1 1 0 10 5 0 3 0 5 6 3 1 1 0 1 2 5 2 5 0 1 5 5 2 0 10 5 1 3 10 10 10 2 4 0 5 1 0 4 4 4 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 0 2 2 10 0 5 0 0 2 2 1 0 0 10 2 2 0 1 5 5 5 4 0 1 0 0 5 10 10 3 0 0 5 0 5 2 0 1 5 0 0 2 2 2 0 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 5 0 5 2 6 2 0 2 0 5 2 5 6 5 5 2 0 5 2 0 0 0 0 5 0 5 5 3 2 4 3 5 2 5 0 4 0 5 1 0 0 1 10 6 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 1 1 5 2 6 6 0 0 1 4 5 0 1 10 3 4 2 4 0 2 3 0 0 0 2 4 1 0 1 5 0 2 2 1 4 0 2 5 5 0 2 1 4 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 4 0 3 5 5 1 0 4 2 4 5 2 10 2 0 10 1 2 3 1 2 2 3 10 5 3 5 0 0 0 0 0 2 0 10 3 0 0 5 1 0 5 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 10 1 10 10 0 5 1 1 10 5 0 2 1 5 1 5 0 1 10 0 0 10 0 10 2 10 4 10 4 3 5 0 2 3 2 3 0 5 10 2 0 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 2 0 6 2 1 0 1 2 10 2 6 4 0 1 2 2 1 5 5 2 6 4 1 6 10 5 0 0 0 0 0 2 5 10 1 1 0 2 1 5 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 2 0 0 5 10 0 5 5 0 5 5 10 0 10 3 2 0 2 2 5 0 1 2 1 1 0 0 10 10 0 5 5 5 5 5 1 2 2 1 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 5 5 0 5 4 5 0 5 2 5 1 5 10 2 3 0 10 0 6 2 5 5 2 10 5 2 1 0 2 5 4 0 0 2 0 2 0 5 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 5 0 5 2 3 0 0 3 5 1 2 1 3 6 0 2 10 5 5 5 5 0 2 10 1 1 0 0 2 2 0 2 0 2 10 0 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 10 5 1 5 2 2 1 0 1 5 0 0 1 1 0 0 4 5 2 1 2 5 10 1 5 2 2 2 1 10 2 5 2 0 3 5 10 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 0 0 5 10 2 2 5 0 1 5 10 2 3 5 0 0 5 3 0 5 2 2 0 1 5 0 10 2 3 0 2 2 0 1 5 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 5 0 3 0 10 5 10 6 2 2 1 2 10 4 5 0 10 5 3 0 0 5 4 2 0 1 5 3 5 5 0 5 5 5 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 1 2 10 0 0 5 2 1 1 10 0 10 5 10 2 10 5 4 5 6 1 1 10 0 5 5 1 2 6 10 1 5 0 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 3 0 10 5 5 2 0 0 5 3 0 0 2 2 5 2 2 5 10 10 5 4 0 0 6 2 2 0 2 1 5 5 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 0 0 0 0 10 5 2 1 0 0 2 3 2 4 10 2 1 5 0 0 2 2 0 10 4 4 3 2 5 5 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 6 2 10 2 4 0 2 2 10 0 1 0 0 5 0 5 0 2 5 1 2 0 0 2 1 0 2 0 1 0 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 2 2 10 5 1 0 0 0 2 2 4 5 0 2 5 5 0 2 0 5 5 10 4 0 0 2 0 0 10 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 10 2 4 1 2 1 0 10 10 0 10 10 1 0 1 0 1 0 2 5 0 1 2 0 3 2 10 2 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 5 10 0 5 10 5 2 10 0 10 5 0 5 1 0 1 10 1 5 5 0 5 0 0 5 10 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 5 1 4 5 5 5 10 0 5 0 1 1 0 0 10 1 2 0 1 2 10 3 5 0 6 5 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 5 4 5 0 2 10 2 3 6 0 0 4 0 0 0 5 1 4 0 5 0 2 5 5 10 10 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 4 5 0 0 2 0 0 0 0 1 2 4 5 2 3 5 10 2 0 0 10 5 1 1 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 5 5 4 2 0 0 5 0 2 3 5 5 1 5 10 10 6 0 2 2 0 5 10 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 4 2 0 0 10 0 0 10 5 5 10 0 5 5 1 5 0 0 1 0 5 1 1 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 2 0 1 2 0 10 5 0 6 0 5 1 5 0 3 0 1 10 0 1 4 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 2 2 1 1 2 5 5 2 0 5 0 5 0 1 5 1 0 0 5 10 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 0 0 1 5 0 0 0 0 2 5 2 0 2 2 0 1 2 2 3 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 0 0 5 3 2 0 4 4 10 1 0 0 0 5 1 5 0 2 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 4 4 1 5 0 0 6 10 1 2 2 4 2 0 2 0 2 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 4 1 4 2 5 0 10 5 5 4 0 6 0 5 2 2 1 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 5 6 0 0 1 0 2 1 5 5 6 0 0 4 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 0 0 0 1 1 1 0 2 5 0 0 3 5 10 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 0 5 3 0 2 6 2 5 2 5 2 0 2 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 5 0 2 1 0 2 0 5 5 1 5 5 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 0 2 5 0 1 1 5 1 4 1 5 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 5 1 0 5 2 1 2 2 5 2 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 6 2 2 5 0 0 5 3 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 2 2 0 4 0 3 0 10 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 10 2 1 4 5 5 2 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 0 10 2 5 2 1 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 10 0 4 0 5 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 0 0 5 2 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 4 10 0 2 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 2 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 

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-4240538-1500638526/watcher-4240538-1500638526 -o /tmp/evaluation-result-4240538-1500638526/solver-4240538-1500638526 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1500623785-3430 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4240538-1500638526.xml 

pid=6008
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.18 2.08 2.06 2/187 6011
/proc/meminfo: memFree=31597592/32770624 swapFree=6176/417224
[pid=6011] ppid=6008 vsize=27252 CPUtime=0 cores=1,3,5,7
/proc/6011/stat : 6011 (cosoco) R 6008 6011 3398 0 -1 4202496 1003 0 0 0 0 0 0 0 20 0 1 0 18511151 27906048 840 33554432000 4194304 5970956 140721195592848 140721195589496 139625346710501 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 37007360 140721195599041 140721195599171 140721195599171 140721195601870 0
/proc/6011/statm: 6813 840 703 434 0 177 0

[startup+0.10011 s]
/proc/loadavg: 2.18 2.08 2.06 2/187 6011
/proc/meminfo: memFree=31597592/32770624 swapFree=6176/417224
[pid=6011] ppid=6008 vsize=34452 CPUtime=0.09 cores=1,3,5,7
/proc/6011/stat : 6011 (cosoco) R 6008 6011 3398 0 -1 4202496 2813 0 0 0 9 0 0 0 20 0 1 0 18511151 35278848 2617 33554432000 4194304 5970956 140721195592848 140721195589448 5415556 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 37007360 140721195599041 140721195599171 140721195599171 140721195601870 0
/proc/6011/statm: 8613 2617 716 434 0 1977 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34452

[startup+0.200312 s]
/proc/loadavg: 2.18 2.08 2.06 2/187 6011
/proc/meminfo: memFree=31597592/32770624 swapFree=6176/417224
[pid=6011] ppid=6008 vsize=121244 CPUtime=0.18 cores=1,3,5,7
/proc/6011/stat : 6011 (cosoco) R 6008 6011 3398 0 -1 4202496 24561 0 0 0 16 2 0 0 20 0 1 0 18511151 124153856 24344 33554432000 4194304 5970956 140721195592848 140721195588728 5472368 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 37007360 140721195599041 140721195599171 140721195599171 140721195601870 0
/proc/6011/statm: 30311 24344 723 434 0 23675 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 121244

[startup+0.300304 s]
/proc/loadavg: 2.18 2.08 2.06 2/187 6011
/proc/meminfo: memFree=31597592/32770624 swapFree=6176/417224
[pid=6011] ppid=6008 vsize=124856 CPUtime=0.29 cores=1,3,5,7
/proc/6011/stat : 6011 (cosoco) R 6008 6011 3398 0 -1 4202496 25493 0 0 0 26 3 0 0 20 0 1 0 18511151 127852544 25267 33554432000 4194304 5970956 140721195592848 140721195588104 4932549 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 37007360 140721195599041 140721195599171 140721195599171 140721195601870 0
/proc/6011/statm: 31253 25267 732 434 0 24617 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 124856

[startup+0.700289 s]
/proc/loadavg: 2.18 2.08 2.06 2/187 6011
/proc/meminfo: memFree=31597592/32770624 swapFree=6176/417224
[pid=6011] ppid=6008 vsize=290688 CPUtime=0.68 cores=1,3,5,7
/proc/6011/stat : 6011 (cosoco) R 6008 6011 3398 0 -1 4202496 66994 0 0 0 61 7 0 0 20 0 1 0 18511151 297664512 66781 33554432000 4194304 5970956 140721195592848 140721195580168 4934366 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 37007360 140721195599041 140721195599171 140721195599171 140721195601870 0
/proc/6011/statm: 72672 66781 763 434 0 66036 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 290688

[startup+1.50027 s]
/proc/loadavg: 2.17 2.08 2.06 3/188 6012
/proc/meminfo: memFree=31332448/32770624 swapFree=6176/417224
[pid=6011] ppid=6008 vsize=297564 CPUtime=1.49 cores=1,3,5,7
/proc/6011/stat : 6011 (cosoco) R 6008 6011 3398 0 -1 4202496 68698 0 0 0 141 8 0 0 20 0 1 0 18511151 304705536 68497 33554432000 4194304 5970956 140721195592848 140721195589880 139625346710501 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 37007360 140721195599041 140721195599171 140721195599171 140721195601870 0
/proc/6011/statm: 74391 68497 780 434 0 67755 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 297564

[startup+3.10028 s]
/proc/loadavg: 2.17 2.08 2.06 3/188 6012
/proc/meminfo: memFree=31300448/32770624 swapFree=6176/417224
[pid=6011] ppid=6008 vsize=379484 CPUtime=3.09 cores=1,3,5,7
/proc/6011/stat : 6011 (cosoco) R 6008 6011 3398 0 -1 4202496 134557 0 0 0 296 13 0 0 20 0 1 0 18511151 388591616 88754 33554432000 4194304 5970956 140721195592848 140721195589672 139625346779691 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 37007360 140721195599041 140721195599171 140721195599171 140721195601870 0
/proc/6011/statm: 94871 88781 780 434 0 88235 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 379484

[startup+6.30029 s]
/proc/loadavg: 2.17 2.08 2.06 3/188 6012
/proc/meminfo: memFree=31232076/32770624 swapFree=6176/417224
[pid=6011] ppid=6008 vsize=393196 CPUtime=6.29 cores=1,3,5,7
/proc/6011/stat : 6011 (cosoco) R 6008 6011 3398 0 -1 4202496 236084 0 0 0 612 17 0 0 20 0 1 0 18511151 402632704 91813 33554432000 4194304 5970956 140721195592848 140721195589672 4934318 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 37007360 140721195599041 140721195599171 140721195599171 140721195601870 0
/proc/6011/statm: 98299 91813 780 434 0 91663 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 393196

[startup+12.7003 s]
/proc/loadavg: 2.14 2.07 2.06 3/188 6012
/proc/meminfo: memFree=31231772/32770624 swapFree=6176/417224
[pid=6011] ppid=6008 vsize=393632 CPUtime=12.68 cores=1,3,5,7
/proc/6011/stat : 6011 (cosoco) R 6008 6011 3398 0 -1 4202496 297339 0 0 0 1249 19 0 0 20 0 1 0 18511151 403079168 91908 33554432000 4194304 5970956 140721195592848 140721195580152 4934272 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 37007360 140721195599041 140721195599171 140721195599171 140721195601870 0
/proc/6011/statm: 98408 91908 782 434 0 91772 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 393632

[startup+25.5002 s]
/proc/loadavg: 2.12 2.07 2.05 3/188 6012
/proc/meminfo: memFree=31228488/32770624 swapFree=6176/417280
[pid=6011] ppid=6008 vsize=397104 CPUtime=25.47 cores=1,3,5,7
/proc/6011/stat : 6011 (cosoco) R 6008 6011 3398 0 -1 4202496 369247 0 0 0 2524 23 0 0 20 0 1 0 18511151 406634496 92686 33554432000 4194304 5970956 140721195592848 140721195589560 5045308 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 37007360 140721195599041 140721195599171 140721195599171 140721195601870 0
/proc/6011/statm: 99276 92686 782 434 0 92640 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 397104

[startup+51.1004 s]
/proc/loadavg: 2.25 2.11 2.07 3/188 6012
/proc/meminfo: memFree=31223984/32770624 swapFree=6176/417304
[pid=6011] ppid=6008 vsize=401040 CPUtime=51.06 cores=1,3,5,7
/proc/6011/stat : 6011 (cosoco) R 6008 6011 3398 0 -1 4202496 483342 0 0 0 5076 30 0 0 20 0 1 0 18511151 410664960 93660 33554432000 4194304 5970956 140721195592848 140721195590408 4934318 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 37007360 140721195599041 140721195599171 140721195599171 140721195601870 0
/proc/6011/statm: 100260 93660 782 434 0 93624 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 401040

[startup+102.3 s]
/proc/loadavg: 2.11 2.09 2.06 3/188 6013
/proc/meminfo: memFree=31218404/32770624 swapFree=6176/417336
[pid=6011] ppid=6008 vsize=407116 CPUtime=102.23 cores=1,3,5,7
/proc/6011/stat : 6011 (cosoco) R 6008 6011 3398 0 -1 4202496 545189 0 0 0 10189 34 0 0 20 0 1 0 18511151 416886784 95135 33554432000 4194304 5970956 140721195592848 140721195589560 4934366 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 37007360 140721195599041 140721195599171 140721195599171 140721195601870 0
/proc/6011/statm: 101779 95135 782 434 0 95143 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 407116

[startup+162.3 s]
/proc/loadavg: 2.10 2.09 2.06 3/188 6014
/proc/meminfo: memFree=31215768/32770624 swapFree=6176/417364
[pid=6011] ppid=6008 vsize=409060 CPUtime=162.18 cores=1,3,5,7
/proc/6011/stat : 6011 (cosoco) R 6008 6011 3398 0 -1 4202496 579656 0 0 0 16182 36 0 0 20 0 1 0 18511151 418877440 95582 33554432000 4194304 5970956 140721195592848 140721195589560 4934354 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 37007360 140721195599041 140721195599171 140721195599171 140721195601870 0
/proc/6011/statm: 102265 95582 782 434 0 95629 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 409060

[startup+222.306 s]
/proc/loadavg: 2.04 2.08 2.06 3/187 6015
/proc/meminfo: memFree=31214220/32770624 swapFree=6176/417400
[pid=6011] ppid=6008 vsize=409612 CPUtime=222.13 cores=1,3,5,7
/proc/6011/stat : 6011 (cosoco) R 6008 6011 3398 0 -1 4202496 594623 0 0 0 22176 37 0 0 20 0 1 0 18511151 419442688 96186 33554432000 4194304 5970956 140721195592848 140721195589560 5136608 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 37007360 140721195599041 140721195599171 140721195599171 140721195601870 0
/proc/6011/statm: 102403 96186 782 434 0 95767 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 409612

[startup+282.3 s]
/proc/loadavg: 2.01 2.06 2.05 3/187 6016
/proc/meminfo: memFree=31211728/32770624 swapFree=6176/417428
[pid=6011] ppid=6008 vsize=410176 CPUtime=282.1 cores=1,3,5,7
/proc/6011/stat : 6011 (cosoco) R 6008 6011 3398 0 -1 4202496 596203 0 0 0 28172 38 0 0 20 0 1 0 18511151 420020224 96651 33554432000 4194304 5970956 140721195592848 140721195589560 4933153 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 37007360 140721195599041 140721195599171 140721195599171 140721195601870 0
/proc/6011/statm: 102544 96651 782 434 0 95908 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 410176

[startup+342.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/187 6017
/proc/meminfo: memFree=31211792/32770624 swapFree=6176/417460
[pid=6011] ppid=6008 vsize=410724 CPUtime=342.07 cores=1,3,5,7
/proc/6011/stat : 6011 (cosoco) R 6008 6011 3398 0 -1 4202496 596744 0 0 0 34169 38 0 0 20 0 1 0 18511151 420581376 96767 33554432000 4194304 5970956 140721195592848 140721195589560 4934389 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 37007360 140721195599041 140721195599171 140721195599171 140721195601870 0
/proc/6011/statm: 102681 96767 782 434 0 96045 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 410724

[startup+402.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 6018
/proc/meminfo: memFree=31211732/32770624 swapFree=6176/417492
[pid=6011] ppid=6008 vsize=410724 CPUtime=402.03 cores=1,3,5,7
/proc/6011/stat : 6011 (cosoco) R 6008 6011 3398 0 -1 4202496 597037 0 0 0 40165 38 0 0 20 0 1 0 18511151 420581376 96767 33554432000 4194304 5970956 140721195592848 140721195589560 5045308 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 37007360 140721195599041 140721195599171 140721195599171 140721195601870 0
/proc/6011/statm: 102681 96767 782 434 0 96045 0
Current children cumulated CPU time (s) 402.03
Current children cumulated vsize (KiB) 410724

[startup+462.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 6019
/proc/meminfo: memFree=31211240/32770624 swapFree=6176/417524
[pid=6011] ppid=6008 vsize=410724 CPUtime=462 cores=1,3,5,7
/proc/6011/stat : 6011 (cosoco) R 6008 6011 3398 0 -1 4202496 597331 0 0 0 46162 38 0 0 20 0 1 0 18511151 420581376 96767 33554432000 4194304 5970956 140721195592848 140721195589560 4933151 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 37007360 140721195599041 140721195599171 140721195599171 140721195601870 0
/proc/6011/statm: 102681 96767 782 434 0 96045 0
Current children cumulated CPU time (s) 462
Current children cumulated vsize (KiB) 410724

[startup+522.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 6027
/proc/meminfo: memFree=31210572/32770624 swapFree=6176/417556
[pid=6011] ppid=6008 vsize=410868 CPUtime=521.96 cores=1,3,5,7
/proc/6011/stat : 6011 (cosoco) R 6008 6011 3398 0 -1 4202496 597808 0 0 0 52158 38 0 0 20 0 1 0 18511151 420728832 96849 33554432000 4194304 5970956 140721195592848 140721195589560 5047480 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 37007360 140721195599041 140721195599171 140721195599171 140721195601870 0
/proc/6011/statm: 102717 96849 782 434 0 96081 0
Current children cumulated CPU time (s) 521.96
Current children cumulated vsize (KiB) 410868

[startup+582.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/187 6028
/proc/meminfo: memFree=31210700/32770624 swapFree=6176/417592
[pid=6011] ppid=6008 vsize=410868 CPUtime=581.93 cores=1,3,5,7
/proc/6011/stat : 6011 (cosoco) R 6008 6011 3398 0 -1 4202496 598054 0 0 0 58155 38 0 0 20 0 1 0 18511151 420728832 96849 33554432000 4194304 5970956 140721195592848 140721195589560 5047081 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 37007360 140721195599041 140721195599171 140721195599171 140721195601870 0
/proc/6011/statm: 102717 96849 782 434 0 96081 0
Current children cumulated CPU time (s) 581.93
Current children cumulated vsize (KiB) 410868


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


[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 2.05 4/187 6112
/proc/meminfo: memFree=31131744/32770624 swapFree=6176/418048
[pid=6011] ppid=6008 vsize=411432 CPUtime=1481.41 cores=1,3,5,7
/proc/6011/stat : 6011 (cosoco) R 6008 6011 3398 0 -1 4202496 601728 0 0 0 148103 38 0 0 20 0 1 0 18511151 421306368 96961 33554432000 4194304 5970956 140721195592848 140721195590408 5319216 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 37007360 140721195599041 140721195599171 140721195599171 140721195601870 0
/proc/6011/statm: 102858 96961 782 434 0 96222 0
Current children cumulated CPU time (s) 1481.41
Current children cumulated vsize (KiB) 411432

[startup+1542.31 s]
/proc/loadavg: 2.11 2.05 2.05 4/187 6113
/proc/meminfo: memFree=31130752/32770624 swapFree=6176/418076
[pid=6011] ppid=6008 vsize=411432 CPUtime=1541.38 cores=1,3,5,7
/proc/6011/stat : 6011 (cosoco) R 6008 6011 3398 0 -1 4202496 601941 0 0 0 154100 38 0 0 20 0 1 0 18511151 421306368 96961 33554432000 4194304 5970956 140721195592848 140721195590408 4934889 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 37007360 140721195599041 140721195599171 140721195599171 140721195601870 0
/proc/6011/statm: 102858 96961 782 434 0 96222 0
Current children cumulated CPU time (s) 1541.38
Current children cumulated vsize (KiB) 411432

[startup+1602.3 s]
/proc/loadavg: 2.04 2.04 2.05 4/187 6115
/proc/meminfo: memFree=31128636/32770624 swapFree=6176/418100
[pid=6011] ppid=6008 vsize=411432 CPUtime=1601.34 cores=1,3,5,7
/proc/6011/stat : 6011 (cosoco) R 6008 6011 3398 0 -1 4202496 602158 0 0 0 160096 38 0 0 20 0 1 0 18511151 421306368 96961 33554432000 4194304 5970956 140721195592848 140721195590408 4934521 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 37007360 140721195599041 140721195599171 140721195599171 140721195601870 0
/proc/6011/statm: 102858 96961 782 434 0 96222 0
Current children cumulated CPU time (s) 1601.34
Current children cumulated vsize (KiB) 411432

[startup+1662.3 s]
/proc/loadavg: 2.07 2.05 2.05 3/187 6238
/proc/meminfo: memFree=30501348/32770624 swapFree=6176/418212
[pid=6011] ppid=6008 vsize=411432 CPUtime=1661.31 cores=1,3,5,7
/proc/6011/stat : 6011 (cosoco) R 6008 6011 3398 0 -1 4202496 602361 0 0 0 166093 38 0 0 20 0 1 0 18511151 421306368 96961 33554432000 4194304 5970956 140721195592848 140721195590408 4934420 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 37007360 140721195599041 140721195599171 140721195599171 140721195601870 0
/proc/6011/statm: 102858 96961 782 434 0 96222 0
Current children cumulated CPU time (s) 1661.31
Current children cumulated vsize (KiB) 411432

[startup+1722.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/187 6246
/proc/meminfo: memFree=29259904/32770624 swapFree=6176/418256
[pid=6011] ppid=6008 vsize=411432 CPUtime=1721.27 cores=1,3,5,7
/proc/6011/stat : 6011 (cosoco) R 6008 6011 3398 0 -1 4202496 602596 0 0 0 172089 38 0 0 20 0 1 0 18511151 421306368 96961 33554432000 4194304 5970956 140721195592848 140721195590408 4934366 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 37007360 140721195599041 140721195599171 140721195599171 140721195601870 0
/proc/6011/statm: 102858 96961 782 434 0 96222 0
Current children cumulated CPU time (s) 1721.27
Current children cumulated vsize (KiB) 411432

[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 6247
/proc/meminfo: memFree=29104612/32770624 swapFree=6176/418288
[pid=6011] ppid=6008 vsize=411432 CPUtime=1781.24 cores=1,3,5,7
/proc/6011/stat : 6011 (cosoco) R 6008 6011 3398 0 -1 4202496 602807 0 0 0 178086 38 0 0 20 0 1 0 18511151 421306368 96961 33554432000 4194304 5970956 140721195592848 140721195590408 4934318 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 37007360 140721195599041 140721195599171 140721195599171 140721195601870 0
/proc/6011/statm: 102858 96961 782 434 0 96222 0
Current children cumulated CPU time (s) 1781.24
Current children cumulated vsize (KiB) 411432

[startup+1842.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 6248
/proc/meminfo: memFree=29104064/32770624 swapFree=6176/418328
[pid=6011] ppid=6008 vsize=411432 CPUtime=1841.21 cores=1,3,5,7
/proc/6011/stat : 6011 (cosoco) R 6008 6011 3398 0 -1 4202496 603015 0 0 0 184083 38 0 0 20 0 1 0 18511151 421306368 96961 33554432000 4194304 5970956 140721195592848 140721195590408 4934375 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 37007360 140721195599041 140721195599171 140721195599171 140721195601870 0
/proc/6011/statm: 102858 96961 782 434 0 96222 0
Current children cumulated CPU time (s) 1841.21
Current children cumulated vsize (KiB) 411432

[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 6249
/proc/meminfo: memFree=29104172/32770624 swapFree=6176/418356
[pid=6011] ppid=6008 vsize=411432 CPUtime=1901.18 cores=1,3,5,7
/proc/6011/stat : 6011 (cosoco) R 6008 6011 3398 0 -1 4202496 603234 0 0 0 190080 38 0 0 20 0 1 0 18511151 421306368 96961 33554432000 4194304 5970956 140721195592848 140721195590408 4934327 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 37007360 140721195599041 140721195599171 140721195599171 140721195601870 0
/proc/6011/statm: 102858 96961 782 434 0 96222 0
Current children cumulated CPU time (s) 1901.18
Current children cumulated vsize (KiB) 411432

[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 6250
/proc/meminfo: memFree=29104728/32770624 swapFree=6176/418384
[pid=6011] ppid=6008 vsize=411432 CPUtime=1961.15 cores=1,3,5,7
/proc/6011/stat : 6011 (cosoco) R 6008 6011 3398 0 -1 4202496 603467 0 0 0 196077 38 0 0 20 0 1 0 18511151 421306368 96961 33554432000 4194304 5970956 140721195592848 140721195590408 4934527 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 37007360 140721195599041 140721195599171 140721195599171 140721195601870 0
/proc/6011/statm: 102858 96961 782 434 0 96222 0
Current children cumulated CPU time (s) 1961.15
Current children cumulated vsize (KiB) 411432

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6251
/proc/meminfo: memFree=29104896/32770624 swapFree=6176/418412
[pid=6011] ppid=6008 vsize=411432 CPUtime=2021.11 cores=1,3,5,7
/proc/6011/stat : 6011 (cosoco) R 6008 6011 3398 0 -1 4202496 603681 0 0 0 202073 38 0 0 20 0 1 0 18511151 421306368 96961 33554432000 4194304 5970956 140721195592848 140721195590408 4934289 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 37007360 140721195599041 140721195599171 140721195599171 140721195601870 0
/proc/6011/statm: 102858 96961 782 434 0 96222 0
Current children cumulated CPU time (s) 2021.11
Current children cumulated vsize (KiB) 411432

[startup+2082.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 6252
/proc/meminfo: memFree=29105016/32770624 swapFree=6176/418448
[pid=6011] ppid=6008 vsize=411432 CPUtime=2081.09 cores=1,3,5,7
/proc/6011/stat : 6011 (cosoco) R 6008 6011 3398 0 -1 4202496 603895 0 0 0 208071 38 0 0 20 0 1 0 18511151 421306368 96961 33554432000 4194304 5970956 140721195592848 140721195590408 4933151 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 37007360 140721195599041 140721195599171 140721195599171 140721195601870 0
/proc/6011/statm: 102858 96961 782 434 0 96222 0
Current children cumulated CPU time (s) 2081.09
Current children cumulated vsize (KiB) 411432

[startup+2142.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 6253
/proc/meminfo: memFree=29105028/32770624 swapFree=6176/418472
[pid=6011] ppid=6008 vsize=411432 CPUtime=2141.05 cores=1,3,5,7
/proc/6011/stat : 6011 (cosoco) R 6008 6011 3398 0 -1 4202496 604118 0 0 0 214067 38 0 0 20 0 1 0 18511151 421306368 96961 33554432000 4194304 5970956 140721195592848 140721195590408 4934354 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 37007360 140721195599041 140721195599171 140721195599171 140721195601870 0
/proc/6011/statm: 102858 96961 782 434 0 96222 0
Current children cumulated CPU time (s) 2141.05
Current children cumulated vsize (KiB) 411432

[startup+2202.31 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 6254
/proc/meminfo: memFree=29103960/32770624 swapFree=6176/418500
[pid=6011] ppid=6008 vsize=411432 CPUtime=2201.02 cores=1,3,5,7
/proc/6011/stat : 6011 (cosoco) R 6008 6011 3398 0 -1 4202496 604417 0 0 0 220064 38 0 0 20 0 1 0 18511151 421306368 96961 33554432000 4194304 5970956 140721195592848 140721195590408 5045304 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 37007360 140721195599041 140721195599171 140721195599171 140721195601870 0
/proc/6011/statm: 102858 96961 782 434 0 96222 0
Current children cumulated CPU time (s) 2201.02
Current children cumulated vsize (KiB) 411432

[startup+2262.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/187 6255
/proc/meminfo: memFree=29101964/32770624 swapFree=6176/418532
[pid=6011] ppid=6008 vsize=411432 CPUtime=2260.98 cores=1,3,5,7
/proc/6011/stat : 6011 (cosoco) R 6008 6011 3398 0 -1 4202496 604679 0 0 0 226060 38 0 0 20 0 1 0 18511151 421306368 96961 33554432000 4194304 5970956 140721195592848 140721195590408 4934318 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 37007360 140721195599041 140721195599171 140721195599171 140721195601870 0
/proc/6011/statm: 102858 96961 782 434 0 96222 0
Current children cumulated CPU time (s) 2260.98
Current children cumulated vsize (KiB) 411432

[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 6263
/proc/meminfo: memFree=29100744/32770624 swapFree=6176/418564
[pid=6011] ppid=6008 vsize=411432 CPUtime=2320.94 cores=1,3,5,7
/proc/6011/stat : 6011 (cosoco) R 6008 6011 3398 0 -1 4202496 604894 0 0 0 232056 38 0 0 20 0 1 0 18511151 421306368 96961 33554432000 4194304 5970956 140721195592848 140721195590408 4934327 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 37007360 140721195599041 140721195599171 140721195599171 140721195601870 0
/proc/6011/statm: 102858 96961 782 434 0 96222 0
Current children cumulated CPU time (s) 2320.94
Current children cumulated vsize (KiB) 411432

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6264
/proc/meminfo: memFree=29100080/32770624 swapFree=6176/418592
[pid=6011] ppid=6008 vsize=411432 CPUtime=2380.91 cores=1,3,5,7
/proc/6011/stat : 6011 (cosoco) R 6008 6011 3398 0 -1 4202496 605124 0 0 0 238052 39 0 0 20 0 1 0 18511151 421306368 96961 33554432000 4194304 5970956 140721195592848 140721195590408 4933182 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 37007360 140721195599041 140721195599171 140721195599171 140721195601870 0
/proc/6011/statm: 102858 96961 782 434 0 96222 0
Current children cumulated CPU time (s) 2380.91
Current children cumulated vsize (KiB) 411432



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2401.41 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6264
/proc/meminfo: memFree=29100668/32770624 swapFree=6176/418600
[pid=6011] ppid=6008 vsize=411432 CPUtime=2400.01 cores=1,3,5,7
/proc/6011/stat : 6011 (cosoco) R 6008 6011 3398 0 -1 4202496 605131 0 0 0 239962 39 0 0 20 0 1 0 18511151 421306368 96961 33554432000 4194304 5970956 140721195592848 140721195590408 4934346 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 37007360 140721195599041 140721195599171 140721195599171 140721195601870 0
/proc/6011/statm: 102858 96961 782 434 0 96222 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 411432

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

Child status: 1
Real time (s): 2401.41
CPU time (s): 2400.02
CPU user time (s): 2399.62
CPU system time (s): 0.39278
CPU usage (%): 99.942
Max. virtual memory (cumulated for all children) (KiB): 411432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.62
system time used= 0.39278
maximum resident set size= 387892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 605165
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= 93
involuntary context switches= 120707

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.52661 second user time and 9.99849 second system time

The end

Begin job on node105 at 2017-07-21 14:02:06
IDJOB=4240538
IDBENCH=123121
IDSOLVER=2620
FILE ID=node105/4240538-1500638526
RUNJOBID= node105-1500623785-3430
PBS_JOBID= 20623022
Free space on /tmp= 62012 MiB

SOLVER NAME= cosoco 1.1
BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-sko81.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4240538-1500638526/watcher-4240538-1500638526 -o /tmp/evaluation-result-4240538-1500638526/solver-4240538-1500638526 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1500623785-3430 --watchdog 2560  HOME/cosoco -lc -model -restarts HOME/instance-4240538-1500638526.xml

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

MD5SUM BENCH= 7967f0a5d6026ea184db99fec624e08d
RANDOM SEED=529975239

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

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

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.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.47
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31598392 kB
MemAvailable:   32008108 kB
Buffers:          163404 kB
Cached:           534844 kB
SwapCached:            0 kB
Active:           319896 kB
Inactive:         434272 kB
Active(anon):      58524 kB
Inactive(anon):    17048 kB
Active(file):     261372 kB
Inactive(file):   417224 kB
Unevictable:        6176 kB
Mlocked:            6184 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2408 kB
Writeback:            44 kB
AnonPages:         61456 kB
Mapped:            34988 kB
Shmem:             17044 kB
Slab:             119140 kB
SReclaimable:      93912 kB
SUnreclaim:        25228 kB
KernelStack:        3328 kB
PageTables:         5088 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     336508 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 62008 MiB
End job on node105 at 2017-07-21 14:42:07