0.35/0.41	c version: 2017-07-26
0.35/0.41	c seed: 1981657956
0.35/0.41	c timeout: 264
0.35/0.41	c memlimit: 11000
0.35/0.41	c nbcore: 4
0.35/0.43	c Parsing instance...
6.63/3.35	c Parsing done, starting search...
10.26/5.54	o 600
176.24/167.99	o 601
250.19/240.00	s SATISFIABLE
250.19/240.01	v <instantiation>
250.19/240.01	v 	<list>
250.19/240.01	v 		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[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] 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[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[1][50] x[1][51] 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[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[2][49] x[2][50] x[2][51] 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[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[3][49] x[3][50] x[3][51] 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[4][44] x[4][45] x[4][46] x[4][47] x[4][48] x[4][49] x[4][50] x[4][51] 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[5][44] x[5][45] x[5][46] x[5][47] x[5][48] x[5][49] x[5][50] x[5][51] 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[6][44] x[6][45] x[6][46] x[6][47] x[6][48] x[6][49] x[6][50] x[6][51] 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[7][44] x[7][45] x[7][46] x[7][47] x[7][48] x[7][49] x[7][50] x[7][51] 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[8][44] x[8][45] x[8][46] x[8][47] x[8][48] x[8][49] x[8][50] x[8][51] 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[9][44] x[9][45] x[9][46] x[9][47] x[9][48] x[9][49] x[9][50] x[9][51] 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[10][44] x[10][45] x[10][46] x[10][47] x[10][48] x[10][49] x[10][50] x[10][51] 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[11][44] x[11][45] x[11][46] x[11][47] x[11][48] x[11][49] x[11][50] x[11][51] 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[12][44] x[12][45] x[12][46] x[12][47] x[12][48] x[12][49] x[12][50] x[12][51] 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[13][44] x[13][45] x[13][46] x[13][47] x[13][48] x[13][49] x[13][50] x[13][51] 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[14][44] x[14][45] x[14][46] x[14][47] x[14][48] x[14][49] x[14][50] x[14][51] 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[15][44] x[15][45] x[15][46] x[15][47] x[15][48] x[15][49] x[15][50] x[15][51] 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[16][44] x[16][45] x[16][46] x[16][47] x[16][48] x[16][49] x[16][50] x[16][51] 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[17][44] x[17][45] x[17][46] x[17][47] x[17][48] x[17][49] x[17][50] x[17][51] 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[18][44] x[18][45] x[18][46] x[18][47] x[18][48] x[18][49] x[18][50] x[18][51] 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[19][44] x[19][45] x[19][46] x[19][47] x[19][48] x[19][49] x[19][50] x[19][51] 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[20][44] x[20][45] x[20][46] x[20][47] x[20][48] x[20][49] x[20][50] x[20][51] 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[21][44] x[21][45] x[21][46] x[21][47] x[21][48] x[21][49] x[21][50] x[21][51] 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[22][44] x[22][45] x[22][46] x[22][47] x[22][48] x[22][49] x[22][50] x[22][51] 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[23][44] x[23][45] x[23][46] x[23][47] x[23][48] x[23][49] x[23][50] x[23][51] 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[24][44] x[24][45] x[24][46] x[24][47] x[24][48] x[24][49] x[24][50] x[24][51] 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[25][44] x[25][45] x[25][46] x[25][47] x[25][48] x[25][49] x[25][50] x[25][51] 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[26][44] x[26][45] x[26][46] x[26][47] x[26][48] x[26][49] x[26][50] x[26][51] 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[27][44] x[27][45] x[27][46] x[27][47] x[27][48] x[27][49] x[27][50] x[27][51] 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[28][44] x[28][45] x[28][46] x[28][47] x[28][48] x[28][49] x[28][50] x[28][51] 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[29][44] x[29][45] x[29][46] x[29][47] x[29][48] x[29][49] x[29][50] x[29][51] 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[30][44] x[30][45] x[30][46] x[30][47] x[30][48] x[30][49] x[30][50] x[30][51] 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[31][44] x[31][45] x[31][46] x[31][47] x[31][48] x[31][49] x[31][50] x[31][51] 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[32][44] x[32][45] x[32][46] x[32][47] x[32][48] x[32][49] x[32][50] x[32][51] 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[33][44] x[33][45] x[33][46] x[33][47] x[33][48] x[33][49] x[33][50] x[33][51] 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[34][44] x[34][45] x[34][46] x[34][47] x[34][48] x[34][49] x[34][50] x[34][51] 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[35][44] x[35][45] x[35][46] x[35][47] x[35][48] x[35][49] x[35][50] x[35][51] 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[36][44] x[36][45] x[36][46] x[36][47] x[36][48] x[36][49] x[36][50] x[36][51] 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[37][44] x[37][45] x[37][46] x[37][47] x[37][48] x[37][49] x[37][50] x[37][51] 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[38][44] x[38][45] x[38][46] x[38][47] x[38][48] x[38][49] x[38][50] x[38][51] 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[39][44] x[39][45] x[39][46] x[39][47] x[39][48] x[39][49] x[39][50] x[39][51] 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[40][44] x[40][45] x[40][46] x[40][47] x[40][48] x[40][49] x[40][50] x[40][51] 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[41][44] x[41][45] x[41][46] x[41][47] x[41][48] x[41][49] x[41][50] x[41][51] 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[42][44] x[42][45] x[42][46] x[42][47] x[42][48] x[42][49] x[42][50] x[42][51] 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] x[43][44] x[43][45] x[43][46] x[43][47] x[43][48] x[43][49] x[43][50] x[43][51] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] x[44][45] x[44][46] x[44][47] x[44][48] x[44][49] x[44][50] x[44][51] x[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] x[45][35] x[45][36] x[45][37] x[45][38] x[45][39] x[45][40] x[45][41] x[45][42] x[45][43] x[45][44] x[45][45] x[45][46] x[45][47] x[45][48] x[45][49] x[45][50] x[45][51] x[46][0] x[46][1] x[46][2] x[46][3] x[46][4] x[46][5] x[46][6] x[46][7] x[46][8] x[46][9] x[46][10] x[46][11] x[46][12] x[46][13] x[46][14] x[46][15] x[46][16] x[46][17] x[46][18] x[46][19] x[46][20] x[46][21] x[46][22] x[46][23] x[46][24] x[46][25] x[46][26] x[46][27] x[46][28] x[46][29] x[46][30] x[46][31] x[46][32] x[46][33] x[46][34] x[46][35] x[46][36] x[46][37] x[46][38] x[46][39] x[46][40] x[46][41] x[46][42] x[46][43] x[46][44] x[46][45] x[46][46] x[46][47] x[46][48] x[46][49] x[46][50] x[46][51] x[47][0] x[47][1] x[47][2] x[47][3] x[47][4] x[47][5] x[47][6] x[47][7] x[47][8] x[47][9] x[47][10] x[47][11] x[47][12] x[47][13] x[47][14] x[47][15] x[47][16] x[47][17] x[47][18] x[47][19] x[47][20] x[47][21] x[47][22] x[47][23] x[47][24] x[47][25] x[47][26] x[47][27] x[47][28] x[47][29] x[47][30] x[47][31] x[47][32] x[47][33] x[47][34] x[47][35] x[47][36] x[47][37] x[47][38] x[47][39] x[47][40] x[47][41] x[47][42] x[47][43] x[47][44] x[47][45] x[47][46] x[47][47] x[47][48] x[47][49] x[47][50] x[47][51] x[48][0] x[48][1] x[48][2] x[48][3] x[48][4] x[48][5] x[48][6] x[48][7] x[48][8] x[48][9] x[48][10] x[48][11] x[48][12] x[48][13] x[48][14] x[48][15] x[48][16] x[48][17] x[48][18] x[48][19] x[48][20] x[48][21] x[48][22] x[48][23] x[48][24] x[48][25] x[48][26] x[48][27] x[48][28] x[48][29] x[48][30] x[48][31] x[48][32] x[48][33] x[48][34] x[48][35] x[48][36] x[48][37] x[48][38] x[48][39] x[48][40] x[48][41] x[48][42] x[48][43] x[48][44] x[48][45] x[48][46] x[48][47] x[48][48] x[48][49] x[48][50] x[48][51] x[49][0] x[49][1] x[49][2] x[49][3] x[49][4] x[49][5] x[49][6] x[49][7] x[49][8] x[49][9] x[49][10] x[49][11] x[49][12] x[49][13] x[49][14] x[49][15] x[49][16] x[49][17] x[49][18] x[49][19] x[49][20] x[49][21] x[49][22] x[49][23] x[49][24] x[49][25] x[49][26] x[49][27] x[49][28] x[49][29] x[49][30] x[49][31] x[49][32] x[49][33] x[49][34] x[49][35] x[49][36] x[49][37] x[49][38] x[49][39] x[49][40] x[49][41] x[49][42] x[49][43] x[49][44] x[49][45] x[49][46] x[49][47] x[49][48] x[49][49] x[49][50] x[49][51] x[50][0] x[50][1] x[50][2] x[50][3] x[50][4] x[50][5] x[50][6] x[50][7] x[50][8] x[50][9] x[50][10] x[50][11] x[50][12] x[50][13] x[50][14] x[50][15] x[50][16] x[50][17] x[50][18] x[50][19] x[50][20] x[50][21] x[50][22] x[50][23] x[50][24] x[50][25] x[50][26] x[50][27] x[50][28] x[50][29] x[50][30] x[50][31] x[50][32] x[50][33] x[50][34] x[50][35] x[50][36] x[50][37] x[50][38] x[50][39] x[50][40] x[50][41] x[50][42] x[50][43] x[50][44] x[50][45] x[50][46] x[50][47] x[50][48] x[50][49] x[50][50] x[50][51] x[51][0] x[51][1] x[51][2] x[51][3] x[51][4] x[51][5] x[51][6] x[51][7] x[51][8] x[51][9] x[51][10] x[51][11] x[51][12] x[51][13] x[51][14] x[51][15] x[51][16] x[51][17] x[51][18] x[51][19] x[51][20] x[51][21] x[51][22] x[51][23] x[51][24] x[51][25] x[51][26] x[51][27] x[51][28] x[51][29] x[51][30] x[51][31] x[51][32] x[51][33] x[51][34] x[51][35] x[51][36] x[51][37] x[51][38] x[51][39] x[51][40] x[51][41] x[51][42] x[51][43] x[51][44] x[51][45] x[51][46] x[51][47] x[51][48] x[51][49] x[51][50] x[51][51] 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[0][44] w[0][45] w[0][46] w[0][47] w[0][48] w[0][49] w[0][50] w[0][51] 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[1][44] w[1][45] w[1][46] w[1][47] w[1][48] w[1][49] w[1][50] w[1][51] 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[2][44] w[2][45] w[2][46] w[2][47] w[2][48] w[2][49] w[2][50] w[2][51] 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[3][44] w[3][45] w[3][46] w[3][47] w[3][48] w[3][49] w[3][50] w[3][51] 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[4][44] w[4][45] w[4][46] w[4][47] w[4][48] w[4][49] w[4][50] w[4][51] 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[5][44] w[5][45] w[5][46] w[5][47] w[5][48] w[5][49] w[5][50] w[5][51] 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[6][44] w[6][45] w[6][46] w[6][47] w[6][48] w[6][49] w[6][50] w[6][51] 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[7][44] w[7][45] w[7][46] w[7][47] w[7][48] w[7][49] w[7][50] w[7][51] 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[8][44] w[8][45] w[8][46] w[8][47] w[8][48] w[8][49] w[8][50] w[8][51] 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[9][44] w[9][45] w[9][46] w[9][47] w[9][48] w[9][49] w[9][50] w[9][51] 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[10][44] w[10][45] w[10][46] w[10][47] w[10][48] w[10][49] w[10][50] w[10][51] 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[11][44] w[11][45] w[11][46] w[11][47] w[11][48] w[11][49] w[11][50] w[11][51] 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[12][44] w[12][45] w[12][46] w[12][47] w[12][48] w[12][49] w[12][50] w[12][51] 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[13][44] w[13][45] w[13][46] w[13][47] w[13][48] w[13][49] w[13][50] w[13][51] 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[14][44] w[14][45] w[14][46] w[14][47] w[14][48] w[14][49] w[14][50] w[14][51] 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[15][44] w[15][45] w[15][46] w[15][47] w[15][48] w[15][49] w[15][50] w[15][51] 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[16][44] w[16][45] w[16][46] w[16][47] w[16][48] w[16][49] w[16][50] w[16][51] 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[17][44] w[17][45] w[17][46] w[17][47] w[17][48] w[17][49] w[17][50] w[17][51] 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[18][44] w[18][45] w[18][46] w[18][47] w[18][48] w[18][49] w[18][50] w[18][51] 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[19][44] w[19][45] w[19][46] w[19][47] w[19][48] w[19][49] w[19][50] w[19][51] 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[20][44] w[20][45] w[20][46] w[20][47] w[20][48] w[20][49] w[20][50] w[20][51] 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[21][44] w[21][45] w[21][46] w[21][47] w[21][48] w[21][49] w[21][50] w[21][51] 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[22][44] w[22][45] w[22][46] w[22][47] w[22][48] w[22][49] w[22][50] w[22][51] 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[23][44] w[23][45] w[23][46] w[23][47] w[23][48] w[23][49] w[23][50] w[23][51] 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[24][44] w[24][45] w[24][46] w[24][47] w[24][48] w[24][49] w[24][50] w[24][51] 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[25][44] w[25][45] w[25][46] w[25][47] w[25][48] w[25][49] w[25][50] w[25][51] 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[26][44] w[26][45] w[26][46] w[26][47] w[26][48] w[26][49] w[26][50] w[26][51] 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[27][44] w[27][45] w[27][46] w[27][47] w[27][48] w[27][49] w[27][50] w[27][51] 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[28][44] w[28][45] w[28][46] w[28][47] w[28][48] w[28][49] w[28][50] w[28][51] 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[29][44] w[29][45] w[29][46] w[29][47] w[29][48] w[29][49] w[29][50] w[29][51] 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[30][44] w[30][45] w[30][46] w[30][47] w[30][48] w[30][49] w[30][50] w[30][51] 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[31][44] w[31][45] w[31][46] w[31][47] w[31][48] w[31][49] w[31][50] w[31][51] 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[32][44] w[32][45] w[32][46] w[32][47] w[32][48] w[32][49] w[32][50] w[32][51] 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[33][44] w[33][45] w[33][46] w[33][47] w[33][48] w[33][49] w[33][50] w[33][51] 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[34][44] w[34][45] w[34][46] w[34][47] w[34][48] w[34][49] w[34][50] w[34][51] 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[35][44] w[35][45] w[35][46] w[35][47] w[35][48] w[35][49] w[35][50] w[35][51] 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[36][44] w[36][45] w[36][46] w[36][47] w[36][48] w[36][49] w[36][50] w[36][51] 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[37][44] w[37][45] w[37][46] w[37][47] w[37][48] w[37][49] w[37][50] w[37][51] 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[38][44] w[38][45] w[38][46] w[38][47] w[38][48] w[38][49] w[38][50] w[38][51] 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[39][44] w[39][45] w[39][46] w[39][47] w[39][48] w[39][49] w[39][50] w[39][51] 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[40][44] w[40][45] w[40][46] w[40][47] w[40][48] w[40][49] w[40][50] w[40][51] 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[41][44] w[41][45] w[41][46] w[41][47] w[41][48] w[41][49] w[41][50] w[41][51] 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[42][44] w[42][45] w[42][46] w[42][47] w[42][48] w[42][49] w[42][50] w[42][51] 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] w[43][44] w[43][45] w[43][46] w[43][47] w[43][48] w[43][49] w[43][50] w[43][51] w[44][0] w[44][1] w[44][2] w[44][3] w[44][4] w[44][5] w[44][6] w[44][7] w[44][8] w[44][9] w[44][10] w[44][11] w[44][12] w[44][13] w[44][14] w[44][15] w[44][16] w[44][17] w[44][18] w[44][19] w[44][20] w[44][21] w[44][22] w[44][23] w[44][24] w[44][25] w[44][26] w[44][27] w[44][28] w[44][29] w[44][30] w[44][31] w[44][32] w[44][33] w[44][34] w[44][35] w[44][36] w[44][37] w[44][38] w[44][39] w[44][40] w[44][41] w[44][42] w[44][43] w[44][44] w[44][45] w[44][46] w[44][47] w[44][48] w[44][49] w[44][50] w[44][51] w[45][0] w[45][1] w[45][2] w[45][3] w[45][4] w[45][5] w[45][6] w[45][7] w[45][8] w[45][9] w[45][10] w[45][11] w[45][12] w[45][13] w[45][14] w[45][15] w[45][16] w[45][17] w[45][18] w[45][19] w[45][20] w[45][21] w[45][22] w[45][23] w[45][24] w[45][25] w[45][26] w[45][27] w[45][28] w[45][29] w[45][30] w[45][31] w[45][32] w[45][33] w[45][34] w[45][35] w[45][36] w[45][37] w[45][38] w[45][39] w[45][40] w[45][41] w[45][42] w[45][43] w[45][44] w[45][45] w[45][46] w[45][47] w[45][48] w[45][49] w[45][50] w[45][51] w[46][0] w[46][1] w[46][2] w[46][3] w[46][4] w[46][5] w[46][6] w[46][7] w[46][8] w[46][9] w[46][10] w[46][11] w[46][12] w[46][13] w[46][14] w[46][15] w[46][16] w[46][17] w[46][18] w[46][19] w[46][20] w[46][21] w[46][22] w[46][23] w[46][24] w[46][25] w[46][26] w[46][27] w[46][28] w[46][29] w[46][30] w[46][31] w[46][32] w[46][33] w[46][34] w[46][35] w[46][36] w[46][37] w[46][38] w[46][39] w[46][40] w[46][41] w[46][42] w[46][43] w[46][44] w[46][45] w[46][46] w[46][47] w[46][48] w[46][49] w[46][50] w[46][51] w[47][0] w[47][1] w[47][2] w[47][3] w[47][4] w[47][5] w[47][6] w[47][7] w[47][8] w[47][9] w[47][10] w[47][11] w[47][12] w[47][13] w[47][14] w[47][15] w[47][16] w[47][17] w[47][18] w[47][19] w[47][20] w[47][21] w[47][22] w[47][23] w[47][24] w[47][25] w[47][26] w[47][27] w[47][28] w[47][29] w[47][30] w[47][31] w[47][32] w[47][33] w[47][34] w[47][35] w[47][36] w[47][37] w[47][38] w[47][39] w[47][40] w[47][41] w[47][42] w[47][43] w[47][44] w[47][45] w[47][46] w[47][47] w[47][48] w[47][49] w[47][50] w[47][51] w[48][0] w[48][1] w[48][2] w[48][3] w[48][4] w[48][5] w[48][6] w[48][7] w[48][8] w[48][9] w[48][10] w[48][11] w[48][12] w[48][13] w[48][14] w[48][15] w[48][16] w[48][17] w[48][18] w[48][19] w[48][20] w[48][21] w[48][22] w[48][23] w[48][24] w[48][25] w[48][26] w[48][27] w[48][28] w[48][29] w[48][30] w[48][31] w[48][32] w[48][33] w[48][34] w[48][35] w[48][36] w[48][37] w[48][38] w[48][39] w[48][40] w[48][41] w[48][42] w[48][43] w[48][44] w[48][45] w[48][46] w[48][47] w[48][48] w[48][49] w[48][50] w[48][51] w[49][0] w[49][1] w[49][2] w[49][3] w[49][4] w[49][5] w[49][6] w[49][7] w[49][8] w[49][9] w[49][10] w[49][11] w[49][12] w[49][13] w[49][14] w[49][15] w[49][16] w[49][17] w[49][18] w[49][19] w[49][20] w[49][21] w[49][22] w[49][23] w[49][24] w[49][25] w[49][26] w[49][27] w[49][28] w[49][29] w[49][30] w[49][31] w[49][32] w[49][33] w[49][34] w[49][35] w[49][36] w[49][37] w[49][38] w[49][39] w[49][40] w[49][41] w[49][42] w[49][43] w[49][44] w[49][45] w[49][46] w[49][47] w[49][48] w[49][49] w[49][50] w[49][51] w[50][0] w[50][1] w[50][2] w[50][3] w[50][4] w[50][5] w[50][6] w[50][7] w[50][8] w[50][9] w[50][10] w[50][11] w[50][12] w[50][13] w[50][14] w[50][15] w[50][16] w[50][17] w[50][18] w[50][19] w[50][20] w[50][21] w[50][22] w[50][23] w[50][24] w[50][25] w[50][26] w[50][27] w[50][28] w[50][29] w[50][30] w[50][31] w[50][32] w[50][33] w[50][34] w[50][35] w[50][36] w[50][37] w[50][38] w[50][39] w[50][40] w[50][41] w[50][42] w[50][43] w[50][44] w[50][45] w[50][46] w[50][47] w[50][48] w[50][49] w[50][50] w[50][51] w[51][0] w[51][1] w[51][2] w[51][3] w[51][4] w[51][5] w[51][6] w[51][7] w[51][8] w[51][9] w[51][10] w[51][11] w[51][12] w[51][13] w[51][14] w[51][15] w[51][16] w[51][17] w[51][18] w[51][19] w[51][20] w[51][21] w[51][22] w[51][23] w[51][24] w[51][25] w[51][26] w[51][27] w[51][28] w[51][29] w[51][30] w[51][31] w[51][32] w[51][33] w[51][34] w[51][35] w[51][36] w[51][37] w[51][38] w[51][39] w[51][40] w[51][41] w[51][42] w[51][43] w[51][44] w[51][45] w[51][46] w[51][47] w[51][48] w[51][49] w[51][50] w[51][51] 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] ws[44] ws[45] ws[46] ws[47] ws[48] ws[49] ws[50] ws[51] z
250.19/240.01	v 	</list>
250.19/240.01	v 	<values>
250.19/240.01	v 		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 1 1 0 0 0 0 0 0 0 0 1 1 0 1 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 1 0 0 1 0 0 0 0 0 0 0 1 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 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 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 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 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 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 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 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 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 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 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 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 1 1 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 1 0 1 0 0 0 1 1 0 0 1 1 0 1 1 0 1 1 0 0 1 0 1 0 0 1 1 0 1 1 0 0 1 0 1 1 0 1 1 0 1 0 0 1 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 0 0 1 0 0 1 1 0 1 0 1 0 1 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 1 1 1 0 1 1 1 0 0 1 0 0 1 0 0 1 1 1 1 1 1 0 0 0 0 1 0 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 1 1 0 0 0 0 0 0 0 1 1 1 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 1 0 1 0 1 0 1 1 1 0 0 1 0 0 0 1 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 1 0 1 1 0 1 0 0 1 0 1 1 1 1 1 0 0 0 0 1 0 1 1 0 1 0 0 0 1 1 1 1 1 0 1 0 0 1 0 1 0 0 1 1 0 1 0 0 1 0 0 1 0 0 0 1 0 1 1 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 0 1 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 1 1 1 1 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 1 1 1 1 0 1 0 1 1 1 1 1 0 0 1 1 1 0 0 0 1 0 1 0 0 0 1 1 0 1 1 0 0 0 0 1 1 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 0 1 0 1 1 0 0 0 0 1 1 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 1 1 1 1 1 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 1 0 0 1 1 1 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 0 0 0 1 1 1 1 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 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 1 1 1 1 1 1 0 0 1 1 0 1 1 1 0 1 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 1 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 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 1 0 1 0 1 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 1 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 1 1 1 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 1 0 0 1 1 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 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 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 1 0 1 1 1 1 1 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 1 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 1 1 0 0 0 1 1 0 0 0 1 1 1 0 1 0 0 0 0 1 1 0 0 1 0 1 1 0 0 1 0 0 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 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 0 0 0 1 0 1 0 1 1 1 1 0 1 1 0 1 1 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 1 0 1 1 0 1 1 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 1 0 1 1 0 0 1 1 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 0 0 2 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 0 0 1 0 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 2 2 2 2 2 2 2 2 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 2 2 2 2 2 2 2 2 2 2 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 2 2 2 2 2 2 2 2 2 2 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 2 2 2 2 2 2 2 2 2 2 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 2 2 2 2 2 2 2 2 2 2 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 2 2 2 2 2 2 2 2 2 2 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 2 2 2 2 2 2 2 2 2 2 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 2 2 2 2 2 2 2 2 2 2 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 2 2 2 2 2 2 2 2 2 2 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 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 2 2 1 1 2 2 2 2 2 2 1 0 1 2 1 1 2 1 1 0 2 2 1 2 2 1 1 2 2 2 2 2 2 2 1 2 2 0 0 2 2 0 2 2 2 2 2 2 2 2 1 1 0 1 0 2 2 2 2 2 2 2 2 0 0 2 2 1 1 2 2 2 2 2 2 1 2 2 2 2 2 2 2 1 2 2 2 2 0 0 2 0 0 2 2 2 2 2 2 2 2 2 1 1 2 1 2 2 2 2 2 2 2 1 0 1 1 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 1 2 0 0 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 1 2 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 1 0 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 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 1 1 2 2 2 2 2 2 2 1 1 1 1 1 1 2 1 1 2 1 1 2 2 1 2 1 2 2 1 1 2 1 1 2 2 1 2 1 1 2 2 1 2 1 2 2 1 1 2 1 1 1 1 0 0 1 0 1 0 2 0 0 0 0 0 1 0 0 0 0 0 0 1 2 0 2 0 1 1 1 0 2 0 2 0 2 2 1 0 0 0 0 2 0 0 1 1 1 1 0 0 0 1 1 2 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 2 2 2 0 0 1 1 0 0 2 0 0 1 1 0 0 0 0 0 2 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 1 0 0 1 2 2 1 0 0 1 0 1 1 0 0 0 2 0 1 1 0 0 1 0 0 2 1 0 0 0 0 1 0 2 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 2 2 0 0 0 1 0 1 2 1 1 0 0 0 1 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 2 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 2 0 0 0 0 1 0 2 2 1 2 2 1 0 0 0 1 2 1 1 1 0 1 0 0 1 0 1 0 0 1 0 1 0 1 0 0 0 1 0 1 0 0 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 2 0 2 1 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 0 1 2 0 0 0 0 0 0 0 0 1 0 0 2 0 0 2 0 1 2 2 2 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 2 0 0 0 0 0 2 0 1 0 0 1 0 1 0 1 1 1 1 0 1 0 0 1 1 1 1 0 1 0 0 0 2 0 2 2 0 2 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 1 1 1 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 1 2 0 2 0 0 0 0 2 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 1 1 2 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 2 0 0 0 0 1 1 0 2 0 0 0 0 0 0 0 0 0 0 1 2 1 0 1 1 1 2 1 1 0 0 0 0 0 1 0 0 0 1 1 1 1 0 1 0 0 1 1 0 0 2 1 1 1 1 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 1 0 1 1 0 0 0 0 0 0 1 1 2 2 0 2 0 1 0 0 2 2 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 2 2 2 0 2 0 1 2 2 2 2 0 1 0 0 0 0 0 0 1 0 0 1 2 2 1 0 0 0 1 0 2 2 0 0 0 0 0 0 1 0 0 0 2 0 0 0 1 1 0 0 2 0 2 2 2 0 1 0 2 1 1 2 2 0 0 1 1 1 1 0 1 1 0 0 2 2 2 0 0 0 0 2 2 2 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 2 2 1 2 1 2 1 2 1 0 1 1 2 0 1 2 2 1 0 1 1 2 0 2 0 2 1 0 0 0 1 0 2 1 0 0 0 1 0 0 1 1 0 0 2 2 0 0 0 0 0 0 0 0 1 1 0 1 2 2 1 2 0 2 1 0 0 2 1 1 0 1 2 2 2 0 2 0 2 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 1 1 0 2 0 2 2 0 0 1 2 2 2 0 0 1 2 0 0 1 1 0 1 1 2 2 2 2 2 2 0 0 0 1 0 2 0 1 0 0 1 0 1 0 2 0 0 0 1 1 0 1 1 0 1 0 2 2 2 0 0 1 1 2 1 1 0 1 1 2 0 1 2 1 1 2 2 2 2 2 2 0 2 0 0 0 0 2 0 0 0 0 0 1 1 2 0 1 1 0 2 2 0 0 2 2 1 2 2 2 1 0 0 0 1 2 2 1 1 2 2 1 1 2 2 2 2 2 2 2 2 0 1 2 0 0 0 0 1 0 0 0 0 1 0 1 1 2 2 1 1 2 2 1 0 0 1 2 2 2 1 1 2 1 1 0 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 0 2 0 0 1 0 0 0 0 1 1 0 1 0 1 0 1 2 2 2 2 1 0 0 1 2 2 1 0 2 0 2 2 1 2 2 2 1 2 0 0 1 2 2 2 2 2 2 2 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 2 2 2 2 0 0 1 1 2 1 0 2 0 2 1 0 1 0 1 1 2 0 0 1 2 2 2 2 2 2 0 1 0 2 0 2 2 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 2 2 0 1 0 0 1 0 2 0 0 0 1 2 1 0 0 2 2 2 1 1 2 2 1 1 2 2 1 1 0 0 0 2 2 2 2 0 0 1 1 1 0 0 0 1 0 0 1 0 0 0 2 1 1 0 0 0 0 1 1 2 1 1 2 2 2 1 1 0 1 1 2 2 2 0 1 1 0 2 2 0 1 1 0 2 2 2 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 2 1 1 2 2 1 1 2 2 0 0 1 2 2 1 1 0 0 1 1 2 2 1 1 2 1 1 2 1 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 1 2 1 0 1 1 1 0 0 0 2 1 1 2 2 2 1 1 0 0 0 0 1 2 1 2 1 0 0 0 2 1 1 0 0 1 1 2 0 1 1 1 0 0 0 1 0 0 0 0 1 2 2 2 1 1 0 1 1 0 0 1 0 1 2 2 2 2 2 0 1 1 0 0 0 0 1 1 1 0 2 1 1 2 0 1 0 0 1 0 1 0 1 1 0 1 0 0 0 0 0 2 0 2 2 2 2 1 0 0 0 1 0 0 0 1 0 2 2 1 1 2 1 1 1 0 0 0 0 0 1 0 0 0 2 1 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 2 2 2 1 1 0 0 0 2 1 1 0 0 1 1 0 1 1 1 2 1 1 0 1 0 0 0 1 0 2 2 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 2 2 1 1 0 1 1 2 2 2 1 1 0 1 1 1 0 0 0 0 1 0 0 0 0 0 1 1 2 1 1 2 0 2 0 0 0 0 0 0 1 1 1 0 0 0 1 0 1 0 0 2 2 0 1 2 1 0 2 2 2 2 2 0 0 2 2 1 1 1 0 0 0 0 0 0 0 1 1 2 1 1 0 1 2 0 1 0 0 0 1 0 1 1 1 1 0 0 0 1 0 0 1 1 0 0 0 0 0 1 1 2 2 2 1 0 0 0 2 1 1 0 0 1 0 0 1 1 0 1 1 2 2 0 0 1 2 2 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 2 2 2 1 1 0 2 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 2 2 2 2 1 1 0 1 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 1 0 1 0 2 2 2 2 2 1 2 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 1 2 2 2 2 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 1 0 1 0 1 1 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 0 0 1 0 0 1 1 0 0 1 1 1 1 1 1 0 0 0 45 147 249 351 453 555 657 759 861 963 1065 1144 1225 1314 1408 1505 1567 1598 1621 1645 1664 1694 1716 1738 1766 1786 1807 1835 1859 1892 1933 1973 2011 2054 2099 2155 2221 2273 2318 2365 2409 2450 2489 2529 2562 2595 2627 2668 2705 2735 2768 2796 601 
250.19/240.01	v 	</values>
250.19/240.01	v </instantiation>

