2017 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 4.0.5 seq (2017-08-09)	SAT (TO)	1920	243.58099	240.035

0.00/0.07	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270364-1502621548.xml"  -tl '264s' -p 1 -x 0
0.12/1.94	c [HOME/instance-4270364-1502621548.xml, -tl, 264s, -p, 1, -x, 0]
0.12/2.00	c simple solver
0.34/2.06	c parse instance...
2.19/2.65	c solve instance...
7.09/5.83	o 2050 
7.09/5.86	o 2046 
7.09/5.89	o 2027 
34.87/32.39	o 1991 
34.87/32.39	o 1986 
34.98/32.40	o 1985 
34.98/32.41	o 1981 
34.98/32.43	o 1950 
34.98/32.43	o 1946 
34.98/32.44	o 1935 
34.98/32.45	o 1930 
34.98/32.46	o 1920 
243.55/240.01	s SATISFIABLE
243.55/240.01	v <instantiation>
243.55/240.01	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] x[0][52] x[0][53] x[0][54] x[0][55] x[0][56] x[0][57] x[0][58] x[0][59] x[0][60] x[0][61] x[0][62] x[0][63] x[0][64] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[1][50] x[1][51] x[1][52] x[1][53] x[1][54] x[1][55] x[1][56] x[1][57] x[1][58] x[1][59] x[1][60] x[1][61] x[1][62] x[1][63] x[1][64] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[2][49] x[2][50] x[2][51] x[2][52] x[2][53] x[2][54] x[2][55] x[2][56] x[2][57] x[2][58] x[2][59] x[2][60] x[2][61] x[2][62] x[2][63] x[2][64] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[3][49] x[3][50] x[3][51] x[3][52] x[3][53] x[3][54] x[3][55] x[3][56] x[3][57] x[3][58] x[3][59] x[3][60] x[3][61] x[3][62] x[3][63] x[3][64] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] x[4][48] x[4][49] x[4][50] x[4][51] x[4][52] x[4][53] x[4][54] x[4][55] x[4][56] x[4][57] x[4][58] x[4][59] x[4][60] x[4][61] x[4][62] x[4][63] x[4][64] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] x[5][48] x[5][49] x[5][50] x[5][51] x[5][52] x[5][53] x[5][54] x[5][55] x[5][56] x[5][57] x[5][58] x[5][59] x[5][60] x[5][61] x[5][62] x[5][63] x[5][64] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] x[6][48] x[6][49] x[6][50] x[6][51] x[6][52] x[6][53] x[6][54] x[6][55] x[6][56] x[6][57] x[6][58] x[6][59] x[6][60] x[6][61] x[6][62] x[6][63] x[6][64] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][47] x[7][48] x[7][49] x[7][50] x[7][51] x[7][52] x[7][53] x[7][54] x[7][55] x[7][56] x[7][57] x[7][58] x[7][59] x[7][60] x[7][61] x[7][62] x[7][63] x[7][64] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][47] x[8][48] x[8][49] x[8][50] x[8][51] x[8][52] x[8][53] x[8][54] x[8][55] x[8][56] x[8][57] x[8][58] x[8][59] x[8][60] x[8][61] x[8][62] x[8][63] x[8][64] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] x[9][47] x[9][48] x[9][49] x[9][50] x[9][51] x[9][52] x[9][53] x[9][54] x[9][55] x[9][56] x[9][57] x[9][58] x[9][59] x[9][60] x[9][61] x[9][62] x[9][63] x[9][64] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[10][46] x[10][47] x[10][48] x[10][49] x[10][50] x[10][51] x[10][52] x[10][53] x[10][54] x[10][55] x[10][56] x[10][57] x[10][58] x[10][59] x[10][60] x[10][61] x[10][62] x[10][63] x[10][64] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[11][46] x[11][47] x[11][48] x[11][49] x[11][50] x[11][51] x[11][52] x[11][53] x[11][54] x[11][55] x[11][56] x[11][57] x[11][58] x[11][59] x[11][60] x[11][61] x[11][62] x[11][63] x[11][64] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][45] x[12][46] x[12][47] x[12][48] x[12][49] x[12][50] x[12][51] x[12][52] x[12][53] x[12][54] x[12][55] x[12][56] x[12][57] x[12][58] x[12][59] x[12][60] x[12][61] x[12][62] x[12][63] x[12][64] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][45] x[13][46] x[13][47] x[13][48] x[13][49] x[13][50] x[13][51] x[13][52] x[13][53] x[13][54] x[13][55] x[13][56] x[13][57] x[13][58] x[13][59] x[13][60] x[13][61] x[13][62] x[13][63] x[13][64] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][45] x[14][46] x[14][47] x[14][48] x[14][49] x[14][50] x[14][51] x[14][52] x[14][53] x[14][54] x[14][55] x[14][56] x[14][57] x[14][58] x[14][59] x[14][60] x[14][61] x[14][62] x[14][63] x[14][64] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][45] x[15][46] x[15][47] x[15][48] x[15][49] x[15][50] x[15][51] x[15][52] x[15][53] x[15][54] x[15][55] x[15][56] x[15][57] x[15][58] x[15][59] x[15][60] x[15][61] x[15][62] x[15][63] x[15][64] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][45] x[16][46] x[16][47] x[16][48] x[16][49] x[16][50] x[16][51] x[16][52] x[16][53] x[16][54] x[16][55] x[16][56] x[16][57] x[16][58] x[16][59] x[16][60] x[16][61] x[16][62] x[16][63] x[16][64] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][45] x[17][46] x[17][47] x[17][48] x[17][49] x[17][50] x[17][51] x[17][52] x[17][53] x[17][54] x[17][55] x[17][56] x[17][57] x[17][58] x[17][59] x[17][60] x[17][61] x[17][62] x[17][63] x[17][64] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][45] x[18][46] x[18][47] x[18][48] x[18][49] x[18][50] x[18][51] x[18][52] x[18][53] x[18][54] x[18][55] x[18][56] x[18][57] x[18][58] x[18][59] x[18][60] x[18][61] x[18][62] x[18][63] x[18][64] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][45] x[19][46] x[19][47] x[19][48] x[19][49] x[19][50] x[19][51] x[19][52] x[19][53] x[19][54] x[19][55] x[19][56] x[19][57] x[19][58] x[19][59] x[19][60] x[19][61] x[19][62] x[19][63] x[19][64] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][45] x[20][46] x[20][47] x[20][48] x[20][49] x[20][50] x[20][51] x[20][52] x[20][53] x[20][54] x[20][55] x[20][56] x[20][57] x[20][58] x[20][59] x[20][60] x[20][61] x[20][62] x[20][63] x[20][64] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][45] x[21][46] x[21][47] x[21][48] x[21][49] x[21][50] x[21][51] x[21][52] x[21][53] x[21][54] x[21][55] x[21][56] x[21][57] x[21][58] x[21][59] x[21][60] x[21][61] x[21][62] x[21][63] x[21][64] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][45] x[22][46] x[22][47] x[22][48] x[22][49] x[22][50] x[22][51] x[22][52] x[22][53] x[22][54] x[22][55] x[22][56] x[22][57] x[22][58] x[22][59] x[22][60] x[22][61] x[22][62] x[22][63] x[22][64] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][45] x[23][46] x[23][47] x[23][48] x[23][49] x[23][50] x[23][51] x[23][52] x[23][53] x[23][54] x[23][55] x[23][56] x[23][57] x[23][58] x[23][59] x[23][60] x[23][61] x[23][62] x[23][63] x[23][64] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][45] x[24][46] x[24][47] x[24][48] x[24][49] x[24][50] x[24][51] x[24][52] x[24][53] x[24][54] x[24][55] x[24][56] x[24][57] x[24][58] x[24][59] x[24][60] x[24][61] x[24][62] x[24][63] x[24][64] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][45] x[25][46] x[25][47] x[25][48] x[25][49] x[25][50] x[25][51] x[25][52] x[25][53] x[25][54] x[25][55] x[25][56] x[25][57] x[25][58] x[25][59] x[25][60] x[25][61] x[25][62] x[25][63] x[25][64] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][45] x[26][46] x[26][47] x[26][48] x[26][49] x[26][50] x[26][51] x[26][52] x[26][53] x[26][54] x[26][55] x[26][56] x[26][57] x[26][58] x[26][59] x[26][60] x[26][61] x[26][62] x[26][63] x[26][64] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][45] x[27][46] x[27][47] x[27][48] x[27][49] x[27][50] x[27][51] x[27][52] x[27][53] x[27][54] x[27][55] x[27][56] x[27][57] x[27][58] x[27][59] x[27][60] x[27][61] x[27][62] x[27][63] x[27][64] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][45] x[28][46] x[28][47] x[28][48] x[28][49] x[28][50] x[28][51] x[28][52] x[28][53] x[28][54] x[28][55] x[28][56] x[28][57] x[28][58] x[28][59] x[28][60] x[28][61] x[28][62] x[28][63] x[28][64] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][45] x[29][46] x[29][47] x[29][48] x[29][49] x[29][50] x[29][51] x[29][52] x[29][53] x[29][54] x[29][55] x[29][56] x[29][57] x[29][58] x[29][59] x[29][60] x[29][61] x[29][62] x[29][63] x[29][64] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][45] x[30][46] x[30][47] x[30][48] x[30][49] x[30][50] x[30][51] x[30][52] x[30][53] x[30][54] x[30][55] x[30][56] x[30][57] x[30][58] x[30][59] x[30][60] x[30][61] x[30][62] x[30][63] x[30][64] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][45] x[31][46] x[31][47] x[31][48] x[31][49] x[31][50] x[31][51] x[31][52] x[31][53] x[31][54] x[31][55] x[31][56] x[31][57] x[31][58] x[31][59] x[31][60] x[31][61] x[31][62] x[31][63] x[31][64] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][45] x[32][46] x[32][47] x[32][48] x[32][49] x[32][50] x[32][51] x[32][52] x[32][53] x[32][54] x[32][55] x[32][56] x[32][57] x[32][58] x[32][59] x[32][60] x[32][61] x[32][62] x[32][63] x[32][64] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][45] x[33][46] x[33][47] x[33][48] x[33][49] x[33][50] x[33][51] x[33][52] x[33][53] x[33][54] x[33][55] x[33][56] x[33][57] x[33][58] x[33][59] x[33][60] x[33][61] x[33][62] x[33][63] x[33][64] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][45] x[34][46] x[34][47] x[34][48] x[34][49] x[34][50] x[34][51] x[34][52] x[34][53] x[34][54] x[34][55] x[34][56] x[34][57] x[34][58] x[34][59] x[34][60] x[34][61] x[34][62] x[34][63] x[34][64] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][45] x[35][46] x[35][47] x[35][48] x[35][49] x[35][50] x[35][51] x[35][52] x[35][53] x[35][54] x[35][55] x[35][56] x[35][57] x[35][58] x[35][59] x[35][60] x[35][61] x[35][62] x[35][63] x[35][64] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][45] x[36][46] x[36][47] x[36][48] x[36][49] x[36][50] x[36][51] x[36][52] x[36][53] x[36][54] x[36][55] x[36][56] x[36][57] x[36][58] x[36][59] x[36][60] x[36][61] x[36][62] x[36][63] x[36][64] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[37][46] x[37][47] x[37][48] x[37][49] x[37][50] x[37][51] x[37][52] x[37][53] x[37][54] x[37][55] x[37][56] x[37][57] x[37][58] x[37][59] x[37][60] x[37][61] x[37][62] x[37][63] x[37][64] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[38][46] x[38][47] x[38][48] x[38][49] x[38][50] x[38][51] x[38][52] x[38][53] x[38][54] x[38][55] x[38][56] x[38][57] x[38][58] x[38][59] x[38][60] x[38][61] x[38][62] x[38][63] x[38][64] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[39][46] x[39][47] x[39][48] x[39][49] x[39][50] x[39][51] x[39][52] x[39][53] x[39][54] x[39][55] x[39][56] x[39][57] x[39][58] x[39][59] x[39][60] x[39][61] x[39][62] x[39][63] x[39][64] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[40][46] x[40][47] x[40][48] x[40][49] x[40][50] x[40][51] x[40][52] x[40][53] x[40][54] x[40][55] x[40][56] x[40][57] x[40][58] x[40][59] x[40][60] x[40][61] x[40][62] x[40][63] x[40][64] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[41][45] x[41][46] x[41][47] x[41][48] x[41][49] x[41][50] x[41][51] x[41][52] x[41][53] x[41][54] x[41][55] x[41][56] x[41][57] x[41][58] x[41][59] x[41][60] x[41][61] x[41][62] x[41][63] x[41][64] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[42][45] x[42][46] x[42][47] x[42][48] x[42][49] x[42][50] x[42][51] x[42][52] x[42][53] x[42][54] x[42][55] x[42][56] x[42][57] x[42][58] x[42][59] x[42][60] x[42][61] x[42][62] x[42][63] x[42][64] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[43][45] x[43][46] x[43][47] x[43][48] x[43][49] x[43][50] x[43][51] x[43][52] x[43][53] x[43][54] x[43][55] x[43][56] x[43][57] x[43][58] x[43][59] x[43][60] x[43][61] x[43][62] x[43][63] x[43][64] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] x[44][45] x[44][46] x[44][47] x[44][48] x[44][49] x[44][50] x[44][51] x[44][52] x[44][53] x[44][54] x[44][55] x[44][56] x[44][57] x[44][58] x[44][59] x[44][60] x[44][61] x[44][62] x[44][63] x[44][64] x[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] x[45][35] x[45][36] x[45][37] x[45][38] x[45][39] x[45][40] x[45][41] x[45][42] x[45][43] x[45][44] x[45][45] x[45][46] x[45][47] x[45][48] x[45][49] x[45][50] x[45][51] x[45][52] x[45][53] x[45][54] x[45][55] x[45][56] x[45][57] x[45][58] x[45][59] x[45][60] x[45][61] x[45][62] x[45][63] x[45][64] x[46][0] x[46][1] x[46][2] x[46][3] x[46][4] x[46][5] x[46][6] x[46][7] x[46][8] x[46][9] x[46][10] x[46][11] x[46][12] x[46][13] x[46][14] x[46][15] x[46][16] x[46][17] x[46][18] x[46][19] x[46][20] x[46][21] x[46][22] x[46][23] x[46][24] x[46][25] x[46][26] x[46][27] x[46][28] x[46][29] x[46][30] x[46][31] x[46][32] x[46][33] x[46][34] x[46][35] x[46][36] x[46][37] x[46][38] x[46][39] x[46][40] x[46][41] x[46][42] x[46][43] x[46][44] x[46][45] x[46][46] x[46][47] x[46][48] x[46][49] x[46][50] x[46][51] x[46][52] x[46][53] x[46][54] x[46][55] x[46][56] x[46][57] x[46][58] x[46][59] x[46][60] x[46][61] x[46][62] x[46][63] x[46][64] x[47][0] x[47][1] x[47][2] x[47][3] x[47][4] x[47][5] x[47][6] x[47][7] x[47][8] x[47][9] x[47][10] x[47][11] x[47][12] x[47][13] x[47][14] x[47][15] x[47][16] x[47][17] x[47][18] x[47][19] x[47][20] x[47][21] x[47][22] x[47][23] x[47][24] x[47][25] x[47][26] x[47][27] x[47][28] x[47][29] x[47][30] x[47][31] x[47][32] x[47][33] x[47][34] x[47][35] x[47][36] x[47][37] x[47][38] x[47][39] x[47][40] x[47][41] x[47][42] x[47][43] x[47][44] x[47][45] x[47][46] x[47][47] x[47][48] x[47][49] x[47][50] x[47][51] x[47][52] x[47][53] x[47][54] x[47][55] x[47][56] x[47][57] x[47][58] x[47][59] x[47][60] x[47][61] x[47][62] x[47][63] x[47][64] x[48][0] x[48][1] x[48][2] x[48][3] x[48][4] x[48][5] x[48][6] x[48][7] x[48][8] x[48][9] x[48][10] x[48][11] x[48][12] x[48][13] x[48][14] x[48][15] x[48][16] x[48][17] x[48][18] x[48][19] x[48][20] x[48][21] x[48][22] x[48][23] x[48][24] x[48][25] x[48][26] x[48][27] x[48][28] x[48][29] x[48][30] x[48][31] x[48][32] x[48][33] x[48][34] x[48][35] x[48][36] x[48][37] x[48][38] x[48][39] x[48][40] x[48][41] x[48][42] x[48][43] x[48][44] x[48][45] x[48][46] x[48][47] x[48][48] x[48][49] x[48][50] x[48][51] x[48][52] x[48][53] x[48][54] x[48][55] x[48][56] x[48][57] x[48][58] x[48][59] x[48][60] x[48][61] x[48][62] x[48][63] x[48][64] x[49][0] x[49][1] x[49][2] x[49][3] x[49][4] x[49][5] x[49][6] x[49][7] x[49][8] x[49][9] x[49][10] x[49][11] x[49][12] x[49][13] x[49][14] x[49][15] x[49][16] x[49][17] x[49][18] x[49][19] x[49][20] x[49][21] x[49][22] x[49][23] x[49][24] x[49][25] x[49][26] x[49][27] x[49][28] x[49][29] x[49][30] x[49][31] x[49][32] x[49][33] x[49][34] x[49][35] x[49][36] x[49][37] x[49][38] x[49][39] x[49][40] x[49][41] x[49][42] x[49][43] x[49][44] x[49][45] x[49][46] x[49][47] x[49][48] x[49][49] x[49][50] x[49][51] x[49][52] x[49][53] x[49][54] x[49][55] x[49][56] x[49][57] x[49][58] x[49][59] x[49][60] x[49][61] x[49][62] x[49][63] x[49][64] x[50][0] x[50][1] x[50][2] x[50][3] x[50][4] x[50][5] x[50][6] x[50][7] x[50][8] x[50][9] x[50][10] x[50][11] x[50][12] x[50][13] x[50][14] x[50][15] x[50][16] x[50][17] x[50][18] x[50][19] x[50][20] x[50][21] x[50][22] x[50][23] x[50][24] x[50][25] x[50][26] x[50][27] x[50][28] x[50][29] x[50][30] x[50][31] x[50][32] x[50][33] x[50][34] x[50][35] x[50][36] x[50][37] x[50][38] x[50][39] x[50][40] x[50][41] x[50][42] x[50][43] x[50][44] x[50][45] x[50][46] x[50][47] x[50][48] x[50][49] x[50][50] x[50][51] x[50][52] x[50][53] x[50][54] x[50][55] x[50][56] x[50][57] x[50][58] x[50][59] x[50][60] x[50][61] x[50][62] x[50][63] x[50][64] x[51][0] x[51][1] x[51][2] x[51][3] x[51][4] x[51][5] x[51][6] x[51][7] x[51][8] x[51][9] x[51][10] x[51][11] x[51][12] x[51][13] x[51][14] x[51][15] x[51][16] x[51][17] x[51][18] x[51][19] x[51][20] x[51][21] x[51][22] x[51][23] x[51][24] x[51][25] x[51][26] x[51][27] x[51][28] x[51][29] x[51][30] x[51][31] x[51][32] x[51][33] x[51][34] x[51][35] x[51][36] x[51][37] x[51][38] x[51][39] x[51][40] x[51][41] x[51][42] x[51][43] x[51][44] x[51][45] x[51][46] x[51][47] x[51][48] x[51][49] x[51][50] x[51][51] x[51][52] x[51][53] x[51][54] x[51][55] x[51][56] x[51][57] x[51][58] x[51][59] x[51][60] x[51][61] x[51][62] x[51][63] x[51][64] x[52][0] x[52][1] x[52][2] x[52][3] x[52][4] x[52][5] x[52][6] x[52][7] x[52][8] x[52][9] x[52][10] x[52][11] x[52][12] x[52][13] x[52][14] x[52][15] x[52][16] x[52][17] x[52][18] x[52][19] x[52][20] x[52][21] x[52][22] x[52][23] x[52][24] x[52][25] x[52][26] x[52][27] x[52][28] x[52][29] x[52][30] x[52][31] x[52][32] x[52][33] x[52][34] x[52][35] x[52][36] x[52][37] x[52][38] x[52][39] x[52][40] x[52][41] x[52][42] x[52][43] x[52][44] x[52][45] x[52][46] x[52][47] x[52][48] x[52][49] x[52][50] x[52][51] x[52][52] x[52][53] x[52][54] x[52][55] x[52][56] x[52][57] x[52][58] x[52][59] x[52][60] x[52][61] x[52][62] x[52][63] x[52][64] x[53][0] x[53][1] x[53][2] x[53][3] x[53][4] x[53][5] x[53][6] x[53][7] x[53][8] x[53][9] x[53][10] x[53][11] x[53][12] x[53][13] x[53][14] x[53][15] x[53][16] x[53][17] x[53][18] x[53][19] x[53][20] x[53][21] x[53][22] x[53][23] x[53][24] x[53][25] x[53][26] x[53][27] x[53][28] x[53][29] x[53][30] x[53][31] x[53][32] x[53][33] x[53][34] x[53][35] x[53][36] x[53][37] x[53][38] x[53][39] x[53][40] x[53][41] x[53][42] x[53][43] x[53][44] x[53][45] x[53][46] x[53][47] x[53][48] x[53][49] x[53][50] x[53][51] x[53][52] x[53][53] x[53][54] x[53][55] x[53][56] x[53][57] x[53][58] x[53][59] x[53][60] x[53][61] x[53][62] x[53][63] x[53][64] x[54][0] x[54][1] x[54][2] x[54][3] x[54][4] x[54][5] x[54][6] x[54][7] x[54][8] x[54][9] x[54][10] x[54][11] x[54][12] x[54][13] x[54][14] x[54][15] x[54][16] x[54][17] x[54][18] x[54][19] x[54][20] x[54][21] x[54][22] x[54][23] x[54][24] x[54][25] x[54][26] x[54][27] x[54][28] x[54][29] x[54][30] x[54][31] x[54][32] x[54][33] x[54][34] x[54][35] x[54][36] x[54][37] x[54][38] x[54][39] x[54][40] x[54][41] x[54][42] x[54][43] x[54][44] x[54][45] x[54][46] x[54][47] x[54][48] x[54][49] x[54][50] x[54][51] x[54][52] x[54][53] x[54][54] x[54][55] x[54][56] x[54][57] x[54][58] x[54][59] x[54][60] x[54][61] x[54][62] x[54][63] x[54][64] x[55][0] x[55][1] x[55][2] x[55][3] x[55][4] x[55][5] x[55][6] x[55][7] x[55][8] x[55][9] x[55][10] x[55][11] x[55][12] x[55][13] x[55][14] x[55][15] x[55][16] x[55][17] x[55][18] x[55][19] x[55][20] x[55][21] x[55][22] x[55][23] x[55][24] x[55][25] x[55][26] x[55][27] x[55][28] x[55][29] x[55][30] x[55][31] x[55][32] x[55][33] x[55][34] x[55][35] x[55][36] x[55][37] x[55][38] x[55][39] x[55][40] x[55][41] x[55][42] x[55][43] x[55][44] x[55][45] x[55][46] x[55][47] x[55][48] x[55][49] x[55][50] x[55][51] x[55][52] x[55][53] x[55][54] x[55][55] x[55][56] x[55][57] x[55][58] x[55][59] x[55][60] x[55][61] x[55][62] x[55][63] x[55][64] x[56][0] x[56][1] x[56][2] x[56][3] x[56][4] x[56][5] x[56][6] x[56][7] x[56][8] x[56][9] x[56][10] x[56][11] x[56][12] x[56][13] x[56][14] x[56][15] x[56][16] x[56][17] x[56][18] x[56][19] x[56][20] x[56][21] x[56][22] x[56][23] x[56][24] x[56][25] x[56][26] x[56][27] x[56][28] x[56][29] x[56][30] x[56][31] x[56][32] x[56][33] x[56][34] x[56][35] x[56][36] x[56][37] x[56][38] x[56][39] x[56][40] x[56][41] x[56][42] x[56][43] x[56][44] x[56][45] x[56][46] x[56][47] x[56][48] x[56][49] x[56][50] x[56][51] x[56][52] x[56][53] x[56][54] x[56][55] x[56][56] x[56][57] x[56][58] x[56][59] x[56][60] x[56][61] x[56][62] x[56][63] x[56][64] x[57][0] x[57][1] x[57][2] x[57][3] x[57][4] x[57][5] x[57][6] x[57][7] x[57][8] x[57][9] x[57][10] x[57][11] x[57][12] x[57][13] x[57][14] x[57][15] x[57][16] x[57][17] x[57][18] x[57][19] x[57][20] x[57][21] x[57][22] x[57][23] x[57][24] x[57][25] x[57][26] x[57][27] x[57][28] x[57][29] x[57][30] x[57][31] x[57][32] x[57][33] x[57][34] x[57][35] x[57][36] x[57][37] x[57][38] x[57][39] x[57][40] x[57][41] x[57][42] x[57][43] x[57][44] x[57][45] x[57][46] x[57][47] x[57][48] x[57][49] x[57][50] x[57][51] x[57][52] x[57][53] x[57][54] x[57][55] x[57][56] x[57][57] x[57][58] x[57][59] x[57][60] x[57][61] x[57][62] x[57][63] x[57][64] x[58][0] x[58][1] x[58][2] x[58][3] x[58][4] x[58][5] x[58][6] x[58][7] x[58][8] x[58][9] x[58][10] x[58][11] x[58][12] x[58][13] x[58][14] x[58][15] x[58][16] x[58][17] x[58][18] x[58][19] x[58][20] x[58][21] x[58][22] x[58][23] x[58][24] x[58][25] x[58][26] x[58][27] x[58][28] x[58][29] x[58][30] x[58][31] x[58][32] x[58][33] x[58][34] x[58][35] x[58][36] x[58][37] x[58][38] x[58][39] x[58][40] x[58][41] x[58][42] x[58][43] x[58][44] x[58][45] x[58][46] x[58][47] x[58][48] x[58][49] x[58][50] x[58][51] x[58][52] x[58][53] x[58][54] x[58][55] x[58][56] x[58][57] x[58][58] x[58][59] x[58][60] x[58][61] x[58][62] x[58][63] x[58][64] x[59][0] x[59][1] x[59][2] x[59][3] x[59][4] x[59][5] x[59][6] x[59][7] x[59][8] x[59][9] x[59][10] x[59][11] x[59][12] x[59][13] x[59][14] x[59][15] x[59][16] x[59][17] x[59][18] x[59][19] x[59][20] x[59][21] x[59][22] x[59][23] x[59][24] x[59][25] x[59][26] x[59][27] x[59][28] x[59][29] x[59][30] x[59][31] x[59][32] x[59][33] x[59][34] x[59][35] x[59][36] x[59][37] x[59][38] x[59][39] x[59][40] x[59][41] x[59][42] x[59][43] x[59][44] x[59][45] x[59][46] x[59][47] x[59][48] x[59][49] x[59][50] x[59][51] x[59][52] x[59][53] x[59][54] x[59][55] x[59][56] x[59][57] x[59][58] x[59][59] x[59][60] x[59][61] x[59][62] x[59][63] x[59][64] x[60][0] x[60][1] x[60][2] x[60][3] x[60][4] x[60][5] x[60][6] x[60][7] x[60][8] x[60][9] x[60][10] x[60][11] x[60][12] x[60][13] x[60][14] x[60][15] x[60][16] x[60][17] x[60][18] x[60][19] x[60][20] x[60][21] x[60][22] x[60][23] x[60][24] x[60][25] x[60][26] x[60][27] x[60][28] x[60][29] x[60][30] x[60][31] x[60][32] x[60][33] x[60][34] x[60][35] x[60][36] x[60][37] x[60][38] x[60][39] x[60][40] x[60][41] x[60][42] x[60][43] x[60][44] x[60][45] x[60][46] x[60][47] x[60][48] x[60][49] x[60][50] x[60][51] x[60][52] x[60][53] x[60][54] x[60][55] x[60][56] x[60][57] x[60][58] x[60][59] x[60][60] x[60][61] x[60][62] x[60][63] x[60][64] x[61][0] x[61][1] x[61][2] x[61][3] x[61][4] x[61][5] x[61][6] x[61][7] x[61][8] x[61][9] x[61][10] x[61][11] x[61][12] x[61][13] x[61][14] x[61][15] x[61][16] x[61][17] x[61][18] x[61][19] x[61][20] x[61][21] x[61][22] x[61][23] x[61][24] x[61][25] x[61][26] x[61][27] x[61][28] x[61][29] x[61][30] x[61][31] x[61][32] x[61][33] x[61][34] x[61][35] x[61][36] x[61][37] x[61][38] x[61][39] x[61][40] x[61][41] x[61][42] x[61][43] x[61][44] x[61][45] x[61][46] x[61][47] x[61][48] x[61][49] x[61][50] x[61][51] x[61][52] x[61][53] x[61][54] x[61][55] x[61][56] x[61][57] x[61][58] x[61][59] x[61][60] x[61][61] x[61][62] x[61][63] x[61][64] x[62][0] x[62][1] x[62][2] x[62][3] x[62][4] x[62][5] x[62][6] x[62][7] x[62][8] x[62][9] x[62][10] x[62][11] x[62][12] x[62][13] x[62][14] x[62][15] x[62][16] x[62][17] x[62][18] x[62][19] x[62][20] x[62][21] x[62][22] x[62][23] x[62][24] x[62][25] x[62][26] x[62][27] x[62][28] x[62][29] x[62][30] x[62][31] x[62][32] x[62][33] x[62][34] x[62][35] x[62][36] x[62][37] x[62][38] x[62][39] x[62][40] x[62][41] x[62][42] x[62][43] x[62][44] x[62][45] x[62][46] x[62][47] x[62][48] x[62][49] x[62][50] x[62][51] x[62][52] x[62][53] x[62][54] x[62][55] x[62][56] x[62][57] x[62][58] x[62][59] x[62][60] x[62][61] x[62][62] x[62][63] x[62][64] x[63][0] x[63][1] x[63][2] x[63][3] x[63][4] x[63][5] x[63][6] x[63][7] x[63][8] x[63][9] x[63][10] x[63][11] x[63][12] x[63][13] x[63][14] x[63][15] x[63][16] x[63][17] x[63][18] x[63][19] x[63][20] x[63][21] x[63][22] x[63][23] x[63][24] x[63][25] x[63][26] x[63][27] x[63][28] x[63][29] x[63][30] x[63][31] x[63][32] x[63][33] x[63][34] x[63][35] x[63][36] x[63][37] x[63][38] x[63][39] x[63][40] x[63][41] x[63][42] x[63][43] x[63][44] x[63][45] x[63][46] x[63][47] x[63][48] x[63][49] x[63][50] x[63][51] x[63][52] x[63][53] x[63][54] x[63][55] x[63][56] x[63][57] x[63][58] x[63][59] x[63][60] x[63][61] x[63][62] x[63][63] x[63][64] x[64][0] x[64][1] x[64][2] x[64][3] x[64][4] x[64][5] x[64][6] x[64][7] x[64][8] x[64][9] x[64][10] x[64][11] x[64][12] x[64][13] x[64][14] x[64][15] x[64][16] x[64][17] x[64][18] x[64][19] x[64][20] x[64][21] x[64][22] x[64][23] x[64][24] x[64][25] x[64][26] x[64][27] x[64][28] x[64][29] x[64][30] x[64][31] x[64][32] x[64][33] x[64][34] x[64][35] x[64][36] x[64][37] x[64][38] x[64][39] x[64][40] x[64][41] x[64][42] x[64][43] x[64][44] x[64][45] x[64][46] x[64][47] x[64][48] x[64][49] x[64][50] x[64][51] x[64][52] x[64][53] x[64][54] x[64][55] x[64][56] x[64][57] x[64][58] x[64][59] x[64][60] x[64][61] x[64][62] x[64][63] x[64][64] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] u[34] u[35] u[36] u[37] u[38] u[39] u[40] u[41] u[42] u[43] u[44] u[45] u[46] u[47] u[48] u[49] u[50] u[51] u[52] u[53] u[54] u[55] u[56] u[57] u[58] u[59] u[60] u[61] u[62] u[63] u[64] </list>
243.55/240.01	v 	<values>0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 18 26 11 88 21 115 96 56 125 37 58 81 40 82 106 47 20 65 121 80 77 119 59 113 130 96 61 58 62 104 58 78 53 107 50 49 14 44 16 33 98 79 18 116 83 27 98 36 52 99 68 114 40 130 28 26 28 21 51 49 95 44 29 86 </values>
243.55/240.01	v </instantiation>
243.55/240.01	c Unexpected resolution interruption!

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270364-1502621548/watcher-4270364-1502621548 -o /tmp/evaluation-result-4270364-1502621548/solver-4270364-1502621548 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502615132-20541 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1716044432 HOME/instance-4270364-1502621548.xml 

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

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


