0.00/0.10	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4282090-1503104186.xml"  -tl '2520s' -p 1 -x 0
0.21/0.32	c [HOME/instance-4282090-1503104186.xml, -tl, 2520s, -p, 1, -x, 0]
0.21/0.38	c simple solver
0.36/0.45	c parse instance...
3.39/1.82	c solve instance...
2493.03/2487.32	o 946 
2493.58/2487.74	o 947 
2495.98/2490.03	o 948 
2510.86/2504.83	o 959 
2520.10/2514.01	s SATISFIABLE
2520.10/2514.01	v <instantiation>
2520.10/2514.01	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.10/2514.01	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 1 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 1 0 0 0 1 0 1 1 0 1 1 1 1 1 1 1 0 1 0 1 0 0 1 0 1 1 0 1 1 0 1 0 1 1 1 1 0 0 0 1 0 1 1 0 1 0 0 1 0 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 1 0 1 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 1 1 1 1 0 0 0 0 0 0 1 1 0 1 0 0 1 1 1 0 0 1 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 1 0 0 0 0 0 1 1 1 0 1 1 0 0 1 1 1 0 0 1 0 0 1 0 1 1 1 0 1 1 0 1 0 1 0 1 1 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 1 0 1 0 0 1 0 0 0 1 0 1 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 1 0 0 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 0 1 1 0 1 1 0 1 0 0 0 1 0 1 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 1 1 1 1 1 1 1 1 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 1 0 0 1 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 0 0 1 1 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 0 1 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 1 1 0 0 1 1 1 0 0 0 0 0 1 0 1 1 1 1 1 1 0 0 1 0 1 0 1 0 0 0 0 1 0 1 1 0 0 1 1 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 1 1 0 0 1 0 0 1 1 0 1 0 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 1 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 1 0 1 0 0 1 0 1 0 1 1 0 1 1 0 0 0 1 1 1 0 0 0 0 1 1 1 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 0 1 1 0 1 0 0 1 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 1 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 0 1 0 1 1 0 0 0 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 1 1 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 0 1 1 1 1 0 0 1 0 1 1 0 0 0 1 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 0 1 1 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 1 1 0 0 0 1 0 1 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 1 1 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 1 1 0 1 1 0 1 0 1 1 1 0 1 1 0 0 0 1 0 0 0 0 1 1 0 0 0 1 1 1 1 0 1 0 0 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 1 1 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 0 1 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 1 0 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 0 0 0 0 0 0 0 1 1 0 1 0 0 1 1 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 1 0 0 1 1 1 1 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 1 1 1 1 1 1 0 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 1 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 1 0 1 1 0 1 0 0 0 0 1 1 1 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 1 1 0 1 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 1 0 0 0 0 0 0 1 1 0 0 1 0 1 1 1 0 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 1 1 0 1 0 1 1 0 1 1 1 0 0 0 1 0 1 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 1 1 0 1 0 1 0 1 1 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 1 0 1 1 1 0 1 1 1 0 0 1 0 0 1 1 0 0 1 0 1 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 1 0 1 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 1 1 1 0 0 1 0 1 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 0 1 0 0 0 1 1 0 1 0 1 0 0 1 1 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 1 0 1 1 1 0 0 1 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 1 0 0 1 0 0 1 0 1 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 1 0 0 0 1 1 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 1 0 0 1 1 1 1 1 1 1 1 0 0 1 1 0 0 1 1 1 0 0 1 1 1 0 0 1 0 0 1 0 0 1 1 1 0 1 1 1 1 1 0 1 2 1 1 0 0 0 1 1 1 0 1 1 2 1 1 2 2 2 1 0 1 1 1 0 1 1 2 0 1 1 0 2 0 0 0 0 0 1 0 1 0 1 2 0 1 0 2 2 2 2 1 1 2 2 0 0 0 0 0 2 1 1 0 1 1 1 0 1 2 2 1 1 0 1 1 0 0 2 1 1 0 0 1 0 1 2 0 0 0 0 2 0 0 1 0 0 2 1 1 2 1 1 1 1 2 1 1 0 0 0 1 0 1 0 0 0 0 0 0 1 1 2 2 0 1 1 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 2 0 0 0 1 1 1 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 2 0 0 1 0 0 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 2 1 0 1 0 0 0 0 1 1 0 1 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 1 1 1 2 1 2 1 0 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 1 0 0 1 1 0 1 2 2 2 2 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 1 0 0 2 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 2 1 1 2 1 1 2 0 1 0 0 1 0 1 0 0 0 2 1 1 0 2 0 1 0 1 0 0 1 0 0 1 1 2 0 1 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 1 1 2 1 1 0 0 0 0 1 0 0 1 1 2 1 0 0 0 0 0 1 0 1 0 0 1 0 0 2 2 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 2 1 1 0 0 0 1 0 1 2 0 0 0 1 0 1 1 0 1 0 0 0 1 0 1 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 2 1 0 0 0 0 0 0 1 2 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 1 0 0 1 0 0 1 1 1 1 0 0 0 0 1 0 1 1 2 1 0 1 1 2 0 1 1 0 0 0 1 1 2 1 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 1 1 1 1 1 1 0 1 1 1 0 0 1 0 0 0 0 0 1 2 0 1 0 1 1 1 0 0 0 1 0 0 1 1 1 0 0 2 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 2 0 0 0 1 0 0 0 0 0 0 0 0 1 1 2 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 0 0 0 1 0 1 0 0 0 1 1 1 2 2 1 1 0 1 0 1 1 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 1 1 1 0 0 0 1 1 2 2 1 1 1 0 0 1 2 1 2 2 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 2 2 1 0 0 1 0 2 1 1 1 0 0 0 1 1 2 1 1 2 2 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 2 2 2 1 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 1 1 1 0 1 1 1 1 0 1 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 2 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 2 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 2 1 0 0 0 0 0 0 1 1 2 2 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 2 1 0 0 1 0 1 1 2 1 2 2 2 0 0 1 0 0 1 0 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 2 2 2 0 2 0 2 1 2 1 1 2 2 1 1 0 0 0 0 0 1 1 1 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 2 2 2 1 0 1 1 2 1 0 0 0 2 2 0 0 1 0 1 0 0 1 0 1 0 0 1 1 2 1 1 0 0 0 1 1 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 1 0 2 1 1 0 0 0 1 1 0 0 1 0 1 1 0 0 2 1 0 0 0 1 0 1 0 0 2 2 2 0 0 0 0 1 0 1 0 0 1 1 1 1 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 1 0 1 0 1 2 1 0 1 0 2 0 1 0 0 0 0 1 0 1 1 0 0 1 0 0 0 1 0 1 0 1 0 0 1 1 2 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 2 2 2 2 1 0 1 0 0 0 0 1 1 1 0 1 1 1 0 0 0 0 1 0 0 1 1 0 0 0 1 0 2 1 1 2 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 2 2 1 1 2 2 1 0 0 0 0 0 0 2 1 1 0 1 0 1 0 1 0 0 0 1 1 1 1 0 1 1 2 1 0 1 1 1 0 1 0 0 0 0 1 0 0 0 0 1 0 1 2 1 0 0 1 2 2 1 1 1 0 0 2 0 2 0 0 0 0 1 2 0 0 0 0 0 1 1 0 1 1 2 2 1 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 1 1 0 0 1 2 2 2 1 0 0 0 0 0 0 2 1 1 1 1 2 1 1 0 0 0 0 0 1 0 2 1 1 2 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 2 2 2 1 1 0 0 1 0 0 1 1 2 2 1 1 1 2 0 1 0 0 0 0 0 1 0 0 1 1 1 2 0 0 1 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 0 2 2 1 0 1 0 0 1 0 0 1 1 1 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 0 0 1 0 0 0 1 0 0 1 1 1 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 1 0 0 0 0 2 2 2 1 1 0 1 0 0 0 0 1 1 2 1 0 1 0 0 0 0 1 0 1 0 1 1 1 1 2 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 2 0 2 2 2 0 1 0 0 0 0 1 0 2 2 1 0 0 1 0 0 0 0 0 0 0 1 2 2 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 1 2 2 2 0 0 0 0 0 0 2 2 2 1 1 0 0 1 0 0 0 0 0 1 1 2 2 2 1 1 1 0 0 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 2 1 0 0 0 0 0 1 0 2 2 1 0 0 1 0 0 0 0 0 1 1 2 2 2 2 2 2 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 2 1 0 1 0 0 0 0 0 0 1 1 2 2 1 1 2 2 2 0 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 2 1 1 1 1 1 1 0 1 0 0 0 1 2 0 0 0 1 2 1 0 0 0 0 1 1 2 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 1 0 1 2 2 0 0 1 2 1 0 1 0 1 0 1 0 1 1 0 0 0 0 1 2 1 1 0 0 0 1 1 2 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 2 1 1 0 0 1 1 1 0 0 0 1 0 1 1 0 1 0 0 1 1 2 2 0 1 0 0 1 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 2 2 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 2 1 0 1 0 1 2 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 2 0 0 1 0 1 0 0 0 1 1 2 1 2 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 1 2 2 0 1 1 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 1 0 0 0 2 2 2 1 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 2 2 1 1 0 0 0 1 1 1 0 1 1 1 0 0 1 1 1 1 0 0 2 1 2 0 0 1 1 1 1 0 0 2 2 2 1 0 1 1 1 0 1 0 0 0 1 1 2 1 0 1 1 2 2 1 0 0 0 1 1 0 1 1 2 0 1 1 0 2 2 1 0 1 1 2 1 1 0 1 2 2 1 0 1 1 2 2 2 1 1 2 1 1 0 0 0 1 1 2 2 1 1 0 1 2 2 1 0 0 0 1 1 0 0 1 1 1 0 0 1 1 1 1 0 0 1 1 1 0 0 1 1 1 1 0 0 1 1 1 1 1 1 1 1 0 0 1 0 0 1 1 1 1 0 0 1 1 1 0 31 78 119 145 160 175 190 205 226 254 284 308 328 346 375 398 416 439 466 494 516 533 553 580 612 643 670 695 725 755 788 821 855 881 894 903 922 947 975 1002 1030 1059 1087 1110 1135 1160 1181 1206 1237 1279 1332 1364 959 </values>
2520.10/2514.01	v </instantiation>
2520.10/2514.01	c Unexpected resolution interruption!

