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-18)	SAT (TO)	2612	245.26401	240.024

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4283104-1503211848.xml"  -tl '264s' -p 1 -x 0
0.12/0.14	c [HOME/instance-4283104-1503211848.xml, -tl, 264s, -p, 1, -x, 0]
0.12/0.19	c simple solver
0.34/0.26	c parse instance...
2.16/0.82	c solve instance...
6.84/3.49	o 2785 
7.03/3.53	o 2784 
7.03/3.54	o 2779 
7.03/3.56	o 2770 
7.03/3.57	o 2734 
7.33/3.63	o 2727 
17.54/13.03	o 2721 
17.54/13.04	o 2707 
17.54/13.08	o 2706 
17.67/13.11	o 2702 
155.31/150.21	o 2674 
155.31/150.22	o 2673 
155.31/150.23	o 2670 
155.31/150.24	o 2662 
155.31/150.25	o 2661 
155.31/150.26	o 2622 
155.31/150.27	o 2613 
155.31/150.28	o 2612 
245.23/240.01	s SATISFIABLE
245.23/240.01	v <instantiation>
245.23/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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] </list>
245.23/240.01	v 	<values>0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 1 1 1 0 0 0 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 1 0 0 1 0 0 1 0 1 1 0 0 1 0 0 0 1 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 35 52 12 44 38 84 42 65 60 21 28 18 14 38 16 16 42 41 18 14 10 19 36 35 50 18 81 53 32 38 71 15 48 12 79 18 12 79 68 41 36 11 37 74 19 15 53 10 58 7 13 58 41 22 66 16 49 27 74 89 </values>
245.23/240.01	v </instantiation>
245.23/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 (11957 MiB free)
  memory of node 1: 16384 MiB (13358 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283104-1503211848/watcher-4283104-1503211848 -o /tmp/evaluation-result-4283104-1503211848/solver-4283104-1503211848 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node103-1503209003-32625 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1519096871 HOME/instance-4283104-1503211848.xml 

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

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=2391, runsolver pid=2388
Current StackSize limit: 8192 KiB


[startup+0.100094 s]*
/proc/loadavg: 2.01 1.96 1.82 3/217 2407
/proc/meminfo: memFree=25907408/32770624 swapFree=67108860/67108860
[pid=2391] ppid=2388 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2391/stat : 2391 (xcsp3-exec) S 2388 2391 32593 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154272797 9740288 345 33554432000 4194304 5098028 140735256284016 140735256282120 140315063210620 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10616832 140735256286324 140735256286528 140735256286528 140735256289259 0
/proc/2391/statm: 2378 345 289 221 0 87 0
[pid=2393] ppid=2391 vsize=13978596 memory=27552 CPUtime=0.12 cores=1,3,5,7
/proc/2393/stat : 2393 (java) S 2391 2391 32593 0 -1 1077944320 5324 0 0 0 11 1 0 0 20 0 15 0 154272798 14314082304 6888 33554432000 4194304 4196468 140721673545760 140721673528304 139881091403511 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
/proc/2393/statm: 3494649 6888 2836 1 0 3482966 0
[pid=2393/tid=2394] ppid=2391 vsize=13978596 memory=7031125463459224206 CPUtime=0.09 cores=1,3,5,7
/proc/2393/task/2394/stat : 2394 (java) R 2391 2391 32593 0 -1 4202560 3329 0 0 0 9 0 0 0 20 0 15 0 154272798 14314082304 6953 33554432000 4194304 4196468 140721673545760 139881095628240 139880727464301 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2395] ppid=2391 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2393/task/2395/stat : 2395 (java) S 2391 2391 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154272799 14314082304 6953 33554432000 4194304 4196468 140721673545760 139881047956496 139881091413717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2396] ppid=2391 vsize=13978596 memory=139714486879872 CPUtime=0 cores=1,3,5,7
/proc/2393/task/2396/stat : 2396 (java) S 2391 2391 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154272799 14314082304 7019 33554432000 4194304 4196468 140721673545760 139881046903952 139881091413717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2397] ppid=2391 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2393/task/2397/stat : 2397 (java) S 2391 2391 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154272799 14314082304 7019 33554432000 4194304 4196468 140721673545760 139880684776208 139881091413717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2398] ppid=2391 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2393/task/2398/stat : 2398 (java) S 2391 2391 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154272799 14314082304 7019 33554432000 4194304 4196468 140721673545760 139880683723664 139881091413717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2399] ppid=2391 vsize=13978596 memory=139714486879872 CPUtime=0 cores=1,3,5,7
/proc/2393/task/2399/stat : 2399 (java) S 2391 2391 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154272800 14314082304 7019 33554432000 4194304 4196468 140721673545760 139880205207792 139881091414658 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2400] ppid=2391 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2393/task/2400/stat : 2400 (java) S 2391 2391 32593 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154272801 14314082304 7019 33554432000 4194304 4196468 140721673545760 139880204154016 139881091413717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2401] ppid=2391 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2393/task/2401/stat : 2401 (java) S 2391 2391 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154272801 14314082304 7019 33554432000 4194304 4196468 140721673545760 139880203100912 139881091413717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2402] ppid=2391 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2393/task/2402/stat : 2402 (java) S 2391 2391 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154272803 14314082304 7019 33554432000 4194304 4196468 140721673545760 139880202049488 139881091422107 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2403] ppid=2391 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2393/task/2403/stat : 2403 (java) S 2391 2391 32593 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 154272803 14314082304 7019 33554432000 4194304 4196468 140721673545760 139880200997616 139881091414658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2404] ppid=2391 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2393/task/2404/stat : 2404 (java) S 2391 2391 32593 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 154272803 14314082304 7019 33554432000 4194304 4196468 140721673545760 139880199945072 139881091414658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2405] ppid=2391 vsize=13978596 memory=139714486879872 CPUtime=0.01 cores=1,3,5,7
/proc/2393/task/2405/stat : 2405 (java) S 2391 2391 32593 0 -1 1077944384 332 0 0 0 1 0 0 0 20 0 15 0 154272803 14314082304 7019 33554432000 4194304 4196468 140721673545760 139880198892016 139881091414658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2406] ppid=2391 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2393/task/2406/stat : 2406 (java) S 2391 2391 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154272803 14314082304 7019 33554432000 4194304 4196468 140721673545760 139880197839712 139881091413717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2407] ppid=2391 vsize=13978596 memory=139714486879872 CPUtime=0 cores=1,3,5,7
/proc/2393/task/2407/stat : 2407 (java) S 2391 2391 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154272804 14314082304 7019 33554432000 4194304 4196468 140721673545760 139880196786736 139881091414658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 28932 KiB