OK	601

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-4255844-1501625877/watcher-4255844-1501625877 -o /tmp/evaluation-result-4255844-1501625877/solver-4255844-1501625877 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501623099-17027 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed 1981657956 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4255844-1501625877.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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.75 1.51 1.56 5/196 18435
/proc/meminfo: memFree=31624644/32770624 swapFree=0/199336
[pid=18435] ppid=18432 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/18435/stat : 18435 (runsolver) D 18432 18435 5091 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 11210760 24240128 106 18446744073709551615 4194304 4338465 140733314279072 140733314276712 140295490339543 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 19931136 140733314281580 140733314282054 140733314282054 140733314285514 0
/proc/18435/statm: 5918 106 53 36 0 2156 0

[startup+0.100135 s]
/proc/loadavg: 1.75 1.51 1.56 5/196 18435
/proc/meminfo: memFree=31624644/32770624 swapFree=0/199336
[pid=18435] ppid=18432 vsize=107352 CPUtime=0 cores=1,3,5,7
/proc/18435/stat : 18435 (java) S 18432 18435 5091 0 -1 1077944320 1668 0 0 0 0 0 0 0 20 0 2 0 11210760 109928448 1358 18446744073709551615 4194304 4196468 140726083314144 140726083296688 140277310230263 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
/proc/18435/statm: 26838 1358 1022 1 0 16816 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 107352