OK	959

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282090-1503104186/watcher-4282090-1503104186 -o /tmp/evaluation-result-4282090-1503104186/solver-4282090-1503104186 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1503095799-28950 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 526596466 HOME/instance-4282090-1503104186.xml 

running on 4 cores: 0,2,4,6

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


[startup+0.100149 s]*
/proc/loadavg: 2.03 1.93 1.90 2/197 29877
/proc/meminfo: memFree=30938608/32770624 swapFree=67108860/67108860
[pid=29876] ppid=29873 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29876/stat : 29876 (xcsp3-exec) S 29873 29876 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 112611661 9740288 345 18446744073709551615 4194304 5098028 140727528486896 140727528485000 140631365386876 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 39817216 140727528489337 140727528489541 140727528489541 140727528493035 0
/proc/29876/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1380 KiB

[startup+0.209628 s]*
/proc/loadavg: 2.03 1.93 1.90 2/211 29891
/proc/meminfo: memFree=30928272/32770624 swapFree=67108860/67108860
[pid=29876] ppid=29873 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29876/stat : 29876 (xcsp3-exec) S 29873 29876 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 112611661 9740288 345 18446744073709551615 4194304 5098028 140727528486896 140727528485000 140631365386876 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 39817216 140727528489337 140727528489541 140727528489541 140727528493035 0
/proc/29876/statm: 2378 345 289 221 0 87 0
[pid=29878] ppid=29876 vsize=13907304 memory=20668 CPUtime=0.05 cores=0,2,4,6
/proc/29878/stat : 29878 (java) S 29876 29876 28892 0 -1 1077944320 4551 0 0 0 4 1 0 0 20 0 14 0 112611671 14241079296 5167 18446744073709551615 4194304 4196468 140736229490928 140736229473472 139989514415863 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
/proc/29878/statm: 3476826 5167 2575 1 0 3466323 0
[pid=29878/tid=29879] ppid=29876 vsize=13907304 memory=7311146985107750967 CPUtime=0.04 cores=0,2,4,6
/proc/29878/task/29879/stat : 29879 (java) D 29876 29876 28892 0 -1 4202560 2728 0 0 0 4 0 0 0 20 0 14 0 112611672 14241079296 5167 18446744073709551615 4194304 4196468 140736229490928 139989518653344 139989514437885 0 4 1 16800974 18446744071580418449 0 0 -1 6 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29880] ppid=29876 vsize=13907304 memory=13729 CPUtime=0 cores=0,2,4,6
/proc/29878/task/29880/stat : 29880 (java) S 29876 29876 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 112611672 14241079296 5167 18446744073709551615 4194304 4196468 140736229490928 139989433829776 139989514426069 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29881] ppid=29876 vsize=13907304 memory=3688928030897071776 CPUtime=0 cores=0,2,4,6
/proc/29878/task/29881/stat : 29881 (java) S 29876 29876 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 112611672 14241079296 5167 18446744073709551615 4194304 4196468 140736229490928 139989432776976 139989514426069 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29882] ppid=29876 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29878/task/29882/stat : 29882 (java) S 29876 29876 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 112611672 14241079296 5167 18446744073709551615 4194304 4196468 140736229490928 139989431724688 139989514426069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29883] ppid=29876 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29878/task/29883/stat : 29883 (java) S 29876 29876 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 112611672 14241079296 5167 18446744073709551615 4194304 4196468 140736229490928 139989430671888 139989514426069 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29884] ppid=29876 vsize=13907304 memory=139945630361216 CPUtime=0 cores=0,2,4,6
/proc/29878/task/29884/stat : 29884 (java) S 29876 29876 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 112611674 14241079296 5167 18446744073709551615 4194304 4196468 140736229490928 139988992240240 139989514427010 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29885] ppid=29876 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29878/task/29885/stat : 29885 (java) S 29876 29876 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 112611674 14241079296 5167 18446744073709551615 4194304 4196468 140736229490928 139988991186208 139989514426069 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29886] ppid=29876 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29878/task/29886/stat : 29886 (java) S 29876 29876 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 112611674 14241079296 5167 18446744073709551615 4194304 4196468 140736229490928 139988990133872 139989514426069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29887] ppid=29876 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29878/task/29887/stat : 29887 (java) S 29876 29876 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 112611677 14241079296 5167 18446744073709551615 4194304 4196468 140736229490928 139988989082192 139989514434459 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29888] ppid=29876 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29878/task/29888/stat : 29888 (java) S 29876 29876 28892 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 14 0 112611677 14241079296 5167 18446744073709551615 4194304 4196468 140736229490928 139988988029040 139989514427010 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29889] ppid=29876 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29878/task/29889/stat : 29889 (java) S 29876 29876 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 112611677 14241079296 5167 18446744073709551615 4194304 4196468 140736229490928 139988986976240 139989514427010 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29890] ppid=29876 vsize=13907304 memory=139945630361216 CPUtime=0 cores=0,2,4,6
/proc/29878/task/29890/stat : 29890 (java) S 29876 29876 28892 0 -1 1077944384 212 0 0 0 0 0 0 0 20 0 14 0 112611677 14241079296 5167 18446744073709551615 4194304 4196468 140736229490928 139988985923952 139989514427010 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29891] ppid=29876 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29878/task/29891/stat : 29891 (java) S 29876 29876 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 112611677 14241079296 5167 18446744073709551615 4194304 4196468 140736229490928 139988984871392 139989514426069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 22048 KiB

