0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394180-1568330577.xml"  -tl '2400s' -p 4
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4394180-1568330577.xml, -tl, 2400s, -p, 4]
0.34/0.22	c 4 solvers in parallel
0.34/0.28	c parse instance...
7.91/2.67	c solve instance...
10.57/3.35	o 49 
12.18/3.84	o 48 
16.53/6.04	o 47 
17.18/6.23	o 46 
18.36/6.55	o 45 
245.75/63.86	s OPTIMUM FOUND
245.75/63.86	v <instantiation>
245.75/63.86	v 	<list>p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] np[0][0] np[0][1] np[0][2] np[0][3] np[0][4] np[0][5] np[0][6] np[0][7] np[0][8] np[0][9] np[0][10] np[0][11] np[0][12] np[0][13] np[0][14] np[0][15] np[0][16] np[0][17] np[0][18] np[0][19] np[0][20] np[0][21] np[0][22] np[0][23] np[0][24] np[0][25] np[0][26] np[0][27] np[0][28] np[0][29] np[0][30] np[0][31] np[0][32] np[0][33] np[0][34] np[0][35] np[0][36] np[0][37] np[0][38] np[0][39] np[0][40] np[0][41] np[0][42] np[0][43] np[0][44] np[0][45] np[0][46] np[0][47] np[0][48] np[0][49] np[1][0] np[1][1] np[1][2] np[1][3] np[1][4] np[1][5] np[1][6] np[1][7] np[1][8] np[1][9] np[1][10] np[1][11] np[1][12] np[1][13] np[1][14] np[1][15] np[1][16] np[1][17] np[1][18] np[1][19] np[1][20] np[1][21] np[1][22] np[1][23] np[1][24] np[1][25] np[1][26] np[1][27] np[1][28] np[1][29] np[1][30] np[1][31] np[1][32] np[1][33] np[1][34] np[1][35] np[1][36] np[1][37] np[1][38] np[1][39] np[1][40] np[1][41] np[1][42] np[1][43] np[1][44] np[1][45] np[1][46] np[1][47] np[1][48] np[1][49] np[2][0] np[2][1] np[2][2] np[2][3] np[2][4] np[2][5] np[2][6] np[2][7] np[2][8] np[2][9] np[2][10] np[2][11] np[2][12] np[2][13] np[2][14] np[2][15] np[2][16] np[2][17] np[2][18] np[2][19] np[2][20] np[2][21] np[2][22] np[2][23] np[2][24] np[2][25] np[2][26] np[2][27] np[2][28] np[2][29] np[2][30] np[2][31] np[2][32] np[2][33] np[2][34] np[2][35] np[2][36] np[2][37] np[2][38] np[2][39] np[2][40] np[2][41] np[2][42] np[2][43] np[2][44] np[2][45] np[2][46] np[2][47] np[2][48] np[2][49] np[3][0] np[3][1] np[3][2] np[3][3] np[3][4] np[3][5] np[3][6] np[3][7] np[3][8] np[3][9] np[3][10] np[3][11] np[3][12] np[3][13] np[3][14] np[3][15] np[3][16] np[3][17] np[3][18] np[3][19] np[3][20] np[3][21] np[3][22] np[3][23] np[3][24] np[3][25] np[3][26] np[3][27] np[3][28] np[3][29] np[3][30] np[3][31] np[3][32] np[3][33] np[3][34] np[3][35] np[3][36] np[3][37] np[3][38] np[3][39] np[3][40] np[3][41] np[3][42] np[3][43] np[3][44] np[3][45] np[3][46] np[3][47] np[3][48] np[3][49] np[4][0] np[4][1] np[4][2] np[4][3] np[4][4] np[4][5] np[4][6] np[4][7] np[4][8] np[4][9] np[4][10] np[4][11] np[4][12] np[4][13] np[4][14] np[4][15] np[4][16] np[4][17] np[4][18] np[4][19] np[4][20] np[4][21] np[4][22] np[4][23] np[4][24] np[4][25] np[4][26] np[4][27] np[4][28] np[4][29] np[4][30] np[4][31] np[4][32] np[4][33] np[4][34] np[4][35] np[4][36] np[4][37] np[4][38] np[4][39] np[4][40] np[4][41] np[4][42] np[4][43] np[4][44] np[4][45] np[4][46] np[4][47] np[4][48] np[4][49] np[5][0] np[5][1] np[5][2] np[5][3] np[5][4] np[5][5] np[5][6] np[5][7] np[5][8] np[5][9] np[5][10] np[5][11] np[5][12] np[5][13] np[5][14] np[5][15] np[5][16] np[5][17] np[5][18] np[5][19] np[5][20] np[5][21] np[5][22] np[5][23] np[5][24] np[5][25] np[5][26] np[5][27] np[5][28] np[5][29] np[5][30] np[5][31] np[5][32] np[5][33] np[5][34] np[5][35] np[5][36] np[5][37] np[5][38] np[5][39] np[5][40] np[5][41] np[5][42] np[5][43] np[5][44] np[5][45] np[5][46] np[5][47] np[5][48] np[5][49] np[6][0] np[6][1] np[6][2] np[6][3] np[6][4] np[6][5] np[6][6] np[6][7] np[6][8] np[6][9] np[6][10] np[6][11] np[6][12] np[6][13] np[6][14] np[6][15] np[6][16] np[6][17] np[6][18] np[6][19] np[6][20] np[6][21] np[6][22] np[6][23] np[6][24] np[6][25] np[6][26] np[6][27] np[6][28] np[6][29] np[6][30] np[6][31] np[6][32] np[6][33] np[6][34] np[6][35] np[6][36] np[6][37] np[6][38] np[6][39] np[6][40] np[6][41] np[6][42] np[6][43] np[6][44] np[6][45] np[6][46] np[6][47] np[6][48] np[6][49] np[7][0] np[7][1] np[7][2] np[7][3] np[7][4] np[7][5] np[7][6] np[7][7] np[7][8] np[7][9] np[7][10] np[7][11] np[7][12] np[7][13] np[7][14] np[7][15] np[7][16] np[7][17] np[7][18] np[7][19] np[7][20] np[7][21] np[7][22] np[7][23] np[7][24] np[7][25] np[7][26] np[7][27] np[7][28] np[7][29] np[7][30] np[7][31] np[7][32] np[7][33] np[7][34] np[7][35] np[7][36] np[7][37] np[7][38] np[7][39] np[7][40] np[7][41] np[7][42] np[7][43] np[7][44] np[7][45] np[7][46] np[7][47] np[7][48] np[7][49] np[8][0] np[8][1] np[8][2] np[8][3] np[8][4] np[8][5] np[8][6] np[8][7] np[8][8] np[8][9] np[8][10] np[8][11] np[8][12] np[8][13] np[8][14] np[8][15] np[8][16] np[8][17] np[8][18] np[8][19] np[8][20] np[8][21] np[8][22] np[8][23] np[8][24] np[8][25] np[8][26] np[8][27] np[8][28] np[8][29] np[8][30] np[8][31] np[8][32] np[8][33] np[8][34] np[8][35] np[8][36] np[8][37] np[8][38] np[8][39] np[8][40] np[8][41] np[8][42] np[8][43] np[8][44] np[8][45] np[8][46] np[8][47] np[8][48] np[8][49] np[9][0] np[9][1] np[9][2] np[9][3] np[9][4] np[9][5] np[9][6] np[9][7] np[9][8] np[9][9] np[9][10] np[9][11] np[9][12] np[9][13] np[9][14] np[9][15] np[9][16] np[9][17] np[9][18] np[9][19] np[9][20] np[9][21] np[9][22] np[9][23] np[9][24] np[9][25] np[9][26] np[9][27] np[9][28] np[9][29] np[9][30] np[9][31] np[9][32] np[9][33] np[9][34] np[9][35] np[9][36] np[9][37] np[9][38] np[9][39] np[9][40] np[9][41] np[9][42] np[9][43] np[9][44] np[9][45] np[9][46] np[9][47] np[9][48] np[9][49] np[10][0] np[10][1] np[10][2] np[10][3] np[10][4] np[10][5] np[10][6] np[10][7] np[10][8] np[10][9] np[10][10] np[10][11] np[10][12] np[10][13] np[10][14] np[10][15] np[10][16] np[10][17] np[10][18] np[10][19] np[10][20] np[10][21] np[10][22] np[10][23] np[10][24] np[10][25] np[10][26] np[10][27] np[10][28] np[10][29] np[10][30] np[10][31] np[10][32] np[10][33] np[10][34] np[10][35] np[10][36] np[10][37] np[10][38] np[10][39] np[10][40] np[10][41] np[10][42] np[10][43] np[10][44] np[10][45] np[10][46] np[10][47] np[10][48] np[10][49] np[11][0] np[11][1] np[11][2] np[11][3] np[11][4] np[11][5] np[11][6] np[11][7] np[11][8] np[11][9] np[11][10] np[11][11] np[11][12] np[11][13] np[11][14] np[11][15] np[11][16] np[11][17] np[11][18] np[11][19] np[11][20] np[11][21] np[11][22] np[11][23] np[11][24] np[11][25] np[11][26] np[11][27] np[11][28] np[11][29] np[11][30] np[11][31] np[11][32] np[11][33] np[11][34] np[11][35] np[11][36] np[11][37] np[11][38] np[11][39] np[11][40] np[11][41] np[11][42] np[11][43] np[11][44] np[11][45] np[11][46] np[11][47] np[11][48] np[11][49] np[12][0] np[12][1] np[12][2] np[12][3] np[12][4] np[12][5] np[12][6] np[12][7] np[12][8] np[12][9] np[12][10] np[12][11] np[12][12] np[12][13] np[12][14] np[12][15] np[12][16] np[12][17] np[12][18] np[12][19] np[12][20] np[12][21] np[12][22] np[12][23] np[12][24] np[12][25] np[12][26] np[12][27] np[12][28] np[12][29] np[12][30] np[12][31] np[12][32] np[12][33] np[12][34] np[12][35] np[12][36] np[12][37] np[12][38] np[12][39] np[12][40] np[12][41] np[12][42] np[12][43] np[12][44] np[12][45] np[12][46] np[12][47] np[12][48] np[12][49] np[13][0] np[13][1] np[13][2] np[13][3] np[13][4] np[13][5] np[13][6] np[13][7] np[13][8] np[13][9] np[13][10] np[13][11] np[13][12] np[13][13] np[13][14] np[13][15] np[13][16] np[13][17] np[13][18] np[13][19] np[13][20] np[13][21] np[13][22] np[13][23] np[13][24] np[13][25] np[13][26] np[13][27] np[13][28] np[13][29] np[13][30] np[13][31] np[13][32] np[13][33] np[13][34] np[13][35] np[13][36] np[13][37] np[13][38] np[13][39] np[13][40] np[13][41] np[13][42] np[13][43] np[13][44] np[13][45] np[13][46] np[13][47] np[13][48] np[13][49] np[14][0] np[14][1] np[14][2] np[14][3] np[14][4] np[14][5] np[14][6] np[14][7] np[14][8] np[14][9] np[14][10] np[14][11] np[14][12] np[14][13] np[14][14] np[14][15] np[14][16] np[14][17] np[14][18] np[14][19] np[14][20] np[14][21] np[14][22] np[14][23] np[14][24] np[14][25] np[14][26] np[14][27] np[14][28] np[14][29] np[14][30] np[14][31] np[14][32] np[14][33] np[14][34] np[14][35] np[14][36] np[14][37] np[14][38] np[14][39] np[14][40] np[14][41] np[14][42] np[14][43] np[14][44] np[14][45] np[14][46] np[14][47] np[14][48] np[14][49] np[15][0] np[15][1] np[15][2] np[15][3] np[15][4] np[15][5] np[15][6] np[15][7] np[15][8] np[15][9] np[15][10] np[15][11] np[15][12] np[15][13] np[15][14] np[15][15] np[15][16] np[15][17] np[15][18] np[15][19] np[15][20] np[15][21] np[15][22] np[15][23] np[15][24] np[15][25] np[15][26] np[15][27] np[15][28] np[15][29] np[15][30] np[15][31] np[15][32] np[15][33] np[15][34] np[15][35] np[15][36] np[15][37] np[15][38] np[15][39] np[15][40] np[15][41] np[15][42] np[15][43] np[15][44] np[15][45] np[15][46] np[15][47] np[15][48] np[15][49] np[16][0] np[16][1] np[16][2] np[16][3] np[16][4] np[16][5] np[16][6] np[16][7] np[16][8] np[16][9] np[16][10] np[16][11] np[16][12] np[16][13] np[16][14] np[16][15] np[16][16] np[16][17] np[16][18] np[16][19] np[16][20] np[16][21] np[16][22] np[16][23] np[16][24] np[16][25] np[16][26] np[16][27] np[16][28] np[16][29] np[16][30] np[16][31] np[16][32] np[16][33] np[16][34] np[16][35] np[16][36] np[16][37] np[16][38] np[16][39] np[16][40] np[16][41] np[16][42] np[16][43] np[16][44] np[16][45] np[16][46] np[16][47] np[16][48] np[16][49] np[17][0] np[17][1] np[17][2] np[17][3] np[17][4] np[17][5] np[17][6] np[17][7] np[17][8] np[17][9] np[17][10] np[17][11] np[17][12] np[17][13] np[17][14] np[17][15] np[17][16] np[17][17] np[17][18] np[17][19] np[17][20] np[17][21] np[17][22] np[17][23] np[17][24] np[17][25] np[17][26] np[17][27] np[17][28] np[17][29] np[17][30] np[17][31] np[17][32] np[17][33] np[17][34] np[17][35] np[17][36] np[17][37] np[17][38] np[17][39] np[17][40] np[17][41] np[17][42] np[17][43] np[17][44] np[17][45] np[17][46] np[17][47] np[17][48] np[17][49] np[18][0] np[18][1] np[18][2] np[18][3] np[18][4] np[18][5] np[18][6] np[18][7] np[18][8] np[18][9] np[18][10] np[18][11] np[18][12] np[18][13] np[18][14] np[18][15] np[18][16] np[18][17] np[18][18] np[18][19] np[18][20] np[18][21] np[18][22] np[18][23] np[18][24] np[18][25] np[18][26] np[18][27] np[18][28] np[18][29] np[18][30] np[18][31] np[18][32] np[18][33] np[18][34] np[18][35] np[18][36] np[18][37] np[18][38] np[18][39] np[18][40] np[18][41] np[18][42] np[18][43] np[18][44] np[18][45] np[18][46] np[18][47] np[18][48] np[18][49] np[19][0] np[19][1] np[19][2] np[19][3] np[19][4] np[19][5] np[19][6] np[19][7] np[19][8] np[19][9] np[19][10] np[19][11] np[19][12] np[19][13] np[19][14] np[19][15] np[19][16] np[19][17] np[19][18] np[19][19] np[19][20] np[19][21] np[19][22] np[19][23] np[19][24] np[19][25] np[19][26] np[19][27] np[19][28] np[19][29] np[19][30] np[19][31] np[19][32] np[19][33] np[19][34] np[19][35] np[19][36] np[19][37] np[19][38] np[19][39] np[19][40] np[19][41] np[19][42] np[19][43] np[19][44] np[19][45] np[19][46] np[19][47] np[19][48] np[19][49] np[20][0] np[20][1] np[20][2] np[20][3] np[20][4] np[20][5] np[20][6] np[20][7] np[20][8] np[20][9] np[20][10] np[20][11] np[20][12] np[20][13] np[20][14] np[20][15] np[20][16] np[20][17] np[20][18] np[20][19] np[20][20] np[20][21] np[20][22] np[20][23] np[20][24] np[20][25] np[20][26] np[20][27] np[20][28] np[20][29] np[20][30] np[20][31] np[20][32] np[20][33] np[20][34] np[20][35] np[20][36] np[20][37] np[20][38] np[20][39] np[20][40] np[20][41] np[20][42] np[20][43] np[20][44] np[20][45] np[20][46] np[20][47] np[20][48] np[20][49] np[21][0] np[21][1] np[21][2] np[21][3] np[21][4] np[21][5] np[21][6] np[21][7] np[21][8] np[21][9] np[21][10] np[21][11] np[21][12] np[21][13] np[21][14] np[21][15] np[21][16] np[21][17] np[21][18] np[21][19] np[21][20] np[21][21] np[21][22] np[21][23] np[21][24] np[21][25] np[21][26] np[21][27] np[21][28] np[21][29] np[21][30] np[21][31] np[21][32] np[21][33] np[21][34] np[21][35] np[21][36] np[21][37] np[21][38] np[21][39] np[21][40] np[21][41] np[21][42] np[21][43] np[21][44] np[21][45] np[21][46] np[21][47] np[21][48] np[21][49] np[22][0] np[22][1] np[22][2] np[22][3] np[22][4] np[22][5] np[22][6] np[22][7] np[22][8] np[22][9] np[22][10] np[22][11] np[22][12] np[22][13] np[22][14] np[22][15] np[22][16] np[22][17] np[22][18] np[22][19] np[22][20] np[22][21] np[22][22] np[22][23] np[22][24] np[22][25] np[22][26] np[22][27] np[22][28] np[22][29] np[22][30] np[22][31] np[22][32] np[22][33] np[22][34] np[22][35] np[22][36] np[22][37] np[22][38] np[22][39] np[22][40] np[22][41] np[22][42] np[22][43] np[22][44] np[22][45] np[22][46] np[22][47] np[22][48] np[22][49] np[23][0] np[23][1] np[23][2] np[23][3] np[23][4] np[23][5] np[23][6] np[23][7] np[23][8] np[23][9] np[23][10] np[23][11] np[23][12] np[23][13] np[23][14] np[23][15] np[23][16] np[23][17] np[23][18] np[23][19] np[23][20] np[23][21] np[23][22] np[23][23] np[23][24] np[23][25] np[23][26] np[23][27] np[23][28] np[23][29] np[23][30] np[23][31] np[23][32] np[23][33] np[23][34] np[23][35] np[23][36] np[23][37] np[23][38] np[23][39] np[23][40] np[23][41] np[23][42] np[23][43] np[23][44] np[23][45] np[23][46] np[23][47] np[23][48] np[23][49] np[24][0] np[24][1] np[24][2] np[24][3] np[24][4] np[24][5] np[24][6] np[24][7] np[24][8] np[24][9] np[24][10] np[24][11] np[24][12] np[24][13] np[24][14] np[24][15] np[24][16] np[24][17] np[24][18] np[24][19] np[24][20] np[24][21] np[24][22] np[24][23] np[24][24] np[24][25] np[24][26] np[24][27] np[24][28] np[24][29] np[24][30] np[24][31] np[24][32] np[24][33] np[24][34] np[24][35] np[24][36] np[24][37] np[24][38] np[24][39] np[24][40] np[24][41] np[24][42] np[24][43] np[24][44] np[24][45] np[24][46] np[24][47] np[24][48] np[24][49] np[25][0] np[25][1] np[25][2] np[25][3] np[25][4] np[25][5] np[25][6] np[25][7] np[25][8] np[25][9] np[25][10] np[25][11] np[25][12] np[25][13] np[25][14] np[25][15] np[25][16] np[25][17] np[25][18] np[25][19] np[25][20] np[25][21] np[25][22] np[25][23] np[25][24] np[25][25] np[25][26] np[25][27] np[25][28] np[25][29] np[25][30] np[25][31] np[25][32] np[25][33] np[25][34] np[25][35] np[25][36] np[25][37] np[25][38] np[25][39] np[25][40] np[25][41] np[25][42] np[25][43] np[25][44] np[25][45] np[25][46] np[25][47] np[25][48] np[25][49] np[26][0] np[26][1] np[26][2] np[26][3] np[26][4] np[26][5] np[26][6] np[26][7] np[26][8] np[26][9] np[26][10] np[26][11] np[26][12] np[26][13] np[26][14] np[26][15] np[26][16] np[26][17] np[26][18] np[26][19] np[26][20] np[26][21] np[26][22] np[26][23] np[26][24] np[26][25] np[26][26] np[26][27] np[26][28] np[26][29] np[26][30] np[26][31] np[26][32] np[26][33] np[26][34] np[26][35] np[26][36] np[26][37] np[26][38] np[26][39] np[26][40] np[26][41] np[26][42] np[26][43] np[26][44] np[26][45] np[26][46] np[26][47] np[26][48] np[26][49] np[27][0] np[27][1] np[27][2] np[27][3] np[27][4] np[27][5] np[27][6] np[27][7] np[27][8] np[27][9] np[27][10] np[27][11] np[27][12] np[27][13] np[27][14] np[27][15] np[27][16] np[27][17] np[27][18] np[27][19] np[27][20] np[27][21] np[27][22] np[27][23] np[27][24] np[27][25] np[27][26] np[27][27] np[27][28] np[27][29] np[27][30] np[27][31] np[27][32] np[27][33] np[27][34] np[27][35] np[27][36] np[27][37] np[27][38] np[27][39] np[27][40] np[27][41] np[27][42] np[27][43] np[27][44] np[27][45] np[27][46] np[27][47] np[27][48] np[27][49] np[28][0] np[28][1] np[28][2] np[28][3] np[28][4] np[28][5] np[28][6] np[28][7] np[28][8] np[28][9] np[28][10] np[28][11] np[28][12] np[28][13] np[28][14] np[28][15] np[28][16] np[28][17] np[28][18] np[28][19] np[28][20] np[28][21] np[28][22] np[28][23] np[28][24] np[28][25] np[28][26] np[28][27] np[28][28] np[28][29] np[28][30] np[28][31] np[28][32] np[28][33] np[28][34] np[28][35] np[28][36] np[28][37] np[28][38] np[28][39] np[28][40] np[28][41] np[28][42] np[28][43] np[28][44] np[28][45] np[28][46] np[28][47] np[28][48] np[28][49] np[29][0] np[29][1] np[29][2] np[29][3] np[29][4] np[29][5] np[29][6] np[29][7] np[29][8] np[29][9] np[29][10] np[29][11] np[29][12] np[29][13] np[29][14] np[29][15] np[29][16] np[29][17] np[29][18] np[29][19] np[29][20] np[29][21] np[29][22] np[29][23] np[29][24] np[29][25] np[29][26] np[29][27] np[29][28] np[29][29] np[29][30] np[29][31] np[29][32] np[29][33] np[29][34] np[29][35] np[29][36] np[29][37] np[29][38] np[29][39] np[29][40] np[29][41] np[29][42] np[29][43] np[29][44] np[29][45] np[29][46] np[29][47] np[29][48] np[29][49] np[30][0] np[30][1] np[30][2] np[30][3] np[30][4] np[30][5] np[30][6] np[30][7] np[30][8] np[30][9] np[30][10] np[30][11] np[30][12] np[30][13] np[30][14] np[30][15] np[30][16] np[30][17] np[30][18] np[30][19] np[30][20] np[30][21] np[30][22] np[30][23] np[30][24] np[30][25] np[30][26] np[30][27] np[30][28] np[30][29] np[30][30] np[30][31] np[30][32] np[30][33] np[30][34] np[30][35] np[30][36] np[30][37] np[30][38] np[30][39] np[30][40] np[30][41] np[30][42] np[30][43] np[30][44] np[30][45] np[30][46] np[30][47] np[30][48] np[30][49] np[31][0] np[31][1] np[31][2] np[31][3] np[31][4] np[31][5] np[31][6] np[31][7] np[31][8] np[31][9] np[31][10] np[31][11] np[31][12] np[31][13] np[31][14] np[31][15] np[31][16] np[31][17] np[31][18] np[31][19] np[31][20] np[31][21] np[31][22] np[31][23] np[31][24] np[31][25] np[31][26] np[31][27] np[31][28] np[31][29] np[31][30] np[31][31] np[31][32] np[31][33] np[31][34] np[31][35] np[31][36] np[31][37] np[31][38] np[31][39] np[31][40] np[31][41] np[31][42] np[31][43] np[31][44] np[31][45] np[31][46] np[31][47] np[31][48] np[31][49] np[32][0] np[32][1] np[32][2] np[32][3] np[32][4] np[32][5] np[32][6] np[32][7] np[32][8] np[32][9] np[32][10] np[32][11] np[32][12] np[32][13] np[32][14] np[32][15] np[32][16] np[32][17] np[32][18] np[32][19] np[32][20] np[32][21] np[32][22] np[32][23] np[32][24] np[32][25] np[32][26] np[32][27] np[32][28] np[32][29] np[32][30] np[32][31] np[32][32] np[32][33] np[32][34] np[32][35] np[32][36] np[32][37] np[32][38] np[32][39] np[32][40] np[32][41] np[32][42] np[32][43] np[32][44] np[32][45] np[32][46] np[32][47] np[32][48] np[32][49] np[33][0] np[33][1] np[33][2] np[33][3] np[33][4] np[33][5] np[33][6] np[33][7] np[33][8] np[33][9] np[33][10] np[33][11] np[33][12] np[33][13] np[33][14] np[33][15] np[33][16] np[33][17] np[33][18] np[33][19] np[33][20] np[33][21] np[33][22] np[33][23] np[33][24] np[33][25] np[33][26] np[33][27] np[33][28] np[33][29] np[33][30] np[33][31] np[33][32] np[33][33] np[33][34] np[33][35] np[33][36] np[33][37] np[33][38] np[33][39] np[33][40] np[33][41] np[33][42] np[33][43] np[33][44] np[33][45] np[33][46] np[33][47] np[33][48] np[33][49] np[34][0] np[34][1] np[34][2] np[34][3] np[34][4] np[34][5] np[34][6] np[34][7] np[34][8] np[34][9] np[34][10] np[34][11] np[34][12] np[34][13] np[34][14] np[34][15] np[34][16] np[34][17] np[34][18] np[34][19] np[34][20] np[34][21] np[34][22] np[34][23] np[34][24] np[34][25] np[34][26] np[34][27] np[34][28] np[34][29] np[34][30] np[34][31] np[34][32] np[34][33] np[34][34] np[34][35] np[34][36] np[34][37] np[34][38] np[34][39] np[34][40] np[34][41] np[34][42] np[34][43] np[34][44] np[34][45] np[34][46] np[34][47] np[34][48] np[34][49] np[35][0] np[35][1] np[35][2] np[35][3] np[35][4] np[35][5] np[35][6] np[35][7] np[35][8] np[35][9] np[35][10] np[35][11] np[35][12] np[35][13] np[35][14] np[35][15] np[35][16] np[35][17] np[35][18] np[35][19] np[35][20] np[35][21] np[35][22] np[35][23] np[35][24] np[35][25] np[35][26] np[35][27] np[35][28] np[35][29] np[35][30] np[35][31] np[35][32] np[35][33] np[35][34] np[35][35] np[35][36] np[35][37] np[35][38] np[35][39] np[35][40] np[35][41] np[35][42] np[35][43] np[35][44] np[35][45] np[35][46] np[35][47] np[35][48] np[35][49] np[36][0] np[36][1] np[36][2] np[36][3] np[36][4] np[36][5] np[36][6] np[36][7] np[36][8] np[36][9] np[36][10] np[36][11] np[36][12] np[36][13] np[36][14] np[36][15] np[36][16] np[36][17] np[36][18] np[36][19] np[36][20] np[36][21] np[36][22] np[36][23] np[36][24] np[36][25] np[36][26] np[36][27] np[36][28] np[36][29] np[36][30] np[36][31] np[36][32] np[36][33] np[36][34] np[36][35] np[36][36] np[36][37] np[36][38] np[36][39] np[36][40] np[36][41] np[36][42] np[36][43] np[36][44] np[36][45] np[36][46] np[36][47] np[36][48] np[36][49] np[37][0] np[37][1] np[37][2] np[37][3] np[37][4] np[37][5] np[37][6] np[37][7] np[37][8] np[37][9] np[37][10] np[37][11] np[37][12] np[37][13] np[37][14] np[37][15] np[37][16] np[37][17] np[37][18] np[37][19] np[37][20] np[37][21] np[37][22] np[37][23] np[37][24] np[37][25] np[37][26] np[37][27] np[37][28] np[37][29] np[37][30] np[37][31] np[37][32] np[37][33] np[37][34] np[37][35] np[37][36] np[37][37] np[37][38] np[37][39] np[37][40] np[37][41] np[37][42] np[37][43] np[37][44] np[37][45] np[37][46] np[37][47] np[37][48] np[37][49] np[38][0] np[38][1] np[38][2] np[38][3] np[38][4] np[38][5] np[38][6] np[38][7] np[38][8] np[38][9] np[38][10] np[38][11] np[38][12] np[38][13] np[38][14] np[38][15] np[38][16] np[38][17] np[38][18] np[38][19] np[38][20] np[38][21] np[38][22] np[38][23] np[38][24] np[38][25] np[38][26] np[38][27] np[38][28] np[38][29] np[38][30] np[38][31] np[38][32] np[38][33] np[38][34] np[38][35] np[38][36] np[38][37] np[38][38] np[38][39] np[38][40] np[38][41] np[38][42] np[38][43] np[38][44] np[38][45] np[38][46] np[38][47] np[38][48] np[38][49] np[39][0] np[39][1] np[39][2] np[39][3] np[39][4] np[39][5] np[39][6] np[39][7] np[39][8] np[39][9] np[39][10] np[39][11] np[39][12] np[39][13] np[39][14] np[39][15] np[39][16] np[39][17] np[39][18] np[39][19] np[39][20] np[39][21] np[39][22] np[39][23] np[39][24] np[39][25] np[39][26] np[39][27] np[39][28] np[39][29] np[39][30] np[39][31] np[39][32] np[39][33] np[39][34] np[39][35] np[39][36] np[39][37] np[39][38] np[39][39] np[39][40] np[39][41] np[39][42] np[39][43] np[39][44] np[39][45] np[39][46] np[39][47] np[39][48] np[39][49] np[40][0] np[40][1] np[40][2] np[40][3] np[40][4] np[40][5] np[40][6] np[40][7] np[40][8] np[40][9] np[40][10] np[40][11] np[40][12] np[40][13] np[40][14] np[40][15] np[40][16] np[40][17] np[40][18] np[40][19] np[40][20] np[40][21] np[40][22] np[40][23] np[40][24] np[40][25] np[40][26] np[40][27] np[40][28] np[40][29] np[40][30] np[40][31] np[40][32] np[40][33] np[40][34] np[40][35] np[40][36] np[40][37] np[40][38] np[40][39] np[40][40] np[40][41] np[40][42] np[40][43] np[40][44] np[40][45] np[40][46] np[40][47] np[40][48] np[40][49] np[41][0] np[41][1] np[41][2] np[41][3] np[41][4] np[41][5] np[41][6] np[41][7] np[41][8] np[41][9] np[41][10] np[41][11] np[41][12] np[41][13] np[41][14] np[41][15] np[41][16] np[41][17] np[41][18] np[41][19] np[41][20] np[41][21] np[41][22] np[41][23] np[41][24] np[41][25] np[41][26] np[41][27] np[41][28] np[41][29] np[41][30] np[41][31] np[41][32] np[41][33] np[41][34] np[41][35] np[41][36] np[41][37] np[41][38] np[41][39] np[41][40] np[41][41] np[41][42] np[41][43] np[41][44] np[41][45] np[41][46] np[41][47] np[41][48] np[41][49] np[42][0] np[42][1] np[42][2] np[42][3] np[42][4] np[42][5] np[42][6] np[42][7] np[42][8] np[42][9] np[42][10] np[42][11] np[42][12] np[42][13] np[42][14] np[42][15] np[42][16] np[42][17] np[42][18] np[42][19] np[42][20] np[42][21] np[42][22] np[42][23] np[42][24] np[42][25] np[42][26] np[42][27] np[42][28] np[42][29] np[42][30] np[42][31] np[42][32] np[42][33] np[42][34] np[42][35] np[42][36] np[42][37] np[42][38] np[42][39] np[42][40] np[42][41] np[42][42] np[42][43] np[42][44] np[42][45] np[42][46] np[42][47] np[42][48] np[42][49] np[43][0] np[43][1] np[43][2] np[43][3] np[43][4] np[43][5] np[43][6] np[43][7] np[43][8] np[43][9] np[43][10] np[43][11] np[43][12] np[43][13] np[43][14] np[43][15] np[43][16] np[43][17] np[43][18] np[43][19] np[43][20] np[43][21] np[43][22] np[43][23] np[43][24] np[43][25] np[43][26] np[43][27] np[43][28] np[43][29] np[43][30] np[43][31] np[43][32] np[43][33] np[43][34] np[43][35] np[43][36] np[43][37] np[43][38] np[43][39] np[43][40] np[43][41] np[43][42] np[43][43] np[43][44] np[43][45] np[43][46] np[43][47] np[43][48] np[43][49] np[44][0] np[44][1] np[44][2] np[44][3] np[44][4] np[44][5] np[44][6] np[44][7] np[44][8] np[44][9] np[44][10] np[44][11] np[44][12] np[44][13] np[44][14] np[44][15] np[44][16] np[44][17] np[44][18] np[44][19] np[44][20] np[44][21] np[44][22] np[44][23] np[44][24] np[44][25] np[44][26] np[44][27] np[44][28] np[44][29] np[44][30] np[44][31] np[44][32] np[44][33] np[44][34] np[44][35] np[44][36] np[44][37] np[44][38] np[44][39] np[44][40] np[44][41] np[44][42] np[44][43] np[44][44] np[44][45] np[44][46] np[44][47] np[44][48] np[44][49] np[45][0] np[45][1] np[45][2] np[45][3] np[45][4] np[45][5] np[45][6] np[45][7] np[45][8] np[45][9] np[45][10] np[45][11] np[45][12] np[45][13] np[45][14] np[45][15] np[45][16] np[45][17] np[45][18] np[45][19] np[45][20] np[45][21] np[45][22] np[45][23] np[45][24] np[45][25] np[45][26] np[45][27] np[45][28] np[45][29] np[45][30] np[45][31] np[45][32] np[45][33] np[45][34] np[45][35] np[45][36] np[45][37] np[45][38] np[45][39] np[45][40] np[45][41] np[45][42] np[45][43] np[45][44] np[45][45] np[45][46] np[45][47] np[45][48] np[45][49] np[46][0] np[46][1] np[46][2] np[46][3] np[46][4] np[46][5] np[46][6] np[46][7] np[46][8] np[46][9] np[46][10] np[46][11] np[46][12] np[46][13] np[46][14] np[46][15] np[46][16] np[46][17] np[46][18] np[46][19] np[46][20] np[46][21] np[46][22] np[46][23] np[46][24] np[46][25] np[46][26] np[46][27] np[46][28] np[46][29] np[46][30] np[46][31] np[46][32] np[46][33] np[46][34] np[46][35] np[46][36] np[46][37] np[46][38] np[46][39] np[46][40] np[46][41] np[46][42] np[46][43] np[46][44] np[46][45] np[46][46] np[46][47] np[46][48] np[46][49] np[47][0] np[47][1] np[47][2] np[47][3] np[47][4] np[47][5] np[47][6] np[47][7] np[47][8] np[47][9] np[47][10] np[47][11] np[47][12] np[47][13] np[47][14] np[47][15] np[47][16] np[47][17] np[47][18] np[47][19] np[47][20] np[47][21] np[47][22] np[47][23] np[47][24] np[47][25] np[47][26] np[47][27] np[47][28] np[47][29] np[47][30] np[47][31] np[47][32] np[47][33] np[47][34] np[47][35] np[47][36] np[47][37] np[47][38] np[47][39] np[47][40] np[47][41] np[47][42] np[47][43] np[47][44] np[47][45] np[47][46] np[47][47] np[47][48] np[47][49] np[48][0] np[48][1] np[48][2] np[48][3] np[48][4] np[48][5] np[48][6] np[48][7] np[48][8] np[48][9] np[48][10] np[48][11] np[48][12] np[48][13] np[48][14] np[48][15] np[48][16] np[48][17] np[48][18] np[48][19] np[48][20] np[48][21] np[48][22] np[48][23] np[48][24] np[48][25] np[48][26] np[48][27] np[48][28] np[48][29] np[48][30] np[48][31] np[48][32] np[48][33] np[48][34] np[48][35] np[48][36] np[48][37] np[48][38] np[48][39] np[48][40] np[48][41] np[48][42] np[48][43] np[48][44] np[48][45] np[48][46] np[48][47] np[48][48] np[48][49] np[49][0] np[49][1] np[49][2] np[49][3] np[49][4] np[49][5] np[49][6] np[49][7] np[49][8] np[49][9] np[49][10] np[49][11] np[49][12] np[49][13] np[49][14] np[49][15] np[49][16] np[49][17] np[49][18] np[49][19] np[49][20] np[49][21] np[49][22] np[49][23] np[49][24] np[49][25] np[49][26] np[49][27] np[49][28] np[49][29] np[49][30] np[49][31] np[49][32] np[49][33] np[49][34] np[49][35] np[49][36] np[49][37] np[49][38] np[49][39] np[49][40] np[49][41] np[49][42] np[49][43] np[49][44] np[49][45] np[49][46] np[49][47] np[49][48] np[49][49] r[0][0] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[0][10] r[0][11] r[0][12] r[0][13] r[0][14] r[0][15] r[0][16] r[0][17] r[0][18] r[0][19] r[0][20] r[0][21] r[0][22] r[0][23] r[0][24] r[0][25] r[0][26] r[0][27] r[0][28] r[0][29] r[0][30] r[0][31] r[0][32] r[0][33] r[0][34] r[0][35] r[0][36] r[0][37] r[0][38] r[0][39] r[0][40] r[0][41] r[0][42] r[0][43] r[0][44] r[0][45] r[0][46] r[0][47] r[0][48] r[0][49] r[1][0] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[1][10] r[1][11] r[1][12] r[1][13] r[1][14] r[1][15] r[1][16] r[1][17] r[1][18] r[1][19] r[1][20] r[1][21] r[1][22] r[1][23] r[1][24] r[1][25] r[1][26] r[1][27] r[1][28] r[1][29] r[1][30] r[1][31] r[1][32] r[1][33] r[1][34] r[1][35] r[1][36] r[1][37] r[1][38] r[1][39] r[1][40] r[1][41] r[1][42] r[1][43] r[1][44] r[1][45] r[1][46] r[1][47] r[1][48] r[1][49] r[2][0] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[2][10] r[2][11] r[2][12] r[2][13] r[2][14] r[2][15] r[2][16] r[2][17] r[2][18] r[2][19] r[2][20] r[2][21] r[2][22] r[2][23] r[2][24] r[2][25] r[2][26] r[2][27] r[2][28] r[2][29] r[2][30] r[2][31] r[2][32] r[2][33] r[2][34] r[2][35] r[2][36] r[2][37] r[2][38] r[2][39] r[2][40] r[2][41] r[2][42] r[2][43] r[2][44] r[2][45] r[2][46] r[2][47] r[2][48] r[2][49] r[3][0] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[3][10] r[3][11] r[3][12] r[3][13] r[3][14] r[3][15] r[3][16] r[3][17] r[3][18] r[3][19] r[3][20] r[3][21] r[3][22] r[3][23] r[3][24] r[3][25] r[3][26] r[3][27] r[3][28] r[3][29] r[3][30] r[3][31] r[3][32] r[3][33] r[3][34] r[3][35] r[3][36] r[3][37] r[3][38] r[3][39] r[3][40] r[3][41] r[3][42] r[3][43] r[3][44] r[3][45] r[3][46] r[3][47] r[3][48] r[3][49] r[4][0] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[4][10] r[4][11] r[4][12] r[4][13] r[4][14] r[4][15] r[4][16] r[4][17] r[4][18] r[4][19] r[4][20] r[4][21] r[4][22] r[4][23] r[4][24] r[4][25] r[4][26] r[4][27] r[4][28] r[4][29] r[4][30] r[4][31] r[4][32] r[4][33] r[4][34] r[4][35] r[4][36] r[4][37] r[4][38] r[4][39] r[4][40] r[4][41] r[4][42] r[4][43] r[4][44] r[4][45] r[4][46] r[4][47] r[4][48] r[4][49] r[5][0] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[5][10] r[5][11] r[5][12] r[5][13] r[5][14] r[5][15] r[5][16] r[5][17] r[5][18] r[5][19] r[5][20] r[5][21] r[5][22] r[5][23] r[5][24] r[5][25] r[5][26] r[5][27] r[5][28] r[5][29] r[5][30] r[5][31] r[5][32] r[5][33] r[5][34] r[5][35] r[5][36] r[5][37] r[5][38] r[5][39] r[5][40] r[5][41] r[5][42] r[5][43] r[5][44] r[5][45] r[5][46] r[5][47] r[5][48] r[5][49] r[6][0] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[6][10] r[6][11] r[6][12] r[6][13] r[6][14] r[6][15] r[6][16] r[6][17] r[6][18] r[6][19] r[6][20] r[6][21] r[6][22] r[6][23] r[6][24] r[6][25] r[6][26] r[6][27] r[6][28] r[6][29] r[6][30] r[6][31] r[6][32] r[6][33] r[6][34] r[6][35] r[6][36] r[6][37] r[6][38] r[6][39] r[6][40] r[6][41] r[6][42] r[6][43] r[6][44] r[6][45] r[6][46] r[6][47] r[6][48] r[6][49] r[7][0] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[7][10] r[7][11] r[7][12] r[7][13] r[7][14] r[7][15] r[7][16] r[7][17] r[7][18] r[7][19] r[7][20] r[7][21] r[7][22] r[7][23] r[7][24] r[7][25] r[7][26] r[7][27] r[7][28] r[7][29] r[7][30] r[7][31] r[7][32] r[7][33] r[7][34] r[7][35] r[7][36] r[7][37] r[7][38] r[7][39] r[7][40] r[7][41] r[7][42] r[7][43] r[7][44] r[7][45] r[7][46] r[7][47] r[7][48] r[7][49] r[8][0] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[8][10] r[8][11] r[8][12] r[8][13] r[8][14] r[8][15] r[8][16] r[8][17] r[8][18] r[8][19] r[8][20] r[8][21] r[8][22] r[8][23] r[8][24] r[8][25] r[8][26] r[8][27] r[8][28] r[8][29] r[8][30] r[8][31] r[8][32] r[8][33] r[8][34] r[8][35] r[8][36] r[8][37] r[8][38] r[8][39] r[8][40] r[8][41] r[8][42] r[8][43] r[8][44] r[8][45] r[8][46] r[8][47] r[8][48] r[8][49] r[9][0] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] r[9][10] r[9][11] r[9][12] r[9][13] r[9][14] r[9][15] r[9][16] r[9][17] r[9][18] r[9][19] r[9][20] r[9][21] r[9][22] r[9][23] r[9][24] r[9][25] r[9][26] r[9][27] r[9][28] r[9][29] r[9][30] r[9][31] r[9][32] r[9][33] r[9][34] r[9][35] r[9][36] r[9][37] r[9][38] r[9][39] r[9][40] r[9][41] r[9][42] r[9][43] r[9][44] r[9][45] r[9][46] r[9][47] r[9][48] r[9][49] r[10][0] r[10][1] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[10][10] r[10][11] r[10][12] r[10][13] r[10][14] r[10][15] r[10][16] r[10][17] r[10][18] r[10][19] r[10][20] r[10][21] r[10][22] r[10][23] r[10][24] r[10][25] r[10][26] r[10][27] r[10][28] r[10][29] r[10][30] r[10][31] r[10][32] r[10][33] r[10][34] r[10][35] r[10][36] r[10][37] r[10][38] r[10][39] r[10][40] r[10][41] r[10][42] r[10][43] r[10][44] r[10][45] r[10][46] r[10][47] r[10][48] r[10][49] r[11][0] r[11][1] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[11][10] r[11][11] r[11][12] r[11][13] r[11][14] r[11][15] r[11][16] r[11][17] r[11][18] r[11][19] r[11][20] r[11][21] r[11][22] r[11][23] r[11][24] r[11][25] r[11][26] r[11][27] r[11][28] r[11][29] r[11][30] r[11][31] r[11][32] r[11][33] r[11][34] r[11][35] r[11][36] r[11][37] r[11][38] r[11][39] r[11][40] r[11][41] r[11][42] r[11][43] r[11][44] r[11][45] r[11][46] r[11][47] r[11][48] r[11][49] r[12][0] r[12][1] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[12][10] r[12][11] r[12][12] r[12][13] r[12][14] r[12][15] r[12][16] r[12][17] r[12][18] r[12][19] r[12][20] r[12][21] r[12][22] r[12][23] r[12][24] r[12][25] r[12][26] r[12][27] r[12][28] r[12][29] r[12][30] r[12][31] r[12][32] r[12][33] r[12][34] r[12][35] r[12][36] r[12][37] r[12][38] r[12][39] r[12][40] r[12][41] r[12][42] r[12][43] r[12][44] r[12][45] r[12][46] r[12][47] r[12][48] r[12][49] r[13][0] r[13][1] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[13][10] r[13][11] r[13][12] r[13][13] r[13][14] r[13][15] r[13][16] r[13][17] r[13][18] r[13][19] r[13][20] r[13][21] r[13][22] r[13][23] r[13][24] r[13][25] r[13][26] r[13][27] r[13][28] r[13][29] r[13][30] r[13][31] r[13][32] r[13][33] r[13][34] r[13][35] r[13][36] r[13][37] r[13][38] r[13][39] r[13][40] r[13][41] r[13][42] r[13][43] r[13][44] r[13][45] r[13][46] r[13][47] r[13][48] r[13][49] r[14][0] r[14][1] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[14][10] r[14][11] r[14][12] r[14][13] r[14][14] r[14][15] r[14][16] r[14][17] r[14][18] r[14][19] r[14][20] r[14][21] r[14][22] r[14][23] r[14][24] r[14][25] r[14][26] r[14][27] r[14][28] r[14][29] r[14][30] r[14][31] r[14][32] r[14][33] r[14][34] r[14][35] r[14][36] r[14][37] r[14][38] r[14][39] r[14][40] r[14][41] r[14][42] r[14][43] r[14][44] r[14][45] r[14][46] r[14][47] r[14][48] r[14][49] r[15][0] r[15][1] r[15][2] r[15][3] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[15][10] r[15][11] r[15][12] r[15][13] r[15][14] r[15][15] r[15][16] r[15][17] r[15][18] r[15][19] r[15][20] r[15][21] r[15][22] r[15][23] r[15][24] r[15][25] r[15][26] r[15][27] r[15][28] r[15][29] r[15][30] r[15][31] r[15][32] r[15][33] r[15][34] r[15][35] r[15][36] r[15][37] r[15][38] r[15][39] r[15][40] r[15][41] r[15][42] r[15][43] r[15][44] r[15][45] r[15][46] r[15][47] r[15][48] r[15][49] r[16][0] r[16][1] r[16][2] r[16][3] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[16][10] r[16][11] r[16][12] r[16][13] r[16][14] r[16][15] r[16][16] r[16][17] r[16][18] r[16][19] r[16][20] r[16][21] r[16][22] r[16][23] r[16][24] r[16][25] r[16][26] r[16][27] r[16][28] r[16][29] r[16][30] r[16][31] r[16][32] r[16][33] r[16][34] r[16][35] r[16][36] r[16][37] r[16][38] r[16][39] r[16][40] r[16][41] r[16][42] r[16][43] r[16][44] r[16][45] r[16][46] r[16][47] r[16][48] r[16][49] r[17][0] r[17][1] r[17][2] r[17][3] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[17][10] r[17][11] r[17][12] r[17][13] r[17][14] r[17][15] r[17][16] r[17][17] r[17][18] r[17][19] r[17][20] r[17][21] r[17][22] r[17][23] r[17][24] r[17][25] r[17][26] r[17][27] r[17][28] r[17][29] r[17][30] r[17][31] r[17][32] r[17][33] r[17][34] r[17][35] r[17][36] r[17][37] r[17][38] r[17][39] r[17][40] r[17][41] r[17][42] r[17][43] r[17][44] r[17][45] r[17][46] r[17][47] r[17][48] r[17][49] r[18][0] r[18][1] r[18][2] r[18][3] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[18][10] r[18][11] r[18][12] r[18][13] r[18][14] r[18][15] r[18][16] r[18][17] r[18][18] r[18][19] r[18][20] r[18][21] r[18][22] r[18][23] r[18][24] r[18][25] r[18][26] r[18][27] r[18][28] r[18][29] r[18][30] r[18][31] r[18][32] r[18][33] r[18][34] r[18][35] r[18][36] r[18][37] r[18][38] r[18][39] r[18][40] r[18][41] r[18][42] r[18][43] r[18][44] r[18][45] r[18][46] r[18][47] r[18][48] r[18][49] r[19][0] r[19][1] r[19][2] r[19][3] r[19][4] r[19][5] r[19][6] r[19][7] r[19][8] r[19][9] r[19][10] r[19][11] r[19][12] r[19][13] r[19][14] r[19][15] r[19][16] r[19][17] r[19][18] r[19][19] r[19][20] r[19][21] r[19][22] r[19][23] r[19][24] r[19][25] r[19][26] r[19][27] r[19][28] r[19][29] r[19][30] r[19][31] r[19][32] r[19][33] r[19][34] r[19][35] r[19][36] r[19][37] r[19][38] r[19][39] r[19][40] r[19][41] r[19][42] r[19][43] r[19][44] r[19][45] r[19][46] r[19][47] r[19][48] r[19][49] r[20][0] r[20][1] r[20][2] r[20][3] r[20][4] r[20][5] r[20][6] r[20][7] r[20][8] r[20][9] r[20][10] r[20][11] r[20][12] r[20][13] r[20][14] r[20][15] r[20][16] r[20][17] r[20][18] r[20][19] r[20][20] r[20][21] r[20][22] r[20][23] r[20][24] r[20][25] r[20][26] r[20][27] r[20][28] r[20][29] r[20][30] r[20][31] r[20][32] r[20][33] r[20][34] r[20][35] r[20][36] r[20][37] r[20][38] r[20][39] r[20][40] r[20][41] r[20][42] r[20][43] r[20][44] r[20][45] r[20][46] r[20][47] r[20][48] r[20][49] r[21][0] r[21][1] r[21][2] r[21][3] r[21][4] r[21][5] r[21][6] r[21][7] r[21][8] r[21][9] r[21][10] r[21][11] r[21][12] r[21][13] r[21][14] r[21][15] r[21][16] r[21][17] r[21][18] r[21][19] r[21][20] r[21][21] r[21][22] r[21][23] r[21][24] r[21][25] r[21][26] r[21][27] r[21][28] r[21][29] r[21][30] r[21][31] r[21][32] r[21][33] r[21][34] r[21][35] r[21][36] r[21][37] r[21][38] r[21][39] r[21][40] r[21][41] r[21][42] r[21][43] r[21][44] r[21][45] r[21][46] r[21][47] r[21][48] r[21][49] r[22][0] r[22][1] r[22][2] r[22][3] r[22][4] r[22][5] r[22][6] r[22][7] r[22][8] r[22][9] r[22][10] r[22][11] r[22][12] r[22][13] r[22][14] r[22][15] r[22][16] r[22][17] r[22][18] r[22][19] r[22][20] r[22][21] r[22][22] r[22][23] r[22][24] r[22][25] r[22][26] r[22][27] r[22][28] r[22][29] r[22][30] r[22][31] r[22][32] r[22][33] r[22][34] r[22][35] r[22][36] r[22][37] r[22][38] r[22][39] r[22][40] r[22][41] r[22][42] r[22][43] r[22][44] r[22][45] r[22][46] r[22][47] r[22][48] r[22][49] r[23][0] r[23][1] r[23][2] r[23][3] r[23][4] r[23][5] r[23][6] r[23][7] r[23][8] r[23][9] r[23][10] r[23][11] r[23][12] r[23][13] r[23][14] r[23][15] r[23][16] r[23][17] r[23][18] r[23][19] r[23][20] r[23][21] r[23][22] r[23][23] r[23][24] r[23][25] r[23][26] r[23][27] r[23][28] r[23][29] r[23][30] r[23][31] r[23][32] r[23][33] r[23][34] r[23][35] r[23][36] r[23][37] r[23][38] r[23][39] r[23][40] r[23][41] r[23][42] r[23][43] r[23][44] r[23][45] r[23][46] r[23][47] r[23][48] r[23][49] r[24][0] r[24][1] r[24][2] r[24][3] r[24][4] r[24][5] r[24][6] r[24][7] r[24][8] r[24][9] r[24][10] r[24][11] r[24][12] r[24][13] r[24][14] r[24][15] r[24][16] r[24][17] r[24][18] r[24][19] r[24][20] r[24][21] r[24][22] r[24][23] r[24][24] r[24][25] r[24][26] r[24][27] r[24][28] r[24][29] r[24][30] r[24][31] r[24][32] r[24][33] r[24][34] r[24][35] r[24][36] r[24][37] r[24][38] r[24][39] r[24][40] r[24][41] r[24][42] r[24][43] r[24][44] r[24][45] r[24][46] r[24][47] r[24][48] r[24][49] r[25][0] r[25][1] r[25][2] r[25][3] r[25][4] r[25][5] r[25][6] r[25][7] r[25][8] r[25][9] r[25][10] r[25][11] r[25][12] r[25][13] r[25][14] r[25][15] r[25][16] r[25][17] r[25][18] r[25][19] r[25][20] r[25][21] r[25][22] r[25][23] r[25][24] r[25][25] r[25][26] r[25][27] r[25][28] r[25][29] r[25][30] r[25][31] r[25][32] r[25][33] r[25][34] r[25][35] r[25][36] r[25][37] r[25][38] r[25][39] r[25][40] r[25][41] r[25][42] r[25][43] r[25][44] r[25][45] r[25][46] r[25][47] r[25][48] r[25][49] r[26][0] r[26][1] r[26][2] r[26][3] r[26][4] r[26][5] r[26][6] r[26][7] r[26][8] r[26][9] r[26][10] r[26][11] r[26][12] r[26][13] r[26][14] r[26][15] r[26][16] r[26][17] r[26][18] r[26][19] r[26][20] r[26][21] r[26][22] r[26][23] r[26][24] r[26][25] r[26][26] r[26][27] r[26][28] r[26][29] r[26][30] r[26][31] r[26][32] r[26][33] r[26][34] r[26][35] r[26][36] r[26][37] r[26][38] r[26][39] r[26][40] r[26][41] r[26][42] r[26][43] r[26][44] r[26][45] r[26][46] r[26][47] r[26][48] r[26][49] r[27][0] r[27][1] r[27][2] r[27][3] r[27][4] r[27][5] r[27][6] r[27][7] r[27][8] r[27][9] r[27][10] r[27][11] r[27][12] r[27][13] r[27][14] r[27][15] r[27][16] r[27][17] r[27][18] r[27][19] r[27][20] r[27][21] r[27][22] r[27][23] r[27][24] r[27][25] r[27][26] r[27][27] r[27][28] r[27][29] r[27][30] r[27][31] r[27][32] r[27][33] r[27][34] r[27][35] r[27][36] r[27][37] r[27][38] r[27][39] r[27][40] r[27][41] r[27][42] r[27][43] r[27][44] r[27][45] r[27][46] r[27][47] r[27][48] r[27][49] r[28][0] r[28][1] r[28][2] r[28][3] r[28][4] r[28][5] r[28][6] r[28][7] r[28][8] r[28][9] r[28][10] r[28][11] r[28][12] r[28][13] r[28][14] r[28][15] r[28][16] r[28][17] r[28][18] r[28][19] r[28][20] r[28][21] r[28][22] r[28][23] r[28][24] r[28][25] r[28][26] r[28][27] r[28][28] r[28][29] r[28][30] r[28][31] r[28][32] r[28][33] r[28][34] r[28][35] r[28][36] r[28][37] r[28][38] r[28][39] r[28][40] r[28][41] r[28][42] r[28][43] r[28][44] r[28][45] r[28][46] r[28][47] r[28][48] r[28][49] r[29][0] r[29][1] r[29][2] r[29][3] r[29][4] r[29][5] r[29][6] r[29][7] r[29][8] r[29][9] r[29][10] r[29][11] r[29][12] r[29][13] r[29][14] r[29][15] r[29][16] r[29][17] r[29][18] r[29][19] r[29][20] r[29][21] r[29][22] r[29][23] r[29][24] r[29][25] r[29][26] r[29][27] r[29][28] r[29][29] r[29][30] r[29][31] r[29][32] r[29][33] r[29][34] r[29][35] r[29][36] r[29][37] r[29][38] r[29][39] r[29][40] r[29][41] r[29][42] r[29][43] r[29][44] r[29][45] r[29][46] r[29][47] r[29][48] r[29][49] r[30][0] r[30][1] r[30][2] r[30][3] r[30][4] r[30][5] r[30][6] r[30][7] r[30][8] r[30][9] r[30][10] r[30][11] r[30][12] r[30][13] r[30][14] r[30][15] r[30][16] r[30][17] r[30][18] r[30][19] r[30][20] r[30][21] r[30][22] r[30][23] r[30][24] r[30][25] r[30][26] r[30][27] r[30][28] r[30][29] r[30][30] r[30][31] r[30][32] r[30][33] r[30][34] r[30][35] r[30][36] r[30][37] r[30][38] r[30][39] r[30][40] r[30][41] r[30][42] r[30][43] r[30][44] r[30][45] r[30][46] r[30][47] r[30][48] r[30][49] r[31][0] r[31][1] r[31][2] r[31][3] r[31][4] r[31][5] r[31][6] r[31][7] r[31][8] r[31][9] r[31][10] r[31][11] r[31][12] r[31][13] r[31][14] r[31][15] r[31][16] r[31][17] r[31][18] r[31][19] r[31][20] r[31][21] r[31][22] r[31][23] r[31][24] r[31][25] r[31][26] r[31][27] r[31][28] r[31][29] r[31][30] r[31][31] r[31][32] r[31][33] r[31][34] r[31][35] r[31][36] r[31][37] r[31][38] r[31][39] r[31][40] r[31][41] r[31][42] r[31][43] r[31][44] r[31][45] r[31][46] r[31][47] r[31][48] r[31][49] r[32][0] r[32][1] r[32][2] r[32][3] r[32][4] r[32][5] r[32][6] r[32][7] r[32][8] r[32][9] r[32][10] r[32][11] r[32][12] r[32][13] r[32][14] r[32][15] r[32][16] r[32][17] r[32][18] r[32][19] r[32][20] r[32][21] r[32][22] r[32][23] r[32][24] r[32][25] r[32][26] r[32][27] r[32][28] r[32][29] r[32][30] r[32][31] r[32][32] r[32][33] r[32][34] r[32][35] r[32][36] r[32][37] r[32][38] r[32][39] r[32][40] r[32][41] r[32][42] r[32][43] r[32][44] r[32][45] r[32][46] r[32][47] r[32][48] r[32][49] r[33][0] r[33][1] r[33][2] r[33][3] r[33][4] r[33][5] r[33][6] r[33][7] r[33][8] r[33][9] r[33][10] r[33][11] r[33][12] r[33][13] r[33][14] r[33][15] r[33][16] r[33][17] r[33][18] r[33][19] r[33][20] r[33][21] r[33][22] r[33][23] r[33][24] r[33][25] r[33][26] r[33][27] r[33][28] r[33][29] r[33][30] r[33][31] r[33][32] r[33][33] r[33][34] r[33][35] r[33][36] r[33][37] r[33][38] r[33][39] r[33][40] r[33][41] r[33][42] r[33][43] r[33][44] r[33][45] r[33][46] r[33][47] r[33][48] r[33][49] r[34][0] r[34][1] r[34][2] r[34][3] r[34][4] r[34][5] r[34][6] r[34][7] r[34][8] r[34][9] r[34][10] r[34][11] r[34][12] r[34][13] r[34][14] r[34][15] r[34][16] r[34][17] r[34][18] r[34][19] r[34][20] r[34][21] r[34][22] r[34][23] r[34][24] r[34][25] r[34][26] r[34][27] r[34][28] r[34][29] r[34][30] r[34][31] r[34][32] r[34][33] r[34][34] r[34][35] r[34][36] r[34][37] r[34][38] r[34][39] r[34][40] r[34][41] r[34][42] r[34][43] r[34][44] r[34][45] r[34][46] r[34][47] r[34][48] r[34][49] r[35][0] r[35][1] r[35][2] r[35][3] r[35][4] r[35][5] r[35][6] r[35][7] r[35][8] r[35][9] r[35][10] r[35][11] r[35][12] r[35][13] r[35][14] r[35][15] r[35][16] r[35][17] r[35][18] r[35][19] r[35][20] r[35][21] r[35][22] r[35][23] r[35][24] r[35][25] r[35][26] r[35][27] r[35][28] r[35][29] r[35][30] r[35][31] r[35][32] r[35][33] r[35][34] r[35][35] r[35][36] r[35][37] r[35][38] r[35][39] r[35][40] r[35][41] r[35][42] r[35][43] r[35][44] r[35][45] r[35][46] r[35][47] r[35][48] r[35][49] r[36][0] r[36][1] r[36][2] r[36][3] r[36][4] r[36][5] r[36][6] r[36][7] r[36][8] r[36][9] r[36][10] r[36][11] r[36][12] r[36][13] r[36][14] r[36][15] r[36][16] r[36][17] r[36][18] r[36][19] r[36][20] r[36][21] r[36][22] r[36][23] r[36][24] r[36][25] r[36][26] r[36][27] r[36][28] r[36][29] r[36][30] r[36][31] r[36][32] r[36][33] r[36][34] r[36][35] r[36][36] r[36][37] r[36][38] r[36][39] r[36][40] r[36][41] r[36][42] r[36][43] r[36][44] r[36][45] r[36][46] r[36][47] r[36][48] r[36][49] r[37][0] r[37][1] r[37][2] r[37][3] r[37][4] r[37][5] r[37][6] r[37][7] r[37][8] r[37][9] r[37][10] r[37][11] r[37][12] r[37][13] r[37][14] r[37][15] r[37][16] r[37][17] r[37][18] r[37][19] r[37][20] r[37][21] r[37][22] r[37][23] r[37][24] r[37][25] r[37][26] r[37][27] r[37][28] r[37][29] r[37][30] r[37][31] r[37][32] r[37][33] r[37][34] r[37][35] r[37][36] r[37][37] r[37][38] r[37][39] r[37][40] r[37][41] r[37][42] r[37][43] r[37][44] r[37][45] r[37][46] r[37][47] r[37][48] r[37][49] r[38][0] r[38][1] r[38][2] r[38][3] r[38][4] r[38][5] r[38][6] r[38][7] r[38][8] r[38][9] r[38][10] r[38][11] r[38][12] r[38][13] r[38][14] r[38][15] r[38][16] r[38][17] r[38][18] r[38][19] r[38][20] r[38][21] r[38][22] r[38][23] r[38][24] r[38][25] r[38][26] r[38][27] r[38][28] r[38][29] r[38][30] r[38][31] r[38][32] r[38][33] r[38][34] r[38][35] r[38][36] r[38][37] r[38][38] r[38][39] r[38][40] r[38][41] r[38][42] r[38][43] r[38][44] r[38][45] r[38][46] r[38][47] r[38][48] r[38][49] r[39][0] r[39][1] r[39][2] r[39][3] r[39][4] r[39][5] r[39][6] r[39][7] r[39][8] r[39][9] r[39][10] r[39][11] r[39][12] r[39][13] r[39][14] r[39][15] r[39][16] r[39][17] r[39][18] r[39][19] r[39][20] r[39][21] r[39][22] r[39][23] r[39][24] r[39][25] r[39][26] r[39][27] r[39][28] r[39][29] r[39][30] r[39][31] r[39][32] r[39][33] r[39][34] r[39][35] r[39][36] r[39][37] r[39][38] r[39][39] r[39][40] r[39][41] r[39][42] r[39][43] r[39][44] r[39][45] r[39][46] r[39][47] r[39][48] r[39][49] r[40][0] r[40][1] r[40][2] r[40][3] r[40][4] r[40][5] r[40][6] r[40][7] r[40][8] r[40][9] r[40][10] r[40][11] r[40][12] r[40][13] r[40][14] r[40][15] r[40][16] r[40][17] r[40][18] r[40][19] r[40][20] r[40][21] r[40][22] r[40][23] r[40][24] r[40][25] r[40][26] r[40][27] r[40][28] r[40][29] r[40][30] r[40][31] r[40][32] r[40][33] r[40][34] r[40][35] r[40][36] r[40][37] r[40][38] r[40][39] r[40][40] r[40][41] r[40][42] r[40][43] r[40][44] r[40][45] r[40][46] r[40][47] r[40][48] r[40][49] r[41][0] r[41][1] r[41][2] r[41][3] r[41][4] r[41][5] r[41][6] r[41][7] r[41][8] r[41][9] r[41][10] r[41][11] r[41][12] r[41][13] r[41][14] r[41][15] r[41][16] r[41][17] r[41][18] r[41][19] r[41][20] r[41][21] r[41][22] r[41][23] r[41][24] r[41][25] r[41][26] r[41][27] r[41][28] r[41][29] r[41][30] r[41][31] r[41][32] r[41][33] r[41][34] r[41][35] r[41][36] r[41][37] r[41][38] r[41][39] r[41][40] r[41][41] r[41][42] r[41][43] r[41][44] r[41][45] r[41][46] r[41][47] r[41][48] r[41][49] r[42][0] r[42][1] r[42][2] r[42][3] r[42][4] r[42][5] r[42][6] r[42][7] r[42][8] r[42][9] r[42][10] r[42][11] r[42][12] r[42][13] r[42][14] r[42][15] r[42][16] r[42][17] r[42][18] r[42][19] r[42][20] r[42][21] r[42][22] r[42][23] r[42][24] r[42][25] r[42][26] r[42][27] r[42][28] r[42][29] r[42][30] r[42][31] r[42][32] r[42][33] r[42][34] r[42][35] r[42][36] r[42][37] r[42][38] r[42][39] r[42][40] r[42][41] r[42][42] r[42][43] r[42][44] r[42][45] r[42][46] r[42][47] r[42][48] r[42][49] r[43][0] r[43][1] r[43][2] r[43][3] r[43][4] r[43][5] r[43][6] r[43][7] r[43][8] r[43][9] r[43][10] r[43][11] r[43][12] r[43][13] r[43][14] r[43][15] r[43][16] r[43][17] r[43][18] r[43][19] r[43][20] r[43][21] r[43][22] r[43][23] r[43][24] r[43][25] r[43][26] r[43][27] r[43][28] r[43][29] r[43][30] r[43][31] r[43][32] r[43][33] r[43][34] r[43][35] r[43][36] r[43][37] r[43][38] r[43][39] r[43][40] r[43][41] r[43][42] r[43][43] r[43][44] r[43][45] r[43][46] r[43][47] r[43][48] r[43][49] r[44][0] r[44][1] r[44][2] r[44][3] r[44][4] r[44][5] r[44][6] r[44][7] r[44][8] r[44][9] r[44][10] r[44][11] r[44][12] r[44][13] r[44][14] r[44][15] r[44][16] r[44][17] r[44][18] r[44][19] r[44][20] r[44][21] r[44][22] r[44][23] r[44][24] r[44][25] r[44][26] r[44][27] r[44][28] r[44][29] r[44][30] r[44][31] r[44][32] r[44][33] r[44][34] r[44][35] r[44][36] r[44][37] r[44][38] r[44][39] r[44][40] r[44][41] r[44][42] r[44][43] r[44][44] r[44][45] r[44][46] r[44][47] r[44][48] r[44][49] r[45][0] r[45][1] r[45][2] r[45][3] r[45][4] r[45][5] r[45][6] r[45][7] r[45][8] r[45][9] r[45][10] r[45][11] r[45][12] r[45][13] r[45][14] r[45][15] r[45][16] r[45][17] r[45][18] r[45][19] r[45][20] r[45][21] r[45][22] r[45][23] r[45][24] r[45][25] r[45][26] r[45][27] r[45][28] r[45][29] r[45][30] r[45][31] r[45][32] r[45][33] r[45][34] r[45][35] r[45][36] r[45][37] r[45][38] r[45][39] r[45][40] r[45][41] r[45][42] r[45][43] r[45][44] r[45][45] r[45][46] r[45][47] r[45][48] r[45][49] r[46][0] r[46][1] r[46][2] r[46][3] r[46][4] r[46][5] r[46][6] r[46][7] r[46][8] r[46][9] r[46][10] r[46][11] r[46][12] r[46][13] r[46][14] r[46][15] r[46][16] r[46][17] r[46][18] r[46][19] r[46][20] r[46][21] r[46][22] r[46][23] r[46][24] r[46][25] r[46][26] r[46][27] r[46][28] r[46][29] r[46][30] r[46][31] r[46][32] r[46][33] r[46][34] r[46][35] r[46][36] r[46][37] r[46][38] r[46][39] r[46][40] r[46][41] r[46][42] r[46][43] r[46][44] r[46][45] r[46][46] r[46][47] r[46][48] r[46][49] r[47][0] r[47][1] r[47][2] r[47][3] r[47][4] r[47][5] r[47][6] r[47][7] r[47][8] r[47][9] r[47][10] r[47][11] r[47][12] r[47][13] r[47][14] r[47][15] r[47][16] r[47][17] r[47][18] r[47][19] r[47][20] r[47][21] r[47][22] r[47][23] r[47][24] r[47][25] r[47][26] r[47][27] r[47][28] r[47][29] r[47][30] r[47][31] r[47][32] r[47][33] r[47][34] r[47][35] r[47][36] r[47][37] r[47][38] r[47][39] r[47][40] r[47][41] r[47][42] r[47][43] r[47][44] r[47][45] r[47][46] r[47][47] r[47][48] r[47][49] r[48][0] r[48][1] r[48][2] r[48][3] r[48][4] r[48][5] r[48][6] r[48][7] r[48][8] r[48][9] r[48][10] r[48][11] r[48][12] r[48][13] r[48][14] r[48][15] r[48][16] r[48][17] r[48][18] r[48][19] r[48][20] r[48][21] r[48][22] r[48][23] r[48][24] r[48][25] r[48][26] r[48][27] r[48][28] r[48][29] r[48][30] r[48][31] r[48][32] r[48][33] r[48][34] r[48][35] r[48][36] r[48][37] r[48][38] r[48][39] r[48][40] r[48][41] r[48][42] r[48][43] r[48][44] r[48][45] r[48][46] r[48][47] r[48][48] r[48][49] r[49][0] r[49][1] r[49][2] r[49][3] r[49][4] r[49][5] r[49][6] r[49][7] r[49][8] r[49][9] r[49][10] r[49][11] r[49][12] r[49][13] r[49][14] r[49][15] r[49][16] r[49][17] r[49][18] r[49][19] r[49][20] r[49][21] r[49][22] r[49][23] r[49][24] r[49][25] r[49][26] r[49][27] r[49][28] r[49][29] r[49][30] r[49][31] r[49][32] r[49][33] r[49][34] r[49][35] r[49][36] r[49][37] r[49][38] r[49][39] r[49][40] r[49][41] r[49][42] r[49][43] r[49][44] r[49][45] r[49][46] r[49][47] r[49][48] r[49][49] o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[0][15] o[0][16] o[0][17] o[0][18] o[0][19] o[0][20] o[0][21] o[0][22] o[0][23] o[0][24] o[0][25] o[0][26] o[0][27] o[0][28] o[0][29] o[0][30] o[0][31] o[0][32] o[0][33] o[0][34] o[0][35] o[0][36] o[0][37] o[0][38] o[0][39] o[0][40] o[0][41] o[0][42] o[0][43] o[0][44] o[0][45] o[0][46] o[0][47] o[0][48] o[0][49] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[1][15] o[1][16] o[1][17] o[1][18] o[1][19] o[1][20] o[1][21] o[1][22] o[1][23] o[1][24] o[1][25] o[1][26] o[1][27] o[1][28] o[1][29] o[1][30] o[1][31] o[1][32] o[1][33] o[1][34] o[1][35] o[1][36] o[1][37] o[1][38] o[1][39] o[1][40] o[1][41] o[1][42] o[1][43] o[1][44] o[1][45] o[1][46] o[1][47] o[1][48] o[1][49] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[2][15] o[2][16] o[2][17] o[2][18] o[2][19] o[2][20] o[2][21] o[2][22] o[2][23] o[2][24] o[2][25] o[2][26] o[2][27] o[2][28] o[2][29] o[2][30] o[2][31] o[2][32] o[2][33] o[2][34] o[2][35] o[2][36] o[2][37] o[2][38] o[2][39] o[2][40] o[2][41] o[2][42] o[2][43] o[2][44] o[2][45] o[2][46] o[2][47] o[2][48] o[2][49] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[3][15] o[3][16] o[3][17] o[3][18] o[3][19] o[3][20] o[3][21] o[3][22] o[3][23] o[3][24] o[3][25] o[3][26] o[3][27] o[3][28] o[3][29] o[3][30] o[3][31] o[3][32] o[3][33] o[3][34] o[3][35] o[3][36] o[3][37] o[3][38] o[3][39] o[3][40] o[3][41] o[3][42] o[3][43] o[3][44] o[3][45] o[3][46] o[3][47] o[3][48] o[3][49] o[4][0] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[4][15] o[4][16] o[4][17] o[4][18] o[4][19] o[4][20] o[4][21] o[4][22] o[4][23] o[4][24] o[4][25] o[4][26] o[4][27] o[4][28] o[4][29] o[4][30] o[4][31] o[4][32] o[4][33] o[4][34] o[4][35] o[4][36] o[4][37] o[4][38] o[4][39] o[4][40] o[4][41] o[4][42] o[4][43] o[4][44] o[4][45] o[4][46] o[4][47] o[4][48] o[4][49] o[5][0] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[5][15] o[5][16] o[5][17] o[5][18] o[5][19] o[5][20] o[5][21] o[5][22] o[5][23] o[5][24] o[5][25] o[5][26] o[5][27] o[5][28] o[5][29] o[5][30] o[5][31] o[5][32] o[5][33] o[5][34] o[5][35] o[5][36] o[5][37] o[5][38] o[5][39] o[5][40] o[5][41] o[5][42] o[5][43] o[5][44] o[5][45] o[5][46] o[5][47] o[5][48] o[5][49] o[6][0] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[6][15] o[6][16] o[6][17] o[6][18] o[6][19] o[6][20] o[6][21] o[6][22] o[6][23] o[6][24] o[6][25] o[6][26] o[6][27] o[6][28] o[6][29] o[6][30] o[6][31] o[6][32] o[6][33] o[6][34] o[6][35] o[6][36] o[6][37] o[6][38] o[6][39] o[6][40] o[6][41] o[6][42] o[6][43] o[6][44] o[6][45] o[6][46] o[6][47] o[6][48] o[6][49] o[7][0] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[7][15] o[7][16] o[7][17] o[7][18] o[7][19] o[7][20] o[7][21] o[7][22] o[7][23] o[7][24] o[7][25] o[7][26] o[7][27] o[7][28] o[7][29] o[7][30] o[7][31] o[7][32] o[7][33] o[7][34] o[7][35] o[7][36] o[7][37] o[7][38] o[7][39] o[7][40] o[7][41] o[7][42] o[7][43] o[7][44] o[7][45] o[7][46] o[7][47] o[7][48] o[7][49] o[8][0] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[8][15] o[8][16] o[8][17] o[8][18] o[8][19] o[8][20] o[8][21] o[8][22] o[8][23] o[8][24] o[8][25] o[8][26] o[8][27] o[8][28] o[8][29] o[8][30] o[8][31] o[8][32] o[8][33] o[8][34] o[8][35] o[8][36] o[8][37] o[8][38] o[8][39] o[8][40] o[8][41] o[8][42] o[8][43] o[8][44] o[8][45] o[8][46] o[8][47] o[8][48] o[8][49] o[9][0] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[9][15] o[9][16] o[9][17] o[9][18] o[9][19] o[9][20] o[9][21] o[9][22] o[9][23] o[9][24] o[9][25] o[9][26] o[9][27] o[9][28] o[9][29] o[9][30] o[9][31] o[9][32] o[9][33] o[9][34] o[9][35] o[9][36] o[9][37] o[9][38] o[9][39] o[9][40] o[9][41] o[9][42] o[9][43] o[9][44] o[9][45] o[9][46] o[9][47] o[9][48] o[9][49] o[10][0] o[10][1] o[10][2] o[10][3] o[10][4] o[10][5] o[10][6] o[10][7] o[10][8] o[10][9] o[10][10] o[10][11] o[10][12] o[10][13] o[10][14] o[10][15] o[10][16] o[10][17] o[10][18] o[10][19] o[10][20] o[10][21] o[10][22] o[10][23] o[10][24] o[10][25] o[10][26] o[10][27] o[10][28] o[10][29] o[10][30] o[10][31] o[10][32] o[10][33] o[10][34] o[10][35] o[10][36] o[10][37] o[10][38] o[10][39] o[10][40] o[10][41] o[10][42] o[10][43] o[10][44] o[10][45] o[10][46] o[10][47] o[10][48] o[10][49] o[11][0] o[11][1] o[11][2] o[11][3] o[11][4] o[11][5] o[11][6] o[11][7] o[11][8] o[11][9] o[11][10] o[11][11] o[11][12] o[11][13] o[11][14] o[11][15] o[11][16] o[11][17] o[11][18] o[11][19] o[11][20] o[11][21] o[11][22] o[11][23] o[11][24] o[11][25] o[11][26] o[11][27] o[11][28] o[11][29] o[11][30] o[11][31] o[11][32] o[11][33] o[11][34] o[11][35] o[11][36] o[11][37] o[11][38] o[11][39] o[11][40] o[11][41] o[11][42] o[11][43] o[11][44] o[11][45] o[11][46] o[11][47] o[11][48] o[11][49] o[12][0] o[12][1] o[12][2] o[12][3] o[12][4] o[12][5] o[12][6] o[12][7] o[12][8] o[12][9] o[12][10] o[12][11] o[12][12] o[12][13] o[12][14] o[12][15] o[12][16] o[12][17] o[12][18] o[12][19] o[12][20] o[12][21] o[12][22] o[12][23] o[12][24] o[12][25] o[12][26] o[12][27] o[12][28] o[12][29] o[12][30] o[12][31] o[12][32] o[12][33] o[12][34] o[12][35] o[12][36] o[12][37] o[12][38] o[12][39] o[12][40] o[12][41] o[12][42] o[12][43] o[12][44] o[12][45] o[12][46] o[12][47] o[12][48] o[12][49] o[13][0] o[13][1] o[13][2] o[13][3] o[13][4] o[13][5] o[13][6] o[13][7] o[13][8] o[13][9] o[13][10] o[13][11] o[13][12] o[13][13] o[13][14] o[13][15] o[13][16] o[13][17] o[13][18] o[13][19] o[13][20] o[13][21] o[13][22] o[13][23] o[13][24] o[13][25] o[13][26] o[13][27] o[13][28] o[13][29] o[13][30] o[13][31] o[13][32] o[13][33] o[13][34] o[13][35] o[13][36] o[13][37] o[13][38] o[13][39] o[13][40] o[13][41] o[13][42] o[13][43] o[13][44] o[13][45] o[13][46] o[13][47] o[13][48] o[13][49] o[14][0] o[14][1] o[14][2] o[14][3] o[14][4] o[14][5] o[14][6] o[14][7] o[14][8] o[14][9] o[14][10] o[14][11] o[14][12] o[14][13] o[14][14] o[14][15] o[14][16] o[14][17] o[14][18] o[14][19] o[14][20] o[14][21] o[14][22] o[14][23] o[14][24] o[14][25] o[14][26] o[14][27] o[14][28] o[14][29] o[14][30] o[14][31] o[14][32] o[14][33] o[14][34] o[14][35] o[14][36] o[14][37] o[14][38] o[14][39] o[14][40] o[14][41] o[14][42] o[14][43] o[14][44] o[14][45] o[14][46] o[14][47] o[14][48] o[14][49] o[15][0] o[15][1] o[15][2] o[15][3] o[15][4] o[15][5] o[15][6] o[15][7] o[15][8] o[15][9] o[15][10] o[15][11] o[15][12] o[15][13] o[15][14] o[15][15] o[15][16] o[15][17] o[15][18] o[15][19] o[15][20] o[15][21] o[15][22] o[15][23] o[15][24] o[15][25] o[15][26] o[15][27] o[15][28] o[15][29] o[15][30] o[15][31] o[15][32] o[15][33] o[15][34] o[15][35] o[15][36] o[15][37] o[15][38] o[15][39] o[15][40] o[15][41] o[15][42] o[15][43] o[15][44] o[15][45] o[15][46] o[15][47] o[15][48] o[15][49] o[16][0] o[16][1] o[16][2] o[16][3] o[16][4] o[16][5] o[16][6] o[16][7] o[16][8] o[16][9] o[16][10] o[16][11] o[16][12] o[16][13] o[16][14] o[16][15] o[16][16] o[16][17] o[16][18] o[16][19] o[16][20] o[16][21] o[16][22] o[16][23] o[16][24] o[16][25] o[16][26] o[16][27] o[16][28] o[16][29] o[16][30] o[16][31] o[16][32] o[16][33] o[16][34] o[16][35] o[16][36] o[16][37] o[16][38] o[16][39] o[16][40] o[16][41] o[16][42] o[16][43] o[16][44] o[16][45] o[16][46] o[16][47] o[16][48] o[16][49] o[17][0] o[17][1] o[17][2] o[17][3] o[17][4] o[17][5] o[17][6] o[17][7] o[17][8] o[17][9] o[17][10] o[17][11] o[17][12] o[17][13] o[17][14] o[17][15] o[17][16] o[17][17] o[17][18] o[17][19] o[17][20] o[17][21] o[17][22] o[17][23] o[17][24] o[17][25] o[17][26] o[17][27] o[17][28] o[17][29] o[17][30] o[17][31] o[17][32] o[17][33] o[17][34] o[17][35] o[17][36] o[17][37] o[17][38] o[17][39] o[17][40] o[17][41] o[17][42] o[17][43] o[17][44] o[17][45] o[17][46] o[17][47] o[17][48] o[17][49] o[18][0] o[18][1] o[18][2] o[18][3] o[18][4] o[18][5] o[18][6] o[18][7] o[18][8] o[18][9] o[18][10] o[18][11] o[18][12] o[18][13] o[18][14] o[18][15] o[18][16] o[18][17] o[18][18] o[18][19] o[18][20] o[18][21] o[18][22] o[18][23] o[18][24] o[18][25] o[18][26] o[18][27] o[18][28] o[18][29] o[18][30] o[18][31] o[18][32] o[18][33] o[18][34] o[18][35] o[18][36] o[18][37] o[18][38] o[18][39] o[18][40] o[18][41] o[18][42] o[18][43] o[18][44] o[18][45] o[18][46] o[18][47] o[18][48] o[18][49] o[19][0] o[19][1] o[19][2] o[19][3] o[19][4] o[19][5] o[19][6] o[19][7] o[19][8] o[19][9] o[19][10] o[19][11] o[19][12] o[19][13] o[19][14] o[19][15] o[19][16] o[19][17] o[19][18] o[19][19] o[19][20] o[19][21] o[19][22] o[19][23] o[19][24] o[19][25] o[19][26] o[19][27] o[19][28] o[19][29] o[19][30] o[19][31] o[19][32] o[19][33] o[19][34] o[19][35] o[19][36] o[19][37] o[19][38] o[19][39] o[19][40] o[19][41] o[19][42] o[19][43] o[19][44] o[19][45] o[19][46] o[19][47] o[19][48] o[19][49] o[20][0] o[20][1] o[20][2] o[20][3] o[20][4] o[20][5] o[20][6] o[20][7] o[20][8] o[20][9] o[20][10] o[20][11] o[20][12] o[20][13] o[20][14] o[20][15] o[20][16] o[20][17] o[20][18] o[20][19] o[20][20] o[20][21] o[20][22] o[20][23] o[20][24] o[20][25] o[20][26] o[20][27] o[20][28] o[20][29] o[20][30] o[20][31] o[20][32] o[20][33] o[20][34] o[20][35] o[20][36] o[20][37] o[20][38] o[20][39] o[20][40] o[20][41] o[20][42] o[20][43] o[20][44] o[20][45] o[20][46] o[20][47] o[20][48] o[20][49] o[21][0] o[21][1] o[21][2] o[21][3] o[21][4] o[21][5] o[21][6] o[21][7] o[21][8] o[21][9] o[21][10] o[21][11] o[21][12] o[21][13] o[21][14] o[21][15] o[21][16] o[21][17] o[21][18] o[21][19] o[21][20] o[21][21] o[21][22] o[21][23] o[21][24] o[21][25] o[21][26] o[21][27] o[21][28] o[21][29] o[21][30] o[21][31] o[21][32] o[21][33] o[21][34] o[21][35] o[21][36] o[21][37] o[21][38] o[21][39] o[21][40] o[21][41] o[21][42] o[21][43] o[21][44] o[21][45] o[21][46] o[21][47] o[21][48] o[21][49] o[22][0] o[22][1] o[22][2] o[22][3] o[22][4] o[22][5] o[22][6] o[22][7] o[22][8] o[22][9] o[22][10] o[22][11] o[22][12] o[22][13] o[22][14] o[22][15] o[22][16] o[22][17] o[22][18] o[22][19] o[22][20] o[22][21] o[22][22] o[22][23] o[22][24] o[22][25] o[22][26] o[22][27] o[22][28] o[22][29] o[22][30] o[22][31] o[22][32] o[22][33] o[22][34] o[22][35] o[22][36] o[22][37] o[22][38] o[22][39] o[22][40] o[22][41] o[22][42] o[22][43] o[22][44] o[22][45] o[22][46] o[22][47] o[22][48] o[22][49] o[23][0] o[23][1] o[23][2] o[23][3] o[23][4] o[23][5] o[23][6] o[23][7] o[23][8] o[23][9] o[23][10] o[23][11] o[23][12] o[23][13] o[23][14] o[23][15] o[23][16] o[23][17] o[23][18] o[23][19] o[23][20] o[23][21] o[23][22] o[23][23] o[23][24] o[23][25] o[23][26] o[23][27] o[23][28] o[23][29] o[23][30] o[23][31] o[23][32] o[23][33] o[23][34] o[23][35] o[23][36] o[23][37] o[23][38] o[23][39] o[23][40] o[23][41] o[23][42] o[23][43] o[23][44] o[23][45] o[23][46] o[23][47] o[23][48] o[23][49] o[24][0] o[24][1] o[24][2] o[24][3] o[24][4] o[24][5] o[24][6] o[24][7] o[24][8] o[24][9] o[24][10] o[24][11] o[24][12] o[24][13] o[24][14] o[24][15] o[24][16] o[24][17] o[24][18] o[24][19] o[24][20] o[24][21] o[24][22] o[24][23] o[24][24] o[24][25] o[24][26] o[24][27] o[24][28] o[24][29] o[24][30] o[24][31] o[24][32] o[24][33] o[24][34] o[24][35] o[24][36] o[24][37] o[24][38] o[24][39] o[24][40] o[24][41] o[24][42] o[24][43] o[24][44] o[24][45] o[24][46] o[24][47] o[24][48] o[24][49] o[25][0] o[25][1] o[25][2] o[25][3] o[25][4] o[25][5] o[25][6] o[25][7] o[25][8] o[25][9] o[25][10] o[25][11] o[25][12] o[25][13] o[25][14] o[25][15] o[25][16] o[25][17] o[25][18] o[25][19] o[25][20] o[25][21] o[25][22] o[25][23] o[25][24] o[25][25] o[25][26] o[25][27] o[25][28] o[25][29] o[25][30] o[25][31] o[25][32] o[25][33] o[25][34] o[25][35] o[25][36] o[25][37] o[25][38] o[25][39] o[25][40] o[25][41] o[25][42] o[25][43] o[25][44] o[25][45] o[25][46] o[25][47] o[25][48] o[25][49] o[26][0] o[26][1] o[26][2] o[26][3] o[26][4] o[26][5] o[26][6] o[26][7] o[26][8] o[26][9] o[26][10] o[26][11] o[26][12] o[26][13] o[26][14] o[26][15] o[26][16] o[26][17] o[26][18] o[26][19] o[26][20] o[26][21] o[26][22] o[26][23] o[26][24] o[26][25] o[26][26] o[26][27] o[26][28] o[26][29] o[26][30] o[26][31] o[26][32] o[26][33] o[26][34] o[26][35] o[26][36] o[26][37] o[26][38] o[26][39] o[26][40] o[26][41] o[26][42] o[26][43] o[26][44] o[26][45] o[26][46] o[26][47] o[26][48] o[26][49] o[27][0] o[27][1] o[27][2] o[27][3] o[27][4] o[27][5] o[27][6] o[27][7] o[27][8] o[27][9] o[27][10] o[27][11] o[27][12] o[27][13] o[27][14] o[27][15] o[27][16] o[27][17] o[27][18] o[27][19] o[27][20] o[27][21] o[27][22] o[27][23] o[27][24] o[27][25] o[27][26] o[27][27] o[27][28] o[27][29] o[27][30] o[27][31] o[27][32] o[27][33] o[27][34] o[27][35] o[27][36] o[27][37] o[27][38] o[27][39] o[27][40] o[27][41] o[27][42] o[27][43] o[27][44] o[27][45] o[27][46] o[27][47] o[27][48] o[27][49] o[28][0] o[28][1] o[28][2] o[28][3] o[28][4] o[28][5] o[28][6] o[28][7] o[28][8] o[28][9] o[28][10] o[28][11] o[28][12] o[28][13] o[28][14] o[28][15] o[28][16] o[28][17] o[28][18] o[28][19] o[28][20] o[28][21] o[28][22] o[28][23] o[28][24] o[28][25] o[28][26] o[28][27] o[28][28] o[28][29] o[28][30] o[28][31] o[28][32] o[28][33] o[28][34] o[28][35] o[28][36] o[28][37] o[28][38] o[28][39] o[28][40] o[28][41] o[28][42] o[28][43] o[28][44] o[28][45] o[28][46] o[28][47] o[28][48] o[28][49] o[29][0] o[29][1] o[29][2] o[29][3] o[29][4] o[29][5] o[29][6] o[29][7] o[29][8] o[29][9] o[29][10] o[29][11] o[29][12] o[29][13] o[29][14] o[29][15] o[29][16] o[29][17] o[29][18] o[29][19] o[29][20] o[29][21] o[29][22] o[29][23] o[29][24] o[29][25] o[29][26] o[29][27] o[29][28] o[29][29] o[29][30] o[29][31] o[29][32] o[29][33] o[29][34] o[29][35] o[29][36] o[29][37] o[29][38] o[29][39] o[29][40] o[29][41] o[29][42] o[29][43] o[29][44] o[29][45] o[29][46] o[29][47] o[29][48] o[29][49] o[30][0] o[30][1] o[30][2] o[30][3] o[30][4] o[30][5] o[30][6] o[30][7] o[30][8] o[30][9] o[30][10] o[30][11] o[30][12] o[30][13] o[30][14] o[30][15] o[30][16] o[30][17] o[30][18] o[30][19] o[30][20] o[30][21] o[30][22] o[30][23] o[30][24] o[30][25] o[30][26] o[30][27] o[30][28] o[30][29] o[30][30] o[30][31] o[30][32] o[30][33] o[30][34] o[30][35] o[30][36] o[30][37] o[30][38] o[30][39] o[30][40] o[30][41] o[30][42] o[30][43] o[30][44] o[30][45] o[30][46] o[30][47] o[30][48] o[30][49] o[31][0] o[31][1] o[31][2] o[31][3] o[31][4] o[31][5] o[31][6] o[31][7] o[31][8] o[31][9] o[31][10] o[31][11] o[31][12] o[31][13] o[31][14] o[31][15] o[31][16] o[31][17] o[31][18] o[31][19] o[31][20] o[31][21] o[31][22] o[31][23] o[31][24] o[31][25] o[31][26] o[31][27] o[31][28] o[31][29] o[31][30] o[31][31] o[31][32] o[31][33] o[31][34] o[31][35] o[31][36] o[31][37] o[31][38] o[31][39] o[31][40] o[31][41] o[31][42] o[31][43] o[31][44] o[31][45] o[31][46] o[31][47] o[31][48] o[31][49] o[32][0] o[32][1] o[32][2] o[32][3] o[32][4] o[32][5] o[32][6] o[32][7] o[32][8] o[32][9] o[32][10] o[32][11] o[32][12] o[32][13] o[32][14] o[32][15] o[32][16] o[32][17] o[32][18] o[32][19] o[32][20] o[32][21] o[32][22] o[32][23] o[32][24] o[32][25] o[32][26] o[32][27] o[32][28] o[32][29] o[32][30] o[32][31] o[32][32] o[32][33] o[32][34] o[32][35] o[32][36] o[32][37] o[32][38] o[32][39] o[32][40] o[32][41] o[32][42] o[32][43] o[32][44] o[32][45] o[32][46] o[32][47] o[32][48] o[32][49] o[33][0] o[33][1] o[33][2] o[33][3] o[33][4] o[33][5] o[33][6] o[33][7] o[33][8] o[33][9] o[33][10] o[33][11] o[33][12] o[33][13] o[33][14] o[33][15] o[33][16] o[33][17] o[33][18] o[33][19] o[33][20] o[33][21] o[33][22] o[33][23] o[33][24] o[33][25] o[33][26] o[33][27] o[33][28] o[33][29] o[33][30] o[33][31] o[33][32] o[33][33] o[33][34] o[33][35] o[33][36] o[33][37] o[33][38] o[33][39] o[33][40] o[33][41] o[33][42] o[33][43] o[33][44] o[33][45] o[33][46] o[33][47] o[33][48] o[33][49] o[34][0] o[34][1] o[34][2] o[34][3] o[34][4] o[34][5] o[34][6] o[34][7] o[34][8] o[34][9] o[34][10] o[34][11] o[34][12] o[34][13] o[34][14] o[34][15] o[34][16] o[34][17] o[34][18] o[34][19] o[34][20] o[34][21] o[34][22] o[34][23] o[34][24] o[34][25] o[34][26] o[34][27] o[34][28] o[34][29] o[34][30] o[34][31] o[34][32] o[34][33] o[34][34] o[34][35] o[34][36] o[34][37] o[34][38] o[34][39] o[34][40] o[34][41] o[34][42] o[34][43] o[34][44] o[34][45] o[34][46] o[34][47] o[34][48] o[34][49] o[35][0] o[35][1] o[35][2] o[35][3] o[35][4] o[35][5] o[35][6] o[35][7] o[35][8] o[35][9] o[35][10] o[35][11] o[35][12] o[35][13] o[35][14] o[35][15] o[35][16] o[35][17] o[35][18] o[35][19] o[35][20] o[35][21] o[35][22] o[35][23] o[35][24] o[35][25] o[35][26] o[35][27] o[35][28] o[35][29] o[35][30] o[35][31] o[35][32] o[35][33] o[35][34] o[35][35] o[35][36] o[35][37] o[35][38] o[35][39] o[35][40] o[35][41] o[35][42] o[35][43] o[35][44] o[35][45] o[35][46] o[35][47] o[35][48] o[35][49] o[36][0] o[36][1] o[36][2] o[36][3] o[36][4] o[36][5] o[36][6] o[36][7] o[36][8] o[36][9] o[36][10] o[36][11] o[36][12] o[36][13] o[36][14] o[36][15] o[36][16] o[36][17] o[36][18] o[36][19] o[36][20] o[36][21] o[36][22] o[36][23] o[36][24] o[36][25] o[36][26] o[36][27] o[36][28] o[36][29] o[36][30] o[36][31] o[36][32] o[36][33] o[36][34] o[36][35] o[36][36] o[36][37] o[36][38] o[36][39] o[36][40] o[36][41] o[36][42] o[36][43] o[36][44] o[36][45] o[36][46] o[36][47] o[36][48] o[36][49] o[37][0] o[37][1] o[37][2] o[37][3] o[37][4] o[37][5] o[37][6] o[37][7] o[37][8] o[37][9] o[37][10] o[37][11] o[37][12] o[37][13] o[37][14] o[37][15] o[37][16] o[37][17] o[37][18] o[37][19] o[37][20] o[37][21] o[37][22] o[37][23] o[37][24] o[37][25] o[37][26] o[37][27] o[37][28] o[37][29] o[37][30] o[37][31] o[37][32] o[37][33] o[37][34] o[37][35] o[37][36] o[37][37] o[37][38] o[37][39] o[37][40] o[37][41] o[37][42] o[37][43] o[37][44] o[37][45] o[37][46] o[37][47] o[37][48] o[37][49] o[38][0] o[38][1] o[38][2] o[38][3] o[38][4] o[38][5] o[38][6] o[38][7] o[38][8] o[38][9] o[38][10] o[38][11] o[38][12] o[38][13] o[38][14] o[38][15] o[38][16] o[38][17] o[38][18] o[38][19] o[38][20] o[38][21] o[38][22] o[38][23] o[38][24] o[38][25] o[38][26] o[38][27] o[38][28] o[38][29] o[38][30] o[38][31] o[38][32] o[38][33] o[38][34] o[38][35] o[38][36] o[38][37] o[38][38] o[38][39] o[38][40] o[38][41] o[38][42] o[38][43] o[38][44] o[38][45] o[38][46] o[38][47] o[38][48] o[38][49] o[39][0] o[39][1] o[39][2] o[39][3] o[39][4] o[39][5] o[39][6] o[39][7] o[39][8] o[39][9] o[39][10] o[39][11] o[39][12] o[39][13] o[39][14] o[39][15] o[39][16] o[39][17] o[39][18] o[39][19] o[39][20] o[39][21] o[39][22] o[39][23] o[39][24] o[39][25] o[39][26] o[39][27] o[39][28] o[39][29] o[39][30] o[39][31] o[39][32] o[39][33] o[39][34] o[39][35] o[39][36] o[39][37] o[39][38] o[39][39] o[39][40] o[39][41] o[39][42] o[39][43] o[39][44] o[39][45] o[39][46] o[39][47] o[39][48] o[39][49] o[40][0] o[40][1] o[40][2] o[40][3] o[40][4] o[40][5] o[40][6] o[40][7] o[40][8] o[40][9] o[40][10] o[40][11] o[40][12] o[40][13] o[40][14] o[40][15] o[40][16] o[40][17] o[40][18] o[40][19] o[40][20] o[40][21] o[40][22] o[40][23] o[40][24] o[40][25] o[40][26] o[40][27] o[40][28] o[40][29] o[40][30] o[40][31] o[40][32] o[40][33] o[40][34] o[40][35] o[40][36] o[40][37] o[40][38] o[40][39] o[40][40] o[40][41] o[40][42] o[40][43] o[40][44] o[40][45] o[40][46] o[40][47] o[40][48] o[40][49] o[41][0] o[41][1] o[41][2] o[41][3] o[41][4] o[41][5] o[41][6] o[41][7] o[41][8] o[41][9] o[41][10] o[41][11] o[41][12] o[41][13] o[41][14] o[41][15] o[41][16] o[41][17] o[41][18] o[41][19] o[41][20] o[41][21] o[41][22] o[41][23] o[41][24] o[41][25] o[41][26] o[41][27] o[41][28] o[41][29] o[41][30] o[41][31] o[41][32] o[41][33] o[41][34] o[41][35] o[41][36] o[41][37] o[41][38] o[41][39] o[41][40] o[41][41] o[41][42] o[41][43] o[41][44] o[41][45] o[41][46] o[41][47] o[41][48] o[41][49] o[42][0] o[42][1] o[42][2] o[42][3] o[42][4] o[42][5] o[42][6] o[42][7] o[42][8] o[42][9] o[42][10] o[42][11] o[42][12] o[42][13] o[42][14] o[42][15] o[42][16] o[42][17] o[42][18] o[42][19] o[42][20] o[42][21] o[42][22] o[42][23] o[42][24] o[42][25] o[42][26] o[42][27] o[42][28] o[42][29] o[42][30] o[42][31] o[42][32] o[42][33] o[42][34] o[42][35] o[42][36] o[42][37] o[42][38] o[42][39] o[42][40] o[42][41] o[42][42] o[42][43] o[42][44] o[42][45] o[42][46] o[42][47] o[42][48] o[42][49] o[43][0] o[43][1] o[43][2] o[43][3] o[43][4] o[43][5] o[43][6] o[43][7] o[43][8] o[43][9] o[43][10] o[43][11] o[43][12] o[43][13] o[43][14] o[43][15] o[43][16] o[43][17] o[43][18] o[43][19] o[43][20] o[43][21] o[43][22] o[43][23] o[43][24] o[43][25] o[43][26] o[43][27] o[43][28] o[43][29] o[43][30] o[43][31] o[43][32] o[43][33] o[43][34] o[43][35] o[43][36] o[43][37] o[43][38] o[43][39] o[43][40] o[43][41] o[43][42] o[43][43] o[43][44] o[43][45] o[43][46] o[43][47] o[43][48] o[43][49] o[44][0] o[44][1] o[44][2] o[44][3] o[44][4] o[44][5] o[44][6] o[44][7] o[44][8] o[44][9] o[44][10] o[44][11] o[44][12] o[44][13] o[44][14] o[44][15] o[44][16] o[44][17] o[44][18] o[44][19] o[44][20] o[44][21] o[44][22] o[44][23] o[44][24] o[44][25] o[44][26] o[44][27] o[44][28] o[44][29] o[44][30] o[44][31] o[44][32] o[44][33] o[44][34] o[44][35] o[44][36] o[44][37] o[44][38] o[44][39] o[44][40] o[44][41] o[44][42] o[44][43] o[44][44] o[44][45] o[44][46] o[44][47] o[44][48] o[44][49] o[45][0] o[45][1] o[45][2] o[45][3] o[45][4] o[45][5] o[45][6] o[45][7] o[45][8] o[45][9] o[45][10] o[45][11] o[45][12] o[45][13] o[45][14] o[45][15] o[45][16] o[45][17] o[45][18] o[45][19] o[45][20] o[45][21] o[45][22] o[45][23] o[45][24] o[45][25] o[45][26] o[45][27] o[45][28] o[45][29] o[45][30] o[45][31] o[45][32] o[45][33] o[45][34] o[45][35] o[45][36] o[45][37] o[45][38] o[45][39] o[45][40] o[45][41] o[45][42] o[45][43] o[45][44] o[45][45] o[45][46] o[45][47] o[45][48] o[45][49] o[46][0] o[46][1] o[46][2] o[46][3] o[46][4] o[46][5] o[46][6] o[46][7] o[46][8] o[46][9] o[46][10] o[46][11] o[46][12] o[46][13] o[46][14] o[46][15] o[46][16] o[46][17] o[46][18] o[46][19] o[46][20] o[46][21] o[46][22] o[46][23] o[46][24] o[46][25] o[46][26] o[46][27] o[46][28] o[46][29] o[46][30] o[46][31] o[46][32] o[46][33] o[46][34] o[46][35] o[46][36] o[46][37] o[46][38] o[46][39] o[46][40] o[46][41] o[46][42] o[46][43] o[46][44] o[46][45] o[46][46] o[46][47] o[46][48] o[46][49] o[47][0] o[47][1] o[47][2] o[47][3] o[47][4] o[47][5] o[47][6] o[47][7] o[47][8] o[47][9] o[47][10] o[47][11] o[47][12] o[47][13] o[47][14] o[47][15] o[47][16] o[47][17] o[47][18] o[47][19] o[47][20] o[47][21] o[47][22] o[47][23] o[47][24] o[47][25] o[47][26] o[47][27] o[47][28] o[47][29] o[47][30] o[47][31] o[47][32] o[47][33] o[47][34] o[47][35] o[47][36] o[47][37] o[47][38] o[47][39] o[47][40] o[47][41] o[47][42] o[47][43] o[47][44] o[47][45] o[47][46] o[47][47] o[47][48] o[47][49] o[48][0] o[48][1] o[48][2] o[48][3] o[48][4] o[48][5] o[48][6] o[48][7] o[48][8] o[48][9] o[48][10] o[48][11] o[48][12] o[48][13] o[48][14] o[48][15] o[48][16] o[48][17] o[48][18] o[48][19] o[48][20] o[48][21] o[48][22] o[48][23] o[48][24] o[48][25] o[48][26] o[48][27] o[48][28] o[48][29] o[48][30] o[48][31] o[48][32] o[48][33] o[48][34] o[48][35] o[48][36] o[48][37] o[48][38] o[48][39] o[48][40] o[48][41] o[48][42] o[48][43] o[48][44] o[48][45] o[48][46] o[48][47] o[48][48] o[48][49] o[49][0] o[49][1] o[49][2] o[49][3] o[49][4] o[49][5] o[49][6] o[49][7] o[49][8] o[49][9] o[49][10] o[49][11] o[49][12] o[49][13] o[49][14] o[49][15] o[49][16] o[49][17] o[49][18] o[49][19] o[49][20] o[49][21] o[49][22] o[49][23] o[49][24] o[49][25] o[49][26] o[49][27] o[49][28] o[49][29] o[49][30] o[49][31] o[49][32] o[49][33] o[49][34] o[49][35] o[49][36] o[49][37] o[49][38] o[49][39] o[49][40] o[49][41] o[49][42] o[49][43] o[49][44] o[49][45] o[49][46] o[49][47] o[49][48] o[49][49] so[0] so[1] so[2] so[3] so[4] so[5] so[6] so[7] so[8] so[9] so[10] so[11] so[12] so[13] so[14] so[15] so[16] so[17] so[18] so[19] so[20] so[21] so[22] so[23] so[24] so[25] so[26] so[27] so[28] so[29] so[30] so[31] so[32] so[33] so[34] so[35] so[36] so[37] so[38] so[39] so[40] so[41] so[42] so[43] so[44] so[45] so[46] so[47] so[48] so[49] </list>
245.75/63.86	v 	<values>0 2 5 11 13 15 16 18 20 22 23 25 26 27 29 36 38 40 42 46 47 49 1 3 6 9 10 12 17 24 30 32 33 34 35 39 41 43 45 48 4 8 14 19 31 7 28 37 21 44 0 1 2 3 4 5 6 7 8 8 9 9 10 11 12 13 14 15 16 17 18 19 20 21 21 22 23 24 24 25 26 27 28 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 1 2 3 4 5 6 7 8 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 1 2 3 4 5 6 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 30 31 32 33 34 34 35 36 37 38 39 40 41 42 43 44 45 45 46 1 1 2 3 4 5 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 33 34 34 35 36 37 38 39 40 41 42 43 44 45 46 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 1 2 3 4 5 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 35 36 37 38 39 39 40 41 42 43 44 45 45 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 2 3 4 5 6 7 8 9 10 11 12 13 13 14 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 35 36 37 38 39 40 41 42 43 43 44 45 46 1 2 3 4 5 5 5 6 7 8 9 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 23 24 25 26 27 28 29 29 30 31 32 33 34 35 36 37 38 38 39 40 41 42 43 44 1 2 3 4 5 6 7 7 8 9 10 11 12 13 14 15 16 16 16 17 17 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 41 42 43 44 1 2 3 4 5 6 7 7 8 9 10 11 12 13 13 14 15 16 17 18 19 20 21 22 23 24 25 26 26 27 28 29 30 31 31 32 33 33 34 34 35 36 37 38 39 40 41 42 43 44 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 19 20 20 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 35 36 37 38 39 40 41 42 42 43 44 45 1 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 37 38 39 39 40 41 41 42 43 44 45 46 1 2 3 4 5 6 7 7 8 9 10 10 11 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 27 27 28 29 30 31 32 32 33 34 35 36 37 38 39 40 41 42 42 42 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 38 39 40 41 42 43 44 45 46 47 48 49 1 2 3 4 4 5 6 7 8 9 9 10 11 11 12 13 14 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 0 1 2 3 4 5 6 7 8 9 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 33 34 35 36 37 38 39 40 41 42 43 44 44 45 46 1 2 3 4 5 6 7 8 8 9 10 11 12 13 14 15 15 16 16 17 18 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 1 1 2 3 4 5 6 7 8 9 10 11 12 13 13 14 14 15 16 17 18 19 19 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 37 38 39 40 41 42 43 44 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 2 3 4 5 5 5 5 5 5 0 1 2 3 4 5 6 7 8 9 10 11 11 11 12 13 13 14 15 15 15 16 17 18 19 20 21 22 22 23 24 25 26 27 28 29 30 30 30 30 31 32 33 33 34 35 36 37 38 39 1 2 3 4 5 6 7 8 9 10 10 11 12 13 14 14 15 16 17 18 19 20 21 22 23 24 24 24 25 26 27 28 29 30 31 32 33 34 34 35 36 37 38 39 40 41 41 42 43 44 1 2 3 4 5 5 6 7 8 9 10 11 11 12 13 14 15 15 16 17 18 19 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 33 34 35 36 37 38 39 40 41 42 43 44 44 1 1 2 3 4 5 6 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 29 30 31 32 33 34 35 36 37 38 39 40 41 41 42 43 44 44 45 1 2 3 4 5 5 6 7 8 9 10 11 12 13 14 15 15 16 17 18 19 20 20 21 22 23 24 25 26 27 28 28 28 29 30 31 32 33 34 34 34 35 35 36 36 37 38 39 40 41 1 1 2 3 4 5 6 7 8 9 10 11 11 12 13 14 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 37 38 39 39 40 41 42 42 43 44 1 1 2 3 4 5 5 6 7 8 9 10 11 12 13 14 15 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 31 32 33 34 35 36 37 38 39 40 41 41 42 43 44 45 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 23 24 24 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 1 2 3 4 5 6 7 8 9 10 11 11 12 13 14 15 15 16 17 18 19 20 21 22 23 24 25 26 26 27 28 29 30 31 32 33 34 35 36 37 38 38 39 40 41 42 43 44 45 46 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 2 2 3 4 5 6 7 8 9 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 24 24 25 26 27 28 29 30 31 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 1 2 3 4 5 6 7 8 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 35 36 37 37 38 39 40 41 41 41 42 43 44 45 1 2 3 4 5 5 5 6 6 6 7 7 8 9 9 10 11 12 13 14 15 16 17 18 19 20 21 22 22 23 23 24 25 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 40 0 1 2 3 4 5 6 7 8 8 8 9 10 11 11 12 13 14 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 32 33 33 34 35 36 37 38 39 40 41 42 43 1 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 15 16 17 17 18 19 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 34 35 36 36 37 38 38 39 40 41 42 43 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 18 18 18 18 18 18 18 18 18 18 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 33 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 18 19 20 21 21 22 23 24 25 26 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 46 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 22 23 24 25 26 27 28 29 30 31 32 33 34 34 35 36 37 38 39 40 41 42 43 44 45 45 46 47 1 2 3 4 4 5 6 7 8 9 9 10 11 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 25 26 27 28 29 30 31 32 33 34 35 36 36 37 38 38 39 40 41 42 43 43 1 2 3 3 4 5 6 7 7 8 9 10 11 12 12 13 14 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 34 35 36 37 38 38 39 40 41 42 43 44 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 19 20 21 22 23 24 25 26 27 28 29 30 31 31 31 32 33 33 34 35 36 37 37 37 38 38 39 40 41 42 43 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 2 3 3 4 1 2 3 4 5 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 29 30 31 32 32 33 34 35 36 37 38 39 40 41 42 42 43 43 44 45 1 2 3 4 5 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 21 22 23 24 25 26 27 28 29 30 31 32 33 33 34 34 35 36 37 38 39 40 41 42 43 44 45 46 1 2 3 4 5 6 7 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 1 2 3 4 5 6 7 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 21 22 23 23 24 25 26 27 28 29 30 31 32 33 33 34 35 36 37 38 39 40 40 41 42 43 44 44 1 2 3 4 4 5 6 7 8 9 9 10 11 11 12 13 14 15 16 17 17 18 19 20 20 21 22 23 24 24 25 26 27 28 29 30 31 32 33 34 34 35 36 37 38 39 40 41 42 43 1 2 2 3 4 4 5 5 6 7 8 9 10 11 12 13 14 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 32 33 34 35 36 37 38 39 40 41 42 43 44 45 1 2 3 4 5 6 7 8 9 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 40 41 42 43 43 44 45 46 47 0 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 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 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 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 0 0 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 1 1 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 0 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 0 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 0 0 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 0 1 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 1 1 1 1 0 0 1 0 1 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 0 0 0 0 0 0 0 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 0 0 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 39 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 39 </values>
245.75/63.86	v </instantiation>

