0.00/0.09	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4272280-1502689386.xml"  -tl '2520s' -p 1 -x 3
0.07/0.29	c [HOME/instance-4272280-1502689386.xml, -tl, 2520s, -p, 1, -x, 3]
0.25/0.35	c simple solver
0.25/0.41	c parse instance...
3.49/1.82	c solve instance...
296.26/287.87	o 945 
385.29/372.26	o 946 
385.49/372.45	o 947 
385.70/372.65	o 948 
385.90/372.83	o 949 
386.11/373.02	o 950 
386.35/373.20	o 951 
386.46/373.38	o 952 
386.66/373.53	o 953 
386.76/373.69	o 954 
387.00/373.85	o 955 
387.26/374.01	o 956 
387.36/374.16	o 957 
387.55/374.32	o 958 
387.65/374.48	o 959 
387.86/374.64	o 960 
387.97/374.78	o 961 
446.44/433.00	o 964 
463.24/449.65	o 997 
464.54/450.97	o 998 
2520.03/2474.50	s SATISFIABLE
2520.03/2474.50	v <instantiation>
2520.03/2474.50	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.03/2474.50	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 1 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 1 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 0 0 1 1 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 0 0 1 1 0 0 1 1 1 1 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 1 0 0 0 0 1 1 1 0 1 1 1 1 0 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 1 1 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 1 1 0 0 0 0 0 1 1 0 1 0 1 1 1 1 1 0 0 1 0 0 1 1 1 1 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 1 1 0 1 0 1 1 0 1 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 1 0 0 1 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 1 1 1 0 1 1 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 1 0 1 1 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 1 1 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 0 1 1 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 1 0 1 0 1 1 0 0 1 0 0 1 1 0 1 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 1 0 1 1 1 1 0 0 1 0 0 1 0 1 0 1 1 0 1 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 1 1 0 0 1 0 0 1 0 0 0 1 0 1 1 0 1 1 0 0 0 0 0 1 1 1 1 1 0 0 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 1 0 1 0 1 0 0 0 1 1 1 0 1 0 1 0 1 0 0 1 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 1 1 0 0 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 1 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 1 1 1 1 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 1 1 1 1 0 0 0 0 1 1 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 1 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 0 1 1 0 1 0 0 0 1 1 0 0 0 0 0 0 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 1 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 1 0 0 1 0 1 1 0 1 1 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 1 1 0 0 0 1 0 1 0 1 1 1 1 1 1 1 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 1 1 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 1 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 1 1 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 0 1 1 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 1 1 0 1 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 1 1 1 0 0 0 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 1 1 1 0 0 0 1 0 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 1 1 1 0 1 1 0 1 0 1 0 0 1 0 1 0 0 0 0 0 1 1 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 1 1 0 1 1 1 1 0 0 0 0 1 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 1 1 0 0 0 0 0 1 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 1 1 0 0 1 1 0 1 1 0 1 0 1 1 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 1 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 1 0 0 1 1 0 1 0 1 0 0 0 0 1 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 0 1 1 1 1 0 1 1 1 0 0 0 1 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 1 0 1 1 1 1 1 0 0 0 0 0 1 1 0 1 1 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 1 1 1 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 0 0 0 0 1 1 0 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 1 1 0 1 0 1 0 1 0 0 1 1 1 1 1 0 0 1 1 0 1 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 1 0 1 0 0 0 0 1 1 0 0 0 1 1 0 0 0 1 0 0 1 0 0 1 1 0 1 0 0 0 1 0 0 0 0 1 0 1 1 1 1 0 0 1 0 0 1 0 0 1 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 0 1 0 0 1 1 1 1 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 1 0 1 0 1 0 0 1 0 0 0 1 1 1 1 0 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 0 0 1 1 0 0 1 0 0 1 0 1 0 0 0 1 1 1 0 1 0 1 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 1 1 0 0 1 1 1 0 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 1 1 0 1 0 1 1 0 0 1 1 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 1 0 0 1 1 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 1 1 1 0 1 0 1 0 1 1 1 1 1 1 0 1 0 1 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 0 1 0 1 1 0 1 1 0 1 0 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 1 1 1 0 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 0 0 1 1 1 1 0 0 1 1 1 0 0 1 1 0 1 1 0 1 1 0 1 1 1 1 0 0 0 0 0 0 0 2 0 0 0 1 2 2 2 2 2 2 0 1 1 0 2 2 2 1 1 0 1 2 2 0 0 0 1 2 1 1 0 0 0 1 1 2 1 1 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 2 2 1 2 1 1 0 0 1 1 2 1 1 0 0 1 2 1 1 0 1 1 2 1 0 0 0 0 0 1 2 1 1 2 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 0 0 1 2 1 1 0 0 1 0 1 1 0 0 1 1 2 2 1 1 2 2 1 1 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 2 1 1 1 2 2 1 1 0 0 0 0 1 2 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 1 1 0 1 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 2 1 1 1 0 0 1 0 0 1 2 2 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 2 1 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 2 2 1 2 1 0 0 0 0 1 1 2 2 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 1 2 1 1 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 1 2 2 1 1 0 0 0 0 1 0 0 1 1 1 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 2 2 1 1 2 1 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 2 2 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 2 1 1 2 2 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 2 2 0 0 0 0 1 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 2 2 1 1 2 2 2 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 1 0 0 0 0 0 0 1 1 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 2 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 2 2 0 0 0 0 0 0 1 0 0 0 0 2 0 0 0 0 0 0 1 0 0 1 1 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 2 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 1 1 1 1 0 0 0 0 0 1 1 1 1 0 0 2 1 0 0 0 1 2 0 0 2 0 0 1 0 0 0 1 0 1 0 0 0 1 1 0 1 1 0 0 0 0 0 2 0 1 0 0 0 1 2 0 0 1 1 1 1 1 2 2 1 0 0 1 2 0 0 1 1 1 2 0 1 0 0 1 0 1 1 0 2 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 2 1 0 0 0 1 0 1 0 0 2 2 1 1 2 2 2 0 0 1 1 0 0 0 0 0 0 2 1 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 1 2 1 1 0 0 0 0 1 1 2 1 1 2 2 1 0 0 2 2 0 0 0 0 2 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 2 1 1 0 0 0 0 2 2 1 1 1 1 1 0 0 1 2 0 0 1 0 1 0 1 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 1 1 1 1 0 0 1 0 0 0 2 1 1 0 1 2 0 2 2 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 2 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 1 0 1 1 1 0 0 1 0 1 1 2 2 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 1 0 1 1 2 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 2 2 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 1 2 2 2 2 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 1 1 0 0 1 1 2 1 1 2 0 0 1 0 2 0 1 1 2 0 0 1 1 1 1 1 0 0 0 0 0 1 2 0 0 0 0 1 0 0 0 0 1 1 1 0 1 0 0 0 1 0 0 2 1 1 0 1 0 0 1 0 1 0 1 2 0 1 0 2 0 1 0 0 1 0 1 0 0 0 0 1 0 2 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 2 0 0 0 0 0 0 1 0 0 2 2 2 1 1 1 1 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 1 0 0 0 0 1 0 0 0 1 0 1 2 2 0 0 0 0 0 2 0 2 1 1 2 0 1 0 0 1 1 2 2 1 1 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 1 0 1 0 1 0 0 1 0 0 0 0 1 1 1 1 0 0 0 1 0 2 0 2 1 2 2 1 0 0 0 1 2 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 0 0 1 0 0 0 0 0 2 0 2 0 1 1 2 2 2 1 0 1 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 2 2 1 0 0 0 0 0 0 0 1 0 2 0 0 0 1 2 1 2 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 2 1 1 0 1 0 0 0 0 0 0 1 2 1 1 2 0 1 0 2 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 0 0 1 0 0 0 1 0 0 1 1 2 1 1 2 1 1 0 0 0 0 0 0 1 2 2 1 1 0 1 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 2 2 0 1 0 0 0 1 0 0 1 0 0 1 1 1 1 2 2 1 0 0 1 0 0 0 1 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 2 2 1 0 1 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 2 1 1 1 0 1 1 1 2 2 0 2 0 0 0 1 0 0 0 0 1 0 1 0 1 2 1 1 0 0 2 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 1 1 0 0 1 1 1 1 0 0 0 0 2 2 2 2 2 0 0 0 1 0 0 0 0 1 0 2 1 1 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 1 1 0 0 0 0 1 1 1 1 2 2 2 0 0 1 0 1 0 0 0 1 1 2 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 2 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 2 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 0 0 1 0 1 1 1 2 1 1 0 0 1 1 1 0 1 1 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 0 1 1 0 1 0 0 0 1 0 0 1 1 1 2 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 2 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 2 1 2 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 1 0 0 1 0 1 1 0 1 1 0 1 2 1 2 2 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 0 2 0 2 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 2 1 0 0 2 2 2 2 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 0 1 1 2 2 2 1 2 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 1 0 1 0 0 1 0 0 1 0 1 1 0 1 0 0 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 1 1 1 32 78 114 143 166 187 212 239 266 288 311 334 352 363 378 390 406 435 469 498 526 550 575 594 612 630 654 684 709 733 763 788 814 836 864 891 912 942 975 1002 1014 1031 1055 1074 1092 1117 1132 1140 1151 1166 1182 1208 998 </values>
2520.03/2474.51	v </instantiation>
2520.03/2474.51	c Unexpected resolution interruption!