[startup+0.200303 s]
/proc/loadavg: 1.75 1.51 1.56 5/196 18435
/proc/meminfo: memFree=31624644/32770624 swapFree=0/199336
[pid=18435] ppid=18432 vsize=13906484 CPUtime=0.05 cores=1,3,5,7
/proc/18435/stat : 18435 (java) S 18432 18435 5091 0 -1 1077944320 4922 0 0 0 4 1 0 0 20 0 14 0 11210760 14240239616 6010 18446744073709551615 4194304 4196468 140726083314144 140726083296688 140277310230263 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
/proc/18435/statm: 3476621 6010 2569 1 0 3466126 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13906484

[startup+0.300231 s]
/proc/loadavg: 1.75 1.51 1.56 5/196 18435
/proc/meminfo: memFree=31624644/32770624 swapFree=0/199336
[pid=18435] ppid=18432 vsize=13975920 CPUtime=0.19 cores=1,3,5,7
/proc/18435/stat : 18435 (java) S 18432 18435 5091 0 -1 1077944320 9853 0 0 0 16 3 0 0 20 0 15 0 11210760 14311342080 9733 18446744073709551615 4194304 4196468 140726083314144 140726083296688 140277310230263 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
/proc/18435/statm: 3493980 9733 3507 1 0 3482767 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13975920