OK	45

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394180-1568330577/watcher-4394180-1568330577 -o /tmp/evaluation-result-4394180-1568330577/solver-4394180-1568330577 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568329129-18218 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1177933649 HOME/instance-4394180-1568330577.xml 

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

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


[startup+0.100057 s]*
/proc/loadavg: 8.48 8.18 6.25 8/234 21231
/proc/meminfo: memFree=17642284/32770624 swapFree=66959212/67108860
[pid=21215] ppid=21212 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/21215/stat : 21215 (xcsp3-exec) S 21212 21215 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408997861 115843072 362 33554432000 4194304 5098028 140736441529312 140736441527416 139781403525756 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9121792 140736441537402 140736441537645 140736441537645 140736441540554 0
/proc/21215/statm: 28282 362 304 221 0 87 0
[pid=21217] ppid=21215 vsize=15144768 memory=30048 CPUtime=0.13 cores=1,3,5,7
/proc/21217/stat : 21217 (java) S 21215 21215 18186 0 -1 1077944320 5938 0 0 0 12 1 0 0 20 0 15 0 408997861 15508242432 7512 33554432000 4194304 4196468 140728508045104 140728508027648 140154196668151 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
/proc/21217/statm: 3786192 7512 3178 1 0 3748377 0
[pid=21217/tid=21218] ppid=21215 vsize=15144768 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/21217/task/21218/stat : 21218 (java) R 21215 21215 18186 0 -1 4202560 3835 0 0 0 9 0 0 0 20 0 15 0 408997861 15508242432 7512 33554432000 4194304 4196468 140728508045104 140154200900128 140154196690077 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21219] ppid=21215 vsize=15144768 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/21217/task/21219/stat : 21219 (java) S 21215 21215 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408997862 15508242432 7512 33554432000 4194304 4196468 140728508045104 140154124708880 140154196678357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21220] ppid=21215 vsize=15144768 memory=140469545862784 CPUtime=0 cores=1,3,5,7
/proc/21217/task/21220/stat : 21220 (java) S 21215 21215 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408997862 15508242432 7512 33554432000 4194304 4196468 140728508045104 140154123656336 140154196678357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21221] ppid=21215 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21217/task/21221/stat : 21221 (java) S 21215 21215 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408997862 15508242432 7512 33554432000 4194304 4196468 140728508045104 140154122603280 140154196678357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21222] ppid=21215 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21217/task/21222/stat : 21222 (java) S 21215 21215 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408997862 15508242432 7512 33554432000 4194304 4196468 140728508045104 140154121550736 140154196678357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21223] ppid=21215 vsize=15144768 memory=140469545862784 CPUtime=0 cores=1,3,5,7
/proc/21217/task/21223/stat : 21223 (java) S 21215 21215 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408997863 15508242432 7512 33554432000 4194304 4196468 140728508045104 140153070741744 140154196679298 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21224] ppid=21215 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21217/task/21224/stat : 21224 (java) S 21215 21215 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408997864 15508242432 7512 33554432000 4194304 4196468 140728508045104 140153069687968 140154196678357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21225] ppid=21215 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21217/task/21225/stat : 21225 (java) S 21215 21215 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408997864 15508242432 7512 33554432000 4194304 4196468 140728508045104 140153068634864 140154196678357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21226] ppid=21215 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21217/task/21226/stat : 21226 (java) S 21215 21215 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408997866 15508242432 7512 33554432000 4194304 4196468 140728508045104 140153067583440 140154196686747 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21227] ppid=21215 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21217/task/21227/stat : 21227 (java) R 21215 21215 18186 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 408997866 15508242432 7512 33554432000 4194304 4196468 140728508045104 140153066531568 140154196679298 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21228] ppid=21215 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21217/task/21228/stat : 21228 (java) R 21215 21215 18186 0 -1 4202560 159 0 0 0 0 0 0 0 20 0 15 0 408997866 15508242432 7512 33554432000 4194304 4196468 140728508045104 140153065479024 140154174598752 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21229] ppid=21215 vsize=15144768 memory=140469545862784 CPUtime=0.02 cores=1,3,5,7
/proc/21217/task/21229/stat : 21229 (java) S 21215 21215 18186 0 -1 1077944384 354 0 0 0 2 0 0 0 20 0 15 0 408997867 15508242432 7512 33554432000 4194304 4196468 140728508045104 140153064425968 140154196679298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21230] ppid=21215 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21217/task/21230/stat : 21230 (java) S 21215 21215 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408997867 15508242432 7512 33554432000 4194304 4196468 140728508045104 140153063373664 140154196678357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21231] ppid=21215 vsize=15144768 memory=140469545862784 CPUtime=0 cores=1,3,5,7
/proc/21217/task/21231/stat : 21231 (java) S 21215 21215 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408997867 15508242432 7512 33554432000 4194304 4196468 140728508045104 140153062320688 140154196679298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31496 KiB