[startup+0.100198 s]*
/proc/loadavg: 2.12 1.94 1.84 3/202 25017
/proc/meminfo: memFree=30944856/32770624 swapFree=67108860/67108860
[pid=25010] ppid=25007 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25010/stat : 25010 (xcsp3-exec) S 25007 25010 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64375467 9740288 345 18446744073709551615 4194304 5098028 140731310882656 140731310880760 140098359624316 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 22241280 140731310891390 140731310891594 140731310891594 140731310895083 0
/proc/25010/statm: 2378 345 289 221 0 87 0
[pid=25012] ppid=25010 vsize=13574484 memory=16408 CPUtime=0.01 cores=0,2,4,6
/proc/25012/stat : 25012 (java) S 25010 25010 897 0 -1 1077944320 3939 0 0 0 1 0 0 0 20 0 9 0 64375475 13900271616 4102 18446744073709551615 4194304 4196468 140721802043024 140721802025568 139649225883383 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
/proc/25012/statm: 3393621 4102 2064 1 0 3383118 0
[pid=25012/tid=25013] ppid=25010 vsize=13574484 memory=7311146985107750967 CPUtime=0.01 cores=0,2,4,6
/proc/25012/task/25013/stat : 25013 (java) R 25010 25010 897 0 -1 4202560 2648 0 0 0 1 0 0 0 20 0 9 0 64375475 13900271616 4102 18446744073709551615 4194304 4196468 140721802043024 139649230119368 139649207532331 0 4 1 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25014] ppid=25010 vsize=13574484 memory=12619 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25014/stat : 25014 (java) S 25010 25010 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 64375476 13900271616 4102 18446744073709551615 4194304 4196468 140721802043024 139649186781840 139649225893589 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25015] ppid=25010 vsize=13574484 memory=288370902293722752 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25015/stat : 25015 (java) S 25010 25010 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 64375476 13900271616 4102 18446744073709551615 4194304 4196468 140721802043024 139649185729040 139649225893589 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25016] ppid=25010 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25016/stat : 25016 (java) S 25010 25010 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 64375476 13900271616 4102 18446744073709551615 4194304 4196468 140721802043024 139648823650704 139649225893589 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25017] ppid=25010 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25017/stat : 25017 (java) S 25010 25010 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 64375476 13900271616 4102 18446744073709551615 4194304 4196468 140721802043024 139648822597904 139649225893589 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25018] ppid=25010 vsize=13574484 memory=140526142011008 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25018/stat : 25018 (java) S 25010 25010 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 64375477 13900271616 4102 18446744073709551615 4194304 4196468 140721802043024 139648209730416 139649225894530 0 0 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25019] ppid=25010 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25019/stat : 25019 (java) S 25010 25010 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 64375478 13900271616 4102 18446744073709551615 4194304 4196468 140721802043024 139648208676384 139649225893589 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25020] ppid=25010 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25020/stat : 25020 (java) S 25010 25010 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 64375478 13900271616 4102 18446744073709551615 4194304 4196468 140721802043024 139648207623600 139649225893589 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 17788 KiB