[startup+0.310247 s]*
/proc/loadavg: 2.03 1.93 1.90 5/212 29892
/proc/meminfo: memFree=30918888/32770624 swapFree=67108860/67108860
[pid=29876] ppid=29873 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29876/stat : 29876 (xcsp3-exec) S 29873 29876 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 112611661 9740288 345 18446744073709551615 4194304 5098028 140727528486896 140727528485000 140631365386876 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 39817216 140727528489337 140727528489541 140727528489541 140727528493035 0
/proc/29876/statm: 2378 345 289 221 0 87 0
[pid=29878] ppid=29876 vsize=13974352 memory=32052 CPUtime=0.21 cores=0,2,4,6
/proc/29878/stat : 29878 (java) S 29876 29876 28892 0 -1 1077944320 5862 0 0 0 19 2 0 0 20 0 15 0 112611671 14309736448 8013 18446744073709551615 4194304 4196468 140736229490928 140736229473472 139989514415863 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
/proc/29878/statm: 3493588 8013 2965 1 0 3482964 0
[pid=29878/tid=29879] ppid=29876 vsize=13974352 memory=-8774313645642428999 CPUtime=0.12 cores=0,2,4,6
/proc/29878/task/29879/stat : 29879 (java) R 29876 29876 28892 0 -1 4202560 3190 0 0 0 11 1 0 0 20 0 15 0 112611672 14309736448 8013 18446744073709551615 4194304 4196468 140736229490928 139989518650560 139989498496350 0 4 1 16800974 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29880] ppid=29876 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29878/task/29880/stat : 29880 (java) S 29876 29876 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112611672 14309736448 8013 18446744073709551615 4194304 4196468 140736229490928 139989433829776 139989514426069 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29881] ppid=29876 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29878/task/29881/stat : 29881 (java) S 29876 29876 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112611672 14309736448 8013 18446744073709551615 4194304 4196468 140736229490928 139989432776976 139989514426069 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29882] ppid=29876 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29878/task/29882/stat : 29882 (java) S 29876 29876 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112611672 14309736448 8013 18446744073709551615 4194304 4196468 140736229490928 139989431724688 139989514426069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29883] ppid=29876 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29878/task/29883/stat : 29883 (java) S 29876 29876 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112611672 14309736448 8013 18446744073709551615 4194304 4196468 140736229490928 139989430671888 139989514426069 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29884] ppid=29876 vsize=13974352 memory=139945630361216 CPUtime=0 cores=0,2,4,6
/proc/29878/task/29884/stat : 29884 (java) S 29876 29876 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112611674 14309736448 8013 18446744073709551615 4194304 4196468 140736229490928 139988992240240 139989514427010 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29885] ppid=29876 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29878/task/29885/stat : 29885 (java) S 29876 29876 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112611674 14309736448 8013 18446744073709551615 4194304 4196468 140736229490928 139988991186208 139989514426069 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29886] ppid=29876 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29878/task/29886/stat : 29886 (java) S 29876 29876 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112611674 14309736448 8013 18446744073709551615 4194304 4196468 140736229490928 139988990133872 139989514426069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29887] ppid=29876 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29878/task/29887/stat : 29887 (java) S 29876 29876 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112611677 14309736448 8013 18446744073709551615 4194304 4196468 140736229490928 139988989082192 139989514434459 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29888] ppid=29876 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/29878/task/29888/stat : 29888 (java) S 29876 29876 28892 0 -1 1077944384 473 0 0 0 1 0 0 0 20 0 15 0 112611677 14309736448 8013 18446744073709551615 4194304 4196468 140736229490928 139988988029040 139989514427010 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29889] ppid=29876 vsize=13974352 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/29878/task/29889/stat : 29889 (java) S 29876 29876 28892 0 -1 1077944384 229 0 0 0 1 0 0 0 20 0 15 0 112611677 14309736448 8013 18446744073709551615 4194304 4196468 140736229490928 139988986976240 139989514427010 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29890] ppid=29876 vsize=13974352 memory=139945630361216 CPUtime=0.04 cores=0,2,4,6
/proc/29878/task/29890/stat : 29890 (java) R 29876 29876 28892 0 -1 4202560 666 0 0 0 4 0 0 0 20 0 15 0 112611677 14309736448 8013 18446744073709551615 4194304 4196468 140736229490928 139988985923952 139989493717074 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29891] ppid=29876 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29878/task/29891/stat : 29891 (java) S 29876 29876 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112611677 14309736448 8013 18446744073709551615 4194304 4196468 140736229490928 139988984871392 139989514426069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29892] ppid=29876 vsize=13974352 memory=139945630361216 CPUtime=0 cores=0,2,4,6
/proc/29878/task/29892/stat : 29892 (java) S 29876 29876 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112611685 14309736448 8013 18446744073709551615 4194304 4196468 140736229490928 139988983819184 139989514427010 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 33432 KiB

