0.21/0.31	c best=?? lower=0 upper=144840 
7.79/7.84	c
7.79/7.84	c This is cosoco 1.12 --  
7.79/7.84	c
7.79/7.84	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4298864-1532771262.xml 
7.79/7.84	c enable optimization
7.79/7.84	c ========================================[ Problem Statistics ]===========================================
7.79/7.84	c |                                                                                                       
7.79/7.84	c |  Parse time        :         0.25 s 
7.79/7.84	c |
7.79/7.84	c |               Variables: 5256
7.79/7.84	c |            Domain Sizes: 8..72
7.79/7.84	c |
7.79/7.84	c |             Constraints: 2558
7.79/7.84	c |                   Arity: 3..2556  -- Ternary: 2556
7.79/7.84	c | 
7.79/7.84	c |                   Types: 
7.79/7.84	c |                          All Different: 1
7.79/7.84	c |                          Extension: 2556  (nb tuples: 5112..5112) -- (shared: 2555)
7.79/7.84	c |                          Sum: 1
7.79/7.84	c |                          
7.79/7.84	c |               Objective: Minimize Sum
7.79/7.84	
7.79/7.84	c =========================================================================================================
7.79/7.84	o 40245
7.79/7.84	c    1 calls to solver: best=40245 lower=0 upper=40244 
12.39/12.50	o 39653
17.09/17.17	o 39587
17.09/17.17	c    3 calls to solver: best=39587 lower=0 upper=39586 
68.99/69.02	o 39582
76.88/76.93	o 39502
76.88/76.93	c    5 calls to solver: best=39502 lower=0 upper=39501 
85.57/85.64	o 39494
94.08/94.11	o 39481
94.08/94.11	c    7 calls to solver: best=39481 lower=0 upper=39480 
152.97/153.07	o 39085
343.74/343.88	o 39058
343.74/343.88	c    9 calls to solver: best=39058 lower=0 upper=39057 
392.85/392.95	o 38953
2519.87/2520.01	
2519.87/2520.01	c *** INTERRUPTED ***
2519.87/2520.01	c restarts              : 51          
2519.87/2520.01	c conflicts             : 128138       (51 /sec)
2519.87/2520.01	c decisions             : 732084       (291 /sec)
2519.87/2520.01	c propagations          : 135591859   (53815 /sec)
2519.87/2520.01	c root propagations     : 180466      
2519.87/2520.01	c filter calls          : 163848780      (65029 /sec)
2519.87/2520.01	c useless filter calls  : 145405448      (88 %)
2519.87/2520.01	c Memory used           : 263.70 MB
2519.87/2520.01	c CPU time              : 2519.62 s
2519.87/2520.01	
2519.87/2520.01	c nb Solutions = 10
2519.87/2520.01	s SATISFIABLE
2519.87/2520.01	c Best value found: 38953
2519.87/2520.01	
2519.87/2520.01	
2519.87/2520.01	v <instantiation type='solution' cost='38953'>
2519.87/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][64] d[0][65] d[0][66] d[0][67] d[0][68] d[0][69] d[0][6] d[0][70] d[0][71] 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][64] d[10][65] d[10][66] d[10][67] d[10][68] d[10][69] d[10][6] d[10][70] d[10][71] 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][64] d[11][65] d[11][66] d[11][67] d[11][68] d[11][69] d[11][6] d[11][70] d[11][71] 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][64] d[12][65] d[12][66] d[12][67] d[12][68] d[12][69] d[12][6] d[12][70] d[12][71] 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][64] d[13][65] d[13][66] d[13][67] d[13][68] d[13][69] d[13][6] d[13][70] d[13][71] 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][64] d[14][65] d[14][66] d[14][67] d[14][68] d[14][69] d[14][6] d[14][70] d[14][71] 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][64] d[15][65] d[15][66] d[15][67] d[15][68] d[15][69] d[15][6] d[15][70] d[15][71] 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][64] d[16][65] d[16][66] d[16][67] d[16][68] d[16][69] d[16][6] d[16][70] d[16][71] 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][64] d[17][65] d[17][66] d[17][67] d[17][68] d[17][69] d[17][6] d[17][70] d[17][71] 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][64] d[18][65] d[18][66] d[18][67] d[18][68] d[18][69] d[18][6] d[18][70] d[18][71] 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][64] d[19][65] d[19][66] d[19][67] d[19][68] d[19][69] d[19][6] d[19][70] d[19][71] 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][64] d[1][65] d[1][66] d[1][67] d[1][68] d[1][69] d[1][6] d[1][70] d[1][71] 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][64] d[20][65] d[20][66] d[20][67] d[20][68] d[20][69] d[20][6] d[20][70] d[20][71] 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][64] d[21][65] d[21][66] d[21][67] d[21][68] d[21][69] d[21][6] d[21][70] d[21][71] 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][64] d[22][65] d[22][66] d[22][67] d[22][68] d[22][69] d[22][6] d[22][70] d[22][71] 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][64] d[23][65] d[23][66] d[23][67] d[23][68] d[23][69] d[23][6] d[23][70] d[23][71] 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][64] d[24][65] d[24][66] d[24][67] d[24][68] d[24][69] d[24][6] d[24][70] d[24][71] 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][64] d[25][65] d[25][66] d[25][67] d[25][68] d[25][69] d[25][6] d[25][70] d[25][71] 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][64] d[26][65] d[26][66] d[26][67] d[26][68] d[26][69] d[26][6] d[26][70] d[26][71] 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][64] d[27][65] d[27][66] d[27][67] d[27][68] d[27][69] d[27][6] d[27][70] d[27][71] 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][64] d[28][65] d[28][66] d[28][67] d[28][68] d[28][69] d[28][6] d[28][70] d[28][71] 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][64] d[29][65] d[29][66] d[29][67] d[29][68] d[29][69] d[29][6] d[29][70] d[29][71] 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][64] d[2][65] d[2][66] d[2][67] d[2][68] d[2][69] d[2][6] d[2][70] d[2][71] 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][64] d[30][65] d[30][66] d[30][67] d[30][68] d[30][69] d[30][6] d[30][70] d[30][71] 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][64] d[31][65] d[31][66] d[31][67] d[31][68] d[31][69] d[31][6] d[31][70] d[31][71] 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][64] d[32][65] d[32][66] d[32][67] d[32][68] d[32][69] d[32][6] d[32][70] d[32][71] 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][64] d[33][65] d[33][66] d[33][67] d[33][68] d[33][69] d[33][6] d[33][70] d[33][71] 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][64] d[34][65] d[34][66] d[34][67] d[34][68] d[34][69] d[34][6] d[34][70] d[34][71] 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][64] d[35][65] d[35][66] d[35][67] d[35][68] d[35][69] d[35][6] d[35][70] d[35][71] 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][64] d[36][65] d[36][66] d[36][67] d[36][68] d[36][69] d[36][6] d[36][70] d[36][71] 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][64] d[37][65] d[37][66] d[37][67] d[37][68] d[37][69] d[37][6] d[37][70] d[37][71] 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][64] d[38][65] d[38][66] d[38][67] d[38][68] d[38][69] d[38][6] d[38][70] d[38][71] 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][64] d[39][65] d[39][66] d[39][67] d[39][68] d[39][69] d[39][6] d[39][70] d[39][71] 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][64] d[3][65] d[3][66] d[3][67] d[3][68] d[3][69] d[3][6] d[3][70] d[3][71] 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][64] d[40][65] d[40][66] d[40][67] d[40][68] d[40][69] d[40][6] d[40][70] d[40][71] 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][64] d[41][65] d[41][66] d[41][67] d[41][68] d[41][69] d[41][6] d[41][70] d[41][71] 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][64] d[42][65] d[42][66] d[42][67] d[42][68] d[42][69] d[42][6] d[42][70] d[42][71] 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][64] d[43][65] d[43][66] d[43][67] d[43][68] d[43][69] d[43][6] d[43][70] d[43][71] 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][64] d[44][65] d[44][66] d[44][67] d[44][68] d[44][69] d[44][6] d[44][70] d[44][71] 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][64] d[45][65] d[45][66] d[45][67] d[45][68] d[45][69] d[45][6] d[45][70] d[45][71] 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][64] d[46][65] d[46][66] d[46][67] d[46][68] d[46][69] d[46][6] d[46][70] d[46][71] 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][64] d[47][65] d[47][66] d[47][67] d[47][68] d[47][69] d[47][6] d[47][70] d[47][71] 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][64] d[48][65] d[48][66] d[48][67] d[48][68] d[48][69] d[48][6] d[48][70] d[48][71] 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][64] d[49][65] d[49][66] d[49][67] d[49][68] d[49][69] d[49][6] d[49][70] d[49][71] 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][64] d[4][65] d[4][66] d[4][67] d[4][68] d[4][69] d[4][6] d[4][70] d[4][71] 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][64] d[50][65] d[50][66] d[50][67] d[50][68] d[50][69] d[50][6] d[50][70] d[50][71] 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][64] d[51][65] d[51][66] d[51][67] d[51][68] d[51][69] d[51][6] d[51][70] d[51][71] 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][64] d[52][65] d[52][66] d[52][67] d[52][68] d[52][69] d[52][6] d[52][70] d[52][71] 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][64] d[53][65] d[53][66] d[53][67] d[53][68] d[53][69] d[53][6] d[53][70] d[53][71] 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][64] d[54][65] d[54][66] d[54][67] d[54][68] d[54][69] d[54][6] d[54][70] d[54][71] 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][64] d[55][65] d[55][66] d[55][67] d[55][68] d[55][69] d[55][6] d[55][70] d[55][71] 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][64] d[56][65] d[56][66] d[56][67] d[56][68] d[56][69] d[56][6] d[56][70] d[56][71] 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][64] d[57][65] d[57][66] d[57][67] d[57][68] d[57][69] d[57][6] d[57][70] d[57][71] 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][64] d[58][65] d[58][66] d[58][67] d[58][68] d[58][69] d[58][6] d[58][70] d[58][71] 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][64] d[59][65] d[59][66] d[59][67] d[59][68] d[59][69] d[59][6] d[59][70] d[59][71] 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][64] d[5][65] d[5][66] d[5][67] d[5][68] d[5][69] d[5][6] d[5][70] d[5][71] 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][64] d[60][65] d[60][66] d[60][67] d[60][68] d[60][69] d[60][6] d[60][70] d[60][71] 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][64] d[61][65] d[61][66] d[61][67] d[61][68] d[61][69] d[61][6] d[61][70] d[61][71] 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][64] d[62][65] d[62][66] d[62][67] d[62][68] d[62][69] d[62][6] d[62][70] d[62][71] 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][64] d[63][65] d[63][66] d[63][67] d[63][68] d[63][69] d[63][6] d[63][70] d[63][71] d[63][7] d[63][8] d[63][9] d[64][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] d[64][70] d[64][71] d[64][7] d[64][8] d[64][9] d[65][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] d[65][70] d[65][71] d[65][7] d[65][8] d[65][9] d[66][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] d[66][70] d[66][71] d[66][7] d[66][8] d[66][9] d[67][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] d[67][70] d[67][71] d[67][7] d[67][8] d[67][9] d[68][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] d[68][70] d[68][71] d[68][7] d[68][8] d[68][9] d[69][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] d[69][70] d[69][71] d[69][7] d[69][8] d[69][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][64] d[6][65] d[6][66] d[6][67] d[6][68] d[6][69] d[6][6] d[6][70] d[6][71] d[6][7] d[6][8] d[6][9] d[70][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] d[70][70] d[70][71] d[70][7] d[70][8] d[70][9] d[71][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] d[71][70] d[71][71] d[71][7] d[71][8] d[71][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][64] d[7][65] d[7][66] d[7][67] d[7][68] d[7][69] d[7][6] d[7][70] d[7][71] 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][64] d[8][65] d[8][66] d[8][67] d[8][68] d[8][69] d[8][6] d[8][70] d[8][71] 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][64] d[9][65] d[9][66] d[9][67] d[9][68] d[9][69] d[9][6] d[9][70] d[9][71] 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[64] x[65] x[66] x[67] x[68] x[69] x[6] x[70] x[71] x[7] x[8] x[9] </list>
2519.87/2520.01	v <values>* 0 3 2 2 0 2 1 5 0 1 5 10 5 0 6 2 0 10 0 0 0 3 5 2 2 0 10 1 2 4 2 0 0 2 5 1 0 4 1 4 2 0 2 0 1 0 4 2 0 1 0 0 2 1 1 0 0 1 0 5 1 3 0 0 2 0 10 5 10 1 2 * * 0 0 0 5 5 0 2 1 5 * 2 0 10 5 2 2 0 5 0 6 * 0 2 0 0 0 5 5 2 4 0 * 2 2 0 2 6 5 1 10 0 0 * 0 0 1 10 5 1 2 2 0 2 * 5 5 2 0 2 0 3 1 5 2 * 0 10 * * * * * * 5 1 5 0 5 1 2 5 * 3 6 2 5 0 0 5 3 1 0 * 5 10 0 1 5 5 2 0 1 0 * 1 5 0 0 0 1 10 0 2 2 * 5 10 10 2 0 1 0 0 2 10 * 2 5 1 1 0 5 5 5 3 5 * 3 1 * * * * * * * 5 2 5 0 1 0 4 * 0 0 5 5 2 2 0 10 5 0 * 1 0 3 1 2 5 1 1 5 10 * 1 2 3 2 0 1 0 5 0 4 * 5 1 0 5 2 5 0 0 2 5 * 0 4 0 2 2 2 0 5 5 0 * 1 5 * * * * * * * * 4 2 5 0 10 0 * 1 5 1 5 5 2 10 5 0 10 * 5 2 10 10 2 2 3 1 0 0 * 0 2 0 10 5 0 5 5 0 2 * 5 5 0 0 5 5 0 5 1 1 * 5 2 5 0 0 2 2 1 10 0 * 0 2 * * * * * * * * * 6 0 1 5 2 * 5 0 5 1 2 0 0 0 1 5 * 0 0 2 6 1 1 5 0 5 0 * 0 1 3 5 10 2 5 1 0 5 * 1 2 2 5 5 2 2 0 2 0 * 0 2 2 2 2 0 3 0 2 5 * 0 0 * * * * * * * * * * 5 2 0 0 * 5 1 5 1 5 2 6 2 1 0 * 5 10 5 1 2 5 2 0 10 5 * 0 5 5 4 0 3 1 10 0 1 * 6 3 4 0 5 2 5 0 3 0 * 2 2 2 5 4 0 2 5 0 0 * 1 0 * * * * * * * * * * * 3 0 5 * 2 1 1 0 2 5 2 1 0 0 * 2 5 10 4 3 2 5 1 1 0 * 10 0 2 0 2 4 0 5 5 2 * 2 2 2 1 5 1 0 1 5 1 * 2 5 10 10 2 0 5 3 10 0 * 2 3 * * * * * * * * * * * * 5 2 * 5 0 10 0 3 2 5 0 1 0 * 0 5 5 10 4 2 2 2 4 5 * 2 2 5 10 5 2 0 0 0 6 * 1 0 5 2 2 0 5 5 1 0 * 5 2 0 10 5 1 2 10 2 0 * 4 10 * * * * * * * * * * * * * 4 * 0 0 10 2 5 0 2 2 1 0 * 4 4 10 5 2 0 10 5 2 0 * 1 2 0 0 1 1 1 0 4 0 * 5 2 0 0 2 4 0 0 2 10 * 1 2 0 2 5 2 0 5 3 0 * 2 5 * * * * * * * * * * * * * * * 0 0 1 5 5 10 5 0 5 0 * 0 0 0 1 2 5 10 0 5 0 * 10 10 5 1 0 4 0 5 10 0 * 0 2 5 2 0 0 10 0 2 6 * 6 0 5 0 0 1 0 5 0 0 * 0 0 * * * * 5 2 0 5 5 1 3 2 3 1 * 2 0 5 0 0 2 0 5 0 5 10 5 1 0 1 5 0 2 3 5 5 0 5 0 0 0 1 0 5 0 10 1 0 0 1 10 1 0 4 2 5 0 5 0 2 5 2 10 0 1 2 5 5 6 2 0 4 4 0 0 * * * * * * * * * * * * * 1 10 10 5 1 6 4 10 2 * 1 0 5 2 0 10 0 0 5 3 * 5 0 5 1 1 5 0 0 5 10 * 3 5 2 0 2 0 0 1 0 4 * 0 0 1 0 0 2 0 5 0 5 * 4 0 * * * * * * * * * * * * * * * * * 5 2 2 2 5 1 1 5 * 2 0 5 5 0 5 0 10 0 0 * 1 0 5 3 0 0 1 2 5 5 * 1 5 2 0 1 5 0 5 5 1 * 2 0 2 2 2 5 1 5 6 0 * 4 10 * * * * * * * * * * * * * * * * * * 0 2 0 5 0 2 2 * 2 0 5 2 0 5 0 2 2 4 * 5 2 1 0 2 3 0 0 5 6 * 0 1 5 2 5 1 2 0 5 1 * 3 5 1 2 0 2 5 2 5 0 * 1 0 * * * * * * * * * * * * * * * * * * * 2 1 0 10 0 1 * 5 0 2 0 5 0 2 5 2 4 * 6 0 0 4 10 1 2 0 10 2 * 5 3 0 1 0 5 0 2 10 2 * 2 0 0 6 0 2 0 0 10 1 * 5 3 * * * * * * * * * * * * * * * * * * * * 1 2 0 0 1 * 2 0 0 5 1 0 5 1 10 2 * 1 2 4 2 5 2 0 0 5 4 * 0 0 0 0 1 1 2 0 10 10 * 0 5 1 2 2 5 5 5 5 6 * 0 10 * * * * * * * * * * * * * * * * * * * * * 2 10 2 0 * 2 0 2 0 0 0 0 0 10 1 * 2 3 5 0 1 2 5 5 0 1 * 1 5 0 5 5 2 0 2 3 0 * 0 5 1 0 5 5 5 5 5 0 * 10 5 * * * * * * * * * * * * * * * * * * * * * * 1 5 0 * 2 10 0 0 1 10 0 0 3 10 * 0 0 0 10 0 5 2 5 2 5 * 2 5 1 0 0 0 2 10 5 1 * 10 10 0 2 4 1 2 1 5 3 * 2 1 * * * * * * * * * * * * * * * * * * * * * * * 0 1 * 0 1 0 10 0 4 1 2 2 0 * 1 5 0 6 10 0 5 1 2 0 * 1 3 5 4 1 0 4 5 1 2 * 0 5 0 5 5 0 0 5 2 0 * 0 5 * * * * * * * * * * * * * * * * * * * * * * * * 1 * 2 0 10 10 2 4 1 5 5 2 * 2 1 0 0 0 5 5 10 0 5 * 5 2 3 0 0 5 0 10 6 4 * 2 1 5 10 3 2 0 0 2 2 * 0 1 * * * * * * * * * * * * * * * * * * * * * * * * * * 0 1 6 0 0 4 0 5 2 2 * 0 2 2 1 2 1 0 5 5 6 * 2 0 1 0 1 5 0 0 0 2 * 0 10 2 2 0 0 3 0 0 5 * 1 1 * * * * 0 0 2 5 1 2 5 10 5 0 * 2 1 1 5 2 2 5 3 0 0 * 10 0 1 5 1 0 5 0 5 10 5 10 4 1 0 0 2 5 5 4 0 10 0 0 0 5 10 5 4 5 10 1 2 0 2 3 0 0 1 5 2 0 5 2 0 0 2 5 0 * * * * * * * * * * * * * * * * * * * * * * * * 2 5 5 5 5 0 0 2 10 * 10 10 0 2 2 2 0 2 5 0 * 5 2 5 0 5 2 1 2 1 0 * 2 10 5 3 5 5 0 0 4 5 * 0 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 0 5 10 10 5 10 * 2 0 10 1 0 2 10 1 0 0 * 2 0 5 10 1 10 0 0 10 0 * 2 3 1 10 1 0 5 0 5 3 * 2 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 2 1 5 2 2 0 * 2 0 6 0 10 2 0 0 2 0 * 2 2 0 2 5 0 5 0 10 1 * 5 5 10 10 1 0 6 5 10 3 * 0 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 5 2 5 2 2 * 4 1 4 0 3 2 0 1 5 10 * 0 0 0 1 5 4 2 5 0 5 * 0 1 2 6 1 2 0 0 0 0 * 5 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 1 2 2 0 * 10 6 5 5 2 5 2 10 5 0 * 5 0 0 5 10 4 1 1 10 0 * 1 4 5 0 4 1 1 5 1 1 * 0 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 2 0 0 * 1 5 10 5 0 2 5 1 5 0 * 5 3 6 1 3 2 5 0 5 10 * 5 0 10 1 0 2 0 2 6 10 * 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 4 2 2 * 0 1 0 5 4 0 2 1 5 5 * 5 1 3 0 3 0 2 2 5 0 * 5 2 0 0 10 0 0 5 5 5 * 5 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 0 * 0 5 1 0 2 1 5 5 10 0 * 1 6 4 2 2 1 1 1 0 5 * 1 10 10 1 5 5 3 2 0 5 * 10 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 * 2 2 1 0 1 3 0 0 0 0 * 5 0 1 1 2 2 0 0 0 2 * 5 0 3 0 2 1 0 2 0 0 * 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 5 0 1 5 5 0 5 1 5 * 5 2 1 5 0 0 5 1 10 10 * 1 5 0 1 5 10 5 0 2 0 * 2 2 * * * * 0 0 5 0 5 0 2 2 0 10 * 5 0 2 0 6 0 0 1 1 0 * 2 0 5 3 4 3 0 5 0 10 * 10 0 5 0 6 3 10 1 3 10 10 2 2 2 2 0 1 2 10 2 1 10 1 0 5 0 2 0 5 0 5 2 3 5 6 0 4 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 2 0 2 5 0 2 2 * 2 0 2 0 3 0 0 5 5 2 * 10 1 3 6 0 10 2 10 2 0 * 1 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 2 0 10 5 5 3 0 * 2 2 4 1 0 5 0 0 5 3 * 10 10 0 10 0 2 5 0 5 0 * 5 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 2 0 5 2 0 0 * 0 10 5 10 2 2 0 3 0 5 * 10 5 3 0 0 0 5 0 0 0 * 1 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 5 10 5 5 0 * 5 0 5 10 4 2 5 4 2 0 * 5 2 0 3 5 0 0 5 2 1 * 4 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 2 2 5 2 * 0 3 0 0 5 3 10 0 5 6 * 0 2 0 0 5 6 1 0 2 3 * 0 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 5 10 5 * 0 5 0 0 4 2 4 1 2 0 * 2 1 0 5 5 5 1 3 0 2 * 5 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 5 0 * 2 4 0 5 2 5 0 0 5 5 * 5 5 0 5 5 5 3 1 3 0 * 2 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 5 * 1 5 0 1 5 5 2 0 1 5 * 0 5 10 0 10 0 2 5 0 0 * 5 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 * 10 4 0 5 0 5 1 2 2 2 * 5 2 0 4 5 0 2 5 5 0 * 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 5 2 3 0 10 2 2 2 5 * 1 2 6 10 3 0 5 5 0 4 * 5 1 * * * * 0 0 0 2 2 1 0 0 5 1 * 2 0 5 10 0 5 5 0 1 1 * 0 0 0 10 5 10 2 5 5 5 * 2 2 5 4 0 5 1 0 0 5 * 0 0 1 0 0 2 0 2 2 1 0 10 4 1 1 3 0 0 2 1 0 1 0 2 2 3 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 5 5 0 5 1 2 5 10 * 0 0 5 10 2 1 2 5 10 2 * 0 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 5 2 5 1 5 1 2 * 5 5 3 1 5 10 1 1 10 2 * 0 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 3 5 5 2 2 0 * 1 2 1 0 0 10 2 0 0 0 * 5 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 5 10 0 5 5 * 0 0 10 0 1 2 2 3 10 0 * 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 10 0 1 1 * 0 5 0 4 10 1 5 2 10 5 * 5 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 4 10 5 3 * 5 5 0 2 10 6 3 5 1 0 * 10 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 0 0 * 5 0 1 2 1 0 1 1 2 5 * 2 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 5 * 4 3 2 3 10 0 5 2 2 1 * 5 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 * 5 3 2 2 5 1 1 2 2 1 * 5 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 5 6 0 4 0 5 3 10 0 * 3 1 * * * * 5 0 0 1 0 5 5 2 4 0 * 5 0 5 10 5 0 0 2 0 5 * 0 0 10 5 1 5 2 5 5 0 * 1 0 2 1 5 0 2 2 6 1 * 1 0 4 2 5 4 2 0 5 0 * 0 0 2 5 0 5 0 5 4 5 2 2 2 0 2 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 5 0 0 5 5 0 4 1 * 2 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 4 4 10 1 2 0 10 1 * 2 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 0 0 2 10 4 1 * 1 6 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 5 2 4 1 0 * 2 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 0 0 0 2 * 0 4 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 0 5 5 * 2 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 5 0 * 2 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 1 * 5 4 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 * 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 2 * * * * 0 6 0 0 5 5 2 0 0 5 * 1 2 5 5 5 0 5 2 0 10 * 0 0 5 0 10 10 5 5 4 0 * 0 5 3 2 0 0 5 0 5 2 * 5 10 0 2 10 0 0 5 1 2 * 2 2 10 0 3 1 2 0 5 0 * 0 5 2 2 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 10 3 2 0 4 0 0 2 * 2 0 5 5 5 0 0 3 5 1 * 10 1 0 2 0 1 10 0 2 1 * 0 2 5 5 5 0 3 0 10 0 * 2 3 0 0 0 0 5 0 4 5 * 1 6 5 10 5 0 0 0 10 2 * 3 0 * 4 0 * 2 0 0 3 0 2 5 0 1 4 * 1 0 5 6 0 0 0 0 2 0 * 4 0 1 0 0 5 2 0 0 0 * 10 10 0 0 3 4 10 0 0 0 * 1 10 1 3 0 10 1 10 0 2 * 5 5 10 2 0 0 5 0 1 2 * 0 2 * * 3 * 10 10 10 0 1 2 5 0 2 0 * 3 0 5 3 10 0 0 6 5 2 * 3 5 5 6 4 4 4 6 0 0 * 1 1 0 4 2 1 10 3 0 3 * 2 0 0 2 5 0 5 0 0 3 * 2 2 0 0 2 0 0 10 0 1 * 1 0 * * * 33 17 24 29 64 30 16 32 25 13 47 28 1 2 20 37 9 53 35 26 31 52 43 70 3 21 46 8 36 22 42 7 56 41 39 18 71 60 59 67 65 38 48 51 50 58 68 10 61 66 19 63 40 54 12 34 14 5 62 0 15 44 4 27 45 11 49 23 55 6 57 69 </values>
2519.87/2520.01	v </instantiation>
2519.87/2520.01	

