0.00/0.04	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4283560-1503180233.xml"  -tl '2520s' -p 1 -x 3
0.18/0.23	c [HOME/instance-4283560-1503180233.xml, -tl, 2520s, -p, 1, -x, 3]
0.18/0.29	c simple solver
0.36/0.36	c parse instance...
3.37/1.77	c solve instance...
288.96/280.57	o 945 
369.56/357.10	o 946 
369.75/357.22	o 947 
369.87/357.34	o 948 
370.09/357.53	o 949 
370.29/357.71	o 950 
370.43/357.89	o 951 
370.64/358.07	o 952 
370.84/358.22	o 953 
370.94/358.38	o 954 
371.18/358.54	o 955 
371.42/358.70	o 956 
371.53/358.85	o 957 
371.74/359.01	o 958 
371.84/359.17	o 959 
372.04/359.33	o 960 
372.15/359.47	o 961 
430.59/417.62	o 964 
447.29/434.28	o 997 
448.59/435.59	o 998 
2520.08/2474.80	s SATISFIABLE
2520.08/2474.80	v <instantiation>
2520.08/2474.80	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[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 </list>
2520.08/2474.80	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 1 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 1 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 0 0 1 1 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 0 0 1 1 0 0 1 1 1 1 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 1 0 0 0 0 1 1 1 0 1 1 1 1 0 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 1 1 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 1 1 0 0 0 0 0 1 1 0 1 0 1 1 1 1 1 0 0 1 0 0 1 1 1 1 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 1 1 0 1 0 1 1 0 1 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 1 0 0 1 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 1 1 1 0 1 1 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 1 0 1 1 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 1 1 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 0 1 1 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 1 0 1 0 1 1 0 0 1 0 0 1 1 0 1 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 1 0 1 1 1 1 0 0 1 0 0 1 0 1 0 1 1 0 1 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 1 1 0 0 1 0 0 1 0 0 0 1 0 1 1 0 1 1 0 0 0 0 0 1 1 1 1 1 0 0 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 1 0 1 0 1 0 0 0 1 1 1 0 1 0 1 0 1 0 0 1 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 1 1 0 0 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 1 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 1 1 1 1 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 1 1 1 1 0 0 0 0 1 1 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 1 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 0 1 1 0 1 0 0 0 1 1 0 0 0 0 0 0 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 1 0 1 0 1 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 1 0 0 1 0 0 1 0 1 1 0 1 1 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 1 1 0 0 0 1 0 1 0 1 1 1 1 1 1 1 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 1 1 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 1 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 1 1 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 0 1 1 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 1 1 0 1 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 1 1 1 0 0 0 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 1 1 1 0 0 0 1 0 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 1 1 1 0 1 1 0 1 0 1 0 0 1 0 1 0 0 0 0 0 1 1 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 1 1 0 1 1 1 1 0 0 0 0 1 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 1 1 0 0 0 0 0 1 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 1 1 0 0 1 1 0 1 1 0 1 0 1 1 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 1 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 1 0 0 1 1 0 1 0 1 0 0 0 0 1 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 0 1 1 1 1 0 1 1 1 0 0 0 1 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 1 0 1 1 1 1 1 0 0 0 0 0 1 1 0 1 1 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 1 1 1 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 0 0 0 0 1 1 0 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 1 1 0 1 0 1 0 1 0 0 1 1 1 1 1 0 0 1 1 0 1 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 1 0 1 0 0 0 0 1 1 0 0 0 1 1 0 0 0 1 0 0 1 0 0 1 1 0 1 0 0 0 1 0 0 0 0 1 0 1 1 1 1 0 0 1 0 0 1 0 0 1 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 0 1 0 0 1 1 1 1 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 1 0 1 0 1 0 0 1 0 0 0 1 1 1 1 0 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 0 0 1 1 0 0 1 0 0 1 0 1 0 0 0 1 1 1 0 1 0 1 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 1 1 0 0 1 1 1 0 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 1 1 0 1 0 1 1 0 0 1 1 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 1 0 0 1 1 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 1 1 1 0 1 0 1 0 1 1 1 1 1 1 0 1 0 1 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 0 1 0 1 1 0 1 1 0 1 0 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 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 1 0 0 1 1 0 1 0 0 1 0 0 1 1 1 0 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 0 0 1 1 1 1 0 0 1 1 1 0 0 1 1 0 1 1 0 1 1 0 1 1 1 1 0 0 0 0 0 0 0 2 0 0 0 1 2 2 2 2 2 2 0 1 1 0 2 2 2 1 1 0 1 2 2 0 0 0 1 2 1 1 0 0 0 1 1 2 1 1 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 2 2 1 2 1 1 0 0 1 1 2 1 1 0 0 1 2 1 1 0 1 1 2 1 0 0 0 0 0 1 2 1 1 2 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 0 0 1 2 1 1 0 0 1 0 1 1 0 0 1 1 2 2 1 1 2 2 1 1 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 2 1 1 1 2 2 1 1 0 0 0 0 1 2 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 1 1 0 1 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 2 1 1 1 0 0 1 0 0 1 2 2 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 2 1 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 2 2 1 2 1 0 0 0 0 1 1 2 2 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 1 2 1 1 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 1 2 2 1 1 0 0 0 0 1 0 0 1 1 1 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 2 2 1 1 2 1 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 2 2 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 2 1 1 2 2 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 2 2 0 0 0 0 1 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 2 2 1 1 2 2 2 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 1 0 0 0 0 0 0 1 1 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 2 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 2 2 0 0 0 0 0 0 1 0 0 0 0 2 0 0 0 0 0 0 1 0 0 1 1 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 2 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 1 1 1 1 0 0 0 0 0 1 1 1 1 0 0 2 1 0 0 0 1 2 0 0 2 0 0 1 0 0 0 1 0 1 0 0 0 1 1 0 1 1 0 0 0 0 0 2 0 1 0 0 0 1 2 0 0 1 1 1 1 1 2 2 1 0 0 1 2 0 0 1 1 1 2 0 1 0 0 1 0 1 1 0 2 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 2 1 0 0 0 1 0 1 0 0 2 2 1 1 2 2 2 0 0 1 1 0 0 0 0 0 0 2 1 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 1 2 1 1 0 0 0 0 1 1 2 1 1 2 2 1 0 0 2 2 0 0 0 0 2 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 2 1 1 0 0 0 0 2 2 1 1 1 1 1 0 0 1 2 0 0 1 0 1 0 1 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 1 1 1 1 0 0 1 0 0 0 2 1 1 0 1 2 0 2 2 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 2 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 1 0 1 1 1 0 0 1 0 1 1 2 2 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 1 0 1 1 2 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 2 2 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 1 2 2 2 2 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 1 1 0 0 1 1 2 1 1 2 0 0 1 0 2 0 1 1 2 0 0 1 1 1 1 1 0 0 0 0 0 1 2 0 0 0 0 1 0 0 0 0 1 1 1 0 1 0 0 0 1 0 0 2 1 1 0 1 0 0 1 0 1 0 1 2 0 1 0 2 0 1 0 0 1 0 1 0 0 0 0 1 0 2 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 2 0 0 0 0 0 0 1 0 0 2 2 2 1 1 1 1 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 1 0 0 0 0 1 0 0 0 1 0 1 2 2 0 0 0 0 0 2 0 2 1 1 2 0 1 0 0 1 1 2 2 1 1 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 1 0 1 0 1 0 0 1 0 0 0 0 1 1 1 1 0 0 0 1 0 2 0 2 1 2 2 1 0 0 0 1 2 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 0 0 1 0 0 0 0 0 2 0 2 0 1 1 2 2 2 1 0 1 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 2 2 1 0 0 0 0 0 0 0 1 0 2 0 0 0 1 2 1 2 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 2 1 1 0 1 0 0 0 0 0 0 1 2 1 1 2 0 1 0 2 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 0 0 1 0 0 0 1 0 0 1 1 2 1 1 2 1 1 0 0 0 0 0 0 1 2 2 1 1 0 1 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 2 2 0 1 0 0 0 1 0 0 1 0 0 1 1 1 1 2 2 1 0 0 1 0 0 0 1 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 2 2 1 0 1 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 2 1 1 1 0 1 1 1 2 2 0 2 0 0 0 1 0 0 0 0 1 0 1 0 1 2 1 1 0 0 2 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 1 1 0 0 1 1 1 1 0 0 0 0 2 2 2 2 2 0 0 0 1 0 0 0 0 1 0 2 1 1 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 1 1 0 0 0 0 1 1 1 1 2 2 2 0 0 1 0 1 0 0 0 1 1 2 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 2 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 2 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 0 0 1 0 1 1 1 2 1 1 0 0 1 1 1 0 1 1 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 0 1 1 0 1 0 0 0 1 0 0 1 1 1 2 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 2 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 2 1 2 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 1 0 0 1 0 1 1 0 1 1 0 1 2 1 2 2 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 2 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 1 0 0 0 0 0 0 0 1 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 2 0 2 0 2 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 2 1 0 0 2 2 2 2 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 0 1 1 2 2 2 1 2 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 1 0 1 0 0 1 0 0 1 0 1 1 0 1 0 0 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 1 1 1 32 78 114 143 166 187 212 239 266 288 311 334 352 363 378 390 406 435 469 498 526 550 575 594 612 630 654 684 709 733 763 788 814 836 864 891 912 942 975 1002 1014 1031 1055 1074 1092 1117 1132 1140 1151 1166 1182 1208 998 </values>
2520.08/2474.81	v </instantiation>
2520.08/2474.81	c Unexpected resolution interruption!

OK	998

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283560-1503180233/watcher-4283560-1503180233 -o /tmp/evaluation-result-4283560-1503180233/solver-4283560-1503180233 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1503171959-30215 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 2128236940 HOME/instance-4283560-1503180233.xml 

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

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

solver pid=31211, runsolver pid=31208

[startup+0.100091 s]*
/proc/loadavg: 1.52 1.45 1.49 3/205 31222
/proc/meminfo: memFree=31365940/32770624 swapFree=67108860/67108860
[pid=31211] ppid=31208 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31211/stat : 31211 (xcsp3-exec) S 31208 31211 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 16433045 9740288 345 18446744073709551615 4194304 5098028 140729214212800 140729214210904 140369717572220 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 4 0 0 7196144 7232144 35758080 140729214214521 140729214214726 140729214214726 140729214218219 0
/proc/31211/statm: 2378 345 289 221 0 87 0
[pid=31214] ppid=31211 vsize=13907304 memory=20772 CPUtime=0.05 cores=1,3,5,7
/proc/31214/stat : 31214 (java) S 31211 31211 16431 0 -1 1077944320 4646 0 0 0 5 0 0 0 20 0 14 0 16433050 14241079296 5193 18446744073709551615 4194304 4196468 140727847481712 140727847464256 140054155067127 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
/proc/31214/statm: 3476826 5193 2549 1 0 3466323 0
[pid=31214/tid=31215] ppid=31211 vsize=13907304 memory=-8713483618642983003 CPUtime=0.04 cores=1,3,5,7
/proc/31214/task/31215/stat : 31215 (java) D 31211 31211 16431 0 -1 4202560 2820 0 0 0 4 0 0 0 20 0 14 0 16433050 14241079296 5193 18446744073709551615 4194304 4196468 140727847481712 140054159304608 140054155089149 0 4 1 16800974 18446744071580418449 0 0 -1 5 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31216] ppid=31211 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31214/task/31216/stat : 31216 (java) S 31211 31211 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 16433051 14241079296 5193 18446744073709551615 4194304 4196468 140727847481712 140054120348048 140054155077333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31217] ppid=31211 vsize=13907304 memory=139754883212928 CPUtime=0 cores=1,3,5,7
/proc/31214/task/31217/stat : 31217 (java) S 31211 31211 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 16433051 14241079296 5193 18446744073709551615 4194304 4196468 140727847481712 140053754153232 140054155077333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31218] ppid=31211 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31214/task/31218/stat : 31218 (java) S 31211 31211 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 16433051 14241079296 5193 18446744073709551615 4194304 4196468 140727847481712 140053753100944 140054155077333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31219] ppid=31211 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31214/task/31219/stat : 31219 (java) S 31211 31211 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 16433051 14241079296 5193 18446744073709551615 4194304 4196468 140727847481712 140053752048144 140054155077333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31220] ppid=31211 vsize=13907304 memory=139754883212928 CPUtime=0 cores=1,3,5,7
/proc/31214/task/31220/stat : 31220 (java) S 31211 31211 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 16433052 14241079296 5193 18446744073709551615 4194304 4196468 140727847481712 140053071837808 140054155078274 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31221] ppid=31211 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31214/task/31221/stat : 31221 (java) S 31211 31211 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 16433053 14241079296 5193 18446744073709551615 4194304 4196468 140727847481712 140053070783776 140054155077333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31222] ppid=31211 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31214/task/31222/stat : 31222 (java) S 31211 31211 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 16433053 14241079296 5193 18446744073709551615 4194304 4196468 140727847481712 140053069731440 140054155077333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31223] ppid=31211 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31214/task/31223/stat : 31223 (java) S 31211 31211 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 16433055 14241079296 5193 18446744073709551615 4194304 4196468 140727847481712 140053068679760 140054155085723 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31224] ppid=31211 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31214/task/31224/stat : 31224 (java) S 31211 31211 16431 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 14 0 16433055 14241079296 5193 18446744073709551615 4194304 4196468 140727847481712 140053067626608 140054155078274 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31225] ppid=31211 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31214/task/31225/stat : 31225 (java) S 31211 31211 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 16433055 14241079296 5193 18446744073709551615 4194304 4196468 140727847481712 140053066573808 140054155078274 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31226] ppid=31211 vsize=13907304 memory=139754883212928 CPUtime=0 cores=1,3,5,7
/proc/31214/task/31226/stat : 31226 (java) S 31211 31211 16431 0 -1 1077944384 219 0 0 0 0 0 0 0 20 0 14 0 16433055 14241079296 5193 18446744073709551615 4194304 4196468 140727847481712 140053065521520 140054155078274 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31227] ppid=31211 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31214/task/31227/stat : 31227 (java) S 31211 31211 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 16433055 14241079296 5193 18446744073709551615 4194304 4196468 140727847481712 140053064468960 140054155077333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 22152 KiB

