0.39/0.41	c best=?? lower=0 upper=1764 
15.68/15.73	c
15.68/15.73	c This is cosoco 1.0 --  
15.68/15.73	c
15.68/15.73	c enable optimization
15.68/15.73	c ========================================[ Problem Statistics ]===========================================
15.68/15.73	c |                                                                                                       
15.68/15.73	c |  Parse time        :         0.38 s 
15.68/15.73	c |
15.68/15.73	c |               Variables: 3917
15.68/15.73	c |            Domain Sizes: 2..3873
15.68/15.73	c |
15.68/15.73	c |             Constraints: 2365
15.68/15.73	c |                   Arity: 1..46  -- Unary: 177  -- Binary: 212  -- Ternary: 168
15.68/15.73	c | 
15.68/15.73	c |                   Types: 
15.68/15.73	c |                          : 164
15.68/15.73	c |                          Extension: 1768  (nb tuples: 1..724) -- (shared: 1927)
15.68/15.73	c |                          Intension: 212
15.68/15.73	c |                          Sum: 45
15.68/15.73	c |                          Unary: 176
15.68/15.73	c |                          
15.68/15.73	c =========================================================================================================
15.68/15.73	o 88
15.68/15.73	c    1 calls to solver: best=88 lower=89 upper=1764 
31.88/31.93	o 146
69.14/69.25	o 149
69.14/69.25	c    3 calls to solver: best=149 lower=150 upper=1764 
100.52/100.61	o 189
114.51/114.63	o 190
114.51/114.63	c    5 calls to solver: best=190 lower=191 upper=1764 
126.90/127.05	o 191
132.09/132.26	o 197
132.09/132.26	c    7 calls to solver: best=197 lower=198 upper=1764 
148.59/148.75	o 212
203.87/204.01	o 232
203.87/204.01	c    9 calls to solver: best=232 lower=233 upper=1764 
505.90/506.13	o 310
2400.04/2400.80	
2400.04/2400.80	c *** INTERRUPTED ***
2400.04/2400.80	s SATISFIABLE
2400.04/2400.80	c Best value found: 310
2400.04/2400.80	
2400.04/2400.80	
2400.04/2400.80	v <instantiation type='solution' cost='310'>
2400.04/2400.80	v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[0][29] w[0][30] w[0][31] w[0][32] w[0][33] w[0][34] w[0][35] w[0][36] w[0][37] w[0][38] w[0][39] w[0][40] w[0][41] w[0][42] w[0][43] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[1][29] w[1][30] w[1][31] w[1][32] w[1][33] w[1][34] w[1][35] w[1][36] w[1][37] w[1][38] w[1][39] w[1][40] w[1][41] w[1][42] w[1][43] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[2][29] w[2][30] w[2][31] w[2][32] w[2][33] w[2][34] w[2][35] w[2][36] w[2][37] w[2][38] w[2][39] w[2][40] w[2][41] w[2][42] w[2][43] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[3][29] w[3][30] w[3][31] w[3][32] w[3][33] w[3][34] w[3][35] w[3][36] w[3][37] w[3][38] w[3][39] w[3][40] w[3][41] w[3][42] w[3][43] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[4][29] w[4][30] w[4][31] w[4][32] w[4][33] w[4][34] w[4][35] w[4][36] w[4][37] w[4][38] w[4][39] w[4][40] w[4][41] w[4][42] w[4][43] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[5][29] w[5][30] w[5][31] w[5][32] w[5][33] w[5][34] w[5][35] w[5][36] w[5][37] w[5][38] w[5][39] w[5][40] w[5][41] w[5][42] w[5][43] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[6][29] w[6][30] w[6][31] w[6][32] w[6][33] w[6][34] w[6][35] w[6][36] w[6][37] w[6][38] w[6][39] w[6][40] w[6][41] w[6][42] w[6][43] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[7][29] w[7][30] w[7][31] w[7][32] w[7][33] w[7][34] w[7][35] w[7][36] w[7][37] w[7][38] w[7][39] w[7][40] w[7][41] w[7][42] w[7][43] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[8][29] w[8][30] w[8][31] w[8][32] w[8][33] w[8][34] w[8][35] w[8][36] w[8][37] w[8][38] w[8][39] w[8][40] w[8][41] w[8][42] w[8][43] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[9][29] w[9][30] w[9][31] w[9][32] w[9][33] w[9][34] w[9][35] w[9][36] w[9][37] w[9][38] w[9][39] w[9][40] w[9][41] w[9][42] w[9][43] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[10][29] w[10][30] w[10][31] w[10][32] w[10][33] w[10][34] w[10][35] w[10][36] w[10][37] w[10][38] w[10][39] w[10][40] w[10][41] w[10][42] w[10][43] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[11][29] w[11][30] w[11][31] w[11][32] w[11][33] w[11][34] w[11][35] w[11][36] w[11][37] w[11][38] w[11][39] w[11][40] w[11][41] w[11][42] w[11][43] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[12][29] w[12][30] w[12][31] w[12][32] w[12][33] w[12][34] w[12][35] w[12][36] w[12][37] w[12][38] w[12][39] w[12][40] w[12][41] w[12][42] w[12][43] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[13][29] w[13][30] w[13][31] w[13][32] w[13][33] w[13][34] w[13][35] w[13][36] w[13][37] w[13][38] w[13][39] w[13][40] w[13][41] w[13][42] w[13][43] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[14][29] w[14][30] w[14][31] w[14][32] w[14][33] w[14][34] w[14][35] w[14][36] w[14][37] w[14][38] w[14][39] w[14][40] w[14][41] w[14][42] w[14][43] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[15][29] w[15][30] w[15][31] w[15][32] w[15][33] w[15][34] w[15][35] w[15][36] w[15][37] w[15][38] w[15][39] w[15][40] w[15][41] w[15][42] w[15][43] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[16][29] w[16][30] w[16][31] w[16][32] w[16][33] w[16][34] w[16][35] w[16][36] w[16][37] w[16][38] w[16][39] w[16][40] w[16][41] w[16][42] w[16][43] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[17][29] w[17][30] w[17][31] w[17][32] w[17][33] w[17][34] w[17][35] w[17][36] w[17][37] w[17][38] w[17][39] w[17][40] w[17][41] w[17][42] w[17][43] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[18][29] w[18][30] w[18][31] w[18][32] w[18][33] w[18][34] w[18][35] w[18][36] w[18][37] w[18][38] w[18][39] w[18][40] w[18][41] w[18][42] w[18][43] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[19][29] w[19][30] w[19][31] w[19][32] w[19][33] w[19][34] w[19][35] w[19][36] w[19][37] w[19][38] w[19][39] w[19][40] w[19][41] w[19][42] w[19][43] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[20][29] w[20][30] w[20][31] w[20][32] w[20][33] w[20][34] w[20][35] w[20][36] w[20][37] w[20][38] w[20][39] w[20][40] w[20][41] w[20][42] w[20][43] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[21][29] w[21][30] w[21][31] w[21][32] w[21][33] w[21][34] w[21][35] w[21][36] w[21][37] w[21][38] w[21][39] w[21][40] w[21][41] w[21][42] w[21][43] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[22][29] w[22][30] w[22][31] w[22][32] w[22][33] w[22][34] w[22][35] w[22][36] w[22][37] w[22][38] w[22][39] w[22][40] w[22][41] w[22][42] w[22][43] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[23][29] w[23][30] w[23][31] w[23][32] w[23][33] w[23][34] w[23][35] w[23][36] w[23][37] w[23][38] w[23][39] w[23][40] w[23][41] w[23][42] w[23][43] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[24][29] w[24][30] w[24][31] w[24][32] w[24][33] w[24][34] w[24][35] w[24][36] w[24][37] w[24][38] w[24][39] w[24][40] w[24][41] w[24][42] w[24][43] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[25][29] w[25][30] w[25][31] w[25][32] w[25][33] w[25][34] w[25][35] w[25][36] w[25][37] w[25][38] w[25][39] w[25][40] w[25][41] w[25][42] w[25][43] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[26][29] w[26][30] w[26][31] w[26][32] w[26][33] w[26][34] w[26][35] w[26][36] w[26][37] w[26][38] w[26][39] w[26][40] w[26][41] w[26][42] w[26][43] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[27][29] w[27][30] w[27][31] w[27][32] w[27][33] w[27][34] w[27][35] w[27][36] w[27][37] w[27][38] w[27][39] w[27][40] w[27][41] w[27][42] w[27][43] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] w[28][29] w[28][30] w[28][31] w[28][32] w[28][33] w[28][34] w[28][35] w[28][36] w[28][37] w[28][38] w[28][39] w[28][40] w[28][41] w[28][42] w[28][43] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] w[29][30] w[29][31] w[29][32] w[29][33] w[29][34] w[29][35] w[29][36] w[29][37] w[29][38] w[29][39] w[29][40] w[29][41] w[29][42] w[29][43] w[30][0] w[30][1] w[30][2] w[30][3] w[30][4] w[30][5] w[30][6] w[30][7] w[30][8] w[30][9] w[30][10] w[30][11] w[30][12] w[30][13] w[30][14] w[30][15] w[30][16] w[30][17] w[30][18] w[30][19] w[30][20] w[30][21] w[30][22] w[30][23] w[30][24] w[30][25] w[30][26] w[30][27] w[30][28] w[30][29] w[30][30] w[30][31] w[30][32] w[30][33] w[30][34] w[30][35] w[30][36] w[30][37] w[30][38] w[30][39] w[30][40] w[30][41] w[30][42] w[30][43] w[31][0] w[31][1] w[31][2] w[31][3] w[31][4] w[31][5] w[31][6] w[31][7] w[31][8] w[31][9] w[31][10] w[31][11] w[31][12] w[31][13] w[31][14] w[31][15] w[31][16] w[31][17] w[31][18] w[31][19] w[31][20] w[31][21] w[31][22] w[31][23] w[31][24] w[31][25] w[31][26] w[31][27] w[31][28] w[31][29] w[31][30] w[31][31] w[31][32] w[31][33] w[31][34] w[31][35] w[31][36] w[31][37] w[31][38] w[31][39] w[31][40] w[31][41] w[31][42] w[31][43] w[32][0] w[32][1] w[32][2] w[32][3] w[32][4] w[32][5] w[32][6] w[32][7] w[32][8] w[32][9] w[32][10] w[32][11] w[32][12] w[32][13] w[32][14] w[32][15] w[32][16] w[32][17] w[32][18] w[32][19] w[32][20] w[32][21] w[32][22] w[32][23] w[32][24] w[32][25] w[32][26] w[32][27] w[32][28] w[32][29] w[32][30] w[32][31] w[32][32] w[32][33] w[32][34] w[32][35] w[32][36] w[32][37] w[32][38] w[32][39] w[32][40] w[32][41] w[32][42] w[32][43] w[33][0] w[33][1] w[33][2] w[33][3] w[33][4] w[33][5] w[33][6] w[33][7] w[33][8] w[33][9] w[33][10] w[33][11] w[33][12] w[33][13] w[33][14] w[33][15] w[33][16] w[33][17] w[33][18] w[33][19] w[33][20] w[33][21] w[33][22] w[33][23] w[33][24] w[33][25] w[33][26] w[33][27] w[33][28] w[33][29] w[33][30] w[33][31] w[33][32] w[33][33] w[33][34] w[33][35] w[33][36] w[33][37] w[33][38] w[33][39] w[33][40] w[33][41] w[33][42] w[33][43] w[34][0] w[34][1] w[34][2] w[34][3] w[34][4] w[34][5] w[34][6] w[34][7] w[34][8] w[34][9] w[34][10] w[34][11] w[34][12] w[34][13] w[34][14] w[34][15] w[34][16] w[34][17] w[34][18] w[34][19] w[34][20] w[34][21] w[34][22] w[34][23] w[34][24] w[34][25] w[34][26] w[34][27] w[34][28] w[34][29] w[34][30] w[34][31] w[34][32] w[34][33] w[34][34] w[34][35] w[34][36] w[34][37] w[34][38] w[34][39] w[34][40] w[34][41] w[34][42] w[34][43] w[35][0] w[35][1] w[35][2] w[35][3] w[35][4] w[35][5] w[35][6] w[35][7] w[35][8] w[35][9] w[35][10] w[35][11] w[35][12] w[35][13] w[35][14] w[35][15] w[35][16] w[35][17] w[35][18] w[35][19] w[35][20] w[35][21] w[35][22] w[35][23] w[35][24] w[35][25] w[35][26] w[35][27] w[35][28] w[35][29] w[35][30] w[35][31] w[35][32] w[35][33] w[35][34] w[35][35] w[35][36] w[35][37] w[35][38] w[35][39] w[35][40] w[35][41] w[35][42] w[35][43] w[36][0] w[36][1] w[36][2] w[36][3] w[36][4] w[36][5] w[36][6] w[36][7] w[36][8] w[36][9] w[36][10] w[36][11] w[36][12] w[36][13] w[36][14] w[36][15] w[36][16] w[36][17] w[36][18] w[36][19] w[36][20] w[36][21] w[36][22] w[36][23] w[36][24] w[36][25] w[36][26] w[36][27] w[36][28] w[36][29] w[36][30] w[36][31] w[36][32] w[36][33] w[36][34] w[36][35] w[36][36] w[36][37] w[36][38] w[36][39] w[36][40] w[36][41] w[36][42] w[36][43] w[37][0] w[37][1] w[37][2] w[37][3] w[37][4] w[37][5] w[37][6] w[37][7] w[37][8] w[37][9] w[37][10] w[37][11] w[37][12] w[37][13] w[37][14] w[37][15] w[37][16] w[37][17] w[37][18] w[37][19] w[37][20] w[37][21] w[37][22] w[37][23] w[37][24] w[37][25] w[37][26] w[37][27] w[37][28] w[37][29] w[37][30] w[37][31] w[37][32] w[37][33] w[37][34] w[37][35] w[37][36] w[37][37] w[37][38] w[37][39] w[37][40] w[37][41] w[37][42] w[37][43] w[38][0] w[38][1] w[38][2] w[38][3] w[38][4] w[38][5] w[38][6] w[38][7] w[38][8] w[38][9] w[38][10] w[38][11] w[38][12] w[38][13] w[38][14] w[38][15] w[38][16] w[38][17] w[38][18] w[38][19] w[38][20] w[38][21] w[38][22] w[38][23] w[38][24] w[38][25] w[38][26] w[38][27] w[38][28] w[38][29] w[38][30] w[38][31] w[38][32] w[38][33] w[38][34] w[38][35] w[38][36] w[38][37] w[38][38] w[38][39] w[38][40] w[38][41] w[38][42] w[38][43] w[39][0] w[39][1] w[39][2] w[39][3] w[39][4] w[39][5] w[39][6] w[39][7] w[39][8] w[39][9] w[39][10] w[39][11] w[39][12] w[39][13] w[39][14] w[39][15] w[39][16] w[39][17] w[39][18] w[39][19] w[39][20] w[39][21] w[39][22] w[39][23] w[39][24] w[39][25] w[39][26] w[39][27] w[39][28] w[39][29] w[39][30] w[39][31] w[39][32] w[39][33] w[39][34] w[39][35] w[39][36] w[39][37] w[39][38] w[39][39] w[39][40] w[39][41] w[39][42] w[39][43] w[40][0] w[40][1] w[40][2] w[40][3] w[40][4] w[40][5] w[40][6] w[40][7] w[40][8] w[40][9] w[40][10] w[40][11] w[40][12] w[40][13] w[40][14] w[40][15] w[40][16] w[40][17] w[40][18] w[40][19] w[40][20] w[40][21] w[40][22] w[40][23] w[40][24] w[40][25] w[40][26] w[40][27] w[40][28] w[40][29] w[40][30] w[40][31] w[40][32] w[40][33] w[40][34] w[40][35] w[40][36] w[40][37] w[40][38] w[40][39] w[40][40] w[40][41] w[40][42] w[40][43] w[41][0] w[41][1] w[41][2] w[41][3] w[41][4] w[41][5] w[41][6] w[41][7] w[41][8] w[41][9] w[41][10] w[41][11] w[41][12] w[41][13] w[41][14] w[41][15] w[41][16] w[41][17] w[41][18] w[41][19] w[41][20] w[41][21] w[41][22] w[41][23] w[41][24] w[41][25] w[41][26] w[41][27] w[41][28] w[41][29] w[41][30] w[41][31] w[41][32] w[41][33] w[41][34] w[41][35] w[41][36] w[41][37] w[41][38] w[41][39] w[41][40] w[41][41] w[41][42] w[41][43] w[42][0] w[42][1] w[42][2] w[42][3] w[42][4] w[42][5] w[42][6] w[42][7] w[42][8] w[42][9] w[42][10] w[42][11] w[42][12] w[42][13] w[42][14] w[42][15] w[42][16] w[42][17] w[42][18] w[42][19] w[42][20] w[42][21] w[42][22] w[42][23] w[42][24] w[42][25] w[42][26] w[42][27] w[42][28] w[42][29] w[42][30] w[42][31] w[42][32] w[42][33] w[42][34] w[42][35] w[42][36] w[42][37] w[42][38] w[42][39] w[42][40] w[42][41] w[42][42] w[42][43] w[43][0] w[43][1] w[43][2] w[43][3] w[43][4] w[43][5] w[43][6] w[43][7] w[43][8] w[43][9] w[43][10] w[43][11] w[43][12] w[43][13] w[43][14] w[43][15] w[43][16] w[43][17] w[43][18] w[43][19] w[43][20] w[43][21] w[43][22] w[43][23] w[43][24] w[43][25] w[43][26] w[43][27] w[43][28] w[43][29] w[43][30] w[43][31] w[43][32] w[43][33] w[43][34] w[43][35] w[43][36] w[43][37] w[43][38] w[43][39] w[43][40] w[43][41] w[43][42] w[43][43] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] ws[29] ws[30] ws[31] ws[32] ws[33] ws[34] ws[35] ws[36] ws[37] ws[38] ws[39] ws[40] ws[41] ws[42] ws[43] z </list>
2400.04/2400.80	v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 1 1 0 0 1 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 0 1 1 0 1 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 1 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 1 1 0 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 0 1 0 0 0 0 0 1 1 0 0 0 0 1 1 0 1 0 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 1 0 0 1 1 0 1 1 0 0 0 0 0 1 0 0 0 1 1 1 1 0 0 0 1 0 0 1 1 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 0 1 1 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 1 0 1 1 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 1 1 2 2 0 0 0 1 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 1 2 0 1 1 0 1 1 0 0 0 1 0 1 1 2 2 1 0 1 1 2 2 2 1 1 2 2 2 2 2 2 2 1 1 1 2 2 2 2 2 2 2 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 2 2 2 1 0 0 1 1 2 1 1 0 1 2 2 2 2 2 2 1 0 1 0 1 2 2 2 2 2 1 0 0 0 1 0 0 1 1 1 1 0 0 0 0 2 2 2 2 0 1 0 1 1 1 0 1 1 2 2 2 2 2 2 1 0 0 0 1 0 2 2 2 2 2 1 1 1 0 1 1 1 2 1 1 1 0 0 1 1 2 2 2 1 0 0 0 0 0 0 1 2 2 2 2 2 1 1 1 1 0 0 0 1 1 2 2 1 2 2 1 0 1 1 2 2 1 1 0 0 1 0 0 0 2 2 1 1 0 1 1 1 0 1 1 1 1 2 1 1 1 0 0 0 0 0 0 0 1 1 0 1 1 1 1 0 0 1 2 2 1 0 1 1 1 1 0 0 1 1 0 0 1 1 1 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 1 2 0 0 0 1 0 1 2 1 1 2 2 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 1 1 1 1 1 1 0 0 0 0 1 1 2 2 0 0 0 0 0 1 0 2 2 2 2 2 0 1 0 0 0 0 1 0 0 0 0 0 1 2 1 2 1 1 2 2 1 1 1 0 0 0 0 1 1 2 2 1 0 0 1 1 1 0 1 1 2 2 2 1 1 0 0 0 1 0 0 0 1 1 1 2 2 2 2 2 2 2 2 2 1 1 1 1 0 1 1 0 2 2 2 1 0 1 1 2 0 2 0 2 2 2 1 0 0 1 0 2 0 2 0 1 1 2 2 2 2 2 2 2 2 2 2 2 1 1 2 1 2 1 1 2 2 2 1 1 0 1 2 0 2 0 2 2 2 2 1 1 0 1 2 2 2 0 1 0 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 1 0 1 1 1 0 0 2 2 2 2 2 2 1 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 1 1 2 1 0 1 1 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 1 1 2 2 2 2 2 2 1 1 2 2 2 2 2 2 1 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 1 0 0 0 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 1 1 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 0 1 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 1 1 0 1 1 2 2 1 2 1 2 2 2 2 2 1 1 2 1 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 1 1 0 1 1 1 1 0 1 0 2 2 2 1 0 0 1 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 0 0 0 1 1 0 0 0 1 1 2 2 1 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 2 2 2 2 2 2 2 2 1 1 2 2 1 1 1 0 0 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 1 0 0 0 0 0 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 1 1 2 2 2 0 1 0 2 1 1 0 0 1 1 0 1 0 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 1 1 1 1 1 2 0 0 1 0 0 1 1 1 2 1 0 0 0 1 0 2 2 2 1 2 1 1 2 2 2 2 2 2 2 2 2 2 2 1 1 2 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 2 2 1 1 0 0 0 1 1 2 1 1 0 1 1 0 2 2 1 2 2 1 2 2 2 0 0 0 1 2 1 1 1 0 1 0 0 0 1 0 1 0 0 1 1 1 1 0 0 0 0 0 0 2 1 0 0 0 0 1 1 1 1 0 0 1 1 2 1 1 0 1 0 1 2 1 1 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 2 1 1 1 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 1 1 1 2 0 0 1 1 1 1 0 0 1 1 1 1 0 0 2 2 2 2 2 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 2 2 2 1 0 1 1 2 2 1 1 1 1 2 2 1 1 0 1 2 1 2 2 2 1 1 0 0 0 1 0 0 1 0 0 0 1 1 2 1 1 1 0 0 2 2 1 0 1 0 2 2 2 2 2 1 1 2 2 1 0 0 0 0 1 1 2 2 2 1 1 0 0 0 1 1 0 2 0 1 1 2 2 2 2 1 0 1 1 2 1 1 0 1 2 2 2 2 2 1 1 2 0 1 0 1 0 0 0 1 2 2 2 2 1 1 2 1 1 2 2 0 1 0 2 2 2 2 2 2 1 1 2 2 2 1 0 1 1 2 2 2 2 1 1 1 1 2 0 0 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 1 2 2 2 2 2 2 2 2 2 1 1 1 0 1 2 2 2 2 1 1 2 0 1 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 1 1 2 2 2 2 2 2 2 0 1 0 0 0 2 2 2 2 2 1 1 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 1 0 0 1 2 2 2 2 2 2 1 1 0 1 0 0 0 1 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 0 1 1 2 2 2 2 2 2 1 1 0 1 1 0 0 0 1 0 2 2 1 1 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 1 1 2 1 0 1 1 2 2 2 2 2 2 1 1 0 1 1 2 2 0 0 0 1 1 2 1 1 2 2 2 2 2 0 0 0 1 2 2 2 2 2 2 0 0 0 1 2 1 1 2 2 2 2 2 2 2 1 0 0 0 2 2 0 1 0 1 0 2 2 1 1 2 2 2 2 1 1 0 1 1 2 2 2 2 2 1 1 0 1 1 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 1 1 0 1 1 2 2 2 1 1 2 2 2 2 0 0 1 1 2 2 2 2 2 2 0 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 1 2 2 2 2 1 1 2 2 2 1 1 0 1 2 2 2 2 2 2 1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 0 1 2 2 2 2 1 0 1 1 