[startup+0.700287 s]
/proc/loadavg: 1.75 1.51 1.56 5/196 18435
/proc/meminfo: memFree=31624644/32770624 swapFree=0/199336
[pid=18435] ppid=18432 vsize=13977988 CPUtime=1.03 cores=1,3,5,7
/proc/18435/stat : 18435 (java) S 18432 18435 5091 0 -1 1077944320 13900 0 0 0 98 5 0 0 20 0 15 0 11210760 14313459712 18231 18446744073709551615 4194304 4196468 140726083314144 140726083296688 140277310230263 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
/proc/18435/statm: 3494497 18231 3727 1 0 3483279 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 13977988

[startup+1.50361 s]
/proc/loadavg: 1.75 1.51 1.56 7/211 18450
/proc/meminfo: memFree=31384432/32770624 swapFree=0/199352
[pid=18435] ppid=18432 vsize=13982084 CPUtime=3.56 cores=1,3,5,7
/proc/18435/stat : 18435 (java) S 18432 18435 5091 0 -1 1077944320 21635 0 0 0 349 7 0 0 20 0 15 0 11210760 14317654016 45270 18446744073709551615 4194304 4196468 140726083314144 140726083296688 140277310230263 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
/proc/18435/statm: 3495521 45270 3754 1 0 3484303 0
[pid=18435/tid=18437] ppid=18432 vsize=13982084 CPUtime=1.33 cores=1,3,5,7
/proc/18435/task/18437/stat : 18437 (java) R 18432 18435 5091 0 -1 4202560 11904 0 0 0 128 5 0 0 20 0 15 0 11210770 14317654016 45270 18446744073709551615 4194304 4196468 140726083314144 140277314466848 140277310242198 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18438] ppid=18432 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18435/task/18438/stat : 18438 (java) S 18432 18435 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11210771 14317654016 45270 18446744073709551615 4194304 4196468 140726083314144 140277267196688 140277310240469 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18439] ppid=18432 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18435/task/18439/stat : 18439 (java) S 18432 18435 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11210771 14317654016 45270 18446744073709551615 4194304 4196468 140726083314144 140277266144144 140277310240469 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18440] ppid=18432 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18435/task/18440/stat : 18440 (java) S 18432 18435 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11210771 14317654016 45270 18446744073709551615 4194304 4196468 140726083314144 140277265091600 140277310240469 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18441] ppid=18432 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18435/task/18441/stat : 18441 (java) S 18432 18435 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11210771 14317654016 45270 18446744073709551615 4194304 4196468 140726083314144 140277264039056 140277310240469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18442] ppid=18432 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18435/task/18442/stat : 18442 (java) S 18432 18435 5091 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 11210772 14317654016 45270 18446744073709551615 4194304 4196468 140726083314144 140276855891952 140277310241410 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18443] ppid=18432 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18435/task/18443/stat : 18443 (java) S 18432 18435 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11210772 14317654016 45270 18446744073709551615 4194304 4196468 140726083314144 140276854838176 140277310240469 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18444] ppid=18432 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18435/task/18444/stat : 18444 (java) S 18432 18435 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11210773 14317654016 45270 18446744073709551615 4194304 4196468 140726083314144 140276291331056 140277310240469 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18445] ppid=18432 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18435/task/18445/stat : 18445 (java) S 18432 18435 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11210775 14317654016 45270 18446744073709551615 4194304 4196468 140726083314144 140276290279632 140277310248859 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18446] ppid=18432 vsize=13982084 CPUtime=0.73 cores=1,3,5,7
/proc/18435/task/18446/stat : 18446 (java) R 18432 18435 5091 0 -1 4202560 2499 0 0 0 73 0 0 0 20 0 15 0 11210775 14317654016 45270 18446744073709551615 4194304 4196468 140726083314144 140276289219200 140277290923527 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18447] ppid=18432 vsize=13982084 CPUtime=0.84 cores=1,3,5,7
/proc/18435/task/18447/stat : 18447 (java) R 18432 18435 5091 0 -1 4202560 3410 0 0 0 84 0 0 0 20 0 15 0 11210775 14317654016 45270 18446744073709551615 4194304 4196468 140726083314144 140276288173888 140277293727047 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18448] ppid=18432 vsize=13982084 CPUtime=0.62 cores=1,3,5,7
/proc/18435/task/18448/stat : 18448 (java) R 18432 18435 5091 0 -1 1077944384 2454 0 0 0 62 0 0 0 20 0 15 0 11210775 14317654016 45270 18446744073709551615 4194304 4196468 140726083314144 140276287122160 140277310241410 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18449] ppid=18432 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18435/task/18449/stat : 18449 (java) S 18432 18435 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11210775 14317654016 45270 18446744073709551615 4194304 4196468 140726083314144 140276286069856 140277310240469 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18450] ppid=18432 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18435/task/18450/stat : 18450 (java) S 18432 18435 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11210781 14317654016 45270 18446744073709551615 4194304 4196468 140726083314144 140276285016368 140277310241410 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
Current children cumulated CPU time (s) 3.56
Current children cumulated vsize (KiB) 13982084