[startup+0.21291 s]*
/proc/loadavg: 8.48 8.18 6.25 7/234 21231
/proc/meminfo: memFree=17629800/32770624 swapFree=66959212/67108860
[pid=21215] ppid=21212 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/21215/stat : 21215 (xcsp3-exec) S 21212 21215 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408997861 115843072 362 33554432000 4194304 5098028 140736441529312 140736441527416 139781403525756 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9121792 140736441537402 140736441537645 140736441537645 140736441540554 0
/proc/21215/statm: 28282 362 304 221 0 87 0
[pid=21217] ppid=21215 vsize=15144768 memory=41152 CPUtime=0.34 cores=1,3,5,7
/proc/21217/stat : 21217 (java) S 21215 21215 18186 0 -1 1077944320 9505 0 0 0 31 3 0 0 20 0 15 0 408997861 15508242432 10288 33554432000 4194304 4196468 140728508045104 140728508027648 140154196668151 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
/proc/21217/statm: 3786192 10288 3303 1 0 3748377 0
[pid=21217/tid=21218] ppid=21215 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/21217/task/21218/stat : 21218 (java) R 21215 21215 18186 0 -1 4202560 6661 0 0 0 18 2 0 0 20 0 15 0 408997861 15508242432 10288 33554432000 4194304 4196468 140728508045104 140154200903952 140154180711781 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21219] ppid=21215 vsize=15144768 memory=1965945 CPUtime=0 cores=1,3,5,7
/proc/21217/task/21219/stat : 21219 (java) S 21215 21215 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408997862 15508242432 10288 33554432000 4194304 4196468 140728508045104 140154124708880 140154196678357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21220] ppid=21215 vsize=15144768 memory=3688925256260912800 CPUtime=0 cores=1,3,5,7
/proc/21217/task/21220/stat : 21220 (java) S 21215 21215 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408997862 15508242432 10288 33554432000 4194304 4196468 140728508045104 140154123656336 140154196678357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21221] ppid=21215 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21217/task/21221/stat : 21221 (java) S 21215 21215 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408997862 15508242432 10288 33554432000 4194304 4196468 140728508045104 140154122603280 140154196678357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21222] ppid=21215 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21217/task/21222/stat : 21222 (java) S 21215 21215 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408997862 15508242432 10288 33554432000 4194304 4196468 140728508045104 140154121550736 140154196678357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21223] ppid=21215 vsize=15144768 memory=140469545862784 CPUtime=0 cores=1,3,5,7
/proc/21217/task/21223/stat : 21223 (java) S 21215 21215 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408997863 15508242432 10288 33554432000 4194304 4196468 140728508045104 140153070741744 140154196679298 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21224] ppid=21215 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21217/task/21224/stat : 21224 (java) S 21215 21215 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408997864 15508242432 10288 33554432000 4194304 4196468 140728508045104 140153069687968 140154196678357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21225] ppid=21215 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21217/task/21225/stat : 21225 (java) S 21215 21215 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408997864 15508242432 10288 33554432000 4194304 4196468 140728508045104 140153068634864 140154196678357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21226] ppid=21215 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21217/task/21226/stat : 21226 (java) S 21215 21215 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408997866 15508242432 10288 33554432000 4194304 4196468 140728508045104 140153067583440 140154196686747 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21227] ppid=21215 vsize=15144768 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/21217/task/21227/stat : 21227 (java) S 21215 21215 18186 0 -1 1077944384 400 0 0 0 1 0 0 0 20 0 15 0 408997866 15508242432 10288 33554432000 4194304 4196468 140728508045104 140153066531568 140154196679298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21228] ppid=21215 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/21217/task/21228/stat : 21228 (java) R 21215 21215 18186 0 -1 1077944384 430 0 0 0 2 0 0 0 20 0 15 0 408997866 15508242432 10288 33554432000 4194304 4196468 140728508045104 140153065479024 140154196679298 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21229] ppid=21215 vsize=15144768 memory=140469545862784 CPUtime=0.08 cores=1,3,5,7
/proc/21217/task/21229/stat : 21229 (java) R 21215 21215 18186 0 -1 4202560 711 0 0 0 8 0 0 0 20 0 15 0 408997867 15508242432 10288 33554432000 4194304 4196468 140728508045104 140153064425968 140154196680086 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21230] ppid=21215 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21217/task/21230/stat : 21230 (java) S 21215 21215 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408997867 15508242432 10288 33554432000 4194304 4196468 140728508045104 140153063373664 140154196678357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21231] ppid=21215 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21217/task/21231/stat : 21231 (java) S 21215 21215 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408997867 15508242432 10288 33554432000 4194304 4196468 140728508045104 140153062320688 140154196679298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42600 KiB