[startup+0.20998 s]*
/proc/loadavg: 2.12 1.94 1.84 2/210 25025
/proc/meminfo: memFree=30940556/32770624 swapFree=67108860/67108860
[pid=25010] ppid=25007 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25010/stat : 25010 (xcsp3-exec) S 25007 25010 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64375467 9740288 345 18446744073709551615 4194304 5098028 140731310882656 140731310880760 140098359624316 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 22241280 140731310891390 140731310891594 140731310891594 140731310895083 0
/proc/25010/statm: 2378 345 289 221 0 87 0
[pid=25012] ppid=25010 vsize=13907304 memory=21760 CPUtime=0.05 cores=0,2,4,6
/proc/25012/stat : 25012 (java) S 25010 25010 897 0 -1 1077944320 4881 0 0 0 4 1 0 0 20 0 14 0 64375475 14241079296 5440 18446744073709551615 4194304 4196468 140721802043024 140721802025568 139649225883383 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
/proc/25012/statm: 3476826 5440 2560 1 0 3466323 0
[pid=25012/tid=25013] ppid=25010 vsize=13907304 memory=7311146985107750967 CPUtime=0.05 cores=0,2,4,6
/proc/25012/task/25013/stat : 25013 (java) D 25010 25010 897 0 -1 4202560 3063 0 0 0 4 1 0 0 20 0 14 0 64375475 14241079296 5440 18446744073709551615 4194304 4196468 140721802043024 139649230120864 139649225905405 0 4 1 16800974 18446744071580418449 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25014] ppid=25010 vsize=13907304 memory=12619 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25014/stat : 25014 (java) S 25010 25010 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 64375476 14241079296 5440 18446744073709551615 4194304 4196468 140721802043024 139649186781840 139649225893589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25015] ppid=25010 vsize=13907304 memory=288370902293722752 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25015/stat : 25015 (java) S 25010 25010 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 64375476 14241079296 5440 18446744073709551615 4194304 4196468 140721802043024 139649185729040 139649225893589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25016] ppid=25010 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25016/stat : 25016 (java) S 25010 25010 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 64375476 14241079296 5440 18446744073709551615 4194304 4196468 140721802043024 139648823650704 139649225893589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25017] ppid=25010 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25017/stat : 25017 (java) S 25010 25010 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 64375476 14241079296 5440 18446744073709551615 4194304 4196468 140721802043024 139648822597904 139649225893589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25018] ppid=25010 vsize=13907304 memory=140526142011008 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25018/stat : 25018 (java) S 25010 25010 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 64375477 14241079296 5440 18446744073709551615 4194304 4196468 140721802043024 139648209730416 139649225894530 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25019] ppid=25010 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25019/stat : 25019 (java) S 25010 25010 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 64375478 14241079296 5440 18446744073709551615 4194304 4196468 140721802043024 139648208676384 139649225893589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25020] ppid=25010 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25020/stat : 25020 (java) S 25010 25010 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 64375478 14241079296 5440 18446744073709551615 4194304 4196468 140721802043024 139648207623536 139649225893589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25021] ppid=25010 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25021/stat : 25021 (java) S 25010 25010 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 64375480 14241079296 5440 18446744073709551615 4194304 4196468 140721802043024 139648206571856 139649225901979 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25022] ppid=25010 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25022/stat : 25022 (java) S 25010 25010 897 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 14 0 64375480 14241079296 5440 18446744073709551615 4194304 4196468 140721802043024 139648205519216 139649225894530 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25023] ppid=25010 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25023/stat : 25023 (java) S 25010 25010 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 64375480 14241079296 5440 18446744073709551615 4194304 4196468 140721802043024 139648204466416 139649225894530 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25024] ppid=25010 vsize=13907304 memory=140526142011008 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25024/stat : 25024 (java) S 25010 25010 897 0 -1 1077944384 214 0 0 0 0 0 0 0 20 0 14 0 64375480 14241079296 5440 18446744073709551615 4194304 4196468 140721802043024 139648203413616 139649225894530 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25025] ppid=25010 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25025/stat : 25025 (java) S 25010 25010 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 64375481 14241079296 5440 18446744073709551615 4194304 4196468 140721802043024 139648202361056 139649225893589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 23140 KiB

