1.82/1.93	c best=?? lower=-60116 upper=0 
1.82/1.99	c
1.82/1.99	c This is cosoco 1.1 --  
1.82/1.99	c
1.82/1.99	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4258563-1502647979.xml 
1.82/1.99	c enable optimization
1.82/1.99	c ========================================[ Problem Statistics ]===========================================
1.82/1.99	c |                                                                                                       
1.82/1.99	c |  Parse time        :         1.85 s 
1.82/1.99	c |
1.82/1.99	c |               Variables: 3305
1.82/1.99	c |            Domain Sizes: 2..113
1.82/1.99	c |
1.82/1.99	c |             Constraints: 1709
1.82/1.99	c |                   Arity: 2..57  -- Binary: 57  -- Ternary: 1597
1.82/1.99	c | 
1.82/1.99	c |                   Types: 
1.82/1.99	c |                          Intension: 1652
1.82/1.99	c |                          Sum: 57
1.82/1.99	c |                          
1.82/1.99	c =========================================================================================================
1.82/1.99	o -13100
1.82/1.99	c    1 calls to solver: best=-13100 lower=-13099 upper=0 
1.93/2.05	o -7452
2.03/2.11	o -5128
2.03/2.11	c    3 calls to solver: best=-5128 lower=-5127 upper=0 
2.03/2.17	o -3356
2.42/2.59	o -3308
2.42/2.59	c    5 calls to solver: best=-3308 lower=-3307 upper=0 
2.62/2.72	o -2924
2.72/2.83	o -2856
2.72/2.83	c    7 calls to solver: best=-2856 lower=-2855 upper=0 
2.83/2.96	o -2848
2.94/3.01	o -2076
2.94/3.01	c    9 calls to solver: best=-2076 lower=-2075 upper=0 
4.03/4.12	o -2072
4.12/4.21	o -1700
4.12/4.21	c   11 calls to solver: best=-1700 lower=-1699 upper=0 
4.22/4.31	o -1532
4.22/4.36	o -1524
4.22/4.36	c   13 calls to solver: best=-1524 lower=-1523 upper=0 
4.32/4.46	o -1496
4.42/4.53	o -1284
4.42/4.53	c   15 calls to solver: best=-1284 lower=-1283 upper=0 
4.42/4.59	o -1180
4.52/4.64	o -876
4.52/4.64	c   17 calls to solver: best=-876 lower=-875 upper=0 
4.52/4.70	o -772
251.90/252.00	
251.90/252.00	c *** INTERRUPTED ***
251.90/252.00	c restarts              : 47          
251.90/252.00	c conflicts             : 90922        (361 /sec)
251.90/252.00	c decisions             : 1019672      (4048 /sec)
251.90/252.00	c propagations          : 158800645   (630465 /sec)
251.90/252.00	c root propagations     : 8149        
251.90/252.00	c filter calls          : 187915478      (746055 /sec)
251.90/252.00	c useless filter calls  : 96163938       (51 %)
251.90/252.00	c Memory used           : 87.76 MB
251.90/252.00	c CPU time              : 251.879 s
251.90/252.00	
251.90/252.00	c nb Solutions = 18
251.90/252.00	s SATISFIABLE
251.90/252.00	c Best value found: -772
251.90/252.00	
251.90/252.00	
251.90/252.00	v <instantiation type='solution' cost='-772'>
251.90/252.00	v <list>c[0] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[1] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[2] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[3] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[4] c[50] c[51] c[52] c[53] c[54] c[55] c[5] c[6] c[7] c[8] c[9] s[0] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[1] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[2] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[3] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[4] s[50] s[51] s[52] s[53] s[54] s[55] s[5] s[6] s[7] s[8] s[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[5] x[6] x[7] x[8] x[9] y[0][0] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][1] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][2] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[0][39] y[0][3] y[0][40] y[0][41] y[0][42] y[0][43] y[0][44] y[0][45] y[0][46] y[0][47] y[0][48] y[0][49] y[0][4] y[0][50] y[0][51] y[0][52] y[0][53] y[0][54] y[0][55] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[10][0] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][1] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][2] y[10][30] y[10][31] y[10][32] y[10][33] y[10][34] y[10][35] y[10][36] y[10][37] y[10][38] y[10][39] y[10][3] y[10][40] y[10][41] y[10][42] y[10][43] y[10][44] y[10][45] y[10][46] y[10][47] y[10][48] y[10][49] y[10][4] y[10][50] y[10][51] y[10][52] y[10][53] y[10][54] y[10][55] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[11][0] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][1] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[11][2] y[11][30] y[11][31] y[11][32] y[11][33] y[11][34] y[11][35] y[11][36] y[11][37] y[11][38] y[11][39] y[11][3] y[11][40] y[11][41] y[11][42] y[11][43] y[11][44] y[11][45] y[11][46] y[11][47] y[11][48] y[11][49] y[11][4] y[11][50] y[11][51] y[11][52] y[11][53] y[11][54] y[11][55] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[12][0] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][1] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[12][29] y[12][2] y[12][30] y[12][31] y[12][32] y[12][33] y[12][34] y[12][35] y[12][36] y[12][37] y[12][38] y[12][39] y[12][3] y[12][40] y[12][41] y[12][42] y[12][43] y[12][44] y[12][45] y[12][46] y[12][47] y[12][48] y[12][49] y[12][4] y[12][50] y[12][51] y[12][52] y[12][53] y[12][54] y[12][55] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[13][0] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][1] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[13][28] y[13][29] y[13][2] y[13][30] y[13][31] y[13][32] y[13][33] y[13][34] y[13][35] y[13][36] y[13][37] y[13][38] y[13][39] y[13][3] y[13][40] y[13][41] y[13][42] y[13][43] y[13][44] y[13][45] y[13][46] y[13][47] y[13][48] y[13][49] y[13][4] y[13][50] y[13][51] y[13][52] y[13][53] y[13][54] y[13][55] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[14][0] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][1] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[14][28] y[14][29] y[14][2] y[14][30] y[14][31] y[14][32] y[14][33] y[14][34] y[14][35] y[14][36] y[14][37] y[14][38] y[14][39] y[14][3] y[14][40] y[14][41] y[14][42] y[14][43] y[14][44] y[14][45] y[14][46] y[14][47] y[14][48] y[14][49] y[14][4] y[14][50] y[14][51] y[14][52] y[14][53] y[14][54] y[14][55] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[15][0] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][1] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[15][28] y[15][29] y[15][2] y[15][30] y[15][31] y[15][32] y[15][33] y[15][34] y[15][35] y[15][36] y[15][37] y[15][38] y[15][39] y[15][3] y[15][40] y[15][41] y[15][42] y[15][43] y[15][44] y[15][45] y[15][46] y[15][47] y[15][48] y[15][49] y[15][4] y[15][50] y[15][51] y[15][52] y[15][53] y[15][54] y[15][55] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[16][0] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][1] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[16][28] y[16][29] y[16][2] y[16][30] y[16][31] y[16][32] y[16][33] y[16][34] y[16][35] y[16][36] y[16][37] y[16][38] y[16][39] y[16][3] y[16][40] y[16][41] y[16][42] y[16][43] y[16][44] y[16][45] y[16][46] y[16][47] y[16][48] y[16][49] y[16][4] y[16][50] y[16][51] y[16][52] y[16][53] y[16][54] y[16][55] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[17][0] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][1] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[17][28] y[17][29] y[17][2] y[17][30] y[17][31] y[17][32] y[17][33] y[17][34] y[17][35] y[17][36] y[17][37] y[17][38] y[17][39] y[17][3] y[17][40] y[17][41] y[17][42] y[17][43] y[17][44] y[17][45] y[17][46] y[17][47] y[17][48] y[17][49] y[17][4] y[17][50] y[17][51] y[17][52] y[17][53] y[17][54] y[17][55] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[18][0] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][1] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][28] y[18][29] y[18][2] y[18][30] y[18][31] y[18][32] y[18][33] y[18][34] y[18][35] y[18][36] y[18][37] y[18][38] y[18][39] y[18][3] y[18][40] y[18][41] y[18][42] y[18][43] y[18][44] y[18][45] y[18][46] y[18][47] y[18][48] y[18][49] y[18][4] y[18][50] y[18][51] y[18][52] y[18][53] y[18][54] y[18][55] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[19][0] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][1] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][28] y[19][29] y[19][2] y[19][30] y[19][31] y[19][32] y[19][33] y[19][34] y[19][35] y[19][36] y[19][37] y[19][38] y[19][39] y[19][3] y[19][40] y[19][41] y[19][42] y[19][43] y[19][44] y[19][45] y[19][46] y[19][47] y[19][48] y[19][49] y[19][4] y[19][50] y[19][51] y[19][52] y[19][53] y[19][54] y[19][55] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[1][0] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][1] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][2] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[1][38] y[1][39] y[1][3] y[1][40] y[1][41] y[1][42] y[1][43] y[1][44] y[1][45] y[1][46] y[1][47] y[1][48] y[1][49] y[1][4] y[1][50] y[1][51] y[1][52] y[1][53] y[1][54] y[1][55] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[20][0] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][1] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][28] y[20][29] y[20][2] y[20][30] y[20][31] y[20][32] y[20][33] y[20][34] y[20][35] y[20][36] y[20][37] y[20][38] y[20][39] y[20][3] y[20][40] y[20][41] y[20][42] y[20][43] y[20][44] y[20][45] y[20][46] y[20][47] y[20][48] y[20][49] y[20][4] y[20][50] y[20][51] y[20][52] y[20][53] y[20][54] y[20][55] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[21][0] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][1] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[21][28] y[21][29] y[21][2] y[21][30] y[21][31] y[21][32] y[21][33] y[21][34] y[21][35] y[21][36] y[21][37] y[21][38] y[21][39] y[21][3] y[21][40] y[21][41] y[21][42] y[21][43] y[21][44] y[21][45] y[21][46] y[21][47] y[21][48] y[21][49] y[21][4] y[21][50] y[21][51] y[21][52] y[21][53] y[21][54] y[21][55] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[22][0] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][1] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[22][28] y[22][29] y[22][2] y[22][30] y[22][31] y[22][32] y[22][33] y[22][34] y[22][35] y[22][36] y[22][37] y[22][38] y[22][39] y[22][3] y[22][40] y[22][41] y[22][42] y[22][43] y[22][44] y[22][45] y[22][46] y[22][47] y[22][48] y[22][49] y[22][4] y[22][50] y[22][51] y[22][52] y[22][53] y[22][54] y[22][55] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[23][0] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][1] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[23][26] y[23][27] y[23][28] y[23][29] y[23][2] y[23][30] y[23][31] y[23][32] y[23][33] y[23][34] y[23][35] y[23][36] y[23][37] y[23][38] y[23][39] y[23][3] y[23][40] y[23][41] y[23][42] y[23][43] y[23][44] y[23][45] y[23][46] y[23][47] y[23][48] y[23][49] y[23][4] y[23][50] y[23][51] y[23][52] y[23][53] y[23][54] y[23][55] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[24][0] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][1] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[24][25] y[24][26] y[24][27] y[24][28] y[24][29] y[24][2] y[24][30] y[24][31] y[24][32] y[24][33] y[24][34] y[24][35] y[24][36] y[24][37] y[24][38] y[24][39] y[24][3] y[24][40] y[24][41] y[24][42] y[24][43] y[24][44] y[24][45] y[24][46] y[24][47] y[24][48] y[24][49] y[24][4] y[24][50] y[24][51] y[24][52] y[24][53] y[24][54] y[24][55] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[25][0] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][1] y[25][20] y[25][21] y[25][22] y[25][23] y[25][24] y[25][25] y[25][26] y[25][27] y[25][28] y[25][29] y[25][2] y[25][30] y[25][31] y[25][32] y[25][33] y[25][34] y[25][35] y[25][36] y[25][37] y[25][38] y[25][39] y[25][3] y[25][40] y[25][41] y[25][42] y[25][43] y[25][44] y[25][45] y[25][46] y[25][47] y[25][48] y[25][49] y[25][4] y[25][50] y[25][51] y[25][52] y[25][53] y[25][54] y[25][55] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[26][0] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][1] y[26][20] y[26][21] y[26][22] y[26][23] y[26][24] y[26][25] y[26][26] y[26][27] y[26][28] y[26][29] y[26][2] y[26][30] y[26][31] y[26][32] y[26][33] y[26][34] y[26][35] y[26][36] y[26][37] y[26][38] y[26][39] y[26][3] y[26][40] y[26][41] y[26][42] y[26][43] y[26][44] y[26][45] y[26][46] y[26][47] y[26][48] y[26][49] y[26][4] y[26][50] y[26][51] y[26][52] y[26][53] y[26][54] y[26][55] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[27][0] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][1] y[27][20] y[27][21] y[27][22] y[27][23] y[27][24] y[27][25] y[27][26] y[27][27] y[27][28] y[27][29] y[27][2] y[27][30] y[27][31] y[27][32] y[27][33] y[27][34] y[27][35] y[27][36] y[27][37] y[27][38] y[27][39] y[27][3] y[27][40] y[27][41] y[27][42] y[27][43] y[27][44] y[27][45] y[27][46] y[27][47] y[27][48] y[27][49] y[27][4] y[27][50] y[27][51] y[27][52] y[27][53] y[27][54] y[27][55] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[28][0] y[28][10] y[28][11] y[28][12] y[28][13] y[28][14] y[28][15] y[28][16] y[28][17] y[28][18] y[28][19] y[28][1] y[28][20] y[28][21] y[28][22] y[28][23] y[28][24] y[28][25] y[28][26] y[28][27] y[28][28] y[28][29] y[28][2] y[28][30] y[28][31] y[28][32] y[28][33] y[28][34] y[28][35] y[28][36] y[28][37] y[28][38] y[28][39] y[28][3] y[28][40] y[28][41] y[28][42] y[28][43] y[28][44] y[28][45] y[28][46] y[28][47] y[28][48] y[28][49] y[28][4] y[28][50] y[28][51] y[28][52] y[28][53] y[28][54] y[28][55] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[29][0] y[29][10] y[29][11] y[29][12] y[29][13] y[29][14] y[29][15] y[29][16] y[29][17] y[29][18] y[29][19] y[29][1] y[29][20] y[29][21] y[29][22] y[29][23] y[29][24] y[29][25] y[29][26] y[29][27] y[29][28] y[29][29] y[29][2] y[29][30] y[29][31] y[29][32] y[29][33] y[29][34] y[29][35] y[29][36] y[29][37] y[29][38] y[29][39] y[29][3] y[29][40] y[29][41] y[29][42] y[29][43] y[29][44] y[29][45] y[29][46] y[29][47] y[29][48] y[29][49] y[29][4] y[29][50] y[29][51] y[29][52] y[29][53] y[29][54] y[29][55] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[2][0] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][1] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][2] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][37] y[2][38] y[2][39] y[2][3] y[2][40] y[2][41] y[2][42] y[2][43] y[2][44] y[2][45] y[2][46] y[2][47] y[2][48] y[2][49] y[2][4] y[2][50] y[2][51] y[2][52] y[2][53] y[2][54] y[2][55] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[30][0] y[30][10] y[30][11] y[30][12] y[30][13] y[30][14] y[30][15] y[30][16] y[30][17] y[30][18] y[30][19] y[30][1] y[30][20] y[30][21] y[30][22] y[30][23] y[30][24] y[30][25] y[30][26] y[30][27] y[30][28] y[30][29] y[30][2] y[30][30] y[30][31] y[30][32] y[30][33] y[30][34] y[30][35] y[30][36] y[30][37] y[30][38] y[30][39] y[30][3] y[30][40] y[30][41] y[30][42] y[30][43] y[30][44] y[30][45] y[30][46] y[30][47] y[30][48] y[30][49] y[30][4] y[30][50] y[30][51] y[30][52] y[30][53] y[30][54] y[30][55] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[31][0] y[31][10] y[31][11] y[31][12] y[31][13] y[31][14] y[31][15] y[31][16] y[31][17] y[31][18] y[31][19] y[31][1] y[31][20] y[31][21] y[31][22] y[31][23] y[31][24] y[31][25] y[31][26] y[31][27] y[31][28] y[31][29] y[31][2] y[31][30] y[31][31] y[31][32] y[31][33] y[31][34] y[31][35] y[31][36] y[31][37] y[31][38] y[31][39] y[31][3] y[31][40] y[31][41] y[31][42] y[31][43] y[31][44] y[31][45] y[31][46] y[31][47] y[31][48] y[31][49] y[31][4] y[31][50] y[31][51] y[31][52] y[31][53] y[31][54] y[31][55] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[32][0] y[32][10] y[32][11] y[32][12] y[32][13] y[32][14] y[32][15] y[32][16] y[32][17] y[32][18] y[32][19] y[32][1] y[32][20] y[32][21] y[32][22] y[32][23] y[32][24] y[32][25] y[32][26] y[32][27] y[32][28] y[32][29] y[32][2] y[32][30] y[32][31] y[32][32] y[32][33] y[32][34] y[32][35] y[32][36] y[32][37] y[32][38] y[32][39] y[32][3] y[32][40] y[32][41] y[32][42] y[32][43] y[32][44] y[32][45] y[32][46] y[32][47] y[32][48] y[32][49] y[32][4] y[32][50] y[32][51] y[32][52] y[32][53] y[32][54] y[32][55] y[32][5] y[32][6] y[32][7] y[32][8] y[32][9] y[33][0] y[33][10] y[33][11] y[33][12] y[33][13] y[33][14] y[33][15] y[33][16] y[33][17] y[33][18] y[33][19] y[33][1] y[33][20] y[33][21] y[33][22] y[33][23] y[33][24] y[33][25] y[33][26] y[33][27] y[33][28] y[33][29] y[33][2] y[33][30] y[33][31] y[33][32] y[33][33] y[33][34] y[33][35] y[33][36] y[33][37] y[33][38] y[33][39] y[33][3] y[33][40] y[33][41] y[33][42] y[33][43] y[33][44] y[33][45] y[33][46] y[33][47] y[33][48] y[33][49] y[33][4] y[33][50] y[33][51] y[33][52] y[33][53] y[33][54] y[33][55] y[33][5] y[33][6] y[33][7] y[33][8] y[33][9] y[34][0] y[34][10] y[34][11] y[34][12] y[34][13] y[34][14] y[34][15] y[34][16] y[34][17] y[34][18] y[34][19] y[34][1] y[34][20] y[34][21] y[34][22] y[34][23] y[34][24] y[34][25] y[34][26] y[34][27] y[34][28] y[34][29] y[34][2] y[34][30] y[34][31] y[34][32] y[34][33] y[34][34] y[34][35] y[34][36] y[34][37] y[34][38] y[34][39] y[34][3] y[34][40] y[34][41] y[34][42] y[34][43] y[34][44] y[34][45] y[34][46] y[34][47] y[34][48] y[34][49] y[34][4] y[34][50] y[34][51] y[34][52] y[34][53] y[34][54] y[34][55] y[34][5] y[34][6] y[34][7] y[34][8] y[34][9] y[35][0] y[35][10] y[35][11] y[35][12] y[35][13] y[35][14] y[35][15] y[35][16] y[35][17] y[35][18] y[35][19] y[35][1] y[35][20] y[35][21] y[35][22] y[35][23] y[35][24] y[35][25] y[35][26] y[35][27] y[35][28] y[35][29] y[35][2] y[35][30] y[35][31] y[35][32] y[35][33] y[35][34] y[35][35] y[35][36] y[35][37] y[35][38] y[35][39] y[35][3] y[35][40] y[35][41] y[35][42] y[35][43] y[35][44] y[35][45] y[35][46] y[35][47] y[35][48] y[35][49] y[35][4] y[35][50] y[35][51] y[35][52] y[35][53] y[35][54] y[35][55] y[35][5] y[35][6] y[35][7] y[35][8] y[35][9] y[36][0] y[36][10] y[36][11] y[36][12] y[36][13] y[36][14] y[36][15] y[36][16] y[36][17] y[36][18] y[36][19] y[36][1] y[36][20] y[36][21] y[36][22] y[36][23] y[36][24] y[36][25] y[36][26] y[36][27] y[36][28] y[36][29] y[36][2] y[36][30] y[36][31] y[36][32] y[36][33] y[36][34] y[36][35] y[36][36] y[36][37] y[36][38] y[36][39] y[36][3] y[36][40] y[36][41] y[36][42] y[36][43] y[36][44] y[36][45] y[36][46] y[36][47] y[36][48] y[36][49] y[36][4] y[36][50] y[36][51] y[36][52] y[36][53] y[36][54] y[36][55] y[36][5] y[36][6] y[36][7] y[36][8] y[36][9] y[37][0] y[37][10] y[37][11] y[37][12] y[37][13] y[37][14] y[37][15] y[37][16] y[37][17] y[37][18] y[37][19] y[37][1] y[37][20] y[37][21] y[37][22] y[37][23] y[37][24] y[37][25] y[37][26] y[37][27] y[37][28] y[37][29] y[37][2] y[37][30] y[37][31] y[37][32] y[37][33] y[37][34] y[37][35] y[37][36] y[37][37] y[37][38] y[37][39] y[37][3] y[37][40] y[37][41] y[37][42] y[37][43] y[37][44] y[37][45] y[37][46] y[37][47] y[37][48] y[37][49] y[37][4] y[37][50] y[37][51] y[37][52] y[37][53] y[37][54] y[37][55] y[37][5] y[37][6] y[37][7] y[37][8] y[37][9] y[38][0] y[38][10] y[38][11] y[38][12] y[38][13] y[38][14] y[38][15] y[38][16] y[38][17] y[38][18] y[38][19] y[38][1] y[38][20] y[38][21] y[38][22] y[38][23] y[38][24] y[38][25] y[38][26] y[38][27] y[38][28] y[38][29] y[38][2] y[38][30] y[38][31] y[38][32] y[38][33] y[38][34] y[38][35] y[38][36] y[38][37] y[38][38] y[38][39] y[38][3] y[38][40] y[38][41] y[38][42] y[38][43] y[38][44] y[38][45] y[38][46] y[38][47] y[38][48] y[38][49] y[38][4] y[38][50] y[38][51] y[38][52] y[38][53] y[38][54] y[38][55] y[38][5] y[38][6] y[38][7] y[38][8] y[38][9] y[39][0] y[39][10] y[39][11] y[39][12] y[39][13] y[39][14] y[39][15] y[39][16] y[39][17] y[39][18] y[39][19] y[39][1] y[39][20] y[39][21] y[39][22] y[39][23] y[39][24] y[39][25] y[39][26] y[39][27] y[39][28] y[39][29] y[39][2] y[39][30] y[39][31] y[39][32] y[39][33] y[39][34] y[39][35] y[39][36] y[39][37] y[39][38] y[39][39] y[39][3] y[39][40] y[39][41] y[39][42] y[39][43] y[39][44] y[39][45] y[39][46] y[39][47] y[39][48] y[39][49] y[39][4] y[39][50] y[39][51] y[39][52] y[39][53] y[39][54] y[39][55] y[39][5] y[39][6] y[39][7] y[39][8] y[39][9] y[3][0] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][1] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][2] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][37] y[3][38] y[3][39] y[3][3] y[3][40] y[3][41] y[3][42] y[3][43] y[3][44] y[3][45] y[3][46] y[3][47] y[3][48] y[3][49] y[3][4] y[3][50] y[3][51] y[3][52] y[3][53] y[3][54] y[3][55] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[40][0] y[40][10] y[40][11] y[40][12] y[40][13] y[40][14] y[40][15] y[40][16] y[40][17] y[40][18] y[40][19] y[40][1] y[40][20] y[40][21] y[40][22] y[40][23] y[40][24] y[40][25] y[40][26] y[40][27] y[40][28] y[40][29] y[40][2] y[40][30] y[40][31] y[40][32] y[40][33] y[40][34] y[40][35] y[40][36] y[40][37] y[40][38] y[40][39] y[40][3] y[40][40] y[40][41] y[40][42] y[40][43] y[40][44] y[40][45] y[40][46] y[40][47] y[40][48] y[40][49] y[40][4] y[40][50] y[40][51] y[40][52] y[40][53] y[40][54] y[40][55] y[40][5] y[40][6] y[40][7] y[40][8] y[40][9] y[41][0] y[41][10] y[41][11] y[41][12] y[41][13] y[41][14] y[41][15] y[41][16] y[41][17] y[41][18] y[41][19] y[41][1] y[41][20] y[41][21] y[41][22] y[41][23] y[41][24] y[41][25] y[41][26] y[41][27] y[41][28] y[41][29] y[41][2] y[41][30] y[41][31] y[41][32] y[41][33] y[41][34] y[41][35] y[41][36] y[41][37] y[41][38] y[41][39] y[41][3] y[41][40] y[41][41] y[41][42] y[41][43] y[41][44] y[41][45] y[41][46] y[41][47] y[41][48] y[41][49] y[41][4] y[41][50] y[41][51] y[41][52] y[41][53] y[41][54] y[41][55] y[41][5] y[41][6] y[41][7] y[41][8] y[41][9] y[42][0] y[42][10] y[42][11] y[42][12] y[42][13] y[42][14] y[42][15] y[42][16] y[42][17] y[42][18] y[42][19] y[42][1] y[42][20] y[42][21] y[42][22] y[42][23] y[42][24] y[42][25] y[42][26] y[42][27] y[42][28] y[42][29] y[42][2] y[42][30] y[42][31] y[42][32] y[42][33] y[42][34] y[42][35] y[42][36] y[42][37] y[42][38] y[42][39] y[42][3] y[42][40] y[42][41] y[42][42] y[42][43] y[42][44] y[42][45] y[42][46] y[42][47] y[42][48] y[42][49] y[42][4] y[42][50] y[42][51] y[42][52] y[42][53] y[42][54] y[42][55] y[42][5] y[42][6] y[42][7] y[42][8] y[42][9] y[43][0] y[43][10] y[43][11] y[43][12] y[43][13] y[43][14] y[43][15] y[43][16] y[43][17] y[43][18] y[43][19] y[43][1] y[43][20] y[43][21] y[43][22] y[43][23] y[43][24] y[43][25] y[43][26] y[43][27] y[43][28] y[43][29] y[43][2] y[43][30] y[43][31] y[43][32] y[43][33] y[43][34] y[43][35] y[43][36] y[43][37] y[43][38] y[43][39] y[43][3] y[43][40] y[43][41] y[43][42] y[43][43] y[43][44] y[43][45] y[43][46] y[43][47] y[43][48] y[43][49] y[43][4] y[43][50] y[43][51] y[43][52] y[43][53] y[43][54] y[43][55] y[43][5] y[43][6] y[43][7] y[43][8] y[43][9] y[44][0] y[44][10] y[44][11] y[44][12] y[44][13] y[44][14] y[44][15] y[44][16] y[44][17] y[44][18] y[44][19] y[44][1] y[44][20] y[44][21] y[44][22] y[44][23] y[44][24] y[44][25] y[44][26] y[44][27] y[44][28] y[44][29] y[44][2] y[44][30] y[44][31] y[44][32] y[44][33] y[44][34] y[44][35] y[44][36] y[44][37] y[44][38] y[44][39] y[44][3] y[44][40] y[44][41] y[44][42] y[44][43] y[44][44] y[44][45] y[44][46] y[44][47] y[44][48] y[44][49] y[44][4] y[44][50] y[44][51] y[44][52] y[44][53] y[44][54] y[44][55] y[44][5] y[44][6] y[44][7] y[44][8] y[44][9] y[45][0] y[45][10] y[45][11] y[45][12] y[45][13] y[45][14] y[45][15] y[45][16] y[45][17] y[45][18] y[45][19] y[45][1] y[45][20] y[45][21] y[45][22] y[45][23] y[45][24] y[45][25] y[45][26] y[45][27] y[45][28] y[45][29] y[45][2] y[45][30] y[45][31] y[45][32] y[45][33] y[45][34] y[45][35] y[45][36] y[45][37] y[45][38] y[45][39] y[45][3] y[45][40] y[45][41] y[45][42] y[45][43] y[45][44] y[45][45] y[45][46] y[45][47] y[45][48] y[45][49] y[45][4] y[45][50] y[45][51] y[45][52] y[45][53] y[45][54] y[45][55] y[45][5] y[45][6] y[45][7] y[45][8] y[45][9] y[46][0] y[46][10] y[46][11] y[46][12] y[46][13] y[46][14] y[46][15] y[46][16] y[46][17] y[46][18] y[46][19] y[46][1] y[46][20] y[46][21] y[46][22] y[46][23] y[46][24] y[46][25] y[46][26] y[46][27] y[46][28] y[46][29] y[46][2] y[46][30] y[46][31] y[46][32] y[46][33] y[46][34] y[46][35] y[46][36] y[46][37] y[46][38] y[46][39] y[46][3] y[46][40] y[46][41] y[46][42] y[46][43] y[46][44] y[46][45] y[46][46] y[46][47] y[46][48] y[46][49] y[46][4] y[46][50] y[46][51] y[46][52] y[46][53] y[46][54] y[46][55] y[46][5] y[46][6] y[46][7] y[46][8] y[46][9] y[47][0] y[47][10] y[47][11] y[47][12] y[47][13] y[47][14] y[47][15] y[47][16] y[47][17] y[47][18] y[47][19] y[47][1] y[47][20] y[47][21] y[47][22] y[47][23] y[47][24] y[47][25] y[47][26] y[47][27] y[47][28] y[47][29] y[47][2] y[47][30] y[47][31] y[47][32] y[47][33] y[47][34] y[47][35] y[47][36] y[47][37] y[47][38] y[47][39] y[47][3] y[47][40] y[47][41] y[47][42] y[47][43] y[47][44] y[47][45] y[47][46] y[47][47] y[47][48] y[47][49] y[47][4] y[47][50] y[47][51] y[47][52] y[47][53] y[47][54] y[47][55] y[47][5] y[47][6] y[47][7] y[47][8] y[47][9] y[48][0] y[48][10] y[48][11] y[48][12] y[48][13] y[48][14] y[48][15] y[48][16] y[48][17] y[48][18] y[48][19] y[48][1] y[48][20] y[48][21] y[48][22] y[48][23] y[48][24] y[48][25] y[48][26] y[48][27] y[48][28] y[48][29] y[48][2] y[48][30] y[48][31] y[48][32] y[48][33] y[48][34] y[48][35] y[48][36] y[48][37] y[48][38] y[48][39] y[48][3] y[48][40] y[48][41] y[48][42] y[48][43] y[48][44] y[48][45] y[48][46] y[48][47] y[48][48] y[48][49] y[48][4] y[48][50] y[48][51] y[48][52] y[48][53] y[48][54] y[48][55] y[48][5] y[48][6] y[48][7] y[48][8] y[48][9] y[49][0] y[49][10] y[49][11] y[49][12] y[49][13] y[49][14] y[49][15] y[49][16] y[49][17] y[49][18] y[49][19] y[49][1] y[49][20] y[49][21] y[49][22] y[49][23] y[49][24] y[49][25] y[49][26] y[49][27] y[49][28] y[49][29] y[49][2] y[49][30] y[49][31] y[49][32] y[49][33] y[49][34] y[49][35] y[49][36] y[49][37] y[49][38] y[49][39] y[49][3] y[49][40] y[49][41] y[49][42] y[49][43] y[49][44] y[49][45] y[49][46] y[49][47] y[49][48] y[49][49] y[49][4] y[49][50] y[49][51] y[49][52] y[49][53] y[49][54] y[49][55] y[49][5] y[49][6] y[49][7] y[49][8] y[49][9] y[4][0] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][1] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][2] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[4][37] y[4][38] y[4][39] y[4][3] y[4][40] y[4][41] y[4][42] y[4][43] y[4][44] y[4][45] y[4][46] y[4][47] y[4][48] y[4][49] y[4][4] y[4][50] y[4][51] y[4][52] y[4][53] y[4][54] y[4][55] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[50][0] y[50][10] y[50][11] y[50][12] y[50][13] y[50][14] y[50][15] y[50][16] y[50][17] y[50][18] y[50][19] y[50][1] y[50][20] y[50][21] y[50][22] y[50][23] y[50][24] y[50][25] y[50][26] y[50][27] y[50][28] y[50][29] y[50][2] y[50][30] y[50][31] y[50][32] y[50][33] y[50][34] y[50][35] y[50][36] y[50][37] y[50][38] y[50][39] y[50][3] y[50][40] y[50][41] y[50][42] y[50][43] y[50][44] y[50][45] y[50][46] y[50][47] y[50][48] y[50][49] y[50][4] y[50][50] y[50][51] y[50][52] y[50][53] y[50][54] y[50][55] y[50][5] y[50][6] y[50][7] y[50][8] y[50][9] y[51][0] y[51][10] y[51][11] y[51][12] y[51][13] y[51][14] y[51][15] y[51][16] y[51][17] y[51][18] y[51][19] y[51][1] y[51][20] y[51][21] y[51][22] y[51][23] y[51][24] y[51][25] y[51][26] y[51][27] y[51][28] y[51][29] y[51][2] y[51][30] y[51][31] y[51][32] y[51][33] y[51][34] y[51][35] y[51][36] y[51][37] y[51][38] y[51][39] y[51][3] y[51][40] y[51][41] y[51][42] y[51][43] y[51][44] y[51][45] y[51][46] y[51][47] y[51][48] y[51][49] y[51][4] y[51][50] y[51][51] y[51][52] y[51][53] y[51][54] y[51][55] y[51][5] y[51][6] y[51][7] y[51][8] y[51][9] y[52][0] y[52][10] y[52][11] y[52][12] y[52][13] y[52][14] y[52][15] y[52][16] y[52][17] y[52][18] y[52][19] y[52][1] y[52][20] y[52][21] y[52][22] y[52][23] y[52][24] y[52][25] y[52][26] y[52][27] y[52][28] y[52][29] y[52][2] y[52][30] y[52][31] y[52][32] y[52][33] y[52][34] y[52][35] y[52][36] y[52][37] y[52][38] y[52][39] y[52][3] y[52][40] y[52][41] y[52][42] y[52][43] y[52][44] y[52][45] y[52][46] y[52][47] y[52][48] y[52][49] y[52][4] y[52][50] y[52][51] y[52][52] y[52][53] y[52][54] y[52][55] y[52][5] y[52][6] y[52][7] y[52][8] y[52][9] y[53][0] y[53][10] y[53][11] y[53][12] y[53][13] y[53][14] y[53][15] y[53][16] y[53][17] y[53][18] y[53][19] y[53][1] y[53][20] y[53][21] y[53][22] y[53][23] y[53][24] y[53][25] y[53][26] y[53][27] y[53][28] y[53][29] y[53][2] y[53][30] y[53][31] y[53][32] y[53][33] y[53][34] y[53][35] y[53][36] y[53][37] y[53][38] y[53][39] y[53][3] y[53][40] y[53][41] y[53][42] y[53][43] y[53][44] y[53][45] y[53][46] y[53][47] y[53][48] y[53][49] y[53][4] y[53][50] y[53][51] y[53][52] y[53][53] y[53][54] y[53][55] y[53][5] y[53][6] y[53][7] y[53][8] y[53][9] y[54][0] y[54][10] y[54][11] y[54][12] y[54][13] y[54][14] y[54][15] y[54][16] y[54][17] y[54][18] y[54][19] y[54][1] y[54][20] y[54][21] y[54][22] y[54][23] y[54][24] y[54][25] y[54][26] y[54][27] y[54][28] y[54][29] y[54][2] y[54][30] y[54][31] y[54][32] y[54][33] y[54][34] y[54][35] y[54][36] y[54][37] y[54][38] y[54][39] y[54][3] y[54][40] y[54][41] y[54][42] y[54][43] y[54][44] y[54][45] y[54][46] y[54][47] y[54][48] y[54][49] y[54][4] y[54][50] y[54][51] y[54][52] y[54][53] y[54][54] y[54][55] y[54][5] y[54][6] y[54][7] y[54][8] y[54][9] y[55][0] y[55][10] y[55][11] y[55][12] y[55][13] y[55][14] y[55][15] y[55][16] y[55][17] y[55][18] y[55][19] y[55][1] y[55][20] y[55][21] y[55][22] y[55][23] y[55][24] y[55][25] y[55][26] y[55][27] y[55][28] y[55][29] y[55][2] y[55][30] y[55][31] y[55][32] y[55][33] y[55][34] y[55][35] y[55][36] y[55][37] y[55][38] y[55][39] y[55][3] y[55][40] y[55][41] y[55][42] y[55][43] y[55][44] y[55][45] y[55][46] y[55][47] y[55][48] y[55][49] y[55][4] y[55][50] y[55][51] y[55][52] y[55][53] y[55][54] y[55][55] y[55][5] y[55][6] y[55][7] y[55][8] y[55][9] y[5][0] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][1] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][2] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[5][36] y[5][37] y[5][38] y[5][39] y[5][3] y[5][40] y[5][41] y[5][42] y[5][43] y[5][44] y[5][45] y[5][46] y[5][47] y[5][48] y[5][49] y[5][4] y[5][50] y[5][51] y[5][52] y[5][53] y[5][54] y[5][55] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[6][0] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][1] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][2] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[6][35] y[6][36] y[6][37] y[6][38] y[6][39] y[6][3] y[6][40] y[6][41] y[6][42] y[6][43] y[6][44] y[6][45] y[6][46] y[6][47] y[6][48] y[6][49] y[6][4] y[6][50] y[6][51] y[6][52] y[6][53] y[6][54] y[6][55] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[7][0] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][1] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][2] y[7][30] y[7][31] y[7][32] y[7][33] y[7][34] y[7][35] y[7][36] y[7][37] y[7][38] y[7][39] y[7][3] y[7][40] y[7][41] y[7][42] y[7][43] y[7][44] y[7][45] y[7][46] y[7][47] y[7][48] y[7][49] y[7][4] y[7][50] y[7][51] y[7][52] y[7][53] y[7][54] y[7][55] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[8][0] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][1] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][2] y[8][30] y[8][31] y[8][32] y[8][33] y[8][34] y[8][35] y[8][36] y[8][37] y[8][38] y[8][39] y[8][3] y[8][40] y[8][41] y[8][42] y[8][43] y[8][44] y[8][45] y[8][46] y[8][47] y[8][48] y[8][49] y[8][4] y[8][50] y[8][51] y[8][52] y[8][53] y[8][54] y[8][55] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[9][0] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][1] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][2] y[9][30] y[9][31] y[9][32] y[9][33] y[9][34] y[9][35] y[9][36] y[9][37] y[9][38] y[9][39] y[9][3] y[9][40] y[9][41] y[9][42] y[9][43] y[9][44] y[9][45] y[9][46] y[9][47] y[9][48] y[9][49] y[9][4] y[9][50] y[9][51] y[9][52] y[9][53] y[9][54] y[9][55] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] </list>
251.90/252.01	v <values>10 10 7 2 7 2 -1 -2 3 4 -3 -3 -2 1 2 1 -2 3 0 3 2 -3 0 2 -1 0 3 0 3 -4 1 2 -9 -5 -2 -1 -2 3 6 3 2 1 -2 -1 -2 -2 -1 2 1 0 -1 -9 -2 -1 0 7 100 100 49 4 49 4 1 4 9 16 9 9 4 1 4 1 4 9 0 9 4 9 0 4 1 0 9 0 9 16 1 4 81 25 4 1 4 9 36 9 4 1 4 1 4 4 1 4 1 0 1 81 4 1 0 49 1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 1 -1 1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 1 1 1 1 1 1 -1 -1 1 1 -1 1 1 -1 -1 1 1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 1 -1 1 1 -1 1 -1 1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 1 1 1 1 1 1 1 1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 * * * * -1 * * * * * * 1 1 1 -1 1 -1 -1 1 1 1 -1 1 1 -1 1 1 1 -1 1 -1 1 -1 1 1 1 1 -1 -1 1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 * * * * * -1 * * * * * * -1 1 1 1 1 -1 1 1 1 1 -1 1 1 1 1 1 -1 1 1 -1 -1 1 1 1 1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 * * * * * * 1 * * * * * * -1 1 -1 1 -1 1 1 1 1 1 -1 1 -1 1 1 -1 1 1 1 1 1 1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 * * * * * * * 1 * * * * * * -1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 * * * * * * * * 1 * * * * * * 1 -1 1 1 1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 1 1 * * * * * * * * * -1 * * * * * * 1 1 -1 1 1 1 1 1 1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 * * * * * * * * * * -1 * * * * * * -1 -1 -1 1 1 1 1 1 -1 -1 1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 1 1 * -1 * * * * * * * * * * 1 * * * * * * 1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 1 1 -1 -1 1 -1 1 1 -1 1 -1 1 1 -1 -1 1 -1 1 * * 1 * * * * * * * * * * -1 * * * * * * 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 1 -1 1 -1 1 1 1 -1 1 1 -1 * * * -1 * * * * * * * * * * -1 * * * * * * 1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 1 1 1 -1 -1 1 * -1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 1 1 1 1 1 1 1 * * * * -1 * * * * * * * * * * -1 * * * * * * 1 -1 -1 1 -1 1 -1 1 1 1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 1 -1 1 1 * * * * * -1 * * * * * * * * * * -1 * * * * * * 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 1 1 1 -1 1 1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 * * * * * * -1 * * * * * * * * * * -1 * * * * * * 1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 1 1 1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 * * * * * * * -1 * * * * * * * * * * -1 * * * * * * 1 1 1 -1 1 -1 1 -1 1 1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * -1 1 1 1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 1 1 1 1 1 -1 -1 -1 -1 1 1 1 -1 * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * -1 1 -1 1 1 -1 1 1 1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * -1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 1 1 * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * 1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 1 * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * 1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * 1 1 -1 1 1 1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 1 -1 1 1 -1 -1 -1 * * 1 -1 -1 1 1 1 -1 -1 -1 1 1 1 1 1 -1 1 -1 -1 -1 1 1 1 1 * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * -1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 1 * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * 1 -1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 1 1 -1 1 -1 1 * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * 1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 1 1 1 1 1 1 -1 * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * 1 1 1 -1 1 1 1 1 -1 1 1 -1 -1 1 -1 -1 1 1 * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * -1 1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * -1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * -1 -1 1 1 1 -1 1 -1 -1 -1 1 1 1 -1 * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * -1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 1 -1 1 -1 1 1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 * * * 1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * 1 -1 1 1 -1 1 -1 -1 1 1 -1 * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * 1 1 -1 -1 -1 1 -1 1 1 1 * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * -1 -1 1 -1 -1 -1 1 1 1 * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * 1 1 1 -1 -1 1 1 1 * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * -1 1 1 -1 1 -1 1 * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * -1 1 1 1 1 -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * -1 1 -1 1 1 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * -1 -1 -1 1 * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * 1 -1 -1 * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * 1 -1 * * * -1 1 1 -1 -1 1 1 1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 * * * * 1 -1 -1 1 -1 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * 1 * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * * * * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 1 1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 * * * * * 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 1 -1 1 -1 1 -1 1 -1 1 -1 * * * * * * 1 -1 1 1 1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 1 1 1 1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 1 1 -1 * -1 * * * * * * 1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 1 1 1 -1 1 1 1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 1 1 1 1 -1 -1 1 1 * * -1 * * * * * * -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 1 1 1 1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 1 1 -1 1 * * * 1 * * * * * * 1 -1 1 -1 -1 </values>
251.90/252.01	v </instantiation>
251.90/252.01	