[startup+0.212718 s]*
/proc/loadavg: 2.01 1.96 1.82 3/217 2407
/proc/meminfo: memFree=25894988/32770624 swapFree=67108860/67108860
[pid=2391] ppid=2388 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2391/stat : 2391 (xcsp3-exec) S 2388 2391 32593 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154272797 9740288 345 33554432000 4194304 5098028 140735256284016 140735256282120 140315063210620 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10616832 140735256286324 140735256286528 140735256286528 140735256289259 0
/proc/2391/statm: 2378 345 289 221 0 87 0
[pid=2393] ppid=2391 vsize=13982884 memory=40320 CPUtime=0.34 cores=1,3,5,7
/proc/2393/stat : 2393 (java) S 2391 2391 32593 0 -1 1077944320 8284 0 0 0 32 2 0 0 20 0 15 0 154272798 14318473216 10080 33554432000 4194304 4196468 140721673545760 140721673528304 139881091403511 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
/proc/2393/statm: 3495713 10080 3039 1 0 3482966 0
[pid=2393/tid=2394] ppid=2391 vsize=13982852 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/2393/task/2394/stat : 2394 (java) R 2391 2391 32593 0 -1 4202560 5377 0 0 0 19 1 0 0 20 0 15 0 154272798 14318440448 10080 33554432000 4194304 4196468 140721673545760 139881095614416 139881075483998 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2395] ppid=2391 vsize=13982852 memory=4294976320 CPUtime=0 cores=1,3,5,7
/proc/2393/task/2395/stat : 2395 (java) S 2391 2391 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154272799 14318440448 10080 33554432000 4194304 4196468 140721673545760 139881047956496 139881091413717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2396] ppid=2391 vsize=13982852 memory=288370090638591616 CPUtime=0 cores=1,3,5,7
/proc/2393/task/2396/stat : 2396 (java) S 2391 2391 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154272799 14318440448 10080 33554432000 4194304 4196468 140721673545760 139881046903952 139881091413717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2397] ppid=2391 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2393/task/2397/stat : 2397 (java) S 2391 2391 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154272799 14318440448 10080 33554432000 4194304 4196468 140721673545760 139880684776208 139881091413717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2398] ppid=2391 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2393/task/2398/stat : 2398 (java) S 2391 2391 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154272799 14318440448 10080 33554432000 4194304 4196468 140721673545760 139880683723664 139881091413717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2399] ppid=2391 vsize=13982852 memory=139714486879872 CPUtime=0 cores=1,3,5,7
/proc/2393/task/2399/stat : 2399 (java) S 2391 2391 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154272800 14318440448 10080 33554432000 4194304 4196468 140721673545760 139880205207792 139881091414658 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2400] ppid=2391 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2393/task/2400/stat : 2400 (java) S 2391 2391 32593 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154272801 14318440448 10080 33554432000 4194304 4196468 140721673545760 139880204154016 139881091413717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2401] ppid=2391 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2393/task/2401/stat : 2401 (java) S 2391 2391 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154272801 14318440448 10080 33554432000 4194304 4196468 140721673545760 139880203100912 139881091413717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2402] ppid=2391 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2393/task/2402/stat : 2402 (java) S 2391 2391 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154272803 14318440448 10080 33554432000 4194304 4196468 140721673545760 139880202049488 139881091422107 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2403] ppid=2391 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/2393/task/2403/stat : 2403 (java) S 2391 2391 32593 0 -1 1077944384 646 0 0 0 2 0 0 0 20 0 15 0 154272803 14318440448 10080 33554432000 4194304 4196468 140721673545760 139880200997616 139881091414658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2404] ppid=2391 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/2393/task/2404/stat : 2404 (java) S 2391 2391 32593 0 -1 1077944384 250 0 0 0 2 0 0 0 20 0 15 0 154272803 14318440448 10080 33554432000 4194304 4196468 140721673545760 139880199945072 139881091414658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2405] ppid=2391 vsize=13982852 memory=139714486879872 CPUtime=0.07 cores=1,3,5,7
/proc/2393/task/2405/stat : 2405 (java) S 2391 2391 32593 0 -1 1077944384 718 0 0 0 7 0 0 0 20 0 15 0 154272803 14318440448 10080 33554432000 4194304 4196468 140721673545760 139880198892016 139881091414658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2406] ppid=2391 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2393/task/2406/stat : 2406 (java) S 2391 2391 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154272803 14318440448 10080 33554432000 4194304 4196468 140721673545760 139880197839712 139881091413717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2407] ppid=2391 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2393/task/2407/stat : 2407 (java) S 2391 2391 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154272804 14318440448 10080 33554432000 4194304 4196468 140721673545760 139880196786736 139881091414658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992396 KiB
Current children cumulated memory: 41700 KiB