OK	38953

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 (11664 MiB free)
  memory of node 1: 16384 MiB (15765 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298864-1532771262/watcher-4298864-1532771262 -o /tmp/evaluation-result-4298864-1532771262/solver-4298864-1532771262 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532741135-24675 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4298864-1532771262.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=28672, runsolver pid=28669

[startup+0.100112 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 28673
/proc/meminfo: memFree=28080972/32770624 swapFree=67108860/67108860
[pid=28672] ppid=28669 vsize=52232 memory=28332 CPUtime=0.1 cores=0,2,4,6
/proc/28672/stat : 28672 (cosoco) R 28669 28672 24644 0 -1 4202496 7268 0 0 0 9 1 0 0 20 0 1 0 94689424 53485568 7083 33554432000 4194304 6142532 140722136213408 140722136210040 140020300658592 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 39612416 140722136220806 140722136220936 140722136220936 140722136223694 0
/proc/28672/statm: 13058 7083 796 476 0 6380 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 52232 KiB
Current children cumulated memory: 28332 KiB

[startup+0.209921 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 28673
/proc/meminfo: memFree=28028768/32770624 swapFree=67108860/67108860
[pid=28672] ppid=28669 vsize=87716 memory=63992 CPUtime=0.21 cores=0,2,4,6
/proc/28672/stat : 28672 (cosoco) R 28669 28672 24644 0 -1 4202496 16203 0 0 0 19 2 0 0 20 0 1 0 94689424 89821184 15998 33554432000 4194304 6142532 140722136213408 140722136210040 5748533 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 39612416 140722136220806 140722136220936 140722136220936 140722136223694 0
/proc/28672/statm: 21929 15998 796 476 0 15251 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 87716 KiB
Current children cumulated memory: 63992 KiB

[startup+0.309614 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 28673
/proc/meminfo: memFree=27922128/32770624 swapFree=67108860/67108860
[pid=28672] ppid=28669 vsize=193832 memory=170380 CPUtime=0.31 cores=0,2,4,6
/proc/28672/stat : 28672 (cosoco) R 28669 28672 24644 0 -1 4202496 42782 0 0 0 26 5 0 0 20 0 1 0 94689424 198483968 42595 33554432000 4194304 6142532 140722136213408 140722136210040 5336586 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 39612416 140722136220806 140722136220936 140722136220936 140722136223694 0
/proc/28672/statm: 48458 42595 845 476 0 41780 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 193832 KiB
Current children cumulated memory: 170380 KiB

[startup+0.700261 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28673
/proc/meminfo: memFree=27921888/32770624 swapFree=67108860/67108860
[pid=28672] ppid=28669 vsize=193832 memory=170380 CPUtime=0.69 cores=0,2,4,6
/proc/28672/stat : 28672 (cosoco) R 28669 28672 24644 0 -1 4202496 42786 0 0 0 64 5 0 0 20 0 1 0 94689424 198483968 42595 33554432000 4194304 6142532 140722136213408 140722136210040 5347469 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 39612416 140722136220806 140722136220936 140722136220936 140722136223694 0
/proc/28672/statm: 48458 42595 845 476 0 41780 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 193832 KiB
Current children cumulated memory: 170380 KiB

[startup+1.50031 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28673
/proc/meminfo: memFree=27917016/32770624 swapFree=67108860/67108860
[pid=28672] ppid=28669 vsize=216124 memory=192556 CPUtime=1.49 cores=0,2,4,6
/proc/28672/stat : 28672 (cosoco) R 28669 28672 24644 0 -1 4202496 48348 0 0 0 143 6 0 0 20 0 1 0 94689424 221310976 48139 33554432000 4194304 6142532 140722136213408 140722136210392 5138259 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 39612416 140722136220806 140722136220936 140722136220936 140722136223694 0
/proc/28672/statm: 54031 48139 850 476 0 47353 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 216124 KiB
Current children cumulated memory: 192556 KiB

[startup+3.10956 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28673
/proc/meminfo: memFree=27858364/32770624 swapFree=67108860/67108860
[pid=28672] ppid=28669 vsize=257160 memory=233020 CPUtime=3.1 cores=0,2,4,6
/proc/28672/stat : 28672 (cosoco) R 28669 28672 24644 0 -1 4202496 98109 0 0 0 301 9 0 0 20 0 1 0 94689424 263331840 58255 33554432000 4194304 6142532 140722136213408 140722136210232 5017816 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 39612416 140722136220806 140722136220936 140722136220936 140722136223694 0
/proc/28672/statm: 64290 58255 850 476 0 57612 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 257160 KiB
Current children cumulated memory: 233020 KiB

[startup+6.30031 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28673
/proc/meminfo: memFree=27858348/32770624 swapFree=67108860/67108860
[pid=28672] ppid=28669 vsize=257160 memory=233020 CPUtime=6.29 cores=0,2,4,6
/proc/28672/stat : 28672 (cosoco) R 28669 28672 24644 0 -1 4202496 129410 0 0 0 618 11 0 0 20 0 1 0 94689424 263331840 58255 33554432000 4194304 6142532 140722136213408 140722136210232 5017782 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 39612416 140722136220806 140722136220936 140722136220936 140722136223694 0
/proc/28672/statm: 64290 58255 850 476 0 57612 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 257160 KiB
Current children cumulated memory: 233020 KiB

[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28673
/proc/meminfo: memFree=27857464/32770624 swapFree=67108860/67108860
[pid=28672] ppid=28669 vsize=258660 memory=234396 CPUtime=12.69 cores=0,2,4,6
/proc/28672/stat : 28672 (cosoco) R 28669 28672 24644 0 -1 4202496 182943 0 0 0 1254 15 0 0 20 0 1 0 94689424 264867840 58599 33554432000 4194304 6142532 140722136213408 140722136210264 5336586 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 39612416 140722136220806 140722136220936 140722136220936 140722136223694 0
/proc/28672/statm: 64665 58599 852 476 0 57987 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 258660 KiB
Current children cumulated memory: 234396 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28673
/proc/meminfo: memFree=27854472/32770624 swapFree=67108860/67108860
[pid=28672] ppid=28669 vsize=261420 memory=237148 CPUtime=25.49 cores=0,2,4,6
/proc/28672/stat : 28672 (cosoco) R 28669 28672 24644 0 -1 4202496 248872 0 0 0 2531 18 0 0 20 0 1 0 94689424 267694080 59287 33554432000 4194304 6142532 140722136213408 140722136210120 5138259 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 39612416 140722136220806 140722136220936 140722136220936 140722136223694 0
/proc/28672/statm: 65355 59287 852 476 0 58677 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 261420 KiB
Current children cumulated memory: 237148 KiB

[startup+51.1099 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28673
/proc/meminfo: memFree=27849496/32770624 swapFree=67108860/67108860
[pid=28672] ppid=28669 vsize=265628 memory=241452 CPUtime=51.1 cores=0,2,4,6
/proc/28672/stat : 28672 (cosoco) R 28669 28672 24644 0 -1 4202496 316391 0 0 0 5089 21 0 0 20 0 1 0 94689424 272003072 60363 33554432000 4194304 6142532 140722136213408 140722136210120 5017803 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 39612416 140722136220806 140722136220936 140722136220936 140722136223694 0
/proc/28672/statm: 66407 60363 852 476 0 59729 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 265628 KiB
Current children cumulated memory: 241452 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28674
/proc/meminfo: memFree=27847408/32770624 swapFree=67108860/67108860
[pid=28672] ppid=28669 vsize=268644 memory=244460 CPUtime=102.27 cores=0,2,4,6
/proc/28672/stat : 28672 (cosoco) R 28669 28672 24644 0 -1 4202496 362173 0 0 0 10204 23 0 0 20 0 1 0 94689424 275091456 61115 33554432000 4194304 6142532 140722136213408 140722136200680 5017816 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 39612416 140722136220806 140722136220936 140722136220936 140722136223694 0
/proc/28672/statm: 67161 61115 852 476 0 60483 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 268644 KiB
Current children cumulated memory: 244460 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 28683
/proc/meminfo: memFree=27844712/32770624 swapFree=67108860/67108860
[pid=28672] ppid=28669 vsize=269468 memory=245308 CPUtime=162.26 cores=0,2,4,6
/proc/28672/stat : 28672 (cosoco) R 28669 28672 24644 0 -1 4202496 392240 0 0 0 16201 25 0 0 20 0 1 0 94689424 275935232 61327 33554432000 4194304 6142532 140722136213408 140722136210936 5139732 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 39612416 140722136220806 140722136220936 140722136220936 140722136223694 0
/proc/28672/statm: 67367 61327 852 476 0 60689 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 269468 KiB
Current children cumulated memory: 245308 KiB

[startup+222.3 s]
/proc/loadavg: 1.96 2.00 2.04 3/188 28684
/proc/meminfo: memFree=27844208/32770624 swapFree=67108860/67108860
[pid=28672] ppid=28669 vsize=269468 memory=246112 CPUtime=222.25 cores=0,2,4,6
/proc/28672/stat : 28672 (cosoco) R 28669 28672 24644 0 -1 4202496 395841 0 0 0 22200 25 0 0 20 0 1 0 94689424 275935232 61528 33554432000 4194304 6142532 140722136213408 140722136210936 5017767 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 39612416 140722136220806 140722136220936 140722136220936 140722136223694 0
/proc/28672/statm: 67367 61528 852 476 0 60689 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 269468 KiB
Current children cumulated memory: 246112 KiB

[startup+282.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/188 28685
/proc/meminfo: memFree=27844120/32770624 swapFree=67108860/67108860
[pid=28672] ppid=28669 vsize=269608 memory=246164 CPUtime=282.25 cores=0,2,4,6
/proc/28672/stat : 28672 (cosoco) R 28669 28672 24644 0 -1 4202496 396085 0 0 0 28200 25 0 0 20 0 1 0 94689424 276078592 61541 33554432000 4194304 6142532 140722136213408 140722136210120 5017767 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 39612416 140722136220806 140722136220936 140722136220936 140722136223694 0
/proc/28672/statm: 67402 61541 852 476 0 60724 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 269608 KiB
Current children cumulated memory: 246164 KiB

[startup+342.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/188 28686
/proc/meminfo: memFree=27843760/32770624 swapFree=67108860/67108860
[pid=28672] ppid=28669 vsize=270024 memory=246564 CPUtime=342.24 cores=0,2,4,6
/proc/28672/stat : 28672 (cosoco) R 28669 28672 24644 0 -1 4202496 396535 0 0 0 34199 25 0 0 20 0 1 0 94689424 276504576 61641 33554432000 4194304 6142532 140722136213408 140722136210120 5017909 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 39612416 140722136220806 140722136220936 140722136220936 140722136223694 0
/proc/28672/statm: 67506 61641 852 476 0 60828 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 270024 KiB
Current children cumulated memory: 246564 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 28687
/proc/meminfo: memFree=27844096/32770624 swapFree=67108860/67108860
[pid=28672] ppid=28669 vsize=270024 memory=246592 CPUtime=402.25 cores=0,2,4,6
/proc/28672/stat : 28672 (cosoco) R 28669 28672 24644 0 -1 4202496 396902 0 0 0 40199 26 0 0 20 0 1 0 94689424 276504576 61648 33554432000 4194304 6142532 140722136213408 140722136210936 5017969 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 39612416 140722136220806 140722136220936 140722136220936 140722136223694 0
/proc/28672/statm: 67506 61648 852 476 0 60828 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 270024 KiB
Current children cumulated memory: 246592 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 28689
/proc/meminfo: memFree=27843552/32770624 swapFree=67108860/67108860
[pid=28672] ppid=28669 vsize=270024 memory=246604 CPUtime=462.24 cores=0,2,4,6
/proc/28672/stat : 28672 (cosoco) R 28669 28672 24644 0 -1 4202496 397165 0 0 0 46198 26 0 0 20 0 1 0 94689424 276504576 61651 33554432000 4194304 6142532 140722136213408 140722136210936 5017767 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 39612416 140722136220806 140722136220936 140722136220936 140722136223694 0
/proc/28672/statm: 67506 61651 852 476 0 60828 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 270024 KiB
Current children cumulated memory: 246604 KiB


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

/proc/28672/statm: 67506 61668 852 476 0 60828 0
Current children cumulated CPU time: 1722.19 s
Current children cumulated vsize: 270024 KiB
Current children cumulated memory: 246672 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28750
/proc/meminfo: memFree=27844320/32770624 swapFree=67108860/67108860
[pid=28672] ppid=28669 vsize=270024 memory=246672 CPUtime=1782.19 cores=0,2,4,6
/proc/28672/stat : 28672 (cosoco) R 28669 28672 24644 0 -1 4202496 401426 0 0 0 178193 26 0 0 20 0 1 0 94689424 276504576 61668 33554432000 4194304 6142532 140722136213408 140722136210936 5016509 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 39612416 140722136220806 140722136220936 140722136220936 140722136223694 0
/proc/28672/statm: 67506 61668 852 476 0 60828 0
Current children cumulated CPU time: 1782.19 s
Current children cumulated vsize: 270024 KiB
Current children cumulated memory: 246672 KiB

[startup+1842.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/186 28751
/proc/meminfo: memFree=27844924/32770624 swapFree=67108860/67108860
[pid=28672] ppid=28669 vsize=270024 memory=246672 CPUtime=1842.19 cores=0,2,4,6
/proc/28672/stat : 28672 (cosoco) R 28669 28672 24644 0 -1 4202496 401560 0 0 0 184193 26 0 0 20 0 1 0 94689424 276504576 61668 33554432000 4194304 6142532 140722136213408 140722136210936 5017941 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 39612416 140722136220806 140722136220936 140722136220936 140722136223694 0
/proc/28672/statm: 67506 61668 852 476 0 60828 0
Current children cumulated CPU time: 1842.19 s
Current children cumulated vsize: 270024 KiB
Current children cumulated memory: 246672 KiB

[startup+1902.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 28753
/proc/meminfo: memFree=27843916/32770624 swapFree=67108860/67108860
[pid=28672] ppid=28669 vsize=270024 memory=246672 CPUtime=1902.19 cores=0,2,4,6
/proc/28672/stat : 28672 (cosoco) R 28669 28672 24644 0 -1 4202496 402010 0 0 0 190193 26 0 0 20 0 1 0 94689424 276504576 61668 33554432000 4194304 6142532 140722136213408 140722136210936 5018336 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 39612416 140722136220806 140722136220936 140722136220936 140722136223694 0
/proc/28672/statm: 67506 61668 852 476 0 60828 0
Current children cumulated CPU time: 1902.19 s
Current children cumulated vsize: 270024 KiB
Current children cumulated memory: 246672 KiB

[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 28825
/proc/meminfo: memFree=27402824/32770624 swapFree=67108860/67108860
[pid=28672] ppid=28669 vsize=270024 memory=246672 CPUtime=1962.18 cores=0,2,4,6
/proc/28672/stat : 28672 (cosoco) R 28669 28672 24644 0 -1 4202496 402190 0 0 0 196192 26 0 0 20 0 1 0 94689424 276504576 61668 33554432000 4194304 6142532 140722136213408 140722136210936 5017737 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 39612416 140722136220806 140722136220936 140722136220936 140722136223694 0
/proc/28672/statm: 67506 61668 852 476 0 60828 0
Current children cumulated CPU time: 1962.18 s
Current children cumulated vsize: 270024 KiB
Current children cumulated memory: 246672 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28826
/proc/meminfo: memFree=27396400/32770624 swapFree=67108860/67108860
[pid=28672] ppid=28669 vsize=270024 memory=246672 CPUtime=2022.18 cores=0,2,4,6
/proc/28672/stat : 28672 (cosoco) R 28669 28672 24644 0 -1 4202496 402350 0 0 0 202192 26 0 0 20 0 1 0 94689424 276504576 61668 33554432000 4194304 6142532 140722136213408 140722136210936 5017816 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 39612416 140722136220806 140722136220936 140722136220936 140722136223694 0
/proc/28672/statm: 67506 61668 852 476 0 60828 0
Current children cumulated CPU time: 2022.18 s
Current children cumulated vsize: 270024 KiB
Current children cumulated memory: 246672 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28827
/proc/meminfo: memFree=27384540/32770624 swapFree=67108860/67108860
[pid=28672] ppid=28669 vsize=270024 memory=246672 CPUtime=2082.18 cores=0,2,4,6
/proc/28672/stat : 28672 (cosoco) R 28669 28672 24644 0 -1 4202496 402628 0 0 0 208192 26 0 0 20 0 1 0 94689424 276504576 61668 33554432000 4194304 6142532 140722136213408 140722136210936 5017759 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 39612416 140722136220806 140722136220936 140722136220936 140722136223694 0
/proc/28672/statm: 67506 61668 852 476 0 60828 0
Current children cumulated CPU time: 2082.18 s
Current children cumulated vsize: 270024 KiB
Current children cumulated memory: 246672 KiB

[startup+2142.3 s]
/proc/loadavg: 2.53 2.15 2.09 3/187 28828
/proc/meminfo: memFree=27381064/32770624 swapFree=67108860/67108860
[pid=28672] ppid=28669 vsize=270024 memory=246672 CPUtime=2142.18 cores=0,2,4,6
/proc/28672/stat : 28672 (cosoco) R 28669 28672 24644 0 -1 4202496 402963 0 0 0 214192 26 0 0 20 0 1 0 94689424 276504576 61668 33554432000 4194304 6142532 140722136213408 140722136210936 5016416 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 39612416 140722136220806 140722136220936 140722136220936 140722136223694 0
/proc/28672/statm: 67506 61668 852 476 0 60828 0
Current children cumulated CPU time: 2142.18 s
Current children cumulated vsize: 270024 KiB
Current children cumulated memory: 246672 KiB

[startup+2202.3 s]
/proc/loadavg: 2.19 2.12 2.08 3/187 28829
/proc/meminfo: memFree=27377524/32770624 swapFree=67108860/67108860
[pid=28672] ppid=28669 vsize=270024 memory=246672 CPUtime=2202.17 cores=0,2,4,6
/proc/28672/stat : 28672 (cosoco) R 28669 28672 24644 0 -1 4202496 403109 0 0 0 220191 26 0 0 20 0 1 0 94689424 276504576 61668 33554432000 4194304 6142532 140722136213408 140722136210936 5017716 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 39612416 140722136220806 140722136220936 140722136220936 140722136223694 0
/proc/28672/statm: 67506 61668 852 476 0 60828 0
Current children cumulated CPU time: 2202.17 s
Current children cumulated vsize: 270024 KiB
Current children cumulated memory: 246672 KiB

[startup+2262.3 s]
/proc/loadavg: 2.07 2.10 2.08 3/187 28831
/proc/meminfo: memFree=27374852/32770624 swapFree=67108860/67108860
[pid=28672] ppid=28669 vsize=270024 memory=246672 CPUtime=2262.17 cores=0,2,4,6
/proc/28672/stat : 28672 (cosoco) R 28669 28672 24644 0 -1 4202496 403268 0 0 0 226191 26 0 0 20 0 1 0 94689424 276504576 61668 33554432000 4194304 6142532 140722136213408 140722136210936 5017760 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 39612416 140722136220806 140722136220936 140722136220936 140722136223694 0
/proc/28672/statm: 67506 61668 852 476 0 60828 0
Current children cumulated CPU time: 2262.17 s
Current children cumulated vsize: 270024 KiB
Current children cumulated memory: 246672 KiB

[startup+2322.3 s]
/proc/loadavg: 2.03 2.08 2.07 3/187 28832
/proc/meminfo: memFree=27372596/32770624 swapFree=67108860/67108860
[pid=28672] ppid=28669 vsize=270024 memory=246672 CPUtime=2322.17 cores=0,2,4,6
/proc/28672/stat : 28672 (cosoco) R 28669 28672 24644 0 -1 4202496 403413 0 0 0 232191 26 0 0 20 0 1 0 94689424 276504576 61668 33554432000 4194304 6142532 140722136213408 140722136210936 5017816 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 39612416 140722136220806 140722136220936 140722136220936 140722136223694 0
/proc/28672/statm: 67506 61668 852 476 0 60828 0
Current children cumulated CPU time: 2322.17 s
Current children cumulated vsize: 270024 KiB
Current children cumulated memory: 246672 KiB

[startup+2382.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/187 28833
/proc/meminfo: memFree=27372696/32770624 swapFree=67108860/67108860
[pid=28672] ppid=28669 vsize=270024 memory=246672 CPUtime=2382.17 cores=0,2,4,6
/proc/28672/stat : 28672 (cosoco) R 28669 28672 24644 0 -1 4202496 403566 0 0 0 238191 26 0 0 20 0 1 0 94689424 276504576 61668 33554432000 4194304 6142532 140722136213408 140722136210936 5017759 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 39612416 140722136220806 140722136220936 140722136220936 140722136223694 0
/proc/28672/statm: 67506 61668 852 476 0 60828 0
Current children cumulated CPU time: 2382.17 s
Current children cumulated vsize: 270024 KiB
Current children cumulated memory: 246672 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/187 28835
/proc/meminfo: memFree=27372144/32770624 swapFree=67108860/67108860
[pid=28672] ppid=28669 vsize=270024 memory=246672 CPUtime=2442.16 cores=0,2,4,6
/proc/28672/stat : 28672 (cosoco) R 28669 28672 24644 0 -1 4202496 403719 0 0 0 244190 26 0 0 20 0 1 0 94689424 276504576 61668 33554432000 4194304 6142532 140722136213408 140722136210936 5017759 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 39612416 140722136220806 140722136220936 140722136220936 140722136223694 0
/proc/28672/statm: 67506 61668 852 476 0 60828 0
Current children cumulated CPU time: 2442.16 s
Current children cumulated vsize: 270024 KiB
Current children cumulated memory: 246672 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 28836
/proc/meminfo: memFree=27372580/32770624 swapFree=67108860/67108860
[pid=28672] ppid=28669 vsize=270024 memory=246672 CPUtime=2502.16 cores=0,2,4,6
/proc/28672/stat : 28672 (cosoco) R 28669 28672 24644 0 -1 4202496 403869 0 0 0 250190 26 0 0 20 0 1 0 94689424 276504576 61668 33554432000 4194304 6142532 140722136213408 140722136210936 5017806 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 39612416 140722136220806 140722136220936 140722136220936 140722136223694 0
/proc/28672/statm: 67506 61668 852 476 0 60828 0
Current children cumulated CPU time: 2502.16 s
Current children cumulated vsize: 270024 KiB
Current children cumulated memory: 246672 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.04 2.05 3/187 28836
/proc/meminfo: memFree=27372768/32770624 swapFree=67108860/67108860
[pid=28672] ppid=28669 vsize=270024 memory=246672 CPUtime=2519.87 cores=0,2,4,6
/proc/28672/stat : 28672 (cosoco) R 28669 28672 24644 0 -1 4202496 404008 0 0 0 251961 26 0 0 20 0 1 0 94689424 276504576 61668 33554432000 4194304 6142532 140722136213408 140722136210936 5017759 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 39612416 140722136220806 140722136220936 140722136220936 140722136223694 0
/proc/28672/statm: 67506 61668 852 476 0 60828 0
Current children cumulated CPU time: 2519.87 s
Current children cumulated vsize: 270024 KiB
Current children cumulated memory: 246672 KiB

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

[startup+2520.01 s]
# the end of solver process 28672 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.62 s, system=0.267989 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): 2519.88
CPU user time (s): 2519.62
CPU system time (s): 0.267989
CPU usage (%): 99.9949
Max. virtual memory (cumulated for all children) (KiB): 270024
Max. memory (cumulated for all children) (KiB): 246672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.62
system time used= 0.267989
maximum resident set size= 246740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 404061
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= 70
involuntary context switches= 3165


# summary of solver processes directly reported to runsolver:
#   pid: 28672
#   total CPU time (s): 2519.88
#   total CPU user time (s): 2519.62
#   total CPU system time (s): 0.267989

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4004 second user time and 18.4203 second system time

The end

Begin job on node136 at 2018-07-28 11:47:43
IDJOB=4298864
IDBENCH=141244
IDSOLVER=2761
FILE ID=node136/4298864-1532771262
RUNJOBID= node136-1532741135-24675
PBS_JOBID= 21022451
Free space on /tmp= 55796 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/QuadraticAssignment/QuadraticAssignment-sko72_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298864-1532771262/watcher-4298864-1532771262 -o /tmp/evaluation-result-4298864-1532771262/solver-4298864-1532771262 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532741135-24675 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4298864-1532771262.xml

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

MD5SUM BENCH= 69672b68d8d3f9201b488571cf4784d4
RANDOM SEED=267654188

node136.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.50
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.50
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.50
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.50
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:        28089060 kB
MemAvailable:   31870360 kB
Buffers:          185616 kB
Cached:          3856544 kB
SwapCached:            0 kB
Active:          1808788 kB
Inactive:        2377700 kB
Active(anon):      95916 kB
Inactive(anon):    76472 kB
Active(file):    1712872 kB
Inactive(file):  2301228 kB
Unevictable:        7336 kB
Mlocked:            7336 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2728 kB
Writeback:             0 kB
AnonPages:        151176 kB
Mapped:            34332 kB
Shmem:             25228 kB
Slab:             193752 kB
SReclaimable:     166068 kB
SUnreclaim:        27684 kB
KernelStack:        3328 kB
PageTables:         4676 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     443432 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:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 55792 MiB
End job on node136 at 2018-07-28 12:29:43