[startup+0.210699 s]*
/proc/loadavg: 1.52 1.45 1.49 5/211 31228
/proc/meminfo: memFree=31356448/32770624 swapFree=67108860/67108860
[pid=31211] ppid=31208 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31211/stat : 31211 (xcsp3-exec) S 31208 31211 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 16433045 9740288 345 18446744073709551615 4194304 5098028 140729214212800 140729214210904 140369717572220 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 4 0 0 7196144 7232144 35758080 140729214214521 140729214214726 140729214214726 140729214218219 0
/proc/31211/statm: 2378 345 289 221 0 87 0
[pid=31214] ppid=31211 vsize=13974352 memory=30480 CPUtime=0.18 cores=1,3,5,7
/proc/31214/stat : 31214 (java) S 31211 31211 16431 0 -1 1077944320 6139 0 0 0 17 1 0 0 20 0 15 0 16433050 14309736448 7620 18446744073709551615 4194304 4196468 140727847481712 140727847464256 140054155067127 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
/proc/31214/statm: 3493588 7620 2907 1 0 3482964 0
[pid=31214/tid=31215] ppid=31211 vsize=13974352 memory=7311146985107750967 CPUtime=0.11 cores=1,3,5,7
/proc/31214/task/31215/stat : 31215 (java) R 31211 31211 16431 0 -1 4202560 3479 0 0 0 11 0 0 0 20 0 15 0 16433050 14309736448 7620 18446744073709551615 4194304 4196468 140727847481712 140054159297056 140054134792262 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31216] ppid=31211 vsize=13974352 memory=10596 CPUtime=0 cores=1,3,5,7
/proc/31214/task/31216/stat : 31216 (java) S 31211 31211 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16433051 14309736448 7620 18446744073709551615 4194304 4196468 140727847481712 140054120348048 140054155077333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31217] ppid=31211 vsize=13974352 memory=3979131843968460448 CPUtime=0 cores=1,3,5,7
/proc/31214/task/31217/stat : 31217 (java) S 31211 31211 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16433051 14309736448 7620 18446744073709551615 4194304 4196468 140727847481712 140053754153232 140054155077333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31218] ppid=31211 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31214/task/31218/stat : 31218 (java) S 31211 31211 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16433051 14309736448 7620 18446744073709551615 4194304 4196468 140727847481712 140053753100944 140054155077333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31219] ppid=31211 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31214/task/31219/stat : 31219 (java) S 31211 31211 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 16433051 14309736448 7620 18446744073709551615 4194304 4196468 140727847481712 140053752048144 140054155077333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31220] ppid=31211 vsize=13974352 memory=139754883212928 CPUtime=0 cores=1,3,5,7
/proc/31214/task/31220/stat : 31220 (java) S 31211 31211 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 16433052 14309736448 7620 18446744073709551615 4194304 4196468 140727847481712 140053071837808 140054155078274 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31221] ppid=31211 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31214/task/31221/stat : 31221 (java) S 31211 31211 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 16433053 14309736448 7620 18446744073709551615 4194304 4196468 140727847481712 140053070783776 140054155077333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31222] ppid=31211 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31214/task/31222/stat : 31222 (java) S 31211 31211 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 16433053 14309736448 7620 18446744073709551615 4194304 4196468 140727847481712 140053069731440 140054155077333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31223] ppid=31211 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31214/task/31223/stat : 31223 (java) S 31211 31211 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16433055 14309736448 7620 18446744073709551615 4194304 4196468 140727847481712 140053068679760 140054155085723 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31224] ppid=31211 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/31214/task/31224/stat : 31224 (java) S 31211 31211 16431 0 -1 1077944384 592 0 0 0 1 0 0 0 20 0 15 0 16433055 14309736448 7620 18446744073709551615 4194304 4196468 140727847481712 140053067626608 140054155078274 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31225] ppid=31211 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31214/task/31225/stat : 31225 (java) S 31211 31211 16431 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 16433055 14309736448 7620 18446744073709551615 4194304 4196468 140727847481712 140053066573808 140054155078274 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31226] ppid=31211 vsize=13974352 memory=139754883212928 CPUtime=0.03 cores=1,3,5,7
/proc/31214/task/31226/stat : 31226 (java) R 31211 31211 16431 0 -1 4202560 711 0 0 0 3 0 0 0 20 0 15 0 16433055 14309736448 7620 18446744073709551615 4194304 4196468 140727847481712 140053065521520 140054155079062 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31227] ppid=31211 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31214/task/31227/stat : 31227 (java) S 31211 31211 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16433055 14309736448 7620 18446744073709551615 4194304 4196468 140727847481712 140053064468960 140054155077333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31228] ppid=31211 vsize=13974352 memory=139754883212928 CPUtime=0 cores=1,3,5,7
/proc/31214/task/31228/stat : 31228 (java) S 31211 31211 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16433060 14309736448 7620 18446744073709551615 4194304 4196468 140727847481712 140053063416752 140054155078274 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 31860 KiB