[startup+0.31152 s]*
/proc/loadavg: 2.01 1.96 1.82 4/217 2407
/proc/meminfo: memFree=25888536/32770624 swapFree=67108860/67108860
[pid=2391] ppid=2388 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2391/stat : 2391 (xcsp3-exec) S 2388 2391 32593 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154272797 9740288 345 33554432000 4194304 5098028 140735256284016 140735256282120 140315063210620 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10616832 140735256286324 140735256286528 140735256286528 140735256289259 0
/proc/2391/statm: 2378 345 289 221 0 87 0
[pid=2393] ppid=2391 vsize=13982852 memory=47704 CPUtime=0.51 cores=1,3,5,7
/proc/2393/stat : 2393 (java) S 2391 2391 32593 0 -1 1077944320 9040 0 0 0 49 2 0 0 20 0 15 0 154272798 14318440448 11926 33554432000 4194304 4196468 140721673545760 140721673528304 139881091403511 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
/proc/2393/statm: 3495713 11926 3122 1 0 3482966 0
[pid=2393/tid=2394] ppid=2391 vsize=13982852 memory=4026532046 CPUtime=0.29 cores=1,3,5,7
/proc/2393/task/2394/stat : 2394 (java) R 2391 2391 32593 0 -1 4202560 5909 0 0 0 28 1 0 0 20 0 15 0 154272798 14318440448 11926 33554432000 4194304 4196468 140721673545760 139881095642288 139880728469440 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2395] ppid=2391 vsize=13982852 memory=9312 CPUtime=0 cores=1,3,5,7
/proc/2393/task/2395/stat : 2395 (java) S 2391 2391 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154272799 14318440448 11926 33554432000 4194304 4196468 140721673545760 139881047956496 139881091413717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2396] ppid=2391 vsize=13982852 memory=692673 CPUtime=0 cores=1,3,5,7
/proc/2393/task/2396/stat : 2396 (java) S 2391 2391 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154272799 14318440448 11926 33554432000 4194304 4196468 140721673545760 139881046903952 139881091413717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2397] ppid=2391 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2393/task/2397/stat : 2397 (java) S 2391 2391 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154272799 14318440448 11926 33554432000 4194304 4196468 140721673545760 139880684776208 139881091413717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2398] ppid=2391 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2393/task/2398/stat : 2398 (java) S 2391 2391 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154272799 14318440448 11926 33554432000 4194304 4196468 140721673545760 139880683723664 139881091413717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2399] ppid=2391 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2393/task/2399/stat : 2399 (java) S 2391 2391 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154272800 14318440448 11926 33554432000 4194304 4196468 140721673545760 139880205207792 139881091414658 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2400] ppid=2391 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2393/task/2400/stat : 2400 (java) S 2391 2391 32593 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154272801 14318440448 11926 33554432000 4194304 4196468 140721673545760 139880204154016 139881091413717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2401] ppid=2391 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2393/task/2401/stat : 2401 (java) S 2391 2391 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154272801 14318440448 11926 33554432000 4194304 4196468 140721673545760 139880203100912 139881091413717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2402] ppid=2391 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2393/task/2402/stat : 2402 (java) S 2391 2391 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154272803 14318440448 11926 33554432000 4194304 4196468 140721673545760 139880202049488 139881091422107 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2403] ppid=2391 vsize=13982852 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/2393/task/2403/stat : 2403 (java) R 2391 2391 32593 0 -1 1077944384 662 0 0 0 4 0 0 0 20 0 15 0 154272803 14318440448 11926 33554432000 4194304 4196468 140721673545760 139880200997616 139881091414658 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2404] ppid=2391 vsize=13982852 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/2393/task/2404/stat : 2404 (java) R 2391 2391 32593 0 -1 4202560 360 0 0 0 4 0 0 0 20 0 15 0 154272803 14318440448 11926 33554432000 4194304 4196468 140721673545760 139880199934992 139881083640638 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2405] ppid=2391 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/2393/task/2405/stat : 2405 (java) R 2391 2391 32593 0 -1 4202560 833 0 0 0 13 0 0 0 20 0 15 0 154272803 14318440448 11926 33554432000 4194304 4196468 140721673545760 139880198892016 139881083640638 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2406] ppid=2391 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2393/task/2406/stat : 2406 (java) S 2391 2391 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154272803 14318440448 11926 33554432000 4194304 4196468 140721673545760 139880197839712 139881091413717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2407] ppid=2391 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2393/task/2407/stat : 2407 (java) S 2391 2391 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154272804 14318440448 11926 33554432000 4194304 4196468 140721673545760 139880196786736 139881091414658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 49084 KiB