[startup+0.310018 s]*
/proc/loadavg: 2.12 1.94 1.84 4/210 25025
/proc/meminfo: memFree=30940556/32770624 swapFree=67108860/67108860
[pid=25010] ppid=25007 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25010/stat : 25010 (xcsp3-exec) S 25007 25010 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64375467 9740288 345 18446744073709551615 4194304 5098028 140731310882656 140731310880760 140098359624316 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 22241280 140731310891390 140731310891594 140731310891594 140731310895083 0
/proc/25010/statm: 2378 345 289 221 0 87 0
[pid=25012] ppid=25010 vsize=13907304 memory=21760 CPUtime=0.05 cores=0,2,4,6
/proc/25012/stat : 25012 (java) S 25010 25010 897 0 -1 1077944320 4881 0 0 0 4 1 0 0 20 0 14 0 64375475 14241079296 5440 18446744073709551615 4194304 4196468 140721802043024 140721802025568 139649225883383 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
/proc/25012/statm: 3476826 5440 2560 1 0 3466323 0
[pid=25012/tid=25013] ppid=25010 vsize=13907304 memory=-8774313645642428999 CPUtime=0.05 cores=0,2,4,6
/proc/25012/task/25013/stat : 25013 (java) D 25010 25010 897 0 -1 4202560 3063 0 0 0 4 1 0 0 20 0 14 0 64375475 14241079296 5440 18446744073709551615 4194304 4196468 140721802043024 139649230120864 139649225905405 0 4 1 16800974 18446744071580418449 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25014] ppid=25010 vsize=13907304 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25014/stat : 25014 (java) S 25010 25010 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 64375476 14241079296 5440 18446744073709551615 4194304 4196468 140721802043024 139649186781840 139649225893589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25015] ppid=25010 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25015/stat : 25015 (java) S 25010 25010 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 64375476 14241079296 5440 18446744073709551615 4194304 4196468 140721802043024 139649185729040 139649225893589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25016] ppid=25010 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25016/stat : 25016 (java) S 25010 25010 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 64375476 14241079296 5440 18446744073709551615 4194304 4196468 140721802043024 139648823650704 139649225893589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25017] ppid=25010 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25017/stat : 25017 (java) S 25010 25010 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 64375476 14241079296 5440 18446744073709551615 4194304 4196468 140721802043024 139648822597904 139649225893589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25018] ppid=25010 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25018/stat : 25018 (java) S 25010 25010 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 64375477 14241079296 5440 18446744073709551615 4194304 4196468 140721802043024 139648209730416 139649225894530 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25019] ppid=25010 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25019/stat : 25019 (java) S 25010 25010 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 64375478 14241079296 5440 18446744073709551615 4194304 4196468 140721802043024 139648208676384 139649225893589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25020] ppid=25010 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25020/stat : 25020 (java) S 25010 25010 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 64375478 14241079296 5440 18446744073709551615 4194304 4196468 140721802043024 139648207623536 139649225893589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25021] ppid=25010 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25021/stat : 25021 (java) S 25010 25010 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 64375480 14241079296 5440 18446744073709551615 4194304 4196468 140721802043024 139648206571856 139649225901979 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25022] ppid=25010 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25022/stat : 25022 (java) S 25010 25010 897 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 14 0 64375480 14241079296 5440 18446744073709551615 4194304 4196468 140721802043024 139648205519216 139649225894530 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25023] ppid=25010 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25023/stat : 25023 (java) S 25010 25010 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 64375480 14241079296 5440 18446744073709551615 4194304 4196468 140721802043024 139648204466416 139649225894530 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25024] ppid=25010 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25024/stat : 25024 (java) S 25010 25010 897 0 -1 1077944384 214 0 0 0 0 0 0 0 20 0 14 0 64375480 14241079296 5440 18446744073709551615 4194304 4196468 140721802043024 139648203413616 139649225894530 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25025] ppid=25010 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25025/stat : 25025 (java) S 25010 25010 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 64375481 14241079296 5440 18446744073709551615 4194304 4196468 140721802043024 139648202361056 139649225893589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 23140 KiB