[startup+3.10065 s]
/proc/loadavg: 1.75 1.51 1.56 5/211 18450
/proc/meminfo: memFree=30968244/32770624 swapFree=0/199352
[pid=18435] ppid=18432 vsize=13982084 CPUtime=6.43 cores=1,3,5,7
/proc/18435/stat : 18435 (java) S 18432 18435 5091 0 -1 1077944320 31897 0 0 0 611 32 0 0 20 0 15 0 11210760 14317654016 122889 18446744073709551615 4194304 4196468 140726083314144 140726083296688 140277310230263 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
/proc/18435/statm: 3495521 122889 3785 1 0 3484303 0
[pid=18435/tid=18437] ppid=18432 vsize=13982084 CPUtime=2.76 cores=1,3,5,7
/proc/18435/task/18437/stat : 18437 (java) R 18432 18435 5091 0 -1 4202560 14398 0 0 0 269 7 0 0 20 0 15 0 11210770 14317654016 122889 18446744073709551615 4194304 4196468 140726083314144 140277314463800 140276945767979 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18438] ppid=18432 vsize=13982084 CPUtime=0.13 cores=1,3,5,7
/proc/18435/task/18438/stat : 18438 (java) S 18432 18435 5091 0 -1 1077944384 326 0 0 0 8 5 0 0 20 0 15 0 11210771 14317654016 122889 18446744073709551615 4194304 4196468 140726083314144 140277267196688 140277310240469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18439] ppid=18432 vsize=13982084 CPUtime=0.13 cores=1,3,5,7
/proc/18435/task/18439/stat : 18439 (java) S 18432 18435 5091 0 -1 1077944384 419 0 0 0 8 5 0 0 20 0 15 0 11210771 14317654016 122889 18446744073709551615 4194304 4196468 140726083314144 140277266144144 140277310240469 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18440] ppid=18432 vsize=13982084 CPUtime=0.12 cores=1,3,5,7
/proc/18435/task/18440/stat : 18440 (java) S 18432 18435 5091 0 -1 1077944384 260 0 0 0 7 5 0 0 20 0 15 0 11210771 14317654016 122889 18446744073709551615 4194304 4196468 140726083314144 140277265091600 140277310240469 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18441] ppid=18432 vsize=13982084 CPUtime=0.13 cores=1,3,5,7
/proc/18435/task/18441/stat : 18441 (java) S 18432 18435 5091 0 -1 1077944384 1349 0 0 0 8 5 0 0 20 0 15 0 11210771 14317654016 122889 18446744073709551615 4194304 4196468 140726083314144 140277264039056 140277310240469 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18442] ppid=18432 vsize=13982084 CPUtime=0.01 cores=1,3,5,7
/proc/18435/task/18442/stat : 18442 (java) S 18432 18435 5091 0 -1 1077944384 455 0 0 0 1 0 0 0 20 0 15 0 11210772 14317654016 122889 18446744073709551615 4194304 4196468 140726083314144 140276855891952 140277310241410 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18443] ppid=18432 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18435/task/18443/stat : 18443 (java) S 18432 18435 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11210772 14317654016 122889 18446744073709551615 4194304 4196468 140726083314144 140276854838240 140277310240469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18444] ppid=18432 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18435/task/18444/stat : 18444 (java) S 18432 18435 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11210773 14317654016 122889 18446744073709551615 4194304 4196468 140726083314144 140276291331072 140277310240469 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18445] ppid=18432 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18435/task/18445/stat : 18445 (java) S 18432 18435 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11210775 14317654016 122889 18446744073709551615 4194304 4196468 140726083314144 140276290279632 140277310248859 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18446] ppid=18432 vsize=13982084 CPUtime=1.07 cores=1,3,5,7
/proc/18435/task/18446/stat : 18446 (java) S 18432 18435 5091 0 -1 1077944384 3814 0 0 0 107 0 0 0 20 0 15 0 11210775 14317654016 122889 18446744073709551615 4194304 4196468 140726083314144 140276289227248 140277310241410 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18447] ppid=18432 vsize=13982084 CPUtime=1.18 cores=1,3,5,7
/proc/18435/task/18447/stat : 18447 (java) S 18432 18435 5091 0 -1 1077944384 4299 0 0 0 118 0 0 0 20 0 15 0 11210775 14317654016 122889 18446744073709551615 4194304 4196468 140726083314144 140276288174704 140277310241410 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18448] ppid=18432 vsize=13982084 CPUtime=0.79 cores=1,3,5,7
/proc/18435/task/18448/stat : 18448 (java) S 18432 18435 5091 0 -1 1077944384 5209 0 0 0 78 1 0 0 20 0 15 0 11210775 14317654016 122889 18446744073709551615 4194304 4196468 140726083314144 140276287122160 140277310241410 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18449] ppid=18432 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18435/task/18449/stat : 18449 (java) S 18432 18435 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11210775 14317654016 122889 18446744073709551615 4194304 4196468 140726083314144 140276286069856 140277310240469 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18450] ppid=18432 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18435/task/18450/stat : 18450 (java) S 18432 18435 5091 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 11210781 14317654016 122889 18446744073709551615 4194304 4196468 140726083314144 140276285016368 140277310241410 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
Current children cumulated CPU time (s) 6.43
Current children cumulated vsize (KiB) 13982084

[startup+6.30065 s]
/proc/loadavg: 1.85 1.53 1.57 3/211 18450
/proc/meminfo: memFree=29942092/32770624 swapFree=0/199364
[pid=18435] ppid=18432 vsize=13982084 CPUtime=11.46 cores=1,3,5,7
/proc/18435/stat : 18435 (java) S 18432 18435 5091 0 -1 1077944320 35905 0 0 0 1095 51 0 0 20 0 15 0 11210760 14317654016 209322 18446744073709551615 4194304 4196468 140726083314144 140726083296688 140277310230263 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
/proc/18435/statm: 3495521 209322 3804 1 0 3484303 0
[pid=18435/tid=18437] ppid=18432 vsize=13982084 CPUtime=5.85 cores=1,3,5,7
/proc/18435/task/18437/stat : 18437 (java) R 18432 18435 5091 0 -1 4202560 16181 0 0 0 574 11 0 0 20 0 15 0 11210770 14317654016 209322 18446744073709551615 4194304 4196468 140726083314144 140277314464680 140276941071441 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18438] ppid=18432 vsize=13982084 CPUtime=0.23 cores=1,3,5,7
/proc/18435/task/18438/stat : 18438 (java) S 18432 18435 5091 0 -1 1077944384 413 0 0 0 15 8 0 0 20 0 15 0 11210771 14317654016 209322 18446744073709551615 4194304 4196468 140726083314144 140277267196688 140277310240469 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18439] ppid=18432 vsize=13982084 CPUtime=0.24 cores=1,3,5,7
/proc/18435/task/18439/stat : 18439 (java) S 18432 18435 5091 0 -1 1077944384 495 0 0 0 15 9 0 0 20 0 15 0 11210771 14317654016 209322 18446744073709551615 4194304 4196468 140726083314144 140277266144144 140277310240469 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18440] ppid=18432 vsize=13982084 CPUtime=0.22 cores=1,3,5,7
/proc/18435/task/18440/stat : 18440 (java) S 18432 18435 5091 0 -1 1077944384 340 0 0 0 14 8 0 0 20 0 15 0 11210771 14317654016 209322 18446744073709551615 4194304 4196468 140726083314144 140277265091600 140277310240469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18441] ppid=18432 vsize=13982084 CPUtime=0.23 cores=1,3,5,7
/proc/18435/task/18441/stat : 18441 (java) S 18432 18435 5091 0 -1 1077944384 1428 0 0 0 15 8 0 0 20 0 15 0 11210771 14317654016 209322 18446744073709551615 4194304 4196468 140726083314144 140277264039056 140277310240469 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18442] ppid=18432 vsize=13982084 CPUtime=0.02 cores=1,3,5,7
/proc/18435/task/18442/stat : 18442 (java) S 18432 18435 5091 0 -1 1077944384 848 0 0 0 2 0 0 0 20 0 15 0 11210772 14317654016 209322 18446744073709551615 4194304 4196468 140726083314144 140276855891952 140277310241410 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18443] ppid=18432 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18435/task/18443/stat : 18443 (java) S 18432 18435 5091 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 11210772 14317654016 209322 18446744073709551615 4194304 4196468 140726083314144 140276854838240 140277310240469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18444] ppid=18432 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18435/task/18444/stat : 18444 (java) S 18432 18435 5091 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 11210773 14317654016 209322 18446744073709551615 4194304 4196468 140726083314144 140276291331072 140277310240469 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18445] ppid=18432 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18435/task/18445/stat : 18445 (java) S 18432 18435 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11210775 14317654016 209322 18446744073709551615 4194304 4196468 140726083314144 140276290279632 140277310248859 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18446] ppid=18432 vsize=13982084 CPUtime=1.78 cores=1,3,5,7
/proc/18435/task/18446/stat : 18446 (java) S 18432 18435 5091 0 -1 1077944384 4596 0 0 0 178 0 0 0 20 0 15 0 11210775 14317654016 209322 18446744073709551615 4194304 4196468 140726083314144 140276289227248 140277310241410 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18447] ppid=18432 vsize=13982084 CPUtime=1.86 cores=1,3,5,7
/proc/18435/task/18447/stat : 18447 (java) S 18432 18435 5091 0 -1 1077944384 4733 0 0 0 186 0 0 0 20 0 15 0 11210775 14317654016 209322 18446744073709551615 4194304 4196468 140726083314144 140276288174704 140277310241410 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18448] ppid=18432 vsize=13982084 CPUtime=0.93 cores=1,3,5,7
/proc/18435/task/18448/stat : 18448 (java) S 18432 18435 5091 0 -1 1077944384 5481 0 0 0 92 1 0 0 20 0 15 0 11210775 14317654016 209322 18446744073709551615 4194304 4196468 140726083314144 140276287122160 140277310241410 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18449] ppid=18432 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18435/task/18449/stat : 18449 (java) S 18432 18435 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11210775 14317654016 209322 18446744073709551615 4194304 4196468 140726083314144 140276286069856 140277310240469 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18450] ppid=18432 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18435/task/18450/stat : 18450 (java) S 18432 18435 5091 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 11210781 14317654016 209322 18446744073709551615 4194304 4196468 140726083314144 140276285016368 140277310241410 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
Current children cumulated CPU time (s) 11.46
Current children cumulated vsize (KiB) 13982084