[startup+0.310314 s]*
/proc/loadavg: 1.52 1.45 1.49 3/211 31228
/proc/meminfo: memFree=31346504/32770624 swapFree=67108860/67108860
[pid=31211] ppid=31208 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31211/stat : 31211 (xcsp3-exec) S 31208 31211 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 16433045 9740288 345 18446744073709551615 4194304 5098028 140729214212800 140729214210904 140369717572220 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 4 0 0 7196144 7232144 35758080 140729214214521 140729214214726 140729214214726 140729214218219 0
/proc/31211/statm: 2378 345 289 221 0 87 0
[pid=31214] ppid=31211 vsize=13978608 memory=40348 CPUtime=0.36 cores=1,3,5,7
/proc/31214/stat : 31214 (java) S 31211 31211 16431 0 -1 1077944320 9766 0 0 0 33 3 0 0 20 0 15 0 16433050 14314094592 10087 18446744073709551615 4194304 4196468 140727847481712 140727847464256 140054155067127 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
/proc/31214/statm: 3494652 10087 3054 1 0 3482964 0
[pid=31214/tid=31215] ppid=31211 vsize=13978608 memory=-8774313645642428999 CPUtime=0.21 cores=1,3,5,7
/proc/31214/task/31215/stat : 31215 (java) R 31211 31211 16431 0 -1 4202560 6940 0 0 0 19 2 0 0 20 0 15 0 16433050 14314094592 10087 18446744073709551615 4194304 4196468 140727847481712 140054159276848 140054139147614 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31216] ppid=31211 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31214/task/31216/stat : 31216 (java) S 31211 31211 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16433051 14314094592 10087 18446744073709551615 4194304 4196468 140727847481712 140054120348048 140054155077333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31217] ppid=31211 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31214/task/31217/stat : 31217 (java) S 31211 31211 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16433051 14314094592 10087 18446744073709551615 4194304 4196468 140727847481712 140053754153232 140054155077333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31218] ppid=31211 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31214/task/31218/stat : 31218 (java) S 31211 31211 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16433051 14314094592 10087 18446744073709551615 4194304 4196468 140727847481712 140053753100944 140054155077333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31219] ppid=31211 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31214/task/31219/stat : 31219 (java) S 31211 31211 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 16433051 14314094592 10087 18446744073709551615 4194304 4196468 140727847481712 140053752048144 140054155077333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31220] ppid=31211 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31214/task/31220/stat : 31220 (java) S 31211 31211 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 16433052 14314094592 10087 18446744073709551615 4194304 4196468 140727847481712 140053071837808 140054155078274 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31221] ppid=31211 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31214/task/31221/stat : 31221 (java) S 31211 31211 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 16433053 14314094592 10087 18446744073709551615 4194304 4196468 140727847481712 140053070783776 140054155077333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31222] ppid=31211 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31214/task/31222/stat : 31222 (java) S 31211 31211 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 16433053 14314094592 10087 18446744073709551615 4194304 4196468 140727847481712 140053069731440 140054155077333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31223] ppid=31211 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31214/task/31223/stat : 31223 (java) S 31211 31211 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16433055 14314094592 10087 18446744073709551615 4194304 4196468 140727847481712 140053068679760 140054155085723 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31224] ppid=31211 vsize=13978608 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/31214/task/31224/stat : 31224 (java) S 31211 31211 16431 0 -1 1077944384 670 0 0 0 3 0 0 0 20 0 15 0 16433055 14314094592 10087 18446744073709551615 4194304 4196468 140727847481712 140053067626608 140054155078274 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31225] ppid=31211 vsize=13978608 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/31214/task/31225/stat : 31225 (java) S 31211 31211 16431 0 -1 1077944384 92 0 0 0 1 0 0 0 20 0 15 0 16433055 14314094592 10087 18446744073709551615 4194304 4196468 140727847481712 140053066573808 140054155078274 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31226] ppid=31211 vsize=13978608 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31214/task/31226/stat : 31226 (java) S 31211 31211 16431 0 -1 1077944384 762 0 0 0 8 0 0 0 20 0 15 0 16433055 14314094592 10087 18446744073709551615 4194304 4196468 140727847481712 140053065521520 140054155078274 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31227] ppid=31211 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31214/task/31227/stat : 31227 (java) S 31211 31211 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16433055 14314094592 10087 18446744073709551615 4194304 4196468 140727847481712 140053064468960 140054155077333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31228] ppid=31211 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31214/task/31228/stat : 31228 (java) S 31211 31211 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16433060 14314094592 10087 18446744073709551615 4194304 4196468 140727847481712 140053063416752 140054155078274 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41728 KiB