OK	772

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4258563-1502647979/watcher-4258563-1502647979 -o /tmp/evaluation-result-4258563-1502647979/solver-4258563-1502647979 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502644570-29825 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4258563-1502647979.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
solver pid=31227, runsolver pid=31224
Current StackSize limit: 8192 KiB


[startup+0.100156 s]*
/proc/loadavg: 2.16 2.02 2.05 3/184 31228
/proc/meminfo: memFree=31609412/32770624 swapFree=67108776/67108860
[pid=31227] ppid=31224 vsize=29620 memory=5604 CPUtime=0.03 cores=1,3,5,7
/proc/31227/stat : 31227 (cosoco) R 31224 31227 7084 0 -1 4202496 1622 0 0 0 3 0 0 0 20 0 1 0 164450648 30330880 1401 18446744073709551615 4194304 5972556 140735848691152 140735848687800 5510806 0 0 1 0 0 0 0 17 5 0 0 6 0 0 8070896 8075904 36720640 140735848698283 140735848698413 140735848698413 140735848701902 0
/proc/31227/statm: 7405 1401 708 435 0 768 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 29620 KiB
Current children cumulated memory: 5604 KiB

[startup+0.209475 s]*
/proc/loadavg: 2.16 2.02 2.05 4/184 31228
/proc/meminfo: memFree=31604080/32770624 swapFree=67108776/67108860
[pid=31227] ppid=31224 vsize=32352 memory=8544 CPUtime=0.14 cores=1,3,5,7
/proc/31227/stat : 31227 (cosoco) R 31224 31227 7084 0 -1 4202496 2350 0 0 0 14 0 0 0 20 0 1 0 164450648 33128448 2136 18446744073709551615 4194304 5972556 140735848691152 140735848684552 140335819557861 0 0 1 0 0 0 0 17 5 0 0 6 0 0 8070896 8075904 36720640 140735848698283 140735848698413 140735848698413 140735848701902 0
/proc/31227/statm: 8088 2136 787 435 0 1451 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 32352 KiB
Current children cumulated memory: 8544 KiB