[startup+0.700811 s]
/proc/loadavg: 2.01 1.96 1.82 5/217 2407
/proc/meminfo: memFree=25857392/32770624 swapFree=67108860/67108860
[pid=2391] ppid=2388 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2391/stat : 2391 (xcsp3-exec) S 2388 2391 32593 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154272797 9740288 345 33554432000 4194304 5098028 140735256284016 140735256282120 140315063210620 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10616832 140735256286324 140735256286528 140735256286528 140735256289259 0
/proc/2391/statm: 2378 345 289 221 0 87 0
[pid=2393] ppid=2391 vsize=13984976 memory=103464 CPUtime=1.83 cores=1,3,5,7
/proc/2393/stat : 2393 (java) S 2391 2391 32593 0 -1 1077944320 12284 0 0 0 179 4 0 0 20 0 15 0 154272798 14320615424 25866 33554432000 4194304 4196468 140721673545760 140721673528304 139881091403511 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
/proc/2393/statm: 3496244 25866 3199 1 0 3483478 0
[pid=2393/tid=2394] ppid=2391 vsize=13984976 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/2393/task/2394/stat : 2394 (java) R 2391 2391 32593 0 -1 4202560 6413 0 0 0 65 2 0 0 20 0 15 0 154272798 14320615424 25866 33554432000 4194304 4196468 140721673545760 139881095639984 139880726556128 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2395] ppid=2391 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2393/task/2395/stat : 2395 (java) S 2391 2391 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154272799 14320615424 25866 33554432000 4194304 4196468 140721673545760 139881047956496 139881091413717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2396] ppid=2391 vsize=13984976 memory=153 CPUtime=0 cores=1,3,5,7
/proc/2393/task/2396/stat : 2396 (java) S 2391 2391 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154272799 14320615424 25866 33554432000 4194304 4196468 140721673545760 139881046903952 139881091413717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2397] ppid=2391 vsize=13984976 memory=2 CPUtime=0 cores=1,3,5,7
/proc/2393/task/2397/stat : 2397 (java) S 2391 2391 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154272799 14320615424 25866 33554432000 4194304 4196468 140721673545760 139880684776208 139881091413717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2398] ppid=2391 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2393/task/2398/stat : 2398 (java) S 2391 2391 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154272799 14320615424 25866 33554432000 4194304 4196468 140721673545760 139880683723664 139881091413717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2399] ppid=2391 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2393/task/2399/stat : 2399 (java) S 2391 2391 32593 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154272800 14320615424 25866 33554432000 4194304 4196468 140721673545760 139880205207792 139881091414658 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2400] ppid=2391 vsize=13984976 memory=928 CPUtime=0 cores=1,3,5,7
/proc/2393/task/2400/stat : 2400 (java) S 2391 2391 32593 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154272801 14320615424 25866 33554432000 4194304 4196468 140721673545760 139880204154016 139881091413717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2401] ppid=2391 vsize=13984976 memory=1568 CPUtime=0 cores=1,3,5,7
/proc/2393/task/2401/stat : 2401 (java) S 2391 2391 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154272801 14320615424 25866 33554432000 4194304 4196468 140721673545760 139880203100912 139881091413717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2402] ppid=2391 vsize=13984976 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/2393/task/2402/stat : 2402 (java) S 2391 2391 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154272803 14320615424 25866 33554432000 4194304 4196468 140721673545760 139880202049488 139881091422107 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2403] ppid=2391 vsize=13984976 memory=4128 CPUtime=0.37 cores=1,3,5,7
/proc/2393/task/2403/stat : 2403 (java) R 2391 2391 32593 0 -1 4202560 1571 0 0 0 37 0 0 0 20 0 15 0 154272803 14320615424 25866 33554432000 4194304 4196468 140721673545760 139880200979216 139881076529376 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2404] ppid=2391 vsize=13984976 memory=1160 CPUtime=0.39 cores=1,3,5,7
/proc/2393/task/2404/stat : 2404 (java) R 2391 2391 32593 0 -1 4202560 1188 0 0 0 39 0 0 0 20 0 15 0 154272803 14320615424 25866 33554432000 4194304 4196468 140721673545760 139880199936720 139881076513604 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2405] ppid=2391 vsize=13984976 memory=2792 CPUtime=0.37 cores=1,3,5,7
/proc/2393/task/2405/stat : 2405 (java) R 2391 2391 32593 0 -1 4202560 1806 0 0 0 36 1 0 0 20 0 15 0 154272803 14320615424 25866 33554432000 4194304 4196468 140721673545760 139880198889272 139881069893744 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2406] ppid=2391 vsize=13984976 memory=2204 CPUtime=0 cores=1,3,5,7
/proc/2393/task/2406/stat : 2406 (java) S 2391 2391 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154272803 14320615424 25866 33554432000 4194304 4196468 140721673545760 139880197839712 139881091413717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2407] ppid=2391 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2393/task/2407/stat : 2407 (java) S 2391 2391 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154272804 14320615424 25866 33554432000 4194304 4196468 140721673545760 139880196786736 139881091414658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
Current children cumulated CPU time: 1.83 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 104844 KiB

[startup+1.50081 s]
/proc/loadavg: 2.17 1.99 1.83 5/217 2407
/proc/meminfo: memFree=25807936/32770624 swapFree=67108860/67108860
[pid=2391] ppid=2388 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2391/stat : 2391 (xcsp3-exec) S 2388 2391 32593 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154272797 9740288 345 33554432000 4194304 5098028 140735256284016 140735256282120 140315063210620 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10616832 140735256286324 140735256286528 140735256286528 140735256289259 0
/proc/2391/statm: 2378 345 289 221 0 87 0

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