[startup+0.700736 s]
/proc/loadavg: 1.52 1.45 1.49 6/211 31228
/proc/meminfo: memFree=31324420/32770624 swapFree=67108860/67108860
[pid=31211] ppid=31208 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31211/stat : 31211 (xcsp3-exec) S 31208 31211 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 16433045 9740288 345 18446744073709551615 4194304 5098028 140729214212800 140729214210904 140369717572220 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 4 0 0 7196144 7232144 35758080 140729214214521 140729214214726 140729214214726 140729214218219 0
/proc/31211/statm: 2378 345 289 221 0 87 0
[pid=31214] ppid=31211 vsize=13978684 memory=97512 CPUtime=1.51 cores=1,3,5,7
/proc/31214/stat : 31214 (java) S 31211 31211 16431 0 -1 1077944320 13449 0 0 0 146 5 0 0 20 0 15 0 16433050 14314172416 24378 18446744073709551615 4194304 4196468 140727847481712 140727847464256 140054155067127 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
/proc/31214/statm: 3494671 24378 3170 1 0 3482964 0
[pid=31214/tid=31215] ppid=31211 vsize=13978684 memory=2241 CPUtime=0.58 cores=1,3,5,7
/proc/31214/task/31215/stat : 31215 (java) R 31211 31211 16431 0 -1 4202560 7937 0 0 0 55 3 0 0 20 0 15 0 16433050 14314172416 24378 18446744073709551615 4194304 4196468 140727847481712 140054159302016 140054147745141 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31216] ppid=31211 vsize=13978684 memory=279509492742656 CPUtime=0 cores=1,3,5,7
/proc/31214/task/31216/stat : 31216 (java) S 31211 31211 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16433051 14314172416 24378 18446744073709551615 4194304 4196468 140727847481712 140054120348048 140054155077333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31217] ppid=31211 vsize=13978684 memory=6916 CPUtime=0 cores=1,3,5,7
/proc/31214/task/31217/stat : 31217 (java) S 31211 31211 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16433051 14314172416 24378 18446744073709551615 4194304 4196468 140727847481712 140053754153232 140054155077333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31218] ppid=31211 vsize=13978684 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/31214/task/31218/stat : 31218 (java) S 31211 31211 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16433051 14314172416 24378 18446744073709551615 4194304 4196468 140727847481712 140053753100944 140054155077333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31219] ppid=31211 vsize=13978684 memory=8382303302519659616 CPUtime=0 cores=1,3,5,7
/proc/31214/task/31219/stat : 31219 (java) S 31211 31211 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 16433051 14314172416 24378 18446744073709551615 4194304 4196468 140727847481712 140053752048144 140054155077333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31220] ppid=31211 vsize=13978684 memory=8508281403248314509 CPUtime=0 cores=1,3,5,7
/proc/31214/task/31220/stat : 31220 (java) S 31211 31211 16431 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 16433052 14314172416 24378 18446744073709551615 4194304 4196468 140727847481712 140053071837808 140054155078274 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31221] ppid=31211 vsize=13978684 memory=7679937539659563834 CPUtime=0 cores=1,3,5,7
/proc/31214/task/31221/stat : 31221 (java) S 31211 31211 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 16433053 14314172416 24378 18446744073709551615 4194304 4196468 140727847481712 140053070783776 140054155077333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31222] ppid=31211 vsize=13978684 memory=8761640388318109335 CPUtime=0 cores=1,3,5,7
/proc/31214/task/31222/stat : 31222 (java) S 31211 31211 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 16433053 14314172416 24378 18446744073709551615 4194304 4196468 140727847481712 140053069731440 140054155077333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31223] ppid=31211 vsize=13978684 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/31214/task/31223/stat : 31223 (java) S 31211 31211 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16433055 14314172416 24378 18446744073709551615 4194304 4196468 140727847481712 140053068679760 140054155085723 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31224] ppid=31211 vsize=13978684 memory=7679937479730885395 CPUtime=0.31 cores=1,3,5,7
/proc/31214/task/31224/stat : 31224 (java) R 31211 31211 16431 0 -1 4202560 1651 0 0 0 31 0 0 0 20 0 15 0 16433055 14314172416 24378 18446744073709551615 4194304 4196468 140727847481712 140053067616992 140054139988118 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31225] ppid=31211 vsize=13978684 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/31214/task/31225/stat : 31225 (java) R 31211 31211 16431 0 -1 4202560 936 0 0 0 27 0 0 0 20 0 15 0 16433055 14314172416 24378 18446744073709551615 4194304 4196468 140727847481712 140053066564640 140054133482717 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31226] ppid=31211 vsize=13978684 memory=0 CPUtime=0.31 cores=1,3,5,7
/proc/31214/task/31226/stat : 31226 (java) S 31211 31211 16431 0 -1 1077944384 1618 0 0 0 31 0 0 0 20 0 15 0 16433055 14314172416 24378 18446744073709551615 4194304 4196468 140727847481712 140053065521520 140054155078274 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31227] ppid=31211 vsize=13978684 memory=56 CPUtime=0 cores=1,3,5,7
/proc/31214/task/31227/stat : 31227 (java) S 31211 31211 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16433055 14314172416 24378 18446744073709551615 4194304 4196468 140727847481712 140053064468960 140054155077333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31228] ppid=31211 vsize=13978684 memory=288230613214036277 CPUtime=0 cores=1,3,5,7
/proc/31214/task/31228/stat : 31228 (java) S 31211 31211 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16433060 14314172416 24378 18446744073709551615 4194304 4196468 140727847481712 140053063416752 140054155078274 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
Current children cumulated CPU time: 1.51 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 98892 KiB