[startup+0.700787 s]
/proc/loadavg: 2.03 1.93 1.90 6/212 29892
/proc/meminfo: memFree=30903148/32770624 swapFree=67108860/67108860
[pid=29876] ppid=29873 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29876/stat : 29876 (xcsp3-exec) S 29873 29876 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 112611661 9740288 345 18446744073709551615 4194304 5098028 140727528486896 140727528485000 140631365386876 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 39817216 140727528489337 140727528489541 140727528489541 140727528493035 0
/proc/29876/statm: 2378 345 289 221 0 87 0
[pid=29878] ppid=29876 vsize=13978684 memory=75388 CPUtime=1.22 cores=0,2,4,6
/proc/29878/stat : 29878 (java) S 29876 29876 28892 0 -1 1077944320 12531 0 0 0 117 5 0 0 20 0 15 0 112611671 14314172416 18847 18446744073709551615 4194304 4196468 140736229490928 140736229473472 139989514415863 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
/proc/29878/statm: 3494671 18847 3162 1 0 3482964 0
[pid=29878/tid=29879] ppid=29876 vsize=13978684 memory=0 CPUtime=0.49 cores=0,2,4,6
/proc/29878/task/29879/stat : 29879 (java) R 29876 29876 28892 0 -1 4202560 7409 0 0 0 46 3 0 0 20 0 15 0 112611672 14314172416 18847 18446744073709551615 4194304 4196468 140736229490928 139989518650576 139989514427798 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29880] ppid=29876 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29878/task/29880/stat : 29880 (java) S 29876 29876 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112611672 14314172416 18847 18446744073709551615 4194304 4196468 140736229490928 139989433829776 139989514426069 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29881] ppid=29876 vsize=13978684 memory=5866592068337746016 CPUtime=0 cores=0,2,4,6
/proc/29878/task/29881/stat : 29881 (java) S 29876 29876 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112611672 14314172416 18847 18446744073709551615 4194304 4196468 140736229490928 139989432776976 139989514426069 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29882] ppid=29876 vsize=13978684 memory=7660742144744843625 CPUtime=0 cores=0,2,4,6
/proc/29878/task/29882/stat : 29882 (java) S 29876 29876 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112611672 14314172416 18847 18446744073709551615 4194304 4196468 140736229490928 139989431724688 139989514426069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29883] ppid=29876 vsize=13978684 memory=4638778398332698720 CPUtime=0 cores=0,2,4,6
/proc/29878/task/29883/stat : 29883 (java) S 29876 29876 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112611672 14314172416 18847 18446744073709551615 4194304 4196468 140736229490928 139989430671888 139989514426069 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29884] ppid=29876 vsize=13978684 memory=7100839878645814387 CPUtime=0 cores=0,2,4,6
/proc/29878/task/29884/stat : 29884 (java) S 29876 29876 28892 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 112611674 14314172416 18847 18446744073709551615 4194304 4196468 140736229490928 139988992240240 139989514427010 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29885] ppid=29876 vsize=13978684 memory=-2629632117013337502 CPUtime=0 cores=0,2,4,6
/proc/29878/task/29885/stat : 29885 (java) S 29876 29876 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112611674 14314172416 18847 18446744073709551615 4194304 4196468 140736229490928 139988991186208 139989514426069 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29886] ppid=29876 vsize=13978684 memory=-9001734043636558696 CPUtime=0 cores=0,2,4,6
/proc/29878/task/29886/stat : 29886 (java) S 29876 29876 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112611674 14314172416 18847 18446744073709551615 4194304 4196468 140736229490928 139988990133872 139989514426069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29887] ppid=29876 vsize=13978684 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/29878/task/29887/stat : 29887 (java) S 29876 29876 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112611677 14314172416 18847 18446744073709551615 4194304 4196468 140736229490928 139988989082192 139989514434459 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29888] ppid=29876 vsize=13978684 memory=2241 CPUtime=0.21 cores=0,2,4,6
/proc/29878/task/29888/stat : 29888 (java) R 29876 29876 28892 0 -1 4202560 1156 0 0 0 21 0 0 0 20 0 15 0 112611677 14314172416 18847 18446744073709551615 4194304 4196468 140736229490928 139988988019872 139989498318934 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29889] ppid=29876 vsize=13978684 memory=2244 CPUtime=0.2 cores=0,2,4,6
/proc/29878/task/29889/stat : 29889 (java) R 29876 29876 28892 0 -1 4202560 1229 0 0 0 20 0 0 0 20 0 15 0 112611677 14314172416 18847 18446744073709551615 4194304 4196468 140736229490928 139988986963024 139989495051796 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29890] ppid=29876 vsize=13978684 memory=0 CPUtime=0.28 cores=0,2,4,6
/proc/29878/task/29890/stat : 29890 (java) R 29876 29876 28892 0 -1 1077944384 1429 0 0 0 28 0 0 0 20 0 15 0 112611677 14314172416 18847 18446744073709551615 4194304 4196468 140736229490928 139988985923952 139989514427010 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29891] ppid=29876 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29878/task/29891/stat : 29891 (java) S 29876 29876 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112611677 14314172416 18847 18446744073709551615 4194304 4196468 140736229490928 139988984871392 139989514426069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29892] ppid=29876 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29878/task/29892/stat : 29892 (java) S 29876 29876 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112611685 14314172416 18847 18446744073709551615 4194304 4196468 140736229490928 139988983819184 139989514427010 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 76768 KiB