OK	998

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272280-1502689386/watcher-4272280-1502689386 -o /tmp/evaluation-result-4272280-1502689386/solver-4272280-1502689386 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502649221-29001 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1902634750 HOME/instance-4272280-1502689386.xml 

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

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

solver pid=4030, runsolver pid=4027

[startup+0.100136 s]*
/proc/loadavg: 1.62 1.59 1.58 3/199 4032
/proc/meminfo: memFree=30873248/32770624 swapFree=67108860/67108860
[pid=4030] ppid=4027 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4030/stat : 4030 (xcsp3-exec) S 4027 4030 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 22821253 9740288 345 18446744073709551615 4194304 5098028 140734024884192 140734024882296 139892925710972 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 26230784 140734024892793 140734024892998 140734024892998 140734024896491 0
/proc/4030/statm: 2378 345 289 221 0 87 0
[pid=4032] ppid=4030 vsize=11658652 memory=9628 CPUtime=0 cores=1,3,5,7
/proc/4032/stat : 4032 (java) S 4030 4030 7968 0 -1 1077944320 2185 0 0 0 0 0 0 0 20 0 3 0 22821263 11938459648 2407 18446744073709551615 4194304 4196468 140736031569952 140736031552496 139882381958903 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
/proc/4032/statm: 2914663 2407 1151 1 0 2904633 0
[pid=4032/tid=4033] ppid=4030 vsize=13356504 memory=8508281356421925536 CPUtime=0 cores=1,3,5,7
/proc/4032/task/4033/stat : 4033 (java) R 4030 4030 7968 0 -1 4202560 1173 0 0 0 0 0 0 0 20 0 6 0 22821264 13677060096 2664 18446744073709551615 4194304 4196468 140736031569952 139882386200680 139882374196030 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4034] ppid=4030 vsize=13356504 memory=3691042058319900680 CPUtime=0 cores=1,3,5,7
/proc/4032/task/4034/stat : 4034 (java) S 4030 4030 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 22821264 13677060096 2664 18446744073709551615 4194304 4196468 140736031569952 139882323905680 139882381969109 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4035] ppid=4030 vsize=13356504 memory=140178000373376 CPUtime=0 cores=1,3,5,7
/proc/4032/task/4035/stat : 4035 (java) S 4030 4030 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 22821264 13677060096 2664 18446744073709551615 4194304 4196468 140736031569952 139882322852880 139882381969109 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4036] ppid=4030 vsize=13356504 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4032/task/4036/stat : 4036 (java) S 4030 4030 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 22821264 13677060096 2664 18446744073709551615 4194304 4196468 140736031569952 139882321800080 139882381969109 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4037] ppid=4030 vsize=13356504 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4032/task/4037/stat : 4037 (java) S 4030 4030 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 22821264 13677060096 2664 18446744073709551615 4194304 4196468 140736031569952 139881978796816 139882381969109 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 11668164 KiB
Current children cumulated memory: 11008 KiB