[startup+0.308991 s]*
/proc/loadavg: 2.16 2.02 2.05 3/184 31228
/proc/meminfo: memFree=31599556/32770624 swapFree=67108776/67108860
[pid=31227] ppid=31224 vsize=34832 memory=11184 CPUtime=0.24 cores=1,3,5,7
/proc/31227/stat : 31227 (cosoco) R 31224 31227 7084 0 -1 4202496 2975 0 0 0 24 0 0 0 20 0 1 0 164450648 35667968 2796 18446744073709551615 4194304 5972556 140735848691152 140735848684552 140335819605920 0 0 1 0 0 0 0 17 5 0 0 6 0 0 8070896 8075904 36720640 140735848698283 140735848698413 140735848698413 140735848701902 0
/proc/31227/statm: 8708 2796 787 435 0 2071 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 34832 KiB
Current children cumulated memory: 11184 KiB

[startup+0.700283 s]
/proc/loadavg: 2.16 2.02 2.05 3/184 31228
/proc/meminfo: memFree=31589140/32770624 swapFree=67108776/67108860
[pid=31227] ppid=31224 vsize=44444 memory=20856 CPUtime=0.62 cores=1,3,5,7
/proc/31227/stat : 31227 (cosoco) R 31224 31227 7084 0 -1 4202496 5379 0 0 0 62 0 0 0 20 0 1 0 164450648 45510656 5214 18446744073709551615 4194304 5972556 140735848691152 140735848684552 140335819605920 0 0 1 0 0 0 0 17 5 0 0 6 0 0 8070896 8075904 36720640 140735848698283 140735848698413 140735848698413 140735848701902 0
/proc/31227/statm: 11111 5214 787 435 0 4474 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 44444 KiB
Current children cumulated memory: 20856 KiB