[startup+1.50077 s]
/proc/loadavg: 1.52 1.45 1.49 3/211 31228
/proc/meminfo: memFree=31276576/32770624 swapFree=67108860/67108860
[pid=31211] ppid=31208 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31211/stat : 31211 (xcsp3-exec) S 31208 31211 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 16433045 9740288 345 18446744073709551615 4194304 5098028 140729214212800 140729214210904 140369717572220 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 4 0 0 7196144 7232144 35758080 140729214214521 140729214214726 140729214214726 140729214218219 0
/proc/31211/statm: 2378 345 289 221 0 87 0
[pid=31214] ppid=31211 vsize=13980732 memory=158244 CPUtime=3.16 cores=1,3,5,7
/proc/31214/stat : 31214 (java) S 31211 31211 16431 0 -1 1077944320 16846 0 0 0 309 7 0 0 20 0 15 0 16433050 14316269568 39561 18446744073709551615 4194304 4196468 140727847481712 140727847464256 140054155067127 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0

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

/proc/31214/task/31222/stat : 31222 (java) S 31211 31211 16431 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 15 0 16433053 14318366720 239142 18446744073709551615 4194304 4196468 140727847481712 140053069731456 140054155077333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31223] ppid=31211 vsize=13982780 memory=956568 CPUtime=0 cores=1,3,5,7
/proc/31214/task/31223/stat : 31223 (java) S 31211 31211 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16433055 14318366720 239142 18446744073709551615 4194304 4196468 140727847481712 140053068679760 140054155085723 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31224] ppid=31211 vsize=13982780 memory=1380 CPUtime=5.7 cores=1,3,5,7
/proc/31214/task/31224/stat : 31224 (java) S 31211 31211 16431 0 -1 1077944384 25462 0 0 0 567 3 0 0 20 0 15 0 16433055 14318366720 239142 18446744073709551615 4194304 4196468 140727847481712 140053067626608 140054155078274 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31225] ppid=31211 vsize=13982780 memory=1380 CPUtime=4.79 cores=1,3,5,7
/proc/31214/task/31225/stat : 31225 (java) S 31211 31211 16431 0 -1 1077944384 17119 0 0 0 476 3 0 0 20 0 15 0 16433055 14318366720 239142 18446744073709551615 4194304 4196468 140727847481712 140053066573808 140054155078274 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31226] ppid=31211 vsize=13982780 memory=1380 CPUtime=1.06 cores=1,3,5,7
/proc/31214/task/31226/stat : 31226 (java) S 31211 31211 16431 0 -1 1077944384 10158 0 0 0 102 4 0 0 20 0 15 0 16433055 14318366720 239142 18446744073709551615 4194304 4196468 140727847481712 140053065521520 140054155078274 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31227] ppid=31211 vsize=13982780 memory=644 CPUtime=0 cores=1,3,5,7
/proc/31214/task/31227/stat : 31227 (java) S 31211 31211 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16433055 14318366720 239142 18446744073709551615 4194304 4196468 140727847481712 140053064468960 140054155077333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31228] ppid=31211 vsize=13982780 memory=1792 CPUtime=0.97 cores=1,3,5,7
/proc/31214/task/31228/stat : 31228 (java) S 31211 31211 16431 0 -1 1077944384 1473 0 0 0 40 57 0 0 20 0 15 0 16433060 14318366720 239142 18446744073709551615 4194304 4196468 140727847481712 140053063416752 140054155078274 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
Current children cumulated CPU time: 2365.51 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 957948 KiB