ERROR: no instantiation found

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4239980-1500634239/watcher-4239980-1500634239 -o /tmp/evaluation-result-4239980-1500634239/solver-4239980-1500634239 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1500623787-5214 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4239980-1500634239.xml 

pid=7732
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 1.96 2.01 2.04 3/187 7735
/proc/meminfo: memFree=30415852/32770624 swapFree=6216/754268
[pid=7735] ppid=7732 vsize=27120 CPUtime=0 cores=0,2,4,6
/proc/7735/stat : 7735 (cosoco) R 7732 7735 5183 0 -1 4202496 978 0 0 0 0 0 0 0 20 0 1 0 18131637 27770880 802 33554432000 4194304 5970956 140725613102448 140725613099048 139866948365285 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 16166912 140725613106369 140725613106499 140725613106499 140725613109198 0
/proc/7735/statm: 6780 802 698 434 0 144 0

[startup+0.100119 s]
/proc/loadavg: 1.96 2.01 2.04 3/187 7735
/proc/meminfo: memFree=30415852/32770624 swapFree=6216/754268
[pid=7735] ppid=7732 vsize=36544 CPUtime=0.09 cores=0,2,4,6
/proc/7735/stat : 7735 (cosoco) R 7732 7735 5183 0 -1 4202496 3333 0 0 0 9 0 0 0 20 0 1 0 18131637 37421056 3151 33554432000 4194304 5970956 140725613102448 140725613099048 5408660 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 16166912 140725613106369 140725613106499 140725613106499 140725613109198 0
/proc/7735/statm: 9136 3151 721 434 0 2500 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36544