[startup+0.700749 s]
/proc/loadavg: 2.12 1.94 1.84 2/210 25025
/proc/meminfo: memFree=30940556/32770624 swapFree=67108860/67108860
[pid=25010] ppid=25007 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25010/stat : 25010 (xcsp3-exec) S 25007 25010 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64375467 9740288 345 18446744073709551615 4194304 5098028 140731310882656 140731310880760 140098359624316 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 22241280 140731310891390 140731310891594 140731310891594 140731310895083 0
/proc/25010/statm: 2378 345 289 221 0 87 0
[pid=25012] ppid=25010 vsize=13907304 memory=21760 CPUtime=0.05 cores=0,2,4,6
/proc/25012/stat : 25012 (java) S 25010 25010 897 0 -1 1077944320 4881 0 0 0 4 1 0 0 20 0 14 0 64375475 14241079296 5440 18446744073709551615 4194304 4196468 140721802043024 140721802025568 139649225883383 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
/proc/25012/statm: 3476826 5440 2560 1 0 3466323 0
[pid=25012/tid=25013] ppid=25010 vsize=13907304 memory=140526028369377 CPUtime=0.05 cores=0,2,4,6
/proc/25012/task/25013/stat : 25013 (java) D 25010 25010 897 0 -1 4202560 3063 0 0 0 4 1 0 0 20 0 14 0 64375475 14241079296 5440 18446744073709551615 4194304 4196468 140721802043024 139649230120864 139649225905405 0 4 1 16800974 18446744071580418449 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25014] ppid=25010 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25014/stat : 25014 (java) S 25010 25010 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 64375476 14241079296 5440 18446744073709551615 4194304 4196468 140721802043024 139649186781840 139649225893589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25015] ppid=25010 vsize=13907304 memory=8514726395714825349 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25015/stat : 25015 (java) S 25010 25010 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 64375476 14241079296 5440 18446744073709551615 4194304 4196468 140721802043024 139649185729040 139649225893589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25016] ppid=25010 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25016/stat : 25016 (java) S 25010 25010 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 64375476 14241079296 5440 18446744073709551615 4194304 4196468 140721802043024 139648823650704 139649225893589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25017] ppid=25010 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25017/stat : 25017 (java) S 25010 25010 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 64375476 14241079296 5440 18446744073709551615 4194304 4196468 140721802043024 139648822597904 139649225893589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25018] ppid=25010 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25018/stat : 25018 (java) S 25010 25010 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 64375477 14241079296 5440 18446744073709551615 4194304 4196468 140721802043024 139648209730416 139649225894530 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25019] ppid=25010 vsize=13907304 memory=10164 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25019/stat : 25019 (java) S 25010 25010 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 64375478 14241079296 5440 18446744073709551615 4194304 4196468 140721802043024 139648208676384 139649225893589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25020] ppid=25010 vsize=13907304 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25020/stat : 25020 (java) S 25010 25010 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 64375478 14241079296 5440 18446744073709551615 4194304 4196468 140721802043024 139648207623536 139649225893589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25021] ppid=25010 vsize=13907304 memory=2000 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25021/stat : 25021 (java) S 25010 25010 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 64375480 14241079296 5440 18446744073709551615 4194304 4196468 140721802043024 139648206571856 139649225901979 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25022] ppid=25010 vsize=13907304 memory=10976 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25022/stat : 25022 (java) S 25010 25010 897 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 14 0 64375480 14241079296 5440 18446744073709551615 4194304 4196468 140721802043024 139648205519216 139649225894530 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25023] ppid=25010 vsize=13907304 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25023/stat : 25023 (java) S 25010 25010 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 64375480 14241079296 5440 18446744073709551615 4194304 4196468 140721802043024 139648204466416 139649225894530 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25024] ppid=25010 vsize=13907304 memory=15880 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25024/stat : 25024 (java) S 25010 25010 897 0 -1 1077944384 214 0 0 0 0 0 0 0 20 0 14 0 64375480 14241079296 5440 18446744073709551615 4194304 4196468 140721802043024 139648203413616 139649225894530 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25025] ppid=25010 vsize=13907304 memory=20284 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25025/stat : 25025 (java) S 25010 25010 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 64375481 14241079296 5440 18446744073709551615 4194304 4196468 140721802043024 139648202361056 139649225893589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 23140 KiB

