0.09/0.21	c best=?? lower=0 upper=107520 
4.59/4.68	c
4.59/4.68	c This is cosoco 1.12 --  
4.59/4.68	c
4.59/4.68	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4298906-1532775038.xml 
4.59/4.68	c enable optimization
4.59/4.68	c ========================================[ Problem Statistics ]===========================================
4.59/4.68	c |                                                                                                       
4.59/4.68	c |  Parse time        :         0.17 s 
4.59/4.68	c |
4.59/4.68	c |               Variables: 4160
4.59/4.68	c |            Domain Sizes: 8..64
4.59/4.68	c |
4.59/4.68	c |             Constraints: 2018
4.59/4.68	c |                   Arity: 3..2016  -- Ternary: 2016
4.59/4.68	c | 
4.59/4.68	c |                   Types: 
4.59/4.68	c |                          All Different: 1
4.59/4.68	c |                          Extension: 2016  (nb tuples: 4032..4032) -- (shared: 2015)
4.59/4.68	c |                          Sum: 1
4.59/4.68	c |                          
4.59/4.68	c |               Objective: Minimize Sum
4.59/4.68	
4.59/4.68	c =========================================================================================================
4.59/4.68	o 29720
4.59/4.68	c    1 calls to solver: best=29720 lower=0 upper=29719 
7.29/7.37	o 29105
29.38/29.44	o 29042
29.38/29.44	c    3 calls to solver: best=29042 lower=0 upper=29041 
34.99/35.09	o 28988
44.09/44.16	o 28934
44.09/44.16	c    5 calls to solver: best=28934 lower=0 upper=28933 
79.57/79.60	o 28926
280.85/280.92	o 28923
280.85/280.92	c    7 calls to solver: best=28923 lower=0 upper=28922 
2520.10/2520.01	
2520.10/2520.01	c *** INTERRUPTED ***
2520.10/2520.01	c restarts              : 49          
2520.10/2520.01	c conflicts             : 106367       (42 /sec)
2520.10/2520.01	c decisions             : 542314       (215 /sec)
2520.10/2520.01	c propagations          : 86437041    (34301 /sec)
2520.10/2520.01	c root propagations     : 155214      
2520.10/2520.01	c filter calls          : 128757449      (51096 /sec)
2520.10/2520.01	c useless filter calls  : 115286889      (89 %)
2520.10/2520.01	c Memory used           : 175.73 MB
2520.10/2520.01	c CPU time              : 2519.93 s
2520.10/2520.01	
2520.10/2520.01	c nb Solutions = 7
2520.10/2520.01	s SATISFIABLE
2520.10/2520.01	c Best value found: 28923
2520.10/2520.01	
2520.10/2520.01	
2520.10/2520.01	v <instantiation type='solution' cost='28923'>
2520.10/2520.01	v <list>d[0][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[0][60] d[0][61] d[0][62] d[0][63] d[0][6] d[0][7] d[0][8] d[0][9] d[10][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[10][60] d[10][61] d[10][62] d[10][63] d[10][6] d[10][7] d[10][8] d[10][9] d[11][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[11][60] d[11][61] d[11][62] d[11][63] d[11][6] d[11][7] d[11][8] d[11][9] d[12][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[12][60] d[12][61] d[12][62] d[12][63] d[12][6] d[12][7] d[12][8] d[12][9] d[13][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[13][60] d[13][61] d[13][62] d[13][63] d[13][6] d[13][7] d[13][8] d[13][9] d[14][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[14][60] d[14][61] d[14][62] d[14][63] d[14][6] d[14][7] d[14][8] d[14][9] d[15][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[15][60] d[15][61] d[15][62] d[15][63] d[15][6] d[15][7] d[15][8] d[15][9] d[16][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[16][60] d[16][61] d[16][62] d[16][63] d[16][6] d[16][7] d[16][8] d[16][9] d[17][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[17][60] d[17][61] d[17][62] d[17][63] d[17][6] d[17][7] d[17][8] d[17][9] d[18][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[18][60] d[18][61] d[18][62] d[18][63] d[18][6] d[18][7] d[18][8] d[18][9] d[19][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[19][60] d[19][61] d[19][62] d[19][63] d[19][6] d[19][7] d[19][8] d[19][9] d[1][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[1][60] d[1][61] d[1][62] d[1][63] d[1][6] d[1][7] d[1][8] d[1][9] d[20][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[20][60] d[20][61] d[20][62] d[20][63] d[20][6] d[20][7] d[20][8] d[20][9] d[21][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[21][60] d[21][61] d[21][62] d[21][63] d[21][6] d[21][7] d[21][8] d[21][9] d[22][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[22][60] d[22][61] d[22][62] d[22][63] d[22][6] d[22][7] d[22][8] d[22][9] d[23][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[23][60] d[23][61] d[23][62] d[23][63] d[23][6] d[23][7] d[23][8] d[23][9] d[24][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[24][60] d[24][61] d[24][62] d[24][63] d[24][6] d[24][7] d[24][8] d[24][9] d[25][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[25][60] d[25][61] d[25][62] d[25][63] d[25][6] d[25][7] d[25][8] d[25][9] d[26][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[26][60] d[26][61] d[26][62] d[26][63] d[26][6] d[26][7] d[26][8] d[26][9] d[27][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[27][60] d[27][61] d[27][62] d[27][63] d[27][6] d[27][7] d[27][8] d[27][9] d[28][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[28][60] d[28][61] d[28][62] d[28][63] d[28][6] d[28][7] d[28][8] d[28][9] d[29][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[29][60] d[29][61] d[29][62] d[29][63] d[29][6] d[29][7] d[29][8] d[29][9] d[2][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[2][60] d[2][61] d[2][62] d[2][63] d[2][6] d[2][7] d[2][8] d[2][9] d[30][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[30][60] d[30][61] d[30][62] d[30][63] d[30][6] d[30][7] d[30][8] d[30][9] d[31][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[31][60] d[31][61] d[31][62] d[31][63] d[31][6] d[31][7] d[31][8] d[31][9] d[32][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[32][60] d[32][61] d[32][62] d[32][63] d[32][6] d[32][7] d[32][8] d[32][9] d[33][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[33][60] d[33][61] d[33][62] d[33][63] d[33][6] d[33][7] d[33][8] d[33][9] d[34][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[34][60] d[34][61] d[34][62] d[34][63] d[34][6] d[34][7] d[34][8] d[34][9] d[35][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[35][60] d[35][61] d[35][62] d[35][63] d[35][6] d[35][7] d[35][8] d[35][9] d[36][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[36][60] d[36][61] d[36][62] d[36][63] d[36][6] d[36][7] d[36][8] d[36][9] d[37][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[37][60] d[37][61] d[37][62] d[37][63] d[37][6] d[37][7] d[37][8] d[37][9] d[38][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[38][60] d[38][61] d[38][62] d[38][63] d[38][6] d[38][7] d[38][8] d[38][9] d[39][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[39][60] d[39][61] d[39][62] d[39][63] d[39][6] d[39][7] d[39][8] d[39][9] d[3][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[3][60] d[3][61] d[3][62] d[3][63] d[3][6] d[3][7] d[3][8] d[3][9] d[40][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[40][60] d[40][61] d[40][62] d[40][63] d[40][6] d[40][7] d[40][8] d[40][9] d[41][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[41][60] d[41][61] d[41][62] d[41][63] d[41][6] d[41][7] d[41][8] d[41][9] d[42][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[42][60] d[42][61] d[42][62] d[42][63] d[42][6] d[42][7] d[42][8] d[42][9] d[43][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[43][60] d[43][61] d[43][62] d[43][63] d[43][6] d[43][7] d[43][8] d[43][9] d[44][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[44][60] d[44][61] d[44][62] d[44][63] d[44][6] d[44][7] d[44][8] d[44][9] d[45][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[45][60] d[45][61] d[45][62] d[45][63] d[45][6] d[45][7] d[45][8] d[45][9] d[46][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[46][60] d[46][61] d[46][62] d[46][63] d[46][6] d[46][7] d[46][8] d[46][9] d[47][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[47][60] d[47][61] d[47][62] d[47][63] d[47][6] d[47][7] d[47][8] d[47][9] d[48][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[48][60] d[48][61] d[48][62] d[48][63] d[48][6] d[48][7] d[48][8] d[48][9] d[49][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[49][60] d[49][61] d[49][62] d[49][63] d[49][6] d[49][7] d[49][8] d[49][9] d[4][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[4][60] d[4][61] d[4][62] d[4][63] d[4][6] d[4][7] d[4][8] d[4][9] d[50][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[50][60] d[50][61] d[50][62] d[50][63] d[50][6] d[50][7] d[50][8] d[50][9] d[51][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[51][60] d[51][61] d[51][62] d[51][63] d[51][6] d[51][7] d[51][8] d[51][9] d[52][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[52][60] d[52][61] d[52][62] d[52][63] d[52][6] d[52][7] d[52][8] d[52][9] d[53][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[53][60] d[53][61] d[53][62] d[53][63] d[53][6] d[53][7] d[53][8] d[53][9] d[54][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[54][60] d[54][61] d[54][62] d[54][63] d[54][6] d[54][7] d[54][8] d[54][9] d[55][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[55][60] d[55][61] d[55][62] d[55][63] d[55][6] d[55][7] d[55][8] d[55][9] d[56][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[56][60] d[56][61] d[56][62] d[56][63] d[56][6] d[56][7] d[56][8] d[56][9] d[57][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[57][60] d[57][61] d[57][62] d[57][63] d[57][6] d[57][7] d[57][8] d[57][9] d[58][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[58][60] d[58][61] d[58][62] d[58][63] d[58][6] d[58][7] d[58][8] d[58][9] d[59][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[59][60] d[59][61] d[59][62] d[59][63] d[59][6] d[59][7] d[59][8] d[59][9] d[5][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[5][60] d[5][61] d[5][62] d[5][63] d[5][6] d[5][7] d[5][8] d[5][9] d[60][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[60][60] d[60][61] d[60][62] d[60][63] d[60][6] d[60][7] d[60][8] d[60][9] d[61][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[61][60] d[61][61] d[61][62] d[61][63] d[61][6] d[61][7] d[61][8] d[61][9] d[62][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[62][60] d[62][61] d[62][62] d[62][63] d[62][6] d[62][7] d[62][8] d[62][9] d[63][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[63][60] d[63][61] d[63][62] d[63][63] d[63][6] d[63][7] d[63][8] d[63][9] d[6][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[6][60] d[6][61] d[6][62] d[6][63] d[6][6] d[6][7] d[6][8] d[6][9] d[7][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[7][60] d[7][61] d[7][62] d[7][63] d[7][6] d[7][7] d[7][8] d[7][9] d[8][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[8][60] d[8][61] d[8][62] d[8][63] d[8][6] d[8][7] d[8][8] d[8][9] d[9][0] 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][1] 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][2] 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][3] 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][4] 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][5] d[9][60] d[9][61] d[9][62] d[9][63] d[9][6] d[9][7] d[9][8] d[9][9] x[0] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[1] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[2] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[3] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[4] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[5] x[60] x[61] x[62] x[63] x[6] x[7] x[8] x[9] </list>
2520.10/2520.01	v <values>* 2 0 5 5 2 10 0 3 0 2 0 0 0 1 0 0 0 0 5 5 2 5 10 3 10 2 0 0 2 0 0 2 1 5 2 10 0 5 10 1 5 2 0 1 2 0 0 5 2 5 0 4 2 3 5 0 1 2 1 10 0 5 4 * * 0 0 2 0 3 2 0 0 0 * 0 2 2 0 1 1 0 2 1 0 * 5 2 0 2 5 1 0 0 1 6 * 5 5 2 2 6 0 3 10 5 10 * 0 0 4 2 0 2 1 0 10 4 * 0 0 5 1 * * * * * * * 6 0 0 0 1 4 2 0 * 0 1 5 0 2 0 5 3 5 5 * 0 1 10 0 2 0 5 2 0 4 * 0 0 1 0 0 2 0 5 5 0 * 10 0 10 1 4 5 2 5 2 1 * 1 0 6 2 * * * * * * * * 5 5 5 1 10 0 10 * 0 5 0 0 0 0 0 0 0 5 * 3 1 1 5 1 5 0 4 5 0 * 2 0 1 2 0 2 2 0 0 0 * 10 0 5 6 10 0 0 4 2 5 * 3 0 0 1 * * * * * * * * * 2 10 5 1 0 5 * 2 0 5 0 1 2 5 2 5 0 * 2 3 0 2 0 0 2 0 0 4 * 2 0 0 2 1 5 0 5 0 2 * 0 1 5 2 0 0 0 3 0 0 * 1 5 2 0 * * * * * * * * * * 1 5 0 0 0 * 4 10 5 2 5 1 2 2 1 5 * 2 2 0 0 0 0 1 10 1 0 * 4 0 4 10 10 0 2 10 0 10 * 4 6 2 2 10 1 5 5 5 2 * 5 4 2 5 * * * * * * * * * * * 5 1 4 4 * 2 0 0 3 2 5 5 2 5 0 * 10 5 0 10 2 2 5 4 1 6 * 1 0 6 2 4 1 10 5 0 5 * 1 2 0 5 2 5 0 0 10 4 * 5 5 0 2 * * * * * * * * * * * * 3 5 2 * 0 0 0 0 0 10 2 1 3 0 * 0 0 0 0 5 0 5 3 0 0 * 5 5 1 6 0 2 0 5 0 5 * 5 2 0 0 10 2 5 2 2 0 * 5 4 3 0 * * * * * * * * * * * * * 0 0 * 5 1 5 0 10 5 10 0 1 5 * 4 2 5 0 0 0 1 0 0 2 * 2 5 5 2 0 5 5 0 5 0 * 0 4 5 1 0 2 1 1 1 6 * 1 0 0 5 * * * * * * * * * * * * * * 2 * 1 1 10 0 5 2 5 5 0 0 * 1 5 0 1 1 1 0 5 0 0 * 2 0 2 10 4 5 0 5 5 2 * 0 5 0 0 1 1 0 2 5 2 * 0 5 1 10 * * * * * * * * * * * * * * * * 4 0 2 10 5 5 5 2 2 2 * 0 2 0 0 0 0 2 2 4 4 * 1 5 5 1 2 5 2 5 10 0 * 5 0 5 3 2 1 5 5 0 0 * 1 0 5 1 * * * * * 0 5 0 6 5 3 10 0 0 2 * 0 0 0 1 2 0 1 2 5 5 10 5 5 2 0 0 0 0 0 0 10 5 1 5 0 5 2 0 5 0 5 1 0 0 5 1 5 1 2 2 5 3 5 3 2 5 5 0 5 1 1 2 * * * * * * * * * * * * * 2 5 10 0 5 6 6 2 2 * 5 2 5 3 10 2 10 1 5 2 * 5 1 0 0 0 5 0 2 0 0 * 1 2 5 0 1 1 5 5 10 1 * 5 2 10 5 * * * * * * * * * * * * * * * * * * 4 5 0 0 0 10 1 0 * 2 0 5 2 1 6 2 6 5 0 * 0 0 5 5 5 0 6 5 5 1 * 5 1 2 3 10 10 5 3 1 5 * 0 5 2 5 * * * * * * * * * * * * * * * * * * * 0 0 5 1 2 5 0 * 2 5 0 0 5 5 0 0 1 5 * 0 5 2 6 0 0 0 5 5 1 * 0 10 10 2 5 2 1 0 6 0 * 2 5 5 2 * * * * * * * * * * * * * * * * * * * * 5 0 1 5 0 1 * 0 2 10 5 5 2 5 1 1 1 * 2 10 2 0 1 10 0 0 5 0 * 0 0 1 3 2 2 0 0 0 0 * 1 0 5 2 * * * * * * * * * * * * * * * * * * * * * 2 5 3 0 0 * 1 0 2 1 0 0 2 0 0 5 * 2 0 5 6 10 10 2 5 5 5 * 0 2 0 2 0 1 0 5 10 0 * 2 3 4 4 * * * * * * * * * * * * * * * * * * * * * * 1 10 10 1 * 4 0 10 0 0 0 0 2 10 5 * 3 0 5 0 2 0 5 1 10 1 * 0 2 2 0 0 5 0 2 4 0 * 0 5 2 5 * * * * * * * * * * * * * * * * * * * * * * * 10 5 2 * 10 0 0 0 2 2 1 5 5 10 * 0 0 5 4 1 2 2 3 0 2 * 0 0 1 1 0 0 5 5 5 2 * 0 0 1 1 * * * * * * * * * * * * * * * * * * * * * * * * 0 0 * 1 1 10 5 0 1 2 2 2 2 * 0 5 0 0 1 10 0 1 2 10 * 1 2 5 1 0 0 4 0 3 5 * 10 0 5 5 * * * * * * * * * * * * * * * * * * * * * * * * * 1 * 1 5 1 2 5 5 5 2 0 10 * 2 0 2 0 5 10 6 0 4 0 * 2 5 5 3 2 2 5 5 5 2 * 5 2 3 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 3 0 5 0 5 2 5 2 10 * 10 2 0 1 2 2 5 6 10 5 * 0 2 0 4 2 5 0 1 0 5 * 10 10 6 0 * * * * * 0 3 0 3 0 6 3 10 6 3 * 2 3 1 5 0 3 5 5 10 1 * 0 5 1 5 2 0 0 2 0 0 0 10 1 5 0 0 1 5 5 5 0 2 2 10 1 2 0 0 0 0 3 1 0 10 0 2 5 1 2 2 10 * * * * * * * * * * * * * * * * * * * * * * * * 1 4 10 5 2 10 0 0 5 * 0 10 0 1 5 0 0 1 5 5 * 3 5 0 1 0 5 0 10 1 2 * 10 0 5 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 5 0 0 5 1 0 0 * 0 0 2 10 2 6 5 1 0 1 * 1 2 2 10 1 1 2 2 1 2 * 6 0 5 4 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 5 0 2 0 5 * 0 2 1 6 6 0 5 0 3 6 * 2 2 2 5 5 0 5 2 0 0 * 1 0 0 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 1 2 0 0 1 * 2 2 2 0 0 2 5 0 6 5 * 5 0 0 0 1 2 0 0 0 0 * 5 0 5 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 1 1 5 2 * 10 5 0 1 1 10 0 3 4 5 * 1 2 5 2 0 0 2 10 0 0 * 2 2 0 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 5 3 5 * 5 1 1 10 1 0 1 5 5 5 * 2 2 5 1 6 5 0 5 0 10 * 0 5 2 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 10 2 * 0 4 0 10 1 5 3 0 4 0 * 4 5 0 0 5 2 5 5 0 5 * 5 1 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 * 3 1 4 0 5 0 5 10 0 5 * 5 5 10 0 3 2 0 1 10 0 * 1 0 5 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 * 2 5 0 1 0 4 2 0 2 5 * 1 3 10 0 3 2 5 0 0 5 * 1 4 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 5 4 2 10 5 0 0 5 5 * 1 0 10 2 10 6 5 1 2 0 * 4 5 10 2 * * * * * 5 0 0 5 5 0 5 2 0 2 * 5 0 0 1 0 0 1 1 0 2 * 5 2 0 1 5 5 0 0 6 2 * 1 2 2 10 5 5 0 0 2 0 1 4 0 5 1 5 0 10 1 5 0 3 2 4 6 2 1 0 5 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 4 0 0 10 2 0 10 0 0 * 1 3 0 5 0 1 0 5 0 0 * 0 2 2 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 5 0 5 0 4 2 0 * 10 5 0 10 2 10 1 10 0 0 * 0 0 3 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 6 5 0 5 0 3 5 * 10 10 0 0 3 5 0 0 4 1 * 2 0 0 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 0 3 10 2 * 2 0 2 0 5 1 0 1 0 0 * 1 2 0 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 3 0 2 0 * 2 5 2 0 0 3 0 4 0 2 * 2 0 1 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 4 5 1 * 5 10 0 5 3 0 0 5 0 4 * 0 1 0 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 0 2 * 1 5 5 3 6 2 5 1 0 5 * 2 5 10 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 1 * 5 0 0 1 0 3 0 5 0 10 * 6 1 2 4 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 * 10 0 5 5 2 2 0 0 10 0 * 0 10 5 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 2 0 0 0 0 5 2 0 10 * 0 1 2 1 * * * * * 0 2 10 5 1 2 4 10 6 3 * 5 0 0 5 2 0 0 0 2 0 * 0 1 1 10 0 0 5 5 1 5 * 2 2 1 5 0 2 2 2 0 3 * 0 0 2 0 5 2 2 5 2 2 4 0 5 0 5 2 4 2 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 1 2 10 1 0 5 2 2 * 0 4 0 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 1 2 5 0 2 2 0 * 0 2 4 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 5 1 1 5 2 0 * 0 0 2 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 0 0 2 5 10 * 3 5 5 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 0 2 2 2 * 2 10 10 4 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 5 3 1 * 10 4 1 10 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 2 10 * 0 5 10 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 1 * 10 5 1 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 * 10 10 0 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 5 0 1 * * * * * 0 5 4 0 0 4 6 1 5 10 * 5 5 2 2 1 5 1 0 0 0 * 1 0 1 5 2 0 2 10 4 10 * 0 2 2 0 2 5 0 6 2 10 * 3 2 5 5 5 5 5 0 0 0 * 0 10 0 10 2 6 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 2 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 10 5 10 0 1 6 1 3 1 * 5 0 5 0 2 10 1 5 2 10 * 5 0 0 10 3 2 2 2 3 1 * 0 1 1 5 10 6 2 1 0 2 * 3 0 1 2 10 0 0 2 4 6 * 2 0 0 1 * 10 0 0 * 2 4 0 5 2 5 1 5 5 2 * 3 1 0 4 0 1 0 5 10 4 * 1 5 2 6 0 0 5 2 2 2 * 0 0 5 5 1 0 2 2 4 5 * 3 4 3 10 0 3 0 10 1 5 * 2 5 1 0 * * 0 1 * 0 5 0 10 2 2 2 2 10 1 * 5 10 1 1 0 10 5 5 5 4 * 5 1 10 2 5 1 1 2 2 5 * 1 10 10 0 4 2 0 0 0 5 * 0 3 0 5 4 5 6 10 0 5 * 0 5 0 2 * * * 5 * 2 1 0 5 0 1 0 5 0 0 * 2 0 10 0 0 0 2 10 2 5 * 0 0 5 5 1 10 0 0 2 5 * 10 5 0 0 0 0 5 5 0 0 * 1 0 0 0 0 0 0 1 2 0 * 1 0 2 0 * * * * 24 14 19 59 55 10 16 29 62 46 28 32 51 27 50 8 9 63 48 12 43 6 1 20 49 41 34 60 2 13 31 35 15 26 56 21 18 42 52 57 25 53 54 40 17 47 7 45 36 39 61 11 23 37 33 4 58 38 22 5 44 0 3 30 </values>
2520.10/2520.01	v </instantiation>
2520.10/2520.01	

OK	28923

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (13169 MiB free)
  memory of node 1: 16384 MiB (13674 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298906-1532775038/watcher-4298906-1532775038 -o /tmp/evaluation-result-4298906-1532775038/solver-4298906-1532775038 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532775038-27467 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4298906-1532775038.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=27492, runsolver pid=27488

[startup+0.100843 s]*
/proc/loadavg: 1.04 1.17 1.56 3/192 27498
/proc/meminfo: memFree=27410196/32770624 swapFree=67108856/67108860
[pid=27492] ppid=27488 vsize=66296 memory=42440 CPUtime=0.09 cores=0,2,4,6
/proc/27492/stat : 27492 (cosoco) R 27488 27492 27436 0 -1 4202496 10831 0 0 0 8 1 0 0 20 0 1 0 95066951 67887104 10610 33554432000 4194304 6142532 140728197903632 140728197900280 139737083031556 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 13045760 140728197911686 140728197911816 140728197911816 140728197914574 0
/proc/27492/statm: 16574 10610 796 476 0 9896 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 66296 KiB
Current children cumulated memory: 42440 KiB

[startup+0.21015 s]*
/proc/loadavg: 1.04 1.17 1.56 3/192 27498
/proc/meminfo: memFree=27343852/32770624 swapFree=67108856/67108860
[pid=27492] ppid=27488 vsize=132704 memory=109232 CPUtime=0.21 cores=0,2,4,6
/proc/27492/stat : 27492 (cosoco) R 27488 27492 27436 0 -1 4202496 27475 0 0 0 17 4 0 0 20 0 1 0 95066951 135888896 27308 33554432000 4194304 6142532 140728197903632 140728197899288 5336586 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 13045760 140728197911686 140728197911816 140728197911816 140728197914574 0
/proc/27492/statm: 33176 27308 837 476 0 26498 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 132704 KiB
Current children cumulated memory: 109232 KiB

[startup+0.309709 s]*
/proc/loadavg: 1.04 1.17 1.56 3/192 27498
/proc/meminfo: memFree=27341156/32770624 swapFree=67108856/67108860
[pid=27492] ppid=27488 vsize=132704 memory=109232 CPUtime=0.31 cores=0,2,4,6
/proc/27492/stat : 27492 (cosoco) R 27488 27492 27436 0 -1 4202496 27475 0 0 0 27 4 0 0 20 0 1 0 95066951 135888896 27308 33554432000 4194304 6142532 140728197903632 140728197899288 5017767 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 13045760 140728197911686 140728197911816 140728197911816 140728197914574 0
/proc/27492/statm: 33176 27308 837 476 0 26498 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 132704 KiB
Current children cumulated memory: 109232 KiB

[startup+0.700331 s]
/proc/loadavg: 1.04 1.17 1.56 3/192 27498
/proc/meminfo: memFree=27329624/32770624 swapFree=67108856/67108860
[pid=27492] ppid=27488 vsize=136400 memory=112928 CPUtime=0.69 cores=0,2,4,6
/proc/27492/stat : 27492 (cosoco) R 27488 27492 27436 0 -1 4202496 28419 0 0 0 65 4 0 0 20 0 1 0 95066951 139673600 28232 33554432000 4194304 6142532 140728197903632 140728197899288 5138259 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 13045760 140728197911686 140728197911816 140728197911816 140728197914574 0
/proc/27492/statm: 34100 28232 850 476 0 27422 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 136400 KiB
Current children cumulated memory: 112928 KiB

[startup+1.50033 s]
/proc/loadavg: 1.03 1.16 1.55 3/192 27498
/proc/meminfo: memFree=27312264/32770624 swapFree=67108856/67108860
[pid=27492] ppid=27488 vsize=172916 memory=149360 CPUtime=1.48 cores=0,2,4,6
/proc/27492/stat : 27492 (cosoco) R 27488 27492 27436 0 -1 4202496 37519 0 0 0 143 5 0 0 20 0 1 0 95066951 177065984 37340 33554432000 4194304 6142532 140728197903632 140728197900456 5017767 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 13045760 140728197911686 140728197911816 140728197911816 140728197914574 0
/proc/27492/statm: 43229 37340 850 476 0 36551 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 172916 KiB
Current children cumulated memory: 149360 KiB

[startup+3.10989 s]
/proc/loadavg: 1.03 1.16 1.55 3/192 27498
/proc/meminfo: memFree=27289008/32770624 swapFree=67108856/67108860
[pid=27492] ppid=27488 vsize=172916 memory=149452 CPUtime=3.09 cores=0,2,4,6
/proc/27492/stat : 27492 (cosoco) R 27488 27492 27436 0 -1 4202496 59063 0 0 0 303 6 0 0 20 0 1 0 95066951 177065984 37363 33554432000 4194304 6142532 140728197903632 140728197900456 5017782 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 13045760 140728197911686 140728197911816 140728197911816 140728197914574 0
/proc/27492/statm: 43229 37363 850 476 0 36551 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 172916 KiB
Current children cumulated memory: 149452 KiB

[startup+6.30031 s]
/proc/loadavg: 1.11 1.18 1.56 3/192 27498
/proc/meminfo: memFree=27287596/32770624 swapFree=67108856/67108860
[pid=27492] ppid=27488 vsize=173052 memory=149676 CPUtime=6.29 cores=0,2,4,6
/proc/27492/stat : 27492 (cosoco) R 27488 27492 27436 0 -1 4202496 89863 0 0 0 621 8 0 0 20 0 1 0 95066951 177205248 37419 33554432000 4194304 6142532 140728197903632 140728197890904 5017767 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 13045760 140728197911686 140728197911816 140728197911816 140728197914574 0
/proc/27492/statm: 43263 37419 852 476 0 36585 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 173052 KiB
Current children cumulated memory: 149676 KiB

[startup+12.7002 s]
/proc/loadavg: 1.18 1.19 1.56 3/192 27498
/proc/meminfo: memFree=27285632/32770624 swapFree=67108856/67108860
[pid=27492] ppid=27488 vsize=175096 memory=151568 CPUtime=12.69 cores=0,2,4,6
/proc/27492/stat : 27492 (cosoco) R 27488 27492 27436 0 -1 4202496 119640 0 0 0 1258 11 0 0 20 0 1 0 95066951 179298304 37892 33554432000 4194304 6142532 140728197903632 140728197900488 5335940 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 13045760 140728197911686 140728197911816 140728197911816 140728197914574 0
/proc/27492/statm: 43774 37892 852 476 0 37096 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 175096 KiB
Current children cumulated memory: 151568 KiB

[startup+25.5003 s]
/proc/loadavg: 1.31 1.22 1.56 3/192 27498
/proc/meminfo: memFree=27284512/32770624 swapFree=67108856/67108860
[pid=27492] ppid=27488 vsize=176440 memory=153008 CPUtime=25.48 cores=0,2,4,6
/proc/27492/stat : 27492 (cosoco) R 27488 27492 27436 0 -1 4202496 172603 0 0 0 2536 12 0 0 20 0 1 0 95066951 180674560 38252 33554432000 4194304 6142532 140728197903632 140728197900344 5017516 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 13045760 140728197911686 140728197911816 140728197911816 140728197914574 0
/proc/27492/statm: 44110 38252 852 476 0 37432 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 176440 KiB
Current children cumulated memory: 153008 KiB

[startup+51.1098 s]
/proc/loadavg: 1.58 1.29 1.58 3/192 27498
/proc/meminfo: memFree=27281240/32770624 swapFree=67108856/67108860
[pid=27492] ppid=27488 vsize=179256 memory=155868 CPUtime=51.09 cores=0,2,4,6
/proc/27492/stat : 27492 (cosoco) R 27488 27492 27436 0 -1 4202496 210274 0 0 0 5095 14 0 0 20 0 1 0 95066951 183558144 38967 33554432000 4194304 6142532 140728197903632 140728197890904 5016509 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 13045760 140728197911686 140728197911816 140728197911816 140728197914574 0
/proc/27492/statm: 44814 38967 852 476 0 38136 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 179256 KiB
Current children cumulated memory: 155868 KiB

[startup+102.3 s]
/proc/loadavg: 1.82 1.40 1.60 3/192 27499
/proc/meminfo: memFree=27281304/32770624 swapFree=67108856/67108860
[pid=27492] ppid=27488 vsize=179256 memory=155868 CPUtime=102.26 cores=0,2,4,6
/proc/27492/stat : 27492 (cosoco) R 27488 27492 27436 0 -1 4202496 237026 0 0 0 10210 16 0 0 20 0 1 0 95066951 183558144 38967 33554432000 4194304 6142532 140728197903632 140728197901160 5017767 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 13045760 140728197911686 140728197911816 140728197911816 140728197914574 0
/proc/27492/statm: 44814 38967 852 476 0 38136 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 179256 KiB
Current children cumulated memory: 155868 KiB

[startup+162.3 s]
/proc/loadavg: 1.93 1.51 1.62 3/192 27500
/proc/meminfo: memFree=27281004/32770624 swapFree=67108856/67108860
[pid=27492] ppid=27488 vsize=179672 memory=156108 CPUtime=162.26 cores=0,2,4,6
/proc/27492/stat : 27492 (cosoco) R 27488 27492 27436 0 -1 4202496 244997 0 0 0 16209 17 0 0 20 0 1 0 95066951 183984128 39027 33554432000 4194304 6142532 140728197903632 140728197900488 5017767 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 13045760 140728197911686 140728197911816 140728197911816 140728197914574 0
/proc/27492/statm: 44918 39027 852 476 0 38240 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 179672 KiB
Current children cumulated memory: 156108 KiB

[startup+222.3 s]
/proc/loadavg: 1.97 1.60 1.65 3/192 27501
/proc/meminfo: memFree=27281052/32770624 swapFree=67108856/67108860
[pid=27492] ppid=27488 vsize=179672 memory=156268 CPUtime=222.25 cores=0,2,4,6
/proc/27492/stat : 27492 (cosoco) R 27488 27492 27436 0 -1 4202496 245339 0 0 0 22208 17 0 0 20 0 1 0 95066951 183984128 39067 33554432000 4194304 6142532 140728197903632 140728197900488 5017712 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 13045760 140728197911686 140728197911816 140728197911816 140728197914574 0
/proc/27492/statm: 44918 39067 852 476 0 38240 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 179672 KiB
Current children cumulated memory: 156268 KiB

[startup+282.3 s]
/proc/loadavg: 1.99 1.67 1.67 3/191 27503
/proc/meminfo: memFree=27281092/32770624 swapFree=67108856/67108860
[pid=27492] ppid=27488 vsize=179940 memory=156492 CPUtime=282.25 cores=0,2,4,6
/proc/27492/stat : 27492 (cosoco) R 27488 27492 27436 0 -1 4202496 246002 0 0 0 28208 17 0 0 20 0 1 0 95066951 184258560 39123 33554432000 4194304 6142532 140728197903632 140728197890904 5017895 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 13045760 140728197911686 140728197911816 140728197911816 140728197914574 0
/proc/27492/statm: 44985 39123 852 476 0 38307 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 179940 KiB
Current children cumulated memory: 156492 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 1.73 1.69 3/191 27504
/proc/meminfo: memFree=27280852/32770624 swapFree=67108856/67108860
[pid=27492] ppid=27488 vsize=179940 memory=156492 CPUtime=342.24 cores=0,2,4,6
/proc/27492/stat : 27492 (cosoco) R 27488 27492 27436 0 -1 4202496 246353 0 0 0 34207 17 0 0 20 0 1 0 95066951 184258560 39123 33554432000 4194304 6142532 140728197903632 140728197890904 5017759 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 13045760 140728197911686 140728197911816 140728197911816 140728197914574 0
/proc/27492/statm: 44985 39123 852 476 0 38307 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 179940 KiB
Current children cumulated memory: 156492 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 1.78 1.71 3/191 27505
/proc/meminfo: memFree=27280624/32770624 swapFree=67108856/67108860
[pid=27492] ppid=27488 vsize=179940 memory=156492 CPUtime=402.24 cores=0,2,4,6
/proc/27492/stat : 27492 (cosoco) R 27488 27492 27436 0 -1 4202496 246679 0 0 0 40207 17 0 0 20 0 1 0 95066951 184258560 39123 33554432000 4194304 6142532 140728197903632 140728197890904 5017973 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 13045760 140728197911686 140728197911816 140728197911816 140728197914574 0
/proc/27492/statm: 44985 39123 852 476 0 38307 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 179940 KiB
Current children cumulated memory: 156492 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 1.82 1.73 3/191 27507
/proc/meminfo: memFree=27280780/32770624 swapFree=67108856/67108860
[pid=27492] ppid=27488 vsize=179940 memory=156492 CPUtime=462.24 cores=0,2,4,6
/proc/27492/stat : 27492 (cosoco) R 27488 27492 27436 0 -1 4202496 247299 0 0 0 46207 17 0 0 20 0 1 0 95066951 184258560 39123 33554432000 4194304 6142532 140728197903632 140728197890904 5017760 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 13045760 140728197911686 140728197911816 140728197911816 140728197914574 0
/proc/27492/statm: 44985 39123 852 476 0 38307 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 179940 KiB
Current children cumulated memory: 156492 KiB


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

/proc/27492/statm: 44985 39125 852 476 0 38307 0
Current children cumulated CPU time: 1722.34 s
Current children cumulated vsize: 179940 KiB
Current children cumulated memory: 156500 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/192 27582
/proc/meminfo: memFree=27279404/32770624 swapFree=67108856/67108860
[pid=27492] ppid=27488 vsize=179940 memory=156500 CPUtime=1782.34 cores=0,2,4,6
/proc/27492/stat : 27492 (cosoco) R 27488 27492 27436 0 -1 4202496 252835 0 0 0 178216 18 0 0 20 0 1 0 95066951 184258560 39125 33554432000 4194304 6142532 140728197903632 140728197890904 5017759 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 13045760 140728197911686 140728197911816 140728197911816 140728197914574 0
/proc/27492/statm: 44985 39125 852 476 0 38307 0
Current children cumulated CPU time: 1782.34 s
Current children cumulated vsize: 179940 KiB
Current children cumulated memory: 156500 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/192 27583
/proc/meminfo: memFree=27279760/32770624 swapFree=67108856/67108860
[pid=27492] ppid=27488 vsize=179940 memory=156500 CPUtime=1842.35 cores=0,2,4,6
/proc/27492/stat : 27492 (cosoco) R 27488 27492 27436 0 -1 4202496 252835 0 0 0 184217 18 0 0 20 0 1 0 95066951 184258560 39125 33554432000 4194304 6142532 140728197903632 140728197890904 5018340 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 13045760 140728197911686 140728197911816 140728197911816 140728197914574 0
/proc/27492/statm: 44985 39125 852 476 0 38307 0
Current children cumulated CPU time: 1842.35 s
Current children cumulated vsize: 179940 KiB
Current children cumulated memory: 156500 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/192 27584
/proc/meminfo: memFree=27279244/32770624 swapFree=67108856/67108860
[pid=27492] ppid=27488 vsize=179940 memory=156500 CPUtime=1902.35 cores=0,2,4,6
/proc/27492/stat : 27492 (cosoco) R 27488 27492 27436 0 -1 4202496 253151 0 0 0 190217 18 0 0 20 0 1 0 95066951 184258560 39125 33554432000 4194304 6142532 140728197903632 140728197890904 5016509 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 13045760 140728197911686 140728197911816 140728197911816 140728197914574 0
/proc/27492/statm: 44985 39125 852 476 0 38307 0
Current children cumulated CPU time: 1902.35 s
Current children cumulated vsize: 179940 KiB
Current children cumulated memory: 156500 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/192 27585
/proc/meminfo: memFree=27279596/32770624 swapFree=67108856/67108860
[pid=27492] ppid=27488 vsize=179940 memory=156500 CPUtime=1962.35 cores=0,2,4,6
/proc/27492/stat : 27492 (cosoco) R 27488 27492 27436 0 -1 4202496 253152 0 0 0 196217 18 0 0 20 0 1 0 95066951 184258560 39125 33554432000 4194304 6142532 140728197903632 140728197890904 5017767 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 13045760 140728197911686 140728197911816 140728197911816 140728197914574 0
/proc/27492/statm: 44985 39125 852 476 0 38307 0
Current children cumulated CPU time: 1962.35 s
Current children cumulated vsize: 179940 KiB
Current children cumulated memory: 156500 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/192 27586
/proc/meminfo: memFree=27279836/32770624 swapFree=67108856/67108860
[pid=27492] ppid=27488 vsize=179940 memory=156500 CPUtime=2022.36 cores=0,2,4,6
/proc/27492/stat : 27492 (cosoco) R 27488 27492 27436 0 -1 4202496 253467 0 0 0 202218 18 0 0 20 0 1 0 95066951 184258560 39125 33554432000 4194304 6142532 140728197903632 140728197890904 5017767 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 13045760 140728197911686 140728197911816 140728197911816 140728197914574 0
/proc/27492/statm: 44985 39125 852 476 0 38307 0
Current children cumulated CPU time: 2022.36 s
Current children cumulated vsize: 179940 KiB
Current children cumulated memory: 156500 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/191 27588
/proc/meminfo: memFree=27280020/32770624 swapFree=67108856/67108860
[pid=27492] ppid=27488 vsize=179940 memory=156500 CPUtime=2082.36 cores=0,2,4,6
/proc/27492/stat : 27492 (cosoco) R 27488 27492 27436 0 -1 4202496 253468 0 0 0 208218 18 0 0 20 0 1 0 95066951 184258560 39125 33554432000 4194304 6142532 140728197903632 140728197890904 5018336 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 13045760 140728197911686 140728197911816 140728197911816 140728197914574 0
/proc/27492/statm: 44985 39125 852 476 0 38307 0
Current children cumulated CPU time: 2082.36 s
Current children cumulated vsize: 179940 KiB
Current children cumulated memory: 156500 KiB

[startup+2142.3 s]
/proc/loadavg: 2.97 2.29 2.05 3/191 27589
/proc/meminfo: memFree=27279524/32770624 swapFree=67108856/67108860
[pid=27492] ppid=27488 vsize=179940 memory=156500 CPUtime=2142.37 cores=0,2,4,6
/proc/27492/stat : 27492 (cosoco) R 27488 27492 27436 0 -1 4202496 253791 0 0 0 214219 18 0 0 20 0 1 0 95066951 184258560 39125 33554432000 4194304 6142532 140728197903632 140728197890904 5138256 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 13045760 140728197911686 140728197911816 140728197911816 140728197914574 0
/proc/27492/statm: 44985 39125 852 476 0 38307 0
Current children cumulated CPU time: 2142.37 s
Current children cumulated vsize: 179940 KiB
Current children cumulated memory: 156500 KiB

[startup+2202.3 s]
/proc/loadavg: 2.46 2.28 2.06 3/191 27590
/proc/meminfo: memFree=27279492/32770624 swapFree=67108856/67108860
[pid=27492] ppid=27488 vsize=179940 memory=156500 CPUtime=2202.37 cores=0,2,4,6
/proc/27492/stat : 27492 (cosoco) R 27488 27492 27436 0 -1 4202496 253947 0 0 0 220219 18 0 0 20 0 1 0 95066951 184258560 39125 33554432000 4194304 6142532 140728197903632 140728197890904 5215649 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 13045760 140728197911686 140728197911816 140728197911816 140728197914574 0
/proc/27492/statm: 44985 39125 852 476 0 38307 0
Current children cumulated CPU time: 2202.37 s
Current children cumulated vsize: 179940 KiB
Current children cumulated memory: 156500 KiB

[startup+2262.3 s]
/proc/loadavg: 2.17 2.23 2.06 3/191 27593
/proc/meminfo: memFree=27279748/32770624 swapFree=67108856/67108860
[pid=27492] ppid=27488 vsize=179940 memory=156500 CPUtime=2262.38 cores=0,2,4,6
/proc/27492/stat : 27492 (cosoco) R 27488 27492 27436 0 -1 4202496 254419 0 0 0 226220 18 0 0 20 0 1 0 95066951 184258560 39125 33554432000 4194304 6142532 140728197903632 140728197890904 5017803 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 13045760 140728197911686 140728197911816 140728197911816 140728197914574 0
/proc/27492/statm: 44985 39125 852 476 0 38307 0
Current children cumulated CPU time: 2262.38 s
Current children cumulated vsize: 179940 KiB
Current children cumulated memory: 156500 KiB

[startup+2322.3 s]
/proc/loadavg: 2.06 2.18 2.05 3/192 27595
/proc/meminfo: memFree=27279840/32770624 swapFree=67108856/67108860
[pid=27492] ppid=27488 vsize=179940 memory=156500 CPUtime=2322.38 cores=0,2,4,6
/proc/27492/stat : 27492 (cosoco) R 27488 27492 27436 0 -1 4202496 254420 0 0 0 232220 18 0 0 20 0 1 0 95066951 184258560 39125 33554432000 4194304 6142532 140728197903632 140728197890904 5017816 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 13045760 140728197911686 140728197911816 140728197911816 140728197914574 0
/proc/27492/statm: 44985 39125 852 476 0 38307 0
Current children cumulated CPU time: 2322.38 s
Current children cumulated vsize: 179940 KiB
Current children cumulated memory: 156500 KiB

[startup+2382.3 s]
/proc/loadavg: 2.02 2.15 2.05 3/192 27603
/proc/meminfo: memFree=27279420/32770624 swapFree=67108856/67108860
[pid=27492] ppid=27488 vsize=179940 memory=156500 CPUtime=2382.39 cores=0,2,4,6
/proc/27492/stat : 27492 (cosoco) R 27488 27492 27436 0 -1 4202496 254735 0 0 0 238221 18 0 0 20 0 1 0 95066951 184258560 39125 33554432000 4194304 6142532 140728197903632 140728197890904 5017740 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 13045760 140728197911686 140728197911816 140728197911816 140728197914574 0
/proc/27492/statm: 44985 39125 852 476 0 38307 0
Current children cumulated CPU time: 2382.39 s
Current children cumulated vsize: 179940 KiB
Current children cumulated memory: 156500 KiB

[startup+2442.3 s]
/proc/loadavg: 2.01 2.12 2.05 3/192 27604
/proc/meminfo: memFree=27279540/32770624 swapFree=67108856/67108860
[pid=27492] ppid=27488 vsize=179940 memory=156500 CPUtime=2442.39 cores=0,2,4,6
/proc/27492/stat : 27492 (cosoco) R 27488 27492 27436 0 -1 4202496 254735 0 0 0 244221 18 0 0 20 0 1 0 95066951 184258560 39125 33554432000 4194304 6142532 140728197903632 140728197890904 5017751 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 13045760 140728197911686 140728197911816 140728197911816 140728197914574 0
/proc/27492/statm: 44985 39125 852 476 0 38307 0
Current children cumulated CPU time: 2442.39 s
Current children cumulated vsize: 179940 KiB
Current children cumulated memory: 156500 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.10 2.05 3/192 27605
/proc/meminfo: memFree=27279656/32770624 swapFree=67108856/67108860
[pid=27492] ppid=27488 vsize=179940 memory=156500 CPUtime=2502.39 cores=0,2,4,6
/proc/27492/stat : 27492 (cosoco) R 27488 27492 27436 0 -1 4202496 255042 0 0 0 250221 18 0 0 20 0 1 0 95066951 184258560 39125 33554432000 4194304 6142532 140728197903632 140728197890904 5017759 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 13045760 140728197911686 140728197911816 140728197911816 140728197914574 0
/proc/27492/statm: 44985 39125 852 476 0 38307 0
Current children cumulated CPU time: 2502.39 s
Current children cumulated vsize: 179940 KiB
Current children cumulated memory: 156500 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.10 2.05 2/190 27605
/proc/meminfo: memFree=27333808/32770624 swapFree=67108856/67108860
[pid=27492] ppid=27488 vsize=179940 memory=156500 CPUtime=2520.1 cores=0,2,4,6
/proc/27492/stat : 27492 (cosoco) R 27488 27492 27436 0 -1 4202496 255050 0 0 0 251992 18 0 0 20 0 1 0 95066951 184258560 39125 33554432000 4194304 6142532 140728197903632 140728197890904 5017759 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 13045760 140728197911686 140728197911816 140728197911816 140728197914574 0
/proc/27492/statm: 44985 39125 852 476 0 38307 0
Current children cumulated CPU time: 2520.1 s
Current children cumulated vsize: 179940 KiB
Current children cumulated memory: 156500 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2520.01 s]
# the end of solver process 27492 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.93 s, system=0.18901 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 2520.01
CPU time (s): 2520.12
CPU user time (s): 2519.93
CPU system time (s): 0.18901
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 179940
Max. memory (cumulated for all children) (KiB): 156500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.93
system time used= 0.18901
maximum resident set size= 156568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 255117
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= 50
involuntary context switches= 974


# summary of solver processes directly reported to runsolver:
#   pid: 27492
#   total CPU time (s): 2520.12
#   total CPU user time (s): 2519.93
#   total CPU system time (s): 0.18901

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.58429 second user time and 19.272 second system time

The end

Begin job on node133 at 2018-07-28 12:50:38
IDJOB=4298906
IDBENCH=141250
IDSOLVER=2761
FILE ID=node133/4298906-1532775038
RUNJOBID= node133-1532775038-27467
PBS_JOBID= 21022462
Free space on /tmp= 48252 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/QuadraticAssignment/QuadraticAssignment-sko64_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298906-1532775038/watcher-4298906-1532775038 -o /tmp/evaluation-result-4298906-1532775038/solver-4298906-1532775038 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532775038-27467 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4298906-1532775038.xml

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

MD5SUM BENCH= 0f1e7a7a7866c79e3b2a53c7bc7dd539
RANDOM SEED=2130253725

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        27489800 kB
MemAvailable:   31949032 kB
Buffers:          176224 kB
Cached:          4531092 kB
SwapCached:            0 kB
Active:          2134284 kB
Inactive:        2625848 kB
Active(anon):       3916 kB
Inactive(anon):    76688 kB
Active(file):    2130368 kB
Inactive(file):  2549160 kB
Unevictable:        7100 kB
Mlocked:            7100 kB
SwapTotal:      67108860 kB
SwapFree:       67108856 kB
Dirty:              5256 kB
Writeback:             0 kB
AnonPages:         59028 kB
Mapped:            40928 kB
Shmem:             25244 kB
Slab:             218500 kB
SReclaimable:     191076 kB
SUnreclaim:        27424 kB
KernelStack:        3280 kB
PageTables:         5296 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     326920 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:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 48244 MiB
End job on node133 at 2018-07-28 13:32:38