[startup+1.50095 s]
/proc/loadavg: 2.03 1.93 1.90 6/212 29892
/proc/meminfo: memFree=30841236/32770624 swapFree=67108860/67108860
[pid=29876] ppid=29873 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29876/stat : 29876 (xcsp3-exec) S 29873 29876 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 112611661 9740288 345 18446744073709551615 4194304 5098028 140727528486896 140727528485000 140631365386876 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 39817216 140727528489337 140727528489541 140727528489541 140727528493035 0
/proc/29876/statm: 2378 345 289 221 0 87 0
[pid=29878] ppid=29876 vsize=13980732 memory=157308 CPUtime=2.91 cores=0,2,4,6
/proc/29878/stat : 29878 (java) S 29876 29876 28892 0 -1 1077944320 17429 0 0 0 284 7 0 0 20 0 15 0 112611671 14316269568 39327 18446744073709551615 4194304 4196468 140736229490928 140736229473472 139989514415863 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
/proc/29878/statm: 3495183 39327 3188 1 0 3483476 0
[pid=29878/tid=29879] ppid=29876 vsize=13980732 memory=23738 CPUtime=1.29 cores=0,2,4,6
/proc/29878/task/29879/stat : 29879 (java) R 29876 29876 28892 0 -1 4202560 9433 0 0 0 124 5 0 0 20 0 15 0 112611672 14316269568 39327 18446744073709551615 4194304 4196468 140736229490928 139989518643232 139989514427798 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29880] ppid=29876 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29878/task/29880/stat : 29880 (java) S 29876 29876 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112611672 14316269568 39327 18446744073709551615 4194304 4196468 140736229490928 139989433829776 139989514426069 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29881] ppid=29876 vsize=13980732 memory=-3253322038155611931 CPUtime=0 cores=0,2,4,6
/proc/29878/task/29881/stat : 29881 (java) S 29876 29876 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112611672 14316269568 39327 18446744073709551615 4194304 4196468 140736229490928 139989432776976 139989514426069 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29882] ppid=29876 vsize=13980732 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/29878/task/29882/stat : 29882 (java) S 29876 29876 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112611672 14316269568 39327 18446744073709551615 4194304 4196468 140736229490928 139989431724688 139989514426069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29883] ppid=29876 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29878/task/29883/stat : 29883 (java) S 29876 29876 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112611672 14316269568 39327 18446744073709551615 4194304 4196468 140736229490928 139989430671888 139989514426069 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29884] ppid=29876 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29878/task/29884/stat : 29884 (java) S 29876 29876 28892 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 112611674 14316269568 39327 18446744073709551615 4194304 4196468 140736229490928 139988992240240 139989514427010 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29885] ppid=29876 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29878/task/29885/stat : 29885 (java) S 29876 29876 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112611674 14316269568 39327 18446744073709551615 4194304 4196468 140736229490928 139988991186208 139989514426069 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29886] ppid=29876 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29878/task/29886/stat : 29886 (java) S 29876 29876 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112611674 14316269568 39327 18446744073709551615 4194304 4196468 140736229490928 139988990133872 139989514426069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29887] ppid=29876 vsize=13980732 memory=139945469971520 CPUtime=0 cores=0,2,4,6
/proc/29878/task/29887/stat : 29887 (java) S 29876 29876 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112611677 14316269568 39327 18446744073709551615 4194304 4196468 140736229490928 139988989082192 139989514434459 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29888] ppid=29876 vsize=13980732 memory=0 CPUtime=0.58 cores=0,2,4,6
/proc/29878/task/29888/stat : 29888 (java) R 29876 29876 28892 0 -1 4202560 2510 0 0 0 58 0 0 0 20 0 15 0 112611677 14316269568 39327 18446744073709551615 4194304 4196468 140736229490928 139988988029040 139989495937069 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29889] ppid=29876 vsize=13980732 memory=0 CPUtime=0.56 cores=0,2,4,6
/proc/29878/task/29889/stat : 29889 (java) R 29876 29876 28892 0 -1 4202560 2286 0 0 0 56 0 0 0 20 0 15 0 112611677 14316269568 39327 18446744073709551615 4194304 4196468 140736229490928 139988986976240 139989498809620 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29890] ppid=29876 vsize=13980732 memory=0 CPUtime=0.43 cores=0,2,4,6
/proc/29878/task/29890/stat : 29890 (java) R 29876 29876 28892 0 -1 1077944384 1877 0 0 0 43 0 0 0 20 0 15 0 112611677 14316269568 39327 18446744073709551615 4194304 4196468 140736229490928 139988985923952 139989514427010 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29891] ppid=29876 vsize=13980732 memory=60656 CPUtime=0 cores=0,2,4,6
/proc/29878/task/29891/stat : 29891 (java) S 29876 29876 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112611677 14316269568 39327 18446744073709551615 4194304 4196468 140736229490928 139988984871392 139989514426069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29892] ppid=29876 vsize=13980732 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/29878/task/29892/stat : 29892 (java) S 29876 29876 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112611685 14316269568 39327 18446744073709551615 4194304 4196468 140736229490928 139988983819184 139989514427010 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
Current children cumulated CPU time: 2.91 s
Current children cumulated vsize: 13990244 KiB

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

/proc/29878/task/29886/stat : 29886 (java) S 29876 29876 28892 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 112611674 14316269568 71388 18446744073709551615 4194304 4196468 140736229490928 139988990133888 139989514426069 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29887] ppid=29876 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29878/task/29887/stat : 29887 (java) S 29876 29876 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112611677 14316269568 71388 18446744073709551615 4194304 4196468 140736229490928 139988989082192 139989514434459 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29888] ppid=29876 vsize=13980732 memory=285552 CPUtime=1.87 cores=0,2,4,6
/proc/29878/task/29888/stat : 29888 (java) S 29876 29876 28892 0 -1 1077944384 14990 0 0 0 185 2 0 0 20 0 15 0 112611677 14316269568 71388 18446744073709551615 4194304 4196468 140736229490928 139988988029040 139989514427010 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29889] ppid=29876 vsize=13980732 memory=4028 CPUtime=2.12 cores=0,2,4,6
/proc/29878/task/29889/stat : 29889 (java) S 29876 29876 28892 0 -1 1077944384 13786 0 0 0 211 1 0 0 20 0 15 0 112611677 14316269568 71388 18446744073709551615 4194304 4196468 140736229490928 139988986976240 139989514427010 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29890] ppid=29876 vsize=13980732 memory=1380 CPUtime=0.73 cores=0,2,4,6
/proc/29878/task/29890/stat : 29890 (java) S 29876 29876 28892 0 -1 1077944384 7313 0 0 0 71 2 0 0 20 0 15 0 112611677 14316269568 71388 18446744073709551615 4194304 4196468 140736229490928 139988985923952 139989514427010 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29891] ppid=29876 vsize=13980732 memory=285552 CPUtime=0 cores=0,2,4,6
/proc/29878/task/29891/stat : 29891 (java) S 29876 29876 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112611677 14316269568 71388 18446744073709551615 4194304 4196468 140736229490928 139988984871392 139989514426069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29892] ppid=29876 vsize=13980732 memory=1380 CPUtime=0.74 cores=0,2,4,6
/proc/29878/task/29892/stat : 29892 (java) S 29876 29876 28892 0 -1 1077944384 826 0 0 0 34 40 0 0 20 0 15 0 112611685 14316269568 71388 18446744073709551615 4194304 4196468 140736229490928 139988983819184 139989514427010 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
Current children cumulated CPU time: 2387.97 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 286932 KiB