[startup+12.7007 s]
/proc/loadavg: 1.78 1.53 1.56 3/211 18450
/proc/meminfo: memFree=29892904/32770624 swapFree=0/199372
[pid=18435] ppid=18432 vsize=13982084 CPUtime=18.82 cores=1,3,5,7
/proc/18435/stat : 18435 (java) S 18432 18435 5091 0 -1 1077944320 36780 0 0 0 1830 52 0 0 20 0 15 0 11210760 14317654016 209919 18446744073709551615 4194304 4196468 140726083314144 140726083296688 140277310230263 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
/proc/18435/statm: 3495521 209919 3806 1 0 3484303 0
[pid=18435/tid=18437] ppid=18432 vsize=13982084 CPUtime=12.25 cores=1,3,5,7
/proc/18435/task/18437/stat : 18437 (java) R 18432 18435 5091 0 -1 4202560 16413 0 0 0 1214 11 0 0 20 0 15 0 11210770 14317654016 209919 18446744073709551615 4194304 4196468 140726083314144 140277314464624 140276948596642 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18438] ppid=18432 vsize=13982084 CPUtime=0.23 cores=1,3,5,7
/proc/18435/task/18438/stat : 18438 (java) S 18432 18435 5091 0 -1 1077944384 413 0 0 0 15 8 0 0 20 0 15 0 11210771 14317654016 209919 18446744073709551615 4194304 4196468 140726083314144 140277267196688 140277310240469 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18439] ppid=18432 vsize=13982084 CPUtime=0.24 cores=1,3,5,7
/proc/18435/task/18439/stat : 18439 (java) S 18432 18435 5091 0 -1 1077944384 495 0 0 0 15 9 0 0 20 0 15 0 11210771 14317654016 209919 18446744073709551615 4194304 4196468 140726083314144 140277266144144 140277310240469 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18440] ppid=18432 vsize=13982084 CPUtime=0.22 cores=1,3,5,7
/proc/18435/task/18440/stat : 18440 (java) S 18432 18435 5091 0 -1 1077944384 340 0 0 0 14 8 0 0 20 0 15 0 11210771 14317654016 209919 18446744073709551615 4194304 4196468 140726083314144 140277265091600 140277310240469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18441] ppid=18432 vsize=13982084 CPUtime=0.23 cores=1,3,5,7
/proc/18435/task/18441/stat : 18441 (java) S 18432 18435 5091 0 -1 1077944384 1428 0 0 0 15 8 0 0 20 0 15 0 11210771 14317654016 209919 18446744073709551615 4194304 4196468 140726083314144 140277264039056 140277310240469 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18442] ppid=18432 vsize=13982084 CPUtime=0.02 cores=1,3,5,7
/proc/18435/task/18442/stat : 18442 (java) S 18432 18435 5091 0 -1 1077944384 848 0 0 0 2 0 0 0 20 0 15 0 11210772 14317654016 209919 18446744073709551615 4194304 4196468 140726083314144 140276855891952 140277310241410 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18443] ppid=18432 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18435/task/18443/stat : 18443 (java) S 18432 18435 5091 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 11210772 14317654016 209919 18446744073709551615 4194304 4196468 140726083314144 140276854838240 140277310240469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18444] ppid=18432 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18435/task/18444/stat : 18444 (java) S 18432 18435 5091 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 11210773 14317654016 209919 18446744073709551615 4194304 4196468 140726083314144 140276291331072 140277310240469 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18445] ppid=18432 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18435/task/18445/stat : 18445 (java) S 18432 18435 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11210775 14317654016 209919 18446744073709551615 4194304 4196468 140726083314144 140276290279632 140277310248859 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0

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

/proc/18435/task/18449/stat : 18449 (java) S 18432 18435 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11210775 14317654016 365651 18446744073709551615 4194304 4196468 140726083314144 140276286069856 140277310240469 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18450] ppid=18432 vsize=13982084 CPUtime=0.01 cores=1,3,5,7
/proc/18435/task/18450/stat : 18450 (java) S 18432 18435 5091 0 -1 1077944384 392 0 0 0 0 1 0 0 20 0 15 0 11210781 14317654016 365651 18446744073709551615 4194304 4196468 140726083314144 140276285016368 140277310241410 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
Current children cumulated CPU time (s) 58.14
Current children cumulated vsize (KiB) 13982084

[startup+102.301 s]
/proc/loadavg: 1.75 1.59 1.59 3/210 18454
/proc/meminfo: memFree=26817392/32770624 swapFree=0/199448
[pid=18435] ppid=18432 vsize=13982084 CPUtime=110 cores=1,3,5,7
/proc/18435/stat : 18435 (java) S 18432 18435 5091 0 -1 1077944320 64332 0 0 0 10867 133 0 0 20 0 15 0 11210760 14317654016 971499 18446744073709551615 4194304 4196468 140726083314144 140726083296688 140277310230263 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
/proc/18435/statm: 3495521 971499 3809 1 0 3484303 0
[pid=18435/tid=18437] ppid=18432 vsize=13982084 CPUtime=101.57 cores=1,3,5,7
/proc/18435/task/18437/stat : 18437 (java) R 18432 18435 5091 0 -1 4202560 26891 0 0 0 10103 54 0 0 20 0 15 0 11210770 14317654016 971499 18446744073709551615 4194304 4196468 140726083314144 140277314467904 140276948716640 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18438] ppid=18432 vsize=13982084 CPUtime=0.5 cores=1,3,5,7
/proc/18435/task/18438/stat : 18438 (java) S 18432 18435 5091 0 -1 1077944384 1402 0 0 0 33 17 0 0 20 0 15 0 11210771 14317654016 971499 18446744073709551615 4194304 4196468 140726083314144 140277267196688 140277310240469 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18439] ppid=18432 vsize=13982084 CPUtime=0.5 cores=1,3,5,7
/proc/18435/task/18439/stat : 18439 (java) S 18432 18435 5091 0 -1 1077944384 803 0 0 0 33 17 0 0 20 0 15 0 11210771 14317654016 971499 18446744073709551615 4194304 4196468 140726083314144 140277266144144 140277310240469 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18440] ppid=18432 vsize=13982084 CPUtime=0.48 cores=1,3,5,7
/proc/18435/task/18440/stat : 18440 (java) S 18432 18435 5091 0 -1 1077944384 1991 0 0 0 32 16 0 0 20 0 15 0 11210771 14317654016 971499 18446744073709551615 4194304 4196468 140726083314144 140277265091600 140277310240469 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18441] ppid=18432 vsize=13982084 CPUtime=0.49 cores=1,3,5,7
/proc/18435/task/18441/stat : 18441 (java) S 18432 18435 5091 0 -1 1077944384 1638 0 0 0 33 16 0 0 20 0 15 0 11210771 14317654016 971499 18446744073709551615 4194304 4196468 140726083314144 140277264039056 140277310240469 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18442] ppid=18432 vsize=13982084 CPUtime=0.06 cores=1,3,5,7
/proc/18435/task/18442/stat : 18442 (java) S 18432 18435 5091 0 -1 1077944384 2468 0 0 0 4 2 0 0 20 0 15 0 11210772 14317654016 971499 18446744073709551615 4194304 4196468 140726083314144 140276855891952 140277310241410 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18443] ppid=18432 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18435/task/18443/stat : 18443 (java) S 18432 18435 5091 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 11210772 14317654016 971499 18446744073709551615 4194304 4196468 140726083314144 140276854838240 140277310240469 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18444] ppid=18432 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18435/task/18444/stat : 18444 (java) S 18432 18435 5091 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 11210773 14317654016 971499 18446744073709551615 4194304 4196468 140726083314144 140276291331072 140277310240469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18445] ppid=18432 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18435/task/18445/stat : 18445 (java) S 18432 18435 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11210775 14317654016 971499 18446744073709551615 4194304 4196468 140726083314144 140276290279632 140277310248859 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18446] ppid=18432 vsize=13982084 CPUtime=2.53 cores=1,3,5,7
/proc/18435/task/18446/stat : 18446 (java) S 18432 18435 5091 0 -1 1077944384 7807 0 0 0 252 1 0 0 20 0 15 0 11210775 14317654016 971499 18446744073709551615 4194304 4196468 140726083314144 140276289227248 140277310241410 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18447] ppid=18432 vsize=13982084 CPUtime=2.6 cores=1,3,5,7
/proc/18435/task/18447/stat : 18447 (java) S 18432 18435 5091 0 -1 1077944384 7770 0 0 0 259 1 0 0 20 0 15 0 11210775 14317654016 971499 18446744073709551615 4194304 4196468 140726083314144 140276288174704 140277310241410 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18448] ppid=18432 vsize=13982084 CPUtime=1.11 cores=1,3,5,7
/proc/18435/task/18448/stat : 18448 (java) S 18432 18435 5091 0 -1 1077944384 11802 0 0 0 109 2 0 0 20 0 15 0 11210775 14317654016 971499 18446744073709551615 4194304 4196468 140726083314144 140276287122160 140277310241410 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18449] ppid=18432 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18435/task/18449/stat : 18449 (java) S 18432 18435 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11210775 14317654016 971499 18446744073709551615 4194304 4196468 140726083314144 140276286069856 140277310240469 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18450] ppid=18432 vsize=13982084 CPUtime=0.05 cores=1,3,5,7
/proc/18435/task/18450/stat : 18450 (java) S 18432 18435 5091 0 -1 1077944384 392 0 0 0 2 3 0 0 20 0 15 0 11210781 14317654016 971499 18446744073709551615 4194304 4196468 140726083314144 140276285016368 140277310241410 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
Current children cumulated CPU time (s) 110
Current children cumulated vsize (KiB) 13982084