[startup+1.50028 s]
/proc/loadavg: 2.16 2.02 2.05 3/184 31228
/proc/meminfo: memFree=31566696/32770624 swapFree=67108776/67108860
[pid=31227] ppid=31224 vsize=64492 memory=40708 CPUtime=1.43 cores=1,3,5,7
/proc/31227/stat : 31227 (cosoco) R 31224 31227 7084 0 -1 4202496 10399 0 0 0 142 1 0 0 20 0 1 0 164450648 66039808 10177 18446744073709551615 4194304 5972556 140735848691152 140735848684552 140335819557861 0 0 1 0 0 0 0 17 5 0 0 6 0 0 8070896 8075904 36720640 140735848698283 140735848698413 140735848698413 140735848701902 0
/proc/31227/statm: 16123 10177 787 435 0 9486 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 64492 KiB
Current children cumulated memory: 40708 KiB

[startup+3.10935 s]
/proc/loadavg: 2.14 2.02 2.05 3/184 31228
/proc/meminfo: memFree=31527508/32770624 swapFree=67108776/67108860
[pid=31227] ppid=31224 vsize=88788 memory=65516 CPUtime=3.04 cores=1,3,5,7
/proc/31227/stat : 31227 (cosoco) R 31224 31227 7084 0 -1 4202496 20929 0 0 0 302 2 0 0 20 0 1 0 164450648 90918912 16379 18446744073709551615 4194304 5972556 140735848691152 140735848688600 5039148 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 36720640 140735848698283 140735848698413 140735848698413 140735848701902 0
/proc/31227/statm: 22197 16379 845 435 0 15560 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 88788 KiB
Current children cumulated memory: 65516 KiB