[startup+2382.3 s]
/proc/loadavg: 1.63 1.65 1.68 3/210 31490
/proc/meminfo: memFree=30241640/32770624 swapFree=67108860/67108860
[pid=31211] ppid=31208 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31211/stat : 31211 (xcsp3-exec) S 31208 31211 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 16433045 9740288 345 18446744073709551615 4194304 5098028 140729214212800 140729214210904 140369717572220 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 4 0 0 7196144 7232144 35758080 140729214214521 140729214214726 140729214214726 140729214218219 0
/proc/31211/statm: 2378 345 289 221 0 87 0
[pid=31214] ppid=31211 vsize=13982780 memory=943216 CPUtime=2425.74 cores=1,3,5,7
/proc/31214/stat : 31214 (java) S 31211 31211 16431 0 -1 1077944320 188414 0 0 0 242315 259 0 0 20 0 15 0 16433050 14318366720 235804 18446744073709551615 4194304 4196468 140727847481712 140727847464256 140054155067127 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
/proc/31214/statm: 3495695 235804 3270 1 0 3483988 0
[pid=31214/tid=31215] ppid=31211 vsize=13982780 memory=943216 CPUtime=2370.6 cores=1,3,5,7
/proc/31214/task/31215/stat : 31215 (java) R 31211 31211 16431 0 -1 4202560 76729 0 0 0 237039 21 0 0 20 0 15 0 16433050 14318366720 235804 18446744073709551615 4194304 4196468 140727847481712 140054159306848 140053803006609 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31216] ppid=31211 vsize=13982780 memory=943216 CPUtime=10.44 cores=1,3,5,7
/proc/31214/task/31216/stat : 31216 (java) S 31211 31211 16431 0 -1 1077944384 10622 0 0 0 1003 41 0 0 20 0 15 0 16433051 14318366720 235804 18446744073709551615 4194304 4196468 140727847481712 140054120348048 140054155077333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31217] ppid=31211 vsize=13982780 memory=1380 CPUtime=10.43 cores=1,3,5,7
/proc/31214/task/31217/stat : 31217 (java) S 31211 31211 16431 0 -1 1077944384 11414 0 0 0 999 44 0 0 20 0 15 0 16433051 14318366720 235804 18446744073709551615 4194304 4196468 140727847481712 140053754153232 140054155077333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31218] ppid=31211 vsize=13982780 memory=948352 CPUtime=10.43 cores=1,3,5,7
/proc/31214/task/31218/stat : 31218 (java) S 31211 31211 16431 0 -1 1077944384 9193 0 0 0 1001 42 0 0 20 0 15 0 16433051 14318366720 235804 18446744073709551615 4194304 4196468 140727847481712 140053753100944 140054155077333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31219] ppid=31211 vsize=13982780 memory=1380 CPUtime=10.38 cores=1,3,5,7
/proc/31214/task/31219/stat : 31219 (java) S 31211 31211 16431 0 -1 1077944384 8737 0 0 0 997 41 0 0 20 0 15 0 16433051 14318366720 235804 18446744073709551615 4194304 4196468 140727847481712 140053752048144 140054155077333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31220] ppid=31211 vsize=13982780 memory=1380 CPUtime=0.82 cores=1,3,5,7
/proc/31214/task/31220/stat : 31220 (java) S 31211 31211 16431 0 -1 1077944384 16043 0 0 0 72 10 0 0 20 0 15 0 16433052 14318366720 235804 18446744073709551615 4194304 4196468 140727847481712 140053071837808 140054155078274 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31221] ppid=31211 vsize=13982780 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/31214/task/31221/stat : 31221 (java) S 31211 31211 16431 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 16433053 14318366720 235804 18446744073709551615 4194304 4196468 140727847481712 140053070783840 140054155077333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31222] ppid=31211 vsize=13982780 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31214/task/31222/stat : 31222 (java) S 31211 31211 16431 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 15 0 16433053 14318366720 235804 18446744073709551615 4194304 4196468 140727847481712 140053069731456 140054155077333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31223] ppid=31211 vsize=13982780 memory=279509493771328 CPUtime=0 cores=1,3,5,7
/proc/31214/task/31223/stat : 31223 (java) S 31211 31211 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16433055 14318366720 235804 18446744073709551615 4194304 4196468 140727847481712 140053068679760 140054155085723 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31224] ppid=31211 vsize=13982780 memory=947832 CPUtime=5.7 cores=1,3,5,7
/proc/31214/task/31224/stat : 31224 (java) S 31211 31211 16431 0 -1 1077944384 25464 0 0 0 567 3 0 0 20 0 15 0 16433055 14318366720 235804 18446744073709551615 4194304 4196468 140727847481712 140053067626608 140054155078274 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31225] ppid=31211 vsize=13982780 memory=4004 CPUtime=4.79 cores=1,3,5,7
/proc/31214/task/31225/stat : 31225 (java) S 31211 31211 16431 0 -1 1077944384 17121 0 0 0 476 3 0 0 20 0 15 0 16433055 14318366720 235804 18446744073709551615 4194304 4196468 140727847481712 140053066573808 140054155078274 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31226] ppid=31211 vsize=13982780 memory=1444 CPUtime=1.06 cores=1,3,5,7
/proc/31214/task/31226/stat : 31226 (java) S 31211 31211 16431 0 -1 1077944384 10161 0 0 0 102 4 0 0 20 0 15 0 16433055 14318366720 235804 18446744073709551615 4194304 4196468 140727847481712 140053065521520 140054155078274 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31227] ppid=31211 vsize=13982780 memory=10720 CPUtime=0 cores=1,3,5,7
/proc/31214/task/31227/stat : 31227 (java) S 31211 31211 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16433055 14318366720 235804 18446744073709551615 4194304 4196468 140727847481712 140053064468960 140054155077333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31228] ppid=31211 vsize=13982780 memory=1200 CPUtime=0.99 cores=1,3,5,7
/proc/31214/task/31228/stat : 31228 (java) S 31211 31211 16431 0 -1 1077944384 1494 0 0 0 41 58 0 0 20 0 15 0 16433060 14318366720 235804 18446744073709551615 4194304 4196468 140727847481712 140053063416752 140054155078274 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
Current children cumulated CPU time: 2425.74 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 944596 KiB