[startup+2442.3 s]
/proc/loadavg: 1.94 2.00 1.94 3/211 30178
/proc/meminfo: memFree=30683004/32770624 swapFree=67108860/67108860
[pid=29876] ppid=29873 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29876/stat : 29876 (xcsp3-exec) S 29873 29876 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 112611661 9740288 345 18446744073709551615 4194304 5098028 140727528486896 140727528485000 140631365386876 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 39817216 140727528489337 140727528489541 140727528489541 140727528493035 0
/proc/29876/statm: 2378 345 289 221 0 87 0
[pid=29878] ppid=29876 vsize=13980732 memory=279396 CPUtime=2448 cores=0,2,4,6
/proc/29878/stat : 29878 (java) S 29876 29876 28892 0 -1 1077944320 77793 0 0 0 244746 54 0 0 20 0 15 0 112611671 14316269568 69849 18446744073709551615 4194304 4196468 140736229490928 140736229473472 139989514415863 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
/proc/29878/statm: 3495183 69849 3236 1 0 3483476 0
[pid=29878/tid=29879] ppid=29876 vsize=13980732 memory=279396 CPUtime=2441.75 cores=0,2,4,6
/proc/29878/task/29879/stat : 29879 (java) R 29876 29876 28892 0 -1 4202560 26014 0 0 0 244168 7 0 0 20 0 15 0 112611672 14316269568 69849 18446744073709551615 4194304 4196468 140736229490928 139989518655104 139989113940621 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29880] ppid=29876 vsize=13980732 memory=279396 CPUtime=0.15 cores=0,2,4,6
/proc/29878/task/29880/stat : 29880 (java) S 29876 29876 28892 0 -1 1077944384 2297 0 0 0 11 4 0 0 20 0 15 0 112611672 14316269568 69849 18446744073709551615 4194304 4196468 140736229490928 139989433829776 139989514426069 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29881] ppid=29876 vsize=13980732 memory=285552 CPUtime=0.16 cores=0,2,4,6
/proc/29878/task/29881/stat : 29881 (java) S 29876 29876 28892 0 -1 1077944384 1856 0 0 0 12 4 0 0 20 0 15 0 112611672 14316269568 69849 18446744073709551615 4194304 4196468 140736229490928 139989432776976 139989514426069 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29882] ppid=29876 vsize=13980732 memory=1380 CPUtime=0.15 cores=0,2,4,6
/proc/29878/task/29882/stat : 29882 (java) S 29876 29876 28892 0 -1 1077944384 3359 0 0 0 11 4 0 0 20 0 15 0 112611672 14316269568 69849 18446744073709551615 4194304 4196468 140736229490928 139989431724688 139989514426069 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29883] ppid=29876 vsize=13980732 memory=279396 CPUtime=0.15 cores=0,2,4,6
/proc/29878/task/29883/stat : 29883 (java) S 29876 29876 28892 0 -1 1077944384 2981 0 0 0 11 4 0 0 20 0 15 0 112611672 14316269568 69849 18446744073709551615 4194304 4196468 140736229490928 139989430671888 139989514426069 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29884] ppid=29876 vsize=13980732 memory=279396 CPUtime=0.05 cores=0,2,4,6
/proc/29878/task/29884/stat : 29884 (java) S 29876 29876 28892 0 -1 1077944384 2964 0 0 0 4 1 0 0 20 0 15 0 112611674 14316269568 69849 18446744073709551615 4194304 4196468 140736229490928 139988992240240 139989514427010 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29885] ppid=29876 vsize=13980732 memory=279396 CPUtime=0 cores=0,2,4,6
/proc/29878/task/29885/stat : 29885 (java) S 29876 29876 28892 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 112611674 14316269568 69849 18446744073709551615 4194304 4196468 140736229490928 139988991186272 139989514426069 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29886] ppid=29876 vsize=13980732 memory=279396 CPUtime=0 cores=0,2,4,6
/proc/29878/task/29886/stat : 29886 (java) S 29876 29876 28892 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 112611674 14316269568 69849 18446744073709551615 4194304 4196468 140736229490928 139988990133888 139989514426069 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29887] ppid=29876 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29878/task/29887/stat : 29887 (java) S 29876 29876 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112611677 14316269568 69849 18446744073709551615 4194304 4196468 140736229490928 139988989082192 139989514434459 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29888] ppid=29876 vsize=13980732 memory=279396 CPUtime=1.87 cores=0,2,4,6
/proc/29878/task/29888/stat : 29888 (java) S 29876 29876 28892 0 -1 1077944384 14992 0 0 0 185 2 0 0 20 0 15 0 112611677 14316269568 69849 18446744073709551615 4194304 4196468 140736229490928 139988988029040 139989514427010 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29889] ppid=29876 vsize=13980732 memory=1380 CPUtime=2.12 cores=0,2,4,6
/proc/29878/task/29889/stat : 29889 (java) S 29876 29876 28892 0 -1 1077944384 13788 0 0 0 211 1 0 0 20 0 15 0 112611677 14316269568 69849 18446744073709551615 4194304 4196468 140736229490928 139988986976240 139989514427010 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29890] ppid=29876 vsize=13980732 memory=279396 CPUtime=0.73 cores=0,2,4,6
/proc/29878/task/29890/stat : 29890 (java) S 29876 29876 28892 0 -1 1077944384 7316 0 0 0 71 2 0 0 20 0 15 0 112611677 14316269568 69849 18446744073709551615 4194304 4196468 140736229490928 139988985923952 139989514427010 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29891] ppid=29876 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29878/task/29891/stat : 29891 (java) S 29876 29876 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112611677 14316269568 69849 18446744073709551615 4194304 4196468 140736229490928 139988984871392 139989514426069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29892] ppid=29876 vsize=13980732 memory=4028 CPUtime=0.76 cores=0,2,4,6
/proc/29878/task/29892/stat : 29892 (java) S 29876 29876 28892 0 -1 1077944384 848 0 0 0 35 41 0 0 20 0 15 0 112611685 14316269568 69849 18446744073709551615 4194304 4196468 140736229490928 139988983819184 139989514427010 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
Current children cumulated CPU time: 2448 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 280776 KiB