[startup+6.30028 s]
/proc/loadavg: 2.14 2.02 2.05 3/184 31228
/proc/meminfo: memFree=31526200/32770624 swapFree=67108776/67108860
[pid=31227] ppid=31224 vsize=89860 memory=66600 CPUtime=6.22 cores=1,3,5,7
/proc/31227/stat : 31227 (cosoco) R 31224 31227 7084 0 -1 4202496 25994 0 0 0 620 2 0 0 20 0 1 0 164450648 92016640 16650 18446744073709551615 4194304 5972556 140735848691152 140735848688600 5320379 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 36720640 140735848698283 140735848698413 140735848698413 140735848701902 0
/proc/31227/statm: 22465 16650 845 435 0 15828 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 89860 KiB
Current children cumulated memory: 66600 KiB

[startup+12.7003 s]
/proc/loadavg: 2.13 2.02 2.05 3/184 31228
/proc/meminfo: memFree=31526296/32770624 swapFree=67108776/67108860
[pid=31227] ppid=31224 vsize=89860 memory=66624 CPUtime=12.62 cores=1,3,5,7
/proc/31227/stat : 31227 (cosoco) R 31224 31227 7084 0 -1 4202496 29947 0 0 0 1260 2 0 0 20 0 1 0 164450648 92016640 16656 18446744073709551615 4194304 5972556 140735848691152 140735848688600 4965326 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 36720640 140735848698283 140735848698413 140735848698413 140735848701902 0
/proc/31227/statm: 22465 16656 845 435 0 15828 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 89860 KiB
Current children cumulated memory: 66624 KiB