[startup+2442.3 s]
/proc/loadavg: 1.77 1.70 1.69 3/214 31507
/proc/meminfo: memFree=30265048/32770624 swapFree=67108860/67108860
[pid=31211] ppid=31208 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31211/stat : 31211 (xcsp3-exec) S 31208 31211 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 16433045 9740288 345 18446744073709551615 4194304 5098028 140729214212800 140729214210904 140369717572220 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 4 0 0 7196144 7232144 35758080 140729214214521 140729214214726 140729214214726 140729214218219 0
/proc/31211/statm: 2378 345 289 221 0 87 0
[pid=31214] ppid=31211 vsize=13982780 memory=935464 CPUtime=2486.28 cores=1,3,5,7
/proc/31214/stat : 31214 (java) S 31211 31211 16431 0 -1 1077944320 194333 0 0 0 248367 261 0 0 20 0 15 0 16433050 14318366720 233866 18446744073709551615 4194304 4196468 140727847481712 140727847464256 140054155067127 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
/proc/31214/statm: 3495695 233866 3270 1 0 3483988 0
[pid=31214/tid=31215] ppid=31211 vsize=13982780 memory=935464 CPUtime=2430.44 cores=1,3,5,7
/proc/31214/task/31215/stat : 31215 (java) R 31211 31211 16431 0 -1 4202560 81367 0 0 0 243023 21 0 0 20 0 15 0 16433050 14318366720 233866 18446744073709551615 4194304 4196468 140727847481712 140054159306464 140053803006386 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31216] ppid=31211 vsize=13982780 memory=935464 CPUtime=10.58 cores=1,3,5,7
/proc/31214/task/31216/stat : 31216 (java) S 31211 31211 16431 0 -1 1077944384 10875 0 0 0 1017 41 0 0 20 0 15 0 16433051 14318366720 233866 18446744073709551615 4194304 4196468 140727847481712 140054120348048 140054155077333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31217] ppid=31211 vsize=13982780 memory=935464 CPUtime=10.58 cores=1,3,5,7
/proc/31214/task/31217/stat : 31217 (java) S 31211 31211 16431 0 -1 1077944384 11694 0 0 0 1014 44 0 0 20 0 15 0 16433051 14318366720 233866 18446744073709551615 4194304 4196468 140727847481712 140053754153232 140054155077333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31218] ppid=31211 vsize=13982780 memory=1380 CPUtime=10.57 cores=1,3,5,7
/proc/31214/task/31218/stat : 31218 (java) S 31211 31211 16431 0 -1 1077944384 9412 0 0 0 1015 42 0 0 20 0 15 0 16433051 14318366720 233866 18446744073709551615 4194304 4196468 140727847481712 140053753100944 140054155077333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31219] ppid=31211 vsize=13982780 memory=1380 CPUtime=10.53 cores=1,3,5,7
/proc/31214/task/31219/stat : 31219 (java) S 31211 31211 16431 0 -1 1077944384 8961 0 0 0 1012 41 0 0 20 0 15 0 16433051 14318366720 233866 18446744073709551615 4194304 4196468 140727847481712 140053752048144 140054155077333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31220] ppid=31211 vsize=13982780 memory=935464 CPUtime=0.83 cores=1,3,5,7
/proc/31214/task/31220/stat : 31220 (java) S 31211 31211 16431 0 -1 1077944384 16052 0 0 0 73 10 0 0 20 0 15 0 16433052 14318366720 233866 18446744073709551615 4194304 4196468 140727847481712 140053071837808 140054155078274 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31221] ppid=31211 vsize=13982780 memory=7598811100138179152 CPUtime=0 cores=1,3,5,7
/proc/31214/task/31221/stat : 31221 (java) S 31211 31211 16431 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 16433053 14318366720 233866 18446744073709551615 4194304 4196468 140727847481712 140053070783840 140054155077333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31222] ppid=31211 vsize=13982780 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31214/task/31222/stat : 31222 (java) S 31211 31211 16431 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 15 0 16433053 14318366720 233866 18446744073709551615 4194304 4196468 140727847481712 140053069731456 140054155077333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31223] ppid=31211 vsize=13982780 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31214/task/31223/stat : 31223 (java) S 31211 31211 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16433055 14318366720 233866 18446744073709551615 4194304 4196468 140727847481712 140053068679760 140054155085723 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31224] ppid=31211 vsize=13982780 memory=1380 CPUtime=5.7 cores=1,3,5,7
/proc/31214/task/31224/stat : 31224 (java) S 31211 31211 16431 0 -1 1077944384 25466 0 0 0 567 3 0 0 20 0 15 0 16433055 14318366720 233866 18446744073709551615 4194304 4196468 140727847481712 140053067626608 140054155078274 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31225] ppid=31211 vsize=13982780 memory=935464 CPUtime=4.87 cores=1,3,5,7
/proc/31214/task/31225/stat : 31225 (java) S 31211 31211 16431 0 -1 1077944384 17406 0 0 0 483 4 0 0 20 0 15 0 16433055 14318366720 233866 18446744073709551615 4194304 4196468 140727847481712 140053066573808 140054155078274 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31226] ppid=31211 vsize=13982780 memory=1380 CPUtime=1.06 cores=1,3,5,7
/proc/31214/task/31226/stat : 31226 (java) S 31211 31211 16431 0 -1 1077944384 10163 0 0 0 102 4 0 0 20 0 15 0 16433055 14318366720 233866 18446744073709551615 4194304 4196468 140727847481712 140053065521520 140054155078274 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31227] ppid=31211 vsize=13982780 memory=935464 CPUtime=0 cores=1,3,5,7
/proc/31214/task/31227/stat : 31227 (java) S 31211 31211 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16433055 14318366720 233866 18446744073709551615 4194304 4196468 140727847481712 140053064468960 140054155077333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31228] ppid=31211 vsize=13982780 memory=935464 CPUtime=1.02 cores=1,3,5,7
/proc/31214/task/31228/stat : 31228 (java) S 31211 31211 16431 0 -1 1077944384 1501 0 0 0 42 60 0 0 20 0 15 0 16433060 14318366720 233866 18446744073709551615 4194304 4196468 140727847481712 140053063416752 140054155078274 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
Current children cumulated CPU time: 2486.28 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 936844 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2474.8 s]
/proc/loadavg: 1.69 1.68 1.68 3/214 31508
/proc/meminfo: memFree=30257004/32770624 swapFree=67108860/67108860
[pid=31211] ppid=31208 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31211/stat : 31211 (xcsp3-exec) S 31208 31211 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 16433045 9740288 345 18446744073709551615 4194304 5098028 140729214212800 140729214210904 140369717572220 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 4 0 0 7196144 7232144 35758080 140729214214521 140729214214726 140729214214726 140729214218219 0
/proc/31211/statm: 2378 345 289 221 0 87 0
[pid=31214] ppid=31211 vsize=13982780 memory=924636 CPUtime=2520.08 cores=1,3,5,7
/proc/31214/stat : 31214 (java) S 31211 31211 16431 0 -1 1077944320 197274 0 0 0 251744 264 0 0 20 0 15 0 16433050 14318366720 231159 18446744073709551615 4194304 4196468 140727847481712 140727847464256 140054155067127 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
/proc/31214/statm: 3495695 231159 3270 1 0 3483988 0
[pid=31214/tid=31215] ppid=31211 vsize=13982780 memory=13571496182286043 CPUtime=2462.48 cores=1,3,5,7
/proc/31214/task/31215/stat : 31215 (java) R 31211 31211 16431 0 -1 4202560 81919 0 0 0 246226 22 0 0 20 0 15 0 16433050 14318366720 231159 18446744073709551615 4194304 4196468 140727847481712 140054159306688 140053803025053 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31216] ppid=31211 vsize=13982780 memory=4008 CPUtime=11.02 cores=1,3,5,7
/proc/31214/task/31216/stat : 31216 (java) S 31211 31211 16431 0 -1 1077944384 11331 0 0 0 1060 42 0 0 20 0 15 0 16433051 14318366720 231159 18446744073709551615 4194304 4196468 140727847481712 140054120348048 140054155077333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31217] ppid=31211 vsize=13982780 memory=7804 CPUtime=11 cores=1,3,5,7
/proc/31214/task/31217/stat : 31217 (java) S 31211 31211 16431 0 -1 1077944384 12105 0 0 0 1056 44 0 0 20 0 15 0 16433051 14318366720 231159 18446744073709551615 4194304 4196468 140727847481712 140053754153232 140054155077333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31218] ppid=31211 vsize=13982780 memory=1240 CPUtime=11.01 cores=1,3,5,7
/proc/31214/task/31218/stat : 31218 (java) S 31211 31211 16431 0 -1 1077944384 9665 0 0 0 1059 42 0 0 20 0 15 0 16433051 14318366720 231159 18446744073709551615 4194304 4196468 140727847481712 140053753100944 140054155077333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31219] ppid=31211 vsize=13982780 memory=644 CPUtime=10.96 cores=1,3,5,7
/proc/31214/task/31219/stat : 31219 (java) S 31211 31211 16431 0 -1 1077944384 9332 0 0 0 1055 41 0 0 20 0 15 0 16433051 14318366720 231159 18446744073709551615 4194304 4196468 140727847481712 140053752048144 140054155077333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31220] ppid=31211 vsize=13982780 memory=1792 CPUtime=0.85 cores=1,3,5,7
/proc/31214/task/31220/stat : 31220 (java) S 31211 31211 16431 0 -1 1077944384 16932 0 0 0 74 11 0 0 20 0 15 0 16433052 14318366720 231159 18446744073709551615 4194304 4196468 140727847481712 140053071837808 140054155078274 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31221] ppid=31211 vsize=13982780 memory=952 CPUtime=0 cores=1,3,5,7
/proc/31214/task/31221/stat : 31221 (java) S 31211 31211 16431 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 16433053 14318366720 231159 18446744073709551615 4194304 4196468 140727847481712 140053070783840 140054155077333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31222] ppid=31211 vsize=13982780 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/31214/task/31222/stat : 31222 (java) S 31211 31211 16431 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 15 0 16433053 14318366720 231159 18446744073709551615 4194304 4196468 140727847481712 140053069731456 140054155077333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31223] ppid=31211 vsize=13982780 memory=4288 CPUtime=0 cores=1,3,5,7
/proc/31214/task/31223/stat : 31223 (java) S 31211 31211 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16433055 14318366720 231159 18446744073709551615 4194304 4196468 140727847481712 140053068679760 140054155085723 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31224] ppid=31211 vsize=13982780 memory=932 CPUtime=5.7 cores=1,3,5,7
/proc/31214/task/31224/stat : 31224 (java) S 31211 31211 16431 0 -1 1077944384 25466 0 0 0 567 3 0 0 20 0 15 0 16433055 14318366720 231159 18446744073709551615 4194304 4196468 140727847481712 140053067626608 140054155078274 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31225] ppid=31211 vsize=13982780 memory=1584 CPUtime=4.87 cores=1,3,5,7
/proc/31214/task/31225/stat : 31225 (java) S 31211 31211 16431 0 -1 1077944384 17406 0 0 0 483 4 0 0 20 0 15 0 16433055 14318366720 231159 18446744073709551615 4194304 4196468 140727847481712 140053066573808 140054155078274 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31226] ppid=31211 vsize=13982780 memory=2160 CPUtime=1.06 cores=1,3,5,7
/proc/31214/task/31226/stat : 31226 (java) S 31211 31211 16431 0 -1 1077944384 10164 0 0 0 102 4 0 0 20 0 15 0 16433055 14318366720 231159 18446744073709551615 4194304 4196468 140727847481712 140053065521520 140054155078274 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31227] ppid=31211 vsize=13982780 memory=4080 CPUtime=0 cores=1,3,5,7
/proc/31214/task/31227/stat : 31227 (java) S 31211 31211 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16433055 14318366720 231159 18446744073709551615 4194304 4196468 140727847481712 140053064468960 140054155077333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
[pid=31214/tid=31228] ppid=31211 vsize=13982780 memory=4584 CPUtime=1.04 cores=1,3,5,7
/proc/31214/task/31228/stat : 31228 (java) S 31211 31211 16431 0 -1 1077944384 1518 0 0 0 43 61 0 0 20 0 15 0 16433060 14318366720 231159 18446744073709551615 4194304 4196468 140727847481712 140053063416752 140054155078274 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 30339072 140727847485874 140727847486050 140727847486050 140727847489487 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 926016 KiB

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