[startup+1.50069 s]
/proc/loadavg: 2.12 1.94 1.84 3/210 25025
/proc/meminfo: memFree=30939692/32770624 swapFree=67108860/67108860
[pid=25010] ppid=25007 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25010/stat : 25010 (xcsp3-exec) S 25007 25010 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64375467 9740288 345 18446744073709551615 4194304 5098028 140731310882656 140731310880760 140098359624316 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 22241280 140731310891390 140731310891594 140731310891594 140731310895083 0
/proc/25010/statm: 2378 345 289 221 0 87 0
[pid=25012] ppid=25010 vsize=13907304 memory=21760 CPUtime=0.05 cores=0,2,4,6
/proc/25012/stat : 25012 (java) S 25010 25010 897 0 -1 1077944320 4881 0 0 0 4 1 0 0 20 0 14 0 64375475 14241079296 5440 18446744073709551615 4194304 4196468 140721802043024 140721802025568 139649225883383 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
/proc/25012/statm: 3476826 5440 2560 1 0 3466323 0
[pid=25012/tid=25013] ppid=25010 vsize=13907304 memory=21760 CPUtime=0.05 cores=0,2,4,6
/proc/25012/task/25013/stat : 25013 (java) D 25010 25010 897 0 -1 4202560 3063 0 0 0 4 1 0 0 20 0 14 0 64375475 14241079296 5440 18446744073709551615 4194304 4196468 140721802043024 139649230120864 139649225905405 0 4 1 16800974 18446744071580418449 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25014] ppid=25010 vsize=13907304 memory=140526028369377 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25014/stat : 25014 (java) S 25010 25010 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 64375476 14241079296 5440 18446744073709551615 4194304 4196468 140721802043024 139649186781840 139649225893589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25015] ppid=25010 vsize=13907304 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25015/stat : 25015 (java) S 25010 25010 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 64375476 14241079296 5440 18446744073709551615 4194304 4196468 140721802043024 139649185729040 139649225893589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25016] ppid=25010 vsize=13907304 memory=-7605864313038357407 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25016/stat : 25016 (java) S 25010 25010 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 64375476 14241079296 5440 18446744073709551615 4194304 4196468 140721802043024 139648823650704 139649225893589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25017] ppid=25010 vsize=13907304 memory=8253607675275404091 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25017/stat : 25017 (java) S 25010 25010 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 64375476 14241079296 5440 18446744073709551615 4194304 4196468 140721802043024 139648822597904 139649225893589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25018] ppid=25010 vsize=13907304 memory=7896624936699265594 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25018/stat : 25018 (java) S 25010 25010 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 64375477 14241079296 5440 18446744073709551615 4194304 4196468 140721802043024 139648209730416 139649225894530 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25019] ppid=25010 vsize=13907304 memory=-7605864313038356125 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25019/stat : 25019 (java) S 25010 25010 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 64375478 14241079296 5440 18446744073709551615 4194304 4196468 140721802043024 139648208676384 139649225893589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25020] ppid=25010 vsize=13907304 memory=4116 CPUtime=0 cores=0,2,4,6

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

/proc/25012/task/25020/stat : 25020 (java) S 25010 25010 897 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 64375478 14316269568 86878 18446744073709551615 4194304 4196468 140721802043024 139648207623552 139649225893589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25021] ppid=25010 vsize=13980732 memory=3467831323802155018 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25021/stat : 25021 (java) S 25010 25010 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64375480 14316269568 86878 18446744073709551615 4194304 4196468 140721802043024 139648206571856 139649225901979 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25022] ppid=25010 vsize=13980732 memory=347512 CPUtime=2.06 cores=0,2,4,6
/proc/25012/task/25022/stat : 25022 (java) S 25010 25010 897 0 -1 1077944384 10534 0 0 0 205 1 0 0 20 0 15 0 64375480 14316269568 86878 18446744073709551615 4194304 4196468 140721802043024 139648205519216 139649225894530 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25023] ppid=25010 vsize=13980732 memory=1380 CPUtime=1.88 cores=0,2,4,6
/proc/25012/task/25023/stat : 25023 (java) S 25010 25010 897 0 -1 1077944384 9081 0 0 0 188 0 0 0 20 0 15 0 64375480 14316269568 86878 18446744073709551615 4194304 4196468 140721802043024 139648204466416 139649225894530 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25024] ppid=25010 vsize=13980732 memory=347512 CPUtime=0.64 cores=0,2,4,6
/proc/25012/task/25024/stat : 25024 (java) S 25010 25010 897 0 -1 1077944384 4422 0 0 0 63 1 0 0 20 0 15 0 64375480 14316269568 86878 18446744073709551615 4194304 4196468 140721802043024 139648203413616 139649225894530 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25025] ppid=25010 vsize=13980732 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25025/stat : 25025 (java) S 25010 25010 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64375481 14316269568 86878 18446744073709551615 4194304 4196468 140721802043024 139648202361056 139649225893589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25026] ppid=25010 vsize=13980732 memory=1012 CPUtime=0.03 cores=0,2,4,6
/proc/25012/task/25026/stat : 25026 (java) S 25010 25010 897 0 -1 1077944384 367 0 0 0 2 1 0 0 20 0 15 0 64375653 14316269568 86878 18446744073709551615 4194304 4196468 140721802043024 139648201309360 139649225894530 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
Current children cumulated CPU time: 105.26 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 348892 KiB