[startup+0.200332 s]
/proc/loadavg: 1.96 2.01 2.04 3/187 7735
/proc/meminfo: memFree=30415852/32770624 swapFree=6216/754268
[pid=7735] ppid=7732 vsize=66140 CPUtime=0.18 cores=0,2,4,6
/proc/7735/stat : 7735 (cosoco) R 7732 7735 5183 0 -1 4202496 10835 0 0 0 17 1 0 0 20 0 1 0 18131637 67727360 10652 33554432000 4194304 5970956 140725613102448 140725613095976 139866948375418 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 16166912 140725613106369 140725613106499 140725613106499 140725613109198 0
/proc/7735/statm: 16535 10652 792 434 0 9899 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 66140

[startup+0.300273 s]
/proc/loadavg: 1.96 2.01 2.04 3/187 7735
/proc/meminfo: memFree=30415852/32770624 swapFree=6216/754268
[pid=7735] ppid=7732 vsize=68956 CPUtime=0.28 cores=0,2,4,6
/proc/7735/stat : 7735 (cosoco) R 7732 7735 5183 0 -1 4202496 11539 0 0 0 27 1 0 0 20 0 1 0 18131637 70610944 11354 33554432000 4194304 5970956 140725613102448 140725613096280 5094475 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 16166912 140725613106369 140725613106499 140725613106499 140725613109198 0
/proc/7735/statm: 17273 11354 792 434 0 10637 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 68956