[startup+25.5003 s]
/proc/loadavg: 2.10 2.02 2.05 3/184 31228
/proc/meminfo: memFree=31526296/32770624 swapFree=67108776/67108860
[pid=31227] ppid=31224 vsize=89860 memory=66624 CPUtime=25.42 cores=1,3,5,7
/proc/31227/stat : 31227 (cosoco) R 31224 31227 7084 0 -1 4202496 37321 0 0 0 2540 2 0 0 20 0 1 0 164450648 92016640 16656 18446744073709551615 4194304 5972556 140735848691152 140735848688600 4962154 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 36720640 140735848698283 140735848698413 140735848698413 140735848701902 0
/proc/31227/statm: 22465 16656 845 435 0 15828 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 89860 KiB
Current children cumulated memory: 66624 KiB

[startup+51.1091 s]
/proc/loadavg: 2.07 2.01 2.05 3/184 31229
/proc/meminfo: memFree=31525724/32770624 swapFree=67108776/67108860
[pid=31227] ppid=31224 vsize=89860 memory=66624 CPUtime=51.03 cores=1,3,5,7
/proc/31227/stat : 31227 (cosoco) R 31224 31227 7084 0 -1 4202496 40972 0 0 0 5100 3 0 0 20 0 1 0 164450648 92016640 16656 18446744073709551615 4194304 5972556 140735848691152 140735848688600 4965908 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 36720640 140735848698283 140735848698413 140735848698413 140735848701902 0
/proc/31227/statm: 22465 16656 845 435 0 15828 0
Current children cumulated CPU time: 51.03 s
Current children cumulated vsize: 89860 KiB
Current children cumulated memory: 66624 KiB