[startup+0.209975 s]*
/proc/loadavg: 1.62 1.59 1.58 4/213 4046
/proc/meminfo: memFree=30860640/32770624 swapFree=67108860/67108860
[pid=4030] ppid=4027 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4030/stat : 4030 (xcsp3-exec) S 4027 4030 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 22821253 9740288 345 18446744073709551615 4194304 5098028 140734024884192 140734024882296 139892925710972 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 26230784 140734024892793 140734024892998 140734024892998 140734024896491 0
/proc/4030/statm: 2378 345 289 221 0 87 0
[pid=4032] ppid=4030 vsize=13974352 memory=23456 CPUtime=0.07 cores=1,3,5,7
/proc/4032/stat : 4032 (java) S 4030 4030 7968 0 -1 1077944320 5314 0 0 0 6 1 0 0 20 0 15 0 22821263 14309736448 5864 18446744073709551615 4194304 4196468 140736031569952 140736031552496 139882381958903 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
/proc/4032/statm: 3493588 5864 2711 1 0 3482964 0
[pid=4032/tid=4033] ppid=4030 vsize=13974352 memory=7022364594140610616 CPUtime=0.06 cores=1,3,5,7
/proc/4032/task/4033/stat : 4033 (java) R 4030 4030 7968 0 -1 4202560 3482 0 0 0 5 1 0 0 20 0 15 0 22821264 14309736448 5864 18446744073709551615 4194304 4196468 140736031569952 139882386184592 139882001450919 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4034] ppid=4030 vsize=13974352 memory=4294978898 CPUtime=0 cores=1,3,5,7
/proc/4032/task/4034/stat : 4034 (java) S 4030 4030 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 22821264 14309736448 5864 18446744073709551615 4194304 4196468 140736031569952 139882323905680 139882381969109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4035] ppid=4030 vsize=13974352 memory=140178000616408 CPUtime=0 cores=1,3,5,7
/proc/4032/task/4035/stat : 4035 (java) S 4030 4030 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 22821264 14309736448 5864 18446744073709551615 4194304 4196468 140736031569952 139882322852880 139882381969109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4036] ppid=4030 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4032/task/4036/stat : 4036 (java) S 4030 4030 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 22821264 14309736448 5864 18446744073709551615 4194304 4196468 140736031569952 139882321800080 139882381969109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4037] ppid=4030 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4032/task/4037/stat : 4037 (java) S 4030 4030 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 22821264 14309736448 5864 18446744073709551615 4194304 4196468 140736031569952 139881978796816 139882381969109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4038] ppid=4030 vsize=13974352 memory=140178000373376 CPUtime=0 cores=1,3,5,7
/proc/4032/task/4038/stat : 4038 (java) S 4030 4030 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 22821266 14309736448 5864 18446744073709551615 4194304 4196468 140736031569952 139881927616880 139882381970050 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4039] ppid=4030 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4032/task/4039/stat : 4039 (java) S 4030 4030 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 22821266 14309736448 5864 18446744073709551615 4194304 4196468 140736031569952 139881926562848 139882381969109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4040] ppid=4030 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4032/task/4040/stat : 4040 (java) S 4030 4030 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 22821266 14309736448 5864 18446744073709551615 4194304 4196468 140736031569952 139881925510000 139882381969109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4041] ppid=4030 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4032/task/4041/stat : 4041 (java) S 4030 4030 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 22821269 14309736448 5864 18446744073709551615 4194304 4196468 140736031569952 139881924458320 139882381977499 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4042] ppid=4030 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4032/task/4042/stat : 4042 (java) S 4030 4030 7968 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 22821269 14309736448 5864 18446744073709551615 4194304 4196468 140736031569952 139881923406704 139882381970050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4043] ppid=4030 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4032/task/4043/stat : 4043 (java) S 4030 4030 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 22821269 14309736448 5864 18446744073709551615 4194304 4196468 140736031569952 139881922353904 139882381970050 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4044] ppid=4030 vsize=13974352 memory=140178000373376 CPUtime=0 cores=1,3,5,7
/proc/4032/task/4044/stat : 4044 (java) S 4030 4030 7968 0 -1 1077944384 239 0 0 0 0 0 0 0 20 0 15 0 22821269 14309736448 5864 18446744073709551615 4194304 4196468 140736031569952 139881921301104 139882381970050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4045] ppid=4030 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4032/task/4045/stat : 4045 (java) S 4030 4030 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 22821269 14309736448 5864 18446744073709551615 4194304 4196468 140736031569952 139881920248544 139882381969109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4046] ppid=4030 vsize=13974352 memory=140178000373376 CPUtime=0 cores=1,3,5,7
/proc/4032/task/4046/stat : 4046 (java) S 4030 4030 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 22821274 14309736448 5864 18446744073709551615 4194304 4196468 140736031569952 139881919195824 139882381970050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 24836 KiB

[startup+0.310238 s]*
/proc/loadavg: 1.62 1.59 1.58 6/213 4046
/proc/meminfo: memFree=30845624/32770624 swapFree=67108860/67108860
[pid=4030] ppid=4027 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4030/stat : 4030 (xcsp3-exec) S 4027 4030 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 22821253 9740288 345 18446744073709551615 4194304 5098028 140734024884192 140734024882296 139892925710972 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 26230784 140734024892793 140734024892998 140734024892998 140734024896491 0
/proc/4030/statm: 2378 345 289 221 0 87 0
[pid=4032] ppid=4030 vsize=13974352 memory=37504 CPUtime=0.25 cores=1,3,5,7
/proc/4032/stat : 4032 (java) S 4030 4030 7968 0 -1 1077944320 8936 0 0 0 23 2 0 0 20 0 15 0 22821263 14309736448 9376 18446744073709551615 4194304 4196468 140736031569952 140736031552496 139882381958903 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
/proc/4032/statm: 3493588 9376 2984 1 0 3482964 0
[pid=4032/tid=4033] ppid=4030 vsize=13974352 memory=4278483708103473607 CPUtime=0.15 cores=1,3,5,7
/proc/4032/task/4033/stat : 4033 (java) R 4030 4030 7968 0 -1 4202560 6169 0 0 0 13 2 0 0 20 0 15 0 22821264 14309736448 9376 18446744073709551615 4194304 4196468 140736031569952 139882386186672 139882366039390 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4034] ppid=4030 vsize=13974352 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/4032/task/4034/stat : 4034 (java) S 4030 4030 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 22821264 14309736448 9376 18446744073709551615 4194304 4196468 140736031569952 139882323905680 139882381969109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4035] ppid=4030 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4032/task/4035/stat : 4035 (java) S 4030 4030 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 22821264 14309736448 9376 18446744073709551615 4194304 4196468 140736031569952 139882322852880 139882381969109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4036] ppid=4030 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4032/task/4036/stat : 4036 (java) S 4030 4030 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 22821264 14309736448 9376 18446744073709551615 4194304 4196468 140736031569952 139882321800080 139882381969109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4037] ppid=4030 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4032/task/4037/stat : 4037 (java) S 4030 4030 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 22821264 14309736448 9376 18446744073709551615 4194304 4196468 140736031569952 139881978796816 139882381969109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4038] ppid=4030 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4032/task/4038/stat : 4038 (java) S 4030 4030 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 22821266 14309736448 9376 18446744073709551615 4194304 4196468 140736031569952 139881927616880 139882381970050 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4039] ppid=4030 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4032/task/4039/stat : 4039 (java) S 4030 4030 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 22821266 14309736448 9376 18446744073709551615 4194304 4196468 140736031569952 139881926562848 139882381969109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4040] ppid=4030 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4032/task/4040/stat : 4040 (java) S 4030 4030 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 22821266 14309736448 9376 18446744073709551615 4194304 4196468 140736031569952 139881925510000 139882381969109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4041] ppid=4030 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4032/task/4041/stat : 4041 (java) S 4030 4030 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 22821269 14309736448 9376 18446744073709551615 4194304 4196468 140736031569952 139881924458320 139882381977499 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4042] ppid=4030 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/4032/task/4042/stat : 4042 (java) S 4030 4030 7968 0 -1 1077944384 543 0 0 0 1 0 0 0 20 0 15 0 22821269 14309736448 9376 18446744073709551615 4194304 4196468 140736031569952 139881923406704 139882381970050 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4043] ppid=4030 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/4032/task/4043/stat : 4043 (java) S 4030 4030 7968 0 -1 1077944384 203 0 0 0 1 0 0 0 20 0 15 0 22821269 14309736448 9376 18446744073709551615 4194304 4196468 140736031569952 139881922353904 139882381970050 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4044] ppid=4030 vsize=13974352 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/4032/task/4044/stat : 4044 (java) S 4030 4030 7968 0 -1 1077944384 722 0 0 0 5 0 0 0 20 0 15 0 22821269 14309736448 9376 18446744073709551615 4194304 4196468 140736031569952 139881921301104 139882381970050 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4045] ppid=4030 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4032/task/4045/stat : 4045 (java) S 4030 4030 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 22821269 14309736448 9376 18446744073709551615 4194304 4196468 140736031569952 139881920248544 139882381969109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4046] ppid=4030 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4032/task/4046/stat : 4046 (java) S 4030 4030 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 22821274 14309736448 9376 18446744073709551615 4194304 4196468 140736031569952 139881919195824 139882381970050 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38884 KiB