[startup+0.700191 s]
/proc/loadavg: 1.96 2.01 2.04 3/187 7735
/proc/meminfo: memFree=30415852/32770624 swapFree=6216/754268
[pid=7735] ppid=7732 vsize=92420 CPUtime=0.69 cores=0,2,4,6
/proc/7735/stat : 7735 (cosoco) R 7732 7735 5183 0 -1 4202496 17438 0 0 0 66 3 0 0 20 0 1 0 18131637 94638080 17238 33554432000 4194304 5970956 140725613102448 140725613099272 5039186 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 16166912 140725613106369 140725613106499 140725613106499 140725613109198 0
/proc/7735/statm: 23105 17238 848 434 0 16469 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 92420

[startup+1.50021 s]
/proc/loadavg: 1.96 2.01 2.04 3/188 7736
/proc/meminfo: memFree=30337688/32770624 swapFree=6216/754324
[pid=7735] ppid=7732 vsize=109648 CPUtime=1.49 cores=0,2,4,6
/proc/7735/stat : 7735 (cosoco) R 7732 7735 5183 0 -1 4202496 21731 0 0 0 146 3 0 0 20 0 1 0 18131637 112279552 21535 33554432000 4194304 5970956 140725613102448 140725613099432 5327380 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 16166912 140725613106369 140725613106499 140725613106499 140725613109198 0
/proc/7735/statm: 27412 21535 848 434 0 20776 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 109648