[startup+2502.3 s]
/proc/loadavg: 1.83 1.95 1.93 3/211 30180
/proc/meminfo: memFree=30677708/32770624 swapFree=67108860/67108860
[pid=29876] ppid=29873 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29876/stat : 29876 (xcsp3-exec) S 29873 29876 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 112611661 9740288 345 18446744073709551615 4194304 5098028 140727528486896 140727528485000 140631365386876 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 39817216 140727528489337 140727528489541 140727528489541 140727528493035 0
/proc/29876/statm: 2378 345 289 221 0 87 0
[pid=29878] ppid=29876 vsize=13980732 memory=283628 CPUtime=2508.36 cores=0,2,4,6
/proc/29878/stat : 29878 (java) S 29876 29876 28892 0 -1 1077944320 79618 0 0 0 250781 55 0 0 20 0 15 0 112611671 14316269568 70907 18446744073709551615 4194304 4196468 140736229490928 140736229473472 139989514415863 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
/proc/29878/statm: 3495183 70907 3242 1 0 3483476 0
[pid=29878/tid=29879] ppid=29876 vsize=13980732 memory=283628 CPUtime=2501.74 cores=0,2,4,6
/proc/29878/task/29879/stat : 29879 (java) R 29876 29876 28892 0 -1 4202560 26753 0 0 0 250167 7 0 0 20 0 15 0 112611672 14316269568 70907 18446744073709551615 4194304 4196468 140736229490928 139989518655160 139989113940519 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29880] ppid=29876 vsize=13980732 memory=283628 CPUtime=0.15 cores=0,2,4,6
/proc/29878/task/29880/stat : 29880 (java) S 29876 29876 28892 0 -1 1077944384 2333 0 0 0 11 4 0 0 20 0 15 0 112611672 14316269568 70907 18446744073709551615 4194304 4196468 140736229490928 139989433829776 139989514426069 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29881] ppid=29876 vsize=13980732 memory=1380 CPUtime=0.16 cores=0,2,4,6
/proc/29878/task/29881/stat : 29881 (java) S 29876 29876 28892 0 -1 1077944384 2061 0 0 0 12 4 0 0 20 0 15 0 112611672 14316269568 70907 18446744073709551615 4194304 4196468 140736229490928 139989432776976 139989514426069 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29882] ppid=29876 vsize=13980732 memory=283628 CPUtime=0.15 cores=0,2,4,6
/proc/29878/task/29882/stat : 29882 (java) S 29876 29876 28892 0 -1 1077944384 3369 0 0 0 11 4 0 0 20 0 15 0 112611672 14316269568 70907 18446744073709551615 4194304 4196468 140736229490928 139989431724688 139989514426069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29883] ppid=29876 vsize=13980732 memory=283628 CPUtime=0.16 cores=0,2,4,6
/proc/29878/task/29883/stat : 29883 (java) S 29876 29876 28892 0 -1 1077944384 2988 0 0 0 12 4 0 0 20 0 15 0 112611672 14316269568 70907 18446744073709551615 4194304 4196468 140736229490928 139989430671888 139989514426069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29884] ppid=29876 vsize=13980732 memory=283628 CPUtime=0.05 cores=0,2,4,6
/proc/29878/task/29884/stat : 29884 (java) S 29876 29876 28892 0 -1 1077944384 3094 0 0 0 4 1 0 0 20 0 15 0 112611674 14316269568 70907 18446744073709551615 4194304 4196468 140736229490928 139988992240240 139989514427010 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29885] ppid=29876 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29878/task/29885/stat : 29885 (java) S 29876 29876 28892 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 112611674 14316269568 70907 18446744073709551615 4194304 4196468 140736229490928 139988991186272 139989514426069 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29886] ppid=29876 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29878/task/29886/stat : 29886 (java) S 29876 29876 28892 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 112611674 14316269568 70907 18446744073709551615 4194304 4196468 140736229490928 139988990133888 139989514426069 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29887] ppid=29876 vsize=13980732 memory=283628 CPUtime=0 cores=0,2,4,6
/proc/29878/task/29887/stat : 29887 (java) S 29876 29876 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112611677 14316269568 70907 18446744073709551615 4194304 4196468 140736229490928 139988989082192 139989514434459 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29888] ppid=29876 vsize=13980732 memory=1380 CPUtime=2.02 cores=0,2,4,6
/proc/29878/task/29888/stat : 29888 (java) S 29876 29876 28892 0 -1 1077944384 15144 0 0 0 200 2 0 0 20 0 15 0 112611677 14316269568 70907 18446744073709551615 4194304 4196468 140736229490928 139988988029040 139989514427010 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29889] ppid=29876 vsize=13980732 memory=1380 CPUtime=2.28 cores=0,2,4,6
/proc/29878/task/29889/stat : 29889 (java) S 29876 29876 28892 0 -1 1077944384 13934 0 0 0 227 1 0 0 20 0 15 0 112611677 14316269568 70907 18446744073709551615 4194304 4196468 140736229490928 139988986976240 139989514427010 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29890] ppid=29876 vsize=13980732 memory=4028 CPUtime=0.75 cores=0,2,4,6
/proc/29878/task/29890/stat : 29890 (java) S 29876 29876 28892 0 -1 1077944384 7690 0 0 0 73 2 0 0 20 0 15 0 112611677 14316269568 70907 18446744073709551615 4194304 4196468 140736229490928 139988985923952 139989514427010 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29891] ppid=29876 vsize=13980732 memory=60800 CPUtime=0 cores=0,2,4,6
/proc/29878/task/29891/stat : 29891 (java) S 29876 29876 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112611677 14316269568 70907 18446744073709551615 4194304 4196468 140736229490928 139988984871392 139989514426069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29892] ppid=29876 vsize=13980732 memory=279890940032688 CPUtime=0.78 cores=0,2,4,6
/proc/29878/task/29892/stat : 29892 (java) S 29876 29876 28892 0 -1 1077944384 870 0 0 0 36 42 0 0 20 0 15 0 112611685 14316269568 70907 18446744073709551615 4194304 4196468 140736229490928 139988983819184 139989514427010 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
Current children cumulated CPU time: 2508.36 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 285008 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2514 s]*
/proc/loadavg: 1.86 1.96 1.93 3/211 30180
/proc/meminfo: memFree=30677708/32770624 swapFree=67108860/67108860
[pid=29876] ppid=29873 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29876/stat : 29876 (xcsp3-exec) S 29873 29876 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 112611661 9740288 345 18446744073709551615 4194304 5098028 140727528486896 140727528485000 140631365386876 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 39817216 140727528489337 140727528489541 140727528489541 140727528493035 0
/proc/29876/statm: 2378 345 289 221 0 87 0
[pid=29878] ppid=29876 vsize=13980732 memory=283620 CPUtime=2520.1 cores=0,2,4,6
/proc/29878/stat : 29878 (java) S 29876 29876 28892 0 -1 1077944320 79660 0 0 0 251955 55 0 0 20 0 15 0 112611671 14316269568 70905 18446744073709551615 4194304 4196468 140736229490928 140736229473472 139989514415863 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
/proc/29878/statm: 3495183 70905 3242 1 0 3483476 0
[pid=29878/tid=29879] ppid=29876 vsize=13980732 memory=-8774313645642428999 CPUtime=2513.44 cores=0,2,4,6
/proc/29878/task/29879/stat : 29879 (java) R 29876 29876 28892 0 -1 4202560 26782 0 0 0 251337 7 0 0 20 0 15 0 112611672 14316269568 70905 18446744073709551615 4194304 4196468 140736229490928 139989518655520 139989113740744 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29880] ppid=29876 vsize=13980732 memory=4872558044660077418 CPUtime=0.15 cores=0,2,4,6
/proc/29878/task/29880/stat : 29880 (java) S 29876 29876 28892 0 -1 1077944384 2333 0 0 0 11 4 0 0 20 0 15 0 112611672 14316269568 70905 18446744073709551615 4194304 4196468 140736229490928 139989433829776 139989514426069 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29881] ppid=29876 vsize=13980732 memory=16448 CPUtime=0.16 cores=0,2,4,6
/proc/29878/task/29881/stat : 29881 (java) S 29876 29876 28892 0 -1 1077944384 2063 0 0 0 12 4 0 0 20 0 15 0 112611672 14316269568 70905 18446744073709551615 4194304 4196468 140736229490928 139989432776976 139989514426069 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29882] ppid=29876 vsize=13980732 memory=3908 CPUtime=0.16 cores=0,2,4,6
/proc/29878/task/29882/stat : 29882 (java) S 29876 29876 28892 0 -1 1077944384 3369 0 0 0 12 4 0 0 20 0 15 0 112611672 14316269568 70905 18446744073709551615 4194304 4196468 140736229490928 139989431724688 139989514426069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29883] ppid=29876 vsize=13980732 memory=2764 CPUtime=0.16 cores=0,2,4,6
/proc/29878/task/29883/stat : 29883 (java) S 29876 29876 28892 0 -1 1077944384 2991 0 0 0 12 4 0 0 20 0 15 0 112611672 14316269568 70905 18446744073709551615 4194304 4196468 140736229490928 139989430671888 139989514426069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29884] ppid=29876 vsize=13980732 memory=2780 CPUtime=0.06 cores=0,2,4,6
/proc/29878/task/29884/stat : 29884 (java) S 29876 29876 28892 0 -1 1077944384 3096 0 0 0 4 2 0 0 20 0 15 0 112611674 14316269568 70905 18446744073709551615 4194304 4196468 140736229490928 139988992240240 139989514427010 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29885] ppid=29876 vsize=13980732 memory=4072 CPUtime=0 cores=0,2,4,6
/proc/29878/task/29885/stat : 29885 (java) S 29876 29876 28892 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 112611674 14316269568 70905 18446744073709551615 4194304 4196468 140736229490928 139988991186272 139989514426069 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29886] ppid=29876 vsize=13980732 memory=1152 CPUtime=0 cores=0,2,4,6
/proc/29878/task/29886/stat : 29886 (java) S 29876 29876 28892 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 112611674 14316269568 70905 18446744073709551615 4194304 4196468 140736229490928 139988990133888 139989514426069 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29887] ppid=29876 vsize=13980732 memory=3228 CPUtime=0 cores=0,2,4,6
/proc/29878/task/29887/stat : 29887 (java) S 29876 29876 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112611677 14316269568 70905 18446744073709551615 4194304 4196468 140736229490928 139988989082192 139989514434459 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29888] ppid=29876 vsize=13980732 memory=1380 CPUtime=2.02 cores=0,2,4,6
/proc/29878/task/29888/stat : 29888 (java) S 29876 29876 28892 0 -1 1077944384 15144 0 0 0 200 2 0 0 20 0 15 0 112611677 14316269568 70905 18446744073709551615 4194304 4196468 140736229490928 139988988029040 139989514427010 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29889] ppid=29876 vsize=13980732 memory=283628 CPUtime=2.3 cores=0,2,4,6
/proc/29878/task/29889/stat : 29889 (java) S 29876 29876 28892 0 -1 1077944384 13936 0 0 0 229 1 0 0 20 0 15 0 112611677 14316269568 70905 18446744073709551615 4194304 4196468 140736229490928 139988986976240 139989514427010 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29890] ppid=29876 vsize=13980732 memory=1160 CPUtime=0.76 cores=0,2,4,6
/proc/29878/task/29890/stat : 29890 (java) S 29876 29876 28892 0 -1 1077944384 7692 0 0 0 74 2 0 0 20 0 15 0 112611677 14316269568 70905 18446744073709551615 4194304 4196468 140736229490928 139988985923952 139989514427010 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29891] ppid=29876 vsize=13980732 memory=3184 CPUtime=0 cores=0,2,4,6
/proc/29878/task/29891/stat : 29891 (java) S 29876 29876 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112611677 14316269568 70905 18446744073709551615 4194304 4196468 140736229490928 139988984871392 139989514426069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
[pid=29878/tid=29892] ppid=29876 vsize=13980732 memory=1380 CPUtime=0.79 cores=0,2,4,6
/proc/29878/task/29892/stat : 29892 (java) S 29876 29876 28892 0 -1 1077944384 872 0 0 0 37 42 0 0 20 0 15 0 112611685 14316269568 70905 18446744073709551615 4194304 4196468 140736229490928 139988983819184 139989514427010 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24018944 140736229499313 140736229499489 140736229499489 140736229502927 0
Current children cumulated CPU time: 2520.1 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 285000 KiB

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