[startup+0.700789 s]
/proc/loadavg: 1.62 1.59 1.58 5/213 4046
/proc/meminfo: memFree=30829516/32770624 swapFree=67108860/67108860
[pid=4030] ppid=4027 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4030/stat : 4030 (xcsp3-exec) S 4027 4030 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 22821253 9740288 345 18446744073709551615 4194304 5098028 140734024884192 140734024882296 139892925710972 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 26230784 140734024892793 140734024892998 140734024892998 140734024896491 0
/proc/4030/statm: 2378 345 289 221 0 87 0
[pid=4032] ppid=4030 vsize=13978684 memory=85676 CPUtime=1.32 cores=1,3,5,7
/proc/4032/stat : 4032 (java) S 4030 4030 7968 0 -1 1077944320 13013 0 0 0 127 5 0 0 20 0 15 0 22821263 14314172416 21419 18446744073709551615 4194304 4196468 140736031569952 140736031552496 139882381958903 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
/proc/4032/statm: 3494671 21419 3161 1 0 3482964 0
[pid=4032/tid=4033] ppid=4030 vsize=13978684 memory=6935649255878583104 CPUtime=0.53 cores=1,3,5,7
/proc/4032/task/4033/stat : 4033 (java) R 4030 4030 7968 0 -1 4202560 7934 0 0 0 50 3 0 0 20 0 15 0 22821264 14314172416 21419 18446744073709551615 4194304 4196468 140736031569952 139882386195152 139882004882643 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4034] ppid=4030 vsize=13978684 memory=133118341 CPUtime=0 cores=1,3,5,7
/proc/4032/task/4034/stat : 4034 (java) S 4030 4030 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 22821264 14314172416 21419 18446744073709551615 4194304 4196468 140736031569952 139882323905680 139882381969109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4035] ppid=4030 vsize=13978684 memory=33 CPUtime=0 cores=1,3,5,7
/proc/4032/task/4035/stat : 4035 (java) S 4030 4030 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 22821264 14314172416 21419 18446744073709551615 4194304 4196468 140736031569952 139882322852880 139882381969109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4036] ppid=4030 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4032/task/4036/stat : 4036 (java) S 4030 4030 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 22821264 14314172416 21419 18446744073709551615 4194304 4196468 140736031569952 139882321800080 139882381969109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4037] ppid=4030 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4032/task/4037/stat : 4037 (java) S 4030 4030 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 22821264 14314172416 21419 18446744073709551615 4194304 4196468 140736031569952 139881978796816 139882381969109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4038] ppid=4030 vsize=13978684 memory=280355735080720 CPUtime=0 cores=1,3,5,7
/proc/4032/task/4038/stat : 4038 (java) S 4030 4030 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 22821266 14314172416 21419 18446744073709551615 4194304 4196468 140736031569952 139881927616880 139882381970050 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4039] ppid=4030 vsize=13978684 memory=2554230474497 CPUtime=0 cores=1,3,5,7
/proc/4032/task/4039/stat : 4039 (java) S 4030 4030 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 22821266 14314172416 21419 18446744073709551615 4194304 4196468 140736031569952 139881926562848 139882381969109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4040] ppid=4030 vsize=13978684 memory=2558525441793 CPUtime=0 cores=1,3,5,7
/proc/4032/task/4040/stat : 4040 (java) S 4030 4030 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 22821266 14314172416 21419 18446744073709551615 4194304 4196468 140736031569952 139881925510000 139882381969109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4041] ppid=4030 vsize=13978684 memory=2562820409089 CPUtime=0 cores=1,3,5,7
/proc/4032/task/4041/stat : 4041 (java) S 4030 4030 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 22821269 14314172416 21419 18446744073709551615 4194304 4196468 140736031569952 139881924458320 139882381977499 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4042] ppid=4030 vsize=13978684 memory=2588590212865 CPUtime=0.24 cores=1,3,5,7
/proc/4032/task/4042/stat : 4042 (java) R 4030 4030 7968 0 -1 4202560 1554 0 0 0 24 0 0 0 20 0 15 0 22821269 14314172416 21419 18446744073709551615 4194304 4196468 140736031569952 139881923394848 139882362659207 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4043] ppid=4030 vsize=13978684 memory=2635834853121 CPUtime=0.24 cores=1,3,5,7
/proc/4032/task/4043/stat : 4043 (java) R 4030 4030 7968 0 -1 4202560 734 0 0 0 24 0 0 0 20 0 15 0 22821269 14314172416 21419 18446744073709551615 4194304 4196468 140736031569952 139881922340752 139882363369053 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4044] ppid=4030 vsize=13978684 memory=2678784526081 CPUtime=0.28 cores=1,3,5,7
/proc/4032/task/4044/stat : 4044 (java) S 4030 4030 7968 0 -1 1077944384 1486 0 0 0 27 1 0 0 20 0 15 0 22821269 14314172416 21419 18446744073709551615 4194304 4196468 140736031569952 139881921301104 139882381970050 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4045] ppid=4030 vsize=13978684 memory=2807633544705 CPUtime=0 cores=1,3,5,7
/proc/4032/task/4045/stat : 4045 (java) S 4030 4030 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 22821269 14314172416 21419 18446744073709551615 4194304 4196468 140736031569952 139881920248544 139882381969109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4046] ppid=4030 vsize=13978684 memory=3834130728449 CPUtime=0 cores=1,3,5,7
/proc/4032/task/4046/stat : 4046 (java) S 4030 4030 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 22821274 14314172416 21419 18446744073709551615 4194304 4196468 140736031569952 139881919195824 139882381970050 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
Current children cumulated CPU time: 1.32 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 87056 KiB