[startup+102.3 s]
/proc/loadavg: 2.03 2.01 2.05 3/187 31244
/proc/meminfo: memFree=31521088/32770624 swapFree=67108776/67108860
[pid=31227] ppid=31224 vsize=89860 memory=66632 CPUtime=102.21 cores=1,3,5,7
/proc/31227/stat : 31227 (cosoco) R 31224 31227 7084 0 -1 4202496 44624 0 0 0 10218 3 0 0 20 0 1 0 164450648 92016640 16658 18446744073709551615 4194304 5972556 140735848691152 140735848688600 5041530 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 36720640 140735848698283 140735848698413 140735848698413 140735848701902 0
/proc/31227/statm: 22465 16658 845 435 0 15828 0
Current children cumulated CPU time: 102.21 s
Current children cumulated vsize: 89860 KiB
Current children cumulated memory: 66632 KiB

[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/189 31272
/proc/meminfo: memFree=31519228/32770624 swapFree=67108776/67108860
[pid=31227] ppid=31224 vsize=89860 memory=66648 CPUtime=162.2 cores=1,3,5,7
/proc/31227/stat : 31227 (cosoco) R 31224 31227 7084 0 -1 4202496 45131 0 0 0 16217 3 0 0 20 0 1 0 164450648 92016640 16662 18446744073709551615 4194304 5972556 140735848691152 140735848688600 5139308 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 36720640 140735848698283 140735848698413 140735848698413 140735848701902 0
/proc/31227/statm: 22465 16662 845 435 0 15828 0
Current children cumulated CPU time: 162.2 s
Current children cumulated vsize: 89860 KiB
Current children cumulated memory: 66648 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 31274
/proc/meminfo: memFree=31519744/32770624 swapFree=67108776/67108860
[pid=31227] ppid=31224 vsize=89860 memory=66648 CPUtime=222.19 cores=1,3,5,7
/proc/31227/stat : 31227 (cosoco) R 31224 31227 7084 0 -1 4202496 45377 0 0 0 22216 3 0 0 20 0 1 0 164450648 92016640 16662 18446744073709551615 4194304 5972556 140735848691152 140735848688600 5099658 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 36720640 140735848698283 140735848698413 140735848698413 140735848701902 0
/proc/31227/statm: 22465 16662 845 435 0 15828 0
Current children cumulated CPU time: 222.19 s
Current children cumulated vsize: 89860 KiB
Current children cumulated memory: 66648 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252 s]*
/proc/loadavg: 2.00 2.01 2.05 3/184 31305
/proc/meminfo: memFree=31575308/32770624 swapFree=67108776/67108860
[pid=31227] ppid=31224 vsize=89860 memory=66648 CPUtime=251.9 cores=1,3,5,7
/proc/31227/stat : 31227 (cosoco) R 31224 31227 7084 0 -1 4202496 45623 0 0 0 25187 3 0 0 20 0 1 0 164450648 92016640 16662 18446744073709551615 4194304 5972556 140735848691152 140735848688600 5139275 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 36720640 140735848698283 140735848698413 140735848698413 140735848701902 0
/proc/31227/statm: 22465 16662 845 435 0 15828 0
Current children cumulated CPU time: 251.9 s
Current children cumulated vsize: 89860 KiB
Current children cumulated memory: 66648 KiB

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