/proc/2393/task/2401/stat : 2401 (java) S 2391 2391 32593 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 154272801 14320615424 53555 33554432000 4194304 4196468 140721673545760 139880203100928 139881091413717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2402] ppid=2391 vsize=13984976 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/2393/task/2402/stat : 2402 (java) S 2391 2391 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154272803 14320615424 53555 33554432000 4194304 4196468 140721673545760 139880202049488 139881091422107 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2403] ppid=2391 vsize=13984976 memory=1380 CPUtime=2.04 cores=1,3,5,7
/proc/2393/task/2403/stat : 2403 (java) S 2391 2391 32593 0 -1 1077944384 10243 0 0 0 204 0 0 0 20 0 15 0 154272803 14320615424 53555 33554432000 4194304 4196468 140721673545760 139880200997616 139881091414658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2404] ppid=2391 vsize=13984976 memory=4140 CPUtime=2.1 cores=1,3,5,7
/proc/2393/task/2404/stat : 2404 (java) S 2391 2391 32593 0 -1 1077944384 9871 0 0 0 208 2 0 0 20 0 15 0 154272803 14320615424 53555 33554432000 4194304 4196468 140721673545760 139880199945072 139881091414658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2405] ppid=2391 vsize=13984976 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/2393/task/2405/stat : 2405 (java) S 2391 2391 32593 0 -1 1077944384 4945 0 0 0 65 1 0 0 20 0 15 0 154272803 14320615424 53555 33554432000 4194304 4196468 140721673545760 139880198892016 139881091414658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2406] ppid=2391 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2393/task/2406/stat : 2406 (java) S 2391 2391 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154272803 14320615424 53555 33554432000 4194304 4196468 140721673545760 139880197839712 139881091413717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2407] ppid=2391 vsize=13984976 memory=1012 CPUtime=0.02 cores=1,3,5,7
/proc/2393/task/2407/stat : 2407 (java) S 2391 2391 32593 0 -1 1077944384 210 0 0 0 1 1 0 0 20 0 15 0 154272804 14320615424 53555 33554432000 4194304 4196468 140721673545760 139880196786736 139881091414658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
Current children cumulated CPU time: 107.25 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 215600 KiB

[startup+162.301 s]
/proc/loadavg: 1.99 1.99 1.86 3/217 2409
/proc/meminfo: memFree=25722376/32770624 swapFree=67108860/67108860
[pid=2391] ppid=2388 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2391/stat : 2391 (xcsp3-exec) S 2388 2391 32593 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154272797 9740288 345 33554432000 4194304 5098028 140735256284016 140735256282120 140315063210620 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10616832 140735256286324 140735256286528 140735256286528 140735256289259 0
/proc/2391/statm: 2378 345 289 221 0 87 0
[pid=2393] ppid=2391 vsize=13984976 memory=218972 CPUtime=167.48 cores=1,3,5,7
/proc/2393/stat : 2393 (java) S 2391 2391 32593 0 -1 1077944320 48882 0 0 0 16733 15 0 0 20 0 15 0 154272798 14320615424 54743 33554432000 4194304 4196468 140721673545760 140721673528304 139881091403511 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
/proc/2393/statm: 3496244 54743 3268 1 0 3483478 0
[pid=2393/tid=2394] ppid=2391 vsize=13984976 memory=218972 CPUtime=162.2 cores=1,3,5,7
/proc/2393/task/2394/stat : 2394 (java) R 2391 2391 32593 0 -1 4202560 12224 0 0 0 16216 4 0 0 20 0 15 0 154272798 14320615424 54743 33554432000 4194304 4196468 140721673545760 139881095641880 139880733450556 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2395] ppid=2391 vsize=13984976 memory=218972 CPUtime=0.04 cores=1,3,5,7
/proc/2393/task/2395/stat : 2395 (java) S 2391 2391 32593 0 -1 1077944384 1840 0 0 0 3 1 0 0 20 0 15 0 154272799 14320615424 54743 33554432000 4194304 4196468 140721673545760 139881047956496 139881091413717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2396] ppid=2391 vsize=13984976 memory=218972 CPUtime=0.04 cores=1,3,5,7
/proc/2393/task/2396/stat : 2396 (java) S 2391 2391 32593 0 -1 1077944384 689 0 0 0 4 0 0 0 20 0 15 0 154272799 14320615424 54743 33554432000 4194304 4196468 140721673545760 139881046903952 139881091413717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2397] ppid=2391 vsize=13984976 memory=218408 CPUtime=0.04 cores=1,3,5,7
/proc/2393/task/2397/stat : 2397 (java) S 2391 2391 32593 0 -1 1077944384 1450 0 0 0 3 1 0 0 20 0 15 0 154272799 14320615424 54743 33554432000 4194304 4196468 140721673545760 139880684776208 139881091413717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2398] ppid=2391 vsize=13984976 memory=218972 CPUtime=0.04 cores=1,3,5,7
/proc/2393/task/2398/stat : 2398 (java) S 2391 2391 32593 0 -1 1077944384 1791 0 0 0 3 1 0 0 20 0 15 0 154272799 14320615424 54743 33554432000 4194304 4196468 140721673545760 139880683723664 139881091413717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2399] ppid=2391 vsize=13984976 memory=1380 CPUtime=0.01 cores=1,3,5,7
/proc/2393/task/2399/stat : 2399 (java) S 2391 2391 32593 0 -1 1077944384 1244 0 0 0 1 0 0 0 20 0 15 0 154272800 14320615424 54743 33554432000 4194304 4196468 140721673545760 139880205207792 139881091414658 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2400] ppid=2391 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2393/task/2400/stat : 2400 (java) S 2391 2391 32593 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 154272801 14320615424 54743 33554432000 4194304 4196468 140721673545760 139880204154080 139881091413717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2401] ppid=2391 vsize=13984976 memory=7788 CPUtime=0 cores=1,3,5,7
/proc/2393/task/2401/stat : 2401 (java) S 2391 2391 32593 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 154272801 14320615424 54743 33554432000 4194304 4196468 140721673545760 139880203100928 139881091413717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2402] ppid=2391 vsize=13984976 memory=840 CPUtime=0 cores=1,3,5,7
/proc/2393/task/2402/stat : 2402 (java) S 2391 2391 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154272803 14320615424 54743 33554432000 4194304 4196468 140721673545760 139880202049488 139881091422107 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2403] ppid=2391 vsize=13984976 memory=1380 CPUtime=2.14 cores=1,3,5,7
/proc/2393/task/2403/stat : 2403 (java) S 2391 2391 32593 0 -1 1077944384 11617 0 0 0 214 0 0 0 20 0 15 0 154272803 14320615424 54743 33554432000 4194304 4196468 140721673545760 139880200997616 139881091414658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2404] ppid=2391 vsize=13984976 memory=218972 CPUtime=2.17 cores=1,3,5,7
/proc/2393/task/2404/stat : 2404 (java) S 2391 2391 32593 0 -1 1077944384 10670 0 0 0 215 2 0 0 20 0 15 0 154272803 14320615424 54743 33554432000 4194304 4196468 140721673545760 139880199945072 139881091414658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2405] ppid=2391 vsize=13984976 memory=1380 CPUtime=0.67 cores=1,3,5,7
/proc/2393/task/2405/stat : 2405 (java) S 2391 2391 32593 0 -1 1077944384 5732 0 0 0 66 1 0 0 20 0 15 0 154272803 14320615424 54743 33554432000 4194304 4196468 140721673545760 139880198892016 139881091414658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2406] ppid=2391 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2393/task/2406/stat : 2406 (java) S 2391 2391 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154272803 14320615424 54743 33554432000 4194304 4196468 140721673545760 139880197839712 139881091413717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2407] ppid=2391 vsize=13984976 memory=4616 CPUtime=0.03 cores=1,3,5,7
/proc/2393/task/2407/stat : 2407 (java) S 2391 2391 32593 0 -1 1077944384 250 0 0 0 1 2 0 0 20 0 15 0 154272804 14320615424 54743 33554432000 4194304 4196468 140721673545760 139880196786736 139881091414658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
Current children cumulated CPU time: 167.48 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 220352 KiB