[startup+1.51138 s]
/proc/loadavg: 1.62 1.59 1.58 5/213 4046
/proc/meminfo: memFree=30775344/32770624 swapFree=67108860/67108860
[pid=4030] ppid=4027 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4030/stat : 4030 (xcsp3-exec) S 4027 4030 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 22821253 9740288 345 18446744073709551615 4194304 5098028 140734024884192 140734024882296 139892925710972 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 26230784 140734024892793 140734024892998 140734024892998 140734024896491 0
/proc/4030/statm: 2378 345 289 221 0 87 0
[pid=4032] ppid=4030 vsize=13980732 memory=159584 CPUtime=3.07 cores=1,3,5,7
/proc/4032/stat : 4032 (java) S 4030 4030 7968 0 -1 1077944320 18633 0 0 0 299 8 0 0 20 0 15 0 22821263 14316269568 39896 18446744073709551615 4194304 4196468 140736031569952 140736031552496 139882381958903 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
/proc/4032/statm: 3495183 39896 3191 1 0 3483476 0
[pid=4032/tid=4033] ppid=4030 vsize=13980732 memory=55 CPUtime=1.34 cores=1,3,5,7
/proc/4032/task/4033/stat : 4033 (java) R 4030 4030 7968 0 -1 4202560 10149 0 0 0 130 4 0 0 20 0 15 0 22821264 14316269568 39896 18446744073709551615 4194304 4196468 140736031569952 139882386180496 139882363896657 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4034] ppid=4030 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4032/task/4034/stat : 4034 (java) S 4030 4030 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 22821264 14316269568 39896 18446744073709551615 4194304 4196468 140736031569952 139882323905680 139882381969109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4035] ppid=4030 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4032/task/4035/stat : 4035 (java) S 4030 4030 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 22821264 14316269568 39896 18446744073709551615 4194304 4196468 140736031569952 139882322852880 139882381969109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4036] ppid=4030 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4032/task/4036/stat : 4036 (java) S 4030 4030 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 22821264 14316269568 39896 18446744073709551615 4194304 4196468 140736031569952 139882321800080 139882381969109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4037] ppid=4030 vsize=13980732 memory=5795117241467496816 CPUtime=0 cores=1,3,5,7
/proc/4032/task/4037/stat : 4037 (java) S 4030 4030 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 22821264 14316269568 39896 18446744073709551615 4194304 4196468 140736031569952 139881978796816 139882381969109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4038] ppid=4030 vsize=13980732 memory=6935652554363134804 CPUtime=0 cores=1,3,5,7
/proc/4032/task/4038/stat : 4038 (java) S 4030 4030 7968 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 22821266 14316269568 39896 18446744073709551615 4194304 4196468 140736031569952 139881927616880 139882381970050 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4039] ppid=4030 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4032/task/4039/stat : 4039 (java) S 4030 4030 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 22821266 14316269568 39896 18446744073709551615 4194304 4196468 140736031569952 139881926562848 139882381969109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4040] ppid=4030 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7

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

/proc/4032/task/4040/stat : 4040 (java) S 4030 4030 7968 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 22821266 14318366720 251962 18446744073709551615 4194304 4196468 140736031569952 139881925510016 139882381969109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4041] ppid=4030 vsize=13982780 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/4032/task/4041/stat : 4041 (java) S 4030 4030 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 22821269 14318366720 251962 18446744073709551615 4194304 4196468 140736031569952 139881924458320 139882381977499 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4042] ppid=4030 vsize=13982780 memory=1380 CPUtime=5.68 cores=1,3,5,7
/proc/4032/task/4042/stat : 4042 (java) S 4030 4030 7968 0 -1 1077944384 35576 0 0 0 563 5 0 0 20 0 15 0 22821269 14318366720 251962 18446744073709551615 4194304 4196468 140736031569952 139881923406704 139882381970050 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4043] ppid=4030 vsize=13982780 memory=1007848 CPUtime=5.48 cores=1,3,5,7
/proc/4032/task/4043/stat : 4043 (java) S 4030 4030 7968 0 -1 1077944384 32609 0 0 0 545 3 0 0 20 0 15 0 22821269 14318366720 251962 18446744073709551615 4194304 4196468 140736031569952 139881922353904 139882381970050 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4044] ppid=4030 vsize=13982780 memory=1380 CPUtime=1.08 cores=1,3,5,7
/proc/4032/task/4044/stat : 4044 (java) S 4030 4030 7968 0 -1 1077944384 14685 0 0 0 104 4 0 0 20 0 15 0 22821269 14318366720 251962 18446744073709551615 4194304 4196468 140736031569952 139881921301104 139882381970050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4045] ppid=4030 vsize=13982780 memory=1011444 CPUtime=0 cores=1,3,5,7
/proc/4032/task/4045/stat : 4045 (java) S 4030 4030 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 22821269 14318366720 251962 18446744073709551615 4194304 4196468 140736031569952 139881920248544 139882381969109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4046] ppid=4030 vsize=13982780 memory=280355736329680 CPUtime=1 cores=1,3,5,7
/proc/4032/task/4046/stat : 4046 (java) S 4030 4030 7968 0 -1 1077944384 1644 0 0 0 43 57 0 0 20 0 15 0 22821274 14318366720 251962 18446744073709551615 4194304 4196468 140736031569952 139881919195824 139882381970050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
Current children cumulated CPU time: 2427.33 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 1009228 KiB