[startup+2474.81 s]
# the end of solver process 31211 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0 s, system=0.001826 s

[startup+2474.82 s]
# the end of solver process 31214 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.46 s, system=2.65137 s
# this solver process was not waited by its parent and was adopted by runsolver

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

Child status: 143
Real time (s): 2474.82
CPU time (s): 2520.11
CPU user time (s): 2517.46
CPU system time (s): 2.65137
CPU usage (%): 101.83
Max. virtual memory (cumulated for all children) (KiB): 13992292
Max. memory (cumulated for all children) (KiB): 1155708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.46
system time used= 2.65137
maximum resident set size= 1164816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 198118
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 65480
involuntary context switches= 2019


# summary of solver processes directly reported to runsolver:
#   pid: 31211,31214
#   total CPU time (s): 2520.11
#   total CPU user time (s): 2517.46
#   total CPU system time (s): 2.65137

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.2744 second user time and 22.6718 second system time

The end

Begin job on node128 at 2017-08-19 23:49:53
IDJOB=4283560
IDBENCH=115882
IDSOLVER=2679
FILE ID=node128/4283560-1503180233
RUNJOBID= node128-1503171959-30215
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-50.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4283560-1503180233/watcher-4283560-1503180233 -o /tmp/evaluation-result-4283560-1503180233/solver-4283560-1503180233 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1503171959-30215 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 2128236940 HOME/instance-4283560-1503180233.xml

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

MD5SUM BENCH= b46c08097c4951fbb159b9042bff535d
RANDOM SEED=2128236940

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31375968 kB
MemAvailable:   31610328 kB
Buffers:          186892 kB
Cached:           337076 kB
SwapCached:            0 kB
Active:           653796 kB
Inactive:         334696 kB
Active(anon):     464696 kB
Inactive(anon):    16752 kB
Active(file):     189100 kB
Inactive(file):   317944 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7828 kB
Writeback:             0 kB
AnonPages:        463676 kB
Mapped:            45004 kB
Shmem:             17060 kB
Slab:             110856 kB
SReclaimable:      86304 kB
SUnreclaim:        24552 kB
KernelStack:        3504 kB
PageTables:         5912 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     974604 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    395264 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 62016 MiB
End job on node128 at 2017-08-20 00:31:08