[startup+3.10019 s]
/proc/loadavg: 1.96 2.01 2.04 3/188 7736
/proc/meminfo: memFree=30333224/32770624 swapFree=6216/754324
[pid=7735] ppid=7732 vsize=109648 CPUtime=3.09 cores=0,2,4,6
/proc/7735/stat : 7735 (cosoco) R 7732 7735 5183 0 -1 4202496 31857 0 0 0 305 4 0 0 20 0 1 0 18131637 112279552 21571 33554432000 4194304 5970956 140725613102448 140725613099432 5098928 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 16166912 140725613106369 140725613106499 140725613106499 140725613109198 0
/proc/7735/statm: 27412 21571 848 434 0 20776 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 109648

[startup+6.30019 s]
/proc/loadavg: 1.96 2.01 2.04 3/188 7736
/proc/meminfo: memFree=30327700/32770624 swapFree=6216/754332
[pid=7735] ppid=7732 vsize=115816 CPUtime=6.28 cores=0,2,4,6
/proc/7735/stat : 7735 (cosoco) R 7732 7735 5183 0 -1 4202496 46702 0 0 0 624 4 0 0 20 0 1 0 18131637 118595584 23081 33554432000 4194304 5970956 140725613102448 140725613099320 5098928 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 16166912 140725613106369 140725613106499 140725613106499 140725613109198 0
/proc/7735/statm: 28954 23081 848 434 0 22318 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 115816

[startup+12.7002 s]
/proc/loadavg: 1.96 2.01 2.04 3/188 7736
/proc/meminfo: memFree=30282040/32770624 swapFree=6216/754332
[pid=7735] ppid=7732 vsize=160956 CPUtime=12.69 cores=0,2,4,6
/proc/7735/stat : 7735 (cosoco) R 7732 7735 5183 0 -1 4202496 79816 0 0 0 1262 7 0 0 20 0 1 0 18131637 164818944 34262 33554432000 4194304 5970956 140725613102448 140725613099160 4930648 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 16166912 140725613106369 140725613106499 140725613106499 140725613109198 0
/proc/7735/statm: 40239 34262 848 434 0 33603 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 160956

[startup+25.5002 s]
/proc/loadavg: 1.97 2.01 2.04 3/188 7736
/proc/meminfo: memFree=30271252/32770624 swapFree=6216/754348
[pid=7735] ppid=7732 vsize=172528 CPUtime=25.48 cores=0,2,4,6
/proc/7735/stat : 7735 (cosoco) R 7732 7735 5183 0 -1 4202496 128558 0 0 0 2539 9 0 0 20 0 1 0 18131637 176668672 37037 33554432000 4194304 5970956 140725613102448 140725613089752 5040384 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 16166912 140725613106369 140725613106499 140725613106499 140725613109198 0
/proc/7735/statm: 43132 37037 850 434 0 36496 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 172528

[startup+51.1002 s]
/proc/loadavg: 1.98 2.01 2.04 3/188 7797
/proc/meminfo: memFree=30984124/32770624 swapFree=6216/754500
[pid=7735] ppid=7732 vsize=182276 CPUtime=51.06 cores=0,2,4,6
/proc/7735/stat : 7735 (cosoco) R 7732 7735 5183 0 -1 4202496 162886 0 0 0 5094 12 0 0 20 0 1 0 18131637 186650624 39425 33554432000 4194304 5970956 140725613102448 140725613099272 5039193 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 16166912 140725613106369 140725613106499 140725613106499 140725613109198 0
/proc/7735/statm: 45569 39425 850 434 0 38933 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 182276