[startup+2442.3 s]
/proc/loadavg: 1.71 1.70 1.69 3/213 4392
/proc/meminfo: memFree=29740044/32770624 swapFree=67108860/67108860
[pid=4030] ppid=4027 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4030/stat : 4030 (xcsp3-exec) S 4027 4030 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 22821253 9740288 345 18446744073709551615 4194304 5098028 140734024884192 140734024882296 139892925710972 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 26230784 140734024892793 140734024892998 140734024892998 140734024896491 0
/proc/4030/statm: 2378 345 289 221 0 87 0
[pid=4032] ppid=4030 vsize=13982780 memory=985272 CPUtime=2487.57 cores=1,3,5,7
/proc/4032/stat : 4032 (java) S 4030 4030 7968 0 -1 1077944320 238715 0 0 0 248495 262 0 0 20 0 15 0 22821263 14318366720 246318 18446744073709551615 4194304 4196468 140736031569952 140736031552496 139882381958903 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
/proc/4032/statm: 3495695 246318 3265 1 0 3483988 0
[pid=4032/tid=4033] ppid=4030 vsize=13982780 memory=985272 CPUtime=2430 cores=1,3,5,7
/proc/4032/task/4033/stat : 4033 (java) R 4030 4030 7968 0 -1 4202560 78952 0 0 0 242981 19 0 0 20 0 15 0 22821264 14318366720 246318 18446744073709551615 4194304 4196468 140736031569952 139882386198608 139882010707350 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4034] ppid=4030 vsize=13982780 memory=996556 CPUtime=10.81 cores=1,3,5,7
/proc/4032/task/4034/stat : 4034 (java) S 4030 4030 7968 0 -1 1077944384 12803 0 0 0 1039 42 0 0 20 0 15 0 22821264 14318366720 246318 18446744073709551615 4194304 4196468 140736031569952 139882323905680 139882381969109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4035] ppid=4030 vsize=13982780 memory=996556 CPUtime=10.83 cores=1,3,5,7
/proc/4032/task/4035/stat : 4035 (java) S 4030 4030 7968 0 -1 1077944384 14056 0 0 0 1041 42 0 0 20 0 15 0 22821264 14318366720 246318 18446744073709551615 4194304 4196468 140736031569952 139882322852880 139882381969109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4036] ppid=4030 vsize=13982780 memory=990400 CPUtime=10.85 cores=1,3,5,7
/proc/4032/task/4036/stat : 4036 (java) S 4030 4030 7968 0 -1 1077944384 11188 0 0 0 1041 44 0 0 20 0 15 0 22821264 14318366720 246318 18446744073709551615 4194304 4196468 140736031569952 139882321800080 139882381969109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4037] ppid=4030 vsize=13982780 memory=985272 CPUtime=10.82 cores=1,3,5,7
/proc/4032/task/4037/stat : 4037 (java) S 4030 4030 7968 0 -1 1077944384 12051 0 0 0 1038 44 0 0 20 0 15 0 22821264 14318366720 246318 18446744073709551615 4194304 4196468 140736031569952 139881978796816 139882381969109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4038] ppid=4030 vsize=13982780 memory=1380 CPUtime=0.83 cores=1,3,5,7
/proc/4032/task/4038/stat : 4038 (java) S 4030 4030 7968 0 -1 1077944384 23513 0 0 0 72 11 0 0 20 0 15 0 22821266 14318366720 246318 18446744073709551615 4194304 4196468 140736031569952 139881927616880 139882381970050 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4039] ppid=4030 vsize=13982780 memory=985272 CPUtime=0 cores=1,3,5,7
/proc/4032/task/4039/stat : 4039 (java) S 4030 4030 7968 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 22821266 14318366720 246318 18446744073709551615 4194304 4196468 140736031569952 139881926562912 139882381969109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4040] ppid=4030 vsize=13982780 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4032/task/4040/stat : 4040 (java) S 4030 4030 7968 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 22821266 14318366720 246318 18446744073709551615 4194304 4196468 140736031569952 139881925510016 139882381969109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4041] ppid=4030 vsize=13982780 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4032/task/4041/stat : 4041 (java) S 4030 4030 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 22821269 14318366720 246318 18446744073709551615 4194304 4196468 140736031569952 139881924458320 139882381977499 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4042] ppid=4030 vsize=13982780 memory=1380 CPUtime=5.72 cores=1,3,5,7
/proc/4032/task/4042/stat : 4042 (java) S 4030 4030 7968 0 -1 1077944384 35812 0 0 0 567 5 0 0 20 0 15 0 22821269 14318366720 246318 18446744073709551615 4194304 4196468 140736031569952 139881923406704 139882381970050 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4043] ppid=4030 vsize=13982780 memory=985272 CPUtime=5.48 cores=1,3,5,7
/proc/4032/task/4043/stat : 4043 (java) S 4030 4030 7968 0 -1 1077944384 32609 0 0 0 545 3 0 0 20 0 15 0 22821269 14318366720 246318 18446744073709551615 4194304 4196468 140736031569952 139881922353904 139882381970050 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4044] ppid=4030 vsize=13982780 memory=990400 CPUtime=1.08 cores=1,3,5,7
/proc/4032/task/4044/stat : 4044 (java) S 4030 4030 7968 0 -1 1077944384 14686 0 0 0 104 4 0 0 20 0 15 0 22821269 14318366720 246318 18446744073709551615 4194304 4196468 140736031569952 139881921301104 139882381970050 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4045] ppid=4030 vsize=13982780 memory=985272 CPUtime=0 cores=1,3,5,7
/proc/4032/task/4045/stat : 4045 (java) S 4030 4030 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 22821269 14318366720 246318 18446744073709551615 4194304 4196468 140736031569952 139881920248544 139882381969109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4046] ppid=4030 vsize=13982780 memory=1380 CPUtime=1.04 cores=1,3,5,7
/proc/4032/task/4046/stat : 4046 (java) S 4030 4030 7968 0 -1 1077944384 1663 0 0 0 45 59 0 0 20 0 15 0 22821274 14318366720 246318 18446744073709551615 4194304 4196468 140736031569952 139881919195824 139882381970050 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
Current children cumulated CPU time: 2487.57 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 986652 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2474.5 s]
/proc/loadavg: 1.69 1.70 1.68 3/216 4410
/proc/meminfo: memFree=29760072/32770624 swapFree=67108860/67108860
[pid=4030] ppid=4027 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4030/stat : 4030 (xcsp3-exec) S 4027 4030 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 22821253 9740288 345 18446744073709551615 4194304 5098028 140734024884192 140734024882296 139892925710972 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 26230784 140734024892793 140734024892998 140734024892998 140734024896491 0
/proc/4030/statm: 2378 345 289 221 0 87 0
[pid=4032] ppid=4030 vsize=13982780 memory=983732 CPUtime=2520.03 cores=1,3,5,7
/proc/4032/stat : 4032 (java) S 4030 4030 7968 0 -1 1077944320 240552 0 0 0 251740 263 0 0 20 0 15 0 22821263 14318366720 245933 18446744073709551615 4194304 4196468 140736031569952 140736031552496 139882381958903 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
/proc/4032/statm: 3495695 245933 3265 1 0 3483988 0
[pid=4032/tid=4033] ppid=4030 vsize=13982780 memory=983732 CPUtime=2462.12 cores=1,3,5,7
/proc/4032/task/4033/stat : 4033 (java) R 4030 4030 7968 0 -1 4202560 79626 0 0 0 246192 20 0 0 20 0 15 0 22821264 14318366720 245933 18446744073709551615 4194304 4196468 140736031569952 139882386198688 139882007726933 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4034] ppid=4030 vsize=13982780 memory=983732 CPUtime=10.89 cores=1,3,5,7
/proc/4032/task/4034/stat : 4034 (java) S 4030 4030 7968 0 -1 1077944384 13329 0 0 0 1047 42 0 0 20 0 15 0 22821264 14318366720 245933 18446744073709551615 4194304 4196468 140736031569952 139882323905680 139882381969109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4035] ppid=4030 vsize=13982780 memory=985272 CPUtime=10.91 cores=1,3,5,7
/proc/4032/task/4035/stat : 4035 (java) S 4030 4030 7968 0 -1 1077944384 14260 0 0 0 1049 42 0 0 20 0 15 0 22821264 14318366720 245933 18446744073709551615 4194304 4196468 140736031569952 139882322852880 139882381969109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4036] ppid=4030 vsize=13982780 memory=985272 CPUtime=10.94 cores=1,3,5,7
/proc/4032/task/4036/stat : 4036 (java) S 4030 4030 7968 0 -1 1077944384 11330 0 0 0 1050 44 0 0 20 0 15 0 22821264 14318366720 245933 18446744073709551615 4194304 4196468 140736031569952 139882321800080 139882381969109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4037] ppid=4030 vsize=13982780 memory=983732 CPUtime=10.9 cores=1,3,5,7
/proc/4032/task/4037/stat : 4037 (java) S 4030 4030 7968 0 -1 1077944384 12156 0 0 0 1046 44 0 0 20 0 15 0 22821264 14318366720 245933 18446744073709551615 4194304 4196468 140736031569952 139881978796816 139882381969109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4038] ppid=4030 vsize=13982780 memory=1380 CPUtime=0.83 cores=1,3,5,7
/proc/4032/task/4038/stat : 4038 (java) S 4030 4030 7968 0 -1 1077944384 23673 0 0 0 72 11 0 0 20 0 15 0 22821266 14318366720 245933 18446744073709551615 4194304 4196468 140736031569952 139881927616880 139882381970050 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4039] ppid=4030 vsize=13982780 memory=1700 CPUtime=0 cores=1,3,5,7
/proc/4032/task/4039/stat : 4039 (java) S 4030 4030 7968 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 22821266 14318366720 245933 18446744073709551615 4194304 4196468 140736031569952 139881926562912 139882381969109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4040] ppid=4030 vsize=13982780 memory=7680170660397595203 CPUtime=0 cores=1,3,5,7
/proc/4032/task/4040/stat : 4040 (java) S 4030 4030 7968 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 22821266 14318366720 245933 18446744073709551615 4194304 4196468 140736031569952 139881925510016 139882381969109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4041] ppid=4030 vsize=13982780 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/4032/task/4041/stat : 4041 (java) S 4030 4030 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 22821269 14318366720 245933 18446744073709551615 4194304 4196468 140736031569952 139881924458320 139882381977499 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4042] ppid=4030 vsize=13982780 memory=1380 CPUtime=5.72 cores=1,3,5,7
/proc/4032/task/4042/stat : 4042 (java) S 4030 4030 7968 0 -1 1077944384 35814 0 0 0 567 5 0 0 20 0 15 0 22821269 14318366720 245933 18446744073709551615 4194304 4196468 140736031569952 139881923406704 139882381970050 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4043] ppid=4030 vsize=13982780 memory=1380 CPUtime=5.48 cores=1,3,5,7
/proc/4032/task/4043/stat : 4043 (java) S 4030 4030 7968 0 -1 1077944384 32612 0 0 0 545 3 0 0 20 0 15 0 22821269 14318366720 245933 18446744073709551615 4194304 4196468 140736031569952 139881922353904 139882381970050 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4044] ppid=4030 vsize=13982780 memory=983732 CPUtime=1.08 cores=1,3,5,7
/proc/4032/task/4044/stat : 4044 (java) S 4030 4030 7968 0 -1 1077944384 14688 0 0 0 104 4 0 0 20 0 15 0 22821269 14318366720 245933 18446744073709551615 4194304 4196468 140736031569952 139881921301104 139882381970050 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4045] ppid=4030 vsize=13982780 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4032/task/4045/stat : 4045 (java) S 4030 4030 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 22821269 14318366720 245933 18446744073709551615 4194304 4196468 140736031569952 139881920248544 139882381969109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4046] ppid=4030 vsize=13982780 memory=983732 CPUtime=1.04 cores=1,3,5,7
/proc/4032/task/4046/stat : 4046 (java) S 4030 4030 7968 0 -1 1077944384 1682 0 0 0 45 59 0 0 20 0 15 0 22821274 14318366720 245933 18446744073709551615 4194304 4196468 140736031569952 139881919195824 139882381970050 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 985112 KiB

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

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