[startup+162.301 s]
/proc/loadavg: 1.98 1.94 1.86 3/214 25044
/proc/meminfo: memFree=30571940/32770624 swapFree=67108860/67108860
[pid=25010] ppid=25007 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25010/stat : 25010 (xcsp3-exec) S 25007 25010 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64375467 9740288 345 18446744073709551615 4194304 5098028 140731310882656 140731310880760 140098359624316 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 22241280 140731310891390 140731310891594 140731310891594 140731310895083 0
/proc/25010/statm: 2378 345 289 221 0 87 0
[pid=25012] ppid=25010 vsize=13980732 memory=359912 CPUtime=165.32 cores=0,2,4,6
/proc/25012/stat : 25012 (java) S 25010 25010 897 0 -1 1077944320 44456 0 0 0 16515 17 0 0 20 0 15 0 64375475 14316269568 89978 18446744073709551615 4194304 4196468 140721802043024 140721802025568 139649225883383 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
/proc/25012/statm: 3495183 89978 3241 1 0 3483476 0
[pid=25012/tid=25013] ppid=25010 vsize=13980732 memory=1380 CPUtime=160.43 cores=0,2,4,6
/proc/25012/task/25013/stat : 25013 (java) R 25010 25010 897 0 -1 4202560 13176 0 0 0 16036 7 0 0 20 0 15 0 64375475 14316269568 89978 18446744073709551615 4194304 4196468 140721802043024 139649230122800 139648872146016 0 4 1 16800974 0 0 0 -1 2 0 0 171 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25014] ppid=25010 vsize=13980732 memory=359912 CPUtime=0.04 cores=0,2,4,6
/proc/25012/task/25014/stat : 25014 (java) S 25010 25010 897 0 -1 1077944384 716 0 0 0 3 1 0 0 20 0 15 0 64375476 14316269568 89978 18446744073709551615 4194304 4196468 140721802043024 139649186781840 139649225893589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25015] ppid=25010 vsize=13980732 memory=1380 CPUtime=0.04 cores=0,2,4,6
/proc/25012/task/25015/stat : 25015 (java) S 25010 25010 897 0 -1 1077944384 1280 0 0 0 3 1 0 0 20 0 15 0 64375476 14316269568 89978 18446744073709551615 4194304 4196468 140721802043024 139649185729040 139649225893589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25016] ppid=25010 vsize=13980732 memory=359912 CPUtime=0.04 cores=0,2,4,6
/proc/25012/task/25016/stat : 25016 (java) S 25010 25010 897 0 -1 1077944384 762 0 0 0 3 1 0 0 20 0 15 0 64375476 14316269568 89978 18446744073709551615 4194304 4196468 140721802043024 139648823650704 139649225893589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25017] ppid=25010 vsize=13980732 memory=359912 CPUtime=0.04 cores=0,2,4,6
/proc/25012/task/25017/stat : 25017 (java) S 25010 25010 897 0 -1 1077944384 1137 0 0 0 3 1 0 0 20 0 15 0 64375476 14316269568 89978 18446744073709551615 4194304 4196468 140721802043024 139648822597904 139649225893589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25018] ppid=25010 vsize=13980732 memory=1380 CPUtime=0.01 cores=0,2,4,6
/proc/25012/task/25018/stat : 25018 (java) S 25010 25010 897 0 -1 1077944384 901 0 0 0 1 0 0 0 20 0 15 0 64375477 14316269568 89978 18446744073709551615 4194304 4196468 140721802043024 139648209730416 139649225894530 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25019] ppid=25010 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25019/stat : 25019 (java) S 25010 25010 897 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 64375478 14316269568 89978 18446744073709551615 4194304 4196468 140721802043024 139648208676448 139649225893589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25020] ppid=25010 vsize=13980732 memory=359912 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25020/stat : 25020 (java) S 25010 25010 897 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 64375478 14316269568 89978 18446744073709551615 4194304 4196468 140721802043024 139648207623552 139649225893589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25021] ppid=25010 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25021/stat : 25021 (java) S 25010 25010 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64375480 14316269568 89978 18446744073709551615 4194304 4196468 140721802043024 139648206571856 139649225901979 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25022] ppid=25010 vsize=13980732 memory=1380 CPUtime=2.06 cores=0,2,4,6
/proc/25012/task/25022/stat : 25022 (java) S 25010 25010 897 0 -1 1077944384 10537 0 0 0 205 1 0 0 20 0 15 0 64375480 14316269568 89978 18446744073709551615 4194304 4196468 140721802043024 139648205519216 139649225894530 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25023] ppid=25010 vsize=13980732 memory=359912 CPUtime=1.88 cores=0,2,4,6
/proc/25012/task/25023/stat : 25023 (java) S 25010 25010 897 0 -1 1077944384 9089 0 0 0 188 0 0 0 20 0 15 0 64375480 14316269568 89978 18446744073709551615 4194304 4196468 140721802043024 139648204466416 139649225894530 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25024] ppid=25010 vsize=13980732 memory=1380 CPUtime=0.64 cores=0,2,4,6
/proc/25012/task/25024/stat : 25024 (java) S 25010 25010 897 0 -1 1077944384 5062 0 0 0 63 1 0 0 20 0 15 0 64375480 14316269568 89978 18446744073709551615 4194304 4196468 140721802043024 139648203413616 139649225894530 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25025] ppid=25010 vsize=13980732 memory=359912 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25025/stat : 25025 (java) S 25010 25010 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64375481 14316269568 89978 18446744073709551615 4194304 4196468 140721802043024 139648202361056 139649225893589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25026] ppid=25010 vsize=13980732 memory=1728 CPUtime=0.05 cores=0,2,4,6
/proc/25012/task/25026/stat : 25026 (java) S 25010 25010 897 0 -1 1077944384 406 0 0 0 3 2 0 0 20 0 15 0 64375653 14316269568 89978 18446744073709551615 4194304 4196468 140721802043024 139648201309360 139649225894530 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
Current children cumulated CPU time: 165.32 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 361292 KiB