[startup+252.011 s]
# the end of solver process 31227 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.88 s, system=0.033999 s

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

Child status: 1
Real time (s): 252.011
CPU time (s): 251.914
CPU user time (s): 251.88
CPU system time (s): 0.033999
CPU usage (%): 99.9616
Max. virtual memory (cumulated for all children) (KiB): 89860
Max. memory (cumulated for all children) (KiB): 66648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.88
system time used= 0.033999
maximum resident set size= 66720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45678
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= 36
involuntary context switches= 72


# summary of solver processes directly reported to runsolver:
#   pid: 31227
#   total CPU time (s): 251.914
#   total CPU user time (s): 251.88
#   total CPU system time (s): 0.033999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.04766 second user time and 1.59152 second system time

The end

Begin job on node132 at 2017-08-13 19:58:34
IDJOB=4258563
IDBENCH=127059
IDSOLVER=2644
FILE ID=node132/4258563-1502647979
RUNJOBID= node132-1502644570-29825
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 1.1
BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-057.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4258563-1502647979/watcher-4258563-1502647979 -o /tmp/evaluation-result-4258563-1502647979/solver-4258563-1502647979 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502644570-29825 --watchdog 312  HOME/cosoco -lc -model -restarts HOME/instance-4258563-1502647979.xml

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

MD5SUM BENCH= d88ca393bf757462df4053a6ee529819
RANDOM SEED=1827151429

node132.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.74
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.74
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.74
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.74
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:        31618504 kB
MemAvailable:   31957856 kB
Buffers:          231780 kB
Cached:           432476 kB
SwapCached:           84 kB
Active:           546356 kB
Inactive:         202028 kB
Active(anon):      31768 kB
Inactive(anon):   101868 kB
Active(file):     514588 kB
Inactive(file):   100160 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108776 kB
Dirty:              4932 kB
Writeback:             0 kB
AnonPages:        116120 kB
Mapped:            66996 kB
Shmem:             49768 kB
Slab:             107912 kB
SReclaimable:      80880 kB
SUnreclaim:        27032 kB
KernelStack:        3520 kB
PageTables:         5048 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     376024 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     38912 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 62028 MiB
End job on node132 at 2017-08-13 20:02:46