[startup+2474.52 s]
# the end of solver process 4032 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.42 s, system=2.64023 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

[startup+2474.5 s]
/proc/loadavg: 1.69 1.70 1.68 3/216 4410
/proc/meminfo: memFree=29760072/32770624 swapFree=67108860/67108860
[pid=4030] ppid=4027 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4030/stat : 4030 (xcsp3-exec) S 4027 4030 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 22821253 9740288 345 18446744073709551615 4194304 5098028 140734024884192 140734024882296 139892925710972 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 26230784 140734024892793 140734024892998 140734024892998 140734024896491 0
/proc/4030/statm: 2378 345 289 221 0 87 0
[pid=4032] ppid=4030 vsize=13982780 memory=983732 CPUtime=2520.03 cores=1,3,5,7
/proc/4032/stat : 4032 (java) S 4030 4030 7968 0 -1 1077944320 240552 0 0 0 251740 263 0 0 20 0 15 0 22821263 14318366720 245933 18446744073709551615 4194304 4196468 140736031569952 140736031552496 139882381958903 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
/proc/4032/statm: 3495695 245933 3265 1 0 3483988 0
[pid=4032/tid=4033] ppid=4030 vsize=13982780 memory=983732 CPUtime=2462.12 cores=1,3,5,7
/proc/4032/task/4033/stat : 4033 (java) R 4030 4030 7968 0 -1 4202560 79626 0 0 0 246192 20 0 0 20 0 15 0 22821264 14318366720 245933 18446744073709551615 4194304 4196468 140736031569952 139882386198688 139882007726933 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4034] ppid=4030 vsize=13982780 memory=983732 CPUtime=10.89 cores=1,3,5,7
/proc/4032/task/4034/stat : 4034 (java) S 4030 4030 7968 0 -1 1077944384 13329 0 0 0 1047 42 0 0 20 0 15 0 22821264 14318366720 245933 18446744073709551615 4194304 4196468 140736031569952 139882323905680 139882381969109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4035] ppid=4030 vsize=13982780 memory=985272 CPUtime=10.91 cores=1,3,5,7
/proc/4032/task/4035/stat : 4035 (java) S 4030 4030 7968 0 -1 1077944384 14260 0 0 0 1049 42 0 0 20 0 15 0 22821264 14318366720 245933 18446744073709551615 4194304 4196468 140736031569952 139882322852880 139882381969109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4036] ppid=4030 vsize=13982780 memory=985272 CPUtime=10.94 cores=1,3,5,7
/proc/4032/task/4036/stat : 4036 (java) S 4030 4030 7968 0 -1 1077944384 11330 0 0 0 1050 44 0 0 20 0 15 0 22821264 14318366720 245933 18446744073709551615 4194304 4196468 140736031569952 139882321800080 139882381969109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4037] ppid=4030 vsize=13982780 memory=983732 CPUtime=10.9 cores=1,3,5,7
/proc/4032/task/4037/stat : 4037 (java) S 4030 4030 7968 0 -1 1077944384 12156 0 0 0 1046 44 0 0 20 0 15 0 22821264 14318366720 245933 18446744073709551615 4194304 4196468 140736031569952 139881978796816 139882381969109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4038] ppid=4030 vsize=13982780 memory=1380 CPUtime=0.83 cores=1,3,5,7
/proc/4032/task/4038/stat : 4038 (java) S 4030 4030 7968 0 -1 1077944384 23673 0 0 0 72 11 0 0 20 0 15 0 22821266 14318366720 245933 18446744073709551615 4194304 4196468 140736031569952 139881927616880 139882381970050 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4039] ppid=4030 vsize=13982780 memory=1700 CPUtime=0 cores=1,3,5,7
/proc/4032/task/4039/stat : 4039 (java) S 4030 4030 7968 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 22821266 14318366720 245933 18446744073709551615 4194304 4196468 140736031569952 139881926562912 139882381969109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4040] ppid=4030 vsize=13982780 memory=7680170660397595203 CPUtime=0 cores=1,3,5,7
/proc/4032/task/4040/stat : 4040 (java) S 4030 4030 7968 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 22821266 14318366720 245933 18446744073709551615 4194304 4196468 140736031569952 139881925510016 139882381969109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4041] ppid=4030 vsize=13982780 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/4032/task/4041/stat : 4041 (java) S 4030 4030 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 22821269 14318366720 245933 18446744073709551615 4194304 4196468 140736031569952 139881924458320 139882381977499 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4042] ppid=4030 vsize=13982780 memory=1380 CPUtime=5.72 cores=1,3,5,7
/proc/4032/task/4042/stat : 4042 (java) S 4030 4030 7968 0 -1 1077944384 35814 0 0 0 567 5 0 0 20 0 15 0 22821269 14318366720 245933 18446744073709551615 4194304 4196468 140736031569952 139881923406704 139882381970050 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4043] ppid=4030 vsize=13982780 memory=1380 CPUtime=5.48 cores=1,3,5,7
/proc/4032/task/4043/stat : 4043 (java) S 4030 4030 7968 0 -1 1077944384 32612 0 0 0 545 3 0 0 20 0 15 0 22821269 14318366720 245933 18446744073709551615 4194304 4196468 140736031569952 139881922353904 139882381970050 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4044] ppid=4030 vsize=13982780 memory=983732 CPUtime=1.08 cores=1,3,5,7
/proc/4032/task/4044/stat : 4044 (java) S 4030 4030 7968 0 -1 1077944384 14688 0 0 0 104 4 0 0 20 0 15 0 22821269 14318366720 245933 18446744073709551615 4194304 4196468 140736031569952 139881921301104 139882381970050 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4045] ppid=4030 vsize=13982780 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4032/task/4045/stat : 4045 (java) S 4030 4030 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 22821269 14318366720 245933 18446744073709551615 4194304 4196468 140736031569952 139881920248544 139882381969109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
[pid=4032/tid=4046] ppid=4030 vsize=13982780 memory=983732 CPUtime=1.04 cores=1,3,5,7
/proc/4032/task/4046/stat : 4046 (java) S 4030 4030 7968 0 -1 1077944384 1682 0 0 0 45 59 0 0 20 0 15 0 22821274 14318366720 245933 18446744073709551615 4194304 4196468 140736031569952 139881919195824 139882381970050 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38453248 140736031572402 140736031572578 140736031572578 140736031576015 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 985112 KiB