[startup+222.301 s]
/proc/loadavg: 1.85 1.95 1.86 3/218 2496
/proc/meminfo: memFree=25699572/32770624 swapFree=67108860/67108860
[pid=2391] ppid=2388 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2391/stat : 2391 (xcsp3-exec) S 2388 2391 32593 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154272797 9740288 345 33554432000 4194304 5098028 140735256284016 140735256282120 140315063210620 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10616832 140735256286324 140735256286528 140735256286528 140735256289259 0
/proc/2391/statm: 2378 345 289 221 0 87 0
[pid=2393] ppid=2391 vsize=13984976 memory=214876 CPUtime=227.52 cores=1,3,5,7
/proc/2393/stat : 2393 (java) S 2391 2391 32593 0 -1 1077944320 49949 0 0 0 22736 16 0 0 20 0 15 0 154272798 14320615424 53719 33554432000 4194304 4196468 140721673545760 140721673528304 139881091403511 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
/proc/2393/statm: 3496244 53719 3268 1 0 3483478 0
[pid=2393/tid=2394] ppid=2391 vsize=13984976 memory=214876 CPUtime=222.19 cores=1,3,5,7
/proc/2393/task/2394/stat : 2394 (java) R 2391 2391 32593 0 -1 4202560 12701 0 0 0 22215 4 0 0 20 0 15 0 154272798 14320615424 53719 33554432000 4194304 4196468 140721673545760 139881095642440 139880733626673 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2395] ppid=2391 vsize=13984976 memory=214876 CPUtime=0.04 cores=1,3,5,7
/proc/2393/task/2395/stat : 2395 (java) S 2391 2391 32593 0 -1 1077944384 2092 0 0 0 3 1 0 0 20 0 15 0 154272799 14320615424 53719 33554432000 4194304 4196468 140721673545760 139881047956496 139881091413717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2396] ppid=2391 vsize=13984976 memory=214876 CPUtime=0.04 cores=1,3,5,7
/proc/2393/task/2396/stat : 2396 (java) S 2391 2391 32593 0 -1 1077944384 735 0 0 0 4 0 0 0 20 0 15 0 154272799 14320615424 53719 33554432000 4194304 4196468 140721673545760 139881046903952 139881091413717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2397] ppid=2391 vsize=13984976 memory=214876 CPUtime=0.05 cores=1,3,5,7
/proc/2393/task/2397/stat : 2397 (java) S 2391 2391 32593 0 -1 1077944384 1458 0 0 0 4 1 0 0 20 0 15 0 154272799 14320615424 53719 33554432000 4194304 4196468 140721673545760 139880684776208 139881091413717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2398] ppid=2391 vsize=13984976 memory=214876 CPUtime=0.05 cores=1,3,5,7
/proc/2393/task/2398/stat : 2398 (java) S 2391 2391 32593 0 -1 1077944384 1799 0 0 0 4 1 0 0 20 0 15 0 154272799 14320615424 53719 33554432000 4194304 4196468 140721673545760 139880683723664 139881091413717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2399] ppid=2391 vsize=13984976 memory=214876 CPUtime=0.02 cores=1,3,5,7
/proc/2393/task/2399/stat : 2399 (java) S 2391 2391 32593 0 -1 1077944384 1276 0 0 0 2 0 0 0 20 0 15 0 154272800 14320615424 53719 33554432000 4194304 4196468 140721673545760 139880205207792 139881091414658 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2400] ppid=2391 vsize=13984976 memory=214876 CPUtime=0 cores=1,3,5,7
/proc/2393/task/2400/stat : 2400 (java) S 2391 2391 32593 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 154272801 14320615424 53719 33554432000 4194304 4196468 140721673545760 139880204154080 139881091413717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2401] ppid=2391 vsize=13984976 memory=20439 CPUtime=0 cores=1,3,5,7
/proc/2393/task/2401/stat : 2401 (java) S 2391 2391 32593 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 154272801 14320615424 53719 33554432000 4194304 4196468 140721673545760 139880203100928 139881091413717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2402] ppid=2391 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2393/task/2402/stat : 2402 (java) S 2391 2391 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154272803 14320615424 53719 33554432000 4194304 4196468 140721673545760 139880202049488 139881091422107 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2403] ppid=2391 vsize=13984976 memory=214876 CPUtime=2.15 cores=1,3,5,7
/proc/2393/task/2403/stat : 2403 (java) S 2391 2391 32593 0 -1 1077944384 11655 0 0 0 215 0 0 0 20 0 15 0 154272803 14320615424 53719 33554432000 4194304 4196468 140721673545760 139880200997616 139881091414658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2404] ppid=2391 vsize=13984976 memory=1380 CPUtime=2.17 cores=1,3,5,7
/proc/2393/task/2404/stat : 2404 (java) S 2391 2391 32593 0 -1 1077944384 10674 0 0 0 215 2 0 0 20 0 15 0 154272803 14320615424 53719 33554432000 4194304 4196468 140721673545760 139880199945072 139881091414658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2405] ppid=2391 vsize=13984976 memory=214876 CPUtime=0.68 cores=1,3,5,7
/proc/2393/task/2405/stat : 2405 (java) S 2391 2391 32593 0 -1 1077944384 5900 0 0 0 67 1 0 0 20 0 15 0 154272803 14320615424 53719 33554432000 4194304 4196468 140721673545760 139880198892016 139881091414658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2406] ppid=2391 vsize=13984976 memory=1696 CPUtime=0 cores=1,3,5,7
/proc/2393/task/2406/stat : 2406 (java) S 2391 2391 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154272803 14320615424 53719 33554432000 4194304 4196468 140721673545760 139880197839712 139881091413717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2407] ppid=2391 vsize=13984976 memory=920 CPUtime=0.04 cores=1,3,5,7
/proc/2393/task/2407/stat : 2407 (java) S 2391 2391 32593 0 -1 1077944384 284 0 0 0 2 2 0 0 20 0 15 0 154272804 14320615424 53719 33554432000 4194304 4196468 140721673545760 139880196786736 139881091414658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
Current children cumulated CPU time: 227.52 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 216256 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]*
/proc/loadavg: 1.88 1.95 1.86 3/218 2496
/proc/meminfo: memFree=25671752/32770624 swapFree=67108860/67108860
[pid=2391] ppid=2388 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2391/stat : 2391 (xcsp3-exec) S 2388 2391 32593 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154272797 9740288 345 33554432000 4194304 5098028 140735256284016 140735256282120 140315063210620 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10616832 140735256286324 140735256286528 140735256286528 140735256289259 0
/proc/2391/statm: 2378 345 289 221 0 87 0
[pid=2393] ppid=2391 vsize=13984976 memory=209744 CPUtime=245.23 cores=1,3,5,7
/proc/2393/stat : 2393 (java) S 2391 2391 32593 0 -1 1077944320 50478 0 0 0 24507 16 0 0 20 0 15 0 154272798 14320615424 52436 33554432000 4194304 4196468 140721673545760 140721673528304 139881091403511 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
/proc/2393/statm: 3496244 52436 3268 1 0 3483478 0
[pid=2393/tid=2394] ppid=2391 vsize=13984976 memory=6935054825532540783 CPUtime=239.9 cores=1,3,5,7
/proc/2393/task/2394/stat : 2394 (java) R 2391 2391 32593 0 -1 4202560 12858 0 0 0 23986 4 0 0 20 0 15 0 154272798 14320615424 52436 33554432000 4194304 4196468 140721673545760 139881095643296 139880731417101 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2395] ppid=2391 vsize=13984976 memory=1228 CPUtime=0.04 cores=1,3,5,7
/proc/2393/task/2395/stat : 2395 (java) S 2391 2391 32593 0 -1 1077944384 2123 0 0 0 3 1 0 0 20 0 15 0 154272799 14320615424 52436 33554432000 4194304 4196468 140721673545760 139881047956496 139881091413717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2396] ppid=2391 vsize=13984976 memory=15880 CPUtime=0.04 cores=1,3,5,7
/proc/2393/task/2396/stat : 2396 (java) S 2391 2391 32593 0 -1 1077944384 841 0 0 0 4 0 0 0 20 0 15 0 154272799 14320615424 52436 33554432000 4194304 4196468 140721673545760 139881046903952 139881091413717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2397] ppid=2391 vsize=13984976 memory=18476 CPUtime=0.05 cores=1,3,5,7
/proc/2393/task/2397/stat : 2397 (java) S 2391 2391 32593 0 -1 1077944384 1476 0 0 0 4 1 0 0 20 0 15 0 154272799 14320615424 52436 33554432000 4194304 4196468 140721673545760 139880684776208 139881091413717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2398] ppid=2391 vsize=13984976 memory=23744 CPUtime=0.05 cores=1,3,5,7
/proc/2393/task/2398/stat : 2398 (java) S 2391 2391 32593 0 -1 1077944384 1803 0 0 0 4 1 0 0 20 0 15 0 154272799 14320615424 52436 33554432000 4194304 4196468 140721673545760 139880683723664 139881091413717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2399] ppid=2391 vsize=13984976 memory=4040 CPUtime=0.02 cores=1,3,5,7
/proc/2393/task/2399/stat : 2399 (java) S 2391 2391 32593 0 -1 1077944384 1487 0 0 0 2 0 0 0 20 0 15 0 154272800 14320615424 52436 33554432000 4194304 4196468 140721673545760 139880205207792 139881091414658 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2400] ppid=2391 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2393/task/2400/stat : 2400 (java) S 2391 2391 32593 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 154272801 14320615424 52436 33554432000 4194304 4196468 140721673545760 139880204154080 139881091413717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2401] ppid=2391 vsize=13984976 memory=209744 CPUtime=0 cores=1,3,5,7
/proc/2393/task/2401/stat : 2401 (java) S 2391 2391 32593 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 154272801 14320615424 52436 33554432000 4194304 4196468 140721673545760 139880203100928 139881091413717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2402] ppid=2391 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2393/task/2402/stat : 2402 (java) S 2391 2391 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154272803 14320615424 52436 33554432000 4194304 4196468 140721673545760 139880202049488 139881091422107 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2403] ppid=2391 vsize=13984976 memory=212824 CPUtime=2.15 cores=1,3,5,7
/proc/2393/task/2403/stat : 2403 (java) S 2391 2391 32593 0 -1 1077944384 11655 0 0 0 215 0 0 0 20 0 15 0 154272803 14320615424 52436 33554432000 4194304 4196468 140721673545760 139880200997616 139881091414658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2404] ppid=2391 vsize=13984976 memory=956 CPUtime=2.17 cores=1,3,5,7
/proc/2393/task/2404/stat : 2404 (java) S 2391 2391 32593 0 -1 1077944384 10675 0 0 0 215 2 0 0 20 0 15 0 154272803 14320615424 52436 33554432000 4194304 4196468 140721673545760 139880199945072 139881091414658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2405] ppid=2391 vsize=13984976 memory=2428 CPUtime=0.68 cores=1,3,5,7
/proc/2393/task/2405/stat : 2405 (java) S 2391 2391 32593 0 -1 1077944384 5901 0 0 0 67 1 0 0 20 0 15 0 154272803 14320615424 52436 33554432000 4194304 4196468 140721673545760 139880198892016 139881091414658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2406] ppid=2391 vsize=13984976 memory=928 CPUtime=0 cores=1,3,5,7
/proc/2393/task/2406/stat : 2406 (java) S 2391 2391 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154272803 14320615424 52436 33554432000 4194304 4196468 140721673545760 139880197839712 139881091413717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
[pid=2393/tid=2407] ppid=2391 vsize=13984976 memory=1568 CPUtime=0.04 cores=1,3,5,7
/proc/2393/task/2407/stat : 2407 (java) S 2391 2391 32593 0 -1 1077944384 284 0 0 0 2 2 0 0 20 0 15 0 154272804 14320615424 52436 33554432000 4194304 4196468 140721673545760 139880196786736 139881091414658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 33505280 140721673548957 140721673549132 140721673549132 140721673551823 0
Current children cumulated CPU time: 245.23 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 211124 KiB

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

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