[startup+162.301 s]
/proc/loadavg: 1.65 1.59 1.59 3/209 18456
/proc/meminfo: memFree=27273964/32770624 swapFree=0/199484
[pid=18435] ppid=18432 vsize=13982084 CPUtime=170.59 cores=1,3,5,7
/proc/18435/stat : 18435 (java) S 18432 18435 5091 0 -1 1077944320 72864 0 0 0 16922 137 0 0 20 0 15 0 11210760 14317654016 852459 18446744073709551615 4194304 4196468 140726083314144 140726083296688 140277310230263 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
/proc/18435/statm: 3495521 852459 3809 1 0 3484303 0
[pid=18435/tid=18437] ppid=18432 vsize=13982084 CPUtime=161.36 cores=1,3,5,7
/proc/18435/task/18437/stat : 18437 (java) R 18432 18435 5091 0 -1 4202560 30996 0 0 0 16081 55 0 0 20 0 15 0 11210770 14317654016 852459 18446744073709551615 4194304 4196468 140726083314144 140277314468080 140276948447440 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18438] ppid=18432 vsize=13982084 CPUtime=0.68 cores=1,3,5,7
/proc/18435/task/18438/stat : 18438 (java) S 18432 18435 5091 0 -1 1077944384 1740 0 0 0 51 17 0 0 20 0 15 0 11210771 14317654016 852459 18446744073709551615 4194304 4196468 140726083314144 140277267196688 140277310240469 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18439] ppid=18432 vsize=13982084 CPUtime=0.69 cores=1,3,5,7
/proc/18435/task/18439/stat : 18439 (java) S 18432 18435 5091 0 -1 1077944384 1594 0 0 0 51 18 0 0 20 0 15 0 11210771 14317654016 852459 18446744073709551615 4194304 4196468 140726083314144 140277266144144 140277310240469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18440] ppid=18432 vsize=13982084 CPUtime=0.67 cores=1,3,5,7
/proc/18435/task/18440/stat : 18440 (java) S 18432 18435 5091 0 -1 1077944384 2098 0 0 0 50 17 0 0 20 0 15 0 11210771 14317654016 852459 18446744073709551615 4194304 4196468 140726083314144 140277265091600 140277310240469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18441] ppid=18432 vsize=13982084 CPUtime=0.68 cores=1,3,5,7
/proc/18435/task/18441/stat : 18441 (java) S 18432 18435 5091 0 -1 1077944384 1736 0 0 0 51 17 0 0 20 0 15 0 11210771 14317654016 852459 18446744073709551615 4194304 4196468 140726083314144 140277264039056 140277310240469 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18442] ppid=18432 vsize=13982084 CPUtime=0.08 cores=1,3,5,7
/proc/18435/task/18442/stat : 18442 (java) S 18432 18435 5091 0 -1 1077944384 2709 0 0 0 5 3 0 0 20 0 15 0 11210772 14317654016 852459 18446744073709551615 4194304 4196468 140726083314144 140276855891952 140277310241410 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18443] ppid=18432 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18435/task/18443/stat : 18443 (java) S 18432 18435 5091 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 11210772 14317654016 852459 18446744073709551615 4194304 4196468 140726083314144 140276854838240 140277310240469 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18444] ppid=18432 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18435/task/18444/stat : 18444 (java) S 18432 18435 5091 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 11210773 14317654016 852459 18446744073709551615 4194304 4196468 140726083314144 140276291331072 140277310240469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18445] ppid=18432 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18435/task/18445/stat : 18445 (java) S 18432 18435 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11210775 14317654016 852459 18446744073709551615 4194304 4196468 140726083314144 140276290279632 140277310248859 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18446] ppid=18432 vsize=13982084 CPUtime=2.55 cores=1,3,5,7
/proc/18435/task/18446/stat : 18446 (java) S 18432 18435 5091 0 -1 1077944384 9055 0 0 0 254 1 0 0 20 0 15 0 11210775 14317654016 852459 18446744073709551615 4194304 4196468 140726083314144 140276289227248 140277310241410 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18447] ppid=18432 vsize=13982084 CPUtime=2.61 cores=1,3,5,7
/proc/18435/task/18447/stat : 18447 (java) S 18432 18435 5091 0 -1 1077944384 8545 0 0 0 260 1 0 0 20 0 15 0 11210775 14317654016 852459 18446744073709551615 4194304 4196468 140726083314144 140276288174704 140277310241410 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18448] ppid=18432 vsize=13982084 CPUtime=1.12 cores=1,3,5,7
/proc/18435/task/18448/stat : 18448 (java) S 18432 18435 5091 0 -1 1077944384 12609 0 0 0 110 2 0 0 20 0 15 0 11210775 14317654016 852459 18446744073709551615 4194304 4196468 140726083314144 140276287122160 140277310241410 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18449] ppid=18432 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18435/task/18449/stat : 18449 (java) S 18432 18435 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11210775 14317654016 852459 18446744073709551615 4194304 4196468 140726083314144 140276286069856 140277310240469 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18450] ppid=18432 vsize=13982084 CPUtime=0.08 cores=1,3,5,7
/proc/18435/task/18450/stat : 18450 (java) S 18432 18435 5091 0 -1 1077944384 414 0 0 0 3 5 0 0 20 0 15 0 11210781 14317654016 852459 18446744073709551615 4194304 4196468 140726083314144 140276285016368 140277310241410 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
Current children cumulated CPU time (s) 170.59
Current children cumulated vsize (KiB) 13982084