[startup+0.310613 s]*
/proc/loadavg: 8.48 8.18 6.25 7/234 21231
/proc/meminfo: memFree=17622880/32770624 swapFree=66959212/67108860
[pid=21215] ppid=21212 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/21215/stat : 21215 (xcsp3-exec) S 21212 21215 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408997861 115843072 362 33554432000 4194304 5098028 140736441529312 140736441527416 139781403525756 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9121792 140736441537402 140736441537645 140736441537645 140736441540554 0
/proc/21215/statm: 28282 362 304 221 0 87 0
[pid=21217] ppid=21215 vsize=15149024 memory=50456 CPUtime=0.53 cores=1,3,5,7
/proc/21217/stat : 21217 (java) S 21215 21215 18186 0 -1 1077944320 10879 0 0 0 49 4 0 0 20 0 15 0 408997861 15512600576 12614 33554432000 4194304 4196468 140728508045104 140728508027648 140154196668151 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
/proc/21217/statm: 3787256 12614 3370 1 0 3748377 0
[pid=21217/tid=21218] ppid=21215 vsize=15149024 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/21217/task/21218/stat : 21218 (java) R 21215 21215 18186 0 -1 4202560 7834 0 0 0 27 2 0 0 20 0 15 0 408997861 15512600576 12614 33554432000 4194304 4196468 140728508045104 140154200894768 140154180748638 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21219] ppid=21215 vsize=15149024 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/21217/task/21219/stat : 21219 (java) S 21215 21215 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408997862 15512600576 12620 33554432000 4194304 4196468 140728508045104 140154124708880 140154196678357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21220] ppid=21215 vsize=15149024 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/21217/task/21220/stat : 21220 (java) S 21215 21215 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408997862 15512600576 12620 33554432000 4194304 4196468 140728508045104 140154123656336 140154196678357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21221] ppid=21215 vsize=15149024 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/21217/task/21221/stat : 21221 (java) S 21215 21215 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408997862 15512600576 12620 33554432000 4194304 4196468 140728508045104 140154122603280 140154196678357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21222] ppid=21215 vsize=15149024 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/21217/task/21222/stat : 21222 (java) S 21215 21215 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408997862 15512600576 12620 33554432000 4194304 4196468 140728508045104 140154121550736 140154196678357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21223] ppid=21215 vsize=15149024 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/21217/task/21223/stat : 21223 (java) S 21215 21215 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408997863 15512600576 12620 33554432000 4194304 4196468 140728508045104 140153070741744 140154196679298 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21224] ppid=21215 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/21217/task/21224/stat : 21224 (java) S 21215 21215 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408997864 15512600576 12620 33554432000 4194304 4196468 140728508045104 140153069687968 140154196678357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21225] ppid=21215 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/21217/task/21225/stat : 21225 (java) S 21215 21215 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408997864 15512600576 12620 33554432000 4194304 4196468 140728508045104 140153068634864 140154196678357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21226] ppid=21215 vsize=15149024 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/21217/task/21226/stat : 21226 (java) S 21215 21215 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408997866 15512600576 12620 33554432000 4194304 4196468 140728508045104 140153067583440 140154196686747 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21227] ppid=21215 vsize=15149024 memory=4426078206164241782 CPUtime=0.03 cores=1,3,5,7
/proc/21217/task/21227/stat : 21227 (java) S 21215 21215 18186 0 -1 1077944384 408 0 0 0 3 0 0 0 20 0 15 0 408997866 15512600576 12620 33554432000 4194304 4196468 140728508045104 140153066531568 140154196679298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21228] ppid=21215 vsize=15149024 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/21217/task/21228/stat : 21228 (java) R 21215 21215 18186 0 -1 4202560 540 0 0 0 5 0 0 0 20 0 15 0 408997866 15512600576 12620 33554432000 4194304 4196468 140728508045104 140153065479024 140154173929408 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21229] ppid=21215 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/21217/task/21229/stat : 21229 (java) S 21215 21215 18186 0 -1 1077944384 797 0 0 0 12 0 0 0 20 0 15 0 408997867 15512600576 12620 33554432000 4194304 4196468 140728508045104 140153064425968 140154196679298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21230] ppid=21215 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21217/task/21230/stat : 21230 (java) S 21215 21215 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408997867 15512600576 12620 33554432000 4194304 4196468 140728508045104 140153063373664 140154196678357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21231] ppid=21215 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21217/task/21231/stat : 21231 (java) S 21215 21215 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408997867 15512600576 12620 33554432000 4194304 4196468 140728508045104 140153062320688 140154196679298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51904 KiB