[startup+240.024 s]
# the end of solver process 2393 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=245.092 s, system=0.172094 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.024
CPU time (s): 245.264
CPU user time (s): 245.092
CPU system time (s): 0.172094
CPU usage (%): 102.183
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 220352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 245.092
system time used= 0.172094
maximum resident set size= 222412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51521
page faults= 0
swaps= 0
block input operations= 0
block output operations= 384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7936
involuntary context switches= 114


# summary of solver processes directly reported to runsolver:
#   pid: 2391,2393
#   total CPU time (s): 245.264
#   total CPU user time (s): 245.092
#   total CPU system time (s): 0.172094

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.3074 second user time and 2.27797 second system time

The end

Name	Vrp/Vrp-zinc-s1/ Vrp-A-n61-k9.xml
MD5SUM	4ab7546591ba88ff6acec2aa7538cbc2
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	1295
Best CPU time to get the best result obtained on this benchmark	251.894
Satisfiable
(Un)Satisfiability was proved
Number of variables	3782
Number of constraints	3720
Number of domains	3
Minimum domain size	1
Maximum domain size	101
Distribution of domain sizes	[{"size":1,"count":61},{"size":2,"count":3660},{"size":101,"count":60}]
Minimum variable degree	0
Maximum variable degree	119
Distribution of variable degrees	[{"degree":0,"count":1},{"degree":1,"count":61},{"degree":2,"count":120},{"degree":4,"count":3540},{"degree":119,"count":60}]
Minimum constraint arity	1
Maximum constraint arity	60
Distribution of constraint arities	[{"arity":1,"count":60},{"arity":3,"count":3540},{"arity":60,"count":120}]
Number of extensional constraints	0
Number of intensional constraints	60
Distribution of constraint types	[{"type":"intension","count":60},{"type":"sum","count":3540},{"type":"count","count":120}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4283104

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