[startup+222.301 s]
/proc/loadavg: 1.96 1.94 1.86 3/211 25046
/proc/meminfo: memFree=30330632/32770624 swapFree=67108860/67108860
[pid=25010] ppid=25007 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25010/stat : 25010 (xcsp3-exec) S 25007 25010 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64375467 9740288 345 18446744073709551615 4194304 5098028 140731310882656 140731310880760 140098359624316 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 22241280 140731310891390 140731310891594 140731310891594 140731310895083 0
/proc/25010/statm: 2378 345 289 221 0 87 0
[pid=25012] ppid=25010 vsize=13980732 memory=609160 CPUtime=225.83 cores=0,2,4,6
/proc/25012/stat : 25012 (java) S 25010 25010 897 0 -1 1077944320 51599 0 0 0 22562 21 0 0 20 0 15 0 64375475 14316269568 152290 18446744073709551615 4194304 4196468 140721802043024 140721802025568 139649225883383 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
/proc/25012/statm: 3495183 152290 3241 1 0 3483476 0
[pid=25012/tid=25013] ppid=25010 vsize=13980732 memory=609160 CPUtime=220.43 cores=0,2,4,6
/proc/25012/task/25013/stat : 25013 (java) R 25010 25010 897 0 -1 4202560 13983 0 0 0 22033 10 0 0 20 0 15 0 64375475 14316269568 152290 18446744073709551615 4194304 4196468 140721802043024 139649230123152 139648871969345 0 4 1 16800974 0 0 0 -1 2 0 0 171 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25014] ppid=25010 vsize=13980732 memory=577212 CPUtime=0.05 cores=0,2,4,6
/proc/25012/task/25014/stat : 25014 (java) S 25010 25010 897 0 -1 1077944384 900 0 0 0 4 1 0 0 20 0 15 0 64375476 14316269568 152290 18446744073709551615 4194304 4196468 140721802043024 139649186781840 139649225893589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25015] ppid=25010 vsize=13980732 memory=609160 CPUtime=0.05 cores=0,2,4,6
/proc/25012/task/25015/stat : 25015 (java) S 25010 25010 897 0 -1 1077944384 1548 0 0 0 4 1 0 0 20 0 15 0 64375476 14316269568 152290 18446744073709551615 4194304 4196468 140721802043024 139649185729040 139649225893589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25016] ppid=25010 vsize=13980732 memory=609160 CPUtime=0.05 cores=0,2,4,6
/proc/25012/task/25016/stat : 25016 (java) S 25010 25010 897 0 -1 1077944384 1418 0 0 0 4 1 0 0 20 0 15 0 64375476 14316269568 152290 18446744073709551615 4194304 4196468 140721802043024 139648823650704 139649225893589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25017] ppid=25010 vsize=13980732 memory=1380 CPUtime=0.05 cores=0,2,4,6
/proc/25012/task/25017/stat : 25017 (java) S 25010 25010 897 0 -1 1077944384 1197 0 0 0 4 1 0 0 20 0 15 0 64375476 14316269568 152290 18446744073709551615 4194304 4196468 140721802043024 139648822597904 139649225893589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25018] ppid=25010 vsize=13980732 memory=509628 CPUtime=0.01 cores=0,2,4,6
/proc/25012/task/25018/stat : 25018 (java) S 25010 25010 897 0 -1 1077944384 1339 0 0 0 1 0 0 0 20 0 15 0 64375477 14316269568 152290 18446744073709551615 4194304 4196468 140721802043024 139648209730416 139649225894530 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25019] ppid=25010 vsize=13980732 memory=431708 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25019/stat : 25019 (java) S 25010 25010 897 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 64375478 14316269568 152290 18446744073709551615 4194304 4196468 140721802043024 139648208676448 139649225893589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25020] ppid=25010 vsize=13980732 memory=571068 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25020/stat : 25020 (java) S 25010 25010 897 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 64375478 14316269568 152290 18446744073709551615 4194304 4196468 140721802043024 139648207623552 139649225893589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25021] ppid=25010 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25021/stat : 25021 (java) S 25010 25010 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64375480 14316269568 152290 18446744073709551615 4194304 4196468 140721802043024 139648206571856 139649225901979 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25022] ppid=25010 vsize=13980732 memory=1380 CPUtime=2.32 cores=0,2,4,6
/proc/25012/task/25022/stat : 25022 (java) S 25010 25010 897 0 -1 1077944384 13013 0 0 0 231 1 0 0 20 0 15 0 64375480 14316269568 152290 18446744073709551615 4194304 4196468 140721802043024 139648205519216 139649225894530 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25023] ppid=25010 vsize=13980732 memory=577212 CPUtime=2.08 cores=0,2,4,6
/proc/25012/task/25023/stat : 25023 (java) S 25010 25010 897 0 -1 1077944384 10673 0 0 0 208 0 0 0 20 0 15 0 64375480 14316269568 152290 18446744073709551615 4194304 4196468 140721802043024 139648204466416 139649225894530 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25024] ppid=25010 vsize=13980732 memory=1380 CPUtime=0.65 cores=0,2,4,6
/proc/25012/task/25024/stat : 25024 (java) S 25010 25010 897 0 -1 1077944384 5721 0 0 0 64 1 0 0 20 0 15 0 64375480 14316269568 152290 18446744073709551615 4194304 4196468 140721802043024 139648203413616 139649225894530 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25025] ppid=25010 vsize=13980732 memory=33 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25025/stat : 25025 (java) S 25010 25010 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64375481 14316269568 152290 18446744073709551615 4194304 4196468 140721802043024 139648202361056 139649225893589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25026] ppid=25010 vsize=13980732 memory=281052057643408 CPUtime=0.06 cores=0,2,4,6
/proc/25012/task/25026/stat : 25026 (java) S 25010 25010 897 0 -1 1077944384 417 0 0 0 3 3 0 0 20 0 15 0 64375653 14316269568 152290 18446744073709551615 4194304 4196468 140721802043024 139648201309360 139649225894530 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
Current children cumulated CPU time: 225.83 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 610540 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]*
/proc/loadavg: 2.05 1.96 1.87 3/211 25125
/proc/meminfo: memFree=30471892/32770624 swapFree=67108860/67108860
[pid=25010] ppid=25007 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25010/stat : 25010 (xcsp3-exec) S 25007 25010 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64375467 9740288 345 18446744073709551615 4194304 5098028 140731310882656 140731310880760 140098359624316 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 22241280 140731310891390 140731310891594 140731310891594 140731310895083 0
/proc/25010/statm: 2378 345 289 221 0 87 0
[pid=25012] ppid=25010 vsize=13980732 memory=609160 CPUtime=243.55 cores=0,2,4,6
/proc/25012/stat : 25012 (java) S 25010 25010 897 0 -1 1077944320 51653 0 0 0 24333 22 0 0 20 0 15 0 64375475 14316269568 152290 18446744073709551615 4194304 4196468 140721802043024 140721802025568 139649225883383 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
/proc/25012/statm: 3495183 152290 3241 1 0 3483476 0
[pid=25012/tid=25013] ppid=25010 vsize=13980732 memory=-8774313645642428999 CPUtime=238.14 cores=0,2,4,6
/proc/25012/task/25013/stat : 25013 (java) R 25010 25010 897 0 -1 4202560 14036 0 0 0 23804 10 0 0 20 0 15 0 64375475 14316269568 152290 18446744073709551615 4194304 4196468 140721802043024 139649230122584 139648871969345 0 4 1 16800974 0 0 0 -1 2 0 0 171 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25014] ppid=25010 vsize=13980732 memory=4872558044660077418 CPUtime=0.05 cores=0,2,4,6
/proc/25012/task/25014/stat : 25014 (java) S 25010 25010 897 0 -1 1077944384 900 0 0 0 4 1 0 0 20 0 15 0 64375476 14316269568 152290 18446744073709551615 4194304 4196468 140721802043024 139649186781840 139649225893589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25015] ppid=25010 vsize=13980732 memory=1728 CPUtime=0.05 cores=0,2,4,6
/proc/25012/task/25015/stat : 25015 (java) S 25010 25010 897 0 -1 1077944384 1548 0 0 0 4 1 0 0 20 0 15 0 64375476 14316269568 152290 18446744073709551615 4194304 4196468 140721802043024 139649185729040 139649225893589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25016] ppid=25010 vsize=13980732 memory=1228 CPUtime=0.05 cores=0,2,4,6
/proc/25012/task/25016/stat : 25016 (java) S 25010 25010 897 0 -1 1077944384 1418 0 0 0 4 1 0 0 20 0 15 0 64375476 14316269568 152290 18446744073709551615 4194304 4196468 140721802043024 139648823650704 139649225893589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25017] ppid=25010 vsize=13980732 memory=36408 CPUtime=0.05 cores=0,2,4,6
/proc/25012/task/25017/stat : 25017 (java) S 25010 25010 897 0 -1 1077944384 1197 0 0 0 4 1 0 0 20 0 15 0 64375476 14316269568 152290 18446744073709551615 4194304 4196468 140721802043024 139648822597904 139649225893589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25018] ppid=25010 vsize=13980732 memory=1292 CPUtime=0.01 cores=0,2,4,6
/proc/25012/task/25018/stat : 25018 (java) S 25010 25010 897 0 -1 1077944384 1339 0 0 0 1 0 0 0 20 0 15 0 64375477 14316269568 152290 18446744073709551615 4194304 4196468 140721802043024 139648209730416 139649225894530 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25019] ppid=25010 vsize=13980732 memory=2316 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25019/stat : 25019 (java) S 25010 25010 897 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 64375478 14316269568 152290 18446744073709551615 4194304 4196468 140721802043024 139648208676448 139649225893589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25020] ppid=25010 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25020/stat : 25020 (java) S 25010 25010 897 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 64375478 14316269568 152290 18446744073709551615 4194304 4196468 140721802043024 139648207623552 139649225893589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25021] ppid=25010 vsize=13980732 memory=609160 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25021/stat : 25021 (java) S 25010 25010 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64375480 14316269568 152290 18446744073709551615 4194304 4196468 140721802043024 139648206571856 139649225901979 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25022] ppid=25010 vsize=13980732 memory=4872558044660077418 CPUtime=2.32 cores=0,2,4,6
/proc/25012/task/25022/stat : 25022 (java) S 25010 25010 897 0 -1 1077944384 13013 0 0 0 231 1 0 0 20 0 15 0 64375480 14316269568 152290 18446744073709551615 4194304 4196468 140721802043024 139648205519216 139649225894530 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25023] ppid=25010 vsize=13980732 memory=609160 CPUtime=2.08 cores=0,2,4,6
/proc/25012/task/25023/stat : 25023 (java) S 25010 25010 897 0 -1 1077944384 10673 0 0 0 208 0 0 0 20 0 15 0 64375480 14316269568 152290 18446744073709551615 4194304 4196468 140721802043024 139648204466416 139649225894530 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25024] ppid=25010 vsize=13980732 memory=15536310592997909 CPUtime=0.65 cores=0,2,4,6
/proc/25012/task/25024/stat : 25024 (java) S 25010 25010 897 0 -1 1077944384 5722 0 0 0 64 1 0 0 20 0 15 0 64375480 14316269568 152290 18446744073709551615 4194304 4196468 140721802043024 139648203413616 139649225894530 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25025] ppid=25010 vsize=13980732 memory=840 CPUtime=0 cores=0,2,4,6
/proc/25012/task/25025/stat : 25025 (java) S 25010 25010 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64375481 14316269568 152290 18446744073709551615 4194304 4196468 140721802043024 139648202361056 139649225893589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
[pid=25012/tid=25026] ppid=25010 vsize=13980732 memory=16436 CPUtime=0.06 cores=0,2,4,6
/proc/25012/task/25026/stat : 25026 (java) S 25010 25010 897 0 -1 1077944384 417 0 0 0 3 3 0 0 20 0 15 0 64375653 14316269568 152290 18446744073709551615 4194304 4196468 140721802043024 139648201309360 139649225894530 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19501056 140721802052023 140721802052198 140721802052198 140721802055631 0
Current children cumulated CPU time: 243.55 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 610540 KiB

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

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

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

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

Child status: 143
Real time (s): 240.035
CPU time (s): 243.581
CPU user time (s): 243.352
CPU system time (s): 0.229182
CPU usage (%): 101.477
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 610540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 243.352
system time used= 0.229182
maximum resident set size= 609776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52530
page faults= 0
swaps= 0
block input operations= 0
block output operations= 368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7777
involuntary context switches= 284


# summary of solver processes directly reported to runsolver:
#   pid: 25010,25012
#   total CPU time (s): 243.581
#   total CPU user time (s): 243.352
#   total CPU system time (s): 0.229182

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.2891 second user time and 2.29478 second system time

The end

Name	Vrp/Vrp-zinc-s1/ Vrp-P-n65-k10.xml
MD5SUM	fc97d46ca528b4486ab3fb446b9d6166
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	890
Best CPU time to get the best result obtained on this benchmark	251.92
Satisfiable
(Un)Satisfiability was proved
Number of variables	4290
Number of constraints	4224
Number of domains	3
Minimum domain size	1
Maximum domain size	131
Distribution of domain sizes	[{"size":1,"count":65},{"size":2,"count":4160},{"size":131,"count":64}]
Minimum variable degree	0
Maximum variable degree	127
Distribution of variable degrees	[{"degree":0,"count":1},{"degree":1,"count":65},{"degree":2,"count":128},{"degree":4,"count":4032},{"degree":127,"count":64}]
Minimum constraint arity	1
Maximum constraint arity	64
Distribution of constraint arities	[{"arity":1,"count":64},{"arity":3,"count":4032},{"arity":64,"count":128}]
Number of extensional constraints	0
Number of intensional constraints	64
Distribution of constraint types	[{"type":"intension","count":64},{"type":"sum","count":4032},{"type":"count","count":128}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4270364

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data