[startup+0.701329 s]
/proc/loadavg: 8.48 8.18 6.25 9/234 21231
/proc/meminfo: memFree=17598180/32770624 swapFree=66959212/67108860
[pid=21215] ppid=21212 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/21215/stat : 21215 (xcsp3-exec) S 21212 21215 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408997861 115843072 362 33554432000 4194304 5098028 140736441529312 140736441527416 139781403525756 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9121792 140736441537402 140736441537645 140736441537645 140736441540554 0
/proc/21215/statm: 28282 362 304 221 0 87 0
[pid=21217] ppid=21215 vsize=15151148 memory=114104 CPUtime=1.73 cores=1,3,5,7
/proc/21217/stat : 21217 (java) S 21215 21215 18186 0 -1 1077944320 14603 0 0 0 167 6 0 0 20 0 15 0 408997861 15514775552 28526 33554432000 4194304 4196468 140728508045104 140728508027648 140154196668151 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
/proc/21217/statm: 3787787 28526 3443 1 0 3748889 0
[pid=21217/tid=21218] ppid=21215 vsize=15151148 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/21217/task/21218/stat : 21218 (java) R 21215 21215 18186 0 -1 4202560 8425 0 0 0 64 3 0 0 20 0 15 0 408997861 15514775552 28526 33554432000 4194304 4196468 140728508045104 140154200902576 140153795208839 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21219] ppid=21215 vsize=15151148 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/21217/task/21219/stat : 21219 (java) S 21215 21215 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408997862 15514775552 28526 33554432000 4194304 4196468 140728508045104 140154124708880 140154196678357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21220] ppid=21215 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21217/task/21220/stat : 21220 (java) S 21215 21215 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408997862 15514775552 28526 33554432000 4194304 4196468 140728508045104 140154123656336 140154196678357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21221] ppid=21215 vsize=15151148 memory=1660 CPUtime=0 cores=1,3,5,7
/proc/21217/task/21221/stat : 21221 (java) S 21215 21215 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408997862 15514775552 28526 33554432000 4194304 4196468 140728508045104 140154122603280 140154196678357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21222] ppid=21215 vsize=15151148 memory=38304 CPUtime=0 cores=1,3,5,7
/proc/21217/task/21222/stat : 21222 (java) S 21215 21215 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408997862 15514775552 28526 33554432000 4194304 4196468 140728508045104 140154121550736 140154196678357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21223] ppid=21215 vsize=15151148 memory=988 CPUtime=0 cores=1,3,5,7
/proc/21217/task/21223/stat : 21223 (java) S 21215 21215 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408997863 15514775552 28526 33554432000 4194304 4196468 140728508045104 140153070741744 140154196679298 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21224] ppid=21215 vsize=15151148 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/21217/task/21224/stat : 21224 (java) S 21215 21215 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408997864 15514775552 28526 33554432000 4194304 4196468 140728508045104 140153069687968 140154196678357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21225] ppid=21215 vsize=15151148 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/21217/task/21225/stat : 21225 (java) S 21215 21215 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408997864 15514775552 28526 33554432000 4194304 4196468 140728508045104 140153068634864 140154196678357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21226] ppid=21215 vsize=15151148 memory=580 CPUtime=0 cores=1,3,5,7
/proc/21217/task/21226/stat : 21226 (java) S 21215 21215 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408997866 15514775552 28526 33554432000 4194304 4196468 140728508045104 140153067583440 140154196686747 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21227] ppid=21215 vsize=15151148 memory=1720 CPUtime=0.33 cores=1,3,5,7
/proc/21217/task/21227/stat : 21227 (java) R 21215 21215 18186 0 -1 4202560 1525 0 0 0 33 0 0 0 20 0 15 0 408997866 15514775552 28526 33554432000 4194304 4196468 140728508045104 140153066517592 140154181592494 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21228] ppid=21215 vsize=15151148 memory=10604 CPUtime=0.36 cores=1,3,5,7
/proc/21217/task/21228/stat : 21228 (java) R 21215 21215 18186 0 -1 4202560 1698 0 0 0 36 0 0 0 20 0 15 0 408997866 15514775552 28526 33554432000 4194304 4196468 140728508045104 140153065469136 140154196689498 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21229] ppid=21215 vsize=15151148 memory=3360 CPUtime=0.33 cores=1,3,5,7
/proc/21217/task/21229/stat : 21229 (java) R 21215 21215 18186 0 -1 4202560 1649 0 0 0 32 1 0 0 20 0 15 0 408997867 15514775552 28526 33554432000 4194304 4196468 140728508045104 140153064422400 140154196689498 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21230] ppid=21215 vsize=15151148 memory=776 CPUtime=0 cores=1,3,5,7
/proc/21217/task/21230/stat : 21230 (java) S 21215 21215 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408997867 15514775552 28526 33554432000 4194304 4196468 140728508045104 140153063373664 140154196678357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21231] ppid=21215 vsize=15151148 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/21217/task/21231/stat : 21231 (java) S 21215 21215 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408997867 15514775552 28526 33554432000 4194304 4196468 140728508045104 140153062320688 140154196679298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
Current children cumulated CPU time: 1.73 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 115552 KiB