[startup+222.31 s]
/proc/loadavg: 1.35 1.52 1.57 3/209 18458
/proc/meminfo: memFree=27617756/32770624 swapFree=0/199512
[pid=18435] ppid=18432 vsize=13982084 CPUtime=232.03 cores=1,3,5,7
/proc/18435/stat : 18435 (java) S 18432 18435 5091 0 -1 1077944320 85766 0 0 0 23059 144 0 0 20 0 15 0 11210760 14317654016 762032 18446744073709551615 4194304 4196468 140726083314144 140726083296688 140277310230263 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
/proc/18435/statm: 3495521 762032 3809 1 0 3484303 0
[pid=18435/tid=18437] ppid=18432 vsize=13982084 CPUtime=220.89 cores=1,3,5,7
/proc/18435/task/18437/stat : 18437 (java) S 18432 18435 5091 0 -1 1077944384 34930 0 0 0 22033 56 0 0 20 0 15 0 11210770 14317654016 762032 18446744073709551615 4194304 4196468 140726083314144 140277314467984 140277310240469 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18438] ppid=18432 vsize=13982084 CPUtime=1.11 cores=1,3,5,7
/proc/18435/task/18438/stat : 18438 (java) S 18432 18435 5091 0 -1 1077944384 2160 0 0 0 93 18 0 0 20 0 15 0 11210771 14317654016 762032 18446744073709551615 4194304 4196468 140726083314144 140277267196688 140277310240469 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18439] ppid=18432 vsize=13982084 CPUtime=1.11 cores=1,3,5,7
/proc/18435/task/18439/stat : 18439 (java) S 18432 18435 5091 0 -1 1077944384 2126 0 0 0 93 18 0 0 20 0 15 0 11210771 14317654016 762032 18446744073709551615 4194304 4196468 140726083314144 140277266144144 140277310240469 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18440] ppid=18432 vsize=13982084 CPUtime=1.09 cores=1,3,5,7
/proc/18435/task/18440/stat : 18440 (java) S 18432 18435 5091 0 -1 1077944384 3065 0 0 0 92 17 0 0 20 0 15 0 11210771 14317654016 762032 18446744073709551615 4194304 4196468 140726083314144 140277265091600 140277310240469 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18441] ppid=18432 vsize=13982084 CPUtime=1.1 cores=1,3,5,7
/proc/18435/task/18441/stat : 18441 (java) S 18432 18435 5091 0 -1 1077944384 2704 0 0 0 93 17 0 0 20 0 15 0 11210771 14317654016 762032 18446744073709551615 4194304 4196468 140726083314144 140277264039056 140277310240469 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18442] ppid=18432 vsize=13982084 CPUtime=0.1 cores=1,3,5,7
/proc/18435/task/18442/stat : 18442 (java) R 18432 18435 5091 0 -1 4202560 3188 0 0 0 6 4 0 0 20 0 15 0 11210772 14317654016 762032 18446744073709551615 4194304 4196468 140726083314144 140276855890464 140277310251610 0 0 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18443] ppid=18432 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18435/task/18443/stat : 18443 (java) S 18432 18435 5091 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 11210772 14317654016 762032 18446744073709551615 4194304 4196468 140726083314144 140276854838240 140277310240469 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18444] ppid=18432 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18435/task/18444/stat : 18444 (java) S 18432 18435 5091 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 11210773 14317654016 762032 18446744073709551615 4194304 4196468 140726083314144 140276291331072 140277310240469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18445] ppid=18432 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18435/task/18445/stat : 18445 (java) S 18432 18435 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11210775 14317654016 762032 18446744073709551615 4194304 4196468 140726083314144 140276290279632 140277310248859 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18446] ppid=18432 vsize=13982084 CPUtime=2.61 cores=1,3,5,7
/proc/18435/task/18446/stat : 18446 (java) S 18432 18435 5091 0 -1 1077944384 11184 0 0 0 260 1 0 0 20 0 15 0 11210775 14317654016 760240 18446744073709551615 4194304 4196468 140726083314144 140276289227248 140277310241410 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18447] ppid=18432 vsize=13982084 CPUtime=2.66 cores=1,3,5,7
/proc/18435/task/18447/stat : 18447 (java) S 18432 18435 5091 0 -1 1077944384 11510 0 0 0 265 1 0 0 20 0 15 0 11210775 14317654016 760240 18446744073709551615 4194304 4196468 140726083314144 140276288174704 140277310241410 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18448] ppid=18432 vsize=13982084 CPUtime=1.12 cores=1,3,5,7
/proc/18435/task/18448/stat : 18448 (java) S 18432 18435 5091 0 -1 1077944384 12959 0 0 0 110 2 0 0 20 0 15 0 11210775 14317654016 760240 18446744073709551615 4194304 4196468 140726083314144 140276287122160 140277310241410 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18449] ppid=18432 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18435/task/18449/stat : 18449 (java) S 18432 18435 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11210775 14317654016 760237 18446744073709551615 4194304 4196468 140726083314144 140276286069856 140277310240469 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18450] ppid=18432 vsize=13982084 CPUtime=0.11 cores=1,3,5,7
/proc/18435/task/18450/stat : 18450 (java) S 18432 18435 5091 0 -1 1077944384 572 0 0 0 5 6 0 0 20 0 15 0 11210781 14317654016 760237 18446744073709551615 4194304 4196468 140726083314144 140276285016368 140277310241410 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
Current children cumulated CPU time (s) 232.03
Current children cumulated vsize (KiB) 13982084



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.41 1.53 1.57 3/190 18514
/proc/meminfo: memFree=28839172/32770624 swapFree=0/217688
[pid=18435] ppid=18432 vsize=13982084 CPUtime=250.19 cores=1,3,5,7
/proc/18435/stat : 18435 (java) S 18432 18435 5091 0 -1 1077944320 87782 0 0 0 24869 150 0 0 20 0 15 0 11210760 14317654016 757190 18446744073709551615 4194304 4196468 140726083314144 140726083296688 140277310230263 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
/proc/18435/statm: 3495521 757190 3809 1 0 3484303 0
[pid=18435/tid=18437] ppid=18432 vsize=13982084 CPUtime=238.41 cores=1,3,5,7
/proc/18435/task/18437/stat : 18437 (java) R 18432 18435 5091 0 -1 4202560 36598 0 0 0 23784 57 0 0 20 0 15 0 11210770 14317654016 757190 18446744073709551615 4194304 4196468 140726083314144 140277314467936 140276948458427 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18438] ppid=18432 vsize=13982084 CPUtime=1.26 cores=1,3,5,7
/proc/18435/task/18438/stat : 18438 (java) S 18432 18435 5091 0 -1 1077944384 2217 0 0 0 107 19 0 0 20 0 15 0 11210771 14317654016 757190 18446744073709551615 4194304 4196468 140726083314144 140277267196688 140277310240469 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18439] ppid=18432 vsize=13982084 CPUtime=1.27 cores=1,3,5,7
/proc/18435/task/18439/stat : 18439 (java) S 18432 18435 5091 0 -1 1077944384 2200 0 0 0 107 20 0 0 20 0 15 0 11210771 14317654016 757190 18446744073709551615 4194304 4196468 140726083314144 140277266144144 140277310240469 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18440] ppid=18432 vsize=13982084 CPUtime=1.26 cores=1,3,5,7
/proc/18435/task/18440/stat : 18440 (java) S 18432 18435 5091 0 -1 1077944384 3132 0 0 0 107 19 0 0 20 0 15 0 11210771 14317654016 757190 18446744073709551615 4194304 4196468 140726083314144 140277265091600 140277310240469 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18441] ppid=18432 vsize=13982084 CPUtime=1.25 cores=1,3,5,7
/proc/18435/task/18441/stat : 18441 (java) S 18432 18435 5091 0 -1 1077944384 2854 0 0 0 107 18 0 0 20 0 15 0 11210771 14317654016 757190 18446744073709551615 4194304 4196468 140726083314144 140277264039056 140277310240469 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18442] ppid=18432 vsize=13982084 CPUtime=0.11 cores=1,3,5,7
/proc/18435/task/18442/stat : 18442 (java) S 18432 18435 5091 0 -1 1077944384 3188 0 0 0 7 4 0 0 20 0 15 0 11210772 14317654016 757190 18446744073709551615 4194304 4196468 140726083314144 140276855891952 140277310241410 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18443] ppid=18432 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18435/task/18443/stat : 18443 (java) S 18432 18435 5091 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 11210772 14317654016 757190 18446744073709551615 4194304 4196468 140726083314144 140276854838240 140277310240469 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18444] ppid=18432 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18435/task/18444/stat : 18444 (java) S 18432 18435 5091 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 11210773 14317654016 757190 18446744073709551615 4194304 4196468 140726083314144 140276291331072 140277310240469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18445] ppid=18432 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18435/task/18445/stat : 18445 (java) S 18432 18435 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11210775 14317654016 757190 18446744073709551615 4194304 4196468 140726083314144 140276290279632 140277310248859 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18446] ppid=18432 vsize=13982084 CPUtime=2.61 cores=1,3,5,7
/proc/18435/task/18446/stat : 18446 (java) S 18432 18435 5091 0 -1 1077944384 11184 0 0 0 260 1 0 0 20 0 15 0 11210775 14317654016 757190 18446744073709551615 4194304 4196468 140726083314144 140276289227248 140277310241410 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18447] ppid=18432 vsize=13982084 CPUtime=2.66 cores=1,3,5,7
/proc/18435/task/18447/stat : 18447 (java) S 18432 18435 5091 0 -1 1077944384 11510 0 0 0 265 1 0 0 20 0 15 0 11210775 14317654016 757190 18446744073709551615 4194304 4196468 140726083314144 140276288174704 140277310241410 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18448] ppid=18432 vsize=13982084 CPUtime=1.12 cores=1,3,5,7
/proc/18435/task/18448/stat : 18448 (java) S 18432 18435 5091 0 -1 1077944384 12959 0 0 0 110 2 0 0 20 0 15 0 11210775 14317654016 757190 18446744073709551615 4194304 4196468 140726083314144 140276287122160 140277310241410 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18449] ppid=18432 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18435/task/18449/stat : 18449 (java) S 18432 18435 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11210775 14317654016 757190 18446744073709551615 4194304 4196468 140726083314144 140276286069856 140277310240469 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
[pid=18435/tid=18450] ppid=18432 vsize=13982084 CPUtime=0.13 cores=1,3,5,7
/proc/18435/task/18450/stat : 18450 (java) S 18432 18435 5091 0 -1 1077944384 572 0 0 0 6 7 0 0 20 0 15 0 11210781 14317654016 757190 18446744073709551615 4194304 4196468 140726083314144 140276285016368 140277310241410 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9981952 140726083322263 140726083322443 140726083322443 140726083325903 0
Current children cumulated CPU time (s) 250.19
Current children cumulated vsize (KiB) 13982084

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

Child status: 143
Real time (s): 240.034
CPU time (s): 250.263
CPU user time (s): 248.744
CPU system time (s): 1.51927
CPU usage (%): 104.261
Max. virtual memory (cumulated for all children) (KiB): 13982084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 248.744
system time used= 1.51927
maximum resident set size= 3898740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89795
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10789
involuntary context switches= 347

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.0524 second user time and 1.49928 second system time

The end

Begin job on node129 at 2017-08-02 00:03:57
IDJOB=4255844
IDBENCH=115882
IDSOLVER=2638
FILE ID=node129/4255844-1501625877
RUNJOBID= node129-1501623099-17027
PBS_JOBID= 
Free space on /tmp= 61732 MiB

SOLVER NAME= OscaR - ALNS 2017-07-26
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-50.xml
COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4255844-1501625877/watcher-4255844-1501625877 -o /tmp/evaluation-result-4255844-1501625877/solver-4255844-1501625877 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501623099-17027 --watchdog 300  java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed 1981657956 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4255844-1501625877.xml

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

MD5SUM BENCH= b46c08097c4951fbb159b9042bff535d
RANDOM SEED=1981657956

node129.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.53
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.57
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.53
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.57
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.53
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.57
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.53
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.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31624644 kB
MemAvailable:   31819168 kB
Buffers:          101068 kB
Cached:           376112 kB
SwapCached:            0 kB
Active:           538524 kB
Inactive:         207868 kB
Active(anon):     269284 kB
Inactive(anon):     8532 kB
Active(file):     269240 kB
Inactive(file):   199336 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             84628 kB
Writeback:             4 kB
AnonPages:        150124 kB
Mapped:            44236 kB
Shmem:              8872 kB
Slab:             108196 kB
SReclaimable:      83568 kB
SUnreclaim:        24628 kB
KernelStack:        3472 kB
PageTables:         5052 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1375684 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     47104 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= 61692 MiB
End job on node129 at 2017-08-02 00:07:57