[startup+2514.02 s]
# the end of solver process 29876 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.000942 s, system=0.000942 s

[startup+2514.02 s]
# the end of solver process 29878 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.57 s, system=0.562033 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): 2514.02
CPU time (s): 2520.13
CPU user time (s): 2519.57
CPU system time (s): 0.562033
CPU usage (%): 100.243
Max. virtual memory (cumulated for all children) (KiB): 13992224
Max. memory (cumulated for all children) (KiB): 295664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.57
system time used= 0.562033
maximum resident set size= 298404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80303
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58218
involuntary context switches= 2110


# summary of solver processes directly reported to runsolver:
#   pid: 29876,29878
#   total CPU time (s): 2520.13
#   total CPU user time (s): 2519.57
#   total CPU system time (s): 0.562033

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.5292 second user time and 23.5317 second system time

The end

Begin job on node127 at 2017-08-19 02:42:15
IDJOB=4282090
IDBENCH=115882
IDSOLVER=2677
FILE ID=node127/4282090-1503104186
RUNJOBID= node127-1503095799-28950
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= choco-solver 4.0.5 seq
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-4282090-1503104186/watcher-4282090-1503104186 -o /tmp/evaluation-result-4282090-1503104186/solver-4282090-1503104186 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1503095799-28950 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 526596466 HOME/instance-4282090-1503104186.xml

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

MD5SUM BENCH= b46c08097c4951fbb159b9042bff535d
RANDOM SEED=526596466

node127.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.92
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.92
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.92
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.92
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:        30938528 kB
MemAvailable:   31752372 kB
Buffers:          293360 kB
Cached:           822740 kB
SwapCached:            0 kB
Active:          1006876 kB
Inactive:         374976 kB
Active(anon):     216508 kB
Inactive(anon):    99200 kB
Active(file):     790368 kB
Inactive(file):   275776 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7568 kB
Writeback:             0 kB
AnonPages:        265656 kB
Mapped:            72360 kB
Shmem:             49860 kB
Slab:             152976 kB
SReclaimable:     127072 kB
SUnreclaim:        25904 kB
KernelStack:        3456 kB
PageTables:         6344 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1195592 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    202752 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 62016 MiB
End job on node127 at 2017-08-19 03:24:09