[startup+1.51033 s]
/proc/loadavg: 8.48 8.18 6.25 11/234 21231
/proc/meminfo: memFree=17483540/32770624 swapFree=66959212/67108860
[pid=21215] ppid=21212 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/21215/stat : 21215 (xcsp3-exec) S 21212 21215 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408997861 115843072 362 33554432000 4194304 5098028 140736441529312 140736441527416 139781403525756 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9121792 140736441537402 140736441537645 140736441537645 140736441540554 0
/proc/21215/statm: 28282 362 304 221 0 87 0

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

/proc/21217/task/21231/stat : 21231 (java) S 21215 21215 18186 0 -1 1077944384 482 0 0 0 0 2 0 0 20 0 19 0 408997867 15789518848 352025 33554432000 4194304 4196468 140728508045104 140153062320688 140154196679298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21252] ppid=21215 vsize=15419452 memory=3360 CPUtime=54.93 cores=1,3,5,7
/proc/21217/task/21252/stat : 21252 (java) R 21215 21215 18186 0 -1 4202560 1125 0 0 0 5493 0 0 0 20 0 19 0 408998516 15789518848 352025 33554432000 4194304 4196468 140728508045104 140153049959800 140153801401958 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21253] ppid=21215 vsize=15419452 memory=776 CPUtime=54.62 cores=1,3,5,7
/proc/21217/task/21253/stat : 21253 (java) R 21215 21215 18186 0 -1 4202560 6228 0 0 0 5449 13 0 0 20 0 19 0 408998516 15789518848 352025 33554432000 4194304 4196468 140728508045104 140153047855512 140153801243626 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21254] ppid=21215 vsize=15419452 memory=1564 CPUtime=54.34 cores=1,3,5,7
/proc/21217/task/21254/stat : 21254 (java) R 21215 21215 18186 0 -1 4202560 2163 0 0 0 5432 2 0 0 20 0 19 0 408998516 15789518848 352025 33554432000 4194304 4196468 140728508045104 140153048907592 140153796116705 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21255] ppid=21215 vsize=15419452 memory=5964 CPUtime=54.67 cores=1,3,5,7
/proc/21217/task/21255/stat : 21255 (java) R 21215 21215 18186 0 -1 4202560 1253 0 0 0 5467 0 0 0 20 0 19 0 408998516 15789518848 352025 33554432000 4194304 4196468 140728508045104 140153051012656 140153801243838 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
Current children cumulated CPU time: 240.68 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 1409548 KiB