[startup+102.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/188 7798
/proc/meminfo: memFree=30973640/32770624 swapFree=6216/754552
[pid=7735] ppid=7732 vsize=190860 CPUtime=102.23 cores=0,2,4,6
/proc/7735/stat : 7735 (cosoco) R 7732 7735 5183 0 -1 4202496 185013 0 0 0 10210 13 0 0 20 0 1 0 18131637 195440640 41488 33554432000 4194304 5970956 140725613102448 140725613100008 5337501 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 16166912 140725613106369 140725613106499 140725613106499 140725613109198 0
/proc/7735/statm: 47715 41488 850 434 0 41079 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 190860

[startup+162.3 s]
/proc/loadavg: 2.04 2.02 2.05 3/188 7799
/proc/meminfo: memFree=30963564/32770624 swapFree=6216/754592
[pid=7735] ppid=7732 vsize=196844 CPUtime=162.19 cores=0,2,4,6
/proc/7735/stat : 7735 (cosoco) R 7732 7735 5183 0 -1 4202496 189297 0 0 0 16206 13 0 0 20 0 1 0 18131637 201568256 43333 33554432000 4194304 5970956 140725613102448 140725613100008 5337501 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 16166912 140725613106369 140725613106499 140725613106499 140725613109198 0
/proc/7735/statm: 49211 43333 850 434 0 42575 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 196844

[startup+222.306 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 7800
/proc/meminfo: memFree=30961608/32770624 swapFree=6216/754636
[pid=7735] ppid=7732 vsize=198240 CPUtime=222.18 cores=0,2,4,6
/proc/7735/stat : 7735 (cosoco) R 7732 7735 5183 0 -1 4202496 190064 0 0 0 22205 13 0 0 20 0 1 0 18131637 202997760 43674 33554432000 4194304 5970956 140725613102448 140725613089752 5038725 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 16166912 140725613106369 140725613106499 140725613106499 140725613109198 0
/proc/7735/statm: 49560 43674 850 434 0 42924 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 198240

[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/187 7802
/proc/meminfo: memFree=30961528/32770624 swapFree=6216/754672
[pid=7735] ppid=7732 vsize=198516 CPUtime=282.15 cores=0,2,4,6
/proc/7735/stat : 7735 (cosoco) R 7732 7735 5183 0 -1 4202496 190793 0 0 0 28202 13 0 0 20 0 1 0 18131637 203280384 43745 33554432000 4194304 5970956 140725613102448 140725613099272 4930672 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 16166912 140725613106369 140725613106499 140725613106499 140725613109198 0
/proc/7735/statm: 49629 43745 850 434 0 42993 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 198516

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7803
/proc/meminfo: memFree=30960984/32770624 swapFree=6216/754704
[pid=7735] ppid=7732 vsize=198648 CPUtime=342.14 cores=0,2,4,6
/proc/7735/stat : 7735 (cosoco) R 7732 7735 5183 0 -1 4202496 191432 0 0 0 34200 14 0 0 20 0 1 0 18131637 203415552 43799 33554432000 4194304 5970956 140725613102448 140725613099320 5052093 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 16166912 140725613106369 140725613106499 140725613106499 140725613109198 0
/proc/7735/statm: 49662 43799 850 434 0 43026 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 198648

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7804
/proc/meminfo: memFree=30960736/32770624 swapFree=6216/754732
[pid=7735] ppid=7732 vsize=198784 CPUtime=402.12 cores=0,2,4,6
/proc/7735/stat : 7735 (cosoco) R 7732 7735 5183 0 -1 4202496 191788 0 0 0 40198 14 0 0 20 0 1 0 18131637 203554816 43828 33554432000 4194304 5970956 140725613102448 140725613099160 4934354 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 16166912 140725613106369 140725613106499 140725613106499 140725613109198 0
/proc/7735/statm: 49696 43828 850 434 0 43060 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 198784

[startup+462.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/187 7806
/proc/meminfo: memFree=30961000/32770624 swapFree=6216/754768
[pid=7735] ppid=7732 vsize=198916 CPUtime=462.11 cores=0,2,4,6
/proc/7735/stat : 7735 (cosoco) R 7732 7735 5183 0 -1 4202496 192189 0 0 0 46197 14 0 0 20 0 1 0 18131637 203689984 43866 33554432000 4194304 5970956 140725613102448 140725613099272 5098928 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 16166912 140725613106369 140725613106499 140725613106499 140725613109198 0
/proc/7735/statm: 49729 43866 850 434 0 43093 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 198916

[startup+522.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/187 7807
/proc/meminfo: memFree=30958892/32770624 swapFree=6216/754808
[pid=7735] ppid=7732 vsize=201304 CPUtime=522.09 cores=0,2,4,6
/proc/7735/stat : 7735 (cosoco) R 7732 7735 5183 0 -1 4202496 193122 0 0 0 52195 14 0 0 20 0 1 0 18131637 206135296 44395 33554432000 4194304 5970956 140725613102448 140725613100008 5039186 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 16166912 140725613106369 140725613106499 140725613106499 140725613109198 0
/proc/7735/statm: 50326 44395 850 434 0 43690 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 201304

[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 7816
/proc/meminfo: memFree=30957880/32770624 swapFree=6216/754852
[pid=7735] ppid=7732 vsize=201304 CPUtime=582.07 cores=0,2,4,6
/proc/7735/stat : 7735 (cosoco) R 7732 7735 5183 0 -1 4202496 193664 0 0 0 58193 14 0 0 20 0 1 0 18131637 206135296 44439 33554432000 4194304 5970956 140725613102448 140725613100008 5098928 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 16166912 140725613106369 140725613106499 140725613106499 140725613109198 0
/proc/7735/statm: 50326 44439 850 434 0 43690 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 201304


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


[startup+1482.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 7860
/proc/meminfo: memFree=30957632/32770624 swapFree=6216/755332
[pid=7735] ppid=7732 vsize=201304 CPUtime=1481.81 cores=0,2,4,6
/proc/7735/stat : 7735 (cosoco) R 7732 7735 5183 0 -1 4202496 198915 0 0 0 148166 15 0 0 20 0 1 0 18131637 206135296 44451 33554432000 4194304 5970956 140725613102448 140725613100008 4930611 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 16166912 140725613106369 140725613106499 140725613106499 140725613109198 0
/proc/7735/statm: 50326 44451 850 434 0 43690 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 201304

[startup+1542.31 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 7861
/proc/meminfo: memFree=30957704/32770624 swapFree=6216/755364
[pid=7735] ppid=7732 vsize=201304 CPUtime=1541.8 cores=0,2,4,6
/proc/7735/stat : 7735 (cosoco) R 7732 7735 5183 0 -1 4202496 199242 0 0 0 154165 15 0 0 20 0 1 0 18131637 206135296 44451 33554432000 4194304 5970956 140725613102448 140725613100008 4934366 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 16166912 140725613106369 140725613106499 140725613106499 140725613109198 0
/proc/7735/statm: 50326 44451 850 434 0 43690 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 201304

[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 7862
/proc/meminfo: memFree=30957644/32770624 swapFree=6216/755392
[pid=7735] ppid=7732 vsize=201304 CPUtime=1601.77 cores=0,2,4,6
/proc/7735/stat : 7735 (cosoco) R 7732 7735 5183 0 -1 4202496 199460 0 0 0 160162 15 0 0 20 0 1 0 18131637 206135296 44451 33554432000 4194304 5970956 140725613102448 140725613100008 5069735 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 16166912 140725613106369 140725613106499 140725613106499 140725613109198 0
/proc/7735/statm: 50326 44451 850 434 0 43690 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 201304

[startup+1662.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 7863
/proc/meminfo: memFree=30957772/32770624 swapFree=6216/755420
[pid=7735] ppid=7732 vsize=201304 CPUtime=1661.75 cores=0,2,4,6
/proc/7735/stat : 7735 (cosoco) R 7732 7735 5183 0 -1 4202496 199843 0 0 0 166160 15 0 0 20 0 1 0 18131637 206135296 44451 33554432000 4194304 5970956 140725613102448 140725613100008 4930611 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 16166912 140725613106369 140725613106499 140725613106499 140725613109198 0
/proc/7735/statm: 50326 44451 850 434 0 43690 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 201304

[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 7886
/proc/meminfo: memFree=30957680/32770624 swapFree=6216/755472
[pid=7735] ppid=7732 vsize=201304 CPUtime=1721.74 cores=0,2,4,6
/proc/7735/stat : 7735 (cosoco) R 7732 7735 5183 0 -1 4202496 200135 0 0 0 172159 15 0 0 20 0 1 0 18131637 206135296 44451 33554432000 4194304 5970956 140725613102448 140725613100008 4930611 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 16166912 140725613106369 140725613106499 140725613106499 140725613109198 0
/proc/7735/statm: 50326 44451 850 434 0 43690 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 201304

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 7894
/proc/meminfo: memFree=30956976/32770624 swapFree=6216/755520
[pid=7735] ppid=7732 vsize=201304 CPUtime=1781.72 cores=0,2,4,6
/proc/7735/stat : 7735 (cosoco) R 7732 7735 5183 0 -1 4202496 200405 0 0 0 178157 15 0 0 20 0 1 0 18131637 206135296 44451 33554432000 4194304 5970956 140725613102448 140725613100008 4930560 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 16166912 140725613106369 140725613106499 140725613106499 140725613109198 0
/proc/7735/statm: 50326 44451 850 434 0 43690 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 201304

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7895
/proc/meminfo: memFree=30957408/32770624 swapFree=6216/755552
[pid=7735] ppid=7732 vsize=201440 CPUtime=1841.71 cores=0,2,4,6
/proc/7735/stat : 7735 (cosoco) R 7732 7735 5183 0 -1 4202496 200832 0 0 0 184155 16 0 0 20 0 1 0 18131637 206274560 44454 33554432000 4194304 5970956 140725613102448 140725613099272 5337509 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 16166912 140725613106369 140725613106499 140725613106499 140725613109198 0
/proc/7735/statm: 50360 44454 850 434 0 43724 0
Current children cumulated CPU time (s) 1841.71
Current children cumulated vsize (KiB) 201440

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7896
/proc/meminfo: memFree=30957536/32770624 swapFree=6216/755580
[pid=7735] ppid=7732 vsize=201440 CPUtime=1901.69 cores=0,2,4,6
/proc/7735/stat : 7735 (cosoco) R 7732 7735 5183 0 -1 4202496 201145 0 0 0 190153 16 0 0 20 0 1 0 18131637 206274560 44454 33554432000 4194304 5970956 140725613102448 140725613099272 5038495 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 16166912 140725613106369 140725613106499 140725613106499 140725613109198 0
/proc/7735/statm: 50360 44454 850 434 0 43724 0
Current children cumulated CPU time (s) 1901.69
Current children cumulated vsize (KiB) 201440

[startup+1962.3 s]
/proc/loadavg: 2.11 2.04 2.05 3/187 7897
/proc/meminfo: memFree=30957788/32770624 swapFree=6216/755612
[pid=7735] ppid=7732 vsize=201440 CPUtime=1961.68 cores=0,2,4,6
/proc/7735/stat : 7735 (cosoco) R 7732 7735 5183 0 -1 4202496 201386 0 0 0 196152 16 0 0 20 0 1 0 18131637 206274560 44454 33554432000 4194304 5970956 140725613102448 140725613099272 5040409 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 16166912 140725613106369 140725613106499 140725613106499 140725613109198 0
/proc/7735/statm: 50360 44454 850 434 0 43724 0
Current children cumulated CPU time (s) 1961.68
Current children cumulated vsize (KiB) 201440

[startup+2022.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/187 7898
/proc/meminfo: memFree=30957980/32770624 swapFree=6216/755640
[pid=7735] ppid=7732 vsize=201440 CPUtime=2021.66 cores=0,2,4,6
/proc/7735/stat : 7735 (cosoco) R 7732 7735 5183 0 -1 4202496 201857 0 0 0 202150 16 0 0 20 0 1 0 18131637 206274560 44454 33554432000 4194304 5970956 140725613102448 140725613099272 5098928 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 16166912 140725613106369 140725613106499 140725613106499 140725613109198 0
/proc/7735/statm: 50360 44454 850 434 0 43724 0
Current children cumulated CPU time (s) 2021.66
Current children cumulated vsize (KiB) 201440

[startup+2082.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/187 7900
/proc/meminfo: memFree=30957984/32770624 swapFree=6216/755684
[pid=7735] ppid=7732 vsize=201440 CPUtime=2081.65 cores=0,2,4,6
/proc/7735/stat : 7735 (cosoco) R 7732 7735 5183 0 -1 4202496 202076 0 0 0 208149 16 0 0 20 0 1 0 18131637 206274560 44461 33554432000 4194304 5970956 140725613102448 140725613099272 5328092 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 16166912 140725613106369 140725613106499 140725613106499 140725613109198 0
/proc/7735/statm: 50360 44461 850 434 0 43724 0
Current children cumulated CPU time (s) 2081.65
Current children cumulated vsize (KiB) 201440

[startup+2142.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/187 7901
/proc/meminfo: memFree=30957988/32770624 swapFree=6216/755716
[pid=7735] ppid=7732 vsize=201440 CPUtime=2141.62 cores=0,2,4,6
/proc/7735/stat : 7735 (cosoco) R 7732 7735 5183 0 -1 4202496 202280 0 0 0 214146 16 0 0 20 0 1 0 18131637 206274560 44461 33554432000 4194304 5970956 140725613102448 140725613099272 4930611 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 16166912 140725613106369 140725613106499 140725613106499 140725613109198 0
/proc/7735/statm: 50360 44461 850 434 0 43724 0
Current children cumulated CPU time (s) 2141.62
Current children cumulated vsize (KiB) 201440

[startup+2202.31 s]
/proc/loadavg: 2.02 2.04 2.05 3/187 7902
/proc/meminfo: memFree=30957984/32770624 swapFree=6216/755744
[pid=7735] ppid=7732 vsize=201440 CPUtime=2201.61 cores=0,2,4,6
/proc/7735/stat : 7735 (cosoco) R 7732 7735 5183 0 -1 4202496 202683 0 0 0 220145 16 0 0 20 0 1 0 18131637 206274560 44461 33554432000 4194304 5970956 140725613102448 140725613099272 5098928 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 16166912 140725613106369 140725613106499 140725613106499 140725613109198 0
/proc/7735/statm: 50360 44461 850 434 0 43724 0
Current children cumulated CPU time (s) 2201.61
Current children cumulated vsize (KiB) 201440

[startup+2262.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 7904
/proc/meminfo: memFree=30957864/32770624 swapFree=6216/755780
[pid=7735] ppid=7732 vsize=201720 CPUtime=2261.59 cores=0,2,4,6
/proc/7735/stat : 7735 (cosoco) R 7732 7735 5183 0 -1 4202496 203027 0 0 0 226143 16 0 0 20 0 1 0 18131637 206561280 44502 33554432000 4194304 5970956 140725613102448 140725613099240 5039193 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 16166912 140725613106369 140725613106499 140725613106499 140725613109198 0
/proc/7735/statm: 50430 44502 850 434 0 43794 0
Current children cumulated CPU time (s) 2261.59
Current children cumulated vsize (KiB) 201720

[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 7905
/proc/meminfo: memFree=30957244/32770624 swapFree=6216/755812
[pid=7735] ppid=7732 vsize=201720 CPUtime=2321.57 cores=0,2,4,6
/proc/7735/stat : 7735 (cosoco) R 7732 7735 5183 0 -1 4202496 203353 0 0 0 232141 16 0 0 20 0 1 0 18131637 206561280 44532 33554432000 4194304 5970956 140725613102448 140725613099240 4930568 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 16166912 140725613106369 140725613106499 140725613106499 140725613109198 0
/proc/7735/statm: 50430 44532 850 434 0 43794 0
Current children cumulated CPU time (s) 2321.57
Current children cumulated vsize (KiB) 201720

[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 7913
/proc/meminfo: memFree=30954288/32770624 swapFree=6216/755860
[pid=7735] ppid=7732 vsize=203652 CPUtime=2381.55 cores=0,2,4,6
/proc/7735/stat : 7735 (cosoco) R 7732 7735 5183 0 -1 4202496 204278 0 0 0 238139 16 0 0 20 0 1 0 18131637 208539648 44968 33554432000 4194304 5970956 140725613102448 140725613099176 4934318 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 16166912 140725613106369 140725613106499 140725613106499 140725613109198 0
/proc/7735/statm: 50913 44968 850 434 0 44277 0
Current children cumulated CPU time (s) 2381.55
Current children cumulated vsize (KiB) 203652



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.8 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 7913
/proc/meminfo: memFree=30954424/32770624 swapFree=6216/755864
[pid=7735] ppid=7732 vsize=203652 CPUtime=2400.04 cores=0,2,4,6
/proc/7735/stat : 7735 (cosoco) R 7732 7735 5183 0 -1 4202496 204565 0 0 0 239988 16 0 0 20 0 1 0 18131637 208539648 44968 33554432000 4194304 5970956 140725613102448 140725613099176 4934354 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 16166912 140725613106369 140725613106499 140725613106499 140725613109198 0
/proc/7735/statm: 50913 44968 850 434 0 44277 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 203652

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 7735 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 2400.8
CPU time (s): 2400.05
CPU user time (s): 2399.89
CPU system time (s): 0.164952
CPU usage (%): 99.9688
Max. virtual memory (cumulated for all children) (KiB): 203652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.89
system time used= 0.164952
maximum resident set size= 179916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 204598
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= 80
involuntary context switches= 122612

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.87171 second user time and 9.09443 second system time

The end

Begin job on node103 at 2017-07-21 12:50:39
IDJOB=4239980
IDBENCH=115914
IDSOLVER=2620
FILE ID=node103/4239980-1500634239
RUNJOBID= node103-1500623787-5214
PBS_JOBID= 20623024
Free space on /tmp= 62012 MiB

SOLVER NAME= cosoco 1.1
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-42.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4239980-1500634239/watcher-4239980-1500634239 -o /tmp/evaluation-result-4239980-1500634239/solver-4239980-1500634239 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1500623787-5214 --watchdog 2560  HOME/cosoco -lc -model -restarts HOME/instance-4239980-1500634239.xml

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

MD5SUM BENCH= f0ae775e0a261424aab5dff09c8fa0c4
RANDOM SEED=493861174

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30416228 kB
MemAvailable:   31220060 kB
Buffers:          162396 kB
Cached:           929516 kB
SwapCached:            0 kB
Active:          1160944 kB
Inactive:         771300 kB
Active(anon):     842952 kB
Inactive(anon):    17032 kB
Active(file):     317992 kB
Inactive(file):   754268 kB
Unevictable:        6216 kB
Mlocked:            6216 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2392 kB
Writeback:             0 kB
AnonPages:        849948 kB
Mapped:            34196 kB
Shmem:             17044 kB
Slab:             120076 kB
SReclaimable:      94812 kB
SUnreclaim:        25264 kB
KernelStack:        3504 kB
PageTables:         6516 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1116992 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    792576 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 62016 MiB
End job on node103 at 2017-07-21 13:30:40