Child status: 143
Real time (s): 2474.52
CPU time (s): 2520.06
CPU user time (s): 2517.42
CPU system time (s): 2.64023
CPU usage (%): 101.841
Max. virtual memory (cumulated for all children) (KiB): 13992292
Max. memory (cumulated for all children) (KiB): 1155064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.42
system time used= 2.64023
maximum resident set size= 1161936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 241370
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 65109
involuntary context switches= 1859


# summary of solver processes directly reported to runsolver:
#   pid: 4030,4032
#   total CPU time (s): 2520.06
#   total CPU user time (s): 2517.42
#   total CPU system time (s): 2.64023

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.1878 second user time and 23.0292 second system time

The end

Begin job on node128 at 2017-08-14 07:29:09
IDJOB=4272280
IDBENCH=115882
IDSOLVER=2664
FILE ID=node128/4272280-1502689386
RUNJOBID= node128-1502649221-29001
PBS_JOBID= 
Free space on /tmp= 62024 MiB

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

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

MD5SUM BENCH= b46c08097c4951fbb159b9042bff535d
RANDOM SEED=1902634750

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.94
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.94
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.94
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.94
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:        30873864 kB
MemAvailable:   31597768 kB
Buffers:          179204 kB
Cached:           830688 kB
SwapCached:            0 kB
Active:           728496 kB
Inactive:         753308 kB
Active(anon):     472396 kB
Inactive(anon):    16764 kB
Active(file):     256100 kB
Inactive(file):   736544 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7884 kB
Writeback:             0 kB
AnonPages:        480156 kB
Mapped:            47092 kB
Shmem:             17116 kB
Slab:             119312 kB
SReclaimable:      94188 kB
SUnreclaim:        25124 kB
KernelStack:        3488 kB
PageTables:         6160 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1074744 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    395264 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 62016 MiB
End job on node128 at 2017-08-14 08:10:24