[startup+63.2013 s]
/proc/loadavg: 8.91 8.39 6.44 9/238 21259
/proc/meminfo: memFree=16184204/32770624 swapFree=66959212/67108860
[pid=21215] ppid=21212 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/21215/stat : 21215 (xcsp3-exec) S 21212 21215 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408997861 115843072 362 33554432000 4194304 5098028 140736441529312 140736441527416 139781403525756 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9121792 140736441537402 140736441537645 140736441537645 140736441540554 0
/proc/21215/statm: 28282 362 304 221 0 87 0
[pid=21217] ppid=21215 vsize=15419452 memory=1496164 CPUtime=243.86 cores=1,3,5,7
/proc/21217/stat : 21217 (java) S 21215 21215 18186 0 -1 1077944320 76740 0 0 0 24325 61 0 0 20 0 19 0 408997861 15789518848 374041 33554432000 4194304 4196468 140728508045104 140728508027648 140154196668151 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
/proc/21217/statm: 3854863 374041 3542 1 0 3815965 0
[pid=21217/tid=21218] ppid=21215 vsize=15419452 memory=1216 CPUtime=2.58 cores=1,3,5,7
/proc/21217/task/21218/stat : 21218 (java) S 21215 21215 18186 0 -1 1077944384 10294 0 0 0 252 6 0 0 20 0 19 0 408997861 15789518848 374041 33554432000 4194304 4196468 140728508045104 140154200908928 140154196678357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21219] ppid=21215 vsize=15419452 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/21217/task/21219/stat : 21219 (java) S 21215 21215 18186 0 -1 1077944384 1576 0 0 0 23 7 0 0 20 0 19 0 408997862 15789518848 374041 33554432000 4194304 4196468 140728508045104 140154124708880 140154196678357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21220] ppid=21215 vsize=15419452 memory=988 CPUtime=0.24 cores=1,3,5,7
/proc/21217/task/21220/stat : 21220 (java) S 21215 21215 18186 0 -1 1077944384 422 0 0 0 18 6 0 0 20 0 19 0 408997862 15789518848 374041 33554432000 4194304 4196468 140728508045104 140154123656336 140154196678357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21221] ppid=21215 vsize=15419452 memory=2008 CPUtime=0.28 cores=1,3,5,7
/proc/21217/task/21221/stat : 21221 (java) S 21215 21215 18186 0 -1 1077944384 873 0 0 0 22 6 0 0 20 0 19 0 408997862 15789518848 374041 33554432000 4194304 4196468 140728508045104 140154122603280 140154196678357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21222] ppid=21215 vsize=15419452 memory=1436 CPUtime=0.26 cores=1,3,5,7
/proc/21217/task/21222/stat : 21222 (java) S 21215 21215 18186 0 -1 1077944384 1814 0 0 0 20 6 0 0 20 0 19 0 408997862 15789518848 374041 33554432000 4194304 4196468 140728508045104 140154121550736 140154196678357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21223] ppid=21215 vsize=15419452 memory=1448 CPUtime=0.04 cores=1,3,5,7
/proc/21217/task/21223/stat : 21223 (java) S 21215 21215 18186 0 -1 1077944384 1892 0 0 0 2 2 0 0 20 0 19 0 408997863 15789518848 374041 33554432000 4194304 4196468 140728508045104 140153070741744 140154196679298 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21224] ppid=21215 vsize=15419452 memory=580 CPUtime=0 cores=1,3,5,7
/proc/21217/task/21224/stat : 21224 (java) S 21215 21215 18186 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 408997864 15789518848 374041 33554432000 4194304 4196468 140728508045104 140153069688032 140154196678357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21225] ppid=21215 vsize=15419452 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/21217/task/21225/stat : 21225 (java) S 21215 21215 18186 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 408997864 15789518848 374041 33554432000 4194304 4196468 140728508045104 140153068634880 140154196678357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21226] ppid=21215 vsize=15419452 memory=10604 CPUtime=0 cores=1,3,5,7
/proc/21217/task/21226/stat : 21226 (java) S 21215 21215 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408997866 15789518848 374041 33554432000 4194304 4196468 140728508045104 140153067583440 140154196686747 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21227] ppid=21215 vsize=15419452 memory=3360 CPUtime=5.26 cores=1,3,5,7
/proc/21217/task/21227/stat : 21227 (java) S 21215 21215 18186 0 -1 1077944384 17159 0 0 0 524 2 0 0 20 0 19 0 408997866 15789518848 374041 33554432000 4194304 4196468 140728508045104 140153066531568 140154196679298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21228] ppid=21215 vsize=15419452 memory=776 CPUtime=5.43 cores=1,3,5,7
/proc/21217/task/21228/stat : 21228 (java) S 21215 21215 18186 0 -1 1077944384 19313 0 0 0 541 2 0 0 20 0 19 0 408997866 15789518848 374041 33554432000 4194304 4196468 140728508045104 140153065479024 140154196679298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21229] ppid=21215 vsize=15419452 memory=1564 CPUtime=1.23 cores=1,3,5,7
/proc/21217/task/21229/stat : 21229 (java) S 21215 21215 18186 0 -1 1077944384 9294 0 0 0 121 2 0 0 20 0 19 0 408997867 15789518848 374041 33554432000 4194304 4196468 140728508045104 140153064425968 140154196679298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21230] ppid=21215 vsize=15419452 memory=5964 CPUtime=0 cores=1,3,5,7
/proc/21217/task/21230/stat : 21230 (java) S 21215 21215 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408997867 15789518848 374041 33554432000 4194304 4196468 140728508045104 140153063373664 140154196678357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21231] ppid=21215 vsize=15419452 memory=1060 CPUtime=0.02 cores=1,3,5,7
/proc/21217/task/21231/stat : 21231 (java) S 21215 21215 18186 0 -1 1077944384 482 0 0 0 0 2 0 0 20 0 19 0 408997867 15789518848 374041 33554432000 4194304 4196468 140728508045104 140153062320688 140154196679298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21252] ppid=21215 vsize=15419452 memory=6791534058613427641 CPUtime=55.73 cores=1,3,5,7
/proc/21217/task/21252/stat : 21252 (java) R 21215 21215 18186 0 -1 4202560 1125 0 0 0 5573 0 0 0 20 0 19 0 408998516 15789518848 374041 33554432000 4194304 4196468 140728508045104 140153049959800 140153801243893 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21253] ppid=21215 vsize=15419452 memory=3472328296227679345 CPUtime=55.4 cores=1,3,5,7
/proc/21217/task/21253/stat : 21253 (java) R 21215 21215 18186 0 -1 4202560 6264 0 0 0 5526 14 0 0 20 0 19 0 408998516 15789518848 374041 33554432000 4194304 4196468 140728508045104 140153047855512 140153795106224 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21254] ppid=21215 vsize=15419452 memory=6944656592387989600 CPUtime=55.14 cores=1,3,5,7
/proc/21217/task/21254/stat : 21254 (java) R 21215 21215 18186 0 -1 4202560 2170 0 0 0 5512 2 0 0 20 0 19 0 408998516 15789518848 374041 33554432000 4194304 4196468 140728508045104 140153048907592 140153804346398 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21255] ppid=21215 vsize=15419452 memory=6655300316396806240 CPUtime=55.47 cores=1,3,5,7
/proc/21217/task/21255/stat : 21255 (java) R 21215 21215 18186 0 -1 4202560 1253 0 0 0 5547 0 0 0 20 0 19 0 408998516 15789518848 374041 33554432000 4194304 4196468 140728508045104 140153051012656 140153801402129 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
Current children cumulated CPU time: 243.86 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 1497612 KiB

[startup+63.6013 s]
/proc/loadavg: 8.91 8.39 6.44 9/238 21259
/proc/meminfo: memFree=16184204/32770624 swapFree=66959212/67108860
[pid=21215] ppid=21212 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/21215/stat : 21215 (xcsp3-exec) S 21212 21215 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408997861 115843072 362 33554432000 4194304 5098028 140736441529312 140736441527416 139781403525756 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9121792 140736441537402 140736441537645 140736441537645 140736441540554 0
/proc/21215/statm: 28282 362 304 221 0 87 0
[pid=21217] ppid=21215 vsize=15419452 memory=1539176 CPUtime=245.47 cores=1,3,5,7
/proc/21217/stat : 21217 (java) S 21215 21215 18186 0 -1 1077944320 76932 0 0 0 24485 62 0 0 20 0 19 0 408997861 15789518848 384794 33554432000 4194304 4196468 140728508045104 140728508027648 140154196668151 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
/proc/21217/statm: 3854863 384794 3542 1 0 3815965 0
[pid=21217/tid=21218] ppid=21215 vsize=15419452 memory=6791534058613427641 CPUtime=2.58 cores=1,3,5,7
/proc/21217/task/21218/stat : 21218 (java) S 21215 21215 18186 0 -1 1077944384 10294 0 0 0 252 6 0 0 20 0 19 0 408997861 15789518848 384794 33554432000 4194304 4196468 140728508045104 140154200908928 140154196678357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21219] ppid=21215 vsize=15419452 memory=1660 CPUtime=0.3 cores=1,3,5,7
/proc/21217/task/21219/stat : 21219 (java) S 21215 21215 18186 0 -1 1077944384 1576 0 0 0 23 7 0 0 20 0 19 0 408997862 15789518848 384794 33554432000 4194304 4196468 140728508045104 140154124708880 140154196678357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21220] ppid=21215 vsize=15419452 memory=38304 CPUtime=0.24 cores=1,3,5,7
/proc/21217/task/21220/stat : 21220 (java) S 21215 21215 18186 0 -1 1077944384 422 0 0 0 18 6 0 0 20 0 19 0 408997862 15789518848 384794 33554432000 4194304 4196468 140728508045104 140154123656336 140154196678357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21221] ppid=21215 vsize=15419452 memory=988 CPUtime=0.28 cores=1,3,5,7
/proc/21217/task/21221/stat : 21221 (java) S 21215 21215 18186 0 -1 1077944384 873 0 0 0 22 6 0 0 20 0 19 0 408997862 15789518848 384794 33554432000 4194304 4196468 140728508045104 140154122603280 140154196678357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21222] ppid=21215 vsize=15419452 memory=2008 CPUtime=0.26 cores=1,3,5,7
/proc/21217/task/21222/stat : 21222 (java) S 21215 21215 18186 0 -1 1077944384 1814 0 0 0 20 6 0 0 20 0 19 0 408997862 15789518848 384794 33554432000 4194304 4196468 140728508045104 140154121550736 140154196678357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21223] ppid=21215 vsize=15419452 memory=1436 CPUtime=0.04 cores=1,3,5,7
/proc/21217/task/21223/stat : 21223 (java) S 21215 21215 18186 0 -1 1077944384 1894 0 0 0 2 2 0 0 20 0 19 0 408997863 15789518848 384794 33554432000 4194304 4196468 140728508045104 140153070741744 140154196679298 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21224] ppid=21215 vsize=15419452 memory=580 CPUtime=0 cores=1,3,5,7
/proc/21217/task/21224/stat : 21224 (java) S 21215 21215 18186 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 408997864 15789518848 384794 33554432000 4194304 4196468 140728508045104 140153069688032 140154196678357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21225] ppid=21215 vsize=15419452 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/21217/task/21225/stat : 21225 (java) S 21215 21215 18186 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 408997864 15789518848 384794 33554432000 4194304 4196468 140728508045104 140153068634880 140154196678357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21226] ppid=21215 vsize=15419452 memory=10604 CPUtime=0 cores=1,3,5,7
/proc/21217/task/21226/stat : 21226 (java) S 21215 21215 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408997866 15789518848 384794 33554432000 4194304 4196468 140728508045104 140153067583440 140154196686747 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21227] ppid=21215 vsize=15419452 memory=3360 CPUtime=5.26 cores=1,3,5,7
/proc/21217/task/21227/stat : 21227 (java) S 21215 21215 18186 0 -1 1077944384 17159 0 0 0 524 2 0 0 20 0 19 0 408997866 15789518848 384794 33554432000 4194304 4196468 140728508045104 140153066531568 140154196679298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21228] ppid=21215 vsize=15419452 memory=776 CPUtime=5.43 cores=1,3,5,7
/proc/21217/task/21228/stat : 21228 (java) S 21215 21215 18186 0 -1 1077944384 19313 0 0 0 541 2 0 0 20 0 19 0 408997866 15789518848 384794 33554432000 4194304 4196468 140728508045104 140153065479024 140154196679298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21229] ppid=21215 vsize=15419452 memory=1412 CPUtime=1.23 cores=1,3,5,7
/proc/21217/task/21229/stat : 21229 (java) S 21215 21215 18186 0 -1 1077944384 9294 0 0 0 121 2 0 0 20 0 19 0 408997867 15789518848 384794 33554432000 4194304 4196468 140728508045104 140153064425968 140154196679298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21230] ppid=21215 vsize=15419452 memory=3040 CPUtime=0 cores=1,3,5,7
/proc/21217/task/21230/stat : 21230 (java) S 21215 21215 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408997867 15789518848 384794 33554432000 4194304 4196468 140728508045104 140153063373664 140154196678357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21231] ppid=21215 vsize=15419452 memory=1448 CPUtime=0.02 cores=1,3,5,7
/proc/21217/task/21231/stat : 21231 (java) S 21215 21215 18186 0 -1 1077944384 484 0 0 0 0 2 0 0 20 0 19 0 408997867 15789518848 384794 33554432000 4194304 4196468 140728508045104 140153062320688 140154196679298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21252] ppid=21215 vsize=15419452 memory=1360996 CPUtime=56.13 cores=1,3,5,7
/proc/21217/task/21252/stat : 21252 (java) R 21215 21215 18186 0 -1 4202560 1152 0 0 0 5613 0 0 0 20 0 19 0 408998516 15789518848 384794 33554432000 4194304 4196468 140728508045104 140153049959800 140153801402147 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21253] ppid=21215 vsize=15419452 memory=6791534058613427641 CPUtime=55.79 cores=1,3,5,7
/proc/21217/task/21253/stat : 21253 (java) R 21215 21215 18186 0 -1 4202560 6325 0 0 0 5565 14 0 0 20 0 19 0 408998516 15789518848 384794 33554432000 4194304 4196468 140728508045104 140153047855512 140153801708493 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21254] ppid=21215 vsize=15419452 memory=4872558044660077418 CPUtime=55.54 cores=1,3,5,7
/proc/21217/task/21254/stat : 21254 (java) R 21215 21215 18186 0 -1 4202560 2222 0 0 0 5552 2 0 0 20 0 19 0 408998516 15789518848 384794 33554432000 4194304 4196468 140728508045104 140153048907592 140153796116676 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21255] ppid=21215 vsize=15419452 memory=38304 CPUtime=55.87 cores=1,3,5,7
/proc/21217/task/21255/stat : 21255 (java) R 21215 21215 18186 0 -1 4202560 1301 0 0 0 5587 0 0 0 20 0 19 0 408998516 15789518848 384794 33554432000 4194304 4196468 140728508045104 140153051012656 140153802104065 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
Current children cumulated CPU time: 245.47 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 1540624 KiB

[startup+63.8009 s]
/proc/loadavg: 8.91 8.39 6.44 9/238 21259
/proc/meminfo: memFree=16184204/32770624 swapFree=66959212/67108860
[pid=21215] ppid=21212 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/21215/stat : 21215 (xcsp3-exec) S 21212 21215 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408997861 115843072 362 33554432000 4194304 5098028 140736441529312 140736441527416 139781403525756 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9121792 140736441537402 140736441537645 140736441537645 140736441540554 0
/proc/21215/statm: 28282 362 304 221 0 87 0
[pid=21217] ppid=21215 vsize=15419452 memory=1553512 CPUtime=245.75 cores=1,3,5,7
/proc/21217/stat : 21217 (java) S 21215 21215 18186 0 -1 1077944320 77050 0 0 0 24513 62 0 0 20 0 19 0 408997861 15789518848 388378 33554432000 4194304 4196468 140728508045104 140728508027648 140154196668151 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
/proc/21217/statm: 3854863 388378 3542 1 0 3815965 0
[pid=21217/tid=21218] ppid=21215 vsize=15419452 memory=280938777365632 CPUtime=2.58 cores=1,3,5,7
/proc/21217/task/21218/stat : 21218 (java) S 21215 21215 18186 0 -1 1077944384 10294 0 0 0 252 6 0 0 20 0 19 0 408997861 15789518848 388378 33554432000 4194304 4196468 140728508045104 140154200908928 140154196678357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21219] ppid=21215 vsize=15419452 memory=7306641048756185187 CPUtime=0.3 cores=1,3,5,7
/proc/21217/task/21219/stat : 21219 (java) S 21215 21215 18186 0 -1 1077944384 1576 0 0 0 23 7 0 0 20 0 19 0 408997862 15789518848 388378 33554432000 4194304 4196468 140728508045104 140154124708880 140154196678357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21220] ppid=21215 vsize=15419452 memory=1564 CPUtime=0.24 cores=1,3,5,7
/proc/21217/task/21220/stat : 21220 (java) S 21215 21215 18186 0 -1 1077944384 422 0 0 0 18 6 0 0 20 0 19 0 408997862 15789518848 388378 33554432000 4194304 4196468 140728508045104 140154123656336 140154196678357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21221] ppid=21215 vsize=15419452 memory=5964 CPUtime=0.28 cores=1,3,5,7
/proc/21217/task/21221/stat : 21221 (java) S 21215 21215 18186 0 -1 1077944384 873 0 0 0 22 6 0 0 20 0 19 0 408997862 15789518848 388378 33554432000 4194304 4196468 140728508045104 140154122603280 140154196678357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21222] ppid=21215 vsize=15419452 memory=1060 CPUtime=0.26 cores=1,3,5,7
/proc/21217/task/21222/stat : 21222 (java) S 21215 21215 18186 0 -1 1077944384 1814 0 0 0 20 6 0 0 20 0 19 0 408997862 15789518848 388378 33554432000 4194304 4196468 140728508045104 140154121550736 140154196678357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21223] ppid=21215 vsize=15419452 memory=2828 CPUtime=0.04 cores=1,3,5,7
/proc/21217/task/21223/stat : 21223 (java) S 21215 21215 18186 0 -1 1077944384 1894 0 0 0 2 2 0 0 20 0 19 0 408997863 15789518848 388378 33554432000 4194304 4196468 140728508045104 140153070741744 140154196679298 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21224] ppid=21215 vsize=15419452 memory=1216 CPUtime=0 cores=1,3,5,7
/proc/21217/task/21224/stat : 21224 (java) S 21215 21215 18186 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 408997864 15789518848 388378 33554432000 4194304 4196468 140728508045104 140153069688032 140154196678357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21225] ppid=21215 vsize=15419452 memory=984 CPUtime=0 cores=1,3,5,7
/proc/21217/task/21225/stat : 21225 (java) S 21215 21215 18186 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 408997864 15789518848 388378 33554432000 4194304 4196468 140728508045104 140153068634880 140154196678357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21226] ppid=21215 vsize=15419452 memory=14004 CPUtime=0 cores=1,3,5,7
/proc/21217/task/21226/stat : 21226 (java) S 21215 21215 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408997866 15789518848 388378 33554432000 4194304 4196468 140728508045104 140153067583440 140154196686747 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21227] ppid=21215 vsize=15419452 memory=20480 CPUtime=5.26 cores=1,3,5,7
/proc/21217/task/21227/stat : 21227 (java) S 21215 21215 18186 0 -1 1077944384 17159 0 0 0 524 2 0 0 20 0 19 0 408997866 15789518848 388378 33554432000 4194304 4196468 140728508045104 140153066531568 140154196679298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21228] ppid=21215 vsize=15419452 memory=14048 CPUtime=5.43 cores=1,3,5,7
/proc/21217/task/21228/stat : 21228 (java) S 21215 21215 18186 0 -1 1077944384 19313 0 0 0 541 2 0 0 20 0 19 0 408997866 15789518848 388378 33554432000 4194304 4196468 140728508045104 140153065479024 140154196679298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21229] ppid=21215 vsize=15419452 memory=2124 CPUtime=1.23 cores=1,3,5,7
/proc/21217/task/21229/stat : 21229 (java) S 21215 21215 18186 0 -1 1077944384 9294 0 0 0 121 2 0 0 20 0 19 0 408997867 15789518848 388378 33554432000 4194304 4196468 140728508045104 140153064425968 140154196679298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21230] ppid=21215 vsize=15419452 memory=500 CPUtime=0 cores=1,3,5,7
/proc/21217/task/21230/stat : 21230 (java) S 21215 21215 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408997867 15789518848 388378 33554432000 4194304 4196468 140728508045104 140153063373664 140154196678357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21231] ppid=21215 vsize=15419452 memory=1556 CPUtime=0.02 cores=1,3,5,7
/proc/21217/task/21231/stat : 21231 (java) S 21215 21215 18186 0 -1 1077944384 484 0 0 0 0 2 0 0 20 0 19 0 408997867 15789518848 388378 33554432000 4194304 4196468 140728508045104 140153062320688 140154196679298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21252] ppid=21215 vsize=15419452 memory=928 CPUtime=56.16 cores=1,3,5,7
/proc/21217/task/21252/stat : 21252 (java) S 21215 21215 18186 0 -1 1077944384 1189 0 0 0 5616 0 0 0 20 0 19 0 408998516 15789518848 388378 33554432000 4194304 4196468 140728508045104 140153049964672 140154196678357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21253] ppid=21215 vsize=15419452 memory=288230574492221466 CPUtime=55.83 cores=1,3,5,7
/proc/21217/task/21253/stat : 21253 (java) S 21215 21215 18186 0 -1 1077944384 6346 0 0 0 5568 15 0 0 20 0 19 0 408998516 15789518848 388378 33554432000 4194304 4196468 140728508045104 140153047860432 140154196678357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21254] ppid=21215 vsize=15419452 memory=288230621803970871 CPUtime=55.74 cores=1,3,5,7
/proc/21217/task/21254/stat : 21254 (java) R 21215 21215 18186 0 -1 4202560 2225 0 0 0 5572 2 0 0 20 0 19 0 408998516 15789518848 388378 33554432000 4194304 4196468 140728508045104 140153048907592 140153792570471 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
[pid=21217/tid=21255] ppid=21215 vsize=15419452 memory=15818902244428187 CPUtime=55.9 cores=1,3,5,7
/proc/21217/task/21255/stat : 21255 (java) S 21215 21215 18186 0 -1 1077944384 1358 0 0 0 5590 0 0 0 20 0 19 0 408998516 15789518848 388378 33554432000 4194304 4196468 140728508045104 140153051018192 140154196678357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26251264 140728508052463 140728508052634 140728508052634 140728508055503 0
Current children cumulated CPU time: 245.75 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 1554960 KiB

Child status: 0
Real time (s): 63.8809
CPU time (s): 245.843
CPU user time (s): 245.203
CPU system time (s): 0.639804
CPU usage (%): 384.846
Max. virtual memory (cumulated for all children) (KiB): 15532580
Max. memory (cumulated for all children) (KiB): 1554960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 245.203
system time used= 0.639804
maximum resident set size= 1557760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78130
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5551
involuntary context switches= 6032


# summary of solver processes directly reported to runsolver:
#   pid: 21215
#   total CPU time (s): 245.843
#   total CPU user time (s): 245.203
#   total CPU system time (s): 0.639804

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.434623 second user time and 0.776317 second system time

The end

Begin job on node124 at 2019-09-13 01:22:17
IDJOB=4394180
IDBENCH=126777
IDSOLVER=2842
FILE ID=node124/4394180-1568330577
RUNJOBID= node124-1568329129-18218
PBS_JOBID= 21701157
Free space on /tmp= 55340 MiB

SOLVER NAME= choco-solver 2019-06-14
BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1-s1/OpenStacks-m1-gp-050-1.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4394180-1568330577/watcher-4394180-1568330577 -o /tmp/evaluation-result-4394180-1568330577/solver-4394180-1568330577 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568329129-18218 --watchdog 2560  xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1177933649 HOME/instance-4394180-1568330577.xml

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

MD5SUM BENCH= fc4e4ea7042e58a9368f3717c71f0857
RANDOM SEED=1177933649

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        17659560 kB
MemAvailable:   29536960 kB
Buffers:          158436 kB
Cached:         11882516 kB
SwapCached:        45868 kB
Active:          3268380 kB
Inactive:       11098152 kB
Active(anon):    2281000 kB
Inactive(anon):    85948 kB
Active(file):     987380 kB
Inactive(file): 11012204 kB
Unevictable:      108768 kB
Mlocked:          108768 kB
SwapTotal:      67108860 kB
SwapFree:       66959212 kB
Dirty:             26508 kB
Writeback:             0 kB
AnonPages:       2393500 kB
Mapped:            56092 kB
Shmem:             32744 kB
Slab:             335272 kB
SReclaimable:     306276 kB
SUnreclaim:        28996 kB
KernelStack:        3984 kB
PageTables:         9876 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3489240 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2273280 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 55316 MiB
End job on node124 at 2019-09-13 01:23:21